Related papers: The Riemannian Quantitative Isoperimetric Inequali…

We prove that every 1-Lipschitz map from a closed metric surface onto a closed Riemannian surface that has the same area is an isometry. If we replace the target space with a non-smooth surface, then the statement is not true and we study…

In this paper we solve the fractional anisotropic Calder\'on problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian,…

Let $(M,g)$ be an $n$-dimensional asymptotically flat Riemannian manifold with nonnegative scalar curvature that admits a noncompact area-minimizing hypersurface $\Sigma \subset M$. In the case where $n = 3$, O. Chodosh and the first-named…

We give a new proof of an isoperimetric inequality for a family of closed surfaces, which have Gaussian curvature identically equal to one wherever the surface is smooth. These surfaces are formed from a convex, spherical polygon, with each…

Though Trudinger-Moser inequalities on compact Riemannian manifolds or Euclidean space are well understood, we know little about them on complete noncompact Riemannian manifolds. In this paper, we established respectively necessary…

We show that, the solutions of the isoperimetric problem for small volumes are $C^{2,\alpha}$-close to small spheres. On the way, we define a class of submanifolds called pseudo balls, defined by an equation weaker than constancy of mean…

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 prove an integral formula for the spherical measure of hypersurfaces in equiregular sub-Riemannian manifolds. Among various technical tools, we establish a general criterion for the uniform convergence of parametrized sub-Riemannian…

We prove that the isoperimetric profile of a convex domain $\Omega$ with compact closure in a Riemannian manifold $(M^{n+1},g)$ satisfies a second order differential inequality which only depends on the dimension of the manifold and on a…

On compact Riemannian manifolds with non-negative Ricci curvature and smooth (possibly empty), convex (or mean convex) boundary, if the sharp Li-Yau type gradient estimate of an Neumann (or Dirichlet) eigenfunction holds at some…

In a previous work, we studied isoparametric functions on Riemannian manifolds, especially on exotic spheres. One result there says that, in the family of isoparametric hypersurfaces of a closed Riemannian manifold, there exist at least one…

We establish a family of parametric isoperimetric-type inequalities with multiple geometric quantities for closed convex curves. These inequalities hold under certain parameter conditions. We also prove the equality conditions. Some new…

We discuss several classical and recent proofs of the isoperimetric inequality and the Sobolev inequality.

We exploit an identity for the gradients of Laplacian eigenfunctions on compact homogeneous Riemannian manifolds with irreducible linear isotropy group to obtain asymptotically sharp universal eigenvalue inequalities and sharp Weyl bounds…

We show that there is a complete connected 2-dimensional Riemannian manifold with discontinuous isoperimetric profile, answering a question of Nardulli and Pansu.

For a complete Riemannian manifold with bounded geometry, we prove the existence of isoperimetric clusters and also the compactness theorem for sequence of clusters in a larger space obtained by adding finitely many limit manifolds at…

This paper deals with the subject of infinitesimal variations of Euclidean submanifolds with arbitrary dimension and codimension. The main goal is to establish a Fundamental theorem for these geometric objects. Similar to the theory of…

In this note, we consider the isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature, and improve it by using Hawking mass. We also obtain a rigidity result when equality holds for the classical…

In this paper, we prove a quantitative relative index theorem. It provides a conceptual framework for studying some conjectures and open questions of Gromov on positive scalar curvature. More precisely, we prove a $\lambda$-Lipschitz…

Being motivated by the problem of deducing $L^p$-bounds on the second fundamental form of an isometric immersion from $L^p$-bounds on its mean curvature vector field, we prove a (nonlinear) Calder\'on-Zygmund inequality for maps between…