114 2 3 PDF

Oprateurs monotones et approximation de fonctions
Jean-Pierre Grivaux
Professeur de Mathmatiques Spciales MP, Lyce Chaptal, Paris.
Rsum:
On montre ici comment la mthode de Bernstein pour tablir le thorme d'approximation de
Weierstrass peut tre gnralise la classe des oprateurs monotones. Le rsultat permet de
prouver la convergence de l'approximation de Fejr-Hermite.

1 Introduction
2 Oprateurs monotones
3 Interpolation polynomiale
4 Bibliographie

1 Introduction
Une forme lmentaire du thorme d'approximation de Weierstrass est la suivante:

Thorme Soit une fonction continue. Pour tout , il existe un polynme
tel que

Parmi les nombreuses preuves qui existent, celle de Bernstein est une des plus simples. Elle
prsente de plus l'intrt de donner explicitement une suite de polynmes qui converge uni-
formment vers . Rappelons-en l'expression: tant continue sur , (cas auquel on se
ramne aisment), on pose

La preuve de la convergence uniforme de vers repose sur trois proprits:
1. [(i)] L'application est linaire.
2. [(ii)] Si , .
3. [(iii)] Lorsque ou , converge uniformment vers .
Il est possible de modifier la preuve de faon obtenir un rsultat plus gnral. C'est l'objet de la
Page 1sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=62&Type=enonce&Num=0&Mode=...
premire partie. La seconde est consacre l'tude d'une application de ce rsultat
l'approximation polynomiale des fonctions.

2 Oprateurs monotones
2.1 Dfinition d'un oprateur monotone
Soit l'espace vectoriel des fonctions continues sur valeurs relles. Pour
lment de , on pose .

Dfinition Soit un oprateur linaire. On dit que est monotone si
implique .

Si est monotone, implique .

On peut maintenant noncer le rsultat central de ce paragraphe.
2.2 Suite d'oprateurs monotones
Thorme 1 Soit une suite d'oprateurs monotones sur . Les conditions suivantes
sont quivalentes:
1. [(i)] Pour toute fonction de , tend vers quand tend vers l'infini.
2. [(ii)] Lorsque ou , .
3. [(iii)] . De plus, si on pose et ,
.
Rappelons que toutes les limites prcdentes sont des limites fortes, i. e. au sens de la norme.

Dmonstration -- Montrons que (ii) implique (iii). Posons, pour , .
Comme , puisque est linaire,

Ainsi . Comme les
fonctions et sont bornes sur , la majoration prcdente prouve bien que
.
-- Montrons maintenant que (iii) implique (i). La preuve est tout fait similaire la preuve
classique du thorme de Bernstein. Soit et . est uniformment continue. Il
existe donc tel que pour tout couple d'lments et de , implique
. On en dduit une majoration de valable pour tout choix de
: si , c'est la majoration prcdente; si , on crit:

Soit . On combine alors ces deux estimations et on obtient l'encadrement
suivant, valable pour tout et tout lments de :

Posons, comme plus haut, et . Les ingalits ci-dessus s'crivent
alors, en considrant les expressions comme des fonctions de :

La linarit et le caractre monotone de entranent ensuite, pour tout de

ce qui, appliqu au point , permet de conclure que

Par hypothse, les suites de fonctions et convergent uniformment
sur , la premire vers zro, la seconde vers la fonction constante . En crivant

on dduit de la majoration prcdente que .
2.3 Applications
2.3.1 Polynmes de Bernstein
L'oprateur , dfini sur par

est linaire et monotone. Le polynme s'appelle le polynme de Bernstein
associ . En utilisant par exemple le fait que , on montre aisment que

L'oprateur vrifie donc la proprit (ii) du Thorme 1 et .
2.3.2 Autre application
L'identit est videmment un oprateur monotone sur . On peut dduire du Thorme 1
que c'est le seul oprateur monotone qui, pour , vrifie . En effet, soit
dfini par pour tout . La suite vrifie la proprit (ii). Cela prouve que pour
toute fonction , , soit .

3 Interpolation polynomiale
3.1 Interpolation de Lagrange
Soit une fonction dfinie sur une partie de ou , des points distincts de
. On sait qu'il existe un unique polynme , appel polynme d'interpolation de Lagrange, de
degr au plus et qui concide avec en les points . De plus, on en connat l'expression:
on pose, pour ,

Alors . Lorsque le nombre de points augmente, le polynme
obtenu n'approxime pas toujours de faon satisfaisante la fonction. C'est le phnomne de
Runge. Il est possible de donner un exemple trs simple qui montre cela dans le cas d'une partie
de . On prend pour l'ensemble des nombres complexes de module , pour
les racines de l'unit et pour la restriction de la fonction
. On remarque alors que le polynme vrifie
(1)

C'est donc le polynme d'interpolation de Lagrange associ et la famille des . Or

La suite ne converge donc pas uniformment sur vers .
3.2 Interpolation d'Hermite
3.2.1 Existence
Le rsultat suivant est classique:
Thorme 2 Soient des rels distincts, des rels
quelconques. Il existe alors un unique polynme , coefficients rels, de degr au plus
vrifiant pour tout entier tel que
La preuve consiste remarquer que l'application

est injective. C'est donc un isomorphime.
3.2.2 Expression du polynme d'interpolation
Nous aurons besoin par la suite de connatre explicitement en fonction des , et le
polynme de degr au plus vrifiant (2). La rponse, qui fait intervenir les polynmes
dfinis en (1), est fournie par le
Thorme 3 Avec les notations prcdentes, soit

Alors .
(2)
Dmonstration Il est facile de voir que les polynmes et vrifient les proprits

Il en dcoule immdiatement que le polynme de l'nonc vrifie bien les conditions (2).
Remarque Il est un peu moins facile de trouver les expressions de polynmes et de
degr au plus satisfaisant aux conditions nonces ci-dessus. Montrons comment on y
parvient.
-- Les racines de sont connues: ce sont les . Elles sont toutes doubles sauf . Il existe
donc tel que De plus, . On obtient ainsi

-- Dterminons maintenant . Pour cela, on part du polynme , qui est de degr
et vrifie les conditions

Soit . On considre le polynme . a les mmes proprits que :

Il suffit alors de choisir de faon que . ce moment, d'aprs l'unicit du
polynme d'interpolation d'Hermite, . Or . D'o
, ce qui donne l'expression voulue.

Corollaire 1 Soit . Alors


Dmonstration On part de la relation . D'autre part
. On obtient par drivation:

et donc et . D'o

Cela prouve le Corollaire 1.
3.3 Interpolation de Fejr-Hermite
On impose dans ce qui suit une condition supplmentaire au polynme interpolateur: celle
d'avoir une drive nulle en tous les points .
3.3.1 Oprateur de Fejr-Hermite
Dfinition Soit un lment de . Soient des points distincts de . On
note l'unique polynme de degr au plus vrifiant pour tout compris entre et
les conditions

On dfinit ainsi un oprateur sur , appel oprateur de Fejr-Hermite.
3.3.2 Convergence de l'approximation de Fejr-Hermite
Le thorme qui suit donne une condition suffisante pour qu'une suite de polynmes
d'interpolation converge uniformment. On note le polynme de Tchebicheff. Pour
, .
Thorme 4 Soit l'oprateur de Fejr-Hermite sur , associ aux point ,
racines de . Pour toute fonction continue sur ,

Dmonstration Il suffit de prouver que chaque oprateur est linaire et monotone, et que
l'hypothse (iii) du Thorme 1 est satisfaite. On commence pour cela par tablir une autre
expression de , qui est donne par le
Lemme 1 On note, pour , les racines de . Alors

Dmonstration On applique le Thorme 3 avec , , et le Corollaire 1 avec
. Alors

On calcule ensuite successivement et :
-- Pour , . On obtient donc

D'o:

-- On a de mme, pour , , et donc

On peut alors conclure:

Le Lemme 1 est tabli.
On peut maintenant achever la dmonstration du Thorme 4.
-- La linarit de est claire.
-- La monotonie est consquence du Lemme 1. En effet, si , comme pour
tout lment de , .
-- Il est facile de voir que . Soit . Montrons que la suite de fonctions
tend uniformment vers zro sur . Le Lemme entrane:

On a donc , car et pour tout de .
Remarque Signalons pour conclure que Fejr a montr, en estimant prcisment pour
, que la conclusion du Thorme 4 reste vraie si on remplace la condition
par les conditions suivantes:

1.
2. .

4 Bibliographie
Ce qui prcde est expos dans E. W. CHENEY, Introduction to the Theory of Approximation. Le
phnomne de Runge est trait en dtail dans J . DIEUDONN, Calcul Infinitsimal. Enfin le
rsultat mentionn en remarque la fin est dmontr dans T. J . RIVLIN, The Chebyshev
Polynomials.


114 2 3 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

114 2 3 PDF

Uploaded by

Copyright:

Available Formats

Oprateurs monotones et approximation de fonctions

You might also like