Misplaced Pages

Sum rule in quantum mechanics

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Sum rule in quantum mechanics" – news · newspapers · books · scholar · JSTOR (June 2008) (Learn how and when to remove this message)

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.

Derivation of sum rules

Assume that the Hamiltonian H ^ {\displaystyle {\hat {H}}} has a complete set of eigenfunctions | n ⟩ {\displaystyle |n\rangle } with eigenvalues 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}}} we define the repeated commutator C ^ ( k ) {\displaystyle {\hat {C}}^{(k)}} iteratively by:

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 {A}}{\hat {H}}\\{\hat {C}}^{(k)}&\equiv ,\ \ \ k=1,2,\ldots \end{aligned}}}

The operator C ^ ( 0 ) {\displaystyle {\hat {C}}^{(0)}} is Hermitian since A ^ {\displaystyle {\hat {A}}} is defined to be Hermitian. The operator C ^ ( 1 ) {\displaystyle {\hat {C}}^{(1)}} is anti-Hermitian:

( 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||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||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} this gives:

⟨ m | [ A ^ , [ H ^ , A ^ ] ] | m ⟩ = 2 ∑ n ( E n − E m ) | ⟨ m | A ^ | n ⟩ | 2 . {\displaystyle \langle m|]|m\rangle =2\sum _{n}(E_{n}-E_{m})|\langle m|{\hat {A}}|n\rangle |^{2}.}

See also

References

  1. Wang, Sanwu (1999-07-01). "Generalization of the Thomas-Reiche-Kuhn and the Bethe sum rules". Physical Review A. 60 (1). American Physical Society (APS): 262–266. Bibcode:1999PhRvA..60..262W. doi:10.1103/physreva.60.262. ISSN 1050-2947.
Stub icon

This quantum mechanics-related article is a stub. You can help Misplaced Pages by expanding it.

Categories:
Sum rule in quantum mechanics Add topic