On the interplay between $(p,q)$-growth and $x$-dependence of the energy integrand: a limit case

Titolo: Sull'interazione tra crescita $(p, q)$ e dipendenza da $x$ dell'integrando energetico: un caso limite

Autori: M. Eleuteri, P. Marcellini, E. Mascolo & A. Passarelli di Napoli.

---

1. Il Problema

Il paper si occupa della regolarità di Lipschitz locale dei minimizzatori locali di funzionali integrali non autonomi della forma:
$$\mathcal{F}(u) = \int_{\Omega} F(x, Du) \, dx$$
dove $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) è un aperto limitato.

L'attenzione è focalizzata su densità energetiche $F(x, \xi)$ che soddisfano condizioni di crescita non standard $(p, q)$ rispetto alla variabile gradiente $\xi$, ovvero:
$$\lambda (\mu^2 + |\xi|^2)^{\frac{p-2}{2}} |\xi|^2 \le F(x, \xi) \le \Lambda (\mu^2 + |\xi|^2)^{\frac{q-2}{2}} |\xi|^2$$
con $1 < p \le q$.

Il punto critico studiato è l'interazione tra:

1. La crescita non omogenea (il rapporto $q/p$).
2. La regolarità della dipendenza spaziale $x \mapsto F(x, \xi)$. In particolare, si assume che la derivata parziale rispetto a $x$, $F_{\xi x}$, sia controllata da una funzione $h(x)$ appartenente a uno spazio di Orlicz-Zygmund specifico: $h \in L^r \log^\alpha L$, con $r \ge n$ e $\alpha \ge 0$.

Il problema centrale è determinare le condizioni sufficienti affinché i minimizzatori appartengano a $W^{1,\infty}_{loc}(\Omega)$ (cioè abbiano gradiente limitato localmente), evitando il fenomeno di Lavrentiev e garantendo la regolarità anche nel caso limite dove il rapporto $q/p$ raggiunge il massimo valore consentito dalla teoria precedente.

2. Metodologia

Gli autori adottano un approccio unificato che copre sia il caso di disuguaglianza stretta sia il caso limite. La strategia di dimostrazione si articola in tre fasi principali:

1. Stima a priori per minimizzatori lisci:
   Si assume inizialmente che il minimizzatore $u$ sia sufficientemente regolare ($u \in W^{1,\infty}_{loc}$ e $(\mu^2 + |Du|^2)^{\frac{p-2}{4}}Du \in W^{1,2}_{loc}$). Sotto questa assunzione, si deriva una disuguaglianza di Caccioppoli di secondo ordine. Questa disuguaglianza lega l'integrale del quadrato della derivata seconda ($|D^2 u|^2$) pesata, a termini contenenti $h(x)$ e il gradiente. La chiave è l'uso di funzioni di test specifiche proporzionali alle derivate seconde.

2. Iterazione di tipo Moser:
   Utilizzando la disuguaglianza di Caccioppoli e le disuguaglianze di Sobolev, si costruisce un'iterazione su una successione di sfere concentriche $B_{\rho_i} \subset B_R$.

   • Si definisce una successione di esponenti crescenti $p_i$.
   • Si gestisce il termine critico contenente $h(x)$ sfruttando la sua appartenenza allo spazio $L^r \log^\alpha L$.
   • Si distinguono tre casi basati sui parametri $p, q, r, \alpha$:
     • Caso i): Crescita standard ($p=q$) con $r=n$ e $\alpha > 4n$.
     • Caso ii): Crescita non standard ($p<q$) con condizione stretta $q/p < 1 + 1/n - 1/r$ e $r>n, \alpha=0$.
     • Caso iii) (Il Caso Limite): Crescita non standard con uguaglianza nel vincolo: $q/p = 1 + 1/n - 1/r$, con $r>n$ e $\alpha > 0$.

   Nel caso limite (iii), la stima porta a una relazione che coinvolge una funzione esponenziale del tipo $\exp(t^\beta)$, tipica delle regolarità di tipo "log-Lipschitz" o superiori, che viene poi risolta tramite le proprietà di convessità e le disuguaglianze di Young generalizzate (conjugate di Fenchel).

3. Procedura di Approssimazione:
   Poiché i minimizzatori reali potrebbero non essere lisci, si costruisce una successione di funzionali approssimati $F_k$ (tramite regolarizzazione e mollificazione) che soddisfano le stesse condizioni strutturali ma con regolarità migliore. Si dimostra che i minimizzatori $u_k$ dei funzionali approssimati soddisfano le stime a priori uniformi e convergono (in senso debole e *weak-*$*$ in $W^{1,\infty}$) al minimizzatore originale $u$, ereditandone la regolarità.

3. Risultati Chiave e Contributi

Il contributo principale è la dimostrazione della regolarità di Lipschitz locale nel caso limite, estendendo i risultati noti in letteratura (in particolare [12] e [2]).

I teoremi principali stabiliscono che se $u$ è un minimizzatore locale, allora $u \in W^{1,\infty}_{loc}(\Omega)$ sotto le seguenti condizioni:

• Teorema 1.2 (Caso Limite Generale):
  Se vale l'uguaglianza nel vincolo critico:
  $$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
  con $r > n$ e $\alpha > 0$, allora $u$ è localmente Lipschitz.
  La stima sul gradiente è data da:
  $$\|Du\|_{L^\infty(B_\rho)} \le G\left( \frac{C}{(R-\rho)^n} \int_{B_R} (1 + |Du|^p) dx \right)$$
  dove la funzione $G(t)$ ha una crescita esponenziale:
  $$G(t) \sim \exp\left( t^{\frac{2p(r-n)}{\alpha n}} \right) \cdot t^{\frac{r}{n}} + t^{\frac{1}{p}}$$
  Questo risultato mostra che la regolarità extra della funzione $h(x)$ (misurata da $\alpha > 0$) compensa esattamente il "costo" della crescita non omogenea al limite.

• Teorema 1.3 (Caso Limite Standard):
  Se $r \to n$ (e quindi $q \to p$), si recupera il risultato per la crescita standard con coefficienti in $W^{1,n} \log^\alpha L$. Se $\alpha > 4n$, si ottiene la regolarità Lipschitz con una stima polinomiale classica.

• Teorema 1.4 (Caso Stretto):
  Ripristina il risultato noto per $q/p < 1 + 1/n - 1/r$ con $\alpha=0$, confermando la coerenza dell'approccio unificato.

4. Significato e Impatto

• Unificazione Teorica: Il lavoro fornisce un quadro coerente che unifica il caso di crescita standard, il caso di crescita non standard con disuguaglianza stretta e il caso limite critico.
• Ottimalità del Vincolo: Dimostra che la condizione $q/p \le 1 + 1/n - 1/r$ è quasi ottimale. Nel caso limite, la regolarità dei coefficienti rispetto a $x$ (misurata dallo spazio $L^r \log^\alpha L$) deve essere sufficientemente forte ($\alpha > 0$) per garantire la regolarità del gradiente. Senza questo termine logaritmico aggiuntivo ($\alpha=0$ nel caso limite), la regolarità Lipschitz potrebbe non essere garantita.
• Nuova Stima Esponenziale: La forma della stima finale nel caso limite (con l'esponenziale) è un risultato tecnico significativo che caratterizza la "penalità" necessaria quando si opera al confine della regolarità.
• Riferimento alla Letteratura: Il paper migliora e generalizza risultati precedenti di De Filippis, Mingione, Marcellini e altri, chiudendo un gap teorico sulla possibilità di raggiungere il limite superiore del rapporto $q/p$ quando i coefficienti hanno una regolarità leggermente superiore a $W^{1,n}$.

In sintesi, il paper stabilisce che l'interazione tra la crescita non omogenea dell'integrando e la regolarità spaziale dei coefficienti permette di spingere la regolarità dei minimizzatori fino al caso limite, a patto che la dipendenza da $x$ appartenga a uno spazio di Orlicz-Zygmund sufficientemente ricco.