Well-Posedness for Cauchy Problems with Singular Time-Measurable Pseudo-Differential Operators in Quasi-decreasing Weighted $\mathrm{L}_2$-Spaces

Resumen Técnico: Bienvenida de Problemas de Cauchy con Operadores Pseudo-Diferenciales de Medibilidad Temporal en Espacios $L^2$ Ponderados Cuasi-Decrecientes

Planteamiento del Problema
Este estudio aborda la bien-posedness (bien-determinación) de problemas de Cauchy gobernados por operadores pseudo-diferenciales altamente singulares y de medibilidad temporal (específicamente, familias medibles de multiplicadores de Fourier). La ecuación gobernante es:
$$\begin{cases} \partial_t u(t, x) = \psi(t, -i\nabla)u(t, x) + f(t, x), & (t, x) \in (0, T) \times \mathbb{R}^d, \\ u(0, x) = 0, & x \in \mathbb{R}^d, \end{cases}$$
donde $\psi(t, \xi)$ es un símbolo complejo que es meramente medible de Lebesgue en tiempo y frecuencia. El desafío central es que estos símbolos están permitidos exhibir un comportamiento de explosión arbitrario tanto en el tiempo (cerca de $t=0$) como en la frecuencia (cuando $|\xi| \to \infty$). Específicamente, los símbolos pueden crecer super-exponencialmente en tiempo y frecuencia, y no se requiere que sean localmente integrables o continuos.

Los marcos estándar para tales problemas suelen depender de la continuidad del operador, la acotación o condiciones de regularidad específicas (por ejemplo, condiciones de tipo Mikhlin) para establecer la existencia y unicidad en espacios $L^p$. Sin embargo, las extremas singularidades en este entorno destruyen la sectorialidad uniforme y la estabilidad del dominio requeridas por los marcos clásicos de familias de evolución (como la teoría de Kato) y hacen inaplicables los métodos de semigrupos o variacionales estándar. Además, la falta de integrabilidad local impide el uso de formulaciones débiles estándar basadas en funciones de prueba.

Metodología
Los autores desarrollan una estructura teórica novedosa que se aparta de los requisitos de continuidad convencionales al trabajar dentro de espacios $L^2$ ponderados cuasi-decrecientes. La metodología se caracteriza por los siguientes elementos:

1. Pesos Cuasi-Decrecientes: El análisis emplea una función de peso $w(t)$ que es estrictamente positiva y cuasi-decreciente (es decir, $w(t)/w(s) \le N_w$ para $0 < s < t$). Esta clase generaliza las funciones clásicas no crecientes y los pesos Muckenhoupt $A_2$, permitiendo una explosión arbitraria cerca del tiempo inicial $t=0$ (por ejemplo, $w(t) = \exp(1/t^\alpha)$) mientras mantiene propiedades de integrabilidad suficientes.
2. Soluciones de Límite Espectral: Reconociendo que las soluciones déb estandar (definidas mediante el emparejamiento con funciones de prueba) pueden no existir debido a la falta de integrabilidad local del símbolo, los autores introducen el concepto de una solución de límite espectral. Esta solución se define como el límite de una secuencia de soluciones déb de Fourier espacial asociadas con símbolos truncados $\psi_n$, donde las partes real e imaginaria del símbolo están acotadas por $n$.
3. Herramientas Analíticas Elementales: A pesar de la complejidad de los operadores singulares, las demostraciones se basan estrictamente en métodos elementales. Los autores evitan la maquinaria funcional avanzada, utilizando en su lugar el teorema de Plancherel, el teorema de Fubini, la desigualdad de Minkowski generalizada y la desigualdad de Cauchy–Bunyakovsky–Schwarz.
4. Tres Conceptos de Solución: El artículo define y relaciona rigurosamente tres nociones de solución:
   • Soluciones Fuertes: Definidas mediante una ecuación integral en el dominio del tiempo.
   • Soluciones Débiles de Fourier Espacial: Definidas mediante una identidad integral en el dominio de la frecuencia para funciones con transformadas de Fourier de soporte compacto.
   • Soluciones de Límite Espectral: Definidas como límites de aproximaciones truncadas.

Contribuciones Clave y Resultados

• Existencia y Unicidad para Explosión Arbitraria: El resultado principal (Teorema 3.6) establece la existencia y unicidad de una solución de límite espectral en el espacio ponderado $L^2_{loc}((0, T) \times \mathbb{R}^d, w(t)t^{-2}dtdx)$ para cualquier símbolo $\psi$ que satisfaga una condición de elipticidad degenerada ($\Re[\psi] \le 0$) e integrabilidad temporal local en subintervalos compactos alejados de $t=0$. Crucialmente, no se impone ningún límite superior o regularidad sobre el crecimiento del símbolo en tiempo o frecuencia.
• Soluciones Débiles de Fourier Espacial bajo Integrabilidad Cuadrática Local: Bajo la suposición adicional de que el símbolo satisface una condición de integrabilidad cuadrática local en frecuencia (Suposición 3.8), los autores demuestran la existencia de una única solución débil de Fourier espacial (Teorema 3.9). Esta solución satisface estimaciones de regularidad máxima y pertenece al espacio ponderado $L^2_{loc}((0, T) \times \mathbb{R}^d, w(t)t^{-2}dtdx)$.
• Soluciones Fuertes bajo Compatibilidad Espectral: Para establecer la existencia de una única solución fuerte (Teorema 3.12), el marco requiere la condición más fuerte de la Suposición 3.11 (compatibilidad con una función espectral $\phi$) además de la Suposición 3.8. Específicamente, la parte real del símbolo debe estar acotada por una función espectral no negativa ($\Re[\psi] \le -\phi$), y la razón $|\psi|/\phi$ debe satisfacer una condición de integrabilidad ponderada. Bajo estas condiciones, existe una única solución fuerte en la intersección de espacios $L^2$ ponderados y el espacio de potencial espectral $H^\phi_{2,loc}$.
• Estimaciones de Regularidad Máxima: El artículo deriva estimaciones a priori agudas (Teorema 3.12) que controlan la norma de la solución y la norma del operador aplicado a la solución. Estas estimaciones dependen de la constante cuasi-decreciente $N_w$ y son independientes de la dimensión espacial $d$.
• Manejo de Símbolos No Integrables: El marco resuelve con éxito ecuaciones evolutivas impulsadas por Laplacianos fraccionarios de cualquier orden negativo y símbolos con crecimiento super-exponencial (por ejemplo, $\psi(t, \xi) = -t^\alpha e^{t^\beta} |\xi|^\gamma e^{|\xi|^\delta}$), siempre que los datos iniciales sean cero.
• Limitaciones en los Datos Iniciales: Los autores señalan explícitamente que la restricción a datos iniciales homogéneos ($u(0, x) = 0$) es una necesidad estructural. Si el símbolo no es integrable cerca de $t=0$, el propagador $\exp(\int_0^t \psi(r, \xi) dr)$ se vuelve mal definido, haciendo que los datos iniciales no nulos sean mal-determinados sin restricciones adicionales de integrabilidad.

Significancia y Reivindicaciones
El artículo afirma proporcionar un "nuevo concepto de solvabilidad" que se aparta fundamentalmente de los marcos convencionales al evitar los cuellos de botella tradicionales de continuidad de los operadores pseudo-diferenciales. Su significancia radica en:

1. Extensión de los Regímenes de Solvabilidad: Demuestra que la existencia y la unicidad pueden asegurarse incluso en la ausencia total de continuidad del operador e integrabilidad local del símbolo, un escenario donde las teorías clásicas de $L^p$ (que dependen de teoremas de tipo Mikhlin) fallan.
2. Conexión entre Probabilidad y Análisis: Al abordar los generadores de procesos estocásticos (procesos de Feller y Lévy) que pueden tener símbolos altamente irregulares, el trabajo cierra la brecha entre la maquinaria rigurosa del análisis armónico y el estudio probabilístico de procesos de salto con características singulares.
3. Generalidad del Marco: La metodología no está ligada a tasas de explosión específicas; acomoda niveles arbitrarios de irregularidad y explosión tanto en tiempo como en frecuencia, como lo ilustran los "modelos de juguete" que involucran Laplacianos fraccionarios de orden negativo.

Los autores enfatizan que, si bien las herramientas matemáticas empleadas son elementales, los resultados son poderosos, ofreciendo una teoría robusta para ecuaciones de evolución impulsadas por operadores que anteriormente se consideraban analíticamente intratables debido a su naturaleza singular.