Vakiokertoimisen lineaariyhtälön karakteristisen yhtälön useampikertaiset juuret

Kiinnitetään aluksi kolme vakiota.

Tarkastelun kohteena olkoon kertalukua oleva vakiokertoiminen homogeeninen differentiaaliyhtälö:

Tämän karakteristinen polynomi on myös astetta . Polynomilla olkoon nollakohta , jonka kertaluku on ():

Tarkoituksena on tutkia, onko yhtälön ratkaisu, kun   (luontevimmin  ):

Vakiokertoimisten yhtälöiden teorian mukaan näin pitäisi olla arvoon saakka.

Differentiaaliyhtälö on

Karakteristinen yhtälö saadaan sijoittamalla yhtälöön yrite ja jakamalla sijoittamisen jälkeen eksponenttitekijä pois. Samaan tulokseen päästään korvaamalla differentiaaliyhtälössä derivaatat vastaavilla muuttujan potensseilla:

Luku on tämän -kertainen juuri, jos ja vain jos se on myös karakteristisen polynomin derivaattojen nollakohta kertalukuun saakka. Kertaluku voidaan siten karakterisoida seuraavilla ehdoilla:

Sijoitetaan ratkaisut () differentiaaliyhtälöön ja tutkitaan, toteutuuko tämä, kun täyttää edellä asetetut ehdot:

Yhtälön toteuttavia ratkaisuja näyttää todellakin olevan nollakohdan kertaluvun mukainen määrä, kuten teorian mukaan pitääkin.

Polynomiehtojen käsittelyyn symboliset laskentajärjestelmät kuten Mathematica käyttävät ns. Gröbnerin kantoja. Probleeman monimutkaistuessa näiden käyttö tulee kuitenkin raskaaksi hyvin nopeasti. Vaikka edellä oleva lasku voidankin periaatteessa laskea millä tahansa arvoilla , , , laskenta alkaa arvojen kasvaessa vaatia aikaa ja muistia todella paljon. Lukija kokeilkoon!