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

Technische Samenvatting: Een nieuwe ruimte van gegeneraliseerde vectorwaardige functies van begrensde variatie

Probleemstelling en Motivatie
Het artikel behandelt de wiskundige analyse van energiefunctionalen die voortvloeien uit de breukmechanica, specifiek die modellen voor cohesieve scheurgroei. De studie richt zich op functionalen van de vorm:
$$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}$$
waarbij $A \subset \mathbb{R}^d$ een open begrensde verzameling is, $u: A \to \mathbb{R}^k$ een verplaatsingsveld is, $J_u$ de sprongverzameling (scheuroppervlak) is, $[u]$ de scheuropening is, en $D^c u$ het Cantor-deel van de afgeleide is.

De specifieke uitdaging ontstaat wanneer de oppervlakte-energiedichtheid $g$ voldoet aan lineaire groeivoorwaarden nabij de oorsprong (bijv. $g \sim |\zeta| \wedge 1$), wat fysiek relevant is voor cohesieve modellen maar wiskundig delicaat is. In dergelijke gevallen controleert de functionaal niet de volledige amplitude van de scheuropeningen, en standaardruimten zoals $SBV(A; \mathbb{R}^k)$ of zelfs de scalaire ruimte $GBV(A)$ falen om compactheid te bieden voor minimaliserende sequenties zonder het toevoegen van kunstmatige lagere-orde termen.

In het scalaire geval ($k=1$) introduceerden Dal Maso en Toader [18] de ruimte $GBV^\star(A)$ om dit te overwinnen, waarbij zij bewezen dat minimaliserende sequenties bijna overal kunnen worden aangepast om te convergeren zonder extra coerciviteits-termen. Het primaire probleem dat in dit artikel wordt behandeld, is de uitbreiding van dit kader naar het vectoriale geval ($k > 1$), oftewel het definiëren en analyseren van de ruimte $GBV^\star(A; \mathbb{R}^k)$, en het vaststellen van de noodzakelijke compactheids- en lagere halfwaardigheidresultaten om de Directe Methode van de Calculus van Variaties toe te passen.

Methodologie en Definities
De auteur, Davide Donati, definieert de ruimte $GBV^\star(A; \mathbb{R}^k)$ door de scalaire definitie componentgewijs uit te breiden. Een functie $u \in L^0(A; \mathbb{R}^k)$ behoort tot $GBV^\star(A; \mathbb{R}^k)$ indien en slechts indien elke component $u_i$ tot de scalaire ruimte $GBV^\star(A)$ behoort.

Belangrijke methodologische stappen zijn:

1. Karakterisering via Compositie: Het artikel karakteriseert $GBV^\star(A; \mathbb{R}^k)$ niet enkel door componentgewijze eigenschappen, maar door het gedrag van composities met gladde, compact ondersteunde functies. Specifiek: $u \in GBV^\star(A; \mathbb{R}^k)$ indien en slechts indien voor elke Lipschitz-functie $\phi: \mathbb{R}^k \to \mathbb{R}^k$ met compacte ondersteuning de compositie $\phi \circ u$ tot de ruimte $BV(A; \mathbb{R}^k)$ behoort, en de totale variatie van deze composities uniform gecontroleerd wordt door de Lipschitz-constante van $\phi$.
2. Truncatie-analyse: De auteur maakt gebruik van een familie van gladde radiale truncatiefuncties $\psi_R$ (die de identiteit vormen op bollen van straal $R$ en verdwijnen buiten straal $\sigma R$) om de gegeneraliseerde afgeleide $D^c u$ te relateren aan de afgeleiden van de getrunceerde functies $\psi_R \circ u$.
3. Adaptatie van Scalaire Argumenten: De bewijzen voor het vectoriale geval passen grotendeels de argumenten uit de scalaire theorie [18] en gerelateerde werken [17] toe, waarbij snijtechnieken (slicing techniques) en de kettingregel voor $BV$-functies worden gebruikt om de vectorwaardige aard van het probleem te hanteren.

Belangrijkste Bijdragen en Resultaten

1. Definitie en Structurele Eigenschappen van $GBV^\star(A; \mathbb{R}^k)$:

   • De ruimte wordt vastgesteld als een vectorruimte.
   • Het artikel bewijst dat het Cantor-deel van de afgeleide, $D^c u$, voldoet aan de Rank-één eigenschap (analoog aan Alberti's Rank-One Theorem voor $BV$-functies). Dit wordt afgeleid door te tonen dat de Radon-Nikodym-afgeleide van $D^c(\psi_R \circ u)$ convergeert naar die van $D^c u$, en door de bekende rank-één eigenschap voor $BV$-functies toe te passen op de getrunceerde sequenties.
   • De relatie tussen de sprongverzameling $J_u$ en de sprongverzamelingen van de getrunceerde functies wordt verduidelijkt, waarbij wordt aangetoond dat $J_{\psi_R \circ u} \subset J_u$ is, tot op een verwaarloosbare verzameling.

2. Lagere Halfwaardigheid (Lower Semicontinuity):

   • Het artikel bewijst een resultaat voor lagere halfwaardigheid voor integraalfunctionalen van de vorm $E_{f,g}$ gedefinieerd op $GBV^\star(A; \mathbb{R}^k)$.
   • Onder specifieke groeivoorwaarden op de bulk-dichtheid $f$ (lineaire groei) en de oppervlakte-dichtheid $g$ (lineaire groei nabij nul, begrensd door $|\zeta| \wedge 1$), wordt aangetoond dat de functionaal lager halfwaardig is met betrekking tot convergentie in maat (de $L^0$-topologie).
   • Het bewijs steunt op een snijargument (slicing argument) aangepast uit [9], dat het vectoriale probleem reduceert tot een eendimensionaal probleem waar zwakke* lagere halfwaardigheid in $BV$ kan worden ingeroepen.

3. Compactheid en Modificatie van Minimaliserende Sequenties:

   • Stelling 4.7: Het artikel stelt vast dat indien een sequentie $(u_n) \subset GBV^\star(A; \mathbb{R}^k)$ een uniform begrensde energie heeft en voldoet aan een milde coerciviteitsvoorwaarde (begrensdheid van $\int_A h(|u_n|) dx$ voor een bepaalde superlineaire $h$), er een deelreeks bestaat die $L^d$-bijna overal convergeert naar een limiet $u \in GBV^\star(A; \mathbb{R}^k)$.
   • Stelling 4.8: Cruciaal is dat het artikel aantoont dat voor minimaliserende sequenties die voldoen aan Dirichlet-randvoorwaarden, men een gemodificeerde sequentie $(y_n)$ kan construeren waarvoor geldt:
     • $y_n$ voldoet aan dezelfde randvoorwaarden.
     • $F(y_n) \leq F(u_n) + \varepsilon_n$.
     • De gemodificeerde sequentie voldoet aan de coerciviteitsvoorwaarde vereist voor Stelling 4.7.
   • Dit resultaat impliceert dat minimaliserende sequenties kunnen worden "gerepareerd" om bijna overal convergentie te garanderen zonder lagere-orde termen aan de functionaal toe te voegen, een significant voordeel voor existentiebewijzen in de breukmechanica.

Betekenis en Claims
Het artikel claimt dat de introductie van $GBV^\star(A; \mathbb{R}^k)$ en de bijbehorende compactheidsresultaten het noodzakelijke analytische kader bieden om minimale problemen voor cohesieve breukmodellen in de vectoriale setting te bestuderen.

De auteur geeft expliciet aan dat deze resultaten bedoeld zijn om in een volgend werk [15] te worden gebruikt om de homogenisatie van functionalen van cohesief type in de vectoriale setting aan te pakken. Het artikel claimt niet direct specifieke fysieke problemen op te lossen, maar biedt de rigoureuze functioneel-analytische instrumenten (existentie van minimizers via de Directe Methode) die nodig zijn om dergelijke problemen te bestuderen. Het werk breidt de scalaire theorie van Dal Maso en Toader [18] uit naar het vectoriale geval, waardoor de compactheidseigenschappen die essentieel zijn voor variatiemethoden behouden blijven bij het werken met meerdimensionale verplaatsingsvelden.