Logarithmic Sobolev inequality on free loop groups for heat kernel measures associated with the general Sobolev spaces (Q5927511)

The logarithmic Sobolev inequality on free loop groups for heat kernel measures associated with Sobolev spaces of fractional order is studied. The kernel measures are constructed by the Malliavin procedure. They are probability measures on free loop spaces \({\mathcal L}(G)\) of a compact group \(G\). For a compact Lie group \(G\) and its Lie algebra \({\mathfrak g}\), equipped with the \(\text{Ad}_G\)-invariant inner product \(\langle\cdot, \cdot\rangle\), we define the free loop space \({\mathcal L}(G)\) by \({\mathcal L}(G)= \{w:S^1\to G:w\) is continuous\}. In a similar way we define \({\mathcal L}({\mathfrak g})\). The following real Hilbert space can be considered as the tangent space of \({\mathcal L}(G)\) \[ H_s ({\mathfrak g})= \{X\in L^2(S^1 \to{\mathfrak g}): \|X\|^2_{H_s}= \sum_{k\in \mathbb{Z}} (1+k^2)^s |\widehat X(k)|^2_{{\mathfrak g}^\mathbb{C}} <\infty\}, \] where \(\widehat X(k)\) denotes the \(k\)-th Fourier coefficient of \(X\) and \(|\cdot |_{{\mathfrak g}^\mathbb{C}}\) is an invariant norm in the complexification \({\mathfrak g}^\mathbb{C}\) of \({\mathfrak g}\). The space \(H_s({\mathfrak g})\) is continuously and densely embedded into \({\mathcal L}({\mathfrak g})\). One can define the bilinear operator \(D= D^{(s)}\) from \(H^*_s \times H_s\) to \(H_s\). The operator \(D\) has a lot of properties of Riemannian connections. It is torsion free and metric compatible. One can regard the analogs of the curvature tensor and the Ricci curvature. Moreover, one can extend \(D\) to an operator acting on the tensors from \(H^{* \otimes m}_s\otimes H_s^{\otimes n}\). Using the operator \(D\) one can define the ``Riemannian'' connection \(\nabla= \nabla^{(s)}\) on \({\mathcal L}(G)\) and the Laplacian \(\Delta_s\) on tensor fields of \({\mathcal L}(G)\). It is proved that the following formula of Bochner-Weitzenböck type holds \(([\Delta_s, \nabla] f)X=\text{Ric}(\nabla f,X)\), where \(X\in H_s\) and \(f:{\mathcal L}(G)\to \mathbb{R}\) is a so-called smooth cylinder function. The main result asserts that if \(\nu_T\), \(T\geq 0\), is the heat kernel measure associated with \(H_s\) by means of considering SDEs, driven by an \({\mathcal L}({\mathfrak g})\)-valued Brownian motion, then for every function \(f\) as above we have \[ \int_{{\mathcal L}(G)}f^2\log f^2 \nu_T- \int_{{\mathcal L}(G)}f^2 \nu_T\log \int_{{\mathcal L}(G)}f^2 \nu_T\leq {2(e^{CT} -1)\over C}\int_{{\mathcal L}(G)} \|\nabla f\|^2_{H_2^*} \nu_T, \] where \(C\) is the lower bound of the Ricci tensor.