quant-1-1-arphf9t1u8h
.pdf
¨ |
63 |
3.2. ВОЗМОЖНО ВСЕ, ЧТО МОЖЕТ ПРОИЗОЙТИ (Ф*) |
диаграмм, в которых имеются два начальных электрона, два конечных, а все вершины имеют вид как на рис. 3.113.
Рис. 3.11. Вершина для взаимодей- |
Рис. 3.12. Ричард Филлипс Фейнман |
ствия электрона с электромагнитным |
(1918–1988). |
полем. |
|
Такие рисунки и соответствующие им амплитуды называются диаграммами Фейнмана. Здесь ровные линии со стрелками обозначают электроны и позитроны, а волнистые — фотоны. Всевозможных промежуточных процессов бесконечно много, но, как правило (в хороших теориях), хорошее приближение получается суммированием первых самых простых диаграмм Фейнмана. Подобный набор картинок, изображающих протекание процесса всеми возможными способами, задает¨ для этого процесса ряд теории возмущений, причем¨ степень малости вклада каждой диаграммы определяется числом вершин (каждая вершина — множитель).
3.2.1. Большое в малом (ф*)
Конечно, это были совсем не пчелы;¨ по правде говоря, это были слоны, в чем¨ Алиса очень скоро убедилась.
Льюис Кэрролл, «Алиса в Зазеркалье»
Мы можем придти к следующему общефилософскому заключению. В квантовой системе, как правило, может произойти все,¨ что не запрещено законами сохранения, хотя и с различными амплитудами вероятности. Так, если мы столкнем¨ на ускорителе две частицы с энергией, достаточной для рождения зеленого¨ слоника, то с некоторой ненулевой вероятностью зеленый¨ слоник возникнет (хотя эта вероятность будет заметно меньше, чем
3Поскольку здесь важна идея вычисления амплитуды как суммы амплитуд всех возможных процессов, мы не останавливаемся на деталях диаграммной техники.
64 |
ГЛАВА 3 |
Рис. 3.13. Зазеркальный слон. |
Рис. 3.14 |
—Взгляни-ка на то облачко, . . . — Это вьются Бегемошки. . . .
—А что они едят? — снова спросила Алиса.
—Мелкую рыбешку¨ и лягушек! . . .
—А если рыбок не будет? . . .
—Тогда они, конечно, умрут, . . .
—И часто так бывает?
—Всегда, . . . .
Льюис Кэрролл, «Алиса в Зазеркалье» Как и бегемошкам, виртуальным частицам не хватает энергии, чтобы суще-
ствовать, и они всегда распадаются4
вероятность самопроизвольной сборки слоника из отдельных атомов в результате броуновского движения, а среднее время ожидания такого события на много порядков превысит возраст Вселенной). Но даже если энергия нашего ускорителя недостаточна для рождения зеленых¨ слонов, то в процессе столкновения двух частиц зеленый¨ слоник может возникнуть в промежуточном состоянии, чтобы потом распасться (аналогично прохождению частицы при туннельном эффекте через потенциальный барьер, высота которого превышает энергию частицы). Правда существовать такой виртуальный слоник сможет очень короткое время, определяемое соотношением неопределенности¨
δE · δt ¯h, |
(3.19) |
где δE — энергия, которой нам не хватает, чтобы создать слоника, δt — время его существования, а ¯h — постоянная Планка. Хотя вклад процессов с участием виртуальных слоников в рассеяние элементарных частиц исчезающе мал, но другие, не столь тяжелые,¨ объекты действительно начинают заметно (измеримо) влиять на жизнь элементарных частиц на энергиях много меньших, чем энергия, необходимая для их рождения.
Так, например, при β-распаде свободного нейтрона (см. рис. 3.155) он испускает виртуальный калибровочный W − бозон, который тяжелее
4Рисунки слона и бегемошки художника И. И. Казаковой воспроизведены по изданию Льюис Кэрролл «Приключения Алисы в стране чудес; Алиса в Зазеркалье», Петрозаводск: Карелия, 1979.
5Сплошная стрелка — фермион (длинная — барион, короткая — лептон), прозрачная стрелка — заряд. Для античастицы сплошная стрелка рисуется на заднем конце. Для заряженной частицы прозрачная стрелка рисуется на переднем конце для положительного заряда, и на
¨ |
65 |
3.2. ВОЗМОЖНО ВСЕ, ЧТО МОЖЕТ ПРОИЗОЙТИ (Ф*) |
нейтрона в 80 раз, и энергии на образование которого у нейтрона «почестному» нет. В процессе испускания W − нейтрон n превращается в протон p (который лишь чуть-чуть легче нейтрона), а W − очень быстро распадается на электрон e− и электронное антинейтрино ν¯e. Поскольку для настоящего рождения W − бозона не хватает очень большого количества энергии, время существования W − крайне мало, а время жизни свободного нейтрона очень велико — почти 15 минут6.
Ve
p+ e–
W –
n
Рис. 3.15. Распад нейтрона. Изображена диаграмма, дающая главный вклад в амплитуду процесса. Виртуальный W − выступает в роли бегемошки с рис. 3.14.
Принцип «возможно все,¨ что разрешено законами сохранения» «объясняет» нестабильность всех частиц, которым есть куда распадаться. Нейтрону энергетически выгодно распасться на протон, электрон и электронное антинейтрино, никакие законы сохранения ему этого не запрещают, вот он это и делает.
Протон, конечно, тоже может испустить виртуальный W + и превратиться в нейтрон, с дальнейшим распадом W + → eν¯ e, вот только для того, чтобы нейтрон, позитрон и нейтрино стали реальными частицами, им не хватает энергии, а потому им надо быстро-быстро (за время, отводимое соотношением неопределенности)¨ собраться обратно в протон и сделать вид, что все¨ так и было. (Как показывает квантовая теория поля, подобные процессы действительно влияют на свойства элементарных частиц.)
Аналогично все фермионы второго и третьего поколений могут (через слабое взаимодействие) превратиться в фермионы первого поколения (которым дальше распадаться некуда), и поэтому они так делают.
заднем — для отрицательного. Непрерывность стрелок каждого типа позволяют проследить сохранение электрического заряда, барионного и лептонного квантовых чисел.
6Внутри стабильного атомного ядра условия иные, и нейтрон может жить неограниченно долго.
ГЛАВА 4
Математические понятия квантовой теории
. . . между математическими понятиями подчас возникают совершенно неожиданные связи и . . . именно эти связи позволяют нам удивительно точно и адекватно описывать различные явления природы. . . . в силу последнего обстоятельства (поскольку мы не понимаем причин, делающих математические понятия столь эффективными) мы не можем утверждать, является ли теория, сформулированная на языке этих понятий, единственно возможной.
Юджин Вигнер, «Непостижимая эффективность математики в естественных науках»
В этой главе вводятся основные математические понятия, на языке которых квантовую механику удобно излагать и понимать. Попутно вводимые понятия обсуждают с разных точек зрения: различные обозначения, связь между понятиями, физический смысл, применение, аналогии с простейшими случаями (которые, вероятно, известны читателю), отличия от таких простейших случаев и природа этих отличий . . .
Математический аппарат вводится с запасом (хотя это и не единственная математическая глава в книге), так что при первом чтении настоятельно рекомендуется не пытаться изучить все,¨ а, пропуская непонятные места (особенно помеченные звездочками),¨ побыстрее перейти в главе 5 «Принципы квантовой механики».
4.1. Пространство волновых функций
4.1.1. Функцией каких переменных является волновая функция?
Волновая функция может зависеть от времени, но эту зависимость мы пока не рассматриваем, а берем¨ систему в фиксированный момент времени.
4.1. ПРОСТРАНСТВО ВОЛНОВЫХ ФУНКЦИЙ |
67 |
Распределение вероятностей для классической механической системы можно записать как функцию от координат и импульсов всех входящих
всистему частиц (x, p), т. е., если вспомнить терминологию теоретической механики, как функцию от точки фазового пространства1.
Вквантовой механике мы не можем одновременно измерить координату и соответствующий этой координате импульс. Аргументом волновой функции должен быть максимальный набор одновременно измеримых величин, поэтому волновая функция не может зависеть одновременно от всех координат и импульсов.
Волновая функция может быть представлена как функция от всех координат всех частиц системы2, т. е., если вспомнить терминологию теоретической механики, как функцию от точки конфигурационного пространства3.
Впрочем, задание волновой функции как функции на конфигурационном пространстве — координатное представление — это лишь одно из возможных представлений. Мы можем, например, задать волновую функцию как функцию на пространстве импульсов — импульсное представление (аргументы — все импульсы, всех частиц системы) получается из координатного представления преобразованием Фурье. Число всевозможных представлений волновой функции бесконечно, подобно тому, как бесконечно число базисов, по которым можно раскладывать векторы. Это сравнение не случайно. Далее мы будем рассматривать волновые функции как векторы.
Важно отметить, что волновая функция описывает не отдельную частицу, а систему в целом. Если мы имеем систему из 10 частиц, то она описывается не 10 волновыми функциями, от 3 переменных каждая, а одной волновой функцией, от 30 переменных (что гораздо сложнее для вычислений). Действительно, информация, необходимая для описания системы, растет¨ с числом частиц не как арифметическая прогрессия, как было
вклассической механике, а как геометрическая.
(*)Если мы описываем одну частицу в трехмерном¨ пространстве, то для приближенного¨ задания ее¨ состояния в классической механике надо задать 6 · K цифр (3 координаты и 3 импульса, на каждое число считаем по K десятичных знаков), а в квантовой механике — L3 ·2K цифр (по K десятичных знаков для вещественной и мнимой части каждого из значений вол-
1Точка фазового пространства задается¨ значениями всех обобщенных¨ координат и импульсов системы.
2Для бесспиновых частиц. Для частиц со спином полный набор одновременно измеримых переменных будет включать, например, проекции спинов всех частиц на какое-то направление, или какие-то другие спиновые переменные.
3Точка конфигурационного пространства задается¨ заданием всех обобщенных¨ координат системы.
68 |
ГЛАВА 4 |
новой функции в L3 узлов решетки¨ L ×L ×L). Если мы увеличиваем число частиц в классической задаче, то число необходимых для описания системы цифр растет¨ пропорционально числу частиц N , т. е. требуется 6N · K цифр.
(*) Для квантовой системы число цифр оказывается (L3)N · K. Даже для сравнительно небольшой решетки¨ 100 × 100 × 100 объем¨ информации растет¨ в 106 раз при добавлении каждой новой частицы. По этой причине в квантовой механике систем многих частиц (таких как сколько-нибудь сложные атомы, молекулы, конденсированные среды и т. п.) для расчетов¨ приходится использовать те или иные приближения, например, приближение среднего поля, когда рассматривается одночастичная задача, а влияние всех остальных частиц учитывается через эффективное поле, в котором движется частица4.
Часто пишут, что для системы, состоящей из невзаимодействующих подсистем, можно определить отдельные волновые функции для этих подсистем. Понимать это надо следующим образом. Пусть полный набор одновременно измеримых переменных (x1, x2) состоит из переменных (x1), описывающих первую подсистему, и переменных (x2), описывающих вторую. Тогда волновую функцию всей системы можно записать как Ψ12(x1, x2). И если в некоторый момент времени
Ψ12(x1, x2) = ψ1(x1) · ψ2(x2), |
(4.1) |
то и в последующие моменты времени волновая функция системы записывается как произведение функций, описывающих подсистемы. Это аналогично поведению распределений вероятности в классической механике.
Запись (4.1) волновой функции системы через функции подсистемы называют тензорным произведением и записывают как
Ψ12 = ψ1 ψ2. |
(4.2) |
В общем случае (если ψ =ψ ) Ψ = Ψ = ψ ψ , т. к. Ψ (x , x ) =
1 2 12 21 2 1 21 1 2
= ψ2(x1) · ψ1(x2).
Однако в общем случае волновая функция Ψ12 уже не может быть записана в виде произведения, хотя она и представима в виде суммы (или
4Само по себе уравнение Шредингера,¨ описывающее эволюцию квантовой системы во времени, линейно, но в приближении среднего поля большое количество частиц описывается одной волновой функцией, которая описывает фон, на котором движется каждая из частиц. Из-за этого параметры уравнения начинают зависеть от волновой функции и уравнение становится нелинейным. Таким образом, если вы где-то встретили нелинейное уравнение Шредингера,¨ то его написание, в большинстве случаев, вызвано не желанием обобщить одночастичное уравнение Шредингера,¨ а желанием приближенно¨ решить многочастичное уравнение.
4.1. ПРОСТРАНСТВО ВОЛНОВЫХ ФУНКЦИЙ |
69 |
интеграла) от нескольких таких произведений
Ψ12(x1, x2) = ψ1(i)(x1) · ψ2(i)(x2) i
Ψ12 = ψ1(i) ψ2(i). i
(4.3)
На самом деле, в классической механике мы имеем похожий эффект,
если описываем систему, не задавая координаты и импульсы всех частиц, а задавая распределение вероятностей нахождения у системы того или иного набора координат и импульсов. Задание распределений вероятности для отдельных величин достаточно для предсказания вероятностей различных исходов любого процесса, только если эти величины независимы. Тогда
ρ12(x1, x2) = ρ1(x1) · ρ2(x2) ρ12 = ρ1 ρ2. (4.4)
Если между величинами есть вероятностные корреляции (т. е. знание одной величины изменяет распределение вероятностей другой), то распределение ρ12 уже не может быть записано в виде произведения, хотя оно и представимо в виде суммы (или интеграла) от нескольких таких произведений
ρ12(x1, x2) = ρ(1i)(x1) · ρ(2i)(x2) ρ12 = ρ(1i) ρ(2i). (4.5) i i
Когда такое распределение вероятностей эволюционирует со временем, то независимые в начальный момент времени переменные, если они относятся к взаимодействующим друг с другом подсистемам, как правило, становятся коррелированы, и распределение вероятностей (волновая функция), которое сначала записывалось в виде произведения (факторизовалось), уже не факторизуется. Это относится как к классическим, так и к квантовым системам.
Таким образом, описание составных систем в классической и квантовой механике производится аналогично, если мы используем в обоих случаях вероятности (амплитуды вероятностей), однако в классической механике мы можем, хотя бы теоретически, обойтись без вероятностей, задавая точные значения координат и импульсов, а для квантовой механики задание волновой функции (т. е. амплитуд всевозможных взаимоисключающих исходов) является наиболее полным возможным описанием системы.
4.1.2.Волновая функция как вектор состояния
Вразных разделах математики в слово «вектор» может вкладываться различный смысл, но обычно векторы — элементы некоторого линейного
70 |
ГЛАВА 4 |
пространства, т. е. объекты, для которых определено сложение (ψ + φ, т. е. суперпозиция состояний) и умножение на число (cψ). Очевидно, что для волновых функций эти операции определены, причем¨ поскольку сами волновые функции комплекснозначны, то естественно считать, что пространство волновых функций — комплексное векторное пространство.
Принято считать, что волновая функция определена с точностью до произвольного ненулевого комплексного множителя, т. е. волновые функции ψ и cψ (где c = 0— произвольная комплексная константа) описывают одинаковые состояния квантовой системы.
Пространство волновых функций мы будем называть пространством чистых состояний системы, или просто пространством состояний. Сама волновая функция будет называться вектором состояния, или просто состоянием (точнее чистым состоянием, см. сноску 2).
Значения волновой функции при разных значениях аргументов при этом можно рассматривать как комплексные значения компонент вектора из пространства H.
Если рассматривать вектор как набор компонент, то можно сказать, что вектор определяет функцию, которая по номеру компоненты вектора возвращает значение этой компоненты. Для привычных нам конечномерных векторов компоненты нумеруются дискретным числом, которое пробегает конечный набор допустимых значений, а для волновых функций число компонент как правило бесконечно, причем¨ переменная, нумерующая компоненты (аргумент волновой функции), может быть как дискретной, так и непрерывной (а также непрерывной на некоторых интервалах и дискретной на других).
На пространстве волновых функций нам нужно скалярное произведение, поскольку для единичных векторов оно имеет хороший физический смысл амплитуды вероятности (3.13) при измерении.
Для обычных векторов в комплексном n-мерном пространстве у математиков принято определять скалярное произведение следующим образом:
|
n |
|
(a, b) = |
|
(4.6) |
akbk. |
k=1
4.1. ПРОСТРАНСТВО ВОЛНОВЫХ ФУНКЦИЙ |
71 |
Компоненты одного из сомножителей комплексно сопрягаются для того, чтобы скалярный квадрат любого ненулевого вектора был вещественным положительным числом
n |
n |
|
|
|
|
|
|
(a, a) = akak = |
|
Re2ak + Im2ak . |
(4.7) |
k=1 |
k=1 |
|
|
Эту формулу легко обобщить на случай, когда компоненты вектора нумеруются неограниченной дискретной переменной, а для непрерывной
переменной мы заменяем сумму на интеграл |
|
|
||||
φ|ψ = |
φ (x) ψ(x) dx, |
или |
φ|ψ = |
φ (k) ψ(k). (4.8) |
||
k |
||||||
Обратите внимание! У физиков принято комплексно сопрягать компоненты первого аргумента скалярного произведения, тогда как у математиков сопрягают компоненты второго аргумента. Но физики для скалярного произведения волновых функций используют угловые скобки вместо круглых
ичерту вместо запятой, что позволяет сразу различать, какой из традиций придерживается тот или иной автор.
Вэтих выражениях можно легко узнать скалярные произведения в про-
странствах L2 (пространство квадратично интегрируемых функций) и l2 (пространство квадратично суммируемых последовательностей). Эти пространства мы обычно и берем¨ в качестве пространства волновых функ-
ций H. В некоторых задачах могут возникать и конечномерные пространства состояний Cn.
(*)Линейные полные пространства со скалярным произведением из-
вестны в математике как гильбертовы пространства. Причем¨ все бесконечномерные сепарабельные5 гильбертовы пространства изоморфны, т. е. одинаковы с точностью до сохраняющей скалярное произведение (унитарной) замены координат. В частности, бесконечномерные пространства L2
иl2 отличаются друг от друга только выбором базиса.
Если переменная x пробегает непрерывные значения из области U и дискретные из множества W , то
|
φ ψ |
|
|
(4.9) |
|
| |
|
k W |
|
|
|
U |
|
Через скалярный квадрат вектора определяется норма (длина вектора):
ψ 2 = ψ|ψ .
5Сепарабельное пространство содержит всюду плотное счетное¨ подмножество.
72 |
ГЛАВА 4 |
4.2. Матрицы (л)
Несколько прискорбно, что теорию линейных алгебр снова и снова приходится излагать с самого начала, поскольку фундаментальные понятия этой ветви математики широко используются в математике и физике и их знание должно быть так же широко распространено, как знание элементов дифференциального исчисления.
Г. Вейль, «Теория групп и квантовая механика», «Введение»
Коротко напомним некоторые понятия и факты из линейной алгебры, обобщение которых понадобится нам далее.
Матрица — прямоугольная таблица из чисел, элементы которой нумеруются двумя индексами как Aij . Первый индекс нумерует строки, а второй — столбцы.
Столбец (матрица-столбец) — матрица, состоящая из одного столбца, элементы которой нумеруются одним индексом как Ai•. Первый индекс нумерует строки, а отсутствующий второй индекс мы заменили точкой «•».
Строка (матрица-строка) — матрица, состоящая из одной строки, элементы которой нумеруются одним индексом как A•i. Отсутствующий первый индекс мы заменили точкой «•», а второй индекс нумерует столбцы.
Умножение строки на столбец той же длины дает¨ число:
ua = |
u•iai•. |
|
i |
Умножение столбца на строку дает¨ матрицу — таблицу умножения элементов строки на элементы столбца:
(au)ij = ai•u•j .
Произведение матриц дает¨ матрицу — таблицу умножения строк пер-
вой матрицы на столбцы второй:
(AB)ik = Aij Bjk. j
Умножение определяется для такой пары матриц, что число столбцов первой совпадает с числом строк второй.
Умножение матриц ассоциативно, т. е. скобки в произведении можно
ставить произвольным образом:
((AB)C)il = ( Aij Bjk)Ckl = Aij BjkCkl =
k |
j |
jk |
