Professional Documents
Culture Documents
MISKOLC
2013
MISKOLC
2013
ISBN 978-963-08-6427-5
c
Magnkiads
2013 Kozk Imre, Szeidl Gyrgy
Miskolci Egyetem, Mechanikai Tanszk, 3515 Miskolc-Egyetemvros
(A m szabadon letlthet egy pldnyban. A letlttt szvegfjl egy pldnyban nyomtathat.
Tilos a knyv sokszorostsa s pnzrt val terjesztse. A szveg s annak rszei csak a szerzk
elzetes hozzjrulsval hasznlhatk fel ms dokumentumokban.)
Tartalomjegyzk
1. fejezet. Alapfogalmak
1.1. Vektorok (ismtl ttekints)
1.1.1. Vektoralgebrai sszefoglal.
1.1.2. Linerisan sszefgg, linerisan fggetlen vektorok.
1.1.3. Vektor tetszleges (ferdeszg) bzisban.
1.2. Koordinta-rendszerek
1.2.1. Ferdeszg KR-ek (ltalnosts).
1.2.2. A bzisvektorok tovbbi tulajdonsgai.
1.2.3. A permutcis szimblum, vektorilis s vegyes szorzatok.
1.2.4. Permutcis szimblumok szorzatai.
1.2.5. Grbevonal koordinta-rendszerek.
Gyakorlatok
1
1
1
2
4
5
5
6
7
9
10
12
15
15
15
17
18
21
3. fejezet. A determinns
3.1. A determinns s az adjunglt
3.1.1. Determinns indexes jellssel.
3.1.2. Az adjunglt s az inverz.
3.2. Alkalmazsok
3.2.1. Determinnsok szorzsttele.
3.2.2. A bzisvektorok vegyes szorzata s a metrikus tenzor determinnsa.
3.2.3. A permutcis szimblum, mint determinns.
Gyakorlatok
23
23
23
24
25
25
26
26
27
4. fejezet. Tenzorok
4.1. A msodrend tenzor
4.1.1. A msodrend tenzor geometriai fogalma.
4.1.2. Msodrend tenzor loklis bzisban.
4.2. Tenzorok transzformcija
4.2.1. A kovarins bzisvektorok transzformcija.
4.2.2. sszefggs a transzformcis objektumok kztt.
4.2.3. A kontravarins bzisvektorok transzformcija.
4.2.4. Vektorok transzformcija.
4.2.5. Msodrend tenzorok transzformcija.
4.2.6. Tenzorok szorzatainak transzformcija.
Gyakorlatok
29
29
29
30
31
31
33
34
35
36
37
37
39
39
39
40
42
42
43
45
45
46
46
49
49
49
50
52
53
54
55
55
57
60
62
64
64
65
66
66
67
68
71
71
71
71
74
75
75
76
78
80
83
83
83
85
86
86
87
88
ii
88
89
90
91
91
91
92
93
93
95
98
99
99
99
102
104
106
106
109
114
114
118
123
123
123
123
126
127
128
129
129
129
131
131
133
136
139
142
149
149
150
152
152
153
156
162
169
iii
Irodalomjegyzk
173
Trgymutat
175
iv
1. FEJEZET
Alapfogalmak
1.1. Vektorok (ismtl ttekints)
1.1.1. Vektoralgebrai sszefoglal. A vektort (geometriailag) irnytott egyenesszakasznak tekintjk.
Tulajdonsgai:
nagysg (avagy abszolt rtk),
irny (ezt a vektor un. tartegyenese, hatsvonala hatrozza meg),
irnyts (ez azt mondja meg merre mutat tartegyenesn a vektor),
mrtkegysg (a vektorok jelentse ltalban valamilyen zikai vagy geometriai
mennyisg)
A nullvektornak vagy zrusvektornak az a jellemzje hogy zrus az abszolt rtke.
Az egysgvektor egysgnyi abszolt rtk vektor.
Az albbiak, csak jellsben, teht a vonatkoz mveletek rtelmezsnek elhagysval
tekintik t a vektorok kztti mveleteket :
additv mveltek, sszeads, kivons pl:
a+b = c ;
szorzs skalrral:
a + b = c ;
kt vektor skalris szorzata :
ab = ba = c
(pont a mvelet jele) ;
vektorilis szorzs:
a b = b a = c ;
didikus vagy tenzorilis szorzs:
(1.1)
ab ,
(a b)T = b a
(ab)T = ba
[abc] = (a b) c = a (b c)
= (b c) a = b (c a)
= (c a) b = c (a b) ;
1
(1.3a)
a (b c) = (a c)b (a b)c ,
(1.3b)
(a b) c = (a c)b (b c)a ;
(a b) c = a(b c) ,
(1.4b)
c (a b) = (c a)b
(nem mindegy, hogy a didot jobbrl vagy balrl szorozzuk skalrisan a vektorral!).
didikus szorzat s vektor vektorilis szorzata :
(1.5a)
(a b) c = a (b c) ,
(1.5b)
c (a b) = (c a) b .
Ha kartziuszi KR-t alkalmazunk a vektorokkal, tenzorokkal kapcsolatos mveletek vgrehajtsa sorn, akkor
y3
sszhangban az brval s eltren a gyakorta hasznlatos
x, y s z a koordinta-tengelyek,
i3
i2 y 2
ex , ey s ez a koordinta-tengelyek pozitv irnyba
O
mutat hrom egysgvektor
jellsektl
i1
y 1 , y 2 s y 3 jelli a hrom koordinta-tengelyt, s
y1
i1 , i2 s i3 az 1, 2 s 3 jel koordinta-tengelyek pozitv irnyba mutat egysgvektor.
1.1. bra. Kartziuszi KR Indexes jellsmdban a mennyisgeket (ezeket valamilyen
bet jelli) indexekkel ltjuk el. Megjegyezzk a ksbbiek
kedvrt, hogy valamely egyindexes mennyisg fels indexes rtke ltalban nem egyezik
meg ugyanezen mennyisg als indexes rtkvel.
1.1.2. Linerisan sszefgg, linerisan fggetlen vektorok. Linerisan fggetlenek az a1 , a2 , . . . , an ; n 2 |ai | > 0 i = 1, . . . , n vektorok , ha a
p1 a1 + p2 a2 + ... + pn an = 0
egyenletnek csak trivilis megoldsa van, azaz ha
p1 = p2 = ... = pn = 0 .
Linerisan sszefggek az a1 , a2 , . . . , an ; n 2
|ai | > 0 i = 1, . . . , n vektorok, ha
ltezik legalbb kt zrustl klnbz pi .
Az albbiakban sorra vesszk kt, hrom s hromnl tbb vektor esetn a lineris
fggetlensg (sszefggsg) eseteit :
Kt vektor: Kt prhuzamos vektor esetn, amint az azonnal lthat a
p1 a1 + p2 a2 = 0
| a1
egyenletbl az a1 -el trtn szorzs utn, linerisan sszefggek a vektorok, hiszen ekkor
a2 a1
p1 = p2
.
a1 a1
Az utbbi kplet azt is mutatja, hogy vgtelen sok a megoldsok szma.
Ha nem prhuzamosak a vektorok akkor az
p1 a1 + p2 a2 = 0
| a2
1. Alapfogalmak
a2 a3
a3 a1
a a
1
2
p1 a1 + p2 a2 + p3 a3 = 0
szorzatokbl a
p1 [a1 a2 a3 ] = 0
p2 [a1 a2 a3 ] = 0
p3 [a1 a2 a3 ] = 0
p2 = 0
p3 = 0
m n i
a2 a3
2 3 1
p1 a1 + p2 a2 + p3 a3 + p4 a4 = 0
a3 a1
3 1 2
a1 a2
1 2 3
szorzatokbl, tekintettel a kpletsor jobboldaln ll tblzatra, illetve az m,
n s i betk tblzattal denilt rtelmezsre a
pi [a1 a2 a3 ] + p4 [a4 am an ] = 0
i = 1,2,3
a2 a3
a3 a1 ltal kifesztett skokban
a1 a2
a fenti egyenletek kzl legalbb egynek van nem trivilis megoldsa. Ngy
vektor teht mindig linerisan sszefgg. Ez egyben azt is jelenti, hogy a
ngynl tbb vektor is mindig linerisan sszefgg.
Tegyk fel, hogy a1 , a2, s a3 nem komplanris, azaz [a1 a2 a3 ] = ao = 0. Ekkor, fennll
a fentiek alapjn a
p1
p2
p3
a4 = a1 a2 a2 = 1 a1 + 2 a2 + 3 a3
p4
p4
p4
1
(1.8)
(1.9a)
v 2 = v a2 ;
v 3 = v a3
(1.9b)
i = 1,2,3 .
azaz, hogy
(1.11)
v = [a1 a1 + a2 a2 + a3 a3 ] v ,
I
v = v1 a1 + v2 a2 + v3 a3
v1 = v a1 ;
v2 = v a2 ;
v3 = v a3 .
1. Alapfogalmak
(1.13b)
A fentiek alapjn fennll, hogy
v2
v3
azaz
v = [a1 a1 + a2 a2 + a3 a3 ] v ,
(1.14)
ami egyben azt is jelenti, hogy az I tenzor ismt az egysgtenzor, pontosabban az (1.11)
alatti alak transzponltja visszautalunk itt az (1.1) kpletet kvet magyarzatra.
1.2. Koordinta-rendszerek
1.2.1. Ferdeszg KR-ek (ltalnosts). Az 1.2. bra egy, az (x1 , x2 , x3 ), vagy
rviden (x) az mdon jellt, ferdeszg egyenesvonal KR-t szemlltet. Az x1 , x2 s x3
koordinta-tengelyek irnyt s irnytst az egymstl klnbz, s egymssal nem
90o-os szget bezr g1 , g2 s g3 vektorok jellik ki. A ferdeszg sz jelzknt trtn
g3
x3
loklis bzis
g1
r
g3
g2
x2
g2
g1
x1
o = [g1 g2 g3 ] = 0 .
Ez egyben azt jelenti az elz szakaszban lertak alapjn, hogy bzist alkotnak a g1 , g2
s g3 vektorok.
A g1 , g2 s g3 vektorok alkotta bzist kovarins bzisnak, magukat a bzisvektorokat
pedig kovarins bzisvektoroknak nevezzk majd. A kovarins jelz egyrszt arra utal,
hogy a bzisvektorok egymstl val megklnbztetst als indexpozciban elhelyezett
szmok teszik lehetv. A kovarins sz emellett arra is utal, hogy ezek a bzisvektorok
eleget tesznek egy a 4.2.1. szakaszban rszletezett transzformcis szablynak a (4.15a)
egyenletnek.
Az bra feltnteti a tr tetszleges P pontjnak
(1.16)
r = x1 g1 + x2 g2 + x3 g3
1.2. Koordinta-rendszerek
g1 =
g 2 g3
;
o
g2 =
g 3 g1
;
o
g3 =
g 1 g2
o
y 1 = x1
y 2 = x2 ,
y 3 = x3
s
(1.19b)
i1 = i1 = g1 = g1 ,
i2 = i2 = g2 = g2 ,
i3 = i3 = g3 = g3
kl
1
ha k = l
kl
=
(1.20)
k
0
ha k = l
l
kl
kifejezs rtelmezi. Mivel az rtelmezs szerint a kl s l k a k s l indexek minden lehetsges rtkre megegyezik egymssal ezek esetn kzmbs az indexek sorrendje.
Visszaidzve a bzisvektorok s a reciprok bzisvektorok kztt fennll (1.7) egyenletet (ak -nak gk , al -nek gl felel meg) rhatjuk, hogy
(1.21)
gk gl = kl .
1. Alapfogalmak
(1.22)
1
o
sszefggs. Az igazols a ktszeres vektorszorzatokkal kapcsolatos s a lentiekhez illeszkeden az (ab)c = (ac)b(bc)a alakban kirt kifejtsi ttel alkalmazsn nyugszik:
c
a
b
1
1
g1
2
3
.
g g = 2 ( g3 g1 ) (g1 g2 ) = 2 [g3 (g1 g2 ) g1 0] =
o
o
o
Kvetkezleg
1
1
=
o = g 1 g 2 g 3 = g 1 g1
o o
11 =1
(1.23)
vagy
rl lm
r1 1m + r2 2m + r3 3m
rm
1 ha r = m
0 ha r = m
1.2. Koordinta-rendszerek
pros
pratlan
1
2
vagy
epqr
pros
1
1 ha a klm pratlan permutcija az 123-nak
(1.24a)
eklm =
0
nem
s a
(1.24b)
epqr =
1
pros
1 ha a pqr pratlan permutcija az 123-nak
0
nem
kpletek adjk.
Az (1.15), (1.18) s az (1.24a) kpletek egybevetse alapjn a
(1.25a)
gk gl = o eklm gm
gp gq = o epqm gm .
Legyen
(1.26)
klm = o eklm
pqm = o epqm .
gk gl = klm gm
gp gq = pqm gm
1. Alapfogalmak
ekm ekr
ekm ekm
szorzatok.
Vegyk szre, hogy az els esetben egy index (ez a k), a msodik esetben kt index (a
k s ), a harmadik esetben pedig valamennyi index sszegez (nma) index.
Mivel a msodik s harmadik eset az elsbl szrmaztathat rdemes az utbbit vizsglni elszr. Ha kirjuk az
ekm ekqr = e1m e1qr + e2m e2qr + e3m e3qr
hromtag sszeget s visszaidzzk a permutcis szimblum dencijt, akkor kapjuk,
hogy az sszeg
csak akkor klnbzik zrustl,
(a) ha
= q , m = r , = m
s ez esetben 1 az rtke (ekkor ui. az als s fels indexhrmasok egyszerre
vagy pros, vagy pratlan permutcik a jobboldalon pedig csak egy tag
klnbzik zrustl)
(b) vagypedig, ha
= r , m = q , = m
s ez esetben 1 az rtke (ekkor ui. az als s fels indexhrmas klnbz
permutci ha az egyik pros a msik pratlan s viszont s ismt csak
egy nem zrus tag van a jobboldalon),
egybknt pedig, mindig zrus rtk.
Nem nehz ellenrizni, kihasznlva a Kronecker szimblum (1.20) alatti rtelmezst,
hogy a
q m r r m q
kifejezs ugyanezen rtkeket veszi fel. Kvetkezskpp, tekintettel az (1.26) s az (1.22)
kpletekre is
(1.29)
qr
= q m r r m q
kmkqr = ekm ekqr = m
qr
az els szorzat rtke. A m
negyedrend Kronecker-deltt maga a kplet rtelmezi.
Az utbbi kplet alapjn kapjuk meg a msodik szorzat rtkt :
r
kmkr = ekm ekr = m
= m r r m = 2m r .
3
m r
Innen
(1.30a)
eredmny addik.
A msodik szorzat egy alkalmazsaknt fejezzk ki a gr -et az (1.27)1 egyenletbl. Ha
tszorzunk klr -el, akkor
klr gk gl = klmklr gm
2m r
10
1.2. Koordinta-rendszerek
az eredmny, azaz
(1.31a)
gr =
1 rkl
gk gl .
2
gk =
(1.32)
y m = y m (x1 , x2 , x3 )
azaz zrustl klnbz kell legyen a Jy,x Jacobi-fle fggvnydeterminns. Ha a B tartomny minden pontjban teljesl az (1.34) felttel, akkor a kapcsolat megfordthat a
teljes B tartomnyban, azaz ltezik az
(1.35)
xm = xm (y 1, y 2 , y 3)
inverz fggvnyhrmas.
A tovbbiakban mindig felttelezzk, hogy klcsnsen egyrtelm (azaz megfordthat) az (1.32) fggvnykapcsolat. Ez esetben nyilvnvalan zrustl klnbzik a
1
x1 x21 x31
y y y
2 x2 x2
(1.36)
Jx,y = x
y 1
y 2
y 3 = 0 ,
x
3
3
3
x
x
1
2
1
y
1. Alapfogalmak
11
P
y3
i3
i1
g1
x1
g2
x2
r
y2
O
i2
y1
s
r(x1 = lland, x2 = lland, x3 )
trgrbknek rendre x1 , x2 s x3 a paramtere. Magukat a trgrbket, mivel csak a grbe
paramtereknt szerepl grbevonal koordinta vltozik a grbk mentn, x1 , x2 , illetve
x3 koordinta-vonalaknak szoks nevezni.
Az
r(x1 = lland, x2 , x3 ) ,
r(x1 , x2 = lland, x3 ) ,
r(x1 , x2 , x3 = lland)
12
1.2. Gyakorlatok
o =
y 1
x21
y
x31
y
x1
y 1
x22
y
x32
y
x2
y 1
x23
y
x33
y
x3
= Jy,x
vegyesszorzata, ha klcsnsen egyrtelm az (1.32) fggvnykapcsolat. Mivel ez feltevsnk o = 0, kvetkezik teht, hogy kovarins bzist alkotnak a P pontban a koordintavonalak
(1.40)
gi =
r
xi
rint vektorai. Ez a bzis a pontrl pontra vltoz un. loklis bzis, amely ltalban
ferdeszg de bizonyos esetekben (pl. henger KR, avagy gmbi KR) ortogonlis (utbbi esetben bzisvektorok klcsnsen merlegesek egymsra). A (reciprok bzisvektorokat)[kontravarins bzist] most is (gk jelli) [a gk reciprok bzisvektorok alkotjk] s
vltozatlanul rvnyesek a bzisvektorok vektorilis szorzatainak, valamint a kovarins
s kontravarins bzisvektorok szmtsnak az 1.2.1. s 1.2.2. szakaszokban megismert
kpletei.
Magtl rtetdik, hogy a P pont zikai llapott ler valamennyi tenzor megadhat
ebben a bzisban.
Az a vektor pldul az
a = a1 g1 + a2 g2 + a3 g3 = a1 g1 + a2 g2 + a3 g3 ,
(1.41)
vagy tmren az
a = ap gp = ak gk
alakban rhat fel, ahol ltalban
a1 = a1 ,
(1.42)
a2 = a2 ,
a3 = a3 .
a2 g2 ,
a3 g3
a1 g1 ,
a2 g2 ,
a3 g3
a1 = 2i1 + i2 + 3i3 ,
a2 = 6i1 + 7i2 + 5i3 ,
a2 = 9i1 + 10i2 + 8i3 .
g2 = i1 + i2 + 2i3
s g3 = i1 + 2i2 + 3i3
1. Alapfogalmak
13
4. Igazolja, hogy az (1.18) kpletekkel rtelmezett reciprok bzisvektorok is a hrommret tr egy bzist alkotjk.
5. Igazolja, hogy a
1 g1 + 2 g2 + 2 g3 = 0
egyenletnek csak trivilis megoldsa van a 1 , 2 s 3 skalrokra, ha Jy,x = 0
2. FEJEZET
a1
a2
a3
ak
mdon.
A felsindexes ap sokasg ugyanilyen mdon foglalhat sor-, vagy oszlopmtrixba.
Az egyes egyindexes sokasgok egymstl val megklnbztetst a sokasgokat azonost betk eltrse teszi lehetv.
Megllapodunk abban a tovbbiak sorn anlkl, hogy erre a megllapodsra kln
is felhvnnk a gyelmet , hogy az
ak
ap
egyindexes sokasg ugyanazon vektor kovarins s kontravarins koordintit jelenti valamilyen loklis ferdeszg bzisban.
Ami a szhasznlatot illeti az egyszersgre trekedve azt fogjuk mondani, hogy az ak
vagy az ap vektor.
Ha oszlopmtrixba rendezett vektorokat hasznlunk valamilyen okbl pl. szmtsok
vgzse sorn, akkor azok szedsben az
a1
a
illetve az
[ap ] = a2
(2.1)
[ak ] = a2 ,
a3
a3
mdokon jelennek meg.
A bevezetett jellssel az a + b = c vektorsszeg vagy az
ak + bk = ck ,
ak + bk = ck
vagypedig az
valamint
(1)
ak
(2)
15
16
(1) (1)
(2) (2)
(1)
valamint
ak
(2)
1
a1 b1 a1 b2 a1 b3
c 1 c12 c13
ckm c21 c22 c23
ak bl a2 b1 a2 b2 a2 b3 ,
a3 b1 a3 b2 a3 b3
c31 c32 c33
mdon rendezhet, illetve foglalhat mtrixba.
Visszaidzve s rszben kihasznlva az (1.20) s (1.21) kpleteket a ktindexes objektumok tipikus pldiknt addnak a kovarins s kontravarins bzisvektorok
(2.2a)
k m = gk gm
mk = gm gk
1 0 0
[k m ] = [ mk ] = 0 1 0
0 0 1
g
g 23
[g ] = g
(2.3b)
g = g g ,
31
32
g
g
g 33
Vegyk szre, hogy a (2.3a,b) kpletek a gkl s g pq ktindexes sokasgok mtrixait is
tartalmazzk.
Megjegyezzk, hogy:
1. Fennllnak a skalrszorzat kommutativitsa miatt a
(2.4)
gkl = glk ,
g pq = g qp
relcik. Ezek azt fejezik ki, hogy szimmetrikusak a gkl s g pq ktindexes sokasgok
mtrixai.
17
epqr
pqr = o epqr
szorzatok az n. epszilon tenzorok (az utbbi mennyisgeket az (1.26) egyenlettel rtelmeztk, tenzor mivoltuk igazolst a 41. oldalon leljk fel).
Visszaidzve az 1.2.2. szakasz megllapodsait a latin (s grg) indexek rtkrl,
az sszegezsi konvencirl s ezzel sszefggsben a nma s a szabad index fogalmrl,
valamint kihasznlva a sokasgokrl mondottakat is a
1
1 1
c 1 c12 c13
a
b
c21 c22 c23 a2 = b2
c31 c32 c33
a3
b3
egyenlet, ez formailag lineris egyenletrendszer a ckm egytthatkkal, az am ismeretlennel
s a bk zavartaggal, a
(2.5)
c km a m = bk
tmr alakban rhat fel, ahol a pirossal szedett, az egyenleteket szmll index a szabad index, amely mindkt oldalon ugyanabban az indexpozciban kell, hogy lljon. Ha
ezt a szablyt nem tartjuk be srl az indexegyensly elve, amely azt mondja ki, hogy
egy indexes jellsmdban rt egyenlet minden tagjban azonos azaz vagy fels, vagy als indexpozciban kell, hogy legyen(ek) a (az azonos) szabad index(ek). A tbbesszm
hasznlata az utbbi mondatban arra utal, hogy egynl tbb szabadindex is lehetsges.
2.1.2. Vektorok koordinti, indexemels s sllyeszts. Kiindulva az
(2.6)
a = ak gk = ap gp
egyenletbl, majd kihasznlva az (1.10) kpletet, a Kronecker delta indextnevez opertor voltt, valamint (a 2.3a,b) sszefggseket azt kapjuk, hogy
(2.7a)
a gm = ak gk gm = ak k m = am ,
(2.7b)
a gl = ap gp gl = ap pl = al .
a gm = ap gp gm = ap g pm = = am ,
(2.7a)
(2.8b)
a gl = ak gk gl = ak gkl = = al .
(2.7b)
sszegezve:
(2.9a)
a gl = al ,
a gm = am ,
(2.9b)
ak gkl = al .
ap g pm = am ,
Szavakban: az [al kovarins koordinta]{am kontravarins koordinta} az a vektor [kovarins gl ]{kontravarins gm } bzisvektorral val skalris szorzata.
18
A (2.9b)1,2 kpletek az indexemels s indexsllyeszts szablyai. Segtsgkkel megadhatk az [al kovarins]{am kontravarins} koordintk az {ak kontravarins}[ap kovarins]
koordintkkal feltve, hogy ismertek a gkl s g pm objektumok.
A (2.9a)1,2 kpletek szerint a
gk gl = gkl
a
(2.10)
gp = g pm gm
lm
(2.11)
Kirva a kpletben szerepl
1 0
0 1
0 0
k p
objektumok
g11
0
0 = g21
g31
1
mtrixait
11 12 13
g12 g13
g
g
g
g22 g23 g 21 g 22 g 23
g32 g33
g 31 g 32 g 33
g lp
gkl
az eredmny, ami azt jelenti, hogy a [gkl ] mtrix a [g lp ] mtrix inverze s viszont. A fenti
kplet alapjn azt fogjuk, mondani, hogy a bkl s a d lp sokasgok egyms inverzei, ha
fennll a
bkl d lp = k p
(2.12)
b = bl glk = bq gq
vektorokat. Ha a
c = c k gk = c p g p
vektor az a vektor s a skalr szorzata, akkor
c = a ,
vagy
ck = ak
.
cp = ap
19
Additv mveletek :
Az a s a b vektorok s skalrokkal slyozott c sszege (klnbsge) a
c = a b ,
vagy a
ck = ak bk
.
cp = ap bp
mdon rhat.
Ismt hangslyozzuk a (2.5) egyenletet kvet bekezds lnyegt : a szabad indexek
egy egyenlet minden tagjban azonos (vagy fels), vagypedig als indexpozciban kell,
hogy legyenek.
A fenti kpletek jl szemlltetik az indexes jellsmd ama elnyt, hogy nem kell
feltntetni a vektorilis egyenletek rsa sorn a bzisvektorokat.
Skalris szorzs :
Kihasznlva a (2.3b) sszefggst, illetve az indexemels s sllyeszts (2.9b)1,2
alatti szablyt a
c = a b = ap gp bq gq = ap g pq bq = aq bq =
.
aq
(2.13)
= ap g pq bq = ap bp = ap bp = aq gqp bp
bp
aq gqp
(2.14a)
illetve
a b = ap bq gp gq = pqr ap bq gr = cr gr = c ,
azaz
cr = pqr ap bq .
(2.14b)
20
(2.16a)
(2.16b)
Didikus szorzat:
Az a, b vektorok didikus szorzata msodrend tenzor, amelyet a
C = ab
mdon runk, ahol a didikus szorzs mveleti jele. Figyelembe vve az a s b
klnbz ellltsait a C tenzor a
(2.17)
C = ap bq gp gq = cpq gp gq =
cpq
= ap bq g qs gp gs = cps gp gs =
cps
= ap g pr bq gr gq = crq gr gq =
cr q
= ap g pr bq g qs gr gs = crs gr gs
crs
21
ii. amn bn
iii. cm amn
iv.
cm amm
ii. dr asr
kifejezsek?
3. Mutassa meg, hogy
akl bk bl = 0 ,
ha akl = alk .
4. Igazolja indexes jellsmdban, hogy
[a (b c)] gk = ar cr bk ar br ck
s, hogy
[(a b) c] gk = ar cr bk br cr ak .
(Vegyk szre, hogy a fenti sszefggsek helyessgnek igazolsa valjban az (1.3)
alatti kifejtsi ttel helyessgnek igazolst jelenti!)
5. Mutassa meg indexes jellseket alkalmazva, hogy
(a b) (c d) = ar cr bk dk ar dr bk ck .
6. Igazolja indexes jellsmdban, hogy
(a b) (c d) = [cda] b [cdb] a .
7. Igazolja, szimbolikus-, majd ezt kveten indexes jellsmdban, hogy kollinerisak az a s c vektorok, ha fennllnak az
a (b c) = (a b) c ,
a b = 0 ,
c b = 0
sszefggsek.
8. Az
a (b c) + b (c a) + c (a b) = 0
egyenlet az n. Jacobi-fle azonossg. Igazolja az azonossg fennllst.
3. FEJEZET
A determinns
3.1. A determinns s az adjunglt
3.1.1. Determinns indexes jellssel. A determinns a mtrixnak tekintett apq
objektum elemeibl kpezhet, mint az sszes olyan hromtnyezs szorzat sszege, amelyben a szorzatok minden sorbl s minden oszlopbl csak egy-egy elemet tartalmaznak,
eljelket pedig az dnti el, hogy nvekv sorszm (oszlopszm) szerint rendezve a szorztnyezket a sorszmok (oszlopszmok) ltal alkotott hrmasok pros vagy pratlan
permutcii-e az 1,2 s 3 szmoknak: pros permutci esetn pozitv, pratlan permutci esetn negatv az eljel.
A determinnst az
a1 a1 a1
1
2
3
(3.1)
| amn | = det(apq ) = a21 a22 a23
a31 a32 a33
mdokon jelljk.
A jl ismert els sor szerinti kifejtssel
(3.2a)
| amn | = a11 (a22 a33 a23 a32 ) a12 (a21 a33 a23 a31 ) + a13 (a21 a32 a23 a31 )
e1qr
e2qr
e3qr
2
p
1
q
3
r
24
eredmny kvetkezik. Szorozzunk most t eijk -val s hasznljuk ki, ijk-t gondolva klm
helyre, az (1.30b) sszefggst :
eijk eijk | amn | = eijk eqpr aip aj q akr .
6
Innen
(3.4a)
|amn | =
1
eijk epqr aip aj q akr
3!
|amn | =
1 ijk pqr
e e aip ajq akr ,
3!
(3.4c)
|amn | =
1
eijk epqr aip ajq akr
3!
|amn | =
1 ijk
e epqr aip aj q akr .
3!
s, hogy
(3.4d)
Vegyk szre, hogy a fenti ngy kplet azonos szerkezet, brmelyik jobboldala megkaphat a msikbl, ha alkalmas indexemelseket, illetve indexsllyesztseket vgznk.
3.1.2. Az adjunglt s az inverz. Felttelezzk a tovbbiakban, hogy az indexknt
ll nagybet rgztett (nem fut) indexrtket jell. Tekintsk az
eIjk eRst asj atk
szorzatot. Ha ebben az sszegben a nem zrus tagokat keressk csak, akkor fel kell tteleznnk, hogy
I = j = k
s
R = s =
t.
(Felttelezzk tovbb, ez ui. nem srti az ltalnossgot, hogy prosak a szorzatot szmtsa sorn az elsknt tekintett IJK s RST permutcik.) A fenti szorzatot ad sszeg
szmtsa sorn minden lehetsges esetet a rgztett IJK s RST indexekkel adunk majd
meg. Legyen AI R az sszeg fele. Ezzel a jellssel s az sszes lehetsg gyelembevtelvel
(3.5)
= aS J aT K + aT K aS J aS K aT J aT J aS K = 2 aS J aT K aS K aT J
Air =
1 ijk
e erst asj atk
2
alakban rjuk az Air -et. Az Air jelentse az Air (3.5) alatti rszletes kirsbl olvashat
ki. Eszerint Air az ari -hez (az r-ik sorhoz s i-ik oszlophoz) tartoz eljeles aldeterminns.
Valban, ha pl. I = 2, R = 3, akkor J = 3, K = 1 s S = 1, T = 2 ; kvetkezleg
A23 = a13 a21 a11 a23 ,
ami az a32 -hz tartoz eljeles aldeterminns.
3. A determinns
25
1 mqr
e
epqr |akl | = |akl | mp ,
2
2mp
ahonnan
Anp
= mp .
k
|a l |
(3.7)
(3.8)
s
Air =
(3.9)
1
eijk erst asj atk ,
2
amivel
amn
(3.10)
Anp
= m p ,
|asj |
amn
amn
Anp
= mp ,
|asj |
Anp
p
j = m .
|as |
A (3.6), (3.8) s (3.9) sszefggsek rtelmezik az aki , aki , aki s aki sokasgok (objektumok) Air , Air , Air s Air adjungltjait.
A (3.7) s (3.10) kpletekben ll
Anp
,
|akl |
Anp
,
|asj |
Anp
,
|asj |
valamint
Anp
|asj |
trtek pedig tekintettel a (2.12) kpletre s kplet kapcsn mondottakra az amn , amn , amn
s amn sokasgok (objektumok) inverzeit adjk.
3.2. Alkalmazsok
3.2.1. Determinnsok szorzsttele. Tekintsk a
cuv = aus bsv
szorzatot. A szorzat determinnsa a (3.4d) kplet alapjn a (3.3) gyelembevtelvel szmthat :
1
1
(3.11)
|cf d | = epqr eklm cpk cql crm = epqr eklm aph bhk aqi bil arj bj m =
3!
3!
1
1
= epqr aph aqi arj eklm bhk bil bj m = ehij ehij |awz ||bst | = |awz ||bst |
3!
3!
ehij |awz |
ehij |bst |
3!
26
3.2. Alkalmazsok
(3.12)
szorzatot. Legyen
(3.13)
go = |gkl |
g o = |g lq | .
jobboldalnak pedig
0
0 = 1 .
1
Kvetkezskpp
go g o = 1 .
(3.14)
g2 = g2q gq ,
g3 = g3s gs
azaz, hogy
(o )2 = epqs g1p g2q g3s = go
go
vagyis
(3.15a)
(o )2 = go .
( o )2 = g o .
3. A determinns
27
-1, ha klm pratlan permutci (ekkor ui. (a) kml, lkm, vagy mlk megegyezik az
123-al s gy a kkkel szedett szorzatokat magba foglal tagok egyike 1, a msik
kett pedig zrus mivel az utbbi esetben klnbznek a -k indexei; (b) a pirossal
szedett szorzatokat tartalmaz tagok mindegyike zrus, mert itt is klnbznek a
-k indexei).
Ezt kellett bizonytani.
Hasonl gondolatmenettel addik, hogy
p
1 q 1 r
1
(3.16b)
epqr = 2 p 2 q 2 r
3 p 3 q 3 r
A (3.16a,b) kpletek kvetkezmnye, hogy
1 2 3
k
k
k
pqr
pqr
(3.17) eklm e = klm = l 1 l 2 l 3
m 1 m 2 m 3
p
q
r
1 p 1 q 1 r
2 2 2
p
3 3 q 3 r
p
q
r
kp kq kr
=
l p l q l r
m m m
Az llts beltshoz a determinnsok szorzsttelt kell visszafel alkalmazni s gyelembe kell venni, hogyha igaz az llts, akkor a
1
p
p
k
k 2 k 3
k q k r
1 1 q 1 r
k
l 1 l 2 l 3 2 p 2 q 2 r = l p l q l r
m 1 m 2 m 3
3 p 3 q 3 r
m p m q m r
szorzat pldaknt vett s kkkel szedett eleme az els mtrix msodik sornak s a msodik mtrix els oszlopnak kell legyen a szorzata. Valban, kihasznlva, hogy egy sszeg
tmren is rhat az sszegez index felhasznlsval s tnevez opertornak vve az
egyik Kronecker deltt azt kapjuk, hogy
l 1 1 p + l 2 2 p + l 3 3 p = l s s p = l p .
Ugyanilyen mdon eljrva a fennmarad nyolc elem esetn megkapjuk vgl az llts
teljes igazolst.
Gyakorlatok
1. Igazolja, hogy
go
= go g pq .
gpq
2. Igazolja, az elz feladat alapjn, hogy
ln go = g pq .
gpq
4. FEJEZET
Tenzorok
4.1. A msodrend tenzor
4.1.1. A msodrend tenzor geometriai fogalma. Elsknt visszaidzzk kiss
eltr jellssel az 1.1.3. szakasz nhny eredmnyt. Tekintsk az egymstl linerisan
fggetlen kvetkezleg bzist alkot v1 , v2 s v3 vektorokat. Ez esetben [v1 v2 v3 ] = 0 s
bzist alkotnak a
v2 v3
v3 v1
v1 v2
,
,
v1 =
v2 =
v3 =
[v1 v2 v3 ]
[v1 v2 v3 ]
[v1 v2 v3 ]
reciprok vektorok is. Kvetkezleg tetszleges v vektor megadhat a
v = p1 v1 + p2 v2 + p3 v3
alakban, ahol a
(4.1)
p1 = v v 1 ,
p2 = v v 2 ,
p3 = v v 3
w = f(v)
fggvnyegyenlet.
y3
y3
v
Ov
y2
Ow
y1
w
y2
y1
30
(4.4)
w1 = f(v1 ) ,
w2 = f(v2 )
w3 = f(v3 )
(4.5)
w = f(v) = w1 v1 v + w2 v2 v + w3 v3 v =
1
2
3
= w1 v + w2 v + w3 v v ,
(4.6)
ahol
W = w1 v 1 + w2 v 2 + w3 v 3
(4.7)
a2
a3
ahol di a d vektor gi -hez tartoz kontravarins koordintja, az ai pedig a gi bzisvektor kpe. A fenti kplet a dK = gK d s aK dK = aK gK d = aK gK d sszefggsek
gyelembevtelvel alakthat tovbb:
a = f(d) = f(d1 g1 + d2 g2 + d3 g3 ) = a1 d1 + a2 d2 + a3 d3 =
= a1 g1 + a2 g2 + a3 g3 d .
A
Itt
A = a1 g1 + a2 g2 + a3 g3 = ai gi
a lekpezs tenzora. Mivel
ai = aki gk = asi gs
az A tenzor az
(4.8a)
A = aki gk gi = asi gs gi
4. Tenzorok
31
asl
vagyis
A = akl gk gl = asl gs gl .
A fenti kpletekben a bzisvektorok gk gi , gs gi , gk gl s gs gl didikus szorzatait
bzistenzornak nevezzk.
Figyeljk meg, hogy a didok aki , asi , akl s asl egytthatinak brmelyike megkaphat
brmelyik msikbl az indexemels s sllyeszts megismert szablyaival.
Indexes jellsmdban, amikoris nem rjuk ki a bzistenzort, az aki , asi , akl s asl
egytthatkat msodrend tenzornak nevezzk.
A fentiekhez ktd egyszer pldaknt megmutatjuk, hogy a
gkl gk gl ,
k l gk gl ,
kl gk gl ,
g kl gk gl
gkl ul = uk
k l ul = uk
alakban rhatk fel. Az els a mr jl ismert indexsllyeszts szablya, a msodik a Kronecker delta segtsgvel trtn indextnevezs. Mivel a (4.10) sszefggs szerint egyik
esetben sem vltozik meg az u vektor a gkl s k l mennyisgek az egysgtenzort adjk
indexes jellssel.
Vgezetl megjegyezzk, hogy a metrikus tenzor elnevezs onnan szrmazik, hogy a
ds velem ngyzetnek
r
r
(4.11)
ds2 = dr dr = k dxk l dxl = gkl dxk dxl
x
x
kplete magba foglalja a metrikus tenzort. Ez a mennyisg a tr metrikjnak egy jellemzje.
4.2. Tenzorok transzformcija
4.2.1. A kovarins bzisvektorok transzformcija. A 4.2. bra baloldala az
(a) jel brarszlet az (y) kartziuszi, valamint az (x) grbevonal KR-t (ez piros sznnel
van rajzolva) szemllteti kln is feltntetve a P ponthoz tartoz loklis bzisokat. Az
bra jobboldal (b) jel brarszlet kt grbevonal KR esetn szemllteti a loklis
bzisokat. Ezek kzl az els a baloldali brarszleten mr szerepl (x) grbevonal KR,
32
g3
loklis bzisok
i3
g2
y3
i3
O
i1
i2
loklis bzisok
x2
i2
g1
i1
g3
x2
g2
g
2
x1
y2
x3
x1
g1
y1
4.2. bra. (a) Egyenes s grbevonal KR-ek
(b) Kt grbevonal KR
(4.12a)
gkl = kl ,
kl
g = kl
sszefggsek. Ez egyben azt jelenti, hogy brmely kartziuszi KR-ben a gkl s g kl metrikus
tenzorok megegyeznek az als-, illetve felsindexes Kronecker deltval.
A P pont helyvektora az
(4.13) r = y 1 (x1 , x2 , x3 )i1 + y 2 (x1 , x2 , x3 )i2 + y 3 (x1 , x2 , x3 )i3 =
= y 1 i1 + y 2 i2 + y 3 i3
r = r(x1 , x2 , x3 )
= r( 1 , 2, 3 )
xi = xi (y 1 , y 2 , y 3) ,
valamint az
fggvnyek, azaz
(4.14b)
k
x
Jx, y = r = 0
y
xi = xi ( 1 , 2 , 3)
k
x
Jx, = r = 0 .
4. Tenzorok
33
r
r xs
xs
=
=
g
s
y k
xs y k
y k
gs
gk =
r
r xs
xs
=
=
g
,
s
k
xs k
k
gs
tks
tks
(4.15a)
xs
g k = gs k = tks gs .
xs
gs gl = tks gs gl = tkl
y k
xl
= ik gl
y k
g k gl =
s l
xs
gs gl = tks gs gl = tkl
k
s l
illetve a
tkl =
(4.15b)
xl
= g k gl
k
tkl =
r
r y m
=
= im l m
xl y m
xl
m
im
gl =
r
r m
=
= gm l m
xl m
xl
m
g
azaz
(4.16a)
gl =
y m
im = l m im
xl
gl =
m
gm = l m gm .
xl
y m
im ik = l k
xl
gl gk =
k
m
m
gm gk = l k
xl
k
m
illetve a
(4.16b)
l k =
y k
= gl ik
xl
l k =
m
= gl gk
xl
(4.17)
dr = dxl gl = d k gk ,
y k l
dx ,
xl
ik =
xs
gs
y k
d k =
k l
dx ,
xl
gk =
xs
gs .
k
34
gl =
y k xs
gs
xl y k
gl =
k xs
gs .
xl k
(4.19a)
k xs
= l s ,
xl k
(4.19b)
l k tks = l s .
trl l s = r s .
(4.19c)
vagy | l k | | tks | = | l s | ,
t
t =1.
|
g
g
=
= l k .
l
l
l
l
x
x
Mivel valamely a vektor al kovarins koordintja az al = gl a mdon szmthat a fenti
kplet
gl ik =
az ik vektor
a gk vektor
y k l
i = l g = l k gl
x
k
m
g =
gl = l k gl .
l
x
k
Ha most tszorzunk tkr -el, illetve tkr -el s kihasznljuk a (4.15b) s (4.19a) sszefggseket,
akkor a
xr k
xr y k l
xr k
xr xk l
i
=
g
|
g
=
g ,
k xl
y k
y k xl
xk
x
r
rl
xr k
g = k i = tkr ik
y
r
eredmnyt kapjuk.
xr k
g =
g = tkr gk
k
x
r
4. Tenzorok
35
A (4.16a), (4.22), (4.21) s a (4.15a) sszefggsek felhasznlsval tblzatba foglalhatk a bzisvektorok transzformcis kpletei:
y m
gl =
im = l m im
l
x
xr
gr = k ik = tkr ik
y
xs
ik = k gs = tks gs
y
y l
il = r gr = r l gr
x
(4.23)
m
gl =
gm = l m gm
l
x
xr
gr = k gk = tkr gk
xs
gk = k gs = tks gs
l
l
g = r gr = r l gr
x
x
illetve az
xs
m
(4.24)
ak = as k
|
al = am
xl
sszefggsek kvetkeznek. Ugyangy kapjuk az a vektor
a = al gl = ak gk
ellltsbl, hogy
ar gr = ar
l
gl = al gl
xr
k
a gk = ak
xr
gr = ar gr
k
azaz, hogy
l
|
xr
A (4.24) s (4.25) kpletek tblzatba foglalhatk:
(4.25)
l
y m
am = r l am
xl
xr
ar = k ak = tkr ak
y
xs
ak = k as = tks as
y
y l
l
a = r ar = r l ar
x
al =
(4.26)
ar = ak
a = ar
xr
k
m
am = l m am
xl
xr
ar = k ak = tkr ak
xs
ak = k as = tks as
l
l
a = r ar = r l ar
x
al =
36
A = apq gp gq = ak l gk gl ,
alakjai kztt az 1. tblzat felhasznlsval, azaz a bzisvektorok transzformcis kpleteinek helyettestsvel teremthetnk kapcsolatot :
(4.27a)
A = apq gp gq = apq
xp xq k
g gl = tkp tlq apq gk gl = ak l gk gl
k l
(4.27b)
A = apq gp gq = apq
k xq
gk gl = kp tlq apq gk gl = akl gk gl
xp l
xp
apq = k
k
q
ap = p
x
apq =
(4.28)
l
xq
xq
l
l
xq
xq
l
akl = p k q l akl
kl
k
a l = tkp q l akl
xp
k
k
kl
a = p
x
k
k
a l= p
x
xp
l
ak = k
akl =
xq
l
l
xq
xq
l
l
xq
4. Tenzorok
37
B = brs gr gs
msodrend tenzorokat. A
(4.29)
C = A B = apq br s gq gq gr gs
cpqr s
negyedrend tenzor (tenzorilis szorzat) esetn nem nehz meggyzdni arrl, felhasznlva az 1. tblzat kpleteit, hogy
c k lmn = t kp t lq r m t ns cpqrs
(4.30)
d k l = t kp t ls apq bq s = a l q b qs
5. FEJEZET
A tenzorfogalom ltalnostsa
5.1. Tenzorok rtelmezse indexes jellsmdban
5.1.1. Valdi tenzorok.
Valdi skalr. Akkor nevezzk a () s (x) grbevonal KR-ekben egymstl fggetlenl
rtelmezett (x1 , x2 , x3 ) s ( 1 , 2, 3 ) fggvnyeket valdi skalrnak (zrusrend, vagy
nulladrend tenzornak ) ha azonos az rtkk a KR transzformci sorn, azaz
(5.1a)
( 1 , 2, 3 ) = x1 ( 1 , 2, 3 ), x2 ( 1 , 2 , 3), x3 ( 1 , 2 , 3)
avagy
(5.1b)
(x1 , x2 , x3 ) = 1 (x1 , x2 , x3 ), 2 (x1 , x2 , x3 ), 3 (x1 , x2 , x3 ) .
A valdi skalr a tr egy adott a skalr rtelmezsi tartomnyban fekv pontjban KRtl fggetlenl ugyanaz az rtk.
Valdi vektor. Visszaidzve a 4.2.4. szakasz kpleteit s a 2. tblzatot, s kln is kiemelve
az rtelmezs httert megvilgt kpletek kzl az
a k gk = t ks as gk = as gs
l
a , ar
a k , al
hromelem sokasgok (objektumok) kovarins, illetve kontravarins vektorok (elsrend tenzorok ), ha fennllnak kzttk a vektorok transzformcijval kapcsolatos s a 2.
tblzatban sszegezett kpletek, pl.:
ak = t ks as
l
a = ar r l
etc.
Valdi msodrend tenzor. Visszaidzve a 4.2.5. szakasz kpleteit s a 3. tblzatot, tovbb kln is kiemelve az rtelmezs httert megvilgt kpletek kzl az
a kl , apq ;
kl
k
a , apq ;
a l , apq ;
a kl , apq
kilencelem sokasgok (objektumok) rendre kovarins, kontravarins, kontravarins kovarins index, illetve kovarins kontravarins (vegyes) index msodrend tenzorok, ha
fennllnak kzttk a msodrend tenzorok transzformcijval kapcsolatos s a 3. tblzatban sszefoglalt kpletek, pl.:
a kl = t kp t lq apq
vagy
etc.
39
k
a l = p k tl q apq
40
A valdi vektort egyszeren csak vektornak, a valdi tenzort egyszeren csak tenzornak
szoks nevezni.
Megjegyzsek:
1. A vektor mint elsrend tenzor rtelmezsekor nem vetettk fel azt a krdst mi
a felttele, hogy az
ap , bq
tpus sokasgok (hrmasok) ugyanazt a vektort adjk.
2. A msodrend tenzor rtelmezsekor nem vetettk fel azt a krdst mi a felttele,
hogy a
apq , bpq , bpq , dpq
tpus sokasgok (kilencelem objektumok) ugyanazt a msodrend tenzort adjk.
A fenti krdsek megvlaszolst gyakorlatra hagyjuk.
Harmad s magasabbrend tenzorok. ltalnostva a valdi vektor s valdi msodrend
tenzor rtelmezst azt fogjuk mondani, hogy:
a (), illetve az (x) grbevonal KR-ekben egymstl fggetlenl rtelmezett
k
lm ,
dpqr
huszonhtelem sokasgok (objektumok) ugyanazon egyszer kontravarins ktszer kovarins index harmadrend tenzorok, ha fennll kzttk a
k
(5.2)
lm
= p k t lq t mr dpqr
transzformcis sszefggs.
Tovbbmenve azt fogjuk mondani, hogy valdi n-edrend tenzorok a (), illetve az (x)
grbevonal KR-ben egymstl fggetlenl rtelmezett
n1 index
n1 index
k l ...
p q r ...
sr...
uvw...
n1 + n2 = n
n2 index
n2 index
k l ...
p q r ...
sszefggs.
Msknt s az indexpozcitl fggetlen rtelmezs rdekben tekintsnk kt n index
objektumot az () illetve az (x) grbevonal KR-ben, melyekre balrl jobbra szmllva
az indexeket az azonos sorszm indexek azonos (vagy mindkett fels, vagy mindkett
als) indexpozciban vannak. A kt objektum ugyanaz a valdi n-edrend tenzor, ha
a fels indexek (kontravarins indexek) a kontravarins indexekkel kapcsolatos, az als
indexek (kovarins indexek) pedig a kovarins indexekkel kapcsolatos transzformcinak
megfelelen transzformldnak.
5.1.2. Tenzorok-e a korbban megismert objektumok. Az albbiakban azt a
krdst vlaszoljuk meg, pldaknt vve a legtipikusabb eseteket, hogy tenzorok-e az elz
szakasz rtelmezseit vve alapul az eddig megismert kl , grs , g pq , klm, pqr , eklm , epqr , o ,
o , go , g o objektumok.
A tovbbiak a tipikus esetekre vonatkozan vizsgljk a felvetett krdst :
(a) Amint az kitnik az 1. tblzat felhasznlsval add
(5.4)
p
q
= gp gq = k p t pl gk gl = k p t pl kl
5. A tenzorfogalom ltalnostsa
41
sszefggsbl a kl indextnevez opertor (a Kronecker delta) msodrend tenzorknt transzformldik. Ez azt jelenti, hogy pq s kl ugyanaz a tenzor (valdi
tenzor).
(b) Az (a) alatti gondolatmenet lpseivel azt kapjuk, hogy
xr xs
gkl = gk gl = k
gr gs = t kr t ls grs ,
l
(5.5)
ami az jelenti, hogy gkl s grs kveti a msodrend tenzorokkal kapcsolatos transzformci szablyait. Kvetkezskpp mindkett ugyanaz a tenzor (valdi tenzor).
(c) A (b) alatti lpsekkel kapjuk, hogy
u v v = [g u g v g w ] =
(5.6)
xk xl xm
[ gk gl gm ] = t uk t vl t wm klm
u v w
azaz, hogy u v v s klm kveti a harmadrend tenzorokkal kapcsolatos transzformci szablyait. Kvetkezskpp mindkett ugyanaz a harmadrend tenzor
(valdi tenzor).
(d) rjunk u, v s w helyre 1, 2 s 3-at az (5.6) kpletben. Kapjuk, hogy
1 2 3 = o e 1 2 3 = t 1k t 2l t 3m eklm o ,
1
|t uk |=t
avagy
(5.7a)
o = t o
ahol t a |tuk | determinnst jelli. Az (5.7a) kplet szerint nem valdi skalr az a
() s (x) grbevonal KR-ekben ugyangy rtelmezett
o = [g 1 g 2 g 3 ] ,
o = [g1 g2 g3 ]
vegyesszorzat.
A ksbbiek kedvrt az
(5.7b)
o = tM o ;
M =1
1 k l m
t t t eklm
t u v w
e u v w = tM t uk t vl t wm eklm ,
M = 1
egyenlet.
Megjegyzsek:
1. Mivel M = 0, a kovarins permutcis szimblum nem kveti a harmadrend tenzorokkal kapcsolatos transzformci szablyait. Kvetkezleg a kovarins permutcis szimblum nem valdi tenzor.
42
(5.9)
k l ...
p q r ...
E = klm gk gl gm = pqr gp gq gr
5. A tenzorfogalom ltalnostsa
43
az epszilon tenzor.
Negyedrend tenzorok szimbolikus szedse esetn, amint azt mr lttuk a (4.29) egyenlet kapcsn, kettsen rt nagybet a szimbolikus jells. Ezzel sszhangban negyedrend
a
D = dkl pq gk gl gp gq
(5.11)
tenzor.
Indexes jellsmdban a szimbolikus jellsmd kurzv kis-, vagy nagybetje jelli a
harmad-, illetve magasabbrend tenzort az indexek kirsval.
Megjegyezzk, hogy a bzistenzor kirsa esetn az indexpozcik s a csatlakoz bzisvektorok sszhangban kell, hogy legyenek.
5.2.2. Skalris s didikus szorzatok.
Kt valdi vektor skalrszorzata.
Legyen ak , al s bp , bq valdi vektor. Ekkor a vektorok
c = ak bk = ap bp = ak g kp bp = al glq cq
skalrszorzata valdi skalr. A szorzat szimbolikus rsmdjt illeten visszautalunk a (2.13)
kpletre.
Msodrend tenzor s vektor skalrszorzata.
Legyen a dk m , dsk , d l s , d ml valdi msodrend tenzor. Legyen tovbb cm , cs valdi
vektor. Nem nehz beltni, hogy valdi vektor a D tenzor s a c vektor jobbrl vett
a = D c
(5.12a)
ak = dk m cm = dks cs
a l = d l s cm = d l s cs ,
bk = cm d m k = cs dsk
b l = cm d ml = cs ds l
b = c D
a = b
ak = bk .
A teljessg kedvrt a kpletek baloldali oszlopa szemllteti a szorzatok szimbolikus rsmdjt. Ezt a megllapodst, az ttekinthetsg kedvrt a tovbbiakban is alkalmazzuk.
Kt msodrend tenzor skalrszorzata.
Tegyk fel, hogy valdiak az ak s , aks , a k m , a km s bk m , bsl , b s l , b ml msodrend tenzorok.
Ekkor valdi msodrend tenzor a kt tenzor
(5.14)
C = AC
ck l = a k m b m l = a km b ml
ckl = aks b s l = ak s bs l
skalris szorzata.
Megjegyzsek:
1. A ckl s ck l alakok szmtst nem tartalmazza az (5.14) kplet. Az indexes jellsmd szablya ennek ellenre kiolvashat az (5.14) kpletbl: (a) az els szorztnyez utols indexe s a msodik szorztnyez els indexe klnbz indexpozciban kell, hogy legyen; (b) a kt index nma indexprt kell hogy alkosson.
2. Nyilvnval, hogy ltalban
(5.15)
A C = C A .
44
cmnrs
g gn g g d
.
m
pq
vw
gp gq gv gw =
c k lpq = a k l bpq
= a k l bpq gk gl gp gq
egyenlet adja az ltalnos vagy didikus szorzatot.
Megjegyzsek:
1. Kt tenzor ltalnos vagy didikus szorzata olyan tenzor, melynek rendszma a
kt tenzor rendszmnak sszege.
2. Indexes jellsmdban gy kapjuk meg a szorzatot, hogy egyszeren egyms mell
rjuk a kt tenzort.
3. Kt valdi tenzor ltalnos szorzata ugyancsak valdi tenzor.
A kontrakci.
A kontrakci szimbolikus rsmdban a bzistenzor kt klnbz bzisvektora kztt
vgzett skalris szorzs. Indexes jellsben (a) indexek egybeejtse, ha klnbz indexpozciban lv kt indexekrl van sz ; (b) azonos indexpozcij indexek esetn pedig le
kell sllyeszteni (ha mindkt index fels), vagy fel kell emelni (ha mindkt index als) a
tekintett kt index egyikt az indexegybeejts eltt. A D harmadrend tenzor esetn
(5.18a) dkl m gk gl gm = d kmm gk = a
.
d km m = a k
5. A tenzorfogalom ltalnostsa
45
d kl m gkl = d k km = b m
eredmnyt kapjuk.
Megjegyzsek:
1. A kontrakci kettvel cskkenti a tenzor rendjt.
2. Valdi tenzor esetn a kontrahlt tenzor is valdi tenzor.
3. A kontrakci fogalmnak felhasznlsval azt lehet mondani, hogy a ketts skalris
szorzat a kt tenzor ltalnos szorzatban az els tenzor [utols eltti] {utols}
indexe s a msodik tenzor [els] {msodik} indexe kztti kontrakci :
c mn
(5.19)
rs
pq
vw
c m n rs d rs vw .
gK
eK =
gKK
gL
eL =
g LL
3
gKK aK eK = a<k> ek
a gk =
k
K=1
a<K>
s
(5.21b)
3
al g =
g LL a eL = a<l> el ,
L
l
L=1
a<L>
ahol
(5.22)
a<K> =
gKK aK
a<L> =
g LL aL
46
5.3. Gyakorlatok
5.3.2. Msodrend tenzorok zikai koordinti. Az a k l msodrend tenzor esetn abbl indulunk ki, hogy a b l vektor c k kpt kapjuk meg akkor is, ha a tenzor s a
vektorok zikai koordintival rjuk fel a vonatkoz lekpezst. A vonatkoz
c k = a kl b l
egyenlet alapjn, zikai koordintkra trve t a c k s b l esetn, azt kapjuk, hogy
3
gKK <L>
<K>
K
=
a L
b
,
c
g
LL
L=1
a<K> <L>
3
gQQ
Q
<Q>
<P >
=
b
aP
,
d
gP P
P =1
a<P > <Q>
Itt
(5.24a)
a<P >
<Q>
= aP
gQQ
gP P
Az akl s apq alakokhoz tartoz bal s jobboldali zikai koordintk meghatrozst gyakorlatra hagyjuk.
Gyakorlatok
1. Vizsglja meg, milyen felttelek teljeslse mellett ugyanaz a vektor az
ap s bq
sokasg (hrmas) az (x) grbevonal KR-ben.
2. Vizsglja meg, milyen felttelek teljeslse mellett ugyanaz a tenzor az
apq , bpq , cpq s a dpq
3.
4.
5.
6.
7.
5. A tenzorfogalom ltalnostsa
47
6. FEJEZET
Msodrend tenzorok
6.1. Msodrend tenzorok egyes krdsei
6.1.1. A tenzor transzponltja. Legyen A msodrend tenzor. Legyenek tovbb
tetszlegesek a v s w vektorok. Azt fogjuk mondani, hogy az AT tenzor az A tenzor
transzponltja, ha brmely v s w-re fennll a
v A w = w AT v
(6.1)
egyenlet.
Az A msodrend tenzor
(6.2a)
akl gk gl ,
a k l gk g l ,
a k l g k gl ,
aT
l
k
akl gk gl
g k gl ,
aT
kl
gk gl
jelli.
Az albbiakban, kapcsolatot keresnk az A s AT kztt. A transzponltat rtelmez
(6.1) egyenletbl kvetkez
w AT v v A w = 0
(6.3)
klnbsg rszletezse sorn a (6.2a,b)2 alatti alakokat hasznljuk fel. Ekkor a kivonand
talakthat a
vp gp a k l gk gl w q gq = vp a p q w q = w p a q p vq = w p p l a k l k q vq =
q
A
= w p g p a k l g l gk v q gq
gp gl
gk g
sszefggs ll fenn. Mivel a klnbsg zrus teljeslnie kell egyrszrl a keretezett kpletrszek alapjn rhat
(6.4a)
w AT a k l gl gk v = 0 ,
msrszrl pedig az alhzott kpletrszek alapjn rhat
(6.4b)
wp aT pq v q w p a q p vq = 0
egyenletnek. A (6.4a) egyenlet csak akkor llhat fenn tetszleges v s w esetn, ha
(6.5a)
A T = a k l g l gk .
Visszaidzve, hogy az A tenzor (6.2a) alatti ellltshoz (vagy ami ugyanez az els kapcsos zrjellel megjellt kpletrszhez) kpest fordtott a bzisvektorok sorrendje a (6.5a)
49
50
jobboldaln (a bzistenzort alkot didban) azt a szablyt olvashatjuk ki a (6.5a) kpletbl, hogy a msodrend tenzor transzponltja a bzistenzort alkot didban a bzisvektorok szorzsi sorrendjnek felcserlsvel kaphat meg. Tmren: a transzponls mvelete
a bzistenzort alkot didok szorzsi sorrendjnek cserje. Az utbbi mondatban arra utal
a tbbesszm, hogy a fenti eredmny rvnyes az A tenzor (6.2a)1,3,4 alatti alakjaira is:
(6.5b)
AT = akl gl gk = a k l gl gk = akl gl gk .
C = AB
c k l = a k m b ml
C = AB ,
akkor
C T = B T AT .
v A w = w A v
egyenlet, ahol a [szimmetrikus] {ferdeszimmetrikus} esetben [pozitv] {negatv} a jobboldal. Mivel brmely v s w-re fennll a tenzor transzponltjt rtelmez (6.1) egyenlet
a (6.10) s (6.1) klnbsgbl az kvetkezik, hogy a [szimmetrikus] {ferdeszimmetrikus}
A tenzor eleget tesz a
(6.11)
w A AT v = 0
6. Msodrend tenzorok
51
(6.12)
(6.14)
aK K = aKK = aK K = aKK = 0 .
ltalnostsok s megjegyzsek:
1. Azt fogjuk mondani, hogy egy tenzor valamely kt indexre nzve [szimmetrikus]
{ferdeszimmetrikus (antiszimmetrikus)}, ha a tekintett kt index sorrendcserje
esetn (ekzben az indexek megrzik pozcijukat) a tenzor [nem vltozik meg]
{eljelet vlt}. Ha pl.
dklm = dkml ,
vagy
fr st = f sr t
wAw > 0
pozitv denit
wAw 0
pozitv szemidenit
ha brmely w; |w| > 0 esetn
.
wAw 0
negatv szemidenit
wAw < 0
negatv denit
Legyen a D valamilyen msodrend tenzor. Az
(6.17)
Dsz =
1
D + DT
2
D asz =
1
D DT
2
52
D = Dsz + Dasz .
1
1
d(a) = dqr gq gr = qrs dqr gs
2
2
d(a) s
angolnyelv szakirodalom a D sym s D skew mdon jelli a tenzor szimmetrikus s ferdeszimmetrikus rszt.
6. Msodrend tenzorok
53
(6.25b)
eredmnyt kapjuk.
A vektorinvarinssal kapcsolatos eddigi eredmnyek a kvetkez mdon sszegezhetk:
Legyen az S nem azonosan zrus ferdeszimmetrikus tenzor. Ekkor ltezik egy s csakis
egy olyan s(a) vektor, hogy az
S v = s(a) v
(6.26)
egyenlet minden lehetsges v-re fennll, s megfordtva valamely s(a) vektorhoz tartozik
egy s csakis egy ferdeszimmetrikus msodrend S tenzor, amelyre nzve a (6.26) brmilyen v-re teljesl. Ha az S tenzor adott, akkor
1
s(a)r = pqr spq
2
(6.27a)
ha pedig az s(a)r adott, akkor
(6.27b)
[spq ] =
go s(a)3
s(a)2
s(a)3 s(a)2
0
s(a)1
(a)1
s
0
Megjegyezzk, hogy a (6.27b) a (6.24) kvetkezmnye. Ennek formlis ellenrzst gyakorlatra hagyjuk.
6.1.4. Jellegzetes mennyisgek. A D msodrend tenzor nyomt, ms elnevezssel
els skalrinvarinst, a
(6.28)
tr D = DI = I D
.
tr D = gk g k dpq gp gq = k p g kq dpq = k p dp k = dk k
.
tr D = tr D T
tr (D + S) = tr D + tr S ,
(6.30c)
tr (D S) = tr (S D) ,
tr D S T = tr S D T = S D =
= tr DT S = tr S T D = S T DT .
(6.30d)
Tekintsk tovbbra is a D s S msodrend tenzorokat. Legyen most a D szimmetrikus, az S pedig ferdeszimmetrikus. Ekkor
(6.31)
D S = dkl skl = 0
54
Valban, ha kirjuk a jobboldali sszeget s kihasznljuk dkl szimmetrikus s skl ferdeszimmetrikus voltt, akkor kapjuk, hogy
s11 + d22
s22 + d33
s33 +
D S = d11
12
0
23
21
0
32
31
d23 s23
d31 s31
D E = 0
E D = 0 ,
dkl klr = 0
klr dlr = 0 .
(6.33)
|S| = S S = skl skl
mdon rtelmezzk. Megjegyezzk, hogy a D S szorzat eleget tesz
|D S| |D||S|
(6.34)
Schwartz-fle egyenltlensgnek.
A A1 = I
A1 A = I
akl a1 lm = ak l a1 l m = k m
s
(6.36b)
a1
lm
amk = a1 l m am k = l k
sszefggseknek kteles eleget tenni. A (3.8)1 s (3.10)1 kpletek alapjn alkalmas indextnevezsekkel rhat, hogy
1 lm
1
eljk emst asj atk .
=
(6.37a)
a
2! |asj |
Hasonlan kapjuk a (3.8)2 s (3.10)2 kpletek alapjn, hogy
1
1
eljk emst asj atk .
(6.37b)
a
lm =
2! |asj |
Tekintsk a
(6.38a)
C = AB ;
c kl = a k m b ml
6. Msodrend tenzorok
55
n = nk gk ;
nk nk = 1
A n = n;
ak l nl = nk
x3
.
g3 A n
n
x2
g2
g1
x1
dk l = ak l k l
56
(6.45)
= m k d m n tl n
P3 () = |d k l | = |m k | |tl n | |d m n | = |d m n | = P3 () .
t=1
l
= a k 1 g k = 1 g 1 ,
ahonnan
1
= 1
2
= a 3 1 = 0 .
1 0
0
k
a l = 0 a 2 2 a 2 3
0 a 3 2 a 3 3
s ennek alapjn a bevezetett loklisan kartziuszi KR-ben
1
0
0
k
2
2
a 2
a 3 =
| d l | = 0
3
3
0
a 2
a 3
2
= (1 ) 2 a 2 2 + a 3 3 + a 2 2 a 3 3 a 3 2
=0
6. Msodrend tenzorok
57
(6.48)
An = n
(6.49)
azaz, hogy
( ) m n = 0
=0
vagyis
mn = 0 .
Mivel |m| = 1 s |n| = 1 a kt klnbz sajtrtkhez tartoz firnyok valban merlegesek.
6.2.2. A firnyok szmtsa a gykk ismeretben. Az albbiak a firnyok szmtst tekintik t, ha ismeretesek a P3 () karakterisztikus polinom gykei. A gykk nagysgt
tekintve hrom jellegzetes esetet klnbztethetnk meg: a gykk klnbznek egymstl (minden gyk egyszeres), van kt egybees gyk (egy gyk ktszeres, egy gyk egyszeres), mindhrom
gyk egybeesik (egy hromszoros gyk van). A 6.2. bra ezekre az esetekre kln-kln szemllteti a karakterisztikus polinomot. Az egyes eseteket az albbiakban vesszk sorra.
P3()
P3()
P3()
(a)
1=2
(b)
6.2. bra. A karakterisztikus polinom gykei
1=2=3
(c)
58
(6.51) P3 =
d1 1 n1 + d1 2 n2 = d1 3 n3 ,
d2 1 n1 + d2 2 n2 = d2 3 n3
ahonnan
n1 =
D1 3 3
n ,
D3 3
n2 =
D2 3 3
n .
D3 3
Itt
D 1 3 = d1 2 d2 3 d2 2 d1 3 , D 2 3 = d2 1 d1 3 d1 1 d2 3 ,
D 3 3 = d1 1 d2 2 d2 1 d1 2 .
A paramternek vett n3 a normlsi felttelbl szmthat.
Ha ortogonlis a KR az n3 szmtst csak erre az esetre rszletezzk formlisan
a (6.40)2 normlsi felttel az
n1 g11 n1 + n2 g22 n2 + n3 g33 n3 = 1
alakban rhat fel. Az n1 s n2 helyettestst kveten kapjuk, hogy
n3 =
ahol
D3 3
,
D
2
2
2
D 2 = D 1 3 g11 + D 2 3 g22 + D 3 3 g33 .
6. Msodrend tenzorok
59
Nem nehz ellenrizni, hogy a kapott megolds kielgti a (6.50) lineris egyenletrendszer harmadik egyenlett. Helyettests utn rhatjuk, hogy
d3 1 n1 + d3 2 n2 + d3 3 n3 =
1
1 3 1
d 1 D 3 + d3 2 D 2 3 + d3 3 D 3 3 |=k = |dk l ||=k = 0
=
D
D
Kifejts utols sor szerint.
(6.52a)
az A didikus ellltsa s
(6.52b)
ak l = ak l = akl
1 0 0
= [akl ] = 0 2 0
0 0 3
a tenzor mtrixa.
(b) Tegyk fel, hogy ktszeres gyk esetn 1 = 2 = 3 . Az elzekben ttekintett gondolatmenet s eredmnyek vltozatlanul rvnyesek maradnak a 3 s n3 -ra nzve, azaz
n1 n3 = 0
(6.53)
n2 n3 = 0 .
d kpq
e eklm d l p d m q = ekpq eklm l p d m q + d l p m q =
d
= eklq eklm d m q ekpq ekpm d l p = 4d m m
2q m
2p l
Innen
1
P3 = d 1 1 + d 2 2 + d 3 3 = a 1 1 + a 2 2 + a 3 3 ,
2
ahol = 1 = 2 esetn a jobboldalon ll sszeg legalbb egy sszeadandja zrus,
ellenkez esetben ui. hrom lenne a gyk multiplicitsa. Az n1 , n2 s n3 ismeretlenek
meghatrozsra kt egyenlet, a (6.50) valamelyik, mondjuk az els egyenlete, valamint
a (6.40) normlsi felttel szolgl. Az gy kapott megoldssal identikusan teljesl a (6.50)
msodik s harmadik egyenlete. Ez annak a kvetkezmnye, hogy
P3 (1 ) = 0
P3 (1 ) = 0 .
1 1 2
d 2 n + d 1 3 n3
1
d 1
60
illetve
D 3 2 n2 D 2 2 n3 = 0
0
egyenletek.
Az n2 vektort gy rdemes megvlasztani, hogy teljesljn az n1 n2 =0 ortogonalitsi
felttel. Ketts gyk esetn teht az egyrtelmen meghatrozott n3 firny mellett a
msik kett pedig elvben szabadon felvehet az n3 -ra merleges skban, clszer azonban
betartani az emltett ortogonalitsi felttelt. Az A tenzor didikus ellltst annak
gyelembevtelvel kapjuk, hogy most 1 = 2 :
A = 1 (n1 n1 + n2 n2 ) + 3 n3 n3 =
= 1 (n1 n1 + n2 n2 + n3 n3 ) + (3 1 ) n3 n3 ,
I
azaz
A = 1 (I n3 n3 ) + 3 n3 n3 .
(6.54)
(6.55)
kvetkezleg brmely irny firny. Az ilyen tenzort izotrp vagy gmbi tenzornak nevezzk. Az utbbi elnevezst az indokolja, hogy a vonatkoz geometriai lekpezs gmbt
rendel gmbhz. Az is nyilvnval, hogy az n1 , n2 s n3 vektorok nem egyrtelmen
meghatrozottak, azonban mindig megvlaszthatjuk ket oly mdon, hogy a hozzjuk
tartoz irnyok jobbsodrat kartziuszi KR-t alkossanak.
sszhangban az eddigiekkel, visszautalunk ehelytt a 6.2. brra, a k sajtrtkeket
nagysg szerint rendezettnek tekintjk, vagyis mindig gy vlasztjuk meg az indexket,
hogy fennlljon a
1 2 3
(6.56)
relci.
6. Msodrend tenzorok
61
(6.57)
3
i ni ni .
i=1
ha >
1 = 2 = , 3 = ;
ha < .
tovbb
A = I .
1 0 0
l k kl
(6.59)
ak = a l = a = [akl ] = 0 2 0
0 0 3
a tenzor mtrixa.
2. Ismt hangslyozzuk, hogy a hrom sorra vett esetben
hrom a tenzor mkdsi pontjn thalad s egymsra klcsnsen merleges
egyenes,
egy egyenes s egy re merleges sk (kzs pontjuk a tenzor mkdsi pontja),
a teljes tr
62
(6.60)
v=
vK ,
vK U K
K=1
alakban. A (6.60) egyenlet azt fejezi ki, hogy (a) = 3-ra brmely v vektor az
egyszeres gykkhz tartoz sajtvektorok(kal prhuzamos vektorok) lineris kombincija, (b) = 2-re brmely v vektor az egyszeres gykhz tartoz firnnyal
prhuzamos s egy r merleges skban fekv vektor sszegnek tekinthet, (c)
= 1-re brmely v vektor nmagban a hromdimenzis tr egy vektora.
6.2.4. A karakterisztikus polinom egytthati, skalrinvarinsok. A karakterisztikus polinomot ad (6.44) s (6.41) sszefggsek egybevetse alapjn
3 -nek
1
(6.61a)
eklm epqr k p l q m r ;
3!
2 -nek AI :
1
(6.61b)
AI = eklm epqr ak p l q m r + k p al q m r + k p l q am r ;
3!
-nak
1
(6.61c)
AII = eklm epqr ak p al q m r + ak p l q am r + k p al q am r ;
3!
vgezetl pedig 0 -nak AIII :
1
(6.61d)
AIII = eklm epqr ak p al q am r
3!
az egytthatja.
A tovbbiakban egyszerbb alakra hozzuk a kapott egytthatkat. Tovbb alaktva
az (1.30b) s a Kronecker delta indextnevez tulajdonsgnak kihasznlsval a (6.61a)
kpletet kapjuk, hogy 3 -nek
1
eklm eklm = 1
3!
3!
az egytthatja.
Amint arra az 56. oldalon mr rmutattunk a tovbbi egytthatkat jelent AI , AII s
AIII skalrok a skalrinvarinsok. Az AI -et ad (6.61b)kplet a Kronecker delta indextnevez tulajdonsgnak kihasznlsval, valamint az (1.30a) segtsgvel egyszersthet :
2
m
k
l
1 plm k kqm l klr m 1
a q + eklm e a r = 2 3 ak k = ak k .
eklm e a p + eklm e
(6.62)
AI =
3!
3!
Az eredmny, sszhangban a tenzor nyomval kapcsolatos a (6.29) sszefggssel a A
tenzor els skalrinvarinsa. Kirva az sszeget :
(6.63)
AI = a1 1 + a2 2 + a3 3 .
Vegyk szre, hogy a (6.61b) kplet szerint hrom determinns sszege az AI . Kvetkezskpp felrhat az
a 11 12 13 11 a 12 13 11 12 a 13
2
(6.64)
AI = a 1 2 2 2 3 + 2 2 a 2 2 2 3 + 2 2 2 2 a 2 3
a 31 32 33 33 a 32 33 33 32 a 33
6. Msodrend tenzorok
63
alakban is.
Az AII skalrinvarins az AI talaktsnak lpseivel s az adjungltat rtelmez
(3.4a) sszefggs rtelemszer felhasznlsval hozhat megfelel alakra :
(6.65) AII =
1
eklm epqm ak p al q + eklm eplr ak p am r + eklm ekqr al q am r =
3!
1
= epqm eklm ak p al q = = Ak k .
2
(3.4a)
Rszletesen kirva
(6.66)
1
a 1 a1 2 a 1 1 a1 3 a 2 2 a2 3
+
+
AII = 2
a 1 a2 2 a 3 1 a3 3 a 3 2 a3 3
(ez a
a1 1 a1 2 a 1 3
a2 2 a2 2 a 2 3
a3 3 a3 2 a 3 3
mtrix ftljhoz tartoz aldeterminnsok sszege), vagy a (6.61c) kplet alapjn a (6.64)
sszefggshez hasonl alakban:
a 1 1 a1 2 1 3 a1 1 1 2 a 1 3 1 1 a1 2 a 1 3
(6.67)
AII = a 2 1 a2 2 2 3 + a2 2 2 2 a 2 3 + 2 2 a2 2 a 2 3 .
a 3 1 a3 2 3 3 a3 3 3 2 a 3 3 3 3 a3 2 a 3 3
A (6.61d) kplet szerint az AIII skalrinvarins az a k l determinnsa :
a1 1 a1 2 a 1 3
(6.68)
AIII = a2 2 a2 2 a 2 3 .
a3 3 a3 2 a 3 3
A ftengelyek KR-ben a (6.63), (6.66), (6.68) s (6.59) sszefggsek gyelembe vtelvel
(6.69)
AIII = 1 + 2 + 3 ,
AII = 1 2 + 2 3 + 3 1 ,
AIII = 1 2 3
az invarinsok rtke.
Az AII -t ad (6.65) kplet tovbbi, az (1.29) felhasznlsn nyugv talaktsval az
1
1
1 k l
a k a l ak p ap k
AII = epqm eklm ak p al q = (k p l q k q l p ) ak p al q =
2
2
2
A2I
vagyis az
(6.70)
AII =
1 2
AI ak p ap k
2
ak p ap k = tr (A A) ,
amivel
(6.71)
AII =
1
(tr A)2 tr (A A)
2
64
6.3.1. Msodrend tenzorok egsz kitevs hatvnyai. Gykvons. Az A msodrend tenzor n-ik hatvnyn az
(6.72a)
An = A A A A
1
n2
(an ) k l = a k m a m r a r p a s l .
1
C = U2 = U U .
3
C.
i ni ni
i=1
U=
3
i ni ni
i=1
mdon. Knny meggyzdni rla, hogy a fenti U teljesti a (6.73) egyenletet, s arrl is,
hogy pozitv denit az U .
Tegyk fel, hogy kt megolds ltezik azaz
C = U2 = V 2 ,
U = V .
0 = (C I) n = (U 2 I) n = (U + I) (U I) n .
Legyen
v = (U I) n .
Ezzel
(U + I) v = 0 ,
azaz
U v = v ,
ahonnan az kvetkezik, hogy a v-nek el kell tnnie, mivel pozitv denit az U s > 0.
Ennlfogva fennll teht, hogy
U n = n .
Hasonl gondolatmenettel kimutathat, hogy
V n = n ,
vagyis
U n = V n
C minden sajtvektorra. Mivel az n sajtvektorok bzist alkotnak innen a
U =V .
6. Msodrend tenzorok
65
egyenlet kvetkezik.
ltalnosts:
A ftengelyek KR-ben
C =
2
(6.75a)
3
(i )2 ni ni ,
i=1
C =
n
(6.75b)
3
(i )2 ni ni ,
i=1
illetve
n
(
)
0
0
1
n k
(2 )n
0 ,
(c ) l = 0
0
0
(3 )n
A3 AI A2 + AII A AIII I = 0
egyenletet.
Tekintsk az A I klnbsget, ahol tetszleges skalr az . Jellje H az A I
tenzor adjungltjt. Visszaidzve a (3.7) kpletet, majd szimbolikus jellsre trve t a
kplet alkalmazsa sorn, rhatjuk, hogy
H (A I) = |A I|I .
A jobboldalon ll determinns a (6.44) s (6.45) alapjn helyettesthet :
H (I A) = 3 AI 2 + AII AIII I .
Azt sugallja az utbbi kplet jobboldala, hogy a baloldalon ll H az kvadratikus
polinomja, azaz
H = B2 + C + G .
Itt a B, C s G egyelre ismeretlen tenzorok. Kihasznlva H fenti polinomilis ellltst
kapjuk, hogy
H (I A) = B3 (B A C) 2 + (G C A) G A
Az alhzott kpletrszek csak akkor lehetnek egyenlek egymssal, ha
B=I,
G C A = AII I ,
A C = AI I ,
G A = AIII I .
66
Tovbbi sszefggs llapthat meg a skalrinvarinsok kztt, ha vesszk a CayleyHamilton ttel baloldalnak nyomt s kifejezzk a kapott egyenletbl a harmadik skalrinvarinst :
1
AIII =
AI tr A2 + AI AII + tr A3
3
Itt a (6.71) alapjn
trA2 = A2I 2AII .
Kvetkezleg
(6.77)
AIII =
1
A3I + 3AI AII + a k p a p q a q k .
3
H = 2 A2 + 1 A + o I ,
6. Msodrend tenzorok
67
vK U K
vK ,
K=1
K [1, ] .
S T vK =
K=1
T S vK = T S v .
K=1
Ad = A
AI
I
3
(ad ) k l = a k l
AI k
l
3
(Ad )I = 0 .
A2I
a l a k
3
k
68
6.3. Gyakorlatok
(Ad )II =
1 1
(a 1 a2 2 )2 + (a2 2 a3 3 )2 + (a3 3 a1 1 )2 +
6
+ 6 (a12 a2 1 + a2 3 a3 2 + a3 1 a1 3 ) .
A = Ad + As
AI
AI
Ad = A I
As =
I
3
3
6. Msodrend tenzorok
69
1 0 0
1 0 0
[gmn ] = 0 14 0
s
g kl = 0 4 0
0 0 1
0 0 1
a kt metrikus tenzor s
1
0
0
l
n = gn il = 0 12 0
0 0 1
1
0
0
k
tl = 0 2 0
0 0 1
104 30 0
p
B q = 120 40 0
0
0 48
Ellenrizze, hogy szimmetrikus-e a B tenzor majd szmtsa ki a tenzor sajtrtkeit, sajtvektorait, illetve ha pozitv denit akkor a B tenzor V ngyzetgykt
is.
7. FEJEZET
Specilis tenzorok
7.1. Ortogonlis tenzorok
7.1.1. Az ortogonlis tenzor fogalma. Legyen a Q=Qkp gk gp msodrend tenzor
invertlhat, azaz
det(Qkp ) = 0 .
Azt fogjuk mondani, hogy a Q tenzor ortogonlis, ha a
p = Qv
(7.1)
s
s = Qw
(7.2)
(7.4)
QT = Q1 .
ps = vw
72
|s| = |w|
azaz
cos = cos
vgs soron pedig
(7.7)
ami azt jelenti, hogy a lekpezs nemcsak tvolsgtart, hanem szgtart is.
Tekintsk a QT Q = Q QT =I szorzat determinnst. A determinnsok szorzsttelt
kihasznlva rhat, hogy
det QT Q = det (Q) det QT = [det (Q)]2 = det (I) .
Innen kvetkezik, hogy a Q tenzor vegyes indexes alakjra nzve ekkor ui. az I metrikus
tenzor mtrixa a Kronecker szimblum mtrixa
(7.8)
det Qkp = 1 .
Megjegyezzk, hogy a determinnsok szorzsttelbl az is kvetkezik, hogy
1
det Qkm = det Qks g sm = det Qks
go
(7.9)
1
illetve qp(a) = prs Qrs
2
(7.11)
Q q(a) = q(a)
(7.12)
I = Q1 Q = QT Q
ahol az eljel pozitv, ha det Qks = 1 s negatv, ha det Qks = 1. Az talaktsok sorn
indexes jellst alkalmazunk, s fel fogjuk hasznlni a (7.4) s (7.5) alapjn rhat
1
1
1
goeprs Qkp Qmr Qls Qml = go ekml det(Qkl )Qml
2
2
go
det(Qkl )ekml
7. Specilis tenzorok
73
kvetkezik. A (7.9) kplet helyettestse s a (7.8) sszefggs kihasznlsa utn tekintettel a (7.10)1 egyenletre is a bizonytani kivnt eredmnyt kapjuk:
1
1
Qkp qp(a) = go ekml det Qks g sm Qml =
2
go
$
k
1 kml
= det Q s Qml = q (a)k
2
A most igazolt (7.11) sszefggsbl a QT -vel trtn tszorzssal s a (7.12) kplet
kihasznlsval s a kt oldal felcserlsvel a
QT q(a) = q(a) ,
vagy ami ugyanaz a
q(a) Q = q(a)
(7.13)
alakok kvetkeznek.
(a)
3
(a)
v =p
p =-v
7.1. bra.
(a) Forgats
A (7.11) s (7.13) kpletek segtsgvel teljes egszben tisztzni tudjuk a lekpezs geometriai jellegt. Tekintsk a v trgyvektor q(a) -val prhuzamos s arra merleges
sszetevkre trtn felbontst :
v = v|| + v
v|| q(a) = 0
v q(a) = 0 ,
74
1 0
0
k
0
(7.15)
Qs = 0 1
0 0 1
(7.14)
(7.17)
(7.18)
7. Specilis tenzorok
75
(7.19)
s
(7.20)
a = RA
b = RB
C = RC
n
v
N
B
nxv
O
v cos
D
n x v sin
(7.21)
p = v|| + OB = v|| + OD + D B
Itt
(7.22a)
v|| = n(n v) = (n n) v ,
s az is igaz, hogy
(7.22b)
v = v v|| = (I n n) v .
76
Msrszt
ON = OB ,
amivel
D B = OB sin = ON sin .
(7.25)
D B = sin (I n) v .
(7.27)
(7.28)
(7.29)
(7.30)
Q = (Q )T
Q = Q + sin I n
QT = Q sin n I ,
amivel
(7.33)
7. Specilis tenzorok
77
(I n) Q = I (n Q ) = n Q = n I cos .
Q (n I) = (Q n) I = Q n = I n cos .
(I n) (n I) = (gk gk n) (n gl gl ) =
= (gk n) (n gl ) gk gl = gk n l n gl gk gl =
gk [n(ngl )]
= nk nl k l gk gl = n n I .
Q (Q )T = Q Q =
= cos2 I + 2 cos (QIII cos ) n n + (QIII cos )2 n n =
= cos2 I + Q2III cos2 n n .
= k gk = n
78
(7.37)
1 cos
sin
klm m
k
l
2
azaz
1 cos
sin
kl
ks s l +
(7.39)
Rkl = gkl +
2
(7.40)
Ez esetben mindig megadhat az F az
(7.41)
F = RU = V R
F F T
7. Specilis tenzorok
79
egyenletnek. A ngyzetgykvonssal kapcsolatos unicitsi ttelt is kihasznlva megllapthat, hogy egy s csakis egy olyan pozitv denit s szimmetrikus U ltezik, amelyre
igaz, hogy a ngyzete F T F . Mivel U egyetlen, a (7.41)1 alapjn add
R = F U 1
is egyetlen.
Ltezs. rtelmezzk az U -t a (7.42)1 sszefggssel s legyen
R = F U 1 .
Annak igazolshoz, hogy a (7.41)1 polris felbonts, mr csak azt kell megmutatni, hogy
az R forgat tenzor (vagyis det(R) > 0 s RT R = I).
Mivel det(F ) > 0 (feltevs volt) s det(U ) > 0 (U pozitv denit), az kvetkezik, hogy
det(R) > 0. Msrszt
RT R = U 1 F T F U 1 = I
U2
(7.43)
v
=
v
U U RT v =
v V v = v R U
R
V
2
T
T
T
U R v
U R v =
U R v 0 ,
=
80
7.2. Gyakorlatok
Vgezetl vegyk azt is szre, hogy
V2=R
U RT R U
RT = F F T .
F
FT
2
1
1
2
2
1
2
2
2
3
3
3
1
2 .
1
2 ,
2
1
Q
Q1 =
=
3
2
2
2
2
3
3
2
2
2
13
22
0
3
3
2
Melyik tenzor forgat tenzor ?
2. Igazolja, hogy az (y1 , y2, y3 ) kartziuszi KR origjhoz ktttnek gondolt Q tenzor
forgattenzor. Hatrozza meg a forgats tengelyt s szgt, ha
1
1
1
2
2
1
Q= 1
1
2
2
2
1
1
0 2
2
a tenzor mtrixa ebben a KR-ben.
3. Igazolja, hogy kt ortogonlis tenzor sszege nem szksgkpp ortogonlis tenzor.
4. Legyen P , Q s R ortogonlis tenzor. Igazolja, hogy a P QR szorzat ortogonlis
tenzor.
5. A P tenzort permutcis mtrixnak nevezzk, ha pkl egy-egy sorban s oszlopban ll hrom elem kzl kett zrus, a harmadik pedig egysgnyi. Mutassa
meg, hogy ez a tenzor ortogonlis.
6. Legyen az a egysgvektor. Igazolja, hogy az albbi tenzor ortogonlis:
Q = I 2a a
7. Legyen a Q ortogonlis tenzor. Legyen tovbb n pozitv egsz szm. Mutassa
meg, hogy Qn ortogonlis tenzor.
8. Igazolja szimbolikus jellsrendszerben, hogy a
Q.a = a
egyenletnek qa (qa a tenzor vektorinvarinsa) a megoldsa az a vektorra nzve,
ahol pozitv az eljel ha det(Qkp ) = 1 s negatv, ha det(Qkp ) = 1.
9. Legyenek valamely (x) grbevonal KR egy P pontjban
g1 = i1 ,
g1 = i1 ,
i2
,
2
g2 = 2i2 ,
g2 =
g3 = i3 ,
g3 = i3
1 0 0
1 0 0
[gmn ] = 0 14 0
s
g kl = 0 4 0
0 0 1
0 0 1
7. Specilis tenzorok
a kt metrikus tenzor s
1 0 0
l
n = gn il = 0 12 0
0 0 1
81
1 0 0
k
tl = 0 2 0
0 0 1
0
3.2
1.2
0
0.8
1.2
n
0
0 .
0
0 ,
[Fm r ] = 0.5
F q = 2
0
2.4
3.4
0 0.6
3.4
(A teljessg kedvrt megadtuk a tenzor kontravarins-kovarins koordinti mellett a kovarins-kontravarins koordintkat is.)
8. FEJEZET
(. . .) = (. . .)r = (. . .), r ;
(. . .) = (. . .)p = (. . .), p
(8.3)
r
x
y p
mdon szedjk. Szavakban: az aluls indexsorban rt vessz utn ll s a koordintt
azonost index is jellheti a koordinta szerinti parcilis derivltat. Ez a jells az illet
mennyisg aluls indexsornak legvgn kell, hogy legyen elhelyezve.
A klr msodfaj s kl,r elsfaj Christoel szimblumokat a
(8.2)
(8.4)
gk l = gk , l = klr gr = kl , r gr
egyenlet rtelmezi. Hangslyozzuk, hogy ez esetben a vessz utn ll r index nem parcilis derivltat jell. Ha tszorzunk skalrisan a gq vektorral, akkor tekintettel a (8.2)
sszefggsre is, a
x q
(8.5)
gk , l gq = klq = y p , kl
y p
kpletet kapjuk klq szmtsra. A (8.2) s (8.5) sszefggsekbl egyarnt kvetkezik,
hogy a klq s kl , r Christoel szimblumok szimmetrikusak a kl indexpr tekintetben:
(8.6)
klq = lkq ,
kl , r = lk , r
83
84
Ksbb, a 8.1.2. szakaszban igazolni fogjuk, hogy a Christoel szimblumok nem tenzorok.
A (8.4) egyenlet gq -val trtn skalris szorzsa utn, ezttal az els egyenlsgjeltl
jobbra ll kpletrszeket hasznostva a
klr gq gr = kl , r gq gr
g qr
q r
azaz a
klq = kl , r g rq
(8.7)
egyenletet kapjuk, ami azt fejezi ki, hogy kl , r birtokban klq az r index felemelsvel
addik. Ha a (8.4)-ben gr helyre gr = g rsgs -t runk, majd tszorzunk skalrisan gq -val,
akkor a
klr gr gq = kl , r g rs gs gq = kl , r g rs gsq ,
grq
gsq
r q
azaz a
kl , q = klr grq
(8.8)
illetve a
gq , l g k = klq
sszefggs addik, ahonnan
gq , l = klq g k .
(8.9)
A Christoel szimblumok kiszmthatak a (8.5) s (8.8) kpletek segtsgvel, feltve, hogy mind az x i = x i (y 1, y 2 , y 3) fggvnyek, mind pedig az y i = y i (x 1 , x 2 , x 3 ) inverz
fggvnyek ismertek. A Christoel szimblumok meghatrozsra azonban tovbbi lehetsgek is vannak.
Derivljuk a g rs metrikus tenzort x p szerint s hasznljuk ki a (2.3a) s (8.4) kpleteket :
(8.10)
grs , p = (g r g s ) , p = g r , p gs + g r g s , p = rp , s + sp , r .
pr , s =
1
(grs , p + gps , r gpr , s )
2
85
1
1
(km , p + kp , m ) g pm = g mp gmp , k
2
2
gmp , k
hiszen
G mq
gqr
= 0 s
= pq .
gpr
gpr
go
gmp
(8.12)
1 1 go gmp 1 1 go
1 o
=
=
.
k
k
2 go gmp x
2 go x
o xk
8.1.2. Tenzorok-e a Christoel szimblumok. Vizsgljuk meg azt a krdst, vajon tenzorok-e a msodfaj Christoel szimblumok. A () grbevonal KR-ben a (8.5)
sszefggs alapjn ezttal mindentt kirva a parcilis derivltakat s felhasznlva a
bzisvektorokkal kapcsolatos (4.21) transzformcis szablyt, valamint a bzisvektorok
szmtsnak (1.40) alatti kplett, tovbb a lncszablyt
pkq =
g p k gp k m
g =
g =
q
q x m
2r
k m
r x n
= p q mg =
x
x s x n p
x s k m
g
q x m
n
x s p q
p q
x m
2 x n k m
g n m x n x s k
g
+
n =
=
x s
p q x m p q x m
2 x n k
m
k
= ns
t pn t q s m
+ p q
.
x n
Ez az eredmny mr tkrzi, hogy a msodfaj Christoel szimblumok nem tenzorok. Ha
ugyanis azok lennnek, akkor sszhangban a kovarins s kontravarins indexek transzformcis kpleteivel az alhzssal kiemelt rszek egyenlsgnek kellene fennllnia.
A jobboldalon lv msodik sszeadand jelenlte teht annak a bizonytka, hogy nem
tenzorok a msodfaj (kvetkezskpp az elsfaj) Christoel szimblumok.
86
valamilyen tenzor (skalr, vektor, msodrend tenzor, etc.) skalr fggvny, amelynek a t
skalr a paramtere (ez az id, vagy valamilyen ms skalr paramter pl. az s vkoordinta
(8.14)
ahol
o()
=0,
0
vagyis o() gyorsabban tart zrushoz, mint . A (8.14) kplet azt fejezi ki, hogy az
lim
u(t + ) u(t)
klnbsg linearizlhat a t helyen.
Tekintsk most az A(r) tenzormezt (az A(r) skalr,
vektor, msodrend vagy magasabbrend tenzor lehet a P
pont krnyezetben). Az A(r) fggvny dierencilhat az
r helyen, ha az
r
Q
P
A(r + r) A(r)
klnbsg felrhat az
r+ r
(8.15)
d
d
[(r + r)]|=0 =
r r + 2r r + 2r r =0 =
d
d
= (2r r + 2r r)|=0 = 2r r
87
ami egyttal azt jelenti, hogy a homogn lineris tag a (8.14) rszeknt megjelen u
formula alapjn szmthat :
A
K
K
(8.17)
DA[r] = K
x
= A K g
xK gK
K
x
x
=xK =0
x =0
r
dA
dt
xk
egyenlettel rtelmezzk a nabla opertort. Vegyk szre, hogy
= gk
(8.18)
l x
g
=g
= g l
,
k
l
k
x
x
l
ami azt jelenti, hogy valdi vektor a nabla opertor.
k
(8.19)
alakban rhat fel, ahol
(8.20a)
az A jobboldali gradiense.
Az A baloldali gradienst, a fentiekhez hasonl mdon az
=
(8.20b)
A = v
T
alakokkal rtelmezzk.
A jobboldali gradienssel
(8.21)
DA[r] = r ( A)
(8.22)
s
A = T
A = T
kpletek rtelmezik a jobboldali s baloldali divergencit.
88
v
(8.23)
s
A = T
v
A = T
u
s
= u , l = u k , l gk + u k gk , l = u k , l gk + u k kl
gs =
xl
k
k
gk .
= u , l + u s sl
(8.25)
(8.26)
u = u
(8.27a)
l u
g = l g l = u k ; l gk g l
xl
x
a jobboldali, s
u = gl
(8.27b)
u
u = g l l = u k ; l g l gk
l
x
x
a baloldali gradiens.
Ha az u k gk alakban adott az u vektormez, akkor a (8.25)-ra vezet gondolatmenet
ismtlsvel s a felsindexes bzisvektorok derivltjt ad (8.9) kplet felhasznlsval
kapjuk a vektormez jobboldali gradiensre az
l
k
(8.28)
uk gk gl =
u = uk g l g =
l
x
x
k
k
= u k , l g + u k g , l g l = u k , l gk u k slk g s g l =
= [u k , l u s kls ] gk g l ,
vagy ami ugyanaz az
(8.29)
u = u k ; l gk g l
89
kpletet, ahol
(8.30)
s
u k ; l = u k , l u k kl
k
u = u = u k ; l g k g l = u k ; l k l = u k ; k = u k , k + u s sk
=
s
).
= u k ; l g k g l = u k ; l g kl = g kl (u k , l u k kl
k sl
l
t + sm
t ks
t kl ; m = t kl , m + sm
a t kl msodrend tenzor kovarins derivltja. A (8.33) vezet talaktsok lpseivel kapjuk, hogy a t k l , t k l vegyes indexes, valamint a t kl kovarins alaknak rendre
k s
s k
t l lm
t s,
t k l ; m = t k l , m + sm
(8.34)
s
l
t s l + ms
t ks ,
t k l ; m = t k l , m km
s
s
t kl ; m = t kl , m km
t sl lm
t ks
a kovarins derivltja.
A T tenzor jobboldali divergencija a (8.22)2 , a (8.32), valamint a (8.33) egybevetse
alapjn a
(8.35a)
T = t kl ; m gk gl g m = t km ; m gk
lm
k sm
m ks
t + sm
t
t km ; m = t km , m + sm
90
Legyen dierencilhat a dklp gk gl gp harmadrend tenzor. A (8.4), (8.9) felhasznlsval ismtelve meg a (8.33) s (8.34) kpletekre vezet gondolatmenetet a
(8.36a) d klp gk gl gp =
= d klp gk gl gp m g m = d klp ; m gk gl gp g m
eredmny addik a tenzor jobboldali gradiensre, ahol
k
s
s
d klp ; m = d klp , m + ms
d slp lm
d ksp pm
d kls
(8.36b)
a tenzor kovarins derivltja. Nem nehz meggyzdni arrl az eddigiek alapjn, hogy a
d klp tenzornak pedig
k
l
s
d slp + ms
d ksp pm
d kls
d klp ; m = d klp , m + ms
(8.37)
a kovarins derivltja.
8.3.3. A metrikus s epszilon tenzorok kovarins derivltjai. A metrikus tenzorok kovarins derivltjai zrus rtkek:
g kl; m = 0 ,
(8.38)
kl ; m = 0 ,
g kl ; m = 0 .
A fenti egyenletek kzl csak az elst igazoljuk mivel a msik kt esetben is hasonlan kell
eljrni. Els lpsben felrjuk a (8.33) alapjn a kovarins derivltat, majd helyettestjk
a metrikus tenzor (2.3b) alatti dencijt, s elvgezzk a kovarins derivlt els tagja
esetn, kihasznlva a bzisvektorok derivltjaival kapcsolatos (8.9) sszefggst a parcilis
derivlsokat :
(8.39)
k
l
k
l
g sl + ms
g ks = g k, m g l + g k g l, m + ms
g sl + ms
g ks =
g kl; m = g kl, m + ms
k
l
k
l
= ms
g s g l ms
g s g k + ms
g sl + ms
g ks = 0 .
(8.40)
klr ; m = 0
kovarins derivltjai.
Az albbiak csak a (8.40)1 sszefggst igazoljk. Legyen az a = a p gp s b = b q gq
tetszleges, de lland vektor, melyre |a| = 0, |b| = 0 s c = a b = 0. Mivel lland az
a = a p gp s b = b q gq vektor zrus a kovarins derivltjuk:
ap;m = 0 ,
bq;m = 0 .
91
A (8.38) s (8.40) sszefggsek kvetkezmnye, hogy nincs hatssal a kovarins derivlt rtkre a kpletekben megjelen metrikus, vagy epszilon tenzor. Ha az A msodrend
tenzor akkor fennll pldul, hogy
(g kl a ls ) ; m = g kl a ls ; m
(8.41a)
(g mn a ms ) ; r = g mn a ms ; r
s
( pqr a rs ) ; m = pqr a rs ; m
(8.41b)
( klr a rs ) ; n = klr a rs ; n
(8.41c)
u = uk gk l gl =
x
u k g k g l = u k ; l g k g l = klr u k ; l g r
=
x l
(8.42)
uk;l gk
eredmnyt kapjuk.
A Laplace opertort a (8.31) segtsgvel kapjuk, meg ha uk helyre , k -t gondolunk,
ahol egy skalrmez :
l
g k k = g l g k ( , k ) ; l = g kl ( , k ) ; l ,
(8.43a)
= = g
l
x
x
ahol
s
,s .
( , k ) ; l = , kl kl
(8.43b)
(8.44)
kifejezsben
(8.45)
g rs ( ) ; rs
Dmqp = am ; qp am ; pq
klnbsg, ha elvgezzk a kijellt derivlsokat. A (8.34)3 derivlsi szably alkalmazsval am;q felel meg tkl -nek a kisebbtendre nzve az
s
s
a s ; q qp
am;s
am ; qp = (am ; q ) ,p mp
92
Tmr alakban
(8.48)
am ; qp am ; pq = R lmqp a l ,
ahol
(8.49)
l
l
l
s
l
s
R lmqp = q mp
p mq
+ qs
pm
ps
qm
az n. Riemann-Christoel-fle grbleti tenzor. Vegyk szre, hogy R lmqp formailag egyszer kontravarins, hromszor kovarins negyedrend tenzor. Visszaidzve, hogy a Christoel szimblumok a metrikus tenzorbl kpezhetk v..: (8.11) , azonnal addik a
kvetkeztets, hogy R lmqp fggetlen az a l vektormeztl. Az is kiolvashat a (8.49) egyenletbl, hogy csak akkor cserlhet fel a kovarins derivlsok sorrendje, ha azonosan zrus
a Riemann-Christoel tenzor.
Ha az a l valdi vektor, akkor az am ; qp s am ; pq kovarins derivltak valdi tenzorok.
Mivel kt valdi tenzor klnbsge ugyancsak valdi tenzor, a (8.49) baloldala, kvetkezskpp a jobboldal is valdi tenzor. Ha a (8.49) jobboldala valdi tenzor ne feledjk,
hogy az a l valdi vektor , akkor az R lmqp Riemann-Christoel tenzor ugyancsak is valdi tenzor. Kvetkezleg kveti kontravarins indexe, s kovarins indexei tekintetben is
az (5.3) alatti szablyt. Fenn kell teht llnia a
(8.50)
R lmqp = R zu v w
x l y u y v y w
y z x m x q x p
egyenletnek. Mivel az (y) kartziuszi KR-ben a bzisvektorok derivltjai s gy a Christoel szimblumok is azonosan zrusok kvetkezik (8.49)-bl, hogy R zu v w = 0. Ez viszont
a (8.50) szerint azt eredmnyezi, hogy
(8.51)
R lmqp = 0 .
93
q pm , l =
,
2 x q x p x q x m x q x l
#
!
1 2 g ml
2 g ql
2 g qm
+
.
p qm , l =
2 x p x q x p x m x p x l
A kapott kpletekkel
(8.54)
#
! 2
g lp
1
2 g mq
2 g lq
2 g mp
R lmqp =
+
+
2 x m x q x l x p x m x p x l x q
s
s
sq , l mq
sp , l
+ g sk mp
R lmqp = R mlqp ,
R lmqp = R lmpq .
(8.56)
t [t1 , t2 ] t2 > t1
vk =
dx k
.
dt
94
Az r(t) vektor t szerinti derivltja az L trgrbe rintje. Az (1.40) s (8.59) sszefggsek felhasznlsval rhat, hogy
dr dx k
dr
=
= vk gk .
k
dt dx dt
1
2
3
Legyen az A = A(x , x , x ) dierencilhat tenzormez. Az ltalnossg megszorts
nlkl felttelezhetjk, hogy az A tenzor q-adrend (q 1) az L trgrbn (s annak krnyezetben). Az A tenzormez t paramter szerinti derivltja az L trgrbn, tekintettel
a (8.59), (1.40) s (8.18) kpletekre
(8.60)
dA
A r
A dx p
A p A r p
v =
pv =
g g p v p = (A ) v
=
=
p
p
r
dt
x dt
x
x
x r
alak. Ha q = 1, akkor vektor az A tenzor. Tegyk fel, hogy ez az eset forog fenn, s
gondoljunk ak g k -t az A helyre. A (8.59), (8.25) s (8.26) sszefggsek felhasznlsval,
az utbbi kplet esetn ak -t gondolva az uk helyre, addik, hogy
!
#
a dx p
a p
da
k p
=
=
(8.61)
a gk v =
v =
dt
x p dt
x p
x p
k s
= g k a k , p + ps
a vp = g k a k ; p vp .
Ha q = 2, akkor msodrend tenzor az A. Ttelezzk fel, hogy A = a kl g k g l . A (8.61)
sszefggsre vezet gondolatmenet lpseivel, ezttal a (8.32) alapjn rhat
kl
kl
k
sl
l
ks
gk gl
a
g
g
=
a
+
a
+
a
,
m
k
l
sm
sm
x p
kpletet s a (8.33)-et hasznlva fel a
(8.62)
kl
dA
a gk gl =
= vp
p
dt
x
= a kl , p + psk a sl + psl a ks v p g k g l = a kl ; p v p g k g l
eredmny kvetkezik.
A (8.61)-bl kiolvashat, hogy a
da
= a k ; p vp g k
dt
paramter szerinti grbe menti derivlt
k s
a vp
v p a k ; p = a k , p + ps
(8.63)
(8.65)
a k da k
k s
=
+ v p ps
a
t
dt
egyenlet rtelmez.
Vegyk szre, hogy a fenti denci akkor is hasznlhat, ha az a k vektormez csak a
L trgrbn ismert. Ha az A tenzormez nemcsak az L trgrbn, hanem az L trgrbe
95
krnyezetben is adott s dierencilhat ez a (8.61) s a (8.62) levezetse sorn hallgatlagos feltevs volt , akkor a derivlhat az x p szerint s gy a (8.65) jobboldala a (8.64)
s (8.61) egybevetse alapjn talakthat :
(8.66)
a k
k s
= v p a k , p + ps
a = vp a k ; p .
t
Msknt fogalmazva, ha a dierencilhat A tenzormez ismeretes az L trgrbe krnyezetben is, akkor a ( )/t opertor a
( ) = v p ( ) ; p
(8.67)
t
egyenlettel rtelmezhet.
Ha az A msodrend tenzor csak az L trgrbn van rtelmezve, akkor a (8.65)
dencinak a (8.62) sszefggsbl addan a
(8.68)
a kl da kl
=
+ v p psk a sl + v p psl a ks
t
dt
egyenlet az analogonja.
Knnyen belthat, hogy a (8.67) alatti rtelmezs nemcsak vektormezre, hanem
brmilyen rend tenzormezre is rvnyes feltve, hogy a tenzor nemcsak az L trgrbn,
hanem annak krnyezetben is ismert. Ha zrusrend a tenzor, azaz skalrrl van sz,
akkor
d
=
.
t dt
Nem nehz beltni, hogy a tenzorok abszolt derivltjaira rvnyes a szorzatderivls
szablya. A g kl , kl , g kl metrikus, valamint az pqr s klr epszilon tenzorok abszolt
derivltjai zrus rtkek.
8.5.2. A trgrbe geometrijnak elemei. A dr velemvektor
ds2 = (dr)2 = dr dr
(8.69)
ngyzete egyben az elemi vhossz ngyzete is. A (4.17)2 , valamint a (2.3a) sszefggsek
felhasznlsval a fenti kpletbl az
dx k dx l 2
dt
(8.70)
ds = g kl dx dx = g kl
dt dt
eredmny kvetkezik. Eszerint az L trgrbe l hossza integrlssal addik:
) t2
) t2
dx k dx l
g kl
g kl v k v l dt .
dt =
(8.71)
l=
dt dt
t1
t1
2
ha t > t1 .
dr dx k dx k
dr
=
=
gk
ds dx k ds
ds
k =
dx k
ds
96
(8.75)
= k g k l g l = g kl k l = g kl
a k da k
k
am
=
+ v p pm
s
ds
a kl da kl
k
l
a ml + v p pm
a km
=
+ v p pm
s
ds
( ) = p ( ) ; p
s
(8.76)
(8.77)
Az n vektort a grbe normlisnak nevezzk. Ilyen vgtelen sok van a grbre merleges
skban.
k
k
simul sk
P
8.2. bra. rint, normlis, binormlis
A (8.74) egyenletben ll kvadratikus tag rtke lland s egy. Kvetkezskpp zrus
rtk az abszolt derivltja :
l k
1
k l
g kl = g kl
=0.
(8.78)
2 s
s
A (8.77) s (8.78) kpletek egybevetse szerint a l /s vektor az L trgrbe egyik normlisa. A l /s normlissal prhuzamos egysgvektort l -el jelljk s a
(8.79)
l
,
s
0
g kl k l =1 ,
l =
97
R=
1
,
R>0.
Ha a k s l merlegessgt kifejez
g kl k l = 0
(8.81)
k
l
k l
l
k
g kl = g kl
+
=
s
s
s
k l
k
=0
+ g kl k l = g kl l k +
= g kl
s
s
g kl k l
bk
(8.83)
(8.84)
bk = k +
g kl bk l = 0 .
g kl k
l
=0
s
l = lpq p q
egyenlettel rtelmezzk. Ez az egyenlet azt fejezi ki, hogy a p , q s l vektorok jobbsodrat tridot alkotnak, hiszen a (8.86) rtelmez egyenlet felhasznlsval addik, hogy
(8.87)
l l = lpq p q l = 1 .
98
8.5. Gyakorlatok
A (8.86) s a (8.83) egybevetsbl a
bl = l = l +
l
,
s
vagy trendezve a
(8.88)
l
= l l
s
l
= l .
s
m = 0
9. FEJEZET
alak.
Az r(x1 , x2 ) helyvektor ismeretben a P pontbeli kovarins bzisvektorok az (1.40)
kplet alapjn derivlsokkal kaphatk meg :
(9.3)
=r, = r, + x3 a3, ,
g
3 =r,3 = a3 .
g
3 g
3 = a3 a3 = 1 ,
g
99
100
3 = a3, a3 = 0
3, g
g
3, = a3,
g
3 g
= g
3 (r, + x3 a3, ) = a3 (r, + x3 a3, ) = 0
g3 = g3 = g
g11 g12 0
l ] = g21 g22 0
gk g
(9.7)
[
gkl ] = [
0
0 1
a kovarins metrikus tenzor szerkezete a P pontban.
k kontravarins bzisvektorok az (1.25a), (1.27)1 s (3.15a) kpletek alapjn szAg
mthatk. Ha egy index 3, akkor a msik kt index csak az 1,2 rtkeket veheti fel ezrt
kapjuk, hogy
3 = 3 g
3 .
= go e3 g
g
(9.8a)
g
(A permutcis szimblum s a Kronecker delta rtkkszlete KR fggetlen, ezrt esetkben nem alkalmazzuk a fellvonst). Innen
3 ,
2 = go e123 g
1 g
(9.8b)
g
amelyben a vektorszorzat nyilvnvalan merleges az S felletre. Kvetkezskpp
1
1 g
1 = a3 .
3 = g
(9.9)
g
go
Itt a egyelre ismeretlen paramter. Ugyanakkor, tekintettel a (9.3)2 , (9.9) s (9.1)
sszefggsekre
3 g
3 = a3 a3
1 = 3 3 = g
ahonnan = 1, kvetkezskpp
(9.10)
3 = a3 = a3 .
3 = g
g
,
g
3 = 3 g
g
1
1
2 g
2 a3 ,
1 = g
3 = g
g
go
go
1
1
3 g
2 = g
1 = a3 g
1 .
g
go
go
2 mer 1 s g
Az utbbi egyenletbl, tekintettel a (9.10)-re, azonnal kvetkezik, hogy a g
3
= a3 vektorra a3 a fellet normlis egysgvektora s gy
leges a g
(9.13)
3 g
3 = a3 a3 = 1 ,
g33 = g
3 g
= 0 .
g3 = g3 = g
g
0
g
l ] = g21 g22 0
gk g
(9.14)
[
g kl ] = [
0
0 1
101
g
3 = 3 g
3
= go e3 g
(9.15)
g
kplet, a (9.11)-nek pedig a
(9.16)
,
g
3 = 3 g
g
g3 = g3 = g3 (x ,0) = a3 = a3 ,
g = g (x ,0) = a ,
g 3 = g 3 = g3 (x ,0) = a3 = a3 ,
g = g (x ,0) = a .
Itt
(9.22)
ao = go = go (x ,0) .
102
(9.24)
A felleti epszilon tenzort, felhasznlva az (1.28a,b), (3.15a,b) s (9.18) sszefggseket, valamint a permutcis szimblum 1.2.3. szakaszban adott rtelmezst az
= 3 = 3 (x ,0) = ao e3 ,
(9.25)
1
= 3 = 3 (x ,0) = e3 ,
ao
egyenletek deniljk, ahol
ao = go = g o(x ,0) .
(9.26)
Mivel
(9.27)
= 3 ,
= 3
fennllnak az
11 = 22 = 11 = 22 = 0 ,
21 / ao = 21 ao = 1
12 / ao = 12 ao = 1 ,
(9.28)
egyenletek.
A
= ,
(9.29)
= ,
= 2
(9.31)
a a = 3 a3 = a3
a a3 = 3 a = a3
(9.32)
a a3 = 3 a = a3
g3m,p = 0 .
1A
103
1
(x1 , x2 , x3 ) ,
,3 = g
, g
3 = g,3 = h
2
1
(x1 , x2 , x3 ) ,
3, = g
(9.35)
3, g
= g,3 = h
2
, = 1 (
g, + g, g, ) .
2
mennyisget a (9.35)1 egyenlet rtelmezi.
Ah
Az elvben tizennyolc klnbz elsfaj Christoel szimblum kzl az az t, melynek
indexei kztt a hrmas legalbb ktszer fordul el v..: (9.34) azonosan zrus. A
msodfaj Christoel szimblumok a (8.5) kplet baloldala segtsgvel hatrozhatk meg.
A szmtsok sorn vegyk gyelembe, hogy a (9.5a) s (9.34) egybevetse alapjn
3, g
3 = 0 ,
g
(9.36)
s hogy
3,3 = a3,3 = 0 ,
g
(9.37)
=
=
=0,
3 =g
, g
3 =
,
g3, g
3 = g
3, g
=
3 ,
g3 g
(9.39)
=g
, g
eredmny addik, ahol a (9.39)1,2 esetn megfelel indexcserkkel helyettestettk a (8.10)et is.
A msodfaj Christoel szimblumok indexemelssel is elllthatk, ha az elsfaj
Christoel szimblumok ismertek. Valban a (8.7) kpletbe helyettestve a (9.34)-et s
kihasznlva, hogy a g kl specilis szerkezet v..:(9.13) azonnal megkapjuk (9.38)-at.
Ugyanilyen mdon, a (9.35) felhasznlsval, s az eredmny (9.39)-el trtn egybevetsvel ellenrizhet, hogy
= g
3 =
,3 g33 = h
, g
3 ,
(9.40)
g = h
=g
3, g = h
3, g
,
=
=
3, g = g
, g
.
Hasonlan az elsfaj Christoel szimblumokhoz, azok a msodfaj Christoel szimblumok, melyek indexei kztt a hrmas szm ktszer fordul el zrus rtkek.
A
g
3 = 0
g3 = g
sszefggst kapjuk.
A Christoel szimblumok felleten vett rtkei lokalizlssal kaphatk meg a (9.34),
(9.35), (9.38) s (9.40) kpletekbl:
Elsfaj Christoel szimblumok :
(9.42)
104
(9.43)
(9.44)
3
(x ,0) = b = g, g3 = g3 g = a, a3 = a3 a ,
=h
,
,
(9.45)
= 3, (x ,0)
g (x ,0) =
(x ,0)
= g, g = a, a .
g = b g = g3, = a3, .
3
(9.46)
= g + x3 3
g = ( x3 b ) g = ( x3 b ) a .
g
(9.47)
Legyen
g = x3 b .
(9.48)
(9.49)
= (x1 , x2 ) .
Legyen tovbb
(9.50b)
3 = x3 .
105
Ha valamely
mnr
pq
tenzorok
3
3
3
x
(9.52b)
d 3 ( ) = d 3 (x )
x x
transzformcis trvnyt, akkor a vonatkoz
(9.52a)
d 33 (x ) = d 33 ( )
3
3 (
) s d 33 (x )
s h (x )
(x
)=
x
h ( )
x
x
h ( )
= h (x )
x
x x
egyenletek teljeslnek.
Kimutathat, hogy a
g = a s g = a
metrikus tenzorok, egytt a , Kronecker szimblummal a felleti KR egysgtenzorai. A (9.25) kpletekkel rtelmezett felleti epszilon tenzorok ugyancsak valdi msodrend tenzorok.
Az albbiakban megmutatjuk, hogy a b grbleti tenzor is valdi msodrend felleti
tenzor. Az talaktsok sorn szksg lesz a ( 1 , 2 ) s (x1 , x2 ) felleti grbevonal KR-ek
bzisvektorai kztt fennll transzformcis kpletekre. Szem eltt tartva, hogy (9.3)
(9.18) kpletek csak annyiban vltoznak a ( 1 , 2, 3 ) KR-ben, hogy -t kell rni x helyre,
tovbb kihasznlva, hogy
3
= x3 = 0
az S felleten rhatjuk, hogy
r
r x x
(9.54)
g = = = g
g 3 = g 3 = a3 .
106
g 3 = g 3 = a 3
y3
P
a 3 =a 3= a3 =a 3
x2
P
a 2= g 2
r = r(x1,x 2 , 0 )
a 2= g 2
y2
O
y1
a 1= g 1
x1
a 1= g 1
a grbleti tenzor a ( 1 , 2) felleti KR-ben. A (9.54) transzformcis kplet helyettestse
s a szorzatderivls szablynak alkalmazsa utn innen a
!
#
x
2 x
x
b = b =
g
=
g
+
g g3
3
eredmny kvetkezik. Utbbi kplet tovbb alakthat, ha
gyelembe vesszk, hogy a g vektor merleges a g3 vektorra s
kihasznljuk, hogy
x
=
,
x
tovbb, ha
a (9.43) egyenlet alapjn felismerjk, hogy megjelenik a kpletben a b :
x x
x x
g
g
=
b .
b =
3
x
sszevetve ezt az sszefggst a (9.53b) transzformcis kplettel azonnal addik a kvetkeztets, hogy a b grbleti tenzor valdi felleti tenzor.
Mivel valdi tenzorok lineris kombincija is valdi tenzor a (9.49) kplettel rtelmezett tenzor is valdi tenzor.
9.2. A fellet bels geometrija
9.2.1. Meusnier ttele. Az S felleten vett velem vektornak nincs g3 irny sszetevje:
(9.56)
dr = g dx = a dx .
107
A
(9.57)
ds2 = dr dr = g dx g dx = g dx dx =
= g11 dx1 dx1 + 2g12 dx1 dx2 + g22 dx2 dx2
g12 = a12 = B ,
g22 = a22 = C
(9.58a)
azaz, hogy
dg3 = g 3, dx = b g dx
(9.58b)
A (9.56) s (9.58b) egyenletek skalris szorzatt kpezve az S fellet msodik alapformjhoz jutunk:
(9.59)
dg3 dr = b g dx g dx = b dx dx = b dx dx
= b11 dx1 dx1 2b12 dx1 dx2 b22 dx2 dx2
b12 = D ,
a22 = D
jellsekkel
x3
No
R o cos
Ro
N
ho
108
dr
r dx dx
=
=
g
ds x ds
ds
(9.60)
= ,
0,
s
ahol a grblet, a normlis pedig a grbe simulskjban, ez most az N sk, fekszik.
A (8.76) s (8.25) kpletek felhasznlsval, az utbbi esetben k t gondolva uk helyre,
a fenti egyenlet talakthat :
k
k r
gk = p k;p gk = p k,p + pr
gk =
s
r
3 r
= , + r
g + 3, + r
g3 .
3 .
o o = b g
cos = o = lland
eredmnyt kapjuk. Szavakban: mindazon felleti grbkre nzve, melyeknek kzs az rintjk a P pontban a cos mennyisg invarins azaz lland rtk. Ez Meusnier ttele.
A h s ho grbk
1
1
o =
= ,
Ro
R
egyenletekkel rtelmezett grbleti sugarait felhasznlva (9.63)-bl az
(9.64)
R = Ro cos
109
(9.65)
1/R(n) = (n) = b
x3
a3 = g3
P
ho
ho
ho
No
No
No
o
110
(9.67)
mellkfelttel fennllsa esetn. A krds megvlaszolsa, amint az a kitnik majd a kvetkez gondolatmenetbl, a grbleti tenzor sajtrtk feladatra vezet. Ezt azrt rszletezzk a 6.2. szakasz eredmnyeire trtn rszletes hivatkozs helyett, mivel (a) a grbleti
tenzor mindssze ktmret tenzor (b) a gondolatmenet varicis megfontolson alapul
(c) a gondolatmenet megadsa nmagban teszi olvashatv a jelen fejezetet.
Legyen a egyelre hatrozatlan Lagrange-fle multipliktor. A felvetett geometriai
problma az
(9.68)
F ( , ) = b (a 1)
BI = b
BII = |b | =
1
b b .
2
2 2H + K = 0 ,
H = BI /2 ,
K = BII
b a = b = b = 0
(1) + (2) = 2H ,
(1) (2) = K ,
(1)
(1)
b = (2) a
(2)
(2)
111
(2)
-val
(2)
(1) (2)
R(1) =
1
(1)
R(2) =
1
(2)
a fgrbleti sugarak.
A (9.69) egyenlet alapjn knnyen belthat, hogy a fgrbleti sugarak a
+ R(n) b = 0
(9.78)
egyenlet megoldsai.
A firnyokat mindentt rint felleti grbket grbleti vonalaknak szoks nevezni.
Sk s gmbfelleten brmilyen felleti grbe grbleti vonal.
Legyenek klnbzek a (1) s (2) gykk klnbzek. Legyen tovbb 1 , 2 a
grbleti vonalak ltal alkotott felleti KR. Ebben a KR-ben
(9.79)
1 = 1 a1
(1)
2 = 2 a2 ,
(2)
ahol az a1 s a2 vektorok eljelt gy szoks megvlasztani, hogy egytt az a3 = a3
vektorral jobbsodrat KR-t alkossanak. A grbleti vonalak ortogonalitsa miatt
a12 = a21 = 0 .
(9.80)
a fenti kpletbl a
b12 = b21 = 0 .
(9.81)
2 = lland
ahonnan
(9.82)
12
a = a21 = 0 .
112
hiszen szimmetrikus a felleti metrikus tenzor. Ami a grbleti tenzor vegyes indexes
alakjt illeti a (9.81) s (9.82) felhasznlsval addik, hogy
(9.83a)
Hasonlan mutathat ki, hogy
b 21 = 0 .
(9.83b)
(1) = b = b 11 1 1 + b 22 2 2 = b 11
(1)
(1)
(1)
(1)
(1)
(1)
(2) = b 22 .
= b = b = 0
valsak s klnbzek
valsak s egybeesnek
a gykei, ha
konjuglt komplexek
K <0
K =0
K >0
ha
K < 0 }.
K = 0 ].
113
Ismeretes a geometribl, hogy az ellipszoid grbletei azonos eljelek. Egy parabola esetn a parabola tengelyre s a parabola skjra merlegesen trtn eltolsval
generlt hengerfellet alkoti mentn zrus a grblet. A hiperbolikus paraboloid, az n.
nyeregfellet, grbletei pedig klnbzek lehetnek eljelkben.
x3
a3
R (1)
R(2)
R (1)
a3
2
1
a3
R(2)
R(1)
1
elliptikus
P pontja parabolikus
hiperbolikus
pont, ha
114
=u
(x1 , x2 , x3 ) az
9.3.1. Felleti menti s felleti kovarins derivlt. Legyen u
vektormez
S felletre ptett trbeli grbevonal KR-ben rtelmezett vektormez. Az u
S felleten trtn vltozst az x felleti vltozk szerint vett derivlt tkrzi.
A kontravarins koordintkkal (sszetevkkel) felrt
(9.88)
(x ,0) = u g + u3 g3 = u a + u3 a3
u=u
(9.89)
sszefggst kapjuk, ahol
(9.90)
3
u + 3
u = u, +
u b u3
u| = u; = u, +
s
(9.91)
3
u = u3, + b u
u3| = u3; = u3, +
(x ,0) = u g + u3 g3 = u a + u3a3
u
ahol
(9.94)
u
u3 = u,
u b u3
u| = u; = u,
s
(9.95)
b = g3, g = a3, a
s
(9.96b)
b = g3, g = a3, a
115
(9.97)
s
u
u = u,
(9.98)
u3| = b u
u3 | = b u .
Vegyk szre, hogy az S fellet (x1 , x2 ) ktmret terben rvnyes (9.97) s (9.98)
kpletek a hrommret trben rvnyes (8.25) s (8.30) kpletek analogonjai, mivel a
k,
u| = u b u3 ,
u| = u b u3 .
(x1 , x2 , x3 ) vektormez az
Az S felletre ptett (x1 , x2 , x3 ) grbevonal KR-ben az u
x koordintavonal mentn is vltozik. Az S felleten az
3
(9.101)
, 3 |x3 =0
(
u3 ) |x3 =0 = u
derivlt jellemzi a vltozst. A (9.90), (9.91) s (9.92), valamint a (9.93), (9.94) s (9.95)-ra
vezet gondolatmenet megismtlsvel az
+ u3; 3 g3 |x3 =0 = u; 3 a + u3; 3 a3 ,
, 3 |x3 =0 = u; 3 g
u
(9.102)
u; 3 = u, 3 + 3
u ,
u3; 3 = u3, 3 ,
valamint az
(9.103)
, 3 |x3 =0 = u; 3 g
+ u3; 3 g
3 |x3 =0 = u; 3 a + u3; 3 a3 ,
u
u ,
u ; 3 = u , 3 3
u3 ; 3 = u3 , 3
116
k s
s k
d lp ls dksp p
d ls
dklp| = dklp; = dklp, + s
egyenlettel rtelmezzk a dklp tenzor fellet menti kovarins derivltjt. Ha a dklp tenzor
valdi tenzor a hrommret euklideszi trben, akkor a
d ,
d3 ,
d3 , . . . , d333
altenzorok rendre harmad-, msod-, els-, illetve zrusrend felleti tenzorok, hiszen valamennyien kvetik a (9.52a,b) transzformcis trvnyt. A fenti altenzorok fellet menti
kovarins derivltjai, kihasznlva a (9.104), illetve a grbleti tenzorral kapcsolatos (9.44)
s (9.45) kpleteket, a
d| = d; =
(9.105a)
3
3
3
d + 3
d
d
d 3
d
d 3 =
= d, +
d
d
d b d3 b d3 b d3 ,
= d, +
d3| = d3; =
(9.105b)
3
3 3
3
3 3
3
3 3
= d3, +
d + 3
d
d
d 3
d
d 3 =
3
3
d
d + b d b d33 b d33 ,
= d3,
d3| = d3; =
(9.105c)
3
3
3
d 3 + 3
d 3 3
d 3
d 3
d 3
d 33 =
= d3, +
= d3, +
d 3
d 3 b d33 + b d b d33 ,
d333| = d333; =
(9.105d)
3
3 3
3
3 3
3
3 3
= d333, +
d 33 + 3
d 33 3
d 3 3
d 33 3
d 3 3
d 33 =
3
3
3
= d3, +
d 3 + 3
d 3 +
d 3 + 3
d 3 3
d 3
d 3=
= d3, +
d 3 +
d 3 b d33 b d33 + b d
(9.106)
3
3
d3 = d3,
d
d ,
d 3 = d 3, + d 3 d 3 ,
d333 = d333, ,
d3 = d3, +
d 3 +
d 3
117
Vegyk szre, hogy a (9.107) fellet menti kovarins derivltak, hasonlan a (9.101) fellet menti kovarins derivltakhoz, kt rszbl llnak. A jobboldalon ll els tag, azaz a
felleti kovarins derivlt, a fellet rintskjban fekv tenzorkomponensek fellet rintskjban vgbemen vltozst tkrzi. A jobboldalon ll msodik, az n. jrulkos rsz,
tekintettel a (9.101) kpletekre az S felletre merleges tenzorsszetevk fellet menti
vltozsnak hatst fejezi ki.
A tkl (x ) = tkl (x ,0), tkl (x ) = tkl (x ,0), s tkl (x ) = tkl (x ,0) msodrend tenzorok
felleti, s fellet menti kovarins derivltjaival kapcsolatos sszefggsek a
(9.106)5 , (9.106)3 s (9.106)2
tovbb a
(9.107)5 , (9.107)3 s (9.107)2
kpletekbl addnak a
dkl3 tkl ,
d = 0 ,
dk3p tkp ,
d = 0 ,
d3lp tlp ,
d = 0
(9.108)
t +
t ,
t = t , +
t = t , + t t ,
t = t,
t +
t ,
t +
t .
t = t, +
t | = t ; = t b t3 b t3 ,
t| = t; = t b t3 b t3 ,
t| = t, = t + b t 3 b t 3 .
Vegyk szre, hogy az S fellet ktmret terben rvnyes (9.108)1,...,4 kpletek rendre
a hromdimenzis trben rvnyes (8.33), (8.34))1,...,3 kpletek analogonjai, hiszen a latin
betket grgre cserlve rendre megkaphatk a a (8.33), (8.34))1,...,3 kpletekbl.
Ami a (9.97), (9.98) ; a (9.106) s a (9.108) felleti kovarins derivltak fellet menti kovarins derivltakkal val kapcsolatt megad s a jrulkos tagokat tartalmaz a (9.100) ;
118
Kimutathat a metrikus tenzor, s az epszilon tenzor kovarins derivltjval kapcsolatos (8.38) s (8.40) kpletek, valamint a (9.109), illetve a (9.107) sszefggsek segtsgvel,
kihasznlva a metrikus s az epszilon tenzorok szerkezett, hogy
(9.110)
g | = g = 0 ,
g| = g = 0 ,
| = = 0 ,
s, hogy
(9.111)
3| = 3 = 0 ,
3| = 3 = 0 .
d = u u
u = (u ),
u
u
119
d = (u ), (u ),
u +
u
(9.113)
a klnbsg. A felleti kovarins derivltakkal kapcsolatos (9.98) kplet alkalmas indexcserkkel trtn helyettestsvel, nem rszletezve a nem tl bonyolult formlis talaktsokat, innen az
u u = R u
(9.114)
eredmny kvetkezik, ahol
R =
(9.115)
d t
helyettestsekkel, hogy
t t = t R t R
(9.116)
3
0 =
+
+ 3
(9.117)
m ,
q ,
3
3
3
R 3 =
= b , b , + b
b
=0.
A index lesllyesztsvel majd a Kronecker szimblum s a (9.29)1 kplet felhasznlsval a (9.117) alatti kifejezs talakthat :
(9.119) R = b b b b = b b b b = ( )b b
= 3 3 b b = b b = e3 e3 b b
120
(9.120)
A (9.120)1 kplet helyettestse utn (9.119)-bl, felhasznlva a determinnsok szorzsttelt, a Gauss grblettel kapcsolatos (9.71)2,3 kpleteket, valamint a (9.22)-t, az
(9.121)
R = e3 e3 |b | = e3 e3 |b a | = e3 e3 Kao
eredmny addik, ahol mind K, mind pedig ao klnbzik zrustl. Ez egyben azt is
jelenti, gyelembevve a (9.28)-at, hogy
(9.122)
R = R = 0
(A nagy grg index nem sszegez, hanem rgztett index, amelynek rtke vagy egy,
vagypedig kett lehet.) s, hogy
R1212 = R2121 = R2112 = R1221 = 0 .
(9.123)
Utbbi egyenlet kvetkezmnye, hogy a felleti kovarins derivlsok sorrendje, ellenttben a trbeli esettel, ltalban nem cserlhet fel.
A (9.121)-bl, kifejtve a |b | determinnst az
R1212 = b11 b22 b12 b12
(9.124)
s a
(9.125)
K=
R1212
ao
kpletek kvetkeznek.
A (9.43)3 s a (9.115) kpletek szerint R1212 megadhat a g = a metrikus tenzor
s derivltjai segtsgvel. Ennek a krlmnynek alapjn a (9.125) egyenlet geometriai
jelentse a kvetkezkppen fogalmazhat meg :
A K Gauss-fle grblet, ami az S fellet hrommret trben val viselkedsnek egy
mrszma, meghatrozhat a felleten vgzett hosszmrsek segtsgvel. Visszaidzve
a (9.86) kpletet, s pontostva az elz mondatot azt mondhatjuk, hogy a kt grbleti
sugr szorzata mindig meghatrozhat az S fellet ktdimenzis terben vgzett mrsekkel, annak ellenre, hogy a fgrbleti sugarak a fellet mint hromdimenzis alakzat
jellemzi.
A (9.118) kplet kibvtsvel s a felleti kovarins derivltakkal kapcsolatos (9.108)4
egyenlet felhasznlsval, pontosabban a
t b ,
t b
b
b b ,
b
b
0 = b ,
b = b
3 b = 0 .
121
a + b a3
g , = a , =
(9.128)
g, = a, =
a + b a3
s
g3 , = a3 , = b a
(9.129)
(9.130)
(9.131)
Legyen
c = b b = b a b .
(9.132)
da3 da3 = c dx dx = c11 dx1 dx1 + 2c12 dx1 dx2 + c22 dx2 dx2
b b b b = ao e ao e K = 3 3 K
egyenlet a -val trtn vgigszorzsval a
(9.134)
b b a b b 3 3 a K = 0
eredmny kvetkezik. Az
(9.135)
3 3 a = a
b b 2Hb + a K = 0
b b 2Hb + K = 0 .
b 2Hb + Ka = 0
10. FEJEZET
x3
nm
y3
x1
dA m
C
r
y2
B
x2
y1
rAB = drI
rAC = drII
dr =
123
124
ahol a grbevonal xk koordintk mellett jobbra lenn ll rmai szmok nem a szokott
rtelemben vett indexknt szerepelnek. Ez a jellsbeli megllapods nem okoz flrertst,
mert a kontravarins koordintknak nincs als indexk.
Az ABC hromszghz tartoz dA terletvektort a
1
drI drII
2
vektorszorzat rtelmezi. A (10.3) kpletek helyettestsvel s a kovarins bzisvektorok
vektorilis szorzatt ad (1.27) egyenlet felhasznlsval innen a
1
1
dA = gk gl dxkI dxlII = klm dxkI dxlII gm
2
2
A
A
(10.4)
dA =
1
k
l
dAm = klm dxI dxII
2
A
(10.5)
eredmny kvetkezik.
Az ABC hromszg ltal kifesztett sk nm normlis egysgvektort akkor tekintjk
pozitvnak, ha a normlis egysgvektor fell nzve v.. 10.1. bra az ABC krljrsi
sorrend az ramutat jrsval ellenttes. Ez a krljrsi rtelem a pozitv krljrsi
irny.
Nyilvnval, hogy
(10.6)
dAm = nm dA
S
h
n
125
Legyen u = uk gk az innitezimlis ABC hromszgn s annak krnyezetben rtelmezett, folyamatosan dierencilhat vektormez. Hatrozzuk meg a
*
u dr
(10.7)
ABCA
vonalintegrl rtkt.
A hromszg egyes oldallein vett integrlokat az u vektormez oldalfelez pontokban
vett rtkei s a vonatkoz rAB , rBC , illetve rCA vektorok szorzataiknt szmtjuk. Az
oldalfelez pontokhoz tartoz u rtkeket pedig az A pontra tmaszkod lineris approximci adja.
Ezek a kzeltsek az ABC hromszg innitezimlis volta miatt engedhetk meg.
Fentiek alapjn
*
drI
u dr = drI u(A) + u |A
+
2
ABCA
!
#
drI + drII
+ (drII drI ) u(A) + u |A
+
2
drII
.
+ (drII ) u(A) + u |A
2
Az utbbi kpletbl indexes jellsre trve t s helyettestve a (10.2b), (10.3) s (8.29)
sszefggseket a
*
1
k
uk dx = uk (A) + uk ; l dxlI dxkI +
2
ABCA
A
#
!
l
k
1
l
dxI dxkII +
+ uk (A) + uk ; l dxI + dxII
2
A
1
1
l
k
+ uk (A) + uk ; l dxII dxII = uk ; l dxkII dxlI dxlII dxkI
2
2
A
A
eredmny kvetkezik. Az egyenlet jobb oldala a Kronecker szimblummal kapcsolatos
(1.20) kplet, tovbb az (1.29) sszefggs rtelemszer alkalmazsval, illetve a (10.5)
egyenlet felhasznlsval tovbb alakthat :
*
1
k
n
uk dx = uk ; l l m k n k m l n dxm
I dxII =
2
ABCA
A
slk
1
1
lks
m
n
lks
n
uk ; l A dAs
= uk ; l e e mns dxI dxII = uk ; l mns dxm
I dxII =
2
2
A
A
Ha mg a (10.6), illetve a (8.72) alapjn rhat
dr = ds = dxk gk
(10.8)
eredmnyre jutunk, ahol az u felett ll s lefel mutat nyl azt jelzi, hogy a opertor
az u-ra hat. Ezt a jellsbeli konvencit, ha szksges, a tovbbiakban is alkalmazzuk.
126
Visszatrve az S fellethez tegyk fel, hogy az S felleten s az S fellet krnyezetben rtelmezett u vektormez folytonosan dierencilhat. Clunk a (10.7) vonalintegrl
szmtsa ezttal a h zrt peremgrbe mentn a (10.9a) sszefggs kihasznlsval.
Elemi (innitezimlis) hromszgekre osztva fel az S fellet majd sszeadva az elemi hromszgeken tekintett (10.9a) tpus integrlokat meggyelhet, hogy azokon az
oldalleken melyek kt szomszdos elemi hromszghz tartoznak a krljrsi rtelem
klnbzsge miatt a vonatkoz vonalintegrlok trlik egymst. Alkalmas hatrtmenet
utn (azaz a hromszgek szmt a vgtelenhez, maximlis mretket pedig zrushoz kzeltve) bal oldali sszeg hatrrtke h-n vett vonalintegrl, a jobboldali sszeg pedig az
S-n vett felleti integrl:
*
)
)
(10.10a)
u ds = (n ) u dA = u (n ) dA ,
h
vagy
(10.10b)
uk ds =
h
ns
slk
uk ; l ns slk dA .
uk ; l dA =
(10.11)
n = a3 as s = 3 a
s
u = u k ; ak
(10.13)
u ds = 3 u| dA .
(10.14)
h
u = a3 w .
A (10.15) kplet Stokes ttelbe, pontosabban a (10.10a) baloldalba trtn helyettestsvel tekintettel a 10.2. brval kapcsolatosan mr szerepl
(10.16)
= n = a3
127
a = b a ,
a3 = a3 = g3, = 3
(10.18b)
w ; = w | = w || b w 3
tovbb a
w = w t ; at
(10.18c)
(10.18d)
)
)
3
w || dA
w ; + b w dA =
=
S
u ds = u dA .
(10.20)
h
)
D ds =
(10.21b)
h
(n ) D dA
S
128
(D a3 ) (n ) = (D a3 ) 3 a =
= 3 (D ) 3 a + D 3
a a =
= 3 3 (D ) a + D b a3 =
= (D ) a + D b a3
Fentiek alapjn a (10.21a) egyenletbl a
*
)
(D ) a + D b a3 dA
(10.22)
D ds =
h
eredmny kvetkezik.
10.1.5. A Gauss-Osztrogradszkij ttel. Legyen V egy a vgesben fekv trfogati
tartomny. Jellje S a V tartomny hatrfellett. Legyen tovbb u a V -n rtelmezett
egyszer folytonosan derivlhat vektormez. Jellje n az S fellet kls normlis egysgvektort. Az
)
)
u n dA =
u dV
(10.24)
S
129
A felleti integrlokkal kapcsolatos msodik parcilis integrlsi szably a fentiekhez hasonl mdon az
u = d e = d e + d e
sszefggs s a (10.20) Green ttel egybevetsbl kaphat meg :
*
)
)
d e dA = d e ds d e dA
(10.27)
S
A. FGGELK
y3
x2
a 2 =g 2
x1
R
a 1 =g 1
g2
r =R+x3
x1
x3
a 3=a 3 =g 3= g 3
x 2=y 3
g1
P
g 3= a 3
O
x1 =
r cos
r sin
y1
A.1. bra.
Leolvashat az brrl, hogy
(A.1)
x1 = ,
x2 = y 3 ,
x3 = r R
132
2
x3 + R
0 0
l ] =
gk g
(A.4)
[
gkl ] = [
0
1 0
0
0 1
az alsindexes metrikus tenzor mtrixa. Ennek
(A.5)
2
g = r 2 = x3 + R
1
0
(x3 +R)2
pq
(A.6)
[
g ]=
0
1
0
0
0 .
1
sin
x
g
1
2
R + x3
2
2l
22
(A.7)
l = g g
2 = i3
=
g g
g
3 = cos x1 i1 + sin x1 i2
3 =
l = g33 g
3 = g
g3l g
g
A msodfaj Christoel szimblumok a
m = g
k,l g
m
(A.8)
kl
g1 3
3 = g
1,1 g
3 = 1 g
=
(A.9a)
11
x
= (R + x3 ) cos x1 i1 (R + x3 ) sin x1 i2 cos x1 i1 + sin x1 i2 = (R + x3 ) ,
g3 1
131 = g
3,1 g
1 = 1 g
=
(A.9b)
x
= sin x1 i1 + cos x1 i2
1
1
.
sin x1 i1 + cos x1 i2 =
3
R+x
R + x3
Nem nehz beltni az elzek alapjn, hogy az x3 = 0 hengerfelleten a
g2 = a2 =i3 , g3 = a3 = cos x1 i1 + sin x1 i2
g1 = a1 =R sin x1 i1 + cos x1 i2
(A.10)
1
sin x1 i1 + cos x1 i2 , g2 = a2 =i3 , g3 = a3 = cos x1 i1 + sin x1 i2
g 1 = a1 =
R
sszefggsek adjk a bzisvektorokat. A metrikus tenzorokat, illetve a nem zrus Christoel
szimblumokat tekintve pedig az
2
1
R 0 0
0
0
2
R
[gpq ] = [apq ] = 0 1 0 ,
(A.11)
[gkl ] = [akl ] = 0 1 0 ,
0 0 1
0 0 1
illetve a
(A.12)
311 = R ,
131 =
1
.
R
133
]=
=
,
[b ] = [3
(A.13)
[b ] =
0
0
0 0
a kt grbleti tenzor mtrixa. A bzisvektorok P pontbl a P pontba trtn thelyezsnek
tenzora (a tenzor mtrixa) a (9.48) kplet alapjn (A.13)2 felhasznlsval szmthat:
#
!
1 + x3 /R 0
3
(A.14)
[g ] = x b =
.
0
1
Ennek a tenzornak
(A.15)
[g ] =
1
1+x3 /R
0
1
#
.
az inverze.
A.2. Gmbfelletre ptett koordintarendszer
Az A.2. bra egy az R sugar gmbfelletre - ez hjak esetn a hj kzpfellete lehet
ptett grbevonal KR-t (ekvatorilis KR-t) szemlltet.
g2
y3
g 3= a 3
x1
x2
g1
P
r =R
r = R +x 3
a 2=g 2
x3
x1
a 3=a 3 = g 3= g 3
x2
P
a 1= g 1
x 2=
O
x 1=
y2
r cosx 2
r cosx 2 cosx 1
r cosx 2 sinx 1
y1
A.2. bra.
Leolvashat az brrl, hogy
(A.16)
x1 = ,
x2 = ,
x3 = r R
a hrom gmbi koordinta (x1 [0, 2], x2 [, ], x3 > R). A tetszlegesen vlasztott P pont
helyvektora az (y 1 , y 2 , y 3 ) kartziuszi KR-ben a vonatkoz egysgvektorokat rendre i1 ,i2 s i3
134
jelli az
(A.17) r = r x1 , x2 , x3 = y 1 i1 + y 2 i2 + y 3 i3 = r cos cos i1 + r cos sin i2 + r sin i3 =
= r cos x2 cos x1 i1 + r cos x2 sin x1 i2 + r sin x2 i3
mdon rhat fel. Kvetkezleg
r
r
2
1
2
1
=
r
cos
x
=
sin
x
i
+
cos
x
cos
x
i
1
2
x1
r
r
(A.18)
2 = 2 =
= r sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3
g
x
r
r r
3 = 3 =
= cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3
g
x
r x3
a hrom bzisvektor s
2
3
2
r cos2 x2 0 0
x + R cos2 x2
0
0
2
3
l ] =
0
r2 0 =
gk g
(A.19)
[
gkl ] = [
0
0
x +R
0
0 1
0
0
1
1 =
g
4
g = r 4 cos2 x2 = x3 + R cos2 x2
a determinnsa. A felsindexes metrikus tenzor mtrixa az alsindexes metrikus tenzor mtrixnak inverze:
1
1
0
0
3 +R)2 cos2 x2
0
0
2
2
2
(x
r cos x
1
1
(A.21)
[
gpq ] =
0 =
0 .
0
0
r2
(x3 +R)2
0
0 1
0
0
1
A felsindexes bzisvektorok indexemelssel addnak :
(A.22)
1
1
l = g11 g
1 =
1 =
g1l g
sin x1 i1 + cos x1 i2 =
sin x1 i1 + cos x1 i2 ,
g
2
3
2
r cos x
(R + x ) cos x
1
l = g22 g
2 =
2 =
sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 =
g 2l g
g
r
1
2
1
2
1
2
cos
x
i
sin
x
sin
x
i
+
cos
x
i
sin
x
,
=
1
2
3
R + x3
3 .
l = g33 g
3 = g
3 =
g3l g
g
A msodfaj Christoel szimblumok a
(A.23)
m = g
k,l g
m
kl
g1 3
311 = g
1,1 g
3 = 1 g
=
(A.24a)
x
= r cos x2 cos x1 i1 + cos x2 sin x1 i2 cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3 =
= r cos2 x2 = R + x3 cos2 x2 ,
g2 3
3 = g
2,2 g
3 = 2 g
=
(A.24b)
22
x
= r cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3 cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3 =
= r = R + x3 ,
g3 1
1 = g
3,1 g
1 = 1 g
=
(A.24c)
31
x
= cos x2 sin x1 i1 + cos x2 cos x1 i2
135
1
1
1
,
sin x1 i1 + cos x1 i2 = =
2
r cos x
r R + x3
g3 2
232 = g
3,2 g
2 = 2 g
=
(A.24d)
x
1
= sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 =
r
1
1
= =
,
r R + x3
g1 2
2 = g
1,1 g
2 = 1 g
=
(A.24e)
11
x
1
= r cos x2 cos x1 i1 + cos x2 sin x1 i2 sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 =
r
= cos x2 sin x2 ,
g1 1
1 = g
1,2 g
1 = 2 g
=
(A.24f)
12
x
= r sin x2 sin x1 i1 sin x2 cos x1 i2
1
sin x2
1
1
i
+
cos
x
i
.
sin
x
=
1
2
r cos x2
cos x2
Az x3 = 0 gmbfelleten az (A.18) s (A.22) kpletek alapjn
g1 =a1 = R cos x2 sin x1 i1 + cos x2 cos x1 i2 ,
g2 =a2 = R sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 ,
(A.25)
g3 =a3 = cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3
a hrom bzisvektor s
1
1
1
i
+
cos
x
i
sin
x
,
1
2
R cos x2
1
sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 ,
g2 =a2 =
R
g3 =a3 = g3 = a3
g1 =a1 =
(A.26)
0
(A.27)
[gkl ] = [akl ] =
0
0 0
R2 0 ,
0 1
[gpq ] = [apq ] =
R2
1
cos2 x2
0
0
s
(A.29b)
! 1
R
b = g b =
0
1
31
=
0
R1
#
.
0
1
R2
0
0 .
1
136
3
,
(A.30a)
[g ] = x b =
0
1 + x3 /R
amivel
1
1+x3 /R
(A.30b)
[g ] =
1
1+x3 /R
az inverz.
y2
x2 = h
r = r(x x
1,
2,0
g 3= a 3
a 3 = a 3 = g 3= g 3
P
x1
x1
a 1= g 1
a 2=g 2
g1
x3
P
g2
x2
x2
y3
A.3. bra.
Leolvashat az brrl, hogy x1 = , x2 az orig s a P pont kztti tvolsg, x3 pedig a
P s P pontok kztti eljeles tvolsg, pozitv, ha a P pont a kpfelleten kvl helyezkedik
el, negatv, ha a kpfelleten bell fekszik.
szingulris pont. Nyilvnval,
2A kp cscspontja
1
2
3
hogy x [, ], x > 0 s hogy x x sin , . A kpfellet P pontjnak helyvektora
az (y 1 , y 2 , y 3 ) kartziuszi KR-ben a vonatkoz egysgvektorokat sszhangban az eddigiekkel
rendre i1 , i2 s i3 jelli az
(A.31) r = r x1 , x2 ,0 = y 1 i1 + y 2 i2 + y 3 i3 = h cos sin i1 + h sin sin i2 + h cos i3 =
= x2 cos x1 sin i1 + x2 sin x1 sin i2 + x2 cos i3
137
vektorszorzat
|g1 g2 | = x2 sin
abszolut rtknek felhasznlsval szmthat
g1 g2
= cos x1 i1 + sin x1 i2 cos i3 sin
(A.33)
g3 = a3 =
|g1 g2 |
A bzisvektorok birtokban
(A.34)
x2
sin2 0 0
0
1 0
0
0 1
2
1
0 0
(x2 )2 sin2
(A.36)
[g pq ] = [apq ] =
0
1 0 .
0
0 1
A felsindexes bzisvektorok indexemelssel szmthatk :
1
sin x1 i1 + cos x1 i2 ,
g1 = g1 g = g11 g1 = 2
x sin
2
2
22
(A.37)
g = g g = g g2 = g2 = cos x1 i1 + sin x1 i2 sin + cos i3 ,
g3 = a3 = g3 = a3 = cos x1 i1 + sin x1 i2 cos sin i3 .
A P pontnak
r = r + x3 g3
(A.38)
a helyvektora. Kvetkezskpp
1 =
(A.39a) g
r
r
g3
= 1 + x3 1 =
1
x
x
x
x3
x3 2
cos
1
1
= 1 + 2 ctg g1 =
= g1 + 2 x sin x i1 + cos x i2 sin
x
x
sin
g1
(A.39b)
2 =
g
= x2 sin + x3 cos sin x1 i1 + x2 cos x1 i2 ,
r
r
g3
= 2 + x3 2 = g2 = cos x1 i1 + sin x1 i2 sin + cos i3 ,
2
x
x
x
=0
(A.39c)
3 =
g
r
3
3
1
1
=
g
=
a
=
g
=
a
=
cos
x
i
+
sin
x
i
cos sin i3
3
3
1
2
x3
138
2
x2 sin + x3 cos
0 0
] =
gk g
[
gk ] = [
0
1 0 ,
0
0 1
(A.40)
[
g pq ] =
(A.41)
(x2
1
sin +x3 cos )2
0 0
1 0
0 1
0
0
sin
x
(A.42a)
,
i
+
cos
x
i
g
1
2
x sin + x3 cos
2 = g22 g
2 = cos x1 i1 + sin x1 i2 sin + cos i3 ,
2 = g
g
(A.42b)
3 = g3 = a3 = g3 = a3 = cos x1 i1 + sin x1 i2 cos sin i3 .
(A.42c)
g
Az albbiakban a nem azonosan zrus Christoel szimblumok szmtst tekintjk t:
$
2
1
3
3
3
3
1
2
1
11 = g
1,1 g
= 1 g
=
3 =
x sin + x cos sin x i1 + x cos x i2 g
(A.43a)
x
x1
= x2 sin + x3 cos cos x1 i1 + sin x1 i2 cos x1 i1 + sin x1 i2 cos sin i3 =
= x2 sin + x3 cos cos
g3 1
131 = g
3,1 g
1 = 1 g
=
(A.43b)
x
$
1
1
1
cos x i1 + sin x i2 sin sin x1 i1 + cos x1 i2 =
= 2
3
1
x sin + x cos x
sin
sin
sin x1 i1 + cos x1 i2 sin x1 i1 + cos x1 i2 = 2
2
3
x sin + x cos
x sin + x3 cos
A kpfelleten a grbleti tenzorok mtrixai tekintetben a
! 2
!
#
#
x sin + x3 cos cos 0
x2 sin cos 0
3
=
(A.44a) [b ] = x3 =0 =
0
0 x3 =0
0
0
s
(A.44b)
b = g b =
+
(x2
1
sin +x3 cos )2
,!
#
x2 sin + x3 cos cos 0
=
0
0 3
x =0
#
!
0
xcos
2 sin
=
0
0
sszefggseket kapjuk.
A bzisvektorok P pontbl a P pontba trtn thelyezsnek tenzora az (A.44b)kpletek
alapjn szmthat:
#
!
3
1 + xx2 ctg 0
.
(A.45a)
[g ] = x3 b =
0
1
Ennek
(A.45b)
az inverze.
[g ] =
x2
x2 +x3 ctg
,
0
1
139
g 3= a 3
g1
g2
x1
y2
x2
x1
r(x 1,x 2, x 3 )
a 1=g 1
a 2= g2
x2
r = r(x 1,
2,0
x3
a 3=a 3 =g 3= g 3
r
P
)
x 2=
x 1=
Ro
R
y1
A.4. bra.
Leolvashat az brrl, hogy
x1 = ,
(A.46)
x2 = ,
x3 = r R
2
Ro + R + x3 cos x2
0
0
2
l ] =
gk g
(A.49)
[
gkl ] = [
0
0
R + x3
0
0
1
az alsindexes metrikus tenzor mtrixa. Ennek a mtrixnak
2
2
R + x3
(A.50)
g = Ro + R + x3 cos x2
140
a determinnsa. A felsindexes metrikus tenzor mtrixa az alsindexes metrikus tenzor mtrixnak inverze:
1
1
0
0
3 ) cos x2 ]2
0
0
2
2
2
[R
+(R+x
r cos x
o
1
1
(A.51)
[
g pq ] =
0
0 =
0 .
0
r2
(R+x3 )2
0
0 1
0
0
1
A felsindexes bzisvektorok indexemelssel addnak :
'
(
1
l = g11 g
1 =
1 =
g1l g
sin x1 i1 + cos x1 i2
g
3
2
Ro + (R + x ) cos x
1
(A.52)
l = g22 g
2 =
2 =
g2l g
sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3
g
2
(R + x3 )
3 .
l = g33 g
3 = g
3 =
g3l g
g
Az albbiak a nem azonosan zrus Christoel szimblumok :
g1 3
3 = g
1,1 g
3 = 1 g
=
(A.53a)
11
x
(
'
Ro + R + x3 cos x2 cos x1 i1 + sin x1 i2 cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3 =
= Ro + R + x3 cos x2 cos x2 ,
'
(
g2 3
322 = g
2,2 g
3 = 2 g
= R + x3 cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3
(A.53b)
x
cos x2 cos x1 i1 + cos x2 sin x1 i2 + sin x2 i3 = R + x3 ,
g3 1
131 = g
3,1 g
1 = 1 g
=
(A.53c)
x
= cos x2 sin x1 i1 + cos x2 cos x1 i2
'
(
1
sin x1 i1 + cos x1 i2 =
3
2
Ro + (R + x ) cos x
cos x2
,
=
Ro + (R + x3 ) cos x2
g3 2
232 = g
3,2 g
2 = 2 g
= sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3
(A.53d)
x
1
1
sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 =
3
R+x
R + x3
g1 2
211 = g
1,1 g
2 = 1 g
= Ro + R + x3 cos x2 cos x1 i1 + sin x1 i2
(A.53e)
x
1
sin x2 cos x1 i1 sin x2 sin x1 i2 + cos x2 i3 =
3
R+x
1
Ro + R + x3 cos x2 sin x2 ,
=
3
R+x
g1 1
112 = g
1,2 g
1 = 2 g
=
(A.53f)
x
= R + x3 sin x2 sin x1 i1 sin x2 cos x1 i2
'
(
1
sin x1 i1 + cos x1 i2 =
3
2
Ro + (R + x ) cos x
R + x3
sin x2 .
=
Ro + (R + x3 ) cos x2
141
(A.55)
a hrom reciprok bzisvektor. Ami a metrikus tenzorokat illeti, az (A.49) s (A.51) kpletek
alapjn addik, hogy
2
1
0 0
Ro + R cos x2
0 0
(Ro +R cos x2 )2
.
1
[gpq ]=[apq ]=
(A.56) [gkl ]=[akl ]=
0
R2 0 ,
0
R2 0
0
0 1
0
0 1
A truszfelleten az (A.53) kpletek alapjn
(A.57)
3
3
= Ro + R cos x2 cos x2 , 22
= R ,
11
2
=
32
cos x2
,
Ro + R cos x2
R
2
1
11
= Ro + R cos x2 sin x2 , 12
=
sin x2
Ro + R cos x2
1
,
R
1
31
=
a nem azonosan zrus Christoel szimblumok rtke. Ezek birtokban az (A.57) kpletek alapjn
azonnal addnak a grbleti tenzorok mtrixai:
#
!
3
Ro + R cos x2 cos x2 0
(A.58a)
[b ] = =
0
R
s
(A.58b)
b = g b =
1
(Ro +R cos x2 )2
,!
1
R2
#
Ro + R cos x2 cos x2 0
=
0
R
,
+
cos x2
0
Ro +R
cos x2
.
=
0
R1
3
2
cos
x
,
(A.59a)
[g ] = x b =
0
1 + x3 /R
amivel
(A.59b)
[g ] =
1
1+x3 /R
3
2
1+ x cos x 2
Ro +R cos x
142
y
O
x 2 =s
a 2 =g 2
R(s)
S
a1= g 1
g2
a 3 = a 3 = g 3 =g 3
x3
g1
P
g 3 =a 3
y2
x1 =
so
y1
A.5. bra.
Leolvashat az brrl, hogy x1 = , x2 = s, az x3 pedig a szokott mdon a fellet normlisa
mentn mrt eljeles tvolsg a felleten fekv P s a normlison fekv P pontok kztt. x3
pozitv, ha a P pont fel haladva tvolodunk az y 3 tengelytl, ellenkez esetben pedig negatv.
A P ponthoz tartoz y 3 koordintt az y 3 = f (x2 ) fggvny adja meg.
Az y 3 koordinta tengelyt is tartalmaz skok helyzett az x1 = polrszg hatrozza meg.
Megjegyezzk, hogy az A.5. bra a polrszghz tartoz skban szemllteti az R(y 3 ) meridingrbt.
Nyilvnval, hogy x1 [, ] s x3 R(y 3 )/ sin , . (0 a forgsfellet P pontbeli
normlisa s az y 3 tengely kztti szg.
143
Vezessk be a
dR(y 3 )
= R (y 3 ) = R = tg
dy 3
(A.60)
az velem, ahol az A2 y 3 fggvnyt a kplet megjellt rsze rtelmezi. Az A2 x2 fggvny
ismeretben
) y3
2
2 3
2
A2 3 d 3 ;
3 = y3
(A.63)
x = x (y ) = x y3 =0 +
y 3 =0
3
dx2
=
A
y
2
dy 3
df
1
dy 3
= 2=
2
dx
dx
A2
dR
dR dy 3
R
=
=
.
dx2 dy 3 dx2 A2
g1 = a1 =
(A.65)
1
A2
"
"
1
R2 cos2 x1 + sin2 x1 + (RR )2 =
R 1 + (R )2 = R
A2
a2 a2 =
(R )2 + 1
= 1,
A22
a3 a3 = 1 ,
R2 0 0
[gk ] = [ak ] = [ak a ] = 0 1 0
0 0 1
g = R2
144
1
R2 0 0
(A.68)
[gpq ] = [apq ] = 0 1 0 .
0 0 1
A felsindexes bzisvektorok indexemelssel szmthatk :
1
g1 = g1 g = g11 g1 =
sin x1 i1 + cos x1 i2 ,
R
1
g2 = g2 g = g22 g2 = g2 =
R cos x1 i1 + R sin x1 i2 + i3 ,
(A.69)
A2
1
cos x1 i1 + sin x1 i2 R i3 .
g3 = a3 = g3 = a3 =
A2
A ksbbiek kedvrt sszefoglals-szeren megadjuk az albbi derivltakat:
"
d A2
d
1
R R
d dR dy 3 R
)2 = "
(A.70a)
R
=
=
,
=
1
+
(R
R
R
=
dx2
dy 3 dx2 A2
dy 3
dy 3
A2
1 + (R )2
d 1 dy 3
1 d A2
R R
d 1
(A.70b)
=
=
dx2 A2
dy 3 A2 dx2
A32 dy 3
A42
(A.70c)
R
d
d
= 3"
dx2 A2
dy
R
3
dy = 1 d " R
=
dx2 A2 dy 3
1 + (R )2
1 + (R )2
1/A2
1
R
(R )2 R
1 R
=
=
3/2
A2 (A2 ) A2
(A2 )2
1 + (R )2
R
1
A2
2
=
R
(A2 )4
(A.71)
a helyvektora. Kvetkezskpp kihasznlva az (A.70) alatti derivltakat mindentt, ahol szksges kapjuk, hogy
1 =
(A.72a) g
r
r
g3
=
+ x3 1 =
x1 x1
x
3
x
x3
1
1
R sin x i1 + cos x i2 = 1 +
= g1 +
A2 R
A2 R
g1
2 =
(A.72b) g
r
r
g3
=
+ x3 2 i3 = g2 x3
x2 x2
x
x3
= 1+
A2 R
d R
dx2 A
2
g1 =
R sin x1 i1 + x2 cos x1 i2 .
i3 = g2 x3
R
i3 =
(A2 )4
(A.70c) alapjn
R
1
1
1
R cos x i1 + R sin x i2 + 1 x3
=
A2
(A2 )4
(A.72c)
3 =
g
r
1
= g3 = a3 = g3 = a3 =
cos x1 i1 + sin x1 i2 R i3
3
x
A2
$
i3
] =
gk g
[
gk ] = [
(A.73)
2
3
R2 1 + Ax2 R
0
145
!
1
A22
(R )2 +
[
g ]=
(A.74)
2 #
R
3
1 x (A )4
0
2
1
pq
2
3
R2 1+ Ax R
(R )2 + 1x3
A22
R
(A2 )4
2
1
sin x1 i1 + cos x1 i2 ,
3
R 1 + Ax2 R
(A.75b)
2
22
2 =
2 = g
= g g
g
A2
(R )2 + 1 x3 (AR )4
1
1
3 R
2 R cos x i1 + R sin x i2 + 1 x
(A2 )4
$
i3
(A.75c)
3 = g3 = a3 = g3 = a3 =
g
1
cos x1 i1 + sin x1 i2 R i3 .
A2
sin
x
cos
x
i
+
R
sin
x
i
+
i
i
+
cos
x
i
R
=
=
1
2
3
1
2
x1 A2
R
1
R
R
sin x1 i1 + cos x1 i2 =
sin x1 i1 + cos x1 i2
=
A2
R
RA2
g1
(A.76c) 211 = g1,1 g2 = 1 g2 =
x
$
1
1
1
1
1
R
sin
x
i
+
cos
x
i
cos
x
i
+
R
sin
x
i
+
i
R
=
=
1
2
1
2
3
x1
A2
1
RR
R cos x1 i1 + R sin x1 i2 + i3 =
= R cos x1 i1 sin x1 i2
A2
A2
146
g3
(A.76d) 232 = g3,2 g2 = 2 g2 =
x
$
1
1
1
1
1
1
i
+
sin
x
i
R
i
cos
x
i
+
R
sin
x
i
+
i
cos
x
R
=
=
1
2
3
1
2
3
x2 A2
A2
$
1
d
1
d 1
1
1
R i3
cos x i1 + sin x i2 R i3
R cos x1 i1 + R sin x1 i2 + i3 =
=
2
2
dx A
A2 dx
A2
2
R R /A42
3
=
R /A2
, 4
R
R 2
1
R R
1
1
R cos x1 i1 + R sin x1 i2 + i3 =
1
i3
4 cos x i1 + sin x i2
2
A2
A2
A2
(A2 )
+
,
1
22
R
R
R 2
R
R 2
R
(R )2 R
+
1
=
A2
A2
A2
A52
(A2 )3
(A2 )3
(A2 )3
(A.76e)
311
$
g1 3
1
1
= g1,1 g = 1 g =
R sin x i1 + cos x i2 g2 =
x
x1
1
R
cos x1 i1 + sin x1 i2 R i3 =
= R cos x1 i1 sin x1 i2
A2
A2
3
$
g2 3
1
1
1
(A.76f)
= g2,2 g = 2 g =
R cos x i1 + R sin x i2 + i3 g3 =
x
x2 A2
$
1
d
d 1
1
1
1
1
cos
x
i
+
R
sin
x
i
+
i
R
i
+
sin
x
i
R
+
cos
x
g3 =
=
1
2
3
1
2
dx2 A2
A2 dx2
322
3
=
R R /A42
R
R
2 1 A
(A2 )
2
R /A2
4
R
R
1
cos x1 i1 + sin x1 i2 R i3 =
cos x1 i1 + sin x1 i2 4 i3
A2
A2
+
,
3
24
R
R 2
R
R
R
1
+
=
=
A2
A32
(A2 )3
(A2 )3 A2
s a
(A.77b)
!
b = g b =
1
R2
0
1
#+
AR2
0
R
A32
+
=
1
RA
2
0
R
A32
Ennek
(A.78b)
az inverze.
+
[g ] =
RA2
RA2 +x3
0
A32
3
A2 R x3
147
b22 =
1
R
= 3
R(2)
A2
azaz R(2) =
A32
.
R
B. FGGELK
A gyakorlatok megoldsai
B.1. 1. Fejezet
1. Gyakorlat: Linerisan fggetlenek az azonos ponthoz ktttnek tekintett (kzs alkalmazsi pont) a1 , a2 s a3 vektorok, ha zrustl klnbz a vegyesszorzatuk. Nem nehz
ellenrizni, hogy a gyakorlat egyik vektorhrmasa sem linerisan fggetlen, mivel
2 1 3
2 1 3
[a1 a2 a3 ] = 5 10 2 = 0 s [a1 a2 a3 ] = 6 7 5 = 0 .
6 3 9
9 10 8
2. Gyakorlat: Ha bzist alkotnak a g1 , g2
vegyesszorzatuk :
1
= [g1 g2 g3 ] = 1
1
A
i1 i2
g2 g3
1
= 1 1
g =
1 2
i1 i2
g3 g1
2
= 1 2
g =
1 1
i1 i2
g1 g2
3
= 1 1
g =
1 1
= i1 + i2 i3 ,
= i1 2i2 + i3 ,
= i1 + i2
reciprok vektorokkal
a1 = a g1 = (6i1 + 9i2 + 14i3 ) (i1 + i2 i3 ) = 6 + 9 14 = 1 ,
a2 = a g2 = (6i1 + 9i2 + 14i3 ) (i1 2i2 + i3 ) = 6 18 + 14 = 2 ,
a3 = a g3 = (6i1 + 9i2 + 14i3 ) (i1 + i2 ) = 6 + 9 = 3
a keresett hrom koordinta, azaz
a = a1 g1 + a2 g2 + a3 g3 = g1 + 2g2 + 3g3 .
3. Gyakorlat: Ha linerisan sszefgg a b1 s b2 a hrommret trben, akkor fennll az
a1 + 4a2 + 2a3 = (a1 + a2 a3 ) .
egyenlet, amelyben a s ismeretlen. Szorozzuk t ezt az egyenletet skalrisan az a1 ,
a2 s a3 vektorokhoz tartoz a1 , a2 s a3 reciprok vektorokkal mivel bzist alkotnak
az a1 , a2 s a3 vektorok, ltezik az a1 , a2 s a3 reciprok vektorhrmas , s hasznljuk
ki, hogy
1
i=j,
ai aj =
0
i = j .
Hrom skalregyenletet kapunk :
= 0 ,
4 = 0 s 2 + = 0 .
149
150
B.2. 2. Fejezet
A harmadik egyenletbl = 2, ezzel az els egyenletbl = 2. A kapott megoldspr
teljesti a msodik egyenletet is.
4. Gyakorlat: Bzist alkotnak a g1 , g2 s g3 bzishoz tartoz s az (1.18) kpletekkel
rtelmezett g1 , g2 s g3 reciprok vektorok a hrommret trben, ha a
c1 g1 + c2 g2 + c3 g3 = 0
egyenletnek csak trivilis megoldsa van a c1 , c2 s c3 llandkra nzve. tszorozva a
fenti egyenletet gk -val, s kihasznlva a gk gl = kl sszefggst azonnal kapjuk, hogy
ck = 0. Ez egyben az llts igazolsa.
5. Gyakorlat: Vegyk szre, hogy Jy,x a 1 , 2 s 3 -at ad
1 g1 + 2 g2 + 2 g3 = 0
homogn lineris egyenletrendszer determinnsa lsd az (1.39) sszefggst tartalmaz
bekezdst. Mivel ez nem zrus csak trivilis megolds van a 1 , 2 s 3 skalrokra.
B.2. 2. Fejezet
1. Gyakorlat:
i.
ii.
iii.
iv.
v.
vi.
vii.
viii.
=0
=0
1 2
+ (a12 + a21 )b b + (a23 + a23 )b2 b3 + (a31 + a13 )b3 b1
=0
=0
=0.
=0
4. Gyakorlat:
Jellje d a b c szorzatot:
d = dp gp = b c = pqr bq cr gp .
Felhasznlva a fenti kplet jobboldalt, valamint az (1.29) sszefggst, rhat, hogy
a (b c) = a d = nsp as dp gn = nsp pqr as bq cr gn =
ns
as bq cr gn = qn rs rn qs as bq cr gn = (ar cr bn as bs cn ) gn .
= qr
B. A gyakorlatok megoldsai
151
c d = uvw cv dw gu
s
gp gu = pus gs
szorzatok, tovbb az (1.29) sszefggs, illetve a Kronecker-delta indextnevezsi funkcijnak felhasznlsval addik, hogy
(a b) (c d) = pqr pus aq br uvw cv dw gs =
qu rs ru qs
= uvw au cv dw bs gs rvw br cv dw bs gs =
= [acd] b [bcd] a .
Ezt kellett igazolni.
7. Gyakorlat: Az (1.3b) kifejtsi ttel szerint
a (b c) = (a c) b (a b) c
s
(a b) c = (a c) b (b c) a .
Mivel a gyakorlat egyik felttele elrja, hogy
a (b c) = (a b) c
kvetkezik, hogy
(a b) c = (b c) a
ahonnan
ab
bc
a
s
a=
c.
ab
bc
Eszerint kollineris az a s a c ha teljesl a gyakorlat msik kt felttele is, azaz ha
a b = 0 s b c = 0.
c=
152
B.4. 3. Fejezet
8. Gyakorlat: Nem nehz ellenrizni az (1.3a) kifejtsi ttel rtelemszer felhasznlsval,
hogy valban fennll a Jacobi-fle azonossg:
a (b c) + b (c a) + c (a b) =
= (a c) b (a b) c + (b a) c (b c) a + (c b) a (c a) b = 0 .
B.3. 3. Fejezet
1. Gyakorlat: Jellje G pr a gpr adjungltjt. Nyilvnval a (3.10)1 kplet alapjn az a
betk helyre megfelel betnagysgban g-t, |asj | helyre g -t kell gondolni , hogy
g = gpr G pr .
(B.1)
Kvetkezskpp
G pr
gpr
g
= gpr
+ G pr
gP q
gP q
gP q
(B.2)
=0
=rq
ahol a P rgztettnek tekintett index. A kplet jobboldaln megadott rtkek magyarzatt az albbiakban ismertetjk.
(a) A jobboldalon ll utols derivltnak csak p = P -re klnbzhet az rtke a zrustl.
Ennek alapjn nyilvnval a
gpr
= rq
gP q
sszefggs helyessge.
(b) Ha azt is gyelembe vesszk tovbb, hogy az G pr adjunglt p = P esetn nem
tartalmazza gP q -t akkor azonnal kvetkezik, hogy
G pr
=0
gP q
Fentiek alapjn trhat a (B.2) sszefggs :
g
= G pr rq = G pq .
gpq
(B.3)
Ha mg a
G pq = g gpq
sszefggst is felhasznljuk ez az adjunglt s az eredeti tenzor kztti kapcsolat,
melynek felrsa sorn kihasznltuk azt a krlmnyt is, hogy szimmetrikus a metrikus
tenzor , akkor azonnal megkapjuk a (B.3)-bl az igazolni kivnt
(B.4)
g
= g gpq
gpq
egyenletet.
2. Gyakorlat: Az igazolni kivnt kplet azonnal addik az 1. Gyakorlat eredmnynek,
azaz a (B.4) sszefggsnek felhasznlsval:
1 g
1
ln g
=
= g gpq = gpq .
gpq
g gpq
g
B. A gyakorlatok megoldsai
153
B.4. 4. Fejezet
r
s
g k gk g (v r gr ) = gk gk g gr v r = gk gr gk v r = v r gr = v
v
rk
gr
talaktsokbl.
2. Gyakorlat: Az llts igazolsa a (4.32) kplet alkalmas talaktst ignyli:
= t kp apr t vr q v bqs t s = a k v b v .
a
kv
b v
bs = ap gps .
154
B.5. 5. Fejezet
3. Gyakorlat: A
m n p q
g g = pm qn gpq
xp xq
talaktsbl azonnal kvetkezik, hogy valdi tenzor a g pq metrikus tenzor. A fenti kplet
a kovarins metrikus tenzorokkal kapcsolatos (5.5) alatti sszefggs prja.
4. Gyakorlat: Az
mn
= gm gn =
u v w p
= gu gv gw = p q
(g gq ) gr = pu qv rw pqr
x x xr
talaktsbl azonnal kvetkezik, hogy valdi tenzor a kontravarins pqr tenzor. Ez az
sszefggs egybknt a kovarins permutcis tenzorral kapcsolatos (5.6) alatti egyenlet
prja.
5. Gyakorlat: Az elz, azaz a 4. Gyakorlat megoldsa szerint
uvw
1 2 3
= 123 = g1 g2 g3 = p q r (gp gq ) gr =
x x x
o
= p1 q2 r3 pqr = p1 q2 r3 epqr o = k o .
M = 1
alakba t = 1/ = 1/ k . Ez a kplet az (5.7b) alatti kplet prja.
6. Gyakorlat: A 4. Gyakorlat megoldsa alapjn rhat, hogy
uvw
euvw =
o u v w pqr
e = tM pu qv rw epqr
o p q r
M =1
talakts szerint
( )2 = g .
Kvetkezskpp tekintettel a o = o egyenltlensgre fennll, hogy go = go . Ez azt
jelenti, hogy nem valdi skalr a g . Mivel g =1/g azonnal addik, hogy a g sem valdi
skalr.
8. Gyakorlat: Legyen az a s b kt tetszleges vektor. A gyakorlat lltsnak helyessge
azonnal kvetkezik az
a b = ak bk = ak k b = ak tsk s b = ak tsk s b = as bs
k
talaktsbl.
a
s
bs
B. A gyakorlatok megoldsai
155
sszefggsek. Tekintsk elsknt az auvw bwn = cuv n skalris szorzatot. Nyilvnval, hogy
ck q
dkrsq
egyenlet. Ez azt jelenti, hogy kt valdi tenzor tenzorilis szorzata is valdi tenzor.
11. Gyakorlat:
Ha a ck = ak b szorzatba helyettestjk a ck s b -hez tartoz cK =
g KK
gLL
a<KL> = a KL
gKK
g LL K=1 gKK
K=1
a<KL>
vagyis az
a<KL> = aKL
eredmnyt.
g LL
gKK
156
B.6. 6. Fejezet
12. Gyakorlat: Az elz gyakorlat megoldsnak gondolatmenet alapjn indulva ki a cp =
= apq bq szorzatbl rhatjuk, hogy
3
3
b<Q>
c<P >
gP P
=
aP Q
azaz, hogy
c<P > =
aP Q
b<Q> .
QQ
gP P
gQQ
g
Q=1
Q=1
a<P Q>
= wp gp akl g gk v q gq
gp g
gk gq
kisebbtendnek pedig
wp gp aT k gk g v q gq = wp pk aT k q v q = wp aT pq v q
(B.5)
az rtke. Mivel zrus az idzett klnbsg teljeslnie kell egyrszrl a keretezett kpletrszek alapjn rhat
w AT akl gl gk v = 0 ,
(B.6)
(B.7)
AT = akl gl gk .
Vegyk szre, hogy a fenti kpletben az A tenzor ellltshoz kpest lsd az els
kapcsos zrjellel megjellt kpletrszt a jelen megolds els kpletben fordtott a
bzisvektorok sorrendje a (B.7) jobboldaln (a bzistenzort alkot didban). Kvetkezskpp azt a szablyt olvashatjuk ki a (B.7) kpletbl, hogy az A=ak gk g alakban rt
msodrend tenzor transzponltja is gy kaphat meg, hogy felcserljk a bzistenzort
alkot didban a bzisvektorok szorzsi sorrendjt. Tmren: a transzponls mvelete
a bzistenzort alkot didok szorzsi sorrendjnek cserje.
A msik kt esetben rszint a 6.1.1. szakasz gondolatmenetnek (lsd a tenzor (6.2a)3
alatti alakjt) alapjn, rszint pedig fentiek alapjn (lsd a tenzor (6.2a)4 alatti alakjt)
lthat be, hogy a transzponls mvelete ezekben az eseteken is a bzistenzort alkot
didok szorzsi sorrendjnek cserje.
B. A gyakorlatok megoldsai
157
aT
p
q
g
g
v g = wk aT k v
pq
AT
= d(a) s s w
rn
s21 = s21 ,
s12 = g e123 s(a)3 = g s(a)3 ,
(a)2
(a)2
= g s
,
s31 = s13 ,
s13 = g e132 s
s32 = s23 .
s23 = g e231 s(a)1 = g s(a)1 ,
Kvetkezskpp
(B.8)
[spq ] =
go s(a)3
s(a)2
s(a)3 s(a)2
0
s(a)1 .
(a)1
s
0
158
B.6. 6. Fejezet
5. Gyakorlat: A gyakorlat lltsnak helyessge azonnal kvetkezik az
talaktsbl.
6. Gyakorlat: A (6.30a) sszefggs helyessge azonnal kvetkezik az rtelmezs alapjn
rhat
tr D = I D = d
kplet s az ugyancsak az rtelmezs alapjn rhat
tr DT = I D T = dkk = gk ds gsk = gsk gk d s = d
s
kplet egybevetsbl.
A (6.30b) sszefggs helyessge azonnal kvetkezik a
tr (D + S) = I (D + S) = I D + I S = tr D + tr S
talaktsbl.
7. Gyakorlat: A (6.30c) kplet baloldalnak talaktsval kapjuk az igazolni kivnt eredmnyt:
tr (D S) = I (D S) = dk sk = sk dk = I (S D) = tr (D S) .
A (6.30d) kplet esetn az albbi talaktsok igazoljk az egyes kpletrszek helyessgt:
k T
k
= sk dk = sT
d k = sk d T k =
tr D S T = dk sT
S D
S T D T
tr (SD T )
k
dk .
= d T k sk = sT
tr (S T D)
tr (D T S )
8. Gyakorlat: rtelmezse szerint
a b = |a| |b| cos
a skalris szorzat rtke, ahol [0, ] a kt vektor ltal bezrt szg. Mivel |cos | 1
nyilvnval a fenti rtelmezs alapjn a bizonytani kvnt
|a b| |a||b|
Schwartz-fle egyenltlensg.
9. Gyakorlat: Nyilvnval, hogy az
f (x) = (D xS) (D xS) = D D 2 D S + x2 S S
fggvny rtke pozitv, illetve specilis esetben zrus. Kvetkezskpp az f (x) = 0 msodfok egyenletnek vagy kt komplex, vagy specilis esetben egy ketts vals gyke van.
Ez csak akkor lehetsges, ha az egyenlet d diszkriminnsa vagy negatv, vagypedig zrus :
d = 4 (D S)2 4 (D D) (S S) 0 .
Innen azonnal addik a bizonytani kivnt
|D S| |D| |S|
egyenltlensg.
B. A gyakorlatok megoldsai
159
1
ejk emst asj atk
2
Am
= n m
|auv |
(B.9)
i=1
A3 =
(B.10)
3
3i ni ni ,
i=1
3
I=
i=1
ni ni
i=1
s, hogy
AI = 1 + 2 + 3 ,
AII = 1 2 + 2 3 + 3 1 ,
AIII = 1 2 3 .
160
B.6. 6. Fejezet
Ezek szerint szimmetrikus tenzor a szimmetrikus tenzor msodik hatvnya. Tegyk fel a
tovbbiakban, hogy szimmetrikus az As tenzor (s 2). Megmutatjuk, hogy ez esetben
szimmetrikus az A tenzor s + 1-edik hatvnya. Elemi talaktsokkal addik, hogy
s+1 T
A
= (As A)T = AT (As )T = A As = As+1 .
Ezt kellett igazolni.
15. Gyakorlat: A megoldst a feltett krdsek szerint tagolva kzljk.
1. A tenzor szimmetrijnak ellenrzsre szmtsuk ki a kontravarins koordintkat
(sszetevket):
104 30 0
1 0 0
104 120 0
[B mn ] = B mq gqn = 120 40 0 0 4 0 = 120 160 0
0
0 48
0 0 1
0
0 48
Mivel B mn = B nm a tenzor szimmetrikus. Megjegyezzk, hogy ugyanez az eredmny
azonnal kvetkezik a
T
BT = F F T = F F T = B
talaktsbl is.
2. A B tenzorral kapcsolatos karakterisztikus egyenlet az
104
30
0
104
p
30
p
40
0
=
(
48)
B q q = 120
120
40
0
0
48
= ( 48) 2 144 + 560 = 0
2 = 48
3 = 4
Az els firnyt ad
n = n k gk
(1)
vektor a
(1)
B pq 1 pq
nq =0
(1)
(1)
(1)
(1)
vagy
120 n 1 + (40 1 ) n 2 = 120 n 1 100 n 2
(1)
(1)
(1)
(1)
B. A gyakorlatok megoldsai
161
ahonnan
6
n2 =
(1)
34
5
n1 = .
(1)
34
Vgeredmnyben
1
1
n = (5g1 + 6g2 ) =
(1)
34
34
6
5g1 + g2
4
go 1
1
1
6g 5g2 =
6g1 5g2 =
(6g1 20g2 ) ,
=
34
136
136
go =
1
.
4
4. A ftengelyek KR-ben
B = 1 n n + 2 n n + 3 n n =
(1) (1)
(2) (2)
(3) (3)
= 140 n n + 48 n n + 4 n n
(1)
(1)
(2)
(2)
(3) (3)
V = 140 n n + 48 n n + 2 n n
(1)
(1)
(2) (2)
(3)
(3)
6
140
(5g1 + 6g2 ) 5g1 + g2 + 48g3 g3 +
V =
34
4
4
3
1
1
140
1
(6g1 20g2 ) 6g 5g2 =
(25g1 + 30g2 ) + (36g1 120g2 ) g1 +
+
68
34
68
4
3
5
3 140
(5g1 + 6g2 ) (6g1 20g2 ) g2 + 48g3 g3
+
68
68
azaz, hogy
3
V =
60 140 120
50 140 + 36
g1 +
g2 g1 +
68
68
4
3
18 140 + 100
15 140 30
g1 +
g2 g2 + 48g3 g3 .
+
68
68
Kvetkezskpp
V mq =
50 140+36
68
60 140120
68
15 14030
68
18 140+100
68
,
0
48
162
B.7. 7. Fejezet
s amint az nmi szmolssal ellenrzsknt addik :
50 140+36
68
60 140120
68
V mq V qn =
0
+ 48
15 14030
0
104 30 0
68
m
18 140+100
= 120 40 0 = [B n ] .
0
68
0
0 48
0
+ 48
15 14030
68
18 140+100
68
50 140+36
68
60 140120
68
B.7. 7. Fejezet
1. Gyakorlat: Nem nehz ellenrizni mindkt tenzor szimmetrikus , hogy
2/3
2/3 1/3
1 0 0
2/3 ,
= QT1 = Q 1 = 2/3 1/3
Q 1 QT1 = Q21 = 0 1 0 ,
Q1
1
1/3
2/3
2/3
0 0 1
2/3 1/3
2/3
2/3 = 1
det Q 1 = 2/3 1/3
1/3
2/3
2/3
s
1/2
1/2
2/2
1 0 0
,
Q 2 QT2 = Q22 = 0 1 0 ,
= QT2 = Q 2 = 1/2
Q1
2
1/2 2/2
0 0 1
2/2 2/2
0
1/2
1/2
2/2
det Q 2 = 1/2
1/2 2/2 = 1 .
2/2 2/2
0
1 1
1 1
1
+ +
2 2 2 2
2
1 1
1 1
+
2 2 2 2
1 1 1 1
+ + + =1.
4 4 4 4
Q QT =
1
2
12
12
1
2
1
2
1
2
12
1
2
1
2
1
2
1
2
1
=
1
0
2
2
12 12 12
1
1
1
1
+1+1
42+4
2 2 4
1
1
1
1
1
1
=
42+4
4+2+4
1
1
1
1
2
2
2 2
2
2 2
2
azaz hogy
QT = Q1 .
2 2
1
2 2
1
2+
2 2
1
2 2
1
2
1
0
0
=
,
0 1 0
0 0 1
B. A gyakorlatok megoldsai
163
0
12 + 12
12 + 12
1 1
1
1
=
1
Q QT =
S=
+
0
2
2
2
2 21
1
1
+
0
2
2
2
0 1+4 2 1+4 2
= 1+4 2
0
14 .
1+ 2
1
0
4
4
Figyelembevve: (a) hogy kartziuszi az (y 1 , y 2 , y 3 ) KR (egysgnyi teht a metrikus tenzor determinnsa), (b) s kihasznlva a (B.8) kpleteket kapjuk, hogy
1
1+ 2
1+ 2
(a)
(a)
(a)1
(a)2
(a)3
i2 +
i3
q = s = s i1 + s i2 + s i2 = i1
4
4
4
a Q tenzor vektorinvarinsa. Vegyk szre, hogy az egysgnyi abszolutrtk
2
2
i2 +
i3
a=
2
2
vektor merleges q(a) -re, azaz benne fekszik a forgats skjban. Kvetkezskpp a forgats szge a
cos = a Q a
b
1
1
1
1+ 2
0
2
2
2
2
2
2
12
1
1
=
b=
1
1
2
2 2
2 2
2
1
1
0 12
1
2
2
1+2 2
2
1
1 2
1
1
12 1
0 1 1
= 0.457 106 78 ,
+
cos = a b =
=
2
2
2
2
2
1
2
Az utbbi egyenlet csak akkor llhat fenn ha a megjellt kpletrsz a metrikus tenzor (az
egysgtenzor) ellentettje. Mivel ez a felttel csak specilis esetben llhat fenn addik a
kvetkeztets, hogy kt ortogonlis tenzor sszege nem szksgkppen ortogonlis tenzor.
164
B.7. 7. Fejezet
4. Gyakorlat: A
RT (P Q)T =
(P Q R) (P Q R)T = P Q R
I
T
= P QQ P T = P P T = I
I
r
P k Qq Rqr W T s = P k Qq Rqr Rvr Quv Ps u =
qv
= P k Qv Quv Ps u = P k Ps = ks .
u
Ez azt jelenti, hogy ortogonlis tenzor az ortogonlis tenzor msodik hatvnya. Tegyk
fel a tovbbiakban, hogy ortogonlis a Qs tenzor s 2. Megmutatjuk, hogy ez esetben
B. A gyakorlatok megoldsai
165
egyenlet is. Vonjuk ki az utbbi egyenletet az azt megelz egyenletbl majd osszuk
el az eredmnyt kettvel. Tekintettel a msodrend tenzorok ferdeszimmetrikus rszt
rtelmez (6.18) kpletre kapjuk, hogy
1
Q QT a = Qasz a = 0 .
2
Jellje qa a Q tenzor vektorinvarinst. A vektorinvarins birtokban trhat a (6.26)
sszefggs szerint a fenti kplet:
Qasz a = qa a = 0 .
Ez az eredmny azt jelenti, hogy a gyakorlatban felvetett feladat a megoldsa prhuzamos
a Q tenzor qa vektorinvarinsval.
Tekintsk a tovbbiakban a Q ortogonlis tenzorral kapcsolatos
Q a = a ,
|a| = 1
ahonnan valban = 1.
Vizsgljuk meg a tovbbiakban az eljelek szerept.
Ttelezzk elszr fel, hogy det (Q) = 1. Az albbi s a viszonyok tisztzst clz
talaktsban (a) felhasznljuk, hogy a tenzor determinnsa megegyezik a transzponltja
determinnsval, (b) helyettestjk, ahol szksges a QT Q = I kpletet, s (d) alkalmazzuk a determinnsok szorzsttelt:
det (Q I) = det (Q I)T = det QT I = det QT QT Q =
= det QT (I Q) = det QT det (I Q) = det (Q I) .
det (Q)=1
Mivel egy vals szm akkor egyezik meg az ellentettjvel, ha a szm zrus fennll a
det (Q I)|=1 = det (Q I) = 0
egyenlet.
166
B.7. 7. Fejezet
Ttelezzk fel msodszorra, hogy det (Q) = 1. A fenti gondolatmenet ismtlsvel
kapjuk, hogy
det (Q + I) = det (Q + I)T = det QT + I = det QT + QT Q =
= det QT (I + Q) = det QT det (I + Q) = det (Q + I)
det (Q)=1
azaz, hogy
det (Q I)|=1 = det (Q + I) = 0 .
A kapott eredmnyek a kvetkez mdon foglalhatk ssze:
Q qa = qa ,
Q qa = qa ,
0
0.5 0
0 0.8 1.2
0
0 =
[C kl ] = [(F T )ks F sl ] = 3.2 0 2.4 2
1.2 0 3.4
0 0.6
3.4
1 0
= 0 4
0 3
2. A karakterisztikus egyenlet mostmr a
1
0
0
p
p
4
12
C q C q = 0
0
3
13
2
= ( 1) 17 + 16
12
= ( 1) 4
3
13
elklntve k-
0
12 .
13
=
1 = 16
2 = 3 = 1
(2)
Az els firnyt ad
n = n k gk
(1)
vektor a
(1)
C pq 1 C pq n q = 0
(1)
(1)
(1)
(1)
vagypedig a
3 n 2 + (13 1 ) n 3 = 3 n 2 3 n 3
(1)
(1)
(1)
(1)
B. A gyakorlatok megoldsai
167
(1)
(1)
ahonnan
2
n2 = n3 = .
(1)
(1)
5
Vgeredmnyben
2
2
n = (g2 + g3 ) =
(1)
5
5
1 2
g + g3
4
2 go 2
1
1
g g3 = g2 g3 = (4g2 g3 ) .
=
5
5
5
4. A ftengelyek KR-ben
C = 1 n n + 2 n n + 3 n n =
(1) (1)
(2) (2)
(3)
(3)
= 16 n n + n n + n n
(1)
(1)
(2) (2)
(3) (3)
(1)
(2) (2)
(3) (3)
1
nn+nn+nn .
4 (1) (1) (2) (2) (3) (3)
$
$
8
3
12
17
2
g2 + g3 g +
g2 + g3 g3 .
U = g1 g +
5
5
5
5
1
168
B.7. 7. Fejezet
Kvetkezskpp
U mq
1 0
= 0 85
0 35
0
12
5
17
5
1 0 0
1 0 0
1 0 0
m q
0 8 12 = 0 4 12 = [C mn ] .
U q U n = 0 85 12
5
5
5
17
3
0 3 13
0 5 5
0 35 17
5
Az is addik behelyettestsek utn, hogy
1
1 2
1
1
g + g3 + g1 g1 + (4g2 g3 ) g2 g3 =
U = (g2 + g3 )
5
4
5
$
1
1
1
(g2 + g3 ) + (4g2 g3 ) g2 +
= g1 g +
20
5
$
1
1
(g2 + g3 ) (4g2 g3 ) g3
+
5
5
azaz, hogy
U
$
$
17
3
3
2
2
g2 g3 g + g2 + g3 g3
= g1 g +
20
5
5
5
1
1
0
m
17
U 1 q = 0
20
3
0 20
Valban
U ks
1 0
1 s
0 8
U
=
5
l
0 35
0
12
5
17
5
1
0
17
0
20
3
0 20
0
35
2
5
0
35
2
5
1 0 0
= 0 1 0 .
0 0 1
1
0
0
0
0.8
1.2
s
17
35
0
0 0
Rkl = F ks U 1 l = 2
=
20
0 0.6
3.4
2
3
0 20
5
0 0.5 0
0
0 ,
= 2
0
0
1
1 0 0
0 0.5 0
0
k
1
2
0
0 = 0.5
[Rnm ] = gnk R m = 0 4 0
0
0
1
0
0 0 1
0 0.5 0
1 0 0
0
0
0 0 4 0 = 0.5
[Rnm ] = [Rns gsm ] = 0.5
0
0
1
0 0 1
0
1 0 0
0 2 0
0
[Rnm ] = gnp Rpm = 0 4 0 0.5 0 0 = 2
0 0 1
0
0 1
0
0.5 0
0
0 ,
0
1
2 0
0 0 ,
0 1
2 0
0 0 .
0 1
B. A gyakorlatok megoldsai
169
0 0.5 0
0 0.5 0
1 0 0
0
0 2 0 0 = 0 1 0 .
= 2
0
0
1
0
0 1
0 0 1
Az (y) KR-ben
[Rp q ] = tpn Rnm tqm =
1 0 0
0 0.5 0
1 0 0
0 1 0
0
0 0 2 0 = 1 0 0
= 0 2 0 0.5
0 0 1
0
0
1
0 0 1
0 0 1
a forgat tenzor.
8. Vgezetl a V = F RT kplet alapjn kapjuk, hogy
V kl = F ks (RT )sl = F ks Rls =
0 0.8 1.2
0 0.5 0
1.6 0 1.2
0
0 2 0 0 = 0
1
0 ,
= 2
0 0.6
3.4
0
0 1
1.2 0 3.4
amivel
V kl V ls
1.6 0 1.2
1.6 0 1.2
4 0 6
1
0 0
1
0 = 0 1 0 .
= 0
1.2 0 3.4
1.2 0 3.4
6 0 13
0 0.8 1.2
0
0.5 0
4 0 6
0
0 3.2 0 2.4 = 0 1 0 .
= 2
0 0.6
3.4
1.2 0 3.4
6 0 13
Ezzel a feladatot megoldottuk.
B.8. 8. Fejezet
1. Gyakorlat: Megmutattuk az 5. Fejezet 10. Gyakorlatnak megoldsa sorn a rszleteket illeten lsd a 155 o.-t hogy valdi tenzor kt tenzor tenzorilis szorzata. Mivel
valdi vektor az uk s mivel a krdses u k ; l kovarins derivlt az u s nabla vektorok
tenzorilis szorzata, akkor teljesl a jelen gyakorlat lltsa, ha valdi vektor a vektor.
Ennek igazolst illeten visszautalunk a (8.18) kpletet kvet bekezdsre.
2. Gyakorlat: Azt is megmutattuk az 5. Fejezet 10. Gyakorlatnak megoldsa sorn a
rszleteket illeten ismt lsd a 155 o.-t hogy valdi tenzor kt tenzor skalris szorzata.
Az elz megolds gondolatmenete alapjn azonnal addik, hogy valdi skalr az u k ; k
divergencia (azaz az u s nabla vektorok skalris szorzata).
3. Gyakorlat: Els esetben a (8.34)1 kplet rtelemszer felhasznlsval, ezt kveten
pedig a parcilis derivlsok vgrehajtsval alkalmazni kell ekzben a (8.4) s (8.9)
sszefggseket is jutunk eredmnyre:
k
s
k
s
k
k
ks m
= sm
gs g + m
gk gs + m
m
=0.
k ;m = k ,m + s sm
s
k
(gk g ),m
s
k
m
k
m
170
B.8. 8. Fejezet
Msodik esetben a (8.34)3 s a (8.9) kpletek felhasznlsval kaphat meg a kvnt
eredmny :
s
s
s
s
s
s
gks m
= km
gs g + m
gk gs km
gs m
gks = 0 .
gk;m = gk,m gs km
gs
(gk g ),m
gks
p
q
r
p sqr
q psr
r pqs
[gs gq gr ] sm
[gp gs gr ] sm
[gp gq gs ] + sm
+ sm
+ sm
=0.
= sm
sqr
psr
pqs
bq; m = 0 .
=0
s
s
s
s
s
s
[g g g ] + m
[g g g ] + rm
[g g g ] km
sr m
ksr rm
ks = 0 .
= km
s r
k s r
k s
sr
ksr
ks
B. A gyakorlatok megoldsai
171
g2 = (s ) ,
g3 = (s )
) s
) s
1
(s) ds + (s )
1 (s) ds .
r(s) = r + (s )
s
s
1 (s)
1 (s)
r = rs
s
y2
y1
A.1. bra.
172
2.8. 8. Fejezet
A (8.90) kplet alapjn rhat, hogy
dr
dr
= R2 + m2 = lland .
= R sin i1 + R cos i2 + mi3 ,
d
d
Figyelembe vve msrszrl, hogy
dr
ds = d
d
kapjuk, hogy
ds =
)
R2 + m2 d,
(s) =
so =0
ds
R 2 + m2
s
R 2 + m2
R2 +m2
s
s
i1 m cos
i2 + R i3
= m sin
2
2
2
R +m
R + m2
miszerint
=
a torzi rtke.
m
R 2 + m2
Irodalomjegyzk
[1] A. J. McConnel: Applications of Tensor Analysis. Dover Publications, Inc., New York, 1957.
[2] J. L. Synge, A. Schild: Tensor Calculus. Dover Publications, Inc., New York, 1969.
[3] I. S. Sokolnikoff: Tensor Analzsis: Theory and applications to Geometry and Mechanics of Continua, Nauka, Moszkva, 1971. (orosznyelvu kiads)
[4] M. A. Akivis, V. V. Goldberg: An Introduction to Linear Algebra and Tensors, Dover Publications, Inc., New York, 1977.
[5] Bda Gy., Kozk I., Verhs J. : Kontinuummechanika. Mszaki Knyvkiad, Budapest, 1986.
227-262 o.
[6] G. Bda, I. Kozk., J. Verhs: Continuum Mechanics. Akadmiai Knyvkiad, Budapest, 1995.
[7] D. S. Chanderasekharaiah, Lokenath Debnath: Continuum mechanics. Academic Press, 1994.
1-154. o.
[8] Gerhard A. Holzapfel : Nonlinear Solid Mechanics. John Wiley and Sons, Chichester, Wenheim,
New York, Brisbane, Singapure, Toronto 2000. 1-52 o.
[9] Balzs Tth: Three-field dual-mixed variational formulation and hp finite element model for elastodynamic analysis of axisymmetric shells, Istvn Slyi Doctoral School, Department of Mechanics,
University of Miskolc, Hungary, 2012, pp. 1-102.
173
Trgymutat
F
felbontsi ttel 50
felsindexes sokasg 15
felsindexes szmhrmas 15
felleti epszilon tenzor 102
felleti kovarins derivlsok sorrendje 120
felleti kovarins derivlt 115, 117
felleti metrikus tenzor 112
fellet menti kovarins derivlt 114, 116
felletre ptett KR 99
ferdeszimmetrikus tenzor 50
ferdeszg KR 5, 15, 30
zikai koordintk 45, 47, 155
zikai koordintk, baloldali 46
zikai koordintk, jobboldali 46
forgsfellet 142, 143
fgrbletek 110, 112
fgrbleti sugarak 111
firny(ok) 55
firnyok szmtsa 57
fnormlis 97
fsk 55
ftengelyttel 60
A,
abszolt derivlt 94, 9598
adjunglt 23, 24, 25, 59, 63
alsindexes sokasg 15
alsindexes szmhrmas 15
B
baloldali divergencia 87
baloldali gradiens 87, 88
baloldali polris felbonts 78, 79
baloldali rotci 88
bzisvektor(ok) 4, 5, 6, 17, 19, 30, 32, 33
bzisvektorok derivltjai 83
bzisvektorok transzformcija 35
bzisvektorok transzformcis kpletei 35
bzisvektorok vegyes szorzata 26
binormlis 97, 172
C
Cayley-Hamilton ttel 65, 66, 69
Christoel szimblum 83, 84, 85
Cs
csavarvonal 98, 171
G
Gauss-Codazzi-fle egyenlet 120
Gauss-fle grblet 110, 112, 120
Gauss-Osztrogradszkij ttel 128
gmbfellet 133, 135
gmbi KR 12
gmbi tenzor 60, 67, 68
grbevonal (kontravarins) koordintk 10
grbevonal KR 6, 10, 11, 30, 31
grbleti tenzor 102, 104, 105, 111, 112
grbleti tenzor firnyai 110
grbleti vonalak 111
Green ttel 128
D
determinns 23, 26, 41, 102, 110
determinnsok szorzsttele 25, 26, 27, 34, 56,
72, 120
devitor 67
devitortenzor 67, 68
didikus szorzs 20
didikus szorzat 1, 2, 20, 31, 37
diszkriminns 57
E,
egyenletrendszer determinnsa 56
egysgtenzor 17, 31, 71
Einsten-fle sszegezsi konvenci 7
elfajul lekpezs 29
elliptikus pont 113
elsfaj Christoel szimblum 83, 85
els skalrinvarins 53, 67
epszilon tenzor 17, 91
epszilon tenzorok kovarins derivltjai 90
Gy
gykvons 64
H
hromindexes sokasg 17
hengerfellet 131
hengerfellet(en) 132
henger KR 12
175
176
hiperbolikus pont 113
I,
indextnevez opertor 7, 17, 27, 31, 41
indexemels 17, 18, 19, 24, 103
indexes jells 83
indexsllyeszts 18, 19, 24
inverz 24
izotrp tenzor 60
J
Jacobi-fle fggvnydeterminns 10
jobboldali divergencia 87
jobboldali gradiens 88
jobboldali polris felbonts 78, 79
jobboldali rotci 88
K
karakterisztikus egyenlet 56
karakterisztikus polinom 55
karakterisztikus tr 60
kartziuszi KR 2, 6, 29, 31, 32, 56
kpvektor(ok) 29, 71
ktindexes objektum 16
ktszeres vektorilis szorzat 2
kt tenzor ltalnos szorzata 44
kt tenzor didikus szorzata 44
ketts kontrakci 54
ketts skalris szorzs 54
kifejtsi ttel 2, 7
kisr trider 97
koaxilis tenzorok 67
kontravarins bzis 6, 12
kontravarins bzisvektorok 6, 100
kontravarins bzisvektorok szorzatai 16
kontravarins bzisvektorok transzformcija
34
kontravarins metrikus tenzor szerkezete 100
koordinta-fellet(ek) 11
koordinta-vonal(ak) 11
kovarins bzis 5, 12
kovarins bzisvektorok 5, 99
kovarins bzisvektorok szorzatai 16
kovarins bzisvektorok transzformcija 31
kovarins derivlt 88
kovarins metrikus tenzor szerkezete 100
kzpgrblet 110
kzs ftengely tenzorok 67
Kronecker delta 6, 32, 62, 100
Kronecker szimblum 6, 9, 84, 105
Kronecker szimblum mtrixa 72
kpfellet 136, 137, 138
L
Lagrange-fle multipliktor 110
Laplace opertor 91
lekpezs 29
loklis bzis 12
M
msodfaj Christoel szimblum 83, 84, 85
msodrend sokasg 16
msodrend tenzor inverze 54
msodrend tenzor normja 54
msodrend tenzor nyoma 53
msodrend tenzorok zikai koordinti 46
msodrend tenzorok hatvnyai 64
msodrend tenzorok transzformcija 36
meridingrbe 142, 142
metrikus tenzor 17, 26, 31, 32, 45, 46, 71, 72,
84, 90, 92, 101, 102, 118
metrikus tenzorok kovarins derivltjai 90
N
nabla opertor 87
negatv denit 51
negatv szemidenit 51
nma index 7, 37
nma indexpr 19
nem elfajul lekpezs 29
norma 54
normlmetszetbeli grblet 110
O,
ortogonlis tenzorok 71
,
sszefggs az invarinsok kztt 63
sszegezsi konvenci 7, 17
sszegez index 7
P
parabolikus pont 113
parcilis integrlsi szably 129
permutcis szimblum 7, 8, 17, 23, 26, 100
permutcis szimblumok szorzatai 9
polris felbontsi ttel 78
polrszg 142
pozitv denit 51, 57, 64, 78
pozitv szemidenit 51
pszeudotenzor 42, 46, 154
R
reciprok bzisvektor(ok) 4
rendezett sokasg 15
Riemann-Christoel-fle grbleti tenzor 91, 92
S
sajtrtkek multiplicitsa 61
Schwartz fle egyenltlensg 68, 158
simulsk 97
skalrinvarinsok 56, 62, 66
Stokes ttel 123, 126, 127, 129
Sz
szabad index 7, 11, 17, 19, 42
szimmetrikus tenzor 50
177
szgtart lekpezs 72
T
trgyvektor(ok) 29
tvolsgtart lekpezs 71
tenzor devitoros rsze 68
tenzor gmbi (szfrikus) rsze 68
tenzorilis szorzat 37
tenzorok transzformcija 31
tenzorpolinom(ok) 66
tenzor transzponltja 49
tenzor transzponltjnak determinnsa 50
tenzor transzponltjnak inverze 55
trgrbe geometrija 95
trgrbe grblete 97
trgrbe grbleti sugara 97
truszfellet 139, 141
torzi 98
transzponls 50, 68
V
valdi msodrend tenzor 39
valdi skalr 39, 41, 43, 44, 47, 68, 98
valdi tenzor 8, 4042, 4446, 155
valdi vektor 39
vges forgats 75
vges forgats tenzora 75
vegyes szorzat 1, 9, 20
vektorilis szorzs 19
vektorinvarins 52, 53, 68, 72
vektormez divergencija 88
vektormez gradiense 88
vektor normja 54
vektorok zikai koordinti 45