Motivation§
En analyse classique, l’intégrale de Riemann est définie pour des fonctions bornées sur des segments [ a , b ] [a,b] [ a , b ] . Or, de nombreux problèmes exigent d’intégrer :
sur des intervalles non bornés : ∫ 1 + ∞ 1 x 2 , d x \displaystyle\int_1^{+\infty} \frac{1}{x^2},dx ∫ 1 + ∞ x 2 1 , d x
des fonctions non bornées au voisinage d’un point : ∫ 0 1 1 x , d x \displaystyle\int_0^1 \frac{1}{\sqrt{x}},dx ∫ 0 1 x 1 , d x
On parle alors d’intégrales généralisées (ou impropres). La question centrale est : l’intégrale a-t-elle un sens ? Autrement dit, converge-t-elle ?
1. Définitions fondamentales§
1.1 Intégrale sur un intervalle semi-ouvert [ a , + ∞ [ [a, +\infty[ [ a , + ∞ [ §
Soit f : [ a , + ∞ [ → R f : [a, +\infty[ \to \mathbb{R} f : [ a , + ∞ [ → R (ou C \mathbb{C} C ) continue par morceaux. On dit que l’intégrale ∫ a + ∞ f ( t ) , d t \displaystyle\int_a^{+\infty} f(t),dt ∫ a + ∞ f ( t ) , d t converge si la limite
lim x → + ∞ ∫ a x f ( t ) , d t \lim_{x \to +\infty} \int_a^x f(t),dt x → + ∞ lim ∫ a x f ( t ) , d t
existe et est finie. Dans ce cas, on note cette limite ∫ a + ∞ f ( t ) , d t \displaystyle\int_a^{+\infty} f(t),dt ∫ a + ∞ f ( t ) , d t .
Si la limite n’existe pas ou est infinie, on dit que l’intégrale diverge .
1.2 Intégrale au voisinage d’une singularité§
Soit f : , ] a , b ] → R f : ,]a, b] \to \mathbb{R} f : , ] a , b ] → R continue par morceaux, non définie (ou non bornée) en a a a . On dit que ∫ a b f ( t ) , d t \displaystyle\int_a^b f(t),dt ∫ a b f ( t ) , d t converge si
lim ε → 0 + ∫ a + ε b f ( t ) , d t \lim_{\varepsilon \to 0^+} \int_{a+\varepsilon}^{b} f(t),dt ε → 0 + lim ∫ a + ε b f ( t ) , d t
existe et est finie.
1.3 Cas de deux singularités§
Si f f f présente des problèmes aux deux bornes, on découpe :
∫ a b f ( t ) , d t = ∫ a c f ( t ) , d t + ∫ c b f ( t ) , d t \int_a^b f(t),dt = \int_a^c f(t),dt + \int_c^b f(t),dt ∫ a b f ( t ) , d t = ∫ a c f ( t ) , d t + ∫ c b f ( t ) , d t
pour un c ∈ , ] a , b [ c \in ,]a,b[ c ∈ , ] a , b [ quelconque. L’intégrale converge si et seulement si les deux intégrales convergent.
Le choix de c c c n’influence pas la convergence ni la valeur, mais il faut bien que les deux morceaux convergent. On ne peut pas compenser une divergence par l’autre.
2. Intégrales de référence§
2.1 Intégrales de Riemann§
Intégrales de Riemann en + ∞ +\infty + ∞
∫ 1 + ∞ d t t α converge ⟺ α > 1 \int_1^{+\infty} \frac{dt}{t^\alpha} \quad \text{converge} \iff \alpha > 1 ∫ 1 + ∞ t α d t converge ⟺ α > 1
Lorsque α > 1 \alpha > 1 α > 1 , on a ∫ 1 + ∞ d t t α = 1 α − 1 \displaystyle\int_1^{+\infty} \frac{dt}{t^\alpha} = \frac{1}{\alpha - 1} ∫ 1 + ∞ t α d t = α − 1 1 .
Preuve. Pour α ≠ 1 \alpha \neq 1 α = 1 :
∫ 1 x d t t α = [ t 1 − α 1 − α ] 1 x = x 1 − α − 1 1 − α \int_1^x \frac{dt}{t^\alpha} = \left[\frac{t^{1-\alpha}}{1-\alpha}\right]_1^x = \frac{x^{1-\alpha} - 1}{1-\alpha} ∫ 1 x t α d t = [ 1 − α t 1 − α ] 1 x = 1 − α x 1 − α − 1
Si α > 1 \alpha > 1 α > 1 : 1 − α < 0 1 - \alpha < 0 1 − α < 0 donc x 1 − α → 0 x^{1-\alpha} \to 0 x 1 − α → 0 quand x → + ∞ x \to +\infty x → + ∞ , et la limite vaut 1 α − 1 \dfrac{1}{\alpha - 1} α − 1 1 .
Si α < 1 \alpha < 1 α < 1 : x 1 − α → + ∞ x^{1-\alpha} \to +\infty x 1 − α → + ∞ , divergence.
Si α = 1 \alpha = 1 α = 1 : ∫ 1 x d t t = ln x → + ∞ \displaystyle\int_1^x \frac{dt}{t} = \ln x \to +\infty ∫ 1 x t d t = ln x → + ∞ , divergence. ■ \blacksquare ■
2.2 Intégrales de Riemann en 0 0 0 §
Intégrales de Riemann en 0 0 0
∫ 0 1 d t t α converge ⟺ α < 1 \int_0^1 \frac{dt}{t^\alpha} \quad \text{converge} \iff \alpha < 1 ∫ 0 1 t α d t converge ⟺ α < 1
2.3 Intégrale exponentielle§
∫ 0 + ∞ e − t , d t = 1 \int_0^{+\infty} e^{-t},dt = 1 ∫ 0 + ∞ e − t , d t = 1
Plus généralement, pour λ > 0 \lambda > 0 λ > 0 :
∫ 0 + ∞ e − λ t , d t = 1 λ \int_0^{+\infty} e^{-\lambda t},dt = \frac{1}{\lambda} ∫ 0 + ∞ e − λ t , d t = λ 1
2.4 Intégrale de Dirichlet§
Théorème (Intégrale de Dirichlet)
∫ 0 + ∞ sin t t , d t = π 2 \int_0^{+\infty} \frac{\sin t}{t},dt = \frac{\pi}{2} ∫ 0 + ∞ t sin t , d t = 2 π
Cette intégrale est semi-convergente : elle converge, mais pas absolument.
3. Critères de convergence§
3.1 Fonctions positives : comparaison§
Soient f , g : [ a , + ∞ [ → R f, g : [a, +\infty[ \to \mathbb{R} f , g : [ a , + ∞ [ → R continues par morceaux avec 0 ≤ f ( t ) ≤ g ( t ) 0 \leq f(t) \leq g(t) 0 ≤ f ( t ) ≤ g ( t ) pour tout t ≥ a t \geq a t ≥ a .
Si ∫ a + ∞ g ( t ) , d t \displaystyle\int_a^{+\infty} g(t),dt ∫ a + ∞ g ( t ) , d t converge, alors ∫ a + ∞ f ( t ) , d t \displaystyle\int_a^{+\infty} f(t),dt ∫ a + ∞ f ( t ) , d t converge.
Si ∫ a + ∞ f ( t ) , d t \displaystyle\int_a^{+\infty} f(t),dt ∫ a + ∞ f ( t ) , d t diverge, alors ∫ a + ∞ g ( t ) , d t \displaystyle\int_a^{+\infty} g(t),dt ∫ a + ∞ g ( t ) , d t diverge.
Pour les fonctions positives, plus la fonction est « petite », plus l’intégrale a de chances de converger.
3.2 Comparaison par équivalents§
Soient f , g : [ a , + ∞ [ → R + ∗ f, g : [a, +\infty[ \to \mathbb{R}_+^* f , g : [ a , + ∞ [ → R + ∗ continues par morceaux. Si f ( t ) ∼ t → + ∞ g ( t ) f(t) \sim_{t \to +\infty} g(t) f ( t ) ∼ t → + ∞ g ( t ) , alors :
∫ a + ∞ f ( t ) , d t converge ⟺ ∫ a + ∞ g ( t ) , d t converge \int_a^{+\infty} f(t),dt \text{ converge} \iff \int_a^{+\infty} g(t),dt \text{ converge} ∫ a + ∞ f ( t ) , d t converge ⟺ ∫ a + ∞ g ( t ) , d t converge
Étudier la nature de ∫ 1 + ∞ d t t 3 + t \displaystyle\int_1^{+\infty} \frac{dt}{\sqrt{t^3 + t}} ∫ 1 + ∞ t 3 + t d t .
Pour t → + ∞ t \to +\infty t → + ∞ : t 3 + t ∼ t 3 = t 3 / 2 \sqrt{t^3 + t} \sim \sqrt{t^3} = t^{3/2} t 3 + t ∼ t 3 = t 3/2 , donc 1 t 3 + t ∼ 1 t 3 / 2 \dfrac{1}{\sqrt{t^3+t}} \sim \dfrac{1}{t^{3/2}} t 3 + t 1 ∼ t 3/2 1 .
Or ∫ 1 + ∞ d t t 3 / 2 \displaystyle\int_1^{+\infty} \frac{dt}{t^{3/2}} ∫ 1 + ∞ t 3/2 d t converge (Riemann avec α = 3 / 2 > 1 \alpha = 3/2 > 1 α = 3/2 > 1 ).
Donc ∫ 1 + ∞ d t t 3 + t \displaystyle\int_1^{+\infty} \frac{dt}{\sqrt{t^3+t}} ∫ 1 + ∞ t 3 + t d t converge .
3.3 Convergence absolue§
On dit que ∫ a + ∞ f ( t ) , d t \displaystyle\int_a^{+\infty} f(t),dt ∫ a + ∞ f ( t ) , d t converge absolument si ∫ a + ∞ ∣ f ( t ) ∣ , d t \displaystyle\int_a^{+\infty} |f(t)|,dt ∫ a + ∞ ∣ f ( t ) ∣ , d t converge.
La convergence absolue entraîne la convergence.
Si ∫ a + ∞ ∣ f ( t ) ∣ , d t \displaystyle\int_a^{+\infty} |f(t)|,dt ∫ a + ∞ ∣ f ( t ) ∣ , d t converge, alors ∫ a + ∞ f ( t ) , d t \displaystyle\int_a^{+\infty} f(t),dt ∫ a + ∞ f ( t ) , d t converge et
∣ ∫ a + ∞ f ( t ) , d t ∣ ≤ ∫ a + ∞ ∣ f ( t ) ∣ , d t \left|\int_a^{+\infty} f(t),dt\right| \leq \int_a^{+\infty} |f(t)|,dt ∫ a + ∞ f ( t ) , d t ≤ ∫ a + ∞ ∣ f ( t ) ∣ , d t
Esquisse de preuve. On utilise le critère de Cauchy. Pour b ′ > b ≥ a b' > b \geq a b ′ > b ≥ a :
∣ ∫ b b ′ f ( t ) , d t ∣ ≤ ∫ b b ′ ∣ f ( t ) ∣ , d t \left|\int_b^{b'} f(t),dt\right| \leq \int_b^{b'} |f(t)|,dt ∫ b b ′ f ( t ) , d t ≤ ∫ b b ′ ∣ f ( t ) ∣ , d t
La convergence de l’intégrale de ∣ f ∣ |f| ∣ f ∣ assure que le membre de droite tend vers 0 0 0 , ce qui donne la condition de Cauchy pour f f f . ■ \blacksquare ■
L’intégrale ∫ 0 + ∞ sin t t , d t \displaystyle\int_0^{+\infty} \frac{\sin t}{t},dt ∫ 0 + ∞ t sin t , d t converge mais pas absolument . On parle d’intégrale semi-convergente .
3.4 Règle d’Abel§
Soient f f f de classe C 1 \mathcal{C}^1 C 1 décroissante tendant vers 0 0 0 en + ∞ +\infty + ∞ , et g g g continue par morceaux dont la primitive G ( x ) = ∫ a x g ( t ) , d t G(x) = \int_a^x g(t),dt G ( x ) = ∫ a x g ( t ) , d t est bornée . Alors ∫ a + ∞ f ( t ) , g ( t ) , d t \displaystyle\int_a^{+\infty} f(t),g(t),dt ∫ a + ∞ f ( t ) , g ( t ) , d t converge.
L’intégrale ∫ 1 + ∞ sin t t , d t \displaystyle\int_1^{+\infty} \frac{\sin t}{t},dt ∫ 1 + ∞ t sin t , d t converge par la règle d’Abel avec f ( t ) = 1 / t f(t) = 1/t f ( t ) = 1/ t et g ( t ) = sin t g(t) = \sin t g ( t ) = sin t (dont la primitive − cos t -\cos t − cos t est bornée).
4. Stratégie de détermination de la nature d’une intégrale§
flowchart TD
A["∫ f(t) dt : déterminer la nature"] --> B{"f ≥ 0 au voisinage\nde la borne problématique ?"}
B -- Oui --> C{"Chercher un équivalent\nf(t) ~ C/t^α"}
C -- "α > 1 (en +∞)\nou α < 1 (en 0)" --> D["CONVERGE"]
C -- "α ≤ 1 (en +∞)\nou α ≥ 1 (en 0)" --> E["DIVERGE"]
C -- "Pas d'équivalent simple" --> F["Comparaison directe\n0 ≤ f ≤ g ou f ≥ g ≥ 0"]
F --> D
F --> E
B -- Non --> G{"Convergence absolue ?\nÉtudier ∫|f(t)|dt"}
G -- "∫|f| converge" --> H["CONVERGE\n(absolument)"]
G -- "∫|f| diverge" --> I{"Règle d'Abel ?\nf = u·v avec u→0\net primitive de v bornée"}
I -- Oui --> J["CONVERGE\n(semi-convergente)"]
I -- "Non / pas applicable" --> K["Calcul direct\nou autre méthode"]
5. Calcul pratique§
5.1 Intégration par parties§
Théorème (IPP pour les intégrales généralisées) Si u u u et v v v sont de classe C 1 \mathcal{C}^1 C 1 sur [ a , + ∞ [ [a, +\infty[ [ a , + ∞ [ et si [ u v ] a + ∞ [uv]_a^{+\infty} [ uv ] a + ∞ (i.e., lim x → + ∞ u ( x ) v ( x ) − u ( a ) v ( a ) \lim_{x \to +\infty} u(x)v(x) - u(a)v(a) lim x → + ∞ u ( x ) v ( x ) − u ( a ) v ( a ) ) existe, alors :
∫ a + ∞ u ′ v , d t converge ⟺ ∫ a + ∞ u v ′ , d t converge \int_a^{+\infty} u'v,dt \text{ converge} \iff \int_a^{+\infty} uv',dt \text{ converge} ∫ a + ∞ u ′ v , d t converge ⟺ ∫ a + ∞ u v ′ , d t converge
et dans ce cas ∫ a + ∞ u ′ v , d t = [ u v ] a + ∞ − ∫ a + ∞ u v ′ , d t \displaystyle\int_a^{+\infty} u'v,dt = [uv]_a^{+\infty} - \int_a^{+\infty} uv',dt ∫ a + ∞ u ′ v , d t = [ uv ] a + ∞ − ∫ a + ∞ u v ′ , d t .
Calculer I = ∫ 0 + ∞ t , e − t , d t I = \displaystyle\int_0^{+\infty} t,e^{-t},dt I = ∫ 0 + ∞ t , e − t , d t .
IPP avec u = t u = t u = t , v ′ = e − t v' = e^{-t} v ′ = e − t , donc u ′ = 1 u' = 1 u ′ = 1 , v = − e − t v = -e^{-t} v = − e − t :
I = [ − t e − t ] 0 + ∞ + ∫ 0 + ∞ e − t , d t = 0 + 1 = 1 I = \left[-te^{-t}\right]_0^{+\infty} + \int_0^{+\infty} e^{-t},dt = 0 + 1 = 1 I = [ − t e − t ] 0 + ∞ + ∫ 0 + ∞ e − t , d t = 0 + 1 = 1
5.2 Changement de variable§
Soit φ : [ α , β [ → [ a , b [ \varphi : [\alpha, \beta[ \to [a, b[ φ : [ α , β [ → [ a , b [ un C 1 \mathcal{C}^1 C 1 -difféomorphisme. Alors :
∫ a b f ( t ) , d t = ∫ α β f ( φ ( u ) ) , φ ′ ( u ) , d u \int_a^{b} f(t),dt = \int_\alpha^{\beta} f(\varphi(u)),\varphi'(u),du ∫ a b f ( t ) , d t = ∫ α β f ( φ ( u )) , φ ′ ( u ) , d u
(les deux intégrales ont même nature).
Calculer ∫ 0 + ∞ e − t 2 , d t \displaystyle\int_0^{+\infty} e^{-t^2},dt ∫ 0 + ∞ e − t 2 , d t (intégrale de Gauss) : on admet que sa valeur est π 2 \dfrac{\sqrt{\pi}}{2} 2 π .
Changement utile : t = u t = \sqrt{u} t = u , d t = d u 2 u dt = \dfrac{du}{2\sqrt{u}} d t = 2 u d u , transforme ∫ 0 + ∞ e − t 2 , d t \displaystyle\int_0^{+\infty} e^{-t^2},dt ∫ 0 + ∞ e − t 2 , d t en 1 2 ∫ 0 + ∞ e − u u , d u = 1 2 , Γ ! ( 1 2 ) \displaystyle\frac{1}{2}\int_0^{+\infty} \frac{e^{-u}}{\sqrt{u}},du = \frac{1}{2},\Gamma!\left(\frac{1}{2}\right) 2 1 ∫ 0 + ∞ u e − u , d u = 2 1 , Γ ! ( 2 1 ) .
6. Fonctions définies par des intégrales à paramètre§
6.1 Continuité sous le signe intégral§
Théorème (Continuité sous ∫ \int ∫ ) Soit f : I × [ a , + ∞ [ → R f : I \times [a, +\infty[ \to \mathbb{R} f : I × [ a , + ∞ [ → R où I I I est un intervalle de R \mathbb{R} R . On pose F ( x ) = ∫ a + ∞ f ( x , t ) , d t F(x) = \displaystyle\int_a^{+\infty} f(x, t),dt F ( x ) = ∫ a + ∞ f ( x , t ) , d t . Si :
Pour tout x ∈ I x \in I x ∈ I , t ↦ f ( x , t ) t \mapsto f(x,t) t ↦ f ( x , t ) est continue par morceaux et l’intégrale converge,
Pour tout t t t , x ↦ f ( x , t ) x \mapsto f(x,t) x ↦ f ( x , t ) est continue sur I I I ,
Hypothèse de domination : il existe φ : [ a , + ∞ [ → R + \varphi : [a, +\infty[ \to \mathbb{R}_+ φ : [ a , + ∞ [ → R + telle que ∫ a + ∞ φ ( t ) , d t \displaystyle\int_a^{+\infty} \varphi(t),dt ∫ a + ∞ φ ( t ) , d t converge et ∣ f ( x , t ) ∣ ≤ φ ( t ) |f(x,t)| \leq \varphi(t) ∣ f ( x , t ) ∣ ≤ φ ( t ) pour tous x ∈ I x \in I x ∈ I , t ≥ a t \geq a t ≥ a ,
alors F F F est continue sur I I I .
6.2 Dérivation sous le signe intégral§
Sous des hypothèses analogues (avec domination de ∂ f ∂ x \dfrac{\partial f}{\partial x} ∂ x ∂ f ) :
Pour tout x ∈ I x \in I x ∈ I , t ↦ f ( x , t ) t \mapsto f(x,t) t ↦ f ( x , t ) est continue par morceaux et l’intégrale converge,
f f f admet une dérivée partielle ∂ f ∂ x ( x , t ) \dfrac{\partial f}{\partial x}(x,t) ∂ x ∂ f ( x , t ) continue,
Il existe ψ ≥ 0 \psi \geq 0 ψ ≥ 0 intégrable telle que ∣ ∂ f ∂ x ( x , t ) ∣ ≤ ψ ( t ) \left|\dfrac{\partial f}{\partial x}(x,t)\right| \leq \psi(t) ∂ x ∂ f ( x , t ) ≤ ψ ( t ) ,
alors F F F est de classe C 1 \mathcal{C}^1 C 1 sur I I I et :
F ′ ( x ) = ∫ a + ∞ ∂ f ∂ x ( x , t ) , d t F'(x) = \int_a^{+\infty} \frac{\partial f}{\partial x}(x, t),dt F ′ ( x ) = ∫ a + ∞ ∂ x ∂ f ( x , t ) , d t
On dérive sous le signe intégral , puis on vérifie a posteriori l’hypothèse de domination.
7. La fonction Gamma§
Pour s > 0 s > 0 s > 0 (ou Re ( s ) > 0 \operatorname{Re}(s) > 0 Re ( s ) > 0 ), on définit la fonction Gamma :
Γ ( s ) = ∫ 0 + ∞ t s − 1 , e − t , d t \Gamma(s) = \int_0^{+\infty} t^{s-1},e^{-t},dt Γ ( s ) = ∫ 0 + ∞ t s − 1 , e − t , d t
7.1 Convergence§
L’intégrande f ( t ) = t s − 1 e − t f(t) = t^{s-1}e^{-t} f ( t ) = t s − 1 e − t pose problème :
En 0 + 0^+ 0 + : f ( t ) ∼ t s − 1 f(t) \sim t^{s-1} f ( t ) ∼ t s − 1 , donc l’intégrale converge en 0 0 0 ssi s − 1 > − 1 s - 1 > -1 s − 1 > − 1 , i.e., s > 0 s > 0 s > 0 .
En + ∞ +\infty + ∞ : e − t e^{-t} e − t l’emporte sur toute puissance, donc convergence pour tout s s s .
Bilan : Γ ( s ) \Gamma(s) Γ ( s ) est définie et convergente pour s > 0 s > 0 s > 0 .
7.2 Propriétés fondamentales§
Γ ( s + 1 ) = s , Γ ( s ) pour tout s > 0 \Gamma(s+1) = s,\Gamma(s) \quad \text{pour tout } s > 0 Γ ( s + 1 ) = s , Γ ( s ) pour tout s > 0
Preuve. IPP avec u = t s u = t^s u = t s , v ′ = e − t v' = e^{-t} v ′ = e − t :
Γ ( s + 1 ) = ∫ 0 + ∞ t s e − t , d t = [ − t s e − t ] 0 + ∞ + s ∫ 0 + ∞ t s − 1 e − t , d t = s , Γ ( s ) ■ \Gamma(s+1) = \int_0^{+\infty} t^s e^{-t},dt = \left[-t^s e^{-t}\right]_0^{+\infty} + s\int_0^{+\infty} t^{s-1} e^{-t},dt = s,\Gamma(s) \quad \blacksquare Γ ( s + 1 ) = ∫ 0 + ∞ t s e − t , d t = [ − t s e − t ] 0 + ∞ + s ∫ 0 + ∞ t s − 1 e − t , d t = s , Γ ( s ) ■
Γ ( 1 ) = 1 \Gamma(1) = 1 Γ ( 1 ) = 1
Γ ( n + 1 ) = n ! \Gamma(n+1) = n! Γ ( n + 1 ) = n ! pour tout n ∈ N n \in \mathbb{N} n ∈ N (la fonction Gamma prolonge la factorielle)
Γ ! ( 1 2 ) = π \Gamma!\left(\dfrac{1}{2}\right) = \sqrt{\pi} Γ ! ( 2 1 ) = π
7.3 Régularité§
Par application itérée du théorème de dérivation sous le signe intégral, Γ \Gamma Γ est de classe C ∞ \mathcal{C}^\infty C ∞ sur ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ et :
Γ ( k ) ( s ) = ∫ 0 + ∞ ( ln t ) k , t s − 1 , e − t , d t \Gamma^{(k)}(s) = \int_0^{+\infty} (\ln t)^k,t^{s-1},e^{-t},dt Γ ( k ) ( s ) = ∫ 0 + ∞ ( ln t ) k , t s − 1 , e − t , d t
8. Exercices types corrigés§
Exercice 1 : Nature d’une intégrale (fonctions positives)§
Déterminer la nature de I = ∫ 2 + ∞ d t t , ln 2 t \displaystyle I = \int_2^{+\infty} \frac{dt}{t,\ln^2 t} I = ∫ 2 + ∞ t , ln 2 t d t .
Solution.
La fonction f ( t ) = 1 t , ln 2 t f(t) = \dfrac{1}{t,\ln^2 t} f ( t ) = t , ln 2 t 1 est positive et continue sur [ 2 , + ∞ [ [2, +\infty[ [ 2 , + ∞ [ .
On calcule directement une primitive. Posons u = ln t u = \ln t u = ln t , d u = d t / t du = dt/t d u = d t / t :
∫ 2 x d t t , ln 2 t = ∫ ln 2 ln x d u u 2 = [ − 1 u ] ln 2 ln x = 1 ln 2 − 1 ln x \int_2^x \frac{dt}{t,\ln^2 t} = \int_{\ln 2}^{\ln x} \frac{du}{u^2} = \left[-\frac{1}{u}\right]_{\ln 2}^{\ln x} = \frac{1}{\ln 2} - \frac{1}{\ln x} ∫ 2 x t , ln 2 t d t = ∫ l n 2 l n x u 2 d u = [ − u 1 ] l n 2 l n x = ln 2 1 − ln x 1
Quand x → + ∞ x \to +\infty x → + ∞ : 1 ln x → 0 \dfrac{1}{\ln x} \to 0 ln x 1 → 0 , donc I = 1 ln 2 I = \dfrac{1}{\ln 2} I = ln 2 1 . L’intégrale converge .
Exercice 2 : Convergence absolue vs semi-convergence§
Montrer que ∫ 1 + ∞ sin t t , d t \displaystyle\int_1^{+\infty} \frac{\sin t}{t},dt ∫ 1 + ∞ t sin t , d t converge mais pas absolument.
Solution.
Convergence : IPP avec u ( t ) = 1 / t u(t) = 1/t u ( t ) = 1/ t , v ′ ( t ) = sin t v'(t) = \sin t v ′ ( t ) = sin t , donc u ′ ( t ) = − 1 / t 2 u'(t) = -1/t^2 u ′ ( t ) = − 1/ t 2 , v ( t ) = − cos t v(t) = -\cos t v ( t ) = − cos t :
∫ 1 x sin t t , d t = [ − cos t t ] 1 x − ∫ 1 x cos t t 2 , d t \int_1^x \frac{\sin t}{t},dt = \left[-\frac{\cos t}{t}\right]_1^x - \int_1^x \frac{\cos t}{t^2},dt ∫ 1 x t sin t , d t = [ − t cos t ] 1 x − ∫ 1 x t 2 cos t , d t
[ − cos t / t ] 1 x = − cos x / x + cos 1 → cos 1 \left[-\cos t / t\right]_1^x = -\cos x / x + \cos 1 \to \cos 1 [ − cos t / t ] 1 x = − cos x / x + cos 1 → cos 1 quand x → + ∞ x \to +\infty x → + ∞ .
∣ cos t / t 2 ∣ ≤ 1 / t 2 |\cos t / t^2| \leq 1/t^2 ∣ cos t / t 2 ∣ ≤ 1/ t 2 et ∫ 1 + ∞ d t / t 2 \int_1^{+\infty} dt/t^2 ∫ 1 + ∞ d t / t 2 converge, donc ∫ 1 + ∞ cos t / t 2 , d t \int_1^{+\infty} \cos t / t^2,dt ∫ 1 + ∞ cos t / t 2 , d t converge absolument.
Donc ∫ 1 + ∞ sin t / t , d t \int_1^{+\infty} \sin t / t,dt ∫ 1 + ∞ sin t / t , d t converge.
Non convergence absolue : On minore sur chaque intervalle [ k π , ( k + 1 ) π ] [k\pi, (k+1)\pi] [ k π , ( k + 1 ) π ] :
∫ k π ( k + 1 ) π ∣ sin t ∣ t , d t ≥ 1 ( k + 1 ) π ∫ k π ( k + 1 ) π ∣ sin t ∣ , d t = 2 ( k + 1 ) π \int_{k\pi}^{(k+1)\pi} \frac{|\sin t|}{t},dt \geq \frac{1}{(k+1)\pi}\int_{k\pi}^{(k+1)\pi} |\sin t|,dt = \frac{2}{(k+1)\pi} ∫ k π ( k + 1 ) π t ∣ sin t ∣ , d t ≥ ( k + 1 ) π 1 ∫ k π ( k + 1 ) π ∣ sin t ∣ , d t = ( k + 1 ) π 2
Or ∑ k ≥ 1 2 ( k + 1 ) π \displaystyle\sum_{k \geq 1} \frac{2}{(k+1)\pi} k ≥ 1 ∑ ( k + 1 ) π 2 diverge (série harmonique), donc ∫ 1 + ∞ ∣ sin t ∣ t , d t \displaystyle\int_1^{+\infty} \frac{|\sin t|}{t},dt ∫ 1 + ∞ t ∣ sin t ∣ , d t diverge.
Exercice 3 : Dérivation sous le signe intégral§
Soit F ( x ) = ∫ 0 + ∞ e − x t , sin t t , d t F(x) = \displaystyle\int_0^{+\infty} e^{-xt},\frac{\sin t}{t},dt F ( x ) = ∫ 0 + ∞ e − x t , t sin t , d t pour x > 0 x > 0 x > 0 . Calculer F ′ ( x ) F'(x) F ′ ( x ) et en déduire F ( x ) F(x) F ( x ) .
Solution.
On dérive sous le signe intégral (hypothèse de domination vérifiable pour x ≥ x 0 > 0 x \geq x_0 > 0 x ≥ x 0 > 0 ) :
F ′ ( x ) = − ∫ 0 + ∞ e − x t , sin t , d t F'(x) = -\int_0^{+\infty} e^{-xt},\sin t,dt F ′ ( x ) = − ∫ 0 + ∞ e − x t , sin t , d t
On calcule cette intégrale par double IPP (ou par partie imaginaire de ∫ 0 + ∞ e − ( x − i ) t , d t \int_0^{+\infty} e^{-(x-i)t},dt ∫ 0 + ∞ e − ( x − i ) t , d t ) :
∫ 0 + ∞ e − x t sin t , d t = 1 x 2 + 1 \int_0^{+\infty} e^{-xt}\sin t,dt = \frac{1}{x^2 + 1} ∫ 0 + ∞ e − x t sin t , d t = x 2 + 1 1
Donc F ′ ( x ) = − 1 x 2 + 1 F'(x) = -\dfrac{1}{x^2 + 1} F ′ ( x ) = − x 2 + 1 1 , ce qui donne F ( x ) = − arctan ( x ) + C F(x) = -\arctan(x) + C F ( x ) = − arctan ( x ) + C .
Quand x → + ∞ x \to +\infty x → + ∞ , par convergence dominée F ( x ) → 0 F(x) \to 0 F ( x ) → 0 , donc C = π / 2 C = \pi/2 C = π /2 .
F ( x ) = π 2 − arctan ( x ) \boxed{F(x) = \frac{\pi}{2} - \arctan(x)} F ( x ) = 2 π − arctan ( x )
En particulier, F ( 0 + ) = π / 2 F(0^+) = \pi/2 F ( 0 + ) = π /2 , ce qui redonne ∫ 0 + ∞ sin t t , d t = π 2 \displaystyle\int_0^{+\infty} \frac{\sin t}{t},dt = \frac{\pi}{2} ∫ 0 + ∞ t sin t , d t = 2 π .
Exercice 4 : Fonction Gamma§
Montrer que Γ ( 1 / 2 ) = π \Gamma(1/2) = \sqrt{\pi} Γ ( 1/2 ) = π .
Solution.
Γ ! ( 1 2 ) = ∫ 0 + ∞ t − 1 / 2 , e − t , d t \Gamma!\left(\frac{1}{2}\right) = \int_0^{+\infty} t^{-1/2},e^{-t},dt Γ ! ( 2 1 ) = ∫ 0 + ∞ t − 1/2 , e − t , d t
Changement de variable t = u 2 t = u^2 t = u 2 , d t = 2 u , d u dt = 2u,du d t = 2 u , d u :
Γ ! ( 1 2 ) = ∫ 0 + ∞ 1 u , e − u 2 , 2 u , d u = 2 ∫ 0 + ∞ e − u 2 , d u = 2 ⋅ π 2 = π \Gamma!\left(\frac{1}{2}\right) = \int_0^{+\infty} \frac{1}{u},e^{-u^2},2u,du = 2\int_0^{+\infty} e^{-u^2},du = 2 \cdot \frac{\sqrt{\pi}}{2} = \sqrt{\pi} Γ ! ( 2 1 ) = ∫ 0 + ∞ u 1 , e − u 2 , 2 u , d u = 2 ∫ 0 + ∞ e − u 2 , d u = 2 ⋅ 2 π = π
en utilisant l’intégrale de Gauss ∫ 0 + ∞ e − u 2 , d u = π 2 \displaystyle\int_0^{+\infty} e^{-u^2},du = \frac{\sqrt{\pi}}{2} ∫ 0 + ∞ e − u 2 , d u = 2 π . ■ \blacksquare ■
Exercice 5 : Intégrale avec singularité en 0 0 0 §
Nature et calcul de ∫ 0 1 ln t 1 − t , d t \displaystyle\int_0^1 \frac{\ln t}{1-t},dt ∫ 0 1 1 − t ln t , d t .
Solution.
En 0 + 0^+ 0 + : ln t / ( 1 − t ) ∼ ln t \ln t / (1-t) \sim \ln t ln t / ( 1 − t ) ∼ ln t qui est intégrable en 0 0 0 (car ∫ 0 1 ∣ ln t ∣ , d t \int_0^1 |\ln t|,dt ∫ 0 1 ∣ ln t ∣ , d t converge : on a ∣ t ε ln t ∣ → 0 |t^\varepsilon \ln t| \to 0 ∣ t ε ln t ∣ → 0 pour tout ε > 0 \varepsilon > 0 ε > 0 ).
En 1 − 1^- 1 − : ln t 1 − t → − 1 \dfrac{\ln t}{1-t} \to -1 1 − t ln t → − 1 (par le taux d’accroissement de ln \ln ln en 1 1 1 ), donc pas de problème.
L’intégrale converge. Pour la calculer, on développe 1 1 − t = ∑ n = 0 + ∞ t n \dfrac{1}{1-t} = \sum_{n=0}^{+\infty} t^n 1 − t 1 = ∑ n = 0 + ∞ t n et on intègre terme à terme (convergence dominée) :
∫ 0 1 ln t 1 − t , d t = ∑ n = 0 + ∞ ∫ 0 1 t n ln t , d t = ∑ n = 0 + ∞ ( − 1 ( n + 1 ) 2 ) = − π 2 6 \int_0^1 \frac{\ln t}{1-t},dt = \sum_{n=0}^{+\infty} \int_0^1 t^n \ln t,dt = \sum_{n=0}^{+\infty} \left(-\frac{1}{(n+1)^2}\right) = -\frac{\pi^2}{6} ∫ 0 1 1 − t ln t , d t = n = 0 ∑ + ∞ ∫ 0 1 t n ln t , d t = n = 0 ∑ + ∞ ( − ( n + 1 ) 2 1 ) = − 6 π 2
où l’on a utilisé ∫ 0 1 t n ln t , d t = − 1 ( n + 1 ) 2 \displaystyle\int_0^1 t^n \ln t,dt = -\frac{1}{(n+1)^2} ∫ 0 1 t n ln t , d t = − ( n + 1 ) 2 1 (IPP). ■ \blacksquare ■
Résumé des intégrales de référence§
Intégrale Converge ssi Valeur ∫ 1 + ∞ d t t α \displaystyle\int_1^{+\infty} \frac{dt}{t^\alpha} ∫ 1 + ∞ t α d t α > 1 \alpha > 1 α > 1 1 α − 1 \dfrac{1}{\alpha - 1} α − 1 1 ∫ 0 1 d t t α \displaystyle\int_0^1 \frac{dt}{t^\alpha} ∫ 0 1 t α d t α < 1 \alpha < 1 α < 1 1 1 − α \dfrac{1}{1 - \alpha} 1 − α 1 ∫ 0 + ∞ e − λ t , d t \displaystyle\int_0^{+\infty} e^{-\lambda t},dt ∫ 0 + ∞ e − λ t , d t λ > 0 \lambda > 0 λ > 0 1 λ \dfrac{1}{\lambda} λ 1 ∫ 0 + ∞ t s − 1 e − t , d t \displaystyle\int_0^{+\infty} t^{s-1} e^{-t},dt ∫ 0 + ∞ t s − 1 e − t , d t s > 0 s > 0 s > 0 Γ ( s ) \Gamma(s) Γ ( s ) ∫ 0 + ∞ sin t t , d t \displaystyle\int_0^{+\infty} \frac{\sin t}{t},dt ∫ 0 + ∞ t sin t , d t toujours (semi-cv) π 2 \dfrac{\pi}{2} 2 π ∫ 0 + ∞ e − t 2 , d t \displaystyle\int_0^{+\infty} e^{-t^2},dt ∫ 0 + ∞ e − t 2 , d t toujours π 2 \dfrac{\sqrt{\pi}}{2} 2 π
Voir aussi : Fonctions de Plusieurs Variables , Probabilités Prépa
Commentaires