Полугруппы операторов и эволюционные уравнения

Мотивация: абстрактное решение уравнений эволюции

Уравнение теплопроводности du/dt = Δu, уравнение Шрёдингера iℏ∂ψ/∂t = Hψ, уравнения диффузии — все имеют форму du/dt = Au. Решение — «экспонента от оператора»: u(t) = e^{tA}u₀. Теория полугрупп делает эту идею строгой и даёт критерии существования e^{tA} для неограниченных операторов A.

C₀-полугруппы операторов

C₀-полугруппа: семейство {T(t)}_{t≥0} ограниченных операторов X→X:

1. T(0) = I.
2. T(t+s) = T(t)T(s) — полугрупповое свойство.
3. lim_{t→0⁺} ‖T(t)x − x‖ = 0 для всех x ∈ X — сильная непрерывность.

Инфинитезимальный генератор: Ax = lim_{h→0⁺} (T(h)x − x)/h. D(A) = {x : предел существует} — область генератора.

Примеры:

• Тепловая полугруппа: T(t)f = f * G(·,t), генератор A = Δ.
• Сдвиг: T(t)f(x) = f(x−ct), генератор A = −c·d/dx.
• Уравнение Шрёдингера: T(t) = e^{−itH/ℏ} — унитарная группа, генератор −iH/ℏ.

Теорема Хилле–Йосиды

Теорема: A — генератор C₀-полугруппы с ‖T(t)‖ ≤ Meωt ⟺:

1. A замкнут, D(A) плотно в X.
2. Для λ > ω: (λI−A)⁻¹ существует и ‖(λI−A)^{-n}‖ ≤ M/(λ−ω)ⁿ.

Частный случай (сжимающие полугруппы): ‖T(t)‖ ≤ 1 (M=1, ω=0) ⟺ A — диссипативный оператор: Re⟨Ax,x⟩ ≤ 0.

Применение: уравнение теплопроводности

Задача Коши: ∂u/∂t = Δu (t > 0, x ∈ ℝⁿ), u(x,0) = u₀(x).

Через Фурье: û(k,t) = e^{−t|k|²}û₀(k). Обратное: u = G(·,t) * u₀, G(x,t) = (4πt)^{−n/2} e^{−|x|²/(4t)}.

При t→0: G(·,t) → δ (дельта-функция). При t→∞: u(x,t) → 0 (диффузия разглаживает начальные данные).

Численный пример

Задача: Решить ∂u/∂t = ∂²u/∂x² на [0,π] с условиями u(0,t) = u(π,t) = 0 и u(x,0) = sin(x) + (1/3)sin(3x).

Шаг 1. Собственные функции из предыдущей статьи: φₙ(x) = sin(nx), λₙ = n². T(t)φₙ = e^{−n²t}φₙ.

Шаг 2. Разложим: u₀ = φ₁ + (1/3)φ₃.

Шаг 3. Решение: u(x,t) = e^{−t}sin(x) + (1/3)e^{−9t}sin(3x).

Шаг 4. При t = 0: e⁰sin(x) + (1/3)e⁰sin(3x) = sin(x) + (1/3)sin(3x) ✓. При t = 0.5: e^{-0.5} ≈ 0.607, (1/3)e^{-4.5} ≈ 0.0037. Третья гармоника практически исчезла (затухание e^{-9t} ≫ e^{-t}).

Шаг 5. Проверка: ∂u/∂t = −e^{-t}sin(x) − 3e^{-9t}sin(3x). ∂²u/∂x² = −e^{-t}sin(x) − (1/3)·9·e^{-9t}sin(3x) = −e^{-t}sin(x) − 3e^{-9t}sin(3x) ✓.

Шаг 6. Физическая интерпретация: высокочастотные (высокие n) гармоники затухают быстрее (e^{-n²t}): тепло «выравнивается» быстрее на малых масштабах.

Реальное приложение

Финансовая математика: формула Блэка–Шоулза для цены опциона получается из уравнения теплопроводности (после замены переменных). Полугруппа операторов — это оператор условного ожидания E[·|F_t] марковского процесса. Марковское свойство: E[E[·|F_t]|F_s] = E[·|F_s] при s ≤ t — это полугрупповое свойство T(t)T(s) = T(t+s).

Дополнительные аспекты

Полугруппы операторов {T(t)}{t≥0} с T(0) = I и T(t+s) = T(t)T(s) описывают эволюцию автономных линейных систем во времени. Генератор A = lim{t→0+} (T(t) − I)/t — обычно неограниченный замкнутый оператор; задача Коши ∂u/∂t = Au, u(0) = u₀ имеет решение u(t) = T(t)u₀. Теорема Хилле–Иосиды характеризует, какие операторы порождают сильно непрерывные полугруппы (C₀-полугруппы), через резольвентные оценки. Эта теория — общий язык для уравнения теплопроводности (полугруппа Гаусса–Вейерштрасса), уравнения Шредингера (унитарная полугруппа e^{−itH}), стохастических процессов (полугруппы Маркова) и численных методов их приближения (схемы Кранка–Николсона, экспоненциальные интеграторы).

Связь с другими разделами математики

Подход через C₀-полугруппы естественно сопрягает функциональный анализ и классическую теорию дифференциальных уравнений. Формулировки типа «оператор Лапласа с нулевыми граничными условиями на L²» переводят краевые задачи для уравнений в частных производных в операторные задачи на гильбертовых пространствах. Теорема Лакса–Мильграма и спектральная теорема для самосопряженных операторов дают описание генераторов самосопряженных полугрупп диффузии.

В алгебраическом плане полугруппа операторов — это представление топологической полугруппы [0,∞) в банаховом пространстве. Понятия идеалов, минимальных инвариантных подпространств, примитивных идемпотентов, разработанные в теории полугрупп (Рис, Клиффорд, Престон), проявляются как структуры устойчивых режимов и аттракторов. Для марковских полугрупп это связано с эргодической теорией: теоремы Доэблина и Фробениуса–Перрона описывают стационарные меры через спектральные свойства генератора.

В теории вероятностей полугруппы Маркова и генераторы переходов лежат в основе аналитического описания процессов: теорема Хинчина–Леви связывает бесконечно делимые распределения с полугруппами сверток, а теорема Феллера–Дынкина описывает соответствие между марковскими полугруппами и процессами с правосторонними траекториями. Уравнения Колмогорова вперёд и назад возникают как абстрактные уравнения эволюции с генераторами.

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

Численные методы опираются на теоремы Черноффа и Троттера–Като: приближение полугрупп произведениями более простых операторов, обосновывающее схемы расщепления по направлениям и по физическим процессам (адвекция/диффузия/реакция). Экспоненциальные интеграторы в ОДУ теории Ж. Кофмана и Хохштрассера реализуют на практике вычисление e^{tA} через рациональные аппроксимации и разложения типа Крылова.

Историческая справка и развитие идеи

Корни операторных полугрупп прослеживаются к работам Ф. Рисса и Дж. фон Неймана 1920–1930‑х годов по линейным операторам и спектральной теории (монография фон Неймана «Mathematische Grundlagen der Quantenmechanik», 1932). Уже тогда унитарные группы e^{−itH} использовались для описания квантовой эволюции. Собственно полугрупповой подход к эволюционным уравнениям оформился в середине XX века. Э. Хилле в книге «Functional Analysis and Semi-Groups» (AMS, 1948, вместе с Р. Филлипсом во втором издании 1957 года) систематизировал представление решений через операторные полугруппы. Независимо К. Йосида в серии статей в Annals of Mathematics и монографии «Functional Analysis» (первое издание 1958) дал критерий генератора, ныне называемый теоремой Хилле–Йосиды. Мотивирующими задачами были теплопроводность, уравнение диффузии, линейная теория упругости и линейная гидродинамика. В 1950–1960‑е годы Ф. Като развил теорию эволюционных уравнений с зависящим от времени оператором (эволюционные семейства вместо полугрупп), что позволило рассматривать неавтономные процессы. Параллельно развивалась стохастическая ветвь: работы В.