# 1.4: Conservation Laws

- Page ID
- 34740

\( \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}\)(i) Energy conservation is arguably the most general law of physics, but in mechanics, it takes a more humble form of mechanical energy conservation, which has limited applicability. To derive it, we first have to define the kinetic energy of a particle as \({ }^{13}\) \[T \equiv \frac{m}{2} v^{2}\] and then recast its differential as \({ }^{14}\) \[d T \equiv d\left(\frac{m}{2} v^{2}\right) \equiv d\left(\frac{m}{2} \mathbf{v} \cdot \mathbf{v}\right)=m \mathbf{v} \cdot d \mathbf{v}=m \frac{d \mathbf{r} \cdot d \mathbf{v}}{d t}=d \mathbf{r} \cdot \frac{d \mathbf{p}}{d t} .\] Now plugging in the momentum’s derivative from the \(2^{\text {nd }}\) Newton law, \(d \mathbf{p} / d t=\mathbf{F}\), where \(\mathbf{F}\) is the full force acting on the particle, we get \(d T=\mathbf{F} \cdot d \mathbf{r}\). The integration of this equality along the particle’s trajectory connecting some points A and B gives the formula that is sometimes called the work-energy principle: \[\Delta T \equiv T\left(\mathbf{r}_{\mathrm{B}}\right)-T\left(\mathbf{r}_{\mathrm{A}}\right)=\int_{\mathrm{A}}^{\mathrm{B}} \mathbf{F} \cdot d \mathbf{r},\] where the integral on the right-hand side is called the work of the force \(\mathbf{F}\) on the path from \(\mathrm{A}\) to \(\mathrm{B}\).

The following step may be made only for a potential (also called "conservative") force that may be represented as the (minus) gradient of some scalar function \(U(\mathbf{r})\), called the potential energy. \({ }^{15}\) The vector operator \(\nabla\) (called either del or nabla) of spatial differentiation \({ }^{16}\) allows a very compact expression of this fact: \[\mathbf{F}=-\nabla U \text {. }\] For example, for the uniform gravity field (16), \[U=m g h+\text { const },\] where \(h\) is the vertical coordinate directed "up" - opposite to the direction of the vector \(\mathbf{g}\).Integrating the tangential component \(F_{\tau}\) of the vector \(\mathbf{F}\) given by Eq. (22), along an arbitrary path connecting the points A and \(\boldsymbol{B}\), we get \[\int_{\mathrm{A}}^{\mathrm{B}} F_{\tau} d r \equiv \int_{\mathrm{A}}^{\mathrm{B}} \mathbf{F} \cdot d \mathbf{r}=U\left(\mathbf{r}_{\mathrm{A}}\right)-U\left(\mathbf{r}_{\mathrm{B}}\right),\] i.e. work of potential forces may be represented as the difference of values of the function \(U(\mathbf{r})\) in the initial and final points of the path. (Note that according to Eq. (24), the work of a potential force on any closed path, with \(\mathbf{r}_{\mathrm{A}}=\mathbf{r}_{\mathrm{B}}\), is zero.)

Now returning to Eq. (21) and comparing it with Eq. (24), we see that \[T\left(\mathbf{r}_{\mathrm{B}}\right)-T\left(\mathbf{r}_{\mathrm{A}}\right)=U\left(\mathbf{r}_{\mathrm{A}}\right)-U\left(\mathbf{r}_{\mathrm{B}}\right), \text { i.e. } T\left(\mathbf{r}_{\mathrm{A}}\right)+U\left(\mathbf{r}_{\mathrm{A}}\right)=T\left(\mathbf{r}_{\mathrm{A}}\right)+U\left(\mathbf{r}_{\mathrm{A}}\right),\] so that the total mechanical energy \(E\), defined as

is indeed conserved: \[\begin{gathered} E \equiv T+U, \\ E\left(\mathbf{r}_{\mathrm{A}}\right) \equiv E\left(\mathbf{r}_{\mathrm{B}}\right), \end{gathered}\] but for conservative forces only. (Non-conservative forces may change \(E\) by either transferring energy from its mechanical form to another form, e.g., to heat in the case of friction, or by pumping the energy into the system under consideration from another, "external" system.)

The mechanical energy conservation allows us to return for a second to the problem shown in Figure 3 and solve it in one shot by writing Eq. (27) for the initial and final points: \({ }^{17}\) \[0+m g R=\frac{m}{2} v^{2}+0 .\] The (elementary) solution of Eq. (28) for \(v\) immediately gives us the desired answer. Let me hope that the reader agrees that this way of problem’s solution is much simpler, and I have earned their attention to discuss other conservation laws - which may be equally effective.

(ii) Linear momentum. The conservation of the full linear momentum of any system of particles isolated from the rest of the world was already discussed in the previous section, and may serve as the basic postulate of classical dynamics - see Eq. (8). In the case of one free particle, the law is reduced to the trivial result \(\mathbf{p}=\) const, i.e. \(\mathbf{v}=\) const. If a system of \(N\) particles is affected by external forces \(\mathbf{F}^{(\text {ext })}\), we may write \[\mathbf{F}_{k}=\mathbf{F}_{k}^{(\mathrm{ext})}+\sum_{k=1}^{N} \mathbf{F}_{k k^{\prime}} .\] If we sum up the resulting Eqs. (13) for all particles of the system then, due to the \(3^{\text {rd }}\) Newton law (11), valid for any indices \(k \neq k^{\prime}\), the contributions of all internal forces \(\mathbf{F}_{k k}\) ’ to the resulting double sum on the right-hand side cancel, and we get the following equation: \[\dot{\mathbf{P}}=\mathbf{F}^{(\mathrm{ext})}, \quad \text { where } \mathbf{F}^{(\mathrm{ext})} \equiv \sum_{k=1}^{N} \mathbf{F}_{k}^{(\mathrm{ext})}\] It tells us that the translational motion of the system as the whole is similar to that of a single particle, under the effect of the net external force \(\mathbf{F}^{\text {(ext) }}\). As a simple sanity check, if the external forces have a zero sum, we return to the postulate (8). Just one reminder: Eq. (30), as its precursor Eq. (13), is only valid in an inertial reference frame.

I hope that the reader knows numerous examples of application of the linear momentum’s conservation law, including all these undergraduate problems on car collisions, where the large collision forces are typically not known so that the direct application of Eq. (13) to each car is impracticable.

(iii) The angular momentum of a particle \({ }^{18}\) is defined as the following vector: \({ }^{19}\) \[\mathbf{L} \equiv \mathbf{r} \times \mathbf{p}\] where \(\mathbf{a} \times \mathbf{b}\) means the vector (or "cross-") product of the vector operands. \({ }^{20}\) Differentiating Eq. (31) over time, we get \[\dot{\mathbf{L}}=\dot{\mathbf{r}} \times \mathbf{p}+\mathbf{r} \times \dot{\mathbf{p}}\] In the first product, \(\dot{\mathbf{r}}\) is just the velocity vector \(\mathbf{v}\), parallel to the particle momentum \(\mathbf{p}=m \mathbf{v}\), so that this term vanishes since the vector product of any two parallel vectors equals zero. In the second product, \(\dot{\mathbf{p}}\) is equal to the full force \(\mathbf{F}\) acting on the particle, so that Eq. (32) is reduced to

where the vector \[\begin{gathered} \dot{\mathbf{L}}=\boldsymbol{\tau}, \\ \boldsymbol{\tau} \equiv \mathbf{r} \times \mathbf{F}, \\ \hline \end{gathered}\] is called the torque exerted by force \(\mathbf{F} \cdot{ }^{21}\) (Note that the torque is reference-frame specific - and again, the frame has to be inertial for Eq. (33) to be valid, because we have used Eq. (13) for its derivation.) For an important particular case of a central force \(\mathbf{F}\) that is directed along the radius vector \(\mathbf{r}\) of a particle, the torque vanishes, so that (in that particular reference frame only!) the angular momentum is conserved: \[\mathbf{L}=\text { const. }\] For a system of \(N\) particles, the total angular momentum is naturally defined as \[\mathbf{L} \equiv \sum_{k=1}^{N} \mathbf{L}_{k}\] Differentiating this equation over time, using Eq. (33) for each \(\dot{\mathbf{L}}_{k}\), and again partitioning each force per Eq. (29), we get \[\dot{\mathbf{L}}=\sum_{k, k^{\prime}=1 \atop k^{\prime} \neq k}^{N} \mathbf{r}_{k} \times \mathbf{F}_{k k^{\prime}}+\boldsymbol{\tau}^{(\mathrm{ext})}, \quad \text { where } \boldsymbol{\tau}^{(\mathrm{ext})} \equiv \sum_{k=1}^{N} \mathbf{r}_{k} \times \mathbf{F}_{k}^{(\mathrm{ext})}\] The first (double) sum may be always divided into pairs of the type \(\left(\mathbf{r}_{k} \times \mathbf{F}_{k k^{\prime}}+\mathbf{r}_{k^{\prime}} \times \mathbf{F}_{k^{\prime} k}\right)\). With a natural assumption of the central forces, \(\mathbf{F}_{k k^{\prime}} \|\left(\mathbf{r}_{k}-\mathbf{r}_{k^{\prime}}\right)\), each of these pairs equals zero. Indeed, in this case, each component of the pair is a vector perpendicular to the plane containing the positions of both particles and the reference frame origin, i.e. to the plane of the drawing of Figure \(4 .\)

Also, due to the \(3^{\text {rd }}\) Newton law (11), these two forces are equal and opposite, and the magnitude of each term in the sum may be represented as \(\left|F_{k k}\right| h_{k k}\), with equal to the "lever arms" \(h_{k k}=h_{k^{\prime} k}\). As a result, each sum \(\left(\mathbf{r}_{k} \times \mathbf{F}_{k k^{\prime}}+\mathbf{r}_{k} \times \mathbf{F}_{k^{\prime} k}\right)\), and hence the whole double sum in Eq. (37) vanish, and it is reduced to a very simple result, \[\dot{\mathbf{L}}=\boldsymbol{\tau}^{\text {(ext) }}\] which is similar to Eq. (33) for a single particle, and is the angular analog of Eq. (30).

In particular, Eq. (38) shows that if the full external torque \(\tau^{(\mathrm{ext})}\) vanishes by some reason (e.g., if the system of particles is isolated from the rest of the Universe), the conservation law (35) is valid for the full angular momentum \(\mathbf{L}\), even if its individual components \(\mathbf{L}_{k}\) are not conserved due to interparticle interactions.

Note again that since the conservation laws may be derived from the Newton laws (as was done above), they do not introduce anything absolutely new to the dynamics of any system. Indeed, from the mathematical point of view, the conservation laws discussed above are just the first integrals of the second-order differential equations of motion following from the Newton laws, which may liberate us from the necessity to integrate the equations twice.

\({ }^{13}\) In such quantitative form, the kinetic energy was introduced (under the name "living force") by Gottfried Leibniz and Johann Bernoulli (circa 1700), though its main properties (21) and (27) had not been clearly revealed until an 1829 work by Gaspard-Gustave de Coriolis. The modern term "kinetic energy" was coined only in \(1849-\) 1851 by Lord Kelvin (born William Thomson).

\({ }^{14}\) In these notes, \(\mathbf{a} \cdot \mathbf{b}\) denotes the scalar (or "dot-") product of vectors \(\mathbf{a}\) and \(\mathbf{b}\) - see, e.g., MA Eq. (7.1).

\({ }^{15}\) Note that because of its definition via the gradient, the potential energy is only defined to an arbitrary additive constant. This notion had essentially been used already by G. Leibniz, though the term we are using for it now was introduced much later (in the mid- \(19^{\text {th }}\) century) by William Rankine.

\({ }^{16}\) Its basic properties are listed in MA Sec. 8.

\({ }^{17}\) Here the arbitrary constant in Eq. (23) is chosen so that the potential energy is zero in the final point.

\({ }^{18}\) Here we imply that the internal motions of the particle, including its rotation about its axis, are negligible. (Otherwise, it could not be represented by a point, as was postulated in Sec. 1.)

\({ }^{19}\) Such explicit definition of the angular momentum (in different mathematical forms, and under the name of "moment of rotational motion") has appeared in scientific publications only in the 1740s, though the fact of its conservation (35) in the field of central forces, in the form of the \(2^{\text {nd }}\) Kepler law (see Figure \(3.4\) below), was proved by I. Newton in his Principia.

\({ }_{20}\) See, e.g., MA Eq. (7.3).

\({ }^{21}\) Alternatively, especially in mechanical engineering, torque is called the force moment. This notion may be traced all the way back to Archimedes’ theory of levers developed in the \(3^{\text {rd }}\) century BC.