On the proof by reductio ad absurdum of the Hohenberg - Kohn theorem for ensembles of fractionally occupied states of Coulomb systems

International Journal of Quantum Chemistry

Volumn 106, Issue 8, 2006, Pages 1795-1798

  Kryachko, Eugene S ^a,b  

^a BOGOLYUBOV INSTITUTE FOR THEORETICAL PHYSICS   (Ukraine)

^b UNIVERSITY OF LIÈGE   (Belgium)

Author keywords

Coulomb systems; Density functional theory; Generalizations of Hohenberg Kohn theorem; Hohenberg Kohn theorem; Kato theorem; One electron density; Reductio ad absurdum method

Indexed keywords

CARRIER CONCENTRATION; ELECTRONS; FORMAL LOGIC; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; PROBABILITY DENSITY FUNCTION;

COULOMB SYSTEMS; DENSITY FUNCTIONAL THEORIES; GENERALIZATIONS OF HOHENBERG - KOHN THEOREMS; HOHENBERG - KOHN THEOREMS; KATO THEOREM; ONE-ELECTRON DENSITY; REDUCTIO AD ABSURDUM METHODS;

THEOREM PROVING;

EID: 33646271363     PISSN: 00207608     EISSN: 1097461X     Source Type: Journal    
DOI: 10.1002/qua.20970     Document Type: Article

References (30)

1. Hohenberg, P.; Kohn, W. Phys Rev B 136, B864 (1964).
2. (a) Parr, R. G.; Yang, W. Density-Functional Theory of Atoms and Molecules; Oxford University Press: New York, 1989;
3. (b) Dreizler, R. M.; Gross, E. K. U. Density Functional Theory; Springer-Verlag: Berlin, 1990;
4. (c) Kryachko, E. S.; Ludeña, E. V. Energy Density Functional Theory of Many-Electron Systems; Kluwer: Dordrecht, the Netherlands, 1990;
5. (d) March, N. H. Electron Density Theory of Atoms and Molecules; Academic Press: London, 1992.
6. Gross, E. K. U.; Oliviera, L. N.; Kohn, W. Phys Rev A 1988, 37, 2809.
7. van Leeuwen, R. Adv Quantum Chem 2003, 43, 24.
8. Kryachko, E. S. Int J Quantum Chem 2005, 103, 818.
9. Gross, E. K. U.; Oliviera, L. N.; Kohn, W. Phys Rev A 1988, 37, 2805.
10. (a) Suppes, P. Introduction to Logic; Van Nostrand, Princeton, NJ, 1967;
11. (b) Whitehead, A. N.; Russell, B. Principia Mathematica; Cambridge University Press: Cambridge, UK, 1962;
12. (c) Copi, I. M. Symbolic Logic; Macmillan; New York, 1965;
13. (d) Prior, A. N. Formal Logic; Clarendon: Oxford, 1962;
14. (e) Scherer, D. Mind 1971, 80, 247;
15. (f) Lee, J. M. Notre Dame J Formal Logic 1973, 14, 381;
16. (g) Kulathungam, L. C. D. Notre Dame J Formal Logic 1975, 16, 245.
17. Kato, T. Commun Pure Appl Math 1957, 10, 151.
18. Anscombe, G. E. M. An Introduction to Wittgenstein's Tractatus; Hutchinson University Library: London, 1959.
19. Gödel, K. Obras Completas; Alianza Editorial: Madrid, 1981, defines that a set of propositions is consistent if it cannot simultaneously deduce a proposition and its negation.
20. About contradictions in physics see Aharonov, Y.; Rohrlich, D. Quantum Paradoxes. Quantum Theory for the Perplexed; Wiley-VCH: Weinheim, 2005.
21. (a) Theophilou, A. K. J Phys C: Solid State 1979, 12, 5419;
22. (b) Glushkov, V. N.; Theophilou, A. K. Phys Rev A 2001, 64, 064501.
23. (a) Katriel, J. J Phys C: Solid State 1980, 13, L375;
24. (b) Katriel, J.; Zahariev, F.; Phys Rev A 2002, 65, 024501.
25. (a) Kryachko, E. S.; Ludeña, E. V.; Koga, T. J Math Chem 1992, 11, 325;
26. (b) Koga, T. J Chem Phys 1991, 95, 4306;
27. (c) Kryachko, E. S.; Ludeña, E. V.; J Mol Struct (Theochem) 1993, 287, 1;
28. (d) Koga, T. J Math Chem 1993, 14, 207.
29. (a) Ludeña, E. V.; Lopez-Boada, R.; Maldonado, J.; Valder-rama, E.; Kryachko, E. S.; Koga, T.; Hinze, J. Int J Quantum Chem 1995, 56, 285;
30. (b) Kryachko, E. S. in New Methods in Quantum Theory; Tsipis,C. A.; Popov, V. S.; Herschbach, D. R.; Avery, J. S., Eds., NATO ASI Series; Kluwer: Dordrecht, the Netherlands, 1995; p 339.