制御と振動の数学/第一類/演算子法の誕生/ある思いつき

まず 1 階の微分方程式
を解くことを考えよう.ここに a {\displaystyle a} は定数とする.いま,
とおくと,式(1.1)は,
すなわち
と書くことことができる.ここで p {\displaystyle p} を普通の数のように考えることができるものと仮定して, p + a {\displaystyle p+a} で割ると,
となる.そこでなんらかの方法で割り算が実行できて,簡単に解が求まれば好都合である.しばらく厳密な論理性の追求はあとまわしにし, 正しい解が得られればよいと割り切って,自由奔放に考えていこう.
例1 {\displaystyle \quad }
この場合, p {\displaystyle p} を用いて x {\displaystyle x} を表すと,
となる. p {\displaystyle p} が微分であることを念頭において,小学校以来おなじみの割り算を筆算で実行しよう.
t 2 t − 1 1 + p ) t 2 3 t t 2 2 t t t + 1 − 1 − 1 0 {\displaystyle {\begin{array}{lcl}&&t^{2}&t&-1\\\hline 1+p&)&t^{2}&3t&\\&&t^{2}&2t&\\\hline &&&t&\\&&&t&+1\\\hline &&&&-1\\&&&&-1\\\hline &&&&0\\\end{array}}}
と割り切れ,商
を得る.上の割り算の手順は次の通りである.まず t 2 {\displaystyle t^{2}} を 1 {\displaystyle 1} で割ると t 2 {\displaystyle t^{2}} が立つ. そこで, t 2 {\displaystyle t^{2}} に 1 + p {\displaystyle 1+p} をかけて,
と計算する. p {\displaystyle p} は微分だから、 p ⋅ t 2 = 2 t {\displaystyle p\cdot t^{2}=2t} .被除数 t 2 + 3 t {\displaystyle t^{2}+3t} から上式をを引くと,
となる.次に t {\displaystyle t} を 1 {\displaystyle 1} で割ると t {\displaystyle t} が立つ.これに ( 1 + p ) {\displaystyle (1+p)} をかけ, t + 1 {\displaystyle t+1} を得る. t {\displaystyle t} からこれを引いて − 1 {\displaystyle -1} を得る. ⋯ {\displaystyle \cdots } という通常の手順に従えばよいのである. このようにして求めた商,式(1.3)が 式(1.2)の解である保証はない.それゆえ吟味が必要である.
よって間違いなく,式(1.2)の解である.初期値は x ( 0 ) = − 1 {\displaystyle x(0)=-1} となっている.
例2 {\displaystyle \quad }
を上の方法で解き,それが解であることを確かめよ.
解答例 {\displaystyle \quad }
t 3 − 12 t + 36 1 + 3 p + 2 p 2 ) t 3 + 9 t 2 t 3 + 9 t + 12 t − 12 t − 12 t − 36 + 36 + 36 0 {\displaystyle {\begin{array}{lcl}&&t^{3}&&-12t&+36\\\hline 1+3p+2p^{2}&)&t^{3}&+9t^{2}&\\&&t^{3}&+9t&+12t\\\hline &&&&-12t\\&&&&-12t&-36\\\hline &&&&&+36\\&&&&&+36\\\hline &&&&&0\\\end{array}}}
( t 3 + 9 t 2 ) / ( 1 + 3 p + 2 p 2 ) = t 3 ⋯ ⋯ − 12 t {\displaystyle (t^{3}+9t^{2})/(1+3p+2p^{2})=t^{3}\cdots \cdots -12t}
− 12 t / ( 1 + 3 p + 2 p 2 ) = − 12 t ⋯ ⋯ 36 {\displaystyle -12t/(1+3p+2p^{2})=-12t\cdots \cdots 36}
36 / ( 1 + 3 p + 2 p 2 ) = 36 ⋯ ⋯ 0 {\displaystyle 36/(1+3p+2p^{2})=36\cdots \cdots 0}
∴ x = t 3 − 12 t + 36 {\displaystyle \therefore x=t^{3}-12t+36} 次に検算を実施する。 x = t 3 − 12 t + 36 {\displaystyle x=t^{3}-12t+36} のとき、
すなわち x = t 3 − 12 t + 36 {\displaystyle x=t^{3}-12t+36} は 2 d 2 x d t 2 + 3 d x d t + x = t 3 + 9 t 2 {\displaystyle 2{\frac {d^{2}x}{dt^{2}}}+3{\frac {dx}{dt}}+x=t^{3}+9t^{2}} の解のひとつ.

例1では,除数が 1 + p {\displaystyle 1+p} であった.定数 1 {\displaystyle 1} があるため,割り算が簡単になった. そこで定数項の欠けた次の例を考えてみよう.
例3 {\displaystyle \quad }
p = d d t , p 2 = d 2 d t 2 {\displaystyle p={\frac {d}{dt}},\quad p^{2}={\frac {d^{2}}{dt^{2}}}} とおけば,
となるから,割り算を実行すると,
t 3 3 t 2 2 − t p + p 2 ) t 2 3 t t 2 2 t t t 1 − 1 − 1 0 {\displaystyle {\begin{array}{lcl}&&{\frac {t^{3}}{3}}&{\frac {t^{2}}{2}}&-t\\\hline p+p^{2}&)&t^{2}&3t&\\&&t^{2}&2t&\\\hline &&&t&\\&&&t&\ 1\\\hline &&&&-1\\&&&&-1\\\hline &&&&\ \ 0\\\end{array}}}
( t 2 + 3 t ) / ( p + p 2 ) = t 3 3 ⋯ ⋯ t {\displaystyle (t^{2}+3t)/(p+p^{2})={\frac {t^{3}}{3}}\cdots \cdots t}
t / ( p + p 2 ) = t 2 2 ⋯ ⋯ − 1 {\displaystyle t/(p+p^{2})={\frac {t^{2}}{2}}\cdots \cdots -1}
− 1 / ( p + p 2 ) = − t ⋯ ⋯ 0 {\displaystyle -1/(p+p^{2})=-t\cdots \cdots 0}
x = t 3 3 + t 2 2 − t {\displaystyle x={\frac {t^{3}}{3}}+{\frac {t^{2}}{2}}-t}
となる.手順は次のとおりである. t 2 {\displaystyle t^{2}} を p {\displaystyle p} で割るというのは, p {\displaystyle p} を掛けると t 2 {\displaystyle t^{2}} となる式を求めるということであるから, p {\displaystyle p} が微分演算であることを思い出すと,答えとして t 3 3 {\displaystyle {\frac {t^{3}}{3}}} を得る.次に,
を被除数 t 2 + 3 t {\displaystyle t^{2}+3t} から引き, t {\displaystyle t} を得る. t {\displaystyle t} を p {\displaystyle p} で割ると,上と同様に考えて, t 2 2 {\displaystyle {\frac {t^{2}}{2}}} となる. 以下同様.
験算
今度もうまくいった.初期値は x ( 0 ) = 0 , x ′ ( 0 ) = − 1 {\displaystyle x(0)=0,x'(0)=-1} である.
例3の計算の中で, p {\displaystyle p} で割るという演算を抜き出してみると,
である.これらの事実から次のことが分かる. p {\displaystyle p} で割るということは,積分する(あるいは原始関数を求める)ということにほかならぬ.つまり,
を意味することが分かる.
このことを念頭において,例3の計算を次のように少し修正してみよう. 積分を先にすませておくのである.
と変形しておいてから,割り算を実行する.
t 3 3 t 2 2 − t 1 1 + p ) t 3 3 3 t 2 2 t 2 t 2 t 2 2 t 2 2 t − t − t − 1 1 1 0 {\displaystyle {\begin{array}{lcl}&&{\frac {t^{3}}{3}}&{\frac {t^{2}}{2}}&-t&\ \ 1\\\hline 1+p&)&{\frac {t^{3}}{3}}&{\frac {3t^{2}}{2}}&&\\&&t^{2}&t^{2}&&\\\hline &&&{\frac {t^{2}}{2}}&&\\&&&{\frac {t^{2}}{2}}&\ \ t&\\\hline &&&&-t&\\&&&&-t&-1\\\hline &&&&&\ \ \ 1\\&&&&&\ \ \ 1\\\hline &&&&&\ \ \ 0\end{array}}}

( t 3 3 + 3 t 2 2 ) / ( 1 + p ) = t 3 3 ⋯ ⋯ t 2 2 {\displaystyle \left({\frac {t^{3}}{3}}+{\frac {3t^{2}}{2}}\right)/(1+p)={\frac {t^{3}}{3}}\cdots \cdots {\frac {t^{2}}{2}}}
( t 2 2 ) / ( 1 + p ) = t 2 2 ⋯ ⋯ − t {\displaystyle \left({\frac {t^{2}}{2}}\right)/(1+p)={\frac {t^{2}}{2}}\cdots \cdots -t}
− t / ( 1 + p ) = − t ⋯ ⋯ 1 {\displaystyle -t/(1+p)=-t\cdots \cdots 1}
1 / ( 1 + p ) = 1 ⋯ ⋯ 0 {\displaystyle 1/(1+p)=1\cdots \cdots 0}
よって,
を得る.これは前に述べたものと定数 + 1 {\displaystyle +1} だけ異なっているが,やはり解であることは験算するまでもなく明らかである. ただし,初期値は x ( 0 ) = 1 , x ′ ( 0 ) = − 1 {\displaystyle x(0)=1,x'(0)=-1} である.定数の差は不定積分に伴う積分定数のとり方に依存する.同じ解が欲しければ,
としておけばよい.積分定数の選び方によって解が異なるということは,欠陥ではなく長所である.色々と異なる初期値を持った解が得られることを示唆しているからである. 我々の前途に光明を投じてくれているのである.
例4 {\displaystyle \quad }
を上述の方法で解いたとき,常に割り切れ,その積が解となっていることを示せ.