Related papers: Isoperimetric Inequalities Made Simpler

We consider the punctured plane with volume density $|x|^\alpha$ and perimeter density $|x|^\beta$. We show that centred balls are uniquely isoperimetric for indices $(\alpha,\beta)$ which satisfy the conditions $\alpha-\beta+1>0$,…

We provide a dynamical proof of the van der Corput inequality for sequences in Hilbert spaces that is based on the Furstenberg correspondence principle. This is done by reducing the inequality to the mean ergodic theorem for contractions on…

The aim of this note is twofold. Firstly, we prove an abstract version of the Calder\'on transference principle for inequalities of admissible type in the general commutative multilinear and multiparameter setting. Such an operation does…

Recently Frank and Seiringer have shown an isoperimetric inequality for nonlocal perimeter functionals arising from Sobolev seminorms of fractional order. This isoperimetric inequality is improved here in a quantitative form.

In this note we prove two isoperimetric inequalities for the sharp constant in the Sobolev embedding and its associated extremal function. The first such inequality is a variation on the classical Schwarz Lemma from complex analysis,…

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…

In this paper, we prove the following inequality \begin{equation*} \|\big(\int_{\mathbb{R}^n}\frac{|f(\cdot+y)-f(\cdot)|^q}{|y|^{n+sq}}dy\big)^{\frac{1}{q}}\|_{L^{p,\infty}(\mathbb{R}^n)}\lesssim\|f\|_{\dot{L}^p_s(\mathbb{R}^n)},…

The weak and strong comparison principles, respectively, are investigated for quasi-linear elliptic boundary value problems with the $p$-Laplacian in one space dimension. We treat the degenerate case of $2 < p < \infty$ and allow also for…

For the principal eigenvalue of discrete weighted $p$-Laplacian on the set of nonnegative integers, the convergence of an approximation procedure and the inverse iteration is proved. Meanwhile, in the proof of the convergence, the…

We prove that under the heat semigroup $(P_\tau)$ on the Boolean hypercube, any nonnegative function exhibits a uniform tail bound that is better than Markov's inequality. Specifically, for any $\tau > 0$, $n \geq 1$, $\eta > e^3$, and $f:…

We prove that Friedlander's generalized isomorphism conjecture on the cohomology of algebraic groups, and hence the Isomorphism Conjecture for the cohomology of the complex algebraic Lie group G(C) made discrete, are equivalent to the…

The inverse tangent function can be bounded by different inequalities, for example by Shafer's inequality. In this publication, we propose a new sharp double inequality, consisting of a lower and an upper bound, for the inverse tangent…

We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $\pi^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement…

We introduce a symmetrization technique that allows us to translate a problem of controlling the deviation of some functionals on a product space from their mean into a problem of controlling the deviation between two independent copies of…

We introduce sufficient conditions on discrete singular integral operators for their maximal truncations to satisfy a sparse bound. The latter imply a range of quantitative weighted inequalities, which are new. As an application, we prove…

It is proved that the solutions to the singular stochastic $p$-Laplace equation, $p\in (1,2)$ and the solutions to the stochastic fast diffusion equation with nonlinearity parameter $r\in (0,1)$ on a bounded open domain $\Lambda\subset\R^d$…

For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type.…

We introduce the concept of Calder\'on-Zygmund inequalities on Riemannian manifolds. For $1<p<\infty$, these are inequalities of the form $$ \left\Vert \mathrm{Hess}\left( u\right) \right\Vert _{L^p}\leq C_{1}\left\Vert u\right\Vert…

We prove the modulo $p$ and modulo $p^2$ cases of Igusa's conjecture on exponential sums. This conjecture predicts specific uniform bounds in the homogeneous polynomial case of exponential sums modulo $p^m$ when $p$ and $m$ vary. We…

This note reviews the studies of the last decades emphasizing a common principle based on entropy, logarithmic Sobolev inequality and hypercontractivity, behind four most celebrated inequalities by M. Talagrand: the convex distance…