Wie es der Fall ist, gibt es tatsächlich Grenzen, wie unterschiedlich die Richtungen sindL⃗
Undω⃗
kann sein. Dies liegt daran, dass der Trägheitstensor etwas ist, das positiv semidefinit genannt wird , was das innere Produkt jedes Vektors erfordertω⃗
mit seiner Transformation unter dem Tensor,ICHω⃗
nicht negativ sein:
ω⃗ ⋅ Ichω⃗ ≥ 0.
Insbesondere bedeutet dies, dass der Winkel zwischen
L⃗
Und
ω⃗
darf nicht größer als 90° sein.
Das Trägheitsmoment als Matrix wird normalerweise mit den Komponenten definiert
ICHich j=∑k(R2( k )δich j−X( k )ichX( k )J)Mk(1)
für eine Wolke von Teilchen mit Massen
Mk
, oder als Integral
ICHich j= ∫(R2δich j−XichXJ) ρ( r )D3R(2)
für eine kontinuierliche Massenverteilung. Normalerweise berechnet man die Komponenten um die
Hauptachsen des Trägheitsmoments, das ist ein Rahmen, in dem die außerdiagonalen Komponenten liegen
ICHx y= − ∫x yρ ( r )D3R
verschwinden, und Sie haben nur noch die üblicheren diagonalen Komponenten der Form
ICHxx _= ∫(j2+z2) ρ( r )D3r .
Im allgemeinen Fall muss man sich jedoch an die vollständigen Matrixausdrücke halten
( 1 )
Und
( 2 )
, und es ist nicht sofort ersichtlich, wie man aus diesen Ausdrücken beweisen kann, dass das Trägheitsmoment positiv semidefinit ist, also lohnt es sich, dies ein wenig im Detail zu untersuchen.
(In einem Rahmen, der auf die Hauptachsen ausgerichtet ist, ist dies einfach, da Sie in diesem Rahmen haben
ω⃗ ⋅ Ichω =∑JICHjj _ω2J≥ 0
wie alle
ICHjj _
sind nichtnegativ. Die Existenz eines solchen Rahmens ist jedoch keine triviale Tatsache - es erfordert im Wesentlichen, dass wir wissen, dass die Matrix
ICHich j
diagonalisierbar ist und eine solche Diagonalisierung zu finden. Daher ist es besser, im allgemeinen Fall zu arbeiten.)
Der Hauptpunkt über die positive Halbbestimmtheit vonICH
ist, dass es eine viel einfachere Beziehung kodiert, als seine Komponenten Sie glauben machen. Um diese Beziehung zu sehen, beginnen Sie mit der grundlegenden Definition des Drehimpulses eines einzelnen Teilchens,
L⃗ =R⃗ ×P⃗ =R⃗ × mv⃗ ,(3)
und dann verwenden Sie die grundlegende Definition des Winkelgeschwindigkeitsvektors - dass sich jedes Teilchen mit (vektorieller) Winkelgeschwindigkeit um den Ursprung dreht
ω⃗
wird Geschwindigkeit haben
v⃗ =ω⃗ ×R⃗ ,(4)
und Sie setzen dies in den Ausdruck für den Drehimpuls ein:
L⃗ =R⃗ × m (ω⃗ ×R⃗ ) .(5)
Das sieht kompliziert aus, aber das Wichtigste ist, dass es linear ist
ω⃗
: Wenn Sie eine lineare Kombination wie eingeben
A1ω⃗ 1+A2ω⃗ 2
für
ω⃗
, du wirst aussteigen
A1L⃗ 1+A2L⃗ 2
. Die obige Gleichung ist eine lineare Beziehung zwischen zwei Vektoren, und
alle diese Beziehungen können in Matrixform ausgedrückt werden:
L⃗ = ichω⃗ .
Der Trägheitstensor ist genau diese Matrix.
Die Matrixform der Beziehung ist jedoch nicht unbedingt die nützlichste Art, sie zu formulieren. Lassen Sie mich als Beispiel den Beweis dafür zeigenICH
ist positiv semidefinit, direkt aus der Beziehung( 5 )
über. Das möchte ich zeigenω⃗ ⋅L⃗ ≥ 0
, also beginne ich mit der Berechnung dieses Skalarprodukts:
ω⃗ ⋅L⃗ =ω⃗ ⋅ (R⃗ × mv⃗ )= mR⃗ ⋅ (v⃗ ×ω⃗ ) ,
wobei ich die zyklische Eigenschaft des
skalaren Tripelprodukts verwendet habe , weil das Kreuzprodukt
v⃗ ×ω⃗
ist da leicht zu berechnen
v⃗
Und
ω⃗
sind konstruktionsbedingt orthogonal. Einfügen der Definition
( 4 )
für die Geschwindigkeit erhalten wir ein
Vektortripelprodukt , das wiederum leicht aufzulösen ist:
ω⃗ ⋅L⃗ = mR⃗ ⋅ ( (ω⃗ ×R⃗ ) ×ω⃗ )= mR⃗ ⋅ (ω2R⃗ − (ω⃗ ⋅R⃗ )ω⃗ )= m (ω2R2− (ω⃗ ⋅R⃗ )2) .
Hier sind wir im Wesentlichen fertig, weil wir das wissen
|ω⃗ ⋅R⃗ |
darf nicht größer sein als
rω _
, also bekommen wir das Gewünschte
ω⃗ ⋅ Ichω⃗ =ω⃗ ⋅L⃗ ≥ 0
. Wenn wir schließlich eine Partikelwolke oder eine kontinuierliche Massenverteilung haben, summieren oder integrieren wir einfach über diese Ungleichung.
OK, das Obige ist also eine (langatmige) Erklärung dafür, warum das so istICH
Matrix-Ding gehorcht dieser positiv-halbendlichen Eigenschaft. Was bedeutet das geometrisch? Nun, das Erweitern des inneren Produkts in eine Winkelform ergibt uns
ω⃗ ⋅L⃗ = ω L cos( θ ) ≥ 0 ,
Wo
θ
ist der Winkel zwischen dem Drehimpuls und der Winkelgeschwindigkeit; diese Ungleichheit übersetzt in
θ ≤ π/ 2=90∘
.
Diese Grenze ist so ziemlich das Beste, was Sie tun können, und es ist einfach, Beispiele dafür zu findenω⃗
UndL⃗
sind beliebig nahe orthogonal. Das einfachste ist ein langer, dünner StabL
und Radiusw
das dreht sich schnell um eine Achse, die fast (aber nicht ganz) mit der Stange ausgerichtet ist:
![](https://i.stack.imgur.com/CH13A.png)
Setzen Sie die Stange entlang derX
Achse erhalten Sie, dass das Trägheitsmoment und die Winkelgeschwindigkeit gegeben sind durch
ICH=⎛⎝⎜⎜12Mw200013ML200013ML2⎞⎠⎟⎟Undω⃗ =⎛⎝⎜Ωδ0⎞⎠⎟,
jeweils, und das gibt Ihnen
L⃗ =⎛⎝⎜⎜12Mw2Ω13ML2δ0⎞⎠⎟⎟
für den Drehimpuls,
ω⃗ ⋅L⃗ =12Mw2Ω2+13ML2δ2
für das innere Produkt und
cos( θ ) =ω⃗ ⋅L⃗ Lω _=12w2Ω2+13L2δ214w4Ω2+19L4δ2−−−−−−−−−−−−−√Ω2+δ2−−−−−−√≈3w2/L2+ 2δ2/Ω29w4/L4+ 4δ2/Ω2−−−−−−−−−−−−−−√
für den Winkel. Festlegen der Stangenparameter bei
w ≪ L
, und wählen Sie dann mit eine Winkelgeschwindigkeit aus
Ω ≫ δ
und so das
wL≪δΩ
(dh der Stab ist viel dünner als die Spinachse nahe an der Stabachse liegt), nähert sich der Kosinus an
cos( θ ) ≈δΩ+3w2/L22δ/ Ω,
der mit dem Winkel beliebig klein gemacht werden kann
θ ≈π2− (δΩ+3w2/L22δ/ Ω)
willkürlich nahe an 90°.
Geometrisch gesehen ergibt das Drehen eines dünnen Stabs um seine Achse eine Drehimpulskomponente entlang dieser Achse, die sehr klein ist, und jede Fehlausrichtung führt zu einem Drehimpuls, der die Drehung um die Fehlausrichtungsachse beschreibt, die, wenn der Stab dünn und lang genug ist, in den Schatten stellen kann der Drehimpuls aus der Drehung selbst.
Schließlich ist es wichtig zu beachten, dass der Drehimpuls und die Winkelgeschwindigkeit niemals vollständig orthogonal sein können. Dies kann durch Ausdrücken der Orthogonalitätsrelation gesehen werdenω⃗ ⋅L⃗ = 0
im Hauptrahmen des Körpers, wo es die Form annimmt
ω⃗ ⋅L⃗ =ICHxx _ω2X+ICHjjω2j+ICHzzω2z= 0 ,
dh die Summe von drei nicht negativen Termen, die alle Null sein müssen, damit die Summe verschwindet. Dies ist möglich, indem Sie z
ICHxx _= 0
Und
ωj=ωz= 0
, aber in diesem Fall (und allen solchen Fällen) erhalten Sie
L⃗ = 0
, was nicht wirklich als "orthogonal" zu zählt
ω⃗
.
esoterisch-elliptisch