/ Home / math / Tensor / Übung / 02. /

  •  [Go Up]
  •  image/

02.

12) Berechnen Sie das Tensorprodukt dreier Tensoren erster Stufe (1,2) (3,5) und (7,11) bezüglich der Basis {(1,0),(0,1)}. Sind diese Tensoren drehinvariant?

Allgemein gilt:

A⊗B=C⇔A_{i_1..i_n}⋅B_{j_1..j_m}=C_{i_1..i_nj_1..j_m}

Daher in diesem speziellen Fall, wo Stufe = Anzahl Indices = 1:

A⊗B=C⇔A_{i}⋅B_{j}=C_{ij}
(1,2)⊗(3,5)=C⇔(1,2)_{i}⋅(3,5)_{j}=C_{ij}
C⊗(7,11)=D⇔C_{kl}⋅(7,11)_{p}=D_{klp}
(1,2)⊗(3,5)⊗(7,11)=D⇔(1,2)_{k}⋅(3,5)_{l}⋅(7,11)_{p}=D_{klp}

Oder wenn mans ausschreibt:

D_{111}=21
D_{112}=33
D_{121}=35
D_{122}=55
D_{211}=42
D_{212}=66
D_{221}=70
D_{222}=110

13) Berechnen Sie das Tensorprodukt
A⊗B
zweier Tensoren zweiter Stufe

... dargestellt als Matrix,

A:=\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}
B:=\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}

... bezüglich der Basis {(1,0), (0,1)}.

Allgemein gilt:

A⊗B=C⇔A_{i_1..i_n}⋅B_{j_1..j_m}=C_{i_1..i_nj_1..j_m}

Daher in diesem speziellen Fall, wo Stufe = Anzahl Indices = 2:

A⊗B=C⇔A_{ij}⋅B_{kl}=C_{ijkl}
C:=A⊗B

Die meisten Elemente des Ergebnisses sind 0, außer:

C_{1211}=1
C_{1222}=-1
C_{2111}=1
C_{2122}=-1

15) Ist das Tensorprodukt kommutativ?

Nein, weil laut Definition des Tensorprodukts:

A⊗B=C⇔A_{i_1..i_n}⋅B_{j_1..j_m}=C_{i_1..i_nj_1..j_m}
B⊗A=C⇔B_{i_1..i_n}⋅A_{j_1..j_m}=C_{i_1..i_nj_1..j_m}
Daraus folgt wegen Kommutativität der Multiplikation "
\cdot
":
A⊗B=C⇔A_{i_1..i_n}⋅B_{j_1..j_m}=C_{i_1..i_nj_1..j_m}
(unverändert)
B⊗A=C⇔A_{j_1..j_m}⋅B_{i_1..i_n}=C_{i_1..i_nj_1..j_m}
(Operanden der Multiplikation vertauscht)

Wie man sieht, wurden die Indizes bei A und B vertauscht, obwohl sie bei C nicht vertauscht wurden. Da die Indizes ordered sind (auch wenn mans bei der Notation ohne Komma nicht sieht, grr), verändert sich damit die jeweilige Stelle, an der ein Element steht.

16) Ist das Tensorprodukt assoziativ?

Ja, weil:

A⊗(B⊗C)=(A⊗B)⊗C
Schrittweises Einsetzen der Definition mit Abkürzungen:
D:=B⊗C
E:=A⊗B
F:=A⊗(B⊗C)
G:=(A⊗B)⊗C

Das ergibt in Komponentenschreibweise:

A_{i_1..i_m}⋅D_{j_1..j_nk_1..k_o}=E_{i_1..i_mj_1..j_n}⋅C_{k_1..k_o}
F_{i_1..i_mj_1..j_nk_1..k_o}=G_{i_1..i_mj_1..j_nk_1..k_o}

17) Vereinfachen und berechnen Sie

A⃗⨯(∇⨯(∇⨯A⃗)-∇(∇∙A⃗))

... wobei A⃗ ein Vektorfeld ist.

Schrittweise von innen:

(∇⨯A⃗)_i=ε_{ijk}⋅÷{∂}{∂x_j} A_k
(∇⨯(∇⨯A⃗))_l=ε_{lmi}⋅÷{∂}{∂x_m} (ε_{ijk}⋅÷{∂}{∂x_j} A_k)

Da Epsilon konstant ist:

(∇⨯(∇⨯A⃗))_l=ε_{lmi}⋅ε_{ijk}⋅÷{∂}{∂x_m} ÷{∂}{∂x_j} A_k
(∇⨯(∇⨯A⃗))_l=-ε_{iml}⋅ε_{ijk}⋅÷{∂}{∂x_m} ÷{∂}{∂x_j} A_k

Da

ε_{iml}⋅ε_{ijk}=δ_{mj}⋅δ_{lk}-δ_{mk}⋅δ_{lj}

... folgt:

(∇⨯(∇⨯A⃗))_l=-(δ_{mj}⋅δ_{lk}-δ_{mk}⋅δ_{lj})⋅÷{∂}{∂x_m} ÷{∂}{∂x_j} A_k
(∇⨯(∇⨯A⃗))_l=(δ_{mk}⋅δ_{lj}-δ_{mj}⋅δ_{lk})⋅÷{∂}{∂x_m} ÷{∂}{∂x_j} A_k
(∇⨯(∇⨯A⃗))_l=(δ_{mk}⋅δ_{lj}⋅÷{∂}{∂x_m} ÷{∂}{∂x_j} A_k)-(δ_{mj}⋅δ_{lk}⋅÷{∂}{∂x_m} ÷{∂}{∂x_j} A_k)
(∇⨯(∇⨯A⃗))_l=(δ_{lj}⋅÷{∂}{∂x_k} ÷{∂}{∂x_j} A_k)-(δ_{lk}⋅÷{∂}{∂x_j} ÷{∂}{∂x_j} A_k)
(∇⨯(∇⨯A⃗))_l=(÷{∂}{∂x_k} ÷{∂}{∂x_l} A_k)-(÷{∂}{∂x_j} ÷{∂}{∂x_j} A_l)

Unter der Annahme, dass der Satz von Schwarz hier anwendbar ist:

(∇⨯(∇⨯A⃗))_l=(÷{∂}{∂x_l} ÷{∂}{∂x_k} A_k)-(÷{∂}{∂x_j} ÷{∂}{∂x_j} A_l)

Rechts innen:

∇∙A⃗=÷{∂}{∂x_q} A_q
(∇(∇∙A⃗))_l=÷{∂}{∂x_l} ÷{∂}{∂x_q} A_q

Zusammenfassen:

(∇⨯(∇⨯A⃗)-∇(∇∙A⃗))_l=-÷{∂}{∂x_j} ÷{∂}{∂x_j} A_l

(traditionell wäre das:

(∇⨯(∇⨯A⃗)-∇(∇∙A⃗))=-ΔA

)

Vorne das A⃗ draufkreuzen:

(A⃗⨯(∇⨯(∇⨯A⃗)-∇(∇∙A⃗)))_i=-ε_{ikl}⋅A_k⋅÷{∂}{∂x_j} ÷{∂}{∂x_j} A_l

Das Minus wegkriegen geht noch:

(A⃗⨯(∇⨯(∇⨯A⃗)-∇(∇∙A⃗)))_i=ε_{ilk}⋅A_k⋅÷{∂}{∂x_j} ÷{∂}{∂x_j} A_l

18) Vereinfachen und berechnen Sie

x⃗ (x⃗⨯∇f(x))
, wobei f(x) ein Skalarfeld und x=|x⃗| ist.

Von innen beginnend:

(∇f(x))_i=÷{∂}{∂x_i} f(x)
(x⃗⨯∇f(x))_k=ε_{kji}⋅x_j⋅÷{∂}{∂x_i} f(x)

So, und da wir nicht wissen, was für ein Produkt das ganz links in der Angabe ist (falls es überhaupt ein Produkt ist), stehen wir an.

19) Vereinfachen und berechnen Sie

A⃗⨯(∇⨯(B⃗+x⃗)⋅f(x))
,

... wobei A⃗ ein Vektorfeld, f(x) ein Skalarfeld, B⃗ = const. und x=|x⃗| ist.

Wegen der seltsamen Angabe (zu wenig Klammern) habe ich zuerst mal gerechnet, ob gilt:

(a⃗⨯b⃗)⋅s=(a⃗⨯(b⃗⋅s))

mit s Skalar.

(ε_{ijk}⋅a_j⋅b_k)_i⋅s=(ε_{ijk}⋅a_j⋅(b_k⋅s))_i
s⋅(ε_{ijk}⋅a_j⋅b_k)_i=s⋅(ε_{ijk}⋅a_j⋅b_k)_i

Aha, also ja. Beim Nabla-Operator ändert sich dann aber das Ergebnis...

Das richtige Beispiel, von innen beginnend:

(B⃗+x⃗)_i=(B_i+x_i)
(∇⨯(B⃗+x⃗))_k=ε_{kji}⋅÷{∂}{∂x_j} (B_i+x_i)
(A⃗⨯(∇⨯(B⃗+x⃗)))_l=ε_{lmk}⋅A_m⋅ε_{kji}⋅÷{∂}{∂x_j} (B_i+x_i)
(A⃗⨯(∇⨯(B⃗+x⃗)))_l=ε_{lmk}⋅ε_{kji}⋅A_m⋅÷{∂}{∂x_j} (B_i+x_i)
(A⃗⨯(∇⨯(B⃗+x⃗)))_l=ε_{klm}⋅ε_{kji}⋅A_m⋅÷{∂}{∂x_j} (B_i+x_i)
(A⃗⨯(∇⨯(B⃗+x⃗)))_l=(δ_{lj}⋅δ_{mi}-δ_{li}⋅δ_{mj})⋅A_m⋅÷{∂}{∂x_j} (B_i+x_i)
(A⃗⨯(∇⨯(B⃗+x⃗)))_l=(δ_{lj}⋅δ_{mi}⋅A_m⋅÷{∂}{∂x_j} (B_i+x_i))-(δ_{li}⋅δ_{mj}⋅A_m⋅÷{∂}{∂x_j} (B_i+x_i))
(A⃗⨯(∇⨯(B⃗+x⃗)))_l=(A_m⋅(÷{∂}{∂x_l} (B_m+x_m)))-(A_j⋅(÷{∂}{∂x_j} (B_l+x_l)))

Da (wie oben gezeigt) gilt:

A⃗⨯(∇⨯(B⃗+x⃗)⋅f(x))=f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗)))
, folgt:
(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=f(x)⋅(A_m⋅(÷{∂}{∂x_l} (B_m+x_m)))-(A_j⋅(÷{∂}{∂x_j} (B_l+x_l)))
(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=f(√{x_t⋅x_t})⋅(A_m⋅(÷{∂}{∂x_l} (B_m+x_m)))-(A_j⋅(÷{∂}{∂x_j} (B_l+x_l)))

Da B=const,

(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=f(√{x_t⋅x_t})⋅((A_m⋅(÷{∂}{∂x_l} x_m))-(A_j⋅(÷{∂}{∂x_j} x_l)))
(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=f(√{x_t⋅x_t})⋅((A_m⋅δ_{lm})-(A_j⋅δ_{jl}))
(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=f(√{x_t⋅x_t})⋅(A_l-A_l)
(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=f(√{x_t⋅x_t})⋅0

Na toll.

(f(x)⋅(A⃗⨯(∇⨯(B⃗+x⃗))))_l=0

20) Geben Sie explizit ein forminvariantes Tensorfeld 2. Stufe in vier Dimensionen an.

δ_{ij}
x_i⋅x_j

Author: Danny (remove the ".nospam" to send)

Last modification on: Sat, 04 May 2024 .