Correction to the article "Global well-posedness and scattering in weighted space for nonlinear Schrödinger equations below the Strauss exponent without gauge-invariance"

Sintesi Tecnica: Correzione a "Global Well-Posedness and Scattering in Weighted Space for Nonlinear Schrödinger Equations Below the Strauss Exponent Without Gauge-Invariance"

Enunciato del Problema
Questo articolo funge da correzione al precedente lavoro degli autori [3], che affrontava la ben posto globale (global well-posedness) e lo scattering per le equazioni di Schrödinger non lineari (NLS) in spazi pesati per dimensioni $d=1, 2, 3$ al di sotto dell'esponente di Strauss. Il lavoro originale conteneva un errore critico nella dimostrazione della proprietà di contrazione per le dimensioni $d=2$ e $d=3$.

Nello specifico, l'errore si è verificato nella stima del termine di differenza $\|A_{4,n}(\cdot, v_1) - A_{4,n}(\cdot, v_2)\|_X$ all'interno dell'argomento di contrazione. La dimostrazione originale si basava su una stima (1.1) che richiedeva implicitamente che l'esponente della non linearità $\alpha \geq 3$ valesse per non linearità non smooth generiche. Tuttavia, gli intervalli ammissibili per $\alpha$ nel teorema originale erano $\alpha \in (2, 3)$ per $d=2$ e $\alpha = 2$ per $d=3$. Di conseguenza, la dimostrazione del Lemma 3.4 in [3] era incompleta per queste dimensioni sotto le assunzioni generali dell'Assunzione 1.1, rendendo il risultato principale (Teorema 1.4) non giustificato per non linearità non smooth in $d=2$ e $d=3$. Sebbene il risultato fosse valido per $d=1$ (dove $\alpha > 3$) e per non linearità smooth in $d=3$, il caso generale richiedeva una correzione.

Metodologia e Riformulazione
Per risolvere i problemi di singolarità derivanti dalla derivata temporale della non linearità e dalla mancanza di integrabilità spaziale, gli autori riformulano l'equazione integrale e il relativo spazio di soluzione.

1. Riformulazione dell'Equazione Integrale:
   Invece di utilizzare l'identità che coinvolge la derivata temporale di $F_n(v)$ come in [3, (1.8)], gli autori impiegano una nuova identità che isola il termine $i\partial_t v - \frac{p^2}{2}v$. Ciò porta a un'equazione integrale modificata (2.1) dove il termine $A_{5,n}(t)$ è sostituito da un nuovo termine $\tilde{A}_{5,n}(t)$. Questo nuovo termine incorpora l'operatore $L = i\partial_t - \frac{p^2}{2}$ agendo sulla soluzione, permettendo una gestione più diretta della derivata temporale della non linearità senza richiedere il termine ausiliario $E(v)$ usato nella dimostrazione originale.

2. Modifica dello Spazio di Soluzione:
   Gli autori introducono un nuovo spazio metrico completo $\tilde{Z}_M$ dotato di una norma $\|\cdot\|_{\tilde{Y}}$ modificata. Una chiave innovazione è l'introduzione di una funzione di peso troncata $\chi_\gamma(x)$, definita come $|x|^{-\gamma}$ per $|x| \leq 1$ e $1$ per $|x| > 1$.

   • Scopo di $\chi_\gamma$: Questa funzione è progettata per controllare le singolarità spaziali l'origine ($x=0$) che derivano dall'uso di stime del resolvent per evitare le singolarità temporali a $t=0$.
   • Specifiche Dimensionali:
     • Per $d=2$, il peso gestisce la forte singolarità temporale imponendo una singolarità spaziale più forte, utilizzando stime del resolvent e il peso per localizzare la singolarità vicino a $x=0$.
     • Per $d=3$, il peso affronta una mancanza di integrabilità spaziale. Imponendo regolarità spaziale e utilizzando gli embedding di Sobolev (specificamente $\|f\|_{L^2} \lesssim \|\nabla^{1/2}f\|_{L^{3/2}}$), gli autori gestiscono la singolarità spaziale tramite $\chi_{1/2}$.

3. Argomento di Contrazione (Contraction Mapping Argument):
   La mappa $\Phi$ di [3] è sostituita da $\tilde{\Phi}$. Gli autori dimostrano che $\tilde{\Phi}$ è una contrazione su $(\tilde{Z}_M, d_{\tilde{Z}})$ per $M$ sufficientemente piccolo. La dimostrazione prevede:

   • L'instaurazione di stime di limitatezza per $\tilde{\Phi}(v)$ nelle norme $X$ e $\tilde{Y}$, utilizzando stime di Strichartz, disuguaglianze di Gagliardo-Nirenberg e le proprietà di $\chi_\gamma$.
   • La dimostrazione della proprietà di contrazione $d_{\tilde{Z}}(\tilde{\Phi}(v_1), \tilde{\Phi}(v_2)) \leq \frac{1}{2} d_{\tilde{Z}}(v_1, v_2)$ stimando la differenza dei termini non lineari. Crucialmente, la metrica $d_{\tilde{Z}}$ non coinvolge il peso troncato $\chi_\gamma$, permettendo alle stime di chiudersi senza che il peso appaia nel termine di differenza.

Contributi Chiave e Risultati

• Correzione del Lemma 3.4 e del Teorema 1.4: Il articolo fornisce una dimostrazione rigorosa che il risultato principale di [3] è valido per l'intera classe di non linearità specificata nell'Assunzione 1.1, incluse le casi non smooth in dimensioni $d=2$ e $d=3$.
• Nuovo Framework Analitico: L'introduzione della funzione di peso troncata $\chi_\gamma$ e la riformulazione dell'equazione integrale per includere l'operatore $L$ direttamente nel termine ausiliario $\tilde{A}_{5,n}$ permette agli autori di superare i requisiti di regolarità ($\alpha \geq 3$) che precedentemente limitavano la dimostrazione.
• Proposizione 2.1: Gli autori stabiliscono che, sotto le assunzioni del Teorema 1.4 originale, la mappa $\tilde{\Phi}$ è una contrazione sullo spazio $\tilde{Z}_M$, e ogni punto fisso è una soluzione dell'equazione originale [3, (1.8)].

Significatività
L'articolo sostiene che, sebbene un argomento di compattezza potrebbe potenzialmente recuperare il risultato, è desiderabile stabilire il teorema all'interno di un framework diretto di contrazione. Correggendo la lacuna nella dimostrazione, gli autori assicurano che il metodo introdotto in [3] per trattare soluzioni di scattering con non linearità di potenza frazionaria rimanga valido e robusto. La correzione snellisce l'argomento rimuovendo la necessità del termine ausiliario $E(v)$ e chiarisce la gestione delle singolarità sia nel tempo che nello spazio, garantendo così i risultati di ben posto globale e scattering per l'intervallo di parametri previsto nelle dimensioni 2 e 3.