arxiv: v1 [cond-mat.mtrl-sci] 14 Nov 2008

arXiv:0811.2363v1 [cond-mat.mtrl-sci] 14 Nov 2008

around

k = 0

within the FLAPW method

Christoph Friedri h

a,

∗

ArnoS hindlmayr

b

Stefan Blügel

a

a

InstitutfürFestkörperfors hungandInstituteforAdvan ed Simulation,Fors hungszentrumJüli h,52425 Jüli h,Germany

b

DepartmentPhysik,UniversitätPaderborn,33095Paderborn,Germany

Abstra t

We derive formulas for the Coulomb matrixwithin the full-potentiallinearized augmented-plane-wave (FLAPW) method.TheCoulombmatrixisa entralingredientinimplementationsofmany-bodyperturbationtheory,su has theHartree-Fo kand

GW

approximationsfortheele troni self-energyortherandom-phaseapproximationforthe diele tri fun tion.Itisrepresentedinthemixedprodu tbasis,whi h ombinesnumeri almun-tinfun tionsand interstitial planewaves onstru tedfromprodu tsofFLAPWbasisfun tions.Theinterstitialplanewavesarehere expandedwiththe Rayleighformula.Theresulting algorithmis verye ientintermsofboth omputational ost anda ura yandissuperiortoanimplementationwiththeFouriertransformofthestepfun tion.Inordertoallow ananalyti treatmentof thedivergen eat

k = 0

inre ipro al spa e,weexpandtheCoulombmatrixanalyti ally aroundthis pointwithoutresortingtoaproje tiononto planewaves.Withoutadditional approximations,wethen applyabasistransformationthatdiagonalizestheCoulombmatrixand onnesthedivergen etoasingleeigenvalue. Atthesametime,responsematri eslikethediele tri fun tionseparateintohead,wings, andbodywiththesame mathemati alpropertiesas inaplane-wavebasis. Asanillustrationwe applythe formulas toele tron-energy-loss spe tra(EELS)forni kelat dierent

k

ve torsin luding

k = 0

.The onvergen eofthespe tratowardstheresult at

k = 0

is learlyseen. Ourall-ele trontreatmentalsoallows toin ludetransitionsfrom

3

s

and

3

p

ore statesin theEELSspe trumthatgiverisetoashallowpeakathighenergiesandleadtogoodagreementwithexperiment.

Keywords: Coulombmatrix,many-bodyperturbationtheory,diele tri fun tion,ele tron-energy-lossspe tros opy PACS:71.15.Qe,71.45.Gm

1. Introdu tion

Fortheabinitio al ulationofele troni ex itationsandspe tros opi fun tions,wherevariational ground-states hemes likeKohn-Shamdensity-fun tional theory[1℄are notstri tlyappli able,many-body pertur-bationtheoryhasnowbe omethemethodof hoi e inappli ationstosolidsandtheirsurfa es.It isbased on aGreen-fun tion formalismand anadiabati swit hing-on of theCoulomb intera tion [2℄.In this way theGreenfun tionofthefullyintera tingmany-ele tronsystem anbeexpandedinpowersoftheCoulomb potential, generating a series of Feynman diagrams with in reasing omplexity. Pra ti al approximations anbedesignedby terminatingtheseries at agivenorder orrestri tingthe summation to ertain lasses

∗

Correspondingauthor.

onlyHartree-Fo kapproximation,whi h in ludes allele troni intera tion ee ts uptolinearorder in the Coulombpotential,whileadditional orrelationee tsresultingfromdynami s reeninginanitinerant ele -tronsystemaretakenintoa ountin the

GW

approximation[3℄.Thelatterhasbeensu essfullyapplied to a variety of materials, espe ially semi ondu tors, and generally yields ele troni band stru tures and quasiparti leproperties in verygood agreementwith experimental data [4℄. Thediele tri fun tion,whi h alreadyappearsasanintermediatequantityinthe

GW

approximation, anbeexpandedinasimilarmanner andisitselfthekeyquantityforthetheoreti aldes riptionofopti alabsorptionandrelatedspe tros opies. Foranumeri alevaluationofself-energiesordiele tri fun tionsindiagrammati termsitisne essaryto proje ttheCoulombpotential,aswellasGreenfun tionsandallotherrelevantpropagators,ontoasuitable basis set.Within the diagrammati expansionthe Coulomb intera tion des ribes theelasti s attering of twoele trons orholes, with apossible momentum transfer between initial and nal states. The basisfor the matrix representation of the Coulomb potential must hen e be able to properlydes ribe produ ts of initial-stateand nal-state wavefun tions.So farmostpra ti alimplementations haveemployeda plane-wavebasissetin ombinationwithnorm- onservingpseudopotentials.Astheprodu toftwoplanewavesis againaplanewave,thisapproa hhastheadvantagethatprodu tsofwavefun tions aneasilybeexpressed in thesamebasisastheoriginal wavefun tions themselves.Inaddition,fast Fouriertransformationsmay be exploited, and the Coulomb matrix in re ipro al spa e is known analyti ally. For semi ondu tors, in parti ular, sophisti ated theoreti al al ulations of opti al absorption [5℄ and ele tron-energy-lossspe tra [6℄,whi h alsoin ludeex itoni ontributions,havebeenperformedinthis way.

While the plane-wave pseudopotential approa h works well for sp-bonded semi ondu tors and simple metals, it be omes ine ient for transition metals and rare earths, where a largenumber of plane waves are needed to a urately des ribe the lo alized d or f orbitals. A similar problem o urs in oxides and other ompoundsinvolvingrst-rowelementsdue tothe hardpseudopotentialsthat only ontainminimal s reeningoftheioni orebytheinnermost1s ele trons.Therefore,thesematerialsarebeststudiedwithin an all-ele tron s heme that treats ore and valen e shells on an equal footing and already in orporates the rapid os illationsof the wavefun tions lose to thenu lei in thebasis fun tions themselves.Here we fo usonthefull-potentiallinearizedaugmented-plane-wave(FLAPW) method[7℄,whi hiswidelyusedfor ele troni -stru ture al ulationsof su h materials. It divides spa e into nonoverlappingmun-tin spheres entered at the atomi positions and into the interstitial region. Inside the mun-tin spheres the basis fun tions are onstru ted from numeri al solutions of the radial S hrödinger equation with xed energy parameters,whoseprodu tslieoutsidetheve torspa espannedbytheoriginalbasisfun tions.Therefore, produ tsoftheoriginalbasisfun tionsmayinsteadbeusedto onstru tamixedprodu tbasis[8℄,inwhi h thematrixelementsoftheCoulombpotentialwithinitialandnalstatesarethena uratelyrepresented. WhiletheCoulombmatrixisdiagonalinaplane-wavebasisandgivenbyasimpleanalyti alexpression,its evaluationinthemixedprodu tbasisoftheFLAPWs hemeismu hmore umbersome.First,thematrixis nolongerdiagonal,andallelementsmustbe al ulatednumeri ally.Thisrequiresane ient omputational pro edure.Se ond,duetothelong-rangenatureoftheCoulombpotential

v(r) = 1/r

inrealspa e,thematrix divergesin the limitof small waveve tors

k

→ 0

.Whereas this divergen e is onned to thesingle head elementin the aseofaplane-wavebasis,allmatrixelementsnow ontaindivergenttermsproportionalto

1/k

2

and

1/k

. Previous all-ele tronimplementations [9,10℄ of many-body perturbation theory have often bypassedthisproblembyrevertingtoaplane-wavebasisfortheCoulombpotentialandrelatedpropagators, su hasthediele tri fun tion,buttheproje tionleadsto alossofa ura y,be ausetherapidos illations oftheorbitals losetotheatomi nu lei annotberesolvedthen.Asa onsequen e,physi alee tslike ore polarizationareinadequatelydes ribed.Analternativeapproa h,theso- alledoset-

Γ

method,employsan auxiliary

k

-pointmeshthatisshiftedfromtheoriginbyasmallbutniteamount[8,11℄.Inthiswayitavoids the singularity, but theuse of additional meshesin reases the numeri al ost; even in the mostfavorable ase,for ubi symmetry,the numberof

k

pointsmustat leastbedoubled.Furthermore,the onvergen e ofBrillouin-zone(BZ)integralsinvolvingtheCoulombmatrix,forexampleforthe

GW

self-energy,maybe slow with respe t to

k

-point sampling due to the approximate treatment of the quantitatively important regionnearthezone enter.

math-emati ally exa t expansionaround

k

= 0

, whi h involves termsproportional to

1/k

2

and

1/k

aswell as onstantterms.A propertreatmentof thesmall-wave-ve torlimit isespe ially importantfor the theoret-i aldes riptionof opti alspe tros opieswith zeromomentum transfer,but also forthe al ulationof the nonlo al Hartree-Fo kpotentialorthe

GW

self-energy,whi h bothinvolveanintegration overtheBZ. In ase ond step,tosimplify thenumeri altreatmentwethen applyabasistransformationthat diagonalizes theCoulomb matrix.This eliminatesall

1/k

termsand againrestri ts the

1/k

2

divergen e toa single di-agonalelement,belongingto a onstanteigenfun tion. Thenal situation is thus on emore analogousto aplane-waverepresentation,wherethediele tri fun tionnaturallyde omposesintohead,wing,andbody elements, but weretain the full a ura yof the FLAPW basisset. Furthermore,the presentalgorithm is verye ient; the omputational time for a well- onverged Coulomb matrix with

10

5

elements takes less thanase ond onamodernsingle-CPUpersonal omputer.Thepresentalgorithmis implementedinSpex [12℄, a omputer ode for the al ulation of ex itation spe tra and quasiparti le energies within the

GW

approximation.

Thispaperisorganizedasfollows.Se tion2shortlydes ribestheFLAPWmethodandthemixedprodu t basisusedinthiswork.TheformulasfortheCoulombmatrixatnitewaveve torsarederivedinSe tion3. Wethendis ussitsexpansionaround

k

= 0

andthesubsequentdiagonalizationinSe tion4.Asapra ti al illustration,inSe tion5wepresentele tron-energy-lossspe traofNi al ulatedatnite

k

ve torsaswellas

k

= 0

within therandom-phaseapproximation.Finally,Se tion6summarizesourmain on lusions.Unless statedotherwiseweuseHartreeatomi units.

2. Basis sets 2.1. FLAPWmethod

In the FLAPW method spa e is divided into nonoverlapping atom- entered mun-tin (MT) spheres and theinterstitial region(IR). The ore-ele tronwavefun tions, whi h are (mostly) onnedto theMT spheres,are dire tlyobtainedfromasolutionof thefully relativisti Dira equation. Thevalen e-ele tron wave fun tions with spin

σ

are expanded in interstitial plane waves(IPW) in the interstitial region and numeri alfun tions

u

σ

almp

(r) = u

σ

alp

(r)Y

lm

(e

r

)

insidetheMTsphereofatom

a

withpositionve tor

R

a

.The

latter omprisesolutionsof theKohn-Shamequation



−

1

₂

∇

2

+ V

σ

eff,a

(r)



u

σ

alm0

(r) = ǫ

σ

al

u

σ

alm0

(r)

(1)

for

p = 0

and their rst energy derivatives

u

σ

alm1

(r) = ∂u

σ

alm0

(r)/∂ǫ

σ

al

for

p = 1

, where

V

σ

eff,a

(r)

is the spheri alaverageof theee tivepotential,

ǫ

σ

al

aresuitably hosenenergyparameters,and

Y

lm

(e

r

)

denote thespheri alharmoni s.Thenotation

e

r

= r/r

with

r = |r|

indi atestheunit ve torinthedire tion of

r

. Inagivenunit elltheKohn-Shamwavefun tionatawaveve tor

k

withbandindex

n

andspin

σ

isthen givenby

ϕ

σ

nk

(r) =























1

√

N

l

max

X

l=0

l

X

m=−l

1

X

p=0

A

nkσ

almp

u

σ

almp

(r − R

a

)

if

r

∈ MT(a)

1

√

V

X

|k+G|≤G

max

c

nkσ

G

e

i(k+G)·r

if

r

∈ IR

(2)

with the rystal volume

V

, thenumberof unit ells

N

, and uto values

l

max

and

G

max

.The oe ients

A

nkσ

almp

are determined by the requirement that the wave fun tion is ontinuous in value and rst radial derivativeattheMTsphereboundaries.Ifdesired,additionallo alorbitals[14℄orhigherenergyderivatives [15℄ analsobein orporatedbyallowing

p ≥ 2

.

The FLAPW method uses ontinuous basis fun tions that are dened everywhere in spa e but have a dierent mathemati al representation in the MT spheres and the IR.Forthe expansionof wave-fun tion produ ts,however,itis betterto employtwoseparate setsoffun tions that aredened onlyin oneof the spatial regions and zero in the other. In this way, linear dependen es that o uronly in one region an easilybeeliminated,whi hoverallleadstoasmallerandmoree ientbasis.Theresulting ombinedsetof fun tionsis alled themixed produ tbasis.

InsidetheMT spheresthemixed produ tbasismusta uratelydes ribetheprodu ts

u

σ ∗

almp

(r)u

σ

al

′

_m

′

_p

′

(r) = u

σ

_alp

(r)Y

_lm

∗

(e

r

)u

σ

al

′

_p

′

(r)Y

l

′

m

′

(e

r

) =

l+l

′

X

L=|l−l

′

|

L

X

M=−L

C

lml

′

m

′

LM

U

aLP

σ

(r)Y

LM

(e

r

) ,

(3)

whi hweexpandinspheri alharmoni swiththeGaunt oe ients

C

lml

′

m

′

LM

=

Z

Y

lm

∗

(e

r

)Y

l

′

m

′

(e

r

)Y

LM

∗

(e

r

) dΩ .

(4)

The index

P

ountsthe radialprodu t fun tions

U

σ

aLP

(r) = u

σ

alp

(r)u

σ

al

′

p

′

(r)

foragivenangular quantum

number

L

.Weemphasizeagainthat,ingeneral,thelatterlieoutsidetheve torspa espannedbytheoriginal numeri albasisfun tions

{u

σ

almp

(r)}

.Initially,thesetofradialprodu tfun tionsisneithernormalizednor orthogonalandusuallyhasahighdegreeof(near)lineardependen e.Anee tivepro eduretoremovethese (near)lineardependen es istodiagonalizetheoverlapmatrixand toretain onlythoseeigenve torswhose eigenvaluesex eedaspe iedthresholdvalue[13℄.InthiswaytheMTfun tionsbe omeorthonormalized.By usingbothspin-upandspin-downprodu tsin the onstru tionoftheoverlapmatrixwemaketheresulting basisspin-independent.Ifdesired,thebasissetmayberedu edfurtherbyintrodu inganadditional uto value

L

max

fortheangularquantumnumber.Ontheotherhand,itmustbesupplementedwitha onstant MT fun tion for ea h atom in the unit ell, whi h is later needed to represent the eigenfun tion that orresponds to the divergent eigenvalue of the Coulomb matrix in the limit

k

→ 0

. From the resulting orthonormalMT fun tions

M

aLMP

(r) = M

aLP

(r)Y

LM

(e

r

)

weformally onstru tBlo hfun tions

M

k

aLMP

(r) =

1

√

N

X

T

e

ik·(T+R

a

)

M

aLP

(|r − T − R

a

|)Y

LM

(e

r−T−R

a

) .

(5)

Thesumrunsoveralllatti etranslationve tors

T

,and

M

aLP

(r) = 0

if

r

islargerthanthemun-tinradius

s

a

.

IntheIR,sin etheprodu toftwoIPWsequalsanotherIPW,weusetheset

M

k

G

(r) =

1

√

V

e

i(k+G)·r

_Θ(r)

(6) withthestepfun tion

Θ(r) =







0

if

r

∈

MT

1

if

r

∈

IR (7) anda uto

G

′

max

≤ 2G

max

inre ipro alspa e.Together withtheMT fun tions wethus obtainthemixed produ tbasis

M

k

I

(r) = M

aLMP

k

(r), M

G

k

(r)

fortherepresentationofwave-fun tionprodu ts.In ontrast totheMTfun tions,whi hwereexpli itlyorthonormalized,theIPWsarenotorthogonaltoea hother;the elementsoftheiroverlapmatrix anbe al ulatedanalyti allyandaregivenby

D

M

G

k

|M

k

′

G

′

E

= δ

kk

′

O

GG

′

(k) = δ

kk

′

Θ

G−G

′

,

(8) where

Θ

G

=

1

V

Z

e

−iG·r

Θ(r) d

3

r =















1 −

_3Ω

4π

X

a

s

3

a

for

G

= 0

−

_ΩG

4π

3

X

a

e

−iG·R

a

[sin (Gs

a

) − Gs

a

cos (Gs

a

)]

for

G

6= 0

are the Fourier oe ientsof thestep fun tion (7) and

Ω

denotes the unit- ell volume. We also dene a se ondset,thebiorthogonalset

˜

M

k

I

(r) =

X

J

O

−1

_JI

(k)M

k

J

(r)

(10)

withtheoverlapmatrix

O

IJ

(k) =

M

k

I

|M

J

k



.Itfullls theidentities

D ˜

_M

k

I





 M

k

J

E

=

D

M

I

k







M

˜

k

J

E

= δ

IJ

and

X

I





M

k

I

E D ˜

M

k

I





 =

X

I







M

˜

k

I

E D

M

I

k





 = 1 ,

(11)

wherethe ompletenessrelationisonlyvalidinthesubspa espannedbythemixedprodu tbasis,however. As the MT fun tions and the IPWs are dened in dierent regions of spa e and the MT fun tions are orthonormal, only the IPWs overlap in a nontrivial way. It should be noted that the overlap matrix is

k

-dependentbe ausethesize ofthemixed produ tbasisvariesfordierent

k

ve tors.

FortheevaluationoftheCoulombmatrixelementswehavetondanumeri allytra tableexpressionfor theIPWs.Astraightforwardapproa hmightemploytheFouriertransformofthestepfun tionandrewrite (6)asasumoverre ipro allatti eve tors

M

G

k

(r) =

lim

G

PW

→∞

1

√

V

X

|G

′

|≤G

PW

Θ

G

′

e

i(k+G+G

′

_)·r

,

(12)

where

G

PW

isa utoradiusinre ipro alspa e,forwhi hwemustof ourse hooseanitevalueinpra ti e. Eq.(12)hasaverysimplemathemati alstru tureandiseasytoimplement.Forexample,the al ulationof thematrixelementsIPW-IPWonlyinvolvesFourier oe ientsofthestepfun tion

Θ(r)

andtheCoulomb intera tion

1/r

,whi harebothknownanalyti ally.Asanalternative,wemayexploittheRayleighexpansion

e

ik·r

=

∞

X

l=0

4πi

l

j

l

(kr)

l

X

m=−l

Y

lm

∗

(e

k

)Y

lm

(e

r

)

(13)

involvingthespheri alBesselfun tions

j

l

(x)

inorder tosubtra ttheplanewavesinsidetheMTspheres

M

k

G

(r) =

lim

l

PW

→∞

1

√

V

"

e

iq·r

_{− 4π}

X

T

X

a

e

iq·(T+R

a

)

θ(s

a

− r

′

)

l

PW

X

l=0

i

l

_j

l

(qr

′

)

l

X

m=−l

Y

∗

lm

(e

q

)Y

lm

(e

r

′

)

#

,

(14)

where weusetheabbreviations

q

= k + G

and

r

′

_{= r − T − R}

a

,and

θ(r)

denotesthe Heavisidefun tion. Inapra ti alimplementationwemust useanite maximalangularmomentum

l

PW

,whi h thus be omes therelevant onvergen eparameter.Despiteitsmore ompli atedmathemati alappearan e,wehavefound that this representation in fa t fa ilitates a onsiderably faster numeri al evaluation be ause of the slow onvergen eofthestepfun tionin(12)withrespe ttothenumberofFourier oe ients.Weillustratethis pointin Se tion5.Inoursubsequentderivationwehen eemployexpression(14).

3. Coulombmatrix at nite

k

Inthisse tionwederivetheformulasforthe omputationoftheCoulombmatrixelements

v

IJ

(k) =

Z Z

_M

k

I

∗

(r)M

k

J

(r

′

)

|r − r

′

_|

d

3

_{r d}

3

_r

′

(15) for arbitrary nite wave ve tors; the limit

k

→ 0

is dis ussed in Se tion 4. Due to the omposite basis set

M

k

I

(r)

, whi h onsists of MT fun tions with

I = (aLM P )

and IPWs with

I = G

, the Coulomb matrixismadeoffourdistin tblo ks.AsitisHermitian,however,thetwoo-diagonalblo ksare omplex onjugatesofea hother,andthuswehaveto onsideronlythreeblo ksexpli itly,whi h orrespondtothe ombinations MT-MT, MT-IPW, and IPW-IPW. Svane and Andersen [16℄ already examined the matrix elementsMT-MTfornite

k

ve torsinthe ontextofthelinearizedmun-tinorbital(LMTO)method.In thefollowingwesummarize thederivationin asomewhatdierentnotationand thengivetheexpressions fortheadditionalmatrixelementsinvolvingIPWs.

IfweinserttheBlo hrepresentation(5)fortheMTfun tions in

v

aLMP,a

′

L

′

M

′

P

′

(k) =

Z Z

_M

k ∗

aLMP

(r)M

a

k

′

_L

′

_M

′

_P

′

(r

′

)

|r − r

′

_|

d

3

_{r d}

3

_r

′

_,

(16) thentheintegral anberewrittenas

v

aLMP,a

′

L

′

M

′

P

′

(k) =

X

T

e

ik·(T+R

aa′

)

(17)

×

Z Z

_M

aLP

(r)Y

LM

∗

(e

r

)M

a

′

L

′

P

′

(|r

′

− T − R

aa

′

|)Y

L

′

M

′

(e

r

′

−T−R

aa′

)

|r − r

′

_|

d

3

_{r d}

3

_r

′

_,

where thedieren eve tor

R

aa

′

= R

a

′

− R

a

pointsfrom oneMT enter to anotherin thesameunit ell. Theintegralsin(17) orrespondingto

R

= 0

and

R

6= 0

with

R

= T + R

aa

′

giverisetotwo ontributions

v

aLMP,a

′

L

′

M

′

P

′

(k) = δ

aa

′

v

(a)

_aLMP,aL

′

_M

′

_P

′

+ v

(b)

aLMP,a

′

_L

′

_M

′

_P

′

(k) ,

(18)

whi hweevaluateseparatelyin thefollowing.

Letusrst onsidertheintegralfor

R

= 0

.It anbesimplied onsiderablybyinsertingtheidentity

1

|r − r

′

_|

=

∞

X

l=0

4π

2l + 1

r

l

<

r

l+1

>

l

X

m=−l

Y

lm

(e

r

)Y

_lm

∗

(e

r

′

) ,

(19)

where

r

<

and

r

>

indi atethesmallerandlargervalueof

{r, r

′

_}

,respe tively.After arryingouttheangular integrationsweobtain

v

_aLMP,aL

(a)

′

M

′

P

′

(20)

= δ

LL

′

δ

MM

′

4π

2L + 1

Z

s

a

0

M

aLP

(r)



₁

r

L−1

Z

r

0

r

′L+2

M

aLP

′

(r

′

) dr

′

+ r

L+2

Z

s

a

r

M

aLP

′

(r

′

)

r

′L−1

dr

′



dr .

Theremainingintegrations anbeeasilyperformedbystandardnumeri alte hniques onaradialmesh. Fortheintegralswith

R

6= 0

wemayformallydene amultipole potential

Φ(r) =

Z

_M

a

′

L

′

P

′

(|r

′

− R|)Y

L

′

M

′

(e

r

′

−R

)

|r − r

′

_|

d

3

_r

′

₌

4π

2L

′

_{+ 1}

Q

a

′

L

′

P

′

|r − R|

L

′

+1

Y

L

′

M

′

(e

r−R

)

(21) thata tsintherstMTsphereasaresultofa hargedistribution

M

a

′

L

′

M

′

P

′

(r

′

_{− R)}

inthese ond,where

Q

a

′

L

′

P

′

denotesthemultipole moments

Q

a

′

_L

′

_P

′

=

Z

s

a′

0

r

′L

′

+2

M

a

′

_L

′

_P

′

(r

′

) dr

′

.

(22)

Usingtheexpansiontheorem[17,18℄

4π

2L

′

_{+ 1}

1

|r − R|

L

′

+1

Y

L

′

M

′

(e

r−R

) = (−1)

L

′

_+M

′

∞

X

l=0

l

X

m=−l

c

L

′

M

′

,lm

r

l

R

L

′

+l+1

Y

lm

(e

r

)Y

∗

(L

′

+l)(m−M

′

)

(e

R

)

(23)

withthesymmetri matrix

c

L

′

M

′

,lm

= (−1)

M

′

(4π)

2

[2(L

′

_{+ l) − 1]!!}

(2L

′

_{+ 1)!!(2l + 1)!!}

C

L

′

M

′

lm(L

′

+l)(m−M

′

)

= (4π)

3/2

1

p(2L

′

_{+ 1)(2l + 1) [2(L}

′

_{+ l) + 1]}

s

(L

′

_{+ l + m − M}

′

_)!(L

′

_{+ l − m + M}

′

_)!

(L

′

_{+ M}

′

_)!(L

′

_{− M}

′

_{)!(l + m)!(l − m)!}

,

(24)

themultipolepotential(21) reatedbyaMTfun tionat

R

anthenbewrittenintermsofradialfun tions andspheri alharmoni sattheorigin.The orrespondingele trostati intera tionenergy isgivenby

Z Z

_M

aLP

(r)Y

LM

∗

(e

r

)M

a

′

L

′

P

′

(|r

′

− R|)Y

L

′

M

′

(e

r

′

−R

)

|r − r

′

_|

d

3

_{r d}

3

_r

′

= (−1)

L

′

+M

′

c

L

′

_M

′

_,LM

Q

_aLP

Q

_a

′

_L

′

_P

′

1

R

L+L

′

+1

Y

∗

(L+L

′

_)(M−M

′

₎

(e

R

) .

(25)

Afterperformingthesumoverlatti eve torsin (17)weeventuallyobtain

v

_aLMP,a

(b)

′

L

′

M

′

P

′

(k) = (−1)

L

′

_+M

′

e

ik·R

aa′

_c

L

′

_M

′

_,LM

Q

_a

′

_L

′

_P

′

Q

_aLP

S

aa

′

(L+L

′

)(M−M

′

)

(k)

(26) with

S

lm

aa

′

(k) =

X

T

e

ik·T

1

|T + R

aa

′

|

l+1

Y

∗

lm

(e

T+R

aa′

) ,

(27)

where the sum runs over all latti e ve tors ex luding the ase

T

+ R

aa

′

= 0

. We note that

S

aa

′

lm

(k)

is losely related to the stru ture onstant dened in the ontext of the LMTO method [17℄; however,it is notdimensionless andthereforenot a onstantofagiven rystalstru ture.Forthenumeri alevaluationof

S

lm

aa

′

(k)

onemustapplytheEwaldsummationte hnique.

3.2. MT-IPW

Forthematrixelementsin theo-diagonalblo k

v

aLMP,G

(k) =

Z Z

_M

k ∗

aLMP

(r)M

G

k

(r

′

)

|r − r

′

_|

d

3

_{r d}

3

_r

′

(28) we anagainintrodu eaformal hargedistribution givenby

M

k

G

(r

′

₎

that reatesapotential

Φ(r) =

Z

_M

k

G

(r

′

)

|r − r

′

_|

d

3

_r

′

₌

1

√

V

4π

e

i(k+G)·r

|k + G|

2

−

Z

MT

e

i(k+G)·r

′

|r − r

′

_|

d

3

_r

′

!

,

(29)

where the integral runs overthe ombined volume of all MT spheres, utting out theplane waves inside them.Theele trostati intera tionenergy arisingfrom therstterminthebra ketsisgivenby

4π

√

V

1

q

2

Z

M

k ∗

aLMP

(r)e

iq·r

d

3

r =

(4π)

2

_i

L

√

Ω

Y

∗

LM

(e

q

)e

iG·R

a

1

q

2

Z

s

a

0

r

2

_M

aLP

(r)j

L

(qr) dr ,

(30)

wherewehaveagainusedtheRayleighexpansion(13)andtheabbreviation

q

= k + G

. Iftheexponential fun tion inthese ondtermontheright-handsideof(29)is alsorepla ed bytheRayleighexpansion,then theresultingintegralsareequivalenttothose onsideredin Se tion3.1above.We anhen eevaluatethem inthesameway.TheresultingnalexpressionfortheCoulombmatrixelement

v

aLMP,G

(k) = v

(a)

aLMP,G

(k) + v

(b)

aLMP,G

(k) + v

(c)

aLMP,G

(k)

(31)

onsistsofthreedistin tterms,whi haregivenby

v

aLMP,G

(a)

(k) =

1

√

Ω

(4π)

2

_i

L

_Y

∗

LM

(e

q

)e

iG·R

a

1

q

2

Z

s

a

0

r

2

M

aLP

(r)j

L

(qr) dr ,

(32a)

v

_aLMP,G

(b)

(k) = −

√

1

Ω

(4π)

2

_i

L

_Y

∗

LM

(e

q

)e

iG·R

a

1

2L + 1

Z

s

a

0

M

aLP

(r)

 I

L

(q, r)

r

L−1

+ r

L+2

J

aL

(q, r)



dr ,

(32b)

v

_aLMP,G

(c)

(k) = −

√

1

Ω

e

−ik·R

a

Q

aLP

l

PW

X

l

′

=0

l

X

m

′

=−l

(−1)

l

′

+m

′

X

a

′

e

iq·R

a′

_c

l

′

m

′

,LM

Q

q

_a

′

_l

′

_m

′

S

aa

′

(L+l

′

)(M−m

′

)

(k)

(32 )

withthemultipolemoments

I

l

(q, r) =

Z

r

0

r

′l+2

j

l

(qr

′

) dr

′

and

J

al

(q, r) =

Z

s

a

r

j

l

(qr

′

)

r

′l−1

dr

′

_,

(34) forwhi h analyti expressionsaregivenin appendixB.

3.3. IPW-IPW

Theremainingintegrals

v

GG

′

(k) =

Z Z

_M

k∗

G

(r)M

G

k

′

(r

′

)

|r − r

′

_|

d

3

_{r d}

3

_r

′

(35) areevaluatedin asimilarmanner.Thesubtra tionoftheplane wavesinside theMTspheresnowleadsto ade ompositionofthematrixelementsinto fourterms

v

GG

′

(k) = v

_GG

(a)

_′

(k) − v

_GG

(b)

_′

(k) − v

(c)

_GG

_′

(k) + v

(d)

_GG

_′

(k) .

(36)

Therstthree anbe al ulatedanalyti allyandyield

v

_GG

(a)

′

(k) =

1

V

Z

d

3

_r

Z

_d

3

_r

′

e

−i(k+G)·r

e

i(k+G

′

_)·r

′

|r − r

′

_|

= δ

GG

′

4π

|k + G|

2

,

(37a)

v

_GG

(b)

′

(k) =

1

V

Z

MT

d

3

r

Z

d

3

r

′

e

−i(k+G)·r

_e

i(k+G

′

_)·r

′

|r − r

′

_|

= (δ

GG

′

− Θ

_G−G

′

)

4π

|k + G

′

_|

2

,

(37b)

v

GG

(c)

′

(k) =

1

V

Z

d

3

r

Z

MT

d

3

r

′

e

−i(k+G)·r

_e

i(k+G

′

_)·r

′

|r − r

′

_|

= (δ

GG

′

− Θ

G−G

′

)

4π

|k + G|

2

,

(37 )

whileweevaluatethefourth term

v

(d)

_GG

′

(k) =

1

V

Z

MT

d

3

_r

Z

MT

d

3

_r

′

e

−i(k+G)·r

e

i(k+G

′

_)·r

′

|r − r

′

_|

(37d)

byagainrepla ingtheexponentialfun tions withtheRayleighexpansion(13)andfollowingthepro edure outlinedin Se tion3.1above.ThesubsequentsummationoverMTspheresandangularmomentayields

v

GG

(d)

′

(k) =

1

Ω



X

a

e

i(G

′

−G)·R

a

l

PW

X

l=0

X

m

(4π)

3

2l + 1

Y

lm

(e

q

)Y

∗

lm

(e

q

′

)K

al

(q, q

′

)

(38)

+

l

PW

X

l=0

l

X

m=−l

l

PW

X

l

′

=0

l

X

m

′

=−l

(−1)

l

′

+m

′

X

a,a

′

e

−iq·R

a

e

iq

′

_·R

a′

_c

l

′

m

′

,lm

Q

q∗

_alm

Q

q

′

a

′

_l

′

_m

′

S

aa

′

(l+l

′

)(m−m

′

)

(k)



with

q

= k + G

,

q

′

_{= k + G}

′

andthedoubleintegral

K

al

(q, q

′

) =

Z

s

a

0

Z

s

a

0

r

2

r

′2

j

l

(qr)j

l

(q

′

r

′

)

r

l

<

r

l+1

>

dr dr

′

.

(39)

Forthelatterananalyti formulaisderivedinappendixB.

4. Expansionaround

k = 0

Due tothelong-rangenature oftheCoulombintera tion

v(r) = 1/r

in realspa e,its Fouriertransform

4π/k

2

divergesfor

k

→ 0

.Asa onsequen e,theCoulomb matrixin themixedprodu tbasisalsodiverges withaleadingtermproportionalto

1/k

2

wefurtherhaveadditionaltermsproportionalto

1/k

.Itishelpfultoidentifyallrelevanttermsinadvan e. Forthispurposeweformallyrepresentthebasisfun tionsbytheirFouriertransforms

M

k

I

(r) =

1

√

V

X

G

c

IG

(k)e

i(k+G)·r

(40)

withthe oe ients

c

IG

(k) =

√

1

V

Z

e

−i(k+G)·r

M

k

I

(r) d

3

r .

(41)

Thesumrunsoverallre ipro allatti eve tors

G

.FortheIPWsthe oe ientsare

k

-independentandequal

c

G

′

G

(k) = Θ

G−G

′

for

M

k

G

′

(r)

,but fortheMTfun tions theyexhibitanontrivial

k

dependen e.Usingthe expansion

M

k

I

(r) ∼

1

√

V

X

G



c

IG

+ k · ∇c

IG

+

1

2

k

T

_∆c

IG

k



e

i(k+G)·r

(42) for

k

→ 0

with

c

IG

= c

IG

(k)|

k=0

,

∇c

IG

= ∇

k

c

IG

(k)|

k=0

and

∆c

IG

= ∇

k

∇

T

k

c

IG

(k)





k=0

, we anwrite theCoulombmatrixelementsinthis limitas

v

IJ

(k) ∼ c

∗

I0

c

J0

4π

k

2

+ [c

∗

I0

(e

k

· ∇c

J0

) + (e

k

· ∇c

∗

I0

)c

J0

]

4π

k

+ [(e

k

· ∇c

∗

I0

) (e

k

· ∇c

J0

)

+

1

2

c

∗

I0

(e

T

k

∆c

J0

e

k

) +

1

2

(e

T

k

∆c

∗

I0

e

k

)c

J0



4π +

X

G6=0

c

∗

IG

c

JG

4π

|G|

2

.

(43)

Evidently,allmatrixelements ontaindivergent ontributionsproportionalto

1/k

2

inadditiontoa onstant term. Furthermore, if

c

IG

(k)

or

c

JG

(k)

are truly

k

-dependent, i.e., formatrix elementsthat involveMT fun tions, we also haveterms proportional to

Y

∗

1m

(e

k

)/k

and

Y

∗

2m

(e

k

)

arising from the rst and se ond squarebra ket,respe tively( ompare(A.5 )and(A.8)). Asa onsequen e,we anwrite

v

IJ

(k) ∼ v

IJ

(0)

+

2

X

l=0

l

X

m=−l

v

_IJ,lm

(1)

Y

∗

lm

(e

k

)

k

2−l

,

(44)

andfrom(15)follows

v

_JI

(0)

= v

_IJ

(0)∗

and

v

(1)

JI,lm

= (−1)

m

_v

(1)∗

IJ,l(−m)

.

(45)

We will see in Se tion 4.4 below that the terms orresponding to

l > 0

an in fa t be eliminated if we performabasistransformationtothesetofeigenve torsoftheCoulombmatrix.Nevertheless,forthesake of ompleteness we will here give the appropriate formulas for

v

(1)

IJ,lm

with

l > 0

in the original mixed produ t basisaswell. As in thepreviousse tion, wepro eed by dis ussing theblo ksMT-MT, MT-IPW andIPW-IPWindividually.

4.1. MT-MT

These ondtermontheright-handsideof(18),expli itlygivenin(26),divergesfor

k

→ 0

and

L + L

′

_{< 2}

, be ausetheleadingterm of

S

aa

′

lm

(k)

isproportionalto

k

2−l

, whi his seenin the following way: Forsmall

k

the sumover

T

in (27) is dominated by ontributions belonging to largelatti e ve tors. Then one an approximatethesumbyanintegral

S

aa

lm

′

(k) ∼ e

−ik·R

aa′

1

Ω

Z

_e

ik·T

T

l+1

Y

∗

lm

(e

T

) d

3

T =

4πi

l

(2l − 1)!!Ω

e

−ik·R

aa′

_Y

∗

lm

(e

k

)k

l−2

,

(46)

wherewehaveused(13),(B.2),and(A.4).Thesameexpressionappearsinthersttermofthe re ipro al-spa esum orrespondingto

G

= 0

intheEwaldsummation. Theremainingtermsand thereal-spa esum yieldanadditional onstantterm

S

aa

′

lm

,sothatweobtain

S

aa

lm

′

(k) ∼

4πi

l

(2l − 1)!!Ω

e

−ik·R

aa′

_Y

∗

lm

(e

k

)k

l−2

+ S

aa

′

lm

(47)

for

l ≤ 2

.Afterinsertingthisexpansioninto (26)weobtain

v

aLMP,a

(0)

′

L

′

M

′

P

′

= δ

aa

′

v

(a)

aLMP,a

′

L

′

M

′

P

′

+ (−1)

L

′

_+M

′

c

L

′

M

′

,LM

Q

a

′

L

′

P

′

Q

aLP

S

aa

′

(L+L

′

)(M−M

′

)

,

(48)

v

_aLMP,a

(1)

′

_L

′

_M

′

_P

′

_;lm

= δ

l,L+L

′

δ

_m,M−M

′

(−1)

L

′

_+M

′

4πi

l

(2l − 1)!!Ω

c

L

′

M

′

,LM

Q

a

′

L

′

P

′

Q

aLP

(49) with

l ≤ 2

. 4.2. MT-IPW

The aseMT-IPWismore ompli ated,be ausehigherordersinthemultipolemoments

Q

k+G

a

′

l

′

m

′

mustbe takeninto a ountwhen multiplyingwith the divergent

S

aa

′

(L+l

′

_)(M−m

′

₎

(k)

in (32 ). Inparti ular, weneed theexpansionsof

Q

k+G

a

′

00

(

Q

k+G

a

′

1m

′

)upto se ond(rst)order

Q

k+G

a00

∼

√

4π

s

2

a

G



j

1

(Gs

a

) − j

2

(Gs

a

)s

a

k e

k

· e

G

+

1

2

j

3

(Gs

a

)s

2

a

k

2

(e

k

· e

G

)

2

−

1

2

j

2

(Gs

a

)

G

s

a

k

2



,

(50a)

Q

k+G

a1m

∼ 4πi

s

3

a

G



Y

1m

∗

(e

G

) (j

2

(Gs

a

) − j

3

(Gs

a

)s

a

k e

k

· e

G

) + Y

1m

∗

(e

k

)

j

2

(Gs

a

)

G

k



.

(50b) For

G

= 0

thesesimplify to

Q

k

a00

∼

√

4π

3

s

3

a



1 −

₁₀

1

s

2

a

k

2



,

(51a)

Q

k

a1m

∼

4πi

15

Y

∗

1m

(e

k

)s

5

a

k .

(51b)

Herewehaveusedtheidentities(A.1)(A.7).Inaddition,(32a) ontributesto

v

(1)

aLMP,G

if

G

= 0

.Thenal expressionfor

v

(0)

aLMP,G

and

v

(1)

aLMP,G

iswritten as

v

_aLMP,G

(0)

= v

_aLMP,G

(0a)

+ v

(0b)

_aLMP,G

,

(52)

wherethequantity

v

_aLMP,G

(0a)

= (1 − δ

G0

)v

(a)

aLMP,G

(0) + v

(b)

aLMP,G

(0)

(53)

−

√

1

Ω

Q

aLP

l

PW

X

l

′

=0

l

′

X

m

′

=−l

′

(−1)

l

′

+m

′

X

a

′

e

iG·R

a′

_c

l

′

m

′

,LM

Q

G

a

′

_l

′

_m

′

S

aa

′

(L+l

′

)(M−m

′

)

isdire tly obtainedafterrepla ing

S

aa

′

lm

(k)

bythetermsofzerothorderin theexpansion(47).These ond term

v

(0b)

aLMP,G

resultsfrom multiplyingthedivergenttermsin (47) withthehigherorders of(50)in (32 ) aswellas,inthe ase

G

= 0

,theterm

1/q

2

withthehigherordersof

j

l

(qr)

in(32a).Aftersomealgebrawe obtain

v

_aLMP,G

(0b)

=



















































−

(4π)

5/2

Ω

3/2

Q

a0P

X

a

′

e

iG·R

a′

s

3

a

′

G

 j

2

(Gs

a

′

)

2G

−

j

3

(Gs

a

′

)s

a

′

6



if

G

6= 0

and

L = 0 ,

−

(4π)

5/2

30Ω

3/2

Q

a0P

X

a

′

s

5

a

′

+

(4π)

3/2

6

√

Ω

Z

s

a

0

r

4

M

a0P

(r)dr

if

G

= 0

and

L = 0 ,

−

(4π)

5/2

Ω

3/2

Q

a0P

X

a

′

e

iG·R

a′

s

3

a

′

G

 j

2

(Gs

a

′

)

2G

−

j

3

(Gs

a

′

)s

a

′

6



if

G

6= 0

and

L = 1 ,

0

otherwise, (54)

v

(1)

aLMP,G;lm

= δ

Ll

δ

Mm

"

−

(4π)

5/2

_i

L

(2L + 1)!!Ω

3/2

Q

aLP

X

a

′

e

iG·R

a′

_Q

G

a

′

00

+ δ

G0

(4π)

2

_i

L

_Q

aLP

(2L + 1)!!Ω

1/2

#

.

(55) 4.3. IPW-IPW

Finally,inthe al ulationoftheIPW-IPWmatrixelementswe anusethefa t thatthesquarebra kets in(43)vanish.This simpliesthederivation onsiderably,be auseallangular-dependent ontributions an bedis ardedfromtheoutset,andhen ewehave

v

(1)

GG

′

_,lm

= 0

for

l > 0

.Weagainwrite

v

(0)

GG

′

= v

(0a)

GG

′

+ v

(0b)

GG

′

,

wheretherst ontribution

v

(0a)

GG

′

isgivenbythenondivergenttermsin(36)afterrepla ing

S

aa

′

lm

(k)

by

S

aa

′

lm

, whi hyields

v

_GG

(0a)

′

= (1 − δ

G0

)

h

v

(a)

_GG

′

(0) − v

(c)

GG

′

(0)

i

− (1 − δ

G

′

0

)v

_GG

(b)

′

(0)

+

1

Ω



X

a

e

i(G

′

−G)·R

a

l

PW

X

l=0

X

m

(4π)

3

2l + 1

Y

lm

(e

G

)Y

∗

lm

(e

G

′

)K

al

(q, q

′

)

(56)

+

l

PW

X

l=0

l

X

m=−l

l

PW

X

l

′

=0

l

X

m

′

=−l

(−1)

l

′

+m

′

X

a,a

′

e

−iG·R

a

e

iG

′

·R

a′

_c

l

′

m

′

,lm

Q

G∗

alm

Q

G

′

a

′

_l

′

_m

′

S

aa

′

(l+l

′

)(m−m

′

)



.

Further, byinserting theexpansions(50)and (51)aswellasthe

k

-dependent termsof (47) into (38) one obtainsanother onstant ontribution

v

(0b)

_GG

′

=











































































(4π)

3

Ω

2

X

a,a

′

e

−iG·R

a

e

iG

′

·R

a′

s

2

a

s

2

a

′

GG

′



−

1

₃

j

2

(Gs

a

)j

2

(G

′

s

a

′

)s

_a

s

_a

′

(e

G

· e

G

′

) −

1

6

j

1

(Gs

a

)j

3

(G

′

_s

a

′

)s

2

_a

′

−

1

₆

j

3

(Gs

a

)j

1

(G

′

s

a

′

)s

2

_a

+

j

1

(Gs

a

)j

2

(G

′

s

a

′

)s

a

′

2G

′

+

j

2

(Gs

a

)j

1

(G

′

s

a

′

)s

a

2G



if

G

6= 0

and

G

′

6= 0,

(4π)

3

Ω

2

X

a,a

′

e

iG

′

·R

a′

s

3

a

s

2

a

′

G

′

 s

2

a

30

j

1

(G

′

_s

a

′

) −

1

18

j

3

(G

′

_s

a

′

)s

2

_a

′

+

1

6

j

2

(G

′

s

a

′

)

G

′

s

a

′



if

G

= 0

and

G

′

6= 0,

(4π)

3

Ω

2

X

a,a

′

e

−iG·R

a′

s

3

a

s

2

a

′

G

 s

2

a

30

j

1

(Gs

a

′

) −

1

18

j

3

(Gs

a

′

)s

2

a

′

+

1

6

j

2

(Gs

a

′

)

G

s

a

′



if

G

6= 0

and

G

′

_{= 0,}

(4π)

3

90Ω

2

X

a,a

′

s

3

a

s

3

a

′

s

2

a

+ s

2

a

′

if

G

= G

′

_{= 0 .}

(57) Forthe al ulationof

v

(1)

GG

′

_,00

wemusttakethedivergenttermsof(37)intoa ountandeventuallyobtain

v

_GG

(1)

′

,00

=

(4π)

5/2

Ω

2

X

a,a

′

e

−iG·R

a

e

iG

′

·R

a′

_Q

G ∗

a00

Q

G

′

a

′

00

+ (4π)

3/2

[Θ

G−G

′

(δ

G0

+ δ

G

′

0

) − δ

G0

δ

G

′

0

] .

(58) 4.4. Diagonalization

Inapure plane-waverepresentation response matri esand similar quantities de omposeinto head

χ

00

, wings

χ

G0

,

χ

0G

′

, and body

χ

GG

′

with

G, G

′

_{6= 0}

. These behave dierently for

k

→ 0

. For the density responsefun tion,asanexample,headandwingelementsarequadrati andlinearin

k

,respe tively,while thebody elements remainnite but still exhibit anangular

k

dependen e.As themixed produ t basisis related tothe set of planewavesby meansof abasistransformation, these matrixelementswill nowmix ina ompli atedmanner.Itishen edesirabletomakeanothertransformationthatrestoresthe onvenient

mathemati alpropertiesoftheplane-wavebasis.Forthispurposethebasismustin ludea onstantfun tion, whi h orrespondsto thelimit of

e

ik·r

_/

√

_V

for

k

→ 0

and is responsible forthede omposition into head, wings,andbody.Su h abasisisgivenbythefun tions

E

k

µ

(r) =

X

I

E

k

µI

M

I

k

(r) ,

(59) where

E

k

µI

isthe

I

th omponentofthe

µ

theigenve torof

v

IJ

(k)

.InthisbasistheCoulombmatrix

v

µν

(k)

be omesdiagonal,whi hisalsoadvantageousinmatrixmultipli ationsinvolving

v

µν

(k)

,e.g.,forthe al u-lationofthediele tri fun tion.Furthermore,theeigenvaluesareadire tmeasurefortheprobabilityofthe elasti s atteringbetweentwoparti les. Smalleigenvaluesthus identifylessimportants atteringpro esses that mightbe negle ted, leadingto asmaller and optimized basis set after removalof the orresponding eigenve tors.

Be ause of the divergent terms in (44) the diagonalization in the limit

k

→ 0

is not trivial. The rst eigenve tor

E

k

1

orrespondingto the divergenteigenvalue

v

1

(k) = 4π/k

2

is, however,easy to obtainfrom theanalyti proje tionof

e

ik·r

_/

√

_V

onthebiorthogonalmixed-produ t-basisfun tions

E

k

1I

=

1

√

V

Z

V

˜

M

k∗

I

(r) e

ik·r

d

3

r =











c

∗

I0

(k) =

4πi

L

√

Ω

Y

∗

LM

(e

k

)

Z

s

a

0

r

2

j

L

(kr)M

aLP

(r) dr

for

I = (aLM P ) ,

δ

G0

for

I = G ,

(60) whi hinthelimit

k

→ 0

be omes

E

1I

0

=



















p4πs

3

a

/(3Ω)

for

I = (a001) ,

δ

G0

for

I = G ,

0

otherwise

.

(61)

Herewehaveassumedthatthe onstantMTfun tionofatom

a

isnormalizedandidentiedwiththeindex

(a001)

. Theother eigenve tors

E

0

µ

and eigenvalues

v

µ

(0)

for

µ > 1

are obtainedbydiagonalizing thelast termoftheformalexpansion(43)

v

IJ

=

X

G6=0

c

∗

IG

c

JG

4π

G

2

,

(62)

whi h is unknown so far. The matrix

v

(0)

IJ

, al ulated in the previous se tion, ontains

v

IJ

but also the spheri alaverageof these ond squarebra ketin (43).If wedenotethisspheri alaverageby

w

IJ

,thenwe anwrite

v

IJ

= v

IJ

(0)

− w

IJ

.

(63)

Inordertoevaluate

w

IJ

weintrodu ethenaturalbasis

k

−1

=

1

√

2

(k

x

− ik

y

),

k

1

=

1

√

2

(−k

x

− ik

y

),

k

0

= k

z

,

(64a)

∂

−1

=

√

1

2

(∂

x

+ i∂

y

) ,

∂

1

=

1

√

2

(−∂

x

+ i∂

y

) ,

∂

0

= ∂

z

,

(64b)

whi hallowsustowritethek-dependenttermsinthese ondbra ketof(43)intermsofspheri alharmoni s a ordingto

e

T

_k

∆c

J0

e

k

=

4π

3

1

X

m=−1

1

X

m

′

=−1

Y

1m

∗

(e

k

)Y

1m

′

(e

k

)∂

m

∗

∂

m

′

c

_J0

(65)

=

1

3

1

X

m=−1

∂

m

∗

∂

m

c

J0

+

4π

3

1

X

m=−1

1

X

m

′

=−1

C

1m

′

_1m2(m−m

′

₎

Y

_2(m−m

∗

′

)

(e

k

)∂

m

∗

∂

m

′

c

J0

,

(e

k

· ∇c

∗

I0

) (e

k

· ∇c

J0

) =

4π

3

1

X

m=−1

1

X

m

′

=−1

Y

1m

∗

(e

k

)Y

1m

′

(e

k

)∂

m

∗

c

∗

I0

∂

m

′

c

_J0

(66)

=

1

3

1

X

m=−1

∂

∗

m

c

∗

I0

∂

m

c

J0

+

4π

3

1

X

m=−1

1

X

m

′

₌₋₁

C

1m

′

_1m2(m−m

′

₎

Y

_2(m−m

∗

′

)

(e

k

)∂

m

∗

c

∗

I0

∂

m

′

c

J0

,

wherewedene

∂

m

c

I0

= ∂

m

c

I0

(k)|

k=0

andsimilarabbreviations.Thelastequationfollowsfromtheidentity

e

k

· ∇c

I0

=

r 4π

3

1

X

m=−1

Y

1m

(e

k

)∂

m

c

I0

.

(67)

Whenwetakethespheri alaverage,theharmoni swith

l > 0

vanish,and weobtain

w

IJ

=

4π

3

1

X

m=−1



(∂

m

∗

c

∗

I0

) (∂

m

c

J0

) +

1

2

c

∗

I0

∂

m

∗

∂

m

c

J0

+

1

2

c

J0

∂

m

∂

∗

m

c

∗

I0



(68) with

c

I0

=



















p4πs

3

a

/(3Ω)

for

I = (a001) ,

Θ

−G

for

I = G ,

0

otherwise

,

(69)

∂

m

c

I0

=











−δ

L1

δ

Mm

r 4π

3Ω

i

Z

s

a

0

r

3

M

a1P

(r) dr

for

I = (a1M P ) ,

0

otherwise

,

(70)

1

X

m=−1

∂

m

∂

m

∗

c

I0

=











−δ

L0

r 4π

Ω

Z

s

a

0

r

4

M

a0P

(r) dr

for

I = (a0M P ) ,

0

otherwise

.

(71)

5. Test al ulations

Apart from the evaluation of (27), whi h is easily onverged to high pre ision by means of the Ewald summation te hnique, and the radialmeshes for numeri al integration inside the MT spheres, the uto value

l

PW

istheonly onvergen eparameterinthe onstru tionoftheCoulombmatrixelementspresented above.On theotherhand,in an alternativeimplementationthat usesthe representation(12)ratherthan theRayleighexpansionfortheIPWsthematrixelementsmustbe onvergedwithrespe ttothere ipro al utoradius

G

PW

.Figure1 omparesthe onvergen ebehaviorofthesetwoapproa hes.The urvesindi ate theroot meansquare deviation ofthe Coulomb matrixforbulksili on, averagedoverallmatrixelements MT-IPWandIPW-IPWandover64

k

points,fromthefully onvergedresults al ulatedwith

l

PW

= 26

.In both asesweemploythesame utoparameters

G

′

max

= 3.6 Bohr

−1

and

L

max

= 4

forthemixedprodu t

basis, theMT fun tions are onstru ted from produ ts

u

σ

al0

(r)u

σ

al

′

0

(r)

with

l ≤ 2

and

l

′

_{≤ 3}

. On average thisyields 411basisfun tions per

k

point.It isevidentthat theresultsobtainedwith thepresentmethod onvergemu hfasterthanthoseobtainedwiththeFouriertransformofthestepfun tion.Furthermore,at thesamelevelofa ura ythepresentmethodistypi allybyafa torof10100faster.