逆函数定理

数学、特に微分学において逆函数定理（ぎゃくかんすうていり、英: inverse function theorem）とは、関数が定義域内のある点の近傍で可逆であるための十分条件を述べるものである。この定理から、逆関数の微分の公式が得られる。

さらに多変数微分積分学においてこの定理は、ヤコビ行列が正則となる点を定義域内に持つ任意の C¹ 級ベクトル値関数へと一般化される。この一般化から、逆関数のヤコビ行列の公式が得られる。

このほか、複素正則関数、多様体間の可微分写像、バナッハ空間間の可微分写像などに対する逆関数定理も存在する。

定理の主張

一変数関数に対しての逆関数定理は次のようになる。

逆関数定理 (一変数の場合) ― C¹ 級関数 f の点 a における微分係数が0でないとき、f は a の近傍で可逆となり、この逆関数 f⁻¹ もまた C¹ 級となる。このとき f⁻¹ は次の式を満たす。

(1)\qquad \left(f^{-1}\right)'{\Bigl (}f(a){\Bigr )}={\frac {1}{f'(a)}}

多変数関数に対しての逆関数定理は次のようになる。

逆関数定理 (多変数の場合) ― U ⊂ Rⁿ を開集合、F : U → Rⁿ を C¹ 級関数とすると、F の点 p ∈ U におけるヤコビ行列 J_F (p) が正則であるとき、F は p の近傍で可逆となり、この逆関数 F⁻¹ もまた C¹ 級となる。

このとき F⁻¹ は次の式を満たす。ここで $[A]^{-1}$ は A の逆行列、 $J_{F}(p)$ は F の点 p におけるヤコビ行列である。

(2)\qquad J_{F^{-1}}{\Bigl (}F(p){\Bigr )}={\Bigl [}J_{F}(p){\Bigr ]}^{-1}

式(2)は次の連鎖律の式から導くこともできる。ここで G, H はそれぞれ H (p), p において全微分を持つ関数である。

(3)\qquad J_{G\circ H}(p)=J_{G}{\Bigl (}H(p){\Bigr )}\cdot J_{H}(p)

式(3)の G, H をそれぞれ F⁻¹, F とおくと、 $G\circ H$ が恒等写像となるのでそのヤコビ行列（左辺） $J_{G\circ H}(p)$ は単位行列となる。これを $J_{F^{-1}}{\Bigl (}F(p){\Bigr )}$ について解くことで式(2)が導かれる。ここで、逆関数定理が p における F⁻¹ の全微分の存在を示すものであるのに対し、連鎖律は H (= F) の全微分の存在を仮定したものである。逆関数 F⁻¹ が存在することは、x, y をそれぞれ p, F (p) の十分小さな近傍とするとき n 本の連立方程式

(4)\qquad {\begin{cases}y_{1}&=F_{1}(x_{1},\cdots ,x_{n})\\&\,\vdots \\y_{n}&=F_{n}(x_{1},\cdots ,x_{n})\end{cases}}

の解 x₁, …, x_n が y₁, …, y_n によって記述できることと等しい。

例

ベクトル値関数 F : R² → R² を次のようにおく。

\mathbf {F} (x,y)={\begin{bmatrix}{e^{x}\cos y}\\{e^{x}\sin y}\end{bmatrix}}

すると、この F の (x, y) におけるヤコビ行列 J _F (x, y) は

J_{\mathbf {F} }(x,y)={\begin{bmatrix}{e^{x}\cos y}&{-e^{x}\sin y}\\{e^{x}\sin y}&{e^{x}\cos y}\end{bmatrix}}\,\!

であるから、ヤコビ行列式 det J _F (x, y) は次のようになる。

{\begin{aligned}\det J_{\mathbf {F} }(x,y)&=\det {\begin{bmatrix}{e^{x}\cos y}&{-e^{x}\sin y}\\{e^{x}\sin y}&{e^{x}\cos y}\end{bmatrix}}\\&=e^{2x}\cos ^{2}y+e^{2x}\sin ^{2}y\\&=e^{2x}\\&>0\end{aligned}}\,\!

ゆえに任意の (x, y) においてヤコビ行列 J _F (x, y) は正則となるので、逆関数定理（多変数の場合）より任意の点 p ∈ R² の近傍で F は可逆となる。

注意点として、これは大域的に可逆であることとは異なる。実際 F は次の式を満たすことから単射でなく、ゆえに可逆ともならない。

{\mathbf {F} }(x,~y)={\mathbf {F} }(x,~y+2\pi )

証明方法についての注意

逆関数定理は重要な結果であるから数々の証明が与えられてきた。教科書で最もよくみられる証明は収縮写像の原理（バナッハの不動点定理とも呼ばれる）に依っている。（この定理は常微分方程式の解の存在と一意性の証明における重要な段階としても使うことができる。）この定理は無限次元（バナッハ空間）の場合にも適用するから、逆関数定理の無限次元版（下の#一般化を参照）の証明に使われる道具である。

別の証明（有限次元のみで有効）として、コンパクト集合上の関数に対する最大値の定理を重要な道具として用いるものがある^[1]。また別の証明として、ニュートン法を用いるものがあり、この利点は定理のeffective（英語版）なバージョンが得られることである。つまり、関数の微分の大きさの上界が与えられると、関数が可逆な近傍の大きさの評価を得ることができる^[2]。

一般化

多様体

逆関数定理は可微分多様体の間の可微分写像に一般化できる。この文脈では定理は以下のようになる。可微分写像 F: M → N に対し、F の微分写像

dF_{p}\colon T_{p}M\to T_{F(p)}N

が M の点 p において線型同型であれば、p の開近傍 U が存在して、

F|_{U}\colon U\to F(U)

は微分同相写像となる。これは M と N が p において同じ次元を持たなければならないことを意味することに注意。F の微分が M のすべての点 p で同型ならば、写像 F は局所微分同相である。

バナッハ空間

逆関数定理はバナッハ空間の間の可微分写像に一般化することもできる。X と Y をバナッハ空間とし、U を X の原点の開近傍とする。F: U → Y を連続微分可能とし、F の 0 における微分 dF₀: X → Y は X から Y の上への有界線型同型であると仮定する。すると Y における F(0) のある開近傍 V と連続微分可能な写像 G: V → X が存在して、V のすべての元 y に対して F(G(y)) = y となる。さらに、G(y) 方程式 F(x) = y の唯一の十分小さい解 x である。

バナッハ多様体

上記二種類の異なった方向への一般化を合わせて考えると、バナッハ多様体（英語版）に関する逆写像定理が定式化できる^[3]。

階数一定定理

逆写像定理（と陰函数定理）は「ある点の周りで一定な階数（英語版）を持つ滑らかな写像がその点の近くで特定の形の正規形を持つこと」を述べた階数一定定理 (constant rank theorem) の特殊な場合とみることができる^[4]。

具体的に、滑らかな写像 $F : M \to N$ は点 $p$ の近くで階数が一定とすれば、 $p$ の近傍 $U$ と $F (p)$ の近傍 $V$ が存在して、微分同相 $u : T p M \to U$ および $v : T F (p) N \to V$ で $F (U) \subseteq V$ かつ微分 $dF p : T p M \to T F (p) N$ が $v -1 \circ F \circ u$ に等しくなるようなものが取れる。つまり、 $F$ は $p$ の近くでその微分「のようにみえる」ということである。階数函数の半連続性から、その点の近くで微分が階数一定となるような点全体の成す集合は、もとの写像の定義域の稠密な開部分集合であることが従う。ゆえに階数一定定理は定義域の全体に亙って「生成的に」適用できる。

$F$ の微分が点 $p$ において単射（あるいは全射）ならば $p$ の適当な近傍でも単射（あるいは全射）ゆえ $F$ は階数一定、従って階数一定定理が適用される。

正則関数

Cⁿ の開集合 U から Cⁿ への正則関数 F のヤコビ行列（この文脈では行列は複素微分の行列である）が点 p で可逆であれば、F は p の近くで可逆な関数である。これは上の定理から直ちに従う。この逆関数は再び正則関数であることも示すことができる^[5]。

脚注

^ Michael Spivak, Calculus on Manifolds.
^ John H. Hubbard and Barbara Burke Hubbard, Vector Analysis, Linear Algebra, and Differential Forms: a unified approach, Matrix Editions, 2001.
^ Lang 1995, Lang 1999, pp. 15–19, 25–29.
^ Wiilliam M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, Academic Press, 2002, ISBN 0-12-116051-3.
^ K. Fritzsche, H. Grauert, "From Holomorphic Functions to Complex Manifolds", Springer-Verlag, (2002). Page 33.

参考文献

Lang, Serge (1995). Differential and Riemannian Manifolds. Springer. ISBN 0-387-94338-2
Lang, Serge (1999). Fundamentals of Differential Geometry. Graduate Texts in Mathematics. New York: Springer. ISBN 978-0-387-98593-0
Nijenhuis, Albert (1974). “Strong derivatives and inverse mappings”. Amer. Math. Monthly 81 (9): 969–980. doi:10.2307/2319298.
Renardy, Michael and Rogers, Robert C. (2004). An introduction to partial differential equations. Texts in Applied Mathematics 13 (Second ed.). New York: Springer-Verlag. pp. 337–338. ISBN 0-387-00444-0
Rudin, Walter (1976). Principles of mathematical analysis. International Series in Pure and Applied Mathematics (Third ed.). New York: McGraw-Hill Book Co.. pp. 221–223

[spivak_manifolds-1] Michael Spivak, Calculus on Manifolds.

[hubbard_hubbard-2] John H. Hubbard and Barbara Burke Hubbard, Vector Analysis, Linear Algebra, and Differential Forms: a unified approach, Matrix Editions, 2001.

[3] Lang 1995, Lang 1999, pp. 15–19, 25–29.

[boothby-4] Wiilliam M. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, Academic Press, 2002, ISBN 0-12-116051-3.

[5] K. Fritzsche, H. Grauert, "From Holomorphic Functions to Complex Manifolds", Springer-Verlag, (2002). Page 33.

[1]

[2]

[3]

[4]

[5]

表話編歴関数解析学
集合 / 部分集合のタイプ	均衡星状絶対凸凸併呑有界（英語版）放射状（英語版）対称（英語版）線型錐（部分集合）凸錐（部分集合）
線型位相空間のタイプ	バナッハ樽型界相 Brauner（英語版） F-空間有限次元フレシェ (tame) ヒルベルト LF空間局所凸マッキー（英語版）モンテル核型ノルム付き（ノルム）準ノルム付き回帰的リーススミス（英語版） Stereotype（英語版）ウェブ付き位相テンソル積（英語版）（ヒルベルト空間の（英語版））
位相	双対双対空間作用素強（極作用素） Ultrastrong（英語版）弱（作用素） Ultraweak（英語版）一様収束（英語版）
線型作用素	随伴双線型（形式）有界 / 非有界閉（英語版）連続 / 不連続コンパクトフレドホルムヒルベルト＝シュミット汎関数（正（英語版））正規核自己共役 Strictly singular（英語版）トレースクラス転置ユニタリ
集合の操作	代数的内部（核）内部ミンコフスキー和（英語版）極
バナッハ環	C-環スペクトル（C-環（英語版）半径) スペクトル理論
定理	Eberlein–Šmulian（英語版）開写像角谷の不動点ゲルファント＝マズールコーシー＝シュワルツの不等式 Goldstine（英語版）シャウダーの不動点パーセヴァルの等式ハーン–バナッハ（分離超平面）バナッハ＝アラオグル Banach–Saks（英語版） Banach–Mazur（英語版）フロイデンタールのスペクトル閉値域閉グラフベッセルの不等式マッキー＝アレンスマズールの補題リースの拡張 Lomonosov's invariant subspace（英語版）ニュートン＝カントロビッチ
解析	ボホナー空間フレシェ空間における微分（英語版）微分（フレシェガトー汎函数 holomorphic（英語版））積分（ボホナー Dunford ゲルファント＝ペティス方正弱) 汎函数計算（Borel（英語版） continuous（英語版） holomorphic（英語版））逆函数定理（Nash–Moser theorem（英語版））ベクトル測度
応用	量子力学の数学的定式化有限要素法偏微分方程式の解に対する精度保証付き数値計算
日本人研究者	加藤敏夫吉田耕作藤田宏増田久弥
海外の研究者	リース・フリジェシュステファン・バナフダフィット・ヒルベルトイズライル・ゲルファントピーター・ラックス
カテゴリ