1

VEKTORSZMTS
1. VEKTORALGEBRA
1.1. A vektor szemlletes rtelmezse
Azok a fizikai mennyisgek, melyeknek nagysgukon kvl irnyuk is van,
vektorok. (A vektorok absztrakt matematikai defincijban dnt szerepe van az
sszeadsnak s a skalrral val szorzsnak. Az olyan halmazok elemeit nevezik
vektoroknak, amelyek elemeire rtelmezve vannak ezek a mveletek, s a mveletek
lnyeges szablyai megegyeznek az irnytott egyenes szakaszok sszeadsnak s
szmmal val szorzsnak fbb szablyaival.)
A vektort egyrtelmen megadhatjuk a hosszval s az irnyval; nem tekintnk
klnbznek kt vektort, ha azok prhuzamos eltolssal tvihetk egymsba.
1.2. A vektor abszolt rtke
A vektor kezd- s vgpontjnak tvolsgt a vektor abszolt rtknek
(hossznak, nagysgnak) nevezzk. Jellse: a vagy a.
Ha a vektor hossza egysgnyi, akkor a vektort egysgvektornak, ha nulla, akkor
nullvektornak mondjuk. Nullvektor csak egy van, de egysgvektorbl vgtelen sok
klnbz van.
1.3. Vektorok sszeadsa
Kt vektor sszegt a
paralelogramma-szably definilja:
Az sszeads invertlhat mvelet, inverz mvelete a kivons. Teht ha
a b c + , akkor (s csak akkor)
a c b .
1.4. Vektor szorzsa skalrral
Az a vektornak szmmal val szorzata
b a egy olyan vektor, melynek nagysga
b a a ,
irnya pedig megegyezik az a vektor irnyval, ha >0, s ellenttes, ha <0.
2
1.5. A skalrszorzat
Kt vektorhoz, a-hoz s b-hez rendeljnk hozz egy szmot: a kt vektor
abszolt rtknek s az ltaluk kzbezrt szg koszinusznak szorzatt. Ezt a
szmot a kt vektor skalris (bels) szorzatnak nevezzk:
a b a b a b cos( , )
Szoksos jellsek mg (a,b) s (a b ) is.
1.6. Vektorszorzat
Kt vektorhoz, a-hoz s b-hez rendeljnk hozz egy c vektort, melynek
nagysga a kt vektor ltal meghatrozott paralelogramma terlete, irnya pedig
merleges az a s b vektorok ltal meghatrozott skra, gy, hogy az a, b s c
vektorok jobbrendszert alkossanak, azaz a c vektor vgpontjbl nzve az a vektort -
nl kisebb szg pozitv (az ramutat jrsval ellenttes) irny forgats vigye t a
b vektor irnyba.
(Szemlletesebben. ha a jobb kz hvelykujja az a,
mutatujja a b vektor irnyba mutat, akkor a
kzps ujj bellthat a c vektor irnyba.)
Az gy definilt c vektort az a s b vektor
vektorilis (kls) szorzatnak nevezzk:
c a b
Szoksos jells mg a b , is.
A vektorszorzat abszolt rtke:
a b a b a b sin( , ) .
1.7. Vetlet
Az a vektor (merleges) vetlete a b vektor irnyra:
a
b b
a a b a e cos( , ) ,
ahol e
b
b
b
a b irny egysgvektor.
Az
a e a e e
b b b b b
a ( )
vektort az a vektor b irny (vektor-
)komponensnek nevezzk.
Az a vektor felbonthat egy b irny s egy b-re merleges komponens sszegre:
a a a +
b b
A b vektorra merleges a
b
komponens nagysgt a Pitagorasz-ttellel kapjuk:
a a a a b
b b
a

2 2
sin( , ) .
3
A vetletek jelents szerepet jtszanak a vektorok szorzsnl - ezt mutatja az
albbi kt azonossg:
a b a b a b b a
a b a
a b a b a b
a b
1.8. A vektoralgebra fontosabb szablyai s azonossgai
Legyenek a, b s c tetszleges vektorok, s tetszleges skalrok.
a 0 a +
a b b a + +
( ) ( ) a b c a b c + + + +
0 0
0 a 0
1 a a
( ) ( ) a a
( ) + + a a a
( ) a b a b + +
a 0 0
a b b a
a b c a b a c + + ( )
( ) ( ) ( ) a b a b a b
ha a b 0 , akkor (s csak
akkor) ab
a a a
2
a 0 0
a b b a teht a
vektorszorzat antikommutatv!
a b c a b a c + + ( )
( ) ( ) ( ) a b a b a b
ha a b 0 , akkor (s csak
akkor) a b
a a 0
A hrmas vektorszorzat kifejtsi ttele:
a b c a c b a b c ( ) ( ) ( )
Vgl megemltjk az n. vegyes szorzatot:
a b c a b c ( ) ( ) ,
melynek rtke -eljeltl eltekintve- a hrom vektor ltal kifesztett paralelepipedon
trfogatval egyenl.
1.9. Vektorok Descartes-fle koordinti
Legyenek i, j s k ortonormlt bzisvektorok, amelyek jobbrendszert alkotnak:
i j k i j k
2 2 2
1 ;
Ekkor brmely a vektor egyrtelmen felrhat
hrom merleges komponens sszegeknt:
a i j k + + a a a
x y z
Az a a a
x y z
, , szmokat az a vektor
koordintinak nevezzk az i, j, k
bzisvektorok ltal meghatrozott jobbsodrs
Descartes-fle (x,y,z) koordintarendszerben.
4
1.10. Vektorok kztti mveletek Descartes-fle koordintkban
sszeads: ha c a b + , akkor c a b
x x x
+ , stb.
Szorzs skalrral: ha c a , akkor c a
x x
, stb.
Skalrszorzat: a b + + a b a b a b
x x y y z z
Vektorszorzat: ha c a b , akkor c a b a b
x y z z y
, stb.
Az sszeads, skalrral val szorzs s a vektorilis szorzat y koordintjt az x
koordinta kifejezsbl ciklikus permutcival kapjuk az x index helyett y-t, y helyett
z-t s z helyett x-et rva. A z koordintra vonatkoz kifejezseket ismtelt ciklikus
permutcival kapjuk meg.
A vektorszorzatot az albbi determinns kifejtsvel is megkaphatjuk:
a b
i j k
a a a
b b b
x y z
x y z
Vektor abszolt rtke:
a + + a a a
x y z
2 2 2
A vektornak a koordintatengelyekkel bezrt szgeinek koszinuszai, azaz a vektor
irnykoszinuszai:
cos , cos , cos
a
a
a
x
y
z
a a a
Az irnykoszinuszok egyben az a irny e
a
egysgvektor koordinti, ezrt
cos cos cos
2 2 2
1 + + .
2. VEKTOR-SKALR FGGVNY
A vektor-skalr fggvny fggetlen vltozja skalr, fgg vltozja vektor. Ilyen
fggvnyekre a hatrrtk, folytonossg, differencilhatsg fogalma a vals
fggvnyeknl tanultakhoz hasonlan alkalmazhat.
Az a a ( ) t fggvny hatrrtke a t t
0
pontban a
0
, vagyis
lim ( )
t t
t

0
0
a a , ha tetszleges >0 szmhoz tallhat olyan >0, hogy
a a ( ) , t t t < <
0 0
ha .
Az a a ( ) t fggvny a t
0
pontban folytonos, ha ltezik hatrrtke, s az egyenl
a fggvnyrtkkel:
lim ( ) ( )
t t
t t

0
0
a a
5
A t t
0
pontban az a a ( ) t fggvny differencilhat, ha ltezik a

a a a
t
t t
t t

( ) ( )
0
0
differenciahnyados hatrrtke t t
0
-ban. Ha ez a hatrrtk
b, akkor b-t az a( ) t t
0
-beli differencilhnyadosnak, derivltjnak nevezzk.
Jellse:
0
0
t t 0 t
t t
0
t t
) t ( ) t (
lim
t
lim
dt
d
) t (
0
0

a a a a
a!
A differencilhnyadost minden pontban kpezve kapunk egy jabb vektor-skalr
fggvnyt, a derivlt fggvnyt:
) t ( a a ! !
Ha ez a fggvny is differencilhat, akkor derivltjt az a( ) t fggvny msodik
differencilhnyadosnak nevezzk:
dt
) t ( d
dt
d
) t (
2
2
a a
a
!
! !
Hasonl mdon definilhatjuk a magasabbrend derivltakat.
A skalr-skalr fggvnyek differencilsi szablyaival analg sszefggsek
llnak fenn vektor-skalr fggvnyekre is. Ha (t) differencilhat skalr-skalr
fggvny, a(t) s b(t) differencilhat vektor-skalr fggvnyek, akkor az albbi
differencilsi szablyok alkalmazhatk:
sszeg differencilsa:
d
dt
t t
d
dt
d
dt
a b
a b
( ) ( ) + +
Szorzat differencilsa:
d
dt
t t
d
dt
d
dt

( ) ( ) a a
a
+
d
dt
t t
d
dt
d
dt
a b
a
b a
b
( ) ( ) +
d
dt
t t
d
dt
d
dt
a b
a
b a
b
( ) ( ) +
Kzvetett fggvny differencilsa:
d
dt
t
d
d
d
dt
a
a
( ( ))

Ha az a(t) vektorokat kzs kezdpontbl mrjk fel, akkor a vektorok vgpontjai
egy trgrbt rnak le, mikzben a t vltoz rtke vgigfut egy intervallumon; az ) t ( a!
derivlt vektor pedig a trgrbe rintjnek irnyba mutat. Ha az a(t) vektor
egysgvektor, akkor a trgrbe egy gmbfelleten lesz rajta, s az &( ) a t derivlt vektor
merleges lesz az a(t)-re. Ezt a kvetkezkppen lthatjuk be.
[ ] {} 0 1
dt
d
) t (
dt
d
) t ( ) t ( 2 ) t ( ) t (
dt
d 2
a a a a a !
Teht mivel a(t) s ) t ( a! skalrszorzata zrus, a kt vektor merleges egymsra.
6
2.1. Vektor-skalr fggvny Descartes-fle koordintkban
Rgztett Descartes-fle koordintarendszerben a vektort megadhatjuk
koordintival, ezrt az a a ( ) t fggvny hrom skalr-skalr fggvnnyel
egyenrtk:
a a t a a t a a t
x x y y z z
( ), ( ), ( )
Ezek az egyenletek az a a ( ) t fggvny ltal meghatrozott trgrbe paramteres
egyenletei. Ha a t paramtert valamelyik egyenletbl kifejezzk s behelyettestjk a
msik kettbe, kapjuk a trgrbe egyenlett
( ) ( ) 0 a , a , a g , 0 a , a , a f
z y x z y x
alakban.
A vektor-skalr fggvnyek tulajdonsgai megfogalmazhatk a koordintik
segtsgvel is. gy pl. bebizonythat, hogy az a a ( ) t fggvny akkor s csak akkor
differencilhat, ha az a t a t a t
x y z
( ), ( ), ( ) koordintk mindegyike differencilhat, s
ekkor fennll az
k j i a ) t ( a ) t ( a ) t ( a ) t (
z y x
! ! ! ! + + sszefggs.
Hasonl sszefggs ll fenn magasabb rend derivltakra.
3. SKALR- S VEKTORTEREK
A fizikban gyakran elfordul, hogy egyes mennyisgek rtke fgg a helytl.
Mivel a helyet a helyvektorral adhatjuk meg, gy ezeknek a mennyisgeknek a
helyfggst olyan fggvnyek rjk le, melyeknek fggetlen vltozja vektor.
Azokat a fggvnyeket, melyeknek fggetlen vltozja vektor, fgg vltozja
pedig skalr, skalr-vektor fggvnyeknek vagy skalrtereknek nevezzk. Azokat a
fggvnyeket pedig, melyeknek mindkt vltozja vektor, vektor-vektor
fggvnyeknek vagy vektortereknek nevezzk.
Az ilyen tpus fggvnyekre hasonl mdon rtelmezhetjk a hatrrtk s a
folytonossg fogalmt, mint a vektor-skalr fggvnyekre. A kpletek alakilag
vltozatlanok maradnak, csak a fggetlen vektor vltozt kell az ott szerepl t helybe
rni, a fgg vltoz helybe pedig a megfelel skalr vagy vektor fgg vltozt, attl
fggen, hogy skalr- vagy vektortrrl van sz. A differencilhnyados fogalmt
azonban nem lehet kzvetlenl a vektor-skalr fggvny differencilhnyadosnak
mintjra rtelmezni, hiszen a fggetlen vltoz jelen esetben vektor, mellyel osztani
nem lehet.
7
3.1. Skalrtr szintfelletei
Legyen
( ) r
egy skalrtr. Mivel az r vektort kifejezhetjk x, y, z Descartes-fle koordintival:
r i j k + + x y z ,
ezrt a skalrteret egy hromvltozs fggvnnyel is lerhatjuk:
( , , ) x y z .
A skalrtr szemlltetsre bevezethetjk a szintfelletek (nvfelletek)
fogalmt. A szintfelletek azon r pontok mrtani helyei, amelyekre a fggvny rtke
lland. A szintfelletek egyenlete Descartes-fle koordintkban:
( , , ) x y z
1
konst .
Klnbz
1
rtkekhez klnbz szintfelletek tartoznak, gy a ( ) r
skalrtrhez egyparamteres szintfellet-sereg tartozik - paramternek tekinthetjk a

1
rtket.
A hmrsklet, a nyoms, ill. a potencil trbeli eloszlst ler skalrterek
szintfelleteit izoterma, izobr, ill. ekvipotencilis felleteknek nevezzk.
3.2. Irnymenti derivlt s gradiens
A kznsges derivlt a fgg vltoz vltozsi sebessgt jelenti. Skalrterek
esetn bevezetjk az irnymenti derivlt fogalmt. Legyen e egy egysgvektor. A
( ) ( , , ) r x y z skalrtr e irny irnymenti derivltjnak az r
0
pontban az ehhez
az irnyhoz tartoz fggvnyrtk-vltozsi sebessget nevezzk:
d
ds
s
s
s

e
r
0
r e

lim
( )

0
0
Lthat, hogy ez a derivlt egyenl a ) s ( s :
0
e r + " fggvnynek s szerinti
kznsges derivltjval az s=0 pontban:
d
ds
d s
ds
s

e
r
0
r e

( )
0
0
Az irnymenti derivlt segtsgvel szemlletesen definilhatjuk a gradiens fogalmt.
Kpezzk az r
0
pontban az sszes irnymenti derivltat, majd keressk meg azt az e
0
egysgvektort, amelyhez tartoz irnymenti derivlt a legnagyobb. Az r
0
pontban a
gradiens vektor abszolt rtke egyenl a legnagyobb irnymenti derivlttal, irnya
pedig az e
0
irnyval megegyez. A gradiens abszolt rtke teht az adott pontbeli
legnagyobb fggvnyrtk-vltozsi sebessget jelenti, irnya pedig a leggyorsabb
nvekeds irnyba mutat.
A gradiens vektor definilsa trtnhet ms mdon, a kznsges derivlt
mintjra is. Ehhez azonban nem hasznlhat a differenciahnyados alak, mivel
vektor nem kerlhet a nevezbe. Viszont a nevezvel tszorozva a kvetkezkppen
8
definilhat egy skalr-skalr fggvny derivltja: az y=y(x) fggvny derivltja az x
0
pontban y , ha y megvltozsa
y y x x x x x + ( ) ( , )
0 0

alakban felrhat, ahol

lim ( , )

x
x x

0
0
0 .
Ennek mintjra egy ( ) r skalr-vektor fggvny derivltja az r
0
pontban a
grad vektor, ha
+ grad r r r r ( , )
0
alakban felrhat, ahol
lim ( , )

r 0
r r 0

0
.
3.3. Irnymenti derivlt s gradiens Descartes-fle koordintkban
Legyenek az e egysgvektor koordinti e e e
x y z
, , , az r
0
pont pedig x y z
0 0 0
, , .
Akkor az irnymenti derivlt a kzvetett fggvnyre vonatkoz differencilsi szably
felhasznlsval:
0
0 0 0
0
0

+ + +
+

s
z y x
s
) s z , s y , s x (
ds
d
ds
) s ( d
ds
d
e e e
e r
0
r
e
+ +

x
e
y
e
z
e
x y z
r r r
0 0 0
,
ami az e vektor skalrszorzata a

,
_

z
,
y
,
x
vektorral. Az utbbi ppen a gradiens
vektor Descartes-fle koordintkban kifejezve:
grad
d
d dx dy dx

+ +
r
i j k, amivel teht
d
ds
grad grad

e
r
r r
0
0 0
e cos
ahol a grad s az e vektorok ltal bezrt szg. Az utbbi alakbl az is lthat,
hogy az irnymenti derivlt maximuma ppen grad (cos =1). Msrszt - grad
ppen a leggyorsabb cskkens irnyba mutat (cos =-1). Ha viszont grad s e
merlegesek egymsra (cos =0), az irnymenti derivlt zrus, azaz a grad
merleges a ( ) r skalrtr szintfelleteire.
3.4. A vektortr vektorvonalai
Legyen a a r ( ) egy vektortr. Az a vektor koordintival kifejezhet, ezrt az
a a r ( ) vektortr egyenrtken megadhat az
a a a x y z
x x x
( ) ( , , ) r
a a a x y z
y y y
( ) ( , , ) r
a a a x y z
z z z
( ) ( , , ) r
hrom skalrtrrel, ill. hrom darab hromvltozs fggvnnyel.
9
A vektortr szemlltetsre bevezetjk a vektorvonalak fogalmt. A
vektorvonalak rintje brmely pontban egyez irny az ahhoz a ponthoz tartoz
fggvnyrtk irnyval.
A fizikban elfordul kt legfontosabb vektortr: az ertr -ekkor az a vektor
trerssget jelent-, s az ramlsi tr - ekkor az a vektor az raml folyadk
sebessgt jelenti. Az ertr vektorvonalait ervonalaknak, az ramlsi tr
vektorvonalait ramvonalaknak nevezzk.
Szoks a vektortr fgg vltozjnak
a
abszolt rtkt a vektorvonalak
srsgvel jellemezni oly mdon, hogy a vektorvonalakra merleges egysgnyi
felleten ppen annyi vektorvonal haladjon t, amennyi a fgg vltoz abszolt
rtke (ld. ksbb a fluxust).
3.5. Vektorterek integrljai
3.5.1. Vonalintegrl
Legyen g egy irnytott trgrbe, a a r ( ) pedig egy vektortr. Osszuk fel a g
grbt n rszre, az osztpontok legyenek P P P
n 0 1
, ,..., . Jelljk a P P
i i

1
vektort s
i

-vel, a
P P
i i 1
grbev valamely kzbens pontjnak helyvektort r
i
-vel. Kpezzk a
a r s ( )
i
i
n
i

integrlkzelt sszeget.
Ennek az sszegnek a "vgtelenl finomod
beosztsra vonatkoz hatrrtke" a
vonalintegrl:
ds a ) ( ) ( lim
g
s
g
n
1 i
i i
0

dr r a s r a
i
s
,
ahol ds jelli az vhosszelemet, a
s
pedig az a
vektornak a grbe rintje irnyba es vetlett.
Descartes-fle koordintarendszerben a vonalintegrl egy kznsges
egyvltozs hatrozott integrll alakthat t. Legyen adott a g grbe paramteres
alakban (a paramter lehet pl. az vhossz vagy az id):
x x y y z z ( ), ( ), ( ),
1 2
Ekkor a vonalintegrl a kvetkezkppen alakthat t:
+ +

) dz a dy a dx a ( ) (
z y
g
x
g
dr r a
[ ] [ ] [ ]

'

d
d
) ( dz
) ( z ), ( y ), ( x a
d
) ( dy
) ( z ), ( y ), ( x a
d
) ( dx
) ( z ), ( y ), ( x a
z y x
2
1
10
3.5.2. Felleti integrl
Legyen A egy fellet, a a r ( ) pedig egy vektortr. Osszuk be az A felletet n
rszre, a rszek terletei: A A A
n 1 2
, ,..., . Mindegyik rszfelleten vlasszunk ki egy
pontot, melyek helyvektorai: r r r
1 2
, ,...,
n
. A fellet normlisa az r pontban legyen n(r).
Kpezzk a
a r n r ( ) ( )
i i
i
n
i
A

integrlkzelt sszeget. Ennek az sszegnek a "vgtelenl finomod beosztsra

vonatkoz hatrrtke" a felleti integrl:
a
A
n
A
i
n
1 i
i i
0 A
dA a ) ( A ) ( ) ( lim
i

dA r a r n r a , ahol a
n
a r n r ( ) ( )
az a vektor normlis irny komponense. Az a r ( ) vektortrnek az A felletre vett
felleti integrljt az a fluxusnak nevezzk. A vektorvonalak srsgnek szoksos
megvlasztsa esetn a fluxus ppen egyenl az A felleten thalad vektorvonalak
szmval.
Ha a fellet normlvektornak n helyett -n-et vlasztjuk, akkor a felleti integrl
eljelet vlt. Bizonyos specilis esetekben az egyik irny kitntetett irny:
1./ zrt fellet esetben mindig a "kls" (kifel mutat) normlist vlasztjuk;
2./ ha a felletet egy irnytott zrt grbe hatrolja, akkor a fellet normlist gy
vlasztjuk meg, hogy az a grbe krljrsi irnyval jobbcsavart alkosson.
Lergztve a fellet normlisnak irnyt, a felleten a zrt grbket mindig
olyan krljrssal vesszk fel, hogy a normlis irnya azzal jobbcsavart alkosson.
Ezek a konvencik klnsen olyan azonossgok alkalmazsnl fontosak, ahol
egyidejleg tbbfle integrl fordul el (ld. ksbb Gauss-Osztrogradszkij-ttel,
Stokes-ttel).
A felleti integrl ltalban ktszeres integrllal szmthat ki. Az integrl
kiszmtshoz szksges, hogy a dA felletelemet a koordintkkal s a koordinta-
differencilokkal fejezzk ki.
Henger-, ill. gmbfellet esetben a dA felletelemet clszer gy
megvlasztani, hogy lei az e k

, , ill. az e e

, bzisvektorok irnyba mutassanak.
dA d dz dA r d d
2
sin
11
3.5.3. Vektorrtk vonal- s felleti integrl
Ha a vonalintegrl integrlkzelt sszegben a skalris szorzst vektorilis
szorzsra cserljk ki, akkor a
a r s ( )
i
i
n
i

integrlkzelt sszeget kapjuk, melynek hatrrtke az

g
dr a
vektorrtk vonalintegrl.
Hasonlan a
a r n r ( ) ( )
i i
i
n
i
A

integrlkzelt sszeg hatrrtke az

A
dA a
vektorrtk felleti integrl.
3.5.4. Vektortr trfogati integrlja
Legyen a r ( ) egy vektortr, V pedig a tr egy tartomnya. Osszuk be a V
tartomnyt n rszre, melyek trfogatai: V V V
n 1 2
, ,..., . Minden rsztartomnybl
vlasszunk ki egy pontot, melyek helyvektorai: r r r
1 2
, ,...,
n
. Kpezzk a
a r ( )
i
i
n
i
V

integrlkzelt sszeget. Ennek az sszegnek a "vgtelenl finomod beosztsra

vonatkoz hatrrtke" a

V
dV ) (r a
trfogati integrl.
Henger, ill. gmb esetn clszer a dV trfogatelemet tglatestnek vlasztani,
melynek lei a henger-, ill. polrkoordinta-rendszer bzisvektorai irnyba mutatnak;
ekkor:
hengernl: dV dA d d d dz ,
gmbnl: dV dA dr r dr d d
2
sin .
3.5.5. Az integrlok tulajdonsgai
A fentebb trgyalt integrlokra is rvnyesek a kznsges integrlszmts
fontosabb szablyai:
a) sszeg tagonknt integrlhat;
b) konstans az integrljel el kiemelhet;
12
c) egymsba nem nyl tartomnyok (intervallumok, felletek) egyestsre vett
integrl egyenl a rsztartomnyokra vett integrlok sszegvel.
3.6. Rotci
Legyen a r ( ) egy vektortr, S pedig egy, az r ponton tmen sk, melynek
normlvektora n. Az S skon vegynk fel egy irnytott zrt g grbt gy, hogy az r
pont a grbe belsejbe essen. Az

g
A
1
dr a
mennyisg hatrrtkt, mikzben a (rgztett) S skban lv g grbe a (rgztett) r
pontra zsugorodik, jelljk b
n
-nel:

g
0 A
n
A
1
lim b dr a ,
ahol A jelli a g grbe ltal krlzrt terletet. Az r pontot tovbbra is rgztve, de az
S skot (gy az n normlvektort is) vltoztatva, minden n-hez kapunk egy b
n
rtket.
Kimutathat, hogy az gy kapott b
n
rtkek egy vektornak az n irny komponensei;
ezt a vektort az a vektor rotcijnak nevezzk az r pontban:

g
0 A
n n
A
1
lim rot ) rot ( ) rot ( dr a a a n a
Kimutathat, hogy Descartes-koordintkban
rot
a
y
a
z
x
z
y
a

A msik kt koordintt ciklikus permutcival kapjuk:

rot
a
z
a
x
y
x z
a

rot
a
x
a
y
z
y
x
a

g
dr a mennyisget a vektortrnek a g grbn vett cirkulcijnak nevezik.
Ez a mennyisg a vektortr vektorvonalainak csavarodsval fgg ssze. A
cirkulcinak s a bezrt felletnek a hnyadost, ami a rotci defincijban
szerepel, tlagos felleti rvnysrsgnek nevezik. Ha az a vektortr ramlsi tr,
akkor a rotci az ramls forg, rvnyl jellegvel fgg ssze.
3.7. Divergencia
Az a r ( ) vektortr fluxusa egy zrt A felleten megadja az A fellet belsejbl
kijv vektorvonalak szmt (ez termszetesen gy rtend, hogy a felletbe bemen
vektorvonalak negatv eljellel jnnek szmtsba). Ezt a mennyisget az a vektortr
forrsnak nevezzk az A fellet ltal krlzrt V trfogat tartomnyban. Ha a az
egysgnyi srsg inkompresszibilis folyadk sebessge, akkor az a forrsa
13
szmrtkben egyenl a V trfogatbl idegysg alatt kiraml folyadk
trfogatval - ez indokolja a "forrs" elnevezst.
A forrsnak s a trfogatnak a hnyadost tlagos forrssrsgnek
nevezzk. Az tlagos forrssrsg hatrrtkt, amint a V trfogat egy (rgztett) r
pontra zsugorodik, az a vektortr r pontbeli forrssrsgnek vagy
divergencijnak nevezzk:

A
0 V
V
1
lim div dA a a
Kimutathat, hogy Descartes-koordintkban
l div
a
x
a
y
a
z
x
y
z
a + +

3.8. Stokes-ttel
A zrt grbe menti s a felleti integrlok kztt llapt meg sszefggst Stokes
ttele (rotci-ttel):


A g
rot d dA a r a
ahol A a g irnytott zrt grbe ltal hatrolt fellet.
A Stokes-ttel bizonytsa a kvetkez gondolatmeneten alapul: osszuk be az A
felletet olyan kis felletrszekre, amelyeken
az tlagos felleti rvnysrsg mr jl
megkzelti a rotci rtkt, azaz

i
i
g
n i
d rot A r a a
ahol g
i
az i-edik rszfelletet, a A
i
terlet,
n
i
normlis felletet hatrol zrt grbe.
sszegezve:

n
1 i
g
n
1 i
n i
i
i
d rot A r a a (!)
Figyeljk meg, hogy a grbe menti integrloknl a "bels" szakaszok jrulkai kt
szomszdos grbnl szerepelnek ellenttes eljellel (bra), ezrt az sszegezsnl
kiesnek. Marad teht

g
n
1 i
g
d d
i
r a r a
mg (!) bal oldaln a

A
rot dA a integrl kzelt sszege szerepel, gy a (!)
sszefggsbl hatrrtkben kvetkezik a Stokes-ttel.
14
3.9. Vektortr rvnymentessgnek felttelei
rvnymentesnek nevezzk az a vektorteret, ha rotcija nulla. Az
rvnymentes vektorterek fbb sajtossgai:
a./ rot a 0
b./ A vektortr egy skalrpotencilbl szrmaztathat: a grad
c./ A vektortr vonalintegrlja minden olyan grbre egyenl, melyek kezd- s
vgpontja megegyezik; azaz a vonalintegrl fggetlen az ttl, csak a kezd- s
vgponttl fgg.
d./ A vektortrnek brmely zrt grbre vett vonalintegrlja nulla.
Ha a vektortr a fenti tulajdonsgok brmelyikvel rendelkezik, akkor rendelkezik
a tbbivel is. Az a./ s d./ tulajdonsgok egyenrtksgt a Stokes-ttelbl
kzvetlenl lthatjuk. A c./ tulajdonsgot a kvetkezkppen lthatjuk be: Legyen g
1

s g
2
kt olyan grbe, amelynek kezdpontja P
1
, vgpontja P
2
. A g
2
grbe irnytst
megfordtva egy g zrt grbt kapunk, amelyre:


2 1
g g g
d d d r a r a r a
Ezrt d./-bl kvetkezik c./ s viszont.
Vgl tegyk fel, hogy
rot a 0 , azaz

a
y
a
z
z
y
, stb.
Jelljk ( ) r -rel az albbi mdon definilt skalrteret:

+ +
y
0
z
0
z y
x
0
x
dz ) z , y , x ( a dy ) 0 , y , x ( a dx ) 0 , 0 , x ( a ) z , y , x ( , azaz

g
d ) ( r a r
ahol g egy koordintatengelyekkel
prhuzamos lekbl ll trttvonal,
melynek kezdpontja az orig, vgpontja
az (x,y,z) pont.
Bebizonythat, hogy ha rot a 0 , akkor grad a, azaz az a./ sajtsgbl kvetkezik
a b./ sajtsg; ugyanakkor b./-bl is kvetkezik a./, mert
rot grad 0 brmely ( ) r -re.
A c./ tulajdonsg miatt

1
g
dr a ,
15
ahol g
1
az origban kezdd s az r pontban vgzd tetszleges grbe. Ha
0
kielgti az a grad
0
egyenletet, akkor minden olyan skalrtr is kielgti, amelyik a

0
( ) r -tl csak konstansban tr el ( +
0
c), mert
grad grad c grad grad c grad + + ( )
0 0 0
a
Adott rvnymentes trhez teht a potencilt csak egy nknyesen vlaszthat
additv lland erejig hatrozhatjuk meg, emiatt a g grbrl szksgtelen kiktni,
hogy az origban kezddjn.
3.10. Gauss-Osztrogradszkij-ttel
A zrt felleti s trfogati integrlok kztt llapt meg sszefggst a Gauss-
Osztrogradszkij-ttel (Gauss-ttel, divergencia-ttel):


A V
dV diva dA a
ahol A a V trfogatot hatrol zrt fellet.
A Gauss-ttel bizonytsa teljesen analg a Stokes-ttelvel. A V trfogatot kis
rszekre osztva, a divergencia defincijbl kapjuk, hogy kzeltleg
n ,..., 1 i div V
i
A
i i

a dA a
ahol A
i
a V
i
trfogatot hatrol zrt fellet. sszegezsnl a "bels" felletek
jrulkai eltnnek, s hatrrtkben addik a Gauss-ttel.
3.11. Vektortr forrsmentessgnek felttele
A forrsmentes vektorterek fbb sajtsgai:
a./ diva 0
b./ A vektortr vektorpotencilbl szrmaztathat, azaz van olyan b vektortr,
amelyre rot b a
c./ A vektortr felleti integrlja egyenl az
olyan felletekre, amelyeket ugyanaz a g
irnytott zrt grbe hatrol.
d./ A vektortr fluxusa brmely zrt
felleten zrus.
A fenti tulajdonsgok brmelyikbl kvetkezik a tbbi. Az a./ s d./
tulajdonsgok egyenrtksge kzvetlenl jn a Gauss-ttelbl. A c./ s d./
tulajdonsgok egyenrtksgt knnyen belthatjuk, ha a g zrt grbre kt felletet
fektetnk r. Az A
2
fellet irnytst megfordtva egy zrt A felletet kapunk, amelyre


2 1
A
2
A
1
A
dA a dA a dA a
16
A vektorpotencilbl szrmaztatott vektortr forrsmentes, mert div rot b brmely
b(r) vektortr esetn zrus. A ttel fordtottjnak igazolsa s adott forrsmentes
vektortrhez tartoz vektorpotencil megkonstrulsa bonyolultabb, ezrt ezzel itt
nem foglalkozunk.
3.12. Nabla-opertor. Magasabbrend derivltak.
Vektoranalitikai azonossgok
A skalr- s vektorterek differencilsval kapcsolatban szoks bevezetni a
nabla-opertort:
r
+ + i j k

x y z
A nabla egy vektoropertor, amelyet szorozhatunk jobbrl skalr- vagy vektortrrel.
Ezzel a jellssel knnyen megjegyezhetv vlnak a vektoranalitikai azonossgok,
mert a vektoroknl tanult szorzs szablyai ltalban rvnyesek maradnak olyan
szorzatban, amelynek els tnyezje a
r
.
Skalrtrre alkalmazva a nabla-opertort:

,
_

grad
z y x z y x
k j i k j i
#
Vektortrrel skalrisan szorozva:
a a k j i a div
z
a
y
a
x
a
z y x
z
y
x

,
_

#
s vektorilisan szorozva:
a
k j i
a rot
a a a
z y x
z y x

#
A nabla-opertor nmagval vett skalrszorzatt Laplace-opertornak nevezzk:
2
2
2
2
2
2
z y x

# #
, teht
( ) ( )
2
2
2
2
2
2
z
u
y
u
x
u
u grad div u u

# #
Megjegyezzk, hogy a nabla-opertort lehetsges definilni nemcsak Descartes-
koordintkkal, hanem ltalnosan is. Ms koordintkban az els- s msodrend
derivltak kifejezse ms, ugyanakkor az albbi vektoranalitikai azonossgok minden
koordintarendszerben rvnyesek.
A skalr- s vektorterek differencilsi szablyai szrmaztathatk a kznsges
differencils szablyaibl, amelyek felhasznlsval knny igazolni Descartes-fle
koordintkban az albbi vektoranalitikai azonossgokat:
17
sszeg differencilsa:
( ) + + grad grad grad
( ) b a b a rot rot rot + +
( ) b a b a div div div + +
Szorzat differencilsa:
( ) + grad grad grad
( ) a a a + grad rot rot
( ) a a a + grad div div
( ) a b b a b a rot rot div +
Kzvetett fggvny differencilsa:
d
dt
t grad
d
dt
( ( )) r
r

grad f
df
d
grad ( ( ))

r
Magasabbrend derivltak:
div grad
grad div rot rot a a a +
rot grad 0
div rot a 0
Ezekben az sszefggsekben s skalrtereket, a s b vektortereket jellnek, t
skalrvltoz, f pedig skalr-skalr fggvny.
Homogn vektortr divergencija ill. rotcija nulla ill. nullvektor; homogn (azaz
konstans) skalrtr gradiense zrus. Az utbbi llts megfordthat: ha egy skalrtr
gradiense a tr egy sszefgg tartomnyban zrus, akkor a skalrtr ebben a
tartomnyban konstans.
A fentiekben lttuk az els derivltak ( , , a a) "invarins" (azaz
koordintarendszertl fggetlen) jelentst. A Laplace-opertornak is van ilyen
jelentse. Emlkeztetl: ha az f egyvltozs fggvny grafikonja alulrl konvex (ill.
konkv), akkor az f msodik derivlt negatv (ill. pozitv). Ezt a sajtsgot
tbbvltozs fggvnyekre a kvetkezkppen ltalnosthatjuk.
konvex fggvny konkv fggvny
> f 0 < f 0
2
) x ( f ) x ( f
2
x x
f
2 1 2 1
+
<
,
_

+
2
) x ( f ) x ( f
2
x x
f
2 1 2 1
+
>
,
_

+
18
> 0 a krdses pontban a rtke kisebb, mint a "krnyezeti tlag". Itt a
krnyezeti tlagot a kvetkezkppen rtjk: vegyk krl az r
0
pontot egy kis
sugar g

gmbbel; ekkor a krnyezeti tlag -nek a g

felletre vett tlaga:

g
2
) (
4
1
dA r
A gmbfellet pontjaiban
( ) ( ) ( ) r r n r n
r r
+ +
0 0
0
grad grad , ezrt

g
2
0
grad
4
1
) ( dA r
3
g
3
4
dV grad div dA grad
0

r
Ezen sszefggsekbl

3
0
2
lim
Teht ha > 0, akkor a krnyezeti tlag -elg kis krnyezetben- nagyobb, mint a
pontbeli rtke (

> ).