Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0911.1956 · Journal of Physics A Mathematical and Theoretical

On the existence of effective potentials in time-dependent density functional theory

M Ruggenthaler, M Penz, D Bauer

Published Oct 5, 2009• 13 citations
arXivHTMLPDF

Abstract

We investigate the existence and properties of effective potentials in time-dependent density functional theory. We outline conditions for a general solution of the corresponding Sturm–Liouville boundary value problems. We define the set of potentials and v -representable densities, give a proof of existence of the effective potentials under certain restrictions and show the set of v -representable densities to be independent of the interaction.

DOI
10.1088/1751-8113/42/42/425207

Related papers

On the existence of effective potentials in time-dependent density functional theory

Ruggenthaler, M., Penz, M., Bauer, D.

We investigate the existence and properties of effective potentials in time-dependent density functional theory. We outline conditions for a general solution of the corresponding Sturm–Liouville boundary value problems. We define the set of potentials and v-representable densities, give a proof of existence of the effective potentials under certain restrictions and show the set of v-representable densities to be independent of the interaction.

•Jan 1, 2009•12 citations

Domains of time-dependent density-potential mappings

Markus Penz, Michael Ruggenthaler

The key element in time-dependent density functional theory is the one-to-one correspondence between the one-particle density and the external potential. In most approaches, this mapping is transformed into a certain type of Sturm–Liouville problem. Here we give conditions for existence and uniqueness of solutions and construct the weighted Sobolev space they lie in. As a result, the class of v -representable densities is considerably widened with respect to previous work.

arXiv:1103.1983•Journal of Physics A Mathematical and Theoretical•Jul 27, 2011•9 citations

Time-dependent density functional theory on a lattice

Mehdi Farzanehpour, I. V. Tokatly

Time-dependent density functional theory (TDDFT) for quantum many-body systems on a lattice is formulated rigorously. We prove the uniqueness of the density-to-potential mapping and demonstrate that a given density is $v$ representable if the initial many-body state and the density satisfy certain well-defined conditions. In particular, we show that for a system evolving from its ground state any density with a continuous second time derivative is locally in time $v$ representable and therefore the lattice TDDFT is guaranteed to exist. The TDDFT existence and uniqueness theorem is valid for any connected lattice, independently of its size, geometry, and/or spatial dimensionality. General statements of the existence theorem are illustrated on a pedagogical exactly solvable example, which displays all the details and subtleties of the proof in a transparent form. In conclusion we briefly discuss remaining open problems and directions for future research.

arXiv:1206.6267•Physical Review B•Sep 21, 2012•49 citations

Existence, uniqueness, and construction of the density-potential mapping in time-dependent density-functional theory

Michael Ruggenthaler, Markus Penz, Robert van Leeuwen

In this work we review the mapping from densities to potentials in quantum mechanics, which is the basic building block of time-dependent density-functional theory and the Kohn-Sham construction. We first present detailed conditions such that a mapping from potentials to densities is defined by solving the time-dependent Schrödinger equation. We specifically discuss intricacies connected with the unboundedness of the Hamiltonian and derive the local-force equation. This equation is then used to set up an iterative sequence that determines a potential that generates a specified density via time propagation of an initial state. This fixed-point procedure needs the invertibility of a certain Sturm-Liouville problem, which we discuss for different situations. Based on these considerations we then present a discussion of the famous Runge-Gross theorem which provides a density-potential mapping for time-analytic potentials. Further we give conditions such that the general fixed-point approach is well-defined and converges under certain assumptions. Then the application of such a fixed-point procedure to lattice Hamiltonians is discussed and the numerical realization of the density-potential mapping is shown. We conclude by presenting an extension of the density-potential mapping to include vector-potentials and photons.

arXiv:1412.7052•Journal of Physics Condensed Matter•Apr 29, 2015•73 citations

Global fixed-point proof of time-dependent density-functional theory

Michael Ruggenthaler, Robert van Leeuwen

We reformulate the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed-point question for potentials on a given time interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v -representability of a density, can be proven as well provided that the operator norms of the response functions of the members of the iterative sequence of potentials have an upper bound. The densities under consideration have second time-derivatives that are required to satisfy a condition slightly weaker than being square-integrable. This approach avoids the usual restrictions of Taylor-expandability in time of the uniqueness theorem by Runge and Gross ( Phys. Rev. Lett. , 52 (1984) 997 ) and of the existence theorem by van Leeuwen ( Phys. Rev. Lett. , 82 (1999) 3863 ). Owing to its generality, the proof not only answers basic questions in density-functional theory but also has potential implications in other fields of physics.

arXiv:1011.3375•Europhysics Letters (EPL)•Jun 15, 2011•63 citations

Density-potential mappings in quantum dynamics

Michael Ruggenthaler, Klaas J. H. Giesbertz, Markus Penz +1 more

In a recent paper [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed-point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density-functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case because it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that, in the most physically relevant cases, the fixed-point procedure converges. This is further demonstrated with an example.

arXiv:1203.5894•Physical Review A•May 9, 2012•31 citations
We investigate the existence and properties of effective potentials in time-dependent density functional theory. We outline conditions for a general solution of the corresponding Sturm–Liouville boundary value problems. We define the set of potentials and v -representable densities, give a proof of existence of the effective potentials under certain restrictions and show the set of v -representable densities to be independent of the interaction.
Time-dependent density functional theory (TDDFT) for quantum many-body systems on a lattice is formulated rigorously. We prove the uniqueness of the density-to-potential mapping and demonstrate that a given density is vvv representable if the initial many-body state and the density satisfy certain well-defined conditions. In particular, we show that for a system evolving from its ground state any density with a continuous second time derivative is locally in time vvv representable and therefore the lattice TDDFT is guaranteed to exist. The TDDFT existence and uniqueness theorem is valid for any connected lattice, independently of its size, geometry, and/or spatial dimensionality. General statements of the existence theorem are illustrated on a pedagogical exactly solvable example, which displays all the details and subtleties of the proof in a transparent form. In conclusion we briefly discuss remaining open problems and directions for future research.
In this work we review the mapping from densities to potentials in quantum mechanics, which is the basic building block of time-dependent density-functional theory and the Kohn-Sham construction. We first present detailed conditions such that a mapping from potentials to densities is defined by solving the time-dependent Schrödinger equation. We specifically discuss intricacies connected with the unboundedness of the Hamiltonian and derive the local-force equation. This equation is then used to set up an iterative sequence that determines a potential that generates a specified density via time propagation of an initial state. This fixed-point procedure needs the invertibility of a certain Sturm-Liouville problem, which we discuss for different situations. Based on these considerations we then present a discussion of the famous Runge-Gross theorem which provides a density-potential mapping for time-analytic potentials. Further we give conditions such that the general fixed-point approach is well-defined and converges under certain assumptions. Then the application of such a fixed-point procedure to lattice Hamiltonians is discussed and the numerical realization of the density-potential mapping is shown. We conclude by presenting an extension of the density-potential mapping to include vector-potentials and photons.
We reformulate the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed-point question for potentials on a given time interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v -representability of a density, can be proven as well provided that the operator norms of the response functions of the members of the iterative sequence of potentials have an upper bound. The densities under consideration have second time-derivatives that are required to satisfy a condition slightly weaker than being square-integrable. This approach avoids the usual restrictions of Taylor-expandability in time of the uniqueness theorem by Runge and Gross ( Phys. Rev. Lett. , 52 (1984) 997 ) and of the existence theorem by van Leeuwen ( Phys. Rev. Lett. , 82 (1999) 3863 ). Owing to its generality, the proof not only answers basic questions in density-functional theory but also has potential implications in other fields of physics.
In a recent paper [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed-point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density-functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case because it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that, in the most physically relevant cases, the fixed-point procedure converges. This is further demonstrated with an example.