逆函数定理

数学の分野、特に微分学において、逆関数定理は、関数が定義域内の特定の一点の近傍で可逆となるための十分条件を提供する極めて重要な定理です。この定理は、関数の微分可能性や、多変数関数の場合にはヤコビ行列の性質と深く関連しています。

一変数関数の場合、この定理は比較的単純な形で表現されます。関数の微分がある点でゼロでないならば、その点の周りでは逆関数が存在し、滑らかであるということを保証します。この結果から、よく知られた逆関数の微分の公式が導かれます。

より一般的に、多変数微分積分学では、この定理はC1級（連続微分可能）なベクトル値関数に対して適用されます。ここで中心的な役割を果たすのがヤコビ行列です。ある点において関数のヤコビ行列が正則（つまり、行列式がゼロでない）であるならば、その点の近傍で関数は可逆となります。さらに、この一般化された定理によって、逆関数のヤコビ行列を元の関数のヤコビ行列を用いて計算する公式が得られます。

この逆関数のヤコビ行列に関する公式は、関数の合成の微分に関する連鎖律から自然に導かれます。関数とその逆関数を合成すると恒等写像になることを利用し、両辺のヤコビ行列を考えることで、逆関数のヤコビ行列が元の関数のヤコビ行列の逆行列となることが示されます。ただし、逆関数定理は逆関数そのものの存在と微分可能性を保証するのに対し、連鎖律を用いる公式の導出は、既に逆関数が存在し微分可能であることを前提としています。

多変数関数の逆関数定理の応用例として、平面上の写像 F(x, y) = [e^x cos y, e^x sin y] を考えてみましょう。この関数のヤコビ行列を計算すると、その行列式は e^(2x) となります。任意の点 (x, y) において指数関数 e^(2x) は常に正であるため、ヤコビ行列は常に正則です。したがって、逆関数定理により、この関数 F は平面上の任意の点の近傍で可逆であることがわかります。しかし、この関数は F(x, y) = F(x, y + 2π) という周期性を持つため、異なる点 (x, y) と (x, y + 2π) が同じ値に写されます。これは関数が単射でないことを意味し、結果として大域的には可逆ではないことに注意が必要です。逆関数定理は、あくまで「局所的」な可逆性を保証するものです。

逆関数定理には、数学における重要性ゆえに様々な証明方法が存在します。教科書でしばしば用いられるのは、収縮写像の原理（またはバナッハの不動点定理）を利用する方法です。この方法は、常微分方程式の解の存在と一意性の証明にも使われる強力なツールであり、無限次元の空間（バナッハ空間）における逆関数定理の証明にも適用可能です。他にも、コンパクト集合上の関数の性質を用いたり、ニュートン法のような反復計算の手法を用いた証明も存在します。ニュートン法による証明からは、関数が可逆となる近傍の大きさを具体的に評価できるといった利点が得られます。

逆関数定理の概念は、さらに様々な数学的構造へと一般化されます。例えば、可微分多様体間の可微分写像に対して、微分写像（接空間間の線型写像）が同型ならば、その点の近傍で写像は微分同相写像（滑らかな逆を持つ滑らかな写像）となります。また、前述のようにバナッハ空間間の連続微分可能な写像に対しても同様の定理が成り立ちます。複素正則関数についても、ヤコビ行列（複素微分によって構成される行列）が可逆であれば、局所的に逆関数が存在し、しかもその逆関数も再び正則関数となることが示されます。

逆関数定理（および密接に関連する陰関数定理）は、階数一定定理という、より一般的な結果の特別な場合とみなすこともできます。階数一定定理は、ある点の周りで階数が一定の滑らかな写像が、その点の近くで特定のシンプルな形に変換できることを示す定理です。これは、写像が局所的にその微分「のように見える」という強力な結論を意味します。

このように、逆関数定理は、解析学、幾何学、微分方程式論など、数学の幅広い分野で基本的な道具として利用されています。関連する定理としては、関数の局所的な振る舞いに関する別の重要な結果である陰関数定理が挙げられます。

もう一度検索