Главная > ТЕОРИЯ ГРУПП И ЕЕ ПРИМЕНЕНИЕ К КВАНТОМЕХАНИЧЕСКОЙ ТЕОРИИ АТОМНЫХ СПЕКТРОВ (Е.Вигнер)
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

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

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

1. До 1925 г. развитие квантовой ‘механики было направлено главным образом на определение энергий стационарных состояний, т. е. на вычисление энергетических уровней. Более старая „теория разделения\» Эпштейна — Шварцшильда давала рецепты для определения уровней энергии, или термов, лишь для систем, движение которых с точки зрения классической механики имело очень частные свойства, а именно было периодическим или по крайнен мере почти периодическим.

Гейзенберг, пытавшићся дать точную формулировку принципа соответствия Бора, высказал соображения относительно устранения этого недостатка. Решение было предложено независимо Борном и Йорданом, с одной стороны, и Дираком — с другой. Его сущность заключается в требовании, чтобы в вычислениях появлялись лишь те движения, которые позднее стали рассматриваться как разрешенные с квантовомеханической точки зрения. Проведение этой идеи привело авторов к введению матриц с бесконечным числом строк и столбцөв для формального представления координат и импульсов и к формальным вычислениям с $q$-числами\», удовлетворяющими сочетательному, но не перестановочному законам.
Так, например, выражение для энергии $\mathrm{H}$ линейного осциялятора
\[
\mathrm{H}=\frac{1}{2 m} \mathbf{p}^{2}+\frac{K}{2} \mathbf{q}^{2}
\]
(где $m$-масса осциллирующей частицы, $K$ — постоянный коэффициент, характеризующий силу, а $\mathbf{q}$ и p-координата и импульс частицы) получается формальной подстановкой матриц р и q вместо импульса $\boldsymbol{p}$ и координаты $\boldsymbol{q}$ в гамильтоновой формулировке классического выражения для энергии. Выдвигается требование, чтобы $\mathrm{H}$ была диагональной матрицей. Диагональные элементы $\mathrm{H}_{n n}$ дают тогда возможные значения энергии, стационарные уровни системы. С другой стороны, квадраты абсолютных значений элементов $q_{n k}$ матрицы $\mathbf{q}$ пропорциональны вероятности спонтанного перехода из состояния с энергией $\mathrm{H}_{n n}$ в состояние с энергией $\mathrm{H}_{k k}$.
Они дают, тем самым, интенсивность линии с частотой $\omega=\left(\mathrm{H}_{n n}-\mathrm{H}_{k k}\right) / \hbar$. Все это следует из тех же рассуждений, с помощью которых вводятся матрицы р и q.

Чтобы полностью уточнить задачу, следовало ввести „перестановочное соотношение“ между р и q. Предполагалось, что оно имеет вид
\[
\mathbf{p q}-\mathrm{qp}=\frac{\hbar}{i} \mathbf{1},
\]

где $\hbar$ — постоянная Планка, деленная на $2 \pi$.
Вычисления с этими величинами (зачастую весьма утомительные) быстро привели к прекрасным и важным результатам, имеющим глубокий смысл. Таким путем стало возможным вычислить в согласии с опытом „правила отбора“ для момента количества движения и ряд „правил сумм“, определяющих относительные интенсивности зеемановских компонент линии. Для получения этих результатов nтеории разделения “ было совершенно недостаточно.

Шредингер пришел к результатам, математически эквивалентным упомянутым выше, на пути, не зависимом от точки зрения Гейзенберга. Его метод имеет глубокое сходство с идеями де-Бройля. Все дальнейшее рассмотрение будет основано именно на шредингеровском подходе.

Рассмотрим многомерное пространство с числом измерений, равным числу координат, необходимых для описания положения системы. Всякое расположение частиц системы соответствует точке в этом многомерном „конфигурационном пространстве“. Эта точка будет двигаться с течением времени по кривой, которая может полностью описывать классически движение системы. Между классическим движением этой точки — изображающей точки в конфигурационном пространстве — и движением волнового пакета, также рассматриваемого в конфигурационном пространстве, имеется фундаментальное соответствие ${ }^{1}$ ), если только принять показатель преломления этих волн равным $[2 m(E-V)]^{1 / 2} / E$. Здесь $E$ — полная энергия системы, а $V$ — потенциальная энергия как функция пространственных координат (конфигурации).

Соответствие заключается в том обстоятельстве, что чем меньше отношение длины волны этого волнового пакета к радиусу кривизны траектории в конфигурационном пространстве, тем точнее волновой пакет будет следовать этой траектории. С другой стороны, если волновой пакет содержит длины волн порядка классического радиуса кривизны траектории в конфигурационном пространстве, между двумя движениями возникают важные различия как следствие интерференции волн.
1) Данное изложение ближе следует идеям Шредингера, чем это принято в настоящее время. — Прим. перев. издания 19592.
Шредингер принимает, что движение изображающей точки в конфигурационном пространстве соответствует движению волн, а не классически вычисленному движению.

Если обозначить скалярную амплитуду волн через $\psi$, волновое уравнение записывается в виде
\[
\frac{E-V}{E^{2}} \frac{\partial^{2} \psi}{\partial t^{2}}=\frac{1}{2 m_{1}} \frac{\partial^{2} \psi}{\partial x_{1}^{2}}+\frac{1}{2 m_{2}} \frac{\partial^{2} \psi}{\partial x_{2}^{2}}+\ldots+\frac{1}{2 m_{f}} \frac{\partial^{2} \psi}{\partial x_{f}^{2}},
\]

где $x_{1}, x_{2}, \ldots, x_{f}$ — координаты частиц рассматриваемой системы, $m_{1}, m_{2}, \ldots, m_{f}$ — соответствующие массы и $V\left(x_{1}, x_{2}, \ldots, x_{f}\right)$ потенциальная энергия как функция координат отдельных частиц $x_{1}, x_{2}, \ldots, x_{f}$.

Полная энергия системы в явном виде входит в (4.3). С другой стороны, частота или период волн пока еще не определены. Шредингер принимает, что частота волны, связанной с движением системы, имеющей полную энергию $E$, дается выражением $\hbar \omega=E$. Поэтому он подставляет в (4.3)
\[
\psi=\psi_{E} \exp \left(-l \frac{E}{\hbar} t\right),
\]

где $\psi_{E}$ не зависит от $t$. Таким образом он получает уравнение для определения собственных значений
\[
\frac{1}{\hbar^{2}}(V-E) \Psi_{E}=\frac{1}{2 m_{1}} \frac{\partial^{2} \psi_{E}}{\partial x_{1}^{2}}+\frac{1}{2 m_{2}} \frac{\partial^{2} \psi_{E}}{\partial x_{2}^{2}}+\ldots+\frac{1}{2 m_{f}} \frac{\partial^{2} \psi_{E}}{\partial x_{f}^{2}},
\]

где $\psi_{E}$ — функция пространственных координат $x_{1}, x_{2}, \ldots, x_{f}$. Необходимо потребовать, чтобы $\psi_{E}$ была квадратично интегрируемой, т. е. чтобы интеграл
\[
\int_{-\infty}^{\infty} \ldots \int_{-\infty}^{\infty} \mid \psi_{E}\left(x_{1}, x_{2}, \ldots,\left.x_{f}\right|^{2} d x_{1} d x_{2} \ldots d x_{f}\right.
\]

по всему конфигурационному пространству был конечным. В частности, $\psi$ должна обращаться в нуль на бесконечности. Значения $E$, для которых возможно определение такой функции $\Psi_{E}$, называются собственными значениями уравнения (4.5); они дают возможные значения энергии системы. Соответствующее квадратично интегрируемое решение уравнения (4.5) называется собственной бункцией, принадлежащей собственному значению $E$.
Уравнение (4.5) также записывается в виде
\[
H \psi_{E}=E \psi_{E},
\]

где $\mathrm{H}$ есть линейный оператор (1амильтониан, или оператор энергии)
\[
\begin{aligned}
\mathrm{H}=-\hbar^{2}\left(\frac{1}{2 m_{1}} \frac{\partial^{2}}{\partial x_{1}^{2}}+\frac{1}{2 m_{2}} \frac{\partial^{2}}{\partial x_{2}^{2}}+\right. & \left.\ldots+\frac{1}{2 m_{f}} \frac{\partial^{2}}{\partial x_{f}^{2}}\right)+ \\
& +V\left(x_{1}, x_{2}, \ldots, x_{f}\right) .
\end{aligned}
\]

Последний член означает умножение на $V\left(x_{1}, x_{2}, \ldots, x_{f}\right)$.
Этот оператор преобразует одну функцию координат $x_{1}$, $x_{2}, \ldots, x_{f}$ в другую. Функция $\psi$ в (4.4) удовлетворяет соотношению
\[
i \hbar \frac{\partial \psi}{\partial t}=\mathrm{H} \psi \text {. }
\]

Полная энергия системы не входит в явном виде в уравнение (4.6), так что это уравнение применимо в общем случае к любому движению, независимо от энергии системы; оно называется зависящим от времени уравнением Шредингера.

Уравнения (4.5) [или (4.5а), (4.5б)] и (4.6) являются основными уравнениями квантовой механики. Последнее из них определяет изменение волновой функции в конфигурационном пространстве со временем. Этому процессу, как мы увидим ниже, приписывается глубокий физический смысл; уравнение (4.5) [или (4.5а), (4.5б)] представляет собой уравнение для определения частоты $\omega=E / \hbar$, энергии $E$ и периодической зависимости волновой функции $\psi$ от времени. В самом деле, (4.5а) следует из (4.6) и предположения, что
\[
\psi=\psi_{E} \exp \left(-i \frac{E}{\hbar} t\right) .
\]
2. Кратко изложим теперь наиболее важные свойства собственных значений и собственных функций оператора (4.5б). Для этой цели мы прежде всего определим скалярное произведение двух функций $\varphi$ и $g$ равенством
\[
(\varphi, g)=\int_{-\infty}^{\infty} \ldots \int \varphi\left(x_{1}, \ldots, x_{f}\right)^{*} g\left(x_{1}, \ldots, x_{f}\right) d x_{1} \ldots d x_{f}=\int \varphi^{*} g .
\]

Все простые правила вычислений, изложенные в гл. 3 , применимы к этому скалярному произведению. Так, если $a_{1}$ и $a_{2}$ являются числовыми константами,
\[
\left(\varphi, a_{1} g_{1}+a_{2} g_{2}\right)=a_{1}\left(\varphi, g_{1}\right)+a_{2}\left(\varphi, g_{2}\right)
\]

и
\[
(\varphi, g)=(g, \varphi)^{*} \text {. }
\]
Скалярное произведение $(\varphi, \varphi$ ) вещественно и положительно; оно обращается в нуль только при $\varphi=0$. Если $(\varphi, \varphi)=1$, то $\varphi$ называется нормированной. Если интеграл
\[
(\varphi, \varphi)=\int_{-\infty}^{\infty} \ldots \int\left|\varphi\left(x_{1}, \ldots, x_{f}\right)\right|^{2} d x_{1} \ldots d x_{f}=c^{2}
\]

конечен, то $\varphi$ всегда может быть нормирована путем умножения на некоторую постоянную $[1 / c$ в вышеуказанном случае, так как $(\varphi / c, \varphi / c)=1]$. Две бункции ортогональны, если их скалярное произведение равно нулю.

Скалярное произведение, определяемое формулой (4.7), составлено исходя из соображений, что функции $\varphi\left(x_{1}, \ldots, x_{f}\right), g\left(x_{1}, \ldots, x_{f}\right)$ от координат $x_{1}, x_{2}, \ldots, x_{f}$ рассматриваются как векторы, компоненты которых пронумерованы (размечены) непрерывными индексами. Функциональный вектор $\varphi\left(x_{1}, \ldots, x_{f}\right)$ определен в $f$-кратно бесконечномерном пространстве. Каждый набор значений переменных $x_{1}, \ldots, x_{f}$, т. е. каждая конфигурация соответствует одному измерению. Тогда скалярное произведение $\varphi$ и $g$ на векторном языке равно
\[
(\varphi, g)=\sum_{x_{1}, \ldots, x_{f}} \varphi\left(x_{1}, \ldots, x_{f}\right)^{*} g\left(x_{1}, \ldots, x_{f}\right),
\]

что заменяется интегралом (4.7).
Определение линейной зависимости или независимости функций также соответствует понятиям, выведенным из обсуждения векторов. Јинейное соотношение
\[
a_{1} \varphi_{1}+a_{2} \varphi_{2}+\ldots+a_{k} \varphi_{k}=0
\]

между функциями $\varphi_{1}, \varphi_{2}, \ldots, \varphi_{k}$ имеет место, если это уравнение справедливо для всех компонент векторов, т. е. для всех наборов значений $x_{1}, \ldots, x_{f}$, при заданных постоянных $a_{1}, a_{2}, \ldots, a_{k}$. Далее, оператор $H$ называется линейным, если соотношение
\[
\mathrm{H}(a \varphi+b g)=a \mathrm{H} \varphi+b \mathrm{H} g
\]

справедливо для всех функций $\varphi$ и $g$. Вообще мы будем иметь дело лишь с линейными операторами. Линейные операторы для функций-векторов соответствуют матрицам для обычных векторов. И те и другие преобразуют векторы, к которым они применяются, в другие векторы. Условие линейности (4.8) справедливо для всех матриц. Мы видели, что всякий оператор, который можно применить к конечномерному вектору, эквивалентен матрице ${ }^{1}$ ). Бесконечномерные операторы также имеют матричную форму, но она часто сильно сингулярна.

Например, элементы матрицы $q_{i}$, соответствующей оператору „умножения на $x_{1}{ }^{a}$, равны
1) См. гл. 1, стр. 11 ,
Она преобразует вектор $\psi$ в вектор $\mathrm{q}_{1} \psi$ с компонентами

Этим вектором является как раз функция $x_{1} \psi$, в которую $\psi$ превращается операцией \»умножения на $x_{1}{ }^{\»}$.

Матрица, соответствующая оператору \»дифференцирования по $x_{1}$ \». обозначается через $(i / \hbar) \mathbf{p}_{1}$, поскольку ( $\left.\hbar / i\right)\left(\partial / \partial x_{1}\right)$ соответствует $p_{1}$ :
\[
\left(\frac{i}{\hbar} \mathbf{p}_{1}\right)_{x_{1} \ldots x_{f} ; x_{1}^{\prime} \ldots x_{f}^{\prime}}=\lim _{\Delta \rightarrow 0} \frac{1}{\Delta}\left(\delta_{x_{1}+\frac{1}{2} \Delta, x_{1}^{\prime}}{ }^{\delta} x_{1}-\frac{1}{2} \Delta, x_{1}^{\prime}\right)_{x_{2} x_{2}^{\prime}} \ldots \delta_{x_{f} x_{f}^{\prime \prime}}
\]

Она преобразует вектор $\psi$ в
\[
\begin{array}{l}
=\lim _{\Delta \rightarrow 0} \frac{1}{\Delta}\left[\psi\left(x_{1}+\frac{1}{2} \Delta, x_{2}, \ldots, x_{f}\right)-\psi\left(x_{1}-\frac{1}{2} \Delta, x_{2}, \ldots, x_{f}\right)\right] \text {, } \\
\end{array}
\]

а это и есть производная $\psi$ по $x_{1}$.
Говорят, что оператор $\mathrm{H}$ эрмитов, если $\mathrm{H}=\mathrm{H}^{+}$, т. е. если
\[
(v, \mathrm{H} w)=\left(\mathrm{H}^{+} \boldsymbol{v}, \boldsymbol{w}\right)=(\mathrm{H} v, w)
\]

для произвольных векторов $\boldsymbol{v}$ и $w$. Другими словами, оператор $\mathrm{H}$ эрмитов, если он может быть перенесен с одного сомножителя скалярного произведения на другой. Эрмитова природа операторов определяется этим требованием.

Оператор $\mathrm{H}$ эрмитов, если для всех функций $\varphi, g$, удовлетворяющих определенным условиям (например, квадратичной интегрируемости, из которой следует, что функция обращается в нуль на бесконечности), имеет место равенство
\[
(\varphi, H g)=(H \varphi, g) .
\]

Суммы эрмитовых операторов и произведения последних на вещественные величины снова линейны и эрмитовы. То же справедливо для их степеней, обратных операторов и т. д.

Оператор Гамильтона (4.5б) эрмитов. Чтобы показать это, заметим прежде всего, что умножение на вещественную функцию
$V\left(x_{1}, x_{2}, \ldots, x_{f}\right)$ приводит к эрмитовому выражению
\[
\begin{array}{c}
(\varphi, V g)=\int_{-\infty}^{\infty} \ldots \int \varphi\left(x_{1}, \ldots, x_{f}\right)^{*} V\left(x_{1}, \ldots, x_{f}\right) \times \\
\times g\left(x_{1}, \ldots, x_{f}\right) d x_{1} \ldots d x_{f}=\int \underset{-\infty}{\infty} \ldots \int\left(V\left(x_{1}, \ldots, x_{f}\right) \times\right. \\
\left.\times \varphi\left(x_{1}, \ldots, x_{f}\right)\right)^{*} g\left(x_{1}, \ldots, x_{f}\right) d x_{1} \ldots d x_{f}=(V \varphi, g) . \quad
\end{array}
\]

Оператор $(\hbar / i)\left(\partial / \partial x_{k}\right)$ также эрмитов. Путем интегрирования по частям получаем
\[
\begin{array}{c}
\left(\varphi, \frac{\hbar}{i} \frac{\partial}{\partial x_{k}} g\right)=\int_{-\infty}^{\infty} \ldots \int \varphi\left(x_{1}, \ldots, x_{f}\right)^{*} \frac{\hbar}{i} \frac{\partial}{\partial x_{k}} g\left(x_{1}, \ldots, x_{f}\right) d x_{1}, \ldots d x_{f}= \\
=\int \underset{-\infty}{\infty} \ldots-\frac{\hbar}{i}\left(\frac{\partial}{\partial x_{h}} \varphi\left(x_{1}, \ldots, x_{f}\right)\right)^{*} g\left(x_{1}, \ldots, x_{f}\right) d x_{1} \ldots d x_{f}= \\
=\left(\frac{\hbar}{i} \frac{\partial}{\partial x_{k}} \varphi, g\right),
\end{array}
\]

поскольку $\psi$ обращается в нуль при $x_{k}= \pm \infty$ и $l^{*}=-i$. Поэтому его квадгат — $\hbar^{2} \partial^{2} / \partial x_{k}^{2}$ тоже эрмитов, что может быть показано двукратным интегрированием по частям. Тогда все слагаемые оператора $\mathrm{H}$ эрмитовы, так что сам $\mathrm{H}$ эрмитов.
Известно, что уравнение для $\psi$
\[
\mathrm{H} \psi=E \psi
\]

имеет неисчезающие квадратично интегрируемые решения только при определенных значениях $E$. Значения, для которых такие решения существуют, называются собственными значениями; совокупность всех этих собственных значений называется спектром оператора $\mathrm{H}$.

Все собственные значения эрмитова оператора вещественны. Если $H \psi_{E}=E \psi_{E}$, то скалярное произведение с $\psi_{E}$ равно
\[
\left(\psi_{E}, H \psi_{E}\right)=\left(\psi_{E}, E \psi_{E}\right)=E\left(\psi_{E}, \psi_{E}\right) .
\]

Но в (4.11) $\left(\psi_{E}, H \psi_{E}\right)=\left(Н \psi_{E}, \psi_{E}\right)=\left(\psi_{E}, Н \psi_{E}\right)^{*}$. Тогда, поскольку $\left(\psi_{E}, \psi_{E}\right)$ вещественно, $E$ также должно быть вещественным.

Эрмитов оператор может иметь как дискретный, так и непрерывный спектры. Собственные значения дискретного спектра являются дискретными числами (число их может быть конечным или бесконечным счетным); соответствующие собственные функции могут быть нормированы [в нашем случае это означает, тто интеграл от квадрата $\psi_{E}$, т. е. $\left(\psi_{E}, \psi_{E}\right)$, конечен], и в дальнейшем будем предполагать, что они уже нормированы. Собственные функции различаются друг от друга индексами: $\psi_{E}, \psi_{F}, \ldots$ Обычно дискретные собственные значения охватывают наиболее интересную часть спектра. Там, где мы до сих пор говорили просто о „собственных значениях“, мы имели в виду дискретные собственные значения.

Решение уравнения для собственных значений, принадлежащее непрерывному спектру $\psi\left(x_{1}, x_{2}, \ldots, x_{f}, E\right)$, не обладает конечным интегралом от квадрата $\psi$. Поэтому можно думать, что оно вовсе не принадлежит спектру. Однако, если мы составим так называемый \»собственный дифференциал“
\[
\int_{E}^{E+\Delta} \psi\left(x_{1}, x_{2}, \ldots, x_{f} ; E\right) d E=\psi\left(x_{1}, x_{2}, \ldots, x_{f} ; E, E+\Delta\right),
\]

это решение становится квадратично интегрируемым, так что может быть нормировано. Это не имело бы места, если $E$ в действительности не принадлежало бы к спектру. Собственный дифференциал (4.Е.3) принадлежит интервалу между $E$ и $E+\Delta$. Это показывает, что непрерывный спектр состоит не из точек, а из непрерывных областей. Решения $\psi\left(x_{1}, x_{2}, \ldots, x_{f}, E\right)$ уравнения для собственных значений называются собственными функциями непрерывного спектра, хотя они и не могут быть нормированы. Они зависят от собственного значения $E$ непрерывным образом; мы обычно вводим $E$ как переменную, а не как индекс для различения разных собственных функций непрерывного спектра. Если непрерывный спектр разделить на определенные малые области длины $\Delta$, то для каждой из них можно определить собственный дифференциал, который (после нормировки) предполагает свойства, все более и более сходные со свойствами собственных функций дискретного спектра, коль скоро $\Delta$ становится все меньше и меньше.

Собственные функции, принадлежащие различным собственным значениям дискретного спектра, ортогональны друг другу. Для доказательства заметим, что из $\mathrm{H} \psi_{E}=E \psi_{E}$ следует, что
\[
\left(\psi_{F}, H \psi_{E}\right)=\left(\psi_{F}, E \psi_{E}\right), \quad\left(H \psi_{F}, \psi_{E}\right)=E\left(\psi_{F}, \psi_{E}\right) .
\]

Аналогично, из $H \psi_{F}=F \psi_{F}$ с учетом вещественности собственных значений имеем
\[
\left(H \psi_{F}, \psi_{E}\right)=\left(F \psi_{F}, \psi_{E}\right)=F^{*}\left(\psi_{F}, \psi_{E}\right)=F\left(\psi_{F}, \psi_{E}\right) .
\]
‘Вычитая, мы видим, что ( $\psi_{E}, \psi_{F}$ ) должно равняться нулю при $E
eq F$. Дискретные собственные функции ортогональны также всем собственным дифференциалам, и собственные дифференциалы ортогинальны друг другу, если только области, которым они принадлежат, не перекрываются.

Одному и тому же собственному значению, например, дискретного спектра может принадлежать более чем одна линейно независимая собственная функция. Если это имеет место, собственное значение называется „вырожденным“. Любая возможная линейная комбинация собственных функций в случае вырождения также является собственной функцией, принадлежащей тому же самому собственному значению. Из линейного набора собственных функций можно выбрать линеино независимый набор; тогда все собственные функции рассматриваемого собственного значения можно выразить в виде линейных комбинаций собственных функций этого линейно независимого набора. Этот набор можно ортогонализовать, например, с помощью метода Шмидта. Разумеется, процесс выбора остается произвольным; ясно, что метод Шмидта может дать много различных ортогональных систем в зависимости от порядка, в котором берутся собственные функции. Однако в настоящий момент это для нас не существенно.

В дальнейшем мы всегда будем предполагать, что из вырожденных собственных функций каким-либо образом выбран некоторый ортогональный набор. Тогда все собственные функции и собственные дифференциалы образуют ортогональную систему. Если $\psi$ и $\psi^{\prime}$ являются двумя различными произвольными функциями этой системы, то
\[
\left(\psi, \psi^{\prime}\right)=0
\]

и
\[
(\psi, \psi)=1
\]

Эта ортогональная система является также полной, если только непрерывный спектр разделен на достаточно тонкие участки (т. е. $\Delta$ достаточно мало). Другими словами, каждую функци: $\varphi\left(x_{1}, \ldots, x_{f}\right)$, для которой сходится интеграл $(\varphi, \varphi)$, можно разложить в ряд
\[
\varphi=\sum_{\mathrm{x}} g_{\mathrm{x}} \psi_{\mathrm{x}}+\sum_{E} g(E, \Delta) \psi(E, E+\Delta)
\]

где индекс $\boldsymbol{x}$ пробегает все дискретные собственные значения, и $E$ пробегает значение от нижней границы по всем собственным дифференциалам. Это разложение в ряд справедливо, в действительности, только для бесконечно малых $\Delta$; поэтому вторая сумма должна быть заменена интегралом
\[
\varphi=\sum_{x} g_{x} \psi_{x}+\int g(E) \psi(E) d E,
\]
где интегрирование производится по всей области непрерывного спектра. Если собственному значению непрерывного спектра принадлежат несколько линейно независимых собственных функций, то в (4.13a) будет несколько интегралов или даже — если число этих собственных функцић бесконечно — один или более двойных или многократных интегралов. С другой стороны, если в рассматриваемой задаче нет непрерывного спектра, второй член в (4.13) и интеграл в (4.13a) опускаются. Составляя скалярное произведение функции $\psi_{x}$ с (4.13), находим, что коэффициент $g_{x}$ дается выражением
\[
\left(\psi_{x}, \varphi\right)=g_{x} .
\]

Аналогичным образом,
\[
(\psi(E, E+\Delta), \varphi)=g(E, \Delta) .
\]

В формальных расчетах непрерывный спектр часто опускается, и вычисления производятся так, как если бы существовал только дискретный спектр. Ясно, к какому изменению приводит существование непрерывного спектра: к суммам добавляются члены с интегралами.

Изложение в этой главе — особенно для случая непрерывного спэктра — не является строгим. Строгая теория собственных значений для произвольных эрмитовых операторов была создана ${ }^{1}$ ) незало: го до написания первого (немецкого) издания настоящей книги. Мы резюмировали здесь лишь некоторую часть ее результатов. Строгая теория весьма сложна. Однако она может быть использована почти без изменений в изложенной здесь форме ${ }^{2}$ ).
1) J. V. N e u m a n n, Math. Ann., 102, 49 (1924).
2) Теория спектрального разложения эрмитовых (точнее, „самосопряженных\») операторов дана в книге: M. H. St on e, Linear Transformations in Hilbert Space, New York, 1932. Несколько более краткое изложение содержится в книге: F. Riesz, B. Sz-Nagy, Functional Analysis, New York, 1955.

1
Оглавление
email@scask.ru