CPGE Lissane eddine Filire MP Laayoune

COMPOSITION DE MATHMATIQUES
Dure 4h
Lutilisation des calculatrices nest pas autorise pour cette preuve.

On attachera la plus grande importance la clart, la prcision et la concision de la
rdaction.

Dnitions et notations
Dans tout le problme, K = R ou C et E, F deux K-espaces vectoriels norms non nuls.
Soit I un intervelle de R dintrieur non vide, a I et f : I K :
On dit que a est un zro de f si f(a) = 0.
On suppose que f est drivable en a. On dit que a est un zro simple de f si f(a) = 0 et f

(a) = 0.
On dit que a est un zro isol de f si f(a) = 0 et > 0, t ]a , a + [\{a}, f(t) = 0.
Un ensemble A est dit :
Dnombrable sil existe une bijection entre A et N.
Au plus dnombrable sil est ni ou dnombrable.
Dans tout le problme, on appelle :
La fonction de Bessel dordre n Z la fonction x R, J
n
(x) =
1

_

0
cos(xsin t nt)dt.
Lquation de Bessel dordre n Z lquation diffrentielle E
n
: x
2
y

+ xy

+ (x
2
n
2
)y = 0.
On admet le lemme suivant appel Lemme de Gronwall :
Soient deux fonctions f, g :]0, +[]0, +[ continues sur ]0, +[ telles f et fg soient intgrables au voisinage
de +.
Si A 0, x > 0, f(x) A +
_
+
x
f(t)g(t)dt alors x > 0, f(x) Aexp
__
+
x
g(t)dt
_
.
Le but de ce problme est dtudier les fonctions de Bessels. Il se compose de quatre parties qui peuvent tre traites
indpendamment :
Dans la premire partie on va tudier la rgularit des fonctions de Bessel et en suite on va chercher leurs
dveloppementd en srie entire.
La deuxime a pour but dtudier lquation diffrentielle de Bessel sur ]0, +[. On va prouver lexistence de
solutions non bornes de lquation de Bessel, ces nouvelles fonctions sappellent les fonctions de Bessel de
seconde espce.
La troisime partie sinteresse quelques relations de rcurrence entre les fonctions de Bessel. On trouvera
aussi la formule de J
n
(x + y).
Le but de la troisime partie est dtudier la dispertion des zros strictement positifs ainsi le comportement
asymptotique des fonctions de Bessel.
Tournez svp
www.mathlaayoune.webs.com 1/4 mathlaayoune@gmail.com
CPGE Lissane eddine Filire MP Laayoune
Premire partie
I : Dveloppement en srie entire des fonctions de Bessel :
1: Montrer que n Z, J
n
est dnie sur R.
2: Montrer que n Z, J
n
= (1)
n
J
n
(Ce qui permet de se restreindre au cas n N).
3: Montrer que n Z, x R, J
n
(x) = (1)
n
J
n
(x). En dduire la parit de J
n
.
4: Montrer que n Z, J
n
est dnie est C

sur R. Donner lexpression de J

(p)
n
sur R pour tout p N.
5:
5 - a: Montrer que n N

, k {0, . . . , n 1}, J
(k)
n
(0) = 0.
5 - b: Soit n N. Calculer J
(n)
n
(0).
6: Soit n N.
6 - a: Montrer que J
n
est une solution de lquation E
n
.
6 - b: Soit y une solution globale de E
n
et on considre la fonction W dnie sur R par W(x) = J

n
(x)y(x)
J
n
(x)y

(x).
6 - b - 1 : Montrer que W vrie une quation diffrentielle linaire du premier degr.
6 - b - 2 : Montrer que W = 0 sur R.
6 - b - 3 : En dduire que les fonctions y et J
n
sont linairement dpendantes.
6 - c: Montrer que lensemble des solution globales de lquation E
n
est un espace vectoriel de dimension un. En
dduire la forme gnrale des solutions de lquation E
n
.
6 - d: Ya-t-il une contradiction avec le thorme du cours qui assure que lespace des solutions globales des quations
diffrentielles scalaires dordre deux est de dimension deux ?
7: Soit n N.
7 - a: Montrer que J
n
est dveloppable en srie entire sur R.
7 - b: Montrer quil existe une suite (a
n
)
nN
de rels telle que x R, J
n
(x) = x
n
+

p=0
a
p
x
p
.
7 - c: Dterminer le dveloppement en srie entire sur R de J
n
.
8: Soient m, n N. Calculer
_

0
sin
m
t cos(nt)dt.
9: Soit n Z.
9 - a: Montrer que J
n
se prolonge de faon unique en une fonction holomorphe sur C.
9 - b: En dduire que les zros de J
n
sont isols.
Deuxime partie
II : Fonctions de Bessel de seconde espce :
Soit n N.
1: Montrer que a > 0 tel que J
n
ne sannule pas sur ]0, a].
2: Soit y :]0, a[R.
2 - a: Montrer que y est solution de E
n
sur ]0, a] si et seulement si la drive de lapplication (x) =
y(x)
J
n
(x)
est
solution sur ]0, a] dune quation diffrentielle du premier ordre dterminer.
2 - b: On suppose que y est solution sur ]0, a] de E
n
. Montrer que x ]0, a],
_
xJ
2
n
(x)

(x)
_

= 0.
2 - c: Trouver un quivalent simple de
_
a
x
dt
tJ
2
n
(t)
.
2 - d: En dduire lexistence dune solution y de E
n
sur ]0, a] telle que lim
x0
+
y(x) = +.
3: Montrer que lquation diffrentielle E
n
admet une solution N
n
sur ]0, +[ telle que lim
x0
+
N
n
(x) = +.
N
n
sappelle fonction de Bessel de seconde espce dordre n.
4: Donner la forme gnrale des solutions globales de E
n
sur ]0, +[.
Tournez svp
www.mathlaayoune.webs.com 2/4 mathlaayoune@gmail.com
CPGE Lissane eddine Filire MP Laayoune
Troisime partie
III : Proprits des fonctions de Bessel :
1: Montrer que n Z, J

n
=
1
2
(J
n1
J
n+1
).
2: Montrer que n Z, x R, xJ
n+1
(x) + xJ
n1
(x) = 2nJ
n
(x).
3: En dduire que n Z, x R, xJ

n
(x) + nJ
n
(x) = J
n1
(x).
4: Montrer que n Z, x R, (x
n
J
n
(x))

= x
n
J
n1
(x).
5: En dduire que, pour tout n Z, entre deux raines de J
n
il y a une raine de J
n1
(On dit que les raines de J
n
et J
n1
sont entrelaces).
6: Soit n N. Pour tout x R, on considre les fonctions f
x
et g
x
dnie sur R par f(t) = e
ixsin t
et g
x
(t) =
f
x
(t)e
int
.
6 - a: Soit x R.
6 - a - 1 : Montrer que f
x
est dveloppable en srie de Fourier sur R.
6 - a - 2 : Calculer les coefcients de Fourier de f
x
en fonction des fonctions de Bessel.
6 - a - 3 : Donner le dveloppement de f
x
en srie de Fourier sur R.
6 - a - 4 : Montrer que
+

p=
J
p
(x) = J
0
(x) + 2
+

p=1
J
2p
(x) = 1.
6 - a - 5 : Montrer que
+

p=
J
2
p
(x) = J
2
0
(x) + 2
+

p=1
J
2
p
(x) = 1.
6 - b: Soient x, y R.
6 - b - 1 : Calculer les coefcients de Fourier de g
x
en fonction des coefcients de Fourier de f
x
.
6 - b - 2 : Montrer que :
J
n
(x + y) =
+

p=
J
np
(x)J
p
(y) =
n

p=0
J
np
(x)J
p
(y) +
+

p=1
(1)
p
(J
n+p
(x)J
p
(y) + J
p
(x)J
n+p
(y))
Troisime partie
IV : Zros des fonctions de Bessel, comportement asymptotique linni :
1: Soit I un intervalle ouvert non vide de R et f : I R continue sur I. Trouver la forme gnrale des solutions de
lquation diffrentielle y

(x) + y(x) = f(x).

2: Soit I un intervalle ouvert non vide de R, q : I R continue sur I et y une solution non identiquement nulle sur
I de lquation diffrentielle E : y

(x) + q(x)y(x) = 0.
2 - a: Justier lexistence de y.
2 - b: Montrer que si y admet un zro a I alors a est un zro simple de y.
2 - c: Montrer que lensemble des zros de y sur I est au plus dnombrables (On peux alors numroter les zros de
y lorsquils existent).
3: Soit I un intervalle ouvert non vide de R, q
1
, q
2
: I R continues sur I telles que x I, q
1
(x) q
2
(x) et y
1
(resp. y
2
) une solution non identiquement nulle sur I de lquation diffrentielle E
1
: y

(x) + q
1
(x)y(x) = 0 (resp.
E
2
: y

(x) + q
2
(x)y(x) = 0).
On suppose que y
1
admet deux raines conscutifs a < b sur I. y
1
garde alors un signe constant sur ]a, b[, pour xer
les ides, on va supposer que y > 0 sur ]a, b[.
3 - a: Montrer que y

1
(a)y

1
(b) < 0.
3 - b: En tudiant la fonction W(x) = y

1
(x)y
2
(x) y
1
(x)y

2
(x) sur [a, b], montrer que y
2
admet au moins une
raine sur sur [a, b].
3 - c: En dduire que si y
2
ne sannule pas sur I alors y
1
admet au plus une raine sur I.
Tournez svp
www.mathlaayoune.webs.com 3/4 mathlaayoune@gmail.com
CPGE Lissane eddine Filire MP Laayoune
4: Soit I un intervalle ouvert non vide de R, q : I R continue sur I telle que m > 0, x I, q(x) m et y une
solution non identiquement nulle sur I de lquation diffrentielle E : y

(x) + q(x)y(x) = 0.
4 - a: Montrer que lensemble des zros de y est dnombrable.
4 - b: Soit (x
n
) la suite strictement croissante des zros de y. Montrer que n N, x
n+1
x
n

m
.
5: Soit I un intervalle ouvert non vide de R, q : I R continue sur I telle que m > 0, x I, q(x) m et y une
solution non identiquement nulle sur I de lquation diffrentielle E : y

(x) + q(x)y(x) = 0.
On suppose que y admet une innit de zros (ils seront alors dnombrables) et soit (x
n
) la suite strictement crois-
sante des zros de y. Montrer que n N, x
n+1
x
n

m
.
6: Soit a > 0, q :]a, +[ R continue sur ]a, +[ telle que m > 0, lim
x+
q(x) = m et y une solution non
identiquement nulle sur I de lquation diffrentielle E : y

(x) + q(x)y(x) = 0.
6 - a: Montrer que lensemble des zros de y est dnombrable.
6 - b: Soit (x
n
) la suite strictement croissante des zros de y. Montrer que lim
n+
(x
n+1
x
n
) =

m
.
7: Soit n N.
7 - a: Montrer que la fonction y(x) = J
n
(x)

x est solution sur ]0, +[ dune quation de la forme y

(x) +
q(x)y(x) = 0.
7 - b: En dduire que lensemble des zros strictement positifs de J
n
est dnombrable.
7 - c: Soit (x
k
)
kN
la suite strictement croissante des zros strictement positifs de J
n
.
7 - c - 1 : Montrer que lim
k+
x
k
= +.
7 - c - 2 : Montrer que lim
k+
(x
k+1
x
k
) = .
7 - c - 3 : Montrer que x
k
k.
7 - c - 4 : Montrer que si n = 0 alors k N, x
k+1
x
k
> .
7 - c - 5 : Montrer que si n 1 alors k N, x
k+1
x
k
< .
8: Soit n N et on considre la fonction y dnie sur ]0, +[ par y(x) = J
n
(x)

x.
8 - a: Montrer quil existe a, b R, x > 0, y(x) = Acos x + B sin x +
_
+
x
4n
2
1
t
2
y(t) sin(x t)dt.
8 - b: Montrer que
_
+
x
4n
2
1
t
2
y(t) sin(x t)dt =
+
O
_
1
x
_
.
8 - c: En dduire que a
n
, b
n
R, J
n
(x) =
+
a
n

x
sin(x + b
n
) + O
_
1
x

x
_
.
Remarque : On montre que J
n
(x) =
+
_
2
x
sin
_
x n

2


4
_
+ O
_
1
x

x
_
.
Fin

www.mathlaayoune.webs.com 4/4 mathlaayoune@gmail.com