find (if possible) a vector field whose pushforward by the Jacobian of a given transformation is a given vector field

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
  - Group Actions
  - JetCalculus
  - LieAlgebras
  - Tensor
  - ツール
  - ライブラリ
  - レッスンおよびチュートリアル
  - 概要
  - &wedge
  - Annihilator
  - ApplyTransformation
  - ChangeFrame
  - ComplementaryBasis
  - ComposeTransformations
  - DeRhamHomotopy
  - DGbasis
  - DGDualBasis
  - DGsetup
  - DGzip
  - evalDG
  - ExteriorDerivative
  - Flow
  - FrameData
  - GetComponents
  - Hook
  - InfinitesimalTransformation
  - IntegrateForm
  - IntersectSubspaces
  - InverseTransformation
  - LieBracket
  - LieDerivative
  - Pullback
  - PullbackVector
  - Pushforward
  - RemoveFrame
  - Transformation
  - 参考文献
  - 変換
  - 環境設定
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

DifferentialGeometry[PullbackVector] - find (if possible) a vector field whose pushforward by the Jacobian of a given transformation is a given vector field

	Calling Sequence
	PullbackVector(Phi, Y, S, freevar)

Parameters

Phi	-	a transformation from a manifold M to a manifold N
Y	-	a vector field on N
S	-	(optional) a list of independent vector fields on M; the default is the standard local frame for the tangent bundle of M
freevar	-	(optional) freevariable = k, where k is an unassigned Maple name

Description

•

This procedures finds all vector fields X in the span of S such that Phi_*(X) = Y, where Phi_* is the Jacobian of Phi. If Phi is a local immersion, then Phi_* is injective and the vector X, if it exists, is unique. If Phi is not a local immersion, then the optional argument freevariable = k can be used to specify the name of the indexed variable that will be used to parameterize the possiblities for X.

•	The kernel of Phi_* can be computed by taking Y to be the zero vector.

•	If no vector field X exists such that Phi_*(X) = Y, then NULL is returned.

•	This command is part of the DifferentialGeometry package, and so can be used in the form PullbackVector(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-PullbackVector.

Examples

Example 1.

Suppose Phi: M -> N is an imbedding and Y is a vector field on N which is tangent to the image of M. Then there exists a unique vector field X on M such that Phi_*(X) = Y; and X can be found using the PullbackVector command. For example, the vectors Y1 and Y2 defined below are both tangent to the unit 3-sphere x^2 + y^2 + z^2 + w^2 = 1 and therefore can be pulled-back by the stereographic projection map Phi1 to the 3-dimensional Euclidean space E3 with coordinates [r, s, t].

Phi1 := Transformation(E3, E4, [x = 2*r/(1+r^2+s^2+t^2), y = 2*s/(1+r^2+s^2+t^2), z = 2*t/(1+r^2+s^2+t^2), w = (1-r^2-s^2-t^2)/(1+r^2+s^2+t^2)])

_DG([["transformation", [[E3, 0], [E4, 0]], [], [Matrix(%id = 18446790986274225318)]], [[2*r/(1+r^2+s^2+t^2), x], [2*s/(1+r^2+s^2+t^2), y], [2*t/(1+r^2+s^2+t^2), z], [(1-r^2-s^2-t^2)/(1+r^2+s^2+t^2), w]]])

(1)

(2)

(3)

(4)

(5)

We remark that since the vector fields X1 and X2 are uniquely determined, the Lie bracket relations are preserved.

(6)

(7)

(8)

Example 2.

In the following example the map Phi2 is not a local immersion. We can use the freevariable option to specify the name of the indexed variable that will be used to parameterize the vectors X2 such that Phi2_*(X2) = Y2.