10.2: Fields in Relativity
- Page ID
- 3481
\( \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}\)Learning Objectives
- Explain why Coulomb’s law cannot be extended to include magnetism
Based on what we learned in section 10.1, the next natural step would seem to be to find some way of extending Coulomb’s law to include magnetism. For example, we could try to find a formula for the magnetic force between charges \(q^1\) and \(q^2\) based on not just their relative positions but also on their velocities. The following considerations, however, tell us not to go down that path.
Time delays in Forces Exerted at a Distance
Relativity forbids Newton’s instantaneous action at a distance. Since forces can’t be transmitted instantaneously, it becomes natural to imagine force-effects spreading outward from their source like ripples on a pond, and we then have no choice but to impute some physical reality to these ripples. We call them fields, and they have their own independent existence.
Even empty space, then, is not perfectly featureless. It has measurable properties. For example, we can drop a rock in order to measure the direction of the gravitational field, or use a magnetic compass to find the direction of the magnetic field. This concept made a deep impression on Einstein as a child. He recalled that as a five-year-old, the gift of a magnetic compass convinced him that there was “something behind things, something deeply hidden.”
Fields Carry Energy
The smoking-gun argument for this strange notion of traveling force ripples comes from the fact that they carry energy. In figure \(\PageIndex{1}\) (1), Alice and Betty hold positive charges \(A\) and \(B\) at some distance from one another. If Alice chooses to move her charge closer to Betty’s, figure \(\PageIndex{1}\) (2), Alice will have to do some mechanical work against the electrical repulsion, burning off some of the calories from that chocolate cheesecake she had at lunch. This reduction in her body’s chemical energy is offset by a corresponding increase in the electrical potential energy \(q∆V\). Not only that, but Alice feels the resistance stiffen as the charges get closer together and the repulsion strengthens. She has to do a little extra work, but this is all properly accounted for in the electrical potential energy.
But now suppose, figure \(\PageIndex{1}\) (3), that Betty decides to play a trick on Alice by tossing charge \(B\) far away just as Alice is getting ready to move charge \(A\). We have already established that Alice can’t feel charge B’s motion instantaneously, so the electric forces must actually be propagated by an electric field. Of course this experiment is utterly impractical, but suppose for the sake of argument that the time it takes the change in the electric field to propagate across the diagram is long enough so that Alice can complete her motion before she feels the effect of \(B\)’s disappearance. She is still getting stale information about \(B\)’s position. As she moves \(A\) to the right, she feels a repulsion, because the field in her region of space is still the field caused by \(B\) in its old position. She has burned some chocolate cheesecake calories, and it appears that conservation of energy has been violated, because these calories can’t be properly accounted for by any interaction with \(B\), which is long gone.
If we hope to preserve the law of conservation of energy, then the only possible conclusion is that the electric field itself carries away the cheesecake energy. In fact, this example represents an impractical method of transmitting radio waves. Alice does work on charge \(A\), and that energy goes into the radio waves. Even if \(B\) had never existed, the radio waves would still have carried energy, and Alice would still have had to do work in order to create them.
Fields must have transformation laws
In the foregoing discussion I’ve been guilty of making arguments that fields were “real.” Sorry. In physics, and particularly in relativity, it’s usually a waste of time worrying about whether some effect such as length contraction is “real” or only “seems that way.” But thinking of fields as having an independent existence does lead to a useful guiding principle, which is that fields must have transformation laws. Suppose that at a certain location, observer \(o_1\) measures every possible field — electric, magnetic, bodice-ripper-sexual-attractional, and so on. (The gravitational field is not on the list, for the reasons discussed in section 5.2.) Observer \(o_2\), passing by the same event but in a different state of motion, could carry out similar measurements. We’re talking about measurements being carried out on a cubic inch of pure vacuum, but suppose that the answer to Peggy Lee’s famous question is “Yes, that’s all there is” — the only information there is to know about that empty parcel of nothingness is the (frame-dependent) value of the fields it contains. Then \(o_1\) ought to be able to predict the results of \(o_2\)’s measurements. For if not, then what is the nature of the information that is hidden from \(o_1\) but revealed to \(o_2\)? Presumably this would be something related to how the fields were produced by certain particles long ago and far away. For example, maybe \(o_1\) is at rest relative to a certain charge \(q\) that helped to create the fields, but \(o_2\) isn’t, so \(o_2\) picks up \(q\)’s magnetic field, which is information unavailable to \(o_1\) — who thinks \(q\) was at rest, and therefore didn’t make any magnetic field. This would contradict our “that’s all there is” hypothesis.
To show the power of “that’s all there is,” consider example 9.1.1, in which we found that boosting a solenoid along its own axis doesn’t change its internal field. As a fact about solenoids, it’s fairly obscure and useless. But if the fields must have transformation laws, then we’ve learned something much more general: a magnetic field always stays the same under a boost in the direction of the field.