compute preparation polynomial

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
  - linalg
  - networks
  - stats
  - student
  - 微分代数（diffalg）パッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

diffalg[preparation_polynomial] - compute preparation polynomial

	Calling Sequence
	preparation_polynomial (p, a, R, 'm' ) preparation_polynomial (p, A=a, R, 'm' )

Parameters

p	-	differential polynomial in R
a	-	regular differential polynomial in R
R	-	differential polynomial ring
m	-	(optional) name
A	-	derivative of order zero in R

Description

•	Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

•	The function preparation_polynomial computes a preparation polynomial of p with respect to a.

•	The preparation polynomial of p with respect to a is a sort of expansion of p according to mparama and its derivatives. It plays a prominent role in the determination of the essential components of the radical differential ideal generated by a single differential polynomial.

•	A differential polynomial a is said to be regular if it has no common factor with its separant. This property is therefore dependent on the ranking defined on R.

•	If A is omitted, the preparation polynomial appears with an indeterminate (local variable) looking like _A.

•	If A is specified, the preparation polynomial is in the differential indeterminate A. Then, A, nor its derivatives, should appear in p nor a.

•	Assume that preparation_polynomial(p, a, R, 'm') = , where the Mi are differential monomials in and the are polynomials in R. Then

- , where m belongs to R.

- The are not reduced to zero by a, and therefore do not belong to the general component of a.

- m is a power product of factors of the initial and separant of a).

•	The command with(diffalg,preparation_polynomial) allows the use of the abbreviated form of this command.

Examples

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

The preparation polynomial is used to determine the essential singular zeros of a differential polynomial.

(1)

(2)

(3)

(4)

Studying the degree in (or ) and its derivatives in these preparation polynomials, we can deduce that is an essential singular zero of while is not.

The preparation polynomial can be used to further study the relationships between the general zero and the singular zeros of .

p := 3*y[x]^4*y[x, x]*y[x, x, x, x]^2-4*y[x]^4*y[x, x, x]^2*y[x, x, x, x]+6*y[x]^3*y[x, x]^2*y[x, x, x]*y[x, x, x, x]+24*y[x]^2*y[x, x]^4*y[x, x, x, x]-12*y[x]^3*y[x, x]*y[x, x, x]^3-29*y[x]^2*y[x, x]^3*y[x, x, x]^2+12*y[x, x]^7

(5)

[[3*y[x]^4*y[x, x]*y[x, x, x, x]^2-4*y[x]^4*y[x, x, x]^2*y[x, x, x, x]+6*y[x]^3*y[x, x]^2*y[x, x, x]*y[x, x, x, x]+24*y[x]^2*y[x, x]^4*y[x, x, x, x]-12*y[x]^3*y[x, x]*y[x, x, x]^3-29*y[x]^2*y[x, x]^3*y[x, x, x]^2+12*y[x, x]^7], [y[x, x, x]^2*y[x]^2+3*y[x, x]^4], [y[x, x]]]

(6)

(7)

(8)

(9)

The general zero of is an essential singular zero of while the general zero of is not. Thus, the straight lines , zeros of , must be limits of either some non singular zeros of or of the non singular zeros of . Again studying the degrees of the preparation polynomials of and we can deduce that the straight lines are in fact limits of the non singular zeros of both (cf. [Kolchin]).

(10)

(11)

	See Also
	diffalg(deprecated), diffalg(deprecated)/differential_algebra, diffalg(deprecated)/differential_ring, diffalg(deprecated)/essential_components, diffalg(deprecated)/Rosenfeld_Groebner, DifferentialAlgebra[PreparationEquation]