Related papers: A sufficient and necessary condition for $\mathcal…

We introduce a join construction as a way of completing the description of the relative conormal space of an analytic function on a complex analytic space that has a non-vanishing derivative at the origin. Then we show how to obtain a…

Let $\mathcal{P}$ be a property of function $\mathbb{F}_p^n \to \{0,1\}$ for a fixed prime $p$. An algorithm is called a tester for $\mathcal{P}$ if, given a query access to the input function $f$, with high probability, it accepts when $f$…

Let $\mathcal{A}$ denote a real, $n$-dimensional, unital, associative algebra.This paper provides an introductory exposition of calculus over $\mathcal{A}$. An $\mathcal{A}$-differentiable function is one for which the differential is…

Let D be a domain in the quaternionic space H. We prove a differential criterion that characterizes Fueter-regular quaternionic functions f:bD -> H of class C^1. We find differential operators T and N, with complex coefficients, such that a…

This paper explores some connections between rank one convexity, multiplicative quasiconvexity and Schur convexity. Theorem 5.1 gives simple necessary and sufficient conditions for an isotropic objective function to be rank one convex on…

This work deals with the homogenization of functionals with linear growth in the context of $\mathcal{A}$-quasiconvexity. A representation theorem is proved, where the new integrand function is obtained by solving a cell problem where the…

This paper shows that the problem of testing hypotheses in moment condition models without any assumptions about identification may be considered as a problem of testing with an infinite-dimensional nuisance parameter. We introduce a…

Let $\mathcal{O}\subset \mathbb{R}^d$ be a bounded domain of class $C^{1,1}$. In $ L_2(\mathcal{O};\mathbb{C}^n)$, we consider a matrix elliptic second order differential operator $A_{D,\varepsilon}$ with the Dirichlet boundary condition.…

We examine the quantitative condition which has been widely used as a criterion for the adiabatic approximation but was recently found insufficient. Our results indicate that the usual quantitative condition is sufficient for a special…

Ext-int.\ one affine functions are functions affine in the direction of one-divisible exterior forms, with respect to exterior product in one variable and with respect to interior product in the other. The purpose of this article is to…

In this article we note that in a number of situations the operator product and the classical action satisfy a natural compatibility condition. We consider the interest of this condition to be twofold: First, the naturality (functoriality)…

In this paper we describe all differentiable functions $\varphi,\psi\colon E\to\mathbb{R}$ satisfying the functional-differential equation \begin{equation*} [\varphi(y) - \varphi(x)]\psi '\bigl(h(x,y)\bigr) = [\psi(y) - \psi(x)]\varphi…

In this paper we present necessary and sufficient conditions (in terms of {\L}ojasiewicz inequalities) for the stability of local minimum points in smooth unconstrained optimization. In particular, we derive a sufficient condition for which…

In this paper, necessary and sufficient conditions are established for the factorization of a closed, in general, unbounded operator $T=AB$ into a product of two nonnegative selfadjoint operators $A$ and $B.$ Already the special case, where…

In this paper our aim is to extend and improve the sufficient conditions for integral operators involving the normalized forms of the generalized Bessel functions of the first kind to be univalent in the open unit disk as investigated…

We prove necessary and sufficient conditions for lattice Schr\"{o}dinger operators to have a zero energy bound state in arbitrary dimension. The two criteria are sharp, complementary, and depend crucially on both the dimension and…

We define a relaxed version $H_f^{\textrm{fine}}$ of the distortion number $H_f$ that is used to define quasiconformal mappings. Then we show that for a BV function $f\in BV(\mathbb{R}^n;\mathbb{R}^n)$, for $|Df|$-a.e. $x\in\mathbb{R}^n$ it…

Let $k$ be an arbitrary field, and C be a curve in A^n defined parametrically by x_1=f_1(t),...,x_n=f_n(t), where f_1,...,f_n\in k[t]. A necessary and sufficient condition for the two function fields k(t) and k(f_1,...,f_n) to be same is…

In the first part of the note we prove that a sufficient condition (due to Simons) for the convexity of the closure of the domain/range of a monotone operator is also necessary when the operator has bounded domain and is maximal. Simons'…

In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…