Академический Документы
Профессиональный Документы
Культура Документы
Зайцев
Об авторах
А. А. Зайцев — канд. физ.-мат. наук, ст. науч. сотр., РГУ им. И. Канта.
П. В. Дидковский — асп., РГУ им. И. Канта, pavel_di@bk.ru
УДК 530.1
А. А. Зайцев, Д. А. Каргаполов
Назовем матрицу
G(E ) = det P(E , t ) (8)
характеристическим многочленом баргмановского гамильтониана. Оче-
видно, что для баргмановского гамильтониана порядка n степень ха-
рактеристического многочлена равна 2n.
Теорема 4. Характеристический многочлен есть четная функция от
E, его коэффициенты не зависят от t и являются действительными чис-
лами, причем старший коэффициент равен 1. Уравнение G(E)=0 не
имеет действительных корней, все корни простые и распадаются на
пары комплексно сопряженных чисел.
22 Доказательство. Воспользуемся следующими известными фактами: 22
1) пусть B — матрица, элементами которой являются алгебраические
дополнения к матрице A, тогда ABT= BTA=IdetA,
2) если A и B зависят от t, A=A(t), B=B(t), то
d
dt
(
& T B = tr A
det A = tr A ) (
& BT , )
3) для любых матриц A, B, C имеет место тождество tr(ABC)=tr(CAB).
Тогда из уравнения (4) и равенства trV=0 (следствие (1)) получаем:
ih
d
dt
( ) ( ) ( )
det P = ihtr P& BT = Etr JPBT − PJBT + tr VPBT =
( ) (
= Etr JPBT − Etr PJBT )+ tr (VI det P ) = Etr (JI det P ) − Etr (B PJ )+ det PtrV =
T
⎛ ξ k (t ) R k (t )ξ k (t ) ⎞ ⎛ ξ * (t ) R k* (t )ξ k* (t )⎞
P (Ek , t ) = ⎜⎜ ( )
⎟⎟ , P Ek , t = ⎜ k*
⎜η (t ) R * (t )η * (t )⎟ ,
⎟ (9)
⎝η k (t ) R k (t )η k (t )⎠ ⎝ k k k ⎠
где
( (
R k (t ) = exp((c 1 − c 2 )Ek (t − t k ) / ih ) , R k* (t ) = exp (c 1 − c 2 )Ek t − t k* / ih , (10)) )
комплексные константы tk и tk* связаны соотношением tk* − tk = πh /(c1 − c2 )Ek ,
а пары (ξk(t),ηk(t)) и (ξk*(t),ηk*(t)) являются решениями систем уравнений
ihξ&k (t ) = v (t )η k (t ) , ihη& k (t ) = −(c 1 − c 2 )Ekη k (t ) + v(t )ξ k (t ) ,
ihξ&k* (t ) = v (t )η k* (t ) , ihη& k* (t ) = −(c 1 − c 2 )Ekη k* (t ) + v(t )ξ k* (t ) ,
23 23
ξ k* (t ) = R k (t )η k (t ) , η k* (t ) = − R k (t )ξ k (t ) ;
здесь v(t ) и v (t ) — недиагональные элементы матрицы V(t),
⎛ 0 v (t )⎞
V (t ) = ⎜⎜ ⎟⎟ .
⎝ v(t ) 0 ⎠
Доказательство. Пусть E=Ek — комплексный корень характеристи-
ческого многочлена. Поскольку detP(Ek,t)=G(Ek)=0, то в определителе (7)
при E=Ek второй столбец пропорционален первому. Полагая
ξk(t)= p11(Ek,t), η k (t ) = − p12 (Ek , t ) , будем иметь
p11 (Ek , t ) = R k (t )ξ k (t ) , p12 (Ek , t ) = R k (t )η k (t ) ,
где Rk(t) — коэффициент пропорциональности. Записывая уравнение
(4) покомпонентно и подставляя туда эти равенства, получаем форму-
лы (9), (10) и остальные соотношения. Теорема доказана.
На основе теорем 3—5 предлагается следующий способ построения
баргмановских гамильтонианов.
Многочлен G(E) факторизуется следующим образом:
G(E ) = G + (E )G − (E ) , G − (E ) = G + (E ) , (11)
где корни G+(E) расположены в верхней полуплоскости, а корни G–(E) —
в нижней. Обозначим P1(E,t) — первый столбец матричного многочлена
P(E,t). Тогда отношение P1(E,t)/G–(E) разлагается по простейшим дробям
P1 (E, t ) ⎛ 1 ⎞ n P1 E j , t ( )
= ⎜⎜ ⎟⎟ + ∑ ( )(
G − (E ) ⎝ 0 ⎠ j =1 G′− E j E − E j
,
) (12)
где {Ej} — корни G+(E). Полагаем в разложении (12) E=Ek, тогда, учиты-
вая, что P1(Ek,t) есть первый столбец матрицы (9), получаем систему
⎛ ξ k (t ) ⎞ ⎛ 1⎞ n R j (t ) ⎛ η j (t ) ⎞
⎜⎜ ⎟⎟ = G − (Ek )⎜⎜ ⎟⎟ + G − (Ek ) ∑ ( )( ⎜ ⎟ , k = 1, n ,
⎝η k (t )⎠ ⎝0⎠ ′
j = 1 G − E j Ek − E j )
⎜ − ξ j (t )⎟
⎝ ⎠
(13)
или
n R j (t )
ξ k (t ) = G − (Ek ) + G − (Ek )∑
j =1 ( )(
G′− E j Ek − E j )η (t ) ,
j (14)
А. А. Зайцев, Д. А. Каргаполов
n R j (t )
η k (t ) = −G − (Ek )∑
j =1 ( )(
G′− E j Ek − E j )ξ (t ) .
j (15)
где
R (t )
( )
24 n 24
Akj (t ) = δ kj + G + E j R j (t ) ∑ G′+ (El )l(E j − El ) . (17)
l =1
Список литературы
А. А. Зайцев — канд. физ.-мат. наук, ст. науч. сотр., РГУ им. И. Канта.
Д. А. Каргаполов — асп., РГУ им. И. Канта, Dmitry_AK@mail.ru
УДК 551.465