Earnshaw-Theorem: Unterschied zwischen den Versionen

Earnshaw-Theorem: Unterschied zwischen den Versionen

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.


Eine interessante Anwendung des Theorems ist der Nachweis der Unmöglichkeit, nur mit [[Dauermagnet]]en stabil schwebende Konstruktionen zu erstellen. Für die sogenannte [[Levitation (Technik)|magnetische Levitation]] benötigt man deshalb entweder aktiv geregelte, dynamische Felder oder [[diamagnetisch]]e Materialien.
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 und dass in der [[Epsilontik|Epsilonumgebung]] des Extremums keine Ladung vorhanden sein soll.
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\quad \text{(Lineare Algebra und Maxwell Glg. mit Ladungsfreiheit)}</math>
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.

Aktuelle Version vom 19. Januar 2021, 09:40 Uhr

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.

Erklärung

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.

Beweis

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.

$ 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}} } $

Unter Verwendung von linearer Algebra und der Maxwell-Gleichungen, mit Ladungsfreiheit folgt aus $ H(\varphi (r))|_{\mathbf {r_{0}} }=0 $ dass

$ \sum _{i}E_{i}={\text{Spur}}(H|_{\mathbf {r_{0}} })=\Delta \varphi |_{\mathbf {r_{0}} }=0. $

Daraus folgt, dass, wenn nicht alle Eigenwerte gleich null sind, die Hesse-Matrix indefinit ist und somit kein Extremum vorliegen kann.

Beispiel

Dieses Beispiel verdeutlicht die Aussage des Earnshaw-Theorems. Die Laplacegleichung bzw. die erste Maxwell-Gleichung im quellenfreien Raum lautet:

$ \Delta \varphi ={\vec {\nabla }}\cdot {\vec {E}}=0 $

Ein einfaches Beispiel für ein hypothetisches Potential $ \varphi $, das in allen drei Raumrichtungen ($ x $, $ y $ und $ z $) anziehend wäre, lautet:

$ \varphi =ax^{2}+by^{2}+cz^{2} $

mit den drei Konstanten a, b, c > 0 (alle drei Konstanten größer Null). Einsetzen in die Laplacegleichung ergibt

$ a+b+c=0 $

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.

Praktische Bedeutung

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.

Literatur

  • Samuel Earnshaw: On the nature of the molecular forces which regulate the constitution of the luminiferous ether. In: Transactions of the Cambridge Philosophical Society. Band 7, 1842, ZDB-ID 208399-1, S. 97–112.

Die News der letzten Tage