Asymptotic behavior of solutions to a planar Hartree equation with isolated singularities

Sintesi Tecnica: Comportamento Asintotico delle Soluzioni di un'Equazione di Hartree Planare con Singolarità Isolate

Enunciato del Problema
Questo articolo investiga il comportamento asintotico delle soluzioni singolari di un'equazione di tipo Hartree planare con una singolarità isolata nell'origine. L'equazione principale oggetto di studio è:
$$-\Delta u(x) = \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) \quad \text{in } B_1 \setminus \{0\} \subset \mathbb{R}^2,$$
dove $\alpha > 0$ e il termine di convoluzione è definito come $\frac{1}{|x|^\alpha} * e^u = \int_{B_1 \setminus \{0\}} \frac{e^{u(y)}}{|x-y|^\alpha} dy$. Gli autori si concentrano su soluzioni $u \in C^2(B_1 \setminus \{0\})$ che soddisfano la condizione di curvatura totale finita:
$$\int_{B_1 \setminus \{0\}} \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) dx < +\infty.$$
Lo studio è motivato dalla necessità di comprendere le soluzioni singolari in problemi geometrici (come la curvatura gaussiana prescritta) e modelli fisici che coinvolgono interazioni non locali. Sebbene esistano risultati significativi per equazioni locali (ad esempio, $-\Delta u = e^u$) e per le equazioni di Yamabe di ordine superiore, la natura non locale del termine di Hartree in due dimensioni presenta sfide uniche, particolarmente riguardo all'applicabilità delle tecniche basate su ODE.

Metodologia
Gli autori impiegano un approccio basato sulle Equazioni Differenziali alle Parti (PDE), adattando specificamente i metodi utilizzati per le equazioni conformi di ordine superiore con singolarità isolate. La metodologia centrale prevede:

1. Derivazione della Formula di Rappresentazione: Invece di fare affidamento su tecniche ODE (che falliscono a causa del termine di convoluzione) o sul principio di massimo (che è compromesso dalla non località), gli autori stabiliscono una formula di rappresentazione integrale per le soluzioni singolari. Ciò viene ottenuto caratterizzando le singolarità isolate dell'equazione di Poisson e utilizzando la condizione di curvatura totale finita per controllare la crescita della soluzione.
2. Decomposizione delle Soluzioni: La soluzione $u$ viene decomposta in tre parti: un termine logaritmico singolare ($b \ln |x|$), una parte armonica (o poliarmonica) regolare ($h$) e un termine potenziale ($v$) generato dalla sorgente non locale.
3. Analisi della Regolarità: Gli autori analizzano la regolarità del termine potenziale $v$. Stabilendo che il termine sorgente appartiene a $L^{p_0}_{loc}$ per qualche $p_0 > 1$ sotto specifiche restrizioni sull'esponente $b$ e su $\alpha$, applicano la teoria standard della regolarità ellittica (embedding di Sobolev e stime $W^{k,p}$) per dimostrare che $v$ è localmente Hölder continua.
4. Estensione a Dimensioni e Ordini Superiori: L'analisi viene estesa a equazioni di tipo Hartree di ordine superiore in dimensioni $n \ge 3$:
   • Dimensioni Pari ($n \ge 4$): Per l'equazione $(-\Delta)^{n/2} u = (\frac{1}{|x|^\alpha} * e^u) e^u$.
   • Dimensioni Dispari ($n \ge 3$): Per la stessa equazione interpretata in senso distributivo, poiché $(-\Delta)^{n/2}$ diventa un operatore integrale non locale.
     In dimensioni superiori, è richiesta una condizione di decadimento aggiuntiva vicino all'origine, $\int_{B_r \setminus \{0\}} |u(x)| dx = o(r^{n-2})$, per eliminare i termini di derivata di ordine superiore nella formula di rappresentazione.
5. Generalizzazione: I risultati sono generalizzati includendo un coefficiente non negativo generale $K(x) \in L^\infty(B_1)$.

Contributi Chiave e Risultati

• Rappresentazione Asintotica (Teorema 1.1): Per il caso planare ($n=2$), gli autori dimostrano che ogni soluzione $u$ che soddisfa la condizione di curvatura totale finita ammette la rappresentazione:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  dove $h$ è una funzione armonica regolare, $v$ è un potenziale integrale specifico, e $b > -2$ è una costante. Inoltre, se $\alpha \in (0, 2)$ e $b > \frac{\alpha-4}{2}$, la soluzione si comporta come $u(x) = \phi(x) + b \ln |x|$ vicino all'origine, dove $\phi$ è una funzione Hölder continua.

• Dimensioni Pari di Ordine Superiore (Teorema 1.2): Per $n \ge 4$ pari, sotto la condizione di curvatura totale finita e la condizione di decadimento aggiuntiva, vale una simile rappresentazione:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  con $h$ poliarmonica ($(-\Delta)^{n/2} h = 0$) e $b > -n$. La continuità Hölder del termine di resto è stabilita sotto la condizione $b > \frac{\alpha-2n}{2}$.

• Dimensioni Dispari di Ordine Superiore (Teorema 1.4): Per $n \ge 3$ dispari, trattando l'equazione in senso distributivo, si deriva la stessa struttura asintotica. Gli autori definiscono le soluzioni nello spazio $L^{n/2}(\mathbb{R}^n) \cap C^n(B_1 \setminus \{0\})$ e dimostrano l'esistenza della singolarità logaritmica e del resto Hölder continuo sotto le stesse restrizioni su $b$.

• Intervallo di Validità del Coefficiente della Singolarità: Il documento stabilisce rigorosamente che la condizione $b > \frac{\alpha-2n}{2}$ è necessaria affinché la condizione di curvatura totale finita sia soddisfatta. Se $b \le \frac{\alpha-2n}{2}$, l'integrale del termine non locale diverge, contraddicendo l'ipotesi iniziale.

• Estensione al Coefficiente Generale (Osservazione 1.7): Gli autori dimostrano che questi risultati si estendono a equazioni con un coefficiente non negativo limitato $K(x)$, modificando di conseguenza la rappresentazione integrale di $v$.

Significato e Rivendicazioni
Il lavoro sostiene di colmare una lacuna nella letteratura riguardante le equazioni di tipo Hartree con singolarità isolate in due dimensioni. Mentre esistono risultati di classificazione e asintotici per equazioni locali (come l'equazione della curvatura scalare prescritta) e per le equazioni di Yamabe locali di ordine superiore, la natura non locale del termine di Hartree in $\mathbb{R}^2$ non era stata affrontata sufficientemente.

Gli autori evidenziano come il loro approccio basato sulle PDE riesca a superare i limiti dei metodi ODE (che non possono gestire il termine di convoluzione) e il fallimento del principio di massimo dovuto alla non località. Stabilendo una formula di rappresentazione e dimostrando la continuità Hölder del potenziale non locale, essi forniscono una descrizione completa del comportamento asintotico delle soluzioni singolari vicino all'origine. Il lavoro unifica inoltre il trattamento delle dimensioni pari e dispari per le equazioni di Hartree di ordine superiore, estendendo i risultati noti dalla geometria conforme locale ai contesti non locali.