Math 2.0

Partial differential equations Definition

Schrödinger equation

Builds on LaplacianSchrödinger operatorPartial differential equation

Definition

Let n≥1n \ge 1, let ℏ>0\hbar > 0 and m>0m > 0 be constants, and let V ⁣:ℝn→ℝV \colon \R^n \to \R be a measurable function, the potential. Let ψ(x,t)\psi(x, t), for x∈ℝnx \in \R^n and t∈ℝt \in \R, be an unknown complex-valued function, and let Δ\Delta be the Laplacian in xx. The Schrödinger equation with potential VV is the partial differential equation iℏ ∂ψ∂t(x,t)=−ℏ22mΔψ(x,t)+V(x)ψ(x,t).i\hbar \, \frac{\partial \psi}{\partial t}(x, t) = -\frac{\hbar^2}{2m} \Delta \psi(x, t) + V(x) \psi(x, t). With H=−ℏ22mΔ+VH = -\frac{\hbar^2}{2m}\Delta + V, the Schrödinger operator, it reads iℏ ∂tψ=Hψi\hbar\, \partial_t \psi = H\psi. The time-independent Schrödinger equation is the eigenvalue equation Hφ=EφH\varphi = E\varphi; if it holds, then ψ(x,t)=e−iEt/ℏφ(x)\psi(x, t) = e^{-iEt/\hbar}\varphi(x) solves the time-dependent equation.

Remarks

In mathematics one often sets ℏ=1\hbar = 1 and 2m=12m = 1, giving i∂tu=−Δu+Vui\partial_t u = -\Delta u + Vu.

When HH is self-adjoint on L2(ℝn)L^2(\R^n), Stone's theorem gives the solution ψ(t)=e−itH/ℏψ(0)\psi(t) = e^{-itH/\hbar}\psi(0) for every initial value in L2(ℝn)L^2(\R^n), and e−itH/ℏe^{-itH/\hbar} is unitary, so ∥ψ(t)∥L2=∥ψ(0)∥L2\norm{\psi(t)}_{L^2} = \norm{\psi(0)}_{L^2}.

Example: with V=0V = 0, ℏ=1\hbar = 1, 2m=12m = 1 and k∈ℝnk \in \R^n, the plane wave u(x,t)=ei(k⋅x−∣k∣2t)u(x, t) = e^{i(k \cdot x - \abs{k}^2 t)} is a solution. Indeed i∂tu=i⋅(−i∣k∣2)u=∣k∣2ui\partial_t u = i \cdot (-i\abs{k}^2) u = \abs{k}^2 u and −Δu=∣k∣2u-\Delta u = \abs{k}^2 u.

Non-example: the heat equation ∂tu=Δu\partial_t u = \Delta u differs only by the factor ii, but it is not a Schrödinger equation. Its solutions decay in L2L^2 instead of keeping their norm: u=eik⋅x−∣k∣2tu = e^{i k\cdot x - \abs{k}^2 t} solves it, and its modulus e−∣k∣2te^{-\abs{k}^2 t} decreases.

Reading path

To understand this page from the ground up, read these 14 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Partial differential equation concept
  4. Schrödinger operator concept
  5. Total derivative concept
  6. Function of several variables concept
  7. Vector-valued function concept
  8. Differentiable function of several variables concept
  9. Partial derivative concept
  10. Vector field concept
  11. Gradient concept
  12. Divergence concept
  13. Laplacian concept
  14. Schrödinger equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Schr%C3%B6dinger_equation
About this page
Tag4BT3Y8TCDN
URIm2://4BT3Y8TCDN
Kinddefinition
WritingW0 stub
MSC35Q41, 81Q05, 35Q40
DefinesSchrödinger equation
UsesLaplacian, Schrödinger operator, Partial differential equation

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.