Intégrales généralisées : définition et nature

Ce chapitre vise à réviser les concepts fondamentaux de l'analyse qui sont essentiels pour aborder les intégrales généralisées et les séries numériques. Une bonne maîtrise de ces notions vous permettra de mieux comprendre les défis et les outils que nous explorerons.

Une fonction est dite ==bornée== si elle est à la fois majorée et minorée sur son domaine de définition. Comprendre si une fonction est bornée est crucial pour l'étude de la convergence.

Plus précisément, une fonction $f: \mathcal{D}_f \to \mathbb{R}$ a une ==limite à droite== en $x_0$ si pour tout $\varepsilon > 0$, il existe $\delta > 0$ tel que pour tout $x \in \mathcal{D}_f$ avec $x_0 < x < x_0 + \delta$, on a $|f(x) - \ell| < \varepsilon$. On note $\lim_{x \to x_0^+} f(x) = \ell$. De même, la ==limite à gauche== est définie pour $x_0 - \delta < x < x_0$. Une fonction admet une limite en $x_0$ si ses limites à gauche et à droite sont égales et finies.

Pour les limites à l'infini, $f$ a une limite en $+\infty$ si pour tout $\varepsilon > 0$, il existe $M \in \mathbb{R}$ tel que pour tout $x > M$, on a $|f(x) - \ell| < \varepsilon$. La notation est $\lim_{x \to +\infty} f(x) = \ell$. La limite en $-\infty$ est définie de manière similaire.

Plus précisément, si $f: ]a, b[ \to \mathbb{R}$ est croissante : si elle est majorée, elle admet une limite à gauche en $b$; si elle n'est pas majorée, alors $\lim_{x \to b^-} f(x) = +\infty$. Si $f$ est décroissante : si elle est minorée, elle admet une limite à droite en $a$; si elle n'est pas minorée, alors $\lim_{x \to a^+} f(x) = -\infty$. Ce théorème est fondamental pour établir la convergence des intégrales généralisées de fonctions de signe constant.

L'assertion "$g$ ne s'annule pas au voisinage de $b$" signifie qu'il existe un intervalle autour de $b$ (ou au-delà d'un certain seuil si $b=\pm\infty$) où $g(x) \neq 0$. Cette notion de précision est cruciale pour éviter des non-sens mathématiques. Elle permet notamment la simplification d'expressions complexes en remplaçant des fonctions par leurs équivalents.

La notation $f(x) = g(x) + o(g(x))$ au voisinage de $b$ est équivalente à $f(x) \sim_b g(x)$. Elle signifie que la différence $f(x) - g(x)$ est négligeable devant $g(x)$ quand $x$ tend vers $b$. Formellement, $\lim_{x \to b} \frac{f(x) - g(x)}{g(x)} = 0$. Cette propriété souligne la perte de précision que l'on accepte en utilisant les équivalents, tout en garantissant la rigueur.

Les développements limités (DL) sont une source primaire d'équivalents. Ils permettent d'approximer une fonction par un polynôme au voisinage d'un point. Le terme de plus bas degré non nul dans un DL donne directement un équivalent de la fonction.

Ces développements limités sont des outils puissants, souvent utilisés à l'ordre 1 ou 2 pour trouver des équivalents. Par exemple, comme $\cos t = 1 - t^2/2 + o(t^2)$ au voisinage de $0$, on déduit que $1 - \cos t = t^2/2 + o(t^2)$, ce qui implique $1 - \cos t \sim_0 t^2/2$.

Les équivalents se comportent bien avec les produits et les quotients. Si $f_1(x) \sim_b g_1(x)$ et $f_2(x) \sim_b g_2(x)$, alors $f_1(x)f_2(x) \sim_b g_1(x)g_2(x)$ et $\frac{f_1(x)}{f_2(x)} \sim_b \frac{g_1(x)}{g_2(x)}$. Cette propriété est démontrée par la multiplication et la division des limites des quotients, qui valent toutes deux 1.

Par exemple, pour le polynôme $\frac{4x^3 + 3x^2 - 7x + 1}{3x^5 - 2x^3 + x - 1}$, au voisinage de $+\infty$, le numérateur est équivalent à son terme de plus haut degré $4x^3$, et le dénominateur à $3x^5$. Ainsi, par la propriété des quotients, l'expression est équivalente à $\frac{4x^3}{3x^5} = \frac{4}{3x^2}$.

La ==composition des équivalents== est également possible sous certaines conditions. Si $f(x) \sim_b g(x)$ et si $\varphi$ est une fonction continue au voisinage d'un point $\beta$ telle que $\lim_{y \to \beta} \varphi(y) = b$, alors $f \circ \varphi(y) \sim_{\beta} g \circ \varphi(y)$. Cela signifie qu'on peut composer les équivalents si la fonction intérieure tend vers le point où l'équivalent est valable. Un exemple est $\ln(1 - 1/x) \sim_{+\infty} -1/x$, en posant $\varphi(x) = -1/x$ et en utilisant l'équivalent $\ln(1+u) \sim_0 u$.

Le concept d'intégrales généralisées étend la notion d'intégration au-delà des intervalles bornés et des fonctions continues. Cette extension permet de résoudre des problèmes où les limites d'intégration sont infinies ou lorsque la fonction présente des singularités, comme l'illustre le paradoxe de Torricelli. Ce paradoxe met en évidence qu'une surface peut être infinie tandis que le volume qu'elle délimite est fini, soulevant des questions fondamentales sur la convergence des intégrales.

Il est crucial d'identifier ces points pour analyser la nature de l'intégrale. Une intégrale est dite ==généralisée== dès lors qu'elle possède au moins un point incertain. Ces points nécessitent une analyse spécifique pour déterminer la convergence ou la divergence de l'intégrale.

La nature d'une intégrale généralisée est déterminée par l'existence d'une limite finie de l'intégrale sur un intervalle restreint. Si cette limite existe et est finie, l'intégrale est dite ==convergente== ; sinon, elle est ==divergente==.

La relation de Chasles, fondamentale pour les intégrales classiques, s'étend aux intégrales généralisées. Elle stipule que l'on peut décomposer une intégrale généralisée en une somme d'intégrales, dont certaines peuvent être classiques (sur un segment) et d'autres généralisées. Cette propriété est très utile pour analyser et calculer des intégrales ayant plusieurs points incertains ou pour simplifier leur étude.

Le calcul des intégrales généralisées convergentes s'appuie sur la recherche d'une primitive de la fonction à intégrer. Une fois la primitive $F(t)$ trouvée, l'intégrale est évaluée en prenant la limite de $F(t)$ aux bornes de l'intervalle. Par exemple, pour $\int_{a}^{+\infty} f(t) dt$, on calcule $\lim_{\xi \to +\infty} F(\xi) - F(a)$. Il est essentiel que cette limite soit finie pour que l'intégrale converge et puisse être calculée. Les techniques de calcul de primitives (changement de variable, intégration par parties) restent valables dans ce contexte.

Après avoir défini la ==nature des intégrales généralisées== et les ==points incertains==, ce chapitre se concentre sur les outils permettant de déterminer si une intégrale généralisée converge ou diverge. Nous explorerons d'abord les cas des fonctions positives, puis les fonctions à signe non constant, en introduisant des critères essentiels comme ceux de comparaison, d'équivalence, de Riemann, de Cauchy et la convergence absolue.

L'étude des intégrales de fonctions positives est fondamentale, car leur convergence est directement liée au comportement de leur primitive, qui est alors monotone. Cette monotonicité permet d'utiliser le ==théorème de la limite monotone== pour établir la convergence ou la divergence. Si une fonction positive est majorée, son intégrale converge; sinon, elle diverge vers l'infini.

Les ==intégrales de Riemann== servent de références fondamentales pour l'application des critères de comparaison et d'équivalence. Elles sont de la forme $\int_a^b \frac{1}{(x-a)^{\alpha}} dx$ ou $\int_a^b \frac{1}{(b-x)^{\alpha}} dx$ près d'une borne finie incertaine, et $\int_a^{+\infty} \frac{1}{x^{\alpha}} dx$ près de l'infini. La convergence de ces intégrales dépend de la valeur de $\alpha$.

Les ==intégrales oscillantes== sont celles dont la fonction intégrée ne garde pas un signe constant au voisinage des points incertains. Pour ces intégrales, les critères de comparaison directs ne s'appliquent plus. On introduit alors la notion de ==convergence absolue==.

Ce chapitre pose les bases essentielles pour l'étude des intégrales généralisées en révisant le concept de limite d'une fonction en un point. Nous aborderons également l'étude de la monotonie et du caractère majoré de fonctions, en particulier celles définies par des intégrales, afin de comprendre leur comportement asymptotique.

Les intégrales généralisées, également appelées intégrales impropres, sont des extensions du concept d'intégrale de Riemann ou de Lebesgue. Elles permettent d'intégrer des fonctions sur des intervalles non bornés ou des fonctions non bornées sur un intervalle donné, là où l'intégrale classique ne serait pas définie.

Les points singuliers sont les endroits où l'intégrale n'est pas définie au sens de Riemann. Il peut s'agir des bornes infinies, ou des points de l'intervalle où la fonction tend vers l'infini (discontinuité par exemple). L'étude d'une intégrale généralisée commence toujours par l'identification de ces points.

La nature d'une intégrale généralisée est sa propriété d'être convergente ou divergente. Pour déterminer cette nature, on utilise la définition formelle de l'intégrale généralisée en passant par une limite. Si cette limite existe et est finie, l'intégrale est dite convergente ; sinon, elle est divergente.

Pour les intégrales généralisées convergentes, le calcul de leur valeur repose sur la détermination d'une primitive de fonction $F(t)$ de la fonction $f(t)$ à intégrer. Ensuite, on évalue la primitive aux bornes et on prend la limite aux points singuliers. Si $F$ est une primitive de $f$, alors l'intégrale $\int_a^b f(t) dt$ est calculée par $[F(t)]_a^b$, en prenant les limites aux bornes où la singularité apparaît.

Ce processus permet non seulement de vérifier la convergence, mais aussi d'obtenir la valeur exacte de l'intégrale lorsque celle-ci existe. C'est la méthode fondamentale pour aborder les exercices pratiques sur les intégrales généralisées.

L'étude de la convergence des intégrales généralisées peut devenir complexe. Pour cela, des critères plus sophistiqués que la simple définition existent, permettant d'analyser la nature de ces intégrales, y compris la convergence absolue et la semi-convergence. Ces outils sont essentiels pour des fonctions dont le comportement limite n'est pas trivial ou qui oscillent.

Une intégrale généralisée est dite absolument convergente si l'intégrale de la valeur absolue de la fonction converge. La convergence absolue est une condition forte qui implique la convergence de l'intégrale elle-même. C'est souvent plus simple à vérifier car elle permet d'utiliser les critères de comparaison sur des fonctions positives.

Les critères de comparaison sont fondamentaux pour l'étude de la convergence. Pour des fonctions positives, si une fonction est majorée par une autre dont l'intégrale converge, alors la première converge aussi. Inversement, si elle minore une fonction dont l'intégrale diverge, elle diverge. Ces critères peuvent être appliqués directement ou via l'étude d'équivalents.

Les intégrales de Bertrand sont une famille importante d'intégrales généralisées utilisées comme références pour les critères de comparaison. Leur convergence dépend des paramètres $\alpha$ et $\beta$ qui déterminent le comportement de la fonction aux bornes de l'intégration.

La fonction Gamma, notée $\Gamma(x)$, est une extension du concept de factorielle aux nombres réels et complexes. Elle est définie par une intégrale généralisée et joue un rôle crucial en analyse, en théorie des nombres et en physique statistique. Sa convergence doit être étudiée en fonction du paramètre $x$.