Tiesinė diferencialinė lygtis

Tiesinė diferencialinė lygtis yra

 

formos, kur 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

 

Diferencialinės lygtys