Skip to main content
Chemistry LibreTexts

9.7: Postulates and Principles of Quantum Mechanics (Exercises)

  • Page ID
    287026
  • \( \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}\)

    Solutions to select questions can be found online.

    4.3

    The function \(ψ^*ψ\) has to be real, nonnegative, finite, and of definite value everywhere. Why?

    Solution

    If we follow the Born interpretation of wavefuntions, then \(ψ^*ψ\) is a probability density and hence must follow standard probability properties including being non-negative, finite and of a definite value at any relevant point in the space of the wavefunction. Moreover, the integral of \(ψ^*ψ\) over all this space must be equal to 1.

    4.5

    Why are the following functions not acceptable wave functions for a 1D particle in a box with length \(a\) ? \(N\) is a normalization constant.

    1. \({\psi}=N{\cos \dfrac{n{\pi}x}{L}\ }\)
    2. \({\psi}=\dfrac{N}{\sin \dfrac{n{\pi}x}{a}\ }\)
    3. \({\psi}=N{\tan \dfrac{{\pi}x}{a}\ }\)
    Solution

    The boundary conditions that need to be met are \({\psi}\left(0\right)={\psi}\left(a\right)=0\). This does not meet them. The proposed wavefunction blows up to infinity at \(x=0\) and \(x=a\) Tan is not defined for \(x=\dfrac{a}{2}\)

    4.12

    Show that the sets of functions: \(\sqrt{\dfrac{2}{L}}\sin\left(\dfrac{n\pi x}{L}\right)\) where \(n\) = 1,2,3... is orthonormal.

    Solution

    Let

    \(\psi =\sqrt{\dfrac{2}{L}}\sin \left(\dfrac{n\pi x}{L} \right)\)

    Because \(\psi^* = \psi\) and is real, then

    \[\int_0^L \psi^*\psi dx = \int_0^L \sqrt{\dfrac{2}{L}}\sin \left(\dfrac{n\pi x}{L} \right)\sqrt{\dfrac{2}{L}}\sin \left(\dfrac{m\pi x}{L}\right)dx\nonumber \]

    Letting \(n=m\)

    \[ \begin{align*} \int_0^L \psi^*\psi dx &= \dfrac{2}{L}\int_0^L \sin \left(\dfrac{n\pi x}{L} \right) \sin\left(\dfrac{n\pi x}{L}\right)dx \\[4pt] &= \dfrac{2}{L}\int_0^L \sin^2 \left(\dfrac{n\pi x}{L} \right)dx\end{align*}\]

    \[\dfrac{2}{L}\int_0^L \sin^2 \left(\dfrac{n\pi x}{L} \right)dx = 1\nonumber \]

    Letting \(n \neq m\)

    \[ \begin{align*} \int_0^L \psi^*\psi dx &= \dfrac{2}{L}\int_0^L \sin \left(\dfrac{n\pi x}{L} \right) \sin\left(\dfrac{m\pi x}{L}\right)dx \\[4pt] &=\dfrac{2}{L}\dfrac{1}{2} \int_0^L\left[ \cos \left(\dfrac{(n-m)\pi x}{L} \right) - \cos\left(\dfrac{(n+m)\pi x}{L}\right) \right]dx \\[4pt] &= \dfrac{1}{L} \left[\dfrac{L}{(n-m)\pi} \left[\sin\left(\dfrac{(n-m)\pi L}{L}\right)-\sin\left(\dfrac{(n-m)\pi 0}{L}\right)\right]-\dfrac{L}{(n+m)\pi} \left[\sin\left(\dfrac{(n+m)\pi L}{L}\right)-\sin\left(\dfrac{(n+m)\pi 0}{L}\right)\right]\right] =0 \end{align*}\]

    and thus \(\sqrt{\dfrac{2}{L}}\sin \left(\dfrac{n\pi x}{L}\right)\) (n=1, 2, 3, ...) are orthonormal.

    4.13

    Show that \(a\cdot b\cdot c = \sum_{ik} a_i b_i c_k e_k\)

    \[\sum_{i}a_ie_i\cdot\sum_{j}b_je_j\cdot\sum_{k}c_ke_k=\sum_{ik} a_i b_i c_k e_k\nonumber \]

    \[\sum_{i}\sum_{j}a_ib_j(e_i\cdot e_j)\cdot\sum_{k}c_ke_k=\sum_{ik} a_i b_i c_k e_k\nonumber \]

    \[e_i \cdot e_j=\delta_{ij}=1\nonumber \]

    when \(i=j\)

    \[\sum_{i}a_ib_i\cdot \sum_{k}c_ke_k=\sum_{ik} a_i b_i c_k e_k\nonumber \]

    \[\sum_{ik}a_ib_ic_ke_k=\sum_{ik} a_i b_i c_k e_k\nonumber \]

    4.14

    Determine if the following operators commute

    \[\hat{B} = \dfrac{d}{dx}\nonumber \]

    and

    \[\hat{C} = x^5\nonumber \]

    Solution

    We must solve \(\left[\hat{B},\hat{C}\right]\), by solving for \(\hat{B} \{\hat{C} f(x)\} \) and \(\hat{C} \{\hat{B} f(x)\}\) for a wavefunction \(f(x)\) and see if they are equal.

    \[\hat{B} \{\hat{C} f(x)\} = \hat{B}\{ x^5 f(x) \}= \dfrac{d}{dx} \{ x^5 f(x)\} = 5xf(x) + x^5 f'(x)\nonumber \]

    \[\hat{C} \{\hat{B}f(x)\} = \hat{C}\{f'(x)\} = x^5 f'(x)\nonumber \]

    since

    \[\left[\hat{B},\hat{C}\right] = 5x f(x) + x^5 f'(x) - x^2f'(x) = 5x f(x) \not= 0\nonumber \]

    The two operators do not commute.

    4.15

    Do the following combinations of angular momentum operators commute? Show work to the justify the answer (do not just write "yes" or no").

    1. \(\textbf{L}_x\) and \(\textbf{L}_y \)
    2. \(\textbf{L}_y\) and \(\textbf{L}_z \)
    3. \(\textbf{L}_z\) and \(\textbf{L}_x \)

    with

    \[\textbf{L}_x = -{\rm i}\,\hbar\left(y\,\dfrac{\partial}{\partial z} - z\,\dfrac{\partial} {\partial y}\right) \nonumber \]

    \[ \textbf{L}_y = -{\rm i}\,\hbar\left(z\,\dfrac{\partial}{\partial x} - x\,\dfrac{\partial} {\partial z}\right) \nonumber \]

    \[ \textbf{L}_z = -{\rm i}\,\hbar\left(x\,\dfrac{\partial}{\partial y} - y\,\dfrac{\partial} {\partial x}\right) \nonumber \]

    Estimate the answer to Part C based on the pattern gathered from parts A and B; no work necessary for Part C.

    Solution

    a.

    \[[\textbf{L}_x, \textbf{L}_y] = (y p_z - z p_y)(z p_x - x p_z)\Psi - (z p_x - x p_z)(y p_z - z p_y)\Psi ,\nonumber \]

    \[= (z p_x y p_z - z^{2} p_x p_y - x y p_z p_z - x z p_y p_z)\Psi - (y p_z z p_x - y x p_z p_z + z ^{2} p_y p_x + z x p_z p_y)\Psi\nonumber \]

    \[[\textbf{L}_x, \textbf{L}_y] = i\hbar \textbf{L}_z ,\nonumber \]

    Does not commute, i.e., is not zero.

    [L x ,L y ]=iL z , [L x ,L y ]=iL z , [L x ,L y ]=iL z , [L x ,L y ]=iL z ,

    b.

    \[[\textbf{L}_y, \textbf{L}_z] = (z p_x - x p_z)(x p_y - y p_x)\Psi - (x p_y - y p_x)(z p_x - x p_z)\Psi\nonumber \]

    \[= (x p_y z p_x - x^{2} p_y p_z - y z p_x p_x - y x p_z p_x)\Psi - (z p_x x p_y - z y p_x p_x + x ^{2} p_z p_y + x y p_x p_z)\Psi\nonumber \]

    \[[\textbf{L}_y, \textbf{L}_z] = i\hbar \textbf{L}_x ,\nonumber \]

    Does not commute, i.e., is not zero.

    c. This part only requires that we notice the rotation of variables and consistency of format/equations. In doing so, we better understand the relation between the parts of the angular momentum operator. The work below does not need to be shown for credit, but it may clarify things or make the solution clearer if you are still having trouble assessing and using the pattern.

    \[[\textbf{L}_z, \textbf{L}_x] = (x p_y - y p_x)(y p_z - z p_y)\Psi - (y p_z - z p_y)(x p_y - y p_x)\Psi\nonumber \]

    \[= (y p_z x p_y - y^{2} p_z p_x - z x p_y p_y - z y p_x p_y)\Psi - (x p_y y p_z - x z p_y p_y + y^{2} p_x p_z + y z p_y p_x)\Psi\nonumber \]

    \[[\textbf{L}_z, \textbf{L}_x] = i\hbar \textbf{L}_y , \nonumber \]

    Does not commute, i.e., is not zero.

    These calculations show that you can have only one well-defined component of the angular momentum because of the uncertainty principle says the others will not be known (since they do not commute).

    4.17

    For two operators to commute, what property must hold? Use the operators \( \hat{L^2} \) and \( \hat{L_z} \) as an example to show that this property holds.

    Solution

    The commuters when applied to a wavefunction must equal the 0 eigenfunction.

    \( \hat{L^2}\hat{L_z}\psi(x) - \hat{L_z}\hat{L^2}\psi(x) = 0 \)

    \( \hat{L^2}\hat{L_z} - \hat{L_z}\hat{L^2}\psi(x)= \hat{0}\psi(x) \)

    \( \hat{L^2}\hat{L_z} - \hat{L_z}\hat{L^2}= 0 \)

    4.21

    Show that the angular momentum and kinetic energy operators commute and therefore can be measured simultaneously to arbitrary precision.

    Solution

    Show that

    \[ [ \hat{K} , \hat{L}] \ = \ 0\nonumber \]

    where the operators can be broken up into 3 components

    \[L_x = -{\rm i}\,\hbar\left(y\,\dfrac{\partial}{\partial z} - z\,\dfrac{\partial} {\partial y}\right) \nonumber \]

    \[ L_y = -{\rm i}\,\hbar\left(z\,\dfrac{\partial}{\partial x} - x\,\dfrac{\partial} {\partial z}\right) \nonumber \]

    \[ L_z = -{\rm i}\,\hbar\left(x\,\dfrac{\partial}{\partial y} - y\,\dfrac{\partial} {\partial x}\right) \nonumber \]

    and \(\hat{K_x} \ = \ \dfrac{-\hbar^2}{2m} \dfrac{\partial ^2}{\partial x^2} \) . The same can be written for \(\hat{K}\) in the y and z directions.

    \[ [ \hat{K} , \hat{L} ] = [\hat{K_x},\hat{L_x}] + [\hat{K_y},\hat{L_y}] + [\hat{K_z},\hat{L_z}] \nonumber \]

    For the x-direction

    \[ [\hat{K_x} , \hat{L_x}] = \left[ \dfrac{-\hbar^2}{2m} \dfrac{\partial^2}{\partial x^2}, -i\hbar \Big( y\dfrac{d}{dz} - z\dfrac{d}{dy} \Big) \Big) \right] \nonumber \]

    \[ \dfrac{-\hbar^2}{2m} \dfrac{d^2}{dx^2} \Big(-i\hbar \Big( y\dfrac{d}{dz} - z\dfrac{d}{dy} \Big) \Big) - -i\hbar \Big( y\dfrac{d}{dz} - z\dfrac{d}{dy} \Big) \Big) \dfrac{-\hbar^2}{2m} \dfrac{d^2}{dx^2}\nonumber \]

    \[ \dfrac{i\hbar^3}{2m} \Big( y\dfrac{d^3}{dx^2 dz} - z\dfrac{d^3}{dx^2 dy} \Big) - \dfrac{i\hbar^3}{2m} \Big( y\dfrac{d^3}{dx^2 dz} - z\dfrac{d^3}{dx^2 dy} \Big) \ = \ 0\nonumber \]

    The process can be repeated for the y and z directions and following the same steps the commutations turn out to be 0. Therefore, kinetic energy and angular momentum commute.

    4.22

    Show that the position and angular momentum operator commutes. Can the position and angular momentum be measured simultaneously to a arbitrary precision?

    Solution

    First, we must prove that the position operator, \(\mathbf{\hat{R}} = \mathbf{i}\hat{x} + \mathbf{j}\hat{y} + \mathbf{k}\hat{z}\), and the angular momentum operator \(\mathbf{\hat{L}} = \mathbf{i}\hat{L_x} + \mathbf{j}\hat{L_y} + \mathbf{k}\hat{L_z}\), commute.

    In order to prove the commutation,

    \[[\mathbf{\hat{R}},\mathbf{\hat{L}}] = [\mathbf{i}\hat{x} + \mathbf{j}\hat{y} + \mathbf{k}\hat{z},\mathbf{i}\hat{L_x} + \mathbf{j}\hat{L_y} + \mathbf{k}\hat{L_z}]\nonumber \]

    \[ = \ [\hat{x},\hat{L_x}] \ + \ [\hat{y},\hat{L_y}] \ + \ [\hat{z},\hat{L_z}]\nonumber \]

    \[ \ = \ 0\nonumber \]

    where we have used the fact that

    \[\mathbf{i}\centerdot\mathbf{i} = \mathbf{j}\centerdot\mathbf{j} = \mathbf{k}\centerdot\mathbf{k} = 1\nonumber \]

    and

    \[\mathbf{i}\centerdot\mathbf{j} = \mathbf{j}\centerdot\mathbf{k} = \mathbf{k}\centerdot\mathbf{i} = 0\nonumber \]

    Now that we have proved that the two operators commute, the relationship of commutation means that the position and total angular momentum of any electrons can be measured simultaneously to arbitrary precision.

    4.25

    If both \(|Ψ_n \rangle\) and \(|Ψ_m \rangle\) satisfy the time-independent Schrödinger Equation (these are called stationary states)

    \[|Ψ_n(x,t) \rangle = Ψ_n(x)e^{-iE_nt/ \hbar}\nonumber \]

    and

    \[ | Ψ_m(x,t) \rangle = Ψ_m(x)e^{-iE_mt/ \hbar}\nonumber \]

    show that any linear superposition of the two wavefunctions

    \[|Ψ(x,t) \rangle = c_n | Ψ_n(x,t) \rangle + c_m |Ψ_m(x,t) \rangle \nonumber \]

    also satisfies the time-dependent Schrödinger Equation.

    Solution

    The time-dependent Schrödinger Equation is

    \[\hat{H}Ψ(x,t) =iћ Ψ(x,y)/∂t\nonumber \]

    Plug Ψ(x,t) into the time-dependent equation.

    \[\hat{H}cnΨn(x)e-iEnt/ ћ + cmΨm(x)e-iEmt/ ћ = iћ /∂tcnΨn(x)e-iEnt/ ћ + cmΨm(x)e-iEmt/ ћ \nonumber \]

    \[\hat{H}cnΨn(x)e-iEnt/ ћ + cmΨm(x)e-iEmt/ ћ = EncnΨn(x)e-iEnt/ ћ + EmcmΨm(x)e-iEmt/ ћ\nonumber \]

    \[∂/∂tcnΨn(x)e-iEnt/ ћ + cmΨm(x)e-iEmt/ ћ = -[(iEmcme-iEmt/ ћΨm(x))/ћ]-[(iEncne-iEnt/ ћΨn(x))/ћ]\nonumber \]

    combine all the constants (except for E) into cn and cm

    \[iћ [-[(icme-iEmt/ ћΨm(x))/ћ]-[(icne-iEntΨn(x))/ћ]]=EncnΨn(x)e-iEnt/ ћ + EmcmΨm(x)e-iEmt/ ћ\nonumber \]

    \[Since \hat{H}Ψ(x,t) and iћ Ψ(x,y)/∂t are equal, they satisfy the time-dependent equation. \nonumber \]

    4.26

    Starting with

    \[ \langle x \rangle = \int \psi^*(x,t) x \psi(x,t) dx \nonumber \]

    and the time-independent Schrödinger equation, demonstrate that

    \[\dfrac{d\langle x \rangle }{dt}=\int \psi^* \dfrac{i}{\hbar}(\hat H x- x\hat H)\psi dx \nonumber \]

    Given that

    \[\hat H = \dfrac {-\hbar^2}{2m} \dfrac{d^2}{dx^2}+V(x)\nonumber \]

    show that

    \[\hat H x- x\hat H = -2 \dfrac {\hbar^2}{2m} \dfrac{d}{dx} = -\dfrac {\hbar^2}{m} \dfrac {i}{\hbar} \hat P_x = -\dfrac {ih}{m}\hat P_x\nonumber \]

    4.28

    Derive the condition on operators that arises from forcing eigenvalues to be real with complex conjugates.

    Solution

    Starting with an eigenvalue problem with a \(\hat{G}\) as our operator we recognize

    \[\hat{G}\psi = \lambda\psi\nonumber \]

    Solving for our eigenvalue we must multiply by our complex conjugate wavefunction and integrate both sides to see

    \[\int\psi^*\hat{G}\psi d\tau = \int\psi^*\lambda\psi d\tau = \lambda\int\psi^*\psi d\tau =\lambda\nonumber \]

    We can repeat this calculation but with a complex conjugate of our initial eigenvalue problem

    \[\hat{G}^*\psi^* = \lambda^*\psi^*\nonumber \]

    Solving for our eigenvalue we multiply \(\psi\) and integrate both sides to find that

    \[\int\psi\hat{G}^*\psi^* d\tau = \int\psi\lambda^*\psi^* d\tau = \lambda^*\int\psi\psi^* d\tau =\lambda\nonumber \]

    Since we restricted \(\lambda\) to be real both eigenvalue problems return the same eigenvalue. We can then relate the operator side of both equations to know that

    \[\boxed{\int\psi^*\hat{G}\psi d\tau=\int\psi\hat{G}^*\psi^* d\tau}\nonumber \]

    4.31

    Prove that the position operator is Hermitian.

    Solution

    We must see if the operator satisfies the following requirement to be in Hermitian:

    \[\int^\infty_{-\infty} (\hat{A}\psi^*)\psi\,dx = \int^\infty_{-\infty} \psi^*\hat{A}\psi\,dx\nonumber \]

    Substitute \(\hat{X}\) for \(\hat{A}\) into the above equation:

    \[\int^\infty_{-\infty} (\hat{A}\psi^*)\psi\,dx = \int^\infty_{-\infty} \psi^*\hat{A}\psi\,dx\nonumber \]

    \[\int^\infty_{-\infty} (\hat{X}\psi^*)\psi\,dx = \int^\infty_{-\infty} \psi^*\hat{X}\psi\,dx\nonumber \]

    \[\int^\infty_{-\infty} (\hat{X}\psi)^*\psi\,dx = \int^\infty_{-\infty} \psi^*\hat{X}\psi\,dx\nonumber \]

    \[\int^\infty_{-\infty} \psi^*\hat{X}^*\psi\,dx = \int^\infty_{-\infty} \psi^*\hat{X}\psi\,dx\nonumber \]

    Since \(\hat{X}^* \equiv \hat{X}\):

    \[\int^\infty_{-\infty} \psi^*\hat{X}\psi\,dx = \int^\infty_{-\infty} \psi^*\hat{X}\psi\,dx\nonumber \]

    Therefore the Position Operator is Hermitian.

    4.31

    Prove that the momentum operator is a Hermitian

    Solution

    Hermitian: \(\int\psi_{j}^{*}\hat{H}\psi_{i}dx\)

    Momentum Operator: \(\hat{P} = -i\hbar \dfrac{d}{dx}\)

    We will first start by showing you \[\int_{-\infty}^{\infty} \psi_{j}(-i\hbar \dfrac{d}{dx})psi_{i}dx\nonumber \]

    \(\dfrac{d\psi_{i}}{dx} dx = d\psi_{i}\)

    \(\int_{-\infty}^{\infty} \psi_{j}(-i\hbar \dfrac{d}{dx})psi_{i}dx\) = i\(\hbar \int_{-\infty}^{\infty} psi_{j} d\psi_{i}\)

    Using integration by parts with u = \psi_{j}*\ and dv = d\psi_{i}

    We can notice now that for a confined particle the product \psi_{j}^{*}\psi_{i} will go to zero at each of the endpoints

    We get in the end \(-i\hbar \dfrac{d}{dx}\) = \(-i\hbar \dfrac{d}{dx}\) → momentum operator

    4.32

    Which of the following operators are Hermitian:

    1. \(x\),
    2. \(d/dx\)
    3. \(hd^2/dx^2\)
    4. \(id^2/dx^2\)
    Solution

    A Hermitian Operator \(\hat{A}\) satisfies

    \[<Ψ^*|A|Ψ> = <Ψ|A^*|Ψ*> \nonumber \]

    x

    \[ \int Ψ*xΨdx = \int ΨxΨ*dx\nonumber \]

    where \(x^* = x\).

    Operator \(x\) is Hermitian

    d/dx

    \[\int Ψ* d/dxΨdx\nonumber \]

    \[= \int Ψ* dΨ\nonumber \]

    Here we can use Integration by Parts \int vdu = uv + \int udv with v=Ψ* and dv = dΨ

    \[= [Ψ*Ψ] - \int ΨdΨ*\nonumber \]

    [Ψ*Ψ] evaluated at infinity and negative infinity is 0, because of the assumption that this wavefunction approaches 0 as one extends to infinity in both directions

    \[= -\int Ψd/dxΨ*dx\nonumber \]

    Here we inserted dx/dx into the integral

    \[= \int Ψ(-d/dx)Ψ*dx\nonumber \]

    d/dx* = d/dx, not -d/dx,so this operator is not Hermitian.

     

    hd2/dx2

    \[\int Ψ*h(d^2/dx^2)Ψdx\nonumber \]

    \[= h\int Ψ*(d^2/dx)Ψ\nonumber \]

    Here we can use Integration by Parts \int vdu = uv + \int udv with u=Ψ* and dv=d(dΨ/dx)

    \[= h[Ψ*dΨ/dx] - \int (dΨ/dx)dΨ*\nonumber \]

    \[= h[Ψ*dΨ/dx] - \int (dΨ*/dx)dΨ\nonumber \]

    [Ψ*dΨ/dx] evaluated at infinity and negative infinity is 0, because of the assumption that this wavefunction approaches 0 as one extends to infinity in both directions. This implies that that dΨ/dx, for example, also approach 0.

    \[= - h\int (dΨ*/dx)dΨ \nonumber \]

    Here we can use Integration by Parts \int vdu = uv + \int udv with u=dΨ*/dx and dv=dΨ

    \[=-h( [ΨdΨ*/dx] - \int Ψd^2Ψ*/dx\nonumber \]

    [Ψ*dΨ/dx] evaluated at infinity and negative infinity is 0, because of the assumption that this wavefunction approaches 0 as one extends to infinity in both directions. This implies that that dΨ*/dx, for example, also approaches 0.

    \[= h\int Ψ(d^2Ψ*/dx)\nonumber \]

    \[= h\int Ψ(d^2Ψ*/dx^2)dx \nonumber \]

    \[= \int Ψh(d^2/dx^2)Ψ*dx \nonumber \]

    h(d2/dx2)* = h(d2/dx2), so this operator is Hermitian

     

    id2/dx2

    \[\int Ψ*i(d^2/dx^2)Ψdx\nonumber \]

    \[= i\int Ψ*(d^2/dx)Ψ\nonumber \]

    Here we can use Integration by Parts

    \[ \int vdu = uv + \int udv\nonumber \]

    with u=Ψ* and dv=d(dΨ/dx)

    \[= i[Ψ*dΨ/dx] - \int (dΨ/dx)dΨ*\nonumber \]

    \[= i[Ψ*dΨ/dx] - \int (dΨ*/dx)dΨ \nonumber \]

    [Ψ*dΨ/dx] evaluated at infinity and negative infinity is 0, because of the assumption that this wavefunction approaches 0 as one extends to infinity in both directions. This implies that that dΨ/dx, for example, also approach 0.

    \[= - i\int (dΨ*/dx)dΨ \nonumber \]

    Here we can use Integration by Parts \int vdu = uv + \int udv with u=dΨ*/dx and dv=dΨ

    \[=-i( [ΨdΨ*/dx] - \int Ψd^2Ψ*/dx\nonumber \]

    [Ψ*dΨ/dx] evaluated at infinity and negative infinity is 0, because of the assumption that this wavefunction approaches 0 as one extends to infinity in both directions. This implies that that dΨ*/dx, for example, also approach 0.

    \[= i\int Ψ(d^2Ψ*/dx)\nonumber \]

    \[= i\int Ψ(d^2Ψ*/dx^2)dx \nonumber \]

    \[= \int Ψi(d^2/dx^2)Ψ*dx \nonumber \]

    \[i(d^2/dx^2)* = -i(d^2/dx^2)\nonumber \]

    so this operator is NOT Hermitian

    4.32

    Determine whether the following operators are Hermitian and whether they commute:

    \[\hat{A}=i \dfrac{d}{dx}\nonumber \]

    and

    \[\hat{B}=i \dfrac{d^2}{dx^2}\nonumber \]

    Given that -\(\infty\)<x<\(\infty\) and the operators functions are well behaved.

    Solution

    If the operator satisfies this condition it is Hermitian

    \[\int_{-\infty}^{\infty} f^*\left(x\right)\hat{A}f\left(x\right)dx=\int_{-\infty}^{\infty} f\left(x\right)\hat{A}f^*\left(x\right)dx\nonumber \]

    A)

    \[\int_{-\infty}^{\infty} f^*\left(i\dfrac{df}{dx}\right)dx=i\int_{-\infty}^{\infty} f^*\dfrac{df}{dx}dx=i\left([_{-\infty}^{\infty} f^* f]-\int_{-\infty}^{\infty} f\dfrac{df^*}{dx}dx\right)\nonumber \]

    \[=-i\int_{-\infty}^{\infty} f\dfrac{df^*}{dx}dx=\int_{-\infty}^{\infty} f\left(-i\dfrac{d}{dx}\right)f^*dx\nonumber \]

    \[\int_{-\infty}^{\infty} f\left(i\dfrac{d}{dx}\right)^*f^*dx\nonumber \]

    This operator is Hermitian

    B)

    \[\int_{-\infty}^{\infty} f^*\left(i\dfrac{d^2f}{dx^2}\right)dx=[_{-\infty}^{\infty} f^* i\dfrac{df}{dx}]-\int_{-\infty}^{\infty} \dfrac{df^*}{dx}\dfrac{df}{dx}dx\nonumber \]

    \[=-i[_{-\infty}^{\infty} f\dfrac{df^*}{dx}]+i\int_{-\infty}^{\infty} f\dfrac{d^2f^*}{dx^2}dx\nonumber \]

    \[=-\int_{-\infty}^{\infty} f\dfrac{id^2}{dx^2}^*f^*dx\nonumber \]

    This operator is not Hermitian

    If the operators commute they have to satisfy this condition

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

    \[\hat{A}\hat{B}f=\dfrac{id}{dx}\left(\dfrac{d^2f}{dx^2}\right)=\dfrac{id^3f}{dx^3}\nonumber \]

    \[\hat{B}\hat{A}f=\dfrac{id^2}{dx^2}\left(\dfrac{df}{dx}\right)=\dfrac{id^3f}{dx^3}\nonumber \]

    This pair of operators commutes.

    4.34

    Consider two wavefunctions $$\psi_1(x) = A\sin(k_1x) + B\cos(k_1x)$$and

    \[\psi_2(x) = C\sin(k_2x) + D\cos(k_2x)\nonumber \]

    Given the boundary conditions are:

    \[\psi(0) = 0\nonumber \]

    and

    \[\dfrac{d\psi_1}{dx} = \dfrac{d\psi_2}{dx} \;\;\; at x=0\nonumber \]

    \[A+B = C, k_1(A-B) = k_2C\nonumber \]

    and given a expression of

    $$R = \dfrac {B^2}{A^2}$$

    Derive the simplest expression of \(R\) based on the terms from the boundary conditions provided above.

    Solution

    Since

    $$A+B = C, k_1(A-B) = k_2C$$,

    $$k_1(A-B) = k_2 (A+B)$$

    $$k_1A - k_1B = k_2A + k_2B$$

    $$(k_1 - k_2)A = (k_1 + k_2)B$$

    Thus,

    $$\dfrac{B}{A} = \dfrac{k_1 - k_2}{k_1 + k_2}$$

    $$R = \dfrac {B^2}{A^2} =\left (\dfrac{B}{A} \right)^2= \left (\dfrac{k_1 - k2}{k_1 + k_2} \right)^2$$

    4.34

    A particle is moving in a field. Half-way through the field, there is a line that represents potential energy. To the left of the line, the potential energy is \[x < 0\nonumber \] and to the right of the line the potential energy is \[x > 0\nonumber \]. If the particle's energy is less than the potential energy line will the particle reflect when the its energy is greater than the Potential energy barrier height?

    Solution

    When \[x <0\nonumber \] the Schrödinger equation is as followed:

    \[\dfrac{-\hbar^{2}}{2m}\dfrac{d^2\psi_{1}}{dx^2} = E\psi_{1}\nonumber \]

    and the solution to this equation is:

    \[\psi_1(x)= Ae^{ik_1x}+Be^{-ik_1x}\nonumber \]

    where

    \[k_1 = (\dfrac{2mE}{\hbar^2})^{1/2}\nonumber \]

    Region Two where \(x>0\):

    \[-\dfrac{\hbar^2}{2m}\dfrac{d^2\psi_2}{dx^2}+V_0 \psi_2= E\psi_2\nonumber \]

    and the solution to the equation is:

    \[\psi_2(x)= Ce^{ik_2x}+ De^{-ik_2x}\nonumber \]

    and

    \[k_2= [\dfrac{2m(E-V_0)}{\hbar^2}]^{1/2}\nonumber \]

    Notice the difference between the two Schrödinger equations. Equation one does not have a potential energy component because it is before the potential energy field hence have zero potential energy. After the potential energy field, the Schrödinger equation has a potential energy component because the particle has potential energy at this moment.

    When you solve the differential solutions to the Schrödinger equations you find that the amount that is reflected back of a particle by the line is equal to the amount that is transmitted after the line. This is all we can find out for the information given. However, if we solve this solution for when the Energy of the particle is greater than the potential energy line and compare the differential solutions to all four wave functions then we find that all particles will be reflected by the barrier.

     


    9.7: Postulates and Principles of Quantum Mechanics (Exercises) is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by LibreTexts.