CCINP Mathématiques 1 MP 2003Sujet, corrigé et rapport du jury
Téléchargements
Ces sujets peuvent vous intéresser
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.Afficher ou masquer la section
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.
EPREUVE SPECIFIQUE - FILIERE MP
MATHEMATIQUES 1
Durée : 4 heures
Les calculatrices sont interdites.
NB : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction.
Si un candidat est amené à repérer ce qui peut lui sembler être une erreur d'énoncé, il le signalera sur sa copie et devra poursuivre sa composition en expliquant les raisons des initiatives qu’il a été amené à prendre.
Si un candidat est amené à repérer ce qui peut lui sembler être une erreur d'énoncé, il le signalera sur sa copie et devra poursuivre sa composition en expliquant les raisons des initiatives qu’il a été amené à prendre.
UTILISATION DES POLYNOMES DE TCHEBYCHEV EN ANALYSE
Notations :
On note
E l'espace vectoriel des applications continues de
[ − 1, 1] dans
ℝ .
On désigne parE_n l'espace vectoriel des fonctions polynomiales de
[ − 1, 1] dans
ℝ de degré inférieur ou égal à
n où
n est un entier naturel.
On pourra confondre les expressions : polynôme et fonction polynomiale.
Sif est un élément de
E , on pose
‖f‖_∞ = sup_(x ∈ [ − 1, 1])|f(x)| .
Les parties II., III. sont indépendantes et utilisent les résultats de la partie I.
On désigne par
On pourra confondre les expressions : polynôme et fonction polynomiale.
Si
Les parties II., III. sont indépendantes et utilisent les résultats de la partie I.
I. Polynômes de Tchebychev
Dans toute cette partie,
n désigne un entier naturel.
- Existence et unicité
a) Déterminer un polynômeT à coefficients réels de degrén vérifiant la propriété (*):
(on pourra remarquer que
cos(nθ) est la partie réelle de
(cosθ + isinθ)^n ).
b) Montrer qu'un polynôme vérifiant (*) est unique.
b) Montrer qu'un polynôme vérifiant (*) est unique.
On l'appelle le polynôme de Tchebychev d'indice
n , on le note
T_n .
On définit alors une fonction polynomiale sur[ − 1, 1] par :
On définit alors une fonction polynomiale sur
- a) Montrer que
∀x ∈ [ − 1, 1], T_(n + 2)(x) = 2xT_(n + 1)(x) − T_n(x) (on pourra calculerT_(n + 2)(x) + T_n(x) ).
b) CalculerT_0, T_1, T_2, T_3 .
c) Donner le coefficient du terme de plus haut degré deT_n . - Racines et extrema
a) Montrer que∀x ∈ [ − 1, 1], T_n(x) = 2^(n − 1)∏_(k = 0)^(n − 1)(x − cosθ_k) oùθ_k = ((2k + 1)π)/(2n) .
b) On pose pourk dans{0, 1, …, n}, c_k = cos((kπ)/n) .
Calculer
‖T_n‖_∞ puis montrer que :
∀k ∈ {0, 1, …, n}, |T_n(c_k)| = ‖T_n‖_∞ et que:
∀k ∈ {0, 1, …, n − 1}, T_n(c_(k + 1)) = − T_n(c_k) .
Lesn + 1 réels
c_0, c_1, …, c_n sont appelés points de Tchebychev.
c) Dessiner le graphe deT_3 , préciser sur le graphe les réels
c_0, c_1, c_2, c_3 .
Les
c) Dessiner le graphe de
II. Polynômes de Tchebychev et orthogonalité
Orthogonalité des
T_n
4. Montrer que pour toute fonctionh de
E , l'application
t ↦ (h(t))/(√(1 − t^2)) est intégrable sur
] − 1, 1[ .
4. Montrer que pour toute fonction
Pour
f et
g éléments de
E , on pose
⟨f, g⟩ = ∫_(− 1)^1(f(t)g(t))/(√(1 − t^2)) dt .
5. a) Soith une fonction positive de
E , montrer que si
∫_(− 1)^1(h(t))/(√(1 − t^2)) dt = 0 alors
h est la fonction nulle.
b) Montrer que⟨ ,
⟩définitunproduitscalairesurE .
5. a) Soit
b) Montrer que
Ceci nous permet de définir une norme euclidienne sur
E : pour tout élément
h de
E , on pose
- Calculer
⟨T_n, T_m⟩ selon les valeurs des entiers naturelsm etn . En déduire pour tout entier natureln que la famille(T_0, T_1, …, T_n) est une base orthogonale (pour⟨ ,⟩)deE_n .
Polynôme de meilleure approximation quadratique
Dans toute la suite de la partie II.,
f désignera un élément de
E et
n un entier naturel.
On posed_2(f, E_n) = inf{‖f − Q‖_2, Q ∈ E_n} .
On pose
Le but de la suite de la partie II. est d'exprimer
‖f‖_2 en fonction des
(⟨f, T_k⟩)/(‖T_k‖_2) .
7. a) Enoncer un théorème justifiant l'existence et l'unicité d'un vecteurt_n(f) dans
E_n tel que
‖f − t_n(f)‖_2 = d_2(f, E_n) .
b) Exprimert_n(f) à l'aide des polynômes de Tchebychev.
7. a) Enoncer un théorème justifiant l'existence et l'unicité d'un vecteur
b) Exprimer
On dit que
t_n(f) est le polynôme de meilleure approximation quadratique de
f sur
E_n .
8. Montrer qued_2(f, E_n) = √(‖f‖_2^2 − ∑_(k = 0)^n(⟨f, T_k⟩^2)/(‖T_k‖_2^2)) .
9. a) En déduire que la série∑_(k ≥ 0)(⟨f, T_k⟩^2)/(‖T_k‖_2^2) est convergente.
b) Que pensez-vous de la limite de∫_(− 1)^1(f(t)T_n(t))/(√(1 − t^2)) dt lorsque
n tend vers
+ ∞ ?
8. Montrer que
9. a) En déduire que la série
b) Que pensez-vous de la limite de
Convergence en norme quadratique
- a) Soit
h un élément deE , montrer que‖h‖_2 ≤ √π‖h‖_∞ .
b) Montrer en utilisant un théorème de Weierstrass que :lim_(n → + ∞)‖f − t_n(f)‖_2 = 0 . - a) En déduire que
‖f‖_2 = √(∑_(k = 0)^(+ ∞)(⟨f, T_k⟩^2)/(‖T_k‖_2^2)) .
b) Application : un théorème des moments.
Que peut-on dire d'une fonction
h de
E telle que pour tout entier naturel
n ,
∫_(− 1)^1(h(t)T_n(t))/(√(1 − t^2)) dt = 0 ?
III. Polynôme de meilleure approximation au sens de Tchebychev
Dans toute cette partie,
n désigne un entier naturel et
f un élément de
E .
On noted_∞(f, E_n) = inf{‖f − Q‖_∞, Q ∈ E_n} .
On dit qu'un élémentP de
E_n , est un polynôme de meilleure approximation (on notera en abrégé PMA) au sens de Tchebychev de
f d'ordre
n , s'il vérifie une des deux conditions équivalentes :
(i)‖f − P‖_∞ = d_∞(f, E_n)
(ii)∀Q ∈ E_n, ‖f − P‖_∞ ≤ ‖f − Q‖_∞ .
On note
On dit qu'un élément
(i)
(ii)
Existence d'un PMA d'ordre
n pour
f
On pose
K = {Q ∈ E_n, ‖f − Q‖_∞ ≤ ‖f‖_∞}
12. a) Montrer queK est une partie non vide fermée et bornée de
E_n .
b) En déduire queK est une partie compacte non vide de
E_n .
13. a) Montrer qued_∞(f, E_n) = d_∞(f, K) .
b) En déduire qu'il existe un élémentP de
E_n tel que
‖f − P‖_∞ = d_∞(f, E_n) .
P est donc un PMA d'ordre
n de
f .
12. a) Montrer que
b) En déduire que
13. a) Montrer que
b) En déduire qu'il existe un élément
Condition suffisante pour être un PMA
Soit
h un élément de
E . On dit que
h équioscille sur
k + 1 points s'il existe
k + 1 réels
x_0 < x_1 < … < x_k de l'intervalle
[ − 1, 1] , tels que
(on dit que les extrema sont alternés).
14. Exemples
a) Dessiner le graphe d'une fonctionφ de
E telle que
‖φ‖_∞ = 1/2 et
φ équioscille sur 4 points. (on ne cherchera pas à expliciter une telle fonction).
b) Montrer que le polynômeT_(n + 1) de Tchebychev d'indice
n + 1 équioscille sur
n + 2 points.
14. Exemples
a) Dessiner le graphe d'une fonction
b) Montrer que le polynôme
Le but de la question 15. est de montrer le résultat suivant:
SiP est un élément de
E_n tel que
f − P équioscille sur
n + 2 points, alors
P est un PMA d'ordre
n de
f .
15. SoitP un élément de
E_n tel que
f − P équioscille sur
n + 2 points que l’on note
x_0 < x_1 < … < x_(n + 1) .
SoitQ un élément de
E_n tel que
‖f − Q‖_∞ < ‖f − P‖_∞ .
a) Soiti ∈ {0, 1, …, n + 1} , montrer que si
f(x_i) − P(x_i) > 0 alors
Q(x_i) − P(x_i) > 0 .
Si
15. Soit
Soit
a) Soit
On a de même, que si
f(x_i) − P(x_i) < 0 alors
Q(x_i) − P(x_i) < 0 .
b) En déduire queP = Q et conclure.
b) En déduire que
Détermination de PMA
- Dans cette question, pour
x ∈ [ − 1, 1] , on prendf(x) = x^(n + 1) et on pose:
q_n(x) = x^(n + 1) − 2^(− n)T_(n + 1)(x) .
Montrer queq_n est un PMA d'ordren def . - En déduire que pour tout polynôme
P unitaire de degrén + 1 , on a2^(− n)‖T_(n + 1)‖_∞ ≤ ‖P‖_∞ . - a) Dans cette question,
f est un polynôme de degrén + 1 .
Déterminer un PMA d'ordre
n de
f .
b) Application : déterminer un PMA d'ordre 2 def(x) = 5x^3 + 2x − 3 .
b) Application : déterminer un PMA d'ordre 2 de
Remarque : On peut montrer l'unicité du PMA.
Il n'existe pas de formule générale qui donne l'expression du PMA d'une fonction quelconque. On peut cependant utiliser un algorithme (de Remes) qui fournit une suite de polynômes qui converge vers le PMA.
Il n'existe pas de formule générale qui donne l'expression du PMA d'une fonction quelconque. On peut cependant utiliser un algorithme (de Remes) qui fournit une suite de polynômes qui converge vers le PMA.
Fin de l'énoncé
Pas de description pour le moment
