In one of my regular explorations of StumbleUpon I happened across a nice homemade demonstration of magnetic levitation on a page called spark, bang, buzz. The demonstration is adapted from a description at scitoys.com. The setup is illustrated schematically below:

A strong collection of permanent magnets are supported by a wooden frame above the ‘levitation’ area, and provide the ‘lift’ for the levitating magnet. The levitating magnet itself is supported between a pair of plates made of bismuth which — and this is in fact the key point — is a strongly diamagnetic material.

It is a nice demonstration, but what really caught my eye was the following passage of the post:

It is always annoying to me when someone flashes a bunch of mathematical mumbojumbo in our faces and says something is impossible. Many times the impossibility may be true in the true sense of the mathematical definition, but mathematical definitions often fall way short when evaluating our real and practical world. Someone named Earnshaw, using mathematical mumbojumbo, said that a permenant magnet can not be levitated without using some energy input for stabilization. In the practical sense, one would be a fool to take the Earnshaw therom seriously. The picture shows that permenant magnet levitation can easily be done at home… Diamagnetism probably does not fall within the definition of the Earnshaw therom but who cares.

It’s hard to tell if the author is being snarky or really looks upon mathematical physics as a “mumbojumbo” that impedes progress. Taking the statement at face value, it highlights an important and semi-common misunderstanding of many physics theorems, and so I thought I’d take a qualitative stab at explaining Earnshaw’s theorem and its relationship to diamagnetic materials and magnetic levitation.

Samuel Earnshaw (1805-1888) was an English clergyman and mathematician who is best known for his eponymous theorem, first published in 1839*. In modern terms, the theory may be stated roughly as:

A collection of electric charges or magnetic dipoles cannot be maintained in a stable stationary equilibrium condition by the application of static fields alone.

To phrase it in more practical terms: can we put together a collection of point charges/dipoles into an arrangement that can be used to levitate another point charge/dipole? The answer, as Earnshaw found, is “no.”

If you’ve ever played with bar magnets, you’ve probably proven Earnshaw’s theorem to yourself without even knowing it! If you’ve tried to make one magnet ‘hover’ using the magnetic attraction of another, you’ve found that the ‘hover’ magnet either sits limply on the tabletop or snaps quickly to the other one. It is not possible to make a bar magnet levitate in a stable position only through the use of other bar magnets.

It is interesting to note that Earnshaw himself was concerned with quite a different problem: the nature of the “aether”, which we have talked about quite a few times in the past (see here and here, for instance). In the early 1800s, scientists had determined that light has wavelike properties; however, this insight raised many new questions. All waves observed at the time were known to travel in a medium of some sort: water waves travel in water, sound waves travel in air. By analogy, scientists of the 1800s assumed that light must travel in some as yet unobserved medium, dubbed the aether. (*They were wrong; light oscillates without any material medium, and Einstein’s theory of relativity would be the end of serious aether physics.*)

Theorists began to speculate on what sort of material could have properties consistent with the observed properties of light, and Earnshaw attempted to determine the nature of the forces between the fundamental particles of the aether. He found that a system of particles could not be in stable equilibrium if the forces involved followed an inverse square law, in which the force between two particles is a function of , where is the distance between the particles. Such a law is followed by gravity, electricity and magnetism. He concluded that the aether must be affected by two forces: an inverse square law force which is attractive, and a force which is not inverse square and is repulsive. Earnshaw’s speculations about the aether are now obsolete and mostly forgotten, but his observations about inverse square law forces were of fundamental importance.

Mathematically, it is straightforward to prove Earnshaw’s theorem through the use of vector calculus. I like to keep things non-mathematical on this blog for the most part, however, so we will instead give a plausibility argument for Earnshaw’s theorem for a simple model system.

Let’s consider a collection of electrical charges confined to a tabletop, and examine the stability of a positive charge ‘balanced’ between four other positive charges fixed to the corners of a square:

If the blue charge (to be called the ‘test charge’) is placed in the exact center of the square, the net force on it will be zero, as forces from charges on opposite sides of the square will cancel:

Force 1 is equal and opposite to force 4, and force 3 is equal and opposite to force 2. Is this a stable configuration? In other words, if we move the test charge away from its center position, will it be pushed back towards the center, or will it slide out and away?

Clearly, if the test charge is pushed directly towards one of the corner charges, it will be pushed back towards the center. If we push it towards charge 2, for instance, it will feel a greater force from charge 2 and a lesser force from charge 3 (remember, force is proportional to ), and it will be pushed back towards the center.

Because it is surrounded by positive charges, it would seem at first that a similar thing would happen if we push it in any direction. However, if we move the charge along a path which takes it between charges 2 and 4, we find a situation like the following:

Though, individually, force 2 and force 4 are greater than force 1 and force 3 due to the inverse square relationship (in the picture, they have longer arrows), as the charge gets closer to the midpoint between charges 2 and 4, their forces *begin to point almost completely in opposite directions and cancel each other out*. Simultaneously, the forces produced by charges 1 and 3 begin to point in the same direction and reinforce one another. If one works through the mathematics, one can show that this cancellation/reinforcement is more important than the inverse square decay, and a charge displaced along the path between two charges will be completely pushed out of the square! This ‘four point charge levitation device’ apparently has a ‘leak’ along each of the lines between charges.

A similar argument applies to magnets. If we pretend we have a collection of bar magnets arranged in a square, another bar magnet placed in the center of the square will not be in a stable position, and will be pulled (and twisted around) out of the center, and likely towards one of the other magnets:

(It is best to imagine the bar magnets standing up, i.e. the north pole of the magnet pointing out of the monitor; unfortunately, it isn’t possible to draw a clear picture that way!)

Again, we note that this is by no means a proof of Earnshaw’s theorem, but a plausibility argument. Using vector calculus, one can show that a levitation device composed of any set of point charges/fixed magnets will have a ‘leak’ and the levitation will be unstable.

Because of this instability when using static fields, one can only create levitation/trapping with permanent magnets if the fields are time-varying or the levitating magnet is spinning. This latter possibility is used in the very-clever-but-hard-to-make-work-properly toy called the Levitron. Time-varying fields are used by researchers to trap ions for study in so-called quadrupole ion traps. Magnetic levitation trains which rely on permanent magnets use some sort of dynamic feedback to keep the train stable and running.

Permanent magnets are not the only materials which react to a magnetic field, however; materials exist which are *paramagnetic* and *diamagnetic*. To understand such materials, one must understand a little bit about *magnetic dipoles*.

A standard bar magnet is a magnetic dipole; that is, it possesses two “poles”, north and south, and the magnetic field “flows” from the north pole to the south pole:

A magnetic dipole is also formed by an electrical current flowing around a closed loop, as shown below:

The little loop and arrow on the right is the typical way to sketch a magnetic dipole: the dipole has a ‘direction’ which points from the south pole to the north pole.

When a permanent magnetic dipole is placed in an external magnetic field, it experiences two effects: a force dragging it in the direction of increasing magnetic field and a torque rotating it so that the dipole points parallel to the direction of the magnetic field itself. This is consistent with what we know from bar magnets:

In a very crude sense, electrons in an atom act like a small magnetic dipoles: the electron possesses an inherent ‘spin’ that makes it act like a little loop of current. In a permanent magnetic (ferromagnet), these electron dipoles are all lined up with one another, and their effects combine to form one big dipole:

In a paramagnetic material, electrons still act like little bar magnets, but under normal conditions they are arranged randomly, so that there is no ‘net’ north and south pole to the material. However, when an external magnetic field is applied, the dipoles twist to line themselves up with the magnetic field. The result is that, when an external magnetic field is applied, the paramagnetic material becomes a bar magnet with total dipole *parallel* to the external field:

Materials which are not paramagnetic are usually *diamagnetic*, in which a dipole moment is induced in a material which points *antiparallel* to the applied field:

The explanation for diamagnetism lies not in the spin of an electron but in the orbit of an electron around the nucleus of an atom, and this orbital motion itself acts like a little current loop. We may consider these loops to be randomly oriented, as in the case of paramagnetism. When a magnetic field is applied to an electron traveling in its little current loop, Faraday induction causes the electron to speed up or slow down. This in turn changes the effective current in the loop, which changes the strength of the dipole:

Because of the negative charge of the electron, the magnetic dipole increases in a direction *opposite* to the direction of the applied magnetic field.

How does this allow us to “violate” Earnshaw’s theorem? Returning to our square arrangement of magnets, let us now replace the bar magnets in the corners with diamagnets. When the permanent magnet is right in the center of the square, the diamagnets all have ‘effective bar magnets’ of equal strength induced by it:

(Remember: we’re treating all the ‘bar magnets’ as pointing out of the monitor!) When we move the bar magnet from the center, its magnetic field will be weaker in the diamagnets it moves away from and stronger in the diamagnets it moves towards. For instance:

The net result is that the diamagnets closest to the bar magnet push it away very strongly, while the diamagnets far away push it very weakly. This increasing and slackening of force keeps the magnet stably near the center of the system. The ‘leak’ that we found earlier in our four point charge/bar magnet system has been ‘sealed’ by the varying strength of the diamagnetic response.

Let us return briefly to our statement of Earnshaw’s theorem:

A collection of electric charges or magnetic dipoles cannot be maintained in a stable stationary equilibrium condition by the application of static fields alone.

How does a diamagnet violate this theorem? A static field is one which is unchanging in time; the field of a diamagnet, however, changes in response to the motion of the levitating magnet — *the fields of diamagnets are time-varying, i.e. not static, when the levitating magnet moves!*

Earnshaw’s theorem, which applies only to fixed magnets (and paramagnets), therefore does not apply to diamangets. To be fair to Earnshaw, diamagnetism was not really well understood until the pioneering work of none other than Michael Faraday in the 1840s, well after Earnshaw’s theorem was published. And, as we noted, Earnshaw wasn’t concerned with magnets at all!

We can now understand the role of diamagnetic materials in our original levitation device. The stack of permanent magnets provide the heavy lifting, while the diamagnetic plates maintain the position of the levitating magnet and provide its stability. They act very much like a pair of fellows escorting a drunk friend home: whenever their friend ‘wobbles’ in their direction, they apply some gentle pressure to direct him back upright!

Diamagnetic levitation has been used to spectacular effect in recent years, as all materials are to some extent diamagnetic, including animals. About a decade ago researchers in the Netherlands levitated a living frog using a powerful magnet:

(The frog was fine!)

Our would-be Earnshaw basher highlights an important issue that is always good to remember in theoretical physics: even physical theories which are seemingly very general are often built upon assumptions which may not be universal. In the case of Earnshaw’s theorem, brief textbook discussions about it rarely point out explicitly that it doesn’t apply to diamagnetic materials.

Often very interesting results can be discovered by challenging the assumptions of broad physical theories; I’ve actually blogged in the past about a few examples. In recent years researchers demonstrated experimentally light beams which propagate “superluminally” through a material medium; this result challenged the commonly-held belief that the group velocity of a wave has no meaning when it exceeds the speed of light. Another example: for years it was assumed that it is impossible to make ‘perfect’ invisible objects. The proof of impossibility, however, assumed that the material was isotropic; once anisotropic materials were considered, researchers demonstrated that it is in principle possible to make a perfectly invisible object (at least at one frequency of illumination).

To a lesser extent, I’ve challenged an assumption in a similar way in my own research. In proving a general theorem about the focusing of light, my colleague and I noted a “loophole” in the proof that, when applied, made the focused wave behave very differently. That observation has led to two papers so far, and counting!

Physics, and science in general, is all about challenging assumptions, and doing so can pay great research dividends. Our at-home levitation researcher’s criticism of Earnshaw’s theorem highlights the importance of understanding the boundaries of even seemingly broad physical theorems. So let’s cut the old-timer a little slack, eh?

******************************************

* Samuel Earnshaw, “On the Nature of the Molecular Forces which Regulate the Constitution of the Luminiferous Ether,” *Trans. Camb. Phil. Soc.* 7 (1842), 97-112. Wikipedia makes a minor mistake and states that the theorem was proven in 1842, though it in fact was read to the Cambridge Philosophical Society in March of 1839. The complete transactions volume 7 was published in 1842.

That’s very interesting — I didn’t know that Earnshaw’s original motivation was to explain the nature of the ether. I’ve mostly heard his theorem mentioned in the context of scientists like J. J. Thompson, who tried to create mechanistic models of the atom involving tiny balls of charge in the late 1800s and early 1900s.

Thompson was aware of Earnshaw’s result, so he tried three workarounds: spreading the charge out (the “plum pudding” model of electrons embedded in a positive sphere of charge), making the charges move (the planetary model of the atom, where electrons orbit the positive nucleus), and modifying Coulomb’s law at short ranges to make it a non-inverse-square law.

None of these was fully satisfactory, though. Either they weren’t stable, or didn’t predict the properties of the atom correctly. Bohr’s later model gave up trying to explain what the atom “really” looked like internally, in favor of simply predicting the spectra of simple atoms, and that was the beginning of the end for mechanistic models of the atom.

Wade: Well put! I was thinking of adding a statement about Thomson’s model, but managed to completely forget about it in my “get-it-done”-itis. Have you seen my old post on early atomic models?

Indeed I have seen your old post, and loved it. You can probably tell that one of my interests is the history of failed physics theories :)

I guess I always admired Thompson because he really turned over every stone trying to come up with a model of the atom that had visualizable, concrete inner workings (what Schrödinger would have called “Anschaulichkeit”). It would be nice if our current best theories were a little more visualizable, but apparently it’s just too hard to create a theory that’s both correct and concrete.

Pingback: The Giant’s Shoulders #10 : Stochastic Scribbles

Thank you

So at last I stumbled upon some illuminating answers on a “hard-to-google”-subject. Isn’t it weird how for some problems the web tends to shrink the needle first while expanding the haystack?

Unfortunately, although I was initially in agreement with your argumentation I became a bit confused later. I thought I might recount the problems I had in the hope it might help others with similar difficulties.

I eagerly read your article and enjoyed your explanations of paramagnetism and diamagnetism. At the point where you showed how the magnetization of diamagnets varies when the permanent magnet is moved, I thought ‘Heureka, and Earnshaw’s Theorem only applies to static fields!’, given your wording of the theorem:

“A collection of electric charges or magnetic dipoles cannot be maintained in a stable stationary equilibrium condition by the application of static fields alone.”

But then it occured to me that simply inverting the setup seemingly would violate this theorem. E.g.: Suspending a diamagnet like bismuth (understood as “a collection of electric charges or magnetic dipoles”) above an array of permanent magnets (“application of static fields”) would constitute levitation in a static field.

So I turned to your wikipedia-link. There I realized that I was on the wrong track and why diamagnetic levitation in both setups doesn’t have any bearing on Earnshaw’s Theorem. The main point is not whether the applied fields are static or not. More importantly, Earnshaw’s Theorem is far more specific than I had assumed at that point and the trolls can be shot out of the air where they are smugly levitating simply by pointing out that Earnshaw’s Theorem in essence only refers to point charges. Which means that all extended bodies (what a potential troll would refer to as the ‘real and practical world’) were initially outside the boundaries of the theorem. Even the theorem’s later expansion for certain extended bodies explicitely excluded diamagnets. (Physicists 2, trolls nil) And of course you stress the general importance of boundaries in the understanding of scientific theories. But unfortunately this only occurs at the very end of your article and it doesn’t include the explicit boundaries for Earnshaw’s Theorem.

So in the end, I guess, I would like to point out and sum up as politely as I can that the article’s argumentation is unfortunately weakened by its structure.

Maybe I can put it more concisely:

While your explanations of magnetic phenomena are insightful in themselves, they are not useful in concluding why the trolls are in error. The real reason is only offered as -essentially- an act of faith. By this I mean the unexplained statement:

“Earnshaw’s theorem, [...] does not apply to diamagnets.”

Here the explicit statement of the boundaries of the theorem would have addressed the complaint you quote earlier:

“Diamagnetism probably does not fall within the definition of the Earnshaw theorem but who cares.”

The annoying attitude aside, part of these troll-reactions are based on the fact that they are frustrated already by unexplained statements being offered as answers. Inadvertantly, despite all the insights you gave me and which I really appreciate, you proved his tacit assumption right. :(

Oh dear, I sound as if I was taking the troll’s side! But I’m not! srsly

2dotO: Thanks for the comments! I agree that my original statement was missing a few connecting steps; I’ve revised the post significantly to try and make my point more clear.

I would disagree that I proved his assumption right! It is true that there aren’t a lot of clear explanations out there, but the reality is that very general physical theorems like Earnshaw’s theorem cannot be easily explained without recourse to the math. (As this post demonstrates.) Furthermore, my impression is that the ‘troll’ never actually tried to learn about Earnshaw’s theorem.

For the purposes of Earnshaw’s theorem – - would you characterize magnetic arrays such as halbach arrays as exhibiting diamagnetism – - or would their magnetic phenomena still be pure ferromagnetism ?

Hmm… I wasn’t actually familiar with the term “Halbach array” until you brought it up! With that caveat, a brief investigation suggests that such an array would still be purely ferromagnetism. Such arrays can be used in maglev trains without diamagnetism, however, because there is an explicit time-dependence in the motion of a train above permanent magnets. Earnshaw’s theorem breaks down when there are time variations in magnetic fields, as well.

Sir

Another way of convincing others to your line of thought is via the explanation of radiation and it connection to the two vectors of the Standard Model as espoused by Einstein.

Radiators are made of diamagnetic materials which contain the two vectors of gravity

and rotation of the Earth when excited by a time varying field. This is made quite clear

when a time varying field is added to a Gaussian static field where the mathematical

result is the equal and the same of Maxwell’s equation for radiation.

The two vectors of the Standard Model provides not only the spin as required for maintainance of straight line projection of a resting particle on a diamagnetic surface

of a radiator together with the counter gravity vector which is required for straight line trajectory as seen with radiation where each particle or unbound electron is accelerated carrying a digital sample of communication.

When a time varying field is applied to a radiator the skin effect for resistance is removed along with the external magnetic field such that the current exits from the radiating member up to the under surface provided by residing particles where the two vectors supplied are equated as the acceleration forces of charge.

On the other hand, the above finally removes the idea of waves with respect to particles as far as radiation goes together with arguements with respect to the Eather where surface waves are now explained via the change in medium between unbounded electrons and the surface that they reside upon.,

The above is easily corroberated by winding a pancake radiator which is the equivalent to a Gaussian field in equilibrium which, with the maximum density of wire surface , correlates with maximum residing static particles for the creation of loss less radiation.

With your love of the use of vectors as explanation points radiation provides a platform for not only the explanation of radiation but also of levitation, the Std model,

the removal of skin effect resistance in a radiator, and also an explanation of diamagnetics with respect to the surface skin of static particles on water when subject to a magnetic field

Regards

Art

Please note comment above regarding Levitation and diamagnetism

as I failed to notify you when I posted it

Regards

There is a major fly in the ointment in respect of your explanation.

You wrote: “Such a law is followed by gravity, electricity and magnetism” (inverse square). This is not true of magnetism. Magnetism follows 3rd power law and dimishes with the inverse third power of distance.

You may be thinking about the specific dipole field, which does obey an r^-3 law. The Biot-Savart law, however, which describes the magnetic field of an infinitesimal current element and is in essence the analogy to Coulomb’s law for electrostatics, is an r^-2 dependence. In essence, magnetism is also inherently an inverse square law force — the absence of magnetic monopoles then makes the dominant contribution to this force an inverse cube one.

The Biot-Savart Law applies to what is effectively a two dimensional case. Because of that any effect will be described by second power law. An actual magnet is a volumetric entity and the force field produced obeys 3rd power law. That includes the magnetic field from a solenoid that is energized by a constant current. It IS the specific dipole field that constitutes the manifestation of magnetism as a component of the electromagnetic force. The absence of monopoles isn’t just a convenience. They are not permitted in the standard model. Any attempt to extend the standard model to include them requires either very early annihilation or absolute confinement similar to quark confinement.

???? The Biot-Savart law is a fully three-dimensional law; I have no idea what you mean by it being “effectively” a two dimensional case.

Nobody said it was. Discussions of the standard model don’t really add anything to the discussion of Earnshaw’s theorem.

Your assumption seems to be that the absence of monopoles somehow fundamentally changes the behavior Re: Earnshaw’s theorem. It doesn’t; Earnshaw’s theorem applies equally well to groups of electric dipoles or quadrupoles as it does to groups of point charges. Though there are certainly differences in the behaviors of electric and magnetic forces, they possess a very similar structure that is, as I understand it, all that is necessary for the development of Earnshaw’s theorem for magnets.

(In any case, whether one calls magnetism and “inverse square” law or not is a relatively minor quibble for the purposes of the post, almost a semantic one. The important thing is that Earnshaw’s applies.)

When the Biot-Savart law is extended to the three dimensional case it becomes a third power law as it must. As for what the standard model has to do with this discussion that depends on why you raised the question of monopoles. They aren’t relevant to Earnshaw’s Theorem but third power law most certainly is.

The simple point is that magnetism follows inverse third power law, not inverse square. While that doesn’t change Earnshaw’s it does affect your description of same.

You’re missing the point: Biot-Savart law *is* a three-dimensional law! The fundamental element of integration is still 1/r^2, regardless of whether one is integrating over a line, surface, or volume.

This inverse square – inverse cube discussion is a diversion from the original discussion of Earnshaw’s law. Is it possible that any attraction or repulsion at a distance that follows any inverse power law at all will be unstable? Intuitively, whether it is inverse unity, square, cube, or even higher power, the static field model will be unstable.

You state that scientists in the 1800′s believed in the aether and this was debunked by Einstein, but surely Scottish physicist James Clerk Maxwell (13 June 1831 – 5 November 1879) deserves credit for his theory of electromagnetism during his lifetime in the 1800′s?

Many physicists consider Maxwell to be the 19th-century scientist having the greatest influence on 20th-century physics. His contributions to the science are considered by many to be of the same magnitude as those of Einstein.

Curiously, Maxwell’s electromagnetic theory, although it contains all the “clues” of special relativity, did not directly lead to the demise of the aether. It is fair to say that a majority of scientists still held an aetherial view through the end of the 1800s; see, for instance, my post on Lord Rayleigh’s attempt to measure the aether in 1902 (http://skullsinthestars.com/2009/07/09/lord-rayleigh-vs-the-aether-1902/). Einstein’s work on special relativity was really the work that convinced most to discard the aether, though even then there were still holdouts for decades! (http://skullsinthestars.com/2007/10/19/an-interesting-intersection-of-lovecraft-and-relativity-theory/)

I try and avoid making declarations of “greatest influence” when I can, since the history of science is invariably a series of interconnected discoveries and insights that involve many people pushing to the big changes in our view of the universe. That being said, Maxwell is certainly one of the biggest influences on 20th century physics, and beyond!

What a wonderful collection of ideas and conversation. :-) That said I’m still a wee bit disappointed that so little was said about “extended objects” which is what I was “google-ing”. It seems that all over the net I see mentionings of Earnshaw’s theory being extended by proof to extended objects but with no reference to the actual proof. It seems relevant since everything I can pick up or handle is an extended object. Without good proof, Earnshaw’s theory may still be true (which it is), but it is also irrelevant to most things people work with. I’m going to keep looking. :-)