13.4 Appendix 157
where the sign + and − correspond to “acoustic type phonon mode” and
“optic type phonon mode” respectively. Here it should be noted that a is a
non-primitive translation vector in the AF unit cell, though it is a primitive
translation vector in the ordinary unit cell. By using Bloch theorem, the wave
functions for up- and down-spin carriers are written as
Ψ
k
↑
(r)=exp(ikr)u
k
↑
(r) (13.30)
Ψ
k
↓
(r)=exp(ikr)u
k
↓
(r) (13.31)
where u
k
↑
(r)andu
k
↓
(r) have the periodicity of the lattice of the AF unit
cell. In the present model, the effective Hamiltonian for up- and down-spin
carriers, H
eff↑
(r)andH
eff↓
(r), satisfy the relation H
eff↓
(r + a)=H
eff↑
(r),
and u
k
↑
(r)andu
k
↓
(r) satisfy the relation:
u
k
↓
(r + a)=u
k
↑
(r) . (13.32)
This leads to the relation
Ψ
k
↓
(r + a)=exp(ika)Ψ
k
↑
(r) (13.33)
From (6.3), (13.29) and (13.33) it is clear that V
γ
↑
(k, k
)andV
γ
↓
(k, k
) satisfy
the following relation;
V
γ
↑
(k, k
)=±exp(iK ·a)V
γ
↓
(k, k
) , (13.34)
where K = k − k
− q and a =(a, 0, 0). The vector K takes a value of
mQ
1
+ nQ
2
=(π/a, π/a,0)m+(−π/a,π/a,0)n, with m and n being integers.
And exp(iK ·a) takes a value of +1 or −1, depending on whether a scattering
process is normal or umklapp.
For the electron–phonon interaction matrix element in the case of an
ordinary unit cell without the AF order,
˜
V
γ
(k, k
), we have
˜
V
γ
↑
(k, k
)
˜
V
γ
↓
(−k, −k
)=
˜
V
γ
↑
(k, k
)
2
(13.35)
and in this case the spectral function α
2
˜
F
↑↓
(Ω,θ,θ
) is always positive, i.e.,
attractive, for any combination of k and k
. In the case of the AF unit cell
which we are considering in this paper, however, we have
V
γ
↑
(k, k
)V
γ
↓
(−k, −k
)=±exp(iK ·a)
V
γ
↑
(k, k
)
2
(13.36)
and α
2
F
↑↓
(Ω,θ,θ
) changes its sign according to the sign of ±exp(iK · a).
Appendix F. D-wave Component of a Spectral Function
and D-wave Superconductivity
In order to study the possibility of the occurrence of d-wave superconductiv-
ity, we have to solve the k-dependent Eliashberg equation. Let a set of func-
tions, F
J
(k)’s, be complete and orthonormal when integrated on the Fermi