solutions of a Meijer G type of linear ode

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

DEtools[MeijerGsols] - solutions of a Meijer G type of linear ode

	Calling Sequence
	MeijerGsols(lode,v) MeijerGsols(coeff_list,x)

Parameters

lode	-	homogeneous linear differential equation
v	-	dependent variable of the lode
coeff_list	-	list of coefficients of a linear ode
x	-	independent variable of the lode

Description

•	The MeijerGsols routine returns a basis of the space of solutions of a linear differential equation of Meijer G type.

•	The classical notation used to represent the MeijerG function relates to the notation used in Maple by

G[pq]^mn(z|[[a[1],...,a[n],a[n+1],...,a[p]],[b[1],...,b[m],b[m+1],...,b[q]]])

Note: See Prudnikov, Brychkov, and Marichev.

The MeijerG function satisfies the following qth-order linear differential equation

((-1)^(p-m-n)*x*(product(x*D-a[i]+1, i = 1 .. p))-product(x*D-b[i], i = 1 .. q))*y(x) = 0

where and is less than or equal to q.

•	For example, MeijerG( [[a[1]],[a[p]]], [[b[1]],[b[q]]], x ) satisfies:

>	PDEtools[declare](y(x), prime=x);

(1)

>	DEtools[hyperode]( MeijerG( [[a[1]],[a[p]]], [[b[1]],[b[q]]], x ), y(x) ) = 0;

(2)

For information about making symbolic experiments with expressions that contain the MeijerG function of different arguments and the differential equation the expression satisfies, see dpolyform.

•	MeijerGsols accepts two calling sequences. The first argument of the first calling sequence is a linear differential equation in diff or form, and the second argument is the function in the differential equation.

•	The first argument in the second calling sequence is the list of coefficients of a linear ode, and the second is the independent variable. This calling sequence can be convenient for programming with the MeijerGsols routine.

•	This function is part of the DEtools package, and so it can be used in the form MeijerGsols(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[MeijerGsols](..).

Examples

ode := diff(y(x), x, x) = (4-2*x^2)*(diff(y(x), x))/(x^3-x)-7*y(x)/(4*x^4-4*x^2)

ode := `y''` = (4-2*x^2)*`y'`/(x^3-x)-7*y/(4*x^4-4*x^2)

(3)

[hypergeom([-7/4, 1/4], [1/2], 1/x^2), hypergeom([-5/4, 3/4], [3/2], 1/x^2)/x]

(4)

These routines for tackling MeijerG type linear ODEs can also be used directly from Maple's dsolve via

y = _C1*hypergeom([-7/4, 1/4], [1/2], 1/x^2)+_C2*hypergeom([-5/4, 3/4], [3/2], 1/x^2)/x

(5)

(6)

(7)

[x*hypergeom([(5/3)/b, (1/2)/b], [(1/4)*(4*b+3)/b, (1/3)*(3*b+2)/b], x^b/b), x^(1/4)*hypergeom([-(1/4)/b, (11/12)/b], [(1/4)*(4*b-3)/b, (1/12)*(12*b-1)/b], x^b/b), x^(1/3)*hypergeom([1/b, -(1/6)/b], [(1/3)*(3*b-2)/b, (1/12)*(12*b+1)/b], x^b/b)]