Time-dependent density-functional theory (TDDFT) is aquantum mechanical theory used in physics and chemistry to investigate the properties anddynamics of many-body systems in the presence of time-dependent potentials, such aselectric ormagnetic fields. The effect of such fields on molecules and solids can be studied with TDDFT to extract features likeexcitation energies, frequency-dependent response properties, andphotoabsorption spectra.
TDDFT is an extension ofdensity-functional theory (DFT), and the conceptual and computational foundations are analogous – to show that the (time-dependent)wave function is equivalent to the (time-dependent)electronic density, and then to derive the effective potential of a fictitious non-interacting system which returns the same density as any given interacting system. The issue of constructing such a system is more complex for TDDFT, most notably because the time-dependent effective potential at any given instant depends on the value of the density at all previous times. Consequently, the development of time-dependent approximations for the implementation of TDDFT is behind that of DFT, with applications routinely ignoring this memory requirement.
The formal foundation of TDDFT is theRunge–Gross (RG) theorem (1984)[1] – the time-dependent analogue of the Hohenberg–Kohn (HK) theorem (1964).[2] The RG theorem shows that, for a given initial wavefunction, there is a unique mapping between the time-dependent external potential of a system and its time-dependent density. This implies that the many-body wavefunction, depending upon 3N variables, is equivalent to the density, which depends upon only 3, and that all properties of a system can thus be determined from knowledge of the density alone. Unlike in DFT, there is no general minimization principle in time-dependent quantum mechanics. Consequently, the proof of the RG theorem is more involved than the HK theorem.
Given the RG theorem, the next step in developing a computationally useful method is to determine the fictitious non-interacting system which has the same density as the physical (interacting) system of interest. As in DFT, this is called the (time-dependent) Kohn–Sham system. This system is formally found as thestationary point of anaction functional defined in theKeldysh formalism.[3]
The most popular application of TDDFT is in the calculation of the energies of excited states of isolated systems and, less commonly, solids. Such calculations are based on the fact that the linear response function – that is, how the electron density changes when the external potential changes – has poles at the exact excitation energies of a system. Such calculations require, in addition to the exchange-correlation potential, the exchange-correlation kernel – thefunctional derivative of the exchange-correlation potential with respect to the density.[4][5]
The approach of Runge and Gross considers a single-component system in the presence of a time-dependentscalar field for which theHamiltonian takes the form
whereT is the kinetic energy operator,W the electron-electron interaction, andVext(t) the external potential which along with the number of electrons defines the system. Nominally, the external potential contains the electrons' interaction with the nuclei of the system. For non-trivial time-dependence, an additional explicitly time-dependent potential is present which can arise, for example, from a time-dependent electric or magnetic field. The many-body wavefunction evolves according to thetime-dependent Schrödinger equation under a singleinitial condition,
Employing the Schrödinger equation as its starting point, the Runge–Gross theorem shows that at any time, the density uniquely determines the external potential. This is done in two steps:
For a given interaction potential, the RG theorem shows that the external potential uniquely determines the density. The Kohn–Sham approaches chooses a non-interacting system (that for which the interaction potential is zero) in which to form the density that is equal to the interacting system. The advantage of doing so lies in the ease in which non-interacting systems can be solved – the wave function of a non-interacting system can be represented as aSlater determinant of single-particleorbitals, each of which are determined by a singlepartial differential equation in three variable – and that the kinetic energy of a non-interacting system can be expressed exactly in terms of those orbitals. The problem is thus to determine a potential, denoted asvs(r,t) orvKS(r,t), that determines a non-interacting Hamiltonian,Hs,
which in turn determines a determinantal wave function
which is constructed in terms of a set ofN orbitals which obey the equation,
and generate a time-dependent density
such thatρs is equal to the density of the interacting system at all times:
Note that in the expression of density above, the summation is overall Kohn–Sham orbitals and is the time-dependent occupation number for orbital. If the potentialvs(r,t) can be determined, or at the least well-approximated, then the original Schrödinger equation, a single partial differential equation in 3N variables, has been replaced byN differential equations in 3 dimensions, each differing only in the initial condition.
The problem of determining approximations to the Kohn–Sham potential is challenging. Analogously to DFT, the time-dependent KS potential is decomposed to extract the external potential of the system and the time-dependent Coulomb interaction,vJ. The remaining component is the exchange-correlation potential:
In their seminal paper, Runge and Gross approached the definition of the KS potential through an action-based argument starting from theDirac action
Treated as a functional of the wave function,A[Ψ], variations of the wave function yield the many-body Schrödinger equation as the stationary point. Given the unique mapping between densities and wave function, Runge and Gross then treated the Dirac action as a density functional,
and derived a formal expression for the exchange-correlation component of the action, which determines the exchange-correlation potential by functional differentiation. Later it was observed that an approach based on the Dirac action yields paradoxical conclusions when considering the causality of the response functions it generates.[6] The density response function, the functional derivative of the density with respect to the external potential, should be causal: a change in the potential at a given time can not affect the density at earlier times. The response functions from the Dirac action however are symmetric in time so lack the requiredcausal structure. An approach which does not suffer from this issue was later introduced through an action based on theKeldysh formalism of complex-time path integration. An alternative resolution of the causality paradox through a refinement of the action principlein real time has been recently proposed byVignale.[7]
Linear-response TDDFT can be used if the external perturbation is small in the sense that it does not completely destroy the ground-state structure of the system. In this case one can analyze the linear response of the system. This is a great advantage as, to first order, the variation of the system will depend only on the ground-state wave-function so that we can simply use all the properties of DFT.
Consider a small time-dependent external perturbation.This gives
and looking at the linear response of the density
whereHere and in the following it is assumed that primed variables are integrated.
Within the linear-response domain, the variation of the Hartree (H) and the exchange-correlation (xc) potential to linear order may be expanded with respect to the density variation
and
Finally, inserting this relation in the response equation for the KS system and comparingthe resultant equation with the response equation for thephysical system yields the Dysonequation of TDDFT:
From this last equation it is possible to derive the excitation energies of the system, as these are simply the poles of the response function.
Other linear-response approaches include the Casida formalism (an expansion in electron-hole pairs) and the Sternheimer equation (density-functional perturbation theory).