求積法
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2021年1月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
求積法(きゅうせきほう、英: quadrature)とは、定積分を求める方法のこと[1]。特に、平面上の領域や曲面の面積を求める方法を意味することもある。
微分方程式論においては、有限回の不定積分を用いて常微分方程式の解を表す方法を意味する[2][3]。求積法で解くことができる常微分方程式は限られているが、例えば一階線型常微分方程式やクレローの方程式は求積法で解ける。
語源
[編集]英語の quadrature は正方形を意味するラテン語 quadratum に由来する[4]。これは quadrature が与えられた領域と等しい面積を持つ正方形を見つけることを意味していたためである[4]。
微分方程式の解法例
[編集]次の1階常微分方程式(F は任意の関数)
は求積法により解くことができる[5]。上式を と書き換え(変数分離も参照)、両辺の不定積分を求めることで
を得る(x0 は積分定数)。左辺の不定積分の逆関数を φ とすれば、陽な解の表示 が求まる[5]。
求積法で解ける主な1階常微分方程式
[編集]1階線形常微分方程式
[編集]
一般解は,C を積分定数として,
で与えられる。
同次常微分方程式
[編集]
この同次常微分方程式 dy/dx=f(y/x) に対して,y=ux とおけば,同次常微分方程式が
となり,変数分離形になる。この積分を計算すると,同次常微分方程式の一般解は,
で与えられる。C は積分定数である。
Bernoulli 型の常微分方程式
[編集]
この式に対して,z = y1 − n とおくと,
となり,z に関する1階線形常微分方程式に帰着する。
Clairaut型の常微分方程式
[編集]
一般解は y=Cx+f(C) という直線族。 特異解はその直線族の包絡線であって,もとの方程式 y = xp + f(p) と x + df(p)/dp = 0 から p を消去して得られる。
Lagrange型の常微分方程式
[編集]
この式の両辺を x で微分すると,x, p に関する 1 階線形常微分方程式,
となり,この解と,もとの方程式 y=xφ(p)+ψ(p) から p を消去すれば一般解が得られる。または p を媒介変数と考えてもよい。なお,この方程式は、ダランベール(d'Alembert)の微分方程式とも呼ばれる。
Riccati型の常微分方程式
[編集]
この常微分方程式は,m = −2,m = 4k/1 − 2k の場合に求積法で解ける。ただし,k は整数。
完全微分方程式
[編集]
上記の微分方程式において, P(x, y)dx+Q(x, y)dy=0 の左辺が完全微分式(完全微分形式)の場合,解ける条件は,
である。一般解は,
と表示できる。C は積分定数である。
関連項目
[編集]出典
[編集]- ^ マグローヒル数学用語辞典編集委員会編集『マグローヒル数学用語辞典』日刊工業新聞社、2001年 ISBN 978-4526048395
- ^ 岩波数学辞典, p. 1223.
- ^ 大貫&吉田, pp. 90-91.
- ^ a b Schwartzman, Steven (1994). The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English. Mathematical Association of America. p. 178. ISBN 0-88385-511-9
- ^ a b 大貫&吉田, p. 91.
- ^ a b c d e 岩波数学辞典, p. 1722.
- ^ a b 岩波数学辞典, p. 1723.
参考文献
[編集]- 日本数学会編『岩波数学辞典』第4版、岩波書店、2007年 ISBN 978-4000803090
- 大貫義郎、吉田春夫『岩波講座 現代の物理学〈1〉力学』(第2刷)岩波書店、1997年。ISBN 4-00-010431-4。