Tiesinė diferencialinė lygtis

Tiesinė diferencialinė lygtis – diferencialinė lygtis, kurios sprendiniai sudaro vektorinę erdvę, jos forma:



čia diferencialinis operatorius L yra tiesinis operatorius, y yra nežinoma funkcija (tokia yra ir laiko funkcija y(t)) ir dešinioji pusė yra duotoji funkcija ƒ, kurios kilmė ta pati kaip ir y. Funkcija, kuri priklausoma nuo laiko, galima parašyti lygtį


ir dar tiksliau apskliaudžiant


Tiesinis operatorius L laikomas tokios formos



Tiesiškumo sąlyga L pašalina tokias operacijas kaip traukimas šaknies iš y, bet leidžia naudoti antrąją y išvestinę.
Yra patogu perrašyti šią lygtį į operatoriaus formą



kur D yra diferencialinis operatorius d/dt (pvz., Dy = y' , D2y = y",… )ir An yra duotosios funkcijos.

Sakoma, jog tokios lygtys turi eilę n – tai aukščiausiosios y išvestinės rodiklis, kuris yra įtrauktas į lygtį.

Paprasčiausias tiesinės diferencialinės lygties pavyzdys yra radioaktyvaus skilimo modelis. Tegu N(t) reiškia atomų skaičių tam tikroje medžiagoje laiko momentu t. Tada tam tikrai konstantai k > 0 radioaktyviųjų atomų, kurie suskils, skaičius gali būti aprašytas


Jeigu tariame, jog y yra vieno kintamojo funkcija, tai kalbame apie paprastąją diferencialinę lygtį, priešingu atveju išvestinė ir jų koeficientai turi būti suprasti kaip sujungti vektoriai, matricos arba aukščiausio rango tenzoriai, tada turėsime tiesinę dalinių išvestinių diferencialinę lygtį.

Atvejis, kai ƒ = 0 vadinamas homogenine lygtimi ir jos sprendiniai vadinami komplementariosiomis funkcijomis.

 Homogeninės lygtys su pastoviaisiais koeficientais 

Pirmajį metodą spręsti tiesinėmis paprastosioms diferencialinėms lygtimis realizavo Euleris, jis suprato, jog sprendiniai turi  formą galimai kompleksinėms  vertėms. Eksponentinė funkcija yra viena iš nedaugelio funkcijų, kuri išlaiko savo formą po diferencijavimo. Kad gautume sudėtinių funkcijos išvestinių sumą iki nulio, išvestinės turi anuliuoti viena kitą ir tai gali būti tik tada, kai išvestinės turi tą pačią formą kaip ir pradinė funkcija. Taigi, kad išspręstume



nustatome , kas nuveda į



Dalyba iš e zx duoda n-ojo laipsnio polinomą



Ši algebrinė lygtis F(z) = 0 yra charakteringoji lygtis, kurią tyrinėjo Gaspard Monge ir Augustin-Louis Cauchy.

Formaliai pirmosios diferencialinės lygties nariai



yra pakeičiami zk. Išsprendus polinomą gaunami n z verčių, 'z1, …, zn. Įstatymas bet kurios iš šių verčių z į e zx duoda sprendinį e zix. Kadangi homogeninės tiesinės diferencialinės lygtys paklūsta superpozicijos pricipui, tai bet kuri tiesinė funkcijų kombinacija tenkina diferencialinę lygtį.

Kai visos šaknys yra skirtingos, mes turi n skirtingų diferencialinės lygties sprendinių. Galima parodyti, jog jos yra tiesiškai nepriklausomos, pritaikant Vandermondo determinantas ir visos kartu formuoja bazių erdvę visų diferencialinės lygties sprendinių.

Kai sprendiniai yra kompleksiniai, tada naudojama Eulerio formulė.

 Pavyzdžiai 

Duota . Charakteringoji lygtis yra  kurios šaknys yra 2+i ir 2−i. Todėl sprendinio pagrindas  yra . Dabar y'' yra sprendinys tada ir tik tada, kai  konstantoms .

Kadangi koeficientai yra relūs,
 mūsų nedominą kompleksiniai sprendiniai
 mūsų bazės elementai yra kompleksiškai jungtiniai
Tiesinės kombinacijos

  ir



duos realią bazę .

 Paprastas harmoninis osciliatorius 

Antros eilės diferencialinė lygtis



kuri aprašo paprastą harmoninis osciliatorius, gali būti performuluota į



Išreiškiame lygtį per skliaustus



kuri turi porą nepriklausomų sprendinių



ir kitas



Sprendiniai atitinkamai yra



ir



Šie sprendiniai užtikrina pagrindą 2D antros eilės diferencialinės lygties vektorių erdvei, tai reiškia, jog tiesinės šių sprendinių kombinacijos taip pat yra sprendiniai. Konkrečiu atveju, pateikiami sprendiniai gali būti konstruojami



ir



Šie du paskutiniai trigonometriniai sprendiniai yra tiesiškai nepriklausomi, taigi jie gali tarnauti kaip kita bazė sprendinių erdvei



 Šaltiniai 

Kategorija:Diferencialinės lygtys