Introduction
The most basic law of nature that I know of is about probabilities. If you flip a coin, we say that the probability of getting heads is 1/2. The probability of getting tails is the same. The probability of getting either heads or tails is the sum
Something has to happen, so the probability is 1 of something happening. The probability of getting two heads in a row is the product:
That is, an "and" proposition means to multiply the probabilities. Most grade school children can get their heads around this. It's an apparent mathematical fact, a point of logic,
and one might wonder why it would even end up being the subject of a discussion of physics.
Fine, so suppose that the things we are talking about are not flips of a coin, but some physical events, such as "the electron goes through hole A and hits a spot on the wall behind the hole" and "the electron goes through hole B and hits a spot on the wall behind the hole". We could call the probabilities of these things happening and . Now, we can tell very easily what is. Cover up hole B, and count how many electrons hit at . That number divided by the total number of electrons you sent out is . Then do the same thing for : cover up A, count the number at , divide.
Now open up both holes, and count the number that hit while both of them are open. The probability of going through either A or B should be . But it isn't! If you count how many electrons hit with both holes open, and divide that by the number you sent out, you do not get the same thing as the sum of the two numbers. What a pity.
It turns out that the solution to this problem is that the probabilty isn't a base thing; it's actually the square of a more fundamental thing. For want of a better term, this thing is called the amplitude. So there's an amplitude, I'll call it , of going through hole A, and . And also, of course, is the square of another amplitude . And, the law of nature is that it's the amplitudes that should be added in an "or" situation:
To get the probability we have to square this thing, which is
What makes this particularly weird is that it appears to have a term () that looks like the probability of going through both A and B. It doesn't pay to take the interpretation too far, but are we willing to accept that the electron goes through both holes simultaneously?
In any case, this is how the universe works, so we're stuck with it. The amplitudes are complex numbers, not real numbers. When taking the square you have to take the absolute square, which is times its complex conjugate . But when you do this, you get the honest-to-god probability.
But you might be able to see a problem right away. Suppose that a particle starts at point , and we want to calculate the probability that it will be at some time later. How many ways can it possibly go? Infinite ways!
Sum over all paths
The problem is illustrated below.
If we are going to solve this problem, we are going to need to know the amplitude of all of the possible paths. Then, since it can go along path 1 OR path 2 OR path 3, etc., we have to add these amplitudes. And there are a lot of possible paths, just a few of which are illustrated (the curves cannot backtrack in time, but they can wiggle all they want in space). We call the amplitude of being at point , having started at point ,
The points and have coordinates and . ((Modern texts now usually refer to this as , since it turns out that is a Green's function.))
Setting aside whether we can actually even do this sum, we still have to enunciate what is for a given path. Herein lies the actual fundamental law of all mechanics:
Action is a path integral of a function , the lagrangian, written as
One might be tempted, at this point, to cry out "This is hopeless! Just to find the probability of something happening, we have to take the sum of a thing, over an infinite number of paths, where the thing is the exponential of a path integral!." Well, nature is not such a cruel bitch, and it turns out that we can work with this somewhat, even though finding the action itself is very very hard, and the sum over such things even harder.
If S is big for some paths
In real-world scenarios, oftentimes the action is the sum over a lagrangian where the numbers are quite large compared with . If a complex number is written as , for phase angle , then we can visualize the amplitudes as arrows in the 2D plane. tells us the direction of the arrow. If two amplitudes have, for instance, phase angles 43° and 223°, then they point in exactly opposite directions, and their sum is zero. Since the amplitudes are , any time is much larger than , the phase of the amplitude is very different for different paths, even if the paths are very similar, just because of their huge size. We imagine that the arrow is turning around extremely rapidly in the plane as we go through all of the paths that we have to account for. And on average, we sample all the angles equally, and the total sum is zero. This is true except for an extremum of , where nearby paths are pretty much the same (identical to first order).
Thus it is that for classical mechanics, we only need to find the extremum (minimum, in this case) of the action. This is actually pretty easy. Normally to find the extremum of a function you have to differentiate that function. But is not a function. It's a functional of , which means that it depends on the value of at every point. This is in contrast to a function of a function, like , where would only depend on at a particular . The analogous operation is to find the variation , and set that equal to zero.
If we assume that the lagrangian does not explicitly depend on time, then we can slip the variation under the integral symbol:
and we can write this out by finding the full "differential" of :
Integrating the first term by parts gives
The term in brackets is 0, since we are varying the path with fixed endpoints and . Therefore
For arbitrary , the term in parenthesis must be zero. The lagrangian is kinetic energy minus potential energy
so
Since any consevative (curl-less) force can be written as the negative derivative of a potential
If S is not big
The rule for "or" is to add amplitudes and for "and" we multiply amplitudes:
We are still trying to find out the amplitude of going from to , which I said we call . If we wanted to, we could specify a third point, intermediate to these two points, called . Then, the amplitude is the amplitude of going from to , then from to , only we have to sum over all allowed points :
I multiplied before integrating because it's the amplitude of going from to and then going from to .
If we wanted to, we could make such intervals, so that we insert points in between them, numbered from 1 to . Then,
Now we've split the path up into tiny sections, over a small time interval which we call . Then, as we said before the amplitude is
(I have added in a factor of so that the probability will be normalized to 1. We will have to find out what is if we want our probabilities to work out right.) But now we have something that's over so small a range that we can approximate to first order without any issues. We replace with and with . The integral we will say is just . Thus,
Again, we say that the lagrangian is just kinetic minus potential energy (Eqn. 12 above), so if we call and , we get
This is the amplitude for being at point if you started at , which was earlier. What we want is the amplitude to be at having started from anywhere. This is not bad, because we just have to multiply the amplitude of going between the points (our ) by the amplitude to be at , and integrate over all possible :
where is now the sign for the amplitude. Putting in for ,
To make things a little simpler, let's call the spatial difference , so that and . Then,
Now that we have everything in terms of small changes, we can do an expansion. We do the expansion to first order in and second order in . Dear reader is no doubt aware of the Taylor expansion of a function near a point
We can convert this into a series in the difference between the point and a small change by letting and (this is ok if the substitution is done after differentiation)
This shows that
and,
The leading term on the RHS of (23) is
which is found by the simple gaussian integral formula
Compare this with the leading term on the LHS, which is just . This means that, if the expression is to be true to zeroth order,
The second term on the RHS is
since the integrand is an odd function in . The third term on the RHS is
(found by taking of both sides of Eqn 30). Once we substitute in for our value of , this becomes
Using all of these parts, we have the equation
which has a factor of that we ignore to get
Finally, multiply through by to find