Revisiting multi-phase variational problems: A Muckenhoupt weight approach

Résumé technique : Révisiter les problèmes variationnels multi-phases : une approche par les poids de Muckenhoupt

Configuration du problème
Cet article étudie la théorie de la régularité des minimiseurs locaux pour des fonctionnelles d'énergie multi-phases de la forme :
$$\mathcal{F}(v, \Omega) = \int_{\Omega} \left( |\nabla v|^p + \sum_{i=1}^N a_i(x)|\nabla v|^{p_i} \right) dx,$$
où $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) est un ensemble ouvert borné, $1 < p \leq p_1 \leq \dots \leq p_N < \infty$, et $a_i(x)$ sont des coefficients de modulation non négatifs. La fonctionnelle modélise des matériaux composites présentant plusieurs phases de croissance, où les coefficients $a_i(x)$ dictent la distribution géométrique des différents composants du matériau. L'équation d'Euler-Lagrange associée présente une ellipticité hautement non uniforme et dégénérée, particulièrement là où les coefficients s'annulent ou lorsque le gradient devient important.

Changement méthodologique et motivation
Traditionnellement, les résultats de régularité pour de telles fonctionnelles (y compris le cas de double phase $N=1$) reposent sur des hypothèses structurelles où les coefficients de modulation $a_i(\cdot)$ sont de classe Hölder ($C^{0,\alpha}$) et satisfont des conditions d'écart de croissance spécifiques (par exemple, $p_i \leq p + \alpha_i p/n$). Ces conditions garantissent l'absence du phénomène de Lavrentiev et permettent la construction de schémas d'itération de De Giorgi.

Les auteurs proposent un cadre structurel distinct en remplaçant l'hypothèse classique de continuité Hölder par la condition que les coefficients $a_i$ appartiennent à des classes de poids de Muckenhoupt appropriées ($a_i \in \mathcal{A}_{p_i}$). Ce changement est motivé par la réalité physique des coefficients dans les matériaux fortement anisotropes, qui peuvent présenter des discontinuités ou des singularités (par exemple, de type puissance ou logarithmiques) violant la continuité Hölder mais restant admissibles dans le cadre de Muckenhoupt. La condition de Muckenhoupt fournit les critères nécessaires et suffisants pour le caractère borné de l'opérateur de maximal de Hardy-Littleux en espaces pondérés, ce qui est crucial pour les arguments de densité.

Contributions clés et méthodologie
L'article développe une théorie de la régularité pour ces fonctionnelles multi-phases sous les hypothèses de Muckenhoupt à travers les étapes techniques suivantes :

1. Absence du phénomène de Lavrentiev : Les auteurs établissent d'abord que les fonctions lisses sont denses dans l'espace naturel de Musielak-Orlicz-Sobolev $W^{1,H}(\Omega)$ associé à la fonctionnelle. Ceci est réalisé en prouvant le caractère borné de l'opérateur maximal de Hardy-Littlewood sur l'espace pondéré défini par les coefficients de Muckenhoupt. Ce résultat de densité exclut l'écart de Lavrentiev, garantissant que l'infimum de l'énergie sur l'espace naturel coïncide avec celui sur les fonctions lisses.

2. Intégrabilité supérieure (Théorème A) : En utilisant un argument de type Gehring raffiné, l'article prouve que la densité d'énergie $H(x, |\nabla u|)$ d'un minimiseur local jouit d'une intégrabilité supérieure ($L^{1+\delta_0}_{loc}$). Cela repose sur l'établissement d'une inégalité de Hölder inversée pour le minimiseur, laquelle est dérivée en combinant des estimations de type Caccioppoli, des inégalités de Sobolev-Poincaré adaptées à la structure multi-phase, et les propriétés d'auto-amélioration des poids de Muckenhoupt.

3. Bornitude locale (Théorème B) : En s'appuyant sur l'intégrabilité supérieure, les auteurs établissent la bornitude locale ($L^\infty_{loc}$) des minimiseurs. Ceci est réalisé via un schéma d'itération de type De Giorgi. Un composant critique est la dérivation d'une inégalité de niveau spécialisée qui quantifie l'oscillation du minimiseur en termes de la densité d'énergie multi-phase, tenant compte de la croissance non homogène et de la nature pondérée des coefficients.

4. Continuité de Hölder (Théorème C) : La continuité locale de Hölder des minimiseurs est prouvée en démontrant la décroissance de l'oscillation dans des petites boules. Cela implique une inégalité de niveau de type De Giorgi spécialisée qui fait le pont entre les propriétés de bornitude et de continuité, en exploitant les bornes $L^\infty$ précédemment établies et les propriétés structurelles des poids de Muckenhoupt.

5. Inégalité de Harnack (Théorème D) : L'article prouve l'inégalité de Harnack pour les minimiseurs locaux non négatifs, stipulant que le supremum local est contrôlé par l'infimum local. Ce résultat est dérivé en combinant une inégalité de Harnack faible (estimation de l'infimum) et une estimation de supremum. La preuve est notée comme étant hautement non triviale en raison de l'irrégularité des coefficients, nécessitant une combinaison délicate d'estimations pondérées et d'arguments d'échelle pour relier les deux estimations unilatérales.

Résultats clés

• Théorème A : Les minimiseurs locaux satisfont $H(\cdot, |\nabla u|) \in L^{1+\delta_0}_{loc}(\Omega)$ pour un certain $\delta_0 > 0$.
• Théorème B : Les minimiseurs locaux sont localement bornés ($u \in L^\infty_{loc}(\Omega)$), avec des estimations quantitatives reliant la norme $L^\infty$ à l'énergie locale.
• Théorème C : Les minimiseurs locaux sont localement Hölder continus ($u \in C^{0,\alpha}_{loc}(\Omega)$).
• Théorème D : Les minimiseurs locaux non négatifs satisfont l'inégalité de Harnack : $\sup_{B_r} u \leq C \inf_{B_r} u$.

Signification et affirmations
L'article affirme fournir un nouveau cadre pour comprendre le comportement qualitatif des minimiseurs dans les problèmes variationnels à croissance non uniforme, complétant ainsi la littérature existante. En allant au-delà de la continuité Hölder classique des coefficients de modulation, les auteurs traitent une classe plus large de coefficients irréguliers pouvant s'annuler ou exploser sur des ensembles de mesure nulle.

Plus notablement, l'article affirme que la preuve de l'inégalité de Harnack pour les minimiseurs locaux non négatifs dans le cadre multi-phase avec des coefficients de modulation de Muckenhoupt constitue le premier résultat de ce genre. Ce résultat offre un nouvel outil quantitatif pour contrôler le comportement local des minimiseurs dans des contextes où le rapport d'ellipticité peut dégénérer ou exploser en raison de l'interaction de multiples phases de croissance et de poids singuliers. Le travail contribue à la compréhension plus large de la régularité dans les problèmes de croissance non standard, en abordant spécifiquement les défis posés par l'absence d'invariance d'échelle et d'homogénéité dans les modèles multi-phases.