К.А. Казаков - Введение в теоретическую и квантовую механику (1115216), страница 37
Текст из файла (страница 37)
Эти операторы эрмитово сопряжены друг другу. Действительно, по правилам (7.13), (7.16) находим (ˆl+ )+ = ˆlx+ + (iˆly )+ = ˆlx − iˆly = ˆl− . Ниже нам понадобятсякоммутаторы этих операторов друг с другом и с ˆlz . Поскольку коммутаторы компонент175Глава 9. Трехмерное движениемомента мы уже вычислили, интересующие нас коммутаторы могут быть найдены сразув операторном виде:[ˆl+ , ˆl− ] = [ˆlx + iˆly , ˆlx − iˆly ] = [ˆlx , ˆlx ] − i[ˆlx , ˆly ] + i[ˆly , ˆlx ] + [ˆly , ˆly ] = 0 − i(iˆlz ) + i(−iˆlz ) + 0 ,или[ˆl+ , ˆl− ] = 2ˆlz .Далее,(9.18)[ˆl+ , ˆlz ] = [ˆlx + iˆly , ˆlz ] = [ˆlx , ˆlz ] + i[ˆly , ˆlz ] = −iˆly + i(iˆlx ) ,т.е.[ˆl+ , ˆlz ] = −ˆl+ .(9.19)[ˆl− , ˆlz ] = ˆl− .(9.20)Аналогично получаем, наконец, чтоРассмотрим теперь оператор квадрата момента импульса,l̂2 = ˆlx2 + ˆly2 + ˆlz2 .С помощью операторов ˆl± и формулы (9.16) его можно переписать так:l̂2 = (ˆlx + iˆly )(ˆlx − iˆly ) + i(ˆlx ˆly − ˆly ˆlx ) + ˆlz2 = ˆl+ ˆl− − ˆlz + ˆlz2 ,а учитывая соотношение (9.18), также и в видеl̂2 = ˆl− ˆl+ + ˆlz + ˆlz2 .(9.21)Важно, что оператор квадрата момента коммутирует с операторами компонент момента.Действительно, имеем, используя представление (9.21) и формулы (9.19), (9.20),[l̂2 , ˆlz ] = [ˆl− ˆl+ , ˆlz ] = ˆl− ˆl+ ˆlz − ˆlz ˆl− ˆl+ = ˆl− (ˆlz ˆl+ − ˆl+ ) − ˆlz ˆl− ˆl+ = (ˆlz ˆl− + ˆl− )ˆl+ − ˆl− ˆl+ − ˆlz ˆl− ˆl+ = 0 .Циклически переставив здесь индексы x, y, z, получим, что и [l̂2 , ˆlx ] = [l̂2 , ˆly ] = 0 .
По теореме, доказанной в §7.5A, это означает, что у каждой пары операторов {l̂2 , ˆlx }, {l̂2 , ˆlx },{l̂2 , ˆlz } существует совместная система собственных функций (другими словами, соответствующие пары физических величин всегда могут быть точно измерены одновременно).Однако это не имеет место уже для троек операторов вида {l̂2 , ˆlx , ˆly }, поскольку не всеони коммутируют друг с другом.Пример 41. Средние значения компонент момента. Рассмотрим состояние ψm системы,в котором проекция lz имеет определенное значение m.
Тогда средние значения другихдвух проекций в этом состоянии равны нулю. Действительно, усредняя уравнения (9.17)по состоянию ψm и учитывая эрмитовость оператора ˆlz , находимi¯lx = i(ψm , ˆlx ψm ) = (ψm , (ˆly ˆlz − ˆlz ˆly )ψm ) = (ψm , ˆly (ˆlz ψm )) − (ˆlz ψm , ˆly ψm )= (ψm , ˆly mψm ) − (mψm , ˆly ψm ) = 0176(9.22)§9.4. Свойства оператора момента импульсаи, аналогично, ¯ly = 0. Как мы знаем из §7.5B, среднее коммутатора двух операторовдает нижнюю границу произведения флуктуаций соответствующих физических величинв данном состоянии. В данном случае ¯lx = ¯ly = 0, и можно было бы подумать, исходя изсоотношений (9.17), что в состоянии с определенным lz определенное значения можетиметь также и другая проекции момента, например, lx . Однако из формулы (9.16) исоотношения неопределенности (7.73) следует, что Dlx Dly > m/2, и поэтому при m 6= 0должно быть Dlx > 0, Dly > 0.
Итак, единственным случаем, когда более чем одна изпроекций момента имеет определенное значение, является тривиальный случай lx = ly =lz = 0.B.Собственные функции и собственные значенияПри движении в центрально-симметричном поле разделение переменных в уравненииШредингера следует производить в сферических координатах. Для этого, в частности,оператор момента также должен быть выражен в сферических координатах. Нам понадобится, прежде всего, выражение для оператора ˆlz . Легко видеть, что если переход отдекартовых координат к сферическим задается формуламиx = r sin θ cos φ ,y = r sin θ sin φ ,z = r cos θ ,то этот оператор в сферических координатах имеет видˆlz = −i ∂ .∂φДействительно, по правилу дифференцирования сложной функции находим для произвольного вектора ψ∂ψ∂ψ ∂x ∂ψ ∂y ∂ψ ∂z∂ψ∂ψ∂ψ∂ψ=++= − r sin θ sin φ +r sin θ cos φ + 0 = − y +x,∂φ∂x ∂φ ∂y ∂φ ∂z ∂φ∂x∂y∂x∂yследовательно, в соответствии с выражением (9.16)µ¶∂ψ∂∂−i= −i x−yψ = ˆlz ψ .∂φ∂y∂xТаким образом, собственные функции оператора ˆlz определяются уравнением−i∂ψlz= lz ψlz .∂φРешение этого уравнения есть ψlz (r, θ, φ) = A(r, θ)eilz φ , где A(r, θ) ∈ M – произвольная функция координат r, θ.
Поскольку при любом вещественном lz функция ψlz (r, θ, φ)является бесконечно дифференцируемой и ограниченной функцией координат r, θ, φ, тоотсюда можно было бы заключить, что собственными значениями оператора ˆlz являются все вещественные числа. Однако этот вывод поспешен. Дело в том, что соответствиемежду декартовыми и сферическими координатами не является взаимно-однозначным:тройки координат (r, θ, φ) и (r, θ, φ + 2πn), где n ∈ Z, соответствуют одной и той же точкепространства.
В то же время, по определению собственных функций, они должны принадлежать пространству M, т.е. быть однозначными дифференцируемыми функциями177Глава 9. Трехмерное движениеименно декартовых координат (см. §7.1). Конечно, однозначности функции eilz φ можнодобиться, ограничив множество значений угла φ полуоткрытым отрезком [0, 2π). Однакопри этом точки с координатами (r, θ, 0) и (r, θ, 2π − ²) можно сделать сколь угодно близкими друг к другу, выбирая достаточно малое число ² > 0. Для того чтобы функцияψlz (r, θ, φ) была непрерывна в точке (r, θ, 0), необходимо, следовательно, чтобы пределвеличины ψlz (r, θ, 2π − ²) при ² → 0 совпадал со значением ψlz (r, θ, 0), т.е.lim A(r, θ)eilz (2π−²) = A(r, θ)eilz 2π = A(r, θ) ,²→0откуда следует, что eilz 2π = 1, т.е.
lz = m, m ∈ Z. Таким образом, собственные значенияоператора ˆlz являются целыми числами, а его собственные функции имеют видψm (r, θ, φ) = A(r, θ)eimφ ,m∈Z.(9.23)Перейдем теперь к собственным функциям и собственным значениям оператора квадрата момента. Поскольку [l̂2 , ˆlz ] = 0, то на основании теоремы из §7.5A мы можем считать,что собственные векторы оператора l̂2 являются также и собственными векторами оператора ˆlz . Обозначим их через ψλm , где λ, m есть собственные значения операторов l̂2 , ˆlz ,соответственно.
Итак, векторы ψλm удовлетворяют уравнениямl̂2 ψλm = λψλm ,ˆlz ψλm = mψλm .(9.24)Оказывается, что функции ψλm , соответствующие различным значениям m при данном λ,связаны друг с другом простым соотношением. Для его вывода подействуем операторнымравенством (9.19) на вектор ψλm , учитывая второе из уравнений (9.24),ˆl+ mψλm − ˆlz ˆl+ ψλm = −ˆl+ ψλm ,откудаˆlz (ˆl+ ψλm ) = (m + 1)(ˆl+ ψλm ) .Из этого уравнения следует, что вектор ˆl+ ψλm является собственным вектором оператораˆlz , соответствующим собственному значению (m + 1).
Более того, этот вектор соответствует тому же собственному значению оператора квадрата момента, что и вектор ψλm .Действительно, поскольку l̂2 коммутирует с операторами проекций момента, то он коммутирует и с оператором ˆl+ , и потому в силу первого из уравнений (9.24)l̂2 (ˆl+ ψλm ) = (l̂2 ˆl+ )ψλm = (ˆl+ l̂2 )ψλm = ˆl+ (l̂2 ψλm ) = ˆl+ λψλm = λ(ˆl+ ψλm ) ,что и требовалось доказать. Итак, оператор ˆl+ увеличивает значение z-проекции моментана единицу, оставляя неизменным величину квадрата момента. Его называют поэтомуповышающим оператором.
Аналогично, с помощью равенства (9.20) показывается, чтооператор ˆl− уменьшает значение z-проекции момента на единицу, и называется поэтомупонижающим оператором.Определим теперь сами значения λ, т.е. спектр оператора l̂2 . Заметим, во-первых, чтоλ > 0. Действительно, учитывая уравнения (9.24), эрмитовость операторов компонентмомента и свойство 2 скалярного произведения, имеемλ(ψλm , ψλm ) = (ψλm , λψλm ) = (ψλm , l̂2 ψλm ) = (ψλm , (ˆlx2 + ˆly2 + ˆlz2 )ψλm )= (ˆlx ψλm , ˆlx ψλm ) + (ˆly ψλm , ˆly ψλm ) + m2 (ψλm , ψλm ) .178(9.25)§9.4. Свойства оператора момента импульсаВ силу свойства 4 скалярного произведения входящие в это равенство скалярные произведения неотрицательны, а величина (ψλm , ψλm ) к тому же не равна нулю, по определениюсобственного вектора. Поэтому, переписывая равенство (9.25) в виде(λ − m2 )(ψλm , ψλm ) = (ˆlx ψλm , ˆlx ψλm ) + (ˆly ψλm , ˆly ψλm ) ,видим, что при заданном значении λ возможные значения числа m ограничены по абсолютной величине.
Положимl = max(m) ,λгде максимум берется при заданном значении λ. Таким образом, по определению, l –целое неотрицательное число. Выразим λ через l. Для этого подействуем операторнымравенством (9.21) на вектор ψλl . Поскольку l – максимально возможное значение m приданном λ, то оператор ˆl+ обращает вектор ψλl в нуль (если бы это было не так, то векторˆl+ ψλl был бы собственным для оператора ˆlz , соответствующим собственному значениюm = l + 1, что невозможно по определению числа l). Поэтому, учитывая равенства (9.24),находимλψλl = lψλl + l2 ψλl ,откудаλ = l(l + 1) .(9.26)Поскольку значение λ однозначно определяется числом l, и наоборот, то для простоты обозначений первым нижним индексом у собственных функций вместо λ указываютобычно число l и пишут: ψlm , что мы и будем делать в дальнейшем.Для того чтобы показать, что значения (9.26) действительно являются собственнымизначениями оператора l̂2 , нам надо еще найти явный вид функций ψlm (r, θ, φ) и доказать,что они принадлежат пространству M.
Это удобно сделать с помощью операторов ˆl± , длячего надо выразить их в сферических координатах. Проверим, чтµ¶∂∂−iφˆl+ = eiφ ∂ + i ctg θ ∂ˆ, l− = e− + i ctg θ.(9.27)∂θ∂φ∂θ∂φС одной стороны, имеем согласно формулам (9.14)µ¶ µ¶µ¶∂ψ∂ψ∂ψ∂ψ∂ψ∂ψ∂ψˆl+ ψ = −i y−z+ z−x=z+i− (x + iy)∂z∂y∂x∂z∂x∂y∂zµ¶∂ψ∂ψ∂ψ+i.= r cos θ− r sin θeiφ∂x∂y∂zС другой стороны, по правилу дифференцирования сложной функци趵¶µ∂∂ψ∂ψ∂∂ψ+ i ctg θr cos θ cos φ +r cos θ sin φ −r sin θψ=∂θ∂φ∂x∂y∂zµ¶∂ψ∂ψ+i ctg θ − r sin θ sin φ +r sin θ cos φ∂x∂yµ¶∂ψ∂ψ∂ψ= r cos θ(cos φ − i sin φ)+i.− r sin θ∂x∂y∂z179Глава 9.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
