Diferentsiaalvõrrand

Diferentsiaalvõrrand on võrrand, mis seob otsitavaid (ühe või mitme muutuja) funktsioone, nende tuletisi (või osatuletisi) ja argumente[1].

Diferentsiaalvõrrandi järguks nimetatakse otsitavate funktsioonide tuletiste kõrgeimat järku. Näiteks n-järku harilikku diferentsiaalvõrrandit, milles otsitavaks funktsiooniks on y, võib formaalselt esitada järgmiselt:

.

Iga funktsiooni y=f(x), mis võrrandisse paigutatuna seda võrrandit x suhtes samaselt rahuldab, nimetatakse selle võrrandi lahendiks.

Diferentsiaalvõrrandite abil on võimalik modelleerida selliste reaalsete süsteemide käitumist, mida saab iseloomustada pidevalt muutuvate suuruste abil, kusjuures nende suuruste muutumise kiiruse ja suuruse endi vahel kehtib teatud kindel seos. Sel viisil on kirjeldatavad ka paljud loodusseadused. Näiteks klassikalises mehaanikas võimaldavad Newtoni seadused siduda kehade kiiruse, asukoha ja erinevad kehale mõjuvad jõud ühtseks diferentsiaalvõrrandiks.

Diferentsiaalvõrrandid on väga tihedalt seotud praktilise tegevusega mitmetel elualadel, nagu rakendusmatemaatikas, füüsikas ja inseneriteadustes.

Kaasaegsed uurimissuunad

muuda

Diferentsiaalvõrrandid on lai uurimisvaldkond puhtas matemaatikas, rakendusmatemaatikas, füüsikas ja inseneriteadustes. Kõik nimetatud distsipliinid tegelevad erinevat tüüpi diferentsiaalvõrrandite lahendite leidmisega. Kui puhtas matemaatikas keskendutakse peamiselt lahendite olemasolule ja ühesusele, siis rakendusmatemaatika rõhub kasutatavate lähendusmeetodite rangele põhjendamisele. Diferentsiaalvõrrandid etendavad olulist rolli väga paljude füüsikaliste, tehniliste ja bioloogiliste probleemide modelleerimisel. Neid kasutatakse taevakehade liikumise kirjeldamisest ja sillaehitusest kuni neuronite vahelise vastastikuse toime kirjeldamiseni.

Enamasti proovitakse leida diferentsiaalvõrrandite eksplitsiitseid lahendeid, kuid tihti pole see võimalik. Seetõttu on välja töötatud erinevaid meetodeid, mis võimaldavad öelda üht-teist diferentsiaalvõrrandi lahendite omaduste kohta neid võrrandeid eksplitsiitselt lahendamata või lahendada võrrand ligikaudselt, kasutades numbrilisi meetodeid.

Matemaatikud uurivad samuti nõrku lahendeid, mis ei pruugi kõikjal diferentseeruvad olla. See laiendus on tihti vajalik, et mõnel võrrandil lahend üleüldse olemas oleks. Samuti võib nimetatud meetod anda füüsikaliselt mõistlikumaid lahendeid [viide?].

Diferentsiaalvõrrandite lahendite stabiilsust uurivat valdkonda nimetatakse stabiilsusteooriaks. Viimane leiab olulisi rakendusi kaoseteoorias.

Diferentsiaalvõrrandite liigitus

muuda

Diferentsiaalvõrrandite lahendamiseks puudub ühtne meetod, mistõttu jaotatakse need võrrandid erinevateks tüüpideks, mida eraldi uuritakse.

Üks võimalus võrrandeid liigitada on nende järgu järgi.

Harilikud ja osatuletistega diferentsiaalvõrrandid

muuda

Üldiselt saab diferentsiaalvõrrandid jagada kahte suurde klassi:

 .
 ,
kus f on otsitav funktsioon ja   tähistab osatuletist muutuja x järgi,   tähistab osatuletist muutuja y jne.

Lineaarsed ja mittelineaarsed diferentsiaalvõrrandid

muuda

Nii harilikke kui ka osatuletistega diferentsiaalvõrrandeid saab jaotada lineaarseteks ja mittelineaarseteks. Diferentsiaalvõrrandit nimetatakse lineaarseks, kui otsitav funktsioon (otsitavad funktsioonid) ja kõik selle tuletised esinevad võrrandis esimeses astmes, st lineaarfunktsioonides. Vastupidisel juhul nimetatakse diferentsiaalvõrrandit mittelineaarseks. Lineaarsete võrrandite lahendid moodustavad sobiva funktsioonide ruumi afiinse alamruumi.

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

 ,

kus funktsiooni F(x) nimetatakse võrrandi vabaliikmeks.

Lineaarsed diferentsiaalvõrrandid jagunevad omakorda homogeenseteks ja mittehomogeenseteks. Homogeenseks nimetatakse võrrandit, mis ei sisalda vabaliikmeid. Homogeense võrrandi lahendite lineaarkombinatsioon on samuti selle võrrandi lahendiks.

Mittelineaarsete diferentsiaalvõrrandite eksplitsiitseks lahendamiseks on seni vähe võimalusi. Mittelineaarsete võrrandite lahendid võivad käituda vägagi keerukalt, nagu on iseloomulik kaosele. Tihti on raske kindlaks teha isegi lahendite olemasolu ja ühesust.

Teist järku osatuletistega diferentsiaalvõrrandite liigitus

muuda

Laialt kasutust leidvad teist järku osatuletistega lineaarsed diferentsiaalvõrrandid jaotatakse omakorda elliptilist, hüperboolset ja paraboolset tüüpi diferentsiaalvõrranditeks. Samu mõisteid on üldistatud ka mittelineaarsetele võrranditele.

Näiteid

muuda

Esimeses näidete rühmas esitatakse mõned harilikud diferentsiaalvõrrandid. Olgu u tundmatu funktsioon argumendiga x, u′ olgu selle funktsiooni esimene tuletis ja u′′ – teine tuletis. c ja ω on tuntud kordajad.

  • Mittehomogeenne esimest järku harilik diferentsiaalvõrrand:
 
 
  • Homogeenne teist järku harilik diferentsiaalvõrrand:
 
  • Esimest järku harilik mittelineaarne diferentsiaalvõrrand:
 
  • Teist järku mittelineaarne diferentsiaalvõrrand, mis kirjeldab pendlit pikkusega L:
 

Teises näidete rühmas esitatakse mõned osatuletistega diferentsiaalvõrrandid. Olgu otsitav funktsioon u sõltuv muutujatest x ja t või x ja y. Osatuletisi tähistatakse allindeksite abil: näiteks utx tähistab segatuletist muutujates t ja x.

  • Homogeenne osatuletistega diferentsiaalvõrrand:
 
 
 

Tarkvara

muuda


Olulisi diferentsiaalvõrrandeid

muuda

Vaata ka

muuda

Viited

muuda
  1. Ü. Kaasik, Matemaatikaleksikon (2002)
  2. "dsolve".
  3. "Basic Algebra and Calculus".
  4. "Symbolic algebra and Mathematics with Xcas" (PDF).

Kirjandus

muuda

Välislingid

muuda