<?xml version="1.0"  encoding="iso-8859-1" ?>
<?xml-stylesheet type="text/xsl" href="xsl/mathml.xsl"?>
<!DOCTYPE MMLEntities [
<!ENTITY af "&#x02061;">
<!ENTITY alpha "&#x003B1;">
<!ENTITY ap "&#x02048;">
<!ENTITY apos "&#x00027;">
<!ENTITY ApplyFunction "&#x02061;">
<!ENTITY Backslash "&#x02216;">
<!ENTITY beta "&#x003B2;">
<!ENTITY cap "&#x02229;">
<!ENTITY CenterDot "&#x000B7;">
<!ENTITY chi "&#x003C7;">
<!ENTITY compfn "&#x02218;">
<!ENTITY cup "&#x0222A;">
<!ENTITY dd "d">
<!ENTITY Del "&#x02207;">
<!ENTITY Delta "&#x00394;">
<!ENTITY delta "&#x003B4;">
<!ENTITY DifferentialD "d">
<!ENTITY DoubleRightArrow "&#x021D2;">
<!ENTITY ee "e">
<!ENTITY empty "&#x02205;&#x02063;">
<!ENTITY emptyset "&#x02205;&#x02063;">
<!ENTITY epsi "&#x003B5;">
<!ENTITY epsilon "&#x003B5;">
<!ENTITY epsiv "&#x0025B;">
<!ENTITY equiv "&#x02261;">
<!ENTITY eta "&#x003B7;">
<!ENTITY exist "&#x02203;">
<!ENTITY Exists "&#x02203;">
<!ENTITY ExponentialE "e">
<!ENTITY forall "&#x02200;">
<!ENTITY ForAll "&#x02200;">
<!ENTITY Gamma "&#x00393;">
<!ENTITY gamma "&#x003B3;">
<!ENTITY Gammad "&#x003DC;">
<!ENTITY gammad "&#x003DC;">
<!ENTITY ge "&#x02265;">
<!ENTITY gt "&#x0003E;">
<!ENTITY ii "i">
<!ENTITY image "&#x02111;">
<!ENTITY ImaginaryI "i">
<!ENTITY in "&#x02208;">
<!ENTITY infin "&#x0221E;">
<!ENTITY Integral "&#x0222B;">
<!ENTITY InvisibleTimes "&#x02062;">
<!ENTITY iota "&#x003B9;">
<!ENTITY it "&#x02062;">
<!ENTITY kappa "&#x003BA;">
<!ENTITY kappav "&#x003F0;">
<!ENTITY Lambda "&#x0039B;">
<!ENTITY lambda "&#x003BB;">
<!ENTITY lceil "&#x02308;">
<!ENTITY le "&#x02264;">
<!ENTITY LeftBracketingBar "|">
<!ENTITY LeftCeiling "&#x02308;">
<!ENTITY LeftFloor "&#x0230A;">
<!ENTITY lfloor "&#x0230A;">
<!ENTITY LowerRightArrow "&#x02198;">
<!ENTITY mu "&#x003BC;">
<!ENTITY nabla "&#x02207;">
<!ENTITY nbsp "&#x000A0;">
<!ENTITY ne "&#x02260;">
<!ENTITY not "&#x000AC;">
<!ENTITY NotElement "&#x02209;">
<!ENTITY NotEqual "&#x02260;">
<!ENTITY notin "&#x02209;">
<!ENTITY NotSubsetEqual "&#x02288;">
<!ENTITY nsub "&#x02284;">
<!ENTITY nsube "&#x02288;">
<!ENTITY nsubseteq "&#x02288;">
<!ENTITY nu "&#x003BD;">
<!ENTITY Omega "&#x003A9;">
<!ENTITY omega "&#x003C9;">
<!ENTITY OverBar "&#x000AF;">
<!ENTITY part "&#x02202;">
<!ENTITY Phi "&#x003A6;">
<!ENTITY phi "&#x003C6;">
<!ENTITY phiv "&#x003D5;">
<!ENTITY Pi "&#x003A0;">
<!ENTITY pi "&#x003C0;">
<!ENTITY piv "&#x003D6;">
<!ENTITY prime "&#x02032;">
<!ENTITY Product "&#x0220F;">
<!ENTITY Psi "&#x003A8;">
<!ENTITY psi "&#x003C8;">
<!ENTITY rarr "&#x02192;">
<!ENTITY rceil "&#x02309;">
<!ENTITY real "&#x0211C;">
<!ENTITY rfloor "&#x0230B;">
<!ENTITY rho "&#x003C1;">
<!ENTITY rhov "&#x003F1;">
<!ENTITY RightArrow "&#x02192;">
<!ENTITY rightarrow "&#x02192;">
<!ENTITY RightBracketingBar "|">
<!ENTITY RightCeiling "&#x02309;">
<!ENTITY RightFloor "&#x0230B;">
<!ENTITY Sigma "&#x003A3;">
<!ENTITY sigma "&#x003C3;">
<!ENTITY sigmav "&#x003C2;">
<!ENTITY sub "&#x02282;">
<!ENTITY sube "&#x02286;">
<!ENTITY SuchThat "&#x0220B;">
<!ENTITY Sum "&#x02211;">
<!ENTITY tau "&#x003C4;">
<!ENTITY Theta "&#x00398;">
<!ENTITY theta "&#x003B8;">
<!ENTITY thetav "&#x003D1;">
<!ENTITY times "&#x000D7;">
<!ENTITY UpperRightArrow "&#x02197;">
<!ENTITY Upsi "&#x003D2;">
<!ENTITY upsi "&#x003C5;">
<!ENTITY vee "&#x02228;">
<!ENTITY wedge "&#x02227;">
<!ENTITY weierp "&#x02118;">
<!ENTITY xi "&#x003BE;">
<!ENTITY Xi "&#x0039E;">
<!ENTITY zeta "&#x003B6;">
]>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>symnum.html</title>
<!-- Created by Maple 8.00, IBM INTEL NT -->
<link href="../navi/css/ratk.css" rel="stylesheet" type="text/css"/>
</head>
<body bgcolor="FFFFFF">

<a href="../mpl/symnum.mws" target="_blank">symnum.mws</a>

<a name="MapleAutoBookmark1" />
<p align="center">
<b><u><font color="#000000" size="5">Differentiaaliyhtälön ratkaiseminen Maplella numeerisesti</font></u></b>
</p>
<p align="left">
</p>
<p align="left">
<font color="#000000">Differentiaaliyhtälön numeerisen ratkaisemisen edellytyksenä on, että kyseessä on </font>
<i><font color="#000000">alkuarvoprobleema</font></i>
<font color="#000000">, ts. annettuna on sekä differentiaaliyhtälö että alkuehto. Etsittävä ratkaisu on yksikäsitteinen eikä sisällä määräämättömiä vakioita. <br />
</font>
</p>
<p align="left">
<b><font color="#000000">Dsolve</font></b>
<font color="#000000">-komennolle voidaan antaa useita erilaisia parametreja ja yksi niistä on </font>
<b><font color="#000000">type=numeric</font></b>
<font color="#000000">, joka laskee ratkaisun numeerisesti. Toinen hyödyllinen parametri on </font>
<b><font color="#000000">output=listprocedure</font></b>
<font color="#000000">, joka käskee </font>
<i><font color="#000000">Maple</font></i>
<font color="#000000">a antamaan ratkaisun sijoitusjoukkona. Lisää tietoa parametreista löytyy </font>
<i><font color="#000000">Maple</font></i>
<font color="#000000">n ohjeesta komennolla </font>
<b><font color="#000000">?dsolve[numeric]</font></b>
<font color="#000000">.</font>
</p>
<p align="left">
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">diffyht:= diff(y(x), x)=x^2-y(x)^2;</font></b>
</td></tr>
</table>
</p>
<p align="center">
<math xmlns='http://www.w3.org/1998/Math/MathML'>
  <mrow>
    <mi>diffyht</mi>
  </mrow>
  <mo>:=</mo>
  <mrow>
    <mrow>
      <mrow>
        <mfrac>
          <mo>&DifferentialD;</mo>
          <mrow>
            <mo>&DifferentialD;</mo>
            <mi>x</mi>
          </mrow>
        </mfrac>
        <mrow>
          <mi>y</mi>
          <mo>&ApplyFunction;</mo>
          <mfenced>
            <mi>x</mi>
          </mfenced>
        </mrow>
      </mrow>
      <mo>=</mo>
      <mrow>
        <msup>
          <mi>x</mi>
          <mn>2</mn>
        </msup>
        <mo>-</mo>
        <msup>
          <mrow>
            <mi>y</mi>
            <mo>&ApplyFunction;</mo>
            <mfenced>
              <mi>x</mi>
            </mfenced>
          </mrow>
          <mn>2</mn>
        </msup>
      </mrow>
    </mrow>
  </mrow>
</math>
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">alkuehto:= y(0)=1;</font></b>
</td></tr>
</table>
</p>
<p align="center">
<math xmlns='http://www.w3.org/1998/Math/MathML'>
  <mrow>
    <mi>alkuehto</mi>
  </mrow>
  <mo>:=</mo>
  <mrow>
    <mrow>
      <mrow>
        <mi>y</mi>
        <mo>&ApplyFunction;</mo>
        <mfenced>
          <mn>0</mn>
        </mfenced>
      </mrow>
      <mo>=</mo>
      <mn>1</mn>
    </mrow>
  </mrow>
</math>
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">numratk:= dsolve({diffyht, alkuehto}, y(x), type=numeric, output=listprocedure);</font></b>
</td></tr>
</table>
</p>
<p align="center">
<img src="images/symnum1.gif" width="476" height="20" alt="numratk := [x = proc (x) option `Copyright (c) 1993 by the University of Waterloo. All rights reserved.`; x end proc, y(x) = proc (x) local res, solnproc, outpoint, ndsol; option `Copyright (c) 2000 by..." />
</p>
<p align="left">
</p>
<p align="left">
<i><font color="#000000">Maple</font></i>
<font color="#000000">n numeerinen ratkaisumenetelmä muodostaa proseduurin, jonka avulla tarkkaa ratkaisua lähellä olevia ratkaisuapproksimaatioita voidaan laskea. Proseduurilla voidaan laskea arvoja kuten funktiolla.</font>
</p>
<p align="left">
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">numratk(0.8);</font></b>
</td></tr>
</table>
</p>
<p align="center">
<math xmlns='http://www.w3.org/1998/Math/MathML'>
  <mfenced open='[' close=']'>
    <mrow>
      <mrow>
        <mi>x</mi>
        <mo>&ApplyFunction;</mo>
        <mfenced>
          <mn>.8</mn>
        </mfenced>
      </mrow>
      <mo>=</mo>
      <mn>.8</mn>
    </mrow>
    <mrow>
      <mrow>
        <mrow>
          <mi>y</mi>
          <mo>&ApplyFunction;</mo>
          <mfenced>
            <mi>x</mi>
          </mfenced>
        </mrow>
        <mo>&ApplyFunction;</mo>
        <mfenced>
          <mn>.8</mn>
        </mfenced>
      </mrow>
      <mo>=</mo>
      <mn>.689747575011284140</mn>
    </mrow>
  </mfenced>
</math>
</p>
<p align="left">
</p>
<p align="left">
<font color="#000000">Toisinaan on hyödyllistä poimia proseduurista jonkin tietyn tuntemattoman ratkaisu. Poimitaan y(</font>
<i><font color="#000000">x</font></i>
<font color="#000000">) ja käytetään sitä kuten funktiota.</font>
</p>
<p align="left">
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">yratk:= subs(numratk,y(x));</font></b>
</td></tr>
</table>
</p>
<p align="center">
<img src="images/symnum2.gif" width="202" height="20" alt="yratk := proc (x) local res, solnproc, outpoint, ndsol; option `Copyright (c) 2000 by Waterloo Maple Inc. All rights reserved.`; _EnvDSNumericSaveDigits := Digits; Digits := 14; if _EnvInFsolve = true ..." />
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">yratk(0.8);</font></b>
</td></tr>
</table>
</p>
<p align="center">
<math xmlns='http://www.w3.org/1998/Math/MathML'>
  <mn>.689747575011284140</mn>
</math>
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"><b><font color="#FF0000">plot(yratk, 0..5);</font></b>
</td></tr>
</table>
</p>
<p align="center">
<img src="images/symnum3.gif" width="448" height="448" alt="[Maple Plot]" />
</p>
<p align="left">
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td valign="top"><tt>&gt; &nbsp;&nbsp;</tt></td>
<td width="100%" valign="top"></td></tr>
</table>
</p>
<p align="left">
<b><font color="#000000" size="5">Proc(</font></b>
<i><b><font color="#000000" size="5">x</font></b></i>
<b><font color="#000000" size="5">) ... en</font></b>
<b><font color="#000000" size="5">d</font></b>
<b><font color="#000000" size="5">&nbsp;</font></b>
<b><font color="#000000" size="5">proc</font></b>
</p>
<p align="left">
</p>
<p align="left">
<i><font color="#000000">Maple</font></i>
<font color="#000000">&nbsp;käyttää oletuksena alkuarvoprobleeman numeeriseen approksimointiin </font>
<i><font color="#000000">rkf45</font></i>
<font color="#000000">-algoritmia. Tuloksena on proseduuri </font>
<b><font color="#000000">proc</font></b>
<font color="#000000">(</font>
<i><font color="#000000">x</font></i>
<font color="#000000">) ... </font>
<b><font color="#000000">end proc</font></b>
<font color="#000000">, jolle voidaan antaa jokin arvo ja se palauttaa approksimaation ratkaisusta tällä arvolla. </font>
</p>
<p align="left">
</p>
<p align="left">
<font color="#000000">Ratkaisualgoritmeja on useita ja </font>
<i><font color="#000000">Maple</font></i>
<font color="#000000">&nbsp;voidaan tarvittaessa käskeä käyttämään jotakin tiettyä algoritmia. Tietoa </font>
<i><font color="#000000">Maple</font></i>
<font color="#000000">n numeerisen approksimoinnin algoritmeista löytyy ohjeesta komennolla </font>
<b><font color="#000000">?dsolve[numeric]</font></b>
<font color="#000000">.</font>
</p>
<p align="left">
</p>
<p align="left">
<b><font color="#000000">Dsolve</font></b>
<font color="#000000">-komennon toimintaa ratkaisun aikana on mahdollista seurata komennolla </font>
<b><font color="#000000">infolevel[dsolve]:=3</font></b>
<font color="#000000">. Oletusarvoisesti </font>
<b><font color="#000000">infolevel</font></b>
<font color="#000000">-arvo on 0. Vastaavasti voidaan seurata myös minkä tahansa muun komennon toimintaa.</font>
</p>
<p align="left">
</p>

<p><b>Linkkejä</b></p>


 <a href="../xml/perrtk.xml">yleinen ja yksittäisratkaisu</a><br/>
 <a href="../xml/peralk.xml">alkuehto</a><br/>
 <a href="../xml/numper.xml">numeerisen ratkaisemisen perusidea</a><br/>
<a href="../xml_mpl/symalg.xml">ratkaiseminen Mathematicalla algebrallisesti</a><br/>

<p align="left">
<i><font color="#000000">SKK &amp; MS 31.05.2001</font></i>
<font color="#000000">&nbsp;</font>
</p>



</body>
</html>
