Функциональный анализ
Спектральная теория самосопряжённых операторов
Цели урока
- Понять спектральную теорему A = integral lambda dE(lambda) для самосопряжённых операторов
- Различать точечный, непрерывный и остаточный спектр; знать почему остаточный спектр пуст
- Освоить борелевское функциональное исчисление f(A) и теорему Стоуна
- Применять принцип min-max для вариационных задач на собственные значения
Предварительные знания
- Гильбертовы пространства и ортогональность
- Полугруппы операторов
- Основы спектральной теории
Почему измерения в квантовой механике всегда дают вещественные числа, хотя квантовые состояния - комплекснозначные? Ответ - в спектральной теорема самосопряжённых операторов.
- IBM Q 433-кубитный процессор (2023): каждое квантовое измерение - собственное значение самосопряжённого оператора-наблюдаемого; спектральная теорема гарантирует вещественность результата
- MRI (магнитный резонанс): спектр лапласиана на области мозга задаёт частоты ядерных спинов; собственные функции - пространственные моды сигнала
- Google PageRank: нахождение главного собственного вектора стохастической матрицы переходов - вариационная задача через принцип min-max
- Квантовая химия (Gaussian, VASP): основное состояние молекулы - минимум квадратичной формы гамильтониана (принцип вариационного минимума)
От матриц Гейзенберга к теореме Стоуна
В 1925 году Гейзенберг записал квантовую механику в матричном виде. Борн и Йордан показали: матрицы координаты q и импульса p удовлетворяют [p,q] = -i*hbar*I. В 1928 году фон Нейман построил строгую математику квантовой механики: операторы на гильбертовом пространстве. Спектральная теорема для самосопряжённых операторов - его главный вклад. Теорема Стоуна (1932) связала самосопряжённые операторы с унитарными группами. В 1936 году фон Нейман создал теорию алгебр операторов. Эта цепочка определила математическую физику XX века.
Спектральная теорема
Квантовая механика IBM Q (2023) реализует квантовые вентили через унитарные операторы. Наблюдаемые - самосопряжённые операторы, и спектральная теорема гарантирует: их собственные значения вещественны. Это математическое основание вещественности результатов физических измерений.
Самосопряжённый vs симметричный: симметричный оператор A удовлетворяет <Au,v> = <u,Av> на D(A), но D(A*) может быть шире D(A). Самосопряжённость требует D(A) = D(A*). Лапласиан Delta на C_c^inf(Omega) симметричен, но не самосопряжён. Его самосопряжённые расширения классифицируются граничными условиями.
Для конечномерного случая спектральная теорема - это просто диагонализация симметричных матриц. Глубина в бесконечномерном случае: компактные самосопряжённые операторы диагонализуются (счётный спектр), неограниченные имеют непрерывную компоненту спектра.
Для самосопряжённого оператора A = A* все собственные значения...
Доказательство: lambda * ||v||^2 = <Av,v> = <v,A*v> = conj(<Av,v>) = conj(lambda)*||v||^2 => lambda = conj(lambda) => lambda вещественно.
Резольвента и структура спектра
Резольвента R(lambda) = (A - lambda I)^{-1} - аналитическая функция lambda вне спектра. Полюсы резольвенты - точечный спектр. Разветвления - непрерывный спектр. Это связь между операторами и аналитическими функциями - основа спектрального анализа и теории устойчивости динамических систем.
Спектр оператора умножения
Пример непрерывного спектра
Оператор умножения (Mf)(x) = x*f(x) на L^2([0,1]). Точечный спектр пуст: Mf = lambda*f означает (x-lambda)*f(x) = 0 п.в., то есть f = 0. Но каждое lambda in [0,1] принадлежит спектру: (M - lambda I) не имеет ограниченного обратного. Спектр = sigma_c(M) = [0,1]. Это модельный пример непрерывного спектра.
| Оператор | Пространство | Точечный спектр | Непрерывный спектр |
|---|---|---|---|
| Лапласиан -Delta на L^2(T^n) | Периодические ф-ции | |k|^2, k in Z^n | Пусто |
| Лапласиан -Delta на L^2(R^n) | Все f in L^2 | Пусто | [0, +inf) |
| Гармонический осциллятор -d^2/dx^2 + x^2 | L^2(R) | 2n+1, n >= 0 | Пусто |
| Оператор умножения на x | L^2([0,1]) | Пусто | [0,1] |
Почему остаточный спектр самосопряжённого оператора пуст?
Для самосопряжённых A: если lambda - не собственное значение, то ker(A - lambda I) = 0, а отсюда (по самосопряжённости) im(A - lambda I) плотен. Это исключает остаточный спектр.
Функциональное исчисление и квантовая механика
Квантовая механика требует определить e^{-iHt} для неограниченного гамильтониана H. Функциональное исчисление Боля-Хелфера-Сьёстрана позволяет это сделать через спектральную меру: e^{-iHt} = integral e^{-i*lambda*t} dE(lambda). Результат - унитарный оператор U(t) = e^{-iHt}, реализующий квантовую эволюцию.
Что утверждает теорема Стоуна о связи самосопряжённых операторов и унитарных групп?
Теорема Стоуна: биекция между самосопряжёнными операторами H и C0-группами унитарных операторов U(t) = e^{itH}. Генератор группы U(t) - оператор iH.
Компактные самосопряжённые операторы и принцип min-max
Google PageRank - степенной метод нахождения главного собственного вектора гигантской матрицы. MRI - вычисление собственных функций оператора Лапласа. Квантовая химия - нахождение основного состояния молекулы через принцип min-max для гамильтониана. Компактные самосопряжённые операторы диагонализируются полностью - это основа всего.
Принцип min-max - основа конечно-элементного метода. Матрица жёсткости K и матрица масс M - самосопряжённые операторы. Собственные значения обобщённой задачи K*u = lambda*M*u - частоты колебаний конструкции. Ansys и Abaqus вычисляют их для матриц размером 10^7 x 10^7.
Что утверждает принцип min-max для собственных значений самосопряжённого оператора?
Принцип min-max Куранта-Фишера: lambda_n(A) = min_{V, dim V = n-1} max_{u perp V, ||u||=1} <Au,u>. Даёт вариационную характеристику n-го собственного значения без явного диагонализации.
Связи с другими темами
Спектральная теория - ядро математической физики и численных методов.
- Полугруппы операторов — Спектр самосопряжённого генератора задаёт устойчивость и эволюцию полугруппы
- C*-алгебры и алгебры фон Неймана — Спектральная теорема обобщается через GNS-конструкцию и алгебры наблюдаемых
- Операторные алгебры и квантовая механика — Самосопряжённые операторы - модель наблюдаемых в квантовой теории
Итоги
- Самосопряжённость A = A* гарантирует: все собственные значения вещественны, собственные векторы ортогональны
- Спектральная теорема: A = integral lambda dE(lambda); функциональное исчисление f(A) = integral f(lambda) dE(lambda)
- Структура спектра: sigma = sigma_pp cup sigma_c; для самосопряжённых sigma_r = empty
- Теорема Стоуна: H самосопряжён <=> e^{itH} - C0-группа унитарных операторов
- Компактные: Гильберт-Шмидт, теорема о базисе из собственных функций; принцип min-max для lambda_n
Вопросы для размышления
- Почему остаточный спектр самосопряжённого оператора пуст, и как это связано с физической интерпретацией наблюдаемых?
- В чём разница между симметричным и самосопряжённым оператором, и почему она важна для квантовой механики?
- Как принцип min-max связан с методом Ритца в механике и конечными элементами?