Dirichlet Green's functions with singular drifts at the boundary of convex domains

1. Problématique et Contexte

Ce travail s'inscrit dans l'étude des équations aux dérivées partielles elliptiques, plus précisément concernant les fonctions de Green de Dirichlet associées à des opérateurs elliptiques du second ordre possédant un terme de dérive (drift) singulier près de la frontière.

• Domaine : Le papier considère un domaine borné convexe $K \subset \mathbb{R}^n$ avec $n \ge 3$.
• Opérateur : L'opérateur étudié est de la forme $Lu = -\Delta u + B \cdot \nabla u = 0$ (ou plus généralement sous forme divergence $L_1 u = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$).
• Condition de singularité : Le terme de dérive $B(X)$ diverge près de la frontière $\partial K$ comme une puissance négative de la distance à la frontière $\delta(X) = \text{dist}(X, \partial K)$. Plus précisément, on suppose que pour un exposant $0 < \beta < 1$ :
  $$\delta(X)^{1-\beta} |B(X)| \le M$$
  De plus, la divergence de $B$ satisfait une condition de signe négatif au sens des distributions : $\nabla \cdot B \le 0$ (ou $\int_\Omega (B \cdot \nabla v) \ge 0$ pour $v \ge 0$).
• Objectif : Établir des bornes supérieures ponctuelles intérieures pour la fonction de Green $G(x, y)$ associée à cet opérateur. L'article vise à étendre les résultats précédents (notamment [Pat25], valables pour la boule unité) à des domaines convexes généraux.

2. Méthodologie

L'approche repose sur une extension et une simplification de la méthode développée dans [Pat25] pour la boule unité, adaptée à la géométrie plus complexe des domaines convexes.

A. Interpolation de Minkowski

La principale innovation méthodologique pour traiter les domaines convexes non sphériques est l'utilisation d'une interpolation de Minkowski.

• Au lieu de travailler uniquement sur des sphères concentriques (comme dans le cas de la boule), l'auteur définit une famille de corps convexes $K_y$ interpolant entre le domaine $K$ et une boule intérieure $B_1$ :
  $$K_y = (1-y)K + yB_1, \quad 0 \le y \le 1$$
• Cela permet de suivre l'évolution de la fonction de Green le long de surfaces de niveau qui sont des frontières de ces corps convexes intermédiaires, garantissant ainsi le contrôle de la géométrie et des normales.

B. Analyse "Near Field" et "Far Field"

L'argument est divisé en deux régimes géométriques par rapport au pôle de la fonction de Green (l'origine) :

1. Effet "Near Field" (Champ proche) : Analyse des points de minimum de la fonction de Green sur des sphères proches du pôle. L'auteur utilise des inégalités différentielles pour contrôler la croissance du gradient en s'éloignant du pôle.
2. Effet "Far Field" (Champ lointain) : Analyse des points de maximum de la fonction de Green dans la région $K \setminus B_1$.
   • Contrairement à la boule unité où les points maximaux restent à une distance contrôlée de la frontière, dans un domaine convexe général, un déplacement infinitésimal vers l'intérieur pourrait théoriquement maintenir le point très proche de la frontière.
   • L'auteur contourne ce problème en considérant les maxima sur les frontières successives $\partial K_{y+dy}$. Grâce à la convexité et aux propriétés de la fonction de support, il montre que l'intégrale de la dérive reste bornée, empêchant une croissance arbitraire du gradient.

C. Lemmes de contrôle du gradient

Le papier introduit et utilise des lemmes clés (Lemmes 4 et 5) établissant l'existence de suites de points de minimum et de maximum où le gradient de la fonction de Green est contrôlé par rapport à la distance au pôle. Ces lemmes permettent de construire des inégalités de récurrence sur les dérivées radiales.

3. Résultats Principaux

Le résultat central est le Théorème 1, qui établit une borne supérieure pour la fonction de Green dans le domaine convexe $K$.

Théorème 1 :
Sous les hypothèses de régularité de $B$ (localement Hölderienne) et de la condition de divergence négative, pour tout point $x \in K$ tel que $|x| \le 1/2$ (par rapport à une échelle normalisée), il existe une constante $K'$ dépendant uniquement de $M$ et des constantes d'ellipticité $\lambda, \Lambda$ telle que :
$$G(x, 0) \le \frac{K'(M, \lambda)}{|x|^{n-2}}$$

Ce résultat confirme que, malgré la singularité de la dérive à la frontière, le comportement de la fonction de Green à l'intérieur du domaine reste dominé par le comportement fondamental de l'opérateur Laplacien (décroissance en $|x|^{2-n}$), sans explosion supplémentaire due à la dérive singulière.

Autres résultats :

• Théorème 2 : Rappel d'une borne inférieure pour la fonction de Green (valable même pour des coefficients mesurables), confirmant que la singularité de la dérive n'annule pas la fonction de Green.
• Théorème 3 : Extension de la borne supérieure pour des pôles $y$ situés à l'intérieur du domaine (pas nécessairement à l'origine), avec une constante dépendant de la distance du pôle à la frontière.

4. Contributions Clés

1. Généralisation géométrique : Passage du cas de la boule unité (symétrie radiale parfaite) à des domaines convexes bornés arbitraires. C'est une avancée significative car la géométrie de la boule simplifie considérablement les estimations de gradient.
2. Traitement de la dérive singulière : Le papier traite des dérivés qui ne satisfont pas la condition classique $|B|^2 \in K_n$ (classe de Kato), mais qui divergent comme $\delta(X)^{\beta-1}$. Cela place le problème dans un régime où les estimations perturbatives standards échouent.
3. Simplification de la preuve : L'auteur propose une preuve "streamlined" (simplifiée) par rapport au travail précédent [Pat25], notamment en évitant la nécessité de suivre l'accumulation de points maximaux complexes grâce à l'interpolation de Minkowski.
4. Lemme 5 : Introduction d'un nouveau lemme fournissant une preuve alternative et plus directe pour le cas du "champ lointain", renforçant la robustesse de l'argument.

5. Signification et Impact

• Théorique : Ce travail comble un vide dans la théorie des opérateurs elliptiques avec dérivés singuliers. Il démontre que la structure convexe du domaine, combinée à une condition de divergence négative, suffit à contrôler les effets néfastes d'une dérive divergente à la frontière.
• Technique : La méthode d'interpolation de Minkowski pour l'analyse des fonctions de Green sur des domaines non sphériques ouvre la voie à l'étude de problèmes similaires sur des domaines plus généraux (non convexes) ou avec des pôles arbitrairement proches de la frontière.
• Applications potentielles : Les techniques développées pourraient être appliquées à d'autres problèmes d'équations aux dérivées partielles impliquant des potentiels singuliers ou des fonctions de paysage (landscape functions), comme mentionné dans la conclusion.

En résumé, ce papier établit rigoureusement que la singularité de la dérive à la frontière d'un domaine convexe n'altère pas la décroissance fondamentale de la fonction de Green à l'intérieur du domaine, en fournissant un cadre analytique robuste pour gérer la géométrie non sphérique.