Green representations and global Hölder continuity for solutions of elliptic equations

1. Il Problema

Il lavoro si concentra sullo studio delle equazioni ellittiche in forma divergenza del tipo:
$$Lu \equiv -\sum_{i,j=1}^N \frac{\partial}{\partial x_j} \left( b_{ij} \frac{\partial u}{\partial x_i} \right) = f \quad \text{in } \Omega \subset \mathbb{R}^N$$
dove $\Omega$ è un dominio aperto limitato. Le caratteristiche critiche del problema affrontato sono:

• Coefficienti degeneri e singolari: La matrice dei coefficienti $B = \{b_{ij}\}$ non è necessariamente uniformemente ellittica né strettamente ellittica. I coefficienti sono funzioni misurabili che soddisfano condizioni di disuguaglianza bilineare pesate da funzioni $b$ e $\underline{b}$ (dove $b$ può essere singolare e $\underline{b}$ può degenerare).
• Condizioni al bordo miste: La soluzione $u$ può annullarsi su una parte $A$ del bordo $\partial\Omega$ ed essere libera (condizioni di Neumann o naturali) sul resto del bordo.
• Regolarità dei dati: Il termine di sorgente $f$ è assunto appartenere a $L^1(\Omega)$, una classe di funzioni con regolarità molto bassa.
• Obiettivo: Ottenere rappresentazioni globali della soluzione e del suo gradiente tramite funzioni di Green e stabilire la continuità Hölder globale delle soluzioni, anche in assenza di condizioni di uniformità sull'ellitticità.

2. Metodologia

L'autore adotta un approccio analitico sofisticato che combina diverse tecniche avanzate:

• Spazi di Funzioni Pesati: Vengono introdotti spazi di Sobolev generalizzati $W_{B,A}(\Omega)$ e $W_{b,A}(\Omega)$, definiti come completamenti di funzioni lisce rispetto a norme pesate che coinvolgono i coefficienti $b_{ij}$ e $b$. Si dimostra che questi spazi sono contenuti negli spazi delle funzioni con derivate parziali generalizzate.
• Funzioni Ausiliarie (Metodo di Serrin Modificato): Per ottenere la limitatezza globale delle soluzioni (un prerequisito per la continuità), l'autore modifica le funzioni ausiliarie utilizzate da Serrin nel contesto della regolarità locale. Vengono definite funzioni non lineari $F_{s,l}$ e $G_{s,l}$ (e varianti per esponenti $s \in (1/2, 1]$) per gestire la crescita delle soluzioni e applicare tecniche di iterazione di Moser in un contesto globale.
• Costruzione della Funzione di Green:
  • Si costruisce una famiglia di soluzioni $v_{z,\rho}$ associate a dati approssimati (funzioni "bump" $\psi_\rho$ concentrate in $z$).
  • Utilizzando la limitatezza globale e teoremi di compattezza (Rellich-Kondrachov), si estrae una sottosuccessione convergente che definisce la funzione di Green $G(x, y)$.
  • Si dimostra che $G$ rappresenta la soluzione $u$ come integrale di convoluzione con $f$.
• Rappresentazione del Gradiente: Analogamente, si costruisce una funzione $H_l(x, y)$ che rappresenta il gradiente parziale $\frac{\partial u}{\partial x_l}$ tramite un integrale di Green.
• Potenziali di Riesz: La chiave per la continuità Hölder è l'uso delle proprietà degli operatori di potenziale di Riesz ($I_{\Omega, \varrho}$). Si dimostra che il gradiente della soluzione è dominato da un potenziale di Riesz applicato a $f$ (o a termini legati a $f$), permettendo di trasferire le proprietà di regolarità dei potenziali alla soluzione.
• Condizioni di Admissibilità: Viene introdotta la nozione di "insieme ammissibile" $A \subset \partial\Omega$ per garantire disuguaglianze di tipo Poincaré-Sobolev valide globalmente, essenziali per il controllo delle norme.

3. Contributi Chiave e Risultati Principali

Il paper stabilisce tre teoremi fondamentali:

Teorema 1 (Rappresentazione di Green per la Soluzione):
Esiste una funzione di Green $G(x, y)$ definita su $\Omega \times \Omega$ tale che, per ogni $f \in L^1(\Omega)$, la soluzione debole $u$ ammette la rappresentazione:
$$u(y) = \int_{\Omega} G(x, y) f(x) \, dx \quad \text{quasi ovunque.}$$
La funzione $G$ soddisfa stime puntuali del tipo $|G(x, y)| \leq C |x-y|^{-N+2-\zeta}$, dove $\zeta$ è un piccolo parametro positivo. Questo risultato vale per $N \in \{2, \dots, 8\}$ (con condizioni aggiuntive) o per $N \geq 3$ con coefficienti costanti e bordo liscio.

Teorema 2 (Rappresentazione di Green per il Gradiente):
Esistono funzioni $H_l(x, y)$ tali che:
$$\frac{\partial u}{\partial x_l}(y) = -\int_{\Omega} H_l(x, y) f(x) \, dx \quad \text{quasi ovunque.}$$
Queste funzioni soddisfano stime $|H_l(x, y)| \leq C |x-y|^{-N+1-\zeta}$. Questo risultato richiede condizioni di regolarità più forti sui coefficienti (es. continuità Dini) o vincoli sulla dimensione $N$.

Teorema 3 (Continuità Hölder Globale):
Sotto le condizioni dei teoremi precedenti e assumendo che il bordo $\partial\Omega$ sia "minimamente liscio":

1. Se $f \in L^{\frac{N}{2-s}}(\Omega)$ per qualche $s \in (0, 1)$, allora $u$ è Hölder continua su $\overline{\Omega}$, ovvero $|u(x) - u(y)| \leq C |x-y|^\tau$.
2. Viene trattato anche il caso in cui $f$ dipende dal gradiente e dalla soluzione stessa (equazioni semi-lineari), dimostrando la continuità Hölder sotto condizioni di integrabilità appropriate sui coefficienti $a_0, a_1, a_2$.

4. Significato e Impatto

• Generalizzazione delle Condizioni di Ellitticità: Il lavoro supera la classica ipotesi di ellitticità uniforme (condizione di coercività con costante positiva). Permette di trattare equazioni con coefficienti che possono degenerare o diventare singolari, purché soddisfino condizioni di integrabilità specifiche (es. $b^{-1} \in L^{t/(2-t)}$).
• Estensione ai Casi Degeneri: A differenza di risultati precedenti che richiedevano che i coefficienti appartenessero alla classe $A_2$ (Muckenhoupt) o fossero costanti, questo lavoro dimostra la validità delle rappresentazioni di Green e della regolarità per coefficienti che non appartengono alla classe $A_2$ (come mostrato nell'Remark 6 e 7).
• Regolarità Globale con Dati $L^1$: Ottenere la continuità Hölder globale partendo da un termine di sorgente $f \in L^1(\Omega)$ è un risultato non banale, specialmente in presenza di condizioni al bordo miste e coefficienti degeneri.
• Applicabilità: I risultati sono rilevanti per la modellazione di fenomeni fisici in materiali eterogenei, anisotropi o con difetti, dove l'ellitticità uniforme non è garantita.

In sintesi, il paper fornisce un quadro teorico robusto per l'analisi qualitativa delle soluzioni di equazioni ellittiche degeneri, colmando il divario tra la teoria classica delle equazioni uniformemente ellittiche e i casi più complessi e reali di degenerazione, garantendo al contempo la regolarità Hölder globale delle soluzioni.