Bourbaki

Exercice 2, § 6

Étiquette 01FN, permanente. À citer comme [Bourbaki, Tag 01FN].

Groupes et algèbres de Lie, IX, p. 121

Bourbaki marks this one as harder than the rest.

Soit V un espace hilbertien réel de dimension finie sur R. On munit l’espace S(V∗)S(V^*) des polynômes sur V du produit scalaire défini en EVT, V, p. 30 (cf. exerc. 1). On note γ\gamma la mesure gaussienne canonique sur V (INT, IX, § 6, nos 4 à 6) ; si (xi)1≤i≤n(x_i)_{1 \leq i \leq n} est une base orthonormale de V∗V^*, on a donc dγ(x)=(2π)−n/2e−(x∣x)/2dx1...dxnd\gamma(x) = (2\pi)^{-n/2} e^{-(x|x)/2} dx_1 ... dx_n. a) Soit q l’élément de S2(V)S^2(V) qui définit le produit scalaire dans V∗V^*, et soit Δ:S(V∗)→S(V∗)\Delta : S(V^*) \to S(V^*) l’opérateur produit intérieur par q (A, III, p. 165). Montrer que pour toute base orthonormale (xi)1≤i≤n(x_i)_{1 \leq i \leq n} de V∗V^* et tout polynôme P∈S(V∗)P \in S(V^*), on a Δ(P)=12∑i=1n∂2P∂xi2\Delta(P) = \frac{1}{2} \sum_{i=1}^n \frac{\partial^2 P}{\partial x_i^2}. b) Pour P∈S(V∗)P \in S(V^*), on pose P∗=P∗γP^* = P * \gamma, de sorte qu’on a P∗(x)=∫VP(x−y)dγ(y)P^*(x) = \int_V P(x - y) d\gamma(y) pour x∈Vx \in V. Démontrer l’égalité P∗=∑n=1∞Δn(P)n!=eΔ(P)P^* = \sum_{n=1}^\infty \frac{\Delta^n(P)}{n!} = e^{\Delta}(P). (Se ramener à prouver la formule analogue pour la fonction x↦ei(x∣u)x \mapsto e^{i(x|u)}, pour u∈Vu \in V.)

c) Démontrer la formule ∫P∗(ix)‾Q∗(ix) dγ(x)=(P∣Q)\int \overline{P^*(ix)} Q^*(ix)\ d\gamma(x) = (P|Q) pour PP et QQ dans S(V∗)S(V^*) (identifié à un sous-espace de Sc((V⊗C)∗)S_c((V \otimes \mathbf{C})^*)).

d) Si PP est un polynôme homogène sur VV tel que Δ(P)=0\Delta(P) = 0, on a ∫VP(x)2dγ(x)=(P∣P)\int_V P(x)^2 d\gamma(x) = (P|P).

e) Soit WW un groupe fini d’automorphismes de VV, engendré par des réflexions ; notons HH l’ensemble des réflexions de WW. Pour h∈Hh \in H, soient eh∈Ve_h \in V et fh∈V∗f_h \in V^* tels que h(x)=x+fh(x) ehh(x) = x + f_h(x)\ e_h. Montrer que le polynôme P=∏h∈HfhP = \prod_{h \in H} f_h satisfait à Δ(P)=0\Delta(P) = 0 (utiliser VV, § 5, n° 4, prop. 5).

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

  • Integration, Chap. IX, §6, nos. 4 not in this corpus: INT IX
  • Topological Vector Spaces, Chap. V, §3, no. 3 not in this corpus: EVT V
  • Algebra, Chap. III, §11, no. 9
  • Exerc. 1
  • Chap. V, §5, no. 4, Prop. 5 not in this corpus
Transcrit du volume imprimé. Non traduit.