Jump to content

User:EverettYou/Perturbation Theory

From Wikipedia, the free encyclopedia

This article is to be merged with Perturbation theory (quantum mechanics).

Quantum Mechanical Theory

[edit]

Hamiltonian and Force Operator

[edit]

From the differential geometric point of view, a parameterized Hamiltonian is considered as a function defined on the parameter manifold that maps each particular set of parameters to an Hermitian operator that acts on the Hilbert space. The parameters here can be external field, interaction strength, or driving parameters in the quantum phase transition. Let and be the nth eigenenergy and eigenstate of respectively. In the language of deferential geometry, the states form a vector bundle over the parameter manifold, on which derivatives of these states can be defined. The perturbation theory is to answer the following question: given and at a reference point , how to estimate the and at close to that reference point.

Without loss of generality, the coordinate system can be shifted, such that the reference point is set to be the origin. The following linearized model Hamiltonian is frequently used

If the parameters are considered as generalized coordinates, then should be identified as the generalized force operators related to those coordinates. Different indices label the different forces along different directions in the parameter manifold. For example, if denotes the external magnetic field in the -direction, then should be the magnetization in the same direction.

Perturbation as Power Series Expansion

[edit]

The validity of the perturbation theory lies on the adiabatic assumption, which assumes the eigenenergies and eigenstates of the Hamiltonian are smooth functions of parameters such that their values in the vicinity region can be calculated in power series (like Taylor expansion) of the parameters:

Here denotes the derivative with respect to . When applying to the state , it should be understood as the Lie derivative if the vector bundle is equipped with non-vanishing connection. All the terms on the right-hand-side of the series are evaluated at , e.g. and . This convention will be adopted in though out this section, that all functions without the parameter dependence explicitly stated are assumed to be evaluated at the origin. The power series may converge slowly or even not converging when the energy levels are close to each other. The adiabatic assumption breaks down when there is energy level degeneracy, and hence the perturbation theory is not applicable in that case.

Hellmann-Feynman Theorems

[edit]

The above power series expansion can be readily evaluated if there is a systematic approach to calculate the derivates to any order. Using the chain rule, the derivatives can be broken down to the single derivative on either the energy or the sate. The Hellmann-Feynman theorems are used to calculated these single derivatives. The first Hellmann-Feynman theorem gives the derivative of the energy,

The second Hellmann-Feynman theorem gives the derivative of the state (resolved by the complete basis with ),

The theorems can be simply derived by applying the differential operator to both sides of the Schrödinger equation , which reads

Then overlap with the state from left and make use of the Schrödinger equation again ,

Given that the states from a set of orthonormal basis , by rearranging the terms in the above equation, it is straight forward to prove both the Hellmann-Feynman theorems. With the differential rules given by the Hellmann-Feynman theorems, the perturbative correction to the energies and states can be calculated systematically.

Correction of Energy

[edit]

To the second order

Correction of State

[edit]

To the second order $$ |n(x^\mu)\rangle =|n\rangle +\sum _{m\neq n} \frac{\langle m|\partial_\mu H|n\rangle }{E_n-E_m}|m\rangle x^\mu$$

Effective Hamiltonian

[edit]

Let be the Hamiltonian completely restricted either in the low-energy subspace or in the high-energy subspace , such that there is no matrix element in connecting the low- and the high-energy subspaces, i.e. if . Let be the coupling terms connecting the subspaces. Then when the high energy degrees of freedoms are integrated out, the effective Hamiltonian in the low energy subspace reads

Here are restricted in the low energy subspace. The above result can be derived by power series expansion of .

Quantum Field Theory

[edit]

For finite temperature case, we calculate the correction to the free energy instead of the ground state energy.

Kernel, Free Energy and Propagator

[edit]

In quantum field theory, instead of Hamiltonian, an action is used to describe a model. In general, the action of a free field takes the bilinear form,

which involves the convolution with the action kernel . The action kernel can be for diffusive dynamics, or for wave dynamics. In any case, the free energy is given by

where for bosonic field and for fermionic field. The perturbation expansion of can be calculated in Taylor series term by term as long as we know how to take partial derivatives of the action kernel. Because the free energy involves the logarithm of , so after first order derivative, will appear in the formula. Therefore the propagator

is introduced to denote the inverse of the action kernel.

The free energy and the propagator in the quantum field theory take the role of the energy and the state in quantum mechanics respectively. So the goal of perturbation theory at the field theory level is to calculate the free energy and the propagator in power series, given the action kernel of the model.

The Derivative Formula

[edit]

Each term in the Taylor expansion involves evaluation of derivatives. The derivative formula for the propagator reads

This can be derived by starting from the identity , and take partial derivative on both sides

then the derivative formula is easily obtained by rearranging the terms.

The derivative of free energy to any order can be calculated by recursively using the derivative formula for the propagator. For example,

The expression grows complicated with the order quickly. For single variable, if the derivative of the Kernel is cut-off at the second order, i.e. , then the derivative of free energy has the following simple form

Free Energy Correction

[edit]

Then the correction of free energy for the single parameter perturbation can be obtained by plugging the derivative formula into the Taylor series,

and are respectively the free energy and the propagator evaluated at the origin of the perturbation parameter. The series may be formally expressed as a logarithm

Dynson's Equation and Self-Energy Correction

[edit]

Notice the relation between the free energy and the propagator . The above free energy correction implies

which is the Dynson's equation of the propagator,

One immediately identifies to be the bare self-energy, which becomes obvious from the fact that the Dynson's equation can be also obtained from the series expansion of as , with and , while carries the energy (action) dimension.

The Dynson's equation may be formally solved as

however the difficulty lies in the evaluation of the matrix inverse. A way to circumvent the inversion is to use perturbative expansion, such that

This leads to the definition of the self-energy, which follows form

meaning that the normal propagator is dressed from the bare propagator by the self-energy correction.

Effective Hamiltonian under Perturbation

[edit]

To obtain an effective Hamiltonian under perturbation, we can calculate the effective propagator by series expansion, then restore the Hamiltonian by .....

The bare self-energy stands for the perturbation (connecting low and high energy sectors), and contains the dynamics of both energy sectors independently. The resulting self-energy can then be projected to the low-energy subspace to produce the effective Hamiltonian.

The normal self-energy obtained by the above formula is a function of frequency . To obtain the effective correction near energy , the trick is to evaluate the following residue

This is a way to regularize around by taking the 0th order term in its Laurent series.

However, when the low-energy Hamiltonian is not trivially zero, we need to set to the low-energy Hamiltonian itself, and the effective Hamiltonian reads