top of page
Physics Tomorrow Letters icon.jpg

csx-home>vol-01>issue-02>Foundation of classical dynamical density functional theory: uniqueness of time-dependent density–potential mappings

Editorial Choice.PNG
ORCID_iD.svg.png

Locked Premium

Submitted    10 March 2023

Revised          12 April 2023

Accepted       23 April 2023

Foundation of classical dynamical density functional theory: uniqueness of time-dependent density–potential mappings

ORCID_iD.svg.png

Michael Andreas Klatt

ORCID_iD.svg.png

Hartmut L¨owen

ORCID_iD.svg.png

Ren´e Wittmann

ORCID_iD.svg.png

ORCID_iD.svg.png

Canadian Science Letters X

2023 ° 23(04) ° 01-02

https://www.wikipt.org/csx-home

DOI: 10.1490/698502.365csx

Funding Agent Details


This work was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), through the SPP 2265, under Grant Nos. WI 5527/1-1 and LO 418/25-1.

Unlock Only

Read-only this publication

This option will drive you towards only the selected publication. If you want to save money then choose the full access plan from the right side.

Unlock all

Get access to entire database

This option will unlock the entire database of us to you without any limitations for a specific time period.
This offer is limited to 100000 clients if you make delay further, the offer slots will be booked soon. Afterwards, the prices will be 50% hiked.

Abstract

When can we uniquely map the dynamic evolution of a classical density to a timedependent potential? In equilibrium, without time dependence, the one-body density uniquely specifies the external potential that is applied to the system. This mapping from a density to the potential is the cornerstone of classical density functional theory (DFT). Here, we derive rigorous and explicit conditions for such a unique mapping between a nonequilibrium density profile and a time-dependent external potential. We thus prove the underlying assertion of dynamical density functional theory (DDFT) — with or without the so-called adiabatic approximation often used in applications. We also illustrate loopholes when our conditions are violated so that two distinct external potentials result in the same density profiles but different currents — as suggested by the framework of power functional theory (PFT).

Introduction

The foundation of classical density functional theory (DFT) [21, 9, 10] rests on the fact that the one-body density uniquely determines the external potential and hence the underlying Hamiltonian if the interaction potential is known. In essentially all relevant cases, there exists a unique mapping from the one-body density ρ(x) to an external potential V (x) for x ∈ R d in d dimensions and for a given interaction potential, temperature, and number of particles (or chemical potential). Remarkably, because of this unique mapping, the one-body density specifies a many-body system in equilibrium and hence all higher-body correlations. The existence of such a unique density–potential mapping was first proven in the context of quantum mechanics by Hohenberg and Kohn [15], Kohn and Sham [16], and Mermin [21]. Mermin’s generalized arguments can be directly applied to classical many-body systems as elaborated by Evans [9] and later rigorously confirmed by Chayes, Chayes, and Lieb [3]. The unique mapping exists under mild and natural conditions on the density and interparticle interactions that essentially assume finite energies. Among others, this result implies a formal equivalence of Mermin-Evans DFT to the alternative framework [7] based on Levy constrained search [17] (which does not a priori restrict to density profiles that are realizable by an external potential).

Conclusion

So far, we have assumed the existence of a well-behaved solution P(x N , t), but a proof of existence can be constructed similarly to our proof of uniqueness. Analogously, van Leeuwen [32] generalized the argument by Runge and Gross [26] in quantum mechanics. We, therefore, expect that our proof can also be generalized, but an additional difficulty arises. The existence of a suitable potential requires the solution to an inhomogeneous PDE analogous to (4.9). The resulting conditions on the density and interaction potential should include, as a special case, the known conditions for systems in equilibrium [3]. Similar questions have recently been discussed in quantum mechanics [35]. Another open problem is to drop the condition of analytic potentials. As mentioned above, a fixed-point approach as in [23, 24] could avoid this restriction. A useful generalization would also be to include unnormalizable densities to rigorously treat periodic boundary conditions. Finally, we can generalize the pairwise-interacting passive particles to (i) many-body interactions and marked particles, as well as to (ii) non-conservative forces, such as for active particles. (i) Higher-body interactions lead to more complex average interaction forces but do not change the structure of the hierarchy, so our method of proof should apply. Similarly, our proof should be generalizable to marked particles, where the marks may represent different particle shapes or orientations [22]. (ii) If a known non-conservative force field is added to (2.3), we expect that the corresponding terms drop out similar to (4.2) and (4.4). Thus, the uniqueness of the density-potential mapping equally holds for intrinsically nonequilibrium systems, such as active particles [34].

References

[1] A. J. Archer and R. Evans. Dynamical density functional theory and its application to spinodal decomposition. J. Chem. Phys., 121:4246–4254, 2004.
[2] G. K.-L. Chan and R. Finken. Time-Dependent Density Functional Theory of Classical Fluids. Phys. Rev. Lett., 94:183001, 2005.
[3] J. T. Chayes, L. Chayes, and E. H. Lieb. The inverse problem in classical statistical mechanics. Commun.Math. Phys., 93:57–121, 1984.
[4] D. de las Heras, J. Renner, and M. Schmidt. Custom flow in overdamped Brownian dynamics. Phys. Rev. E, 99:023306, 2019.
[5] D. de las Heras, T. Zimmermann, F. Samm¨uller, S. Hermann, and M. Schmidt. Perspective: How to overcome dynamical density functional theory. J. Phys.: Condens. Matter, 2023.
[6] A. K. Dhara and S. K. Ghosh. Density-functional theory for time-dependent systems. Phys. Rev. A, 35:442–444, 1987.
[7] W. S. B. Dwandaru and M. Schmidt. Variational principle of classical density functional theory via Levy’s constrained search method. Phys. Rev. E, 83:061133, 2011.
[8] P. Espa˜nol and H. L¨owen. Derivation of dynamical density functional theory using the projection operator technique. J. Chem. Phys., 131:244101, 2009.
[9] R. Evans. The nature of the liquid-vapour interface and other topics in the statistical mechanics of non-uniform, classical fluids. Adv. Phys., 28:143–200, 1979.
[10] R. Evans. Density functionals in the theory of non-uniform fluids. In D. Henderson, editor, Fundamentals of Inhomogeneous Fluids, pages 85–175. Marcel Dekker, 1992.
[11] D. Gilbarg and N. S. Trudinger. Elliptic Partial Differential Equations of Second Order, volume 224 of Classics in Mathematics. Springer Berlin Heidelberg, Berlin, Heidelberg, 2001.
[12] E. K. U. Gross and W. Kohn. Time-Dependent Density-Functional Theory. In P.-O. L¨owdin, editor, Advances in Quantum Chemistry, volume 21 of Density Functional Theory of Many-Fermion Systems, pages 255–291. Academic Press, 1990.
[13] E. K. U. Gross and N. T. Maitra. Introduction to TDDFT. In M. A. Marques, N. T. Maitra, F. M. Nogueira, E. Gross, and A. Rubio, editors, Fundamentals of Time-Dependent Density Functional Theory, Lecture Notes in Physics, pages 53–99. Springer, Berlin, Heidelberg, 2012.
[14] J.-P. Hansen and I. R. McDonald. Theory of Simple Liquids: With Applications to Soft Matter. Academic Press, Amsterdam, fourth edition, 2013.
[15] P. Hohenberg and W. Kohn. Inhomogeneous Electron Gas. Phys. Rev., 136:B864– B871, 1964.
[16] W. Kohn and L. J. Sham. Self-Consistent Equations Including Exchange and Correlation Effects. Phys. Rev., 140:A1133–A1138, 1965.
[17] M. Levy. Universal variational functionals of electron densities, first-order density matrices, and natural spin-orbitals and solution of the v-representability problem. Proc. Natl. Acad. Sci., 76:6062–6065, 1979.
[18] H. L¨owen. Dynamical Density Functional Theory for Brownian Dynamics of Colloidal Particles. In J. Wu, editor, Variational Methods in Molecular Modeling, Molecular Modeling and Simulation, pages 255–284. Springer, Singapore, 2017.
[19] N. T. Maitra and K. Burke. Demonstration of initial-state dependence in timedependent density-functional theory. Phys. Rev. A, 63:042501, 2001.
20] U. M. B. Marconi and P. Tarazona. Dynamic density functional theory of fluids. J. Chem. Phys., 110:8032–8044, 1999.
[21] N. D. Mermin. Thermal Properties of the Inhomogeneous Electron Gas. Phys. Rev., 137:A1441–A1443, 1965.
[22] M. Rex, H. H. Wensink, and H. L¨owen. Dynamical density functional theory for anisotropic colloidal particles. Phys. Rev. E, 76:021403, 2007.
[23] M. Ruggenthaler, K. J. H. Giesbertz, M. Penz, and R. van Leeuwen. Density-potential mappings in quantum dynamics. Phys. Rev. A, 85:052504, 2012. [24] M. Ruggenthaler, M. Penz, and R. van Leeuwen. Existence, uniqueness, and construction of the density-potential mapping in time-dependent density-functional theory. J. Phys.: Condens. Matter, 27:203202, 2015.
[25] M. Ruggenthaler and R. van Leeuwen. Global fixed-point proof of time-dependent density-functional theory. EPL, 95:13001, 2011.
[26] E. Runge and E. K. U. Gross. Density-Functional Theory for Time-Dependent Systems. Phys. Rev. Lett., 52:997–1000, 1984.
[27] M. Schmidt. Power functional theory for many-body dynamics. Rev. Mod. Phys., 94:015007, 2022.
[28] M. Schmidt and J. M. Brader. Power functional theory for Brownian dynamics. J. Chem. Phys., 138:214101, 2013.
[29] M. te Vrugt, H. L¨owen, and R. Wittkowski. Classical dynamical density functional theory: From fundamentals to applications. Adv. Phys., 69:121–247, 2020.
[30] S. M. Tschopp and J. M. Brader. First-principles superadiabatic theory for the dynamics of inhomogeneous fluids. J. Chem. Phys., 157:234108, 2022.


No posts published in this language yet
Once posts are published, you’ll see them here.
bottom of page