taji_alc.solve_ode_cp_ps

taji_alc.solve_ode_cp_ps(poly,var,exppoly)

:: 有理数係数の線形常微分方程式のコーシー問題 の特殊解を求める. ただし, 非斉次形のみを対象としているので, とする.

return

指数多項式リスト

poly

多項式 (Pの特性多項式) または (Pの特性多項式をQ上で既約分解した) [[因子,重複度],...] なるリスト

var

不定元 (関数の独立変数)

exppoly

f(z)の指数多項式リスト

switch

オプション指定 case 0 : 指数多項式リストの2番目の成分を有理数係数多項式で返す. case 1 : 指数多項式リストの2番目の成分を整数係数化リストで返す. default : case 0

switch2

オプション指定 case 0 : コーシー問題の特殊解を返す. case 1 : 簡単な形の特殊解を返す. default : case 0

• 変数は2種類必要(特性多項式の変数と関数の独立変数). polyの不定元とvarの不定元が衝突しないよう注意.

[345] taji_alc.solve_ode_cp_ps((x-2)*(x+3),z,[[x-1,1]]);
[[x+3,1/20],[x-1,-1/4],[x-2,1/5]]
[346] taji_alc.solve_ode_cp_ps((x-2)*(x+3),z,[[x-1,1]]|switch2=1);
[[x-1,-1/4]]
[347] taji_alc.solve_ode_cp_ps((x-2)*(x+3),z,[[x-2,1]]);
[[x+3,1/25],[x-2,1/5*z-1/25]]
[348] taji_alc.solve_ode_cp_ps((x-2)*(x+3),z,[[x-2,1]]|switch2=1);
[[x-2,1/5*z-1/25]]
[349] taji_alc.solve_ode_cp_ps((x-2)*(x+3),z,[[x+1,1],[x-2,1]]|switch2
=1);
[[x+1,-1/6],[x-2,1/5*z+2/75]]

[350] taji_alc.solve_ode_cp_ps((x^3-x-1)*(x-3)^2,z,[[x-3,2],[x-1,3*z^2
+1]]);
[[x-1,[-6*z^2-36*z-119,8]],[x^3-x-1,[42291*x^2+55504*x+32313,12167]],[
x-3,[4232*z^2-4278*z-4295,97336]]]

参照

ChangeLog

Go to the first, previous, next, last section, table of contents.