Well-Posedness Of Second-Order Evolution Equations With Non-Integrable And Degenerate Coefficients In Weighted Lp-Spaces

Resumen Técnico: Bien posedidad de ecuaciones de evolución de segundo orden con coeficientes no integrables y degenerados

Planteamiento del problema
Este artículo investiga el problema de Cauchy para ecuaciones de evolución lineales de segundo orden con coeficientes dependientes del tiempo, potencialmente degenerados y no acotados. La ecuación principal bajo consideración es:
$$u_t(t, x) = a_{ij}(t)u_{x_i x_j}(t, x) + b_i(t)u_{x_i}(t, x) + c(t)u(t, x) + f(t, x), \quad u(0, x) = 0,$$
definida en $(0, T) \times \mathbb{R}^d$.

El desafío central abordado es el comportamiento de los coeficientes $a_{ij}(t)$, $b_i(t)$ y $c(t)$ cerca del tiempo inicial $t=0$ y del tiempo terminal $t=T$. A diferencia de las teorías clásicas que típicamente requieren que los coeficientes sean localmente integrables hasta la frontera (o al menos estén acotados por el recíproco de la distancia a la frontera), este trabajo permite un estallido arbitrario (arbitrary blow-up), incluyendo crecimiento exponencial y super-exponencial, en $t=0$ y $t=T$. Los coeficientes principales satisfacen una condición de elipticidad degenerada ($a_{ij}(t)\xi_i\xi_j \geq \lambda(t)|\xi|^2$ con $\lambda(t) \geq 0$), y no se asume una positividad estricta o regularidad para $\lambda(t)$.

Una observación crítica que motiva el estudio es que, si bien tales singularidades severas hacen que el problema sea mal planteado para datos iniciales no nulos (ya que la solución fundamental o la integral estocástica divergen), la bien posedidad puede recuperarse si la condición inicial es estrictamente cero ($u(0, x) = 0$).

Metodología
Los autores emplean un enfoque multifacético que combina el cálculo estocástico, el análisis de Fourier y estimaciones de energía dentro del marco de los espacios $L_p$ ponderados.

1. Representación estocástica (Existencia):
   Para establecer la existencia de soluciones, los autores utilizan el cálculo de Itô. Construyen una solución clásica para términos fuente suaves mediante una representación probabilística que involucra un proceso estocástico $X_{s,t}$ impulsado por el movimiento browniano y los coeficientes. Específicamente, la solución se representa como:
   $$u(t, x) = \int_0^t e^{\int_s^t c(r)dr} \mathbb{E}[f(s, x + X_{s,t})] \, ds.$$
   Al emplear suavizadores de Sobolev para aproximar los términos fuente $f$ y los coeficientes generales, pasan al límite para establecer la existencia de una solución débil. Este enfoque evita la necesidad de la diferenciabilidad clásica de los coeficientes, la cual no está disponible debido a las singularidades.

2. Método de la Transformada de Fourier (Unicidad para $p \in [1, 2]$):
   Para el caso $p \in [1, 2]$, la unicidad se demuestra transformando la ecuación al dominio de la frecuencia. Los autores derivan una identidad integral para la transformada de Fourier de la solución, $\mathcal{F}[u](t, \xi)$, que reduce la ecuación a una ecuación diferencial ordinaria de primer orden en el tiempo para cada frecuencia $\xi$. Al imponer una condición inicial asintótica (el desvanecimiento de la solución en el límite cuando $t \to 0$ en un sentido ponderado), demuestran que la transformada de Fourier está unívocamente determinada, probando así la unicidad de la solución débil.

3. Estimaciones de Energía (Unicidad para $p \in (1, \infty)$):
   Para $p \in (1, \infty)$, los autores derivan estimaciones de energía a priori utilizando cálculo elemental (integración por partes y el teorema fundamental del cálculo) aplicado a soluciones suavizadas. Al construir una función transformada para manejar los términos de deriva (drift) y de orden cero, establecen cotas sobre la norma $L_p$ de la solución. Estas estimaciones demuestran que cualquier par de soluciones con datos iniciales cero deben coincidir, asegurando la unicidad.

4. Espacios Ponderados y Pesos de Muckenhoupt:
   El análisis se lleva a cabo en espacios $L_{p,q}$ ponderados donde los pesos dependen de la variable temporal. Los autores introducen pesos específicos que involucran el límite inferior espectral $\lambda(t)$ y pesos de Muckenhoupt $w(t)$ para derivar estimaciones de regularidad máxima $L_p$. Estas estimaciones controlan las derivadas espaciales de segundo orden ($u_{xx}$) en términos del término fuente $f$, incluso cuando los coeficientes no son integrables.

Contribuciones Clave y Resultados

• Relajación de las Condiciones de Integrabilidad: El artículo relaja fundamentalmente la suposición estándar de que los coeficientes deben ser localmente integrables cerca de las fronteras. Establece la bien posedidad incluso cuando los coeficientes exhiben tasas de estallido que exceden estrictamente el recíproco de la distancia a las fronteras temporales (por ejemplo, $|a_{ij}(t)| \sim \exp(e^{1/t})$).
• Existencia y Unicidad de Soluciones Débiles: Los autores prueban la existencia y unicidad de soluciones débiles para el problema de Cauchy con datos iniciales cero en espacios $L_p$ para $p \in [1, \infty)$.
  • Para $p=1$, la unicidad se establece dentro de una clase definida por la integrabilidad espacial, la integrabilidad de Fourier ponderada y una condición de desvanecimiento específica en el dominio de la frecuencia.
  • Para $p \in (1, \infty)$, la unicidad se prueba dentro de una clase de funciones que satisfacen condiciones iniciales asintóticas específicas y restricciones de integrabilidad ponderada.
• Regularidad Máxima $L_p$: El artículo deriva estimaciones de regularidad agudas para la solución. Específicamente, muestra que la solución $u$ pertenece a espacios de Sobolev ponderados $H^2_{q,p}$, y proporciona cotas explícitas para $\|u_{xx}\|_{L_{q,p}}$ en términos del término fuente $f$, utilizando pesos de Muckenhoupt y el límite inferior espectral $\lambda(t)$.
• Soluciones Fuertes: Bajo condiciones adicionales de integrabilidad de los coeficientes (específicamente la condición (2.11) en el texto), los autores establecen la existencia de soluciones fuertes (donde la ecuación se cumple punto a punto casi en todas partes) y proporcionan las estimaciones correspondientes para la derivada temporal $u_t$.
• Mal Planteamiento de Datos Iniciales No Nulos: El artículo demuestra rigurosamente que si la condición inicial $u_0$ es no nula, el problema está mal planteado debido a la divergencia de la integral de los coeficientes cerca de $t=0$. Esto resalta la necesidad de la condición inicial cero para que la teoría sea válida.

Significancia y Reivindicaciones
Los autores afirman que este estudio es el primero en establecer la bien posedidad para ecuaciones de evolución de segundo orden donde se permite que los coeficientes estallen más rápido que el recíproco de la distancia a las fronteras temporales. Al eliminar la restricción de integrabilidad local en las fronteras, el marco amplía significativamente las capacidades de modelado para fenómenos que involucran fluctuaciones temporales extremas, tales como la difusión instantánea, el transporte dominante o la cinética de reacción explosiva.

El trabajo enfatiza que, si bien los coeficientes singulares introducen dificultades sustanciales para establecer la existencia y la unicidad, estas pueden superarse mediante:

1. La restricción del problema a datos iniciales cero.
2. El uso de espacios ponderados a medida y representaciones estocásticas.
3. El empleo de condiciones asintóticas específicas para seleccionar la solución física única.

El artículo concluye identificando problemas abiertos, específicamente si la unicidad se extiende a funciones con valores en $L_\infty$ y si se pueden derivar estimaciones de regularidad cuando el coeficiente de orden cero $c(t)$ no es localmente integrable cerca de $t=0$.