Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

One expression of a conservation law is the conservation of energy. For an isolated and closed system, the total energy is conserved. That is, before and after any process, we can account for all the energy in the system and it is the same. More generally, conservation of energy accounts for the energy “lost” to the surroundings. All of the changes to the system must be accounted for in changes the surroundings.

For a given choice of system that interacts with its surroundings, the change in energy of the system is equal to the work done on the system and any heat exchanged with the surroundings. This is a statement of the first law of thermodynamics. We can write that statement mathematically as:

ΔEsystem=W+Q\Delta E_{\text{system}} = W + Q

where ΔEsystem\Delta E_{\text{system}} is the change in energy of the system, WW is the work done on the system, and QQ is the heat exchanged with the surroundings.

We can rewrite this energy equation as an update equation for the energy of the system:

Esystem,f=Esystem,i+W+QE_{\text{system,f}} = E_{\text{system,i}} + W + Q

From this equation, we can see that the final state of the system’s energy is determined by the sum of its initial energy, the work done on the system, and the heat exchanged with the surroundings.

The Work-Energy Theorem

We often model a system as a single object that interacts with its surroundings. In this case, it’s often beneficial to select the object alone to be the system of interest. Then all of our work is to explain and predict the dynamics of the object.

This simplification allows us to employ a more specialized case of the general energy equation. We can write the work-energy theorem as:

ΔEobject=Wnet\Delta E_{\text{object}} = W_{\text{net}}

where ΔEobject\Delta E_{\text{object}} is the change in energy of the object and WnetW_{\text{net}} is the net work done on the object.

More specifically, we often focus only on the changes to the object’s motion. This is because we use often use the model of a point particle to describe the object. In this case, the object has no internal structure and thus no internal energy. The only energy we need to consider is the object’s kinetic energy, KK.

Kinetic Energy

Our model of kinetic energy stems from a series of experiments dropping stones into clay. The depth of the hole made was proportional to the square of the impact speed.

Through many additional experiments we have quantified the kinetic energy of a point particle as:

K=12mv⃗⋅v⃗.K = \frac{1}{2}m\vec{v}\cdot\vec{v}.

We also use TT to represent kinetic energy, so you might see it written as:

T=12mv2.T = \frac{1}{2}mv^2.

Note that this description of the kinetic energy is fully classical. It is the energy of motion in the limit that object moves much slower than the speed of light. We learned from Einstein’s special theory of relativity that the total energy of an point particle is:

Etot=γmc2,E_{tot} = \gamma mc^2,

where γ\gamma is the Lorentz factor and cc is the speed of light. The Lorentz factor is defined as:

γ=11−v2c2.\gamma = \frac{1}{\sqrt{1 - \frac{v^2}{c^2}}}.

Notice that if v/c=0v/c =0 then,

γ=1⟶Etot=mc2.\gamma = 1 \longrightarrow E_{tot} = mc^2.

We call this the “rest energy” of the object. It is the energy of the object when it is not moving, and it demonstrates the mass-energy equivalence.

Erest=mc2.E_{rest} = mc^2.

The remaining energy of the object is the kinetic energy, TT. We can write that as:

T=Etot−Erest=(γ−1)mc2.T = E_{tot} - E_{rest} = (\gamma - 1)mc^2.

We can take the limit that v/c≪1v/c \ll 1 and expand the Lorentz factor in a Taylor series to find that:

γ=1+12v2c2+….\gamma = 1 + \frac{1}{2}\frac{v^2}{c^2} + \ldots.

Then we find that the kinetic energy is:

T=(1+12v2c2+…−1)mc2=12mv2+….T = \left(1 + \frac{1}{2}\frac{v^2}{c^2} + \ldots - 1\right)mc^2 = \frac{1}{2}mv^2 + \ldots.

We have recovered the classical expression for kinetic energy. The higher order terms in the expansion are negligible when v/c≪1v/c \ll 1.

Developing the Work-Energy Theorem

Let’s start with our definition of the classical kinetic energy of a point particle:

T=12mv⃗⋅v⃗.T = \frac{1}{2}m\vec{v}\cdot\vec{v}.

We ask how does TT change with time? We take the time derivative of TT:

dTdt=12mddt(v⃗⋅v⃗)=12m(dv⃗dt⋅v⃗+v⃗⋅dv⃗dt).\dfrac{dT}{dt} = \frac{1}{2}m\frac{d}{dt}\left(\vec{v}\cdot\vec{v}\right) = \frac{1}{2}m\left(\frac{d\vec{v}}{dt}\cdot\vec{v} + \vec{v}\cdot\frac{d\vec{v}}{dt}\right).

The last term can be combined because the dot product is commutative. We can factor out the m/2m/2 and write:

dTdt=m2(2dv⃗dt⋅v⃗)=m(dv⃗dt⋅v⃗).\dfrac{dT}{dt} = \dfrac{m}{2}\left(2 \dfrac{d\vec{v}}{dt}\cdot\vec{v}\right) = m\left(\dfrac{d\vec{v}}{dt}\cdot\vec{v}\right).

Ok, in that expression is the net force on the object,

F⃗net=mdv⃗dt.\vec{F}_{net} = m\dfrac{d\vec{v}}{dt}.

So that,

dTdt=F⃗net⋅v⃗.\dfrac{dT}{dt} = \vec{F}_{net}\cdot\vec{v}.

Now let’s discretize the time derivative to make sense of this.

ΔTΔt=F⃗net⋅v⃗.\dfrac{\Delta T}{\Delta t} = \vec{F}_{net}\cdot\vec{v}.
ΔT=F⃗net⋅v⃗Δt.\Delta T = \vec{F}_{net}\cdot\vec{v}\Delta t.

That last term is the displacement of the object, Δx⃗=v⃗Δt\Delta \vec{x} = \vec{v}\Delta t. So we can write:

ΔT=F⃗net⋅Δx⃗.\Delta T = \vec{F}_{net}\cdot\Delta \vec{x}.

This is the work done on the object by the net force. We can write that as:

ΔT=Wnet.\Delta T = W_{\text{net}}.

Overall Effect of the Forces

Consider that we are looking at the changes in the object’s motion over a longer period of space and time. This discrete model above helps us understand the relationship between the work done on the object and the change in its kinetic energy in a small interval, but what about the overall effect of the forces on the object?

Consider a discrete set of nn spatial intervals, Δxi\Delta x_i, where ii is the index of the interval.

x=x0,x1,x2,…,xnx = {x_0, x_1, x_2, \ldots, x_n}

At each of these spatial intervals, we experience a different net force, like in the figure below.

Work done by a net force
Fnet=Fnet,0,Fnet,1,Fnet,2,…,Fnet,nF_{net} = {F_{net,0}, F_{net,1}, F_{net,2}, \ldots, F_{net,n}}

The work done by this force is the change in kinetic energy of the object:

Wnet=∑i=0n−1Fnet,iΔxi=ΔT.W_{\text{net}} = \sum_{i=0}^{n-1} F_{net,i}\Delta x_i = \Delta T.
Wnet=Kf−Ki.W_{\text{net}} = K_f - K_i.
Wnet=12mv⃗f⋅v⃗f−12mv⃗i⋅v⃗i.W_{\text{net}} = \dfrac{1}{2}m\vec{v}_f\cdot\vec{v}_f - \dfrac{1}{2}m\vec{v}_i\cdot\vec{v}_i.

Notice that in the limit that n→∞n \rightarrow \infty and Δxi→0\Delta x_i \rightarrow 0, we have a continuous function of the net force. We can write that as:

lim⁡n→∞∑i=0n−1Fnet,iΔxi=∫x0xnFnet(x)dx.\lim_{n \rightarrow \infty} \sum_{i=0}^{n-1} F_{net,i}\Delta x_i = \int_{x_0}^{x_n} F_{net}(x)dx.

Thus, in our continuous limit, we can write the work done by the net force as:

ΔT=Wnet=∫xixfFnet(x)dx.\Delta T = W_{\text{net}} = \int_{x_i}^{x_f} F_{net}(x)dx.

What about in more than one dimension?

Work done in more than one dimension

Consider a path CC that we have discretized into nn intervals. The object starts at r⃗0\vec{r}_0 and ends at r⃗n\vec{r}_n. Each interval is Δr⃗i\Delta \vec{r}_i and the net force is F⃗net,i\vec{F}_{net,i}. The figure below shows the work done by the net force in each interval.

Work done by a net force

The work done by the net force is:

Wnet=∑i=0n−1F⃗net,i⋅Δr⃗i.W_{\text{net}} = \sum_{i=0}^{n-1} \vec{F}_{net,i}\cdot\Delta \vec{r}_i.

as Δr⃗i→0\Delta \vec{r}_i \rightarrow 0 and n→∞n \rightarrow \infty, we have a continuous function of the net force. We can write that as:

Wnet=∫CF⃗net⋅dr⃗.W_{\text{net}} = \int_{C} \vec{F}_{net}\cdot d\vec{r}.

The work can be positive, if the force and displacement are in the same direction, or negative, if they are in opposite directions. It can also be zero, if the force is perpendicular to the displacement.

If the force is always perpendicular to the displacement, then the work done by the force is zero. This is because the dot product of two perpendicular vectors is zero. But what kind of motion is possible?

Example: The Simple Harmonic Oscillator

Consider, again, the humble SHO. If we have a horizontal spring mass system, we know we can write the force on the mass as:

Fs=−kx.F_s = -kx.

Let’s allow the spring to move from xix_i to xfx_f, while the speed changes from viv_i to vfv_f.

The change in kinetic energy is:

ΔT=12mvf2−12mvi2.\Delta T = \dfrac{1}{2}mv_f^2 - \dfrac{1}{2}mv_i^2.

The work done by the spring is:

Ws=∫xixfFsdx=−∫xixfkxdx=−[12kx2]xixf=−(12kxf2−12kxi2).W_s = \int_{x_i}^{x_f} F_s dx = -\int_{x_i}^{x_f} kx dx = -\left[\dfrac{1}{2}kx^2\right]_{x_i}^{x_f} = -\left(\dfrac{1}{2}kx_f^2 - \dfrac{1}{2}kx_i^2\right).

Or more simply,

Ws=12k(xi2−xf2).W_s = \dfrac{1}{2}k(x_i^2 - x_f^2).

The Work-Energy Theorem tells us that:

ΔT=Ws.\Delta T = W_s.
12mvf2−12mvi2=12k(xi2−xf2).\dfrac{1}{2}mv_f^2 - \dfrac{1}{2}mv_i^2 = \dfrac{1}{2}k(x_i^2 - x_f^2).

We can rearrange this to find the relationship between the states before and after the motion:

12mvf2+12kxf2=12mvi2+12kxi2.\dfrac{1}{2}mv_f^2 + \dfrac{1}{2}k x_f^2 = \dfrac{1}{2}mv_i^2 + \dfrac{1}{2}k x_i^2.

The first term on the left and right side are the energy due to motion. The second terms are some other energy, but taken together before and after the motion, they are the same. They are a constant. This is a conserved quantity.

We call the second quantity the potential energy of the spring-mass system. It is the energy of the system due to its position, or it’s “configuration”. We define the potential energy of the spring as:

Us=12kx2.U_s = \dfrac{1}{2}kx^2.

We often use VV to represent potential energy, so you might see it written as:

Vs=12kx2.V_s = \dfrac{1}{2}kx^2.

What we have discovered is that the total energy of the spring-mass system is:

Etot=T+Us=12mv2+12kx2=constant.E_{tot} = T + U_s = \dfrac{1}{2}mv^2 + \dfrac{1}{2}kx^2 = \text{constant}.

The plot below tracks TT, UsU_s, and their sum over a couple of oscillation periods. Notice that kinetic and potential energy trade off with each other, but the total (dashed) stays flat.

<Figure size 700x500 with 1 Axes>

You have likely seen this previously in your study of the SHO. It is a very important result. But it is also the case that we don’t always have a potential energy function.

We need to have a conservative force to have a potential energy function. A conservative force is one where the work done by the force is independent of the path taken. Above, we assumed that in our calculations because the force was only dependent on the position of the object. That is a key feature of a conservative force.

Example: A Lattice Chain

A less obvious example that produces a potential energy function is a lattice chain. Here we model an electron moving in 1D near but not too near a long chain of atoms. The picture below shows the model.

Lattice chain model

Here the location of the particle and its initial velocity are zero. The force model for a chain of atoms in this arrangement is:

F(x)=−F0sin⁡(2πxb)F(x) = -F_0 \sin \left(\dfrac{2\pi x}{b}\right)

where bb is the spacing between the atoms and F0F_0 is a constant.

We can again find the kinetic energy change and work done by the force:

ΔT=12mvf2−12mvi2=12mvf2.\Delta T = \dfrac{1}{2}mv_f^2 - \dfrac{1}{2}mv_i^2 = \dfrac{1}{2}mv_f^2.
W=∫0xfF(x)dx=−F0∫0xfsin⁡(2πxb)dx=−[−b2πF0cos⁡(2πxb)]0xfW = \int_{0}^{x_f} F(x) dx = -F_0 \int_{0}^{x_f} \sin \left(\dfrac{2\pi x}{b}\right) dx = -\left[-\dfrac{b}{2\pi}F_0 \cos \left(\dfrac{2\pi x}{b}\right)\right]_{0}^{x_f}
=b2πF0(cos⁡(2πxfb)−cos⁡(0)).= \dfrac{b}{2\pi}F_0 \left(\cos \left(\dfrac{2\pi x_f}{b}\right) - \cos \left(0\right)\right).

Using the Work-Energy Theorem, we can write:

12mvf2=b2πF0(cos⁡(2πxfb)−1).\dfrac{1}{2}mv_f^2 = \dfrac{b}{2\pi}F_0 \left(\cos \left(\dfrac{2\pi x_f}{b}\right) - 1\right).

Thus, we can find the speed of the object at a given position:

The expression under the square root must be nonnegative for an allowed trajectory. In particular, the stated initial condition x=0x=0, v=0v=0 is an equilibrium, so the particle remains at rest unless it is perturbed. For a physically accessible displacement, use the energy relation above with an appropriate initial condition.

But more importantly, we can derive a potential energy function for the lattice chain. We can write:

U(x)=−∫F(x)dx=−b2πF0cos⁡(2πxb)+C.U(x) = -\int F(x) dx = -\dfrac{b}{2\pi}F_0 \cos \left(\dfrac{2\pi x}{b}\right) + C.

where CC is a constant. We can choose CC so that U(0)=0U(0) = 0; only the difference in potential energy matter. Then we have:

U(x)=b2πF0[1−cos⁡(2πxb)].U(x) = \dfrac{b}{2\pi}F_0 \left[1-\cos \left(\dfrac{2\pi x}{b}\right)\right].

The figure below shows the periodic force and the corresponding potential energy side by side; notice that the potential is minimized exactly where the force crosses zero going from positive to negative, consistent with F=−dU/dxF=-dU/dx.

<Figure size 700x700 with 2 Axes>

This is just another conservative force.

Conservative Forces

These forces occur frequently enough in physics and their properties are so important that they deserve their own attention. There are a few key properties of conservative forces that we should note:

  1. if the work is independent of the path taken, then the force is conservative.

  2. if the work done by the force is zero for a closed path, then the force is conservative.

  3. if the curl of the force is zero throughout a simply connected domain, then the force is conservative.

With the usual smoothness assumptions and a simply connected domain, these statements are equivalent. Without the domain assumption, zero curl alone need not imply a globally defined potential.

Why do these imply each other?

Let’s start with the curl of the force. The curl of a vector field is a measure of the rotation of the field. It is a vector differential operator. Operationally, taking the curl amounts to a cross product of the del operator with the vector field. The curl of a vector field F⃗\vec{F} is defined as:

∇×F⃗=∣i^j^k^∂x∂y∂zFxFyFz∣=(∂Fz∂y−∂Fy∂z)i^+(∂Fx∂z−∂Fz∂x)j^+(∂Fy∂x−∂Fx∂y)k^.\nabla \times \vec{F} = \begin{vmatrix}\hat{i} & \hat{j} & \hat{k} \\ \partial_x & \partial_y & \partial_z \\ F_x & F_y & F_z \end{vmatrix} = \left(\dfrac{\partial F_z}{\partial y} - \dfrac{\partial F_y}{\partial z}\right)\hat{i} + \left(\dfrac{\partial F_x}{\partial z} - \dfrac{\partial F_z}{\partial x}\right)\hat{j} + \left(\dfrac{\partial F_y}{\partial x} - \dfrac{\partial F_x}{\partial y}\right)\hat{k}.

In the event that the curl vanishes, we know that each term in the curl is zero. In this case, we can investigate what this implies about other aspects of the force. We write Stokes’ theorem for the force as:

∬S(∇×F⃗)⋅dS⃗=∮CF⃗⋅dr⃗.\iint_S (\nabla \times \vec{F})\cdot d\vec{S} = \oint_C \vec{F}\cdot d\vec{r}.

The left hand side is the integral of the curl of the force over some surface SS with boundary CC. The right hand side is the line integral of the force around the boundary of the surface. This theorem holds for any vector field with continuous first derivatives, so most of what we do.

Stokes’s theorem tells us that for any choice of surface SS with boundary CC, the line integral of the force around the boundary is equal to the integral of the curl of the force over the surface. If the curl vanishes, then the integral of the curl is zero. Thus, the line integral of the force around the boundary is zero.

∮CF⃗⋅dr⃗=0.\oint_C \vec{F}\cdot d\vec{r} = 0.

This is true for any closed path CC. This is the second statement above.

We can equivalent write the integral of the force around a closed path as the work around a different path. The figure below shows these paths C1C_1 and C2C_2 that make up the first loop, and the paths C3C_3 and C4C_4 that make up the second loop. The work done by the force along each path is shown in the figure.

Work done by a net force

We can take the integral of both paths and write:

∮CF⃗⋅dr⃗=∫C1F⃗⋅dr⃗+∫C2F⃗⋅dr⃗=∫C3F⃗⋅dr⃗+∫C4F⃗⋅dr⃗=0.\oint_C \vec{F}\cdot d\vec{r} = \int_{C_1} \vec{F}\cdot d\vec{r} + \int_{C_2} \vec{F}\cdot d\vec{r} = \int_{C_3} \vec{F}\cdot d\vec{r} + \int_{C_4} \vec{F}\cdot d\vec{r} = 0.

Because both paths are closed and start and return to the same point, we can know that each contribution on each part of the path is equal and opposite. Thus, we can write:

∫CnF⃗⋅dr⃗=−∫CmF⃗⋅dr⃗.\int_{C_n} \vec{F}\cdot d\vec{r} = -\int_{C_m} \vec{F}\cdot d\vec{r}.

This holds for any nn and mm where they make a closed path CC. This is the first statement above.

Summary of Results

We covered a lot fo ground. Let’s remind ourselves of the key results.

The total energy of a system is the sum of the kinetic and potential energies:

E=T+V=K+U.E = T + V = K +U.

We use both TT and KK to represent kinetic energy, and both UU and VV to represent potential energy.

The conservation of energy is:

dEdt=0.\dfrac{dE}{dt} = 0.

When all the forces are conservative, energy is conserved. Of course, we are limiting here to mechanical energy.

Conservative forces are those where the work done by the force is independent of the path taken. They have several key properties:

  1. The forces are functions of position only F⃗(r⃗)\vec{F}(\vec{r}).

  2. Their curl is zero: ∇×F⃗=0\nabla \times \vec{F} = 0.

We calculate the curl as:

∇×F⃗=∣i^j^k^∂x∂y∂zFxFyFz∣=(∂Fz∂y−∂Fy∂z)i^+(∂Fx∂z−∂Fz∂x)j^+(∂Fy∂x−∂Fx∂y)k^.\nabla \times \vec{F} = \begin{vmatrix}\hat{i} & \hat{j} & \hat{k} \\ \partial_x & \partial_y & \partial_z \\ F_x & F_y & F_z \end{vmatrix} = \left(\dfrac{\partial F_z}{\partial y} - \dfrac{\partial F_y}{\partial z}\right)\hat{i} + \left(\dfrac{\partial F_x}{\partial z} - \dfrac{\partial F_z}{\partial x}\right)\hat{j} + \left(\dfrac{\partial F_y}{\partial x} - \dfrac{\partial F_x}{\partial y}\right)\hat{k}.
  1. The force is given by the negative gradient of the potential energy: F⃗=−∇U\vec{F} = -\nabla U. This stems from the definition of the potential energy as the work done by the force.

We can calculate the gradient as:

F⃗=⟨Fx,Fy,Fz⟩=−∇U=−(∂U∂xi^+∂U∂yj^+∂U∂zk^).\vec{F} = \langle F_x, F_y, F_z \rangle = -\nabla U = -\left(\dfrac{\partial U}{\partial x}\hat{i} + \dfrac{\partial U}{\partial y}\hat{j} + \dfrac{\partial U}{\partial z}\hat{k}\right).
  1. The work done by a conservative force is path independent. We can write the work done by a conservative force as:

W=∫CF⃗⋅dr⃗=−∫C∇U⋅dr⃗=−ΔU.W = \int_{C} \vec{F}\cdot d\vec{r} = -\int_{C} \nabla U\cdot d\vec{r} = -\Delta U.