From 8688d88c5d56541c8d06bcff4eeabe9ebf8a2fb8 Mon Sep 17 00:00:00 2001
From: Prefetch
Date: Sat, 20 Feb 2021 13:20:32 +0100
Subject: Trial MathJax for knowledge base + Update CSS
---
static/know/concept/blochs-theorem/index.html | 41 ++++++++++++---------------
1 file changed, 18 insertions(+), 23 deletions(-)
(limited to 'static/know/concept/blochs-theorem')
diff --git a/static/know/concept/blochs-theorem/index.html b/static/know/concept/blochs-theorem/index.html
index 58a934e..9710710 100644
--- a/static/know/concept/blochs-theorem/index.html
+++ b/static/know/concept/blochs-theorem/index.html
@@ -9,7 +9,7 @@
body {
background:#ddd;
color:#222;
- max-width:72ch;
+ max-width:80ch;
text-align:justify;
margin:auto;
padding:1em 0;
@@ -29,13 +29,8 @@
pre {filter:invert(100%);}
@media (prefers-color-scheme: dark) {
body {background:#222;filter:invert(100%);}
- }
- math[display="inline"] {
- font-size:110%;
- }
- math[display="block"] {
- font-size:130%;
}
+
@@ -49,41 +44,41 @@
Bloch’s theorem
-
In quantum mechanics, Bloch’s theorem states that, given a potential which is periodic on a lattice, i.e. for a primitive lattice vector , then it follows that the solutions to the time-independent Schrödinger equation take the following form, where the function is periodic on the same lattice, i.e. :
-
+\]
In other words, in a periodic potential, the solutions are simply plane waves with a periodic modulation, known as Bloch functions or Bloch states.
-
This is suprisingly easy to prove: if the Hamiltonian is lattice-periodic, then it will commute with the unitary translation operator , i.e. . Therefore and must share eigenstates :
-
-
Since is unitary, its eigenvalues must have the form , with real. Therefore a translation by causes a phase shift, for some vector :
-
+
Since \(\hat{T}\) is unitary, its eigenvalues \(\tau\) must have the form \(e^{i \theta}\), with \(\theta\) real. Therefore a translation by \(\vec{a}\) causes a phase shift, for some vector \(\vec{k}\):
+
\[
\begin{aligned}
\psi(\vec{r} + \vec{a})
= \hat{T}(\vec{a}) \:\psi(\vec{r})
= e^{i \theta} \:\psi(\vec{r})
= e^{i \vec{k} \cdot \vec{a}} \:\psi(\vec{r})
\end{aligned}
-
-
Let us now define the following function, keeping our arbitrary choice of :
-
+
Let us now define the following function, keeping our arbitrary choice of \(\vec{k}\):
+
\[
\begin{aligned}
u(\vec{r})
= e^{- i \vec{k} \cdot \vec{r}} \:\psi(\vec{r})
\end{aligned}
-
-
As it turns out, this function is guaranteed to be lattice-periodic for any :
-
+
As it turns out, this function is guaranteed to be lattice-periodic for any \(\vec{k}\):
+
\[
\begin{aligned}
u(\vec{r} + \vec{a})
&= e^{- i \vec{k} \cdot (\vec{r} + \vec{a})} \:\psi(\vec{r} + \vec{a})
@@ -94,8 +89,8 @@
\\
&= u(\vec{r})
\end{aligned}
-
-
Then Bloch’s theorem follows from isolating the definition of for .
+\]
+
Then Bloch’s theorem follows from isolating the definition of \(u(\vec{r})\) for \(\psi(\vec{r})\).
© "Prefetch". Licensed under
CC BY-SA 4.0.
--
cgit v1.2.3