この記事は
英語版の対応するページ を翻訳することにより充実させることができます。 (2021年1月 ) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
英語版記事を日本語へ機械翻訳したバージョン (Google翻訳)。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3 に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承 を行うため、要約欄 に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入 を参照ください。 翻訳後、{{翻訳告知 |en|Quadrature (mathematics)|…}}
をノート に追加することもできます。 Wikipedia:翻訳のガイドライン に、より詳細な翻訳の手順・指針についての説明があります。
求積法 (きゅうせきほう、英 : quadrature )とは、定積分 を求める方法のこと[1] 。特に、平面 上の領域 や曲面 の面積 を求める方法を意味することもある。
微分方程式 論においては、有限回の不定積分 を用いて常微分方程式 の解を表す方法を意味する[2] [3] 。求積法で解くことができる常微分方程式は限られているが、例えば一階線型常微分方程式やクレローの方程式 は求積法で解ける。
英語の quadrature は正方形 を意味するラテン語 quadratum に由来する[4] 。これは quadrature が与えられた領域と等しい面積を持つ正方形を見つけることを意味していたためである[4] 。
微分方程式の解法例 [ 編集 ] 次の1階常微分方程式(F は任意の関数)
d y d x = F ( y ) {\displaystyle {\frac {dy}{dx}}=F(y)}
は求積法により解くことができる[5] 。上式を d y F ( y ) = d x {\displaystyle {\frac {dy}{F(y)}}=dx} と書き換え(変数分離 も参照)、両辺の不定積分を求めることで
∫ d y F ( y ) = x − x 0 {\displaystyle \int {\frac {dy}{F(y)}}=x-x_{0}}
を得る(x 0 は積分定数)。左辺の不定積分の逆関数を φ とすれば、陽な解の表示 y = ϕ ( x − x 0 ) {\displaystyle y=\phi (x-x_{0})} が求まる[5] 。
求積法で解ける主な1階常微分方程式 [ 編集 ] 1階線形常微分方程式 [ 編集 ] [6]
d y d x + p ( x ) y + q ( x ) = 0. {\displaystyle {\frac {\,dy\,}{dx}}+p(x)y+q(x)=0.}
一般解は,C を積分定数として,
y = exp ( − ∫ p ( x ) d x ) [ C − ∫ { q ( x ) exp ( ∫ p ( x ) d x ) } d x ] {\displaystyle y=\exp \left(-\int p(x)\,dx\right)\left[\,C-\int \left\{q(x)\exp \left(\int p(x)\,dx\right)\right\}dx\right]}
で与えられる。
同次常微分方程式 [ 編集 ] [6]
d y d x = f ( y x ) . {\displaystyle {\frac {\,dy\,}{dx}}=f\left({\frac {\,y\,}{x}}\right).}
この同次常微分方程式 dy/dx=f (y/x ) に対して,y=ux とおけば,同次常微分方程式が
d u d x = f ( u ) − u x {\displaystyle {\frac {\,du\,}{dx}}={\frac {\,f(u)-u\,}{x}}} となり,変数分離形になる。この積分を計算すると,同次常微分方程式の一般解は,
x = C exp [ ∫ d u f ( u ) − u ] , ( u = y x ) {\displaystyle x=C\exp \left[\int {\frac {du}{\;f(u)-u\;}}\,\right],\;\;\;\;\;\left(u={\frac {\,y\,}{x}}\right)}
で与えられる。C は積分定数である。
Bernoulli 型の常微分方程式 [ 編集 ] [6]
d y d x + p ( x ) y + q ( x ) y n = 0 , ( n ≠ 0 , 1 ) . {\displaystyle {\frac {\,dy\,}{dx}}+p(x)y+q(x)y^{n}=0,\;\;\;\;\;(n\neq {}0,\;1).}
この式に対して,z = y 1 − n とおくと,
d z d x + ( 1 − n ) p ( x ) z + ( 1 − n ) q ( x ) = 0 {\displaystyle {\frac {\,dz\,}{dx}}+(1-n)p(x)z+(1-n)q(x)=0} となり,z に関する1階線形常微分方程式に帰着する。
Clairaut型の常微分方程式 [ 編集 ] [7]
y = x p + f ( p ) , ( p ≡ d y d x ) . {\displaystyle y=xp+f(p),\;\;\;\;{\Bigl (}p\equiv {\frac {\,dy\,}{dx}}{\Bigr )}.}
一般解は y=Cx+f (C ) という直線族。 特異解はその直線族の包絡線であって,もとの方程式 y = xp + f (p ) と x + df (p )/ dp = 0 から p を消去して得られる。
Lagrange型の常微分方程式 [ 編集 ] [7]
y = x φ ( p ) + ψ ( p ) , ( p ≡ d y d x ) . {\displaystyle y=x\varphi (p)+\psi (p),\;\;\;\;{\Bigl (}p\equiv {\frac {\,dy\,}{dx}}{\Bigr )}.}
この式の両辺を x で微分すると,x , p に関する 1 階線形常微分方程式,
[ φ ( p ) − p ] d x d p + d φ ( p ) d p x + d ψ ( p ) d p = 0 {\displaystyle [\varphi (p)-p]{\frac {\,dx\,}{dp}}+{\frac {\,d\varphi (p)\,}{dp}}x+{\frac {\,d\psi (p)\,}{dp}}=0} となり,この解と,もとの方程式 y=x φ(p )+ψ(p ) から p を消去すれば一般解が得られる。または p を媒介変数と考えてもよい。なお,この方程式は、ダランベール(d'Alembert)の微分方程式とも呼ばれる。
Riccati型の常微分方程式 [ 編集 ] [6]
d y d x + a y 2 = b x m . {\displaystyle {\frac {\,dy\,}{dx}}+ay^{2}=bx^{m}.}
この常微分方程式は,m = −2,m = 4k / 1 − 2k の場合に求積法で解ける。ただし,k は整数。
完全微分方程式 [ 編集 ] [6]
P ( x , y ) d x + Q ( x , y ) d y = 0. {\displaystyle P(x,\;y)dx+Q(x,\;y)dy=0.}
上記の微分方程式において, P (x , y )dx +Q (x , y )dy =0 の左辺が完全微分式(完全微分形式)の場合,解ける条件は,
∂ P ∂ y = ∂ Q ∂ x {\displaystyle {\frac {\;\partial {P}\;}{\partial {y}}}={\frac {\;\partial {Q}\;}{\partial {x}}}} である。一般解は,
∫ P d x + ∫ ( Q − ∂ ∂ y ∫ P d x ) d y = C {\displaystyle \int P\,dx+\int \left(Q-{\frac {\partial }{\partial {y}}}\int P\,dx\right)\,dy=C} と表示できる。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. 参考文献 [ 編集 ]