Квантовая механика и квантовая химия - Степанов Н.Ф.
ISBN 5-03-003414-5
Скачать (прямая ссылка):
50
известно, что любую функцию/(х), заданную на конечном отрезке [0, Ь] и удовлетворяющую условию/(0) = /(?), можно представить в виде ряда Фурье:
пк
/(х) = <*0 + ^ап вш— х.
Если ДО) = 0, то а0 = 0, так что любую такую функцию можно записать в виде ряда по собственным функциям Ч*п:
00
/(*)= ^ Ьп=ап^у2. (1.3.12)
Следовательно, для всех возможных линейных комбинаций (в том числе и с бесконечным числом членов) функции Ч*п(х) образуют своего рода базис, в котором и записываются эти линейные комбинации. По аналогии с обычными векторными пространствами (например, в трехмерном случае, когда любой вектор Ь записывается в виде (Ь\ + Ь}] + Ьк)9 функции Ч*я(х) называют базисными, либо говорят о них как о базисных векторах (по своей роли аналогичных векторам I, ] и к, только в бесконечномерном пространстве). На этом языке формула (12) интерпретируется следующим образом: все возможные (конечные или бесконечные) линейные комбинации базисных векторов (х) образуют линейное пространство ?2, в котором любой вектор /(х) может быть представлен в виде (12).
Для нахождения коэффициентов Ьп, определяющих заданную функцию /(*), можно поступить следующим образом. Умножим обе части равенства (11) слева на ч?(х) и проинтегрируем по х от 0 до Ь\
? оо
1Ч<*т(хтх)с1х = <Ч'т\/>=1Ьп <Ч<т\Ч>п >.
0 п=\
Коль скоро функции Ч*л ортогональны и нормированы (т.е. орто-нормированы), то <Ч'т|Ч;п> = 6тл, где Ьтп - символ Кронекера. Учитывая это обстоятельство, сразу же находим:
Ь =<ЧЧ/>,
так что
оо
/(*)-2<ЧІі.І/>*„(*)• (1-3.13)
Система любых функций Ч*я(х), п = 1, 2, ... называется полной, если произвольная функция из рассматриваемого пространства, например 82, допускает представление в виде ряда (13). При этом
51
само пространство 8, включает все функции, обладающие интегрируемым квадратом модуля (отсюда индекс 2 у символа &,) и удовлетворяющие граничным условиям ДО) = /(/,) = 0.
Можно показать, что любой эрмитов оператор А обладает полной системой собственных функций, так что любую волновую функцию квантовой системы частиц можно представить в виде ряда по собственным функциям такого оператора. Если у оператора А есть наряду с дискретным также и непрерывный спектр, то такое разложение в ряд приобретает несколько более сложный вид:
/(хь...,Хх) = ^ап%(х1,...,Хх)+?а(Е)Ч'Е(х1,...,Хн)сШ, (1.3.14)
п
сумма берется по всем собственным функциям Ч* дискретного спектра, нумеруемых индексом п, а интеграл - по всем функциям Ч*? непрерывного спектра.
е. Замечание. В квантовой механике волновые функции обычно считают принадлежащими гильбертову пространству ф, под которым в функциональном анализе подразумевается следующее (см. также ""Краткую вспомогательную сводку...'1 перед гл.1). Во-первых, это линейное пространство, т.е. в нем определены операции сложения и умножения на действительные или комплексные числа. А во-вторых, в ф введена числовая функция <\р|ф> от пары элементов яр и ф, называемая их скалярным произведением и удовлетворяющая следующим аксиомам:
1. <яр, + \1>,|ф> = <гр,|ф> + <гр,|ф>;
2. для любого числа а: <гр|аф> = а<гр|ф>;
3. <гр|ф> = <ф|яр>* ;
4. <яр|яр> > 0 при яр * 0; <гр|яр> = 0 тогда и только тогда, когда гр = 0.
Скалярное произведение для волновых функций определяется уже
+оо
не раз использованным интегралом: <ф|г|>> = ^ф*яр*/т, где
— 00
интегрирование ведется по всей области изменения переменных, от которых зависят волновые функции. Скалярное произведение функции яр на себя определяет ее норму ||яр|| = <яр |яр>,/2, а "расстояние" между двумя функциями яр и ф полагается равным р(яр, ф) = <тр - ф |яр - ф>1/2. (Помимо двух указанных выше требований, для гильбертова пространства часто вводят и третье: это пространство должно быть полным в том смысле, что для
52
любой сходящейся последовательности Коши его векторов, т.е. функций яр, предел существует и принадлежит этому пространству).
Эрмитовым оператором А в гильбертовом пространстве называется оператор, для которого <яр|А|яр> = <Аяр|яр>. Если этот оператор является к тому же и ограниченным (т.е. таким, для которого отношение ||Аяр || /1|яр || ограничено при любой функции из ф), то он называется самосопряженным. У самосопряженного оператора все собственные значения ограничены. В квантовой механике, особенно при первоначальном ее построении, понятия самосопряженного и эрмитова оператора не различают: при первом знакомстве можно не делать различий между гильбертовыми и конечномерными пространствами. Тем не менее, эти различия есть. Например, не все собственные функции эрмитовых операторов, определяемые как решения соответствующих уравнений на собственные значения, в общем случае принадлежат гильбертову пространству. Поэтому приходится переходить к некоторым более общим конструкциям, называемым оснащенными гильбертовыми пространствами, в которых системы собственных функций эрмитовых операторов полны. Обсуждать подобные конструкции мы не будем, ограничившись лишь указанием на необходимость их введения при строгом построении теории квантовой механики.
Задачи
1. Убедиться, что операторы координаты х, импульса рх, момента импульса Ьх, а также их квадратов х2, рх и Ьх2 линейны; показать, что оператор перестановки Р{ 2 также линеен.
