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

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

.pdf
Скачиваний:
346
Добавлен:
15.08.2013
Размер:
35.48 Mб
Скачать

21.6. Сверхпроводимость

463

по величине и противоположны по направлению. Таким образом, если один импульс находится вблизи поверхности Ферми, это же относится и ко второму. (Инвариантность относительно обращения времени требует, чтобы E(p) было четной функцией р, так что, даже если поверхность Ферми в общем случае несферическая, из Е(р) =0 следует, что Е(–р) =0.) Следовательно, интеграл по импульсу р одной из этих линий берется по оболоч- ке толщиной k, или, иными словами, по двум k и одному l. Для

каждого взаимодействия, включающего две такие линии, имеется не два, а одно интегрирование по l, так что вместо уменьшения порядка величины матричного элемента на множитель k,

как это указано в (21.6.43) и (21.6.46), подобное взаимодействие не оказывает на порядок величины матричного элемента никакого влияния. иными словами, взаимодействия, включающие четыре электронных оператора и действующие между электронными линиями, переходящими в конце концов в вакуум, становятся не несущественными, а маргинальными.

Чтобы увидеть следствия из этого исключения, удобно воспользоваться приемом, известным как преобразование Хаббарда– Стратоновича 45, которое кратко упоминалось в разделе 1.7. Теперь мы собираемся включить медленно меняющиеся внешние электромагнитные поля, так что будет удобно работать в координатном представлении. Из калибровочной инвариантности следует, что функция Лагранжа (21.6.37) примет вид

X

3

L

 

 

O

 

L = -å Y d

 

xys (x, t)M-i

 

 

- A0 (x, t) + Eb-iÑ + A(x, t)gPys

(x, t)

 

¶t

s Z

 

 

N

 

Q

 

+ å z d3x1d3x2d3x3d3x4Vs1s2s3s4 (x1, x2 , x3 , x4 )

(21.6.47)

s1s2s3s4

 

 

 

 

 

 

 

´ ys (x1

, t) ys

(x2 , t) ys

(x3

, t) ys (x4 , t) ,

 

1

 

2

 

3

4

 

ãäå

 

ys (x, t) º (2p)3/2 z d3p exp(ip × x) a(p, s, t) .

 

 

 

(21.6.48)

Отбросим теперь слагаемые с более чем четырьмя электронными операторами, поскольку все эти слагаемые несущественны. Добавим к этой функции Лагранжа слагаемое

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

 

Axst,xst º dss S-i

 

 

 

- A0 (x, t) + Eb-iÑ + A(x, t)gV d3 (x¢ - x)d(t¢ - t) ,

¶t

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W

(21.6.52)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Bxst,xst

≡ −

 

ss (x

, x, t)δ(t

t),

(21.6.53)

 

 

 

 

 

 

 

 

 

 

 

 

à D — ùåëü,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Dss (x¢, x, t) º

1

 

å z d3 yd3 y¢Vssσ′σ (x¢, x, y¢, y)Yss (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¢

 

 

Axt

xt

º

- t),

 

,

 

 

S

¶t

0

 

 

 

 

V

 

(21.6.60)

 

 

 

T

 

 

 

 

 

W

 

 

 

 

 

 

 

Bxt,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 d3pV(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 подход Вильсона, заключа- ющийся в выводе дифференциального уравнения для зависимос-

21.6. Сверхпроводимость

469

òè V(k, k) îò κ и изучении поведения его решений при κ → 0. Ñ

целью показать гибкость в подходах полезно заметить, что можно с тем же успехом воспользоваться подходом Гелл-Манна–Лоу и ввести перенормированный электрон-электронный потенциал 44à

Vμ1

(k, k)

δ2 V[ ]

,

 

 

 

 

(21.6.72)

*

)δΔ(k)

 

 

δΔ

(k

(k) = (k)* = μ

 

 

 

 

 

 

 

ãäå μ — скользящая шкала перенормировки типа введенной в раз-

деле 18.2. Выражая исходный электрон-электронный потенциал че- рез Vμ, получаем вместо формулы (21.6.71)

V[ ] = −zS d

2

kd

2

k

*

)V

1

 

, k) (k)

 

 

 

 

 

 

 

 

 

 

(k

 

 

(k

 

 

 

 

 

 

 

1

 

 

 

 

Xκ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

2

 

 

2

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

3

 

 

 

 

 

l vF (k)+| (k)| lvF (k)

 

 

 

 

Y dlx d k

 

(2

 

)

 

 

 

0

 

 

 

2

 

 

 

 

 

 

 

μ2

 

k 2

 

O

(21.6.73)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| (

k

 

 

 

 

 

 

 

| (

 

 

 

 

 

 

 

 

)|

 

 

 

+

 

 

 

)|

 

 

P .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2(l2vF2 (k) + μ2 )1/2

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

 

4(l2vF2 (k) + μ2 )3/2 P

 

Теперь интеграл по l сходится если устремить обрезание к бесконечности, что дает

V[ ] = −zSd2kd2k

+

2

 

X

 

 

Y

2(2π)

3

 

 

 

ZS

* (k)V1(k, k) (k)

 

k 2

L

 

|

k

O

 

d2k

| ( )|

M

lnF

(

)| I

1 .

(21.6.74)

 

 

 

 

J

 

vF (k)

G

μ

 

P

 

 

M

H

 

K

P

 

 

 

N

 

 

 

 

 

Q

 

Условие стационарности V[

] ïðè

=

0 приводит к щелевому урав-

нению в наиболее полезной форме:

 

 

 

 

 

 

 

 

X

 

 

 

1

 

F

|

(k)| I

 

0 (k) = Y d

2

 

 

)

) lnG

 

 

J .

(21.6.75)

 

 

 

 

 

k Vμ (k, k

) vF

(k

0 (k

 

μ

ZS

 

 

 

 

 

 

 

 

H

 

K

 

 

 

 

 

 

 

 

 

 

 

 

Подстановка его в формулу (21.6.74) показывает, что плотность энергии сверхпроводящего состояния меньше, чем у нормального состояния, на величину

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

 

 

vF1/2 (k)vF1/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

 

 

 

 

где собственные векторы выбраны ортонормированными, так что условие полноты принимает вид

21.6. Сверхпроводимость

 

 

 

 

 

471

*

) = δ

2

) .

(21.6.81)

å un (k)un

(k

 

(k k

n

Теперь можно переписать эффективный потенциал (21.6.74) как

 

1

X

å

V[ ] =

 

Y d2kd2k

 

 

π 3

Y

 

2(2 )

Z

n

*

k

u*

(

k

k u

n

k L

 

k

O

(

)

n

) ( )

 

( )

M

lnF

| ( )|I

1 .

 

 

 

 

 

 

 

 

 

 

J

 

 

 

 

 

 

 

 

 

 

 

 

vF (k)vF (k)

 

 

G

 

P

 

 

 

 

M

H

Λn K

P

 

 

 

 

 

 

 

 

 

N

 

 

 

Q

(21.6.82) Для вещества с локальной инвариантностью относительно вращений поверхность Ферми является сферой, и собственные векторы un(k) — сферические гармонические функции координат на этой сфере, однако выражение (21.6.82) справедливо без всяких предположений об инвариантности относительно вращений.

Мы можем использовать этот формализм для объяснения того, когда возникает сверхпроводимость. Логарифм в выражении (21.6.82) большой и отрицательный для очень малых , и большой и положительный для очень больших , так что, пока общий масштаб растет от нуля до бесконечности, V[ ] падает от нуля до отрицательных зна- чений, а затем растет до бесконечности. Поэтому при любом элект- рон-электронном потенциале V[ ] всегда имеет минимум при не равном нулю значении . Однако этот результат требует важного уточнения. Когда мы устремляем обрезание κ к бесконечности, интег-

рал в (21.6.73) эффективно обрезается на значениях l порядка | |/vF, в то время как поверхность Ферми имеет радиус порядка κF, ãäå 8πkF3 / 3(2π)3 есть плотность числа электронов. Поскольку мы предпо-

лагаем, что учитываются электроны, находящиеся в тонкой оболоч- ке вокруг поверхности Ферми, вывод верен только при условии, что | | n ωD, ãäå ωD — дебаевская частота κFvF. В частности, в случае

инвариантности относительно вращений и не зависящей от направления щелевой функции, эффективный потенциал достигает локально-

го минимума при щелевой функции порядка Λs-волна, òàê ÷òî äî òåõ ïîð, ïîêà Λs-волна n ωD, симметрия спонтанно нарушена. Этот резуль-

тат можно выразить иначе, сказав, что для s-волновой сверхпроводимости s-волновая проекция электрон-электронного потенциала (21.6.80) после перенормировки на масштабе μ d ωD должна быть при-

тягивающей. Однако не имеет значения, насколько силен этот перенормированный притягивающий потенциал.

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

Axt,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) ,