Note de cours

Sur un exercice classique: majoration des drives

intermdiaires
Alain Tissier et Soumala Soumana
Professeur de mathmatiques en MP* et son lve au lyce A. Schweitzer, Le Raincy
Rsum:
Une preuve inhabituelle d'un rsultat trs classique sur le caractre born de certaines drives.

1 Le thorme
2 Preuve classique
3 Une autre preuve

1 Le thorme
Thorme Soit une fonction relle de classe sur un intervalle . On suppose
et bornes. Alors toutes les drives intermdiaires sont bornes.

2 Preuve classique
2.1 Premire phase
Appliquant la formule de Taylor pour et , on obtient :



avec .
Posons . On a .
Chaque fonction est donc borne.
2.2 Deuxime phase
On montre que , , , ..., sont dans l'espace vectoriel engendr par les ( ), ce
Page 1sur 2 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=71&Type=enonce&Num=0&Mode=...
qui prouve que ce sont des fonctions bornes. On considre pour cela valeurs distinctes de
: . On note la matrice , telle que . On a
pour tout entre 0 et : . La matrice est de Vandermonde ; elle est
inversible, son inverse tant note . On a donc .
La preuve est complte.

3 Une autre preuve
La deuxime preuve ci-dessous, entirement imagine par S.Soumana, ne fait que rpondre la
question pose : elle ne fournit pas les meilleures majorations possibles, c'est--dire les
constantes de Kolmogorov. Mais elle fait intervenir de faon plaisante l'quivalence des normes
en dimension finie.
En ralit, cette preuve figurait dj dans l'ouvrage cit ci-dessous [1].
Posons .
Cette fonction est un lment de l'espace vectoriel rel des fonctions polynomiales relles
de degr au plus . Soit un rel quelconque . Soit un polynme, donn par
.
On pose et .
Les fonctions et sont notoirement des normes sur . Elles sont quivalentes car est
de dimension finie.
Il existe donc une constante relle telle que .
On a pour tout , avec , , puis
donc, pour , .
C'est dire que .
[1] A. POMMELLET, Agrgation de Mathmatiques; Cours d'Analyse, d. Ellipses.

Page 2sur 2 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=71&Type=enonce&Num=0&Mode=...