出典: フリー教科書『ウィキブックス(Wikibooks)』
さて本論に入るための準備として,表記法の簡略化をかねて微分方程式の特性方程式について説明をしておく.
以後
は
の関数で必要回数微分可能としておく.
そこで
を
と略記する.
すなわち,
![{\displaystyle Dx:={\frac {dx}{dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a79af55aa460806eac8dad8dbfd9dbd5a464d5a1)
と定め,順次
![{\displaystyle D^{2}x:=D(Dx)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f436c1d9843481a34f00630f4ee380f322e6fa0c)
![{\displaystyle D^{3}x:=D^{2}(Dx)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bea305884fa2bd175bf54af574fbb269deda347c)
![{\displaystyle D^{4}x:=D^{3}(Dx)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e91c9984d7f077490179da79f20a90bd2e82693)
と定義して行けば
![{\displaystyle D^{m}(D^{n}x)=D^{m+n}x=D^{n}(D^{m}x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1891311198446396994090d8f2daa296ed4b1de)
が成立することは明らかであろう.さて上のように定義すると,
![{\displaystyle D^{m}x={\frac {d^{m}}{dt^{m}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3d011e7752386ee5f6d0528cbf269dfe89b8662)
となるので,微分方程式,
(3.9)
![{\displaystyle {\frac {d^{n}x}{dt^{n}}}+a_{1}{\frac {d^{n-1}x}{dt^{n-1}}}+a_{2}{\frac {d^{n-2}x}{dt^{n-2}}}+\cdots +a_{n-1}{\frac {dx}{dt}}+a_{n}x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/565949afa83f828e6dc5bf12178a85fb6e38338c)
は,
![{\displaystyle D^{n}x+a_{1}D^{n-1}x+a_{2}D^{n-2}x+\cdots +a_{n-1}Dx+a_{n}x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9937ea2d1ae2c8bc07f49d79ce877e5436f836f1)
と書くことができる.そこで,
(3.9a)
![{\displaystyle (D^{n}+a_{1}D^{n-1}+a_{2}D^{n-2}+\cdots a_{n-1}D+a_{n})x:=D^{n}x+a_{1}D^{n-1}x+a_{2}D^{n-2}x+\cdots +a_{n-1}Dx+a_{n}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2f1c3cedccd2015232bec9ba34f9cda9310b509)
と定義し,
![{\displaystyle p(D):=D^{n}+a_{1}D^{n-1}+a_{2}D^{n-2}+\cdots a_{n-1}D+a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c12b94ebddd5c4e7f857d0ab5f240b7ff2922bc0)
とおけば,微分方程式 (3.1) は,
(3.10)
![{\displaystyle p(D)x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/433eeedc9ee32edf3b41835536c6dc2682f3b382)
と簡潔に表すことができる.
を微分作用素といい,以下ではこのような表記法を用いて記述を簡単にする.
さて上述のように微分方程式(3.1) から多項式
(3.11)
![{\displaystyle p(s)=s^{n}+a_{1}s^{n-1}+a_{2}s^{n-2}+\cdots a_{n-1}s+a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7803399214c2bf114c22a68df908d5beb74d1dae)
が得られ,逆に多項式(3.11) に対応して,
同次の微分方程式 (3.1) が定まる.このような理由から,多項式(3.11) を微分方程式 (3.1) の特性多項式と呼ぶことにする.
この特性多項式を用いると,非同次の微分方程式 (3.2) も,
![{\displaystyle p(D)x=f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd4d1c6347aa760f28992f9ec3796d753cf9862a)
と略記することができて便利である.[1]
- ^
このような記号法は論理代数で有名な Boole の工夫になるという.