Bourbaki

Corollary

Tag 01H7, permanent. Cite it as [Bourbaki, Tag 01H7].

Lie Groups and Lie Algebras, chapter IX, § 8. Fourier transform

Let ff be a continuous central function on G. Then ff is infinitely-differentiable if and only if the restriction of ff to T is infinitely-differentiable.

Indeed, by Cor. 4 of §7, no. 4,

⟨χu∣f⟩=∫Gλ(u)(t)‾φ(t)dt\langle \chi_u|f\rangle =\int_G\overline{\lambda(u)(t)}\varphi (t)dt, where φ(t)=∏α>0(1−α(t)−1)f(t)\varphi (t) =\prod_{\alpha >0}(1-\alpha (t)^{-1})f(t).

If f∣Tf|T is infinitely-differentiable, so is φ\varphi; by Prop. 5, applied to the group T, the function μ→∫Tμ(t)‾φ(t)dt\mu \rightarrow \int_T\overline{\mu(t)}\varphi (t)dt on T^=X(T)\widehat{T} = X(T) is then rapidly decreasing, and so is the function u→⟨χu∣f⟩u \rightarrow \langle \chi_u|f\rangle; hence the function ff is infinitely-differentiable (Prop. 5). The converse is clear.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.