Fonctionsharmoniques

Table des matières
1 Notions, définitions et préliminaires 5

1.1 Rappel sur les fonctions différentiables . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Les fonctions Holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Propriétés élémentaires des fonctions holomorphes . . . . . . . . . . . . . . 6
1.2.2 Zéros d’une fonction holomorphe . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Les fonctions harmoniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Les propriétés des fonctions harmoniques 16

2.1 Propriétés de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1.1 Moyenne arithmétique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1.2 Théorème du minimum et du maximum, forme forte . . . . . . . . . . . . . 17
2.1.3 Principe d’unicité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Les fonctions harmoniques bornées . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1 Estimation de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.2 Familles normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.3 Principe de maximum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 Les fonctions harmoniques polynômial . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.1 Décomposition polynômiale . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.2 Décomposition harmonique sphérique de L2 (S) . . . . . . . . . . . . . . . . 24
2.3.3 Le noyau de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.4 Les fonctions harmoniques positives . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4.1 Théorème de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4.2 Inégalité de Harnack et convergence de Harnack . . . . . . . . . . . . . . . 27
2.4.3 Singularités isolées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Les zéros des fonctions harmoniques . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1
3 Les applications des fonctions harmoniques 31
3.1 Existence et Unicité de solution du problème de Dirichlet . . . . . . . . . . . . . . . 31
3.2 Existence et Unicité de solution du problème de Neumann . . . . . . . . . . . . . . 34
3.3 Existence et Unicité de solution du problème mixte . . . . . . . . . . . . . . . . . . 35
2
Notations
: un ouvert de C.
@ : frontière de .
lim : la limite.
: le laplacien.
t
@f @f
r : le gradient de la fonction f : Rn ! R est rf = @x1
; ; @xn
:
Re : la partie réelle d’une fonction.
Im : la partie imaginaire d’une fonction.
max : le maximum.
inf : borne inférieure.
sup : borne supérieure.
z : le conjugué d’un nombre complexe z.
@
; @ : des dérivées partielles.
@x @y
@
@
: la dérivée normale extérieure.
Hol : l’ensemble des fonctions holomorphes sur .
Harm : l’ensemble des fonctions harmoniques sur :
D : le disque unité ouvert de C.
^ : le produit extérieur.
f jE : la restriction de la fonction f à E.
: somme directe de deux espaces vectoriels.
3
Introduction Générale
L’analyse complexe est un domaine plus utile en mathématiques traitant des fonctions à valeurs
complexes (ou, plus généralement, à valeurs dans un C-espace vectoriel) dérivables par rapport
à une ou plusieurs variables complexes. Ce domaine reçut ses bases soutiennes au 19eme siècle
grâce aux travaux de Cauchy, Riemann, Weierstrass, Gauss et d’autres grands mathématiciens. Le
terme "harmonique sphérique" a apparemment été pour la première fois par William Thomson
et Peter Tait au début des années 1900. Le mot "harmonique" a été appliqué non seulement aux
polynômes homogènes avec zéro Laplacien, mais à toute solution de l’équation de Laplace.
La théorie de variable complexe se concentre sur l’étude des fonctions holomorphes localement
(au voisinage d’un point) ou globalement (sur un ouvert de C). Ce type de fonctions a une grande
liaison avec les fonctions harmonique qui sont des fonctions deux fois continûment dérivable,
satisfont l’équation de Laplace. Un problème classique concernant les fonctions harmoniques est
le problème de Dirichlet qui donné une fonction continue définie sur la frontière d’un ouvert.
En pratique les fonctions harmoniques se retrouve dans nombreux problèmes de physique, par
exemple le problème de potentiel électrostatique et le problème de potentiel gravitationnel dans
les régions vides de l’espace.
L’objectif de ce mémoire est d’étudier les propriétés ces fonctions harmoniques. Nous avons orga-
nisé ce travail de la façon suivante :
Dans le premier chapitre, on rappelle les notations et les notions préliminaires nécessaires en
vue de les utiliser dans les chapitres suivants, ensuite on donne un rappel sur les fonctions dif-
férentiables, ainsi que des notions sur les fonctions holomorphes, et nous considérons quelques
définitions et théorèmes nécessaires sur les fonctions harmoniques que nous avons besoin de
savoir.
Au deuxième chapitre, nous donnons quelques définitions et propriétés liées aux fonctions har-
moniques que nous proposons pour l’étude.
Dans le dernier chapitre, nous avons étudié l’existence et l’unicité des solutions pour les pro-
blèmes principaux (Dirichlet, Neumann, Mixte).
4
Chapitre 1
Notions, définitions et préliminaires
Dans ce chapitre, nous ferons un rappel sur les fonctions différentiables pour définir les différentes
opérateurs dans le dernier chapitre, les fonctions holomorphes, harmoniques et ses propriétés.
1.1 Rappel sur les fonctions différentiables

Soit un ouvert du plan R2 , et soit f (x; y) une fonction définie dans et à valeurs réelles ou
complexes. On dit que f est différentiable au point (x0 ; y0 ) 2 , s’il existe une fonction linéaire
ah + bk des variables réelles h et k, telle que l’on ait la relation :
p
f (x0 + h; y0 + k) f (x0 ; y0 ) = ah + bk + h2 + k 2
Chaque fois que h et k sont assez petits ; désigne un scalaire (réel ou complexe), fonction de
p
h et k, dont la valeur absolue tend vers 0 lorsque h2 + k 2 tend vers 0. Si f est différentiable au
point (x0 ; y0 ), les constantes (réelles ou complexes) a et b sont déterminées de manière unique, et
sont égales aux dérivées partielles
@f @f
a= (x0 ; y0 ) ; b = (x0 ; y0 ) :
@x @y
Rappelons que l’existence des dérivées partielles de f au point (x0 ; y0 ) n’est pas suffisante pour
que la fonction soit différentiable en ce point ; mais si f possède suffisamment en tout point voisin
de (x0 ; y0 ) des dérivées partielles, et si ces dérivées partielles sont continues au point (x0 ; y0 ) ; alors
f est différentiable en ce point. Une fonction qui admet des dérivées partielles continues dans un
ouvert est dite continument différentiable dans :
5
Chapitre 1. Notions, dé…nitions et préliminaires
1.2 Les fonctions Holomorphes

On va définir les fonctions holomorphes qui constituent le pilier centrale de l’analyse complexe,
donner quelques propriétés (Condition de Cauchy-Riemann, Principe de maximum...) et les zéros
de ces fonctions.
Définition 1.1 Soit un ouvert du plan complexe C, et f : ! C une fonction à valeurs complexes.
On dit que f est dérivable ou holomorphe en z0 2 si et seulement si :
f (z) f (z0 )
f 0 (z0 ) = lim
z! z0 z z0
existe et unique dans C:
Proposition 1.1 On dit que f est holomorphe sur , si elle est dérivable en tout point de :
Si f et g sont holomorphes dans un ouvert ; alors on a :
1. f + g et f:g sont holomorphes sur :
f
2. g
est holomorphe, si g ne s’annule pas.
3. Si f est holomorphe au voisinage de z0 et g est holomorphe au voisinage de z0 alors f g est
holomorphe au voisinage de z0 :
Proposition 1.2 Soit est un ouvert de C, f et g deux fonctions holomorphes sur : Alors
0 0
1. 8 2 C; ( :f ) = :f :
2. (f + g)0 = f 0 + g 0 :
3. (f:g)0 = f g + g 0 f:
0
0
1 1 f0
4. Si f ne s’annule pas sur ; f
est holomorphe sur et f
= f2
:
5. Si h est une fonction d’un ouvert V de C à valeurs dans qui soit holomorphe sur V , et g
holomorphe sur , alors g h est holomorphe sur V et (g h)0 = (g 0 h) :h0 :
Proposition 1.3 Soit U un ouvert non vide de C;

0 0 0
Si f et g sont holomorphes sur U et 2 C; f + g est holomorphe sur U et ( f + g) = f + g :
1.2.1 Propriétés élémentaires des fonctions holomorphes
Condition de Cauchy Riemann
Définition 1.2 [6] Soit f : ! C une fonction holomorphe (dérivable) en z0 2 , alors ses parties
réelles et imaginaires admettent en tout point des dérivées partielles satisfaites les conditions :
(
@P
@x
(x0 ; y0 ) = @Q
@y
(x0 ; y0 )
@Q @P
@x
(x0 ; y0 ) = @y
(x0 ; y0 ) ;
1.2. Les fonctions Holomorphes 6

avec
f = P + iQ et P = Re (f ) ; Q = Im (f ) :
Preuve. f = P + iQ soit une fonction holomorphe en tout point z0 2 alors :

f (z +z) f (z)
f 0 (z) = lim
z!0 z
[P (x + x; y + y) + iQ (x + x; y + y)] [P (x; y) + iQ (x; y)]
= lim
x!0 x+i y
y!0
[P (x + x; y + y) P (x; y)] [Q (x + x; y + y) Q (x; y)]

= lim +i
x!0 x+i y x+i y
y!0
pour y = 0;
P (x + x; y) P (x; y) Q (x + x; y) Q (x; y)
f 0 (z) = lim +i
x!0 x x
@P @Q
= +i
@x @x
pour x = 0;
P (x; y + y) P (x; y) Q (x; y + y) Q (x; y)
f 0 (z) = lim +i
y!0 i y i y
puisque la limite est unique donc :
(
@P @Q @Q @P @P
@x
= @Q
@y
+i = i =) @Q
@x @x @y @y = @P
@x @y
Les conditions de Cauchy Riemann sont nécessaire pour que f soit holomorphe. Par exemples
1. f (z) = ez (holomorphe).
2. f (z) = z 2 + z (n’est pas holomorphe).
La propriété de la moyenne
Rappelons tout d’abord la formule de Cauchy :

Z
1 f (z)
f (z0 ) = dz: (1.1)
2i @K z z0
Dans (1.1), f est une fonction holomorphe sur un ouvert ; K un compact régulier inclus dans
, et z0 un point de l’intérieur de K: Choisissons pour le compact K un disque centré en z0 et de
rayon r inclus dans ; il vient (en utilisant la paramétrisation des points du cercle z = z0 + rei ;
2 [0; 2 ]) Z 2
1
f (z0 ) = f z0 + rei d : (1.2)
2 0

Autrement dit que la valeur de f au centre du cercle s’obtient comme moyenne des valeurs
prises par f sur le bord du cercle. Pour cette raison, la formule (1.2) est appelée Formule de
la moyenne. En dimension 1; les seules fonctions qui vérifient cette propriété de moyenne sont
les fonctions affines, on voit donc, là encore que la théorie des fonctions holomorphes est beau-
coup plus riche.
Le principe du maximum
Théorème 1.1 Soit f une fonction holomorphe sur un ouvert . Supposons que jf j possède un
maximum local en un point z0 2 (c’est à dire que jf (z)j jf (z0 )j pour z voisin de z0 ). Alors f est
constante au voisinage de z0 :
Une autre formulation du principe du maximum peut-être plus explicite est la suivante :
Théorème 1.2 Soit f une fonction holomorphe sur un ouvert connexe, borné et continue sur
sa fermeture : Alors jf j atteint son maximum sur la frontière de : De plus, si le maximum est
également atteint à l’intérieur alors f est constante sur :
Théorème 1.3 (de Liouville) Une fonction holomorphe bornée sur C est constante sur C:
1.2.2 Zéros d’une fonction holomorphe

Les zéros d’une fonction holomorphe sont donnés de deux sortes.
Théorème 1.4 [8] Soient un ouvert connexe et f : ! C une fonction holomorphe qui s’annule
en z0 : Alors :
1) Soit f (n) (z0 ) = 0 pour tout n 2 N: La fonction f est alors nulle sur :
2) Sinon, il existe un unique entier k > 0 tel que :
f (z) = (z z0 )k g (z)
où g : ! C est une fonction holomorphe qui ne s’annule pas en z0 . L’entier k est l’ordre du zéro de
f en z0 :
Preuve. 1) On introduit :
Y = z2 j f (n) (z) = 0 pour tout n 2 N :
La partie Y est fermée comme intersection des fermés, puisque chaque dérivée f (n) de f est
continue. Si maintenant z0 2 Y , la série de Taylor de f en z0 est nulle et l’analyticité de f assure

que f est identiquement nulle au voisinage de z0 . Ainsi Y est ouvert. Lorsque Y est non vide,
on conclut que Y = par connexité de :
2) Si toutes les dérivées de f en z0 ne sont pas nulles, on introduit :
k := inf n 0 j f (n) (z0 ) 6= 0 > 0:
Puisque f est analytique on a, lorsque jz z0 j est assez petit,

!
X
1
f (n) (z0 ) X
1
f (n+k) (z0 )
f (z) = (z z0 )n = (z z0 )k (z z0 )n :
k=0
n! n=0
(n + k)!
La fonction holomorphe g définie sur n fz0 g par f (z) = (z z0 )k g (z) se prolonge donc en une
fonction holomorphe sur ; avec
f (k) (z0 )
g (z0 ) = 6= 0:
k!
Pour l’unicité, on observe que si :
f (z) = (z z0 )k1 g1 (z) = (z z0 )k2 g2 (z) ;
où g1 et g2 sont deux fonctions continues en z0 qui ne s’y annulent pas, la fonction z ! (z z0 )k1 k2
se prolonge par continuité en z0 avec une limite non nulle en ce point ; ceci assure que k1 = k2 :
Lemme 1.1 Soit f 2 H ( ) ; a 2 : Alors trois cas se présentent :

1) f (a) 6= 0; alors f 6= 0 sur un voisinage de a:
dk f (a)
2) f (a) = 0 et 9 k 2 N tel que dz k
6= 0; alors il existe une boule B (a ; ) dans tel que f (a) 6= 0
k
sur B (a; ) n fag et même f (z) = (z a) g (z) sur B (a; ) ; où g est non nulle sur B (a; ) :
dk f (a)
3) f (a) = 0 et 8 k 2 N; dz k
= 0; alors f est nulle sur un voisinage de a:
Remarque 1.1 Par contre, les zéros d’une fonction holomorphe peuvent s’accumuler sur le bord de
son domaine de définition.
1.3 Les fonctions harmoniques

Dans cette section, on effectuant quelques rappels sur les fonctions harmoniques définies sur des
@2 @2
ouverts de R2 ; qui satisfont par définition f = 0; où = @x2
+ @y 2
est l’opérateur Laplacien.
Définition 1.3 [1] Une fonction f (x; y) de deux variables réelles x et y définie dans un ouvert est
dite harmonique dans , si elle est deux fois continument différentiable et satisfait à la condition :
@ 2f @ 2f
+ =0 (1.3)
@x2 @y 2
@2 @2
L’opérateur différentiel @x2
+ @y 2
s’appelle le Laplacien. On le note souvent :
1.3. Les fonctions harmoniques 9

On définirait de même les fonctions harmoniques d’un nombre fini quelconque de variables
réelles ; mais ce qui va suivre ne s’applique qu’au cas de deux variables.
@ @
Introduisons les différentiations @z
et @z
par rapport à la variable complexe z = x + iy et la
variable conjuguée z = x iy:
Remarque 1.2 [3] On a
@2 @2 @2
= + = 4
@x2 @y 2 @z@z
2 2f
@ f @ @ 2f
f = + = 4
@x2 @y 2 @z@z
avec
@ 1 @ @
= i et
@z 2 @x @y
@ 1 @ @
= +i :
@z 2 @x @y
En effet :
@ 2f @ 1@f @f
= +i
@z @z @z 2@x @y
1 1 @ @f @f @ @f @f
= +i i +i
2 2 @x @x @y @y @x @y
2 2 2 2f
1 @ f @ f @ f @ 1
= 2
+i i + 2 = f
4 @x @x@y @y@x @y 4
car
@ 2f @ 2f
=
@x@y @y@x
puisque f est de classe C 2 , et par suite la condition (1.3) est équivalente à la suivante :
@ 2f
=0
@z @z
Remarque 1.3 [3] Les fonctions f considérées peuvent prendre des valeurs complexe ou des valeurs
réelles. Pour qu’une fonction à valeurs complexes f = P + iQ (P et Q étant à valeurs réelles) soit
harmonique ; il faut et il suffit d’après (1.3) que P et Q soient harmoniques. Nous désignerons souvent
P par la notation Re (f ) et Q par Im (f ) :
Proposition 1.4 [3] Toute fonction holomorphe sur un ouvert est harmonique sur :

En effet, si f est holomorphe ; f de classe C 2 ;

et de plus on a
@f
= 0;
@z
par conséquent
@ @f
f =4 = 0:
@z @z
On obtient la relation
f = 0:
Remarque 1.4 [3] Soit un ouvert de C: Une fonction f : ! C est harmonique si et seulement
si Re (f ) et Im (f ) sont harmoniques sur :
Ce remarque est une conséquence immédiate du fait que Re ( f ) = (Re (f )) et Im ( f ) =

(Im (f )) : Toute fonction holomorphe sur un ouvert est harmonique sur :
Définition 1.4 On dira qu’une fonction f de la variable complexe z = x + iy est anti-holomorphe si

@f @ @ 1 @ @
@z
= 0 (on rappelle que l’opérateur @z
est définit par @z
= 2 @x
i @y ).
Corollaire 1.1 [2] Soit un ouvert de C: Si une fonction f : ! C est holomorphe, alors Re (f ) et
Im (f ) sont harmoniques sur :
Ce corollaire est admet une réciproque à condition d’imposer une condition supplémentaire sur
l’ouvert :
Preuve. Rappelons que :
2 Re f = f + f et 2i Im f = f f:
La fonction holomorphe f et sa conjugué anti holomorphe f sont localement développables en
@ @
série entière convergente. Comme @z
et @z
commutent,on trouve :
1 @ @f @ @f
(Re f ) = + = 0 + 0 = 0;
2 @z @z @z @z
par définition de l’holomorphie et de l’anti holomorphie pour f f ; on obtient 0 0 = 0:
Réciproquement, toute fonction harmonique est localement une partie réelle (ou imaginaire)
d’une fonction holomorphe.
Lemme 1.2 (théorème de Poincaré) [3] Soit w = f dx + gdy une 1 forme différentielle de classe
C 1 (i.e., f et g sont de classe C 1 ) sur un ouvert de C: Rappelons que dw est la 2 forme différentielle
définie par :
dw = df ^ dx + dg ^ dy

et rappelons que si f est de classe C 1 , df est appelée la 1 forme différentielle associée à f et est définie
par :
@f @f
df = dx + dy:
@x @y
On dit que w est fermée si dw = 0 et on dit que w est exacte s’il existe une fonction ' de classe C 2 sur
telle que w = d' (i.e w est la 1 forme différentielle associé à '):
Rappel : Soit X C. L’adhérence X de X est la réunion de X et de sa frontière @X: On dira qu’un

ensemble X est connexe si on ne peut pas le deviser en deux parties non-vides X1 et X2 telles que
les intersections X1 \ X2 et X1 \ X2 soient vide. Un ensemble fermé est dit connexe si on ne peut
pas le partager en deux sous-ensembles disjoints fermés non-vides.
Définition 1.5 Un domaine U C est simplement connexe si son bord @U est un ensemble connexe ;
sinon il s’appelle multiplement connexe.
Théorème 1.5 [3] Soit un ouvert simplement connexe de C et soit f : ! R de classe C 2 . Si f est
une fonction harmonique sur alors il existe une fonction ' holomorphe sur telle que Re (') = f:
Preuve. On cherche une fonction g : ! R, de classe C 2 telle que f + ig soit holomorphe sur :
D’après les équations de Cauchy-Riemann, f + ig est holomorphe si et seulement si :
@f @g @f @g
= et = sur :
@x @y @y @x
Considérons la 1 forme différentielle w de classe C 1 , définie par :
@f @f
w= dx + dy:
@y @x
Alors w est une forme fermée. En effet :
@ 2f @ 2f @ 2f @ 2f
dw = dx dy dx + dx + dy dy
@x@y @y 2 @x2 @y @x
@ 2f @ 2f
= + dx dy
@y 2 @x2
= f dx dy = 0:
L’ouvert est simplement connexe, d’après le théorème de Poincaré ; il existe une fonction g de
classe C 2 sur telle que :
@f @f @g @g
dx + dy = w = dg = dx + dy;
@y @x @x @y
on a donc :
@g @f @g @f
= et = :
@x @y @y @x

La fonction ' : ! C définie par : ' = f + ig est alors holomorphe sur ; et par construction
f = Re (') :
Corollaire 1.2 [3] Soit un ouvert de C; et soit f : ! R de classe C 2 . Les trois conditions
suivantes sont équivalentes :
1) f est harmonique sur :
2) Pour tout z0 2 ; il existe r > 0 et ' holomorphe sur D (z0 ; r) tel que f = Re (') sur D (z0 ; r) :
3) Pour tout ouvert simplement connexe U de ; il existe holomorphe sur U tel que f = Re ( ) sur
U:
Les fonctions harmoniques sur un disque ouvert D (a; r) ; (a 2 C et r > 0) ; continues sur le disque
fermé D (a; r) et à valeurs complexes ont la propriété suivante de la formule de moyenne.
Corollaire 1.3 [3] Soit f une fonction continue sur D (a; r); (a 2 C et r > 0) ; harmonique sur D (a; r) et
à valeurs complexes. Alors on a la formule de la moyenne.
Z 2
1
f (a) = f a + rei t dt
2 0
Z Z
1
= f (x + iy) dxdy:
r2 D(a;r)
Corollaire 1.4 [2] Si (hn )1

n=0 une suite de fonctions harmoniques dans un domaine C qui
converge uniformément sur le compact K vers une certaine fonction continue h; alors h est
harmonique dans :
Preuve. Par le convergence uniforme, les formules de la moyenne passent à la limite :

Z 2
1
h (z0 ) = lim hn (z0 ) = lim hn z0 + Sei d
n!1 n!1 2 0
Z 2
1
= lim hn z0 + Sei d
2 0 n!1
Z 2
1
= h z0 + Sei d
2 0
et grâce au théorème qui précède, h est effectivement harmonique.
Théorème 1.6 [2] (Unicité) : Si deux fonctions harmoniques f1 ; f2 2 Harm ( ) coïncident sur un
sous-ensemble E d’intérieur E 6= ; non vide ;
f1 jE = f2 jE ;
alors elles sont partout égales f1 = f2 .

Preuve. La fonction harmonique f = f1 f2 satisfait f jE 0: introduisons l’ensemble :
F := fz 2 ; f (z) = 0g ;
F est fermé car f 2 Harm ( ), dont l’intérieur est non vide :
E F 6= ;:
Théorème 1.7 [2] Toute fonction harmonique h : ! C; définie sur un ouvert simplement
connexe, s’écrit sous la forme h = f + g où f; g 2 Hol ( ) :
Preuve. Par définition :

@ @
=0
@z @z
@h
donc @z
est une fonction holomorphe sur : Etant donné que nous supposé simplement connexe,
@h
il existe une fonction f primitive holomorphe de @z
sur ; on peut alors écrire :
@h @f @ (h f ) @ (h f )
0= = = ;
@z @z @z @z
ce qui démontrer que g = h f est une fonction holomorphe sur ; on conclut que h = f + g.
Remarque 1.5 [3] Dans le cas où n’est plus un ouvert simplement connexe, on obtient par restric-
tion à des disques (qui sont simplement connexe) que toute fonction harmonique s’écrit localement
comme la somme d’une fonction holomorphe et de conjugué d’une fonction holomorphe.
Théorème 1.8 [9] (Le principe de la valeur moyenne) : Soit D un domaine planaire,laissez f être
une fonction harmonique et laisser (x0 ; y0 ) être un point dans D: Supposons que BR est un disque de
rayon R centré à (x0 ; y0 ) ; entièrement contenu dans D: Pour tout r > 0 l’ensemble Cr = @Br : Alors
la valeur de f à (x0 ; y0 ) est la moyenne des valeurs de f sur le cercle CR :
I
1
f (x0 ; y0 ) = f (x (s) ; y (s)) ds
2 R
CR
Z 2
1
= f (x0 + R cos ; y0 + R sin ) d :
2 0
Théorème 1.9 [9] Soit f une fonction dans C 2 (D) vérifiant la propriété de la valeur moyenne à
chaque point de D. Alors f est harmonique dans D:

Preuve. Supposons par contradiction qu’il existe un point (x0 ; y0 ) dans D où f (x0 ; y0 ) 6= 0;
sans perte de généralité, supposons f (x0 ; y0 ) > 0: Par conséquent f (x; y) est une fonction
continue, alors pour R > 0 suffisamment petit il existe dans D un disque BR de rayon R centré
à (x0 ; y0 ) ; tel que f > 0 pour chaque point dans BR : Dénoter la limite de ce disque par CR : Il
s’ensuit que :
Z I
1 1
0 < f dxdy = @n f ds (1.4)
2 BR 2
CR
Z 2
R @
= f (x0 + R cos ; y0 + R sin ) d
2 0 @R
Z 2
R @
= f (x0 + R cos ; y0 + R sin ) d
2 @R 0
@
= R [f (x0 ; y0 )] = 0;
@R
où dans la quatrième égalité de (1.4) nous avons utilisé l’hypothèse qui satisfait la propriété de
la valeur moyenne.

Chapitre 2
Les propriétés des fonctions harmoniques
L’objectif de ce chapitre est d’étudier quelques propriétés fondamentales des fonctions harmo-
niques.
2.1 Propriétés de base

Dans cette section, nous allons montrer quelques résultats utiles sur les fonctions harmoniques.
Les preuves de toutes ces propriétés sont basées sur le fait que toute application harmonique est
représentable sous la forme d’une intégrale de Poisson.
Corollaire 2.1 [2] (Formule intégrale de Poisson) : Si une fonction f est harmonique dans un voi-
sinage ouvert d’un disque fermé Dr (z0 ) ; avec z0 2 C et r > 0; alors pour tout 0 s < r et tout
0 t < 2 , on a :
Z 2
it 1 r 2 s2
f z0 + se = f z0 + rei d :
2 0 r2 2rs cos ( t) + s2
2.1.1 Moyenne arithmétique

Théorème 2.1 [5] Soit D un disque ouvert de R2 . Supposons l’application u harmonique sur D et
continue sur D: Alors la valeur de u au centre de D est égale à la moyenne des valeurs de u sur
F r (D) :
Preuve. On déplace l’origine du repère au centre de disque, et on écrit u sous la forme d’une
intégrale de Poisson :
Z 2 R
1 R2 r 2
8r < R; u (r; ) = f (s) ds;
2 R 0 R2 2rR cos Rs + r2
16
Chapitre 2. Les propriétés des fonctions harmoniques
avec :
s
8s 2 [0; 2 R] ; f (s) = u R ; ;
R
on a donc : Z 2 R
1
u (0; ) = f (s) ds;
2 R 0
soit : Z 2 R
1 s
u (0; ) = u R; ds:
2 R 0 R
En d’autres termes, la valeur de u au centre du disque est la moyenne arithmétique des valeurs
de u sur le bord de disque, ce qu’on voulait montrer.
2.1.2 Théorème du minimum et du maximum, forme forte

Théorème 2.2 [5] Soit O une partie ouverte connexe bornée non vide de R2 : Soit u une application
harmonique sur O: S’il existe A 2 tel que u (A) = sup u; alors u est constante.
O
Preuve. Soient un tel point A; et > 0 tel que D (A; ) O: Alors, par le théorème de la moyenne
arithmétique, u (A) est la moyenne des valeurs prises par u sur la frontière de D (A; ) : Mais u
atteint son maximum en A; donc les valeurs prises par u sur la frontière du disque sont inférieure
ou égales à u (A) : Ainsi, u est nécessairement constante sur la frontière du disque. En répétant
cette démonstration pour tout r > ; on obtient que u est constante sur D (A; ) et sur sa frontière.
Donc u est constante sur D (A; ).
2.1.3 Principe d’unicité

Corollaire 2.2 [5] Soit un domaine de C: Si u1 ; u2 sont deux fonctions harmoniques dans telles
que u1 = u2 dans un sous-ensemble non vide de , alors u1 = u2 dans :
Preuve. Notons A le sous-ensemble de où les fonctions u1 et u2 coïncident. puisque u1 ; u2 sont

des fonctions continues en particulier, alors c’est clair que A est un fermé de . Comme il n’est pas
vide par hypothèse, il suffit de prouver que A est un ouvert de (car est connexe): Considérons
un disque D (a; R) de centre a 2 A et de rayon R > 0: On va voir que D (a; R) A.
Grâce au corollaire précédent, étant données les fonctions harmoniques u1 ; u2 dans ; il existe
des fonctions holomorphes f1 ; f2 dans D (a; R) ;
telles que
Re (f1 ) = u1 et Re (f2 ) = u2 :
Posons
f1 = u1 + iv1 et f2 = u2 + iv2 ;
2.1. Propriétés de base 17

où v1 ; v2 sont les fonctions harmoniques conjuguées de u1 ; u2 , respectivement (qui sont des fonc-
tions de classe C 1 dans D (a; R)):
En outre, comme a 2 A; alors il existe 0 < r < R tel que D (a; r) A: Ainsi les fonctions
u1 ; u2 coïncident dans ce disque D (a; R) et ici on dispose aussi les fonctions holomorphes f1 et f2
ci-dessus. Considérons leurs équations de Cauchy-Riemann :
@u1 @v1 @u1 @v1
= ; =
@x @y @y @x
@u2 @v2 @u2 @v2
= ; = :
@x @y @y @x
Comme dans D (a; r) on a u1 = u2 ; on en déduit que v1 et v2 ont les mêmes dérivées partielles
dans D (a; r) et par suite la fonction v1 v2 est constante dans D (a; r) ; disons v1 v2 = 2 C:Par
conséquence, dans D (a; r) on peut écrire :
f1 = u1 + iv1 = u1 + i (v2 + ) = u2 + i (v2 + ) = u2 + iv2 + i = f2 + i :
Autrement dit, on a obtenu que f1 f2 est constante et égale à i dans D (a; r) ; le principe
d’unicité pour les fonctions holomorphes nous assure que f1 f2 est constante et égale à i dans
D (a; R) : Or, la condition f1 f2 = i dans D (a; R) entraine que u1 u2 = 0 dans D (a; R) : C’est
à dire u1 et u2 coïncident dans D (a; R) et donc D (a; R) A:
2.2 Les fonctions harmoniques bornées
2.2.1 Estimation de Cauchy

Proposition 2.1 [4] Si f est continue sur B et harmonique sur B; alors,
Z
f (x) = f ( ) P (x; ) d ( )
S
pour tout x 2 B : Z
D f (x) = f ( ) D P (x; ) d ( ) (2.1)
S
vérifie pour tout x 2 B et tout multi-indice :
Théorème 2.3 [4] Soit un multi-indice. Alors il existe une constante positive C telle que :
C M
jD f (a)j
rj j
pour toutes les fonctions f harmoniques et bornées par M sur B (a; r) :
2.2. Les fonctions harmoniques bornées 18

Preuve. On peut supposer que a = 0. Si f est harmonique et bornée par M sur B, alors par (2:1),
nous avons :
Z
jD f (0)j = f ( ) D p (0; ) d ( )
S
Z
M jD p (0; )j d ( )
S
= C M;
où Z
C = jD p (0; )j d ( ) :
S
Si f est harmonique et bornée par M sur B (0; r) ; puis en appliquant le résultat dans le paragraphe
précédent à fr , on montre que :
C M
jD f (0)j :
rj j
En remplaçant r par r " et en laissant décroître " à 0, on obtient le même conclusion si f est
harmonique sur la boule ouverte B (0; r) et bornée par M .
Le corollaire suivant montre que les dérivées d’une fonction harmonique bornée sur ne peut
être croître trop rapidement près de @ : Nous laissons d (a; E) dénote la distance d’un point à une
ensemble E.
Corollaire 2.3 [4] Soit f une fonction harmonique bornée sur ; et laisse un multi-indice. Alors il
existe une constante C telle que :
C
jD f (a)j :
d (a; @ )j j
pour tout a 2 :
Preuve. Pour chaque a 2 ; appliquons l’estimation de Cauchy avec r = d (a; @ ) :
2.2.2 Familles normales

Le terme famille normale fait référence à une collection des fonctions holomorphes avec la pro-
priété que chaque séquence dans la collection convergeant uniformément sur sous-espace com-
pact du domaine. Le résultat le plus utile dans ce domaine (est l’outil clé dans la plupart des
preuves du théorème de Riemann) précise qu’une collection de fonctions holomorphes qui est
délimité uniformément sur chaque sous-ensemble compact du domaine est une famille normale.
Nous prouvons maintenant le résultat analogue pour les fonctions harmoniques.

Théorème 2.4 (Arzela-Ascoli) Supposons que (fn ) est une suite de fonctions Rn ! R qui est équi-
continue et bornée par points. Ensuite, il existe une sous-suite (fn )j qui converge uniformément sur
des ensembles compacts vers une fonction continue f:
Théorème 2.5 [4] Si (fn ) est une suite de fonctions harmoniques sur qui est uniformément bornée
sur chaque sous-ensemble compact de , alors (fn ) converge uniformément sur chaque sous-ensemble
compact de :
Preuve. La clé de la preuve est l’observation suivante : il existe une constante C < 1 telle que
pour tout f harmonique et bornée par M sur n’importe quelle boule B (a; 2r) ;
!
CM
jf (x) f (a)j sup jrf j jx aj jx aj ;
B(a;r) r
pour tout x 2 B (a; r) : La première inégalité est standard à partir des calculs avancés ; la deuxième
inégalité découle des estimations de Cauchy (2.4).
d(K;@ )
Supposons maintenant que K est compact, et que r = 3
:
Car l’ensemble :
K2r = fx 2 Rn : d (x; K) 2rg ;
est un sous-ensemble compact de ; la suite (fm ) est uniformément bornée par un certain M < 1
sur K2r : Laisser a; x 2 K et supposons jx aj < r: Alors x 2 B (a; r) et (fm ) M sur B (a; 2r)
K2r pour tout m; et donc nous concluons du premier paragraphe que :
CM
jfn (x) fn (a)j jx aj ;
r
pour tout m. Il s’ensuit que la suite (fn ) est équicontinue sur K:
Pour finir, choisissons des ensembles compacts
K1 K2
dont les intérieurs couvrent : Parce que (fn ) est équicontinue sur K1 ; le théorème de Arzela-
Ascoli implique que (fn ) contient une sous-suite qui converge uniformément sur K1 : Appliquer
Arzela-Ascoli encore une fois, il existe une sous-suite de cette sous-suite convergeant uniformé-
ment sur K2 , et ainsi de suite. Si nous listons ces sous-suites les unes après les autres dans lignes,
puis la sous-suite obtenue en descendant la diagonale converge uniformément sur chaque Kj , et
donc sur chaque sous-ensemble compact sur :

2.2.3 Principe de maximum

Corollaire 2.4 [4] Soit f une fonction harmonique à valeur réelle sur ; et supposons :
lim sup f (ak ) M (2.2)

k!1
pour tout suite (ak ) dans convergeant vers un point dans @ ou vers 1: Alors f M sur :
Théorème 2.6 [4] Supposons que R2 et 6= R2 : Si f est fonction harmonique bornée à valeur
réelle sur satisfaisant
lim sup f (ak ) M (2.3)
k!1
pour toute suite (ak ) dans convergeant vers un point dans @ ; alors f M sur :
Preuve. Parce que 6= R2 ; @ n’est pas vide. Soit " > 0; et choisissons une suite dans conver-
geant vers un point dans @ : Par hypothèse, f est moins que M + " à la fin de cette suite. Il
s’ensuit qu’il y a une boule fermée B (a; r) sur laquelle f < M + ":
0
Définir = nB (a; r), et
z a
v (z) = log
r
0 0
pour z 2 : Alors v est positive et harmonique sur ; et v (z) ! 1 comme z ! 1 dans :
0
Pour t > 0; nous définissons maintenant la fonction harmonique wt sur par :
wt = f M " tv:
0
Par (2.3), lim supk!1 wt (ak ) < 0 pour chaque suite (ak ) dans converge vers un point dans
@ 0 ; tandis que la limite de f sur montre que wt (ak ) ! 1 pour chaque suite (ak ) converge
0 0
vers 1 dans : Par (2.2), wt < 0 sur :
Nous laissons maintenant t ! 0 pour obtenir f M +" sur : Parce que f < M +" sur B (a; r) ; on
af M + " sur tout . Enfin, puisque " est arbitraire ; f M sur :
Théorème 2.7 [4] Supposons que Hn = fx 2 Rn : xn > 0g la moitié supérieure de Rn : Si f

est une fonction harmonique bornée à valeur réelle sur satisfaisant :
lim sup f (ak ) M:

k!1
pour toute suite (ak ) dans convergeant vers un point dans @ , alors f M sur :
Preuve. Pour (x; y) 2 ; définir

X
n 1
(x; y) = log x2k + (y + 1)2 :
k=1
Alors est positif et harmonique sur ; et (z) ! 1 comme z ! 1 dans Hn : Ayant obtenu ,
on peut utiliser les idées dans la preuve du (théorème 2.6).

2.3 Les fonctions harmoniques polynômial

l’importance des polynômes harmoniques viendront quand nous prouverons que tout polynôme
sur Rn peut être écrit comme la somme d’un polynômial multiple harmonique de jxj2 .
2.3.1 Décomposition polynômiale

Théorème 2.8 [4] Soit S est une ensemble ouverte. =Si p est un polynôme sur Rn de degré m , alors :
p [pjS ] = 1 jxj2 q + p
pour certains polynôme q de degré au plus m 2:
Preuve. Pour prouver le théorème dont nous avons besoin seulement montrer qu’il existe un
polynôme q de degré au plus m 2 tel que :
1 jxj2 q = p: (2.4)
Pour ce faire, notons W l’espace vectoriel de tous les polynômes sur Rn de degré au plus m 2,
et définir une carte linéaire T : W ! W par :
T (q) = 1 jxj2 q :
Si T (q) = 0, alors 1 jxj2 q est une fonction harmonique, cette fonction harmonique est égale
à 0 sur S, et donc par le principe de maximum égale à 0 sur B ; cela force q à être 0. Ainsi T est
injectif.
Maintenant, on utilise l’algèbre linéaire (une application linéaire injective d’un espace vectoriel
de dimension finie à lui-même est également surjectif) pour conclure que T est surjective. Par
conséquent il existe un polynôme q de degré au plus m 2 tel que (2.4) tient, et nous avons
terminé.
Le corollaire suivant sera un outil clé dans notre preuve de décomposition globale des polynômes.
Ici "polynôme" signifié un polynôme sur Rn , et "non nul" signifié non identifié à 0.
Corollaire 2.5 [4] Aucun multiple polynômial non nul de jxj2 est harmonique.
Preuve. Supposons que p est un polynôme non nul sur Rn de degré m et jxj2p est harmonique.
Car pjS = jxj2 p S
; l’intégrale de Poisson p [pjS ] doit être égale au polynôme harmonique jxj2p ;
qui a un degré m + 2. Ceci contredit le théorème précédent, ce qui implique que le degré de p [pjS ]
est au plus m.
2.3. Les fonctions harmoniques polynômial 22

Chaque polynôme p sur Rn avec degré m peut être écrit de façon unique sous la forme p =
Pm n
j=0 pj ; où chaque pj est un polynôme homogène sur R de degré j . Nous appelons pj la partie
homogène de p de degré j:
P
Notez que p = m j=0 pj , et donc p est harmonique si et seulement si chaque pj est harmo-
nique (car un polynôme est identiquement nul si et seulement si chaque partie homogène est
identiquement nul).
Proposition 2.2 [4] Si m 2, alors
Pm (Rn ) = Hm (Rn ) jxj2 Pm 2 (Rn ) :
avec Pm (Rn ) l’espace vectoriel complexe de tous les polynômes homogènes sur Rn de degré m; qui
sont des polynômes à plusieurs indéterminées dont tous les monômes non nuls sont de même degré
total.
Hm (Rn ) le sous-espace de Pm (Rn ) constitué de tous les polynômes harmoniques homogènes sur Rn de
degré m:
Preuve. Soit p 2 Pm (Rn ) : Alors :
p = p [pjS ] + jxj2 q q
Pour un certain polynôme q de degré au plus m 2 (Théorème 2.8). Prendre la partie homogène
de degré m des deux côtés de l’équation ci-dessus, on obtient :
p = pm + jxj2 qm 2 ;
où pm est la partie homogène de degré m de fonction harmonique p [ pjS ] (et par conséquent
pm 2 Hm (Rn )) et qm 2 est la partie homogène de degré m 2 de q (et par conséquent qm 2 2
Pm 2 (Rn )). Ainsi chaque élément de Pm (Rn ) peut être écrit comme la somme d’un élément de
Hm (Rn ) et un élément de jxj2 Pm 2 (Rn ) :
Pour montrer que cette décomposition est unique, supposons que :
pm + jxj2 qm 2 = pem + jxj2 qem 2 ;
où pm ; pem 2 Hm (Rn ) et qm 2 ; qem 2 2 Pm 2 (Rn ) : Alors :
pm pem = jxj2 (e
qm 2 qm 2 ) :
Le côté gauche de l’équation ci-dessus est harmonique, et le côté droit est un multiple polynômial
de jxj2 : Ainsi le corollaire précédent implique que pm = pem et qem 2 = qm 2 .

Théorème 2.9 [4] Chaque p 2 Pm (Rn ) peut être écrit de façon unique sous la forme :
p = pm + jxj2 pm 2 + ::: + jxj2k pm 2k ;
m
où k = 2
et chaque pj 2 Hj (Rn ) :
Preuve. Le résultat souhaité est évidemment valable lorsque m = 0 ou m = 1; parce que

Pm (Rn ) = Hm (Rn ) dans ces cas. Ainsi, nous pouvons supposer que m 2: Supposons que
p 2 Pm (Rn ). Par la proposition précédente, p peut être écrit uniquement sous la forme :
p = pm + jxj2 q;
où pm 2 Hm (Rn ) et q 2 pm 2 (Rn ) : Par induction, on peut supposer que le théorème se tient

quand m est remplacé par m 2: Prenons la décomposition unique de q donnée par le théorème
et le branchant dans l’équation ci-dessus donne la décomposition désirée de p: Ce décomposition
est unique parce que pm est uniquement déterminée et la décomposition de q est également
déterminée de manière unique.
2.3.2 Décomposition harmonique sphérique de L2 (S)

Dans la proposition (2.1), nous avons montré que l’espace de polynômiaux de degré m se décom-
pose comme la somme directe de l’espace des polynômes harmoniques homogènes de degré m
et jxj2 fois le polynôme homogène de degré m 2: Nous passons maintenant aux idées tournant
autour de sommes orthogonales directes, ce qui signifie que nous devons introduire un produit
intérieur. Parce qu’une fonction homogène sur Rn est déterminée par sa restriction à S, nous
suivons l’impulsion naturelle de travailler en L2 (S; d ), que nous dénote simplement par L2 (S) :
La proposition suivante montre que si le polynôme homogène de degré supérieur est harmonique,
en effet nous avons une orthogonalité (parce que Hm (Rn ) est fermé sous conjugaison complexe).
Proposition 2.3 [4] Si p ; q sont des polynômes sur Rn et q est harmonique et homogène avec un
degré plus élevé que le degré de p, alors :
Z
pqd =0
S
Preuve. La conclusion souhaitée ne concerne que les valeurs de p et q sur S: Donc par linéarité
et (Théorème 2.9), il suffit de prouver la proposition lorsque p est remplacé par un polynôme
harmonique homogène. Ainsi, nous pouvons supposer que p 2 Hk (Rn ) et que q 2 Hm (Rn ) où
k < m: L’identité de Green :
Z Z
(u v v u) dV = (u Dn v v Dn u) ds:
@

Implique que : Z
pDn q (pDn q qDn p) d = 0: (2.5)
S
Mais pour 2 S;
d d k
(Dn p) ( ) = p (r ) = r p( ) = kp ( ) :
dr r=1 dr r=1
De même, Dn q = mq sur S: Ainsi (2.5) implique que :

Z
(m k) p q d = 0:
S
Parce que k < m ; la dernière intégrale disparaît, comme désiré.
2.3.3 Le noyau de Poisson

Chaque élément de Hm (S) a une extension unique à un élément de Hm (Rn ) ; étant donné
p 2 Hm (S) ; nous noterons p également cette extension. En particulier Zm (:; ) fera maintenant
souvent référence à l’extension de cette zonale harmonique à un élément de Hm (Rn ) : Supposons
x 2 Rn . Si x = 0 et p 2 Hm (Rn ) ; alors :
p (x) = jxjm p (x= jxj) (2.6)

Z
m
= jxj p ( ) Zm (x= jxj ; ) d ( )
Z S
= p ( ) Zm (x; ) d ( ) :
S
Nous vérifions facilement que les premiers et derniers termes ci-dessus conviennent également
x = 0: Notez que Zm (x; :) est une sphérique harmonique de degré m pour chaque x fixé de Rn :
Proposition 2.4 [4] Soit p un polynôme sur Rn de degré m: Alors :

m Z
X
p [pjS ] (x) = p ( ) Zk (x; ) d ( )
k=0 S
pour tout x 2 B:
Preuve. Par le (Théorème 2.8), p [pjS ] est un polynôme de degré au plus m et donc peut ètre écrit
sous la forme :
X
m
p [pjS ] = pk ; (2.7)
k=0

où chaque pk 2 Hk (Rn ) : Pour chaque x 2 B et chaque k nous avons :

Z
pk (x) = pk ( ) zk (x; ) d ( )
S
Z X
m
= pj ( ) zk (x; ) d ( )
S j=0
Z
= p ( ) zk (x; ) d ( ) ;
S
où la première égalité vient de (2.6); la deuxième égalité vient de l’orthogonalité des sphériques
harmoniques de différents degrés, et la troisième égalité est vraie parce que p et son intégrale
P
de Poisson mj=0 pj coïncident sur S. Par une combinaison de la dernière équation avec (2.7), on
obtient le résultat souhaité.
Corollaire 2.6 [4] Si f est une fonction harmonique sur B (a; r) ; alors il existe pm 2 Hm (Rn ) tel
que :
X
1
f (x) = pm (x a)
m=0
pour tout x 2 B (a; r) :
2.4 Les fonctions harmoniques positives

Cette section se concentre sur les propriétés spéciales de fonctions harmoniques positives. Nous
allons décrire les fonctions harmoniques positives définies sur tout Rn (Théorème de Liouville),
montrons que ces fonctions ne peuvent pas osciller énormément (l’inégalité de Harnack). Cette
fonction à proximité de singularités isolées (Théorème de Bôcher).
Propriété de valeur moyenne, Version en volume : Si f est harmonique sur B (a; r) ; alors f (a)
égale à la moyenne de f sur B (a; r). Plus précisément,
Z
1
f (a) = f dV:
V (B (a; r)) B(a;r)
La fonction harmonique à valeur moyenne réelle peut avoir une singularité isolée ; par exemple :
jxj2 n
a une singularité à 0 si n > 2. Cependant, une fonction harmonique ne peut pas avoir de
zéros isolés.
2.4.1 Théorème de Liouville

Théorème 2.10 [4] La fonction harmonique positive est constante sur Rn :
2.4. Les fonctions harmoniques positives 26

Preuve. Soit f une fonction harmonique positive définie sur Rn : Fixons x 2 Rn ; soit r > jxj ; et
que Dr la différence symétrique des B (x; r) et B (0; r) : La version en volume du propriété de
valeur moyenne (1.6) montre que :
Z Z
1
f (x) f (0) = f dV f dV
V (B (0; r)) B(x;r) B(0;r)
Car les intégrales de f sur B (x; r) \ B (0; r) sont nulles, nous avons :
Z
1
jf (x) f (0)j f dV
V (B (0; r)) Dr
Z
1
f dV
V (B (0; r)) B(0;r+jxj)nB(0;r jxj)
Z Z
1
= f dV f dV
V (B (0; r)) B(0;r+jxj) B(0;r jxj)
n n
(r + jxj) (r jxj)
= f (0) n
:
r
Noter que la positivité de f était utilisée dans la première inégalité. Maintenant, en laissant
r ! 1; on voit que f (x) = f (0) ; ce qui prouve qu’on est constante.
Corollaire 2.7 [4] La fonction harmonique positive est constante sur R2 n f0g :
Preuve. Si f est une fonction harmonique positive sur R2 n f0g ; alors la fonction z ! f (ez )
est positive et harmonique sur R2 (= C) et par conséquent est constante. Cela prouve que f est
constante.
2.4.2 Inégalité de Harnack et convergence de Harnack
Inégalité de Harnack
Théorème 2.11 [2] Si f est fonction harmonique définie sur un disque ouvert DR (z0 ) centré en un
point z0 2 C et de rayon R > 0 qui est positive
f (z) 0 (8 z 2 )
alors pour tout rayon inférieure 0 r < R et tout 0 <2 :

R r R+r
f (z0 ) f z0 + r ei f (z0 )
R+r R r

Ces inégalités expriment un contrôle très contraignant et très utile des valeurs de f lorsqu’on
R+r
s’éloigne d’un point centrale : la fonction r ! R r
et son inverse encadrent le graphe de f par
deux hyperploïdes .
Pour mieux mentaliser le diagramme ci-dessus, il faudrait plutôt s’imaginer que la base est réel-
lement un disque continue dans le plan 2-dimensionnel C (non un segment), et que le graphe de
f est une nappe ondulée, s’élevant éventuellement vers l’infini lorsque r ! R:
Preuve. Choisissons un rayon intermédiaire r < s < R: La formule intégrale de Poisson appliquée
ici à la fonction f qui est harmonique dans un voisinage de Ds (z0 ) s’écrit :
Z 2
i 1 s2 r 2
f z0 + r e = f z0 + s ei t dt:
2 0 s2 2sr cos (t ) + r2
Or pour tout (t ) 2 R on a :
s2 2sr cos (t ) + r2 s2 2sr + r2 = (s r)2 ;
donc comme f est positive on peut majorer l’intégrante :

Z 2 2
i 1 s r2 it
f z0 + r e = 2 f z0 + s e dt
2 0 (s r)
s+r
f (z0 ) ;
s r
et appliquer l’égalité de la moyenne. En faisant s ! R; on obtient la deuxième inégalité tandis
que la première se démontre d’une manière fort similaire.
Convergence de Harnack
Théorème 2.12 [2] Si (fn )1

n=1 est une suite croissante de fonctions harmoniques dans un domaine
C; (i.e) :
f1 f2 f3 ::: fn fn+1 :::;
alors :
1) fn ! 1 uniformément sur tout compact K ;
2) ou bien fn converge vers une certaine fonction harmonique finie f 2 Harm ( ; R+ ) ; uniformément
sur tout compact K :
Preuve. En remplaçant hn ! hn h1 ; on se ramène à une suite croissante de fonctions harmo-

niques positives.
Corollaire 2.8 [2] Soit une suite (uk )1

k=1 de fonctions harmoniques uk 2 Harm ( ) qui est décrois-
sante (i.e) :
::: uk+1 uk ::: u1 :

Alors la limite
u (z) := lim uk (z)
k!1
ou bien est 1;ou bien constitue une fonction harmonique (finie) dans :
Preuve. Soit ! un sous-ouvert de fermeture compacte ! . Après soustraction d’une

constante :
u1 ! u1 max u1 ;
!
on peut supposer que u1 0: Le théorème précédent (convergence de Harnack) s’applique alors

à la suite croissante ( un j! )1
n=1 de fonctions harmoniques positives sur !:
Distance de Harnack
Définition 2.1 Soit un domaine de C: Etant donné z; w 2 ; la distance de Harnack entre z et w

est le plus petit nombre (z; w) tel que pour chaque fonction harmonique positive f sur :
1
(z; w) f (w) f (z) (z; w) f (w) :
La distance de Harnack est une notion utile et peut être utilisée pour déduire un théorème im-
portant sur la convergence des fonctions harmoniques positives.
2.4.3 Singularités isolées

Lemme 2.1 [4] Supposons que f est positive et harmonique sur Bn f0g et f (x) ! 0 comme jxj !
1: Alors il existe une constante b 0 telle que :
8
< b log 1
; si n = 2
jxj
f (x) =
: b jxj2 n
, si n > 2
pour tout x 2 B n f0g :
Théorème 2.13 [4] (Bôcher) Si f est positive et harmonique sur B n f0g ; alors il existe une fonction
v harmonique sur B et une constante b 0 telle que :
8
< v (x) + b log 1 si n = 2
jxj
f (x) =
: v (x) + b jxj2 n si n > 2
pour tout x 2 B n f0g :

Preuve. Supposons d’abord que n > 2 et que f est positive et harmonique sur B n f0g : Définissons
une fonction harmonique w sur Bn f0g par :
w (x) = f (x) P [f jS ] (x) + jxj2 n

1:
Comme jxj ! 1; on a w (x) ! 0; et comme jxj ! 0; on a w (x) ! 1 (car f est positive et P [f jS ]

est borné sur B n f0g). Par le principe de minimum (1.10), nous concluons que w est positive sur
B n f0g :Le lemme (3.12); appliqué à w ; montre que f (x) = v (x) + b jxj2 n
sur B n f0g pour
quelques fonctions harmoniques sur B et quelques constantes b : Maintenant en laissant x ! 0,
on voit que la positivité de f implique que b 0; nous avons donc prouvé le théorème de Bôcher
dans le cas où ils ont positive et harmonique sur B n f0g :
Pour l’harmonique positive générale sur B n f0g ; on peut appliquer le résultat ci-dessus pour
x
dilater f 2
; de sorte que
x
= v (x) + b jxj2 n ;
f
2
sur B n f0g pour v harmonique sur B et une constante b 0: Cette dernière implique que :
f (x) = v (x) + b 22 n
jxj2 n
;
sur 1
2
B n f0g ; ce qui montre que f (x) b 22 n
jxj2 n
étend harmoniquement à 1
2
B ; et donc
à B: Ainsi la preuve du Théorème de Bôcher est complet dans le cas où n > 2: La preuve du cas
n = 2 est la même, sauf que log 1
jxj
doit être remplacé par jxj2 n
:
2.5 Les zéros des fonctions harmoniques

Corollaire 2.9 [4] Les zéros d’une fonction harmonique réelle sont jamais isolé.
Preuve. Supposons que f est harmonique et réelle évaluée sur ,a2 ; et f (a) = 0: Soit r > 0
tel que B (a ; r) : Parce que la moyenne de f sur @B (a; r) égal à 0, ou bien f est identique à 0
sur @B (a ; r) ou f prend à la fois des valeurs positives et négatives sur @B (a; r) : Dans le dernier
cas, la connexité de @B (a ; r) implique que f a un zéro sur @B (a; r) : Ainsi f a un zéro sur la
frontière de chaque boule suffisamment petite centré sur a, prouvant que a n’est pas un zéro isolé
de f:
L’hypothèse que f est une valeur réelle est nécessaire dans le corollaire. Ce n’est pas surprenant
quand n = 2. Car les fonctions holomorphes non constantes ont des zéros isolés. Lorsque n 2,
la fonction harmonique
X
n
p (x1 ; x2 ) = (1 n) x21 + x2k + ix1
k=2
est un exemple ; qui ne disparait qu’à l’origine.
2.5. Les zéros des fonctions harmoniques 30

Chapitre 3
Les applications des fonctions harmoniques
Les problèmes pratiques faisant intervenir des fonctions harmoniques imposent des conditions
supplémentaires : il faut trouver une fonction harmonique dans un domaine dont le comporte-
ment à la frontière @ est fixé.
Les trois problèmes principaux sont les suivants : Dirichlet, Neumann et problème mixte.
3.1 Existence et Unicité de solution du problème de Dirichlet

Définition 3.1 Soit un ouvert de frontière @ et u une fonction définie sur @ . Une fonction f
harmonique dans telle que :
8P 2 @ ; lim f (M ) = u (P )
M !P
M2
s’appelle une solution de problème de Dirichlet dans relatif à u:
Ce problème correspond, par exemple, à la recherche de la température d’équilibre dans d’un

corps de frontière @ ne contenant ni source ni puits de chaleur et dont chaque point P du bord
@ est maintenu à une température donnée u (P ) :
Le problème de Dirichlet sur un domaine 2 Rn s’énonce ainsi : trouver une fonction scalaire
f: 2 Rn ! R telle que : (
f = u; x2
f (x) = g (x) ; x 2 @ :
Définition 3.2 [2] Soit C un domaine à bord @ quelconque. On dit que le problème de Dirichlet
est résoluble pour ( ; @ ) si, pour toute fonction continue à valeurs réelles définie sur le bord :
:@ ! R;
31
Chapitre 3. Les applications des fonctions harmoniques
il existe une fonction :

f 2 Harm ( ) \ Q0 ( [ @ )
harmonique à l’intérieur et continue sur la fermeture telle que :
f j@ = :
Nous allons concentrer de traiter le cas où = D est un disque ouvert D C; l’existence dans
le cas général pouvant être d’éclaté (Théorie de Perron ; fonctions-barrière). En tout cas, l’unicité
de la solution pour un domaine quelconque est facile.
Corollaire 3.1 Soit un ouvert borné simplement connexe de R2 et f une fonction continue sur @ .
La solution du problème (
u = 0; sur
u = f; sur @ :
existe et unique.
Théorème 3.1 Soit un domaine borné, f1 et f2 des fonctions dans C 2 ( ) \ C qui sont des
solutions de l’équation de Poisson f = u avec les conditions de Dirichlet g1 et g2 , respectivement.
Définir
Mg = max jg1 (x; y) g2 (x; y)j :
@
Alors :
max jf1 (x; y) f2 (x; y)j Mg :
Preuve. Définir = f1 f2 : La construction implique que est harmonique dans satisfait,

= g1 g2 sur @ : Par conséquent, le principe de maximum (et minimum) implique :
min (g1 g2 ) (x; y) max (g1 g2 ) ; 8 (x; y) 2 ;

@ @
et le théorème suit.
Lemme 3.1 Soit F (x; y) et G (x; y) deux fonctions continues, possèdent des dérivées partielles pre-
mières et secondes continues dans un ouvert simplement connexe R dont la frontière est une courbe
fermée simple C: Alors :
I Z Z
@G @G @ 2G @ 2G @F @G @F @G
F dx dy = F + + + dxdy: ((3:1))
@y @x R @x2 @y 2 @x @x @y @y
C
3.1. Existence et Unicité de solution du problème de Dirichlet 32

L’unicité de la solution du problème de Dirichlet
Le problème de Dirichlet consiste à la détermination d’une fonction harmonique f vérifiant l’équa-

@2f @2f
tion @x2
+ @y 2
= 0 dans un ouvert simplement connexe R et prenant des valeurs imposées
f = u (x; y) sur la frontière de R: Pour démontrer cette unicité nous devons prouver que si une
solution existe est unique. Pour cela supposons qu’il existe deux solutions différentes f1 et f2 ; on
a alors :
@ 2 f1 @ 2 f1
+ = 0 dans R et f1 = u (x; y) sur C
@x2 @y 2
@ 2 f2 @ 2 f2
+ = 0 dans R et f2 = u (x; y) sur C:
@x2 @y 2
Par soustraction et posant G = f1 f2 ; on déduit :
@ 2G @ 2G
+ = 0 dans R et G = 0 sur C:
@x2 @y 2
Pour montrer que f1 = f2 identiquement, nous devons montrer que G = 0 identiquement dans R:
Remplaçons F par G dans le problème (3.1), on obtient :
I Z Z " 2 2
#
@G @G @ 2G @ 2G @G @G
G dx dy = G + + + dxdy: ((3:2))
@y @x R @x2 @y 2 @x @y
C
@2G 2
Supposons que G ne soit pas constant dans R: De G = 0 sur C et de @x2
+ @@yG2 = 0 identiquement
dans R, on déduit d’après (3.2)
Z Z " 2 2
#
@G @G
+ dxdy = 0:
R @x @y
Ceci est en contradiction avec l’hypothèse : G est non constant dans R car dans telles conditions :
Z Z " 2 2
#
@G @G
+ dxdy > 0:
R @x @y
On en déduit que G est constante dans R et par continuité on doit avoir G = 0: On a donc f1 = f2
et il n’existe qu’une seule solution.
Lemme 3.2 Il existe au plus une solution du problème de Dirichlet pour ( ; @ ).
Preuve. En effet, soient f1 et f2 deux solutions. Alors f1 f2 est harmonique dans ; continue sur
= [ @ ; et égale à 0 sur @ : En appliquant le principe de maximum à f1 f2 puis à f2 f1 ; on
se convainc aisément que f1 f2 0:
3.1. Existence et Unicité de solution du problème de Dirichlet 33

3.2 Existence et Unicité de solution du problème de Neumann

Définition 3.3 Soit un ouvert de frontière @ et g une fonction définie sur @ : Une fonction f
df
définie sur [ @ ; harmonique dans et telle qu’en tout point P de @ ; d
(P ) = g (P ) s’appelle
une solution du problème de Neumann dans relatif à g:
Le problème de Neumann sur un domaine 2 Rn s’énonce ainsi : trouver une fonction scalaire
f: 2 Rn ! R telle que :
(
f = u; x2
@f (x)
rf (x) x = @ x
= h (x) ; x2@
Lemme 3.3 Une condition nécessaire à l’existence d’une solution du problème de Neumann est :
Z Z
g (x (s) ; y (s)) ds = F (x; y) dxdy;
@
où (x (s) ; y (s)) est une paramétrisation de @ :

!!
Preuve. Rappelons d’abord l’identité vectorielle u = r: ru: Par conséquent, on peut écrire
l’équation de Poisson :
!!
r: ru = F:
En intégrant les deux côtés de l’équation sur ; et en utilisant le théorème de Gauss, on obtient :
Z Z
!
ru: ds = F dxdy:
@
Le lemme résulte maintenant de la définition de la dérivée directionnelle et de les conditions aux

limites.
Proposition 3.1 En utilisant la méthode d’énergie, le problème de Neumann admet une solution
unique.
Preuve. Supposons que f1 et f2 résoudre le problème de Neumann pour les fonctions harmo-
niques, c’est à dire : (
f = 0; x2
@f (x)
@ x
= h (x) ; x 2 @
Mettons w = f1 f2 ; alors w résoudre le problème homogène de Neumann :
(
w = 0; x2
@w(x)
@ x
= 0; x2@
3.2. Existence et Unicité de solution du problème de Neumann 34

Une application de la première identité de Green montre clairement que :

Z Z Z Z Z Z Z Z
@w
w ds = rw:rw dx + w w dx:
@ @
@w
Puisque @
= 0 sur @ et w = 0 dans ;on voit que :
Z Z Z Z Z Z
0= rw:rw dx = jrwj2 dx:
Depuis l’intégrant jrwj2 0; il s’ensuit par le théorème de disparition que jrwj2 0 dans ; c’est
à dire rw 0 dans et nous déduisons que w est constante dans ; disons w c:
Par notre construction, nous voyons que f1 = f2 + c dans et nous avons établi l’unicité du
problème de Neumann jusqu’à une constante selon les besoins.
3.3 Existence et Unicité de solution du problème mixte

Définition 3.4 Soit un domaine de frontière @ ; on se donne trois fonctions u ; g et h sur @ et
on cherche f harmonique dans telle que :
df
u (M ) f (M ) + g (M ) (M ) = h (M )
d
en tout point M de la frontière.
Lorsque u est nulle sur une partie de la frontière et g est nulle sur l’autre, on dit qu’il s’agit d’un
problème de Robin.
Le problème mixte de Dirichlet-Neumann sur un domaine 2 Rn s’énonce ainsi : Trouver une

fonction scalaire f : 2 Rn ! R telle que :
8
>
> f = u; x2
<
f (x) = g (x) ; x 2 @ 1
>
>
: @f (x)
= h (x) ; x 2 @
@ x 2
avec
(
@ 1 [@ 2 =@
@ 1 \@ 2 = ;:
Questions d’unicité
Si l’on considère des questions d’unicité à ces problèmes, on introduit deux fonctions solutions
à chacun de ces problèmes, f1 et f2 . La fonction différence f = f2 f1 est donc solution du
problème homogène avec des conditions aux limites homogènes. On a donc :
Z
@f
f = 0 et f ds = 0:
@ @ x
3.3. Existence et Unicité de solution du problème mixte 35

Grâce à la première formule de Green, nous pouvons écrire

Z Z Z
@f
f ds = (f f + rf rf ) dx = rf rf dx:
@ @ x
On a donc l’intégrale de la norme du gradient est nulle
Z
krf k2 dx = 0 ;
ce qui entraîne si la solution est suffisamment régulière que
rf (x) = 0 ; 8x 2 :
Si on considère les conditions aux limites de type Dirichlet ou de type mixte (Dirichlet-Neumann),
on obtient f 0 et donc l’unicité.
Par contre dans le cas de Neumann, on a pas unicité n’importe quelle fonction constante peut être
solution si h (x) 0: On a d’ailleurs pas non plus existence de solution dans ce cas ,sauf si :
Z Z Z Z
@f
h (x) dx = dx = f (x) dx = f (x) dx
@ @ @ x
Théorème 3.2 Soit un domaine lisse.

(a) Le problème de Dirichlet a au plus une solution.
(b) Si 0; alors le problème mixte a au plus une solution.
(c) Si nous résolvons le problème de Neumann, alors toute autre solution est de la forme v = u + c;
où c 2 R:
Preuve. Nous commençons par la partie (b) car la partie (a) est un cas particulier de la partie (b).
Supposons que u1 et u2 sont deux solutions du problème mixte. Définissons v = u1 u2 : C’est facile
de voir que v est une fonction harmonique dans ; vérifiant sur @ la condition du frontière :
v + @n v = 0:
En substituant v = u dans la troisième identité de Green :

Z Z Z
! !
ru. rv dxdy = v@n ds v u dxdy; (3.3)
@
on obtient : Z Z
! 2
rv dxdy = (@n v)2 ds: (3.4)
@
Puisque le membre gauche de (3.4) est non négatif, et que le membre droite est non positif, il
s’ensuit que les deux côtés doivent disparaître. Donc rv = 0 dans et @n v = v = 0 dans
@ : Donc v est constante dans et il s’annule sur @ : Donc v 0 ;et u1 u2 :

La preuve de la partie (c) est similaire. Nous remarquons d’abord qu’on ne peut pas s’attendre à
l’unicité au sens des parties (a) et (b), puisque si u est une solution du problème de Neumann,
alors u + c est aussi une solution pour toute constante c: En effet, nous obtenons maintenant
d’identité (3.3) : Z
! 2
rv dxdy = 0;
ce qui implique que v est constante. D’un autre côté, puisque nous n’avons aucune contrainte sur
la valeur de v sur @ ; nous ne pouvons pas déterminer la constante. Nous obtenons ainsi :
u1 u2 = constante.
Unicité des problèmes de Dirichlet et de Neumann
Nous avons vu que le principe de maximum implique l’unicité des solutions du problème de
Dirichlet pour le Laplacian, et plus généralement les équations de Poisson, nous verrons qu’une
méthode d’énergie implique également l’unicité pour Dirichlet, ainsi que Neumann.
Considérons l’équation de Poisson avec les conditions aux limites de Dirichlet ou Neumann :
8
< f = u; dans
: f j@ = h @f
ou @
= g:
@
En supposant que le problème ci-dessus à deux solutions f1 et f2 , leur différence w = f1 f2

; va résoudre l’équation de Laplace, c’est-à-dire sera harmonique dans ; et aura des données
de Dirichlet (Neumann) disparaissant sur la frontière @ : Mais en multipliant les deux côtés de
l’équation w = 0 par w, et en utilisant la première identité de Green, nous obtenons :
Z Z Z Z Z Z Z Z
@w
w wdx = w ds jrwj2 dx = 0:
@ @
L’intégrale au-dessus de la frontière est nulle en raison de la disparition des données de Dirichlet
ou de Neumann aux limites de w; et par conséquent :
Z Z Z
jrwj2 dx = 0:
La fonction jrwj2 est non négatif, et la seule façon dont l’intégrale ci-dessus peut être nulle, et si
rw 0 dans : Par conséquent, w constante dans :
Dans le cas de la condition de Dirichlet, nous avons w 0 sur @ ; et donc f1 f2 = w 0 dans
aussi. Dans le cas de la condition de Neumann, tout ce que nous pouvons affirmer, c’est que
f1 f2 = w constante dans , c’est-à-dire la solution du probléme de Neumann est unique
jusqu’à une constante.

Conclusion
Nous avons présenté, au cours de ce travail une vue globale sur les propriétés fondamentales des
fonctions harmoniques, consacré d’abord à l’étude des fonctions différentiables qui sont utilisées
pour pouvoir lui appliquer l’opérateur de Laplace. Pour cela nous avons donné quelques propriétés
des fonctions holomorphes (Propriété de la moyenne, principe de maximum..).
Comme nous l’avons vu, ces propriétés sert à démontrer que toute application harmonique sera
représentée sous la forme d’un intégrale de Poisson, et aussi nous exploiter cette dernière pour
en déduire des inégalités sur les fonctions harmoniques positives.
Nous avons présenté, une étude simple d’existence et d’unicité des solutions aux problèmes prin-
cipaux :
Dirichlet :
(
f = u; x2
f (x) = g (x) ; x 2 @ :
Neumann :
(
f = u; x2
@f (x)
rf (x) x = @ x
= h (x) ; x2@
Mixte :
8
>
> f = u; x2
<
f (x) = g (x) ; x 2 @ 1
>
>
: @f (x)
= h (x) ; x 2 @
@ x 2
Cette étude permet d’améliorer la compréhension du comportement des fonctions harmoniques

qui ont de remarquables propriétés d’équilibre qui leur confèrent une grande flexibilité pour ré-
soudre les problèmes précédents dans des domaines au bord suffisamment réguliers en un certain
sens.

Bibliographie
[1] H. CARTAN, Théorie élémentaire des fonctions analytiques d’une ou plusieurs variables com-
plexes, Deuxième cycle Broché – 21 octobre 1997.
[2] François de Marçay, Fonctions harmoniques, Département de Mathématiques d’Orsay Univer-
sité Paris-Sud, France.
[3] I. CHALENDAR, Analyse fonctionelle : Fonctions Harmoniques, Classe de Nevanlinna, Espaces
de Hardy, et une introduction aux opérateurs de Toeplitz et de Kernel, Cour de MASTER, 2 éme
année (MATHEMATIQUES PURES) 2008.
[4] S. AXLER, P. BOURDON, W. RAMEY, Harmonic Functions Théory, Springer-Variag New York,
2000.
[5] G. STUPFLER, Fonctions harmoniques et distributions asymptotique des valeurs propres du la-
placien, 2007.
[6] M. BOUKHETOUTA, Prolongement des applications holomorphes, mémoire de magister, 2014.
[7] D. RENARD, Calcul différentiel et fonctions holomorphes, 2017.
[8] D. HULIN, Fonctions Holomorphes, Université Paris-Sud, 2013-2014.
[9] Y. PINCHOVER et J. RUBINSTEIN, An introduction to Partial Differential Equations, Springer-
Verlag, 2000.
39

Fonctionsharmoniques

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Fonctionsharmoniques

Transféré par

Droits d'auteur :

Formats disponibles

Table des matières

1 Notions, définitions et préliminaires 5

2 Les propriétés des fonctions harmoniques 16

Notions, définitions et préliminaires

1.1 Rappel sur les fonctions différentiables

1.2 Les fonctions Holomorphes

Proposition 1.3 Soit U un ouvert non vide de C;

1.2.1 Propriétés élémentaires des fonctions holomorphes

Condition de Cauchy Riemann

1.2. Les fonctions Holomorphes 6

Preuve. f = P + iQ soit une fonction holomorphe en tout point z0 2 alors :

[P (x + x; y + y) P (x; y)] [Q (x + x; y + y) Q (x; y)]

Rappelons tout d’abord la formule de Cauchy :

1.2. Les fonctions Holomorphes 7

1.2.2 Zéros d’une fonction holomorphe

Y = z2 j f (n) (z) = 0 pour tout n 2 N :

1.2. Les fonctions Holomorphes 8

k := inf n 0 j f (n) (z0 ) 6= 0 > 0:

Puisque f est analytique on a, lorsque jz z0 j est assez petit,

f (z) = (z z0 )k1 g1 (z) = (z z0 )k2 g2 (z) ;

Lemme 1.1 Soit f 2 H ( ) ; a 2 : Alors trois cas se présentent :

1.3 Les fonctions harmoniques

1.3. Les fonctions harmoniques 9

Remarque 1.2 [3] On a

1.3. Les fonctions harmoniques 10

En effet, si f est holomorphe ; f de classe C 2 ;

Ce remarque est une conséquence immédiate du fait que Re ( f ) = (Re (f )) et Im ( f ) =

Définition 1.4 On dira qu’une fonction f de la variable complexe z = x + iy est anti-holomorphe si

1.3. Les fonctions harmoniques 11

Rappel : Soit X C. L’adhérence X de X est la réunion de X et de sa frontière @X: On dira qu’un

1.3. Les fonctions harmoniques 12

Corollaire 1.4 [2] Si (hn )1

Preuve. Par le convergence uniforme, les formules de la moyenne passent à la limite :

et grâce au théorème qui précède, h est effectivement harmonique.

alors elles sont partout égales f1 = f2 .

1.3. Les fonctions harmoniques 13

Preuve. La fonction harmonique f = f1 f2 satisfait f jE 0: introduisons l’ensemble :

F est fermé car f 2 Harm ( ), dont l’intérieur est non vide :

Preuve. Par définition :

1.3. Les fonctions harmoniques 14

1.3. Les fonctions harmoniques 15

Les propriétés des fonctions harmoniques

2.1 Propriétés de base

2.1.1 Moyenne arithmétique

2.1.2 Théorème du minimum et du maximum, forme forte

2.1.3 Principe d’unicité

Preuve. Notons A le sous-ensemble de où les fonctions u1 et u2 coïncident. puisque u1 ; u2 sont

2.1. Propriétés de base 17

f1 = u1 + iv1 = u1 + i (v2 + ) = u2 + i (v2 + ) = u2 + iv2 + i = f2 + i :

2.2 Les fonctions harmoniques bornées

2.2.1 Estimation de Cauchy

vérifie pour tout x 2 B et tout multi-indice :

2.2. Les fonctions harmoniques bornées 18

Preuve. Pour chaque a 2 ; appliquons l’estimation de Cauchy avec r = d (a; @ ) :

2.2.2 Familles normales

2.2. Les fonctions harmoniques bornées 19

2.2. Les fonctions harmoniques bornées 20

2.2.3 Principe de maximum

lim sup f (ak ) M (2.2)

Théorème 2.7 [4] Supposons que Hn = fx 2 Rn : xn > 0g la moitié supérieure de Rn : Si f

lim sup f (ak ) M:

Preuve. Pour (x; y) 2 ; définir

2.2. Les fonctions harmoniques bornées 21