Proposition 2
Tag 01H0, permanent. Cite it as [Bourbaki, Tag 01H0].
Lie Groups and Lie Algebras, chapter IX, § 8. Fourier transform
Let be a norm on the -vector space and a Casimir element of G. Let be a function on with positive real values.
a) The following conditions are equivalent:
(i) There exists an integer such that (resp. for every integer , we have ).
(ii) There exists an integer such that (resp. for every integer , we have ).
b) If G is semi-simple, conditions (i) and (ii) are also equivalent to:
(iii) There exists an integer such that (resp. for every integer , we have ).
Note first of all that condition (i) is clearly independent of the choice of norm. Thus we can use the norm defined by the quadratic form associated to §7, no. 6, Prop. 4). Then
so , hence a).
Further, if G is semi-simple,
, where 2(dim dim T)
(§7, no. 5, Cor. 1 of Th. 3), so , hence b).
It follows from Prop. 2 that condition (i) is independent of the choice of maximal torus, chamber, and norm, and that condition (ii) is independent of the choice of Casimir element. A function satisfying conditions (i) and (ii) is said to be moderately increasing (resp. rapidly decreasing). The product of two moderately increasing functions is moderately increasing; the product of a moderately increasing function and a rapidly decreasing function is rapidly decreasing. If is rapidly decreasing, the family is summable.
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
Nothing.