Physlib.QuantumMechanics.OneDimension.GeneralPotential.Basic
6 declarations
Linearity of the One-Dimensional Momentum Operator
#momentumOperator_linearFor any complex numbers and any differentiable functions , the one-dimensional momentum operator 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 .
Linearity of the Squared One-Dimensional Momentum Operator
#momentumOperator_sq_linearFor any complex scalars and functions , suppose that and are differentiable, and their images under the momentum operator, and , are also differentiable. Then the square of the one-dimensional momentum operator 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 is defined by .
Potential operator
#potentialOperatorGiven a potential function and a wave function , the potential operator is defined by the pointwise multiplication for all .
Linearity of the Potential Operator
#potentialOperator_linearFor any potential function , complex scalars , and wave functions , the potential operator is linear. That is, it satisfies the identity where the action of the potential operator is defined by .
One-dimensional Schrödinger operator
#schrodingerOperatorThe Schrödinger operator for a one-dimensional quantum mechanical system with mass and potential function maps a wave function to a new function defined by the expression \[ x \mapsto -\frac{\hbar^2}{2m} \frac{d^2\psi}{dx^2}(x) + V(x)\psi(x) \] where is the reduced Planck constant and denotes the second derivative of . Formally, the operator is defined as the sum of the kinetic energy term (where is the momentum operator) and the potential energy term .
Linearity of the One-Dimensional Schrödinger Operator
#schrodingerOperator_linearFor any complex scalars and wave functions , suppose that and are differentiable and that their images under the momentum operator, and , are also differentiable. Then the one-dimensional Schrödinger operator 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 for a system with mass and potential is defined as , and the momentum operator is defined as .
