AnalyseNotion · Glossaire
Barrière
En théorie du potentiel et en analyse, une barrière en un point de la frontière d'un domaine est une fonction surharmonique strictement positive dans le domaine, qui tend vers zéro en ce point de frontière et reste bornée inférieurement loin de ce point. L'existence d'une barrière en un point de frontière garantit la régularité de ce point pour le problème de Dirichlet, c'est-à-dire que la solution du problème de Dirichlet y prend bien la valeur de la condition aux limites. Cette notion est centrale dans la théorie classique du potentiel.
Sommaire
Ce que vous allez apprendre
- Définir les conditions exactes d'une barrière en un point frontière.
- Vérifier une barrière explicite dans le disque unité.
- Relier l'existence d'une barrière à la régularité pour le problème de Dirichlet.
- Distinguer cette notion des barrières d'optimisation et d'équations différentielles.
En clair
Imaginez une membrane tendue au-dessus d'un disque et un point précis sur son bord. Une barrière est une fonction auxiliaire qui reste au-dessus de zéro dans le disque, mais descend vers zéro lorsqu'on approche ce point. Partout où l'on reste à distance du point visé, elle conserve une hauteur positive.
Ce témoin local empêche la solution du problème de Dirichlet de s'écarter de la valeur prescrite au bord. Son existence certifie donc que le point est régulier.
Définition
Soit Ω un domaine de l'espace euclidien et soit p un point de sa frontière. Une barrière en p est une fonction b surharmonique et strictement positive dans Ω, telle que b tend vers 0 lorsque les points de Ω tendent vers p. De plus, pour tout voisinage V de p, la fonction reste uniformément positive sur Ω privé de V : . Cette dernière condition interdit que b approche aussi 0 loin de p.
Une fonction harmonique est aussi surharmonique ; elle peut donc servir de barrière si elle vérifie les deux conditions de bord. L'existence d'une telle fonction implique que p est régulier pour le problème de Dirichlet : pour toute donnée au bord continue en p, la solution obtenue retrouve la valeur prescrite quand on approche p depuis Ω.
Dans le disque unité, au point p de coordonnées (1, 0), la fonction b définie par b(x, y) = 1 − x fournit le même exemple tout au long de la fiche. Ses lignes de niveau sont des cordes verticales, de plus en plus proches de p lorsque b diminue.
Un exemple, pas à pas
On travaille dans le disque unité Ω, formé des points (x, y) tels que x2 + y2 < 1. Le point visé est p = (1, 0), et l'on pose b(x, y) = 1 − x.
1. Comme x < 1 dans Ω, on a b(x, y) > 0.
2. Les dérivées secondes de b sont nulles. Son laplacien vaut donc : b est harmonique, donc surharmonique.
3. Lorsque (x, y) tend vers p depuis Ω, x tend vers 1 et b(x, y) tend vers 0.
4. Pour un rayon r strictement positif, si un point reste à une distance au moins r de p, alors . La minoration loin de p est vérifiée.
Les quatre contrôles montrent que b est une barrière en p. Par exemple, à distance au moins 1/2 de p, elle est strictement supérieure à 1/8 : ce calcul permet de refaire le contrôle numérique.
En pratique
Pour étudier une valeur imposée sur le bord, on cherche d'abord une fonction positive qui s'annule uniquement au point examiné. Si une formule harmonique simple existe, comme 1 − x dans le disque unité, elle est souvent plus commode qu'une fonction seulement surharmonique.
On vérifie ensuite séparément la surharmonicité, la limite en p et la minoration hors de chaque voisinage de p. Une fonction qui tend vers zéro en plusieurs points ne suffit pas : il faut la modifier ou choisir une autre candidate.
Une fois la barrière construite, on l'emploie dans un argument de comparaison. Des multiples convenables de b encadrent l'écart entre la solution et la donnée au bord, puis cet encadrement se resserre quand on approche p.
À ne pas confondre
Une fonction sousharmonique satisfait l'inégalité de moyenne dans le sens opposé à une fonction surharmonique. Avec la convention où le laplacien est la somme des dérivées secondes, un laplacien non négatif caractérise le sens sousharmonique ; une barrière est demandée surharmonique. Une fonction harmonique, dont le laplacien est nul, appartient aux deux classes.
Une fonction barrière en optimisation pénalise l'approche de la frontière d'un ensemble admissible et tend souvent vers l'infini. Ici, le comportement décisif est inverse : la barrière de théorie du potentiel tend vers zéro au point frontière étudié.
Les barrières pour une équation différentielle sont des fonctions qui encadrent des solutions au moyen d'inégalités différentielles. Le test qui tranche est l'objet contrôlé : une trajectoire pour l'équation différentielle, une valeur au bord pour le problème de Dirichlet.
Limites et pièges
S'annuler en p ne suffit pas. Si l'infimum de b vaut 0 hors d'un voisinage de p, la fonction laisse échapper le contrôle en un autre endroit du domaine ; il faut chercher une candidate qui reste uniformément positive loin de p.
La barrière est locale au point de frontière. Son existence en un point ne rend pas automatiquement réguliers tous les autres points. Pour conclure sur toute la frontière, il faut disposer d'une barrière en chacun des points concernés ou invoquer un critère géométrique adapté.
La limite doit être prise depuis l'intérieur du domaine. Une expression qui vaut zéro au point p après prolongement, mais qui n'y tend pas le long de toutes les approches intérieures, n'est pas une barrière.
Dans l'exemple du disque, l'inégalité stricte vient du fait que x2 + y2 < 1. Sur le bord du disque, cette étape change : la barrière est définie et contrôlée dans le domaine ouvert, tandis que ses limites décrivent le bord.
Pour aller plus loin
Le problème de Dirichlet précise le rôle de la donnée au bord et la question de régularité que la barrière permet de résoudre localement.
La fonction harmonique donne le cadre de l'exemple b(x, y) = 1 − x et explique pourquoi son laplacien nul convient.
La fonction sousharmonique aide à distinguer les deux sens de l'inégalité de moyenne, une précaution utile avant de choisir une barrière.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres