.
Ebből az origó körül cp szöggel való elforgatás mátrixa már leolvasható: cos (p — sin ( sin (p cos i 123
Az ábrán a (p és az a + cp hegyesszögek voltak, de állításunk tetszőleges szögek esetére is igaz. 4. Forgassuk el a tér egy p = [x; y; z]* vektorát az e3 vektor (z tengely) körül pozitív irányban (p szöggel! írjuk fel a forgatás mátrixát! Jelölje az elforgatott vektort p' = [x';/;z']*. A forgatás során p harmadik koordinátája nem változik, azaz z' = z. Az ei, e 2 vektorok síkjában az origó körüli (p szöggel való elforgatás eredményeképpen x' = x cos (p — y sin (p, y' = x sin
(x2) kiszámítása megfelel annak, hogy megkeressük az y =
1. Ebben az esetben - ha létezik - a (p függvény '— - egyenesre való tükrözés mátrixa 122 yz síkra való tükrözés mátrixa 123
Oldjuk meg aze~x~x = 0 egyenletet a valós számok halmazán az iteráció módszerével öt jegy pontossággal! Megoldás. Az egyenletet az
alakra hozva és az y — e * és y = x egyenletű grafikonokat ugyanabban a koordinátáy
y=é~* \ r X 1i 0
1 éi. ábra
rendszerben ábrázolva (43, ábra) látható, hogy az egyenlet egyetlen gyöke a [0; 1] intervallumban van. Mivel a [0; 1] intervallum bármely x értékére f(x)
1 < 1,
ezért az iteráció módszere alkalmazható. Induljunk ki például az xx = 1 értékből és képezzük a közelítő gyökök sorozatát:
175
e - 1 := 0,3678. =
e~ 0,6922. = e~ 0,5004. = e~ •0,6063. = e~ -0,5454. = e~ -0,5796 = e~ -0,5601 = e~ -0,5711 = e~ -0,5649 = e -0,5684 = e~ -0,5664 = e -0,5675 = e -0,5669 = e 0,5672 = e -0,5670 = e -0,5671 = e
0,3678, 0,6922, 0,5004, 0,6063, 0,5454, 0,5796, 0,5601, 0,5711, 0,5649, 0,5684, 0,5664, 0,5675, 0,5669, 0,5672, 0,5670, 0,5671, 0,5671.
A keresett gyök közelítő értéke öt jegy pontossággal X =
0,5671.
Végigtekintve a kiszámított értékeken látható, hogy példánk a 40. ábrán szemléltetett esetet valósította meg.
176
FÜGGELÉK VEKTORANALÍZIS
1. EGYPARAMÉTERES VEKTOR-SKALÁR-FÜGGVÉNYEK, TÉRGÖRBÉK
L1 Az egy skaláris változótól függő vektorfüggvény Tekintsük a valós számok halmazán vagy részhalmazán értelmezett három egyváltozós függvényt, az y, z függvényeket, és legyen e függvényeknek a t valós értékhez (paraméterértékhez) tartozó x(t), y(t) és z(t) helyettesítési értéke egy r helyvektor három koordinátája a derékszögű koordináta-rendszerben: t h> r(0 - x(t)i + y(t)i + z(t)k. Ha a t paraméter befutja az értelmezési tartományt, akkor az előbbi utasítással egy skaláris változótól (paramétertől) függő vektorfüggvényt, röviden egyparaméteres vektor-skalár-függvényt értelmeztünk. Ilyen függvénnyel eddigi tanulmányaink során már találkoztunk, ugyanis az egyenes r (0 = r0 + t\ = (x0 + tv,$ + (y0 + tvy)i + (z0 + tüjk vektoregyenletének (1.3.1 pont) a jobb oldala egyparaméteres vektor-skalár-függvénynek tekinthető. Az értelmezett leképezés R->R 3 típusú. Annak érdekében, hogy az r vektor-skalár-függvényt az r vektortól megkülönböztessük, a függvényt sokszor r(í)-vel fogjuk jelölni. Az r(0 vektor-skalár-függvény értelmezési tartományát Z)r-rel, az értékkészletet jRr-rel szokás jelölni. I=f(t) Ha az r(í) vektor-skalár-függvény értékkészletét alkotó helyvektorokat egy derékszögű koordináta-rendszerben ábrázoljuk, akkor ezek végpontjainak a halmaza az r(í) grafikonját alkotja. Ez általában egy térgörbe (FI. ábra). Ha az r(í) vektor-skalár-függvénynek csak két komponense van, akkor grafikonja síkgörbe, de nem minden síkgörbe adható meg kétkomponensű vektor-skalár-függvénnyel. FI. ábra 179
A t paraméternek több különféle jelentés tulajdonítható. Ha például t időt jelent, akkor az r(t) vektor-skalár-függvény egy mozgó pont pályagörbéjét írja le. Az r vektor-skalár-függvény egy adott t0 paraméterértékhez tartozó vektorát r(í 0 )-lal vagy röviden r 0 -lal fogjuk jelölni. Ha a függvény komponenseit vagy a koordinátáit is fel akarjuk tüntetni, akkor az r('o) = x(t0)i + y(t0)i + z(t0)k vagy az r(x(t0); y(t0);
z(t0))
jelölést alkalmazzuk. r függvény határértéke a t0 paraméterértékű pontban a W vektor, ha minden s e R + számhoz van olyan ő ( é ) e R + szám, hogy bármely, a 0 < \t~t0\ < ő feltételt kielégítő t esetében DEFINÍCIÓ. A Z
| r ( 0 - W | < £. Ha r-t komponenseivel írjuk fel, akkor látható, hogy r határértékének létezése három skalárfüggvény határértékének létezését követeli meg. DEFINÍCIÓ. AZ r vektor-skalár-függvény folytonos a t0 paraméterértéknél, ha ott van helyettesítési értéke, van határértéke és a kettő egyenlő egymással.
r komponenseire áttérve látható, hogy r folytonossága az x9 y és z függvény folytonosságával egyenértékű. Az r függvény az [a; b] paraméterintervallumban folytonos, ha annak minden pontjában folytonos; ekkor grafikonja folytonos vonal.
KIDOLGOZOTT PÉLDA
Tekintsük azt a hengert, amelynek vezérgörbéje az x, y síkban az x2 + y2 = a2 egyenletű kör és tengelye a z tengely. írjunk a hengerre olyan csavarvonalat, amelynek emelkedése állandó, legyen ez b. írjuk fel a csavarvonal egyenletét! Megoldás. Az adott kör paraméteres egyenlete x = a cos t, y = a sin t. A csavarvonal állandó b emelkedése azt jelenti, hogy a paraméter egy radiánnyi növekedése esetén a csavarvonal pontjai a henger tengelye irányában, esetünkben a z tengely irányában b egységnyit elmozdulnak (F2. ábra). így a keresett csavarvonal vektoregyenlete r(í) = (a cos 180
+ (ö sin
+ btk.
A csavarvonal egy menetét akkor kapjuk meg, ha O ^ k í ^ l n . A csavarvonal menetmagassága a h = 2nb érték. Ha ez ismert, akkor ebből az emelkedés b = hjln. A hengerre írt állandó emelkedésű csavarvonal menetei egybevágóak. A henger tengelyének egy egységnyi hosszára eső menetek száma: a menetsűrűség. Léteznek nem állandó emelkedésű csavarvonalak is, ezek menetsűrűsége változó.
F2. ábra
1.2 Deriváltfüggvény DEFINÍCIÓ. A Z r vektor-skalár-függvényt differenciálhatónak mondjuk a t0 e Dr paraméterértékű pontban, ha áttérve az értelmezési tartomány egy t paraméterértékű pontjára (F3. ábra), a
r(0-r(*o) r hm t-*t o t—t0 határértékvektor létezik. Ez a határérték a differenciálhányados-vektor, jele í(70). F3. ábra
Az í(70) vektor az r = r(Y) egyenletű görbének a t0 paraméterértékű pontjában húzható érintője irányába mutat, azaz az érintő egyik irányvektora. Ha az r függyény a ]t1; t2[ <= Dr intervallum minden pontjában differenciálható, akkor az intervallumban differenciálható, és a t í(0, t e ; t2[ függvényt az r dr függvény deriváltfüggvényének vagy deriváltjának nevezzük; jele í, — . dt Az í deriváltfüggvény komponensei a t0 paraméterértéknél az eredeti függvény komponenseiből a definíció alapján a következő módon határozhatók meg:
181
r(70) = lim t-*t o
t—t0
rx(t)-x(t0). = hm r-íoL
H
y(t)-y(to).^
]+
t~to
z(t)-zQ0) t-t0
~] k = J
= x(t0)i + y(t0)j + z(t0)k. így a deriváltfüggvény komponensei : r(t) =
+
+
teDr.
Hasonló módon mutatható meg, hogy ha az r(í) = x(t)i + y(t)j + z(t)k kétszer differenciálható, akkor a második derivált komponensei az eredeti függvény komponenseinek második deriváltjaival egyenlők: í(0 = x(t)i+y(t)j
+ z(i)k,
t e Dr.
Hasonló szabály érvényes a magasabbrendű deriváltak kiszámítására is. Az r vektor-skalár-függvény differenciálhatóságát a következő módon is definiálhatjuk : DEFINÍCIÓ. A Z r függvényt a t0 paraméterhelyen differenciálhatónak mondjuk, ha a paraméterértékeket At=t-t0 értékkel megváltoztatva a függvény r(0-r(ío) = Ar megváltozása felírható a
Ax = DAt + eAt alakban, ahol D a í 0 -tól függő, de a At-tői független vektor és ha At-+0, akkor
Belátható, hogy D az első definícióban szereplő í ( t 0 ) vektorral egyenlő, vagyis Ar = i(t0)At + zAt. Ha r differenciálható egy intervallumban és í ott folytonos, akkor azt mondjuk, hogy az r grafikonja sima ebben az intervallumban. Könnyen bizonyíthatók a következő differenciálási szabályok: d \. — (ar(t)) = űí(f), (
182
3 . ^ ( r 1 ( í ) + r 2 (0) = í 1 ( 0 + f 2 ( 0 ; d 4 . - 0 ^ ( 0 ^ ( 0 ) = ^(01-2(0+^(0^(0; d 5. - ( r t ( 0 * r 2 (0) = i i ( 0 * r 2 ( 0 + r t ( 0 * * 2 (0 í d 6. - ( ^ ( 0 ^ ( 0 ^ ( 0 ) = ^ ( O r ^ O r j í O + riíO^ÍOraíO + r^OraCOfaíO; . , 7 . dt -dr ( / ( 0 ) = -dr/ ( O Td ( r ° / ) =
KIDOLGOZOTT PÉLDÁK
1. Példa. Határozza meg az R(0
=
(e2t sin í)i + (t sh
0J
+ (t2+
L)K,
te
R
első és második deriváltját! írja fel a deriváltvektorokat a íq^O helyen! Megoldás. Az első derivált: í ( 0 - (2e2t sin í + e2t cos í)i + (sh t+1 ch t)j + 2tk; a második derivált: r(t)
=
A deriváltak az adott
(3E
2 Í
sin t+4e2t cos
Í)I +
(2
ch F •+1 sh
0J +
2K.
helyen: F(0)
=
I;
F(0)
=
4I +
2J +
2K.
2. Példa. Mutassuk meg, hogy ha |r(í)| állandó, akkor í(f) merőleges r(/)-re (/ e Dv)\ Megoldás. Ha |r(í)l = c (állandó), akkor r 2 {t) = r(f)r(0 = c2. Mind a két oldalt differenciálva 2xWf)
= 0,
és ez éppen azt jelenti, hogy í(f) merőleges az r(í) vektorra.
183
1.3 A görbe kísérő triéderének élei és síkjai Az r(0 = x(t)i +y(t)\ +z(t)\i, t e R görbe érintőjének egy irányvektora r. Ez általában nem egységvektor. Az irányába mutató egységvektort tangenciális egységvektornak nevezzük és t-vel jelöljük: r
Az r = r ( t ) egyenletű görbe t0 paraméterű pontjába mutató helyvektora r(í 0 ), az érintője egy irányvektora f ( t 0 ) , ezért az érintő vektoregyenlete: W(t>) = r(t0) +
rt(to),
veR.
Ha az egyenlet két oldalán álló vektorok komponenseinek egyenlőségét írjuk fel, akkor az érintő skaláris egyenletrendszerét kapjuk: X = x(t0) + vx(t0), Y = y(t0) + vy(t0), Z = z(t0) + vz(t0).
veR.
Ez röviden így is írható: X=x0
+ vx0;
Y —
-f~ vy$ \
Z = z0 + vz0;
veR.
Ha r egyik koordinátája sem zérus, akkor az egyenletrendszerből v kiküszöbölhető, és ekkor az érintő egyenletrendszere X-Xp X
0
=
Y-y0 jo
=
Z-z0 z
o
Tekintsük az r = r(/) görbe három pontját! Ezen a három ponton át (ha nem esnek egy egyenesre) egy sík fektethető. Közeledjünk pl. a két szélső ponttal a középső r 0 helyvektorú P0 ponthoz és képzeljük el az így kapható síkok sorozatát! A görbe P0 pontbeli simulósíkjának nevezzük az előbb konstruált síkok határsíkját, ha a két pont P0 tetszőleges közelébe kerül. Be lehet látni, hogy a simulósíkot az í(í 0 ) és az r(t0) vektorok feszítik ki, ezért a simulósík egy normálvektora az í(f 0 ) x if(f0) vektor. Ha W(X; Y; Z) jelöli a simulósík egy tetszőleges pontjának a helyvektorát, r 0 egy adott pontjának a helyvektorát, akkor a simulósík vektoregyenlete (íoxro)(W-ro) = 0 184
alakú és ez skalár alakban determináns segítségével írható fel: X~x0 x o
Y-y0^ yo yo
Z~z0 o z o
z
Ha a görbe síkgörbe, akkor minden pontja (így a simulósík definíciójához felhasználtak is) ugyanabban a síkban, mégpedig a simulósíkban van. Az r x f vektor irányába mutató egységvektort binormálisnak nevezzük és b-vel jelöljük.
b =
rxr |í x r|
A binormális a definícója miatt merőleges az í-ra és ezzel a t-re is. A binormális vektor irányába mutató egyenest binormális egyenesnek nevezik, vektoregyenlete W(i>) - r(/ 0 ) + # 0 ) x i f ( g ) )
veR.
Ez az egyenlet is átírható skaláris alakba. Az érintő és a binormális vektorok merőlegesek egymásra, ezért síkot feszítenek ki. A sík neve: rektifikáló sík. A rektifikáló sík normálisa (í x ¥) x f irányú, ezért egyenlete: [(ro x f 0 ) x f 0 ] ( W - r 0 ) = 0.
A z ( f x f ) x f irányú egységvektort fönormálisnak nevezik és f-fel jelölik:
f =
(í x r) x f |(í x f ) x f |
Mivel t és b egymásra merőleges egységvektorok, ezért az irányítást is figyelembe véve f -
txb.
A főnormális irányába eső egyenes vektoregyenlete W(t>) = r 0 + v[(ro x r 0 ) x f 0 ],
v s R.
185
A főnormális és a binormális által kifeszített síkot normálsíknak nevezzük; egy normálisa az érintő irányába mutató vektor, vektoregyenlete tehát * o ( W - r 0 ) = 0. A t, f, b páronként egymásra merőleges egységvektorok alkotják (ebben a sorrendben) a görbe kísérő triéderét, amely bázisnak is választható. A három vektor páronként egy-egy síkot feszít ki: t és f a simulósíkot, f és b a normálsíkot, b és t a rektifikáló síkot. KIDOLGOZOTT PÉLDA
Határozzuk meg az r (t) = (t3 — l)i + (2t2 + l)j + (3f — 2)k egyenletű térgörbe t0 = 1 paraméterű pontjában a kísérő triédere éleinek és síkjainak az egyenletét, valamint a kísérő triéder vektorait! Megoldás. A szóban forgó pont helyvektora r(l) = 3j + k,
így
Po(0;3;l).
A szükséges deriváltak és a helyettesítési értékek: f(t) = 3í 2 i-f-4fj + 3k, r(0 - 6ri + 4j,
r(l) - 3i + 4j + 3k; r(l) - 6i + 4j.'
Az érintő egy irányvektora r(l), ezért vektoregyenlete W(ü) - R(l) + tf(l) - 3ri + (3 + 4T?)j + (l + 3ü)k,
skaláris egyenletrendszere x = 3v,
y = 3 + 4v,
z = 1 + 3v,
ve R.
A binormális egyenes egy irányvektora f x f , Esetünkben
r(l> x f(l)
i 3 6
j 4 4
k 3 = - 121+ 18j— 12k, 0
ezért az irány vektor a b t (2; - 3; 2) vektor lehet. A binormális egyenes vektoregyenlete W(») = r(l) + vbi = 2vi + (3 - 3t»)j + (1 + 2o)k. 186
A főnormális egyenes egy irányvektora az (í x ?) x r. Esetünkben i (f(l)xf(l))xr(l) =
j
k
-12
18
-12
3
4
3
= 102i- 102k,
ezért az irányvektor az f ^ l ; 0; - 1) lehet. A főnormális egyenes vektoregyenlete W(c) = r(l) + »fi =
+ 3j + (1 - u)k.
A simulósík egy normál vektora az í(l) x f ( l ) vektor, ezért egyenlete - 1 2 ( x - 0 ) + 18(y —3)— 12(z— 1) = 0, illetve rendezés után 2x-3y+2z
+ l = 0.
A normálsík egy normálvektora az í(l) vektor, ezért egyenlete 3(x—0) + 4(y —3) + 3(z— 1) = 0, illetve 3x + 4y + 3z — 15 = 0. A rektifikáló sík egy normálvektora az (í(l) x f(l)) x f(l) vektorral párhuzamos f t vektor, ezért a rektifikáló sík egyenlete x-z+l
= 0.
A kísérő triédert kifeszítő három egységvektor: t =
r(l)
3 4 3 - — : i + T = j + 7 = k = 0,51i + 0,69j + 0,51k; l*(l)l ^34 /34 j/34
i(l)xf(l) -12 18 -12 b = ..... = ~ i = i + T = j + T = k = - 0,49i+ 0,73j-0,49k; |f(l)xf(l)l |/612 |/6Í2 j/612
f = bxt =
6 ^34 |/612
i 2 3
1 1 — P (17i— 17k) = - p i 17|/2
j 3 4
k -2 3 1
k = 0,71i-0,71k.
187
1.4 A görbe ívhossza Az x = x(t), y = y(t) alakban, azaz paraméteresen megadott síkgörbék ívhossza a ty és t2 határok között - amint azt már láttuk ([1], 4.6.2 pont) - az s = )%x(t)}2 + \y(t)]2dt tl integrál adja meg. Ha az előbbi síkgörbét az r(t) = x(t)i + y(t)} alakban képzeljük megadva, akkor az ívhosszat megadó képlet ti 5 = J |í| dt ti alakban írható fel, és belátható, hogy ez érvényes akkor is, ha a görbe nem síkgörbe. A görbe t0 paraméterű rögzített pontjától egy tetszőleges (változó) t paraméterű pontjáig terjedő ív hosszúsága az előbbiek szerint t J |í| dt = to
s{t)-s(t0\
ahol s(t) t-tői függ, s(f 0 ) állandó. Az ívhossznak t szerinti deriváltja így |í| =
^ ^ dt
vagy röviden ds
ugyanis az állandó s^o) deriváltja 0. Ez azt jelenti, hogy ha r(f) egy mozgó pont pályáját írja le, akkor a mozgás pályasebességének nagysága az első deriváltvektor abszolút értékével egyenlő. KIDOLGOZOTT PÉLDA
Számítsuk ki az r(t) = (e 4t cos 0i + (e4t sin t)j + ]fl e4tk kúpos csavarvonal ívhosszát, ha O ^ t ^ l . [1] Kovács József-Takács Gábor-Takács Miklós: Analízis. Főiskolai tankönyv. Tankönyvkiadó, Budapest, 1986.
188
Megoldás. Mivel í ( 0 = e4t(4 cos t - sin t)\ + e4t(4 sin t + cos t)j + 4 fle4% |f(0l = e 4 í |/l6 + 1 + 32 = 7e 4í , ezért az ívhossz í ^[0; 1] = j* le4t dt = 7
= ^ ( e 4 - 1) = 93,8
o egység.
1.5 A vektor-skalár-függvény szögsebessége Ha az adott w(0 vektor-skalár-függvénynek az értelmezési tartománya két különböző tt és t2 értékéhez tartozó w(^) és w(í 2 ) vektorát közös kezdőpontból felrajzoljuk, akkor a két vektor általában nem egyirányú, hanem pl. Acp szöget zár be egymással. A w vektor-skalár-függvény átlagos szögsebességén a A(p At
A(p t2-tx
hányadost értjük, amely arra ad felvilágosítást, hogy a paraméter egységnyi megváltozása a vektornak mekkora szöggel való elfordulását eredményezi. Értéke annál inkább jellemző a w függvény helyi viselkedésére, minél kisebb At intervallumra képezzük az előbbi hányadost. így jutunk el a pillanatnyi szögsebesség fogalmához, amely az átlagos szögsebesség határértéke, ha A t minden határon túl csökken : d(p A(p co = — = lim — . dt At-+o At Feladatunk most már csak annak a kiderítése, hogyan kell a pillanatnyi szögsebességet a w(t) képletéből kiszámítani. Tekintsük a w vektor-skalár-függvényt a t és t + At helyen. A két vektor által bezárt szög legyen A(p (F4. ábra). Ekkor |w(f)xw(f + zlOI = |w(0l |w(f + Jf)lsi:n A(p, és ebből - mivel w(í) x w(t) = 0 . , | w ( 0 x (w(/ + sin Aw = |w(/)l \w(t + At)\
F4. ábra
189
A következő bővítés nem változtat az egyenlőség helyességén: w(0 :
sin A(p A(p A(p Ha At -> 0, akkor A
At
0 és
w(í +
At)-Yf(t) At
|w(í)l \w(t + At)\
sin A(p
1, továbbá
Acp
w (t +
At)-Yi(t)
At
pillanatnyi szögsebesség értéke
dtp
Acp |w(/)xw(/)|
= — = lím — = dt At
-—— |w(/)l
vagy röviden
co —
|WX W|
iwl2
KIDOLGOZOTT PÉLDA
Határozzuk meg az r(0 = ( í 3 - l ) i + ( 2 f 2 + l ) j + ( 3 f - 2 ) k vektor-skalár-függvény szögsebességét a í = l paraméterű pontjában! Megoldás. Az előző fejezet példájában láttuk, hogy r(l) = 3j + k,
f(l) = 3i + 4j + 3k.
Ezekkel i r(l)xf(l) = 0 3
j 3 4
k 1 = 5i + 3 j - 9 k . 3
így d
190
rad = 1,07 — . 10 s
w(í), és így a
1.6 A görbület A hétköznapi életben, például gépkocsi vezetése közben is fontos tudnunk, hogy milyen éles kanyarban, azaz mennyire görbe útvonalon haladunk éppen. Egy görbe fontos és jellemző adata, hogy - tréfásan szólva - mennyire görbe a görbe, mennyire tér el az egyenestől. Gépkocsinkban azt is tapasztaljuk, hogy azt a görbét kell görbébbnek tekintenünk, amelynél az érintő irányának (a gépkocsi irányának) a megváltozása azonosan hosszú úton nagyobb. E tapasztalatok birtokában a görbe átlagos görbülete a következő módon definiálható: Tekintsünk a görbén két különböző pontot, P-t és Q~t, jelölje a közöttük lévő ív Lfű hosszát ás. Legyen a görbéhez a P és Q pontban húzható érintők hajlásszöge Aa. A — Js hányadost a görbe PQ ívéhez tartozó átlagos görbületének nevezzük. Ez az érték természetesen attól is függ, hogy mekkora ívre képeztük a viszonyszámot; nyilvánvaló, hogy ha az ív hosszát csökkentjük, akkor az átlagos görbület egyre pontosabban jellemzi a görbe helyi görbületét, amelynek a definíciója a következő: DEFINÍCIÓ. A görbe P pontbeli G görbületének nevezzük a PQ ívéhez tartozó átlagos görbületének a véges határértékét, amikor a Q pont tetszőleges pontossággal megközelíti a P pontot (a As ív hossza nullához tart):
Aa da G = lim — = — . ds —* o As ds A definícióból következik, hogy G ^ O és az egyenes görbülete 0. Feladatunk most annak a meghatározása, hogyan kell az r = r(í) egyenletű görbe görbületét kiszámítani. A görbület definíciójában szereplő határérték a kővetkezőképpen alakítható át: da Aa (Aa da ds G = -7- = hm — = lim — : — = — : —, ds ás-o As m0 \At AtJ dt dt da 0 (de fordítva nem biztos!), és ahol — az érintővek~ dt tor, vagyis r szögsebessége, tehát
ugyanis ha As -> 0, akkor At
da^ dt
=
*
1*(0 X? (01 |í(0l2
191
— pedig az ívhossz t szerinti deriváltja (1.4 fejezet), vagyis dt ds dt
m \ .
=
Ezeket felhasználva a görbület G =
da ds
m*m\
dt ' dt
m\
IYAl 4
vagyis (elhagyva a paraméter jelölését): r
xr
A görbület dimenziója a hosszúságegység reciproka. Utólag megállapítható, hogy csak a legalább kétszer differenciálható r függvénnyel megadható görbének értelmezhető a görbülete. Be lehet bizonyítani, hogy a görbület reciproka a görbületi kör sugarával egyenlő:
KIDOLGOZOTT PÉLDÁK
1. Példa. Számítsuk ki az r (0 = (/3— \)i + (2t2+ l)j + (3í —2)k,
te R
egyenletű görbe görbületét a / = 1 paraméterű pontjában! Megoldás. Az 1.3 fejezet kidolgozott példájában láttuk, hogy í ( l ) = 3i + 4j + 3k,
í ( l ) x f ( l ) = — 12i+ 18j— 12k,
így a görbület
G =
192
(/12 2 + 1 8 2 + 122 (|/9+ 16+ 9) 3
612 ~ V 39304
= 0,125.
2. Példa. Mutassuk meg, hogy a hengerre írt r(0 = (3 cos t)i + (3 sin Oj + 4tk,
teR
csavarvonal görbülete állandó. Megoldás. Mivel í ( 0 = ( - 3 sin t)i + (3 cos Oj + 4k; r(0 = ( - 3 cos t)i — (3 sin Oj;
i r(0 x r(0 =
j
- 3 sin t — 3 cos t
k
3 cos t 4 = (12 sin / ) i - (12 cos — 3 sin t 0
íí(0 x f(/)| - |/Í44 + 81 - 15;
|r| =
0j + 9k;
16 = 5,
e/ért 15 G = - = 0,12, 5^ ez pedig állandó.
1.7 A torzió A görbe görbülete arról tájékoztat minket, hogy a görbe mennyire tér el az egyenestől. A görbe egy másik fontos tulajdonsága az, hogy mennyire tér el a síkgörbétől. Ha a görbe síkgörbe, akkor az a sík, amelyben a görbe elhelyezkedik, a görbe simulósíkja; ha a görbe nem síkgörbe, akkor simulósíkja pontról pontra változhat, és ezt a csavarodást a simulósík normálvektorának, azaz a görbe binormálisának a változásával lehet mérni. DEFINÍCIÓ. A
görbe T torzióját (csavarodását) a következő határértékkel defini-
áljuk : d$ ds
T = F =
AP lim-f, Js-+o As
ha ez véges, ahol A/í a görbe binormálisának a As ív mentén bekövetkezett irányváltozását jelenti. Átalakítva a kifejezést:
js-o As
át-*o\At
At)
dt
dt 193
és itt — a binomiális szögsebessége, azaz dt dfi _ ib(r)xb(QI !b(r)í2
dt
ds és —- = |r(0K Ezeket felhasználva és b helyébe a vele párhuzamos f x f vektort dt helyettesítve egyszerű (de hosszadalmasabb) átalakítás után a
[" I
=
\r(t)r(tW(f)\ if(/)xf"(r)| 2
kifejezést kapjuk. Ha a számlálóban álló vegyesszorzatnak nem vesszük az abszolút értékét, akkor előjeles torzióról beszélünk (itt már nem írtuk ki a paraméter jelét): r rí' r x f |2 ' és a torzió előjelének érdekes geometriai jelentés tulajdonítható. görbét jobb-, vagy balcsavarodásúnak nevezzük aszerint, amint a torziója pozitív vagy negatív. Ha T— 0, akkor a görbe síkgörbe. (Emlékeztetőül: a facsavar menetének éle jobbcsavarodású.) DEFINÍCIÓ. A
Utólag látható, hogy torziója csak a legalább háromszor differenciálható r függvények görbéjének értelmezhető.
KIDOLGOZOTT PÉLDÁK
1. Példa. Számítsuk ki az r(0 = ( / 3 - l ) i + ( 2 r 2 + l ) j + ( 3 í - 2 ) k ,
te R
térgörbe torzióját a 1 pontban! Jobb- vagy balcsavarodású-e a görbe e pontban? Megoldás. Az 1.3 fejezet kidolgozott példájában láttuk, hogy í ( l ) x f ( l ) = — 12i+ 18j — 12k, 194
| í ( l ) x jf(l)| - |/6l2.
Mivel'?(t) = 6i, TP(1) = 6i, ezért [r(l) x f(l)]r (1) = - 7 2 , és így az előjeles torzió -72
T =
= -0,118;
612
és ez azt is jelenti, hogy a görbe ebben a pontban balcsavarodású. 2. Példa. Bizonyítsuk be, hogy az
r ( , )
TT(k'
"
, 6 { R X ± 1 !
egyenletű görbe síkgörbe! Megoldás. Állításunkat bebizonyítottuk, ha beláttuk, hogy a görbe torziója a t paraméter minden lehetséges értékére 0. Először a deriváltfüggvényeket számítjuk ki: 2 m
2t
~ ö^7)
ö+ö2k' 2(1 + 3 t 2 )
4
r ( 0
1
2Í+
-2
12 . 24f(l + 1 2 ) . ~ (W)*14"
6 (T+ö*k'
A torzió képletének számlálójában álló vegyesszorzatot két lépésben számítjuk ki: í 2 Ht) x f(í)
21
k 1
(l-^2)2 2(1+ 3í 2 ) (i - t2y
(1 + 0 2 -2 (i + 0
J 2
(1-0 4 (i - ty
2(1+ 3í 2 )
•41 (1 - t 2 ) \ \ + í3)
(l + í 2 ) ( l - í 2 ) 3
-4
4
2
+
(l-í) (l + 0 4(1 + 312)
3
2
(l-f) (l-r) •2 2 3- i +
(1 - r )
(1 — í ) 3 0 +1) :
j+
8/ 3
3
(l-í) (l-í2)
8 2
i
3
(l-í ) '
4 -2 7 7 —2 ^3 k = — 2— - (i + 4j + 2k). (1-í ) (1-í > 195
Ezt felhasználva a vegyesszorzat + 24[ —(1 +
Q
4
+
8/(1 + 1
2
3
+
8;(L +
,2x4 + 2
) +
2
(l-/ ) (l-í ) 2 4 [ - 4 ; - 4 Í
3
H Y M ]
(1 -
Q
4
]
4 R -
4t
3
4
Í2) -
]
4
- 0,
ezért r = 0, és így a görbe síkgörbe. A T nevezőjét ezek után fölösleges kiszámítani.
1.8 Az ívhossz mint paraméter Ha az r(/), t e R egyparaméteres vektor-skalár-függvény t paraméterének speciális san az s ívhosszat választjuk, akkor a függvény, illetve a vele megadott grafikon (térgörbe) eddig megemlített jellemző adatai (pl. a kísérő triéder elemei, a görbület, a torzió) kiszámításához megadott képletek alakja sokkal egyszerűbbé válik. Tekintsük az r(0 = x(t)i + y(t)j + z(t)k,
te[tu
t2] c= R
egyparaméteres vektor-skalár-függvényt, és legyenek az x(t), y(t), z(t) függvények a t paraméter folytonosan differenciálható függvényei. Ekkor az s(t) = J I r I di ti integrál létezik és az r(/) függvény grafikonjának ívhosszát adja meg a [tu t] intervallumban. Ha ezt az s ívhosszat választjuk a függvény paraméterének, akkor az r függvény az r(s) = x(s)i +
+ z(,s)k
alakban írható fel. TÉTEL. AZ R^) vektor-skalár-függvény ségvektorral egyenlő, azaz
196
s szerinti deriváltja az érintő irányú egy-
(Az s ívhossz szerinti differenciálást a t paraméter szerinti differenciálástól való megkülönböztetés érdekében vesszővel fogjuk jelölni.) Bizonyítás. Az összetett és az inverz függvény differenciálási szabálya szerint ugyanis dt
dr dt
dr ds
ds
dt ds
dt dt
ds Mivel (1.4 fejezet) — = | í | , ezért dt dr
r
ds
|r| '
ez pedig éppen az érintő irányú egységvektor, azaz r=t és így | r' | = 1. Mivel |r'| = 1, azaz állandó, ezért r' deriváltja, az r" merőleges r'-re, vagyis r"_Lr'. TÉTEL. Azt állítjuk, hogy r" abszolút értéke a görbülettel egyenlő, azaz G= |r"|. Bizonyítás. Ha az ívhosszt választjuk paraméternek, azaz t = s, akkor |r x f|
|r'xr"|
de | r' ] = 1, ezért | r' | 3 = 1, továbbá már láttuk, hogy r" _L r', ezért | r' x r" | = = |r'| |r"| sin 90° = Ir"!. Ezeket felhasználva G = |r"|, és ezzel állításunkat beláttuk. Az r" vektor irányába mutató egységvektort főnormálisnak nevezik. Be lehet látni, hogy ez az 1.3 fejezetben definiált főnormálissal azonos. Ezzel a jelöléssel r" = Gf. Mivel r" = t\ ezért X! = Gf. Ez Frenet első formulája.
197
TÉTEL. Az r = r(s) alakban megadott görbe torziója T =
Bizonyítás. Ha t = s, akkor |f x f | = |r"| = G, és így _
rrr |fxf|2
\f' x r"| 2
(?2
'
és ezzel állításunkat beláttuk.
KIDOLGOZOTT PÉLDÁK
1. Példa. írjuk fel az a sugarú hengerre írt b emelkedésű, r(0 = {a cos t)i + (a sin t)j + btk,
a, be R,
te [0, 2n]
egyenletű csavarvonal egyenletét az ívhossz függvényeként! Megoldás. Minthogy í ( 0 = ( - a sint f)i + (
+ bk
es s(t) = j" |f| dr = fila 2 sin 2 t +a2 cos2 t + b2 dx = = \ Íar+b2dx= o
f^Ttft
hosszúságegység, ezért t =
s 2
]/a + b2'
így a csavarvonal egyenlete s függvényeként: r(» = I Ö C O S - 7 = = ) i + ( ö s i n - p = = Jj+
- = = k ,
ahol 5 e [0, 2n ][a 2 Tb 2 ]. 2. Példa. Határozzuk meg az előbbi r(s) csavarvonal görbületét és torzióját annak egy tetszőleges pontjában! 198
Megoldás. Mivel
r"0) = r"'(s) =
(
a
s \ ( a s \ ; — c2 o s " 7 = =2 i + ~—TT sin - = = =r = i j\ 2 a +b ftF+b ) \ a+b \f^ +b ) a s \ ( a s \ í+ ~ COS - = = = j, S Ín - 7 = = = 2
V f
Vi/P + 62)3
+W
V
i(a2 + b2?
\ía2 + b2)
ezért a görbület ° "
ir !
(C°S!
" -
fikp
+
> An * f o k * ) ~ 7 + T -
Ha az r'rY" vegyesszorzat determinánsát a harmadik oszlopa szerint kifejtjük, akkor b
/ * »* _
r r r
(
a l
\
(
2
~ ] / 7 W A W + W ) \
s
W+b2
-2 + S m
s
\ _ 2 W+b ) ~
a2b
és így a torzió
r'rV" __
a2Z>
(a2 + b2)2
b
A hengerre írt csavarvonal görbülete is, torziója is állandó.
1.9 A térgörbe természetes egyenlete A térgörbét megadó r ( t ) paraméteres egyenlet alakja függ a koordináta-rendszer megválasztásától. A görbét azonban koordináta-rendszertől független adatokkal is tudjuk jellemezni: be lehet látni, hogy a G(s) > 0 és T(s) függvények egyértelműen meghatározzák a térgörbe alakját (a térben való elhelyezkedését nem), vagyis adott G(s) görbülethez és T(s) torzióhoz csak egyetlenegy térgörbe található. A G(s) és T(s) függvényeket együtt a térgörbe természetes egyenletének nevezzük. Végül megjegyezzük, hogy ha egy térgörbe valamely pontjában G ^ 0, TV 0, akkor a görbe ezen pontbeli elegendő kis környezetének a kísérő triédere síkjaira vett merőleges vetületei az F5. ábrán látható görbék. Az ábra alapján a simulósíkon levő vetület egy egyenest, a térgörbe érintőjét egy oldalról érinti, de nem metszi és a vetület 199
\ \
f
\
i
\
/ \
t
simulósík
s
T>0
y X
I
R * \T<0
F5. ábra
1lz
y
l ^ N ^
normálsík
rektifikáló sík
egy parabolához hasonlít; a rektifikáló síkon levő vetületnek a pont inflexiós pontja, a térgörbe érintője a vetület inflexiós érintője, ezért ez átmetszi a vetületi görbét és a görbe egy harmadfokú görbéhez hasonlít; a normálsíkon levő vetületnek a pontban csúcsa van, a csúcsérintő a térgörbe főnormálisa, és a vetületi görbe egy z = j 3 ' 2 egyenletű görbéhez hasonlít. K I D O L G O Z O T T PÉLDA
Határozzuk meg a hengerre írt r(t) = (a cos t)i + (a sin t)j + btk,
t e [0, ln]
csavarvonal természetes egyenletét! Megoldás. Az 1.8 pont 2. kidolgozott példájában láttuk, hogy G(s) =
b 2
2
a + b'
2
a + b2
E két egyenlet együtt a csavarvonal természetes egyenlete. Ezekből a csavarvonal sugara és emelkedése kiszámítható: a =
200
G2 +
R2'
G 2 + ra
•
2. KÉTPARAMÉTERES VEKTOR-SKALÁR-FÜGGVÉNYEK, FELÜLETEK
2.1 Két skaláris változótól függő vektorfüggvény Tekintsük az (u, v) síkon (paramétersíkon) vagy annak egy tartományában értelmezett három kétváltozós függvényt, az x9 y9 z függvényeket, és legyen e függvényeknek az értelmezési tartománybeli u, v számpárhoz tartozó x(u, v), t?); z(w, i;) helyettesítési értéke egy r helyvektor három koordinátája a derékszögű Descartes-féle koordináta-rendszerben : (m, t;)
r(w, r) = x(u, t;)i+
+
u)k.
Ha w, v befutja az értelmezési tartományt, akkor az előbbi utasítással két skaláris változótól (paramétertől) függő vektor-skalár-függvényt értelmeztünk. Az értelmezett leképzés R 2 ->R 3 típusú. A r(w, v) vektor-skalár-függvény értelmezési tartományát Z>r-rel, értékkészletét i?r-rel jelölik. Ha az r(w, v) vektor-skalár-függvény értékkészletét alkotó helyvektorokat a koordináta-rendszerben ábrázoljuk, akkor ezek végpontjainak halmaza az r(w, v) grafikonját alkotja. Ez általában egy felület (F6. ábra). Az u0, v0 számpárhoz tartozó helyettesítési értéket r(w0, fogjuk jelölni.
201
Ha az egyik paramétert, mondjuk az u-t állandónak választjuk, akkor r(m, Ü) csak egyetlen paramétertől függ, tehát grafikonja egy, a felületen elhelyezkedő görbe (felületi görbe). Mivel az u ••=•• állandó választással jött létre, v paramétervonalnak nevezzük (F7. ábra). Hasonlóképpen a v — állandó választással az u paramétervonalak jönnek létre. Például annak a síknak a kétparaméteres vektoregyenlete, amely illeszkedik az origóra és amelyet az a és b vektorok feszítenek ki: r(u, v) = ua + vb (F8. ábra). Esetünkben a paramétervonalak az a, illetve b vektorral párhuzamos egyenesek. u= állandó
Az r(w, v) függvény határértékét, illetve folytonosságát az r(0 függvény határértékével, illetve folytonosságával analóg módon definiálhatjuk, csak most három kétváltozós függvény határértékére, illetve folytonosságára kell hivatkoznunk. Megemlítjük, hogy ha r(w, v) folytonos, akkor, grafikonja, a felület is folytonos. KIDOLGOZOTT PÉLDÁK
1. Példa. írjuk fel az x2+y2
F9. ábra
202
+z2=
a2
egyenletű gömbfelület vektoregyenletét! y Megoldás. A gömbfelület tetszőleges P pontjának koordinátái, ha u-nak választjuk a P pont x, y síkon lévő P' vetületéhez vezető egyenes és ; az x tengely hajlásszögét és p-nek a P ponthoz vezető sugár és a z tengely hajlásszögét (F9. áh ra):
x = a sin v cos u, y = a sin i? sin w, z = 0 cos t?; ezért a gömbfelület vektoregyenlete r(w, i?) = (
+ (a cos u)k,
O^I^TT.
2. Példa. írjuk fel annak a hengerfelületnek a vektoregyenletét, amelynek vezérgörx2 y2 béje az — H = 1 egyenletű ellipszis, tengelye pedig a) a z tengely, az a ( l ; 1; 3) 4 9# vektorral párhuzamos! Megoldás. Az ellipszis paraméteres egyenlete: x = 2 sin w, = 3 cos vektoregyenlete: r(ü) = (2 sin
+ (3 cos
A hengerfelület bármely pontjához az a) esetben az r(w, t?) = (2 sin w)i + (3 cos u)j + vk helyvektor, a b) esetben az r(w, t?) = (2 sin w + t?)i + (3 cos u + v)j + 3uk helyvektor mutat, ezért ezek a keresett egyenletek. Mind a két egyenletben O ^ u ^ l n , veR.Ab) hengerfelület az F10. ábrán látható. F10. ábra
3. Példa. írjuk fel annak a kúpfelületnek a vektoregyenletét, amelynek csúcspontja az A(2; 2; 3) pont, vezérgörbéje pedig az y = x2, - l^x^l parabola! Megoldás. A kúpfelület egy tetszőleges pontjához úgy juthatunk el az origóból, hogy először a kúpfelület csúcspontjába megyünk az a helyvektor mentén, majd az r(w) egyenletű vezérgörbe egy tetszőleges pontjába az r^w) = r(«)~a vektor, a kúp alkotója mentén. Ha a v paraméter azt jelöli, hogy mennyit haladtunk az alkotó mentén, akkor a kúpfelület egyenletének általános alakja r(w, v) = a + vfiiu) = a + v(r(u) - a) = (1 — i?)a + vr(ü).
203
Esetünkben, ha w-nak választjuk x-et, a vezérgörbe (parabola) vektoregyenlete r(w) =
m +
u \
a kúp csúcsába mutató helyvektor a(2; 2; 3), ezért a kúpfelület vektoregyenlete: r(w, v) = 2i + 2j + 3k + + v[(u — 2)i + (u2 — 2)j — 3k] = = (uv ~2v + 2)i + (u2v — 2v + 2)j + + (3 — 3v)k, ahol -l^u^l, veR. A kúpfelület egy része az FII. ábrán látható.
2.2 A felület érintősíkja Ha az r(u, v) = x(u, v)i + y(u, v)j + z(w, i;)k felületre egy kiszemelt P pontján át felületi görbéket rajzolunk, akkor e görbék P pontbeli érintői a felületet is érintik. Ha valamennyi lehetséges érintőegyenes ugyanabban a síkban fekszik, akkor ezt a síkot a felület P pontbeli érintősíkjának nevezzük. Az érintősík normálvektorát, amely merőleges az összes P pontbeli érintőre, a felület normálisának nevezzük. Be lehet látni, hogy az r(w, v) felületnek akkor létezik érintősíkja a P pontjában, ha ott az x9 y és z kétváltozós függvények totálisan differenciálhatók (Analízis, 5.3.2 fejezet). Az érintősík egyenletének felírásához szükségünk van a felület normálisára. Mivel a normális merőleges valamennyi görbe érintőjére, ezért a paramétervonalak érintőire is. Ha v = állandó, akkor a csak az u változót tartalmazó r(w) = x{u)i + j(w)j + z(w)k paramétervonal érintőjének az irányvektora a
dr(u)
deriváltvektorral egyenlő, és ez du az eredeti függvény u szerinti parciális deriváltvektora: 204
dr(u, v) = dx(u, v) i 4- dy(u, v) jH dz(u, v) k, du
du
du
du
amit röviden rM-val (vagy r^-val) fogunk jelölni. Ha u = állandó, akkor az r(v) = x(v)i + y(v)} + z(v)k paramétervonal érintőjének irányvektora - az előzőhöz hasonló módon - az r(u, v) függvény v szerinti parciális deriváltvektora: dr(14, v)
dx(u, v). ^ dy(u, v). ^
8v
őv
8v
i;) ^
'
8v
Ennek alapján az adott érintősík normálisa, amely merőleges az előbbi két vektorra, az n!• = iru x irv vektor, az érintősík egyenlete pedig, ha r 0 jelenti a sík egy adott, W(X; Y; Z) pedig egy tetszőleges pontjának a helyvektorát: ( r M x , G ( W - r o ) = 0. Az érintősík egyenletének skaláris alakját megkapjuk, ha a vektoregyenlet bal oldalán álló vegyesszorzatot determináns alakban írjuk fel: X Xn 8x(u, v)
Y-y0 8y(u, v)
Z-z0 8z(u, v)
du 8x(u, v)
du 8y(u, v)
du dz(u, v)
8v
8v
dv
=
0,
majd a determinánst kifejtjük. Megjegyezzük, hogy ha a felület egyenlete z = f(x, y) alakú, akkor x-et és y-t választva paraméternek, a felület vektoregyenlete r(x, y) = xi + yj + / ( x , y)k, az érintősík egyenlete pedig x0 1 0 alakú.
Y-y0 0 1
Z-z0 = 0 /; /;
205
KIDOLGOZOTT PÉLDA
Határozzuk meg az r(w, v) = (w3 - 2tr)i + wi;2j + (w V + u)k felület érintősíkjának egyenletét az w= - 1, v= 1 paraméterű pontjában! Megoldás. Az — 1, i;= 1 paraméterértékekhez tartozó P pont helyvektora: r ( - l , l ) = — 3i—j. Az érintősík normálvektorának meghatározásához szükség van a parciális deriváltakra : rM(w, v) = 3t/2i + i;2j + (2w>2 + l)k, r„(M, v) = - 4ri + 2i*i?j + 2u2vk, illetve ezek P pontbeli helyettesítési értékére: r u ( - l , 1) = 3 i + j - k , r , ( - l , l ) = — 4i — 2j + 2k. így az érintősík egy normálvektora
r>j x r =
«
J
3 -4
1 -2
k - 1 = -2J-21*. 2
E helyett alkalmazható a vele párhuzamos n(0; 1; 1) vektor is. Ezt felhasználva, az érintősík egyenlete O + l ) + ( z - 0 ) = 0, vagy osszevonva y + z+l
= 0.
2.3 A felület felszíne Tekintsük az (u, v) paramétersík egyszeresen összefüggő, mérhető területű T tartományán értelmezett, r(u, v) = x(u, v)i+y(u, v)j + z(u, i»)k alakban megadott felületet, és legyenek az x, y, z kétváltozós függvények folytonosan 206
differenciálhatók. E felületdarab felszínét a következő módon definiálhatjuk és számíthatjuk ki: Borítsuk be az adott felületet a paramétervonalak sűrű hálózatával. Két-két szomszédos paramétervonal által közrefogott véges felületdarab (görbevonalú négyszög) felszínét közelítsük annak a paralelogrammának a területével, amelyet a görbevonalú négyszög egyik (például r(u, i;)) csúcsából kiinduló görbeívek húrvektorai feszítenek ki (FI2. ábra), Jelölje állandó a v=állandó, illetve az M = állandó paramétervonalon felFI2. ábra vett húrvektort Aur = r{ti + Au, v) - r(w, v), illetve Avr = r(w, v + Av) — r(u, v), ekkor a paralelogramma területe IAjxAJI. A felületdarab S felszínének egy durva közelítése e paralelogrammák területének az összege, ahol az összegezést előbb minden v vonal mentén, majd egy u vonal mentén hajtjuk végre: S ^IZl^rx^rl. Alakítsuk át ezt a kifejezést:
u
v
4»r Au
x
Av
AuAv =
r(u + Au,v) — r(u, v) Au
r(u, v + Av) — r(u, v) AuAv. Av
207
DEFINÍCIÓ. Ha a paramétervonalak további sűrítésével a felület felosztását minden határon túl oly módon finomítjuk, hogy a) Au->0, Av->0; b) a paralelogrammák nagyobbik szöge nem tart 0-hoz (a paralelogrammák nem fajulhatnak el vonalakká, ez az ún. élszögkorlátozás); c) két szomszédos paralelogramma síkjának a szöge nem tart 0-hoz (a szomszédos paralelogrammák nem borulhatnak egymásra, nem tapadhatnak össze, ez az ún. lapszögkorlátozás) és a finomítás során kapott előbbi kettős összegek sorozatának mindig ugyanaz a véges határértéke van, akkor ezt a véges Hm
1 1
r(u + Au, v) — r(u, v) Au
Av->0
r(w, v + Av) — r(u, v) AuAv Av
határértéket nevezzük a felületdarab felszínének. A definíció a felszín kiszámítására is módszert ad. Vegyük észre, hogy a kettős összegek vektoriális szorzatában mind a két tényező egy-egy differenciahányados, és dr r dr ha Au->0, akkor az első tényező határértéke — , ha Av->0, akkor a másodiké — . Ezt 8u dv dr dr felismerve az is látható, hogy a kettős összegek a — x — függvény integrálközelítő du dv összegei, amelyeknek határértéke a mondott feltételek mellett a függvény területi integráljával egyenlő. így 5=
lim£I du-*0 UV Av-*0U u
(T)
r(u + Au,v) — r(u, v) Au
r(w, v + Av) — r(u, v) AuAv = Av
dr dr — x — du dv, du dv
dr őr vagy a —- = rM, = r^ jelöléseket használva a felszín: du Tv S =
(T)
JJ\ruxrv\dudv.
Megjegyezzük, hogy egy felület felszíne a mondott feltételektől eltérő (esetenként enyhébb) feltételek mellett is létezik és kiszámítható. Például a T tartomány lehet többszörösen összefüggő, de felbontható véges sok egyszeresen összefüggő résztartományra (ívlöbius-szalag); a felületnek lehet törésvonala vagy csúcsa, de rmegközelít208
hető olyan Tn tartományokkal, amelyekre rM és rv folytonos; az r(u, v) függvény lehet nem egyértékű függvény, de T felbontható olyan Tn tartományokra, amelyekre már egyértékű; a felület lehet zárt, de felbontható véges sok egyszeresen összefüggő nyílt darabra. A feltételek között kimondott élszögkorlátozás és lapszögkorlátozás szükségességét először H. A. SCHWARZ és G. PEANO mutatta meg híres lampion-feladatával. A felszínt megadó képletet számítástechnikai szempontból előnyösebb alakra hozhatjuk, ha a következő módon alakítjuk át: Mivel tetszőleges a és b vektorra ! a x b | 2 = |a| 2 |b| 2 sin 2 (a, b) - | a | 2 | b | 2 - | a | 2 | b i 2 cos 2 (a, b) - [a| 2 |b| 2 ~(ab) 2 , és ebből | a x b | = 1/laí^blMab) 2 , ezért a = ru, b = r,; választással S = IS pu\2\rv\2-(v„)2"
du
(T)
Bevezetve a (iru)2 = E, (rV)2 = G, rurv = F Gauss-féle elsőrendű főmennyiségeket |rMxrj =
EG-F2,
és képletünk a következő alakban írható:
S = fJ
(T)
]/EG-F2dudv.
Abban az esetben, ha a felület egyenlete z = z(x9 y) alakban van megadva, tehát x-et és y-t választjuk paraméternek, akkor r(x, y) = xi-f 2
E = (rx)
+ z(x, >>)k; 2
F = (ry) = 1 + (zy)2,
= 1 + (zx) , 2
EG-F
rx = i + zxk, r^ = j + z^k; 2
2
2
= [l + (zx) ][l + (zy) ]-(zxzy)
2
G = rx ry = zxzy;
= 1 + (zJC)2 + (z y ) 2 ,
és így a felület felszíne 5 = f f )/l + (zx)2 +
(zy)2dxdy.
(T)
209
KIDOLGOZOTT PÉLDÁK
]. Példa. Számítsuk ki az r(u, v) = (cos u — v sin u)i + (sin u + v cos w)j + (u + v)k felület O ^ u ^ n , darabjának a felszínét! Megoldás. A parciális deriváltak: rM = (-- sin u—v cos «)i + (cos u — v sin rv = ( - sin -f- (cos u)j -f k
+ k>
Fizeket felhasználva:
E = (rtt)2 ~ sin u~~v cos u)2 + (cos i/ — r sin u)2 -f- 1 - vJ 2, F = rMry =-• ( — sin u — v cos w)( — sin a) H- (cos w — r sin w)cos w -f 1 — 2 G = ( r j 2 - sin 2 u + cos 2 w + 1 = 2, H 7 - F 2 - ( u 2 f 2 ) 2 - 4 - 2?A így a kiszámítandó felszín: 1 7Z
|/27T
j* |[2v du dv = fin J v dv = |/2tt 0
0
0
területegység. 2. Példa. Számítsuk ki a
felület azon darabjának a felszínét, amely a O ^ x ^ l , 1 dik el! Megoldás. Mivel
négyzet felett helyezke-
X "x
, V
t
^y
2v2
és ezzel 2
2
\ + (zJ + (zy) =
210
*\2 í ~ j f \ 1 + 1 - ) +. , 2 >7 V V y
2 =
(* 2 + 2 >- 2 ) 2 4/
ezért az integrandus
és a keresett felszín: 2
1
2
•
2
területegység.
211
3. VEKTOR-VEKTOR-FÜGGVÉNYEK (VEKTORMEZŐK)
3.1 A három skaláris változótól (vektortól) függő vektorfüggvény Tekintsünk az euklideszi tér egy tartományában értelmezett három háromváltozós függvényt, a vl9 v2, v3 függvényeket, és legyen e függvényeknek az értelmezési tartomány (x, y, z) számhármasához tartozó vx(x9 y9 z), v2(x, y, z), v3(x, y, z) helyettesítési értéke egy v helyvektor három koordinátája a derékszögű koordináta-rendszerben:
(x, y, z)
v(x, y, z) = vt(x, y, z)i + v2(x, y, z)j + v3(x, y9 z)k.
DEFINÍCIÓ. Ha x, y, z befutja a Dy értelmezési tartományt, akkor .az előbbi hozzárendeléssel egy három skaláris változótól függő vektor-skalár-függvényt értelmeztünk. Ha az (x, y, z) számhármast egy r helyvektor három koordinátájának tekintjük, akkor az értelmezett függvény az r H> v(r) = vt(x, y, z)i + v2(x, y, z)j + v3(x, y, z)k vektor-vektor-függvény, vagy vektormező. Az értelmezett függvény (leképezés) R 3 -> R 3 típusú. Szokás a vektormezőt vektortérnek is nevezni, de ezt az elnevezést a lineáris algebra más célra már lefoglalta (2.3.1. pont), ezért itt lehetőleg kerüljük. Használjuk azonban a tér elnevezést, ha a v(r) függvény erőteret, például gravitációs, elektromos, mágneses erőteret ír le. Azok a vektorhalmaznak vektorhalmazra való speciális, nevezetesen lineáris leképezései, amelyekből néhányat tanulmányaink során már megismertünk (2.4.3. pont), (speciális) vektor-vektor-függvények. A tárgyvektortér vektorainak és a kép vektortér vektorainak koordinátái közötti összefüggéseket (ezek száma három dimenzió esetén kilenc) egy 3 x 3 típusú
A
212
=
021 031
012 022 032
013 023 033
négyzetes mátrixszal adtuk meg. Ez a lineáris vektortranszformáció (vektor-vektorfüggvény) az ebben a fejezetben bevezetett jelöléssel
alakban írható fel. Ha a koordináták közötti kapcsolatok nem lineárisak, akkor az összefüggések mátrixszal nem adhatók meg. DEFINÍCIÓ. A homogén lineáris vektortranszformációt (vektor-vektor-függ. vényt) tenzornak nevezik. Mivel egy vektor-vektor-függvény az értelmezési tartomány minden helyvektorához (minden pontjához) egy vektort rendel, a függvény szemléltetése csak a legegyszerűbb esetekben vezet áttekinthető ábrához. Egy vektormező elképzeléséhez azonban jó támpontot nyújt például az áramló folyadék látványa, mert e folyadék molekulái sebességének nagysága és iránya éppen egy vektormezőt határoz meg és szemléltet. A v(r) vektormező határértéke és folytonossága a kétparaméteres vektor-skalárfüggvény határértékének és folytonosságának definíciójával analóg módon definiálható, csak most három háromváltozós függvény határértékére és folytonosságára kell hivatkoznunk. KIDOLGOZOTT PÉLDÁK
1. Példa. Milyen vektormezőt ír le a v(r) = r vektor-vektor-függvény? Megoldás. A v(r) = r = + -f jJ + zk függvény a tér minden pontjához a pont helyvektorát rendeli (F13. ábra).
v(r)
FI 3. ábra
2. Példa. Milyen vektormezőt ír le a v(r) = — vektor-vektor-függvény? |r| Megoldás. Mivel az r = xi+yj + zk vektor abszolút értéke |r| = ]/x2+y2 + z2, ezért a r |r|
x 2
2
,:2
]/x + y + z
i+
z
y r
fx +y
2
+z
2
j+
2
)Jx + y2 + z,2:
k
213
függvény a tér minden pontjához a pont helyvektorának irányába mutató egységvektort rendeli (FI4. ábra).
3. Példa. Készítsünk ábrát a v = - r vektormezőről! Megoldás. A v = - r = ~ xi - j j - zk függvény a tér minden pontjához helyvektorának az ellen tettjét, tehát a pontból az origóba mutató vektort (FI5. ábra) rendeli.
3.2 Vektor-vektor-függvény differenciálhatósága, divergenciája, rotációja A v(r), = vt(x, y, z)i + v2(x, y, z)j + v3(x,
z)k
vektor-vektor-függvényt akkor mondjuk differenciálhatónak az r 0 (x 0 ; y0; z 0 ) e Dv pontban, ha áttérve az r 0 környezetében levő tetszőleges r(x; y; z) pontra (jelölje ezt az r - r 0 változást a Ar vektor) a v függvény Av megváltozása felírható a Av =
DAr+sAr
alakban, ahol "Öl?! dvx dx
214
¥
8V2
dv2
Hz dv2
dx dv3
dy dv3
8V3
_dx
DY
dz dz_
egy homogén lineáris leképezés, a deriválttenzor mátrixa, továbbá s is egy homogén lineáris leképezés mátrixa és £->0, ha /Jr-»0. D nem függ a Ax megválasztásától csak az r 0 ponttól. A D deriválttenzor mátrixáról látszik, hogy elemei függnek a v(r) vektor-vektorfüggvény leírásához használt koordináta-rendszer megválasztásától, de be lehet bizonyítani, hogy az elemek bizonyos kifejezései függetlenek a koordináta-rendszer megválasztásától és csak a vektor-vektor-függvénytől függnek, ezért ezek a vektormezőt közvetlenül jellemző lényeges adatok. Két, a koordináta-rendszerre nézve invariáns adatot említünk meg. DEFINÍCIÓ. A v(r) vektor-vektor-függvény D mátrixa főátlójában álló elemeinek dvt f- dv? + — dv3 összegét, a deriválttenzor skalárinvariánsát, a v(r) vektor -vekdx dy dz tor-függvény (vektormező) divergenciájának nevezzük és div v jellel jelöljük, vagyis dv± dv2 dv3 div v = -- H — + ~~ ox dy dz A divergenciának érdekes (és szemléletes) jelentést lehet tulajdonítani. Azt mondjuk, hogy a v vektormező egy adott pontban forrásmentes, ha ott div v = 0, forrása van, ha div v > 0 és nyelője van, ha div v < 0. A divergencia más (az integrál segítségével történő) definíciója is ismeretes. DEFINÍCIÓ. A v(r) vektor-vektor-függvény deriválttenzora D mátrixának elemeiből alkotott __ v
dy
j + í^l _ • + (dIl _ í M dz J \ dz dx J \ dx dy)
k
vektort, a deriválttenzor vektorinvariánsát, a v(r) vektor- vektor-függvény rotációjának nevezzük és u rot v jellel jelöljük, vagyis {dv* dv>\ (dVi Irotv - - - }i+ ( _ t I \dy dz J \ dz
dv*\ 1 dx)
(dv ( 2 \ dx
dv, 1 dy
A rotációnak is érdekes és szemléletes jelentést lehet tulajdonítani. Azt mondjuk, hogy a v vektormező egy adott pontban örvénymentes, ha ott rot v = 0. A rot v vektor szoros kapcsolatban van a vektormező örvénylésének a szögsebességével. A rotáció értelmezhető integrál segítségével is. )
215
KIDOLGOZOTT PÉLDÁK
1. Példa. Számítsuk ki a v(r) = r = xi + y\ + zk vektormező divergenciáját és rotációját egy tetszőleges r 0 helyvektorú pontban! Megoldás. Mivel divv =
dx
dy dz h — + — = 1 + 1 + 1 = 3, dx dy dz
a divergencia állandó. A rotáció: rot v = így a vektormező örvénymentes (FI3. ábra). 2. Példa. Számítsuk ki a v(r) = (3* - 4>'2)i + (x - 4j; + z 2 )j - (3j; + 5z)k vektormező divergenciáját és rotációját az r 0 (l; 2; - 1) pontban! Megoldás. Mivel
azaz állandó, ezért az r 0 helyvektorú pontban is div v = - 6. A negatív előjel mutatja, hogy itt a vektormezőnek nyelője van. A rotáció egy tetszőleges pontban rotv =
= (— 3 — 2z)i + (0)j + (1 + 8j/)k. Ez az r 0 (l; 2; - 1) pontban rot v(r0) = - i + 1 7 k . 216
4. SKALÁR-VEKTOR-FÜGGVÉNYEK (SKALÁRMEZŐK)
4.1 A három skaláris változótól (vektortól) függő skalárfüggvény Az (x, y, z) u(x, z) háromváltozós függvény értelmezési tartománya az R 3 tér vagy ennek egy része minden P pontjához egy skaláris értéket rendel, ezért a leképezés R 3 ->R X típusú. Ha az x9 y, z értékeket egy r vektor három koordinátájának tekintjük, akkor az n->w(r) skalár-vektor-függvényt kapjuk, amit skalármezőnek is nevezünk. Skalármezővel írható le például hőmérséklet-eloszlás, nyomáseloszlás, vektormezőben a potenciál stb. Szokás a skalármezőt skalártérnek is nevezni. A skalárterek vizsgálatakor felmerül a kérdés, hogyan helyezkednek el azok a pontok, amelyekhez a skalártér ugyanazokat az értékeket rendeli? Az u(x, y9 z) = áll. egyenlet egy felület egyenlete, ez az u skalártér szintfelülete vagy nívófelülete. Ha a skalártér például hőmérséklet-eloszlást ír le, akkor a nívófelületeket izotermikus felületeknek nevezik. Az u{r) skalár-vektor-függvények globális tulajdonságai a háromváltozós skalárfüggvények tárgyalásánál megtalálhatók ([1], 5.2.2 pont). KIDOLGOZOTT PÉLDÁK
1. Példa. Állapítsuk meg, hogy mik az u — z — x2 — y2
x,y,zeR
skalármező szintfelületei az u = 0; 2; 4 értékre! Megoldás. Az u = 0; 2; 4 értékére kapott z-x2-y2
= 0,
z~x2-y2
= 2,
z-x2-y2
= 4
egyenlet egy-egy forgási paraboloid egyenlete. A paraboloidok úgy keletkeztek, hogy a z = y2, z = y2 + 2, z = y2 +4 egyenletű parabolákat a z tengely körül megforgattuk. A paraboloidok csúcspontja a z tengelyen a z = 0, z = 2, z = 4 pontban van (¥16. ábra).
F16. ábra
217
2. Példa. Milyen felületek az u = r 2 , r e R J skalármező szintfelületei? Megoldás. Az r = xi + ^j + zk szokásos jelöléssel u(x,y\ z) = r 2 = X2 + J 2 H-Z 2 . Legyen az w állandó értéke c 2 , ekkor a szintfelületek egyenlete X 2 + V2 + Z 2 ==
c
ezek pedig az origó köré írt c sugarú gömbök egyenletei.
4.2 A skalármező gradiense A többváltozós skaíárfüggvények differenciálszámításánál tanultakat ([1], 5.3.4) három változós függvényekre alkalmazva a következőket mondhatjuk: DEFINÍCIÓ. A differenciálható u skalár-vektor-függvény értelmezési tartománya bármely P pontjában kiszámított parciális deriváltjaiból alkotható
du
du
dx
dy
vektort az u skalármező P pontbeli gradiensuektorának vagy gradiensének nevezzük és a grad u szimbólummal jelöljük: du m
du m
du
A gradiensvektor abba az irányba mutat, amerre haladva a skalármező értékei a legnagyobb mértékben változnak. KIDOLGOZOTT PÉLDÁK
1. Példa. Számítsuk ki az u = z-~x2~-y2 skalármező gradiensét a P0(~ 1; 2; - 3 ) pontban! Megoldás. Az adott skalármező gradiense értelmezési tartománya egy tetszőleges pontjában grad u = ™ 2xi — 2y\ + k, az adott Pí} pontban pedig grad u\Po = 2 i - 4 j + k. 218
2. Példa. Számítsuk ki az t/(r) = r 2 skalármező gradiensét az r 0 (l; 2; 3) helyvektorú pontban! A gradiens a nagyobb vagy kisebb skalárértékű szintfelületek felé mutat-e? Megoldás. Az u = r 2 = x 2 + ^ 2 + z 2 gradiensvektora egy tetszőleges pontban: grad u = 2x\ + 2j;j + 2zk = 2r, az r 0 helyvektorú pontban grad u\r = 2i + 4j + 6k = 2r( Mivel a 2r0 a szintfelület (gömb) egy pontjába mutató r 0 helyvektorral azonos irányú, de kétszer akkora vektor, ezért a nagyobb skalárértékű szintfelületekhez („kifelé") mutat.
4.3 A nabla operátor Az előző fejezetekben definiált három mennyiség, a grad u9 a div v és a rot v egységes módon írható fel, ha bevezetjük a nabla szimbolikus vektort. DEFINÍCIÓ. Tekintsük azt a jelképes vektort, amelynek koordinátái utasítások, mégpedig az x, y és z szerinti parciális differenciálás elvégzésére felszólító utasítások. Legyen a vektor neve nabla és jele V. (A név és a jel a háromszög alakú lantszerű asszír hangszertől ered.) így
A nablát differenciáloperátornak ([1], 5.3.4 pont).
vagy Hamilton-operátornak
is nevezik
A nabla vektor segítségével (a már eddig bevezetett jelöléseket alkalmazva): du du du grad u = Vw = — i + — j + —- k (a V vektor szorzata az u skalárral), div v = Vv =
dx
dy
dz 219
(a V és v vektorok skaláris szorzata),
rot v = V x y =
i d
j d
k d
dx vt
dy v2
dz v3
dv3
dv2
dv3O
dvx1
dv2
dvx
dy
dz
dx
dz
dx
dy
—
k
(a V és v vektorok vektoriális szorzata). A nabla vektorra ugyanazok a szabályok érvényesek, mint amelyek a vektorokra, és egymás után többször is alkalmazható. Megemlítjük, hogy a nabla vektor saját magával való skaláris szorzatát (négyzetét) Laplace-operátornak nevezik és A -val jelölik:
így például d2u
d2u
d2u
A nabla vektor többszöri alkalmazása lehetséges, de nem történhet vaktában. Mert míg pl. a V x (V x v) = rot rot v értelmezhető, addig pl. a V x (V • v) = rot div v értelmetlen, mert div v skalár és ennek nem értelmezhető a rotációja.
KIDOLGOZOTT PÉLDÁK
1. Példa. Határozzuk meg div grad u értékét az r 0 ( - 1; 0; 2) helyvektorú pontban, ha u = xey + x2z2-y3x. Megoldás. Mivel div grad u = V(VM) = V2u= Au, ezért u második parciális deriváltjaira van szükség: — = ey + 2xz2 — y3; dx du — = xey-3y2x; dy
220
—2 = xey — 6yx; dy
Ezekkel div grad u = 2z 2 + xey - 6xy + 2x2. Ennek értéke az x0= - 1, yo
=
0, z0 = 2 pontban
div grad u\ro = 8 - 1 + 2 = 9. 2. Példa. Határozzuk meg a rot rot v vektort á P 0 ( l ; 2; 3) pontban, ha v(r) = x2yzi + xy2zj + xyz2k. Megoldás. Először a rot v vektort határozzuk meg. i d
j d
k 8
dx x2yz
dy xy2z
Jz xyz:
= (xz2-xy2)i-(yz2-x2y)j 2
2
2
+ (y2z-x2z)k 2
2
=
2
= x(z — y )i + y(x — z )j + z(y — x )k. k 8
i d
j d
dx x(z2 — y2)
dy y(x2 - z 2 )
= (2^z + 2 _ y z ) i - ( - 2 x z ~ 2xz)j + ' = 4(j;zi + xzj + xyk). A keresett vektor a P 0 ( l ; 2; 3) pontban r o t r o t v l p = 24i+12j + 8k.
dz z(y2~x2)
+ 2xj)k =
5. INTEGRÁLOK
5,1 Vektor-vektor-függvény vonalmenti integrálja Ha az egységnyi tömegű pontra ható állandó P erő saját irányában s elmozdulást létesít, akkor a végzett munka L = !PI |s|. Ha az erő állandó, de az elmozdulás irányával állandó a szöget zár be, akkor az erőnek csak az elmozdulás irányába eső komponense végez munkát és ez L - |P S | |s| - (|P| cos á)\s\ - Ps (.FI 7. ábra).
Ps=|P|cosa F17. ábra
Az általános esetet vizsgálva, tekintsünk most egy P erőteret, amely pontról pontra változik, és az egységnyi tömegpont mozogjon egy folytonos, hurok és töréspont nélküli (sima) g térgörbén, annak A pontjától a B pontjáig. A végzett munka kiszámítása érdekében osszuk fel a görbe ^4-tól B-\g terjedő ívét n számú részívre, és jelölje az osztáspontok helyvektorait r 0 , r l 5 r w . Kössünk össze két-két szomszédos osztópontot egy-egy húrvektorral és legyen a /c-adik húrvektor a Ark = i f c " - ^ ! vektor (FI8. ábra). Pótoljuk a Pk-i pontból a Pk pontba vezető görbeívet a pontokat összekötő húrvektorral és az erőtérnek e görbeíven felvett P vektorait egy, a görbeív tetszőleges 222
közbülső Qk helyvektorú pontjához tartozó P(gfc) vektorral, majd tekintsük a ALk -
P(ekMrk
skaláris szorzatot. Ez közelítőleg megadja a i V i görbeív mentén végzett munka értékét. A görbeív mentén az A és B pont között végzett munka közelítő értéke e részmunkák összege: L*
t ALk = t P(Qk)Ark. k=1 k= 1
Készítsünk más felosztásokat is, és válasszuk a felosztásoknak egy olyan sorozatát, amikor az osztópontok száma úgy növekszik minden haláron túl, hogy a leghosszabb Ark vektor is a zérusvektorhoz tart. Ha az így kapott közelítő összegek lim
raax
X
Öfo— j
határértéke létezik és véges, akkor azt tekintjük a P erőtér munkájának, amit a g görbe mentén végez, amikor a tömegegységet az A ponttól a B pontig mozgatja. A közelítő összegek határértéke másfelől egy határozott integrállal, a P erőtérnek a g görbe mentén ,4-tól J?-ig vett vonalmenti integráljával egyenlő, így b (9)
{ P (k. A
Ha P = Pxi + P } j f Pzk és Ar = zfxi + zfjj-f ázk, amely vektor a határátmenetkor a dr =flbci+ rfyj + rfzk vektorba megy át, akkor a munkát a következő alakú vonalmenti integrál adja: b
L =
í0)
J
+ Pydy + Pzdz).
a
előbb bemutatott gondolatmenet az R 3 -ban vagy ennek egy résztartományában értelmezett vektor-vektor-függvényre és sima görbére alkalmazható, és eredményül a v(r) = vii + v2i + v3k vektor-vektor-függvény DEFINÍCIÓ. AZ
ig)
B
J V dr = A
(í?)
b
J (vt dx+ v2 dy+ v3 dz) A
alakban felírható, a g görbe mentén az ,4-tól B-ig terjedő határok közötti vonalmenti integrálját kapjuk. 223
A vonalmenti integrál definíciójából következik, hogy ugyanazon a g görbén haladva B A § v dr = — j v dr, A B vagyis a haladási irányt megfordítva a vonalintegrál értéke előjelet vált és c c Jvdr + J v d r = Jvdr. A B A B
Ugyancsak a definíció alapján látható, hogy (a határokat most nem írtuk ki): J c\ dx = c j v dr, j" (v ± w) dr = J v dr ± J w dr. Ha a g görbe zárt, akkor kör integrálról beszélünk és a $ jelet használjuk. Kérdés, hogyan kell a vonalintegrált kiszámítani? Legyen a vektormező (r e Dy) v(r) = vx(x9 y z)i+v2(x,
y, z)j + v3(x, y, z)k,
a g görbe egyenlete pedig r(í) = x{t)\ + y(t)] + z{t)k. dx Mivel r = —, ezért dt dr = í dt = (xi + yj + zk)dt. Minthogy minket a vektormező viselkedése most csak a g görbe mentén érdekel, lokalizáljuk a v függvényt, azaz komponenseiben írjuk be x, y, z helyébe a görbe egyenletében szereplő x(t), y(t)9 z(t) függvényeket: v(r(í)). Végül tartozzék a görbe A pontjához a tl9 a görbe B pontjához a t2 paraméterérték. Ekkor ig)
B t2 f V dx = J v(r(0)f(0 A, ti
vagy röviden B
Í2
J V dr = J vr rfí. ^ ti 224
A jobb oldalon álló integrál részletesen kiírva ti J (v^xit)
+ v2(t)y(t) + v3(t)z(t)) dt
alakú, ez pedig egy egyváltozós függvény határozott integrálja, amit a már tanult módszerekkel számíthatunk ki. KIDOLGOZOTT PÉLDÁK
1. Példa. Számítsuk ki a v(r) = (xy — z)i + (yz~ x)j + (zx-~ y)k vektor-vektor-függvény vonalmenti integrálját az r(0 = (t2+l)i
+ (l-t)j
+
(t3~t)k
egyenletű görbe A( 1; 1; 0) pontjától a görbe B(5; — 1; 6) pontjáig terjedő íve mentén! Megoldás. Mivel a görbe egyenletéből x = t2 + 1, y = l - t , z = t3-t, ezért a vektormező lokalizált alakja y(r(t)) = [(t2 +l)(l-t)-(t3-t)]i + [(l-t) (t3 - t ) - (t2 + l)]j + 3 2 + [(t -t)(t +l)-(l~t)]k = 3 2 4 3 = (-2í + í +l)i + ( - í + / - í - l ) j + (í5-l)k. A görbe egyenletéből í ( 0 = 2ri—j + (3í2— l)k, és könnyen látható, hogy az A pont a t^ = 0, a B pont a í 2 = 2 paraméterértékhez tartozik, mert r(0) = i + j , r(2) = 5 i - j + 6k. így a keresett vonalmenti integrál B jvdr
2 = }[(-2t3+t2+l)(2t)
A
+ ( - t 4 + t 3 - t - l ) ( - l ) + (t5-l)(lt2-l)]dt
=
0 2
= J (3t7-t5-3t*+t3-3t2 o =
f3í8
L
= 96
t6
8
315 6
32
5 96
+ 3t+2)dt +
t* 4
=
,3 312 I2 1 + — +2t = 2 0
+ 4 - 8 + 6 + 4 = 102
J
256
= 50,8.
225
2. Példa. Számítsuk ki a v(r) = (2xy
+
z 2 )i 4- (2yz + x2)\ + (2xz + v2)k
vektor-vektor-függvény vonalmenti integrálját a Pi(2; 1; 3) pontot a - 2) ponttal összekötő egyenesszakasz mentén Pt-tői P2 felé haladva! Megoldás. Az integrációs út a P±P2 egyenes. Ennek egy irány vektora a - 3i + 2j - 5k vektor, az egyenes vektoregyenlete tehát r(f) = ( 2 - 3 í ) i + (l + 2/)j + ( 3 - 5 0 k . Ebből i(t) = ~~ 3í+ 2j — bk. A Px pont 3, í1 = 0, a P2 pont a 1 ércékhez tartozik, A vektor-vektor-függvény lokalizált alakja* v(r(/)) = (37/ 2 —44/ + 13)í + ( ~ l l / 2 -
10)j + O 4 / 2 - - 3 4 í + I 3 ) k .
így a vonalmenti integrál Pi i f vdr = J [(— l l l / 2 + 132/—39)-f-( — 22/ 2 —20H-2Ü) + ( — 170/2-f- 170/-65)] dt = Pi o í = J ( - 3 0 3 / 2 + 2 8 2 / - 8 4 ) d / = [ - 101/3 + 141/ 2 -84/]£ = - 4 4 . o 3. Példa. Számítsuk ki a v(r) = {z2-y)i+<(z3
+ x)j + xyk
vektor-vektor-függvény vonalmenti integrálját az jc, j; síkkal párhuzamos síkban elhelyezkedő C(2; 3; 4) középpontú r = 5 sugarú körvonal mentén! Megoldás. Mivel az adott körvonal az x, y síkkal párhuzamos síkban he-7 lyezkedik el, ezért minden pontjának z / koordinátája a középpontjának z koordinátájával egyezik meg és ez 4. A körvonal egy tetszőleges P(x; y; 4) pontjába az r(0 = c + C ? = (2 + 5 cos /)i + + (3 + 5 sin /)j 4- 4k
F19. ábra
226
vektor vezet, ahol c a kör középpontjának a helyvektora, / az a szög, amelyet
a kör egy, az x tengellyel párhuzamos sugara és a CP sugár zár be (FI9. ábra). Egy pont akkor futja be a zárt körvonalat, ha O ^ t ^ l n . Az r deriváltfüggvénye í ( 0 = ( - 5 sin t)i + (5 cos f)j. A vektor-vektor-függvény lokalizált alakja: v(r(0) = (16 - 3 - 5 sin f)i + (64 + 2 + 5 cos í)j + (2 + 5 cos t) (3 + 5 sin Ok. A körintegrál így 2 71 f v á = J [(13 — 5 sin 0 ( 5 sin t) + (66 + 5 cos t) (5 cos /)] dt = o 2;r = J ( ~ 65 sin t + 330 cost t + 25) dt = [65 cos t + 330 sin t + 25t\l K = 50TT. o
5.2 A vektor-vektor-függvény potenciálfüggvénye A v(r) vektor-vektor-függvény vonalmenti integráljának a kiszámítása elvileg egyszerű, ha a vonalintegrál B i9)
j (vx dx + v2dy + v3dz) A
képletében álló integrandus egy háromváltozós u(x, y, z) skalárfüggvény teljes differenciálja: du du du vx dx + v2 dy + v3 dz = — dx + — dy+ — dz = du, dx dy dz
(*) mert ekkor
B i9)
B
f (v1 dx + v2 dy + v3 dz) = f du = [u]BA = A
u(B)-u(A\
A
és ez azt jelenti, hogy az integrál értéke nem függ a g görbétől, hanem csak az A és B ponttól, az integrációs út kezdő- és végpontjától. 227
DEFINÍCIÓ. Azt az u függvényt, amelyre a (*) egyenlőség teljesül, a v vektor-vektor-függvény potenciáljának, vagy potenciálfüggvényének nevezzük. A potenciálfüggvények hasonló szerepet töltenek be a vektor-vektor-függvényeknél, mint a primitív függvények az egyváltozós függvények halmazában. TÉTEL. Ha a v vektor-vektor-függvénynek létezik potenciálja és a g görbe zárt, afcfcör A = B miatt u(B) = u(A), te/záí 0 vonalmenti integrál értéke 0. DEFINÍCIÓ. Ha v(r) erőteret ír le és van potenciálja, akkor az erőteret konzervatív erőtérnek mondjuk. Konzervatív erőtérben a vonalmenti integrál értéke nem függ az integrációs úttól:
(9)
h dr
A
=
[u]BA
és a zárt görbe mentén vett integrál (körintegrál) értéke 0, azaz $ v dr = 0. Felmerül a kérdés, hogyan lehet megállapítani egy v vektor-vektor-függvényről, hogy van-e potenciálja? Az alábbiakban szükséges és elegendő feltételt adunk a potenciál létezéséhez. Ha a v = vti + v J + v3k vektor-vektor-függvénynek van u(x, y, z) potenciálfüggvénye, azaz du
du
du
akkor u második vegyes parciális deriváltjai egyenlők lévén ([1], 5.3.6 pont) dv3
d2u
dv2
dy dvx
dzdy d2u
dz dv3
dz dv2
dxdz d2u
dx ' dv^
dx
dydx
dy
vagyis dv3 —
dy
228
dv2 dz
= 0,
dvt — dz
d v d v 2 = 0, — dx dx
dvx dy
= 0.
Ez u létezésének szükséges feltétele. Be lehet látni, hogy ez a feltétel elegendő is. Ha észrevesszük, hogy e három egyenlet bal oldala éppen a rot v vektor három koordinátája, akkor a kővetkező tételt láttuk be: TÉTEL. A v vektor-vektor-függvénynek
pontosan akkor van potenciálja, ha
rot v = 0. Ha már tudjuk, hogy egy vektor-vektor-függvénynek van potenciálja, akkor azt hogyan határozhatjuk meg? Az alábbiakban egy módszert azonnal példán keresztül mutatunk be. KIDOLGOZOTT PÉLDA
a) Bizonyítsuk be, hogy a v(r) = (2xy 4- z2)i 4- (2yz + x2)j 4- (2xz 4- y2)k vektor-vektor-függvénynek van potenciálja! Határozzuk meg a potenciált! b) Számítsuk ki a vektormező vonalmenti integrálját tetszőleges görbe mentén az A(2; l; 3) és B(- 1; 3; - 2) pontok között! c) Mutassuk meg, hogy az r(7) = (2 + 5 cos t)i 4- (3 + 5 sin t)j + 4k körvonal mentén ( 0 ^ 2 T I ) vett körintegrál értéke 0. Megoldás, a) Esetünkben vt = 2 xy + z2,
v2 = 2yz + x2,
v3 = 2xz + y2,
ezért
Sv2 dx
dy
és ebből következik, hogy potenciál van.
Mivel — = 2xy + z2, ezért a potenciál dx u(x,y, z) = f(2xy + z2)dx
= x2y + z2x +
f(y,z) 229
du alakú, ahol f(y, z) azt jelöli, hogy / csak^-tól és z-től függ. Azonban — = v2, vagyis dy x2+ — = 2yz + x2, dy és ez minden szóba jöhető értékre csak akkor teljesül, ha 8f T- = 92yz, dy
vagyis = y2z + g(z),
/0>,z)
ahol #(z) azt jelöli, hogy a # függvény csak z-től függ. így a potenciál részletesebb alakja u(x9 y, z) = x
2
+ z2x+y2z
+ g(z).
du Mivel végül — = t?3, vagyis 5z
/• / 2 z x + j 2 + ör/00 = 2xz+j; 2 ,
ezért g\z) = 0, gf(z) = K és a potenciál végleges alakja z) = JC2
<
y2z+
ahol K tetszőleges állandó. Ez azt jelenti, hogy ha van egy potenciálfüggvény, akkor egyúttal végtelen sok is van. Vonalintegrálok kiszámításához a K= 0 értékhez tartozó u(x,y,z)
= x2y + z2x + y2z
potenciált célszerű választani. b) A kérdezett vonalintegrál értéke a potenciál létezése miatt nem függ az integrációs úttól, tehát az út tetszőleges lehet. A vonalintegrál értéke J ydr = [x2y + z2x+y2z]\^'X2)
=
= (3— 18 —4) — ( 4 + 3 + 18) = - 4 4 , amint azt az 5.1 pont 2. példájában már láttuk. 230
c) Mivel í(/) = ( - 5 sin
+ (5 cos t)j, ezért
v(r(/)) dt - J [2(2 + 5 cos t) (3 4- 5 sin t) + 16] [ - 5 sin t] dt + o ln 2
[2(3 + 5 sin t)4 + (2 + 5 cos t) } [5 cos t] dt =
+
o 2n 5 j [28(cos t-~ sin t) + 10 sin í cos / + 20 (cos 2 t~ sin 2 t)-
o
- 50 sin 2 t cos t f- 25 cos 3 /] dt = - 5
50 . , . 25 , 28(sin / + cos t)~ 5 cos 2t+ 10 sin 2t - - - s n r / + 25 sin í - — sin* í
- 5 ( 2 8 - 5 - 2 8 + 5) =•• 0.
Ezt a hosszadalmas munkát megtakaríthattuk volna, ha a következőket mondtuk volna: Mivel v-nek van potenciálja és az adott körvonal zárt görbe, ezért a körvonal mentén vett vonalintegrál (körintegrál) értéke 0.
5.3 Felszíni integrál DEFINÍCIÓ. Legyen adott a T e R 2 paramétertartományon értelmezett, mérhető felszínű r(w, v) felületdarab és ezen a felületdarabon értelmezett Í7(r) skalár-vektor-fuggvény. Osszuk fel a felületet részekre, és legyen az /-edik rész felszíne ASt. Jelölje Ui az U függvény helyettesítési értékét az i-edik felületdarab valamely pontjában. Képezzük a I UtAS, i összeget. Ha a felszín kiszámításakor kimondott (2.3 pont) korlátozó feltételek mellett a felületdarab felosztását minden határon túl finomítjuk és az így kapott összegek sorozatának mindig ugyanaz a véges határértéke van, akkor ezt a határértéket az Í7(r) függvénynek az r(u, v) felületre vett felszíni integráljának nevezzük és
í UdS
(S)
jellel jelöljük. 231
TÉTEL. Ha a felszín kiszámításánál kimondott feltételek teljesülnek és U(f) folytonos, akkor J U dS létezik és a 2.3 pontban bevezetett jelölésekkel (S)
J UdS = J J U\rMx rJ dudv. (S)
(T)
Bizonyítás. A ASt felületdarab felszíne ASt = J J | r M x r j dudv, ahol AT{ a ASt felületdarabhoz tartozó paramétertartomány. így = i
J J i
\ruxrv\dudv.
(ATi)
Felhasználva a kettős integrál additivitását és a korlátozó feltevéseket, a jobb oldal határértéke valóban a képlet jobb oldalán álló integrál. Minthogy | ru x rv \ = | / E G - F 2 , ezért a felszíni integrál J UdS= (S)
$$U]/EG-F*
dudv
(T)
alakban is felírható. KIDOLGOZOTT PÉLDA
Számítsuk ki az C/(r) = x + y + z függvény felszíni integrálját az r(u, v) = (R sin v cos u)i + (R sin i; sin u)j + (i? cos v)k Ti O ^ v ^ - alakban megadott félgömbhéjra! Megoldás. Mivel rM = ( - R sin v sin u)i + (R sin v cos = (R cos i? cos w)i + (R cos t? sin w)j + ( - /? sin v)k, ezért E = ( r j 2 = i?2 sin 2 v, F= rurv = 0, Az U függvény a felületen U(r) = R sin v cos w + 232
G = (rv)2 = R2,
sin v sin
j/EG-F2
i? cos t;
= R2 sin v.
alakú, így a felszíni integrál n 2 2n J U]!EG - F2 dudv = J J i?3(sin v cos u+sin v sin u + cos i;)sin v dudv = (S)
0 0
n 2
3
= R j [(sin v sin w — sin i; cos u + u cos i;)sin ü]^ í/f = o n 2 n = R3 j 2n sin v cos v dv = i?37r[sin2 t?]o = o térfogategység.
5.4 Felületi integrál DEFINÍCIÓ. Legyen adott a T e R 2 paramétertartományon értelmezett, mérhető felszínű r(w, v) felületdarab és ezen a felületdarabon értelmezett v(r) vektor-vektor-függvény. Osszuk fel a felületet részekre, és az /-edik rész egy tetszőleges pontjában vegyünk fel egy rM x r v irányú vektort, amelynek a hossza az /-edik rész ASt felszínének mérőszámával egyenlő. Ezt a vektort felszínvektornak nevezzük és zfS r vel jelöljük. Jelölje vf a v(r) függvény azon a helyen vett értékét, amely helyen a zfS r t választottuk. Képezzük a vf és vektorok skaláris szorzatának a IMS, i
összegét! Ha a felszínszámításnál kimondott (2.3 pont) korlátozó feltételek mellett a felületdarab felosztását minden határon túl finomítjuk és az így kapott összegek sorozatának mindig ugyanaz a véges határértéke van, akkor ezt a határértéket a v(r) függvénynek az r(u, v) felületre vett felületi integráljának nevezzük és \ydS (S)
jellel jelöljük.
233
TÉTFX. Ha a felszínszámításnál k imondott feltételek teljesülnek és v(r) folytonos függvény, akkor az j v dS létezik és az ottani jelölésekkel (S)
í *dS - J J v ( r U x r v ) d u d v = j J v rwr, du dv.
(s)
(T)
(T)
Bizonyítás. Ha bevezetjük az IJ = vm skalár-vektor-függvényt, ahol m az rM x rv irányába mutató egységvektor abban a pontban, ahol a v-t választjuk, akkor v^S, - v-m./J^ -
L\ASb
és így Z M S í = z UiASi. i
i
Ezzel az átalakítással a felületi integrál definíciójában fellépő összegeket a felszíni integrál definíciójabeli összegekre vezettük vissza. Ha az j U\ru x r„| dudv (S)
felszíni integrálban az U = vm és |rtt x r t; |m = ru x rt, helyettesítést végrehajtjuk, akkor a felületi integrál valóban
j
v(rM x r p ) du dv
(s)
alakú. Az integrandus vegyesszorzat alakjában is felírható. Ezzel állításunkat beláttuk. A felületi integrál értékének előjele függ az rtt x rt, felületi normális irányításától. Ezért, ha valamelyik feladatban megszabják, hogy az integrálást adott irányítású (pl. „kifelé" mutató) normális mellett kell elvégezni, akkor külön meg kell vizsgálni, hogy az adott irányítás a felületi normális irányításával azonos vagy azzal ellentétes irányú-e. Ha a felületi normális irányítását ellentétesre változtatjuk, a felületi integrál értéke előjelet vált. A felületi integrál additív, azaz ha két felület (Sx és S2) egy vonal mentén érintkezik, akkor
J (ál)
v dS
+ J v dS - J v dS,
(S)
ahol S az S-} és S2 egyesítése, ha a két felület felületi normálisa azonos irányítású. 234
Ha két felületdarab határgörbéje közös, azaz a két felület zárt felületet alkot, akkor a fenti képlet csak úgy áll fenn, ha a felületi normálisok mind a két részfelület esetében vagy a zárt felületből kifelé, vagy a zárt felület belsejébe mutatnak. KIDOLGOZOTT PÉLDÁK
1. Példa. Számítsuk ki a v(r) = r =
+
+ zk vektormező felületi integrálját az
r(u, v) = [(3 + cos w)cos t;]i + [(3 + cos w)sin i?]j + (sin u)k egyenletű gyűrűfelület (tórusz) x, y feletti darabja mentén „felfelé mutató" normális mellett! I Megoldás. A példa szövegében -(ru x rv) említett felületdarab akkor jön létre, * ha O^W^TT, 0Sv^2n (F20. ábra). A felületi normálishoz szükséges 1 2 3 x deriváltak: rM = ( - sin u cos i?)i + + (— sin u sin v)} + cos u k, r = t> [ ~~ (3 + cos w)sin v]i + .+ [(3 + cos w)cos i>]j. Ezekkel a felületi normális
r„ x rf, =
i - sin u cos v - (3 + cos w)sin v
j - sin u sin v (3 + cos u)cos v
k cos u 0
= — [(3 + cos w)cos u cos v]\ - [(3 + cos w)cos u sin u]j - [(3 + cos w)sin w]k. Mivel a k egységvektor együtthatója negatív, ezért a „felfelé mutató" normális a felületi normális ellentettje lesz, azaz - (rM x rv). Az adott vektormező az adott felületen v(r) = v(r(w, v)) = [(3 + cos w)cos v]i + [(3 + cos u)sin u]j + (sin w)k alakú, a felületi integrál integrandusa — v(rtt x rr) = (3 + cos w)2cos u cos 2 (3 + cos w)2cos u sin 2 v + (3 + cos w)sin2 u = 2 = (3 + cos w) cos u + (3 + cos w)sin2 u = = (3 + cos w)(3 cos u+ 1) = 3 cos 2 10 cos u + 3. 235
így a felületi integrál 71
\dS (S)
=
2ll
í0 í0
=2
(3 cos 2 u + 10 cos u+ 3)dv du =
7t 9 3 (3 cos 2 u+ 10 cos u+3)du = 2n I ( - + - c o s 2 w + 10 cos u I du = 2 2
*í'
2tt
0 [9u
3 T /9TA + - sin 2w + 10 sin uj = 2n = 9n 2
térfogategység. 2. Példa. Számítsuk ki a v(r) = yi + zj + xk vektormezőnek az F21. ábrán látható egységsugarú negyedgömb teljes felületére vonatkozó felületi integrálját „kifelé mutató" normális mellett! Megoldás. A felületi integrált három részletben számítjuk ki: a) a negyedgömb felületére, b) az x, y síkban fekvő félkörlapra, c) az x9 z síkban fekvő félkörlapra. a) A szóban forgó St gömbfelület paraméteres egyenletrendszere r(w, v) = (cos v cos u)i + (cos v sin u)j + (sin v)k9 ahol 0^U^TZ, 0 ^ v ^ - . Ebből rM = (— cos v sin ü)\ + (cos v cos u)j, rv = ( — sin v cos + ( — sin v sin
F21. ábra
=
i — cos v sin u — sin v cos u
= (cos 2 i; cos
J cos v cos u — sin i; sin u
+ (cos v)k;
k 0 cos v
+ (cos 2 v sin w)j + (sin v cos w)k.
Mivel a felső félgömbön 0 ^ v ^ - , ezért sin v cos v ^ 0, a k egységvektor együtthatója pozitív, tehát a felületi normális „kifelé" mutat. Az adott vektorfüggvény a gömbfelületen v(r) = (cos v sin u)i + (sin v)\ + (cos t; cos ü)k. 236
A felületi integrál ezek után 2
í
71 (cos3 v cos w sin u + cos2 v sin v sin u + cos v sin v cos w) Í/W Í/Í;
\dS = o o
cos31?
sin2 u
• cos2 t; sin v cos w + cos2v sin v sin wT űfo = Jo
o 2 :
2 cos t7 sin i; űfo = 2 £ -
cos 3 t;"
2 _ ? n_ 3
térfogategység. b) Az x,y síkban fekvő egységsugarú S2 körlap egyenlete e)
=
(ecos
+
u
(e
)h
ahol O^w^TT, O ^ e ^ l . Mivel rM = ( - Q sin + (g cos r0 = (cos u)i + (sin ezért r xr =
q
i sin u cos u
q
j k cos u 0 sin u 0
=
-QK
azaz a felületi normális „kifelé" mutat. Az adott vektormező a körlapon v(r) = (,g sin u)i + (g cos w)k. így a felületi integrál 1n 1 J v d S = J" J - g 2 cos ududg = - J g 2 [ s i n w]o dg = 0. (S2)
OO
O
c) Az x, z síkban fekvő egységsugarú S 3 körlap egyenlete É?) = (ö c o s 0* + (6 sin
ahol O ^ t ^ n , O ^ g ^ l . Mivel ( _ E sin /)i + (Q COS rQ = (cos + (sin t)k, R
Í
=
ezért i j — Q sin t 0 cos í 0
rtxr
k cos t sin £
Q
Qh
vagyis a felületi normális „befelé" mutat. A „kifelé" mutató normális ezért - gj. Az adott vektormező az S3 körlapon v(r) = (0 sin f)j + (g cos Okígy a felületi integrál
í
(S 3)
1 71 v dS
J - Q2 sin t dt dg •= J - g2[ — cos tf0 dg 00
0
térfogategység. Mivel a normális irányát mind a három esetben „kifelé" mutatónak vettük, ezért a teljes felületre vonatkozó felületi integrált e három integrál összege adja f
J
(S)
2 2 vdS = - + 0 - - = 0. 3 3
Tehát az adott vektormezőnek a teljes negyedgömb (zárt) felületre vonatkozó felületi integrálja zérus.
238
5.5 Térfogati integrál DEFINÍCIÓ. Legyen U(r) egy, a F C Z R 3 egyszeresen összefüggő, mérhető tarto-
mányban (térrészben) értelmezett skalár- vektor-függvény. Osszuk fel a Ktartományt A Vt részekre. Válasszunk minden egyes A Vt részben egy r^ helyvektorú pontot és legyen e pontban a függvény értéke U(rt). Tekintsük az U^^AVi szorzatok összegét, a E i
uí^AV,
összeget. Finomítsuk a V felosztását minden határon túl úgy. hogy a A Vx részt artomá ny ok a) téi fogata taitson Ó hoz. b) ive fajuljanak el síklapokká, c j oldallapiai ne fajuljanak el szakaszokká. Ha a finomítás során kapott összegek sorozatának mindig ugyanaz a véges határértéke van, akkor ezt a határértéket nevezzük az í/(r) függvénynek a V tartományra vett térfogati integráljának és az j U(r) dV (v)
jellel jelöljük. Mivel az U(r) skalár-vektor-függvény egy háromváltozós t/(.v, y, z) függvénnyé irható át, ezért a térfogati integrál kiszámítása hármas integrállal történik | U(r) dV - j J J U(x9 v\ z) dV - j J | V dx dy dz. _ao (V)
Számítsuk ki az U( r) = r 2 = x2 + y2 + z2
függvény térfogati integrálját arra az egységnyi élhosszúságú kockára, amelynek egyik csúcsa az origóban van, az ebből a csúcsból kiinduló élei pedig a koordinátatengelyek pozitív felére illeszkednek! 239
Megoldás. A keresett térfogati integrál hármas, majd háromszoros integrállá alakítható át. J C/(r) dV = f f $(x2 + y2 + z2)dV (F)
1 i 1 = J J \{x2 +y2+z2)
dx dy dz.
0 0 0
(v)
Az integrálásokat rendre elvégezve:
U(r) dV V)
i i r rx3
+ x(y2 + z2)
dy dz
o o
ÜG
+ j 2 + r U>><1- -
0 0
í
31
2 z3 -z4 — 3 3
dz
H ' - T
== l.
Megjegyzés. Minthogy az U függvény x-ben, y-ban és z-ben szimmetrikus és a három integrációs határ is azonos, ezért esetünkben a hármas integrál egyszerűbben is kiszámítható: 111
i 2
2
2
(x + y + z )dxdydz 0
0
0
= 3
= 3j^J
= 1.
0
5.6 Stokes tétele TÉTEL. Tekintsünk egy S felületet, amelynek van felszíne, ÁS határa egy rektifik álható g vonal. Irányítsuk a görbét úgy, /zogj körüljárása az S felületi normálisa irányából nézve pozitív legyen (F22. ábra). Legyen továbbá az ezen a felületdarabon értelmezett v(r) vektormező folytonosan differenciálható. Ekkor J rot v dS = j v dr. (S)
(ÖT)
Ez Stokes tétele, amely kapcsolatot teremt egy felületi és egy vonalintegrál között. 240
Bizonyítás. A tétel bizonyítását négy lépésben vázoljuk. 1. Legyen az S felületdarab olyan derékszögű háromszöglap, amely az x9 y síkban, derékszögű csúcsa pedig az origóban van; befogói a, ill. b hosszúságúak, ezért x , ^ y atfogöjanak az egyenlete - + 1 (F23. ábra). A felületi normális merőleges az x9 y a b síkra, és ha a háromszöglap határát pozitív irányítással látjuk el, akkor a felületi normális a z tengely (a k egységvektor) irányába mutat. Ezért a képlet bal oldalán az integrandusban szereplő skaláris szorzat a rot v vektornak csak a harmadik komponensét tartalmazza. Ha v = VxÍ + V^ + VJL alakú és a háromszöglapot t^-gel jelöljük, akkor a bal oldalon álló integrál a következő alakba írható:
rot v dS = (M
* (dvv
dv,
dx
dy
(tx)
dt,
ahol a jobb oldalon a t x háromszöglapra vonatkozó területi integrál áll. Ez kettős integrállá alakítható át. Mivel (F23. ábra) u
b
by dvy(x, y9 0)
J i M '0 0í ' b
oy[a„
a
0
-j)y>y>Q)dy
0) dy;
Ub--x b a
ÍW J
(L.)
b
dvx(x, y9 0)
0
vx(x9 b
dy
a
dy dx =
x, 0 ) dx — vx(x, 0, 0) dx,
241
ezert
J r o t v dS = (S)
^y 9 y 9 0^j
vy(09 v, 0) dy+
O
o +
b b- - x , 0 \ d x + a J
vx{x, 0, 0) dx.
A Stokes-tétel jobb oldalán álló vonalmenti integrál a következő alakba írható: j \ dr = j (vx dx + vy dy + vz dz) = j vxdxJr
j vydy+
J
vsdz.
Az utolsó integrál értéke nyilvánvalóan 0, hiszen a háromszög az x, y síkban van. Az első két vonalmenti integrál összege az f vx dx+ J vx dx+ J vx dx+ j vy dy+ f vy dy + j vy dy ^ k 1 \ 1 összegre bontható, ahol a nyilak helyzete a háromszögnek arra az oldalára utal, amely mentén az integrálás történik. E hat integrál közül a harmadik, ill. a negyedik értéke 0, hiszen az integrációs út minden pontjának az x, illetve y koordinátája 0. A megmaradt tagok x, ill. y szerinti közönséges integrálokká alakíthatók át, ha x-et, ill. y-t választjuk paraméternek, így a képlet jobb oldalán álló vonalintegrál
v dr =
vx(x, 0, 0) dx +
+
VX (
x
x, 0 dx 4-
vy ( a- -y9 y9 0 ) dy+ j vy(09 y9 0) dy9
ez pedig pontosan megegyezik a bal oldalon álló felületi integrálra kapott összeggel. Ezzel a tételt a speciális helyzetű derékszögű háromszöglapra igazoltuk. Az F23. ábrán az a és b valós számokat pozitívaknak ábrázoltuk, de ezt a bizonyítás során nem használtuk ki. 2. Legyen most a háromszöglap nem feltétlenül derékszögű és helyezzük el a koordináta-rendszerben az F24. ábrán látható módon. Ez a háromszöglap két olyan derékszögű és speciális elhelyezkedésű A x és A 2 részháromszöglapra bontható fel, 242
amelyekre Stokes tétele külön-külön igaz, vagyis J rot v dS = J rot v dS = (A2)
j v dr, (At)
(Al)
•
J \ dr. (A 2 )
F24. ábra
Adjuk össze az egyenletek megfelelő oldalait! A felületi integrál additivitása miatt a részháromszöglapokra vett felületi integrálok összege egyenlő az egyesítésükre (az eredeti háromszöglapra) vett felületi integrállal A részháromszöglapok kerületén vett vonalmenti integrálok összege pedig a nagy háromszöglap kerülete mentén vett vonalmenti integrállal egyenlő, mert a részháromszöglapok közös oldalán vett vonalmenti integrálok összege 0, hiszen mindegyik közös oldal mentén kétszer integráltunk, mégpedig ellentétes irányítás mellett (F24. ábra). így j rot v dS = J v dr. (A)
(A)
3. Legyen a háromszöglap alakja és elhelyezkedése tetszőleges. Mivel egyrészt a rot v független a koordináta-rendszer megválasztásától (hiszen a deriválttenzor vektorinvariánsa), ezért ennek felületi integrálja is csak tőle és a háromszöglaptól függ, másrészt a vonalmenti integrál értéke is csupán a v-től és a háromszöglaptól függ, ezért ha egy új koordináta-rendszert úgy választunk meg, hogy ebben a háromszöglap az előbbi lépésben tárgyalt speciális helyzetbe kerül, akkor egyik integrál értéke sem változik meg, a speciális helyzetű háromszöglapra pedig igaz Stokes tétele. 4. Tekintsünk végül egy mérhető felszínű egyszeresen összefüggő S felületet, amelynek a határa a g rektifikálható zárt görbe. írjunk a felületbe egy olyan P poliédert, amelynek oldallapjai háromszöglapok és minden csúcsa a felületen van. A P poliéder minden háromszöglapjára igaz a Stokes-tétel. Adjuk össze a kapott egyenletek megfelelő oldalait! A felületi integrál additivitása alapján az összeg egyik oldalán a P poliéderre vonatkozó felületi integrál áll, a másik oldalon pedig a határoló g görbébe írt p poligonra vonatkozó vonalmenti integrál, mert a belső háromszöglapok minden oldala mentén kétszer, mégpedig egymással ellentétes irányítás mellett integráltunk a körüljárási irány megtartása miatt, ezért ezeknek a vonalmenti integráloknak az összege 0. így beláttuk, hogy J rot v dS = j v dr. (P)
(P)
Szaporítsuk most a felületen a pontok számát úgy, hogy a felszínszámításnál mondott korlátozó feltételek érvényben maradjanak a poliéderek valamennyi három243
szöglapjára. Bármilyen felosztást választva, a beírt poliéderre és a határoló töröttvorialra a tétel igaz. Finomítsuk a felosztást minden határon túl! Ekkor az előző feltételek mellett a poliéderekre kapott felületi integrálok sorozatának határértéke a felületre vonatkozó felületi integrál, a határoló poligonokra kapott vonalmenti integrálok sorozatának határértéke pedig a határoló görbére vett vonalmenti integrál, azaz J rot v dS = J v dr, (S)
(g)
és ezzel Stokes tételét beláttuk. Z
KIDOLGOZOTT PÉLDA
Tekintsük a v(r) = ( - x2 + y + z)i + (x- y2 + z)j + + (x + y — z 2 )k vektormezőt és azt a véges felületet, amelyet az A(2; 0; 0), 5(0; 2; 0), C(0; 0; 2) csúcspontú háromszöglap és az a két háromszöglap határol, amit az ABC sík az xz és yz síkokból kivág (¥25. ábra). (A vonalkázással jelölt háromszöglap nem tartozik a felülethez.) Igazolja az alakzatra Stokes tételét! F25. ábra
Megoldás. A három háromszöglapból álló alakzat határoló kontúrvonala a vonalkázott háromszög oldalaiból álló g töröttvonal. Számítsuk ki először a vonalintegrál értékét a g vonal mentén. Ez három részből áll: az OA, AB és BO egyenesszakaszokból. Az OA egyenes egyenlete x= t, y = 0, z = 0, ahol 1; x= 1, y — 0, z = 0. A vonalmenti integrál
o Az AB egyenes egyenlete x=t, y = 2-t, a vonalintegrál pedig o h = \[(~~t2 + 2-t)-{t-{2-t):l)]dt 2
= [6t-3t ]l
z = 0, ahol o = \{-6t+6)dt
=
= 1 2 - 1 2 = 0.
Végül a BO egyenes egyenlete x = 0, y = t, z = 0, ahol vonalmenti integrál pedig
244
x = 1, y= - 1, z=--0,
x = 0, y=l,
z = 0, a
W - - E R 2
Ezeket felhasználva r \\dr
J
8 8 = - - + 0 + - = 0, 3 3 '
(9)
azaz a Stokes-tételt jelentő egyenlőség jobb oldala 0. Áttérve a felületi integrál kiszámítására, először a rot v vektort határozzuk meg, i
j
k
d
d
8
dx
-x2 + y + z
dz
dy
x-y2
+z
x+
y-z2
= (1 — l ) i - ( l — l)j + (l — l)k = 0. Ezért a felületi integrál értéke és így a Stokes-tétel bal oldala is 0. A tétel két oldalán álló kifejezések egyenlők (mind a kettő 0), ezért Stokes tétele erre az alakzatra igaz.
5.7 Vektorpotenciál A felületi integrál kiszámítása Stokes tétele értelmében vonalmenti integrál kiszámítására vezethető vissza, ha a felületi integrál integrandusa egy vektorfüggvény rotációja. • J rot v dS = j v dv. (S)
(9)
Ezért egy f wdS (S) felületi integrál kiszámítása elvileg egyszerűbb lenne, ha találnánk egy olyan v(r) vektor-vektor-függvényt, amelyre w = rot v lenne, mert ekkor j w d S = J r o t v d S = j v dr (S) (S) (9) lenne. Kérdés: mi a szükséges feltétele annak, hogy egy ilyen v(r) függvény létezzék? 245
TÉTEL. A w vektormezőhöz akkor és csak akkor található egy v vektor-vektorfüggvény úgy, hogy w = rot v legyen, ha div w = 0. Bizonyítás. Legyen w = n y Ekkor i 8 rot v = V x y = dx vx
+ w j + wzk és v = vxi + t y + vzk. k 8
j 8
Yy Jz Vy v2
dvz ~8y
'dv.
\, dz:
8zJ
dx J
\ dx
dy J
A w = rot v feltétel értelmében wv =
dvz
dvy
dl)*
dvz
dy
dz
dz
dx
w, =
dVy 'dx
(K dy
Számítsuk ki a div w értékét: div w = Vw = =
Í^L
dwv
dwv
dwT
dx
dy
dz
_ őzöx/
d2vv - ^L) + Í^L dxdyj
+
d2v„ \dxdz
d2v, dydzt
Mivel egy háromváltozós függvény vegyes parciális deriváltjai egyenlők, ezért az utolsó egyenlőség jobb oldalán álló hat tag összege 0, azaz div w = 0, és ezzel állításunkat beláttuk. Be lehet látni, hogy ez a feltétel elegendő is. A v vektor-vektor-függvényt, amelyre rot v = w, a w vektor-vektorfüggvény vektorpotenciáljának nevezik. DEFINÍCIÓ.
Ha a W vektor-vektor-függvénynek van vektorpotenciálja, azaz div w = 0, akkor azt mondjuk, hogy a w vektormező forrásmentes (nyelőmentes).
DEFINÍCIÓ.
Ha tehát w egy forrásmentes vektormező és v a vektorpotenciálja, akkor J w dS = J v dr, (S) (ig) 246
vagyis az S felületre vonatkozó felületi integrál a felületet határoló g görbére vonatkozó vonalmenti integrállá redukálódik. Ez azt jelenti, hogy a felületi integrál csak a felület határától függ és független a felület megválasztásától. Ha az S felület zárt, akkor egy g görbe mentén két részre vágva a felületet és a kapott két részre felírva a felületi integrált, e két felületi integrál ugyanarra a határoló g görbére vonatkozó vonalmenti integrálra vezethető vissza, csak ez a két vonalmenti integrál ellentett értékű lesz, mert a görbén egyszer pozitív, másszor negatív irányban haladunk végig, hiszen a felületi normális az egész felületen azonos (például kifelé mutató) értelmű kell legyen (F26. ábra). Ezért a forrásmentes w vektor-vektor-függvény zárt felületekre vonatkozó felületi integrálja 0, azaz $ w dS = 0.
KIDOLGOZOTT PÉLDA
Számítsuk ki a w(r) = x2yzi + xy2zj-
2xyz2k
vektormező felületi integrálját az x2 + y2 = 4, z = 0, z = 6 zárt hengerfelületre, kifelé mutató normális mellett! Megoldás. Mivel div w = 2xyz + 2xyz — 4xyz = 0, ezért a vektormező forrásmentes, és így bármilyen zárt felületre vonatkozó felületi integrálja 0.
5.8 Gauss-Osztrogradszkij-tétel TÉTEL. Legyen adott egy felszínnel rendelkező, zárt S felülettel határolt, mérhető térfogatú V térrész, továbbá ebben a térrészben értelmezett, folytonosan differenciálható w(r) vektor-vektor-függvény. Az S felület minden pontjában a felületi merőlegeseket a térrészből kifelé irányítjuk. Az elmondott feltételek mellett j div w dV = j w dS. (V)
(S) '
247
Ez a Gauss-Osztrogradszkij-tétel, amely kapcsolatot teremt egy térfogati és egy felületi integrál között. A tételt a Stokes-tétel bizonyításával analóg módon láthatjuk be: a tételt először egy tetraéderre, majd tetraéderekből felépített poliéderre, végül a mérhető térfogatú V térrészre látjuk be. Ezt a bizonyítást nem végezzük el. A Stokes- és a Gauss-Osztrogradszkij-tételeket közös névvel integrálredukciós tételeknek nevezik. Felmerülhet az a kérdés, hogy a két tétel egymás utáni alkalmazásával nem lehetne-e egy térfogati integrált vonalmenti integrállá redukálni? A válasz: nem, mert amint azt már láttuk - az j w dS = j v dr (s)
(9)
redukció feltétele az, hogy div w = 0 legyen és ekkor a térfogati integrál integrandusa 0. KIDOLGOZOTT PÉLDÁK
1. Példa. Legyen a w(r) = ( — x2 + y + z)\ + (x — y2 + z)j + (x+y — z 2 )k
2
vektormező a 0 ^ 2 , O ^ j / ^ 2 , feltételekkel adott kockatartományon értelmezve. Igazoljuk a Gauss-Osztrogradszkij-tétel helyességét erre az alakzatra úgy, hogy egymástól függetlenül kiszámítva a tétel két oldalán álló integrálokat, belátjuk ezek egyenlőségét! Megoldás. Először a térfogati integrált számítjuk ki. Mivel divw = Vw = —2x — 2y — 2z,
F27. ábra
ezért a szóban forgó kockára (F27. ábra) vett térfogati integrál 2 2 2
J div
w dV =
J J J (— 2x — 2y — 2z) dx dy dz
=
0 0 0
(v)
2 2
2 2
= - J f [x2 + 2xy + 2xz]%dydz = - J J (4 + 4y + 4z) dy dz = 00 00 2
=
—
2
f [4y + 2j;2 + 4yz]l dz = — J (16 + 8z) dz = - [ 1 6 z + 4z 2 ] 2 = - 4 8 .
248 r
Másodszor a kocka 6 lapjára vonatkozó felületi integrálokat laponként számítjuk ki. A kocka ferdén vonalkázott lapján jc = 2, A lap felületi normálisa az x tengellyel párhuzamos, és mivel kifelé mutat, ezért i irányú. Az Sx felületi integrál pedig, ha y-t és z-t választjuk paraméternek: 2
2
J w d S = J wirfS = J J ( - 4 + y + z)dydz
(Si)
=
0 0
2
y j + z y
-4y+
dz —
( —6+2z)dz = [—6z + z ]o
A kockának az előbbi lappal párhuzamos hátsó lapján x = 0, a felületi normális — i irányú. Ezért 2
w dS ^
(S2)
J Yt(-\)
2
(y + z) dy dz =
dS
0 0
(Si)
+ zy 0
dz = - f ( 2 + 2Z)Í/Z = - [ 2 z + z ]O = J
A kocka függőlegesen vonalkázott lapján lis j irányú. így a felületi integrál 2
=
- 8
a felületi normá-
2
wj dS = J J (x — 4 + z) dx dz =
WDS =
(S3)
és
(S3)
o o 2 — 4x + xz
( — 6 + 2z) DZ = [ — 6Z + Z2]Q =
dz = o
-8.
J
Hasonló módon, a kocka még hátralevő három lapjára 2 2
f w(—j) dS = - j j ( x + z ) d x d z = - 8 , 00 (s 4 ) 2 2
j wkdS = J j(x+j-4)dxdj = -8, (S5)
oo 2 2
j w( — k) dS = \\(x+y)dxdy (S«) 00
= -8.
249
A felületi integrálok összege - 48 és ez megegyezik a térfogati integrál értékével. Ezzel a Gauss-Osztrogradszkij-tétel helyességét erre az alakzatra igazoltuk. 2. Példa. Számítsuk ki a w{r) = xi + 2 vj + 3zk vektormező felületi integrálját az x 2 +j> 2 = 9, z = —2, z = 3 egyenletekkel megadott körhenger S H felületére, kifelé mutató normálisok mellett! Megoldás. Alkalmazzuk a Gauss-Osztrogradszkij-féle tételt. Mivel div w = 1 + 4-2 + 3 6, ezért J w dS - J div w dV = J 6
5.9 Green-tételek TÉTEL (Green első tétele). Legyenek az /(r) és g(r) függvények kétszer folytonosan differenciálhatok egy V mérhető térfogatú és felszínű térrészben és tekintsük a w = / g r a d f l f =/Vflf függvényt. Ekkor J [(grad f ) (grad g) + fAg] dV = f (f grad g) dS. (v)
(s)
Bizonyítás. Az / grad g függvény legalább kétszer folytonosan differenciálható, ezért alkalmazhatjuk a Gauss-Osztrogradszkij-tételt. Minthogy (felhasználva a nabla operátorról tanultakat) divw = Vw = V(fVg) = VfVg + fV2g
= (grad f ) (grad g) + / A <7,
ezért ezt a j div w d F = j w dS képletbe helyettesítve éppen az állítást kapjuk. (v)
250
(s)
Ha speciálisan f==g, akkor F [(grad / ) 2 + / A / ] dV — J C/ g r a d / ) d S . (v)
(s)
Ha speciálisan / = 1, akkor f A ^ r f F - J" (grad g) dS — f Vg dS. (v)
(s)
(s)
TÉTEL (Green második tétele). Tekintsük most az előbbi f és g függvényekből képzett w = / g r a d g-g függvényt.
grad/ =
fVg-gVf
Ekkor
J (fAg — gAf) dV = J (fVg~ gS/f) dS. (V)
(S)
Bizonyítás. Mivel most divw = V(fV9-9Vf)
= VfVg + fAg-VfVg-gAf
=
fAg-gAf,
ezért a Gauss-Osztrogradszkij-tételt alkalmazva éppen az állítást kapjuk.
251
IRODALOMJEGYZÉK
Bjezikovics, Ja. Sz.: Közelítő számítások. Tankönyvkiadó, Budapest, 1952 Hajós György: Bevezetés a geometriába (6. kiadás). Tankönyvkiadó, Budapest, 1979 Halmai Erzsébet: Lineáris algebra. Tankönyvkiadó, Budapest, 1979 Krekó Béla: Lineáris algebra. Közgazdasági és Jogi Könyvkiadó, Budapest, 1976 Rózsa Pál: Lineáris algebra és alkalmazásai (2. kiadás). Műszaki Könyvkiadó, Budapest, 1976 Sárközi András: Komplex számok. Példatár. Műszaki Könyvkiadó, Budapest, 1973 Scharnitzky Viktor: Mátrixszámítás. Példatár (3. kiadás). Műszaki Könyvkiadó, Budapest, 1979
252
MATEMATIKATÖRTÉNETI ÍZELÍTŐ
N. H. ABEL (1802-1829) norvég matematikus. Kimagaslóak az algebrai egyenletek elméletével kapcsolatos, valamint az elliptikus és hiperelliptikus függvényekre vonatkozó eredményei. E. BÉZOUT (1730-1783) francia matematikus. Az algebrai egyenletek megoldásában elért alapvető eredménye őrizte meg nevét. B. BOLZANO (1781-1848) cseh matematikus, filozófus és teológus. Kutatásai jelentősen hozzájárultak a végtelen matematikai fogalmának a tisztázásához. Függvénytani munkáiban számos alapvető fogalmat vezetett be, és több tételt bizonyított be. G. CARDANO (1501-1576) olasz matematikus, filozófus, természettudós és orvos. A szerencsejátékok vizsgálata során több, a valószínűségszámítás tárgykörébe vágó megállapításra jutott. Felfedezte a róla elnevezett kardántengelyes felfüggesztést. A. CAUCHY (1789-1857) francia matematikus és fizikus. A matematikának a mechanikára és fizikára való alkalmazásával foglalkozott. Ez vezette a matematikában is nagy felfedezésekre. Legnagyobb érdeme a komplex változós függvények elméletének a megalkotása, itt számos tétel a nevét viseli. A matematikai analízisben ma alkalmazott szigorúság neki köszönhető, ez előtte a matematikusok körében nem volt lényeges szempont.Nevéhez fűződik a sorozatok és sorok konvergenciájának vizsgálatához használt több, ma is használatos kritérium. Ő volt az első, aki differenciálegyenletek és differenciálegyenlet-rendszerek megoldásának létezését bizonyította. A. CAYLEY (1821-1895) angol matematikus. Számottevő eredményeket ért el a véges csoportok, az algebrai görbék, a determinánsok és az algebrai formák invarianciájának elméletében. Tovább fejlesztette az elliptikus függvények elméletét. G. CRAMER (1704-1752) svájci matematikus. Jelentős eredményeket ért el a lineáris egyenletrendszerek megoldásában, a magasabb fokú algebrai görbék vizsgálatában. Könyvünkben megismert szabályát 1750-ben hozta nyilvánosságra. 253
R. DESCARTES (1590-1650) francia filozófus, matematikus és természettudós. La Géometrie című könyvében elsőnek használt kétismeretlenes egyenleteket görbék jellemzésére, és így szoros kapcsolatot teremtett az algebra és a geometria között. Művében felismerhető a ma elterjedten használt analitikus módszer. Elősegítette a differenciál- és integrálszámítás kifejlődését, és továbbfejlesztette az algebrai egyenletek elméletét. L. EULER (1707-1783) svájci matematikus és fizikus. Egy 1748-ban megjelent műve tartalmazza a mai trigonometriát, számos elemi függvény hatványsorát és a róla elnevezett összefüggést. Az analitikus geometria egyik megalapozója. Fontos eredményeket ért el a számelméletben a magasabbfokú egyenletek, a poliéderek, a differenciálegyenletek elméletében, az elemi geometriában. Elsőnek fedezte fel a fény hullámtermészetét. L. F E R R A R I (1522-1565) olasz matematikus. Nevét az általános negyedfokú algebrai egyenlet megoldása örökítette meg. S. del F E R R O (71465-1526) olasz matematikus. Algebrai problémákkal foglalkozott, és elsőnek fedezte fel a harmadfokú egyenlet megoldóképletét. C. F. GAUSS (1777-1855) német matematikus, fizikus és csillagász, a „matematikusok fejedelme". A matematika csaknem minden ágában ért el alapvetően fontos eredményeket. így például doktori értekezésében elsőnek adta meg az algebra alaptételének szigorú bizonyítását, a Disquisitiones arithmeticae című, 1801-ben megjelent műve a modern számelmélet kezdetét jelenti. Nevéhez fűződik a felületek vizsgálatában ma is használt számos tétel, a legkisebb négyzetek elve, a komplex számok elméletének megalkotása, a hipergeometrikus sorok vizsgálata, a potenciálelmélet megalkotása. Foglalkozott az elliptikus függvények elméletével, a nemeuklideszi geometriával, valószínűségi változók eloszlásával (Gauss-görbe). G. G R E E N (1793-1841) angol matematikus és fizikus. Megalapozta az elektromosság matematikai elméletét és kidolgozta a potenciálelméletet mint a matematika önálló ágát. W. R. HAMILTON (1805-1865) ír matematikus, fizikus és csillagász. Felfedezte a kvaterniókat, megalapozta a vektorszámítást, felismerte a mechanikai törvények egységes megfogalmazását (Hamilton-elv). O. HESSE (1811-1874) német matematikus. Az analitikus geometriában és a determinánselméletben ért el jelentős eredményeket. W. G. H O R N E R (1786-1837) angol matematikus. Nevét a róla elnevezett eljárás őrizte meg, bár ezt az eljárást a kínai és perzsa matematikusok már jóval korábban is ismerték. 254
L. KRONECKER (1823-1891) német matematikus. Legjelentősebb eredményeit az elliptikus függvények elmélete, az ideálelmélet és a kvadratikus alakok elmélete terén érte el. J. L. LAGRANGE (1736-1813) francia matematikus, fizikus és csillagász. Nevéhez fűződik a variációszámítás és a mechanika elméleti feldolgozása. Jelentősek az algebrai egyenletek megoldásában, a számelméletben és a differenciálegyenletek megoldásában elért eredményei. P. S. LAPLACE (1749-1827) francia matematikus, fizikus és csillagász. Matematikai munkássága a determinánselméletre, a differenciálegyenletek elméletére, az integrálszámításra, a potenciálelméletre és a valószínűségszámításra terjed ki. Főműve az 5 kötetes Égi mechanika. G. W. LEIBNIZ (1646-1716) német filozófus és matematikus. A természetben folytonosan lejátszódó változások leírására megalkotta I. Newton angol matematikustól függetlenül a differenciál- és integrálszámítást, meghonosította a ma is használatos műveleti jeleket ( + , —, :), a hasonlóság ( ~ ) és az egybevágóság ( ~ ) jelét, a differenciálszámítással kapcsolatos jelölésrendszert. Módszert adott a racionális függvények integrálására. Jelentős eredményeket ért el a determinánsok, a burkológörbék és a sorok elméletében is. Előfutárja a szimbolikus logikának. Feltalált egy számítógépet is. A. de MOIVRE (1667-1754) francia származású angol matematikus. Jelentős eredményeket ért el a sorok elméletében, a valószínűségszámításban, a komplex számok elméletében. Érdekes, hogy a róla elnevezett formula mai alakja L. Eulertől származik. A. F. MÖBIUS (1790-1868) német matematikus. Elsőnek vezette be az analitikus módszereket a projektív geometriába. Új rendszerezését adta a görbéknek és a felületeknek, nevéhez fűződik az egyoldalú felületeknek a fogalma (Möbius-szalag). I. NEWTON (1643-1727) angol természettudós, aki világra szóló felfedezéseivel egyaránt gazdagította a matematikát, a fizikát és a csillagászatot. Matematikai eredményei sorából kiemelkedik a differenciál- és integrálszámítás (Leibniztől független) felfedezése, az interpoláció elméletének és gyakorlatának megalkotása, az egyenletek gyökeinek közelítő meghatározásával, a határozott integrálok közelítő kiszámításával. a sorelmélettel, a variációszámítással kapcsolatos munkássága. M. V, OSZTROGRADSZKIJ (1801-1861) orosz matematikus. Eredményeit a vektoranalízis, a matematikai fizika és az elméleti mechanika területén érte el. G. PEANO (1858-1932) olasz matematikus. Vizsgálta a matematikai analízis alapvető fogalmainak belső összefüggéseit, megalapozta a matematikai logikát, megalkotta a természetes számokra vonatkozó Peano-féle axiómarendszert. 255
P. RUFFINI (1765-1822) olasz matematikus. Bebizonyította, hogy általános ötödfokú algebrai egyenlet megoldására nem adható meg „gyökképlet". H. A. SCHWARZ (1843-1921) német matematikus. Legtöbb fontos eredményét a komplex függvénytanban és a felületek felszínszámításában érte el. G. G. STOKES (1819-1903) angol matematikus és fizikus. Legfontosabb felfedezései a belső súrlódásra, a fénysugárzásra és a fluoreszcenciára vonatkoznak. Nevét a vektoranalízisben elért eredményei is megőrzik. J. J. SYLVESTER (1814-1897) angol matematikus. Továbbfejlesztette a determinánsok elméletét, megalapozta a mátrixok elméletét. Jelentős a számelméleti munkássága is. Egyik legnevezetesebb tétele a kvadratikus alakok tehetetlenségi tétele. N. TARTAGLIA (1500-1557) olasz matematikus. S. del Ferrotól függetlenül felfedezte a harmadfokú algebrai egyenlet megoldóképletét, eredményeket ért el a szabadesés és a hajítások vizsgálata során.
256
NÉV- ÉS TÁRGYMUTATÓ
Abel, N. H. 158, 253 - -féle csoport 12 additív csoport 12 ágazati kapcsolatok mátrixa 99 — mérlegegyenlete 100 aktuális bázis 88 alakváltozási mátrix 127 algebrai egyenlet 158 - - f o k a 158 altér 86 alternáló művelet 29 antiszimmetrikus mátrix 50 arány tartó leképezés 120 árvektor 99 balcsavarodású görbe 194 bal oldali szorzás 65 — zérusosztó 66 balrendszer 33 bázis 17, 84 - alapvektora 17 báziscsere 121 - mátrixa 96 bázisra vonatkozó koordináták 86 bázistranszformáció 86 bázisvektor 44, 84, 87 bázisvektorok lineáris kombinációja 85, 87 bevételvektor 99 Bézout, E. 253 - tétele 159, 165 binomiális tétel 140
binormális 185 - egyenes egyenlete 185 Bolzano, B. 253 Bolzano tétele 160 bővített mátrix 108 — rangja 108 bruttó kibocsátás vektora 99 Cardano, G. 158, 253 Cauchy, A. 54, 133, 253 Cayley, A. 54, 253 Cramer, G. 253 - -szabály 109, 110 csavarvonal 180 - görbülete 192 - menete 181 -menetmagassága 181 -menetsűrűsége 181 - természetes egyenlete 200 - torziója 199 - vektoregyenlete 180 csoport 12 csoportaxiómák 12 csúsztató feszültségvektor 127 deformációvektor 127 deriváltfüggvény (derivált) 181 -komponensei 182 deriválttenzor 215 - mátrixa 215 - skalárinvariánsa 215
deriválttenzor vektorinvariánsa 215 Descartes, R. 18, 254 determináns 53 - első sora szerinti kifejtése 53 - értéke 53 - főátlója 55 diád 67 diagonálmátrix 49, 77, 129 dimenzió, lineáris téré 84 divergencia 215 duálváltozó 96
érintő 171 érintő egyenes egyenlete 184 érintő (tangenciális) egységvektor 184 érintőmódszer 171, 172 értelmezési tartomány 179 értékkészlet 179
egyenes 36 - paraméteres egyenletrendszere 37 — vektoregyenlete 36 egyenlet, algebrai 158 - - f o k a 158 - egyismeretlenes 158 — megoldása 158 — gyöke 158 egyenletrendszer, lineáris egyértelmű megoldása 109 — szabadságfoka 109 — triviális megoldása 110 — végtelen sok megoldása 109 egyismeretlenes egyenlet 158 egységelem 82, 132 egységgyökök 151 egységmátrix 49, 93 egységnyi irányvektorú, az origón áthaladó egyenesre való tükrözés mátrixa 122 egységvektor 9, 24, 49 együtthatómátrix 107 elem 53 elemi bázis transzformáció 86 ellentmondó egyenletrendszer 109 előjeles aldetermináns 53 elsőfokú algebrai egyenlet 158 eredő 11 eredő ellenállás 157 erőtér 212 - munkája 223
fajlagos anyagköltség 99 faktoriális 53 Falk-módszer 64 felcserélési tétel 34 felszín 208 - kiszámítása 208, 209 felszíni integrál 231 - kiszámítása 232 felszínvektor 233 felület 201 - érintősíkja 204 - egyenlete 205 - felszíne 208 - normálisa 204 felületi integrál 233 - kiszámítása 234 felületi normális 234 ferdén szimmetrikus mátrix 50 Ferrari, L. 158, 254 del Ferro, S. 158, 254 feszültségmátrix 127 feszültségvektor 127 folytonos függvények halmaza 82 forgatónyomaték 28 - -vektor 28 forrásmentes vektormező 215 főátló 49 főirányszög 141, 182 főnormális 185 - egyenes egyenlete 185 Frenet első formulája 197
258
euklideszi tér 83 Euler, L. 254 - -féle összefüggés 152, 154 exponenciális függvény 152
Gauss, C. F. 133, 254 Gauss-féle elsőrendű főmennyiségek 209 - -féle komplex számsík 134 Gauss-Osztrogradszkij-tétel 247 generáló elem 88 generált altér 86 gömbfelület 202 görbe 181 - érintője 181 - görbülete 191 - ívhossza 188 - kísérő triédere 184 - természetes egyenlete 199 - torziója 193 görbület 191 - , átlagos 191 - kiszámítása 182, 197 görbületi kör 192 - sugara 192 gradiensvektor (gradiens) 218 Green G. 254 Green-tétel 250 - , első 250 - , második 251 gyök elkülönítése 159 - közelítő értéke 169
Horner-féle eljárás 162, 163, 164 - elrendezés 166 - formula 165 Horner-módszer 166 húr 168 húrmódszer 168, 169, 172 idempotens mátrix 73 í-edik sor és a fc-adik oszlop kompozíciója 63 imaginárius egység 133 impedancia 157 - belső szöge 157 inhomogén lineáris egyenletrendszer 107 integrálredukciós tételek 248 inverz 82 - mátrix 80, 93 - transzformáció 121 irányított szakasz 9 irányvektor 36 iteráció módszere 173, 175 ívhossz 188 izotermikus felület 217 jobbcsavarodású görbe 194 jobb oldali szorzás 65 - zérusosztó 66 jobbrendszer 33 jobbsodrású rendszer 17
Hamilton, W. R. 254 Hamilton-operátor 219 harmadfokú egyenlet 158 * kapacitásvektor 99 harmadrendű determináns 31 karakterisztikus determináns 128 három vektor vegyes szorzatának kiszá- egyenlet 128 mítása 34 - polinom 128 háromdimenziós lineáris tér 84 képvektortér 119, 127 háromszögmátrix 72, 77 képzetes egység 133 helyvektor 19 - számok 133 hengerfelület 203 - tengely 135 Hesse, O. 254 két mátrix egyenlősége 60 - -féle normálegyenlet 38 - konformábilitása 63 homogén egyenletrendszer 110 két vektor diadikus szorzata 67 - lineáris egyenletrendszer 107 - egyenlősége 10, 19 Horner, W. G. 254 - hajlásszöge 23, 25 259
két vektor skaláris szorzata 22, 67 - vektoriális szorzata 28 kilépő bázisvektor 88 kísérő triéder 184 - élei 185 - síkjai 183 kommutatív csoport 12 kompatíbilis vektor 109 kompatibilitási vizsgálat 110 komplex számok 131 - szám abszolút értéke 140, 152 - szám algebrai alakja 133 - szám argumentuma 140 - szám exponenciális alakja 153 - szám irányszöge 140, 152 - szám kanonikus alakja 133 - szám képzetes része 134 - szám konjugáltja 134 - szám modulusa 140 - szám trigonometrikus alakja 141, 153 - szám valós része 134 konvex lineáris kombináció 61 konzervatív erőtér 228 koordináta 88 koordinátarendszer-transzformáció 121 kölcsönösen egyértelmű megfeleltetés 10, 121
körintegrál 224 közelítés hibája 170 közelítő érték 170 Kronecker L. 255 - -féle szimbólum 49 > kúpfelület 203 kvadratikus mátrix 46 kvaternió 33 Lagrange, J. L. 255 - tétele 159, 161 Laplace, P. S. 255 Laplace-operátor 220 Leibniz, G. W. 54, 255 leképezés 119 lineáris altér 91 - egyenletrendszerek 107 260
-
- megoldása 109 szabadságfoka 109 triviális megoldása 110 leképezés 120 tér 82 bázisa 86 dimenziója 92 lineáris transzformációja 120 transzformáció 120 - együtthatói 120 mátrixa 120
másodfokú algebrai egyenlet 158 matematikai modell 98 mátrix 46 - eleme 46 - jelölése 46 - ?í-edik hatványa 72 - oszlopa 46 - rangja 75, 91 - rendje 46 - sora 46 - szorzása skalárral 61 - típusa 46 - transzponáltja 47 mátrixegyenlet 107, 128 mátrixok különbsége 60 - lineáris kombinációja 61 - összege 60 - szorzata 63 megoldáshalmaz 108 merőleges vetítés mátrixa 125 minormátrix 48 Moivre, A. de 255 - -féle formula 145 Möbius, A. F. 255 nabla operátor 219 n jegyre pontos eredmény 159 ^-dimenziós lineáris tér 84 - vektor 43 - vektortér 44 - bázisa 44 H-edfokú polinom 82
«-edik egységgyökök 150 «-edrendű determináns 53 negyedfokú egyenlet 158 négyzetes mátrix 46 - adjungált mátrixa 77 - determinánsa 74 nem kompatíbilis vektor 109 nemszinguláris lineáris transzformáció 120 - mátrix 93 nettó kibocsátás vektora 100 Newton, I. 255 nilpotens mátrix 72 nívófelület 217 normális feszültségvektor 127 normálsík 186 normált bázis 17 - sajátvektor 130 nullvektor 9 nyújtás mátrixa 125 origó 18 - körül cp szöggel való elforgatás mátrixa 123 origóra való tükrözés mátrixa 122, 123 ortogonális bázis 17 ortonormált bázis 17, 44, 85 oszlop, determinánsé 53 - , mátrixé 46 oszlopmátrix 47 oszlopösszegpróba 64 oszlopösszegző vektor (mátrix) 68 oszlopvektor 44, 47 oszlopvektorok alkotta vektorrendszer 91 Osztrogradszkij, M. V. 255 örvénymentes vektormező 215 összegtartó leképezés 120 összegző mátrix 50 - vektor 50 összetevő 11 ötöd- és ennél magasabb fokú algebrai egyenletek 158
pályagörbe 180 pályasebesség 188 paralelepipedon (ferde hasáb) előjeles térfogata 33 paralelogramma-szabály 11, 143 paralelogramma területvektora 30 paraméterérték 179 paramétervonal 202 Peano, G. 256 permutáló mátrix 50, 69 poligonszabály 11 polinom helyettesítési értéke 162 ponthalmaz 10 potenciálfüggvény (potenciál) 228 prímáiváltozó 96 primitív egységgyökök 151 programmátrix 99 programvektor 99 projektor- (vetítő-) mátrix 73 reciprok mátrix 80 regula falsi 168 reguláris lineáris transzformáció 120 - mátrix 74 rektifikáló sík 185 rekurzív definíció 53 rendezett szám-«-es 83 - számpár 131 - számtest 131 - valós számhármasok 83 - számpárok 83 rotáció 215 Ruffini, P. 158, 256 sajátérték 128 sajátvektor 128, 130 sakktáblaszabály 54 Schwarz, H. A. 256 sík 10, 37 - egyenletének általános alakja 38 - tengelymetszetes alakja 38 - normálvektora 37 - vektoregyenlete 37 síkbeli vektor 10 261
síkgörbe 179 síkvektor 82 sima görbe 182 simulósík 184 skalár 9 skalármező (skalár-vektor-függvény) 217 - gradiense 218 - szintfelülete (nívófelülete) 217 - teljes differenciálja 227 skalár-vektor-függvény (skalármező) 217 sor, determinánsé 53 - mátrixé 46 sormátrix 47 sorösszegprőba 64 sorösszegző vektor (mátrix) 68 sorvektor 44, 47 sorvektorok alkotta vektorrendszer 91 Stokes, G. G. 256 Stokes tétele 240 Sylvester, J. J. 46, 256 szabadságfok 110 számegyenes 10, 131 számtest 131, 132 szimmetrikus mátrix 50, 77 szinguláris lineáris transzformáció 120 - mátrix 74 szorzatvektor 137 szögsebesség 189 - átlagos 189 - pillanatnyi 189 tárgyvektor 127 tárgyvektortér 119 Tartaglia, N. 158, 256 technológiai együttható 98 - mátrix 98 teljes szükséglet mátrixa 100 tenzor 213 tér 82 térbeli vektor 10 térfogati integrál kiszámítása 239 262
térgörbe 179 termelési modell 98 - program anyagköltsége 99 termelői fogyasztás vektora 99 térvektor 82 tetraéder térfogata 34 tetszőlegesen pontos megoldás 173 torzió (csavarodás) 193 - kiszámítása 194, 198 triviálistól különböző megoldás 110 v0 vektor körüli (p szöggel történő pozitív irányú elforgatás mátrixa 124 valós számok 10, 131 - tengely 135 vektor 9 - ábrázolása 9 - abszolút értéke 9, 24 - ellentettje 12 - hossza 9 - iránya 9 - iránycosinusai 25 - irányítása 9 - jelölése 9 - kezdőpontja 9 - komponensei 18, 44 - koordinátái 18, 44 - végpontja 9 vektorhármas reciprok vektorhármasa 35 vektormező (vektor-vektor-függvény) 212 - forrása 215 - nyelője 215 - örvénye 215 vektornak egy skalárral való szorzata 13 vektorok különbsége 12 vektorok lineáris függetlensége 16, 43, 83 - kombinációja 17, 83, 84 - összefüggése 16, 43, 83 - összege 11 - síkjára merőleges vetítés mátrixa 126
vektorok - vegyes szorzata 33 - vektoriális szorzata 28 - - szorzatának kiszámítása 31 vektorpotenciál 246 vektor-skalár-függvény - egyparaméteres 179 - deriváltfüggvénye 181 - differenciálhatósága 181 - differenciálási szabályai 182 - folytonossága 180 - - határértéke 180 - - szögsebessége 189 - kétparaméteres 201 - háromparaméteres 212 vektor skaláris szorzata 22 - szorzatáriak kiszámítása 23 vektortér 212 vektor-vektor-függvény (vektormező) 212
vonalmenti integrál 223 - kiszámítása 224, 225, 228 x tengely körül
'
- differenciálhatósága 214 - divergenciája 215 - potenciálfüggvénye 228 - rotációja 215 - vonalmenti integrálja 223 vetületvektor 26 - hossza 25
zéruselem 82, 132 zérusmátrix 49 zérusosztópár 66 zérusvektor 9 z tengely körül pozitív irányban q> szöggel való elforgatás mátrixa 124 z tengelyre való tükrözés mátrixa 123
263
Tankönyvkiadó Vállalat A kiadásért felelős: Petró András igazgató Dabasi Nyomda (88-2559) Bp.-Dabas Felelős vezető: Bálint Csaba igazgató Raktári szám: 42439/1 Szedte a Nyomdaipari Fényszedő Üzem (888620/10) Felelős szerkesztő: Divényi Andrásné Utánnyomásra előkészítette: Balassa Zsófia Műszaki vezető: Telekes György ig.h. Grafikai szerkesztő: Schnedarek Péter Műszaki szerkesztő: Szilágyi Sándor A kézirat nyomdába érkezett: 1988. november Megjelent: 1989. július Példányszám: 4000 Terjedelem: 23,59 (A/5) ív Készült az 1985. évi első kiadás alapján, álló montírungról és fényszedéssel, íves ofszetnyomással az MSZ 5601-59 és az MSZ 5602-55 szabvány szerint
2 1
42 439/1
-
Ft