DEtools[Desingularize] - 線形微分作用素の非特異化
|
使い方
|
|
Desingularize(L, Dx, x, func)
|
|
パラメータ
|
|
L
|
-
|
係数が x の多項式であるような Dx についての多項式
|
Dx
|
-
|
x に関する微分作用素を表す変数
|
x
|
-
|
変数
|
func
|
-
|
(オプション)プロシージャ
|
|
|
|
|
説明
|
|
•
|
オプションの引数 func を用いて関数を指定することができます。これは結果の係数に適用されます。simplify や factor がよく使われます。
|
|
|
互換性
|
|
•
|
DEtools[Desingularize] コマンドは Maple 15 より導入されました。
|
|
|
例
|
|
微分作用素 L に対し、
>
|
L := (24*x^3-18*x^4+x^8+6*x^5-x^6)*Dx^7+(6*x^5+72*x^3-30*x^4-8*x^7-72*x^2)
*Dx^6+(-144*x^2+36*x^6+72*x^3-2*x^7+144*x-18*x^4)*Dx^5+(24*x^3+36*x^6
+144*x-144-72*x^2-120*x^5-8*x^7-x^10+x^8)*Dx^4+(-24*x^5-x^10-6*x^7+x^
8+18*x^6)*Dx^3+(36*x^5-6*x^6-72*x^4+2*x^9)*Dx^2+(-36*x^4+12*x^5-10*x^
8+2*x^9)*Dx+64*x^7-12*x^4-32*x^8+8*x^9+x^12-x^10;
|
| (5.1) |
L に対する非特異作用素を計算。
>
|
M := Desingularize(L,Dx,x,factor);
|
| (5.2) |
>
|
(Q,R) := op(DEtools['rightdivision'](M,L,[Dx,x])):
|
従って、。ただし、
| (5.3) |
| (5.4) |
|
|
参考文献
|
|
|
Tsai, H. "Weyl closure of a linear differential operator." Journal of Symbolic Computation Vol. 29 No. 4-5 (2000): 747-775.
|
|
Chyzak, F.; Dumas, P.; Le, H.Q.; Martins, J.; Mishna, M.; Salvy, B. "Taming apparent singularities via Ore closure." In preparation.
|
|
|
Download Help Document
Was this information helpful?