P2 Operators#

What you need to know

  • For every experimental observable there is a corresponding operator in quantum mechanics.

  • Operators must be linear. Becasue they are dervied from Schrodinger equation which itself is linear.

  • Operatprs must be Hermitian becasue only Hermitian operators produce real eigenvalues.

  • Operatprs must produce real eigenvalues. Becasue eigenvalue are the only possible values that are measured in experiments.

  • Operators commutations show weather two experimental observables can be measured simulateneously. E.g can one simulatenoulsy and precisely determine the values of position and momentum of an electron.

  • Commuting operators share eignefunctions, non-commuiting operators have different eigenfunctions.

Operators: A Reminder#

In quantum mechanics, operators represent physical observables and are denoted by a hat symbol (\(\hat{}\)), which indicates a mathematical operation on functions.

  • For example, the momentum operator is differentiating the function with respect to \(x\), then multiplies the result by \(-i\hbar\).

    \[ \hat{p}_x = -i\hbar\frac{d}{dx} \]

    When this operates on a function, it

  • The position operator simply multiplies the function by \(x\).

    \[ \hat{x} = x \]

Linearity of Operators#

  • Operators in quantum mechanics are linear, meaning they satisfy:

\[ \hat{A}(\psi_1 + \psi_2) = \hat{A}\psi_1 + \hat{A}\psi_2 \]
\[ \hat{A}(c\psi) = c\hat{A}\psi \]
  • Where \(c\) is a constant, and \(\psi_1\), \(\psi_2\), and \(\psi\) are wavefunctions.

  • \(\hat{x}\), \(\hat{p_x}\), \(\hat{H}\) all satisfy this property

Expectation Value: A Reminder#

  • The expectation value of an observable \(\hat{A}\), which gives the average outcome of measurements, is computed as:

    \[ \langle A \rangle = \int \psi^* \hat{A} \psi \, d\tau \]
  • Special Case: If the wavefunction \(\psi\) is an eigenfunction of the operator \(\hat{A}\), with eigenvalue \(a\):

    \[ \hat{A}\psi = a\psi \]

    Then the expectation value simplifies to:

    \[ \langle A \rangle = \int \psi^* a \psi \, d\tau = a \int \psi^*\psi \, d\tau = a \]

    Since \(\int \psi^*\psi \, d\tau = 1\) (normalization), the expectation value is simply the eigenvalue \(a\).

Commutations of operators#

Commutator \(\hat{A}\) and \(\hat{B}\)

\[{\left[\hat{A},\hat{B}\right]f = \left(\hat{A}\hat{B} - \hat{B}\hat{A}\right)f}\]
  • From linear algebra we know that order of matrix multiplicaiton matters and that \(AB\neq BA\) for two matrices \(A\) and \(B\)

  • Thus we also generally ecpect \(\hat{A}\hat{B} \neq \hat{B}\hat{A}\) for any two operators.

  • We can quantify relationship between two operators by computing the Commutator

    • If the commutator is zero, it means that order in multiplication of operators or matrices can be changed.

    • If the commutator is non-zero, the order matters and can not be changed!

Example

Prove that operators \(\hat{A} = x\) and \(\hat{B} = d/dx\) do not commute (i.e., \(\left[\hat{A}, \hat{B}\right] \ne 0\)).

Simple rules for commutators#

\[{\left[A,A\right] = \left[A,A^n\right] = \left[A^n,A\right] = 0}\]
\[{\left[A,B\right] = -\left[B,A\right]}\]
\[{\left[A,B^2\right] = \left[A,B\right]B + B\left[A,B\right]}\]

Commutators and experimental measurements#

We have seen previously that operators may not always commute (i.e., \([A, B] \ne 0\)). An example of such operator pair is position \(\hat{x}\) and momentum \(\hat{p}_x\):

\[{\hat{p}_x\hat{x}\psi(x) = \hat{p}_x\left(x\psi(x)\right) = \left(\frac{\hbar}{i}\frac{d}{dx}\right)\left(x\psi(x)\right) = \frac{\hbar x}{i}\frac{d\psi(x)}{dx} + \frac{\hbar}{i}\psi(x)}\]
\[{\hat{x}\hat{p}_x\psi(x) = x\left(\frac{\hbar}{i}\frac{d\psi(x)}{dx}\right)}\]
\[{\Rightarrow \left[\hat{p}_x,\hat{x}\right]\psi(x) = \left(\hat{p}_x\hat{x} - \hat{x}\hat{p}_x\right)\psi(x) = \frac{\hbar}{i}\psi(x)}\]
\[{\Rightarrow \left[\hat{p}_x,\hat{x}\right] = \frac{\hbar}{i}}\]

In contrast, the kinetic energy operator and the momentum operators commute:

\[ {\left[\hat{T},\hat{p}_x\right] = \left[\frac{\hat{p}_x^2}{2m},\hat{p}_x\right] = \frac{p_x^3}{2m} - \frac{p_x^3}{2m} = 0} \]

We had the uncertainty principle for the position and momentum operators:

\[ \Delta x\Delta p_x \ge \frac{\hbar}{2} \]

In general, it turns out that for operators \(\hat{A}\) and \(\hat{B}\) that do not commute, the uncertainty principle applies in the following form:

\[{\Delta A\Delta B \ge \frac{1}{2}\left|\left<\left[\hat{A},\hat{B}\right]\right>\right|}\]
  • Let’s check this relation on the example of momentum and position operators

  • Denote \(\hat{A} = \hat{x}\) and \(\hat{B} = \hat{p}_x\).

\[\frac{1}{2}\left|\left<\left[\hat{A},\hat{B}\right]\right>\right| = \frac{1}{2}\left|\left<\left[\hat{x},\hat{p}_x\right]\right>\right| = \frac{1}{2}\left|\left<\frac{\hbar}{i}\right>\right| = \frac{1}{2}\left|\left<\psi\left|\frac{\hbar}{i}\right|\psi\right>\right| = \frac{1}{2}\left|\frac{\hbar}{i}\underbrace{\left<\psi\left|\psi\right.\right>}_{=1}\right| = \frac{\hbar}{2}\]
\[\Rightarrow \Delta x\Delta p_x \ge \frac{\hbar}{2}\]
  • We find that we can not measure precise values of position or momentum simulatneously.

Commuting operators and simultaneous measurments#

Commuting operators share eigenfunction

\[[\hat{A},\hat{B}]=0\]
\[\hat{A}\phi_k = a_k \phi_k\]
\[\hat{B}\phi_k = b_k \phi_k\]
  • If opertors commute that means we can simultaneously measure corresponding observables in a single experiment.

  • For instance operatos of kinetic energy and momentum commute. We can measure momentum and kinetic energy. But we can not do the same for momentum and position.

  • If we measure observables \(A\) and \(B\) desribed by a common eigenfunction \(\phi_k\) we find the observables to be the corresponding eigenvalues \(a_k\) and \(b_k\)

Hermitian property of operators#

  • What would be an analog of complex conjugate for matrices?

  • This leads us to defined adjoint of an operator matrix/operator \(A^{\dagger}\) which is obtained by swapping indices and taking complex conjugate of all elements.

  • With same analogy when matrix is equal to its adjoint its eigenvalues are real!

  • Such matrices are called Hermitian or self-adjoint.

Hermitian Matrix

\[A = A^\dagger\]
\[a_{jk} = a^{*}_{kj}\]
  • \(A^\dagger\) is called conjugate transpose of matrix where one trasposes elements and replaces with complex conjugate elements

  • For an operator, the adjoint can be understood as an operation analogous to swapping the roles of functions in an inner product expression, followed by taking the complex conjugate.

  • Specifically, in a “sandwich” form like \(a_{jk}=\langle \psi_j | \hat{A} | \psi_k \rangle\), taking the adjoint involves exchanging the functions and complex conjugating the operator resulting in \(a^{*}_{kj}\).

  • Essentially, the operator enters the realm of complex conjugate functions. When an operator is Hermitian, it is equal to its adjoint \(a_{jk} = a^{*}_{kj}\)

Hermitian Operator

\[\hat{A} = \hat{A}^\dagger\]
\[ \int {\color{blue} \psi^*_j} {\color{green}\hat{A}\psi_k} d\tau = \int { \color{green} \psi_k} {\color{blue}\hat{A}^\dagger\psi_j^{*} } d\tau= \int { \color{green} \psi_k} { {\color{blue}(\hat{A}\psi_j)}^{*}} d\tau \]

In Dirac Notation

\[ \langle j| \hat{A}|k\rangle = \langle k| \hat{A} | j \rangle^{*}\]
  • On the left, \(\hat{A}\) acts on \(\psi_k\), and the result is integrated against \(\psi_j^*\).

  • On the right, \(\hat{A}^\dagger\) acts on \(\psi_j^*\), and the result is integrated against \(\psi_k\).

  • For Hermitian operators we have special case when \(\hat{A} = \hat{A}^\dagger\) and this equation becomes symmetric.

  • In general most matrices/operators in mathematics are not Hermitian. Meaning you get different result when you feed complex conjugate function to the same operator. Some examples are below

Example of Hermitian Matrix

Which of these matricies is Hermitian?

\(\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}\), \(\begin{pmatrix} i & 0 \\ 0 & 1 \end{pmatrix}\), \(\begin{pmatrix} -1 & -3i \\ 3i & 8 \end{pmatrix}\), \(\begin{pmatrix} 1 & 2i \\ 2i & 3 \end{pmatrix}\)

  • To see that Differentiation operators are Hermitian requires a little more work.

  • A trick that helps see it is integration by parts where the constant term is zero because wavefunction decays to zero at boundaries (postulate 1, keeping probability finite)!

\[\int \psi_1 d\psi_2 =- \int \psi_2d\psi_1 + \psi_1\psi_2\Big|_{x_{min}}^{x_{max}} =- \int \psi_2d\psi_1\]

Example of Hermitian Operator

Prove that the momentum operator (in one dimension) is Hermitian.

Two Consequences of Hermitian Property#

Eigenvalues of Hermitian Operators Are Real#

  • Operators and eigenfunctions in quantum mechanics may be complex valued; however, eigenvalues of quantum mechanical operators must be real because they correspond to the real values obtained from measurements.

  • By allowing wavefunctions to be complex, it is possible to store more information (i.e., both the real and imaginary parts, or “density and velocity”).

  • When computing experimental quantities, the complex conjugate pair of wavefunctions must be combined to yield real values.

  • Proof: Let \(\psi\) be an eigenfunction of \(\hat{A}\) with eigenvalue \(a\). Choose \(\psi_j = \psi_k = \psi\). Then we can write the result of the left-hand and right-hand sides of the Hermitian condition:

\[ \int \psi^* \hat{A} \psi \, d\tau = a \]
\[ \int \psi \left(\hat{A} \psi\right)^* \, d\tau = a^* \]
  • Since the operator is Hermitian, this leads to equality ensuring real nature of eigenvalues.

\[ a = a^* \]

Eigenfunctions of Hermitian Operators Are Orthogonal#

The Hermitian property can also be used to show that eigenfunctions \(\psi_j\) and \(\psi_k\), corresponding to different eigenvalues \(a_j\) and \(a_k\) (with \(a_j \neq a_k\), i.e., “non-degenerate”), are orthogonal to each other:

\[ \textnormal{LHS: } \int \psi_j^* \hat{A} \psi_k \, d\tau = \int \psi_j^* a_k \psi_k \, d\tau = a_k \int \psi_j^* \psi_k \, d\tau \]
\[ \textnormal{RHS: } \int \psi_k \left(\hat{A} \psi_j \right)^* \, d\tau = \int \psi_k \left(a_j \psi_j \right)^* \, d\tau = a_j \int \psi_j^* \psi_k \, d\tau \]
  • Since the operator is Hermitian, we require that LHS = RHS. This results in:

\[ \left(a_k - a_j \right) \int \psi_j^* \psi_k \, d\tau = 0 \]
  • If \(a_j \neq a_k\), then we have:

\[ \int \psi_j^* \psi_k \, d\tau = 0 \]
  • This shows that \(\psi_j\) and \(\psi_k\) are orthogonal.

  • Note: If \(a_j = a_k\), meaning the eigenvalues are degenerate, this result does not hold.

Problems#

Problem-1: Is \(xd/dx\) operator Hermitian#

Check weather the operator \(\hat{A} = xd/dx\) is Hermitian.

  • You can test weather the following condition holds:

\[ \int_{a}^{b} \psi_1^*(x) \left( x \frac{d}{dx} \psi_2(x) \right) \, dx = \int_{a}^{b} \left( x \frac{d}{dx} \psi_1(x) \right)^* \psi_2(x) \, dx \]
  • Note how complex conjugation applies to an expression with an operator inside!

  • But since our operator contains no imaginary number complex conjugation only applies to the wavefunction

Problem-2: Is \(d^2/dx^2\) operator Hermitian?#

  • You can test weather the following condition holds

\[ \int_{a}^{b} \psi_1^*(x) \left( \frac{d^2}{dx^2} \psi_2(x) \right) \, dx = \int_{a}^{b} \psi_2(x)\left( \frac{d^2}{dx^2} \psi_1(x) \right)^* \, dx \]
  • Note how complec conjugation applies to an expression with operator inside. but since our operator contains no imaginary numbers it will only apply to wavefunction

Problem-3: Is \(id^2/dx^2\) operator Hermitian?#

  • You can test weather the following condition holds

\[ \int_{a}^{b} \psi_1^*(x) \left( \frac{d^2}{dx^2} \psi_2(x) \right) \, dx = \int_{a}^{b} \psi_2(x)\left( \frac{d^2}{dx^2} \psi_1(x) \right)^* \, dx \]

Problem-4: Identify Hermitian Matrices#

\[\begin{split} A = \begin{pmatrix} 1 & 2 \\ 2 & 3 \end{pmatrix} \end{split}\]
\[\begin{split} B = \begin{pmatrix} i & 1 \\ -1 & -i \end{pmatrix} \end{split}\]
\[\begin{split} C = \begin{pmatrix} 2 & i \\ -i & 2 \end{pmatrix} \end{split}\]

Problem-5 Momentum Matrix#

Show how the momentum operator looks in matrix form using a finite-dimensional example where you evaluate wavefunction onf 4 points which will correspond to \(4 \times 4\) matrix.