Chap 5
Chap 5
Chap 5
Fonctions harmoniques
5.1 Généralités
Pour z 2 C, on note z = x + iy.
Définition 5.1. Soit U ⇢ C un ouvert. On dit que u 2 C(U ) est harmonique sur U si en tout point de D,
@2u @2u @2u @2u
ses dérivées partielles et existent et vérifient u := + 2 = 0.
@x2 @y 2 @x2 @y
Pour qu’une fonction soit harmonique, il faut et il suffit que ses parties réelle et imaginaire le soient.
Remarque 5.2. On rappelle que si f : U ! C est holomorphe (c’est-à-dire C-di↵érentiable i.e. pour
z0 2 U , il existe f 0 (z0 ) 2 C tel que f (z) = f (z0 ) + (z z0 )f 0 (z0 ) + o(z z0 ) au voisinage de z0 ) alors elle
est indéfiniment di↵érentiable en (x, y). La fonction f vérifie alors dans U l’équation de Cauchy-Riemann
✓ ◆
1 @f @f
(5.1) @f := +i = 0.
2 @x @y
✓ ◆
1 @f @f
De plus, si on note @f := i , alors f 0 (z0 ) = @f (z0 ).
2 @x @y
Réciproquement, si f est continue et vérifie l’équation de Cauchy-Riemann sur U alors elle est holomorphe
dans U .
Rappelons, enfin, que f est holomorphe dans U si et seulement si f est développable en série entière au
voisinage de chaque point de U .
On calcule
(5.2) 4@@f = 4@@f = f.
Ainsi une fonction holomorphe dans U est harmonique dans U .
L’égalité (5.2) implique que la partie réelle (ainsi que la partie imaginaire) d’une fonction holomorphe est
harmonique. On verra un peu plus loin que ce résultat admet une réciproque.
99
1. P (r, t) > 0,
2. P (r, t) = P (r, t),
Z 2⇡
1
3. P (r, t)dt = 1,
2⇡ 0
4. pour 0 < < |t| ⇡, on a P (r, t) P (r, ),
5. P (r, ) ! 0 quand r ! 1 (avec 0 < ⇡)
Ainsi, si (rn )n est une suite positive telle que rn ! 1 la suite (t 7! P (rn , t))n est une approximation de
l’identité (voir la définition 4.7).
On note D = {z 2 C; |z| < 1}, le disque unité ouvert, et D sa clôture, le disque unité fermé. En posant
z = reit 2 D, on calcule
✓ i⌧ ◆
e +z 1 |z|2
(5.4) P (r, t ⌧ ) = Re i⌧ = i⌧ .
e z |e z|2
On va considérer cette fonction comme une fonction de la variable complexe z = reit dans D.
Si f est à valeurs réelles, alors
Z i⌧
it 1 e +z
(5.6) f (z) = f re = Re f (ei⌧ )d⌧ .
2⇡ T ei⌧ z
Par le théorème d’holomorphie sous le signe somme, la fonction
Z i⌧
1 e +z
z 7! f (ei⌧ )d⌧
2⇡ T ei⌧ z
est holomorphe dans D. Ainsi z 7! f (reit ) est harmonique dans D si f est à valeurs réelles. Ceci reste vrai
pour f intégrable sur T en la décomposant comme la somme de ses parties réelle et imaginaire. On a donc
démontré
Proposition 5.3. Pour f 2 L1 (T), l’intégrale de Poisson f (reit ) est une fonction harmonique dans D.
On a
Théorème 5.4. Soit u une fonction continue à valeurs réelles sur D harmonique dans D. Alors, dans D,
u est l’intégrale de Poisson de sa restriction à T et elle est la partie réelle de la fonction holomorphe
Z i⌧
1 e +z
(5.7) f (z) = u(ei⌧ )d⌧, z 2 D.
2⇡ T ei⌧ z
Démonstration. Par le théorème d’holomorphie sous le signe somme, la fonction f définie par (5.7) est
holomorphe dans D. Il nous suffit de montrer que u = u1 où u1 =Re f .
Montrons d’abord que u1 se prolonge continûment sur D et que (u1 )|T = u|T . Il suffit donc de montrer que
Z
1 ei⌧ + reit
(5.8) lim Re i⌧ u(ei⌧ )d⌧ = u(eit ).
r!1 2⇡ T e reit
100
En utilisant les propriétés de P (r, t) (voir les points 1-5 dans la section 5.1.1), pour positif petit arbitraire,
on calcule
Z Z
1 ei⌧ + reit i⌧ it 1 ei⌧ + reit
Re i⌧ u(e )d⌧ u(e ) = Re u(ei⌧ ) u(eit ) d⌧
2⇡ T e reit 2⇡ T ei⌧ reit
Z
1
P (r, t ⌧ ) u(ei⌧ ) u(eit ) d⌧
2⇡ T
1
sup |u(ei⌧ ) u(eit )| + 2 sup |u(eit )| sup P (r, t).
2⇡ |t ⌧ | t2T |t|
t2T
Le théorème 5.4 montre que, si u est harmonique dans D, il existe f holomorphe dans D tel que u =Re f .
En e↵et, u est continue dans D ; pour 0 < r < 1, on peut donc appliquer le théorème précédent à la fonction
z 7! u(rz) ce qui définit une fonction z 7! fr (rz) holomorphe sur D. Ainsi u(z) =Re fr (z) sur rD. Si
0 < r < r0 < 1, on a Re (fr fr0 )(z) = 0 sur rD. Donc, fr fr0 est une fonction holomorphe à valeurs
purement imaginaires sur rD ; elle est donc constante et cette constante peut être choisie nulle. Ainsi[ fr0 est
0
un prolongement holomorphe de fr à r D. On construit ainsi une fonction holomorphe sur D = rD
0<r<1
telle que u =Re f . On peut étendre ce résultat à un ouvert connexe.
Démonstration. Pour tout z0 2 U et r0 > 0 tel que z0 + r0 D ⇢ U , le raisonnement fait ci-dessus construit
une fonction, disons, fz0 ,r0 holomorphe sur z0 + r0 D telle que u|z0 +r0 D =Re fz0 ,r0 . Si z0 + r0 D \ z00 + r00 D 6= ;,
on peut, quitte à les modifier par une constante imaginaire pure, garantir que fz0 ,r0 = fz00 ,r00 sur z0 + r0 D \
z00 + r00 D. La collection de fonctions (fz0 ,r0 )z0 +r0 D⇢U définit alors une fonction holomorphe sur U telle que
u =Re f .
Supposons U est connexe et f et f˜ telles que u =Re f =Re f˜. Alors, pour c 2 R, {z 2 U ; f (z) f˜(z) = c}
est fermé car f f˜ est continue et ouvert car f f˜ est holomorphe. Donc, comme U est connexe, {z 2
U ; f (z) f˜(z) = c} = ; ou {z 2 U ; f (z) f˜(z) = c} = U . Ainsi si f et f˜ prennent la même valeur en un
point, elles sont égales sur U .
Ceci achève la preuve du théorème 5.5.
Corollaire 5.6. Soient U et V des ouverts de C. Si f est holomorphe de V dans U et que g est harmonique
de U dans C alors g f est harmonique sur V .
101
Définition 5.8. Soient u : U ! R harmonique et v : U ! R. On dit que v est une conjuguée harmonique
de u (sur U ) si est seulement si u + iv est holomorphe sur U .
Le théorème 5.5 garantit l’existence d’une conjuguée harmonique. Si U est connexe, elle unique à une
constante réelle près.
Q est la conjuguée harmonique du noyau de Poisson P (normalisé de façon que Q(0, t) = 0).
102
Or v est majorée par m dans z0 + r0 D. Comme v est continue, elle est constante égale à m sur z̃0 + rT pour
0 < r < r̃0 , c’est-à-dire, sur le disque z̃0 + r̃0 D. On voit ainsi que l’ensemble {z 2 z0 + r0 D; v(z) = m} est
ouvert ; il est clairement fermé ; ainsi, comme z0 + r0 D est connexe, v est constante sur z0 + r0 D. Or, sur le
bord z0 + r0 T, elle est nulle ; ainsi m 0. Comme on peut appliquer le même raisonnement à v, on obtient
v est identiquement nulle et que u et ũ coı̈ncident sur z0 + r0 D. Enfin, comme z0 et r0 sont arbitraires tels
que z0 + r0 D ⇢ U , on obtient que u = ũ sur U .
Ceci achève la preuve du théorème 5.11.
Remarque 5.12. En intégrant (5.11) par rapport au rayon du cercle, on voit que si u vérifie la propriété
de la moyenne (5.11) sur U , elle vérifie aussi
Z
1
(5.14) u(z0 ) = 2 u(z)dxdy
⇡r z0 +rD
si z0 + rD ⇢ U .
Théorème 5.13 (Le principe du maximum). Soit U un ouvert connexe borné et u : U ! R continue et
harmonique dans U . Alors max u = max u et s’il existe x0 2 U tel que u(x0 ) = max u alors u est constante
U @U U
égale à u(x0 ).
Démonstration. Comme u est continue sur U compact, il existe x0 2 U tel que u(x0 ) = max u. En prenant
U
v = u dans la preuve du théorème 5.11, on obtient immédiatement l’énoncé du théorème 5.13.
Théorème 5.14 (Théorème de Harnack). Soit (un )n une suite de fonctions harmoniques dans un ouvert
connexe U .
1. Si un ! u localement uniformément dans U (i.e. uniformément sur tout compact de U ) alors u est
harmonique sur U .
2. Si u1 u2 · · · alors soit (un )n converge localement uniformément dans U soit elle diverge vers
+1 sur tout U .
Démonstration. Démontrons 1. Comme (un )n converge uniformément vers u sur tout compact de U , u est
continue et elle vérifie la propriété de la moyenne (comme conséquence du théorème de convergence dominée
et car tous les (un )n la vérifie ). Donc u est harmonique.
Démontrons 2. Quitte à soustraire u1 à tous les éléments de la suite, on peut supposer u1 0. Posons
u = sup un . Soit z0 + r0 D ⇢ U . Alors, pour 0 r r0 , le noyau de Poisson satisfait à
r0 r r02 r2 r0 + r
2 2
.
r0 + r r0 2r r0 cos(t ⌧ ) + r r0 r
103
et fermé dans U connexe ; il est donc vide ou égal à U tout entier. S’il est U tout entier, on peut appliquer
le théorème de convergence monotone à la formule de Poisson pour les (un )n ce qui nous dit que u vérifie la
formule de Poisson dans U et ainsi est harmonique dans U . L’uniformité de la convergence sur tout compact
provient par exemple de (5.15) appliqué à u un qui donne, pour z0 + r0 D ⇢ U ,
r0 r r0 + r
(u un )(z0 ) sup (u un )(z) (u un )(z0 ).
r0 + r z2z0 +r0 D r0 r
5.2.1 Définition
Soit f 2 L1 (T). À f , par la formule de Poisson (5.5), on peut associer une fonction harmonique dans D que
l’on notera aussi f . Le théorème de Fatou (théorème 4.29) et la remarque qui le suit nous disent qu’en tout
point de Lebesgue de t 7! f (eit ), on a f (eit ) = lim f (reit ).
r!1
Exercice 5.15. Montrer qu’en tout point de Lebesgue de t 7! f (eit ), on a f (z) ! f (eit ) quand z ! eit ,
|z| < 1 non tangentiellement (i.e. si z reste dans un secteur de la forme {z 2 D; |arg(1 ze it )| ↵} (où
0 < ↵ < ⇡ est arbitraire).
La conjuguée harmonique de f (normalisée par la valeur 0 au point 0) est alors définie par (5.9) ; on la note
f˜(reit ) (0 r < 1, t 2 T). On va montrer que, pour presque tout t 2 T, cette fonction harmonique admet
une limite radiale en eit i.e. la limite lim f˜(reit ) existe.
r!1
Lemme 5.16. Toute fonction harmonique bornée sur D est la transformée de Poisson d’une fonction bornée
sur T.
Démonstration. Soit F harmonique et bornée sur D. Soit (rn )n une suite positive telle que rn ! 1 . Posons
fn (eit ) = F (rn eit ). La suite (fn )n est bornée dans L1 (T). Comme L1 (T) est le dual de L1 (T), il existe une
sous-suite (fnj )j 1 qui converge faiblement (i.e. pour tout g 2 L1 (T), (hfnj , gi)j 1 converge) vers, disons,
F (eit ). Soit ⇢ei⌧ 2 D. Alors
Z
1
F (eit t)P (⇢, ⌧ t)dt = hF, P (⇢, ⌧ ·)i = lim hfnj , P (⇢, ⌧ ·)i
2⇡ T j!+1
Z
1
= lim fnj (eit )P (⇢, ⌧ t)dt = lim F (rnj ⇢eit ) = F (⇢eit ).
j!+1 2⇡ T j!+1
Ainsi F (reit ) est bien la transformée de Poisson de F ce qui prouve le lemme 5.16.
Lemme 5.17. Soit f 2 L1 (T) et soit f˜(reit ) définie par (5.9). Alors, pour presque tout t, f˜(reit ) a une
limite quand r ! 1 .
Démonstration. On peut décomposer f = f1 f2 + if3 if4 où (fj )1j4 sont intégrables et positives. Par
linéarité de l’application f 7! f˜(reit ) on peut supposer que f est positive.
˜
Par définition de la conjuguée harmonique, la fonction F (z) := e f (z) if (z) est holomorphe (donc aussi
harmonique) dans D. L’intégrale de Poisson d’une fonction positive est positive ; la conjuguée harmonique
104
d’une fonction à valeurs réelles est à valeurs réelles. Ainsi |F (z)| 1 dans D. Par le lemme 5.16 (et le
it
théorème 4.29), F admet une limite radiale de module e f (e ) presque partout. Cette limite est non nulle
presque partout car f est intégrable. Et en chaque point où cette limite est non nulle, comme F admet une
limite radiale, la fonction f˜(reit ) admet une limite radiale. Ceci achève la preuve du lemme.
Définition 5.18. La fonction conjuguée d’une fonction f intégrable sur T est la limite radiale de f˜(reit ).
Remarque 5.19. On notera que la fonction conjuguée d’une fonction à valeurs réelles est elle auss i à
valeurs réelles (voir la preuve du Lemme 5.17).
Si la série conjuguée de la série de Fourier de f intégrable est la série de Fourier d’une fonction g intégrable,
alors, clairement, l’intégrale de Poisson de g est f˜(reit ) qui converge radialement vers g(eit ) presque partout
(théorème 4.29). On a alors que f˜ = g ; ainsi, la définition 5.18 généralise la définition donnée dans la
section 4.2.2. X cos nt
À la suite du théorème 4.31 et du corollaire 4.32, nous avons vu que est une série de Fourier
log n
n 2
X sin nt X sin nt
alors que sa série conjuguée n’en est pas une. Comme converge en tout point (par le
log n log n
n 2 n 2
X cos nt
critère des séries alternées), sa somme est la fonction conjuguée de f = et on peut vérifier que
log n
n 2
X sin nt
t 7! n’est pas intégrable. Il existe donc des fonctions intégrables dont la fonction conjuguée n’est
log n
n 2
pas intégrable.
X sin nt
Remarque 5.20. Le fait que n’est pas une série de Fourier ne suffit pas à démontrer qu’elle ne
log n
n 2
définit pas une fonction intégrable. Néanmoins on montrera plus loin que si f et f˜ sont intégrables, alors
f˜(reit ) est l’intégrale de Poisson de f˜. Ceci permet alors de démontrer que si f˜ est intégrable alors sa série
de Fourier est la série conjuguée de celle de f ; ainsi si cette série n’est pas une série de Fourier alors f˜ ne
peut être intégrable.
Ce qui nous fait défaut ici est que nous n’avons que la convergence radiale ponctuelle (presque partout) ;
nous ne pouvons donc pas contrôler la convergence d’intégrales de telles fonctions.
Définition 5.21. La fonction de répartition d’une fonction sur T mesurable à valeurs réelles est la fonction
Les fonctions de répartitions sont croissantes et continues à droite ; elles tendent vers 0 en 1 et vers 2⇡
en +1. On peut donc associer à mf sa mesure de Stieltjes-Lebesgue notée dmf (voir l’exercice 3.30). C’est
une mesure de Borel positive (car mf croı̂t) de masse totale 2⇡. dmf est la mesure image par f de la mesure
de Lebesgue sur T.
105
n
X
Démonstration. Si F est une fonction en escalier i.e. F = fk 1]ak ,ak+1 ] , (5.16) est clairement vrai par la
k=1
définition de mf : en e↵et,
Z n
X Z n
X Z
(5.17) F (f (t))dt = fk 1]ak ,ak+1 ] (f (t))dt = fk [mf (ak+1 ) mf (ak )] = F (x)dmf (x).
T k=1 T k=1 R
Supposons maintenant que F est continue bornée (non identiquement nulle). Les deux intégrales dans (5.16)
sont bien définies. Pour " > 0, on sait qu’il existe X" > 0 tel que mf ( X" ) + (2⇡ mf (X" )) "/(4kF k).
Ainsi on a
Z Z Z !
(5.18) |F (f (t))| 1f (t) X" + 1f (t)>X" dt + + |F (x)|dmf (x) "/2.
T ] 1, X" ] ]X" ,+1[
D’autre part, on construit F" en escalier nulle hors de ] X" , X" ] telle que sup |F (t) F" (t)| "/8⇡.
X" <tX"
Ainsi, par (5.17) et (5.18), on calcule
Z Z
F (f (t))dt F (x)dmf (x)
T R
Z Z Z
F" (f (t))dt F" (x)dmf (x) + |1] X" ,X" ] (F F" )|(f (t))dt
T R T
Z
+ |F F" (x)|dmf (x) + "/2 ".
] X" ,X" ]
Comme " > 0 est arbitraire, on obtient (5.16) quand F est continue bornée.
Supposons F est continue positive. Pour n 1, on définit la fonction
⇥ ⇤
x 7! Fn (x) = F (x) 1] n,n[ + 1[ n 1, n] (x + n + 1) + 1[n,n+1] (n + 1 x) .
La suite (Fn )n est une suite croissante de fonctions positives continues bornées qui converge ponctuellement
vers F . Par le théorème de convergence monotone et ce qui vient d’être montré pour les fonctions continues
bornées, on sait que
Z Z Z Z
F (f (t))dt = lim Fn (f (t))dt = lim Fn (x)dmf (x) = F (x)dmf (x).
T n!+1 T n!+1 R R
Définition 5.23. Pour 0 < p < +1, on dit qu’une fonction mesurable f est de type Lp faible s’il existe
une constante C > 0 telle que, pour tout > 0
p
(5.19) |{t 2 T; |f (x)| > }| = 2⇡ m|f | ( ) C .
Toute fonction dans Lp (T) est de type Lp faible. En e↵et, par le lemme 5.22, pour > 0, on a
Z +1 Z +1 p Z +1 p
p 1 p 1 p
(5.20) kf kp = x dm|f | (x) x dm|f | (x) dm|f | (x) = (2⇡ m|f | ( )).
2⇡ 0 2⇡ 2⇡ 2⇡
106
0
Lemme 5.24. Si f est de type Lp faible alors f 2 Lp (T) si 0 < p0 < p.
Démonstration. Supposons que f est à valeurs positives et que kf k1 = 1. Soit > 1. On veut estimer la
mesure de Lebesgue de l’ensemble des points t où |f˜(t)| > . Par la définition de f˜(t) et le théorème de
convergence dominée, il suffit pour cela d’estimer |{|f˜(reit )| > }| pour 0 < r < 1
Pour cela, on considère la fonction
1 z i 1 z i
H (z) = 1 + arg = 1 + Im log .
⇡ z+i ⇡ z+i
Elle est harmonique et à valeurs positive dans le demi-plan {z; Re z > 0} (ici le logarithme est la branche
principale du logarithme complexe). Ses lignes de niveau {z; H (z) = x} sont des arcs de cercle passant par
les points i et i . La ligne de niveau {z; H (z) = 1/2} est le demi-cercle { ei✓ ; ⇡/2 < ✓ < ⇡/2}. Ainsi,
si |z| > on a H (z) > 1/2. D’autre part, on a
2 2
H (1) = 1 arctan < .
⇡ ⇡
La fonction H (f (z) + if˜(z)) est une fonction harmonique (cf 5.6) bien définie dans D ; la propriété de la
moyenne nous dit alors que, pour 0 r < 1,
Z 2⇡
1 2
(5.21) H (f (reit ) + if˜(reit ))dt = H (f (0)) = H (1) <
2⇡ 0 ⇡
Z
1
en se souvenant que f (0) = f (eit )dt = kf k1 = 1 et que f˜(0) = 0 par définition.
2⇡ T
Comme H (f + if˜) 1/2 si |f + if˜| > , on obtient que, pour 0 r < 1,
n o n o ⇢
˜ ˜ 1
it
t; |f (re )| > it it
t; |f (re ) + f (re )| > t; H (f (reit ) + f˜(reit )) >
2
Z 2⇡
8
2 H (f (reit ) + if˜(reit ))dt .
0
107
Ainsi, par homogénéité, pour f 0, on a
n o 8kf k1
t; |f˜(reit )| > .
Pour traiter le cas général i.e. quand f intégrable à valeurs complexes, on décompose f = f1 f2 + if3 if4
où (fi )1i4 sont mesurables positives et f1 f2 = f3 f4 = 0. Alors kfi k1 kf k1 et, par linéarité, on a
f˜ = f˜1 f˜2 + if˜3 if˜4 . Ainsi
n o 4 n
X o
t; |f˜(reit )| > t; |f˜j (reit )| > /4 .
j=1
Démonstration. Posons F (z) = f˜(z) if (z). Comme cos(↵ f (z)) cos(↵) et que f et f˜ sont à valeurs
réelles, on a
⇣ ⌘
˜ ˜
(5.24) Re e↵ F (z) = e↵f (z) cos(↵f (z)) e↵f (z) cos ↵.
⇣ it
⌘
De plus, comme z 2 D 7! Re e↵F (re ) est harmonique et que f˜(0) = 0, pour 0 r < 1, on a
Z 2⇡ ⇣ ⌘ ⇣ ⌘
1 it
Re e↵F (re ) dt = Re e↵F (0) = cos (↵f (0)) 1.
2⇡ 0
Corollaire 5.28. Si kf k1 1 on a
✓ ◆
4
(5.25) m|f˜| ( ) > 2⇡ 1 p e .
cos 2
108
Démonstration. On décompose f en p partie réelle et imaginaire
p f˜ = f˜r + if˜i , si
i.e. f = fr + ifi . Comme p
˜ it ˜ it ˜ it
|f (re )| > alors soit |fr (re )| > / 2 soit |fi (re )| > / 2. Ainsi, par (5.23) pour ↵ = 2, on obtient
n p o 4⇡
t; |f˜• (reit )| > / 2 < p e pour • 2 {i, r}
cos 2
ce qui donne immédiatement (5.25).
On va maintenant voir que la fonction de répartition de la fonction conjuguée de l’indicatrice d’un ensemble
mesurable ne dépend que de la mesure (de Lebesgue) de cet ensemble et non de l’ensemble lui même.
Théorème 5.29. Soient 0 ↵ ⇡ et E ⇢ T un ensemble de mesure 2↵. Soit 1E sa fonction indicatrice et
1] ↵,↵[ celle de ] ↵, ↵[. Posons mE := m1̃E et m↵ := m1^ . Alors mE = m↵ .
] ↵,↵[
Démonstration. Comme elles sont de mesure totale finie, pour montrer que les mesures boréliennes dmE et
dm↵ coı̈ncident, il suffit de montrer que
Z Z
(5.26) eix⇠ dmE (x) = eix⇠ dm↵ (x), 8⇠ 2 R.
R R
On peut alors multiplier cette équation par e a2 ⇠ 2 /4 (pour a > 0) et intégrer en ⇠ sur R en utilisant le
théorème de Fubini pour obtenir
Z Z 2 2 ! Z ✓Z ◆
a ⇠ /4+i(x b)⇠
a2 ⇠ 2 /4+i(x b)⇠
d⇠ dmE (x) = e d⇠ dm↵ (x)
R < R R
soit encore
Z Z Z Z
(a⇠/2+i(x b)/a)2 a 2 (x b)2 (a⇠/2+i(x b)/a)2 a 2 (x b)2
e d⇠ e dmE (x) = e d⇠ e dm↵ (x).
R R R R
Z
(a⇠/2+i(x b)/a)2 p
Comme a e d⇠ = 2 ⇡ pour tout a > 0 et b 2 R, on a, pour ces mêmes a et b,
R
Z Z
a 2 (x b)2 a 2 (x b)2
e dmE (x) = e dm↵ (x).
R R
Soit ' : R ! R une fonction continue à support compact. On peut alors multiplier l’équation précédente
par '(b) et intégrer en b sur R pour obtenir par le théorème de Fubini et par un changement de variable,
pour tout a > 0, l’égalité suivante
Z ✓Z ◆ Z ✓Z ◆
t2 a 2 (x b)2
e '(x at)dmE (x) dt = e '(b)db dmE (x)
R R
Z R ✓Z R ◆ Z ✓Z ◆
a 2 (x b)2 t2
= e '(b)db dm↵ (x) = e '(x at)dm↵ (x) dt.
R R R R
Z
p t2
En laissant a tendre vers 0, comme e
dt = ⇡, le théorème de convergence dominée nous dit que, pour
R Z Z
toute ' continue à support compact, on a '(x)dmE (x) = '(x)dm↵ (x). Ainsi, par le théorème 1.19,
R R
109
on a mE = m↵ .
˜
Démontrons maintenant (5.26). Fixons ⇠ 2 R et considérons la fonction z 7! F⇠ (z) := e⇠(f (z)+if (z)) analytique
dans D. Pour f = 1E , par la formule de la moyenne pour 0 < r < 1, on a
Z Z Z
˜ it ˜ it
2⇡e⇠↵/⇡ = 2⇡F⇠ (0) = F⇠ (reit )dt = ei⇠f (re ) dt + e⇠ ei⇠f (re ) dt.
T T\E E
Donc n1 et n2 sont déterminées par la seule valeur de ↵. Elles sont donc les mêmes pour f˜ et 1^ ] ↵,↵[ . On
obtient ainsi que les fonctions de répartition de f˜ et 1^
] ↵,↵[ coı̈ncident. En fait, on voit de plus que les
⇣ ⌘
fonctions de répartition de f|E et celle de 1^
˜ ] ↵,↵[ coı̈ncident également.
|] ↵,↵[
110
Donc, en prenant la limite quand r ! 1 , on trouve
1 1 cos(t ↵)
(5.31) 1^ it
] ↵,↵[ (e ) = log .
2⇡ 1 cos(t + ↵)
on a 1^ it
] ↵,↵[ (e ) = 1[ ⇡,^ it
↵][[↵,⇡] (e ). Or |[⇡, ↵] [ [↵, ⇡]| = 2(⇡ ↵). Donc, par le théorème 5.29
{t; 1]↵^ it ^ it
⇡,⇡ ↵[ (e ) > } = {t; 1] ↵,↵[ (e ) > }
Ainsi,
( )
n o sin ↵ 1 ⇣p 2⇡ ⌘ p
t; 1^ it
] ↵,↵[ (e ) > ⇢ t; p >p e + sin2 ↵ cos ↵ 2sh(⇡ )
1 cos(t + ↵) 2
⇢ ✓ ◆
sin2 ↵
⇢ t; |t + ↵| < arccos 1
2 sh2 ⇡
⇢
p sin ↵
⇢ t; |t + ↵| < 2 .
sh⇡
Démonstration. On rappelle que f 7! f˜ est bornée de L2 (T) dans lui-même et que sa norme est majorée
par 1 (voir le corollaire 4.41. De (5.20) pour p = 2, on déduit
111
Soit f 2 L1 (T) telle que f log+ |f | 2 L1 (T). Pour montrer que f˜ 2 L1 (T), par le lemme 5.22, il suffit de
Z +1 Z R
montrer de montrer que dm|f˜| ( ) < +1 soit encore que la fonction R 7! dm|f˜| ( ) < +1 reste
1 1
bornée quand R ! +1. En intégrant par parties comme dans la preuve du lemme 5.24, on obtient
Z R Z +1 R Z R Z R
dm|f˜| ( ) = dm|f˜| ( ) + (2⇡ m|f˜| ( ))d 2⇡ + (2⇡ m|f˜| ( ))d
1 1 1 1
(5.34) {t; |f˜(t)| > } ⇢ {t; |g̃(t)| > /2} [ {t; |h̃(t)| > /2}.
Comme g 2 L2 (T), on a
Z
2
(5.35) |{t; |g̃(t)| > /2}| 8⇡ kgk22 = 8⇡ 2
x2 dm|f | (x).
0
p p
Or pour x > 1, on a log x log ; donc
Z +1 p
256
(5.36) |{t; |h̃(t)| > /2}| p x log x dm|f | (x).
log
Par (5.34), (5.35) et (5.36), on a
Z Z +1 p
2 2 256
2⇡ m|f˜| ( ) 8⇡ x dm|f | (x) + p x log x dm|f | (x).
0 log
Pour obtenir (5.33) et le théorème 5.31, il nous suffit donc de montrer que, quand R ! +1,
Z +1 ✓Z ◆ Z +1 ✓ Z +1 p ◆
2 1
(5.37) x2 dm|f | (x) d + p x log x dm|f | (x) d < +1
1 0 1 log
On sait que la mesure dm|f | est positive, de masse totale 2⇡ et, par notre hypothèse, que
Z +1
(5.38) x log x dm|f | (x) < +1.
1
Pour démontrer (5.37), on applique le théorème de Fubini de la façon suivante. Le domaine d’intégration de
la première intégrale est le trapèze {(x, ); 1 +1, 0 x } ; en intégrant d’abord en , on calcule
Z +1 ✓Z ◆ Z 1 Z +1 Z +1
2 2
x dm|f | (x) d = x2 dm|f | (x) + x2 x 1 dm|f | (x) = 2⇡ + x dm|f | (x) < +1
1 0 0 1 1
112
Le domaine d’intégration de la seconde intégrale dans (5.37) est la bande {(x, ); 1 +1, x} ; en
intégrant d’abord en , on calcule
Z +1 ✓ Z +1 p ◆ Z +1
1
p x log x dm|f | (x) d = 2 x log x dm|f | (x) < +1.
1 log 1
Ceci achève la preuve du théorème 5.31.
On peut adapter cette analyse aux fonctions intégrables sur R. On remplacera alors la fonction de répartition
que nous avons définie par une autre de ces versions |{x 2 R; |f (x)| > }| ; elle a l’avantage d’être finie pour
tout > 0 pour une fonction f intégrable sur R.
Il est utile de définir une discrétisation de la fonction de répartition.
Définition 5.32. Soit (X, S, ) un espace mesuré. Pour f mesurable sur X et n 2 Z, on pose
mn = mn (f ) = ({x 2 T; 2n 1
< |f (x)| 2n }).
Comme
X
kf kpLp 2np mn (f ) 2p kf kpLp
n2Z
(5.39) X X
et, pour t > 0, mn (f ) ({x 2 T; t < |f (x)|}) mn 1 (f )
n2Z n2Z
2n t 2n t
Supposons que l’on ait montré que f 7! f˜ est bornée par C sur Lp (T) pour 1 < p 2, l’équation ci-dessus
nous dit que g̃ définit une forme linéaire continue sur L2 (T) \ Lp (T) pour la norme Lp qui vérifie
|hf, g̃i| CkgkLq kf kLp
Cette forme se prolonge donc continûment à Lp (T) (comme L2 (T) \ Lp (T) contient les fonctions continues
qui sont denses dans Lp (T))). Par le théorème 2.28, on obtient que, si g 2 Lq (T) ⇢ L2 (T) alors g̃ 2 Lq (T) et
que kg̃kLq CkgkLq .
Il nous suffit donc de démontrer le théorème 5.33 pour 1 < p < 2.
113
Remarque 5.34. L’égalité (5.40) montre que, sur L2 (T), l’application linéaire f 7! f˜ est l’opposée de son
adjoint ; ceci reste vrai sur Lp (T), l’adjoint agissant sur Lq (T), le dual de Lp (T).
On suppose donc que 1 < p < 2. Par le premier encadrement dans (5.39), il nous suffit d’estimer les
(mn (f˜))n2Z . Décomposons f = fn + gn où fn := f 1{x;|f (x)|>2n } . Comme 1 < p < 2, on sait que fn 2 L1 (T)
et gn 2 L2 (T). Par (5.39), on a donc
X X
(5.41) kfn kL1 2k mk (f ) et kgn kL2 22n mk (f ).
k n+1 kn
Par linéarité, f˜ = ff
n + gen , Donc, par l’analogue de (5.34), on a
114