- Source: Plancherel theorem for spherical functions
In mathematics, the Plancherel theorem for spherical functions is an important result in the representation theory of semisimple Lie groups, due in its final form to Harish-Chandra. It is a natural generalisation in non-commutative harmonic analysis of the Plancherel formula and Fourier inversion formula in the representation theory of the group of real numbers in classical harmonic analysis and has a similarly close interconnection with the theory of differential equations.
It is the special case for zonal spherical functions of the general Plancherel theorem for semisimple Lie groups, also proved by Harish-Chandra. The Plancherel theorem gives the eigenfunction expansion of radial functions for the Laplacian operator on the associated symmetric space X; it also gives the direct integral decomposition into irreducible representations of the regular representation on L2(X). In the case of hyperbolic space, these expansions were known from prior results of Mehler, Weyl and Fock.
The main reference for almost all this material is the encyclopedic text of Helgason (1984).
History
The first versions of an abstract Plancherel formula for the Fourier transform on a unimodular locally compact group G were due to Segal and Mautner. At around the same time, Harish-Chandra and Gelfand & Naimark derived an explicit formula for SL(2,R) and complex semisimple Lie groups, so in particular the Lorentz groups. A simpler abstract formula was derived by Mautner for a "topological" symmetric space G/K corresponding to a maximal compact subgroup K. Godement gave a more concrete and satisfactory form for positive definite spherical functions, a class of special functions on G/K. Since when G is a semisimple Lie group these spherical functions φλ were naturally labelled by a parameter λ in the quotient of a Euclidean space by the action of a finite reflection group, it became a central problem to determine explicitly the Plancherel measure in terms of this parametrization. Generalizing the ideas of Hermann Weyl from the spectral theory of ordinary differential equations, Harish-Chandra introduced his celebrated c-function c(λ) to describe the asymptotic behaviour of the spherical functions φλ and proposed c(λ)−2 dλ as the Plancherel measure. He verified this formula for the special cases when G is complex or real rank one, thus in particular covering the case when G/K is a hyperbolic space. The general case was reduced to two conjectures about the properties of the c-function and the so-called spherical Fourier transform. Explicit formulas for the c-function were later obtained for a large class of classical semisimple Lie groups by Bhanu-Murthy. In turn these formulas prompted Gindikin and Karpelevich to derive a product formula for the c-function, reducing the computation to Harish-Chandra's formula for the rank 1 case. Their work finally enabled Harish-Chandra to complete his proof of the Plancherel theorem for spherical functions in 1966.
In many special cases, for example for complex semisimple group or the Lorentz groups, there are simple methods to develop the theory directly. Certain subgroups of these groups can be treated by techniques generalising the well-known "method of descent" due to Jacques Hadamard. In particular Flensted-Jensen (1978) gave a general method for deducing properties of the spherical transform for a real semisimple group from that of its complexification.
One of the principal applications and motivations for the spherical transform was Selberg's trace formula. The classical Poisson summation formula combines the Fourier inversion formula on a vector group with summation over a cocompact lattice. In Selberg's analogue of this formula, the vector group is replaced by G/K, the Fourier transform by the spherical transform and the lattice by a cocompact (or cofinite) discrete subgroup. The original paper of Selberg (1956) implicitly invokes the spherical transform; it was Godement (1957) who brought the transform to the fore, giving in particular an elementary treatment for SL(2,R) along the lines sketched by Selberg.
Spherical functions
Let G be a semisimple Lie group and K a maximal compact subgroup of G. The Hecke algebra Cc(K \G/K), consisting of compactly supported K-biinvariant continuous functions on G, acts by convolution on the Hilbert space H=L2(G / K). Because G / K is a symmetric space, this *-algebra is commutative. The closure of its (the Hecke algebra's) image in the operator norm is a non-unital commutative C* algebra
A
{\displaystyle {\mathfrak {A}}}
, so by the Gelfand isomorphism can be identified with the continuous functions vanishing at infinity on its spectrum X. Points in the spectrum are given by continuous *-homomorphisms of
A
{\displaystyle {\mathfrak {A}}}
into C, i.e. characters of
A
{\displaystyle {\mathfrak {A}}}
.
If S' denotes the commutant of a set of operators S on H, then
A
′
{\displaystyle {\mathfrak {A}}^{\prime }}
can be identified with the commutant of the regular representation of G on H. Now
A
{\displaystyle {\mathfrak {A}}}
leaves invariant the subspace H0 of K-invariant vectors in H. Moreover, the abelian von Neumann algebra it generates on H0 is maximal Abelian. By spectral theory, there is an essentially unique measure μ on the locally compact space X and a unitary transformation U between H0 and L2(X, μ) which carries the operators in
A
{\displaystyle {\mathfrak {A}}}
onto the corresponding multiplication operators.
The transformation U is called the spherical Fourier transform or sometimes just the spherical transform and μ is called the Plancherel measure. The Hilbert space H0 can be identified with L2(K\G/K), the space of K-biinvariant square integrable functions on G.
The characters χλ of
A
{\displaystyle {\mathfrak {A}}}
(i.e. the points of X) can be described by positive definite spherical functions φλ on G, via the formula
χ
λ
(
π
(
f
)
)
=
∫
G
f
(
g
)
⋅
φ
λ
(
g
)
d
g
.
{\displaystyle \chi _{\lambda }(\pi (f))=\int _{G}f(g)\cdot \varphi _{\lambda }(g)\,dg.}
for f in Cc(K\G/K), where π(f) denotes the convolution operator in
A
{\displaystyle {\mathfrak {A}}}
and the integral is with respect to Haar measure on G.
The spherical functions φλ on G are given by Harish-Chandra's formula:
In this formula:
the integral is with respect to Haar measure on K;
λ is an element of A* =Hom(A,T) where A is the Abelian vector subgroup in the Iwasawa decomposition G =KAN of G;
λ' is defined on G by first extending λ to a character of the solvable subgroup AN, using the group homomorphism onto A, and then setting
λ
′
(
k
x
)
=
Δ
A
N
(
x
)
1
/
2
λ
(
x
)
{\displaystyle \lambda '(kx)=\Delta _{AN}(x)^{1/2}\lambda (x)}
for k in K and x in AN, where ΔAN is the modular function of AN.
Two different characters λ1 and λ2 give the same spherical function if and only if λ1 = λ2·s, where s is in the Weyl group of A
W
=
N
K
(
A
)
/
C
K
(
A
)
,
{\displaystyle W=N_{K}(A)/C_{K}(A),}
the quotient of the normaliser of A in K by its centraliser, a finite reflection group.
It follows that
X can be identified with the quotient space A*/W.
Spherical principal series
The spherical function φλ can be identified with the matrix coefficient of the spherical principal series of G. If M is the centraliser of A in K, this is defined as the unitary representation πλ of G induced by the character of B = MAN given by the composition of the homomorphism of MAN onto A and the character λ.
The induced representation is defined on functions f on G with
f
(
g
b
)
=
Δ
(
b
)
1
/
2
λ
(
b
)
f
(
g
)
{\displaystyle f(gb)=\Delta (b)^{1/2}\lambda (b)f(g)}
for b in B by
π
(
g
)
f
(
x
)
=
f
(
g
−
1
x
)
,
{\displaystyle \pi (g)f(x)=f(g^{-1}x),}
where
‖
f
‖
2
=
∫
K
|
f
(
k
)
|
2
d
k
<
∞
.
{\displaystyle \|f\|^{2}=\int _{K}|f(k)|^{2}\,dk<\infty .}
The functions f can be identified with functions in L2(K / M) and
χ
λ
(
g
)
=
(
π
(
g
)
1
,
1
)
.
{\displaystyle \chi _{\lambda }(g)=(\pi (g)1,1).}
As Kostant (1969) proved, the representations of the spherical principal series are irreducible and two representations πλ and πμ are unitarily equivalent if and only if μ = σ(λ) for some σ in the Weyl group of A.
Example: SL(2, C)
The group G = SL(2,C) acts transitively on the quaternionic upper half space
H
3
=
{
x
+
y
i
+
t
j
∣
t
>
0
}
{\displaystyle {\mathfrak {H}}^{3}=\{x+yi+tj\mid t>0\}}
by Möbius transformations. The complex matrix
g
=
(
a
b
c
d
)
{\displaystyle g={\begin{pmatrix}a&b\\c&d\end{pmatrix}}}
acts as
g
(
w
)
=
(
a
w
+
b
)
(
c
w
+
d
)
−
1
.
{\displaystyle g(w)=(aw+b)(cw+d)^{-1}.}
The stabiliser of the point j is the maximal compact subgroup K = SU(2), so that
H
3
=
G
/
K
.
{\displaystyle {\mathfrak {H}}^{3}=G/K.}
It carries the G-invariant Riemannian metric
d
s
2
=
r
−
2
(
d
x
2
+
d
y
2
+
d
r
2
)
{\displaystyle ds^{2}=r^{-2}\left(dx^{2}+dy^{2}+dr^{2}\right)}
with associated volume element
d
V
=
r
−
3
d
x
d
y
d
r
{\displaystyle dV=r^{-3}\,dx\,dy\,dr}
and Laplacian operator
Δ
=
−
r
2
(
∂
x
2
+
∂
y
2
+
∂
r
2
)
+
r
∂
r
.
{\displaystyle \Delta =-r^{2}(\partial _{x}^{2}+\partial _{y}^{2}+\partial _{r}^{2})+r\partial _{r}.}
Every point in
H
3
{\displaystyle {\mathfrak {H}}^{3}}
can be written as k(etj) with k in SU(2) and t determined up to a sign. The Laplacian has the following form on functions invariant under SU(2), regarded as functions of the real parameter t:
Δ
=
−
∂
t
2
−
2
coth
t
∂
t
.
{\displaystyle \Delta =-\partial _{t}^{2}-2\coth t\partial _{t}.}
The integral of an SU(2)-invariant function is given by
∫
f
d
V
=
∫
−
∞
∞
f
(
t
)
sinh
2
t
d
t
.
{\displaystyle \int f\,dV=\int _{-\infty }^{\infty }f(t)\,\sinh ^{2}t\,dt.}
Identifying the square integrable SU(2)-invariant functions with L2(R) by the unitary transformation Uf(t) = f(t) sinh t, Δ is transformed into the operator
U
∗
Δ
U
=
−
d
2
d
t
2
+
1.
{\displaystyle U^{*}\Delta U=-{d^{2} \over dt^{2}}+1.}
By the Plancherel theorem and Fourier inversion formula for R, any SU(2)-invariant function f can be expressed in terms of the spherical functions
Φ
λ
(
t
)
=
sin
λ
t
λ
sinh
t
,
{\displaystyle \Phi _{\lambda }(t)={\sin \lambda t \over \lambda \sinh t},}
by the spherical transform
f
~
(
λ
)
=
∫
f
Φ
−
λ
d
V
{\displaystyle {\tilde {f}}(\lambda )=\int f\Phi _{-\lambda }\,dV}
and the spherical inversion formula
f
(
x
)
=
∫
f
~
(
λ
)
Φ
λ
(
x
)
λ
2
d
λ
.
{\displaystyle f(x)=\int {\tilde {f}}(\lambda )\Phi _{\lambda }(x)\lambda ^{2}\,d\lambda .}
Taking
f
=
f
2
∗
⋆
f
1
{\displaystyle f=f_{2}^{*}\star f_{1}}
with fi in Cc(G / K) and
f
∗
(
g
)
=
f
(
g
−
1
)
¯
{\displaystyle f^{*}(g)={\overline {f(g^{-1})}}}
, and evaluating at i yields the Plancherel formula
∫
G
f
1
f
2
¯
d
g
=
∫
f
~
1
(
λ
)
f
~
2
(
λ
)
¯
λ
2
d
λ
.
{\displaystyle \int _{G}f_{1}{\overline {f_{2}}}\,dg=\int {\tilde {f}}_{1}(\lambda ){\overline {{\tilde {f}}_{2}(\lambda )}}\,\lambda ^{2}\,d\lambda .}
For biinvariant functions this establishes the Plancherel theorem for spherical functions: the map
{
U
:
L
2
(
K
∖
G
/
K
)
→
L
2
(
R
,
λ
2
d
λ
)
U
:
f
⟼
f
~
{\displaystyle {\begin{cases}U:L^{2}(K\backslash G/K)\to L^{2}(\mathbb {R} ,\lambda ^{2}\,d\lambda )\\U:f\longmapsto {\tilde {f}}\end{cases}}}
is unitary and sends the convolution operator defined by
f
∈
L
1
(
K
∖
G
/
K
)
{\displaystyle f\in L^{1}(K\backslash G/K)}
into the multiplication operator defined by
f
~
{\displaystyle {\tilde {f}}}
.
The spherical function Φλ is an eigenfunction of the Laplacian:
Δ
Φ
λ
=
(
λ
2
+
1
)
Φ
λ
.
{\displaystyle \Delta \Phi _{\lambda }=(\lambda ^{2}+1)\Phi _{\lambda }.}
Schwartz functions on R are the spherical transforms of functions f belonging to the Harish-Chandra Schwartz space
S
=
{
f
|
sup
t
|
(
1
+
t
2
)
N
(
I
+
Δ
)
M
f
(
t
)
sinh
(
t
)
|
<
∞
}
.
{\displaystyle {\mathcal {S}}=\left\{f\left|\sup _{t}\left|(1+t^{2})^{N}(I+\Delta )^{M}f(t)\sinh(t)\right|<\infty \right\}\right..}
By the Paley-Wiener theorem, the spherical transforms of smooth SU(2)-invariant functions of compact support are precisely
functions on R which are restrictions of holomorphic functions on C satisfying an exponential growth condition
|
F
(
λ
)
|
≤
C
e
R
|
Im
λ
|
.
{\displaystyle |F(\lambda )|\leq Ce^{R\left|\operatorname {Im} \lambda \right|}.}
As a function on G, Φλ is the matrix coefficient of the spherical principal series defined on L2(C), where C is identified with the boundary of
H
3
{\displaystyle {\mathfrak {H}}^{3}}
. The representation is given by the formula
π
λ
(
g
−
1
)
ξ
(
z
)
=
|
c
z
+
d
|
−
2
−
i
λ
ξ
(
g
(
z
)
)
.
{\displaystyle \pi _{\lambda }(g^{-1})\xi (z)=|cz+d|^{-2-i\lambda }\xi (g(z)).}
The function
ξ
0
(
z
)
=
π
−
1
(
1
+
|
z
|
2
)
−
2
{\displaystyle \xi _{0}(z)=\pi ^{-1}\left(1+|z|^{2}\right)^{-2}}
is fixed by SU(2) and
Φ
λ
(
g
)
=
(
π
λ
(
g
)
ξ
0
,
ξ
0
)
.
{\displaystyle \Phi _{\lambda }(g)=(\pi _{\lambda }(g)\xi _{0},\xi _{0}).}
The representations πλ are irreducible and unitarily equivalent only when the sign of λ is changed. The map W of
L
2
(
H
3
)
{\displaystyle L^{2}({\mathfrak {H}}^{3})}
onto L2([0,∞) × C) (with measure λ2 dλ on the first factor) given by
W
f
(
λ
,
z
)
=
∫
G
/
K
f
(
g
)
π
λ
(
g
)
ξ
0
(
z
)
d
g
{\displaystyle Wf(\lambda ,z)=\int _{G/K}f(g)\pi _{\lambda }(g)\xi _{0}(z)\,dg}
is unitary and gives the decomposition of
L
2
(
H
3
)
{\displaystyle L^{2}({\mathfrak {H}}^{3})}
as a direct integral of the spherical principal series.
Example: SL(2, R)
The group G = SL(2,R) acts transitively on the Poincaré upper half plane
H
2
=
{
x
+
r
i
∣
r
>
0
}
{\displaystyle {\mathfrak {H}}^{2}=\{x+ri\mid r>0\}}
by Möbius transformations. The real matrix
g
=
(
a
b
c
d
)
{\displaystyle g={\begin{pmatrix}a&b\\c&d\end{pmatrix}}}
acts as
g
(
w
)
=
(
a
w
+
b
)
(
c
w
+
d
)
−
1
.
{\displaystyle g(w)=(aw+b)(cw+d)^{-1}.}
The stabiliser of the point i is the maximal compact subgroup K = SO(2), so that
H
2
{\displaystyle {\mathfrak {H}}^{2}}
= G / K.
It carries the G-invariant Riemannian metric
d
s
2
=
r
−
2
(
d
x
2
+
d
r
2
)
{\displaystyle ds^{2}=r^{-2}\left(dx^{2}+dr^{2}\right)}
with associated area element
d
A
=
r
−
2
d
x
d
r
{\displaystyle dA=r^{-2}\,dx\,dr}
and Laplacian operator
Δ
=
−
r
2
(
∂
x
2
+
∂
r
2
)
.
{\displaystyle \Delta =-r^{2}(\partial _{x}^{2}+\partial _{r}^{2}).}
Every point in
H
2
{\displaystyle {\mathfrak {H}}^{2}}
can be written as k( et i ) with k in SO(2) and t determined up to a sign. The Laplacian has the following form on functions invariant under SO(2), regarded as functions of the real parameter t:
Δ
=
−
∂
t
2
−
coth
t
∂
t
.
{\displaystyle \Delta =-\partial _{t}^{2}-\coth t\partial _{t}.}
The integral of an SO(2)-invariant function is given by
∫
f
d
A
=
∫
−
∞
∞
f
(
t
)
|
sinh
t
|
d
t
.
{\displaystyle \int f\,dA=\int _{-\infty }^{\infty }f(t)\left|\sinh t\right|dt.}
There are several methods for deriving the corresponding eigenfunction expansion for this ordinary differential equation including:
the classical spectral theory of ordinary differential equations applied to the hypergeometric equation (Mehler, Weyl, Fock);
variants of Hadamard's method of descent, realising 2-dimensional hyperbolic space as the quotient of 3-dimensional hyperbolic space by the free action of a 1-parameter subgroup of SL(2,C);
Abel's integral equation, following Selberg and Godement;
orbital integrals (Harish-Chandra, Gelfand & Naimark).
The second and third technique will be described below, with two different methods of descent: the classical one due Hadamard, familiar from treatments of the heat equation and the wave equation on hyperbolic space; and Flensted-Jensen's method on the hyperboloid.
= Hadamard's method of descent
=If f(x,r) is a function on
H
2
{\displaystyle {\mathfrak {H}}^{2}}
and
M
1
f
(
x
,
y
,
r
)
=
r
1
/
2
⋅
f
(
x
,
r
)
{\displaystyle M_{1}f(x,y,r)=r^{1/2}\cdot f(x,r)}
then
Δ
3
M
1
f
=
M
1
(
Δ
2
+
3
4
)
f
,
{\displaystyle \Delta _{3}M_{1}f=M_{1}\left(\Delta _{2}+{\tfrac {3}{4}}\right)f,}
where Δn is the Laplacian on
H
n
{\displaystyle {\mathfrak {H}}^{n}}
.
Since the action of SL(2,C) commutes with Δ3, the operator M0 on S0(2)-invariant functions obtained by averaging M1f by the action of SU(2) also satisfies
Δ
3
M
0
=
M
0
(
Δ
2
+
3
4
)
.
{\displaystyle \Delta _{3}M_{0}=M_{0}\left(\Delta _{2}+{\tfrac {3}{4}}\right).}
The adjoint operator M1* defined by
M
1
∗
F
(
x
,
r
)
=
r
1
/
2
∫
−
∞
∞
F
(
x
,
y
,
r
)
d
y
{\displaystyle M_{1}^{*}F(x,r)=r^{1/2}\int _{-\infty }^{\infty }F(x,y,r)\,dy}
satisfies
∫
H
3
(
M
1
f
)
⋅
F
d
V
=
∫
H
2
f
⋅
(
M
1
∗
F
)
d
A
.
{\displaystyle \int _{{\mathfrak {H}}^{3}}(M_{1}f)\cdot F\,dV=\int _{{\mathfrak {H}}^{2}}f\cdot (M_{1}^{*}F)\,dA.}
The adjoint M0*, defined by averaging M*f over SO(2), satisfies
∫
H
3
(
M
0
f
)
⋅
F
d
V
=
∫
H
2
f
⋅
(
M
0
∗
F
)
d
A
{\displaystyle \int _{{\mathfrak {H}}^{3}}(M_{0}f)\cdot F\,dV=\int _{{\mathfrak {H}}^{2}}f\cdot (M_{0}^{*}F)\,dA}
for SU(2)-invariant functions F and SO(2)-invariant functions f. It follows that
M
i
∗
Δ
3
=
(
Δ
2
+
3
4
)
M
i
∗
.
{\displaystyle M_{i}^{*}\Delta _{3}=\left(\Delta _{2}+{\tfrac {3}{4}}\right)M_{i}^{*}.}
The function
f
λ
=
M
1
∗
Φ
λ
{\displaystyle f_{\lambda }=M_{1}^{*}\Phi _{\lambda }}
is SO(2)-invariant and satisfies
Δ
2
f
λ
=
(
λ
2
+
1
4
)
f
λ
.
{\displaystyle \Delta _{2}f_{\lambda }=\left(\lambda ^{2}+{\tfrac {1}{4}}\right)f_{\lambda }.}
On the other hand,
b
(
λ
)
=
f
λ
(
i
)
=
∫
sin
λ
t
λ
sinh
t
d
t
=
π
λ
tanh
π
λ
2
,
{\displaystyle b(\lambda )=f_{\lambda }(i)=\int {\sin \lambda t \over \lambda \sinh t}\,dt={\pi \over \lambda }\tanh {\pi \lambda \over 2},}
since the integral can be computed by integrating
e
i
λ
t
/
sinh
t
{\displaystyle e^{i\lambda t}/\sinh t}
around the rectangular indented contour with vertices at ±R and ±R + πi. Thus the eigenfunction
ϕ
λ
=
b
(
λ
)
−
1
M
1
Φ
λ
{\displaystyle \phi _{\lambda }=b(\lambda )^{-1}M_{1}\Phi _{\lambda }}
satisfies the normalisation condition φλ(i) = 1. There can only be one such solution either because the Wronskian of the ordinary differential equation must vanish or by expanding as a power series in sinh r. It follows that
φ
λ
(
e
t
i
)
=
1
2
π
∫
0
2
π
(
cosh
t
−
sinh
t
cos
θ
)
−
1
−
i
λ
d
θ
.
{\displaystyle \varphi _{\lambda }(e^{t}i)={\frac {1}{2\pi }}\int _{0}^{2\pi }\left(\cosh t-\sinh t\cos \theta \right)^{-1-i\lambda }\,d\theta .}
Similarly it follows that
Φ
λ
=
M
1
ϕ
λ
.
{\displaystyle \Phi _{\lambda }=M_{1}\phi _{\lambda }.}
If the spherical transform of an SO(2)-invariant function on
H
2
{\displaystyle {\mathfrak {H}}^{2}}
is defined by
f
~
(
λ
)
=
∫
f
φ
−
λ
d
A
,
{\displaystyle {\tilde {f}}(\lambda )=\int f\varphi _{-\lambda }\,dA,}
then
(
M
1
∗
F
)
∼
(
λ
)
=
F
~
(
λ
)
.
{\displaystyle {(M_{1}^{*}F)}^{\sim }(\lambda )={\tilde {F}}(\lambda ).}
Taking f=M1*F, the SL(2, C) inversion formula for F immediately yields
f
(
x
)
=
∫
−
∞
∞
φ
λ
(
x
)
f
~
(
λ
)
λ
π
2
tanh
(
π
λ
2
)
d
λ
,
{\displaystyle f(x)=\int _{-\infty }^{\infty }\varphi _{\lambda }(x){\tilde {f}}(\lambda ){\lambda \pi \over 2}\tanh \left({\pi \lambda \over 2}\right)\,d\lambda ,}
the spherical inversion formula for SO(2)-invariant functions on
H
2
{\displaystyle {\mathfrak {H}}^{2}}
.
As for SL(2,C), this immediately implies the Plancherel formula for fi in Cc(SL(2,R) / SO(2)):
∫
H
2
f
1
f
2
¯
d
A
=
∫
−
∞
∞
f
~
1
f
2
~
¯
λ
π
2
tanh
(
π
λ
2
)
d
λ
.
{\displaystyle \int _{{\mathfrak {H}}^{2}}f_{1}{\overline {f_{2}}}\,dA=\int _{-\infty }^{\infty }{\tilde {f}}_{1}{\overline {\tilde {f_{2}}}}{\lambda \pi \over 2}\tanh \left({\pi \lambda \over 2}\right)\,d\lambda .}
The spherical function φλ is an eigenfunction of the Laplacian:
Δ
2
φ
λ
=
(
λ
2
+
1
4
)
φ
λ
.
{\displaystyle \Delta _{2}\varphi _{\lambda }=\left(\lambda ^{2}+{\tfrac {1}{4}}\right)\varphi _{\lambda }.}
Schwartz functions on R are the spherical transforms of functions f belonging to the Harish-Chandra Schwartz space
S
=
{
f
|
sup
t
|
(
1
+
t
2
)
N
(
I
+
Δ
)
M
f
(
t
)
φ
0
(
t
)
|
<
∞
}
.
{\displaystyle {\mathcal {S}}=\left\{f\left|\sup _{t}\left|(1+t^{2})^{N}(I+\Delta )^{M}f(t)\varphi _{0}(t)\right|<\infty \right\}\right..}
The spherical transforms of smooth SO(2)-invariant functions of compact support are precisely functions on R which are restrictions of holomorphic functions on C satisfying an exponential growth condition
|
F
(
λ
)
|
≤
C
e
R
|
ℑ
λ
|
.
{\displaystyle |F(\lambda )|\leq Ce^{R|\Im \lambda |}.}
Both these results can be deduced by descent from the corresponding results for SL(2,C), by verifying directly that the spherical transform satisfies the given growth conditions and then using the relation
(
M
1
∗
F
)
∼
=
F
~
{\displaystyle (M_{1}^{*}F)^{\sim }={\tilde {F}}}
.
As a function on G, φλ is the matrix coefficient of the spherical principal series defined on L2(R), where R is identified with the boundary of
H
2
{\displaystyle {\mathfrak {H}}^{2}}
. The representation is given by the formula
π
λ
(
g
−
1
)
ξ
(
x
)
=
|
c
x
+
d
|
−
1
−
i
λ
ξ
(
g
(
x
)
)
.
{\displaystyle \pi _{\lambda }(g^{-1})\xi (x)=|cx+d|^{-1-i\lambda }\xi (g(x)).}
The function
ξ
0
(
x
)
=
π
−
1
(
1
+
|
x
|
2
)
−
1
{\displaystyle \xi _{0}(x)=\pi ^{-1}\left(1+|x|^{2}\right)^{-1}}
is fixed by SO(2) and
Φ
λ
(
g
)
=
(
π
λ
(
g
)
ξ
0
,
ξ
0
)
.
{\displaystyle \Phi _{\lambda }(g)=(\pi _{\lambda }(g)\xi _{0},\xi _{0}).}
The representations πλ are irreducible and unitarily equivalent only when the sign of λ is changed. The map
W
:
L
2
(
H
2
)
→
L
2
(
[
0
,
∞
)
×
R
)
{\displaystyle W:L^{2}({\mathfrak {H}}^{2})\to L^{2}([0,\infty )\times \mathbb {R} )}
with measure
λ
π
2
tanh
(
π
λ
2
)
d
λ
{\textstyle {\frac {\lambda \pi }{2}}\tanh \left({\frac {\pi \lambda }{2}}\right)\,d\lambda }
on the first factor, is given by the formula
W
f
(
λ
,
x
)
=
∫
G
/
K
f
(
g
)
π
λ
(
g
)
ξ
0
(
x
)
d
g
{\displaystyle Wf(\lambda ,x)=\int _{G/K}f(g)\pi _{\lambda }(g)\xi _{0}(x)\,dg}
is unitary and gives the decomposition of
L
2
(
H
2
)
{\displaystyle L^{2}({\mathfrak {H}}^{2})}
as a direct integral of the spherical principal series.
= Flensted–Jensen's method of descent
=Hadamard's method of descent relied on functions invariant under the action of 1-parameter subgroup of translations in the y parameter in
H
3
{\displaystyle {\mathfrak {H}}^{3}}
. Flensted–Jensen's method uses the centraliser of SO(2) in SL(2,C) which splits as a direct product of SO(2) and the 1-parameter subgroup K1 of matrices
g
t
=
(
cosh
t
i
sinh
t
−
i
sinh
t
cosh
t
)
.
{\displaystyle g_{t}={\begin{pmatrix}\cosh t&i\sinh t\\-i\sinh t&\cosh t\end{pmatrix}}.}
The symmetric space SL(2,C)/SU(2) can be identified with the space H3 of positive 2×2 matrices A with determinant 1
A
=
(
a
+
b
x
+
i
y
x
−
i
y
a
−
b
)
{\displaystyle A={\begin{pmatrix}a+b&x+iy\\x-iy&a-b\end{pmatrix}}}
with the group action given by
g
⋅
A
=
g
A
g
∗
.
{\displaystyle g\cdot A=gAg^{*}.}
Thus
g
t
⋅
A
=
(
a
cosh
2
t
+
y
sinh
2
t
+
b
x
+
i
(
y
cosh
2
t
+
a
sinh
2
t
)
x
−
i
(
y
cosh
2
t
+
a
sinh
2
t
)
a
cosh
2
t
+
y
sinh
2
t
−
b
)
.
{\displaystyle g_{t}\cdot A={\begin{pmatrix}a\cosh 2t+y\sinh 2t+b&x+i(y\cosh 2t+a\sinh 2t)\\x-i(y\cosh 2t+a\sinh 2t)&a\cosh 2t+y\sinh 2t-b\end{pmatrix}}.}
So on the hyperboloid
a
2
=
1
+
b
2
+
x
2
+
y
2
{\displaystyle a^{2}=1+b^{2}+x^{2}+y^{2}}
, gt only changes the coordinates y and a. Similarly the action of SO(2) acts by rotation on the coordinates (b,x) leaving a and y unchanged. The space H2 of real-valued positive matrices A with y = 0 can be identified with the orbit of the identity matrix under SL(2,R). Taking coordinates (b,x,y) in H3 and (b,x) on H2 the volume and area elements are given by
d
V
=
(
1
+
r
2
)
−
1
/
2
d
b
d
x
d
y
,
d
A
=
(
1
+
r
2
)
−
1
/
2
d
b
d
x
,
{\displaystyle dV=(1+r^{2})^{-1/2}\,db\,dx\,dy,\,\,\,dA=(1+r^{2})^{-1/2}\,db\,dx,}
where r2 equals b2 + x2 + y2 or b2 + x2,
so that r is related to hyperbolic distance from the origin by
r
=
sinh
t
{\displaystyle r=\sinh t}
.
The Laplacian operators are given by the formula
Δ
n
=
−
L
n
−
R
n
2
−
(
n
−
1
)
R
n
,
{\displaystyle \Delta _{n}=-L_{n}-R_{n}^{2}-(n-1)R_{n},\,}
where
L
2
=
∂
b
2
+
∂
x
2
,
R
2
=
b
∂
b
+
x
∂
x
{\displaystyle L_{2}=\partial _{b}^{2}+\partial _{x}^{2},\,\,\,R_{2}=b\partial _{b}+x\partial _{x}}
and
L
3
=
∂
b
2
+
∂
x
2
+
∂
y
2
,
R
3
=
b
∂
b
+
x
∂
x
+
y
∂
y
.
{\displaystyle L_{3}=\partial _{b}^{2}+\partial _{x}^{2}+\partial _{y}^{2},\,\,\,R_{3}=b\partial _{b}+x\partial _{x}+y\partial _{y}.\,}
For an SU(2)-invariant function F on H3 and an SO(2)-invariant function on H2, regarded as functions of r or t,
∫
H
3
F
d
V
=
4
π
∫
−
∞
∞
F
(
t
)
sinh
2
t
d
t
,
∫
H
2
f
d
V
=
2
π
∫
−
∞
∞
f
(
t
)
sinh
t
d
t
.
{\displaystyle \int _{H^{3}}F\,dV=4\pi \int _{-\infty }^{\infty }F(t)\sinh ^{2}t\,dt,\,\,\,\int _{H^{2}}f\,dV=2\pi \int _{-\infty }^{\infty }f(t)\sinh t\,dt.}
If f(b,x) is a function on H2, Ef is defined by
E
f
(
b
,
x
,
y
)
=
f
(
b
,
x
)
.
{\displaystyle Ef(b,x,y)=f(b,x).\,}
Thus
Δ
3
E
f
=
E
(
Δ
2
−
R
2
)
f
.
{\displaystyle \Delta _{3}Ef=E(\Delta _{2}-R_{2})f.\,}
If f is SO(2)-invariant, then, regarding f as a function of r or t,
(
−
Δ
2
+
R
2
)
f
=
∂
t
2
f
+
coth
t
∂
t
f
+
r
∂
r
f
=
∂
t
2
f
+
(
coth
t
+
tanh
t
)
∂
t
f
.
{\displaystyle (-\Delta _{2}+R_{2})f=\partial _{t}^{2}f+\coth t\partial _{t}f+r\partial _{r}f=\partial _{t}^{2}f+(\coth t+\tanh t)\partial _{t}f.}
On the other hand,
∂
t
2
+
(
coth
t
+
tanh
t
)
∂
t
=
∂
t
2
+
2
coth
(
2
t
)
∂
t
.
{\displaystyle \partial _{t}^{2}+(\coth t+\tanh t)\partial _{t}=\partial _{t}^{2}+2\coth(2t)\partial _{t}.}
Thus, setting Sf(t) = f(2t),
(
Δ
2
−
R
2
)
S
f
=
4
S
Δ
2
f
,
{\displaystyle (\Delta _{2}-R_{2})Sf=4S\Delta _{2}f,}
leading to the fundamental descent relation of Flensted-Jensen for M0 = ES:
Δ
3
M
0
f
=
4
M
0
Δ
2
f
.
{\displaystyle \Delta _{3}M_{0}f=4M_{0}\Delta _{2}f.}
The same relation holds with M0 by M, where Mf is obtained by averaging M0f over SU(2).
The extension Ef is constant in the y variable and therefore invariant under the transformations gs. On the other hand, for F a suitable function on H3, the function QF defined by
Q
F
=
∫
K
1
F
∘
g
s
d
s
{\displaystyle QF=\int _{K_{1}}F\circ g_{s}\,ds}
is independent of the y variable. A straightforward change of variables shows that
∫
H
3
F
d
V
=
∫
H
2
(
1
+
b
2
+
x
2
)
1
/
2
Q
F
d
A
.
{\displaystyle \int _{H^{3}}F\,dV=\int _{H^{2}}(1+b^{2}+x^{2})^{1/2}QF\,dA.}
Since K1 commutes with SO(2), QF is SO(2)--invariant if F is, in particular if F is SU(2)-invariant. In this case QF is a function of r or t, so that M*F can be defined by
M
∗
F
(
t
)
=
Q
F
(
t
/
2
)
.
{\displaystyle M^{*}F(t)=QF(t/2).}
The integral formula above then yields
∫
H
3
F
d
V
=
∫
H
2
M
∗
F
d
A
{\displaystyle \int _{H^{3}}F\,dV=\int _{H^{2}}M^{*}F\,dA}
and hence, since for f SO(2)-invariant,
M
∗
(
(
M
f
)
⋅
F
)
=
f
⋅
(
M
∗
F
)
,
{\displaystyle M^{*}((Mf)\cdot F)=f\cdot (M^{*}F),}
the following adjoint formula:
∫
H
3
(
M
f
)
⋅
F
d
V
=
∫
H
2
f
⋅
(
M
∗
F
)
d
V
.
{\displaystyle \int _{H^{3}}(Mf)\cdot F\,dV=\int _{H^{2}}f\cdot (M*F)\,dV.}
As a consequence
M
∗
Δ
3
=
4
Δ
2
M
∗
.
{\displaystyle M^{*}\Delta _{3}=4\Delta _{2}M^{*}.}
Thus, as in the case of Hadamard's method of descent.
M
∗
Φ
2
λ
=
b
(
λ
)
φ
λ
{\displaystyle M^{*}\Phi _{2\lambda }=b(\lambda )\varphi _{\lambda }}
with
b
(
λ
)
=
M
∗
Φ
2
λ
(
0
)
=
π
tanh
π
λ
{\displaystyle b(\lambda )=M^{*}\Phi _{2\lambda }(0)=\pi \tanh \pi \lambda }
and
Φ
2
λ
=
M
φ
λ
.
{\displaystyle \Phi _{2\lambda }=M\varphi _{\lambda }.}
It follows that
(
M
∗
F
)
∼
(
λ
)
=
F
~
(
2
λ
)
.
{\displaystyle {(M^{*}F)}^{\sim }(\lambda )={\tilde {F}}(2\lambda ).}
Taking f=M*F, the SL(2,C) inversion formula for F then immediately yields
f
(
x
)
=
∫
−
∞
∞
φ
λ
(
x
)
f
~
(
λ
)
λ
π
2
tanh
(
π
λ
2
)
d
λ
,
{\displaystyle f(x)=\int _{-\infty }^{\infty }\varphi _{\lambda }(x){\tilde {f}}(\lambda )\,{\lambda \pi \over 2}\tanh \left({\frac {\pi \lambda }{2}}\right)\,d\lambda ,}
= Abel's integral equation
=The spherical function φλ is given by
φ
λ
(
g
)
=
∫
K
α
′
(
k
g
)
d
k
,
{\displaystyle \varphi _{\lambda }(g)=\int _{K}\alpha '(kg)\,dk,}
so that
f
~
(
λ
)
=
∫
S
f
(
s
)
α
′
(
s
)
d
s
,
{\displaystyle {\tilde {f}}(\lambda )=\int _{S}f(s)\alpha '(s)\,ds,}
Thus
f
~
(
λ
)
=
∫
−
∞
∞
∫
0
∞
f
(
a
2
+
a
−
2
+
b
2
2
)
a
−
i
λ
/
2
d
a
d
b
,
{\displaystyle {\tilde {f}}(\lambda )=\int _{-\infty }^{\infty }\int _{0}^{\infty }f\!\left({\frac {a^{2}+a^{-2}+b^{2}}{2}}\right)a^{-i\lambda /2}\,da\,db,}
so that defining F by
F
(
u
)
=
∫
−
∞
∞
f
(
u
+
t
2
2
)
d
t
,
{\displaystyle F(u)=\int _{-\infty }^{\infty }f\!\left(u+{\frac {t^{2}}{2}}\right)\,dt,}
the spherical transform can be written
f
~
(
λ
)
=
∫
0
∞
F
(
a
2
+
a
−
2
2
)
a
−
i
λ
d
a
=
∫
0
∞
F
(
cosh
t
)
e
−
i
t
λ
d
t
.
{\displaystyle {\tilde {f}}(\lambda )=\int _{0}^{\infty }F\!\left({\frac {a^{2}+a^{-2}}{2}}\right)a^{-i\lambda }\,da=\int _{0}^{\infty }F(\cosh t)e^{-it\lambda }\,dt.}
The relation between F and f is classically inverted by the Abel integral equation:
f
(
x
)
=
−
1
2
π
∫
−
∞
∞
F
′
(
x
+
t
2
2
)
d
t
.
{\displaystyle f(x)={\frac {-1}{2\pi }}\int _{-\infty }^{\infty }F'\!\left(x+{t^{2} \over 2}\right)\,dt.}
In fact
∫
−
∞
∞
F
′
(
x
+
t
2
2
)
d
t
=
∫
−
∞
∞
∫
−
∞
∞
f
′
(
x
+
t
2
+
u
2
2
)
d
t
d
u
=
2
π
∫
0
∞
f
′
(
x
+
r
2
2
)
r
d
r
=
2
π
f
(
x
)
.
{\displaystyle \int _{-\infty }^{\infty }F'\!\left(x+{\frac {t^{2}}{2}}\right)\,dt=\int _{-\infty }^{\infty }\int _{-\infty }^{\infty }f'\!\left(x+{\frac {t^{2}+u^{2}}{2}}\right)\,dt\,du={2\pi }\int _{0}^{\infty }f'\!\left(x+{\frac {r^{2}}{2}}\right)r\,dr=2\pi f(x).}
The relation between F and
f
~
{\displaystyle {\tilde {f}}}
is inverted by the Fourier inversion formula:
F
(
cosh
t
)
=
2
π
∫
0
∞
f
~
(
i
λ
)
cos
(
λ
t
)
d
λ
.
{\displaystyle F(\cosh t)={2 \over \pi }\int _{0}^{\infty }{\tilde {f}}(i\lambda )\cos(\lambda t)\,d\lambda .}
Hence
f
(
i
)
=
1
2
π
2
∫
0
∞
f
~
(
λ
)
λ
d
λ
∫
−
∞
∞
sin
λ
t
/
2
sinh
t
cosh
t
2
d
t
=
1
2
π
2
∫
−
∞
∞
f
~
(
λ
)
λ
π
2
tanh
(
π
λ
2
)
d
λ
.
{\displaystyle f(i)={1 \over 2\pi ^{2}}\int _{0}^{\infty }{\tilde {f}}(\lambda )\lambda \,d\lambda \int _{-\infty }^{\infty }{\sin \lambda t/2 \over \sinh t}\cosh {t \over 2}\,dt={1 \over 2\pi ^{2}}\int _{-\infty }^{\infty }{\tilde {f}}(\lambda ){\lambda \pi \over 2}\tanh \left({\pi \lambda \over 2}\right)\,d\lambda .}
This gives the spherical inversion for the point i. Now for fixed g in SL(2,R) define
f
1
(
w
)
=
∫
K
f
(
g
k
w
)
d
k
,
{\displaystyle f_{1}(w)=\int _{K}f(gkw)\,dk,}
another rotation invariant function on
H
2
{\displaystyle {\mathfrak {H}}^{2}}
with f1(i)=f(g(i)). On the other hand, for biinvariant functions f,
π
λ
(
f
)
ξ
0
=
f
~
(
λ
)
ξ
0
{\displaystyle \pi _{\lambda }(f)\xi _{0}={\tilde {f}}(\lambda )\xi _{0}}
so that
f
~
1
(
λ
)
=
f
~
(
λ
)
⋅
φ
λ
(
w
)
,
{\displaystyle {\tilde {f}}_{1}(\lambda )={\tilde {f}}(\lambda )\cdot \varphi _{\lambda }(w),}
where w = g(i). Combining this with the above inversion formula for f1 yields the general spherical inversion formula:
f
(
w
)
=
1
π
2
∫
0
∞
f
~
(
λ
)
φ
λ
(
w
)
λ
π
2
tanh
(
π
λ
2
)
d
λ
.
{\displaystyle f(w)={1 \over \pi ^{2}}\int _{0}^{\infty }{\tilde {f}}(\lambda )\varphi _{\lambda }(w){\lambda \pi \over 2}\tanh \left({\pi \lambda \over 2}\right)\,d\lambda .}
Other special cases
All complex semisimple Lie groups or the Lorentz groups SO0(N,1) with N odd can be treated directly by reduction to the usual Fourier transform. The remaining real Lorentz groups can be deduced by Flensted-Jensen's method of descent, as can other semisimple Lie groups of real rank one. Flensted-Jensen's method of descent also applies to the treatment of real semisimple Lie groups for which the Lie algebras are normal real forms of complex semisimple Lie algebras. The special case of SL(N,R) is treated in detail in Jorgenson & Lang (2001); this group is also the normal real form of SL(N,C).
The approach of Flensted-Jensen (1978) applies to a wide class of real semisimple Lie groups of arbitrary real rank and yields the explicit product form of the Plancherel measure on
a
{\displaystyle {\mathfrak {a}}}
* without using Harish-Chandra's expansion of the spherical functions φλ
in terms of his c-function, discussed below. Although less general, it gives a simpler approach to the Plancherel theorem for this class of groups.
= Complex semisimple Lie groups
=If G is a complex semisimple Lie group, it is the complexification of its maximal compact subgroup U, a compact semisimple Lie group. If
g
{\displaystyle {\mathfrak {g}}}
and
u
{\displaystyle {\mathfrak {u}}}
are their Lie algebras, then
g
=
u
⊕
i
u
.
{\displaystyle {\mathfrak {g}}={\mathfrak {u}}\oplus i{\mathfrak {u}}.}
Let T be a maximal torus in U with Lie algebra
t
.
{\displaystyle {\mathfrak {t}}.}
Then setting
A
=
exp
i
t
,
P
=
exp
i
u
,
{\displaystyle A=\exp i{\mathfrak {t}},\qquad P=\exp i{\mathfrak {u}},}
there is the Cartan decomposition:
G
=
P
⋅
U
=
U
A
U
.
{\displaystyle G=P\cdot U=UAU.}
The finite-dimensional irreducible representations πλ of U are indexed by certain λ in
t
∗
{\displaystyle {\mathfrak {t}}^{*}}
. The corresponding character formula and dimension formula of Hermann Weyl give explicit formulas for
χ
λ
(
e
X
)
=
Tr
π
λ
(
e
X
)
,
(
X
∈
t
)
,
d
(
λ
)
=
dim
π
λ
.
{\displaystyle \chi _{\lambda }(e^{X})=\operatorname {Tr} \pi _{\lambda }(e^{X}),(X\in {\mathfrak {t}}),\qquad d(\lambda )=\dim \pi _{\lambda }.}
These formulas, initially defined on
t
∗
×
t
{\displaystyle {\mathfrak {t}}^{*}\times {\mathfrak {t}}}
and
t
∗
{\displaystyle {\mathfrak {t}}^{*}}
, extend holomorphic to their complexifications. Moreover,
χ
λ
(
e
X
)
=
∑
σ
∈
W
s
i
g
n
(
σ
)
e
i
λ
(
σ
X
)
δ
(
e
X
)
,
{\displaystyle \chi _{\lambda }(e^{X})={\sum _{\sigma \in W}{\rm {sign}}(\sigma )e^{i\lambda (\sigma X)} \over \delta (e^{X})},}
where W is the Weyl group
W
=
N
U
(
T
)
/
T
{\displaystyle W=N_{U}(T)/T}
and δ(eX) is given by a product formula (Weyl's denominator formula) which extends holomorphically to the complexification of
t
{\displaystyle {\mathfrak {t}}}
. There is a similar product formula for d(λ), a polynomial in λ.
On the complex group G, the integral of a U-biinvariant function F can be evaluated as
∫
G
F
(
g
)
d
g
=
1
|
W
|
∫
a
F
(
e
X
)
|
δ
(
e
X
)
|
2
d
X
.
{\displaystyle \int _{G}F(g)\,dg={1 \over |W|}\int _{\mathfrak {a}}F(e^{X})\,|\delta (e^{X})|^{2}\,dX.}
where
a
=
i
t
{\displaystyle {\mathfrak {a}}=i{\mathfrak {t}}}
.
The spherical functions of G are labelled by λ in
a
=
i
t
∗
{\displaystyle {\mathfrak {a}}=i{\mathfrak {t}}^{*}}
and given by the Harish-Chandra-Berezin formula
Φ
λ
(
e
X
)
=
χ
λ
(
e
X
)
d
(
λ
)
.
{\displaystyle \Phi _{\lambda }(e^{X})={\chi _{\lambda }(e^{X}) \over d(\lambda )}.}
They are the matrix coefficients of the irreducible spherical principal series of G induced from the character of the Borel subgroup of G corresponding to λ; these representations are irreducible and can all be realized on L2(U/T).
The spherical transform of a U-biinvariant function F is given by
F
~
(
λ
)
=
∫
G
F
(
g
)
Φ
−
λ
(
g
)
d
g
{\displaystyle {\tilde {F}}(\lambda )=\int _{G}F(g)\Phi _{-\lambda }(g)\,dg}
and the spherical inversion formula by
F
(
g
)
=
1
|
W
|
∫
a
∗
F
~
(
λ
)
Φ
λ
(
g
)
|
d
(
λ
)
|
2
d
λ
=
∫
a
+
∗
F
~
(
λ
)
Φ
λ
(
g
)
|
d
(
λ
)
|
2
d
λ
,
{\displaystyle F(g)={1 \over |W|}\int _{{\mathfrak {a}}^{*}}{\tilde {F}}(\lambda )\Phi _{\lambda }(g)|d(\lambda )|^{2}\,d\,\lambda =\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {F}}(\lambda )\Phi _{\lambda }(g)|d(\lambda )|^{2}\,d\,\lambda ,}
where
a
+
∗
{\displaystyle {\mathfrak {a}}_{+}^{*}}
is a Weyl chamber. In fact the result follows from the Fourier inversion formula on
a
{\displaystyle {\mathfrak {a}}}
since
d
(
λ
)
δ
(
e
X
)
Φ
λ
(
e
X
)
=
∑
σ
∈
W
s
i
g
n
(
σ
)
e
i
λ
(
X
)
,
{\displaystyle d(\lambda )\delta (e^{X})\Phi _{\lambda }(e^{X})=\sum _{\sigma \in W}{\rm {sign}}(\sigma )e^{i\lambda (X)},}
so that
d
(
λ
)
¯
F
~
(
λ
)
{\displaystyle {\overline {d(\lambda )}}{\tilde {F}}(\lambda )}
is just the Fourier transform of
F
(
e
X
)
δ
(
e
X
)
{\displaystyle F(e^{X})\delta (e^{X})}
.
Note that the symmetric space G/U has as compact dual the compact symmetric space U x U / U, where U is the diagonal subgroup. The spherical functions for the latter space, which can be identified with U itself, are the normalized characters χλ/d(λ) indexed by lattice points in the interior of
a
+
∗
{\displaystyle {\mathfrak {a}}_{+}^{*}}
and the role of A is played by T. The spherical transform of f of a class function on U is given by
f
~
(
λ
)
=
∫
U
f
(
u
)
χ
λ
(
u
)
¯
d
(
λ
)
d
u
{\displaystyle {\tilde {f}}(\lambda )=\int _{U}f(u){{\overline {\chi _{\lambda }(u)}} \over d(\lambda )}\,du}
and the spherical inversion formula now follows from the theory of Fourier series on T:
f
(
u
)
=
∑
λ
f
~
(
λ
)
χ
λ
(
u
)
d
(
λ
)
d
(
λ
)
2
.
{\displaystyle f(u)=\sum _{\lambda }{\tilde {f}}(\lambda ){\chi _{\lambda }(u) \over d(\lambda )}d(\lambda )^{2}.}
There is an evident duality between these formulas and those for the non-compact dual.
= Real semisimple Lie groups
=Let G0 be a normal real form of the complex semisimple Lie group G, the fixed points of an involution σ, conjugate linear on the Lie algebra of G. Let τ be a Cartan involution of G0 extended to an involution of G, complex linear on its Lie algebra, chosen to commute with σ. The fixed point subgroup of τσ is a compact real form U of G, intersecting G0 in a maximal compact subgroup K0. The fixed point subgroup of τ is K, the complexification of K0. Let G0= K0·P0 be the corresponding Cartan decomposition of G0 and let A be a maximal Abelian subgroup of P0. Flensted-Jensen (1978) proved that
G
=
K
A
+
U
,
{\displaystyle G=KA_{+}U,}
where A+ is the image of the closure of a Weyl chamber in
a
{\displaystyle {\mathfrak {a}}}
under the exponential map. Moreover,
K
∖
G
/
U
=
A
+
.
{\displaystyle K\backslash G/U=A_{+}.}
Since
K
0
∖
G
0
/
K
0
=
A
+
{\displaystyle K_{0}\backslash G_{0}/K_{0}=A_{+}}
it follows that there is a canonical identification between K \ G / U, K0 \ G0 /K0 and A+. Thus K0-biinvariant functions on G0 can be identified with functions on A+ as can functions on G that are left invariant under K and right invariant under U. Let f be a function in
C
c
∞
(
K
0
∖
G
0
/
K
0
)
{\displaystyle C_{c}^{\infty }(K_{0}\backslash G_{0}/K_{0})}
and define Mf in
C
c
∞
(
U
∖
G
/
U
)
{\displaystyle C_{c}^{\infty }(U\backslash G/U)}
by
M
f
(
a
)
=
∫
U
f
(
u
a
2
)
d
u
.
{\displaystyle Mf(a)=\int _{U}f(ua^{2})\,du.}
Here a third Cartan decomposition of G = UAU has been used to identify U \ G / U with A+.
Let Δ be the Laplacian on G0/K0 and let Δc be the Laplacian on G/U. Then
4
M
Δ
=
Δ
c
M
.
{\displaystyle 4M\Delta =\Delta _{c}M.}
For F in
C
c
∞
(
U
∖
G
/
U
)
{\displaystyle C_{c}^{\infty }(U\backslash G/U)}
, define M*F in
C
c
∞
(
K
0
∖
G
0
/
K
0
)
{\displaystyle C_{c}^{\infty }(K_{0}\backslash G_{0}/K_{0})}
by
M
∗
F
(
a
2
)
=
∫
K
F
(
g
a
)
d
g
.
{\displaystyle M^{*}F(a^{2})=\int _{K}F(ga)\,dg.}
Then M and M* satisfy the duality relations
∫
G
/
U
(
M
f
)
⋅
F
=
∫
G
0
/
K
0
f
⋅
(
M
∗
F
)
.
{\displaystyle \int _{G/U}(Mf)\cdot F=\int _{G_{0}/K_{0}}f\cdot (M^{*}F).}
In particular
M
∗
Δ
c
=
4
Δ
M
∗
.
{\displaystyle M^{*}\Delta _{c}=4\Delta M^{*}.}
There is a similar compatibility for other operators in the center of the universal enveloping algebra of G0. It follows from the eigenfunction characterisation of spherical functions that
M
∗
Φ
2
λ
{\displaystyle M^{*}\Phi _{2\lambda }}
is proportional to φλ on G0, the constant of proportionality being given by
b
(
λ
)
=
M
∗
Φ
2
λ
(
1
)
=
∫
K
Φ
2
λ
(
k
)
d
k
.
{\displaystyle b(\lambda )=M^{*}\Phi _{2\lambda }(1)=\int _{K}\Phi _{2\lambda }(k)\,dk.}
Moreover, in this case
(
M
∗
F
)
∼
(
λ
)
=
F
~
(
2
λ
)
.
{\displaystyle (M^{*}F)^{\sim }(\lambda )={\tilde {F}}(2\lambda ).}
If f = M*F, then the spherical inversion formula for F on G implies that for f on G0:
f
(
g
)
=
∫
a
+
∗
f
~
(
λ
)
φ
λ
(
g
)
2
d
i
m
A
⋅
|
b
(
λ
)
|
⋅
|
d
(
2
λ
)
|
2
d
λ
,
{\displaystyle f(g)=\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {f}}(\lambda )\varphi _{\lambda }(g)\,\,2^{{\rm {dim}}\,A}\cdot |b(\lambda )|\cdot |d(2\lambda )|^{2}\,d\lambda ,}
since
f
(
g
)
=
M
∗
F
(
g
)
=
∫
a
+
∗
F
~
(
2
λ
)
M
∗
Φ
2
λ
(
g
)
2
d
i
m
A
|
d
(
2
λ
)
|
2
d
λ
=
∫
a
+
∗
f
~
(
λ
)
φ
λ
(
g
)
b
(
λ
)
2
d
i
m
A
|
d
(
2
λ
)
|
2
d
λ
.
{\displaystyle f(g)=M^{*}F(g)=\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {F}}(2\lambda )M^{*}\Phi _{2\lambda }(g)2^{{\rm {dim}}\,A}|d(2\lambda )|^{2}\,d\lambda =\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {f}}(\lambda )\varphi _{\lambda }(g)\,\,b(\lambda )2^{{\rm {dim}}\,A}|d(2\lambda )|^{2}\,d\lambda .}
The direct calculation of the integral for b(λ), generalising the computation of Godement (1957) for SL(2,R), was left as an open problem by Flensted-Jensen (1978). An explicit product formula for b(λ) was known from the prior determination of the Plancherel measure by Harish-Chandra (1966), giving
b
(
λ
)
=
C
⋅
d
(
2
λ
)
−
1
⋅
∏
α
>
0
tanh
π
(
α
,
λ
)
(
α
,
α
)
,
{\displaystyle b(\lambda )=C\cdot d(2\lambda )^{-1}\cdot \prod _{\alpha >0}\tanh {\pi (\alpha ,\lambda ) \over (\alpha ,\alpha )},}
where α ranges over the positive roots of the root system in
a
{\displaystyle {\mathfrak {a}}}
and C is a normalising constant, given as a quotient of products of Gamma functions.
Harish-Chandra's Plancherel theorem
Let G be a noncompact connected real semisimple Lie group with finite center. Let
g
{\displaystyle {\mathfrak {g}}}
denote its Lie algebra. Let K be a maximal compact subgroup
given as the subgroup of fixed points of a Cartan involution σ. Let
g
±
{\displaystyle {\mathfrak {g}}_{\pm }}
be the ±1 eigenspaces of σ in
g
{\displaystyle {\mathfrak {g}}}
, so that
k
=
g
+
{\displaystyle {\mathfrak {k}}={\mathfrak {g}}_{+}}
is the Lie algebra of K and
p
=
g
−
{\displaystyle {\mathfrak {p}}={\mathfrak {g}}_{-}}
give the Cartan decomposition
g
=
k
+
p
,
G
=
exp
p
⋅
K
.
{\displaystyle {\mathfrak {g}}={\mathfrak {k}}+{\mathfrak {p}},\,\,G=\exp {\mathfrak {p}}\cdot K.}
Let
a
{\displaystyle {\mathfrak {a}}}
be a maximal Abelian subalgebra of
p
{\displaystyle {\mathfrak {p}}}
and for α in
a
∗
{\displaystyle {\mathfrak {a}}^{*}}
let
g
α
=
{
X
∈
g
:
[
H
,
X
]
=
α
(
H
)
X
(
H
∈
a
)
}
.
{\displaystyle {\mathfrak {g}}_{\alpha }=\{X\in {\mathfrak {g}}:[H,X]=\alpha (H)X\,\,(H\in {\mathfrak {a}})\}.}
If α ≠ 0 and
g
α
≠
(
0
)
{\displaystyle {\mathfrak {g}}_{\alpha }\neq (0)}
, then α is called a restricted root and
m
α
=
dim
g
α
{\displaystyle m_{\alpha }=\dim {\mathfrak {g}}_{\alpha }}
is called its multiplicity. Let A = exp
a
{\displaystyle {\mathfrak {a}}}
, so that G = KAK.The restriction of the Killing form defines an inner product on
p
{\displaystyle {\mathfrak {p}}}
and hence
a
{\displaystyle {\mathfrak {a}}}
, which allows
a
∗
{\displaystyle {\mathfrak {a}}^{*}}
to be identified with
a
{\displaystyle {\mathfrak {a}}}
. With respect to this inner product, the restricted roots Σ give a root system. Its Weyl group can be identified with
W
=
N
K
(
A
)
/
C
K
(
A
)
{\displaystyle W=N_{K}(A)/C_{K}(A)}
. A choice of positive roots defines a Weyl chamber
a
+
∗
{\displaystyle {\mathfrak {a}}_{+}^{*}}
. The reduced root system Σ0 consists of roots α such that α/2 is not a root.
Defining the spherical functions φ λ as above for λ in
a
∗
{\displaystyle {\mathfrak {a}}^{*}}
, the spherical transform of f in Cc∞(K \ G / K) is defined by
f
~
(
λ
)
=
∫
G
f
(
g
)
φ
−
λ
(
g
)
d
g
.
{\displaystyle {\tilde {f}}(\lambda )=\int _{G}f(g)\varphi _{-\lambda }(g)\,dg.}
The spherical inversion formula states that
f
(
g
)
=
∫
a
+
∗
f
~
(
λ
)
φ
λ
(
g
)
|
c
(
λ
)
|
−
2
d
λ
,
{\displaystyle f(g)=\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {f}}(\lambda )\varphi _{\lambda }(g)\,|c(\lambda )|^{-2}\,d\lambda ,}
where Harish-Chandra's c-function c(λ) is defined by
c
(
λ
)
=
c
0
⋅
∏
α
∈
Σ
0
+
2
−
i
(
λ
,
α
0
)
Γ
(
i
(
λ
,
α
0
)
)
Γ
(
1
2
[
1
2
m
α
+
1
+
i
(
λ
,
α
0
)
]
)
Γ
(
1
2
[
1
2
m
α
+
m
2
α
+
i
(
λ
,
α
0
)
]
)
{\displaystyle c(\lambda )=c_{0}\cdot \prod _{\alpha \in \Sigma _{0}^{+}}{\frac {2^{-i(\lambda ,\alpha _{0})}\Gamma (i(\lambda ,\alpha _{0}))}{\Gamma \!\left({\frac {1}{2}}\left[{\frac {1}{2}}m_{\alpha }+1+i(\lambda ,\alpha _{0})\right]\right)\Gamma \!\left({\frac {1}{2}}\left[{\frac {1}{2}}m_{\alpha }+m_{2\alpha }+i(\lambda ,\alpha _{0})\right]\right)}}}
with
α
0
=
(
α
,
α
)
−
1
α
{\displaystyle \alpha _{0}=(\alpha ,\alpha )^{-1}\alpha }
and the constant c0 chosen so that c(−iρ) = 1 where
ρ
=
1
2
∑
α
∈
Σ
+
m
α
α
.
{\displaystyle \rho ={\frac {1}{2}}\sum _{\alpha \in \Sigma ^{+}}m_{\alpha }\alpha .}
The Plancherel theorem for spherical functions states that the map
W
:
f
↦
f
~
,
L
2
(
K
∖
G
/
K
)
→
L
2
(
a
+
∗
,
|
c
(
λ
)
|
−
2
d
λ
)
{\displaystyle W:f\mapsto {\tilde {f}},\,\,\,\ L^{2}(K\backslash G/K)\rightarrow L^{2}({\mathfrak {a}}_{+}^{*},|c(\lambda )|^{-2}\,d\lambda )}
is unitary and transforms convolution by
f
∈
L
1
(
K
∖
G
/
K
)
{\displaystyle f\in L^{1}(K\backslash G/K)}
into multiplication by
f
~
{\displaystyle {\tilde {f}}}
.
Harish-Chandra's spherical function expansion
Since G = KAK, functions on G/K that are invariant under K can be identified with functions on A, and hence
a
{\displaystyle {\mathfrak {a}}}
, that are invariant under the Weyl group W. In particular since the Laplacian Δ on G/K commutes with the action of G, it defines a second order differential operator L on
a
{\displaystyle {\mathfrak {a}}}
, invariant under W, called the radial part of the Laplacian. In general if X is in
a
{\displaystyle {\mathfrak {a}}}
, it defines a first order differential operator (or vector field) by
X
f
(
y
)
=
d
d
t
f
(
y
+
t
X
)
|
t
=
0
.
{\displaystyle Xf(y)=\left.{\frac {d}{dt}}f(y+tX)\right|_{t=0}.}
L can be expressed in terms of these operators by the formula
L
=
Δ
a
−
∑
α
>
0
m
α
coth
α
A
α
,
{\displaystyle L=\Delta _{\mathfrak {a}}-\sum _{\alpha >0}m_{\alpha }\,\coth \alpha \,A_{\alpha },}
where Aα in
a
{\displaystyle {\mathfrak {a}}}
is defined by
(
A
α
,
X
)
=
α
(
X
)
{\displaystyle (A_{\alpha },X)=\alpha (X)}
and
Δ
a
=
−
∑
X
i
2
{\displaystyle \Delta _{\mathfrak {a}}=-\sum X_{i}^{2}}
is the Laplacian on
a
{\displaystyle {\mathfrak {a}}}
, corresponding to any choice of orthonormal basis (Xi).
Thus
L
=
L
0
−
∑
α
>
0
m
α
(
coth
α
−
1
)
A
α
,
{\displaystyle L=L_{0}-\sum _{\alpha >0}m_{\alpha }\,(\coth \alpha -1)A_{\alpha },}
where
L
0
=
Δ
a
−
∑
α
>
0
A
α
,
{\displaystyle L_{0}=\Delta _{\mathfrak {a}}-\sum _{\alpha >0}A_{\alpha },}
so that L can be regarded as a perturbation of the constant-coefficient operator L0.
Now the spherical function φλ is an eigenfunction of the Laplacian:
Δ
φ
λ
=
(
‖
λ
‖
2
+
‖
ρ
‖
2
)
φ
λ
{\displaystyle \Delta \varphi _{\lambda }=\left(\left\|\lambda \right\|^{2}+\left\|\rho \right\|^{2}\right)\varphi _{\lambda }}
and therefore of L, when viewed as a W-invariant function on
a
{\displaystyle {\mathfrak {a}}}
.
Since eiλ–ρ and its transforms under W are eigenfunctions of L0 with the same eigenvalue, it is natural look for a formula for φλ in terms of a perturbation series
f
λ
=
e
i
λ
−
ρ
∑
μ
∈
Λ
a
μ
(
λ
)
e
−
μ
,
{\displaystyle f_{\lambda }=e^{i\lambda -\rho }\sum _{\mu \in \Lambda }a_{\mu }(\lambda )e^{-\mu },}
with Λ the cone of all non-negative integer combinations of positive roots, and the transforms of fλ under W. The expansion
coth
x
−
1
=
2
∑
m
>
0
e
−
2
m
x
,
{\displaystyle \coth x-1=2\sum _{m>0}e^{-2mx},}
leads to a recursive formula for the coefficients aμ(λ). In particular they are uniquely determined and the
series and its derivatives converges absolutely on
a
+
{\displaystyle {\mathfrak {a}}_{+}}
, a fundamental domain for W. Remarkably it turns out that fλ is also an eigenfunction of the other G-invariant differential operators on G/K, each of which induces a W-invariant differential operator on
a
{\displaystyle {\mathfrak {a}}}
.
It follows that φλ can be expressed in terms as a linear combination of fλ and its transforms under W:
φ
λ
=
∑
s
∈
W
c
(
s
λ
)
f
s
λ
.
{\displaystyle \varphi _{\lambda }=\sum _{s\in W}c(s\lambda )f_{s\lambda }.}
Here c(λ) is Harish-Chandra's c-function. It describes the asymptotic behaviour of φλ in
a
+
{\displaystyle {\mathfrak {a}}_{+}}
, since
φ
λ
(
e
t
X
)
∼
c
(
λ
)
e
(
i
λ
−
ρ
)
X
t
{\displaystyle \varphi _{\lambda }(e^{t}X)\sim c(\lambda )e^{(i\lambda -\rho )Xt}}
for X in
a
+
{\displaystyle {\mathfrak {a}}_{+}}
and t > 0 large.
Harish-Chandra obtained a second integral formula for φλ and hence c(λ) using the Bruhat decomposition of G:
G
=
⋃
s
∈
W
B
s
B
,
{\displaystyle G=\bigcup _{s\in W}BsB,}
where B = MAN and the union is disjoint. Taking the Coxeter element s0 of W, the unique element mapping
a
+
{\displaystyle {\mathfrak {a}}_{+}}
onto
−
a
+
{\displaystyle -{\mathfrak {a}}_{+}}
, it follows that σ(N) has a dense open orbit G/B = K/M whose complement is a union of cells of strictly smaller dimension and therefore has measure zero. It follows that the integral formula
for φλ initially defined over K/M
φ
λ
(
g
)
=
∫
K
/
M
λ
′
(
g
k
)
−
1
d
k
.
{\displaystyle \varphi _{\lambda }(g)=\int _{K/M}\lambda '(gk)^{-1}\,dk.}
can be transferred to σ(N):
φ
λ
(
e
X
)
=
e
i
λ
−
ρ
∫
σ
(
N
)
λ
′
(
n
)
¯
λ
′
(
e
X
n
e
−
X
)
d
n
,
{\displaystyle \varphi _{\lambda }(e^{X})=e^{i\lambda -\rho }\int _{\sigma (N)}{{\overline {\lambda '(n)}} \over \lambda '(e^{X}ne^{-X})}\,dn,}
for X in
a
{\displaystyle {\mathfrak {a}}}
.
Since
lim
t
→
∞
e
t
X
n
e
−
t
X
=
1
{\displaystyle \lim _{t\to \infty }e^{tX}ne^{-tX}=1}
for X in
a
+
{\displaystyle {\mathfrak {a}}_{+}}
, the asymptotic behaviour of φλ can be read off from this integral, leading to the formula:
c
(
λ
)
=
∫
σ
(
N
)
λ
′
(
n
)
¯
d
n
.
{\displaystyle c(\lambda )=\int _{\sigma (N)}{\overline {\lambda '(n)}}\,dn.}
Harish-Chandra's c-function
The many roles of Harish-Chandra's c-function in non-commutative harmonic analysis are surveyed in Helgason (2000). Although it was originally introduced by Harish-Chandra in the asymptotic expansions of spherical functions, discussed above, it was also soon understood to be intimately related to intertwining operators between induced representations, first studied in this context by Bruhat (1956). These operators exhibit the unitary equivalence between πλ and πsλ for s in the Weyl group and a c-function cs(λ) can be attached to each such operator: namely the value at 1 of the intertwining operator applied to ξ0, the constant function 1, in L2(K/M). Equivalently, since ξ0 is up to scalar multiplication the unique vector fixed by K, it is an eigenvector of the intertwining operator with eigenvalue cs(λ).
These operators all act on the same space L2(K/M), which can be identified with the representation induced from the 1-dimensional representation defined by λ on MAN. Once A has been chosen, the compact subgroup M is uniquely determined as the centraliser of A in K. The nilpotent subgroup N, however, depends on a choice of a Weyl chamber in
a
∗
{\displaystyle {\mathfrak {a}}^{*}}
, the various choices being permuted by the Weyl group W = M ' / M, where M ' is the normaliser of A in K. The standard intertwining operator corresponding to (s, λ) is defined on the induced representation by
A
(
s
,
λ
)
F
(
k
)
=
∫
σ
(
N
)
∩
s
−
1
N
s
F
(
k
s
n
)
d
n
,
{\displaystyle A(s,\lambda )F(k)=\int _{\sigma (N)\cap s^{-1}Ns}F(ksn)\,dn,}
where σ is the Cartan involution. It satisfies the intertwining relation
A
(
s
,
λ
)
π
λ
(
g
)
=
π
s
λ
(
g
)
A
(
s
,
λ
)
.
{\displaystyle A(s,\lambda )\pi _{\lambda }(g)=\pi _{s\lambda }(g)A(s,\lambda ).}
The key property of the intertwining operators and their integrals is the multiplicative cocycle property
A
(
s
1
s
2
,
λ
)
=
A
(
s
1
,
s
2
λ
)
A
(
s
2
,
λ
)
,
{\displaystyle A(s_{1}s_{2},\lambda )=A(s_{1},s_{2}\lambda )A(s_{2},\lambda ),}
whenever
ℓ
(
s
1
s
2
)
=
ℓ
(
s
1
)
+
ℓ
(
s
2
)
{\displaystyle \ell (s_{1}s_{2})=\ell (s_{1})+\ell (s_{2})}
for the length function on the Weyl group associated with the choice of Weyl chamber. For s in W, this is the number of chambers crossed by the straight line segment between X and sX for any point X in the interior of the chamber. The unique element of greatest length s0, namely the number of positive restricted roots, is the unique element that carries the Weyl chamber
a
+
∗
{\displaystyle {\mathfrak {a}}_{+}^{*}}
onto
−
a
+
∗
{\displaystyle -{\mathfrak {a}}_{+}^{*}}
. By Harish-Chandra's integral formula, it corresponds to Harish-Chandra's c-function:
c
(
λ
)
=
c
s
0
(
λ
)
.
{\displaystyle c(\lambda )=c_{s_{0}}(\lambda ).}
The c-functions are in general defined by the equation
A
(
s
,
λ
)
ξ
0
=
c
s
(
λ
)
ξ
0
,
{\displaystyle A(s,\lambda )\xi _{0}=c_{s}(\lambda )\xi _{0},}
where ξ0 is the constant function 1 in L2(K/M). The cocycle property of the intertwining operators implies a similar multiplicative property for the c-functions:
c
s
1
s
2
(
λ
)
=
c
s
1
(
s
2
λ
)
c
s
2
(
λ
)
{\displaystyle c_{s_{1}s_{2}}(\lambda )=c_{s_{1}}(s_{2}\lambda )c_{s_{2}}(\lambda )}
provided
ℓ
(
s
1
s
2
)
=
ℓ
(
s
1
)
+
ℓ
(
s
2
)
.
{\displaystyle \ell (s_{1}s_{2})=\ell (s_{1})+\ell (s_{2}).}
This reduces the computation of cs to the case when s = sα, the reflection in a (simple) root α, the so-called "rank-one reduction" of Gindikin & Karpelevich (1962). In fact the integral involves only the closed connected subgroup Gα corresponding to the Lie subalgebra generated by
g
±
α
{\displaystyle {\mathfrak {g}}_{\pm \alpha }}
where α lies in Σ0+. Then Gα is a real semisimple Lie group with real rank one, i.e. dim Aα = 1, and cs is just the Harish-Chandra c-function of Gα. In this case the c-function can be computed directly by various means:
by noting that φλ can be expressed in terms of the hypergeometric function for which the asymptotic expansion is known from the classical formulas of Gauss for the connection coefficients;
by directly computing the integral, which can be expressed as an integral in two variables and hence a product of two beta functions.
This yields the following formula:
c
s
α
(
λ
)
=
c
0
2
−
i
(
λ
,
α
0
)
Γ
(
i
(
λ
,
α
0
)
)
Γ
(
1
2
(
1
2
m
α
+
1
+
i
(
λ
,
α
0
)
)
)
Γ
(
1
2
(
1
2
m
α
+
m
2
α
+
i
(
λ
,
α
0
)
)
)
,
{\displaystyle c_{s_{\alpha }}(\lambda )=c_{0}{\frac {2^{-i(\lambda ,\alpha _{0})}\Gamma (i(\lambda ,\alpha _{0}))}{\Gamma \!\left({\frac {1}{2}}\left({\frac {1}{2}}m_{\alpha }+1+i(\lambda ,\alpha _{0})\right)\right)\Gamma \!\left({\frac {1}{2}}\left({\frac {1}{2}}m_{\alpha }+m_{2\alpha }+i(\lambda ,\alpha _{0})\right)\right)}},}
where
c
0
=
2
m
α
/
2
+
m
2
α
Γ
(
1
2
(
m
α
+
m
2
α
+
1
)
)
.
{\displaystyle c_{0}=2^{m_{\alpha }/2+m_{2\alpha }}\Gamma \!\left({\tfrac {1}{2}}(m_{\alpha }+m_{2\alpha }+1)\right).}
The general Gindikin–Karpelevich formula for c(λ) is an immediate consequence of this formula and the multiplicative properties of cs(λ).
Paley–Wiener theorem
The Paley-Wiener theorem generalizes the classical Paley-Wiener theorem by characterizing the spherical transforms of smooth K-bivariant functions of compact support on G. It is a necessary and sufficient condition that the spherical transform be W-invariant and that there is an R > 0 such that for each N there is an estimate
|
f
~
(
λ
)
|
≤
C
N
(
1
+
|
λ
|
)
−
N
e
R
|
Im
λ
|
.
{\displaystyle |{\tilde {f}}(\lambda )|\leq C_{N}(1+|\lambda |)^{-N}e^{R\left|\operatorname {Im} \lambda \right|}.}
In this case f is supported in the closed ball of radius R about the origin in G/K.
This was proved by Helgason and Gangolli (Helgason (1970) pg. 37).
The theorem was later proved by Flensted-Jensen (1986) independently of the spherical inversion theorem, using a modification of his method of reduction to the complex case.
Rosenberg's proof of inversion formula
Rosenberg (1977) noticed that the Paley-Wiener theorem and the spherical inversion theorem could be proved simultaneously, by a trick which considerably simplified previous proofs.
The first step of his proof consists in showing directly that the inverse transform, defined using Harish-Chandra's c-function, defines a function supported in the closed ball of radius R about the origin if the Paley-Wiener estimate is satisfied. This follows
because the integrand defining the inverse transform extends to a meromorphic function on the complexification of
a
∗
{\displaystyle {\mathfrak {a}}^{*}}
; the integral can be shifted to
a
∗
+
i
μ
t
{\displaystyle {\mathfrak {a}}^{*}+i\mu t}
for μ in
a
+
∗
{\displaystyle {\mathfrak {a}}_{+}^{*}}
and t > 0. Using Harish-Chandra's expansion
of φλ and the formulas for c(λ) in terms of Gamma functions, the integral can be bounded for t large and hence can be shown to vanish outside the closed ball of radius R about the origin.
This part of the Paley-Wiener theorem shows that
T
(
f
)
=
∫
a
+
∗
f
~
(
λ
)
|
c
(
λ
)
|
−
2
d
λ
{\displaystyle T(f)=\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {f}}(\lambda )|c(\lambda )|^{-2}\,d\lambda }
defines a distribution on G/K with support at the origin o. A further estimate for the integral shows that it is in fact given by a measure and that therefore there is a constant C such that
T
(
f
)
=
C
f
(
o
)
.
{\displaystyle T(f)=Cf(o).}
By applying this result to
f
1
(
g
)
=
∫
K
f
(
x
−
1
k
g
)
d
k
,
{\displaystyle f_{1}(g)=\int _{K}f(x^{-1}kg)\,dk,}
it follows that
C
f
=
∫
a
+
∗
f
~
(
λ
)
φ
λ
|
c
(
λ
)
|
−
2
d
λ
.
{\displaystyle Cf=\int _{{\mathfrak {a}}_{+}^{*}}{\tilde {f}}(\lambda )\varphi _{\lambda }|c(\lambda )|^{-2}\,d\lambda .}
A further scaling argument allows the inequality C = 1 to be deduced from the Plancherel theorem and Paley-Wiener theorem on
a
{\displaystyle {\mathfrak {a}}}
.
Schwartz functions
The Harish-Chandra Schwartz space can be defined as
S
(
K
∖
G
/
K
)
=
{
f
∈
C
∞
(
G
/
K
)
K
:
sup
x
|
(
1
+
d
(
x
,
o
)
)
m
(
Δ
+
I
)
n
f
(
x
)
|
<
∞
}
.
{\displaystyle {\mathcal {S}}(K\backslash G/K)=\left\{f\in C^{\infty }(G/K)^{K}:\sup _{x}\left|(1+d(x,o))^{m}(\Delta +I)^{n}f(x)\right|<\infty \right\}.}
Under the spherical transform it is mapped onto
S
(
a
∗
)
W
,
{\displaystyle {\mathcal {S}}({\mathfrak {a}}^{*})^{W},}
the space of W-invariant
Schwartz functions on
a
∗
.
{\displaystyle {\mathfrak {a}}^{*}.}
The original proof of Harish-Chandra was a long argument by induction. Anker (1991) found a short and simple proof, allowing the result to be deduced directly from versions of the Paley-Wiener and spherical inversion formula. He proved that the spherical transform of a Harish-Chandra Schwartz function is a classical Schwartz function. His key observation was then to show that the inverse transform was continuous on the Paley-Wiener space endowed with classical Schwartz space seminorms, using classical estimates.
Notes
References
Anker, Jean-Philippe (1991), "The spherical Fourier transform of rapidly decreasing functions. A simple proof of a characterization due to Harish-Chandra, Helgason, Trombi, and Varadarajan", J. Funct. Anal., 96 (2): 331–349, doi:10.1016/0022-1236(91)90065-D
Beerends, R. J. (1987), "The Fourier transform of Harish-Chandra's c-function and inversion of the Abel transform", Math. Ann., 277: 1–23, doi:10.1007/BF01457275, S2CID 123060173
Bruhat, François (1956), "Sur les représentations induites des groupes de Lie", Bulletin de la Société Mathématique de France, 84: 97–205, MR 0084713
Davies, E. B. (1989), Heat Kernels and Spectral Theory, Cambridge University Press, ISBN 0-521-40997-7
Dieudonné, Jean (1978), Treatise on Analysis, Vol. VI, Academic Press, ISBN 0-12-215506-8
Flensted-Jensen, Mogens (1978), "Spherical functions of a real semisimple Lie group. A method of reduction to the complex case", J. Funct. Anal., 30: 106–146, doi:10.1016/0022-1236(78)90058-7
Flensted-Jensen, Mogens (1986), Analysis on non-Riemannian symmetric spaces, CBMS regional conference series in mathematics, vol. 61, American Mathematical Society, ISBN 0-8218-0711-0
Gelfand, I. M.; Naimark, M. A. (1948), "An analog of Plancherel's formula for the complex unimodular group", Doklady Akademii Nauk SSSR, 63: 609–612
Gindikin, Simon G.; Karpelevich, Fridrikh I. (1962), Мера Планшереля для римановых симметрических пространств неположительной кривизны [Plancherel measure for symmetric Riemannian spaces of non-positive curvature], Doklady Akademii Nauk SSSR, 145: 252–255, MR 0150239.
Gindikin, S.G. (2008), "Horospherical transform on Riemannian symmetric manifolds of noncompact type", Functional Analysis and Its Applications, 42 (4): 290–297, doi:10.1007/s10688-008-0042-2, S2CID 120718983
Godement, Roger (1957), Introduction aux travaux de A. Selberg (Exposé no. 144, February 1957), Séminaire Bourbaki, vol. 4, Soc. Math. France, pp. 95–110
Guillemin, Victor; Sternberg, Shlomo (1977), Geometric Asymptotics, American Mathematical Society, ISBN 0-8218-1633-0, Appendix to Chapter VI, The Plancherel Formula for Complex Semisimple Lie Groups.
Harish-Chandra (1951), "Plancherel formula for complex semisimple Lie groups", Proc. Natl. Acad. Sci. U.S.A., 37 (12): 813–818, Bibcode:1951PNAS...37..813H, doi:10.1073/pnas.37.12.813, JSTOR 88521, PMC 1063477, PMID 16589034
Harish-Chandra (1952), "Plancherel formula for the 2 x 2 real unimodular group", Proc. Natl. Acad. Sci. U.S.A., 38 (4): 337–342, doi:10.1073/pnas.38.4.337, JSTOR 88737, PMC 1063558, PMID 16589101
Harish-Chandra (1958a), "Spherical functions on a semisimple Lie group. I", American Journal of Mathematics, 80 (2), American Journal of Mathematics, Vol. 80, No. 2: 241–310, doi:10.2307/2372786, JSTOR 2372786, MR 0094407
Harish-Chandra (1958b), "Spherical Functions on a Semisimple Lie Group II", American Journal of Mathematics, 80 (3), The Johns Hopkins University Press: 553–613, doi:10.2307/2372772, JSTOR 2372772
Harish-Chandra (1966), "Discrete series for semisimple Lie groups, II", Acta Mathematica, 116: 1–111, doi:10.1007/BF02392813, S2CID 125806386, section 21.
Helgason, Sigurdur (1970), "A duality for symmetric spaces with applications to group representations", Advances in Mathematics, 5: 1–154, doi:10.1016/0001-8708(70)90037-X
Helgason, Sigurdur (1968), Lie groups and symmetric spaces, Battelle Rencontres, Benjamin, pp. 1–71 (a general introduction for physicists)
Helgason, Sigurdur (1984), Groups and Geometric Analysis. Integral Geometry, Invariant Differential Operators and Spherical Functions, Academic Press, ISBN 0-12-338301-3
Helgason, Sigurdur (1978), Differential geometry, Lie groups and symmetric spaces, Pure and Applied Mathematics 80, New York: Academic Press, pp. xvi+628, ISBN 0-12-338460-5.
Helgason, Sigurdur (2000), "Harish-Chandra's c-function: a mathematical jewel", Proceedings of Symposia in Pure Mathematics, 68: 273–284, doi:10.1090/pspum/068/0834
Jorgenson, Jay; Lang, Serge (2001), Spherical inversion on SL(n,R), Springer Monographs in Mathematics, Springer-Verlag, ISBN 0-387-95115-6
Knapp, Anthony W. (2001), Representation theory of semisimple groups: an overview based on examples, Princeton University Press, ISBN 0-691-09089-0
Kostant, Bertram (1969), "On the existence and irreducibility of certain series of representations" (PDF), Bull. Amer. Math. Soc., 75 (4): 627–642, doi:10.1090/S0002-9904-1969-12235-4
Lang, Serge (1998), SL(2,R), Springer, ISBN 0-387-96198-4
Lax, Peter D.; Phillips, Ralph (1976), Scattering theory for automorphic functions, Annals of Mathematics Studies, vol. 87, Princeton University Press, ISBN 0-691-08184-0
Loeb, Jacques (1979), L'analyse harmonique sur les espaces symétriques de rang 1. Une réduction aux espaces hyperboliques réels de dimension impaire, Lecture Notes in Math, vol. 739, Springer, pp. 623–646
Rosenberg, Jonathan (1977), "A quick proof of Harish-Chandra's Plancherel theorem for spherical functions on a semisimple Lie group", Proceedings of the American Mathematical Society, 63 (1): 143–149, doi:10.1090/S0002-9939-1977-0507231-8, JSTOR 2041084
Selberg, Atle (1956), "Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series", J. Indian Math. Soc., 20: 47–87
Stade, E. (1999), "The hyperbolic tangent and generalized Mellin inversion", Rocky Mountain Journal of Mathematics, 29 (2): 691–707, doi:10.1216/rmjm/1181071659
Takahashi, R. (1963), "Sur les représentations unitaires des groupes de Lorentz généralisés", Bull. Soc. Math. France (in French), 91: 289–433, doi:10.24033/bsmf.1598
Kata Kunci Pencarian:
- Plancherel theorem for spherical functions
- Plancherel theorem
- Michel Plancherel
- Roger Godement
- Zonal spherical function
- Commutation theorem for traces
- Harish-Chandra's c-function
- List of theorems
- Hilbert space
- Fourier transform
