Related papers: A three term sublevel set inequality

Let M and N be smooth manifolds without boundary. Immersion theory suggests that an understanding of the space of smooth embeddings emb(M,N) should come from an analysis of the cofunctor V |--> emb(V,N) from the poset O of open subsets of M…

We study the number of $s$-element subsets $J$ of a given abelian group $G$, such that $|J+J|\leq K|J|$. Proving a conjecture of Alon, Balogh, Morris and Samotij, and improving a result of Green and Morris, who proved the conjecture for $K$…

Given a quasi-smooth Berkovich curve $X$ admitting a finite triangulation, finitely many disjoint open annuli $A_1,\dots,A_n$ in $X$ that are not precompact, and for each $i=1,\dots, n$, an analytic function $f_i$ (resp. differential form…

Suppose $0 < \alpha \leq n$, $H: \Bbb R^n \to [0,1]$ is a Lebesgue measurable function, and $A_\alpha(H)$ is the infimum of all numbers $C$ for which the inequality $\int_B H(x) dx \leq C R^\alpha$ holds for all balls $B \subset \Bbb R^n$…

\begin{abstract} In this paper we address the problem of finding the best constants in inequalities of the form: $$ \|\big(|P_+f|^s+|P_-f|^s\big)^{\frac{1}{s}}\|_{L^p({\mathbb{T}})}\leq A_{p,s} \|f\|_{L^p({\mathbb{T}})},$$ where $P_+f$ and…

The main point of this paper is to prove the following useful result: If the almost everywhere 2-jet of a locally quasi-convex function u satisfies a degenerate elliptic constraint F, then u is F-subharmonic, i.e., u is a viscosity…

A typical quandary in geometric functions theory is to study a functional composed of amalgamations of the coefficients of the pristine function. Conventionally, there is a parameter over which the extremal value of the functional is…

Highly oscillatory integrals, such as those involving Bessel functions, are best evaluated analytically as much as possible, as numerical errors can be difficult to control. We investigate indefinite integrals involving monomials in $x$…

Let $M,N$ be coprime square-free integers. Let $f$ be a holomorphic cusp form of level $N$ and $g$ be either a holomorphic or a Maa{\ss} form with level $M$. Using a large sieve inequality, we establish a bound of the form…

We prove that a solution of an elliptic operator with periodic coefficients behaves on large scales like an analytic function, in the sense of approximation by polynomials with periodic corrections. Equivalently, the constants in the…

A normalized analytic function f is shown to be univalent in the open unit disk D if its second coefficient is sufficiently small and relates to its Schwarzian derivative through a certain inequality. New criteria for analytic functions to…

The continuum $\varphi^4_2$ and $\varphi^4_3$ measures are shown to satisfy a log-Sobolev inequality uniformly in the lattice regularisation under the optimal assumption that their susceptibility is bounded. In particular, this applies to…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Let u be a subharmonic function in D={|z|<1}. There exist an absolute constant C and an analytic function f in D such that \int_D |u(z)-log|f(z)|| dm(z)<C where m denotes the plane Lebesgue measure. We also consider uniform approximation.

Quantum superintegrable systems are solvable eigenvalue problems. Their solvability is due to symmetry, but the symmetry is often "hidden". The symmetry generators of 2nd order superintegrable systems in 2 dimensions close under commutation…

The isoperimetric inequality for a smooth compact Riemannian manifold $A$ provides a positive ${\bf c}(A)$, so that for any $k+1$ dimensional integral current $S_0$ in $A$ there exists an integral current $ S$ in $A$ with $\partial…

This paper is devoted to proving the general {\L}ojasiewicz inequality, in both the definable and subanalytic cases, under the most relaxed assumptions. It means that we drop the usual continuity and compactness assumptions. In the second…

Let $\mathfrak{q}>2$ be a prime number, $\chi$ a primitive Dirichlet character modulo $\mathfrak{q}$ and $f$ a primitive holomorphic cusp form or a Hecke-Maass cusp form of level $\mathfrak{q}$ and trivial nebentypus. We prove the subconvex…

A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…

We give a necessary and sufficient condition for non-local functionals on vector-valued Lebesgue spaces to be weakly sequentially lower semi-continuous. Here a non-local functional shall have the form of a double integral of a density which…