陰函数定理

数学、特に多変数微分積分学において陰函数定理は、解析的な多項関係を多変数函数に読み替え、関係を函数のグラフとして表すことを可能にする基本的な道具である。関係の全体は一つの函数のグラフとして大域的に表せないものの、関係の一部は一つの函数のグラフとして局所的に表せることがある。陰函数定理はそのような函数が存在する十分条件を与える。

定理の主張する所は、函数 1=//f// = //f//(//x//ind がある零点の偏微分係数に関して一種の非特異性を満足するならば、その開近傍において方程式

を m}} 個の変数 y}} について解いて n}} 個の変数 x}} による函数

として表すことができる、というものである。方程式 1=//f// = 0}} から陰函数 //g//}}が定まるというのは、幾何学的には軌跡 1=//f// = 0}} から局所的な性質超曲面 1=//y// = //g//}} が定まることを意味する。

1. 例と導入
-------

二変数函数 f}} を 1=//f// = //x//exp と定めると、単位円をその等高線 1=//f// = 0}} として表すことができる。ところが各 −1 < //x// < 1}} に対して y}} は相異なる二つの値をとるので、単位円の全体を一変数函数 1=//y// = //g//}} のグラフとして表すことはできない。しかしながら、単位円の一部であれば一変数函数のグラフとして表すことができることがある。たとえば

とすれば、1=//y// = //g//ind のグラフは単位円の上半分と一致する。同様に

とすれば、1=//y// = //g//ind のグラフは単位円の下半分と一致する。

単位円に対する //g//ind のような陰函数が存在し、かつ十分に滑らかであることを、明示的な式を書き下せない状況下でさえ保証する一般的な命題が陰函数定理である。

2. 定理の主張
--------

開集合 //Ω// &subset; Rmsup 上の連続微分可能な函数 //f//: //Ω// → Rmsup をとる。始域 Ω}} を直積集合 Rmsup の部分集合と見做して、この直積に属する元を 1= = )}} が 1=//f//}} の零点集合と一致するようなものを見つけることを考える。

既に述べたとおり、そのようなことは常に可能というわけではない。そこで 1=//f//}} の零点 1= = }} で

を満足するものを求めたい。

陰函数定理を述べるためには、1=//f// = }} における値は

で与えられる。右辺において、X}} は変数 xind たちに関する偏微分からなる行列、Y}} は変数 yind に関する偏微分からなる行列である。陰函数定理が述べるのは、このときの行列 Y}} が正則ならば、所期の通りの U, V, g}} が存在することである。以上全ての仮定をまとめれば以下の定理を得る。

正則性  に関して以下のような一般化が可能である:

3. 例の再考
-------

ふたたび単位円の例に戻ろう。すなわち、定理において 1=//n// = //m// = 1}} および 1=//f// = //x//exp と置いた場合であり、ヤコビ行列は gaps-行列

で与えられる。したがって定理に言う Y}} はここでは単に数 2//b//}} で、それが定める線型写像が正則であるための必要十分条件は //b// ≠ 0}} である。ゆえに陰函数定理によれば、単位円は、//y// ≠ 0}} なる任意の点に対して局所的に 1=//y// = //g//}} の形に書くことができる。しかし、既に上でも述べたが、点 }} においては問題が生じる。陰函数定理はこれら二つの点においても適用することは未だ可能であるが、それは x}} を y}} の函数 1=//x// = //h//}} と見てのことである。実際、そのグラフを , //y//)}} とすれば、1=//b// = 0}} のとき 1=//a// = 1}} と取れるから、局所的にこの形の函数に表されるための条件は満足されている。

y}} の x}} に関する陰函数微分、および x}} の y}} に関する陰函数微分は、陰函数 //x//exp の全微分 を 0}} に等しいと置いた

から求めることができる。すなわち、1=//sfrac および 1=//sfrac が成り立つ。

4. 応用: 座標変換
-----------

以下、座標系 (//x//ind で座標付けられた m}}-次元空間を考える。これに適当な函数系 //h//ind を施して、新たな座標系 (//x'}}//ind を導入する。すなわち、各点の新座標は旧座標から

と計算することができる。この逆が可能であるかどうか、すなわち各点の新座標 (//x'}}//ind から旧座標 (//x//ind に戻せるか、を検証したいと考えるかもしれない。この問いに、陰函数定理は一つの答えを提供する。

新旧の座標の対、(//x'}}//ind は

と置くことにより、1=//f// = 0}} なる関係を持つ。ここに f}} の適当な点 1= = (//x'}}//ind におけるヤコビ行列は

で与えられる。右辺の 1msub は gaps-単位行列で J}} は各偏微分の }} における値からなる行列である。陰函数定理の主張に従えば、この行列 J}} が正則であるときには、 ≠ 0}} と同値であるから、J}} の行列式が非零であるとき、新座標は旧座標に引き戻すことができることが分かった。この主張もまた逆写像定理と呼ばれている。

4.1. 例: 極座標系
------------

簡単な例として、平面上の極座標系 }} を考える。新たな座標系として直交座標系を考えれば、変換は 1=//x// = //r// cos}} および 1=//y// = //r// sin}} で与えられる。これにより、任意の点 }} が与えられれば、対応する直交座標 }} が計算できる。逆に直交座標を極座標に変換することができるのはいつなのかを考えよう。前節に従えば、ヤコビ行列

が det ≠ 0}} を満たすことが十分であった。ここに 1=det = //r//}} が成り立つから、極座標に戻すためには //r// ≠ 0}} が十分である。ゆえに残りの 1=//r// = 0}} の場合に関して確かめよう。この場合、座標変換が可逆でないことを確かめることは容易である。実際、原点において θ}} の値は定義可能でない。

5. 一般化
------

5.1. バナッハ空間版
------------

バナッハ空間における逆写像定理は、陰函数定理がバナッハ空間値の写像に対しても拡張できることに基づく。

X, Y, Z}} がバナッハ空間で、写像 //f//: //X// × //Y// → //Z//}} は連続フレシェ微分可能とする。 ∈ //U// × //V//}} に対して 1=//f//) = 0}} かつ 1=//f// = 0 [[同値 とできる。

5.2. 微分不能函数の定める陰函数
------------------

函数 f}} が微分可能でない場合の陰函数定理には様々な形のものが存在する。標準的な定理は一次元において成立するものである。以下に示すより一般の形の定理は、Jittorntrum の観察に基づいて、Kumagaiが証明した。

定理: 函数 //f//: Rmsup は 1=//f//: //A// → Rmsup が局所的に一対一となるならば、//x//msub および //y//msub それぞれの開近傍 //A//msub および //B//msub が存在して、方程式 1=//f// = 0}} が一意な解 1=//x// = //g// ∈ //A//msub を持つ。ここで g}} は //B//msub から //A//msub への連続函数である。

6. 関連項目
-------

階数一定定理: 陰函数定理および逆写像定理の一般化

7. 注
----

8. 参考文献
-------

title=Implicit function .
title=Implicit function.