Anisotropic gradient rearrangement of BV functions and applications

Sintesi Tecnica: Riorganizzazione Anisotropa del Gradiente di Funzioni BV e Applicazioni

Enunciazione del Problema
Il lavoro affronta l'estensione delle tecniche di simmetrizzazione e riordinamento dal contesto euclideo a contesti anisotropi per funzioni a variazione limitata (BV). Mentre la simmetrizzazione classica (ad esempio, la simmetrizzazione di Schwarz) confronta le soluzioni di Equazioni Differenziali alle Derivate Parziali (PDE) su domini generali con soluzioni su sfere simmetriche, recenti sviluppi in [10] hanno introdotto una riorganizzazione del gradiente per funzioni BV nel caso euclideo. Questa procedura separa la parte assolutamente continua del gradiente dalla sua parte singolare, riordinando la prima e concentrando la seconda sul bordo del dominio simmetrizzato.

Il problema specifico affrontato qui è la generalizzazione di questo risultato al contesto anisotropo, dove la geometria è governata da una funzione convessa, positivamente 1-omogenea $H$ (la norma anisotropa o norma di Finsler) piuttosto che dalla norma euclidea. In questo contesto, gli oggetti geometrici naturali sono le forme di Wulff (minimizzatori del perimetro anisotropo) piuttosto che le sfere euclidee. La sfida consiste nel definire una riordinamento che preservi la variazione totale anisotropa e stabilisca un confronto in $L^1$ tra una funzione e il suo corrispettivo simmetrizzato, tenendo conto della parte singolare della derivata distribuzionale.

Metodologia
Gli autori adottano una strategia analoga al caso euclideo in [10], adattata al quadro anisotropo:

1. Definizioni e Preliminari: Il lavoro stabilisce la notazione necessaria per le norme anisotrope ($H$), le norme polari ($H^\circ$) e le sfere di Wulff ($W_R$). Definisce la variazione totale anisotropa $|Du|_H$ e richiama la formula di Coarea anisotropa e la disuguaglianza isoperimetrica.
2. Troncamento e Decomposizione della Misura: Per una funzione non negativa $u \in BV_0(\Omega)$, gli autori considerano i troncamenti $v_s = (u - u^*(s))_+$. Analizzano la variazione totale anisotropa di questi troncamenti, $G(s) = |Dv_s|_H(\mathbb{R}^n)$, decomponendola in una parte assolutamente continua ($G_{H,1}$) e una parte singolare ($G_{H,2}$).
3. Costruzione della Riorganizzazione del Gradiente:
   • La parte assolutamente continua della densità di energia anisotropa, $H(\nabla_a u)$, viene riordinata in una funzione crescente $g^\sharp$ sulla sfera di Wulff $\Omega^\star$.
   • Viene costruita una nuova funzione $u^\star$ su $\Omega^\star$ tale che il suo gradiente soddisfi $H(\nabla u^\star) = g^\sharp$ quasi ovunque.
   • Crucialmente, la parte singolare della derivata originale, $D_s u$, non viene scartata. Invece, viene codificata come una traccia costante al bordo $c_0$ su $\partial \Omega^\star$. Questa costante è definita come il rapporto tra la variazione totale anisotropa singolare e il perimetro anisotropo della sfera di Wulff: $c_0 = |D_s u|_H(\mathbb{R}^n) / P_H(\Omega^\star)$.
4. Dimostrazione del Confronto: Il teorema principale è dimostrato stabilendo una disuguaglianza differenziale che lega la funzione di distribuzione di $u$ alla misura indotta dalla riorganizzazione. Integrando questa disuguaglianza e utilizzando la disuguaglianza di Hardy-Littlewood, gli autori derivano il confronto in $L^1$.

Contributi e Risultati Chiave

• Teorema 1.2 (Risultato Principale): Per una funzione non negativa $u \in BV_0(\Omega)$, sia $u^\star$ la riorganizzazione anisotropa del gradiente definita sulla sfera di Wulff $\Omega^\star$ (con $|\Omega^\star| = |\Omega|$). Il lavoro dimostra il confronto in $L^1$:
  $$\|u\|_{L^1(\Omega)} \leq \|u^\star\|_{L^1(\Omega^\star)}$$
  Questo risultato generalizza il confronto euclideo in $L^1$ da [10] al contesto anisotropo.

• Preservazione della Variazione Totale Anisotropa: La costruzione garantisce che la variazione totale anisotropa sia preservata sotto simmetrizzazione:
  $$|Du^\star|_H(\mathbb{R}^n) = |Du|_H(\mathbb{R}^n)$$
  La parte singolare della derivata è esplicitamente recuperata come un termine al bordo nella funzione simmetrizzata.

• Applicazioni alla Rigidità Torsionale: Gli autori applicano il teorema principale per derivare disuguaglianze di tipo Saint-Venant per due funzionali legati alla rigidità torsionale nel contesto anisotropo:

  1. Rigidità Torsionale Penalizzata ($T^H_F$): Per un funzionale che coinvolge l'energia di Dirichlet anisotropa e un termine di penalizzazione basato sulla misura del supporto del gradiente, il lavoro dimostra che il funzionale è minimizzato (o la rigidità massimizzata) quando il dominio è una sfera di Wulff. Ciò è ottenuto mostrando che la riorganizzazione anisotropa del gradiente preserva l'energia e il termine di penalizzazione, aumentando al contempo la norma $L^1$ della funzione.
  2. Funzionale di Isolamento Anisotropo ($T^H_G$): Per un funzionale che coinvolge l'energia di Dirichlet anisotropa e un termine al bordo relativo alla traccia della funzione, il lavoro stabilisce una simile disuguaglianza di Saint-Venant. Un passo tecnico chiave (Lemma 4.4) identifica l'integrale al bordo della traccia con la parte singolare della variazione anisotropa dell'estensione nulla della funzione, permettendo l'applicazione del teorema principale di riorganizzazione.

Significato e Affermazioni
Il lavoro afferma di fornire un corrispettivo anisotropo rigoroso alla tecnica di simmetrizzazione del gradiente introdotta in [10]. Il suo significato principale risiede in:

• Gestione delle Singolarità: Estende con successo i metodi di riordinamento alle funzioni BV tracciando esplicitamente la parte singolare della derivata attraverso un dato al bordo, anziché perderla durante la simmetrizzazione.
• Generalità Geometrica: Sostituisce la sfera euclidea con la forma di Wulff, che è il minimizzatore naturale per le energie superficiali anisotrope, rendendo così i risultati applicabili a modelli che coinvolgono tensione superficiale cristallina ed energie interfacciali.
• Applicazioni Variazionali: Dimostra l'utilità di questa riorganizzazione nella dimostrazione di disuguaglianze di tipo isoperimetrico per problemi variazionali in cui la geometria naturale è anisotropa.

Limitazioni e Modestia
Gli autori sono modesti riguardo alla portata delle loro affermazioni di unicità. Nel contesto della rigidità torsionale penalizzata su una sfera di Wulff (Proposizione 4.1), stabiliscono l'esistenza di un minimizzatore simmetrico ma affermano esplicitamente di non rivendicare l'unicità. Osservano che un risultato di unicità o rigidità richiederebbe un analogo anisotropo dei teoremi di rigidità dimostrati in [33] per il caso euclideo, i quali non sono disponibili nell'attuale contesto anisotropo. Di conseguenza, il lavoro si concentra sui principi di confronto e sull'esistenza di minimizzatori simmetrici piuttosto che su caratterizzazioni complete di rigidità.