Warum ist in der Kontinuumsmechanik der Spannungsvektor T=σ⋅nT=σ⋅nT=\sigma\cdot n kein Kovektor?

In der Kontinuumsmechanik ist der Spannungsvektor (siehe Cauchy-Spannungstensor ) T = σ N ist die Oberflächendichte einer Kraft. Kräfte sind Kovektoren, da sie einen Verschiebungsvektor auf eine skalare Energie abbilden. Dann, warum ist T nicht auch ein Covektor?

Bearbeiten : Ich spreche über den Spannungsvektor , der für einen bestimmten Einheitsnormalenvektor definiert ist N von σ N , nicht zu verwechseln mit dem Spannungstensor (zweiter Ordnung). σ .

Gibt es einen Grund, warum Sie es den Stressvektor nennen ? Ich glaube, dass die Frage von Vektor vs. Covektor ein Ablenkungsmanöver ist, angesichts der wichtigeren Frage von Vektor vs. Rang-2-Tensor.
@ChrisWhite Nun, so nennen es alle ( Google-Kampf ). Ablenkungsmanöver für was, für wen? Dies bestimmt, ob der Cauchy-Tensor a ist ( 1 , 1 ) oder ( 0 , 2 ) Tensor.
Arbeiten wir nicht in Gegenwart einer Metrik? Wenn ja, gibt es einen kanonischen Isomorphismus zwischen solchen Tensoren, und die Unterscheidung zwischen ihnen ist völlig bedeutungslos.
@Muphrid Es gibt einen kanonischen Isomorphismus zwischen dem Vektorraum E und seine bidual E aber ich verstehe nicht, warum dies impliziert, dass keine Unterscheidung zwischen ( 1 , 1 ) Und ( 0 , 2 ) Tensoren gemacht werden sollen. Sprechen Sie von einem euklidischen Raum?
Ich bin nicht. Siehe die Antwort von user1260696. Der musikalische Isomorphismus macht die Unterscheidung zwischen Vektoren und Covektoren irrelevant.

Antworten (1)

Wenn Menschen Kontinuumsmechanik studieren, tun sie dies normalerweise zuerst in R 3 wobei wir normalerweise den üblichen metrischen Tensor impliziert haben ( G ich J ) = diag ( 1 , 1 , 1 ) und die damit verbundene Levi-Civita-Verbindung. In diesem Fall sind Vektoren und Covektoren äquivalent: Der metrische Tensor induziert den musikalischen Isomorphismus und ermöglicht die Konvertierung zwischen Vektorfeldern und Einsformen durch Erhöhen und Erniedrigen von Indizes.

Also wenn M ist Ihr Raum und ( X , U ) ein Koordinatensystem, ggf X ist ein Vektorfeld, das auf U kann in Koordinaten geschrieben werden als

X = X ich X ich ,

Dann G ermöglicht es Ihnen, das Ein-Form-Äquivalent dazu durch Einstellung zu erstellen ω = G ( X , ) , das ist in U wir können schreiben

ω ( Y ) = G ( X , Y ) ω = G ich J X ich D X J ,

Wo G ich J sind die Bestandteile von G auf dem Koordinatensystem ( X , U ) , also Funktionen, mit denen wir schreiben können G = G ich J D X ich D X J .

Jetzt wird der Spannungstensor, von dem Sie sprechen, normalerweise als eine lineare Karte definiert, die Vektoren in Vektoren umwandelt: Sie ist in der Lage, eine Normale zu nehmen und eine Kraft zurückzugeben. Jetzt lineare Abbildungen auf einem Vektorraum v kann mit dem Tensorprodukt identifiziert werden v v und so lineare Abbildungen und Tensoren des Typs ( 1 , 1 ) sind gleich.

In dieser Situation ist es am besten, über den Spannungstensor so nachzudenken ( 1 , 1 ) Tensor σ was an ( X , U ) kann geschrieben werden

σ = σ J ich X ich D X J .

Genauso wie ein solcher Tensor Vektoren auf Vektoren abbilden kann, kann er Covektoren auf Covektoren abbilden. Auf diese Weise, wenn Sie Kraft als Covektor betrachten, σ kann es abbilden. Da Sie nun einen metrischen Tensor haben, können diese Operationen alle mit dem musikalischen Isomorphismus "abgeglichen" werden. Vor allem wann G ist der übliche metrische Tensor von R 3 man sieht überhaupt keinen unterschied.

Warum ist es dann in der analytischen Mechanik wichtig, zwischen Vektoren und Covektoren zu unterscheiden? Kräfte (Elemente des Kotangensbündels der Konfigurationsmannigfaltigkeit) und Geschwindigkeiten (Elemente der Tangentenbündel) spielen keine symmetrische Rolle.
Weil eine Metrik benötigt wird, um Vektoren und Covektoren zu identifizieren. Wenn Sie sich mit einem Kontinuum befassen, befindet es sich normalerweise in einer Teilmenge von R 3 oder ein anderer Raum M das hat natürlich eine Geometrie, die in einem metrischen Tensor kodiert ist, also sind diese Identifikationen bereits da. Wenn es keine Metrik gibt, dann gibt es keine Möglichkeit, auf diese Weise zu argumentieren.