If you like us, please share us on social media.
The latest UCD Hyperlibrary newsletter is now complete, check it out.

GeoWiki.png
ChemWiki: The Dynamic Chemistry E-textbook > Physical Chemistry > Quantum Mechanics > 2: Fundamentals of Quantum Mechanics > Heisenberg's Uncertainty Principle > Commuting Operators

MindTouch
Copyright (c) 2006-2014 MindTouch Inc.
http://mindtouch.com

This file and accompanying files are licensed under the MindTouch Master Subscription Agreement (MSA).

At any time, you shall not, directly or indirectly: (i) sublicense, resell, rent, lease, distribute, market, commercialize or otherwise transfer rights or usage to: (a) the Software, (b) any modified version or derivative work of the Software created by you or for you, or (c) MindTouch Open Source (which includes all non-supported versions of MindTouch-developed software), for any purpose including timesharing or service bureau purposes; (ii) remove or alter any copyright, trademark or proprietary notice in the Software; (iii) transfer, use or export the Software in violation of any applicable laws or regulations of any government or governmental agency; (iv) use or run on any of your hardware, or have deployed for use, any production version of MindTouch Open Source; (v) use any of the Support Services, Error corrections, Updates or Upgrades, for the MindTouch Open Source software or for any Server for which Support Services are not then purchased as provided hereunder; or (vi) reverse engineer, decompile or modify any encrypted or encoded portion of the Software.

A complete copy of the MSA is available at http://www.mindtouch.com/msa

Commuting Operators

If two operators commute then both quantities can be measured at the same time, if not then there is a tradeoff in the accuracy in the measurement for one quantity vs. the other.

Introduction

Operators are commonly used to perform a specific mathematical operation on another function. The operation can be to take the derivative or integrate with respect to a particular term, or to multiply, divide, add or subtract a number or term with regards to the initial function. Operators are commonly used in physics, mathematics and chemistry, often to simplifiy complicated equations such as the Hamiltonian operator, used to solve the Schrödinger equation.

Operators

Operators are generally characterized by a hat. Thus they generally appear like the following equation with \(\hat{E}\) being the operator operating on \(f(x)\)

\(\hat{E} f(x) = g(x)\)

For example if \(\hat{E} = d/dx\) then:

\(g(x) = f'(x)\) 

Commuting Operators

One property of operators is that the order of operation matters. Thus:

\(\hat{A}\hat{E}f(x) \not= \hat{E}\hat{A}f(x)\)

unless the two operators commute. Two operators commute if the following equation is true:   

\(\left[\hat{A},\hat{E}\right] = \hat{A}\hat{E} - \hat{E}\hat{A} = 0\)

To determine whether two operators commute first operate \(\hat{A}\hat{E}\) on a function \(f(x)\). Then operate\(\hat{E}\hat{A}\) the same function \(f(x)\). If the same answer is obtained subtracting the two functions will equal zero and the two operators will commute.on

 

Example 1

\(\left[\hat{A},\hat{E}\right]\) where \(\hat{A} = d/dx\) and \(\hat{E} = x^2\) 

\(\hat{A}\hat{E} f(x) = \hat{A}\left[x^2 f(x) \right] = d/dx\left[x^2 f(x)\right] = 2xf(x) + x^2 f'(x)\)

\(\hat{E}\hat{A}f(x) = \hat{E}\left[f'(x)\right] = x^2 f'(x)\)

\(\left[\hat{A},\hat{E}\right] = 2xf(x) + x^2f'(x) - x^2f'(x) = 2xf(x) \not= 0\)

Therefore the two operators do not commute.

 

Example 2

\[\left[\hat{B},\hat{C}\right]\]

where \(\hat{B}= \frac {h} {x}\) and {{math.formula ("\hat{C} = f(x) +5\)

\(\hat{B}\hat{C}f(x) = \hat{B}f(x) +3 = \frac {h} {x} (f(x) +3) = \frac {h f(x)} {x} + \frac {3h} {x} \)

\(\hat{C}\hat{B}f(x) = \hat{C}\frac {h} {x} f(x) = \frac {h f(x)} {x} +3\)

\(\left[\hat{B},\hat{C}\right] = \frac {h f(x)} {x} + \frac {3h} {x} - \frac {h f(x)} {x} -3 \not= 0\)

Example 3: \(\left[\hat{J},\hat{O}\right]\) where \(\hat{J} = 3x\) and \(\hat{O} = x^-1\) 

\(\hat{J}\hat{O}f(x) = \hat{J}(f(x)3x) = f(x)3x/x = 3f(x) \)

\(\hat{O}\hat{J}f(x) = \hat{O}(f(x)/x) = f(x)3x/x = 3f(x) \)

 \(\left[\hat{J},\hat{O}\right] = 3f(x) - 3f(x) = 0\) 

Because the difference is zero the two operators commute.

Applications in Physical Chemistry

Operators are very common in Physical Chemistry with a variety of purposes. They are used to figure out the energy of a wave function using the Schrodinger Equation

\(\hat{H}\psi = E\psi\) 

They also help to explain observations made in the experimentally. An example of this is the relationship between the magnitude of the angular momentum and the components. 

\(\left[\hat{L}^2, \hat{L}^2_x\right] =  \left[\hat{L}^2, \hat{L}^2_y\right] = \left[\hat{L}^2, \hat{L}^2_z\right] = 0  \)

However the components do not commute themselves. An additional property of commuters that commute is that both quantities can be measured simultaneously. Thus, the magnitude of the angular momentum and ONE of the components (usually z) can be known at the same time however, NOTHING is known about the other components.

References

  1. Gohberg, I. Basic Operator Theory; Birkhäuser: Boston, 2001
  2. McQuarrie, D.A. Quantum Chemistry, 2nd Edition; University Science Books:Sausalito, 2008
  3. Schechter, M. Operator Methods in Quantum Mechanics; Dover Publications, 2003

Outside Links

Problems

Determine whether the following combination of operators commute.

\(\left[\hat{K},\hat{H}\right]\) where \(\hat{K} = \alpha \displaystyle \int {[1]}^{[\infty]} d[x]\) and \(\hat{H} = d/dx\)

\(\left[\hat{I},\hat{L}\right]\) where \(\hat{I} = 5\) and \(\hat{L} = \displaystyle \int_{[1]}^{[\infty]} d[x]\) \(   \)

Show that the components of the angular momentum do not commute. 

\[\hat{L}_x = -i \hbar \left[ -\sin \left(\phi \dfrac {\delta} {\delta \theta} \right) - \cot (\Theta) \cos \left( \phi \dfrac {\delta} {\delta \phi} \right) \right]   \]

\[\hat{L}_y = -i \hbar \left[ \cos \left(\phi \dfrac {\delta} {\delta \theta} \right) - \cot (\Theta) \cos \left( \phi \dfrac {\delta} {\delta \phi} \right) \right]   \]

\(\hat{L}_z = -i\hbar \dfrac {\delta} {\delta\theta}   \)

Answer:

\(\left[\hat{L}_z,\hat{L}_x\right] = i\hbar \hat{L}_y  \)

\(\left[\hat{L}_x,\hat{L}_y\right] = i\hbar \hat{L}_z  \)

\(\left[\hat{L}_y,\hat{L}_z\right] = i\hbar \hat{L}_x  \)

You must to post a comment.
Last Modified
12:57, 9 Jul 2014

Tags

Classifications

(not set)
(not set)

Creative Commons License Unless otherwise noted, content in the UC Davis ChemWiki is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License. Permissions beyond the scope of this license may be available at copyright@ucdavis.edu. Questions and concerns can be directed toward Prof. Delmar Larsen (dlarsen@ucdavis.edu), Founder and Director. Terms of Use