Related papers: The Morse-Sard theorem revisited

We study removable sets for Newtonian Sobolev functions in metric measure spaces satisfying the usual (local) assumptions of a doubling measure and a Poincar\'e inequality. In particular, when restricted to Euclidean spaces, a closed set…

In this note, we establish a multiplicity theorem for a nonlocal discrete problem of the type $$\cases{-\left(a\sum_{m=1}^{n+1}|x_m-x_{m-1}|^2+b\right)(x_{k+1}-2x_k+x_{k-1})=h_k(x_k)\hskip 10pt k=1,...,n, \cr & \cr x_0=x_{n+1}=0\cr}$$…

We establish a pointwise limit theorem for a broad class of pa\-ra\-me\-ter-\-de\-pen\-dent BMO-type seminorms as the parameter tends to zero. By introducing novel BMO-type seminorms, we provide a unified framework that extends several…

It is known that the systole function is topologically Morse on the moduli space $\mathcal M_{g,n}$ and the $\text{sys}_T$ functions are $C^2$-Morse on the Deligne-Mumford compactification $\overline{\mathcal M}_{g,n}$. In this paper, We…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is 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…

We prove that a function in several variables is in the local Zygmund class $\mathcal Z^{m,1}$ if and only if its composite with every smooth curve is of class $\mathcal Z^{m,1}$. This complements the well-known analogous result for local…

This paper is devoted to various applications of Hardy-Sobolev type inequalities. We derive a new $L^2$ estimate for the $\bar{\partial}-$equation on ${\mathbb C}^n$ which yields a quantitative generalization of the Hartogs extension…

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…

In this paper we generalize Bochkariev's theorem, which states that for any uniformly bounded orthonormal system $\Phi$, there exists a Lebesgue integrable function such that the Fourier series of it with respect to system $\Phi$ diverge on…

Let $N$ be a fixed positive integer, and let $f\in S_k(N)$ be a primitive cusp form given by the Fourier expansion $f(z)=\sum_{n=1}^{\infty} \lambda_f(n)n^{\frac{k-1}{2}}e(nz)$. We consider the partial sum $S(x,f)=\sum_{n\leq…

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…

The following theorem is proved: Let M be a locally Lipschitz hypersurface in C^n with one-sided extension property at each point (e.g., without analytic discs). Let S be a closed subset of M and f : M \ S ---> C^m \ E is a CR-mapping of…

Let $\{\lambda_f(n)\}_{n \geq 1}$ be the normalized Hecke eigenvalues of a given holomorphic cusp form $f$ of even weight $k$. We show under the assumption of the existence of Littlewood's type zero free region for $L(s, f, \chi)$, where…

Let $[q] = \{0,1,\ldots,q-1\}$, let $\Delta[q]$ denote the simplex of probability measures on $[q]$, and let $\gamma$ denote the Lebesgue measure normalized on $\Delta[q]$. We prove that for any symmetric monotone function $f \colon[q]^n…

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…

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…

Inspired by the work of Borwein and Erdelyi \cite{BE1997JAMS} on generalizations of M\"{u}ntz's theorem, we investigate the properties of the system $\{x^{\lambda_n}\}_{n=1}^{\infty}$ in weighted $L^p (A)$ spaces, for $p\ge 1$, denoted by…

Let $D\subset\subset\mathbb{C}^n$ be a complex manifold of dimension $p\geq 2$ with $\C^2$ boundary in $\mathbb{C}^n$. Let $f$ be a $\C^1$ function on $bD$ and $V$ a generic and large enough family of complex $(n-p+1)$-planes. Let suppose…

We study divisibility properties of certain sums and alternating sums involving binomial coefficients and powers of integers. For example, we prove that for all positive integers $n_1,..., n_m$, $n_{m+1}=n_1$, and any nonnegative integer…

This paper establishes an abstract Korovkin-type approximation theorem in general spaces, extending the framework of approximation theory to accommodate broader contexts. A critical result supporting this theorem is the proof that any…