Singular set estimates for solutions to elliptic equations in higher co-dimension

1. Problématique et Contexte

L'article s'attaque au problème de la continuation unique quantitative pour les solutions d'équations elliptiques dégénérées/singulières dans un cadre de co-dimension élevée.

• Contexte classique : Pour les équations elliptiques uniformes (comme l'équation de Laplace $-\Delta u = 0$), la structure des ensembles nodaux (lignes de niveau zéro) et singuliers (où $u = \nabla u = 0$) est bien comprise. Des résultats récents (Cheeger-Naber-Valtorta, Logunov-Malinnikova) ont établi que l'ensemble singulier est de dimension de Hausdorff au plus $n-2$ et possède des estimations de mesure précises.
• Le défi de la co-dimension élevée : Les auteurs considèrent des domaines $\Omega \subset \mathbb{R}^n$ dont la frontière $\Gamma = \partial \Omega$ est de dimension $d < n-1$. Les opérateurs étudiés sont de la forme :
  $$-\text{div}(A \cdot \text{dist}(X, \Gamma)^{-n+d+1} \nabla u) = 0$$
  où $A$ est une matrice uniformément elliptique.
• Difficultés spécifiques :
  1. L'opérateur n'est ni uniformément elliptique, ni à coefficients uniformément Lipschitz près de la frontière $\Gamma$ (le poids $\text{dist}(X, \Gamma)^{-n+d+1}$ devient singulier).
  2. Le comportement des solutions à la frontière diffère qualitativement de celui à l'intérieur. Les "blow-ups" (limites d'échelle) à la frontière résolvent une équation dégénérée différente de celle de l'intérieur.
  3. Contrairement au cas de co-dimension 1 où l'ensemble singulier a une mesure de surface nulle sur la frontière, ici, l'ensemble singulier peut contenir toute la frontière $\Gamma$ (qui est de dimension $d \le n-2$), rendant les estimations de mesure de Hausdorff $H^{n-2}$ triviales si elles ne sont pas localisées correctement.

2. Méthodologie et Outils Techniques

Les auteurs développent une approche combinant l'analyse harmonique, la théorie de la régularité elliptique dégénérée et la géométrie des ensembles singuliers.

A. Changement de Variables et Régularisation

Pour traiter la géométrie courbe de $\Gamma$, l'article utilise un changement de variables bi-Lipschitz $\rho$ (introduit dans [DFM19]) qui "aplatit" la frontière $\Gamma$ sur un sous-espace affine $\mathbb{R}^d$.

• Cela transforme l'équation originale avec une distance euclidienne en une équation sur $\mathbb{R}^n \setminus \mathbb{R}^d$ avec des coefficients qui satisfont une condition de régularité $C^{0,1}$ de haute co-dimension.
• Cette étape est cruciale pour ramener le problème à un cadre où les coefficients ont une structure de bloc asymptotique près de la frontière.

B. Formule de Monotonie et Fréquence d'Almgren

Les auteurs définissent une fonction de fréquence modifiée (type Almgren) adaptée aux poids dégénérés :
$$N_u(X_0, r) = \frac{r \int_{E_r(X_0)} \langle A \nabla u, \nabla u \rangle \, dY}{\int_{\partial E_r(X_0)} \mu u^2 \, d\sigma}$$
où $E_r$ sont des ellipsoïdes adaptés à la matrice $A$.

• Ils prouvent une quasi-monotonie de cette fréquence même à la frontière, malgré la dégénérescence.
• Cela permet de contrôler l'ordre de vanishing des solutions et d'effectuer des analyses de "blow-up".

C. Classification des Solutions Homogènes

Une partie centrale du travail est la classification complète des solutions homogènes de l'opérateur à coefficients constants sur $\mathbb{R}^n \setminus \mathbb{R}^d$.

• Contrairement aux polynômes harmoniques classiques, l'espace des solutions homogènes est riche et dépend des valeurs propres de l'opérateur de Laplace-Beltrami sur la sphère $S^{n-d-1}$.
• Les auteurs montrent que les ordres de vanishing appartiennent à un ensemble discret $\mathcal{F}$ et établissent des estimations de volume (estimates de Minkowski) pour les ensembles singuliers de ces solutions modèles.

D. Stratification Quantitative et Cones

L'innovation méthodologique majeure réside dans l'adaptation du schéma de stratification quantitative de Cheeger-Naber-Valtorta (CNV).

• Problème : La méthode CNV classique repose sur le fait que si une solution est homogène autour de deux points, elle est invariante le long de la ligne les reliant (plan). Ici, cela échoue car les points singuliers intérieurs et frontaux ne "ressemblent" pas aux mêmes échelles.
• Solution : Les auteurs introduisent une stratification par cônes. Ils démontrent que les points singuliers proches d'une singularité frontière sont contraints à se trouver dans un cône spécifique dicté par le blow-up de la singularité frontière.
• Grâce à la régularité $C^{1,1}$ de la frontière, ces cônes pointent tous approximativement dans la même direction, permettant de reconstruire une structure linéaire locale.

3. Résultats Principaux

Le résultat central est le Théorème 1.1 (et son corollaire 6.5 pour les opérateurs généraux).

Soit $u$ une solution non triviale de l'équation dégénérée avec $u|_\Gamma = 0$. Soit $S(u) = \{X : u(X) = |\nabla u(X)| = 0\}$ l'ensemble singulier.

1. Estimation de la mesure de Hausdorff :
   Pour une boule $B_{r_0}$ centrée sur la frontière, il existe une constante $C$ telle que :
   $$H^{n-2}(S(u) \cap B_{r_0}) \le C$$
   Cela signifie que l'ensemble singulier est de dimension de Hausdorff au plus $n-2$.

2. Estimation de Minkowski :
   $$L^n(B_s(S(u)) \cap B_{r_0}) \le C s^2$$
   où $B_s(S(u))$ est le $s$-voisinage de l'ensemble singulier.

3. Rectifiabilité :
   L'ensemble $S(u) \cap B_{r_0}$ est $(n-2)$-rectifiable (il peut être recouvert, à l'exception d'un ensemble de mesure nulle, par une union dénombrable de graphes Lipschitz de dimension $n-2$).

4. Optimalité :
   Les auteurs construisent des exemples montrant que ces estimations sont optimales : l'ensemble singulier peut effectivement être de dimension $n-2$ et contenir la frontière $\Gamma$.

4. Contributions Clés et Signification

• Extension aux co-dimensions élevées : C'est la première fois que des estimations quantitatives précises sur les ensembles singuliers sont obtenues pour des équations elliptiques dégénérées avec une frontière de dimension $d < n-1$.
• Nouvelle géométrie de stratification : Le passage d'une stratification par plans (CNV classique) à une stratification par cônes est une avancée technique majeure pour traiter les singularités frontières dans des géométries dégénérées.
• Rigueur sur la régularité : Le papier établit que la régularité $C^{1,1}$ de la frontière est suffisante pour obtenir ces résultats, bien que les auteurs notent que la régularité optimale (modulus de continuité Dini) reste une question ouverte nécessitant de nouvelles techniques.
• Applications potentielles : Ces résultats ouvrent la voie à l'étude de la structure fine des ensembles nodaux pour des opérateurs liés aux dérivées fractionnaires (via le problème de Caffarelli-Silvestre généralisé) et à la théorie du contrôle aux limites pour des géométries complexes.

En résumé, cet article surmonte les obstacles analytiques liés à la dégénérescence des coefficients et à la géométrie de la frontière pour établir que, malgré la complexité du cadre, la taille et la structure de l'ensemble singulier restent contrôlées et rectifiables, généralisant ainsi les résultats profonds de la théorie des équations elliptiques classiques.