Why Does F=ma F = m \cdot a ?

Our question this week was:

Newton's laws (in 1-d) state F=ma, where a is the second time derivative of the position. Why does this equation have a second time derivative and not, say, 1,3,4, etc. time derivatives? In particular, what are the physical reasons behind this?

You can view the discussion, and read comments about the answer.

My answer is below. One thing everyone should keep in mind is that this is only an answer to this question. Many of you had good answers to all or parts of this question that differ from this one. There is nothing necessarily wrong about your answers, i.e. my answer is not necessarily the right answer. My answer is simply one of the ways I personally think about this question. It's also an answer with a specific point, in that I'm trying to give a glimmer of a way of thinking that many of you may not be used to. From an experimental standpoint it is enough to say, we have F=ma because I observe carts to accelerate uniformly when I apply a constant force. End of story. This is not the mode of thinking I'm aiming for, as this type of thinking doesn't allow us to easily go beyond existing theories and create new theories. Instead, I want to get you all "thinking like a theorist", wondering more about which physical principles dictate F=ma. Knowing how physical principles relate to our mathematical equations is important as we create new theories by relaxing existing principles: relativity relaxes the notion of absolute time, quantum mechanics relaxes the idea of definite locations for particles, string theory relaxes the requirement that the fundamental objects of nature are pointlike, etc. The hard part is knowing which principles can be relaxed without getting into too much trouble and then generating the corresponding mathematical structures. Alright, enough silly philosophizing - let's get on to the question.

We first need to figure out the options we want to compare F=ma to. I'll start from a general construction that contains some possibilities and show what's wrong with each possibility besides F=ma. Let's first take as our set of possibilities that

\begin{equation} F=\sumn cn \frac{d^n x}{dt^n} \end{equation}

where n=1...n=1...\infty and cn0c_n \neq 0 for only one value of nn. F=ma then corresponds to c2=mc_2=m, all other cn=0c_n=0. This provides the scope of our inquiry. The scope is non-trivial in that it allows for different possibilities and it encompasses the original question, but it also is tractable, in that I have neglected anything goes type approaches (I've restricted to the position of an object being an analytic function for example). I have also assumed the definition of force remains unchanged. This is one of the hardest lessons to learn as a student - when is the scope too big or too small. We always want to ask the big questions, but asking things like "what is time?" will often get you nowhere without being more specific. Conversely, making only a small change can get you somewhere, but where is often not all that interesting.

We now look at the various values of nn. Many of you had great answers about n=0n=0 (F=c0xF=c_0 x) and n=1n=1 (F=c1vF=c_1 v). Here's mine.

n=0: In nature, we must be able to describe physics of extended objects. Therefore there must exist distinct points x,yx,y in space. What would happen if we used F=mxF=mx? Well, if an object had no forces on it, then it must be at x=0x=0. However, we have all sorts of objects in our world that are extended and are not moving, and so have no net force. Therefore just by the requirement that our physics must describe a world where things can be not moving, yet here or there have meaning, we can get rid of F=mxF=mx.

n=1: In this case, we usually apply the notion of relativity - that the physics in different inertial reference frames should be the same. Let's assume the principle of relativity holds here and choose an observer O, moving at a speed vv with respect to an object at some position x=0x=0. Since our notion of force is the same, the force on the object is unchanged (or invariant) no matter what vv is. But, vv is a totally arbitrary quantity in that it depends on the choice of observer. Hence the n=1 case is mathematically inconsistent if we maintain the principle of relativity.

n2n\geq 2: This is where it gets interesting (at least to me). We usually have Newton's first law, part of which is that an object at rest tends to remain at rest unless acted on by a force. So, let's consider the F=0 case and ask what happens. If we had F=maF=ma, then the F=0F=0 solution is just x=v0t+x0x=v_0t + x_0. If we still assume the principle of relativity, then we can always transform to an inertial frame where x=0x=0 for all time. This is good, as it means that Newton's first law holds. If we have the n>2n>2 case, however, Newton's first law breaks down. For example, let n=3n=3. Then the F=0F=0 solution is x=At2+v0t+x0x=A t^2+v_0t + x_0 where AA is a constant. Using relativity, we can still transform to a reference frame where v0=x0=0v_0=x_0=0. Therefore the solution is x=At2x=At^2 in this frame. This is a problem though! Particles that experience no force can just fly off to infinity, thereby violating Newton's first law, not to mention things like the conservation of energy. A similar argument holds for all higher derivatives. In fact, higher derivative differential equations generally have solutions that are "unstable", they just fly off to infinity, violate energy conservation, and do other nasty things. This instability goes by the name of the Ostrogradski instability, and it generates a very important restriction on the number of time derivatives we can have in our theories.

In sum, we find that having a standard notion of force, the need to have here vs. there for static objects be meaningful, the principle of relativity, and the requirement that our solutions don't run off to infinity and violate energy conservation, constrain our equations for the motion of particles to be F=maF=ma and nothing else. These are the physical reasons behind this equation.

BONUS: For the adventurous types, there was an idea a decade or so ago called MoND (Modified Newtonian Dynamics) which postulated that F=ma+a2/a0F=ma + a^2/a_0, where a0a_0 is an acceleration scale. This theory was proposed to explain the motion of stars at the edges of galaxies, and it actually worked well for spiral galaxies. Dark matter has gotten rid of the need for MoND, but it was an area of active interest not all that long ago. You can read about it here. Which physical principle did MoND give up?

Note by David Mattingly
7 years, 4 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}


Sort by:

Top Newest

So, as an answer to the question asked in the end, did MoND give up the principle of inertia? Cuz, the second law of motion is the underlying explanation to inertia.

A Former Brilliant Member - 5 years, 6 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...