bmk2 Jegyzet

Bevezet matematika kmikusoknak 2., 2010.
osz o
TARTALOMJEGYZK
Tartalomjegyzk
Bevezets 1. Szmsorozatok konvergencija 1.1. Korltos halmazok . . . . . . . . 1.2. Konvergens s divergens sorozatok 1.3. M veleti szablyok . . . . . . . . u 1.4. Monoton sorozatok . . . . . . . . 1.5. Nevezetes sorozatok . . . . . . . 1.6. Feladatok . . . . . . . . . . . . . 3 4 4 4 5 6 7 7 10 10 11 11 12 13 14 14 14 15 16 18 22 22 23 26 27 29 30 32 33 36 38 40 40 41 42 43 44 45 46
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
2. Numerikus sorok 2.1. Vgtelen sorok konvergencija . . . 2.2. Nevezetes numerikus sorok . . . . . 2.3. A konvergencia elemi tulajdonsgai 2.4. Konvergencia kritriumok . . . . . 2.5. Feladatok . . . . . . . . . . . . . . 3. Hatvnysorok, Taylor sor 3.1. Fggvnysorok . . . . 3.2. Hatvnysorok . . . . . 3.3. Taylor sor . . . . . . . 3.4. Nevezetes Taylor-sorok 4. Fourier-sorok 5. Lineris vektorterek 5.1. Az n-dimenzis vektortr 5.2. Mtrixok . . . . . . . . 5.3. Lineris lekpezsek . . 5.4. Determinnsok . . . . . 5.5. Invertlhat mtrixok . . 5.6. Sajtrtk, sajtvektor . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
6. Differencilegyenletek 6.1. Els rend differencilegyenletek . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o u 6.2. Msodrend lineris differencilegyenletek . . . . . . . . . . . . . . . . . . . . . . . . u 6.3. Lineris differencilegyenlet rendszerek . . . . . . . . . . . . . . . . . . . . . . . . . . 7. Tbbvltozs lekpezsek 7.1. Trgrbk . . . . . . . . . 7.2. Skgrbk . . . . . . . . . 7.3. Felletek . . . . . . . . . 7.4. Skalrmez . . . . . . . . o 7.5. Vektormez . . . . . . . . o 7.6. Divergencia, rotci . . . . 7.7. Nabla s Laplace operator 2011. februr 1.
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
Bevezet matematika kmikusoknak 2., 2010. osz o
TARTALOMJEGYZK
8. Vonalintegrl 8.1. A vonalintegrl dencija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2. A vonalintegrl tulajdonsgai . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.3. Konzervatv vektormez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o
47 47 48 49
2011. februr 1.
Bevezets
Bevezets
Javasolt tanknyvek: Freud Rbert : Lineris Algebra Laczkovich Mikls - T. Ss Vera: Analzis I. (Nemzeti Tanknyvkiad), Laczkovich Mikls - T. Ss Vera: Analzis II. (Nemzeti Tanknyvkiad). A jegyzetben hasznlt jellsek: Egy"vkony" vonal alatti szveg, ha d lt bet s mondattal kezd dik, akkor (egy vagy tbb) denci ill. o u o jells, egybknt megjegyzs vagy magyarzat. Pldul: A konvergencia dencija: ... ... Egy "vastagabb " vonal alatti szveg egy vagy tbb llts ill. ttel. Pldul:
Ha a ... ...
n=1
an vgtelen sor konvergens, akkor an 0.
Ebben a jegyzetben bizonytsok nem szerepelnek. Az itt illetve az el adson szerepelt ttelek bizonyo tsai (ltalban) a fenti tanknyvekben megtallhatak.
2011. februr 1.
Szmsorozatok konvergencija
1. Szmsorozatok konvergencija
1.1. Korltos halmazok
Legyen A R a szmegyenes tetsz leges rszhalmaza. Azt mondjuk, hogy az A halmaz fellr l korlo o tos,ha van olyan M R szm, hogy minden x A esetn x M . Egy ilyen tulajdonsg M szmot az A halmaz fels korltjnak neveznk. o Azt mondjuk, hogy az A halmaz alulrl korltos,ha van olyan m R szm, hogy minden x A esetn x m. Egy ilyen tulajdonsg m szmot az A halmaz als korltjnak neveznk. Azt mondjuk, hogy az A halmaz korltos, ha alulrl is s fellr l is korltos. o Nyilvnval, hogy egy fellr l korltos halmaznak nem csak egy fels korltja van, hiszen ha M egy o o o fels korlt, akkor minden M > M is fels korlt. o Teljessgi ttel : Ha az A R halmaz nem res s fellr l korltos, akkor van legkisebb fels korltja. Ezt a legkisebb o o fels korltot sup A-val jelljk s az A halmaz szuprmumnak nevezzk. o Ha az A R halmaz nem res s alulrl korltos, akkor van legnagyobb als korltja. Ezt a legnagyobb als korltot inf A-val jelljk s az A halmaz inmumnak nevezzk.
1.2. Konvergens s divergens sorozatok

Szmsorozat : Ha egy vals fggvny rtelmezsi tartomny a termszetes szmok halmaza (illetve ltalnosabban annak egy vgtelen rsze), a fggvnyt sorozatnak nevezzk. A sorozat hagyomnyos jellsnl nem hasznlunk zrjelet az rtkek megadsnl, hanem indexbe rjuk a vltozt. gy beszlhetnk az an , bn stb. sorozatokrl. Teht az 1 an = n sorozat az a fggvny, amelyik minden pozitv egsz szmhoz a szm reciprokt rendeli. Az an sorozat esetn az n termszetes szmhoz rendelt vals szmot a sorozat n. tagjnak nevezzk. A konvergencia dencija: Azt mondjuk, hogy az an sorozat konvergl az a vals szmhoz, ha brmely pozitv szm esetn megadhat egy n0 (-tl fgg ) kszbindex gy, hogy brmely n n0 esetn an s a eltrse, |an a| o kisebb mint . Logikai jelekkel: an a vagy lim an = a, ha > 0 n0 n n0 (|an a| < ) A fenti denci gy is megfogalmazhat, hogy brmely pozitv szm esetn a sorozatnak csak vges sok tagja van messzebb a-tl mint . Logikai jelekkel: an a vagy lim an = a, ha > 0 a { n : |an a| } halmaz vges halmaz.
2011. februr 1.
Bevezet matematika kmikusoknak 2., 2010. osz o A hatrrtk egyrtelm , azaz ha an a s an b, akkor a = b. u
Divergens sorozatok: Ha egy sorozat nem konvergens, akkor azt mondjuk, hogy a sorozat divergens. A divergens sorozatokat tovbb osztlyozhatjuk. Azt mondjuk, hogy az an sorozat (plusz) vgtelenbe tart (divergl), jelekkel lerva an , ha minden pozitv irny flegyenes vges kivtellel minden tagjt tartalmazza a sorozatnak, azaz an , vagy lim an = , ha L R n0 n n0 (an > L). Azt mondjuk, hogy az an sorozat mnusz vgtelenbe tart (divergl), jelekkel lerva an , ha minden negatv irny flegyenes vges kivtellel minden tagjt tartalmazza a sorozatnak, azaz an , vagy lim an = , ha L R n0 n n0 (an < L). Ha egy sorozat divergens, de nem tart egyik vgtelenhez sem, akkor a sorozat oszcilllva divergens.
1.3. Muveleti szablyok

Kt konvergens sorozat sszege konvergens s az sszeg sorozat hatrrtke a hatrrtkek sszege. Azaz ha an a s bn b, akkor an + bn a + b. Ha az an sorozat konvergl s c R tetsz leges konstans (vals szm), akkor a c an sorozat o konvergl a hatrrtk konstans-szoroshoz, azaz ha an a s c R, akkor c an c a Kt konvergens sorozat szorzata konvergens s a szorzat sorozat hatrrtke a hatrrtkek szorzata. Azaz ha an a s bn b, akkor an bn a b. Konvergens sorozat reciproka tart a hatrrtk reciprokhoz, feltve, hogy a sorozat tagjai s a hatrrtk egyike sem nulla. Ebb l s a szorzatszablybl kiolvashat a hnyadosokra vonatkoz o szably : a an . ha an a s bn b, b = 0, bn = 0, akkor bn b Ha az an sorozat konvergens s an a, k pedig egy tetsz leges nem nulla egsz szm, akkor o k k an a . Ha az an > 0 sorozat konvergens s an a, k pedig egy tetsz leges nem nulla egsz szm, akkor o k k an a. Rend r szably: o Ha an , bn s cn hrom sorozat, amelyekre an cn bn s an a s bn a, akkor a cn sorozat konvergl s cn a. Azaz ha kt, ugyanoda konvergl (tart) sorozat kzrefog egy harmadikat, akkor az is tart ugyanoda, ahova a msik kett . o
2011. februr 1.
A fenti szablyok legtbbje kiterjeszthet azokra az esetekre is, amikor a sorozatok vgtelenbe tartanak. o A kivteles eseteket, amikor nincs rvnyes szably, kritikus hatrrtkeknek nevezzk. Pontosabban megfogalmazva: Vgtelen + vges = vgtelen. Vgtelen + vgtelen = vgtelen. + (): kritikus. Vgtelenszer nem nulla = vgtelen. Vgtelenszer vgtelen = vgtelen. Vgtelenszer nulla: kritikus. Vgtelen per nem nulla = vgtelen. Vges per vgtelen = nulla. Vgtelen per vgtelen: kritikus. Nulla per nulla: kritikus. Nem nulla per nulla: vgtelen, ha a nevez nem vlt el jelet, egybknt kritikus. o o
1.4. Monoton sorozatok

Korltos sorozat: Azt mondjuk, hogy az an sorozat korltos, ha van olyan K (pozitv) vals szm, hogy a sorozat minden tagjra |an | < K Ha egy sorozat konvergens, akkor korltos. Monoton sorozat: Az an sorozat monoton nveked , ha tetsz leges n N esetn an an+1 , azaz a nagyobb index tag o o u nem kisebb a kisebb index tagnl. Ha itt az egyenl sget nem engedjk meg, azaz a nagyobb index tag u o u nagyobb, a sorozat szigoran monoton nvekv . o Hasonlan az el z hz,az an sorozat (szigoran) monoton cskken , ha a nagyobb index tag (kisebb) o o o u nem nagyobb a kisebb index tagnl. u Az an sorozat monoton, ha monoton n vagy monoton cskken. o Minden monoton s korltos sorozat konvergens. ltalnosabban: Minden monoton sorozatnak van hatrrtke (nem oszcilll), mgpedig konvergl ha korltos, plusz vgtelenhez tart, ha nem korltos s monoton nveked illetve mnusz vgtelenhez, ha nem korltos s moo noton cskken . o
2011. februr 1.
1.5. Nevezetes sorozatok

Az an = 1 1+ n
n
sorozat monoton nveked s korltos, teht konvergens. o
Euler konstans (e): Az el z sorozat hatrrtkt e-vel ( Euler konstans) jelljk. rtke 2 s 3 kztt van, kzelt leg o o o e = 2,718.... Mivel a matematikai analzisben, zikban igen gyakran fordul el az e alap hatvnyozs, az ex fggo vny inverznek, az e alap logaritmusnak kln jele s elnevezse van: ln x, a termszetes alap logaritmus. A matematikban szoks mg log x-el is jellni. Nhny nevezetes sorozat: 0 1 lim an = oszcilll lim n a = 1, ha a > 0. lim n n = 1.
ha |a| < 1 ha a = 1 ha a > 1 ha a 1
Ha k tetsz leges rgztett (n-t l nem fgg ) pozitv egsz s a > 1, akkor lim o o o lim an = 0. n!
nk = 0. n an
1.6. Feladatok
1. Legyen A = 1 1 + : n, m N+ . Szmoljuk ki az A halmaz inmumt. n m Megolds: Beltjuk, hogy inf A = 0. Nyilvnval, hogy a 0 als korltja A-nak, hiszen A minden eleme pozitv. Be kell ltni, hogy 0 a legnagyobb also korlt, azaz ha > 0 tetsz leges pozitv o szm, akkor nem als korltja az A halmaznak. Ehhez minden > 0-hoz meg kell adnunk az A halmaz egy a A elemt gy, hogy a < . Legyen teht > 0 tetsz leges. Vlasszuk az n s m termszetes szmokat: o 2 + 1. n=m= 2 n s m vlasztsa miatt n = m > s gy 1 1 a= + < + = n m 2 2 s persze a A
2011. februr 1.
2. Lssuk be, hogy
1 0. n Megolds: Be kell ltni, hogy tetsz leges > 0 szmhoz tallhat megfelel n0 kszbindex. o o Legyen teht > 0 tetsz leges pozitv szm. o 1 n0 = + 1. 1 1 1 1 1 Ekkor n0 > , s gy < . De akkor n n0 esetn < . Mivel > 0, ezrt n0 n n0 n 1 1 0 = < , n n teht n0 tnyleg j kszbindex. 1 n
n
3. Bizonytsuk be, hogy a 1 +
sorozat monoton nveked s fellr l korltos! o o
Megolds: 1) Monotonits: Alkalmazzuk a szmtani-mrtani kzp egyenl tlensget az o 1 1 1 1, 1 + , 1 + , . . . , 1 + n n n szmokra (sszesen n + 1 darab szmra). 1 1+n 1+ n 1 n+2 1 n n+1 1 1+ = =1+ . n n+1 n+1 n+1 Mindkt oldalt n + 1-edik hatvnyra emelve n n+1 1 1 1+ 1+ . n n+1 2) Fels korlt: Alkalmazzuk a szmtani-mrtani kzp egyenl tlensget az o o 1 1 1 1 1 , , 1 + , 1 + , ..., 1 + 2 2 n n n szmokra (sszesen n + 2 darab szmra). 1 1 1 1/2 + 1/2 + n(1 + 1/n) 1+ =1 2 2 n n+2 Mindkt oldalt n + 2-edik hatvnyra emelve n n 1 1 1 n+2 1+ 1 = 1 s gy 1 + 4. 4 n n
n+2
4. Szmoljuk ki az an =
1 + n + n2 sorozat hatrrtkt. 1 + n4 + 1 Megolds: A sorozat szmllja is s nevez je is -hez tart. Osszuk el a szmllt is s a nevez t o o 2 is a nevez "nagysgrendjvel", n -el: o 1 1 + +1 2 1 + n + n2 n an = = n 4+1 1+ n 1 1 + 1+ 4 2 n n Itt az "j" szmll s nevez 1-hez tart a konvergens sorozatok m veleti szablyai szerint. Ezrt o u an 1. 8
2011. februr 1.
Bevezet matematika kmikusoknak 2., 2010. osz o n 5. Szmoljuk ki az an = n2 + n + 1 sorozat hatrrtkt. Megolds: 2 n n n 1 n2 + n + 1 3 n2 = 3 n n .
n u A nevezetes sorozatok hatrrtkeir l szl llts szerint 3 1 s n n 1. A m veleti szao blyok szerint az egyenl tlensg jobb oldala 1-hez tart. Ezrt alkalmazhat a rend r szably, s o o gy an 1.
2011. februr 1.
Numerikus sorok
2. Numerikus sorok
2.1. Vgtelen sorok konvergencija
Vgtelen sor : Ha vgtelen sok szmot sszeadunk, pontosabban egy an sorozat sszes elemt sszeadjuk, vgtelen sort
kapunk. Ezt a vgtelen sok tag sszeget a

n=1
an kifejezssel jelljk.
Szeretnnk a vgtelen sorokhoz hozzrendelni egy szmot, a sor sszegt. Ezt nem minden sor esetn
tudjuk megtenni. Tekintsk a

n=0
2n = 1 + 2 + 4 + vgtelen sort, s legyen ennek sszege az A
szm. Mivel ktszer akkora szmok sszege nyilvn ktszer akkora, ezrt a
n=1
2n = 2 + 4 + 8 +
sor sszege 2 A. De ha az eredeti sorbl elhagyjuk az els tagot, azaz kivonunk 1-et, ppen ezt a sort o kapjuk. Teht eljutottunk az A 1 = 2 A egyenlethez. Ebb l kapjuk, hogy a csupa pozitv tagbl ll o sor, a kett hatvnyok sszege negatv, A = 1. Ez nyilvnval kptelensg. o Rszletsszegek:
n
A
n=1
an vgtelen sor rszletsszegein az el n darab tag sn = o

i=1
an sorozatot rtjk.
A konvergencia dencija: Ha a rszletsszegek (sn ) sorozata konvergens s tart a A szmhoz, akkor at mondjuk, hogy a
an
n=1
vgtelen sor konvergens, s az sszege A. Ezt gy jelljk, hogy

n=1
an = A.
Abszolt konvergencia: Azt mondjuk, hogy a
an sor abszolt konvergens, ha a

n=1 n=1
|an | sor konvergens.
Ha egy sor abszolt konvergens, akkor konvergens. Divergen sor : Ha a rszletsszegekb l kpzett (sn ) sorozat divergens, akkor azt mondjuk, hogy a o
n=1
an vgtelen sor
divergens. Vgtelen, mint a sor sszege: Ha lim sn = (illetve ), akkor azt mondjuk, hogy a
n n=1
an vgtelen sor sszege (illetve ).
2011. februr 1.
10
Numerikus sorok
Ezt gy jelljk, hogy

n=1
an = (illetve ).
Megjegyzs : Jegyezzk meg, hogy ha minden an pozitv, akkor a rszletsszegek (sn ) sorozata monoton nv , ezrt o vagy konvergens (ha korltos), vagy tart a vgtelenbe.
2.2. Nevezetes numerikus sorok

Geometriai sor: Ha q tetsz leges vals szm, a o
n=0
q n vgtelen sort geometriai sornak nevezzk. A (vges) geometriai
1 qn sor sszegkplete szerint sn = . Ebb l lthat, hogy o 1q 1 ha |q| < 1 1q n q = ha q 1 n=0 oszcilll ha q 1 Harmonikus sor: 1 sort harmonikus sornak nevezzk. A n n=1
n=1
1 = , azaz a harmonikus sor divergens. n
n=1
1 vgtelen sor konvergens, ha > 1 s divergens ha 1. n
2.3. A konvergencia elemi tulajdonsgai
Ha a
n=1
an vgtelen sor konvergens, akkor an 0.
A an 0 felttel a konvergencia szksges felttele, de nem elgsges, mit azt a harmonikus sor pldja is mutatja : a harmonikus sor tagjai nullhoz tartanak, de a harmonikus sor divergens!

Ha a
n=1
an vgtelen sor konvergens, akkor az rn =

i=n
ai "maradkokbl" ll sorozat nullhoz tart.
Ha a
n=1
an vgtelen sor konvergens s sszege A, akkor tetsz leges c vals szm esetn a o
n=1
(c an )
vgtelen sor is konvergens s sszege c A. Rviden:
2011. februr 1.
11

Numerikus sorok
(c an ) = c
n=1 n=1
an
Ha a
n=1
an s
n=1
bn vgtelen sorok konvergensek s sszegk A illetve B, akkor a

n=1
(an + bn ) vgtelen
sor is konvergens s sszege A + B. Rviden: (an + bn ) =

n=1 n=1
an +
n=1
bn
Megjegyzs : ltalnos szorzat szably nincs!
2.4. Konvergencia kritriumok

Majorizcis elv:

Ha a
n=1
an s
n=1
bn vgtelen sorok tagjaira teljesl,hogy |an | bn s a

n=1
bn vgtelen sor konvergens,
akkor a
n=1
an vgtelen sor abszolt konvergens.
A fenti ttelben elg az is, ha az |an | bn felttel vges sok tag kivtelvel minden n-re teljesl. Nagysgrendi kritrium: an c, ahol 0 < c < , akkor a kt sor egyszerre bn n=1 n=1 konvergens vagy divergens, azaz ha az egyik sor konvergens, akkor a msik is. Ha a an s bn kt pozitv tag sor s Hnyadoskritrium: |an+1 | Ha q, akkor a an vgtelen sor q < 1 esetn abszolt konvergens, q > 1 esetn pedig |an | n=1 divergens. A q = 1 esetben a hnyados kritrium segtsgvel nem tudjuk eldnteni,hogy a sor konvergens vagy divergens. Gykkritrium : Ha
n
|an | q akkor a
n=1
an vgtelen sor q < 1 esetn abszolt konvergens, q > 1 esetn pedig
divergens. A q = 1 esetben a gykkritrium segtsgvel nem tudjuk eldnteni,hogy a sor konvergens vagy divergens. Integrl kritrium:
2011. februr 1.
12
Numerikus sorok
Ha f egy monoton cskken pozitv fggvny az [1, ) flegyenesen, akkor a o

n=1
f (n) vgtelen sor s a
f (x) dx improprius integrl egyszerre konvergens vagy divergens.

1
2.5. Feladatok
1. Lssuk be, hogy a

n=1
1 vgtelen sor konvergens, ha > 1 s divergens ha 1. n
Megolds: Ezt az integrl kritrium segtsgvel knnyen belthatjuk, hiszen

1
1 pontosan akx
kor konvergens, ha > 1.
2011. februr 1.
13
Hatvnysorok, Taylor sor
3. Hatvnysorok, Taylor sor

3.1. Fggvnysorok
Fggvnysor konvergencija: Gyakran szksg van arra, hogy vgtelen sok fggvny sszegt prbljuk meghatrozni. gy kapjuk a
fggvnysor fogalmt. Ha (fn ) fggvnyek egy vgtelen sorozata, akkor azt mondjuk, hogy a
n=1
fn
fggvnysor (pontonknt) konvergl a H halmazon s sszege az f : H R fggvny, ha x H esetn a

n=1
fn (x) vgtelen sor konvergens s sszege f (x). Ezt gy jelljk, hogy

n=1
fn = f illetve
fn (x) = f (x).
n=1
Konvergencia tartomny:
A
n=1
fn fggvnysor konvergenciataromnya azon pontok halmaza, ahol a fggvnysor konvergens.
3.2. Hatvnysorok
Hatvnysor : Ha (an ) egy sorozat, c pedig egy vals szm, akkor a
an (x c)n
n=0
alak fggvnysort c kzppont hatvnysornak nevezzk. A hatvnysorok konvergenciatartomnya mindig egy olyan intervallum, amelyik az esetleges vgpontokat kivve szimmetrikus a hatvnysor kzppontjra, c-re. A fenti ttelbe belertend az az eset, amikor ez a tartomny az egsz szmegyenes, illetve az egyedl a o c pontbl ll halmaz. Konvergenciasugr: A hatvnysor konvergenciasugara a konvergenciatartomny hossznak fele, ha ez vges szm s , ha a hatvnysor az egsz szmegyenesen konvergens. Ha R jelli ezt a konvergenciasugarat, akkor mskpp megfogalmazva
R = sup
(x c) :
n=0
an (x c)n konvergens
xn hatvnysor konvergenciataromnya a [1,1) intervallum, konvergenciasugara 1, a konvergenn n=1 ciatartomny belseje pedig a (1,1) nylt intervallum. A
2011. februr 1.
14
xn hatvnysor konvergenciataromnya R, konvergenciasugara , a konvergenciatartomny beln! n=1 seje pedig szintn R. Knnyen lthat a hnyados kritrium segtsgvel. |an+1 | = L, akkor |an | = L illetve ha lim |an | 1 ha 0 < L < L R= . ha L = 0 0 ha L =
n
Ha lim
Ha f (x) =
n=0
an (x c)n , akkor f derivlhat a konvergenciatartomny belsejben s
f (x) =
n=1
nan (x c)n1 ,
azaz hatvnysort tagonknt lehet derivlni. A derivlt sor konvergenciasugara megegyezik az eredeti hatvnysor konvergencisugarval.
Ha f (x) =
n=0
an (x c)n , akkor f -nek van primitv fggvnye a konnvergenciatartomny belsejben s
ezt megkaphatjuk a hatvnysor tagonknti integrlsval: an F (x) = (x c)n+1 . n+1 n=0 Az gy kapott integrl sor konvergenciasugara megegyezik az eredeti hatvnysor konvergencisugarval.
3.3. Taylor sor

Taylor sor : Legyen f akrhnyszor derivlhat a c pontban. Ekkor a f (n) (c) (x c)n n! n=0 hatvnysort az f fggvny c ponthoz tartoz Taylor-sornak nevezzk, a fenti sorban szerepl o (n) f (c) an = n! egytthatkat pedig Taylor-egytthatknak. Termszetes krds, hogy milyen felttelek mellett igaz, hogy a Taylor-sor el lltja a fggvnyt, legalbb o is a c pont egy krnyezetben. Azt is meg kell vizsglni, hogy egy fggvnyt hogyan lehet hatvnysor sszegeknt el lltani. o
2011. februr 1.
15
A hatvnysor el llts egyrtelm : ha o u
f (x) =
n=0
an (x c)n
teljesl a c pont egy krnyezetben, azaz a konvergenciasugr nem nulla, akkor az f fggvny akrhnyszor derivlhat a c pontban s a hatvnysor megegyezik a Taylor-sorral, azaz minden n N esetn f (n) (c) . an = n! A fenti ttel szerint egy fggvnyt csak a Taylor-sora tudja hatvnysorban el lltani. De fordtva nem o igaz, hogy a Taylor-sor el lltja a fggvnyt. Lehet hogy a Taylor-sor csak c-ben konvergens, de az is, o hogy mindentt konvergens, de csak c-ben lesz az sszeg az f fggvny rtke. Legyen e1/x ha x = 0 . 0 ha x = 0 Ekkor az f fggvny akrhnyszor derivlhat s a 0-ban minden derivltja nulla. gy teht a 0-hoz tartoz Taylor sor az azonosan nulla fggvnyt lltja el . o f (x) = Ha az (a, b) intervallumon az f fggvny akrhnyszor derivlhat s megadhat egy M szm gy, hogy tesz leges n N s x (a, b) esetn f (n) (x) M , akkor minden c (a, b) esetn a c-hez tartoz o Taylor-sor el lltja a fggvnyt az (a, b) intervallumon. o Ebb l a ttelb l azonnal kvetkezik, hogy az ex , sin x, cos x fggvnyeket mindentt el lltja a 0-hoz o o o tartoz Taylor-soruk.
2
3.4. Nevezetes Taylor-sorok
ex =
n=0
xn n!
ha x R x2n+1 (2n + 1)! x2n (2n)! ha x R ha x R ha x R ha x R ha |x| < 1
sin x =
n=0
(1)n (1)n
n=0
cos x = sh x =
n=0
x2n+1 (2n + 1)! x2n (2n)! xn
ch x = 1 = 1x
n=0
n=0
2011. februr 1.
16
ln(1 + x) =
n=0
(1)n (1)n
xn+1 n
ha |x| < 1
arc tg x =
n=0
x2n+1 ha |x| < 1 2n + 1
2011. februr 1.
17
Fourier-sorok
4. Fourier-sorok
Ha sszeadunk vges sok 2 szerint periodikus fggvnyt, 2 szerint periodikus fggvnyt kapunk. Ez vgtelen sszegre is igaz, feltve, hogy a fggvnysor konvergens R-en. Ehhez persze elg, hogy egy 2 hossz intervallumon konvergens legyen az sszeg. Mirt tudjuk megklnbztetni a heged hangjt a krt hangjtl, ha ugyanabbl a kottbl jtszanak? u A legegyszer bb 2 szerint periodikus fggvnyek azok, amelyek a sin nx s a cos nx fggvnyekb l u o "keverhet ek" ki. Itt n = 0 esetn a konstans fggvnyt kapjuk. Igaz-e, hogy minden periodikus (vagy o legalbb is a legtbb) el ll az emltett fggvnyekb l vgtelen sszeg segtsgvel? o o Ezekkel a problmkkal a Fourier sorok elmlete foglalkozik. Az els konkrt problma a rezg hr o o egyenletnek a megtallsa volt a XVIII. szzadban (dAlambert, Bernoulli, Euler). A XIX. szzad elejn Fourier alkalmazta az el z (br vitatott) mdszert a h vezets egyenletnek megtallsra. o o o Trigonometrikus sorok:
Az a0 +
n=1
(an cos nx + bn sin nx) alak fggvnysorokat trigonometrikus soroknak nevezzk.
Az itt szerepl {sin nx, cos nx : n = 0,1,2, . . . } fggvnyeket trigonometrikus rendszernek nevezzk. o Fggvnysor n-edik maradka:
Ha f (x) =
n=1
fn (x) egy, a H halmazon konvergens fggvnysor sszege s n egy pozitv egsz szm,
n1
akkor a fggvnysor n-edik maradka az Rn (x) =

k=n
fk (x) = f (x)
k=1
fk (x)
fggvny sor. Ez szintn konvergens a H halmazon. Fggvnysor egyenletes konvergencija:
Azt mondjuk, hogy a

n=1
fn (x) fggvnysor egyenletesen konvergens az [a, b] intervallumon, ha minden
pozitv -hoz van olyan n0 kszbindex, hogy brmely n n0 s x [a, b] esetn |Rn (x)| < . Logikai jelekkel is lerjuk ezt a bonyolult lltst: > 0 n0 N n n0 x [a, b] (|Rn (x)| < ) Az "egyenletes" szt az indokolja, hogy a fenti denci valjban azt jelenti, hogy a pontonknti konvergencinl a minden x-re kln-kln vlasztott kszbindexet x-t l fggetlenl egyszerre is megvo laszthatjuk egy adott -hoz. Weierstrass-kritrium. Ha az fn (x) fggvnyekhez tallhatk olyan vals szmok, hogy minden n N s

x H esetn |fn (x)| an s

n=1
an konvergens, akkor a
n=1
fn (x) fggvnysor egyenletesen konvergens
a H halmazon. Egy ilyen

n=1
an sort numerikus majorns sornak neveznk.
2011. februr 1.
18
Fourier-sorok
Ha egy
n=1
fn (x) fggvnysornak van numerikus majornsa a H halmazon s minden fn (x) fggvny
nek van itt maximuma, Mn , akkor a

n=1
Mn sor is numerikus majorns. Mivel derivlhat fggvnyek
esetn vannak mdszereink a maximum megkeressre, legalbb is intervallum esetn, gy a legelterjedtebb mdszer numerikus majorns segtsgvel megllaptani az egyenletes konvergencit az, hogy
megnzzk, konvergens-e a
n=1
Mn sor.
Meg kell jegyezni azonban, hogy egy fggvnysor gy is lehet egyenletesen konvergens, hogy nincs numerikus majorns sora. Ilyen sorra plda a (1)n x+n n=1 sor a 0 < x < flegyenesen. Ugyanis itt 1 1 (1)n |Rn (x)| < = < x+n x+n n A trigonometrikus rendszer ortogonlis a [0,2] intervallumon, azaz teljeslnek a kvetkez egyenletek: o 1. Ha n 1 egsz, akkor
2 2
sin2 nx dx =
0 0
cos2 nx dx =
2. Ha n s m kt nemnegatv egsz szm, akkor

2
sin nx cos mx dx = 0
0
3. Ha n s m kt klnbz nemnegatv egsz szm, akkor o

2 2
sin nx sin mx dx =
0 0
cos nx cos mx dx = 0
A fenti lltsokat egyszerre is megfogalmazhatjuk. Ha (x) s (x) kt tetsz leges fggvny a trigonoo metrikus rendszerb l, akkor o
2
(x)(x) dx =
0
ha = ha =
Tegyk fel, hogy az f (x) = a0 +

n=1 2
(an cos nx + bn sin nx) trigonometrikus sor egyenletesen konvergens
R-en (ez ugyanaz, mint [0,2]-n). Ekkor f mindentt folytonos s 1 a0 = 2

0
f (x) dx
2011. februr 1.
19

2 2
Fourier-sorok
1 an =
0
f (x) cos nx dx,
1 bn =
0
f (x) sin nx dx,
(n 1)
A fenti ttel egy specilis esete (mert feltettk az egyenletes konvergencit) annak a ttelnek, hogy ha egy periodikus fggvnyt el tudunk lltani trigonometrikus sor segtsgvel, akkor az el lltsban o o szerepl an s bn egytthatk egyrtelm en meghatrozottak (Cantor ttele). o u Fourier-egytthatk, Fourier-sor: Ha f : R R periodikus 2 szerint s integrlhat a [0,2] intervallumon, akkor az el z ttelben o o szerepl formulkkal denilt an s bn szmokat az f Fourier-egytthatinak, az ltaluk felrt o
a0 +
n=1
(an cos nx + bn sin nx)
trigonometrikus sort pedig az f fggvny Fourier-sornak nevezzk. Jegyezzk meg, hogy a Fourier-egytthatkat meghatroz integrlok hatrainak, a periodusossg miatt tetsz leges 2 hossz intervallum vgpontjait is vlaszthatjuk. o Ha egy 2 szerint periodikus fggvny folytonos s a Fourier-sora egyenletesen konvergens, akkor a Fourier-sor sszege minden x pontban f (x)-el egyenl , azaz az f -et el lltja a Fourier-sora. o o Szakaszonknt folytonos fggvny: Azt mondjuk, hogy az f (x) fggvny szakaszonknt folytonos az [a, b] intervallumon, ha vges sok pont kivtelvel folytonos s minden szakadsi helyen van (vges) baloldali s jobboldali hatrrtke. Termszetesen az a vgpontban csak a jobboldali, a b-ben pedig baloldali hatrrtket kvetelnk meg. Ha az f (x) fggvny 2 szerint periodikus s f (x) valamint f (x) szakaszonknt folytonos a [0,2] intervallumon, akkor az f (x) fggvny Fourier-sora mindentt konvergens, az f (x) fggvny folytonossgi helyein a Fourier-sor el lltja a fggvnyt, a szakadsi helyeken pedig a fggvny bal s jobboldali o hatrrtknek a szmtani kzepe. Legyen f az a periodikus fggvny, amelyre f (x) = x2 ha x [, ]. Mivel f pros fggvny,
1 bn =
x2 sin nx dx = 0
Msrszt nmi szmolssal addik, hogy
1 a0 = 2

2 x dx = 3
2
s n > 0 esetn parcilis integrlssal, hogy 1 an =
x2 cos nx dx = (1)n
4 n2
Mivel
1 konvergens, ezrt f Fourier-sora egyenletesen konvergens a Weierstrass-kritrium szerint n2 20
2011. februr 1.
Fourier-sorok
s mert f folytonos cos nx 2 2 +4 (1)n x = 3 n2 n=1 ha |x| . Ha az egyenletben x helybe -t runk s felhasznljuk, hogy cos n = (1)n kapjuk, hogy 1 2 2 +4 = 3 n2 n=1 trendezs utn pedig 1 2 = n2 6 n=1 x , ha x (0,2) s 2 f (0) = 0. Ezt a fggvnyt f rszfog-fggvnynek is nevezik. Br ez a fggvny nem folytonos s Fourieru sora nem egyenletesen konvergens, mgis igaz, hogy x sin nx = 2 n n=1 ha 0 < x < 2. Ez azrt van gy, mert a fggvny s derivltja szakaszonknt folytonos. rjunk mos x helybe -t. Az el z egyenletb l s a sin n rtkekb l kapjuk, hogy o o o o 2 2 Legyen most f (x) az a 2 szerint periodikus fggvny, amelyikre f (x) =
(1)n
n=0
1 = 2n + 1 4
2011. februr 1.
21
Lineris vektorterek
5. Lineris vektorterek
5.1. Az n-dimenzis vektortr
Az n dimenzis Euklideszi tr: Ha n egy pozitv egsz szm, akkor Rn jelli az n hosszsg szmsorozatok halmazt. Egy ilyen a sorozat elemei a pont illetve vektor koordinti. Ha ennek az a vektornak a koordinti rendre az a1 , a2 , . . . , an akkor a vektort gy jelljk: a1 a2 a = . . . an Ebben a rszben a vektorok teht oszlop-vektorok s nem a knyelmesebb jells sor-vektorok. Ennek u az az oka, hogy csak gy lehet a vektor-m veleteket azonostani a mtrix-m veletekkel. u u 0 jelli azt a vektort, amelynek minden koordintja nulla. Vektor-m veletek: u Ha a , b Rn kt n-dimenzis vektor R pedig egy vals szm vagy ms nven skalr, akkor denilhatjuk a kt vektor sszegt illetve az egyik skalrszorost: a1 a1 b1 a1 a1 + b 1 a2 b 2 a2 + b 2 a2 a2 a + b = . + . = . illetve a = . = . . . . . . . . . . . an an bn an an + b n Teht a m veleteket koordintnknt kell elvgezni. u M veleti szablyok: u a + b = b + a , az sszeads kommutatv. (a + b ) + c = a + (b + c ) = a + b + c , az sszeads asszociatv. a + 0 = a , a null-vektor az additv egysg. a + (1) a = 0 , additv inverz. (a + b ) = a + b . ( + ) a = a + a ()a = (a ) 1 a = a s 0 a = 0 . A fenti szablyok alapjn bevezetjk kt vektor klnbsgt: a b = a + (1) b A tovbbiakban e i jelli azt a vektort, amelyiknek az i-edik koordintja 1 a tbbi pedig 0. Ezt a vektort az i-edik egysgvektornak nevezzk. Az egysgvektorok segtsgvel felrhatjuk az a vektort egy gynevezett lineris kombinci segtsgvel, mgpedig egyrtelm en: u 2011. februr 1. 22
Bevezet matematika kmikusoknak 2., 2010. osz o a1 a2 a = . = a1 e 1 + a2 e 2 + + an e n = . . an
Lineris vektorterek
ai e i
i=1
Vektor hossza : Az a vektor hossza |a | a kvetkez kppen van denilva: o a1 n a2 2 2 2 = a2 |a | = . = a1 + a2 + + an i . . i=1 an A vektorok hossza kzt igaz a hromszg-egyenl tlensg: o |a + b | |a | + |b | valamint az is, hogy | a | = || |a | Skalrszorzat : Ha a , b Rn kt n-dimenzis vektor, akkor a kt vektor skalrszorzata egy vals szm, mgpedig a1 b1 n a2 b 2 a b = . . = a1 b 1 + a2 b 2 + an b n = ai b i . . . . i=1 an bn A skalrszorzat tulajdonsgai: a b = b a , a skalrszorzat kommutatv. (a + b ) c = a c + b c (a ) b = a (b ) = (a b ) |a | = a a = a 2 Bzis vektorok Az Rn vektortr { b 1 , b 2 , . . . , b n } vektoraibl ll rendszert bzisnak neveznk, ha brmely a vektorhoz egyrtelm en tallhatk olyan 1 , 2 , . . . , n szmok, amelyekre u
n
a = 1 b 1 + 2 b 2 + + n b n =
i=1
i b i
Teht az { e i : i = 1,2, . . . , n} egy bzisa az n-dimenzis trnek. Lteznek azonban ms bzisok is.
5.2. Mtrixok
A p q-as mtrix vals szmoknak egy olyan tglalap alak tblzata, amelynek p sora s q oszlopa van. Egy ltalnos A mtrix i-edik sorban s j-edik oszlopban tallhat szmot aij -vel jelljk. Magt az A mtrixot pedig 2011. februr 1. 23
Bevezet matematika kmikusoknak 2., 2010. osz o a11 a12 . . . a21 a22 . . . A= . . .
Lineris vektorterek
a1q a2q ap1 ap2 . . . apq Az sszes p q-as mtrixok halmazt Rpq jelli. Azokat a mtrixokat, amelyeknek ugyanannyi sora van mint oszlopa, azaz az n n-es mtrixokat ngyzetes mtrixoknak nevezzk. Mtrixok sszege s konstansszorosa: Deniljuk kt azonos mret mtrix sszegt s egy mtrix s egy vals szm szorzatt: u a11 a12 . . . a1q b11 b12 . . . b1q a11 + b11 a12 + b12 . . . a1q + b1q a21 a22 . . . a2q b21 b22 . . . b2q a21 + b21 a22 + b22 . . . a2q + b2q A+B = . + . = . . . . . . . ap1 ap2 . . . apq bp1 bp2 . . . bpq ap1 + bp1 ap2 + bp2 . . . apq + bpq a11 a12 . . . a1q a11 a12 . . . a1q a21 a22 . . . a2q a21 a22 . . . a2q A = . = . . . . . ap1 ap2 . . . apq ap1 ap2 . . . apq Teht a m veleteket gy vgezzk, hogy a megfelel helyeken ll szmokat sszeadjuk illetve a mtrix u o minden elemt megszorozzuk ugyanazzal a vals szmmal. Null-mtrix : Vezessk be a null-mtrix fogalmt: ez az a mtrix, amelynek minden eleme 0. Ennek jele egyszer en 0, u ez nem okoz majd flrertseket. 0 0 ...0 0 0 . . . 0 0 = . . . 0 0 ...0 M veleti szablyok: u Az sszeads s a skalrral val szorzs szablyai ugyanazok mint a vektoroknl. Teht: A + B = B + A, az sszeads kommutatv. (A + B) + C = A + (B + C) = A + B + C, az sszeads asszociatv. A + 0 = A, a null-mtrix az additv egysg. A + (1)A = 0, additv inverz. (A + B) = A + B. ( + )A = A + A ()A = (A) 1 A = A s 0 A = 0. A m veleti szablyok hasonlsga a vektorm veletekhez nem vletlen. Az n-dimenzis vektorokat tekintu u hetjk olyan mtrixoknak amelyeknek n sora s csak egy oszlopa van. gy a vektorok kztti sszeadst s skalrral val szorzst megkaphatjuk gy, mint a megfelel mtrix m veletek eredmnyt. o u 2011. februr 1. 24
Lineris vektorterek
A vektorok kztti skalrszorzatot is megkapjuk majd mint specilis alak mtrixok szorzatt. Mtrixok szorzsa: Legyen A Rpq egy p q-as mtrix B Rqr egy q r-es mtrix. Ekkor szorzatt, a C Rpr p r-es mtrixot: a11 a12 . . . a1q b11 b12 . . . b1r c11 c12 a21 a22 . . . a2q b21 b22 . . . b2r c21 c22 C = AB = . . = . . . . . . . ap1 ap2 . . . apq bq1 bq2 . . . bqr cp1 cp2
q
deniljuk a kt mtrix ... ... ... c1r c2r cpr
ahol cij = ai1 b1j + ai2 b2j + + aiq bqj =

s=1
a1s bsj .
Ezt a fajta szorzst sor-oszlop szorzsnak is nevezik, mivel a cij elemet gy kapjuk, hogy az els tnyez o o i-edik sort (skalrisan) szorozzuk a msodik tnyez j-edik oszlopval. o Fontos megjegyezni, hogy kt mtrix szorzatt csak akkor rtelmezzk, ha a msodik tnyez nek, most o B-nek ugyanannyi sora van mint ahny oszlopa van A-nak, az els tnyez nek. o o Teht a mtrixok szorzsa nem kommutatv, mert a fordtott sorrend szorzs ltalban nincs is rtelmezu ve. Persze ha mindkt mtrix ngyzetes mtrix, akkor van rtelme a fordtott sorrend szorzsnak, de u majd ltunk pldt arra, hogy a szorzs mg gy sem kommutatv! M veleti szablyok: u (AB)C = A(BC), a mtrixszorzs asszociatv. A(B + C) = AB + AC, baloldali disztributivits. (A + B)C = AC + BC, jobboldali disztributivits. (AB) = (A)B = A(B) Transzponlt mtrix: Ha A Rpq egy p q-as mtrix, akkor a B Rqp , az A mtrix transzponltja az a mtrix, amelyet gy kapunk, hogy a mtrix sorait s oszlopait felcserljk, azaz bij = aji . Az A mtrix transzponltjt AT -vel jelljk. Knnyen belthat, hogy ha az a s b vektoroknak megfelel n 1 mtrixokat a-val illetve b-vel jelljk, o akkor a b = aT b = b T a A tovbbiakban egy vektort s a neki megfelel mtrixot ugyangy, mgpedig alhzssal jelljk. gy o teht, ha A egy p q-as mtrix x pedig egy q-dimenzis vektor, akkor az y = Ax mtrixszorzat eredmnye tekinthet egy p-dimenzis vektornak. o
2011. februr 1.
25
Lineris vektorterek
5.3. Lineris lekpezsek

Egy A : Rq Rp lekpezst lineris lekpezsnek neveznk, ha m velettart, azaz tetsz leges a , b u o Rq s R esetn A(a + b ) = Aa + Ab A(a ) = Aa Mint lthat, lineris lekpezsek esetn, ha nem okoz flrertst, nem tesszk zrjelbe a lekpezs argumentumt. Lineris lekpezs mtrixa: Legyen A : Rq Rp egy lineris lekpezs. Jellje a j az e j egysgvektor A szerinti kpt. Teht Ae j = a j . Ekkor az A lineris lekpezshez hozzrendelhetjk azt az A p q-as mtrixot, amelynek j-edik oszlopban ppen az a j koordinti llnak. Ezt a mtrixot az A lineris lekpezs mtrixnak nevezzk. Msrszt minden A p q-as mtrix segtsgvel denilhatunk egy A : Rq Rp lineris lekpezst. Ha o x Rq tetsz leges q-dimenzis vektor, akkor legyen Ax = Ax Knnyen lthat, hogy az gy kapott lekpezs tnyleg lineris lekpezs. Az el z ekben denilt megfeleltets mtrixok s lineris lekpezsek kztt egg-egy rtelm : egy tetsz oo u o leges A p q-as mtrixhoz tartoz A lineris lekpezs mtrixa ppen az A mtrix. Legyen B : Rr Rq , A : Rq Rp kt lineris lekpezs, mtrixaik pedig B illetve A. Ekkor a C : Rr Rp = A B sszetett lekpezs mtrixa ppen a C = A B mtrix. Lineris transzformci: Az Rn vektortr nmagba kpz lineris lekpezseit lineris transzformciknak nevezzk. o Azt a lineris transzformcit, amelyik minden vektort helybenhagy identitsnak, jele I a neki megfelel o I mtrixot egysg mtrixnak nevezzk. Teht tetsz leges x Rn esetn Ix = x s o 1 0 ...0 0 1 . . . 0 I = . . . 0 0 ...1 Lineris egyenletrendszer: Tekintsk a kvetkez , q ismeretlenb l s p egyenletb l ll o o o a11 x1 + a12 x2 + a1q xq = b1 a21 x1 + a22 x2 + a2q xq = b2 . . . ap1 x1 + ap2 x2 + apq xq = bp lineris egyenletrendszert. Ha az egyenletek bal oldaln szerepl aij egytthatkat egy p q-as A mtrix elemeinek tekintjk, az xi o ismeretleneket egy p-dimenzis x vektor koordintinak, a bi szmokat pedig a b vektor koordintinak,
2011. februr 1.
26
Lineris vektorterek
akkor az egyenletrendszer a sokkal tmrebb Ax = b alakban is rhatjuk. Ha az A mtrixnak megfelel lineris lekpezst A jelli, akkor teht a o Ax = b egyenlet megoldsa azt jelenti, hogy adott A lineris lekpezs s adott b vektor esetn keressk azt az x vektort amelynek A szerinti kpe ppen a b vektor. Termszetesen merl fel az a krds, hogy igaz-e , hogy minden b esetn van megolds s az egyrtelm . u q p q Ez annak a krdsnek a vizsglata, hogy a A : R R lineris lekpezs mikor bijekci R s Rp kztt. Ha az A : Rq Rp lineris lekpezs injektv (egy-egy rtelm ), akkor q p. u q p Ha az A : R R lineris lekpezs szrjektv (rkpezs), akkor q p. Ha az A : Rq Rp lineris lekpezs bijektv (azaz van inverze), akkor p = q. p = q esetn a A lineris transzformci pontosan akkor injektv (egy-egy rtelm ), ha szrjektv (rku pezs). gy teht csak akkor remlhetjk, hogy minden b esetn van egy s csak egy megolds, ha az A lineris lekpezs mtrixa ngyzetes mtrix. Mtrix inverze : A B n n-es mtrixot az A n n-es mtrix inverznek nevezzk, ha B A = I. Ekkor a B mtrixot A1 -el jelljk. Ha az A mtrixnak van inverze, akkor invertlhat mtrixnak nevezzk. Ha az A mtrix invertlhat s inverze A1 akkor A A1 = A1 A = I Ortogonlis mtrix: Az A Rnn mtrixot ortogonlis mtrixnak nevezzk, ha invertlhat s az inverz mtrix ppen a mtrix transzponltja. Msszval A ortogonlis, ha A AT = AT A = I Ha az el bb vizsglt lineris egyenletrendszer esetn p = q = n s az A mtrix invertlhat, akkor o 1 A b = A1 (Ax ) = (A1 A)x = Ix = x Ekkor teht az egyenletrendszer minden b vektor esetn egyrtelm en megoldhat. u Termszetesen meg kell vizsglni azt a krdst, hogy mikor van egy mtrixnak inverze s azt hogyan lehet megkapni. De ehhez a n-ed rend determinnsok fogalmra s tulajdonsgaira lesz szksg. u
5.4. Determinnsok
2011. februr 1.
27
Lineris vektorterek
Az n-ed rend determinns egy hozzrendels, amely n n darab ngyzet alakban elrendezett szmhoz u rendel egy szmot. A determinns jellse: a11 a12 . . . a1n a21 a22 . . . a2n D= . . . an1 an2 . . . ann A hozzrendels megadshoz szksgnk lesz az aldeterminns fogalmra. Aldeterminns : Legyen D egy n-ed rend determinns. A D determinns (i,j)-edik aldeterminnsa az az n 1-ed rang u Dij determinns, amelyet D-b l gy kapunk, hogy kihagyjuk D i-edik sort s j-edik oszlopt. Ha teht o s 1 i n, 1 j n, akkor a11 ... a1(j1) a1(j+1) ... a1n . . a11 a12 . . . a1n . a21 a22 . . . a2n a . . . a(i1)(j1) a(i1)(j+1) . . . a(i1)n Dij = (i1)1 D= . . a(i+1)1 . . . a(i+1)(j1) a(i+1)(j+1) . . . a(i+1)n . . . an1 an2 . . . ann . an1 ... an(j1) an(j+1) ... ann i+j Az Aij = (1) Dij szmot a D determinns (i, j)-edik el jeles vagy adjunglt aldeterminnsnak o nevezzk. Az n-ed rend determinns dencija: u A determinns dencijt n szerinti rekurzival adjuk meg. Ha n = 1 akkor D = |a11 | = a11 . Nem tvesztend ssze az abszolt rtkkel! o a a Ha n = 2, akkor D = 11 12 = a11 a22 a12 a21 a21 a22 Ha mr az n 1-ed rend determinnsokat mr deniltuk, akkor u a11 a12 . . . a1n n a21 a22 . . . a2n D= . = a11 D11 a12 D12 + a1n D1n = (1)1+j a1j D1j = . .
j=1
a1j A1j
j=1
an1 an2 . . .
ann
F tl : o A D determinns azon elemeit, amelyeknek a sor s oszlop indexe megegyezik, azaz az { aii : i = 1, . . . , n} szmokat a determinns f tljnak nevezzk. o A determinns tulajdonsgai: 1) Ha a determinns kt sort felcserljk, a determinns rtke (1)-el szorzdik. Ezrt ha a determinns kt sora megegyezik, a determinns nulla.
2011. februr 1.
28
Lineris vektorterek
2) Ha valamelyik sor minden elemt ugyanazzal a szmmal megszorozzuk, akkor a determinns rtke is -val szorzdik: a11 a12 . . . a21 a22 . . . . . . a1n a2n a11 a12 . . . a21 a22 . . . = . . . a1n a2n
an1 an2 . . . ann an1 an2 . . . ann Specilisan ha a determinns egyik sora csupa 0-bl ll, akkor a determinns rtke is 0. 3) Ha a determinns egyik sornak minden eleme kttag sszeg, akkor a determinns kt determinns sszegre bomlik, ahol az egyikben az adott sorban rendre az sszegek egyik tagja a msikban pedig a msik tagja szerepel, a tbbi elem pedig mindkett ben ugyanaz mint az eredeti determinnsban: o a11 + b11 a12 + b12 . . . a1n + b1n a11 a12 . . . a21 a22 ... a2n a21 a22 . . . = . . . . . . an1 an2 . . . an1 an2 ... ann a1n a2n ann bn1 bn2 . . . a21 a22 . . . + . . . an1 an2 . . . bnn a2n ann
4) Ha egy sorhoz hozzadjuk a determinns egy msik sornak -szorost, a determinns rtke nem vltozik. Ha teht i > 1, akkor a11 + ai1 a12 + ai2 . . . a1n + ain a11 a12 . . . a21 a22 ... a2n a21 a22 . . . = . . . . . . an1 an2 ... ann an1 an2 . . . a1n a2n ann
5) Ha a determinns elemeit a f tlra tkrzzk, azaz a sorokat s oszlopokat felcserljk, a o determinns rtke nem vltozik. Eszerint minden szably amit sorokra mondtunk ki rvnyben marad oszlopokra is. 6) Ha a D determinns f tlja alatt csupa 0 ll azaz aij = 0 ha i > j, akkor a determinns rtke a o
n
f tlbeli elemek szorzata, D = o

i=1
aii .
Kifejtsi ttel : Egy D determinns brmely sora szerint kifejthet , pontosabban o n 0 ha i = k aij Akj = D ha i = k
j=1
5.5. Invertlhat mtrixok

Mtrix determinnsa: Ha A egy n n-es mtrix, akkor a mtrix elemeib l ll n-ed rend determinnst az A mtrix determio u nnsnak nevezzk. Ennek jele det A. Ha teht 2011. februr 1. 29
Bevezet matematika kmikusoknak 2., 2010. osz o a11 a12 . . . a21 a22 . . . A= . . . an1 an2 . . . a1n a11 a12 . . . a2n a21 a22 . . . akkor det(A) = . . . ann an1 an2 . . . a1n a2n ann
Lineris vektorterek
Determinnsok szorzsttele: det(AB) = det(A) det(B) Egy A mtrix akkor s csak akkor invertlhat, ha det(A) = 0. Inverz mtrix kiszmolsa: ha az mtrix invertlhat, A a11 a12 . . . a1n A11 A12 . . . a21 a22 . . . a2n A21 A22 . . . A= . akkor jellje A = . . . . . Ekkor A1 an1 an2 . . . 1 A = det(A) ann An1 An2 . . .
A1n A2n illetve A = (A )T Ann
5.6. Sajtrtk, sajtvektor

Sajtrtk : A vals szmot a A lineris transzformci sajtrtknek nevezzk, ha tallhat egy v = 0 vektor, amelyre Av = v . Sajtvektor : Az v nem nulla vektort a A lineris transzformci sajtvektornak nevezzk, ha tallhat olyan vals szm, amelyre Av = v . A sajtvektorok krb l kizrtuk a nullvektort, hiszen minden A lineris transzformci esetn A0 = o = 0 . gy aztn minden sajtvektorhoz egyrtelm en tartozik egy sajtrtk. Viszont a 0 vals szmot u nem zrtuk ki a sajtrtkek kzl! Ha A jelli a A lineris transzformci mtrixt, akkor a R pontosan akkor sajtrtk, ha det(A I) = 0. A fenti ttel segtsgvel megkaphatjuk egy lineris transzformci sajtrtkeit, mint egy polinom gykeit. Karakterisztikus polinom: Ha az A lineris transzformci mtrixa
2011. februr 1.
30
Bevezet matematika kmikusoknak 2., 2010. osz o a1n a11 a12 a2n a21 a22 akkor a P () = det(A I) = . . . an1 an2 . . . ann an1 an2 n-ed fok polinomot az A lineris transzformci, illetve az A ngyzetes mtrix nomjnak nevezzk. a11 a12 . . . a21 a22 . . . . . .
Lineris vektorterek ... ... a1n a2n
. . . ann karakterisztikus poli-
Sajtrtk, sajtvektor kiszmtsa: Ha a karakterisztikus polinom egy gyke, P () = 0, akkor kereshetnk egy hozz tartoz v sajtvektort gy, hogy megkeressk a (A I)v = 0 gynevezett homogn lineris egyenlet egy nem trivilis megoldst, azaz egy olyan megoldst, ahol legalbb az egyik koordinta nem nulla. Ezt pldul a Gauss eliminci segtsgvel tehetjk meg. Azt, hogy van ilyen megolds az biztostja, hogy az egyenletrendszer determinnsa det(A I) = 0. Ennek az egyenletnek soha nem egyrtelm a megoldsa, hiszen ha egy v = 0 vektor megolds, akkor ennek u minden nem nulla szmmal val szorzata is megolds. Szimmetrikus mtrix: A A n n-es mtrix szimmetrikus, ha AT = A, azaz 1 i, j n esetn aij = aji . Az elnevezs onnan ered, hogy a mtrix elemei szimmetrikusak a f tlra. o F tengelyttel : o Az A n n-es mtrix pontosan akkor szimmetrikus, ha megadhat n darab pronknt mer leges sajto vektora.
2011. februr 1.
31
Differencilegyenletek
6. Differencilegyenletek
A termszettudomnyok szmtalan terletn fordul el , hogy egy termszeti trvnyt matematikai alako ban gy rhatunk le, hogy egy vagy tbb sszefggst tallunk egy llapot id beli, trbeli rtke s az o llapot megvltozsa kztt. A matematikban ez azt jelenti, hogy egy vagy tbb egyenletet lltottunk fel egy fggvny s a derivltjai kztt. Egyszer pldk erre a szaporodsi illetve bomlsi folyamatokat ler egyenletek. Ilyen pldul a h u o tadsi (h lsi) trvny: a h mennyisg tadsnak sebessge egyenesen arnyos a h mrsklettel. De u o o hasonl trvny rja le a radioaktv bomlst is. Matematikailag keressk teht azokat az f (t) id t l fgg fggvnyeket, amelyekre oo o f (t) = k f (t) Ha egy I intervallumon a derivlhat f (x) fggvnyre teljesl, hogy f (x) = k f (x). akkor megadhat egy c R konstans gy, hogy f (x) = c ekx Ugyanis legyen g(x) = f (x)ekx . Ekkor g (x) = f (x)ekx kf (x)ekx = kf (x)ekx kf (x)ekx = 0 De ha egy fggvny derivltja egy egsz intervallumon nulla, akkor a fggvny konstans, azaz megadhat egy c R szm gy, hogy g(x) = f (x)ekx = c Kznsges differencilegyenletek: Legyen n egy pozitv egsz szm, f pedig egy n + 1 vltozs fggvny. Az y (n) = f (x, y, y , . . . , y (n1) ) alak egyenleteket n-edrend kznsges (explicit) differencilegyenleteknek nevezzk. Ha F egy n + 2 u vltozs fggvny, akkor a F (x, y, y , . . . , y (n1) , y (n) ) = 0 alak egyenleteket n-edrend kznsges (implicit) differencilegyenleteknek nevezzk. u A (x) fggvny a fenti differencilegyenlet megoldsa az (a, b) intervallumon, ha itt n-szer derivlhat s x (a, b) esetn (n) (x) = f (x, (x), (x), . . . , (n1) (x)) A "kznsges" sz arra utal, hogy a differencilegyenlet megoldsait az egyvltozs fggvnyek krben keressk. A tbbvltozs fggvnyek esetn is felrhatunk differencilegyenleteket. Ilyenkor a keresett fggvny parcilis derivltjai szerepelnek az egyenletekben. Ez indokolja, hogy ezeket az egyenleteket parcilis differencilegyenleteknek nevezzk. A tovbbiakban csak kznsges differencilegyenletekkel foglalkozunk, ezrt a "kznsges" szt elhagyjuk. Mint lttuk, egy differencilegyenlet megoldsai mg a legegyszer bb esetekben sem egyrtelm ek. lu u talban a megoldsok annyi szabadon vlaszthat paramtert l fggenek, mint a differencilegyenlet o rendje.
2011. februr 1.
32
6.1. Els rendu differencilegyenletek o

Szeparbilis (sztvlaszthat vltozj) differencilegyenletek: Legyen f (x) s g(y) kt egyvltozs fggvny. Az y (x) = f (x)g(y) alak els rend differencilegyenletet szeparbilis differencilegyenletnek nevezzk. o u Ha az y (x) = f (x)g(y) szeparbilis differencilegyenletben szerepl g fggvny egy I intervallumon o sehol sem nulla, valamint F az f -nek, G pedig az 1/g-nek (g reciproknak) primitv fggvnye, akkor egy y : I R derivlhat fggvny pontosan akkor megoldsa a differencilegyenletnek, ha megadhat egy c R konstans gy, hogy x I esetn G(y(x)) = F (x) + c Els rend lineris differencilegyenlet: o u Az y +f (x)y = g(x) alak differencilegyenleteket els rend lineris differencilegyenletnek nevezzk. o u Ha itt az egyenlet jobb oldaln szerepl g fggvny azonosan nulla, azaz a y +f (x)y = 0 alak egyenletet o els rend homogn lineris differencilegyenletnek nevezzk. o u Ha az f fggvny lland, nem fgg x-t l, az egyenletet lland egytthats els rend lineris differeno o u cilegyenletnek nevezzk. A "lineris" szt az is indokolja, hogy ha egy homogn egyenletnek y1 s y2 is megoldsa, akkor az y1 + y2 s cy1 fggvnyek is megoldsok. Ha a y +f (x)y = g(x) lineris differencilegyenlet esetn F jelli a f fggvny egy primitv fggvnyt, akkor az egyenlet sszes megoldsa az y(x) = eF (x) alak fggvnyek. Ha az y + f (x)y = g(x) lineris differencilegyenlet esetn yh a megfelel homogn egyenlet egy nem o trivilis (nem azonosan nulla) megoldsa, yp pedig az (inhomogn) egyenlet egy rgztett (partikulris) megoldsa, akkor az sszes megolds ppen az y = yp + cyh alak fggvny, ahol c R tetsz leges konstans. o Gyakran knyelmesebb a megoldsokat a msodik ttel alapjn megkeresni, mit az els ttel bonyolult o formuljt alkalmazni: A homogn egyenlet "knnyen" megoldhat, mert szeparbilis. Egy partikulris megoldst pedig gyakran megkaphatunk az gynevezett prbafggvny mdszerrel. Ez abban ll, hogy a megoldst specilis alak (pl. msodfok polinomok) fggvnyek krben keressk. Ez egy vagy tbb ismeretlen paramtert (egytthatt) jelent a prbafggvnyben, amelyekre az egyenletbe val behelyettests utn numerikus egyenletet illetve egyenletrendszert kapunk. Newton-fle h lsi trvny: u Ha Tk jelli a kls h mrskletet, akkor a Newton-fle h lsi trvny szerint egy (pontszer ) test h o o u u o 2011. februr 1. 33 g(x)eF (x) dx
mrskletnek T (t)-nek a vltozsa arnyos a test s a krnyezet h mrskletnek a klnbsgvel, azaz o T (t) = (T (t) Tk ) ahol rgztett, a test anyagra s alakjra jellemz pozitv konstans. o Kivncsiak vagyunk a test T (t) pillanatnyi h mrskletre, ha mg azt is tudjuk, hogy a test h mrsklete o o a t = 0 id pontban T0 . o A fenti differencilegyenlet egy lland egytthats els rend lineris differencilegyenlet: o u T (t) + T (t) = Tk Keressk meg el bb a homogn egyenlet megoldsait: o T + T = 0 Ennek nyilvnval mdon a Th (t) = et fggvny egy nem trivilis (sehol sem nulla) megoldsa. Keressk meg most mr az inhomogn egyenlet egy megoldst konstans Tp (t) = d alakban. Rvid szmols utn kapjuk, hogy ez ppen a Tk konstans. Teht a differencilegyenlet ltalnos megoldsa: T (t) = Tk + cet Minket most csak az a megolds rdekel, amelyre T (0) = T0 azaz T0 = Tk + c Teht a keresett megolds: T (t) = Tk + (T0 Tk )et Az albbi fggvny grakon a 100 C -os tea h lsi grbjt mutatja a 20 C h mrsklet leveg n. u o u o
100 90 80 70 60 50 40 30 20 0 20 40
t
60
80
100
A radioaktv bomls trvnye: Jellje N (t) egy radioaktv anyagban lev mg el nem bomlott atommagok szmt, T pedig a felezsi o id t, azaz azt az adott anyagra jellemz id t, ami id alatt az atommagok szma a felre cskken. A o o o o radioaktv bomls trvnye szerint ez az id tartam egy anyagi lland, nem fgg az anyagban lev atomo o magok szmtl. Valamint a trvny szerint a bomls sebessge, az aktivits egyenesen arnyos a mg el nem bomlott atommagok szmval. Pontosabban: ln 2 N (t) N (t) = T Ez egy homogn lineris egyenlet. Ha N0 jelli a t = 0 id pontban az anyagban lev atomok szmt, o o akkor N (t) = N0 2t/T Ezt a formult exponencilis bomlsi trvnynek nevezik. Radioaktv kormeghatrozs: Ha ismerjk a radioaktv anyag felezsi idejt, valamint az elbomlott s az el nem bomlott atommagok szmainak arnyt egy rgebbi id pontban, az anyag "keletkezsnek korban", s most, az exponencio lis bomlsi trvny alapjn ki tudjuk szmolni a radioaktv anyag keletkezsnek kort. Ez a "keletkezsi 2011. februr 1. 34
kor" az az id pont, amikor felttelezhet , hogy a ktfle anyag arnynak vltozsa csak a radioaktv o o bomls kvetkezmnye. Egy l anyagban a C14 sznizotp arnyt llandnak tekintjk s az let mego sz nte utn az izotp arnya csak a bomls miatt vltozik. Mivel a kezdeti arnyt befolysolja a lgkr u aktulis llapota, pl. a vulkanikus tevkenysg intenzitsa, ez az gynevezett radiokarbon kormeghatrozs csak nhny ezer v tvlatig ad kielgt pontossg eredmnyt. o
Keversi feladat: Egy V trfogat tartlyban vz van. A tartly aljn lev nylson keresztl v liter/perc sebessggel folyik o ki a tartlyban lev folyadk, mikzben a tartly feletti csapbl v liter/perc sebessggel p (0 < p < 1) o tmnysg soldat folyik a tartlyba, s ott azonnal el is keveredik. Hatrozzuk meg a tartlyban lev u o soldat q tmnysgt az id fggvnyben. o A tartlyban a t id pontban a s koncentrcija q(t), ezrt t id alatt a tartlybl vtq(t) mennyisg s o o u folyik ki. (Mivel adott id alatt a tartlyba ugyanannyi folyadk folyik be, mint ki, a tartlyban llandan o V liter folyadk lesz, ezrt a kifolyt keverkben lev vz mennyisgvel nem kell foglalkoznunk.) A o tartlyba t id alatt vtp mennyisg s kerl be a tartly feletti csapbl. Teht t id alatt a tartlyban o u o lev s mennyisgnek a megvltozsa vtp vtq(t), a koncentrci megvltozsa o vtp vtq(t) q(t) = = vp vq(t) t t lesz. A t 0 hatrtmenettel differencilegyenletet kapunk a q(t) fggvnyre: q (t) = vp vq(t) illetve trendezs utn q (t) + vq(t) = vp. Ez egy els rend lineris differencil egyenlet. A homogn rsz q (t) + vq(t) = 0 egy megoldsa az o u vt e fggvny. Ha az inhomogn egyenlet egy partikulris megoldst konstans alakban keressk, akkor kapjuk a p konstans fggvnyt, ez az az eset, amikor a koncentrcit lland szinten tartjuk. A differencilegyenlet ltalnos megoldsa teht: q(t) = p + cevt ahol c tetsz leges vals szm. Mivel kezdetben csak vz volt a tartlyban, ezrt o q(0) = 0 Ha teht az ltalnos megoldsba behelyettestjk a t = 0 id pontot, akkor kapunk c-re egy egyenletet: o 0 = p + c, azaz c = p. A keresett megolds teht q(t) = p pevt vagy mskpp rva q(t) = p(1 evt ). Ltni teht, hogy az idelis stabil llapotot, amikor a koncentrci nem vltozik, soha nem rhet el. o Persze a megolds t fggvnyben olyan gyorsan tart a konstans p fggvnyhez, hogy elg rvid id utn o a koncentrci vltozsa nem mrhet s gy llandnak tekinthet . De ha pldul benzinhez kevernek o o adalkanyagokat az oktnszm nvelse miatt, ht elg rosszul jr az az auts, aki a folyamat elejn tankol. Az albbi fggvny grakon a p = 1, v = 2 esetben brzolja a folyamatot:
2011. februr 1.
35
1,0
0,8
0,6
0,4
0,2
0 0 2 4 6 8 10
Ltni teht, hogy kt perc elteltvel a koncentrci lnyegben nem vltozik.
6.2. Msodrendu lineris differencilegyenletek

Msodrend homogn lineris differencilegyenlet: u Az y + f (x)y + g(x)y = 0 alak differencilegyenleteket msodrend homogn lineris differencilu egyenleteknek nevezzk. Ha y1 s y2 kt megoldsa a y + f (x)y + g(x)y = 0 homogn egyenletnek, c1 s c2 kt tetsz leges vals o szm, akkor y = c1 y1 + c2 y2 is megoldsa a differencilegyenletnek. A fenti lltst gy is megfogalmazhatjuk, hogy egy adott (msodrend ) homogn differencilegyenlet u megoldsai a fggvnyek kztti sszeadsra s a vals szmmal val szorzsra nzve lineris vektorteret alkotnak. A kvetkez llts azt mondja ki, hogy ennek a vektortrnek a dimenzija ppen kett . o o Az y + f (x)y + g(x)y = 0 msodrend homogn lineris differencilegyenlethez mindig tallhat kt u megolds, y1 s y2 gy, hogy az egyenlet sszes megoldsa ppen az y = c1 y 1 + c2 y 2 alak fggvnyek, ahol c1 s c2 tetsz leges konstansok. o Alaprendszer : A fenti lltsban szerepl kt fggvnyt a lineris differencilegyenlet alaprendszernek nevezzk. Teht o az y1 , y2 fggvny pr az y + f (x)y + g(x)y = 0 msodrend homogn lineris differencilegyenlet u alaprendszere, ha az egyenlet minden megoldsa el ll y = c1 y1 + c2 y2 alakban. o Az y + f (x)y + g(x)y = 0 msodrend lineris homogn differencilegyenlet kt megoldsa, y1 , y2 u pontosan akkor alaprendszer az (a, b) intervallumon, ha a y y W = 1 2 y1 y2 un. Wronski-fle determinns sehol sem nulla.
2011. februr 1.
36
Msodrend inhomogn lineris differencilegyenlet: u Az y + f (x)y + g(x)y = h(x) alak differencilegyenleteket msodrend inhomogn lineris differenu cilegyenleteknek nevezzk ha a h(x) fggvny nem azonosan nulla. Ha yp az y + f (x)y + g(x)y = h(x) inhomogn egyenletnek egy (partikulris) megoldsa, y1 , y2 pedig a megfelel y + f (x)y + g(x)y = 0 homogn egyenlet egy alaprendszere, akkor az inhomogn egyenlet o megoldsai ppen az y = yp + c1 y1 + c2 y2 alak fggvnyek. A fenti llts azt mondja ki, hogy az inhomogn egyenlet tetsz leges megoldst gy kaphatjuk meg, o hogy egy rgztett partikulris megoldshoz hozzadjuk a homogn egyenlet egy tetsz leges megoldst. o Msodrend lland egytthats lineris differencilegyenlet: u Ha a s b kt vals szm, f (x) pedig egy vals fggvny, akkor az y + ay + by = f (x) alak differencilegyenletet msodrend lland egytthats lineris differencilegyenletnek nevezzk. u Karaszterikus egyenlet: Az el z egyenletb l add y + ay + by = 0 msodrend lland egytthats homogn lineris diffeo o o u y rencilegyenlet megoldsait keressk y(x) = e alakban. Ha a keresett y(x) fggvnyt behelyettestjk az egyenletbe, akkor -ra a kvetkez msodfok un. karakterisztikus egyenletet kapjuk: o 2 + a + b = 0. A karakterisztikus egyenlet segtsgvel mindig megkaphatjuk a y + ay + by = 0 homogn egyenlet egy alaprendszert, mgpedig a kvetkez mdon: o Ha 1 s 2 a karakterisztikus egyenlet kt klnbz vals gyke, akkor a homogn egyenlet alaprendo szere az y1 = e1 x s y2 = e2 x fggvnypr. Ha a karakterisztikus egyenlet ktszeres vals gyke, akkor a homogn egyenlet alaprendszere az y1 = = ex s y2 = xex fggvnypr. Ha = + i a karakterisztikus egyenlet egy komplex gyke, akkor a homogn egyenlet alaprendszere az y1 = ex cos(x) s y2 = ex sin(x) fggvnypr. Jegyezzk meg, hogy a harmadik esetben a karakterisztikus egyenlet komplex gykei egyms konjugltjai. Ezrt a kt komplex gyk ugyanazt az alaprendszert szolgltatja, hiszen ha helyett -t runk, akkor a klnbsg csak annyi, hogy y2 helyett y2 -t kapunk, mivel cos(x) = cos(x) s sin(x) = = sin(x). Az y + ay + by = f (x) msodrend lland egytthats lineris differencilegyenlet egy yp partikulris u megoldst ltalban (nem mindig) megkaphatjuk az un. prbafggvny mdszer segtsgvel, azaz a megoldst specilis alak fggvnyek kzt keressk. Pldul ha f (x) egy n-ed fok polinom, akkor yp -t is ilyen alakban keressk; ha f (x) = a cos kx + b sin kx, akkor yp = A cos kx + B sin kx; ha f (x) = ekx s k nem gyke a karakterisztikus egyenletnek, akkor yp = Aekx ; ha f (x) = ekx s k egyszeres gyke a karakterisztikus egyenletnek, akkor yp = Axekx ; ha ktszeres, akkor yp = Ax2 ekx ;
2011. februr 1.
37
stb. A harmonikus rezg mozgs: o Tegyk fel hogy az egyenesen mozg m tmeg pontszer testre minden pillanatban az origtl val u u tvolsggal arnyos s a mozgs irnyval ellenttes irny er hat, pldul egy rugra fggesztett test o mozog gy, ha az er a gravitcis er . Ekkor a t id t l fgg harmonikus rezg mozgst ler egyenlet o o oo o o m(t) = kx(t), x ahol x az x(t) fggvny id szerinti msodik derivltjnak egy, a zikban gyakori jellse, k pedig az o un. ruglland. k = 2 jellst, Ez egy msodrend homogn lineris differencilegyenlet, tudniillik ha bevezetjk a u m ahol az un. krfrekvencia, akkor az egyenlet trendezs utn x + 2x = 0 A fenti homogn egyenlet karakterisztikus egyenlete 2 + 2 = 0. Ennek az egyenletnek az egyik komplex gyke i s gy a homogn egyenlet megoldsai az x(t) = c1 cos(t) + c2 sin(t) c1 fggvnyek. Vezessk be mg az A = c2 + c2 amplitdt s azt a fzisszget, amelyre sin = 2 1 A c2 s cos = . gy az egyenlet ltalnos megoldst felrhatjuk A x(t) = A sin(t + ) 2 alakban. A harmonikus rezg mozgs pridusidejt T = o jelli.
6.3. Lineris differencilegyenlet rendszerek

Egy pont mozgst a legegyszer bb esetben a pillanatnyi sebessg s hely kztti sszefggs, egy liu neris differencilegyenlet rja le. De egy pont ltalban a trben mozog, nem pedig egy egyenesen. Ezrt plyjt hrom fggvny, a koordintafggvnyek rjk le. s persze a pillanatnyi sebessg is vektorrtk . Ez indokolja, hogy szimultn vizsgljunk differencilegyenleteket azaz differencilegyenlet u rendszereket. Vektor-skalr fggvny: Jelljn x : R Rn egy egy vltozs vektor rtk lekpezst. Egy ilyen lekpezst vektor-skalr u fggvnynek vagy n dimenzis grbnek neveznk. Ennek rtke koordinta fggvnyekkel lerva: x1 (t) x2 (t) x (t) = . . . xn (t) Ha most xi jelli az i-edik koordinta fggvny derivltjt, akkor x a grbe derivltja koordintkkal felrva :
2011. februr 1.
38
Bevezet matematika kmikusoknak 2., 2010. osz o x1 (t) x2 (t) x (t) = . . . xn (t)
lland egytthats lineris differencilegyenlet rendszer: Legyen A egy n n-es mtrix, b pedig egy n dimenzis grbe. Ekkor a x + Ax = b alak egyenletet lland egytthats lineris differencilegyenlet rendszernek nevezzk. Ha itt b (t) azonossan nulla, akkor a rendszer homogn, egybknt inhomogn. Ha A egy n n-es mtrix, akkor az L = {x : x + Ax = 0 } halmaz, azaz a homogn egyenletrendszer megoldsai lineris vektorteret alkotnak az sszeadsra s a vals szmmal val szorzsra nzve. Ennek a vektortrnek a dimenzija ppen n. Alaprendszer : Az x + Ax = 0 homogn egyenletrendszer megoldsaibl ll vektortr egy tetsz leges o bzist alaprendszernek nevezzk. Teht ha x 1 , x 2 , . . . , x n az x + Ax = 0 homogn egyenletrendszer egy alaprendszere, akkor az x h = c1 x 1 + c2 x 2 + + cn x n : c1 , c2 , . . . , cn R alak grbk a homogn egyenletrendszer sszes megoldst adjk meg. Ha x 1 , x 2 , . . . , x n az x + Ax = 0 homogn egyenletrendszer egy alaprendszere, x p pedig az x + Ax = = b inhomogn rendszer egy partikulris megoldsa, akkor az inhomogn differencilegyenlet rendszer sszes megoldsa az x = x p + c1 x 1 + c2 x 2 + + cn x n alak fggvnyek. Tegyk fel, hogy az A n n-es mtrixnak van n darab v 1 , v 2 , . . . , v n sajtvektora 1 , 2 , . . . , n (nem felttlenl klnbz ) sajtrtkkel gy, hogy a sajtvektorok bzist alkotnak Rn -ben. Ez pldul szimo metrikus A mtrix esetn mindig igaz. Ekkor az x + Ax = 0 hogn egyenletrendszer egy alaprendszere 1 t 2 t x 1 (t) = e v 1 , x 2 (t) = e v 2 , . . . , x n (t) = en t v n .
2011. februr 1.
39
Tbbvltozs lekpezsek
7. Tbbvltozs lekpezsek
7.1. Trgrbk
Legyen [a, b] R egy zrt intervallum. Egy r : [a, b] R3 tpus lekpezst trgrbnek neveznk. A lekpezs fggetlen vltozjt a "paramtert" ltalban t-vel jelljk. Az r (t) grbe koordintafggvnyeit x(t), y(t), z(t) jelli. Teht x(t) r (t) = y(t) z(t) Szoks mg a trgrbt sor alakban is rni: r = xi + yj + zk Zrt grbe : Azt mondjuk, hogy az r : [a, b] R3 grbe zrt, ha r (a) = r (b), azaz a grbe kezd pontja megegyezik o a grbe vgpontjval. Egyszer grbe: u u u Az r : [a, b] R3 grbe egyszer , ha r az (a, b) nylt intervallumon egy-egy rtelm . Azt mondjuk, hogy az r : [a, b] R3 trgrbe folytonos, ha minden koordintafggvnye folytonos. A grbe derivlhat a t (a, b) pontban, ha itt x, y, z derivlhat. Ekkor az r derivltjt x r = y z vagy r = xi + yj + zk jelli. Az r trgrbe r 0 = r (t0 ) pontjban hzott rint az az egyenes, amelyik tmegy az r 0 ponton s irnya o megegyezik az r 0 = r (t0 ) vektor irnyval. r Az r irny t egysgvektort tangencilis egysgvektornak nevezzk. Teht t = |r | A kvetkez brn a kznsges csavarvonalat ltjuk. Ez egy olyan pont mozgst rja le, amelyik egyeno letesen forog a z tengely krl s kzben lland sebessggel emelkedik, r (t) = R cos ti + R sin tj + vtk
2011. februr 1.
40
Tbbvltozs lekpezsek
Bert poligon : Legyen r : [a, b] R3 egy trgrbe, F = {t0 = a < t1 < < tn = b} pedig az [a, b] intervallum egy felosztsa. Azt a trbeli P poligont (egymshoz csatlakoz szakaszok sorozata), amelynek cscsai sorrendben az r i = r (ti ) i = 0,1, . . . , n pontok, az F felosztshoz tartoz bert poligonnak nevezzk. A poligon hossza az oldalak (szakaszok) hossznak az sszege:
n
L(P ) =
i=1
|r i r i1 |
vhossz : Az r : [a, b] R3 trgrbe vhossza a bert poligonok hossznak szuprmuma: L = L(r ) = sup{L(P ) : P bert poligon} Az r trgrbe rektiklhat, ha ez az vhossz vges. Tegyk fel, hogy az r : [a, b] R3 trgrbe folytonossan derivlhat (ennl valamivel gyengbb felttel is elg lenne). Ekkor a grbe rektiklhat s
b b
L=
a
|r | dt =
a
x2 + y 2 + z 2 dt
7.2. Skgrbk
Legyen [a, b] R egy zrt intervallum. Egy r : [a, b] R2 tpus lekpezst skgrbnek neveznk. Az r (t) grbe koordintafggvnyeit x(t), y(t) jelli. Teht x(t) r (t) = y(t) vagy sor alakban is rva: r = xi + yj A folytonossg, derivlt, vhossz rtelemszer en tvihet skgrbre is. gy pldul egy folytonosan deu o rivlhat r (t) grbe vhossza:
b b
L=
a
|r | dt =
a
x2 + y 2 dt
Kln megvizsgljuk azt az esetet, amikor egy skgrbe valjban egy fggvny grakonja. Most a paramtert x-el jellve az f : [a, b] R grakonjt a skban a x r (x) = f (x) grbe rja le. Behelyettestve az vhossz kpletbe: Az f : [a, b] R folytonosan derivlhat fggvny grakonjnak vhossza
b
L=
a
1 + (f )2 dx
2011. februr 1.
41
Tbbvltozs lekpezsek
7.3. Felletek
Legyen A R2 egy "egyszer " skidom (ez a gyakorlatban krlapot vagy tglalapot jelent). Egy r : u : A R3 tpus lekpezst felletnek nevezzk. A lekpezs fggetlen vltozit a "paramtereket" ltalban u s v jelli. A fellet koordintafggvnyei az A- rtelmezett x(u, v), y(u, v), z(u, v) ktvltozs fggvnyek. Teht x(u, v) r (u, v) = y(u, v) z(u, v) vagy sor alakban rva r = xi + yj + zk . Azt mondjuk, hogy az r : A R3 fellet folytonos, ha minden koordintafggvnye folytonos mint ktvltozs fggvny. Ha a koordintafggvnyek parcilisan derivlhatak, akkor az r fellet is parcilisan derivlhat s r x x y z r y z = i+ j + k, = i+ j + k. u u u u v v v v Hasznljuk mg a valamivel tmrebb r u = xu i + yu j + zu k illetve r v = xv i + yv j + zv k jellseket. Az r fellet r 0 = r (u0 , v0 ) pontjra illeszked , az r u (u0 , v0 ) s r v (u0 , v0 ) vektorok ltal kifesztett o skot az r fellet r 0 pontjban hzott rint sknak nevezzk. Ennek a sknak a normlisa az un. felleti o normlis az n = r u (u0 , v0 ) r v (u0 , v0 ) vektor. A kvetkez bra az Arkhimdeszi csavarfelletet brzolja. Ferdn megdntve s megforgatva vzemeo lsre hasznltk mr az korban is. A fellet egyenlete: r (u, v) = u cos(v)i + u sin(v)j + cvk
Felszn : Legyen r : A R3 egy fellet a trben. Az vhossz mintjra szeretnnk denilni a fellet egy mr oszmt a felsznt. A trben hrom pont mindig meghatroz egy hromszglapot, amelynek terlete az 1 a , b oldalvektorokkal lerva |a b |. A bert poligonok mintjra bevezetjk a bert polider fogalmt: 2 ez olyan polider, amelynek lapjai hromszgek, cscsai pedig a felleten helyezkednek el. Az P bert polider felszne, F (P ), a polidert alkot hromszgek terleteinek sszege. gy teht az r fellet F = = F (r ) felszne az a legkisebb szm, amelyik nagyobb vagy egyenl minden bert polider felsznnl. o
2011. februr 1.
42
Tbbvltozs lekpezsek
Meg kell azonban jegyeznnk, hogy ez a denci nem korrekt. H. Schwarz hires pldjban egy egyszer u krhengerpalst esetben is tallhat bert polidereknek egy olyan Pn sorozata, amelyre F (Pn ) . Ebben a sorozatban a problmt az okozza, hogy a hromszgek szgei kztt akrmilyen kicsi szg, azaz akrmilyen "lapos" hromszg is el fordul. Ha ezt a lehet sget kizrjuk (aminek pontos megfogalo o mazsa bonyolult), eljuthatunk a felszn korrekt dencijhoz. Ha az r : A R3 fellet folytonosan derivlhat, akkor a felletnek van (vges) felszne s F =
A
|r u r v | du dv
Fggvnygrakon felszine: Tekintsnk egy f : A R ktvltozs folytonosan detivlhat fggvnyt. A fggvny grakonjt a hromdimenzis trben az x y r (x, y) = f (x, y) fellet rja le. gy a fggvny grakonjnak a felszne: 1 + (fx )2 + (fy )2 dx dy
A
7.4. Skalrmez o
Legyen G R3 . Egy u : G R tipus lekpezst skalrtrnek illetve skalrmez nek neveznk. A skao lrmez fggetlen vltozjt r -el jelljk, gy a felvet rtket u(r ) jelli. De egy skalrmez tekinthet o o o egyszer en egy hromvltozs fggvnynek is s gy u(x, y, z) alakban is rhatjuk. u A skalrmez folytonossga nem j fogalom, ha mint hromvltozs fggvnyt tekintjk. De azrt ismo teljk meg itt is a dencit: Az u : G R skalrmez folytonos az a G pontban, ha o > 0 > 0 r G, |r a | < esetn |u(r ) u(a )| < . Az u(r ) = u(x, y, z) skalrmez parcilis derivltjai a megfelel hromvltozs fggvny parcilis o derivltjai : u(r + tj ) u(r ) u(r ) u(r ) u(r + ti ) u(r ) u(r ) u(r + tk ) u(r ) = lim , = lim , = lim . t0 t0 t0 x t y t z t Termszetesen a parcilis derivltakat jellhetjk ux , uy , uz mdon is. Az u(r ) skalrmez gradiense a parcilis derivltakbl ll vektor: o ux uy grad u = uz illetve grad u = ux i + uy j + uz k . Skalrmez pldul az egysgnyi elektrosztatikai tlts potenciltere: o 2011. februr 1. 43
Bevezet matematika kmikusoknak 2., 2010. osz o 1 1 = |r | x2 + y 2 + z 2 Ennek a skalrtrnek a gradiense: r grad u(r ) = 3 |r | u(r ) =
Tbbvltozs lekpezsek
Szksgnk lesz a ktvltozs skalrmez fogalmra is. Ez rtelemszer en egy u : A R lekpezst o u jelent, ahol A R2 egy skidom. A folytonossg s a parcilis derivltak fogalma termszetes mdon addik. Viszont a parcilis derivltakbl ll skvektort nem szoks gradiensnek nevezni!
7.5. Vektormez o
Legyen G R3 . Egy v : G R3 lekpezst vektormez nek neveznk. A fggetlen vltozt ltalban r o jelli, vektormez rtkt az r pontban pedig v (r ). Ha a v vektormez koordintafggvnyeit vx , vy , vz o o jelli. akkor sor alakban rva: v = vx i + vy j + vz k Ha tr pontjaihoz az egysgnyi tlts ltal keltett trer ssget rendeljk, megkapjuk az elektrosztatikus o teret : r E = |r |3 Ennek koordinta fggvnyei: x y z Ex = , Ey = , Ez = 2 + y 2 + z 2 )3 2 + y 2 + z 2 )3 2 + y 2 + z 2 )3 ( x ( x ( x Nylt halmaz : Egy G R3 halmazrl azt mondjuk, hogy nylt halmaz, ha minden a G pontjra igaz, hogy egy egsz krnyezete is rsze G-nek, azaz a G > 0 B(a , ) G. A tovbbiakban, ha mst nem mondunk, mindig feltesszk, hogy a szerepl vektormez knek s skalro o mez knek az rtelmezsi tartomnya nylt halmaz. o Tenzor : A homogn lineris vektormez ket tenzoroknak nevezzk. Teht az A : R3 R3 lekpezs tenzor, ha o brmely a , b R3 vektor s R skalr esetn A (a + b ) = A a + A b A (a ) = A a Az A tenzor egyrtelm en azonosthat egy 3 3-as A mtrixszal. u Vektormez folytonossga: o A v vektormez folytonos az r pontban, ha koordintafggvnyei mint hromvltozs fggvnyek folyo tonosak az r = x i + y j + z k pontban. Derivlt tenzor: 2011. februr 1. 44
Tbbvltozs lekpezsek
Tegyk fel, hogy a v vektormez rtelmezett az a pont egy egsz krnyezetben. Azt mondjuk, hogy a v o vektormez derivltja ltezik az a pontban s ez az A derivlttenzor illetve a megfelel A derivltmtrix, o o ha |v (r ) v (a ) A(r a )| lim =0 |r a |0 |r a | A derivlttenzor fenti dencija azt mondja ki, hogy akkor derivlhat a v vektornmez az a pontban, o ha megadhat egy olyan A mtrix, amelyre a e (r ) = v (a) + A(r a ) lineris kifejezs "jl" kzelti a v (r ) vektormez t az a pontban. Ez annak felel meg, mint amikor az o egyvltozs fggvny derivltjt az rint egyenes meredeksgvel deniljuk. o Ha a v vektormez derivlhat az a pontban, akkor itt folytonos. o Ha v derivlhat az a pontban s a derivltmtrixa A, akkor a vx , vy , vz koordintafggvnyek parcilis derivltjai lteznek az a pontban s v v v x x y x z x vy vy vy A= x y z vz vz vz x y z azaz az A mtrix soraiban a megfelel koordintafggvnyek parcilis derivltjai llnak. o Az el z llts nem fordthat meg! Azrt, mert a koordintafggvnyek parcilis derivltjai lteznek, o o mg nem biztos, hogy a vektormez derivlhat, s t mg az se biztos, hogy folytonos. o o Ha a v vektormez koordintafggvnyei folytonosan derivlhatak az a pontban, akkor v derivlhat o a -ban.
7.6. Divergencia, rotci

Ha egy raml folyadkba belemrtunk egy "pici" testet, akkor megmrhetjk a test felletn beraml illetve kiraml folyadk mennyisgt. Ez a kt rtk ltalban egyenslyban van, azaz az sszegk nulla. De pldul ha a test belsejben egy forrs vagy egy nyel (pl. kdlefoly) van, akkor lehet az egyenleg o pozitv illetve negatv. Ha a v ramlsi tr egy adott p pontja kr tesznk egyre kisebb trfogat s felszn testet, akkor a mrt rtkek hatrrtkeknt megkapjuk a v vektormez divergencijt a p pontban u o s div v -vel jelljk. Ezt a zikban a vektormez forrser ssg-s r sgnek nevezik. o o uu Ha a szilrd testet hagyjuk mozogni, pontosabban forogni az ramls rvnyelsnek hatsra, akkor ezt a forgst jellemezhetjk egy vektorral: a vektor irnya a forgstengely irnya, hossza pedig a szgsebessg. Ha most egy adott p pontra hzd testeket tekintnk, akkor hatrrtkknt megkapjuk a v vektormez o rotcijt a p pontban s rot v -vel jelljk. Ezt a zikban a vektormez rvnyer ssg-s r sgnek o o uu 2011. februr 1. 45
Tbbvltozs lekpezsek
nevezik. Ha a v vektormez folytonossan derivlhat, akkor o vx vy vz + + div v = x y z azaz a derivltmtrix f tljban szerepl elemek sszege (a mtrix nyoma) o o Ha a v vektormez folytonossan derivlhat, akkor o vz vy vx vz rot v = i+ j + y z z x
vy vx x y
7.7. Nabla s Laplace operator

A jellel egy un. vektoroprtort a nabla opertort jellnk. Nevt egy fnciai eredet hros hangszerr l u o kapta. Ezt szimbolikus vektorknt rhatjuk fel: x = y z Ha vektorm veletek sorn az egyik koordintja mell egy hromvltozs fggvny kerl "szorzknt", u akkor azon a helyen a megfelel parcilis derivltat rtjk. A nabla vektor segtsgvel knnyen megjeo gyezhet s jl hasznlhat formulkat kapunk. o A 2 opertort Laplace-opertornak nevezzk s -val jelljk. Teht ha u egy skalrmez , akkor o 2u 2u 2u u = ( u) = + + x2 y 2 z 2 Ha u egy skalrtr, akkor grad u = u a vektornak az u skalrral val szorzata. Ha v egy vektortr, akkor div v = v , rot v = v.
Ha u ktszer folytonosan derivlhat skalrmez , akkor o rot grad u = 0 , u = ( u) = div grad u. Ha v ktszer folytonosan derivlhat vektormez (azaz a koordintafggvnyek ktszer folytonosan o derivlhatak), akkor div rot v = 0, v = ( v ) = grad div v rot rot v .
2011. februr 1.
46
Vonalintegrl
8. Vonalintegrl
8.1. A vonalintegrl dencija
Tmegpont munkavgzse er trben: o 3 o Legyen v : G R egy vektormez. Ez a tr minden pontjban az egysgnyi tmegre hat er t adja meg, ezrt szoks er trnek is nevezni. Ha most egy pontszer tmeg az er tr hatsra egy r : o u o : [a, b] G grbn mozog, hogyan szmolhat ki a az er munkavgzse? Ha ez a grbe egy szakasz o s az er minden pontban ugyanaz (lland) akkor tudjuk, hogy a munka a szakaszt megad vektor s o az er skalrszorzata. A zika trvnyeib l az is kvetkezik, hogy ha az r grbe egy poligon, a v pedig o o lland a poligon lein, akkor a munka a szakaszonknt szmtott munkk sszege, a munka "additv". Legyen most r egy tetsz leges grbe, P egy bert poligon. Ha a poligon lein az er t helyettestjk o o egy, a megfelel grbedarabon felvett lland rtkkel, azaz az er teret konstansnak vesszk a poligon o o lein, akkor a vgzett munka egy kzeltst kapjuk. Nyilvn minl nomabb felosztshoz tartoz bert poligont vesznk, annl pontosabban kzeltjk a tnyleges munkt. Integrlkzelt sszeg: o Legyen v : G R3 egy vektormez , r : [a, b] G pedig egy rektiklhat grbe. Legyen tovbb o F = {t0 = a < t1 < < tn = b} az [a, b] intervallum egy felosztsa, K = {c1 , c2 , . . . , cn } pedig kzbens helyek egy sorozata. Ekkor a o
n
F,K =
i
v (ci ) (r (ti ) r (ti1 )) ri =
szmot integrlkzelt sszegnek nevezzk. Ha bevezetjk a v i = v (ci ) s r i = r (ti ) illetve o = r i r i1 jellseket, akkor
n n
F,K =
i
v i (r i r i1 ) =
i
vi
ri
Feloszts nomsga: Ha F = {t0 = a < t1 < < tn = b} az [a, b] intervallum egy felosztsa akkor = d(F ) = max{|ti ti1 | : i = 1,2, . . . , n} jelli az F feloszts nomsgt. Azt mondjuk, hogy az F feloszts nomabb -nl, ha d(F ) < . A vonalintegrl dencija: Azt mondjuk, hogy a v : G R3 vektormez vonalintegrlja ltezik az r : [a, b] G rektiklhat o grbn s a vonalintegrl rtke az I szm, ha > 0 > 0, hogy d(F ) < s tetsz leges K esetn |F,K I| < . o Ezt az I szmot
C
v dr jelli. Itt C az r grbt jelli (pontosabban azt az "ekvivalencia osztlyt", amely-
be a grbe tartozik). A tovbbiakban C = r jelli ezt a grbeosztlyt. Ha az r grbe zrt grbe, akkor szoks az integrlt krintegrlnak is nevezni s
C
v dr -el jellni.
Szoks mg a vonalintgrlt a kvetkez kppen is jellni: o 2011. februr 1. 47
Vonalintegrl
v dr =
C C
vx dx + vy dy + vz dz
Vonalintegrl skgrbn: A trgrbken vett vonalintegrl dencija termszetes mdon tvihet skgrbkre is ha a vektormez o o 2 2 helyett egy "skbeli" vektormez t rtnk, azaz egy v : G R lekpezst, ahol G R egy "egyszer " o u skbeli halmaz. Ekkor a vonalintegrl szoksos jellse: v dr =
C C
vx dx + vy dy
Ha a v vektormez folytonos s a C = r grbe folytonos s rektiklhat, akkor a o

C
v dr vonalintegrl
ltezik. Ha a v vektormez folytonos s az C = r : [a, b] R3 grbe folytonosan derivlhat (s ezrt rektio klhat), akkor a vonalintegrlt kiszmolhatjuk egy kznsges Riemann-integrl segtsgvel:
b
v dr =
C a
v (r (t)) r (t) dt
8.2. A vonalintegrl tulajdonsgai

o Ha v 1 s v 2 kt vektormez , amelyeknek a vonalintegrlja ltezik a C = r grbn, akkor ltezik a v 1 + v 2 integrlja is s (v 1 + v 2 )dr =
C C
v 1 dr +
C
v 2 dr
Ha az v vektormez vonalintegrlja ltezik a C = r grbn s R tetsz leges konstans, akkor o o ltezik a v integrlja is s (v )dr =
C C
v dr
Egymshoz csatlakoz grbk: Azt mondjuk, hogy a C1 = r 1 : [a, b] R3 s a C2 = r 2 : [c, d] R3 grbk egymshoz csatlakoz grbk, ha b = c, azaz a C1 grbe vgpontja megegyezik a C2 grbe kezd pontjval. Ilyenkor o denilhatunk egyetlen grbt, a kt csatlakoz grbe sszegt: r 1 (t) ha a t b r (t) = r 2 (t) ha b = c t d Az ennek a grbnek megfelel C "grbeosztlyt" C = C1 + C2 jelli. o Ellenttes irnyts grbe: Ha C = r : [a, b] R3 egy grbe, akkor C jelli azt a grbt, amelynek pontjai ugyanazok, mint C-nek, de "irnytsa" az ellenkez , a kezd s a vgpont felcserl dik. Egy ilyen grbt pldul a o o o 2011. februr 1. 48
Bevezet matematika kmikusoknak 2., 2010. osz o p (t) = r (a + b t) lekpezssel kaphatunk. Egymshoz csatlakoz grbken a vonalintegrl additv, azaz v dr =
C1 +C2 C1
Vonalintegrl
v dr +
C2
v dr
Ha a grbe irnytst ellenkez jre vltoztatjuk, az integrl (1)-el szorzdik, o v dr =

C C
v dr
8.3. Konzervatv vektormez o

Primitv fggvny: o Azt mondjuk, hogy az u : G R skalrmez primitv fggvnye a v : G R3 vektormez nek a o G R3 nylt halmazon, ha a G minden pontjban grad u = v . Ilyenkor a = u fggvnyt potencilnak nevezik. Ha a v vektormez nek van primitv fggvnye, akkor a vektormez t (er teret) konzervatvnak nevezzk. o o o A primitv fggvnyek csak konstansban klnbznek, azaz ha u1 s u2 kt primitv fggvnye a v vektormez nek, akkor u1 u2 konstans, nem fgg r -t l. o o Newton-Leibniz-formula vonalintegrlokra: Ha a v : G R3 folytonos vektormez primitv fggvnye az u skalrmez , akkor minden C = r : o o : [a, b] G folytonos s rektiklhat grbe esetn v dr = u(r (b)) u(r (a)).
C
Ha az el z ttelben a = r (a) jelli a grbe kezd pontjt, b = r (b) pedig a vgpontjt, akkor o o o v dr = u(b ) u(a ).
C
Ez azt jelenti, hogy konzervatv er tr esetn a vonalintegrl fggetlen az ttl, csak a grbe vgpontjaitl o fgg. Legyen v : G R3 egy vektormez . A kvetkez lltsok ekvivalensek: o o a) A v vektormez nek van primitv fggvnye. o b) A vonalintegrl fggetlen az ttl. c) Minden zrt grbn a vonalintegrl nulla.
2011. februr 1.
49
Vonalintegrl
Ha a v : G R3 vektormez folytonosan derivlhat s v -nek van primitv fggvnye, akkor a vektoro mez rvnymentes azaz o rot v = 0 Ez a tny annak kvetkezmnye, hogy ha u egy primitv fggvny, akkor rot v = rot grad u = 0 . Azt a tnyt, hogy v rvnymentes, gy is szoks mondani, hogy a v vektormez keresztbe vett derivltjai o megegyeznek, hiszen a rot v = 0 a kvetkez azonossgokat jelenti: o vy vx vz vy vz vx = , = , = y x z x z y A kt dimenziban ez a tny egyetlen azonossgot jelent: vx vy = y x Knnyen lthat, hogy az rvnymentessg nem elgsges felttele annak, hogy legyen primitv fggvny. Ha x y , vy = 2 , vx = 2 2 x +y x + y2 akkor az orig krli R sugar C krvonalon a krintegrl y dx x dy = 2 = 0 x2 + y 2
C
pedig a keresztbe vett derivltak megegyeznek. A problmt az okozza, hogy ezek a zrt grbk krbe vesznek egy olyan pontot, ahol a vektormez nincs rtelmezve, azaz az rtelmezsi tartomny "lyukas". o A trben ennek a "lyuknak" egy egsz egyenes illetve egy "vgtelen grbe" felel meg. Ha a vektormez G o rtelmezsi tartomnya "nem lyukas", akkor G-t egyszeresen sszefgg tartomnynak nevezzk. Ennek o a tulajdonsgnak a pontos dencija tlmegy az el ads lehet sgein. o o Ha v : G R3 folytonosan derivlhat rvnymentes vektormez a G egyszeresen sszefgg tartomo o nyon, akkor v -nek van primitv fggvnye.
2011. februr 1.
50

bmk2 Jegyzet

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

bmk2 Jegyzet

Uploaded by

Copyright:

Available Formats

Bevezet matematika kmikusoknak 2., 2010.

Bevezet matematika kmikusoknak 2., 2010. osz o

Bevezet matematika kmikusoknak 2., 2010. osz o

an vgtelen sor konvergens, akkor an 0.

Bevezet matematika kmikusoknak 2., 2010. osz o

1.2. Konvergens s divergens sorozatok

1.3. Muveleti szablyok

Bevezet matematika kmikusoknak 2., 2010. osz o

1.4. Monoton sorozatok

Bevezet matematika kmikusoknak 2., 2010. osz o

1.5. Nevezetes sorozatok

sorozat monoton nveked s korltos, teht konvergens. o

ha |a| < 1 ha a = 1 ha a > 1 ha a 1

Bevezet matematika kmikusoknak 2., 2010. osz o

2. Lssuk be, hogy

3. Bizonytsuk be, hogy a 1 +

sorozat monoton nveked s fellr l korltos! o o

Bevezet matematika kmikusoknak 2., 2010. osz o

kapunk. Ezt a vgtelen sok tag sszeget a

tudjuk megtenni. Tekintsk a

2n = 1 + 2 + 4 + vgtelen sort, s legyen ennek sszege az A

an vgtelen sor rszletsszegein az el n darab tag sn = o

vgtelen sor konvergens, s az sszege A. Ezt gy jelljk, hogy

Abszolt konvergencia: Azt mondjuk, hogy a

an sor abszolt konvergens, ha a

|an | sor konvergens.

an vgtelen sor sszege (illetve ).

Bevezet matematika kmikusoknak 2., 2010. osz o

Ezt gy jelljk, hogy

2.2. Nevezetes numerikus sorok

q n vgtelen sort geometriai sornak nevezzk. A (vges) geometriai

1 = , azaz a harmonikus sor divergens. n

1 vgtelen sor konvergens, ha > 1 s divergens ha 1. n

2.3. A konvergencia elemi tulajdonsgai

an vgtelen sor konvergens, akkor an 0.

an vgtelen sor konvergens, akkor az rn =

ai "maradkokbl" ll sorozat nullhoz tart.

vgtelen sor is konvergens s sszege c A. Rviden:

Bevezet matematika kmikusoknak 2., 2010. osz o

bn vgtelen sorok konvergensek s sszegk A illetve B, akkor a

sor is konvergens s sszege A + B. Rviden: (an + bn ) =

Megjegyzs : ltalnos szorzat szably nincs!

2.4. Konvergencia kritriumok

bn vgtelen sorok tagjaira teljesl,hogy |an | bn s a

bn vgtelen sor konvergens,

an vgtelen sor abszolt konvergens.

an vgtelen sor q < 1 esetn abszolt konvergens, q > 1 esetn pedig

Bevezet matematika kmikusoknak 2., 2010. osz o

Ha f egy monoton cskken pozitv fggvny az [1, ) flegyenesen, akkor a o

f (n) vgtelen sor s a

f (x) dx improprius integrl egyszerre konvergens vagy divergens.

1. Lssuk be, hogy a

1 vgtelen sor konvergens, ha > 1 s divergens ha 1. n

Megolds: Ezt az integrl kritrium segtsgvel knnyen belthatjuk, hiszen

kor konvergens, ha > 1.

Bevezet matematika kmikusoknak 2., 2010. osz o

Hatvnysorok, Taylor sor

3. Hatvnysorok, Taylor sor

fggvnysor (pontonknt) konvergl a H halmazon s sszege az f : H R fggvny, ha x H esetn a

fn (x) vgtelen sor konvergens s sszege f (x). Ezt gy jelljk, hogy

fn fggvnysor konvergenciataromnya azon pontok halmaza, ahol a fggvnysor konvergens.

Bevezet matematika kmikusoknak 2., 2010. osz o

Hatvnysorok, Taylor sor