Phy5645/Transformations and Symmetry Problem: Difference between revisions
No edit summary |
No edit summary |
||
| Line 119: | Line 119: | ||
Thus we find that a given eigenstate of <math>\hat{F}</math> may not necessarily be an eigenstate of <math>\hat{H}.</math> This is because the eigenstates of <math>\hat{F}</math> are degenerate. There are, however, linear superpositions of eigenstates of <math>\hat{F}</math> that are also eigenstates of <math>\hat{H}.</math> For example, <math>|\psi(0)\rangle</math> is an eigenstate of <math>\hat{F}</math> with eigenvalue <math>+1.\!</math> In addition, one may easily verify that <math>\hat{F}|\psi(k)\rangle=e^{ik}|\psi(2\pi-k)\rangle.</math> Since both the "input" and "output" states are degenerate, we see that <math>|\psi(k)\rangle\pm e^{ik}|\psi(2\pi-k)\rangle</math> is an eigenstate of both <math>\hat{H}</math> and of <math>\hat{F},</math> with an eigenvalue of <math>\pm 1</math> with respect to the latter. | Thus we find that a given eigenstate of <math>\hat{F}</math> may not necessarily be an eigenstate of <math>\hat{H}.</math> This is because the eigenstates of <math>\hat{F}</math> are degenerate. There are, however, linear superpositions of eigenstates of <math>\hat{F}</math> that are also eigenstates of <math>\hat{H}.</math> For example, <math>|\psi(0)\rangle</math> is an eigenstate of <math>\hat{F}</math> with eigenvalue <math>+1.\!</math> In addition, one may easily verify that <math>\hat{F}|\psi(k)\rangle=e^{ik}|\psi(2\pi-k)\rangle.</math> Since both the "input" and "output" states are degenerate, we see that <math>|\psi(k)\rangle\pm e^{ik}|\psi(2\pi-k)\rangle</math> is an eigenstate of both <math>\hat{H}</math> and of <math>\hat{F},</math> with an eigenvalue of <math>\pm 1</math> with respect to the latter. | ||
Back to [[Transformations of Operators and Symmetry]] | Back to [[Transformations of Operators and Symmetry#Problem|Transformations of Operators and Symmetry]] | ||
Revision as of 13:26, 18 January 2014
(a) Given the action of 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}} on a state,
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}|n\rangle = |n+1\rangle,}
we find that the matrix elements of 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}} are
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 \langle i|T|j\rangle = \delta_{1,j+1}.}
We may therefore write 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}} as
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} = \sum_{n=1}^{N} |n+1\rangle\langle n|,}
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 |N+1\rangle = |1\rangle.} The Hermitian adjoint is
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}^{\dagger} = \sum_{n=1}^{N} |n\rangle\langle n+1|,}
so
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}\hat{T}^\dagger = \sum_{m=1}^{N}\sum_{n=1}^{N}(|m+1\rangle\langle m|)(|n\rangle\langle n+1|) = \sum_{m=1}^{N}\sum_{n=1}^{N}\delta_{m,n}|m+1\rangle\langle n+1|= \sum_{n=1}^{N}|n\rangle\langle n| = \hat{I}.}
We have thus shown 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{T}} is unitary.
Let us now find the commutator of 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}} 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{T},\hat{H}] = \sum_{m=1}^{N}\sum_{n=1}^{N}[(|m+1\rangle\langle m|)(|n\rangle \langle n+1| + |n+1\rangle \langle n|) - (|n\rangle \langle n+1| + |n+1\rangle \langle n|)(|m+1\rangle\langle m|)]}
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 = \sum_{n=1}^{N}[|n+1\rangle\langle n+1| + |n+2\rangle\langle n| - |n\rangle\langle n| - |n+1\rangle\langle n-1|]}
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 = \sum_{n=2}^{N+1}|n\rangle\langle n| + \sum_{n=2}^{N+1}|n+1\rangle\langle n-1| - \sum_{n=1}^{N}|n\rangle\langle n| - \sum_{n=1}^{N}|n+1\rangle\langle n-1|}
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 = \sum_{n=1}^{N}[|n+2\rangle\langle n| - |n+1\rangle\langle n-1| = 0 }
Therefore, 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}} commutes with the Hamiltonian.
(b) Let us act on the state 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(k)\rangle} 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{T}:}
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}|\psi(k)\rangle = \sum_{n=1}^{N} e^{ikn}|n+1\rangle=\sum_{n=2}^{N+1}e^{ik(n-1)}|n\rangle=e^{-ik}\left [\sum_{n=2}^{N} e^{ikn}|n\rangle + e^{ik(N+1)}|1\rangle\right ]}
The expression in the brackets is almost 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,} except that the state 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 |1\rangle} in general has the "wrong" coefficient. We may obtain the correct coefficient, and thus an eigenstate of 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},} 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 e^{ikN} = 1.\!}
This is satisfied 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 k=\frac{2\pi n}{N},}
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 0\leq n<N} is an integer. This range of values gives all of the unique eigenstates of 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},} each with eigenvalue 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 e^{-ik}.\!}
We may show that these are also eigenstates of the Hamiltonian, as follows:
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}|\psi(k)\rangle=\sum_{n=1}^{N} (|n\rangle \langle n+1| + |n+1\rangle \langle n|) \sum_{m=1}^{N} e^{ikm}|m\rangle}
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 =\sum_{n=1}^{N} e^{ik(n+1)}|n\rangle + \sum_{n=1}^{N} e^{ikn}|n+1\rangle }
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 = 2\cos{k}|\psi(k)\rangle}
We therefore find that the states 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(k)\rangle} are also eigenstates of 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}} with eigenvalue 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 2\cos{k}.\!} Note that all of these states, except for 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 k=0\!} 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 k=\pi,\!} are two-fold degenerate - if we replace 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 k\!} 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 2\pi-k,\!} then we obtain a state with the same eigenvalue.
(c) Similarly to the previous case, we may conclude from the fact that the effect of 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{F}} is
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{F}|j\rangle = |N+1-j\rangle}
that the operator may be written as
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{F} = \sum_{n=1}^{N} |N+1-n\rangle\langle n|.}
The Hermitian adjoint is
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{F}^{\dagger} = \sum_{n=1}^{N} |n\rangle\langle N+1-n|=\hat{F}.}
We may see that the last equality is true by replacing 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 n\!} 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 N+1-n,\!} and thus 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{F}} is Hermitian. We may see that it is also unitary as follows:
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{F}\hat{F}^{\dagger} = \sum_{i=1}^{N} \sum_{j=1}^{N}|N+1-i\rangle \langle i|j \rangle \langle N+1-j|=\hat{I}.}
These two facts imply 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{F}^2=\hat{I}.}
Let us now determine if it 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{F}\hat{H} = \sum_{m=1}^{N} |N+1-m\rangle\langle m| \sum_{n=1}^{N} (|n\rangle \langle n+1| + |n+1\rangle \langle n|)}
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 = \sum_{n=1}^{N} |N+1-n\rangle \langle n-1| + \sum_{n=1}^{N} |N+1-n\rangle \langle n+1|}
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{F} = \sum_{n=1}^{N} (|n\rangle \langle n+1| + |n+1\rangle \langle n|) \sum_{m=1}^{N} |N+1-m\rangle\langle m|}
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 = \sum_{n=1}^{N} |N+2-n\rangle \langle n| + \sum_{n=1}^{N} |N-n\rangle \langle n|}
The expressions for and are identical, and thus they commute.
(d) We saw from the previous part that . The eigenvalues of are thus
Since we may construct eigenstates by intuition; let us try
where We now act on these states with
Therefore, the states are in fact eigenstates of . It is noted that we have symmetric eigenstates given by
and anti-symmetric eigenstates given by
Thus we find that a given eigenstate of may not necessarily be an eigenstate of This is because the eigenstates of are degenerate. There are, however, linear superpositions of eigenstates of that are also eigenstates of For example, is an eigenstate of with eigenvalue In addition, one may easily verify that Since both the "input" and "output" states are degenerate, we see that is an eigenstate of both and of with an eigenvalue of with respect to the latter.
