# Théorème de Plancherel pour les fonctions sphériques

Théorème de Plancherel pour les fonctions sphériques En mathématiques, 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).

Contenu 1 Histoire 2 Spherical functions 3 Spherical principal series 4 Exemple: SL(2, C) 5 Exemple: 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 Théorème de Paley-Wiener 11 Rosenberg's proof of inversion formula 12 Schwartz functions 13 Remarques 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(je) to describe the asymptotic behaviour of the spherical functions φλ and proposed c(je)−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 Cas. 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 {style d'affichage {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 {style d'affichage {mathfrak {UN}}} into C, c'est à dire. characters of {style d'affichage {mathfrak {UN}}} .

If S' denotes the commutant of a set of operators S on H, alors {style d'affichage {mathfrak {UN}}^{prime }} can be identified with the commutant of the regular representation of G on H. À présent {style d'affichage {mathfrak {UN}}} leaves invariant the subspace H0 of K-invariant vectors in H. En outre, 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 {style d'affichage {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 {style d'affichage {mathfrak {UN}}} (c'est à dire. the points of X) can be described by positive definite spherical functions φλ on G, via the formula {style d'affichage 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 {style d'affichage {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: {style d'affichage varphi _{lambda }(g)=int _{K}lambda ^{prime }(gk)^{-1},dk.} In this formula: the integral is with respect to Haar measure on K; λ is an element of A* =Hom(UN,J) 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 {style d'affichage f(Go)=Delta (b)^{1/2}lambda (b)F(g)} for b in B by {style d'affichage pi (g)F(X)=f(g^{-1}X),} où {style d'affichage |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 {style d'affichage {mathématique {S}}=gauche{volé|souper _{t}la gauche|(1+t ^{2})^{N}(I+Delta )^{M}F(t)sinh(t)droit|

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 {style d'affichage {mathfrak {H}}^{2}} et {style d'affichage M_{1}F(X,y,r)=r^{1/2}cdot f(X,r)} alors {style d'affichage Delta _{3}M_{1}f=M_{1}la gauche(Delta _{2}+{tfrac {3}{4}}droit)F,} where Δn is the Laplacian on {style d'affichage {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 {style d'affichage Delta _{3}M_{0}=M_{0}la gauche(Delta _{2}+{tfrac {3}{4}}droit).} The adjoint operator M1* defined by {style d'affichage M_{1}^{*}F(X,r)=r^{1/2}entier _{-infime }^{infime }F(X,y,r),mourir} satisfait {style d'affichage entier _{{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), satisfait {style d'affichage entier _{{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. Il s'ensuit que {style d'affichage M_{je}^{*}Delta _{3}=gauche(Delta _{2}+{tfrac {3}{4}}droit)M_{je}^{*}.} La fonction {style d'affichage f_{lambda }=M_{1}^{*}Phi _{lambda }} is SO(2)-invariant and satisfies {style d'affichage Delta _{2}F_{lambda }=gauche(lambda ^{2}+{tfrac {1}{4}}droit)F_{lambda }.} D'autre part, {style d'affichage b(lambda )=f_{lambda }(je)= entier {sin lambda t over lambda sinh t},dt={pi over lambda }tanh {pi lambda over 2},} since the integral can be computed by integrating {style d'affichage e^{ilambda t}/sinh t} around the rectangular indented contour with vertices at ±R and ±R + πi. Thus the eigenfunction {style d'affichage phi _{lambda }=b(lambda )^{-1}M_{1}Phi _{lambda }} satisfies the normalisation condition φλ(je) = 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] Il s'ensuit que {style d'affichage varphi _{lambda }(e ^{t}je)={frac {1}{2pi }}entier _{0}^{2pi }la gauche(cosh t-sinh tcos theta right)^{-1-ilambda },thêta .} Similarly it follows that {displaystyle Phi _{lambda }=M_{1}phi _{lambda }.} If the spherical transform of an SO(2)-invariant function on {style d'affichage {mathfrak {H}}^{2}} est défini par {style d'affichage {tilde {F}}(lambda )=int fvarphi _{-lambda },dA,} alors {style d'affichage {(M_{1}^{*}F)}^{sim }(lambda )={tilde {F}}(lambda ).} Taking f=M1*F, the SL(2, C) inversion formula for F immediately yields {style d'affichage f(X)=int _{-infime }^{infime }varphi _{lambda }(X){tilde {F}}(lambda ){lambda pi over 2}tanh left({pi lambda over 2}droit),dlambda ,} the spherical inversion formula for SO(2)-invariant functions on {style d'affichage {mathfrak {H}}^{2}} .

As for SL(2,C), this immediately implies the Plancherel formula for fi in Cc(SL(2,R) / SO(2)): {style d'affichage entier _{{mathfrak {H}}^{2}}F_{1}{surligner {F_{2}}},dA=int _{-infime }^{infime }{tilde {F}}_{1}{surligner {tilde {F_{2}}}}{lambda pi over 2}tanh left({pi lambda over 2}droit),dlambda .} The spherical function φλ is an eigenfunction of the Laplacian: {style d'affichage Delta _{2}varphi _{lambda }=gauche(lambda ^{2}+{tfrac {1}{4}}droit)varphi _{lambda }.} Schwartz functions on R are the spherical transforms of functions f belonging to the Harish-Chandra Schwartz space {style d'affichage {mathématique {S}}=gauche{volé|souper _{t}la gauche|(1+t ^{2})^{N}(I+Delta )^{M}F(t)varphi _{0}(t)droit|

Harish-Chandra's Plancherel theorem Let G be a noncompact connected real semisimple Lie group with finite center. Laisser {style d'affichage {mathfrak {g}}} denote its Lie algebra. Let K be a maximal compact subgroup given as the subgroup of fixed points of a Cartan involution σ. Laisser {style d'affichage {mathfrak {g}}_{pm }} be the ±1 eigenspaces of σ in {style d'affichage {mathfrak {g}}} , pour que {style d'affichage {mathfrak {k}}={mathfrak {g}}_{+}} is the Lie algebra of K and {style d'affichage {mathfrak {p}}={mathfrak {g}}_{-}} give the Cartan decomposition {style d'affichage {mathfrak {g}}={mathfrak {k}}+{mathfrak {p}},,,G=exp {mathfrak {p}}cdot K.} Laisser {style d'affichage {mathfrak {un}}} be a maximal Abelian subalgebra of {style d'affichage {mathfrak {p}}} and for α in {style d'affichage {mathfrak {un}}^{*}} laisser {style d'affichage {mathfrak {g}}_{alpha }={Xin {mathfrak {g}}:[H,X]=alpha (H)X,,(Hin {mathfrak {un}})}.} If α ≠ 0 et {style d'affichage {mathfrak {g}}_{alpha }neq (0)} , then α is called a restricted root and {style d'affichage m_{alpha }=dim {mathfrak {g}}_{alpha }} is called its multiplicity. Let A = exp {style d'affichage {mathfrak {un}}} , so that G = KAK.The restriction of the Killing form defines an inner product on {style d'affichage {mathfrak {p}}} et donc {style d'affichage {mathfrak {un}}} , which allows {style d'affichage {mathfrak {un}}^{*}} to be identified with {style d'affichage {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 {style d'affichage {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 {style d'affichage {mathfrak {un}}^{*}} , the spherical transform of f in Cc∞(K G / K) est défini par {style d'affichage {tilde {F}}(lambda )=int _{g}F(g)varphi _{-lambda }(g),dg.} The spherical inversion formula states that {style d'affichage f(g)=int _{{mathfrak {un}}_{+}^{*}}{tilde {F}}(lambda )varphi _{lambda }(g),|c(lambda )|^{-2},dlambda ,} where Harish-Chandra's c-function c(je) est défini par[33] {displaystyle c(lambda )=c_{0}cdot prod _{alpha in Sigma _{0}^{+}}{frac {2^{-je(lambda ,Alpha _{0})}Gamma (je(lambda ,Alpha _{0}))}{Gamma !la gauche({frac {1}{2}}la gauche[{frac {1}{2}}m_{alpha }+1+je(lambda ,Alpha _{0})droit]droit)Gamma !la gauche({frac {1}{2}}la gauche[{frac {1}{2}}m_{alpha }+m_{2alpha }+je(lambda ,Alpha _{0})droit]droit)}}} avec {style d'affichage alpha _{0}=(alpha ,alpha )^{-1}alpha } and the constant c0 chosen so that c(−iρ) = 1 où {displaystyle rho ={frac {1}{2}}somme _{alpha in Sigma ^{+}}m_{alpha }alpha .} The Plancherel theorem for spherical functions states that the map {style d'affichage 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 {style d'affichage {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, et donc {style d'affichage {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 {style d'affichage {mathfrak {un}}} , invariant under W, called the radial part of the Laplacian. In general if X is in {style d'affichage {mathfrak {un}}} , it defines a first order differential operator (or vector field) par {displaystyle Xf(y)=left.{frac {ré}{dt}}F(y+tX)droit|_{t=0}.} L can be expressed in terms of these operators by the formula[34] {displaystyle L=Delta _{mathfrak {un}}-somme _{alpha >0}m_{alpha },coth alpha ,UN_{alpha },} where Aα in {style d'affichage {mathfrak {un}}} est défini par {style d'affichage (UN_{alpha },X)=alpha (X)} et {style d'affichage Delta _{mathfrak {un}}=-sum X_{je}^{2}} is the Laplacian on {style d'affichage {mathfrak {un}}} , corresponding to any choice of orthonormal basis (Xi).

Ainsi {displaystyle L=L_{0}-somme _{alpha >0}m_{alpha },(coth alpha -1)UN_{alpha },} où {displaystyle L_{0}=Delta _{mathfrak {un}}-somme _{alpha >0}UN_{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: {displaystyle Delta varphi _{lambda }=gauche(la gauche|lambda droite|^{2}+la gauche|rho right|^{2}droit)varphi _{lambda }} and therefore of L, when viewed as a W-invariant function on {style d'affichage {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 {style d'affichage f_{lambda }=e^{ilambda -rho }somme _{mu in Lambda }un_{dans }(lambda )e ^{-dans },} 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μ(je). In particular they are uniquely determined and the series and its derivatives converges absolutely on {style d'affichage {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 {style d'affichage {mathfrak {un}}} .

It follows that φλ can be expressed in terms as a linear combination of fλ and its transforms under W:[35] {style d'affichage varphi _{lambda }=somme _{sin W}c(slambda )F_{slambda }.} Here c(je) is Harish-Chandra's c-function. It describes the asymptotic behaviour of φλ in {style d'affichage {mathfrak {un}}_{+}} , puisque[36] {style d'affichage varphi _{lambda }(e ^{t}X)sim c(lambda )e ^{(ilambda -rho )Xt}} for X in {style d'affichage {mathfrak {un}}_{+}} and t > 0 large.

Harish-Chandra obtained a second integral formula for φλ and hence c(je) 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 {style d'affichage {mathfrak {un}}_{+}} onto {style d'affichage -{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 {style d'affichage varphi _{lambda }(g)=int _{K/M}lambda '(gk)^{-1},dk.} can be transferred to σ(N):[38] {style d'affichage varphi _{lambda }(e ^{X})=e^{ilambda -rho }entier _{sigma (N)}{{surligner {lambda '(n)}} over lambda '(e ^{X}ne^{-X})},dn,} for X in {style d'affichage {mathfrak {un}}} .

Depuis {style d'affichage lim _{à l'infty }e ^{tX}ne^{-tX}=1} for X in {style d'affichage {mathfrak {un}}_{+}} , the asymptotic behaviour of φλ can be read off from this integral, leading to the formula:[39] {displaystyle c(lambda )=int _{sigma (N)}{surligner {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, discuté ci-dessus, 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(je) 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] De manière équivalente, since ξ0 is up to scalar multiplication the unique vector fixed by K, it is an eigenvector of the intertwining operator with eigenvalue cs(je). 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, toutefois, depends on a choice of a Weyl chamber in {style d'affichage {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, je) is defined on the induced representation by[41] {style d'affichage 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 {style d'affichage 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] {style d'affichage A(s_{1}s_{2},lambda )=A(s_{1},s_{2}lambda )UN(s_{2},lambda ),} chaque fois que {style d'affichage ell (s_{1}s_{2})=ell (s_{1})+aune (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 {style d'affichage {mathfrak {un}}_{+}^{*}} onto {style d'affichage -{mathfrak {un}}_{+}^{*}} . By Harish-Chandra's integral formula, it corresponds to Harish-Chandra's c-function: {displaystyle c(lambda )=c_{s_{0}}(lambda ).} The c-functions are in general defined by the equation {style d'affichage 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: {displaystyle c_{s_{1}s_{2}}(lambda )=c_{s_{1}}(s_{2}lambda )c_{s_{2}}(lambda )} fourni {style d'affichage ell (s_{1}s_{2})=ell (s_{1})+aune (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 {style d'affichage {mathfrak {g}}_{pm alpha }} where α lies in Σ0+.[43] Then Gα is a real semisimple Lie group with real rank one, c'est à dire. 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: {displaystyle c_{s_{alpha }}(lambda )=c_{0}{frac {2^{-je(lambda ,Alpha _{0})}Gamma (je(lambda ,Alpha _{0}))}{Gamma !la gauche({frac {1}{2}}la gauche({frac {1}{2}}m_{alpha }+1+je(lambda ,Alpha _{0})droit)droit)Gamma !la gauche({frac {1}{2}}la gauche({frac {1}{2}}m_{alpha }+m_{2alpha }+je(lambda ,Alpha _{0})droit)droit)}},} où {displaystyle c_{0}=2^{m_{alpha }/2+m_{2alpha }}Gamma !la gauche({tfrac {1}{2}}(m_{alpha }+m_{2alpha }+1)droit).} The general Gindikin–Karpelevich formula for c(je) is an immediate consequence of this formula and the multiplicative properties of cs(je).

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 {style d'affichage |{tilde {F}}(lambda )|leq C_{N}(1+|lambda |)^{-N}e ^{Rleft|nom de l'opérateur {Je suis} lambda droite|}.} 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) page. 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 {style d'affichage {mathfrak {un}}^{*}} ; the integral can be shifted to {style d'affichage {mathfrak {un}}^{*}+imu t} for μ in {style d'affichage {mathfrak {un}}_{+}^{*}} and t > 0. Using Harish-Chandra's expansion of φλ and the formulas for c(je) 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 {style d'affichage 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 {style d'affichage T(F)=Cf(o).} By applying this result to {style d'affichage f_{1}(g)=int _{K}F(x^{-1}kg),dk,} il s'ensuit que {displaystyle Cf=int _{{mathfrak {un}}_{+}^{*}}{tilde {F}}(lambda )varphi _{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 {style d'affichage {mathfrak {un}}} .[49][50] Schwartz functions The Harish-Chandra Schwartz space can be defined as[51] {style d'affichage {mathématique {S}}(Kbackslash G/K)=gauche{fin C^{infime }(G/K)^{K}:souper _{X}la gauche|(1+ré(X,o))^{m}(Delta +I)^{n}F(X)droit|

Si vous voulez connaître d'autres articles similaires à **Théorème de Plancherel pour les fonctions sphériques** vous pouvez visiter la catégorie **Théorie des représentations des groupes de Lie**.

Laisser un commentaire