WikiPrépaLivrets

Mines Mathématiques 2 PSI 2007Sujet, corrigé et rapport du jury

Majoration de polynômes trigonométriques

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
ÉCOLE NATIONALE DES PONTS ET CHAUSSÉES. ÉCOLES NATIONALES SUPÉRIEURES DE L'AÉRONAUTIQUE ET DE L'ESPACE, DE TECHNIQUES AVANCÉES, DES TÉLÉCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE SAINT-ÉTIENNE, DES MINES DE NANCY, DES TÉLÉCOMMUNICATIONS DE BRETAGNE. ÉCOLE POLYTECHNIQUE (Filière TSI).
CONCOURS D'ADMISSION 2007

SECONDE ÉPREUVE DE MATHÉMATIQUES

Filière PSI

(Durée de l'épreuve : 3 heures) L'usage d'ordinateur ou de calculette est interdit.
Sujet mis à la disposition des concours : ENSAE (Statistique), ENSTIM, INT, TPE-EIVP, Cycle international
Les candidats sont priés de mentionner de façon apparente sur la première page de la copie :
MATHÉMATIQUES II - PSI.
L'énoncé de cette épreuve comporte 5 pages de texte.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.

Majoration de polynômes trigonométriques

Soit p un réel strictement supérieur à 1 et q = p/(p − 1). On admet que si u et v sont deux fonctions continues, à valeurs réelles, définies sur l'intervalle [c, d] ⊂ R, alors
|∫_c^d u(x)v(x)dx| ≤ (∫_c^d|u(x)|^p dx)^(1/p)(∫_c^d|v(x)|^q dx)^(1/q)
Soit n un entier non nul, r = (r_1, ⋯, r_n) ∈ R^n où pour tout k, r_k est un réel positif et r ≠ 0. On introduit sur R^n, les deux normes suivantes:
‖r‖ = (r_1^2 + … + r_n^2)^(1/2) et ‖r‖_1 = ∑_(j = 1)^n|r_j|
Pour tout x ∈ R et tout α = (α_1, ⋯, α_n) ∈ R^n, on pose
P_r(x, α) = ∑_(k = 1)^n r_k cos(kx − α_k)
Si s est un réel positif, on note
I_s(α) = ∫_0^(2π)|P_r(x, α)|^(2s) dx
Dans la suite, t désigne un réel supérieur ou égal à 1 .
L'objectif de ce problème est de montrer que
sup_(x ∈ R^n)inf_(α ∈ R^n)|P_r(x, α)|
est fini et d'obtenir un majorant fonction de r.

I Préliminaires

◻1 - Soit φ(λ) = λ^(2t)(1 − λ)^2 pour λ ∈ [0, 1]. Calculer max_(λ ∈ [0, 1])φ(λ).
  • 2 - Soit ψ la fonction définie sur R par ψ(x) = |x|^(2t). Montrer que ψ est de classe C^2 sur R et calculer ψ^′ et ψ^(′′).
  • 3 - Soit h : R → R une fonction de classe C^2. Prouver que l = |h|^(2t) est de classe C^2 sur R et calculer l^′ et l^(′′).

II Propriétés de I_t

Pour α ∈ R^n, on introduit la fonction L_α définie par
L_α : [ − 1, 1] × R^n, ⟶ R; (ε, β), ⟼ I_t(α + εβ).
  • 4 - Montrer que pour tout β ∈ R^n, la fonction (ε ↦ L_α(ε, β)) est dérivable et exprimer sa dérivée sous forme d'intégrale.
  • 5 - Montrer que pour tout β ∈ R^n, la fonction ( ε ↦ L_α(ε, β) ) est deux fois dérivable et exprimer sa dérivée seconde sous forme d'intégrale.
  • 6 - Établir que
I_t(α + β) − I_t(α) = ∫_0^1(∂L_α)/(∂ε)(ε, β)dε
puis montrer que I_t est continue sur R^n.
  • 7 - En utilisant les propriétés de L_α, montrer que les dérivées partielles
(∂^2 I_t)/(∂α_k^2) pour k = 1, ⋯, n
existent et les exprimer sous forme d'intégrales.
  • 8 - Montrer que I_t est une fonction bornée sur R^n, qui atteint son minimum.
    On note α~ l'un des points où le minimum est atteint.
  • 9 - Montrer que pour tout β ∈ R^n,
(∂^2 L_(α~))/(∂ε^2)(0, β) ≥ 0 puis que ∑_(k = 1)^n(∂^2 I_t)/(∂α_k^2)(α~) ≥ 0
  • 10 - Établir alors l'inégalité suivante:
I_t(α~) ≤ (2t − 1)‖r‖^2 I_(t − 1)(α~)
  • 11 - Établir la majoration suivante:
I_t(α~) ≤ 2π((2t − 1)‖r‖^2)^t

III Propriétés de P_r

Dans cette partie, α est un élément quelconque de R^n fixé.
  • 12 - Établir les deux identités
∫_0^(2π)P_r(x, α)dx = 0 et ∫_0^(2π)|P_r(x, α)|^2 dx = π‖r‖^2
  • 13 - Montrer que la borne supérieure S = sup_(x ∈ R)|P_r(x, α)| est finie et qu'il existe x_α ∈ R tel que
|P_r(x_α, α)| = sup_(x ∈ R)|P_r(x, α)|
  • 14 - Montrer que ‖r‖^2 ≤ 2S^2.
  • 15 - Montrer que la fonction x ↦ P_r(x, α) est non identiquement nulle et n'est pas de signe constant.
  • 16 - Soit λ ∈ ]0, 1[. Soit V_λ^+ = {ξ ∈ [x_α, x_α + 2π], |P_r(ξ, α)| = λS}. Montrer que V_λ^+est un ensemble compact non vide.
Soit b = min{ξ, ξ ∈ V_λ^+}.
  • 17 - Montrer qu'il existe a tel que:
a < x_α < b et b − a < 2π,; |P_r(a, α)| = |P_r(b, α)| = λS,; |P_r(x, α)| > λS pour tout x ∈ ]a, b[.
  • 18 - Établir les relations
2(1 − λ)S = |∫_a^b(∂P_r)/(∂x)(x, α)dx|
et
(2(1 − λ)S)^2 ≤ (b − a)∫_a^b|(∂P_r)/(∂x)(x, α)|^2 dx
  • 19 - Établir l'inégalité suivante:
∫_a^b|(∂P_r)/(∂x)(x, α)|^2 dx ≤ π∑_(k = 1)^n k^2 r_k^2

IV Majoration

  • 20 - Établir les inégalités suivantes:
2/π(‖r‖^2)/(∑_(k = 1)^n k^2 r_k^2)(1 − λ)^2 ≤ (b − a) ≤ I_t(α~)(λS)^(− 2t)
  • 21 - Montrer qu'il existe une constante A, indépendante de n, r, t et α~, telle que l'inégalité suivante soit satisfaite:
S^2 ≤ At(∑_(k = 1)^n k^2 r_k^2)^(1/t)(∑_(k = 1)^n r_k^2)^(1 − 1/t)
Fin du problème

Pas de description pour le moment