# 逆関数定理・陰関数定理と条件付き極値：縮小写像で「方程式を解く」 > 微分が可逆なら写像は局所的に可逆である、という逆関数定理を縮小写像の原理で証明し、そこから陰関数定理とラグランジュの乗数法を導く。反例と図で各仮定の役割を確かめます。 > https://rikai.mugen-giken.com/mathematics/calculus/inverse-implicit-functions ## 0. この記事の要点 連立方程式を「解けるか、解けるなら一通りか」と問われたとき、式が一次式なら行列を調べれば答えが出ます。式が曲がっていても、一点のすぐ近くだけなら、その点での一次近似（接線や接平面の考え方）で同じことが言えるのではないか、というのがこの記事の話です。読み終えると、方程式を実際に解かなくても、どの点の近くで「ある変数を別の変数の関数として表せるか」を微分で判定でき、制約付きの最大・最小を求める乗数法の理由も分かります。 - **逆関数定理**: $C^1$ 級写像 $F:\mathbb{R}^n \supset U \to \mathbb{R}^n$ の点 $a$ でのヤコビ行列 $DF(a)$ が正則なら、$F$ は $a$ の近くで $C^1$ 級の逆写像を持ちます。「一次近似が可逆なら、元の写像も局所的に可逆」という主張です。 - 証明は**縮小写像の原理**で行います。方程式 $F(x)=y$ を「$x=\Phi_y(x)$ という不動点問題」に書き換えると、$y$ が $F(a)$ に近い限り $\Phi_y$ が縮小写像になり、解が存在して一意に決まります。 - **陰関数定理**は逆関数定理の言い換えです。$F(x,y)=0$ で $\partial F/\partial y$ が可逆なら、その点の近くで $y$ を $x$ の $C^1$ 級関数として解け、$Dg=-(F_y)^{-1}F_x$ が成り立ちます。 - **ラグランジュの乗数法**は陰関数定理の応用です。制約 $g=0$ の下での極値点では $\nabla f=\sum \lambda_i \nabla g_i$ が成り立ちます。ただし $\nabla g_i$ が一次独立という仮定を落とすと反例があります。 - 導関数が連続でない例 $x+2x^2\sin(1/x)$ は、$f'(0)=1\neq 0$ なのに $0$ の近傍で単射になりません。$C^1$ 級という仮定は本質的です。 ## 1. 動機：「方程式は解けるか」を微分で判定する 連立方程式 $F(x)=y$ を考えます。$F$ が線形、$F(x)=Ax$ なら、答えは[行列式](/mathematics/linear-algebra/determinants#def-determinant)で決まります。$\det A\ne 0$ なら任意の $y$ に対して $x=A^{-1}y$ と一意に解け、$\det A=0$ なら解けない $y$ や解が一意でない $y$ が出ます。 非線形の $F$ ではどうでしょう。円 $x^2+y^2=1$ を「$y$ について解く」ことを考えます。点 $(0,1)$ の近くでは $y=\sqrt{1-x^2}$ と解けますが、円全体を 1 つの関数 $y=g(x)$ で表すことはできません。また点 $(1,0)$ の近くでは、$x$ を決めても $y=\pm\sqrt{1-x^2}$ の 2 つの値があり、そもそも $y$ を $x$ の関数として書けません。**解ける場所と解けない場所**を、方程式を実際に解かずに見分けたい、というのがこの記事の出発点です。 答えは 1 次近似にあります。円の式 $F(x,y)=x^2+y^2-1$ では $\partial F/\partial y=2y$ で、これが $0$ でない点（$y\ne0$）では局所的に $y$ について解け、$0$ になる点（$(\pm1,0)$）では解けません。**1 次近似（線形写像）が可逆なら、元の非線形方程式も局所的には同様に解ける**。これが逆関数定理・陰関数定理の中身です。 用途は広く、曲面や多様体を方程式 $g=0$ で定義したときに、それが局所的に「なめらかな図形」であること（[多様体入門](/mathematics/manifolds/smooth-manifolds) の出発点）や、制約付き最適化のラグランジュの乗数法の根拠になります。この記事では、これら 3 つの定理を、縮小写像の原理という 1 つの道具から順に証明します。 ## 2. 準備：ノルム、ヤコビ行列、平均値不等式 $\mathbb{R}^n$ の元を列ベクトルとし、$\|x\|=\sqrt{x_1^2+\cdots+x_n^2}$ をユークリッドノルムとします。$m\times n$ 行列 $A=(a_{ij})$ に対して $$ \|A\| = \Bigl(\sum_{i,j} a_{ij}^2\Bigr)^{1/2} $$ とおきます（フロベニウスノルム）。コーシー・シュワルツの不等式（）を各行に適用すると $(Ax)_i$ の絶対値が第 $i$ 行のノルムと $\|x\|$ の積以下になることが分かります。これを 2 乗して $i$ について足せば $$ \|Ax\|\le \|A\|\,\|x\|, \qquad \|AB\|\le \|A\|\,\|B\| $$ が得られます（2 つ目は $AB$ の各列に 1 つ目を使う）。以後、行列のノルムとはこれを指します。 $U\subset\mathbb{R}^n$ を開集合、$F=(F_1,\dots,F_m):U\to\mathbb{R}^m$ とします。ある $m\times n$ 行列 $A$ が存在して $$ \lim_{h\to 0}\frac{\|F(a+h)-F(a)-Ah\|}{\|h\|}=0 $$ が成り立つとき、$F$ は $a$ で**微分可能**といい、$A$ を $DF(a)$ と書きます。このとき $DF(a)$ の $(i,j)$ 成分は偏微分係数 $\partial F_i/\partial x_j(a)$ です。すべての偏導関数が $U$ 上で存在して連続なとき、$F$ は $C^1$ 級であるといいます。 2 変数の場合の議論（ と ）は、変数の個数にも成分の個数にも依らずそのまま通ります。以下では、次の 3 つを $n$ 変数・ベクトル値の場合にも成り立つ事実として使います。 1. $C^1$ 級ならば各点で微分可能で、$x\mapsto DF(x)$ は（行列成分の連続関数として）連続である。 2. 連鎖律（）: $F$ が $a$ で、$G$ が $F(a)$ で微分可能なら $D(G\circ F)(a)=DG(F(a))\,DF(a)$。 3. 微分可能な $F$ について、偏微分係数の行列 $DF(a)$ は一意に定まる。 次の補題は、1 変数の平均値の定理 をベクトル値に拡張したものです。ベクトル値関数では「$F(y)-F(x)=DF(c)(y-x)$ となる $c$」は一般に存在しませんが、**不等式の形**なら成り立ちます。 $U\subset\mathbb{R}^n$ を開集合、$F:U\to\mathbb{R}^m$ を $C^1$ 級とし、$x,y\in U$ を結ぶ線分 $\{x+t(y-x):0\le t\le1\}$ が $U$ に含まれるとします。この線分上のすべての点 $z$ で $\|DF(z)\|\le M$ ならば $$ \|F(y)-F(x)\|\le M\|y-x\| $$ です。 $d=y-x$、$v=F(y)-F(x)$ とおき、$v\neq0$ としてよい（$v=0$ なら自明）。スカラー関数 $\varphi(t)=\langle v, F(x+td)\rangle$（$0\le t\le1$）を考えます。連鎖律より $\varphi$ は微分可能で $\varphi'(t)=\langle v, DF(x+td)\,d\rangle$、そして $\varphi'$ は連続です。平均値の定理（）から、ある $\theta\in(0,1)$ で $$ \|v\|^2=\langle v,F(y)-F(x)\rangle=\varphi(1)-\varphi(0)=\varphi'(\theta)=\langle v,DF(x+\theta d)\,d\rangle $$ です。コーシー・シュワルツの不等式と上のノルム不等式から右辺は $\|v\|\,\|DF(x+\theta d)\|\,\|d\|\le \|v\|\,M\,\|d\|$ 以下です。$\|v\|>0$ で割れば $\|v\|\le M\|d\|$ を得ます。 ## 3. 縮小写像の原理 方程式を解く道具として、次の原理を使います。1 次近似で解いた近似解を「補正して」何度も当てはめれば、真の解に収束する、という発想を定理にしたものです。 $X\subset\mathbb{R}^n$ とします。写像 $T:X\to X$ が、ある定数 $q\in[0,1)$ について $$ \|T(x)-T(x')\|\le q\,\|x-x'\| \qquad (x,x'\in X) $$ を満たすとき、$T$ を**縮小写像**（縮小率 $q$）といいます。 $X\subset\mathbb{R}^n$ を空でない閉集合、$T:X\to X$ を縮小率 $q<1$ の縮小写像とします。このとき $T(x^*)=x^*$ となる点 $x^*\in X$ がただ 1 つ存在します。さらに任意の $x_0\in X$ から $x_{k+1}=T(x_k)$ で定めた列は $x^*$ に収束し、$\|x_k-x^*\|\le \dfrac{q^k}{1-q}\|x_1-x_0\|$ が成り立ちます。 **列がコーシー列になること。** $\|x_{k+1}-x_k\|=\|T(x_k)-T(x_{k-1})\|\le q\|x_k-x_{k-1}\|$ を繰り返すと $\|x_{k+1}-x_k\|\le q^k\|x_1-x_0\|$ です。$l>k$ に対して三角不等式と等比級数の和から $$ \|x_l-x_k\|\le\sum_{j=k}^{l-1}q^j\|x_1-x_0\|\le \frac{q^k}{1-q}\|x_1-x_0\|\xrightarrow[k\to\infty]{}0 $$ となります。したがって $(x_k)$ は[コーシー列](/mathematics/real-analysis/completeness-and-cauchy#def-cauchy)で、各成分は実数のコーシー列です。実数の完備性（）により各成分が収束し、$x_k\to x^*\in\mathbb{R}^n$ です。$X$ は閉集合なので $x^*\in X$ です。 **不動点であること。** $T$ は $\|T(x)-T(x')\|\le q\|x-x'\|$ より連続です。$x_{k+1}=T(x_k)$ の両辺で $k\to\infty$ とすれば $x^*=T(x^*)$ です。上の不等式で $l\to\infty$ とすれば誤差評価も得られます。 **一意性。** $x^*,x^{**}$ がともに不動点なら $\|x^*-x^{**}\|=\|T(x^*)-T(x^{**})\|\le q\|x^*-x^{**}\|$ で、$q<1$ より $\|x^*-x^{**}\|=0$ です。 注意すべきは、$q<1$ と「$T$ が $X$ を $X$ に写す」の 2 つが両方必要なことです。$T(x)=x/2$ は $X=(0,1]$ 上の縮小写像ですが不動点がなく、$X$ が閉でないために定理が使えません。逆関数定理の証明では、この 2 つの確認が議論の大半を占めます。 ## 4. 逆関数定理 $U\subset\mathbb{R}^n$ を開集合、$F:U\to\mathbb{R}^n$ を $C^1$ 級写像とし、$a\in U$ で $DF(a)$ が正則（$\det DF(a)\ne0$）であるとします。このとき $a$ の開近傍 $V\subset U$ と $b=F(a)$ の開近傍 $W$ が存在して、$F|_V:V\to W$ は全単射であり、その逆写像 $G:W\to V$ も $C^1$ 級です。さらに $$ DG(y)=\bigl(DF(G(y))\bigr)^{-1}\qquad (y\in W) $$ が成り立ちます。 方程式 $F(x)=y$ を $x=x-A^{-1}(F(x)-y)$ と書き換えるのが証明の鍵です。$A=DF(a)$ とおくと、右辺の $x$ の写像 $\Phi_y$ は $F=y$ の解のところで不動点を持ち、その微分は $I-A^{-1}DF(x)$ です。$x=a$ で $0$ ですから、$a$ の近くで小さく、縮小写像になります。 証明は 7 つのステップに分かれますが、役割は 3 つです。ステップ 1〜4 は「$a$ の近くで、$y$ ごとに解 $x$ がただ 1 つ見つかる」ことを示します。ステップ 1 は、微分が $A$ に近い範囲（閉球の半径 $r$）を決める作業です。$DF$ が連続なので、$a$ の近くでは $DF(x)$ が $A$ にいくらでも近く、条件を満たす $r$ がとれます。ステップ 3 の $s$ は、$\Phi_y(a)$ が $a$ から $r/2$ より動かないように $y$ の範囲を決めたもので、縮小の分の $r/2$ と合わせて、ちょうど $r$ 以内に収まります。ステップ 5 は、$y$ が少し動いても解 $x$ が大きくは動かないこと、ステップ 6・7 は、その逆写像が微分可能で、導関数が連続であることを示します。 $A=DF(a)$、$b=F(a)$ とおきます。 **ステップ 1: $r$ の選択。** $x\mapsto DF(x)$ は連続で $\det$ は成分の多項式ですから、十分小さな $r>0$ をとって閉球 $\bar B=\{x:\|x-a\|\le r\}\subset U$ とし、次の 2 条件を満たすようにできます。 - すべての $x\in\bar B$ で $\|A^{-1}\|\,\|DF(x)-A\|\le\tfrac12$。 - すべての $x\in\bar B$ で $\det DF(x)\ne0$。 **ステップ 2: 縮小写像の構成。** $y\in\mathbb{R}^n$ に対し $\Phi_y(x)=x-A^{-1}(F(x)-y)$ とおきます。$\Phi_y(x)=x$ は $F(x)=y$ と同値です。微分は $D\Phi_y(x)=I-A^{-1}DF(x)=A^{-1}(A-DF(x))$ なので、上のノルム不等式から $\|D\Phi_y(x)\|\le\frac12$（$x\in\bar B$）です。$\bar B$ は凸ですから、 より $$ \|\Phi_y(x)-\Phi_y(x')\|\le\tfrac12\|x-x'\|\qquad(x,x'\in\bar B) $$ です。 **ステップ 3: $\Phi_y$ が $\bar B$ を $\bar B$ に写す。** $s=r/(2\|A^{-1}\|)$ とし、$\|y-b\|）により、$\|y-b\|）。すなわち $B^{-1}=(\det B)^{-1}\mathrm{adj}\,B$ で、成分は $B$ の成分の多項式を $\det B\ne0$ で割った形ですから、正則行列の集合上で連続です。$DG=(DF\circ G)^{-1}$ は連続関数 $G$、$DF$ と逆行列の合成ですから連続です。よって $G$ は $C^1$ 級です。 $F(r,\theta)=(r\cos\theta,\ r\sin\theta)$ は $\mathbb{R}^2$ 上の $C^\infty$ 級写像で $$ DF(r,\theta)=\begin{pmatrix}\cos\theta&-r\sin\theta\\ \sin\theta&r\cos\theta\end{pmatrix},\qquad \det DF=r $$ です。$r\ne0$ の各点で が使え、$F$ は局所的に $C^1$ 級の逆写像を持ちます。しかし $F$ は大域的には単射でなく（$\theta$ に $2\pi$ を足しても同じ点）、$r=0$ では $\det DF=0$ で局所的にも単射ではありません（$\{0\}\times\mathbb{R}$ 全体が原点に潰れる）。**逆関数定理は局所的な主張であり、大域的な可逆性を保証しない**ことを、この例が示しています。なお、重積分の変数変換公式（）が仮定する「全単射で $\det J_\Phi\neq0$」を極座標が満たすのは、$r>0$、$0<\theta<2\pi$ のように定義域を制限したときです。 $f(x)=x+2x^2\sin(1/x)$（$x\ne0$）、$f(0)=0$ とします。$f$ は $\mathbb{R}$ 上で微分可能で、$f'(0)=\lim_{h\to0}(1+2h\sin(1/h))=1$ です。しかし $x\ne0$ では $$ f'(x)=1+4x\sin\frac1x-2\cos\frac1x $$ で、$x_k=1/(2\pi k)$ では $\sin(1/x_k)=0$、$\cos(1/x_k)=1$ より $f'(x_k)=-1<0$ です。$f'$ は $x\ne0$ で連続ですから $x_k$ の近くで $f$ は狭義減少です。$x_k\to0$ なので、$0$ のどんな近傍でも $f$ は単調でなく、単射でもありません。$f'(0)\ne0$ で 1 次近似は可逆なのに、局所逆写像が存在しない例です。ステップ 1 で $DF(x)$ が $a$ の近くで $A$ に近いことを使ったように、証明は $DF$ の連続性に依存しています。 ## 5. 陰関数定理 $\Omega\subset\mathbb{R}^n\times\mathbb{R}^m$ を開集合とし、点を $(x,y)$（$x\in\mathbb{R}^n,\ y\in\mathbb{R}^m$）と書きます。$F:\Omega\to\mathbb{R}^m$ を $C^1$ 級、$(a,b)\in\Omega$ で $F(a,b)=0$ とし、$y$ に関する偏微分のなす $m\times m$ 行列 $D_yF(a,b)=\bigl(\partial F_i/\partial y_j(a,b)\bigr)$ が正則であるとします。このとき $a$ の開近傍 $X$、$b$ の開近傍 $Y$ と $C^1$ 級写像 $g:X\to Y$ が存在して、$X\times Y\subset\Omega$ であり $$ \{(x,y)\in X\times Y:F(x,y)=0\}=\{(x,g(x)):x\in X\} $$ が成り立ちます。さらに $g(a)=b$ であり、$D_xF$ を $x$ に関する偏微分のなす $m\times n$ 行列として $$ Dg(x)=-\bigl(D_yF(x,g(x))\bigr)^{-1}D_xF(x,g(x)) $$ です。 証明の方針は、$x$ をそのまま残して $F$ の値だけを新しい座標にする写像 $\Psi(x,y)=(x,F(x,y))$ を作ることです。$\Psi$ は入力と出力の次元が等しいので逆関数定理が使え、その逆写像を使って「$F=0$ となる $y$」を $x$ の関数として読み取れます。 $\Psi:\Omega\to\mathbb{R}^n\times\mathbb{R}^m$ を $\Psi(x,y)=(x,F(x,y))$ と定めます。$\Psi$ は $C^1$ 級で、ヤコビ行列はブロック行列 $$ D\Psi(x,y)=\begin{pmatrix}I_n&0\\ D_xF&D_yF\end{pmatrix} $$ です。ブロック三角行列の行列式は対角ブロックの行列式の積ですから $\det D\Psi=\det D_yF$ で、$(a,b)$ で $\ne0$ です。逆関数定理（）により、$(a,b)$ の開近傍 $V\subset\Omega$ と $\Psi(a,b)=(a,0)$ の開近傍 $W$ が存在して、$\Psi:V\to W$ は全単射で、逆写像 $\Psi^{-1}$ は $C^1$ 級です。 $\Psi$ は第 1 成分を変えないので、$\Psi^{-1}(x,z)=(x,H(x,z))$ の形で、$H$ は $C^1$ 級です。$W$ は $(a,0)$ の近傍ですから、$a$ の開近傍 $X$ と $0$ の開近傍 $Z$ で $X\times Z\subset W$ となるものがあります。$g(x)=H(x,0)$（$x\in X$）とおくと、$\Psi(x,g(x))=(x,0)$ すなわち $F(x,g(x))=0$ で、$g$ は $C^1$ 級、$g(a)=b$ です。 一意性を示します。$V$ の点 $(x,y)$ で $x\in X$、$F(x,y)=0$ なら $\Psi(x,y)=(x,0)=\Psi(x,g(x))$ ですから、$\Psi$ の単射性から $y=g(x)$ です。そこで $Y$ を $b$ の開近傍で、$X$ を必要なら縮めて $X\times Y\subset V$ かつ $g(X)\subset Y$ となるように選べば（$g$ の連続性と $V$ の開性より可能）、主張の集合の等式が成り立ちます。 最後に導関数です。恒等式 $F(x,g(x))=0$ の両辺を連鎖律（）で微分して $D_xF+D_yF\,Dg=0$ を得ます。$D_yF(x,g(x))$ が正則であることは、$X$ を縮めて $\det D_yF\neq0$ となるようにとってあれば成り立つので、両辺に逆行列を掛けて公式を得ます。 定理の内容を円で図にすると次のようになります。点 $(a,b)$ のまわりを長方形 $X\times Y$ で切り取ると、その中では曲線 $F=0$ が $x$ の関数 $y=g(x)$ のグラフだけになります。
(a, b) X Y y = g(x)
$F(x,y)=x^2+y^2-1$ では $D_xF=2x$、$D_yF=2y$ です。$(a,b)=(0,1)$ では $D_yF=2\ne0$ なので、 により $y=g(x)$ と解けます。実際 $g(x)=\sqrt{1-x^2}$ で、公式は $g'(x)=-2x/(2g(x))=-x/\sqrt{1-x^2}$ を与え、直接の微分と一致します。$(a,b)=(1,0)$ では $D_yF=0$ で定理は使えず、実際 $x=1$ の近くで $y$ は一意に決まりません。ただし $D_xF=2\neq 0$ ですから、役割を入れ替えて $x=\sqrt{1-y^2}$ と**$x$ を $y$ の関数として**解くことはできます。条件は「どの変数について解くか」ごとに判定します。 $F(x,y)=x^3+y^3-3xy$ とすると $D_xF=3x^2-3y$、$D_yF=3y^2-3x$ です。点 $(3/2,3/2)$ は $F=0$ を満たし（$27/8\cdot 2-27/4=0$）、$D_yF=9/4\ne0$ ですから、その近くで $y=g(x)$ と解けます。$g'(3/2)=-D_xF/D_yF=-(9/4)/(9/4)=-1$ です。原点では $D_xF=D_yF=0$ で、どちらの変数についても解けません。実際、葉線は原点で自分自身と交わる点（結節点）を持ちます。 ## 6. 条件付き極値とラグランジュの乗数法 関数 $f$ の極値を、制約 $g(x)=0$ を満たす点の中でだけ調べる問題を考えます。たとえば「周の長さが一定の長方形のうち面積が最大のもの」です。制約が陰関数定理で解けるなら、$m$ 個の変数を消去して、変数が $n-m$ 個の通常の極値問題に帰着できます。ただし解くのが面倒なとき、解を陽に求めずに同じ結論を出せるのがラグランジュの乗数法です。 $U\subset\mathbb{R}^n$ を開集合、$f:U\to\mathbb{R}$、$g=(g_1,\dots,g_m):U\to\mathbb{R}^m$（$m $U\subset\mathbb{R}^n$ を開集合、$f:U\to\mathbb{R}$ と $g=(g_1,\dots,g_m):U\to\mathbb{R}^m$（$m **座標の入れ替え。** $Dg(a)$ は階数 $m$ の $m\times n$ 行列ですから、一次独立な $m$ 個の列があり、それを取り出した $m\times m$ 行列は正則です（）。座標の番号を付け替えて、これが最後の $m$ 個の列であるとしてよい。$x=(x',y)$（$x'\in\mathbb{R}^{n-m}$、$y\in\mathbb{R}^m$）、$a=(a',b)$ と書くと、$D_yg(a)$ が正則です。 **制約を解く。** 陰関数定理（）により、$a'$ の開近傍 $X$、$b$ の開近傍 $Y$ と $C^1$ 級写像 $\varphi:X\to Y$ が存在し、$X\times Y$ 内では $M=\{(x',\varphi(x'))\}$ で、$\varphi(a')=b$、$D\varphi=-(D_yg)^{-1}D_{x'}g$ です。 **自由な $n-m$ 変数の通常の極値問題に帰着。** $h(x')=f(x',\varphi(x'))$（$x'\in X$）とおきます。$(x',\varphi(x'))\in M$ ですから、$a$ が $f|_M$ の極値点であることから、$a'$ は $h$ の（通常の）極値点です。$h$ は $C^1$ 級で、各 $j$ について $t\mapsto h(a'+te_j)$ は $t=0$ で極値をとる微分可能な関数ですから、フェルマーの補題（）により $\partial h/\partial x'_j(a')=0$ です。連鎖律で書けば $$ 0=\nabla_{x'}h(a')=\nabla_{x'}f(a)+D\varphi(a')^{\mathsf T}\nabla_yf(a)=\nabla_{x'}f(a)-D_{x'}g(a)^{\mathsf T}\bigl(D_yg(a)^{\mathsf T}\bigr)^{-1}\nabla_yf(a). $$ **乗数の定義。** $\lambda=(D_yg(a)^{\mathsf T})^{-1}\nabla_yf(a)\in\mathbb{R}^m$ とおきます。定義より $\nabla_yf(a)=D_yg(a)^{\mathsf T}\lambda$ で、上の式から $\nabla_{x'}f(a)=D_{x'}g(a)^{\mathsf T}\lambda$ です。2 つをまとめると $\nabla f(a)=Dg(a)^{\mathsf T}\lambda=\sum_i\lambda_i\nabla g_i(a)$ です。 幾何的な意味を確認します。$m=1$ なら、$\nabla f(a)$ と $\nabla g(a)$ が平行、すなわち $f$ の等位線が制約曲線 $g=0$ に接する、という条件です。制約曲線に沿って動いて $f$ が増減するなら、その点は極値ではありません。曲線に沿った増減が 0 になるのは、$\nabla f$ が曲線の接線方向と直交する（＝法線方向 $\nabla g$ と平行になる）ときです。
∇f ∥ ∇g f = √2 f = 0 f = −√2 x y
$f=x+y$、$g=x^2+y^2-1$ とします。$M$ は円周で[コンパクト](/mathematics/real-analysis/metric-spaces#def-compactness-metric)ですから、連続関数 $f$ は $M$ 上で最大値と最小値をとります（）。それらの点では $\nabla g=(2x,2y)\ne0$ ですから が使え、$(1,1)=\lambda(2x,2y)$、つまり $x=y=1/(2\lambda)$ です。$g=0$ に代入して $x=y=\pm1/\sqrt2$。値は $f=\pm\sqrt2$ で、最大値は $\sqrt2$、最小値は $-\sqrt2$ です。 $x,y,z\ge0$、$x+y+z=3$ のもとで $f=xyz$ の最大値を求めます。この集合は有界閉集合（三角形）ですから最大値が存在します。境界（$x$、$y$、$z$ のどれかが $0$）では $f=0$ ですから、最大点は $x,y,z>0$ の内部にあります。内部で制約 $g=x+y+z-3$ について $\nabla g=(1,1,1)\neq0$ ですから が使え、$(yz,xz,xy)=\lambda(1,1,1)$ です。$x,y,z>0$ より $xyz=\lambda x=\lambda y=\lambda z$ で、$\lambda\neq 0$ なので $x=y=z=1$、最大値は $1$ です。よって $x+y+z=3$ のとき $xyz\le1$ で、任意の $u,v,w>0$ に対し $x=3u/s$ などと正規化すれば $uvw\le((u+v+w)/3)^3$ を得ます。 $f(x,y)=x$、$g(x,y)=y^2-x^3$ とします。$M=\{y^2=x^3\}$ は尖点をもつ曲線で、$M$ 上では $x=y^{2/3}\ge0$ ですから、$f|_M$ は原点で最小値 $0$ をとります。しかし $\nabla g(0,0)=(0,0)$ で、$\nabla f=(1,0)$ はそのスカラー倍になりません。階数条件 $\mathrm{rank}\,Dg(a)=m$ が落ちる点では、 が使えず、制約集合 $M$ が曲線として解けないため、結論が成り立たなくなります。ラグランジュの乗数法を使うときは、候補点に加えて**$\nabla g=0$ となる点**も別に調べる必要があります。 ## 7. 演習 $F(x,y)=(e^x\cos y,\ e^x\sin y)$ について、すべての点で $DF$ が正則であることを示し、点 $(0,0)$ の近傍での逆写像 $G=F^{-1}$ のヤコビ行列 $DG(1,0)$ を求めよ。また、$F$ が $\mathbb{R}^2$ 全体では単射でないことを示せ。 $DF=\begin{pmatrix}e^x\cos y&-e^x\sin y\\ e^x\sin y&e^x\cos y\end{pmatrix}$、$\det DF=e^{2x}\ne0$ です。$F(0,0)=(1,0)$ で $DF(0,0)=I$ ですから、 により $(0,0)$ の近傍で逆写像 $G$ が存在し、$DG(1,0)=DF(0,0)^{-1}=I$ です。また $F(x,y+2\pi)=F(x,y)$ ですから $F$ は単射ではありません。逆関数定理は局所的な主張だと再確認できます。 方程式 $x^2+xy+y^3=3$ は点 $(1,1)$ を通る。この点の近くで $y$ を $x$ の関数 $y=g(x)$ として解けることを示し、$g'(1)$ と $g''(1)$ を求めよ。 $F=x^2+xy+y^3-3$ とすると $F(1,1)=0$、$F_y=x+3y^2=4\ne0$ ですから により解けます。$F_x=2x+y=3$ で $g'(1)=-3/4$ です。恒等式 $x^2+xg+g^3=3$ を $x$ で 2 回微分すると、1 回目は $2x+g+xg'+3g^2g'=0$、2 回目は $2+2g'+xg''+6g(g')^2+3g^2g''=0$ です。$x=1$、$g=1$、$g'=-3/4$ を代入して $2-3/2+g''+6\cdot9/16+3g''=0$、すなわち $4g''=-(1/2+27/8)=-31/8$ より $g''(1)=-31/32$ です。 平面 $x+2y+3z=14$ 上の点のうち、原点に最も近い点とその距離を、ラグランジュの乗数法で求めよ。 $f=x^2+y^2+z^2$、$g=x+2y+3z-14$ とおきます。$\nabla g=(1,2,3)\ne0$ で、$\nabla f=\lambda\nabla g$ から $(2x,2y,2z)=\lambda(1,2,3)$、つまり $(x,y,z)=\tfrac{\lambda}{2}(1,2,3)$ です。$g=0$ に代入して $\tfrac\lambda2\cdot14=14$ より $\lambda=2$、点は $(1,2,3)$ で、$f=14$、距離は $\sqrt{14}$ です。最小値の存在は、$f$ が平面上で $\|x\|\to\infty$ のとき $\infty$ に発散するため、十分大きな球と平面の共通部分（コンパクト）で最小をとることから分かります。したがって候補が 1 つだけなので、それが最小点です。 次の写像が縮小写像の原理（）の仮定のうちどれを満たさないか述べ、不動点の有無を答えよ。(1) $X=\mathbb{R}$、$T(x)=x+1$。(2) $X=(0,1]$、$T(x)=x/2$。(3) $X=[0,\infty)$、$T(x)=\sqrt{x^2+1}$。 (1) $|T(x)-T(x')|=|x-x'|$ で縮小率が $1$（$q<1$ を満たさない）。不動点なし。(2) $X$ が閉集合でない（$0\notin X$）。不動点なし（候補 $0$ は $X$ の外）。(3) $T'(x)=x/\sqrt{x^2+1}<1$ で、平均値の定理から $|T(x)-T(x')|<|x-x'|$ ですが、$\sup T'=1$ で一様な $q<1$ は取れません。不動点の方程式 $x=\sqrt{x^2+1}$ は解を持ちません。つまり「各点で縮小」では不十分で、定数 $q<1$ が要ります。 ## 参考文献 - 杉浦光夫『解析入門 I』東京大学出版会、1980。 - 杉浦光夫『解析入門 II』東京大学出版会、1985。 - 松坂和夫『解析入門 中』岩波書店、1968。 - W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill, 1976 — Chapter 9（逆関数定理と陰関数定理）。