$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Fonction harmonique

Une fonction $f$ définie sur un ouvert $U$ de $\mathbb R^2$ à valeurs dans $\mathbb C$ est harmonique si elle est de classe $C^2$ et vérifie : $$\frac{\partial ^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}=0.$$

Les fonctions harmoniques sont intimement liées aux fonctions holomorphes. Ainsi :

  • toute fonction holomorphe est harmonique (c'est une conséquence des équations de Cauchy-Riemann);
  • une fonction $f$ harmonique à valeurs réelles est localement la partie réelle d'une fonction holomorphe : pour tout $a$ de $U$ et tout disque $D(a,r)$ contenu dans $U$, il existe $u$ holomorphe dans $D(a,r)$ telle que $f=\Re e(u)$ dans ce disque.

Il n'est donc pas étonnant que fonctions holomorphes et fonctions analytiques partagent de nombreuses propriétés (principe du maximum, principe du prolongement analytique,...). Parmi les propriétés importantes des fonctions harmoniques, mentionnons :

  • la propriété de la moyenne : si $f$ est harmonique dans l'ouvert $U$, si $D(a,r)$ est un disque contenu dans $U$, alors $$f(a)=\frac 1{2\pi}\int_0^{2\pi}f\left(a+re^{i\theta}\right)d\theta.$$ Autrement dit, la valeur de $f$ en $a$ est la moyenne des valeurs prises par $f$ sur le cercle de centre $a$ et de rayon $r$. Réciproquement, si une fonction $f$ est continue et si elle vérifie la propriété de la valeur moyenne, alors elle est harmonique (en particulier, elle est $C^2$ et même analytique comme toute fonction harmonique).
  • le prolongement harmonique : si $u$ est continue sur le cercle de centre $a$ et de rayon $r$, il existe une unique fonction $f$ définie sur le disque fermé de centre $a$ et de rayon $r$ qui est harmonique et qui est égale à $u$ sur le cercle. En particulier, le problème de Dirichlet admet toujours une solution pour un disque.
Consulter aussi
Recherche alphabétique
Recherche thématique