Bourbaki

Example 2

Tag 08FC, permanent. Cite it as [Bourbaki, Tag 08FC].

Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE

Consider the integral ∫0+∞tλ−1e−t dt\int_{0}^{+\infty} t^{\lambda-1} e^{-t} \, dt. Since e−t∼1e^{-t} \sim 1 on a neighbourhood of 0, one must have λ>0\lambda > 0 if this integral is to converge; this condition is also sufficient since on a neighbourhood of +∞+\infty one has e−t≪t−μe^{-t} \ll t^{-\mu} for any μ>0\mu > 0. When x>0x > 0 the integral is called the Eulerian integral of the second kind and is denoted by Γ(x)\Gamma(x) (cf. VII, p. 311).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.