The Work-Energy Theorem

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

Substitution is given a physical meaning.

In physics, we take measurable quantities from the real world, and attempt to find meaningful relationships between them. A basic example of this would be the physical ideal of force. Force applied to an object changes the motion of an object. Here’s the deal though, at a basic level $\mathrm {force} = \mathrm {mass} \cdot \mathrm {acceleration}.$ and while we can put a physical interpretation to this arithmetical definition, at the end of the day force is simply “mass times acceleration.” The SI unit of force is a newton, which is defined to be $1\unit {N} = 1\unit {kg}\cdot \unit {m}/\unit {s}^2.$

To get a feel for what a newton is, consider this: if an apple has a mass of $0.1\unit {kg}$ , what force would an apple exert on your hand due to the acceleration due to gravity? $F = (0.1) \cdot (-9.8) = \answer {-0.98}\unit {N},$

Hence the “weight” of an apple is approximately $1\unit {N}$ .

In a similar way, the idea of kinetic energy, is “energy” objects have from motion. It is defined by the formula $E_k = \frac {m \cdot v^2}{2}.$ The SI unit of energy is a joule, which is defined to be $1\unit {J} = 1\unit {kg}\cdot \unit {m}^2/\unit {s}^2 = 1\unit {N}\cdot \unit {m}.$ To get a feel for the “size” of a joule, consider this: if an apple has a mass of $0.1\unit {kg}$ and it is dropped from a height of $1\unit {m}$ , then approximately $1$ joule of energy is released when it hits the ground. Let’s see if we can explain why this is true.

If an apple has a mass of $0.1\unit {kg}$ and it is dropped from a height of $1\unit {m}$ , how much energy is released when it hits the ground? Assume that the acceleration due to gravity is $-9.8\unit {m}/\unit {s}^2$ .

First we need to find the velocity at which the apple hits the ground. Let $a(t)=-9.8$ represent acceleration at time $t$ and $v(t)$ represent velocity. Since $v(0) = 0$ , we know that $\begin{align*} v(t) &= \int_0^t a(x) \d x\\ &= \int_0^t \answer[given]{-9.8} \d x \\ &= \answer[given]{-9.8t}. \end{align*}$

Now we need to know how long it takes for the apple to hit the ground, after being dropped from a height of $1$ meter. For this we’ll need a formula for position. Here $s(0) = 1$ , so we’ll need to use an indefinite integral:

$\begin{align*} s(t)&=\int v(t) \d t\\ &= \int \answer[given]{-9.8t} \d t \\ &= \answer[given]{\frac{-9.8 t^2}{2}} + C \end{align*}$

Since $s(0)= 1$ , write with me $s(0) = \frac {-9.8 \cdot 0}{2} + C = \answer [given]{1},$ hence $C =1$ and $s(t) = \frac {-9.8 t^2}{2}+1$ . Solving the equation $s(t) = 0$ for $t$ tells us the time the apple hits the ground. Write with me

$\begin{align*} s(t) &= 0 \\ \frac{-9.8 t^2}{2} +1 &= 0\\ -9.8 t^2 &=-2\\ t^2 &=\frac{2}{9.8}\\ t &=\sqrt{\frac{2}{9.8}}. \end{align*}$

So the apple hits the ground after $\sqrt {\frac {2}{9.8}}$ seconds. Finally, the formula for kinetic energy is

$\begin{align*} E_k &= \frac{m \cdot v^2}{2} \\ &= \frac{0.1 \cdot \left(a\cdot t\right)^2}{2} \\ &= \frac{0.1 \cdot \left((-9.8)\cdot \sqrt{\frac{2}{9.8}}\right)^2}{2} \\ &= \frac{0.1 \cdot (9.8)^2\cdot\frac{2}{9.8}}{2} \\ &= \frac{0.1 \cdot 9.8\cdot 2}{2} \\ &= 0.98. \end{align*}$

Ah! So the kinetic energy released by an apple dropped from a height of $1$ meter is approximately $1$ joule.

Finally work is defined to be accumulated force over a distance. Note, there must be some force in the direction (or opposite direction) that the object is moving for it to be considered work.

Which of the following are examples where work of this kind is being done?

Studying calculus may “feel” like work, but it is not (typically) an example of an accumulated force over a distance, and hence no work is done.

On the other hand, a car applying breaks is a change in motion, and hence a force is applied. Since this force is applied over a distance, work is done.

Climbing a mountain is also an example of work, as one is applying force to overcome the acceleration due to gravity, over the distance that one is climbing.

No work is done when holding a calculus book, as there is no accumulated force over a distance.

It is also the case that no work is done when one walks around with a calculus book, this is because the “force” is in a direction perpendicular to the motion.

Finally, when one picks up a calculus book, you are moving the book against the force due to the acceleration due to gravity. Hence work is done.

We can write the definition of work in the language of calculus as, $W = \int _{s_0}^{s_1} F(s) \d s.$ The SI unit of work is also a joule. To help understand this, $1$ joule is approximately how much work is done when you raise an apple one meter.

Let’s again see why this is true.

If an apple has a mass of $0.1\unit {kg}$ , how much work is required to lift this apple $1$ meter? Assume that the acceleration due to gravity is $-9.8\unit {m}/\unit {s}^2$ .

Well, work is computed by $W = \int _{s_0}^{s_1} F(s) \d s.$ Since force is mass times acceleration, $\begin{align*} F(s) &= 0.1\cdot \answer[given]{(-9.8)} \\ &= \answer[given]{-0.98}. \end{align*}$

So, our integral becomes

$\begin{align*} \int_{0}^{1} \answer[given]{-0.98} \d s &= \eval{\answer[given]{-0.98 s}}_0^1\\ &=\answer[given]{-0.98}. \end{align*}$

Ah! So when lifting an apple $1$ meter, requires $\answer [given]{-0.98}$ joules of work. The sign is negative since we are lifting against the gravitational force.

Now we have a question:

Why do work and kinetic energy have the same units?

One way to answer this is via the Work-Energy Theorem.

Work-Energy Theorem Suppose that an object of mass $m$ is moving along a straight line. If $s_0$ and $s_1$ are the the starting and ending positions, $v_0$ and $v_1$ are the the starting and ending velocities, and $F(s)$ is the force acting on the object for any given position, then $W = \int _{s_0}^{s_1} F(s) \d s = \frac {m\cdot v_1^2}{2} - \frac {m\cdot v_0^2}{2}.$

First we need to get all of our symbolism out in the open. Let:

$s(t)$ represent position with respect to time,
$v(t)$ represent velocity with respect to time,
$a(s)$ represent acceleration with respect to position,
$t_0$ represent the starting time,
$t_1$ represent the ending time,

then we also have that

$s(t_0)$ represents the starting position, $s_0$ ,
$s(t_1)$ represents the ending position, $s_1$ ,
$v(t_0)$ represents the starting velocity, $v_0$ ,
$v(t_1)$ represents the ending velocity, $v_1$ .

Now write with me, $W = \int _{s_0}^{s_1} F(s) \d s = \int _{s(t_0)}^{s(t_1)} F(s) \d s$ here we are working with functions of distance. We will use the substitution formula,

transforming from right to left, to see that $\int _{s(t_0)}^{s(t_1)} F(s) \d s = \int _{t_0}^{t_1} F(s(t)) s'(t) \d t$ and we are now working with functions of time. Since $s'(t) = v(t)$ , we may write $\int _{t_0}^{t_1} F(s(t)) s'(t) \d t = \int _{t_0}^{t_1} F(s(t)) v(t) \d t$ and now remember that $F=m\cdot a$ , so $\int _{t_0}^{t_1} F(s(t)) v(t) \d t = \int _{t_0}^{t_1} m\cdot a(s(t)) v(t) \d t.$ However, $a(s(t)) = v'(t)$ , so rearranging we have, $\int _{t_0}^{t_1} m\cdot a(s(t)) v(t) \d t = m\cdot \int _{t_0}^{t_1} v(t) v'(t)\d t.$ Now we apply the substitution formula again, this time we will transform left to right

and so we see $m\cdot \int _{t_0}^{t_1} v(t) v'(t)\d t = m\cdot \int _{v(t_0)}^{v(t_1)} v \d v$ and we are working with functions of velocity. At last, setting $v(t_0) = v_0$ and $v(t_1) = v_1$ , we can evaluate this integral, $\begin{align*} m \cdot \int_{v_0}^{v_1} v \d v &= m \cdot \eval{\frac{v^2}{2}}_{v_0}^{v_1}\\ &=\frac{m\cdot v_1^2}{2} - \frac{m\cdot v_0^2}{2}. \end{align*}$

The Work-Energy theorem says that:

This could be interpreted as:

The accumulated force over distance is the change in kinetic energy.

Moreover, this answers our initial question of why work and kinetic energy have the same units. In essence, energy powers work.

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Controls

Symbols

Settings