完全微分形式

微分形式の外微分として表現できる微分形式
完全形式から転送)

微分位相幾何学における微分形式完全 (exact) である、または完全微分形式(かんぜんびぶんけいしき、: exact differential form)、短く完全形式 (exact form) であるとは、別の微分形式でその外微分がもとの微分形式に一致するものが存在するときに言う。すなわち、完全形式は可積分である。短くまとめると、微分形式 ω が完全とは、微分形式 Q が存在して

が積分路のとり方に依らず i, f のみによって決まる

ようなものである。シュヴァルツの定理により、C1-フランス語版の任意の完全形式は閉微分形式である。ポワンカレの補題はその部分的なを保証する。

一次微分形式の場合 編集

開集合 U 上定義された1-形式 ω が完全とは、U 上定義された可微分函数 F が存在して ω = dF となるときを言う。言い換えれば、ω によるベクトル場勾配場とのスカラー積となる。

ポワンカレの補題によれば、単連結開集合上の C1-級微分 1-形式が完全となるのは、それがとなるとき(かつそのときに限る)である。

参考文献 編集

  • Perrot, P. (1998). A to Z of Thermodynamics. New York: Oxford University Press 
  • Zill, D. (1993). A First Course in Differential Equations (5th ed.). Boston: PWS-Kent Publishing 

関連項目 編集

外部リンク 編集

  • Weisstein, Eric W. "Exact Differential". mathworld.wolfram.com (英語).
  • Weisstein, Eric W. "Inexact Differential". mathworld.wolfram.com (英語).
  • (英語) Exact and Inexact Differentials sur le site de W. R. Salzman, au département de chimie de l'université d'Arizona
  • (英語) Exact and Inexact Differentials sur le site de Richard Fitzpatrick, professeur de physique à l'université du Texas à Austin