Résultat de la théorie du potentiel fournissant des estimations comparatives de type Harnack pour des fonctions harmoniques positives s'annulant sur une portion du bord d'un domaine, décrivant leur comportement relatif au voisinage du bord.

Principe

Si deux fonctions harmoniques non négatives dans un domaine s'annulent continûment sur la même portion du bord, alors leur quotient reste borné (et souvent Hölder-continue) jusqu'au bord sous des conditions géométriques adaptées sur le domaine et l'opérateur.

Démonstration

Dans un domaine Lipschitz ou NTA de R^n, deux fonctions harmoniques positives s'annulant sur le même morceau de bord vérifient que u/v est bornée près de ce morceau ; concrètement, pour des solutions de l'équation de Laplace nulles sur une portion plate du bord, on construit des fonctions barrières et on utilise des chaînes de Harnack pour obtenir la comparaison.

Mauvaise application

Appliquer le principe à des fonctions qui changent de signe, à des fonctions simplement sous-harmoniques, ou à des domaines à bord fractal ou fortement irrégulier sans vérifier les hypothèses géométriques conduit à des conclusions erronées sur les quotients au bord.

Conséquence

Lorsque le principe est valide, il donne un contrôle précis du comportement relatif au bord, permet de contrôler les limites au bord et constitue un outil central pour identifier les points de la frontière de Martin et déduire la régularité et l'unicité pour les problèmes aux limites.

Inversion

Si les conditions échouent (par exemple les fonctions ne s'annulent pas sur la même portion du bord ou le domaine manque de régularité requise), il n'existe pas de borne uniforme pour le quotient et l'on peut observer une oscillation relative arbitrairement grande près du bord.

Limite

S'applique aux fonctions harmoniques positives (ou plus généralement aux solutions positives d'équations elliptiques uniformes) s'annulant sur une portion commune du bord dans des domaines satisfaisant une régularité géométrique (Lipschitz, NTA) ; exclut les solutions changeant de signe, les problèmes paraboliques sans adaptation et les bords fortement irréguliers.

Tension sémantique

On confond parfois ce principe avec le lemme de Hopf (qui fournit des informations ponctuelles sur la dérivée normale non nulle) ou avec les inégalités de Harnack intérieures ; le principe de Harnack au bord est comparatif et porte sur le comportement près du bord, là où Hopf est local et directionnel.

Synthèse

Le Principe de Harnack au Bord exprime une régularité comparative : sous des hypothèses sur le domaine et l'opérateur, des fonctions harmoniques positives qui s'annulent conjointement sur une portion du bord se comportent proportionnellement près de ce bord, produisant des quotients bornés et souvent Hölder, essentiels pour l'analyse fine du bord.