|
dsolve - 多項式係数を持つ斉次線形常微分方程式の形式的べき級数解を求める
使い方
dsolve(ODE, y(x), 'formal_series', 'coeffs'=coeff_type)
dsolve(ODE, y(x), 'type=formal_series', 'coeffs'=coeff_type)
パラメータ
ODE - 多項式係数を持つ斉次線形常微分方程式
y(x) - 従変数 ( 不定関数 )
'type=formal_series' - 形式的べき級数解の要求
'coeffs'=coeff_type - coeff_type は 'polynomial', 'rational', 'hypergeom', 'mhypergeom' のいずれかを選択することができます。
|
|
説明
|
|
|
•
|
入力された常微分方程式が多項式係数の斉次線形常微分方程式であり、オプションが 'formal_series' ( もしくは 'type=formal_series' ) かつ 'coeffs'=coeff_type として与えられた場合、dsolve は指定された全ての展開候補点での形式的べき級数解を返すことになります。詳細は Slode をご参照ください。
|
|
|
|
例
|
|
多項式係数の形式的べき級数解
|
>
|
ode := (3*x^2-6*x+3)*diff(diff(y(x),x),x) + (12*x-12)*diff(y(x),x)+6*y(x);
|
|
| (2.1) |
|
>
|
dsolve(ode,y(x),'formal_series','coeffs'='polynomial');
|
|
| (2.2) |
有理係数の形式的べき級数解
|
>
|
ode := (3-x)*diff(diff(y(x),x),x)-diff(y(x),x);
|
|
| (2.3) |
|
>
|
dsolve(ode,y(x),'formal_series','coeffs'='rational');
|
|
| (2.4) |
超幾何係数の形式的べき級数解
|
>
|
ode := 2*x*(x-1)*diff(diff(y(x),x),x)+(7*x-3)*diff(y(x),x)+2*y(x) = 0;
|
|
| (2.5) |
|
>
|
dsolve(ode,y(x),'type=formal_series','coeffs'='hypergeom');
|
|
| (2.6) |
形式的 m スパース m 超幾何べき級数解
|
>
|
ode := diff(y(x),x,x)+(x-1)*y(x);
|
|
| (2.7) |
|
>
|
dsolve(ode,y(x),'type=formal_series','coeffs'='mhypergeom');
|
|
| (2.8) |
|
|
