Short-time behavior and invariant surfaces for caloric functions with non-constant boundary values

Resumen Técnico: Comportamiento de Corto Tiempo y Superficies Invariantes para Funciones Calóricas con Valores de Frontera No Constantes

Planteamiento del Problema
Este artículo investiga el comportamiento asintótico de corto tiempo de las soluciones al problema de Cauchy-Dirichlet para ecuaciones de calor con coeficientes variables en forma no divergente. El estudio se centra en un escenario específico donde los datos iniciales son homogéneos ($u_0 \equiv 0$), mientras que los valores de Dirichlet en la frontera ($f$) son no constantes. Los autores abordan dos objetivos primarios:

1. Derivar fórmulas asintóticas para la solución $u(x,t)$ y su resolvente asociado $U_\varepsilon(x)$ cuando $t \to 0^+$ y $\varepsilon \to 0^+$, respectivamente, extendiendo las fórmulas clásicas de Varadhan para casos donde $f$ puede anularse o cambiar de signo.
2. Utilizar estos resultados asintóticos para analizar la geometría de las "superficies invariantes en el tiempo" (superficies de nivel $\Gamma$ donde $u(x,t) = c(t)$) en presencia de tales datos de frontera no constantes.

Metodología
Los autores emplean una combinación de técnicas de la teoría de soluciones viscosas, control estocástico y análisis espectral:

• Soluciones Viscosas y Barreras: La derivación de las fórmulas asintóticas combina los métodos originales de construcción de barreras de Varadhan con el marco de soluciones viscosas desarrollado por Evans e Ishii. Esto implica una transformación de Hopf-Cole ($V_\varepsilon = -\varepsilon \log U_\varepsilon$) para convertir el problema elíptico lineal en uno no lineal relacionado con la ecuación eiconal.
• Compacidad y Regularización: Los autores establecen la compacidad de Arzelà-Ascoli para la familia de soluciones transformadas $\{V_\varepsilon\}$ y utilizan técnicas de convolución para regularizar las funciones de distancia, demostrando que actúan como subsoluciones de las ecuaciones pertinentes.
• Relaciones de la Transformada de Laplace: La conexión entre la solución parabólica $u$ y el resolvente elíptico $U_\varepsilon$ se formaliza mediante una transformada de Laplace modificada. Los autores aprovechan argumentos de tipo Tauberiano (específicamente la Lema A.1) para transferir los resultados asintóticos del régimen elíptico al parabólico.
• Análisis Geométrico: Para los resultados de rigidez, el artículo emplea el método de planos móviles (método de Serrin), el principio de reflexión de Alexandrov y el estudio de las curvaturas principales. Los autores analizan el comportamiento de largo tiempo de las soluciones para mostrar que la existencia de superficies invariantes impone fuertes restricciones sobre los datos de frontera.

Contribuciones Claves y Resultados

1. Fórmulas de Varadhan Extendidas
El artículo generaliza las fórmulas clásicas de Varadhan, que relacionan el comportamiento de corto tiempo de los núcleos de calor con las funciones de distancia riemanniana.

• Valores de Frontera No Negativos: Cuando $f \ge 0$ y no es idénticamente cero, los autores demuestran que el comportamiento asintótico está gobernado por la distancia al conjunto $S = \{x \in \partial\Omega : f(x) > 0\}$. Específicamente:
  $$\lim_{t \to 0^+} [-4t \log u(x,t)] = d_S(x)^2$$
  $$\lim_{\varepsilon \to 0^+} [-\varepsilon \log U_\varepsilon(x)] = d_S(x)$$
  donde $d_S$ es la distancia intrínseca derivada de la matriz de coeficientes $A(x)$.
• Valores de Frontera con Cambio de Signo: Cuando $f$ cambia de signo, las asíntotas dependen de las distancias relativas a los conjuntos positivo $S_+$ y negativo $S_-$. El límite está determinado por el conjunto más cercano ($S_+$ o $S_-$), siempre que las distidades sean distintas. El caso donde las distancias son iguales ($d_{S_+} = d_{S_-}$) se muestra como delicado, pudiendo conducir a límites infinitos o dependencia de los valores específicos de $f$.

2. Asíntotas para el Contenido de Calor en Esferas
Para el operador de Laplace clásico ($A(x)=I$), los autores derivan nuevas fórmulas asintóticas para el contenido de calor (y el valor medio del resolvente) en esferas que tocan la frontera. Estas fórmulas extienden los resultados previos de Sakaguchi y del segundo autor a valores de frontera no constantes. Los límites involucran las curvaturas principales de la frontera en el punto de contacto y el valor de la función de frontera $f$ en dicho punto.

3. Resultados de Rigidez y Simetría
El artículo aplica las fórmulas derivadas para caracterizar las superficies invariantes en el tiempo:

• Simetría para Datos No Negativos: Si los datos de frontera son no negativos y existe una superficie invariante en el tiempo para todo el tiempo, el dominio $\Omega$ y la superficie deben ser bolas concéntricas, y los datos de frontera $f$ deben ser constantes. Este resultado se logra analizando el comportamiento de largo tiempo, lo que fuerza a que los datos de frontera sean constantes vía analiticidad.
• Dos Superficies Invariantes: Si existen dos superficies invariantes en el tiempo disjuntas para tiempos cortos (sin depender del comportamiento de largo tiempo), el dominio y las superficies son bolas concéntricas, y $f$ es constante.
• No Existencia para Datos con Cambio de Signo: Si los datos de frontera cambian de signo y el dominio satisface ciertas condiciones de regularidad, no puede existir una superficie invariante en el tiempo que esté contenida compactamente dentro del dominio (es decir, que no toque la frontera). Los autores señalan que en este régimen pueden existir superficies invariantes que se extiendan hasta la frontera o con autointersecciones.

Significancia y Reivindicaciones
El artículo afirma extender las célebres fórmulas de Varadhan a una clase más amplia de condiciones de frontera, abordando específicamente el caso donde los valores de frontera se anulan o cambian de signo, un escenario no cubierto por los resultados estándar previos. Los autores enfatizan que su enfoque unifica los comportamientos elípticos (difusión lenta) y parabólicos (corto tiempo).

Respecto a la rigidez, el artículo destaca que la presencia de valores de frontera no constantes altera significativamente el panorama de las superficies invariantes en el tiempo. Mientras que los valores de frontera constantes permiten la simetría esférica, la introducción de datos con cambio de signo generalmente impide la existencia de superficies invariantes contenidas compactamente. Los autores posicionan su trabajo como un paso necesario para comprender la "sobredeterminación" introducida por las superficies invariantes en entornos no homogéneos, proporcionando una base para futuras investigaciones sobre la delicada geometría de las superficies en regímenes de cambio de signo. Los resultados se presentan como extensiones rigurosas de la literatura existente sobre el Problema de la Sopa de Matzah Ball y preguntas de rigidez relacionadas.