Глава 6. Операторы на L^2: самосопряжённость, спектр и мост в квантовую динамику

Где стоит глава

От пространства — к его операторам

Глава 6.5 собрала $L^2$ — пространство со скалярным произведением, квадратной дистанцией, наилучшим приближением, ортонормированными разложениями и полнотой по построению. Настоящая глава, заключительная в Части VI, изучает его операторы: линейные отображения $T$ пространства в себя, и три вопроса о них — самосопряжённость ($⟨Tf,g⟩=⟨f,Tg⟩$), спектр (собственные значения и направления) и эволюция (как состояние меняется во времени под действием оператора). Эти три темы — математический аппарат, на котором стоит квантовая механика; глава доводит линию Части VI до её естественного выхода в физику, оставляя сам физический payoff будущему физическому тому.

Что доказано — и где честная граница

Подчеркнём уровень: всё доказанное — операторная геометрия конечных рациональных усечений (матрицы над ℚ, конечные суммы, фиксированное $N$), process-core будущей $L^2$-теории; завершённое ${\ell }^2/L^2$, точный пропагатор и произвольный компактный оператор — роль-пределы. Три уровня строгости, как всюду в Части VI. Доказано без аксиом (на конечном носителе, на каждой стадии): самосопряжённость как коммутативность двойной суммы; тождество Рэлея $⟨Tf,f⟩=\lambda \Vert f{\Vert }^2$; ортогональность собственных направлений при разных собственных значениях; каноническое $[a,a^{†}]=1$ для лестницы осциллятора и его бесконечный спектр; отсутствие конечномерной реализации канонического коммутатора; сохранение нормы (вероятности) и энергии при изометрической эволюции. Остаётся честной границей (P4): существование собственного вектора у произвольного оператора (<<точная верхняя грань достигается>> — над ℚ собственные значения вообще иррациональны); точный пропагатор $e^{-i\hat{H}t}$ (комплексная экспонента, непрерывное время); полный ортобазис произвольного компактного оператора. Это роль-пределы, не актуализируемые объекты.¹

E/R/R-каркас главы

Зададим каркас системы в порождающем порядке Rules $\to$ Roles $\to$ Elements; полный разбор с таблицей и проверкой корректности — в § «E/R/R-разбор: операторы на L^2 как система». Глава вводит систему операторов на $L^2$.

Rules (Правила, $\leftrightarrow$ L5). Самосопряжённость $⟨Tf,g⟩=⟨f,Tg⟩$; отношение Рэлея; ортогональность собственных направлений при разных $\lambda$; отсутствие конечной реализации канонического коммутатора; сохранение нормы и энергии при изометрической эволюции.

Roles (Роли, $\leftrightarrow$ L4). Оператор $T$ — наблюдаемая (при самосопряжённости); собственное значение $\lambda$ — значение наблюдаемой; собственное направление — состояние с определённым значением; шаг $U$ — пропагатор; ${\psi }_n$ — состояние во времени; норма и энергия — инварианты.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Рациональные элементы матрицы $T_{ij}$, координаты состояний, конечные суммы ${\sum }_{i,j<N}$, шаги $n$; точный пропагатор, иррациональные собственные значения и завершённый базис — вне элементов.

Дальнейшие разделы наполняют каркас: § «Самосопряжённые операторы» — самосопряжённость, § «Спектр: отношение Рэлея и ортогональность» — спектр, § «Оператор координаты на решётке» — координата, § «Канонический коммутатор: почему операторы неограниченны» — коммутатор, § «Гармонический осциллятор: лестница и спектр» — осциллятор, § «Эволюция как процесс: сохранение вероятности и энергии» — эволюция.

Самосопряжённые операторы

Оператор $T$ (матрица над ℚ, действующая $(Tf{)}_i={\sum }_j{T}_{ij}{f}_j$) самосопряжён, если перенос его на другую сторону скалярного произведения ничего не меняет:

$$⟨Tf,g⟩=⟨f,Tg⟩.$$

Достаточное условие — симметрия матрицы, $T_{ij}=T_{ji}$. Доказательство этого равенства есть в точности перестановка двойной суммы (дискретная теорема Фубини из Главы 5.7) плюс симметрия: обе стороны разворачиваются в ${\sum }_{i,j}{T}_{ij}{f}_j{g}_i$, и совпадают после обмена индексов. Без аксиом.²

Самосопряжённость — это и есть условие, при котором $T$ играет роль наблюдаемой (роль в E/R/R-разборе, а не отдельный тип в коде). В текущем рациональном слое собственное значение в формулировке собственной пары уже имеет тип ℚ; поэтому глава доказывает не <<вещественность спектра>> в классическом комплексном смысле (комплексного пространства здесь нет), а рациональную спектральную структуру для предъявленных собственных пар — отношение Рэлея и ортогональность.

Спектр: отношение Рэлея и ортогональность

Пусть $Tf=\lambda f$ — собственная пара. Отношение Рэлея связывает собственное значение с энергией направления: $⟨Tf,f⟩=\lambda \Vert f{\Vert }^2$. Доказано прямой выкладкой, без аксиом.³ Главный спектральный факт — ортогональность: собственные направления при разных собственных значениях взаимно ортогональны. В самом деле, при $Tf=\lambda f$, $Tg=\mu g$ и самосопряжённости

$$\lambda ⟨f,g⟩=⟨Tf,g⟩=⟨f,Tg⟩=\mu ⟨f,g⟩,$$

откуда $(\lambda -\mu )⟨f,g⟩=0$, и при $\lambda \ne \mu$ получаем $⟨f,g⟩=0$. Это структурное ядро спектральной теоремы, доказанное конструктивно.⁴

Для диагонального (компактного) оператора спектр дискретен: собственные значения ${\lambda }_n$ убывают к нулю, что выражается процессно — для всякого порога лишь конечное число их превосходит порог.⁵

Доказана структура спектра — Рэлей, ортогональность, дискретность диагональной модели, — без аксиом. А существование собственного вектора у произвольного самосопряжённого оператора — достижимость максимума отношения Рэлея — остаётся честной границей: над ℚ собственные значения, как правило, иррациональны (корень дискриминанта), и существование требует полноты / компактности — та же граница, что у достижения максимума в анализе Части V: конечная сетка доступна, а sup на континууме требует дополнительного слоя. Структуру строим; существование на континууме — метим (P4).

Оператор координаты на решётке

Простейший физический оператор — координата $\hat{q}$. На решётке из $N$ узлов с позициями $x_i$ она диагональна и действует умножением:

$$(\hat{q}f{)}_i=x_i{f}_i.$$

То есть координата не перемешивает узлы, а лишь взвешивает каждый его положением. Её собственные направления — сами узлы решётки (базисные состояния $e_j$), а собственные значения — координаты узлов:

$$\hat{q}{e}_j=x_j{e}_j.$$

И, будучи диагональной с рациональными $x_i$, координата автоматически самосопряжена.⁶

Координата — образцовая наблюдаемая ToS: диагональна, рациональна, самосопряжена, с явным дискретным спектром — узлами решётки. Её спутник, импульс $\hat{p}$ (на решётке — разностный оператор, не континуальный $-i\hslash {\partial }_x$), диагональным быть не может — и именно их совместное поведение ведёт к следующему разделу.

Канонический коммутатор: почему операторы неограниченны

Квантовая механика стоит на каноническом коммутаторе координаты $\hat{q}$ и импульса $\hat{p}$ — соотношении $[\hat{q},\hat{p}]=i\hslash 1$. У него есть чисто алгебраическое следствие, объясняющее, почему $\hat{q},\hat{p}$ обязаны быть неограниченными (бесконечномерными). След коммутатора всегда нулевой — ибо $\mathrm{tr}(AB)=\mathrm{tr}(BA)$ (снова перестановка двойной суммы), — тогда как след $c\cdot 1$ равен $c\cdot N$. Значит:

$$[A,B]=c\cdot 1\text{на N≥1 координатах}⟹c=0.$$

Канонический коммутатор с $c=i\hslash \ne 0$ не реализуем никакими конечными матрицами. Доказано над ℚ, без аксиом.⁷

На решётке это видно явно: координата $\hat{q}$ диагональна (§ «Оператор координаты на решётке»), и её коммутатор с разностным импульсом имеет тождественно нулевую диагональ — и потому не может быть $i\hslash 1$. Дефект неизбежен.⁸

Конечная актуальность (P4) не вмещает канонический коммутатор: он живёт лишь как процесс / бесконечномерный предел. Сама теорема об отсутствии конечной реализации и есть строгое тому доказательство — редкий случай, когда P4-граница становится теоремой.

Гармонический осциллятор: лестница и спектр

Первый бесконечномерный квантовый объект — гармонический осциллятор — реализует каноническую алгебру лестничными операторами рождения $a^{†}$ и уничтожения $a$, чьё каноническое соотношение

$$[a,a^{†}]=1.$$

Оператор числа $N=a^{†}a$ считает кванты, а гамильтониан осциллятора имеет спектр, растущий без границы:

$$E_n=n+\frac{1}{2},n=0,1,2,\dots$$

с основной энергией $\frac{1}{2}$ (не нулём — неустранимое нулевое колебание) и постоянным шагом $1$ между уровнями. Спектр бесконечен и неограничен — осциллятор не вмещается ни в какую конечную размерность, что согласуется с обструкцией § «Канонический коммутатор: почему операторы неограниченны».⁹

Здесь <<бесконечный спектр>> означает формулу уровней $E_n=n+\frac{1}{2}$ как процесс по $n$ (для всякой границы найдётся уровень выше), а не спектральную теорему о завершённом самосопряжённом операторе на полном пространстве Фока.

Пространство состояний осциллятора — пространство Фока — удерживается процессно: как процесс конечных усечений (первые $K$ уровней), актуальных на каждой стадии. Иррациональный множитель $\sqrt{n}$, входящий в действие лестничных операторов, вводится абстрактным параметром $s$ с $s^2=n$; сама лестничная алгебра от него не зависит, и в наблюдаемых — уровнях, шаге, коммутаторе — ​ сокращается, оставляя рациональные величины.

Осциллятор — образец бесконечномерной наблюдаемой в ToS: каноническая алгебра $[a,a^{†}]=1$ и формула уровней (с неограниченностью) доказаны над ℚ без аксиом; завершённый оператор на полном пространстве Фока — роль-предел (процесс усечений), не актуализируемый объект.

Эволюция как процесс: сохранение вероятности и энергии

Уравнение Шрёдингера $i\hslash {\partial }_t\psi =\hat{H}\psi$ задаёт унитарную эволюцию: полная вероятность сохраняется. Точный пропагатор $e^{-i\hat{H}t}$ — комплексная экспонента непрерывного времени — над ℚ недостижим; ToS удерживает его конструктивное ядро: дискретную эволюцию ${\psi }_{n+1}=U{\psi }_n$. Если шаг $U$ — изометрия ($\Vert U\psi \Vert =\Vert \psi \Vert$, дискретная унитарность), то норма сохраняется на каждом шаге, $\Vert {\psi }_n{\Vert }^2=\Vert {\psi }_0{\Vert }^2$ для всех $n$, доказано индукцией по числу шагов.¹⁰ Норма $\Vert {\psi }_n{\Vert }^2$ — это полная вероятность; её постоянство — закон её сохранения.

Второй закон сохранения — энергия $E(\psi )=⟨\psi ,\hat{H}\psi ⟩$. Если шаг сохраняет энергию (дискретный аналог коммутирования с $\hat{H}$), то $E({\psi }_n)=E({\psi }_0)$ для всех $n$ — той же индукцией.¹¹ В общем виде это зачаток теоремы Нётер: симметрия эволюции (коммутирование с наблюдаемой) влечёт сохранение этой наблюдаемой — линия, естественно продолжаемая в физическом томе.

Оба закона сохранения квантовой механики — вероятности и энергии — доказаны как процессные факты, без аксиом. Точный пропагатор $e^{-i\hat{H}t}$ — роль-предел (непрерывное время, комплексная экспонента); процесс ${\psi }_n$ его аппроксимирует, а законы сохранения держатся уже на дискретном шаге.

E/R/R-разбор: операторы на $L^2$ как система

Разбор в порождающем порядке

Каркас был задан в начале (§ «E/R/R-каркас главы»); здесь разворачиваем его с таблицей и проверкой корректности (well-formedness), завершая разборы Части VI. Оговорка об уровне прежняя. Порождающий порядок Rules $\to$ Roles $\to$ Elements.

Rules (Правила, $\leftrightarrow$ L5). Самосопряжённость $⟨Tf,g⟩=⟨f,Tg⟩$; отношение Рэлея $⟨Tf,f⟩=\lambda \Vert f{\Vert }^2$; ортогональность собственных направлений при разных $\lambda$; каноническое $[a,a^{†}]=1$ лестницы и отсутствие конечной реализации коммутатора ($[A,B]=c1\Rightarrow c=0$); сохранение нормы и энергии при изометрической эволюции. Универсальный слой — L1–L5 и P4, выносящий существование собственного вектора, точный пропагатор и завершённый базис за границу.

Roles (Роли, $\leftrightarrow$ L4). Оператор $T$ — роль-наблюдаемая (при самосопряжённости). Собственное значение $\lambda$ — роль-значение наблюдаемой; собственное направление — роль-состояние с определённым значением. Координата $\hat{q}$ — наблюдаемая положения; лестница $a,a^{†}$ — роли понижения / повышения кванта. Шаг $U$ — роль-пропагатор; ${\psi }_n$ — роль-состояние во времени. Норма и энергия — роли-инварианты (сохраняющиеся величины).

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Носители конечны на каждой стадии: рациональные элементы матрицы $T_{ij}$, координаты состояний, конечные суммы ${\sum }_{i,j<N}$, уровни и шаги $n=0,1,2,\dots$ Точный пропагатор, иррациональные собственные значения, завершённое пространство Фока и завершённый базис — к элементам не принадлежат.

Компонент	Что фиксирует	E/R/R
самосопряжённость; Рэлей; ортогональность; $[a,a^{†}]=1$; нет конечного CCR; сохранение нормы / энергии	КАК устроены операторы, спектр и эволюция	Rules ($L5$)
оператор-наблюдаемая; собственное значение; координата; лестница; пропагатор; инварианты	ЗАЧЕМ значимы носители: роли наблюдаемых и эволюции	Roles ($L4$)
$T_{ij}$; координаты состояний; суммы ${\sum }_{i,j<N}$; уровни и шаги $n$	ЧТО есть на каждой стадии (P4)	Elements ($L1$, P4)

Разбор корректен: каждый компонент — в одной категории, без самоссылки (P1). Оператор и пропагатор — роли над элементами-значениями; законы сохранения — правила, а не объекты; завершённый пропагатор — вне элементов.

Что даёт разбор — и чем закрывается Часть VI

{ Разбор показывает, что операторная теория на $L^2$ в ToS — процессная: правила (самосопряжённость, Рэлей, ортогональность, каноническая лестница, отсутствие конечного коммутатора, сохранение нормы и энергии) доказаны на конечных стадиях без аксиом, а инфинитарное — существование собственного вектора, точный пропагатор, завершённый базис — честно вынесено на границу P4 и помечено как роль-предел. Канонический коммутатор не просто <<вынесен>>: доказано, что конечная актуальность его не вмещает, — редкий случай, когда сама P4-граница становится теоремой.}

На этом Часть VI замыкается. Она прошла путь от меры нуль и интеграла Лебега как процессов (6.1–6.3) через теоремы сходимости (6.4) к пространствам $L^1$, $L^2$ и их полноте по построению (6.5), и наконец к операторам, спектру и квантовой динамике (6.6). Сквозная линия — одна: бесконечность есть свойство процессов, не завершённых объектов; всякий инфинитарный шаг либо доказан как конструируемость предела, либо назван и поставлен на границу. Полученный $L^2$-аппарат — скалярное произведение, ортонормированные разложения, полнота, самосопряжённые операторы, спектр, координата и осциллятор, унитарная эволюция с сохранением вероятности и энергии — есть готовая математическая сцена для квантовой механики, которую развивает будущий физический том.

---

---

Часть: Часть VI. Меры и интегрирование · Том: «Математика»

Навигация: ← Глава 5. L^1 и L^2: пространства как процессы, полнота как конструируемость · Глава 1. Ортонормированные системы и коэффициенты Фурье — Часть VII →

Footnotes

1. Опорные файлы каталога src/process/: ProcessSelfAdjointSpectral.v, ProcessCompactSpectral.v, ProcessHarmonicLadder.v, ProcessCanonicalCommutator.v, ProcessPositionMomentum.v, ProcessSchrodingerEvolution.v, ProcessEnergyConservation.v; связки — в ProcessL2HilbertSynthesis.v. По шапкам файлов и синтез-файлу кластера — 0 аксиом; у ключевых теорем стоит Print Assumptions. ↩

2. adjoint_inner в ProcessSelfAdjointSpectral.v (0 аксиом): через перестановку сумм q_sum_swap и симметрию op_symmetric. Диагональный оператор симметричен автоматически. ↩

3. rayleigh_eq в ProcessSelfAdjointSpectral.v (0 аксиом). ↩

4. eigvec_orthogonal в ProcessSelfAdjointSpectral.v (0 аксиом): из adjoint_inner и целостности умножения в ℚ. Конкретная диагонализация матрицы $\left(\begin{array}{cc}1& 2\\ 2& 1\end{array}\right)$ над ℚ с собственными значениями $3$ и $-1$ и ортогональными собственными направлениями проверена вычислением (spectral_2x2_concrete). ↩

5. diag_spectrum_discrete в ProcessCompactSpectral.v (0 аксиом). ↩

6. position_apply ($(\hat{q}f{)}_i=x_i{f}_i$), position_eigenpair ($\hat{q}{e}_j=x_j{e}_j$, собственные значения — узлы) и position_symmetric в ProcessPositionMomentum.v (0 аксиом); опорная лемма — выделение диагонали из суммы q_sum_delta. ↩

7. no_finite_ccr в ProcessCanonicalCommutator.v (0 аксиом): из trace_commutator_zero ($\mathrm{tr}[A,B]=0$, опирается на trace_mul_comm) и $\mathrm{tr}(c1)=cN$. Конкретный свидетель: $[A,B]=\mathrm{diag}(1,-1)$, след $0$, не кратен $1$. ↩

8. Конкретный коммутатор $[\hat{q},\hat{p}]$ на решётке $N=3$ с нулевой диагональю и следом $0$ — в ProcessPositionMomentum.v (0 аксиом). ↩

9. commutator_canonical ($[a,a^{†}]=1$), cre_ann_eq_num ($N=a^{†}a$), energy_spacing (шаг $1$), ground_energy ($\frac{1}{2}$) и energy_unbounded (спектр неограничен) в ProcessHarmonicLadder.v (0 аксиом). ↩

10. evolution_conserves_norm в ProcessSchrodingerEvolution.v (0 аксиом). Конкретная рациональная унитарная — поворот $3\text{-}4\text{-}5$ ($c=3/5,s=4/5,c^2+s^2=1$), rotation_isometry. ↩

11. evolution_conserves_energy в ProcessEnergyConservation.v (0 аксиом); свидетель — знакоперемена $\mathrm{diag}(1,-1)$ сохраняет энергию любого диагонального $\hat{H}$ и норму. Связка обоих законов для одной эволюции — в ProcessL2HilbertSynthesis.v. ↩