Capillary $L_p$-curvature problem

Résumé Technique : Problème de Courbure $L^p$ Capillaire

1. Contexte et Problème Étudié

L'article s'attaque au problème de courbure $L^p$ capillaire dans le demi-espace $\mathbb{R}^{n+1}_+$. Ce problème consiste à trouver une hypersurface $\Sigma$ (capillaire) dont la courbure est liée à une fonction donnée $\phi$ via une équation de type Monge-Ampère généralisée.

• Configuration Géométrique : L'hypersurface $\Sigma$ est contenue dans le demi-espace supérieur, avec son bord $\partial\Sigma$ reposant sur le plan $\{x_{n+1}=0\}$. Elle forme un angle de contact constant $\theta \in (0, \pi/2)$ avec le plan.
• Équation : L'objectif est de trouver une hypersurface strictement convexe, paire (symétrique par rapport à l'axe vertical), telle que sa $k$-ième fonction symétrique élémentaire des courbures principales, notée $S_k$, satisfasse :
  $$\phi \, s^{p-1} S_k \circ \tilde{\nu}^{-1} = 1$$
  où $s$ est la fonction de support capillaire, $\tilde{\nu}$ est la carte de Gauss capillaire, et $p$ est un paramètre réel.
• État de l'art :
  • Le cas sans bord (hypersurfaces fermées) est bien compris pour $p=1$ (Guan & Guan) et $p > k+1$.
  • Le cas limite $p = k+1$ a été traité récemment.
  • Le défi principal : La plage $1 < p < k+1$ dans le contexte capillaire. Les travaux antérieurs (notamment [MWW25e]) ont établi l'existence, mais sous une restriction supplémentaire sur l'angle de contact $\theta$, dépendante de $p$. Cette restriction empêchait la résolution du problème pour tout $\theta \in (0, \pi/2)$.

2. Méthodologie et Contributions Clés

La contribution principale de l'article est la démonstration d'une nouvelle estimation de gradient qui élimine la restriction sur l'angle de contact.

A. L'Estimation de Gradient (Lemme 3.1)
La méthode repose sur l'analyse de l'équation aux dérivées partielles non linéaire satisfaite par la fonction de support capillaire $s$.

• Approche précédente : Les travaux antérieurs utilisaient une fonction auxiliaire de type $\Phi = |\nabla u|^2 / u^\gamma$ (où $u = s/\ell$). Dans le cadre capillaire, cette fonction conduit à des termes de bord qui imposent une condition restrictive sur $\theta$ lorsque $1 < p < k+1$.
• Innovation de l'article : Les auteurs introduisent une fonction auxiliaire pondérée :
  $$\Psi = \ell^{2-\gamma} \frac{|\nabla u|^2}{u^\gamma}$$
  où $\ell$ est la fonction de support de la calotte sphérique modèle et $\gamma$ est un paramètre choisi judicieusement ($0 < \gamma < \frac{2(p-1)}{k}$).
• Résultat de l'estimation : En utilisant cette fonction pondérée, les auteurs montrent que l'obstruction angulaire disparaît. Ils prouvent l'existence d'une constante $C_0$ telle que :
  $$\frac{|\nabla s|^2}{s^\gamma} \leq C_0 \left(\max_{C_\theta} s\right)^{2-\gamma}$$
  Cette estimation est valable pour tout $\theta \in (0, \pi/2)$, indépendamment de $p$ dans la plage critique.

B. Démonstration de l'Estimation
La preuve utilise la méthode du maximum :

1. On suppose que $\Psi$ atteint son maximum en un point $\xi_0$.
2. Cas du bord ($\xi_0 \in \partial C_\theta$) : L'analyse des conditions aux limites (angle de contact) montre que le maximum ne peut pas se trouver sur le bord, car la dérivée normale de $\log \Psi$ serait strictement négative, menant à une contradiction.
3. Cas intérieur ($\xi_0 \in \text{int}(C_\theta)$) : On utilise les équations du premier et du second ordre (dérivées covariantes de l'équation de courbure). En combinant l'identité de Codazzi, les propriétés d'homogénéité de $S_k$ et l'inégalité de Cauchy-Schwarz, les auteurs démontrent que si le maximum est trop grand (c'est-à-dire si l'estimation échoue), on aboutit à une contradiction pour des constantes bien choisies.

3. Résultats Principaux

Théorème 1.1 (Existence)
Sous les hypothèses suivantes :

• $1 < p < k + 1$ et $1 \leq k < n$.
• $\theta \in (0, \pi/2)$ (angle de contact arbitraire).
• $\phi \in C^\infty(C_\theta)$ est une fonction paire et strictement positive.

Il existe une hypersurface capillaire $\Sigma \subset \mathbb{R}^{n+1}_+$ qui est :

• Paire (symétrique).
• Lisse ($C^\infty$).
• Strictement convexe.
• Solution de l'équation de courbure $S_k \circ \tilde{\nu}^{-1} = \phi s^{1-p}$.

Théorème 3.3 (Bornes Uniformes)
En utilisant l'estimation de gradient, les auteurs déduisent des bornes uniformes deux côtés pour la fonction de support $s$ :
$$C_1^{-1} \leq s \leq C_1$$
Ces bornes sont cruciales pour établir l'existence via des méthodes topologiques (théorie du degré).

4. Signification et Impact

1. Résolution d'un problème ouvert : Ce travail complète la théorie de l'existence pour le problème de courbure $L^p$ capillaire en couvrant la plage critique $1 < p < k+1$ sans aucune restriction géométrique sur l'angle de contact.
2. Robustesse de la méthode : L'estimation de gradient proposée ne dépend pas de la structure spécifique de $S_k$ au-delà de son homogénéité $k$. Cela suggère que la méthode est applicable à d'autres problèmes de courbure capillaire, tels que le problème de Christoffel-Minkowski capillaire.
3. Unification : Le résultat unifie les cas $p=1$ et $p \geq k+1$ (déjà connus) avec la plage intermédiaire, fournissant une théorie complète pour les solutions paires et strictement convexes.
4. Outils nouveaux : L'introduction du poids $\ell^{2-\gamma}$ dans la fonction de test ouvre de nouvelles voies pour traiter les problèmes aux limites avec conditions de contact angulaire, là où les méthodes classiques échouaient.

En conclusion, cet article établit l'existence de solutions régulières pour le problème de courbure $L^p$ capillaire dans sa généralité la plus large pour les solutions paires, en surmontant l'obstacle technique majeur des restrictions anginales grâce à une estimation de gradient innovante.