Preuve de $\lim I_j<1$
dans Analyse
Bonsoir.
Par maple, on a $$\lim_{j\to 0}j^4\int^{\infty}_{0}r^4\exp(-2jr)J_{1}\big(\frac{r}{2}\big)^2dr<1, $$ avec $J_1$ la fonction de Bessel d'indice 1.
Peut-on prouver ceci sans recours à maple ?
Merci.
Par maple, on a $$\lim_{j\to 0}j^4\int^{\infty}_{0}r^4\exp(-2jr)J_{1}\big(\frac{r}{2}\big)^2dr<1, $$ avec $J_1$ la fonction de Bessel d'indice 1.
Peut-on prouver ceci sans recours à maple ?
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
[size=x-large]edit , j'ai cru voir $j \to + \infty$[/size]
On sait que $\sqrt{t} |J_1(t)| <1$ pour $t >0.$ On sait que $\int_{0}^{+\infty} u^3 2 e^{-2 u} du=3/4 <1$, et on touille.
Modifié pour clarification : j'ai ajouté la valeur absolue à la première inégalité (inégalité qui reste vraie sans valeur absolue).
$$\left| j^4 \int_0^\infty r^4 e^{-2rj} J_1\left( \tfrac{1}{2} r \right)^2 \, \textrm{d}r \right | < j^{-1/3}.$$
Remarque. Pour obtenir la $1$ère majoration ci-dessus, utiliser le changement de variable $t = 2 jr$, puis se servir de la majoration $\left| J_1(x) \right| \leqslant 0,7858 \, |x|^{-1/3}$, valide pour tout $x \in \mathbb{R}$.
@ noix de totos. Pour l'estimation $\left| J_1(x) \right| \leqslant 0,7858 \, |x|^{-1/3}$ on obtient $\left| j^4 \int_0^\infty r^4 e^{-2rj} J_1\left( \tfrac{1}{2} r \right)^2 \, \textrm{d}r \right | <C. j^{-1/3}$ qui ne permet pas de dire que $\lim_j \left| j^4 \int_0^\infty r^4 e^{-2rj} J_1\left( \tfrac{1}{2} r \right)^2 \, \textrm{d}r \right | <1$
@YvesM, Certes avec l'estimation $\sqrt{t} J_1(t) <1$ on obtient le résultat voulu, veuillez me donner une référence $\sqrt{t} J_1(t) <1$.
Pour la référence à l'inégalité que je donne, voir J. L. Landau, Bessel functions : mononicity and bounds, J. London Math. Soc. 61 (2000), 197-215.
En revanche, j'aimerais, moi aussi, qu'YvesM, donne une référence pour son inégalité que je ne connaissais pas.
J'ai trouvé dans Milton Abramowitz l'estimation sur l'image ci-dessus, mais il ne se voit pas bien. $(\nu^{\frac{1}{2}}$ ou $(\nu^{\frac{1}{3}})$.
Regarde plutôt là : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.882.9575&rep=rep1&type=pdf, en bas de la page 199.
On sait que $\displaystyle J_{\nu}(x) < ({x \over 2})^\nu {1 \over \Gamma(\nu +1)} \exp(-{x^2 \over 4(\nu+1)}), \nu \in \N, \nu \geq 0, x>0.$
L'inégalité que j'ai donnée en résulte par étude simple d'une fonction $\displaystyle x\mapsto {x^{3/2} \over 2} e^{-x^2/8}, x>0.$
Comme je suis physicien, je n'ai aucune référence mathématique : j'utilise le net. Mais je vous fais confiance pour en trouver.