Partielle Integration und das Levi-Civita-Symbol

Ich arbeite gerade das Buch Heisenberg's Quantum Mechanics (Razavy, 2010) durch und lese das Kapitel über die klassische Mechanik. Ich interessiere mich für einen Teil ihrer Ableitung einer verallgemeinerten Lorentz-Kraft über ein geschwindigkeitsabhängiges Potential.

Ich verstehe die verallgemeinerte Kraft, die sie von einer Lagrange-Funktion der Form ableiten L = 1 2 M | v | 2 v ( R , v , T )

F ich = v X ich + D D T ( v v ich )

Durch eine Reihe von Schritten, die ich immer noch nicht ganz verstehe, leitet der Autor die Identität für die gemischten Geschwindigkeitsableitungen der Kraft ab:

F ich v J v k = 0

An dieser Stelle wird bzgl. "durch einmaliges Integrieren dieser Gleichung". v k , erhalten sie die Gleichung:

F ich v J = k ε ich J k B k ( R , T )

Wo B k ist der k T H Bestandteil einer Vektorfunktion B das kommt nicht auf die Geschwindigkeit an.


Ich habe Probleme zu verstehen, wo dieser Ausdruck für das Integral ins Spiel kommt. Die linke Seite kommt eindeutig von der FTC. Wenn ich die Integration selbst durchführen würde, würde ich dasselbe tun und eine beliebige Funktion einfügen

F ich v J = G ( R , v 1 , . . . , v k 1 , v k + 1 , . . . , T )

Wo G ist eine Funktion, die nicht von abhängt v k ausdrücklich. Auf diese Weise G v k = 0 wie wir brauchen.

Ich habe versucht herauszufinden, wie diese Funktion mit dem Ausdruck zusammenhängt B k , aber ich kann keine Quelle finden, die mich in die richtige Richtung weisen könnte, besonders weil meine beste Vermutung für G hängt vom anderen ab N 1 Komponenten der Geschwindigkeit, während des Autors B Vektor ist nur eine Funktion von Ort und Zeit.

Könnte ich etwas Hilfe haben, um zu verstehen, was hier getan wird?



Bearbeiten: Zusätzlicher wichtiger Kontext

Außerdem geht Razavy einen Schritt weiter und geht davon aus, dass die verallgemeinerte Kraft unabhängig von der Beschleunigung ist, genau wie die Lagrange-Funktion. Unter Verwendung dieser Annahme können wir die zweite Bedingung nehmen, die in einer anderen verwandten Frage aufgeführt ist, die ich gestellt habe, um die Antisymmetriebeziehung zu bilden

F ich v J = F J v ich

Und dann können wir beginnen, partielle Ableitungen zu nehmen, vorausgesetzt, alle diese Ableitungen sind stetig. Nehmen Sie zuerst die linke Seite:

v k ( L H S ) = 2 F ich v J v k = 2 F ich v k v J = v J F ich v k = v J ( F k v ich ) = 2 F k v ich v J

Wir können also den oberen Index und einen unteren Index auf Kosten eines negativen Vorzeichens differenzieren und tauschen. In ähnlicher Weise kann die rechte Seite differenziert werden

v k ( R H S ) = 2 F J v ich v k = 2 F k v ich v J

Somit können wir schreiben: v k ( L H S ) = v k ( R H S ) .

Weil L H S = R H S , wir haben

v k ( L H S ) = 2 F ich v J v k = 0

Antworten (1)

Ja, Integration in Bezug auf eins v k ergibt eine rechte Seite, die von every abhängt v l mit l k . Aber beachten Sie, dass wir eine Gleichung für jeden möglichen Wert von haben k , und am Ende ist die linke Seite der Gleichung immer gleich, und die rechte Seite sollte es auch sein. Daraus schließen wir, dass die Funktion auf der rechten Seite von keiner der Variablen abhängen kann v l .

Etwas präziser:

F ich v J = G ( R , v 1 , . . . , v k 1 , v k + 1 , . . . , T ) = H ich , J ( R , v 1 , . . . , v k , v k + 2 , . . . , T ) = M ich , J ( R , v 1 , . . . , v k 2 , v k , . . . , T ) = N ich , J ( R , T )

Ich bin mir nicht ganz sicher, ob ich alles verstehe. Sie sagen also, dass die ursprüngliche Gleichung mit F ich v J v k = 0 repräsentiert N Gleichungen, mit jeweils einer k , richtig? Ich hatte diesen Punkt vorher nicht erkannt, das hilft also sehr. Und weil dies für jeden gilt v k einzeln die partielle Ableitung F ich v J ist jedem von diesen einzeln gleich. Da jede eine der Geschwindigkeitskomponenten ausschließt, F ich v J kann sich auf keinen von ihnen verlassen. Ist dieses Verständnis richtig?
Meine andere Frage war, ob Sie die Funktionen mit den Indizes benannt haben ich J nur um den Bezug zum Besonderen zu betonen v J Derivat nehmen wir für die F ich Komponente. Ja?
@spanishinquisitor Zu deiner ersten Frage, ja, genau das ist es. Zu deiner zweiten Frage ebenfalls ja. Beachten Sie, dass die linke Seite von {i,j} abhängt, d. h. für jedes Paar gibt es eine entsprechende Funktion N ich , J . Ich bin nur ein bisschen verwirrt darüber, warum die Funktion die Form haben muss, die sie oben hat, ϵ ich J k B k .
Damit diese Form benötigt wird, müssen wir das verlangen F ich v ich = 0 Und F ich v J = F J v ich , von dem ich nicht sehen kann, woher es kommt.
Großartig! Ich bin froh, dass ich dir gefolgt bin. Ich bin auch verwirrt darüber, woher diese Symmetrien kommen. Ich vermute, es kommt von der "Reihe von Schritten, die ich immer noch nicht ganz verstehe", die ich erwähnt habe. Ich habe eine andere Frage zu diesem Schritt in dieser Frage hier gestellt . Daraus versuche ich, diese Antisymmetriebeziehungen herauszuarbeiten.
Froh, dass ich helfen konnte :). Ich habe mir Ihren anderen Beitrag angesehen und er scheint eine Herausforderung zu sein. Ich werde einige Nachforschungen anstellen. Was die Antisymmetrieeigenschaft betrifft, kann sie meiner Meinung nach aus der zweiten Helmholtz-Eigenschaft abgeleitet werden, die Sie auflisten: F ich v J + F J v ich = D D T ( F ich v J ˙ + F J v ich ˙ ) . Durch die Verwendung der Linearität bei Beschleunigung ( v ich ˙ ), der Term in Klammern ist eine Konstante (glaube ich), dann ist die rechte Seite Null. Aber es kommt auf die Details dieser „Linearität“ an.
Ich stimme zu! Ich habe den anderen Beitrag bearbeitet, weil ich einen Beweis auf arXiv gefunden habe. Darüber hinaus geht Razavy einen Schritt über die Linearität hinaus und geht davon aus, dass die verallgemeinerte Kraft unabhängig von der Beschleunigung ist, wie die Lagrange-Funktion mit der zweiten Hemholtz-Bedingung, wie Sie sagten. Ich habe meinen Beitrag bearbeitet, um diesen Teil hinzuzufügen.