4.E: Tensors (Exercises)
- Page ID
- 11449
\( \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}\)- Describe the four-velocity of a photon.
- The Large Hadron Collider is designed to accelerate protons to energies of 7 TeV. Find 1 − v for such a proton.
- Prove that an electron in a vacuum cannot absorb a photon. (This is the reason that the ability of materials to absorb gammarays is strongly dependent on atomic number Z. The case of Z = 0 corresponds to the vacuum.)
- (a) For an object moving in a circle at constant speed, the dot product of the classical three-vectors v and a is zero. Give an interpretation in terms of the work-kinetic energy theorem. (b) In the case of relativistic four-vectors, viai = 0 for any world-line. Give a similar interpretation. Hint: find the rate of change of the four-velocity’s squared magnitude.
- Starting from coordinates (t, x) having a Lorentzian metric g, transform the metric tensor into reflected coordinates (t', x') = (t, −x), and verify that g' is the same as g.
- Starting from coordinates (t, x) having a Lorentzian metric g, transform the metric tensor into Lorentz-boosted coordinates (t', x'), and verify that g' is the same as g.
- Verify the transformation of the metric given in example 19.
- A skeptic claims that the Hafele-Keating experiment can only be explained correctly by relativity in a frame in which the earth’s axis is at rest. Prove mathematically that this is incorrect. Does it matter whether the frame is inertial?
- Assume the metric g = diag(+1, +1, +1). Which of the following correctly expresses the noncommutative property of ordinary matrix multiplication?
- Example 10 introduced the Dirac sea, whose existence is implied by the two roots of the relativistic relation \(E = \pm \sqrt{p^{2} + m^{2}}\). Prove that a Lorentz boost will never transform a positive-energy state into a negative-energy state.
- In section 4.2, we found the relativistic Doppler shift in 1+1 dimensions. Extend this to 3+1 dimensions, and check your result against the one given by Einstein in Appendix A.
- Estimate the energy contained in the electric field of an electron, if the electron’s radius is r. Classically (i.e., assuming relativity but no quantum mechanics), this energy contributes to the electron’s rest mass, so it must be less than the rest mass. Estimate the resulting lower limit on r, which is known as the classical electron radius.
- For gamma-rays in the MeV range, the most frequent mode of interaction with matter is Compton scattering, in which the photon is scattered by an electron without being absorbed. Only part of the gamma’s energy is deposited, and the amount is related to the angle of scattering. Use conservation of four-momentum to show that in the case of scattering at 180 degrees, the scattered photon has energy E' = E/(1+2E/m), where m is the mass of the electron.
- Derive the equation T = \(\sqrt{\frac{3 \pi}{G \rho}}\) given in section 4.4 for the period of a rotating, spherical object that results in zero apparent gravity at its surface.
- Section 4.4 presented an estimate of the upper limit on the mass of a white dwarf. Check the self-consistency of the solution in the following respects: (1) Why is it valid to ignore the contribution of the nuclei to the degeneracy pressure? (2) Although the electrons are ultrarelativistic, spacetime is approximated as being flat. As suggested in example 14, a reasonable order-ofmagnitude check on this result is that we should have \(\frac{M}{r} << \frac{c^{2}}{G}\).
- The laws of physics in our universe imply that for bodies with a certain range of masses, a neutron star is the unique equilibrium state. Suppose we knew of the existence of neutron stars, but didn’t know the mass of the neutron. Infer upper and lower bounds on the mass of the neutron.
- Example 20 briefly introduced the electromagnetic potential four-vector Fij, and this implicitly defines the transformation properties of the electric and magnetic fields under a Lorentz boost v. To lowest order in v, this transformation is given by $$\begin{split} \textbf{E}' &\approx \textbf{E} + \textbf{v} \times \textbf{B} \qquad and \\ \textbf{B}' &\approx \textbf{B} - \textbf{v} \times \textbf{E} \ldotp \end{split}$$I’m not a historian of science, but apparently ca. 1905 people like Hertz believed that these were the exact transformations of the field.21 Show that this can’t be the case, because performing two such transformations in a row does not in general result in a transformation of the same form.
- We know of massive particles, whose velocity vectors always lie inside the future light cone, and massless particles, whose velocities lie on it. In principle, we could have a third class of particles, called tachyons, with spacelike velocity vectors. Tachyons would have m2 < 0, i.e., their masses would have to be imaginary. Show that it is possible to pick momentum four-vectors p1 and p2 for a pair of tachyons such that p1 + p2 = 0. This implies that the vacuum would be unstable with respect to spontaneous creation of tachyon-antitachyon pairs.
References
21 Montigny and Rousseaux, arxiv.org/abs/physics/0512200.