Long Time Behaviour on a Path Group of the Heat Semigroup Associated to a Bilaplacian

We show that in long-time the heat semi-group on a path group associated to a Bilaplacian on the group tends to the Haar distribution on a path group.


Introduction
Let us consider a compact connected Lie group G of dimension d endowed with its normalized biinvariant Haar measure dg.Let us consider the Laplacian ∆ on it.It is equal to (∂ e i ) 2 where e i is an orthonormal basis of the Lie algebra of G.It generates a Markov semi-group P t : if f is smooth.Moreover there is a strictly positive heat kernel Let us consider a Bilaplacian on G, this means a power ∆ k k > 1.It generates still a semi-group P k t .P k t is not a Markovian semi-group.This means that the heat kernel p k t (g, g ) associated to P k t can change sign.We have still when t → ∞ In the first case, the heat semi-group is represented by the Brownian motion on G.In the second case, there is until now no stochastic process associated to it.In the case of R d , the path integral involved with the semi-group P k t is defined as a distribution in [1].We are motivated in this work by an extension in infinite dimension of these results, by considering the case of the path-group C([0, 1], G) from continuous path from [0, 1] into G starting from e.
Let us recall that the Haar measure dg on a topological group G exists as a full measure if and only if the group is locally compact.Haar measure means that for all bounded measurable function The difficult requirement to satisfy is the Lebesgue dominated convergence: Let Fn be a bounded increasing sequence of measurable functions tending almost surely to F .Then Haar measures in infinite dimension were studied by Pickrell [2] and Asada [3].We have defined the Haar distribution on a path group by using the Hida-Streit approach of path integrals as distribution [4][5][6][7].We refer to the review of Albeverio for various rigorous approaches to path integrals [8] and our review on geometrical path integrals [4,9].
In the case of a path group, we can consider the Wiener process on a path-group t → {s → g s,t } starting from the unit path (See the work of Airault-Malliavin ( [10]), the work of Baxendale [11] and the review paper of Léandre on that topic [12]).We have shown that F (g(.))dD (7) when t → ∞ where dD is the Haar distribution on the path group and F is a test functional of Hida type [7].
Recently we are motivated by extending stochastic analysis tools in the non-Markovian context ( [13][14][15][16][17]).Especially in [1], we are interested in constructing the sheet and martingales problem in distributional sense for a big-order differential operator on R d .We consider for that the Connes test algebra.
Let us recall what is the main difference between the Hida test algebra and the Connes test algebra.
(1) Hida considers Fock spaces and tensor product of Hilbert spaces.
(2) Connes, motivated by his work on entire cyclic cohomology, considers Banach spaces.Tensor product of Banach spaces whose theory (mainly due to Grothendieck) is much more complicated than the theory of tensor product of Hilbert spaces.
In [1], we are motivated by the generalization of martingale problems in the non-Markovian context.We consider Connes spaces in [1].In the present context, we are not motivated by that and we return in the original framework of [7].
We consider the heat semi-group on a path group associated to a bilaplacian on the group in the manner of [1].In [1], we look at the case of R d .Here we consider the case of the compact Lie group G.The analysis is similar because we have analog estimates of the heat-kernel [18][19][20].
In order to resume, we consider an element σ of an Hida Fock space, we associate a functional Ψ(σ) on the path group.The heat-semi group (in the distributional sense) Q k t satisfies the three next properties: (1) Especially, Q k t is not represented by a stochastic process.However we expect to extend in this context (7).

A Brief Review on the Haar Distribution on a Path Group
Let us recall what is the Brownian motion t → B t on R. We consider the set of continuous path t → B t issued from 0 from R + into R.We consider the sigma-algebra F t spanned by B s , s ≤ t.The Brownian motion probability measure dP is characterized as the solution of the following martingale problem: if f is any bounded smooth function on R, is a martingale associated to the filtration F t .This means that where G is a bounded functional F t measurable (t < t).
The Brownian motion is only continuous.However we can define stochastic integrals (as it was done by Itô).Let s → h s be a bounded continuous process.We suppose that h s is F s measurable.Then the Itô integral is defined as follows: Moreover we have the Itô isometry Associated to the Brownian motion is classically associated the Bosonic Fock space.Let H 2 be the Hilbert space of L 2 functions h(.) from R + into R.We consider the symmetric tensor product H ⊗n 2 of H 2 .It can be realized as the set of symmetric maps The symmetric Fock space W N 0 coincides with the set of formal series σ = h n such that n! h n 2 < ∞.To each h n we associate the n th Wiener chaos if B s is the standard R-valued Brownian motion.The definition of the Wiener chaos Ψ(h n ) is a small improvement of the stochastic integral 1 0 h(s)δB s .By using the symmetry of h n , we have: and Ψ(h n ) and Ψ(h m ) are orthogonal in L 2 (dP ).The L 2 of the Brownian motion can be realized as the symmetric Fock space through the isometry Ψ.
We introduce the Laplacian ∆ + on (R) + and we consider the Sobolev space H 2,k associated to (∆ + + I) k .On the set of formal series σ = h n , we choose a slightly different Hilbert structure: We get another symmetric Fock space denoted The Hida test function space W.N. ∞− is the intersection of W.N k,C k ≥ 1, C ≥ 1 endowed with the projective topology.A sequence σ n of the Hida Fock space converges to σ for the topology of the Hida Fock space if σ n converges to σ in all W.N k,C .The map Wiener chaos Ψ realized a map from W.N ∞− into the set of continuous Brownian functional dense in L 2 (dP ).We refer to the books [21] and [22] for an extensive study between the Fock space and the L 2 of the Wiener measure.
In infinite dimensional analysis, there are basically 3 objects: (i) An algebraic model.(ii) A mapping space and a map Ψ from the algebraic model into the space of functionals on this mapping space.
(iii) A path integral µ which is an element of the topological dual of the algebraic model.In the standard case of the Brownian motion, µ is the vacuum expectation: A distribution on the Hida Fock space is a linear map µ from W.N ∞− into R which satisfies the following requirement: there exists k, C, K such that for all Getzler in his seminal paper [23] is the first author who considered another map than the map Wiener chaos.Getzler is motivated by the heuristic considerations of Atiyah-Bismut-Witten relating the structure of the free loop space of a manifold and the Index theorem on a compact spin manifold.Getzler used as algebraic space a Connes space and as map Ψ the map Chen iterated integrals.
Getzler's idea was developed by Léandre ([9]) to study various path integrals in the Hida-Streit approach with a geometrical meaning.Especially Léandre ( [5][6]) succeeded to define the Haar measure dD as a distribution on a current group.Let us recall quickly the definition on it.We consider a compact Riemannian manifold M (S ∈ M ) and a compact Lie group G (g ∈ G).We consider the current group C(M, G) of continuous maps S → g(S) from M into G.We consider the cylindrical functional h(g(S 1 ), .., g(S r )) on the current group.We have We would like to close this operation consistently.It is the object of [5][6].
(1) Construction of the algebraic model.We consider the positive self-adjoint Laplacian on M × G ∆ M ×G .We consider the Sobolev space We consider the tensor product H ⊗n k associated to it and we consider the natural Hilbert norm on it (dS and dg are normalized Riemannian measures on M and G respectively).W.N k,C is the set of formal series σ = h n such that The Hida test functional space is the space W.N ∞− = ∩W.N k,C endowed with the projective topology.
(2) Construction of the map Ψ.To h n we associate We The map Ψ realizes a continuous map from W.N ∞− into the set of continuous functional on C(G, M ).
(3) Construction of the path integral.We put if h n belongs to all the Sobolev Hilbert spaces This map can be extended into a linear continuous application from W.N ∞− (We say it is a Hida distribution) into R.This realizes our definition ( [5][6][7]) of the Haar distribution on the current group C(M, G).
Let I ∈ [0, 1] n .We consider the normalized Lebesgue measure dν n on [0, 1] n .Let L i be the i th partial Laplacian on G n .We consider the total operator which operates on function h n on G n × [0, 1] n and we consider its power (L n t ) k .Let h n (g n , I) be a function on G n × [0, 1] n .We put (dg n is the normalized Haar measure on G n and dν n the normalized Lebesgue measure on [0, 1] n ).
We put σ = h n (28) and we consider the Hilbert norm Definition 1: The Hida Fock space W.N ∞− is the space constituted of the σ defined above such that for all k ∈ N, where We put Let us recall three of the main theorems of [7]: Theorem 3: dD can be extended as a distribution on the Hida Fock space.This means that there exists k, C, K such that for all Theorem 4:

A Non-Markovian Semi-group on a Path Group
In the sequel, we will suppose that 4k ≥ d.In such a case ( [20]), we have where is the heat-kernel associated to the heat semi-group P k t and d is the biinvariant Riemannian distance on G.
Moreover, since ∆ k is biinvariant Since it is an heat kernel associated to a semi-group, it satisfies the Kolmogorov equation: and that Remark: We could get in the sequel more general convolution semi-groups [20] with generators of degree 2k whose associated heat-kernels satisfied still (33).
Let us divide the interval time [0, 1] into in time intervals [t l , t l+1 ] of length 1/m.Let F be a cylindrical functional h(g t 1 , g t 2 , g tm ).Let us introduce (g 0 = e).This defines a semi-group on G m .Let us show this statement.We remark We do the change of variable gi = g i g i ; g i = g i .We recognize in the last expression We have used the semi-group property (36) of P k t and the fact that P k t is biinvariant (35).We would like to extend by continuity this formula for functionals which depend on an infinite number of variables Ψ(σ) of the previous type.We put for h n : (s 0 = 0).We order s 1 < s 2 < .. < s n without to loose generality.We extend µ by linearity.Theorem 6: µ is a Hida distribution .Moreover if Ψ(σ) = 0, µ[Ψ(σ] = 0. Proof: The fact that Q k t can be extended by linearity follows from the previous lemma.Q k t [Ψ(σ)](x .) = 0 if Ψ(σ) = 0 holds exactly as in the proof of Theorem 6.For a simple element h n of the Hida Fock space, we have clearly: This result can be extended by continuity.♦

Long Time Behaviour
The main theorem of this paper is the following: where e . is the unit path.
Proof: Let us decompose L 2 (G) in an orthonormal basis of eigenvectors φ i of ∆ associated to the eigenvalues λ i .Classically [24], sup g |φ i (g)| ≤ Ci m 0 and λ i ≥ Ci m 1 for some positive m 0 and m 1 .Classically the heat kernel is given by ) is associated if s 1 < s 2 < .. < s n < 1 to a invariant elliptic operator on G n .It has therefore the unique invariant measure ⊗dg i .This shows that if h n is an element of the Hida Fock space that P k,n t h n (e, .., e, s 1 , s n ) →G nh n (g 1 , .., g n , s 1 , .., s n ) ∞ is the supremum norm of h n which can be estimated by Sobolev imbedding theorem by h n C ,k for some C , some k independent of n.Therefore ](e, .., e, s 1 , ..s n )ds 1 ..ds n (64)By the dominated Lebesgue convergence, this tends when t → ∞ to ∞ n=0 G n ×[0,1] n h n (g 1 , .., g n , s 1 , .., s n )