CPGE Laayoune Lissane Eddine Essaidi Ali

Fonctions de Bessel
Dnitions et notations
On appelle :
Fonction de Bessel dordre n Z la fonction x R, J
n
(x) =
1

_

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

+ xy

+ (x
2
n
2
)y = 0.
Premire partie
Proprits 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 dans la suite 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: Soit x R et on considre la fonction f
x
dnie sur R par f
x
(t) = e
ix sin t
.
4 - 1: Montrer que f
x
est dveloppable en srie de Fourier sur R.
4 - 2: Calculer les coefcients de Fourier de f
x
en fonction des fonctions de Bessel.
4 - 3: Donner le dveloppement de f
x
en srie de Fourier exponentielle et trigonomtrique sur R.
5: Montrer que x R,
+

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

p=1
J
2p
(x) = 1.
6: Montrer que x R,
+

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

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

p=
J
np
(x)J
p
(y)
Deuxime partie
Dveloppement en srie entire des fonctions de Bessel
1: Montrer que n Z, J
n
est de classe C

sur R et donner lexpression de J

(p)
n
sur R pour tout p N.
2: Montrer que n Z, x R, J

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

n
(x) + nJ
n
(x) = xJ
n1
(x).
5: Montrer que n N, J
n
est dveloppable en srie entire sur R.
6: Montrer que n N, J
n
est une solution globale de lquation E
n
.
7: Soit n N

. Montrer que pour tout polynme trigonomtrique P de degr n1 on a

_
2
sin(nt)P(t)dt =
_
2
cos(nt)P(t)dt =
0.
8: Montrer que n N

, k {0, . . . , n 1}, J
(k)
n
(0) = 0.
9: Montrer que n N

, t R, sin
n
t =
_

_
(1)
n
2
2
n1
cos nt + P(t) si n est pair
(1)
n1
2
2
n1
sin nt + P(t) si n est impair
avec P un polynme trigonomtrique
de degr n 1 de mme parit que n.
10: Montrer que n N, J
(n)
n
(0) =
1
2
n
.
www.mathlaayoune.webs.com 1/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
11: Soit n N. Montrer quil existe une suite (a
p
)
pN
de rels telle que x R, J
n
(x) = x
n
+

p=0
a
p
x
p
.
12: Dterminer le dveloppement en srie entire sur R de J
n
(n N).
Troisime partie
Zros des fonctions de Bessel
1: Soit n N.
1 - 1: Montrer que J
n
se prolonge de faon unique en une fonction holomorphe sur C.
1 - 2: En dduire que les zros de J
n
sont isols.
2: Montrer que n N les zros de J
n
sur ]0, +[ sont simples.
Dans la suite, soit n N et on considre la fonction y : x ]0, +[ J
n
(x)

x.
3: Montrer que la fonction y est une solution sur ]0, +[ de lquation diffrentielle y

(x) +
_
1
4n
2
1
4x
2
_
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)].

5: On suppose que n = 0 et soit lapplication W : x [n, +[
1
2n
y(x) cos
x
2n
y

(x) sin
x
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 J
n
admet une innit de zros sur ]0, +[.
7: Montrer que lensemble des zros de J
n
sur ]0, +[ est dnombrable (On peux alors numroter les zros de J
n
).
8: On pose (x
k
)
kN
la suite strictement croissante des zros strictement positifs de J
n
. Montrer que limx
k
= +
9: Montrer que n Z, x R, (x
n
J
n
(x))

= x
n
J
n1
(x).
10: En dduire que, pour tout n N

, entre deux raines strictement positifs de J

n
il y a une raine de J
n1
(On dit que les
raines de J
n
et J
n1
sont entrelaces).
Quatrime partie
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: 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.
3: Soit y une solution de E
n
sur ]0, a] et (x) =
y(x)
J
n
(x)
. Montrer que x ]0, a],
_
xJ
2
n
(x)

(x)
_

= 0.
4: Trouver un quivalent simple de
_
a
x
dt
tJ
2
n
(t)
.
5: En dduire lexistence dune solution y de E
n
sur ]0, a] telle que lim
x0
+
y(x) = +.
6: 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.
7: Donner la forme gnrale des solutions globales de E
n
sur ]0, +[.
8: Soient a, b ]0, +[ deux zros conscutifs de J
n
.
8 - 1: Montrer que J

n
(a)J

n
(b) < 0.
8 - 2: Montrer que W(a)W(b) = N
n
(a)N
n
(b)J

n
(a)J

n
(b) avec W le Wronskien de J
n
et N
n
.
8 - 3: Montrer que !c ]a, b[, N
n
(c) = 0 et en dduire que N
n
admet une innit de zros.
9: Montrer que J
n
et N
n
nont pas de zros communs sur ]0, +[.
www.mathlaayoune.webs.com 2/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Correction du problme
Premire partie
Proprits des fonctions de Bessel
1: Soient n Z et x R. Lapplication t cos(xsin t nt) est continue sur [0, ] donc intgrable sur [0, ] do
_

0
cos(xsin t nt)dt est bien dnie. On dduit que x R, J
n
(x) est dni donc lapplication J
n
est dnie sur R.
2: Soient n Z et x R. En considrant le changement de variables u = t, on a J
n
(x) =
1

_

0
cos(xsin t + nt)dt =
1

_

0
cos(xsin(u)+n(u))du =
1

_

0
cos(xsin(u)nu+n)du =
(1)
n

_

0
cos(xsin(u)nu)du = (1)
n
J
n
(x).
On a x R, J
n
(x) = (1)
n
J
n
(x) donc J
n
= (1)
n
J
n
(Ce qui permet de se restreindre dans la suite au cas n N).
3: Soient n Z et x R. On a J
n
(x) =
1

_

0
cos(xsin tnt)dt =
1

_

0
cos(xsin t+nt)dt = J
n
(x) = (1)
n
J
n
(x).
On dduit que si n est pair (resp. impair) alors J
n
est paire (resp. impaire), autrement dit, n et J
n
ont mme parit.
4:
4 - 1: On a f
x
2-priodique, continue et de classe C
1
sur R donc, daprs le thorme de Dirichlet (Cas de la convergence
normale), la srie de Fourier de f
x
converge normalement sur R vers f. En particulier, f
x
est dveloppable en srie de Fourier
sur R (Cest--dire gale la somme de sa srie de Fourier).
4 - 2: Soit n Z. On a c
n
(f
x
) =
1
2
_

e
ix sin t
e
int
dt =
1
2
_

e
i(x sin tint)
dt =
1
2
_

cos(xsin t nt)dt +
i
1
2
_

sin(xsin t nt)dt.
On a t cos(xsin t nt) paire et t sin(xsin t nt) impaire donc
_

cos(xsin t nt)dt = 2
_

0
cos(xsin t nt)dt et
1
2
_

sin(xsin t nt)dt = 0.
On dduit que c
n
(f
x
) =
1

_

0
cos(xsin t nt)dt = J
n
(x).
4 - 3: On a f
x
dveloppable en srie de Fourier sur R donc son dveloppement en srie de Fourier expenentielle est :
t R, f
x
(t) =
+

p=
c
p
(f
x
)e
ipt
=
+

p=
J
p
(x)e
ipt
Son dveloppement en srie de Fourier trigonomtrique est :
t R, f
x
(t) = c
0
(f
x
) +

+
p=1
_
c
p
(f
x
)e
ipt
+ c
p
(f
x
)e
ipt
_
= J
0
(x) +
+

p=1
_
J
p
(x)e
ipt
+ J
p
(x)e
ipt
_
= J
0
(x) +
+

p=1
[(J
p
(x) + J
p
(x)) cos pt + i(J
p
(x) J
p
(x)) sin pt]
= J
0
(x) +
+

p=1
[(1 + (1)
p
)J
p
(x) cos pt + i(1 (1)
p
)J
p
(x) sin pt]
Remarque : On peut aussi, pour le dvelppement de f
x
en srie de Fourier trigonomtrique sur R, crire : On a p N :
1. a
p
(f
x
) = c
p
(f
x
) + c
p
(f
x
) = J
p
(x) + J
p
(x) = J
p
(x) + (1)
p
J
p
(x) = (1 + (1)
p
)J
p
(x).
2. b
p
(f
x
) = i(c
p
(f
x
) c
p
(f
x
)) = i(J
p
(x) J
p
(x)) = i(J
p
(x) (1)
p
J
p
(x)) = i(1 (1)
p
)J
p
(x).
www.mathlaayoune.webs.com 3/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Donc
t R, f
x
(t) =
a
0
(f
x
)
2
+
+

p=1
(a
p
(f
x
) cos pt + b
p
(f
x
) sin pt)
= J
0
(x) +
+

p=1
[(1 + (1)
p
)J
p
(x) cos pt + i(1 (1)
p
)J
p
(x) sin pt]
5: Soit x R. On a t R, f
x
(t) =
+

p=
J
p
(x)e
ipt
= J
0
(x) +
+

p=1
[(1 + (1)
p
)J
p
(x) cos pt + i(1 (1)
p
)J
p
(x) sin pt]
donc, pour t = 0, on a :
1 =
+

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

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

p=1
J
2p
(x)
6: Soit x R. On a f
x
2-priodique et continue sur R donc, daprs la formule de Parseval :
+

p=
|c
p
(f
x
)|
2
=
a
0
(f
x
)
4
+
1
2
+

p=1
_
|a
p
(f
x
)|
2
+|b
p
(f
x
)|
2
_
=
1
2
_
2
|f(t)|
2
dt
Or :
p Z, c
p
(f
x
) = J
p
(x).
p N, a
p
(f
x
) = (1 + (1)
p
)J
p
(x) et b
p
(f
x
) = i(1 (1)
p
)J
p
(x) donc |a
p
(f
x
)|
2
+ |b
p
(f
x
)|
2
= (1 + (1)
p
)
2
J
2
p
(x) +
(1 (1)
p
)
2
J
2
p
(x) = 4J
2
p
(x).

1
2
_
2
|f(t)|
2
dt =
1
2
_
2
|e
ix sin t
|
2
dt =
1
2
_
2
dt = 1.
Donc :
+

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

p=1
J
2
p
(x) = 1
7:
7 - 1: Soit p Z. On a :
c
p
(g
x
) =
1
2
_
2
g
x
(t)e
ipt
dt =
1
2
_
2
f
x
(t)e
int
e
ipt
dt =
1
2
_
2
f
x
(t)e
i(pn)t
dt = c
pn
(f
x
)
7 - 2: Soient x, y R. On a p Z, |J
np
(x)J
p
(y)| = |c
np
(f
x
)c
p
(f
x
)| |c
np
(f
x
)|
2
+ |c
p
(f
x
)|
2
et on sait que les coef-
cients de Fourier de f
x
forment une famille carr sommable donc la famille (c
np
(f
x
)c
p
(f
x
))
pZ
est absolument sommable.
Dautre part, On a p Z, J
np
(x)J
p
(y) = c
np
(f
x
)c
p
(f
y
) = c
pn
(f
x
)c
p
(f
y
) = c
pn
(f
x
)c
p
(f
y
) = c
p
(g
x
)c
p
(f
y
) car
k Z, c
k
(f
x
) = c
k
(f
x
) et f
x
= f
x
.
On a f
y
et g
x
2-priodiques et continues sur R donc :
1
2
_
2
g
x
(t)f
y
(t)dt =
+

p=
c
p
(g
x
)c
p
(f
y
)
=
+

p=
J
np
(x)J
p
(y)
Or
1
2
_
2
g
x
(t)f
y
(t)dt =
1
2
_
2
e
ix sin t
e
int
e
iy sin t
dt
=
1
2
_
2
e
i(x+y) sin t
e
int
dt
= c
n
(f
x+y
)
= J
n
(x + y)
www.mathlaayoune.webs.com 4/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Donc
J
n
(x + y) =
+

p=
J
np
(x)J
p
(y)
Deuxime partie
Dveloppement en srie entire des fonctions de Bessel
1: Soit n Zet on pose (x, t) = cos(xsin tnt). On a p N, x R, t [0, ],

p

x
p
(x, t) = sin
p
t cos
_
xsin t nt + p

2
_
donc

p

x
p
existe et continue sur R [0, ] do, daprs le thorme de drivation sous signe intgral, J
n
est de classe C

sur
R et on a :
p N, x R, J
(p)
n
(x) =
1

_

0
sin
p
t cos
_
xsin t nt + p

2
_
dt
2: Soient n Z et x R. On a :
J

n
(x) =
1

_

0
sin t cos
_
xsin t nt +

2
_
dt
=
1

_

0
sin t sin(xsin t nt)dt
=
1
2
_

0
(cos(xsin t nt + t) cos(xsin t nt t)) dt
=
1
2
_

0
cos(xsin t (n 1)t)dt
1
2
_

0
cos(xsin t (n + 1)t)dt
=
1
2
(J
n1
(x) J
n+1
(x))
3: Soient n Z et x R. On a :
xJ
n+1
(x) + xJ
n1
(x) =
x

_

0
cos(xsin t (n + 1)t)dt +
x

_

0
cos(xsin t (n 1)t)dt
=
x

_

0
(cos(xsin t (n + 1)t) + cos(xsin t (n + 1)t)) dt
=
2x

_

0
cos t cos(xsin t nt)dt
=
2

_

0
(xcos t n) cos(xsin t nt)dt +
2n

_

0
cos(xsin t nt)dt
= [sin(xsin t nt)]

0
+ 2nJ
n
(x)
= 2nJ
n
(x)
4: Soient n Z et x R. On a, daprs les questions 2 et 3,
_
2xJ

n
(x) = xJ
n1
(x) xJ
n+1
(x)
2nJ
n
(x) = xJ
n+1
(x) + xJ
n1
(x)
donc, en sommant les
deux quations, 2xJ

n
(x) + 2nJ
n
(x) = 2xJ
n1
(x) do xJ

n
(x) + nJ
n
(x) = xJ
n1
(x).
5: Soit n N. On a p N, x R :
|J
(p)
n
| =
1

_

0
sin
p
t cos
_
xsin t nt + p

2
_
dt

_

0

sin
p
t cos
_
xsin t nt + p

2
_

dt

_

0
dt
= 1
www.mathlaayoune.webs.com 5/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Donc les drives successives de J
n
sont uniformment bornes sur R (cest dire toutes les drives de J
n
sont bornes sur R
par la mme constante) do J
n
est dveloppable en srie entire sur R.
6: Soit n N et x R. On a J

n
(x) =
1

_

0
sin t cos
_
xsin t nt +

2
_
dt =
1

_

0
sin t sin(xsin t nt)dt et J

n
(x) =
1

_

0
sin
2
t cos
_
xsin t nt + 2

2
_
dt =
1

_

0
sin
2
t cos(xsin t nt)dt donc :
xJ

n
(x) =
x

_

0
(cos t)

sin(xsin t nt)dt
=
x

[cos t sin(xsin t nt)]

0

x

_

0
cos t(xcos t n) cos(xsin t nt)dt
=
x
2

_

0
cos
2
t cos(xsin t nt)dt +
nx

_

0
cos t cos(xsin t nt)dt
=
x
2

_

0
(sin
2
t 1) cos(xsin t nt)dt +
n

_

0
(xcos t n + n) cos(xsin t nt)dt
=
x
2

_

0
sin
2
t cos(xsin t nt)dt
x
2

_

0
cos(xsin t nt)dt +
n

_

0
(xcos t n) cos(xsin t nt)dt
+
n
2

_

0
cos(xsin t nt)dt
= x
2
J

n
(x) x
2
J
n
(x) +
n

0
sin(xsin t nt)dt]

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

n
(x) (x
2
n
2
)J
n
(x)
On dduit que x
2
J

n
(x) + x
2
J

n
(x) + (x
2
n
2
)J
n
(x) = 0 donc J
n
est une solution de lquation E
n
sur R. Or lquation est
dnie sur R donc J
n
est une solution globale de lquation E
n
.
7: On rappelle que p, q N avec p = q on a
_
2
sin pt sin qtdt =
_
2
sin pt cos qtdt =
_
2
cos pt cos qtdt = 0.
Soit P(x) =
m

k=0
(a
k
cos kx + b
k
sin kx) avec m n 1. On a :
_
2
sin ntP(t)dt =
_
2
sin nt
_
m

k=0
(a
k
cos kt + b
k
sin kt)
_
dt =
m

k=0
_
a
k
_
2
sin nt cos ktdt + b
k
_
2
sin nt sin ktdt
_
= 0
Et
_
2
cos ntP(t)dt =
_
2
cos nt
_
m

k=0
(a
k
cos kt + b
k
sin kt)
_
dt =
m

k=0
_
a
k
_
2
cos nt cos ktdt + b
k
_
2
cos nt sin ktdt
_
= 0
Do le rsultat.
8: Soit n N

et k {0, . . . , n 1}. On a J
(k)
n
(0) =
1

_

0
sin
k
t cos
_
nt + k

2
_
dt.
Si k est pair alors J
(k)
n
(0) =
(1)
k
2

_

0
sin
k
t cos ntdt =
(1)
k
2

sin
k
t cos ntdt car t sin
k
t cos nt est paire do,
daprs la question 7, J
(k)
n
(0) = 0 car, par linarisation, P(t) = sin
k
t est un polynme trigonomtrique de degr k n 1.
Si k est impair alors :
J
(k)
n
(0) =
1

_

0
sin
k
t cos
_
nt +

2
+ (k 1)

2
_
dt =
(1)
k1
2

_

0
sin
k
t sin ntdt =
(1)
k1
2

sin
k
t sin ntdt car
t sin
k
t sin nt est paire do, daprs la question 7, J
(k)
n
(0) = 0 car, par linarisation, P(t) = sin
k
t est un polynme
trigonomtrique de degr k n 1.
9: Soit n N

et t R.
Si n est pair alors :
www.mathlaayoune.webs.com 6/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
sin
n
t =
_
e
it
e
it
2i
_
n
=
1
2
n
i
n
n

k=0
(1)
nk
C
k
n
e
ikt
e
i(nk)t
=
(1)
n
2
2
n
n

k=0
(1)
k
C
k
n
e
i(2kn)t
=
(1)
n
2
2
n
_
_
n
2
1

k=0
(1)
k
C
k
n
e
i(2kn)t
+
n

k=
n
2
+1
(1)
k
C
k
n
e
i(2kn)t
+ (1)
n
2
C
n
2
n
_
_
Par le changement p =
n
2
k, on a :
n
2
1

k=0
(1)
k
C
k
n
e
i(2kn)t
=
n
2

k=1
(1)
n
2
p
C
n
2
p
n
e
2ipt
= (1)
n
2
n
2

k=1
(1)
p
C
n
2
p
n
e
2ipt
Par le changement p = k
n
2
, on a :
n

k=
n
2
+1
(1)
k
C
k
n
e
i(2kn)t
=
n
2

p=1
(1)
n
2
+p
C
n
2
+p
n
e
2ipt
= (1)
n
2
n
2

k=1
(1)
p
C
n
2
p
n
e
2ipt
Car C
n
2
+p
n
= C
n(
n
2
+p)
n
= C
n
2
p
n
.
Donc :
sin
n
t =
1
2
n
_
_
n
2

k=1
(1)
p
C
n
2
p
n
e
2ipt
+
n
2

k=1
(1)
p
C
n
2
p
n
e
2ipt
+ (1)
n
2
C
n
2
n
_
_
=
1
2
n
_
_
n
2

k=1
(1)
p
C
n
2
p
n
_
e
2ipt
+ e
2ipt
_
+ (1)
n
2
C
n
2
n
_
_
=
1
2
n1
_
_
n
2

k=1
(1)
p
C
n
2
p
n
cos 2pt + 2(1)
n
2
C
n
2
n
_
_
=
(1)
n
2
2
n1
cos nt +
1
2
n1
_
_
n
2
1

k=1
(1)
p
C
n
2
p
n
cos 2pt + 2(1)
n
2
C
n
2
n
_
_
On pose P(t) =
1
2
n1
_
_
n
2
1

k=1
(1)
p
C
n
2
p
n
cos 2pt + 2(1)
n
2
C
n
2
n
_
_
donc P est un polynme trigonomtrique pair de degr
n 1 et on a sin
n
t =
(1)
n
2
2
n1
cos nt + P(t).
Si n est impair alors :
www.mathlaayoune.webs.com 7/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
sin
n
t =
_
e
it
e
it
2i
_
n
=
1
2
n
i
n
n

k=0
(1)
nk
C
k
n
e
ikt
e
i(nk)t
=
(1)
n+1
2
2
n
i
n

k=0
(1)
k
C
k
n
e
i(2kn)t
=
(1)
n+1
2
2
n
i
_
_
n1
2

k=0
(1)
k
C
k
n
e
i(2kn)t
+
n

k=
n+1
2
(1)
k
C
k
n
e
i(2kn)t
+ (1)
n
2
C
n
2
n
_
_
Par le changement p =
n1
2
k, on a :
n1
2

k=0
(1)
k
C
k
n
e
i(2kn)t
=
n1
2

k=0
(1)
n1
2
p
C
n1
2
p
n
e
i(2p+1)t
= (1)
n+1
2
n1
2

k=0
(1)
p
C
n1
2
p
n
e
i(2p+1)t
Par le changement p = k
n+1
2
, on a :
n

k=
n+1
2
(1)
k
C
k
n
e
i(2kn)t
=
n1
2

p=0
(1)
n+1
2
+p
C
n+1
2
+p
n
e
i(2p+1)t
= (1)
n+1
2
n1
2

k=0
(1)
p
C
n1
2
p
n
e
i(2p+1)t
Car C
n+1
2
+p
n
= C
n(
n+1
2
+p)
n
= C
n1
2
p
n
.
Donc :
sin
n
t =
1
2
n
i
_
_
n1
2

k=0
(1)
p
C
n1
2
p
n
e
i(2p+1)t

n1
2

k=0
(1)
p
C
n1
2
p
n
e
i(2p+1)t
_
_
=
1
2
n
i
n1
2

k=0
(1)
p
C
n1
2
p
n
_
e
i(2p+1)t
e
i(2p+1)t
_
=
1
2
n1
n1
2

k=0
(1)
p
C
n1
2
p
n
sin(2p + 1)t
=
(1)
n1
2
2
n1
sin nt +
1
2
n1
n3
2

k=0
(1)
p
C
n1
2
p
n
sin(2p + 1)t
On pose P(t) =
1
2
n1
n3
2

k=0
(1)
p
C
n1
2
p
n
sin(2p + 1)t donc P est un polynme trigonomtrique impair de degr n 1 et
on a sin
n
t =
(1)
n1
2
2
n1
sin nt + P(t).
10: Soit n N. On a J
(n)
n
(0) =
1

_

0
sin
n
t cos
_
nt + n

2
_
dt.
Si n = 0 alors J
(n)
n
(0) = J
0
(0) =
1

_

0
cos 0dt = 1 =
1
2
0
, sinon :
Si n est pair alors il existe un polynme trigonomtrique pair de deg n 1 tel que sin
n
t =
(1)
n
2
2
n1
cos nt + P(t).
On a P pair donc
_

0
P(t) cos ntdt =
1
2
_

P(t) cos ntdt = 0 daprs la question 7.

www.mathlaayoune.webs.com 8/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Dautre part, on sait que
1

_

0
cos
2
ntdt =
1
2
_

cos
2
ntdt =
1
2
donc J
(n)
n
(0) =
1

_

0
sin
n
t cos
_
nt + n

2
_
dt =
(1)
n
2

_

0
_
(1)
n
2
2
n1
cos nt + P(t)
_
cos ntdt =
1
2
n1

_

0
cos
2
ntdt +
(1)
n
2

_

0
P(t) cos ntdt =
1
2
n
.
Si n est impair alors il existe un polynme trigonomtrique impair de deg n 1 tel que sin
n
t =
(1)
n1
2
2
n1
sin nt +P(t).
On a P impair donc
_

0
P(t) sin ntdt =
1
2
_

P(t) sin ntdt = 0 daprs la question 7.

Dautre part, on sait que
1

_

0
sin
2
ntdt =
1
2
_

sin
2
ntdt =
1
2
donc J
(n)
n
(0) =
1

_

0
sin
n
t cos
_
nt + n

2
_
dt =
1

_

0
sin
n
t cos
_
nt +

2
+
n 1
2

_
dt =
(1)
n1
2

_

0
_
(1)
n1
2
2
n1
sin nt + P(t)
_
sin ntdt =
1
2
n1

_

0
sin
2
ntdt+
(1)
n1
2

_

0
P(t) sin ntdt =
1
2
n
.
11: Soit n N. On a J
n
dveloppable en srie entire sur R donc x R, J
n
(x) =
+

p=0
J
(p)
n
(0)
p!
x
p
=
+

p=n
J
(p)
n
(0)
p!
x
p
car
p {0, . . . , n 1}, J
(p)
n
(0) = 0.
Il suft alors de poser, p N, a
p
=
J
(p+n)
n
(0)
(p + n)!
et on a x R, J
n
(x) =
+

p=n
J
(p)
n
(0)
p!
x
p
=
+

p=0
J
(p+n)
n
(0)
(p + n)!
x
p+n
=
+

p=0
a
p
x
p+n
= x
n
+

p=0
a
p
x
p
.
12: Soit n N et x R. On a J
n
(x) =
+

p=0
a
p
x
p+n
donc J

n
(x) =
+

p=0
(n + p)a
p
x
p+n1
et J

n
(x) =
+

p=0
(n + p)(n + p
1)a
p
x
p+n2
.
On a J
n
solution globale de E
n
donc :
0 = x
2
J

n
(x) + x
2
J

n
(x) + (x
2
n
2
)J
n
(x)
= x
2
+

p=0
(n + p)(n + p 1)a
p
x
p+n2
+ x
+

p=0
(n + p)a
p
x
p+n1
+ (x
2
n
2
)
+

p=0
a
p
x
p+n
=
+

p=0
(n + p)(n + p 1)a
p
x
p+n
+
+

p=0
(n + p)a
p
x
p+n
+
+

p=0
a
p
x
p+n+2
n
2
+

p=0
a
p
x
p+n
=
+

p=0
_
(n + p)(n + p 1) + (n + p) n
2
_
a
p
x
p+n
+
+

p=2
a
p2
x
p+n
=
_
(n + 0)
2
n
2
_
a
0
x
n
+
_
(n + 1)
2
n
2
_
a
1
x
n+1
+
+

p=2
__
(n + p)
2
n
2
_
a
p
+ a
p2

x
p+n
= (2n + 1)a
1
x
n+1
+
+

p=2
(p(2n + p)a
p
+ a
p2
) x
p+n
On dduit que a
1
= 0 et p 2, a
p
=
1
p(2n + p)
a
p2
donc p N

, a
2p1
= 0 et a
2p
=
1
4p(n + p)
a
2p2
=
(1)
p
n!
4
p
p!(n + p)!
a
0
=
(1)
p
2
2p+n
p!(n + p)!
car a
0
=
J
(n)
n
(0)
n!
=
1
2
n
n!
. On dduit que :
J
n
(x) =
+

p=0
(1)
p
2
2p+n
p!(n + p)!
x
n+2p
=
x
n
2
n
+

p=0
(1)
p
2
2p
p!(n + p)!
x
2p
Troisime partie
www.mathlaayoune.webs.com 9/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Zros des fonctions de Bessel
1:
1 - 1: On a J
n
dnie sur R et x R, J
n
(x) =
+

p=0
(1)
p
2
2p+n
p!(n + p)!
x
n+2p
donc le rayon de convergence de la srie entire

p0
(1)
p
2
2p+n
p!(n + p)!
z
n+2p
est inni. On pose f sa somme donc f est dnie et holomorphe sur C. Or x R, J
n
(x) = f(x)
donc f est un prolongement de J
n
en une fonction holomorphe sur C.
Soit g un prolongement de J
n
en une fonction holomorphe sur C. On a :
1. C ouvert connexe par arcs.
2. f et g holomorphes sur C.
3. x R, f(x) = J
n
(x) = g(x) donc n N

, f
_
1
n
_
= g
_
1
n
_
avec la suite
_
1
n
_
nN

lments deux deux distincts et

convergente dans C.
Donc, daprs le principe didentication des fonctions holomorphes, g = f sur C do f est lunique prolongement de J
n
en
une fonction holomorphe sur C.
1 - 2: Soit f le prolongement de J
n
en une fonction holomorphe sur C. On a J
n
non nulle car J
(n)
n
(0) =
1
2
n
= 0 donc f est
non nulle et puisque f est holomorphe sur C qui est ouvert connexe par arcs donc, daprs le principe des zros isols, les zros
de f sont isols et par suites ceux de J
n
sont aussi isols.
2: Supposons que n N tel que J
n
admet un zro multiple x
0
]0, +[ donc J
n
(x
0
) = J

n
(x
0
) = 0 do J
n
est une solution
globale du problme de Cauchy sur ]0, +[ : E :
_

_
u

(x) +
1
x
u

(x) +
_
1
n
2
x
2
_
u(x) = 0
u(x
0
) = u

(x
0
) = 0
.
Lapplication identiquement nulle est une solution globale de E donc, par unicit de la solution globale dans le thorme de
Cauchy-Lipschitz du problme de Cauchy E, J
n
est nulle sur ]0, +[. Absurde, car dans ce cas les zros de J
n
sur ]0, +[
seront non isols.
On dduit que les zros de J
n
sur ]0, +[ sont simples.
3: On a x > 0, y

(x) = J

n
(x)

x+
J

n
(x)

x

J
n
(x)
4x

x
=
_
x
2
J

n
(x) + xJ

n
(x)
1
4
J
n
(x)
_
1
x

x
=
_
(n
2
x
2
)J
n
(x)
1
4
J
n
(x)
_
1
x

x
car x
2
J

n
(x) + xJ

n
(x) + (x
2
n
2
)J
n
(x) = 0.
On dduit que x > 0, y

(x) = (n
2
x
2

1
4
)
J
n
(x)
x

x
= (n
2
x
2

1
4
)
y(x)
x
2
=
_
1
4n
2
1
4x
2
_
y(x) donc y est une solution sur
]0, +[ de lquation diffrentielle y

(x) +
_
1
4n
2
1
4x
2
_
y(x) = 0.
4:
4 - 1: On a x > 0 :
W

(x) = y

(x) cos x y(x) sin x y

(x) sin x y

(x) cos x
= (y(x) + y

(x)) sin x
=
1
4x
2
y(x) sin x
Car y

(x) +
_
1 +
1
4x
2
_
y(x) = 0.
4 - 2: Supposons que k N

tel que y ne sannule pas [k, (k + 1)] donc y garde un signe constant sur [k, (k + 1)] do
x [k, (k + 1)], y(k)y(x) > 0.
Dautre part, le signe de sin sur [k, (k + 1)] est celui de (1)
k
donc x [k, (k + 1)], (1)
k
sin x 0.
On dduit que x [k, (k + 1)], f

(x) = (1)
k
y(k)W

(x) =
1
4x
2
(1)
k
sin(x)y(k)y(x) 0 donc f est croissante sur
[k, (k + 1)].
4 - 3: Supposons que k N

tel que y ne sannule pas [k, (k +1)] donc, daprs la question prcdente f est croissante sur
[k, (k + 1)]. Absurde, car
www.mathlaayoune.webs.com 10/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
f(k) = (1)
k
y(k)W(k)
= (1)
k
y(k)(y(k) cos k y

(k) sin k)
= (1)
k
y(k)(1)
k
y(k) = y(k)
2
> 0
et
f((k + 1)) = (1)
k
y(k)W((k + 1))
= (1)
k
y(k)(y((k + 1)) cos(k + 1) y

((k + 1)) sin(k + 1))

= (1)
k
y(k)(1)
k+1
y((k + 1))
= y(k)y((k + 1)) < 0
Do k N

, y sannule au moins une fois sur [k, (k + 1)].

5:
5 - 1: On a x n :
W

(x) =
1
2n
y

(x) cos
x
2n

1
4n
2
y(x) sin
x
2n
y

(x) sin
x
2n

1
2n
y

(x) cos
x
2n
=
_

1
4n
2
y(x) y

(x)
_
sin
x
2n
=
_

1
4n
2
+ 1
4n
2
1
4x
2
_
y(x) sin
x
2n
Car y

(x) +
_
1
4n
2
1
4x
2
_
y(x) = 0.
Donc x n, W

(x) =
_
4n
2
1
4n
2

4n
2
1
4x
2
_
y(x) sin
x
2n
= (4n
2
1)
_
1
4n
2

1
4x
2
_
y(x) sin
x
2n
.
5 - 2: Supposons que k N

tel que y ne sannule pas [2nk, 2n(k + 1)] donc y garde un signe constant sur [2nk, 2n(k +
1)] do x [2nk, 2n(k + 1)], y(2nk)y(x) > 0.
Dautre part, le signe de x sin
x
2n
sur [2nk, 2n(k+1)] est celui de (1)
k
donc x [2nk, 2n(k+1)], (1)
k
sin
x
2n
0.
On dduit que x [2nk, 2n(k+1)], f

(x) = (1)
k
y(2nk)W

(x) = (4n
2
1)
_
1
4n
2

1
4x
2
_
(1)
k
sin
_
x
2n
_
y(2nk)y(x)
0 donc f est croissante sur [2nk, 2n(k + 1)].
5 - 3: Supposons que k N

tel que y ne sannule pas [2nk, 2n(k+1)] donc, daprs la question prcdente f est croissante
sur [2nk, 2n(k + 1)]. Absurde, car
f(2nk) = (1)
k
y(2nk)W(2nk)
= (1)
k
y(2nk)
_
y(2nk) cos
2nk
2n
y

(2nk) sin
2nk
2n
_
= (1)
k
y(2nk)(y(2nk) cos k y

(2nk) sin k)
= (1)
k
y(2nk)(1)
k
y(2nk)
= y(2nk)
2
> 0
et
f(2n(k + 1)) = (1)
k
y(2nk)W(2n(k + 1))
= (1)
k
y(2nk)
_
y(2n(k + 1)) cos
2n(k+1)
2n
y

(2n(k + 1)) sin

2n(k+1)
2n
_
= (1)
k
y(2nk)(y(2n(k + 1)) cos(k + 1) y

(2n(k + 1)) sin(k + 1))

= (1)
k
y(2nk)(1)
k+1
y(2n(k + 1))
= y(2nk)y(2n(k + 1)) < 0
Do k N

, y sannule au moins une fois sur [2nk, 2n(k + 1)].

6: On a x > 0, y(x) = J
n
(x)

x donc y et J
n
ont les mmes zros sur ]0, +[.
www.mathlaayoune.webs.com 11/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
Si n = 0 alors, daprs la question 4-3, k N

, y sannule au moins une fois sur [k, (k +1)] donc y sannule une innit
de fois sur ]0, +[ et par suite J
0
admet une innit de zros sur ]0, +[.
Si n = 0 alors, daprs la question 5-3, k N

, y sannule au moins une fois sur [2nk, 2n(k + 1)] donc y sannule une
innit de fois sur ]0, +[ et par suite J
n
admet une innit de zros sur ]0, +[.
7: On note k N

, Z
k
lensemble des zros de J
n
sur ]0, k] et supposons que k N

tel que Z
k
soit inni.
Donc J
n
admet une suite (x
p
)
pN
de zros dans ]0, k] lments deux deux distincts. La suite (x
p
)
pN
est borne donc,
daprs Bolzano-Weierstrass, on peut en extraire une suite convergente (x
(p)
). Posons l sa limite.
On a J
n
continue sur R et x
(p)
l donc J
n
(x
(p)
) J
n
(l) et puisque p N, J
n
(x
(p)
) = 0 donc J
n
(x
(p)
) 0 do
J
n
(l) = 0 par unicit de limite. On dduit que l est un zro de J
n
.
Soit > 0. On a x
(p)
l donc N N, p N, |x
(p)
l| < . La suite (x
(p)
) est lments deux deux distincts donc
p N, x
(p)
= l do x
(p)
]l , l +[\{l} et x
(p)
est un zro de J
n
. On dduit que l est un zro non isol de J
n
, ce qui
est absurde car, daprs la question 1-2, tous les zros de J
n
sont isols, donc k N

, Z
k
est ni.
Lensemble Z des zros de de J
n
sur ]0, +[ est
_
kN

Z
k
donc Z est dnombrable comme union dnombrable densembles
nis.
8: Soit A > 0. Daprs la question prcdente, lensemble des zros de J
n
dans ]0, [A] + 1] est ni et puisque J
n
admet une
innit de zros daprs la question 6 donc N N, x
N
> [A] + 1 > A. Or la suite (x
k
)
kN
est strictement croissante donc
k N, x
k
x
N
> A do limx
k
= +.
9: Soient n Z et x R. On a (x
n
J
n
(x))

= nx
n1
J
n
(x) + x
n
J

n
(x) = x
n1
(nJ
n
(x) + xJ

n
(x)) = x
n
J
n1
(x) daprs la
question 4 de la deuxime partie.
10: Soit n N

et a, b deux raines strictement positifs de J

n
avec a < b. On a aJ
n
(a) = bJ
n
(b) = 0, x xJ
n
(x) continue
sur [a, b] et drivable sur ]a, b[ donc, daprs le thorme de Rolle, c ]a, b[ tel que (c
n
J
n
(c))

= 0 do, daprs la question

prcdente c
n
J
n1
(c) = 0.
On a a > 0 donc c > 0 do J
n1
(c) = 0. On dduit que J
n1
admet une raine entre a et b.
Quatrime partie
Fonctions de Bessel de seconde espce
1:
Si n = 0 alors J
n
(0) = 1. Or J
n
est continue sur R donc a > 0, x [a, a], J
n
(x) > 0 do J
n
ne sannule pas sur ]0, a].
Si n = 0 alors J
n
(0) = 0 do 0 est un zro de J
n
. Or tous les zros de J
n
sont isols, daprs la question 1-2 de la troisime
partie, donc a > 0, x [a, a] \ {0}, J
n
(x) = 0 do J
n
ne sannule pas sur ]0, a].
2: On a :
y est solution de E
n
sur ]0, a] x ]0, a], x
2
y

(x) + xy

(x) + (x
2
n
2
)y(x) = 0
x ]0, a], x
2
J

n
(x)(x) + 2x
2
J

n
(x)

(x) + x
2
J
n
(x)

(x) + xJ

n
(x)(x)
+xJ
n
(x)

(x) + (x
2
n
2
)J
n
(x)(x) = 0
x ]0, a], (x
2
J

n
(x) + xJ

n
(x) + (x
2
n
2
)J
n
(x))(x) + x
2
J
n
(x)

(x)
+(2x
2
J

n
(x) + xJ
n
(x))

(x) = 0
x ]0, a], x
2
J
n
(x)

(x) + (2x
2
J

n
(x) + xJ
n
(x))

(x) = 0
(car x
2
J

n
(x) + xJ

n
(x) + (x
2
n
2
)J
n
(x) = 0)
x ]0, a], xJ
n
(x)

(x) + (2xJ

n
(x) + J
n
(x))

(x) = 0

est solution sur ]0, a] de lquation xJ

n
(x)z

(x) + (2xJ

n
(x) + J
n
(x))z(x) = 0
3: On a y une solution de E
n
sur ]0, a] donc, daprs la question prcdente, x ]0, a], xJ
n
(x)

(x)+(2xJ

n
(x)+J
n
(x))

(x) =
0 donc x ]0, a], xJ
2
n
(x)

(x) + (2xJ

n
(x)J
n
(x) + J
2
n
(x))

(x) = 0 do x ]0, a],

_
xJ
2
n
(x)

(x)
_

= xJ
2
n
(x)

(x) +
(2xJ

n
(x)J
n
(x) + J
2
n
(x))

(x) = 0.
4: On a x R, J
n
(x) =
x
n
2
n
+

p=0
(1)
p
2
2p
p!(n + p)!
x
2p
donc J
n
(x)
0
x
n
2
n
n!
do
1
xJ
2
n
(x)

0
+
4
n
(n!)
2
x
2n+1
. On a :
1. x
4
n
(n!)
2
x
2n+1
est positive.
2. Lintgral
_
a
0
4
n
(n!)
2
x
2n+1
dx diverge.
www.mathlaayoune.webs.com 12/13 mathlaayoune@gmail.com
CPGE Laayoune Lissane Eddine Essaidi Ali
3.
1
xJ
2
n
(x)

0
+
4
n
(n!)
2
x
2n+1
.
Donc, daprs le thorme dintgration des relations de comparaison,
_
a
x
dt
tJ
2
n
(t)

0
+
4
n
(n!)
2
t
2n+1
dt =
4
n
(n!)
2
2n
_
1
t
2n
_
a
x
=
4
n
(n!)
2
2nx
2n

4
n
(n!)
2
2na
2n

0
+
4
n
(n!)
2
2nx
2n
car
4
n
(n!)
2
2nx
2n
+lorsque x 0
+
.
5: Sur ]0, a], E
n
est une quation diffrentielle linaire de second ordre coefcients sclaires donc lensemble des solutions
globales de E
n
sur ]0, a] est un espace vectoriel de dimension 2. Or J
n
est une solution non nulle de E
n
sur ]0, a] donc il existe
une solution y de E
n
sur ]0, a] telle que (J
n
, y) soit libre. En particulier, lapplication =
y
J
n
nest pas constante sur ]0, a].
Daprs la question 3, x ]0, a],
_
xJ
2
n
(x)

(x)
_

= 0 donc R, x ]0, a], xJ

2
n
(x)

(x) = do x ]0, a],

(x) =

xJ
2
n
(x)
. La constante est non nulle car nest pas constante sur ]0, a].
En intgrant, x ]0, a], (x) (a) =
_
a
x
dt
tJ
2
n
(t)
et daprs la question prcdente (x) (a)
0
+
4
n
(n!)
2
2nx
2n
do
(x)
0
+
4
n
(n!)
2
2nx
2n
car (a) =
0
+
o
_
4
n
(n!)
2
2nx
2n
_
puisque
4
n
(n!)
2
2nx
2n
+lorsque x 0
+
.
On a x ]0, a], y(x) = (x)J
n
(x) donc y(x)
0
+
4
n
(n!)
2
2nx
2n
x
n
2
n
n!
=
2
n
n!
2nx
n

x0
+
+do lim
x0
+
y(x) = +.
6: Soit, daprs la question prcdente, y une solution de E
n
sur ]0, a] telle que lim
x0
+
y(x) = +. On a E
n
est une quation
diffrentielle linaire de second ordre coefcients sclaires sur ]0, +[ donc y se prolonge en une solution globale N
n
. On
dduit que N
n
est une solution de E
n
sur ]0, +[ telle que lim
x0
+
N
n
(x) = lim
x0
+
y(x) = +.
7: Supposons que (N
n
, J
n
) li. On a J
n
non identiquement nulle sur ]0, +[ donc R, x > 0, N
n
(x) = J
n
(x)do
lim
x0
+
N
n
(x) = lim
x0
+
J
n
(x) = J
n
(0) R. Absurde, car lim
x0
+
N
n
(x) = +donc (N
n
, J
n
) est libre.
On a E
n
est une quation diffrentielle linaire de second ordre coefcients sclaires sur ]0, +[ donc son ensemble des
solutions globales est un espaces vectoriel de dimension 2. Or (N
n
, J
n
) est un systme libre de solutions globales de E
n
sur
]0, +[ donc la forme gnrale des solutions globales de E
n
sur ]0, +[ est J
n
+ N
n
avec , R.
8:
8 - 1: On a J
n
ne sannule pas sur ]a, b[ donc garde un signe constant sur ]a, b[.
1. Si J
n
> 0 alors J

n
(a) = lim
xa
+
J
n
(x)J
n
(a)
xa
= lim
xa
+
J
n
(x)
xa
0 et J

n
(b) = lim
xb

J
n
(x)J
n
(b)
xb
= lim
xb

J
n
(x)
xb

0. Or, daprs la question 2 de la deuxime partie, les zros de J
n
sont simples donc J

n
(a)J

n
(b) = 0 do J

n
(a) > 0 et
J

n
(b) < 0. En particulier, J

n
(a)J

n
(b) < 0.
2. Si J
n
< 0 alors J

n
(a) = lim
xa
+
J
n
(x)J
n
(a)
xa
= lim
xa
+
J
n
(x)
xa
0 et J

n
(b) = lim
xb

J
n
(x)J
n
(b)
xb
= lim
xb

J
n
(x)
xb

0. Or les zros de J
n
sont simples donc J

n
(a)J

n
(b) = 0 do J

n
(a) < 0 et J

n
(b) > 0. En particulier, J

n
(a)J

n
(b) < 0.
8 - 2: On sait que W =

J
n
N
n
J

n
N

= J
n
N

n
J

n
N
n
donc W(a) = J
n
(a)N

n
(a) J

n
(a)N
n
(a) = J

n
(a)N
n
(a) et
W(a) = J
n
(b)N

n
(b) J

n
(b)N
n
(b) = J

n
(b)N
n
(b). On dduit que W(a)W(b) = N
n
(a)N
n
(b)J

n
(a)J

n
(b).
8 - 3: On a (J
n
, N
n
) forme un systme fondamental de solutions de E
n
sur ]0, +[ donc W = 0. Or W continue sur ]0, +[
car J
n
et N
n
sont C
2
sur ]0, +[ donc W garde un signe constant sur ]0, +[. En particulier, W(a)W(b) > 0. Or, daprs les
questions 8-1 et 8-2, W(a)W(b) = N
n
(a)N
n
(b)J

n
(a)J

n
(b) et J

n
(a)J

n
(b) < 0 donc N
n
(a)N
n
(b) < 0.
On a N
n
continue sur [a, b] et N
n
(a)N
n
(b) < 0 donc, daprs le thorme des valeurs intermdiares, c ]a, b[, N
n
(c) = 0.
Si N
n
admet deux zros dans ]a, b[ alors par la mme technique on montre que J
n
admet un zro dans ]a, b[. Ce qui est absurde,
car les zros a et b sont conscutifs do !c ]a, b[, N
n
(c) = 0.
On a, daprs la question 6 de la troisime partie, J
n
admet une innit de zros sur ]0, +[ et, daprs la question prcdentes,
entre deux zros de J
n
existe un zro de N
n
donc N
n
admet une innit de zros.
9: Soit W =

J
n
N
n
J

n
N

= J
n
N

n
J

n
N
n
le Wronskien de J
n
et N
n
. On a (J
n
, N
n
) forme un systme fondamental de solutions
de E
n
sur ]0, +[ donc x ]0, +[, W(x) = 0.
Si J
n
et N
n
ont un zro commun a ]0, +[ alors W(a) = J
n
(a)N

n
(a) J

n
(a)N
n
(a) = 0. Absurde, donc J
n
et N
n
nont
pas de zros communs sur ]0, +[.
www.mathlaayoune.webs.com 13/13 mathlaayoune@gmail.com