Dorothee Haroske : La géométrie de la régularité

Il existe à l'Université d'Iéna une chaire consacrée non pas à l'analyse en général, mais aux espaces de fonctions en particulier — un sujet unique, profond et technique. Elle a été fondée par Hans Triebel, dont le nom est attaché à l'une des deux grandes échelles de classification de ces espaces. Dorothee Haroske a obtenu son doctorat sous la direction de Triebel en 1995 et occupe désormais cette chaire, dirigeant un groupe de recherche avec plus de cinquante ans de travaux ininterrompus sur une question : comment trier les fonctions infiniment nombreuses selon leur degré de régularité, et qu'en déduit-on une fois cela fait ?

Iéna, presque sans interruption

Haroske est née en 1968 en Allemagne. Elle a terminé ses études à l'Université Friedrich Schiller d'Iéna en 1992, son doctorat en 1995 et son habilitation en 2002. De 2003 à 2006, elle a dirigé un groupe de recherche junior à Iéna sur l'analyse fractale. Sa première chaire a été obtenue à Iéna en 2010, une seconde à l'Université de Rostock en 2017, et en 2018, elle était de retour à Iéna pour une troisième : la chaire des espaces de fonctions. En dehors de cette année sur la côte baltique, toute sa carrière s'est déroulée dans un seul département universitaire, travaillant sur un seul cercle de problèmes. À une époque de mobilité académique incessante, c'est soit une limite, soit une forme de concentration, et sa production suggère cette dernière.

À quoi sert un espace de fonctions

Le sujet semble abstrait, mais il est en fait profondément pratique. Supposons que vous souhaitiez résoudre une équation différentielle — l'équation de la chaleur, par exemple, ou un problème aux limites elliptique décrivant une membrane. Vous devez savoir quel type d'objet est la solution : combien de fois peut-elle être différenciée ? Reste-t-elle bornée ? Est-elle continue ?

Les espaces de fonctions répondent à cela en regroupant les fonctions selon leur régularité et leur taille. Les espaces de Sobolev furent le premier grand succès. Les échelles de Besov et Triebel-Lizorkin, développées plus tard, sont des instruments plus fins : des familles d'espaces indexés par des paramètres qui permettent de spécifier la régularité en quantités fractionnaires et de la mesurer de différentes manières. Le groupe de Haroske travaille sur la théorie générale de ces espaces — en les décomposant via des atomes, des quarks et des ondelettes, en traitant des espaces à régularité généralisée, des espaces anisotropes où la régularité diffère selon la direction, des espaces pondérés et des espaces définis sur des domaines plutôt que sur tout l'espace euclidien.

Nombres d'entropie

Sa thèse de doctorat, supervisée par Triebel, concernait les nombres d'entropie et les nombres d'approximation dans les espaces de fonctions pondérés, ainsi que leur lien avec les distributions de valeurs propres. Cette chaîne d'idées est au cœur de son travail et mérite d'être détaillée.

Un plongement est une affirmation selon laquelle chaque fonction d'un espace se trouve automatiquement dans un autre — qu'un certain degré de régularité force un certain degré de bon comportement. Les plongements intéressants sont compacts, ce qui signifie, en gros, que le premier espace n'est pas seulement contenu dans le second, mais compressé à l'intérieur. Les nombres d'entropie mesurent exactement à quel point la compression est serrée : combien de petites boules sont nécessaires pour couvrir l'image de la boule unité. Les nombres d'approximation mesurent une chose connexe : à quel point le plongement peut être imité par un opérateur de rang fini.

Le gain est spectral. Si vous pouvez borner précisément les nombres d'entropie d'un plongement, vous pouvez borner les valeurs propres des opérateurs différentiels construits sur ces espaces — et les valeurs propres sont les quantités physiquement significatives : les fréquences de résonance d'un tambour, les niveaux d'énergie d'un système, les taux de décroissance d'une diffusion. Une mesure purement géométrique de la façon dont un espace s'insère dans un autre se traduit par une déclaration sur la façon dont un objet physique vibre. Haroske a passé trente ans à rendre cette traduction plus précise.

Fractales

Le groupe d'analyse fractale qu'elle a dirigé à partir de 2003 a poursuivi la même machinerie sur un terrain plus accidenté. L'analyse classique vit sur des domaines lisses — intervalles, disques, régions bien comportées avec des frontières nettes. Les fractales n'ont rien de tout cela : frontières infiniment froissées, dimension non entière, pas de plans tangents. Construire des espaces de fonctions sur des fractales, et faire de la théorie spectrale pour des opérateurs définis sur celles-ci, nécessite de reconstruire la théorie à partir de fondations qui ne supposent plus la régularité nulle part. Son groupe continue de travailler sur les espaces sur les fractales et la théorie spectrale des opérateurs sur celles-ci, parallèlement à la théorie de la régularité locale, la régularité de Besov, l'analyse de Fourier, la théorie de l'approximation et les problèmes aux limites non linéaires.

Livres

Elle a écrit Envelopes and Sharp Embeddings of Function Spaces en 2007. Le sujet est la frontière : les cas où un théorème de plongement standard tient tout juste, ou échoue tout juste, et où les estimations brutes ne disent rien d'utile. Les fonctions enveloppes sont l'outil pour décrire précisément à quel point une fonction peut mal se comporter juste à ce cas limite. En 2008, elle a publié Distributions, Sobolev Spaces, Elliptic Equations avec Triebel — un texte de niveau master/doctorat menant le lecteur de la théorie générale aux équations différentielles qu'elle a été conçue pour servir. Elle a également édité le volume anniversaire de Hans Triebel en 2003.

Le Prix Copernic

En 2026, Haroske et le mathématicien polonais Leszek Skrzypczak ont reçu le Prix Copernic, décerné pour des réalisations exceptionnelles dans la coopération scientifique polono-allemande, pour leurs travaux conjoints en analyse mathématique. C'est un prix pour une collaboration plutôt que pour un individu, ce qui correspond à une carrière construite substantiellement sur des partenariats de longue date.

Pourquoi Dorothee est qualifiée de génie

Elle ne l'est pas, dans aucun sens documenté. Aucune source examinée ici n'utilise ce mot, et la citation du Prix Copernic honore la coopération et la réalisation conjointe plutôt qu'une brillance singulière. Il n'existe pas de théorème de Haroske en circulation générale, et son travail le plus cité est coécrit avec son directeur de thèse.

La qualité intellectuelle que son dossier montre est la précision à la frontière. Les mathématiques intéressantes dans la théorie des espaces de fonctions ne sont presque jamais dans l'intérieur confortable d'une plage de paramètres, où les résultats sont faciles et les estimations généreuses ; elles sont dans les cas limites, où un plongement est sur le point d'échouer et où chaque outil existant devient émoussé. Choisir d'y travailler, à plusieurs reprises, et construire des instruments — enveloppes, estimations d'entropie précises — spécifiquement pour ces cas est un type distinctif de goût mathématique. C'est l'équivalent pour l'analyste d'insister sur la dernière décimale, et c'est là que réside la difficulté réelle.

Le contre-argument est emphatique et elle le formulerait probablement elle-même. Sa réussite est cumulative sur trois décennies, totalement collaborative — avec Triebel, avec Skrzypczak, avec un groupe de recherche qu'elle a hérité plutôt que fondé — et hautement spécialisée : la théorie des espaces de fonctions est un sous-domaine dont les praticiens actifs pourraient remplir une salle de conférence, pas un stade. Elle est une figure de proue dans un domaine profond et étroit, et la description honnête de cela est l'excellence, soutenue, dans une discipline qui avance exactement par ce genre de travail patient plutôt que par des éclairs individuels.

Héritage

L'acte le plus important de Haroske est peut-être sa gestion. Le groupe des espaces de fonctions d'Iéna est l'un des programmes de recherche continue les plus anciens en analyse mathématique, et elle l'a repris de son fondateur et l'a maintenu à la pointe du domaine, l'étendant aux fractales, aux espaces pondérés et à la régularité généralisée plutôt que de simplement le maintenir. Ses livres sont des références standard pour quiconque entre dans le sujet. Et la machinerie qu'elle a aiguisée — les nombres d'entropie régissant les valeurs propres — continue de faire un travail silencieux et invisible chaque fois que quelqu'un a besoin de savoir comment un opérateur différentiel se comporte sur un domaine qui refuse d'être lisse.