Доротея Хароске: геометрия гладкости

В Йенском университете (University of Jena) существует кафедра, посвященная не анализу в целом, а функциональным пространствам в частности — узкой, глубокой и технически сложной дисциплине. Она была основана Хансом Трибелем (Hans Triebel), чье имя связано с одной из двух великих шкал классификации таких пространств. Доротея Хароске защитила докторскую диссертацию под руководством Трибеля в 1995 году и сейчас возглавляет эту кафедру, руководя исследовательской группой, которая более пятидесяти лет непрерывно работает над одним вопросом: как классифицировать бесконечное множество возможных функций по степени их гладкости и что из этого следует?

Йена, почти без перерывов

Хароске родилась в 1968 году в Германии. Она завершила обучение в Йенском университете имени Фридриха Шиллера (Friedrich Schiller University Jena) в 1992 году, получила там докторскую степень в 1995 году и хабилитацию в 2002 году. С 2003 по 2006 год она руководила младшей исследовательской группой в Йене по фрактальному анализу. Свою первую профессорскую должность она получила в Йене в 2010 году, вторую — в Ростокском университете (University of Rostock) в 2017 году, а к 2018 году вернулась в Йену на третью — кафедру функциональных пространств. За исключением одного года на побережье Балтийского моря, вся ее карьера прошла на одном университетском факультете, работая над одним кругом проблем. В эпоху постоянной академической мобильности это либо ограничение, либо форма концентрации, и ее научные результаты свидетельствуют в пользу последнего.

Для чего нужны функциональные пространства

Этот предмет звучит пугающе абстрактно, но на самом деле он глубоко практичен. Допустим, вы хотите решить дифференциальное уравнение — скажем, уравнение теплопроводности или эллиптическую краевую задачу, описывающую мембрану. Вам нужно знать, что представляет собой решение: сколько раз его можно дифференцировать? Остается ли оно ограниченным? Является ли оно непрерывным?

Функциональные пространства отвечают на эти вопросы, группируя функции по их гладкости и размеру. Пространства Соболева (Sobolev spaces) стали первым большим успехом. Разработанные позже шкалы Бесова (Besov) и Трибеля-Лизоркина (Triebel–Lizorkin) — это более тонкие инструменты: семейства пространств, индексируемых параметрами, которые позволяют задавать гладкость дробными величинами и измерять ее разными способами. Группа Хароске работает над общей теорией этих пространств — разлагая их с помощью атомов, кварков и вейвлетов, работая с пространствами с обобщенной гладкостью, анизотропными пространствами, где гладкость меняется в зависимости от направления, весовыми пространствами и пространствами, определенными на областях, а не на всем евклидовом пространстве.

Энтропийные числа

Ее докторская диссертация, выполненная под руководством Трибеля, касалась энтропийных чисел и аппроксимационных чисел в весовых функциональных пространствах, а также их связи с распределением собственных значений. Эта цепочка идей лежит в основе ее работы и заслуживает внимания.

Вложение (Embedding) — это утверждение о том, что каждая функция в одном пространстве автоматически лежит в другом, то есть определенная степень гладкости вынуждает определенную степень хорошего поведения. Интересные вложения являются компактными, что означает, грубо говоря, что первое пространство не просто содержится во втором, а «втиснуто» в него. Энтропийные числа точно измеряют, насколько плотно это «втискивание»: сколько маленьких шаров нужно, чтобы покрыть образ единичного шара. Аппроксимационные числа измеряют связанную вещь — насколько хорошо вложение может быть имитировано оператором конечного ранга.

Результат имеет спектральный характер. Если вы можете точно ограничить энтропийные числа вложения, вы можете ограничить собственные значения дифференциальных операторов, построенных на этих пространствах, а собственные значения — это физически значимые величины: резонансные частоты барабана, энергетические уровни системы, скорости затухания диффузии. Чисто геометрическое измерение того, как одно пространство располагается внутри другого, переводится в утверждение о том, как вибрирует физический объект. Хароске потратила тридцать лет на то, чтобы сделать этот перевод более точным.

Фракталы

Группа фрактального анализа, которую она возглавляла с 2003 года, применяла тот же аппарат на более грубой местности. Классический анализ живет на гладких областях — интервалах, дисках, хорошо определенных регионах с аккуратными границами. У фракталов ничего этого нет: бесконечно изрезанные границы, нецелочисленная размерность, отсутствие касательных плоскостей. Построение функциональных пространств на фракталах и проведение спектральной теории для операторов, определенных на них, требует перестройки теории с основ, которые больше не предполагают гладкости нигде. Ее группа продолжает работать над пространствами на фракталах и спектральной теорией операторов на них, наряду с теорией локальной гладкости, регулярностью Бесова, анализом Фурье, теорией аппроксимации и нелинейными краевыми задачами.

Книги

В 2007 году она написала книгу Envelopes and Sharp Embeddings of Function Spaces («Огибающие и точные вложения функциональных пространств»). Тема — пограничные случаи: ситуации, когда стандартная теорема вложения едва выполняется или едва нарушается, и где грубые оценки не дают ничего полезного. Огибающие функции — это инструмент для точного описания того, насколько плохо может вести себя функция в этом предельном случае. В 2008 году она опубликовала Distributions, Sobolev Spaces, Elliptic Equations («Распределения, пространства Соболева, эллиптические уравнения») совместно с Трибелем — учебник для аспирантов, ведущий читателя от общей теории к дифференциальным уравнениям, для которых она была создана. Она также была редактором Hans Triebel Anniversary Volume («Юбилейный сборник Ханса Трибеля») в 2003 году.

Премия Коперника

В 2026 году Хароске и польский математик Лешек Скшипчак (Leszek Skrzypczak) получили премию Коперника (Copernicus Award), присуждаемую за выдающиеся достижения в польско-немецком научном сотрудничестве, за их совместную работу в области математического анализа. Это награда за сотрудничество, а не за индивидуальный вклад, что соответствует карьере, построенной в значительной степени на долгосрочных партнерствах.

Почему Доротею называют гением

Ни в каком документальном смысле она таковой не является. Ни один из изученных здесь источников не использует это слово, а в формулировке премии Коперника отмечается сотрудничество и совместные достижения, а не исключительная гениальность. В широком обращении нет «теоремы Хароске», а ее самая цитируемая работа написана в соавторстве с ее научным руководителем.

Интеллектуальное качество, которое демонстрирует ее послужной список, — это точность на границе. Интересная математика в теории функциональных пространств почти никогда не находится в комфортной внутренней части диапазона параметров, где результаты легки, а оценки щедры; она находится в предельных случаях, где вложение вот-вот нарушится и все существующие инструменты становятся тупыми. Выбор работать там, неоднократно, и создание инструментов — огибающих, точных энтропийных оценок — специально для этих случаев является особым видом математического вкуса. Это эквивалент настойчивости аналитика в отношении последнего десятичного знака, и именно здесь кроется реальная трудность.

Контраргумент очевиден, и она, вероятно, привела бы его сама. Ее достижение является кумулятивным на протяжении трех десятилетий, полностью основанным на сотрудничестве — с Трибелем, со Скшипчаком, с исследовательской группой, которую она унаследовала, а не основала — и узкоспециализированным: теория функциональных пространств — это подполе, активные практики которого могут заполнить лекционный зал, а не стадион. Она является ведущей фигурой в глубокой и узкой области, и честное описание этого — устойчивое превосходство в дисциплине, которая продвигается именно благодаря такой терпеливой работе, а не благодаря индивидуальным вспышкам.

Наследие

Самым важным вкладом Хароске может быть ее роль хранителя. Группа функциональных пространств в Йене — одна из самых долгоживущих непрерывных исследовательских программ в математическом анализе, и она приняла ее от основателя и удержала на переднем крае области, расширив ее до фракталов, весовых пространств и обобщенной гладкости, а не просто поддерживая ее. Ее книги являются стандартными справочниками для всех, кто входит в эту область. А аппарат, который она отточила — энтропийные числа, управляющие собственными значениями, — продолжает выполнять тихую, невидимую работу каждый раз, когда кому-то нужно знать, как ведет себя дифференциальный оператор на области, которая отказывается быть гладкой.