Counterexamples to the $L^1$ and $L^{\infty}$ boundedness of the one-dimensional wave operators

Resumen Técnico: Contraejemplos de la Acotación en $L^1$ y $L^\infty$ de los Operadores de Onda Unidimensionales

Planteamiento del Problema
El artículo aborda la acotación en $L^p$ de los operadores de onda $W_\pm(H, -\Delta)$ asociados al operador de Schrödinger unidimensional $H = -\Delta + V(x)$, donde $V$ es un potencial de valores reales que decae como $|V(x)| \lesssim \langle x \rangle^{-\beta}$ para $\beta > 2$. Si bien está bien establecido que estos operadores son acotados en $L^p(\mathbb{R})$ para todo $1 < p < \infty$ tanto en el caso genérico como en el excepcional, el comportamiento en los extremos $p=1$ y $p=\infty$ ha permanecido parcialmente sin resolver.

Un trabajo previo de Weder estableció que en el "caso excepcional" (donde cero es una resonancia) que satisface específicamente la condición $\lim_{x\to-\infty} f_+(0, x) = 1$ (donde $f_+$ es la función de Jost), los operadores de onda son acotados en $L^1$ y $L^\infty$. Esta acotación se atribuyó a la desaparición de los coeficientes asociados a la transformada de Hilbert en la descomposición de baja energía de los operadores de onda. Sin embargo, para los casos restantes —el caso genérico y el caso excepcional donde $\lim_{x\to-\infty} f_+(0, x) \neq 1$— se esperaba largamente que los operadores fueran no acotados debido a la presencia de términos de la transformada de Hilbert. A pesar de esta expectativa, faltaba una prueba rigurosa que demostrara esta no acotación para potenciales acotados y de soporte compacto.

Metodología
Los autores adoptan un enfoque de representación estacionaria para analizar los operadores de onda, descomponiéndolos en partes de alta energía ($W^H_-$) y baja energía ($W^L_-$). Dado que la parte de alta energía es conocida por ser acotada en todos los espacios $L^p$, el análisis se centra exclusivamente en la parte de baja energía $W^L_-$.

1. Expansión Asintótica: El núcleo de la metodología consiste en derivar una expansión asintótica precisa del resolvente perturbado $R^+_V(\lambda^2)$ cerca de la energía cero ($\lambda = 0$). Los autores utilizan la identidad de operador $R^+_V(\lambda^2)V = R^+_0(\lambda^2)v M^{-1}(\lambda)v$, donde $M(\lambda) = U + vR^+_0(\lambda^2)v$. Computan la expansión asintótica del operador inverso $M^{-1}(\lambda)$ en potencias de $\lambda$, distinguiendo entre el caso genérico ($W(0) \neq 0$) y el caso excepcional ($W(0) = 0$).
2. Análisis de Núcleos: Mediante la sustitución de estas expansiones en la representación integral de $W^L_-$, los autores aíslan operadores singulares. Analizan los núcleos integrales de estos operadores, clasificándolos por su orden de singularidad con respecto a $\lambda$ cuando $\lambda \to 0^+$.
3. Pruebas de Acotación: Utilizando pruebas de Schur y propiedades de núcleos integrales específicos (relacionados con la transformada de Hilbert y los espacios BMO), los autores demuestran que la mayoría de los componentes del operador de baja energía son acotados en $L^p$ para $1 < p < \infty$ y mapean de $L^\infty$ a BMO (Oscilación Media Acotada) o de $H^1$ (espacio Hardy) a $L^1$.
4. Construcción de Contraejemplos: Para demostrar la no acotación en los extremos, los autores construyen funciones de prueba específicas. Para el caso genérico, utilizan funciones características de intervalos. Para el caso excepcional, utilizan funciones que involucran signos y funciones características de anillos. Demuestran que la acción de los operadores singulares sobre estas funciones de prueba resulta en funciones que no pertenecen a $L^1$ o $L^\infty$ (específicamente, sus normas divergen a medida que los parámetros tienden al infinito).

Contribuciones Clave y Resultados
El artículo proporciona pruebas rigurosas de la no acotación de los operadores de onda en los casos previamente abiertos, completando el panorama de la acotación en $L^p$ para los operadores de Schrödinger unidimensionales.

• Caso Genérico: Para potenciales de tipo genérico con $\beta > 7$, los operadores de onda $W_\pm$ son no acotados en $L^1(\mathbb{R})$ y $L^\infty(\mathbb{R})$. Sin embargo, permanecen acotados de $L^\infty(\mathbb{R})$ a BMO$(\mathbb{R})$.
• Caso Excepcional ($\lim_{x\to-\infty} f_+(0, x) \neq 1$): Para potenciales de tipo excepcional con soporte compacto que satisfacen la condición de que el límite de la función de Jost no es 1, los operadores de onda son no acotados en $L^1(\mathbb{R})$ y $L^\infty(\mathbb{R})$. Además, en este caso específico, no son acotados de $L^\infty(\mathbb{R})$ a BMO$(\mathbb{R})$.
• Distinción en el Comportamiento de los Extremos: El artículo destaca una distincción crucial en los casos genérico y excepcional respecto al mapeo $L^\infty \to \text{BMO}$. Mientras que el caso genérico preserva esta acotación, el caso excepcional (con el límite de la función de Jost distinto de la unidad) la destruye. Esto está vinculado al no desvanecimiento de un coeficiente específico $c_2$ relacionado con la estructura de resonancia.

Significado
El artículo afirma completar la comprensión teórica de la acotación en $L^p$ de los operadores de onda unidimensionales. Al proporcionar contraejemplos explícitos y pruebas rigurosas de la no acotación en los casos genérico y excepcional específico, los autores resuelven un vacío de larga data en la literatura. Su trabajo aclara que la presencia de la transformada de Hilbert en la descomposición de baja energía conduce de hecho a la no acotación en $L^1$ y $L^\infty$, a menos que se cumplan condiciones de cancelación específicas (como se encuentra en el resultado de Weder). Adicionalmente, el artículo refina la comprensión de las propiedades de mapeo hacia los espacios BMO, mostrando que el caso excepcional con un límite de la función de Jost distinto de la unidad falla en mapear $L^\infty$ a BMO, a diferencia del caso genérico. Estos resultados se apoyan en la construcción de potenciales acotados y de soporte compacto, demostrando que la no acotación es una característica fundamental de la estructura del operador y no un artefacto de la caída del potencial de largo alcance.