On an integral criterion for hypercontractivity of diffusion semigroups and extremal functions (Q1188002)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On an integral criterion for hypercontractivity of diffusion semigroups and extremal functions
scientific article

    Statements

    On an integral criterion for hypercontractivity of diffusion semigroups and extremal functions (English)
    0 references
    0 references
    3 August 1992
    0 references
    On \(\mathbb{R}^ k\), let \(\mu\) be the Gauss measure \(d\mu(x)=(2\pi)^{- k/2}\exp(-| x|^ 2)dx\). Then \(P_ tf(x)=\int f[e^{-t}x+(- e^{-2t})^{1/2}y]d\mu(y)\) defines the Ornstein-Uhlenbeck (O-U) semigroup, a symmetric Markov semigroup on \(L^ p(\mathbb{R}^ k,d\mu)\), \(1\leq p\leq\infty\). Its generator is given formally by \(Lf=\Delta f- x\cdot\nabla f\). It defines a Dirichlet form via \(\int f(- Lf)d\mu=\int|\nabla f|^ 2d\mu\). This is a much studied object. With the help of ideas of \textit{D. Bakry} [Sémin. de probabilités XIX, Univ. Strasbourg 1983/84, Proc., Lect. Notes Math. 1123, 175 (1985; Zbl 0561.42012)], and \textit{D. Bakry} and \textit{M. Emery} [ibid., 177-206 (1985; Zbl 0561.60080)], the author gives a short proof of (E. Nelson's) hypercontractivity of \(\{P_ t:t\geq 0\}\). Thus \(\| P_ tf\|_ q\leq\| f\|_ p\) for \(1<p<q<\infty\) and \(e^{2t}\leq(q-1)\) \((p- 1)^{-1}\). Also one obtains the (L. Gross) logarithmic Sobolev inequality for \(f\geq 0\), \[ \int f\log fd\mu-\int f^ pd\mu\log\left(\int f^ pd\mu\right)^{1/p}\leq{p\over 2}\int f^{p-2}|\nabla f|^ 2d\mu. \] Extremals are found for \(p=2\). The author's approach leads to various inequalities which are related to the ``\(\Gamma_ 2\) criterion'' of Bakry and Emery (loc. cit.). Applications are made to the heat and O-U semigroups on a compact Riemannian manifold, with special emphasis on \(S^ m\).
    0 references
    Ornstein-Uhlenbeck semigroup
    0 references
    Gauss measure
    0 references
    symmetric Markov semigroup
    0 references
    logarithmic Sobolev inequality
    0 references
    compact Riemannian manifold
    0 references

    Identifiers