throw away in (20) and (22) are smaller. If you are doing this on a computer, it doesn’t matter how
complicated the function F is.
But sometimes, it is nice to have analytic expressions for the trajectories. You may be able
to find such things if the force is a simple enough function. For the rest of this lecture and on
Thursday, we will give examples in which this can be done, both in general, using integration, and
in specific cases where the integrals can be done analytically.
Meanwhile, notice that the analysis we have just given really is a “physicist’s proof” of the
statement that a second order differential equation has a solution that is fixed when we know q and
˙q at some time. We have “proved” this by actually constructing the solution! This is the best kind
of proof for a physicist — one that not only tells you that the solution exists, but actually shows
you how to find it. Of course this would never satisfy a mathematician — too many loose ends?
But note that we can “prove” the general theorem this way — that an n-th order differential
equation requires n initial conditions. Because our original equation was a second order differential
equation, we had to keep track of both x(t) and ˙x (t) while we take our small time steps. In a first
order differential equation, we would only have had to keep track of x(t), because the differential
equation would tell us ˙x(t) directly in terms of x(t). Then we need only one initial condition. In
a third order differential equation, we would have to keep track of x(t), ˙x(t) and ¨x(t), because the
differential equation only tells us the third derivative. Then we would need three initial conditions.
And so on.
Forces of the form F (t)
The big general principle of mechanics that we have talked about today is that we need two initial
conditions per degree of freedom to specify how a system moves. Staple this in your brains. This
is something we will come back to and will try to understand better. But now and next time we
will spend a bit of time discussing some examples of the different ways these initial conditions can
appear. There are more in Chapter 2 of Dave Morin’s book.
The simplest and least interesting example of a force law in which the trajectories can be found
formally using integration is a force depending only on t, not on x or ˙x. In this case, we can simply
use the fundamental theorem of integral calculus. The acceleration is the time derivative of the
velocity, so we can write F = ma in this case as
a(t) =
d
dt
v(t) =
1
m
F (t) (24)
The fundamental theorem tells us that the general solution to (24) can be written as
1
v(t) =
Z
t
t
0
dt
0
1
m
F (t
0
) + constant (25)
There are a number of things to note about (25):
1
Note that t
0
here is a dummy variable. We will discuss dummy variables in more detail below, but there is a
possible notational confusion. The symbol t
0
does not mean “the derivative of t” but is just a symbol for a new
independent variable. We could have called it s instead, but Dave’s book uses the t
0
notation in this way, so I am trying
to do it in lecture as well. You will have keep your wits about you to figure out what is going on, but you can almost
always tell from the context. If a
0
appears on a function, it is a derivative. If the
0
appears on a variable, it is a new
variable. Thus f
0
(x) means the derivative with respect to x of the function f (x), but f (x
0
) means the function f of
the variable x
0
and f
0
(x
0
) means the derivative with respect to the variable x
0
of the function f(x
0
).
9