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

A longstanding open question in sub-Riemannian geometry is the smoothness of (the arc-length parameterization of) length-minimizing curves. In [6], this question is negative answered, with an example of a $C^2$ but not $C^3$…

In this short note we prove that, if (C[a,b],{A_n}) is an approximation scheme and (A_n) satisfies de La Vall\'ee-Poussin Theorem, there are instances of continuous functions on [a,b], real analytic on (a,b], which are poorly approximable…

A finite subset $M \subset \mathbb{R}^d$ is basic, if for any function $f \colon M \to \mathbb{R}$ there exists a collection of functions $f_1, \ldots, f_d \colon \mathbb{R} \to \mathbb{R}$ such that for each element $(x_1, \ldots, x_d)\in…

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

This article is devoted to the sharp improvement of the classical Bohr inequality for bounded analytic functions defined on the unit disk. We also prove two other sharp versions of the Bohr inequality by replacing the constant term by the…

We suggest the necessary/sufficient criteria for the existence of a (order-by-order) solution y(x) of a functional equation F(x,y)=0 over a ring. In full generality, the criteria hold in the category of filtered groups, this includes the…

We prove a generalization of a Hardy type inequality for negative exponents valid for non-negative functions defined on $(0,1]$. As an application we find the exact best possible range of $p$ such that $1<p\le q$ such that any…

The method of self-similar factor approximants is completed by defining the approximants of odd orders, constructed from the power series with the largest term of an odd power. It is shown that the method provides good approximations for…

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

The paper contains two results pointing to the lack of symmetry between measure and category. Assume CH. There exists a strongly meager subset of the Cantor set that can be mapped onto the Cantor set by a uniformly continuous function. (It…

The critical loci of a map $f:X\to Y$ between smooth schemes over a field $k$ are the locally closed subschemes $\Sigma^i(f)\subseteq X$ where the differential of $f$ has constant rank. We prove that if $f : X\to \mathbb A^r$ is the general…

The aim of this article is to define a notion of cardinal utility function called measurable utility and to define it on a connected and separable subset of a weakly ordered topological space. The definition is equivalent to the ones given…

Let $f:I\to X$ be a d.c. mapping, where $I\subset \R$ is an open interval and $X$ a Banach space. Let $C_f$ be the set of critical points of $f$. We prove that $f(C_f)$ has zero 1/2-dimensional Hausdorff measure.

We present a family of sharpness examples for Falconer-type single dot product results. In particular, for $d\geq 2,$ for any $s<\frac{d+1}{2},$ we construct a Borel probability measure $\mu$ satisfying the energy estimate…

Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.

We show that, in every weighted Dirichlet space on the unit disk with superharmonic weight, the Taylor series of a function in the space is $(C,\alpha)$-summable to the function in the norm of the space, provided that $\alpha>1/2$. We…

Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm…

We compare and contrast various notions of the "critical locus" of a complex analytic function on a singular space. After choosing a topological variant as our primary notion of the critical locus, we justify our choice by generalizing L\^e…

Let $K$ be a function field of a curve in characteristic zero or a number field over which the $abc$-conjecture holds, fix $\alpha\in K$, and let $f_{d,c}(x)=x^d+c$ for some $d\geq2$ and some $c\in K$. Then for many $c$ and $d$, we prove…

The aim of this short note is to give an alternative proof, which applies to functions of bounded variation in arbitrary domains, of an inequality by Maz'ya that improves Friedrichs inequality. A remarkable feature of such a proof is that…