Higher integrability for parabolic double phase equations with an improved gap bound

Resumen Técnico: Integrabilidad Superior para Ecuaciones Parabólicas de Doble Fase con un Límite de Brecha Mejorado

Planteamiento del Problema
El artículo investiga la integrabilidad superior local del gradiente para soluciones débiles de Hölder continuo para la ecuación parabólica de doble fase:
$$\partial_t u - \text{div}\left(|Du|^{p-2}Du + a(z)|Du|^{q-2}Du\right) = 0$$
en un cilindro espacio-temporal $\Omega_T = \Omega \times (0, T]$, donde $1 < p \le q$. El coeficiente modulador $a(z)$ es una función no negativa que gobierna la transición entre el crecimiento $p$ (donde $a=0$) y el crecimiento $(p,q)$.

El desafío central abordado es la relación entre la brecha entre los exponentes $q-p$ y la regularidad del coeficiente $a$. En el entorno elíptico, se sabe que la regularidad de las soluciones depende críticamente de si la brecha satisface una condición relacionada con el fenómeno de Lavrentiev. Los autores pretenden establecer un resultado de integrabilidad superior similar para el caso parabólico bajo supuestos relajados sobre el coeficiente $a$ y una condición de brecha mejorada.

Metodología
Los autores emplean un marco basado en la geometría intrínseca e desigualdades de Hölder inversa, adaptado al entorno parabólico con condiciones de crecimiento no estándar. Los componentes metodológicos clave incluyen:

1. Clase de Coeficientes Relajada ($Z_\kappa$): En lugar de asumir que $a \in C^{\alpha, \alpha/2}$, los autores trabajan con la clase $Z_\kappa(\Omega_T)$. Una función $a$ pertenece a esta clase si satisface una cota puntual de un solo lado:
   $$a(z_1) \le c_a \left( a(z_2) + d_p(z_1, z_2)^\kappa \right)$$
   donde $d_p$ es la métrica parabólica. Esta clase acomoda coeficientes que pueden anularse y crecer a un ritmo determinado por $\kappa$, incluyendo funciones no continuas en Hölder como $|x|^\kappa$.

2. Promedio de Steklov Sesgado: Para manejar la regularidad temporal del coeficiente $a$ sin requerir continuidad de Hölder en el tiempo (lo cual no está garantizado en $Z_\kappa$ para $\kappa > 1$), los autores introducen una nueva técnica de suavizado llamada "promedio de Steklov sesgado" (slanted Steklov average). Definido como:
   $$[u]_h^R(z) = \frac{1}{h} \int_t^{t+h} u(x + (s-t)\zeta, s) \, ds$$
   Esta técnica, combinada con una condición de casi-crecimiento (o casi-monotonía) suave en $a$ (ya sea hacia adelante o hacia atrás en el tiempo), permite la derivación de estimaciones de energía y desigualdades de Caccioppoli sin las dependencias circulares que surgen de los métodos de truncamiento Lipschitz estándar en este entorno.

3. Geometría Intrínseca y Tiempo de Parada: La demostración utiliza cilindros intrínsecos ($Q_{\rho, \lambda}$ para la fase $p$ y $G_{\rho, \lambda}$ para la fase $(p,q)$) donde el parámetro de escala $\lambda$ está determinado por el gradiente de la solución. Se utiliza un argumento de tiempo de parada para seleccionar los radios apropiados para estos cilindros basándose en los conjuntos de nivel del integrando $H(z, |Du|) = |Du|^p + a(z)|Du|^q$.

4. Desigualdades de Hölder Inversa: El núcleo de la demostración consiste en establecer desigualdades de Hölder inversa tanto para la fase $p$ (donde $a$ es pequeño) como para la fase $(p,q)$ (donde $a$ es significativo). Estas desigualdades dependen de desigualdades de Sobolev-Poincaré parabólicas y estimaciones de Gagliardo-Nirenberg adaptadas a la escala intrínseca.

Contribuciones Clave y Resultados

• Condición de Brecha Mejorada: El resultado principal (Teorema 1.3) establece la integrabilidad superior para el gradiente bajo la condición de brecha:
  $$2 \le p \le q \le p + \frac{q\kappa}{q - 2\gamma}$$
  donde $\gamma \in [0, 1)$ es el exponente de Hölder de la solución $u$ en el espacio y $\gamma/q$ en el tiempo.

  • Los autores señalan que esta condición es puramente parabólica. Difiere de la condición de brecha elíptica óptima ($q-p \le \kappa/(1-\gamma)$) y es estrictamente más estricta en el sentido de que la brecha permitida es menor cuando $p \ge 2$.
  • La cota refleja la regularidad temporal de la solución; los autores observan que si la regularidad temporal pudiera mejorarse de $\gamma/q$ a $\gamma/2$, se recuperaría la condición de brecha elíptica.

• Extensión a Coeficientes $Z_\kappa$: El artículo es el primero en aplicar la clase $Z_\kappa$ (utilizada previamente en problemas de doble fase elípticos) al contexto parabólico. Esto permite el tratamiento de coeficientes que no son necesariamente continuos en Hölder en el tiempo, siempre que satisfagan la cota de un solo lado y la condición de monotonía suave.

• Nueva Técnica de Suavizado: La introducción del promedio de Steklov sesgado proporciona un mecanismo para derivar estimaciones de energía sin asumir que $a$ es continua en Hölder en el tiempo, superando las limitaciones del suavizado espacio-temporal estándar cuando $\kappa > 1$.

• Teorema Principal: Para una solución débil $u$ que es localmente $\gamma$-Hölder continua en el espacio y $\gamma/q$-Hölder continua en el tiempo, existe un $\epsilon_0 > 0$ tal que para cualquier $\epsilon \in (0, \epsilon_0)$:
  $$\fint_{Q_r(z_0)} H(z, |Du|)^{1+\epsilon} \, dz \le c \left( \frac{2 + \|a\|_\infty}{r^{q-2\gamma}} \right)^{1 + \frac{\epsilon q}{2}}$$
  Esto confirma la integrabilidad superior local del gradiente en el espacio de Orlicz-Sobolev asociado al funcional de doble fase.

Significado y Reivindicaciones
El artículo afirma avanzar en la teoría de la regularidad de problemas parabólicos de elipticidad no uniforme mediante:

1. Relajación de los Supuestos de Regularidad: Ir más allá del supuesto estándar de $C^{\alpha, \alpha/2}$ sobre el coeficiente $a$ hacia la clase más amplia $Z_\kappa$, que modela mejor los materiales con elasticidad variable.
2. Refinamiento de la Condición de Brecha: Proporcionar una cota de brecha que es intrínseca a la naturaleza parabólica de la ecuación, vinculando explícitamente la brecha permitida entre $p$ y $q$ con la regularidad de Hölder temporal de la solución.
3. Innovación Metodológica: Demostrar que el promedio de Steklov sesgado es una alternativa viable al truncamiento de Lipschitz para derivar estimaciones de energía en entornos donde la regularidad del coeficiente es insuficiente para los métodos estándar.

Los autores declaran explícitamente que su enfoque se extiende a sistemas y al régimen singular ($p < 2$), aunque el presente trabajo se restringe a ecuaciones escalares homogéneas debido a que la regularidad de Hölder para sistemas y para el caso singular aún no se ha establecido plenamente en la literatura. También señalan que la cota de brecha derivada puede no ser exacta, ya que el fenómeno está gobernado enteramente por la regularidad temporal en el entorno parabólico.