Lineaarne diferentsiaalvõrrand

Lineaarne diferentsiaalvõrrand on diferentsiaalvõrrand, mis on lineaarne otsitava funktsiooni ja selle kõigi tuletiste (või osatuletiste) suhtes. Üldiselt saab iga lineaarse diferentsiaalvõrrandi esitada kujul

$Ly=g$,

kus diferentsiaaloperaator L on lineaarne, y on otsitav funktsioon (või funktsioonidest moodustatud vektor) ja g on y-st sõltumatu funktsioon (või funktsioonidest moodustatud vektor), mida nimetatakse vabaliikmeks. Operaatori L lineaarsus tähendab, et $L(\alpha y+\beta z)=\alpha L(y)+\beta L(z)$, kus $\alpha$ ja $\beta$ on arvud ja $y$ ning $z$ funktsioonid. Lineaarsusest järeldub, et otsitav funktsioon (otsitavad funktsioonid) ja kõik selle tuletised (või osatuletised) esinevad võrrandis esimeses astmes.

Lineaarsed diferentsiaalvõrrandid jagunevad omakorda homogeenseteks diferentsiaalvõrranditeks, millel vabaliige puudub (g = 0), ja mittehomogeenseteks dinferentsiaalvõrranditeks, millel on vabaliige olemas (g ≠ 0).

Näide

Näideteks hariliku ühe otsitava funktsiooniga y n-järku lineaarse diferentsiaalvõrrandi üldkuju on

$f_0(x)y+f_1(x)y^{\prime }+\dots +f_n(x)y^{(n)}=g(x)$,

kus funktsiooni $f_0(x)$, $f_1(x)$,...,$f_n(x)$ ja $g(x)$ on tuntud funktsioonid. Viimasele võrrandile vastav diferentsiaaloperaator on

$L=f_0(x)+f_1(x)\frac{d}{dx}+f_1(x)\frac{d^2}{d{x}^2}+\dots +f_n(x)\frac{d^n}{d{x}^n}$,

kus $d/dx$ on tuletise võtmise operaator, st $dy/dx=y^{\prime }$, $d^{2}y/d{x}^2=y^{″}$ jne.

Omadused

Lineaarsete diferentsiaalvõrrandite oluliseks omaduseks on, et nende lahendid moodustavad mõne sobiva funktsioonide ruumi afiinse alamruumi.

Homogeensete lineaarsete võrrandite lahendid moodustavad vektorruumi, st lahendite liitmisel ja nende arvuga korrutamisel saadav funktsioon on samuti lahend. Tõepoolest, olgu $y_1$ ja $y_2$ homogeense võrrandi $Ly=0$ lahendid. Vastavalt lineaarsuse tingimusele kehtib $L(\alpha y_1+\beta y_2)=\alpha Lx+\beta Ly=0$, st ka $y=\alpha y_1+\beta y_2$ lahendab võrrandi $Ly=0$.

Kui $y$ on mittehomogeense võrrandi $Ly=g$ ja $y_1$ on vastava homogeense võrrandi $Ly=0$ mõni vabalt valitud lahend, siis $y+y_1$ on samuti mittehomogeense võrrandi lahend, st $L(y+y_1)=Ly+L{y}_1=g+0=g$.

Vaata ka

• Fourier' teisendus
• Laplace'i teisendus
• mittelineaarne diferentsiaalvõrrand

Välislingid

• EqWorld, Linear Partial Differential Equations of Mathematical Physics (Lahendusi lineaarsetele osatuletistega diferentsiaalvõrranditele matemaatilises füüsikas, inglise keeles)