Les intégrales généralisées de Type III représentent des combinaisons d’intégrales de Types I et II.
13.4.1 Mélange de Type I et I
Définition 13.3.
Soit f:]a,b[→R continue, et soit a<c<b. Si ∫a+cf(x)dx et ∫cb−f(x)dx convergent, on pose ∫a+b−f(x)dx:=∫a+cf(x)dx+∫cb−f(x)dx. et on dit que l’intégrale généralisée converge; si au moins une des intégrales diverge, on dit qu’elle diverge.
Exemple 13.19.
Considérons l’intégrale de Type III ∫0+2−2x−x21dx. On peut la décomposer en ∫0+2−x2−x1dx=∫0+1x2−x1dx+∫12−x2−x1dx. Le changement de variable x=φ(u)=2u2 permet d’écrire ∫x2−x1dx=∫2u2−2u214udu=2∫1−u21du. Ce changement de variable montre que la première intégrale converge, ∫0+1x2−x1dx=ε→0+lim∫ε1x2−x1dx=2ε→0+lim∫ε/21/21−u21du=2ε→0+lim(arcsin(1/2)−arcsin(ε/2))=2(arcsin(1/2)−arcsin(0))=2arcsin(1/2). de même pour la deuxième: ∫12−x2−x1dx=β→2−lim∫1βx2−x1dx=2β→2−lim∫1/2β/21−u21du=2β→2−lim(arcsin(β/2)−arcsin(1/2))=2(arcsin(1)−arcsin(1/2))=π−2arcsin(1/2). donc l’intégrale converge, et sa valeur est ∫0+2−x2−x1dx=2arcsin(1/2)+(π−2arcsin(1/2))=π.
Exemple 13.20.
Considérons l’intégrale de Type III ∫0+1−x1−x1dx, que l’on décompose naturellement en La deuxième intégrale converge puisque qui converge (p=31<1). Par contre la première diverge puisque Donc l’intégrale diverge.
13.4.2 Mélange de Types I et II
Définition 13.4.
Soit f:]a,+∞[→R continue, et soit a<c<∞. Si ∫a+cf(x)dx et ∫c∞f(x)dx convergent, on pose ∫a+∞f(x)dx:=∫a+cf(x)dx+∫c∞f(x)dx, et on dit que l’intégrale généralisée converge; si au moins une des intégrales diverge, on dit qu’elle diverge.
Exemple 13.21.
Considérons ∫0+∞x3/21dx. On sépare: ∫0+∞x3/21dx=∫0+2x3/21dx+∫2∞x3/21. Comme ici, p=23>1, la première diverge et la deuxième converge. Donc toute l’intégrale diverge.
Exemple 13.22.
Considérons l’intégrale de Type III donnée par ∫0+∞xe−xdx. En décomposant ∫0+∞xe−xdx=∫0+1xe−xdx+∫1∞xe−xdx, on remarque que la première (de Type I) converge puisque e−x⩽1 pour tout x⩾0, et donc ∫0+1xe−xdx⩽∫0+1x1dx, qui converge puisque p=21<1. La deuxième converge aussi puisque ∫1∞xe−xdx⩽∫1∞1e−xdx=e−1. Donc l’intégrale de Type III converge.
13.4.3 Mélange de Type II et II
Définition 13.5.
Soit f:R→R continue, et soit c∈R. Si ∫−∞cf(x)dx et ∫c∞f(x)dx convergent, on pose ∫−∞∞f(x)dx:=∫−∞cf(x)dx+∫c∞f(x)dx. et on dit que l’intégrale généralisée converge; si au moins une des intégrales diverge, on dit qu’elle diverge.
Remarque 13.4.
Remarquons que comme dans le cas précédent, le choix du nombre c n’influe pas sur la convergence/divergence de l’intégrale, ni sur la valeur de l’intégrale (dans le cas où elle est convergente).
Exemple 13.23.
Considérons ∫−∞∞x2+1xdx, que l’on décompose en ∫−∞∞x2+1xdx=∫−∞0x2+1xdx+∫0∞x2+1xdx. Comme ∫0∞x2+1xdx=L→∞lim∫0Lx2+1xdx=L→∞lim21log(L2+1)=+∞, l’intégrale est divergente.
Informel 13.7.Remarquons que dans ce dernier exemple, le fait que la fonction est impaire implique que pour tout L>0, ∫−LLx2+1xdx=0, et donc évidemment L→∞lim∫−LLx2+1xdx=0, Mais cette limite n’est pas la définition de ∫−∞∞x2+1xdx.