Fonction harmonique

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, une fonction harmonique est une fonction qui satisfait l'équation de Laplace.

Un problème classique concernant les fonctions harmoniques est le problème de Dirichlet : étant donné une fonction continue définie sur la frontière d'un ouvert, peut-on la prolonger par une fonction qui soit harmonique en tout point de l'ouvert ?

Définition

Définition (fonction harmonique) — Soit $U$ un ouvert non vide de $\mathbb {R} ^{n}$ et $f:U\rightarrow \mathbb {R}$ une fonction deux fois différentiable sur $U$ . On dit que $f$ est harmonique sur $U$ si pour tout $a\in U$ :

\Delta f(a)=0

où $\Delta$ désigne l'opérateur laplacien, c'est-à-dire,

\Delta f(a):={\frac {\partial ^{2}f}{\partial x_{1}^{2}}}(a)+\cdots +{\frac {\partial ^{2}f}{\partial x_{n}^{2}}}(a)

.

L'équation $\Delta f=0$ est appelée équation de Laplace. Une fonction harmonique est donc, par définition, une solution de cette équation.

Exemples

Les fonctions constantes sont harmoniques sur $\mathbb {R} ^{n}$ .
Les fonctions coordonnées, $f_{i}:(x_{1},\dots ,x_{n})\mapsto x_{i}$ , sont toutes harmoniques sur $\mathbb {R} ^{n}$ ^[1].
La fonction $f:(x_{1},x_{2},x_{3})\mapsto x_{1}^{2}+x_{2}^{2}-2x_{3}^{2}-x_{2}$ est harmonique sur $\mathbb {R} ^{3}$ .
La fonction $f:x\mapsto \vert x\vert ^{2-n}$ est harmonique sur $\mathbb {R} ^{n}\setminus \{0\}$ pour tout $n\geq 3$ où $\vert \cdot \vert$ désigne la norme euclidienne^[1].
La fonction $f:x\mapsto \ln \vert x\vert$ est harmonique sur $\mathbb {R} ^{2}\setminus \{0\}$ ^[1].
La fonction $f:x\mapsto x_{1}\vert x\vert ^{-n}$ est harmonique sur $\mathbb {R} ^{n}\setminus \{0\}$ pour tout $n\geq 1$ ^[1].
Les fonctions harmoniques sur les intervalles ouverts de $\mathbb {R}$ sont exactement les fonctions affines.

Propriétés

Stabilité

Puisque l'opérateur laplacien est linéaire, l'ensemble des fonctions harmoniques sur un ouvert fixé est un espace vectoriel. Les fonctions harmoniques sont donc stables par addition et multiplication par un réel.
Si $f$ est harmonique sur $U$ alors $x\mapsto f(x-x_{0})$ est harmonique sur $U+x_{0}$ . En somme les fonctions harmoniques sont stables par translation^[2].
Si $f$ est harmonique sur $U$ alors $x\mapsto f(rx)$ est harmonique sur $r^{-1}U$ . Ainsi les fonctions harmoniques sont stables par dilatation^[2].
Si $f$ est harmonique sur $U$ et si $T$ est une application orthogonale alors $f\circ T$ est harmonique sur $T^{-1}(U)$ . Cela découle du fait que, de manière générale, pour toute fonction $f\in C^{2}(U)$ on a que $\Delta (f\circ T)=(\Delta f)\circ T$ . Les fonctions harmoniques sont donc stables par transformation orthogonale^[2].

Régularité

Une fonction harmonique est nécessairement infiniment différentiable. En fait elle est même développable en série entière^[3].

Théorème (harmonique implique analytique) — Soit $f:U\rightarrow \mathbb {R}$ une fonction harmonique sur un ouvert $U$ . Alors pour tout $a\in U$ il existe $r>0$ et des coefficients réels $c_{\alpha }$ pour tout multi-indice $\alpha$ tels que $B(a,r)\subset U$ et pour tout $x\in B(a,r)$ :

f(x)=\sum _{\alpha }c_{\alpha }(x-a)^{\alpha }

.

En particulier $f$ est $C^{\infty }$ .

Précisons qu'un multi-indice est un n-uplet $\alpha =(\alpha _{1},\dots ,\alpha _{n})$ et que pour $x=(x_{1},\dots ,x_{n})\in \mathbb {R} ^{n}$ on note $x^{\alpha }:=x_{1}^{\alpha _{1}}\dots x_{n}^{\alpha _{n}}$ . Pour que la somme apparaissant dans le résultat précédent fasse sens, il est implicitement supposé que la famille $(c_{\alpha }(x-a)^{\alpha })_{\alpha }$ est sommable.

Convergence

Une limite uniforme sur tout compact d'une suite de fonctions harmoniques est harmonique, de plus les différentielles convergent aussi. Plus précisément^[4]

Théorème (convergence) — Soit $(f_{m})$ une suite de fonctions harmoniques sur un ouvert $U$ qui converge uniformément sur tout compact vers une fonction $f:U\rightarrow \mathbb {R}$ . Alors $f$ est harmonique sur $U$ . De plus, pour tout multi-indice $\alpha$ , la suite $(D^{\alpha }f_{m})$ converge uniformément sur tout compact vers $D^{\alpha }f$ .

Propriété de la moyenne

La boule ouverte de centre $a\in \mathbb {R} ^{n}$ et de rayon $r>0$ sera notée $B(a,r)$ . La boule fermée sera notée $B_{f}(a,r)={\overline {B(a,r)}}$ et la sphère sera notée $S(a,r)=\partial B(a,r)$ . Le principe de la moyenne dit qu'une fonction harmonique est égale en tout point à sa moyenne prise sur une boule centrée en ce point. En réalité on peut voir l'équation de Laplace comme une propriété locale de la moyenne. Cette propriété locale devient globale grâce à l'identité de Green^[5].

Théorème (Propriété de la moyenne sur la boule) — Soit $f:U\rightarrow \mathbb {R}$ une fonction harmonique sur un ouvert $U$ et $B(a,r)\subset U$ . Alors

f(a)={\frac {1}{\lambda (B(0,1))}}\int _{B(a,r)}f(t)d\lambda (t)

où $\lambda$ désigne la mesure de Lebesgue sur $\mathbb {R} ^{n}$ .

Il existe aussi une autre version de la propriété de la moyenne, où cette fois, la moyenne est prise sur la sphère^[6].

Théorème (Propriété de la moyenne sur la sphère) — Soit $f:U\rightarrow \mathbb {R}$ une fonction harmonique sur un ouvert $U$ et $B(a,r)\subset U$ . Alors

f(a)=\int _{S(0,1)}f(a+rt)d\sigma (t)

où $\sigma$ désigne la mesure de Lebesgue normalisée sur la sphère unité $S(0,1)$ .

Précisons ce qu'est la mesure de Lebesgue normalisée sur la sphère. Pour tout $A=B\cap S(0,1)$ avec $B$ un borélien de $\mathbb {R} ^{n}$ , on a

\sigma (A):={\frac {\lambda (\{ra\,\vert \,a\in A,r\in [0,1]\})}{\lambda (B(0,1))}}

.

Réciproque de la propriété de la moyenne

La propriété de la moyenne caractérise en réalité les fonctions harmoniques dans le sens où, si une fonction satisfait la propriété de la moyenne, alors elle est harmonique^[7].

Théorème (Réciproque de la propriété de la moyenne sur la boule) — Soit $f:U\rightarrow \mathbb {R}$ une fonction localement intégrable sur un ouvert $U$ . Supposons que pour toute boule $B(a,r)$ telle que $B_{f}(a,r)\subset U$ on ait

f(a)={\frac {1}{\lambda (B(0,1))}}\int _{B(a,r)}f(t)d\lambda (t)

.

Alors $f$ est harmonique sur $U$ .

Encore une fois il existe une autre version pour la sphère^[8].

Théorème (Réciproque de la propriété de la moyenne sur la boule) — Soit $f:U\rightarrow \mathbb {R}$ une fonction continue sur un ouvert $U$ . Supposons que pour tout $a\in U$ il existe une suite $(r_{k})_{k}$ tendant vers $0$ telle que pour $k$ on ait

f(a)=\int _{S(0,1)}f(a+r_{k}t)d\sigma (t)

.

Alors $f$ est harmonique sur $U$ .

A noter que dans la première réciproque, la fonction est seulement supposée localement intégrable, alors que dans la seconde elle est supposée continue.

Principe du maximum

Le principe du maximum est une conséquence importante de la propriété de la moyenne^[9].

Théorème (Principe du maximum) — Soit $f:U\rightarrow \mathbb {R}$ une fonction harmonique sur un ouvert connexe $U$ . Si $f$ possède un extremum (c'est-à-dire un maximum ou un minimum) sur $U$ alors $f$ est constante.

Le corollaire suivant est une conséquence directe du principe du maximum^[10].

Corollaire — Soit $U$ un ouvert borné et $f:{\overline {U}}\rightarrow \mathbb {R}$ une fonction continue sur ${\overline {U}}$ et harmonique sur $U$ . Alors les extremums sur ${\overline {U}}$ de $f$ sont atteints sur la frontière $\partial U$ .

Le principe du maximum donne une preuve simple de l'unicité d'un problème de Dirichlet sur un ouvert borné $U$ . En effet, si deux fonctions continues $f$ et $g$ sur ${\overline {U}}$ sont harmoniques sur $U$ et égales sur $\partial U$ alors leur différence $f-g$ est aussi harmonique sur $U$ . Par le principe du maximum, ou plutôt par son corollaire ci-dessus, le maximum et le minimum de $f-g$ sont atteints sur $\partial U$ , donc valent 0, ce qui implique que $f=g$ . Il existe une version locale du principe du maximum^[11].

Théorème (Principe du maximum local) — Soit $f:U\rightarrow \mathbb {R}$ une fonction harmonique sur un ouvert connexe $U$ . Si $f$ possède un extremum local sur $U$ alors $f$ est constante.

Puisqu'un extremum est, a fortiori, un extremum local, ce dernier théorème est en fait une généralisation du principe du maximum global. Le principe du maximum local se déduit du global en utilisant en plus le fait que les fonctions harmoniques sont développables en série entière. En effet cela permet de montrer que la constance locale induit la constance globale.

Théorème de Liouville

Théorème de Liouville — Soit $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ une fonction harmonique sur tout l'espace $\mathbb {R} ^{n}$ . Si $f$ est bornée alors elle est constante.

Le théorème de Liouville^[12] peut donner une preuve de l'unicité d'un problème de Dirichlet sur un domaine non borné, à condition de se restreindre aux solutions bornées. Il complète, en ce sens, le principe du maximum. Par exemple le théorème de Liouville implique l'unicité des solutions bornées sur le demi-espace :

H_{n}:=\{(x_{1},\dots ,x_{n})\in \mathbb {R} ^{n}\,\vert \,x_{n}>0\}

.

Plus précisément^[13]

Corollaire — Soit $f:{\overline {H_{n}}}\rightarrow \mathbb {R}$ une fonction continue sur ${\overline {H_{n}}}$ , harmonique sur $H_{n}$ , nulle sur $\partial H_{n}$ et bornée. Alors $f$ est nulle sur ${\overline {H_{n}}}$ .

Il existe une version plus forte du théorème de Liouville^[14].

Théorème de Liouville généralisé — Soit $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ une fonction harmonique sur tout l'espace $\mathbb {R} ^{n}$ . Si

\liminf _{x\to \infty }{\frac {f(x)}{\vert x\vert }}\geq 0

alors $f$ est constante.

Cette version généralisée implique la première version du théorème pour les fonctions bornées. Elle implique aussi qu'une fonction harmonique positive sur l'espace entier est nécessairement constante^[15]. Cette dernière propriété permet de montrer qu'une fonction harmonique positive $f$ sur $\mathbb {R} ^{2}\setminus \{0\}$ est constante^[16] (il suffit de considérer la fonction $z\in \mathbb {C} \mapsto f(e^{z})$ qui est harmonique et positive sur $\mathbb {C}$ , que l'on identifie à $\mathbb {R} ^{2}$ ).

Principe de Dirichlet

Le principe de Dirichlet dit que la solution d'un problème de Dirichlet (c'est-à-dire une solution de l'équation de Laplace avec une condition au bord en plus) est la fonction qui minimise une certaine énergie, appelée énergie de Dirichlet. Plus précisément, soit $U$ un ouvert borné non vide de $\mathbb {R} ^{n}$ avec une frontière $\partial U$ de classe $C^{1}$ . Soit $b:\partial U\rightarrow \mathbb {R}$ une fonction continue. Notons ${\mathcal {A}}(b):=\{g\in C^{2}({\overline {U}})\,\vert \,g_{\vert \partial U}=b\}$ l'ensemble des fonctions admissibles et $E(g):={\frac {1}{2}}\int _{U}\vert \nabla g\vert ^{2}d\lambda$ l'énergie de Dirichlet d'un élément admissible $g\in {\mathcal {A}}(b)$ . Le problème de Dirichlet associé à $U$ et $b$ consiste alors à trouver une fonction $f$ continue sur ${\overline {U}}$ , harmonique sur $U$ et égale à $b$ sur la frontière $\partial U$ .

Théorème (principe de Dirichlet) — Soit $f\in C^{2}({\overline {U}})$ . Alors $f$ résout le problème de Dirichlet si et seulement si

E(f)=\min _{g\in {\mathcal {A}}(b)}E(g)

.

Fonction harmonique en dimension 2

En identifiant ℂ à ℝ², on va voir que les fonctions harmoniques sont très liées aux fonctions holomorphes^[17].

Théorème (holomorphe vers harmonique) — Soit $h:U\rightarrow \mathbb {C}$ une fonction holomorphe sur un ouvert $U$ de $\mathbb {C}$ . Alors la partie réelle $Re(h)$ est une fonction harmonique sur $U$ .

La réciproque de cette propriété est fausse. En effet une fonction harmonique n'est pas forcément la partie réelle d'une fonction holomorphe définie sur tout le domaine. En revanche elle est localement la partie réelle d'une fonction holomorphe. Plus précisément^[18]

Théorème (harmonique vers holomorphe) — Soit $f:U\rightarrow \mathbb {R}$ une fonction harmonique sur un ouvert simplement connexe $U$ de $\mathbb {C}$ . Alors il existe une fonction holomorphe $h:U\rightarrow \mathbb {C}$ telle que $f=Re(h)$ .

Une telle caractérisation des fonctions harmoniques n'existe pas en dimension supérieure à deux.

Articles connexes

Notes

↑ ^{a b c et d} Axler, Bourdon et Ramey 2001, Definitions and Examples, p. 1.
↑ ^{a b et c} Axler, Bourdon et Ramey 2001, Invariance Properties, p. 2.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.28, p. 21.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.23, p. 16.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.6, p. 6.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.4, p. 5.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.25, p. 18.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.24, p. 17.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.8, p. 7.
↑ Axler, Bourdon et Ramey 2001, Corollaire 1.9, p. 7.
↑ Axler, Bourdon et Ramey 2001, Théorème 1.29, p. 23.
↑ Axler, Bourdon et Ramey 2001, Théorème 2.1, p. 31.
↑ Axler, Bourdon et Ramey 2001, Corollaire 2.2, p. 32.
↑ Axler, Bourdon et Ramey 2001, Théorème 9.10, p. 198.
↑ Axler, Bourdon et Ramey 2001, Théorème 3.1, p. 45.
↑ Axler, Bourdon et Ramey 2001, Corollaire 3.3, p. 46.
↑ Marçay 2017, Proposition 1.2, p. 2.
↑ Marçay 2017, Théorème 1.4, p. 3.

Références

(en) Sheldon Axler, Paul Bourdon et Wade Ramey, Harmonic function theory, New York, Springer-Verlag, 2001, 2^e éd. (lire en ligne)
François De Marçay, « Fonctions harmoniques », 2017

Portail de l'analyse

[AxlerBourdonRamey20011Definitions_and_Examples-1] {a b c et d} Axler, Bourdon et Ramey 2001, Definitions and Examples, p. 1.

[AxlerBourdonRamey20012Invariance_Properties-2] {a b et c} Axler, Bourdon et Ramey 2001, Invariance Properties, p. 2.

[AxlerBourdonRamey200121Théorème_1.28-3] Axler, Bourdon et Ramey 2001, Théorème 1.28, p. 21.

[AxlerBourdonRamey200116Théorème_1.23-4] Axler, Bourdon et Ramey 2001, Théorème 1.23, p. 16.

[AxlerBourdonRamey20016Théorème_1.6-5] Axler, Bourdon et Ramey 2001, Théorème 1.6, p. 6.

[AxlerBourdonRamey20015Théorème_1.4-6] Axler, Bourdon et Ramey 2001, Théorème 1.4, p. 5.

[AxlerBourdonRamey200118Théorème_1.25-7] Axler, Bourdon et Ramey 2001, Théorème 1.25, p. 18.

[AxlerBourdonRamey200117Théorème_1.24-8] Axler, Bourdon et Ramey 2001, Théorème 1.24, p. 17.

[AxlerBourdonRamey20017Théorème_1.8-9] Axler, Bourdon et Ramey 2001, Théorème 1.8, p. 7.

[AxlerBourdonRamey20017Corollaire_1.9-10] Axler, Bourdon et Ramey 2001, Corollaire 1.9, p. 7.

[AxlerBourdonRamey200123Théorème_1.29-11] Axler, Bourdon et Ramey 2001, Théorème 1.29, p. 23.

[AxlerBourdonRamey200131Théorème_2.1-12] Axler, Bourdon et Ramey 2001, Théorème 2.1, p. 31.

[AxlerBourdonRamey200132Corollaire_2.2-13] Axler, Bourdon et Ramey 2001, Corollaire 2.2, p. 32.

[AxlerBourdonRamey2001198Théorème_9.10-14] Axler, Bourdon et Ramey 2001, Théorème 9.10, p. 198.

[AxlerBourdonRamey200145Théorème_3.1-15] Axler, Bourdon et Ramey 2001, Théorème 3.1, p. 45.

[AxlerBourdonRamey200146Corollaire_3.3-16] Axler, Bourdon et Ramey 2001, Corollaire 3.3, p. 46.

[Marçay20172Proposition_1.2-17] Marçay 2017, Proposition 1.2, p. 2.

[Marçay20173Théorème_1.4-18] Marçay 2017, Théorème 1.4, p. 3.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]