the Lie derivative - Maple Help

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
  - dsolve コマンド
  - DEtools パッケージ
    - 1 次 DE の操作
    - Solving Methods
    - プロット
    - ポアンカレ
    - リー対称群による解法
      - ODE のコマンド
      - PDE (および ODE) のコマンド
      - liesymm
        概要
        &^
        &mod
        annul
        autosimp
        close
        d
        depvars
        determine
        dvalue
        Eta
        extvars
        getcoeff
        getform
        hasclosure
        hook
        indepvars
        Lie
        Lrank
        makeforms
        mixpar
        prolong
        reduce
        TD
        translate
        vfix
        wcollect
        wdegree
        wedgeset
        wsubs
        設定
    - 微分有理ノルム形式
    - 微分演算子
    - 概要
    - 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
エラーメッセージガイド
マニュアル
数学アプリ

liesymm[Lie] - the Lie derivative

	Calling Sequence
	Lie(form, V)

Parameters

form	-	expression involving differential forms relative to specific coordinates
V	-	name or an explicit isovector [V1,V2,...Vn]

Description

•	The Lie derivative of the differential form form is constructed with respect to where n is the number of coordinates.

•	This routine is part of the liesymm package and is loaded via with(liesymm).

Examples

(1)

(2)

(V[1](x, y, z)*(Diff(f(x, y, z), x))+V[2](x, y, z)*(Diff(f(x, y, z), y))+V[3](x, y, z)*(Diff(f(x, y, z), z)))*d(x)+f(x, y, z)*((Diff(V[1](x, y, z), x))*d(x)+(Diff(V[1](x, y, z), y))*d(y)+(Diff(V[1](x, y, z), z))*d(z))

(3)

(V[1](x, y, z)*(Diff(f(x, y, z), x))+V[2](x, y, z)*(Diff(f(x, y, z), y))+V[3](x, y, z)*(Diff(f(x, y, z), z)))*`&^`(d(x), d(y))+f(x, y, z)*((Diff(V[1](x, y, z), x))*`&^`(d(x), d(y))-(Diff(V[1](x, y, z), z))*`&^`(d(y), d(z))+(Diff(V[2](x, y, z), y))*`&^`(d(x), d(y))+(Diff(V[2](x, y, z), z))*`&^`(d(x), d(z)))