التمرين 1
Exercice 1 (Djelfa 2025) — Intégrale de Laplace-Dirichlet $F(x)=\int_0^\infty \frac{\sin(xt)}{t}e^{-t}dt$
On définit pour :
-
Montrer que est bien définie et de classe sur .
-
Calculer et en déduire une expression explicite de .
-
En déduire la valeur de l'intégrale de Dirichlet (par un passage à la limite approprié, à justifier).
Méthode classique de Feynman (dérivation sous le signe intégrale avec facteur de convergence ) pour calculer l'intégrale de Dirichlet, l'une des intégrales impropres les plus célèbres de l'analyse.
◀الحل
- Pour , (limite finie), donc l'intégrande est bornée près de . Pour , , intégrable. Donc bien définie pour tout .
Pour la dérivabilité : , dominée par indépendamment de , intégrable sur . Par le théorème de dérivation sous le signe intégrale, .
- . Calcul classique (partie réelle de ) :
Donc . Comme (intégrale nulle : ), . Donc .
- Considérons . On a . Pour relier à , on utiliserait plutôt la limite après changement de variable dans une version sans , mais ici avec le facteur fixe, on prend la limite quand le paramètre de convergence tend vers dans une version généralisée (par le même calcul avec à la place de ). En posant et : .
Par convergence dominée généralisée (Abel-Dirichlet, l'intégrale impropre étant convergente au sens impropre), on obtient