Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебники / Физика конденсированных сред

.pdf
Скачиваний:
72
Добавлен:
30.03.2022
Размер:
3.97 Mб
Скачать

§7. Вычисление электропроводности методом Мори 381

β– обратная температура в энергетических единицах. Подставляя результат (6.119) в выражение (6.118), получаем выражение для проводимости, записанное с использованием скалярного произведения Мори:

 

 

 

β

0

 

 

 

 

 

σαβ (ω) =

e

2

 

exp (

)t1

(P α, P β (t1)) dt1.

(6.120)

 

 

 

 

 

 

2

 

m

 

−∞

{

 

}

 

Для того чтобы воспользоваться результатами (6.106), (6.107) при вычислении компонент тензора электропроводности, выберем в качестве базисных операторов Pn , фигурирующих в формуле (6.106), декартовы компоненты оператора суммарного импульса электронов P α и введем вместо частоты комплексную переменную z соотношением − iω = z . В результате вместо (6.120) получаем

 

 

 

 

 

 

 

 

2β

0

 

 

 

 

 

 

 

 

 

 

σαβ (z) =

e

 

exp (zt1

(P α, P β (t1)) dt1 =

 

 

 

 

m

2

 

 

2

 

 

 

−∞

{

}

 

2

 

 

 

e

β

 

 

 

 

 

 

 

e

β

 

=

 

 

 

exp (

 

zt1

(P

α(t1), P β ) dt1 =

 

 

Θ(z)(P α, P β ).

m

2

 

 

 

2

 

 

{ −

 

 

 

}

 

 

m

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

(6.121)

Для получения второго из равенств в формуле (6.121) в интеграле сделана замена переменных t1 → −t1 .

Теперь, используя выражение (6.106) для корреляционной функции Θ(z) и переходя обратно к переменной ω , можно записать выражение для электропроводности:

σαβ (z) =

e2β

 

Θ(0)(P α, P β )

(6.122)

 

 

 

.

m2

z − iΩ + Σ(z)

Для того чтобы сравнить результат (6.122) с выражением, которое получается при использовании метода массового оператора (5.51), необходимо заметить, что Θ(0) = 1, Ω = 0. Первое из этих равенств просто следует из определения корреляционной функции Θ(t) (6.94). Для доказательства второго рассмотрим

382

Глава 6. Метод НСО

вначале корреляционную функцию (P α, P β ) в числителе формулы (6.122)

1

(P α, P β ) = β dτ Sp{P αρτ0 P β ρ10−τ } =

0

= mSp{P α i1 [ρ0, Xβ ]} = mSp{i1 [Xβ , P α]ρ0} = mnδαβ ,

(6.123)

где n – концентрация электронов. Повторяя аналогичные выкладки для матрицы частот iΩ с учетом её определения (см. формулу (6.99)), получаем

iΩ Sp{i1 [P β , P α]ρ0} = 0.

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

Σ(ω) =

 

1

0

dt1 exp (

)t1

} ×

 

 

 

 

 

 

nm −∞

{

 

 

˙ α

, exp{(1

P)iLt1}(1

 

˙

β

).

(6.124)

×((1 P)P

P)P

 

Для сравнения приведем выражение для обратного времени релаксации, полученное с использованием метода функций Грина (см § 3 гл. 5):

1

 

=

1

0

dt1 exp (

)t1

}

(P˙

α, exp iLt1

P˙ β ). (6.125)

 

 

 

τ (ω)

 

nm −∞

{

 

 

{

}

Из приведенных формул (6.124), (6.125) хорошо видно, что все их различие состоит в отсутствии операторов проектирования в последнем выражении. Естественно, встаёт вопрос: какое из приведенных выражений является правильным? Вопрос весьма актуален, поскольку формулы типа (6.125) для времен релаксации достаточно широко распространены в литературе.

§ 7. Вычисление электропроводности методом Мори 383

Более того, хорошо известно, что эти формулы часто дают результаты, неплохо совпадающие с экспериментом.

Можно утверждать, что выражение (6.125) для времени релаксации полного импульса электронной системы является правильным лишь в борновском приближении. В этом легко можно

˙ α

убедиться. Во-первых, если оператор P пропорционален взаимодействию, то в борновском приближении формулы (6.124) и (6.125) просто совпадают. Действительно, в этом случае операторы проектирования в формуле (6.124) могут быть опущены, так как их учет привел бы к удержанию членов четвертого порядка по взаимодействию и выше (доказать это мы предлагаем читателю самостоятельно).

Можно показать, что в постоянном электрическом поле при ω = 0 точное значение обратного времени релаксации, определяемое выражением (6.125), точно равно нулю, поэтому эта формула является, строго говоря, неверной.

Действительно, рассмотрим диагональные компоненты тензора электропроводности на нулевой частоте:

 

 

 

β

0

 

 

 

σαα =

e

2

 

dt1 exp t1

(P α, P α(t1)).

(6.126)

 

 

 

 

 

 

2

 

m

 

−∞

{

}

 

С другой стороны,

σαα =

e2

;

1

=

1

0

dt1 exp t1

(P˙ α, P˙ α(t1)). (6.127)

 

 

 

 

m

 

τ

 

nm −∞

{

}

Произведем дважды интегрирование по частям в формуле (6.127) для 1. Интегрируя первый раз, получаем

 

 

1

0

dt1 exp t1

 

d

(P˙ α, P α(t1)) =

 

 

 

 

 

 

 

 

nm −∞

 

0

{

}dt1

 

=

1

(P˙ α, P α)

 

 

 

dt1 exp t1

(P˙ α, P α(t1)). (6.128)

 

 

 

 

 

nm

 

 

nm −∞

 

{

 

}

384

 

 

Глава 6. Метод НСО

 

 

 

 

 

Поскольку корреляционная функция

˙

α

, P

α

) = 0

, инте-

(P

 

 

грируя второй раз по частям, получаем

 

 

 

 

 

 

 

 

 

1

 

0

dt1 exp t1

(P˙ α, P˙ α(t1)) =

 

 

 

 

 

 

 

 

 

 

nm −∞

0

{

}

 

 

 

 

 

 

=

 

(P α, P α)

2

 

dt1 exp t1

(P α, P α(t1)).

(6.129)

 

 

 

 

 

 

nm

nm −∞

{

}

 

 

 

 

 

 

Поскольку все корреляционные функции, стоящие в правой части равенства (6.129), конечны, а умножаются они на параметры или 2 , которые после выполнения термодинамического предельного перехода

n → ∞, V → ∞,

n

→ const

 

V

( n−число частиц в системе, V −объем) должны быть устремлены к нулю, видим, что из формулы (6.129) следует равенство нулю и обратного времени релаксации.

Физическая причина полученного результата достаточно очевидна. Из § 5 настоящей главы следует, что необратимое поведение не появляется само собой вследствие каких-либо математических ухищрений. Возникновение необратимости связано с тем, что реализуются не все возможные состояния, допускаемые динамическими уравнениями, а лишь ограниченный набор состояний, приводящий к возникновению необратимого во времени поведения.

Конечно, возникает несколько вопросов. Во-первых, почему правильный результат получается при использовании операторов проектирования, а не стандартного метода функций Грина? Этот вопрос становится более актуальным, если мы напомним, что при выводе уравнения движения для корреляционной функции Θ(t) (6.99) выполнялись, по существу, только тождественные преобразования.

Во-вторых, почему недостаточно того факта, что НСО удовлетворяет необратимому во времени уравнению? Не должны ли отсюда сразу получаться правильные выражения для кинетических коэффициентов?

§ 8. Связь метода НСО и метода Мори

385

Проще ответить на второй вопрос. Необратимое во времени уравнение для НСО обеспечивает всего лишь правильную структуру кинетических коэффициентов или обобщенных кинетических уравнений. Более того, правильное вычисление кинетических коэффициентов связано с проблемой вычисления равновесных или неравновесных (с ними мы столкнемся позже) корреляционных функций. Это совсем другая, хотя и близкая по духу задача.

Что касается первого вопроса, то, по существу, это тот же основной вопрос, который мы неоднократно обсуждали с разных сторон: как ввести те динамические переменные, на языке которых можно описать необратимое поведение?

Метод операторов проектирования позволяет выделить в уравнении движения оператора полного импульса члены, описывающие прецессию, и члены, описывающие затухание (см. уравнение (6.103а)). Оказывается, этого достаточно для получения правильного результата. Можно строго доказать, что при определении обратного времени релаксации в форме (6.125) член Γ , описывающий затухание, учитывается дважды с разными знаками и поэтому точно компенсируется. Краткую схему доказательства этого любопытного факта мы приведем в конце следующего параграфа.

§8. Связь линейного варианта метода НСО

иметода Мори

Рассмотрим теперь вопрос о том, как можно развить дальше подход, основанный на использовании транспортной матрицы T (ω) и функций Грина G(ω) (6.79), (6.85), введенных ранее. Нашей задачей будет получение вместо обобщенных уравнений движения для средних (6.68) в методе НСО уравнений движения в форме Мори (6.102).

Сравнивая выражения (6.68) и (6.102), можно заметить, что они будут совпадать по структуре , если удастся транспортную матрицу T (ω) представить в виде T (ω) = iΩ + Σ(ω) . Различие в значении нижнего предела в интеграле не существенно, поскольку связано с выбором начального момента времени.

386

Глава 6. Метод НСО

Для доказательства возможности такого представления выполним ряд тождественных преобразований, по существу, повторяющих вывод уравнения (6.102) в методе Мори.

Для сокращения записи введем обозначение

P +(E) =

 

1

 

P +, iE = iω − ,

iL

iE

 

 

 

 

и рассмотрим тождество

i(L − E)P +(E) = P +.

(6.130)

Подействуем на левую и правую части этого тождества поочередно операторами проектирования P и (1 P) . Действуя оператором P с учетом тождества

P +(E) = PP +(E) + (1 P)P +(E),

имеем

(−iE + PiL)PP +(E) + PiL(1 P)P +(E) = P +. (6.131)

При выводе этого равенства учтено, что PP + = P + . Действуя оператором (1 P) , находим

(−iE + (1 − P)iL)(1 P)P +(E) = (1 P)iLPP +(E). (6.132)

Из уравнения (6.132) найдем величину (1 P)P +(E) . Умножая слева уравнение (6.132) на величину (−iE + (1 P)iL)1 , получаем

 

1

(1

P)iLPP +(E).

(1 P)P +(E) =

 

 

−iE + (1 P)iL

Подставляя этот результат в уравнение (6.131), находим

 

(−iE + PiL)PP +(E)

 

 

 

PiL

1

 

(1 P)iLPP +(E) = P +.

(6.133)

−iE + (1 P)iL

§ 8. Связь метода НСО и метода Мори

387

Рассмотрим теперь действие оператора проектирования P на величину P +(E) . Исходя из определения оператора проектирования Мори (6.88), (6.91) имеем

 

 

1

 

 

 

 

 

 

 

PP +(E) = P +

 

(P, P +(E)) = P +G(E),

 

(P, P +)

 

 

 

0

 

 

 

 

 

(P, P +(E)) =

dt1 exp (

)t1

} ×

 

 

 

 

−∞

{

 

 

 

 

 

 

 

 

 

 

× 1 Sp{P, ρ0τ exp(iLt1)P +ρ01−τ }.

(6.134)

0

 

 

 

 

 

 

 

 

При выводе равенства (6.134) использовано определение функции Грина (6.78). Далее,

P + + + 1 ˙ +

iLP = P iΩ; iΩ = (P, P ) (P, P ).

Умножая уравнение (6.133) слева скалярно (в смысле скалярного произведения Мори) на P , получаем

 

(P, P +)(−iE + i

 

 

 

 

 

 

 

Ω)G(E)

 

1

 

 

 

 

 

 

 

 

(P, PiL

(1

P)iLP +)G(E) = (P, P +).

−iE + (1 P)iL

(6.135)

Используя определение проекционного оператора, преобразуем второй член в левой части уравнения к виду

 

1

 

1

 

 

 

 

(P, P +)

(P, iL

(1

P)iLP +)G(E).

(P, P +)

−iE + (1 P)iL

Сокращая в левой и правой частях одинаковый сомножитель (P, P +) , получаем

1

˙

 

 

 

 

 

 

 

+

(6.136)

1

 

 

 

 

 

iE + iΩ + Σ(E) G(E) = 1;

 

 

 

 

 

(P ,

 

(1 P)iLP

 

).

Σ(E) =

 

 

 

(P, P +)

−iE + (1 P)iL

 

388

Глава 6. Метод НСО

Если теперь учесть, что, в силу определения оператора проектирования,

(PA, (1 P)B) = 0

для любых операторов A и B , то выражение для функции памяти может быть записано в виде, совпадающем с определением Мори (6.108):

 

 

1

(f,

1

 

+

 

˙

 

 

 

Σ(E) =

(P, P +)

−iE + (1 P)iL

f

 

),

f = (1 − P)P .

 

 

 

 

 

 

 

 

(6.137)

Различие определений для Σ(E) (6.137) и (6.103) не является существенным и связано просто с некоторым различием обозначений.

Из выражения (6.136) и уравнений (6.77) для транспортной матрицы видно, что действительно транспортную матрицу можно представить в виде T (ω) = iΩ + Σ(ω) .

Теперь вернемся к проблеме правильной записи частот релаксации и в общих чертах наметим путь доказательства того, что выражения для обратного времени релаксации типа (6.125) при строгом рассмотрении неверны, хотя и очень широко используются в литературе для вычисления частот релаксации в борновском случае. Определим новый проекционный оператор P(E) соотношением

P(E)A = (A, P +)E

 

 

 

1

 

P,

 

(P, P +)E

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

P(E)A+

= P +

 

(P, A+)E ,

(6.138)

(P, P +)E

(A, B+)E =

0

dt1 exp (

)t1

} ×

 

 

−∞

{

 

 

 

 

 

 

 

 

 

 

 

 

 

× 1 Sp{A, ρ0τ exp(iLt1)B+ρ01−τ }.

(6.139)

0

 

 

 

 

 

 

 

 

 

 

С учетом определений (6.138), (6.139), (6.72), (6.76) легко проверить справедливость равенств

˙

˙ +

 

+

 

 

= P

T (E)

P(E)P = −T (E)P,

P(E)P

 

§ 8. Связь метода НСО и метода Мори

389

и доказать, что выражение для Σ(E) может быть записано в форме

 

 

1

 

˙

˙

+

E

 

 

 

 

 

 

 

Σ(E) =

(P, P +)

([1

P(E)]P , [1

− P(E)]P

)

 

.

(6.140)

Доказательство соотношения (6.140) предоставляем читателю в качестве упражнения.

Полученные результаты позволяют несколько иначе записать выражение для обратного времени релаксации (6.125) на нулевой частоте. Используя определения (6.139), (6.123), получаем

1

 

˙ ˙ +

 

1

 

 

 

 

˙

 

 

 

 

˙

+

 

 

1

 

 

τ

= Σ

( ) = (P , P )

 

(P, P +)

 

= (P( )P , P( )P

 

)

 

(P, P +)

+

 

 

 

 

 

˙

 

 

 

˙

+

 

 

 

1

 

 

 

 

 

 

 

 

+([1 P( )]P , [1

P( )]P

 

)

 

(P, P +)

.

(6.141)

Здесь P( ) – проекционный оператор P(E) при ω = 0 .

 

 

 

Связь выражения (6.141) с обратным временем релаксации

очевидна. Достаточно просто заменить P, P + компонентам опе-

ратора полного импульса электронов P α .

 

 

 

 

 

 

 

 

 

 

Вначале покажем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

˙

 

˙

+

 

1

= (iΩ + Γ).

 

 

 

 

(P( )P , P( )P

)

 

 

(P, P +)

 

Для этого воспользуемся соотношениями

 

 

 

 

 

 

 

 

 

 

 

˙

 

 

 

 

 

 

˙ +

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= P

T ( ),

 

 

 

 

P( )P =

−T ( )P, P( )P

 

 

 

 

которые легко доказать, если применить определения (6.138) и формулы (6.72), (6.76). Тогда

˙

˙

+

 

 

1

 

 

 

 

 

+

 

 

 

 

1

 

 

 

 

 

 

 

 

 

(P( )P , P( )P

)

 

 

= −T ( )(P, P

)

 

 

T ( )

 

=

 

(P, P +)

 

 

(P, P +)

= −T ( )(P, P +)

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

(P, P +)T ( )

 

 

= −T ( )G( )T ( ).

 

 

 

(P, P +)

(P, P +)

390

Глава 6. Метод НСО

При выводе этого соотношения мы учли, что матрицы T ( ) и T ( ) связаны соотношением (6.74). Поскольку в полной аналогии с (6.136) можно записать

[ + iΩ + Σ ( )]G( ) = 1,

то отсюда следует, что

lim G( )T ( ) = 1,

0

и мы получаем искомое соотношение

P ˙ P ˙ + + 1

( ( )P , ( )P ) (P, P ) = (iΩ + Σ ( )).

С другой стороны, как следует из соотношения (6.140), последнее слагаемое в правой части (6.141) есть просто Σ ( ) . Складывая эти два результата, находим

Σ ( ) = (P˙

, P˙ +)

1

= −iΩ.

(P, P +)

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

§ 9. Высокочастотная восприимчивость

Рассмотрим еще один пример применения методики операторов проектирования и получим выражение для поперечных компонент тензора парамагнитной восприимчивости электронной системы.

Будем считать, что на систему с гамильтонианом

H= He + Hs + Hep, He = P 2/2m, Hs = −gμБSz Hz

внекоторый момент времени начинает действовать внешнее

возмущение с гамильтонианом HF (t) . Здесь He, Hs есть гамильтонианы кинетических и зеемановских степеней свободы