Physics 219 Summary of Linear Response Theory

Download as pdf or txt
Download as pdf or txt
You are on page 1of 5

1

Physics 219 Summary of linear response theory


I. INTRODUCTION

We apply a small perturbation of strength f (t) which is switched on gradually (adiabatically) from t = , i.e. the amplitude of the perturbation grows as e t for 0+ . We assume that the perturbation couples to some operator of the system B, so the additional Hamiltonian due to the perturbation is H = e t f (t)B . (1)

For example, f (t) might be a time dependent magnetic eld and B the total magnetization of the system. We wish to compute the response of some operator of the system, A say, to the perturbation. (In many cases A will be the same as B but this is not always the case.) We shall just consider the linear response i.e. the response to rst order in the perturbation. We will show in class, see also Refs. [13], that
t

A(t) =

AB (t t )e t f (t ) dt ,

(2)

where

Since we dene AB (t) = 0 for t < 0 we can replace the upper limit in Eq. (2) by . The fact that there is no contribution in Eq. (2) for t > t reects causality, i.e. the perturbation at time t cannot eect the system at an earlier time t. We denote (equilibrium) averages in the absence of the pertubation by angular brackets , and averages in the presence of the perturbation by an overbar . It will also be convenient to dene a function AB (t) to be given by i AB (t) = [A(t), B(t )] , (4) h for all time. Frequently the perturbation is at a frequency , i.e. f (t) = f eit , in which case the system responds at the same frequency (at least to rst order in the perturbation) and we have A = AB ( + i )f , (5) where the complex Fourier transform is dened by

i [A(t), B(t )] h AB (t t ) = 0

(t > 0), (3) (t < 0).

AB (z) =
0

AB (t)eizt dt ,

(Im(z) > 0) ,

(6)

2 in which the condition on Im(z) is needed to ensure convergence of the integral at . We dene real and imaginary parts of the physical (i.e. z = + i ) response function by () and () respectively, i.e. AB ( + i ) = AB () + iAB () . (7)

If A and B are Hermitian (which they will be) then one can show that AB (t) (and hence also AB (t)) is real. Furthermore, if A and B have the same signature under time reversal (discussed in class), which will usually be the case, then AB (t) is an odd function of time. From now on we will assume that A and B are Hermitian and have the same signature under time reversal. Except where necessary, we will also omit the subscript AB on the linear response functions. It is convenient to dene a real frequency Fourier transform of (t) in the usual way,

() =

(t)eit dt.

(8)

Comparing Eq. (8) with Eq. (6), and noting that (t) and (t) are the same for t > 0 while (t) = 0, (t) = (t) for t < 0 we have () = 2i (). Fourier transforming back to time, and using Eq. (4) we see that (t) = 1 [A(t), B(t )] . 2 h (10) (9)

II.

ANALYTIC PROPERTIES OF THE LINEAR RESPONSE FUNCTION

It is convenient to also dene a linear response function (z) also for z in the lower half plane. It then turns out that (z) is an analytic function of z everywhere in the complex plane, except along the real axis. This can be seen from the spectral representation (z) = 1 2

J( ) d , z

(11)

where J() is called the spectral function and is usually real. Noting that 1 1 =P + i( ) , i where P denotes the principal part, we see from Eq. (11) that usually J() = 2 (), (= i()) , (13) (12)

so the spectral function is just (twice) the imaginary part of the response function. The last equality in Eq. (13) comes from Eq. (9). The same argument shows that usually ( i ) = () i () , (14)

so (z) has a branchcut along the real axis everywhere where () is non-zero, and the size of the discontinuity is 2i ().

FIG. 1: Contour in the complex frequency (z) plane used to derive the Kramers-Kronig relations. The radius of the outer semicircle tends to innity. The radius of the small semicircle about z = tends to zero. III. KRAMERS-KRONIG RELATIONS

In the previous section we showed that the linear response function (z) is an analytic function of complex frequency z in the upper-half plane because of causality. We now use this property to derive important relationships between the real and imaginary parts of ( + i) = () + i (), due to Kramers and Kronig. We evaluate (z) dz , (15) C z over the contour shown in Fig. (1). Because (z) is analytic inside the region of integration and the pole at z = is also excluded, the integral is 0. The contribution from the semicircle at innity vanishes if (z) 0 for z .[4] The integral along the real axis is a principal value integral, and the contribution from the semicircle is i times the residue at z = , i.e. i( + i) = i[ () + i ()]. Hence we have

( ) + i ( ) d i [ () + i ()] = 0 .

(16)

Equation real and imaginary parts gives the desired Kramers-Kronig relations: 1 () = P 1 () = P
IV.

( ) d , ( ) d .

(17)

(18)

FLUCTUATION DISSIPATION THEOREM

Let us denote the correlation function between A(t) and B(t ) by SAB (t t ), i.e. SAB (t t ) = A(t)B(t ) . (19)

4 On physical grounds it is clear that SAB only depends on the time dierence t t and it is easy to show this using the cyclic invariance of the trace. From Eq. (4) we see that the linear response functions are related to the correlation functions by AB (t) = i [SAB (t) SBA (t)] . h (20)

Fourier transforming and using Eq. (9) gives AB () = 1 [SAB () SBA ()] . 2 h (21)

The two correlation functions on the RHS of Eq. (21) are actually closely related. To see this let us write our the expression for SAB (t) in terms of eigenstates of the system, SAB (t) = so SAB () = Similarly SBA () = 2 h Z eEn
n m

1 Z

eEn
n m

n|A|m m|B|n exp[i(En Em )t/ ] , h

(22)

2 h Z

eEn
n m

n|A|m m|B|n (En Em + h) .

(23)

n|B|m m|A|n (En Em h) .

(24)

Interchanging n with m in the last expression gives SBA () = 2 h Z e(En Em ) eEn m|B|n n|A|m (En Em + h)
n,m

(25) (26)

= e

SAB ().

Substituting into Eq. (21) gives AB () = 1 h 1 e SAB () (FDT), 2 h (27)

which is known as the uctuation-dissipation theorem. (The word dissipation is used because is the dissaptive part of the response function, i.e. the rate of energy dissipation is proportional to .) Note that the classical limit corresponds to | | h 1, in which case the uctuation dissipation theorem becomes AB () = iSAB (), (28) where we used Eq. (9). Fourier transforming back to time, and remembering that (t) = (t) for t > 0 we have SAB (t) kB T AB (t) = , (classical FDT) , (29) t

5 where we used the fact that the Fourier transform of S(t)/t is iS(). If we integrate Eq. (29) from t = 0 to we get kB T AB ( = 0) = SAB (t = 0) SAB (t = ) . (30)

For t . the system will have lost the memory of its initial state and so we expect limt A(t)B(0) = A B . Hence Eq. (30) becomes kB T AB ( = 0) = AB A B , (31)

which is a special case of the classical FDT (met already in class) which is easily derived from equilibrium classical statistical mechanics.
V. CONCLUSION

In many body theory, the approach taken is to calculate the linear response function (often called a Greens function and dened with an overall minus sign) and then obtain the correlation functions from the uctuation-dissipation theorem.

[1] M. Plischke and B. Bergesen Equilibrium Statistical Mechanics [2] W. Marshall and S. W. Lovesey Theory of Thermal Neutron Scattering, Appendix B, Oxford University Press. [3] Zubarev, Sov. Phys. Uspekhi, 3, 320 (1960) [4] If (z) const. for z then (z) is replaced by (z) () in the integrand in Eq. (15) and in the subsequent results.

You might also like