Abstract:The paper is devoted to provide Michael-Simon-type $L^p$-logarithmic-Sobolev inequalities on complete, not necessarily compact $n$-dimensional submanifolds $\Sigma$ of the Euclidean space $\mathbb R^{n+m}$. Our first result, stated for $p=2$, is sharp, it is valid on general submanifolds, and it involves the mean curvature of $\Sigma$. It implies in particular the main result of S. Brendle [Comm. Pure Appl. Math.}, 2022]. In addition, it turns out that equality can only occur if and only if $\Sigma$ is isometric to the Euclidean space $\mathbb R^{n}$ and the extremizer is a Gaussian. The second result is a general $L^p$-logarithmic-Sobolev inequality for $p\geq 2$ on Euclidean submanifolds with constants that are codimension-free in case of minimal submanifolds. In order to prove the above results - especially, to deal with the equality cases - we elaborate the theory of optimal mass transport on submanifolds between measures that are not necessarily compactly supported. Applications are provided to sharp hypercontractivity estimates of Hopf-Lax semigroups on submanifolds. The first hypercontractivity estimate is for general submanifolds with bounded mean curvature vector, the second one is for self-similar shrinkers endowed with the natural Gaussian measure. The equality cases are characterized here as well.

Contraction property of certain classes of log- M -subharmonic functions in the unit ball

Contraction property of Fock type space of log-subharmonic functions in $\mathbb{R}^m$

Harmonic maps between compact Hermitian manifolds

Contraction property on complex hyperbolic ball

Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps

Properties of Logharmonic Mappings

On Univalent k-Fold Symmetric Logharmonic Mappings

On M. Riesz conjugate function theorem for harmonic functions

A Faber-Krahn type inequality for log-subharmonic functions in the hyperbolic ball

Logarithmic-Sobolev inequalities on non-compact Euclidean submanifolds: sharpness and rigidity

Kiselman Minimum Principle and Rooftop Envelopes in Complex Hessian Equations

Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets

Log-concavity in Combinatorics

Noncommutative Logarithmic Sobolev Inequalities

On the "Zero-Two" Law for Positive Contractions on Banach-Kantorovich Lattice $L^p(\nabla,μ)$

Log concavity of the Grothendieck class of $\overline{\mathcal M}_{0,n}$

On a problem of Pavlović involving harmonic quasiconformal mappings

Several Properties of a Class of Generalized Harmonic Mappings

A Liouville-type theorem and Bochner formula for harmonic maps into metric spaces

Certain Subclass of Harmonic Multivalent Functions Defined by New Linear Operator

Best approximations in metric spaces with property strongly UC