numryh.nb

Differentiaaliyhtälöryhmän numeerinen ratkaiseminen

Ensimmäisen kertaluvun differentiaaliyhtälöryhmä — vaikkapa korkeamman kertaluvun yhtälöä vastaava normaaliryhmä — voidaan ratkaista numeerisesti täsmälleen samanlaisilla kaavoilla kuin ensimmäisen kertaluvun yhtälö $y\text{'}=f\left(x,y\right)$. Edellytyksenä luonnollisesti on, että alkuehto on annettu.

Seuraavat koodit ovat täsmälleen samat kuin ensimmäisen kertaluvun yhtälöä koskevassa esimerkissä. (Solut on ajettava, jotta määritelmät tulevat voimaan.)

In[1]:=

$\mathrm{euler}\left[\text{f\_},\text{x0\_},\text{y0\_},\text{h\_},\text{xend\_}\right]:=\mathrm{Module}\left[\left\{X,Y,\mathrm{kend}\right\},X\left[0\right]=\mathrm{x0};X\left[\text{k\_}\right]:=X\left[k\right]=X\left[k-1\right]+h;Y\left[0\right]=\mathrm{y0};Y\left[\text{k\_}\right]:=Y\left[k\right]=Y\left[k-1\right]+hf\left[X\left[k-1\right],Y\left[k-1\right]\right];\mathrm{kend}=\mathrm{Round}\left[\left(\mathrm{xend}-\mathrm{x0}\right)/h\right];\mathrm{Table}\left[\left\{X\left[k\right],Y\left[k\right]\right\},\left\{k,0,\mathrm{kend}\right\}\right]\right]$

$\mathrm{General}\text{::}\mathrm{spell1}:\text{Possible spelling error: new symbol name "}\mathrm{kend}\text{" is similar to existing symbol "}\mathrm{xend}\text{".}\mathrm{More\dots }$

In[2]:=

$\mathrm{pareuler}\left[\text{f\_},\text{x0\_},\text{y0\_},\text{h\_},\text{xend\_}\right]:=\mathrm{Module}\left[\left\{X,Y,\mathrm{kend}\right\},X\left[0\right]=\mathrm{x0};X\left[\text{k\_}\right]:=X\left[k\right]=X\left[k-1\right]+h;Y\left[0\right]=\mathrm{y0};Y\left[\text{k\_}\right]:=Y\left[k\right]=Y\left[k-1\right]+h/2\left(f\left[X\left[k-1\right],Y\left[k-1\right]\right]+f\left[X\left[k\right],Y\left[k-1\right]+hf\left[X\left[k-1\right],Y\left[k-1\right]\right]\right]\right);\mathrm{kend}=\mathrm{Round}\left[\left(\mathrm{xend}-\mathrm{x0}\right)/h\right];\mathrm{Table}\left[\left\{X\left[k\right],Y\left[k\right]\right\},\left\{k,0,\mathrm{kend}\right\}\right]\right]$

In[3]:=

$\mathrm{rungekutta}\left[\text{f\_},\text{x0\_},\text{y0\_},\text{h\_},\text{xend\_}\right]:=\mathrm{Module}\left[\left\{X,Y,\mathrm{kend}\right\},X\left[0\right]=\mathrm{x0};X\left[\text{k\_}\right]:=X\left[k\right]=X\left[k-1\right]+h;Y\left[0\right]=\mathrm{y0};Y\left[\text{k\_}\right]:=Y\left[k\right]=Y\left[k-1\right]+1/6\mathrm{Module}\left[\left\{\mathrm{k1},\mathrm{k2},\mathrm{k3},\mathrm{k4}\right\},\mathrm{k1}=hf\left[X\left[k-1\right],Y\left[k-1\right]\right];\mathrm{k2}=hf\left[X\left[k-1\right]+h/2,Y\left[k-1\right]+\mathrm{k1}/2\right];\mathrm{k3}=hf\left[X\left[k-1\right]+h/2,Y\left[k-1\right]+\mathrm{k2}/2\right];\mathrm{k4}=hf\left[X\left[k-1\right]+h,Y\left[k-1\right]+\mathrm{k3}\right];\mathrm{k1}+2\mathrm{k2}+2\mathrm{k3}+\mathrm{k4}\right];\mathrm{kend}=\mathrm{Round}\left[\left(\mathrm{xend}-\mathrm{x0}\right)/h\right];\mathrm{Table}\left[\left\{X\left[k\right],Y\left[k\right]\right\},\left\{k,0,\mathrm{kend}\right\}\right]\right]$

In[4]:=

$\mathrm{adamsbashforth}\left[\text{f\_},\text{x0\_},\text{y0\_},\text{h\_},\text{xend\_}\right]:=\mathrm{Module}\left[\left\{X,Y,\mathrm{kend}\right\},X\left[0\right]=\mathrm{x0};X\left[\text{k\_}\right]:=X\left[k\right]=X\left[k-1\right]+h;Y\left[0\right]=\mathrm{y0};Y\left[\text{k\_}/;k<=3\right]:=Y\left[k\right]=Y\left[k-1\right]+1/6\mathrm{Module}\left[\left\{\mathrm{k1},\mathrm{k2},\mathrm{k3},\mathrm{k4}\right\},\mathrm{k1}=hf\left[X\left[k-1\right],Y\left[k-1\right]\right];\mathrm{k2}=hf\left[X\left[k-1\right]+h/2,Y\left[k-1\right]+\mathrm{k1}/2\right];\mathrm{k3}=hf\left[X\left[k-1\right]+h/2,Y\left[k-1\right]+\mathrm{k2}/2\right];\mathrm{k4}=hf\left[X\left[k-1\right]+h,Y\left[k-1\right]+\mathrm{k3}\right];\mathrm{k1}+2\mathrm{k2}+2\mathrm{k3}+\mathrm{k4}\right];Y\left[\text{k\_}/;k>3\right]:=Y\left[k\right]=Y\left[k-1\right]+h/24\left(55f\left[X\left[k-1\right],Y\left[k-1\right]\right]-59f\left[X\left[k-2\right],Y\left[k-2\right]\right]+37f\left[X\left[k-3\right],Y\left[k-3\right]\right]-9f\left[X\left[k-4\right],Y\left[k-4\right]\right]\right);\mathrm{kend}=\mathrm{Round}\left[\left(\mathrm{xend}-\mathrm{x0}\right)/h\right];\mathrm{Table}\left[\left\{X\left[k\right],Y\left[k\right]\right\},\left\{k,0,\mathrm{kend}\right\}\right]\right]$

Esimerkkinä olkoon differentiaaliyhtälö $y\text{''}+xy=0$ alkuehtona $y\left(0\right)=0$, $y\text{'}\left(0\right)=1$. Kyseessä on Airyn yhtälö, jossa x-akselin suunta on käännetty, ts. $x$:n merkki on vaihdettu. Yhtälöä vastaava normaaliryhmä muodostuu kahdesta yhtälöstä $y\text{'}=z$, $z\text{'}=-xy$ alkuehtona $y\left(0\right)=0$, $z\left(0\right)=1$. Vektorimuodossa normaaliryhmä on $Y\text{'}=F\left(x,Y\right)$; oikean puolen vektoriarvoinen funktio määritellään Mathematicalle seuraavasti:

In[5]:=

$f\left[\text{x\_},\left\{\text{y\_},\text{z\_}\right\}\right]:=\left\{z,-xy\right\}$

Askelpituus ja arvo, jolla alkuehto annetaan:

In[6]:=

$h=0.1$

Out[6]=

$0.1$

In[7]:=

$\mathrm{x0}=0$

Out[7]=

$0$

Tuntemattomana funktiona on vektori $Y=\left(y,z\right)$, joten alkuarvo on myös vektori:

In[8]:=

$\mathrm{y0}=\left\{0,1\right\}$

Out[8]=

$\left\{0,1\right\}$

Lasketaan välillä $\left[0,10\right]$:

In[9]:=

$\mathrm{xend}=10$

Out[9]=

$10$

Ratkaisufunktion approksimaatio jokaisessa pisteessä $x_k$ saadaan kaksikomponenttisena vektorina. Edellinen komponentti on itse funktion $y$ arvo, jälkimmäinen sen derivaatan $z=y\text{'}$ arvo:

In[10]:=

$\mathrm{eulerdata}=\mathrm{euler}\left[f,\mathrm{x0},\mathrm{y0},h,\mathrm{xend}\right];$

$\mathrm{Short}\left[\mathrm{eulerdata},10\right]$

Out[11]//Short=

$\left\{\left\{0,\left\{0,1\right\}\right\},\left\{0.1,\left\{0.1,1\right\}\right\},\left\{0.2,\left\{0.2,0.999\right\}\right\},\left\{0.30000000000000004,\left\{0.2999,0.995\right\}\right\},\left\{0.4,\left\{0.3994,0.986003\right\}\right\},\left\{0.5,\left\{0.49800029999999995,0.970027\right\}\right\},\left\{0.6,\left\{0.595003,0.9451269849999999\right\}\right\},88,\left\{9.499999999999982,\left\{2.7977150730386455,17.535917325748326\right\}\right\},\left\{9.599999999999982,\left\{4.5513068056134784,14.878088006361617\right\}\right\},\left\{9.699999999999982,\left\{6.0391156062496405,10.508833472972686\right\}\right\},\left\{9.799999999999981,\left\{7.0899989535469095,4.650891334910545\right\}\right\},\left\{9.89999999999998,\left\{7.555088087037964,-2.297307639565412\right\}\right\},\left\{9.99999999999998,\left\{7.325357323081422,-9.776844845732981\right\}\right\}\right\}$

Muuttujaan eulerdata talletettu tulostus on huomattavan pitkä, ja siitä on Mathematican Short-funktion avulla kirjoitettu näkyviin vain osa. Merkintä <<...>> osoittaa, kuinka monta termiä on jätetty pois.

Tästä voidaan poimia vain argumentin $x$ ja funktion $y$ arvot sijoitussäännöllä, minkä jälkeen voidaan piirtää kuva:

In[12]:=

$\mathrm{poiminta}=\left\{\text{x\_},\left\{\text{y\_},\text{z\_}\right\}\right\}:>\left\{x,y\right\}$

Out[12]=

$\left\{\text{x\_},\left\{\text{y\_},\text{z\_}\right\}\right\}⧴\left\{x,y\right\}$

In[13]:=

$\mathrm{eulerdata}=\mathrm{eulerdata}/.\mathrm{poiminta};$

$\mathrm{Short}\left[\mathrm{eulerdata},10\right]$

Out[14]//Short=

$\left\{\left\{0,0\right\},\left\{0.1,0.1\right\},\left\{0.2,0.2\right\},\left\{0.30000000000000004,0.2999\right\},\left\{0.4,0.3994\right\},\left\{0.5,0.49800029999999995\right\},\left\{0.6,0.595003\right\},\left\{0.7,0.6895156984999999\right\},\left\{0.7999999999999999,0.7804583789999999\right\},83,\left\{9.199999999999983,-2.363494853622525\right\},\left\{9.299999999999983,-0.8132637383119876\right\},\left\{9.399999999999983,0.9544089035318215\right\},\left\{9.499999999999982,2.7977150730386455\right\},\left\{9.599999999999982,4.5513068056134784\right\},\left\{9.699999999999982,6.0391156062496405\right\},\left\{9.799999999999981,7.0899989535469095\right\},\left\{9.89999999999998,7.555088087037964\right\},\left\{9.99999999999998,7.325357323081422\right\}\right\}$

In[15]:=

$\mathrm{eulerkuva}=\mathrm{ListPlot}\left[\mathrm{eulerdata}\right]$

Out[15]=

$⁃\mathrm{Graphics}⁃$

Vastaavat laskut muita menetelmiä käyttäen:

In[16]:=

$\mathrm{pareulerdata}=\mathrm{pareuler}\left[f,\mathrm{x0},\mathrm{y0},h,\mathrm{xend}\right]/.\mathrm{poiminta};$

$\mathrm{Short}\left[\mathrm{pareulerdata},10\right]$

Out[17]//Short=

$\left\{\left\{0,0\right\},\left\{0.1,0.1\right\},\left\{0.2,0.19990000000000002\right\},\left\{0.30000000000000004,0.29940015000000003\right\},\left\{0.4,0.39800179970000005\right\},\left\{0.5,0.49501054400075006\right\},\left\{0.6,0.5895422455724978\right\},\left\{0.7,0.6805329810917305\right\},\left\{0.7999999999999999,0.7667537955497427\right\},84,\left\{9.299999999999983,0.34957368563107055\right\},\left\{9.399999999999983,0.5330607443322765\right\},\left\{9.499999999999982,0.6656760997763018\right\},\left\{9.599999999999982,0.7338621676298568\right\},\left\{9.699999999999982,0.7300797258834556\right\},\left\{9.799999999999981,0.653771119600117\right\},\left\{9.89999999999998,0.5116579091274052\right\},\left\{9.99999999999998,0.3173048438004902\right\}\right\}$

In[18]:=

$\mathrm{pareulerkuva}=\mathrm{ListPlot}\left[\mathrm{pareulerdata}\right]$

Out[18]=

$⁃\mathrm{Graphics}⁃$

In[19]:=

$\mathrm{rungekuttadata}=\mathrm{rungekutta}\left[f,\mathrm{x0},\mathrm{y0},h,\mathrm{xend}\right]/.\mathrm{poiminta};$

$\mathrm{Short}\left[\mathrm{rungekuttadata},10\right]$

Out[20]//Short=

$\left\{\left\{0,0\right\},\left\{0.1,0.09999166666666667\right\},\left\{0.2,0.19986668888784723\right\},\left\{0.30000000000000004,0.2993254228144196\right\},\left\{0.4,0.39786988955946756\right\},\left\{0.5,0.49480709743178075\right\},\left\{0.6,0.5892553280890339\right\},\left\{0.7,0.6801543216772865\right\},\left\{0.7999999999999999,0.7662802304298346\right\},84,\left\{9.299999999999983,0.22354984520810733\right\},\left\{9.399999999999983,0.4182796233500185\right\},\left\{9.499999999999982,0.5739719413621285\right\},\left\{9.599999999999982,0.6755516464974587\right\},\left\{9.699999999999982,0.7127923055928019\right\},\left\{9.799999999999981,0.6814588129958778\right\},\left\{9.89999999999998,0.5839077185639681\right\},\left\{9.99999999999998,0.4290569742242984\right\}\right\}$

In[21]:=

$\mathrm{rungekuttakuva}=\mathrm{ListPlot}\left[\mathrm{rungekuttadata}\right]$

Out[21]=

$⁃\mathrm{Graphics}⁃$

In[22]:=

$\mathrm{adamsbashforthdata}=\mathrm{adamsbashforth}\left[f,\mathrm{x0},\mathrm{y0},h,\mathrm{xend}\right]/.\mathrm{poiminta};$

$\mathrm{Short}\left[\mathrm{adamsbashforthdata},10\right]$

Out[23]//Short=

$\left\{\left\{0,0\right\},\left\{0.1,0.09999166666666667\right\},\left\{0.2,0.19986668888784723\right\},\left\{0.30000000000000004,0.2993254228144196\right\},\left\{0.4,0.3978692041310846\right\},\left\{0.5,0.49480333113659497\right\},\left\{0.6,0.5892466623314343\right\},\left\{0.7,0.6801377099708457\right\},\left\{0.7999999999999999,0.7662522007264048\right\},84,\left\{9.299999999999983,0.20829944038717935\right\},\left\{9.399999999999983,0.40112034730781143\right\},\left\{9.499999999999982,0.5564746077392713\right\},\left\{9.599999999999982,0.6594529215572292\right\},\left\{9.699999999999982,0.6998286406634756\right\},\left\{9.799999999999981,0.6731835206011478\right\},\left\{9.89999999999998,0.5815093678274658\right\},\left\{9.99999999999998,0.43319928300302807\right\}\right\}$

In[24]:=

$\mathrm{adamsbashforthkuva}=\mathrm{ListPlot}\left[\mathrm{adamsbashforthdata}\right]$

Out[24]=

$⁃\mathrm{Graphics}⁃$

Esimerkkinä oleva alkuarvoprobleema voidaan ratkaista myös tarkasti Airyn funktioiden avulla. Mathematica (versio 4.1) ei kuitenkaan osaa ratkaista kyseessä olevaa normaaliryhmää, joten on tarkasteltava alkuperäistä Airyn yhtälöä:

In[25]:=

$\mathrm{tarkkaratkaisu}=y/.\mathrm{First}\left[\mathrm{DSolve}\left[\left\{y\text{''}\left[x\right]+xy\left[x\right]⩵0,y\left[0\right]⩵0,y\text{'}\left[0\right]⩵1\right\},y,x\right]\right]$

Out[25]=

$\mathrm{Function}\left[\left\{x\right\},\frac{1}{6}\left(3{\left(-1\right)}^{2/3}{3}^{1/3}\mathrm{AiryAi}\left[{\left(-1\right)}^{1/3}x\right]\mathrm{Gamma}\left[\frac{1}{3}\right]-{\left(-1\right)}^{2/3}{3}^{5/6}\mathrm{AiryBi}\left[{\left(-1\right)}^{1/3}x\right]\mathrm{Gamma}\left[\frac{1}{3}\right]\right)\right]$

In[26]:=

$\mathrm{tarkkakuva}=\mathrm{Plot}\left[\mathrm{tarkkaratkaisu}\left[x\right],\left\{x,0,\mathrm{xend}\right\}\right]$

Out[26]=

$⁃\mathrm{Graphics}⁃$

Eri menetelmillä saadut approksimaatiot ja tarkka ratkaisu verrattuina:

In[27]:=

$\mathrm{kuva}=\mathrm{Show}\left[\mathrm{eulerkuva},\mathrm{pareulerkuva},\mathrm{rungekuttakuva},\mathrm{adamsbashforthkuva},\mathrm{tarkkakuva},\mathrm{PlotRange}->\mathrm{All}\right]$

Out[27]=

$⁃\mathrm{Graphics}⁃$

Tarkan ratkaisun tarkkuus riippuu luonnollisesti siitä, miten Mathematica laskee ratkaisussa esiintyvien Airyn funktioiden ja gammafunktion arvot.

Vertailun vuoksi alkuarvoprobleema voidaan ratkaista myös Mathematican käyttämällä numeerisen ratkaisemisen algoritmilla, joka on edellä esitettyjä kehittyneempi:

In[28]:=

$\mathrm{numeerinenratkaisu}=y/.\mathrm{First}\left[\mathrm{NDSolve}\left[\left\{y\text{''}\left[x\right]+xy\left[x\right]⩵0,y\left[0\right]⩵0,y\text{'}\left[0\right]⩵1\right\},y,\left\{x,\mathrm{x0},\mathrm{xend}\right\}\right]\right]$

Out[28]=

$\mathrm{InterpolatingFunction}\left[\left\{\left\{0.,10.\right\}\right\},<>\right]$

Tulos on interpolaatiofunktio, jonka arvo välin päätepisteessä voidaan laskea tavalliseen tapaan. Eri ratkaisujen antamat arvot loppupisteessä $x=10$:

In[29]:=

$\left\{\mathrm{Last}\left[\mathrm{eulerdata}\right]\left[\left[2\right]\right],\mathrm{Last}\left[\mathrm{pareulerdata}\right]\left[\left[2\right]\right],\mathrm{Last}\left[\mathrm{rungekuttadata}\right]\left[\left[2\right]\right],\mathrm{Last}\left[\mathrm{adamsbashforthdata}\right]\left[\left[2\right]\right],\mathrm{tarkkaratkaisu}\left[\mathrm{xend}\right]//N,\mathrm{numeerinenratkaisu}\left[\mathrm{xend}\right]\right\}$

Out[29]=

$\left\{7.325357323081422,0.3173048438004902,0.4290569742242984,0.43319928300302807,0.4287192528607993\text{}+2.090920029710711\times {10}^{-15}i,0.4287193400521802\right\}$

Linkkejä

korkeamman kertaluvun yhtälön numeerinen ratkaiseminen
Eulerin menetelmä
parannettu Eulerin menetelmä
Rungen - Kuttan menetelmä
Adamsin - Bashforthin menetelmä
normaaliryhmä

SKK 30.04.2001

Created by Mathematica  (July 21, 2004)