Pointwise bounds on Dirichlet Green's functions for a singular drift term

1. Problématique et Contexte

Le papier s'intéresse à l'analyse des opérateurs elliptiques linéaires du second ordre définis sur la boule unité $\Omega = B(0, 1) \subset \mathbb{R}^n$ (avec $n \ge 3$), comportant un terme de dérive singulier. L'opérateur est donné par :
$$Lu = -\Delta u + B \cdot \nabla u = 0$$
où le terme de dérive $B(X)$ diverge près de la frontière $\partial\Omega$ comme une puissance de l'inverse de la distance au bord. Plus précisément, la condition imposée est :
$$\delta(X)^{1-\beta} |B(X)| \le M$$
avec $0 < \beta < 1$ et $\delta(X) = \text{dist}(X, \partial\Omega)$.

Le défi principal :
Contrairement aux cas classiques où la dérive est bornée ou appartient à des espaces $L^p$ standards ($p \ge n$), ici la dérive est singulière et l'opérateur associé n'est pas coercif. Cela implique que les estimations d'énergie classiques échouent. De plus, la condition de divergence de la dérive est relaxée : on suppose que $\nabla \cdot B \le 0$ (au sens des distributions), ce qui inclut des drifts non conservatifs.

L'objectif est d'établir des bornes ponctuelles supérieures et inférieures pour la fonction de Green $G(x, y)$ associée à cet opérateur, en particulier près du pôle et près de la frontière singulière.

2. Méthodologie

L'auteur développe une technique nouvelle combinant plusieurs outils d'analyse elliptique et de théorie du potentiel :

• Estimations de type Harnack et Maximum : Utilisation du principe du maximum faible et des inégalités de Harnack pour contrôler le comportement local des solutions.
• Normes de Lorentz modifiées : Pour obtenir la borne supérieure, l'auteur introduit une norme de Lorentz modifiée appliquée à la fonction de Green restreinte à une boule contenant le pôle mais séparée de la frontière. Cela permet de gérer la singularité de la dérive.
• Analyse des ensembles de niveau (Level Sets) : La preuve repose sur l'étude géométrique des ensembles de niveau de la fonction de Green. L'auteur analyse les points de distance minimale et maximale de ces ensembles par rapport au pôle.
• Forme sphérique du Laplacien : Une étape cruciale consiste à utiliser la forme du Laplacien en coordonnées polaires pour dériver des inégalités différentielles le long des rayons. Cela permet de comparer le comportement de la dérive singulière avec le terme de diffusion radial $(n-1)/r$.
• Argument par l'absurde et itération : La preuve de la borne supérieure utilise un argument par l'absurde. On suppose que la fonction de Green croît trop vite (violation de la borne attendue) et on construit des suites de points de maximum et de minimum sur les ensembles de niveau. En itérant des estimations de Taylor et en utilisant les inégalités différentielles dérivées de l'équation, on aboutit à une contradiction avec l'inégalité de Harnack ou les bornes inférieures déjà établies.
• Dualité : Pour la borne supérieure générale (Théorème 3), l'auteur utilise la relation de symétrie $G(x, y) = G^T(y, x)$, où $G^T$ est la fonction de Green de l'opérateur adjoint $L^T = -\nabla \cdot (\nabla \cdot + B \cdot)$, et applique les estimations locales via le principe du maximum.

3. Résultats Clés

Le papier établit trois théorèmes principaux :

• Théorème 1 (Borne inférieure) : Pour tout $z, y \in \Omega$ avec $|z-y| \le \frac{1}{2}\delta(y)$, la fonction de Green satisfait :
  $$G(y, z) \ge \frac{K(M, \lambda)}{|z-y|^{n-2}}$$
  Cela confirme que la singularité de la fonction de Green au pôle reste de l'ordre de la fonction de Green fondamentale du Laplacien, malgré la présence du terme de dérive singulier.

• Théorème 2 (Borne supérieure locale) : Pour le pôle à l'origine ($y=0$) et pour tout $x \in \Omega$ avec $|x| \le 1/2$ :
  $$G(x, 0) \le \frac{K'(M, \lambda)}{|x|^{n-2}}$$
  Cette borne est uniforme dans les compacts de la boule.

• Théorème 3 (Borne supérieure globale) : Pour tout pôle $y \in B(0, r)$ (avec $r < 1$) et $x$ proche de $y$ ($|x-y| \le \frac{1}{2}\delta(y)$) :
  $$G(x, y) \le \frac{K'(M, \lambda, r)}{|x-y|^{n-2}}$$
  La constante dépend de la distance $r$ au bord, reflétant l'impact de la singularité de la dérive près de la frontière.

4. Contributions et Innovations

• Premières estimations pour des drifts non coercifs : Ces résultats semblent être les premières estimations ponctuelles pour des fonctions de Green dans le cadre de drifts singuliers non coercifs (où la forme bilinéaire n'est pas coercive).
• Généralité des conditions : Les méthodes fonctionnent même si la dérive n'appartient pas aux espaces de Morrey ou de Stummel-Kato classiques, mais est simplement majorée par une fonction radiale intégrable jusqu'au bord.
• Nouvelle technique de contrôle : L'introduction d'une norme de Lorentz modifiée couplée à l'analyse fine des gradients sur les ensembles de niveau (distinction entre cas où le gradient est grand ou petit) constitue une avancée méthodologique.
• Robustesse : La méthode suggère des extensions possibles aux potentiels singuliers et aux équations de Schrödinger stationnaires.

5. Signification et Perspectives

Ce travail comble un vide important dans la théorie des équations aux dérivées partielles elliptiques avec coefficients singuliers. Il démontre que, malgré la perte de coercivité et la singularité de la dérive, la structure fondamentale de la fonction de Green (comportement de type $|x-y|^{2-n}$) est préservée, à condition que l'exponent de la singularité soit strictement inférieur à 1 ($\beta < 1$).

Limites et travaux futurs :

• La preuve actuelle repose fortement sur la géométrie de la boule unité (utilisation des coordonnées sphériques). L'auteur prévoit d'étendre ces résultats à des domaines bornés plus généraux (Lipschitz).
• L'application de cette technique à l'équation de Schrödinger indépendante du temps et à des opérateurs avec des termes principaux plus généraux (non nécessairement le Laplacien) est envisagée, bien que cela nécessite des ajustements significatifs car la forme sphérique du Laplacien n'est plus disponible.
• L'étude des opérateurs paraboliques correspondants est également mentionnée comme une direction future.

En résumé, ce papier fournit des outils analytiques robustes pour traiter des problèmes de transport-diffusion avec des champs de vitesse singuliers, ouvrant la voie à une meilleure compréhension des phénomènes physiques modélisés par de tels opérateurs non coercifs.