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

We characterize the functions $f\colon [0,1] \longrightarrow [0,1]$ for which there exists a measurable set $C\subseteq [0,1]$ of positive measure satisfying $\frac{|C\cap I|}{|I|}<f(|I|)$ for any nontrivial interval $I \subseteq [0,1]$. As…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is of type 1 if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ satisfies a zero-one law. This means that for any non-negative…

For $0\leq \alpha <1$, the sharp radii of starlikeness and convexity of order $\alpha$ for functions of the form $f(z)=z+a_2z^2+a_3z^3+...$ whose Taylor coefficients $a_n$ satisfy the conditions $|a_2|=2b$, $0\leq b\leq 1$, and $|a_n|\leq n…

In the theory of complex valued functions of a complex variable arguably the first striking theorem is that pointwise differentiability implies $C^{\infty}$ regularity. As mentioned in Ahlfors's standard textbook there have been a number of…

We give necessary and sufficient conditions on a function $f:[0,1]\to {0,1,2,...,\omega,\continuum}$ under which there exists a continuous function $F:[0,1]\to [0,1]$ such that for every $y\in[0,1]$ we have $|F^{-1}(y)|=f(y)$.

Let $f:\mathbb{R}^n\to\mathbb{R}$ be a function. Assume that for a measurable set $\Omega$ and almost every $x\in\Omega$ there exists a vector $\xi_x\in\mathbb{R}^n$ such that $$\liminf_{h\to 0}\frac{f(x+h)-f(x)-\langle \xi_x,…

Let $(M,g)$ be a compact Riemannian manifold on dimension $n \geq 4$ not conformally diffeomorphic to the sphere $S^n$. We prove that a smooth function $f$ on $M$ is a critical function for a metric $\tilde{g}$ conformal to $g$ if and only…

In this note we give a new proof of the sharp constant $C = e^{-1/2} + \int_0^1 e^{-x^2/2}\,dx$ in the weak (1, 1) inequality for the dyadic square function. The proof makes use of two Bellman functions $\mathbb{L}$ and $\mathbb{M}$ related…

We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.

In general, the critical points of the distance function $d_{\mathsf{M}}$ to a compact submanifold $\mathsf{M} \subset \mathbb{R}^D$ can be poorly behaved. In this article, we show that this is generically not the case by listing regularity…

The Hardy-Littlewood maximal function $\mathcal{M}$ and the trigonometric function $\sin{x}$ are two central objects in harmonic analysis. We prove that $\mathcal{M}$ characterizes $\sin{x}$ in the following way: let $f \in…

A fundamental quantity in 1+1 dimensional quantum field theories is Zamolodchikov's c-function. A function of a renormalization group distance parameter r that interpolates between UV and IR fixed points, its value is usually interpreted as…

We prove fractional boundary Hardy's inequality in dimension one for the critical case $sp =1$. Optimality of the inequality is obtained for any $p$. The extra logarithmic correction term appears in usual fashion. We also provide a concrete…

This note discusses three examples given in the recent technical correspondence paper [1], which addresses the results presented in [2,3,4]. It is shown that the first example ([1], Section 3) is irrelevant to the results of [2]. The second…

In this note we obtain the surjectivity of smooth maps into Euclidean spaces under mild conditions. As application we give a new proof of the Fundamental Theorem of Algebra. We also observe that any $C^1$-map from a compact manifold into…

In this article, following a first work of the author, we study critical subsolutions in discrete weak KAM theory. In particular, we establish that if the cost function $c:M \times M\to \R{}$ defined on a smooth connected manifold is…

Let $\mu$ be a purely atomic measure. By $f_\mu:[0,\infty)\to\{0,1,2,\dots,\omega,\mathfrak{c}\}$ we denote its cardinal function $f_{\mu}(t)=\vert\{A\subset\mathbb N:\mu(A)=t\}\vert$. We study the problem for which sets…

We define a function by refining Stern's diatomic sequence. We name it the {\it assembly function}. It is strictly increasing continuous. The first and the second main theorems are on an action to the function. The third theorem is on…

We prove a sharp integral inequality valid for non-negative functions defined on $[0,1]$, with given $L^1$ norm. This is in fact a generalization of the well known integral Hardy inequality. We prove it as a consequence of the respective…

We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null…