Weighted estimates for the stability operator of the helicoid on slowly varying domains

Résumé Technique : Estimations Pondérées pour l'Opérateur de Stabilité de l'Hélicoïde sur des Domaines à Variation Lente

Énoncé du Problème
L'article traite de la résolubilité du problème de Poisson $\tilde{L}u = E$ sur une classe spécifique de domaines non bornés et à variation lente $\Lambda$. L'opérateur est défini par $\tilde{L} = \Delta_{\mathbb{R}^2} + 2\cosh^{-2}(s)$, ce qui correspond à l'opérateur de stabilité de l'hélicoïde dans son paramétrage conforme standard (à un facteur $\cosh^{-2}(s)$ près). Le domaine est donné par $\Lambda := \{(s, z) : |s| \leq \ell(z), z \in \mathbb{R}\}$, où la largeur $\ell(z)$ varie avec la coordonnée $z$.

Le défi principal réside dans les propriétés spectrales de $\tilde{L}$. L'opérateur possède un spectre non positif, et ses fonctions propres inférieures sont engendrées par $\cosh^{-1}(s)$ et $\tanh(s)$. Par conséquent, pour qu'une solution existe, le terme source $E$ doit satisfaire des conditions d'orthogonalité spécifiques par rapport à ces fonctions propres. L'article cherche à prouver l'existence de solutions $u$ satisfaisant des estimations $C^{2,\alpha}$ pondérées, à condition que le terme source $E$ satisfasse des estimations pondérées correspondantes et les « conditions d'orthogonalité forte » (annulation de la densité de $E$ contre $\cosh^{-1}(s)$ et $\tanh(s)$ à chaque $z$). L'analyse suppose que la fonction de largeur $\ell(z)$ et le terme source sont contrôlés par une fonction d'échelle « à variation lente » $\lambda(z)$.

Méthodologie
La preuve du théorème principal (Théorème 2) repose sur une stratégie de localisation et d'itération, adaptant les estimations de décroissance d'un travail précédent [K2] (Théorème 3) au cadre de largeur variable.

1. Localisation et Troncation :
   Le terme source $E$ est localisé dans des bandes horizontales de hauteur fixe en utilisant une partition de l'unité $\{\psi_j\}$. Pour chaque source localisée $E_j$, une solution $v_j$ est construite sur une bande de hauteur infinie en utilisant le Théorème 3. Ces solutions locales présentent une décroissance loin de leur support.
   Pour construire une solution globale approchée, ces solutions locales sont tronquées à l'aide de fonctions de coupure $\psi^*_j$ sur des domaines « hauts » $R^*_j$ (hauteurs $h^*_j \approx \ell_j^\sigma$ pour $\sigma > 2$). La troncation est conçue pour être suffisamment lente afin de maintenir de faibles erreurs dues à la décroissance de $v_j$, tout en étant assez rapide pour empêcher l'interaction entre les solutions supportées sur des échelles très différentes.

2. Gestion de la Géométrie Variable :
   Dans le cas général où la fonction d'échelle $\lambda(z)$ n'est pas constante, le domaine $\Lambda$ n'est pas une bande droite mais un graphe à largeur variant lentement. Cela introduit des complications :

• Extension : Les termes sources doivent être étendus de $\Lambda$ à un domaine légèrement plus grand $\check{\Lambda}$ pour appliquer le Théorème 3. L'article construit un opérateur d'extension linéaire borné (Lemme 15) qui préserve les conditions d'orthogonalité forte requises pour l'existence des solutions locales.
• Interaction d'Échelles : La condition de « variation lente » (spécifiquement $|\lambda'| \leq C_0 \lambda^{1+\epsilon_0}$) garantit que les régions de petite échelle sont séparées par de grandes distances des régions de grande échelle. Cette séparation permet à l'argument de troncation de produire un terme d'erreur strictement plus petit sans interférence entre les échelles.

3. Prescription de la Densité du Noyau (Correction d'Orthogonalité) :
   Un obstacle technique critique est que la solution approchée tronquée $u^*$ et son terme d'erreur résultant $E^*$ ne satisfont pas automatiquement les conditions d'orthogonalité forte sur le domaine réel $\Lambda$, même si les sources locales les satisfaisaient. Le terme d'erreur peut acquérir des « densités » (projections) non nulles contre $\tanh(s)$ et $\cosh^{-1}(s)$.

• Propositions 1 et 2 : L'article construit des fonctions spécifiques $\Theta$ qui prescrivent ces densités. Ces fonctions sont construites en résolvant des équations différentielles ordinaires (EDO) dans la variable $z$ pour annuler les densités indésirables dans le terme d'erreur.
• Croissance Exponentielle : Un soin particulier est apporté à la composante $\cosh^{-1}(s)$ (Proposition 2) en raison de la croissance exponentielle des fonctions de prescription requises, ce qui nécessite une partition de l'unité et des estimations de dérivées plus délicates par rapport au cas $\tanh(s)$.

4. Itération :
   Le processus est itératif. Il est montré que le terme d'erreur $E^*$ généré par la première approximation est plus petit que la source originale $E$ dans la norme pondérée (à condition que la fonction d'échelle $\lambda$ soit suffisamment petite et que la puissance $\sigma$ soit suffisamment grande). Les fonctions de correction préservant l'orthogonalité sont ajoutées à la solution pour restaurer l'orthogonalité forte du nouvel terme d'erreur. Ce processus est répété pour converger vers une solution exacte.

Contributions Clés et Résultats

• Théorème 2 (Résultat Principal) : Établit l'existence d'une solution localement $C^{2,\alpha}$ de $\tilde{L}u = E$ sur le domaine $\Lambda$. La solution satisfait l'estimation pondérée $\|u\|_{2,\alpha} \leq C \beta \ell^c \omega$, où $\beta$ borne le terme source $E$, et $\omega$ est une fonction de poids, avec $c$ une constante positive.
• Estimations Pondérées : L'article fournit un contrôle précis de la croissance de la solution par rapport à la largeur du domaine et à la décroissance du terme source, traitant spécifiquement la nature à « variation lente » du domaine.
• Opérateur d'Extension : Le Lemme 15 fournit une méthode pour étendre les termes sources de domaines à largeur variable vers des bandes à largeur fixe tout en préservant les conditions cruciales d'orthogonalité forte.
• Prescription de Densité : La construction de fonctions pour prescrire les densités de $\tanh(s)$ et $\cosh^{-1}(s)$ (Propositions 1 et 2) permet de clore le schéma d'itération en garantissant que le terme d'erreur reste orthogonal au noyau de l'opérateur.

Signification et Motivation
La motivation principale de ce travail, telle que formulée par l'auteur, est son application à la construction d'exemples de laminations minimales singulières en utilisant des méthodes d'équations aux dérivées partielles (référencées comme [K3], [K4]). La capacité de résoudre l'équation de stabilité sur des domaines à variation lente avec des estimations contrôlées est une étape technique nécessaire dans ces constructions géométriques.

L'auteur note que bien que l'opérateur $\tilde{L}$ soit spécifique à l'hélicoïde, les méthodes présentées — particulièrement la gestion des domaines à variation lente et le schéma d'itération pour les estimations pondérées — semblent susceptibles de s'étendre à d'autres opérateurs, suggérant un intérêt indépendant au-delà de l'application spécifique aux laminations minimales. L'article reste modeste, se concentrant sur les aspects techniques d'existence et les estimations requises pour ces applications géométriques plus larges plutôt que de revendiquer de nouveaux résultats géométriques en soi.