Lipschitz solvability of prescribed Jacobian and divergence for singular measures

Titel: Lipschitz-oplosbaarheid van voorgeschreven Jacobiaan en divergentie voor singuliere maatstaven

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel probleem in de analyse van partiële differentiaalvergelijkingen en maattheorie: de oplosbaarheid van de vergelijkingen voor voorgeschreven divergentie ($\text{div } V = f$) en voorgeschreven Jacobiaan ($\det D\Phi = g$) wanneer de gegeven data ($f$ en $g$) alleen begrensd zijn ten opzichte van een singuliere Radon-maat $\mu$ (d.w.z. $\mu \perp \mathcal{L}^d$, waar $\mathcal{L}^d$ de Lebesgue-maat is).

• De uitdaging: In eerdere werken (zoals Alberti, Bate en Marchese) is aangetoond dat voor singuliere maatstaven klassieke differentiaaloperatoren (zoals divergentie en Jacobiaan) niet "sluitend" (closable) zijn van de ruimte van Lipschitz-functies naar $L^p(\mu)$. Dit betekent dat er rijen van Lipschitz-functies bestaan die uniform naar nul convergeren, terwijl hun afgeleiden (divergentie of Jacobiaan) groot blijven op een verzameling met positieve $\mu$-maat.
• Het doel: De auteurs tonen aan dat deze "geometrische mechanismen" die normaal gesproken leiden tot tegenvoorbeelden, constructief gebruikt kunnen worden om oplossingen te vinden. Het doel is om Lipschitz-oplossingen te construeren die exact voldoen aan de vergelijkingen op een compacte verzameling $K$ met $\mu(\Omega \setminus K) < \varepsilon$ (d.w.z. op een verzameling met bijna volledige $\mu$-maat), terwijl de Lipschitz-norm van de oplossing slechts licht afhangt van de supremum-norm van de data.

2. Methodologie en Kerninstrumenten

De bewijsvoering is gebaseerd op een constructieve aanpak die gebruikmaakt van de specifieke structuur van singuliere maatstaven. De belangrijkste wiskundige instrumenten zijn:

1. Het Decomposabiliteitsbundel (Decomposability Bundle):

   • Dit is een meetbaar veld van lineaire deelruimten $V(\mu, x)$ geassocieerd met de maat $\mu$.
   • Een cruciaal resultaat (Propositie 2.1) stelt dat voor een singuliere maat $\mu$, de bundel $V(\mu, x)$ niet de volledige ruimte $\mathbb{R}^d$ is voor $\mu$-bijna elke $x$. Dit impliceert dat er altijd richtingen bestaan die "transversaal" zijn tot de bundel.

2. Cone-null verzamelingen en Richtingskeuze:

   • De auteurs gebruiken een lemma (Lemma 2.2) om te garanderen dat er een eindige verzameling van vaste eenheidsvectoren $\{v_1, \dots, v_N\}$ bestaat zodanig dat voor elke eigentijdse deelruimte $L$, minstens één vector $v_j$ zo gekozen is dat de kegel $C(v_j, \alpha)$ slechts de oorsprong snijdt met $L$.
   • Hierdoor kunnen ze de "transversale" richtingen lokaliseren waar de maat geen "ondersteuning" heeft.

3. Breedte-functies (Width Functions):

   • Gebaseerd op werk van Alberti, Csörnyei en Preiss, construeren ze een gladde functie $\phi$ (een "width function") die constant is op een specifieke verzameling, maar een voorgeschreven afgeleide heeft in een transversale richting.
   • Lemma 2.6: Voor een compacte, kegel-nul verzameling $E$ en een richting $e$, bestaat er een functie $\phi$ met een zeer kleine supremum-norm, maar met $\partial_e \phi = 1$ op $E$, en een gecontroleerde Lipschitz-norm.

4. Het Richtings-Scalair Lemma (Propositie 3.1):

   • Dit is het hart van de constructie. Het stelt dat een begrensde continue functie $\lambda$ gerealiseerd kan worden als een richtingsafgeleide $\partial_e u$ op een verzameling met bijna volledige maat, waarbij $u$ willekeurig klein is in de supremum-norm en de Lipschitz-norm gecontroleerd wordt.
   • De constructie gebruikt een iteratieve procedure (een "gladde" versie van een Baire-categorie argument) waarbij de foutterm in elke stap exponentieel wordt verkleind.

3. Belangrijkste Resultaten

De paper presenteert twee hoofdstellingen die de Lusin-type oplosbaarheid bewijzen:

• Stelling 1.1 (Lusin-oplosbaarheid voor divergentie):
  Voor elke singuliere maat $\mu$, elke Borel-functie $f$, en elke $\varepsilon, \delta > 0$, bestaat er een vectorveld $V \in C^1_c(\Omega; \mathbb{R}^d)$ en een compacte verzameling $K$ met $\mu(\Omega \setminus K) < \varepsilon$ zodanig dat:

  1. $\text{div } V(x) = f(x)$ voor alle $x \in K$.
  2. $\text{Lip}(V) \leq (1+\delta)\|f\|_{L^\infty(\Omega, \mu)}$.
  3. $\|V\|_{C^0} \leq \varepsilon$ (de oplossing kan willekeurig klein worden gemaakt).

• Stelling 1.2 (Lusin-oplosbaarheid voor de Jacobiaan):
  Voor een Borel-functie $g$, bestaat er een afbeelding $\Phi$ met $\Phi - \text{Id} \in C^1_c(\Omega; \mathbb{R}^d)$ en een compacte verzameling $K$ met $\mu(\Omega \setminus K) < \varepsilon$ zodanig dat:

  1. $\det D\Phi(x) = g(x)$ voor alle $x \in K$.
  2. $\text{Lip}(\Phi - \text{Id}) \leq (1+\delta)\|g-1\|_{L^\infty(\Omega, \mu)}$.
  3. Als $(1+\delta)\|g-1\|_{L^\infty} < 1$, dan is $\Phi$ een globaal diffeomorfisme.

• Corollarium 1.3: Het resultaat kan worden uitgebreid om een willekeurige gegeven diffeomorfisme $F$ te pertureren naar een nieuwe diffeomorfisme $\Phi$ met een voorgeschreven Jacobiaan, waarbij de perturbation klein blijft.

4. Significatie en Implicaties

• Overbrugging van de "Endpoint" Schattingsprobleem:
  De resultaten bieden een oplossing voor het probleem dat klassieke $L^\infty \to \text{Lipschitz}$ schattingen voor eerste-orde vergelijkingen (zoals divergentie) falen voor singuliere maatstaven (vergelijkbaar met Ornstein's ongelijkheid). In plaats van puntsgewijze controle, bieden de auteurs een Lusin-type oplossing: de vergelijking geldt exact op een verzameling die bijna alle massa van de singuliere maat draagt.

• Verbinding met de "Flat Chain Conjecture":
  De auteurs leggen een directe link met de open vraag van Ambrosio-Kirchheim over metrische stromen (metric currents) en flat chains. Ze tonen aan dat de Lusin-type oplosbaarheid van de divergentievergelijking (in de hoogste dimensie) precies het mechanisme is dat nodig is om de conjectuur voor top-dimensionale stromen te bewijzen, ondanks het falen van puntsgewijze schattingen. Dit verduidelijkt waarom de conjectuur in de top-dimensie waar is.

• Verschil met Dacorogna-Moser:
  Het artikel onderscheidt zich van het klassieke Dacorogna-Moser-theorema (dat gladde oplossingen geeft voor transport tussen absoluut continue maatstaven). Hier wordt geen transport van de maat $\mu$ zelf bewezen, maar wordt een globale coördinatenverandering geconstrueerd waarvan de Jacobiaan de gewenste waarde heeft op een verzameling met grote $\mu$-maat.

• Rol van Rectificeerbaarheid:
  De auteurs benadrukken dat hoewel de constructie intuïtief duidelijker is voor rectificeerbare maatstaven (waar transversale richtingen lokaal bestaan), het mechanisme werkt voor elke singuliere maat dankzij de decomposabiliteitsbundel. Rectificeerbaarheid vereenvoudigt de geometrie, maar is geen noodzakelijke voorwaarde voor de analytische resultaten.

Conclusie:
Dit werk levert een constructief bewijs dat singuliere maatstaven, ondanks hun pathologische eigenschappen ten opzichte van klassieke differentiatie, toch toelaten om voorgeschreven divergentie en Jacobiaan te realiseren met gecontroleerde Lipschitz-normen, mits men accepteert dat de vergelijkingen slechts op een verzameling met bijna volledige maat gelden. Dit opent nieuwe wegen voor de theorie van metrische stromen en de analyse van singuliere structuren.