函数の全微分とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 函数の全微分の意味・解説 

函数の全微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/08 02:35 UTC 版)

ナビゲーションに移動 検索に移動

微分法の分野における全微分(ぜんびぶん、: total differential)は多変数の場合の函数の微分である。

M Rn(あるいはより一般に可微分多様体)の開集合として、全微分可能な函数 f: MR の全微分を df と書けば、これは

微小変分としての微分小

伝統的には、自然科学の広範な分野において、微分小 dxi を微小変分 hi それ自身と考えることがよく行われる。このとき、f の全微分 df はその変分の線型主要部であり、上記の近似式は

あるいは

と書くことができる。

線型写像としての全微分

実線型空間

M がベクトル空間 Rn の開集合で、f: MR は微分可能とする。任意の点 pM における全微分 df(p): RnR は、各ベクトル v = (v1, …, vn) に対して方向微分を割り当てる線型写像、即ち

である。df(p)R-値であるから、これは線型形式であり、また dxi をベクトルの第 i-成分を取り出す写像(双対基底

とすれば、上記は

と書ける。あるいはまた勾配を用いて

と書くこともできる。右辺は点乗積である。

多様体

一般の場合において、点 pM における全微分 df(p): TpMR接ベクトル vTpM に対して、その方向への方向微分を割り当てる。接ベクトル v = ·γ(0)γγ(0) = p を満たす M 内の曲線)に対し、

である。従って全微分 df(p)M の点 p における余接空間 T
p
M
の元である。

df を適当な座標系のもとで表示するために、点 p の近傍 U で定義された写像 y: URny(p) = 0 となるものをとる。Rn の標準基底を e1, …, en とすれば、相異なる n この曲線 γi(t) := y−1(t · ei)·γ1(0), …, ·γn(0)TpM の基底であり、

と偏微分を得ることができる。先の例と同様に dyi: TpMR は写像 yi: UR の全微分とすれば、これは T
p
M
の元であって、·γi(0) の双対基底を成し、上記は

と書ける。

接ベクトル vTpM導分ドイツ語版(微分作用素)と見れば、df(p)(v) = v(f) を得る。

連鎖律

f: RnR は可微分函数で、g: RRn, g(t) = (g1(t), …, gn(t)) は滑らかな曲線とすると、合成函数の微分は

と書ける。多様体の場合にも同様のことが成り立つ。

無限小と微分形式

無限小変分としての全微分を考えることは全微分を理解する単純な方法である。たとえば時刻 t と時刻 t に依存する n 個の変数 pi の函数 M(t, p1, …, pn) を考えるとき、M の無限小変分は

で与えられる。しばしばこの式は「経験論的」な無限小の間の関係として解釈されるが、変数 t および pi を函数と思えば、M(t, p1, …, pn) はこれらの函数と M の合成と解釈できるから、上記は微分 1-形式の間の等式として完全に意味を持ち、外微分に関する連鎖律からすぐに得られる。このような観点に立つ利点は、変数間の任意の依存関係を扱うことができることである。たとえば、p12 = p2p3 のとき、2p1dp1 = p3dp2 + p2dp3 が成り立つ。特に全ての変数 pit の函数ならば

となる。

可積分性

各全微分 A = df は 1-形式である。即ち

と表示できる。微分形式の解析学においてカルタン微分 dA は 2-形式

である。A が実際に C2-級函数 f の全微分 df であるとき、即ち ai = fxi のとき二階微分の対称性により

が成り立つ。

局所的には常にこの逆が成り立つ:

1-形式 AdA = 0 を満足するならば、その点の適当な近傍において A の原始函数、すなわち可微分函数 fA = df を満足するものが存在する。

ゆえに dA = 0可積分条件と呼ぶことがある。これは具体的には任意の i, j に対して

,

あるいは

が成り立つことである。

多くの場合には、さらに大域的な原始函数が存在して A はその全微分になる。これは例えば、微分形式がRn の領域、より一般には星型あるいは単連結領域上で定義される場合などである。

多様体 M 上の任意の 1-形式が可積分条件を満たす(つまり、原始函数を持ちその全微分となる)という主張は、一次のド・ラムコホモロジー群ドイツ語版 H1
dR
(M)
が自明であることと同値である。

微分積分学の基本定理

M = R において任意の 1-形式 A = fdx を考えるとき、次元の関係から必ず dA = 0 が成立する。従って R において可積分条件が成り立ち、適当な可微分函数 F が存在して dF = A, 即ち F' = f が成立する。これは一変数の場合の微分積分学の基本定理に他ならない。

全微分方程式

完全微分方程式 (total differential equation) は、全微分に関する方程式として書ける微分方程式である。外微分の性質により、このような方程式は空間の内在的かつ幾何学的な性質を記述するものと理解することができる。

一般化

同様にして(成分ごとに考えて)ベクトル値函数の全微分も定義できる。可微分多様体間の可微分写像に対する一般化として微分写像が得られる。

函数解析学において全微分は、フレシェ微分によって容易に一般化することができる。変分法では変分導函数ドイツ語版と呼ばれる。

参考文献

  • Alle Lehrbücher der Analysis, üblicherweise Band 2, „Mehrere Veränderliche“, etc.

出典




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

「函数の全微分」の関連用語










10
16% |||||

函数の全微分のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



函数の全微分のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの函数の全微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS