Anisotropic gradient rearrangement of BV functions and applications

Résumé technique : Réarrangement anisotrope du gradient des fonctions BV et applications

Énoncé du problème
L'article traite de l'extension des techniques de symétrisation et de réarrangement du cadre euclidien aux environnements anisotropes pour les fonctions à variation bornée (BV). Alors que la symétrisation classique (par exemple, la symétrisation de Schwarz) compare les solutions d'équations aux dérivées partielles (EDP) sur des domaines généraux aux solutions sur des boules symétriques, des développements récents dans [10] ont introduit un réarrangement du gradient pour les fonctions BV dans le cas euclidien. Cette procédure sépare la partie absolument continue du gradient de sa partie singulière, réarrangeant la première tout en concentrant la seconde sur la frontière du domaine symétrisé.

Le problème spécifique abordé ici est la généralisation de ce résultat au cadre anisotrope, où la géométrie est régie par une fonction convexe, positivement 1-homogène $H$ (la norme anisotrope ou norme de Finsler) plutôt que par la norme euclidienne. Dans ce contexte, les objets géométriques naturels sont les formes de Wulff (minimiseurs du périmètre anisotrope) plutôt que les boules euclidiennes. Le défi réside dans la définition d'un réarrangement qui préserve la variation totale anisotrope et établit une comparaison $L^1$ entre une fonction et son homologue symétrisé, en tenant compte de la partie singulière de la dérivée distributionnelle.

Méthodologie
Les auteurs emploient une stratégie analogue au cas euclidien de [10], adaptée au cadre anisotrope :

1. Définitions et préliminaires : L'article établit la notation nécessaire pour les normes anisotropes ($H$), les normes polaires ($H^\circ$) et les boules de Wulff ($W_R$). Il définit la variation totale anisotrope $|Du|_H$ et rappelle la formule de Coarea anisotrope et l'inégalité isopérimétrique.
2. Troncature et décomposition de la mesure : Pour une fonction non négative $u \in BV_0(\Omega)$, les auteurs considèrent les troncatures $v_s = (u - u^*(s))_+$. Ils analysent la variation totale anisotrope de ces troncatures, $G(s) = |Dv_s|_H(\mathbb{R}^n)$, en la décomposant en une partie absolument continue ($G_{H,1}$) et une partie singulière ($G_{H,2}$).
3. Construction du réarrangement du gradient :
   • La partie absolument continue de la densité d'énergie anisotrope, $H(\nabla_a u)$, est réarrangée en une fonction croissante $g^\sharp$ sur la boule de Wulff $\Omega^\star$.
   • Une nouvelle fonction $u^\star$ est construite sur $\Omega^\star$ de telle sorte que son gradient satisfasse $H(\nabla u^\star) = g^\sharp$ presque partout.
   • Crucialement, la partie singulière de la dérivée originale, $D_s u$, n'est pas écartée. Elle est plutôt encodée comme une trace frontière constante $c_0$ sur $\partial \Omega^\star$. Cette constante est définie comme le rapport entre la variation totale anisotrope singulière et le périmètre anisotrope de la boule de Wulff : $c_0 = |D_s u|_H(\mathbb{R}^n) / P_H(\Omega^\star)$.
4. Preuve de la comparaison : Le théorème principal est démontré en établissant une inégalité différentielle reliant la fonction de répartition de $u$ à la mesure induite par le réarrangement. En intégrant cette inégalité et en utilisant l'inégalité de Hardy-Littlewood, les auteurs déduisent la comparaison $L^1$.

Contributions et résultats clés

• Théorème 1.2 (Résultat principal) : Pour une fonction non négative $u \in BV_0(\Omega)$, soit $u^\star$ le réarrangement anisotrope du gradient défini sur la boule de Wulff $\Omega^\star$ (avec $|\Omega^\star| = |\Omega|$). L'article prouve la comparaison $L^1$ :
  $$\|u\|_{L^1(\Omega)} \leq \|u^\star\|_{L^1(\Omega^\star)}$$
  Ce résultat généralise la comparaison $L^1$ euclidienne de [10] au cadre anisotrope.

• Préservation de la variation totale anisotrope : La construction assure que la variation totale anisotrope est préservée sous symétrisation :
  $$|Du^\star|_H(\mathbb{R}^n) = |Du|_H(\mathbb{R}^n)$$
  La partie singulière de la dérivée est explicitement récupérée comme un terme frontière dans la fonction symétrisée.

• Applications à la rigidité de torsion : Les auteurs appliquent le théorème principal pour dériver des inégalités de type Saint-Venant pour deux fonctionnels liés à la rigidité de torsion dans le cadre anisotrope :

  1. Rigidité de torsion pénalisée ($T^H_F$) : Pour un fonctionnel impliquant l'énergie de Dirichlet anisotrope et un terme de pénalisation basé sur la mesure du support du gradient, l'article prouve que le fonctionnel est minimisé (ou la rigidité maximisée) lorsque le domaine est une boule de Wulff. Cela est obtenu en montrant que le réarrangement anisotrope du gradient préserve l'énergie et le terme de pénalisation tout en augmentant la norme $L^1$ de la fonction.
  2. Fonctionnel d'isolation anisotrope ($T^H_G$) : Pour un fonctionnel impliquant l'énergie de Dirichlet anisotrope et un terme frontière lié à la trace de la fonction, l'article établit une inégalité de Saint-Venant similaire. Une étape technique clé (Lemme 4.4) identifie l'intégrale frontière de la trace avec la partie singulière de la variation anisotrope de l'extension nulle de la fonction, permettant l'application du théorème principal de réarrangement.

Portée et affirmations
L'article prétend fournir un équivalent anisotrope rigoureux de la technique de symétrisation du gradient introduite dans [10]. Sa signification principale réside dans :

• Gestion des singularités : Il étend avec succès les méthodes de réarrangement aux fonctions BV en suivant explicitement la partie singulière de la dérivée via une donnée frontière, plutôt que de la perdre lors de la symétrisation.
• Généralité géométrique : Il remplace la boule euclidienne par la forme de Wulff, qui est le minimiseur naturel pour les énergies de surface anisotropes, rendant ainsi les résultats applicables aux modèles impliquant la tension de surface cristalline et les énergies interfaciales.
• Applications variationnelles : Il démontre l'utilité de ce réarrangement pour prouver des inégalités de type isopérimétrique pour des problèmes variationnels où la géométrie naturelle est anisotrope.

Limites et modestie
Les auteurs sont modestes concernant la portée de leurs affirmations d'unicité. Dans le contexte de la rigidité de torsion pénalisée sur une boule de Wulff (Proposition 4.1), ils établissent l'existence d'un minimiseur symétrique mais déclarent explicitement ne pas affirmer l'unicité. Ils notent qu'un résultat d'unicité ou de rigidité nécessiterait un analogue anisotrope des théorèmes de rigidité prouvés dans [33] pour le cas euclidien, qui ne sont pas disponibles dans le cadre anisotrope actuel. Par conséquent, l'article se concentre sur les principes de comparaison et l'existence de minimiseurs symétriques plutôt que sur des caractérisations complètes de rigidité.