Runge–Gross theorem

In quantum mechanics, specifically time-dependent density functional theory, the RungeGross theorem (RG theorem) shows that for a many-body system evolving from a given initial wavefunction, there exists a one-to-one mapping between the potential (or potentials) in which the system evolves and the density (or densities) of the system. The potentials under which the theorem holds are defined up to an additive purely time-dependent function: such functions only change the phase of the wavefunction and leave the density invariant. Most often the RG theorem is applied to molecular systems where the electronic density, ρ(r,t) changes in response to an external scalar potential, v(r,t), such as a time-varying electric field.[1]

The RungeGross theorem provides the formal foundation of time-dependent density functional theory. It shows that the density can be used as the fundamental variable in describing quantum many-body systems in place of the wavefunction, and that all properties of the system are functionals of the density.

The theorem was published by Erich Runge and Eberhard K. U. Gross in 1984.[2] As of January 2011, the original paper has been cited over 1,700 times.[3]

Overview

The RungeGross theorem was originally derived for electrons moving in a scalar external field.[2] Given such a field denoted by v and the number of electron, N, which together determine a Hamiltonian Hv, and an initial condition on the wavefunction Ψ(t = t0) = Ψ0, the evolution of the wavefunction is determined by the Schrödinger equation

At any given time, the N-electron wavefunction, which depends upon 3N spatial and N spin coordinates, determines the electronic density through integration as

Two external potentials differing only by an additive time-dependent, spatially independent, function, c(t), give rise to wavefunctions differing only by a phase factor exp(-ic(t)), and therefore the same electronic density. These constructions provide a mapping from an external potential to the electronic density:

The RungeGross theorem shows that this mapping is invertible, modulo c(t). Equivalently, that the density is a functional of the external potential and of the initial wavefunction on the space of potentials differing by more than the addition of c(t):

Proof

Given two scalar potentials denoted as v(r,t) and v'(r,t), which differ by more than an additive purely time-dependent term, the proof follows by showing that the density corresponding to each of the two scalar potentials, obtained by solving the Schrödinger equation, differ.

The proof relies heavily on the assumption that the external potential can be expanded in a Taylor series about the initial time. The proof also assumes that the density vanishes at infinity, making it valid only for finite systems.

The RungeGross proof first shows that there is a one-to-one mapping between external potentials and current densities by invoking the Heisenberg equation of motion for the current density so as to relate time-derivatives of the current density to spatial derivatives of the external potential. Given this result, the continuity equation is used in a second step to relate time-derivatives of the electronic density to time-derivatives of the external potential.

The assumption that the two potentials differ by more than an additive spatially independent term, and are expandable in a Taylor series, means that there exists an integer k  0, such that

is not constant in space. This condition is used throughout the argument.

Step 1

From the Heisenberg equation of motion, the time evolution of the current density, j(r,t), under the external potential v(r,t) which determines the Hamiltonian Hv, is

Introducing two potentials v and v', differing by more than an additive spatially constant term, and their corresponding current densities j and j', the Heisenberg equation implies

The final line shows that if the two scalar potentials differ at the initial time by more than a spatially independent function, then the current densities that the potentials generate will differ infinitesimally after t0. If the two potentials do not differ at t0, but uk(r)  0 for some value of k, then repeated application of the Heisenberg equation shows that

ensuring the current densities will differ from zero infinitesimally after t0.

Step 2

The electronic density and current density are related by a continuity equation of the form

Repeated application of the continuity equation to the difference of the densities ρ and ρ', and current densities j and j', yields

The two densities will then differ if the right-hand side (RHS) is non-zero for some value of k. The non-vanishing of the RHS follows by a reductio ad absurdum argument. Assuming, contrary to our desired outcome, that

integrate over all space and apply Green's theorem.

The second term is a surface integral over an infinite sphere. Assuming that the density is zero at infinity (in finite systems, the density decays to zero exponentially) and that uk2(r) increases slower than the density decays,[4] the surface integral vanishes and, because of the non-negativity of the density,

implying that uk is a constant, contradicting the original assumption and completing the proof.

Extensions

The RungeGross proof is valid for pure electronic states in the presence of a scalar field. The first extension of the RG theorem was to time-dependent ensembles, which employed the Liouville equation to relate the Hamiltonian and density matrix.[5] A proof of the RG theorem for multicomponent systemswhere more than one type of particle is treated within the full quantum theorywas introduced in 1986.[6] Incorporation of magnetic effects requires the introduction of a vector potential (A(r)) which together with the scalar potential uniquely determine the current density.[7][8] Time-dependent density functional theories of superconductivity were introduced in 1994 and 1995.[9][10] Here, scalar, vector, and pairing (D(t)) potentials map between current and anomalous (ΔIP(r,t)) densities.

References

  1. Marques, Miguel A. L.; Eberhard K. U. Gross (2003). Carlos Fiolhais; Fernando Nogueira; Miguel Marques, eds. Time-Dependent Density Functional Theory, in A Primer in Density Functional Theory. Springer. pp. 144151. ISBN 978-3-540-03083-6.
  2. 1 2 Runge, Erich; E. K. U. Gross (1984). "Density-Functional Theory for Time-Dependent Systems". Phys. Rev. Lett. 52 (12): 9971000. Bibcode:1984PhRvL..52..997R. doi:10.1103/PhysRevLett.52.997.
  3. ISI Web of Knowledge cited reference search, 7 January 2011.
  4. Dhara, Asish K.; Swapan K. Ghosh (1987). "Density-functional theory for time-dependent systems". Phys. Rev. A. 35 (1): 442444. Bibcode:1987PhRvA..35..442D. doi:10.1103/PhysRevA.35.442.
  5. Li, Tie-cheng; Pei-qing Tong (1985). "Hohenberg-Kohn theorem for time-dependent ensembles". Phys. Rev. A. 31 (3): 19501951. Bibcode:1985PhRvA..31.1950L. doi:10.1103/PhysRevA.31.1950.
  6. Li, Tie-Cheng; Pei-qing Tong (1986). "Time-dependent density-functional theory for multicomponent systems". Phys. Rev. A. 34 (1): 529532. Bibcode:1986PhRvA..34..529L. doi:10.1103/PhysRevA.34.529.
  7. Ghosh, Swapan K.; Asish K. Dhara (1988). "Density-functional theory of many-electron systems subjected to time-dependent electric and magnetic fields". Phys. Rev. A. 38 (3): 11491158. Bibcode:1988PhRvA..38.1149G. doi:10.1103/PhysRevA.38.1149.
  8. Vignale, Giovanni (2004). "Mapping from current densities to vector potentials in time-dependent current density functional theory". Phys. Rev. B. 70 (20): 201102. arXiv:cond-mat/0407682Freely accessible. Bibcode:2004PhRvB..70t1102V. doi:10.1103/PhysRevB.70.201102.
  9. Wacker, O. -J.; R. Kümmel; E. K. U. Gross (1994). "Time-Dependent Density-Functional Theory for Superconductors". Phys. Rev. Lett. 73 (21): 29152918. Bibcode:1994PhRvL..73.2915W. doi:10.1103/PhysRevLett.73.2915.
  10. Rajagopal, A. K.; F. A. Buot (1995). "Time-dependent functional theory for superconductors". Phys. Rev. B. 52 (9): 67696774. Bibcode:1995PhRvB..52.6769R. doi:10.1103/PhysRevB.52.6769.
This article is issued from Wikipedia - version of the 9/25/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.