Paprastosios DIFERENCIALINĖS LYGTYS prof. Artūras Štikonas Paskaitų kursas Matematikos ir informatikos fakultetas Diferencialinių lgčių ir skaičiavimo matematikos katedra Naugarduko g. 24, LT-3225 Vilnius, Lietuva Vilnius universitetas, 23
AS, 22
TURINYS Lentelių sąrašas Iliustracijų sąrašas Pagrindiniai žmens Pratarmė iv v i i SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos. Diferencialinė lgtis ir jos sprendiniai.................. Diferencialinė lgtis ir jos apibrėžimo sritis.........2. Diferencialinės lgties sprendiniai.............. 5.3. Kreivių šeimos diferencialinė lgtis............. 2 2. Koši uždavins............................ 3 2.. Koši uždavins........................ 4 2.2. Sprendinio egzistavimas ir vienatis............. 5 2.3. Ypatingieji sprendiniai.................... 8 3. Diferencialinių lgčiu sistemos.................... 9 3.. n-osios eilės DL suvedimas į n-osios eilės normaliąją DLS 2 3.2. n-osios eilės normaliosios DLS suvedimas į n-osios eilės DL 2 3.3. Autonominės ir neautonominės DL............. 22 2 SKYRIUS. Tiesinės diferencialinės lgts 23. Tiesinė n-osios eilės diferencialinė lgtis.............. 23.. Tiesinis diferencialinis operatorius............. 24.2. Funkcijų tiesinis priklausomumas ir nepriklausomumas.. 26.3. Tiesinė homogeninė diferencialinė lgtis.......... 27.4. Tiesinė nehomogeninė diferencialinė lgtis......... 3 2. Tiesinė diferencialinė lgtis su pastoviais koeficientais...... 33 2.. Homogeninės diferencialinės lgties su pastoviais koeficientais sprendiniai...................... 33 2.2. Nehomogeninės diferencialinės lgties su pastoviais koeficientais sprendiniai sprendiniai............... 38 3 SKYRIUS. Klasikinės DL ir jų integravimas 39. Pirmosios eilės DL integravimas kvadratūromis.......... 39.. DL, kai žinoma sprendinio išvestinė............ 39
.2. Sprendinio tęsins...................... 4.3. Sprendinio aprėžtumas.................... 43.4. Apverstosios DL integravimas................ 43.5. Sprendinio egzistavimo ir vienaties teorema vienmatei autonominiai lgčiai...................... 46.6. p-procesas ir projektvinė tiesė............... 5 2. Tiesinė homogeninė pirmosios eilės diferencialų lgtis....... 52 2.. Diferencialinės -formos................... 52 2.2. Lgts su atskirtaisiais ir atsiskiriančiais kintamaisiais.. 58 2.3. Integruojantsis daugiklis.................. 6 2.4. σ-procesas ir π-procesas................... 63 2.5. Integruojantsis daugiklis kaip sudėtinė funkcija..... 69 3. Pirmosios eilės tiesinės diferencialinės lgts............ 7 3.. Homogeninė tiesinė diferencialinė lgtis.......... 7 3.2. Homogeninė tiesinė diferencialinė lgtis su periodiniu koeficientu............................ 73 3.3. Nehomogeninė tiesinė diferencialinė lgtis......... 74 4. Bernulio ir Rikačio lgts...................... 78 4.. Bernulio lgtis........................ 78 4.2. Rikačio lgtis......................... 8 5. Aukštesnės eilės lgčių integravimas kvadratūromis........ 83 5.. Lgtis kurioje ra tik ir (n)............... 83 5.2. Lgtis kurioje ra tik (n ) ir (n)............ 85 5.3. Lgtis kurioje ra tik (n 2) ir (n)............ 86 Dalkinė rodklė 88 Vardų rodklė 9 Literatūra 92
Lentelių sąrašas 3. Integruojančiųjų daugiklių µ(z(, )) egzistavimo sąlgos..... 7
Paprastosios Diferencialinės Lgts vi
Iliustracijų sąrašas. DL = ( 2 ) apibrėžimo srits................ 3.2 DL = 2 2 apibrėžimo sritis............... 3.3 DL apibrėžimo sritis ir DL sprendinio grafikas........... 3.4 Integralinė kreivė ir jos projekcijos: sprendinio grafikas = sin ; sprendinio išvestinės grafikas = cos ; fazinė trajektorija 2 + ( ) 2 =................................ 5.5 Kreivę apibrėžiančios funkcijos.................... 6.6 DL = 2 integralinės kreivės................... 8.7 DL = integralinės kreivės, kai >............. 8.8 DL d + d = integralinės kreivės................ 8.9.7 pvz. DL sprendiniai: (a) išreikštinių sprendinių grafikai; (b) neišreikštiniai sprendiniai........................ DL = cos integralinės kreivės.................... Parabolių ir elipsių šeimos...................... 4.2 Koši uždavins pirmos eilės lgčiai.................. 4.3 Koši uždavins antros eilės lgčiai.................. 4.4 Integralinės kreivės tęsins iki kompakto krašto........... 7.5 Neptatęsiamas į dešinę sprendins.................. 7.6 DL = 3 2/3 integralinės kreivės. DL patingasis taškas ir patingasis sprendins......................... 7 2. Tiesinės lgties sprendinių erdvė................... 25 2.2 Homogeninės TDL integralinės kreivės................ 26 2.3 Nehomogeninės TDL integralinės kreivės.............. 26 2.4 Funkcijų tiesinė priklausombė.................... 26 3. Lgties = f() sprendinio = ϕ() elgsena intervale (a; b]: (a) lim b b f(ξ) dξ < + ; (c) f(ξ) dξ = +.. b 4 3.2 Lgties = g() sprendiniai..................... 45 3.3 Lgties = g() stacionarieji sprendiniai.............. 45 3.4 Lgties = g() sprendinio = ϕ() elgsena, kai +.... 45 3.5 Lgties = 3( ) 2/3 sprendiniai................. 45 3.6 Neišreikštinės ( ) 2 = + 4a 2 DL sprendiniai........... 49 3.7 Projektvinės koordinatės....................... 5
3.8 DL integralinės kreivės įvairiose koordinatėse............ 52 3.9 Laužtės apendiksų ir parazitinių ciklų naikinimas vienajungėje. 57 3. Koncentriniių apskritimų šeima.................... 6 3. Srities skaidmas atskiriant kintamuosius.............. 6 3.2 Spindulių šeima............................ 6 3.3 σ-procesas ir Mėbijaus lapas..................... 64 3.4 Integralinės kreivės (parabolių šeima = C 2 ) gautos σ-procesu. Tuo pačiu skaičiumi (C) sunumeruotos atitinkamos integralinės kreivės, C = atitinka = tiesę, C = σ koordinačių pradžią.. 64 3.5 Polinės koordinatės, p-procesas ir pusiau begalinis cilindras.... 68 3.6 Hiperbolių šeima ir jų asimptotės.................. 68 3.7 Spiralių šeima ir jų vaizdai (eksponentės) gauti π-procesu ant cilindro išklotinės........................... 68 3.8 Homogeninės TDL integralinės kreivės................ 72 3.9 Monodromijos operatorius...................... 72 3.2 Nulinio sprendinio stabilumas.................... 72 3.2 Stabilus periodinis sprendins.................... 78 3.22 Bernulio lgties integralinės kreivės................. 78
Pagrindiniai žmens, įrodmo pradžia ir pabaiga apibrėžimo, pastabos, išvados pabaiga := priskirimo, apibrėžimo žmuo tapatumo žmuo, išdavos sekimo žmuo ( išplaukia ), implikacija ekvivalentiškumo žmuo ( būtina ir pakankama arba tada ir tik tada ) bendrumo kvantorius ( kiekvienas ) egzistavimo kvantorius ( egzistuoja )! egzistavimo ir vienaties kvantorius ( egzistuoja vienintelis ) N {,,2, } natūraliųjų skaičių aibė Z {,-2,-,,,2, } sveikųjų skaičių aibė R realiųjų skaičių aibė R t, R, R realiųjų skaičių t-ašis, -ašis, -ašis C kompleksinių skaičių aibė X ra aibės X elementas, priklauso aibei X X Y aibių sankirta X Y aibių sąjunga X Y aibių Dekarto sąjunga didėjimo žmuo mažėjimo žmuo iškilumas aukštn iškilumas žemn R n erdvės R n elementas v vektorius, A vektorius-stulpelis, matrica C toldžiųjų funkcijų klasė C k toldžiai k-kartų diferencijuojamųjų funkcijų klasė C glodžiųjų funkcijų klasė D( ) (atvaizdžio, lgties) apibrėžimo sritis D( ) (atvaizdžio, lgties) apibrėžimo sritis R( ) (atvaizdžio) reikšmių sritis
skrius Paprastosios diferencialinės lgts ir jų sistemos Šiame skriuje susipažinsime su paprastosiomis diferencialinėmis lgtimis ir jų sprendiniais. Suformuluosime pradinį uždavinį. Nagrinėsime diferencialinių lgčių sistemas ir jų ršį su aukštesniosios eilės diferencialine lgtimi.. Diferencialinė lgtis ir jos sprendiniai? Matematikoje funkcija f vadinamas atvaizdis f : R n R, o f(,..., n) žmima funkcijos reikšmė taške (,..., n) R n, tačiau dažnai patogu taip žmėti ir pačią funkciją, kai reikia nurodti jos argumentus. Laiksime, kad visos nagrinėjamos funkcijos ra toldžios savo argumentų atžvilgiu, t.. f C(D), čia D ra sritis. Sritimi vadinama atviroji ir jungioji aibė. Jeigu D ra atviroji aibė, tuomet kiekvienas tos aibės taškas ra vidinis. Realiųjų skaičių tiesėje R jungiosios aibės ra intervalai (a; b), [a; b), (a; b], [a; b], a, b R. Srits ra tik atvirieji intervalai I = (a; b), ( ; b), (a; + ) ir pati tiesė R = ( ; + ). Žmėsime R = [ ; + ], R + = (; + ), R = ( ; ). Sąvoka glodžioji funkcija nėra vienareikšmiškai apibrėžta matematinėje literatūroje. Smooth function (angl.), glatte funktion (vok.) atitinka klasę C, гладкая функция arba непрерывно дифференцируемая функция (rus.) atitinka klasę C. Šiame konspekte glodžąja funkcija vadinsime C klasės funkciją, o toldžiai diferencijuojamas funkcijas atitinka C klasė.? Funkcijos = f() išvestinės gali būti žmimos:,,, (n), f (), f (), f (n) d (), d, d n, ẏ, ÿ. dn Tašku virš kintamojo dažniausiai žmėsime funkcijos = (t) išvestines pagal kintamąjį t, kurio prasmė dažnai ra laikas, žmėsime ẋ := d dt, ẍ := d2 dt 2, (n) = dn dt n... Diferencialinė lgtis ir jos apibrėžimo sritis Tarkime, kad funkcija F (,, p,..., p n ) ra tolžiai diferencijuojama ir būtinai priklauso nuo argumento p n.. apibrėžimas [Paprastoji diferencialinė lgtis]. Paprastąja diferencialine lgtimi (PDL) vadinama lgbė F (,,,..., (n) ) =, (.) kurioje ra nepriklausomas kintamasis, () ieškoma (nežinoma) funkcija.
. Diferencialinė lgtis ir jos sprendiniai 2. ppavzds [Paprastosios diferencialinės lgts]. PDL pavzdžiai: = sin, + e =, e + =..2 ppavzds [Diferencialinės dalinių išvestinių lgts]. Lgts u u =, v t = 2 v + 2 v 2 2 nėra PDL, nes į jas įeina ieškomų funkcijų u(, ) ir v(t,, ) dalinės išvestinės. PDL uždaviniuose ieškoma nežinoma vieno kintamojo funkcija, tuo tarpu diferencialinėse dalinių išvestinių lgtse ieškoma kelių kintamųjų funkcija. Kadangi šiame kurse nagrinėsime tik PDL, todėl trumpai jas vadinsime diferencialinėmis lgtimis (DL)..2 apibrėžimas [DL eilė]. Diferencialinės lgties eile vadinama auksčiausios išvestinės eilė diferencialinėje lgtje..3 ppavzds [DL eilė]. DL F (,,,..., (n) ) = ra n-osios eilės, o DL F (,, ) = ra pirmosios eilės.. pavzdje pateiktos pirmosios, trečiosios ir antrosios eilės DL.? Jeigu lgtis (nebūtinai DL) F (,, p,..., p n) = (.2) aprašoma toldžiai diferencijuojama funkcija F ir taške (,, p,..., p n ) išpildta sąlga F ( p,, p n,..., p n ), (.3) tuomet (remdamiesi neišreikštinės funkcijos teorema) (.2) lgtį galima išspręsti p n atžvilgiu taško (,, p,..., p n ) aplinkoje: p n = f(,, p,..., p n ), (.4) čia f ra toldžiai diferencijuojama kintamųjų (,, p,..., p n ) funkcija. DL, užrašta (.) pavidalu, vadinama neišreikštine diferencialine lgtimi.. pavzdje antroji ir trečioji lgts ra neišreikštinės DL. Pastebėsime, kad trečioji lgtis ra iš esmės neišreikštinė, nes negalima išreikšti jokia elementariąja funkcija. Pirmoji lgtis ra pavzds lgties, kurioje išvestinė ra išreikšta kaip kintamųjų ir funkcija. Neišreikštinės (.) DL apibrėžimo sritis ra sritis D F R n+2, kurioje funkcija F (,, p,..., p n ) ra toldi kintamųjų (,, p,..., p n ) atžvilgiu. Jeigu D F nėra jungioji aibė, tuomet nagrinėsime DL kiekvienoje jungumo aibėje atskirai, t.. laiksime, kad ta pati lgbė apibrėžia keletą DL..4 ppavzds [DL apibrėžimo sritis]. DL ( ) 2 + + 2 = apibrėžimo sritis ra D F = R + R R..5 ppavzds [Kelios DL]. Lgtis + = apibrėžia dvi DL, kurių apibrėžimo srits ra D F = R + R + R ir D 2 F = R R R.
3 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] D D 2 f (,( )) = tg D f D f - A a b B. pav. DL = ( 2 ) apibrėžimo srits..2 pav. DL = 2 2 apibrėžimo sritis..3 pav. DL apibrėžimo sritis ir DL sprendinio grafikas..6 ppavzds. DL = ( 2 ) (.5) dešinioji pusė turi prasmę ir ra toldi, kai [ ; ] ir [; + ] (žiūrėk. pav.)..3 apibrėžimas [DL kanoninis pavidalas]. DL ra užrašta kanoniniu pavidalu, jei lgtis išspręsta aukščiausiosios eilės išvestinės atžvilgiu: (n) = f(,,,..., (n ) ). (.6).7 ppavzds [DL kanoninis pavidalas]. DL + e = kanoninis pavidalas ra = + e +. Akivaizdu, kad (.6) DL, užraštos kanoniniu pavidalu, apibrėžimo sritis ra D F = D f R, čia D f ra sritis, kurioje ra apibrėžta ir toldi funkcija f(,,,..., (n ) ). Sritis D f vadinama išreikštinės DL apibrėžimo sritimi.. uždavins. Nustatkite.6 pavzdje apibrėžtų DL apibrėžimo sritis..8 ppavzds [DL apibrėžimo sritis]. DL = 2 2 dešinioji pusė apibrėžta uždarame skritulje {(, ): 2 + 2 }, o DL apibrėžimo sritis D f ra vienetinis atvirasis skrituls {(, ): 2 + 2 < } su centru koordinačių pradžioje (žiūrėk.2 pav.): D f = {(, ): 2 + 2 < }. Pirmosios eilės DL kanoninis pavidalas dar vadinamas normaliuoju. = f(, ) (.7).4 apibrėžimas [pirmosios eilės DL simetrinis pavidalas]. Jeigu v, w C(D), sritis D R 2 ir v(, ) + w(, ), tuomet lgtis v(, ) d + w(, ) d = (.8) vadinama tiesine homogenine pirmosios eilės diferencialų lgtimi.
. Diferencialinė lgtis ir jos sprendiniai 4 Jeigu w(, ), tuomet (.8) DL ra ekvivalenti (.7) lgčiai d v(, ) = = f(, ) (.9) d w(, ) taško (, ) aplinkoje D f. Jeigu v(, ), tuomet (.8) DL ra ekvivalenti lgčiai := d d = w(, ) v(, ) = g(, ) (.) taško (, ) aplinkoje D g. Pastaroji DL lgtis dar vadinama apverstąja lgtimi. Lgbė (.8) vadinama DL simetriniu pavidalu..2 uždavins. Užraškite DL = / simetrinį pavidalą ir apverstąją DL.? Jeigu pirmosios eilės DL lgtis užrašta neišreikštiniu pavidalu, tai DL ir ją atitinkanti apverstoji DL užrašomos F (,, ) = ir F (,, ) =, atitinkamai. Kiekvieną antrosios eilės DL galima užrašti pavidalu F (,,, (+( ) 2 ) 3/2 ) =. (.) Paskutinio argumento išraiška (.) lgties kairėje pusėje atitinka kreivės (, ()) kreivį. Šią DL atitinka apverstoji DL F (,,, (+( ) 2 ) 3/2 ) =. (.2) Jeigu duota kreivės parametrizacija ((t), (t)), tuomet jos kreivio formulė ra Aukštesnės eilės DL apverstosios DL pavidalas ra dar sudėtingesnis. ẋÿ ẍẏ (ẋ 2 +ẏ 2 ) 3/2..3 uždavins. Užraškite DL ( ) 2/3 ( ) 2 = apverstąją DL..9 ppavzds. DL e + = (žiūrėk. pavzds, trečioji lgtis) ir jos negalima užrašti kanoniniu pavidalu su elementariąja funkcija f, tačiau ši DL parametrizuojama = ϕ(t) := e t + t, = ψ(t) := t, t.. pastarosios funkcijos ϕ ir ψ paverčia lgtį e + = tapatbe e ψ(t) + ψ(t) ϕ(t) ir rank (ϕ (t), ψ (t)) = rank (e t +, ) =, t R.? Bendruoju atveju n-osios eilės DL parametrizuotasis pavidalas ra: = ϕ(t, t 2,..., t n+ ), = ϕ (t, t 2,..., t n+ ), = ϕ (t, t 2,..., t n+ ),... (n) = ϕ n(t, t 2,..., t n+ ). Laiksime, kad šios parametrizacijos Jakobio matricos rank J = n + ir ϕ, ϕ,..., ϕ n C (D ϕ), D ϕ sritis R n+. Sritį D ϕ vadinsime n-osios eilės DL, užraštos parametrizuotuoju pavidalu, apibrėžimo sritimi. Jeigu parametrizuotojo pavidalo funkcijos ϕ, ϕ,...,ϕ n paverčia (.) DL tapatbe F ( ϕ(t), ϕ (t),..., ϕ n(t) ), tuomet turėsime (.) DL parametrizaciją. Carl Gustav Jacob Jacobi (84-85) vokiečiu matematikas.
5 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] ( ( ), ( ))= (sin,cos ) ( )=sin ( )=cos 2 2 + ( ) =.4 pav. Integralinė kreivė ir jos projekcijos: sprendinio grafikas = sin ; sprendinio išvestinės grafikas = cos ; fazinė trajektorija 2 + ( ) 2 =. Nagrinėtame.9 pavzdje = e t + t, = s, = u, = t, D ϕ = R 3 = R t R s R u, tačiau kintamieji s, u lgties e + = parametrizacijoje nenaudojami.. ppavzds [DL parametrizuotasis pavidalas]. DL e + + + 2 = parametrizuojama = s, = e t+u + t + s 2, = u, = t, D ϕ = R 3 = R t R s R u..2. Diferencialinės lgties sprendiniai.5 apibrėžimas [DL sprendins]. Toldžiai diferencijuojama funkcija ϕ C n, vadinama DL sprendiniu, jeigu ją įstatę į DL gauname tapatbę. Apibrėždami sprendinį laiksime, kad intervalas I ra atvirasis, t.. I = (a; b).. ppavzds. DL ( ) 2 = neturi sprendinių, o ( ) 2 + 2 = turi vienintelį sprendinį..2 ppavzds. DL = visi sprendiniai užrašomi funkcijų šeima priklausančia nuo vieno parametro C: ϕ() = + C, C R..6 apibrėžimas [DL integralinė kreivė]. Diferencialinės lgties (.6) integraline kreive vadinsime vektorinės funkcijos ((), (),..., (n ) ()), atitinkančios sprendinį (), I, grafiką. Integralinės kreivės projekciją į erdvę (,,..., (n ) ) vadinsime fazine kreive. Fazinė kreivė, kuri turi orentaciją, t.. judėjimo kreive krptį, kai auga, vadinama fazine trajektorija. Fazinė kreivė, atitinkanti sprendinį const, sudarta iš vieno taško. Tokiai fazinei kreivei orentacija neapibrėžta.
. Diferencialinė lgtis ir jos sprendiniai 6 I t t t I (, ) =( t t ) = ( ) = ( ), I 2 z z=, C.5 pav. Kreivę apibrėžiančios funkcijos. Integralinė kreivė ra C klasės (vektorinė) funkcija..3 ppavzds. Funkcija = sin ra DL = sprendins. Integralinė kreivė (, sin, cos ), R, priklauso trimatei erdvei D f = R R R (žiūrėk.4 pav.). Integralinės kreivės projekcijos: sprendinio grafikas = sin ; sprendinio išvestinės grafikas = cos ; trajektorija 2 + ( ) 2 =. Funkcija = e ra DL = sprendins. Integralinė kreivė (, e ), R, priklauso dvimatei erdvei D f = R R ir ra funkcijos = e grafikas. Daugumoje vadovėlių integraline kreive vadinamas aukštesnių eilių diferencialinių lgčių sprendinio grafikas. Mes apibrėžėme tokioms lgtims integralinę kreivę kitaip. Pagal apibrėžimą integralinė kreivė priklauso lgties apibrėžimo sričiai D f. Sprendinio grafikas gaunamas kaip integralinės kreivės projekcija į dvimatę plokštumą (, ). Diferencialinė lgtis bus išspręsta, jei rasime visus jos sprendinius. DL sprendinių radimą vadinsime DL integravimu. Kiekviena n-osios eilės DL nusako bendrą geometrinę sprendinius apibrėžiančių kreivių sąvbę. Pirmosios eilės DL F (,, ) = apibrėžia koordinačių, ir sprendinio grafiko liestinės polinkio sąršį. Pirmosios eilės DL sprendinio grafikas ra integralinė kreivė. Pavzdžiui, išreikštinės DL integralinės kreivės liestinės kampo su ašimi tangentas kiekviename taške lgus DL dešiniosios pusės reikšmei tame taške (žiūrėk.3 pav.). Antrosios eilės DL apibrėžia koordinačių, sprendinio grafiko liestinės polinkio ir kreivio sąršį (žiūrėk(.)).? Vienetinis apskritimas plokštumoje R 2 su centru koordinačių pradžioje aprašomas (globaliai) neišreikštine toldžiai diferencijuojama funkcija Ψ(, ) := 2 + 2 =. Pusplokštumėje > šio apskritimo dalį galime aprašti toldžiai diferencijuojama funkcija = 2, ( ; ), o pusplokštumėje < funkcija = 2, ( ; ). Tačiau jokia išreikštine funkcija = ψ() negalime aprašti šio apskritimo taškų ( ; ) ir (; ) aplinkoje. Tiesa, šių taškų aplinkoje apskritimas aprašomas funkcijomis
7 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] = 2, ( ; ) ir = 2, ( ; ), atitinkamai. Mes pasirinkome atviruosius intervalus, kad nekiltų klausimų dėl funkcijų toldumo ir diferencijamumo apibrėžimų. Beje, funkcija = 2, pvz. taške =, ra tik toldi iš kairės ir šiame taške neegzistuoja net vienpusė išvestinė. Vienetinį apskritimą galima aprašti parametrizuotuoju pavidalu (, ) = (cos t, sin t), t (; 2π) arba t ( π; π). Pastebėsime, kad šio vienetinio apskritimo atveju, galima globalioji parametrizacija t [; 2π], nes abi funkcijos = cos t ir = sin t ra apibrėžtos t R ir ra periodinės su periodu 2π. Bendruoju atveju globaliosios parametrizacijos gali ir nebūti. Jeigu funkcija Ψ C (G), čia sritis G R 2, (, ) G, ir Ψ(, ) (, ) (čia gradientas Ψ = ( Ψ, Ψ )), tuomet egzistuoja taško (, ) aplinka, kurioje funkcija Ψ apibrėžia kreivę, ir ją galima aprašti trimis būdais (žiūrėk.5 pav.): ) neišreikštine toldžiai diferencijuojama funkcija Ψ : R 2 R, tiksliau lgbe Ψ(, ) = Ψ(, ) = C; 2) išreikštine toldžiai diferencijuojama funkcija ψ : I R (arba funkcija = ψ (), ψ C (I ), arba funkcija = ψ (), ψ C (I )); 3) toldžiai diferencijuojama funkcija (ψ, ϕ): I t R 2, t.. parametrizuotuoju pavidalu (, ) = (ψ(t), ϕ(t)), ψ, ϕ C (I t), ψ (t ) + ϕ (t ) =, (, ) = (ψ(t ), ϕ(t )). Įrodmas remiasi neišreikštinės funkcijos teorema. Kita vertus, kreivę, apraštą funkcija = ψ (), galima užrašti neišreištiniu pavidalu Ψ(, ) := ψ () =, ir Ψ =. Parametrizuotąją kreivę taško (, ) aplinkoje galima užrašti išreištiniu pavidalu (jei ψ (t ), tai = ϕ(ψ ()), čia ψ žmime atvirkštinę funkciją, o įrodmas vėl remiasi neišreikštinės funkcijos teorema). Vadinasi, kreivę (lokaliai) irgi galime užrašti tiek neišreikštiniu, tiek išreikštiniu, tie parametrizuotuoju pavidalu. Todėl žemiau pateikti sprendinių apibrėžimai tėra to pačio sprendinio skirtingi užrašmo būdai..7 apibrėžimas [Išreikštinis DL sprendins]. Funkciją = ϕ(), I R, vadinsime (.) DL išreikštiniu sprendiniu, jei ) ϕ C n (I); 2) (, ϕ(), ϕ (),..., ϕ (n) () ) D F, I; 3) F (, ϕ(), ϕ (),..., ϕ (n) () )..4 ppavzds [Pirmosios eilės DL sprendins]. DL = 2 apibrėžta visoje plokštumoje, t.. D f = R 2. Funkcija = ra šios DL sprendins intervaluose ( ; ) ir (; + ), nes kai, tai funkcija = C ir ( ) = ( 2 )2. Taške = sprendins neapibrėžtas, nes jame funkcijos = reikšmė neapibrėžta (žiūrėk.6 pav.). Todėl funkcija = apibrėžia du sprendinius: vieną intervale R, kitą R+. Šių sprendinių integralinės kreivės ra hiperbolės šakos..4 uždavins. Koks DL = 2 sprendins apibrėžtas visoje R?.8 apibrėžimas [Parametrizuotasis DL sprendins]. Dvi funkcijas = ψ(t), = ϕ(t), t I R t (.3) vadinsime (.) DL parametrizuotuoju sprendiniu, jei
. Diferencialinė lgtis ir jos sprendiniai 8 -.6 pav. DL = 2 integralinės kreivės..7 pav. DL = integralinės kreivės, kai >..8 pav. DL d + d = integralinės kreivės. ) ψ, ϕ C n (I), ψ ; 2) (ψ(t), ϕ(t), dϕ(t) dψ(t),..., 3) F (ψ(t), ϕ(t), dϕ(t) dψ(t),..., d dϕ(t) dψ(t) (... ( dψ(t) ))) D F, t I; d dψ(t) dϕ(t) (... ( dψ(t) )))..5 ppavzds [DL parametrizuotieji sprendiniai]. Sritje > DL = parametrizuotieji sprendiniai ra (žiūrėk.7 pav.) = C cos t, = C sin t, t (; π), C >, nes ψ(t; C) = C cos t C (; π), ψ = C cos t = C sin t, ϕ(t; C) = C sin t C (; π), ir d(c sin t) d(c cos t) = C cos t C sin t C cos t C sin t.? Jeigu = (t), = (t), ir ẋ = d, tuomet dt = d d = ẏ ẋ,.5 uždavins. Raskite išraišką. = d2 d 2 = d d ( ẏ ) = ẋ ẋ d dt ( ẏ ) ÿẋ ẏẍ = ẋ ẋ 3. (.4) Jei sprendins užraštas neišreiktiniu pavidalu Ψ(, ) =, tai ne visada galima iš šio sąršio išreikšti (ir net ) elementariosiomis funkcijomis. Pavzdžiui, e + =..6 uždavins. Ar galima sprendinį, užraštą formule e + + + =, išreikšti elementariąją funkcija..9 apibrėžimas [Neišreikštinis DL sprendins]. Sąršis Φ(, ) =, vadinamas DL neišreikštiniu sprendiniu, jeigu jis apibrėžia DL sprendinį = φ() arba apverstosios DL sprendinį = ψ(). Nagrinėdami DL, visada ieškosime net tik sprendinių = φ(), bet ir apverstosios DL sprendinių = ψ().
9 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] Pirmosios eilės DL, užraštai simetriniu pavidalu, funkcija Φ(, ) apibrėžia neišreikštinį sprendinį Φ(, ) =, jei teisinga tapatbė Φ(, ) w(, ) Φ(, ) v(, ). Kanoninio pavidalo (.9) atveju neišreikštinį sprendinį apibrėžia tapatbė dφ Φ(,) := + Φ(,) f(, ), d o kanoninio pavidalo (.) atveju neišreikštinį sprendinį apibrėžia tapatbė dφ d Φ(,) := g(, ) + Φ(,)..7 uždavins. Parodkite, kad lgbė e + + + = apibrėžia DL = neišreikštinį sprendinį..8 uždavins. Užraškite DL, kurios neišreikštinis sprendins ra e + =..6 ppavzds [DL neišreikštinis sprendins]. Funkcija Φ(, ) = 2 + 2 C 2, C > apibrėžia DL d = neišreikštinius sprendinius d 2 + 2 C 2 = sritje R 2 {(, )}, nes dφ = 2 + 2( dφ ), kai, ir = d d 2( ) + 2, kai (šiuo atveju sprendžiame apverstąją DL d = ). Integralinės kreivės (apskritimai) pavaizduotos.7 pav. d Taške (, ) DL neapibrėžta..7 ppavzds [Antrosios eilės DL sprendiniai]. Nagrinėkime antrosios eilės DL ( ) 2/3 ( ) 2 =, kurios apibrėžimo sritis ra D F = R 4. Funkcija ϕ(; C, C 2) = C 2 + ( C ) 2 ra šios DL sprendins intervale I = (C ; C + ): ϕ(; C, C 2) C 2 (I), ϕ C (; C, C 2) = ( ( C ) 2 ), /2 ϕ (; C, C 2) = ( ( C ) 2 ), 3/2 ir teisinga tapatbė ( ) 2/3 ( ( ( C ) 2 ) 3/2 C ( ( C ) 2 ) /2 ) 2. Kadangi ϕ(; C, C 2) = C 2 + ( C ) 2 ra DL sprendins su bet kokiomis C ir C 2 reikšmėmis, todėl gauname sprendinių šeimą (aibę) priklausančią nuo dviejų parametrų. Pastebėsime, kad funkcija ϕ(; C, C 2) = C 2 ( C ) 2 taip pat ra sprendins su bet kokiomis C ir C 2 reikšmėmis. Tai dar viena sprendinių šeima. DL sprendinių grafikai pavaizduoti.8 pav. Parametrizuotieji sprendiniai ra (, ) = (C + cos t, C 2 + sin t), t I = (; π) arba t I = ( π; )
. Diferencialinė lgtis ir jos sprendiniai ( C, C 2 ) - - - (a) (b).9 pav..7 pvz. DL sprendiniai: (a) išreikštiniu sprendiniu grafikai; (b) neišreikštiniai sprendiniai.. pav. DL = cos integralinės kreivės. nes ψ = C + cos t, ϕ = C 2 + sin t C (I), ψ = sin t, kai t π,, π. Pasinaudodami (.4) formulėmis, randame = cos t sin t, = sin 3 t. Istatę šias išraiškas į DL, gauname tapatbę ( ) 2/3 ( cos t ) 2. + sin 3 t sin t Nagrinėjami parametrizuotieji sprendiniai atitinka išreikštinius sprendinius = C 2 + ( C ) 2 ir = C 2 ( C ) 2. Lgbė Φ(, ; C, C 2) ( C ) 2 + ( C 2) 2 = apibrėžia DL ( ) 2/3 ( ) 2 = neišreikštinius sprendinius. Jei C 2, tuomet = 2( C2), ir galime užrašti sprendinių išreikštinius pavidalus Φ = C 2 ± ( C ) 2, (C ; C + ). Perraškime DL pavidalu (.) ( ) 2/3 =. ( + ( ) 2 ) 3/2 Tada neišreikštinis apverstosios DL (žiūrėk (.2)) pavidalas ra ( ) 2/3 =, ( + ( ) 2 ) 3/2 ši DL ekvivalenti duotajai DL. Vadinasi, neišreikštiniai DL sprendiniai ra visi plokštumos vienetiniai apskritimai (žiūrėk.9(b) pav.). Dažniausiai DL lgtis turi begalo daug sprendinių, ir jie sudaro sprendinių šeimas, priklausančias nuo keleto konstantų..8 ppavzds [DL sprendiniai]. Lgties = sprendiniai ra = C ch + C 2sh su C, C 2 R. Šie sprendiniai sudaro kreivių šeimą, priklausančią nuo dviejų konstantų C, C 2.
SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] Konstantos C,..., C n, įeinančios į DL sprendinio išraišką, vadinamos laisvosiomis. Šios konstantos gali įgti bet kokias reikšmes, o kartais ir begalines reikšmes, t.. ±.. apibrėžimas [Bendrasis DL sprendins]. Bendruoju n-osios eilės DL sprendiniu vadinsime DL sprendinių šeimą = ϕ(; C,..., C n ), priklausančią nuo laisvųjų konstantų C,..., C n, ir pasižminčia savbe, kad sistema = ϕ(; C,..., C n ), = ϕ (; C,..., C n ), (.5)... (n ) = ϕ (n ) (; C,..., C n ) ra vienareikšmiškai išspendžiama laisvųjų konstantų atžvilgiu: C = ψ (,,..., (n ) ),... (.6) C n = ψ n (,,..., (n ) ). Bendrasis sprendins gali būti užraštas parametrizuotu pavidalu arba neišreikštiniu pavidalu = ϕ(t; C,..., C n ), = ψ(t; C,..., C n ), (.7) Ψ(, ; C,..., C n ) =. (.8) Pastaruoju atveju, sprendinių šeima dar vadinama bendruoju integralu. Iš bendrojo sprendinio (bendrojo integralo), imdami konkrečias C,..., C n reikšmes, gauname atskirąjį sprendinį (atskirąjį integralą)..9 ppavzds. Funkcija = sin + C ra DL = cos bendrasis sprendins, o = sin, = sin 2, = sin + atskirieji sprendiniai (žiūrėk. pav.)..2 ppavzds. DL ( ) 2/3 ( ) 2 = sprendiniais ra dvi bendrųjų (išreikštinių) sprendinių šeimos: = C 2+ ( C ) 2 ir = C 2 ( C ) 2. Pavzdžiui, pirmosios šeimos atveju, sistema = C 2 + ( C ) 2, C = ( C) 2 ra vienareikšmiškai išspendžiama laisvųjų konstantų atžvilgiu: C = + + ( ) 2, C2 = + ( ) 2. Abi šias sprendinių šeimas galima apibrėžti vienu bendruoju integralu ( C ) 2 + ( C 2) 2 =, C, C 2 R, kuris taip pat aprašo ir bendruosius sprendinius = C + ( C 2) 2 ir = C ( C 2) 2 apverstajai DL.
. Diferencialinė lgtis ir jos sprendiniai 2.9 uždavins. Nustatkite DL eilę ir patikrinkite, ar duotoji funkcija (funkcijos) apibrėžia sprendinį: a) + 9 =, = C cos(3) + C 2 sin(3); b), 5 =, = Ce /2 2; c) = 2, e 2 = C; d) =, = Cch t, = Csh t; e) = + sin, = 3 sin + C; 6 f) = e 2, = e ξ2 dξ + C.. uždavins. Patikrinkite, ar.9 uždavinio sprendiniai apibrėžia bendruosius sprendinius arba integralus..3. Kreivių šeimos diferencialinė lgtis Jeigu spręsdami n-eilės DL radome jos bendrąjį sprendinį (integralą), tuomet turime kreivių šeimą, priklausančią nuo n laisvųjų konstantų. Pabandkime spręsti atvirkštinį uždavinį. Sakkime, duota kreivių šeima, apibrėžta lgtimi Ψ(, ; C,..., C n ) =. Sudarome sistemą Ψ (, ; C,..., C n ) Ψ(, ; C,..., C n ) =, Ψ (,, ; C,..., C n ) Ψ... + Ψ =, Ψ n (,,,..., (n) ; C,..., C n ) Ψn + Ψn + + Ψn (n) =. (n ) Eliminuodami konstantas C,..., C n, gautume šios kreivių šeimos n-osios eilės DL..2 ppavzds [vienetinių apskritimų šeima]. Visų vienetinių apskritimų šeimos plokštumoje lgtis ra ( C ) 2 + ( C 2) 2 =. Diferencijuodami šią lgtį pagal kintamąjį du kartus, gauname Randame 2( C ) + 2( C 2) =, 2 + 2( ) 2 + 2( C 2) =. C = + ( ) 2, C 2 = + ( ) 2. Įstatome šias išraiškas į apskritimų lgtį, gauname kreivių šeimos DL ( + ( ) 2 ) 3 = ( ) 2.
3 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] Kreivių šeima priklausanti tik nuo vieno parametro vadinama vienaparametrine kreivių šeima..22 ppavzds [Kreivių šeimos]. Žemiau pateikta keletas vienaparametrinių kreivių šeimų: Sistema. Φ(,, C) := + + C = apibrėžia lgiagrečių (tiesei = ) tiesių šeimą; 2. Φ(,, C) := C 2 = parabolių šeimą (žiūrėk. pav.); 3. Φ(,, C) := 2 /2 + 2 C 2 = koncentrinių elipsių su centru koordinačių pradžioje ir ašimis C 2 ir C šeimą (C > ) (žiūrėk. pav.). Φ(,, C) =, Φ Φ d (,, C) + (,, C) d =. ir ra kreivių šeimos DL, tiesa, užrašta parametriniu pavidalu (parametras C). Vienaparametrinės kreivių šeimos DL sudaroma parametro eliminavimo metodu..23 ppavzds [Kreivių šeimos DL]. Surasime.22 pavzdžio kreivių šeimų DL: { { { + + C =, + = C 2 =, 2C + = 2 /2 + 2 C 2 =, + 2 = = ; { C = / 2, = 2C = 2. = 2 ; Jeigu iš lgties Φ(,, C) = pavksta išreikšti parametrą C = Ψ(, ), tuomet šiai vienaparametrinei šeimai DL ra Ψ Ψ d (, ) + (, ) d =.. uždavins. Suraskite vienaparametrinių kreivių šeimų DL: a) = C; b) e 3 = C; c) = e C2 ; d) = Ce. 2. Koši uždavins Kaip matėme, DL dažniausiai turi be galo daug sprendinių. Norint išskirti kurį nors vieną sprendinį, reikia pareikalauti, kad sprendins tenkintų papildomas sąlgas.
2. Koši uždavins 4 2. pav. Paraboliu ir elipsiu šeimos..2 pav. Koši uždavins pirmos eilės lgčiai..3 pav. Koši uždavins antros eilės lgčiai. 2.. Koši uždavins Jeigu sprendžiama n-osios eilės DL F (,,,..., (n) ) =, (2.) tuomet tokiomis sąlgomis laikomos išreikštinio sprendinio ir jo išvestinių iki (n )-os eilės reikšmės, kai = : ( ) =, ( ) =,..., (n ) ( ) = (n ). (2.2) DL su tokiomis sąlgomis vadinama Koši 2 (pradiniu) uždaviniu, o pačios sąlgos pradinėmis. Pradinę sąlgą apibrėžia taškas (,,,..., (n ) ), kuris priklauso D f, jei DL užrašta kanoniniu pavidalu..2 uždavins. Patikrinkite, kad = Ce 2 ra DL = 2 sprendins. Raskite integralinę kreivę, einančią per tašką (, 4)..24 ppavzds. Koši uždavins = /, () = 2 neturi išreikštinio sprendinio, nes taške = DL neapibrėžta. Koši uždavins apverstajai DL = /, (2) = turi sprendinį. Ypač lengva spręsti Koši uždavinį, jeigu žinomas DL bendrasis sprendins ir nėra kitų sprendinių. Šiuo atveju, bendrojo sprendinio sąvoka garantuoja, kad Koši uždavins turi vienintelį sprendinį, nes iš (.5) sistemos galime vienareikšmiškai rasti laisvasias konstantas. Bendrasis sprendins = ϕ(;,,,..., (n ) ) (2.3) ra vadinamas bendrojo sprendinio Koši pavidalu..25 ppavzds. Dl = 2 bendrojo sprendinio Koši pavidalas ra = e 2 2, o DL + = šis pavidalas ra = cos( ) + sin( ). 2 Augustin Louis Cauch (789-857) prancūzu matematikas.
5 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] 2.2. Sprendinio egzistavimas ir vienatis Kanoninei n-os eilės DL (n) = f(,,,..., (n ) ) (2.4) Koši uždavinio sprendinio egzistavimui pakanka, kad f C(G) sritje G D f R n+ [7].. teorema [Peano 3 ]. Tarkime, funkcija f ra toldi sritje G. Tada egzistuoja (2.4) lgties sprendins = ϕ(), I, tenkinantis (2.2) pradines sąlgas. Tačiau šios teoremos salgų neužtenka Koši uždavinio sprendinio vienačiai [7, 6, 7]..2 teorema [Pikaro 4 ]. Tarkime, funkcija f ir jos dalinės išvestinės f,..., f toldžios sritje G. Tada egzistuoja vienintelis (2.4) lgties sprendins (n ) = ϕ(), I, tenkinantis pradines (2.2) sąlgas..26 ppavzds. Funkcijos = sin ir = cos ra DL + = sprendiniai. Šių dviejų sprendinių grafikai kertasi, tačiau šie sprendiniai nesutampa jokiame intervale (žiūrėk.3 pav.)..3 uždavins. Ar kertasi šio pavzdžio sprendinių integralinės kreivės? Panaši teorema teisinga ir (2.) lgčiai sritje D F [7]. Jos įrodmas išplaukia neišreikštinės funkcijos sąvbių (žiūrėk (.2) (.4) ) ir.2 teoremos..3 teorema. Tarkime, funkcija F C (G) ir taške (,,,..., (n) ) G išpildtos sąlgos F (,,,..., (n) ) =, F (n) (,,,..., (n) ). Tada egzistuoja (2.) lgties vienintelis sprendins = ϕ(), I, tenkinantis (2.2) pradines sąlgas..4 teorema [toldi priklausombė nuo pradinės sąlgos]. Jeigu f C (G), tuomet funkcija ϕ(;,,,..., (n ) ) apibrėžta, toldi ir ϕ C kiekvieno taško ( ;,,,..., (n ) ) aplinkoje. Pikaro teoremą ir toldžią priklausombę nuo pradinės sąlgos įrodsime vėliau, bet jau dabar jomis naudosimės. Šios trs teoremos sprendinio sąvbes formuluoja lokaliai. Jeigu sprendins ra apibrėžtas intervale I (nebūtinai atvirasis), tai jis bus sprendins ir intervale J I. 3 Giuseppe Peano (858-932) italu matematikas. 4 Émile Picard (856-94) prancūzu matematikas.
2. Koši uždavins 6. apibrėžimas [integralinės kreivės tęsins]. Integralinę kreivę intervale I vadinsime integralinės kreivės intervale J I tęsiniu, o integralinę kreivę intervale J integralinės kreivės intervale I siauriniu. Koši uždavinio su pradinėmis sąlgomis (2.2) integralinė kreivė pratęsiama pirmn (atgal) iki aibės Γ G D f, jeigu egzistuoja sprendins su tomis pačiomis pradinėmis sąlgomis, kurio integralinė kreivė kertasi su Γ taške ( ). Integralinė kreivė pratęsiama pirmn (atgal) neaprėžtai, jeigu egzistuoja sprendins su tomis pačiomis pradinėmis sąlgomis, kuris egzistuoja visiems ( ). Laiksime, kad sprendins turi tęsinį, jeigu jo integralinė kreivė turi tęsinį. Vietoje pirmn (atgal) naudosime taip pat naudosime terminus į dešinę (į kairę). Jeigu sprendins pratęsiamas iš atvirojo intervalo (a; b) į intervalą (a; b] ([a; b)), tuomet tokį tęsinį vadinsime dešiniuoju (kairiuoju) plėtiniu. Sprendins, kurio negalima pratęsti nei į kairę, nei į dešinę, vadinamas pilnuoju sprendiniu, o intervalas J vadinamas sprendinio egzistavimo maksimaliuoju intervalu. Toliau pagal nutlėjimą sprendinį suprasime kaip pilnąjį.? Aibė K R n vadinama kompaktu, jeigu ji ra uždara ir aprėžta. Jeigu kompaktą padengsime atvirųjų aibių denginiu, tuomet galima išrinkti baigtinį podenginį. Ši kompakto sąvbė Hausdorfo 5 topologinėse erdvėse naudojama kaip kompakto apibrėžimas. Didžiausia atviroji aibė, priklausanti aibei A vadinama aibės A vidumi, o mažiausia uždaroji aibė, dengianti aibę A vadinama aibės A uždariniu. Aibės A uždarinio taškai, kurie nepriklauso aibės A vidui, sudaro aibės A kraštą A..5 teorema [apie sprendinio tęsinį]. Tarkime, K G D f ra kompaktas ir pradinė sąlga (,,,..., (n ) ) K ir f C (G). Tada integralinė kreivė pratęsiama iki kompakto krašto ir toks pratęsimas ra vienintelis. Teorema teigia, kad per kievieną vidinį kompakto tašką eina vienintelė integralinė kreivė, kuri pratęsiama iki kompakto krašto (žiūrėk.4 pav.). Tęsinio vienatis suprantama ta prasme, kad dvi integralinės kreivės su tą pačia pradine sąlga sutampa visur kur jos apibrėžtos..27 ppavzds. Koši uždavinio = 2, () =, sprendins užrašomas išreikštine funkcija = /( ). Šį sprendinį galima pratęsti atgal (į kairę) neaprėžtai, tačiau negalima pratęsti pirmn (į dešinę) iki tiesės =, t.. maksimalusis intervalas ra ( ; ). Teorema apie tęsinį lieka teisinga. Jeigu kompaktas ra uždarasis stačiakampis [a; ] [; b], tai sprendins pratęsiamas į kairę iki stačiakampio kraštinės = a su bet kokiu a <, t.. visiems, ir sprendins pratęstas pirmn (į dešinę) pasieks tik viršutinę stačiakampio kraštinę kokį b > bepaimtume (žiūrėk.5) ir niekada nepasieks dešiniosios kraštinės..28 ppavzds. Koši uždavinio =, () =, sprendins užrašomas išreikštine funkcija = e. Šį sprendinį galima pratęsti atgal ir pirmn neaprėžtai, nes su bet kokiu a > sprendins kirs kairiąją ir dešiniąją uždarojo stačiakampio [ a; a] [; e a + ] kraštines. 5 Feli Hausdorff (868-942) vokiečiu matematikas.
7 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)], (),..., (n-) G b K a K.4 pav. Integralinės kreivės tęsins iki kompakto krašto..5 pav. Neptatęsiamas į dešinę sprendins..6 pav. DL = 3 2/3 integralinės kreivės. DL patingasis taškas ir patingasis sprendins. Sritis G, kurios visuose taškuose Koši uždavinio sprendins ra vienintelis, vadinsime DL sprendinio vienaties sritimi. DL du sprendiniai, sutampants viename DL sprendinio vienaties srities G taške, sutampa visoje šioje sritje. Pirmos eilės lgčiai sutampa ir jų integralinės kreivės. Antros eilės DL tokiems sprendiniams integralinės kreivės sutaps, jeigu bendrame taške abu sprendiniai turės tą pačią liestinę..29 ppavzds. Rasime DL = 3 2/3 integralinę kreivę, einančią per tašką (, ). Atitinkamas Koši (pradinis) uždavins ra = 3 2/3, () =. Patikriname, kad funkcija = ( C) 3 ra DL sprendiniai. Įstatome pradines sąlgas: = () = ( C) 3 C = (kitos šakns ra kompleksinės). Vadinasi, šis Koši uždavins turi sprendinį = 3 (žiūrėk.6 pav.). Remiantis.2 teorema daugiau integralinių kreivių, einančių per šį tašką, nėra. Rasime integralinę kreivę, einančią per tašką (, ). Per šį tašką eina jau rasta integralinė kreivė = 3, ir dar viena papildoma integralinė kreivė. Vadinasi, šiuo atveju, Koši uždavinio sprendins nėra vienintelis, ir šis taškas nepriklauso DL sprendinio vienaties sričiai..4 uždavins. Raskite.29 pavzdžio DL sprendinio vienaties sritį (sritis)..2 apibrėžimas. DL sprendins, per kurio kiekvieną tašką eina tik vienas tos DL sprendins, vadinamas atskiruoju sprendiniu..5 uždavins. Raskite Koši uždavinio sprendinius, jei žinomas bendrasis sprendins
3. Diferencialinių lgčių sistemos 8 arba bendrasis integralas: a) =, () = ; = C; b) =, () = ; e = C; c) =, () =, () = 3 2 ; = 2 2 d) = + sin, () =, () = ; = 3 3 e) =, (3) = 4; 2 + 2 = C. + C + C2; sin + C + C2; 2.3. Ypatingieji sprendiniai DL gali turėti sprendinių, kurių taškuose neišpildta vienaties sąlga. Nagrinėtame.29 pavzdje sprendinio negausime iš bendrojo sprendinio (kubinių parabolių šeimos) = ( C) 3 su jokia konstanta C R (žiūrėk.6 pav.)..6 uždavins. Raskite.29 pavzdžio DL visus sprendinius, kuriems neišpildta vienaties sąlga..3 apibrėžimas [Ypatingasis taškas]. Ypatingaisiais taškais vadinsime tuos integralinės kreivės taškus, kuriose neišpildta sprendinio vienaties sąlga..4 apibrėžimas [Ypatingasis sprendins]. Ypatinguoju sprendiniu vadinsime sprendinį, kurio kiekvienas taškas ra patingasis taškas. Kai kanoninės (2.4) DL dešiniosios pusės funkcija ra toldi ir turi dalines išvestines pagal kintamuosius,,..., (n ), jos patingieji sprendiniai gali būti tik tie, kuriuose tenkinama bent viena sąlga: f =,..., f =. (n ) Neišreikštinės (2.) DL atveju, kai F C (G), patingais gali būti sprendiniai F apibrėžti ir lgbėmis F =, =. (n).7 uždavins. Patikrinkite, kad DL turi duotuosius sprendinius ir suraskite patinguosius sprendinius: a) = 2, = C ( C); b) ( ) 2 + 2 =, = sin( C).
9 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] 3. Diferencialinių lgčių sistemos Apibendrinsime DL lgties savoką DL sistemoms, t.. nagrinėsime vektorines DL. Nagrinėkime vektorinę DL F (,,,..., (m) ) =, (3.) čia = (,..., n ), F = (F,..., F n ) C (D F ), D F R n(m+)+ ra funkcijos F (kartu ir vektorinės DL apibrėžimo sritis). Tokia vektorinė m-tosios eilės DL dar vadinama m-osios eilės diferencialinių lgčių sistema (DLS). Kintamųjų (, 2,..., n ) erdvė vadinama fazine erdve. Dažniausiai sutinkamos pirmosios eilės DLS: F (,,..., n,,..., n) =, F n (,,..., n,,..., n) =.... (3.2) Kai jakobianas D(F,...,Fn) D(,..., n ), pirmąsias išvestines galima išreikšti per likusius kintamuosius: = f (,,..., n ),... (3.3) n = f n (,,..., n ). Tokią DLS vadiname n-osios eilės normaliąja DLS. Jos vektorinis pavidalas ra = f(, ), f C(D f ), D f R n+. Šiai DLS (vektorinei DL) apibendrinamos visos sąvokos, kurias apibrėžėme skaliarinei DL = f(, ). Pavzdžiui, Koši uždavins užrašomas kaip = f(, ), ( ) =. (3.4).5 apibrėžimas [integralinė kreivė]. Normaliosios DLS (arba vektorinės DL) (3.3) integraline kreive vadinsime vektorinės funkcijos (), I, grafiką. Integralinės kreivės projekciją į fazinę erdvę (, 2,..., n ) vadinsime fazine kreive. Fazinė kreivė, kuri turi orentaciją, t.. judėjimo kreive krptį, kai auga, vadinama fazine trajektorija. Fazinė kreivė, atitinkanti sprendinį () const, sudarta iš vieno taško. Tokiai fazinei kreivei orentacija neapibrėžta. Bendrasis sprendins ir bendrasis integralas apibrėžiami kaip = ϕ(, C), Ψ(,, C) = arba Φ(, ) = C, čia C = (C,..., C n ), o visos funkcijos ra toldžiai diferencijuojamos. Suformuluosime Pikaro, toldžios priklausombės nuo pradinės sąlgos ir sprendinio tęsinio teoremų analogus.
3. Diferencialinių lgčių sistemos 2.6 teorema. Tarkime, funkcija f C (G), G R n+. Tada egzistuoja vienintelis (3.4) Koši uždavinio sprendins = ϕ(), I, tenkinantis pradinę sąlgą..7 teorema [toldi priklausombė nuo pradinės sąlgos]. Jeigu f C (G), tuomet funkcija ϕ(;, ) apibrėžta, toldi ir ϕ C kiekvieno taško ( ;, ) aplinkoje..8 teorema [apie sprendinio tęsinį]. Tarkime, K G D f ra kompaktas ir pradinė sąlga (, ) K ir f C (G). Tada integralinė kreivė pratęsiama iki kompakto krašto ir toks pratęsimas ra vienintelis. 3.. n-osios eilės DL suvedimas į n-osios eilės normaliąją DLS Kiekvieną n-osios eilės kanoninę DL galima suvesti į normaliąją DLS. Parodsime tai Koši uždaviniui (n) = f(,,,..., (n ) ), ( ) =,..., (n ) ( ) = (n ). (3.5) Apibrėžkime vektorinę funkciją z = (z, z 2,..., z n ) := (,,..., (n ) ). Tada (3.5) Koši uždavins ekvivalentus nomaliajai DLS z = z 2, z 2 = z 3,... (3.6) z n = z n, z n = f(, z,..., z n ) su pradinėmis sąlgomis z( ) = z := (,,..., (n ) ). Šis suvedimas rodo, kad.2 teorema išplaukia iš.6 teoremos,.4 teorema iš.7 teoremos,.4 teorema iš.8 teoremos..3 ppavzds. Koši uždavins + =, () =, () = suvedamas į antrosios eilės DLS = z, z = su pradinėmis sąlgomis () =, z() =..8 uždavins. Suvesti DL į DLS: a) = sin ; b) + 5 + ( ) 2 sin + = ; c) = sin ( + ( ) 2 ).
2 SKYRIUS. Paprastosios diferencialinės lgts ir jų sistemos [23 2 28 (:32)] 3.2. n-osios eilės normaliosios DLS suvedimas į n-osios eilės DL Kiekvieną n-osios eilės normaliąją (3.3) DLS galima suvesti į vieną n-osios eilės kanoninę DL. Diferencijuojame vieną DLS lgtį (pvz., pirmąją) n kartą pagal, ir keičiame pirmosios eilės išvestines normaliosios sistemos lgčių dešiniosiomis pusėmis. Taip gaunama n lgčių sistema: = f (,, 2,..., n ) := f (,, 2,..., n ), = f 2 (,, 2,..., n ) := f + n f i= i f i,... (3.7) (n ) = f n (,, 2,..., n ) := f n 2 + n f n 2 i= i f i, (n) = f n (,, 2,..., n ) := f n + n f n i= i f i. Įvedame naują funkciją z() := (). Iš (3.7) sistemos pirmųjų n lgčių išreiškiame 2,..., n (kada tai galima padarti?): 2 = g 2 (, z, z,..., z (n ) ),... n = g n (, z, z,..., z (n ) ), ir įstatome jas į (3.7) sistemos paskutinę lgtį z (n) = f n (, z, g2 (, z, z,..., z (n ) ),..., g n (, z, z,..., z (n ) ) ). Gaunama viena n-osios eilės DL Pradinės sąlgos šiai lgčiai ra z (n) = g(, z, z,..., z (n ) ). z( ) = ( ), z (i) ( ) = f i (, ( ),..., n ( )), i =,..., n..3 ppavzds. Duota DLS dv = w, dw = v. d d Apibrėžiame naują funkciją = v, diferencijuojame pirmąją lgtį pagal, ir gauname = w, = dw w = w =, w = d 2 2 DLS suvesta į antros eilės DL = + arba + + =..9 uždavins. Suveskite DLS į vieną DL: 2. a) u = v, v = u; b) u = v, v = u; c) u = u v, v = u + v.
3. Diferencialinių lgčių sistemos 22 3.3. Autonominės ir neautonominės DL Jeigu funkcija f DL tiesiogiai nepriklauso nuo kintamojo, tai DL (arba DLS) d d = f (,..., n ), = f()... d n d = f n (,..., n ). vadinama autonomine. Kiekvieną neautominę DLS visada galima suvesti į autonominę d d = f (,,..., n ),... d n d = f m (,,..., n ) d dt = f (,,..., n ), d dt = f (,,..., n ),... d n dt = f n (,,..., n ), čia R n. Ir atvirkščiai, kiekvieną autonominę DLS sritje, kurioje f + f + + f n >, galima suvesti į neautonominę DLS. Pavzdžiui, jeigu f, tai d dt = f (,,..., n ), d dt = f (,,..., n ),... d n dt = f n (,,..., n ) d d d n d = f(,,...,n) f, (,,..., n)... = fn(,,...,n) f, (,,..., n) čia :=..32 ppavzds. Neautonominė DL suvedama į autonominę DLS d dt =, d d = d dt =..2 uždavins. Suveskite neautonomines DL (DLS) į autonomines DL (DLS): a) d d = ; d b) d = z +, dz d = +.
2 skrius Tiesinės diferencialinės lgts Šiame skriuje nagrinėsime tiesines n-eilės diferencialines lgtis. Jų išsprendžiamumas susijęs su fundamentaliosios sistemos radimu. Taip pat nagrinėsime atskirąjį atvejį tiesinę DL su pastoviaisiais koeficientais. Kaip kitose matematikos sritse, tiesiniai objektai, ra geriausiai ištirta DL teorijos dalis. Tiesinės DL (ir ne tik DL) ra patingai svarbios PDL teorijoje ir visoje matematinėje analizėje, kadangi pagrindinė analizės idėja teigia, kad kiekviena glodi funkcija kiekvieno taško aplinkoje gerai aproksimuojama tiesine funkcija. Linearizavimo (ištiesinimo) operacija leidžia tiesines lgtis nagrinėti kaip pirmąjį artinį sudėtingoms netiesinėms lgtims.. Tiesinė n-osios eilės diferencialinė lgtis 2. apibrėžimas [Tiesinė DL]. Diferencialinė lgtis z (n) + a ()z (n ) + + a n ()z + a n ()z = f(), (.) vadinama tiesine n-osios eilės diferencialine lgtimi (TDL). Čia f, a i C(I), i =,..., n žinomos toldžiosios (realiosios arba kompleksinės) funkcijos. Sąlgos f, a i C(I), i =,..., n garantuoja, kad egzistuoja vienintelis Koši uždavinio sprendins (sprendinio egzistavimo ir vienaties teorema). Jeigu ieškome sprendinių tarp kompleksinių funkcijų, tuomet vietoje vienos kompleksinės funkcijos z() = Re z() + Im z() ı galime ieškoti dviejų realiųjų funkcijų u = Re z() ir v = Im z(), kurios ra dviejų DL sistemos u (n) + Re a ()u (n ) Im a ()v (n ) + + Re a n()u Im a n()v = Re f(), v (n) + Im a ()u (n ) + Re a ()v (n ) + + Im a n()u + Re a n()v = Im f() sprendins (sprendinių pora). Dar paprastesnis atvejis gaunamas, kai (.) lgties koeficientai ra realiosios funkcijos. Tuomet pastaroji sistema tampa u (n) + a ()u (n ) + + a n()u = Re f(), v (n) + a ()v (n ) + + a n()v = Im f(). (.2) Šioms sistemoms egzistuoja vienintelė sprendinių pora. Toliau šiame skriuje DL ir jos sprendiniai gali būti ir reliosios, ir kompleksinės funkcijos. Atitinkamai skaliarai irgi gali būti iš kūno K = R, arba iš kūno K = C. Jeigu f, tuomet (.) lgtis vadinama homogenine, priešingu atveju nehomogenine. Kiekvienai (nehomogeninei) tiesinei (.) DL galima užrašti atitinkamą homogeninę lgtį.
. Tiesinė n-osios eilės diferencialinė lgtis 24.. Tiesinis diferencialinis operatorius? Atvaizdis A: L L 2, L, L 2 tiesinės erdvės, vadinamas tiesiniu operatoriumi, jeigu A(αz + βz 2 ) = αaz + βaz 2, α, β K, z, z 2 L. 2.2 apibrėžimas [Diferencialinis operatorius]. Atvaizdis L n : C n (I) C(I), apibrėžtas formule L n [z] := z (n) + a z (n ) + + a n z + a n z, (.3) vadinamas n-osios eilės diferencialiniu operatoriumi. 2. uždavins. Parodkite, kad C n (I) ra tiesinė erdvė visiems n =,,.... 2. lema [Tiesinis diferencialinis operatorius]. Diferencialinis operatorius L n ra tiesinis. Įrodmas išplaukia iš išvestinės tiesinių savbių L n [αz + βz 2 ] =(αz + βz 2 ) (n) + a (αz + βz 2 ) (n ) + + a n (αz + βz 2 ) =α ( z (n) + a z (n ) ) + + a n z + β ( z (n) 2 + a z (n ) ) 2 + + a n z 2 =αl n [z ] + βl n [z 2 ]. Vadinasi, diferencialinis operatorius L n, apibrėžtas (2.2) formule, ra tiesinis operatorius, kuris atvaizduoja tiesinę erdvę C n (I) tiesinėje erdvėje C(I). Tada (.) TDL užsirašo kaip tiesinė lgtis L n [z] = f. (.4)? Tiesinis operatorius A: L L 2 apibrėžia lgtį Az = f. (.5) 2. teigins. Homogeninės lgties Az = sprendiniai sudaro tiesinę daugdarą erdvėje L. Ši tiesinė daugdara sutampa su tiesinio operatoriaus A branduoliu ker A := {z L : Az = } (žiūrėk 2. pav.). Kitais žodžiais, dviejų homogeninės tiesinės lgties sprendinių tiesinis derins ra homogeninės tiesinės lgties sprendins. Atskiru atveju, z = visada ra sprendins. Įrodmas. Iš Az =, Az 2 = A(αz + βz 2 ) = αaz + βaz 2 = α + β =. 2.2 teigins. Tiesinio operatoriaus reikšmių aibė im A := {f L 2 : z L, Az = f} ra tiesinė daugdara erdvėje L 2. Įrodmas. Jeigu Az = f im A ir Az 2 = f 2 im A, tuomet αf + βf 2 = αaz + βaz 2 = A(αz + βz 2 ) im A.
25 2 SKYRIUS. Tiesinės diferencialinės lgts [23 2 28 (:32)] 2. pav. Tiesinės lgties sprendiniu erdvė. 2. išvada. Jeigu f im A, tai nehomogeninės tiesinės lgties Az = f sprendiniai erdvėje L sudaro afininę daugdarą z a + ker A, lgiagrečią ker A (žiūrėk 2. pav.), čia z a ra atskiras nehomogeninės tiesinės lgties sprendins, t.. Az a = f. Kitais žodžiais, dviejų nehomogeninės tiesinės lgties sprendinių skirtumas ra homogeninės tiesinės lgties sprendins. Įrodmas. Iš Az = f, Az a = f A(z z a) = Az Az a = f f =. Kita vertus, jei z ker A, tuomet A(z a + z) = Az a + Az = f + = f. 2.2 išvada [Superpozicijos principas]. Jeigu z ra nehomogeninės TL Az = f sprendins, z 2 ra nehomogeninės tiesinės lgties Az = f 2 sprendins, tuomet z = αz + βz 2 ra tiesinės lgties Az = αf + βf 2 sprendins. Įrodmas. Iš Az = f, Az 2 = f 2 A(αz + βz 2 ) = αaz + βaz 2 = αf + βf 2. 2.2 uždavins. Suformuluokite 2. ir 2.2 teiginius ir jų išvadas n-osios eilės TDL sprendiniams. 2. ppavzds. Imkime homogeninę tiesinę pirmosios eilės DL z z =. Jos bendrasis sprendins ra z = Ce, C R. Jeigu z = C e ir z 2 = C 2e, tuomet αz + βz 2 = (αc + βc 2)e vėl bus šios TDL sprendins. Sprendinių erdvė ra vienmatė, nes pakanka žinoti vieną nenulinį sprendinį ψ = e, o tada visi kiti sprendiniai z = Cψ (žiūrėk 2.2 pav.). 2.2 ppavzds. Imkime nehomogeninę tiesinę pirmosios eilės DL z z =. Šios lgties atskirasis sprendins ra z a = +. Homogeninės TDL lgties bendrasis sprendins ra z = Ce, todėl bendrasis nehomogeninės TDL bus z = Ce + + (žiūrėk 2.3 pav.). 2.3 ppavzds. Imkime nehomogeninę tiesinę pirmosios eilės DL z z = 2e. Šios lgties atskirasis sprendins ra z a = e. Todėl bendrasis nehomogeninės TDL sprendins ra z = Ce + e. 2.4 ppavzds. Imkime nehomogeninę tiesinę pirmosios eilės DL z z = + e. Kadangi + e = ( ) + ( /2) ( 2e ), todėl iš superpozicijos principo atskirasis nehomogeninės TDL ra z a = (+)+( /2) (e ). Tada bendrasis nehomogeninės TDL sprendins bus z = Ce + + e /2.
. Tiesinė n-osios eilės diferencialinė lgtis 26 2.2 pav. Homogeninės TDL integralinės kreivės. 2.3 pav. Nehomogeninės TDL integralinės kreivės. 2.4 pav. Funkciju tiesinė priklausombė..2. Funkcijų tiesinis priklausomumas ir nepriklausomumas? Tiesinės erdvės L elementai (vektoriai) v,..., v n ra tiesiškai nepriklausomomi, jeigu lgbė α v + + α nv n = (.6) teisinga tik kai α = = α n =, priešingu atveju turime tiesiškai priklausomus elementus (vektorius). Jeigu elementai ra tiesiškai priklausomi, tuomet i : α i. Tarkime, i = n. Tada funkcija z n tiesiškai išsireiškia per kitas funkcijas z,..., z n. Nagrinėkime tiesines erdves, kurių elementai ra funkcijos. Funkcijos f,..., f n ra tiesiškai nepriklausomos, jeigu tapatbė α f () + + α n f n () (.7) teisinga tik kai α = = α n =, priešingu atveju turime tiesiškai priklausomas funkcijas. 2.5 ppavzds [Funkcijų tiesinė priklausombė]. 2.4 pav. ra pavaizduoti funkcijų F () = ( 2 + )/2, G() = ( 2 )/2, H() = ( 2 )/2 grafikai. Funkcijos F ir G ra tiesiškai nepriklausomos (kodėl?), o funkcijos F ir H ra tiesiškai priklausomos. 2.3 uždavins. Patikrinkite funkcijų f, f 2, f 3 tiesinį priklausomumą: a) f () =, f 2() =, f 3() = 2 ; b) f () =, f 2() = 2, f 3() = 2 +. 2.3 apibrėžimas [Vronskio determinantas]. Funkcijų z,..., z n C n (I) Vronskio determinantu vadinama funkcija W [z,..., z n ] C(I): z () z 2 ()... z n () W () = W [z,..., z n ]() := z () z 2()... z n()............. (.8) z (n ) () z (n ) 2 ()... z n (n ) () Jósef Maria Hoëné Wroński (778-853) lenku filosofas, matematikas, fizikas, išradėjas, teisininkas ir ekonomistas.