Anisotropic gradient rearrangement of BV functions and applications

Technische Samenvatting: Anisotrope Gradientherordening van BV-functies en Toepassingen

Probleemstelling
Het artikel behandelt de uitbreiding van symmetrisatie- en herordeningstechnieken vanuit de Euclidische setting naar anisotrope omgevingen voor functies van begrensde variatie (BV). Waar klassieke symmetrisatie (bijvoorbeeld Schwarz-symmetrisatie) oplossingen van partiële differentiaalvergelijkingen (PDE's) op algemene domeinen vergelijkt met oplossingen op symmetrische ballen, introduceerden recente ontwikkelingen in [10] een gradientherordening voor BV-functies in het Euclidische geval. Deze procedure scheidt het absoluut continue deel van de gradient van het singuliere deel, waarbij het eerste wordt herordend en het laatste wordt geconcentreerd op de rand van het gesymmetriseerde domein.

Het specifieke probleem dat hier wordt aangepakt, is de generalisatie van dit resultaat naar de anisotrope setting, waarbij de geometrie wordt bepaald door een convexe, positief 1-homogene functie $H$ (de anisotrope norm of Finsler-norm) in plaats van de Euclidische norm. In deze context zijn de natuurlijke geometrische objecten Wulff-vormen (minimalisatoren van anisotrope omtrek) in plaats van Euclidische ballen. De uitdaging bestaat erin een herordening te definiëren die de anisotrope totale variatie behoudt en een $L^1$-vergelijking tot stand brengt tussen een functie en haar gesymmetriseerde tegenhanger, rekening houdend met het singuliere deel van de distributieve afgeleide.

Methodologie
De auteurs hanteren een strategie die analoog is aan het Euclidische geval in [10], maar aangepast aan het anisotrope kader:

1. Definities en Voorbereiding: Het artikel vestigt de nodige notatie voor anisotrope normen ($H$), polaire normen ($H^\circ$) en Wulff-ballen ($W_R$). Het definieert de anisotrope totale variatie $|Du|_H$ en herinnert aan de anisotrope Coarea-formule en de isoperimetrische ongelijkheid.
2. Truncatie en Maat Decompositie: Voor een niet-negatieve functie $u \in BV_0(\Omega)$ beschouwen de auteurs truncaties $v_s = (u - u^*(s))_+$. Zij analyseren de anisotrope totale variatie van deze truncaties, $G(s) = |Dv_s|_H(\mathbb{R}^n)$, en ontleden deze in een absoluut continu deel ($G_{H,1}$) en een singulier deel ($G_{H,2}$).
3. Constructie van Gradientherordening:
   • Het absoluut continue deel van de anisotrope energiedichtheid, $H(\nabla_a u)$, wordt herordend tot een stijgende functie $g^\sharp$ op de Wulff-bal $\Omega^\star$.
   • Een nieuwe functie $u^\star$ wordt geconstrueerd op $\Omega^\star$ zodanig dat haar gradient voldoet aan $H(\nabla u^\star) = g^\sharp$ bijna overal.
   • Cruciaal is dat het singuliere deel van de oorspronkelijke afgeleide, $D_s u$, niet wordt weggegooid. In plaats daarvan wordt het gecodeerd als een constante randwaarde $c_0$ op $\partial \Omega^\star$. Deze constante wordt gedefinieerd als de verhouding van de totale singuliere anisotrope variatie tot de anisotrope omtrek van de Wulff-bal: $c_0 = |D_s u|_H(\mathbb{R}^n) / P_H(\Omega^\star)$.
4. Bewijs van Vergelijking: Het hoofdstelling wordt bewezen door een differentiaalvergelijking vast te stellen die de distributiefunctie van $u$ relateert aan het maatvoet dat door de herordening wordt geïnduceerd. Door deze ongelijkheid te integreren en gebruik te maken van de Hardy-Littlewood-ongelijkheid, leiden de auteurs de $L^1$-vergelijking af.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.2 (Hoofdresultaat): Voor een niet-negatieve functie $u \in BV_0(\Omega)$, laat $u^\star$ de anisotrope gradientherordening zijn gedefinieerd op de Wulff-bal $\Omega^\star$ (met $|\Omega^\star| = |\Omega|$). Het artikel bewijst de $L^1$-vergelijking:
  $$\|u\|_{L^1(\Omega)} \leq \|u^\star\|_{L^1(\Omega^\star)}$$
  Dit resultaat generaliseert de Euclidische $L^1$-vergelijking uit [10] naar de anisotrope setting.

• Behoud van Anisotrope Totale Variatie: De constructie waarborgt dat de totale anisotrope variatie behouden blijft onder symmetrisatie:
  $$|Du^\star|_H(\mathbb{R}^n) = |Du|_H(\mathbb{R}^n)$$
  Het singuliere deel van de afgeleide wordt expliciet hersteld als een randterm in de gesymmetriseerde functie.

• Toepassingen op Torsiestijfheid: De auteurs passen het hoofdstelling toe om Saint-Venant-achtige ongelijkheden af te leiden voor twee functionalen gerelateerd aan torsiestijfheid in de anisotrope setting:

  1. Gestraft Torsiestijfheid ($T^H_F$): Voor een functional die anisotrope Dirichlet-energie omvat en een strafterm gebaseerd op de maat van de drager van de gradient, bewijst het artikel dat de functional wordt geminimaliseerd (of de stijfheid gemaximaliseerd) wanneer het domein een Wulff-bal is. Dit wordt bereikt door aan te tonen dat de anisotrope gradientherordening de energie en de strafterm behoudt terwijl de $L^1$-norm van de functie toeneemt.
  2. Anisotrope Isolatiefunctional ($T^H_G$): Voor een functional die anisotrope Dirichlet-energie omvat en een randterm gerelateerd aan de spoorwaarde van de functie, vestigt het artikel een vergelijkbare Saint-Venant-ongelijkheid. Een belangrijke technische stap (Lemma 4.4) identificeert het randintegral van de spoorwaarde met het singuliere deel van de anisotrope variatie van de nul-uitbreiding van de functie, waardoor het hoofdstelling over herordening van toepassing is.

Betekenis en Aanspraken
Het artikel claimt een rigoureuze anisotrope tegenhanger te bieden voor de gradient-symmetrisatietechniek geïntroduceerd in [10]. De primaire betekenis ligt in:

• Omgaan met Singulariteiten: Het slaagt erin herordeningstechnieken uit te breiden naar BV-functies door het singuliere deel van de afgeleide expliciet te volgen via een randgegeven, in plaats van dit te verliezen tijdens symmetrisatie.
• Geometrische Generaliteit: Het vervangt de Euclidische bal door de Wulff-vorm, wat de natuurlijke minimalisator is voor anisotrope oppervlakte-energieën, waardoor de resultaten toepasbaar worden op modellen die kristallijne oppervlaktespanning en interfaciale energieën omvatten.
• Variatie-toepassingen: Het demonstreert de bruikbaarheid van deze herordening bij het bewijzen van isoperimetrische-achtige ongelijkheden voor variatieproblemen waarbij de natuurlijke geometrie anisotroop is.

Beperkingen en Bescheidenheid
De auteurs zijn bescheiden wat betreft de reikwijdte van hun uniciteitsaanspraken. In de context van de gestraft torsiestijfheid op een Wulff-bal (Propositie 4.1) stellen zij de existentie van een symmetrische minimalisator vast, maar verklaren zij expliciet dat zij geen uniciteit claimen. Zij merken op dat een uniciteits- of rigiditeitsresultaat een anisotrope analoog zou vereisen van de rigiditeitsstellingen bewezen in [33] voor het Euclidische geval, die momenteel niet beschikbaar zijn in de huidige anisotrope setting. Derhalve richt het artikel zich op vergelijkingsprincipes en het bestaan van symmetrische minimalisatoren in plaats van volledige rigiditeitskarakteriseringen.