Professional Documents
Culture Documents
Topics:
What is classical mechanics?
Degrees of freedom
The Art of Theoretical Physics
Motion, trajectories and F = m a
F = ma implies two initial conditions per degree of freedom
Two initial conditions per degree of freedom implies F = ma
So what?
Finding trajectories numerically
Forces of the form F (t)
Degrees of freedom
We will start slowly, with some useful definitions.
Coordinates — The coordinates of a physical system are the numbers (possibly dimensional)
that describe the system at a given fixed time.
We will call the configuration q, without specifying (at least for another few seconds) whether q is
a single variable, or some kind of vector describing several coordinates at once. The word “inde-
pendent” in the definition means that none of the numbers in our set of coordinates is redundent or
dependent of the others. That is we asume that the coordinates in the configuration are indepen-
dent in the sense that each can in independently changed, and each different set of values describes
something physically different. Given a set of values of the coordinates at some particular time,
we can figure out what the configuration is and thus what the system looks like at that time. Thus
a configuration is just a mathematical snapshot of the system at a given time.
One way of describing the underlying problem of classical mechanics is that we want to under-
stand how the configuration of the system evolves with time. That is we want to put the snapshots
together into a mathematical movie to describe how the system moves.
1
Degrees of freedom — The number of independent components of the configuration q is called
the number of degrees of freedom of the mechanical system.
The number of degrees of freedom is the number of independent ways in which the system can
move. Here are some examples. A point mass sliding on an airtrack, described by only a single co-
ordinate, has one degree of freedom. We get more degrees of freedom if we go to more dimensions
or to more complicated objects.
A continuous massive spring formally has an infinite number of degrees of freedom, because to
specify its configuration we would have to give a continuous function describing how much every
point on the spring is stretched. Really, of course, a physical spring has a finite but very large
number of degrees of freedom, because it is not actually continuous, but is made up of atoms. But
the difference between ∞ and Avogadro’s number is often not very important.
This brings up an important philosophical point. What the heck is a “point” mass? What is a
“rigid” body? What is a “massless” spring? Most of you have probably been dealing with physics
problems for so long that you are used to these phrases. But it is important to remember that these
are mathematical idealizations. Real physical systems are complicated, and in fact, what we choose
for q may depend on what kind of physical questions we want to ask and what level of accuracy we
need in the answer. So for example, for a hockey puck sliding on the ice at the Boston Garden, we
might decide that the configuration is specified by giving the x and y coordinates that determine
the puck’s position in the plane of the ice. Then q would stand for the two dimensional vector,
(x, y). But if we do this, we have ignored many details. For example, for a shot that comes off
the ice, we would need to include the z coordinate to describe the motion of the puck. For some
purposes, we would also need to include descriptions of the puck itself. For example, we have
not included an angular variable that would allow us to specify how the puck is turned about its
vertical axis. This is probably good enough for most problems. But sometimes, more information
is required to give a good description of the physics. For example, if we wanted to understand how
a rapidly rotating puck moves, we might need this more detailed information. We could also go on
and describe how the puck might deform when hit by the stick, and so on. We could include more
and more information until we got down to the level where we begin to see the molecular structure
of the rubber of the puck. At this point, we begin to see quantum mechanical effects, and classical
mechanics is no longer enough to give an accurate description.
2
The Art of Theoretical Physics
This is a good lesson. The coordinates that we use to describe the system may depend on what
kind of information we want to get out of our mechanical model of the system, and how accurately
we want our model to reproduce reality. We usually will not go over these niceties each time we
discuss a system, but they are important to remember. There is really a very important point here.
In physics courses, we frequently discuss “toy” systems which are obviously oversimplified, in
which we have clearly left out features that are important in the “real world.” This is not something
to apologize for. This is precisely the art of theoretical physics. We work hard to abstract the
essential physics of a system, without including things that don’t matter at the level of description
that we are interested in. This down-to-earth ability to focus on the crucial parameters is far more
important than fancy mathematical gymnastics.
In fact, I believe, getting better at this art is one of the most useful things you can get out of
this course. It is generally useful far beyond this or future physics courses. The ability to build
mathematical models of phenomena is crucial to many fields. But models can be as misleading as
they can be useful unless they focus on the right parameters, and unless the modeler is aware of the
model’s limitations. Physics is the paradigm for this kind of thinking. This is one of the reasons
why, over the years, trained physicists have been so much in demand in very different fields.
We describe a trajectory by giving the value, q(t) of the coordinates of the system as a function
of time. There are an infinite number of possible trajectories for any interesting physical system
(that is, unless everything is nailed down and completely fixed). Our everyday experience tells us
that knowing the configuration of the system at some time is not enough information to allow us
to calculate the trajectory. A snapshot doesn’t tell us how the system is moving. We also need to
know the velocity of the system — the derivative of q with respect to time. We will sometimes use
the notation of a dot over an object to represent a time derivative:
d
q̇(t) ≡ q(t) . (1)
dt
If q describes more than one coordinate, then q̇ describes the same number of independent veloci-
ties - but we will continue to call q̇ the velocity, even if it has multiple components. If q is a vector,
q̇ is the same kind of vector. For the hockey puck,
Then we can say that if we know q and q̇ at a particular time, we should be able to calculate the
trajectory. For example, if we know where the hockey puck is and how fast and in what direction it
is moving, we can plot its trajectory by just assuming that it continues to move at a constant speed
along the line determined by its position and velocity.
3
Something important has happened. I have snuck in one of the critical assumptions of mechan-
ics. Let me say it with the formality it deserves.
Because the number of components of q and of q̇ are both equal to the number of degrees of
freedom, this means that we have to specify two constants per degree of freedom in order to
specify how the system moves. This is a biggie. We will come back to this, as you will see.
One of the central problems of mechanics is to calculate what these trajectories are for various
systems — that is to say, to figure out how things move. To begin, let us think about what this
process is like for a system specified by a single coordinate, x. Newton tells us that to figure out
how x changes as a function of time, we define our coordinates in an appropriate inertial frame
(we’ll talk much more about what this means later) and use his second law
F = ma (4)
where F is the force on the object, m is its mass, and a is its acceleration (also sometimes written
as ẍ — one dot for each time derivative)
d2
a≡ x ≡ ẍ (5)
dt2
We will have much more to say about mass, but for now, we will just assume that m is a fixed
property of the object. The force, F , is more complicated. In general, F will depend on what the
system is doing. Since we have already assumed that all we need to know about the system at a
given time is q and q̇, in this case x and ẋ, all F can depend on is
³ q, q̇ and t.´ So in general, F
at time t is some function of x and ẋ, at that same time, and t, F x(t), ẋ(t), t . Then Newton’s
second law becomes a formula for the acceleration:
1
ẍ = F (x, ẋ, t) (6)
m
Note that in general, in Newton’s second law, the force is a function of all three variables, x,
ẋ, and t. Because of things like this, we will often have to discuss the calculus of functions of
several variables. I realize that some of you are just beginning to study this subject formally in
math courses. In general, in this course, I will often make use of mathematics that many of you
have not seen. We won’t be using any deep properties of the subject, just things that you would
guess immediately from your knowledge of calculus of a single variable, vectors, and algebra. The
proofs can wait until (or if) you take the appropriate math course. The important thing is that you
try to understand the physics, and not faint when unfamiliar mathematics is thrown at you.
F = ma Implies A
Now the first deep question I want to address is this: Why should the fundamental law of me-
chanics (which Newton’s second law certainly is) be a formula for acceleration? A partial answer
comes from the mathematics. A formula like (6) is called a second order differential equation
4
because it involves a second derivative but no higher derivatives. Our mathematician friends tell
us that a second order differential equation for x has in general an infinite number of solutions,
which can be labeled by the values of x and ẋ at some given time. These conditions that specify
the solution are sometimes called the initial conditions, and this is certainly appropriate for the
physics applications we have in mind. Once we specify the initial conditions, the initial position
and velocity, the solution of the differential equation, which is the trajectory, is completely spec-
ified. This means that if the fundamental law is a second order differential equation, like (6), the
mathematics guarantees that assumption A is satisfied. Thus we have shown that F = ma implies
A. This is a good thing.
In general, I am not so interested in proofs in this course, at least not in the mathematical sense.
However, in the note, and in lecture if I have time, I will give a “physicst’s proof” that the solution
of a second order differential equation is specified by q and q̇.
Here is a simple and probably very familiar example. Suppose that the force is constant,
d2
F (x, ẋ, t) = F0 = m a = m x = m ẍ (7)
dt2
The solution for x(t) can be written in terms of x and ẋ at t = 0 as
F0 2
x(t) = t + ẋ(0) t + x(0) (8)
2m
We will see one general way of getting this result later. But is easy to check that (6) is satisfied by
computing the second derivative.
F0
ẋ(t) = t + ẋ(0) (9)
m
F0
ẍ(t) = (10)
m
This shows that the t2 term is right. You can check that the other terms in (8) are correct by setting
t = 0 in (8) and (9).
There is nothing special about t = 0. We could just as well write the solution in terms of the
position and velocity at some arbitrary time t0 , as
F0
x(t) = (t − t0 )2 + ẋ(t0 ) (t − t0 ) + x(t0 ) (11)
2m
A Implies F = ma
It is less obvious that the implication also goes the other way. At least for a single degree of
freedom, assumption A actually implies, under very mild assumptions, the existence of a second
order differential equation like Newton’s second law for the trajectories.
To see this, let us restate A in mathematics. Suppose that a system has one degree of freedom
so that the configuration of the system is given by the value of a single variable x (it won’t matter,
but it makes the language simpler to talk about only a single coordinate). Since A is the statement
that the trajectory is determined by x and ẋ at some given time, call the “given time” t0 , then A
implies that we can write any possible trajectory x(t) as a function of four variables: t (of course);
the time t0 at which we specify x and ẋ; and of the “initial” values x(t0 ) = x0 and ẋ(t0 ) = v0 . A
5
is just the statement that such a function exists. Since it exists, we can give it a name G and write
the statement A in mathematics as
³ ´
A ⇔ x(t) = G x0 , v0 , t0 , t (12)
Furthermore, because we can specify x and ẋ at any time we choose. We can use any t0 in (12)
and get the same trajectory so long as we take x0 and v0 to be the values of the position and the
velocity on that trajectory at the time t0 . This function G contains everything about all possible
motions of the system!
The mild assumption we need to get F = ma from this is a smoothness assumption. We must
assume we can differentiate our function x(t) with respect to time. Obviously, if we can’t do this,
we have no hope of getting to Newton. This assumption is really very mild.
Now here is the basic idea. Because of the meaning of the initial conditions, we can put
x0 = x(t0 ) and v0 = ẋ(t0 ) into (12) and rewrite it as
³ ´
x(t) = G x(t0 ), ẋ(t0 ), t0 , t (13)
This is a peculiar equation, because the trajectory x(t) appears on both sides, on one side inside
the function G. Because of this, the equation is telling us something about the function x that
describes the trajectory. It is still more complicated than it has to be though, because it involves
two different times, t and t0 . But the other peculiar thing is that the right hand side of (13) must be
completely independent of t0 , because t0 doesn’t appear on the left had side at all. We can use this
to get information on the trajectory that only depends on a single time. In particular, now we can
start differentiating both sides of the equation with respect to t and afterwards, setting t0 equal to
t to get an equation that only depends on the the trajectory and its derivatives at a single time. We
will see that differentiating zero or one time doesn’t give us anything interesting - just tautologies.
But differentiating twice is interesting.
So here goes. First we set t0 → t in (13).
³ ´
x(t) = G x(t), ẋ(t), t, t (14)
This is a tautology, because we can use the time t as the initial time to specify the trajectory, and
this just says that the particle is where it is supposed to be at time t. To put it another way, if I
change all the ts to t0 in (14),
³ ´ ³ ´¯
x(t0 ) = G x(t0 ), ẋ(t0 ), t0 , t0 = G x(t0 ), ẋ(t0 ), t0 , t ¯¯ = x(t)|t=t0 (15)
t=t0
Again we can set t0 → t because the left hand side doesn’t depend on t0 . The equation (16) just
says that the particle is going as fast as it should be going at time t.
∂ ³ ´ ∂ ³ ´¯
¯ ∂
ẋ(t0 ) = G x(t0 ), ẋ(t0 ), t0 , t0 = G x(t0 ), ẋ(t0 ), t0 , t ¯ = x(t)|t=t0 (17)
∂t ∂t t=t0 ∂t
6
But differentiating twice with respect to t gives us a second order differential equation that the
trajectory must satisfy. And this is Newton’s second law.
∂2 ³ ´ ∂2 ³ ´¯
¯
ẍ(t) = G x(t 0 ), ẋ(t 0 ), t 0 , t = G x(t 0 ), ẋ(t 0 ), t 0 , t ¯ (18)
∂t2 ∂t2 t0 =t
The right hand side of (18) is just some function of x(t), ẋ(t) and t. Thus as promised, is a second
order differential equation for x(t). This is just F = ma with
∂2 ³ ´¯
F (x(t), ẋ(t), t) = m 2 G x(t0 ), ẋ(t0 ), t0 , t ¯¯ (19)
∂t t0 =t
From the function that is the mathematical description of the assumption A that the trajectory is
determined by an initial position and velocity, we can find the force that makes F = ma work.
So what?
What have we really learned from this mathematical philosophy? We have shown that Newton’s
second law is actually equivalent to assumption A — each implies the other. Of course, we haven’t
really understood why F is equal to ma, because we still don’t know why assumption A is true.
Must it be true? Actually, I don’t think so. In fact, I don’t really think it is true. Like most of the
things we teach as “physical laws”, it is only an approximation to what is really going on. We will
come back to this much later. But this is a nice example of the kind of thinking that we will be
doing a lot of in this course.
7
problems that some people have with time pressure on exams. And while the material is hard,
as long as you get the help that we are eager to give you, the work is really not very different
from that in 15a. For some of you it may take a little more time, so as I say at the end of the
information sheet, it is important to think about it in the context of your whole schedule, curricular
and extracurricular.
where the · · · are terms with more powers of ∆t. I love the Taylor expansion, and we are going
to come back to it many times in the course, and later we will talk about the higher order term.
But here, these can be ignored if ∆t is sufficiently small. This first term in the Taylor expansion is
nothing more than the definition of the derivative:
x(t0 + ∆t) − x(t0 )
x(t0 + ∆t) = x(t0 ) + ∆t ẋ(t0 ) + · · · ⇔ ẋ(t0 ) =
∆t
+ ··· (21)
How does this help us find x(t). This is fine as far as it goes, because we are given the initial
conditions for x(t0 ) and ẋ(t0 ). But what we would like to do is to be able to iterate this procedure
and find x(t0 + n∆t) which would mean that we could find x(t) (at least approximately) at a
whole sequence of future times. And in the next step we have a problem because we don’t know
ẋ(t0 + ∆t) from the initial conditions. But now the key point is that we can also keep track of ẋ
8
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 ẋ(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 ẋ(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), ẋ(t) and ẍ(t), because the
differential equation only tells us the third derivative. Then we would need three initial conditions.
And so on.
9
1. We can easily verify that it works, because if we differentiate the left hand side with re-
spect to t, we just get the acceleration, a(t). On the right hand side, integral calculus tells
us that differentiating the integral with respect to t gives the integrand evaluated at t, and
differentiating the constant gives zero, so we get
1
a(t) = F (t) (26)
m
which is F = ma.
2. We need to invent a new symbol for the argument of the integrand, because the previous
argument only works if the time dependence appears only as the upper limit of the integral,
so we have just put a prime on t. The dt0 in (25) identifies the variable t0 as a completely
independent “dummy” variable. It is a “dummy” because in the expression (25), it doesn’t
have any particular value. It is just a symbol to indicate exactly what integral we are doing.
This is simple but important. You should never ever write an equation like
Z t
A(t) = dt B(t) (27)
t0
Because the variable t in (27) appears in two ways — as a real variable and as a dummy
variable — and it can’t be both. Thus (27) doesn’t mean anything at all, and if we see it
on one of your problem sets or tests we will deal sternly with it!
Also, the integral Z t
dt0 B(t) (28)
t0
is not the same as Z t
dt0 B(t0 ) . (29)
t0
Both of these expressions are sensible, they are just not the same. In fact, we can do the first
integral explicity because the integrand B(t) doesn’t depend on the integration variable, the
dummy variable t0 - Z t
dt0 B(t) = (t − t0 ) B(t) . (30)
t0
3. The integral needs some lower limit, and we have called this t0 , expecting it to have some-
thing to do with the initial conditions.
4. Finally, (25) appears to depend on both t0 and the unknown constant. But we can determine
the constant by just setting t = t0 , which gives
Z t0
1
v(t0 ) = dt0 F (t0 ) + constant (31)
t0 m
The integral vanishes here because the range of integration is zero, so we know that
We sometimes call the initial condition ẋ(t0 ) an integration constant because of the way it
appears in (31).
10
Putting (32) back into (25) gives the final result for the velocity,
Z t
1
v(t) = dt0 F (t0 ) + v(t0 ) (33)
t0 m
Another way to think about the result (33) is from the following chain (really just going back-
wards through the same argument):
Z t Z t Z t
01 0 0 0 d
dt F (t ) = dt a(t ) = dt0 0 v(t0 ) = v(t) − v(t0 ) (34)
t0 m t0 t0 dt
which is equivalent to (33).
Now that we know v(t) as a function of t (at least formally, in terms of an integral), we can
find x(t) by just repeating the procedure. But v is the time derivative of x, we can write
Z t
x(t) = dt0 v(t0 ) + x(t0 ) (35)
t0
where again, the initial condition appears as an integration constant. Then we can put (33) into
(35) to get "Z 0 #
Z t
00 1
t
0 00
x(t) = dt dt F (t ) + v(t0 ) + x(t0 ) (36)
t0 t0 m
Note the new variable of integration, again to keep from getting the integration variable confused
with the range of integration. Finally, we can do the integral for the term proportional to v(t0 ),
because it is just a constant, and get the result
Z t Z t0
0 1
x(t) = dt dt00
F (t00 ) + v(t0 )(t − t0 ) + x(t0 ) (37)
t0 t0 m
The terms in (37) are easy to understand. The last term is where the object started — the initial
condition for the position. The middle term describes motion with constant velocity v(t0 ), which
is what the object would be doing if there were no force on it. And the first term is the effect of
the force. Notice that (37) is valid for a constant force F (t) = F0 (a constant is just a particularly
simple function of t). And sure enough, we can do the integral in that case and get (11).
Z t Z t0
1
x(t) = dt0 dt00 F (t00 ) + v(t0 )(t − t0 ) + x(t0 )
t0 t0 m
Z t Z t0
F0
= dt0 dt00 + v(t0 )(t − t0 ) + x(t0 )
t0 t0 m (38)
Z t
F0 0
= dt0 (t − t0 ) + v(t0 )(t − t0 ) + x(t0 )
t0 m
F0
= (t − t0 )2 + v(t0 )(t − t0 ) + x(t0 )
2m
11