Optimal stability of complement value problems for p-Lévy operators

Sintesi Tecnica: Stabilità Ottimale dei Problemi di Valore Complementare per Operatori p-Lévy

Enunciato del Problema
Questo lavoro indaga il comportamento asintotico delle soluzioni deboli di equazioni integro-differenziali non locali (IDE) governate da operatori p-Lévy simmetrici al tendere a zero dell'intervallo di interazione non locale. Nello specifico, il documento studia la convergenza delle soluzioni del problema di valore complementare non locale $(P_{\nu_\varepsilon, \tau})$ verso le soluzioni del corrispondente problema al contorno locale di p-Laplace $(P_\tau)$ al tendere del parametro $\varepsilon \to 0$.

Il problema non locale è definito su un insieme aperto $\Omega \subset \mathbb{R}^d$ con il suo complementare $\Omega^c$, governato dall'operatore:
$$\mathcal{L}_\varepsilon u(x) = 2 \text{ p.v.} \int_{\mathbb{R}^d} |u(x) - u(y)|^{p-2}(u(x) - u(y)) \nu_\varepsilon(x-y) \, dy$$
soggetto a condizioni di complemento di Dirichlet non locali ($\tau=0$) o di Neumann ($\tau=1$) su $\Omega^c$. La successione di nuclei $(\nu_\varepsilon)_\varepsilon$ è una famiglia di nuclei p-Lévy radiali che approssimano l'identità, soddisfacendo specifiche condizioni di normalizzazione (ad esempio, $\int_{\mathbb{R}^d} (1 \wedge |h|^p)\nu_\varepsilon(h) dh = 1$). L'obiettivo è stabilire una convergenza ottimale, intesa come convergenza forte negli spazi energetici non locali naturali $W^p_{\nu_\varepsilon}(\Omega)$ e $W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)$, piuttosto che meramente in $L^p(\Omega)$.

Metodologia
L'analisi si basa su una combinazione di metodi variazionali, analisi asintotica delle forme non locali e teoria degli spazi di traccia.

1. Analisi della Forma Energetica: Gli autori analizzano la convergenza delle forme bilineari non locali $E_\varepsilon(\cdot, \cdot)$ (e delle loro varianti $E_\varepsilon^\Omega$, $E_\varepsilon^+$, e della forma attraverso il confine $E_\varepsilon^{cr}$) verso la forma di Dirichlet locale $E_0(u, v) = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v \, dx$. Un passaggio cruciale è stabilire la semi-convergenza asintotica di queste forme, che caratterizza la convergenza delle soluzioni anche quando la successione di funzioni dipende da $\varepsilon$.
2. Linearizzazione Uniforme: Per gestire la non linearità degli operatori p-Lévy (per $1 < p < \infty$), il documento impiega stime di linearizzazione uniforme (Teoremi 2.4, 2.6) che mettono in relazione la differenza delle forme con l'energia della differenza delle funzioni. Ciò permette agli autori di controllare la convergenza dei termini non lineari.
3. Robustezza degli Spazi di Traccia: Una parte significativa del lavoro è dedicata a dimostrare la robustezza degli spazi di traccia non locali $T^p_{\nu_\varepsilon}(\Omega^c)$ al tendere di $\varepsilon \to 0$. Gli autori dimostrano che questi spazi convergono allo spazio di traccia locale $W^{1-1/p, p}(\partial\Omega)$ in senso forte, inclusa la convergenza degli operatori di sollevamento. Ciò è essenziale per gestire le condizioni al contorno di Dirichlet dove i dati sono prescritti su $\Omega^c$.
4. $\Gamma$-Convergenza e Compattezza: La convergenza delle soluzioni è inquadrata attraverso la $\Gamma$-convergenza dei funzionali energetici associati $J_\varepsilon$ verso il funzionale locale $J$. A causa della discrepanza del dominio (le funzioni non locali sono definite su $\mathbb{R}^d$, quelle locali su $\Omega$), gli autori utilizzano risultati di compattezza asintotica (Teorema 2.18) e disuguaglianze di Poincaré uniformi per garantire l'esistenza di sottosuccessioni convergenti e l'identificazione del limite.

Contributi e Risultati Chiave

• Convergenza Ottimale delle Soluzioni: Il risultato principale (Sezione 5) stabilisce che, sotto opportune ipotesi di convergenza debole/forte asintotica sui dati ($f_\varepsilon, g_\varepsilon$), la successione di soluzioni deboli $(u_\varepsilon)_\varepsilon$ converge fortemente alla soluzione locale $u$ nelle norme non locali ottimali:
  $$\lim_{\varepsilon \to 0} \|u_\varepsilon - u\|_{W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)} = 0$$
  Ciò implica il collasso del termine energetico attraverso il confine: $\lim_{\varepsilon \to 0} E_\varepsilon^{cr}(u_\varepsilon, u_\varepsilon) = 0$.
• Robustezza degli Spazi di Traccia Non Locali: Il documento dimostra che gli spazi di traccia non locali $T^p_{\nu_\varepsilon}(\Omega^c)$ convergono allo spazio di traccia locale $W^{1-1/p, p}(\partial\Omega)$. Nello specifico, se una successione di dati al bordo converge nella norma di traccia non locale, il limite delle norme coincide con la norma di traccia locale (Teorema 3.5). Inoltre, esistono operatori di sollevamento destro robusti che convergono fortemente all'operatore di sollevamento locale.
• Semi-Convergenza Asintotica: Gli autori stabiliscono una forma generalizzata di semi-convergenza per le forme energetiche $E_\varepsilon$ verso $E_0$ (Teoremi 2.16, 2.17). Questo risultato vale sotto lievi ipotesi di regolarità sul dominio (ad esempio, domini di estensione $W^{1,p}$) o quando una delle funzioni si annulla al bordo, estendendo risultati precedenti sulla convergenza delle forme.
• Caso del p-Laplaciano Frazionale: La teoria generale è applicata al p-Laplaciano frazionario $(-\Delta)^s_p$ al tendere di $s \to 1^-$. Il documento mostra che le soluzioni dei problemi di complemento frazionari convergono fortemente alle soluzioni locali di p-Laplace (Sezione 6). Questo risultato è notato come nuovo anche per il p-Laplaciano frazionario.
• Convergenza degli Spazi Duale: Gli spazi duali degli spazi di Sobolev non locali sono mostrati convergere ai loro corrispettivi locali (Teorema 3.9), garantendo la stabilità delle formulazioni variazionali.

Significato e Affermazioni
Il documento afferma di fornire il risultato di convergenza ottimale per i limiti da non locale a locale degli operatori p-Lévy. Lavori precedenti (inclusa la ricerca precedente dell'autore [24]) avevano stabilito la convergenza forte solo in $L^p(\Omega)$ sotto ipotesi rilassate. Questo lavoro rafforza il risultato alla norma energetica, che è la topologia naturale per questi problemi variazionali.

Gli autori sottolineano che la scelta della successione di nuclei $(\nu_\varepsilon)_\varepsilon$ che soddisfa la condizione (1.1) è "essenzialmente ottimale" perché è intrinseca alla caratterizzazione della norma del gradiente locale tramite differenze non locali (Eq. 1.3), estendendo un lavoro seminale di Brezis, Bourgain e Mironescu.

La robustezza degli spazi di traccia è evidenziata come un componente cruciale dell'approccio, permettendo un trattamento rigoroso delle condizioni al contorno non locali che convergono verso condizioni al contorno locali. Il documento afferma esplicitamente che non ci si può attendere una convergenza più forte in generale, poiché le soluzioni non locali $u_\varepsilon$ appartengono a $W^p_{\nu_\varepsilon}(\Omega)$ mentre il limite $u$ appartiene a $W^{1,p}(\Omega)$, e le norme sono distinte.

I risultati unificano il trattamento dei problemi di complemento di Dirichlet e Neumann e si applicano sia all'operatore non locale completo sia agli operatori regionali (dove le interazioni sono ristrette a $\Omega$). Le scoperte sono presentate come una generalizzazione della letteratura esistente sui casi $p=2$ e frazionari, fornendo un quadro completo per $1 < p < \infty$.