歴史 同次 という用語は、ヨハン・ベルヌーイ が1726年の論文「微分方程式の積分について」(De integraionibus aequationum differentialium )の第9節で初めて微分方程式に適用した。 [ 2 ]
同次1階微分方程式 次の形式の1階常微分方程式:
M ( x 、 y ) d x + N ( x 、 y ) d y = 0 {\displaystyle M(x,y)\,dx+N(x,y)\,dy=0}
関数M ( x , y ) とN ( x , y ) の両方が同じ次数nの 同次関数 である場合、 は同次型である。[ 3 ] つまり、各変数にパラメータλ を掛けると、次のようになる。
M ( λ x 、 λ y ) = λ n M ( x 、 y ) そして N ( λ x 、 λ y ) = λ n N ( x 、 y ) 。 {\displaystyle M(\lambda x,\lambda y)=\lambda ^{n}M(x,y)\quad {\text{および}}\quad N(\lambda x,\lambda y)=\lambda ^{n}N(x,y)\,.}
したがって、 M ( λ x 、 λ y ) N ( λ x 、 λ y ) = M ( x 、 y ) N ( x 、 y ) 。 {\displaystyle {\frac {M(\lambda x,\lambda y)}{N(\lambda x,\lambda y)}}={\frac {M(x,y)}{N(x,y)}}\,.}
解決方法 商ではM ( t x 、 t y ) N ( t x 、 t y ) = M ( x 、 y ) N ( x 、 y ) {\textstyle {\frac {M(tx,ty)}{N(tx,ty)}}={\frac {M(x,y)}{N(x,y)}}} t = 1 / x とすること で 、この商を 単一変数 y / x の関数 f に 簡略化でき ます。
M ( x 、 y ) N ( x 、 y ) = M ( t x 、 t y ) N ( t x 、 t y ) = M ( 1 、 y / x ) N ( 1 、 y / x ) = f ( y / x ) 。 {\displaystyle {\frac {M(x,y)}{N(x,y)}}={\frac {M(tx,ty)}{N(tx,ty)}}={\frac {M(1,y/x)}{N(1,y/x)}}=f(y/x)\,.} それは d y d x = − f ( y / x ) 。 \displaystyle {\frac {dy}{dx}}=-f(y/x).}
変数変換 y = ux を導入し、積の法則 を用いて微分します。
d y d x = d ( u x ) d x = x d u d x + u d x d x = x d u d x + u 。 {\displaystyle {\frac {dy}{dx}}={\frac {d(ux)}{dx}}=x{\frac {du}{dx}}+u{\frac {dx}{dx}}=x{\frac {du}{dx}}+u.}
これにより、元の微分方程式は変数分離 形 に変換されます。x d u d x = − f ( u ) − u 、 {\displaystyle x{\frac {du}{dx}}=-f(u)-u,} または 1 x d x d u = − 1 f ( u ) + u 、 {\displaystyle {\frac {1}{x}}{\frac {dx}{du}}={\frac {-1}{f(u)+u}},} これは直接積分できます。ln x は 右辺 の原始関数 に等しくなります(常微分方程式を 参照)。
同次線形微分方程式 線形微分方程式は、 未知関数とその導関数に関して同次線形方程式 である場合に同次であると言います。したがって、 φ ( x ) が解であれば、任意の(ゼロでない)定数cに対して cφ ( x ) も解となります。この条件が成り立つためには、線形微分方程式の各非ゼロ項は、未知関数またはその導関数に依存していなければなりません。この条件を満たさない線形微分方程式は、非同次であると言います。
線形微分方程式は、 y ( x ) に作用する線形演算子 として表すことができ、x は通常独立変数、y は従属変数です。したがって、線形同次微分方程式 の一般形は次のようになります。
L ( y ) = 0 {\displaystyle L(y)=0}
ここで、Lは 微分演算子 であり、導関数の和(「0 階導関数」は元の微分されていない関数として定義される)であり、それぞれにx の関数f i を 乗じる。
L = ∑ 私 = 0 n f 私 ( x ) d 私 d x 私 、 {\displaystyle L=\sum _{i=0}^{n}f_{i}(x){\frac {d^{i}}{dx^{i}}}\,,} ここで、f i は 定数である場合もあるが、すべてのf i が ゼロであるとは限らない。
例えば、次の線形微分方程式は同次方程式です。
罪 ( x ) d 2 y d x 2 + 4 d y d x + y = 0 、 {\displaystyle \sin(x){\frac {d^{2}y}{dx^{2}}}+4{\frac {dy}{dx}}+y=0\,,}
一方、以下の2つは不均質である。
2 x 2 d 2 y d x 2 + 4 x d y d x + y = コス ( x ) ; {\displaystyle 2x^{2}{\frac {d^{2}y}{dx^{2}}}+4x{\frac {dy}{dx}}+y=\cos(x)\,;}
2 x 2 d 2 y d x 2 − 3 x d y d x + y = 2 。 {\displaystyle 2x^{2}{\frac {d^{2}y}{dx^{2}}}-3x{\frac {dy}{dx}}+y=2\,.} 定数項の存在は、上記の例のように、方程式が非斉次であるための十分条件である。
注記 ↑ デニス・G・ジル(2012年3月15日)。『微分方程式入門:モデリング応用編』 。Cengage Learning。ISBN 978-1-285-40110-2 。 ↑ "De integraionibus aequationum Differentialium" 。 コメンタリー科学科学帝国ペトロポリタナエ学会 。 1 : 167–184。1726 年 6 月。 ↑ 1956年以降、 18 ページ
参考文献 Boyce, William E.; DiPrima, Richard C. (2012),初等微分方程式と境界値問題 (第 10 版), Wiley, ISBN 978-0470458310 (これは微分方程式に関する優れた入門書です。)インス、EL(1956)、『常微分方程式』 、ニューヨーク:ドーバー出版、ISBN 0486603490 これは常微分方程式に関する古典的な参考書で、1926年に初版が発行されました。)Andrei D. Polyanin; Valentin F. Zaitsev (2017年11月15日).常微分方程式ハンドブック:厳密解、方法、および問題 . CRC Press. ISBN 978-1-4665-6940-9 。 マシュー・R・ボエルキンス、 ジャック・L・ゴールドバーグ、マール・C・ポッター(2009年11月5日)。『線形代数を用いた微分方程式 』オックスフォード大学出版局、 274ページ以降。ISBN 978-0-19-973666-9 。
外部リンク MathWorldの同次微分方程式 Wikibooks: 常微分方程式/置換 1