Indirect Coulomb Energy with Gradient Correction Elliott Lieb Princeton University Joint work with Mathieu Lewin, C. N. R. S. Paris-Dauphine arXiv:1408.3358 and Phys. Rev. A 91 , 022507 (2015) Conference in honor of Bernard Jancovici Analytical Results in Statistical Physics I.H.P. , Nov.5, 2015 Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 1
Dedicated, with many fond memories, to my very old and valued friend Bernard Jancovici Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 2
The Exchange Energy Problem The electrostatic Coulomb energy of N point particles at X = { x 1 , . . . , x N } ∈ R 3 N is U ( X ) = ∑ 1 ≤ i<j ≤ N | x i − x j | − 1 . Given a (permutation symmetric) probability distribution P ( X ) ≥ 0 with ∫ R 3 N P ( X ) d X = 1 , , the expectation value of U is, of course, ∫ ⟨ U ⟩ = R 3 N P ( X ) U ( X ) d X . ∫ We also define the one-body density ρ ( x ) = N R 3( N − 1) P ( x , x 2 , . . . x N )d x 2 · · · d x N . P is thought of as the square of a quantum mechanical wave function (symmetric [bosonic] or antisymmetric [fermionic]) but this does not matter in this talk. Indeed, it is an open problem to figure out the role of the bosonic or fermionic “statistics”, – but that is for another day. Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 3
A practical question in the quantum mechanics of electrons is to estimate ⟨ U ⟩ , using ρ , as follows. Write ∫ D ( ρ, ρ ) := 1 R 6 ρ ( x ) | x − y | − 1 ρ ( y )d x d y . E ind := ⟨ U ⟩ − D ( ρ, ρ ) , where 2 The indirect energy E ind (also known as exchange-correlation energy) depends on P and can have either sign. The question we address is: How negative can it be, given (only) knowledge of ρ ? I.e., how successfully can the particles avoid each other, thereby making ⟨ U ⟩ less than the simple, classical average D ( ρ ρ ) ? ∫ R 3 ρ ( x ) 4 / 3 d x , which has the right scaling prop- One simple candidate is E ind ≥ − C erty, at least. Such a bound exists (L – Oxford 1981) and the sharp C satisfies 1 . 31 < C < 1 . 64 . Variational Problem #1: What is the sharp C ? Incidentally, we could let C depend on N ; it is easy to see that C ( N ) ≤ C ( N + 1) ≤ C . ∫ ∫ ρ 4 / 3 )( ρ ) 2 / 3 } . This immediately When N = 1 , U = 0 , so C (1) = min ρ { D ( ρ, ρ ) / ( leads to a Lane-Emden equation, whence C (1) = 1 . 21 < C . Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 4
Gradient Correction Based on a numerical example, a variational calculation for the ground state energy of ‘jellium’, physicists believe that C ≈ 1 . 44 . They also believe that a better bound would take into account that E ind also depends on the spatial variation of ρ . The L-O bound harks back to Onsager’s lemma, and naturally comes in two parts: 2 ) 1 / 3 (∫ ρ 4 / 3 ) (∫ ρ 4 / 3 ) E ind ≥ E L − O 5 ( 9 π = − 3 − Z ≃ − 1 . 45 − Z ind ∫ ρ 4 / 3 , it can be bounded instead by a quantity that While Z can be bounded by (0 . 23) depends on the spatial variation of ρ . We have shown how to bound it, instead, as (∫ ) 1 / 4 (∫ ) 3 / 4 R 3 ρ ( x ) 4 / 3 d x Z ≤ 0 . 3697 R 3 |∇ ρ ( x ) | d x . The challenge is to improve the constant 0.3697. We begin by defining our upper bound to Z precisely. Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 5
Definition of our bound on Z The upper bound on Z found by L-O, and which we henceforth call simply Z , is defined as follows in terms of the nonnegative particle density ρ . It is clear that if ρ is almost constant then Z is almost zero. ∫ ( ) Z = 2 R 3 ρ ( x ) D ρ − ρ ( x ) , δ x − µ x d x , where δ x is the Dirac delta at x and { } { } 3 3 | y − x | 3 ≤ µ x ( y ) := | y − x | ≤ R ( x ) = ρ ( x ) 1 (1) 4 πR ( x ) 3 1 4 πρ ( x ) is the normalized uniform measure of the ball centered at x with radius R ( x ) := (4 πρ ( x ) / 3) − 1 / 3 . Note that the Coulomb potential of δ x − µ x is positive. Historical Note; Benguria, Bley and Loss (2011) realized that Z depends on the variation of ρ . This was an important development . They showed that Z could be bounded using ∫ ( √ ρ, | p |√ ρ ) ∝ √ ρ ) 2 ( p ) | p | d p . R 3 ( � This expression is very non- local, however, in contrast to ours, which uses ∇ ρ , and is local and easier to compute. Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 6
Another bound on Z In ‘Density Functional Theory’ people prefer |∇ ρ 1 / 3 | 2 (instead of |∇ ρ | ), which arises nat- urally in the high density regime of the almost-uniform electron gas. We also have an estimate of this kind, and it is (∫ ) 1 / 3 (∫ ) 2 / 3 R 3 |∇ ρ 1 / 3 ( x ) | 2 d x R 3 ρ ( x ) 4 / 3 d x Z ≤ 0 . 8035 , which is to be compared to our previous bound (∫ ) 1 / 4 (∫ ) 3 / 4 R 3 ρ ( x ) 4 / 3 d x Z ≤ 0 . 3697 R 3 |∇ ρ ( x ) | d x . The proof of this new bound is much more complicated than the previous one. It uses a Hardy-Littlewood type maximal function inequality, and it would be very nice if one could improve the known constant in this inequality. Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 7
A Little Secret In an appendix to our paper we discover that a supposed cornerstone of the conventional theory of the exchange-correlation energy does does not hold up. Let us recall classical jellium . Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 8
Classical Jellium and E Ind ∫ ∫ ∫ N ∑ ∑ 1 | x j − y | + 1 dy dx dy E Jel ( x j , Ω) = | x j − x k | − 2 | x − y | Ω Ω Ω 1 ≤ j<k ≤ N j =1 1. put N electrons on a (finite subset of) a BCC lattice 2. average this state over the translations of the unit cell Q 3. the electron density ρ obtained this way is constant on Ω := ∪ unit cells Indirect energy of this state ∫ ∫ ∑ | x j − x k |− 1 1 dx , dy E Ind ( x j , Ω) = 2 | x − y | Ω Ω 1 ≤ j<k ≤ N ∫ ∫ ∫ ∑ N dy dx dy 1 1 ▶ Claim (due to Wigner?): ∼ j =1 N | x j − y | N | x − y | Ω Ω Ω N →∞ Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 9
An unexpected shift THEOREM: [Indirect energy of Jellium] ∫ ∫ ∑ 1 | x j − x k | − 1 1 dx dy = lim e Jell + S ���� N 2 | x − y | N →∞ Ω Ω 1 ≤ j<k ≤ N ≃− 1 . 4442 where ( 1 ) 0 . 5236 (SC) , ∫ ∫ ∫ dy dx = 2 π x 2 dx = S = | x | − 0 . 4948 (FCC) , | x − y | 3 R 3 unit cell unit cell 0 . 4935 (BCC) • S = 0 for any potential that decays faster than Coulomb at infinity • Similar shift in slightly different context by Borwein et al Borwein, Borwein, Shail & Straub, J. Math. Anal. Appl. 143 (1989), 414 (2014) Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 10
This shift was not noticed in the literature earlier than our paper because: IF ONE FIRST USES A YUKAWA POTENTIAL (WHICH HAS AN EXPONENTIAL CUTOFF), TAKES THE LIMIT volume to infinity, AND THEN REMOVES THE CUTOFF, ONE GETS THE WRONG ANSWER. THE EXCHANGE OF LIMITS IS NOT VALID The bottom line is this: It had been assumed that the L-O bound for E ind , when the elec- ∫ ρ 4 / 3 , which would miraculously tron density was spatially constant, was at least − 1 . 44 ∫ ρ 4 / 3 . agree with our lower bound − 1 . 45 This was based on a miscalculation that had existed since time immemorial. The best ∫ ρ 4 / 3 for constant density . Thus, the sharp L-O constant upper bound is now only − 0 . 9 for constant density is somewhere between 0 . 9 and 1 . 45 . HOMEWORK PROBLEM: Improve this state of affairs! Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 11
THANKS FOR LISTENING ! Elliott Lieb – Indirect Coulomb Energy with Gradient Correction Nr. 12
Recommend
More recommend
