CPGE Lissane Eddine - Laayoune

Essaidi Ali

mathlaayoune@gmail.com

Fonctions de Bessel
Dfinitions et notations
Dans tout le problme n N. Jn : x R 7

cos(x sin t nt)dt sappelle la fonction de Bessel dordre n.

0

Premire partie
Dveloppement en srie entire des fonctions de Bessel
(p)

Montrer que Jn est de classe C sur R et donner lexpression de Jn sur R pour tout p N.
Montrer que si n est non nul alors x R, Jn0 (x) = 12 (Jn1 (x) Jn+1 (x)).
(k)
En dduire que si n est non nul alors k {0, . . . , n 1}, Jn (0) = 0.
(n)
Calculer Jn (0).
Montrer que Jn est dveloppable en srie entire sur R.
+
X
6: Montrer quil existe une suite (ap )pN de rels telle que x R, Jn (x) = xn
ap xp .

1:
2:
3:
4:
5:

p=0

7: Montrer que Jn est une solution globale de lquation En : x2 y 00 + xy 0 + (x2 n2 )y = 0.

8: Dterminer le dveloppement en srie entire sur R de Jn .

Deuxime partie
Zros des fonctions de Bessel
1: Montrer que Jn se prolonge de faon unique en une fonction holomorphe sur C. En dduire que les zros de Jn sont isols.
2: Montrer que les zros non nuls


de Jn sont simples.
3: Montrer que y(x) = J0 (x) x est une solution sur ]0, +[ de lquation diffrentielle y 00 (x) + 1 + 4x1 2 y(x) = 0.
4: Soit lapplication W : x ]0, +[7 y(x) cos x y 0 (x) sin x. Calculer W 0 sur ]0, +[.
5: Montrer que si on suppose que k N tel que y ne sannule pas [k, (k+1)] alors lapplication f (x) = (1)k y(k)W (x)
est croissante sur [k, (k + 1)].
6: Trouver une contradiction et dduire que k N , y sannule au moins une fois sur [k, (k + 1)].
7: En dduire que J0 admet une infinit de zros sur ]0, +[.
8: Montrer que x > 0, (xn Jn (x))0 = xn Jn+1 (x).
9: En dduire que lensemble des zros de Jn est infini et quentre deux zros strictement positifs de Jn il y a un zro de Jn+1
(On dit que les zros de Jn et Jn+1 sont entrelaces).
10: Montrer que lensemble des zros de Jn sur ]0, +[ est dnombrable (On peux alors numroter les zros de Jn ).
11: On pose (xk )kN la suite strictement croissante des zros strictement positifs de Jn . Montrer que lim xk = +

Troisime partie
Fonctions de Bessel de seconde espce
1: Justifier lexistence dune solution Nn de En sur ]0, +[ telle que (Jn , Nn ) soit libre. En dduire la forme gnrale des
solutions de En (Nn sappelle fonction de Bessel de seconde espce dordre n).
2: Soient 0 < a < b deux zros conscutifs de Jn et W le Wronskien de Jn et Nn (i.e W = Jn Nn0 Jn0 Nn ).
2 - 1: Montrer que W (a)W (b) = Nn (a)Nn (b)Jn0 (a)Jn0 (b).
2 - 2: Montrer que Jn0 (a)Jn0 (b) < 0. En dduire que !c ]a, b[, Nn (c) = 0 et que Nn admet une infinit de zros.
3: Montrer que Jn et Nn nont pas de zros communs sur ]0, +[.
4: Soit y une solution de En sur R et w = Jn y 0 Jn0 y.
4 - 1: Montrer que x R, (xw(x))0 = 0.
4 - 2: En dduire que lensemble des solutions globales de En est un espace vectoriel de dimension un. Y a-t-il une contradiction
avec le thorme du cours ?

www.mathlaayoune.webs.com

1/1

Fin du problme