Minimality of free-boundary axial hyperplanes in high dimensional circular cones via calibration

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie géométrique de la mesure et du calcul des variations, plus spécifiquement dans l'étude des minimiseurs de périmètre relatif (ou problèmes de capillarité) dans des domaines non lisses.

• Le problème : Considérons un liquide dans un conteneur $\Omega \subset \mathbb{R}^{n+1}$. La configuration d'équilibre minimise une fonctionnelle d'énergie libre impliquant le périmètre intérieur et le périmètre au bord (avec un coefficient d'adhésion $\gamma$). Ici, l'auteur se concentre sur le cas $\gamma = 0$, correspondant au périmètre relatif $P(F; \Omega)$.
• Le domaine : Le conteneur est un cône circulaire $\Omega_\lambda$ de dimension $n+1$ et d'angle d'ouverture $\alpha$. Ce domaine est non lisse car il possède une singularité au sommet (l'origine).
• La question centrale : Dans quelles conditions un hyperplan axial (un plan contenant l'axe du cône) est-il une surface minimisante pour le périmètre relatif à l'intérieur de ce cône, sous des variations à bord libre ?
• Le contexte théorique : Des résultats récents (notamment un « Théorème de saut de sommet » ou Vertex-skipping Theorem prouvé par l'auteur avec G.P. Leonardi en dimension 3) suggéraient que les singularités du bord du conteneur (comme le sommet du cône) ne pouvaient pas être des singularités isolées pour les minimiseurs. L'objectif de cet article est de tester la validité de ce théorème en haute dimension ($n \ge 4$).

2. Méthodologie : La Méthode de Calibration Adaptée

L'auteur utilise une adaptation de la méthode de calibration, une technique puissante introduite par Bombieri, De Giorgi et Giusti pour prouver la minimalité de surfaces (comme le cône de Simon en $\mathbb{R}^8$).

La stratégie se décompose en plusieurs étapes techniques :

1. Construction du champ de vecteurs (Calibration) :
   L'objectif est de construire un champ de vecteurs $Z$ défini sur $\Omega_\lambda$ (sauf sur un ensemble de codimension 2) vérifiant trois propriétés clés :

   • $Z$ est sans divergence ($\text{div } Z = 0$).
   • La norme de $Z$ est bornée par 1 ($|Z| \le 1$).
   • $Z$ est tangent au bord du cône $\partial \Omega_\lambda$ (condition essentielle pour le problème à bord libre).
   • Sur la surface candidate (l'hyperplan axial $H_\lambda$), $Z$ coïncide avec le vecteur normal unitaire de la surface.

2. Réduction dimensionnelle et forme différentielle :
   La construction de $Z$ est réalisée en deux temps :

   • Étape 1 (Sur la surface conique $S_\lambda$) : On construit d'abord un champ $Y$ tangent à la surface conique $S_\lambda$ qui calibre l'intersection de l'hyperplan avec le cône ($S^0_\lambda$). Cela revient à résoudre une inégalité différentielle non linéaire pour une fonction scalaire $h(u)$, où $u$ est une coordonnée angulaire.
   • Étape 2 (Extension au volume) : Le champ $Y$ est étendu au volume $\Omega_\lambda$ par projection verticale. Grâce à la structure métrique spécifique du cône, cette extension préserve la propriété de divergence nulle.

3. Analyse de l'inégalité différentielle :
   La résolution de l'inégalité différentielle (équation 4.7 dans le texte) impose des contraintes strictes sur la dimension $n$ et le paramètre du cône $\lambda$ (lié à l'angle d'ouverture). C'est ici que la dimension $n \ge 4$ devient critique.

4. Application du théorème de la divergence :
   Une fois le champ $Z$ construit, on l'applique au théorème de la divergence sur la région entre la surface candidate $E$ et une surface compétitrice $F$. La tangence de $Z$ au bord annule le terme de flux sur le bord libre, et la divergence nulle permet de comparer les périmètres, prouvant ainsi que $P(E) \le P(F)$.

3. Résultats Principaux

Le résultat central est énoncé dans le Théorème 1.1 :

• Condition de dimension : Le résultat est valable pour $n \ge 4$.
• Seuil critique : Il existe un seuil $\bar{\lambda}(n)$ défini par :
  $$\bar{\lambda}(n) = \frac{1}{2} \sqrt{\frac{n-3}{n-2}}$$
• Énoncé du théorème : Si $0 < \lambda \le \bar{\lambda}(n)$ (ce qui correspond à un angle d'ouverture $\alpha$ suffisamment large, $\alpha \ge \bar{\alpha}(n)$), alors l'intersection du cône avec un hyperplan axial est minimisante pour le périmètre relatif à bord libre.

Conséquence immédiate :
Pour $n \ge 4$, il existe des cônes circulaires suffisamment larges où l'hyperplan axial est un minimiseur global, et ce minimiseur possède une singularité isolée au sommet du cône (l'origine).

4. Contributions Clés et Implications

1. Contre-exemple au théorème de saut de sommet en haute dimension :
   L'article fournit un contre-exemple définitif à la généralisation du Vertex-skipping Theorem (qui stipule que les singularités du bord du conteneur ne peuvent pas être des singularités isolées du minimiseur) pour $n \ge 4$.

   • En dimension $n=3$, l'hyperplan est stable mais pas nécessairement minimisant (le cas limite).
   • En dimension $n \ge 4$, l'hyperplan est minimisant, ce qui signifie que la singularité du sommet du cône est conservée par le minimiseur.

2. Limites de la régularité du bord :
   Ce résultat suggère que la borne de dimension pour l'ensemble singulier $\Sigma$ du bord libre, prouvée précédemment dans des domaines polyédraux (Edelen et Li), ne peut pas être améliorée au-delà de $n-4$. En effet, pour $n=4$, l'intersection $\partial E \cap \partial \Omega_\lambda$ est réduite au point $\{0\}$, montrant que la dimension de Hausdorff de la singularité peut atteindre $n-4$.

3. Technique de calibration à bord libre :
   L'article développe une méthode rigoureuse pour adapter la calibration aux problèmes à bord libre dans des domaines non lisses, en gérant soigneusement les singularités géométriques (le sommet du cône) via des arguments d'approximation et de projection.

5. Conclusion et Signification

Ce travail est significatif car il établit une frontière dimensionnelle nette ($n=3$ vs $n \ge 4$) dans la théorie de la régularité des surfaces minimales à bord libre dans des domaines non lisses. Il démontre que l'intuition développée en basse dimension (où les singularités du conteneur sont "évitées" par les minimiseurs) échoue en haute dimension pour des géométries coniques larges.

L'article ouvre la voie à de nouvelles questions sur la structure des singularités dans les problèmes variationnels non lisses et affine notre compréhension de la relation entre la géométrie du domaine, la dimension de l'espace et la régularité des solutions.