Physlib

Physlib.QuantumMechanics.OneDimension.GeneralPotential.Basic

6 declarations

theorem

Linearity of the One-Dimensional Momentum Operator

#momentumOperator_linear

For any complex numbers a1,a2Ca_1, a_2 \in \mathbb{C} and any differentiable functions ψ1,ψ2:RC\psi_1, \psi_2: \mathbb{R} \to \mathbb{C}, the one-dimensional momentum operator p^\hat{p} is linear, satisfying: \[ \hat{p}(a_1 \psi_1 + a_2 \psi_2) = a_1 \hat{p} \psi_1 + a_2 \hat{p} \psi_2 \] where the momentum operator is defined as (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i \hbar \frac{d\psi}{dx}(x).

theorem

Linearity of the Squared One-Dimensional Momentum Operator p^2\hat{p}^2

#momentumOperator_sq_linear

For any complex scalars a1,a2Ca_1, a_2 \in \mathbb{C} and functions ψ1,ψ2:RC\psi_1, \psi_2: \mathbb{R} \to \mathbb{C}, suppose that ψ1\psi_1 and ψ2\psi_2 are differentiable, and their images under the momentum operator, p^ψ1\hat{p}\psi_1 and p^ψ2\hat{p}\psi_2, are also differentiable. Then the square of the one-dimensional momentum operator p^2\hat{p}^2 is linear, satisfying: \[ \hat{p}(\hat{p}(a_1 \psi_1 + a_2 \psi_2)) = a_1 \hat{p}(\hat{p}\psi_1) + a_2 \hat{p}(\hat{p}\psi_2) \] where the momentum operator p^\hat{p} is defined by (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i \hbar \frac{d\psi}{dx}(x).

definition

Potential operator (Vψ)(x)=V(x)ψ(x)(V\psi)(x) = V(x)\psi(x)

#potentialOperator

Given a potential function V:RRV: \mathbb{R} \to \mathbb{R} and a wave function ψ:RC\psi: \mathbb{R} \to \mathbb{C}, the potential operator is defined by the pointwise multiplication (Vψ)(x)=V(x)ψ(x)(V\psi)(x) = V(x)\psi(x) for all xRx \in \mathbb{R}.

theorem

Linearity of the Potential Operator

#potentialOperator_linear

For any potential function V:RRV: \mathbb{R} \to \mathbb{R}, complex scalars a1,a2Ca_1, a_2 \in \mathbb{C}, and wave functions ψ1,ψ2:RC\psi_1, \psi_2: \mathbb{R} \to \mathbb{C}, the potential operator V^\hat{V} is linear. That is, it satisfies the identity V^(a1ψ1+a2ψ2)=a1V^ψ1+a2V^ψ2\hat{V}(a_1 \psi_1 + a_2 \psi_2) = a_1 \hat{V}\psi_1 + a_2 \hat{V}\psi_2 where the action of the potential operator is defined by (V^ψ)(x)=V(x)ψ(x)(\hat{V}\psi)(x) = V(x)\psi(x).

definition

One-dimensional Schrödinger operator H^ψ=22mψ+Vψ\hat{H}\psi = -\frac{\hbar^2}{2m} \psi'' + V\psi

#schrodingerOperator

The Schrödinger operator for a one-dimensional quantum mechanical system with mass mm and potential function V:RRV: \mathbb{R} \to \mathbb{R} maps a wave function ψ:RC\psi: \mathbb{R} \to \mathbb{C} to a new function RC\mathbb{R} \to \mathbb{C} defined by the expression \[ x \mapsto -\frac{\hbar^2}{2m} \frac{d^2\psi}{dx^2}(x) + V(x)\psi(x) \] where \hbar is the reduced Planck constant and d2ψdx2\frac{d^2\psi}{dx^2} denotes the second derivative of ψ\psi. Formally, the operator is defined as the sum of the kinetic energy term 12mp^2ψ\frac{1}{2m} \hat{p}^2 \psi (where p^\hat{p} is the momentum operator) and the potential energy term VψV \psi.

theorem

Linearity of the One-Dimensional Schrödinger Operator H^\hat{H}

#schrodingerOperator_linear

For any complex scalars a1,a2Ca_1, a_2 \in \mathbb{C} and wave functions ψ1,ψ2:RC\psi_1, \psi_2: \mathbb{R} \to \mathbb{C}, suppose that ψ1\psi_1 and ψ2\psi_2 are differentiable and that their images under the momentum operator, p^ψ1\hat{p}\psi_1 and p^ψ2\hat{p}\psi_2, are also differentiable. Then the one-dimensional Schrödinger operator H^\hat{H} is linear, satisfying: \[ \hat{H}(a_1 \psi_1 + a_2 \psi_2) = a_1 \hat{H}\psi_1 + a_2 \hat{H}\psi_2 \] where the Schrödinger operator H^\hat{H} for a system with mass mm and potential VV is defined as (H^ψ)(x)=22md2ψdx2(x)+V(x)ψ(x)(\hat{H}\psi)(x) = -\frac{\hbar^2}{2m} \frac{d^2\psi}{dx^2}(x) + V(x)\psi(x), and the momentum operator p^\hat{p} is defined as (p^ψ)(x)=idψdx(x)(\hat{p}\psi)(x) = -i \hbar \frac{d\psi}{dx}(x).