rtksij.nb |
Olkoon tarkastelun kohteena differentiaaliyhtälö
![[Graphics:Images/rtksij_gr_1.gif]](Images/rtksij_gr_1.gif)
jonka lausekemuotoinen ratkaisu on
![[Graphics:Images/rtksij_gr_3.gif]](Images/rtksij_gr_3.gif)
Kyseessä on ratkaisufunktiota koskeva sijoitussääntö. Vastaavat sijoitussäännöt derivaatoille saadaan tätä derivoimalla:
![[Graphics:Images/rtksij_gr_6.gif]](Images/rtksij_gr_6.gif)
![[Graphics:Images/rtksij_gr_8.gif]](Images/rtksij_gr_8.gif)
Sijoitussäännöt voidaan yhdistää yhdeksi sijoituslistaksi Flatten-komennolla ja sijoittaa yhtälöön:
![[Graphics:Images/rtksij_gr_10.gif]](Images/rtksij_gr_10.gif)
Tämän sieventäminen osoittaa, että yhtälö toteutuu:
![[Graphics:Images/rtksij_gr_12.gif]](Images/rtksij_gr_12.gif)
Hieman vähemmällä päästään, jos differentiaaliyhtälön ratkaisu halutaan funktion eikä lausekkeen muodossa:
![[Graphics:Images/rtksij_gr_14.gif]](Images/rtksij_gr_14.gif)
Sijoittamalla differentiaaliyhtälöön saadaan
![[Graphics:Images/rtksij_gr_16.gif]](Images/rtksij_gr_16.gif)
minkä jälkeen sieventäminen osoittaa, että yhtälö toteutuu:
![[Graphics:Images/rtksij_gr_18.gif]](Images/rtksij_gr_18.gif)
Derivaattoja koskevia sijoitussääntöjä ei siis tarvitse erikseen muodostaa.