Professional Documents
Culture Documents
article info a b s t r a c t
Article history: We present explicit expression for the Laplace–Beltrami operator on the symmetric
Received 24 May 2021 space of positive definite matrices by using the Iwasawa decomposition and study the
Accepted 2 October 2022 corresponding diffusion process, the Brownian motion. We show that some inductive
Available online 12 October 2022
arguments in the dimensions work.
MSC: © 2022 Elsevier B.V. All rights reserved.
primary 58J65
secondary 60J60
Keywords:
Diffusion process
Brownian motion
Symmetric space
Positive definite matrices
Laplace–Beltrami operator
1. Introduction
Let Pn be the space of n × n real positive definite matrices endowed with the Riemannian metric which is invariant
under the action of the general linear group GL(n, R) of non-singular real matrices and let ∆n be the corresponding
Laplace–Beltrami operator on Pn .
The purpose of this article is to show explicit expressions for ∆n under the Iwasawa coordinate and for the
Brownian motion on Pn , which is the diffusion process {Yt }t ≧0 generated by ∆n /2. In particular, we show that the
determinant process behaves exactly as a geometric Brownian motion and that the largest and the smallest eigenvalues
do asymptotically in a similar manner.
The space Pn , which is a symmetric space and also is a homogeneous space of GL(n, R), is a classical object and we
have fundamental references Maass (1971), Muirhead (1982) and Terras (2016). But, several authors are still working on
this space. See, for example, O’Connell (2021) and Rider and Valkó (2016).
Our analysis on Pn is based on that developed in Terras (2016), where a recursive relationship between ∆n−1 and ∆n
is given. Starting from this result, we show a clear expression for ∆n and, by using it, we study the Brownian motion.
Brownian motion on non-compact symmetric spaces have been studied by several authors. See e.g., Dynkin (1961),
Malliavin and Malliavin (1974), Norris et al. (1986), Orihara (1970) and Taylor (1988, 1991). In particular, after Dynkin
∗ Corresponding author at: Department of Mathematical Sciences, College of Science and Engineering, Aoyama Gakuin University, 5-10-1 Fuchinobe,
Chuo-ku, Sagamihara-shi, Kanagawa 252-5258, Japan.
E-mail addresses: matsu@math.aoyama.ac.jp (H. Matsumoto), junasuka0426@gmail.com (J. Otani).
https://doi.org/10.1016/j.spl.2022.109696
0167-7152/© 2022 Elsevier B.V. All rights reserved.
H. Matsumoto and J. Otani Statistics and Probability Letters 193 (2023) 109696
(1961) and Orihara (1970), Norris et al. (1986) have showed for the eigenvalues λ1 (t), . . . , λn (t) (λ1 (t) ≧ ... ≧ λn (t)) of
the Brownian motion {Yt } on Pn that
1 (n + 1) − 2i
lim log λi (t) = , i = 1, . . . , n (1.1)
t →∞ t 4
by using stochastic analysis. See also Pauwels and Rogers (1988). In the book Rogers and Williams (1987) by Rogers and
Williams, some detailed analysis in the two-dimensional case is given.
The Iwasawa coordinate expresses Y ∈ Pn in the form Y = n′ an, where n is an upper triangular matrix with 1 on the
diagonal, n′ is its transpose and a is a diagonal matrix with positive diagonal elements. Writing Yt = νt′ αt νt by the Iwasawa
coordinate, we show that the diagonal components of αt are geometric Brownian motions and that similar formulas to
(1.1) hold for them. In particular, det Yt is also a geometric Brownian motion. For the largest eigenvalue λ1 (t) and the
smallest one λn (t) we show that the laws of
1 ( n−1 ) 1 ( n−1 )
log λ 1 (t) − t and log λn (t) + t
t 1/2 4 t 1/2 4
converge to the standard normal distribution. Convergence of nt as t → ∞, which has been discussed in a general
framework of non-compact symmetric spaces by Malliavin and Malliavin (1974), is also easily seen,
We also give several results on the two- and three-dimensional cases since they are the starting points of our recursive
arguments and these lead us to easy understanding on the general case.
This article is organized as follows. In the next Section 2, following Terras (2016), we review the Iwasawa coordinate
on Pn . In Section 3 we give some explicit computations for the Laplace–Beltrami operators and the Brownian motions on
P2 and P3 . Section 4 is devoted to show some general results and, in Section 5, we study the largest and the smallest
eigenvalues.
We first prepare some basic notations and recall a recursive relationship for the Laplace–Beltrami operators, following
mostly Terras (2016). See also Muirhead (1982).
We denote by Pn the space of n × n real positive definite matrices :
Here and throughout, X ′ denotes the transpose of a matrix (vector) X . The general linear group G = GL(n; R) acts on Pn
by
Y [g ] = g ′ Yg , Y ∈ Pn , g ∈ G.
Denoting by Tr(X ) the trace of a square matrix X , we endow Pn with the Riemannian metric given by
ds2 = Tr((Y −1 dY )2 ),
Before mentioning the main results, we give explicit computations in the two- and three-dimensional cases.
We write Y ∈ P2 as
( ) ( ) [( )] ( )
y11 y12 a1 0 1 x a1 a1 x
Y = = = .
y12 y22 0 a2 0 1 a1 x a2 + a1 x2
Then, after some elementary computations, we see that the metric is written as
1 1 2a1
ds2 = Tr((Y −1 dY )2 ) = da21 + da22 + dx2
a21 a22 a2
and the volume element d vol is given by
√
2
d vol(Y ) = da1 da2 dx.
a1 a32
which is also obtained from the recursion relation (2.3) since ∆V = ∆a1 = a21 ∂ 2 /∂ a21 + a1 ∂/∂ a1 .
Let {Y (t) = (α1 (t), α2 (t), γ (t))}t ≧0 be a Brownian motion, a diffusion process generated by ∆2 /2, which is expressed by
the above mentioned coordinate. By (3.1) it is realized as the unique strong solution for the following stochastic differential
equation based on the three-dimensional standard Brownian motion {(wt1 , wt2 , wt3 )}t ≧0 :
3 1
dα1 (t) = α1 (t)dwt1 + α1 (t)dt , dα2 (t) = α2 (t)dwt2 + α2 (t)dt ,
√ 4 4
1 α2 (t) 3
dγ (t) = √ dw .
2 α1 (t) t
We readily have
t t
α1 (t) = α1 (0)ewt + 4 ,
1
α2 (t) = α2 (0)ewt − 4 ,
2
√
α2 (0)
∫ t
1 s
(3.2)
e 2 (ws −ws )− 4 dws3
2 1
γ (t) = γ (0) +
2α1 (0) 0
and
det(Y (t)) = α1 (t)α2 (t) = det(Y (0)) exp(wt1 + wt2 ).
It is also easy to compute the eigenvalues λ1 (t), λ2 (t), where λ1 (t) ≧ λ2 (t), and to show
1 1
log λ1 (t) =
t + wt1 + O(1) and log λ2 (t) = − t + wt2 + O(1)
4 4
as t → ∞. The convergence of γ (t) as t → ∞ is also easily seen. The limit obeys the Cauchy distribution whose density
is given by
√
c
π ((u − γ (0))2 + c)
3
H. Matsumoto and J. Otani Statistics and Probability Letters 193 (2023) 109696
∫∞
with c = α2 (0)/α1 (0). This is shown by the help of the Dufresne identity (Dufresne, 1990), which says (2 0 exp(2(wt1 −
µt))dt)−1 obeys the Gamma distribution with parameter µ > 0.
We now put S(t) = (det Y (t))−1/2 Y (t). Then, by harmonic analysis, we see that {S(t)} is independent of {det Y (t)},
which is also checked by the expression above for Y (t). Taking this in mind, we change the coordinate by
δ 1/2
a1 = , a2 = ηδ 1/2 , x = ξ.
η
Then, we have for the Laplace–Beltrami operator
∂2 ∂ 1 2( ∂ 2 ∂2 )
∆2 = 2δ 2 + 2δ + η + , δ > 0, ξ ∈ R, η > 0.
∂δ 2 ∂δ 2 ∂ξ 2 ∂η2
Hence the transition density of {Y (t)} is a product of a Gaussian kernel (with respect to the variable log δ ) and the heat
kernel of the Laplace–Beltrami operator on the Poincaré upper half plane H = H(ξ ,η) . For the space H, see Terras (2013).
We can show another expression for the transition density {Y (t)} from the representation (3.2) as a Wiener functional
by using Yor’s formula (Yor, 1991) for the integral of a geometric Brownian motion. See also Matsumoto and Taniguchi
(2017) for Yor’s formula and its relation to stochastic analysis on H. We note here that the heat equations on Pn , especially
in the low dimensional cases, have been studied by Sawyer (1992) by harmonic analysis.
Unfortunately, the authors have not obtained a nice explicit form of the Laplace transform in time, that is, of the Green
function for ∆2 .
We give a list of the explicit expressions for the Laplace–Beltrami operators, the Brownian motion and so on in the
3 × 3 case, which leads us to easy understanding on our general results in the next section.
Writing V ∈ P2 as
( ) [( )] ( )
a1 0 1 x(1) a1 a1 x(1)
V = (vij ) = = .
0 a2 0 1 a1 x(1) a1 (x(1) )2 + a2
For the first identity we have used (2.2). To show the second one, the expression
1/a1
( )( )( )
1 −x(1) 0 1 0
V −1 =
0 1 0 1/a2 −x(1) 1
−1
for V is useful.
Moreover, setting
)( √
1/ a1
( )
1 −x(1) 0
σ = √ ,
0 1 0 1 / a2
we have V = σ σ . Hence, as in the two-dimensional case, we obtain the following expression as a Wiener functional
−1 ′
for the Brownian motion {Y (t)} on P3 , that is, letting {(wt1 , . . . , wt6 )} be a standard six-dimensional Brownian motion, we
have
1 3 1
α1 (t) = α1 (0)ewt + 2 t ,
1
α2 (t) = α2 (0)ewt ,
2
α3 (t) = α3 (0)ewt − 2 t ,
√
α2 (s) 4
∫ t
1
γ (1) (t) = γ (1) (0) + √ dws ,
0 2 α1 (s)
√ ∫ t√
α α3 (s) (1)
∫ t
1 3 (s) 1
γ1(2) (t) = γ1(2) (0) + √ dws5 − √ γ (s)dws6 ,
2 0 α 1 (s) 2 0 α2 (s)
∫ t√
1 α3 (s) 6
γ2(2) (t) = γ2(2) (0) +√ dw
2 0 α2 (s) s
in the obvious notation. We see det(Y (t)) = det(Y (0)) exp(wt1 + wt2 + wt3 ).
As is guessed from the two- and the three-dimensional cases, we can write Y ∈ Pn as
where ν̃i is the (n − 1) × (n − 1) matrix obtain from νi by deleting its nth row and column. We have written in Section 2
( )
V 0
Y = [νn−1 ].
0 an
5
H. Matsumoto and J. Otani Statistics and Probability Letters 193 (2023) 109696
While these formulae, which are simple but quite important for us, seem known, we give a proof in the Appendix since
the authors have not found it in the literature.
Using (4.1) and (4.2), we obtain the following results, which are exactly seen in the low dimensional cases.
Proposition 4.1. The Laplace–Beltrami operator on Pn is expressed under the Iwasawa coordinate in the form
n (
∑ ∂2 n+2−i ∂ )
∆Y = a2i + ai + Ln ,
∂ ai
2
2 ∂ ai
i=1
(k)
where Ln is a second order differential operator with respect to xj , j = 1, . . . , k, k = 1, . . . , n − 2. Moreover, the coefficients
(k)
of Ln are linear combination of an /ai , i = 1, 2, . . . , n − 1 and are polynomials in the xj ’s.
Proof. The first assertion follows from (4.2). For the second assertion we have only to note
Theorem 4.2. The diagonal components αi (t), i = 1, 2, . . . , n under the Iwasawa coordinate of the Brownian motion {Y (t)}t ≧0
on Pn are expressed as
( n + 1 − 2i )
αi (t) = αi (0) exp wti + t ,
4
where {(w , . . . , w } is an n-dimensional standard Brownian motion. The other components of {Y (t)} converge as t → ∞.
1
t
n
t)
For the diagonal components αi (t), i = 1, 2, . . . , n of {Y (t)}t ≧0 , the Brownian motion on Pn , we have
1 (n + 1) − 2i
lim log αi (t) = , i = 1, . . . , n,
t →∞ t 4
as for the eigenvalues λi (t).
For the largest eigenvalue λ1 (t) the following fluctuation result is shown.
Theorem 5.1. Both of t −1/2 log λ1 (t) − (n − 1)t /4 and t −1/2 log λn (t) + (n − 1)t /4 converge in law to standard normal
( ) ( )
variables as t → ∞.
Proof. Write
Hence we have
( n−1 )
λ1 (t) ≦ C α1 (0) exp wt1 + t .
4
On the other hand, letting e1 = (1, 0, . . . , 0)′ the unit vector, we have ν (t)e1 = e1 and
λ1 (t) = max⟨α (t)ν (t)x, ν (t)x⟩ ≧ α1 (t)
|x|=1
and
( n−1 )
λ1 (t) ≧ α1 (0) exp wt1 + t .
4
Combining these estimates, we obtain the assertion for λ1 (t).
Considering Y (t)−1 = ν (t)−1 α (t)−1 (ν (t)−1 )′ and noting νi (x(i) )−1 = νi (−x(i) ), we obtain the assertion for the smallest
eigenvalue λn (t) in the same way. □
Acknowledgment
The first author is partially supported by JSPS, Japan KAKENHI Grant Number 21K03298.
Write Y = (yij ) ∈ Pn as
( ) ( ) [( )]
F h V 0 I x
Y = = ,
h′ g 0′ an x′ 1
where F = (fij ), V = (vij ) ∈ Pn−1 , x = (x1 , . . . , xn−1 )′ , h = (h1 , . . . , hn−1 )′ ∈ Rn−1 , g , an > 0. Starting from
( ∂ ) n n
∑ ∂ ∑ ∂ 1 ∑∑ ∂
Tr F = yij = yii + yij
∂Y ∂ yij ∂ yii 2 ∂ yij
1≦i≦j≦n i=1 i=1 j̸ =i
n−1 { n−1
(A.1)
∑ ∂ 1∑ ∂ 1 ∂ } 1∑ ∂ ∂
= fii + fij + hi + hi +g ,
∂ fii 2 ∂ fij 2 ∂ hi 2 ∂ hi ∂g
i=1 j ̸ =i i=1
and
∂ ∂
g = (an + ⟨Vx, x⟩) .
∂g ∂ an
Finally, inserting the identities above into the right hand side of (A.1), we arrive at the desired formula (4.1).
References
Dufresne, D., 1990. The distribution of a perpetuity, with application to risk theory and pension funding. Scand. Actuar. J. 3, 9–79.
Dynkin, E.B., 1961. Non-negative eigenfunctions of the Laplace–Beltrami operator and Brownian motion in certain symmetric spaces. Dokl. Akad.
Nauk SSSR 141, 1433–1436.
Maass, H., 1971. Siegel’s Modular Forms and Dirichlet Series. In: Lecture Notes Math, p. 216.
Malliavin, M.-P., Malliavin, P., 1974. Factorisations Et Lois Limites De La Diffusion Horizontale Au-Dessus D’un Espace Riemanniein Symetrique, Vol.
404. In: Lec. Notes Math., pp. 166–217.
Matsumoto, H., Taniguchi, S., 2017. Stochastic Analysis. Cambridge Univ. Press.
Muirhead, R.J., 1982. Aspects of Multivariate Statistical Theory. J.Wiley & Sons.
Norris, J.R., Rogers, L.C.G., Williams, D., 1986. Brownian motions of ellipsoids. Trans. Amer. Math. Soc. 294, 757–765.
O’Connell, N., 2021. Interacting diffusions on positive definite matrices. arXiv:1910.03389 [math.PR].
Orihara, A., 1970. On random ellipsoid. J. Fac. Sci. Univ. Tokyo Sect. IA Math 17, 73–85.
Pauwels, E.J., Rogers, L.C.G., 1988. Skew-product decomposition of Brownian motions. Contemp. Math. 73, 237–262.
Rider, B., Valkó, B., 2016. Matrix Dufresne identities. Int. Math. Res. Not. IMRN 17, 4–218.
Rogers, L.C.G., Williams, D., 1987. Diffusions, Markov Processes, and Martingales, Vol. 2. Wiley.
Sawyer, P., 1992. The heat equation of the spaces of positive definite matrices. Canad. J. Math. 44, 624–651.
Taylor, J.C., 1988. The iwasawa decomposition and the limiting behavior of Brownian motion on a symmetric space of non-compact type. Contemp.
Math. 73, 303–332.
Taylor, J.C., 1991. Brownian motion on a symmetric space of non-compact type: asymptotic behavior in polar coordinates. Canad. J. Math. 43,
1065–1085.
Terras, A., 2013. Harmonic Analysis on Symmetric Spaces – Euclidean Space, the Sphere, and the PoincarÉ Upper Half-Plane, second ed. Springer.
Terras, A., 2016. Harmonic Analysis on Symmetric Spaces – Higher Rank Spaces, Positive Definite Matrix Space and Generalizations, second ed.
Springer.
Yor, M., 1991. On some exponential functionals of Brownian motion. Adv. Appl. Probab. 24, 509–531.