CPGE Laayoune

Lissane Eddine

Essaidi Ali

Fonctions de Bessel
Dnitions et notations
On appelle : 1 cos(x sin t nt)dt. 0 Equation de Bessel dordre n Z lquation diffrentielle En : x2 y + xy + (x2 n2 )y = 0. Fonction de Bessel dordre n Z la fonction x R, Jn (x) =

Premire partie Proprits des fonctions de Bessel

1: Montrer que n Z, Jn est dnie sur R. 2: Montrer que n Z, Jn = (1)n Jn (Ce qui permet de se restreindre dans la suite au cas n N). 3: Montrer que n Z, x R, Jn (x) = (1)n Jn (x). En dduire la parit de Jn . 4: Soit x R et on considre la fonction fx dnie sur R par fx (t) = eix sin t . 4 - 1: Montrer que fx est dveloppable en srie de Fourier sur R. 4 - 2: Calculer les coefcients de Fourier de fx en fonction des fonctions de Bessel. 4 - 3: Donner le dveloppement de fx en srie de Fourier exponentielle et trigonomtrique sur R.
+ +

5: Montrer que x R,
p= +

Jp (x) = J0 (x) + 2
p=1 + 2 2 Jp (x) = J0 (x) + 2 p=

J2p (x) = 1.
2 Jp ( x) = 1 . p=1

6: Montrer que x R,

7: Soient n N, x R et on considre la fonction gx dnie sur R par gx (t) = fx (t)eint . 7 - 1: Calculer les coefcients de Fourier exponentiels de gx en fonction de ceux de fx . 7 - 2: En dduire que x, y R :
+

Jn (x + y ) =
p=

Jnp (x)Jp (y )

Deuxime partie Dveloppement en srie entire des fonctions de Bessel

1: 2: 3: 4: 5: 6: Montrer que n Z, Jn est de classe C sur R et donner lexpression de Jn sur R pour tout p N. 1 Montrer que n Z, x R, Jn (x) = 2 (Jn1 (x) Jn+1 (x)). Montrer que n Z, x R, xJn+1 (x) + xJn1 (x) = 2nJn (x). En dduire que n Z, x R, xJn (x) + nJn (x) = xJn1 (x). Montrer que n N, Jn est dveloppable en srie entire sur R. Montrer que n N, Jn est une solution globale de lquation En . sin(nt)P (t)dt =
2 2 (p)

7: Soit n N . Montrer que pour tout polynme trigonomtrique P de degr n1 on a

cos(nt)P (t)dt =

0. (k) 8: Montrer que n N , k {0, . . . , n 1 }, Jn (0) = 0. n (1) 2 cos nt + P (t) si n est pair 2n1 n avec P un polynme trigonomtrique 9: Montrer que n N , t R, sin t = n1 2 ( 1) sin nt + P (t) si n est impair 2n1 de degr n 1 de mme parit que n. (n) 10: Montrer que n N, Jn (0) = 21 n. www.mathlaayoune.webs.com 1/2 mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

11: Soit n N. Montrer quil existe une suite (ap )pN de rels telle que x R, Jn (x) = xn
p=0

ap xp .

12: Dterminer le dveloppement en srie entire sur R de Jn (n N).

Troisime partie Zros des fonctions de Bessel

1: Soit n N. 1 - 1: Montrer que Jn se prolonge de faon unique en une fonction holomorphe sur C. 1 - 2: En dduire que les zros de Jn sont isols. 2: Montrer que n N les zros de Jn sur ]0, +[ sont simples. Dans la suite, soit n N et on considre la fonction y : x ]0, +[ Jn (x) x. 3: Montrer que la fonction y est une solution sur ]0, +[ de lquation diffrentielle y (x) + 1
4n2 1 4x2

y (x) = 0.

4: On suppose que n = 0 et soit lapplication W : x ]0, +[ y (x) cos x y (x) sin x. 4 - 1: Calculer W sur ]0, +[. 4 - 2: 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) ]. 4 - 3: Trouver une contradiction et dduire que k N , y sannule au moins une fois sur [k, (k + 1) ]. x x 5: On suppose que n = 0 et soit lapplication W : x [n, +[ 21 n y (x) cos 2n y (x) sin 2n . 5 - 1: Calculer W sur [n, +[. 5 - 2: Montrer que si on suppose que k N tel que y ne sannule pas [2nk, 2n(k + 1) ] alors lapplication f (x) = (1)k y (2nk )W (x) est croissante sur [2nk, 2n(k + 1) ]. 5 - 3: Trouver une contradiction et dduire que k N , y sannule au moins une fois sur [2nk, 2n(k + 1) ]. 6: En dduire que Jn admet une innit de zros sur ]0, +[. 7: Montrer que lensemble des zros de Jn sur ]0, +[ est dnombrable (On peux alors numroter les zros de Jn ). 8: On pose (xk )kN la suite strictement croissante des zros strictement positifs de Jn . Montrer que lim xk = + 9: Montrer que n Z, x R, (xn Jn (x)) = xn Jn1 (x). 10: En dduire que, pour tout n N , entre deux raines strictement positifs de Jn il y a une raine de Jn1 (On dit que les raines de Jn et Jn1 sont entrelaces).

Quatrime partie Fonctions de Bessel de seconde espce

Soit n N. 1: Montrer que a > 0 tel que Jn ne sannule pas sur ]0, a]. (x) 2: Montrer que y est solution de En sur ]0, a] si et seulement si la drive de lapplication (x) = Jy est solution sur ]0, a] n (x) dune quation diffrentielle du premier ordre dterminer. ( x) 2 3: Soit y une solution de En sur ]0, a] et (x) = Jy . Montrer que x ]0, a], xJn (x) (x) = 0. n (x) a dt 4: Trouver un quivalent simple de . 2 x tJn (t) 5: En dduire lexistence dune solution y de En sur ]0, a] telle que lim+ y (x) = +.
x0

6: Montrer que lquation diffrentielle En admet une solution Nn sur ]0, +[ telle que lim Nn (x) = +.
x0+

Nn sappelle fonction de Bessel de seconde espce dordre n. 7: Donner la forme gnrale des solutions globales de En sur ]0, +[. 8: Soient a, b ]0, +[ deux zros conscutifs de Jn . 8 - 1: Montrer que Jn (a)Jn (b) < 0. 8 - 2: Montrer que W (a)W (b) = Nn (a)Nn (b)Jn (a)Jn (b) avec W le Wronskien de Jn et Nn . 8 - 3: Montrer que !c ]a, b[, Nn (c) = 0 et en dduire que Nn admet une innit de zros. 9: Montrer que Jn et Nn nont pas de zros communs sur ]0, +[.

www.mathlaayoune.webs.com

2/2

mathlaayoune@gmail.com