Notes on Landau and Lifshitz: Conservation Laws
April 2023
In this second installment (here's the
first installment), we'll go over the
second chapter of the first volume of Landau and Lifshitz—conservation
laws. As anyone with a knowledge of physics knows, these are very
important laws, despite having deceptively simple proofs. So much so
that I practically stumbled upon the proof of conservation of
momentum by accident. The key idea of this chapter seems to be that to
each invariance—i.e., homogeneity, isotropy, etc.—there corresponds a
law of conservation. This makes sense on an intuitive level. For
instance, the homogeneity of time is mathematically stated as
. It's understandable if we use this fact
in a long of chain of derivatives to deduce that wherein
would be a conserved quantity.
- Energy
- Momentum
- Angular momentum
- Center of mass and reference frames
- Mechanical similarity
- The virial theorem
- Addendum: Noether's theorem
Energy
Lets take our example to completion. Suppose we have a system of particles whose motion is determined by the Lagrangian of and as well as As mentioned before, a reasonable thing we might do is to differentiate with respect to , knowing that As such By using the Euler-Lagrange equation we can rewrite our term for to get which can be seen from the product rule. Since differentiation is a linear operation, we can pull it outside of the sum, then move everything to one side whence we have As such, is a conserved quantity. But what sort of quantity is it? What would be a reasonable name for it?
We can answer this question by looking at the Cartesian form of this quantity. Since , then So it seems that the sum of the kinetic and potential energies is a conserved quantity. So it makes sense to call it energy. We have now established the principle of conservation of energy.
Lanlifshitz uses the theory of homogeneous functions to find the nature of this quantity. A function is called homogeneous if, for all , for some number which is called the degree of the function. We may obtain a very important result by differentiating both sides of this definition with respect to . If we let approach unity, then it becomes clear that Which is called Euler's theorem on homogeneous functions; our second result named after him in less than fifteen pages.
An important class of homogeneous functions are homogeneous polynomials. An example that might lead us to the general definition of the homogeneous polynomial is the binomial distribution . We can see that this is a homogeneous function since This, however, isn't particularly revealing. Most polynomials look like sums, and the sum that determines is given by This makes things much clearer. We can see that is homogeneous because which allows us to factor out . So whenever all terms of a polynomial have degree , like in the binomial distribution, then we can always factor out an in every term. As such, we can see that any polynomial whose every term has the same degree is a homogeneous polynomial.
If you remember the previous post, we derived kinetic energy in generalized terms. It looked something like this: Notice that every term of this polynomial has a degree of two; so it is a homogeneous polynomial of degree two. Furthermore, since , then by Euler's theorem on homogeneous functions we may state that Rewriting the expression for our conserved quantity by using this fact results in So as you can see, we have shown in generalized coordinates that the conserved quantity associated with the homogeneity of time is energy.
We may now move on to the conservation law associated with the homogeneity of space.
Momentum
The homogeneity of space in a system of particles is stated mathematically as for all Expanding the left side of this equality in terms of results in where is an infinitesimal. Therefore, we can say that We can rewrite this fact with the Euler-Lagrange equation to introduce the much needed time derivative into the game. So as you can guess If we pull the derivative outside of the sum, it becomes clear that is a conserved quantity.
As before, it seems reasonable to investigate the nature of this quantity and to give it a good name. As always, the Cartesian coordinate system is the guide of our intuition. So lets find the form of this new quantity in Cartesian terms: In Newtonian mechanics we called this the momentum of the system, and we'll continue calling it that. From this we'll call the generalized momentum of the th particle.
One of the core properties of momentum is that its time derivative is the force. If you recall the first installment of these notes, we showed that is the generalized force on the th particle. The Euler-Lagrange equation may be restated in these terms as This isn't very interesting; we showed it way back in the first installment. What is interesting is that, if momentum is conserved, then . The fact that the sum of the forces is always zero is called Newton's third law. We have finally proved all of them. Yay!
To be clear, Newton's second law actually states that for every force there exists a force equal in magnitude and opposite in direction. In other words, This follows from . If Newton's third law is false, then there is at least one force such that there is no reaction to it that cancels it out. Therefore cannot be zero. Which is the contrapositive form of what we intended to show.
Problem. Which law of nature is broken in a non-inertial reference frame?
See answer
A non-inertial frame of reference is moving with a non-zero acceleration relative to another frame . If this is so, then objects that are stationary in are accelerating in , which means that they have forces which come out of no where and are not canceled out by any other force. Contradicting Newton's third law.
Another possible answer is that conservation of momentum is violated. The momentum of certain particles is increasing without any force being impressed on them.
Next on the list is the conservation law associated with the isotropy of space.
Angular momentum
Previously, the invariances with which we had to deal with were on the simpler side. For instance, a parallel translation in space is equivalent to adding a constant to every single coordinates; and a time translation is equivalent to adding a constant to the time. But the isotropy of space—invariance under rotation—is going to be a little bit harder to describe.
Suppose that the entire system of particles is rotated infinitesimally by
degrees with respect to some axis of rotation One of these
particles is located at and ends up at after the rotation. As rotation
is distance preserving, then Furthermore, is infinitesimally
small, so Based on this information, we can see that the change in
the particle's position after the rotation is . This in turn
is equal to since as
We can see that Since is just the position of the particle before the rotation, we'll denote it as . As such, the change in the particle's position during the rotation has a magnitude of and is perpendicular to .
If we let be a vector whose magnitude is and whose direction is the same as then we can see that the change in the particle's position is really Similarly, the change in the velocity is also which can be found by the same reasoning. Furthermore, notice that since is constant.
In short, the change in the th particle's position and velocity can be given by and respectively. As such, we can state the isotropy of space mathematically: As usual, we will expand the Taylor series of the left side with respect to The process of getting the Taylor series is identical to what we did during the derivation of the Euler-Lagrange equation in the first installment so I won't go over it in full detail. It suffices to say that Since the cross product and the dot product are related through we can factor out We can rewrite this expression by using the Euler-Lagrange equation and the fact that is some arbitrarily small positive quantity. Pulling the derivative outside of the sum tells us that is a conserved quantity.
As we discussed in the previous section, is generalized momentum. Substituting this in our new quantity tells us that is conserved.
Previously, we would try to find the nature of this quantity. Once we had done so, we'd give it a decent name. In this case, however, we already know the nature of this quantity since we did the derivation in Cartesian coordinates. And since it has momentum in it, we'll call it angular momentum.
Center of mass and reference frames
We have previously established that the laws of nature hold in all inertial frames of reference. We also discussed how we can see the motions of particles from different frames of reference via the Galilean transformation. An interesting problem in this Galilean relativity is to find the transformations that tell us how to convert the conserved quantities of a certain frame onto another.
For instance, suppose that we have a system of particles with positions moving with velocities with masses from the perspective of some inertial frame. If another inertial frame is moving with a velocity relative to this frame, then we know from the Galilean transformation that the velocities of the particles in this frame are As such, the momentum of the system in this reference frame is given by An interesting corollary of this fact is that the reference frame moving with a velocity of has a total momentum of We may further infer that the point in this frame which is moving with that velocity is placed at As you can see, these are weighted averages where the weights are actually masses! The point is called the center of mass of the system, and the inertial frame moving with a velocity is called the center of mass frame or the CM-frame.
An interesting property of the center of mass is that we can balance the entire system on the center of mass if we rigidly connect every particle to this point. A special case of this is that the center of mass of two particles of equal mass is the midpoint of the line connecting them. This is perfectly obvious from our intuitions. What is less obvious is how this will work when the masses are different.
Suppose, for instance, that the first object has a mass and the second
one has a mass We wish to find the points and
such that when these two are placed on a fulcrum at they balance.
Supposing that the two objects are metallic,
reforge them into a straight rod with a uniform density of one. Assuming—not
without reason—that this rod will balance at its midpoint, we place said point
on top of the fulcrum at . Furthermore, since the rod has a uniform
density of one, then the first meters of it will have a mass of
and the last meters of it will have a mass of Each of these two
parts of the rod can also be balanced at their midpoints and
respectively. Since the length of the whole rod is
then the distance between the first midpoint and the fulcrum is
Similarly, the distance between the second midpoint and the fulcrum is
Therefore,
This principle is
called the law of the lever.
We can state this law another way: Does this look familiar? In case it doesn't, we can solve the equation for to see that This should definitely look like the special case of the formula we got before, where is the number of particles. If we treat this as a base case, we can inductively prove the general case for arbitrary
Suppose that the center of mass of particles placed at is given by If we add another particle to this system, placed at with a mass of then what is the center of mass? Since we can balance the first particles at then we can treat them as a single point-mass placed at with a mass of By the law of the lever, the center of mass of the masses at and is Which is what we wanted to show. As such, the entire system can be balanced on the point whose inertial frame has a momentum of zero.

This makes somewhat representative of the entire system as a whole. The entire system can be balanced upon it, and its perspective is the one that views the system as being at rest. As such, whenever we wish to view the motion of the system through a single point, we will use the center of mass and its associated reference frame. This principle stated more precisely would become Euler's first law of rigid body motion.
Well that was an interesting distraction. Lets get back to work. Since the momentum of the CM-frame is zero, then the energy of the CM-frame has to be somewhat interesting. We'll call it the internal energy and denote it with from now on.
Armed with this new terminology, we can find the transformation law for energy. Suppose that an inertial frame is moving with a velocity relative to another frame The Galilean transformation states that where is the speed of some inertial frame. As such, the kinetic energy of this new frame is where are the kinetic energy and the momentum respectively of the system in the frame of observation. If the frame of observation happens to be the CM-frame and , then since
We can find the transformation law for angular momentum as well. In the angular momentum is By using the Galilean transformation, we can get the angular momentum from the perspective of If happens to be the CM-frames, then we have found an interesting fact about angular momentum: the different between the and is always a function of the motion of the system as a whole—i.e., of the center of mass. If were to write as then we may even say that the difference between the angular momentum of the two frames is the angular momentum of the center of mass if and only if one of them is the CM-frame.
Mechanical similarity
In geometry, the concept of similarity is used to work with shapes which are scaled versions of each other. So if two shapes and are similar, then the ratio of the distances between two points on and the distances between the two associated points on has to be constant. In mathematical notation this becomes, for all on
The analogous concept in mechanics is unsurprisingly called mechanical similarity. The key difference between these two concepts is that geometrical systems deal with space only, while mechanical ones have to deal with time as well. So if the paths of two particles and are similar, then the travel time of the two particles also has to be similar: for some Its intuitively obvious that this won't work for all pairs of and So there must be some condition with and which allows us to deduce the similarity of the two systems.
One way to find this condition is by experimenting. For instance, we know that projectiles move in a parabola, so we can throw a ball at various initial velocities, measure the maximum height and the travel time, and try to find a relationship between them. But since touching grass is antithetical to the blogger philosophy, and that the title of the book we're going over is A Course of Theoretical Physics, then we won't be doing any experiments.
Notice, however, that what we have written above is a way of asking the following: if two mechanical systems and with geometrically similar paths are both realizable, then what is the relationship between and ?
Suppose that and If so, then which can be seen from the chain rule Therefore, the kinetic energy of the second system would be However, since is a homogeneous function of the second degree, then The potential energy is then and the Lagrangian is given by under which is assumed to be realizable.
As we have expressed the Lagrangian of the second system in terms of the first system, we have no choice but to compare it to the Lagrangian of the first system. Since and are both realizable, then they are either multiples of each other, or differ by the total time derivative of a function of coordinates and time. The second case seems to be complicated and not similar, in spirit, to the term similarity which we are claiming to study. So we'll proceed on the case that is a multiple of Since we have used homogeneous functions so much, a possible scenario for us to consider is one where is a homogeneous function of degree . If this is so, then and for some This is evidently a factor of both and since it has been factored out of the left side of the equation. For this to be possible, however, we need to have This can be otherwise stated as since and
We have successfully found the condition for similarity between two mechanical systems, but how can we make any useful deductions from it? Apparently, yes. Landau is a lot smarter than me so he already came up with a bunch of stuff like these:
- If the potential energy is uniform—i.e, —then An example of this is an object in free fall on Earth. The position of this object at time can be gotten from Two objects which take different paths and then have the ratio in their positions of Which is exactly what we predicted by using mechanical similarity.
- A more interesting case can be found in orbital mechanics. When a planet is orbiting the sun, the potential energy is where is the distance between the planet and the sun. The degree of this function—relative to —is evidently and as such where is the orbit and orbital period of any planet moving in a similar orbit to our own. We may infer that there is some planet whose orbit is geometrically similar to our own, and as such is equal to the ratio of the length of their semi-major axes: If the length of the semi-major axis happens to be one, then our inference becomes which may otherwise be stated as This result is better known as Kepler's third law of planetary motion.
- If the degree of the potential is two, as in a spring's potential energy then Meaning that a two springs are similar to each other if or I don't think this is very interesting but I wanted to have added something of my own here.
The virial theorem
I don't really have a motivation for why this is important. I don't even know why its important and not just some random fact. So lets stop complaining and just dive in.
Suppose that particles are moving in a bounded region of space with a homogeneous potential energy of degree We wish to find a relationship between the average value of the kinetic and potential energies. The average value of the kinetic energy is given by But how do we find this value? Well we know that is a homogeneous function (kinetic energy always is) so we use Euler's theorem to get This follows from being obvious in Cartesian coordinates and the fact that is the definition of generalized momentum. With some algebraic and differential trickery (hint: product rule), it should be clear that Once we substitute this into (1), we should care to notice that is always finite in a finite region of space. As such This is called the virial theorem after Josephus Virial, the famous Amazonian physicist whom I just made up. Anyhow, what we wanted was a relationship between the average values of and and this is not it. Worry not dear reader, since Euler's theorem says that So we have found the connection between the average values of the kinetic and potential energy:
Addendum: Noether's theorem
Problem. Find the quantity which is conserved if is a symmetry—i.e., if the Lagrangian is not affected by this transformation.