Intégrales généralisées

Bonjour

1) On me demande d'énoncer et de démontrer le théorème de Riemann. Parle-t-on bien du théorème qui donne la nature des intégrales de la forme $\quad\displaystyle \int_a^b \frac{dt}{t^\alpha}\ $ ? Quelqu'un a-t-il un énoncé clair ?
2) On me demande de déterminer la nature de $\quad\displaystyle \int_0^{+\infty} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$.
La fonction $x \mapsto \dfrac{1-\cos(x)}{x^2 \sqrt{x}} $ n'est pas définie en $0$. Je pense donc qu'il faut séparer l'intégrale en 2 avec la relation de Chasles. Est-ce un bon départ ?
3) On me demande de déterminer la nature de $\quad \displaystyle \int_0^{+\infty} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx$.
Le problème est que la borne inférieure de l'intégrale est 0. Cela m'empêche d'utiliser le critère d'équivalence avec la fonction $x \mapsto \dfrac{1}{x^5}.$
Merci.

Réponses

  • Attention, ce n'est pas parce que la fonction n'est pas définie en $0$ qu'elle n'y est pas intégrable. Il y a des critères d'intégrabilité. En l'occurence, ici, ça fonctionne.

    On a $$\lim_{x\to 0^+} \sqrt{x} \frac{1-\cos(x)}{x^2 \sqrt{x}} = \lim_{x\to 0^+} \frac{1-\cos(x)}{x^2} \underset{Hospital}= \lim_{x\to 0^+} \frac{\sin(x)}{2x} = \frac{1}{2}.$$

    Comme la limite existe et est finie, la fonction est intégrable en $0$.
  • Pour 3) la fonction à intégrer est continue en 0, le dénominateur de cette fraction rationnelle n'est pas nul en $x=0$
    Le problème est la borne infinie.
  • Bonjour,

    1) j'ai trouvé un théorème qui pourrait être le "théorème de Riemann" que je cherche :
    Soit $\alpha$ un réel, $\quad\displaystyle \int_0^1 \frac{dt}{t^\alpha} $ converge si $\alpha<1$ et diverge si $\alpha \geq 1$
    $\quad\displaystyle \int_1^{+ \infty} \frac{dt}{t^\alpha} $ converge si $\alpha > 1$ et diverge si $\alpha \leq 1$

    Je pense qu'il est assez facile à démontrer.

    2) @Cyrano
    Merci, pour moi la limite de $x \mapsto \dfrac{1-\cos(x)}{x^2 \sqrt{x}}$ en $0^+$ est $+ \infty$

    Mais celle de $x \mapsto \sqrt(x) \dfrac{1-\cos(x)}{x^2 \sqrt{x}}$ est bien $1/2$ mais quel est l'intérêt?

    3) @Fin de partie
    Merci.

    Pour la rédaction je pense qu'il faut séparer en 2 intégrales avec la relation de Chasles.

    $\quad \displaystyle \int_0^{+\infty} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx=\int_0^{1} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx + \int_1^{+\infty} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx$

    $x \mapsto \frac{x^2+x}{x^7+7x^6+3x^2+7} $ est continue sur $[0;1]$ donc $\int_0^{1} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx$ est finie

    $x \mapsto \frac{x^2+x}{x^7+7x^6+3x^2+7} $ est équivalent à $x \mapsto \frac{1}{x^5} $ en $+ \infty$ , positive et continue sur $[1;+\infty[$.
    D'après le théorème d'équivalence, $ \int_1^{+\infty} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx$ converge puisque $ \int_1^{+\infty} \frac{1}{x^5} dx$ converge.

    Ainsi, $\quad \displaystyle \int_0^{+\infty} \frac{x^2+x}{x^7+7x^6+3x^2+7} dx$ est convergente

    4)
    Quel théorème dit ce qui suit? :
    "Si une fonction $f$ est continue sur $[a;b]$ alors $\quad \displaystyle \int_a^b f(x) dx$ est finie"
  • L'intérêt c'est que si $\lim_{x\to 0^+} \sqrt{x} f(x)$ existe et est finie, alors $f$ est intégrable en $0^+$.
  • Bonjour Math65.

    Pour le 4, c'est le théorème qui dit que si f est continue sur [a, b] (continue à droite en a et à gauche en b), alors f est intégrable sur [a,b] (*)
    On peut se contenter de f continue sur ]a, b[ et ayant des limites finies en a et b.

    Cordialement.

    (*) il existe différents types d'intégrales, dans tous les cas ce théorème est vrai.
  • Pour le 2, si tu n'as pas dans ton cours le critère énoncé par Cyrano, tu as peut-être l'utilisation d'équivalents, et ce qui compte alors est que $\dfrac{1-\cos(x)}{x^2 \sqrt{x}}\sim_0 \dfrac 1 {2\sqrt x}$ et que $\dfrac 1 {2\sqrt x}$ est intégrable en 0 (critère de Riemann). Donc après avoir séparé en deux intégrales, tu règles le cas de celle qui a 0 comme borne.

    Cordialement.
  • Bonjour,

    1) Est-ce que le théorème suivant peut-être appelé "de Riemann"? :
    Soit $\alpha$ un réel, $\quad\displaystyle \int_0^1 \frac{dt}{t^\alpha} $ converge si $\alpha<1$ et diverge si $\alpha \geq 1$
    $\quad\displaystyle \int_1^{+ \infty} \frac{dt}{t^\alpha} $ converge si $\alpha > 1$ et diverge si $\alpha \leq 1$

    Pour le démontrer, on calcule simplement les intégrales?

    2)
    a) Pour prouver la convergence de $\quad\displaystyle \int_0^{1} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$, j'utilise le critère suivant :
    Soient $f,g:]a,b]\to[0,+\infty[$, tels que $f\sim_a g$ alors $\int_a^b f(t)dt$ et $\int_a^b g(t)dt$ sont de même nature
    Donc puisque $\frac{1-\cos(x)}{x^2 \sqrt{x}} \sim_0 \frac{1}{2\sqrt{x}}$ et que $\quad\displaystyle \int_0^1 \frac{1}{2\sqrt{x}} dx $ est convergente d'après le théorème de Riemann alors $\quad\displaystyle \int_0^{1} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$ converge

    b) Pour prouver la convergence de $\quad\displaystyle \int_1^{+\infty} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$, j'utilise le critère suivant :
    Soient $f,g:[a,b[\to[0,+\infty[$, tels que $0\leq f \leq g$ au voisinage de $b$ alors si $\int_a^b g(t)dt$ converge alors $\int_a^b f(t)dt$ converge

    Or pour tout $x \in [1; +\infty[$, $\frac{1-\cos(x)}{x^2 \sqrt{x}} \leq \frac{2}{x^2 \sqrt{x}}$

    or d'après le théorème de Riemann ( dans 1)), $\quad\displaystyle \int_1^{+\infty} \frac{2}{x^2 \sqrt{x}} dx$ converge donc $\quad\displaystyle \int_1^{+\infty} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$ converge

    c) Ainsi $\quad\displaystyle \int_0^{+\infty} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$ converge car $\quad\displaystyle \int_1^{+\infty} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$ et $\quad\displaystyle \int_0^{1} \frac{1-\cos(x)}{x^2 \sqrt{x}} dx$ convergent

    4)
    Quel théorème dit ce qui suit? :
    "Si une fonction $f$ est continue sur $[a;b]$ alors $\quad \displaystyle \int_a^b f(x) dx$ est finie"

    5) On me demande la convergence de $\quad\displaystyle \int_0^{+\infty} e^{-2x^2} dx$
    Pour tout $x \in [0; + \infty[$, $0 \leq e^{-2x^2} \leq \frac{1}{2x^2}$. Puisque $\quad\displaystyle \int_0^{+\infty} \frac{1}{2x^2} dx$ converge d'après le théorème de Riemann (1) ) et d'après le critère de comparaison, $\quad\displaystyle \int_0^{+\infty} e^{-2x^2} dx$ converge

    Est-ce bon?
  • Bonjour,

    Je n'ai pas de réponse, je suppose que c'est bon.

    1) Pour démontrer le "théorème de Riemann" :
    a) Démontrons que : Soit $\alpha$ un réel, $\quad\displaystyle \int_0^1 \frac{dt}{t^\alpha} $ converge si $\alpha<1$ et diverge si $\alpha \geq 1$

    si $\alpha<1$,
    $\quad\displaystyle \int_0^1 \frac{dt}{t^\alpha} = \lim_{x \rightarrow 0} \int_x^1 \frac{dt}{t^\alpha} =\lim_{x \rightarrow 0} (\frac{1}{1-\alpha}-\frac{1}{1-\alpha}\times \frac{1}{x^{\alpha-1}})=1 $
    si $\alpha=1$
    $\quad\displaystyle \int_0^1 \frac{dt}{t} = \lim_{x \rightarrow 0} \int_x^1 \frac{dt}{t} =\lim_{x \rightarrow 0} (0-ln(x))=+ \infty $
    si $\alpha>1$
    $\quad\displaystyle \int_0^1 \frac{dt}{t^\alpha} = \lim_{x \rightarrow 0} \int_x^1 \frac{dt}{t^\alpha} =\lim_{x \rightarrow 0} (\frac{1}{1-\alpha}-\frac{1}{1-\alpha}\times \frac{1}{x^{\alpha-1}})=+ \infty $
    CQFD

    b) Démontrons que
    $\quad\displaystyle \int_1^{+ \infty} \frac{dt}{t^\alpha} $ converge si $\alpha > 1$ et diverge si $\alpha \leq 1$

    si $\alpha<1$,
    $\quad\displaystyle \int_1^{+ \infty} \frac{dt}{t^\alpha} = \lim_{x \rightarrow + \infty} \int_1^x \frac{dt}{t^\alpha} =\lim_{x \rightarrow + \infty} (\frac{1}{1-\alpha}\times \frac{1}{x^{\alpha-1}} - \frac{1}{1-\alpha})=+ \infty $
    si $\alpha=1$
    $\quad\displaystyle \int_1^{+ \infty} \frac{dt}{t} = \lim_{x \rightarrow + \infty} \int_x^1 \frac{dt}{t} =\lim_{x \rightarrow + \infty} (ln(x)-0)=+ \infty $
    si $\alpha>1$
    $\quad\displaystyle \int_1^{+ \infty} \frac{dt}{t^\alpha} = \lim_{x \rightarrow + \infty} \int_1^x \frac{dt}{t^\alpha} =\lim_{x \rightarrow + \infty} (\frac{1}{1-\alpha}\times \frac{1}{x^{\alpha-1}}-\frac{1}{1-\alpha})=\frac{1}{\alpha-1} $

    CQFD

    4)
    Quel théorème dit ce qui suit? :
    "Si une fonction $f$ est continue sur $[a;b]$ alors $\quad \displaystyle \int_a^b f(x) dx$ est finie"

    6)
    On me demande la nature de $\quad\displaystyle \int_0^{+ \infty} \frac{sin^2(x)}{x^\alpha} dx$ lorsque $1<\alpha<3$

    Merci
  • Bonjour.

    4) Définition de l'intégrale.
    6) Oui, et qu'as-tu fait ?

    Cordialement.
  • 4) "Si une fonction $f$ est continue sur $[a;b]$ alors $\quad \displaystyle \int_a^b f(x) dx$ est finie"
    car l'intégrale d'une fonction $f$ continue sur $[a;b]$ est égale à l'aire entre l'axe des abscisses et la courbe sur les segments où $f$ est positive à laquelle on soustrait l'aire entre l'axe des abscisses et la courbe de $f$ sur les segments où $f$ est négatif

    6) Pour $1<\alpha<3$
    $\quad\displaystyle \int_0^{+ \infty} \frac{\sin^2(x)}{x^\alpha} dx=\int_0^{1} \frac{\sin^2(x)}{x^\alpha} dx + \int_1^{+ \infty} \frac{\sin^2(x)}{x^\alpha} dx$

    a) pour $\quad\displaystyle \int_1^{+ \infty} \frac{\sin^2(x)}{x^\alpha} dx$

    On a $x \in [1;+ \infty[$, $\dfrac{\sin^2(x)}{x^\alpha} \leq \dfrac{1}{x^\alpha} $ et
    $\quad\displaystyle \int_1^{+ \infty} \frac{1}{x^\alpha} dx$ est convergente. Ainsi d'après le critère de comparaison, $\quad\displaystyle \int_1^{+ \infty} \frac{\sin^2(x)}{x^\alpha} dx$ converge

    b) pour $\quad\displaystyle \int_0^{1} \frac{\sin^2(x)}{x^\alpha} dx$

    $f(x)=\dfrac{\sin^2(x)}{x^\alpha}=\dfrac{\sin^2(x)}{x^2}\times x^{2-\alpha}$ pour $x \in ]0;1]$
    Si $1<\alpha < 2$, $\quad\displaystyle \lim_{x \rightarrow 0} \frac{\sin^2(x)}{x^2}\times x^{2-\alpha}=0$ et $f$ est continue sur $]0;1]$ donc $\quad\displaystyle \int_0^{1} \frac{\sin^2(x)}{x^\alpha} dx$ converge

    Si $\alpha = 2$, $\quad\displaystyle \lim_{x \rightarrow 0} \frac{\sin^2(x)}{x^2}\times x^{2-\alpha}=1$ et $f$ est continue sur $]0;1]$ donc $\quad\displaystyle \int_0^{1} \frac{\sin^2(x)}{x^\alpha} dx$ converge

    Si $3 >\alpha > 2$, $\quad\displaystyle \frac{\sin^2(x)}{x^2}\times x^{2-\alpha} \sim_0 x^{2-\alpha} $ et $f$ est continue et positive sur $]0;1]$ or $\quad\displaystyle \int_0^{1} x^{2-\alpha} dx$ converge car $-1< 2-\alpha < 0$ donc $\quad\displaystyle \int_0^{1} \frac{\sin^2(x)}{x^\alpha} dx$ converge

    Ainsi
    $\quad\displaystyle \int_0^{+ \infty} \frac{\sin^2(x)}{x^\alpha} dx$ converge pour $1<\alpha<3$ dans tous les cas.

    [$\LaTeX$ fournit la commande \sin qui l'écrit comme un opérateur mathématique. AD]
  • Tu as sans doute une définition correcte de l'intégrale, ce que tu écris (c'est l'initiation qu'on fait en terminale de lycée) n'est pas une définition (on ne sait pas ce qu'est l'aire sous une courbe en général). En tout cas, il n'y a rien à justifier.
  • 4) si j'utilise la définition de l'intégrale de Riemann ici : https://fr.wikipedia.org/wiki/Intégrale_de_Riemann#Définition_directe,
    alors une fonction $f$ est intégrable sur [a,b] lorsque son intégrale supérieure et son intégrale inférieure sont égales. Or par définition l'intégrale inférieure et l'intégrale supérieure ne peuvent être infinie donc "Si une fonction $f$ est continue (donc bornée) sur $[a;b]$ alors $\quad \displaystyle \int_a^b f(x) dx"

    6) je suppose que c'est bon

    7) On demande de montrer que
    $\quad\displaystyle \int_0^{+ \infty} \frac{\sin(x)}{x^\alpha} dx$ converge si est seulement si $0<\alpha<2$

    Ici, on est pas dans le cas d'une fonction positive donc on ne peut pas utiliser le critère de comparaison, d'équivalence et il y a une double implication à montrer.
  • Ton 4) n'est pas très clair à mes yeux : il faut surtout (et d'abord) démontrer l'existence de l'intégrale. Le fait qu'elle soit finie résulte directement du fait que l'on est intégrable au sens de Riemann, et que par conséquent cette intégrale sera un réel.

    Une manière de procéder pour montrer que la fonction est Riemann-intégrable :

    1) le théorème de Heine t'assure que la fonction $f$ est uniformément continue sur $[a,b]$ (là, tu as vraiment besoin que l'intervalle soit fermé et borné, c'est-à-dire compact)

    2) Fixons $\varepsilon>0$. Le point 1) te permet de trouver deux fonctions en escalier $\phi_\varepsilon$ et $\psi_\varepsilon$ (dépendant de $\varepsilon$) satisfaisant, pour tout $x$ dans $[a,b]$, $\phi_\varepsilon(x) \leq f(x) \leq \psi_\varepsilon(x)$ et $\psi_\varepsilon(x)-\phi_\varepsilon(x) \leq
    \varepsilon$ (c'est le point crucial, vois-tu pourquoi cela est vrai ?)

    3) avec ces telles fonctions, on a $0 \leq \int_a^b \psi_\varepsilon -\int_a^b \phi_\varepsilon \leq \varepsilon (b-a)$.

    4) après plusieurs manières d'écrire les choses, mais tu peux passer à l'inf sur $\psi$ puis au sup sur $\phi$ pour obtenir que la différence est plus petite que $\varepsilon (b-a)$ pour tout $\varepsilon>0$, et donc nulle au final.

    EDIT : oubli d'un $\leq$
  • Pour 7), tu décomposes l'intégrale en deux, de $0$ à $\pi/2$ puis de $\pi/2$ à l'infini.

    Entre $0$ et $\pi/2$, l'intégrande est positif, la règle de l'équivalent s'applique et te donne une CNS pour que ce premier morceau soit convergent.

    Pour le deuxième morceau, distinguons plusieurs cas :
    - si $\alpha >0$, une intégration par parties permet d'augmenter la puissance au dénominateur et la deuxième intégrale sera absolument convergente
    - si $\alpha=0$ les primitives sont connues ...
    - si $\alpha<0$ il y a me semble-t-il plus de travail ...

    Ensuite l'intégrale converge ssi les deux convergent.
  • 4) @math2 je ne cherche pas à montrer que la différence entre les intégrales de $\psi$ et $\phi$ est nulle. Je le suppose déjà puisque la fonction est supposée intégrable. Je veux juste montrer que cette intégrale est finie sur $[a;b]$.

    Peut-être que intégrable signifie déjà que l'intégrale est finie?

    7)
    $\quad\displaystyle \int_0^{+ \infty} \frac{\sin(x)}{x^\alpha} dx=\int_0^{\pi/2} \frac{\sin(x)}{x^\alpha} dx + \int_{\pi/2}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx$

    $\frac{\sin(x)}{x^\alpha} \sim_0 \frac{1}{x^{\alpha-1}}$ et $\frac{\sin(x)}{x^\alpha} \geq 0$ pour $x \in ]0;\pi/2]$
    or $\quad\displaystyle \int_0^{\pi/2} \frac{1}{x^{\alpha-1}} dx$ converge ssi $\alpha-1<1$ ssi $\alpha<2$
    donc $\int_0^{\pi/2} \frac{\sin(x)}{x^\alpha} dx $ converge ssi $\alpha<2$

    $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx= [-cos(x) \times \frac{1}{x^\alpha}]_{\pi/2}^{+ \infty} - \int_{\pi/2}^{+ \infty} \alpha \frac{\cos(x)}{x^{\alpha+1}} dx$

    $\quad\displaystyle [-cos(x) \times \frac{1}{x^\alpha}]_{\pi/2}^{+ \infty}$ converge ssi $\alpha>0$

    Comment montrer que $\quad\displaystyle \int_{\pi/2}^{+ \infty} \alpha \frac{\cos(x)}{x^{\alpha+1}} dx$ converge?

    Si j'encadre : $\quad\displaystyle \int_{\pi/2}^{+ \infty}-\frac{1}{x^{\alpha+1}} dx\leq \int_{\pi/2}^{+ \infty} \frac{\cos(x)}{x^{\alpha+1}} dx \leq \int_{\pi/2}^{+ \infty} \frac{1}{x^{\alpha+1}} dx$, je peux montrer que les deux intégrales encadrantes convergent ssi $\alpha > 0$ mais après?
  • Est-ce que $\quad\displaystyle \int_{\pi/2}^{+ \infty}-\frac{1}{x^{\alpha+1}} dx\leq \int_{\pi/2}^{+ \infty} \frac{\cos(x)}{x^{\alpha+1}} dx \leq \int_{\pi/2}^{+ \infty} \frac{1}{x^{\alpha+1}} dx$ prouve que $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{\cos(x)}{x^{\alpha+1}} dx$ converge?
  • Non, pas du tout. Pour écrire ton inégalité, tu as besoin de supposer que l'intégrale existe. Comment est-ce que l'inégalité pourrait démontrer l'existence de l'intégrale ?

    Il y a une différence majeure avec un raisonnement du genre : « Comme \[\int_\pi^{+\infty}\frac{|\cos x}{x^{3/2}}\mathrm{d}x\le\int_\pi^{+\infty}\frac{|\cos x}{x^{3/2}}\mathrm{d}x,\] l'intégrale $\int_\pi^{+\infty}\frac{|\cos x}{x^{3/2}}\mathrm{d}x$ converge. » Dans ce cas, le raisonnement complet est : « la fonction intégrée $f$ est positive donc la fonction $X\mapsto\int_{\pi}^Xf$ est croissante donc elle admet une limite, finie ou non ; comme cette limite est inférieure à $\int_\pi^{+\infty}\frac{1}{x^{3/2}}\mathrm{d}x$, qui est finie, l'intégrale de $f$ est convergente. »
  • Comment montrer alors que $\quad\displaystyle \int_0^{+ \infty} \frac{\sin(x)}{x^\alpha} dx=\int_0^{\pi/2} \frac{\sin(x)}{x^\alpha} dx + \int_{\pi/2}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx$ converge pour $0<\alpha<2$ ?
  • On compare les fonctions et pas les intégrales.

    Pour l'intégrale de $0$ à $\pi/2$, on trouve facilement un équivalent simple (positif) au voisinage de $0$, puis on compare à une intégrale de Riemann.

    Pour l'intégrale de $\pi/2$ à l'infini, il est commode de faire une intégration par parties (intégrer le sinus, dériver la puissance) pour augmenter le degré du dénominateur : le terme intégré a une limite et on compare alors la valeur absolue dans l'intégrale à une intégrale de Riemann.
  • @Math Coss
    Je pense avoir fait ce que tu me dis :

    "Pour l'intégrale de pi/2 à l'infini, il est commode de faire une intégration par parties (intégrer le sinus, dériver la puissance) pour augmenter le degré du dénominateur"

    $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx= [-cos(x) \times \frac{1}{x^\alpha}]_{\pi/2}^{+ \infty} - \int_{\pi/2}^{+ \infty} \alpha \frac{\cos(x)}{x^{\alpha+1}} dx$

    "le terme intégré a une limite"

    $\quad\displaystyle [-cos(x) \times \frac{1}{x^\alpha}]_{\pi/2}^{+ \infty}$ converge ssi $\alpha>0$

    c'est après que cela pose question :

    "on compare alors la valeur absolue dans l'intégrale à une intégrale de Riemann"

    il n'y a pas de valeur absolue dans $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{\cos(x)}{x^{\alpha+1}} dx$.

    Faut-il montrer que cette intégrale est absolument convergente ce qui impliquera la convergence simple?
  • Oui et c'est immédiat. Non ?
  • $\quad\displaystyle 0 \leq \frac{ | \cos(x) | }{x^{\alpha+1}} dx
    \leq \frac{ 1 }{x^{\alpha+1}} $ pour $x \in [\pi/2 ; + \infty[$

    $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{ 1 }{x^{\alpha+1}} dx $ converge ssi $\alpha+1 > 1$ ssi $\alpha > 0$

    Donc on peut dire que si $\alpha > 0$ alors $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{ | \cos(x) | }{x^{\alpha+1}} dx $ converge et donc $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{ \cos(x) }{x^{\alpha+1}} dx $ converge.

    Cela avance, néanmoins pour moi, cela ne permet pas encore de montrer que $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{ \cos(x) }{x^{\alpha+1}} dx $ converge ssi $\alpha > 0$

    Mais en fait, je pense que ce n'est pas nécessaire de le montrer car :

    On a montrer que :

    $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx= [-cos(x) \times \frac{1}{x^\alpha}]_{\pi/2}^{+ \infty} - \int_{\pi/2}^{+ \infty} \alpha \frac{\cos(x)}{x^{\alpha+1}} dx$

    et que

    $\quad\displaystyle [-cos(x) \times \frac{1}{x^\alpha}]_{\pi/2}^{+ \infty}$ converge ssi $\alpha>0$

    et que

    si $\alpha > 0$ alors $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{ \cos(x) }{x^{\alpha+1}} dx $ converge

    Cela implique que

    $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx$ converge ssi $\alpha > 0$
  • La comparaison à $1/x^{\alpha+1}$ entraîne en effet que si $\alpha>0$, alors l'intégrale $\int_{\pi/2}^{+\infty}\frac{\cos x}{x^{\alpha+1}}\mathrm{d}x$ converge (absolument donc « tout court »).

    Tes doutes sont fondés : elle ne permet pas de démontrer la réciproque. Et c'est normal : pense à $\int_{\pi/2}^{+\infty}\frac{\cos x}{\sqrt{x}}\mathrm{d}x$, intégrale pour laquelle on pense à faire la comparaison à celle de $1/\sqrt{x}$. Ce que dit la comparaison $\bigl|\frac{\cos x}{\sqrt x}\bigr|\le\frac{1}{\sqrt{x}}$, c'est que la valeur absolue fonction est inférieure à une fonction dont l'intégrale est divergente : nous voici bien avancés ! On ne peut évidemment rien conclure, comme en témoignent les comparaisons $\frac{1}{x^2}\le\frac{1}{\sqrt{x}}$ et $\frac1{x}\le\frac{1}{\sqrt{x}}$ pour $x\ge\pi/2$ (l'intégrale de $1/x^2$ est divergente convergente, celle de $1/x$ est convergente divergente).

    Note aussi une erreur de logique : pour $\alpha\le0$, le terme intégré $\bigl[\frac{\cos x}{x^\alpha}\bigr]_{\pi/2}^X$ n'a pas de limite quand $X$ tend vers l'infini mais même si l'intégrale $\int_{\pi/2}^{X}\frac{\cos x}{x^{\alpha+1}}\mathrm{d}x$ n'en avait pas non plus (intégrale divergente), cela ne permettrait pas d'affirmer que la somme (ou la différence) est divergente. Pense à $f(x)=\cos x$ et $g(x)=-\cos x+1$ : aucune de ces deux fonctions n'a de limite en l'infini mais leur somme en a bien une.

    Bref : pour le « seulement si », il faut un autre argument. Voici une façon de faire. Si $\alpha\le0$, on a : $\frac{1}{x^\alpha}\ge1$ (edit), si bien que \[\left|\int_{\frac\pi2+n\pi}^{\frac\pi2+(n+1)\pi}\frac{\cos x}{x^\alpha}\mathrm{d}x\right|\ge
    \int_{\frac\pi2+n\pi}^{\frac\pi2+(n+1)\pi}\left|\cos x\right|\,\mathrm{d}x=2\](puisque le signe du cosinus est constant sur cet intervalle). Si la fonction définie par $F(X)=\int_{\pi/2}^{+\infty}\frac{\cos x}{x^\alpha}\mathrm{d}x$ pour $X\ge\pi/2$ avait une limite en l'infini, on aurait alors $\lim_{n\to\infty}\bigl(F\bigl(\frac\pi2+n\pi\bigr)-F\bigl(\frac\pi2+(n+1)\pi\bigr)\bigr)=0$, contrairement à ce que l'on vient de démontrer.
  • @Math Coss

    Merci,
    Ne voulais pas tu dire à la fin du deuxième paragraphe que "(l'intégrale de 1/x2 est converge, celle de 1/x est divergente)"?

    Je comprends le raisonnement pour démontrer que si si $\alpha \leq 0$ alors $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{ \cos(x) }{x^{\alpha+1}} dx $ diverge.
    Il n'aurait pas fallu mettre $\alpha+1$ à la place de $\alpha$ dans le raisonnement?

    On me demande maintenant d'étudier la convergence absolue de
    $\quad\displaystyle \int_{0}^{+ \infty} \frac{\sin(x)}{x^\alpha} dx$ pour $0<\alpha<2$

    Je pense qu'il y aura absolue convergence que si $1<\alpha<2$
  • En effet, j'ai mélangé « convergente » et « divergente ». Heureusement que ça ne t'a pas impressionné.

    Pour montrer que l'intégrale de $\frac{\cos x}{x^{\alpha+1}}$ n'est pas convergente, il faudrait en effet remplacer $x^\alpha$ par $x^{\alpha+1}$. Ce que j'ai dit ne suffit pas dans le cas où $\alpha+1>0$, il faut être plus fin. Ce sera la même chose que la nouvelle question que tu poses.

    Une possibilité : faire un changement de variable pour ramener $\bigl[-\frac\pi2+n\pi,\frac\pi2+(n+1)\pi\bigr]$ à $\bigl[-\frac\pi2,\frac\pi2\bigr]$. Sur cet intervalle, minorer $\frac{1}{(t+n\pi)^\alpha}$ par son minimum et faire apparaître ainsi une série dont tu espère qu'elle soit divergente.
  • en reprenant
    $\quad\displaystyle \int_0^{+ \infty} \frac{|\sin(x)|}{x^\alpha} dx=\int_0^{\pi/2} \frac{|\sin(x)|}{x^\alpha} dx + \int_{\pi/2}^{+ \infty} \frac{|\sin(x)|}{x^\alpha} dx$

    On montre déjà que

    $\quad\displaystyle \int_0^{\pi/2} \frac{|\sin(x)|}{x^\alpha} dx=\int_0^{\pi/2} \frac{\sin(x)}{x^\alpha} dx$ ssi $\alpha < 2$ par la même manière que précédemment.
  • Oui pour le voisinage de $0$. Et à l'infini ?
  • Pour $\alpha >1$, $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{|\sin(x)|}{x^\alpha} dx \leq \int_{\pi/2}^{+ \infty} \frac{1}{x^\alpha} dx$

    $\int_{\pi/2}^{+ \infty} \frac{1}{x^\alpha} dx$ est convergente et par la règle de comparaison, $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{|\sin(x)|}{x^\alpha} dx$ est aussi convergente

    La question est maintenant pour $0 <\alpha \leq 1$ où $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{|\sin(x)|}{x^\alpha} dx$ devrait être divergente.

    c'est là que je dois suivre ton conseil Math Coss : "Une possibilité : faire un changement de variable pour ramener...."
  • pour $0 <\alpha \leq 1$, je ne vois pas comment minorer $\quad\displaystyle \int_{\pi/2}^{+ \infty} \frac{|\sin(x)|}{x^\alpha} dx$ par une série divergente.

    $\quad\displaystyle \int_{-\pi/2 + n \pi}^{\pi/2 + n \pi} \frac{|\sin(x)|}{x^\alpha} dx=\int_{-\pi/2 }^{\pi/2 } \frac{|\sin(t+n \pi)|}{(t+n \pi)^\alpha} dt
    $

    $\frac{1}{(t+n \pi)^\alpha} \geq \frac{1}{(\pi/2+n \pi)^\alpha}$

    $\frac{|\sin(t+n \pi)|}{(t+n \pi)^\alpha} \geq \frac{|\sin(t+n \pi)|}{(\pi/2+n \pi)^\alpha}$

    $\quad\displaystyle \int_{-\pi/2 }^{\pi/2 } \frac{|\sin(t+n \pi)|}{(t+n \pi)^\alpha} dt \geq \int_{-\pi/2 }^{\pi/2 } \frac{|\sin(t+n \pi)|}{(\pi/2+n \pi)^\alpha} dt$

    est-ce que c'est bien parti?
  • Je continue

    $\quad\displaystyle \int_{-\pi/2 }^{\pi/2 } \frac{|\sin(t+n \pi)|}{(\pi/2+n \pi)^\alpha} dt =
    \frac{1}{(\pi/2+n \pi)^\alpha} \int_{-\pi/2 }^{\pi/2 } |\sin(t+n \pi)| dt =
    \frac{1}{(\pi/2+n \pi)^\alpha} 2 \int_{0 }^{\pi/2 } \sin(t) dt =
    \frac{2}{(\pi/2+n \pi)^\alpha}
    $
    donc
    $\quad\displaystyle \int_{-\pi/2 }^{\pi/2 } \frac{|\sin(t+n \pi)|}{(t+n \pi)^\alpha} dt \geq \frac{2}{(\pi/2+n \pi)^\alpha} $

    et
    $\quad\displaystyle \int_{-\pi/2 + n \pi}^{\pi/2 + n \pi} \frac{|\sin(x)|}{x^\alpha} dx \geq \frac{2}{(\pi/2+n \pi)^\alpha} $

    on a donc
    $\quad\displaystyle \int_{\pi/2 }^{ + \infty} \frac{|\sin(x)|}{x^\alpha} dx \geq \sum_{n=1}^{+\infty} \frac{2}{(\pi/2+n \pi)^\alpha} $

    y-a-t'il des erreurs? merci
Connectez-vous ou Inscrivez-vous pour répondre.