Partial regularity for $\mathbb{A}$-quasiconvex functionals with Orlicz growth

Sintesi Tecnica: Regolarità Parziale per Funzionali A-Quasiconvessi con Crescita di Orlicz

Enunciato del Problema
Il lavoro affronta la regolarità parziale dei minimizzatori per funzionali variazionali della forma
$$\mathcal{F}[u] := \int_{\Omega} F(Au) \, dx,$$
dove $\Omega \subset \mathbb{R}^n$ è un insieme aperto e limitato, $A$ è un operatore differenziale lineare omogeneo del primo ordine a coefficienti costanti, e $F$ è un integrando variazionale. Lo studio si concentra su due specifici regimi di crescita:

1. Crescita di Orlicz $\Delta_2 \cap \nabla_2$: Dove la funzione di crescita $\phi$ soddisfa sia la condizione di raddoppio sia la sua coniugata.
2. Crescita $L \log L$: Un caso limite in cui $\phi(t) = t \log(1+t)$, che soddisfa la condizione $\Delta_2$ ma non la condizione $\nabla_2$.

L'operatore $A$ agisce su applicazioni $u: \Omega \to \mathbb{R}^k$ (o su uno spazio vettoriale euclideo generale $V$ di dimensione finita) e assume valori in uno spazio $W$. Si assume che l'integrando $F$ sia $\phi$-fortemente $A$-quasiconvesso. La domanda centrale è se i minimizzatori locali di tali funzionali siano $C^{1,\alpha}$-regolari su un insieme aperto relativo di misura di Lebesgue piena (regolarità parziale), e sotto quali condizioni sull'operatore $A$ ciò valga.

Metodologia
La strategia metodologica primaria, ispirata da Conti & Gmeineder [20], è un argomento di riduzione. Piuttosto che eseguire una dimostrazione completa di regolarità parziale tramite tecniche di blow-up o approssimazione $A$-armonica direttamente sull'operatore $A$, l'autore riduce il problema a risultati noti di regolarità parziale per funzionali che coinvolgono il gradiente completo $\nabla$.

La riduzione si basa su due componenti critiche:

1. Disuguaglianze di tipo Korn: L'autore utilizza disuguaglianze che permettono il controllo del gradiente completo $\nabla u$ tramite l'operatore $Au$ negli spazi di Orlicz.
   • Per il caso $\Delta_2 \cap \nabla_2$, le disuguaglianze di tipo Korn standard (Teorema 2.4) implicano che se $Au \in L^\phi$, allora $\nabla u \in L^\phi$.
   • Per il caso $L \log L$, l'autore stabilisce una disuguaglianza di tipo Korn generalizzata (Teorema 5.1) basata sul lavoro di Cianchi [19]. Tale disuguaglianza rivela una "perdita di un logaritmo": se $Au \in L^\phi$ con $\phi(t) = t \log(1+t)$, allora $\nabla u$ è controllato in uno spazio leggermente più debole, specificamente $L^1$ con un peso logaritmico, rendendo necessario uno spostamento nel quadro della quasiconvessità.
2. Trasformazione in Funzionali a Gradiente Completo: Definendo un nuovo integrando $G(z) = F(\pi_A(z))$, dove $\pi_A$ è una mappa lineare tale che $Av = \pi_A(\nabla v)$, il problema viene mappato su un funzionale dipendente da $\nabla v$. L'autore verifica che la $\phi$-forte $A$-quasiconvessità di $F$ si traduce nelle appropriate condizioni di forte quasiconvessità per $G$ nei rispettivi regimi di crescita.

Contributi e Risultati Chiave

• Teorema 1.1 (Crescita $\Delta_2 \cap \nabla_2$): Il lavoro stabilisce che per funzionali con crescita $\phi$ dove $\phi \in \Delta_2 \cap \nabla_2$, un minimizzatore locale $u$ è parzialmente regolare $C^{1,\alpha}_{loc}$ se e solo se l'operatore $A$ è ellittico (cioè, il suo simbolo di Fourier $A[\xi]$ è iniettivo per ogni $\xi \neq 0$).

  • La dimostrazione mostra che, sotto l'ipotesi di ellitticità, la disuguaglianza di tipo Korn permette la riduzione al caso del gradiente completo, dove la regolarità parziale è già stabilita per la crescita di Orlicz (citando Diening et al. [28] e Breit & Verde [11]).
  • Al contrario, se $A$ non è ellittico, l'esistenza di funzioni non regolari nel nucleo di $A$ (Lemma 2.2) preclude la regolarità parziale.

• Teorema 1.2 (Crescita $L \log L$): Il lavoro estende la strategia di riduzione al caso limite $\phi(t) = t \log(1+t)$. Dimostra che la regolarità parziale vale se e solo se $A$ è ellittico.

  • A causa della perdita di regolarità nella disuguaglianza di Korn (Teorema 5.1), la riduzione non mappa direttamente ai risultati $C^{1,\alpha}$ per gradienti $L^\phi$. Invece, l'autore adatta il quadro allo spazio delle funzioni a Variazione Limitata (BV).
  • Utilizzando risultati recenti sulla crescita $p=1$ e sulla crescita $L \log L di Gmeineder & Kristensen [44], l'autore mostra che i minimizzatori del funzionale originale corrispondono a minimizzatori BV locali del funzionale ridotto, ereditando così la regolarità parziale.

• Coercività ed Esistenza (Sezione 3): Il lavoro fornisce un trattamento rigoroso della coercività dei funzionali sulle classi di Dirichlet negli spazi di Sobolev-Orlicz $W^{1,\phi}_A(\Omega)$. Stabilisce l'esistenza di minimizzatori sotto l'ipotesi di $\phi$-forte $A$-quasiconvessità, chiarificando l'equivalenza tra la definizione integrale di forte quasiconvessità e la condizione che coinvolge la funzione $V$ ausiliaria (Teorema 3.6).

Significato e Affermazioni
Il lavoro afferma di fornire un approccio unificato alla regolarità parziale per una vasta classe di operatori differenziali e condizioni di crescita.

• Ottimalità della Riduzione: L'autore afferma che la strategia di riduzione, precedentemente applicata ai funzionali a crescita $p$ da Conti & Gmeineder [20], è estesa in modo ottimale al caso $L \log L$. Il lavoro nota che per l'estremo $p=1$ (o crescita sub-logaritmica), la strategia di riduzione fallisce perché $Au \in L^\phi$ non implica $\nabla u \in L^1_{loc}$, e pertanto i risultati per $L \log L$ rappresentano il limite di questa specifica metodologia.
• Generalizzazione: I risultati generalizzano le teorie esistenti di regolarità parziale dal caso del gradiente standard ($A=\nabla$) e dal caso del gradiente simmetrico ($A=\varepsilon$) a operatori ellittici di rango costante arbitrari.
• Ambito: Il lavoro rimanda esplicitamente l'indagine sugli integrandi a crescita esponenziale (l'altra estremità della scala) a lavori futuri, notando che la strategia di riduzione è il focus principale.

In sintesi, il lavoro dimostra che l'ellitticità dell'operatore differenziale $A$ è la condizione necessaria e sufficiente per la regolarità parziale dei minimizzatori nel contesto della crescita di Orlicz, coprendo sia i regimi standard $\Delta_2 \cap \nabla_2$ sia il caso limite critico $L \log L$, riducendo con successo questi problemi a risultati consolidati per funzionali a gradiente completo.