c Éditions H&K Publié dans les Annales des Concours 1/19

CCP Maths 2 PC 2001 — Corrigé

Ce corrigé est proposé par Xavier Goaoc (ENS Cachan) ; il a été relu par David
Lecomte (ENS Cachan) et Vincent Beck (ENS Cachan).

Ce sujet étudie l’équation différentielle de Bessel :

x2 y ′′ + xy ′ + (x2 − λ2 )y = 0 où λ ∈ R
• La première partie introduit une famille de fonctions (connues sous le nom de
coefficients de Bessel) définies par des intégrales dépendant d’un paramètre.
Après avoir étudié leur parité et leur régularité, on montre qu’elles sont solutions
de l’équation de Bessel pour des valeurs entières de λ.
• La deuxième partie, plus calculatoire, décompose en séries entières les fonctions
introduites en première partie. On en déduit des formules sommatoires sur les
coefficients de Bessel.
• La troisième partie traite le cas général de l’équation de Bessel. On la réduit
à une autre équation différentielle, dont on cherche les solutions sous forme de
série entière.

Téléchargé gratuitement sur www.Doc-Solus.fr .

 c Éditions H&K Publié dans les Annales des Concours 2/19

Indications

Première partie

I.1 Penser à faire un changement de variable u = π − t dans Jn (x).

I.2 Exprimer J−n (x) en fonction de Jn (−x) et utiliser la question précédente.
I.3 Appliquer le théorème de dérivation sous le signe somme.
I.4 Intégrer J′n (x) par parties (en intégrant le sin(nt − x sin t)).

Deuxième partie

π
II.1 Développer cos(nt − x sin t) et scinder les intégrales obtenues en .
2
II.2 Utiliser la question II.1 et le théorème d’interversion entre série et intégrale
(penser à la convergence normale pour montrer la convergence uniforme).
 it 2k
e − e−it
II.3.1 Pour linéariser sin2k x développer et regrouper les termes d’ex-
2i
posants opposés. Cette question est assez calculatoire.
II.3.2 Procéder comme à la question II.3.1 ou se servir du résultat obtenu à la
question II.3.1 et utiliser l’identité remarquable
1
cos a sin b = (sin(a + b) − sin(a − b))
2
II.4.1 Scinder l’intégrale définissant les coefficients de Fourier en π et opérer un
changement de variable u = t − π dans la deuxième partie.
II.4.2 Particulariser les relations obtenues à la question II.4.1 ; utiliser l’égalité de
Parseval.

Troisième partie

III.1.2 Utiliser la question III.1.1 pour trouver la solution de (Bλ ).

III.1.3 Remarquer que (Bλ ) = (B−λ ).
III.3.1 Observer les limites de jλ (x) et j−λ (x) quand x tend vers 0 par valeurs posi-
tives.
III.3.2 Pour comparer jn et Jn utiliser leurs développements respectifs en série en-
tière. Pour montrer que z−n est solution de (B−n ′ ), penser à utiliser la question
III.1.1.

Téléchargé gratuitement sur www.Doc-Solus.fr .

c Éditions H&K Publié dans les Annales des Concours 3/19

Première partie

I.1 Pour tout réel x la fonction t 7→ cos(nt − x sin t) est continue sur [0, π]. Elle est
donc intégrable sur [0, π] et Jn (x) est bien définie.
Étudions maintenant la parité de Jn . Fixons x ∈ R et opérons le changement de
variable u = π − t pour obtenir :
1 π
Z
Jn (−x) = cos(nt + x sin t) dt
π 0
1 π
Z
= cos(nπ − nu + x sin(π − u)) du
π 0
1 π
Z
Jn (−x) = cos(nπ − (nu − x sin u)) du
π 0

On distingue alors deux cas :

1 π
Z
• n est pair et Jn (−x) = cos(−(nu − x sin u)) du = Jn (x)
π 0
Z π
1
• n est impair et Jn (−x) = cos(π − nu − x sin u) du = −Jn (x)
π 0

Donc Jn est paire si n est pair et impaire si n est impair.

I.2 Commençons par exprimer J−n en fonction de Jn . Pour tout réel x on a

1 π 1 π
Z Z
J−n (x) = cos(−nt − x sin t) dt = cos(nt − (−x) sin t) dt
π 0 π 0

soit J−n (x) = Jn (−x)

En utilisant la question I.1 on a donc :

si n est pair
(
Jn (x)
J−n (x) =
−Jn (x) si n est impair
ce que l’on résume par

∀x ∈ R J−n (x) = (−1)n Jn (x)

I.3 Pour tout entier n et quel que soit k, la fonction (x, t) 7→ cos(nt − x sin t) est
de classe C k sur R × [ 0 ; π ]. Puisque [ 0 ; π ] est un segment, on peut appliquer le
théorème de dérivation sous le signe somme et on obtient que Jn est de classe C k .

Pour tout n ∈ Z, Jn est donc de classe C ∞ sur R.

π
1 ∂k
Z
(k)
Alors, ∀n ∈ Z ∀x ∈ R Jn (x) = (cos(nt − x sin t)) dt
π 0 ∂xk

Téléchargé gratuitement sur www.Doc-Solus.fr .

 c Éditions H&K Publié dans les Annales des Concours 4/19

I.4 Fixons x ∈ R et commençons par calculer Jn ′ (x) en utilisant la formule obtenue

à la question I.3 :
1 π
Z
′
Jn (x) = sin t sin(nt − x sin t) dt (1)
π 0
Puis intégrons par parties pour faire apparaître le terme cos(nt − x sin t) (on
intègre sin t et on dérive sin(nt − x sin t)) :
1 1 π
Z
π
Jn ′ (x) = − [cos t sin(nt − x sin t)]0 + cos t(n − x cos t) cos(nt − x sin t) dt
π π 0
π
et comme [cos t sin(nt − x sin t)]0 = 0

π
1
Z
on a bien Jn ′ (x) = (cos t)(n − x cos t) cos(nt − x sin t) dt (2)
π 0

La fonction (x, t) 7→ sin t sin(nt − x sin t) est elle aussi de classe C 1 sur R × [ 0 ; π ]
et [ 0 ; π ] est un segment fermé. On peut donc calculer Jn ′′ (x) en dérivant (1) sous
l’intégrale :
1 π
Z
′′
Jn (x) = − sin2 t cos(nt − x sin t) dt
π 0
Et vérifions maintenant que Jn vérifie l’équation (Bn ) :

x2 Jn ′′ (x) + xJn ′ (x) + (x2 − n2 )Jn (x)

1 π
Z
= (−x2 sin2 t + x cos t(n − x cos t) + x2 − n2 ) cos(nt − x sin t) dt
π 0
1 π 2
Z
= (x (1 − cos2 t − sin2 t) − n(n − x cos t) cos(nt − x sin t)) dt
π 0
n π
Z
=− (n − x cos t) cos(nt − x sin t) dt
π 0
n π
= − [sin(nt − x sin t)]o
π
=0

Donc ∀x ∈ R x2 Jn ′′ (x) + xJn ′ (x) + (x2 − n2 )Jn (x) = 0

et finalement Jn vérifie l’équation différentielle (Bn ) sur R.

La première partie de la question a pour but d’exprimer Jn ′ (x) comme une

intégrale dans laquelle apparaît le terme cos(nt − x sin t). Calculer Jn ′′ (x) en
partant de (2), plutôt que de (1) comme nous l’avons fait, serait maladroit ;
cela conduirait en effet à une nouvelle intégration par parties pour montrer
que
x2 Jn ′′ (x) + xJn ′ (x) + (x2 − n2 )Jn (x) = 0

Téléchargé gratuitement sur www.Doc-Solus.fr .