arXiv:1706.09047v1 [math.RT] 21 Jun 2017 iei.E-mail: Nigeria. , of Department ujc Classification: Subject 0 mlcmatsbru of compact imal oeteHrs-hnr-yeShat pcso ucin on functions of spaces Schwartz Harish-Chandra-type the note Introduction 1 algebras Schwartz Harish-Chandra’s Keywords: C oia smrhs of isomorphism logical [11 nhroi nlsso peia ovltoso semisimp on spherical of analysis harmonic On p p < ( . G Let aesonta h peia ore transform Fourier spherical the that shown have ] ossigo the of consisting ) ore rnfrso h bltasoma 0 at transform Abel the of transforms Fourier lerso peia ucin.TePacee esr fthe of computed. measure explicitly Plancherel also The is convolutions functions. spherical Schwa spherical the on of calculus a algebras of consideration the suggest results These hspprcnan o-rva eeaiaino h Harish- the group Lie of semisimple generalization connected a non-trivial on transforms a Chandra contains paper This on ob tennzr osatmlil f oiiedfiiedis- positive-definite a shown of) multiple then on constant is tribution non-zero functions (the spherical be positive-definite to the to forms peia ucin tteiett element identity the bound of at Among collection the functions over convolutions. integral spherical its spherical that show term we we results other what into center, finite ≤ G 2 G, . eacnetdsmsml i ru ihfiiecne,adde- and center, finite with group Lie semisimple connected a be eko that know We h etito fti nerlo t peia ore trans- Fourier spherical its of integral this of restriction the peia ohe hoe:Tmee nain distributions: invariant Tempered theorem: Bochner Spherical femi G, hc stmee n nain on invariant and tempered is which [email protected] C K p ( C − G//K lfm .Oyadare O. Olufemi 43 G p ( iivratfntos rmiadVaradarajan and Trombi functions, bi-invariant G A uhthat such ) 85 bfm wlw nvriy l-f,220005 Ile-Ife, University, Awolowo Obafemi ⊂ notespaces the onto ) , Abstract groups. L 22 p ( E G C 30 o vr such every for ) p ( , G//K 22 E 46 ersnstesbpc of subspace the represents ) e Z ¯ ∈ . ( F f en function a Being G ǫ ), 7→ p G n if and , saweighted a is ǫ f = b (2 = salna topo- linear a is SL G, /p G (2 K with ) , by samax- a is R − ) eLie le C rtz ed 1 . , p ( G ), , consisting of rapidly decreasing functions on certain sets Fǫ of elementary spherical functions. It then follows that every positive-definite distribution ∞ 1 on Cc (G) can be uniquely extended to C (G//K). Using these, and improving on the results of Godement [6.] on the Bochner theorem, Barker [3.] has shown that every positive-definite distribution, T, on G extends uniquely to a continuous linear functional on C1(G) and that

T [f]= fdµ ZP for a uniquely defined Borel measure, µ.b Here f ∈ C1(G//K) and P is the space of positive-definite spherical functions on G. This is his spherical Bochner theorem which has been extended to all Cp(G//K), 1 ≤ p ≤ 2, with the requirement that supp(µ) ⊂ Fǫ. ∞ p Now if f ∈ Cc (G) and ϕλ ∈ C (G//K) we define a function on G, termed spherical convolutions and denoted Hx,λf, as

Hx,λf =(f ∗ ϕλ)(x).

We show, among other properties, that the map λ 7→ Hx,λf is well-defined on P, invariant, and that the integral over P of its spherical Fourier p transform is a non-zero constant multiple of T [ϕλ] for every f ∈ C (G//K) whenever supp(µ) ⊂ Fǫ. This gives an expansion formula for this integral 2 R when ϕλ ∈ Cτ (SL(2, )), where τ is a double representation on K = SO(2). When considered as the function x 7→ Hx,λf on G, the behaviours of the spherical convolutions at the identity element x = e and at λ = 0 show both its generalization of the Harish-Chandra transforms and its relationship with the elementary spherical function Ξ respectively. Its membership of the Schwartz algebra C2(G//K), which leads to the consideration of its spherical Fourier transforms, results to the proof of a more inclusive Plancherel formula for C2(G//K). Details of these results are contained in §4. after giving a preliminary on the structure theory of G in §2. and the spherical Bochner theorems in §3.

2 Preliminaries

For the connected semisimple G with finite center, we denote its by g whose is given as g = t⊕p. Denote by θ the Cartan involution on g whose collection of fixed points is t. We also

2 denote by K the analytic subgroup of G with Lie algebra t. K is then a of G. Choose a maximal abelian subspace a of p with algebraic dual a∗ and set A = exp a. For every λ ∈ a∗ put

gλ = {X ∈ g :[H,X]= λ(H)X, ∀H ∈ a},

′ and call λ a restricted root of (g, a) whenever gλ =6 {0}. Denote by a the open subset of a where all restricted roots are =6 0, and call its connected components the Weyl chambers. Let a+ be one of the Weyl chambers, define the restricted root λ positive whenever it is positive on a+ and denote by △+ the set of all restricted positive roots. Members of △+ which form a basis for △ and can not be written as a linear combination of other members of △+ are called simple. We then have the G = KAN, where N is the analytic subgroup of G corresponding to n = λ∈△+ gλ, and the G = K · cl(A+) · K, with A+ = exp a+, and cl(A+) denoting the closure of A+. P If we set M = {k ∈ K : Ad(k)H = H, H ∈ a} and M ′ = {k ∈ K : Ad(k)a ⊂ a} and call them the centralizer and normalizer of a in K, respectively, then (see [7.], p. 284); (i) M and M ′ are compact and have the same Lie algebra and (ii) the factor w = M ′/M is a finite group called ∗ the Weyl group. w acts on aC as a group of linear transformations by the requirement (sλ)(H)= λ(s−1H), ∗ ∗ H ∈ a, s ∈ w, λ ∈ aC, the complexification of a . We then have the Bruhat decomposition

G = BmsB s∈w G ′ where B = MAN is a closed subgroup of G and ms ∈ M is the representative of s (i.e., s = msM). The Weyl group invariant members of a space shall be denoted by the superscript w. Some of the most important functions on G are the spherical functions which we now discuss as follows. A non-zero continuous function ϕ on G shall be called a (zonal) spherical function whenever ϕ(e)=1, ϕ ∈ C(G//K) := {g ∈ C(G): g(k1xk2)= g(x), k1,k2 ∈ K, x ∈ G} and f ∗ϕ =(f ∗ϕ)(e)·ϕ for −1 every f ∈ Cc(G//K), where (f ∗g)(x) := G f(y)g(y x)dy. This leads to the existence of a homomorphism λ : C (G//K) → C given as λ(f)=(f ∗ ϕ)(e). c R

3 This definition is equivalent to the satisfaction of the functional relation

ϕ(xky)dk = ϕ(x)ϕ(y), x,y ∈ G. ZK It has been shown by Harish-Chandra [8.] that spherical functions on G ∗ can be parametrized by members of aC. Indeed every spherical function on G is of the form (iλ−p)H(xk) ∗ ϕλ(x)= e dk, λ ∈ aC, ZK 1 ρ = 2 λ∈△+ mλ · λ, where mλ = dim(gλ), and that ϕλ = ϕµ iff λ = sµ for some s ∈ w. Some of the well-known properties of spherical functions are −P1 ϕ−λ(x ) = ϕλ(x), ϕ−λ(x)=ϕ ¯λ¯(x), | ϕλ(x) |≤ ϕℜλ(x), | ϕλ(x) |≤ ϕiℑλ(x), ∗ ∗ ϕ−iρ(x)=1, λ ∈ aC, while | ϕλ(x) |≤ ϕ0(x), λ ∈ ia , x ∈ G. Also if Ω is the Casimir operator on G then

Ωϕλ = −(hλ,λi + hρ, ρi)ϕλ,

∗ where λ ∈ aC and hλ,µi := tr(adHλ adHµ) for elements Hλ, Hµ ∈ a. The elements Hλ, Hµ ∈ a are uniquely defined by the requirement that λ(H) = tr(adH adHλ) and µ(H) = tr(adH adHµ) for every H ∈ a ([7.], Theorem 4.2). Clearly Ωϕ0 =0. Due to a hint dropped by Dixmier [5.] (cf. [10.]) in his discussion of some functional calculus, it is necessary to recall the notion of a ‘positive- definite’ function and then discuss the situation for positive-definite spherical functions. We call a continuous function f : G → C (algebraically) positive- definite whenever, for all x1,...,xm in G and all α1,...,αm in C, we have

m −1 αiα¯jf(xi xj) ≥ 0. i,j=1 X It can be shown (cf. [7.]) that f(e) ≥ 0 and |f(x)| ≤ f(e) for every x ∈ G implying that the space P of all positive-definite spherical functions on G is a subset of the space F1 of all bounded spherical functions on G. We know, by the Helgason-Johnson theorem ([9.]), that

1 ∗ F = a + iCρ

∗ where Cρ is the convex hull of {sρ : s ∈ w} in a . Defining the involution f ∗ of f as f ∗(x) = f(x−1), it follows that f = f ∗ for every f ∈ P, and if

4 ϕλ ∈ P, then λ and λ¯ are Weyl group conjugate, leading to a realization of ∗ P as a subset of w \ aC. P becomes a locally compact Hausdorff space when endowed with the weak ∗−topology as a subset of L∞(G).

3 The Spherical Bochner Theorem and its Extension

Let

ϕ0(x) := exp(−ρ(H(xk)))dk ZK be denoted as Ξ(x) and define σ : G → C as σ(x)= kXk for every x = k exp X ∈ G, k ∈ K, X ∈ a, where k·k is a norm on the finite-dimensional space a. These two functions are spherical functions on G and there exist numbers c,d such that 1 ≤ Ξ(a)eρ(log a) ≤ c(1 + σ(a))d.

2 r0 Also there exists r0 > 0 such that c0 =: G Ξ(x) (1+σ(x)) dx < ∞ ([13.], p. 231). For each 0 ≤ p ≤ 2 define Cp(G) to be the set consisting of functions R f in C∞(G) for which

−2/p m kfkg1,g2;m := sup |f(g1; x; g2)|Ξ(x) (1 + σ(x)) < ∞ G + where g1,g2 ∈ U(gC), the universal enveloping algebra of gC, m ∈ Z , x ∈ G, d d f(x; g2) := dt t=0 f(x·(exp tg2)) and f(g1; x) := dt t=0 f((exp tg1)·x). We call Cp(G) the Schwartz space on G for each 0

∞ p p Cc (G) ⊂ C (G) ⊂ L (G) hold and with dense images. It also follows that Cp(G) ⊆ Cq(G) whenever 0 ≤ p ≤ q ≤ 2. Each Cp(G) is closed under involution and the , ∗. Indeed Cp(G) is a Fr´echet algebra ([12.], p. 69). We endow Cp(G//K) with the relative topology as a subset of Cp(G). For any measurable function f on G we define the spherical Fourier trans- form f as

f(λ)= f(x)ϕ−λ(x)dx, b ZG b 5 ∗ 1 λ ∈ aC. It is known (see [3.]) that for f,g ∈ L (G) we have:

(i.) (f ∗ g)∧ = f · g on F1 whenever f (or g) is right - (or left-) K-invariant;

∗ ∧ ∗ 1 ∗ ∧ (ii.) (f ) (ϕ) =bfb(ϕ ),ϕ ∈ F ; hence (f ) = f on P : and, if we define # f (g) := K×K f(k1xk2)dk1dk2, x ∈ G, then b b (iii.) (f #)∧ = fR on F1. In order to know the image of the spherical Fourier transform when re- b stricted to Cp(G//K) we need the following spaces that are central to the statement of the well-known result of Trombi and Varadarajan [11.] (Theo- rem 3.1 below). ∗ Let Cρ be the closed convex hull of the (finite) set {sρ : s ∈ w} in a , i.e.,

n n

Cρ = λi(siρ): λi ≥ 0, λi =1, si ∈ w ( i=1 i=1 ) X X where we recall that, for every H ∈ a,

1 −1 (sρ)(H)= mλ · λ(s H). 2 + λX∈△ ǫ ∗ ǫ ∗ Now for each ǫ> 0 set F = a + iǫCρ. Each F is convex in aC and

′ int(Fǫ)= Fǫ ′ 0<ǫ[<ǫ ([11.], Lemma (3.2.2)). Let us define Z(F0)= S(a∗) and, for each ǫ> 0, let Z(Fǫ) be the space of all C-valued functions Φ such that (i.) Φ is defined and holomorphic on int(Fǫ), and (ii.) for each holomorphic differential operator ǫ D with polynomial coefficients we have supint(Fǫ) |DΦ| < ∞. The space Z(F ) is converted to a Fr´echet algebra by equipping it with the topology generated ǫ ǫ by the collection, k·kZ(F ), of seminorms given by kΦkZ(F ) := supint(Fǫ) |DΦ|. It is known that DΦ above extends to a continuous function on all of Fǫ ([11.], pp. 278 − 279). An appropriate subalgebra of Z(Fǫ) for our purpose is the closed subalgebra Z¯(Fǫ) consisting of w-invariant elements of Z(Fǫ), ǫ ≥ 0. The following well-known result affords us the opportunity of defining a distribution on Cp(G//K).

6 3.1 Theorem (Trombi-Varadarajan [11.]). Let 0 < p ≤ 2 and set ǫ = (2/p) − 1. Then the spherical Fourier transform f 7→ f is a linear topological algebra isomorphism of Cp(G//K) onto Z¯(Fǫ).  In order to use the above theorem to state the results of Barkerb [3.], we require the following notions. 3.1 Definitions. ∞ ′ (i.) A distribution T on G (i.e., T ∈ Cc (G) ) is said to be (integrally) positive-definite (written as T ≫ 0) whenever T [f ∗ f ∗] ≥ 0,

∞ for f ∈ Cc (G). (ii.) A distribution T on G is called K-bi-invariant whenever T # = T where T #[f] := T [f L(k1)R(k2)],

∞ for f ∈ Cc (G). (iii.) A measure µ defined on P is said to be of polynomial growth if there ∗ exists a holomorphic polynomial Q on aC such that P (dµ/|Q|) < ∞. (iv.) The support, supp(µ), of a regular Borel measureRµ is the smallest closed set A such that µ(B)=0 for all Borel sets B disjoint from A. The following is the first of the main results of [3.]. 3.2 Theorem (The spherical Bochner theorem). Suppose T ∈ ∞ ′ 1 ′ Cc (G) and T ≫ 0. Then T extends uniquely to an element in (C (G)) and there exists a unique positive regular Borel measure µ of polynomial growth on P such that T [f]= fdµ, f ∈ C1(G//K). ZP The correspondence between T andb µ is bijective when restricted to K−bi- invariant distributions, in which case the formula holds for all f ∈ C1(G).  The second of the main results of [3.] is a consequence of the Trombi- Varadarajan theorem (Theorem 3.1 above) and is stated as follows. 3.3 Theorem (The extension theorem). Suppose T is a positive- definite distribution with spherical Bochner measure µ. Then T ∈ (Cp(G//K))′ iff supp (µ) ⊂ Fǫ where 1 ≤ p ≤ 2 and ǫ = (2/p) − 1. In such a case

T [f]= fdµ, f ∈ Cp(G//K).  ZP b 7 4 Spherical Convolutions

We start by defining the central notion of this research work. 4.1 Definition. Let f be any measurable function on G. The spherical ∗ convolution of f is the measurable function, Hx,λf, on G × aC given by the map (x, λ) 7→ Hx,λf := (f ∗ ϕλ)(x), ∗ where x ∈ G,λ ∈ aC. We shall refer to the map λ 7→ Hx,λf as the spherical convolution of f at x ∈ G. The importance of Definition 4.1 is seen from the next Lemma (especially the realization of the spherical Fourier transforms in item (ii.)). 4.1 Lemma. Let f, f1 and f2 be measurable functions on G, whose iden- tity element is denoted as e. Then

∗ (i.) Hx,λ(f1 ± cf2)= Hx,λf1 ± cHx,λf2, x ∈ G, c ∈ C, λ ∈ aC;

∗ (ii.) He,λf = f(λ), λ ∈ aC; (iii.) H 1= Ξ(y−1x)dy, x ∈ G. x,0 bG R ∗ (iv.) Hx,−λf = Hx,λf, x ∈ G, λ ∈ aC; Proof. Items (i.) and (iv.) are clear. We recall that, for any measurable function f on G, the spherical Fourier transform, f, of f is given as f(λ)= ∗ −1 ∗ G f(x)ϕ−λ(x)dx, λ ∈ aC. Since ϕ−λ(x)= ϕλ(x ), for every λ ∈ aC, x ∈ G, this may be written as b b R

−1 f(λ)= f(x)ϕλ(x )dx =(f ∗ ϕλ)(e)= He,λf. ZG b This proves (ii.). Item (iii.) follows if we recall that ϕ0(x)=Ξ(x).  Item (iv.) of Lemma 4.1 gives the functional equation for spherical con- volutions. This Lemma (especially in item (ii.)) explains that the harmonic analysis of G has so far been explored only with the spherical convolution at e. The implication of considering only

(e, λ) 7→ He,λf =: f(λ)

b 8 is that the direct contribution of the non-identity members of G to its har- monic analysis are suppressed and may never be suspected or known in the context of f(λ). Indeed a great deal of properties of the spherical convolutions and their contributions to harmonic analysis on G would not be available if, instead ofb considering the entirety of the map (x, λ) 7→ Hx,λf, we restrict

ourselves to either λ 7→ He,λf = f(λ) or x 7→ Hx,01 or any other special case of the spherical convolutions as has been done till now. We shall therefore show the importanceb of including spherical convolu- tions in the harmonic analysis of G by giving its bounds, w−group trans- formation and differential equation. These are contained in the following Theorem while a Plancherel formula for the functions x 7→ Hx,λf on G is proved after a study of its spherical Fourier transforms. 4.1 Theorem. Consider a measurable function f on G, x ∈ G and let ∗ λ ∈ aC. Then

1 (i.) | Hx,λf |≤k f k1, with f ∈ L (G);

(ii.) | Hx,λf |≤ Hx,ℜλf, | Hx,λf |≤ Hx,iℑλf and | Hx,λf |≤ Hx,0f, for f ≥ 0;

(iii.) Hx,sλf = Hx,λf, for every s ∈ w;

p (iv.) ΩHx,λf = −(hλ,λi + hρ, ρi) · Hx,λf, for f ∈ C (G), 0

(v.) Hx,−iρf = G f(y)dy. Proof. We employR the properties of spherical functions given in §2 to establish (i.), (ii.), (iii.) and (v). The proof of (iv.) follows if we recall that

Ω(f ∗ ϕλ)= f ∗ Ωϕλ. 

The equation established in Theorem 4.1(iv.), or any other such equation for q ∈ U(gC), shows that the spherical convolutions inherit the differential equations satisfied by ϕλ. This resemblance suggests the choice of the name adopted in Definition 4.1. It therefore has the following series expansion. 4.1 Corollary. The spherical convolutions, Hh,λf admit the series ex- pansion

H f = c(sλ) e(sλ−ρ)(log h) + a (sλ)e(sλ−ρ−µ)(log h) , h,λ  µ  s∈w + X µX∈L   9 regardless of the functions f ∈ Cp(G), 0

L := miαi : m1,...,mr are integers ≥ 0 , (1≤i≤r ) X ∗ ∗ for the simple roots αi, 1 ≤ i ≤ r, some subset F of aC and coefficient functions aµ(λ) which may be generated from the recursive relation

(hµ,µi − 2hµ,λi) aµ(λ)

= −2 n(α)hλ − µ +2kα − ρ, αiaµ−2kα(λ), n(α) := dim(gα).  α> X0,k ≥ 1 µ − 2kα ∈ L

We shall now consider the map λ 7→ He,λf for its differentiability and/or ∗ integrability with respect to λ in some specified subset, Y, of aC. Indeed, ∗ He,λf ∈ Cc(Y ), for every f ∈ Cc(G) and any subset, Y, of aC. This makes its integral, Y He,λfdµ(λ), with respect to some normalised measure, µ, on Y, worthy of an indepth study. To this end we define the map f 7→ f{ϕ } on R λ G at the identity element, e, as

p f{ϕλ}(e)= He,λfdµ(λ), f ∈ Cc(G), ϕλ ∈ C (G). ZY

Before considering the generality of f{ϕλ}(x), for every x ∈ G, we state our first major result on f{ϕλ}(e) which gives an important application of its integral for Y = F1.

1 1 ν(log a) Define the map a 7→ βF (a) as βF (a) = F1 e dµ(ν), a ∈ A and the 1 βF1 −weighted Fourier transforms, f, of f ∈ RCc(A) at λ ∈ F as

f(λ)= fe(a)eλ(log a)dη(a), ZA e where dη(a)= βF1 (a)da. Observe that the above weighted Fourier transforms λ(log a) f(λ) reduces to the classical Fourier transforms f(λ) = A f(a)e da when β 1 (a)=1, ∀ a ∈ A. We shall however use this (weighted) transforms F R onlye at the identity element 0 ∈ F1 of the vectorb space F1 (i.e., f(0) =

e 10 1 A f(a)dη(a)= A f(a)βF (a)da), in the next Theorem and this, as could be seen below, may not be un-connected with the fact that R R

f{ϕλ}(e)= (Hx,λf)|x=e dµ(λ) 1 ZF is itself an evaluation at the identity element of G. 4.2 Theorem. Let dx = e2ρ(log a)dk da dn, where dk, da and dn are Haar measures on K, A, and N, respectively, with dk normalised. For every f ∈ Cc(G//K), let A(f) denote the Abel transform of f defined on A as ρ(log a) A(f)(a)= e N f(an)dn. Then

R ] 1 f{ϕλ}(e)= (Af)(0), λ ∈ F .

Proof. We only need to prove that

1 f{ϕλ}(e)= Af(a)βF1 (a)da, λ ∈ F . ZA

Indeed, using the Harish-Chandra parametrisation of ϕλ, we have

f{ϕλ}(e) = (f ∗ ϕλ)(e)dµ(λ) 1 ZF

= f(λ)dµ(λ) = f(x)ϕ−λ(x)dxdµ(λ) 1 1 ZF ZF ZG = b f(xk)e(λ−ρ)(H(xk))dxdkdµ(λ) 1 ZF ZG ZK = f(y)e(λ−ρ)(H(y))dydµ(λ) 1 ZF ZG = f(an)e(λ+ρ)(log a)dadndµ(λ) 1 ZF ZAN = (Af)(a)eλ(log a)dadµ(λ), 1 ZF ZA which implies our result, using Fubini’s theorem.  The last result shows the importance of f{ϕλ}(e) in the harmonic analysis of G and prepares the ground for the consideration of results of Paley-Wiener type. It will soon be clear that it is sufficient to take the measure µ as the

11 Borel measure on P in defining the map a 7→ βP (a). Our motivation in this direction is to consider the general map

λ 7→ Hx,λf, not only for the identity element x = e ∈ G, but for other values of G as well. This leads to the definition of f{ϕλ}(x), x ∈ G, as

f{ϕλ}(x)= Hx,λfdµ(λ), ZY p f ∈ Cc(G), ϕλ ∈ C (G), whenever the integral is absolutely convergent. We already have two candidates for the position of Y, namely F1 and P. Among other results, it would be important to evaluate the above measure, µ, on these candidates. In the mean time we study some of the properties of x 7→ f{ϕλ}(x). p 4.3 Theorem. Let f ∈ Cc(G//K), ϕλ ∈ C (G//K), 1 ≤ p ≤ 2, and Y = P. Then, as a function on P, λ 7→ Hx,λf is continuous with compact p support. Indeed, f{ϕλ} ∈ C (G//K). Moreover, we have that

f{ϕsλ} = f{ϕλ} = f{ϕsλ¯}, for every s ∈ w. Proof. The first assertion holds, since f ∈ Cc(G//K) and Cc(G//K) is p dense in C (G//K). The properties of ϕλ at the end of §2 imply the second assertion .  C We also have that f{ϕλ1 + cϕλ2 } = f{ϕλ1 } + cf{ϕλ2 }, c ∈ , suggesting p that the map f 7→ f{ϕλ} may be a calculus on C (G//K). Let us now consider the spherical convolution map

(x, λ) 7→ Hx,λf := (f ∗ ϕλ)(x) as the function x 7→ Hx,λf on G. Since it is measurable its spherical Fourier transforms may be computed as shown in the following result which gives how to generate positive-definite distributions on G and which will be found useful in the proof of its Plancherel formula given later in Theorem 4.7. 1 4.4 Theorem. Let f ∈ Cc(G//K), ϕλ ∈ C (G//K). Let µ be a spheri- cal Bochner measure corresponding to a positive-define distribution T on G. Then

12 \ ∗ (i.) (Hx,λf)(ν)= f(λ) · ϕλ(ν), x ∈ G, ν ∈ aC. \ (ii.) (H f)(ν)dµ(ν)= f(λ) · T [ϕ ]. P x,λ b c λ R # 1 Moreover, if T = T, the integralb in (ii.) holds for all ϕλ ∈ C (G). Proof. (i.) Employing the defining properties of a spherical function ∗ given in §2. we have, for every x ∈ G, ν ∈ aC, that \ (Hx,λf)(ν)=(f ∗ ϕλ)(e) · ϕλ(ν)= f(λ) · ϕλ(ν).

∞ c b c (ii.) Now fix ϕλ ∈ Cc (G//K), then \ (Hx,λf)(ν)dµ(ν) = f(λ) · ϕλ(ν)dµ(ν) ZP ZP = f(λb) · ϕcλ(ν)dµ(ν) ZP = fb(λ) · T [ϕcλ]. ∞ 1 We apply the denseness of Cc (G//K) in C (G//Kb ) to conclude the second 1 assertion. That (ii.) holds for all ϕλ ∈ C (G) follows from the second part of Theorem 3.2.  The extension Theorem 3.3 leads also to an extension of Theorem 4.4 given next. 4.5 Theorem (Extension Theorem). If supp(µ) ⊂ Fǫ, ǫ = (2/p) − 1 \ and 1 ≤ p ≤ 2, then P (Hx,λf)(ν)dµ(ν) is a constant multiple of T [ϕλ] for p every ϕλ ∈ C (G//K).  R \ The conclusion on P (Hx,λf)(ν)dµ(ν) in the last Theorem above may be generalized to the Schwartz algebra Cp(G) of all τ− spherical functions R τ on G where τ = (τ1, τ2) is a double representation of K. This would be so immediately the Trombi-Varadarajan theorem, Theorem 3.1, is established p for Cτ (G). The case p = 2 has been proved and is contained in [1.] for real- rank 1 Lie groups G, and in [2.] for any semisimple Lie group of any rank, while the case of general p remains an open problem. However the situation for general p and the group G = SL(2, R), or its conjugate SU(1, 1), is contained in [13.] from which other groups could be 2 R considered. Thus using the results of [4.] on Cτ (SL(2, )) we extend the 2 R assertions of Theorem 4.5 to all the members of Cτ (SL(2, )). This leads \ to an expansion of P (Hx,λf)(ν)dµ(ν) for ϕλ in the Schwartz algebras of R 13 all τ− spherical functions on G = SL(2, R). This expansion brings in the involvement of the well-known global characters of the (unitary) principal and discrete series of representations of G = SL(2, R) ([13.]). To establish this expansion formula we put the needed type of measures in place. A pair (µc,µd) is called a tempered Bochner measure pair whenever: (i.) µc is a non-negative Baire measure on R which is symmetric and of polynomial growth. That is, dµc(−λ)= dµc(λ), for all λ ∈ R and

r dµc(λ)/(1+ | λ | ) < ∞ R Z for some r ≥ 0. ′ (ii.) µd is a non-negative counting measure on Z = Z\0 which is of polynomial growth. That is,

r µd(l)/(1+ | l | ) < ∞ Z′ Xl∈ for some r ≥ 0. The following Theorem opens up the integral contained in Theorem 4.5 in the special case of G = SL(2, R) \ 2 R 4.6 Theorem (Expansion for P (Hx,λf)(ν)dµ(ν) on Cτ (SL(2, ))). ∞ 2 R Let f ∈ Cc (G), ϕλ ∈ Cτ (SL(2, )). Then, up to a non-zero constant, the \R positive-definite distribution P (Hx,λf)(ν)dµ(ν) is given as n \ R λ l (Hx,λf)(ν)dµ(ν)= f(λ)·limn→∞( Φ [ϕλ]dµc(λ)+Σ1≤|l|≤nΘ [ϕl]µd(l)), ZP Z−n where Φλ and Θl are theb global characters of the (unitary) principal and dis- crete series of representations of G = SL(2, R) and (µc,µd) is the tempered Bochner measure pair associated to a tempered invariant positive-definite dis- \ tribution on G. In particular, P (Hx,λf)(ν)dµ(ν) is a tempered invariant distribution on G. R Proof. For any tempered invariant positive-definite distribution T on G there corresponds a Bochner measure pair (µc,µd) such that n λ l T [f]= limn→∞( Φ [f]dµc(λ) + Σ1≤|l|≤nΘ [f]µd(l)). Z−n This is the main result of [4.] (listed there as Theorem 9.3), which when combined with our Theorem 4.5 gives the assertion. 

14 \ 4.1 Remark. The expansion given above for P (Hx,λf)(ν)dµ(ν) reveals the rich structure encoded in it. Indeed since the global characters above, in R terms of which it is expressed (in Theorem 4.6), have well-known transfor- mation under the action of the center, Z, of the universal enveloping algebra, U(gC), of the complexification gC of the Lie algebra g of G, a study of the \ functional and differential equations of P (Hx,λf)(ν)dµ(ν) is very possible and suggests a harmonic analysis involving both the discrete and (unitary) R principal series of, at least, G = SL(2, R). p For f ∈ Cc(G//K) and ϕλ ∈ C (G//K) as in Theorem 4.5, we may view the map λ 7→ f{ϕλ} as the evaluation of members of Cc(G//K) on members p of C (G//K). This means that λ 7→ f{ϕλ} is an operational calculus on the Schwartz algebras, Cp(G//K), whose spherical Fourier transform is a distribution on G. This suggests the use of the term ‘distributional calculus’ for f 7→ f{ϕλ}. A more detailed study of f{ϕλ} may therefore be conducted by considering the invariant eigendistributions on G, most especially the global characters of the irreducible admissible representations of G. We now consider the explicit form of the Plancherel formula for the mea- surable functions x 7→ Hx,λf on G. A dx on G is said to 2ρ(log a) be admissible if dx = e dkdadn (x = kan) where K dk = 1 and e−2ρH(n)dn = 1 where dn is a Haar measure on N := θ(N). Recall the N R Borel measure dµ(λ) from Theorem 4.4. The pair (dx,dµ(λ)) of Haar mea- R sures on the pair (G, F1) shall be de termed admissible if, every f in the Schwartz space, S(A), of A whose Fourier transform f, already known as

λ(log a) 1 f(λ)= f(a)e da, λ ∈ F b, ZA satisfies b f(a)= f(λ)e−λ(log a)dµ(λ), a ∈ A. 1 ZF 4.7 Theorem (Plancherelb formula for spherical convolutions). Let (dy,dµ(λ)) be an admissible pair of Haar measures on the pair (G, F1), x ∈ G and f ∈ C(G//K). If we define the measure dζx,λ as a normalization of the spherical Bochner measure dµ(λ) on F1 by the requirement that 1 dζx,λ(ν)= 2 dµ(λ), | ϕλ(ν) | then 2 \ 2 | f(y) | dy = |c(Hx,λf)(ν) | dζx,λ(ν). 1 ZG ZF 15 \ 1 In particular the map f 7→ (Hx,λf), for x ∈ G and λ ∈ F , extends uniquely 2 2 1 w to a unitary isomorphism of L (G//K) with L (F ,dζx,λ(ν)) . Proof. Since the spherical convolutions of f ∈ C(G//K) may be consid- ered as the functions x 7→ Hx,λf on G it follows that its spherical Fourier \ 1 transforms, ν 7→ (Hx,λf)(ν), is well-defined on F . Therefore

\ 2 2 2 | (Hx,λf)(ν) | dζx,λ(ν) = | f(λ) | ·| ϕλ(ν) | dζx,λ(ν) 1 1 ZF ZF (from Theorem 4.4(i.)) b c = | f(λ) |2 dµ(λ) 1 ZF (from definition of dζx,λ) b = | f(y) |2 dy ZG (by the Plancherel formula for f). 

The situation of Theorem 4.7 for x = e is well-known, while the inverse, −1 1 (Hx,λf) , for fixed f ∈ C(G//K), x ∈ G and λ ∈ F , is given as

−1 1 w (Hx,λf) (b)(y)= b(λ)ϕλ(y)dζx,λ(ν), b ∈ S(F ) ,y ∈ G 1 ZF and is commonly called the exact (normalized) wave packet. The explicit expression for the , dζx,λ(ν), of the spherical convolutions in terms of elementary functions of harmonic analysis is therefore given as

−1 −2 −2 dζx,λ(ν)=| w | | ϕλ(ν) | | c(λ) | dµ(λ), for x ∈ G, ν,λ ∈ F1, where the map λ 7→ c(λ) is the Harish-Chandra c c−function. The combination of Theorems 4.2 and 4.7 may be used to give the Paley-Wiener theorem for spherical Fourier transforms of spherical con- volutions. It is known ([11.], p. 298) that He,λf = f(λ) and that, in this case, the Plancherel measure, dζe,λ(ν), of the spherical convolution, Hx,λf, at x = e is b −1 −2 dζe,λ(ν)=| w | | c(λ) | dµ(λ).

A non-trivial problem is to find the relation between ν and λ for the Plancherel measure, dζx,λ(ν), of the spherical convolutions to reduce to the classical

16 Plancherel measure, | w |−1| c(λ) |−2 dµ(λ), on G. This is equivalent to seek- 1 ing those ν in terms of λ for which | ϕλ(ν) |=1, where ϕλ ∈ C (G//K). We plan to address this problem in another paper. The richness of our results, which mayc be ultimately seen in Theorem 4.7, derives from the fact that the spherical convolutions are functions on both G and F1. This fact allows us to switch its domains between G and F1, de- pending on its immediate use. In all these diverse instances of the harmonic analysis on G we still use the same defining functions for the spherical con- volutions. We have however taken advantage of some known results in the harmonic analysis on G (like the Harish-Chandra series expansion inherited by Hh,λf (in Corollary 4.1) and the classical Plancherel formula on G used in the proof of Theorem 4.7) in order to establish our results. Nevertheless our results could still be established from the scratch without recourse to the special case of He,λf = f(λ).

References. b

[1.] Arthur, J.G., Harmonic analysis of tempered distributions on semisimple Lie groups of real rank one, Ph.D. Dissertation, Yale University, 1970.

[2.] Arthur, J.G., Harmonic analysis of the Schwartz space of a reductive Lie group, I. II. (preprint, 1973).

[3.] Barker, W.H., The spherical Bochner theorem on semisimple Lie groups, J. Funct. Anal., vol. 20 (1975), pp. 179 − 207.

[4.] Barker, W.H., Tempered invariant, positive-definite distributions on SU(1, 1)/{±1}, Illinois J. Maths, vol. 28, no. 1, (1984), pp. 83 − 102.

[5.] Dixmier, J., Op´erateurs de rang fini dans les repr´esentations unitaires, Publ. math. de l’ Inst. Hautes Etudes´ Scient., tome 6 (1960), pp. 13 − 25.

[6.] Godement, R.A., A theory of spherical functions, I. Trans. Amer. Math. Soc., vol. 73 (1952), pp. 496 − 556.

[7.] Helgason, S., “Differential Geometry, Lie Groups and Symmetric Spaces,” Academic Press, New York, 1978.

17 [8.] Helgason, S., “Groups and Geometric Analysis; Integral Geometry, In- variant Differential Operators, and Spherical Functions,” Academic Press, New York, 1984.

[9.] Helgason, S. and Johnson, K., The bounded spherical functions on sym- metric spaces, Advances in Math, 3 (1969), pp. 586-593.

[10.] Kahane J.-P., Sur un th´eor`eme de Wiener-L´evy, C.R. Acad. Sc., Paris, t. 246, (1958), pp. 1949 − 1951.

[11.] Trombi, P.C. and Varadarajan, V.S., Spherical transforms on semisim- ple Lie groups, Ann. of Math., 94 (1971), pp. 246 − 303.

[12.] Varadarajan, V.S., The theory of characters and the discrete series for semisimple Lie groups, in Harmonic Analysis on Homogeneous Spaces, (C.C. Moore (ed.)) Proc. of Symposia in Pure Maths., vol. 26 (1973), pp. 45 − 99.

[13.] Varadarajan, V.S., “An introduction to harmonic analysis on semisim- ple Lie groups,” Cambridge University Press, Cambridge, 1989.

18