陰函数定理

数学、特に多変数微分積分学において陰函数定理（いんかんすうていり、）は、解析的な多項関係を多変数函数に読み替え、関係を函数のグラフとして表すことを可能にする基本的な道具である。関係の全体は一つの函数のグラフとして大域的に表せないものの、関係の一部は一つの函数のグラフとして局所的に表せることがある。陰函数定理はそのような函数（陰函数）が存在する十分条件を与える。
定理の主張する所は、函数 がある零点の偏微分係数に関して一種の非特異性を満足するならば、その開近傍において方程式
を 個の変数 について解いて 個の変数 による函数
として表すことができる、というものである。（ただし、必ずしもに書くことができるとは限らない。）方程式 から陰函数 が定まるというのは、幾何学的には軌跡 から超曲面 が定まることを意味する。
例と導入.
二変数函数 を と定めると、単位円をその等高線 として表すことができる。ところが各 に対して は相異なる二つの値（具体的には ）をとるので、単位円の全体を一変数函数 のグラフとして表すことはできない。
しかしながら、単位円の一部であれば一変数函数のグラフとして表すことができることがある。たとえば
とすれば、 のグラフは単位円の上半分と一致する。同様に
とすれば、 のグラフは単位円の下半分と一致する。
単位円に対する のような陰函数が存在し、かつ十分に滑らかであることを、明示的な式を書き下せない状況下でさえ保証する一般的な命題が陰函数定理である。
定理の主張.
開集合 上の連続微分可能な函数 をとる。始域 を直積集合 の部分集合と見做して、この直積に属する元を と書く。そのような函数 が与えられたところから始めて、最終的に函数 でそのグラフ が の零点集合と一致するようなものを見つけることを考える。
既に述べたとおり、そのようなことは常に可能というわけではない。そこで の零点 を固定し、その近くで目的に合う を見つけることに視点を移す。すなわち、 を満たす点 の開近傍 と点 の開近傍 、および函数 の三つ組 "U", "V", "g" で、 のグラフが 上で関係 を満足するもの、式で書けば 内の各点 で
を満足するものを求めたい。
陰函数定理を述べるためには、 のヤコビ行列（函数行列）が必要である。それは のすべての偏微分によって形作られる行列で、 における値は
で与えられる。右辺において、 は変数 たちに関する偏微分からなる行列、 は変数 に関する偏微分からなる行列である。陰函数定理が述べるのは、このときの行列 が正則ならば、所期の通りの が存在することである。以上全ての仮定をまとめれば以下の定理を得る。
正則性 (regularity) に関して以下のような一般化が可能である:
例の再考.
ふたたび単位円の例に戻ろう。すなわち、定理において および と置いた場合であり、ヤコビ行列は -行列
で与えられる。したがって定理に言う はここでは単に数 で、それが定める線型写像が正則であるための必要十分条件は である。ゆえに陰函数定理によれば、単位円は、 なる任意の点に対して局所的に の形に書くことができる。しかし、既に上でも述べたが、点 においては問題が生じる。陰函数定理はこれら二つの点においても適用することは未だ可能であるが、それは を の函数 と見てのことである。実際、そのグラフを とすれば、 のとき と取れるから、局所的にこの形の函数に表されるための条件は満足されている。
 の に関する陰函数微分、および の に関する陰函数微分は、陰函数 の全微分 を に等しいと置いた
から求めることができる。すなわち、 および が成り立つ。
応用: 座標変換.
以下、座標系 で座標付けられた -次元空間を考える。これに適当な函数系 を施して、新たな座標系 を導入する。すなわち、各点の新座標は旧座標から
と計算することができる。この逆が可能であるかどうか、すなわち各点の新座標 から旧座標 に戻せるか、を検証したいと考えるかもしれない。この問いに、陰函数定理は一つの答えを提供する。
新旧の座標の対、 は
と置くことにより、 なる関係を持つ。ここに の適当な点 におけるヤコビ行列は
で与えられる。右辺の は -単位行列で は各偏微分の における値からなる行列である（これらは上で および と書いていたものである。いまの例ではたまたまどちらの行列も に依存しない）。陰函数定理の主張に従えば、この行列 が正則であるときには、 は局所的に の函数として表される。 が正則であることは と同値であるから、 の行列式が非零であるとき、新座標は旧座標に引き戻すことができることが分かった。この主張もまた逆写像定理と呼ばれている。
例: 極座標系.
簡単な例として、平面上の極座標系 を考える。新たな座標系として直交座標系を考えれば、変換は および で与えられる。これにより、任意の点 が与えられれば、対応する直交座標 が計算できる。逆に直交座標を極座標に変換することができるのはいつなのかを考えよう。前節に従えば、ヤコビ行列
が を満たすことが十分であった。ここに が成り立つから、極座標に戻すためには が十分である。ゆえに残りの の場合に関して確かめよう。この場合、座標変換が可逆でないことを確かめることは容易である。実際、原点において の値は定義可能でない。
一般化.
バナッハ空間版.
バナッハ空間における逆写像定理は、陰函数定理がバナッハ空間値の写像に対しても拡張できることに基づく。
 がバナッハ空間で、写像 は連続フレシェ微分可能とする。 は を満たし、かつ が から の上へのバナッハ空間同型となるならば、 の近傍 と の近傍 およびフレシェ微分可能函数 が存在して、任意の に対して かつ とできる。
微分不能函数の定める陰函数.
函数 が微分可能でない場合の陰函数定理には様々な形のものが存在する。標準的な定理は一次元において成立するものである。以下に示すより一般の形の定理は、Jittorntrum の観察に基づいて、Kumagaiが証明した。