Related papers: An elementary example of Sard's Theorem sharpness

A multiobjective optimization problem is $C^r$ simplicial if the Pareto set and the Pareto front are $C^r$ diffeomorphic to a simplex and, under the $C^r$ diffeomorphisms, each face of the simplex corresponds to the Pareto set and the…

Let $f:[0,1)^d \to {\mathbb R}$ be an integrable function. An objective of many computer experiments is to estimate $\int_{[0,1)^d} f(x) dx$ by evaluating f at a finite number of points in [0,1)^d. There is a design issue in the choice of…

Let $(\Sigma, g_1)$ be a compact Riemann surface with conical singularites of angles in $(0, 2\pi)$, and $f: \Sigma\to\mathbb R$ be a positive smooth function. In this paper, by establishing a sharp quantization result, we prove the…

The Schur (resp. Carath\'eodory) class consists of all the analytic functions $f$ on the unit disk with $|f|\le 1$ (resp. $\Re f>0$ and $f(0)=1$). The Schur parameters $\gamma_0,\gamma_1,\dots (|\gamma_j|\le 1)$ are known to parametrize the…

We prove that if $u:\mathbb{R}^n\to\mathbb{R}$ is strongly convex, then for every $\varepsilon>0$ there is a strongly convex function $v\in C^2(\mathbb{R}^n)$ such that $|\{u\neq v\}|<\varepsilon$ and $\Vert u-v\Vert_\infty<\varepsilon$.

The article is devoted to the investigation of smoothness of functions $f(x_1,...,x_m)$ of variables $x_1,...,x_m$ in infinite fields with non-trivial multiplicative ultra-norms, where $m\ge 2$. Theorems about classes of smoothness $C^n$ or…

We define discrete generating series for arbitrary functions \( f \colon \mathbb{Z}^n \rightarrow \mathbb{C} \) and derive functional relations that these series satisfy. For linear difference equations with constant coefficients, we…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

One way to interpret smoothness of a measure in infinite dimensions is quasi-invariance of the measure under a class of transformations. Usually such settings lack a reference measure such as the Lebesgue or Haar measure, and therefore we…

We introduce small cap square function estimates for parabola and cone, and prove the sharp estimates. More precisely, we study the inequalities of form \[ \|f\|_p\le C_{\alpha,p}(R)…

A function $f$ defined on $[0, 1]^d$ is called strongly chargeable if there is a continuous vector-field $v$ such that $f(x_1, \dots,x_d)$ equals the flux of $v$ through the rectangle $[0, x_1] \times \cdots \times [0, x_d]$ for all $(x_1,…

For a function $f$ from the Sobolev space $W^{1,p}(C)$ ($C\subset\mathbb{R}^d$ is an open convex cone), a sharp inequality that estimates $\| f\|_{L_{\infty}}$ via the $L_{p}$-norm of its gradient and a seminorm of the function is obtained.…

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…

If $f\in L^2(R^d)$ and if the function $f(x)f(y)$ is close in $L^2(R^{2d})$ norm to a radially symmetric function of $(x,y)$ then $f$ is close in $L^2$ norm to a centered Gaussian function. This is proved in a quantitative form with the…

For any $d\in \mathbb{N}$ and any function $f:(0,\infty)\to [0,1]$ with $f(R)\to 0$ as $R\to \infty$, we construct a set $A \subseteq \mathbb{R}^d$ and a sequence $R_n \to \infty$ such that $\|x-y\| \neq R_n$ for all $x,y\in A$ and…

If $f$ is a symmetric complex-valued function on the $m$-fold Cartesian product of the set of non-negative reals and $A$ is a positive semi-definite $m\times m$ matrix with eigenvalues $\lambda_j$, we set…

Let $f \in C^n(\mathbb{R})$ be such that $\Vert f^{(n)} \Vert_\infty < \infty$. Let $f^{[n]} \in C(\mathbb{R}^{n+1})$ be the $n$th order divided difference. A special case of our main result states that for $1 < p < \infty$ we have \[\Vert…

The existence of non trivial zeros off the critical line for a function obtained by analytic continuation of a particular Dirichlet series is studied. Contrary to what has been presumed for a long time, we prove that such zeros cannot…

Let $(T,d)$ be a metric space and $\phi:\mathbb{R}_+\to \mathbb{R}$ an increasing, convex function with $\phi(0)=0$. We prove that if $m$ is a probability measure $m$ on $T$ which is majorizing with respect to $d,\phi$, that is,…

We introduce a sharpness functional for probabilistic models that quantifies sharpness as an intrinsic property of the probability distribution. The measure is derived based on a rank-based concentration principle that tracks upward…