Kohn–Sham computation and the bivariate view of density functional theory

Informed by an abstraction of Kohn–Sham (KS) computation called a KS machine, a functional analytic perspective is developed on mathematical aspects of density functional theory. A natural semantics for the machine is bivariate, consisting of a sequence of potentials paired with a ground density. Although the question of when the KS machine can converge to a solution (where the potential component matches a designated target) is not resolved here, a number of related ones are. For instance: can the machine progress toward a solution? Barring presumably exceptional circumstances, yes in an energetic sense, but using a potential-mixing scheme rather than the usual density-mixing variety. Are energetic and function space distance notions of proximity-to-solution commensurate? Yes, to a significant degree. If the potential components of a sequence of ground pairs converges to a target density, do the density components cluster on ground densities thereof? Yes, barring particle number drifting to infinity.

Note:

A major mistake, namely a circular argument, has been fixed

density functional theory
Kohn–Sham computation
functional analysis

References(30)

Figures(1)

[1]

Inhomogeneous Electron Gas

P. Hohenberg
(
- Ecole Normale Superieure
)
,
W. Kohn
(
- UC, San Diego
)

- Phys.Rev. 136 (1964) B864-B871
•
DOI:
- 10.1103/PhysRev.136.B864

[2]

Density-Functional Theory of Atoms and Molecules

R. Parr
,
W. Yang

[3]

Density Functional Theory: an Approach to the Quantum Many-Body Problem

R.M. Dreizler
,
E.K.U. Gross

[4]

A Chemist's Guide to Density Functional Theory

W. Koch
,
M.C. Holthausen

[5]

K. Capelle

- Braz.J.Phys. 36 (2006) 1318
•
DOI:
- 10.1590/S0103-97332006000700035

[6]

K. Burke

- J.Chem.Phys. 136 (2012) 150901
•
DOI:
- 10.1063/1.4704546

[7]

Self-Consistent Equations Including Exchange and Correlation Effects

W. Kohn
(
- UC, San Diego
)
,
L.J. Sham
(
- UC, San Diego
)

- Phys.Rev. 140 (1965) A1133-A1138
•
DOI:
- 10.1103/PhysRev.140.A1133

[8]

E.H. Lieb

- Int.J.Quant.Chem. 24 (1983) 243
•
DOI:
- 10.1002/qua.560240302

[9]

An Improved Lower Bound on the Indirect Coulomb Energy

Elliott H. Lieb
(
- Princeton U., Math. Dept. and
- Princeton U.
)
,
Stephen Oxford
(
- Princeton U., Math. Dept. and
- Princeton U.
)

- Int.J.Quant.Chem. 19 (1981) 427-439,
•
DOI:
- 10.1002/qua.560190306

[10]

A. Laestadius
,
M. Penz
,
E.I. Tellgren
,
M. Ruggenthaler
,
S. Kvaal

et al.

- J.Chem.Phys. 149 (2018) 164103
•
DOI:
- 10.1063/1.5037790

[11]

A. Laestadius
,
E.I. Tellgren
,
M. Penz
,
M. Ruggenthaler
,
S. Kvaal

et al.

- J. Chem. Theory Comput. 15 (2019) 4003
•
DOI:
- 10.1021/acs.jctc.9b00141

[12]

M. Penz
,
A. Laestadius
,
E.I. Tellgren
,
M. Ruggenthaler

- Phys.Rev.Lett. 123 (2019) 037401
•
DOI:
- 10.1103/PhysRevLett.123.037401

[13]

M. Penz
,
A. Laestadius
,
E.I. Tellgren
,
M. Ruggenthaler
,
P.E. Lammert

- Phys.Rev.Lett. 125 (2020) 249902
•
DOI:
- 10.1103/PhysRevLett.125.249902

[14]

A.D. Becke

- J.Chem.Phys. 98 (1993) 1372
•
DOI:
- 10.1063/1.464304

[15]

M. Levy

- Proc.Nat.Acad.Sci. 76 (1979) 6062
•
DOI:
- 10.1073/pnas.76.12.6062

[16]

Electron densities in search of Hamiltonians

Mel Levy
(
- JAERI, Tokai and
- Tulane U.
)

- Phys.Rev.A 26 (1982) 1200-1208
•
DOI:
- 10.1103/PhysRevA.26.1200

[17]

Convex Functions, Monotone Operators and Differentiability (Lecture Notes in Mathematics vol 1364)

R.R. Phelps

[18]

Applied Nonlinear Analysis

J-P Aubin
,
I. Ekeland

[19]

O. Gritsenko
,
E. Baerends

- J.Chem.Phys. 120 (2004) 8364
•
DOI:
- 10.1063/1.1698561

[20]

L.O. Wagner
,
E.M. Stoudenmire
,
K. Burke
,
S.R. White

- Phys.Rev.Lett. 111 (2013) 093003
•
DOI:
- 10.1103/PhysRevLett.111.093003

e-Print:
- 2108.10094

[22]

Topological Vector Spaces and Distributions

J. Horváth

[23]

P.E. Lammert

- Phys.Rev.A 82 (2010) 012109
•
DOI:
- 10.1103/PhysRevA.82.012109

[24]

Nonsmooth Analysis

W. Schirotzek

[25]

Convex Analysis and Variational Problems

I. Ekeland
,
R. Témam

1-25 of 30
1
2
25 / page