Absolute continuity of heat kernel measure with pinned Wiener measure on loop groups
type: Item
instance of: scholarly article
title: Absolute continuity of heat kernel measure with pinned Wiener measure on loop groups
zbMATH Open document ID: 1018.60059
author: Bruce K. Driver
author: Vikram K. Srimurthy
published in: The Annals of Probability
publication date: 2003-05-06T00:00:00Z
review text: Let \(K\) be a compact Lie group, with unity \(e\) and Lie algebra \(k\), endowed with an Ad-invariant inner product. Let \(\beta(t,s)\) and \(\gamma(t,s)\) be, respectively, a \(k\)-valued Brownian sheet and a \(k\)-valued Brownian bridge sheet. Let \(g_s\) denote the solution to the Stratonovitch equation on \(K\): \(dg_s=g_s\beta(t,\delta s)\), with \(g_0=e\); so that \(g_s\) is a Brownian motion on \(K\) with variance \(t\). Denote by \(\gamma_t\) its law, that is to say the Wiener measure with variance \(t\). The pinned Wiener measure \(\gamma^0_t\) on \(K\) with variance \(t\) is deduced from \(\gamma_t\) by Doob \(h\)-transform with respect to the heat kernel \(p_t\) on \(K\). Of course \(\gamma_t\) is a law on the path group \(W(K)\) and \(\gamma^0_t\) a law on the loop group \({\mathcal L}(K)\). Consider then the two continuous processes \(S(t,s)\) and \(S^0(t,s)\) solving: \(S(\delta t, s)=S(t,s)\beta(\delta t,s)\); \(S^0(\delta t,s)=S^0(t,s)\gamma(\delta t,s)\); \(S(0,s)=S^0(0,s)=e\). Denote by \(\nu_t\) and \(\nu^0_t\) the laws of \(S(t,\cdot)\) and \(S^0(t,\cdot)\), respectively, which are the heat kernel measures with variance \(t\) on \(W(K)\) and \({\mathcal L}(K)\), respectively. Airault and Malliavin proved that \(\nu_t=\gamma_t\) on \(W(K)\). The analogous result cannot hold in general at the level of \(\nu^0_t\) and \(\gamma^0_t\), on \({\mathcal L}(K)\), but the main result here is that \(\nu^0_t\) is absolutely continuous with respect to \(\gamma^0_t\), with Radon-Nikodym derivative bounded by \((2\pi t)^{(\dim K)/2}\times \rho_t(e)\). The proof is based on a computation by Airault and Malliavin of the infinitesimal generator associated with \(\gamma^0_t\), and on the maximum principle. In the particular case \(K=\mathbb{S}^1\), the density \(d\nu^0_t/d\gamma^0_t\) is explicitly computed.
reviewed by: Jacques Franchi
Mathematics Subject Classification ID: 60H07
Mathematics Subject Classification ID: 58J65
Mathematics Subject Classification ID: 58D20
zbMATH DE Number: 1905998
zbMATH Keywords: loop groups
zbMATH Keywords: absolute continuity
zbMATH Keywords: pinned Wiener measure
zbMATH Keywords: heat kernel measures
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1214/aop/1008956690
OpenAlex ID: W1482007403
cites work: Equivalence of heat kernel measure and pinned Wiener measure on loop groups
cites work: Integration on loop groups. II: Heat equation for the Wiener measure
cites work: Q4175791
cites work: Wiener processes on manifolds of maps
cites work: Q4002484
cites work: Large deviations and the Malliavin calculus
cites work: Q4354331
cites work: A logarithmic Sobolev inequality for the free loop group
cites work: Hypercontractivity and spectral gap of symmetric diffusions with applications to the stochastic Ising models
cites work: A Cameron-Martin type quasi-invariance theorem for Brownian motion on a compact Riemannian manifold
cites work: A Cameron-Martin Type Quasi-Invariance Theorem for Pinned Brownian Motion on a Compact Riemannian Manifold
cites work: Integration by parts and quasi-invariance for heat kernel measures on loop groups
cites work: Integration by parts for heat kernel measures revisited
cites work: Yang-Mills theory and the Segal-Bargmann transform
cites work: Logarithmic Sobolev inequalities for pinned loop groups
cites work: Q4349225
cites work: Logarithmic Sobolev inequalities on loop groups
cites work: Uniqueness of ground states for Schrödinger operators over loop groups
cites work: Logarithmic Sobolev inequalities and stochastic Ising models
cites work: Integration on loop groups. I: Quasi invariant measures
cites work: Q3210643
cites work: Some Properties of the Eigenfunctions of The Laplace-Operator on Riemannian Manifolds
cites work: Twisted sheets
cites work: Q3996259
cites work: Transformations of the Brownian motion on a Riemannian symmetric space
cites work: Q3676870
cites work: On the equivalence of measures on loop space
cites work: Q4002250
cites work: Q3747436
DOI: 10.1214/AOP/1008956690
Recommended article: Equivalence of heat kernel measure and pinned Wiener measure on loop groups
Recommended article: From the heat measure to the pinned Wiener measure on loop groups
Recommended article: Convergence of finite dimensional distributions of heat kernel measures on loop groups
Recommended article: HEAT KERNEL MEASURE ON LOOP AND PATH GROUPS
Recommended article: Integration by parts and quasi-invariance for heat kernel measures on loop groups
Recommended article: Integration on loop groups. II: Heat equation for the Wiener measure
Recommended article: Smoothness of heat kernel measures on infinite-dimensional Heisenberg-like groups
Recommended article: Logarithmic Sobolev inequality on free loop groups for heat kernel measures associated with the general Sobolev spaces
Recommended article: Discussions on heat kernel measure and pinned Wiener measure
description: scientific article; zbMATH DE number 1905998