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.

Isometries of generalized $log$-spaces

The Logarithmic Minkowski Problem For Non-Symmetric Measures

Isomorphic classification of $\ast$-algebras of log-integrable functions

Measures Defined on Quantum Logics of Sets

The inter-relationship between isomorphisms of commutative and isomorphisms of non-commutative $\log$-algebras

On the exactness of the conditions of embedding theorems for spaces of functions with mixed logarithmic smoothness

On embedding theorems of spaces of functions with mixed logarithmic smoothness

Logarithmic geometry beyond fs

Precise Asymptotics in the Law of the Logarithm for Random Fields in Hilbert Space

A logifold structure on measure space

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

The Logarithmic Gauged Linear Sigma Model

Logarithmic geometry and Frobenius

Solvability of some integro-differential equations with the logarithmic Laplacian

Complete isometries - an illustration of noncommutative functional analysis

Logarithmic Geometry and Moduli

Foundations of Logarithmic Adic Spaces

Modular invariance of (logarithmic) intertwining operators

$*$-Logarithm for Slice Regular Functions

Noncommutative Logarithmic Sobolev Inequalities

Regular logarithmic connections