Osittaisdifferentiaaliyhtälö

Osittaisdifferentiaaliyhtälö (lyh. ODY) on differentiaaliyhtälö, joka kuvaa funktion riippuvuutta useista keskenään riippumattomista muuttujista. Osittaisdifferentiaaliyhtälöitä käytetään monien matemaattisten ja fysikaalisten ongelmien, kuten lämmön johtumisen tai aaltoliikkeen etenemisen, muotoiluun ja ratkaisuun. Keskenään täysin erilaisilla fysikaalisilla ongelmilla voi olla samanlainen matemaattinen muotoilu.

Esimerkkejä yksinkertaisista osittaisdifferentiaaliyhtälöistä:

$\backslash frac\{\backslash part\; u\}\{\backslash part\; x\}=0\backslash ,$

$\backslash frac\{\backslash part^2\; u\}\{\backslash part\; x^2\}\; +\; \backslash frac\{\backslash part^2\; u\}\{\backslash part\; y^2\}=0,$

Termejä ja merkintöjä

Osittaisderivaattamerkintöjä lyhennetään usein seuraavasti:

$u\_x\; =\; \{\backslash part\; u\; \backslash over\; \backslash part\; x\}$.

Aikaderivaatta lyhennetään joskus pistemerkinnän avulla, mutta tavallisemmin alaindeksillä t:

$\backslash dot\; u\; =\; u\_t\; =\; \{\backslash part\; u\; \backslash over\; \backslash part\; t\}$.

Jos yhtälössä esiintyy ainoastaan ensimmäisiä derivaattoja, sanotaan yhtälön olevan ensimmäisen kertaluvun osittaisdifferentiaaliyhtälö. Monissa käytännön sovelluksissa tarvitaan kuitenkin toisia derivaattoja

$u\_\{xx\}\; =\; \backslash frac\{\backslash part^2\; u\}\{\backslash part\; x^2\}$

ja vastaavasti

$u\_\{xy\}\; =\; \{\backslash part^2\; u\; \backslash over\; \backslash part\; y\backslash ,\; \backslash part\; x\}\; =\; \{\backslash part\; \backslash over\; \backslash part\; y\; \}\; \backslash left(\{\backslash part\; u\; \backslash over\; \backslash part\; x\}\backslash right)$.

Usein käytetään myös niin kutsuttua nabla-operaattoria, mikä karteesisissa koordinaateissa kirjoitetaan seuraavasti:

$\backslash nabla=(\backslash part\_x,\backslash part\_y,\backslash part\_z)$ missä $\backslash part\_x\; =\; \{\backslash part\; \backslash over\; \backslash part\; x\}$.

Yleisesti yhtälön kertaluku määräytyy korkeimman derivaatan kertaluvusta, aivan kuten tavallistenkin differentiaaliyhtälöiden tapauksessa.

Jos yhtälö on ensimmäistä astetta riippuvan muuttujan ja sen derivaattojen suhteen ODY on lineaarinen. Jos lineaarisuus rajoittuu korkeimman kertaluvun derivaattoihin, yhtälö on kvasilineaarinen. Jos yhtälö on kvasilineaarinen muuten, mutta korkeimman kertaluvun derivaattojen kertoimet riippuvat ainoastaan riippumattomista muuttujista yhtälön sanotaan olevan melkein lineaarinen.

Ratkaisun olemassaolo ja yksikäsitteisyys

Osittaisdifferentiaaliyhtälöiden ratkeavuus on vielä tavallisia differentiaaliyhtälöitäkin heikompi, eikä analyyttistä ratkaisua suljetussa muodossa ole olemassa joitakin poikkeuksia lukuun ottamatta. Koska ratkaisussa saattaa olla useita muuttujia, tavallisten differentiaaliyhtälöiden ratkaisemisesta poiketen osittaisdifferentiaaliyhtälön ratkaisuun voi jäädä vakioidensijasta kokonaisia tuntemattomia funktioita. Esimerkiksi erittäin yksinkertaisen yhtälön

$\backslash frac\{\backslash part\; u\}\{\backslash part\; x\}\; =\; 0$

ratkaisuksi kelpaa mikä tahansa funktio

$u(x,y)\; =\; f(y)\backslash ,$.

Siksi yksilöllisen ratkaisun löytämiseksi on tunnettava etsittävän funktion käyttäytymistä laajemmin. Tyypillinen osittaisdifferentiaaliyhtälön ratkaisu on reuna-arvotehtävä, sillä voidaan osoittaa, että pisteen $(x,y)$ kautta tason alueessa kulkee taskalleen yksi ratkaisukäyrä, joka toteuttaa ehdon $u\; =\; u(x,C)$ (C on vakio) silloin, jos alueessa on voimassa Lipschitzin ehto

$|f(x,y\_1)\; -\; f(x,y\_2)|\; \backslash le\; L|y\_1\; -\; y\_2|$.

Yleisin ratkeavuutta koskeva tulos on Cauchyn–Kovalevskajan lause;, jonka mukaan yhtälöä koskevan Cauchyn tehtävän analyyttinen ratkaisu on yksikäsitteisenä olemassa, jos ODY on analyyttinen ratkaisun ja sen kaikkien derivaattojen suhteen. On kuitenkin löydettävissä jo melko yksinkertaisiakin osittaisdifferentiaaliyhtälöitä, joilla tämä ehto ei toteudu. Myös siinä tapauksessa, että ratkaisu on olemassa ja se on yksikäsitteinen, sillä saattaa olla ominaisuuksia, jotka tekevät siitä epäkäytännöllisen.

Osittaisdifferentiaaliyhtälöiden ratkaiseminen tapahtuu käytännössä lähes aina tietokonemallien avulla.

Tunnettuja osittaisdifferentiaaliyhtälöitä

Toisen kertaluvun ODYja

Tyypillisiä fysikaalisten systeemien kuvauksia.

• Elliptiset yhtälöt
  • Laplacen yhtälö
  • Poissonin yhtälö
• Hyperboliset yhtälöt
  • Aaltoyhtälö
• Paraboliset yhtälöt
  • Lämpöyhtälö
  • Schrödingerin yhtälö

Korkeamman kertaluvun ODYja

Näitä tulee vastaan tavallisesti solitonien yhteydessä.

• Dimin yhtälö (3.kl)
• Kortewegin–de Vriesin -yhtälö; (4.kl)

Katso myös

• Mallintaminen
• Differentiaalilaskenta
• Derivaatta

Aiheesta muualla

• Partial differential equations mathworld.wolfram.com:n osittaisdifferentiaaliyhtälösivut (englanniksi)