Imagen: Íñigo de Amescua/ICMAT
Un equipo internacional con participación del ICMAT demuestra que, en dominios cuya frontera es un grafo parabólico, la buena difusión del calor implica una regularidad geométrica precisa y cuantificable. El resultado, publicado en Inventiones mathematicae, resuelve un problema abierto desde hace décadas y establece un puente entre la medida calórica, la geometría de la frontera y la solvencia del problema de Dirichlet para la ecuación del calor.
Un estudio reciente resuelve un problema clásico sobre la ecuación del calor que había permanecido sin resolver durante décadas, considerado como una de las cuestiones centrales en este campo. El problema puede describirse de la siguiente manera: si se sabe cuál es la temperatura en el límite de una región (cuya forma puede ser irregular e incluso cambiar con el tiempo), ¿es posible determinar la temperatura en todo el interior de una manera estable y bien controlada?
Por ejemplo, en una pieza de metal con un contorno ligeramente rugoso cuya geometría evoluciona con el tiempo, si algunas partes de su superficie se calientan y otras se enfrían, el calor se difunde hacia el interior según la ecuación del calor, pero ¿las irregularidades del contorno pueden amplificarse y producir un comportamiento patológico de la difusión del calor? Por el contrario, si se sabe que la temperatura en el interior se comporta de forma estable y controlada, ¿esto obliga que el contorno de la pieza de metal posea cierta regularidad geométrica intrínseca?
El artículo publicado en Inventiones Mathematicae, titulado “Solvability of the Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph”, y escrito por Simon Bortz (Universidad de Alabama), Steve Hofmann (Universidad de Missouri), José María Martell (ICMAT-CSIC) y Kaj Nyström (Universidad de Uppsala), estudia precisamente esta cuestión para dominios cuyo límite puede describirse como un gráfico de Lipschitz de una función que depende del espacio y el tiempo.
Los autores demuestran que la estabilidad analítica de la difusión del calor dentro de dicho dominio no solo está influida por la geometría del contorno, sino que, de hecho, está completamente determinada por ella. Más concretamente, demuestran que tres condiciones que antes solo se entendían parcialmente —la solubilidad del problema de Dirichlet en esoacios de Lebesgue; el control cuantitativo de la medida calórica, que describe el comportamiento de la temperatura dentro del dominio; y una propiedad geométrica conocida como rectificabilidad parabólica uniforme— son en realidad equivalentes.
En términos concretos, si la medida del calor se comporta de manera comparable a la medida natural de la superficie, entonces el contorno debe poseer una estructura geométrica precisa y cuantificable: aunque pueda parecer irregular, es irregular de una manera controlada y medible. Técnicamente, esto corresponde a que la derivada temporal fraccionaria de orden ½ de la función definidora del contorno pertenezca al espacio funciones con oscilación media acotada, una condición que resulta ser el criterio geométrico adecuado.
Trabajos anteriores habían demostrado que ciertas suposiciones geométricas garantizan la solubilidad, pero se desconocía si esas suposiciones también eran necesarias. Al demostrar la equivalencia total, este artículo proporciona una caracterización completa de los dominios gráficos parabólicos que permiten resolver el problema de Dirichlet para la ecuación del calor, cerrando así una brecha que llevaba abierta muchos años y completando un programa iniciado en el trabajo fundamental de John L. Lewis y Margaret A. M. Murray.
Conceptualmente, la demostración introduce una perspectiva sorprendentemente original: analiza los conjuntos de nivel de la función de Green, que describe la influencia puntual de la ecuación del calor, tratándolos como extensiones del propio contorno y probando estimaciones refinadas de tipo Littlewood-Paley que miden la oscilación en las diferentes escalas. Estas estimaciones permiten conectar el comportamiento analítico, la estructura geométrica y la solubilidad del contorno dentro de un único marco unificado.
El establecimiento de puente definitivo entre la geometría, el análisis y la difusión del calor, el trabajo ofrece un teorema óptimo estructural, frente a los resultados parciales que se conocían hasta entonces. Con ello, surge un nuevo punto de referencia para la investigación en ecuaciones diferenciales parciales parabólicas, análisis armónico y teoría de la medida geométrica.
Referencia
Bortz, S., Hofmann, S., Martell, J.M. et al. Solvability of the Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph. Invent. math. 239, 165–217 (2025). https://doi.org/10.1007/s00222-024-01300-1