207:prolongements de fonctions.

Exemples et applications
Pierre Lissy May 29, 2010

1 Propagations des rgularits d'une fonction dnie sur un segment priv d'un point
1.1 Prolongement par continut
On considre un espace topologique

Proposition 1.

et un autre spar

F.

On considre une

fonction dnie sur un sous-espace

et continue. Alors il existe au plus un prolongement continu

. A

Exemple 1.

Ce prolongement n'existe pas toujours.

La fonction

1/x

ne peut se prolonger en une fonction continue sur

Exemple 2. sin(1/x) Thorme 1. On considre une application continue d'une partie dense A d'un espace mtrique
(E,d) vers la mimite de

Mme si born par vrai

F, d f

et continue se prolonge de manire unique en une fonction si pour tout selon

x E/A, f
est

existe.

Proposition 2.
1.2

[6]On considre la fonction taux d'accroissement:

f (x) f (y )/x y .

Si

C1

la fonction est prolongeable par continut.

Prolongement de classe

C1

Thorme 2.

[6]On considre un intervalle priv d'un point (ou l'extrmit d'un intervalle). On

considre une fonction valeur dans un espace de Banach drivable sauf en ce point. Alors si la limite de la derive en ce point vaut 1 classe C .

a,

la fonction est drivable en ce point et

f (x0 ) = l.

Idem de

trouver d'autres choses et une application.

1.3 Ordres suprieurs

Ca ne fonctionne pas aussi bien en gnral. Thorme 3 (Borel). [8]On considre une suite
u k )(0) = ak .
(

de rels. Il existe une fonction

C (R)

telle que

Corollaire 1.

Toute fonction de classe

sur un compact

ordre gauche en

et droite en

se prolonge en une fonction

[a, b] admettant C sur R.

des drives tout

Application 1. Toute fonction paire f est telle qu'il existe g, f (x) = g(x2 ). Thorme 4. [7]On considre une application g de classe C nulle en 0. Alors g(x)/x se prolonge
en une application non nul.

et

admet une racine carre

pour peu qu'elle soit positive et que f (0)

Thorme 5.

Finissons sur un thorme d'interpolation.

[7]On considre un ensemble ferm de C .

R.

On peut l'crire comme l'ensemble des

zeros d'une fonction

Rappel : une fonction C n'est pas en gnral analytique. 1

2 Prolongements des solutions locales d'une EDO ou d'une EDP 3 Cas des EDO
Thorme 6.
[4]On considre un systme direntiel

x = f (t, x)

avec

continue localement

lipschitizienne. On a existence et unicit locale d'une solution au pb de Cauchy. On a existence d'une unique solution maximale. Enn, si la solution maximale n'est pas dnie globalement, on a le thorme de sortie de tout compact.

Proposition 3.

On suppose

globalement lipschitzienne. Alors on a existence globale sur tout

l'intervalle. C'est notamment le cas pour les quations linaires. On a aussi la mme chose si est borne, ou si la solution est borne.

4 Prolongements de fonctions holomorphes

4.1 Prolongement ponctuel
On considre une fonction holomorphe dnie sur

Proposition 4.
en

z0

alors la fonction se prolonge de manire holomorphe sur

\ z0 . Si tout entier.

f (z ) = o(1/(z z0 )

Remarque 1.
points isols. morphe.

Reste vrai pour un nombre ni de points, ou mme un nombre dnombrable de

Application 2.

Une fonction holomorphe sur

\ z0

et continue en

z0

est ncessairement holo-

En fait on a aussi le rsultat suivant:

Thorme 7.
4.2

On considre une application holomorphe sur un ouvert

priv d'une sous-varit

de dimension 1, continue sur

Alors elle est holomorphe sur

Prolongement analytique
Une fonction analytique sur un ouvert connexe n'a qu'un nombre ni

Thorme 8 (zeros isols). Corollaire 2.

de zeros sur tout compact (ie les zeros sont isols), autrement dit l'ensemble des racines n'a pas de points d'accumulation. Notamment elle n'a qu'un nombre dnombrable de zeros Prolongement analytique; deux fonctions holomorphes qui concident sur un ensem-

ble admettant un point d'accumulation concident sur l'intersection de leurs ouverts de dnition et on a que si l'une est dnie sur un ensemble plus grand on peut prolonger l'autre cet ensemble.

Attention, principe du prolongement faux si l'on suppose seulement dnombrable et pas de points d'acc.

Exemple 3. [3]Il existe deux fonction dnies sur le demi-plan droit qui valent 0 sur tous les 1/n. Application 3. [3]On retrouve facilement la valeur de la transforme de Fourrier d'une Gaussienne en posant

F (z ) =
[3]f (z )

ezx ex dx.
n (1) /(z

Application 4. Application 5.
C \ 1.

:= 2 cos(z )/sin2 (z ) =

n)2

sur et

C\Z
sur resp

[3][4]Il existe un unique prolongement aux fonction

C \ N

et

Application 6. Application 7.

La seule fonction vriant

Il n'existe pas de fonctions analytiques vriant f (1/2n) f (1/n) = f (1/n) = 1/n2 est la fonction x2 .

= f (1/(2n + 1)) = 1/n. 1.

On

[5]L'galit en dduit la valeur de 12 k.

log (1/(1 z ) =

z n /n

se prolonge sur le disque point de

Application du prolongtement analytique la densit des polynomes orthogonaux. 2

4.3

Prolongements sur le bord du disque de convergence

[4]

Dnition 1.
a

On considre une srie entire de rayon de convergence ni non nul

R.

Un point

du cercle est dit rgulier ssi on peut prolonger la srie en une fonction analytique sur un petit

cercle autour de

a,

singulier sinon.

Proposition 5. Proposition 6. Lemme 1. Proposition 7.

L'ensemble des points rguliers est un ouvert, celui des points singuliers un ferm.

Le prolongement analytique permet de prouver les faits suivants.

Il existe au moins un point singulier. Un point est rgulier ssi dans un voisinage de

a,sup(f ( k )(b/2)k a /k !

Si les coecients du DSE sont positifs, 1 est singulier. Soit

Thorme 9 (sries lacunaires). Exemple 4.

Suite de Morse:

considre une srie de rayon de cv 1

n une srie de rels telle que n+1 /n a > 1. an z n . Tous les points du cercles sont singuliers.
On considre la srie

On

0 = 1, 2n = n , 2n+1 = n .

n z n ,

tout

point du cercle est singulier.

ATTENTION: on peut quand mme des fois prolonger de manire continue la srie sur le cercle.

Exemple 5.
ut.

Par exemple la srie de rayon de convergence

z n /n2

peut se prolonger par contin-

Thorme 10 (Abel non tangentiel).

du bord et

[4]On considre une srie entire, et on considre un point Alors on a

z0

en lequel la srie converge.

secteur dnie par

(z0 , , ) = z |z = z 0(1 rei , 0

1

CV U de la r , ||

srie sur toute une portion de

, pourvu que

/2

< 2cos(),

et donc on prolonge la srie entire en une application continue sur ce secteur.

Application 8.
4.4

[5]

sin(nt)/n = ( t)/2.

(1)n /(n + 1) = ln(2).

Prolongements d'applications conformes[1][page 268]

On considre une application conforme dnie sur un ouvert simplement connexe valeurs dans U disque unit, et on souhaite prolonger l'application par une fonction continue sur valeurs dans U .

Dnition 2.
de

Un point de la frontire de

est dit simple ssi pour toute suite

de points

correspond une courbe On prive

qui passe par les

et par

a.

Exemple 6.
conforme de

du segment

[0, 1[,

les points frontires ne sont pas simples.

Thorme 11.
f ( ) = 1.
type alors

On considre un domaine born simplement connexe du plan et

une application

sur U. Alors

admet un prolongtement continu en tout point frontire pour lequel

De plus si f ) = f ( ).

est un autre point frontire et

est un prolongement continu de mme

Corollaire 3.

Si tout point de la frontire est simple, alors toute application conforme se prolonce

en une homomorphie de

sur

. U

5 Thormes gnraux de prolongement et leur applications

5.1 Prolongement de fonctions uniformment continues et applications
Soit deux espaces mtriques

Thorme 12.
dense de

et

F,

avec

suppos complet. Soit

E.

Soit f une fonction u.c sur

X.

Alors il existe un unique prolongement de

X f

une partie sur

tout

entier, et ce prolongement est encore uniformment continu.

Application 9 (Ascoli). Corollaire 4.

de Soit

Soit

un espace mtrique compact et

un espace mtrique. Les parties

relativement compactes sont exactement les parties quicontinues.

linaire continue de

E X

un evn et dans

un Banach. Soit

de norme subordone

X un |||f |||.

sev dense de

E.

Soit f une application

Alors il existe un unique prolongement

sur

E,

ce prolongement est encore linaire continu de norme subordone

|||f |||.

2 n tant un sous espace vectoriel dense de L (R ), on peut pro2 longer la transforme de Fourier en une application linaire continue de L sur lui-mme. De plus

Application 10.

L1 (Rn ) L2 (Rn )

on montre que cette application est une isomtrie bijective (formule de Parceval).

Application 11.
sur le spectre de

Calcul fonctionnel continu: il existe un unique morphisme d'algbre de Banach

unitaires complexes entre les fonctions continues sur le spectre de

et

L(H )

qui envoient l'identit

sur

justement.

5.2

Hahn-Banach et applications
Soit p une application sous-additive 1-positivement homogne, soit G un sev et g

Thorme 13. Corollaire 5.

norme

une application de G dans

vriant

g (x)

p(x).

Alors il existe une forme linaire prolongeant

g et vriant encore l'ingalit prcdente. Si

est une forme linaire, il existe une forme linaire prolongeant

et de mme

Corollaire 6.
que

Si on se donne un lment de E x il existe une forme linaire f de norme

||x||

telle

||f (x)|| = ||x||2 . ||x|| = sup(|f (x)|) = max(|f (x)|)

sur les

Application 12. Application 13.

vers

de norme plus petite que 1.

On note Jb () = (b). Alors |||Jb ||| = ||b||. Jb tant une injection, si elle est surjective on dit que l'espace est rxif. On a alors que b Jb est une isomtrie bijective de E

qui peuvent tre identis. On dit qu'un hyperplan spare (au sens strict) deux ensembles au sens large si il

Dnition 3.

existe un hyperplan tel que l'une des parties soit (strictement) au-dessus d' hyperplan et l'autre (strictement) au-dessous.

Thorme 14 (Hahn-Banach gomtrique).

au sens strict.

On peut sparer deux convexes disjoints dont l'un est

ouvert au sens large en dimension nie. On peut sparer un convexe ferm et un convexe compact

Application 14.
espaces.

[2]Tout convexe ferm d'un evn de dim nie s'crit comme intersection de demi-

Application 15.
Ker().
5.3
Alors

[2]On se donne des formes linaires tels que

et

1 , . . . r .

On suppose

Ker(i )

1 , . . . , r

i i .

Thormes de prolongements d'Urysohn et Tietsz

Soit (E, d) un espace mtrique et A un ferm de E . On de f continue borne sur A. Alors on peut prolonger A sur E en f sur E de f (resp inf ) soit celui de f sur A (resp inf ) contelle

Thorme 15 (Tietsze-Urysohn).
sidre une application manire que le sup

Lemme 2 (Urysohn).
X
et sur

[1]Soit X un espace topologique localement compact spar,V K un compact inclus dans V . Il existe une application f Cc (X ) qui prolonge K , toujours infrieure 1 et dont le support est inclus dans X Soit

un ouvert de la fonction

Application 16.
de

un espace topologique localement compact spar,V1 , . . . Vn des ouverts

et

un compact inclus dans

hi comprises K.

V1 . . . Vn . Alors il existe des fonctions de X valeurs relles entre 0 et 1, avec le support de hi qui est dans Vi , telle que h1 (x) . . . + hn (x) = 1 sur

Dnition 4.

Un espace topologique est dit normal ssi pour tout couple d'ensembles ferms A et

B disjoints, il existe deux ouverts disjoints U et V tels que A soit inclus dans U et B dans V

Thorme 16 (Urysohn).
5.4

qui tablit que pour deux ferms disjoints A et B d'un espace normal

X, il existe une fonction continue de X dans l'intervalle

[0, 1]

qui vaut

sur

et

sur

B.

Thormes d'interpolation

L'interpolation, c'est le prolongement d'oprateurs dnis sur certains espaces d'autres espaces, ou alors le prolongement de fonctions exprimentales. C'est donc bien des prolongements de fonctions.

Thorme 17 (Lagrange).

Soient des couples de points d'un corps

distincts. Alors il existe un unique polynme de degr es polynmes qui conviennent est

K , nots (xi , yi ) avec les xi n 1 sur K [X ] tel que P (xi ) = yi . l'ensemble

P K [X ].

De mme si on impose des conditions en plus sur les

drives. Enn on a une majoration de l'erreur par interpolation de Lagrange: x [a, b], n f n+1 ( ) (x xi ). Phnome de Runge: on peut tjours trouver uen fonction I/f (x) Pn (x) =

(n + 1)!

i=0

pour lequel on a pas CVU.

Thorme 18.
Lp ()
vers

On considre (, ) un espace mesur. On considre un oprateur continu T de p q et de L () vers L () , de norme M0 et M1 . Alors on peut prolonger T sur 1 tout les espaces intermdiaires. De plus, avec des notations videntes M M0 M1 .

Lq ()

5.5

prolongements de mesure

A Voir.

References
[1] Rudin [2] Brezis [3] Beck [4] Zuily-Queelec [5] Fayel exercices fonctions analytiques. [6] Gourdon analyse [7] FGN analyse 1 [8] Rouvire