- Fonction sous-harmonique
-
En mathématiques, une fonction sous-harmonique est une fonction définie sur un domaine du plan complexe et à valeurs réelles vérifiant certaines conditions d'harmonicité plus faibles que celles vérifiées par les fonctions harmoniques. C'est une notion introduite en analyse harmonique pour résoudre le problème fondamental dit problème de Dirichlet ; la résolution de ce problème utilisant les fonctions sous-harmoniques est appelée méthode de Perron (en).
Dans un domaine D ouvert, connexe et relativement compact du plan complexe, une fonction u à valeurs dans est dite sous-harmonique si elle est continue et si pour tout , il existe un réel r assez petit pour que u satisfasse l'inégalité de la moyenne sur le disque centré en a de rayon r, à savoir :
Outre l'analogie avec l'égalité de la moyenne, les fonctions sous-harmoniques vérifient un certain nombre de propriétés à comparer avec celles des fonctions harmoniques :
- le principe du maximum : sur tout partie ω relativement compacte dans D, le maximum de u sur l'adhérence de ω est atteint sur le bord ; et si u admet un maximum global sur D, alors elle est constante. En revanche, il n'y a pas de principe du minimum.
- les fonctions sous-harmoniques sur D sont caractérisées parmi les fonctions continues comme celles vérifiant le principe du maximum sur tout disque relativement compact dans D.
Le théorème central permettant d'utiliser ces fonctions en analyse harmonique est que si une famille de fonctions sous-harmoniques dans un domaine D est stable par maximum (si , alors ) et par modifiée de Poisson (si et si Δ est un disque relativement compact dans D, de centre a, la modifiée de Poisson de u dans Δ à savoir la fonction qui vérifie sur D − Δ et sur Δ : , est encore dans ), alors la borne supérieure des éléments de est soit constamment égal à , soit une fonction harmonique sur D.
Pour démontrer le principe de Dirichlet, on se place ensuite sur un domaine D dont le bord est régulier, muni d'une fonction continue ϕ sur son bord, et on prend la famille des fonctions sous-harmoniques sur D majorées par ϕ sur le bord de D : la borne supérieure de cette famille est alors une solution.
Wikimedia Foundation. 2010.