Transformations of Operators and Symmetry: Difference between revisions
Line 46: | Line 46: | ||
Subtracting these two equations, we see that, because <math>|\psi\rangle</math> is arbitrary, the Hamiltonian commutes with the transformation operator; i.e., <math>[\hat{H},\hat{U}]=0.</math> | Subtracting these two equations, we see that, because <math>|\psi\rangle</math> is arbitrary, the Hamiltonian commutes with the transformation operator; i.e., <math>[\hat{H},\hat{U}]=0.</math> | ||
This is a very important result; we know that, if two operators commute, then it is possible to simultaneously diagonalize them. Many of the transformations that we will consider in quantum mechanics are "generated" from observables - for example, as we saw in the previous section, the translation operator, <math>\hat{T}(\mathbf{l})=\exp\left (-\frac{i\hat{\mathbf{p}}\cdot\mathbf{l}}{\hbar}\right ),</math> is "generated" from the momentum. In fact, ''any'' unitary transformation can be written in the form, <math>\hat{U}=e^{i\hat{O}},</math> where <math>\hat{O}</math> is a (dimensionless) Hermitian operator. If such a transformation commutes with the Hamiltonian, then it implies that the "generating" observable itself commutes with the Hamiltonian, and thus the eigenstates of the Hamiltonian are also eigenstates of the observable. This allows us to classify our eigenstates according to the value of the given observable. | This is a very important result; we know that, if two operators commute, then it is possible to simultaneously diagonalize them. Many of the transformations that we will consider in quantum mechanics are "generated" from observables - for example, as we saw in the previous section, the translation operator, <math>\hat{T}(\mathbf{l})=\exp\left (-\frac{i\hat{\mathbf{p}}\cdot\mathbf{l}}{\hbar}\right ),</math> is "generated" from the momentum. In fact, ''any'' unitary transformation can be written in the form, <math>\hat{U}=e^{i\hat{O}},</math> where <math>\hat{O}</math> is a (dimensionless) Hermitian operator, and thus can be said to be "generated" from an observable. If such a transformation commutes with the Hamiltonian, then it implies that the "generating" observable itself commutes with the Hamiltonian, and thus the eigenstates of the Hamiltonian are also eigenstates of the observable. This allows us to classify our eigenstates according to the value of the given observable. | ||
==Commutators & symmetry == | ==Commutators & symmetry == |
Revision as of 11:21, 22 July 2013
Transformations of Operators
In the previous section, we discussed operators as transformations of vectors. In many cases, however, we will be interested in how operators, observables in particular, will transform under the action of another operator. Given an operator Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}} and a transformation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{T},} we define the transformed operator Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}'} as follows. Given the relation,
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{A}|\psi\rangle=|\phi\rangle,}
between two vectors Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\psi\rangle} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\phi\rangle} , the operator is the operator giving the relation between and i.e.,
To find let us first act on both sides of the original relation with
We now introduce the identity between and in the form,
Using the above definitions of and we may write this as
We see then that the transformed operator In matrix form, this would simply correspond to a similarity transformation of
Of particular importance is the case in which is unitary and is an observable. This is because, in addition to preserving the normalization of the state vectors, as mentioned in the previous section, they also preserve the Hermitian nature of
Symmetry and its Role in Quantum Mechanics
Having discussed the transformation of operators, we will now apply our results to discuss symmetries of the Hamiltonian, a very important topic. As alluded to in the previous section, identifying the symmetries of the Hamiltonian will allow us to greatly simplify the problem at hand. In addition, in both classical and quantum mechanics, symmetry transformations become important due to their relation to conserved quantities via Noether's Theorem. Moreover, in quantum mechanics, the importance of symmetries is further enhanced by the fact that measurements of conserved quantities can be exact in spite of the probabilistic nature of quantum predictions.
Given a unitary transformation we say that it is a symmetry of the Hamiltonian if it leaves the Hamiltonian invariant; i.e., if We will now show that, if a transformation is a symmetry of the Hamiltonian, then it commutes with the Hamiltonian. To see this, let us take the relation,
and act on both sides with
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{U}\hat{H}|\psi\rangle=\hat{U}|\phi\rangle}
Now, if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{U}} is a symmetry of the Hamiltonian, then it must also be true that
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{H}\hat{U}|\psi\rangle=\hat{U}|\phi\rangle.}
Subtracting these two equations, we see that, because Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\psi\rangle} is arbitrary, the Hamiltonian commutes with the transformation operator; i.e., Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{H},\hat{U}]=0.}
This is a very important result; we know that, if two operators commute, then it is possible to simultaneously diagonalize them. Many of the transformations that we will consider in quantum mechanics are "generated" from observables - for example, as we saw in the previous section, the translation operator, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{T}(\mathbf{l})=\exp\left (-\frac{i\hat{\mathbf{p}}\cdot\mathbf{l}}{\hbar}\right ),} is "generated" from the momentum. In fact, any unitary transformation can be written in the form, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{U}=e^{i\hat{O}},} where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{O}} is a (dimensionless) Hermitian operator, and thus can be said to be "generated" from an observable. If such a transformation commutes with the Hamiltonian, then it implies that the "generating" observable itself commutes with the Hamiltonian, and thus the eigenstates of the Hamiltonian are also eigenstates of the observable. This allows us to classify our eigenstates according to the value of the given observable.
Commutators & symmetry
We can define an operator called the parity operator, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{P}} which does the following:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{P}f(x)=f(-x).}
The parity operator commutes with the Hamiltonian Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{H}} if the potential is symmetric, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{V}(r)=\hat{V}(-r)} . Since the two commute, the eigenfunctions of the Hamiltonian can be chosen to be eigenfunctions of the parity operator. This means that if the potential is symmetric, the solutions can be chosen to have definite parity (even and odd functions).