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

Resumo Técnico: Correção de "Global Well-Posedness and Scattering in Weighted Space for Nonlinear Schrödinger Equations Below the Strauss Exponent Without Gauge-Invariance"

Enunciado do Problema
Este artigo serve como uma correção ao trabalho anterior dos autores [3], que abordou a bem-postura global e o espalhamento de equações de Schrödinger não lineares (NLS) em espaços ponderados para dimensões $d=1, 2, 3$ abaixo do expoente de Strauss. O artigo original continha um erro crítico na prova da propriedade de mapeamento de contração para as dimensões $d=2$ e $d=3$.

Especificamente, o erro ocorreu na estimativa do termo de diferença $\|A_{4,n}(\cdot, v_1) - A_{4,n}(\cdot, v_2)\|_X$ dentro do argumento de contração. A prova original baseava-se em uma estimativa (1.1) que implicitamente exigia que o expoente de não linearidade $\alpha \geq 3$ fosse válido para não linearidades gerais não suaves. No entanto, os intervalos admissíveis para $\alpha$ no teorema original eram $\alpha \in (2, 3)$ para $d=2$ e $\alpha = 2$ para $d=3$. Consequentemente, a prova para o Lema 3.4 em [3] estava incompleta para essas dimensões sob as suposições gerais da Suposição 1.1, tornando o resultado principal (Teorema 1.4) injustificado para não linearidades não suaves em $d=2$ e $d=3$. Embora o resultado fosse válido para $d=1$ (onde $\alpha > 3$) e para não linearidades suaves em $d=3$, o caso geral exigia correção.

Metodologia e Reformulação
Para resolver os problemas de singularidade decorrentes da derivada temporal da não linearidade e da falta de integrabilidade espacial, os autores reformulam a equação integral e o espaço de solução associado.

1. Reformulação da Equação Integral:
   Em vez de utilizar a identidade envolvendo a derivada temporal de $F_n(v)$ como em [3, (1.8)], os autores empregam uma nova identidade que isola o termo $i\partial_t v - \frac{p^2}{2}v$. Isso leva a uma equação integral modificada (2.1) onde o termo $A_{5,n}(t)$ é substituído por um novo termo $\tilde{A}_{5,n}(t)$. Este novo termo incorpora o operador $L = i\partial_t - \frac{p^2}{2}$ atuando sobre a solução, permitindo um tratamento mais direto da derivada temporal da não linearidade sem exigir o termo auxiliar $E(v)$ usado na prova original.

2. Modificação do Espaço de Solução:
   Os autores introduzem um novo espaço métrico completo $\tilde{Z}_M$ equipado com uma norma $\|\cdot\|_{\tilde{Y}}$ modificada. Uma inovação fundamental é a introdução de uma função de peso truncada $\chi_\gamma(x)$, definida como $|x|^{-\gamma}$ para $|x| \leq 1$ e $1$ para $|x| > 1$.

   • Propósito de $\chi_\gamma$: Esta função é projetada para controlar singularidades espaciais na origem ($x=0$) que surgem ao utilizar estimativas de resolvente para evitar singularidades temporais em $t=0$.
   • Especificidades Dimensionais:
     • Para $d=2$, o peso lida com a forte singularidade temporal impondo uma singularidade espacial mais forte, utilizando estimativas de resolvente e o peso para localizar a singularidade próximo a $x=0$.
     • Para $d=3$, o peso aborda a falta de integrabilidade espacial. Ao impor regularidade espacial e utilizar imersões de Sobolev (especificamente $\|f\|_{L^2} \lesssim \|\nabla^{1/2}f\|_{L^{3/2}}$), os autores gerenciam a singularidade espacial via $\chi_{1/2}$.

3. Argumento de Mapeamento de Contração:
   O mapa $\Phi$ de [3] é substituído por $\tilde{\Phi}$. Os autores provam que $\tilde{\Phi}$ é uma contração em $(\tilde{Z}_M, d_{\tilde{Z}})$ para $M$ suficientemente pequeno. A prova envolve:

   • Estabelecer estimativas de limitação para $\tilde{\Phi}(v)$ nas normas $X$ e $\tilde{Y}$, utilizando estimativas de Strichartz, desigualdades de Gagliardo-Nirenberg e as propriedades de $\chi_\gamma$.
   • Provar a propriedade de contração $d_{\tilde{Z}}(\tilde{\Phi}(v_1), \tilde{\Phi}(v_2)) \leq \frac{1}{2} d_{\tilde{Z}}(v_1, v_2)$ estimando a diferença dos termos não lineares. Crucialmente, a métrica $d_{\tilde{Z}}$ não envolve o peso truncado $\chi_\gamma$, permitindo que as estimativas se fechem sem que o peso apareça no termo de diferença.

Principais Contribuições e Resultados

• Correção do Lema 3.4 e Teorema 1.4: O artigo fornece uma prova rigorosa de que o resultado principal de [3] é válido para toda a classe de não linearidades especificada na Suposição 1.1, incluindo casos não suaves nas dimensões $d=2$ e $d=3$.
• Novo Framework Analítico: A introdução da função de peso truncada $\chi_\gamma$ e a reformulação da equação integral para incluir o operador $L$ diretamente no termo auxiliar $\tilde{A}_{5,n}$ permite que os autores contornem os requisitos de regularidade ($\alpha \geq 3$) que anteriormente limitavam a prova.
• Proposição 2.1: Os autores estabelecem que, sob as suposições do Teorema 1.4 original, o mapa $\tilde{\Phi}$ é uma contração no novo espaço $\tilde{Z}_M$, e qualquer ponto fixo é uma solução para a equação original [3, (1.8)].

Significância
O artigo afirma que, embora um argumento de compacidade pudesse potencialmente recuperar o resultado, é desejável estabelecer o teorema dentro de um framework direto de mapeamento de contração. Ao corrigir a lacuna na prova, os autores garantem que o método introduzido em [3] para tratar soluções de espalhamento com não linearidades de potência fracionária permaneça válido e robusto. A correção simplifica o argumento ao remover a necessidade do termo auxiliar $E(v)$ e esclarece o tratamento de singularidades tanto no tempo quanto no espaço, assegurando assim os resultados de bem-postura global e espalhamento para o intervalo pretendido de parâmetros nas dimensões 2 e 3.