From Wikipedia, the free encyclopedia
In quantum mechanics , a sum rule is a formula for transitions between energy levels, in which the sum of the transition strengths is expressed in a simple form. Sum rules are used to describe the properties of many physical systems, including solids, atoms, atomic nuclei, and nuclear constituents such as protons and neutrons.
The sum rules are derived from general principles, and are useful in situations where the behavior of individual energy levels is too complex to be described by a precise quantum-mechanical theory. In general, sum rules are derived by using Heisenberg 's quantum-mechanical algebra to construct operator equalities, which are then applied to the particles or energy levels of a system.
Assume that the Hamiltonian
H
^
{\displaystyle {\hat {H}}}
|
n
⟩
{\displaystyle |n\rangle }
E
n
{\displaystyle E_{n}}
H
^
|
n
⟩
=
E
n
|
n
⟩
.
{\displaystyle {\hat {H}}|n\rangle =E_{n}|n\rangle .}
For the Hermitian operator
A
^
{\displaystyle {\hat {A}}}
C
^
(
k
)
{\displaystyle {\hat {C}}^{(k)}}
C
^
(
0
)
≡
A
^
C
^
(
1
)
≡
[
H
^
,
A
^
]
=
H
^
A
^
−
A
^
H
^
C
^
(
k
)
≡
[
H
^
,
C
^
(
k
−
1
)
]
,
k
=
1
,
2
,
…
{\displaystyle {\begin{aligned}{\hat {C}}^{(0)}&\equiv {\hat {A}}\\{\hat {C}}^{(1)}&\equiv [{\hat {H}},{\hat {A}}]={\hat {H}}{\hat {A}}-{\hat {A}}{\hat {H}}\\{\hat {C}}^{(k)}&\equiv [{\hat {H}},{\hat {C}}^{(k-1)}],\ \ \ k=1,2,\ldots \end{aligned}}}
The operator
C
^
(
0
)
{\displaystyle {\hat {C}}^{(0)}}
A
^
{\displaystyle {\hat {A}}}
C
^
(
1
)
{\displaystyle {\hat {C}}^{(1)}}
(
C
^
(
1
)
)
†
=
(
H
^
A
^
)
†
−
(
A
^
H
^
)
†
=
A
^
H
^
−
H
^
A
^
=
−
C
^
(
1
)
.
{\displaystyle \left({\hat {C}}^{(1)}\right)^{\dagger }=({\hat {H}}{\hat {A}})^{\dagger }-({\hat {A}}{\hat {H}})^{\dagger }={\hat {A}}{\hat {H}}-{\hat {H}}{\hat {A}}=-{\hat {C}}^{(1)}.}
By induction one finds:
(
C
^
(
k
)
)
†
=
(
−
1
)
k
C
^
(
k
)
{\displaystyle \left({\hat {C}}^{(k)}\right)^{\dagger }=(-1)^{k}{\hat {C}}^{(k)}}
and also
⟨
m
|
C
^
(
k
)
|
n
⟩
=
(
E
m
−
E
n
)
k
⟨
m
|
A
^
|
n
⟩
.
{\displaystyle \langle m|{\hat {C}}^{(k)}|n\rangle =(E_{m}-E_{n})^{k}\langle m|{\hat {A}}|n\rangle .}
For a Hermitian operator we have
|
⟨
m
|
A
^
|
n
⟩
|
2
=
⟨
m
|
A
^
|
n
⟩
⟨
m
|
A
^
|
n
⟩
∗
=
⟨
m
|
A
^
|
n
⟩
⟨
n
|
A
^
|
m
⟩
.
{\displaystyle |\langle m|{\hat {A}}|n\rangle |^{2}=\langle m|{\hat {A}}|n\rangle \langle m|{\hat {A}}|n\rangle ^{\ast }=\langle m|{\hat {A}}|n\rangle \langle n|{\hat {A}}|m\rangle .}
Using this relation we derive:
⟨
m
|
[
A
^
,
C
^
(
k
)
]
|
m
⟩
=
⟨
m
|
A
^
C
^
(
k
)
|
m
⟩
−
⟨
m
|
C
^
(
k
)
A
^
|
m
⟩
=
∑
n
⟨
m
|
A
^
|
n
⟩
⟨
n
|
C
^
(
k
)
|
m
⟩
−
⟨
m
|
C
^
(
k
)
|
n
⟩
⟨
n
|
A
^
|
m
⟩
=
∑
n
⟨
m
|
A
^
|
n
⟩
⟨
n
|
A
^
|
m
⟩
(
E
n
−
E
m
)
k
−
(
E
m
−
E
n
)
k
⟨
m
|
A
^
|
n
⟩
⟨
n
|
A
^
|
m
⟩
=
∑
n
(
1
−
(
−
1
)
k
)
(
E
n
−
E
m
)
k
|
⟨
m
|
A
^
|
n
⟩
|
2
.
{\displaystyle {\begin{aligned}\langle m|[{\hat {A}},{\hat {C}}^{(k)}]|m\rangle &=\langle m|{\hat {A}}{\hat {C}}^{(k)}|m\rangle -\langle m|{\hat {C}}^{(k)}{\hat {A}}|m\rangle \\&=\sum _{n}\langle m|{\hat {A}}|n\rangle \langle n|{\hat {C}}^{(k)}|m\rangle -\langle m|{\hat {C}}^{(k)}|n\rangle \langle n|{\hat {A}}|m\rangle \\&=\sum _{n}\langle m|{\hat {A}}|n\rangle \langle n|{\hat {A}}|m\rangle (E_{n}-E_{m})^{k}-(E_{m}-E_{n})^{k}\langle m|{\hat {A}}|n\rangle \langle n|{\hat {A}}|m\rangle \\&=\sum _{n}(1-(-1)^{k})(E_{n}-E_{m})^{k}|\langle m|{\hat {A}}|n\rangle |^{2}.\end{aligned}}}
The result can be written as
⟨
m
|
[
A
^
,
C
^
(
k
)
]
|
m
⟩
=
{
0
,
if
k
is even
2
∑
n
(
E
n
−
E
m
)
k
|
⟨
m
|
A
^
|
n
⟩
|
2
,
if
k
is odd
.
{\displaystyle \langle m|[{\hat {A}},{\hat {C}}^{(k)}]|m\rangle ={\begin{cases}0,&{\mbox{if }}k{\mbox{ is even}}\\2\sum _{n}(E_{n}-E_{m})^{k}|\langle m|{\hat {A}}|n\rangle |^{2},&{\mbox{if }}k{\mbox{ is odd}}.\end{cases}}}
For
k
=
1
{\displaystyle k=1}
⟨
m
|
[
A
^
,
[
H
^
,
A
^
]
]
|
m
⟩
=
2
∑
n
(
E
n
−
E
m
)
|
⟨
m
|
A
^
|
n
⟩
|
2
.
{\displaystyle \langle m|[{\hat {A}},[{\hat {H}},{\hat {A}}]]|m\rangle =2\sum _{n}(E_{n}-E_{m})|\langle m|{\hat {A}}|n\rangle |^{2}.}
![{\displaystyle {\begin{aligned}{\hat {C}}^{(0)}&\equiv {\hat {A}}\\{\hat {C}}^{(1)}&\equiv [{\hat {H}},{\hat {A}}]={\hat {H}}{\hat {A}}-{\hat {A}}{\hat {H}}\\{\hat {C}}^{(k)}&\equiv [{\hat {H}},{\hat {C}}^{(k-1)}],\ \ \ k=1,2,\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e38c4e3192a59e4492e20010700727a6e2b1f18)
![{\displaystyle {\begin{aligned}\langle m|[{\hat {A}},{\hat {C}}^{(k)}]|m\rangle &=\langle m|{\hat {A}}{\hat {C}}^{(k)}|m\rangle -\langle m|{\hat {C}}^{(k)}{\hat {A}}|m\rangle \\&=\sum _{n}\langle m|{\hat {A}}|n\rangle \langle n|{\hat {C}}^{(k)}|m\rangle -\langle m|{\hat {C}}^{(k)}|n\rangle \langle n|{\hat {A}}|m\rangle \\&=\sum _{n}\langle m|{\hat {A}}|n\rangle \langle n|{\hat {A}}|m\rangle (E_{n}-E_{m})^{k}-(E_{m}-E_{n})^{k}\langle m|{\hat {A}}|n\rangle \langle n|{\hat {A}}|m\rangle \\&=\sum _{n}(1-(-1)^{k})(E_{n}-E_{m})^{k}|\langle m|{\hat {A}}|n\rangle |^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0856da3cfd137892a729122ae07b0d76030fd99)
![{\displaystyle \langle m|[{\hat {A}},{\hat {C}}^{(k)}]|m\rangle ={\begin{cases}0,&{\mbox{if }}k{\mbox{ is even}}\\2\sum _{n}(E_{n}-E_{m})^{k}|\langle m|{\hat {A}}|n\rangle |^{2},&{\mbox{if }}k{\mbox{ is odd}}.\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9170c4d8b9085011605cca49e3810a2e64e4a525)
![{\displaystyle \langle m|[{\hat {A}},[{\hat {H}},{\hat {A}}]]|m\rangle =2\sum _{n}(E_{n}-E_{m})|\langle m|{\hat {A}}|n\rangle |^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36320be103235cab1fcbb667f753d87d88f9507c)
