Une inégalité sur une suite de polynômes
Bonjour,
je bloque là dessus : pour $t \in [0,1]$, on pose $P_0(t) = 0$ puis $P_{n+1}(t) = P_n(t) + (t-P_n(t)^2)/2$ pour tout $t \in [0,1]$ et il faut montrer que $0 \leq P_n(t) \leq \sqrt t $ pour tout $ t \in [0,1]$ et $n \in \mathbb N$.
Le truc c'est que par récurrence je m'en sors pas parce que si on suppose $0 \leq P_n(t) \leq \sqrt t $ alors on peut seulement en déduire que $ 0 \leq (t-P_n(t)^2)/2 \leq t/2 $ donc $ 0 \leq
\sqrt t + t/2 $ i.e. $ 0 \leq P_n(t) \leq \sqrt t +t/2 $ ...
Merci d'avance !
je bloque là dessus : pour $t \in [0,1]$, on pose $P_0(t) = 0$ puis $P_{n+1}(t) = P_n(t) + (t-P_n(t)^2)/2$ pour tout $t \in [0,1]$ et il faut montrer que $0 \leq P_n(t) \leq \sqrt t $ pour tout $ t \in [0,1]$ et $n \in \mathbb N$.
Le truc c'est que par récurrence je m'en sors pas parce que si on suppose $0 \leq P_n(t) \leq \sqrt t $ alors on peut seulement en déduire que $ 0 \leq (t-P_n(t)^2)/2 \leq t/2 $ donc $ 0 \leq
\sqrt t + t/2 $ i.e. $ 0 \leq P_n(t) \leq \sqrt t +t/2 $ ...
Merci d'avance !
Réponses
-
Ça marcherait sans doute mieux en cherchant une relation du type $P_{n+1}(t) = a(t)\,(P_n(t) - b(t))^2 + c(t)$.
-
Ha oui ca marche nickel ! On a $$ P_{n+1}(t) = -\frac{(P_n(t)-1)^2}{2} + \frac{1+t}{2}
$$ donc $$ P_{n+1}(t) \leq - \frac{(\sqrt t-1)^2}{2}+\frac{1+t}{2} \leq \sqrt{t}.
$$ Bon par contre certes ca marche mais je ne comprends pas vraiment le pourquoi profond, en quoi une simple manipulation algébrique permet de débloquer la situation ?
Merci en tout cas ! -
on aurait aussi pu étudier le sens de variation de la fonction $f_t(x) = x + \displaystyle{\frac{t-x^2}{2}}$ sur $[0,\sqrt{t}]$ ...
-
Il s'agit d'étudier la fonction $f_t : x \mapsto x + (t-x^2)/2$ sur l'intervalle $[0,\sqrt t]$.
Ta première approche consiste à majorer $\max_{x\in[0,\sqrt t]} (x -x^2/2)$ par $\max_{x\in[0,\sqrt t]} x - \min_{x\in[0,\sqrt t]} x^2/2$. Ceci est trop brutal car ça ne tient pas compte des compensations entre les deux termes. En regroupant tous les termes en $x$, il n'y a plus de problème.
Plutôt que les manipulations algébriques, on aurait bien sûr pu faire un étude de la fonction $f_t$. [grillé] -
En fait c'est un problème de suite récurrente : le fait qu'il y ait des polynômes ne sert qu'à égarer l'attention.
Pour $t\in [0,1]$, on considère la fonction $x\mapsto \phi _{t}(x)=x+\frac{1}{2}(t-x^{2})$, $x\in [0,1]$, et l'on étudie la suite récurrente $u_{n+1}=\phi _{t}(u_{n})$, $u_0=0$, par ls procédés bien connus Cette suite est croissante et a pour limite $\sqrt{t}$.
Bonne continuation.
F. Ch.
. -
Revenant aux $P_{n}(t)$, ceci prouve que cette suite de fonctions (polynômes) converge simplement vers $\sqrt{t}$ sur $[0,1]$. La suite de l'exercice, c'est que cette convergence est uniforme sur $[0,1]$.
F. Ch. -
Ok merci à tout le monde c'est très clair !
-
Dommage de s’arrêter là. Voici la suite du film.
$\bullet $ La suite de polynômes $P_n$ converge uniformément vers la fonction $x\mapsto \sqrt{x}$ sur $[0,1]$. Ceci découle d'un théorème de Dini mais peut aussi se prouver directement : $0\leq \sqrt{t}-P_{n}(t)\leq \frac{2}{n}$.
$\bullet $ La fonction $x\mapsto \left| x\right| (=\sqrt{x^{2}})$ est limite uniforme de fonctions-polynômes sur $[-1,1]$.
$\bullet $ Soit $a<b$. Pour tout $c \in [a,b]$, la fonction $x\mapsto u_{c}(x)=\left| x-c\right| $ est limite uniforme de fonctions-polynômes sur $[a,b]$.
Il en est donc de même de toute fonction affine par morceaux et continue sur $[a,b]$.
$\bullet $ Il en découle le théorème d'approximation de Weierstrass : une fonction continue sur un segment est limite uniforme de fonctions-polynômes sur ce segment.
Bonne journée.
F. Ch.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres