Wann ist ∇×B=0∇×B=0\nabla \times B=0?

In meinem Labor verwende ich Elektromagnete, um eine magnetische Gradientenkraft auf viele sehr kleine (superparamagnetische) Nanopartikel auszuüben, die in ein elastisches Medium eingebettet sind. Ich glaube, dass diese als magnetische Dipole mit einem Dipolmoment behandelt werden können M .

Es ist allgemein bekannt, dass die Kraft auf ein magnetisches Dipolmoment in einem Magnetfeld gegeben ist durch

F = ( M B ) .

Ich muss mir selbst beweisen, dass dies reduziert werden kann

F = ( M ) B .

Ich weiß, dass wir die erste Gleichung umschreiben können, indem wir eine dieser Vektorkalkülidentitäten verwenden, die z. B. auf den Innenumschlägen von Jackson erscheinen:

F = ( M B ) = ( M ) B + ( B ) M + M × ( × B ) + B × ( × M ) .

  1. Das erste Semester ist gut – es kann bleiben!
  2. Kann ich für den zweiten Term das Kommutativgesetz des Skalarprodukts verwenden, um das zu sagen? B = B = 0 weil magnetische Monopole nicht existieren?
  3. Auf Seite 374 von Andrew Zangwills Modern Electrodynamics (2013) schreibt er: „When the sources of B sind also weit weg × B = 0 , bla bla bla." Das verwirrt mich am meisten. Woher wissen wir das? × B = 0 ? Kann mir jemand einen Beweis zeigen und/oder mir helfen zu verstehen, was das Kriterium "weit entfernt" im wirklichen Leben bedeutet? (Weit weg relativ zu was?)
  4. Ich denke, der vierte Term ist einfach - da ein Dipolmoment nur 1 Vektor ist, ist die Kräuselung immer Null.
Um die Klarstellung in der akzeptierten Antwort zu ergänzen. B ist selbst ein Betreiber, B ich ich , die auf andere Größen angewendet werden können. Deshalb ist es nicht dasselbe wie B = ich B ich = 0

Antworten (1)

Das sagt das Amperegesetz

× B = μ 0 J + ϵ 0 μ 0 T E

also "weit entfernt von Quellen" bedeutet, dass die Stromdichte J als null angenommen werden kann und dass es keine zeitlich veränderlichen elektrischen Felder gibt. Letzteres ist eigentlich eine allgemeine Annäherung, die oft für relativ niederfrequente (einschließlich stationäre) Phänomene gemacht werden kann.


Was die anderen Fragen betrifft, so trifft diese Identität hier eigentlich nicht zu, weil M B ist nicht das Skalarprodukt zweier Vektorfelder . Insbesondere die räumlichen Ableitungen von M sind nicht definiert.

Stattdessen können wir die Indexnotation verwenden, um die tatsächliche Identität zu erhalten, nach der wir suchen. Beachten Sie, dass

[ ( M B ) ] ich = ich M J B J = M J ich B J

Dies hat keine sofort offensichtliche Vektorform, aber wir können die folgende Zauberei ausführen (die ich, vollständige Offenlegung, rückwärts gemacht habe):

M J ich B J = ( M J ich B J M J J B ich ) + M J J B ich
= ( δ ich l δ J M δ ich M δ J l ) M J l B M + M J J B ich
= ϵ ich J k ϵ k l M M J l B M + M J J B ich
= ϵ ich J k M J ( ϵ k l M l B M ) + M J J B ich
= [ M × ( × B ) + ( M ) B ] ich
und wenn also M Und B ein konstanter Vektor bzw. ein Vektorfeld sind, ist die anwendbare Vektoridentität

( M B ) = M × ( × B ) + ( M ) B

Das würden wir natürlich bekommen, wenn wir behandelt würden M als räumlich konstantes Vektorfeld, also könnte man mit den Händen winken und das sagen M Und × M gleich Null sind. Beachten Sie jedoch, dass diese Ausdrücke formal nicht definiert sind.


Abschließend möchte ich klarstellen, dass es beim Divergenzoperator keine "kommutative Eigenschaft des Skalarprodukts" gibt, da die Divergenz kein Skalarprodukt ist . Es sieht nur so aus (und nur in kartesischen Koordinaten), also D ich v ( B ) = B ist nichts weiter als ein nützliches Gedächtnisgerät.

Genauer, D ich v ( B ) = B ist ein Skalarfeld, das zufällig gleich ist 0 überall. Andererseits,

B = B ich ich = B X X + B j j + B z z
ist selbst ein Differentialoperator, den Sie entweder auf Skalar- oder Vektorfelder anwenden können:

( B ) F = B ( F )
oder
( B ) A = [ B ( A X ) ] e ^ X + [ B ( A j ) ] e ^ j + [ B ( A z ) ] e ^ z

Du hast Recht, ich lösche meinen Kommentar.
@Bunji Wenn Sie die Deltas verwenden, um die Dummy-Indizes loszuwerden l Und M Sie sollten sehen, dass die zweite Zeile mit der ersten übereinstimmt. Es ist kein offensichtlicher algebraischer Trick, aber es ist richtig und führt zu der gesuchten Identität.
Sie sollten den letzten Absatz erweitern, um dies zu zeigen B ist selbst ein neuer Betreiber; Es wird mehr Verwirrung beseitigen, als nur zu sagen, was Sie haben.
@KyleKanos Gute Idee, fertig.