Version interactive avec LaTeX compilé
E3A Mathématiques A MP 2014
Notez ce sujet en cliquant sur l'étoile
0.0(0 votes)
Suites et séries de fonctionsSéries entières (et Fourier)Equations différentielles
CONCOURS ARTS ET MÉTIERS ParisTech - ESTP - POLYTECH
Durée 4 h
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, d'une part il le signale au chef de salle, d'autre part il le signale sur sa copie et poursuit sa composition en indiquant les raisons des initiatives qu'il est amené à prendre.
L'usage de calculatrices est interdit.
AVERTISSEMENT
La présentation, la lisibilité, l'orthographe, la qualité de la rédaction, la clarté et la précision des raisonnements entreront pour une part importante dans l'appréciation des copies. En particulier, les résultats non justifiés ne seront pas pris en compte. Les candidats sont invités à encadrer les résultats de leurs calculs.
Problème
On étudie dans ce problème quelques propriétés des fonctions de Bessel, obtenues à partir de l'équation différentielle :
où
est un paramètre réel positif.
Partie I
- Déterminer les solutions sur
de l'équation différentielle : . - Pour deux réels
et , déterminer un développement limité à l'ordre 1 en 0 de la fonction . - Trouver une condition nécessaire et suffisante sur
et pour que la fonction
admette une limite finie en
. Cette condition étant satisfaite, donner un équivalent de
lorsque
tend vers
.
Partie II
On considère dans cette partie l'équation différentielle :
dont on cherche les solutions sur l'intervalle
.
4. Que peut-on dire de l'ensemble des solutions sur de l'équation différentielle
?
5. Soit une fonction de classe
sur
et soit
la fonction définie par :
4. Que peut-on dire de l'ensemble des solutions sur
5. Soit
Démontrer que
est solution de
si, et seulement si,
est solution d'une équation différentielle linéaire du second ordre à coefficients constants.
6. Résoudre l'équation différentielle ( ) sur l'intervalle
.
7. Démontrer que l'ensemble des solutions de ( ) sur
qui possèdent une limite finie en 0 est un espace vectoriel de dimension 1.
8. Démontrer qu'il existe une unique solution de sur
, notée
, telle que :
6. Résoudre l'équation différentielle (
7. Démontrer que l'ensemble des solutions de (
8. Démontrer qu'il existe une unique solution de
Partie III
Dans cette partie,
est un réel fixé,
et on considère les équations différentielles :
- On rappelle la définition de la fonction
:
Démontrer que
, pour tout
.
10. On considère une série entière dont le rayon de convergence est noté
et dont la somme sur l'intervalle ]-
[ est notée
. On suppose dans cette question que
est strictement positif.
10. a. Rappeler une définition du rayon de convergence de la série entière
.
10. b. On suppose dans cette question que est solution de l'équation différentielle
sur
. Démontrer que
et :
10. On considère une série entière
10. a. Rappeler une définition du rayon de convergence
10. b. On suppose dans cette question que
- On suppose ici que la suite
satisfait les deux conditions obtenues à la question précédente. - a. Démontrer que
pour tout . - b. Déterminer le rayon de convergence
de la série entière . - c. Démontrer que, pour tout entier
. - Préciser la nature de l'ensemble des solutions sur
de l'équation différentielle . - Soit
une fonction de classe . On définit la fonction :
Démontrer que
est solution de (
) sur
[ si, et seulement si,
est solution de (
) sur
.
14. En déduire que la fonction définie sur
en posant :
14. En déduire que la fonction
est solution de (
) sur
.
15. Déterminer un équivalent de lorsque
tend vers 0 .
15. Déterminer un équivalent de
Dans la suite du problème, on considère le cas particulier où
est un entier naturel et
est la solution de (
) définie par :
(insistons sur le fait que cette fonction
est définie sur
).
16. Pour tout entier et tout réel
, expliciter
comme somme d'une série entière. En déduire l'existence d'une constante
que l'on précisera telle que
.
16. Pour tout entier
Partie IV
Dans cette partie,
est un entier naturel fixé et on considère la fonction
définie dans la partie précédente. On définit également une fonction
sur
en posant :
- Démontrer que
est de classe sur et expliciter (sous forme intégrale) les fonctions et . - En intégrant par parties
, vérifier que est solution de l'équation différentielle ( ). - Pour tout entier naturel
, on note . - a. Démontrer que pour tout
. - b. Donner l'expression de
en fonction de . - Établir l'égalité :
puis démontrer que
et
sont développables en série entière sur
.
21. Démontrer les égalités de fonctions et
.
22. Démontrer que pour tout entier et tout réel
:
21. Démontrer les égalités de fonctions
22. Démontrer que pour tout entier
- Démontrer que, pour tout entier
, les fonctions et sont égales.
Partie V
On considère dans cette partie un réel
fixé et on définit la fonction :
(où Re désigne la partie réelle). On reprend par ailleurs les notations définies dans les parties précédentes.
24. Démontrer que est périodique de période
.
25. Les coefficients de Fourier trigonométriques de sont notés
et
. Rappeler les expressions de
et
et étudier la convergence de la série de Fourier de
(on donnera l'énoncé complet du théorème utilisé).
26. Déterminer pour tout entier
.
27. Démontrer que est
-périodique et que
pour tout entier
.
28. Démontrer que, pour tout entier .
29. Démontrer que :
24. Démontrer que
25. Les coefficients de Fourier trigonométriques de
26. Déterminer
27. Démontrer que
28. Démontrer que, pour tout entier
29. Démontrer que :
