Plancherel theorem for spherical functions
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).
Contenuti 1 Storia 2 Spherical functions 3 Spherical principal series 4 Esempio: SL(2, C) 5 Esempio: SL(2, R) 5.1 Hadamard's method of descent 5.2 Flensted–Jensen's method of descent 5.3 Abel's integral equation 6 Other special cases 6.1 Complex semisimple Lie groups 6.2 Real semisimple Lie groups 7 Harish-Chandra's Plancherel theorem 8 Harish-Chandra's spherical function expansion 9 Harish-Chandra's c-function 10 Paley–Wiener theorem 11 Rosenberg's proof of inversion formula 12 Schwartz functions 13 Appunti 14 References 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.[1] At around the same time, Harish-Chandra[2][3] and Gelfand & Naimark[4][5] 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[6][7] introduced his celebrated c-function c(l) to describe the asymptotic behaviour of the spherical functions φλ and proposed c(l)−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[8] for the c-function, reducing the computation to Harish-Chandra's formula for the rank 1 Astuccio. Their work finally enabled Harish-Chandra to complete his proof of the Plancherel theorem for spherical functions in 1966.[9] 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 Main article: Zonal spherical function 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 {stile di visualizzazione {mathfrak {UN}}} , so by the Gelfand isomorphism can be identified with the continuous functions vanishing at infinity on its spectrum X.[10] Points in the spectrum are given by continuous *-homomorphisms of {stile di visualizzazione {mathfrak {UN}}} into C, cioè. characters of {stile di visualizzazione {mathfrak {UN}}} .
If S' denotes the commutant of a set of operators S on H, poi {stile di visualizzazione {mathfrak {UN}}^{primo }} can be identified with the commutant of the regular representation of G on H. Adesso {stile di visualizzazione {mathfrak {UN}}} leaves invariant the subspace H0 of K-invariant vectors in H. Inoltre, the abelian von Neumann algebra it generates on H0 is maximal Abelian. By spectral theory, there is an essentially unique[11] measure μ on the locally compact space X and a unitary transformation U between H0 and L2(X, m) which carries the operators in {stile di visualizzazione {mathfrak {UN}}} 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(KG/K), the space of K-biinvariant square integrable functions on G.
The characters χλ of {stile di visualizzazione {mathfrak {UN}}} (cioè. the points of X) can be described by positive definite spherical functions φλ on G, via the formula {stile di visualizzazione chi _{lambda }(pi (f))=int _{G}f(g)cdot varphi _{lambda }(g),dg.} for f in Cc(KG/K), where π(f) denotes the convolution operator in {stile di visualizzazione {mathfrak {UN}}} and the integral is with respect to Haar measure on G.
The spherical functions φλ on G are given by Harish-Chandra's formula: {displaystyle varphi _{lambda }(g)=int _{K}lambda ^{primo }(gk)^{-1},dk.} In this formula: the integral is with respect to Haar measure on K; λ is an element of A* =Hom(UN,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 {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 {displaystyle W=N_{K}(UN)/C_{K}(UN),} 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 See also: Principal series representation The spherical function φλ can be identified with the matrix coefficient of the spherical principal series of G. If M is the centralizer 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 {stile di visualizzazione f(gb)=Delta (b)^{1/2}lambda (b)f(g)} for b in B by {stile di visualizzazione pi (g)f(X)=f(g^{-1}X),} dove {stile di visualizzazione |f|^{2}=int _{K}|f(K)|^{2},dk The spherical function Φλ is an eigenfunction of the Laplacian: {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 {stile di visualizzazione {matematico {S}}= sinistra{deviato|sup _{t}sinistra|(1+t^{2})^{N}(I+Delta )^{M}f(t)sinh(t)Giusto| 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[12] and the wave equation[13] on hyperbolic space; and Flensted-Jensen's method on the hyperboloid. Hadamard's method of descent If f(X,r) is a function on {stile di visualizzazione {mathfrak {H}}^{2}} e {stile di visualizzazione M_{1}f(X,y,r)=r^{1/2}cdot f(X,r)} poi {stile di visualizzazione Delta _{3}M_{1}f=M_{1}sinistra(Delta _{2}+{tfrac {3}{4}}Giusto)f,} where Δn is the Laplacian on {stile di visualizzazione {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 {stile di visualizzazione Delta _{3}M_{0}=M_{0}sinistra(Delta _{2}+{tfrac {3}{4}}Giusto).} The adjoint operator M1* defined by {stile di visualizzazione M_{1}^{*}F(X,r)=r^{1/2}int _{-infty }^{infty }F(X,y,r),dio} soddisfa {displaystyle int _{{mathfrak {H}}^{3}}(M_{1}f)cdot F,dV=int _{{mathfrak {H}}^{2}}fcdot (M_{1}^{*}F),dA.} The adjoint M0*, defined by averaging M*f over SO(2), soddisfa {displaystyle int _{{mathfrak {H}}^{3}}(M_{0}f)cdot F,dV=int _{{mathfrak {H}}^{2}}fcdot (M_{0}^{*}F),dA} for SU(2)-invariant functions F and SO(2)-invariant functions f. Ne consegue che {stile di visualizzazione M_{io}^{*}Delta _{3}= sinistra(Delta _{2}+{tfrac {3}{4}}Giusto)M_{io}^{*}.} La funzione {stile di visualizzazione f_{lambda }=M_{1}^{*}Phi _{lambda }} is SO(2)-invariant and satisfies {stile di visualizzazione Delta _{2}f_{lambda }= sinistra(lambda ^{2}+{tfrac {1}{4}}Giusto)f_{lambda }.} D'altro canto, {stile di visualizzazione b(lambda )=f_{lambda }(io)=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 {stile di visualizzazione e^{ilambda t}/sinh t} around the rectangular indented contour with vertices at ±R and ±R + πi. Thus the eigenfunction {stile di visualizzazione phi _{lambda }= b(lambda )^{-1}M_{1}Phi _{lambda }} satisfies the normalisation condition φλ(io) = 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.[14] Ne consegue che {displaystyle varphi _{lambda }(e^{t}io)={frac {1}{2pi }}int _{0}^{2pi }sinistra(cosh t-sinh tcos theta right)^{-1-ilambda },teta .} Similarly it follows that {stile di visualizzazione Phi _{lambda }=M_{1}fi _{lambda }.} If the spherical transform of an SO(2)-invariant function on {stile di visualizzazione {mathfrak {H}}^{2}} è definito da {stile di visualizzazione {tilde {f}}(lambda )=int fvarphi _{-lambda },dA,} poi {stile di visualizzazione {(M_{1}^{*}F)}^{sim }(lambda )={tilde {F}}(lambda ).} Taking f=M1*F, the SL(2, C) inversion formula for F immediately yields {stile di visualizzazione f(X)=int _{-infty }^{infty }varfi _{lambda }(X){tilde {f}}(lambda ){lambda pi over 2}tanh left({pi lambda over 2}Giusto),dlambda ,} the spherical inversion formula for SO(2)-invariant functions on {stile di visualizzazione {mathfrak {H}}^{2}} . As for SL(2,C), this immediately implies the Plancherel formula for fi in Cc(SL(2,R) / SO(2)): {displaystyle int _{{mathfrak {H}}^{2}}f_{1}{sopra {f_{2}}},dA=int _{-infty }^{infty }{tilde {f}}_{1}{sopra {tilde {f_{2}}}}{lambda pi over 2}tanh left({pi lambda over 2}Giusto),dlambda .} The spherical function φλ is an eigenfunction of the Laplacian: {stile di visualizzazione Delta _{2}varfi _{lambda }= sinistra(lambda ^{2}+{tfrac {1}{4}}Giusto)varfi _{lambda }.} Schwartz functions on R are the spherical transforms of functions f belonging to the Harish-Chandra Schwartz space {stile di visualizzazione {matematico {S}}= sinistra{deviato|sup _{t}sinistra|(1+t^{2})^{N}(I+Delta )^{M}f(t)varfi _{0}(t)Giusto| Harish-Chandra's Plancherel theorem Let G be a noncompact connected real semisimple Lie group with finite center. Permettere {stile di visualizzazione {mathfrak {g}}} denote its Lie algebra. Let K be a maximal compact subgroup given as the subgroup of fixed points of a Cartan involution σ. Permettere {stile di visualizzazione {mathfrak {g}}_{pm }} be the ±1 eigenspaces of σ in {stile di visualizzazione {mathfrak {g}}} , affinché {stile di visualizzazione {mathfrak {K}}={mathfrak {g}}_{+}} is the Lie algebra of K and {stile di visualizzazione {mathfrak {p}}={mathfrak {g}}_{-}} give the Cartan decomposition {stile di visualizzazione {mathfrak {g}}={mathfrak {K}}+{mathfrak {p}},,,G=exp {mathfrak {p}}cdot K.} Permettere {stile di visualizzazione {mathfrak {un}}} be a maximal Abelian subalgebra of {stile di visualizzazione {mathfrak {p}}} and for α in {stile di visualizzazione {mathfrak {un}}^{*}} permettere {stile di visualizzazione {mathfrak {g}}_{alfa }={Xin {mathfrak {g}}:[H,X]=alpha (H)X,,(Hin {mathfrak {un}})}.} If α ≠ 0 e {stile di visualizzazione {mathfrak {g}}_{alfa }neq (0)} , then α is called a restricted root and {stile di visualizzazione m_{alfa }=dim {mathfrak {g}}_{alfa }} is called its multiplicity. Let A = exp {stile di visualizzazione {mathfrak {un}}} , so that G = KAK.The restriction of the Killing form defines an inner product on {stile di visualizzazione {mathfrak {p}}} e quindi {stile di visualizzazione {mathfrak {un}}} , which allows {stile di visualizzazione {mathfrak {un}}^{*}} to be identified with {stile di visualizzazione {mathfrak {un}}} . With respect to this inner product, the restricted roots Σ give a root system. Its Weyl group can be identified with {displaystyle W=N_{K}(UN)/C_{K}(UN)} . A choice of positive roots defines a Weyl chamber {stile di visualizzazione {mathfrak {un}}_{+}^{*}} . The reduced root system Σ0 consists of roots α such that α/2 is not a root. Defining the spherical functions φ λ as above for λ in {stile di visualizzazione {mathfrak {un}}^{*}} , the spherical transform of f in Cc∞(K G / K) è definito da {stile di visualizzazione {tilde {f}}(lambda )=int _{G}f(g)varfi _{-lambda }(g),dg.} The spherical inversion formula states that {stile di visualizzazione f(g)=int _{{mathfrak {un}}_{+}^{*}}{tilde {f}}(lambda )varfi _{lambda }(g),|c(lambda )|^{-2},dlambda ,} where Harish-Chandra's c-function c(l) è definito da[33] {stile di visualizzazione c(lambda )=c_{0}cdot prod _{alpha in Sigma _{0}^{+}}{frac {2^{-io(lambda ,alfa _{0})}Gamma (io(lambda ,alfa _{0}))}{Gamma !sinistra({frac {1}{2}}sinistra[{frac {1}{2}}m_{alfa }+1+io(lambda ,alfa _{0})Giusto]Giusto)Gamma !sinistra({frac {1}{2}}sinistra[{frac {1}{2}}m_{alfa }+m_{2alfa }+io(lambda ,alfa _{0})Giusto]Giusto)}}} insieme a {displaystyle alfa _{0}=(alfa ,alfa )^{-1}alfa } and the constant c0 chosen so that c(−iρ) = 1 dove {displaystyle rho ={frac {1}{2}}somma _{alpha in Sigma ^{+}}m_{alfa }alfa .} The Plancherel theorem for spherical functions states that the map {stile di visualizzazione W.:fmapsto {tilde {f}},,,, L^{2}(Kbackslash G/K)rightarrow L^{2}({mathfrak {un}}_{+}^{*},|c(lambda )|^{-2},dlambda )} is unitary and transforms convolution by {displaystyle fin L^{1}(Kbackslash G/K)} into multiplication by {stile di visualizzazione {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, e quindi {stile di visualizzazione {mathfrak {un}}} , 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 {stile di visualizzazione {mathfrak {un}}} , invariant under W, called the radial part of the Laplacian. In general if X is in {stile di visualizzazione {mathfrak {un}}} , it defines a first order differential operator (or vector field) di {displaystyle Xf(y)=left.{frac {d}{dt}}f(y+tX)Giusto|_{t=0}.} L can be expressed in terms of these operators by the formula[34] {displaystyle L=Delta _{mathfrak {un}}-somma _{alpha >0}m_{alfa },coth alpha ,UN_{alfa },} where Aα in {stile di visualizzazione {mathfrak {un}}} è definito da {stile di visualizzazione (UN_{alfa },X)=alpha (X)} e {stile di visualizzazione Delta _{mathfrak {un}}=-sum X_{io}^{2}} is the Laplacian on {stile di visualizzazione {mathfrak {un}}} , corresponding to any choice of orthonormal basis (Xi). così {displaystyle L=L_{0}-somma _{alpha >0}m_{alfa },(coth alpha -1)UN_{alfa },} dove {stile di visualizzazione L_{0}=Delta _{mathfrak {un}}-somma _{alpha >0}UN_{alfa },} 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: {displaystyle Delta varphi _{lambda }= sinistra(sinistra|lambda a destra|^{2}+sinistra|rho right|^{2}Giusto)varfi _{lambda }} and therefore of L, when viewed as a W-invariant function on {stile di visualizzazione {mathfrak {un}}} . 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 {stile di visualizzazione f_{lambda }=e^{ilambda -rho }somma _{mu in Lambda }un_{in }(lambda )e^{-in },} with Λ the cone of all non-negative integer combinations of positive roots, and the transforms of fλ under W. The expansion {displaystyle coth x-1=2sum _{m>0}e^{-2mx},} leads to a recursive formula for the coefficients aμ(l). In particular they are uniquely determined and the series and its derivatives converges absolutely on {stile di visualizzazione {mathfrak {un}}_{+}} , 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 {stile di visualizzazione {mathfrak {un}}} . It follows that φλ can be expressed in terms as a linear combination of fλ and its transforms under W:[35] {displaystyle varphi _{lambda }=somma _{sin W}c(slambda )f_{slambda }.} Here c(l) is Harish-Chandra's c-function. It describes the asymptotic behaviour of φλ in {stile di visualizzazione {mathfrak {un}}_{+}} , da[36] {displaystyle varphi _{lambda }(e^{t}X)sim c(lambda )e^{(ilambda -rho )Xt}} for X in {stile di visualizzazione {mathfrak {un}}_{+}} and t > 0 large. Harish-Chandra obtained a second integral formula for φλ and hence c(l) using the Bruhat decomposition of G:[37] {displaystyle G=bigcup _{sin W}BsB,} where B = MAN and the union is disjoint. Taking the Coxeter element s0 of W, the unique element mapping {stile di visualizzazione {mathfrak {un}}_{+}} onto {stile di visualizzazione -{mathfrak {un}}_{+}} , 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 {displaystyle varphi _{lambda }(g)=int _{K/M}lambda '(gk)^{-1},dk.} can be transferred to σ(N):[38] {displaystyle varphi _{lambda }(e^{X})=e^{ilambda -rho }int _{sigma (N)}{{sopra {lambda '(n)}} over lambda '(e^{X}ne^{-X})},dn,} for X in {stile di visualizzazione {mathfrak {un}}} . Da {displaystyle lim _{tto infty }e^{tX}ne^{-tX}=1} for X in {stile di visualizzazione {mathfrak {un}}_{+}} , the asymptotic behaviour of φλ can be read off from this integral, leading to the formula:[39] {stile di visualizzazione c(lambda )=int _{sigma (N)}{sopra {lambda '(n)}},dn.} Harish-Chandra's c-function Main article: 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, discusso sopra, it was also soon understood to be intimately related to intertwining operators between induced representations, first studied in this context by Bruhat (1957). These operators exhibit the unitary equivalence between πλ and πsλ for s in the Weyl group and a c-function cs(l) 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).[40] Equivalentemente, since ξ0 is up to scalar multiplication the unique vector fixed by K, it is an eigenvector of the intertwining operator with eigenvalue cs(l). 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, però, depends on a choice of a Weyl chamber in {stile di visualizzazione {mathfrak {un}}^{*}} , 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, l) is defined on the induced representation by[41] {stile di visualizzazione 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 {stile di visualizzazione A(S,lambda )pi_{lambda }(g)=pi _{slambda }(g)UN(S,lambda ).} The key property of the intertwining operators and their integrals is the multiplicative cocycle property[42] {stile di visualizzazione A(S_{1}S_{2},lambda )= A(S_{1},S_{2}lambda )UN(S_{2},lambda ),} Ogni volta che {stile di visualizzazione 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 {stile di visualizzazione {mathfrak {un}}_{+}^{*}} onto {stile di visualizzazione -{mathfrak {un}}_{+}^{*}} . By Harish-Chandra's integral formula, it corresponds to Harish-Chandra's c-function: {stile di visualizzazione c(lambda )=c_{S_{0}}(lambda ).} The c-functions are in general defined by the equation {stile di visualizzazione 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: {stile di visualizzazione c_{S_{1}S_{2}}(lambda )=c_{S_{1}}(S_{2}lambda )c_{S_{2}}(lambda )} fornito {stile di visualizzazione 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 {stile di visualizzazione {mathfrak {g}}_{pm alpha }} where α lies in Σ0+.[43] Then Gα is a real semisimple Lie group with real rank one, cioè. 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;[6][44] by directly computing the integral, which can be expressed as an integral in two variables and hence a product of two beta functions.[45][46] This yields the following formula: {stile di visualizzazione c_{S_{alfa }}(lambda )=c_{0}{frac {2^{-io(lambda ,alfa _{0})}Gamma (io(lambda ,alfa _{0}))}{Gamma !sinistra({frac {1}{2}}sinistra({frac {1}{2}}m_{alfa }+1+io(lambda ,alfa _{0})Giusto)Giusto)Gamma !sinistra({frac {1}{2}}sinistra({frac {1}{2}}m_{alfa }+m_{2alfa }+io(lambda ,alfa _{0})Giusto)Giusto)}},} dove {stile di visualizzazione c_{0}=2^{m_{alfa }/2+m_{2alfa }}Gamma !sinistra({tfrac {1}{2}}(m_{alfa }+m_{2alfa }+1)Giusto).} The general Gindikin–Karpelevich formula for c(l) is an immediate consequence of this formula and the multiplicative properties of cs(l). 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 {stile di visualizzazione |{tilde {f}}(lambda )|leq C_{N}(1+|lambda |)^{-N}e^{Rleft|nome operatore {Io sono} lambda a destra|}.} 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) pag. 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.[47] 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 {stile di visualizzazione {mathfrak {un}}^{*}} ; the integral can be shifted to {stile di visualizzazione {mathfrak {un}}^{*}+imu t} for μ in {stile di visualizzazione {mathfrak {un}}_{+}^{*}} and t > 0. Using Harish-Chandra's expansion of φλ and the formulas for c(l) 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.[48] This part of the Paley-Wiener theorem shows that {stile di visualizzazione T(f)=int _{{mathfrak {un}}_{+}^{*}}{tilde {f}}(lambda )|c(lambda )|^{-2},dlambda } 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 {stile di visualizzazione T(f)=Cf(o).} By applying this result to {stile di visualizzazione f_{1}(g)=int _{K}f(x^{-1}kg),dk,} ne consegue che {displaystyle Cf=int _{{mathfrak {un}}_{+}^{*}}{tilde {f}}(lambda )varfi _{lambda }|c(lambda )|^{-2},dlambda .} A further scaling argument allows the inequality C = 1 to be deduced from the Plancherel theorem and Paley-Wiener theorem on {stile di visualizzazione {mathfrak {un}}} .[49][50] Schwartz functions The Harish-Chandra Schwartz space can be defined as[51] {stile di visualizzazione {matematico {S}}(Kbackslash G/K)= sinistra{fin C^{infty }(G/K)^{K}:sup _{X}sinistra|(1+d(X,o))^{m}(Delta +I)^{n}f(X)Giusto|
Se vuoi conoscere altri articoli simili a Plancherel theorem for spherical functions puoi visitare la categoria Representation theory of Lie groups.
lascia un commento