Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data

Resumen Técnico: Estimaciones Globales de Calderón-Zygmund para Problemas de Evolución de Doble Fase Irregulares con Datos en Forma No Divergente

Formulación del Problema
Este trabajo investiga la existencia y la regularidad global de soluciones fuertes para una clase de ecuaciones parabólicas de doble fase irregulares con datos en forma no divergente. El problema se define en un dominio acotado $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) sobre un intervalo de tiempo $(0, T)$, denotado como $Q_T = \Omega \times (0, T)$:

$$\begin{cases} u_t - \text{div} \left( F(z, \nabla u) \nabla u \right) = f(z), & z = (x, t) \in Q_T, \\ u = 0, & \text{en } \partial\Omega \times (0, T), \\ u(x, 0) = u_0(x), & \text{en } \Omega, \end{cases}$$

donde la función de flujo está dada por $F(z, \xi) = a(z)|\xi|^{p(z)-2} + b(z)|\xi|^{q(z)-2}$. Los exponentes $p(z)$ y $q(z)$ son variables y Lipschitz continuos, mientras que los coeficientes moduladores no negativos $a(z)$ y $b(z)$ satisfacen la condición $a(z) + b(z) > 0$. El problema se caracteriza por una estructura de crecimiento heterogénea: en regiones donde ambos coeficientes son positivos, el flujo exhibe un crecimiento mixto gobernado por ambos exponentes, mientras que en regiones donde uno de ellos se anula, se reduce a un modelo de fase única. Se supone que los datos $f$ están en $L^\sigma(Q_T)$ con $\sigma > 2$, lo que representa una fuerza en forma no divergente.

Metodología
Los autores emplean un enfoque de regularización combinado con estimaciones de integrabilidad global superior y análisis de regularidad de segundo orden. La metodología procede en varias etapas:

1. Regularización: El problema original se aproxima mediante una familia de problemas regularizados con datos suaves y un flujo regularizado $F_\epsilon(z, \nabla u)$, donde la singularidad en $\nabla u = 0$ se gestiona introduciendo un parámetro $\epsilon \in (0, 1)$. Se establecen las soluciones clásicas para estos problemas regularizados.
2. Estimaciones A Priori: El núcleo del análisis consiste en derivar estimaciones uniformes independientes del parámetro de regularización $\epsilon$. Esto se logra mediante:
   • La multiplicación de la ecuación regularizada por funciones de prueba específicas que involucran la derivada temporal y las derivadas espaciales de segundo orden.
   • El uso de la fórmula de Green para manejar las integrales de frontera, las cuales se estiman utilizando la geometría del dominio y la regularidad de los coeficientes.
   • El establecimiento de desigualdades de interpolación y estimaciones puntuales para la matriz Hessiana de la solución.
   • La aplicación de las desigualdades de Hölder y Young para gestionar los exponentes variables y el término no divergente $f$.
3. Manejo de Datos No Divergentes: Un desafío técnico significativo abordado es la presencia de datos no divergentes ($f$ no está en forma divergente). A diferencia del caso elíptico, las ecuaciones parabólicas no permiten la reducción a la forma divergente mediante la regularidad de tipo Bogovskiĭ. Los autores desarrollan estimaciones específicas para transferir la integrabilidad de $f$ directamente a los términos del gradiente y del flujo.
4. Paso al Límite: Utilizando las estimaciones uniformes, argumentos de compacidad (incluyendo el teorema de convergencia de Vitali y las propiedades de los espacios de Musielak-Orlicz-Sobolev), y la convergencia puntual de los gradientes, los autores pasan al límite cuando $\epsilon \to 0$ y cuando las sucesiones de datos aproximantes convergen a los datos originales.

Contribuciones Clave y Resultados
El artículo extiende los resultados previos sobre problemas de doble fase (específicamente aquellos en [1]) al rango completo de parámetros de integrabilidad $r \ge 0$ y fortalece las conclusiones de regularidad. Los principales resultados se resumen a continuación:

• Existencia y Unicidad: Bajo condiciones de brecha adecuadas en los exponentes variables $p(z)$ y $q(z)$ y supuestos de regularidad en los coeficientes $a(z)$ y $b(z)$, el problema admite una solución fuerte única $u$.
• Transferencia Global de Integrabilidad (Teoría de Calderón-Zygmund): La solución hereda la integrabilidad de los datos iniciales y del término de fuerza. Específicamente, si los datos iniciales satisfacen una condición de integrabilidad ponderada que involucra a $r$, y $f \in L^\sigma(Q_T)$, entonces el flujo de doble fase mantiene esta integrabilidad globalmente en el tiempo.
• Mayor Integrabilidad del Gradiente: El gradiente de la solución exhibe propiedades de auto-mejora. Para cualquier $s \in (0, \frac{4}{N+2})$, el gradiente satisface:
  $$|\nabla u|^{2(\min\{p(z), q(z)\}-1)+r+s} \in L^1(Q_T).$$
  Esto indica que el gradiente posee una mayor integrabilidad de la que sugiere el espacio de energía natural.
• Regularidad de Segundo Orden: La solución posee una regularidad espacial de segundo orden mejorada. Los autores demuestran que:
  $$F((\cdot, t), \nabla u(\cdot, t))|\nabla u(\cdot, t)|^{r+2} \in L^1(\Omega) \quad \text{para casi todo } t \in (0, T),$$
  y
  $$F(z, \nabla u)|\nabla u|^{\frac{r+2}{2}} \in L^2(0, T; W^{1,2}(\Omega)).$$
  Esto implica que el flujo ponderado pertenece a un espacio de Sobolev con respecto a las variables espaciales.

Significancia y Alcance
El artículo afirma abordar un vacío en la literatura respecto a las ecuaciones de doble fase parabólicas con datos no divergentes. Mientras que las estimaciones de tipo Calderón-Zygmund para tales ecuaciones con datos en forma divergente o en el entorno elíptico están establecidas (citando trabajos de Kim, Acerbi, Mingione, etc.), resultados análogos para el caso no divergente con exponentes variables no estaban disponibles previamente.

La significancia del trabajo radica en:

1. Generalización: Extender el rango del parámetro de integrabilidad $r$ de $r \ge \max\{2, p_+, q_+\}$ (como en trabajos anteriores) al rango completo $r \ge 0$.
2. Datos No Divergentes: Manejar con éxito la forma no divergente del término fuente $f$, lo cual requiere técnicas distintas a las del caso divergente.
3. Coeficientes Irregulares: Acomodar coeficientes moduladores $a(z)$ y $b(z)$ que no son necesariamente suaves, pero que satisfacen condiciones específicas de integrabilidad $L^d$ de sus derivadas, dependiendo del parámetro de brecha $\beta$ entre los exponentes.

Los resultados se presentan como mejoras y complementos a la teoría existente, proporcionando un marco robusto para la regularidad de las soluciones de problemas de evolución heterogéneos y de exponente variable que surgen en la elasticidad no lineal y campos relacionados. Los autores no proponen nuevas aplicaciones experimentales, sino que proporcionan la base teórica (existencia y estimaciones de regularidad) necesaria para el análisis de tales modelos.