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

Sintesi Tecnica: Un Nuovo Spazio di Funzioni Vettoriali Generalizzate a Valore di Bassa Variazione

Problema e Motivazione
Il saggio affronta l'analisi matematica dei funzionali di energia derivanti dalla meccanica della frattura, specificamente quelli che modellano la crescita coesiva delle crepe. Lo studio si concentra su funzionali della forma:
$$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}$$
dove $A \subset \mathbb{R}^d$ è un insieme aperto limitato, $u: A \to \mathbb{R}^k$ è un campo di spostamento, $J_u$ è l'insieme dei salti (superficie di frattura), $[u]$ è l'apertura della crepa e $D^c u$ è la parte Cantor della derivata.

La sfida specifica sorge quando la densità di energia superficiale $g$ soddisfa condizioni di crescita lineare vicino all'origine (ad esempio $g \sim |\zeta| \wedge 1$), il che è fisicamente rilevante per i modelli coesivi ma matematicamente delicato. In tali casi, il funzionale non controlla l'ampiezza completa delle aperture delle crepe, e gli spazi standard come $SBV(A; \mathbb{R}^k)$ o anche lo spazio scalare $GBV(A)$ non forniscono compattezza per le sequenze minimizzanti senza aggiungere termini di ordine inferiore artificiali.

Nel caso scalare ($k=1$), Dal Maso e Toader [18] hanno introdotto lo spazio $GBV^\star(A)$ per superare questo problema, dimostrando che le sequenze minimizzanti possono essere modificate per convergere quasi ovunque senza termini di coercitività aggiuntivi. Il problema principale affrontato in questo saggio è l'estensione di tale framework al caso vettoriale ($k > 1$), ovvero definire e analizzare lo spazio $GB \text{V}^\star(A; \mathbb{R}^k)$, ed estendere i necessari risultati di compattezza e semicontinuità inferiore per applicare il Metodo Diretto del Calcolo delle Variazioni.

Metodologia e Definizioni
L'autore, Davide Donati, definisce lo spazio $GBV^\star(A; \mathbb{R}^k)$ estendendo la definizione scalare componente per componente. Una funzione $u \in L^0(A; \mathbb{R}^k)$ appartiene a $GBV^\star(A; \mathbb{R}^k)$ se e solo se ogni sua componente $u_i$ appartiene allo spazio scalare $GBV^\star(A)$.

Le fasi metodologiche chiave includono:

1. Caratterizzazione tramite Composizione: Il saggio caratterizza $GBV^\star(A; \mathbb{R}^k)$ non meramente attraverso proprietà componente per componente, ma attraverso il comportamento delle composizioni con funzioni regolari a supporto compatto. Nello specifico, $u \in GBV^\star(A; \mathbb{R}^k)$ se e solo se per ogni funzione Lipschitziana $\phi: \mathbb{R}^k \to \mathbb{R}^k$ con supporto compatto, la composizione $\phi \circ u$ appartiene a $BV(A; \mathbb{R}^k)$, e la variazione totale di queste composizioni è uniformemente controllata dalla costante Lipschitziana di $\phi$.
2. Analisi della Troncatura: L'autore utilizza una famiglia di funzioni di troncamento radiali regolari $\psi_R$ (che agiscono come l'identità su sfere di raggio $R$ e scompaiono al di fuori del raggio $\sigma R$) per relazionare la derivata generalizzata $D^c u$ alle derivate delle funzioni troncate $\psi_R \circ u$.
3. Adattamento degli Argomenti Scalari: Le dimostrazioni per il caso vettoriale adattano ampiamente gli argomenti della teoria scalare [18] e dei lavori correlati [17], utilizzando tecniche di affettamento (slicing) e la regola della catena per funzioni $BV$ per gestire la natura vettoriale del problema.

Contributi Chiave e Risultati

1. Definizione e Proprietà Strutturali di $GBV^\star(A; \mathbb{R}^k)$:

   • Lo spazio è stabilito come uno spazio vettoriale.
   • Il saggio dimostra che la parte Cantor della derivata, $D^c u$, soddisfa la proprietà di rango uno (analogamente al Teorema di Rango Uno di Alberti per le funzioni $BV$). Ciò deriva dal mostrare che la derivata di Radon-Nikodym di $D^c(\psi_R \circ u)$ converge a quella di $D^c u$, applicando la nota proprietà di rango uno per le funzioni $BV$ alle sequenze troncate.
   • Viene chiarita la relazione tra l'insieme dei salti $J_u$ e gli insiemi dei salti delle funzioni troncate, mostrando che $J_{\psi_R \circ u} \subset J_u$ salvo un insieme trascurabile.

2. Semicontinuità Inferiore:

   • Il saggio dimostra un risultato di semicontinuità inferiore per funzionali integrali della forma $E_{f,g}$ definiti su $GBV^\star(A; \mathbb{R}^k)$.
   • Sotto specifiche condizioni di crescita sulla densità di volume $f$ (crescita lineare) e sulla densità superficiale $g$ (crescita lineare vicino allo zero, limitata da $|\zeta| \wedge 1$), il funzionale è mostrato essere semicontinuo inferiormente rispetto alla convergenza in misura (topologia $L^0$).
   • La dimostrazione si basa su un argomento di affettamento (slicing) adattato da [9], riducendo il problema vettoriale a un problema monodimensionale dove può essere invocata la semicontinuità inferiore weak* in $BV$.

3. Compattezza e Modifica delle Sequenze Minimizzanti:

   • Teorema 4.7: Il saggio stabilisce che se una sequenza $(u_n) \subset GBV^\star(A; \mathbb{R}^k)$ ha energia uniformemente limitata e soddisfa una debole condizione di coercitività (limitatezza di $\int_A h(|u_n|) dx$ per una certa $h$ superlineare), allora esiste una sottosequenza che converge $L^d$-quasi ovunque a un limite $u \in GBV^\star(A; \mathbb{R}^k)$.
   • Teorema 4.8: Fondamentalmente, il saggio dimostra che per le sequenze minimizzanti che soddisfano condizioni al contorno di Dirichlet, è possibile costruire una sequenza modificata $(y_n)$ tale che:
     • $y_n$ soddisfi le stesse condizioni al contorno.
     • $F(y_n) \leq F(u_n) + \varepsilon_n$.
     • La sequenza modificata soddisfi la condizione di coercitività richiesta dal Teorema 4.7.
   • Questo risultato implica che le sequenze minimizzanti possono essere "riparate" per garantire la convergenza quasi ovunque senza aggiungere termini di ordine inferiore al funzionale, un vantaggio significativo per le dimostrazioni di esistenza nella meccanica della frattura.

Significato e Rivendicazioni
Il saggio sostiene che l'introduzione di $GBV^\star(A; \mathbb{R}^k)$ e dei relativi risultati di compattezza fornisca il necessario quadro analitico per studiare problemi di minimo per modelli di frattura coesiva nel contesto vettoriale.

L'autore dichiara esplicitamente che questi risultati sono destinati a essere utilizzati in un lavoro successivo [15] per affrontare l'omogeneizzazione di funzionali di tipo coesivo nel contesto vettoriale. Il saggio non pretende di risolvere direttamente problemi fisici specifici, ma fornisce gli strumenti di analisi funzionale rigorosi (esistenza di minimizzanti tramite il Metodo Diretto) necessari per studiare tali problemi. Il lavoro estende la teoria scalare di Dal Maso e Toader [18] al caso vettoriale, garantendo che le proprietà di compattezza essenziali per i metodi variazionali siano preservate quando si trattano campi di spostamento multidimensionali.