Div

Div[{f1,,fn},{x1,,xn}]

発散 を与える.

Div[{f1,,fn},{x1,,xn},chart]

座標 chart で発散を与える.

詳細

  • Divは縮約共変微分としても知られている.
  • Div[f,x]x.f で入力することができる.記号 delまたは\[Del]とタイプする.記号 . は通常のピリオドである.変数 x のリストは下付き文字として入力する.
  • 空のテンプレート .del.と入力する.を使ってカーソルを下付き文字から移動することができる.
  • 与えられた変数に明示的に依存しない数量はすべて,その偏導関数が0であるとみなされる.
  • Div[f,x]では,f が次元{n1,,nk-1,nk}の配列であれば,x の長さは nkでなければならない.結果の発散は次元{n1,,nk-1}の配列である.
  • Div[f,{x1,,xn},chart]では,f が配列であれば,その次元は{n,,n}でなければならない.f の成分は chart に関連する正規直交基底内にあると解釈される.
  • ユークリッド空間の座標グラフについては,Div[f,{x1,,xn},chart]f をデカルト座標に変換し,通常の発散を計算してから再び chart に変換し直すことで計算できる. »
  • Divの特性に,chart が正規直交基底で表された測定値 g によって定義されるなら,Div[g,{x1,,xn]},chart]はゼロを与えるといものがある. »
  • Divの第3引数の座標チャートは,トリプル{coordsys,metric,dim}として,CoordinateChartDataの第1引数におけるのと同様に指定することができる.dim が省略された短縮形も使うことができる.
  • Div[f,VectorSymbol[]]は,ベクトル記号についての発散を計算する. »
  • DivSparseArrayオブジェクトおよび構造配列オブジェクトに使うことができる.

例題

すべて開くすべて閉じる

  (4)

直交座標におけるベクトル場の発散:

円柱座標におけるベクトル場の発散:

二次元極座標における発散:

delを使って を, で下付き文字の変数のリストを入力する:

del. を使ってテンプレート . を入力し,変数を記入し,を押して関数を入力する:

スコープ  (6)

曲線座標系では,一定の成分を持つベクトルが非零の発散を持つことがある:

二階テンソルの発散:

測定基準,座標系,パラメータを指定する発散:

Divは,曲がった空間に使うことができる:

SymbolicIdentityArray[{n}]によって表現された,TemplateBox[{"x", n, TemplateBox[{}, Reals]}, VectorSymbol3] のそれ自身についての発散:

TensorExpandを適用すると,期待される答,つまり次元,が与えられる:

TemplateBox[{"x", n, TemplateBox[{}, Reals]}, VectorSymbol3] の定数アフィン変換の発散は,線形部分のトレースに等しい:

n 次元における座標ベクトルの発散:

総和をアクティブにしてより簡単な結果を得る:

アプリケーション  (3)

液体の流れが圧縮不可能かどうかを調べる:

関数 について,関連する共役ベクトル場 を定義する:

についてのコーシー・リーマン方程式は,発散と回転のない に等しい:

階数2の応力テンソルの発散は静的弾性媒体の各点における力に等しい:

特性と関係  (9)

Divは配列の階数を1削減する:

Div[{f1,f2,,fn},{x1,x2,,xn}]は,f の勾配のトレースである:

ユークリッド座標グラフ cDivを,デカルト座標に変換し再びデカルト座標から変換し直すことで計算する:

結果はDiv[f,{x1,,xn},c]を直接計算した場合と同じである:

2引数の形 Div[f,vars]は,基本的にその第1引数においてListableである:

Div[array,vars,coordsys]は,事実上,Gradに最後の2つのスロットでTensorContractが続くものである:

しかし,一般にこの操作はListableではない:

chart が正規直交基底で表現された測定値 g で定義されるなら,Div[g,{x1,,xn},chart]はゼロである:

Divは配列の最深部の指標を縮約する.これは,行列の場合は行に作用することを意味する:

他の指標に縮約するためには,Gradを使い,続けて明示的なTensorContractを使う:

行列の場合,まず行列 square を転置することで列に作用することができる:

回転の発散は0である:

非ベクトルの入力の場合でも,結果は0である:

この恒等式はDivInactive形によって順守される:

DivStructuredArrayオブジェクトの構造を保つ:

発散は最終スロットを含まない対称を保つ:

インタラクティブな例題  (1)

ベクトル関数の発散についての式をさまざまな座標系で見る:

Wolfram Research (2012), Div, Wolfram言語関数, https://reference.wolfram.com/language/ref/Div.html (2024年に更新).

テキスト

Wolfram Research (2012), Div, Wolfram言語関数, https://reference.wolfram.com/language/ref/Div.html (2024年に更新).

CMS

Wolfram Language. 2012. "Div." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2024. https://reference.wolfram.com/language/ref/Div.html.

APA

Wolfram Language. (2012). Div. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Div.html

BibTeX

@misc{reference.wolfram_2024_div, author="Wolfram Research", title="{Div}", year="2024", howpublished="\url{https://reference.wolfram.com/language/ref/Div.html}", note=[Accessed: 18-December-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_div, organization={Wolfram Research}, title={Div}, year={2024}, url={https://reference.wolfram.com/language/ref/Div.html}, note=[Accessed: 18-December-2024 ]}