<?xml version="1.0" encoding="iso-8859-1" ?>
<?xml-stylesheet type="text/xsl" href="xsl/mathml.xsl"?>
<?xml-stylesheet type="text/css" href="../navi/css/teor.css"?>
<?xml-stylesheet type="text/css" href="css/ryhyle.css"?>
<html  
xmlns="http://www.w3.org/1999/xhtml"  
><head>
<title>XML</title> 
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> 
<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/mn.html)" /> 
<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/mn.html)" /> 
<!-- xhtml,mozilla --> 
<meta name="src" content="ryhyle.tex" /> 
<meta name="date" content="2005-04-07 09:30:00" /> 
<link rel="stylesheet" type="text/css" href="../navi/css/teor.css" />
<link rel="stylesheet" type="text/css" href="css/ryhyle.css" /> 
</head><body 
>
<h3 class="likesectionHead"><a 
 id="x1-1000"></a>Ryhm&#x00E4;n normaalimuoto</h3>
<!--l. 29--><p class="noindent"><span 
class="aeti-10">Differentiaaliyht</span><span 
class="aeti-10">&#x00E4;</span><span 
class="aeti-10">l</span><span 
class="aeti-10">&#x00F6;</span><span 
class="aeti-10">ryhm</span><span 
class="aeti-10">&#x00E4;</span> muodostuu useasta differentiaaliyht&#x00E4;l&#x00F6;st&#x00E4;, joissa
tuntemattomia funktioita on yht&#x00E4; monta kuin yht&#x00E4;l&#x00F6;it&#x00E4;. Voidaan olettaa, ett&#x00E4;
tuntemattomista funktioista ei esiinny muita kuin ensimm&#x00E4;isen kertaluvun derivaattoja.
Korkeammat derivaatat voidaan nimitt&#x00E4;in poistaa ottamalla k&#x00E4;ytt&#x00F6;&#x00F6;n uusia
tuntemattomia funktioita samaan tapaan kuin yhden yht&#x00E4;l&#x00F6;n normaaliryhm&#x00E4;&#x00E4;
muodostettaessa.
</p><!--l. 37--><p class="noindent">Yleens&#x00E4; ryhm&#x00E4; esitet&#x00E4;&#x00E4;n <span 
class="aeti-10"> normaalimuodossa</span>, so.&#x00A0;derivaattojen suhteen ratkaistuna.
T&#x00E4;ll&#x00F6;in esimerkiksi kahden yht&#x00E4;l&#x00F6;n ryhm&#x00E4; on muotoa
</p>
<div class="math-display"><!--l. 40--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
<mfenced separators="" 
open="{"  close="" ><mrow><mtable  align="axis"  
equalrows="false" equalcolumns="false" class="array"><mtr><mtd 
class="array"  columnalign="left"><msup><mrow 
><mi 
>y</mi></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <mi 
>f</mi><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-punc">,</mo><mi 
>y</mi><mo 
class="MathClass-punc">,</mo><mi 
>z</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo></mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left"><msup><mrow 
><mi 
>z</mi></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <mi 
>g</mi><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-punc">,</mo><mi 
>y</mi><mo 
class="MathClass-punc">,</mo><mi 
>z</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">.</mo></mtd></mtr>
<!--ll--></mtable>                                                                                 </mrow></mfenced>
</mrow></math></div>
<!--l. 45--><p class="nopar"> Tuntemattomat funktiot ovat <!--l. 46--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>x</mi><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math>&#x0020;
ja <!--l. 46--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>y</mi><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math>, riippumaton
muuttuja <!--l. 47--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>t</mi></math>.
</p><!--l. 49--><p class="noindent">Ryhm&#x00E4;, jossa yht&#x00E4;l&#x00F6;it&#x00E4; on <!--l. 49--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>n</mi></math>&#x0020;
kappaletta ja tuntemattomat funktiot ovat <!--l. 50--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>k</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math>,
<!--l. 50--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><mi 
>k</mi> <mo 
class="MathClass-rel">=</mo> <mn>1</mn><mo 
class="MathClass-punc">,</mo><mn>2</mn><mo 
class="MathClass-punc">,</mo><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><mi 
>n</mi></math>, on
vastaavasti
</p>
<div class="math-display"><!--l. 51--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
<mfenced separators="" 
open="{"  close="" ><mrow><mtable  align="axis"  
equalrows="false" equalcolumns="false" class="array"><mtr><mtd 
class="array"  columnalign="left"><msubsup><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msubsup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>f</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo></mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left"><msubsup><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msubsup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>f</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo></mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left">   </mtd><mtd 
class="array"  columnalign="left"><mo 
class="MathClass-op">&#x22EE;</mo>              </mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left"><msubsup><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msubsup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>f</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mo 
class="MathClass-punc">,</mo><mo 
class="MathClass-op">&#x2026;</mo><mo 
class="MathClass-punc">,</mo><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">.</mo></mtd></mtr>
<!--ll--></mtable>                                                                                 </mrow></mfenced>
</mrow></math></div>
                                                                                 
                                                                                 
<!--l. 58--><p class="nopar">
</p><!--l. 60--><p class="noindent">Korkeamman kertaluvun differentiaaliyht&#x00E4;l&#x00F6;&#x00E4; vastaava normaaliryhm&#x00E4; on
erikoistapaus t&#x00E4;llaisesta normaalimuotoisesta differentiaaliyht&#x00E4;l&#x00F6;ryhm&#x00E4;st&#x00E4;.
</p><!--l. 64--><p class="noindent">Sovellusten kannalta t&#x00E4;rkeimpi&#x00E4; ovat <span 
class="aeti-10"> lineaariset </span>differentiaaliyht&#x00E4;l&#x00F6;ryhm&#x00E4;t.
N&#x00E4;m&#x00E4; ovat muotoa
</p>
<div class="math-display"><!--l. 66--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="block" ><mrow 
>
<mfenced separators="" 
open="{"  close="" ><mrow><mtable  align="axis"  
equalrows="false" equalcolumns="false" class="array"><mtr><mtd 
class="array"  columnalign="left"><msubsup><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msubsup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mn>1</mn><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mn>1</mn><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <mo 
class="MathClass-rel">&#x22EF;</mo> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mn>1</mn><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>b</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo> </mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left"><msubsup><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msubsup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mn>2</mn><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mn>2</mn><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <mo 
class="MathClass-rel">&#x22EF;</mo> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mn>2</mn><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>b</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo> </mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left">   </mtd><mtd 
class="array"  columnalign="left"><mo 
class="MathClass-op">&#x22EE;</mo>                                            </mtd>
</mtr><mtr><mtd 
class="array"  columnalign="left"><msubsup><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow><mrow 
><mi 
>&#x2032;</mi></mrow></msubsup 
></mtd><mtd 
class="array"  columnalign="left"> <mo 
class="MathClass-rel">=</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mi 
>n</mi><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>1</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mi 
>n</mi><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mn>2</mn></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <mo 
class="MathClass-rel">&#x22EF;</mo> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mi 
>n</mi><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><msub><mrow 
><mi 
>x</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow> <mo 
class="MathClass-bin">+</mo> <msub><mrow 
><mi 
>b</mi></mrow><mrow 
><mi 
>n</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow><mo 
class="MathClass-punc">,</mo></mtd></mtr>
<!--ll--></mtable>                                                                                 </mrow></mfenced>
</mrow></math></div>
<!--l. 73--><p class="nopar">miss&#x00E4; funktiot <!--l. 74--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mi 
>i</mi><mi 
>j</mi></mrow></msub 
><mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math>&#x0020;
ja <!--l. 74--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>b</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math> ovat tunnettuja.
Jos funktiot <!--l. 75--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>a</mi></mrow><mrow 
><mi 
>i</mi><mi 
>j</mi> </mrow> </msub 
> <mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math>&#x0020;
ovat vakioita, ryhm&#x00E4;&#x00E4; sanotaan <span 
class="aeti-10"> vakiokertoimiseksi</span>. Jos funktiot
<!--l. 76--><math 
 xmlns="http://www.w3.org/1998/Math/MathML" display="inline" ><msub><mrow 
><mi 
>b</mi></mrow><mrow 
><mi 
>i</mi> </mrow> </msub 
> <mrow><mo 
class="MathClass-open">(</mo><mrow><mi 
>t</mi></mrow><mo 
class="MathClass-close">)</mo></mrow></math> ovat
nollafunktioita, ryhm&#x00E4;&#x00E4; sanotaan <span 
class="aeti-10"> homogeeniseksi</span>. (Vrt.&#x00A0;lineaarista differentiaaliyht&#x00E4;l&#x00F6;&#x00E4;
koskeviin nimityksiin.)
</p><!--l. 80--><p class="noindent"><span 
class="ecbx-1000">Linkkej</span><span 
class="ecbx-1000">&#x00E4;</span>
</p><!--l. 80--><p class="noindent"><a 
href="../xml/yhmnor.xml" >normaaliryhm&#x00E4;</a>
<br class="newline" /> <a 
href="../xml/linyht.xml" >lineaarinen differentiaaliyht&#x00E4;l&#x00F6;</a>
<br class="newline" /> <a 
href="../xml/ryhpal.xml" >ryhm&#x00E4;n palauttaminen yhteen yht&#x00E4;l&#x00F6;&#x00F6;n</a>
<br class="newline" /> <a 
href="../xml/algtyp.xml" >erilaiset (lineaariset) yht&#x00E4;l&#x00F6;tyypit</a>
<br class="newline" /> <a 
href="../xml_mma/aurplan.xml" >planeetan liike Auringon ymp&#x00E4;ri (mma-versio)</a>
<br class="newline" /> <a 
href="../xml_mma/varaht2.xml" >v&#x00E4;r&#x00E4;htelev&#x00E4; jousisysteemi (mma-versio)</a>
<br class="newline" /> <a 
href="../xml_mma/virtap5.xml" >monisilmukkainen vaihtovirtapiiri (mma-versio)</a>
<br class="newline" /> <a 
href="../xml_mpl/aurplan.xml" >planeetan liike Auringon ymp&#x00E4;ri (mpl-versio)</a>
<br class="newline" /> <a 
href="../xml_mpl/varaht2.xml" >v&#x00E4;r&#x00E4;htelev&#x00E4; jousisysteemi (mpl-versio)</a>
<br class="newline" /> <a 
href="../xml_mpl/virtap5.xml" >monisilmukkainen vaihtovirtapiiri (mpl-versio)</a>
<br class="newline" />
<br class="newline" />
<span 
class="ecti-1000">Simo K. Kivel</span><span 
class="ecti-1000">&#x00E4;</span>    29.03.2001
</p>
 
</body> 
</html>
