On the divergence of the composition of irregular fields with BV functions

Titel: Zur Divergenz der Komposition irregulärer Felder mit BV-Funktionen
Autoren: Graziano Crasta, Virginia De Cicco, Annalisa Malusa

1. Problemstellung und Motivation

Das Paper adressiert das fundamentale Problem der Definition einer Kettenregel für die distributionelle Divergenz von zusammengesetzten Funktionen der Form $v(x) = B(x, u(x))$.

• Kontext: $u$ ist eine skalare Funktion beschränkter Variation (BV-Funktion) in einem offenen Gebiet $\Omega \subseteq \mathbb{R}^N$, und $B(\cdot, t)$ ist eine Familie von beschränkten Vektorfeldern mit maßtheoretischer Divergenz (divergence-measure fields, $DM^\infty$).
• Herausforderung: In der klassischen Analysis ($u \in C^1, B \in C^1$) gilt die Kettenregel:
  $$\text{div}(B(x, u)) = (\text{div}_x B)(x, u) + \partial_t B(x, u) \cdot \nabla u$$
  Für $BV$-Funktionen ist der Term $\partial_t B(x, u) \cdot \nabla u$ jedoch nicht wohldefiniert, da $u$ auf einer Sprungmenge $J_u$ unstetig ist und der Gradient $\nabla u$ als Maß $Du$ vorliegt.
• Ziel: Es muss ein geeigneter Ersatz für das Skalarprodukt $\partial_t B(x, u) \cdot \nabla u$ gefunden werden, der als Paarungsmaß (pairing measure) zwischen dem Vektorfeld $b(x, u(x)) := \partial_t B(x, u(x))$ und dem Maß $Du$ definiert wird. Dies ist entscheidend für die Gültigkeit von Gauss-Green-Formeln und die Untersuchung von Semicontinuitätseigenschaften in Variationsproblemen.

2. Methodik und Rahmenbedingungen

Die Autoren arbeiten unter folgenden Annahmen:

• Das Vektorfeld $b: \Omega \times \mathbb{R} \to \mathbb{R}^N$ ist beschränkt und messbar.
• Für fast jedes $x$ ist $t \mapsto b(x, t)$ stetig.
• Für jedes $t$ gehört $b(\cdot, t)$ zu $DM^\infty(\Omega)$ (Divergenz ist ein endliches Radon-Maß).
• Die Divergenzen $|\text{div}_x b(\cdot, t)|$ sind durch ein gemeinsames Radon-Maß $\sigma$ dominiert (das Supremum über $t$).

Methodischer Ansatz:

1. Einführung von $\lambda$-Repräsentanten: Da BV-Funktionen auf der Sprungmenge $J_u$ keine eindeutigen Werte haben, definieren die Autoren einen Repräsentanten $u_\lambda$, der eine konvexe Kombination der unteren und oberen Approximationsgrenzen $u^-$ und $u^+$ ist, gewichtet durch eine messbare Funktion $\lambda: \Omega \to [0, 1]$.
2. Definition von Paarungsmaßen: Es werden zwei Familien von Paarungen eingeführt:
   • Externe nichtlineare $\lambda$-Paarung: $[b(\cdot, u), Du]_\lambda$, die eine lineare Kombination der Werte von $F(x, u^-)$ und $F(x, u^+)$ verwendet.
   • Nichtlineare $\lambda$-Paarung: $(b(\cdot, u), Du)_\lambda$, die den Wert $F(x, u_\lambda)$ direkt verwendet.
     Hier ist $F$ die Radon-Nikodym-Ableitung der Divergenz von $B$ bezüglich $\sigma$.
3. Analyse der Struktur: Die Autoren zerlegen die Paarungsmaße in ihre absolut stetigen, Cantor- und Sprungteile und nutzen die Coarea-Formel sowie schwache Normalenspuren (weak normal traces) auf rektifizierbaren Mengen, um explizite Darstellungen der Dichten zu finden.

3. Wichtige Beiträge und Ergebnisse

A. Verallgemeinerte Paarungsmaße und Strukturtheoreme

• Familie der Paarungen: Die Arbeit zeigt, dass die in der Literatur bekannten "Standard"-Paarungen (oft mit $\lambda = 1/2$) nur Spezialfälle einer viel größeren Familie sind, die von der Wahl des Repräsentanten auf der Sprungmenge abhängt.
• Äquivalenz und Identifikation: Es wird bewiesen, dass jede externe $\lambda$-Paarung als eine nichtlineare $\lambda'$-Paarung dargestellt werden kann (Proposition 4.10). Im Fall monotoner Abhängigkeit von $F$ bezüglich $t$ fallen beide Familien zusammen.
• Absolute Stetigkeit: Beide Familien von Paarungsmaßen sind absolut stetig bezüglich des Maßes $|Du|$. Die Dichten werden explizit durch schwache Normalenspuren des Vektorfeldes auf der Sprungmenge $J_u$ und auf den reduzierten Rändern der Niveaumengen $\{u > t\}$ ausgedrückt (Theorem 6.3).
• Verallgemeinerte Coarea-Formel: Eine Coarea-Formel wird für die externen Paarungen hergeleitet (Theorem 5.1), was eine Verbindung zwischen der Paarung mit $u$ und den linearen Paarungen mit den charakteristischen Funktionen der Niveaumengen $\chi_{\{u>t\}}$ herstellt.

B. Verallgemeinerte Gauss-Green-Formeln

• Das Paper leitet verallgemeinerte Gauss-Green-Formeln für Mengen endlichen Perimeters ab (Theorem 7.1). Diese Formeln verbinden das Volumenintegral der Divergenz und des Paarungsmaßes mit dem Oberflächenintegral der schwachen Normalenspuren auf dem reduzierten Rand $\partial^* E$.
• Diese Ergebnisse gelten für beide Familien von Paarungen und erweitern frühere Resultate für lineare und nichtlineare Fälle.

C. Untere Halbstetigkeit und Relaxation

Dies ist der zentrale neuartige Beitrag des Papers im Vergleich zu früheren Arbeiten:

• Problem der Halbstetigkeit: Es wird gezeigt, dass die Standard-Paarung ($\lambda = 1/2$) im Allgemeinen nicht untere Halbstetigkeit bezüglich der $L^1$-Konvergenz (mit kontrollierten Repräsentanten) besitzt.
• Optimale Auswahl ($\lambda_L$): Die Autoren identifizieren eine spezielle Auswahl $\lambda_L$, die die Paarung $(b(\cdot, u), Du)_L$ definiert. Diese Paarung ist untere Halbstetig bezüglich einer geeigneten Konvergenzklasse $\mathcal{A}(u)$ (die $L^1$-Konvergenz, Konvergenz der Repräsentanten und eine Gleichbeschränktheit in $L^1(\sigma)$ umfasst).
• Relaxation von Funktionalen: Das Hauptresultat (Theorem 9.1) besagt, dass das relaxierte Funktional eines Integralausdrucks über Sobolev-Räumen ($W^{1,1}$) genau durch das Integral des untere-halbstetigen Paarungsmaßes $(b(\cdot, u), Du)_L$ gegeben ist:
  $$\mathcal{F}(u) = \int_\Omega \phi \, d(b(x, u), Du)_L$$
  Dies verallgemeinert frühere Ergebnisse (z.B. für den linearen Fall oder unter der Annahme, dass die Divergenz absolut stetig ist) auf den allgemeinen Fall von Divergenz-Messfeldern.

4. Signifikanz und Anwendungsbereiche

Die Ergebnisse haben weitreichende Konsequenzen für die Analysis und mathematische Physik:

1. Variationsrechnung: Die Charakterisierung der untere-halbstetigen Paarungen ermöglicht die korrekte Formulierung von Relaxationsproblemen für Integralfunktionale in $BV$, was für die Existenz von Minimierern in nichtlinearen Problemen essenziell ist.
2. Partielle Differentialgleichungen (PDEs): Die verallgemeinerten Gauss-Green-Formeln und Kettenregeln sind grundlegend für die schwache Formulierung von PDEs mit unstetigen Koeffizienten oder Lösungen, wie z.B. Transportgleichungen mit unstetigem Fluss, Erhaltungssätze und Probleme mit dem 1-Laplace-Operator.
3. Mechanik und Plastizität: Die Theorie liefert die mathematische Grundlage für Optimierungsbedingungen in der Plastizitätstheorie und Kontinuumsmechanik, wo Spannungen oft als Divergenz-Messfelder und Verschiebungen als BV-Funktionen modelliert werden.
4. Theoretische Verallgemeinerung: Die Arbeit schließt die Lücke zwischen linearen Theorien (bekannt seit Anzellotti) und nichtlinearen Anwendungen, indem sie zeigt, wie die Wahl des Repräsentanten auf der Sprungmenge die analytischen Eigenschaften (insbesondere Halbstetigkeit) der resultierenden Maße bestimmt.

Zusammenfassend stellt dieses Paper einen Meilenstein in der Theorie der Divergenz-Messfelder dar, indem es eine flexible, aber rigorose Rahmenbedingungen für die Behandlung von nichtlinearen Kompositionen mit BV-Funktionen schafft und dabei die Verbindung zwischen distributioneller Analysis, geometrischer Maßtheorie und der Variationsrechnung herstellt.