Liouville ODEs - Maple Help

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

Liouville ODEs

Description

•	The general form of the Liouville ODE is given by the following:

>	Liouville_ode := diff(y(x),x,x)+g(y(x))diff(y(x),x)^2+f(x)diff(y(x),x) = 0;

Liouville_ode := diff(y(x), `$`(x, 2))+g(y(x))*(diff(y(x), x))^2+f(x)*(diff(y(x), x)) = 0

(1)

where g and f are arbitrary functions. See Goldstein and Braun, "Advanced Methods for the Solution of Differential Equations".

Examples

(2)

The Liouville ODE has the following symmetries (see dsolve,Lie):

symmetries := [_xi = 0, _eta = exp(-(Int(g(y), y)))], [_xi = 0, _eta = (Int(exp(Int(g(y), y)), y))*exp(-(Int(g(y), y)))], [_xi = exp(-(Int(-f(x), x))), _eta = 0], [_xi = (Int(exp(Int(-f(x), x)), x))*exp(-(Int(-f(x), x))), _eta = 0]

(3)

These symmetries can be tested using symtest

(4)

Knowing two independent symmetries for a second order ODE almost always leads to its answer, as in the following Liouville ODE:

ans := Int(exp(Int(g(_b), _b)), _b = `` .. y(x))-_C1*(Int(exp(-(Int(f(x), x))), x))-_C2 = 0

(5)

Implicit and explicit answers for ODEs can be tested using odetest.

(6)

	See Also
	DEtools, odeadvisor, dsolve, and ?odeadvisor,<TYPE> where <TYPE> is one of: quadrature, missing, reducible, linear_ODEs, exact_linear, exact_nonlinear, sym_Fx, linear_sym, Bessel, Painleve, Halm, Gegenbauer, Duffing, ellipsoidal, elliptic, erf, Emden, Jacobi, Hermite, Lagerstrom, Laguerre, Liouville, Lienard, Van_der_Pol, Titchmarsh; for other differential orders see odeadvisor,types.