Solving Linear Second Order ODEs for which a Symmetry of the Form [xi=0, eta=F(x)] Can Be Found

はじめる前に
新機能一覧
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
エラーメッセージガイド
マニュアル
数学アプリ

Description

•	All second order linear ODEs have symmetries of the form [xi=0, eta=F(x)]. Actually, F(x) is always a solution of the related homogeneous ODE. There is no general scheme for determining F(x); see dsolve,linear).

•	When a symmetry of the form [xi=0, eta=F(x)] is found, this information is enough to integrate the homogeneous ODE (see Murphy's book, p. 88).

•	In the case of nonhomogeneous ODEs, you can do the following:

1) look for F(x) as a symmetry of the homogeneous ODE;

2) solve the homogeneous ODE using this information;

3) set each of _C1 and _C2 equal to 0 and 1 in the answer of the previous step, in order to obtain the two linearly independent solutions of the homogeneous ODE;

4) use these two independent solutions of the homogeneous ODE to build the general solution to the nonhomogeneous ODE (see Bluman and Kumei, Symmetries and Differential Equations, p. 132 and ?dsolve,references).

Examples

(1)

ode[1] := diff(y(x), x, x) = a*(diff(y(x), x))-y(x)/(ln(x)*x^2)-a*y(x)/(ln(x)*x)

ode[1] := diff(y(x), `$`(x, 2)) = a*(diff(y(x), x))-y(x)/(ln(x)*x^2)-a*y(x)/(ln(x)*x)

(2)

(3)

y(x) = ((Int(exp(a*x)/ln(x)^2, x))*_C1+_C2)*ln(x)

(4)

A nonhomogeneous ODE example

ode[2] := diff(y(x), x, x) = (diff(F(x), x, x))*y(x)/F(x)+H(x)

ode[2] := diff(y(x), `$`(x, 2)) = (diff(F(x), `$`(x, 2)))*y(x)/F(x)+H(x)

(5)

y(x) = (Int(1/F(x)^2, x))*F(x)*_C2+F(x)*_C1+F(x)*((Int(H(x)*F(x), x))*(Int(1/F(x)^2, x))-(Int((Int(1/F(x)^2, x))*F(x)*H(x), x)))

(6)

A nonhomogeneous example step by step

ode[3] := diff(y(x), x, x)-y(x) = F(x)

ode[3] := diff(y(x), `$`(x, 2))-y(x) = F(x)

(7)

homogeneous_ode := diff(y(x), x, x)-y(x)

homogeneous_ode := diff(y(x), `$`(x, 2))-y(x)

(8)

Steps 1) and 2) mentioned above

(9)

Step 3): two independent solutions for the homogeneous_ode

(10)

(11)

Step 4): a procedure for the general solution to the original nonhomogeneous ODE (ode[3]) is given by

(12)

where s1 and s2 are the linearly independent solutions of the homogeneous ode (sol_1 and sol_2 above), F is the nonhomogeneous term (here represented by F(x)), and W is the Wronskian, in turn given by

(13)

from which the answer to the nonhomogeneous ODE follows

(14)

(15)

	See Also
	DEtools, odeadvisor, dsolve,Lie, 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.