Classification of singular limits for free boundary and singularly perturbed elliptic problems: the Dancer-Yan spikes revisited

Problematica
Questo articolo affronta la classificazione dei limiti singolari per un problema a contorno libero derivante dalla fisica del plasma, che modella gli equilibri del plasma in una sezione trasversale di un Tokamak. Il problema è formulato come un'equazione ellittica singolarmente perturbata in dimensione $d=2$:
$$\begin{cases} -\Delta v = [v]_+^p & \text{in } \Omega, \\ v = \gamma & \text{su } \partial\Omega, \\ \int_\Omega [v]_+^p = I, \end{cases}$$
dove $\Omega \subset \mathbb{R}^2$ è un dominio limitato $C^{2,\beta}$, $p \in (1, +\infty)$ e $I > 0$ rappresenta una corrente totale fissa. Gli autori investigano il comportamento asintotico delle soluzioni al tendere della corrente totale $I \to +\infty$. In questo limite, la "regione del plasma" $\Omega_+ = \{v > 0\}$ dovrebbe sviluppare una struttura non banale, potenzialmente concentrandosi in "spike" (regioni in cui $v$ è significativamente maggiore del valore al contorno).

Sebbene il comportamento di tali problemi in dimensioni superiori ($d \ge 3$) sia stato stabilito come una sovrapposizione di un numero finito di "spike" (specificamente spike di Dancer-Yan), il caso bidimensionale presenta difficoltà uniche. In $d=2$, il problema globale limite standard $-\Delta w = [w-1]_+^p$ in $\mathbb{R}^2$ con massa finita non ammette soluzioni, impedendo l'applicazione diretta degli argomenti di blow-up delle dimensioni superiori.

Metodologia
Gli autori impiegano un'analisi di blow-up raffinata, adattata all'impostazione bidimensionale, basandosi sul quadro di Dancer e Yan ma introducendo nuove tecniche di riscalamento per gestire la mancanza di soluzioni globali standard.

1. Trasformazione delle Variabili: Il problema viene riformulato utilizzando le variabili $(\alpha, \psi)$ dove $v = \lambda^{1/(p-1)}(\alpha + \lambda \psi)$ e $\lambda = I^{1/q}$ ($q$ è l'esponente di Hölder coniugato di $p$). Questo trasforma il problema in una forma singolarmente perturbata che coinvolge un piccolo parametro $\varepsilon_n \to 0$.
2. Vincoli Integrali: L'analisi si basa su due naturali vincoli integrali, indicati con (H1) e (H2), che controllano rispettivamente la massa $(p-1)$ e la massa $p$ delle soluzioni. Questi vincoli sono cruciali per escludere soluzioni a "massa infinita" e garantire la compattezza.
3. Riscalamento Raffinato: A differenza del caso $d \ge 3$ dove i massimi locali rimangono distanti da 1, in $d=2$ i massimi $v_n(x_n)$ convergono a 1. Gli autori introducono un delicato riscalamento multi-scala coinvolgente i parametri $s_n$ e $\theta_n$ (derivati dalla soluzione dell'equazione di Emden $\phi$) per catturare la struttura "microscopica" degli spike.
   • Definiscono una funzione riscalata $\tilde{v}_n$ e una ulteriore funzione normalizzata $u_n$ per analizzare il profilo vicino ai massimi locali.
4. Classificazione delle Soluzioni Intere: Un passaggio tecnico chiave è la classificazione delle soluzioni a massa finita dell'equazione planare $-\Delta w = [w]_+^p$ in $\mathbb{R}^2$. Gli autori dimostrano che tali soluzioni sono o banali o radiali e assumono una forma specifica che coinvolge la soluzione di Emden $\phi$ all'interno di un disco e un decadimento logaritmico all'esterno.
5. Estrazione di Spike Multipli: Per gestire spike multipli che si raggruppano nello stesso punto, gli autori utilizzano un argomento induttivo. Dimostrano che due spike distinti non possono essere arbitrariamente vicini rispetto ai loro parametri di scala e che la presenza di uno spike di Tipo I o di Tipo II preclude l'esistenza di uno spike "Fading" (svanente) nella stessa posizione.
6. Identità di Pohozaev: Per la struttura globale, gli autori utilizzano l'identità di Pohozaev per derivare un vincolo sulle posizioni degli spike, mostrando che essi devono essere punti critici di un Hamiltoniano di Kirchhoff-Routh.

Contributi Chiave e Risultati

1. Classificazione dei Limiti Singolari (Teorema 1.1):
   Gli autori stabiliscono che, sotto i vincoli integrali (H1) e (H2), il limite singolare delle soluzioni rientra in una di tre categorie attorno a una qualsiasi sequenza di massimi locali:

   • Vanishing (Scomparsa): La soluzione rimane al di sotto della soglia 1 in sottoinsiemi compatti.
   • Spike di Tipo I: La soluzione converge a un profilo di tipo "spike di Dancer-Yan". In questo caso, la funzione riscalata converge alla soluzione intera standard $w^*$, e la massa è quantizzata.
   • Spike di Tipo II: Un nuovo fenomeno specifico per $d=2$. La funzione riscalata converge ancora a $w^*$, ma i parametri di scala divergono in modo tale che la massa $p$ svanisce nel limite, mentre la massa $(p-1)$ rimane quantizzata.
   • Spike Fading (Svanenti): L'ampiezza dello spike decade così rapidamente da svanire effettivamente nel limite, con la soluzione che si comporta come una funzione armonica perturbata da un termine piccolo.

   Crucialmente, il saggio dimostra che, a differenza delle dimensioni superiori, non ogni soluzione è una semplice sovrapposizione di spike di Dancer-Yan. La presenza di spike di Tipo II e Fading indica una struttura singolare più ricca in 2D.

2. Struttura Globale con Condizioni di Dirichlet (Teorema 1.2):
   Imponendo condizioni al contorno di Dirichlet ($v=0$ su $\partial\Omega$) e una condizione di non-nullità (NVp) sulla massa $p$, gli autori forniscono una classificazione dettagliata per la soluzione globale, pur notando che una descrizione completa dell'interazione tra diversi tipi di spike che si raggruppano nello stesso punto rimane un problema aperto.

   • L'insieme singolare $\Sigma$ consiste in finiti punti interi.
   • La soluzione è una sovrapposizione di spike di Tipo I e di Tipo II centrati in questi punti.
   • La massa $(p-1)$ è quantizzata: essa è uguale a $(N_I + N_{II})I_{p-1}$, dove $N_I$ e $N_{II}$ sono i conteggi degli spike di Tipo I e di Tipo II.
   • La massa $p$ non è generalmente quantizzata; essa dipende dai limiti di scala specifici degli spike di Tipo I.
   • La regione del plasma $\Omega_{n,+}$ consiste in componenti asintoticamente rotonde attorno ai centri degli spike.
   • Le posizioni degli spike di Tipo I sono punti critici di un Hamiltoniano di Kirchhoff-Routh che coinvolge la funzione Green del dominio.
   • Nota: Sebbene gli autori riescano a escludere gli spike "Fading" in presenza di spike di Tipo I o di Tipo II sotto queste condizioni, dichiarano esplicitamente che una descrizione completa dell'interazione locale quando più spike di diversi tipi (Tipo I e Tipo II) si raggruppano nello stesso punto è attualmente mancante.

3. Applicazione al Problema del Plasma Originale (Teorema 1.3):
   Gli autori traducono questi risultati nelle variabili originali $(v, \gamma)$ per il problema del plasma. Dimostrano che, sotto specifici vincoli asintotici sui parametri $\lambda_n$ e $\alpha_n$, le soluzioni esibiscono le strutture di spike classificate. Forniscono formule asintotiche precise per il valore al contorno $\gamma$ e la corrente totale in termini del numero e del tipo di spike.

Significatività e Rivendicazioni
Il saggio sostiene di fornire la prima descrizione dettagliata del limite singolare per questo problema a contorno libero in dimensione $d=2$. La sua principale significatività risiede nel rivelare che il caso bidimensionale è fondamentalmente diverso dal caso di dimensioni superiori:

• Ricchezza di Struttura: L'esistenza di spike di Tipo II e di spike Fading mostra che lo spazio delle soluzioni è più complesso di una semplice unione di profili standard.
• Fenomeno di Quantizzazione: Il saggio evidenzia un distinto comportamento di quantizzazione in cui la massa $(p-1)$ è quantizzata (simile alle equazioni di tipo Liouville), ma la massa $p$ non lo è, sfidando l'intuizione derivata da $d \ge 3$.
• Avanzamento Metodologico: Il lavoro introduce un necessario raffinamento nelle tecniche di riscalamento per gestire la scomparsa del valore massimo in 2D, superando l'ostacolo per cui il problema globale limite standard non ammette soluzioni.

Gli autori dichiarano esplicitamente che una descrizione completa dell'interazione tra più spike di diversi tipi che si raggruppano nello stesso punto rimane un problema aperto, sebbene riescano a escludere certe configurazioni (come la coesistenza di spike Fading con spike di Tipo I/II) sotto condizioni di Dirichlet. Suggeriscono inoltre che gli spike di Tipo II potrebbero non esistere su domini convessi, suggerendo una dipendenza dalla geometria del dominio.