逆関数定理と陰関数定理とは？極座標・単位円・葉線などの計算例でざっくりわかりやすく解説

一つの写像や方程式を、目的の点のまわりだけで「解く」。逆関数定理と陰関数定理は、そのための二本柱です。どちらも非線型の問題を、線型近似であるヤコビ行列の可逆性へと還元します。微分が可逆なら、もとの写像も局所的に可逆になる。素朴に見えるこの原理が、多変数微分積分学のいちばん深いところで効いてきます。以下、二つの定理を、主張と直観、そしてたくさんの計算例で見ていきます。

逆関数定理

まず逆関数定理です。 $F : R^{n} \to R^{n}$ を $C^{1}$ 級写像とし、点 $a$ でヤコビ行列 $D F (a)$ が正則（行列式が $0$ でない）だとします。このとき、 $a$ の近傍 $U$ と $F (a)$ の近傍 $V$ がとれて、 $F : U \to V$ は $C^{1}$ 級の逆写像 $F^{- 1} : V \to U$ をもちます。しかも逆写像の微分は、もとの微分の逆行列で与えられます。

$D (F^{- 1}) (b) = (D F (F^{- 1} (b)))^{- 1}$

直観はこうです。 $C^{1}$ 級の写像は、点 $a$ のごく近くでは線型写像 $D F (a)$ にそっくりです。その線型写像が可逆なら、近くの非線型写像も向きをつぶさず、重なりも作らず、一対一に写します。線型代数の可逆性が、そのまま非線型写像の局所的な可逆性へ持ち上がるのです。ただし保証されるのはあくまで「局所」で、この点はあとで強調します。

1 変数で見る逆関数定理

$n = 1$ に落とすと、なじみのある話になります。 $f : R \to R$ で $f^{'} (a) \neq = 0$ ならば、 $a$ の近傍で $f$ は逆関数をもち、その微分は $(f^{- 1})^{'} (f (a)) = \frac{1}{f ^{'} ( a )}$ です。高校で習う逆関数の微分公式の、正体がこれです。

たとえば $f (x) = e^{x}$ は、 $f^{'} (x) = e^{x} \neq = 0$ がどこでも成り立ちます。だから全域で逆関数をもち、それが $ln x$ です。

いっぽう $f (x) = x^{2}$ は $f^{'} (0) = 0$ なので、原点では定理が使えません。実際 $x^{2}$ は原点のどんな近傍でも $x$ と $- x$ が同じ値をとる $2$ 対 $1$ の写像で、逆関数が定まりません。原点を外せば $f^{'} (x) \neq = 0$ となり、そこでは $y$ という逆関数が現れます。

注意したいのは、 $f^{'} (a) \neq = 0$ は十分条件であって必要条件ではないことです。 $f (x) = x^{3}$ は $f^{'} (0) = 0$ ですが、全域で一対一で、逆関数 $x^{1/3}$ をちゃんともちます。ただしこの逆関数は原点で微分できません。定理が主張するのは「微分が可逆なら、なめらかな逆が存在する」であって、その逆向きは必ずしも成り立たないわけです。

例：極座標写像

多変数の最初の例に、極座標をとります。 $(r, θ)$ を平面の点に移す写像を考えます。

$F (r, θ) = (r cos θ, r sin θ)$

ヤコビ行列と行列式を計算すると、次のようになります。

$D F = (cos θ sin θ - r sin θ r cos θ), det D F = r$

行列式は $r$ です。ですから $r \neq = 0$ のすべての点で、 $F$ は局所的に可逆になります。下の図は、 $(r, θ)$ 平面の格子が、 $x y$ 平面で同心円と放射状の直線に写る様子です。

HTML

CSS

JavaScript

<div class="polar">
<svg viewBox="0 0 440 230" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="極座標写像による格子の変形">
<rect x="0" y="0" width="440" height="230" rx="10" fill="#fafbfc"/>
<g stroke="#9bb8e8" stroke-width="1.2">
<line x1="52" y1="56" x2="52" y2="152"/>
<line x1="84" y1="56" x2="84" y2="152"/>
<line x1="116" y1="56" x2="116" y2="152"/>
<line x1="148" y1="56" x2="148" y2="152"/>
<line x1="52" y1="56" x2="148" y2="56"/>
<line x1="52" y1="88" x2="148" y2="88"/>
<line x1="52" y1="120" x2="148" y2="120"/>
<line x1="52" y1="152" x2="148" y2="152"/>
</g>
<g stroke="#5b8def" stroke-width="1.3" fill="none">
<circle cx="335" cy="105" r="20"/>
<circle cx="335" cy="105" r="40"/>
<circle cx="335" cy="105" r="60"/>
<line x1="335" y1="105" x2="395" y2="105"/>
<line x1="335" y1="105" x2="365" y2="53"/>
<line x1="335" y1="105" x2="305" y2="53"/>
<line x1="335" y1="105" x2="275" y2="105"/>
<line x1="335" y1="105" x2="305" y2="157"/>
<line x1="335" y1="105" x2="365" y2="157"/>
</g>
<circle cx="335" cy="105" r="3.5" fill="#e5484d"/>
<line x1="170" y1="105" x2="252" y2="105" stroke="#8b9098" stroke-width="1.4"/>
<polygon points="258,105 248,100 248,110" fill="#8b9098"/>
<g font-family="ui-sans-serif, system-ui, sans-serif" font-size="12" fill="#33373d" text-anchor="middle">
<text x="100" y="40">(r, θ) 平面</text>
<text x="335" y="40">xy 平面</text>
<text x="211" y="97">F</text>
</g>
<g font-family="ui-sans-serif, system-ui, sans-serif" font-size="11" fill="#5b6169" text-anchor="middle">
<text x="100" y="170">r</text>
<text x="38" y="108">θ</text>
<text x="220" y="214">行列式 det = r。原点 (r = 0) 以外で局所的に逆写像がある</text>
</g>
</svg>
</div>

.polar { margin: 0; text-align: center; }
.polar svg { width: 100%; max-width: 440px; height: auto; }

原点 $r = 0$ では $det D F = 0$ となり、定理は使えません。実際、原点ではすべての $θ$ が同じ一点につぶれてしまい、角度の情報が失われます。極座標が原点で特異になるのは、この行列式のゼロが正体です。

例：複素数の 2 乗

次の例は、複素数の 2 乗 $z \mapsto z^{2}$ に対応する写像です。 $z = x + i y$ として $z^{2} = (x^{2} - y^{2}) + i (2 x y)$ なので、実写像として次を考えます。

$F (x, y) = (x^{2} - y^{2}, 2 x y)$

ヤコビ行列と行列式は次のとおりです。

$D F = (2 x 2 y - 2 y 2 x), det D F = 4 (x^{2} + y^{2})$

$(x, y) \neq = (0, 0)$ なら $det D F \neq = 0$ で、原点以外のどの点にも局所的な逆写像があります。これは、複素平面で $z^{2}$ が $z \neq = 0$ において局所的に可逆、つまり平方根が定義できることと同じです。原点だけが例外なのは、 $0$ の平方根で枝分かれが起きることの反映です。

局所的と大域的は違う

逆関数定理の「局所」という限定は、飾りではありません。行列式がどこでもゼロでないのに、大域的には逆をもたない写像があるのです。複素指数 $z \mapsto e^{z}$ に対応する写像を見ましょう。

$F (x, y) = (e^{x} cos y, e^{x} sin y)$

行列式を計算すると、いたるところで正になります。

$det D F = e^{2 x} > 0$

どの点でも局所的には逆写像があります。ところが $y$ を $2 π$ ずらした $(x, y)$ と $(x, y + 2 π)$ は、まったく同じ点に写ります。ですから平面全体では無限回の重なりが生じ、大域的な逆写像は存在しません。逆関数定理が約束するのは、あくまで各点のまわりの小さな近傍での可逆性だけです。「局所的に可逆」と「大域的に可逆」は別物だ、というこの例は、定理を使うときつねに頭の隅に置くべきものです。

陰関数定理

もう一方の主役が陰関数定理です。 $F : R^{n + m} \to R^{m}$ を $C^{1}$ 級とし、 $F (a, b) = 0$ を満たす点で、 $y$ に関するヤコビ行列 $\frac{\partial F}{\partial y} (a, b)$ が正則だとします（ $x \in R^{n}$ 、 $y \in R^{m}$ ）。このとき、 $a$ の近傍で定義された $C^{1}$ 級関数 $g$ がただ一つ存在して、次を満たします。

$g (a) = b, F (x, g (x)) = 0$

言いかえると、方程式 $F (x, y) = 0$ を、 $y$ について $x$ の関数として局所的に解けるということです。

直観は「等位集合が局所的にグラフになる」ことです。 $F = 0$ で定まる曲線や曲面を点のまわりで拡大すると、 $\frac{\partial F}{\partial y} \neq = 0$ のところでは $y$ 方向に立っておらず、 $y = g (x)$ というグラフとして見えます。逆に $\frac{\partial F}{\partial y} = 0$ だと等位集合が $y$ 方向に垂直になり、 $y$ を $x$ の関数として一意に表せなくなります。

二つの定理を見くらべる

ここまでで両方の主張が出そろいました。並べてみると、構造がよく似ていることがわかります。

逆関数定理

写像 $F$ のヤコビ行列 $D F (a)$ が正則なら、 $a$ の近傍で $F$ に $C^{1}$ 級の逆写像ができます。「写像を反転できる」ことの定理です。

陰関数定理

$F (a, b) = 0$ の点で $\frac{\partial F}{\partial y}$ が正則なら、近傍で $y = g (x)$ と解けます。「方程式を解ける」ことの定理です。

どちらも「あるヤコビ行列が正則なら、局所的にうまくいく」という同じ骨格をもっています。この近さは偶然ではなく、あとで見るように両者は同値です。

陰関数の微分

陰関数 $y = g (x)$ の式が求まらなくても、その微分は計算できます。 $F (x, g (x)) = 0$ の両辺を $x$ で微分し、連鎖律を使うと、次の関係が出ます。

$F_{x} + F_{y} \frac{d y}{d x} = 0$

$F_{y} \neq = 0$ のもとでこれを解けば、有名な公式を得ます。

$\frac{d y}{d x} = - \frac{F _{x}}{F _{y}}$

陰関数定理が $F_{y} \neq = 0$ を要求したのは、まさにこの割り算を可能にするためでもあります。以下の例では、この公式を繰り返し使います。

例：単位円

定番の例が単位円 $F (x, y) = x^{2} + y^{2} - 1 = 0$ です。 $F_{y} = 2 y$ なので、 $y \neq = 0$ の点で $y = g (x)$ と解けます。

まず点 $(0, 1)$ を見ましょう。 $F_{y} = 2 \neq = 0$ なので定理が使え、近傍で $y = 1 - x^{2}$ と表せます。傾きは公式から $\frac{d y}{d x} = - \frac{x}{y} = 0$ で、確かに円の頂点で接線は水平です。

HTML

CSS

JavaScript

<div class="circ">
<svg viewBox="0 0 320 300" xmlns="http://www.w3.org/2000/svg" role="img" aria-label="単位円と陰関数として解ける点・解けない点">
<rect x="0" y="0" width="320" height="300" rx="10" fill="#fafbfc"/>
<line x1="48" y1="150" x2="272" y2="150" stroke="#dfe3e8" stroke-width="1"/>
<line x1="160" y1="42" x2="160" y2="258" stroke="#dfe3e8" stroke-width="1"/>
<circle cx="160" cy="150" r="100" fill="none" stroke="#5b8def" stroke-width="1.8"/>
<line x1="126" y1="50" x2="194" y2="50" stroke="#2f9e44" stroke-width="2.4"/>
<circle cx="160" cy="50" r="4.5" fill="#2f9e44"/>
<line x1="260" y1="112" x2="260" y2="188" stroke="#e5484d" stroke-width="2.2" stroke-dasharray="5 3"/>
<circle cx="260" cy="150" r="4.5" fill="#e5484d"/>
<g font-family="ui-sans-serif, system-ui, sans-serif" font-size="12" fill="#33373d" text-anchor="middle" stroke="#fafbfc" stroke-width="3" paint-order="stroke">
<text x="160" y="36">(0, 1)</text>
<text x="248" y="176">(1, 0)</text>
</g>
<text x="160" y="282" font-family="ui-sans-serif, system-ui, sans-serif" font-size="11" fill="#2f9e44" text-anchor="middle">(0, 1)：F_y ≠ 0 → y = g(x) と解ける（水平接線）</text>
<text x="160" y="296" font-family="ui-sans-serif, system-ui, sans-serif" font-size="11" fill="#c93c41" text-anchor="middle">(1, 0)：F_y = 0 → 垂直接線で解けない</text>
</svg>
</div>

.circ { margin: 0; text-align: center; }
.circ svg { width: 100%; max-width: 320px; height: auto; }

対照的なのが点 $(1, 0)$ です。ここでは $F_{y} = 2 y = 0$ となり、定理は使えません。図のとおり、この点で円の接線は垂直で、 $y$ を $x$ の関数として表そうとすると上半分と下半分の二値に割れてしまいます。ただし役割を入れかえれば話は別です。 $F_{x} = 2 x = 2 \neq = 0$ なので、こんどは $x = h (y) = 1 - y^{2}$ と、 $x$ を $y$ の関数として解けます。解けるかどうかは、どちらの変数で見るかにもよるのです。

例：デカルトの葉線

もう少し歯ごたえのある曲線として、デカルトの葉線 $F (x, y) = x^{3} + y^{3} - 3 x y = 0$ を調べます。偏微分は $F_{x} = 3 x^{2} - 3 y$ 、 $F_{y} = 3 y^{2} - 3 x$ です。陰関数の微分公式に入れると、傾きは次のようになります。

$\frac{d y}{d x} = - \frac{F _{x}}{F _{y}} = - \frac{x ^{2} - y}{y ^{2} - x}$

接線が水平になるのは、分子が $0$ 、つまり $y = x^{2}$ のときです。これを曲線の式に代入すると $x^{3} + x^{6} - 3 x^{3} = x^{6} - 2 x^{3} = 0$ となり、 $x^{3} = 2$ から、 $x = 2^{1/3}$ 、 $y = 2^{2/3}$ の点で水平接線をもつとわかります。

対称性から、接線が垂直になる（ $F_{y} = 0$ 、つまり $x = y^{2}$ ）のは、 $x = 2^{2/3}$ 、 $y = 2^{1/3}$ の点です。

原点 $(0, 0)$ は特別です。ここでは $F_{x} = F_{y} = 0$ がともに成り立ち、陰関数定理はどちらの変数についても使えません。実際、葉線は原点で自分自身と交わっており（結節点）、そこだけはなめらかな一本のグラフになりません。両方の偏微分が消える点は、曲線の特異点のありかを教えてくれます。

例：陽に解けない方程式

陰関数定理の真価は、 $y = g (x)$ が式で書けないときに出ます。次の方程式を考えます。

$y^{5} + y - x = 0$

$y$ について 5 次なので、根の公式では解けません。それでも $F_{y} = 5 y^{4} + 1$ はつねに正で、決して $0$ になりません。ですから陰関数定理により、すべての $x$ で $y = g (x)$ がただ一つ定まり、しかも $C^{1}$ 級（実際にはなめらか）です。

式が書けなくても、微分は求まります。 $F_{x} = - 1$ なので、傾きは次のとおりです。

$\frac{d y}{d x} = - \frac{F _{x}}{F _{y}} = \frac{1}{5 y ^{4} + 1}$

たとえば原点 $(0, 0)$ では、 $y = 0$ を代入して $\frac{d y}{d x} = 1$ です。解の公式が存在しない関数についても、存在・一意性・なめらかさ・傾きがすべて手に入る。これが陰関数定理の威力です。

例：曲面を関数として解く

変数が増えても、話は同じ形で進みます。空間内の単位球面 $F (x, y, z) = x^{2} + y^{2} + z^{2} - 1 = 0$ を、 $z$ について解くことを考えます。 $F_{z} = 2 z$ なので、 $z \neq = 0$ の点で $z = g (x, y)$ と表せます。

北極に近い点、たとえば $(0, 0, 1)$ では $F_{z} = 2 \neq = 0$ なので、上半球 $z = 1 - x^{2} - y^{2}$ としてグラフになります。偏微分は、陰関数の微分を各変数に当てはめて、次のようになります。

$\frac{\partial z}{\partial x} = - \frac{F _{x}}{F _{z}} = - \frac{x}{z}, \frac{\partial z}{\partial y} = - \frac{F _{y}}{F _{z}} = - \frac{y}{z}$

$(0, 0, 1)$ では両方とも $0$ で、球面の頂点で接平面が水平なことと合致します。いっぽう赤道 $z = 0$ では $F_{z} = 0$ となり、 $z$ を $(x, y)$ の関数としては解けません。ここでは球面が縦に切り立っていて、上半球と下半球が分かれる境目になっています。

二つの定理は同値

逆関数定理と陰関数定理は、見かけは違いますが、じつは表裏一体です。片方からもう片方を導けます。鍵は、方程式を解くことを写像の反転に読みかえる一手です。

方程式 $F (x, y) = 0$ を $y$ について解きたい

補助写像 $Φ (x, y) = (x, F (x, y))$ に逆関数定理を使う

逆写像から $y = g (x)$ が読み取れる

$Φ$ のヤコビ行列は、ブロックの形から行列式が $det \frac{\partial F}{\partial y}$ にちょうど一致します。ですから $\frac{\partial F}{\partial y}$ が正則なら $Φ$ に逆関数定理が使え、その逆写像の後半成分がまさに求める $g$ になります。陰関数定理は、逆関数定理を一段化粧直ししたものだ、と見ることができるわけです。逆向きの導出も可能で、両定理は本質的に同じ内容の言いかえになっています。

応用

この二つの定理は、解析学のあちこちで土台として働きます。

ラグランジュの未定乗数法の正当化（制約曲面を局所的にグラフとして扱える）

多様体の局所座標（「局所的にユークリッド空間に見える」という定義を支える座標変換）

常微分方程式の解の存在や、ニュートン法の収束の保証

最適化や力学系の標準形（非線型を局所的に線型化して扱う）

いずれの場面でも効いているのは、同じ一言です。ヤコビ行列が可逆なら、非線型の問題も局所的には可逆で、素直に解ける。この一点が、広い範囲を静かに支えています。

理解の確認

単位円 $x^{2} + y^{2} = 1$ 上の点 $(1, 0)$ の近くで、 $y$ を $x$ の関数 $y = g (x)$ として解けない理由は何でしょうか。

$F_{x} = 2 x = 2 \neq = 0$ だから
$F_{y} = 2 y = 0$ となり、陰関数定理の条件が破れるから
円が $C^{1}$ 級でないから

__RESULT__

点 $(1, 0)$ では $F_{y} = 2 y = 0$ なので、陰関数定理の「 $\frac{\partial F}{\partial y} \neq = 0$ 」という条件が満たされません。実際この点で接線は垂直になり、 $y$ を $x$ の関数として一意に表せません。いっぽう $F_{x} = 2 \neq = 0$ なので、変数を入れかえて $x = h (y)$ としてなら解けます。条件が破れるのは曲線が悪いからではなく、見る向きが悪いだけなのです。

微分は可逆か、という問い

逆関数定理と陰関数定理は、たった一つの問い ——「線型近似は可逆か」—— に、非線型の局所的な可解性をまるごと預けてしまいます。ヤコビ行列の行列式がゼロでないか。それだけを確かめれば、写像が反転し、方程式が解け、曲線や曲面がグラフになる。手に負えなく見える非線型の問題が、線型代数の一つの判定に化けるのです。

この視点は、多様体論の「局所的にユークリッド空間に見える」という定義や、ラグランジュの未定乗数法、力学系の標準形といった、現代の解析・幾何の広い範囲を下から支えています。新しい非線型の方程式や写像に出会ったら、まずヤコビ行列を書き、その行列式を見てみる。微分は可逆か。その問いに答えることが、非線型の世界を局所的に手なずける第一歩になります。