14.7: Problems
- Page ID
- 19032
\( \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}\)14.1. Three commonly discussed discrete symmetry transformations are:
Time reversal \(t \rightarrow \tilde{t} = (−1)^{\mathfrak{n}} t\) for integer \(\mathfrak{n}\)
Parity \(y \rightarrow \tilde{y} = (−1)^{\mathfrak{n}} y\) for integer \(\mathfrak{n}\)
Charge conjugation \(y \rightarrow \tilde{y} = y^*\)
Verify that the wave equation, \(\ddot{y} + \omega_0^2y = 0\), is invariant upon each of these discrete transformations.
14.2. Repeat the problem above for the equation \(\ddot{y} + y^{-3} = 0\).
14.3. The Thomas Fermi equation is given by \(\ddot{y} = y^{3/2}t^{-1/2}\).
(a) Verify that it is not invariant upon the discrete symmetry transformation of time reversal,
\(t \rightarrow \tilde{t} = (−1)^{\mathfrak{n}} t\) for integer \(\mathfrak{n}\).
(b) Verify that it is not invariant upon the discrete symmetry transformation of parity,
\(y \rightarrow \tilde{y} = (−1)^{\mathfrak{n}} y\) for integer \(\mathfrak{n}\).
(c) Verify that it is invariant upon the discrete symmetry transformation
\(t \rightarrow \tilde{t} = (−1)^{\mathfrak{n}} t \quad \text{and} \quad y \rightarrow \tilde{y} = (−1)^{\mathfrak{n}} y\).
14.4. Find the prolongation of the infinitesimal generator
\[U = \xi \partial_t + \eta \partial_y \nonumber \]
acting on the Lagrangian
\[\mathcal{L} = \frac{1}{2}\dot{y}^2 + \frac{1}{3}ty^{2}. \nonumber \]
Write your answer in terms of \(\xi\) and \(\eta\) but not \(\eta^t\) or \(\eta^{tt}\).
14.5. Find the infinitesimal generators for the equation, \(\ddot{y} + y^{-3} = 0\). (This problem is discussed in [190].)
Answer:
\[U_1 = \partial_t \nonumber \]
\[U_2 = 2t\partial_t + y\partial_y \nonumber \]
\[U_3 = t^2\partial_t + ty\partial_y \nonumber \]
14.6. The equation \(\ddot{y} + y^{-3} = 0\) has the three infinitesimal generators listed in the problem above. These infinitesimal generators form a group. The commutator was defined in Section 14.3.3, and the commutator of any pair of these infinitesimal generators can be calculated by
\[[U_a, U_b] = U_aU_b - U_bU_a. \nonumber \]
Using the equation above, show that the commutator for each of the three pairs of infinitesimal generators results in another element of the group.
14.7. Derive the infinitesimal generators for the wave equation, \(\ddot{y} + \omega_0^2y = 0\). (This problem is discussed in [191].)
Answer:
\[U_1 = \partial_t \nonumber \]
\[U_2 = y\partial_y \nonumber \]
\[U_3 = \sin (\omega_0t)\partial_y \nonumber \]
\[U_4 = \cos (\omega_0t)\partial_y \nonumber \]
\[U_5 = \sin (2\omega_0t)\partial_t + \omega_0y \cos (2\omega_0t) \partial_y \nonumber \]
\[U_6 = \cos (2\omega_0t) \partial_t − \omega_0y \sin (2\omega_0t) \partial_y \nonumber \]
\[U_7 = y \cos (\omega_0t) \partial_t − \omega_0y 2 \sin (\omega_0t) \partial_y \nonumber \]
\[U_8 = y \sin (\omega_0t) \partial_t + \omega_0y 2 \cos (\omega_0t) \partial_y \nonumber \]
14.8. The wave equation \(\ddot{y} + \omega_0^2y = 0\) has the eight infinitesimal generators listed in the problem above. The corresponding Lagrangian is
\[\mathcal{L} = \frac{1}{2}\dot{y}^2 + \frac{1}{2}\omega_0^2y^{2}. \nonumber \]
Find the invariants corresponding to the following infinitesimal generators.
(a) \(U_1 = \partial_t \)
(b) \(U_3 = \sin (\omega_0t)\partial_y \)
(c) \(U_5 = \sin (2\omega_0t)\partial_t + \omega_0y \cos (2\omega_0t) \partial_y\)
14.9. In Problem 11.8, we encountered the equation given by \(\ddot{y} = g \sin y\) for constant \(g\).
(a) Show that \(U = \partial_t \) is an infinitesimal generator of this equation.
(b) Show that \(U = y\partial_y \) is not an infinitesimal generator of this equation.
14.10. The Lagrangian
\[\mathcal{L} = \frac{1}{2}\dot{y}^2 + \frac{1}{2}y^{-2} \nonumber \]
corresponds to the equation of motion \(\ddot{y} + y^{-3} = 0\). This equation of motion has three infinitesimal generators:
\[U_1 = \partial_t \nonumber \]
\[U_2 = 2t\partial_t + y\partial_y \nonumber \]
\[U_3 = t^2\partial_t + ty\partial_y \nonumber \]
Use Noether's theorem to find the invariants that correspond to each of these infinitesimal generators. (We encountered this Lagrangian in problem 11.3.)