On a nonlocal superconductivity problem

1. Introduzione e Contesto del Problema

Il lavoro si concentra sullo studio di problemi di frontiera libera degeneri non locali, che emergono nel contesto della superconduttività e dei problemi di diffusione degenere. Questi modelli trovano applicazione anche in finanza, specificamente in scenari che coinvolgono processi con salti (jump processes), dove la diffusione avviene solo in punti in cui la funzione di costo non è massimizzata (punti non critici).

Il problema principale studiato è una variante non locale del lavoro di Caffarelli, Salazar e Shahgholian (che trattavano il caso locale). Si considera una coppia incognita $(u, \Omega)$, dove $u$ è una funzione definita su $\mathbb{R}^n$ e $\Omega \subset \mathbb{R}^n$ è un insieme aperto, che soddisfa nel senso delle soluzioni di viscosità il seguente sistema:

$$\begin{cases} (-\Delta)^s u = f & \text{in } B_1 \cap \Omega, \\ |Du| = 0 & \text{in } B_1 \setminus \Omega. \end{cases}$$

Dove:

• $(-\Delta)^s$ è l'operatore Laplaciano frazionario (con $s \in (1/2, 1)$).
• $\Omega$ è la regione in cui il gradiente non si annulla (regione di diffusione).
• $B_1 \setminus \Omega$ è la regione in cui il gradiente è nullo (punti critici).

La sfida fondamentale: A differenza del caso locale (dove è stato dimostrato che se un'equazione è armonica sui punti non critici, lo è ovunque), nel caso non locale questa equivalenza non vale. Le proprietà di diffusione non locale richiedono l'integrazione su tutto lo spazio $\mathbb{R}^n$, il che significa che il comportamento della soluzione fuori dal dominio $B_1$ influenza fortemente la soluzione interna. Di conseguenza, non è possibile ridurre il problema a un'equazione differenziale parziale (PDE) uniforme su tutto il dominio con un termine di destra limitato, rendendo le tecniche classiche inapplicabili.

2. Metodologia

Gli autori sviluppano un metodo di tipo De Giorgi adattato all'oscillazione del gradiente in ambito non locale. La strategia si basa su due pilastri principali:

1. Argomento di Positività per le Derivate: Viene dimostrato che le derivate direzionali della soluzione soddisfano una disuguaglianza di sub-soluzione per l'operatore frazionario. In particolare, se il gradiente è "grande" in misura positiva, si può applicare una riscalatura e un argomento di perturbazione per migliorare la regolarità.
2. Schema di Normalizzazione Discreto: Viene utilizzata un'iterazione su sfere dyadiche. L'approccio distingue due casi:
   • Caso 1 (Gradiente grande in misura): Se in una certa direzione il gradiente è sufficientemente grande in un insieme di misura positiva, si applica una riscalatura che porta a un miglioramento della regolarità (Proposizione 4.1).
   • Caso 2 (Gradiente piccolo ovunque): Se il gradiente rimane piccolo in misura e in tutte le direzioni per un numero infinito di passi iterativi, ciò rivela la presenza di punti critici. In questo scenario, si raffina iterativamente l'oscillazione (Proposizione 3.1), superando l'assenza di informazioni PDE in questi punti.

Un aspetto cruciale della metodologia è la gestione della crescita all'infinito. Poiché gli operatori non locali richiedono che la soluzione sia definita su tutto $\mathbb{R}^n$, gli autori devono controllare rigorosamente il comportamento della soluzione all'infinito (spazio $L^1_s$) durante le iterazioni di riscalatura, garantendo che la struttura del problema non vada persa.

3. Risultati Principali

Il contributo centrale del paper è la dimostrazione di stime di regolarità Hölder per il gradiente delle soluzioni.

Teorema 1.1 (Caso Omogeneo):
Se $(u, \Omega)$ risolve il problema omogeneo ($f=0$) con $u \in C(B_1) \cap L^\infty(\mathbb{R}^n)$, allora $u$ è localmente di classe $C^{1,\alpha}$ per un esponente universale $\alpha \in (0, 1)$ dipendente solo da $n$ e $s$.
$$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C \|u\|_{L^\infty(\mathbb{R}^n)}$$

Teorema 1.2 (Caso Non Omogeneo):
Per il problema generale con termine di destra $f$, assumendo $f \in C^{0,1}(B_1)$ e $u \in C(B_1) \cap L^1_s(\mathbb{R}^n)$, si ottiene:
$$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C \left( \|u\|_{L^\infty(B_1)} + \|u\|_{L^1_s(\mathbb{R}^n)} + \|f\|_{C^{0,1}(B_1)} \right)$$
Nota: Il risultato utilizza la norma $L^1_s$ (che controlla la crescita all'infinito) invece della norma $L^\infty$ globale, rendendo la stima più naturale per il contesto non locale.

Estensioni e Corollari:

• Operatori Non Lineari Pieni: I risultati sono estesi a una classe più ampia di operatori non locali ellittici (Teorema 6.1), definiti rispetto a una classe di kernel $\mathcal{L}_1(s)$, mostrando che la regolarità è stabile rispetto alla struttura dell'operatore.
• Stabilità: I risultati sono stabili al limite $s \to 1$, recuperando classicamente i risultati noti per il caso locale (PDE ellittiche).
• Problemi di Tipo Ostacolo: Viene derivata una conseguenza per problemi di tipo ostacolo non locale, dove la soluzione è vincolata da una funzione $\phi$.

4. Significato e Contributi Chiave

1. Superamento della Barriera Non Locale: Il lavoro risolve la difficoltà fondamentale per cui, nel caso non locale, la conoscenza dell'equazione solo sui punti non critici non implica che l'equazione valga ovunque. Gli autori costruiscono un metodo che gestisce direttamente la degenerazione senza tentare una riduzione PDE globale.
2. Regolarità del Gradiente: Fornisce le prime stime di regolarità $C^{1,\alpha}$ per soluzioni di problemi di frontiera libera non locali degeneri, un risultato che era mancante nella letteratura precedente.
3. Robustezza del Metodo: La metodologia sviluppata è puramente non lineare e si applica a una vasta gamma di operatori non locali, non solo al Laplaciano frazionario standard.
4. Applicabilità Interdisciplinare: Oltre alla superconduttività (modello di vortici in campo medio), il lavoro offre strumenti matematici rilevanti per la finanza matematica (processi di salto) e la teoria della diffusione degenere.

In sintesi, il paper rappresenta un avanzamento significativo nella teoria delle equazioni integrali non locali, fornendo un quadro rigoroso per l'analisi della regolarità in presenza di regioni di degenerazione (punti critici) che non sono governate da equazioni differenziali locali.