A new space of generalised vector-valued functions of bounded variation

Technische Zusammenfassung: Ein neuer Raum verallgemeinerter vektorwertiger Funktionen von beschränkter Variation

Problemstellung und Motivation
Die Arbeit befasst sich mit der mathematischen Analyse von Energiefunktionalen, die in der Bruchmechanik auftreten, speziell jenen, die kohäsives Risswachstum modellieren. Die Untersuchung konzentriert sich auf Funktionale der Form:
$$F(u) = \int_A f(x, \nabla u) \, dx + \int_A f^\infty\left(x, \frac{dD^c u}{d|D^c u|}\right) d|D^c u| + \int_{J_u} g(x, [u], \nu_u) \, d\mathcal{H}^{d-1}$$
wobei $A \subset \mathbb{R}^d$ eine offene beschränkte Menge ist, $u: A \to \mathbb{R}^k$ ein Verschiebungsfeld darstellt, $J_u$ die Sprungmenge (Rissfläche), $[u]$ die Rissöffnung und $D^c u$ der Cantor-Teil der Ableitung ist.

Die spezifische Herausforderung ergibt sich daraus, dass die Oberflächenenergiedichte $g$ Bedingungen linearen Wachstums nahe dem Ursprung erfüllt (z. B. $g \sim |\zeta| \wedge 1$), was physikalisch für kohäsive Modelle relevant, aber mathematisch anspruchsvoll ist. In solchen Fällen kontrolliert das Funktional nicht die volle Amplitude der Rissöffnungen, und Standardräume wie $SBV(A; \mathbb{R}^k)$ oder sogar der skalare Raum $GBV(A)$ können keine Kompaktheit für Minimierungssequenzen gewährleisten, ohne künstliche niederwertige Terme hinzuzufügen.

Im skalaren Fall ($k=1$) führten Dal Maso und Toader [18] den Raum $GBV^\star(A)$ ein, um dies zu überwinden, wobei sie nachwiesen, dass Minimierungssequenzen modifiziert werden können, um fast überall zu konvergieren, ohne zusätzliche Kohärenzterme zu benötigen. Das primäre Problem dieser Arbeit ist die Erweiterung dieses Rahmens auf den vektoriellen Fall ($k > 1$), d. h. die Definition und Analyse des Raums $GBV^\star(A; \mathbb{R}^k)$ sowie die Etablierung der notwendigen Kompaktheits- und Halbkontinuitätsresultate, um das direkte Verfahren der Variationsrechnung anzuwenden.

Methodik und Definitionen
Der Autor, Davide Donati, definiert den Raum $GBV^\star(A; \mathbb{R}^k)$ durch eine komponentenweise Erweiterung der skalaren Definition. Eine Funktion $u \in L^0(A; \mathbb{R}^k)$ gehört genau dann zu $GBV^\star(A; \mathbb{R}^k)$, wenn jede ihrer Komponenten $u_i$ zum skalaren Raum $GBV^\star(A)$ gehört.

Zentrale methodische Schritte sind:

1. Charakterisierung über Komposition: Die Arbeit charakterisiert $GBV^\star(A; \mathbb{R}^k)$ nicht bloß durch komponentenweise Eigenschaften, sondern durch das Verhalten der Kompositionen mit glatten, kompakt gestützten Funktionen. Konkret: $u \in GBV^\star(A; \mathbb{R}^k)$ genau dann, wenn für jede Lipschitz-Funktion $\phi: \mathbb{R}^k \to \mathbb{R}^k$ mit kompakter Unterstützung die Komposition $\phi \circ u$ zu $BV(A; \mathbb{R}^k)$ gehört und die totale Variation dieser Kompositionen durch die Lipschitz-Konstante von $\phi$ gleichmäßig kontrolliert wird.
2. Trunkierungsanalyse: Der Autor nutzt eine Familie glatter radialer Trunkierungsfunktionen $\psi_R$ (die auf Kugeln des Radius $R$ die Identität darstellen und außerhalb des Radius $\sigma R$ verschwinden), um die verallgemeinerte Ableitung $D^c u$ mit den Ableitungen der trunkierten Funktionen $\psi_R \circ u$ in Beziehung zu setzen.
3. Adaption skalarer Argumente: Die Beweise für den vektoriellen Fall adaptieren weitgehend die Argumente aus der skalaren Theorie [18] und verwandten Arbeiten [17], indem sie Slicing-Techniken und die Kettenregel für $BV$-Funktionen nutzen, um die vektorielle Natur des Problems zu handhaben.

Wesentliche Beiträge und Resultate

1. Definition und strukturelle Eigenschaften von $GBV^\star(A; \mathbb{R}^k)$:

   • Der Raum wird als Vektorraum etabliert.
   • Die Arbeit beweist, dass der Cantor-Teil der Ableitung, $D^c u$, die Rang-Eins-Eigenschaft (analog zu Albertis Rang-Eins-Theorem für $BV$-Funktionen) erfüllt. Dies wird dadurch hergeleitet, dass die Radon-Nikodým-Ableitung von $D^c(\psi_R \circ u)$ gegen die von $D^c u$ konvergiert und die bekannte Rang-Eins-Eigenschaft für $BV$-Funktionen auf die trunkierten Sequenzen angewendet wird.
   • Die Beziehung zwischen der Sprungmenge $J_u$ und den Sprungmengen der trunkierten Funktionen wird geklärt, wobei gezeigt wird, dass $J_{\psi_R \circ u} \subset J_u$ bis auf eine vernachlässigbare Menge gilt.

2. Halbkontinuität:

   • Die Arbeit beweist ein Resultat zur unteren Halbkontinuität für Integralfunktionale der Form $E_{f,g}$, die auf $GBV^\star(A; \mathbb{R}^k)$ definiert sind.
   • Unter spezifischen Wachstumsbedingungen auf die Bulk-Dichte $f$ (lineares Wachstum) und die Oberflächendichte $g$ (lineares Wachstum nahe Null, beschränkt durch $|\zeta| \wedge 1$) wird gezeigt, dass das Funktional bezüglich der Konvergenz in der $L^0$-Topologie (Konvergenz im Maß) unterhalb halbkontinuierlich ist.
   • Der Beweis stützt sich auf ein Slicing-Argument, das aus [9] adaptiert wurde, welches das vektorielle Problem auf ein eindimensionales Problem reduziert, in dem die schwache* Halbkontinuität in $BV$ herangezogen werden kann.

3. Kompaktheit und Modifikation von Minimierungssequenzen:

   • Theorem 4.7: Die Arbeit stellt fest, dass wenn eine Sequenz $(u_n) \subset GBV^\star(A; \mathbb{R}^k)$ eine gleichmäßig beschränkte Energie besitzt und eine milde Kohärenzbedingung erfüllt (Beschränktheit von $\int_A h(|u_n|) dx$ für ein superlineares $h$), dann existiert eine Teilfolge, die $L^d$-fast überall gegen ein Limit $u \in GBV^\star(A; \mathbb{R}^k)$ konvergiert.
   • Theorem 4.8: Entscheidend ist, dass die Arbeit zeigt, dass man für Minimierungssequenzen, die Dirichlet-Randbedingungen erfüllen, eine modifizierte Sequenz $(y_n)$ konstruieren kann, sodass:
     • $y_n$ dieselben Randbedingungen erfüllt.
     • $F(y_n) \leq F(u_n) + \varepsilon_n$.
     • Die modifizierte Sequenz die für Theorem 4.7 erforderliche Kohärenzbedingung erfüllt.
   • Dieses Resultat impliziert, dass Minimierungssequenzen "repariert" werden können, um eine Konvergenz fast überall zu gewährleisten, ohne zusätzliche niederwertige Terme zum Funktional hinzufügen zu müssen, was einen signifikanten Vorteil für Existenzbeweise in der Bruchmechanik darstellt.

Bedeutung und Ansprüche
Die Arbeit behauptet, dass die Einführung von $GBV^\star(A; \mathbb{R}^k)$ und die damit verbundenen Kompaktheitsresultate den notwendigen analytischen Rahmen bilden, um Minimierungsprobleme für kohäsive Bruchmodelle im vektoriellen Kontext zu untersuchen.

Der Autor gibt explizit an, dass diese Ergebnisse dazu bestimmt sind, in einer nachfolgenden Arbeit [15] verwendet zu werden, um die Homogenisierung von Funktionalen kohäsiver Art im vektoriellen Setting zu adressieren. Die Arbeit beansprucht nicht, spezifische physikalische Probleme direkt zu lösen, sondern liefert vielmehr die rigorosen funktionalanalytischen Werkzeuge (Existenz von Minimierern via des direkten Verfahrens), die zur Untersuchung solcher Probleme erforderlich sind. Die Arbeit erweitert die skalare Theorie von Dal Maso und Toader [18] auf den vektoriellen Fall und stellt sicher, dass die für Variationsmethoden essenziellen Kompaktheits-Eigenschaften auch beim Umgang mit mehrdimensionalen Verschiebungsfeldern erhalten bleiben.