Behaviour at infinity for solutions of a mixed boundary value problem via inversion

1. Énoncé du problème

L'article étudie un problème aux limites mixte pour une équation elliptique quaslinéaire dans un domaine non borné. Plus précisément, les auteurs considèrent l'équation :
$$\text{div } A(x, \nabla u(x)) = 0$$
définie dans un demi-cylindre circulaire infini ouvert $G = B' \times (0, \infty) \subset \mathbb{R}^n$, où $B'$ est la boule unité dans $\mathbb{R}^{n-1}$.

Les conditions aux limites sont mixtes :

• Condition de Dirichlet : Données continues prescrites $u = f$ sur un sous-ensemble fermé $F \subset \partial G$.
• Condition de Neumann : Dérivée conormale nulle $N_u(x) := A(x, \nabla u) \cdot \nu(x) = 0$ sur le reste de la frontière $\partial G \setminus F$.

Le champ vectoriel $A(x, \nabla u)$ satisfait des conditions structurelles standard pour les opérateurs $p$-elliptiques ($p > 1$), incluant la monotonie, la coercivité et l'homogénéité. L'équation $p$-Laplacienne est un cas spécifique inclus dans ce cadre.

Les objectifs principaux sont :

1. Prouver l'existence et l'unicité de solutions faibles bornées avec des données de Dirichlet continues.
2. Caractériser la régularité du point à l'infini (c'est-à-dire si la solution atteint la limite des données aux limites lorsque $x \to \infty$).
3. Décrire le comportement asymptotique des solutions lorsque la frontière de Dirichlet est bornée (c'est-à-dire qu'à l'infini, seules les conditions de Neumann s'appliquent), en établissant une trichotomie de Phragmén–Lindelöf.

2. Méthodologie

L'innovation centrale de l'article est l'utilisation d'une inversion géométrique (changement de variables) pour transformer le problème d'un domaine non borné vers un domaine borné, permettant l'application de théories établies pour les équations elliptiques dégénérées.

A. La transformation d'inversion

Les auteurs emploient une application $T: G \to D$, où $D$ est la demi-boule unité supérieure ouverte (l'origine étant retirée). L'application est définie par :
$$\xi' = \frac{2e^{-\kappa x_n} x'}{1 + |x'|^2}, \quad \xi_n = \frac{e^{-\kappa x_n}(1 - |x'|^2)}{1 + |x'|^2}$$
Propriétés clés de cette transformation :

• Le point à l'infini dans le cylindre ($x_n \to \infty$) est envoyé sur l'origine ($\xi = 0$) dans la boule.
• L'opérateur quaslinéaire $\text{div } A(x, \nabla u)$ se transforme en un opérateur elliptique dégénéré pondéré $\text{div } B(\xi, \nabla \tilde{u}) = 0$ dans la boule unité.
• La fonction de poids associée à l'opérateur transformé est $w(\xi) = |\xi|^{p-n}$, qui appartient à la classe de Muckenhoupt $A_p$.

B. Élimination des données de Neumann par réflexion

Une étape critique de la méthodologie consiste à traiter les conditions aux limites mixtes.

• La condition de Neumann (dérivée conormale nulle) sur la partie plate de la frontière correspond à une condition de symétrie dans le domaine transformé.
• Les auteurs étendent le domaine $D$ à la boule unité complète par réflexion à travers l'hyperplan $\xi_n = 0$.
• En définissant l'opérateur $B$ de manière symétrique dans la demi-boule réfléchie, la condition de Neumann est automatiquement satisfaite. Cela réduit le problème mixte dans le cylindre à un problème de Dirichlet pur dans la boule unité complète avec un poids dégénéré.

C. Application de la théorie existante

Une fois réduit à un problème de Dirichlet avec un poids $A_p$, les auteurs utilisent des outils de la théorie des équations elliptiques dégénérées, en référence spécifique à Heinonen–Kilpeläinen–Martio [10] et Björn–Björn–Mwasa [2]. Ils appliquent :

• Des théorèmes d'existence et d'unicité pour les solutions de Perron.
• Des critères de Wiener pour la régularité aux limites.
• Des estimations de capacité et des inégalités de Harnack.

3. Contributions et résultats clés

A. Existence et unicité (Théorème 5.3)

Les auteurs prouvent que pour des données de Dirichlet continues $f$ sur un ensemble fermé $F$ (qui peut être non borné), si la limite $f(\infty)$ existe et est finie, il existe une solution faible continue unique et bornée $u$.

• La solution atteint les données aux limites $f(x_0)$ pour tout $x_0 \in F$, sauf éventuellement sur un ensemble de capacité $C_p$ nulle.
• La solution est Hölderienne en tous les points de la frontière de Neumann.

B. Régularité à l'infini (Théorème 6.5)

L'article caractérise la régularité du point à l'infini en utilisant un critère de type Wiener.

• Résultat : Le point à l'infini est régulier (c'est-à-dire $\lim_{x \to \infty} u(x) = f(\infty)$) si et seulement si la frontière de Dirichlet $F$ est "suffisamment épaisse" à l'infini.
• Critère : Cette épaisseur est mesurée par la divergence d'une intégrale impliquant la capacité variationnelle $p$ de l'intersection de $F$ avec des cylindres tronqués :
  $$\int_1^\infty \text{cap}_{p, G_{t-1}}(F \cap (G_t \setminus G_{2t}))^{1/(p-1)} \, dt = \infty$$
• Si $F$ est bornée (ce qui signifie que la condition de Neumann s'applique près de l'infini), le point à l'infini est irrégulier.

C. Trichotomie de Phragmén–Lindelöf (Théorème 7.4)

Lorsque la frontière de Dirichlet $F$ est bornée (de sorte que la condition de Neumann s'applique près de l'infini), les auteurs établissent une trichotomie pour le comportement asymptotique de toute solution $u$. Lorsque $x \to \infty$, la solution doit se comporter exactement de l'une des trois manières suivantes :

1. Convergence : La solution admet une limite finie $u(\infty)$. La convergence est exponentielle : $|u(x) - u(\infty)| \lesssim e^{-\kappa \alpha x_n}$.
2. Croissance/Décroissance linéaire : La solution tend vers $+\infty$ ou $-\infty$ approximativement de manière linéaire (c'est-à-dire $u(x) \sim A x_n + B$).
3. Oscillation : La solution change de signe et est non bornée dans les deux sens, satisfaisant $\limsup_{x \to \infty} u(x) = \infty$ et $\liminf_{x \to \infty} u(x) = -\infty$.

Ce résultat généralise les résultats de trichotomie connus pour les équations elliptiques linéaires au cadre mixte quaslinéaire.

4. Importance

• Extension aux équations quaslinéaires : Les résultats précédents sur les problèmes aux limites mixtes dans des domaines non bornés étaient largement restreints aux équations linéaires (par exemple, Laplace ou forme de divergence linéaire). Cet article étend ces résultats à des opérateurs quaslinéaires généraux, incluant le $p$-Laplacien.
• Approche unifiée via l'inversion : L'utilisation de la transformation d'inversion combinée à la réflexion fournit une méthode puissante et élégante pour traiter les conditions aux limites mixtes dans des domaines non bornés, les convertissant en problèmes de Dirichlet standards sur des domaines bornés avec poids.
• Caractérisation précise : L'article fournit un critère de Wiener précis pour la régularité à l'infini, reliant l'"épaisseur" géométrique de l'ensemble frontière au comportement analytique de la solution.
• Trichotomie pour les problèmes mixtes : L'établissement de la trichotomie de Phragmén–Lindelöf pour les problèmes mixtes comble une lacune dans la littérature, montrant que même avec des conditions aux limites mixtes, les solutions présentent un ensemble structuré de comportements asymptotiques similaires aux cas purs de Neumann ou de Dirichlet.

En résumé, l'article comble avec succès le fossé entre la théorie des équations elliptiques dégénérées sur des domaines bornés et les problèmes aux limites mixtes sur des domaines cylindriques non bornés, fournissant des résultats rigoureux d'existence, d'unicité et de classification asymptotique.