
Вайнберг С. Квантовая теория полей. Том 2 (2001)
.pdf

464 Глава 21. Спонтанно нарушенные калибровочные симметрии
DL = |
1 |
|
|
d3x1d3x2d3x3d3x4 å Vs1s2s3s4 (x1, x2 , x3 , x4 ) |
|
||||||||||
4 z |
|
||||||||||||||
|
|
|
|
s s s s |
4 |
|
|
|
|
||||||
|
|
|
|
|
|
|
1 2 |
3 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
´ |
Y† (x |
|
, x |
, t) - y† (x |
|
, t) y† (x |
|
, t) |
|
(21.6.49) |
||||
|
|
|
|
s2s1 |
2 |
1 |
s1 |
1 |
|
|
s2 |
2 |
|
|
´ Ys3s4 (x3 , x4 , t) - ys3 (x3 , t) ys4 (x4 , t)
èсовершим функциональное интегрирование по новому полю «пары» Y(x, s, x¢, s¢, t) и по электронному полю y. Это возможно, потому что добавка DL квадратична по полям пар, а коэффици-
ент при слагаемом второго порядка не зависит от поля, поэтому,
согласно приложению к гл. 9, интегрирование по Yss′(x, x¢, t) в функциональных интегралах сводится к тому, что Yss′(x, x¢, t)
надо положить равным значению в стационарной точке лагран-
жиана Yss′(x, x¢, t) = ys(x, t)ys′(x¢, t), в которой DL = 0. Дополни-
тельное слагаемое выбрано так, чтобы слагаемые в сумме L + DL, которые четвертичны по электронным полям, сократились, и
остались только квадратичные по этим полям члены:
L + |
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
X |
|
|
|
3 |
|
† |
|
|
R |
|
|
¶ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
U |
|
|
|
|
|
||
= -å Y d |
x ys |
(x, t)S-i |
|
|
|
- A0 |
(x, t) + Eb-iÑ + A(x, t)gVys(x, t) |
|
|
|
|||||||||||||||||||||||||||||
¶t |
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
s |
Z |
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
W |
|
|
|
|
|
||||
- |
|
|
1 |
s sås s |
|
z d3x1d3x2d3x3d3x4Vs1s2s3s4 (x1, x2 , x3 , x4 ) |
|
|
|
|
|
|
|||||||||||||||||||||||||||
4 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
1 2 |
3 |
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
´ |
|
y† |
(x |
1 |
, t) y† |
(x |
2 |
, t)Ys s |
(x |
3 |
, x |
4 |
, t) |
+ Y† |
(x |
2 |
, x |
, t)ys |
(x |
3 |
, t) ys |
(x |
4 |
, t) |
|||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
s |
|
|
|
|
|
s |
|
|
|
|
3 |
4 |
|
|
|
|
|
|
|
s s |
|
1 |
3 |
|
4 |
|
|
||||||||
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 1 |
|
|
|
|
|
|
|
|
|||||||
-Y† |
(x |
2 |
, x |
, t)Ys s |
(x |
3 |
, x |
4 |
, t) |
|
. |
|
|
|
|
|
|
|
|
|
|
(21.6.50) |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
s2s1 |
|
|
|
1 |
|
|
3 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Переходим к самому главному. Мы показали, что взаимодействие V несущественно, за исключением случаев, когда оно действует на пару электронных линий, переходящих в вакуум. Когда мы вычисляем квантовое эффективное действие G[Y] в присутствии внешнего медленно меняющегося поля пар Yss′(x, x¢, t), ýòî îçíà-
чает, что мы опускаем все диаграммы, за исключением тех, которые становятся несвязными после разрезания по любой внутренней линии Y. Однако общее определение квантового эффективного
действия требует, чтобы мы отбросили все диаграммы, которые

21.6. Сверхпроводимость |
465 |
становятся несвязными после разрезания по любой внутренней линии. Следовательно, мы не должны вообще включать никаких внутренних линий Y. Так как электронное поле входит в выраже-
ние (21.6.50) квадратично, единственные выживающие диаграммы после интегрирования по электронным полям — это диаграмма с одной вершиной, возникающая от последнего слагаемого в квадратных скобках в (21.6.50), и однопетлевая диаграмма, которая по тем же соображениям, что и в разделе 16.2, дается логарифмом детерминанта от коэффициента при квадратичных по электронным полям слагаемых:
G[Y] = |
1 |
|
|
å |
|
z |
dt |
z |
d3x1d3x2d3x3d3x4Vs1s2s3s4 (x1, x2 , x3 , x4 ) |
|||||||||||||||||
|
|
|
||||||||||||||||||||||||
|
4 s1s2s3s4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
´ Y† |
(x |
2 |
, x |
|
, t)Ys s (x |
3 |
, x |
4 |
, t) |
|
|
|
|||||||||||||
|
|
|
|
s s |
|
|
1 |
|
|
3 |
4 |
|
|
|
|
|
|
|
(21.6.51) |
|||||||
|
|
|
|
2 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
i |
|
|
|
|
|
F |
A |
|
B |
I |
|
|
|
|
|
|
|
||||||
- |
|
|
|
|
|
|
+ const. |
|
|
|
||||||||||||||||
ln Det G |
|
T J |
|
|
|
|||||||||||||||||||||
|
|
|
† |
-A |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
2 |
|
|
|
|
|
H B |
|
K |
|
|
|
|
|
|
|
|
|||||||
Здесь А и В — «матрицы» |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
R |
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
U |
|
|||
Ax′s′t′,xst º ds′s S-i |
|
|
|
- A0 (x, t) + Eb-iÑ + A(x, t)gV d3 (x¢ - x)d(t¢ - t) , |
||||||||||||||||||||||
¶t |
||||||||||||||||||||||||||
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
W |
(21.6.52) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
Bx′s′t′,xst |
≡ − |
|
s′s (x |
′ |
, x, t)δ(t |
′ |
− t), |
(21.6.53) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
à D — ùåëü, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Ds′s (x¢, x, t) º |
1 |
|
å z d3 yd3 y¢Vs′sσ′σ (x¢, x, y¢, y)Ys′s (x¢, x, t) . |
|||||||||||||||||||||||
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 σ′σ |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(21.6.54) |
(Здесь и ниже мы игнорируем аддитивную постоянную в G, âîç-
никающую от тех мод, по которым произведено интегрирование.) Это одна из задач, в которой можно вычислить эффективное действие, не делая каких-либо предположений о малости взаимодействия в лагранжиане.
Чтобы упростить дальнейшее обсуждение, ограничимся слу- чаем синглетного по спину спаренного поля

466 Глава 21. Спонтанно нарушенные калибровочные симметрии
Ψ+ − (x′, x, t) = −Ψ− + (x′, x, t) ≡ Ψ(x′, x, t) , |
(21.6.55) |
где нижние индексы + и – соответствуют спиновым индексам +1/2 и –1/2, соответственно *. С учетом инвариантности относительно вращений по спиновым индексам, необходимые компоненты потенциала имеют вид
′ |
′ |
, x, t) = −V− ++ − |
′ |
′ |
, x, t) |
V+ − + − (x |
, x, t) − V+ −− + (x |
(x |
, x, t) + V− + − + (x |
||
|
|
º 2V(x¢, x, t) . |
(21.6.56) |
||
Тогда из выражения (21.6.54) следует: |
|
|
|
|
|
|
|
|
+ − (x′, x, t) = − |
|
− + (x′, x, t) ≡ (x′, x, t) , |
|
(21.6.57) |
||||
|
|
|
|
|
++ = (x′, x, t) = |
−− (x′, x, t) = 0 . |
|
(21.6.58) |
|||||
Поэтому квантовое эффективное действие равно |
|
|
|||||||||||
|
|
|
G[Y] = z dtz d3x1d3x2d3x3d3x4V(x1, x2 , x3 , x4 ) |
|
|
||||||||
|
|
|
|
|
´ Y†(x2 , x1, t)Y(x3 , x4 , t) |
|
|
|
(21.6.59) |
||||
|
|
|
|
|
F A |
|
B I |
|
|
|
|||
|
|
|
|
|
- i ln DetG |
† |
-A |
T J , |
|
|
|
|
|
|
|
|
|
|
H B |
|
K |
|
|
|
|
||
ãäå |
|
|
R-i |
∂ - A (x, t) + Eb-iÑ + A(x, t)gUd3 (x¢ - x)d(t¢ |
|
|
|||||||
Ax′t |
xt |
º |
- t), |
|
|||||||||
, |
|
|
S |
¶t |
0 |
|
|
|
|
V |
|
(21.6.60) |
|
|
|
|
T |
|
|
|
|
|
W |
|
|
||
|
|
|
|
|
Bx′t,xt ≡ − |
′ |
, x, t) δ(t |
′ |
− t) |
|
(21.6.61) |
||
|
|
|
|
|
(x |
|
|
||||||
è |
|
|
D(x¢, x, t) º z d3 yd3 y¢V(x¢, x, y¢, y)Y(y¢, y, t) . |
|
|
||||||||
|
|
|
|
(21.6.62) |
Используем сначала эти результаты для рассмотрения трансляционно инвариантного случая без внешних электромагнитных полей.
* В жидком Не3 неисчезающие компоненты спàренного ïоля образуют спиновый триплет с компонентами Ψ1 = Ψ+ + , Ψ0 = 2Ψ+ − =
2Ψ−+, Ψ−1 = Ψ− −

21.6. Сверхпроводимость |
467 |
Тогда поля пары и щели можно записать как фурье-преобразо- вания
Ψ(x′, x) = z d3p eip×(x′ -x)Ψ(p) , |
(21.6.63) |
(x′, x) = (2π)-3 z d3p eip×(x′ -x) (p) , |
(21.6.64) |
а электрон-электронный потенциал принимает в данном случае вид
z d3x1d3x2d3x3d3x4 eip′×(x1 -x2 ) eip×(x3 -x4 )V(x1, x2 , x3 |
, x4 ) |
≡ V 4V(p′, p) , |
(21.6.65) |
|
|
ãäå V4 — пространственно-временной объем |
|
V 4 ≡ z d3xz dt1. |
(21.6.66) |
После перехода в представление волновых чисел и частот «матрицы» (21.6.60) и (21.6.61) становятся диагональными, и вычисление детерминанта становится тривиальным. ффективный потенциал (не путать с электрон-электронным потенциалом) был определен в разделе 16.1 как взятое со обратным знаком эффективное действие в единице пространственно-временного объема:
V[Ψ] ≡ −Γ[Ψ] / V 4
= −z d |
3 |
pd |
3 |
* |
′ |
|
|
′ |
, p)Ψ(p) |
|
|
|
|
|
||||||
|
|
p′Ψ |
(p |
)V(p |
|
|
|
|
|
|||||||||||
|
|
i |
|
|
|
|
|
|
F |
|
|
|
|
|
| (p)|2 |
I |
|
(21.6.67) |
||
+ |
|
|
|
|
|
z dωd3p lnG |
1 |
− |
|
|
|
|
|
J |
, |
|
||||
(2π) |
4 |
|
ω |
2 |
− E |
2 |
|
|
||||||||||||
|
|
|
|
|
|
H |
|
|
|
|
|
(p) + iε K |
|
|
||||||
ãäå |
(p) = −z d3p′V(p′, p)Ψ(p′) . |
|
|
|
|
|||||||||||||||
|
|
|
|
(21.6.68) |
(×ëåí iε может быть получен из фейнмановских правил для элект-
ронных петлевых диаграмм, и, как показано в разделе 9.2, он в конце концов возникает из условий на электронное поле при t → ±∞.) Совершая виковский поворот, интегрируя по ω и выражая Ψ через , получим

468 Глава 21. Спонтанно нарушенные калибровочные симметрии
V[ ] = −z d |
3 |
pd |
3 |
p |
′ |
* |
|
′ |
)V |
−1 |
′ |
, p) (p) |
|
||||||||||
|
|
|
|
|
(p |
|
(p |
|
|||||||||||||||
|
1 |
|
|
x d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(21.6.69) |
|||
− |
|
|
3 |
p |
E |
2 |
(p)+| |
(p)| |
2 |
− E(p) |
. |
||||||||||||
|
|
|
|
||||||||||||||||||||
(2π) |
3 |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Как мы видели в разделе 16.1, уравнения поля являются просто условием стационарности эффективного действия, которое в нашем случае приводит к знаменитому уравнению для щели для равновесной функции щели 0(p):
0 = |
δV[ |
|
] |
|
|
|
|
|
|
|
|
|
|
|
|
δΔ* (p) |
|
= |
0 |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
0 (p) |
|
||
= −z d |
3 |
|
′ |
|
−1 |
′ |
|
′ |
) − |
|
|
|
|||
|
p V |
|
(p, p |
) |
0 (p |
|
|
|
|
|
|||||
|
|
2(2π)3 |
|
|
|
|
|||||||||
|
|
|
|
E2 (p)+| (p)|2 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
или, в более знакомом виде,
|
(p) = − |
1 |
|
X |
3 |
|
′ |
V(p, p′) |
0 |
(p′) |
|
. |
|
|
0 |
2(2π) |
3 |
Y d |
p |
|
|
|
|
|
|
(21.6.70) |
|||
|
|
E2 (p′)+| |
(p′)|2 |
|||||||||||
|
|
|
Z |
|
|
|
|
|
|
|
Везде выше все интегралы по импульсам неявно понимались как ограниченные импульсами вида (21.6.39) внутри тонкой оболочки толщиной κ вокруг поверхности Ферми. Тогда эффективный потен-
циал (21.6.69) имеет вид
V[ ] = −κ |
2 |
|
|
|
2 |
|
2 |
k |
′ |
* |
|
′ |
)V |
−1 |
|
′ |
, k) (k) |
|
|
|
|
||
|
zS d |
kd |
|
|
(k |
|
(k |
|
|
|
|
||||||||||||
|
|
|
1 |
|
|
Xκ |
|
|
|
|
|
|
|
|
|
|
|
|
|
(21.6.71) |
|||
|
|
|
|
|
|
|
|
2 |
|
2 |
2 |
|
|
2 |
|
|
|||||||
|
|
|
|
|
|
Z |
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
− |
|
π |
|
3 |
|
d k |
l vF |
(k)+| (k)| |
|
− lvF (k) |
. |
|
|||||||||||
|
|
|
Y |
dlx |
|
|
|
||||||||||||||||
(2 |
|
) |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь эффективный потенциал следует понимать как функционал только от функции щели на поверхности Ферми.
Поскольку κ произвольно, потенциал V(k′, k) должен имет такую зависимость от κ, чтобы V[ ] был независим от κ. В большин-
стве приложений 44 методов ренормгруппы к сверхпроводимости используется описанный в разделе 12.4 подход Вильсона, заключа- ющийся в выводе дифференциального уравнения для зависимос-


470 Глава 21. Спонтанно нарушенные калибровочные симметрии
|
X |
|
| |
0 |
(k)|2 |
|
|
|
≡ V(0) − V( |
0 ) = Y |
d2k |
|
|
. |
(21.6.76) |
||
2(2π)3 vF (k) |
||||||||
|
ZS |
|
Конечно, зависимость от μ электрон-электронного потенциала Vμ должна быть выбрана так, чтобы удовлетворять уравне-
нию ренормгруппы, обеспечивающему выполнение условия, что эффективный потенциал (21.6.74) не зависит от произвольного масштаба перенормировки μ:
|
|
|
|
d |
|
|
|
−1 |
|
′ |
|
|
|
δ2 |
(k′ |
− k) |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
, k) = − 2(2π)3 vF (k) |
|
|
|
|
|||||||||||
|
|
|
μ dμ Vμ |
(k |
|
|
|
|
||||||||||||||||
или, эквивалентно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
μ |
d |
′ |
, k) = |
1 |
|
|
z d |
2 |
′′ |
′ |
, k |
′′ |
−1 |
′′ |
)Vμ (k |
′′ |
, k) . (21.6.77) |
|||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||
dμ |
Vμ (k |
2(2π)3 |
|
k Vμ (k |
|
)vF (k |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Это можно с пользой переписать с помощью эрмитового ядра |
||||||||||||||||||||||||
|
|
Kμ (k′, k) ≡ |
1 |
|
|
vF−1/2 (k′)vF−1/2 (k)Vμ (k′, k) , |
|
(21.6.78) |
||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
2(2π)3 |
|
|||||||||||||||||||
êàê |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
μ |
d |
|
Kμ = Kμ2 .(21.6.79) |
|
|
|
|
|||||||||||||
|
|
|
|
dμ |
|
|
|
|
Поэтому собственные векторы un(k) ÿäðà Kμ(k, k′) не зависят от μ, в то время как собственные значения принимают вид 1/ln(Λn/μ), ãäå Λn — константы интегрирования типа Λ в квантовой хромоди-
намике. Таким образом, получаем следующее выражение для потенциала
* |
(k |
′ |
) |
|
|
|
Vμ (k′, k) = 2(2π)3 v1/2F (k)v1/2F (k′)å |
un (k)un |
|
, |
(21.6.80) |
||
|
μg |
|
|
|||
n lnbΛ n |
|
|
|
|
где собственные векторы выбраны ортонормированными, так что условие полноты принимает вид


472 Глава 21. Спонтанно нарушенные калибровочные симметрии
Это свойство сверхпроводимости, заключающееся в том, что голдстоуновский бозон образует притягивающий потенциал, как бы слаб этот потенциал не был, есть следствие существования ферми-поверхности, усиливающей эффекты дальнодействия. В квантовых теориях поля, не содержащих элементарных бесспиновых полей типа рассмотренных в разделе 21.5, мы обычно не должны ожидать спонтанного нарушения симметрии в пустом пространстве, если только взаимодействия не достаточно сильны.
Вернемся к случаю внешнего электромагнитного поля. Как обычно, можно ввести поле голдстоуновского бозона j(x, t), çàïè-
сав каждое заряженное поле в теории, которым в данном случае является щелевое поле D(x, x¢, t) или спаренное поле Y(x, x¢, t),
как калибровочное преобразование с калибровочным параметром j(x, t), действующее на соответствующее калибровочно инвариан-
тное поле, которое мы отмечаем знаком тильды:
Y(x, x¢, t) = expb-ij(x, t)gY~ (x, x¢, t) expb-ij(x¢, t)g. (21.6.83)
После этого эффективное действие определяется подстановкой (21.6.83) в (21.6.59). С помощью калибровочного преобразования можно теперь устранить зависимость от j в выражении (21.6.83), подразумевая при этом, что Aμ(x) в формуле (21.6.60) заменено на Aμ(x) – ¶μj(x). Если вещество не только сверхпроводящее, но на-
ходится в состоянии, далеком от точки перехода между сверхпроводящим и нормальным состояниями, можно также проинтегрировать по калибровочно инвариантным степеням свободы, связанным с полем Ψ~ (x, x′, t) , что означает просто его замену на равновесное значение Y0(x,x¢, t). Зависящая от голдстоуновского и внешнего
электромагнитного полей часть эффективного действия имеет тогда вид
G[j, A] = G |
|
L |
A |
B O |
LA |
0 |
O |
|
(21.6.84) |
|||
=0 |
[A] - i ln DetM |
|
† |
-A |
T P |
+ i ln DetM |
0 |
-A |
T P |
, |
||
|
|
NB |
|
Q |
N |
Q |
|
|
где теперь |
|
|
|
|
L |
∂ |
+ eA0 |
|
O |
Ax′t,xt = M-i |
|
(x, t) - ej(x, t) + Eb-iÑ + eA(x, t) - eÑj(x, t)gP |
||
N |
¶t |
|
& |
(21.Q6.85) |
|
|
|||
´ d3 (x¢ - x)d(t¢ - t) , |
|