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:1405.1647 · The Journal of Chemical Physics

Functional differentiability in time-dependent quantum mechanics

Markus Penz, Michael Ruggenthaler

Published Mar 28, 2015• 6 citations
arXivHTMLPDF

Abstract

In this work, we investigate the functional differentiability of the time-dependent many-body wave function and of derived quantities with respect to time-dependent potentials. For properly chosen Banach spaces of potentials and wave functions, Fréchet differentiability is proven. From this follows an estimate for the difference of two solutions to the time-dependent Schrödinger equation that evolve under the influence of different potentials. Such results can be applied directly to the one-particle density and to bounded operators, and present a rigorous formulation of non-equilibrium linear-response theory where the usual Lehmann representation of the linear-response kernel is not valid. Further, the Fréchet differentiability of the wave function provides a new route towards proving basic properties of time-dependent density-functional theory.

DOI
10.1063/1.4916390

Related papers

Functional variations in Schr\"odinger dynamics

Markus Penz, Michael Ruggenthaler

Variations of solutions to the Schr\odinger initial-value problem are studied. Differentiation is performed with respect to time-dependent, possibly unbounded scalar potentials. For properly chosen Banach spaces Fr\'echet differentiability is proven. This result yields a rigorous framework for non-equilibrium linear-response theory.

•May 7, 2014•0 citations

The Density-Potential Mapping in Quantum Dynamics

Markus Penz

This work studies in detail the possibility of defining a one-to-one mapping from charge densities as obtained by the time-dependent Schrödinger equation to external potentials. Such a mapping is provided by the Runge-Gross theorem and lies at the very core of time-dependent density functional theory. After introducing the necessary mathematical concepts, the usual mapping "there" - from potentials to wave functions as solutions to the Schrödinger equation - is revisited paying special attention to Sobolev regularity. This is scrutinised further when the question of functional differentiability of the solution with respect to the potential arises, a concept related to linear response theory. Finally, after a brief introduction to general density functional theory, the mapping "back again" - from densities to potentials thereby inverting the Schrödinger equation for a fixed initial state - is defined. Apart from utilising the original Runge-Gross proof this is achieved through a fixed-point procedure. Both approaches give rise to mathematical issues, previously unresolved, which however could be dealt with to some extent within the framework at hand.

arXiv:1610.05552•Oct 18, 2016•4 citations

Time-dependent quantum Green's functions

William C. Schieve, Lawrence Paul Horwitz

Introduction Mathematically, given a linear differential operator L x , one encounters the solution to the inhomogeneous differential equation Here ρ ( x ) is a given source function. For a given boundary condition, we assume a solution to exist. The solution can be reduced to a simpler problem. Let G ( x, y ) is the Green's function. This is a function of x with y a parameter. Take G ( x, y ) to satisfy the same boundary conditions as φ ( x ). Then since An example of L x is, of course, the Schrödinger operator We take ρ ( x ) = V ( x ) ψ ( x , t ), ψ ( x , t ) being the wave function and V ( x ) the potential operator. We are interested in Green's functions taken over from the techniques of quantum field theory (Schweber, 1961; Lifshitz and Petaevskii, 1981). We will concern ourselves particularly with one- and two-time Green's functions, since our principal interest is to show a connection to the calculations of linear response theory (Chapter 15) as well as to quantum kinetic equations. Then we wish to compare the methods with those described in Chapter 4. In this we will follow the work of L. P. Kadanoff and G. Baym (1962) and of L. V. Keldysh (1965) and also Zubarev (1974). We will not discuss equilibrium statistical mechanics utilizing Green's function techniques for many-body problems. The literature is exhaustive (see Abrikosov et al. , 1963; Fetter and Walecka, 1971). A good general introduction is the book by G. D. Mahan (2000). One- and two-time quantum Green's functions and their properties Let us introduce the creation operator ψ † ( r, t ) and annihilation operator ψ ( r, t ) of the second quantization formalism (see Schweber, 1961). They have the equal time commutation rules for Bose and Fermi particles: The Hamiltonian operator for the particles is and the number density of particles at r t is the operator Note that r = ( r 1 … r N ) for (1, 2, 3, …, N ) and V (| r − r ′|) is the pair potential depending, as in Chapter 4, on the scalar distance between the particles.

Cambridge University Press eBooks•Apr 16, 2009•0 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

Total time derivatives of operators in elementary quantum mechanics

Mark Andrews

The use of a total time derivative of operators, that depends on the time evolution of the wave function as well as on any intrinsic time dependence in the operators, simplifies the formal development of quantum mechanics and allows its development to more closely follow the corresponding development of classical mechanics. We illustrate the use of the total time derivative for a free particle, the linear potential, the harmonic oscillator, and the repulsive inverse square potential. In these cases, operators whose total time derivative is zero can be found and yield general properties of wave packets and several useful time-dependent solutions of Schrödinger’s equation, including the propagator.

American Journal of Physics•Mar 11, 2003•6 citations

Density-Potential Mapping in the Standard and Quantum Electrodynamical Time-Dependent Density Functional Theory

Mehdi Farzanehpour

This thesis is devoted to the formulation and implications of the time-dependent density functional theory (TDDFT). The work is divided into two main parts. In the first part we develop rigorous theorems for the density-potential mapping in quantum many-body systems on a lattice. We prove the uniqueness of the TDDFT map 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 v-representable. Then the lattice TDDFT formulation is extended to cover system of interacting lattice electrons strongly coupled to cavity photons.We prove that under some mathematical conditions the electron-photon wave function is a unique functional of the electronic density and the expectation value of the photonic coordinate. Then we further generalize the ground state v representability theorem to include the ground state of a general lattice electron-photon Hamiltonian.

•Jan 1, 2015•0 citations
In this work, we investigate the functional differentiability of the time-dependent many-body wave function and of derived quantities with respect to time-dependent potentials. For properly chosen Banach spaces of potentials and wave functions, Fréchet differentiability is proven. From this follows an estimate for the difference of two solutions to the time-dependent Schrödinger equation that evolve under the influence of different potentials. Such results can be applied directly to the one-particle density and to bounded operators, and present a rigorous formulation of non-equilibrium linear-response theory where the usual Lehmann representation of the linear-response kernel is not valid. Further, the Fréchet differentiability of the wave function provides a new route towards proving basic properties of time-dependent density-functional theory.
This work studies in detail the possibility of defining a one-to-one mapping from charge densities as obtained by the time-dependent Schrödinger equation to external potentials. Such a mapping is provided by the Runge-Gross theorem and lies at the very core of time-dependent density functional theory. After introducing the necessary mathematical concepts, the usual mapping "there" - from potentials to wave functions as solutions to the Schrödinger equation - is revisited paying special attention to Sobolev regularity. This is scrutinised further when the question of functional differentiability of the solution with respect to the potential arises, a concept related to linear response theory. Finally, after a brief introduction to general density functional theory, the mapping "back again" - from densities to potentials thereby inverting the Schrödinger equation for a fixed initial state - is defined. Apart from utilising the original Runge-Gross proof this is achieved through a fixed-point procedure. Both approaches give rise to mathematical issues, previously unresolved, which however could be dealt with to some extent within the framework at hand.
Introduction Mathematically, given a linear differential operator L x , one encounters the solution to the inhomogeneous differential equation Here ρ ( x ) is a given source function. For a given boundary condition, we assume a solution to exist. The solution can be reduced to a simpler problem. Let G ( x, y ) is the Green's function. This is a function of x with y a parameter. Take G ( x, y ) to satisfy the same boundary conditions as φ ( x ). Then since An example of L x is, of course, the Schrödinger operator We take ρ ( x ) = V ( x ) ψ ( x , t ), ψ ( x , t ) being the wave function and V ( x ) the potential operator. We are interested in Green's functions taken over from the techniques of quantum field theory (Schweber, 1961; Lifshitz and Petaevskii, 1981). We will concern ourselves particularly with one- and two-time Green's functions, since our principal interest is to show a connection to the calculations of linear response theory (Chapter 15) as well as to quantum kinetic equations. Then we wish to compare the methods with those described in Chapter 4. In this we will follow the work of L. P. Kadanoff and G. Baym (1962) and of L. V. Keldysh (1965) and also Zubarev (1974). We will not discuss equilibrium statistical mechanics utilizing Green's function techniques for many-body problems. The literature is exhaustive (see Abrikosov et al. , 1963; Fetter and Walecka, 1971). A good general introduction is the book by G. D. Mahan (2000). One- and two-time quantum Green's functions and their properties Let us introduce the creation operator ψ † ( r, t ) and annihilation operator ψ ( r, t ) of the second quantization formalism (see Schweber, 1961). They have the equal time commutation rules for Bose and Fermi particles: The Hamiltonian operator for the particles is and the number density of particles at r t is the operator Note that r = ( r 1 … r N ) for (1, 2, 3, …, N ) and V (| r − r ′|) is the pair potential depending, as in Chapter 4, on the scalar distance between the particles.
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.
The use of a total time derivative of operators, that depends on the time evolution of the wave function as well as on any intrinsic time dependence in the operators, simplifies the formal development of quantum mechanics and allows its development to more closely follow the corresponding development of classical mechanics. We illustrate the use of the total time derivative for a free particle, the linear potential, the harmonic oscillator, and the repulsive inverse square potential. In these cases, operators whose total time derivative is zero can be found and yield general properties of wave packets and several useful time-dependent solutions of Schrödinger’s equation, including the propagator.
This thesis is devoted to the formulation and implications of the time-dependent density functional theory (TDDFT). The work is divided into two main parts. In the first part we develop rigorous theorems for the density-potential mapping in quantum many-body systems on a lattice. We prove the uniqueness of the TDDFT map 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 v-representable. Then the lattice TDDFT formulation is extended to cover system of interacting lattice electrons strongly coupled to cavity photons.We prove that under some mathematical conditions the electron-photon wave function is a unique functional of the electronic density and the expectation value of the photonic coordinate. Then we further generalize the ground state v representability theorem to include the ground state of a general lattice electron-photon Hamiltonian.