Related papers: Nonsmooth Morse-Sard theorems

We give a simple proof of a standard zero-free region in the $t$-aspect for the Rankin--Selberg $L$-function $L(s,\pi \times \widetilde{\pi})$ for any unitary cuspidal automorphic representation $\pi$ of $\mathrm{GL}_n(\mathbb{A}_F)$ that…

A result of P. Tukia from 1989 says that Lebesgue measure on $\mathbb{R}$ has conformal dimension zero: for every $\epsilon > 0$, there is a Borel set $G \subset \mathbb{R}$ of full Lebesgue measure, and a quasisymmetric homeomorphism $f…

Let $f: \mathbb{N} \to \mathbb{C}$ be a multiplicative function for which $$ \sum_{p : \, |f(p)| \neq 1} \frac{1}{p} = \infty. $$ We show under this condition alone that for any integer $h \neq 0$ the set $$ \{n \in \mathbb{N} : f(n) =…

We continue the investigation of which non-dierentiable maps can occur in the framework of ergodic theory started in [2]. We construct a Besicovitch-Morse function map which preserves the Lebesgue measure. We also show that the set of…

Let $(M,g)$ be a $n-$dimensional, compact Riemannian manifold. We define the frequency scale $\lambda$ of a function $f \in C^{0}(M)$ as the largest number such that $\left\langle f, \phi_k \right\rangle =0$ for all Laplacian eigenfunctions…

We consider a family $\{L_t,\, t\in [0,T]\}$ of closed operators generated by a family of regular (non-symmetric) Dirichlet forms $\{(B^{(t)},V),t\in[0,T]\}$ on $L^2(E;m)$. We show that a bounded (signed) measure $\mu$ on $(0,T)\times E$ is…

Suppose a complex function $f$ has a Lebesgue measurable inverse Laplace transform. We show that the $n$th order forward and backward differences of $f$ at $z_0\in\mathbb{C}$ tend to zero as $n\to\infty$ whenever $z_0$ lies in the region of…

Let $\mathbb{F}_q(T)$ be the field of rational functions in one variable over a finite field. We introduce the notion of a totally $T$-adic function: one that is algebraic over $\mathbb{F}_q(T)$ and whose minimal polynomial splits…

We study how small is the set of critical values of the distance function from a compact (resp. closed) set in the plane or in a connected complete two-dimensional Riemannian manifold. We show that for a compact set, the set of critical…

We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of…

The Dirichlet--Hardy space $\Ht$ consists of those Dirichlet series $\sum_n a_n n^{-s}$ for which $\sum_n |a_n|^2<\infty$. It is shown that the Blaschke condition in the half-plane $\operatorname{Re} s>1/2$ is a necessary and sufficient…

We prove that every completely monotone function defined on a right-unbounded open interval admits a Newton series expansion at every point of that interval. This result can be viewed as an analog of Bernstein's little theorem for…

Let $\mathfrak{F}_m$ be the set of all cuspidal automorphic representations of $\mathrm{GL}_m(\mathbb{A}_{\mathbb{Q}})$, and let $F(s,\boldsymbol{\pi})$ be a polynomial in the derivatives of $L$-functions associated with representations…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

Let $(M,\bar g)$ be a compact Riemannian manifold with minimal boundary such that the second fundamental form is nowhere vanishing on $\partial M$. We show that for a generic Riemannian metric $\bar g$, the squared norm of the second…

For a nonempty polyhedral set $P\subset \mathbb R^d$, let $\mathcal F(P)$ denote the set of faces of $P$, and let $N(P,F)$ be the normal cone of $P$ at the nonempty face $F\in\mathcal F(P)$. We prove that the function $\sum_{F\in\mathcal…

S. Banach, in particular, proved that for any function, even $f(x) = 1,$ where $x\in[0,1],$ the convergence of its Fourier series with respect to the general orthonormal systems (ONS) is not guaranteed. In this paper, we find conditions for…

Erd\H{o}s \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is…

We show that Kelley-Morse set theory does not prove the class Fodor principle, the assertion that every regressive class function $F:S\to\text{Ord}$ defined on a stationary class $S$ is constant on a stationary subclass. Indeed, it is…

Let $\xi$ be a value, at an algebraic point, of a Siegel $E$-function. As a special case of a very general interpolation result, we prove that there exists an $E$-function $f$ such that $f(1)=\xi$, and such that 1 is not a singularity of…