Dorothee Haroske: La geometría de la suavidad

Existe una cátedra en la Universidad de Jena dedicada no al análisis en general, sino a los espacios de funciones en particular: un tema único, profundo y técnico. Fue fundada por Hans Triebel, cuyo nombre está asociado a una de las dos grandes escalas de clasificación de dichos espacios. Dorothee Haroske obtuvo su doctorado bajo la supervisión de Triebel en 1995 y actualmente ocupa esa cátedra, dirigiendo un grupo de investigación con más de cincuenta años de trabajo ininterrumpido en una cuestión: ¿cómo clasificar las infinitas funciones posibles según su grado de suavidad y qué se deduce una vez hecho esto?

Jena, casi sin interrupción

Haroske nació en 1968 en Alemania. Completó sus estudios en la Universidad Friedrich Schiller de Jena en 1992, su doctorado allí en 1995 y su habilitación en 2002. De 2003 a 2006 dirigió un grupo de investigación junior en Jena sobre análisis fractal. Su primera cátedra llegó en Jena en 2010, una segunda en la Universidad de Rostock en 2017 y, en 2018, regresó a Jena para ocupar una tercera: la cátedra de espacios de funciones. Aparte de ese año en la costa báltica, toda su carrera ha transcurrido en un único departamento universitario, trabajando en un mismo círculo de problemas. En una era de movilidad académica incesante, esto es una limitación o una forma de concentración, y su producción sugiere lo segundo.

Para qué sirve un espacio de funciones

El tema suena prohibitivamente abstracto, pero en realidad es profundamente práctico. Supongamos que se quiere resolver una ecuación diferencial: la ecuación del calor, por ejemplo, o un problema elíptico de valor en la frontera que describe una membrana. Es necesario saber qué tipo de objeto es la solución: ¿cuántas veces se puede diferenciar? ¿Se mantiene acotada? ¿Es continua?

Los espacios de funciones responden a esto agrupando las funciones según su suavidad y su tamaño. Los espacios de Sobolev fueron el primer gran éxito. Las escalas de Besov y Triebel-Lizorkin, desarrolladas más tarde, son instrumentos más precisos: familias de espacios indexados por parámetros que permiten especificar la suavidad en cantidades fraccionarias y medirla de diferentes maneras. El grupo de Haroske trabaja en la teoría general de estos espacios: descomponiéndolos mediante átomos, quarks y ondículas, manejando espacios con suavidad generalizada, espacios anisotrópicos donde la suavidad difiere según la dirección, espacios ponderados y espacios definidos en dominios en lugar de en todo el espacio euclidiano.

Números de entropía

Su tesis doctoral, supervisada por Triebel, versó sobre los números de entropía y los números de aproximación en espacios de funciones ponderados, y su conexión con las distribuciones de valores propios. Esa cadena de ideas es el núcleo de su trabajo y merece ser desglosada.

Una inmersión es una afirmación de que toda función en un espacio reside automáticamente en otro; que un cierto grado de suavidad fuerza un cierto grado de buen comportamiento. Las inmersiones interesantes son compactas, lo que significa, a grandes rasgos, que el primer espacio no solo está contenido en el segundo, sino comprimido dentro de él. Los números de entropía miden exactamente cuán estrecha es esa compresión: cuántas bolas pequeñas se necesitan para cubrir la imagen de la bola unidad. Los números de aproximación miden algo relacionado: qué tan bien puede ser imitada la inmersión por un operador de rango finito.

La recompensa es espectral. Si se pueden acotar con precisión los números de entropía de una inmersión, se pueden acotar los valores propios de los operadores diferenciales construidos sobre esos espacios, y los valores propios son las cantidades físicamente significativas: las frecuencias de resonancia de un tambor, los niveles de energía de un sistema, las tasas de decaimiento de una difusión. Una medición puramente geométrica de cómo un espacio se sitúa dentro de otro se traduce en una declaración sobre cómo vibra un objeto físico. Haroske ha pasado treinta años haciendo esa traducción más precisa.

Fractales

El grupo de análisis fractal que dirigió desde 2003 aplicó la misma maquinaria en terrenos más accidentados. El análisis clásico vive en dominios suaves: intervalos, discos, regiones bien comportadas con límites ordenados. Los fractales no tienen nada de eso: límites infinitamente arrugados, dimensión no entera, sin planos tangentes. Construir espacios de funciones sobre fractales, y realizar la teoría espectral para operadores definidos sobre ellos, requiere reconstruir la teoría desde cimientos que ya no asumen suavidad en ninguna parte. Su grupo continúa trabajando en espacios sobre fractales y la teoría espectral de operadores sobre ellos, junto con la teoría de la suavidad local, la regularidad de Besov, el análisis de Fourier, la teoría de la aproximación y los problemas de valor en la frontera no lineales.

Libros

Escribió Envelopes and Sharp Embeddings of Function Spaces en 2007. El tema es el límite: los casos donde un teorema de inmersión estándar apenas se sostiene, o apenas falla, y donde las estimaciones rudimentarias no dicen nada útil. Las funciones envolventes son la herramienta para describir con precisión qué tan mal puede comportarse una función justo en ese caso límite. En 2008 publicó Distributions, Sobolev Spaces, Elliptic Equations con Triebel, un texto de posgrado que lleva al lector desde la teoría general hasta las ecuaciones diferenciales para las que fue creada. También editó el Volumen del Aniversario de Hans Triebel en 2003.

El Premio Copérnico

En 2026, Haroske y el matemático polaco Leszek Skrzypczak recibieron el Premio Copérnico, otorgado por logros excepcionales en la cooperación científica polaco-alemana, por su trabajo conjunto en análisis matemático. Es un premio a una colaboración más que a un individuo, lo que se ajusta a una carrera construida sustancialmente sobre asociaciones de larga duración.

Por qué Dorothee es llamada genio

No lo es, en ningún sentido documentado. Ninguna fuente examinada aquí utiliza la palabra, y la mención del Premio Copérnico honra la cooperación y el logro conjunto en lugar de una brillantez singular. No existe un teorema de Haroske en circulación general, y su trabajo más citado está coescrito con su supervisor de doctorado.

La calidad intelectual que muestra su historial es la precisión en el límite. Las matemáticas interesantes en la teoría de espacios de funciones casi nunca están en el cómodo interior de un rango de parámetros, donde los resultados son fáciles y las estimaciones son generosas; están en los casos límite, donde una inmersión está a punto de fallar y todas las herramientas existentes se vuelven romas. Elegir trabajar allí, repetidamente, y construir instrumentos (envolventes, estimaciones de entropía precisas) específicamente para esos casos es un tipo distintivo de gusto matemático. Es el equivalente del analista a insistir en el último decimal, y es donde reside la dificultad real.

El contraargumento es enfático y ella probablemente lo plantearía ella misma. Su logro es acumulativo a lo largo de tres décadas, profundamente colaborativo (con Triebel, con Skrzypczak, con un grupo de investigación que heredó en lugar de fundar) y altamente especializado: la teoría de espacios de funciones es un subcampo cuyos practicantes activos podrían llenar un aula, no un estadio. Es una figura destacada en un área profunda y estrecha, y la descripción honesta de eso es la excelencia, sostenida, en una disciplina que avanza exactamente mediante este tipo de trabajo paciente en lugar de destellos individuales.

Legado

El acto más trascendental de Haroske puede ser su labor de custodia. El grupo de espacios de funciones de Jena es uno de los programas de investigación continua más longevos en análisis matemático en cualquier lugar, y ella lo tomó de su fundador y lo mantuvo a la vanguardia del campo, extendiéndolo a fractales, espacios ponderados y suavidad generalizada en lugar de simplemente mantenerlo. Sus libros son referencias estándar para cualquiera que se inicie en el tema. Y la maquinaria que ha perfeccionado (números de entropía que gobiernan los valores propios) continúa realizando un trabajo silencioso e invisible cada vez que alguien necesita saber cómo se comporta un operador diferencial en un dominio que se niega a ser suave.