Continuity of critical points for 1-dimensional non-local energies

Sintesi Tecnica: Continuità dei Punti Critici per Energie Non Locali in 1 Dimensione

Enunciato del Problema
Questo articolo investiga la regolarità dei punti critici limitati per una classe di energie non locali definite su misure di probabilità in una dimensione. L'energia funzionale è di tipo attrattivo-repulsivo, data da:
$$E(\mu) = \iint g(x-y) d\mu(x) d\mu(y)$$
dove $g: \mathbb{R} \to [0, +\infty]$ è un nucleo simmetrico. Gli autori si concentrano su misure $\mu = f \mathcal{L}^1$ (assolutamente continue rispetto alla misura di Lebesgue) che soddisfano le condizioni di Euler-Lagrange per minimizzatori locali, ovvero che il potenziale indotto $\psi_f = g * f$ è costante quasi ovunque sul supporto di $f$. Sebbene esistano risultati di esistenza e di cota $L^\infty$ per i minimizzatori sotto certe condizioni, la regolarità interna (specificamente la continuità) di queste densità all'interno del loro supporto rimane una questione centrale. Il lavoro affronta se i punti critici limitati siano continui all'interno del loro supporto, assumendo che il nucleo $g$ soddisfi specifiche condizioni di crescita e convessità vicino all'origine.

Metodologia
Gli autori impiegano una dimostrazione per contraddizione centrata sul comportamento della derivata seconda del potenziale. La strategia principale prevede i seguenti passaggi:

1. Regolarizzazione: La densità $f$ viene regolarizzata tramite convoluzione con un mollificatore liscio $\rho_\delta$ per ottenere una funzione liscia $f_\delta$. Poiché il potenziale $\psi_f$ è costante sul supporto, anche $\psi_{f_\delta}$ è costante su un intervallo leggermente più piccolo.
2. Analisi del Punto Critico: Gli autori assumono che $f$ sia discontinua in un punto (specificamente, che i limiti essenziali non coincidano). Ciò implica che, per $\delta$ sufficientemente piccolo, la funzione regolarizzata $f_\delta$ debba esibire oscillazioni (massimi e minimi locali) vicino a tale punto.
3. Stime della Seconda Derivata: La dimostrazione si basa sull'analisi della derivata seconda del potenziale, $\psi''_{f_\delta}$, nei punti critici di $f_\delta$. Poiché $\psi_{f_\delta}$ è costante, $\psi''_{f_\delta}$ deve annullarsi in questi punti.
4. Lemmi di Cancellazione: Una parte significativa del lavoro tecnico consiste nel derivare disuguaglianze integrali (Lemmi 2.2, 2.3 e 2.4) che stimano il contributo delle derivate del nucleo alla derivata seconda del potenziale. Questi lemmi sfruttano la convessità di $g$ e la concavità di $g'$ in un intorno dell'origine. Essi stabiliscono che, se $f_\delta$ oscilla tra valori corrispondenti a un salto in $f$, i termini integrali non possono annullarsi a zero, a patto che il nucleo soddisfi una specifica condizione di crescita riguardante il rapporto tra le derivate in $x/2$ e $x$.
5. Selezione di Punti Critici "Buoni": Gli autori costruiscono una sequenza di minimi e massimi locali alternati per $f_\delta$ vicino alla discontinuità. Selezionano una "coppia buona" di punti critici consecutivi dove la distanza tra essi soddisfa vincoli geometrici specifici rispetto ai loro vicini.
6. Riduzione di Simmetria: Per gestire discontinuità generali, il problema viene decomposto in parti simmetriche (pari) e antisimmetriche (dispari) della densità. Gli autori dimostrano che se i limiti essenziali esistono per entrambe le parti pari e dispari, essi devono essere uguali, implicando l'esistenza di un limite essenziale unico per $f$.

Contributi Chiave e Risultati
Il risultato primario è il Teorema A, che afferma:
Sia $g$ che soddisfa le ipotesi (i) e (ii) (simmetria, $C^1$ lontano da 0, decrescente, convessa e con una specifica condizione di crescita su $g'$ vicino a 0 che coinvolge una costante $\Lambda > 1$). Se $f \in L^\infty(\mathbb{R})$ è una misura finita con supporto $[a, b]$ e il suo potenziale $\psi_f$ è costante quasi ovunque in $[a, b]$, allora $f$ è continua nell'intervallo aperto $(a, b)$.

• Ipotesi sul Nucleo: Il nucleo deve essere convesso e avere una derivata concava vicino all'origine. Fondamentalmente, il rapporto $\liminf_{x \to 0} |g'(x/2)|/|g'(x)|$ deve essere strettamente maggiore di 1. Questa condizione è soddisfatta da nuclei attrattivo-repulsivi prototipici della forma $g(x) = \frac{|x|^\alpha}{\alpha} - \frac{|x|^\lambda}{\lambda}$ per opportuni valori di $\alpha, \lambda$.
• Assunzione di Limitatezza: Il teorema assume che la misura abbia una densità limitata ($f \in L^\infty$). Gli autori osservano che questa è un'ipotesi debole, poiché i coti $L^\infty$ sono noti per i minimizzatori sotto condizioni leggermente più forti sul nucleo.
• Regolarità Interna: Il risultato garantisce la continuità strettamente all'interno del supporto. Il saggio riconosce esplicitamente che il comportamento al bordo (vicino ad $a$ e $b$) non viene affrontato e può differire, poiché i minimizzatori possono essere illimitati o singolari al bordo in certi casi.

Significato e Rivendicazioni
L'articolo sostiene di aver stabilito la continuità interna dei punti critici limitati per una vasta classe di energie non locali in 1D. Il significato risiede nel colmare il divario tra la conoscenza dell'esistenza e dei coti $L^\infty$ dei minimizzatori e la loro continuità puntuale.

Gli autori sottolineano che il loro approccio è distinto dai lavori precedenti che utilizzano tecniche di PDE legate al Laplaciano frazionario (ad esempio, [8]). Invece, questo lavoro si basa sull'analisi diretta della struttura di convoluzione e sulle specifiche proprietà di singolarità del nucleo. Il saggio non pretende di risolvere il problema della regolarità per minimizzatori illimitati o in dimensioni superiori, né fornisce formule esplicite per i minimizzatori. Esso stabilisce rigorosamente che, sotto le ipotesi dichiarate sul nucleo e sulla limitatezza della densità, la densità non può presentare discontinuità di salto all'interno del proprio supporto. La dimostrazione mostra che la specifica singolarità del nucleo (governata da $\Lambda > 1$) è sufficiente per forzare la cancellazione delle oscillazioni del potenziale, imponendo così la continuità.