Existence of solutions for elliptic problems involving the $(1,q)$-Laplacian operator and a discontinuous superlinear nonlinearity

Sintesi Tecnica: Esistenza di Soluzioni per Problemi Ellittici che Coinvolgono il $(1, q)$-Laplaciano e una Nonlinearità Superlineare Discontinua

Enunciato del Problema
Il saggio investiga una classe di problemi ellittici quasilineari definiti su un dominio limitato $\Omega \subset \mathbb{R}^N$ ($N \geq 2$) con bordo Lipschitziano. L'equazione centrale è:
$$\begin{cases} -\Delta_1 u - \Delta_q u = H(u - \beta) |u|^{s-2} u & \text{in } \Omega, \\ u = 0 & \text{su } \partial\Omega, \end{cases} \quad (P)$$
dove:

• $\Delta_1 u = \text{div}\left(\frac{\nabla u}{|\nabla u|}\right)$ è l'operatore 1-Laplaciano.
• $\Delta_q u = \text{div}(|\nabla u|^{q-2}\nabla u)$ è l'operatore $q$-Laplaciano, con $1 < q < s < q^*$ (dove $q^*$ è l'esponente critico di Sobolev).
• $H$ è la funzione di Heaviside, che introduce una discontinuità in $u = \beta$ ($\beta > 0$).
• La nonlinearità è superlineare ($s > q$).

La principale difficoltà matematica deriva dall'1-Laplaciano, che naturalmente conduce allo spazio delle Funzioni di Variazione Limitata ($BV(\Omega)$), uno spazio privo di riflessività. Ciò crea significative sfide tecniche riguardanti la compattezza e la definizione di soluzioni deboli. Inoltre, la presenza della funzione di Heaviside discontinua impedisce l'uso di metodi variazionali standard differenziabili.

Metodologia
Gli autori impiegano una strategia di approssimazione a più fasi combinata con la teoria dei punti critici non regolari e la teoria dei campi di divergenza-misura:

1. Approssimazione tramite $(p, q)$-Laplaciano: Il problema viene affrontato considerando una famiglia di problemi ausiliari $(P_p)$ che coinvolgono l'operatore $(p, q)$-Laplaciano ($-\Delta_p u - \Delta_q u$) dove $1 < p < q$. Il limite $p \to 1^+$ recupera la struttura originale del $(1, q)$-Laplaciano.
2. Framework Variazionale Non Regolare: Poiché il funzionale di energia associato alla nonlinearità discontinua non è Fréchet differenziabile, gli autori utilizzano la teoria dei punti critici per funzionali localmente Lipschitziani (gradiente generalizzato di Clarke). Definiscono un funzionale $J_{p,\beta}$ e applicano una versione non regolare del Teorema del Passo Montuoso per stabilire l'esistenza di punti critici $u_{p,\beta}$.
3. Stime Uniformi e Compattezza:
   • Accatastamento (Boundedness): Gli autori dimostrano che la sequenza di soluzioni $(u_{p,\beta})$ è uniformemente limitata in $W^{1,q}_0(\Omega)$ e $L^\infty(\Omega)$ (tramite iterazione di Moser).
   • Convergenza: Per $p \to 1^+$, la sequenza converge a una funzione limite $u_\beta$. Il termine che coinvolge l'1-Laplaciano è gestito identificando il limite debole del campo vettoriale $|\nabla u_{p,\beta}|^{p-2}\nabla u_{p,\beta}$ come un campo vettoriale $z_\beta \in L^\infty(\Omega, \mathbb{R}^N)$ con $\|z_\beta\|_\infty \leq 1$.
4. Analisi del Limite ($\beta \to 0^+$): Il saggio analizza ulteriormente il comportamento asintotico delle soluzioni $u_\beta$ al tendere del parametro $\beta$ a zero. Ciò comporta la dimostrazione della convergenza della famiglia $(u_\beta)$ verso una soluzione $u_0$ del problema limite continuo $(P_0)$, dove la discontinuità di Heaviside viene rimossa.

Contributi Chiave e Risultati

• Definizione di Soluzione Debole: Il saggio stabilisce una definizione rigorosa di soluzione per il Problema (P) nel contesto delle funzioni $BV$ e dei campi di divergenza-misura. Una funzione $u$ è una soluzione se esistono un campo vettoriale $z$ e una funzione $\rho$ tali che:
  • $-\text{div}(z) - \Delta_q u = \rho$ in senso distribuzionale.
  • $z \cdot \nabla u = |\nabla u|$ quasi ovunque (una condizione cruciale che lega il campo vettoriale al gradiente).
  • $\rho$ soddisfa un'inclusione multivalore corrispondente alla funzione di Heaviside nel punto di discontinuità $u=\beta$.
• Teorema 1 (Esistenza): Per ogni $\beta > 0$, il Problema (P) ammette almeno una soluzione non negativa e non banale $u_\beta \in W^{1,q}_0(\Omega)$. Notevolmente, nonostante la presenza dell'1-Laplaciano, la soluzione appartiene allo spazio Sobolev $W^{1,q}_0(\Omega)$ grazie all'effetto regolarizzante del termine $q$-Laplaciano.
• Teorema 2 (Comportamento Asintotico): Quando $\beta \to 0^+$, la famiglia di soluzioni $(u_\beta)$ converge (fino a una sottosequenza) a una soluzione non banale e non negativa $u_0 \in W^{1,q}_0(\Omega)$ del problema limite $(P_0)$ (dove il termine noto è $|u|^{s-2}u$). La convergenza avviene in $L^r(\Omega)$ per $1 \leq r < q^*$ e quasi ovunque.
• Non Trivialità: Gli autori dimostrano che le soluzioni sono non banali mostrando che la misura dell'insieme dove $u_\beta(x) > \beta$ è limitata lontano da zero per piccoli valori di $\beta$, garantendo che la soluzione non svanisca o non si concentri interamente al di sotto della soglia.

Significatività
Il saggio contribuisce allo sviluppo della teoria degli operatori $(1, q)$-Laplaciani, un ambito che rimane ampiamente inesplorato rispetto ai problemi standard del $p$-Laplaciano. Combinando tecniche di approssimazione con l'analisi non regolare e la teoria dei campi di divergenza-misura, gli autori affrontano con successo le doppie sfide della natura non riflessiva dell'1-Laplaciano e della discontinuità della nonlinearità. Il lavoro estende i risultati precedenti sui problemi dell'1-Laplaciano (ad esempio, quelli di Pimenta et al. e Figueiredo et al.) al caso misto $(1, q)$, dimostrando che l'effetto regolarizzante del $q$-Laplaciano permette di ottenere soluzioni in spazi Sobolev pur mantenendo la struttura necessaria per gestire il termine singolare dell'1-Laplaciano.