Intégrale du 1 Mai

Bonjour
Nature de $$\int_{1}^{+\infty}\frac{1}{x^{2+\cos(x)}} dx.

$$ Merci.

Réponses

  • Bonjour,
    Je pense que ça diverge. Mais j'ai fait un raisonnement pseudo-mathématique ("à la physicienne" j'ai envie de dire ^^) en écrivant en gros que $$\begin{eqnarray*}
    \int_{1}^{+\infty} \frac{1}{x^{2+\cos(x)}} \,{\rm d}x
    &=& \int_{0<\varepsilon<2} \left( \int_{-1+\varepsilon < \cos(x) < -1 + \varepsilon + {\rm d}\varepsilon} \frac{{\rm d}x }{x^{1+\varepsilon}} \,\right) \\
    &\approx& \int_{0<\varepsilon<2} \left( \int_{1}^\infty \frac{{\rm d}x }{x^{1+\varepsilon}} \,\right) \, \frac{{\rm d}(\arccos(-1+\varepsilon))}{\pi} \\
    &\approx& \int_0^2 \frac1\varepsilon \, \frac{ {\rm d}\varepsilon}{\pi \sqrt{2\varepsilon}}\\
    &=& +\infty
    \end{eqnarray*}
    $$Donc il faut que je vérifie si ce que j'ai écrit a vraiment du sens. J'y reviendrai demain.
  • Bonjour,

    L’intégrale diverge.

    Voilà !
  • Soit $0=a_{0} <\dots <a_{n} =1$ une subdivision de $[0,1]$ de pas inférieur à $\frac{1}{n}$. Elle remplace mon découpage précédent en parts de taille ${\rm d}\varepsilon$. On a :
    \begin{eqnarray*}
    \int _{1} ^{\infty } \frac{\mathrm{d}x}{x^{2+\cos(x)}} &\geqslant & \sum _{k=1} ^{n-1} \int _{x\geqslant 2\pi ,\, -1+a_{k} <\cos(x)<-1+a_{k+1} } \frac{\mathrm{d}x}{x^{1+a_{k+1}}} \\[1.5mm]

    &=& \sum _{k=1} ^{n-1} \sum _{\ell =1} ^{\infty } \int _{2\ell \pi <x<2(\ell +1)\pi ,\, -1+a_{k} \leqslant \cos(x)<-1+a_{k+1} } \frac{\mathrm{d}x}{x^{1+a_{k+1}}} \\[1.5mm]

    &\geqslant & \sum _{k=1} ^{n-1} \sum _{\ell =1} ^{\infty } \frac{1}{(2(\ell +1)\pi )^{1+a_{k+1}} }\, \lambda (\{2\ell \pi <x<2(\ell +1)\pi \mid -1+a_{k} <\cos(x)<-1+a_{k+1} \}) \\[1.5mm]

    &\geqslant & \sum _{k=1} ^{n-1} \frac{\arccos(-1+a_{k} )-\arccos(-1+a_{k+1} )}{\pi } \sum _{\ell =1} ^{\infty } \int _{2(\ell +1)\pi } ^{2(\ell +2)\pi } \frac{\mathrm{d}x}{x^{1+a_{k+1}}} \\[1.5mm]

    &\geqslant & \sum _{k=1} ^{n-1} \frac{(a_{k} - a_{k+1} ) \arccos'(-1+a_{k+1} )}{\pi } \int _{4\pi } ^{\infty } \frac{\mathrm{d}x}{x^{1+a_{k+1}}} \quad\quad\text{par convexité de $\arccos$ sur }[-1,0] \\[1.5mm]

    &=& \sum _{k=1} ^{n-1} \frac{(a_{k} - a_{k+1} ) \arccos'(-1+a_{k+1} )}{\pi } \frac{1}{a_{k+1} (4\pi )^{a_{k+1}} } \\[1.5mm]

    &\geqslant & \frac{1}{4\pi ^2 } \sum _{k=1} ^{n-1} \; (a_{k} - a_{k+1} ) \frac{ \arccos'(-1+a_{k+1} )}{a_{k+1} } \quad\quad\text{car } a_{k+1}\leqslant 1 \\[1.5mm]

    &\underset{n\rightarrow \infty }{\longrightarrow} & \frac{1}{4\pi ^2 } \int _{0} ^{1}- \frac{\arccos'(-1+a)}{a} \,\mathrm{d}a \quad\quad\quad\text{par somme de de Riemann}\\[3mm]

    &=& +\infty \quad\quad\quad\quad\text{car } \arccos'(-1+a) \underset{a\rightarrow 0}\sim -\frac{1}{\sqrt{2a}}
    \end{eqnarray*}
  • Bonsoir,
    On pouvait aussi effectuer cette minoration.

    Notons $f(x) = \dfrac 1 {x^{2 +\cos x}}, \quad \forall k \in \N^*,\:\: I _k= \displaystyle \int_ {(2k+ \frac 12)\pi} ^ {(2k+ \frac 32)\pi}f .\quad$: Alors:

    $I_k \geqslant \displaystyle \int_{-\frac{\pi}2}^{\frac {\pi}2} \dfrac 1{ \left((2k +2)\pi \right) ^{2-\cos t} }\mathrm dt \geqslant \displaystyle 2\int_0^{\frac {\pi}2} \dfrac 1{ \left((2k +2)\pi \right) ^{1+\frac {t ^2}2}}\mathrm dt\:\: \underset{k \to + \infty}{\sim}\: \dfrac 1{\pi k\sqrt{\log k}} \:\int _0 ^{+\infty} \exp( - \frac {u^2}2) \:\mathrm du.$

    La série $\sum I_k$ est donc divergente et il en va de même pour l'intégrale proposée.
  • Ça ressemble même à un équivalent pour $X \to +\infty$ :
    \[
    \int_1^X \frac1{x^{2+\cos(x)}}\,dx\ \sim \ \sqrt{\frac{2\ln(X)}{\pi}} ,
    \]
    non ?
  • Lou16 : (tu)

    Attien : Mais regarde comme Lou16 est plus efficace.
  • Et je suppose que $$\int_{1}^{+\infty}\frac{1}{x^{2+\sin(x)}} dx$$ diverge aussi ??
  • Oui totem. Ça fonctionne pareil.
  • Cher totem, avec le changement de variable $x = t + \frac\pi2$ tu as directement :
    $$
    \frac1{x^{2+\sin(x)}} = \frac1{(t+\frac\pi2)^{2+\cos(t)}} \sim \frac{1}{t^{2+\cos(t)}}
    $$
  • Ok je suppose que $$\int_{1}^{+\infty}\frac{1}{x^{a+\cos(x)}} dx$$ converge, $a>2$ ?
  • Bonjour
    Version courte :
    \begin{align*}
    I &= \int_1^{+\infty} dx {1 \over x^{2+\cos x}},\\
    I &= \int_1^{+\infty} dx \int_{-1}^1 dy {1 \over x^{2+y}} \delta(y - \cos x)\\
    &= \int_1^{+\infty} dx\int_{-1}^1 dy {1 \over x^{2+y}} \sum_{m \in \Z} {\delta(x-(\arccos y+ 2m \pi)) \over \sqrt{1-y^2}} ,\\
    I &= \int_{-1}^1 dy {1 \over \sqrt{1-y^2}} \sum_{m \geq 1}{1 \over (\arccos y+ 2m \pi)^{2+y}},\\
    I & \geq \int_{-1}^1 dy{1 \over \sqrt{1-y^2}} {\zeta(2+y)-1 \over (2\pi)^{2+y}}
    \end{align*} qui diverge comme $\displaystyle {1 \over \sqrt{u}}, (u \to 0).$


    Version longue :

    On vérifie que l'intégrale existe, sauf peut-être à la borne supérieure. Puis :

    $\bullet$ On introduit la distribution de Dirac s'attaquer au cosinus : $\displaystyle I = \int_1^{+\infty} dx {1 \over x^{2+\cos x}} = \int_1^{+\infty} dx \int_{\R}dy {1 \over x^{2+y}} \delta(y - \cos x).$

    Comme $\displaystyle \cos x \in [-1,1]$, on peut restreindre l'intégration sur $\displaystyle y \in [-1,1]$ : $\displaystyle I = \int_1^{+\infty} dx \int_{-1}^1 dy {1 \over x^{2+y}} \delta(y - \cos x).$

    $\bullet$ Il faut alors inverser l'argument dans la distribution de Dirac :
    Pour tout $\displaystyle m \in \Z$, $x$ réel et $y$ réel, on a
    $\displaystyle \cos(\arccos y) - \cos x = 2 \sin{x -(\arccos y+ 2m \pi) \over 2}\sin{x -(\arccos y+ 2m \pi) +2 \arccos y\over 2}.$
    Puis on calcule $\displaystyle {d \over dx} (\cos(\arccos y) - \cos x )=\sin x$,
    et $\displaystyle |\sin (\arccos y+ 2m \pi)| = \sqrt{1-y^2}.$

    On a donc $\displaystyle \delta(y - \cos x) = \sum_{m \in \Z} {\delta(x-(\arccos y+ 2m \pi)) \over \sqrt{1-y^2}}.$

    On reporte $\displaystyle I = \int_1^{+\infty} dx\int_{-1}^1 dy {1 \over x^{2+y}} \sum_{m \in \Z} {\delta(x-(\arccos y+ 2m \pi)) \over \sqrt{1-y^2}} = \int_{-1}^1 dy {1 \over \sqrt{1-y^2}} \sum_{m \geq 1}{1 \over (\arccos y+ 2m \pi)^{2+y}} .$

    La somme commence a $m=1$ puisque $\displaystyle 1< \arccos y+ 2m \pi \leq 1+ 2m \pi.$

    $\bullet$ On mimore alors brutalement avec $\displaystyle \arccos y \leq 2 \pi$ :
    $\displaystyle I = \int_{-1}^1 dy {1 \over \sqrt{1-y^2}} \sum_{m \geq 1}{1 \over (\arccos y+ 2m \pi)^{2+y}} \geq \int_{-1}^1 dy{1 \over \sqrt{1-y^2}} {\zeta(2+y)-1 \over (2\pi)^{2+y}} .$

    $\bullet$ On calcule l'équivalent pour prouver la divergence :
    $\displaystyle{1 \over \sqrt{1-y^2}} {\zeta(2+y)-1 \over (2\pi)^{2+y}} \sim {1 \over 2 \pi \sqrt{2} (1+y)^{3/2}}, (y \to -1). $
  • Oui totem puisque $\dfrac{1}{x^{a+\cos(x)}} \leqslant \dfrac1{x^{a-1}}$ qui est intégrable pour $a>2$.

    Yves, tu le fais exprès d'écrire plein de $\displaystyle\int{\rm d}x\,f(x)$ juste le jour où je dis que je n'aime pas ça ?
Connectez-vous ou Inscrivez-vous pour répondre.