imported>Horst Gräbner (Die letzte Textänderung von 2003:D0:BBDA:FDB2:5A0:DE04:B73:502B wurde verworfen; keine Verbesserung, beide Schreibungen zulässig) |
89.1.82.226 (Diskussion) |
||
| Zeile 5: | Zeile 5: | ||
Ein Punkt, an dem ein Probekörper eine stabile Gleichgewichtslage annehmen soll, muss ein Minimum des [[Potential (Physik)|Potential]]s sein. Wird der Probekörper aus diesem Minimum wegbewegt, so kostet dies [[Arbeit (Physik)|Arbeit]]. Anschaulich wirkt auf den Probekörper eine rücktreibende [[Kraft]] zum Minimum hin. | Ein Punkt, an dem ein Probekörper eine stabile Gleichgewichtslage annehmen soll, muss ein Minimum des [[Potential (Physik)|Potential]]s sein. Wird der Probekörper aus diesem Minimum wegbewegt, so kostet dies [[Arbeit (Physik)|Arbeit]]. Anschaulich wirkt auf den Probekörper eine rücktreibende [[Kraft]] zum Minimum hin. | ||
Die Aussage des Theorems lässt sich direkt aus den [[Maxwell-Gleichungen]] folgern. Im quellenfreien Raum ist für magnetisches und elektrisches Feld, sowie auch für das [[Gravitation]]sfeld und andere <math>\tfrac{1}{r^2}</math>-Felder, die [[Divergenz eines Vektorfeldes|Divergenz]] gleich 0. Bei überall verschwindender Divergenz gibt es aber bestenfalls [[Sattelpunkt]]e. Daher gibt es mindestens eine Richtung, in welche der Probekörper keine rücktreibende Kraft erfährt. Auch bei einer beliebig kleinen Auslenkung in diese Richtung wird der Probekörper nicht mehr zum Sattelpunkt zurückkehren. | Die Aussage des Theorems lässt sich direkt aus den [[Maxwell-Gleichungen]] folgern. Im quellenfreien Raum ist für ein magnetisches und elektrisches Feld, sowie auch für das [[Gravitation]]sfeld und andere <math>\tfrac{1}{r^2}</math>-Felder, die [[Divergenz eines Vektorfeldes|Divergenz]] gleich 0. Bei überall verschwindender Divergenz gibt es aber bestenfalls [[Sattelpunkt]]e. Daher gibt es mindestens eine Richtung, in welche der Probekörper keine rücktreibende Kraft erfährt. Auch bei einer beliebig kleinen Auslenkung in diese Richtung wird der Probekörper nicht mehr zum Sattelpunkt zurückkehren. | ||
Als empirische Bestätigung des Theorems galt die Unmöglichkeit, nur mit [[Dauermagnet]]en stabil schwebende Konstruktionen zu erstellen. Für die [[Levitation (Technik)|magnetische Levitation]] benötigt man aktiv geregelte, dynamische Felder. Allerdings zeigte 1939 [[Werner Braunbek]] – entgegen dem Earnshaw-Theorem –, dass es Magnetfelder gibt, in denen [[diamagnetisch]]e Körper in stabiler Lage schweben könne. | |||
== Beweis == | == Beweis == | ||
Das Theorem kann mit Hilfe mehrdimensionaler Funktionsanalysis gezeigt werden. Sei dazu <math> \varphi(\mathbf{r}) </math> das elektrische Potential. Notwendige Bedingung für ein Extremum im Punkt <math>\mathbf{r_0}</math> ist, dass <math>\nabla \varphi(\mathbf{r})|_{\mathbf{r_0}} = 0</math> ist. Eine weitere notwendige Bedingung ist, dass die [[Hesse-Matrix]] <math>H</math> im Punkt <math>\mathbf{r_0}</math> nicht [[Definitheit|indefinit]] ist. Weiterhin wird gefordert, dass nicht alle [[Eigenwertproblem|Eigenwerte]] <math>E_i = 0</math> sind, da sonst ein Sattelpunkt vorliegt | Das Theorem kann mit Hilfe mehrdimensionaler Funktionsanalysis gezeigt werden. Sei dazu <math> \varphi(\mathbf{r}) </math> das elektrische Potential. Notwendige Bedingung für ein Extremum im Punkt <math>\mathbf{r_0}</math> ist, dass <math>\nabla \varphi(\mathbf{r})|_{\mathbf{r_0}} = 0</math> ist. Eine weitere notwendige Bedingung für ein Extremum ist, dass die [[Hesse-Matrix]] <math>H</math> im Punkt <math>\mathbf{r_0}</math> nicht [[Definitheit#Definitheit von Matrizen|indefinit]] ist. Weiterhin wird gefordert, dass nicht alle [[Eigenwertproblem|Eigenwerte]] <math>E_i = 0</math> sind, da sonst ein Sattelpunkt vorliegt. Zudem soll in einer [[Epsilontik|Epsilonumgebung]] des Extremums keine Ladung vorhanden sein, denn es geht ja um ein allein durch elektrostatische ''Felder'' erreichtes stabiles Gleichgewicht. | ||
:<math> H(\varphi(r))|_{\mathbf{r_0}}=\left.\begin{pmatrix} \partial_x^2 \varphi& \partial_x\partial_y\varphi& \partial_x\partial_z \varphi \\\partial_x \partial_y\varphi& \partial_y^2 \varphi& \partial_z \partial_y \varphi\\ \partial_x\partial_z \varphi& \partial_y \partial_z \varphi& \partial_z^2\varphi \end{pmatrix}\right|_{\mathbf{r_0}}</math> | :<math> H(\varphi(r))|_{\mathbf{r_0}}=\left.\begin{pmatrix} \partial_x^2 \varphi& \partial_x\partial_y\varphi& \partial_x\partial_z \varphi \\\partial_x \partial_y\varphi& \partial_y^2 \varphi& \partial_z \partial_y \varphi\\ \partial_x\partial_z \varphi& \partial_y \partial_z \varphi& \partial_z^2\varphi \end{pmatrix}\right|_{\mathbf{r_0}}</math> | ||
:<math> \sum_i E_i=\text{Spur}(H|_{\mathbf{r_0}})=\Delta \varphi|_{\mathbf{r_0}}=0 | Unter Verwendung von [[Lineare Algebra|linearer Algebra]] und der Maxwell-Gleichungen, mit Ladungsfreiheit folgt aus <math> H(\varphi(r))|_{\mathbf{r_0}}=0</math> dass | ||
:<math> \sum_i E_i=\text{Spur}(H|_{\mathbf{r_0}})=\Delta \varphi|_{\mathbf{r_0}}=0.</math> | |||
Daraus folgt, dass, wenn nicht alle Eigenwerte gleich null sind, die Hesse-Matrix indefinit ist und somit kein Extremum vorliegen kann. | Daraus folgt, dass, wenn nicht alle Eigenwerte gleich null sind, die Hesse-Matrix indefinit ist und somit kein Extremum vorliegen kann. | ||
Das Earnshaw-Theorem ist ein Theorem in der Elektrodynamik. Es besagt, dass es kein statisches Magnet- oder elektrisches Feld gibt, das Objekte in einem stabilen Gleichgewicht halten kann. Es ist benannt nach Samuel Earnshaw, der es 1842 bewies.
Ein Punkt, an dem ein Probekörper eine stabile Gleichgewichtslage annehmen soll, muss ein Minimum des Potentials sein. Wird der Probekörper aus diesem Minimum wegbewegt, so kostet dies Arbeit. Anschaulich wirkt auf den Probekörper eine rücktreibende Kraft zum Minimum hin.
Die Aussage des Theorems lässt sich direkt aus den Maxwell-Gleichungen folgern. Im quellenfreien Raum ist für ein magnetisches und elektrisches Feld, sowie auch für das Gravitationsfeld und andere $ {\tfrac {1}{r^{2}}} $-Felder, die Divergenz gleich 0. Bei überall verschwindender Divergenz gibt es aber bestenfalls Sattelpunkte. Daher gibt es mindestens eine Richtung, in welche der Probekörper keine rücktreibende Kraft erfährt. Auch bei einer beliebig kleinen Auslenkung in diese Richtung wird der Probekörper nicht mehr zum Sattelpunkt zurückkehren.
Als empirische Bestätigung des Theorems galt die Unmöglichkeit, nur mit Dauermagneten stabil schwebende Konstruktionen zu erstellen. Für die magnetische Levitation benötigt man aktiv geregelte, dynamische Felder. Allerdings zeigte 1939 Werner Braunbek – entgegen dem Earnshaw-Theorem –, dass es Magnetfelder gibt, in denen diamagnetische Körper in stabiler Lage schweben könne.
Das Theorem kann mit Hilfe mehrdimensionaler Funktionsanalysis gezeigt werden. Sei dazu $ \varphi (\mathbf {r} ) $ das elektrische Potential. Notwendige Bedingung für ein Extremum im Punkt $ \mathbf {r_{0}} $ ist, dass $ \nabla \varphi (\mathbf {r} )|_{\mathbf {r_{0}} }=0 $ ist. Eine weitere notwendige Bedingung für ein Extremum ist, dass die Hesse-Matrix $ H $ im Punkt $ \mathbf {r_{0}} $ nicht indefinit ist. Weiterhin wird gefordert, dass nicht alle Eigenwerte $ E_{i}=0 $ sind, da sonst ein Sattelpunkt vorliegt. Zudem soll in einer Epsilonumgebung des Extremums keine Ladung vorhanden sein, denn es geht ja um ein allein durch elektrostatische Felder erreichtes stabiles Gleichgewicht.
Unter Verwendung von linearer Algebra und der Maxwell-Gleichungen, mit Ladungsfreiheit folgt aus $ H(\varphi (r))|_{\mathbf {r_{0}} }=0 $ dass
Daraus folgt, dass, wenn nicht alle Eigenwerte gleich null sind, die Hesse-Matrix indefinit ist und somit kein Extremum vorliegen kann.
Dieses Beispiel verdeutlicht die Aussage des Earnshaw-Theorems. Die Laplacegleichung bzw. die erste Maxwell-Gleichung im quellenfreien Raum lautet:
Ein einfaches Beispiel für ein hypothetisches Potential $ \varphi $, das in allen drei Raumrichtungen ($ x $, $ y $ und $ z $) anziehend wäre, lautet:
mit den drei Konstanten a, b, c > 0 (alle drei Konstanten größer Null). Einsetzen in die Laplacegleichung ergibt
Damit diese Gleichung erfüllt sein kann, muss aber mindestens eine der drei Konstanten kleiner Null sein. Das bedeutet, dass das Potential in mindestens einer der drei Raumrichtungen abstoßend sein muss. Das widerspricht jedoch der Annahme, dass es ein Potential gibt, das in allen drei Raumrichtungen anziehend ist.
In der experimentellen Physik werden Aufbauten benötigt, die Teilchen fangen können. Aufgrund des Earnshaw-Theorems müssen aufwändigere Methoden als statische Felder verwendet werden.
Ionen können z. B. durch Verwendung von elektrischen Wechselfeldern in einer Ionenfalle gefangen werden. Ein Beispiel hierfür ist die Paul-Falle. In dieser wirkt auf Ionen (aber auch auf elektrisch neutrale Teilchen wie neutrale Atome oder Neutronen) durch ponderomotorische Kräfte bei kleinen Auslenkungen eine rücktreibende Kraft.