An upper bound on the growth of minimal graphs

1. Problématique et Contexte

L'article s'intéresse au problème de la valeur frontière pour l'équation de la surface minimale sur un domaine plan non borné $D$. L'équation est donnée par :
$$\text{div} \left( \frac{\nabla u}{\sqrt{1 + |\nabla u|^2}} \right) = 0 \quad \text{dans } D$$
avec les conditions aux limites :
$$u > 0 \quad \text{dans } D, \quad u = 0 \quad \text{sur } \partial D.$$

Le problème central est de déterminer la vitesse de croissance asymptotique des solutions non triviales $u(z)$ lorsque $|z| \to \infty$. Plus précisément, l'auteur cherche à établir une borne supérieure pour la fonction de croissance maximale définie par :
$$M(r, u) = \max \{ u(z) : |z| = r, z \in D \}.$$

Des résultats antérieurs (Théorème A) avaient établi que la croissance est au moins logarithmique. Le théorème principal de cet article vise à prouver que la croissance est au plus exponentielle, confirmant ainsi une conjecture faite dans une publication précédente [13].

2. Méthodologie

La preuve repose sur une combinaison d'analyse complexe, de géométrie différentielle et de la théorie des applications harmoniques univalentes. Voici les étapes clés de la méthodologie :

A. Coordonnées Isothermes et Paramétrisation

L'auteur paramètre la surface minimale définie par $u$ en utilisant des coordonnées isothermes sur le demi-plan droit $H = \{ \zeta = \sigma + i\tau : \sigma > 0 \}$.
La surface est représentée par une application harmonique univalente $f(\zeta) = x(\zeta) + iy(\zeta)$ et une fonction harmonique $U(\zeta)$ correspondant à la hauteur $u$.
Grâce à la représentation de Weierstrass, $f$ s'écrit comme la somme de deux fonctions holomorphes $h$ et $g$ :
$$f(\zeta) = h(\zeta) + g(\zeta), \quad |h'(\zeta)| > |g'(\zeta)|.$$
La condition $u=0$ sur $\partial D$ et la positivité de $u$ impliquent que $U(\zeta)$ est proportionnelle à la partie réelle de $\zeta$ :
$$U(\zeta) = C \Re(\zeta).$$
Cela permet d'établir une relation entre les dérivées : $g'(\zeta) = -C/h'(\zeta)$.

B. Propriétés de la Fonction $h'$

En utilisant le fait que $\log|h'|$ est une fonction harmonique positive dans $H$, l'auteur applique la représentation de Poisson pour le demi-plan (Lemme 1). Cela conduit à une estimation de la croissance de $|h'(\zeta)|$ dans un secteur angulaire $S_{\pi/4}$. Il est démontré que pour $\zpsilon$ suffisamment grand dans ce secteur, $|h'(\zeta)|$ croît exponentiellement par rapport à $1/|\zeta|$.

C. Application du Théorème de Clunie et Sheil-Small

L'auteur utilise un résultat fondamental de la théorie des applications harmoniques univalentes (Théorème E de Clunie et Sheil-Small). Ce théorème stipule que si une fonction appartient à une certaine classe d'applications harmoniques ($S^0_H$), son image contient un disque de rayon fixe ($1/16$).
En combinant cela avec les estimations sur $h'$, le Lemme 2 est établi : une petite variation dans le domaine paramétrique $\zeta$ (dans le secteur $S_{\pi/4}$) entraîne une variation contrôlée et uniforme de la position dans le domaine physique $z = f(\zeta)$.

D. Argument de Recouvrement et Itération

La preuve principale (Section 5) utilise un processus itératif :

1. On part d'un arc $\gamma_0$ dans le domaine paramétrique.
2. Grâce au Lemme 2, on montre qu'une augmentation contrôlée du rayon $|z|$ dans le domaine physique correspond à une augmentation bornée de la partie réelle $\Re(\zeta)$ dans le domaine paramétrique.
3. On construit une suite d'arcs $\tilde{\Gamma}_n$ qui s'étendent radialement vers l'infini.
4. On établit une relation récursive entre le rayon $r_n = \min |z|$ et la position maximale $\sigma_n = \max \Re(\zeta)$.

E. Utilisation de la Fonction Conjuguée

Pour gérer les extensions aux bords du domaine et assurer la continuité, l'auteur utilise la fonction conjuguée $v(z)$ (liée à l'angle de la normale). La propriété clé est que $|\nabla v| < 1$, ce qui permet de borner $v$ (et donc $u$, via des relations trigonométriques sur les arcs de cercle) en fonction de la distance radiale.

3. Résultats Principaux

Le résultat central est le Théorème 1 :

Soit $D$ un domaine simplement connexe non borné et $u$ une solution non triviale de l'équation de la surface minimale avec $u=0$ sur $\partial D$. Alors, il existe une constante $C > 0$ telle que pour $r$ suffisamment grand :
$$M(r, u) \le e^{Cr}.$$

Autrement dit, la croissance de la solution est au plus exponentielle.

Optimalité du résultat :
L'auteur note que cette borne est optimale (la meilleure possible). Le caténoïde horizontal classique (une surface minimale minimale de révolution) fournit un exemple où la croissance est exactement exponentielle, prouvant que l'on ne peut pas obtenir une borne de type polynomial ou sous-exponentiel pour tous les domaines simplement connexes.

4. Contributions et Signification

• Résolution d'une conjecture : L'article confirme la conjecture émise dans la référence [13] concernant la croissance exponentielle pour les domaines simplement connexes, généralisant des résultats précédents qui ne s'appliquaient qu'aux domaines contenus dans un demi-plan.
• Lien entre géométrie et analyse complexe : La démonstration illustre la puissance de l'utilisation des coordonnées isothermes et des applications harmoniques univalentes pour résoudre des problèmes non linéaires d'équations aux dérivées partielles (EDP) géométriques.
• Complétude des bornes : En combinant ce résultat avec les bornes inférieures connues (croissance logarithmique ou linéaire selon la géométrie du domaine), l'article affine considérablement notre compréhension du comportement asymptotique des graphes minimaux. Il établit que, bien que la géométrie du domaine puisse imposer des croissances spécifiques (linéaire, logarithmique), la contrainte physique de l'équation de la surface minimale empêche une croissance super-exponentielle.

En résumé, ce papier établit une limite fondamentale de croissance pour les graphes minimaux sur des domaines simplement connexes, démontrant que l'exponentielle est la vitesse maximale possible, atteinte par le caténoïde.