Master theorem de Glasser

En calcul intégral, le Modèle:Lang de Glasser explique comment une certaine classe de substitutions peut simplifier certaines intégrales impropres sur tout l'intervalle réel. Il est applicable dans les cas où les intégrales doivent être interprétées comme des valeurs principales de Cauchy et a fortiori lorsque les intégrales convergent absolument. Il porte le nom de M. L. Glasser, qui l'a établi en 1983, bien qu'on retrouve une première étude de cette égalité par George Pólya et Gabor Szegö dès 1924, dans le cadre de l'étude de fonctions rationnelles qui préservent la mesure de Lebesgue.

Cas particulier : la transformation de Cauchy-Schlömilch

Un cas particulier appelé substitution de Cauchy-Schlömilch ou transformation de Cauchy-Schlömilch était connu de Cauchy au début du Modèle:S-. Il dit que si

$u=x-\frac{1}{x}$

alors

$\mathrm{PV}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}F(u)\mathrm{d}x=\mathrm{PV}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}F(x)\mathrm{d}x(\text{Note: }F(u)\mathrm{d}x,\text{ et non }F(u)\mathrm{d}u)$

où PV désigne la valeur principale de Cauchy.

Le théorème principal

Si $a$, $a_i$, et $b_i$ sont des nombres réels et

$u=x-a-\sum _{n=1}^N\frac{|a_n|}{x-b_n}$

alors

$\mathrm{PV}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}F(u)\mathrm{d}x=\mathrm{PV}\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}F(x)\mathrm{d}x.$

Exemples

• On a :

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{x^2\mathrm{d}x}{x^4+1}=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\mathrm{d}x}{{(x-\frac{1}{x})}^2+2}=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{\mathrm{d}x}{x^2+2}=\frac{\pi }{\sqrt{2}}.$

• La fonction caractéristique d'une distribution de Lévy est donnée par :

$\phi (t)=\underset{0}{\overset{+\mathrm{\infty }}{\int }}\sqrt{\frac{c}{2\pi }}\frac{1}{x^{3/2}}{\mathrm{e}}^{-\frac{c}{2x}}{\mathrm{e}}^{\mathrm{i}tx}\mathrm{d}x$

Or,

$\begin{array}{cc}\phi (\mathrm{i}t)& =\underset{0}{\overset{+\mathrm{\infty }}{\int }}\sqrt{\frac{c}{2\pi }}\frac{1}{x^{3/2}}\exp (-\frac{c}{2x}-tx)\mathrm{d}x\\ & =\sqrt{\frac{c}{2\pi }}\underset{0}{\overset{+\mathrm{\infty }}{\int }}\frac{1}{x^{3/2}}\exp (-\frac{c}{2x}-tx)\mathrm{d}x\\ & \stackrel{x=\frac{c}{2u^2}}{=}\frac{2}{\sqrt{\pi }}\underset{0}{\overset{+\mathrm{\infty }}{\int }}\exp (-u^2-\frac{ct}{2u^2})\mathrm{d}u\\ & =\frac{2}{\sqrt{\pi }}\times \frac{1}{2}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\exp [-{(u-\sqrt{\frac{ct}{2}}\frac{1}{u})}^2-\sqrt{2ct}]\mathrm{d}u\end{array}$

Le théorème principal de Glasser permet de conclure :

$\phi (\mathrm{i}t)=\frac{1}{\sqrt{\pi }}\exp (-\sqrt{2ct})\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\exp (-u^2)\mathrm{d}u=\frac{1}{\sqrt{\pi }}\exp (-\sqrt{2ct})\times \sqrt{\pi }=\exp (-\sqrt{2ct})$

Voir aussi

• Master theorem de Ramanujan

Liens externes

• Modèle:MathWorld.