WikiPrépaLivrets

Soit f∈C([0,1],C)f \in \mathcal{C}([0,1], \mathbb{C}). Pour n∈N∗n \in \mathbb{N}^*, on définit le nn-ième polynôme de Bernstein associé à ff par :

Bn(f)(X)=∑k=0nf(kn)(nk)Xk(1−X)n−kB_n(f)(X) = \sum_{k=0}^n f\left(\frac{k}{n}\right) \binom{n}{k} X^k (1-X)^{n-k}

  1. Soit P∈R[X]P \in \mathbb{R}[X]. Établir la relation suivante :
    Bn(XP)=X(1−X)nBn′(P)+XBn(P)B_n(XP) = \frac{X(1-X)}{n} B_n'(P) + X B_n(P)
    En déduire les expressions de Bn(1)B_n(1), Bn(X)B_n(X) et Bn(X2)B_n(X^2).
  2. Pour t∈[0,1]t \in [0,1] et α>0\alpha > 0, on pose An,t={k∈{0,…,n}∣∣kn−t∣≥α}A_{n,t} = \{k \in \{0, \dots, n\} \mid | \frac{k}{n} - t | \geq \alpha\}. Montrer que :
    ∑k∈An,t(nk)tk(1−t)n−k≤14nα2\sum_{k \in A_{n,t}} \binom{n}{k} t^k (1-t)^{n-k} \leq \frac{1}{4n\alpha^2}

  3. Montrer que la suite (Bn(f))n∈N∗(B_n(f))_{n \in \mathbb{N}^*} converge uniformément vers ff sur [0,1][0,1].
  4. Applications :
    1. Montrer que pour f∈C([a,b],C)f \in \mathcal{C}([a,b], \mathbb{C}), il existe une suite de polynômes convergeant uniformément vers ff.
    2. Montrer que N(f)=sup⁡n∈N∣∫01f(t)tndt∣N(f) = \sup_{n \in \mathbb{N}} \left| \int_0^1 f(t) t^n \mathrm{d}t \right| définit une norme sur C([0,1],R)\mathcal{C}([0,1], \mathbb{R}).
    3. Proposer une généralisation du théorème de Weierstrass aux fonctions de deux variables sur [0,1]2[0,1]^2.

1.

Pour la question 1, dériver Bn(P)B_n(P) par rapport à XX et identifier les termes.

2.

Pour l'inégalité de la question 2, utiliser la majoration α2≤(kn−t)2\alpha^2 \leq (\frac{k}{n}-t)^2 pour k∈An,tk \in A_{n,t} et exploiter Bn(X2−2tX+t2)B_n(X^2 - 2tX + t^2).

3.

Pour la convergence uniforme, utiliser le caractère Heine (continuité uniforme) de ff sur le compact [0,1][0,1].

4.

Pour la norme, l'injectivité repose sur le fait que si tous les moments sont nuls, alors ∫fP=0\int f P = 0 pour tout polynôme, puis passer à la limite.

Idées clés

•

Identités algébriques sur les polynômes de Bernstein.

•

Inégalité de type Bienaymé-Tchebychev pour la concentration.

•

Convergence uniforme via le module de continuité.

Résolution.

  1. Calculons la dérivée de Bn(P)B_n(P). Posons rk,n(X)=(nk)Xk(1−X)n−kr_{k,n}(X) = \binom{n}{k} X^k (1-X)^{n-k}. On a rk,n′(X)=k−nXX(1−X)rk,n(X)r_{k,n}'(X) = \frac{k-nX}{X(1-X)} r_{k,n}(X). Ainsi :
    X(1−X)nBn′(P)=∑k=0nP(kn)(kn−X)rk,n(X)\frac{X(1-X)}{n} B_n'(P) = \sum_{k=0}^n P\left(\frac{k}{n}\right) \left( \frac{k}{n} - X \right) r_{k,n}(X)
    X(1−X)nBn′(P)=∑k=0nknP(kn)rk,n(X)−X∑k=0nP(kn)rk,n(X)\frac{X(1-X)}{n} B_n'(P) = \sum_{k=0}^n \frac{k}{n} P\left(\frac{k}{n}\right) r_{k,n}(X) - X \sum_{k=0}^n P\left(\frac{k}{n}\right) r_{k,n}(X)
    Ce qui donne exactement :
    X(1−X)nBn′(P)=Bn(XP)−XBn(P)\boxed{\frac{X(1-X)}{n} B_n'(P) = B_n(XP) - X B_n(P)}
    Par application successive avec P=1P=1 puis P=XP=X : - Pour P=1P=1, Bn(1)=∑(nk)Xk(1−X)n−k=(X+1−X)n=1B_n(1) = \sum \binom{n}{k} X^k (1-X)^{n-k} = (X + 1-X)^n = 1. - Pour P=1P=1, la relation donne Bn(X)=X(1−X)n⋅0+X⋅1=XB_n(X) = \frac{X(1-X)}{n} \cdot 0 + X \cdot 1 = X. - Pour P=XP=X, la relation donne Bn(X2)=X(1−X)n⋅1+X⋅Bn(X)=X(1−X)n+X2B_n(X^2) = \frac{X(1-X)}{n} \cdot 1 + X \cdot B_n(X) = \frac{X(1-X)}{n} + X^2. On obtient donc :
    Bn(1)=1,Bn(X)=X,Bn(X2)=X2+X(1−X)n\boxed{B_n(1)=1,   B_n(X)=X,   B_n(X^2) = X^2 + \frac{X(1-X)}{n}}

  2. Soit t∈[0,1]t \in [0,1]. On utilise l'identité :
    ∑k=0n(kn−t)2(nk)tk(1−t)n−k=Bn(X2)(t)−2tBn(X)(t)+t2Bn(1)(t)\sum_{k=0}^n \left( \frac{k}{n} - t \right)^2 \binom{n}{k} t^k (1-t)^{n-k} = B_n(X^2)(t) - 2t B_n(X)(t) + t^2 B_n(1)(t)
    En remplaçant par les valeurs trouvées :
    ∑k=0n(kn−t)2(nk)tk(1−t)n−k=t2+t(1−t)n−2t2+t2=t(1−t)n\sum_{k=0}^n \left( \frac{k}{n} - t \right)^2 \binom{n}{k} t^k (1-t)^{n-k} = t^2 + \frac{t(1-t)}{n} - 2t^2 + t^2 = \frac{t(1-t)}{n}
    Pour k∈An,tk \in A_{n,t}, on a (k/n−t)2≥α2(k/n - t)^2 \geq \alpha^2. Donc :
    α2∑k∈An,trk,n(t)≤∑k∈An,t(kn−t)2rk,n(t)≤t(1−t)n≤14n\alpha^2 \sum_{k \in A_{n,t}} r_{k,n}(t) \leq \sum_{k \in A_{n,t}} \left( \frac{k}{n} - t \right)^2 r_{k,n}(t) \leq \frac{t(1-t)}{n} \leq \frac{1}{4n}
    La dernière inégalité venant du fait que le maximum de t↦t(1−t)t \mapsto t(1-t) sur [0,1][0,1] est 1/41/4 (atteint en 1/21/2). D'où :
    ∑k∈An,t(nk)tk(1−t)n−k≤14nα2\boxed{\sum_{k \in A_{n,t}} \binom{n}{k} t^k (1-t)^{n-k} \leq \frac{1}{4n\alpha^2}}

  3. Soit ε>0\varepsilon > 0. ff est continue sur le compact [0,1][0,1], donc uniformément continue (Théorème de Heine). Il existe α>0\alpha > 0 tel que pour tout (x,y)∈[0,1]2(x,y) \in [0,1]^2, ∣x−y∣<α  ⟹  ∣f(x)−f(y)∣≤ε/2|x-y| < \alpha \implies |f(x)-f(y)| \leq \varepsilon/2. On écrit :
    ∣Bn(f)(t)−f(t)∣=∣∑k=0n(f(kn)−f(t))rk,n(t)∣≤∑k∈An,t⋯+∑k∉An,t…|B_n(f)(t) - f(t)| = \left| \sum_{k=0}^n \left( f\left(\frac{k}{n}\right) - f(t) \right) r_{k,n}(t) \right| \leq \sum_{k \in A_{n,t}} \dots + \sum_{k \notin A_{n,t}} \dots
    - Si k∉An,tk \notin A_{n,t}, alors ∣k/n−t∣<α|k/n - t| < \alpha, donc ∣f(k/n)−f(t)∣≤ε/2|f(k/n) - f(t)| \leq \varepsilon/2. La somme correspondante est majorée par ε2∑rk,n(t)≤ε2\frac{\varepsilon}{2} \sum r_{k,n}(t) \leq \frac{\varepsilon}{2}. - Si k∈An,tk \in A_{n,t}, on majore ∣f(k/n)−f(t)∣|f(k/n) - f(t)| par 2∥f∥∞2\|f\|_\infty. La somme est majorée par 2∥f∥∞⋅14nα22\|f\|_\infty \cdot \frac{1}{4n\alpha^2}. En choisissant nn assez grand tel que ∥f∥∞2nα2≤ε/2\frac{\|f\|_\infty}{2n\alpha^2} \leq \varepsilon/2, on a ∣Bn(f)(t)−f(t)∣≤ε|B_n(f)(t) - f(t)| \leq \varepsilon pour tout tt. La convergence est bien uniforme.

    1. On utilise le changement de variable u=t−ab−au = \frac{t-a}{b-a} pour se ramener à [0,1][0,1].
    2. La seule difficulté est l'injectivité. Si N(f)=0N(f) = 0, alors ∫01f(t)tndt=0\int_0^1 f(t) t^n \mathrm{d}t = 0 pour tout nn. Par linéarité, ∫01f(t)P(t)dt=0\int_0^1 f(t) P(t) \mathrm{d}t = 0 pour tout polynôme PP. Puisque Bn(f)→CUfB_n(f) \xrightarrow{CU} f, on a ∫01f(t)Bn(f)(t)dt→∫01f2(t)dt\int_0^1 f(t) B_n(f)(t) \mathrm{d}t \to \int_0^1 f^2(t) \mathrm{d}t. Comme chaque intégrale est nulle, ∫01f2=0\int_0^1 f^2 = 0, donc f=0f=0.
    3. On définit Bn(f)(x,y)=∑k=0n∑j=0nf(kn,jn)(nk)(nj)xk(1−x)n−kyj(1−y)n−jB_n(f)(x,y) = \sum_{k=0}^n \sum_{j=0}^n f(\frac{k}{n}, \frac{j}{n}) \binom{n}{k} \binom{n}{j} x^k (1-x)^{n-k} y^j (1-y)^{n-j}.

Dépendance du choix de l'intervalle de concentration vis-à-vis du paramètre de continuité.

Preuve constructive de Weierstrass par les polynômes de Bernstein.