Global Multiplicity and Comparison Principles for Singular Problems driven by Mixed Local-Nonlocal Operators

1. Formulazione del Problema

Gli autori studiano un problema ellittico singolare governato da un operatore misto locale-nonlocale. L'equazione principale è definita in un dominio limitato e liscio $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) come segue:

$$\begin{cases} -\Delta_p u + (-\Delta_q)^s u = \frac{\lambda}{u^\delta} + u^r & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases} \quad (P_\lambda)$$

dove:

• $-\Delta_p u = -\text{div}(|\nabla u|^{p-2}\nabla u)$ è il $p$-Laplaciano (operatore locale).
• $(-\Delta_q)^s u$ è il $q$-Laplaciano frazionario (operatore nonlocale), con $s \in (0, 1)$.
• Il termine di sorgente presenta una singolarità $\frac{\lambda}{u^\delta}$ con $0 < \delta < 1$ e una nonlinearità superlineare $u^r$ con crescita critica o subcritica ($r \le r^*$).
• Il parametro $\lambda > 0$ controlla l'intensità della singolarità.
• Si assume $p > sq$ per garantire la coerenza dell'operatore misto.

Lo spazio naturale delle soluzioni è $X_0(\Omega) = W^{1,p}_0(\Omega) \cap W^{s,q}_0(\Omega)$, dotato della norma somma.

2. Metodologia e Strumenti Analitici

Il lavoro si distingue per lo sviluppo di nuovi strumenti analitici necessari per gestire la combinazione di singolarità, operatori misti e crescita critica. I pilastri metodologici sono:

A. Principio di Confronto Forte di Tipo Hopf (Hopf-type Strong Comparison Principle - SCP)

Un risultato centrale è l'estensione del principio di confronto forte e del lemma di Hopf al contesto misto con singolarità.

• Risultato: Se $u_1, u_2$ sono soluzioni positive che soddisfano equazioni con termini sorgente $f_1 \le f_2$ (con $f_1 \not\equiv f_2$), allora $u_1 < u_2$ in $\Omega$ e le derivate normali soddisfano $\frac{\partial u_2}{\partial \nu} < \frac{\partial u_1}{\partial \nu}$ sul bordo $\partial \Omega$.
• Sfida tecnica: La presenza della singolarità e la natura nonlineare dell'operatore rendono i metodi standard inefficaci. Gli autori linearizzano il problema attorno alle soluzioni, ottenendo un operatore in forma di divergenza con coefficienti Hölderiani (ma non espliciti). Utilizzano un teorema di biforcazione su un problema semipositone infinito e stime precise sul termine nonlocale per chiudere l'argomento.
• Significato: Questo principio è cruciale per stabilire l'ordinamento delle soluzioni e per dimostrare la geometria "mountain-pass" necessaria per trovare una seconda soluzione.

B. Equivalenza tra Minimi Locali in Topologia di Sobolev e di Hölder

Gli autori generalizzano un classico risultato di Brezis-Nirenberg al caso misto e singolare.

• Risultato: Se una funzione $u_0$ è un minimo locale dell'energia funzionale nella topologia $C^1_0(\Omega)$ (o $C^{1,\alpha}$), allora è anche un minimo locale nella topologia dello spazio di Sobolev $X_0(\Omega)$.
• Metodo: La dimostrazione richiede una stima uniforme $L^\infty$ delle soluzioni (ottenuta tramite iterazione di Mosi e De Giorgi-Stampacchia) e una stima uniforme $C^{1,\alpha}$. Questo passaggio è essenziale perché la singolarità impedisce alla funzionale di essere $C^1$, rendendo necessari approcci variazionali delicati.

C. Analisi Variazionale e Teorema del Passo della Montagna

Per la molteplicità, gli autori utilizzano il Teorema del Passo della Montagna (Mountain Pass Theorem).

• Sfida: Nel caso critico ($r = r^*$), manca l'invarianza di scala e la costante migliore nelle disuguaglianze di Sobolev miste non è raggiunta.
• Soluzione: Vengono utilizzate stime raffinate basate sulle funzioni di Aubin-Talenti (o Talenti) modificate per l'operatore misto. Si dimostra che il livello di energia del "passo della montagna" rimane al di sotto della soglia critica necessaria per garantire la compattezza delle successioni di Palais-Smale.

3. Risultati Principali

A. Esistenza e Non-Esistenza (Teorema 1.2)

Gli autori identificano una soglia critica $\Lambda > 0$ tale che:

1. Per ogni $\lambda \in (0, \Lambda]$, il problema ammette almeno una soluzione.
2. Esiste una soluzione minimale per ogni $\lambda \in (0, \Lambda]$, che è strettamente crescente rispetto a $\lambda$.
3. Per ogni $\lambda > \Lambda$, non esistono soluzioni.
   Questo risultato è ottenuto combinando metodi di iterazione monotona e stime di non-esistenza basate su problemi agli autovalori generalizzati.

B. Molteplicità Globale (Teoremi 1.3 e 1.4)

Il contributo più significativo è la dimostrazione della molteplicità globale (esistenza di almeno due soluzioni distinte) per ogni $\lambda \in (0, \Lambda)$.

• Caso Subcritico ($r < r^*$): Vengono stabilite condizioni su $p, q, s$ (incluso il caso lineare $p=q=2$ e casi nonlineari) che garantiscono due soluzioni.
• Caso Critico ($r = r^*$): Questo è un risultato nuovo anche nel caso omogeneo ($p=q$). Gli autori dimostrano che, sotto condizioni specifiche su $s$ e $p$ (es. $p \in (\frac{3N}{N+3}, 3)$), il livello di energia critico è sufficientemente basso da permettere l'applicazione del teorema del passo della montagna, garantendo una seconda soluzione distinta da quella minimale.

4. Contributi Chiave e Innovazioni

1. Superamento della Limitazione Locale: A differenza di studi precedenti che ottenevano molteplicità solo per $\lambda$ piccoli o con parametri di perturbazione $\epsilon$ (operatori misti dipendenti da $\epsilon$), questo lavoro fornisce un risultato globale per $\lambda \in (0, \Lambda)$, coprendo l'intero intervallo di esistenza.
2. Nuovi Strumenti per Operatori Misti: La dimostrazione del Principio di Confronto Forte di tipo Hopf e dell'equivalenza dei minimi locali per operatori misti con singolarità è un avanzamento teorico indipendente di grande interesse.
3. Gestione della Singolarità e Criticità: La capacità di trattare simultaneamente la singolarità $u^{-\delta}$ e la crescita critica $u^{r^*}$ in un contesto misto locale-nonlocale risolve una sfida analitica aperta, superando le difficoltà legate alla mancanza di compattezza e alla regolarità delle soluzioni.

5. Significato e Impatto

Questo lavoro colma un vuoto significativo nella teoria delle equazioni alle derivate parziali nonlineari. Estende la teoria classica delle equazioni convesso-concave (Brezis-Nirenberg, Ambrosetti-Brezis-Cerami) e dei problemi singolari (Giacomoni-Schindler-Takáč) al contesto moderno degli operatori misti.
Le tecniche sviluppate (in particolare il principio di confronto e le stime di regolarità) sono di interesse indipendente e possono essere applicate a una classe più ampia di problemi misti, offrendo un quadro analitico robusto per lo studio di fenomeni che coinvolgono sia diffusione locale che interazioni a lungo raggio in presenza di singolarità.