return the differential equation form of a given mathematical function

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
  - 例題
  - 概要
  - analytic_extension
  - asymptotic_expansion
  - branch_cuts
  - branch_points
  - calling_sequence
  - class_members
  - classify_function
  - DE
  - definition
  - differentiation_rule
  - display
  - function_classes
  - identities
  - integral_form
  - known_functions
  - relate
  - series コマンド
  - singularities
  - special_values
  - specialize
  - sum_form
  - synonyms
  - topics
  - 説明
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
  - MathematicalFunctions パッケージ
  - ファンクションアドバイザ
    - 例題
    - 概要
    - analytic_extension
    - asymptotic_expansion
    - branch_cuts
    - branch_points
    - calling_sequence
    - class_members
    - classify_function
    - DE
    - definition
    - differentiation_rule
    - display
    - function_classes
    - identities
    - integral_form
    - known_functions
    - relate
    - series コマンド
    - singularities
    - special_values
    - specialize
    - sum_form
    - synonyms
    - topics
    - 説明
  - 関数の定義
  - abs
  - AiryBi
  - AiryBiZeros
  - arctanh
  - argument
  - bernoulli コマンド
  - BesselYZeros
  - Beta
  - binomial
  - ChebyshevT
  - ChebyshevU
  - CoulombF
  - csgn
  - CylinderV
  - dawson
  - dilog
  - Dirac
  - Ei
  - EllipticE
  - EllipticK
  - EllipticModulus
  - EllipticNome
  - EllipticPi
  - erfi
  - euler コマンド
  - exp
  - factorial
  - FresnelS
  - GaussAGM
  - GegenbauerC
  - HankelH2
  - harmonic
  - Heaviside
  - HermiteH
  - Heun 関数
  - HeunBPrime
  - HeunCPrime
  - HeunDPrime
  - HeunGPrime
  - HeunTPrime
  - hypergeom
  - ilog2
  - IncompleteBellB
  - InverseJacobiSN
  - JacobiP
  - JacobiSN
  - JacobiTheta4
  - JacobiZeta
  - KelvinKer
  - KummerU
  - LaguerreL
  - LambertW
  - LegendreQ
  - LerchPhi
  - Li
  - lnGAMMA
  - log10
  - LommelS2
  - MathieuSPrime
  - MeijerG
  - min コマンド
  - ModifiedMeijerG
  - pochhammer
  - polylog
  - Psi
  - Re
  - RiemannTheta
  - sign
  - signum
  - SphericalY
  - Ssi
  - Stirling1
  - Stirling2
  - StruveL
  - surd
  - tanh
  - trunc
  - WeberE
  - WeierstrassZeta
  - WhittakerW
  - Wrightomega
  - Zeta
  - マシュー関数の例
  - 共役
  - 平方根
  - 極
- 数論
- 最適化
- 特殊関数
  - Integrals
  - MathematicalFunctions
  - ファンクションアドバイザ
    - 例題
    - 概要
    - analytic_extension
    - asymptotic_expansion
    - branch_cuts
    - branch_points
    - calling_sequence
    - class_members
    - classify_function
    - DE
    - definition
    - differentiation_rule
    - display
    - function_classes
    - identities
    - integral_form
    - known_functions
    - relate
    - series コマンド
    - singularities
    - special_values
    - specialize
    - sum_form
    - synonyms
    - topics
    - 説明
  - 例題
  - AiryBi
  - AiryBiZeros
  - bernoulli コマンド
  - BesselYZeros
  - Beta
  - ChebyshevT
  - ChebyshevU
  - CoulombF
  - CylinderV
  - dilog
  - Dirac
  - EllipticModulus
  - erfi
  - euler コマンド
  - Fresnelg
  - GaussAGM
  - GegenbauerC
  - HankelH2
  - harmonic
  - Heaviside
  - HermiteH
  - Heun 関数
  - HeunBPrime
  - HeunCPrime
  - HeunDPrime
  - HeunGPrime
  - HeunTPrime
  - hypergeom
  - InverseJacobiSN
  - JacobiP
  - JacobiSN
  - JacobiTheta4
  - JacobiZeta
  - KelvinKer
  - KummerU
  - LaguerreL
  - LambertW
  - LegendreQ
  - LerchPhi
  - lnGAMMA
  - LommelS2
  - MathieuSEPrime
  - MeijerG
  - ModifiedMeijerG
  - pochhammer
  - polylog
  - Psi
  - RiemannTheta
  - SphericalY
  - StruveL
  - WeberE
  - WeierstrassZeta
  - WhittakerW
  - Wrightomega
  - Zeta
  - マシューの例
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

FunctionAdvisor/DE - return the differential equation form of a given mathematical function

	Calling Sequence
	FunctionAdvisor(DE, math_function, var)

Parameters

DE	-	name where DE is one of the literal names 'DE', 'ODE', or 'PDE'
math_function	-	Maple name of mathematical function
var	-	optional, a list of independent variable(s) or the main dependent variable

Description

•	The FunctionAdvisor(DE, math_function) command returns an all polynomial differential equation system satisfied by the function, when it exists.

A differential equation system is polynomial when it is polynomial in the independent variables, unknown functions, and its derivatives. For more information, see dpolyform.

Examples

(1)

[f(z) = KelvinBei(a, z), [diff(f(z), `$`(z, 4)) = -2*(diff(f(z), `$`(z, 3)))/z+(2*a^2+1)*(diff(f(z), `$`(z, 2)))/z^2+(-1-2*a^2)*(diff(f(z), z))/z^3+(-z^4-a^4+4*a^2)*f(z)/z^4]]

(2)

Note that 'ODE' and 'PDE' are synonyms for 'DE'.

[f(z) = KelvinBei(a, z), [diff(f(z), `$`(z, 4)) = -2*(diff(f(z), `$`(z, 3)))/z+(2*a^2+1)*(diff(f(z), `$`(z, 2)))/z^2+(-1-2*a^2)*(diff(f(z), z))/z^3+(-z^4-a^4+4*a^2)*f(z)/z^4]]

(3)

The variables used by the FunctionAdvisor command to create the calling sequence are local variables. Therefore, the previous examples does not depend on z.

(4)

To make the FunctionAdvisor command return results using global variables, pass the actual function call instead of the function name. In this case, for some special functions it is also necessary to indicate which variables are the "differential equation independent variables". For examples, consider the following.

[f(z) = KelvinBei(a, z), [diff(f(z), `$`(z, 4)) = -2*(diff(f(z), `$`(z, 3)))/z+(2*a^2+1)*(diff(f(z), `$`(z, 2)))/z^2+(-1-2*a^2)*(diff(f(z), z))/z^3+(-z^4-a^4+4*a^2)*f(z)/z^4]]

(5)

(6)

(7)

Moreover, in the case of the DE topic, the arguments in the function call need not be a name, in which case the differential equation system for the composed function call given is computed. Compare the differential equation for JacobiTheta1 above and this other one taking as argument

(8)

[f(a, z) = JacobiTheta1(a, 1/ln(z)), [diff(f(a, z), `$`(a, 2), z) = ((diff(f(a, z), `$`(z, 2)))/(diff(f(a, z), z))+1/z)*(diff(f(a, z), `$`(a, 2)))+4*(diff(f(a, z), z)), diff(f(a, z), `$`(a, 3)) = (diff(f(a, z), `$`(a, 2)))*(diff(f(a, z), a, z))/(diff(f(a, z), z))]]

(9)

Apart from optionally passing a list of independent variables, one can pass the dependent variable directly (it includes the information on the independent variables):

(10)

[g(a, z) = JacobiTheta1(a, 1/ln(z)), [diff(g(a, z), `$`(a, 2), z) = ((diff(g(a, z), `$`(z, 2)))/(diff(g(a, z), z))+1/z)*(diff(g(a, z), `$`(a, 2)))+4*(diff(g(a, z), z)), diff(g(a, z), `$`(a, 3)) = (diff(g(a, z), `$`(a, 2)))*(diff(g(a, z), a, z))/(diff(g(a, z), z))]]