A concrete estimate for the weak Poincaré inequality on loop space (Q662822)

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.