Corollary
Tag 01H7, permanent. Cite it as [Bourbaki, Tag 01H7].
Lie Groups and Lie Algebras, chapter IX, § 8. Fourier transform
Let be a continuous central function on G. Then is infinitely-differentiable if and only if the restriction of to T is infinitely-differentiable.
Indeed, by Cor. 4 of §7, no. 4,
, where .
If is infinitely-differentiable, so is ; by Prop. 5, applied to the group T, the function on is then rapidly decreasing, and so is the function ; hence the function 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.