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

The main aim of this paper is to study the functional inequality \begin{equation*} \int_{[0,1]}f\bigl((1-t)x+ty\bigr)d\mu(t)\geq 0, \qquad x,y\in I \mbox{ with } x<y, \end{equation*} for a continuous unknown function $f:I\to{\mathbb R}$,…

Let \lambda be a partition of a positive integer n. Let C be a symmetric rigid tensor category over a field k of characteristic 0 or char(k)>n, and let V be an object of C. In our main result (Theorem 4.3) we introduce a finite set of…

The classical Mason-Stothers theorem deals with nontrivial polynomial solutions to the equation $a+b=c$. It provides a lower bound on the number of distinct zeros of the polynomial $abc$ in terms of the degrees of $a$, $b$ and $c$. We…

We discuss the problem where the extremal function in embedding theorem of some (generally speaking, non-integer) order is the constant function. We obtain the necessary and sufficient conditions of this.

The relative performance of competing point forecasts is usually measured in terms of loss or scoring functions. It is widely accepted that these scoring function should be strictly consistent in the sense that the expected score is…

A metric measure space $(X,d,\mu)$ is said to satisfy the strong annular decay condition if there is a constant $C>0$ such that $$ \mu\big(B(x,R)\setminus B(x,r)\big)\leq C\, \frac{R-r}{R}\, \mu (B(x,R)) $$ for each $x\in X$ and all $0<r…

In the paper, by establishing the monotonicity of some functions involving the sine and cosine functions, the authors provide concise proofs of some known inequalities and find some new sharp inequalities involving the Seiffert,…

We show that for a minimal system $(X,T)$, the set of saturated points along cubes with respect to its maximal $\infty$-step pro-nilfactor $X_\infty$ has a full measure. As an application, it is shown that if a minimal system $(X,T)$ has no…

Let $\Gamma$ be a metric graph having a linear system $g^r_{2r}$ for some $2 \leq r \leq g-2$ then $\Gamma$ has a linear system $g^1_2$. This is similar to the well-known Clifford's Theorem from the theory of linear systems on smooth…

We establish an analog Hardy inequality with sharp constant involving exponential weight function. The special case of this inequality (for n=2) leads to a direct proof of Onofri inequality on S^2.

We establish a necessary and sufficient condition on a continuous function on $[-1,1]$ under which the family of functions on the unit sphere $\mathbb{S}^{d-1}$ constructed in the described manner is fundamental in $C(\mathbb{S}^{d-1})$. In…

The Sard theorem from 1942 requires that a mapping $f:\mathbb{R}^n \to \mathbb{R}^m$ is of class $C^k$, $k > \max (n-m,0)$. In 1957 Duvovitski\u{\i} generalized Sard's theorem to the case of $C^k$ mappings for all $k$. Namely he proved…

We prove that every nonnegative continuous real-valued function on a given compact metric space is the uniform limit of some increasing sequence of nonnegative simple functions being linear combinations of indicators of open sets; here the…

We prove the Hardy-Littlewood theorem in two dimensions for functions whose Fourier coefficients obey general monotonicity conditions and, importantly, are not necessarily positive. The sharpness of the result is given by a counterexample,…

Given a finite number of samples of a continuous set-valued function F, mapping an interval to non-empty compact subsets of $\mathbb{R}^d$, $F: [a,b] \to K(\mathbb{R}^d)$, we discuss the problem of computing good approximations of F. We…

In this paper we prove that there exists a constant $C$ such that, if $S,\Sigma$ are subsets of $\R^d$ of finite measure, then for every function $f\in L^2(\R^d)$, $$\int_{\R^d}|f(x)|^2 dx \leq C e^{C \min(|S||\Sigma|, |S|^{1/d}w(\Sigma),…

One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space…

We establish fractional Hardy inequality on bounded domains in $\mathbb{R}^{d}$ with inverse of distance function from smooth boundary of codimension $k$, where $k=2, \dots,d$, as weight function. The case $sp=k$ is the critical case, where…

Let $\mathscr J$ be the space of inner functions of finite entropy endowed with the topology of stable convergence. We prove that an inner function $F \in \mathscr J$ possesses a radial limit (and in fact, a minimal fine limit) in the unit…

This paper extends previous work from arxiv:1702.05223, which shows that the main theorem of Morse theory holds for a large class of functions on singular spaces, where the function and the underlying singular space are required to satisfy…