summaryrefslogtreecommitdiff
path: root/source/know/concept/equation-of-motion-theory
diff options
context:
space:
mode:
Diffstat (limited to 'source/know/concept/equation-of-motion-theory')
-rw-r--r--source/know/concept/equation-of-motion-theory/index.md10
1 files changed, 3 insertions, 7 deletions
diff --git a/source/know/concept/equation-of-motion-theory/index.md b/source/know/concept/equation-of-motion-theory/index.md
index 02ed856..c1ed8da 100644
--- a/source/know/concept/equation-of-motion-theory/index.md
+++ b/source/know/concept/equation-of-motion-theory/index.md
@@ -63,11 +63,8 @@ $$\begin{aligned}
= - \sum_{\nu''} u_{\nu \nu''} \hat{c}_{\nu''}
\end{aligned}$$
-<div class="accordion">
-<input type="checkbox" id="proof-commH0"/>
-<label for="proof-commH0">Proof</label>
-<div class="hidden" markdown="1">
-<label for="proof-commH0">Proof.</label>
+
+{% include proof/start.html id="proof-commutator" -%}
Using the commutator identity for $$\comm{A B}{C}$$,
we decompose it like so:
@@ -105,9 +102,8 @@ $$\begin{aligned}
- 2 \acomm{\hat{f}_{\!\nu'}^\dagger}{\hat{f}_{\!\nu}} \hat{f}_{\!\nu''} \Big)
= - \sum_{\nu''} u_{\nu \nu''} \hat{f}_{\!\nu''}
\end{aligned}$$
+{% include proof/end.html id="proof-commutator" %}
-</div>
-</div>
Substituting this into $$G_{\nu \nu'}^R$$'s equation of motion,
we recognize another Green's function $$G_{\nu'' \nu'}^R$$: