Sie sind auf Seite 1von 203

UNIVERSITE DE LIEGE

Faculte des Sciences

EXERCICES
dANALYSE
MATHEMATIQUE

Notes du cours de la seconde candidature


en sciences mathematiques et
en sciences physiques

F.BASTIN J.-P. SCHNEIDERS

Septembre 1992

EDITION PROVISOIRE
Introduction

Ce cahier dexercices est destine aux etudiants de seconde candida-


ture en sciences mathematiques et physiques. Il a pour but de completer
le cours danalyse du Professeur J. Schmets et a` servir de base aux
seances de travaux pratiques.
Les exercices sont nombreux et ont un degre de difficulte tr`es vari-
able. Certains sont uniquement destines a` aider letudiant `a acquerir
les automatismes de base pour la manipulation des differents concepts
introduits dans la partie theorique du cours. Dautres ne sont pas `a pro-
prement parler des exercices mais plutot des applications de la theorie `a
la resolution de probl`emes concrets. Leur but est de mettre en evidence
comment tirer parti des methodes enseignees dans des situations en re-
lation directe avec la pratique.
La plupart des exercices sont fournis avec leur solution detaillee, ceci
afin que letudiant qui desire travailler par lui-meme puisse controler
ses resultats. Il va sans dire que seule la recherche personnelle des
solutions peut faire progresser dans la connaissance de la mati`ere et
que ces solutions ne devraient etre utilisees que comme controle.
Lorigine des exercices est tr`es variee. La plupart proviennent des
livres classiques danalyse cites dans la bibliographie. Dans de nom-
breux cas, ils ont ete modifies pour sintegrer dans le cadre du cours et
parfois leurs solutions ont ete simplifiees par des arguments originaux.
Nous pensons que le but principal dun cahier dexercices est daider
letudiant a` matriser la mati`ere du cours. Pour atteindre ce but, la
collaboration des etudiants est necessaire. Nous sommes donc ouverts
a` toute suggestion concernant lincorporation de nouveaux exercices ou
la consideration de nouveaux probl`emes entrant dans le cadre du cours.

i
ii

Nos plus vifs remerciements vont `a M. A. Garcet et Mme J. Lombet


pour leur aide lors de la relecture des epreuves.
Pour terminer, nous voudrions egalement remercier Mme N. Dumont
pour le soin quelle a apporte `a lencodage en TEX de notre manuscrit.

Li`ege, septembre 1990

F. Bastin J.-P. Schneiders


Chapitre 1

Espaces m
etriques et norm
es

Exercice 1.1 Par definition, un ensemble est infini sil est en bijection
avec lune de ses parties propres; un ensemble est fini sil nest pas infini.
a) Si A est un ensemble fini et non vide, toute injection de A dans A
est une bijection.
b) Si A est un ensemble qui contient une suite de points deux a` deux
distincts, alors A est infini.

Solution:
a) Si f : A A est injectif mais non surjectif, alors f (A) est une partie propre
de A et g : A f (A) a 7 f (a) est une bijection. Do`
u la conclusion.
b) Soit D := {xm : m IN} une partie de A telle que xm 6= xn si m 6= n. Posons
B := A\{x1 } et definissons f : A B par f (a) = a si a A\D et f (xm ) = xm+1
pour tout m IN. D`es lors A est infini car f est une bijection et B est une partie
propre de A. 2

Exercice 1.2 Donner lexpression dune bijection entre [0, 1[ et ]0, 1[.
Solution: Lapplication T : [0, 1[]0, 1[ definie par

1/2 si x=0
T (x) = 1/(m + 1) si x = 1/m
x sinon

est une bijection entre les intervalles [0, 1[ et ]0, 1[. 2

1
2 Chapitre 1.

Exercice 1.3 Soit (X, d) un espace metrique.


a) Pour toute partie A de X et tout ouvert on a ( A) =
( A ) .
b) Une partie D de X est partout dense si et seulement si D rencontre
tout ouvert non vide de X.
c) Si A, B et Aj (j J) sont des parties de X, on a

(A B) = A B (A B) = A B
A B (A B) (A B)
A B

(jJ Aj ) = (jJ Aj )
(jJ Aj ) = (jJ Aj ) .

d) Si A et B sont des parties de X telles que A B = A B =


alors
(A B) = A B (A B) = A B .

e) Si A et B sont des parties de X et si A ou B est ouvert alors

A B = (A B) .

f) Si A est une partie non vide de X, alors

A = {x X : d(x, A) = 0}.

On en deduit que tout ferme (resp. tout ouvert) de X est inter-


section (resp. union) denombrable douverts (resp. de fermes).

Solution: a) Bien s ur, on a (A ) (A ) . Soit alors a A et soit
V un voisinage de a. Comme V est encore un voisinage de a, et comme a est

adherent `a A, lintersection A ( V ) nest pas vide. De A (A ) , on
deduit alors la th`ese.
b) decoule du fait que tout ouvert est voisinage de chacun de ses points et que
tout voisinage de x contient un ouvert auquel x appartient.
c) est direct vu les proprietes de linterieur et de ladherence dune partie de X.

d) On a toujours A B (A B) et par consequent aussi (A B)

A B . Supposons que A B = A B = (?). Soit x (A B) . Si x appar-
tient `
a A (resp. `a B), on deduit de (?) que lensemble CB (resp. CA) est un voisinage
de x; par consequent (A B) CB = A CB (resp. (A B) CA = B CA) est
Espaces metriques et normes 3

aussi un voisinage de x. D`es lors A (resp. B) est voisinage de x et x A B .


Comme on a A CB CB et B CA CA , legalite

A B = (A \A ) (B \B )

conduit `
a

A B (A B) \(A B ) = (A B) \(A B)

= (A B)

.
e) Pour toutes parties A et B de X, on a A B A B ; par consequent

(A B) A B donc (A B) (A B ) = A B . Cela etant, sup-
posons par exemple que A soit ouvert et demontrons que louvert A B est

inclus dans (A B) . Comme A est ouvert, on a (A B) = (A B ) . Soit

alors un element x de A B et un voisinage V de x. Lensemble A B V

etant encore un voisinage de x, on en deduit que A B V nest pas vide. Do`


u
la conclusion.
f) Ladherence A de A secrit encore

1
A = {x X : d(x, a) < }.
mIN aA m

D`es lors, par definition de la fonction d(, A), on a

1
A = {x X : d(x, a) < }
mIN m
do`
u
A = {x X : d(x, A) = 0}.
2

Exercice 1.4 Soient (X, d) un espace metrique, B un sous-espace de


(X, d) et A une partie de B. Alors
a) AB = AX B; AX = AB B X ; AB AX B;
b) si B est ouvert dans (X, d) alors AX = AB et AB = AX B; si
B est ferme alors AB = AX .

Solution: Il suffit dappliquer les definitions de ladherence, de linterieur et de la


fronti`ere dun ensemble dans un espace metrique.
4 Chapitre 1.

Exemples :
(i) Dans X = IR : lensemble A =]0, 1] est ferme dans B =]0, +[, ouvert dans
B =] , 1]; lensemble A = {0} concide avec sa fronti`ere dans X = IR alors que
sa fronti`ere dans B = {0} [1, 2] est lensemble vide ({0} est voisinage de lui-meme
dans cet espace).
(ii) Dans X = IR3 : lensemble A = {(x, y, 0) : x2 + y 2 < 1} est ouvert dans
B = IR2 et son interieur dans IR3 est vide. 2

Exercice 1.5 Soient un ouvert non vide de IRn et f une fonction


definie sur telle que limxx0 ,x6=x0 f (x) = 0 pour tout x0 . Alors
lensemble des points dannulation de f est partout dense dans .
Solution: Soit N lensemble {x : f (x) = 0} et soit un ouvert non vide de
1
. Si N = alors = mIN {x : |f (x)| m }. Comme est un ouvert
n
non vide de IR , il nest pas denombrable; il sensuit quil existe M IN tel que
1
lensemble {x : |f (x)| M } ne soit pas denombrable. Cela etant, soit Km
(m IN) une suite croissante de compacts telle que = mIN Km . On obtient
1
donc un M0 IN tel que lensemble {x KM0 : |f (x)| M } soit non denombrable;
soit xm (m IN) une suite delements distincts de cet ensemble. Comme KM0 est
compact, quitte `
a passer `a une sous-suite, on peut supposer que la suite xm converge
vers x KM0 et que xm 6= x pour tout m IN. D`es lors, vu lhypoth`ese sur f , on
a limm+ f (xm ) = 0, ce qui contredit |f (xm )| M 1
pour tout m IN. 2

Exercice 1.6 Soit (X, dX ) lespace discret introduit au cours.


a) Pour tout espace metrique (Y, dY ), toute application
f : (X, dX ) (Y, dY )
est continue.
b) (X, dX ) est complet.
c) (X, dX ) est compact si et seulement si X est fini.
d) (X, dX ) est separable si et seulement si X est denombrable.
e) Les seules parties connexes non vides de (X, dX ) sont les singletons.

Solution: Il suffit de se rappeler que tous les sous-ensembles de X sont des ouverts
de (X, dX ). 2
Espaces metriques et normes 5

Exercice 1.7 Soit (X, d) un espace metrique et soit A une partie non
vide de X. Alors
a) A est borne si et seulement si A est borne;
b) si A est borne, alors diam A = diam A ;
c) si A est precompact, alors A est borne;
d) si (X, d) est complet, si Am (m IN) est une suite decroissante de
parties bornees, fermees et non vides de (X, d) telle que
diam Am 0,
alors +
m=1 Am est un singleton.

Solution:
a) est immediat car dune part A A et dautre part les boules b(x, r) de
(X, d) sont fermees.
b) Comme A A , on a bien s ur diam A diam A . Reciproquement, soient

x, y deux elements de A et soit  > 0. Il existe a, b A tels que d(x, a) /2 et
d(y, b) /2. D`es lors on obtient d(x, y) d(x, a) + d(a, b) + d(y, b)  + diam A.
Finalement, on a diam A diam A.
c) Comme A est precompact, il existe N IN et an X (n N ) tels que
N
A b(an , 1).
n=1

Soit x X. Alors pour tout element a de A, on a

d(x, a) d(x, an ) + d(an , a) sup(d(x, aj ) : j N ) + 1

si n est choisi tel que d(a, an ) 1. Il sensuit que A est inclus dans la boule de
a sup(d(x, an ) : n N ) + 1.
centre x et de rayon egal `
d) Pour tout m IN, choisissons un element am de Am . Cela etant, comme la
suite diam Am converge vers 0 et comme les Am sont embotes en decroissant,la
suite am est de Cauchy. D`es lors, comme lespace (X, d) est complet, il existe a X
tel que la suite am converge dans (X, d) vers a. Demontrons que lintersection des
Am concide avec {a}.
De fait, en se rappelant que les Am sont fermes et que lon a an AN pour tout
N IN et tout n N , on obtient que la limite a de la suite am appartient `a chacun
des AN (N IN). De plus, si x et y sont deux elements de mIN Am , alors on a
d(x, y) diam Am pour tout m IN, donc d(x, y) = 0 et finalement x = y. 2
6 Chapitre 1.

Exercice 1.8 Soient (X, dX ) et (Y, dY ) deux espaces metriques.

a) Si f : (X, dX ) (Y, dY ) est continu et si A est une partie relative-


ment compacte de X, alors f (A ) = (f (A)) .

b) Si f, g : (X, dX ) (Y, dY ) sont continus, alors lensemble


F := {x X : f (x) = g(x)} est ferme.

c) Pour toute fonction continue f sur IRn [a, b], la fonction


S(x) = supayb |f (x, y)| est continue sur IRn .

Solution:

a) Dune part, comme f est continu, on a A f 1 (f (A)) donc f (A )

(f (A)) . Dautre part, comme A est compact et comme f est continu, lensemble
f (A ) est compact, donc ferme. Do` u la conclusion car on a f (A) f (A ).
b) est direct en se rappelant quun ensemble est ferme si et seulement sil contient
les limites de ses suites convergentes.
c) Montrons que S est continu en tout x0 IRn . Posons B0 = {x IRn :
|xx0 | 1}. Comme la fonction f est continue sur IRn [a, b], elle est uniformement
continue sur le compact B0 [a, b] de IRn+1 . Etant donne > 0, il existe donc
0 < r 1 tel que

x, x0 B0 , t, t0 [a, b]

= |f (x, t) f (x0 , t0 )| . (1.1)
|(x, t) (x0 , t0 )| r

D`es lors, pour tout x IRn , |x x0 | r, vu (1.1), on a

|f (x, t)| |f (x, t) f (x0 , t)| + |f (x0 , t)| + S(x0 ) t [a, b]

donc
S(x) + S(x0 )

et de meme
S(x0 ) + S(x).

Do`
u la conclusion. 2

Exercice 1.9

a) Si A est une matrice reelle de dimension m n, alors lapplication


T : IRn IRm x 7 Ax est lineaire et continue.
Espaces metriques et normes 7

b) Soit [a, b] un intervalle compact de IR et soit E lespace norme


(C0 ([a,
Ry
b]), supaxb |(x)|). Etablir que lapplication S : E E
f 7 a f (x)dx est definie, lineaire et continue (limage de la boule
unite de E est meme relativement compacte dans E).

Solution:
a) est immediat.
b) Vu le theor`eme de Lebesgue, S est bien defini. Il est alors immediat de voir
que S est lineaire et continu. 2

Exercice 1.10 Si deux fermes (resp. ouverts) de lespace (X, d) ont


une reunion et une intersection connexes, alors ils sont connexes.
Solution: Soient F1 et F2 deux fermes tels que F1 F2 et F1 F2 soient connexes.
Procedons par labsurde et supposons par exemple que F1 nest pas connexe. Alors
il existe deux ouverts 1 et 2 de (X, d) tels que 1 F1 et 2 F1 forment une
partition de F1 . Considerons alors les ensembles

1 (F1 F2 ) et 2 (F1 F2 ).

Il sagit douverts de F1 F2 , dont lintersection est vide et dont la reunion est


F1 F2 . Comme F1 F2 est connexe, lun (au moins) dentre eux est vide. Par
exemple 1 F1 C F2 ; do`u il vient

F1 F2 2 .

Considerons ensuite les ensembles

(F1 2 ) (F2 \F1 ) et F1 1 .

Il sagit douverts de F1 F2 car ils secrivent (F1 F2 ) (2 C F1 ) dune part


et (F1 F2 ) (1 C F2 ) dautre part. De plus, F1 F2 est egal `a leur reunion.
Comme F1 F2 est connexe, lun (au moins) de ces ensembles est vide. Comme
F1 1 et F1 2 forment une partition de F1 , on doit avoir F2 \F1 = donc
F2 F1 . Mais ceci est absurde car par hypoth`ese F1 F2 est connexe alors quon
vient de supposer F1 non connexe.
On peut proceder de mani`ere analogue lorsquil sagit douverts.
Il faut cependant remarquer que ce resultat nest plus valable lorsque les deux
ensembles ne sont pas simultanement ouverts ou fermes.
De fait, dans IR, les ensembles A1 = [1, 2] [3, 4] et A2 =]0, 1[]2, 3[ sont de
reunion et dintersection connexes (A1 A2 =]0, 4] et A1 A2 = ) bien que ni A1
ni A2 ne soit connexe. 2
8 Chapitre 1.

Exercice 1.11 Soit (X, dX ) un espace metrique.


a) Lespace (X, dX ) est connexe si et seulement si toute partie propre
et non vide de X a une fronti`ere non vide.
b) Si A et B sont deux parties connexes non vides de (X, dX ) alors
A B est connexe si et seulement si lun des ensembles A B et
A B est non vide.

Solution:
a) La condition est necessaire. En effet, soit A une partie propre non vide de
X. Si A = alors A = A = A, donc A est `a la fois ouvert et ferme dans X, ce
qui est absurde.
La condition est suffisante. En effet, si 1 , 2 est une disconnexion de X, alors
1 est une partie propre et non vide de X qui est `a la fois ouverte et fermee, donc
qui a une fronti`ere vide. Do`u une contradiction.
b) La condition est necessaire. Supposons que A B soit connexe et que
A B = . Si on a aussi A B = , alors (C A ) (A B) et (C B ) (A B)
forment un recouvrement disjoint ouvert de A B. Comme A B est connexe, lun
au moins de ces ensembles est vide, par exemple C A (A B) = C A B. D`es
lors B A donc = A B = B. Do` u une contradiction.
La condition est suffisante. Supposons que A B 6= . Sil existe des ouverts
1 , 2 de (X, dX ) tels que 1 (A B) et 2 (A B) forment une partition binaire
ouverte de A B, alors (1 A) (1 B) 6= donc 1 A 6= ou 1 B 6= .
Raisonnons en supposant 1 A 6= . Comme A est connexe, on en deduit que
A 2 = et par suite 2 B 6= . Vu la connexite de B, on obtient B 1 = .
Par consequent A B A 2 (A 2 ) = ; do` u une contradiction. 2

Exercice 1.12 Placons nous dans IR2 .


a) Le complementaire de la boule unite B = {x IR2 : |x| 1} est
connexe par arcs.
b) Lespace E = {0} [1, 1]) {(x, sin 1/x) : x ]0, 1/]} est con-
nexe mais nest pas connexe par arcs.

Solution: a) Soient a et b deux points distincts de IR2 \B tels que |a| |b|.

(i) Si |a| = |b| = R et si arg(a) < arg(b) (par exemple), alors lapplication

f 0 = [arg(a), arg(b)] IR2 \B t 7 (R cos t, R sin t)


Espaces metriques et normes 9

est continue (car les fonctions cos et sin sont continues sur IR) et telle que
f 0 (arg(a)) = a et f 0 (arg(b)) = b. Si lon veut revenir `a lintervalle [0, 1], il
suffit de considerer la fonction continue
g : [0, 1] [arg(a), arg(b)] t 7 arg(a) + t(arg(b) arg(a))
2
et lapplication f 0 g : [0, 1] IR \B.
(ii) Si |a| < |b| et arg(a) = arg(b), alors lapplication
f : [0, 1] IR2 \B t 7 a + t(b a)
est continue et telle que f (0) = a et f (1) = b.
(iii) Si |a| < |b| et arg(a) < arg(b), alors dune part
f1 : [arg(a), arg(b)] IR2 \B t 7 (|a| cos t, |a| sin t)
est continu et tel que f1 (arg(a)) = a, c := f1 (arg(b)). Dautre part,
f2 : [0, 1] IR2 \B t 7 c + t(b c)
est continu et tel que f2 (0) = c et f2 (1) = b. Il sensuit que f : [0, 1] IR2 \B
defini par f (t) = f1 (g(2t)) si t [0, 1/2]; f (t) = f2 (2t 1) si t [1/2, 1] est
continu et tel que f (0) = a et f (1) = b.
(iv) Si |a| < |b| et arg(a) > arg(b), on proc`ede comme dans le cas precedent en
considerant par exemple dabord
g1 : [arg(b), arg(a)] IR2 \B t 7 (|b| cos t, |b| sin t)
puis
g2 : [0, 1] IR2 \B t 7 d + t(a d)
u on pose d := (|b| cos arg(a), |b| sin arg(a)).
(o`
b) Posons S := {0}[1, 1] et G = {(x, sin x1 ) : x ]0, 1/]}. Comme S G 6=
(car la suite (1/k, 0) (k IN) appartient ` a G et converge dans IR2 vers (0,0)) et
comme S et G sont des parties connexes de IR2 , leur reunion E est connexe.
Cela etant, demontrons par labsurde que E nest pas connexe par arcs. De fait,
supposons quil existe une application continue : [0, 1] E telle que (0) = (0, 0)
et (1) = (1/, 0). Soit r0 = sup{t [0, 1] : (t) S}. Comme (1) appartient
a G et comme est continu, on obtient 0 r0 < 1; de plus, la continuite de
`
permet aussi de demontrer que (r0 ) appartient `a S. Supposons par exemple que
(r0 ) {0} [0, 1]. Il existe alors un voisinage V de (r0 ) dans IR2 et par suite
 > 0 tels que ([r0 , r0 + ]) V \(IR [1, 12 ]). On construit alors directement
une partition binaire ouverte U1 , U2 de ([r0 , r0 + ]). Do`u une contradiction car
([r0 , r0 + ]) est connexe.
10 Chapitre 1.

Exercice 1.13
a) Toute partie connexe de IR est connexe par arcs.

b) Tout ouvert connexe de IRn est connexe par arcs.

c) Toute partie de QI (sous-espace de IR) contenant plus dun point


nest pas connexe.

Solution: a) et c) sont directs.


b) Si est vide, il est bien s
ur connexe par arcs. Sil ne lest pas, pour tout
element x de considerons lensemble

x := {y : un chemin : [0, 1] tel que (0) = x et (1) = y}.

La famille x (x ) est une famille douverts non vides de IRn (pour prouver que
x est ouvert, on peut proceder comme suit : pour tout y x , il existe r > 0 tel
que la boule b de centre y et de rayon r soit incluse dans louvert . Pour conclure,
il suffit alors de noter que la boule b est en fait incluse dans x ) telle que pour tous
x, x0 , on ait
x x0 = ou x x0 = x = x0 .
Pour conclure, il suffit de prouver que tous les x concident.
De fait, si ce nest pas le cas, il existe des elements x et x0 de tels que x 6= x0
donc tels que x x0 = . Les ensembles

x et y
y,y 6=x

forment par consequent une partition binaire ouverte de , ce qui est contradictoire.
2
Espaces metriques et normes 11

Exercice 1.14
a) Soit (X, dX ) un espace metrique (X 6= ). Une partie C de X
est une composante connexe de (X, dX ) si et seulement si cest un
connexe maximal (cest-`a-dire un connexe tel que, si A est une
partie connexe de (X, dX ) contenant C, alors A = C).
b) Toute composante connexe dun ouvert de IRn est ouverte.
c) Soient (X, dX ) et (Y, dY ) deux espaces metriques et soit f une
application continue de (X, dX ) dans (Y, dY ). Pour toute com-
posante connexe C de (Y, dY ), lensemble f 1 (C) est reunion de
composantes connexes de (X, dX ).

Solution: a) La condition est necessaire. Par definition des composantes connexes,


C est la classe dequivalence de lun de ses elements; soit C = Cc . D`es lors pour
toute partie connexe A de (X, d) contenant C, A contient c, donc est inclus dans
C. De plus, C est connexe comme reunion de connexes dintersection deux `a deux
non vide.
La condition est suffisante. Dune part, si X nest pas vide, il en est de meme
pour C. Soit donc un element c de C. Demontrons que C est la reunion des connexes
de (X, d) contenant c. De fait, si B est connexe et contient c, lensemble B C est
connexe et contient C; d`es lors B B C = C. Pour conclure, il suffit alors de
constater que C est lui-meme un connexe contenant c.
b) Soit C une composante connexe de et soit x C. Il existe b(x, r) inclus
dans . Comme b(x, r) est connexe (car convexe) et dintersection non vide avec
C, la boule b(x, r) est incluse dans C, do`
u la conclusion.
c) Pour toute composante connexe A de (X, dX ) telle que A f 1 (C) 6= , on
a A f 1 (C) (de fait : f (A) est connexe et f (A) C 6= ; d`es lors f (A) C
est un connexe contenant C, donc egal ` a C). Comme X est egal `a la reunion de
ses composantes connexes, f 1 (C) est lunion des traces (non vides) sur f 1 (C)
des composantes connexes de (X, dX ); par consequent f 1 (C) est lunion de ces
composantes connexes. 2

Exercice 1.15 Soit (X, d) un espace metrique. Etablir quune partie


compacte K de (X, d) est connexe si et seulement si pour tous x, y K
et tout  > 0, il existe un nombre fini delements
x0 := x, x1 , . . . , xN , xN +1 := y
de K tels que d(xj , xj+1 ) <  pour tout j {0, . . . , N }.
12 Chapitre 1.

Solution: La condition est necessaire (on nutilise pas lhypoth`ese de compacite de


K); il suffit de remarquer que, pour tout x K et tout  > 0, lensemble

{y K : x0 = x, x1 , . . . , xN , xN +1 = y K : d(xj , xj+1 ) <  j = 0, . . . , N }

est une partie ouverte, fermee, non vide de K et par consequent est egale au connexe
K.
La condition est suffisante. De fait, si le compact K nest pas connexe, il existe
une partition fermee F1 , F2 de K. Comme F1 et F2 sont compacts et dintersection
vide, il existe f1 F1 et f2 F2 tels que  := d(F1 , F2 ) = d(f1 , f2 ) soit strictement
positif. Il existe ensuite des elements x0 := f1 , x1 , . . . , xN , xN +1 := f2 de K tels
que d(xj , xj+1 ) < 2 pour tout j = 0, . . . , N . Il sensuit quil existe j {0, . . . , N }
tel que xj F1 et xj+1 F2 , ce qui est absurde car d(F1 , F2 ) = . 2

Exercice 1.16 Pour tout compact K de IR2 , lensemble Pr(K) :=


{x IR : y IR (x, y) K} est un compact de IR. Ce resultat
est-il encore valable si on remplace compact par ferme (resp. par
ouvert) ?
Solution: Pour demontrer que Pr(K) est compact, on peut soit demontrer quil est
extractable, soit demontrer que lapplication Pr : IR2 IR1 (x, y) 7 x est continue.
Cas ferme non valable : le ferme F := {(x, y) IR2 : xy = 1, x 0, y 0} de
2
IR est tel que Pr(F) =]0, +[.
Cas ouvert valable : soit un ouvert de IR2 et soit x un element de Pr(). Il
existe y IR tel que (x, y) et par suite r > 0 tel que b(x, r) b(y, r) . D`es
lors b(x, r) P r(). 2

Exercice 1.17 Soit d une distance sur X. La loi := d/(1 + d) est


alors une distance sur X telle que
a) lapplication identite est continue de (X, d) dans (X, ) et de (X, )
dans (X, d) (on dit que les espaces (X, d) et (X, ) sont homeo-
morphes);
b) X est borne pour (alors quil ne lest pas necessairement pour d
comme le montre lexemple de X = IR et d = ||);
c) d et definissent les memes suites de Cauchy.

Solution: La loi est bien definie sur X X et est `a valeurs dans [0, +[. Bien
s
ur, on a aussi (x, y) = (y, x) et (x, y) = 0 si et seulement si d(x, y) = 0, donc
Espaces metriques et normes 13

si et seulement si x = y. Pour prouver que est une distance, il reste donc `a


prouver que cette application verifie linegalite triangulaire. De fait, la fonction
f (x) := x/(1 + x) est une fonction croissante sur ] 1, +[. D`es lors, pour tous
x, y, z X, on a d(x, y) d(x, z) + d(z, y) donc aussi

d(x, z) d(z, y)
(x, y) = f (d(x, y)) f (d(x, z) + d(z, y)) +
1 + d(x, z) 1 + d(z, y)
= (x, z) + (z, y).

a) Dune part, pour tous x, x0 X et tout 0 <  < 1, on a (x, x0 ) < 


d(x, x0 ) < /(1 ) donc id : (X, d) (X, ) est continu. Dautre part, pour
tous x, x0 X et tout  > 0, on a d(x, x0 ) <  (x, x0 ) < /(1 + ), donc
id : (X, ) (X, d) est continu.
b) est evident car est `
a valeurs dans [0, 1].
c) se demontre comme a). 2

Exercice 1.18 La loi d(x, y) = |arctan x arctan y|


a) est une distance sur IR equivalente au module (cest-`a-dire que
lidentite est continue de (IR, ||) dans (IR, d) et de (IR, d) dans
IR, ||);
b) est telle que toute suite de Cauchy pour || est de Cauchy pour d
mais la reciproque nest pas vraie;
c) est telle que (IR, d) nest pas complet, mais il existe un espace
metrique complet F tel que (IR, d) soit un sous-espace dense de F .

Solution: a) Le fait que d soit une distance est evident (se rappeler que arctan est
une bijection de IR dans ] 2 , 2 [). De plus, comme les fonctions tan et arctan sont
continues et inverses lune de lautre, on verifie immediatement que || et d sont des
distances equivalentes.
b) Comme Dx arctan x 1 pour tout x IR, on a d(x, y) |x y| pour tous
x, y IR; d`es lors, toute suite de Cauchy pour || est de Cauchy pour d. De plus, la
suite xm := m (m IN) est de Cauchy pour d mais non pour ||.
c) Comme xm := m (m IN) ne converge pas dans IR, lespace (IR, d) nest pas
complet. Lespace F obtenu en munissant IR {, +} de la distance d? definie
par
d? (x, y) = d(x, y) si x, y IR
d? (, y) = |(/2) + arctan y| si y IR
d? (x, +) = |(/2) arctan x| si x IR
d? (, +) =
14 Chapitre 1.

est un espace metrique complet dont (IR, d) est un sous-espace dense. 2

Exercice 1.19
a) Verifier que les lois suivantes sont des normes sur les espaces
lineaires correspondants :
supxK |(x)| sur C0 (K) (K compact de IRn
Rb
a |(x)| dx sur C0 ([a, b]) (a, b IR et a < b)
supx |(x)| sur C00 () ( ouvert de IRn )
supmIN |m | sur l et C0
P+
m=1 |m | sur l1
P 1/2
+
m=1 |m |2 sur l2

b) Soit M lensemble
{f C0 ([0, 1]) : f (0) = 0, f (1) = 1, sup |f (x)| 1}
0x1

muni de la distance d(f, g) := sup |f (x) g(x)|. Verifier que


0x1
loperateur T : M [0, 1] defini par
Z 1
f 7 |f (x)|2 dx
0
est continu; en deduire que M nest pas compact (mais il est borne
et ferme dans C([0, 1])).

Solution: a) est direct.


b) On verifie directement que T est bien defini. De plus, il est continu car on a,
pour tous f, g M :
Z 1 Z 1
2 2
|T f T g| = (|f | |g| )dx 2
| |f | |g| | dx 2 d(f, g).
0 0
m
Considerons la suite fm (x) = x (m IN) de M . Si M est compact, il existe f M
et une sous-suite fk(m) de f tels que fk(m) f dans M . Comme T est continu, la
R1 2
suite T fk(m) = 1/(2k(m) + 1) converge vers T f . D`es lors, T f = 0 |f | dx = 0 et
par suite f = 0 sur [0, 1]. Do`
u une contradiction car f appartient `a M. 2
Espaces metriques et normes 15

Exercice 1.20 [Ensembles convexes et cones conormaux]


Soit c un convexe ferme de IRn . On definit le conormal a` c en x c
comme lensemble des vecteurs IRn tels que
y c hy x, i 0,
on le note Nx? (c) et on definit le fibre normal a` c en posant
N ? (c) = {x} Nx? (c) IRn IRn .
xc

On verifie aisement que N ? (c) est ferme. On demande de montrer que


a) Nx? (c) est un cone convexe ferme.
b) Nx? (c) = {0} x c .
c) Pour tout x, la distance d(x, c) est realisee en un et un seul point
p(x) de c.
d) On a legalite
p1 (x) = x + Nx? (c)
et en particulier, on a
?
x p(x) Np(x) (c).

e) Lapplication p est continue et p(x) c si x


/ c.
f) On a legalite
c= {y : hy x, i 0}.
(x,)N ? (c)

g) La fonction
d2 (x, c) : IRn IR
est de classe C1 et on a
gradx d2 (x, c) = 2(x p(x)).

h) Si : U V est une application C1 dun voisinage U de c sur un


voisinage V de (c) et si (c) est convexe, alors

g
(N ? (c)) = Nx? c.
x (x)
16 Chapitre 1.

i) En deduire que pour tout  > 0


c = {x : d(x, c) }
est une variete `a bord de classe C1 et que
Nx? (c ) Np(x)
?
(c).

Solution:
a) Cest trivial. En effet, il est clair que N ? (c) est ferme et que Nx? (c) est convexe
et conique.
b) Si x c0 , il existe une boule B centree en x et incluse dans c ainsi Nx (c) = {0}.
Si x c, il existe une suite xm / c telle que xm x. D`es lors,
xm p(xm )
m =
|xm p(xm )|
est une suite bornee et (xm , m ) N ? (c). On peut donc trouver une sous-suite
(xm , m ) N ? (c) qui converge vers (x, ), || = 1. Il en resulte que Nx? (c) et
que Nx? (c) 6= {0}.
c) Comme IRn est localement compact, la distance d(x, c) est realisee en un point
y1 c. Elle est realisee en y2 c et si y2 6= y1 , il est clair que
y1 + y2 d(x, y1 ) + d(x, y2 )
d(x, )< = d(x, c)
2 2
y1 +y2
et comme c est convexe, 2 c et on doit egalement avoir
y1 + y2
d(x, c) d(x, ),
2
do`
u une contradiction.
d) Soit h un vecteur tel que p(x) + h c. Par convexite, p(x) + th c pour
t [0, 1]. Ainsi, on a successivement
2 2
|p(x) + th x| |p(x) x|
2 2 2
|p(x) x| + 2t hp(x) x, hi + t2 |h| |p(x) x|
2 hp(x) x, hi + t |h| 0

pour tout t [0, 1]. En laissant t tendre vers 0, on voit que

hx p(x), hi 0.

De cette majoration, il resulte que


?
x p(x) Np(x) (c).
Espaces metriques et normes 17

Comme x = (x p(x)) + p(x), on a p1 (y) y + Ny? (c).


Soit maintenant un Ny? (c)\{0}. Par definition,

c {x : hx y, i 0}.

Il en resulte que d(y + , c) d(y + , y) d(y + , c). Ainsi d(z + , c) = d(y + , y)


et p(y + ) = y do` u lon tire que

y + Ny? (c) p1 (y).

e) On a les majorations suivantes


2 2
|x y| = |x p(x) + p(x) p(y) + p(y) y|
2 2
= |x p(x) + p(y) y| + |p(x) p(y)|
+2 hx p(x) + p(y) y, p(x) p(y)i
2
|p(x) p(y)| 2 hx p(x), p(y) p(x)i
2 hy p(y), p(x) p(y)i
2
|p(x) p(y)|
?
u la continuite de p. Si x c, x p(x) 6= 0 et Np(x)
do` (c) 6= {0} do` u lon tire que

p(x) c .
f) Il suffit de montrer que si y / c, il existe (x, ) N ? (c) tel que hy x, i > 0.
Or le couple (p(y), y p(y)) verifie trivialement cette propriete.
g) On a successivement

d2 (y, c) d2 (x, c) 2 hx p(x), y xi


2 2
|y p(y)| |x p(y)| 2 hx p(x), y xi
2
|y x| + 2 hy x, x p(y)i 2 hx p(x), y xi
2 hy x, p(x) p(y)i
2 |y x| |p(x) p(y)|

et

d2 (y, c) d2 (x, c) 2 hx p(x), y xi


2 2
|y p(x)| |x p(x)| 2 hx p(x), y xi
2
|y x| + 2 hy x, x p(x)i 2 hx p(x), y xi
2
|y x| .

Do`
u lon tire que
d2 (y, c) d2 (x, c) 2 hx p(x), y xi
lim =0
y |y x|
18 Chapitre 1.

et la conclusion en resulte.
?
h) Soit N(x) (c). Par definition, il est clair que

(c) {y : hy (x), i 0}.

On en tire que
c {y : h(y) (x), i 0}.
Comme c est convexe, si y c, x + t(y x) c pour t [0, 1]. On en tire que si
y c,  
(x + t(y x)) (x)
, 0
t
pour tout t ]0, 1].
Un passage ` a la limite pour t 0+ montre que
 

(y x), 0.
x

Ainsi, pour tout y c, on a


* +

f
y x, 0
x


et Nx? (c). La conclusion en decoule aussitot.
f
x
i) Cest une consequence directe de g) et h) et du theor`eme du rang constant. 2
Chapitre 2

Espaces Cp

Exercice 2.1 Etudier la convergence ponctuelle et la convergence


uniforme sur IR des suites
(1)
fm = (1/m)[1/m,2/m]
(2)
fm = [1/m,2/m]
(3)
fm = m[1/m,2/m]
(4)
fm = (1 + mx2 )1
(5)
fm = m2 x]0,1/m] + (2m m2 x)]1/m,2/m]
(6)
fm = m2 x em(x1/m) [0,+[

(j)
Solution: Les suites fm (j = 1, 2, 3, 5, 6) convergent ponctuellement vers 0. La
(4) (1)
suite fm converge ponctuellement vers {0} . La suite fm converge aussi uni-
formement vers 0 sur IR. 2

Exercice 2.2
a) Etudier la convergence ponctuelle sur [0, 1], uniforme sur [0, 1],
uniforme sur un compact de ]0, 1] des suites de fonctions fm et gm
suivantes :
fm (x) = mx(1 x2 )m
gm (x) = mx[0,1/m] + (m/(m 1))(1 x)]1/m,1] .

19
20 Chapitre 2.

b) Etudier la convergence ponctuelle et uniforme sur [0, +[ de la


suite de fonctions fm (x) = xemx (m IN).
c) Etudier la convergence ponctuelle et uniforme sur [0, +[, et sur
les compacts de ]0, +[ de la suite de fonctions
m2 x
(m IN).
1 + m3 x3

Solution:
a) La suite fm converge ponctuellement vers 0 sur [0, 1] et uniformement vers 0
sur tout compact de ]0, 1]; de plus on a sup0x1 |fm (x)| = fm ((2m+1)1/2 ) +
si m +.
La suite gm converge ponctuellement sur [0, 1] et uniform ement sur tout compact

de ]0, 1] vers la fonction g(x) = (1x) ]0,1] ; de plus on a gm (1/m2 ) g(1/m2 ) 1
si m + donc gm ne converge pas uniformement sur [0, 1]. (On peut aussi
constater directement que la convergence nest pas uniforme sur [0, 1] car les gm
sont continus sur cet intervalle alors que g ne lest pas.)
b) La suite fm converge ponctuellement vers 0 sur [0, +[. Etudions sa conver-
gence uniforme. Comme fm C (IR) pour tout m, on a Dx fm = emx (1 mx)
pour tout m IN et tout x IR. Il sensuit que sup0x |fm (x)| = fm (1/m) =
(1/m)e1 donc que fm 0.
[0,+[
c) La suite fm (x) = m2 x/(1+m3 x3 ) converge ponctuellement vers 0 sur [0, +[
et uniformement vers 0 sur tout compact de ]0, +[. De plus, on a sup0x |fm (x)| =
fm (21/3 m1 ) + si m +. 2

Exercice 2.3 Etudier la convergence ponctuelle des suites fm (m


IN) suivantes. Sur quels sous-intervalles de lensemble de definition la
convergence est-elle uniforme?
a) fm (x) = x/m (x IR)
b) fm (x) = emx (x [0, +[
c) fm (x) = x1/m (x ]0, +[)
d) fm (x) = (x 1)1/m (x [1, +[)
x
e) fm (x) = (x [0, +[)
1 + m2 x2
mx
f) fm (x) = (x [0, +[)
1 + m2 x2
m2 x
g) fm (x) = (x [0, +[)
1 + m2 x2
Espaces Cp 21

h) fm (x) = xemx (x [0, +[)


i) fm (x) = mxemx (x [0, +[)
j) fm (x) = m2 xemx (x [0,!+[)
mx
k) fm (x) = cosh (x 6= 1)
m(x2 1)
x
 
l) fm (x) = cosh (x 6= 1/m)
m x2 1
2
m
xk
X
m) fm (x) =
k=1
m
X xk
n) fm (x) =
k=1 k
m
X xk
o) fm (x) = 2
k=1 k
m
ak eikx (o`
X
p) fm (x) = u ak 0)
k=1
m
X x
q) fm (x) = k
(x [0, +[)
k=1 (1 + x)
m 
1 1
X 
r) fm (x) = (x [0, +[)
k=1 x + m x+m+1

Exercice 2.4 On consid`ere la fonction


+
2m tan(x2m ).
X
S : ]0, [ IR x 7
m=1

Calculer cette fonction (i.e. sommer la serie). La convergence de la


serie est-elle uniforme sur ]0, [?
Solution: Pour tout x ]0, /2[, on a

tan(x) = cot(x) 2 cot(2x).

Il sensuit que, pour tout M IN et tout x ]0, [,


M
X M
X M
X
2m tan(x2m ) = 2m cot(x2m ) 2m+1 cot(x2m+1 )
m=1 m=1 m=1
M
= 2 cot(x2M ) cot(x)
22 Chapitre 2.

cos(x2M ) x2M
= cot(x)
x sin(x2M )

do`
u
+
X 1
2m tan(x2m ) = cot(x).
m=1
x

De plus, la convergence de la serie est uniforme sur ]0, [. De fait, comme 2m x


]0, /4[ pour tout x ]0, [ et tout m IN, m 2, on a
q q
X X
m m
sup 2 tan(2 x) 2m 0 si p, q +.

x]0,[ m=p
m=p

Exercice 2.5
a) Soit la serie S(x) := + mx
/(1 + m2 ). Demontrer que cette
P
m=1 e
serie converge si x 0, diverge si x < 0 et que S(x) est un element
de C0 ([0, +[).
b) Developper la fonction f (x) = (1+x)1 en serie de puissances de x
dans ] 1, 1[. Le developpement est-il valable en dautres points ?
Etudier la convergence uniforme de la serie obtenue sur ] 1, 1[ et
sur un compact de ] 1, 1[.
c) Etablir les egalites suivantes pour a > 0 et b > 0 :

Z + +
eat /(1 + ebt )dt = (1)m /(a + mb)
X
0 m=0

(en particulier 1 21 + 31 14 + 51 = ln2 et 1 31 + 15 = 4 );


Z + +
t eat /(1 ebt )dt = 1/(a + mb)2 ;
X
0 m=0

Z + +
t eat /(1 + ebt )dt = (1)m /(a + mb)2 .
X
0 m=0
Espaces Cp 23

Solution: a) est direct en se rappelant quune limite uniforme de fonctions continues


est continue. P+
b) Pour tout x ] 1, 1[, on a f (x) = m=0 (1)m xm (serie geometrique). De
plus, si x ]
/ 1, 1[, la serie ne converge pas car son terme general ne tend pas vers
0. Cela etant, pour tout M IN et tout x ] 1, 1[, on a

XM |x|M +1
m m
f (x) (1) x = ;

(1 + x)
m=0

par consequent, on obtient



M
X 1
sup f (x) m m
(1) x (1 )M +1 .(M + 1) (M + 1)(2e)1

x]1,1[ m=0
M + 1

pour tout M IN suffisamment grand. D`es lors, la serie ne converge pas uni-
formement sur ] 1, 1[. Cependant, si K est un compact inclus dans ] 1, 1[, il
existe  > 0 tel que K [1 + , 1 ]. Il sensuit que

XM  
M +1
sup f (x) m m
(1) x = sup |x| /(1 + x) 1 (1 )M +1

xK m=0
xK

donc aussi que la serie converge uniformement sur tout compact de ] 1, 1[.
c) Ces egalites setablissent en remarquant que, pour tous t, b > 0, on a
+ 
(1)m
X 
bt 1
(1 e ) = embt
1
m=0

et en passant `
a la limite sous le signe dintegration. 2

Exercice 2.6
a) Soit fm (m IN) une suite de fonctions integrables sur lintervalle
borne ]a, b[ de IR. Si la suite fm converge uniform Rb
ement vers f sur
]a, b[, alors f est integrable sur ]a, b[ et la suite a fm (x)dx converge
vers ab f (x)dx
R

b) En utilisant a) et la definition de la fonction exponentielle, etablir


que
+ Z 1
m
xx dx.
X
m =
m=1 0
24 Chapitre 2.

c) Soient fm et gm (m IN) deux suites de fonctions definies sur une


partie A de IRn . Si la serie +
P
m=1 gm converge uniform ement sur A
et sil existe C > 0 tel que |fm+1 (x) fm (x)| Cgm (x) pour tout
x A et tout m IN, alors fm .
A

d) Soit fm (m IN) une suite de C0 (IR) telle que fm f . Pour tout


IR
m IN et tout x IR, posons gm (x) = fm (x + 1/m). Alors la
suite gm converge ponctuellement vers f sur IR; si en outre les fm
sont uniformement continus, alors gm f .
IR

Solution: a) Comme a, b IR et comme les fm sont integrables, on deduit directe-


ment que f est integrable sur ]a, b[. De plus, on a
Z
b
(fm (x) f (x))dx (b a) sup |fm (x) f (x)| .

a axb

Do`
u la conclusion.
b) est alors direct.
c) et d) sont des exercices standards. 2

Remarque: Dans le point (a) de lexercice precedent, on ne peut remplacer la


convergence uniforme par la convergence ponctuellecomme le montre lexemple de
la suite fm (x) = m/(mx + 1) et de la fonction f (x) = 1/x sur lintervalle ]0, 1[.

Exercice 2.7
a) Une fonction uniformement continue f sur ]0, 1] est bornee sur
]0, 1].
b) Une fonction continue sur [0, +[ qui admet une limite finie en
+ est uniformement continue sur [0, +[.
c) Si fm (m IN) est une suite de fonctions uniformement continues
sur D IRn qui converge uniformement sur D vers f , alors f est
uniformement continu sur D.

Solution: a) Comme f est uniformement continu sur ]0, 1], il existe ]0, 1[ tel
que (x, y ]0, 1], |x y| < ) |f (x) f (y)| < 1. Il sensuit que sup0<x1 |f (x)|
supx1 |f (x)| + 1 + |f ()|.
Espaces Cp 25

b) Soit  > 0. Comme il existe L IR tel que limx+ f (x) = L, il existe aussi
> 0 tel que supx |f (x) L| < 3 . Cela etant, vu la continuite uniforme de f sur
[0, ], il existe r > 0 tel que

x, y [0, ]
|f (x) f (y)| < /3.
|x y| r

On verifie alors directement que lon a aussi



x, y [0, +[
|f (x) f (y)| < .
|x y| r

Do`
u la conclusion.
c) est direct. 2

Remarque: Le point (b) de lexercice precedent nadmet pas de reciproque comme


le montre lexemple dune fonction periodique et continue sur [0, +[.

Exercice 2.8 [A comparer avec le theor`eme de Dini du cours]


a) Soit fm (m IN) une suite de fonctions reelles et continues sur le
compact K de IRn et soit f une fonction definie sur K. Si fm (x)
crot vers f (x) pour tout x K, alors pour toute fonction continue
g sur K telle que g < f sur K, il existe M IN tel que g fm sur
K pour tout m M . D`es lors, si fm et gm (m IN) sont deux
suites de fonctions reelles et continues sur K telles que pour tout
x K les suites fm (x) et gm (x) croissent strictement vers f (x),
alors il existe une suite strictement croissante k(m) (m IN) de
naturels telle que fm(1) gm(2) fm(3) gm(4) . . . sur K.
b) Soit [a, b] un intervalle compact de IR et soit fm (m IN) une
suite de fonctions reelles et croissantes definies sur [a, b]. Sil ex-
iste une fonction continue f sur [a, b] telle que la suite fm con-
verge ponctuellement vers f sur K, alors la suite fm converge
uniformement vers f sur K.

Solution: a) Pour tout m IN, posons Km = {x K : g(x) fm (x) 0}. La suite


Km (m IN) est alors une suite decroissante de compacts de IRn . Si Km est non
a mIN Km . D`es lors, on a g(x) fm (x)
vide pour tout m, il existe x appartenant `
pour tout m, donc g(x) f (x), ce qui contredit lhypoth`ese. Par consequent, il
existe M IN tel que g fm sur K pour tout m M .
26 Chapitre 2.

Posons k(1) = 1. Comme f1 < f sur K, vu a) applique `a la suite gm , il existe


k(2) > 1 tel que f1 gk(2) sur K. Comme gk(2) < f sur K, une application de a) ` a
la suite fm fournit k(3) > k(2) tel que gk(2) fk(3) sur K. On construit ainsi par
recurrence une suite k(m) (m IN) satisfaisant `a lenonce.
b) Etablissons dabord que f est reel et croissant sur [a, b]. De fait, f est la
limite ponctuelle de fonctions reelles, donc est reel. De plus, si x et y sont deux
elements de [a, b] tels que x y, alors fm (x) fm (y) pour tout m. Par passage ` a
la limite, on obtient f (x) f (y). Cela etant, soit  > 0. Dune part, comme f est
continu sur le compact [a, b], f est uniformement continu sur [a, b]. Do` u il existe
= () > 0 tel que

(x, y [a, b] et |x y| ) |f (x) f (y)| .
2
Soit alors un naturel J = J() tel que (b a) J. Pour tout j {0, . . . , J),
posons xj = a + (j/J)(b a). Il sensuite que pour tout j {1, . . . , J}, on a
0 < xj xj1 < ; d`es lors pour tout x [xj1 , xj ], on a
 
f (x) f (xj1 ) = |f (x) f (xj1 )| et f (xj ) f (x) = |f (x) f (xj )| .
2 2
Dautre part, comme fm (x) f (x) x K et comme les xj (j {0, . . . , J}) sont
en nombre fini, il existe M = M () IN tel que

|fm (xj ) f (xj )| pour tous j {0, . . . , J} et m M. (??)
2
Finalement, soient x [a, b] et j {1, . . . , J} tels que x [xj1 , xj ]. Pour tout
m M , vu (??) et (?) et vu la croissance de la fonction fm (pour tout m), on
obtient
fm (x) fm (xj ) f (xj ) + /2 f (x) + 
et
fm (x) fm (xj1 ) f (xj1 ) /2 f (x) 
donc |fm (x) f (x)| . Par consequent, on a
sup{|fm (x) f (x)| : x [a, b]} 
do`
u la conclusion. 2

Remarque: Le resultat (b) de lexercice precedent sapplique `a la suite


1
fm = (1 )[0,1/m[ + [1/m,1[
m
et `
a la fonction f = [0,1] sur [a, b] = [0, 1] alors que dans ce cas le theor`eme de Dini
ne sapplique pas.
Espaces Cp 27

Exercice 2.9
a) Soient K un compact de IRn , A une partie de IRm et f une fonction
continue sur K A. Alors lensemble {f (x, .) : x K} est une
partie equicontinue de C0 (A).
b) Soient A IRn et F C0 (A). Etablir que F est uniformement
equicontinu sur A si et seulement si, pour toutes suites fm
F , xm , ym A (m IN) telles que limm xm ym = 0, on a
limm (fm (xm ) fm (ym )) = 0.
c) Si f est une fonction uniformement continue sur IRn , alors

{f (. + h) : h IRn }

est un ensemble uniformement equicontinu sur IRn .


d) Lensemble {xm : m IN} est-il uniformement equicontinu sur
[0, 1]?

Solution: a), b) et c) sont directs.


d) La suite fm (x) = xm (m IN) converge ponctuellement vers {1} sur [0, 1].
Vu la discontinuite de {1} sur [0, 1] et vu le theor`eme dArzela-Ascoli, lensemble
{xm : m IN} ne peut pas etre uniformement equicontinu sur [0, 1]. 2

Exercice 2.10 Soient a, b IR tels que a < b et soit une fonction


K C0 ([a, b] [a, b]). Etablir que loperateur
Z b
T : C0 ([a, b]) C0 ([a, b]) f 7 f (x)K(x, y)dx
a

est compact (lespace C0 ([a, b]) est muni de la topologie definie par la
norme k k= supaxb |.(x)|).
Solution: On verifie directement que T est un operateur bien defini et lineaire.
Cela etant, pour prouver que limage par T de la boule unite b de C0 ([a, b]) est
dadherence compacte dans C0 ([a, b]), il suffit de prouver que T b est precompact
dans C0 ([a, b]) ou encore, vu le theor`eme dArzela-Ascoli, que T b est ponctuellement
borne et equicontinu sur [a, b]. Ceci resulte directement de la continuite uniforme
de K sur [a, b] [a, b]. 2
28 Chapitre 2.

Exercice 2.11
a) Pour tout ferme F de IRn (resp. tout ouvert de IRn ) et tout
f C0 (F ) (resp. f C0 ()), il existe une suite Pm (m IN) de
polynomes telle que Pm f pour tout compact K de IRn inclus
K
dans F (resp. dans ).
b) La fonction caracteristique de lensemble {(x, y) : x 0} est limite
ponctuelle dune suite de polynomes Pm

Solution: a) Soit Km (m IN) une suite fondamentale de compacts de F (resp.


(k)
de ). Pour tout m IN, il existe une suite Pm (k IN) de polynomes telle
(k)
que k Pm f kKm 1/k (k IN). On verifie alors directement que la suite
(m)
Qm := Pm convient.
(1) (2)
b) Pour tout m IN, posons Km := [m, 1/m] [m, m], Km := [0, m]
(1) (2)
[m, m] et Km := Km Km . La fonction fm definie sur Km par fm (x, y) =
K (2) est continue sur Km ; par consequent, il existe un polynome Pm tel que
m
kfm Pm kKm < 1/m. On verifie alors directement que la suite Pm (m IN)
convient. 2

Exercice 2.12
a) Etablir que la fonction f (x) := + 2
P
m=0 1/(x + m) appartient a `
C (]0, +[) et que ses derivees peuvent etre calculees terme a`
terme.
b) Etablir que la fonction f (x) := + mx
/(1 + m2 ) appartient `a
P
m=1 e
C0 ([0, +[) C (]0, +[) et que ses derivees se calculent terme
a` terme.
c) Etablir que la fonction f (x) := + 2 m
P
m=1 (1 + x ) appartient a` C1
(C{0}) et que sa Pderivee se calculent terme a` terme. En deduire
la valeur de S = + m=1 m2
m
.
d) Pour tout IR, 6= 0, et tout k IN, posons Ck := (
1) . . . ( k + 1)(k!)1 ; posons aussi C0 := 1. Etablir que, pour
tout x ] 1, 1[, on a
+
(1 + x) = Ck xk .
X

k=0
Espaces Cp 29

Solution: a), b), et c). Il suffit de demontrer que


(i) la serie des derivees p-i`emes (avec p IN {0} pour a) et b); p = 0, p = 1 pour
c)) converge uniformement sur tout compact de ]0, +[ (pour a),b) et c)) et
de ] , 0[ (pour c));
P+
(ii) la serie m=1 emx /(1 + m2 ) converge uniformement sur ]0, +[.
d) Voici un procede permettant de resoudre d) : etablir que la somme de la serie
+
X xk
Ck
(1 + x)
k=0

appartient `a C1 (]1, 1[), est derivable terme `


a terme et que sa derivee est nulle sur
]1, 1[; conclure par le theor`eme de louvert connexe. 2

Exercice 2.13 On sait que pour tout IR \ (IN {0}), on a


+
(1 + x) = Ck xk
X
x ]1, 1[
m=0

avec
( 1) . . . ( k + 1)
C0 = 1 Ck =
k!
Etudier le convergence ponctuelle et uniforme de la serie + k k
P
m=0 C x
en fonction des valeurs de .
Solution: Pour tout , par le crit`ere du quotient, on a

|Ck+1 ||x|
lim = |x|.
k+ |Ck |

D`es lors, la serie est absolument convergente pour x ]1, 1[ et diverge si x 6


[1, 1]. Etudions donc le cas |x| = 1 en fonction des valeurs de .
Pour tout k suffisamment grand, on a

|Ck | |Ck+1 | 1.

D`es lors, pour |x| = 1 et 1, la serie diverge car son terme general ne tend pas
vers 0 (on obtient 1+ dans le crit`ere du quotient).
Pour etudier le cas > 1 (i.e. 1 obtenu par le crit`ere du quotient), appliquons
le second crit`ere du quotient(*): P+
une serie `
a termes strictement positifs m=1 xm
30 Chapitre 2.
 
converge si limm m xxm+1
m
1 >1
 
diverge si limm m xxm+1
m
1 < 1 ou 1 .

Dans notre cas, pour k >>,


|Ck |
   
k+1 k( + 1)
k k+1
1 =k 1 = + 1 si k +.
|C | | k| k
P+
D`es lors, dans le cas > 1, la serie k=0 Ck est convergente si et seulement si
> 0. P+
Pour terminer cet exercice, il nous reste `a voir si k=0 Ck xk (**) est convergente
pour ]1, 0[ , x = 1.
On a
. . . ( k + 1)
Ck = = (1)k Ck

k!
donc la serie (**) diverge pour x = 1. Pour x = 1, il sagit dune serie alternee.
Comme on est dans le cas > 1, on sait dej`a que la suite |Ck | est decroissante.
De plus, elle converge vers 0 car on a
k
1 Y j
=
|Ck | j=1
j ( + 1)
k
Y j(j + 1 + )
=
j=1
j 2 ( + 1)2
k k  
Y j+1+ Y +1
= 1+
j=1
j j=1
j
k
X 1
1 + ( + 1) + si k +.
j=1
j

Ce qui prec`ede concerne la convergence simple de la serie


+
X
S (x) = Ck xk .
k=0

Etudions sa convergence uniforme sur les sous-intervalles de lintervalle dextremites


1 et 1.

On sait dej`
a que pour tout , la serie est uniformement (et meme normalement)
convergente sur [r, r] (r ]0, 1[). Voyons si on peut ameliorer la convergence en
fonction des valeurs de .
Espaces Cp 31

Cas > 0. La Ps
erie S converge uniformement (et meme normalement) sur
+
[1, 1] car la serie k=0 |Ck | converge.

Cas P ]1, 0[. La serie S ne converge pas normalement sur [r, 1] (r [1, 1])
+
car la serie k=0 |Ck | diverge. Cependant, par le crit`ere dAbel, elle converge uni-
formement sur [0, 1]. De plus, elle ne converge pas uniformement sur les intervalles
du type ]1, r] (r ]0, 1[) car chacune des sommes partielles est bornee sur ce
type dintervalle alors que la limite (1 + x) ne lest pas.

Cas 1. La serie S ne converge pas uniformement sur les intervalles du


type ]1, r] (r ]0, 1[) car chacune des sommes partielles est bornee sur ce type
dintervalle alors que la limite (1 + x) ne lest pas. De plus, elle ne converge pas
non plus uniformement sur le intervalles du type [r, 1[ (r ]0, 1[) car
M
M

X X
k k k k
sup (1 + x) C x = sup (1 + x) C x (fcn. cont.!)

rx<1 rx1
k=0 k=0

M
X
(1 + 1) Ck > R > 0


k=0
PM
pour une infinite de valeurs de M (comme la suite k=0 Ck ne converge pas, elle
ne converge pas vers 2 ; do`
u un R > 0 comme ci-dessus).

(*) Le second crit`ere du quotient permet parfois de conclure l`a o`


u le crit`ere du
quotient ne donne rien : par exemple pour la serie de terme general (am + b)1
(a, b > 0). 2

Exercice 2.14 a) Developper les fonctions suivantes en serie de puis-


sances de x:
f (x) = ln(1 + x) g(x) = arctan(x) h(x) = arcsin(x).
Etudier la convergence ponctuelle et uniforme des series obtenues.
b) Sachant que
+
z X Bm
z
= zm z CI, |z| < 2
e 1 m=0 m!
o`
u les Bm sont les nombres de Bernoulli, cest-`a-dire
m k
X Cm Bmk
B0 = 1, Bm = m IN,
k=1 k+1
32 Chapitre 2.

developper la fonction tan(x) en serie de puissances de x.


c) Soit S(x) = + m
et soit p IN. Developper la fonction S p en
P
m=1 x
serie de puissances de x.
Solution: a) Cas de ln(1 + x).
La fonction ln(1 + x) appartient `a C (]1, +[) et
+
1 X
Dx ln(1 + x) = = (1)m xm x ]1, 1[ .
1 + x m=0

Considerons alors la fonction


+
X (1)m m+1
S(x) = x .
m=0
m+1

Cette fonction S est definie sur ]1, 1[ et la suite


M M
X (1)m m+1 X
Dx x = (1)m xm (M IN)
m=0
m + 1 m=0

converge uniformement sur tout compact de ]1, 1[. Il sensuit que S C1 (]1, 1[)
et
M +
X (1)m m+1 X
Dx S(x) = lim Dx x = (1)m xm = Dx ln(1 + x) x ]1, 1[ .
M
m=0
m + 1 m=0

D`es lors il existe r IR tel que

ln(1 + x) = r + S(x) x ]1, 1[ .

Pour x = 0, on obtient r = 0, do` u le developpement de ln(1 + x).


La serie S(x) converge absolument en tout x ]1, 1[, est semi-convergente
pour x = 1 (serie alternee) et diverge sinon. De plus, la convergence est uniforme
sur tout intervalle du type [1 + , 1] (0 < < 1) car [1 + , 0] est un intervalle
compact de ]1, 1[ et q
X (1)m 1
m
sup x

x[0,1] m=p m + 1
p+1

par la majoration des series alternees. On en deduit notamment que S est continu
sur ]1, 1], donc que
ln(1 + x) = S(x) x ]1, 1] .
Espaces Cp 33

Cependant, la convergence nest pas uniforme sur ]1, 1 + [ car chacune des
sommes partielles est une fonction bornee sur cet intervalle alors que ln(1 + x) ne
lest pas.
Bien sur, vu la question, il serait naturel de se demander ce que donne le
developpement de Taylor en 0 de la fonction ln(1 + x).
On ne peut pas obtenir facilement la convergence vers 0 du reste pour toutes les
valeurs de x ]1, 1[ (cela se passe de facon directe seulement pour x ]1/2, 1[).
Cependant, la formule integrale de Taylor permet, elle, de conclure tr`es facilement.
En effet, pour tout x ]1, +[, on a
M
X (1)m+1 m
ln(1 + x) = x + R(x, M )
m=1
m

o`
u
1
(1 t)M M +1
Z
R(x, M ) = xM +1 dt (D ln(1 + .))(tx).
0 M!
Comme
(1 t)M M +1 (1 t)M
xM +1 (D ln(1 + .))(tx) = (1)M xM +1
M! (1 + tx)M +1
et comme
0 < 1 t < 1 + tx t ]0, 1[ , x > 1
on obtient
M +1 (1 t)M |xM +1 |

x .
(1 + tx)M +1 1 + tx
Si x ]1, 1[, on a d`es lors
Z 1
M +1 1
|R(x, M )| |x| dt 0 si M +.
0 1 + tx

Cas de arctan(x).
La fonction arctan(x) appartient `
a C (IR) et est telle que
+
1 X
Dx arctan(x) = = (1)m x2m x ]1, 1[ .
1 + x2 m=0

En procedant comme ci-dessus, on obtient


+
X (1)m 2m+1
arctan(x) = x x ]1, 1[ .
m=0
2m + 1
34 Chapitre 2.

P+ (1)m 2m+1
La serie m=0 2m+1 x converge absolument pour x ]1, 1[, est semi-
convergente pour x = 1 (serie alternee) et diverge sinon. De plus, la convergence
est uniforme sur [1, 1] car (fonction impaire !)
q q
X (1)m X (1)m 1
2m+1 2m
sup x sup x

x[1,1] m=p 2m + 1 x[0,1] m=p 2m + 1 2p + 1
P+ (1)m 2m+1
par la majoration des series alternees. La fonction S1 (x) = m=0 2m+1 x est
donc continue sur [1, 1] et verifie

arctan(x) = S1 (x) x [1, 1] .

On peut utiliser ce qui prec`ede pour obtenir des approximations de . De fait,


+
X (1)m
arctan(1) = =
4 m=0
2m + 1
avec
M
X (1)m 1
.

4 2m + 1 2M + 3
m=0
On peut aussi remarquer que
1 1
arctan( ) + arctan( ) =
2 3 4
donc
M 
(1)m
  
X 1 1 1 1 1


4 2m + 1 22m+1 32m+1 2M + 3 22M +3 32M +3

m=0

ce qui est une meilleure approximation `a lordre M .

Cas de arcsin(x).
La fonction arcsin(x) appartient `a C (]1, 1[) C0 ([1, 1]) et verifie
+
1 X
m
Dx arcsin(x) = = C1/2 x2m x ]1, 1[
1 x2 m=0

avec
m (2m)!
C1/2 = (1)m .
22m (m!)2
Remarquons que lon a

m S2m m!
C1/2 = (1)m 2
, avec Sm := .
m(Sm ) m
e mm 2m
Espaces Cp 35

En procedant comme ci-dessus, on obtient


+ m
X C1/2
arcsin(x) = x2m+1 x ]1, 1[ .
m=0
2m + 1
P+ C1/2 m
La serie S2 (x) = m=0 2m+1 x2m+1 est absolument convergente pour x ]1, 1[
et est semi-convergente pour x = 1. La convergence est meme uniforme (et meme
normale) sur [1, 1] car
q q
X Cm X m
|C1/2 |
1/2 2m+1
sup x

x[1,1] m=p
2m + 1 m=p
2m + 1
avec m
|C1/2 |
m3/2 l IR
2m + 1
car limm+ Sm = 1. On obtient donc finalement
arcsin(x) = S2 (x) x [1, 1] .

b) Pour x 6= k/2, on a
eix eix
tan(x) = i
eix + eix
e2ix + 1 2
= i 2ix
e +1
e2ix + 1 2
= i + 2i 4ix
e 1
2i 4i
= i + 2ix .
e 1 e4ix 1
D`es lors, pour x ]/2, /2[, en prenant la partie reelle, on a
+
X Bm m
tan(x) = R(i + (2 4m ) im xm1 )
m=1
m!
+
X B2m
22m 42m (1)m x2m1 .

=
m=1
(2m)!

c) S est defini pour x ]1, 1[ et on a


1
S(x) = .
1x
36 Chapitre 2.

Il sensuit que
+
X
p p m m
S (x) = (1 + x) = Cp x x ]1, 1[ .
m=0
2

Exercice 2.15 Considerons la fonction arg(z) definie dans lensemble


CI \ (], 0] {0}) et a` valeurs dans ], [. Pour z CI \ (], 0]
{0}), on pose alors
ln(z) = ln(|z|) + i arg(z).
Pour tout z CI tel que |z| < 1 ou z = ei avec ]0, 2[, on a aussi
(cf. fcts holomorphes)
+
X zm
ln(1 z) = .
m=1 m

En deduire le developpement des fonctions ln(2 sin(/2)) et ( )/2


en termes de sin(m), cos(m) (serie trigonometrique de Fourier, voir
plus tard).
Solution: Pour tout ]0, 2[, on a
1 ei = 1 cos() i sin()
= 2 sin2 (/2) 2i sin(/2) cos(/2)
 

= 2 sin(/2) cos( ) i sin( ) .
2 2
Comme ( )/2 ]/2, /2[, on a

|1 ei | = 2 sin(/2) arg(1 ei ) =
2
donc

ln(2 sin ) = ln(|1 ei |) = R ln(1 ei )
2

= arg(1 ei ) = I ln(1 ei ).
2
Il sensuit que
+ im +
X e X cos(m)
ln(2 sin ) = R =
2 m=1
m m=1
m
Espaces Cp 37

et
+
X sin(m)
= .
2 m=1
m

Remarque. La theorie des fonctions holomorphes donne le developpement


+ m
X z
ln(1 z) = (2.1)
m=1
m

pour |z| < 1. Pour obtenir legalite en z = ei , ]0, 2[, on peut proceder comme
suit. Pour tout r [0, 1[, on a
+ m im
X r e
ln(1 rei ) = .
m=1
m

Comme les fonctions arg et ln(|.|) sont continues en 1 ei , on a


lim ln(1 rei ) = ln(1 ei ).
r1
P+ m eim
De plus, la serie S(r) = m=1 r m converge uniformement sur [0, 1] car pour
tout r [0, 1], on a
q
X rm eim rp 1


m=p m p| sin(/2)| p| sin(/2)|

vu la majoration dAbel. Il sensuit que la fonction S(r) est continue sur [0, 1]. Do`
u
la conclusion. 2

Exercice 2.16 a) Montrer que


+
xm
( (
X cos(my) x cos(y) cos(x sin(y))
= e x, y IR
m=0 m!
sin(my) sin(x sin(y))
et que, pour tous x, y IR, |x| < 1,
1 x cos(y)


+
(
cos(my)

1 2x cos(y) + x2

xm
X
=
m=0
sin(my)


x sin(y)
1 2x cos(y) + x2

(1/2) ln(1 2x cos(y) + x2 )



+
xm
(
cos(my)
X

= x sin(y)
m=1 m
sin(my) arctan( )
1 x cos(y)

38 Chapitre 2.

b) Developper le noyau de Poisson


1 r2
Pr (x) = (r, x) ]1, 1[ IR
1 2r cos(x) + r2
en serie de puissances de r. Demontrer que pour tout ]0, [,
Pr = 0 si r 1 .
[,2]

Solution: a) Premi`ere serie. Comme |xm /(m!) cos(my)|, |xm /(m!) sin(my)|
|xm |/(m!) pour tous x, y IR, la convergence est assuree. Pour en calculer la
somme, on peut proceder comme suit : on a
+ m +
X x imy X (xeiy )m
e =
m=0
m! m=0
m!
iy
= exe = ex cos(y) eix sin(y) ;

do`
u la conclusion en passant aux parties reelles et imaginaires.
Deuxi`eme serie. Comme le module du terme general est majore par |x|m , la
convergence est assuree pour |x| < 1 et y IR. Cela etant, on a
+
X +
X
xm eimy = (xeiy )m
m=0 m=0
1
=
1 xeiy
1 x cos(y) + i sin(y)
= ;
1 + x2 2x cos(y)
do`
u la conclusion en passant aux parties reelles et imaginaires.
Troisi`eme serie. Comme le module du terme general est majore par |xm |/m, la
convergence de la serie est assuree pour |x| < 1 et y IR. Cela etant, on a
+ m +
X x imy X (xeiy )m
e =
m=1
m m=1
m
= ln(1 xeiy )
= ln |1 xeiy | i arg(1 xeiy ).

Comme 1 xeiy = 1 x cos(y) ix sin(y) et 1 x cos(y) >0, on a |1 xeiy | =


x sin(y)
(1 + x2 2 cos(y))1/2 et arg(1 x cos(y)) = arctan 1x cos(y) . Do`
u la conclusion
en passant aux parties reelles et imaginaires.
Espaces Cp 39

b) On a 1 2r cos(x) + r2 = |1 reix |2 et 0 < 1 r cos(x) = R(1 r cos(x) +


i sin(x)). Il sensuit que 1 2r cos(x) + r2 = |1 reix |2 6= 0 et

1 r2 2 2r cos(x) 1 r2 + 2r cos(x)
=
1 2r cos(x) + r2 1 2r cos(x) + r2
2 2r cos(x)
= 1 +
1 2r cos(x) + r2
1 reix
= 1 + 2R
|1 reix |2
1
= 1 + 2R .
1 reix
Comme
+
1 X
= rm eimx
1 reix m=0

on en deduit que
+
X
Pr (x) = 1 + 2 rm cos(mx).
m=1

Demontrons ` a present le resultat concernant la convergence uniforme. Pour tout


x [, 2 ], on a cos(x) cos(), donc

1 2r cos(x) + r2 1 2r cos() + r2 = (1 r)2 + 2r(1 cos()) 2r(1 cos()).

D`es lors, pour tout r [1/2, 1[, on a

1 r2
0 sup Pr (x) .
x[,2] 1 cos()

Do`
u la conclusion. 2

Exercice 2.17 Soit


M
xm
X
S(x) = lim 2
.
m=1 m
M +

a) O`
u la fonction S est-elle definie, continue, derivable?
b) Etablir quil existe a IR tel que

S(x) + S(1 x) = a ln(x) ln(1 x) x ]0, 1[ .


40 Chapitre 2.

c) Etablir que
+
X 1
a= 2
m=1 m

et que
+
1
a (ln 2)2 =
X
.
m=1 m2 2m1

Solution: a) Les crit`eres du quotient et de Riemann nous apprennent que la serie est
absolument convergente pour x [1, 1] et diverge sinon. De plus, comme le module
du terme general est majore par m2 , la convergence est uniforme sur [1, 1]. La
PM
fonction S est donc continue sur [1, 1]. Enfin, comme la suite m=1 xm1 /m est
absolument convergente sur tout intervalle compact de ]1, 1[, on en deduit que la
fonction S appartient `a C1 (]1, 1[).
b) Les fonctions S(x), S(1 x), ln(x), ln(1 x) appartiennent `a C1 (]0, 1[) et
S(x) et S(1 x) sont derivables terme `a terme. D`es lors, pour tout x ]0, 1[, on a
successivement
+ m1
X x
Dx S(x) =
m=1
m
+
X (1 x)m1
Dx S(1 x) =
m=1
m
1 1
Dx S(x) + Dx S(1 x) = ln(1 x) + ln(x)
x 1x
= Dx (ln(1 x) ln(x)) .

Il existe donc un nombre reel a tel que

S(x) + S(1 x) = a ln(1 x) ln(x) x ]0, 1[ . (2.2)

c) Les fonctions S(x) et S(1 x) sont continues sur [0, 1] et on a

ln(1 x)
lim+ ln(x) ln(1 x) = lim+ x ln(x) = 0.
x0 x0 x

Par passage `
a la limite dans (2.2), on obtient

+
X 1
S(1) = = a.
m=1
m2
Espaces Cp 41

Enfin, en evaluant (2.2) en x = 1/2, on obtient


+
1 X 1
2S( ) = 2 2m
= a ln2 (2).
2 m=1
m

Exercice 2.18 Soit P un polynome de degre M IN. Calculer


+
P (m)xm
X
S(x) =
m=1

pour tous les x possibles.


Solution: On a P (m) 6= 0 m >>,

P (m + 1)
lim =1
m+ P (m)

et limm+ P (m) = . La serie converge donc pour x ]1, 1[ et diverge sinon.


Soit
P (x) = a0 + a1 x + . . . + aM xM , aM 6= 0.
Montrons quil existe des coefficients b0 , . . . , bM tels que

P (x) = b0 + b1 (x + 1) + . . . + bM (x + 1) . . . (x + M ) x IR.

De fait, sil existe de tels bj , on a

P (1) = b0
P (2) = b0 b1
... ...
P (M ) = combinaison lineaire de b0 , . . . , bM 1
P (0) = combinaison lineaire de b0 , . . . , bM

ce qui les determine univoquement. De plus, si on consid`ere les b0 , . . . , bM determi-


nes par ce syst`eme dequations, on a legalite

P (x) = b0 + b1 (x + 1) + . . . + bM (x + 1) . . . (x + M ) pour x = 0, 1, . . . , M,

ce qui est une egalite entre deux polyn omes de degre M en M + 1 valeurs. On
obtient donc que cette egalite est vraie pour tout x IR (et meme x CI).
42 Chapitre 2.

Cela etant, sommons la serie. Pour tout j = 1, . . . , M et tout x ]1, 1[, on a


+
X +
X
(m + 1) . . . (m + j)xm = Dxj xm+j
m=0 m=0
j
x xj 1 + 1
= Dxj = Dxj
1x 1x
j1
!
X 1
= Dxj xm + Dxj
m=0
1x
1
= Dxj
1x
(la derivation sous le signe somme etant justifiee par le fait que la serie des derivees
terme ` a terme converge absolument pour tout x ]1, 1[, donc uniformement sur
tout compact de ]1, 1[). D`es lors, pour tout x ]1, 1[, on obtient
+ M
X X 1
P (m)xm = bj Dxj .
m=0 j=0
1x
2

Exercice 2.19 Montrer que, pour tout z CI, on a


+
zm
m
z

z
X
e = = lim 1 + .
m=0 m! m
m+

Solution: Pour tout z CI et tout m IN on a


m k
 z m X
k z
1+ = Cm
m mk
k=0
m
zk
   
X 1 k1
= 1 ... 1 .
k! m m
k=0

Pour tout m IN posons



1 si 0 k 1
1 k1
 
uk (m) = 1 m ... 1 m si 2 k m
0 si k > m.

Pour tout m IN on a alors


m + k
 z m X z k X z
1+ = uk (m) = uk (m).
m k! k!
k=0 k=0
Espaces Cp 43

Pour conclure, il reste `


a prouver que

lim uk (m) = 1 k IN {0}


m+

et que lon peut permuter les limites.


De fait, pour tout k 2 et pour m k, uk (m) est le produit de k 1 facteurs
a 1 et qui tendent tous vers 1 si m +. La premi`ere
qui sont tous inferieurs `
chose est donc prouvee.
De plus, la suite
M
X zk
FM (.) = uk (.) (M IN)
k!
k=0

converge uniformement sur IN car on a

|z k | |z k |
sup uk (m) = terme general dune serie convergente.
mIN k! k!
2
44 Chapitre 2.
Chapitre 3

Int
egrales particuli`
eres

Exercice 3.1 Calculer les integrales suivantes

Z + ay

Z +
e
a) dy (a > 0) b) yeay dy (a > 0)
0 y 0


(Suggestion: a) Effectuer le changement de variables x = y et appliquer Poisson.
b) Effectuer le meme changement de variables puis integrer par partie en remar-
2 2
quant que Dy eay = 2ayeay , puis conclure par Poisson. )

Exercice 3.2 Calculer les limites suivantes pour p IN0

(m!)1/m ln(m!)
a) lim b) lim ln(m)
m+ m m
m+
1 (m!)2
c) lim (m!) m ln(m) d) lim
m+ m+ (m p)!(m + p)!
!1/m
m!p!
e) lim
m+ (m + p)!


(Suggestion: Posons Sn = (n!)/(en nn 2n) pour n > 0. La formule de Stirling
montre que la suite Sn converge vers 1. Pour obtenir les limites demandees, tout

45
46 Chapitre 3.

revient `atransformer les factorielles qui y interviennent grace `a la formule n! =


Sn en nn 2n et calculer la nouvelle limite par les methodes usuelles.
a) Il est clair que
(m!)1/m 1/m 1 1/2m
= Sm e (2m)
m
1/m
Or nous savons que a1/m 1 si a > 0, que m1/m 1 et que xm 1 si xm 1.
Il en resulte que la limite cherchee est egale `a 1/e.
b) En utilisant les proprietes du logarithme, on voit que

ln(m!) (m!)1/m
ln(m) = ln( )
m m
Tenant compte de a), on en deduit que la limite proposee est egale `a ln(1/e) = 1.
c) On dispose de la formule
1 1 1 1 1
m ln(m)
(m!) m ln(m) = Sm e ln(m) m ln(m) (2m) 2m ln(m)
1 1 1
m ln(m) 1
= Sm e ln(m) e(2) 2m ln(m) e 2m

De cette derni`ere relation, on deduit aisement que la limite cherchee est egale `
a e.
Variante. En posant
(m!)1/m
am =
m
on a
1/ ln(m)
(m!)1/m

1/(m ln(m)
(m!) = m1/ ln(m)
m
ln(am ) ln(m)
= e ln(m) e ln(m)
ln(am )
= ee ln(m) e si m +

car limm am = e1 vu a).


d) Si p IN0 , on a les formules
m!mp 1
= 1 p
(m + p)! (1 + m ) . . . (1 + m)
m!mp 1 p1
= (1 ) . . . (1 )
(m p)! m m
Ce qui montre aussitot que la limite cherchee vaut 1.
e) On dispose de la formule
1/m 1/m
m!mp
 
m!p! 1/m
= (p!mp )
(m + p)! (m + p)!
Integrales particuli`eres 47

Tenant compte de la formule utilisee en d) et de ce que m1/m 1 on voit que la


limite cherchee vaut 1. )

Exercice 3.3 Exprimer (2/6) et (5/6) en fonction de (1/6).


Solution: Dune part la formule dEuler donne
     
1 5 1 5
B , = = 2.
6 6 6 6

Dautre part, par la formule de Legendre :


2/3
     
1 4 2
= 2 .
6 6 6

La formule dEuler donne encore


   
2 4 2
= .
6 6 3
Il sensuit que   q
2
= 21/3 (/3)1/2 (1/6).
6
2

Exercice 3.4 Etablir que pour tout m > 0, n > 1, a > 0, on a


Z +
m 1 n + 1 n+1
eax xn dx = ( )a m
0 m m

(Suggestion: Effectuer le changement de variables y = axm et utiliser la definition


de . )

Exercice 3.5 Posons


+ +
X 1 X (1)m
(x) = x
(x ]1, +[) (x) = x
(x ]0, +[).
m=1 m m=1 m

Alors
a) (x) = (21x 1) (x) x ]1, +[
x1
b) (x)(x) = 0+ dt et t 1 x ]1, +[.
R
48 Chapitre 3.

Solution: Par le crit`ere de Riemann, (donc ) existe pour x > 1; par le crit`ere
des series alternees, est aussi defini (semi-convergence) pour x ]0, 1[.
a) Pour tout x > 1, on a
+
X (1)m
(x) =
m=1
mx
+ +
X (1)2m X (1)2m+1
= x
+
m=1
(2m) m=0
(2m + 1)x
+ + +
!
1 X 1 X 1 X 1
= (x) +
2x m=0
(2m + 1) x
m=1
(2m)x
m=1
(2m)x
1 1
= (x) (x) + x (x)
2x 2
21x 1 (x).

=
b) Considerons la fonction fx (t) = tx1 /(et 1) t ]0, +[. Pour x > 1, et
pour ]1, x[, on a 2 < 1 et
t2 tx1 t
lim+ = lim+ tx t = 0.
t0 et 1 t0 e 1
Comme on a aussi
t2 tx1 et t2 tx1
= 2et tx+1
t
e 1 1 et
si t >>, et comme fx (t) C(]0, +[) pour tout x IR, on conclut finalement `
a
lintegrabilite de fx (t) sur ]0, +[ pour tout x > 1.
Cela etant, on a
Z + Z +
1
dt fx (t) = dt et tx1
0 0 1 et
Z + +
X
= dt et tx1 emt
0 m=0
+
X Z +
= dt e(1+m)t tx1 (u = (m + 1)t)
m=0 0
+ Z +
X 1
= du eu ux1
m=0
(m + 1)x 0

= (x)(x).
(La permutation des signes somme et dintegration est justifiee par exemple par le
PM
theor`eme de Lebesgue : pour tout x > 0, les fonctions fM (t) = et tx1 m=0 emt
Integrales particuli`eres 49

sont continues sur ]0, +[, positives, majorees par la fonction tx1 /(et 1), inte-
grable sur ]0, +[.) 2

Exercice 3.6 [Definition de Gauss de (x)] Demontrer que pour tout


x > 0, on a
mx m!
(x) = lim
m+ x(x + 1) . . . (x + m)

Solution: Pour tout x > 0 et tout m IN, on a

(x + m + 1) = (x + m)(x + m 1) . . . x(x)

Il en resulte que

mx m! mx (m + 1)
= (x)
x(x + 1) . . . (x + m) (x + m + 1)

et la formule de Stirling permet de conclure. 2

Exercice 3.7 Demontrer que pour tout x > 0, a > 0 on a


+
X (1)m Cam
(x)(a + 1)
=
(x + a + 1) m=0 x+m

o`
u on a pose
a(a 1) . . . (a m + 1)
Cam = si m > 0 et Ca0 = 1
m!
Remarquer egalement que ce developpement est fini si a est entier et
quil concide dans ce cas avec la decomposition de
1
x(x + 1) . . . (x + a)
en fractions simples.
Solution: La theorie des fonctions Beta nous dit que
Z 1
(x)(a + 1) a
= B(x, a + 1) = ux1 (1 u) du
(x + a + 1) 0
50 Chapitre 3.

Or on dispose du developpement de Taylor


+
X
a m
(1 u) = (1) Cam um
m=0

et ce developpement est uniformement et absolument convergent dans tout compact


de ] 1, 1[ comme on sen assure aisement (cf. Ex. 2.12). La serie
+
X m
(1) Cam ux1+m
m=0
a
converge donc partout sur ]0, 1[ vers ux1 (1 u) . Remarquons `a present que pour
tout M IN, on a
M Z 1 M
X m
X 1
|(1) Cam ux1+m |du = |Cam |
m=0 0 m=0
x + m
Le crit`ere de Riemann combine au fait que la suite mCam est bornee montre alors
que la serie
+ Z 1
X m
|(1) Cam ux1+m |du
m=0 0

est convergente. Cela nous permet dutiliser le crit`ere dintegrabilite des series pour
affirmer que
+ Z 1
X Z 1
m m x1+m a
(1) Ca u du = ux1 (1 u) du
m=0 0 0

De cette relation, on tire de suite que


+
X m 1
B(x, a + 1) = (1) Cam
m=0
x+m
ce qui permet de conclure. 2

Exercice 3.8 Etudier la convergence des series suivantes:

+ +
(m!)2 (2m)!
(z 1)m zm
X X
a) b)
m=1 (2m)! m m=1 22m (m!)2 m
+ Z + Z +
2 2m m
(1 + x2 )m dx)z m
X X
c) ( cos (x) dx)z d) (
m=1 0 m=1 0
+ Z 1
(1 x2 )m dx)z m
X
e) (
m=1 0
Integrales particuli`eres 51

Solution: a) La formule de Stirling montre que



(m!)2 e2m m2m 2m
am = m
(2m)! m e2m (2m)2m 22mm 4 m
On en deduit que am+1 /am 1/4. Ainsi, le crit`ere du quotient permet daffirmer
que la serie etudiee est absolument convergente si |z1| < 4 et divergente sip|z1| >
4. Pour |z 1| = 4, le terme general de la serie des modules est 4m am /m et
le crit`ere de Riemann montre que cette serie diverge. Quant `a la serie elle meme,
elle a pour terme general 4m am eim o` u est largument de z 1. Il est clair que
4m+1 am+1 4(m + 1)2 m 2m
m
= = <1
4 am (2m + 1)(2m + 2)(m + 1) 2m + 1
Ainsi, 4m am 0 et le crit`ere de convergence des series trigonometriques montre
que la serie est semi-convergente si ]0, 2[. La serie de depart est donc semi-
convergente pour |z 1| = 4, z 1 6= 4 et divergente pour z 1 = 4.
b) Une application de la formule de Stirling conduit `a

e2m (2m)2m 22m 1 3
am 2m 2m 2m m 2
2 e m 2m m
do`
u il decoule par les crit`eres du quotient et de Riemann que la serie proposee est
absolument convergente pour |z| 1 et divergente pour |z| > 1.
c) Posons
Z 2
am = cos2m x dx
0
et effectuons le changement de variables y = cos2 x. Il vient,
1 1 (m+ 1 )1
Z
1
am = y 2 (1 y) 2 1 dy
2 0
1 1 1
= B(m + , )
2 2 2
Tenant compte de la formule de Stirling, on voit que

1
r
m(m) 1
am
2 m(m) 2 m
Do`u il decoule que la serie est absolument convergente si |z| < 1 et divergente si
|z| > 1. Pour |z| = 1, le crit`ere de Riemann montre que la serie des modules diverge.
Comme,
am+1 m + 12
= <1
am m+1
52 Chapitre 3.

il est clair que am 0 et le crit`ere de convergence des series trigonometriques


montre que la serie etudiee est semi-convergente pour |z| = 1, z 6= 1 et divergente
pour z = 1.
d) Posons
Z +
am = (1 + x2 )m dx
0

et effectuons le changement de variables y = (1 + x2 )1 . Il vient


Z 1
1 1 1
am = y (m 2 )1 (1 y) 2 1 dy
2 0
1 (m 12 )( 12 )
=
2 (m)

et la formule de Stirling montre que


r
1
am
2 m

On conclut alors comme en c) que la serie proposee est absolument convergente pour
|z| < 1, divergente pour |z| > 1 et pour z = 1 et semi-convergente pour |z| = 1,
z 6= 1.
e) Posons
Z 1
am = (1 x2 )m dx
0

et effectuons le changement de variables y = x2 . Il vient


Z 1
1
am = (1 y)m dy
0 2 y
1 ( 12 )(m + 1)
=
2 (m + 23 )

La formule de Stirling donne alors


r
1
am
2 m

et on conclut comme en d). 2


Integrales particuli`eres 53

Exercice 3.9 Etablir les relations suivantes

Z 1
a) ln (x) dx = ln 2
0
Z
epx
b) dx = (p ] 1, 1[)
IR ch(x) cos( p
2
)

Solution: a) La fonction ln (x) est continue sur ]0, 1] et pour x > 0, on a


ln (x + 1) = ln x + ln (x)
u lon deduit que ln (x) est integrable en 0+ puisquil en est ainsi de ln x. Posons
do`
Z 1
I= ln (x) dx
0

et effectuons dans cette integrale le changement de variables y = 1 x. Il vient


Z 1
I= ln (1 y) dy
0

Ainsi Z 1
2I = (ln ln(sin(x))) dx
0
Posons Z 1
J= ln(sin(x)) dx
0
Il est clair que
Z 1/2 Z 1
J= ln(sin(x)) dx + ln(sin(x)) dx
0 1/2

et le changement de variables x = y + 12 dans le second terme conduit `a


Z 1/2 Z 1/2
J = ln(sin(x)) dx + ln(cos(x)) dx
0 0
Z 1/2
sin(2x)
= ln( )dx
0 2
Si dans cette derni`ere integrale, on effectue le changement de variables y = 2x, on
voit que
1 1
J = J ln 2
2 2
54 Chapitre 3.

On en tire que J = ln 2 et enfin que I = (ln + ln 2)/2 = ln( 2).
b) La fonction epx /chx est clairement integrable sur IR puisque p ] 1, 1[.
Effectuons le changement de variables y = ex , il vient
Z + px Z + p
e y
I= dx = 2 dy
chx 0 1 + y2
Si nous effectuons `a present le changement de variables t = 1/(1+y 2 ), nous obtenons
Z 1
p+1 p+1
I = (1 t) 2 t 2 1 dt
0
p+1 p+1
= B(1 , )
2 2

=
cos( p
2 )

Ce qui permet de conclure. 2

Exercice 3.10 Demontrer que

Z 1
x2 dx Z 1 dx
a) =
0 1x 04 1x 4 4
Z + Z +
xn n
b) e dx xn2 ex dx = (n > 1)
0 0 n2 sin( n )
Z + Z 1
dx dx
c) cos( ) = ( > 2)
0 1+x 0 1 x
Z +
1 Z dx
r
4
d) ( ex dx)2 =
0 8 2 0 sin x

(Suggestion:
a) Effectuer le changement de variables y = x4 et les proprietes de la fonction
Beta.
b) Effectuer le changement de variables y = xn et se ramener `a la definition de
la fonction Gamma. Conclure par la formule dEuler.
c) Dans la premi`ere integrale, effectuer le changement de variables y = 1/(1+x )
et dans la seconde poser x = y 1/ . Conclure grace `a la formule dEuler.
d) Dans le premier membre, poser x = y 1/4 et dans le second effectuer le change-
ment de variables t = sin(x) apr`es avoir reduit lintegration `a lintervalle 0, 2 .
 

Conclure gr ace `
a la formule dEuler. )
Integrales particuli`eres 55

Exercice 3.11 Montrer que la mesure dune boule de IRn est donnee
par la formule
n/2 rn
n (r) = mes({x : |x| < r}) =
( n2 + 1)
En deduire que n (r) 0 si n +.
Solution: Il est clair que le changement de variables x = ry donne
Z Z
n
n (r) = dx = r dy
|x|r |y|1

Tout revient donc `


a determiner n = n (1). Par le theor`eme de Fubini, on obtient
pour n > 1
Z 1 Z
n = dxn 2 dx1 . . . dxn1
1 |(x1 ,...,xn1 )| 1xn
Z 1 p
= n1 ( 1 x2n ) dxn
1
Z 1
(n1)/2
= 2n1 (1 x2n ) dxn
0

Le changement de variables t = x2n donne alors


Z 1
n = n1 (1 t)(n1)/2 t1/2 dt
0
n+1 1
= n1 B( , )
2 2

Ainsi,
n n1
n/2 n (
+ 1) = (n1)/2 n1 ( + 1)
2 2
do`
u la conclusion puisque 1 = 2. 2

Exercice 3.12 Montrer que pour tout > 0, on a


2
Z +
1 ex
dx =
0 x2
56 Chapitre 3.

Solution: Une integration par parties conduit `a


+ 2 + Z +
1 ex x2 1
Z
2 1
ex 2x dx

2
dx = (1 e ) +
0 x x 0

0 x

do`
u la conclusion par Poisson. 2

Exercice 3.13 Etablir que pour a > 0, on a


Z +
ln x ln a
2
dx =
0 (x + a) a

Solution: Posons
+
x
Z
I() = dx
0 (x + a)2
pour tout ] 1, 1[. On verifie aisement que cette integrale `a un sens. De plus,
si [m, M ] ] 1, 1[,

x (ln x)p x
 
p
D =
(x + a)2 (x + a)2
(ln x)p xm (ln x)p xM
[0,1] + [1,+[
a2 (x + a)2

et comme la fonction majorante est clairement integrable sur [0, +[, le theor`eme
de derivation des integrales parametriques permet de montrer que
+
(ln x)p x
Z
Dp I() = dx
0 (x + a)2

pour ] 1, 1[. Ainsi, lintegrale proposee vaut D I |=0 .


Effectuons dans I() le changement de variables y = a/(x + a), il vient
Z 1
I() = a1 (1 y) y dy
0
= a1 B( + 1, 1 )

= a1
sin()

Ainsi,
sin() cos()
D I = ln aa1 + a1
sin() sin2 ()
Integrales particuli`eres 57

et une application directe du theor`eme de lHospital montre que


ln a
lim D I =
0 a
ce qui donne le resultat cherche. 2

Exercice 3.14 Montrer que si a > 0, on a


Z +
2a
r
1/2 a(t+t1 )
t e dt = e
0 a

Solution: Posons Z +
1
J(a) = t1/2 ea(t+t )
dt
0
Il est clair que
Z 1 Z +
1 1
J(a) = u1/2 ea(u+u )
du + t1/2 ea(t+t )
dt
0 1

Dans le premier terme, effectuons le changement de variables t = 1/u, il vient


Z +
1
J(a) = (t3/2 + t1/2 )ea(t+t ) dt
1

Posons `
a present, v = a(t1/2 t1/2 ). On a bien s
ur,
1 1/2
Dt v = a(t + t3/2 )
2
v2 = a(t + t1 2)

Donc, par substitution, il vient


Z + r
2 v2 2a 2a
J(a) = e dv = e
0 a a
la derni`ere egalite provenant de lintegrale de Poisson. 2

Exercice 3.15 Demontrer que est la seule fonction 1 sur ]0, +[


telle que
a) ln 1 est convexe
b) 1 (x + 1) = x1 (x)
58 Chapitre 3.

c) 1 (1) = 1

Solution: Il est clair que verifie les conditions (b) et (c) et on obtient aisement
(a) en utilisant la definition de Gauss de . Supposons donc que 1 verifie les
conditions (a), (b), (c) et montrons que 1 = . Comme ln 1 est convexe, on a

ln 1 ((1 t)a + tb) (1 t) ln 1 (a) + t ln 1 (b) t [0, 1]


ln 1 ((1 t)a + tb) (1 t) ln 1 (a) + t ln 1 (b) t [1, +[

Soit x ]0, 1]. Prenons a = m, b = m + 1 et t = x dans la premi`ere majoration.


Cela donne
ln 1 (x + m) (1 x) ln 1 (m) + x ln 1 (m + 1)
donc
ln 1 (x + m) ln 1 (m) x ln m 0.
Prenons maintenant a = m 1, b = m et t = x + 1 dans la seconde majoration, il
vient
ln 1 (x + m) (x) ln 1 (m 1) + (x + 1) ln 1 (m)
ln 1 (x + m) ln 1 (m) x ln(m 1)
m1
ln 1 (x + m) ln 1 (m) x ln m x ln .
m
On en deduit que
1 (m) mx
lim =1
m+ 1 (x + m)
or
1 (x + m) = (x + m 1) . . . x.1 (x).
Donc
1 (m) mx
lim = 1 (x).
m+ (x + m 1) . . . x
Et la conclusion resulte de legalite 1 (m) = (m), de la formule de Gauss pour
et de ce que est determinee sur ]0, +[ par ses valeurs sur ]0, 1] grace `a la formule
(x + 1) = x(x). 2

Exercice 3.16 [Developpement de Taylor de ln (x) au point 1]


Etablir que

xk
(1)k Sk
X
ln (1 + x) = si x ] 1, 1[
k=1 k
Integrales particuli`eres 59

o`
u
X 1
Sk =
m=1 mk
si k 2 et
m
X 1
S1 = lim ( ln m).
m+
k=1 k
Signalons que S1 nest autre que la Constante dEuler 0.57721 . . ..
(Suggestion: Utiliser la definition de Gauss de (x). )

Solution: On sait que

(m + 1)!(m + 1)x
(x + 1) = lim .
m+ (x + 1) . . . (x + m + 1)

Ainsi, si x ] 1, +[,
 m+1

ln(1 + xk )
P
ln (x + 1) = x ln(m + 1)
lim
m+ k=1
 m

ln(1 + xk ) .
P
ln (x + 1) = lim x ln m
m+ k=1
Pm x
Posons fm (x) = x ln m k=1 ln(1 + k ). On a
m m
X 1 1 X 1
Dfm (x) = ln m x = ln m
1+ k k x+k
k=1 k=1

m
X 1
Dl fm (x) = (1)l (l 1)! si l 2.
(x + k)l
k=1

Or, si k 2,
1 1
l

(x + k) (k 1)l
ainsi Dl fm si l 2. Si l = 1,
]1,+[

m m
X 1 X k 1
Dfm (0) = ln m = 1 + (ln ).
k k1 k
k=1 k=2

Or
1 1 C
+ ln(1 ) 2 ;
k k k
60 Chapitre 3.

il resulte du crit`ere de Riemann que Dfm (0)converge vers une limite que nous
noterons S1 . Le theor`eme de derivation des limites de fonctions montre donc que
l 2
Dl fm Dl ln (x + 1).
]1,+[

En particulier, Dl ln (x + 1)|x=0 = (1)l (l 1)!Sl si l 1 do`


u la conclusion car
Sl est decroissant et minore par 1.
Les graphiques suivants representent successivement
ln (x + 1)
ln (x + 1) et x + ( 2 /12)x2
ln (x + 1) et x + ( 2 /12)x2 (1.20206/3)x3 + ( 4 /360)x4

Exercice 3.17 Deduire de la formule de developpement de ln (1+x)


que
k 2k 2k x
S2k = D ln ( )|x=0 .
(2k)! sin x
Montrer que pour k = 1, 2 on obtient S2 = 2 /6 et S4 = 4 /90.
(Suggestion: Utiliser la formule des complements pour la fonction Beta. )

Solution: On a

X xk
ln (1 + x) = (1)k Sk
k
k=1
Integrales particuli`eres 61

si x ] 1, 1[. De meme, si x ] 1, 1[

X xk
ln (1 x) = Sk .
k
k=1

Ainsi pour x ]1, 1[, on a



X x2k X S2k
ln (1 + x) + ln (1 x) = 2 S2k = x2k .
2k k
k=1 k=1

Mais
x
(1 + x)(1 x) = x B(x, 1 x) = ,
sin x
donc

X S2k 2k sin x
x = ln( );
k x
k=1

on a donc  
S2k 1 sin x
= D2k ln
k (2k)! x x=0
k 2k
 
sin u
S2k = D2k ln .
(2k)! u u=0
Calculons S2 et S4 . On a
1 3 1
sin u = u u + u5 + 0(u7 )
3! 5!
et
u2
ln(1 u) = u + + 0(u3 ).
2
Ainsi
sin u u2 u4
1 = + 0(u6 )
u 6 120

2
u2 u4 1 u2 u4
   
sin u
ln 1 1 = + + 0(u6 )
u 6 120 2 6 120

u2 u4 u4
= + + 0(u6 )
6 120 2 36

u2 u4
 
sin u
ln = + + 0(u6 )
u 6 180
62 Chapitre 3.

Par consequent,
2 2 4 4
S2 = et S4 = = .
6 180 90
2

Exercice 3.18 Deduire de la formule de developpement de ln (1+x)


que pour x ]1, 1[,
1 x 1 1+x
ln (1 + x) = ln( ) ln( ) + (1 )x
2 sin x 2 1x
x3 x5
(S3 1) (S5 1)
3 5
Signalons que cette formule converge rapidement et quelle a ete utilisee
par Legendre pour le calcul des tables de la fonction .
Solution: Dans lexercice precedent, on a vu que

1 x X S2k
ln = x2k .
2 sin x 2k
k=1

De plus, on sait que



X xk
ln(1 x) =
k
k=1

donc

X xk
ln(1 + x) = (1)k1
k
k=1

et

X x2k+1
ln(1 + x) ln(1 x) = 2 .
2k + 1
k=0

Ainsi

1 1 + x X x2k+1
ln = .
2 1x 2k + 1
k=0

On en deduit que

1 x X S2k+1
ln (1 + x) = ln( ) x2k+1
2 sin x 2k + 1
k=0
Integrales particuli`eres 63

et enfin

X S2k+1 1
1 x 1 1+x
ln (1 + x) = ln( ) ln ( ) x2k+1 .
2 sin x 2 1x 2k + 1
k=0

Do`
u la conclusion.
Les graphiques suivants representent successivement
   
1 sin x 1 1+x
ln (x + 1) et ln ln
2 x 2 1x
   
1 sin x 1 1+x
ln (x + 1) et ln ln + (1 )x
2 x 2 1x
   
1 sin x 1 1+x 0.20206 3
ln (x + 1) et ln ln + (1 )x x
2 x 2 1x 3

2
64 Chapitre 3.

nvier 1990 Distribution pour la 2CSP


Chapitre 4

Espaces L1, L2 et L

Exercice 4.1
a) Etablir que sin(mx) L1,2, ([0, 2]), mais que ses normes dans
ces differents espaces sont distinctes.
b) Montrer que k QI kL = 0.

Solution: a) Comme sin(mx) est continu sur [0, 2], il est evidemment de classe
L1 , L2 et L . De plus,

ksin(mx)kL ([0,2]) = sup (|sin(mx)|) = 1.


x[0,2]

Dans le cas L1 , on a
Z 2
ksin(mx)kL1 ([0,2]) = |sin(mx)| dx.
0

Comme la fonction |sin(mx)| est periodique de periode m , on a
Z
ksin(mx)kL1 ([0,2]) = 2 sin(y)dy
0
= 4.

Enfin, dans le cas L2 , on a


Z 2
2
ksin(mx)kL2 ([0,2]) = sin2 (mx)dx
0

65
66 Chapitre 4.

2
1 cos(2mx)
Z
= dx
0 2
= .
b) La fonction QI ne diff`ere de zero quaux points de lensemble denombrable Q
I
qui est donc negligeable. Ainsi
kQIkL = k0kL = 0.
2

Exercice 4.2 Montrer que dans lespace L2 (E), on a les egalites sui-
vantes :
2 kf + gk2 + kf gk2
2
a) kf k + kgk =
2
kf + gk2 kf gk2
b) hf, gi + hg, f i =
2
3
1X 2
c) hf, gi = ik f + ik g

4 k=0

2 2
(Suggestion: Developper kf + gk = hf + g, f + gi et kf gk = hf g, f gi
par linearite du produit scalaire dans L2 (E). )

Exercice 4.3 Montrer que tout element de L1 (E) est le produit de


deux elements de L2 (E).
p
(Suggestion: Remarquer que f = ( |f | ei arg(f )/2 )2 . )

Exercice 4.4 Si f C1 (]0, +[) et si f, Df L2 (]0, +[), montrer


que limx+ f (x) = 0.
Solution: Soit a > 0, il est clair que pour tout x > a,
Z x
f 2 (x) = f 2 (a) + Dt f 2 (t)dt.
a

Or Dt f 2 (t) = 2f (t)Dt f (t) et cette fonction est integrable sur [0, +[ etant donne
les hypoth`eses. Il en resulte que f 2 (x) admet une limite l en +. Comme f 2 (x)
est integrable, cette limite est nulle, do`
u la conclusion. 2
Espaces L1 , L2 et L 67

Exercice 4.5 Soient a, b IR, a < b. Si f C1 (]a, b[) C0 ([a, b]) et


si Df L2 (]a, b[), demontrer que
|f (b) f (a)|2 (b a)kDf k2L2 (]a,b[) .

Rb
Solution: On a f (b) f (a) = a
dx Dx f (x) donc
2
|f (b) f (a)| (b a) kDf k2L2 ([a,b])

en utilisant linegalite de Cauchy-Schwarz. 2

Exercice 4.6 [Levi dans L2 ] Montrer que si fm est une suite crois-
sante de fonctions positives de L2 et sil existe une constante C > 0
telle que kfm k2 C alors il existe une fonction f de L2 telle que fm
converge vers f presque partout et dans L2 .
Solution: Lapplication du theor`eme de Levi dans L1 `a la suite fm
2
fournit une

fonction positive g L1 telle que fm
2
g. Si lon pose f = g, il est clair que
pp
2
f L2 et que fm f presque partout. La suite |fm f | = (f fm )2 decrot donc
vers zero presque partout et une seconde application du theor`eme de Levi dans L1
2
montre que |fm f | dx 0. Ainsi kfm f k2 0 et fm f dans L2 . 2
R

Exercice 4.7 [Lebesgue dans L2 ] Montrer que si fm est une suite de


fonctions de L2 qui converge pp versf et sil existe une fonction F L2
telle que |fm | F pour tout naturel m alors la limite f L2 et fm f
au sein de lespace L2 .
(Suggestion: Proceder comme pour le theor`eme de Levi dans L2 mais en partant
du theor`eme de Lebesgue dans L1 . )

Exercice 4.8 Montrer que si f1 , . . . , fJ sont des elements de L2 (E),


alors la matrice H = (hfi , fj i) est hermitienne semi-definie positive.
Elle est hermitienne definie positive si et seulement si les f1 , . . . , fJ
sont lineairement independants.
Solution: Pour tout vecteur X = (x1 , . . . , xJ ) CIJ , on a
J X
X J
hHX, Xi = xj Hij xi
i=1 j=1
68 Chapitre 4.

J X
X J
= xj hfi , fj i xi
i=1 j=1
* J J
+
X X
= xi fi , xj fj
i=1 j=1
J 2
X
= xi fi .


i=1

De cette derni`ere egalite, il decoule que H est hermitien semi-defini positif. De plus,
il est clair quun vecteur X CIJ est tel que hHX, Xi = 0 si et seulement si
J
X
xi fi = 0.
i=1

Ainsi, H est h.d.p. si et seulement si les f1 , . . . , fJ sont lineairement independants.


2

Exercice 4.9 Si f L2 (]0, r[) pour un r > 0, on a


1 Zx
lim f (t)dt = 0.
x0+ x 0
Si f L2 (]0, +[), on a
1 Zx
lim f (t)dt = 0.
x+ x 0

Solution: Remarquons dabord que les integrales ont un sens car le produit de
deux elements de L2 est integrable.
Cas 0+ pour tout r > x > 0, linegalite de Schwarz procure la relation
Z x sZ x
2

f (t)dt |f | dt. x
0 0

do`
u la conclusion.
2 2 2
Cas + en appliquant la relation |a + b| 2 |a| + 2 |b| (a, b C I ), on
obtient (pour tous x > 0 et N > 0)
Z x 2 Z N Z x 2 Z 2 2
N Z x

f (t)dt = f (t)dt + f (t)dt 2 f (t)dt + 2 f (t)dt .


0 0 N 0 N
Espaces L1 , L2 et L 69

Vu linegalite de Schwarz (proceder comme en (a) ), on obtient


Z x 2 Z + Z +
2 2

f (t)dt 2N
|f | dt + 2x |f | dt,
0 0 N

donc aussi 2

1
Z x Z +

2N 2 2
f (t)dt
kf k + 2 |f | dt.
x
0 x N
R + 2
a present  > 0. Il existe N = N () > 0 tel que N |f | dt /4. D`es lors,
Fixons `
2
pour tout x (4N/) kf k , on a
Z x 2
1
f (t)dt .
x
0

On peut alors conclure. 2

Exercice 4.10 [Theor`eme de F. Riesz] Si T : L2 () CI est une


fonctionnelle lineaire continue sur L2 (), alors il existe un et un seul
g L2 () tel que T (f ) = hf, gi pour tout f L2 ().
Solution: Le cas T = 0 etant evident, supposons que T 6= 0.
Posons H = ker T = {x : T (x) = 0} et soit f L2 ()\H. Posons

= inf (d(f, h)).


hH

Soit hm une suite de H telle que

d(hm , f ) .

On sait que

2 2 1 2 2
khm f k + khn f k = (khm + hn 2f k + khm hn k ).
2
Ainsi
2
2 2 2 hm + hn
khm hn k = 2 khm f k + 2 khn f k 4
f
2
2 2
2 khm f k + 2 khn f k 4 2 .

Donc hm est de Cauchy et converge vers h0 H tel que d(h0 , f ) = . Comme


t IR d(h0 + th, f ) d(h0 , f ), si h H, il vient
2
t IR h H t2 khk + 2t< hh, f h0 i 0.
70 Chapitre 4.

Il en resulte que h H < hh, f h0 i = 0 et par consequent que hh, f h0 i = 0.


Posons g = f h0 , il est clair que hh, gi = 0 h H; il existe donc une constante
cC I telle que hh, gi = cT (h). On en deduit que T (h) = hh, g/ci, do`
u la conclusion.
2

Exercice 4.11 Si F est une fonction mesurable sur E telle que


f F appartienne `a Lp (E) (p = 1, 2, ) pour tout f appartenant `a
Lq (E) (q = 1, 2, ) avec kf F kp C kf kq , alors la fonction F est
un element de Lr (E) et verifie kF kr C pour les valeurs de p, q, r
indiquees ci-dessous

f
fF L1 (E) L2 (E) L (E)
L1 (E) (a) 2(b) 1(d)
L2 (E) (c) 2(d)
L (E) (d)

Solution:
a f et f F L1 (E).
On sait que E = + m=1 Em , avec Em integrable pour tout m. Procedons alors
par labsurde et supposons que F ne soit pas borne pp par C. Alors il existe M tel
que F EM ne soit pas borne pp par C. Il existe ensuite  > 0 tel que |F | EM C +
dans un ensemble non negligeable inclus dans EM (pour sen convaincre, il suffit de
proceder par labsurde en se rappelant que toute union denombrable densembles
negligeables est negligeable). Posons f = EM ; on obtient

kf F k1 (C + ) mes(EM ).

Or on doit aussi avoir

kf F k1 C kf k1 = C mes(EM ),

u une contradiction puisque mes(EM ) 6= 0.


do`
b Posons Fm = F {x:|F (x)|<m,|x|<m} . Il est clair que Fm L2 . Ainsi
F Fm L1 et
Z sZ
2
|F Fm | dx C |F | {x:|F (x)|<m,|x|<m} dx.
Espaces L1 , L2 et L 71

2
Mais |F Fm | = |F | {x:F (x)<m,|x|<m} donc
Z
2
|F | {x:|F (x)|<m,|x|<m} dx C 2 .

La conclusion resulte alors du theor`eme de Levi.


p p
1 2 2
pc Pour
tout pf L (E), il est clair que |f | L (E). Ainsi |f |F L (E) et
|f |F C |f | . Il en resulte que f F L (E) et que f F 1 C 2 kf k1 .
2 1 2

2 2
Tenant compte de a), on en deduit que F 2 L (E) et que F 2 C 2 do` u la
conclusion.
d Comme E L (E), il est clair que F = F E L1,2, (E) et que

kF k1,2, = kF E k1,2, C kE k

do`
u la conclusion. 2

Exercice 4.12 Si f (x, y) est mesurable et de classe L2 en x pour


presque tout y et si kf (, y)kL2 est L1 en y alors
a) f (x, y) est L1 en y pour presque tout x ;
f (x, y)dy est L2 en x ;
R
b)
c) k f (, y)dykL2 kf (, y)kL2 dy.
R R

Solution: Comme f (x, y) et f (x, z) sont L2 en x pour presque tout y et presque


tout z, on a les majorations suivantes :
Z

f (x, y)f (x, z)dx kf (, y)k 2 kf (, z)k 2
L L
Z
|f (x, y)| |f (x, z)| dx kf (, y)kL2 kf (, z)kL2

Par le theor`eme de Tonelli, on en deduit que la fonctionf (x, y) f (x, z) est integrable
en (x, y, z). Il en resulte que f (x, y) est integrable en y pour presque tout x (Fubini).
De plus,
Z Z Z Z Z

dy dz dxf (x, y).f (x, z) kf (, y)k 2 dy kf (, z)k 2 dz
L L

et par Fubini, on obtient


Z Z Z  Z

dx f (x, y)dy f (x, z)dz ( kf (, y)kL2 dy)2 .


72 Chapitre 4.

f (x, y)dy est L2 en x et que


R
Cela montre que
Z 2 Z
f (, y)dy ( kf (, y)k 2 dy)2 ,

L
L2

do`
u la conclusion. 2

Exercice 4.13 Si K(x) est defini et positif sur [0, +[ et si


Z +
K(x)
dx = C
0 x
alors
R +
a) 0 K(xy)f (x)dx L2 ([0, +[) si f L2 ([0, +[);

b) 0+ K(xy)f (x)dx C kf kL2 .
R
L2

Solution: Soit g une fonction de L2 ([0, +[). Montrons que K(xy)f (x)g(y) est
integrable sur [0, +[ [0, +[. Pour cela, considerons le changement de variables
  
u = x (x, y) 1 0
de jacobienne = .
v = xy (u, v) v/u2 1/u
Nous devrons donc etudier lintegrabilite de
g( uv )
K(v)f (u)
u
sur ]0, +[ ]0, +[. Remarquons que
Z + v 2
g( u ) 1 2
u du = v kgkL2

0

Ainsi, g( uv )/u est de classe L2 pour presque tout v [0, +[. Or f L2 ([0, +[)
g( v )
donc il est clair que K(v) uu f (u) est L1 en u pour presque tout v dans [0, +[.
De plus, Z + v
g( ) 1
K(v) u |f (u)| du K(v) kgkL2 kf kL2 .
0 u v
v
g( u )
Lhypoth`ese combinee au theor`eme de Tonelli montre alors que K(v) u f (u) est
integrable sur [0, +[ [0, +[. De plus, on a montre que
Z + Z +


dy dx K(xy)f (x)g(y) C kgkL2 kf kL2 .
0 0
Espaces L1 , L2 et L 73

Le theor`eme de Fubini permet daffirmer que


K(xy)f (x)g(y)
est integrable en x sur [0, +[ pour presque tout y [0, +[ si g L2 ([0, +[); il
en est donc de meme de
K(xy)f (x).
De plus, Z + 
K(xy)f (x)dx g(y) L1 ([0, +[)
0
2
si g L ([0, +[) et
Z + Z + 


K(xy)f (x)dx g(y) dy C kf kL2 kgkL2 .
0 0

Il resulte alors de lexercice (4.11) que


Z +
K(xy)f (x)dx L2 ([0, +[)
0

et que Z
+


K(xy)f (x)dx
C kf kL2 .
0 L2
2

Exercice 4.14 [Espace de Holder] Soit E une partie mesurable de


IRn . Pour tout reel p 1, on definit lespace de Holder dindice p par
la formule
Lp (E) = {f : f mesurable sur E, |f |p L1 (E)}
et pour tout f Lp (E), on pose
Z
kf kp = ( |f |p dx)1/p .
E

On demande de montrer que


a) Lespace (Lp (E), kkp ) est norme.
1 1
b) La fonction f g L1 (E) si f Lp (E), g Lq (E) et si p
+ q
= 1.
De plus, on a linegalite de Holder
|hf, gi| kf kp kgkq .
74 Chapitre 4.

c) Sil existe un reel p0 1 tel que f Lp0 (E) L (E), alors f


Lp (E) pour tout p p0 et

kf k = lim kf kp .
p+

d) Reciproquement, si f p>p0 Lp (E) et sil existe un reel l tel que

lim kf kp = l
p+

alors f L (E) et

kf k = lim kf kp .
p+

Solution: Il est clair que cf Lp (E) si c CI, f Lp (E). Soient f, g des elements
de Lp (E). Comme
(a + b)p 2p (ap + bp )
si a, b 0, on voit que
p p p
|f + g| (|f | + |g|)p 2p (|f | + |g| )

et la majorante etant integrable, on peut conclure que f + g Lp (E).


Supposons `a present que f Lp (E), que g Lq (E) et que p1 + 1q = 1. Comme
le logarithme est une fonction concave, on dispose de la majoration

1 1 1 1
ln( a + b) ln a + ln b
p q p q

si a, b > 0. On en deduit que


1 p 1 q
ab a + b
p q
si a, b 0. En appliquant cette relation `a |f | et |g|, on voit que |f g| L1 (E) et que
Z Z Z
1 p 1 q
|f g| dx |f | dx + |g| dx.
E p E q E

Ainsi, si kf kp = kgkq = 1, on trouve que

1 1
|hf, gi| + 1.
p q
Espaces L1 , L2 et L 75

Dans le cas general, si f 6= 0 et si g 6= 0, on a


* +
f g
, 1

kf kp kgkq

ce qui entrane linegalite de H


older

|hf, gi| kf kp kgkq

et cette inegalite se maintient si f = 0 ou si g = 0.


Pour etablir linegalite de Minkowsky, il suffit maintenant de supposer que f et
g sont dans Lp (E) et decrire
Z Z Z
p p1 p1
|f + g| dx |f | |f + g| dx + |g| |f + g| dx
E E E

puis dutiliser linegalite de Holder pour affirmer que


Z
p1
p p
kf + gkp kf kp ( |f + g| dx) p +
Z
p1
p
kgkp ( |f + g| dx) p .

De cette relation, on tire aisement que

kf + gkp kf kp + kgkp .

Passons maintenant au point c). Par hypoth`ese, kf k est fini et on a |f | kf k


presque partout. Ainsi, si p p0
p pp0 p0 pp0 p0
|f | = |f | |f | kf k |f | .

De cette relation, on tire que f Lp (E) et que


p0 p0
1
kf kp kf k p
kf kpp0 .

Si lon pose

E = {x : |f (x)| > kf k }
2
on a, pour tout p > p0 ,
Z Z
p p p0 
kf kp |f (x)| dx ( |f (x)| dx)(kf k )pp0 .
E E 2
Ainsi, Z
p0 1  p0 p
1 0
p0
( |f (x)| dx) p (kf k )1 p kf kp kf k p kf kpp0 .
E 2
76 Chapitre 4.

Dans cette relation, la minorante tend vers kf k /2 et la majorante vers kf k


si p +, donc il existe p > p0 tel que

kf k  kf kp kf k + 

pour p > p . Do`


u la conclusion.
Enfin, pour d), remarquons que

{x : |f (x)| > 1 + l} E p1
p1 >p0

o`
u on a pose
Ep1 = {x : |x| p1 , |f (x)| > 1 + kf kp }.
p>p1

Bien s
ur, pour tout p > p1 , on a

(1 + kf kp )Ep1 |f | .

Il en resulte que
p
(1 + kf kp )p mes(Ep1 ) kf kp .
Donc, on a
kf kp
mes(Ep1 ) ( )p
1 + kf kp

pour tout p > p1 . En passant `a la limite pour p +, on voit que mes(Ep1 ) = 0.


Il en resulte aussitot que
{x : |f (x)| > 1 + l}
est negligeable et que |f (x)| 1 + l presque partout et on conclut par c). 2

Exercice 4.15 Montrer que les espaces Lp (E), (p 1) sont de Ba-


nach.
(Suggestion: Adapter la demonstration donnee au cours pour lespace L2 (E). )

Exercice 4.16 [Inegalite de Holder generalisee] Etablir que si f1


Lk1 (E), . . . , fp Lkp (E) et si k11 + + k1p = 1 alors le produit f1 . . . fp
L1 (E) et
Z


f1 . . . fp dx kf1 kk1 . . . kfp kkp
E
Espaces L1 , L2 et L 77

Solution: Procedons par recurrence sur p, le cas p = 2 etant connu. Posons


q q
q = 1/(1 k11 ). Il est clair que |f2 | Lk2 /q (E), . . . , |fp | Lkp /q (E) comme
q q q q
ese de recurrence montre que |f2 | . . . |fp | L1 (E) et
k2 + + kp = 1, lhypoth`
que Z
q q q q
|f2 | . . . |fp | dx kf2 kk2 . . . kfp kkp .
E
1 1
Il en resulte que f2 . . . fp Lq (E) et comme q + k1 = 1, on constate que

f1 (f2 . . . fp ) L1 (E)

et que Z
|f1 | |f2 . . . fp | dx kf1 kk1 kf2 . . . fp kq .
E
En rassemblant les resultats obtenus, il vient
Z
|f1 f2 . . . fp | dx kf kk1 kf kk2 . . . kfp kkp
E

do`
u la conclusion. 2

Exercice 4.17 Montrer que pour tout  > 0, tout p 1 et tout


f Lp , il existe une fonction etagee telle que
kf kp .

(Suggestion: Adapter largument donne au cours pour p = 1, 2. )

Exercice 4.18 Deduire de lexercice precedent que pour tout p 1


et tout f Lp ,
kf (x + h) f (x)kp 0
si h 0.
(Suggestion: Adapter largument donne au cours pour p = 1, 2. )
78 Chapitre 4.
Chapitre 5

Produit de Convolution

Exercice 5.1 Soient E1 et E2 deux parties integrables de IRn . Alors


la fonction
(E1 g
E2 )(x)

a) est definie sur IRn ,


b) est integrable et continue sur IRn ,
c) verifie (E1 g
E2 )(x) = mes[E1 (E2 + x)] = mes[(E1 x) E2 ],

g
R
d) verifie IRn (E1 E2 )(x)dx = mesE1 .mesE2 .

(Suggestion: Utiliser la theorie du produit de composition en remarquant que la


fonction caracteristique dun ensemble integrable est un element de L1 L2 L . )

Exercice 5.2 Soit f L2 (]0, +[). Pour tout x 0, posons


Z +
h(x) = et f (t)dt
x

Alors
a) h est defini et continu sur [0, +[,
b) lim ex h(x) = 0.
x+

79
80 Chapitre 5.

(Suggestion: Comme les fonctions f ]0,+[ (x) et ex ],0[ (x) sont des elements
de L2 (IR), ces deux fonctions sont convolables et leur produit de convolution est
uniformement continu sur IR et tend vers 0 `a linfini. Calculons ce produit pour
x 0. On a
(f ]0,+[ ex ],0[ )(x) = ex h(x).
Par consequent, vu la continuite de la fonction ex et vu les proprietes du produit
de convolution, on obtient la th`ese. )

Exercice 5.3 Soient a et b des reels positifs tels que 0 < a < b. Si
lon pose
f = eax [0,+[ , g = ebx [0,+[ ,
montrer que
Z +
f g ln(b/a)
I= dx = .
0 x ba
Solution: Il est clair que f et g sont convolables et que lon a

eax ebx
(f g)x = [0,+[ (x).
ba
Il en resulte que (f g)/x est integrable sur ]0, +[ et en remarquant que
Z +
1
= eyx dy
x 0

il vient :
+ +
e(a+y)x e(b+y)x
Z Z
I= dx dy .
0 0 ba
Par Fubini, on obtient
+ +
e(a+y)x e(b+y)x
Z Z
I= dy dx ,
0 0 ba
do`
u lon conclut que
R + h 1 1
i
(b a)I = 0 (a+y) (b+y) dy
= [ln(a + y) ln(b + y)]+
0
= ln(b/a)

ce qui suffit. 2
Produit de Convolution 81

Exercice 5.4 Pour tout x IR, calculer et representer graphique-


ment
g(x) = [0,1] [1,2] [2,3] (x).
Solution: On a

x1 si 1 x 2
g(x) := ([0,1] [1,2] )(x) = 3x si 2 x 3 (5.1)
0 sinon.

On a ensuite


(x 3)2 /2 si 3 x 4
x2 + 9x 39/2 si 4 x 5

(g [2,3] )(x) = (5.2)

(x 6)2 /2 si 5 x 6
0 sinon.

2

Exercice 5.5 a) Soient


f (x) = ex [1,+[ (x) et g(x) = x[1,+[ (x).
Montrer que la fonction f g est definie sur IR. Donner sa valeur en
tout point de IR.
b) Soit C = {(x, y) IR2 : |x| y}. Montrer que la fonction C C
est definie sur IR2 . Donner sa valeur en tout point de IR2 .
Solution: a) Pour tout x IR, on a
f (y)g(x y) = ey [1,+[ (y) (x y)[1,+[ (x y)
= ey (x y)[1,+[],x+1] (y)
 y
e (x y)[1,x+1] (y) si x 0
=
0 si x < 0.
D`es lors, la fonction (de y) f (y)g(x y) est integrable sur IR pour tout x IR et
R x+1
on a (f g)(x) = 1 ey (x y) dy = ex si x 0, 0 si x < 0.
b) On a (C C )(x, y) = 0 si (x, y) 6 C et (C C )(x, y) = (1/2)(y 2 x2 ) sinon.

2
82 Chapitre 5.

Exercice 5.6 [Convolution et probabilites]


Rappelons quune variable aleatoire reelle x de densite de probabilite
f (x) est une variable dont la valeur est liee a` lissue dun processus
aleatoire et pour laquelle la probabilite de trouver x dans [a, b] est
donnee par Z b
P (x [a, b]) = f (x)dx.
a
Rappelons egalement que si deux variables aleatoires x et y de den-
site respective f et g sont independantes, la probabilite de trouver (x, y)
dans une partie mesurable A de IR2 est donnee par
Z
P ((x, y) A) = f (x)g(y)dxdy.
A

On demande de deduire de ces faits que si x et y sont des variables


aleatoires independantes de densite f et g alors x + y est une variable
aleatoire de densite f g.
Solution: Par hypoth`ese, f et g sont des fonctions integrables et
Z Z
f (x)dx = g(y)dy = 1.

De plus, on a evidemment

P (x + y [a, b]) = P ((x, y) {(x, y) : x + y [a, b]}).

Par consequent,
Z
P (x + y [a, b]) = f (x)g(y)dxdy.
{(x,y):x+y[a,b]}

Si nous effectuons le changement de variables



u=x+y
v=x

dans cette integrale, il vient


Z
P (x + y [a, b]) = f (v)g(u v)dudv,
{(u,v):u[a,b]}

do`
u la conclusion par Fubini. 2
Produit de Convolution 83

Exercice 5.7 [Densite dune somme de variables gaussiennes]


La densite de probabilite dune variable aleatoire gaussienne decart
type est donnee par
1 x2
G (x) = e 22 , > 0.
2
Verifier que
Z +
G (x)dx = 1

Z +
xG (x)dx = 0 [Moyenne nulle]

Z +
x2 G (x)dx = 2 [Ecart type ]

Etablir ensuite que


G G = G2 + 2 .
En deduire que la somme de deux variables gaussiennes independantes,
lune decart
type et lautre decart type , est une variable gaussienne
decart type 2 + 2 .
Solution: Rappelons dabord que
+
Z r
ax2
e dx = [Poisson]
a
+
Z r
2 ax2 1
x e dx = [Derivation de Poisson]
2a a

Il resulte des formules precedentes que


Z + Z +
1 1
r
x2
G (x)dx = e 22 dx = 1 =1
2 2 2 2
Z + Z +
1 1 1
r
x2
x2 G (x)dx = x2 e 22 dx = = 2 .
2 2 2 21 2 1
2 2
84 Chapitre 5.

Comme xG est integrable et impaire, son integrale est nulle. Etablissons `a present
la formule de convolution. On a
Z +
1 (xy)2 1 y2
(G G )(x) = e 22 e 2 2 dy
2 2
Z +
1 x2 xy y2 y2
= e 22 + 2 22 2 2 dy
2

Transformons lexposant de lintegrand comme suit :

x2 xy y2 y2
2
+ 2 2 2
2 2 2
2 x2 + 2 2 xy 2 y 2 2 y 2
=
2 2 2
2 4
( + y 2 +2 x)2 + 2+2 x2 2 x2
2 2
=
2 2 2
2
x2 ( 2 + 2 y 2 +2 x)2
=
2( 2 + 2 ) 2 2 2

On obtient donc la formule


2
x2 ( 2 + 2 y x)2
+ 2 + 2
2( 2 + 2 )
Z
e
(G G )(x) = e 2 2 2 dy.
2

Posons maintenant
p 2
t= 2 + 2 y x.
2 + 2
Il vient alors
x2
+
e 2( 2 +2 )
Z
t2 1
(G G )(x) = e 22 2 dt
2 2 + 2
x2
e 2( 2 + 2 ) 1
r
= 1
2 + 2
2
2 2 2
x2

e 2( 2 +2 )
= = G 2 +2 (x)
2 2 + 2
2
Produit de Convolution 85

2
Exercice 5.8 Soient a > 0 et f (x) = e|x| (x IR), g(x) = eax (x
2
IR) et h(x) = xeax (x IR). Calculer
f f gh h h.

Solution: La fonction f f est paire et on a (f f )(y) = yey + ey si y 0.


Pour tout y IR, on a
Z
2 2
(g h)(y) = dx eax (y x)ea(yx)
IR
1
= Dy (g g)(y)
2a
2
= yeay /2
2 2a
r
ay2 /2
(g g)(y) = e .
2a
Pour tout y IR, on a
1
(h h)(y) = Dy (g h)(y).
2a
2

Exercice 5.9 Soit B = {x : |x| R} la boule de centre 0 et de rayon


R. Pour tout f L1loc , definissons la moyenne radiale de f par
1 Z
MR f (x) = f (y)dy.
mes(B) |xy|R
Montrer que
a) MR f est continu,
b) MR f L1 si f L1 et MR f dx = f dx,
R R

c) MR f Cp (IRn ) si f Cp (IRn ) et Dk MR f = MR (Dk f ) si |k| p.

Solution: Il suffit de constater que


B
MR f (x) = f
mes B
et dutiliser les resultats vus au cours (B est dans Lpcomp ). 2
86 Chapitre 5.

Exercice 5.10 Montrer que si la serie


+
am z m
X

m=1

converge absolument pour |z| a alors la fonction


+
X
am f . . . f
| {z }
m=1 m

appartient a` L1 si kf k1 a.
(Suggestion: Utilier le crit`ere de Cauchy pour les series dans L1 . )

Exercice 5.11 Soit lechelon de Heaviside


Y (x) = ]0,+[ .
Si f, g sont localement integrables dans [0, +[ alors f Y, gY sont com-
posables et on a

0

Rx
pour tout x < 0
f Y gY (x) = 0 f (t)g(x t) dt pour presque tout x > 0 .
(x > 0 si f ou g est continu)

Solution: Pour tout x IR, on a

f (t)Y (t)g(x t)Y (x t) = f (t)g(x t)[0,+[],x] (t)



0 si x < 0
= .
f (t)g(x t)[0,x] (t) si x 0.

D`es lors, pour tout a > 0 et tout x [0, a], on obtient

f (t)Y (t)g(x t)Y (x t) = (f [0,a] )(t)(g[0,a] )(x t). (5.3)

Comme f [0,a] et g[0,a] sont integrables, le cas L1 L1 permet de dire que pour
presque tout x [0, a], la fonction (de t) f (t)Y (t)g(x t)Y (x t) est integrable. Si
en outre f ou g est continu, (5.3) montre que, pour tout x [0, a], f (t)Y (t)g(x
t)Y (x t) est le produit dune fonction bornee par une fonction integrable, donc
est integrable. Do`
u la conclusion. 2
Produit de Convolution 87

Exercice 5.12 Soit lechelon de Heaviside Y (x) = ]0,+[ ; posons

(m) ex xm1
Y (x) = Y (x)
(m)
pour tout m IN0 et tout CI. On demande de montrer que
(m+n) (m) (n)
Y = Y Y .

Solution: Pour tout x 0, on a


x
e(xy) (x y)m1 ey y n1
Z
(m) (n)
(Y Y )x = dy
0 (m) (n)
Z x
ex
= (x y)m1 y n1 dy.
(m)(n) 0

Posons y = xt, il vient


1
ex xm+n1
Z
(m) (n)
(Y Y )x = (1 t)m1 tn1 dt
(m)(n) 0

B(m, n) x m+n1
= e x
(m)(n)

ex xm+n1
=
(m + n)

do`
u la conclusion. 2

Exercice 5.13 Montrer que si k L1 (IR) et si kkk1 < 1 alors lope-


rateur
I k : L1 (IR) L1 (IR)
est continu et admet un inverse continu de la forme
I + h : L1 (IR) L1 (IR)
kkk1
avec h L1 (IR) et khk1 1kkk1
.
Solution: La theorie du produit de convolution montre que

kk f k1 kkk1 kf k1
88 Chapitre 5.

pour tout f L1 (IR). Par consequent, loperateur

I k : f ; f k f

est continu. De plus, si lon pose

k n = |k .{z
. . k},
n

on voit que
n
kk n k1 kkk1
u lon tire la convergence dans L1 de la serie
do`
+
X
k n .
n=1

Notons h la somme de cette serie. Il est clair que


+
X n kkk1
khk1 kkk1 =
n=1
1 kkk1

et que
k h + k = h.
On deduit de cette relation que

(I k) (I + h) = I + h k (k h) = I

et que
(I + h) (I k) = I k +h (h k) = I.
Do`
u la conclusion. 2

Exercice 5.14 [Equation de Volterra de deuxi`eme esp`ece]


Notons L+ lespace des fonctions localement integrables `a support
dans [0, +[. Montrer que deux elements f et g de L+ sont convolables
et que Z x
(f g)x = f (x t)g(t)dt.
0

Generaliser a` L lexercice precedent en montrant que si k L+ alors


+

loperateur
I k : L+ L+
Produit de Convolution 89

admet un inverse de la forme


I + h : L+ L+
u h L+ .
o`
Solution: Soit  un reel positif tel que
Z 
|k(x)| dx < 1.
0

Si f est nul sous a (i.e. Supp(f ) [a, +[) alors k f est nul sous a et pour tout
x [a, a + 2], on a
Z Z x
(k f )x = k(x t)f (t)dt = k(x t)f (t)dt
a
= (k[0,] f [0,] )x .
Posons k = k[0,] . Lexercice precedent montre que loperateur

I k : L1 L1
admet un inverse de la forme
I + h : L1 L1
avec h L1 L+ .
a present g L+ et montrons par recurrence sur m que lon peut con-
Fixons `
struire une suite fm de L+ telle que
fm+1 = fm sur [0, m]
fm k fm = g sur [0, m]
Comme f0 = 0 convient, supposons disposer de f1 , . . . , fm et construisons fm+1 .
Posons
gm = g fm + k fm
et
m = gm [m,m+] + h gm [m,m2+2] .
Il est clair que gm et m sont nuls sous m et que
m k m = gm [m,m+] .
De cette relation, on tire que m k m gm est nul sous (m + 1). Tenant
compte de la definition de gm , on voit que
m k m + f m k f m g
90 Chapitre 5.

est nul sous (m + 1). On peut donc poser fm+1 = fm + m . Si lon note f la
fonction de L+ qui concide avec fm sur [0, m] pour tout m, il est clair que lon a

f k f = g.

Ainsi, lequation f k f = g a une solution dans L+ pour tout g L+ . Notons h


la solution de lequation
h k h = k.
Il est clair que

(I + h) (I k) = I k +h h k = I
(I k) (I + h) = I + h k k h = I

do`
u la conclusion.
Lequation etudiee ci-dessus mise sous la forme
Z x
f (x) k(x t)f (t)dt = g(x)
0

est un des cas les plus importants de lequation de Volterra de seconde esp`ece dont
la forme classique est donnee par
Z x
f (x) k(x, t)f (t)dt = g(x)
0

o`
u le noyau k(x, t) est generalement suppose continu. 2

Exercice 5.15 Resoudre lequation de Volterra suivante


Z x
u(x) e2(yx) u(y)dy = ex
0

pour x > 0. Montrer que la solution est integrable sur [0, +[.
Solution: Posons
k(x) = e2x Y (x).
Lequation secrit
uY k uY = ex Y.
Or k L1 (IR) et
Z +
1
kkk1 = e2x dx =
0 2
Produit de Convolution 91

donc la solution u est donnee par


+
X
uY = ex Y + k (m) ex Y.
m=1

Or
(m) (m) e2x xm1
k (m) = Y2 = Y2 = Y (x)
(m)
donc
+ + m
X X x
k (n) = e2x = ex .
m=1 m=0
m!
La solution est donc donnee par
(1) (1)
uY = ex Y + Y1 Y1 = (1 + x)ex .

Exercice 5.16 Soit b une fonction definie sur IRn , positive et bornee
sur IRn . Si
lim |b(x) b(y)| = 0
x,y;|xy|0

(ce qui est le cas si limx b(x) existe et est finie) et si


lim (f b)(x) = 0
x

pour toute fonction f L1 (IRn ) alors


lim b(x) = 0.
x

Solution: Procedons par labsurde. Si b ne converge pas vers 0 `a linfini, il existe


 > 0 et une suite xm (m IN) de points de IRn tels que |xm | m et b(xm ) 2
pour tout m.
Cela etant, comme lim |b(x) b(y)| = 0 si x, y ; |x y| 0, il existe
M IN et R ]0, 1[ tels que

(|x| , |y| M et |x y| R) |b(x) b(y)| .

D`es lors, pour tout m M + 1, on a |xm | M + 1 et il sensuit que

y b(xm , R) |b(xm ) b(y)| .


92 Chapitre 5.

On obtient donc aussi

y b(xm , R) b(y) b(xm ) |b(xm ) b(y)| .

Soit alors L1 (Rn ) tel que Supp() = b(0, R), 0 et


R
dx = 1. Dune part,
pour tout m IN, on a
Z Z
( b)(xm ) = (xm y)b(y)dy = (xm y)b(y)dy .
IRn b(xm ,R)

Mais, dautre part, comme la suite xm converge vers linfini, on doit avoir

lim ( b)(xm ) = 0
m+

(hypoth`ese). Do`
u une contradiction. 2

Exercice 5.17 Soit un ouvert non vide R


de IRn et soit f L1loc ().
Alors f = 0 pp dans si et seulement si dx f (x)(x) = 0 pour tout
D().
R
Solution: Bien sur, si f = 0 pp sur , on a dx f (x)(x) = 0 pour tout D().
Demontrons la reciproque. Il suffit de montrer que pour tout compact K de ,
f est nul pp sur K.
Soit une unite universelle approchee de composition. Pour tout compact K 0
de , on a donc
(f K 0 ) f K 0 dans L1 . (5.4)

Prenons K 0 = Kr , avec Kr = {u IRn : d(u, K) r} et r. On a alors


Z
((f K 0 ) )(x) = dy f (y)K 0 (y) (x y)
IRn
Z
= dy f (y) (x y)
0
ZK
= dy f (y) (x y)

pour tout x K car Supp( (x .)) {y IRn : |x y| } Kr . Vu


lhypoth`ese, on obtient que ((f K 0 ) )(x) = 0 pour tout x K et pour tout
r. De ceci et de (5.4), on tire que f = 0 pp sur K. 2
Produit de Convolution 93

Exercice 5.18 On dit quune fonction f L1loc (IR) est derivable dans
L1loc (IR) si il existe g L1loc (IR) tel que
Z Z
f (D)dx = gdx

pour tous les D(IR). Dans ces conditions, montrer que


a) La fonction g de la definition ci-dessus est unique pp. On la notera
Df .
Pn Pn
b) D( i=1 ci fi ) = i=1 ci Dfi .

c) Df = 0 f est constant.
Rt
d) f est egal pp a` c + 0 D f d qui est une fonction continue.
e) Si f est continue et derivable dans L1loc (IR),
Z b
f (b) = f (a) + D f d.
a

f) Au sein de L1loc (IR), on a


f ( + h) f ()
Df =lim .
h0 h
h6=0

g) Reciproquement, montrer que si


f (x + h) f (x)
lim
h0 h
h6=0

existe dans L1loc alors f est derivable dans L1loc (IR).

Solution: a) Si g1 et g2 sont toutes deux telles que


Z Z Z
f (D)dx = g1 dx = g2 dx, D(IR)

il est clair que Z


(g1 g2 )dx = 0
94 Chapitre 5.

pour tout D(IR). De l`a, on tire que g1 g2 = 0 pp par un theor`eme dannulation


bien connu.
b) On a successivement :
Z X n n
X Z
( ci fi )(D)dx = ci fi (D)dx
i=1 i=1
n
X Z
= ci Dfi dx
i=1
Z X n
= ( ci Dfi )dx
i=1

pour tout D(IR).


Rt
c) Soit une fonction de D(IR). Il est clair que ( )d est dans D(IR) si et
R + R +
seulement si ( )d = 0. Cela etant, soit D(IR) tel que (x)dx = 1.
Pour tout D(IR), posons
Z +
= ( )d.

R +
Un calcul rapide montre que ( )d = 0. Il existe donc 1 D(IR) tel que
= D1 . On en deduit que
Z Z
f (D1 )dx = (Df )1 dx = 0.

Ainsi, Z + Z + 
f (t)((t) ( )d )dt = 0

si D(IR). R
Posons c = f (t)(t)dt. Il vient
Z Z
f (t)(t)dt = c(t)dt.

Ainsi f = c pp comme annonce.


d) Soit D(IR), on a successivement
Z + Z t
( D f d )(Dt )dt
0
Z + Z t
= dt d (D f Dt )
0
Produit de Convolution 95

Z + Z t Z 0 Z 0
= dt d D f Dt + dt d D f Dt
0 0 t
Z + Z + Z 0 Z
= d dtD f Dt + d dtD f Dt
0
Z + Z 0
= ( )D f d + ( )D f d
0
Z +
= ( )D f d.

Rt
Il en resulte que 0
D f d est derivable dans L1loc (IR) et que
Z t
Dt ( D f d ) = Dt f
0

do`
u la conclusion par c).
e) Vu d), on sait que
Z t
f (t) = D f d + c
0
ainsi Z b Z a Z b
f (b) f (a) = D f d D f d = D f d.
0 0 a
f) Pour h > 0, on a successivement :
Z b
f (x + h) f (x)
I = Df (x) dx
a
h
Z b R x+h
x Df ( )d

= Df (x) dx

h

a

1 b h
Z Z Z h
= Df (x + )d Df (x)d dx

h a 0

0
Z b Z h
1
( |Df (x + ) Df (x)| d )dx
h a 0
1 h
Z Z b
d |Df (x + ) Df (x)| dx.
h 0 a
Supposons h < 1. Il vient
1 h
Z Z +

I d Df [a,b+1] (x + ) Df [a,b+1] (x) dx
h 0

1 h
Z

Df [a,b+1] ( + ) Df [a,b] () 1
L (IR)
d.
h 0
96 Chapitre 5.

Pour tout  > 0, il existe > 0 tel que Df [a,b+1] ( + ) Df [a,b] () L1 (IRn ) 
si | | < . Donc pour tout  > 0, il existe > 0 tel que
Z h
1
I d 
h 0

si |h| < , ce qui suffit pour conclure.


g) Si
f (x + h) f (x)
Df = lim
h0 h
dans L1loc (IR), il est clair que

f (x + h) f (x)
Z Z
Df dx = lim (x)dx.
h0 h

Or
Z 
f (x + h) f (x)
Z Z
1
(x)dx = f (x + h)(x)dx f (x)(x)dx
h h
Z Z 
1
= y)dy f (y)(y)
f (y)(h dy
h
1
= [f (h)
f (0)]

h Z
= (f D)
0= f (x)(D(x))dx

Exercice 5.19 [Formule de Leibnitz dans L1loc ] Montrer que si f et


g sont derivables dans L1loc (]a, b[), alors f g L1loc (]a, b[), y est derivable
et on a
D(f g) = Df g + f Dg.
En tirer une formule dintegration par parties si a et b sont finis.
Solution: La propriete etant locale, on peut supposer a et b finis. On peut
egalement supposer f et g continus et tels que f (a) = g(a) = 0 car si la pro-
priete est exacte pour f et g, elle lest aussi pour f + c et g + d avec c, d CI. Cela
etant, on a, vu lexercice precedent,
Z t Z t
f (t) = D f d , g(t) = D gd.
a a
Produit de Convolution 97

On en deduit de suite que pour tout D(]a, b[), on a


Z b Z b Z t Z t
I= f (t)g(t)(Dt )dt = Dt dt D f d D gd.
a a a a

En permutant lordre dintegration, on obtient


Rb Rb Rb
I = a
d D f a
dD g sup(, )
(Dt )dt
Rb Rb
= a
d D f a
d(sup(, ))D g
Rb R Rb Rb
= a
d D f a
d( )D g + a
d D f
d()D g.

Un changement de lordre dintegration dans le dernier terme conduit enfin `a


Z b Z b Z
I = g( )( )D f d + d()D g d D f
a a a
Z b
= (D f g + f D g)( )d.
a

Do`
u la conclusion. 2

Exercice 5.20 Montrer que


a) Si f, g L1loc ([0, +[) alors f Y et gY sont convolables et f Y gY
L1loc ([0, +[) et sannule sur ], 0].
b) Si, de plus, f admet une derivee dans L1loc (]0, +[) alors f Y gY
admet une derivee dans L1loc (IR) et
D(f Y gY ) = Df Y gY + f (0)gY.
En deduire que si f L1loc (IR), D(Y f Y ) = f Y et que si f admet
en outre une derivee L1loc (IR) alors
Y Df Y = (f f (0))Y.

Solution: a) est evident car si x < a


Z x
(f Y gY )x = f (x t)g(t)dt = (f [0,a] g[0,a] )x .
0
98 Chapitre 5.

b) Etablissons dabord que pour tout D(IR), on a

f Y D = Df Y + f (0).

Pour cela, remarquons que


Z +
(f Y D)x = f (t)(Dt (x t))dt
0
Z +
= [Dt (f (t)(x t)) + Dt f (x t)] dt
0
= f (t)(x t)|t=0 + Df Y .

Dans le cas general, on a


Z
(f Y gY )x (Dx )dx = ((f Y gY ) D)
0

= ((f Y D)
gY )0
= (Df Y gY )
0 + f (0)(gY )
0
Z Z
= (Df Y gY )x (x)dx + f (0)(gY )x (x)dx.

Do`
u la conclusion. 2

Exercice 5.21 Demontrer les assertions suivantes.


a) Si f C0 ([0, +[) et si g L1loc ([0, +[)), alors f Y gY
C0 ([0, +[).
b) Si f C1 (IR) et si g C0 ([0, +[), alors f Y gY C1 ([0, +[)
et
D(f Y gY ) = (Df )Y gY + f (0)gY.

Solution: On a
Z Z x
(f Y gY )x = f Y (x y)gY (y)dy = f (x y)g(y)dy.
0

Le produit f Y gY est donc bien defini et continu pour tout x [0, +[. Con-
siderons lapplication
Z x2
: (x1 , x2 ) 7 f (x1 y)g(y)dy.
x1 >0 x2 >0 0
Produit de Convolution 99

Comme f (x1 y)g(y) est continu en y sur [0, +[, il est clair que est derivable
en x2 et que Dx2 = f (x1 x2 )g(x2 ). Par le theor`eme de derivation des integrales
parametriques, on montre que est derivable en x1 et que
Z x2
Dx1 = Df (x1 y)g(y)dy.
0

Comme Dx1 et Dx2 sont continus, est contin


ument derivable et il en est de
meme de (x, x). De plus,

D(x, x) = Dx1 |(x,x) + Dx2 |(x,x)


Z x
= Df (x y)g(y)dy + f (0)g(x).
0

Do`
u la conclusion. 2

Exercice 5.22 [Reponse impulsive des equations differentielles a` co-


efficients constants] Considerons loperateur de derivation a` coefficients
constants L(D) donne par
p
ak D k ,
X
L(D) = ap 6= 0
k=0

et construisons la solution A de L(D)A = 0 telle que A(0) =


0, . . . , Dp2 A(0) = 0, Dp1 A(0) = 1/ap . On demande de montrer que :
a) La solution sur ]0, +[ du probl`eme

L(D)u = f

u(0) = 0, . . . , Dp1 u(0) = 0


u f C0 ([0, +[) est donnee par
o`

u = AY f Y

et est de classe Cp .
b) La solution la plus generale du probl`eme homog`ene

L(D)u = 0
100 Chapitre 5.

est donnee par


p1
ck D k A
X

k=0

les ck etant des constantes arbitraires determinees univoquement


par les conditions initiales.
c) Si, pour tout m IN, fm est une fonction positive, continue et
integrable sur [0, +[ telle que
Z
fm (x)dx = 1

et que Z
lim fm (x)dx = 0 R > 0
m+ x>R

alors la solution um du probl`eme

L(D)um = fm

um (0), . . . , Dp1 um (0) = 0


converge dans C0 ([0, +[) vers AY . (Ce qui montre que AY est
la reponse impulsive au sens de la physique.)
d) Les coefficients (ak )pk=0 de L(D) sont determines par les nombres
Dp1 A(0), . . . , D2p1 A(0). (On retrouve donc le mod`ele a` partir
de sa reponse impulsive.)

Solution:
a) Vu lexercice precedent, on a

u = AY f Y
Du = DAY f Y + A(0)f Y = DAY f Y
Dp1 u = Dp1 AY f Y + Dp2 A(0)f Y
= Dp1 AY f Y
Dp u = Dp AY f Y + a1p f Y

ainsi u Cp ([0, +[) et L(D)u = f Y sur [0, +[.


De plus, u(0) = 0, . . . , Dp1 u(0) = 0 ce qui permet de conclure.
Produit de Convolution 101

b) Il est clair que


p1
X
L(D)( Ck Dk A) = 0.
k=0

Calculons les conditions initiales correspondant `a cette solution

p1
X
u= Ck Dk A.
k=0

Il vient

Dp1 A(0)

u(0) A(0) C0
Du(0) DA(0) Dp A(0) C1
= .

.. .. .. .. ..
. . . . .
Dp1 u(0) Dp1 A(0) D2p2 A(0) Cp1
| {z }
M

Comme la matrice M est triangulaire inferieure et a tous ses elements contre-


diagonaux egaux `a 1/ap , elle est non singuli`ere. Il existe donc une correspondance
biunivoque entre les constantes (C0 , . . . , Cp1 ) et les conditions initiales; ainsi toute
Pp1
solution de L(D)u = 0 secrit de mani`ere unique sous la forme k=0 Ck Dk A.
c) La suite fm verifie les conditions imposees `a une unite approchee de convolu-
tion (Cours page II.26). Comme AY est uniformement continue sur tout compact
K de [0, +[, on a AY fm AY , ce qui permet de conclure.
K
Pp1
d) Comme k=0 ak Dk A + ap Dp A = 0, il est clair vu ce qui prec`ede que lon a

ap Dp A(0)

a0
ap Dp+1 A(0) a1
=M

.. ..
. .
ap D2p1 A(0) ap1

et la conclusion vient alors de ce que Dp1 A(0) = 1/ap . 2

Exercice 5.23 Utiliser la methode vue `a lexercice precedent pour


etudier le circuit
102 Chapitre 5.

dont lequation est


( Rt
1
LDt i + Ri + C 0 i( )d = f (t) sur ]0, +[
i(0) = 0

en considerant des f C1 ([0, +[).


Solution: Considerons le probl`eme equivalent

LDt2 i + RDt i + C1 i = Dt f sur ([0, +[)
i(0) = 0 .
LDt i(0) = f (0)

Resolvons dabord 1
LDt2 A + RDt A + CA =0
A(0) = 0 .
Dt A(0) = L1

Le polynome caracteristique L(z) = Lz 2 +Rz+ C1 a pour discriminant = R2 4 C


L
.
Trois cas sont `
a considerer.
1) Cas < 0
Les zeros sont
q q
R i 4L C R 2 R + i 4L
C R
2
et .
2L 2L
Posons
R
a=
2L
et r
1 R2
= .
LC 4L2
Il vient
A(t) = eat (C1 cos t + C2 sin t).
Produit de Convolution 103

Comme A(0) = 0, on a C1 = 0. Ainsi DA = eat (C2 cos t aC2 sin t).


1 at
De la relation DA(0) = L1 , on tire C2 = L
1
, ainsi A(t) = L e sin t. Main-
tenant, nous savons que

iY = AY Df Y + c0 AY + c1 DAY.

Donc
1
i(0) = c0 A(0) + c1 DA(0) = c1
L
et
1 R
Di(0) = c0 DA(0) + c1 D2 A(0) = c0 + c1 2 .
L L
Ainsi, c1 = 0 et c0 = f (0). La solution cherchee secrit donc

iY = AY Df Y + f (0)AY = D(AY f Y ) sur ]0, +[ .

Finalement, on obtient
iY = (DA)Y f Y.
Or
1 
aeat sin t + eat cos t

DA =
L
eat
= [a sin t + cos t].
L
On a
R2 1 R2 1
a2 + 2 = 2
+ 2
=
4L LC 4L LC
 
donc il existe 0, 2 tel que

1 1
a= cos = sin .
LC LC
Il vient
eat 1
DA = (cos t sin sin t cos )
L LC
eat
= sin( t).
L sin

2) Cas = 0
R
Le zero double est 2L = a. On a de plus

A(t) = eat (C1 t + C2 ).


104 Chapitre 5.

Comme A(0) = 0, il vient C2 = 0. Et comme DA = eat (C1 a(C1 t + C2 )), on a


C1 = L1 . Ainsi
t
A(t) = eat .
L
En procedant comme dans le cas ci-dessus, on voit que
iY = DAY f Y
avec
t 1 1 at at
DA = (a)eat + eat = e .
L L L
3) Cas > 0 Les zeros sont
q q
R R2 4L C R + R2 4L C
et .
2L 2L
2 4L
R R C
Posons a = 2L et = 2L . La solution A(t) cherchee secrit
A(t) = (C1 sht + C2 cht)eat .
De A(0) = 0, on deduit que C2 = 0. On a
DA(t) = C1 chteat + C1 sht(a)eat .
1
Ainsi DA(0) = C1 = L, il en resulte que
1
A(t) = shteat .
L
Comme ci-dessus, on montre que
iY = DAY f Y
et
1 1
DA = chteat + sht(a)eat
L L
1 at
= e (cht asht).
L
Ainsi, si nous posons
1 1
a= ch = sh,
LC LC
il vient
1 at 1 eat
DA = e sh( t) = sh( t).
L LC Lsh
Remarquons que comme < a, limt+ DA(t) = 0.
Donnons ` a present une representation graphique des trois types de reponses
impulsives :
Produit de Convolution 105

Amortissement fort Amortissement faible

Amortissement critique

On peut remarquer que bien que la forme analytique des reponses change bru-
talement pour < 0, = 0 et > 0, le graphique, lui, presente une evolution
beaucoup plus continue. 2

Exercice 5.24 [Inegalites de Young]


Si f Lp , si g Lq et sil existe r 1 tel que
1 1 1
+ =1+ ,
p q r
alors
a) f g est defini pp,
b) f g Lr ,
c) kf gkr kf kp kgkq .

Solution: Il suffit de constater que


p q p q
|f (x y)g(y)| = (|f (x y)| |g(y)| )1/r (|f (x y)| )1/p1/r (|g(y)| )1/q1/r

puis dappliquer la generalisation de linegalite de Holder etablie en (4.14) aux trois


facteurs du second membre. Cela montre que |f (x y)g(y)| est integrable en y
106 Chapitre 5.

pour presque tout x et que


p q p 1/p1/r q 1/q1/r
|(f g)x | (|f | |g| )1/r
x k |f | k1 k |g| k1 .
On en tire que
r p q rp rq
|(f g)| |f | |g| kf kp kgkq .
r
Ainsi f g L et
r p q rp rq
kf gkr kf kp kgkq kf kp kgkq ,
do`
u la conclusion. 2

Exercice 5.25 Completer lexercice precedent en montrant que si


f Lp , si g Lq et si
1 1
+ =1
p q
alors
a) f g est defini partout,
b) f g est uniformement continu,
c) kf gk kf kp kgkq .

Solution: Linegalite de Holder montre que f (x y)g(y) est integrable pour tout
x et que Z

f (x y)g(y)dy kf k kgk .
p q

On en deduit que f g est defini partout et que


kf gk kf kp kgkq .
De plus, il est clair que
Z
(f g)x+h (f g)x = [f (x + hy) f (x)]g(y)dy.

Donc, vu ce qui prec`ede,

|(f g)x+h (f g)x | [(f ( + h) f ()) g]x


kf (x + h) f (x)kp kgkq ,
u il resulte que f g est uniformement continu.
do` 2
Chapitre 6

Transformation de Fourier
dans L1

Exercice 6.1 Demontrer que, dans L1 (IRn ), 0 est le seul element tel
que f f = f .
Solution: Si f L1 (IRn ) verifie

f f =f

alors, par transformation de Fourier, on obtient

Fx+ f (1 Fx+ f ) = 0 x IRn .

On en deduit que IRn = F1 F2 o`


u

F1 = {x : Fx+ f = 0} F2 = {x : Fx+ f = 1}.

Comme ces fermes sont disjoints et que IRn est connexe, F1 = IRn ou F2 = IRn .
Mais par le theor`eme de Riemann-Lebesgue,

lim Fx+ f = 0
x

donc on ne peut avoir F2 = IRn , ce qui permet de conclure. 2

107
108 Chapitre 6.

Exercice 6.2 (Transformees de Fourier dans L1 (IR).) Si k > 0,


etablir que
1 k|y|
a) Fy ( ) = e ,
x2 + k 2 k
2k
b) Fy (ek|x| ) = ,
y2 + k2
y2
r
2
c) Fy (ekx ) = e 4k ,
k
y !2
1 sin( 2k )
d) Fy ((1 k |x|)[1/k,1/k] (x)) = y .
k ( 2k )

(Suggestion: Etablir (b) puis (a) par le theor`eme de Fourier. Pour (c), voir le calcul
figurant dans la demonstration du theor`eme de Fourier. Calculer (d) en separant
lintegrale selon le signe de x et terminer en integrant par parties. )

Exercice 6.3 Soient f L1 ([0, +[) et a > 0. Montrer que


Z + Z +
af (x)
c
Fyx f (y) eax dx = dx
0 0 x 2 + a2
Z + Z +
xf (x)
s
Fyx f (y) eax dx = dx
0 0 x 2 + a2
Z + Z +
1
r
2 2
c
Fyx f (y) eax dx = f (x) ex /(4a) dx
0 2 a 0

Solution: Il suffit dutiliser le theor`eme de transfert en se rappelant que


a
c
Fxy eax =
a2 + y 2
y
s
Fxy eax =
a2 + y 2
r
2 1 y2 /(4a)
c
Fxy eax = e .
2 a
2
Transformation de Fourier dans L1 109

Exercice 6.4 Pour tout > 0, on pose



R (x) = .
(x2 + 2 )
Montrer que, pour tous a, b > 0, on a
Ra Rb = Ra+b .

Solution: On a

Ftx et = 2 .
x2 + 2
D`es lors, le theor`eme de Fourier donne

Fx (Ra Rb ) = Fx Ra Fx Rb = e(a+b)|x|

pour tout x IR, donc aussi


1 (a+b)|y|
(Ra Rb )(x) = F e = Ra+b (x)
2 yx
pour tout x IR. 2

Exercice 6.5 Montrer que lequation


f X =g
admet une et une seule solution X L1 (IRn ) si
a) f, g L1 (IRn ),
b) |F + f | > 0,
c) Supp(F + g) compact.

Solution: Il est clair que si X est une solution L1 de lequation etudiee,

F + f F + X = F + g.

Ainsi
F + X = F + g/F + f
et comme Supp(F + g) est compact,

X = (2)n F (F + g/F + f ).
110 Chapitre 6.

Lunicite de la solution est donc assuree et il reste `a etablir son existence au sein de
L1 (IRn ).
Supposons dabord que F+0 f = 1 et que Supp(F + g) B(0 , ). Notons une
fonction de classe C `a valeurs dans [0, 1] telle que

(x) = 1 si x B(0, 1)
(x) = 0 si x / B(0, 2)
et posons  (x) = (x/). Remarquons que lon a
(F+ f F+0 f ) ( 0 ) = F+ h
o`
u
(2)n h = f F  ( 0 ) (F0 f )F  ( 0 ).
Un calcul simple montre que
Z

n
Fx 1 du.

(2) kh k1 |f (u)| Fxu

Le theor`eme de Lebesgue permet den deduire que lim0 kh k1 = 0. Fixonx  > 0
de sorte que kh k1 < 1. Par construction de h , il est clair que les solutions L1 de
lequation
f X =g
sont les solutions L1 de lequation
X + X h = g
car on a |1 + F + h | > 0 et 1 + F+ h = F+ f si B(0 , ). Lexistence dune
solution vient alors de ce que cette derni`ere equation admet une solution L1 lorsque
kh k < 1 (cf. Ex. 5.13).
On peut resumer ce resultat en affirmant que pour tout 0 il existe 0 > 0 tel
que lequation
f X =g
admet une solution L1 (IRn ) si Supp (F + g) B(0 , 0 ) et si F+0 f = 1.
Par linearite, on se defait aisement de la restriction sur F+0 f .
Pour conclure, il suffit alors de considerer une partition (i )iI de classe D
localement finie de lunite subordonnee au recouvrement {B(0 , 0 } : 0 IRn }, de
construire les solution Xi des equations
f Xi = F i g
pour chaque i I et de constater que
X
X= Xi
iI
Transformation de Fourier dans L1 111

est une solution de classe L1 (IRn ) de

f X =g

puisque
{i I : Xi 6= 0} {i I : i F + g 6= 0}
et que ce dernier ensemble est fini. 2

Exercice 6.6 [Theor`eme de N. Wiener]


Soit f0 L1 tel que Fy f0 6= 0 pour tout y. Sil existe b L et
A CI tels que Z
lim (f0 b)(x) = A f0 (t)dt,
x

alors on a Z
lim (f b)(x) = A f (t)dt
x

pour toute fonction integrable f .


R
(Suggestion: Comme on a (f b)(x)A f (t)dt = (f (bA))(x), il suffit detablir
le resultat pour A = 0.
Posons L := {f L1 : limx+ (f b)(x) = 0} et demontrons que cet ensemble
concide avec L1 .
Pour cela, remarquons dabord que L jouit des proprietes suivantes :
a) L est un sous-espace lineaire de L1 ;
b) L est ferme dans L1 ;
c) si f est un element de L, alors la fonction F f appartient `a L pour toute
fonction integrable F .
Cela etant, soit K une fonction integrable dont le support de la transformee de
Fourier est compact (par exemple K = la transformee de Fourier dun element de

D (IRn )). Pour tout m IN, posons gm := mn K(mx). Comme Fy gm = Fy/m K,
le support de la transformee de Fourier de gm est aussi compact. Il sensuit quil
existe Xm L1 tel que f0 Xm = gm et par consequent (vu c)) gm L et gm F L
pour tout m et toute fonction integrable F .
Fixons `a present un element F de L1 et demontrons que F L. Pour tout m,
la fonction fm := gm F appartient ` a L. De plus, la suite fm converge dans L1 vers
la fonction (F0 K)F . Il sensuit que (F0 K)F est un element de L et par suite F est
aussi un element de L si lon a pris soin au depart de choisir K tel que F0 K 6= 0.
NB: Lhypoth`ese Fy f0 6= 0 pour tout y est indispensable pour que ce resultat
soit valable. De fait, pour toute fonction integrable f et tout t IRn , on a

(eiht,i f )(x) = eiht,xi Ft f.


112 Chapitre 6.

D`es lors si Ft f0 = 0, on a limx+ (b f0 )(x) = 0 avec b() := eiht,i . Mais si lon


2
pose f (x) := exp(|x| ), la fonction b f ne converge pas vers 0 quand x tend vers
linfini. )

Exercice 6.7 Rappelons quun ferme est regulier sil est ladherence
de son interieur. On demande de montrer que la regularite est une
condition necessaire et suffisante pour quun ferme de IRn soit le support
de la transformee de Fourier dune fonction integrable.
Solution: Si f L1 (IRn ), dans tout voisinage U dun point x Supp F f , il
existe un point y tel que Fy f 6= 0. Comme F f est une fonction continue, ce
point poss`ede un voisinage o`u F f ne sannule pas et est par consequent interieur
a Supp F f . Le point de depart, x, est donc adherent `a (Supp F f )0 . On en
`

deduit que le ferme Supp F f est regulier.



Si F est un ferme regulier, posons =F . Si = , F = et F = Supp F 0,
u la conclusion. Si 6= , il existe une suite (Ik )kIN dintervalles compacts de
do`
qui le recouvre. Pour tout k IN, fixons une fonction positive k D () egale
a 1 sur Ik . Posons
`
1
fk = 2k F k 1 F k

de sorte que
1
kfk k1 = 2k , F fk = (2)n 2k F k 1 k

Remarquons que la serie des fk est convergente dans L1 (IRn ) et posons


+
X
f= fk .
k=1

Il resulte de cette definition que dans L (IRn ), on a


+
X
F f = F fk .
k=1

Vu la definition de fk , il est clair que



Fx f > 0 si x F
.
Fx f = 0 si x
/ F

Cela montre que Supp Fx f = F = F , do`


u la conclusion. 2
Transformation de Fourier dans L1 113

Exercice 6.8 Demontrer que la transformee de Fourier dune fonc-


tion radiale integrable est une fonction radiale.
Solution: Soit F une telle fonction et soient x, y des points de IRn de meme module.
Si U est une matrice orthogonale telle que U y = x, alors on a
Z Z
eihy,U ti F (U

Fx F = FUy F = eihU y,ti F (t)dt = t)dt.
IRn IRn

t, on obtient alors
Par le changement de variables lineaire t0 = U

Fx F = Fy F.

Exercice 6.9 [Formules de S. Bochner]


Dans IRn , on a
Z +
Fy F = f (r)rn1 Vn (r |y|)dr,
0

u f est la fonction telle que F (x) = f (|x|)x IRn , o`


o` u pour r 0 on
a
V1 (r) = 2 cos r ,
et o`
u
4 (n1)/2 Z /2
Vn (r) = cos(r cos ) sinn2 d ( si n 2).
((n 1)/2) 0

En particulier, on a dans IR2 :


Z /2
V2 (r) = 4 cos(r cos )d;
0

et dans IR3 :
V3 (r) = 4 sin r/r.

(Suggestion: Utiliser lexercice precedent. )


114 Chapitre 6.

Exercice 6.10 [Transformee de Fourier dune fonction radiale]


Soit k > 0. Dans IR, IR2 , IR3 , calculer Fxy

ek|x| .
Solution: Appliquer les formules de Bochner. Traitons le cas de IR3 . Il vient :

4 + kr
Z
k|x|
Fxy e = re sin(r |y|)dr
|y| 0
Z + 
4 kr ir|y|
= = re e dr
|y|
" 0 + Z + (k+i|y|)r #
4 e(k+i|y|)r e
= = r dr .
|y| k + i |y| 0 0 k + i |y|

Une integration par variation de la primitive conduit alors `a


" + #
k|x| 4 e(k+i|y|)r
Fxy e = =
|y| (k + i |y|)2 0
" #
4 (k i |y|)2
= =
|y| (k 2 + |y|2 )2
4 2k |y|
=
|y| (k 2 + |y|2 )2
8k
= 2 .
(k + |y| )2
2

Exercice 6.11 Montrer que si a > 0,


2 sin ax
F (]a,a[ ) = .
x

Exercice 6.12 Pour tout m IN, on a


Z /2
Im = sin(2m + 1)x/ sin x dx = /2.
0

En deduire que Z +
sin x
dx = /2.
0 x
Transformation de Fourier dans L1 115

Solution: De fait, pour tout m IN0 et tout x ]0, /2[, on a


m
X
Fm (x) = e2ikx = (eix(2m+1) eix(2m+1) )/(eix eix ) = sin(2m + 1)x/ sin x
k=m

(somme de termes dune progression geometrique de raison e2ix ). D`es lors, on


obtient
Z /2 m
Z /2 X m
X Z /2
Im = Fm (x)dx = e2ikx dx = /2 + 2 cos 2kx dx = /2.
0 0 k=m k=1 0

Pour en deduire la valeur de lintegrale flechee, procedons en deux etapes.


a) Posons
Z /2  
sin(2m + 1)x sin(2m + 1)x
Jm = dx.
0 sin x x

On a limm+ Jm = 0.
De fait, posons f (x) := (1/ sin x 1/x)]0,/2[ (x). Cette fonction est integrable
R /2
et on a =F + f = 0 (1/ sin x 1/x) sin xy dx. D`es lors, le theor`eme de Riemann-
Lebesgue entrane limm+ Jm = 0.
b) Cela etant, de (a) et de la valeur constante de Im , on deduit que
Z /2
sin(2m + 1)x
/2 = lim dx
m 0 x
Z (2m+1)/2
sin x
= lim dx
m 0 x
Z +
sin x
= dx.
0 x
2

Exercice 6.13 Soient a, b > 0. Calculer


Z +
sin(ax) sin(bx) Z + sin(ax) cos(bx)
dx 2
, dx
0 x 0 x
et Z +
sin(ax) sin(bx)
dx (a 6= b).
0 x
116 Chapitre 6.

Solution: 1er cas. On a successivement


Z + Z
sin(ax) sin(bx) 1 sin(ax) sin(bx)
2
= dx
0 x 2 x2
ZIR
1
= dx Fx [a,a] Fx [b,b]
8 IR
Z

= dx [a,a] (x) [b,b] (x)
4 IR

= inf{a, b}.
2
2`eme cas. On a
2 sin(ax) cos(bx) = sin((a + b)x) + sin((a b)x).
D`es lors
Z + /2 si a > b
sin(ax) cos(bx)
= 0 si a < b
0 x
/4 si a = b.

3 `eme cas. Si B > A > 0 et si > 0, on a


Z Z Z B
cos(Ax) cos(Bx)
dx = dx dy sin(xy)
0 x 0 A
Z B
1 cos(y)
= dy
A y
Z B
B cos(y)
= ln( ) dy .
A A y
Comme 1/y est integrable sur [A, B], le theor`eme de Riemann-Lebesgue donne
Z B
cos(y) + 1
lim dy = lim RFy [A,B] (y) = 0.
+ A y + y
Do`
u, pour tous reels non nuls A, B
Z +
cos(Ax) cos(Bx) |B|
dx = ln( ).
0 x |A|
Il sensuit que pour tous a, b > 0, a 6= b, on a
Z +
1 + cos((a + b)x) cos((a b)x)
Z
sin(ax) sin(bx)
dx = dx
0 x 2 0 x
1 a+b
= ln( ).
2 |a b|
2
Transformation de Fourier dans L1 117

Z 1
Exercice 6.14 Calculer I = [sin x + sin(1/x)]/x dx.
0
R1 R1
(Suggestion: Soit rm 0+ . On a dune part rm sinx x dx 0 sin x
x dx. Dautre
part, par le changement de variables y = x1 , on a
Z 1 Z +
sin(1/x) sin x
dx dx.
rm x 1 x

Il sensuit que I existe et vaut /2. )


Z +
1
h i  
2
Exercice 6.15 Montrer que sin x/ x(1 + x ) dx = 1 .
0 2 e
(Suggestion: Calculer la transformee de Fourier en cosinus des fonctions ]0,1[ et
ex et appliquer la formule de Parseval. )

Exercice 6.16 De la formule de Parseval, deduire que


Z +
dx 1
= ; a, b > 0.
0 (x2 + a2 )(x2 + b2 ) 2ab a + b

Solution: On a
2k
F ek|x| = si k > 0.
k2 + y2
Ainsi,
1 ea|y|
= F yx ( )
x2 + a2 2a
et
1 eb|y|
= Fyx ( ).
x2 +b 2 2b
Comme ea|x| /2a L1 et que 1/(x2 + a2 ) L1 , la formule de Parseval montre que
Z + Z + a|y| b|y|
dx e e
2 + a2 )(x2 + b2 )
= 2 dy
(x 2a 2b
Z +
2
= 2 e(a+b)y dy
4ab 0
+
4 e(a+b)y
=
4ab a + b 0

=
ab(a + b)
118 Chapitre 6.

do`
u la conclusion. 2

Exercice 6.17 [Integrales de Fresnel]


Z +
cos x
r
dx = ; > 0.
0 x 2

Solution: Si x > 0, lintegrale de Poisson montre que


Z + r
2 1
ext dt =
0 2 x

ainsi Z +
1 2 2
= ext dt.
x 0

Il en resulte que
Z m Z m Z +
cos x 2 2
dx = cos x( ext dt)dx.
0 x 0 0

D`es lors,
Z m
cos x
dx
2 0 x
Z m Z + 
2
= < dx dt e(it )x
0 0
Z + Z m 
(it2 )x
= < dt dx e
0 0 + Z
Z + (it2 )x +
e 2
= < dt e(it )x dx

i t2

0 m
0
Z +  2 Z + 
t t2 x
= dt 4 cos xe dx
0 t + 2 m
Z + Z + Z +
t2 2
= 4 2
dt dt et x cos x dx.
0 t + 0 m

2
Pour t ]0, +[ fixe, et x 0 sur ]0, +[ donc
Z +
t2 x
2 2
cos x et m .

dx e

m
Transformation de Fourier dans L1 119

Ainsi
Z + Z +
2
et x


dt cos x dx
0 m
Z +
2 2
dt et m
0
r
21
0 , m +.
2 m
On en deduit que
Z + Z +
cos x t2
dx = dt = I.
2 0 x 0 t + 2
4

Posons
2
x= ,
t4 + 2
on a xt4 + x2 = 2 do`
u
t4 = 2 (1 x)x1
et 1 1
t= (1 x) 4 x 4
do`
u
1 1 3 1
Dx t = ( 1) 4 2
4 x x
3 5
= (1 x) 4 x 4 .
4
Ainsi
Z 1

1
21 2 3 5
I = (1 x) x 2 x (1 x) 4 x 4 dx
0 4
Z 1
1 1 3
= (1 x) 4 x 4 dx
4 0
1 3 1
= B( , )
4 4 4

= .
2 2
La derni`ere egalite provenant de la formule dEuler. Finalement, on a
Z + r
cos x 2
dx = = .
0 x 2 2 2
2
120 Chapitre 6.

Exercice 6.18 i) Calculer


Z +
sin4 x
dx.
0 x2
ii) Soient a, > 0. Calculer
Z + !2 Z + !2
sin(ax) sin(ax)
sin(x) dx et cos(x) dx.
0 x 0 x

Solution: i) En integrant par parties, on obtient


 +
sin4 x 4 sin3 x cos x
 Z
I= + dx.
x 0 0 x

Comme on a
1 1
sin3 x cos x = sin 2x sin 4x
4 8
Z +
sin x
on obtient I = /4 car dx = .
0 x 2
ii) Cas du sinus
On a 1/x2 = Dx (1/x); une integration par parties donne alors
+ 2 +
sin2 (ax) cos(x) + a sin(x) sin(2ax)
Z  Z
sin(ax)
sin(x) dx = dx .
0 x 0 x

On a encore
1 cos(2ax)
sin2 (ax) cos(x) = cos(x)
2
= (1/2) cos(x) (1/4) (cos((2a + )x) + cos((2a )x))
1
= (cos(x) cos((2a + )x) + cos(x) cos((2a )x))
4
et

sin(x) sin(2ax) = (1/2) (cos((2a + )x) cos((2a )x)) .

En se rappelant que, si A, B > 0, on a


+
cos(Ax) cos(Bx)
Z
B
dx = ln( )
0 x A
Transformation de Fourier dans L1 121

on obtient, si 2a 6= ,
+  2  
| 2a| a | 2a|
Z
sin(ax) + 2a
sin(x) dx = ln + ln ln
0 x 4 2 2a +
1 ( + 2a)+2a |2a |2a
= ln .
4 2
Si = 2a, on a (la troisi`eme ligne etant obtenue par une integration par parties)
+  2 +
cos(ax) sin(ax)(1 cos(2ax))
Z Z
sin(ax)
sin(x) dx = dx
0 x 0 x2
+
(1/2) sin(2ax) (1/4) sin(4ax)
Z
= dx
0 x2
Z +
cos(2ax) cos(4ax)
= dx
0 x
4a
= ln
2a
= ln 2.

Cas du cosinus
Vu la parite de lintegrand, on a
Z +  2  2
sin(ax) 1 sin(ax)
dx cos(x) = Fx .
0 x 2 x

Or on a  2
sin(ax) a + 
= F (1 |y|/(2a))[2a,2a] (y) .
x 2 yx
Comme la fonction F (y) := (1|y|/(2a))[2a,2a] (y) est continue sur IR, le theor`eme
de Fourier donne
Z +  2
sin(ax) a
dx cos(x) = F F + F (y)
0 x 4 x yx
a
= F ()
2 a
= 2 (1 /(2a)) si 2a
0 sinon.

2
122 Chapitre 6.

Exercice 6.19 Soient a, b IR. Calculer


Z +
cos(ax) cos(bx)
dx.
0 x2

Solution: Comme la fonction (cos(ax) cos(bx))/x2 est continue sur ]0, +[,
admet une limite finie en 0 et est de module majore par 2x2 , elle est integrable
sur ]0, +[.
En utilisant le fait que x2 = Dx x1 , une integration par parties donne
Z + Z +
cos(ax) cos(bx) b sin(bx) a sin(ax)
dx 2
= dx
0 x 0 x

= (|b| |a|) .
2
2

Exercice 6.20 Soient a, b > 0. Montrer que


Z +
cos(ax) ebx b
dx = ln( ).
0 x a
bx
Solution: La fonction f (x) = cos(ax)e x est continue sur ]0, +[, admet une
limite finie en 0; la fonction ebx /x est integrable en + et cos(ax)/x admet une
integrale flechee en +. Au total, la question posee a un sens.
Cela etant, en transformant 1/x en une integrale puis en permutant lordre
dintegration (la fonction | cos(ax) ebx |exy est en effet integrable en x, y sur
]0, +[ ]0, +[ comme on le voit en integrant par rapport `a y puis par rapport
a x), on a
`
Z
cos(ax) ebx
I() =
0 x
Z Z +
= cos(ax) ebx dy exy
0 0
Z +
e(b+y)
 
y 1 y a sin(a) y cos(a)
= dy + + e .
0 y 2 + a2 b+y b+y y 2 + a2
La somme des deux premiers termes de lintegrand constitue une fonction integrable
sur ]0, +[ dintegrale egale `a ln(b/a) (integration par variation de primitive).
Lintegrale de la somme des deux autres termes converge vers 0 quand +
par application du theor`eme de Lebesgue. 2
Transformation de Fourier dans L1 123

Exercice 6.21 Si f L1loc (IR) (resp.C0 (IR)) est une fonction perio-
dique de periode 1, montrer que
1 m1 k Z 1
( f (y)ei2jy dy)ei2jx
X X
Sm (x) =
m k=0 j=k 0

converge dans L1loc (IR) (resp. C0 (IR)) vers f .


Solution: On a successivement :
Z 1
( f (y)ei2my dy)ei2mx
0
Z 1
= ei2m(xy) f (y)dy
0
Z x
= ei2mz f (x z)dz (chgt.var. z = x y)
x1
Z 1/2
= ei2mz f (x z)dz (periodicite).
1/2

Il en resulte que
Z 1/2 m1 k
1 X X i2jz
Sm (x) = ( e )f (x z)dz.
1/2 m
k=0 j=k

Or
m1 k
1 X X i2jz 1 sin(mz) 2
e = ( )
m m sin z
k=0 j=k

donc
Sm = m f
si lon pose
m1 k
1 X X i2jz 1 sin(mz) 2
m (z) = e [ 1 , 1 ] (z) = ( ) [ 1 , 1 ] (z).
m 2 2 m sin z 2 2
k=0 j=k

Ainsi, dune part, Z


m (z)dz = 1

et dautre part,
Z Z
1 sin(mz) 2
m (z)dz = ( ) dz.
|z|>R 1
2 >|z|>R
m sin z
124 Chapitre 6.

Cette relation montre que


Z Z
1 sin(mz) 2 z 2
m (z)dz = ( ) ( ) dz
|z|>R 1
2 >|z|>R
m z sin z
Z
1 sin(mz) 2
C ( ) dz
1
2 >|z|>R
m z
Z
sin u 2
( ) dz.
1
2 m>|u|>Rm
u
Lintegrabilite de
sin u 2
( )
u
montre alors que Z
m (z)dz 0
|z|>R

ce qui ach`eve de montrer que m est une unite approchee de convolution dans L1loc
et dans C0 . La conclusion est alors immediate. 2

Exercice 6.22 [Formule de S.D. Poisson]


Montrer que
+ +

X X
f (m) = F2m f
m= m=
si
f C0 (IR) L1 (IR),
P+
m= f (x + m) converge absolument et uniformement sur [0, 1],
P+
m= F2m f converge absolument.
P+
Solution: Vu les hypoth`eses, il est clair que F (x) = m= f (x + m) est une
fonction periodique de periode 1 continue.
Lexercice precedent montre alors que
m1 k Z 1
1 X X
F (x) = lim ( F (y)ei2jy dy)ei2jx
m+ m 0
k=0 j=k

pour tout x. Ainsi


m1 k Z
1 X X 1
F (0) = lim F (y)ei2jy dy.
m+ m 0
k=0 j=k
Transformation de Fourier dans L1 125

Or il est clair que


Z 1 Z 1 l
X
i2jy
F (y)e dy = lim ( f (y + r))ei2jy dy
0 l+ 0 r=l

donc, on a successivement, en tenant compte de lintegrabilite de f ,


Z 1 l Z
X 1+r
F (y)ei2jy dy = lim f (y)ei2jy dy
0 l+ r
r=l
Z l+1
= lim f (y)ei2jy dy
l+ l

= F2j f.

La conclusion resulte alors du theor`eme de Cesaro et de la derni`ere hypoth`ese. 2

Exercice 6.23 Soient a > 0 et b IR. Calculer la transformee de


Fourier de la fonction
2
f (t) = teat sin(bt).

Exercice 6.24 Soit une fonction de D(IR) a` valeurs entre 0 et 1 et



egale a` 1 au voisinage de 0. Montrer que Fxt |x|(x)estint
egrablesurIR.

Exercice 6.25 Soit une fonction de D(IRn ) non identiquement


nulle. Montrer que la transformee de Fourier dune telle fonction nest
pas un element de D(IRn ).

Exercice 6.26 [Equation de la Chaleur]


Considerons une barre mince infinie de metal de conductivite con-
stante et de chaleur specifique volumique constante C.
126 Chapitre 6.

Si U (x, t) designe la temperature en x au temps t, on a

U 2U
=
t C 2x
En effet, si B designe la portion de la barre comprise entre x et x + x,
la quantite de chaleur recue entre t et t + t est egale a`
U U
t( (x + x, t) (x, t)).
x x
Cette quantite de chaleur doit etre egale a`
(U (x, t + t) U (x, t))Cx.
On a donc
U U C
( (x + x, t) (x, t)) = (U (x, t + t) U (x, t))
x x x t
do`
u par passage `a la limite pour x, t tendant vers 0, on voit que
2U U
2
=C
x t
comme annonce.
On demande de resoudre cette equation par transformation de Fou-
rier en x, si lon impose la condition initiale (o`
u la convergence est dans
1
L (IR))
lim U (x, t) = f (x)
t0
et des conditions appropriees `a U .
Solution:
a) ANALYSE Nous allons chercher une solution U telle que les fonctions
2U U U
U (x, t), (x, t), (x, t), (x, t) (6.1)
2x x t
soient continues en (x, t) dans IR ]0, +[ et integrables en x sur IR pour tout t
fixe dans ]0, +[. Nous supposerons egalement que pour tout intervalle compact
[t0 , t1 ] de ]0, +[, il existe F (x) integrable sur IR telle que

U
t [t0 , t1 ]
(x, t) F (x) (6.2)
t
Transformation de Fourier dans L1 127

De plus, nous imposerons `


a U la condition initiale

lim U (x, t) = f (x) (6.3)


t0

u la limite est a` considerer dans lespace L1 (IR).


o`
(, t) =
Une telle solution admet pour t fixe une transformee de Fourier U
+
F U (x, t). Comme on a dune part

U 2U
(x, t) = (x, t) (6.4)
t C 2x
U 2U
et comme x (x, t) et 2 x (x, t) sont integrables en x, pour t fixe, il vient :

U
F+ ( (x, t)) = (i)2 F+ U (x, t). (6.5)
t C
Dautre part, Z
(, t) = F + U (x, t) =
U eix U (x, t)dx

(x, t) est
et le theor`eme de derivation des integrales parametriques montre que U
continument derivable par rapport ` a t sur ]0, +[ pour x fixe et que


U U
(, t) = F+ ( (x, t)),
t t
lequation 6.5 devient alors


U
(, t) = 2 U (, t).
t C
La theorie des equations differentielles lineaires `a coefficients constants montre
alors que pour tout fixe, il existe une constante C() telle que

(, t) = C()e C 2 t .
U (6.6)

Comme la transformation de Fourier est un operateur lineaire continu de L1 (IR)


dans L (IR), la condition initiale 6.3 montre que
(, t) = F + f (x),
lim U
t0+

(, t) et F + f sont con-
a considerer dans L . Mais les fonctions U
la limite etant `
tinues sur IR donc
U (, t) F + f
IR
128 Chapitre 6.

(, t) C() si t 0+ donc C() = F + f .


si t 0+ . Or, pour tout fixe, U
Lequation 6.6 montre alors que
(, t) = (F + f )e C 2 t .
U

La fonction F+ f est continue et bornee car f L1 (IR) donc


2
(F+ f )e C t
L1 (IR)
pour tout t fixe. Le theor`eme de Fourier montre alors que
h 2
i
(2)U (y, t) = Fy (F+ f )e C t .

De cette equation, on deduit que


Z Z
2
(2)U (y, t) = eiy ( eix f (x)dx)e C t d
Z Z
2
(2)U (y, t) = d dxf (x)ei(yx) e C t . (6.7)

Or, on dispose de la majoration


2
2
f (x)ei(yx) e C t |f (x)| e C t

o`
u le second membre est integrable en (x, ). D`es lors, on peut permuter lordre
dintegration dans 6.7 (Fubini), ce qui donne la relation :
"Z 2
#
Z C t
i(yx) e
U (y, t) = f (x) e d dx
2
" 2
#
C t
e
= f F ( ) (6.8)
2
y

On sait par lexercice (6.2) que


r
2 y2
Fy (ekx ) = e 4k .
k
Il en resulte que s
2
e C t 1 C Cx2
Fx ( )= e 4t .
2 2 t
Nous avons vu que la gaussienne decart type est la fonction
1 x2
G (x) = e 22 ,
2
Transformation de Fourier dans L1 129

il en resulte que
2
e C t
Fx ( ) = G 2t (x);
2 C

ainsi, lequation 6.8 devient

U (x, t) = (f G 2t )x ,
C

ce qui ach`eve lanalyse de notre probl`eme.


b) SYNTHESE La fonction G 2t (x) est de classe C pour (x, t) IR
C
]0, +[; de plus :
s
1 C h 1 Cx2
i
Dt G 2t (x) = Dt (t 2 e 4t )
C 2 2
s 
2 2

1 C 1 3 Cx 2
12 Cx Cx 2
= t e 2 4t +t e 4t

2 2 2 4t2
s
Cx2 C 4t
 
1 C 1 x2
= + 2
e
2 2t 2t 4t
Cx2 2t
= G 2t (x)
4t2 C

Cx
Dx G 2t (x) = G 2t (x)
C 2t C

C Cx Cx
Dx2 G 2t (x) = G 2t (x) ( )G 2t (x)
C 2t C 2t 2t C

C(Cx2 2t)
= G 2t (x).
4 2 t2 C

De ces relations et du theor`eme de derivation des integrales parametriques, il resulte


que pour tout f L1 (IR), la fonction

U (x, t) = (f G 2t )x
C

verifie les hypoth`eses (6.1) et (6.2) et que

C C 2 2t
Dx2 U (x, t) = (f ( G 2t ()))x
4t2 C

C 2 2t
Dt U (x, t) = (f ( G 2t ()))x .
4t2 C
130 Chapitre 6.

La fonction U (x, t) est donc bien une solution de lequation de la chaleur. En ce


qui concerne la condition initiale (6.3), remarquer dabord que pour tout R > 0,
Z
lim G (x)dx = 0.
0 |x|R

En effet, Z Z
1 x2
G (x)dx = e 22 dx
|x|R |x|R 2
et en posant x = y, il vient :
Z Z
1 y2
G (x)dx = e 2 dy
|x|R |y| R

2
et la conclusion resulte directement du theor`eme de Lebesgue applique aux suites
1 y2
e 2 {y:|y| R }
2 m

u m 0+ .
o`
Il suffit dappliquer, `a present, le theor`eme sur les unites approchees de convo-
lution (Cours, p. II.26) aux suites Gm , m 0+ pour montrer que
f G 1 f
L
+
si 0 . Par consequent,
U (x, t) 1 f (x)
L
si t 0+ et la condition limite (6.3) est satisfaite.
On peut sassurer que pour tous , 0, il existe un polynome P, (x, t) tel
que
P, (x, t)
Dx Dt G 2t (x) = G 2t (x).
C t+2 C

Pour tout compact K de ]0, +[, il existe donc une constante CK telle que


sup Dx Dt G 2t Ck .
(x,t)IRK C

Cela montre que la solution


U (x, t) = (f G 2t )x
C

est en fait de classe C sur IR ]0, +[.


En guise de conclusion, donnons le graphe de la fonction
(t, x) 7 G 2t (x),
C

solution elementaire de lequation de la chaleur.


Transformation de Fourier dans L1 131

2
132 Chapitre 6.
Chapitre 7

Transformation de Laplace
dans L1

Exercice 7.1 Etablir les formules suivantes (transformees unilatera-


les):
(+1)
a) Lp (x ) = p+1
; si > 1, p > 0
m
b) Lp ( xm! ex ) = 1
(p)m+1
; si IR, p > , m IN
ax
c) Lp ( ex ) = 1
p+a
; si a > 0, p > 0
a/x q
2 ap
d) Lp ( e x ) = p
e ; si a > 0, p > 0
a2
e) Lp ( 1x cos a x) = p e 4p ; si a > 0, p > 0.
q

Solution: a) On a
Z +

Lp (x ) = epx x dx.
0
Posons px = u, il vient
Z +
u du

Lp (x ) = eu ( )
0 p p
Z +
= p1 eu u du
0

133
134 Chapitre 7.

( + 1)
= .
p+1
b) Utiliser a) et les proprietes de la transformee de Laplace.
c) On a
Z + ax
eax e
I = Lp ( ) = epx dx.
x 0 x
Posons x = y 2 . Il vient
+ 2
eay py2
Z
I = p e 2ydy
0 y 2
Z +
2 2
= e(a+p)y dy
0
r
2 1
= = par Poisson.
2 a+p p+a
d) Par definition, on a
a + a
e x x
Z
px e
Lp ( ) = e dx.
x 0 x
Posons x = y 2 . Il vient
Z +
2 2 2y
= epy ea/y dy.
0 y
Z + r
2
+a/y 2 ) 1 2pa
= 2 e(py dy = 2 e ,
0 2 p
car on dispose de la formule
Z +
2ab
r
2
+b/x2 ) 1
e(ax dx = e .
0 2 a
e) On sait que
+
Z r
2 1 b2
eax cos bx dx = e 4a
0 2 a
si a, b > 0. Il en resulte que si
1
I = Lp ( cos a x),
x
on a Z +
1
I= epx cos a x dx.
0 x
Transformation de Laplace dans L1 135

Posons x = y 2 , il vient
Z + r
py 2 a2 /4p
I=2 e cos ay dy = e .
0 p
2

Exercice 7.2 a) Soit f L1 (]0, +[). Montrer que


Z + Z +
Lp (xf (x)) dp = f (x) dx.
0 0

b) Soient f L1 (]0, +[) et p > 0. Montrer que


Z +
f (x)
Lp (Ly (f )) = dx.
0 p+x
Remarque : Les transformations de Laplace sont des transformations
unilaterales.
Solution: a) La fonction epx x|f (x)| etant integrable sur ]0, +[ ]0, +[ comme
on le voit en integrant dabord par rapport ` a p, la formule demandee resulte dune
simple permutation dintegrales.
b) Pour p > 0, considerons la fonction F (x, y) = f (x)epy exy sur ]0, +[
]0, +[. Comme |F (x, y)| |f (x)|epy et comme |f (x)| L1 (]0, +[), epy
L1 (]0, +[), la fontion F (x, y) est integrable sur ]0, +[ ]0, +[. Il sensuit que,
par permutation des integrales :
Z + Z + Z +
f (x)
Lp (Ly f ) = dx dy f (x)epy exy = dx .
0 0 0 p +x
2

Exercice 7.3 Calculer la transformee de Laplace unilaterale en p > 0


de la fonction f (x) = (cos(ax) cos(bx))/x (a, b IR).
Solution: Par exemple, en exprimant la difference des cosinus comme une integrale,
on obtient
Z + Z + Z b
cos(ax) cos(bx) px px
dx e = dx e dy sin(xy)
0 x 0 a
Z b Z +
= dy dx epx sin(xy)
a 0
136 Chapitre 7.

Z b
y
= dy
a + y2 p2
1 p2 + b2
= ln .
2 p2 + a2
Les calculs sont justifies par le fait que la fonction f (x, y) := epx sin(xy) est
integrable sur ]0, +[ I o` u I est lintervalle borne dextremites a et b car on
a |f (x, y)| epx et la fonction epx est integrable sur ]0, +[ I. 2

Exercice 7.4 Soit a > 0. Calculer les transformees de Laplace uni-


laterales en p > 0 de f (x) = | cos(ax)| et g(x) = | sin(ax)|.
Solution: Comme les fonctions (de x) | cos(ax)| et | sin(ax)| sont bornees sur IR et
/a-periodiques, on a
Z + Z /a
1
Ic := epx | cos(ax)| dx = dx epx | cos(ax)|
0 1 ep/a 0
et Z + Z /a
1
Is := epx | sin(ax)| dx = p/a
dx epx | sin(ax)|.
0 1 e 0
Cela etant, pour Ic , on a successivement
Z /(2a) Z /a !
1 px px
Ic = dx e cos(ax) dx e cos(ax)
1 ep/a 0 /(2a)

p + aep/(2a) pep/a + aep/(2a)


=
(1 ep/(2a) (p2 + a2 )
p 1
= 2 2
+ 2 2
.
p +a (p + a ) sinh(p/(2a))
Et pour Is , on a
Z /a
1
Is = dx epx sin(ax)
1 ep/a 0
a 1 + ep/a
=
p2 + a2 1 ep/a
a ep/(2a) + ep/(2a)
=
p2 + a2 ep/(2a) ep/(2a)
a p
= coth .
p2 + a2 2a
2
Transformation de Laplace dans L1 137

Exercice 7.5 Montrer que


sin x 1
Lp ( ) = arctan( ) , p > 0.
x p

Solution: La fonction sin x


x etant bornee pp, epx sinx x est integrable si p > 0 et
Z + Z + Z +
sin x
epx dx = dxepx sin x etx dt
0 x 0 0
Z + Z +
= dx dt(epx sin xetx ).
0 0

Il est clair que


epx |sin x| etx
est integrable en t pour presque tout x > 0 et que
Z +
|sin x|
dtepx |sin x| etx = epx
0 x
est integrable en x. Le theor`eme de Tonelli montre donc que

epx sin xetx

est integrable sur ]0, +[ ]0, +[ et le theor`eme de Fubini montre que


Z + Z +
sin x
Lp ( ) = dt sin xe(p+t)x dx
x 0 0
Z + Z + 
(p+ti)x
= dt= e dx
0 0
Z + " + #
e(p+ti)x
= dt=
0 (p + t i) 0
Z +
1
= 2+1
dt
0 (p + t)
+
= arctan(p + t)|0

= arctan p
2
1
= arctan( ).
p
Do`
u la conclusion. 2
138 Chapitre 7.

Exercice 7.6 Etablir les relations ci-dessous :


a2
Lp ( ch
(a x)
q
4p
a) x
) = p
e ; a IR, p > 0.
R x sin y 1
b) Lp ( 0 y
dy) = p
arctan( p1 ) ; p > 0.
R + cos y 1
c) Lp ( x y
dy) = 2p
ln(1 + p2 ) ; p > 0.
ax ebx pb
d) Lp ( e x
) = ln( pa ) ; p > a, p > b.
R + ey 1
e) Lp ( x dy) y
= p
ln(1 + p) ; p > 0.

Solution: a) Par le changement de variables x = y 2 , il vient


Z +
ch(a x) 2
I = Lp ( ) = epy 2ch(ay)dy
x 0
Z + h i
2 2
= eaypy + eaypy dy.
0

Or, on dispose des formules

a a2
py 2 ay = ( py )2
2 p 4p

a a2
py 2 + ay = ( py + )2 .
2 p 4p
Par changement de variables, on en tire que
Z + Z +
1 2 2 2
I = ea /4p (
et dt +
et dt).
p a/2 p a/2 p

Do`
u la conclusion par Poisson.
b) On sait par un exercice precedent que

sin x 1
Lp ( ) = arctan( ) ; p > 0.
x p
sin x
Or x est continu, donc
Z x
sin y
f (x) = dy
0 y
Transformation de Laplace dans L1 139

est de classe C1 L1 `
a derivee transformable par Laplace pour p > 0 et
Lp (Df ) = f (0) + pLp (f )
do`
u la conclusion.
c) Pour tout m IN, posons
Z + Z m
Im = dx epx dy cos y/y
0 x

et calculons cette integrale. On a


Z m Z m Z + Z x
px cos y px cos y
Im = dxe dy dxe dy .
0 x y m m y
Apr`es verification de lintegrabilite par rapport aux deux variables et permutation
de lordre dintegration, on obtient
Z m Z y Z + Z +
px cos y cos y
Im = dy dxe dy dxepx .
0 0 y m y y
Le calcul fournit alors legalite
Im = p1 Lm p1 Jm , (7.1)
o`
u on a pose
Z m Z +
cos y cos y
Lm = dy( )(1 epy ) et Jm = dyepy .
0 y m y
Une application directe du theor`eme de Lebesgue entrane Jm 0. Calculons alors
Lm . R +
En exprimant que y 1 = 0 eyt dt pour tout y > 0 et en permutant lordre
dintegration, on obtient
Z + Z m
Lm = dt< dy(e(it)y e(itp)y ),
0 0

ce qui, apr`es calcul, donne


Z +
dt21 (Dt ln(1 + t2 ) Dt ln 1 + (t + p)2 ) + L0m
 
Lm =
0

o`
u on a pose
Z +
L0m = dt[etm (1 + t2 )1 (sin m t cos m)
0
e(t+p)m (1 + (t + p)2 )1 (sin m (t + p) cos m)].
140 Chapitre 7.

Comme le module de lintegrand de L0m est majore par la fonction integrable fixe
1
et (1 + t2 )1 (1 + t) + e(t+p) 1 + (t + p)2

(1 + t + p),

le theor`eme de Lebesgue entrane que L0m converge vers 0 si m +. (Variante.


On a Z p
0
1 epy = ety p = dt yety .

0
D`es lors
Z m Z p
Lm = dy cos y dt ety
0 0
Z p Z m
= dt dy cos yety
0 0
Z p Z + Z p Z +
y(t+i)
= < dt dy e dt dy cos yeyt
0 0 0 m
Z p Z p Z +
t
= dt 2 dt dy cos yeyt
0 t +1 0 m

avec
Z p Z + Z p Z +
yt yt

dt dy cos ye dt dy cos ye


0 m 0 m
Z p
2 dtemt ( majoration integrale trigonom.)
0

u le majorant tend vers 0 si m +.) Par consequent, on obtient


o`

lim Lm = 21 ln(1 + p2 ).
m+

Finalement, en tenant compte de 7.1, on a

lim Im = (2p)1 ln(1 + p2 ).


m+

Pour conclure, il suffit maintenant detablir que


Z +
cos y
Lp ( dy) = lim Im
x y m

ou encore que lon peut appliquer le theor`eme de Lebesgue `a la suite


Z m
px cos y
Fm (x) = e dy.
x y
Transformation de Laplace dans L1 141

De fait, pour tout m, on a

px 1 cos y px m cos y
Z Z
|Fm (x)| e dy + e
dy

x y 1 y
px 1 cos y
Z
e dy + 2epx

x y

o`
u la deuxi`eme majoration est obtenue en utilisant linegalite des integrales trigono-
metriques.
Comme la fonction majorante est integrable sur ]0, +[, le theor`eme de Lebes-
gue peut sappliquer et on conclut.
d)
Z + ax
e ebx px
I= e dx.
0 x
Lintegrand est integrable si p > a, p > b. De plus, on a

xeax epx



ax bx x  (ap)x 

e e px

e
D a (
  e )= = (bp)x .
x
xebx epx
e
b


x
En appliquant le theor`eme de derivation des integrales parametriques, on obtient
+


e(ap)x
1
ap 0 pa
Z +  (ap)x 


e
D a  I = dx = = .
0 e(bp)x (bp)x +
1
e

b


bp

b p 0

Par primitivation, il vient

I = ln(p b) ln(p a) + C.

Or, si a = b, il est clair que I = 0 donc C = 0. Ainsi,

pb
I = ln( ).
pa

e)
+ +
e
Z Z
px
I= dxe d.
0 x
142 Chapitre 7.

Inversons lordre dintegration :


+
e
Z Z
I = d dxepx
0 0
+
e epx
Z
= d
0 p 0
+
ep 1
Z
= e d
0 p
1 e0 ep
= L1 ( )
p
et si lon tient compte de lexercice precedent, il vient :
1 1+p ln(1 + p)
I= ln = .
p 10 p
2

Exercice 7.7 Soit la constante dEuler


m
!
1
X
C = lim k ln(m) .
m
k=1

Montrer que
a) C = D(1) = L1 ln(x)
b) Lp ln(x) = p1 (ln(p) + C) pour p > 0
R + 1 x
c) C = 0 x (e (1 + x)1 ) dx.
(Les transformations de Laplace sont des transformations unilaterales.)
Solution: a) et b) voir livre de theorie pp 171 173.
(Pour rappel : si p > 0, il vient, en posant y = px,
Z + Z + y
e y
epx ln xdx = ln dy
0 0 p p
Z + Z + 
1
= ey ln ydy ln p ey dy
p 0 0
Z + 
1
= ey ln ydy ln p .
p 0
Or on a Z +
D(1) = et ln tdt = C
0
Transformation de Laplace dans L1 143

(voir cours).)
c) On sait que pour tous a, b > 0, on a
Z +
eat ebt b
dt = ln .
0 t a
D`es lors,
+ + +
et ext
Z Z Z
C = dx ex ln x = dx ex dt .
0 0 0 t
Une permutation des integrales donne alors
Z +
1 +
Z
dx et ex extx

C = dt
0 t 0
Z +  
1 t 1
= dt e .
0 t t+1
Justification pour la permutation : Tonelli-Fubini : la fonction

et ext
f (x, t) := ex
t
- est continue sur I = ]0, +[ ]0, +[
- est integrable en t sur ]0, +[ pour tout x > 0 et
Z +
dt |f (x, t)| = ex ln x]1,+[ (x) ex ln x]0,1] (x)
0
R +
- la fonction 0
dt |f (x, t)| est integrable sur ]0, +[. 2

Exercice 7.8 Trouver les transformees de Laplace unilaterales in-


verses de
2p 6p 10
, , .
(p + 3)2 p2 + 4p + 13 p(p2 + 2p + 5)

Solution: Pour p > 3, on a


2p
Lp 2e3x 6xe3x =

.
(p + 3)2
Pour p > 2, on a
6p
Lp 6e2x cos(3x) 4e2x sin(3x) =

.
p2 + 4p + 13
144 Chapitre 7.

Pour p > 0, on a
10
Lp 2 2ex cos(2x) ex sin(2x) =

.
p(p2 + 2p + 5)
2

Exercice 7.9 Resoudre par Laplace le syst`eme :


(
Du + v = 0
Dv u 2v = 0.

Solution: Par la formule donnant la transformee de Laplace dune derivee, il vient


pLp (u) u(0) + Lp (v) = 0
pLp (v) v(0) Lp (u) 2Lp (v) = 0.
Il faut donc resoudre le syst`eme lineaire suivant
     
p 1 Lp (u) u(0)
= .
1 p 2 Lp (v) v(0)
On obtient alors
     
Lp (u) 1 p2 1 u(0)
= 2 .
Lp (v) p 2p + 1 +1 p v(0)
Il en resulte que
p2 1
Lp (u) = 2
u(0) v(0)
(p 1) (p 1)2
1 p
Lp (v) = u(0) + v(0).
(p 1)2 (p 1)2
Or
p2 1 1
=
(p 1)2 p 1 (p 1)2
p 1 1
= +
(p 1)2 p 1 (p 1)2
et
1
Lp (ex ) =
p1
1
Lp (xex ) = .
(p 1)2
Transformation de Laplace dans L1 145

Do`
u la solution :
ex xex xex
     
u u(0)
= .
v xex ex + xex v(0)
2

Exercice 7.10 Utiliser la transformation de Laplace pour resoudre


les syst`emes suivants :
(
D2 u + u = x
1.
u(0) = 1, Du(0) = 4
(
D2 u + 2Du + u = cos x
2.
u(0) = 1, Du(0) = 2

Du + Dv = ex



3. Du + u + v = 0
u(0) = 0, v(0) = 1


Du Dv = xex


4. Du u v = 0
u(0) = 0, v(0) = 1

D2 u + Dv = x


5. D 2 v + u = ex
u(0) = v(0) = Du(0) = Dv(0) = 0


D2 u Dv = 2 2x


6. Dv + u = x2 + 2x + cos x
u(0) = 1, Du(0) = v(0) = 0


Du Dv = x sin x


7. D2 v + 2u + v = 0
u(0) = v(0) = 0, Dv(0) = 1

Du + u + v = 0


8. Du + Dv u = 0
u(0) = 0, v(0) = 1

146 Chapitre 7.

Solution:
1. u(x) = x + cos x + 3 sin x.
2. u(x) = (sin x + (5x + 2)ex )/2.
3. u(x) = ex 1, v(x) = 1.
4. u(x) = xex ; v(x) = ex .

5. u(x) = 1 + (2/3)ex (x/3)ex + (1/3)ex/2 cos ( 3/2)x


(1/3 3)ex/2 sin ( 3/2)x ,


v(x) = x2 /2 (1/3)ex + (1/3)xex + (1/3)ex/2 cos ( 3/2)x


+ (1/3 3)ex/2 sin ( 3/2)x .


6. u(x) = x2 + (1/2)x sin x + cos x, v(x) = x2 + (1/2)x cos x (1/2) sin x.


7. u(x) = sin x, v(x) = x cos x.
8. u(x) = sin x, v(x) = cos x + sin x.
2

Exercice 7.11 Schematisons le passage dune voiture sur une bosse


sinusodale par le syst`eme dynamique suivant :

o`
u m est la masse du vehicule, k la constante du ressort, v la vitesse
de deplacement, xe la position dequilibre. Le syst`eme est en equilibre
pour d < 0. Notons x(t) lecart a` la position dequilibre et x0 (t) la
position du point dappui p au cours du temps. Le syst`eme dynamique
est donc decrit par les equations :




mx = k(x0 x)

x(t) = 0 pour t < 0

x(t)
= 0 pour t < 0
x0 (t) = h sin( vtb )[0, b ] (t).



v
Transformation de Laplace dans L1 147
q
k v
Notons = m la pulsation propre du syst`eme et posons = b
. Les
equations deviennent alors




x + 2 x = 2 x0

x(0) = 0

x(0)
=0
x0 (t) = h sin(t)[0, ] .



On demande de resoudre ce syst`eme par la transformation de Laplace


unilaterale.
Solution: Posons
x0 = Ls (x0 (t)), x = Ls (x(t)).
Il vient :
 
x0 = h sin(t)[0,+[ + sin (t )[0,+[ (t )


e s
 

x0 = h 2 + 2
s + a2 s + 2

1 + e s
x0 = h .
s2 + 2
On a egalement

2 h (1 + e s )
x =
(s2 + 2 ) (s2 + 2 )
1 1 1
= 2 h(1 + e s ) 2 ( 2 )
2 s2 + 2 s + 2
2 h 1 1
= 2 2
(1 + e s )Ls ( sin t sin t).

D`es lors,
2 h

1 1
x(t) = ( sin t sin t)[0,+[ (t)
2 2

1 1
+( sin (t ) sin((t )))[0,+[ (t ) .

 
Si t 0, ,
2 h 1 1
x = ( sin t sin t)
2 2
h 2 h
= 2 2
sin t 2 sin t.
2
148 Chapitre 7.
 
Si t , + ,

2 h 1 1
x = 2 2
( sin t + sin (t ))

h h i
= sin t + sin (t )
2 2
2h
= sin(t ) cos
2 2 2 2
2h
= cos sin (t ).
2 2 2 2

Passage `a basse vitesse Passage `a grande vitesse


2

Exercice 7.12 Montrer que si Z est un polynome nayant que des


zeros simples, alors
1 X eax
= Lp ( ).
Z(p) a Z 0 (a)
a z
ero de Z

Solution: On a
1 X a
=
Z(p) a
pa
Z(a)=0

do`
u
pb X a (p b)
=
Z(p) a
pa
Z(a)=0

et
pb
lim = b
pb Z(p)
si b est un zero de Z.
Transformation de Laplace dans L1 149

Ainsi
1
b = .
Z 0 (b)
2

Exercice 7.13 Soit L(D) = nk=0 ak Dk , an 6= 0 un operateur de


P

derivation `a coefficients constants de degre n. Montrer que


1
Lp (A) = si <p > sup (<a)
L(p) L(a)=0

o`
u A est la reponse impulsive associee a` L(D) (cf. ex. 5.22).
Solution: Nous savons que
L(D)A = 0
1
A(0) = 0, . . . , Dn2 A(0) = 0, Dn1 A(0) = .
an
Ainsi X
A(x) = Pa 1 (x)eax .
L(a)=0

Il en resulte que A(x) admet une transformee de Laplace unilaterale en p si

<p > <a

pour tout a tel que L(a) = 0.


De plus,
Lp (Df ) = pLp (f ) f (0).
Donc

Lp (DA) = pLp (A)


..
.
Lp (Dn1 A) = pn1 Lp (A)
Lp (Dn A) = pn Lp (A) Dn1 A(0).

Il en resulte que
n
X
Lp (L(D)A) = ak pk Lp (A) an Dn1 A(0) = 0.
k=0

Donc
L(p)Lp (A) = 1
150 Chapitre 7.

et
1
Lp (A) =
L(p)
comme annonce. 2

Exercice 7.14 Soit f une fonction definie et mesurable sur IR, nulle
sur ], 0]. Soient aussi les reels ]1, +[, A IR et p0 f .
a) Si lim+ x f (x) = A, alors lim p+1 Lp (f ) = A( + 1).
x0 p+

lim x f (x) = A, alors lim+ p+1 Lp (f ) = A( + 1).


b) Si x
p0

Solution: On se ram`ene au cas A = 0 en considerant la fonction

F (x) = f (x) Ax ]0,+[ (x).

Cela etant, soit  > 0.


a) Il existe > 0 tel que

x |f (x)| si 0 x . (7.2)
2( + 1)

Dune part, on a alors


Z +
lim p+1 epx |f (x)| dx = 0
p+

en vertu du theor`eme de Lebesgue. En effet, pour tout x , on a

lim p+1 epx |f (x)| = 0


p+

et il existe C > 0 tel que, pour tout p > sup{0, p0 },

p+1 epx |f (x)| p+1 e(pp0 ) ep0 x |f (x)|


Cep0 x |f (x)|

pour x ], +[.
Dautre part, la majoration 7.2 entrane
Z

epx |f (x)| dx p(+1)
0 2
Transformation de Laplace dans L1 151

pour tout p > sup{0, p0 }. Do`


u la conclusion car on a
Z Z +
px
epx |f (x)| dx
+1
Lp (f ) p+1 +1

p e |f (x)| dx + p
0

pour tout p > sup{0, p0 }.


b) Comme f est integrable sur tout intervalle du type [0, R] (R > 0) et verifie
limx+ x f (x) = 0, Lp (f ) existe pour tout p > 0. Cela etant, soit > 0 tel que

x |f (x)| si x . (7.3)
2( + 1)

Pour tout p > 0, on a alors


Z Z +
epx |f (x)| dx
+1
Lp (f ) p+1 |f (x)| dx + p+1

p
0

donc aussi Z
+1 
Lp (f ) p+1

p |f (x)| dx +
0 2
en tenant compte de 7.3. Do`
u la conclusion. 2
152 Chapitre 7.
Chapitre 8

Transformation de Fourier
dans L2

Exercice 8.1 Calculer la transformee de Fourier dans L2 de f pour


a) f = x1 ],1] ]1,+[ (x);
2 /2
b) f = ex .

(Suggestion:
a) La suite de fonctions fm = f [m,m] (m IN) est une suite delements de
L1 L2 qui converge dans L2 vers f et telle que la suite Fy fm converge partout
dans IR vers la fonction g definie sur IR par
Z 1
sin xy
g(y) = 2i( sgn y dx) (y 6= 0)
2 0 x
g(0) = 0.
a L1 donc les transformees de Fourier dans L1
b) La fonction f appartient aussi `
2
et L sont egales presque partout. )

Exercice 8.2 [Transformation de Fourier L2 et transformation de


Laplace]
Soit f L2 ([0, +[) nulle sous zero. On demande de montrer que
Lxiy (f ) a un sens pour x > 0 et que
Lxiy (f ) 2 F
yf
L

153
154 Chapitre 8.

pour x 0+ .
Solution: Comme e(xiy)t est de classe L2 ([0, +[) en t si x > 0, il est clair que
la fonction
e(xiy)t f (t)
est integrable sur [0, +[ comme produit de fonctions de carre integrable.
La transformee de Laplace Lxiy (f ) est donc definie si x > 0. Il est clair que
ext f (t) f (t)
pp

si x 0+ et comme
(e )f (t) 2 |f (t)|2
xt

pour tout x et tout t positifs, le theor`eme de Lebesgue permet daffirmer que


ext f (t) 2 f (t)
L

pour x 0+ . On en deduit que


F
y (e
xt
f (t)) 2 F
y f.
L
xt
Or e f (t) est integrable sur [0, +[ pour x > 0. On a donc
Z +
xt
Fy (e f (t)) = eiyt ext f (t)dt

= Lxiy (f )
do`
u la conclusion. 2

Exercice 8.3 Montrer que les fonctions suivantes appartiennent a`


L2 \ L1 (IR) et calculer leur transformee de Fourier dans L2 (IR) (a > 0).
x sin(x) cos(x) 1 cos(x)
, sign(x) , ],a][a,+[ ,
1 + x2 x x x

Exercice 8.4 Pour tout n IN, on definit la fonction de C. Hermite


Hn (x) en posant
2 2
Hn (x) = ex /2 Dxn ex
pour x IR. Montrer que


Fxy Hn (x) = 2(i)n Hn (y).
Transformation de Fourier dans L2 155

Solution:
On constate aisement par recurrence sur n que
x2
Hn (x) = e 2 P(n) (x)

o`
u Pn est un polyn
ome de degre inferieur `
a n. On a donc

Hn L1 (], +[)

Cela etant, on obtient successivement


Z +
2 2

Fxy Hn (x) = eixy ex /2 Dxn ex dx

Z +
2 2
= eixy+(x /2)
Dxn ex dx

ixy+(x2 /2) 2
= e Dxn1 ex |+

Z +
2 2
Dx (eixy+(x /2)
)Dxn1 ex dx

Z +
2 2
= (1)n Dxn (eixy+(x /2)
)ex dx

Z +
2
+y 2 )/2 2
= (1)n Dxn (e((xiy) )ex dx

Z +
n y 2 /2 2 2
= (1) e (Dxn e(xiy) /2
)ex dx.

Mais
(xiy)2 X2
Dy e 2 = (DX e 2 )X=xiy (i)
(xiy)2 X2
Dx e 2 = (DX e 2 )X=xiy

donc
(xiy)2 (xiy)2
Dx e 2 = iDy e 2 .
Ainsi
y2 Z + (xiy)2 2

Fxy Hn (x) = (1)n (i)n e 2 (Dyn e 2 )ex dx

Z + (xiy)2

y2
n x2
= (i) e 2 Dyn e 2 e dx

156 Chapitre 8.
Z + 
y2 x2
2
ixy y2 x2
= (i)n e 2 Dyn e 2 dx

 
y2 y2 x2
= (i)n e Dyn e 2 Fxy
2
(e 2 )

y2
 
y2 y2
= (i)n e 2 Dyn e 2 2e 2

= 2(i)n Hn (y).

Exercice 8.5 Soit F un element de L . Alors il existe f L2 tel


que F = f f si et seulement sil existe L1 tel que F = F .
(Suggestion: La condition est necessaire. De fait, vu le theor`eme de Parseval (dans
L2 ), on a
F = f f = (2)n F (F f.F f ).
La condition est suffisante. Si est intp egrable, alors il secrit sous la forme
= g 2 avec g L2 (prendre g = e(i/2) arg ||), donc aussi sous la forme du carre
dune transformee de Fourier dans L2 . Do` u la conclusion en se rappelant que lon
a F = F par hypoth`ese et en appliquant le theor`eme de Parseval. )

Exercice 8.6 Soit f L1 . On a


F + f L2 f L2 .

Solution: Si f L2 L1 , alors F + f = F + f L2 .
Reciproquement, demontrons que f = (2)n F F + f . Pour cela, demontrons
que Z Z
dx f (x)(x) = (2)n dx (x)Fx F + f
IRn IRn
n
pour tout D(IR ). De fait, on a successivement
Z Z
dx (x)Fx F + f = dx Fx Fx+ f
IRn IRn
Z
= dx Fx Fx+ f
IRn
Z
= dx Fx+ F f (x)
IRn
Z
n
= (2) dx (x) f (x)
IRn
Transformation de Fourier dans L2 157

en utilisant le theor`eme de transfert dans L2 , dans L1 et le theor`eme de Fourier. 2

Exercice 8.7 Soit A une partie integrable de IRn . On pose f =


F + A . Calculer f f .
Solution: Pour tous g, h L2 , on a

F F g F h = (2)n g h


sur IRn . Avec g = f = h, on obtient

f f = F + F f F f = (2)n F + A = (2)n f


donc aussi
((2)n f ) ((2)n f ) = (2)n f.
A comparer avec G G = G, G L1 , voir exercice 6.1. 2

Exercice 8.8 a) Soit f L2 tel que Fx+ f 6= 0 pour presque tout x.


Alors
(g L2 , hg, f (. + c)iL2 = 0 pour tout c IRn ) = g = 0.
b) Soit f L1 L2 tel que Fx+ f 6= 0 x IRn . Alors
(g L2 , hg, h f iL2 = 0 pour tout h L2 ) = g = 0.

Solution: a) Comme
Fx f (. + c) = eihx,ci Fx f
la formule de Parseval conduit `
a

0 = (2)n hg, f (. + c)i = F + g, F + f (. + c) = Fxc


+
(F + g F + f ).

Il sensuit que F + g F + f = 0 pp donc que (vu lhypoth`ese) F + g = 0 pp et finalement


g = 0 pp.
b) On a g = 0 si et seulement si F g = 0, ou encore (vu la condition sur f ) si
et seulement si F g F + f = F g F f = 0. Et ceci a lieu si et seulement si

F + F g F f = F + F g F f = (2)n g f = 0.
 

De plus, comme g f L2 , on a
 
g f = 0 g f g f = 0.
158 Chapitre 8.

Pour conclure, il suffit donc de prouver que

g f ) G = g (f G) = 0
(

pour tout G L2 . De fait, on a

(f G)(y + x) = (f G(x .))(y)

donc
Z
g (f G)(x) = dy g(y)(f G)(x + y)
Z
= dy g(y)(f G(x .))(y)


= g, f (G(x .))
= 0

vu lhypoth`ese. 2

Exercice 8.9 [Espace de Sobolev H1 ]


Placons-nous sur la droite reelle et definissons lespace H1 comme
etant lensemble des fonctions de L2 qui ont une derivee generalisee
dans L2 . Rappelons que cette derivee est caracterisee par le fait que
pour tout D(IR), on a legalite

hDf , i = hf, Di .

Pour tout f H1 , on pose

kf kH1 = kf kL2 + kDf kL2 .

On demande de montrer que


a) H1 est un sous-espace lineaire de L2 ,
b) (H1 , kkH1 ) est un espace de Banach,
c) si f H1 et g L2 (resp. L1 ), alors f g L (resp. L2 ) admet
une derivee generalisee dans L (resp. L2 ) donnee par

D(f g) = Df g,
Transformation de Fourier dans L2 159

d) toute fonction de H1 est limite dans H1 dune suite de fonctions


C a` support compact,
e) si f et g sont des fonctions de H1 , alors
hDf , gi = hf, Dgi ,

f) on dispose dune inclusion naturelle continue de lespace de Banach


H1 (IR) dans lespace de Banach C0b (IR).

Solution: Le point (a) est evident.


Pour demontrer (b), considerons une suite fm de Cauchy dans (H1 , kkH1 ). Vu
la definition de kkH1 , il est clair que cela implique que  > 0, M tel que m,
n > M , on a
kfm fn kL2 + kDfm Dfn kL2 . (8.1)
On en deduit que fm et Dfm sont de Cauchy dans L2 . Notons f et g leur limite
respective. Soit D(IR), il est clair que

hfm , Di hf, Di

hDfm , i hg, i .
Donc, vu lunicite des limites des suites dans CI, on a

hf, Di = hg, i .

Cette relation montre que g = Df , do` u lon tire que f H1 . De plus, en passant
a la limite dans la relation (8.1), on voit que m > M , on a
`

kf fm kL2 + kDf Dfm kL2 .

Cette relation montre que fm f dans lespace H1 , ce qui ach`eve detablir (b).
Passons au point (c). Soient f H1 et g L2 . Pour tout D(IR), on a la
suite degalites

hf g, Di = (f g) D e
x=0
= g (f D e ) .
x=0

Or, on a
Z
(f D
e )x = e (x y)dy
f (y)D
160 Chapitre 8.
Z
= f (y) D(y x)dy
Z
= (Dy f )(y x)dy

= (Df )
e.

Donc, on obtient

hf g, Di = g (Df
e )
x=0
= h(Df g), i ,

ce qui permet de conclure.


Pour le point (d), remarquons dabord que si f H1 et est `a support compact,
alors f 1/m est une suite de fonctions de D(IR) qui converge vers f dans H1 car
le point (c) montre que
D(f 1/m ) = Df 1/m
et cela entrane la convergence de D(f 1/m ) vers Df dans L2 . Il nous suffit donc
detablir que tout f H1 est limite dans H1 dune suite delements de H1 `a support
compact.
Pour construire cette suite, considerons une fonction D(IR) egale `a 1 sur
[1, 1] et nulle sur C[2, 2] et posons
x
fm (x) = f (x)( ).
m
Il est clair que fm converge vers f dans L2 . De plus, on verifie aisement que

x x 1
Dfm = Df ( ) + f D( ) .
m m m
Pour conclure, il suffit alors de constater que

x 1
f D( ) 0
m m L2
puisque
f (D)( x ) 1 1 kf k 2 sup |D(x)| .

L
m m 2 m xIR

Le point (e) est une consequence directe de (c).


Pour etablir (f), remarquons que

2(x) = Fx F +
Transformation de Fourier dans L2 161

pour tout x IR et pour tout D(IR) . Ainsi, pour tout x IR


Z
+
2 |(x)| Fy dy
Z Z
+ 1
y Fy+ dy

Fy dy +

I CI y
o`
u I = [1, 1].
Comme y1 CI est une fonction de classe L2 (IR), linegalite de Schwarz montre
que
p + 1
2 |(x)| mes(I) F L2 + yFy L2 XCI

2.
y L
Ainsi, il existe une constante A telle que

|(x)| A kkH1 .

Soient f un element de H1 et m une suite de D(IR) qui approche f dans H1 .


Comme m est de Cauchy dans H1 , la majoration precedente montre que m est
de Cauchy dans C0b (IR). Notons g sa limite. Comme on peut extraire de m une
sous-suite qui converge pp vers f , il est clair que f = g. De plus, la majoration
pp
obtenue montre en passant `
a la limite que

|g(x)| A kf kH1 .

a tout f H1 , associe la seule fonction continue g qui lui est egale pp


La loi qui, `
est donc une inclusion continue comme annonce. 2

Exercice 8.10 Si f L2 (IR), montrer que


a) F f H1 ssi xf L2 (IR) et que dans ce cas, on a
DF f = F (ixf )

b) f H1 ssi yF 2
y f L (IR) et que dans ce cas, on a

F Df = iyF
y f.

Solution: Il suffit detablir (b) car (a) sen deduit par transformation de Fourier
L2 . Supposons donc que f H1 . Lexercice sur lespace de Sobolev H1 montre
quil existe une suite m D(IR) qui converge vers f dans H1 . On en deduit que
F m F f dans L2 . Et quitte ` a remplacer m par une sous-suite, on peut
egalement supposer que cette convergence a lieu presque partout.
162 Chapitre 8.

Donc, dune part, iyF m iyF f presque partout. Or, dautre part,
iyF m = F (Dm ), donc iyF m F (Df ) dans L2 . Ainsi
F (Df ) = iyF
yf

do`
u la conclusion.
Supposons maintenant que yF 2
y f L (IR). Pour tout D(IR), on a succes-
sivement
 
1 1

F (iyF iyF

y f ), = y f , Fy
2 2
1

Fy f , iyF

= y
2
1

Fy f , F (D)

=
2
= hf, Di .
Ainsi f H1 et
1
Df =F (iyF+ y f)
2
u la conclusion par transformation de Fourier L2 .
do` 2

Exercice 8.11 Si f, xf, yF 2


y f sont des fonctions de classe L , montrer
que f et F f H1 et que
a) kf k2L2 2 kxf kL2 kDf kL2


1 kxf kL2 yF f
y L2
b) .
2 kf kL2 F f

y 2 L

Solution: Le fait que f et F 1


y f H a d
ej`a ete etabli dans les exercices sur lespace
1
de Sobolev H . Un calcul rapide montre que lon a
(f xf )y + (xf f )y = y(f f )y .
Comme f H1 et (xf ) L2 , chacun des produits de convolution ci-dessus se trouve
dans L C0 et admet une derivee generalisee dans L1loc . Si lon derive legalite
obtenue en tenant compte des proprietes de lespace H1 (cf. Ex 8.8), on voit que
Df xf xf (Df ) = f f + x(Df f ).
En evaluant cette relation en 0, il vient
hDf , xf i hxf , Df i = hf, f i
Transformation de Fourier dans L2 163

do`
u lon tire que
2< hDf , xf i = hf, f i .
Linegalite de Cauchy-Schwarz montre alors que lon a
2
kf kL2 2 kDf kL2 kxf kL2

comme annonce. Tenant compte de la relation kF f kL2 = 2 kf kL2 , on en tire
que
kF f k 2 2 kF Df kL2
kf kL2 L kxf kL2
2 2
do`
u la conclusion. 2

Remarque: Lexercice precedent fournit une version mathematique du cel`ebre


principe dincertitude de Heisenberg.

Exercice 8.12 Montrer que si f H1 et si xf L2 , alors il existe


une suite m D(IR) telle que
m 2 f, xm 2 xf, Dm 2 Df.
L L L

Solution: On peut se limiter au cas o` u f est `a support compact. En effet, soit


une fonction de D(IR) egale `
a 1 sur [1, 1] et nulle sur C[2, 2].
Nous avons dej`
a montre que
x
f ( ) 1 f
m H
et le theor`eme de Lebesgue montre que
x
xf (x)( ) xf (x).
m L2
Soit donc f L2comp . La theorie des unites approchees de convolution combinee
aux resultats sur lespace H1 obtenus precedemment nous montre que
f 1/m 1 f.
H

Pour conclure, il suffit alors de remarquer que



x(f 1/m ) xf 2 sup |x| f 1/m f 2
L L
xK

o`
u K est le compact
{x : d(x, Supp(f )) 1}.
2
164 Chapitre 8.

Remarque: Ce resultat permet de demontrer que

hxf , Df i + hDf , xf i + hf, f i = 0

si f H1 et si xf L2 . En effet, cette formule est une consequence directe de la


formule de Leibnitz si f D(IR) et elle setend par continuite au cas envisage vu la
propriete dapproximation etablie dans lexercice ci-dessus.
Chapitre 9

eries de Fourier dans L2


S

Exercice 9.1 Developper la fonction


x
f (x) =
2
en serie de Fourier trigonometrique dans lintervalle [0, 2]. En deduire
la valeur de la somme
+
X 1
2
.
m=1 m

(Suggestion: Pour tout m IN, posons


Z 2
1
am = f (x) cos mx dx
0

et Z 2
bm = 1 f (x) sin mx dx
0
posons aussi Z 2
1
a0 = (2) f (x) dx.
0
1
On obtient alors les valeurs am = 0 pour tout m et bm = m pour tout m. Il sensuit
que la suite
M
X sin mx
SM (x) =
m=1
m

165
166 Chapitre 9.

converge dans L2 (]0, 2[) vers f et presque partout sur ]0, 2[ vers f . De plus,
comme la fonction
+
X sin mx
S(x) :=
m=1
m

est continue sur louvert ]0, 2[, on obtient finalement S(x) = f (x) pour tout x
]0, 2[.
De plus, la formule de Parseval donne legalite
Z 2 +
X 1
f 2 (x)dx =
0 m=1
m2

2
P+ 1
et par suite m=1 m2 = 6 . )

Exercice 9.2 Developper les fonctions suivantes en serie trigonome-


trique de Fourier dans lintervalle [, ] :

f (x) := ],/2] ]/2,/2] + ]/2,]


g(x) := ],/2] ]/2,0] + ]0,/2] ]/2,] .

Solution:
+
4 X (1)m
f (x) = cos(2m 1)x;
m=1 (2m 1)
+
4 X 1
g(x) = sin 2(2m 1)x.
m=1 (2m 1)

Les graphiques suivants representent successivement


3
4 X cos(2m 1)x
],/2] ]/2,/2] + ]/2,[ et (1)m
m=1 2m 1
6
4 X cos(2m 1)x
],/2] ]/2,/2] + ]/2,[ et (1)m
m=1 2m 1
8
4 X cos(2m 1)x
],/2] ]/2,/2] + ]/2,[ et (1)m
m=1 2m 1
15
4 X cos(2m 1)x
],/2] ]/2,/2] + ]/2,[ et (1)m
m=1 2m 1
Series de Fourier dans L2 167

Exercice 9.3 Developper en serie trigonometrique de Fourier


a) sin(x) dans L2 ([0, 2]) et dans L2 ([0, ])
b) x3 dans L2 ([, ]) et dans L2 ([0, 2])
c) ex dans L2 ([, ]) et dans L2 ([0, 2])
d) x[,0] (x) dans L2 ([, ]) et dans L2 ([0, 2])
e) sin2 (x) dans L2 ([0, ])
f) sin(x) | sin(x)| dans L2 ([0, 2])
g) sin3 (x) dans L2 ([0, 2])
h) sin(x) cos2 (x) dans L2 ([0, 2]).
Solution: a) On a sin(x) = sin(x) dans L2 ([0, 2]) et

+
2 4 X cos(2mx)
sin(x) =
m=1 4m2 1

dans L2 ([0, ]).

b) On a
+
2
 
3
X
m+1 6
x =2 (1) 3 sin(mx)
m=1
m m
168 Chapitre 9.

dans L2 ([, ]) et
+ + 
8 2

X cos(mx) X 12
x3 = 2 3 + 12 + sin(mx)
m=1
m2 m=1
m3 m

dans L2 ([0, 2]).

c) On a
+
!
x sh() X
m cos(mx) m sin(mx)
e = 1+2 (1)
m=1
1 + m2

dans L2 ([, ]) et
+
!
e2 1 1 X cos(mx) m sin(mx)
ex = +
2 m=1 1 + m2

dans L2 ([0, 2]).

d) On a
+ +
2 X cos((2m 1)x) X sin(mx)
x[,0] (x) = + + (1)m+1
4 m=1 (2m 1)2 m=1
m

dans L2 ([, ]) et
+ +
X cos(mx) X sin(mx)
x[,0] (x) = 2 2
+ (1)m+1
4 m=1
m m=1
m

dans L2 ([0, 2]).

e) On a
1 cos(2x)
sin2 (x) =
2 2
dans L2 ([0, ]).

f) On a
+  
10 2 X 1 1
sin(x) | sin(x)| = sin(x) + sin((2m + 1)x)
3 m=1 4(m + 1)3 1 4m3 1

dans L2 ([0, 2]).


Series de Fourier dans L2 169

g) On a
3 1
sin3 (x) = sin(x) sin(3x)
4 4
dans L2 ([0, 2]).

h) On a
1 1
sin(x) cos2 (x) = sin(x) + sin(3x)
4 4
dans L2 ([0, 2]). 2

Exercice 9.4 Soit g une fonction continue sur IR, 2-periodique et


f une fonction continue sur [, ]. On pose
Z
G(x) := dt f (t)g(x t) = (f [,] g)(x).

a) Montrer que G est continu sur IR et 2-periodique


b) Calculer les coefficients du developpement de G en serie trigono-
metrique de Fourier dans L2 ([, ]) en fonction des coefficients du
developpement de f et de g.
Solution: a) La fonction G est definie sur IR car pour tout x IR, la fonction
t 7 f (t)g(x t) est continue sur le compact [, ]. La continuite de G sobtient
directement par application du theor`eme de Lebesgue. La periodicite de G est due
a la periodicite de g.
`
b) Pour tout x IR, on a
G(x) = hf, g(x .)iL2 ([,]) .

Pour tout m ZZ , posons um (x) = eimx / 2. Comme g est 2-periodique, on a
N
X
g= lim bn un
N +
n=N

dans L2loc et pp sur IR, donc


N
X
g(x .) = lim bn un (x .)
N +
n=N

dans L2loc pour tout x IR. On a aussi


M
X
f= lim bm um
M +
m=M
170 Chapitre 9.

dans L2 ([, ]) et pp sur [, ]. Comme un (x .) = einx un (.), il sensuit que


pour tout x IR, on a
M
X
G(x) = lim am bm eimx . (9.1)
M +
m=M

PM PM PM
Comme m=M |am |2 et m=M |bm |2 convergent, la suite m=M |am bm |2 con-
verge aussi. Ceci implique que la convergence de (9.1) a lieu aussi dans L2 ([, ]),
donc que cette egalite fournit le developpement de G demande. 2

Exercice 9.5 [Corde vibrante amortie]


Rappelons que le mouvement dune corde vibrante amortie est regi
par lequation
(Dx2 aDt2 bDt )u(x, t) = 0
o`
u a > 0, b > 0 et o`u u(x, t) designe lecart a` la position dequilibre. On
demande de determiner u(x, t) en supposant que la corde est fixee en
(0, 0) et en (, 0), que lecart initial a` la position dequilibre est donne
par g(x) C3 (IR) et que la vitesse initiale Dt u(x, 0) est nulle.

Solution:
I) Une methode de resolution formelle consiste `a trouver u(x, t) sous la forme
suivante
+
X +
X
u(x, t) = cm (t) cos mx + sm (t) sin mx.
m=0 m=1

Cela etant, on constate que les conditions de fixation sont realisees si les cm (t) sont
tous nuls. En tenant compte de ceci et en derivant terme `a terme, on obtient la
relation suivante
+
X
(aDt2 + bDt + m2 )sm (t) sin mx = 0.
m=1

Cette derni`ere relation a lieu si les fonctions sm (t) verifient

P (m, Dt )sm (t) = 0


Series de Fourier dans L2 171

o`
u on a pose
P (m, Dt ) = aDt2 + bDt + m2 .
a b2 4am2 ; par consequent, m finit par etre
Le realisant m de P (m, t) est egal `
negatif. Soit m0 la plus petite valeur de m telle que m 0. Si on suppose que m
diff`ere de 0 pour tout m, on obtient
1/2
a) pour 1 m < m0 : sm (t) = m ex(1,m)t +m ex(2,m)t o`
u x(1, m) = (m b)/2a
1/2
et x(2, m) = (m + b)/2a sont les racines de P (m, t) et o` u m et m sont
des constantes;
1/2 1/2
b) pour m m0 : sm (t) = ebt/2a (m cos(|m | t/2a) + m sin(|m | t/2a))
o`
u m et m sont des constantes.
On obtient alors u(x, t) sous la forme suivante
m
X 0 1

u(x, t) = (m ex(1,m)t + m ex(2,m)t ) sin mx +


m=1
+
X 1/2 t 1/2 t
(m cos(|m | ) + m sin(|m | ))ebt/(2a) sin mx.
m=m0
2a 2a

II) Tenons compte `a present de la perturbation initiale.


Comme g est antisymetrique et periodique, on a
+
X Z 2
gm sin mx g(x), avec gm = 1 dxg(x) sin mx.
IR 0
m=1

D`es lors la relation u(x, 0) = g(x) se traduit par


m
X0 1 +
X +
X
(m + m ) sin mx + m sin mx = gm sin mx.
m=1 m=m0 m=1

Cette derni`ere egalite est verifiee si les constantes m et m satisfont `a


m + m = gm (m < m0 ) et m = gm (m m0 ). (9.2)
III) En tenant compte ` a present de la vitesse initiale nulle et du developpe-
ment de u(x, t), on obtient la relation
m
X 0 1

[x(1, m)m + x(2, m)m ] sin mx +


m=1
+  
X b 1/2 1
( )m + |m | (2a) m sin mx = 0.
m=m
2a
0
172 Chapitre 9.

Cette derni`ere egalite est verifiee si

x(1, m)m + x(2, m)m = 0 (m < m0 )


b 1/2
( )m + |m | (2a)1 m = 0 (m m0 ). (9.3)
2a
IV) Si m < m0 , vu (9.2) et (9.3) et en tenant compte du fait que m et
x(2, m) diff`erent de 0, on obtient

m = ax(2, m)1/2
m gm

et
m = ax(1, m)1/2
m gm .
Si m m0 , on obtient (voir (9.2) et (9.3) )
1/2
m = gm et m = b |m | gm .

Au total, u(x, t) est egal `a


m
X 0 1 h i
agm 1/2
m x(2, m)e x(1,m)t
x(1, m)e x(2,m)t
sin mx +
m=1
h i
1/2
X 1/2 1/2
gm ebt/2a cos(|m | (2a)1 t) + b |m | sin(|m | (2a)1 t sin mx.
m=m0

V) Pour verifier que cette fonction est bien une solution, il suffit de verifier
que les derivees (terme `a terme) dordre 0,1,2 convergent uniformement sur tout
compact (de IR). On peut alors effectivement deriver u(, ) terme `a terme et les
expressions obtenues satisfont aux relations de depart.
VI) Etude de la solution. La fonction u est en fait une superposition
dharmoniques. Considerons le cas o` u gm est nul sauf pour une valeur de m.
Si m < m0 , le realisant m est strictement positif et u secrit
h i
1/2
u(x, t) = agm m x(2, m)ex(1,m)t x(1, m)ex(2,m)t sin mx

avec x(1, m) et x(2, m) strictement negatifs. Il ny a donc pas doscillation tem-


porelle (amortissement fort).
Si m m0 , le realisant m est strictement negatif et u secrit

u(x, t)
h i
1/2 1/2 1/2
= gm ebt/2a cos(|m | (2a)1 t) + b |m | sin(|m | (2a)1 t) sin mx
1/2
= gm ebt/2a sin(|m | (2a)1 t + m ) sin mx.
Series de Fourier dans L2 173

Il sagit dune oscillation amortie au cours du temps.


NB: cas b = 0 : corde non amortie. Dans ce cas, on a m > 0 et on est toujours
dans le deuxi`eme cas (i.e. m m0 = 1). De plus, on constate quil ny a pas
damortissement au cours du temps (exponentielle egale `a 1). 2

Exercice 9.6 [Membranes vibrantes]


La physique theorique nous apprend que toute membrane dequation
z = L(x, y, t)
se deforme au cours du temps en respectant lequation aux derivees
partielles
Dt2 L(x, y, t) L(x, y, t) = 0
Si la membrane est fixee le long dune courbe plane , il faut encore
tenir compte de la condition aux limites
L(x, y, t) = 0 (x, y)
Nous nous proposons de determiner explicitement L(x, y, t) dans le cas
o`
u est le bord du rectangle [0, A][0, B] en nous limitant aux solutions
de classe C .
Solution: Nous allons proceder en deux etapes.
Solutions Stationnaires Cherchons tout dabord les solutions non iden-
tiquement nulles du type
L(x, y, t) = U (x, y)V (t)
Lequation aux derivees partielles devient:

U (x, y)Dt2 V (t) U (x, y)V (t) = 0

et la condition aux limites donne:

U (x, y)V (t) = 0 (x, y)

Comme V (t) nest pas identiquement nul, on en deduit quil existe t0 tel que V (t0 ) 6=
0. Il vient alors par division:

U (x, y) = 0 (x, y)

et
U (x, y) D2 V (t0 )
= t = si U (x, y) 6= 0
U (x, y) V (t0 )
174 Chapitre 9.

On en deduit que

U U = 0
Dt2 V (t) V (t) = 0

Le probl`eme est donc reduit `a determiner les fonctions de classe C U (x, y) et V (t)
non identiquement nulles et les nombres reels tels que

U U = 0
U| = 0

Dt2 V (t) V (t) = 0


Ce qui prec`ede nous suggere de traiter tout dabord le probl`eme aux valeurs
propres consistant `a determiner les fonctions U (x, y) de classe C et les reels tels
que 
U U = 0
U| = 0
Nous aborderons le probl`eme precedent en determinant dabord les solutions
non triviales `
a variables separees:

U (x, y) = M (x)L(y)

Lequation U U = 0 devient alors

Dx2 M (x)L(y) + M (x)Dy2 L(y) M (x)L(y) = 0

On en deduit que si M (x) 6= 0 et si L(y) 6= 0 alors

Dx2 M (x) Dy2 L(y)


+ =
M (x) L(y)

Quant aux conditions aux limites, elles deviennent

M (0) = M (A) = 0
L(0) = L(B) = 0

De la premi`ere equation, on deduit lexistence de reels et tels que


2
D M M = 0
D2 L L = 0
+ =

Si > 0, on a
M (x) = C1 e x
+ C 2 e x
Series de Fourier dans L2 175

et les conditions aux limites montrent que lon a

C1 + C2 = 0

C1 e A
+ C2 e A = 0

Or  
1 1
det
A

A = e A
e A
e e
et ce determinant est non nul car A 6= 0. Ainsi C1 = C2 = 0 et M est la solution
triviale.
Si = 0, on a
M (x) = C1 x + C2
et M est de nouveau la solution triviale car les conditions initiales montrent que

C2 = 0 = C1 A

Si < 0, on a

M (x) = C1 cos( x) + C2 sin( x)

et les conditions initiales montrent que



C1 = 0 = C2 sin( A)

Les seules solutions non triviales sont donc de la forme



M (x) = C sin( x) C 6= 0

pour lesquelles il existe un naturel k tel que



A = k

En procedant de meme pour L(y), on voit que les solutions non triviales `a
variables separees sont les fonctions U (x, y) de la forme
kx ly
U (x, y) = C sin( ) sin( ) C 6= 0
A B
le param`etre correspondant etant donne par
 2
l2

k
= + 2
A2 B2
Posons
kx ly
Ukl (x, y) = sin( ) sin( )
A B
176 Chapitre 9.

et r
k2 l2
kl =
2
+ 2
A B
Nous allons montrer que toute fonction U (x, y) qui sannule avec ses derivees
paires en tout point de est la limite dans C (]0, A[]0, B[) de la serie
X
X
ckl Ukl (x, y)
k=1 l=1

o`
u Z A Z B
4
ckl = dx dyU (x, y)Ukl (x, y)
AB 0 0

Pour cela, considerons la fonction U 0 (x, y) definie sur [A, A][B, B] en posant

U 0 (x, y) = U (x, y) sur ] A, 0[[0, B[


U 0 (x, y) = U (x, y) sur [0, A[[0, B[
U 0 (x, y) = U (x, y) sur ] A, 0[] B, 0[
U 0 (x, y) = U (x, y) sur [0, A[] B, 0[

et etendons la en une fonction U de classe C periodique de periode 2A selon x


et 2B selon y. Cela est licite puisque U sannule avec ses derivees paires sur . Le
theor`eme de Fourier applique `a U et combine aux relations dantisymetrie

U (x, y) = U (x, y) = U (x, y)

montre que cette fonction est limite dans C de la serie


X

X kx ly
ckl sin( ) sin( )
A B
k=1 l=1

o`
u
Z A Z B
1 kx ly
ckl = dx dyU (x, y) sin( ) sin( )
AB A B A B
Z A Z B
4 kx ly
= dx dyU (x, y) sin( ) sin( )
AB 0 0 A B
Pour etablir le developpement annonce, il suffit alors de remarquer que U (x, y) =
U (x, y) sur ]0, A[]0, B[.
Considerons maintenant une solution U de classe C du probl`eme aux valeurs
propres 
U U = 0
U| = 0
Series de Fourier dans L2 177

Il est clair quune telle solution sannule avec ses derivees paires sur et ce qui
prec`ede nous permet daffirmer que
X
X
U= ckl Ukl
k=1 l=1

Par derivation sous le signe de sommation, il vient alors


X
X
2
U U = 0 = ckl ( kl )Ukl
k=1 l=1

2 2
Ainsi, ckl = 0 si 6= kl et comme lensemble {(k, l) : kl = } est fini, nous
pouvons en deduire que lensemble des valeurs propres du probl`eme etudie est donne
par
2
= {kl : (k, l) N20 }
a une valeur propre est donne par
et que lespace propre correspondant `
lenveloppe lineaire de lensemble
2
{Ukl : kl = }

Comme est constitue de nombres reels negatifs, la solution generale de lequa-


tion differentielle
Dt2 V (t) V (t) = 0
est donnee par
V (t) = C sin( t + )
o`
u C est une constante reelle arbitraire et o`u est un angle de phase arbitraire. Ce
qui prec`ede montre alors que les solutions stationnaires de lequation des membranes
vibrantes sont donnees par la formule

X
L(x, y, t) = ckl Ukl sin(t + )
2 = 2
kl

o`u les ckl sont des constantes arbitraires et o`


u est une des pulsations propres kl .
A toute pulsation propre , on associe lespace propre U correspondant `a la
valeur propre 2 . Une pulsation propre est dite degeneree si lon a dim(U ) > 1.
Les zeros des fonctions propres de pulsation propre representent les lignes de
noeuds de la vibration correspondante de la membrane. Dans le cas degenere, ces
lignes de noeuds peuvent presenter un aspect curieux comme on le voit sur la figure
9.1.
On constatera egalement sur ce schema que la forme prise par la membrane au
cours de ses oscillations propres est, elle aussi, assez originale.
178 Chapitre 9.

Figure 9.1: Lignes nodales et graphe de la fonction propre U14 + U41

Solutions generales Revenons `a present au probl`eme de depart et con-


siderons donc une fonction L(x, y, t) de classe C telle que
 2
Dt L L = 0
L(x, y, t) = 0 si (x, y)

Pour chaque t > 0 fixe, L(x, y, t) est de classe C sur [0, A] [0, B] et sannule avec
ses derivees paires sur . Il en resulte que
X
X
L(x, y, t) = ckl (t)Ukl (x, y)
k=1 l=1

o`
u Z A Z B
4
ckl (t) = dx dyL(x, y, t)Ukl (x, y)
AB 0 0

De plus, le theor`eme de derivation sous le signe dintegration montre que


X
X
Dts L(x, y, t) = Dts ckl (t)Ukl (x, y)
k=1 l=1

Ces relations permettent dobtenir la suite dequivalences ci-dessous:

P P Dt2 L L = 0
2
k=1 l=1 Dt ckl (t)Ukl (x, y) ckl (t)Ukl (x, y) = 0
Dt2 ckl (t) + ckl (t)kl
2
= 0
Series de Fourier dans L2 179

De la derni`ere relation, on deduit que

ckl (t) = Akl cos(kl t) + Bkl sin(kl t)

Ainsi, la solution L(x, y, t) secrit


X
X
L(x, y, t) = Akl Ukl (x, y) cos(kl t)
k=1 l=1
X X
+ Bkl Ukl (x, y) sin(kl t)
k=1 l=1

Pour conclure, nous allons montrer que les coefficients Akl et Bkl sont determines
par les valeurs de L(x, y, t) et Dt L(x, y, t) pour t = 0. En effet, ce qui prec`ede montre
que
X
X
L(x, y, t)|t=0 = Akl Ukl (x, y)
k=1 l=1
X X
Dt L(x, y, t)|t=0 = kl Bkl Ukl (x, y)
k=1 l=1

et les resultats obtenus sur les series de fonctions propres montrent que
Z A Z B
4
Akl = dx dyL(x, y, 0)Ukl (x, y)
AB 0 0
Z A Z B
4
Bkl = dx dyDt L(x, y, t)|t=0 Ukl (x, y)
ABkl 0 0

Enfin, on verifie aisement que les formules ci-dessus pour Akl et Bkl combinees au
developpement en serie de L(x, y, t) permettent de resoudre le probl`eme de Cauchy
pour t = 0. 2

Exercice 9.7 [Fonctions de Bessel dindice entier]


Pour tout x IR, la fonction eix sin est periodique de periode
2 sur la droite reelle. Comme elle est de classe C , on sait que le
developpement de Fourier
+
eix sin = Jn (x)ein
X

n=

est convergent dans lespace C (IR). Les coefficients Jn (x) de ce deve-


loppement sont, par definition, les fonctions de Bessel dindice entier.
180 Chapitre 9.

On demande de montrer que si n 0, alors le developpement de Taylor


de Jn (x) `a lorigine est donne par

(1)k x
( )n+2k ,
X
Jn (x) =
k=0 k!(n + k)! 2
et que
Jn (x) = (1)n Jn (x).

Solution: Par definition, nous savons que


Z
1
Jn (x) = eix sin ein d
2
Z
1
= eix sin eix d.
2
Comme
+
X (ix sin )k
eix sin =
k!
k=0
et comme cette serie est uniformement absolument convergente pour [, ], il
vient
+ Z
1 X (ix sin )k in
Jn (x) = e d
2 k!
k=0
+
1 X (ix)k
Z
= (sin )k ein d.
2 k!
k=0

Or
k
ei ei k X l eil ei(kl)
(sin )k = ( ) = Ck (1)kl
2i 2k ik
l=0
k
X Ckl (1)kl i(2lk)
= e .
2k ik
l=0

Ainsi
k
Ckl (1)kl i(2lk+n)
Z X Z
(sin )k ein d = e d
2k ik
l=0
k
X Ckl (1)kl
= 22lk+n,0
2k ik
l=0
Series de Fourier dans L2 181

et cette integrale diff`ere de zero si et seulement sil existe un naturel l k tel que
k = 2l + n auquel cas sa valeur est

Ckl
(1)kl 2.
(2i)k

Il en resulte que
+
1 X (ix)2l+n (2l + n)!(2)
Jn (x) = (1)n+l
2 (2l + n)! l!(l + n)!(2i)2l+n
l=0
+
X ( x2 )2l+n
= (1)l .
l!(l + n)!
l=0

Vu ce qui prec`ede, il est clair que

Jn (x) = Jn (x)

et le developpement ci-dessus montre que

Jn (x) = (1)n Jn (x),

do`
u la conclusion. 2

Exercice 9.8 [Mouvement Keplerien]


Considerons le mouvement dune plan`ete autour du soleil et negli-
geons les interactions des autres plan`etes. Lorbite sera une ellipse
dexcentricite e < 1. La mecanique celeste nous apprend que ce mou-
vement est regi par lequation de Kepler

E e sin E = M.

Rappelons que dans cette relation, M designe lanomalie moyenne don-


nee par la formule
2(t t0 )
M=
T
o`
u t0 est le temps de passage au perihelie et o`
u T est la periode du mou-
vement planetaire encore appelee annee tropique. Quant `a la grandeur
E, il sagit de lanomalie excentrique dont la definition est clarifiee par
le schema ci-dessous
182 Chapitre 9.

Cela etant, on demande de montrer que pour e fixe, la solution E(e, M )


de lequation de Kepler est une fonction de classe C en M et que dans
C (IR), on a

X 2
E(e, M ) = M + Jk (ek) sin kM.
k=1 k

Solution: Definissons la fonction f : IR IR par la relation

f (E) = E e sin E.

Il est clair que f est de classe C sur IR et que

DE f = 1 e cos E > 0.

Il en resulte que f est strictement croissant et on en deduit lexistence dune fonction


inverse f 1 de classe C sur IR. Comme cette fonction f 1 concide visiblement
avec la solution E(e, M ) de lequation de Kepler, la premi`ere question est resolue.
Remarquons maintenant que si

E e sin E = M,

alors
(E + 2k) e sin(E + 2k) = M + 2k.
Ainsi, on a
E(e, M + 2k) = E(e, M ) + 2k
pour tout M et la fonction g(M ) = E(e, M ) M est periodique de periode 2.
Comme cette fonction est egalement impaire et de classe C sur IR, le theor`eme de
Series de Fourier dans L2 183

Fourier montre que :



X
g(M ) = Ck sin kM,
k=1

la serie etant convergente dans C et les coefficients Ck etant donnes par la formule

1 2
Z
Ck = g(M ) sin kM dM.
0
Une integration par partie montre de suite que
2
cos kM 1 2
Z
1 cos kM
Ck = (g(M ) ) + (DM g) dM.
k 0 0 k
Ainsi,
Z 2
1
Ck = (DM E 1) cos kM dM
k 0
Z 2
1
= DM E cos kM dM.
k 0

Or E(e, M ) definit un changement de variables de classe C entre ]0, 2[ et ]0, 2[,


donc on peut calculer Ck par la formule
Z 2
1
Ck = cos k(E e sin E)dE.
k 0
Par la definition des fonctions de Bessel dindice entier, on a :
Z
1
Jn (x) = eix sin in d
2
Z
1
= (cos(x sin n) + i sin(x sin n)) d.
2
En tenant compte de la parite du premier terme et de limparite et du second terme
de lintegrand ci-dessus, on voit que
Z 2
1
Jn (x) = cos(x sin n)d.
2 0
De cette formule, on deduit directement que
2
Ck = Jk (ek)
k
do`
u la conclusion. 2
184 Chapitre 9.
Chapitre 10

ees dans L2
Suites orthonorm

Exercice 10.1 Le procede dorthonormation de Schmidt applique


dans lespace L2 ([1, 1]) aux polynomes 1, x, x2 , . . . fournit les polyno-
mes de Legendre.
Solution:
1) Remarque : Si pm et p0m (m IN) sont deux suites de polynomes `a
coefficients reels telles que pour tout m, pm et p0m soient de degre m et (pm ) (resp.
(p0m )) soit une suite orthonormee dans L2 ([1, 1]), alors pm = p0m pour tout m.
De fait, pour m = 0, on a p0 = constante et kp0 k = 1; p0 est donc egal `a 1/ 2.
Pour m = 1, on a
x = hx, p0 i p0 + hx, p1 i p1 = hx, p1 i p1
(car lintervalle [1, 1] est symetrique par rapport `a lorigine) et par consequent,
p
|hx, p1 i| = hx, xi.

Comme p1 secrit aussi


1 1
p1 = hx, p1 i x hx, p1 i hx, p0 i p0 ,

on en deduit son expression (au signe pr`es).


Procedons par recurrence pour conclure : supposons que les polynomes p0 , p1 , p2 ,
. . . , pm soient determines (au signe pr`es). On a

xm+1 = xm+1 , p0 p0 + xm+1 , p1 p1 + + xm+1 , pm+1 pm+1 ,





donc

m+1 2 2
, pm+1 = ( xm+1 , xm+1 xm+1 , p0 xm+1 , pm )1/2 .


185
186 Chapitre 10.

Comme pm+1 secrit aussi


1 m+1
m+1 1
m+1
pm+1 = xm+1 , pm+1

x x , pm+1 x , p0 p0

m+1 1
m+1
x , pm+1 x , pm pm ,

on en deduit que pm+1 est determine au signe pr`es.


2) 1`ere demonstration (basee sur la remarque precedente).
Par le procede dorthonormation de Schmidt, `a partir des polynomes 1, x, x2 , . . .,
on obtient des polynomes de degre 0,1,2,... orthogonaux et normes. Il suffit d`es lors
de prouver que les polynomes de Legendre sont orthonormes.
3) 2`eme demonstration. Le procede dorthonormation de Schmidt applique
aux polynomes 1, x, x2 , . . . (baptises u0 , u1 , u2 , . . .), fournit les fonctions

u?0 := 1,
m1
X
u?m := um hum , u?k i (hu?k , u?k i)1 u?k (m 1).
k=0

On en deduit que
hxm , u?k i = 0 (10.1)
pour tous m, k tels que m < k (car um = xm est combinaison lineaire de u?0 , u?1 , . . . ,
u?m et car les u?k sont orthogonaux deux `a deux par construction).
Cela etant, pour trouver la forme canonique des u?m , considerons les fonctions
suivantes

f0 := u?0
Z x
(x t)m1 ?
fm (x) := um (t)dt (m 1).
1 (m 1)!

Ces fonctions sont en fait des primitives m-i`emes des fonctions u?m : on a

Dxm fm (x) = u?m (x)

pour tout m.
De plus, comme u?m est un polynome de degre m (demonstration par recurrence
en se servant de la formule recurrente du procede de Schmidt), fm est un polyn
ome
de degre 2m. Cherchons-en les racines afin den trouver une expression.
Soit m 1. Comme on a

Dxk fm (x)|x=1 = 0

pour tout k = 0, . . . , m 1 et comme fm est un polynome de degre 2m, on peut


ecrire
fm (x) = Cm (x2 1)m .
Suites orthonormees dans L2 187

Il sensuit que
u?m (x) = Dxm fm (x) = Cm Dxm (x2 1)m .

Il faut maintenant calculer la norme de u?m afin dorthonormer la suite. Soit m 1.


On a
Z 1
2
ku?m k = Cm u?m (x)Dxm (x2 1)m dx.
1

Vu la relation (10.1), quand on developpe lexpression Dxm (x2 1)m (qui est un
polyn
ome de degre m) et que lon calcule lintegrale, le seul terme non nul est le
terme correspondant au mon ome xm . Le coefficient de xm dans le developpement
m 2 m
de Dx (x 1) est (2m)!/m!, do` u lon tire
 Z 1
2 (2m)!
ku?m k = 2
Cm xm Dxm (x2 1)m dx.
m! 1

En integrant successivement m fois par parties, on obtient


Z 1
2
ku?m k = 2
Cm (2m)!(1)m (x2 1)m dx = Cm
2
(2m)!22m+1 B(m + 1, m + 1)
1
2 1 2m+1
= Cm (2m + 1) 2 (m!)2 .
q
2 2
D`es lors, comme ku?0 k = 2, et ku?m k = |Cm | 2m m! 2m+1 (car Cm est reel), on
obtient une suite orthonormee u??
m definie par

u??
0 = 2/2
 1/2
m 1 2m + 1
u??
m (x) = 2 (m!) Dxm (x2 1)m (m 1),
2

cest-`
a-dire les polyn
omes de Legendre si on consid`ere le signe +. 2

Remarque: En appliquant le procede dorthonormation de Schmidt

a) dans L2 ([0, +]) aux fonctions xm ex (m = 0, 1, . . .), on obtient les fonctions


de Laguerre;
2
b) dans L2 ([0, +]) aux fonctions xm ex (m = 0, 1, . . .), on obtient les fonctions
dHermite.
188 Chapitre 10.

Exercice 10.2 Designons par pm les polynomes de Legendre (m =


0, . . .) et par pl,m les fonctions associees de Legendre, cest-`a-dire les
fonctions
pl,m = (1 x2 )m/2 Dxm pl (x)
(x [1, 1]; m, l naturels positifs ou nuls tels que m l). Alors, dans
L2 ([1, 1]), on a les relations
(m + l)!
hpl,m , pl0 ,m i = l,l0
(l m)!
pour tous l, l0 et m tels que m inf(l, l0 ).
Solution: Supposons que lon ait l < l0 . Designons par qm+l le polynome de degre
a (1 x2 )m Dxm pl (x). D`es lors, on a
m + l egal `
Z 1
hpl,m , pl0 ,m i = qm+l (x)Dxm pl0 (x)dx.
1

Par des integrations successives par parties, en remarquant que lon a


hxm , pk i = 0 (10.2)
pour m, k IN tels que m < k, on obtient
hpl,m , pl0 ,m i = 0.
Supposons que m < l = l0 . Par m integrations par parties successives, on obtient
Z 1
m
hpl,m , pl,m i = (1) Dxm qm+l (x)pl (x)dx.
1

Cela etant, comme le coefficient de x du polynome (de degre l) Dxm qm+l (x) vaut
l

(m + l)!
(2l + 1)1/2 2l1/2 (l!)2 (1)m (2l)!
(l m)!
et comme on a les relations (10.2), on obtient
Z 1
(m + l)!
hpl,m , pl,m i = (2l + 1)1/2 2l1/2 (l!)2 (2l)! xl pl (x)dx.
(l m)! 1

En reprenant lexpression du polynome de Legendre, en integrant l fois par parties


et en faisant appel `a la fonction B, on trouve
(m + l)!
hpl,m , pl,m i = .
(l m)!
2
Suites orthonormees dans L2 189

Exercice 10.3 Soit E une partie mesurable de IRn et soit um (m


IN) une suite orthonormee totale dans L2 (E) pour laquelle il existe
C > 0 tel que |um | C pp sur E pour tout m IN. Alors, pour tout
f L1 (E), on a Z
lim f (x)um (x)dx = 0.
m+ E

Solution: Pour tout m IN, posons Am := {x E : |f (x)| m et |x| m} et


m := f Am . Alors m (m IN) est une suite delements de L1 (E) L2 (E) qui
converge dans L1 (E) vers la fonctions f . Cela etant, soit  > 0. Dune part, il existe
N IN tel que

kf N kL1 (E) .
2C
Dautre part, il existe M IN tel que

|hN , um i|
2
pour tout m M . Do`
u la conclusion, car on a
Z

f um dx C kf N k 1
L (E) + |hN , um i|
E

pour tout m IN. 2


190 Chapitre 10.
Appendice A

Rappel th
eorique

A.1 Topologie dun sous-espace


D
efinition
Un ouvert de A IRn est une partie de A de la forme A, o`
u
n
est un ouvert de IR ;
Un ferme de A IRn est une partie de A de la forme F A o`
uF
n
est un ferme de IR .
Exemples
a) Lintervalle [0, 1[ est un ouvert de [0, 2[;
b) Lintervalle ]0, 1] est un ferme de ]0, 2].

A.2 Densit
e
Definition
Une partie D de A IRn est dense dans A si A D . Il revient au
meme de dire que tout point de A est limite dune suite de points de
D.
Proposition Si D est une partie dense de A alors
a) tout ferme de A qui contient D est egal a` A;

191
192 Appendice A.

b) deux fonctions reelles continues f , g sur A verifient la relation






f (x) = g(x)


sur A ssi elles la verifient sur D.

A.3 Connexit
e
D efinition
Une partie A de IRn est connexe si elle nadmet pas de partition en
deux ouverts non vides. Il revient au meme dexiger que A ne contienne
aucune partie propre non vide `a la fois ouverte et fermee.
Une composante connexe de A IRn est un connexe maximal de A
(i.e. un connexe de A egal a` tout connexe de A qui le contient).
Une partie A de IRn est connexe par arcs si, pour tous x, y A, il
existe un chemin a` valeurs dans A dorigine x et dextremite y.
Proposition
a) Les composantes connexes de A IRn forment une partition de
A.
b) Tout espace connexe par arcs est connexe mais la reciproque est
fausse en general.
c) Un ouvert de IRn est connexe si et seulement sil est connexe par
arcs.

A.4 Convergence uniforme


Definition Soit E une partie de IRn et soient f , fm (m IN) des
fonctions definies sur E.
Nous dirons que
a) la suite fm converge ponctuellement vers f sur E si

x E  > 0 M > 0(m M |fm (x) f (x)| )


A.4. Convergence uniforme 193

et nous ecrirons alors


fm f
E

b) la suite fm converge uniformement vers f sur E si


 > 0 M > 0(m M, x E |fm (x) f (x)| )
et nous ecrirons alors
fm f
E

Remarquons que
fm f x E lim |fm (x) f (x)| = 0
E m+
fm f lim sup |fm (x) f (x)| = 0
E m+ xE

Critere de Cauchy uniforme


La suite fm de fonctions definies sur E converge uniformement sur
E si et seulement si
 > 0 M > 0 (m, n M sup |fm (x) fn (x)| )
xE

Une des motivations de lintroduction de la convergence uniforme


est le fait quune limite ponctuelle de fonctions continues nest pas
necessairement continue alors que cest le cas pour une limite uniforme.
Par exemple, sur IR, on a
2
arctan(mx) sgn x
IR

alors que la fonction sgn x est discontinue. Ce phenom`ene est visualise


sur le schema suivant:
194 Appendice A.

A.5 Suite d ements de Cp ()


el
u est un ouvert de IRn
Proposition Si fm est une suite de Cp () o`
et si

a) la suite D fm converge uniformement sur tout compact de


lorsque || = p

b) la suite D fm (x) converge en un point x de chaque composante


connexe de lorsque || < p

alors il existe une fonction f Cp () telle que

D fm D f
K

pour tout compact K de lorsque || p.

Pour tout f C0 (), posons

kf kK = sup |f (x)|
xK

Cette notation nous permet de deduire du resultat precedent le crit`ere


pratique suivant.
Crit`ere de d eries Soit fm Cp (), ouvert de
erivation des s
n
IR . Si les series numeriques
+
kD fm kK
X

m=0

convergent pour tout compact K de et tout multiindice tel que


|| p, alors il existe un element f Cp () tel que
+
D f = D fm
X

m=0

si || p.
A.6. Theor`eme de Stone-Weierstrass 195

A.6 Th
eor`
eme de Stone-Weierstrass
Proposition Si K est un compact de IRn alors pour tout f C0 (K)
et tout  > 0, il existe un polynome P tel que supxK |f (x) P (x)| 
(i.e. lensemble des polynomes est dense dans C0 (K)).
Corollaire Si f est une fonction periodique continue de periode T
sur IR alors pour tout compact K de IR et tout  > 0 il existe M IN
et des complexes rm , sm (0 m M ) tels que
M

X x x
f (x) (rm cos(2m ) + sm sin(2m )) , x K.


m=0 T T
196 Appendice A.
Bibliographie

[1] Boas R.P. A Primer of Real Functions, The Mathematical


Association of America (1981).
[2] Courant R.Hilbert D. Methods of Mathematical Physics,
Vol. I(1953) II(1962), Interscience Publishers.
[3] Garnir H.G. Fonctions de Variables Reelles, Vol. I(1970),
II(1965), Vandermeulen.
[4] Garnir H.G., Dewilde M., Schmets J. Analyse
Fonctionnelle, Vol. I(1968), II(1970), III(1973), Birhauser.
[5] Jongmans J. Notions de Topologie Generale, Cours roneotype,
Universite de Li`ege.
[6] Schmets J. Introduction aux espaces fonctionnels, Cours de
2`eme candidature sc. math. & phys., Universite de Li`ege (1989).
[7] Schwartz L. Methodes mathematiques pour les sciences
physiques, Hermann (1961).
[8] Schwartz L. Theorie des Distributions, Hermann (1966).
[9] Smirnov V. Cours de Mathematiques Superieures, Editions
MIR (1972).
[10] Thomson W.T. Laplace Transformation, Longmans, Green
& Co. (1957).

197
198 Bibliographie
Table des Mati`
eres

Introduction i

1 Espaces m
etriques et norm
es 1

2 Espaces Cp 19

3 Int
egrales particuli`
eres 45

4 Espaces L1 , L2 et L 65

5 Produit de Convolution 79

6 Transformation de Fourier dans L1 107

7 Transformation de Laplace dans L1 131

8 Transformation de Fourier dans L2 151

eries de Fourier dans L2


9 S 163

ees dans L2
10 Suites orthonorm 183

A Rappel th
eorique 189

199

Das könnte Ihnen auch gefallen