完全微分

完全微分（かんぜんびぶん、exact differential）とは、関数の全微分として書ける1次の微分形式の事で、多様体論などの数学の分野では（1次の）完全形式と呼ばれる。本項では主に物理学に応用する事を想定して直観的に完全微分を説明する。より厳密な取り扱いは微分形式、外微分等の項目を参照されたい。

**概要**

**定義**
滑らかな関数Aに対し、全微分をAの微分形という。また完全微分に対し、となる滑らかな関数をωのポテンシャル（potential）という。
完全微分ωのポテンシャルは微分積分学の基本定理より定数項を除いて一意である。すなわち、ならを満たす定数が存在する。
なお、数学と物理学で名称が異なるので、下記のように表でまとめた：

**不完全微分の表記**
物理学では(1)を何らかの曲線γに沿って線積分した
  ...(3)
が何らかの物理量を表している事が多い。(1)の形の不完全微分を(3)のように線積分したものが物理量Bを表しているとき、(1)を

のように表す。教科書によっては「」、「」と表記するものもある。
「」は全微分と区別するための「単なる記号」であり、完全微分と区別する以上の意味はなく、が具体的になにかの関数の全微分になっている事を意味するわけではない。実際、一般には(3)の線積分は経路に依存するため、物理量はに実数を対応させる関数にはならず、各経路に実数を対応させる関数になってしまう。
次節で述べるように、がに実数を対応させる関数になる必要十分条件は(1)の微分形式が完全微分な事である。

**性質**
(1)の微分形式が完全微分なら、(3)の線積分が経路に依存しないので、基点を固定し、

という（経路に依存せず、基点と終点だけに依存する）物理量を定める事ができる。そして上記のAを全微分したが(1)の微分形式に一致する。なお前述のように、が(1)の微分形式と一致するAは定数項を除いて一意である。

**具体例**
熱力学ではMは熱力学的な「平衡状態」の空間であり、具体的には物理的な系の内部エネルギー、体積、物質量（＝モル数）といった変数で記述される空間であるEfn2|ここでは状態を記述する物理量としていわゆるUVN系を選んだ。他にエントロピー、体積、物質量で記述するSVN系もある。また相転移をうまく扱えない事を許容して圧力、温度、物質量で記述する場合もある。。
不完全微分で記述される物理量の具体例としては熱量Qがあり、QはM上の不完全微分を線積分した形で定式化される。よってM上でどのような経路をたどったかによって熱量は異なってしまう。
一方完全微分で記述される物理量の例としては温度Tがある。Tは平衡状態に実数を対応させる関数として定式化できる量であり、したがってその全微分（これは定義により完全微分）の線積分としても書ける。そしてこの線積分の結果は経路によらず、終点のみで決まる量である。
熱力学では平衡状態に実数を対応させる関数として定式化できる物理量を状態量と呼ぶ。よって温度Tは状態量だが熱量Qは状態量ではない。上述の定理より、(1)の微分形式が完全微分か否かは、(3)の線積分の結果得られる物理量が状態量であるか否かを特徴づける事になる。

**ポアンカレの補題**
以上で説明したように、微分形式ωが完全微分か否かは物理的に重要な意味を持つため、本節ではが存在するための条件を見る。
微分形式に対し、となるが存在すれば、なので、となる。したがって
 for 
はωが完全微分であるための必要条件となる。
逆に上記の条件が成立してもとなるがMの全域で定義された（一価のEfn2|単に「関数」といった場合は一価の関数を意味し、多価関数は含めない。）関数として存在するとは限らない。しかし上記の条件を満たせば局所的にはそのようなが存在する事が知られている：一般には上記の定義で局所的に存在を保証されたAをMの全域に拡張しようとすると、Aは多価関数になってしまう。
例えばが原点以外の2次元平面で定義されているときには原点の周りを「右回り」の曲線に沿ってAを拡張したのか、「左回り」の曲線に沿ってAを拡張したかによってAの値は変わってしまう場合がある。同様にMがトーラスであればトーラスの周りを「右回り」にAを拡張したのか、「左回り」に拡張したかによってAの値は変わってしまう場合がある。
が単連結であれば（あるいはより一般に1次のコホモロジー群が0であれば）、このような多価性の問題は生じず、AをMの全域に拡張できる。詳細はド・ラームコホモロジーの項目を参照されたい。

**偏微分関係式**
三つの変数 x, y, z が適当な可微分函数 F に関する条件 1=F(x, y, z) = (一定) によって束縛されているとすれば、全微分  が存在する667&669。最初の式に二つ目の式を入れて並べ替えれば  を得る669。y, z は独立な変数であるから、dy, dz は制限なく選べる。最後の式が一般に成り立つためには、括弧で括った項が零とならねばならない669。以下それが成立することを見よう:
 相反関係式
 左辺の括弧の中を零と置けば  であり60฿฿฿70、これを逆数関係  にすることができる670。
 三つの変数 x, y, z の置換を施して、もう二つ同様の関係式を導くことができる。Inverse functions and differentiationにより、逆函数の偏微分がもとの函数の偏微分の逆数に等しいことが示されるから、これらの関係式は満たされる。
 輪環関係式
 Triple product ruleとも呼ばれる輪環関係式  により、右辺の括弧の中も零であることが導かれる670。
 実際、∂z/∂y に対する相反関係式を用いて、上記の式を並べ替えたものは輪環関係式  である670。
代わりに ∂x/∂y に対する相反関係式を用い、並べ替えれば陰函数の微分法則  が得られる。

**いくつか有用な等式**
主変数 z は副変数 x, y の函数かつ x, y は u, v の函数とし、各々に関する微分は完全微分とする。連鎖律により、
となるが、やはり連鎖律により
および
により
となり、さらに
を導く。1=v = y と置けば
および 1=u = y と置けば
あるいは、1=u = y, v = z と置いて
また相反関係式により三重積の微分法則
を得る。

**関連項目**
 Closed and exact differential forms- 微分小- Exact differential equation- Inexact differential equation- 積分因子: 不完全方程式を完全微分方程式にするために掛ける- 状態量: 熱力学において微分が完全微分となるような物理量。

**脚注**

**注釈**

**出典**

**参考文献**
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 Company.

**外部リンク**
 Exact and Inexact Differentials – University of Arizona- Exact and Inexact Differentials – University of Texas- title= Exact Differential- title= Inexact Differential