Barriers, Barenblatt solutions and regularity of soda can domains for the heat equation and nonlinear $p$-parabolic equations

Aquí se presenta un resumen técnico detallado del artículo "Barreras, soluciones de Barenblatt y regularidad de dominios tipo lata de refresco para la ecuación del calor y ecuaciones p-parabólicas no lineales" de Anders Björn y Jana Björn.

1. Planteamiento del Problema

El artículo investiga la regularidad del borde del origen $(0,0)$ para el problema de Dirichlet asociado con la ecuación p-parabólica:
$$\partial_t u - \Delta_p u = 0, \quad \text{donde } \Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u),$$
en dominios no cilíndricos específicos conocidos como "dominios tipo lata de refresco".

Estos dominios se definen como:
$$\Theta_{l,\theta} := \{(x, t) \in \mathbb{R}^{n+1} : 0 < -t < \theta|x|^l < \theta\},$$
donde $l, \theta > 0$. Geométricamente, para $l > 1$, estos dominios se asemejan al interior cóncavo del fondo de una lata de refresco. Las secciones temporales son anillos no convexos con radios internos decrecientes que convergen a una bola punteada cuando $t \to 0$.

La pregunta central es: ¿Bajo qué condiciones sobre el exponente $l$, la dimensión $n$ y el parámetro $p$ es el origen $(0,0)$ un punto regular del borde?
Un punto es regular si la solución del problema de Dirichlet alcanza los datos de borde continuos de manera continua en ese punto.

2. Metodología

Los autores emplean una combinación de técnicas clásicas de la teoría del potencial adaptadas al contexto parabólico no lineal:

• Construcción de Barreras: La herramienta principal es la construcción de barreras y familias de barreras. Una barrera es una función $p$-superparabólica positiva que se anula en el punto del borde pero está acotada lejos de cero en otros lugares. La existencia de una familia de tales barreras es equivalente a la regularidad (Teorema 3.3).
• Argumentos de Escalamiento: Los autores utilizan lemas de escalamiento (Lema 3.6) para demostrar que, para $p \neq 2$, la regularidad es independiente del parámetro de escalamiento $\theta$. Esto les permite normalizar los dominios para su análisis.
• Dos Tipos de Barreras:
  1. Barreras de tipo potencia: Funciones de la forma $v(x,t) \sim |x|^\alpha + t$. Estas se utilizan para establecer la regularidad para rangos específicos de $l$ y $p$.
  2. Barreras de tipo Barenblatt: Utilizando la solución fundamental de Barenblatt (una solución autosimilar a la ecuación p-parabólica) para construir barreras. Este enfoque es particularmente efectivo para el rango $p/(p-1) \le l \le p$ cuando $p > 2$.
• Criterio de Wiener (Ecuación del Calor): Para el caso lineal ($p=2$), los autores aplican el criterio de Wiener para la ecuación del calor (usando capacidad térmica) para derivar condiciones necesarias y suficientes para la regularidad.
• Principios de Comparación: Las pruebas dependen en gran medida del principio de comparación parabólico y del método de Perron para construir soluciones.

3. Contribuciones y Resultados Clave

El artículo proporciona una caracterización casi completa de la regularidad para dominios tipo lata de refresco, distinguiendo entre el caso lineal ($p=2$) y los casos no lineales ($p \neq 2$).

A. El Caso No Lineal ($p \neq 2$)

• Regularidad para $l$ grande:
  • Si $1 < p \le 2$ y $l > p$, el origen es regular (Proposición 1.2).
  • Si $p > 2$ y $l > p$, el origen es regular (Teorema 1.1).
  • Si $p > n$ (independientemente de $l$), el origen es regular (Proposición 1.3).
• Irregularidad para $l$ pequeño (cuando $1 < p < 2 \le n$):
  • El origen es irregular si $l$ es suficientemente pequeño. Específicamente, si $p < \frac{2n}{n+1}$, la irregularidad se cumple para $l \le p$. Si $p \ge \frac{2n}{n+1}$, la irregularidad se cumple para $l < \frac{(n-p)(2-p)}{p-1}$ (Proposición 1.4).
• Regularidad Parcial para $l$ intermedio ($p > 2$):
  • Para el rango $p/(p-1) \le l \le p$, los autores prueban regularidad parcial. El origen es regular para datos de borde $f$ que son "pequeños" cerca del origen, satisfaciendo una condición de crecimiento específica:
    $$|f(x,t) - f(0,0)| \le C \min\{|x|, \delta\}^{p/(p-1)}.$$
  • Este resultado se logra mediante dos pruebas distintas: una usando barreras de tipo potencia y otra usando soluciones de Barenblatt (Proposición 1.6).
  • Problema Abierto: Se desconoce si el origen es totalmente regular para datos de borde grandes en el rango $p/(p-1) \le l \le p$ cuando $p > 2$.

B. El Caso Lineal ($p = 2$, Ecuación del Calor)

Los autores proporcionan una caracterización completa para $n \ge 2$:

• Dimensión $n=2$: El origen es regular para todo $l > 0$. Sin embargo, es irregular para el cilindro punteado (un caso límite).
• Dimensión $n \ge 3$: El origen es regular si y solo si $l \ge 2$.
  • Esto contrasta con el caso no lineal donde el umbral depende de $p$.
  • La prueba utiliza el criterio de Wiener que involucra la capacidad térmica de cilindros.

C. Comparación con Trabajos Anteriores

• El artículo contrasta estos resultados con el criterio de Petrovskiĭ (1935) para secciones temporales convexas, donde la regularidad depende de correcciones logarítmicas.
• Destaca que para $p \neq 2$, la regularidad es independiente del escalamiento radial en $x$ o $t$, una propiedad que no comparte la ecuación del calor ($p=2$).
• Corrige una afirmación en Kilpeläinen–Lindqvist sobre la suficiencia de una bola exterior que toca desde el pasado para todo $p$, mostrando que una sola barrera es insuficiente para $1 < p < 2$.

4. Significado e Implicaciones

1. Insight Geométrico: El estudio de dominios "tipo lata de refresco" (no convexos, con contracción de ley de potencia) llena un vacío entre dominios convexos (Petrovskiĭ) y dominios cilíndricos. Revela que la geometría de la sección temporal (anular vs. disco) altera significativamente las condiciones de regularidad, especialmente para $p \neq 2$.
2. Avance Metodológico: La aplicación exitosa de soluciones de Barenblatt para construir barreras para ecuaciones p-parabólicas en dominios no cilíndricos demuestra una técnica poderosa para manejar la degeneración no lineal. El hecho de que tanto las barreras de tipo potencia como las de tipo Barenblatt produzcan los mismos límites precisos para la regularidad parcial sugiere una profunda conexión estructural.
3. Interpretación Física:
   • Difusión: Los resultados modelan la concentración de una sustancia que difunde desde una fuente que se contrae (por ejemplo, una partícula que se disuelve). La regularidad implica que la concentración se aproxima al valor del borde de manera continua a medida que la fuente desaparece; la irregularidad implica un posible salto o discontinuidad.
   • Transferencia de Calor: En el contexto de un calentador/enfriador moviéndose a través de un medio, los resultados determinan si la temperatura del medio cerca del punto de separación refleja la temperatura final del cuerpo.
4. Problemas Abiertos: El artículo identifica brechas críticas, particularmente respecto a la regularidad completa para $p > 2$ en el rango intermedio $p/(p-1) \le l \le p$ y las fórmulas precisas de capacidad para cilindros parabólicos en $n=2$.

Tabla Resumen de Condiciones de Regularidad (Simplificada)

Este trabajo avanza significativamente la comprensión del comportamiento del borde para ecuaciones parabólicas no lineales en dominios variables en el tiempo, proporcionando criterios precisos y nuevas construcciones de barreras.