On the Hölder continuity of signed solutions to doubly nonlinear parabolic equations in the mixed degenerate/singular cases

Resumen Técnico: Continuidad Hölder de Soluciones con Signo Cambiante en Ecuaciones Parabólicas Doble No Lineales

1. Planteamiento del Problema

El artículo aborda la regularidad interna (continuidad Hölder) de soluciones débiles locales que cambian de signo para ecuaciones parabólicas doblemente no lineales de la forma:
$$\frac{\partial}{\partial t}(|u|^{q-1}u) - \text{div}(|Du|^{p-2} Du) = 0$$
o, más generalmente, con coeficientes medibles $A(x,t,u,Du)$ que satisfacen condiciones de estructura de crecimiento y coercividad.

El foco principal son los casos mixtos degenerados/singulares que no habían sido estudiados previamente para soluciones que cambian de signo (hasta ahora solo se conocían para soluciones no negativas). Específicamente, el trabajo se centra en dos regímenes:

1. Caso Degenerado/Singular: $0 < q < p - 1$ y $p < 2$.
2. Caso Singular/Degenerado: $q > p - 1$ y $p > 2$.

Estos casos presentan dificultades técnicas significativas debido a la singularidad o degeneración simultánea en los puntos donde $u=0$ (por el término temporal) y donde $Du=0$ (por el término espacial).

2. Metodología

La prueba se basa en la extensión del método de rescalado de DiBenedetto, adaptado para manejar soluciones con signo. La estrategia general sigue los siguientes pasos:

• Descomposición del Problema: Se reduce la prueba de la continuidad Hölder a un caso singular mediante el uso de cilindros parábólicos adaptados $Q_{r, b\omega^{q-p+1}r^p}$, donde $\omega$ representa la oscilación de la solución.
• Desigualdades de Harnack Integrales para Signo Cambiante: El núcleo de la novedad metodológica es la demostración de nuevas versiones de desigualdades de tipo Harnack integral (Teoremas 1.2 y 1.3) aplicables a soluciones que cambian de signo. Estas desigualdades controlan la oscilación de la solución en términos de integrales de cantidades relacionadas con $|u|^{q-1}u$.
  • Para el caso $q < p-1, p < 2$, se utiliza una estimación que involucra potencias de la oscilación y el tiempo.
  • Para el caso $q > p-1, p > 2$, se requiere una estimación diferente que explota la estructura de la no linealidad temporal.
• Lemas de Expansión de Positividad: Se demuestra un teorema clave (Teorema 1.4) sobre la expansión de la positividad para soluciones con signo. Este resultado establece que si la solución es "suficientemente grande" en un conjunto de medida positiva en un instante, se expande a un subconjunto más grande en un tiempo posterior, incluso cuando la solución cruza cero.
• Iteración y Reducción de Oscilación: Se combinan las desigualdades de Harnack con lemas de tipo De Giorgi (Lemas 2.4 y 2.5) para demostrar que la oscilación de la solución disminuye geométricamente al reducir el tamaño del cilindro, lo que implica la continuidad Hölder.

3. Contribuciones Clave

• Generalización de Rangos de Parámetros: El artículo extiende el conocimiento existente sobre la regularidad Hölder a regímenes de parámetros $(p, q)$ que anteriormente solo se habían estudiado para soluciones no negativas. Específicamente, cubre los casos mixtos donde la ecuación es simultáneamente degenerada en una variable y singular en la otra.
• Tratamiento de Soluciones con Signo Cambiante: A diferencia de trabajos previos que asumían $u \geq 0$, este trabajo maneja rigurosamente la complejidad introducida por el término $|u|^{q-1}u$ cuando $u$ cambia de signo, lo cual rompe la monotonicidad estándar y requiere nuevas estimaciones algebraicas y analíticas.
• Nuevas Desigualdades de Harnack: La demostración de los Teoremas 1.2 y 1.3 proporciona herramientas fundamentales para el análisis de ecuaciones doblemente no lineales en contextos donde la solución no mantiene un signo fijo.

4. Resultados Principales

• Teorema 1.1 (Resultado Principal): Se prueba que cualquier solución débil local y acotada $u$ de la ecuación (1.1) bajo las condiciones de parámetros mixtos ($0 < q < p-1, p<2$ o $q > p-1, p>2$) es localmente Hölder continua en $\Omega_T$.
• Proposición 1.1: Establece que la oscilación de la solución en un cilindro más pequeño está acotada por una fracción estricta ($\sigma_0 < 1$) de la oscilación original, lo cual es el paso inductivo necesario para la continuidad.
• Teoremas 1.2 y 1.3: Proporcionan las desigualdades de Harnack integrales específicas para los dos casos de parámetros, demostrando que la integral de la diferencia entre el valor máximo/mínimo y la solución está controlada por términos de escala.
• Teorema 1.4: Establece la expansión de positividad para soluciones con signo, asegurando que la solución se aleja de cero en un subdominio si cumple ciertas condiciones iniciales de medida.

5. Significado e Impacto

Este trabajo es fundamental para la teoría de ecuaciones en derivadas parciales no lineales porque:

1. Cierra Brechas Teóricas: Resuelve la cuestión de la regularidad en regímenes mixtos que habían permanecido abiertos para soluciones generales (con signo).
2. Aplicabilidad: Las ecuaciones tratadas modelan fenómenos físicos complejos como el flujo en medios porosos (ecuación de medio poroso, $p=2$), difusión no lineal (ecuación $p$-Laplaciana, $q=1$) y la ecuación de Trudinger ($q=p-1$). La capacidad de manejar soluciones que cambian de signo es crucial para modelar fenómenos donde la densidad o la concentración pueden variar en signo o cruzar cero.
3. Herramientas Nuevas: Las técnicas desarrolladas, especialmente las desigualdades de Harnack para soluciones con signo, son herramientas que probablemente serán aplicables a otros problemas de regularidad en ecuaciones parabólicas no lineales más generales.

En resumen, el artículo demuestra que, a pesar de la complejidad introducida por la doble no linealidad y el cambio de signo, la estructura intrínseca de la ecuación preserva la regularidad Hölder, generalizando así resultados clásicos de la teoría de DiBenedetto y otros autores a un contexto mucho más amplio.