Singular semilinear elliptic equations in nondivergence form

Sintesi Tecnica: Equazioni Ellittiche Semilineari Singolari in Forma Non in Divergenza

Enunciato del Problema
Questo articolo investiga l'esistenza e l'unicità delle soluzioni al problema di Dirichlet semilineare singolare:
$$\begin{cases} -Pu = \frac{f}{u^\gamma} & \text{in } \Omega, \\ u \equiv 0 & \text{su } \partial\Omega, \end{cases}$$
dove $\Omega \subset \mathbb{R}^d$ ($d \geq 2$) è un dominio limitato, $f \in L^1(\Omega)$ è non negativa e non banale, e $\gamma > 0$. L'operatore $P$ è un operatore differenziale ellittico uniforme del secondo ordine in forma non in divergenza:
$$Pu(x) = \sum_{i,j=1}^d a_{ij}(x) \frac{\partial^2 u}{\partial x_i \partial x_j},$$
con una matrice simmetrica $A(x) = [a_{ij}(x)]$ che soddisfa condizioni di ellitticità uniforme. La singolarità deriva dal termine $u^{-\gamma}$, che è indefinito per $u=0$. La condizione al contorno è interpretata nel senso di una traccia che si annulla vicino al bordo: $\lim_{\epsilon \to 0} \frac{1}{\epsilon} \int_{\Omega_\epsilon} |u| = 0$, dove $\Omega_\epsilon = \{x \in \Omega : \delta_\Omega(x) < \epsilon\}$.

Metodologia e Quadro Tecnico
Gli autori impiegano una combinazione di tecniche di approssimazione, disuguaglianze non lineari e stime della funzione di Green. Le dimostrazioni distinguono tra due nozioni di soluzioni basate sulla regolarità dei coefficienti $A$ e della soluzione $u$:

1. Soluzioni Deboli: Definite per $A \in C^1(\Omega)$, dove l'equazione vale nel senso delle distribuzioni utilizzando la formulazione $\langle -Pu, \phi \rangle = \int_\Omega (A\nabla u \cdot \nabla \phi + (\text{div} A \cdot \nabla u)\phi)$.
2. Soluzioni Distribuzionali: Definite per $A \in C^2(\Omega)$, dove l'equazione vale tramite l'operatore aggiunto $P^*$: $\langle -Pu, \phi \rangle = -\int_\Omega u P^* \phi$.

Contributi e Risultati Chiave

1. Esistenza e Regolarità (Teorema 1.1)
Sotto le ipotesi che $\Omega \in C^{1,1}$, $A \in C^1(\Omega)$ e una specifica condizione di piccolezza sul termine di deriva $\text{div} A$ (disuguaglianza 1.5), gli autori dimostrano l'esistenza di una soluzione debole $u \in W^{1,1}_{\text{loc}}(\Omega) \cap L^1(\Omega)$.

• Regolarità: La soluzione esibisce una specifica regolarità di Sobolev dipendente da $\gamma$:
  • $u \in H^1_{\text{loc}}(\Omega)$ per $\gamma \geq 2$.
  • $u \in H^1_{\text{loc}}(\Omega) \cap W^{1,q}_0(\Omega)$ per $\gamma \in (1, 2)$ e $1 \leq q < 2/\gamma$.
  • $u \in H^1_0(\Omega)$ per $\gamma = 1$.
  • $u \in W^{1,q}_0(\Omega)$ per $\gamma \in (0, 1)$ con un esponente $q$ specifico.
  • Crucialmente, $u^{(\gamma+1)/2} \in H^1_0(\Omega)$ per ogni $\gamma > 0$.
• Positività: La soluzione è strettamente positiva in $\Omega$ e soddisfa il comportamento al bordo $u \gtrsim \delta_\Omega$.

2. Unicità (Teorema 1.2)
Assumendo una regolarità superiore ($\Omega \in C^2$ e $A \in C^2(\Omega)$), gli autori stabiliscono l'unicità delle soluzioni distribuzionali in $L^1(\Omega)$. Questo risultato vale per una classe più ampia di soluzioni rispetto a quelle considerate nel teorema di esistenza, poiché non assume a priori che $u \in W^{1,1}_{\text{loc}}(\Omega)$.

Innovazioni Metodologiche
L'articolo evidenzia tre differenze tecniche primarie rispetto ai lavori precedenti sugli operatori in forma in divergenza (ad esempio, Boccardo e Orsina [6]):

• Disuguaglianze Non Lineari di Gagliardo–Nirenberg: La prova di esistenza utilizza stime a priori recentemente derivate della forma $\int_\Omega \|\nabla u\|_A^2 u^{\gamma-1} \leq C \int_\Omega |Pu|u^\gamma$. Queste sono adattate da [30] all'impostazione non in divergenza.
• Stime della Funzione di Green: Stime precise della funzione di Green $G_\Omega$ e del suo aggiunto sono utilizzate per derivare tassi di decadimento precisi per le soluzioni approssimate, essenziali per stabilire le specifiche classi di regolarità di Sobolev.
• Disuguaglianze di Tipo Kato: Viene stabilita una nuova disuguaglianza di tipo Kato per soluzioni forti in forma non in divergenza (Lemma 3.5) per dimostrare la monotonia della successione approssimante. Per l'unicità, viene derivata una disuguaglianza di tipo Kato per soluzioni molto deboli (Lemma 4.10), superando la mancanza di regolarità nello spazio delle soluzioni.

Significato e Ambito
Gli autori collocano questo lavoro come il corrispettivo multidimensionale dell'equazione di Emden–Fowler per operatori in forma non in divergenza.

• Novità: Mentre le equazioni semilineari singolari in forma in divergenza sono ben studiate, questo articolo affronta il caso in cui $P$ è in forma non in divergenza, una classe di operatori centrale nella teoria dei processi stocastici e dei generatori di diffusione.
• Raggiungimento Tecnico: L'articolo dimostra che l'esistenza può essere provata sotto coefficienti $C^1$ per l'operatore, mentre l'unicità richiede coefficienti $C^2$ per gestire la struttura dell'operatore aggiunto ed estendere la classe delle funzioni di prova.
• Limitazioni e Problemi Aperti: Gli autori notano che la regolarità globale di Sobolev per $\gamma \in (1, 2)$ stabilita nel Teorema 1.1(b) non è attualmente nota per gli operatori in forma in divergenza. Identificano problemi aperti riguardanti non linearità generali $\tau(u)$, operatori con coefficienti meno regolari e operatori non locali (ad esempio, laplaciani frazionari).

Le dimostrazioni si basano sulla costruzione di soluzioni tramite il Teorema del Punto Fisso di Schauder applicato a problemi regolarizzati, seguito dal passaggio al limite utilizzando la monotonia della successione e le stime a priori derivate. La prova di unicità comporta l'estensione della classe delle funzioni di prova a $C^{1,P}_0(\Omega)$ e l'utilizzo dell'integrabilità pesata del termine sorgente $f/u^\gamma$ rispetto alla funzione distanza $\delta_\Omega$.