Professional Documents
Culture Documents
Indexesd 1.1
Indexesd 1.1
Az indexes ı́rásmód ill. deriválás egy eszköz, amely tenzorok analı́zisét teszi egyszerűbbé
a fizikai számı́tásokban gyakran előforduló esetekben. Minden számı́tás, amelyet ”indexe-
sen” végeznek el, elvégezhető a parciális deriváltak koordinátánkénti kiszámı́tásával és a
tenzoralgebrai műveletek definı́ció szerinti alkalmazásával is, és ugyanarra az eredményre
vezet.
1. Algebra
1.1. Elemek
Tenzori rend szerint a mennyiségek az alábbi kategóriákba sorolhatók:
• 2. rend: tenzor: A, elemei {A11 , A12 , . . . A1m ; A21 , A22 , . . . A2m ; . . . ; An1 , An2 , . . . Anm }
Itt az első három renddel (skalár, vektor és másodrendű tenzor) foglalkozunk.
1.2. Műveletek
Jelölések:
(a)i – az a vektor i. eleme
(A)ij – az A tenzor i. sorában és j. oszlopában lévő eleme
E
= – az Einstein-féle automatikus összegzési konvenció szerinti egyenlőség
Vektor műveletek:
1
Indexes deriválás Kómár Péter, 2010
ahol ε a Levi-Civita-szimbólum
Levi-Civita-szimbólum:
Definı́ció:
+1 ha (i, j, k) ∈ {(1, 2, 3), (2, 3, 1), (3, 1, 2)}
εijk = −1 ha (i, j, k) ∈ {(1, 3, 2), (2, 1, 3), (3, 2, 1)}
0 ha i = j vagy i = k vagy j = k
Tulajdonságai:
ahol δ a Kronecker-delta.
Kronecker-delta:
Definı́ció:
½
1 ha i=j
δij =
0 ha i 6= j
Tulajdonságai:
(a ⊗ b)ik = ai bk
2
Indexes deriválás Kómár Péter, 2010
Tenzor műveletek:
1. Összeadás: tenzor + tenzor = tenzor
+ : Rn×m × Rn×m → Rn×m
A11 + B11 A12 + B12 · · · A1m + B1m
A21 + B21 A22 + B22 · · · A2m + B2m
A+B= .. .. ... ..
. . .
An1 + Bn1 An2 + Bn2 · · · Anm + Bnm
(A + B)ik = Aik + Bik
2. Skalárral való szorzás: skalár · tenzor = tenzor
· : R × Rn×m → Rn×m
αA11 αA12 · · · αA1m
αA21 αA22 · · · αA2m
α · A = .. .. . . ..
. . . .
αAn1 αAn2 · · · αAnm
(α · A)ik = αAik
3. Mátrix szorzás: tenzor · tenzor = tenzor
· : Rn×s × Rs×m → Rn×m
P P P
A1j Bj1 A1j Bj2 · · · j A1j + Bjm
P A2j Bj1 P A2j Bj2 · · · P
j j
j j j A2j Bjm
A·B= .. .. . ..
. . .. .
P P P
j Anj Bj1 j Anj Bj2 · · · j Anj + Bjm
P
(A · B)ik = sj=1 Aij Bjk = Aij Bjk
E
4. Mátrix hatása vektorra (mátrix szorzás spec esete): tenzor · vektor = vektor
· : Rn×s × RPs
→ Rn P P
A · a = ( j A1j aj , j A2j aj , . . . j Anj aj , )
P
(A · a)i = sj=1 Aij aj = Aij aj
E
3
Indexes deriválás Kómár Péter, 2010
1.3. Szabályok
Az indexes ı́rásmód használata közben sok-indexes kifejezéseket rendezünk és újrarendezünk.
Példa egy ilyenre:
Az ilyen kifejezések úgy manipulálhatók mint valós változók hagyományos szorzatai és
összegei:
1. A tagok sorrendje szabadon cserélhető (hiszen az összeadás kommutatı́v)
2. Indexes alakban a tényezők sorrendje is szabadon cserélgethető, ugyanis a ”nem-
kommutatı́v tulajdonságot” az index párok hordozzák, ezért viszont fontos, hogy
minden tényező viszi magával az indexeit.
pl: Aij δkl Bkp al εsip ds = δkl al Aij ds εsip Bkp
3. A szorzás disztributı́v az összegen.
pl: δrv dv (Csq εtjq at bs dr + cj er ) = δrv dv Csq εtjq at bs dr + δrv dv cj er
Az indexek kezelésére az alábbiak érvényesek:
4. Egy index az egyes tagokban szerepelhet
• 0-szor
• 1-szer: (megmaradó index) Az adott kifejezés tenzori rendjét e párosı́tatlan
indexek száma adja:
pl: ai Bk lεjkl δij skalár
Aij ci δkl Λssk bj vektor
Γijkl δjk ai εlpq másodrendű tenzor
• 2-szer: (néma index) Az ilyen kétszer szereplő indexekre automatikusan összegzünk.
(Einstein-konvenció)
NB: 2-nél többször ugyanaz az index nem szerepelhet egy tagban.
5. A néma indexek betűi mindig átjelölhetők más betűkre, csak arra kell figyelni, hogy
egy tagon belül ne legyen 2-nél több egyik indexből sem.
E
pl: Csq εtjq at bs + cj = Csr εpjr ap bs + cj
Az eredmények értelmezéséhez két relációt használunk:
6. (P)ijkl... = (Q)ijkl... ⇒ P = Q
azaz ha két kifejezés azonos indexű elemei megegyeznek (az indexek minden értékére),
akkor a két kifejezés egyenlő.
P P P P E
7. i j k l . . . ai . . . Bjl . . . ci . . . dj . . . Flkk . . . = ai . . . Bjl . . . ci . . . dj . . . Flkk . . . azaz
az egy tagban kétszer szereplő indexekre az összegzés akkor is ki van róva ha azt
nem jelöljük. (Einstein-féle automatikus összegzés konvenciója)
NB: Az automatikus összegzés csak egy tagon belül – az azonos indexű tényezőkre
– érvényes.PKét külön tagban előforduló ugyanolyan indexekre nincs összegzés:
E
ai bi ck = i ai bi ck = ((a · b)c)k (automatikus összegzés)
λ · ai + ν · bi = (λa + νb)i (nincs összegzés)
4
Indexes deriválás Kómár Péter, 2010
1.4. Példák
Az alábbiakban bemutatjuk az indexes ı́rásmód és a hagyományos ı́rásmód közötti
oda-vissza váltást a gyakorlatban, miközben hasznos (ı́gy megjegyzésre is javasolt azonosságokat
vezetünk le).
Feladatok: algebra
Alakı́tsuk az alábbi kifejezéseket indexessé ill. index mentessé!
1. a(b ⊗ c)d 9. ai δij bj
2. [a × (λb + (cd)e)]i 10. ck δkl cl + Aij bj ai
3. aABC(bc)(d × e) 11. Aik δkl al
2
4. a(b × c) + Tr (A ) 12. εklm ak bl cm
5. Tr (λI + ν((a × b) ⊗ c)) 13. εijk εjlm ak bl cm
6. {[A(a
£ פ(b × c))] × d}i 14. Aij Bij
T
7. (AB)
n ik o 15. Aij bi Cjk al Blk
8.Tr ([(a ⊗ b)(c × d)] ⊗ e)T 16. δii aj bj + Aij Bjk Ckl δil
5
Indexes deriválás Kómár Péter, 2010
2. Analı́zis
2.1. Mezők és deriváltjaik
A három-dimenziós téren (R3 ) értelmezett különböző tenzori rendű függvényeket ten-
zormezőknek hı́vjuk:
T : R3 → R3×3×···×3
Jelölés:
• r = (x, y, z) = (x1 , x2 , x3 ) az alaphalmazként szolgáló háromdimenziós tér egy
általános vektora. Ez játsza a mezőknél a független változó szerepét.
∂ ∂ ∂
• ∂1 = ∂x , ∂2 = ∂y
, ∂3 = ∂z
az r vektor három komponense szerinti parciális deriválás
operátorai.
• Nabla: ∇ = (∂1 , ∂2 , ∂3 ), amely algebrai tulajdonságait tekintve első rendű tenzor,
miközben egy elsőrendű deriváló operátor.
A három legfontosabb mező és az azokon értelmezett gyakran előforduló deriváló operátorok:
Vektormező: v : R3 → R3 , r 7→ (v1 (r), v2 (r), v3 (r)) = (v1 (x, y, z), v2 (x, y, z), v3 (x, y, z))
1. Divergencia: vektormező → skalármező
div : (R3 → R3 ) → (R3 → R)
div v =P∂1 v1 + ∂2 v2 + ∂3 v3 = ∇ · v
div = 3i=1 ∂i vi = ∂i vi
E
6
Indexes deriválás Kómár Péter, 2010
Tenzormező: T : R3 → R3×3
T11 (r) T12 (r) T13 (r) T11 T12 T13
r 7→ T21 (r) T22 (r) T23 (r) = T21 T22 T23 (x, y, z)
T31 (r) T32 (r) T33 (r) T31 T32 T33
1. Divergencia: tenzormező → vektormező
div : (R3 → R3×3 ) → (R3 → R3 )
div T = (∂1P
T11 +∂2 T21 +∂3 T31 , ∂1 T12 +∂2 T22 +∂3 T32 , ∂1 T13 +∂2 T23 +∂3 T33 ) = ∇·T
(div T)i = 3j=1 ∂j Tji = ∂j Tji
E
NB: Ez a művelet kitünteti az első indexet, előfordulhat a fordı́tott definı́ció is. (Ez
csak szimmetrikus tenzor esetén lényegtelen.)
2. Laplace-operátor: tenzormező → tenzormező
4 : (R3 → R3×3 ) → (R3 → R3×3 )
4T = ∂12 T
P+ ∂22 T + ∂32 T = (∇ · ∇)T = ∇2 T
(4T)ik = 3j=1 ∂j2 Tik = ∂j ∂j Tik
E
7
Indexes deriválás Kómár Péter, 2010
2.3. Szabályok
Indexes deriválás során sokindexes kifejezésekkel kell dolgoznunk, mint például:
8
Indexes deriválás Kómár Péter, 2010
2.4. Példák
Három gyakran előforduló példa:
További példák:
E E
[grad (ar)]i = ∂i (ar) = ∂i aj xj = aj ∂i xj = aj δij = ai = (a)i
£ ¤ xi
£ ¤
grad r1α i
= ∂i r1α = (−α) rα+1
1
∂i r = −α rα+2 r
= −α rα+2 i
E ¡ ¢ E
div ( rrα ) ³= ∂i rxαi =´(∂i xi ) r1α + xi ∂i r1α = δii r1α + xi (−α) rα+1
1
∂i r = 1
rα
δii + xi (−α) 1r xri =
E 1 2
= rα 3 − α rr2 = (3 − α) r1α
£ ¡ ¢¤ E ¡ ¢ E
rot a × rrα i = εijk ∂j a × rrα k = εijk ∂j εklm al xrm xm
α = εkij εklm al ∂j r α =
¡ ¢
= (δil δjm − δjl δim )al ¡(∂j xm ) r1α + xm ∂j r1α = ¢
1 xj
= (δil¡δjm − δjl δim )al ¢δjm r1α +
¡ xm (−α) rα+1 =
xx ¢
r
x x
= ai δjj r1α − α r1α rj 2 j − aj δji r1α − α r1α ri 2 j =
E
= r1α (δjj ai − αai ej ej − aj δji + αaj ei ej ) =
E
= r£1α (3ai − αai − ai + αei (ae))
¤ =
1
= rα ((2 − α)a + αe(ae)) i
E
4(sin(ar)) = ∂i ∂i sin(ar) = ∂i [cos(ar) · ∂i (ar)] = ∂i [cos(ar)ai ] =
E
= ai ∂i cos(ar) = ai (− sin(ar))·∂i (ar) = ai (− sin(ar))ai ) = −ai ai sin(ar) = −a2 sin(ar)
E E E
[(b∇)(a × r)]i = bj ∂j εikl ak xl = bj ak εikl ∂j xl = bj ak εikl δjl = bl ak εikl = εikl ak bl = (a × b)i
9
Indexes deriválás Kómár Péter, 2010
Emlékeztető kártyák
∂(f + g) = ∂f + ∂g
∂λf = λ∂f ∂i xk = δik
∂f g = (∂f )g + f ∂g ∂i r = xi /r = ei
∂f (g) = f 0 (g) · ∂g ∂i ek = (δik − ei ek )/r
Háttér
Ez az anyag önszorgalomból készült 2010. április 8. és 10. között.
A nettó idöbefektetés kb. 20 óra volt, melynek kb.
10%-a volt papı́r feletti tervezés,
20%-a gépelés és formázás,
60%-a a legtömörebb és leginformatı́vabb formák kiválasztása és
10%-a a hibajavı́tás.
Ha még ezt a sort is el akarod olvasni akkor elmondom, hogy nagyon izgulok,
hogy sikerült-e hasznos anyagot ı́rnom, és közben reménykedem, hogy sokan
fogják a tudtomon kı́vül dı́csérni :)
10