HAL Id: jpa-00208255
https://hal.archives-ouvertes.fr/jpa-00208255
Submitted on 1 Jan 1975
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire
HAL, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
On the use of Liouville relaxation supermatrices in Mössbauer studies
F. Hartmann-Boutron, D. Spanjaard
To cite this version:
F. Hartmann-Boutron, D. Spanjaard. On the use of Liouville relaxation supermatrices in Mössbauer
studies. Journal de Physique, 1975, 36 (4), pp.307-314. �10.1051/jphys:01975003604030700�. �jpa-
00208255�
ON THE USE OF LIOUVILLE RELAXATION
SUPERMATRICES IN MÖSSBAUER STUDIES
F. HARTMANN-BOUTRON and D. SPANJAARD
Laboratoire de
Physique
desSolides,
UniversitéParis-Sud,
91405Orsay,
France(Reçu
le 22 novembre1974)
Résumé. 2014 Dans une publication antérieure
(F.
Gonzalez-Jimenez, P. Imbert et F. Hartmann- Boutron, Phys. Rev. B 9 (1974),95),
nous avions exprimé la forme de raie Mössbauer en présencede relaxation, en fonction d’une certaine supermatrice de relaxation R. Dans le présent article,
nous établissons une expression rigoureuse de R qui est valable quelle que soit la température, et
nous relions R à la supermatrice de relaxation S qui caractérise la relaxation de la matrice densité 03C3 de l’atome radioactif. Nous examinons ensuite le problème général des moyennes sur le réseau dans le calcul des effets de relaxation thermique, et à titre d’exemple nous établissons l’expression de
la forme de raie Mössbauer d’un émetteur.
Abstract. 2014 In a previous paper
(F.
Gonzalez-Jimenez, P. Imbert and F. Hartmann-Boutron, Phys. Rev. B 9(1974), 95),
we have related the Mössbauer spectrum in the presence of relaxation toa certain relaxation supermatrix R. In this paper we derive a rigourous expression of R which is
valid at arbitrary temperatures and we relate it to the relaxation supermatrix S which characterizes the relaxation of the density matrix 03C3 of the radioactive atom. We then discuss the
general problem
of lattice
averaging
in the computation of relaxation effects and as an illustration, we derive the expression for the Mössbauer lineshape of an emitter.Classification Physics Abstracts
4.200 - 8.610 - 8.680
Introduction. - In this paper, we want to revise
slightly
one of the results of ref.[1]
i. e : the definitionof the relaxation
supermatrix R
associated withM,
which comes intoplay
in eq.(16)
and(23)
of[1] and
whose elements are defined
by
footnote(7)
of[1].
We will show here that the
supermatrix R
must bethe
transposed
matrix of the relaxationsupermatrix S
associated with the
density
matrix 6 of the radioactive atom.Explicit expressions
of S and R are then derived and arecompared
with the resultsof previous
theories.Finally,
in view of futureapplications
to Môssbauertransmission and
scattering
wegive
somegeneral
rules for
performing
lattice averages in relaxationproblems.
1. Liouville évolution
superoperators
for an isolatedatom without relaxation. - Let us first assume that
we have an isolated atom described
by
acomplete
orthonormal set of
functions 1 a ), 1 b ), 1 c), 1 d)
and whose evolution is
govemed by
a hamiltonianJeo [1].
The relevant evolution operatorUo(t)
is :In terms of this operator the time
dependence
of thedensity
matrix a of this atom in theSchrôdinger
representation
is :with :
where Xxo
is the Liouville superoperator[1]
asso-ciated with the hamiltonian
Ho.
On the other
hand,
in theHeisenberg representation
the time
dependence
of an atomicobservable Q
is :with : ’
In
explicit
form :Article published online by EDP Sciences and available at http://dx.doi.org/10.1051/jphys:01975003604030700
308
From this it follows that :
i. e. the Liouville matrix associated with
°’11o(t)
is thecomplex conjugate
of thetransposed
matrix of theLiouville matrix
corresponding
toCU o(t).
2. Standard treatment of relaxation. - We must now consider the case where the atom is
coupled
to a quantum bath
by
a relaxation hamiltonianH1,
the hamiltonian of the bath and itseigenstates being
denoted
respectively by XB
andby 1 r >, 1 r’ >.
The standard
approach
to relaxation effects[2, 3]
consists in
calculating
the relaxation of thedensity
matrix u of the atom. For
this,
one first derives theequation
of motion of the totaldensity
matrix 0 of the atomplus
the bath in the interactionrepresenta-
tion[3].
Let us define :The
equation
of evolution of 0* is :This
equation
isintegrated by
successiveapproxi-
mations
([2] chap.
VIII eq.(32)
and(60)) :
It is then admitted that since the heat
capacity
of thelattice is very
large,
thedensity
matrix 0 can be facto-rized as :
where po is the Boltzmann
density
matrix of the lattice.Further
approximations
which are discussedby Abragam ([2] chap.
VIII p.276) finally
lead to thewell-known master
equation :
We must now translate these results into terms for the evolution
superoperators.
3. General
properties
of the évolution superoperators in the présence of relaxation. - From the total hamil- tonian of the system atom + bathwe can construct the evolution
operator :
In order to transform to the interaction
representation
one may write
[4] :
-
Il - il 1 - 1
with :
and U’
being
the solution of theequation :
In terms of U the evolution of the total
density
matrix 0 is :
or
alternatively
in thé interactionrepresentation :
This
equation
isequivalent
to eq.(12) (see
also[2]
chap.
VIII eq.(30)).
We may thereforeperform
thefactorization of 0* and then take the average over the lattice variables. We obtain :
or, after
going
back to the normalrepresentation :
(this equation
could also be obtainedby performing
the factorization of 0
directly
in eq.(19)
but we findthis method less
convincing).
We shall define
’BJ(t) by :
’BJ(t)
will be the evolution superoperator of J in the presence of relaxation.Eq. (23) gives
us anexpression
of
V(t)
in the form of a lattice average.On the other hand in the interaction
representation,
the average value of an atomic
variable Q
is :which,
afterusing
eq.(21)
and the invariance of the trace under circularpermutation
may be cast into the form :In the normal
representation
we also have that :(28)
with :
We shall define :
flL(t) being given by
eq.(29). Using
thisequation
and eq.
(23)
inexplicit
form it is easy to show(by rearrangement
of the latticeindices)
that :which is identical to the relation
(8) already
derivedin the absence of relaxation.
As is well known the
general
solution of the eq.(14)
of evolution of the
density
matrix has theform,
in thenormal
representation :
S
being
a relaxation matrix which will bespecified
below. It follows that :
and,
after relation(31) :
where R is the
transposed supermatrix
of the(real) supermatrix S :
Notice that once S or R has been
determined,
we maycompute
theproperties
of the atom as if there wereno
lattice ; simply we
musteverywhere replace ctto(t)
and
’U o(t) by flL(t)
and’U(t) (details
of theprocedure
are
given
inAppendix I).
In other words the
practical
effect of relaxation is to add adissipative
term to the atomic Liouville hamil- tonian.It is also worthwhile
mentioning
that if 6 = UB, Boltzmanndensity
matrixcorresponding
toJeo,
wehave the
identity :
We shall now
apply
these results to the case consi- dered in ref.[1].
4.
Application
to relaxation effects in Môssbauer spectra[1] [6].
- Let us consider a Môssbauer emit- ter with a Môssbauer excited state 1 andcorresponding
electronuclear
kets 1 f >
and with a Môssbauerground
state
Ig
andcorresponding kets 1 g ).
In the
Appendix
of[5]
we havecomputed
theMôssbauer
intensity I(cv)
emittedby
apowder
source, under theassumption
that state 1 is fedby
a radio-active transition from an upper nuclear state
I;.
Thiswas achieved
by
firstperforming
acomplete
calcula-tion of the radioactive cascade in the interaction
representation
withrespect
to the radiativecoupling
and then
going
back to theSchrôdinger
represen- tation. The final result of the calculation is repre- sentedby
eq.(AI)
of[5].
The formula relative toa
powder
source isreadily
deduced from this equa- tionby averaging
over02
CP2(which
introducesa Kronecker
symbol bM2M2 ).
Let us first consider the case where there is no
relaxation. Then
[5] :
where T is the inverse nuclear
lifetime,
M is the nuclear electric ormagnetic multipole
moment which induces the Môssbauertransition,
ando1n(t")
is thedensity
matrix of state I
just
afterfeeding by
radioactivedecay
of the upper state
I;
at time t"(in practice
it is inde-pendent
oft").
Let us set : t’ = t - i’ and t" = t’ - 7:".’ Then :
or in compact form :
where we have introduced the operators :
310
Let us now write the trace in eq.
(37)
inexplicit
formbefore
introducing
the Liouville evolution super- operators :After the definition of
Vo,
eq.(6),
the bracket isequal
to :Let us now introduce relaxation. In the
preceding paragraph
we have shown that in the presence of relaxationvo
must bereplaced by v.
After substi-tuting
eq.(33)
into(43), using
eq.(31)
and(34),
report-ing
into(42)
andperforming
the double timeintegral
we
finally
obtain :i. e. eq.
(9)
of ref.[6].
In the case where the
temperature
ishigh compared
to the level
spacing
in the excited Môssbauer state, itsdensity
matrix remainsalways equal
to the unitmatrix and the second
parenthesis
may bereplaced by ôfl f3
We then obtain theexpression
for thehigh
temperature spectrum :
This
expression
wasalready
derived in ref.[1]
but thesupermatrix R
as defined in footnote(7)
of this refe-rence was in
reality S
and notST
as itought
to be(notice
however that athigh temperature S = ST
= Rand that this condition is fulfilled in the
practical example
worked out in ref.[1]).
Our error arose fromthe fact that we calculated
directly
the relaxation ofpM
instead ofproceeding
to a fullanalysis
of theproblem.
Let us now consider the structure of the relaxation matrices S and R. Let 6 be the
density
matrix for the total set of states associated with both the excited and theground
nuclear states 1 andIg.
In terms ofprojection operators Pl
andPIs
one may write :The evolution
operator U,
eq.(15),
which does not contain radiativecouplings (see
the definitionof Jeo
in
[1 ])
has no matrix element8 between 1 andIg.
There-fore
by
virtue of eq.(23)
each of the matrices in the R.H.S. of eq.(46)
iscoupled only
with itself. Conse-quently,
the relaxationsupermatrix
S factorizes into the submatrices :The
physical meaning
ofull
and(II 1 S II)
is obvious.These are the
density
matrix of state 1 and the associated relaxation matrix. As concernsuIlg
it isusually
zero but it becomestemporarily
excitedduring
the émission of the y ray, since the two nuclear states 1 and
Ig
arecoupled by
the transition operator M. The relaxation matrix which characterizes the relaxation of M isclearly :
Consequently
in the firstparenthesis
of eq.(44)
Rreduces to the submatrix
(Ig 1 1 su 1 Ig I)
while in thesecond
parenthesis, S
reduces to(II 1 s II).
Let us now
give
theexplicit expression
for S. Weassume that JC1 has the same form and
properties
asin ref.
[1] :
:a 1 = L Kq
F4.Starting
from eq.(14)
q
one
expands
the double commutator and introduces lattice correlation functions :where :
,
Finally
when all calculations arecompleted,
itturns out that the
equation
of evolution of a has the form of eq.(32)
with a relaxationsupermatrix S given
by :
Notice that if we associate with
Jet
a Liouville ope- rator(JC*)’, Sd,&-
can also be obtained from the for- mula :1
where r,
r’,
rl, r2 represent thedegrees
of freedom of the lattice.We have demonstrated above that the relaxation matrix R relative
to Q
is thetransposed
matrix of S.Using
thisresult,
let us calculate the relaxationequation of Q
in the case whereQ only
hasdiagonal
matrix elements :
This
equation
shows that in this case the sum of the elements of a row of R is zero.This result is
satisfactory
in connection with aproblem
which we have beenconsidering recently,
that of the Môssbauer
lineshape
of anYb170
trivalention in the presence of relaxation between two electro- nic Kramers doublets
[7].
If we assume that thehyper-
fine structure in each doublet is
completely
anisotro-pic,
of the typeAlz Sz
+P(3 I’ - I(I
+1)), (this being
anexample
of adiagonal Q),
ourapproach
to the
problem
should beequivalent
to the old sto-chastic
approach [8].
This means that the relaxation matrix R must reduce to a Markov matrix. But anessential
property
of such a matrix is that the sum of the elements of one row is zero. As anexample,
whenthe
system jumps
between twofrequencies
whichare not
equally probable :
This is how we discovered that one should have R =
ST..
5.
Comparison
with Hirst’s relaxationéquation
andMôssbauer
lineshape.
- It is worthmentioning
thatthe value of R which can bè deduced from eq.
(51), (35)
is still different from that associated with the eq.(4)
of Hirst’sPaper [9].
Indeed
using
eq.(30), (34), (35), (51)
of thepresent
paper it is
possible
to show that theequation
of motionof an
operator
M in the normalrepresentation
is :In our
opinion
the reason for the differences between thisequation
and Hirst’sequation (which
are espe-cially appearant
in the correlation functions of the first and fourth relaxationterms)
is thefollowing.
As a function
of H*(t)
the evolution operator U’in the interaction
représentation
isgiven by :
The exact
expression
for the derivative of 7* in the interactionrepresentation
is(see
eq.(21)) :
where in the
expression
ofU’,
to = 0.The master eq.
(14)
for Q* amounts toapproximat- ing
thisequation by :
where now to = - oo .
Let us use the same
approximation
to derive anequation
of motion forQ *(t)
from eq.(27) :
312
Upon substituting expression (56)
of U’ in this equa- tion we arrive at(up
to second order inH1*) :
Notice that this
equation
differs from the relaxation eq.(14)
for 6* bothby
theposition
of po andby
theorder
of Je!(t - i) and Je!(t)
in the double commuta-tor. This is due to
the’
fact that inpassing
from U’to U’t the two time arguments t1
and t2
in the doubletime
integral of eq. (56)
are inverted. It may be checked that the eq.(60)
leads to a relaxation matrix R which is indeedequal
toST.
A further check is the
following.
Let us start fromthe
equation
derived from eq.(12) by
factorisation of thedensity
matrix0,
anddrop
the term linearin H*1
which we know would
disappear
at the end ofté
calculation. Then :
Let us consider
(by
definition ofQ *,
see eq.(27) ; Q *(0)
=Q).
After
rearrangement
of the trace this becomes :or
altematively
afterperforming
the standardapproximations :
in
complete
agreement with eq.(60) (compare
withref.
[2] chap. VIII,
eq.(44)).
On the other hand
according
to this author[10],
Hirst’s eq.
(3)
mustbe interpreted
as :For a quantum bath eq.
(60)
and(66)
areclearly
different
(since [Po, Je1] =1 0)
and this is the reasonfor the
discrepancy.
Notice that Hirst’s eq.(3)
is whatis obtained
by using
the method of successiveapproxi-
mations in the same way as for the
density matrix,
in order to solve an
equation
of the type :Our results
clearly
indicate that in the case of M*this method leads to an incorrect
handling
of the timevariables,
i. e. the past and the future are inverted.Incidentally
this conclusion is inagreement
with a remark formulated more than twenty years agoby
Gell-Mann and
Goldberger ([12]
eq.(3.13)
and(3.14)).
As a final
remark,
let us also mention that eq.(8)
of Hirst
[9]
for the Môssbauerlineshape
isonly
validfor emission from a
stationary
excited state.Indeed,
it is
clearly
stated in the text of[9]
that the row vec-tor W which enters into the
expression
forG(t)
p. 660 is timeindependent,
all the evolution in the excited statebeing
included in thequantity M(t).
Inreality,
formulae like eq.
(8)
of[9]
are welladapted
to thedescription
of slow passagelineshapes
in NMR or oflight absorption
from an atomicground
state. But asshown
by comparison
with our own results eq.(39)
and
(44) they
cannot describe radiation emission froma transient excited state in a
cascade,
unless Boltzmannequilibrium
in this state is achieved before emission(in
which case6(1/T )
in eq.(39)
can bereplaced by
theBoltzmann
density
matrix of levelI).
As a furtherproof,
let us recall that in[5]
we have checked thatby integration
of eq.(A .1 )
over 0153, we did recover theexpression
for the Nuclear Orientationsignal (eq. (A. 3))
as weought
to. In cascadesinvolving
, transient states, this N.0
signal
is a direct measure-ment of the
quantity u(1/r),
whose valuedepends
onrelaxation effects in this state. The nuclear
Korringa
relaxation time of
Ag109
in Fe at very lowtemperatures
hasalready
been determinedby
this method several years ago[13].
Note added in
proof.
- Notice that while Hirst’s formulas involveonly
onetime,
Blume has derivedan
expression
for the Môssbauerlineshape
whichcontains an
integration
over two times([14]
eq.(4)).
We have been able to show that this last
expression
is
exactly equivalent
to ourequations (37)-(39).
Wethank Dr. Blume for
calling
our attention to hiswork. ’
6. Conclusion. - In conclusion we feel that we have elaborated a consistent
description
of relaxationphenomena
within the frame of the Liouville forma- lism. The main results of this paper arerepresented by
eq.(33), (34), (35).
APPENDIX 1
We have demonstrated in the main text that
(for t > 0) :
and
These results show us how to
compute
lattice averagesinvolving
two operators U and Ut whosepositions
relative to po are
Up.
U t(and
circularpermutations).
Now we have
(for t
> to >0) :
On the other
hand,
after eq.(33) :
This
gives
us a rule fortaking
the lattice average ofproducts
ofoperators
U and ut of the type :and also of more
general products :
where
A, B, C,
D are atomicoperators.
As an
example :
Let us stress that this
breaking
of the lattice average is madepossible
bothby
the fact that eq.(A. 5)
contains successive ordered time intervals which are
long compared
to the memory of thelattice,
andby
the
exponential
form ofV(t),
eq.(A. 3).
Let us now
apply
these results to thecomputation
of atomic observables. In the absence of
relaxation,
a
physical
atomic observable is a trace overatomic
variables of aproduct :
In the presence of
relaxation,
one mustreplace Uo by U, r(0) by 0(0)
and the trace must involve both atomic and lattice variables. 0 is then factorized aspo Q,
leading
to a lattice average over aproduct
likeeq. (A. 5).
The standard method for
computing
theproperties
of the atom in the presence of relaxation should therefore be the
following :
1) Ignore
relaxation and express the atomic quan-tity
of interest as a trace over aproduct of operators Uo, Uô
and u(plus possibly
inserted atomicoperators).
2) Rearrange
the trace in such a way that all theUo
be on the left of 6 and all the
UÓ
on theright,
withpositive
time arguments(corresponding
tointegration variables)
ordered in the same way as in eq.(A. 5).
While
performing
therearrangement,
one may use transientUi
s withnegative arguments.
3)
Write the trace inexplicit form,
relate the matrix elements of theUO, UJ
toLiouville operators Vo.
Finally,
make the substitution’BJo -->
9Y. This is how eq.(43)
was derived in the main text.314
APPENDIX II
As shown
by
this paper, one must be very careful inderiving expressions
for the Môssbauerlineshape, although
at firstsight
theposition
andsign
of the time argument in the correlation function of M would seemof little
importance,
since one looks at the real partof a
complex
number. Acomplete analysis
of theemission process led us to the exact
expression (eq. (39)) :
Strickly speaking
thisexpression
is different from eq.(5) of [1]
and from eq.(8) of [6]
and shouldreplace
these
equations.
As concems ref.[6],
eq.(9)
of thispaper as well as
subsequent equations
were derivedfrom the correct
equation (7)
and are therefore correct.Eq. (1)
of[6]
is also correct.On the contrary, eq.
(15)
of ref.[1]
differs from eq.(45)
of the present paper in that the orderof f and g
in the Liouville kets is inverted
(this
has the effect ofchanging
thesigns
of theenergies). However,
in eq.
(72)
of[1]
there was aninterchange of f and g
in
going
from the left hand side to theright
hand side.It follows that all
equations following
eq.(72)
areentirely
correct. Notice that eq.(45)
of the present paper agrees with eq.(27)
of Clauser and Blume[11].
References
[1] GONZALEZ-JIMENEZ, F., IMBERT, P., HARTMANN-BOUTRON, F., Phys. Rev. B 9 (1974) 95.
[2] ABRAGAM, A., The principles of Nuclear Magnetism (Oxford University Press) 1961, Chap. VIII.
[3] WANGSNESS, R. K., BLOCH, F., Phys. Rev. 89 (1953) 728.
[4] MESSIAH, A., Mécanique Quantique, tome I (Dunod) 1962, Chap. VIII, § 14.
[5] HARTMANN-BOUTRON, F., SPANJAARD, D., J. Physique 33 (1972) 285.
[6] HARTMANN-BOUTRON, F., Phys. Rev. B 10 (1974) 2113.
[7] CHOPIN, C., HARTMANN-BOUTRON, F., SPANJAARD, D., Communication to the International Conference on the
Applications of the Mössbauer Effect. Bendor (France)
Sept. 1974, to be published in J. Physique Colloq. 35
(1974) C 6-433.
[8] See Chap. X of ref. [2], eq. (53), p. 448.
[9] HIRST, L. L., J. Phys. & Chem. Solids 31 (1970) 655. According
to the author, in eq. (4) of the article the frequency argu- ments of the four spectral densities should be reversed.
In
addition Jq
should be replaced by J-q in the last twoterms (HIRST, L. L., private communication).
[10] HIRST, L. L., private communication.
[11] CLAUSER, M. J., BLUME, M., Phys. Rev. B 3 (1971) 583.
[12] GELL-MANN, M., GOLDBERGER, M. L., Phys. Rev. 91 (1953) 398.
[13] STONE, N. J., FOX, R. A., HARTMANN-BOUTRON, F., SPANJAARD, D., J. Physique Colloq. 32 (1971) C 1-897.
[14] BLUME, M., Hyperfine structure and nuclear radiations, Eds.
E. Matthias, D. A. Shirley (North Holland) 1968, p. 911.