A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators

Il lavoro dimostra l'esistenza di due soluzioni non banali, una con energia negativa e l'altra con energia positiva, per problemi ellittici critici che coinvolgono la differenza tra operatori locali e non locali, utilizzando un risultato astratto recente.

L'essenziale

Ecco una spiegazione semplice e creativa del lavoro di ricerca, pensata per chiunque, anche senza un background matematico.

Il Titolo: Una battaglia tra forze invisibili

Immagina di avere un terreno speciale (chiamato $\Omega$), come un giardino recintato in mezzo a una città. In questo giardino, c'è una "energia" che cerca di stabilizzarsi. La matematica studia come questa energia si comporta quando ci sono diverse forze che la spingono o la tirano.

Gli autori, Kanishka Perera e Caterina Sportelli, hanno studiato un problema molto specifico: cosa succede quando due tipi di forze opposte si scontrano in questo giardino?

1. Le Forze in Gioco: I "Superpoteri" Matematici

Per capire il problema, dobbiamo immaginare due tipi di "operatori" (che sono come regole matematiche che governano il comportamento delle cose):

• Il "Local" (Il Vicino): Immagina una forza che agisce solo tra punti vicini, come quando spingi un'auto: la tua mano tocca l'auto e la spinge. Nella matematica, questo è l'operatore locale (come il Laplaciano classico).
• Il "Non-Local" (Il Teletrasporto): Ora immagina una forza magica che può influenzare un punto del giardino guardando tutto il giardino, anche i punti lontani. È come se un'onda di energia potesse saltare da un angolo all'altro istantaneamente. Questo è l'operatore non locale (come la frazione di Laplaciano).

Il problema studiato è una differenza tra queste forze. È come se avessimo un'equazione del tipo:

(Forza Magica A) - (Forza Magica B) = Qualcosa che succede nel giardino.

Inoltre, c'è un "ingrediente segreto" chiamato $\mu$ (mu). È un piccolo parametro, come una manopola di volume che possiamo girare. Quando $\mu$ è molto piccolo, la forza "non locale" è debole, ma non nulla.

2. La Sorpresa: Due Soluzioni, Due Mondi

Fino a poco tempo fa, gli matematici pensavano che per certi tipi di problemi, se cambiavi leggermente le condizioni, avresti al massimo una soluzione stabile o nessuna.

Ma qui succede qualcosa di magico. Gli autori dimostrano che, se il parametro $\mu$ è sufficientemente piccolo, esistono sempre due soluzioni diverse (due stati possibili in cui il sistema può fermarsi):

1. La Soluzione "Negativa" (La Valle Profonda): Immagina una pallina che rotola giù in una valle molto profonda. Questa soluzione ha "energia negativa". È uno stato molto stabile, quasi come se il sistema crollasse in un punto di riposo molto basso.
2. La Soluzione "Positiva" (La Collina): Immagina una pallina che riesce a stare in equilibrio su una collina, ma non è la cima più alta. Ha "energia positiva". È una soluzione più "alta", più difficile da raggiungere, ma esiste comunque.

L'analogia della montagna:
Pensa a un alpinista che deve attraversare una catena montuosa.

• Se il terreno è semplice, l'alpinista trova un unico sentiero sicuro.
• In questo caso, invece, il terreno è così complesso che, per piccole variazioni del vento (il parametro $\mu$), l'alpinista può trovare due percorsi distinti per arrivare a destinazione: uno che scende in una grotta (energia negativa) e uno che sale su una cresta (energia positiva).

3. Perché è difficile? (Il "Crisis Point")

Il problema è "critico". Cosa significa?
Immagina di costruire un ponte. Se il ponte è troppo lungo, c'è un punto in cui la matematica dice: "Ehi, qui le cose si rompono, non possiamo più calcolare nulla con certezza". Questo è il punto critico.
In questo studio, gli autori devono dimostrare che, nonostante il ponte sia sul punto di crollare (a causa della natura "critica" delle equazioni), riescono comunque a trovare due punti di appoggio solidi (le due soluzioni).

4. Come l'hanno dimostrato? (La Mappa Segreta)

Gli autori non hanno calcolato tutto a mano (sarebbe stato impossibile). Hanno usato una mappa astratta trovata in un lavoro precedente (di Perera).

Immagina di avere una mappa topografica di un territorio sconosciuto.

• La mappa ha delle "zone rosse" dove non puoi andare (dove la matematica non funziona).
• Hanno trovato una strada che aggira queste zone rosse.
• Usando una tecnica chiamata "Mountain Pass" (Passo di Montagna) e un metodo di "minimizzazione locale", hanno mostrato che la mappa contiene necessariamente due picchi e due valli nascosti.

Hanno anche dovuto fare i conti con un dettaglio fastidioso: quando le forze "locali" e "non locali" sono troppo simili (quando $t=s$), la matematica si inceppa e il problema diventa irrisolvibile (è ancora un mistero). Ma finché le forze sono diverse, la magia funziona.

In Sintesi

Questo articolo ci dice che la natura è più ricca di quanto pensiamo. Anche in situazioni di equilibrio precario, dove due forze opposte (una che guarda vicino, una che guarda lontano) si scontrano, non c'è solo un risultato possibile. C'è una doppia possibilità:

• Una soluzione "bassa" e profonda.
• Una soluzione "alta" e luminosa.

È come se l'universo matematico ci dicesse: "Non preoccuparti, anche se le cose sembrano instabili, ci sono sempre due modi per risolvere il problema, purché tu sappia dove guardare".

Perché è importante?
Questo tipo di matematica aiuta a capire fenomeni reali dove le interazioni non sono solo tra vicini (come il calore che si diffonde in un metallo), ma coinvolgono anche influenze a distanza (come la diffusione di specie animali in un ecosistema o il movimento di particelle in fisica quantistica). Scoprire che esistono due stati possibili aiuta gli scienziati a prevedere comportamenti più complessi nel mondo reale.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del documento arXiv:2210.14230v1, redatto in italiano.

Titolo: Un risultato di molteplicità per problemi ellittici critici che coinvolgono differenze di operatori locali e non locali

Autori: Kanishka Perera e Caterina Sportelli

---

1. Il Problema Studiato

Il lavoro si concentra sull'analisi di problemi ellittici critici definiti su un dominio limitato $\Omega \subset \mathbb{R}^N$ con bordo Lipschitziano. L'oggetto principale di studio è l'equazione differenziale che coinvolge la differenza tra due operatori (uno non locale e uno locale o non locale di ordine inferiore), più termini di reazione lineare e non lineare critica.

Il problema specifico considerato è:
$$\begin{cases} (-\Delta)^s_p u - \mu (-\Delta)^t_q u = \lambda |u|^{p-2}u + |u|^{p^*_s-2}u & \text{in } \Omega \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega \end{cases}$$
dove:

• $(-\Delta)^s_p$ è l'operatore frazionario $p$-Laplaciano con $0 < t < s < 1$.
• $(-\Delta)^t_q$ è un operatore non locale di ordine inferiore con $1 < q < p < N/s$.
• $p^*_s = \frac{Np}{N-sp}$ è l'esponente critico di Sobolev frazionario.
• $\lambda, \mu > 0$ sono parametri reali.
• Il termine critico $|u|^{p^*_s-2}u$ introduce una mancanza di compattezza nello spazio di Sobolev.

Il caso limite $s=1$ (operatore $p$-Laplaciano locale meno un operatore non locale frazionario) è trattato analogamente.

2. Metodologia e Strumenti Matematici

Gli autori adottano un approccio variazionale. Le soluzioni deboli del problema corrispondono ai punti critici del funzionale energetico $C^1$ definito su uno spazio di Sobolev frazionario appropriato $W^{s,p}_0(\Omega)$:
$$E(u) = \frac{1}{p}\|u\|^p - \frac{\mu}{q}[u]_{t,q}^q - \frac{\lambda}{p}|u|_p^p - \frac{1}{p^*_s}|u|_{p^*_s}^{p^*_s}$$

La sfida principale risiede nel fatto che, quando $\lambda$ supera il primo autovalore $\lambda_1$ dello spettro di Dirichlet, il funzionale $E$ non possiede più la geometria del "Mountain Pass" classica. Di conseguenza, i metodi variazionali standard (minimizzazione locale o teorema del Mountain Pass) non sono sufficienti per garantire l'esistenza di soluzioni.

Per superare questo ostacolo, la metodologia si basa su:

1. Teoria degli Indici Critici: Utilizzo dell'indice di coomologia $\mathbb{Z}_2$ per classificare i punti critici.
2. Risultato Astratto di Perera [20]: L'applicazione di un teorema di molteplicità recente che garantisce l'esistenza di due soluzioni distinte anche in assenza di geometria Mountain Pass, purché si verifichino condizioni specifiche sui livelli di energia e sulla topologia dei sottolivelli del funzionale.
3. Analisi della Condizione (PS): Dimostrazione che il funzionale soddisfa la condizione di Palais-Smale (PS) al di sotto di una certa soglia di energia critica, che dipende dal parametro $\mu$.
4. Costruzione di Funzioni di Test: Uso di minimizzatori dell'equazione di Sobolev (funzioni di tipo "bubble") tagliate e proiettate radialmente per costruire insiemi compatti simmetrici necessari per applicare il teorema astratto.

3. Risultati Principali

Il risultato centrale è il Teorema 1.1, che stabilisce la seguente molteplicità di soluzioni:

Ipotesi:

• $0 < t < s < 1$,$1 < q < p < N/s$,$N \ge sp^2$.
• $\lambda$ appartiene all'intervallo $(0, \infty)$ ma non è un autovalore dello spettro di Dirichlet di $(-\Delta)^s_p$ (ovvero $\lambda \in (\lambda_k, \lambda_{k+1})$).

Conclusione:
Esistono $\mu_0, \kappa > 0$ tali che, per ogni $\mu \in (0, \mu_0)$, il problema ammette due soluzioni deboli non banali $u_1$ e $u_2$ con le seguenti proprietà energetiche:
$$E(u_1) < 0 < E(u_2) < \frac{s}{N} S^{N/sp} - \kappa \mu$$
dove $S$ è la migliore costante di Sobolev frazionario.

Punti Chiave del Risultato:

• Segno dell'Energia: Una soluzione ha energia negativa (tipicamente un minimo locale o un punto sella di tipo diverso), mentre l'altra ha energia positiva.
• Ruolo di $\mu$: La molteplicità è garantita solo per valori sufficientemente piccoli del parametro $\mu$. Se $\mu=0$, il problema si riduce a un caso noto con una sola soluzione positiva (Mosconi et al. [18]).
• Natura delle Soluzioni: Quando $\lambda > \lambda_1$, la soluzione positiva $u_2$ non è un minimizzatore locale né una soluzione di tipo Mountain Pass. Sono punti critici di ordine superiore, caratterizzati da gruppi di omologia (o gruppi critici) non banali.

4. Contributi Chiave e Innovazione

1. Studio della Differenza di Operatori: Mentre la letteratura recente si è concentrata sulla somma di operatori non locali, questo lavoro analizza la differenza. Questo introduce una struttura funzionale più complessa e nuove dinamiche, in particolare la possibilità di avere soluzioni con energia negativa.
2. Superamento della Geometria Mountain Pass: Il lavoro dimostra che la molteplicità di soluzioni può essere ottenuta anche quando la geometria classica del Mountain Pass fallisce (caso $\lambda > \lambda_1$), sfruttando strumenti topologici avanzati (indici di coomologia).
3. Stime Precise sulla Condizione (PS): Viene fornita una stima esplicita della soglia di energia al di sotto della quale vale la condizione di compattezza (PS), mostrando come questa soglia sia influenzata linearmente da $\mu$ (termine $-\kappa \mu$).
4. Generalizzazione al Caso Misto: Il risultato copre anche il caso limite $s=1$, dove si ha un'interazione tra un operatore locale ($p$-Laplaciano) e uno non locale, estendendo i risultati noti per problemi puramente locali o puramente non locali.

5. Significato e Implicazioni

Questo lavoro è significativo per la teoria delle equazioni alle derivate parziali non lineari per diversi motivi:

• Nuovi Fenomeni di Molteplicità: Dimostra che l'introduzione di un termine perturbativo non locale (la differenza tra operatori) può generare soluzioni multiple in regimi critici, anche in presenza di parametri che distruggono la geometria standard.
• Strumenti Topologici: Rafforza l'importanza dell'uso dell'indice di coomologia $\mathbb{Z}_2$ e dei gruppi critici superiori nello studio di problemi ellittici critici, offrendo un modello per affrontare problemi in cui i metodi variazionali classici sono insufficienti.
• Applicabilità: I risultati hanno potenziali implicazioni in modelli fisici e biologici che descrivono fenomeni di dispersione mista (locale e non locale), come accennato nel riferimento a Dipierro e Valdinoci [11], dove la competizione tra diversi meccanismi di diffusione può portare a stati stazionari multipli.

In sintesi, il paper fornisce una risposta rigorosa alla domanda sulla molteplicità di soluzioni per problemi critici con operatori misti, identificando condizioni precise sui parametri per garantire l'esistenza di due soluzioni distinte con caratteristiche energetiche opposte.