computes generalized integrating factors for a system of differential equations (DE)

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
  - dsolve コマンド
  - DEtools パッケージ
    - 1 次 DE の操作
    - Solving Methods
    - プロット
    - ポアンカレ
    - リー対称群による解法
      - ODE のコマンド
      - PDE (および ODE) のコマンド
        概要
        CanonicalCoordinates
        ChangeSymmetry
        CharacteristicQ
        CharacteristicQInvariants
        ConservedCurrentTest
        ConsistencyTest
        D_Dx
        DeterminingPDE
        Eta_k
        Euler
        InfinitesimalGenerator
        Infinitesimals
        IntegratingFactorTest
        InvariantEquation
        Invariants
        InvariantSolutions
        InvariantTransformation
        PolynomialSolutions
        ReducedForm
        SimilaritySolutions
        SimilarityTransformation
        SymmetrySolutions
        SymmetryTest
        SymmetryTransformation
        ToJet
      - liesymm
    - 微分有理ノルム形式
    - 微分演算子
    - 概要
    - diff_table
  - PDEtools パッケージ
  - pdsolve コマンド
  - Rif パッケージ
  - Slode パッケージ
  - リー対称群による解法
    - ODE のコマンド
    - PDE (および ODE) のコマンド
    - liesymm
  - 例題
  - 常微分方程式（ODE）の分類
  - 微分代数
  - 微分代数（diffalg）パッケージ
  - 微分形式
  - 偏微分方程式の解関数の確認（pdetest コマンド）
  - 初期条件
  - 常微分方程式の解関数の確認（odetest コマンド）
  - 常微分方程式用対話型 Maplet インターフェイス
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

PDEtools[IntegratingFactors] - computes generalized integrating factors for a system of differential equations (DE)

PDEtools[IntegratingFactorTest] - tests whether a given list of expressions is a list of generalized integrating factors for the given system of differential equations

	Calling Sequence
	IntegratingFactors(PDESYS, DepVars, _mu = ..., displayfunctionality = ..., jetnotation = ..., simplifier = ..., split = ...) IntegratingFactorTest(Mu, PDESYS, DepVars)

Parameters

PDESYS	-	a system consisting of an equation or a list of equations involving partial and/or ordinary (possibly not) differential equations
Mu	-	a generalized integrating factor returned by IntegratingFactors
DepVars	-	optional - a specification of the unknown(s) in PDESYS
_mu = ...	-	optional - indicates the functional form of the generalized integrating factors
displayfunctionality = ...	-	optional - can be true (default) or false, to display the functionality on the left-hand-side of the mu[k] (generalized integrating factors) functions
jetnotation = ...	-	(optional) can be false (default), jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available
order	-	optional - indicates the maximum differential order of the derivatives entering the dependence of the integrating factors
simplifier = ...	-	optional - indicates the simplifier to be used instead of the default simplify/size
split = ...	-	optional - can be true (default) or false, to split the DE system to be solved in order to compute the J[k] functions
typeofintegratingfactor = ...	-	optional - can be polynomial or functionfield.

Description

•

Given a system consisting of N equations , , where the independent variables are , and the dependent variables are , with denoting the set of partial derivatives of , the generalized integrating factors are expressions such that = 0, so is a conserved current. These generalized integrating factors, also called characteristic functions of conserved currents (see reference [1]), coincide with the traditional integrating factors when there is only one independent variable, so that is a system of ODEs.

•	The command IntegratingFactors computes these generalized integrating factors. The command IntegratingFactorTest verifies the result for correctness.

•	Given the system the output of IntegratingFactors is as a sequence of lists, each one containing N , where , satisfying = 0.

•	The are computed constructing the PDE system they satisfy by applying Euler's operator to , then solving this system for the using pdsolve.

•

By default, the integrating factors are searched as functions depending on the derivatives of the unknowns of the system (specified as DepVars or automatically detected) up to the order d-1, where d is the highest order of derivatives entering PDESYS. This default can be changed by optionally passing the argument order = m, where m is a nonnegative integer.

•

By default, the conserved currents are searched as functions with no pre-especified form, just with the depencency explained in the previous paragraph. This default can be changed with the option typeofconservedcurrent = ... where the right-hand-side can be polynomial or functionfield, respectively indicating a conserved current of polynomial type, or of a functionfield type with the meaning explained in FunctionField.

•

By default, the functionality of , entering the left-hand-sides of each element in the returned lists, is displayed, the output is presented in functional notation instead of jet notation and is simplified with respect to its size. The PDE system solved to compute the is also split, when that is possible, before being tackled. All these defaults can be changed by passing the optional arguments displayfunctionality = ..., jetnotation = ..., simplifier = ..., split = false.

•	It is also possible to directly specify the functionality expected for the using _mu = .... See the examples for a demonstration of the use of this parameter.

•	To avoid having to remember the optional keywords, if you type the keyword misspelled, or just a portion of it, a matching against the correct keywords is performed, and when there is only one match, the input is automatically corrected.

Examples

Consider the following PDE "system" consisting of a single pde

(1)

(2)

Two generalized integrating factors are

(3)

Note that is already the divergence of a function, so that a constant (the number 1 in the result above) is an integrating factor. To verify for correctness these integrating factors use

(4)

The conserved currents are related to the generalized integrating factors via Sigma mu[alpha, n] pde[n] = Divergence J[alpha] = 0. These are the J[alpha] corresponding to the mu[alpha] computed above; they depend on arbitrary functions

(5)

To verify these results use

(6)

An example where the integrating factor depends on an arbitrary function

(7)

(8)

For this example, integrating factors up to order 1, that is, depending at most on first order derivatives, are

(9)

which is in agreement with the general result obtained first. This is a related conserved current of order 1

[_J[x](x, t, u, u[x], u[t]) = u[t]*_F1(x, t, u)+Int(_F1[t], _a = `` .. u)+_F3(x, t), _J[t](x, t, u, u[x], u[t]) = -_F1(x, t, u)*u[x]+Int(-_F1[x], _a = `` .. u)+Int(-_F3[x], t)+_F4(x)]

(10)

Specifying directly the functionality expected also confirms that there is no non-trivial integrating factor depending only on and but there is one depending on an arbitrary function of , and

(11)

(12)

In various cases it is simpler, or of more use, to compute integrating factors of polynomial type, or with a mathematical function dependency on the field of functions of the input system. For these purposes use the option typeofintegratingfactor = ... where the right-hand-side can be polynomial or functionfield. For example, for , a polynomial integrating factor, presented without specializing the arbitrary constants (option split = false) is