Kubo formula

The Kubo formula, named for Ryogo Kubo, is an equation which expresses the linear response of an observable quantity due to a time-dependent perturbation.Among the numerous applications of linear response formula, one can mention charge and spin susceptibilities of, for instance, electron systems due to external electric or magnetic fields. Responses to external mechanical forces or vibrations can also be calculated using the very same formula. The Kubo formula, named for Ryogo Kubo, is an equation which expresses the linear response of an observable quantity due to a time-dependent perturbation.Among the numerous applications of linear response formula, one can mention charge and spin susceptibilities of, for instance, electron systems due to external electric or magnetic fields. Responses to external mechanical forces or vibrations can also be calculated using the very same formula. Consider a quantum system described by the (time independent) Hamiltonian H 0 {displaystyle H_{0}} . The expectation value of a physical quantity, described by the operator A ^ {displaystyle {hat {A}}} , can be evaluated as: where Z 0 = Tr [ ρ ^ 0 ] {displaystyle Z_{0}=operatorname {Tr} ,} is the partition function. Suppose now that just above some time t = t 0 {displaystyle t=t_{0}} an external perturbation is applied to the system. The perturbation is described by an additional time dependence in the Hamiltonian: H ^ ( t ) = H ^ 0 + V ^ ( t ) θ ( t − t 0 ) , {displaystyle {hat {H}}(t)={hat {H}}_{0}+{hat {V}}(t) heta (t-t_{0}),} where θ ( t ) {displaystyle heta (t)} is the Heaviside function ( = 1 for positive times, =0 otherwise) and V ^ ( t ) {displaystyle {hat {V}}(t)} is hermitian and defined for all t, so that H ^ ( t ) {displaystyle {hat {H}}(t)} has for positive t − t 0 {displaystyle t-t_{0}} again a complete set of real eigenvalues E n ( t ) . {displaystyle E_{n}(t).} But these eigenvalues may change with time. However, one can again find the time evolution of the density matrix ρ ^ ( t ) {displaystyle {hat { ho }}(t)} rsp. of the partition function Z ( t ) = Tr [ ρ ^ ( t ) ] , {displaystyle Z(t)=operatorname {Tr} ,,} to evaluate the expectation value of ⟨ A ^ ⟩ = Tr [ ρ ( t ) A ^ ] / Tr [ ρ ^ ( t ) ] . {displaystyle langle {hat {A}} angle =operatorname {Tr} ,/operatorname {Tr} ,.} The time dependence of the states | n ( t ) ⟩ {displaystyle |n(t) angle } is governed by the Schrödinger equation i ∂ t | n ( t ) ⟩ = H ^ ( t ) | n ( t ) ⟩ , {displaystyle ipartial _{t}|n(t) angle ={hat {H}}(t)|n(t) angle ,} which thus determines everything, corresponding of course to the Schrödinger picture. But since V ^ ( t ) {displaystyle {hat {V}}(t)} is to be regarded as a small perturbation, it is convenient to now use instead the interaction picture representation, | n ^ ( t ) ⟩ , {displaystyle |{hat {n}}(t) angle ,} in lowest nontrivial order. The time dependence in this representation is given by | n ( t ) ⟩ = e − i H ^ 0 t | n ^ ( t ) ⟩ = e − i H ^ 0 t U ^ ( t , t 0 ) | n ^ ( t 0 ) ⟩ , {displaystyle |n(t) angle =e^{-i{hat {H}}_{0}t}|{hat {n}}(t) angle =e^{-i{hat {H}}_{0}t}{hat {U}}(t,t_{0})|{hat {n}}(t_{0}) angle ,} where by definition for all t and t 0 {displaystyle t_{0}} it is: | n ^ ( t 0 ) ⟩ = e i H ^ 0 t 0 | n ( t 0 ) ⟩ {displaystyle |{hat {n}}(t_{0}) angle =e^{i{hat {H}}_{0}t_{0}}|n(t_{0}) angle } To linear order in V ^ ( t ) {displaystyle {hat {V}}(t)} , we have U ^ ( t , t 0 ) = 1 − i ∫ t 0 t d t ′ V ^ ( t ′ ) {displaystyle {hat {U}}(t,t_{0})=1-iint _{t_{0}}^{t}dt'{hat {V}}(t')} . Thus one obtains the expectation value of A ^ ( t ) {displaystyle {hat {A}}(t)} up to linear order in the perturbation. The brackets ⟨ ⟩ 0 {displaystyle langle angle _{0}} mean an equilibrium average with respect to the Hamiltonian H 0 . {displaystyle H_{0}.} Therefore, although the result is of first order in the perturbation, it involves only the zeroth-order eigenfunctions, which is usually the case in perturbation theory and moves away all complications which otherwise might arise for t > t 0 {displaystyle t>t_{0}} . The above expression is true for any kind of operators. (see also Second quantization)