5
§1. Exemples de base: S2,H,R2.
Dans les examples ci-dessous, le mod`ele est: X=G/K; ∆ — un op´erateur
diff´erentiel (d’ordre 2) G-invariant, Laplacien, sur X; on cherche les fonctions
sph´eriques: fonctions propres de ∆ K-invariantes.
(a) R2et fonctions de Bessel
1.1. Consid´erons l’espace affine X=R2. Deux groupes agissent sur X:
le groupe de rotations K=SO(2) et le groupe de translations T∼
−→ R2; on
d´esigne par G=M(2) le sous-groupe de Aut(X) engendr´e par Ket T, c’est le
groupe d’automorphismes de Xqui respectent la longueur. On a
G=T⋉K
(produit semi-direct).
Le sous-groupe Kest le sous-groupe stabilisateur de x0= (0,0), et le quotient
G/K s’identifie `a X:
G/K ∼
−→ X, g 7→ g·x0
On a
K={a b
−b a, a2+b2= 1, a, b ∈R}
1.2. Laplacien. Consid´erons l’alg`ebre Ades op´erateurs diff´erentiels
∂=Xaij (x, y)∂i
x∂j
y
G-invariants. Puisqu’ils sont T-invariants, les fonctions aij sont constants. Donc
A=C[∂x, ∂y]K
L’exemple de base d’un op´erateur G-invatiant est l’op´erateur de Laplace
∆ = ∂2
x+∂2
y
(v´erifiez qu’il est G-invariant).
1.2.1. Exercice. Consid´erons l’anneau de polynˆomes B=C[u, v]. Kop`ere
sur Bpar
(fk)(u, v) = f(au +bv, −bu +av), k =a b
−b a.
Remarquez que cette action pr´eserve les composantes homog`enes.
Montrez que si f∈BK
n, alors si nest impaire, f= 0 et si n= 2malors
f=cLm, c ∈C, o`u L=u2+v2.