View source for This quantum world/Serious illnesses/Schroedinger

[[This quantum world/Serious illnesses/de Broglie|'''< PREVIOUS''']]

==Schrödinger==
If the electron is a standing wave, why should it be confined to a circle? After de Broglie's crucial insight that particles are waves of some sort, it took less than three years for the mature quantum theory to be found, not once but twice, by [[wikipedia:|Werner Heisenberg]] in 1925 and by [[wikipedia:Erwin Schrödinger|Erwin Schrödinger]] in 1926. If we let the electron to be a standing wave in three dimensions, we have all it takes to arrive at the Schrödinger equation, which is at the heart of the mature theory.

Let's keep to one spatial dimension. The simplest mathematical description of a wave of [[wikipedia:wavenumber|angular wavenumber]] <math>k=2\pi/\lambda</math> and [[wikipedia:Angular frequency|angular frequency]] <math>\omega = 2\pi/T = 2\pi\nu</math> (at any rate, if you are familiar with [[wikipedia:Complex number|complex numbers]]) is the function
:<br><math>\psi(x,t) = e^{i(kx-\omega t)}.</math>
<br>Let's express the [[wikipedia:Phase (waves)|phase]] <math>\phi(x,t) = kx-\omega t</math> in terms of the electron's energy <math>E=h\nu=\hbar\omega</math> and momentum <math>p=h/\lambda=\hbar k:</math>
:<br><math>\psi(x,t) = e^{i(px-Et)/\hbar}.</math>
<br>The [[wikipedia:Partial derivative|partial derivatives]] with respect to <math>x</math> and <math>t</math> are
:<br><math>
{\partial\psi\over\partial x}={i\over\hbar}p\psi\quad\hbox{and}\quad
{\partial\psi\over\partial t}=-{i\over\hbar}E\psi.
</math>
<br>We also need the second partial derivative of <math>\psi</math> with respect to <math>x</math>:
:<br><math>
{\partial^2\psi\over\partial x^2} = \left({ip\over\hbar}\right)^2\psi.
</math>
<br>We thus have
:<br><math>
E\psi=i\hbar{\partial\psi\over\partial t},\quad
p\psi=-i\hbar{\partial\psi\over\partial x},\quad\hbox{and}\quad
p^2\psi=-\hbar^2{\partial^2\psi\over\partial x^2}.
</math>
<br>In non-relativistic [[wikipedia:Classical physics|classical physics]] the [[wikipedia:Kinetic energy|''kinetic'' energy]] and the ''kinetic'' momentum <math>p</math> of a [[wikipedia:Free particle|free particle]] are related via the [[wikipedia:Dispersion relation|dispersion relation]]
:<br><math>E=p^2/2m.</math>
<br>This relation also holds in non-relativistic quantum physics. Later you will learn why.

In three spatial dimensions, <math>p</math> is the magnitude of a vector <math>\textbf{p}.</math> If the particle also has a potential energy <math>V(\textbf{r},t)</math> and a potential momentum <math>\textbf{A}(\textbf{r},t)</math> (in which case it is ''not'' free), and if <math>E</math> and <math>\textbf{p}</math> stand for the particle's ''total'' energy and ''total'' momentum, respectively, then the dispersion relation is
:<br><math>
E-V = (\textbf{p}-\textbf{A})^2/2m.
</math>
<br>By the square of a vector <math>\textbf{v}</math> we mean the [[wikipedia:Dot product|dot (or scalar) product]] <math>\textbf{v} \cdot \textbf{v}</math>. Later you will learn why we represent possible influences on the motion of a particle by such [[wikipedia:Field (physics)|fields]] as <math>V(\textbf{r},t)</math> and <math>\textbf{A}(\textbf{r},t).</math>

Returning to our fictitious world with only one spatial dimension, allowing for a potential energy <math>V(x,t)</math>, substituting the  [[wikipedia:Differential operator|differential operators]] <math>i\hbar{\partial\over\partial t}</math> and <math>-\hbar^2 {\partial^2\over\partial x^2}</math> for <math>E</math> and <math>p^2</math> in the resulting dispersion relation, and applying both sides of the resulting operator equation to <math>\psi,</math> we arrive at the one-dimensional (time-dependent) '''Schrödinger equation''':
{| style="border:5px solid lightsteelblue" cellpadding="20px"
|<math>
i\hbar{\partial\psi\over\partial t}=-{\hbar^2\over2m}{\partial^2\psi\over\partial x^2}+V\psi
</math>
|}
In three spatial dimensions and with both potential energy <math>V(\textbf{r},t)</math> and potential momentum <math>\textbf{A}(\textbf{r},t)</math> present, we proceed from the relation <math>E-V = (\textbf{p}-\textbf{A})^2/2m,</math> substituting <math>i\hbar{\partial\over\partial t}</math> for <math>E</math> and <math>-i\hbar{\partial\over\partial\textbf{r}}</math> for <math>\textbf{p}.</math> The differential operator <math>{\partial\over\partial\textbf{r}}</math> is a vector whose components are the differential operators <math>\left({\partial\psi\over\partial x},{\partial\psi\over\partial y},{\partial\psi\over\partial z}\right).</math> The result:
:<br><math>
i\hbar{\partial\psi\over\partial t} = \frac{1}{2m} \left(-i\hbar{\partial\over\partial\textbf{r}} - \textbf{A}\right)^2\psi + V\psi,
</math>
<br>where <math>\psi</math> is now a function of <math>\textbf{r}=(x,y,z)</math> and <math>t.</math> This is the three-dimensional '''Schrödinger equation'''. In non-relativistic investigations (to which the Schrödinger equation is confined) the potential momentum can generally be ignored, which is why the [[wikipedia:Schrödinger equation|Schrödinger equation]] is often given this form:
{| style="border:5px solid lightsteelblue" cellpadding="20px"
|<math>
i\hbar{\partial\psi\over\partial t}=-{\hbar^2\over2m} \left({\partial^2\psi\over\partial x^2} + {\partial^2\psi\over\partial y^2} + {\partial^2\psi\over\partial z^2}\right)+V\psi
</math>
|}
The ''free'' Schrödinger equation (without even the potential energy term) is satisfied by <math>\psi(x,t) = e^{i(kx-\omega t)}</math> (in one dimension) or <math>\psi(\textbf{r},t) = e^{i(\mathbf{k}\cdot\mathbf{r}-\omega t)}</math> (in three dimensions) ''provided that'' <math>E=\hbar\omega</math> equals <math>p^2/2m=(\hbar k)^2/ 2m,</math> which is to say: <math>\omega(k)=\hbar k^2/2m.</math> However, since we are dealing with a [[wikipedia:Differential equation|homogeneous linear differential equation]] — which tells us that solutions may be added and/or multiplied by an arbitrary constant to yield additional solutions — any function of the form
:<br><math>
\psi(x,t) = {1\over\sqrt{2\pi}}\int \overline{\psi}(k)\,e^{i[kx-\omega(k)t]}dk=
{1\over\sqrt{2\pi}}\int \overline{\psi}(k,t)\,e^{ikx}dk
</math>
<br>with <math>\overline{\psi}(k,t) = \overline{\psi}(k) e^{-i\omega(k)t}</math> solves the (one-dimensional) Schrödinger equation. If no integration boundaries are specified, then we integrate over the [[wikipedia:Real line|real line]], i.e., the integral is defined as the limit <math>\lim_{L\rightarrow\infty}\int_{-L}^{+L}.</math> The converse also holds: every solution is of this form. The factor in front of the integral is present for purely cosmetic reasons, as you will realize presently. <math>\overline{\psi} (k,t)</math> is the [[wikipedia:Fourier transform|Fourier transform]] of <math>\psi(x,t),</math> which means that
:<br><math>
\overline{\psi}(k,t)={1\over\sqrt{2\pi}}\int \psi(x,t)\,e^{-ikx}dx.
</math>
<br>The Fourier transform of <math>\psi(x,t)</math> exists because the integral <math>\int|\psi(x,t)|dx</math> is finite. In the [[This quantum world/Serious illnesses/Born|next section]] we will come to know the physical reason why this integral is finite.

So now we have a condition that every electron "wave function" must satisfy in order to satisfy the appropriate dispersion relation. If this (and hence the Schrödinger equation) contains either or both of the [[wikipedia:Potential|potentials]] <math>V</math> and <math>\textbf{A}</math>, then finding solutions can be tough. As a budding quantum mechanician, you will spend a considerable amount of time learning to solve the Schrödinger equation with various potentials.

[[This quantum world/Serious illnesses/Born|'''NEXT >''']]