Was ist das Problem, wenn ein Trägheitstensor die Dreiecksungleichung nicht erfüllt?

Es ist allgemein bekannt, dass Trägheitstensoren starrer Körper 3 mal 3 positive semidefinite Matrizen sind, was dasselbe bedeutet, dass ihre Eigenwerte alle nicht negativ sind.

Etwas weniger bekannt ist die Tatsache, dass diese Eigenwerte auch die Dreiecksungleichungen erfüllen , was bedeutet, dass die Summe zweier Eigenwerte immer größer oder gleich dem verbleibenden ist. Dies ergibt sich aus der Definition des Tensors selbst, der Integrale einer immer nicht negativen Massenverteilung beinhaltet. Per https://physics.stackexchange.com/a/48273/116038 :

Mit anderen Worten, wenn eine semi-positive bestimmte symmetrische reelle Zahl ist 3 × 3 Matrix mit nicht negativen Eigenwerten [...] die Dreiecksungleichung (1) nicht erfüllt, stellt sie keine physikalisch mögliche Massenverteilung dar.

Bei der Schätzung von Trägheitstensoren beispielsweise unter Verwendung von Regressionstechniken kann man Matrizen erhalten, die keine physikalisch möglichen starren Körper darstellen (wenn wir die Regressionslösung nicht auf physikalisch konsistente Werte beschränken).

Verwenden eines nicht positiven Semidefinitums 3 × 3 Eine symmetrische Matrix an Stellen, an denen ein Trägheitstensor erwartet wird – zB in einigen Starrkörper-Formulierungen, in der Simulation, in Steuerschemata usw. – würde große Probleme mit sich bringen. Beispielsweise würde eine nicht positive semidefinite Matrix, die als Trägheitstensor verwendet wird, negative kinetische Energien hervorrufen, E k = 1 2 ω ICH ω .

Meine Frage ist nun: Welche Probleme (bei Formulierungen, Simulation, Kontrolle usw.) können ggf. auftreten, wenn wir als Trägheitstensor eine Matrix verwenden, die zwar die positiv semidefinite Bedingung erfüllt, aber die Dreiecksungleichungsbedingungen nicht erfüllt die Eigenwerte?


Update : Ich habe überprüft, dass "Trägheitstensoren", die positiv semidefinit sind, aber die Dreiecksungleichungen nicht erfüllen, immer noch das Energieerhaltungsgesetz in Bezug auf kinetische Energie und Arbeit bestätigen.

Antworten (3)

Die Hauptträgheitsmomente eines starren Körpers ergeben sich aus diesen Gleichungen:

ICH 1 = v ( X 2 2 + X 3 2 ) ρ D v
ICH 2 = v ( X 3 2 + X 1 2 ) ρ D v
ICH 3 = v ( X 1 2 + X 2 2 ) ρ D v

Wo X = X 1   , j = X 2   , z = X 3 und der Trägheitstensor ist:

ICH = [ ICH 1 0 0 0 ICH 2 0 0 0 ICH 3 ]

mit

ich a = v X a 2 ρ D v > 0   , a = 1 , 2 , 3
daher:
ICH 1 = ich 2 + ich 3
ICH 2 = ich 3 + ich 1
ICH 3 = ich 1 + ich 2

Und

ICH 1 + ICH 2 = ich 1 + ich 2 + 2 ich 3 = ICH 3 + 2 ich 3 > ICH 3
ICH 2 + ICH 3 = 2 ich 1 + ich 2 + ich 3 = ICH 1 + 2 ich 1 > ICH 1
ICH 3 + ICH 1 = ich 1 + 2 ich 2 + ich 3 = ICH 2 + 2 ich 3 > ICH 2

somit ist die Dreiecksungleichung ein physikalisches Merkmal eines Trägheitstensors eines starren Körpers. Wenn der starre Körper symmetrisch ist, dann sind die Symmetrieachsen Hauptachsen und das Hauptträgheitsmoment muss der Dreiecksungleichung gehorchen, sonst beschreiben Sie den starren Körper nicht, den Sie beschreiben möchten.

Die Dreiecksungleichung für den Moment des Trägheitstensors ergibt sich letztendlich aus der Positivität der Trägheitsmasse (wie in Elis Antwort gezeigt ). Ein Körper, dessen Trägheitstensor die Dreiecksungleichungen nicht erfüllt, hätte notwendigerweise einen Bereich, in dem ρ < 0 .

Wir könnten diesen Körper dann als aus zwei Teilkörpern zusammengesetzt betrachten, von denen einer eine streng positive Trägheitsmasse hat M 1 > 0 und eine mit strikt negativer Trägheitsmasse M 2 < 0 . Alle inneren Kräfte zwischen diesen Körpern würden dazu führen, dass diese beiden Teilkörper spontan in die gleiche Richtung beschleunigen : die inneren Kräfte an M 1 Und M 2 nach Newtons drittem Gesetz in entgegengesetzte Richtungen wirken würden, aber ihre Beschleunigungsvektoren aufgrund ihrer unterschiedlichen Massenvorzeichen in die gleiche Richtung zeigen würden.

Solche "Ausreißerlösungen" werden allgemein als schlechte Sache angesehen. Die einzigen Schlupflöcher, die ich sehe, sind (a) die Aufgabe von Newtons drittem Gesetz, aber das würde Emmy Noether traurig machen; oder (b) zu fordern, dass diese Unterkörper niemals eine Nettokraft aufeinander ausüben, was problematisch wäre, wenn wir wollen, dass der Körper starr ist.

Es ist nützlich, Trägheitstensoren in der sphärischen Basis zu betrachten – in der die Basistensoren Eigentensoren von Drehungen um die z-Achse sind. Anstatt also 3 x 3 = 9 zu berücksichtigen T ich J für i, j ( X , j , z ) , on hat 1 + 3 + 5 = 9 Basiszustände wie folgt:

T ( 0 ) = 1 3 T ich ich   ICH

ist kugelsymmetrisch und proportional zur Identität. Als Trägheitstensor entspricht es einer Kugel.

Der antisymmetrische Teil eines Tensors:

T ( 1 ) = A ich J 1 2 ( T ich J T J ich )

transformiert sich wie ein Vektor (ähnlich wie ein Kreuzprodukt) und hat KEINEN PLATZ in den Trägheitstensoren. Es gibt 3 Komponenten.

Schließlich hat der spurfreie symmetrische Teil 5 Komponenten:

T ( 2 ) = S ich J 1 2 ( T ich J + T J ich ) ) T ( 0 )

die sich wie sphärische Harmonische transformieren: Y l = 2 M     ( θ , ϕ ) für M   ( 2 , 1 , 0 , 1 , 2 ) .

Der | M | = 1 Komponenten:

T ( 2 , M = ± 1 )         = S X z ± ich S j z

kann durch eine geeignete Koordinatendrehung wegdiagonalisiert werden, so dass:

l = 2 , M = 0 :

T ( 2 , 0 )     = 1 2 S z z

Dieser Teil entspricht der Oblatität/Prolatität des Objekts; also für ein Ellipsoid wäre das mit der Exzentrizität, wobei die Symmetrieachse mit der z-Achse ausgerichtet wäre.

l = 2 , | M | = 2 :

T ( 2 , M = ± 2 )           = 1 2 ( S X X S j j ± 2 ich S X j )

Bei Trägheitstensoren sind m=2 und m=-2 gleich, sodass die kartesischen Komponenten reell sind. Dieser Teil der Tensoren entspricht jeder zylindrischen Asymmetrie – also ist er Null für ein Rotationsellipsoid.

Vielen Dank für diese andere Möglichkeit, Trägheitstensoren zu sehen, aber ich konnte keine weiteren Erkenntnisse zu meiner Frage gewinnen.