From f04a80d30c6f4bd7a0c17fc5ec26ed7968621edf Mon Sep 17 00:00:00 2001 From: Prefetch Date: Fri, 19 Feb 2021 20:25:37 +0100 Subject: Proof-of-concept for knowledge base --- content/know/_index.md | 6 ++ static/know/blochs-theorem/index.html | 103 ++++++++++++++++++++++++++++++++++ templates/home.html | 2 +- templates/index.html | 2 +- 4 files changed, 111 insertions(+), 2 deletions(-) create mode 100644 content/know/_index.md create mode 100644 static/know/blochs-theorem/index.html diff --git a/content/know/_index.md b/content/know/_index.md new file mode 100644 index 0000000..ff51273 --- /dev/null +++ b/content/know/_index.md @@ -0,0 +1,6 @@ ++++ +title = "Knowledge base" ++++ + +Work in progress... +* [Bloch's theorem](/know/blochs-theorem/) diff --git a/static/know/blochs-theorem/index.html b/static/know/blochs-theorem/index.html new file mode 100644 index 0000000..26e3480 --- /dev/null +++ b/static/know/blochs-theorem/index.html @@ -0,0 +1,103 @@ + + + + + + + Prefetch | Bloch’s theorem + + + +
+
PREFETCH
+
+blog  +code  +know +
+
+
+ +

Bloch’s theorem

+

In quantum mechanics, Bloch’s theorem states that, given a potential V(r⃗)V(\vec{r}) which is periodic on a lattice, i.e. V(r⃗)=V(r⃗+a⃗)V(\vec{r}) = V(\vec{r} + \vec{a}) for a primitive lattice vector a⃗\vec{a}, then it follows that the solutions ψ(r⃗)\psi(\vec{r}) to the time-independent Schrödinger equation take the following form, where the function u(r⃗)u(\vec{r}) is periodic on the same lattice, i.e. u(r⃗)=u(r⃗+a⃗)u(\vec{r}) = u(\vec{r} + \vec{a}):

+

ψ(r⃗)=u(r⃗)eik⃗⋅r⃗ +\begin{aligned} + \boxed{ + \psi(\vec{r}) = u(\vec{r}) e^{i \vec{k} \cdot \vec{r}} + } +\end{aligned} +

+

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 Ĥ\hat{H} is lattice-periodic, then it will commute with the unitary translation operator T̂(a⃗)\hat{T}(\vec{a}), i.e. [Ĥ,T̂(a⃗)]=0[\hat{H}, \hat{T}(\vec{a})] = 0. Therefore Ĥ\hat{H} and T̂(a⃗)\hat{T}(\vec{a}) must share eigenstates ψ(r⃗)\psi(\vec{r}):

+

Ĥψ(r⃗)=Eψ(r⃗)T̂(a⃗)ψ(r⃗)=τψ(r⃗) +\begin{aligned} + \hat{H} \:\psi(\vec{r}) = E \:\psi(\vec{r}) + \qquad + \hat{T}(\vec{a}) \:\psi(\vec{r}) = \tau \:\psi(\vec{r}) +\end{aligned} +

+

Since T̂\hat{T} is unitary, its eigenvalues τ\tau must have the form eiθe^{i \theta}, with θ\theta real. Therefore a translation by a⃗\vec{a} causes a phase shift, for some vector k⃗\vec{k}:

+

ψ(r⃗+a⃗)=T̂(a⃗)ψ(r⃗)=eiθψ(r⃗)=eik⃗⋅a⃗ψ(r⃗) +\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 k⃗\vec{k}:

+

u(r⃗)=e−ik⃗⋅r⃗ψ(r⃗) +\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 k⃗\vec{k}:

+

u(r⃗+a⃗)=e−ik⃗⋅(r⃗+a⃗)ψ(r⃗+a⃗)=e−ik⃗⋅r⃗e−ik⃗⋅a⃗eik⃗⋅a⃗ψ(r⃗)=e−ik⃗⋅r⃗ψ(r⃗)=u(r⃗) +\begin{aligned} + u(\vec{r} + \vec{a}) + &= e^{- i \vec{k} \cdot (\vec{r} + \vec{a})} \:\psi(\vec{r} + \vec{a}) + \\ + &= e^{- i \vec{k} \cdot \vec{r}} e^{- i \vec{k} \cdot \vec{a}} e^{i \vec{k} \cdot \vec{a}} \:\psi(\vec{r}) + \\ + &= e^{- i \vec{k} \cdot \vec{r}} \:\psi(\vec{r}) + \\ + &= u(\vec{r}) +\end{aligned} +

+

Then Bloch’s theorem follows from isolating the definition of u(r⃗)u(\vec{r}) for ψ(r⃗)\psi(\vec{r}).

+ +
+© "Prefetch". Licensed under CC BY-SA 4.0. + + diff --git a/templates/home.html b/templates/home.html index de715ce..01e6b3d 100644 --- a/templates/home.html +++ b/templates/home.html @@ -12,7 +12,7 @@
blog  code  -uses +know
diff --git a/templates/index.html b/templates/index.html index 88e09d0..d86a23d 100644 --- a/templates/index.html +++ b/templates/index.html @@ -12,7 +12,7 @@
blog  code  -uses +know
-- cgit v1.2.3