A concrete estimate for the weak Poincaré inequality on loop space (Q662822): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3102226638 / rank | |||
Normal rank |
Revision as of 01:22, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A concrete estimate for the weak Poincaré inequality on loop space |
scientific article |
Statements
A concrete estimate for the weak Poincaré inequality on loop space (English)
0 references
13 February 2012
0 references
Let \(M\) be a smooth connected and simply connected compact Riemannian manifold, \(a\in M\), \(\Omega_a\) be the corresponding based loop space, endowed with the pinned Wiener (Brownian bridge) measure \(\mathbb{P}_a\) and the Ornstein-Uhlenbeck Dirichlet form \[ {\mathcal E}(F):= \int_{\Omega_a} |\nabla F|^2_{H^0_\omega} \mathbb{P}_a(d\omega), \] where \(H^0_\omega\) denotes the Cameron-Martin-Bismut tangent space to \(\Omega_a\) at \(\omega\). A. Eberle showed that a Poincaré inequality \(\text{Var}_{\mathbb{P}_a}(F)\leq C\times{\mathcal E}(F)\) does not hold globally on \(\Omega_a\), but locally however. Sh. Aida (followed by Röckner-Wang) showed then that the following weak Poincaré inequality does hold globally: \[ \text{Var}_{\mathbb{P}_a}(F)\leq \beta(s){\mathcal E}(F)+ s\| F\|^2_\infty, \] for any \(0<s<s_0= s_0(M)\), and for some nonincreasing positive function \(\beta\). Here the authors establish that \(\beta(s)= s^{-\alpha}\) is such a convenient function (for any \(\alpha> 0\), taking \(s_0= s_0(M,\alpha)\)). Their method is derived from the finite-dimensional one, and takes advantage of the technique developed by Eberle.
0 references
Brownian bridge measure
0 references
loop space
0 references
Ornstein-Uhlenbeck operator
0 references
weak Poincaré inequality
0 references