Differenciálegyenletek a hétköznapokban



Hasonló dokumentumok
Lineáris Algebra gyakorlatok

MATEMATIKA FELADATGYŰJTEMÉNY

BUDAPESTI KÖZGAZDASÁGTUDOMÁNYI EGYETEM. Puskás Csaba, Szabó Imre, Tallos Péter LINEÁRIS ALGEBRA JEGYZET

Brückler Zita Flóra. Lineáris rendszerek integrálása

Fejezetek a lineáris algebrából PTE-PMMK, Műszaki Informatika Bsc. Dr. Kersner Róbert

Lineáris algebra és mátrixok alkalmazása a numerikus analízisben

Lineáris programozás. Modellalkotás Grafikus megoldás Feladattípusok Szimplex módszer

Miskolci Egyetem. Diszkrét matek I. Vizsga-jegyzet. Hegedűs Ádám Imre

Mátrixaritmetika. Tartalom:

Széchenyi István Egyetem, 2005

Color profile: Generic CMYK printer profile Composite 150 lpi at 45 degrees

86 MAM112M előadásjegyzet, 2008/2009

Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. Párosítások

JANUS PANNONIUS TUDOMÁNYEGYETEM. Schipp Ferenc ANALÍZIS I. Sorozatok és sorok

Lineáris Algebra GEMAN 203-B. A három dimenziós tér vektorai, egyenesei, síkjai

Csődvalószínűségek becslése a biztosításban

DIFFERENCIAEGYENLETEK

NUMERIKUS MÓDSZEREK FARAGÓ ISTVÁN HORVÁTH RÓBERT. Ismertető Tartalomjegyzék Pályázati támogatás Gondozó

Lineáris algebra I. Kovács Zoltán. Előadásvázlat (2006. február 22.)

MATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Analízisfeladat-gyűjtemény IV.

Valószínűségszámítás

ÉS TESZTEK A DEFINITSÉG

Kinematika február 12.

A lineáris tér. Készítette: Dr. Ábrahám István

Bevezetés a számításelméletbe I. feladatgyűjtemény. Szeszlér Dávid, Wiener Gábor

5. Előadás. Megyesi László: Lineáris algebra, oldal. 5. előadás Lineáris függetlenség

Dr. Kuczmann Miklós JELEK ÉS RENDSZEREK

KOVÁCS BÉLA, MATEMATIKA I.

MATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

2. Interpolációs görbetervezés

A műszaki rezgéstan alapjai

Áttekintés a felhasznált lineáris algebrai ismeretekről.

KOVÁCS BÉLA, MATEMATIKA I.

KOVÁCS BÉLA, MATEMATIKA I.

Elsôfokú egyenletek, egyenletrendszerek, egyenlôtlenségek

Szeminárium-Rekurziók

Parciális differenciálegyenletek numerikus módszerei számítógépes alkalmazásokkal Karátson, János Horváth, Róbert Izsák, Ferenc

2) = 0 ahol x 1 és x 2 az ax 2 + bx + c = 0 ( a,b, c R és a 0 )

Analízis előadás és gyakorlat vázlat

Prizmás impulzuskompresszorok hômérsékleti stabilitásának modellezése

= szinkronozó nyomatékkal egyenlő.

Kombinatorikus kerese si proble ma k

Komputer statisztika gyakorlatok

Lineáris algebra bevezető

Matematikai programozás gyakorlatok

Vektorszámítás Fizika tanárszak I. évfolyam

Mátrixok. 3. fejezet Bevezetés: műveletek táblázatokkal

Lineáris algebra - jegyzet. Kupán Pál

LÁNG CSABÁNÉ SZÁMELMÉLET. Példák és feladatok. ELTE IK Budapest javított kiadás

1. Lineáris leképezések

Juhász Tibor. Lineáris algebra

A gyakorlatok HF-inak megoldása Az 1. gyakorlat HF-inak megoldása. 1. Tagadások:

Valószín ségelmélet házi feladatok

5. Trigonometria. 2 cos 40 cos 20 sin 20. BC kifejezés pontos értéke?

A kvantummechanika általános formalizmusa

matematikai statisztika október 24.

Következõ: Lineáris rendszerek jellemzõi és vizsgálatuk. Jelfeldolgozás. Lineáris rendszerek jellemzõi és vizsgálatuk

Sztojka Miroszláv LINEÁRIS ALGEBRA Egyetemi jegyzet Ungvár 2013

10. Valószínűségszámítás

8. előadás EGYÉNI KERESLET

2. feladat Legyenek 1 k n rögzített egészek. Mennyi az. x 1 x 2...x k +x 2 x 3...x k x n k+1 x n k+2...x n

Fizika 1i gyakorlat példáinak kidolgozása tavaszi félév

2. OPTIKA 2.1. Elmélet Geometriai optika

Természettudományi Kar. Kornis Kristóf. Matematika BSc Matematikus szakirány. Szakdolgozat. Témavezető: Arató Miklós egyetemi docens. Budapest, 2014.

1. Vizsgálat az időtartományban Határozza meg az ábrán vázolt diszkrét idejű hálózat állapotváltozós leírásának normál alakját!

Gondolkodjunk a fizika segı tse ge vel!

4. sz. Füzet. A hibafa számszerű kiértékelése 2002.

Modern Fizika Laboratórium Fizika BSc 18. Granuláris anyagok

MATEMATIKA ÉRETTSÉGI május 9. EMELT SZINT

SZTOCHASZTIKUS MÓDSZEREK

Vektortér. A vektortér elemeit vektornak, a test elemeit skalárnak nevezzük. Ezért a függvény neve skalárral való szorzás (nem művelet).

Dualitás Dualitási tételek Általános LP feladat Komplementáris lazaság 2015/ Szegedi Tudományegyetem Informatikai Tanszékcsoport

MITISZK Miskolc-Térségi Integrált Szakképző Központ

MATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Mikrohullámok vizsgálata. x o

Középszintű érettségi feladatsorok és megoldásaik Összeállította: Pataki János; dátum: november. I. rész

Természetes számok: a legegyszerűbb halmazok elemeinek. halmazokat alkothatunk, ezek elemszámai természetes 3+2=5

Determinisztikus folyamatok. Kun Ferenc

5. gyakorlat. Lineáris leképezések. Tekintsük azt a valós függvényt, amely minden számhoz hozzárendeli az ötszörösét!

Soukup Dániel, Matematikus Bsc III. év cím: Témavezető: Szentmiklóssy Zoltán, egyetemi adjunktus

4. Laplace transzformáció és alkalmazása

MATEMATIKA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Bevezetés a lineáris programozásba

15. LINEÁRIS EGYENLETRENDSZEREK

MATEMATIKA ÍRÁSBELI ÉRETTSÉGI-FELVÉTELI FELADATOK május 19. du. JAVÍTÁSI ÚTMUTATÓ

1.1. Gyökök és hatványozás Hatványozás Gyökök Azonosságok Egyenlőtlenségek... 3

Differenciaegyenletek

Miskolci Egyetem GÉPÉSZMÉRNÖKI ÉS INFORMATIKAI KAR. Analízis I. példatár. (kidolgozott megoldásokkal) elektronikus feladatgyűjtemény

Félévi időbeosztás (nagyjából) házi feladat beadási határidőkkel (pontosan) Valószínűségszámítás 2. matematikusoknak és fizikusoknak, 2009 tavasz

9. modul Szinusz- és koszinusztétel. Készítette: Csákvári Ágnes

Valószínűségszámítás és statisztika. István Fazekas

Az analízis néhány közgazdaságtani alkalmazása

Mesterséges intelligencia, 7. előadás október 13. Készítette: Masa Tibor (KPM V.)

Optika feladatok (szemelvények a 333 Furfangos Feladat Fizikából könyvből)

Három dimenziós barlangtérkép elkészítésének matematikai problémái

MATEMATIKA tankönyvcsaládunkat

Analízis lépésről - lépésre

MATEMATIKA 9. osztály Segédanyag 4 óra/hét

Feladatok és megoldások a 4. hétre

Átírás:

Differenciálegyenletek a hétköznapokban BSc Szakdolgozat Írta: Gondos Réka Matematika BSc, alkalmazott matematikus szakirány Témavezető: Besenyei Ádám adjunktus Alkalmazott Analízis és Számításmatematikai Tanszék Eötvös Loránd Tudományegyetem Természettudományi Kar 212

Tartalomjegyzék Köszönetnyilvánítás 3 Előszó 4 1. A Laplace-transzformált 5 1.1. Alapfogalmak................................... 5 1.2. A transzformált tulajdonságai.......................... 6 1.3. Néhány példa................................... 9 1.4. A transzformált használata........................... 1 2. Követési modell 13 2.1. Sebességszabályozás és a feladat vázolása................... 13 2.2. A követési modell megoldása.......................... 14 2.3. Illusztrálás példán................................ 17 3. A szimultán tanulás 19 3.1. Bevezető...................................... 19 3.2. A használt jelölések............................... 19 3.3. A szabadon tanuló diák............................. 2 3.4. Speciális esetek.................................. 22 3.5. Tanulás külső kényszer hatására......................... 25 4. Rekeszrendszerek 28 4.1. Gyógyszeradagolási modell............................ 28 4.2. Kompartmentek.................................. 31 4.3. Az ólom bejutása a szervezetbe......................... 32 Irodalomjegyzék 36 2

Köszönetnyilvánítás Elsősorban szeretnék köszönetet mondani témavezetőmnek, Besenyei Ádámnak, hogy felkeltette érdeklődésem a téma iránt, ötleteivel segítette munkámat, illetve hogy rendíthetetlenül javította dolgozatomat és felhívta a figyelmemet az esetleges hibákra. Köszönöm barátaimnak, hogy végig ösztönöztük egymást és segítségüket, melyet kisebb felmerülő problémáim esetén nyújtottak. Szeretném még megköszönni tanáraimnak, hogy hozzájárultak matematikai tudásom bővítéséhez az elmúlt három év során végzett munkájukkal. Végül, de nem utolsósorban, köszönöm a családomnak a támogatást és a türelmet, amelyeket egyetemi pályafutásom alatt tanúsítanak irántam. 3

Előszó A dolgozat célja különböző hétköznapi életből vett modellek bemutatása differenciálegyenletek, illetve differenciálegyenlet-rendszerek segítségével. Néhány differenciálegyenlet megoldása nem olyan egyszerű elemi módszerekkel, ezért az 1. fejezetben bevezetjük a Laplace-transzformáció fogalmát és megmutatjuk, hogyan lehet felhasználni differenciálegyenletek megoldására. Bemutatjuk, miként lehet néhány hétköznapi jelenséget leírni differenciálegyenletek segítségével, de fontos megjegyezni, hogy ezzel a felhasználási területeik korántsem merültek ki. Szó lesz a későbbiekben egy egyszerű autó követési modellről, majd a szimultán tanulás egy modelljéről, végül beszélünk még rekeszrendszerekről és azok néhány alkalmazási területéről. A Laplace-transzformáltról szóló fejezetben bevezetjük először az alapfüggvény fogalmát, majd definiáljuk a Laplace-transzformáció és egyfajta egységugrásfüggvény fogalmát. Megnézzük hogyan viselkednek az alapfüggvények deriváltjai, integrálfüggvénye és konvolúciója. Kiszámoljuk néhány elemi függvény Laplace-transzformáltját, majd kitérünk arra, hogy mire és hogyan érdemes használni a Laplace-transzformációt. A 2. fejezetben vázolunk egy követési modellt, melyben két autó egymáshoz viszonyított helyzetét vizsgáljuk, mikor a második autó sebessége az első sebességétől függ. Egy késleltetett differenciálegyenletet írunk fel a második autó sebességére, amit kétféle módszerrel oldunk meg: Laplace-transzformációval, illetve elemi számolás után megsejtjük, majd bizonyítjuk sejtésünket. A modellt megnézzük pontos értékekre is, és ábrázoljuk az eredményt. Megvizsgáljuk, hogy adott intervallumon történik-e ütközés, és ha igen, akkor az intervallum melyik pontján. A szimultán tanulás egy kvalitatív matematikai modelljét a 3. fejezetben tárgyaljuk. A jelölések bevezetése után foglalkozunk a szabadon tanuló diák esetével, és arra jutunk majd általánosságban, hogy ekkor a diák egy bizonyos idő elteltével már állandó intenzitással tanulja a tárgyakat. Ezt mutatják a bemutatott speciális esetek is. Ezután azt is megnézzük, mi történik, ha a tanuló valamilyen külső kényszernek, ellenőrzésnek van kitéve. Azt fogjuk tapasztalni, hogy a túl gyakori ellenőrzés olyan, mintha nem is történne ellenőrzés. Az utolsó fejezet egy gyógyszeradagolási példán keresztül bevezeti a rekeszrendszerek fogalmát. A gyógyszeradagolási problémánál azt vizsgáljuk, hogy miként jut az ember emésztőtraktusából a vérbe az antihisztamin, majd ürül ki onnan. A rekeszrendszereken belül is leginkább a lineáris kompartment modellekkel foglalkozunk majd, amelyekből nézünk lineáris kaszkád, illetve nem kaszkád esetet is. Utóbbinál az érdekel minket, hogy hogyan hat a környezetből származó ólom az emberi szervezetre; ezt egy háromrekeszes modellen keresztül követjük nyomon és illusztráljuk néhány ábrával. 4

1. fejezet A Laplace-transzformált A fejezet célja a Laplace-transzformált és tulajdonságainak bemutatása, melyek ismerete elengedhetetlen a 2. fejezetben leírtak megértéséhez. Megtudjuk, hogyan alkalmazzuk a transzformációt differenciálegyenletekre, illetve kezdetiérték-problémákra. 1.1. Alapfogalmak A Laplace-transzformált fogalmának bevezetése előtt szükségünk van a következő definícióra. 1.1. Definíció. Az f : R C függvényt alapfüggvénynek nevezzük, ha (i) f(t) = (t R ); (ii) f a [, + ) intervallum minden véges részintervallumán integrálható; (iii) léteznek M f, α f nemnegatív valós számok, melyekkel: f(t) M f e α f t (t [, + )). 1.2. Állítás. Az alapfüggvények vektorteret alkotnak. Bizonyítás. Legyen f és g két alapfüggvény. Megmutatjuk, hogy ekkor f + g és cf (c C) is alapfüggvény. Az (i) feltétel triviálisan teljesül rájuk és azt is tudjuk, hogy integrálható függvények összege és konstansszorosa is integrálható. Lássuk most a korlátosságot! Legyen t [, + ) tetszőleges, ekkor illetve (f + g)(t) f(t) + g(t) M f e α f t + M g e αgt max{m f, M g }e max{α f,α g}t, (cf)(t) c f(t) c M f e α f, ahol M f, M g, α f, α g az f-re és g-re vonatkozó a (iii) feltételből adódó megfelelő konstansok. Most már minden a rendelkezésünkre áll a Laplace-transzformált fogalmának bevezetéséhez. 1.3. Definíció. Legyen f alapfüggvény. Ekkor f Laplace-transzformáltjának nevezzük az L[f] függvényt, ahol τ (1.1) L[f](s) = e st f(t)dt = lim e st f(t)dt (s C, Re(s) > α f ). τ 5

1.4. Megjegyzés. A definíció értelmes, azaz létezik az integrál és véges, ugyanis: e st f(t)dt e st f(t) dt e Re(s)t M f e α f t (1.2) = M f e (Re(s) α f )t 1 dt = M f <. Re(s) α f ha Re(s) > α f. 1.5. Megjegyzés. Bár nem teljesen precíz, sokszor fogjuk használni azt a jelölést, hogy L[f(t)]; ezalatt az L[t f(t)] függvényt értjük. 1.6. Tétel. A Laplace-transzformáció az alapfüggvények vektorterén lineáris leképezés, valamint L[f](s) =, ha f alapfüggvény. lim Re(s) + Bizonyítás. Tegyük fel, hogy f és g alapfüggvény, illetve hogy valamely s -ra létezik L[f](s) és L[g](s), ha Re(s) > s ; továbbá legyen λ, µ C. Ekkor L[λf + µg](s) = = λ e st (λf(t) + µg(t))dt e st f(t)dt + µ A második fele a tételnek következik az (1.2) összefüggésből. 1.2. A transzformált tulajdonságai e st g(t)dt = λl[f](s) + µl[g](s). 1.7. Tétel (A deriváltak Laplace-transzformáltja). Legyen N N és tegyük fel, hogy az y alapfüggvény N-szer folytonosan differenciálható, amelynek deriváltjai korlátosak a [, + ) intervallumon. Ekkor y (N) is alapfüggvény, és (1.3) L[y (N) ](s) = s N L[y](s) s N 1 y() s N 2 y ()... y (N 1) (). Bizonyítás. Az adott feltételek mellett y,..., y (N) alapfüggvények, hiszen tetszőleges k (k = 1,..., N) esetén a (iii) feltételben választhatók az α y (k) =, M y (k) = max y (k) konstansok. Az (1.3) összefüggést teljes indukcióval bizonyítjuk. Alkalmazzuk a parciális integrálás szabályát N = 1 esetén: [ ] L[y ](s) = e st y (t)dt = e st y(t) (e st ) y(t)dt t= = lim t e st y(t) e s y() + s e st y(t)dt = y() + sl[y](s). A teljes indukció szerint most tegyük fel, hogy N-re már tudjuk az állítást és lássuk be (N + 1)-re; felhasználva az N = 1 esetet: L[y (N+1) ](s) =L[(y (N) ) ](s) = sl[y (N) ](s) y (N) () =s { s N L[y](s) s N 1 y() s N 2 y ()... y (N 1) () } y (N) () =s N+1 L[y](s) s N y() s N 1 y ()... sy (N 1) () y (N) (). 6

1.8. Definíció. Az a-ba eltolt egységugrásfüggvénynek nevezzük az alábbi Step(t, a)-val jelölt függvényt: { 1, ha t a, Step(t, a) =, ha t < a. 1.9. Megjegyzés. Az egységugrásfüggvényt szokás Heaviside-függvénynek is nevezni, és legtöbbször más függvények be-, illetve kikapcsolására használjuk. Például az e t [Step(t, 1) Step(t, 2)] az 1-nél kapcsolja be az e t függvényt és 2-nél kapcsolja ki. 1.1. Tétel (Eltolási tétel a transzformáltra). Legyen f alapfüggvény. Ekkor e at f(t) (a R) is alapfüggvény és (1.4) (1.5) (1.6) L[e at f(t)](s) = L[f](s a) (Re(s) > α f + a), L[f(t a)step(t, a)](s) = e as L[f(t)](s), a (Re(s) > α f ), L[f(t)Step(t, a)](s) = e as L[f(t + a)](s), a (Re(s) > α f ). 1.11. Megjegyzés. Az (1.5) és az (1.6) azonosságoknál az a < eset érdektelen, hiszen beszorozva egy alapfüggvényt egy ilyen Step(t, a) függvénnyel önmaga marad, mert az alapfüggvény negatív t értékekre, pozitív értékekre pedig Step(t, a) = 1. Bizonyítás. Az e at f(t) alapfüggvény, hiszen az 1.1. Definíció első két tulajdonsága triviálisan teljesül, ha f alapfüggvény, valamint e at f(t) e at M f e α f t = M f e (a+α f )t. Az (1.4) összefüggés könnyen látható a definícióból: illetve L[e at f(t)](s) = e st e at f(t)dt = e (s a)t f(t)dt = L[f](s a), e (s a)t f(t)dt e (s a)t f(t) dt e (Re(s) a)t M f e α f t dt, ami miatt szükséges a Re(s) > α f + a feltétel. Az (1.5) összefüggés bizonyításához használjuk fel, hogy Step(t, a) =, ha t < a és 1, ha t a, és alkalmazzuk a t = x + a helyettesítést. Ekkor L[f(t a)step(t, a)] = = e st f(t a)step(t, a)dt = a e st f(t a)dt e s(x+a) f(x)dx = e as e sx f(x)dx = e as L[f]. Az előző összefüggésbe g(t) = f(t a)-t helyettesítve, g-re megkapjuk az (1.6) azonosságot is. Érdemes megjegyezni a Laplace-transzformáció kapcsán bár nem használjuk a későbbi fejezetekben az alábbiakat. 1.12. Tétel (Az integrálfüggvény Laplace-transzformáltja). Legyen f alapfüggvény. Ekkor az integrálfüggvénye is alapfüggvény, és [ ] L f (s) = 1 s L[f](s), (Re(s) > α f ). 7

Bizonyítás. Tegyük fel, hogy f(t) Me α f t, ha t. Ekkor, ha α f =, akkor Másrészt, α f esetén t f Mt Met. t f M e α f t, α f azaz az integrálfüggvény is alapfüggvény. Most alkalmazva a parciális integrálás tételét kapjuk, hogy [ ] L f (s) = = + 1 s t e st f(u)dudt = [ ] e st f(t) t= e st f(t)dt = 1 s L[f](s), Re(s) > α f. e st s f(t) 1.13. Definíció. Tegyük fel, hogy f, g : [, + ) C, amelyekre az t f(u)g(t u)du integrál létezik, minden t esetén. Ekkor az f és g függvények konvolúciójának nevezzük a következő függvényt t esetén pedig legyen. (f g)(t) := t f(u)g(t u)du, (t ), 1.14. Tétel. Tegyük fel, hogy létezik f g, illetve f h, és legyen k C. Ekkor igazak a következők: (i) g f létezik és g f = f g (kommutativitás). (ii) f kg létezik és f kg = k(f g). (iii) f (g + h) is létezik és f (g + h) = f g + f h (linearitás). Bizonyítás. Triviálisan megkaphatók a konvolúció definíciójából. 1.15. Tétel (Konvolúció-tétel). Legyen f és g alapfüggvény. Ekkor létezik a konvolúciójuk és az alapfüggvény, illetve teljesül az alábbi: L[f g] = L[f]L[g]. Bizonyítás. Az f g függvény alapfüggvény, ugyanis az 1.1. Definíció (i) tulajdonsága triviálisan teljesül; az integrálfüggvény folytonos, így integrálható is; illetve a (iii) tulajdonság is igaz, mert t t t f(u)g(t u)du f(u) g(t u) du M f M g e α f u+α g(t u) du = M f M g e αgt t M f M g α f α g e α f t e (α f α g)u du = M f M g e αgt e(α f α g)t 1 α f α g 8

teljesül, ha α f > α g. Ha α f < α g, akkor illetve α f = α g esetén t f(u)g(t u)du M f M g e αgt 1 e(α f α g)t e αgt M f M g, α g α f α g α f Így tehát értelmes a következő: L[f g](s) = = t f(u)g(t u)du M f M g e αgt t M f M g e (αg+1)t. t e st f(u)g(t u)dudt = f(u) = L[f](s)L[g](s). e s(u+r) g(r)drdu = ( f(u) u e su f(u)du ) e st g(t u)dt du e sr g(r)dr 1.3. Néhány példa Számoljuk ki néhány elemi függvény Laplace-transzformáltját! 1.16. Példa. Legyen f(t) = t, t. Ekkor alkalmazva a parciális integrálás tételét: Tehát L[f](s) = 1 s 2. [ L[f](s) = e st tdt = e st ] s t + [ ] = + e st = + 1 s 2. s 2 t= 1.17. Példa. Számítsuk ki a szinusz- és ezáltal a koszinusz-függvény Laplace-transzformáltját! Legyen tehát f(t) = sin bt és g(t) = cos bt (egyszerűség kedvéért vettük ugyanazt a b R-et). Vezessük be még a következő jelöléseket: e st s dt S(s) = L[f(t)](s), C(s) = L[g(t)](s). Ekkor felhasználva a parciális integrálás szabályát (1.7) S(s) = = 1 b s b e st sin btdt = [ e st e st cos btdt = 1 b s b C(s) ] cos bt s e st cos btdt b b teljesül, mert tudjuk, hogy lim t e st =, ha Re(s) > és cos bt (és persze sin bt is) korlátos függvény. Másrészt C(s) = = + s b S(s). e st cos btdt = [ e st ] sin bt + s e st sin btdt b b 9

Visszahelyettesítve az (1.7) egyenletbe adódik, hogy S(s) = 1 b s2 b 2 S(s). Ezt rendezve, majd C(s) helyére is beírva a kapott S(s)-et: b S(s) = b 2 + s 2 s C(s) = b 2 + s 2. 1.4. A transzformált használata Általában a Laplace-transzformáltat nem számoljuk ki definíció szerint, hanem az alábbihoz hasonló táblázatokból olvassuk le a függvények transzformáltjait, illetve ezekből állapítjuk meg, hogy milyen függvényből állítottunk elő egy adott transzformált függvényt. Sokszor szükségünk lehet a parciális törtekre bontásra is, amikor próbáljuk a táblázat használatához megfelelő alakra hozni a transzformáltat. f(t) 1 1 s F (s) = L[f](s) = e st f(t)dt t n n! s n+1, n =, 1, 2,... e at 1 s a e at e bt a b (s a)(s b) t n eat n!, n =, 1, 2,... (s a) n+1 Step(t, a) e as s e at f(t) L[f](s a) f(t a)step(t, a) sin bt cos bt sinh bt cosh bt e as F (s) b s 2 +b 2 s s 2 +b 2 b s 2 b 2 s s 2 b 2 1.1. táblázat. Fontosabb függvények Laplace-transzformáltja 1.18. Definíció. Legyen α R. Ekkor az {s C : Re(s) > α} s F (s) C függvény inverz Laplace-transzformáltjának nevezzük és L 1 (F )-fel jelöljük azt a Laplacetranszformálható alapfüggvényt, amelynek transzformáltja F. 1

1.19. Példa. A Laplace-transzformáció segítségével oldjuk meg a következő kezdetiértékproblémát! (1.8) y (t) 6y (t) + 12y (t) 8y(t) = t 3 e 2t y() = 1, y () = 1, y () = 2. A rövidség kedvéért legyen Y (s) := L[y](s). Ekkor a deriváltakról szóló 1.7. Tételt felhasználva: L[y ](s) = s 3 Y (s) s 2 y() sy () y () = s 3 Y (s) s 2 + s + 2 L[y ](s) = s 2 Y (s) sy() y () = s 2 Y (s) s + 1 L[y ](s) = sy (s) y() = sy (s) 1. Az 1.1. táblázat 5. bejegyzéséből adódik, hogy L[t 3 e 2t ](s) = Ezután visszahelyettesítve az (1.8) egyenletbe: 6 (s 2) 4. Y (s) ( s 3 6s 2 + 12s 8 ) s 2 + s(1 + 6) + 2 6 + 12 = amiből rendezés és parciális törtekre bontás után: 6 (s 2) 4, Y (s) = s2 7s + 16 + 6 (s 2) 4 s 3 6s 2 + 12s 8 = (s 2)2 6 3(s 2) + 6 + (s 2) 3 = 1 s 2 3 (s 2) 2 + 6 (s 2) 3 + 6 (s 2) 7. (s 2) 4 Innen megint használva az 1.1. táblázat 5. sorát a visszatranszformáláshoz, kapjuk az ( ) y(t) = e 2t 1 3t + 3t 2 + t6, (y ) 12 megoldást. Megmutatjuk, hogy az 1.2. részben értelmezett konvolúció használható kezdetiértékfeladatok megoldására is. 1.2. Példa. Tegyük fel, hogy f alapfüggvény és tekintsük a következő kezdetiértékproblémát! y (t) + y (t) 6y(t) = f(t), y() =, y () =. Hasonlóan az előző példához, alkalmazzuk a Laplace-transzformációt mindkét oldalra: (s 2 + s 6)L[y] = L[f]. Rendezés és szorzattá alakítás után kapjuk tehát 1 L[y] = L[f] s 2 + s 6 = L[f] 1 (s 2)(s + 3) kifejezést. Használva az 1.1. táblázatot a = 2, b = 3 esetén kapjuk, hogy [ ] L 1 1 = 1 e (s 2)(s + 3) 5( 2t e 3t). 11

Ekkor alkalmazva az 1.15. Tételt a visszatranszformáláshoz, adódik, hogy y(t) = f(t) 1 5 (e2t e 3t ) = 1 5 Ez a formula pedig minden f-re fennáll. t [ f(u) e 2(t u) e 3(t u)] du. Ahogy az előbb is láttuk, arra is jó a konvolúció, hogy megtaláljuk egy függvény inverz Laplace-transzformáltját. 1.21. Példa. Legyen F (s) = 1 s(s 2 +1) ; erre szeretnénk alkalmazni az L 1 -operátort. [ L 1 [F (s)] = L 1 1 s 2 + 1 1 ] [ = L 1 s = t sin u 1du = 1 cos t. 1 s 2 + 1 ] [ ] 1 L 1 s 12

2. fejezet Követési modell Két autó egymás mögül indul el, mikor a lámpa zöldre vált. Hogyan lehet leírni a második autó vezetőjének reakcióját az első autó sebességét figyelembe véve? Történik-e ütközés? Erre keresünk választ a következő fejezetben, melyre egy késleltetett differenciálegyenletet írunk fel, és azt az első fejezetben ismertetett Laplace-transzformáció segítségével is megoldjuk. A fejezet és az ábrák a [2] könyv alapján készültek. 2.1. Sebességszabályozás és a feladat vázolása Két autó áll a piros lámpánál kezdetben. Tegyük fel, hogy a vezetők jól tudnak vezetni. Megfigyeljük, mi történik, amint a lámpa zöldre vált. Lehetséges, hogy a második autó túl gyorsan megy és kis idő elteltével beleütközik az első autóba. Miért lehet ez? Egy vezetőre sokféle inger hat: egy közlekedési lámpa színének változása, az előtte és mögötte haladó autó sebessége; ezekre sokféleképpen reagálhat. Előfordulhat, hogy lassít, gyorsít vagy megáll; de ez egyik esetben sem történik azonnal. A vezetőnek először észlelnie kell ezeket az ingereket és amikor reagált rá, akkor az autónak is szüksége van valamennyi időre a végrehajtáshoz. Most tekintsük az együttes késlekedést az egész autó reakcióidejének. Tehát, ha t időpontban hat egy inger az autóra, akkor az t + T időpontban reagál rá, ahol T > a késleltetési idő. Tegyük fel, hogy most a meghatározó inger a két autó sebessége közti különbség, amit nevezzünk relatív sebességnek. Eszerint reagál a második autó gyorsítással, avagy lassítással. Tegyük fel azt is, hogy ennek mértéke arányos a relatív sebességgel és ezt az arányossági mérőszámot nevezzük az autó érzékenységének. Legyen az x 1 (t), illetve x 2 (t) a két autó helyzete a t időpontban, ahol t-t onnantól mérjük, hogy a lámpa zöldre váltott. Feltehetjük, hogy az első autónak konstans a m/s 2 a gyorsulása, 5 méter hosszú és a két autó közt 2 méter van, így x 1 () = és x 2 () = 7. Így felírhatjuk a következő késleltetett differenciálegyenletet tartalmazó kezdetiértékfeladatot: (2.1) ẋ 1 (t) = v 1 (t), v 1 (t) = a, ẋ 2 (t) = v 2, t, v 2 (t) = λ[v 1 (t T ) v 2 (t T )], t T, x 1 () =, v 1 () =, x 2 () = 7, v 2 (t) =, t T, ahol v 1, v 2 a két autó sebessége és λ a második autó érzékenysége. Olyan x 1, x 2 megoldásokat szeretnék találni, amelyekre valamilyen t esetén teljesül, hogy x 1 (t ) x 2 (t ) = 5; 13

ekkor ütköznek össze az autók. 2.1. Megjegyzés. Azért nevezzük késleltetettnek a differenciálegyenletet, mert v 2 függ v 2 korábbi időpontbeli értékétől is; illetve v 2 -re kezdetiérték függvényünk van, nem csak egy konkrét pontbeli feltétel. 2.2. A követési modell megoldása Oldjuk meg a (2.1) kezdetiérték-problémát, hogy megkapjuk x 1 -et és x 2 -t. Ha megkaptuk őket, akkor eldönthetjük, hogy történik-e ütközés. Az elsőnél könnyű dolgunk van, elég kétszer integrálni és felhasználni az x 1 () = és v 1 () = kezdeti értékeket (vagy fizika tanulmányainkra hivatkozni). Azt kapjuk tehát, hogy (2.2) v 1 (t) = at, t ; x 1 (t) = 1 2 at2, t. A második autó helyzetének meghatározásához integráljunk és használjuk fel, hogy x 2 () = 7: t (2.3) x 2 (t) = 7 + v 2 (s)ds, t. A v 2 sebességet azonban még nem tudjuk. Kétféleképpen is megtalálhatjuk, először nézzük meg Laplace-transzformáció nélkül. Behelyettesítve v 1 (t T ) helyére az a(t T ) szorzatot adódik, hogy v 2 (t) = λ[a(t T ) v 2 (t T )], t T. Ekkor T t 2T esetén a v 2 (t) =, t T kezdeti feltétel miatt integrálás után teljesül a következő: (2.4) v 2 (t) = λa 2 (t T )2 + c 1, ahol c 1 =, ugyanis t helyére T -t helyettesítve látható, hogy csak akkor teljesül a kezdeti feltétel. Hasonlóan, most nézzük meg a v 2 függvényt, ha 2T t 3T! Ekkor T t T 2T, így az előző eredményt felhasználva kapjuk, hogy v 2 (t) = λ[a(t T ) λa 2 (t 2T )2 ], amelyből már integrálással megkapjuk v 2 (t)-t: v 2 (t) = λa 2 (t T )2 λ2 a 6 (t 2T )3 + c 2, ahol most c 2 = a t = 2T helyettesítéssel adódik. Belátjuk, hogy ekkor igaz a következő tétel. 2.2. Tétel. Tetszőleges n 2-re teljesül, hogy n ( 1) k (2.5) v 2 (t) = a λ k 1 (t (k 1)T ) k, ha (n 1)T t nt. k! k=2 14

Bizonyítás. Teljes indukcióval bizonyítunk. A (2.4) azonosságból adódik az n = 2 eset. Tegyük most fel, hogy teljesül n-re, lássuk be (n + 1)-re! Tekintsük tehát a v 2 függvényt az [nt, (n + 1)T ] intervallumon. Tudjuk, hogy a deriváltjára teljesül, hogy v 2 (t) = λ[a(t T ) v 2 (t T )], ekkor (n 1)T t T nt, amelyre viszont teljesül a (2.5) egyenlőség az indukciós feltétel miatt. Visszahelyettesítve adódik, hogy n ( 1) k v 2 (t) = λa(t T ) a λ k (t kt ) k. k! k=2 Integrálás és rendezés után már kapjuk a következőket: v 2 (t) = λa 2 (t T )2 a = λa 2 (t T )2 + a n+1 = a l=2 n k=2 n+1 l=3 ( 1) k (k + 1)! λk (t kt ) k+1 ( 1) l λ l 1 (t (l 1)T ) l l! ( 1) l λ l 1 (t (l 1)T ) l, ha nt t (n + 1)T. l! Visszahelyettesítve a (2.3) egyenletbe, elvégezve az integrálást és átindexelés után kapjuk, hogy x 2 a következő alakban áll elő: n 2 ( 1) k x 2 (t) = 7 + a (k + 3)! λk+1 (t (k + 1)T ) k+3, ha (n 1)T t nt. k= 2.3. Megjegyzés. Az 1.8. Definícióban szereplő Step-függvényt használva x 2 -re adódik, hogy ( 1) k x 2 (t) = 7 + a (k + 3)! λk+1 (t (k + 1)T ) k+3 Step(t, (k + 1)T ). k= Most keressük meg v 2 -t a Laplace-transzformációt használva! A (2.1) rendszerből, a (2.2) egyenletből, valamint az 1.16. Példából és a Laplace-transzformált linearitásából kapjuk: L[v 1 (t)](s) = L[ẋ 1 (t)](s) = L[at](s) = a s 2, L[ v 2 (t)] = λ(l[v 1 (t T )] L[v 2 (t T )]), t T. Továbbá, mivel tudjuk, hogy v 2 (t) =, amennyiben t T, akkor v 2 (t) = is teljesül; illetve az (1.5) azonosságot és a deriváltakról szóló 1.7. Tételt felhasználva adódik, hogy (2.6) L[ v 2 (t)] = e T s L[ v 2 (t T )Step(t, T )] = e T s L[ v 2 (t T )] = e T s (sl[v 2 ] v 2 ()) = e T s sl[v 2 ], t T. Ezeket összevetve kapjuk, hogy λ(l[v 1 ] L[v 2 ]) = e T s sl[v 2 ]. 15

Kifejezve ebből L[v 2 ]-t és behelyettesítve L[v 1 ]-et: (2.7) L[v 2 ] = λ λ + se T s L[v 1] = λ λ + se T s a s 2 Ezt a kapott eredményt szeretnénk visszatranszformálni. Ez viszont nem olyan egyszerű, mert a (2.7) összefüggés jobb oldalán álló kifejezés visszatranszformálására nincs zárt λ képletünk. Próbáljuk meg tehát átírni másmilyen alakba! Ha kiemeljük a -t, akkor se T s kapjuk, hogy L[v 2 ] = λ [ se T s 1 1 + λ/(se T s ) a ] s 2. 1 Most, ha átírjuk -et felhasználva a geometriai sor képletét és, hogy ha s elég nagy, 1+λ/se T s akkor < 1, akkor a sor konvergens: λ se T s L[v 2 ] = λe T s a s [ e T s = aλ s 3 [ s 2 1 λ se T s + λe 2T s s 4 λ2 s 2 e 2T s + λ2 e 3T s s 5 ] λ3 s 3 e 3T s +... λ3 e 4T s s 6 +... Erre pedig már alkalmazhatjuk L 1 -et (amiről tudjuk, hogy lineáris) és az 1.1. táblázatot, amiből: [ v 2 (t) = aλl 1 e T s 1 s 3 λe 2T s 1 s 4 + λ2 e 3T s 1 s 5 λ3 e 4T s 1 ] s 6 +... (2.8) = aλ[ 1 2 (t T )2 Step(t, T ) λ 6 (t 2T )3 Step(t, 2T ) + λ 2 ] 24 (t 3T )4 Step(t, 3T ) λ3 12 (t 4T )5 Step(t, 4T ) +.... Legvégül, visszahelyettesítve a (2.3) egyenletbe és -tól t-ig integrálva v 2 -t: x 2 (t) = 7 + aλ[ 1 6 (t T )3 Step(t, T ) λ 24 (t 2T )4 Step(t, 2T ) λ 2 ] 12 (t 3T )5 Step(t, 3T ) λ3 72 (t 4T )6 Step(t, 4T ) +... ( 1) k λ k = 7 + aλ (k + 3)! (t (k + 1)T )k+3 Step(t, (k + 1)T ). k= Vegyük észre, hogy ez ugyanaz a megoldás, amit teljes indukcióval láttunk be! Egy könnyen használható képletet kaptunk, ugyanis egy rögzített t > -ra nem marad sok tagunk, mert az egységugrásfüggvények rendre kikapcsolják őket. Így tehát felírva a kezdő pár intervallumra a második autó helyzetét: ]. (2.9) x 2 (t) = 7, t T, 7 + aλ 6 (t T )3, T t 2T, 7 + aλ 6 (t T )3 aλ2 24 (t 2T )4, 2T t 3T,. 16

2.3. Illusztrálás példán Tegyük fel, hogy az első autó gyorsulása konstans a = 2m/s 2, ekkor x 1 (t) = at 2 /2 = t 2, így a (2.9) eredményből: t 2 + 7, t T, x 1 (t) x 2 (t) = t 2 + 7 λ 3 (t T )3, T t 2T, t 2 + 7 λ 3 (t T )3 + λ2 12 (t 2T )4, 2T t 3T, csak t 3T -re tekintve a különbséget. Azt szeretnénk megnézni, hogy mikor történhet ütközés. Azaz milyen t -ra teljesül, hogy x 1 (t ) x 2 (t ) = 5. Ez nyilván nem történhet a [, T ] intervallumban, viszont alkalmas λ-val és T -vel a [T, 2T ]-n igen. A biztos ütközéshez ebben az időintervallumban a következőre van szükség: Átrendezve: x 1 (2T ) x 2 (2T ) = 4T 2 + 7 λ 3 T 3 5. (2.1) λt 12 + 6 T 2. Látható, hogy tényleg λ-tól és T -től függ az ütközés. Az úgynevezett ütközési tartomány a λt = 12 + 6 T 2 függvény feletti rész, amiben, ha van egy (T, λt ) pontunk, akkor az ütközés megtörténik a [T, 2T ] intervallumban. Ezt illusztrálja a következő ábra is. Most nézzük meg, mi a helyzet, ha megadunk pontos értékeket a T késleltetési időre és a λ érzékenységre! Legyen például T = 5, λ = 3. 17

Ekkor például az (5, 15) pont az ütközési tartományban van, ugyanis kielégíti a (2.1) egyenlőtlenséget, vagyis a t ütközés pillanata valahol a [5, 1] időintervallumban van. Ebből a másik ábrából látszik is, hogy az ütközés a 9. és 1. másodperc között történik meg: Ezekből a példákból láthatjuk, hogy meglepő módon ugyanolyan reakcióidő, de magasabb érzékenység esetén esélyesebb az ütközés. Ez azért történhet, mert az ingerekre való reakció nem azonnal történik, hanem a bizonyos T késleltetési idő elteltével, ekkor azonban már meg is változhatott az állapot, amire reagált a vezető. Így, ha kisebb az érzékenység, kisebb valószínűséggel történhet meg, hogy egy - már nem létező - ingerre válaszol a második autós, mondjuk intenzívebb gyorsítással. 18

3. fejezet A szimultán tanulás E fejezet célja a szimultán tanulás azaz, amikor a diák több tantárgyat tanul egy időintervallumon keresztül leírása egy egyszerű dinamikai modellel. Meglátjuk majd, hogy több tárgy tanulása esetén nagyobb intenzitást érhetünk el. Vizsgáljuk azt, hogy mi történik, ha a diák szabadon tanul rendszeres ellenőrzés nélkül, illetve mikor bizonyos időközönként történik ellenőrzés. Megnézünk néhány speciális esetet is. A fejezet a [3] cikk alapján készült. 3.1. Bevezető A fejezetben bemutatunk egy matematikai modellt, amelyben egy diák huzamosabb ideig, egyszerre több tárgyat tanul. A megtanult anyagmennyiséget fogjuk vizsgálni, mint az idő függvényét, illetve annak a változását. Nem vesszük figyelembe a diák tulajdonságait, azaz, hogy milyen pszichológia folyamatok játszódnak le a tanulás során, tisztán objektív szempontból tekintjük a tanulási folyamatot. Így tehát a diák belső tulajdonságait a diákra jellemző állandóknak vesszük. Legyen most a vizsgált diák egy autonóm, illetve később egy külső kényszernek alávetett dinamikai rendszer. Természetesen ez a rendszer nem írhatja le tökéletesen a diákot, mivel egy dinamikai rendszer sosem lehet egyenlő egy emberrel, ugyanis az összes jellemzőjét nem tudjuk figyelembe venni. A modell lineáris és majd látható, hogy a leglényegesebb kvalitatív jellemzők bemutatására lesz alkalmas. Kvantitatív következtetéseket nemigen vonhatunk le, a modell elméleti úton van konstruálva, így kiindulási alapot nyújtva értelmes kísérletekhez, amelyekből már pontosabb eredményekre is juthatunk. 3.2. A használt jelölések Tegyük fel, hogy a vizsgált diák n 2 tantárgyat tanul hosszabb ideig mondjuk egy féléven, vagy egy tanéven keresztül. A tanulmányok megkezdésének időpontja legyen a t = időpillanat. Ekkor az x = (x 1, x 2,..., x n ) T oszlopvektor jelölje a tudásmennyiség vektort, ahol x i (i = 1,..., n) jelöli a diák tudásmennyiségét az i-edik tárgyban. Ezt a tudásmennyiséget mérhetjük például könyvoldalakban, de számunkra most nem lényeges, hogy milyen mélységű a tudás. Nézhetjük valamely T > esetén a [, T ] időintervallumon (ahol például T jelölheti a vizsgaidőszak kezdetét) vagy akár a [, + ] intervallumon is. Ezután az x(t) függvény deriváltját tekintjük, vagyis jelölje ẋ(t) a tanulás intenzitását, amely a tudásmennyiség időegység alatti megváltozását jelenti. Az időegység lehet egy hét vagy esetleg egy nap, és ezalatt az idő alatt a diák nem csak a tanulással foglalkozik, de feltételezzük, hogy akar tanulni, a tanulásra rendelkezésre álló időt tényleg a tanulásra 19

fordítja. Így az ẋ(t) vektor koordinátafüggvényei vehetnek fel negatív és pozitív értékeket is, mert amikor a diák nem tanul éppen egy tárgyat, akkor felejt (de az is előfordulhat, hogy tanulás közben se mindig pozitív az érték). A későbbiek érdekében vezessük be az y = ẋ jelölést is. Az x(t) függvény második deriváltját is használjuk majd, amit a tudás gyorsulásának nevezünk. Ha tehát az ẍ i (t) pozitív, akkor az i-edik tárgy tanulásának intenzitása nő; ha negatív, akkor csökken. Vezessük be a következő definíciót: 3.1. Definíció. A diák terhelhetőségi vektorának nevezzük és b-vel jelöljük a következő b = (b 1, b 2,..., b n ) T oszlopvektort, ahol b i jelöli a diák terhelhetőségét az i-edik tárgyban. Ez azt jelenti, hogy ha a diák csak az i-edik tárgyat tanulná, akkor ennyi lenne a maximális intenzitás, amelyet elérhet a tárgy tanulása során miközben a többi tárgy tanulásának intenzitása. Feltesszük, hogy ezen b i -k állandók, vagyis a diák a több időegységből álló vizsgálandó időintervallum során nem fárad ki, mivel a nem tanulással töltött időt pihenésre, illetve sportolásra fordítja. Hozzátennénk még azt is, hogy a b i értékek az adott diák képességeitől függnek, a tárgy minél könnyebb a diák számára, annál nagyobb lesz a terhelhetőség, ezek nyilván mind pozitív számok. A terhelhetőséget felhasználva a j-edik tárgy i-edikre vonatkoztatott relatív nehézségi fokát is megnézhetjük, ez könnyen adódik belőlük: b i /b j - vel értelmezzük. Be kell még vezetnünk bizonyos r ij konstansokat is, amik azt jelentik, hogy az i-edik tárgy tanulása után mennyire nem üdítő áttérni a j-edik tárgy tanulására, azaz mennyire hasonlítanak egymásra a tárgyak. Például valószínűségszámítás után statisztikát, vagy differenciálegyenletek után parciális differenciálegyenleteket nem túl üdítő tanulni, viszont lehet, hogy több erőnk lesz még egy kis történelemhez. Emiatt, ha tovább foglalkozunk az i-edik tárggyal egységnyi időn keresztül, az egyáltalán nem üdítő, ezért r ii -t 1-nek vesszük, minden más j-re feltételezzük viszont, hogy < r ij < 1. Nyilvánvaló, hogy r ij = r ji. Ezen adatokból már természetesen adódik a következő fogalom: 3.2. Definíció. Relatív disszipáció mátrixnak nevezzük és A-val jelöljük a következő mátrixot: b 1 r 1 b 12 b2... r 1 1n b n b r 2 b 21 b1 1... r 2 2n b n....,. b r n b n1 b1 r n n2 b2... 1 ahol a mátrix a ij elemei megadják, hogy a j-edik tárgy tanulása milyen mértékben szívja el (disszipálja) a diák terhelhetőségét az i-edik tárgyban, r ij mutatja mennyire nem üdítő áttérni az i-edikről a j-edik tárgyra, míg b i /b j jelöli a j-edik tárgy i-edikre vonatkoztatott relatív nehézségi fokát, ahol b i a diák terhelhetősége az i-edik tárgyban. 3.3. A szabadon tanuló diák Megnézzük, mi történik, hogyha a vizsgált diákra a tanulás folyamata során nem hat külső kényszer, azaz nincs például dolgozatírás vagy kötelező beadandó. Ilyenkor egészen egyszerűen leírhatjuk a diák x(t) tudásmennyiség-vektorát a következő differenciálegyenletrendszerrel, felhasználva a fenti relatív disszipáció mátrixot és a terhelhetőségi vektort: ẍ = b Aẋ. 2

Ezt átírva y(t)-re, amivel az intenzitást jelöltük, kapjuk: (3.1) ẏ = b Ay. Ugyan ez a differenciálegyenlet-rendszer nem tartalmazza magát az x(t) vektort, de y(t)-ből egyszerű integrálást és az x() = kezdeti feltételt (mivel kezdetben minden tárgyban nulla a tudásmennyiség) alkalmazva majd meghatározhatjuk: (3.2) x(t) = t y(s)ds. A (3.1) egy elsőrendű, állandó együtthatós, inhomogén lineáris rendszer, melynek tehát i-edik egyenlete: ẏ i = b i n a ik y k, i = 1, 2,..., n. k=1 Látható, hogy ha a tanulás intenzitása minden k i esetén nulla, azaz y k =, akkor ẏ i = b i y i, vagyis az intenzitás az i-edik tárgyban egészen a b i terhelhetőségig növelhető (ahogy el is várható), különben az intenzitás megváltozása negatívvá válna. Ha a diák a többi tárgyat is tanulja további y k -k pozitívvá válnak, akkor y i nem érheti el b i -t, mert ebben az esetben a jobb oldalból további pozitív tagokat vonunk ki (a ik -k is pozitívak). Oldjuk meg most a (3.1) rendszert! Feltételezhetjük, hogy az A mátrix reguláris, illetve, hogy minden λ i (i = 1, 2,..., n) sajátértéke egyszeres. A hozzájuk tartozó sajátvektorokat rendre jelöljük s 1, s 2,..., s n -nel. Így ( A) sajátértékei: λ 1, λ 2,..., λ n. Az A mátrix hasonló az r ij -kből épített R szimmetrikus mátrixhoz, ugyanis az A mátrixot a 3.2. Definíció értelmében úgy kaphatjuk R-ből, hogy balról szorozzuk egy olyan diagonális mátrixszal, melynek főátlójában a b i értékek állnak, majd ezt jobbról egy olyannal, aminek a főátlójában ezek reciprokai vannak. Ekkor A-t kapjuk, hiszen egy diagonális mátrixszal való jobbról szorzás A oszlopainak a diagonális mátrix megfelelő elemeivel való beszorzását eredményezi, míg a balról szorzás sorokra ugyanezt. Így A-nak minden λ i sajátértéke valós. Triviális, hogy a (3.1) egyenletrendszer egyik megoldása az y(t) = A 1 b konstans függvény. Tudjuk, hogy ekkor az általános megoldás az y(t) = A 1 b + n c k e λkt s k, ahol c 1, c 2,..., c n tetszőleges konstansok. Előbbi y(t) akkor ad viszonylag reális képet a tanulás intenzitásának megváltozásáról a [, + ] intervallumban (vagy ennek hosszabb részintervallumain), ha ott a koordináták korlátosak. Ennek szükséges és elégséges feltétele, hogy a ( A) mátrix minden sajátértékére fennálljon, hogy λ i, i = 1, 2,..., n. Azaz λ i, de tudjuk, hogy A reguláris, így nem lehet a sajátértéke. Ebből adódik, hogy a (3.1) rendszer aszimptotikusan stabilis, mert ( A) minden sajátértéke negatív. Az összes megoldás pedig az A 1 b megoldáshoz tart, ez határozza meg a stacionárius viselkedést a végtelenben: lim t + y(t) = A 1 b. 21 k=1

Ebből tehát levonhatjuk azt a következtetést, hogy ha a diák szabadon tanul, akkor kezdettől fogva, vagy egy bizonyos átmeneti idő elteltével a diák állandó intenzitással tanulja az összes tárgyat. Ezt az állandó intenzitást viszont úgy kell érteni, hogy egy viszonylag hosszabb időegység, például egy hét, alatt állandó. Adódik most már a (3.2) összefüggés alapján, hogy x(t) = A 1 bt. 3.4. Speciális esetek Megnézzük az előző, szabadon tanuló diák modelljének néhány speciális esetét. Mi történik, ha két tárgyat tanul a vizsgált diák, azaz n = 2? Ekkor a (3.1) rendszer így egyszerűsödik, ha használjuk az r = r 12 = r 21 jelölést: ẏ 1 = b 1 y 1 r b 1 b 2 y 2, ẏ 2 = b 2 r b 2 b 1 y 1 y 2. A relatív disszipáció mátrix ellentettje, a ( A) mátrix így néz ki ekkor: Ennek karakterisztikus polinomja ( ) 1 r b 1 b2 r b. 2 b1 1 det( A λi) = det(a + λi) = λ 2 + 2λ + (1 r 2 ). Mindkét sajátérték negatív, hiszen a determináns pozitív, illetve a gyökök szorzata 1 r 2 > (mert < r < 1 teljesül) és az összegük 2. Így aszimptotikusan stabilis rendszert kapunk. Az állandó megoldás pedig az előző 3.3. részből adódóan, illetve alapján következik, hogy A 1 = 1 1 r 2 y(t) = A 1 b = 1 1 + r ( ) 1 r b 1 b2 r b 2 b1 1 ( ) b1 Ebből az látszik, hogy ha a diák két tárgyat szabadon tanul, akkor a terhelhetőségeik felénél nagyobb állandó intenzitású a tanulás. Vizsgáljuk meg most az n = 3 esetet! Tudjuk, hogy r ij = r ji, j i = 1, 2, 3, így most az A mátrix a következőképpen fog kinézni: b 2 b 1 r 1 b 12 b2 r 1 13 b3 b A = r 2 b 12 b1 1 r 2 23 b2. b r 3 b 13 b1 r 3 23 b2 1 A ( A) mátrix karakterisztikus polinomjának vizsgálatához használjuk fel a következő tanulmányainkból jól ismert tételt.. 22

3.3. Tétel (Routh-Hurwitz-kritérium). Legyen N N, a, a 1,..., a N 1 R, és tekintsük a p(x) := x N + a N 1 x N 1 + + a 1 x + a polinomot. A p polinom minden gyökének valós része pontosan akkor negatív, ha az (N N)-es mátrix bal oldali sarokaldeterminánsai pozitívak. a N 1 1...... a N 3 a N 2 a N 1 1............................ a a 1 a 2............ a a a N 1, N 1 1 a N 3 a N 2,... A karakterisztikus polinom a következő alakban áll elő: (3.3) det( A λi) = det(a + λi) = λ 3 + 3λ 2 + Bλ + det A, ahol B és det A így néznek ki: B = 3 (r 2 12 + r 2 23 + r 2 13), det A = 1 + 2r 12 r 23 r 13 (r 2 12 + r 2 23 + r 2 13). Ekkor a 3.3. Tételben szereplő polinom most a (3.3) egyenletben lévő, tehát a tételbeli mátrix most így néz ki: 3 1 det A B 3. det A Ebből tudjuk, hogy pontosan akkor teljesül a stabilitás (azaz negatívak a sajátértékek), ha igaz, hogy (3.4) 3B det A >, illetve (det A)(3B det A) >. A (3.4) egyenlőtlenség automatikusan teljesül, hiszen < r ij < 1 miatt 3B det A = 8 2(r 2 12 + r 2 23 + r 2 13) 2r 12 r 23 r 13 > 8 2 3 2 =. Tehát a rendszer akkor és csak akkor aszimptotikusan stabilis, ha det A >. Innen már számolás után adódik, hogy az állandó megoldás az y = A 1 b = 1 b 1 (1 r23 2 + r13r 23 + r 12 r 23 r 12 r 13 ) b 2 (1 r13 2 det A + r 23r 13 + r 12 r 13 r 12 r 23 ) b 3 (1 r12 2 + r 23r 12 + r 13 r 12 r 13 r 23 ) vektor. Ha r 12 = r 23 = r 13 = r, akkor a stabilitási feltétel így egyszerűsödik: 2r 3 3r 2 + 1 = (r 1) 2 (2r + 1) >, 23

ami nyilván teljesül, ha < r < 1. Ekkor a megoldás a következő: y = A 1 b = 1 b 1 b 2. 2r + 1 b 3 Ez hasonlóan az előző esethez azt jelenti, hogy ha a diák három tárgyat tanul szabadon, akkor a tanulás állandó intenzitása a tárgyak terhelhetőségeinek harmadánál nagyobb. Ilyenkor viszont van egy kétszeres sajátérték, ez azonban nem baj, a következő eset kapcsán meglátjuk, miért. Utolsó speciális esetként vizsgáljuk meg, ha tetszőleges n darab tárgy van, viszont igaz, hogy r ij = r, i j = 1, 2,..., n; azaz bármely tárgyról áttérni bármely másikra ugyanannyira nem üdítő. Most az A mátrix ilyen alakú lesz: 1 r b 1 b2 r b 1 b3... r b 1 b n r b 2 b1 1 r b 2 b3... r b 2 b n A = r b 3 b1 r b 3 b2 1... r b 3 b n,....... r bn b 3... 1 r bn b 1 r bn b 2 a karakterisztikus polinomja pedig, ha 1 helyére b i /b i -t írunk (i = 1,..., n) és a determináns i-edik sorából b i -t, i-edik oszlopából 1/b i -t emelünk ki, akkor a b 1 b 1 λ r b 1 b2... r b 1 b n r b 2 b 2 det(a λi) = b1 b2 λ... r b 2 b n...... r bn b 1 r bn b 2... bn b n λ 1 λ r... r = b 1b 2... b n r 1 λ... r b 1 b 2... b. n..... r r... 1 λ alakba írható. Vonjuk ki az első sort az összes többi sorból, majd adjuk hozzá az összes többi oszlopot az első oszlophoz! Ekkor a 1 λ r r... r r 1 + λ 1 r λ... det(a λi) = r 1 + λ 1 r λ.......... r 1 + λ... 1 r λ 1 + (n 1)r λ r... r 1 r λ... =......... 1 r λ felső háromszögmátrixot kapjuk, amelyből már adódnak a sajátértékek: λ 1 = 1 r, λ 2 = 1 + (n 1)r, 24

ahol λ 1 (n 1)-szeres, λ 2 egyszeres sajátértékek. Mindkettő pozitív, ha < r < 1 teljesül, tehát a (3.1) rendszer most is aszimptotikusan stabilis. Azonban ekkor nem teljesül azon feltevésünk, hogy minden sajátérték egyszeres. Ha viszont az r ij értékek egy kicsit eltérnek egymástól, akkor is aszimptotikusan stabilis marad a rendszer, mert a sajátértékek a mátrix elemeinek folytonos függvényei. Így a feltevésünk továbbra is fennállhat. Arra viszont figyelni kell, hogy -hoz, illetve 1-hez közeli sajátértékek ne forduljanak elő, mert ekkor a stabilitás megszűnhet. 3.5. Tanulás külső kényszer hatására Külső kényszer alatt periodikus külső kényszert fogunk érteni, azaz szabályos időközönként történnek ellenőrzések, amelyek a diák számára negatív vagy pozitív következményekkel járnak. Vagyis a diáknak az ellenőrzés miatt érdekében áll, hogy növelje a tanulás intenzitását. Ez a kényszer lehet házi vagy zárthelyi dolgozat, esetleg feleltetés. Általánosságban igaz az is, hogy a diák ezen ellenőrzés után leereszt, csökkenti a tanulás intenzitását. Tehát a periodikus külső kényszer hathat negatívan és pozitívan is a diák teljesítményére, amit úgy adhatunk meg, ha egy periodikus tagot (mely bármely valós értéket felvehet) adunk hozzá a (3.1) egyenlet jobb oldalához. Legyen ez a T > periódusú t-től függő p függvény, azaz p(t + T ) = p(t). Ekkor így alakul a (3.1) differenciálegyenlet-rendszer: (3.5) ẏ(t) = b Ay + p(t). Itt feltételeztük, hogy minden tárgyban T periódus szerint történik ellenőrzés. Az egyszerűség kedvéért tegyük fel, hogy p szinuszfüggény. Vezessük most be a következő jelöléseket: m i, az i-edik tárgyban gyakorolt kényszer amplitúdója ϕ i, az i-edik tárgyban gyakorolt kényszer kezdőfázisa ω = 2π T, a szögsebesség. Ekkor a periodikus tag i-edik koordinátája a következőképpen fog kinézni: p i (t) = m i sin(ωt + ϕ i ), i = 1, 2,..., n. A ϕ i kezdőfázisok megadják, hogy a különböző tárgyakban az ellenőrzés mennyire van elcsúsztatva az időben. Az m i amplitúdók pedig függnek a kényszer fent említett előnyös vagy hátrányos következményeitől, illetve attól, hogy a diák hogyan reagál erre az egyes tárgyak esetén. Ezek szerint kapjuk a (3.5) rendszer i-edik koordinátáját: (3.6) n ẏ i = b i a ij y j + m i sin(ωt + ϕ i ), i = 1, 2,..., n. j=1 Bebizonyítjuk a következő állítást: 3.4. Állítás. Tegyük fel, hogy a ( A) mátrix aszimptotikusan stabilis, azaz minden sajátértéke negatív. Ekkor a (3.5) rendszernek a fenti módon definiálva p-t létezik T periódusú megoldása, amely z(t) = A 1 b + ψ(t) alakú, ahol a ψ(t) függvény i-edik koordinátája a következő módon adható meg: alkalmas c i és δ i konstansokkal. ψ i (t) = c i sin(ωt + δ i ), i = 1, 2,..., n, 25

Bizonyítás. Azt szeretnénk belátni, hogy léteznek olyan c i, δ i konstansok, melyekkel igaz a fenti állítás. Ha ezt a z-t behelyettesítjük a (3.6) kifejezéssel definiált rendszerbe, akkor kapjuk, hogy ψ(t) = A(A 1 b + ψ(t)) + b + p(t), azaz ψ(t) = Aψ(t) + p(t). Ez azt jelenti az i-edik koordinátára nézve, hogy n ωc i cos(ωt + δ i ) = a ij c j sin(ωt + δ j ) + m i sin(ωt + ϕ i ). j=1 Most használjuk az addíciós tételeket: ωc i cos δ i cos ωt ωc i sin δ i sin ωt n ( = a ij c j sin ωt cos δj + sin δ j cos ωt ) ( + m i sin ωt cos ϕi + sin ϕ i cos ωt ) = j=1 ( m i sin ϕ i n j=1 ) ( a ij c j sin δ j cos ωt + m i cos ϕ i Ebből pedig i = 1, 2,..., n esetén: n ωc i cos δ i = m i sin ϕ i a ij c j sin δ j, j=1 (3.7) n ωc i sin δ i = m i cos ϕ i a ij c j cos δ j. j=1 n ) a ij c j cos δ j sin ωt. j=1 Az áttekinthetőség kedvéért vezessük be a következő jelöléseket az alábbi oszlopvektorokra: (3.8) c (k) = (c 1 cos δ 1, c 2 cos δ 2,..., c n cos δ n ) T, c (s) = (c 1 sin δ 1, c 2 sin δ 2,..., c n sin δ n ) T, m (k) = (m 1 cos ϕ 1, m 2 cos ϕ 2,..., m n cos ϕ n ) T, m (s) = (m 1 sin ϕ 1, m 2 sin ϕ 2,..., m n sin ϕ n ) T. Most a (3.7) kifejezésekbe behelyettesítve az előző jelöléseket: ωc (k) = m (s) Ac (s), ωc (s) = m (k) Ac (k). Szorozzuk meg a második egyenletet ( i)-vel és adjuk hozzá az első egyenlethez! Ekkor ω(c (k) + ic (s) ) = m (s) im (k) + A(ic (k) c (s) ) = ia(c (k) + ic (s) ) i(m (k) + im (s) ). Ezt átrendezve kapjuk, hogy (A + iωi)(c (k) + ic (s) ) = m (k) + im (s). Feltettük, hogy ( A) aszimptotikusan stabilis, azaz minden sajátértéke negatív, így iω nem sajátértéke ( A)-nak, tehát az A + iωi mátrix reguláris; képezhetjük az inverzét: (3.9) c (k) + c (s) = (A + iωi) 1 (m (k) + im (s) ). Az m (k) és m (s) vektorokat ismerjük, így az előbbi egyenlőségbe helyettesítve megkaphatjuk a c (k) és c (s) vektorokat, amelyekből pedig már meghatározhatjuk az ismeretlen c i amplitúdókat és δ i kezdőfázisokat. 26

3.5. Megjegyzés. A c i értékek választhatók nemnegatívnak is, hiszen ha valamelyik c i negatív a (3.8) vektorokban, akkor δ i helyett (δ i + π)-t választva c i helyett ( c i )-t kell írnunk. 3.6. Megjegyzés. Nemcsak, hogy létezik az előbbi z megoldás, hanem minden megoldás is így fog viselkedni hosszú távon és ugyanezzel a periódussal fog rendelkezni. Speciális esetként vizsgáljuk az n = 2 esetnek azon variációját, amikor az első tárgyat szabadon, míg a másodikat külső kényszer hatása alatt tanulja a diák. Befolyásolja-e a második tárgyban alkalmazott külső kényszer az első tárgy tanulását? Ha igen, akkor hogyan? Ha az m 2 = m >, illetve ϕ 2 = ϕ jelölést használjuk és tudjuk, hogy m 1 =, akkor a rendszer így alakul: Felhasználva, hogy illetve ẏ 1 = b 1 y 1 r b 1 b 2 y 2, a (3.9) összefüggés a következő alakú lesz: ahol mivel Ezt megoldva kapjuk, hogy ẏ 2 = b 2 r b 2 b 1 y 2 + m sin(ωt + ϕ). ( ) c1 e iδ 1 c 2 e iδ 2 c (k) + ic (s) = ce iδ, m (s) + im (k) = me iϕ, ( ) = (A + iωi) 1 me iϕ, ( ) (A + iωi) 1 1 1 + iω r b 1 = b2 1 r 2 ω 2 + 2iω r b, 2 b1 1 + iω A + iωi = c 1 e iδ 1 = amelyből abszolút értéket véve kapjuk, hogy c 1 = ( 1 + iω r b 1 b2 1 + iω r b 2 b1 ) r b 1 b2 me iϕ 1 r 2 ω 2 + 2iω, rm (ω 4 + 2(1 + r 2 )ω 2 + (1 r 2 ) 2 ) 1/2 b 1 b 2. A kapott c 1 azt mutatja, hogy a szabadon tanulásnál vizsgált n = 2 esetben az első 1 tárgy intenzitása mekkora amplitúdóval rezeg az 1+r b 1 érték körül. Ez tehát a második tárgyban gyakorolt periodikus kényszer zavaró hatása az első tárgy tanulására. A kapott összefüggésből látható, hogy c 1 egyenesen arányos b 1 b2 -vel és a második tárgyban gyakorolt kényszer erősségével. Azt is láthatjuk továbbá, hogy ha a második tárgyban az ellenőrzések gyakorisága nő (azaz ω nő), akkor c 1 csökken. Ebből az következik, hogy a túl gyakori ellenőrzés már olyan, mintha nem is történne ellenőrzés.. 27

4. fejezet Rekeszrendszerek A következő fejezetben ismertetjük a rekeszrendszerek (vagy kompartment modellek) felépítését, illetve néhány példán keresztül bemutatjuk felhasználási lehetőségüket. Az itt ismertetett modellek és a használt ábrák a [2] könyv modelljeit és ábráit veszik alapul. Egy hasonló a vérkeringésbe jutó gyógyszer koncentrációjának változását követő probléma tárgyalása olvasható a [4] könyvben. 4.1. Gyógyszeradagolási modell A kompartment modelleket sok területen alkalmazhatjuk: például a kémiában, amikor anyagok egymásba átalakulását vizsgáljuk, vagy amikor valamilyen anyag élő szervezetbe jutását követjük nyomon. Emellett még alkalmazható a populációdinamikában is, mikor egyedek vándorlását figyeljük meg adott területek között. Ezeknél az egyes állapotok a kompartmentek vagy rekeszek. A következő modellen keresztül előkészítjük a rekeszrendszer definícióját. Megfázás esetén a legtöbben beveszünk valamilyen gyógyszert, hogy enyhítsük a tüneteket. Ez a gyógyszer esetünkben az antihisztamin lesz, aminek végigkövetjük az útját a test két rekeszén át. Azt figyeljük meg, hogy egy bizonyos dózis az emésztőrendszerből miként jut a vérbe, ahol igazából kifejti a hatását, majd tűnik el onnan is az idő múlásával. Tegyük fel, hogy kezdetben az emésztőtraktusban A egység antihisztamin van. Jelölje x(t), illetve y(t), hogy mennyi gyógyszer marad az emésztőtraktusban, illetve mennyi a gyógyszer mennyisége a vérben t idő elteltével. Az időt órákban mérjük. A gyógyszer folyamatosan jut a vérbe, illetve tűnik el onnan a vesék és a máj munkájával. Feltételezzük, hogy a vizsgálat ideje alatt nem kerül újabb adag antihisztamin a szervezetbe. Így a gyógyszer mennyisége a rekeszekben leírható a következő differenciálegyenlet-rendszerrel, ugyanis a gyógyszer mennyiségének változása arányos a még meglévő mennyiséggel: (4.1) (4.2) ẋ(t) = k 1 x(t), x() = A, ẏ(t) = k 1 x(t) k 2 y(t), y() =. Ezt a rendszert könnyen meg tudjuk oldani. Először tekintsük a (4.1) feladatot; szorozzuk be az egyenlet mindkét oldalát e k 1t -vel és integráljunk, majd használjuk az x() = A kezdeti feltételt. Ekkor az x megoldás a következő alakot veszi fel: x(t) = Ae k 1t. Helyettesítsük vissza x-et a (4.2) összefüggésbe, hogy megkapjuk y-t. Így y-ra az ẏ(t) + k 2 y(t) = k 1 Ae k 1t 28

differenciálegyenletet nyerjük. Hasonlóan az előzőhöz, szorozzunk be e k 2t -vel, majd integráljunk: ( e k 2 t y ) = k1 Ae (k 2 k 1 )t e k 2t y = k 1A k 2 k 1 e (k 2 k 1 )t + C. Felhasználva az y() = kezdeti feltételt kapjuk, hogy Ebből adódik már az y függvény: y(t) = C = k 1A k 1 k 2. k 1A k 1 k 2 ( e k 2 t e k 1t ). Ebből az látszik, hogy az antihisztamin szintje a vérben elér egy maximumot, majd fokozatosan esik vissza. Végül t esetén eltűnik a gyógyszer az emésztőtraktusból és a vérből is. 4.1. Megjegyzés. Ha k 1 = k 2 teljesül, akkor x(t) ugyanaz marad, y(t)-re pedig igaz lesz, hogy y(t) = k 1 Ate k 1t, ami még mindig -hoz tart, ha t. Vizsgáljuk meg most az eredményeket k 1, illetve k 2 ismeretében! Egy gyógyászati cég becslése alapján értékük az antihisztamin esetében a következő (az adatok a [2] könyvből származnak): (4.3) k 1 =, 6931, k 2 =, 231. Mivel k 2 sokkal kisebb a k 1 értéknél, ezért az antihisztamin hosszabb ideig marad magasabb szinten a vérben, mint az emésztőtraktusban. Ezt mutatja az alábbi ábra is, ha feltételezzük, hogy A = 1. Azonban k 2, azaz a gyógyszer kiürülési sebességének együtthatója, nagyban függhet a gyógyszert bevevő egyén korától és egészségi állapotától. Pontosabban, egy idős és beteg embernek sokkal több idő alatt ürül ki a szervezetéből az antihisztamin. Ábrázoljuk k 2 öt különböző értékére a vérben lévő antihisztamin szintjét egy 24 órás időintervallumon! 29

Látható az ábrából, hogy legkisebb k 2 esetén még 24 óra múltán is nagyon magas az antihisztamin szintje, míg például a legnagyobb értéknél 15 óra elteltével már szinte ki is ürült a szervezetből. Nem mindig elég azonban egy adag gyógyszer a tünetek enyhítésére. Vizsgáljuk most azt az esetet, amikor kezdetben nem konstans mennyiségű antihisztamin van az emésztőtraktusban, hanem, és minden hatodik órában beveszünk egy adagot a gyógyszerből; vagyis a rendszer így módosul, ha a (4.3) értékeket használjuk: (4.4) ẋ(t) = I(t), 6931x(t), x() =, ẏ(t) =, 6931x, 231y(t), y() =, ahol I(t) egy négyzetes hullám, melynek az amplitúdója 12, a periódusa 6 óra, és minden periódus elején fél órára van bekapcsolva azaz minden periódusban 6 egység antihisztamin jut a szervezetbe. Így néz ki tehát: A (4.4) differenciálegyenlet-rendszert numerikusan megoldva az alábbi ábrán szemléltethetjük a megoldásokat. 3

Az ábrából látható, hogy az x(t) mennyiség egyensúlyi állapotba kerül, míg az y(t) mennyiség egyre növekszik. Szeretnénk elérni, hogy a vérben lévő antihisztamin szint éppen a megfelelő szinten legyen; vagyis ne legyen túl magas, mert akkor álmosságot okoz, de annyira alacsony se legyen, hogy már ne hasson. Feltételezzük, hogy a terápiás terület 5 és 4 között van. Megvizsgáljuk három különböző egyénre, különböző k 2 értékekkel a vér antihisztamin szintjét. Mindegyikük tünetei enyhülnek hat órán belül, azonban a legkisebb k 2 értékkel rendelkezőnek a vérében túl sok antihisztamin van, így félő, hogy álmosság tör rá. 4.2. Kompartmentek Az előző példából adódik a rekeszrendszer definíciója. Egy rekeszrendszer véges darab rekeszből áll, melyeket nyilakkal kötünk össze. Egy nyíl mutatja, hogy milyen sebességgel megy egyik kompartmentből egy másikba egy anyag, vagy populáció, vagy milyen sebességgel alakul át egy anyag a másikká. Mindig érvényesül az egyensúlyi törvény, azaz egy rekeszből egy másikba lépő anyag mennyiségének változási sebessége egyenlő a másik rekeszbe belépő anyag mennyiségének változási sebességével. Ha egy nyíl egy rekesz felé nem egy másik felől mutat, akkor az az anyag külső forrása vagy inputja, amelyet általában I-vel jelölünk majd és lehet konstans, vagy t nemnegatív függvénye. Ha egy nyíl kifelé mutat egy rekeszből, de nem egy másik felé, akkor ott elhagyja a rendszert az anyag. 31