On Weiss Almost Monotonicity Formula

1. Problématique et Contexte

L'article s'intéresse à l'analyse des minimiseurs presque (ou almost minimizers) d'une classe large de fonctionnelles d'énergie à coefficients variables, incluant notamment le problème d'Alt-Phillips et le problème d'Alt-Caffarelli.

Le problème central est l'étude de la structure fine de la frontière libre $F(u) = \partial\{u > 0\} \cap \Omega$ associée à ces fonctionnelles. Plus précisément, l'auteur vise à classifier les limites de redimensionnement (blow-up limits) et à établir la régularité de la frontière libre sous des hypothèses de régularité sur les coefficients beaucoup plus faibles que celles requises dans la littérature précédente.

La fonctionnelle étudiée est de la forme :
$$J(u, \Omega) = \int_{\Omega} \left( \frac{1}{2} \langle A(x)\nabla u, \nabla u \rangle + \sigma(x, u) \right) dx$$
où $A(x)$ est une matrice uniformément elliptique et $\sigma(x, u)$ contient des termes non-linéaires (comme $\delta(x)u^{\gamma(x)}$ pour Alt-Phillips).

Le défi principal : Les formules de monotonie de type Weiss, outils essentiels pour analyser l'homogénéité des solutions et la régularité de la frontière, échouent généralement lorsque les coefficients ($A, \delta, \gamma$) ne sont pas constants ou suffisamment réguliers (par exemple, dans $W^{1,q}$ avec $q>d$). Dans ce cas, la dérivée de la fonctionnelle de Weiss n'est pas positive, mais contient un terme d'erreur.

2. Méthodologie

L'approche développée par Sobral repose sur une stratégie de "gel des coefficients" (freezing coefficients) combinée à une analyse de la régularité optimale des solutions.

1. Gel des coefficients : Pour un point $x_0$ sur la frontière libre, l'auteur considère une fonctionnelle "gelée" $J_{x_0}$ où les coefficients sont figés à leurs valeurs en $x_0$ (c'est-à-dire $A(x_0), \delta(x_0), \gamma(x_0)$).
2. Comparaison par compétition : On compare l'énergie de la solution originale $u$ (minimiseur presque) avec celle d'un compétiteur $w$, obtenu en étendant de manière homogène la trace de $u$ sur la sphère $\partial B_r(x_0)$ vers l'intérieur de la boule.
3. Estimation de l'erreur : La différence entre l'énergie réelle et l'énergie gelée est contrôlée par les modules de continuité des coefficients ($\omega_A, \omega_\delta, \omega_\gamma$) et le module de contrôle de l'approximation $\varrho$.
4. Formule de monotonie quasi : L'auteur démontre que la fonctionnelle de Weiss modifiée satisfait une inégalité différentielle de la forme :
   $$\frac{d}{dr} \Phi(r) \geq -g(r)$$
   où $g(r)$ est une fonction intégrable ($L^1$) qui quantifie la déviation par rapport à la monotonie stricte. Cette déviation dépend de la régularité des coefficients.

Hypothèses de régularité clés :
L'article établit que la formule fonctionne sous des hypothèses de régularité logarithmiques (Dini et log-Dini), bien plus faibles que les hypothèses $W^{1,q}$ précédentes :

• $\delta \in C^{0, \text{Dini}}$
• $\gamma \in C^{0, \text{log-Dini}}$
• $A$ continue avec un module de continuité Dini.

3. Contributions Clés et Résultats Principaux

A. Formule de Monotonie Presque de Weiss (Théorème 3.1)

L'auteur établit une formule de monotonie presque pour une large classe de fonctionnelles. Le résultat principal est que si les coefficients satisfont les conditions de continuité Dini/log-Dini, alors la fonctionnelle de Weiss est "presque monotone". Cela implique que la limite $\lim_{r \to 0} \Phi(r)$ existe, ce qui est crucial pour l'analyse asymptotique.

B. Classification des Limites de Redimensionnement (Corollaire 3.1)

Grâce à la formule de monotonie, il est démontré que toute limite de redimensionnement $u_0$ d'un minimiseur local est homogène avec un exposant $\beta(x_0) = \frac{2}{2-\gamma(x_0)}$.
$$u_0(\lambda x) = \lambda^{\beta(x_0)} u_0(x)$$
Cela permet de classifier les points de la frontière libre en :

• Points réguliers : Les limites de redimensionnement sont des "cônes triviaux" (solutions demi-espaces).
• Points singuliers : Les limites sont des "cônes minimaux non triviaux".

C. Régularité de la Frontière Libre (Théorème 4.1)

Sous les nouvelles hypothèses de régularité ($\delta \in C^{0, \text{Dini}}$ et $\gamma \in C^{0, \text{log-Dini}}$), l'article prouve que :

1. L'ensemble des points réguliers $\mathcal{R}(u)$ est ouvert dans la frontière libre.
2. La dimension de Hausdorff de l'ensemble singulier $\Sigma(u)$ est bornée par $d-3$.
3. La mesure de Hausdorff $(d-1)$-dimensionnelle de la frontière libre est localement finie.

Ceci améliore significativement les résultats de [4], qui nécessitaient $\delta, \gamma \in W^{1,q}$ ($q>d$).

D. Extensions (Section 5)

La méthode est généralisée à :

• Le problème d'Alt-Caffarelli à coefficients variables (un et deux phases).
• Le problème d'Alt-Phillips à deux phases.
  Dans ces cas, la formule de monotonie reste valable avec des termes d'erreur adaptés, permettant d'obtenir des résultats de régularité similaires.

4. Signification et Impact

Ce travail représente une avancée majeure dans la théorie des problèmes de frontière libre non-linéaires :

1. Optimisation des hypothèses de régularité : En réduisant les exigences sur les coefficients de $W^{1,q}$ (dérivabilité faible) à des conditions de continuité Dini/log-Dini, l'article rend les résultats de régularité applicables à des situations physiques ou mathématiques où les matériaux ou les milieux présentent des variations de propriétés moins lisses.
2. Robustesse de la méthode de Weiss : L'article démontre que la puissance de la méthode de Weiss (classification par homogénéité) ne dépend pas strictement de la régularité $C^1$ ou $W^{1,q}$ des coefficients, mais peut être adaptée via des estimations d'erreur fines.
3. Unification : La méthodologie proposée offre un cadre unifié pour traiter à la fois les problèmes uniphasés et biphasés, ainsi que les fonctionnelles avec des exposants variables, ouvrant la voie à de futures investigations sur des opérateurs plus généraux (comme le $p$-Laplacien).

En résumé, Sobral fournit un outil analytique robuste qui permet de traiter la régularité fine des frontières libres dans des environnements à coefficients très irréguliers, comblant ainsi un vide important entre la théorie classique à coefficients constants et les cas réalistes à coefficients variables.