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

1. Il Problema

Il paper affronta la generalizzazione della formula della catena per la divergenza distribuzionale di una funzione composta $v(x) = B(x, u(x))$, definita su un aperto $\Omega \subseteq \mathbb{R}^N$.
Nel caso classico, se $B(x, t) \in C^1$ e $u \in C^1$, vale la formula puntuale:
$$\text{div}(B(x, u)) = (\text{div}_x B)(x, u) + \partial_t B(x, u) \cdot \nabla u$$
L'obiettivo è estendere questa identità al caso in cui:

• $u$ è una funzione a variazione limitata (BV), quindi può presentare discontinuità (insieme di salto $J_u$) e gradienti singolari.
• $B(\cdot, t)$ è una famiglia di campi vettoriali limitati con divergenza misura (spazio $DM^\infty(\Omega)$), ovvero la loro divergenza distribuzionale è una misura di Radon finita.

La sfida principale risiede nell'identificare un sostituto naturale per il termine scalare $\partial_t B(x, u) \cdot \nabla u$ (spesso chiamato "accoppiamento" o pairing) che sia ben definito come misura di Radon, specialmente sulla parte singolare della derivata di $u$ (in particolare sull'insieme di salto $J_u$), dove il valore puntuale di $u$ non è univocamente determinato.

2. Metodologia

Gli autori introducono una famiglia flessibile di accoppiamenti non lineari che dipendono dalla scelta del rappresentante puntuale di $u$ sull'insieme di salto.

• Definizione dei Rappresentanti: Per una funzione $u \in BV$, si definiscono i limiti approssimati inferiori e superiori $u^-$ e $u^+$. Un rappresentante $\lambda$-selezionato è definito come $u_\lambda(x) = (1-\lambda(x))u^-(x) + \lambda(x)u^+(x)$, dove $\lambda: \Omega \to [0, 1]$ è una funzione di Borel.
• Due Famiglie di Accoppiamenti:
  1. Accoppiamento Esterno Non Lineare ($[b(\cdot, u), Du]_\lambda$): Definito come una combinazione convessa dei valori di $F(x, u^-)$ e $F(x, u^+)$, dove $F$ è la derivata di Radon-Nikodym della divergenza di $B$ rispetto a una misura di riferimento $\sigma$.
  2. Accoppiamento Non Lineare Interno ($(b(\cdot, u), Du)_\lambda$): Definito valutando la funzione $F$ direttamente sul rappresentante $u_\lambda$, ovvero $-F(x, u_\lambda)\sigma + \text{div}(B(x, u))$.
• Strumenti Analitici:
  • Utilizzo delle tracce normali deboli dei campi vettoriali su insiemi rettificabili.
  • Applicazione della formula di Coarea generalizzata per i campi $DM^\infty$.
  • Tecniche di approssimazione tramite campi lisci ($C^\infty$) e convergenza debole*.
  • Analisi della semicontinuità inferiore rispetto a successioni che convergono in $L^1$ con controllo dei valori puntuali (proprietà PR).

3. Contributi Chiave e Risultati Principali

A. Definizione e Proprietà degli Accoppiamenti

Gli autori dimostrano che entrambe le famiglie di accoppiamenti sono ben definite come misure di Radon finite e assolutamente continue rispetto alla variazione totale $|Du|$.

• Teorema 4.7: Stima di bound per la norma totale degli accoppiamenti in funzione di $\|b\|_\infty$ e $|Du|$.
• Rappresentazione: Viene fornita una rappresentazione esplicita delle densità degli accoppiamenti rispetto a $|Du|$:
  • Sulla parte di salto ($J_u$): Le densità dipendono dalle tracce normali deboli del campo $b$ e dalla scelta di $\lambda$.
  • Sulla parte diffusa ($D^d u$): La densità è indipendente da $\lambda$ e può essere espressa tramite le tracce normali deboli sui bordi ridotti dei livelli $\{u > t\}$ (Teorema 6.3).

B. Formula di Gauss-Green Generalizzata

Il paper stabilisce formule di Gauss-Green molto generali per insiemi di perimetro finito, che estendono i risultati precedenti (inclusi quelli per campi lineari).

• Teorema 7.1: Vengono presentate quattro varianti della formula di Gauss-Green (due per gli accoppiamenti esterni, due per quelli interni) che collegano l'integrale della divergenza composta sull'insieme e sul suo bordo con le tracce normali interne ed esterne. Queste formule sono valide per domini di perimetro finito e campi irregolari.

C. Semicontinuità Inferiore

Uno dei contributi più significativi è la caratterizzazione delle selezioni $\lambda$ che garantiscono la semicontinuità inferiore dei funzionali associati agli accoppiamenti.

• Problema: L'accoppiamento standard (corrispondente a $\lambda = 1/2$) non è generalmente semicontinuo inferiormente rispetto alla convergenza stretta in $BV$.
• Soluzione: Viene introdotto l'accoppiamento $(b(\cdot, u), Du)_L$ (dove $L$ sta per Lower semicontinuous), ottenuto scegliendo $\lambda$ in modo da minimizzare il termine di divergenza sulla parte di salto.
• Teorema 8.8: Si dimostra che l'accoppiamento $(b(\cdot, u), Du)_L$ è semicontinuo inferiormente lungo successioni $(u_n)$ che convergono in $L^1$ e soddisfano la proprietà di rappresentante puntuale (PR-property) e un'equi-limitazione in $L^1(\sigma)$.
• Teorema 8.10: Si caratterizza che solo le selezioni $\lambda$ che realizzano questo minimo (insieme $LM[u]$) garantiscono la semicontinuità.

D. Relaxation di Funzionali Integrali

Il lavoro collega gli accoppiamenti alla teoria della rilassamento dei funzionali integrali.

• Teorema 9.1: Viene dimostrato che il funzionale definito inizialmente su $W^{1,1}$ come $\int \phi b(x, u) \cdot \nabla u \, dx$, quando rilassato rispetto alla convergenza debole* in $BV$ (o convergenza $L^1$ con condizioni aggiuntive), coincide esattamente con l'integrale dell'accoppiamento semicontinuo inferiore $(b(\cdot, u), Du)_L$.
• Questo risultato generalizza precedenti lavori (es. [28]) che richiedevano ipotesi più forti sulla regolarità della divergenza del campo.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento sostanziale nell'analisi variazionale e nella teoria delle equazioni alle derivate parziali (PDE) con dati irregolari:

1. Unificazione: Fornisce un quadro unificato che include come casi particolari le formule a catena per campi Lipschitz, le formule di Leibniz, e i risultati noti per campi vettoriali $DM^\infty$ lineari.
2. Flessibilità: La dipendenza dal parametro $\lambda$ permette di adattare la definizione di accoppiamento al problema specifico, in particolare distinguendo tra la necessità di validità della formula di Gauss-Green e la necessità di semicontinuità variazionale.
3. Applicazioni alle PDE: I risultati sono fondamentali per lo studio di:
   • Equazioni di trasporto e leggi di conservazione con flussi discontinui.
   • Problemi variazionali in spazi BV (es. problemi di curvatura media prescritta, capillarità).
   • Condizioni di ottimalità in plasticità e meccanica dei continui.
   • Formulazioni deboli di equazioni coinvolgenti l'operatore 1-Laplaciano.
4. Risoluzione di un problema aperto: Risponde alla domanda su quale rappresentante puntuale scegliere per garantire la semicontinuità inferiore, mostrando che la scelta "media" ($\lambda=1/2$) non è sempre la corretta, ma deve essere adattata alla struttura del campo vettoriale $B$.

In sintesi, il paper estende la teoria degli accoppiamenti tra campi vettoriali a divergenza misura e funzioni BV, fornendo gli strumenti analitici necessari per trattare problemi variazionali e PDE in contesti di bassa regolarità, con particolare attenzione alla stabilità delle soluzioni rispetto alla convergenza debole.