Skip to main content
Chemistry LibreTexts

3.2: Linear Operators in Quantum Mechanics

  • Page ID
    92355
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives
    • Classical-Mechanical quantities are represented by linear operators in Quantum Mechanics
    • Understand that "algebra" of scalars and functions do not always to operators (specifically the commutative property)

    The bracketed object in the time-independent Schrödinger Equation (in 1D)

    \[ \left[-\dfrac{\hbar^2}{2m}\nabla^2+V(\vec{r})\right]\psi(\vec{r})=E\psi(\vec{r}) \label{3.1.19} \]

    is called an operator. An operator is a generalization of the concept of a function applied to a function. Whereas a function is a rule for turning one number into another, an operator is a rule for turning one function into another. For the time-independent Schrödinger Equation, the operator of relevance is the Hamiltonian operator (often just called the Hamiltonian) and is the most ubiquitous operator in quantum mechanics.

    \[ \hat{H} = -\dfrac{\hbar^2}{2m}\nabla^2+V(\vec{r}) \nonumber \]

    We often (but not always) indicate that an object is an operator by placing a 'hat' over it, eg, \(\hat{H}\). So time-independent Schrödinger Equation can then be simplified from Equation \ref{3.1.19} to

    \[ \hat{H} \psi(\vec{r}) = E\psi(\vec{r}) \label{simple} \]

    Equation \ref{simple} says that the Hamiltonian operator operates on the wavefunction to produce the energy, which is a scalar (i.e., a number, a quantity and observable) times the wavefunction. Such an equation, where the operator, operating on a function, produces a constant times the function, is called an eigenvalue equation. The function is called an eigenfunction, and the resulting numerical value is called the eigenvalue. Eigen here is the German word meaning self or own. We will discuss this in detail in later Sections.

    Fundamental Properties of Operators

    Most properties of operators are straightforward, but they are summarized below for completeness.

    The sum and difference of two operators \(\hat{A} \) and \(\hat{B}\) are given by

    \[ (\hat{A} \pm \hat{B}) f = \displaystyle \hat{A} f \pm \hat{B} f \nonumber \]

    The product of two operators is defined by

    \[ \hat{A} \hat{B} f \equiv \hat{A} [ \hat{B} f ] \nonumber \]

    Two operators are equal if

    \[\hat{A} f = \hat{B} f \nonumber \]

    for all functions \(f\).

    The identity operator \(\hat{1}\) does nothing (or multiplies by 1)

    \[ {\hat 1} f = f \nonumber \]

    The \(n\)-th power of an operator \(\hat{A}^n \) is defined as \(n\) successive applications of the operator, e.g.

    \[ \hat{A}^2 f = \hat{A} \hat{A} f \nonumber \]

    The associative law holds for operators

    \[ \hat{A}(\hat{B}\hat{C}) = (\hat{A}\hat{B})\hat{C} \nonumber \]

    The commutative law does not generally hold for operators. In general, but not always,

    \[ \hat{A} \hat{B} \neq \hat{B}\hat{A}. \label{comlaw} \]

    To help identify if the inequality in Equation \ref{comlaw} holds for any two specific operators, we define the commutator.

    Definition: The Commutator

    It is convenient to define the commutator of \(\hat{A} \) and \(\hat{B} \)

    \[ [\hat{A}, \hat{B}] \equiv \hat{A} \hat{B} - \hat{B} \hat{A} \nonumber \]

    If \(\hat{A} \) and \(\hat{B} \) commute, then

    \[[\hat{A} ,\hat{B} ] = 0. \nonumber \]

    If the commutator is not zero, the order of operating matters and the operators are said to "not commute." Moreover, this property applies

    \[[\hat{A} ,\hat{B} ] = - [\hat{B} ,\hat{A} ]. \nonumber \]

    Linear Operators

    The action of an operator that turns the function \(f(x)\) into the function \(g(x)\) is represented by

    \[\hat{A}f(x)=g(x)\label{3.2.1} \]

    The most common kind of operator encountered are linear operators which satisfies the following two conditions:

    \[ \underset{\text{Condition A}}{\hat{O}(f(x)+g(x)) = \hat{O}f(x)+\hat{O}g(x)} \label{3.2.2a} \]

    and

    \[\underset{\text{Condition B}}{\hat{O}cf(x) = c \hat{O}f(x)} \label{3.2.2b} \]

    where

    • \(\hat{O}\) is a linear operator,
    • \(c\) is a constant that can be a complex number (\(c = a + ib\)), and
    • \(f(x)\) and \(g(x)\) are functions of \(x\)

    If an operator fails to satisfy either Equations \(\ref{3.2.2a}\) or \(\ref{3.2.2b}\) then it is not a linear operator.

    Example 3.2.1

    Is this operator \(\hat{O} = -i \hbar \dfrac{d}{dx} \) linear?

    Solution

    To confirm is an operator is linear, both conditions in Equation \(\ref{3.2.2b}\) must be demonstrated.

    Condition A (Equation \(\ref{3.2.2a}\)):

    \[\hat{O}(f(x)+g(x)) = -i \hbar \dfrac{d}{dx} \left( f(x)+g(x)\right) \nonumber \]

    From basic calculus, we know that we can use the sum rule for differentiation

    \[ \begin{align*} \hat{O}(f(x)+g(x)) &= -i \hbar \dfrac{d}{dx} f(x) - i \hbar \dfrac{d}{dx} g(x) \\[4pt] &= \hat{O}f(x)+\hat{O}g(x) \;\;\; \checkmark \end{align*} \nonumber \]

    Condition A is confirmed. Does Condition B (Equation \(\ref{3.2.2b}\)) hold?

    \[\hat{O}cf(x) = -i \hbar \dfrac{d}{dx} c f(x) \nonumber \]

    Also from basic calculus, this can be factored out of the derivative

    \[\begin{align*}\hat{O}cf(x) &= - c i \hbar\dfrac{d}{dx} f(x) \\[4pt] &= c \hat{O}f(x) \;\;\; \checkmark \end{align*} \nonumber \]

    Yes. This operator is a linear operator (this is the linear momentum operator).

    Exercise 3.2.1

    Confirm if the square root operator \(\sqrt{f(x)}\) linear or not?

    Answer

    To confirm is an operator is linear, both conditions in Equations \ref{3.2.2a} and \ref{3.2.2b} must be demonstrated. Let's look first at Condition B.

    Does Condition B (Equation \(\ref{3.2.2b}\)) hold?

    \[\hat{O}cf(x) = c\hat{O}{ f(x) } \nonumber \]

    \[ \sqrt{c f(x) } \neq c\sqrt{f(x)} \nonumber \]

    Condition B does not hold, therefore the square root operator is not linear.

    The most operators encountered in quantum mechanics are linear operators.

    Hermitian Operators

    An important property of operators is suggested by considering the Hamiltonian for the particle in a box:

    \[\hat{H}=-\dfrac{\hbar^2}{2m}\frac{d^2}{dx^2} \label{1} \]

    Let \(f(x)\) and \(g(x)\) be arbitrary functions which obey the same boundary values as the eigenfunctions of \(\hat{H}\) (e.g., they vanish at \(x = 0\) and \(x = a\)). Consider the integral

    \[\int_0^a \! f(x) \, \hat{H} \, g(x) \, \mathrm{d}x =-\frac{\hbar^2}{2m} \int_0^a \! f(x) \, g''(x) \, \mathrm{d}x \label{2} \]

    Now, using integration by parts,

    \[\int_0^a \! f(x) \, g''(x) \, \mathrm{d}x = - \int_0^a \! f'(x) \, g'(x) \, \mathrm{d}x + \, f(x) \, g'(x) \Big|_0^a \label{3} \]

    The boundary terms vanish by the assumed conditions on \(f\) and \(g\). A second integration by parts transforms Equation \(\ref{3}\) to

    \[\int_0^a \! f''(x) \, g(x) \, \mathrm{d}x \, - \, f'(x) \, g(x) \Big|_0^a \nonumber \]

    It follows therefore that

    \[\int_0^a \! f(x) \, \hat{H} \, g(x) \, \mathrm{d}x=\int_0^a g(x) \, \hat{H} \, f(x) \, \mathrm{d}x \label{4} \]

    An obvious generalization for complex functions will read

    \[\int_0^a \! f^*(x) \, \hat{H} \, g(x) \, \mathrm{d}x=\left(\int_0^a g^*(x) \, \hat{H} \, f(x) \, \mathrm{d}x\right)^* \label{5} \]

    In mathematical terminology, an operator \(\hat{A}\) for which

    \[\int \! f^* \, \hat{A} \, g \, \mathrm{d}\tau=\left(\int \! g^* \, \hat{A} \, f \, \mathrm{d}\tau\right)^* \label{6} \]

    for all functions \(f\) and \(g\) which obey specified boundary conditions is classified as hermitian or self-adjoint. Evidently, the Hamiltonian is a hermitian operator. It is postulated that all quantum-mechanical operators that represent dynamical variables are hermitian. The term is also used for specific times of matrices in linear algebra courses.

    All quantum-mechanical operators that represent dynamical variables are hermitian.

    Contributors and Attributions

     


    3.2: Linear Operators in Quantum Mechanics is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by LibreTexts.