Related papers: A sharpened Hausdorff-Young inequality

Recently, the author and Melentijevi\'c resolved the longstanding Gaussian curvature problem by proving the sharp inequality \[ |\mathcal{K}| < c_0 = \frac{\pi^2}{2} \] for minimal graphs over the unit disk, evaluated at the point of the…

Let $\Omega \subset \mathbb{R}^2$ be a bounded convex domain in the plane and consider \begin{align*} -\Delta u &=1 \qquad \mbox{in}~\Omega \\ u &= 0 \qquad \mbox{on}~\partial \Omega. \end{align*} If $u$ assumes its maximum in $x_0 \in…

We obtain an asymptotically sharp error bound in the classical Sudakov-Fernique comparison inequality for finite collections of gaussian random variables. Our proof is short and self-contained, and gives an easy alternative argument for the…

This note contains two simple observations. First, by the weak factorization of product $H^1$ (Ferguson--Lacey, Lacey--Terwilleger), we obtain a multi-parameter analogue of Hardy's inequality. Second, as a dual statement, the Fourier…

We improve the constant $\frac{\pi}{2}$ in $L^1$-Poincar\'e inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\frac{\pi}{2}}$. For Hamming cube the sharp constant is not known,…

In this paper, we establish the bounds of sharp Trudinger-Moser inequalities on Euclidean space. Let $B$ be a ball in $\mathbb{R}^n$ and $$TM(B)=\sup_{u\in{W_{0}^{1,n}(B)},\|\nabla…

Following (Shevtsova, 2010) we introduce detailed classification of the asymptotically exact constants in natural estimates of the rate of convergence in the Lindeberg central limit theorem, namely in Esseen's, Rozovskii's, and Wang-Ahmad's…

In Part I of the present series of papers, we adumbrate our idea of Riemannian geometry to higher order in the infinitesimals and derive expressions for the appropriate generalizations of parallel transport and the Riemannian curvature…

Bernstein's theorem (also called Hausdorff--Bernstein--Widder theorem) enables the integral representation of a completely monotonic function. We introduce a finite completely monotonic function, which is a completely monotonic function…

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…

We establish optimal stability estimates in terms of the Fraenkel asymmetry with universal dimensional constants for a Lorentzian isoperimetric inequality due to Bahn and Ehrlich and, as a consequence, for a special version of a Lorentzian…

Following the works of Lyons and Oberlin, Seeger, Tao, Thiele and Wright, we relate the variation of certain discrete curves on the Lie group $\text{SU}(1,1)$ to the corresponding variation of their linearized versions on the Lie algebra.…

We show that, when $sp>N$, the sharp Hardy constant $\mathfrak{h}_{s,p}$ of the punctured space $\mathbb R^N\setminus\{0\}$ in the Sobolev-Slobodecki\u{\i} space provides an optimal lower bound for the Hardy constant…

We establish a sharp reciprocity inequality for modulus in compact metric spaces $X$ with finite Hausdorff measure. In particular, when $X$ is also homeomorphic to a planar rectangle, our result answers a question of K. Rajala and M.…

We have studied homeomorphisms that satisfy the Poletsky-type inverse inequality in the domain of the Euclidean space. It is proved that the uniform limit of the family of such homeomorphisms is either a homeomorphism into the Euclidean…

In this appendix to our paper with the same title posted on arxiv we give a quick proof of an inequality that can be substituted to Hastings's result, quoted as Lemma 1.9 in our previous paper. Our inequality is less sharp but also appears…

In this work we obtain sharp embedding inequalities for a family of conformally invariant integral extension operators. This family includes among others the classical Poisson extension operator and the extension operator with Riesz kernel.…

Strichartz inequalities are a cornerstone of the modern theory of dispersive PDEs, but their extremizers are known explicitly only in a handful of sharp cases. The non-convexity of the underlying functional makes the problem hard, and to…

We establish a Trudinger-Moser type inequality with a Tintarev-type constraint in fractional-dimensional spaces and prove the existence of maximizers in the critical regime. Our results provide a refinement of those in (Calc. Var. 52…

We give a new proof of the almost sharp Moser-Trudinger inequality on compact Riemannian manifolds based on the sharp Moser inequality on Euclidean spaces. In particular we can lower the smoothness requirement of the metric and apply the…