Abstract
We study the stochastic processes that are images of Brownian motions on Heisenberg group H 2n+1 under conformal maps. In particular, we obtain that Cayley transform maps Brownian paths in H 2n+1 to a time changed Brownian motion on CR sphere \(\mathbb{S}^{2n+1}\) conditioned to be at its south pole at a random time. We also obtain that the inversion of Brownian motion on H 2n+1 started from x ≠ 0, is up to time change, a Brownian bridge on H 2n+1 conditioned to be at the origin.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
The Brownian motions on sub-Riemannian model spaces has been widely studied in recent years. Due to strong symmetries of the model spaces, explicit computations analysis can be conducted (see [1–4, 7]). In this paper we focus on the relationships between Brownian motion on Heisenberg group and its images under certain conformal maps, namely Cayley transform and Kelvin transform.
Let H 2n+1 be a 2n + 1 dimensional Heisenberg group that lives in \(\mathbb{C}^{n} \times \mathbb{R}\) with coordinates (z, t) = (z 1, …, z n , t) where z j = x j + iy j . It has the group law
It is a flat model space of sub-Riemannian manifolds. There is a canonical sub-Laplacian on H 2n+1:
The Brownian motion on H 2n+1 issued from x′ ∈ H 2n+1 is the strong Markov process that is generated by \(\frac{1} {2}\bar{L}_{\mathbf{H}^{2n+1}}\).
Cayley transform is known to be a bi-holomorphic map between the Siegel domain \(\Omega ^{n+1}\) and a unit ball in \(\mathbb{C}^{n+1}\). The restriction of Cayley transform on its boundary therefore provides a conformal map between H 2n+1 and the unit sphere \(\mathbb{S}^{2n+1}\) in \(\mathbb{C}^{n+1}\). If we consider the image of a Brownian path on H 2n+1 under Cayley transform, it then turns out to be a \(\mathbb{S}^{2n+1}\)-valued process. In particular, it is a time changed version of a Brownian path on \(\mathbb{S}^{2n+1}\) conditioned to be at the south pole at a random time. Below we state our main result.
Theorem 1.1
The Brownian motion on H 2n+1 issued from x′ is mapped by Cayley transform \(\mathcal{C}_{1}\) to a time-changed Brownian motion on \(\mathbb{S}^{2n+1}\) issued from \(x = \mathcal{C}_{1}(x')\) and conditioned to be at the south pole − e n at time T, where T is an independent random variable with distribution
Here p t (x, y) denotes the subelliptic heat kernel on \(\mathbb{S}^{2n+1}\) .
This result extends the result by Carne in [5], where he proved that the Stereographic projection from \(\mathbb{R}^{n}\) to S n maps Brownian paths in \(\mathbb{R}^{n}\) to the paths of conditioned Brownian motion on S n.
Another object of our study is to probabilistically interpret the relation between the Brownian motion on H 2n+1 started from any x′ ≠ 0 and its image under the inversion map, namely the Kelvin transform. This type of question was first posed by Schwartz (see [10]), who asked how Brownian motion in \(\mathbb{R}^{n}\) can be interpreted as a Brownian bridge conditioned to be at the “ideal point at infinity”. A probabilistic approach was provided by Yor in [11]. In the present paper, we obtain the result in a setting of a flat sub-Riemannian manifold. The inversion of Brownian motion on H 2n+1 issued from x ≠ 0 turns out to be a Brownian bridge conditioned to be at the origin up to time change.
Theorem 1.2
The Brownian motion on H 2n+1 generated by \(\frac{1} {2}L_{\mathbf{H}^{2n+1}}\) and issued from x′ ≠ 0 is mapped by Kelvin transform to a time-changed H 2n+1 -valued Brownian motion conditioned to be at the origin at t = ∞.
The approaches to both results follow the idea of Carne. By analyzing the radial part of the corresponding conformal sub-Laplacians on \(\mathbb{S}^{2n+1}\) and on H 2n+1, we are able to obtain the relationship between Markov processes that are generated by \(\frac{1} {2}L_{\mathbb{S}^{2n+1}}\) and \(\frac{1} {2}L_{\mathbf{H}^{2n+1}}\) respectively through an argument of Doob’s h-processes.
In the next section, we deduce Theorem 1.1 after a detailed discussion of Cayley transform and radial process or Brownian motions on \(\mathbb{S}^{2n+1}\) and H 2n+1. In Sect. 3 we focus on the inverse transform on H 2n+1 and the proof of Theorem 1.2.
2 Cayley Transformation and Doob’s h-Process
2.1 Cayley Transform on CR Model Spaces
Cayley transforms on CR model spaces are natural analogues of stereographic projections on Riemannian models. Let \(B^{n+1} =\{\zeta \in \mathbb{C}^{n+1}: \vert \zeta \vert <1\}\) be the unit ball in \(\mathbb{C}^{n+1}\) and \(\Omega ^{2n+1} =\{ (z,w) \in \mathbb{C}^{n} \times \mathbb{C},\mathbf{Im}(w)> \vert z\vert ^{2}\}\) the Siegel domain. The Cayley transform \(\mathcal{C}: B^{2n+1} \rightarrow \Omega ^{n+1}\) is a biholomorphic map such that (see [6])
Let \(\mathbb{S}^{2n+1} =\{\zeta \in \mathbb{C}^{n+1},\vert \zeta \vert = 1\}\) be the unit sphere in \(\mathbb{C}^{n+1}\). It also appears as a model space of CR manifolds. The restriction of \(\mathcal{C}\) to the CR sphere \(\mathbb{S}^{2n+1}\) minus a point gives a CR diffeomorphism to the boundary of the Siegel domain \(\partial \Omega ^{2n+1}\), which may be identified with the Heisenberg group H 2n+1 through the CR isomorphism \(\varphi: \mathbf{H}^{2n+1} \rightarrow \partial \Omega ^{2n+1}\). For any (z, t) ∈ H 2n+1,
We denote the north pole of \(\mathbb{S}^{2n+1}\) by e n = {0, …, 0, 1} and denote the south pole by − e n . Now we consider the CR equivalence between Heisenberg group and CR sphere minus the south pole \(\mathcal{C}_{1}: \mathbf{H}^{2n+1} \rightarrow \mathbb{S}^{2n+1}\setminus \{ - e_{n}\}\). It is then given by \(\mathcal{C}_{1} = \mathcal{C}^{-1}\circ \varphi\). In local coordinates we have for any \(\left (z,t\right ) = (z_{1},\ldots,z_{n},t) \in \mathbf{H}^{2n+1}\),
It is a conformal map with inverse \(\mathcal{C}_{1}^{-1}: \mathbb{S}^{2n+1}\setminus \{ - e_{n}\} \rightarrow \mathbf{H}^{2n+1}\),
Since \(\mathbb{S}^{2n+1}\) is a model space of sub-Riemannian manifold with the Hopf fibration \(\mathbb{S}^{1} \rightarrow \mathbb{S}^{2n+1} \rightarrow \mathbb{C}\mathbb{P}^{n}\), it is more convenient for us to use the so-called cylindrical coordinates that carries the structural information and are given by
where \(\theta \in \mathbb{R}/2\pi \mathbb{Z}\), and \(w =\zeta /\zeta _{n+1} \in \mathbb{C}\mathbb{P}^{n}\). Here w = (w 1, ⋯ , w n ) parametrizes the complex lines passing through the origin, and θ determines a point on the line that is of unit distance from the north pole. Let | w | = tanr S , r S ∈ [0, π∕2), then we have \(\mathcal{C}_{1}^{-1}\) in cylindrical coordinates given by
Let \(\psi _{S}: \mathbb{S}^{2n+1} \rightarrow [0,\pi /2) \times \mathbb{R}/2\pi \mathbb{Z}\) be such that
and \(\psi _{H}: \mathbf{H}^{2n+1} \rightarrow \mathbb{R}_{\geq 0} \times \mathbb{R}\) be such that
where \(r_{H} = \sqrt{\sum _{j=1 }^{n }\vert z_{j } \vert ^{2}}\). We define a map \(\mathbb{R}_{\geq 0} \times \mathbb{R} \rightarrow [0,\pi /2) \times \mathbb{R}/2\pi \mathbb{Z}\) by the chart below, and by abusing of notation we denote it by \(\mathcal{C}_{1}\):
We easily compute that
and
2.2 Brownian Motion and Doob’s h-Process
Now we consider the Markov processes that are generated by sub-Laplacians \(\bar{L}_{\mathbf{H}^{2n+1}}\) and \(\bar{L}_{\mathbb{S}^{2n+1}}\), which are referred to as Brownian motions on H 2n+1 and \(\mathbb{S}^{2n+1}\) respectively throughout this paper. Due to the radial symmetries of these diffusion processes, it is sufficient for us to consider only the radial part of the sub-Laplacians.
We denote by \(L_{\mathbf{H}^{2n+1}}\) the radial part of the sub-Laplacian on H 2n+1 in coordinates (r H , t), it is defined on the space \(D_{H} =\{\, f \in C^{\infty }(\mathbb{R}_{\geq 0} \times \mathbb{R}, \mathbb{R}), \frac{\partial f} {\partial r_{H}}\vert _{r_{H}=0} = 0\}\). Let \(L_{\mathbb{S}^{2n+1}}\) be the radial part of \(\bar{L}_{\mathbb{S}^{2n+1}}\) in cylindric coordinates (r S , θ), with domain \(D_{S} =\{\, f \in C^{\infty }([0, \frac{\pi } {2}) \times \mathbb{R}/2\pi \mathbb{Z}, \mathbb{R}), \frac{\partial f} {\partial r_{S}}\vert _{r_{S}=0} = 0\}\). Then for any f ∈ D H and g ∈ D S , we have
It is known that \(L_{\mathbb{S}^{2n+1}}\) is essentially self-adjoint with respect to the volume measure \(d\mu _{\mathbb{S}^{2n+1}} = \frac{2\pi ^{n}} {\Gamma (n)}(\sin r_{S})^{2n-1}\cos r_{ S}dr_{S}d\theta\) on \(\mathbb{S}^{2n+1}\), and \(L_{\mathbf{H}^{2n+1}}\) is essentially self-adjoint with respect to the volume measure \(d\mu _{\mathbf{H}^{2n+1}} = \frac{2\pi ^{n}} {\Gamma (n)}r_{H}^{2n-1}dr_{ H}dt\) on H 2n+1. Moreover, we have explicitly
Let us consider Green function of the conformal sub-Laplacian \(-L_{\mathbb{S}^{2n+1}} + n^{2}\) with pole (0, 0) (the north pole of \(\mathbb{S}^{2n+1}\)) and denote it by \(G_{\mathbb{S}^{2n+1}}\). From [2] we have
On the other hand the Green function of \(-L_{\mathbf{H}^{2n+1}}\) with respect to \(d\mu _{\mathbf{H}^{2n+1}}\) is given by
We consider h ∈ D S , such that for any \((r_{S},\theta ) \in [0, \frac{\pi } {2}) \times \mathbb{R}/2\pi \mathbb{Z}\),
and H ∈ D H , such that for any \((r_{H},t) \in \mathbb{R}_{\geq 0} \times \mathbb{R}\),
It is an easy fact that h and H are harmonic functions with poles (0, π) and (0, 0) respectively. Moreover, we have
From (2.7) and (2.8) we can easily observe that
In fact, for any \(x,y \in [0, \frac{\pi } {2}) \times \mathbb{R}/2\pi \mathbb{Z}\) we have
From this we can then deduce the relation between \(L_{\mathbf{H}^{2n+1}}\) and \(L_{\mathbb{S}^{2n+1}} - n^{2}\).
Theorem 2.1
For any function f ∈ D S , the relation of \(L_{\mathbf{H}^{2n+1}}\) and \(L_{\mathbb{S}^{2n+1}} - n^{2}\) via Cayley transform is given by
where h is as in (2.9).
Proof
For any f ∈ D S , let F ∈ D H be such that \(F = (\mathcal{C}_{1})^{{\ast}}f = f \circ \mathcal{C}_{1}\). We assume for some σ 1, σ 2 ∈ D S it holds that for any \(x \in [0, \frac{\pi } {2}) \times \mathbb{R}/2\pi \mathbb{Z}\),
It then amounts to find σ 1, σ 2. Let \(g = -L_{\mathbf{H}^{2n+1}}F\), then \(F = (-L_{\mathbf{H}^{2n+1}})^{-1}g\). The above equation is equivalent to
Therefore, for all \(x \in [0, \frac{\pi } {2}) \times \mathbb{R}/2\pi \mathbb{Z}\), we have
where \(G_{\mathbb{S}^{2n+1}}\) and \(G_{\mathbf{H}^{2n+1}}\) are Green functions as in (2.7) and (2.8). Moreover by changing variable \(y = \mathcal{C}_{1}(v)\), the right hand side of the above equation writes
where \(\vert J_{\mathcal{C}_{1}}(v)\vert\) is the Jacobi determinant. We can easily compute that
where H is given as in (2.10). Therefore (2.15) becomes
By plugging in (2.11) and comparing to (2.14), we obtain for all \(x,y \in \mathbb{S}^{2n+1}\)
□ hence the conclusion.
Corollary 2.2
For any function f ∈ D S , we have that
where \(\Gamma _{\mathbb{S}^{2n+1}}(\,f,g) = \frac{1} {2}(L_{\mathbb{S}^{2n+1}}(\,fg) - fL_{\mathbb{S}^{2n+1}}g - gL_{\mathbb{S}^{2n+1}}f)\) for any f, g ∈ D S .
Proof
Notice that
hence
□
Now we are ready to prove the main result.
Proof of Theorem 1.1
The proof follows two steps.
Step 1
Notice that \(h^{-\frac{n} {2} }\) is the Green function of the conformal sub-Laplacian \(L_{\mathbb{S}^{2n+1}} - n^{2}\) with pole (π∕2, 0) (the south pole − e n of \(\mathbb{S}^{2n+1}\)). For any f ∈ D S we let
Let X t h and X t be Markov processes generated by \(\frac{1} {2}L^{h}\) and \(\frac{1} {2}L_{\mathbb{S}^{2n+1}}\), issued from \(x \in \mathbb{S}^{2n+1}\). We first prove that X t h is X t conditioned to be at the south pole − e n at time T, where T is a random time with distribution (1.1).
It is sufficient to prove that for any f ∈ D S ,
Let P t h and P t be the heat semigroups generated by L h and \(L_{\mathbb{S}^{2n+1}}\) respectively, then by iterating (2.17) it is not hard to obtain for any \(x \in \mathbb{S}^{2n+1}\),
that is
Proving (2.18) is then equivalent to proving
Note that
Assume T is an exponential random variable with parameter − n 2 under the original probability measure, we have
and
Thus (2.19) holds when T is an exponential random variable under the original probability measure. Switching to the conditioned probability measure, T then has the distribution
Step 2
Next we prove the time change. Let Y t be the Markov process generated by \(\frac{1} {2}L_{\mathbf{H}^{2n+1}}\) and issued from \(\mathcal{C}_{1}^{-1}(x)\), we claim that Y t is mapped by Cayley transform to a time-changed version of X h, i.e.,
where the time change is given by \(\mathcal{A}_{t} =\int _{ 0}^{t}H(Y _{s})^{-1}ds\). To see this, we consider for any \(F = f \circ \mathcal{C}_{1} \in D_{H}\), the associated martingale M t F that is given by
By plugging in (2.20), (2.16) and (2.17) we have
Let σ t be the hitting time such that \(\sigma _{t} =\inf \{ u,\mathcal{A}_{u}> t\}\), then clearly \(\mathcal{A}_{\sigma _{t}} = t =\sigma _{\mathcal{A}_{t}}\). By changing variable s = σ u we obtain
Note for any u > 0 we have \(u = \mathcal{A}_{\sigma _{u}} =\int _{ 0}^{\sigma _{u}}H(Y _{s})ds\). This implies that
Therefore
and it completes the proof.
3 Inversion of Brownian Motions on Heisenberg Group
In this section we consider the inversion of Brownian motion on Heisenberg group. First we construct the inverse map by composing two Cayley transforms \(\mathcal{C}_{1}\) and \(\mathcal{C}_{2}\), between H 2n+1 and \(\mathbb{S}^{2n+1}\) minus a point ( − e n and e n respectively). We have already discussed \(\mathcal{C}_{1}\) in the previous section. Now let us consider \(\mathcal{C}_{2}: \mathbf{H}^{2n+1} \rightarrow \mathbb{S}^{2n+1}\setminus \{e_{n}\}\) where e n is the north pole on \(\mathbb{S}^{2n+1}\). We have
and
Let \(\mathcal{K}: \mathbf{H}^{2n+1}\setminus \{0\}\longrightarrow \mathbf{H}^{2n+1}\setminus \{0\}\) be such that \(\mathcal{K} = \mathcal{C}_{2}^{-1} \circ \mathcal{C}_{1}\), then
Clearly \(\mathcal{K}\) is an involution on H 2n+1 ∖{0} and preserve the Korányi ball {(z, t) ∈ H 2n+1, | z |4 + 4t 2 = 1}. Indeed it is the Kelvin transform generalized to Heisenberg group (see [9]).
For any \((r_{H},t) \in \mathbb{R}_{\geq 0} \times \mathbb{R}\) and \((r_{S},\theta ) \in [0, \frac{\pi } {2}) \times \mathbb{R}/2\pi \mathbb{Z}\), we let \(\tilde{h}(r_{S},\theta ) = 1 +\cos ^{2}r_{S} - 2\cos r_{S}\cos \theta\) and \(\tilde{H}(r_{H},t) = \frac{4(r_{H}^{4}+4t^{2})} {(1+r_{H}^{2})+4t^{2}}\), then \(\mathcal{K}^{{\ast}}H = (\mathcal{C}_{2} \circ \mathcal{C}_{1}^{-1})^{{\ast}}H = \tilde{H}\). Moreover, simple calculations show that
Let N(r H , t) = r H 4 + 4t 2. By comparing the conformal Laplacians induced by \(\mathcal{C}_{1}\) and \(\mathcal{C}_{2}\), we obtain the following relation.
Theorem 3.1
For any function F ∈ D H ,
Proof
First we notice that for all f ∈ D S ,
Together with (2.12) we obtain
Thus
where \(n = \frac{\tilde{h}} {h}\). Note that \((\mathcal{C}_{2})^{{\ast}}n = N^{-1}\), we have for any \(F = \mathcal{C}_{2}^{{\ast}}f\),
□
Now we are ready to prove the relation between the inversion of Brownian motion on H 2n+1 and the time changed Brownian bridge on H 2n+1.
Proof of Theorem 1.2
Note that \(N^{-\frac{n} {2} }\) is the Green function of the sub-Laplacian \(L_{\mathbf{H}^{2n+1}}\) with pole (0, 0). We let
where \(\Gamma _{\mathbf{H}^{2n+1}}(F,G) = \frac{1} {2}(L_{\mathbf{H}^{2n+1}}(FG) - fL_{\mathbf{H}^{2n+1}}G - GL_{\mathbf{H}^{2n+1}}F)\) for any F, G ∈ D H . From the previous theorem we have
Let X t N and X t be Markov processes generated by \(\frac{1} {2}L^{N}\) and \(\frac{1} {2}L_{\mathbf{H}^{2n+1}}\). We first prove that X t N is X t conditioned to be at the origin.
It suffices to prove that for any F ∈ D H ,
Let P t N and P t be the heat semigroups generated by L N and \(L_{\mathbf{H}^{2n+1}}\) respectively, then by iterating (3.21) it is not hard to obtain
that is
From (3.22), we just need to show that
This is an easy consequence of \(\mathbb{E}_{x}\left [X_{\infty } = 0\right ] = N^{-\frac{n} {2} }(x)\) and
Next we prove the time change. Consider the Markov process generated by \(\frac{1} {2}\mathcal{K}_{{\ast}}(L_{\mathbf{H}^{2n+1}})\). It is the image of X t under Kelvin transform, namely \(\mathcal{K}(X_{t})\). We claim
where \(\mathcal{A}_{t} =\int _{ 0}^{t}N(X_{s})^{}ds\) is the time-change of X N. For any F ∈ D H , we consider the associated martingale
Denote \(\tilde{F } = (\mathcal{K}^{})^{{\ast}}F\). By plugging in (3.23), we obtain
Let σ t be the hitting time such that \(\sigma _{t} =\inf \{ u,\mathcal{A}_{u}> t\}\), then clearly \(\mathcal{A}_{\sigma _{t}} = t =\sigma _{\mathcal{A}_{t}}\). By changing variable s = σ u we have
Note for any u > 0 we have \(u = \mathcal{A}_{\sigma _{u}} =\int _{ 0}^{\sigma _{u}}N(X_{s})ds\). By differentiating both sides with respect to u we obtain
Hence
and we have the conclusion.
References
F. Baudoin, M. Bonnefont, The subelliptic heat kernel on SU(2): representations, asymptotics and gradient bounds. Math. Z. 263, 647–672 (2009)
F. Baudoin, J. Wang, The subelliptic heat kernel on the CR sphere. Math. Z. 275(1–2), 135–150 (2013)
F. Baudoin, J. Wang, Stochastic areas, winding numbers and Hopf fibrations. Probab. Theory Relat. Fields (2016). https://doi.org/10.1007/s00440-016-0745-x
R. Beals, B. Gaveau, P.C. Greiner, Hamilton-Jacobi theory and the heat kernel on Heisenberg groups. J. Math. Pures Appl. 79(7), 633–689 (2000)
T.K. Carne, Brownian motion and stereographic projection. Ann. Inst. Henri Poincaré Probab. Stat. Sect. B 21(2), 187–196 (1985)
S. Dragomir, G. Tomassini, Differential Geometry and Analysis on CR Manifolds, vol. 246 (Birkhäuser, Boston, 2006)
B. Gaveau, Principe de moindre action, propagation de la chaleur et estiméees sous elliptiques sur certains groupes nilpotents. Acta Math. 139(1), 95–153 (1977)
D. Geller, The Laplacian and the Kohn Laplacian for the sphere. J. Differ. Geom. 15, 417–435 (1980)
A. Korányi, Kelvin transforms and harmonic polynomials on the Heisenberg group. J. Funct. Anal. 49(2), 177–185 (1982)
L. Schwartz, Le mouvement brownien sur \(\mathbb{R}^{N}\), en tant que semi-martingale dans S N . Ann. Inst. Henri Poincaré Probab. Stat. 21(1), 15–25 (1985)
M. Yor, A prtopos de l’inverse du mouvement brownien dans \(\mathbb{R}^{n}\,(n \geq 3)\). Ann. Inst. Henri Poincaré Probab. Stat. 21(1), 27–38 (1985)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Wang, J. (2017). Conformal Transforms and Doob’s h-Processes on Heisenberg Groups. In: Baudoin, F., Peterson, J. (eds) Stochastic Analysis and Related Topics. Progress in Probability, vol 72. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-59671-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-59671-6_8
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-59670-9
Online ISBN: 978-3-319-59671-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)