# 多変数関数の微分と偏微分：微分とは「一次近似」のことである

> 偏導関数が両方あっても関数が連続とは限らない、という反例から出発し、微分を一次近似として定義し直す。接平面・勾配・連鎖律・2 変数テイラー展開・ヘッセ行列による極値判定までを、反例つきで証明します。
> https://rikai.mugen-giken.com/mathematics/calculus/multivariable-differentiation

## 0. この記事の要点

- 2 変数関数の「微分」は、各変数ごとに微分すること（偏微分）ではありません。偏導関数が両方存在しても、その点で関数が連続ですらない例があります。
- 正しい一般化は「一次関数で近似したときの誤差が $o(\|\boldsymbol h\|)$ になること」、すなわち**全微分可能性**です。連続性・方向微分・接平面は、すべてこの 1 つの定義から出てきます。
- 偏導関数が近傍で存在してその点で連続（$C^1$ 級）なら、全微分可能です。実際の計算では、微分可能性はほぼこの十分条件で確認します。
- 2 次までのテイラー展開の 2 次項は、ヘッセ行列 $H$ による 2 次形式 $\boldsymbol h^{\mathsf{T}} H \boldsymbol h$ です。極値判定は、この 2 次形式が正定値・負定値・不定値のどれかを見る問題に還元されます。
- $\det H > 0$ かつ $f_{xx} > 0$ なら極小、$\det H < 0$ なら鞍点です。$\det H = 0$ のときは 2 次の情報だけでは決まらず、実際に判定できない例を挙げます。

## 1. 動機：偏微分だけでは「微分」にならない

1 変数の微分係数 $f'(a)$ には 2 つの顔がありました。1 つは「接線の傾き」という幾何的な顔、もう 1 つは

$$
f(a+h) = f(a) + f'(a)h + o(h) \qquad (h \to 0)
$$

という**一次近似**としての顔です。この 2 つは同じことの言い換えでした（[導関数の定義と基本的な微分法](/mathematics/calculus/derivatives) の <Ref to="mathematics/calculus/derivatives#thm-linear-approx" text="微分可能性と一次近似" />）。

変数を 2 つに増やすと、この 2 つの顔がずれ始めます。$z = f(x,y)$ のグラフは空間内の曲面です。曲面の「接するもの」は直線ではなく平面でしょう。ところが平面は方向を 2 つ持っています。そこで素朴に考えれば、$y$ を固定して $x$ で微分し、$x$ を固定して $y$ で微分すれば、その 2 本の接線が張る平面が接平面になりそうです。実際、18 世紀には弦の振動や流体の研究の中でこの操作（偏微分）が自由に使われていました。記号 $\partial$ は 18 世紀末のルジャンドルにさかのぼり、19 世紀にヤコビが用いたことで定着したとされます。

しかしこの素朴な期待は**外れます**。$x$ 軸方向と $y$ 軸方向という 2 本の直線に沿った情報は、平面全体のごく一部の情報でしかありません。実際、両方の偏微分係数が存在するのに、その点で関数が連続でさえない例があります（<Ref to="ex-partials-fail" />）。連続でない関数のグラフに接平面が引けるはずがありませんから、偏微分可能性は「微分可能」の定義として不適格です。

ではどちらの顔を定義に採用すべきでしょうか。答えは一次近似の方です。**微分可能とは、その点の近くで関数が一次関数によって「誤差が距離より速く 0 に近づく精度で」近似できることだ**と定義し直します。この定式化は変数の個数に依らず、そのままノルム空間上の写像に一般化されてフレシェ微分になります。この記事はその定義を 2 変数の場合に据え、そこから接平面・勾配・連鎖律・テイラー展開・極値判定を順に組み立てます。

<div data-gated data-pagefind-ignore>

## 2. 準備：2 変数関数、曲面、平面上の極限

$\mathbb{R}^2$ の点を $\boldsymbol x = (x,y)$ と書き、ユークリッドノルムを $\|\boldsymbol x\| = \sqrt{x^2+y^2}$ とします。$\boldsymbol a \in \mathbb{R}^2$ と $r>0$ に対し $B(\boldsymbol a, r) = \{\boldsymbol x \in \mathbb{R}^2 : \|\boldsymbol x - \boldsymbol a\| < r\}$ を**開球**（開円板）と呼び、$U \subset \mathbb{R}^2$ が**開集合**であるとは、任意の $\boldsymbol a \in U$ に対しある $r>0$ が存在して $B(\boldsymbol a,r) \subset U$ となることをいいます。以下、$f$ の定義域は常に開集合 $U$ とします。これは「$\boldsymbol a$ の全方向に少し動く余地がある」ことを保証するためで、微分を論じるときに必須の仮定です。

$f: U \to \mathbb{R}$ に対し、その**グラフ**は $G_f = \{(x,y,f(x,y)) \in \mathbb{R}^3 : (x,y) \in U\}$ という空間内の曲面です。曲面を紙の上で見るために、$c \in \mathbb{R}$ に対する**等位集合**（等高線）$L_c = \{(x,y) \in U : f(x,y) = c\}$ を描くのが常套手段です。地形図の等高線と同じで、線が混み合っているところほど傾きが急になります。

<Remark id="rem-limit-in-plane" title="平面上の極限は「あらゆる近づき方」を要求する">
$\boldsymbol a \in U$ とし、$f$ が $\boldsymbol a$ の除外近傍で定義されているとします。$\lim_{\boldsymbol x \to \boldsymbol a} f(\boldsymbol x) = L$ とは、

$$
\forall \varepsilon > 0,\ \exists \delta > 0,\ \forall \boldsymbol x,\quad 0 < \|\boldsymbol x - \boldsymbol a\| < \delta \implies |f(\boldsymbol x) - L| < \varepsilon
$$

が成り立つことです。1 変数の定義（[極限と連続性 (ε-δ論法)](/mathematics/calculus/limits-and-continuity) の <Ref to="mathematics/calculus/limits-and-continuity#def-limit" text="関数の極限" />）で $|x-a|$ を $\|\boldsymbol x - \boldsymbol a\|$ に置き換えただけの形ですが、内容は大きく違います。1 変数では $\boldsymbol a$ への近づき方は左右 2 通りでしたが、平面では直線・曲線・らせんなど無数にあり、そのすべてで同じ $L$ に収束することを要求しているからです。

したがって、ある 1 つの近づき方で極限が $L$ でも、それは $\lim = L$ の証明にはなりません。逆に、**2 つの近づき方で異なる値が出れば極限は存在しない**、という否定の道具としては強力に使えます。<Ref to="ex-partials-fail" /> でこれを使います。
</Remark>

## 3. 偏微分：一変数に切り落とす

<Definition id="def-partial" title="偏微分係数と偏導関数">
$U \subset \mathbb{R}^2$ を開集合、$f: U \to \mathbb{R}$、$\boldsymbol a = (a,b) \in U$ とします。極限

$$
\frac{\partial f}{\partial x}(a,b) = \lim_{h \to 0} \frac{f(a+h,\, b) - f(a,b)}{h}
$$

が存在するとき、$f$ は $\boldsymbol a$ で $x$ について偏微分可能といい、この値を $x$ に関する**偏微分係数**と呼びます。$y$ についても同様に

$$
\frac{\partial f}{\partial y}(a,b) = \lim_{k \to 0} \frac{f(a,\, b+k) - f(a,b)}{k}
$$

で定めます。両方が存在するとき、単に $\boldsymbol a$ で**偏微分可能**といいます。$U$ の各点で偏微分可能なとき、対応 $(x,y) \mapsto \partial f/\partial x\,(x,y)$ を**偏導関数**と呼び、$f_x$ とも書きます（$f_y$ も同様）。
</Definition>

定義の右辺は、$b$ を固定した 1 変数関数 $\varphi(t) = f(t,b)$ の $t=a$ における微分係数にほかなりません。つまり偏微分とは、曲面を平面 $y=b$ で切った切り口の曲線の傾きです。したがって計算では、**他の変数を定数とみなして 1 変数の微分公式をそのまま使えば**よいことになります。

たとえば $f(x,y) = x^2y^3 + e^{xy}$ とすると、$x$ で偏微分するときは $y$ を定数と見て

$$
f_x(x,y) = 2xy^3 + y\,e^{xy}, \qquad f_y(x,y) = 3x^2y^2 + x\,e^{xy}
$$

となり、$(1,1)$ では $f_x(1,1) = 2 + e$、$f_y(1,1) = 3 + e$ です。$e^{xy}$ の項では、合成関数の微分により内側 $xy$ の $x$ 偏微分 $y$ が掛かる点に注意してください。

<Aside type="note">
「他の変数を固定する」という言い方は、どの変数を固定したかが文脈から分かる場合にのみ意味を持ちます。熱力学で $(\partial U/\partial T)_V$ のように固定する変数を明記するのはこのためです。この記事では独立変数は常に $x, y$ ですから、曖昧さは生じません。
</Aside>

さて、偏微分は $x$ 軸方向と $y$ 軸方向という **2 本の直線に沿った情報**しか見ていません。これがどれほど弱い情報かを見ます。

<Example id="ex-partials-fail" title="偏微分可能なのに連続でない関数">
$$
f(x,y) = \begin{cases} \dfrac{xy}{x^2+y^2} & ((x,y) \ne (0,0)) \\[2mm] 0 & ((x,y) = (0,0)) \end{cases}
$$

とします。まず原点での偏微分を計算します。$f(h,0) = 0/(h^2) = 0$ なので

$$
f_x(0,0) = \lim_{h\to 0}\frac{f(h,0)-f(0,0)}{h} = \lim_{h\to 0}\frac{0-0}{h} = 0
$$

であり、同じく $f(0,k)=0$ から $f_y(0,0)=0$ です。つまり $f$ は原点で偏微分可能で、両方の偏微分係数は $0$ です。

ところが $f$ は原点で連続ではありません。直線 $y = x$ に沿って原点に近づけると、$x \ne 0$ に対し

$$
f(x,x) = \frac{x\cdot x}{x^2+x^2} = \frac{1}{2}
$$

なので極限は $1/2$、$x$ 軸に沿えば $f(x,0)=0$ なので極限は $0$ です。2 つの近づき方で値が異なるので、<Ref to="rem-limit-in-plane" /> により $\lim_{(x,y)\to(0,0)} f(x,y)$ は存在せず、とくに $f(0,0)=0$ に一致しません。

実際この $f$ は極座標で $f(r\cos\theta, r\sin\theta) = \frac{1}{2}\sin 2\theta$ となり、$r$ に依らず角度だけで値が決まります。原点をどれだけ拡大しても同じ模様が見えるので、原点で値が定まりようがありません。
</Example>

この例は、偏微分可能性を「微分可能」の定義に採用してはいけないことを決定的に示しています。連続でない関数を微分可能と呼ぶわけにはいきません。

## 4. 全微分可能性：微分とは一次近似のことである

<Definition id="def-differentiable" title="全微分可能">
$U \subset \mathbb{R}^2$ を開集合、$f: U \to \mathbb{R}$、$\boldsymbol a \in U$ とします。ある実数の組 $(p,q)$ が存在して、$\boldsymbol h = (h,k)$ に対し

$$
\lim_{\boldsymbol h \to \boldsymbol 0} \frac{\bigl|\,f(\boldsymbol a + \boldsymbol h) - f(\boldsymbol a) - (p\,h + q\,k)\,\bigr|}{\|\boldsymbol h\|} = 0
$$

が成り立つとき、$f$ は $\boldsymbol a$ で**全微分可能**（単に微分可能）であるといいます。このとき線形写像 $\boldsymbol h \mapsto p h + q k$ を $f$ の $\boldsymbol a$ における**微分**と呼びます。同じことを

$$
f(\boldsymbol a + \boldsymbol h) = f(\boldsymbol a) + p\,h + q\,k + o(\|\boldsymbol h\|) \qquad (\boldsymbol h \to \boldsymbol 0)
$$

とも書きます。
</Definition>

分母が $\|\boldsymbol h\|$ である点が要です。誤差が単に $0$ に近づくだけでは足りず、$\boldsymbol h$ が原点に近づく速さ**より速く** $0$ にならなければなりません。そして極限は $\boldsymbol h \to \boldsymbol 0$ の全方向で取られているので、この定義は最初からあらゆる方向を同時に制御しています。<Ref to="ex-partials-fail" /> の失敗が起きないのはこのためです。

<Definition id="def-directional" title="方向微分">
$\boldsymbol u \in \mathbb{R}^2$ を $\|\boldsymbol u\| = 1$ なるベクトルとします。極限

$$
D_{\boldsymbol u} f(\boldsymbol a) = \lim_{t \to 0} \frac{f(\boldsymbol a + t\boldsymbol u) - f(\boldsymbol a)}{t}
$$

が存在するとき、これを $\boldsymbol u$ 方向の**方向微分係数**と呼びます。$\boldsymbol u = (1,0)$ のときが $f_x(\boldsymbol a)$、$\boldsymbol u = (0,1)$ のときが $f_y(\boldsymbol a)$ です。
</Definition>

<Proposition id="prop-differentiable-basic" title="全微分可能性から出てくるもの">
$f$ が $\boldsymbol a \in U$ で全微分可能で、<Ref to="def-differentiable" /> の条件が組 $(p,q)$ について成り立つとします。このとき次が成り立ちます。

1. $f$ は $\boldsymbol a$ で連続である。
2. 任意の単位ベクトル $\boldsymbol u = (u_1,u_2)$ について方向微分係数が存在し、$D_{\boldsymbol u} f(\boldsymbol a) = p\,u_1 + q\,u_2$ である。とくに $f$ は $\boldsymbol a$ で偏微分可能で $p = f_x(\boldsymbol a),\ q = f_y(\boldsymbol a)$ である。
3. したがって条件を満たす組 $(p,q)$ はただ 1 つに定まる。
</Proposition>

<Proof of="prop-differentiable-basic">
$\boldsymbol h \ne \boldsymbol 0$ に対し誤差項を

$$
R(\boldsymbol h) = f(\boldsymbol a+\boldsymbol h) - f(\boldsymbol a) - (p h + q k)
$$

と置きます。<Ref to="def-differentiable" /> の仮定は $|R(\boldsymbol h)|/\|\boldsymbol h\| \to 0$ です。

**(1)** $\|\boldsymbol h\| \to 0$ のとき $|R(\boldsymbol h)| = \frac{|R(\boldsymbol h)|}{\|\boldsymbol h\|}\cdot \|\boldsymbol h\| \to 0 \cdot 0 = 0$ です（収束する 2 つの量の積）。また $|ph+qk| \le |p||h| + |q||k| \le (|p|+|q|)\|\boldsymbol h\| \to 0$ です。ここで $|h| \le \|\boldsymbol h\|$ と $|k| \le \|\boldsymbol h\|$ を使いました。よって

$$
f(\boldsymbol a + \boldsymbol h) - f(\boldsymbol a) = (ph+qk) + R(\boldsymbol h) \to 0
$$

となり、$\lim_{\boldsymbol h \to \boldsymbol 0} f(\boldsymbol a+\boldsymbol h) = f(\boldsymbol a)$、すなわち $f$ は $\boldsymbol a$ で連続です。

**(2)** $t \ne 0$ に対し $\boldsymbol h = t\boldsymbol u$ と取ります。$\|\boldsymbol h\| = |t|\,\|\boldsymbol u\| = |t|$ に注意すると

$$
\frac{f(\boldsymbol a + t\boldsymbol u) - f(\boldsymbol a)}{t} = \frac{t(p u_1 + q u_2) + R(t\boldsymbol u)}{t} = p u_1 + q u_2 + \frac{R(t\boldsymbol u)}{t}
$$

です。最後の項は $\left|\frac{R(t\boldsymbol u)}{t}\right| = \frac{|R(t\boldsymbol u)|}{\|t\boldsymbol u\|}$ であり、$t \to 0$ のとき $t\boldsymbol u \to \boldsymbol 0$ なので、仮定よりこれは $0$ に収束します。よって $D_{\boldsymbol u}f(\boldsymbol a) = pu_1+qu_2$ が存在します。$\boldsymbol u=(1,0)$ と $\boldsymbol u=(0,1)$ を代入して $f_x(\boldsymbol a)=p$、$f_y(\boldsymbol a)=q$ を得ます。

**(3)** (2) により $p,q$ は $f$ の偏微分係数として決まってしまうので、条件を満たす組は一意です。
</Proof>

この命題により、全微分可能なら微分は必ず $\boldsymbol h \mapsto f_x(\boldsymbol a)h + f_y(\boldsymbol a)k$ の形をしています。そこで次のベクトルに名前を付けます。

$$
\nabla f(\boldsymbol a) = \bigl(f_x(\boldsymbol a),\, f_y(\boldsymbol a)\bigr) \quad (\text{勾配ベクトル、グラディエント})
$$

これを使うと全微分可能性は $f(\boldsymbol a+\boldsymbol h) = f(\boldsymbol a) + \langle \nabla f(\boldsymbol a), \boldsymbol h\rangle + o(\|\boldsymbol h\|)$ と書けます。逆は成り立ちません。偏微分係数が存在して勾配ベクトルが書けても、それが一次近似を与えるとは限らないのです。

<Example id="ex-sqrt-abs" title="連続かつ偏微分可能だが全微分可能でない関数">
$f(x,y) = \sqrt{|xy|}$ とします。相加相乗平均の不等式から $\sqrt{|x||y|} \le \frac{|x|+|y|}{2} \le \|\boldsymbol x\|$ なので、$\boldsymbol x \to \boldsymbol 0$ のとき $f(\boldsymbol x) \to 0 = f(\boldsymbol 0)$ となり、$f$ は原点で連続です。

偏微分は <Ref to="ex-partials-fail" /> と同様で、$f(h,0) = \sqrt{|h\cdot 0|} = 0$ より

$$
f_x(0,0) = \lim_{h\to0}\frac{0-0}{h} = 0,
$$

同様に $f_y(0,0)=0$ です。よって候補となる一次近似は $\boldsymbol h \mapsto 0$、つまり平面 $z=0$ しかありません。

ところがこの候補は一次近似になっていません。$\boldsymbol h = (t,t)$（$t \ne 0$）と取ると $f(t,t) = \sqrt{t^2} = |t|$、$\|\boldsymbol h\| = \sqrt{2}\,|t|$ なので

$$
\frac{|f(\boldsymbol h) - f(\boldsymbol 0) - 0|}{\|\boldsymbol h\|} = \frac{|t|}{\sqrt{2}\,|t|} = \frac{1}{\sqrt{2}}
$$

となり、$t \to 0$ としても $0$ に収束しません。<Ref to="prop-differentiable-basic" /> (3) より一次近似の候補は上の 1 つだけでしたから、$f$ は原点で全微分可能ではありません。

幾何的には、この曲面は原点で「谷が折れている」形をしています。$x$ 軸と $y$ 軸に沿った切り口はどちらも平坦なのに、斜め方向の切り口は $|t|$ という角を持つグラフになっているのです。
</Example>

では全微分可能性はどうやって確かめればよいのでしょうか。毎回 $o(\|\boldsymbol h\|)$ を評価するのは大変です。次の定理が実用上ほとんどすべてを片付けてくれます。

<Theorem id="thm-c1-implies-differentiable" title="C¹ 級ならば全微分可能">
$U \subset \mathbb{R}^2$ を開集合、$f: U \to \mathbb{R}$、$\boldsymbol a = (a,b) \in U$ とします。偏導関数 $f_x, f_y$ が $\boldsymbol a$ のある近傍 $B(\boldsymbol a, r) \subset U$ の各点で存在し、かつ $\boldsymbol a$ で連続であるとします。このとき $f$ は $\boldsymbol a$ で全微分可能です。

とくに $f_x, f_y$ が $U$ 全体で存在して連続なとき（このとき $f$ は $U$ 上 $C^1$ 級であるといいます）、$f$ は $U$ の各点で全微分可能です。
</Theorem>

<Proof of="thm-c1-implies-differentiable">
$\|\boldsymbol h\| = \|(h,k)\| < r$ とします。差を 2 段階に分解します。

$$
f(a+h,b+k) - f(a,b) = \underbrace{\bigl[f(a+h,b+k) - f(a,b+k)\bigr]}_{(\mathrm{I})} + \underbrace{\bigl[f(a,b+k) - f(a,b)\bigr]}_{(\mathrm{II})}
$$

$(\mathrm{I})$ は第 2 変数を $b+k$ に固定した 1 変数関数 $s \mapsto f(s, b+k)$ の差です。$\|\boldsymbol h\| < r$ なので $a$ と $a+h$ を結ぶ線分上の点 $(s,b+k)$ はすべて $B(\boldsymbol a,r)$ に入り、そこで $f_x$ が存在します。よってこの 1 変数関数は微分可能で、平均値の定理（[平均値の定理とテイラーの定理](/mathematics/calculus/mean-value-and-taylor) の <Ref to="mathematics/calculus/mean-value-and-taylor#thm-mvt" text="ラグランジュの平均値の定理" />）より、ある $\theta_1 \in (0,1)$ が存在して

$$
(\mathrm{I}) = f_x(a+\theta_1 h,\ b+k)\, h .
$$

$(\mathrm{II})$ についても同様に、ある $\theta_2 \in (0,1)$ が存在して $(\mathrm{II}) = f_y(a,\ b+\theta_2 k)\, k$ です。したがって

$$
\begin{aligned}
&f(a+h,b+k) - f(a,b) - f_x(a,b)h - f_y(a,b)k \\
&\quad = \bigl[f_x(a+\theta_1 h, b+k) - f_x(a,b)\bigr] h + \bigl[f_y(a, b+\theta_2 k) - f_y(a,b)\bigr] k .
\end{aligned}
$$

右辺の 2 つの角括弧をそれぞれ $\varepsilon_1(\boldsymbol h)$、$\varepsilon_2(\boldsymbol h)$ と置きます。$|\theta_1 h| \le |h| \le \|\boldsymbol h\|$、$|\theta_2 k| \le \|\boldsymbol h\|$ ですから、$\boldsymbol h \to \boldsymbol 0$ のとき点 $(a+\theta_1h, b+k)$ と $(a, b+\theta_2k)$ はともに $\boldsymbol a$ に収束します。仮定より $f_x, f_y$ は $\boldsymbol a$ で連続なので $\varepsilon_1(\boldsymbol h) \to 0$、$\varepsilon_2(\boldsymbol h) \to 0$ です。よって $|h|,|k| \le \|\boldsymbol h\|$ を使って

$$
\frac{\bigl|f(\boldsymbol a+\boldsymbol h) - f(\boldsymbol a) - f_x(\boldsymbol a)h - f_y(\boldsymbol a)k\bigr|}{\|\boldsymbol h\|} \le |\varepsilon_1(\boldsymbol h)| + |\varepsilon_2(\boldsymbol h)| \longrightarrow 0
$$

となり、<Ref to="def-differentiable" /> の条件が $(p,q) = (f_x(\boldsymbol a), f_y(\boldsymbol a))$ で成り立ちます。
</Proof>

<Remark id="rem-c1-sharpen" title="仮定はどこまで弱められるか">
上の証明を読み返すと、$f_y$ については連続性を使っていないことに気づきます。$(\mathrm{II})$ は第 1 変数を $a$ に固定した 1 変数関数の差なので、平均値の定理を使わずに $f_y(a,b)$ の定義そのもの、すなわち $f(a,b+k)-f(a,b) = f_y(a,b)k + o(k)$ を使えばよいからです。したがって、**$f_x$ が近傍で存在して $\boldsymbol a$ で連続、$f_y$ は $\boldsymbol a$ で存在するだけ**、という非対称な仮定でも全微分可能性は従います。$x$ と $y$ の役割を入れ替えても同様です。

逆に、全微分可能でも偏導関数が連続とは限りません。$r = \sqrt{x^2+y^2}$ として

$$
f(x,y) = \begin{cases} r^2 \sin\dfrac{1}{r} & (\boldsymbol x \ne \boldsymbol 0)\\[1mm] 0 & (\boldsymbol x = \boldsymbol 0)\end{cases}
$$

は $|f(\boldsymbol h) - 0 - 0| \le \|\boldsymbol h\|^2$ より原点で全微分可能（$\nabla f(\boldsymbol 0) = \boldsymbol 0$）ですが、$\boldsymbol x \ne \boldsymbol 0$ では

$$
f_x(x,y) = 2x\sin\frac{1}{r} - \frac{x}{r}\cos\frac{1}{r}
$$

であり、$x$ 軸上を $x \downarrow 0$ とすると第 2 項が $-\cos(1/x)$ となって振動するので、$f_x$ は原点で連続ではありません。つまり $C^1$ 級は全微分可能性の十分条件であって必要条件ではありません。
</Remark>

以上で 4 つの条件の関係が出そろいました。

<Figure caption="4 つの条件の含意。矢印はすべて一方向で、逆向きはいずれも成り立ちません">
<Mermaid code={`flowchart TD
  A["C1 級：f_x, f_y が a の近傍で存在し a で連続"] ==> B["a で全微分可能"]
  B ==> C["a で偏微分可能"]
  B ==> D["a で連続"]`} />
</Figure>

| 主張 | その逆が成り立たない反例 |
|---|---|
| 全微分可能 $\Rightarrow$ 偏微分可能 | $f(x,y)=xy/(x^2+y^2)$（原点では $0$）。原点で偏微分可能だが連続ですらない（<Ref to="ex-partials-fail" />） |
| 全微分可能 $\Rightarrow$ 連続 | $f(x,y)=\sqrt{\lvert xy\rvert}$。原点で連続かつ偏微分可能だが全微分可能でない（<Ref to="ex-sqrt-abs" />） |
| $C^1$ 級 $\Rightarrow$ 全微分可能 | $f(x,y)=r^2\sin(1/r)$。原点で全微分可能だが $f_x$ が原点で不連続（<Ref to="rem-c1-sharpen" />） |

## 5. 接平面と勾配ベクトル

全微分可能性の定義は、そのまま「接平面が引ける」という幾何的条件です。

<Definition id="def-tangent-plane" title="接平面">
$f$ が $\boldsymbol a = (a,b)$ で全微分可能であるとき、$\mathbb{R}^3$ の平面

$$
z = f(a,b) + f_x(a,b)\,(x-a) + f_y(a,b)\,(y-b)
$$

を、グラフ $G_f$ の点 $(a,b,f(a,b))$ における**接平面**と呼びます。
</Definition>

<Remark id="rem-tangent-unique" title="接平面はなぜこの平面でなければならないか">
点 $(a,b,f(a,b))$ を通る非鉛直な平面は $z = f(a,b) + p(x-a) + q(y-b)$ と書けます。この平面が曲面に「接する」とは、真下に測った縦方向のずれ

$$
f(x,y) - \bigl[f(a,b) + p(x-a)+q(y-b)\bigr]
$$

が、点 $(a,b)$ からの距離 $\|(x-a,y-b)\|$ に比べて無視できるほど速く $0$ になること、と定めるのが自然でしょう。これはまさに <Ref to="def-differentiable" /> の条件です。したがって接平面が存在することと全微分可能であることは同値であり、<Ref to="prop-differentiable-basic" /> (3) より接平面は存在すれば一意です。

<Ref to="ex-sqrt-abs" /> の $\sqrt{\lvert xy\rvert}$ では、$x$ 軸方向と $y$ 軸方向の接線はどちらも水平でしたが、それらが張る平面 $z=0$ は上の意味で接していませんでした。「2 本の接線を張れば接平面」という素朴な期待が破れるのは、まさにこの点です。
</Remark>

接平面の方程式は $z - f(a,b) = \langle \nabla f(a,b), (x-a, y-b)\rangle$ と書けるので、法線ベクトルは $(f_x(a,b),\, f_y(a,b),\, -1)$ です。

<Example id="ex-tangent-plane" title="接平面による一次近似の精度">
$f(x,y) = \sqrt{x^2+y^2}$ の点 $(3,4)$ における接平面を求め、$\sqrt{3.02^2 + 3.96^2}$ を近似します。

$f$ は原点以外で $C^1$ 級です。実際

$$
f_x = \frac{x}{\sqrt{x^2+y^2}}, \qquad f_y = \frac{y}{\sqrt{x^2+y^2}}
$$

は原点を除いて連続なので、<Ref to="thm-c1-implies-differentiable" /> より $(3,4)$ で全微分可能です。$f(3,4) = 5$、$f_x(3,4) = 3/5 = 0.6$、$f_y(3,4) = 4/5 = 0.8$ なので接平面は

$$
z = 5 + 0.6(x-3) + 0.8(y-4).
$$

$(x,y) = (3.02, 3.96)$ を代入すると

$$
z = 5 + 0.6 \times 0.02 + 0.8 \times (-0.04) = 5 + 0.012 - 0.032 = 4.980 .
$$

真の値は $\sqrt{9.1204 + 15.6816} = \sqrt{24.802} = 4.98016\ldots$ です。誤差は約 $1.6\times 10^{-4}$、変位の大きさは $\|\boldsymbol h\| = \sqrt{0.02^2+0.04^2} \approx 0.0447$ ですから、誤差は $\|\boldsymbol h\|$ の約 $0.36\%$、$\|\boldsymbol h\|^2 \approx 0.002$ の約 $8\%$ です。誤差が $\|\boldsymbol h\|$ ではなく $\|\boldsymbol h\|^2$ の程度になっているのは偶然ではなく、<Ref to="thm-taylor2" /> で説明がつきます。
</Example>

<Proposition id="prop-gradient-steepest" title="勾配は最急上昇方向を指す">
$f$ が $\boldsymbol a$ で全微分可能で $\nabla f(\boldsymbol a) \ne \boldsymbol 0$ とします。単位ベクトル $\boldsymbol u$ を動かすとき、方向微分係数 $D_{\boldsymbol u}f(\boldsymbol a)$ は

$$
\boldsymbol u = \frac{\nabla f(\boldsymbol a)}{\|\nabla f(\boldsymbol a)\|} \quad \text{のとき最大値} \ \ \|\nabla f(\boldsymbol a)\|
$$

を取り、その逆向きのとき最小値 $-\|\nabla f(\boldsymbol a)\|$ を取ります。また $D_{\boldsymbol u} f(\boldsymbol a) = 0$ となるのは $\boldsymbol u$ が $\nabla f(\boldsymbol a)$ と直交するとき、かつそのときに限ります。
</Proposition>

<Proof of="prop-gradient-steepest">
<Ref to="prop-differentiable-basic" /> (2) より $D_{\boldsymbol u}f(\boldsymbol a) = \langle \nabla f(\boldsymbol a), \boldsymbol u\rangle$ です。コーシー・シュワルツの不等式より

$$
|\langle \nabla f(\boldsymbol a), \boldsymbol u\rangle| \le \|\nabla f(\boldsymbol a)\|\,\|\boldsymbol u\| = \|\nabla f(\boldsymbol a)\|
$$

であり、等号成立は $\boldsymbol u$ と $\nabla f(\boldsymbol a)$ が平行なとき、かつそのときに限ります。$\|\boldsymbol u\|=1$ という制約のもとで平行なベクトルは $\boldsymbol u = \pm \nabla f(\boldsymbol a)/\|\nabla f(\boldsymbol a)\|$ の 2 つで、$+$ のとき内積は $\|\nabla f(\boldsymbol a)\|$（最大）、$-$ のとき $-\|\nabla f(\boldsymbol a)\|$（最小）です。最後の主張は内積が $0$ であることの言い換えです。
</Proof>

この命題は、勾配降下法をはじめとする最適化手法が「$-\nabla f$ の向きに進む」理由そのものです。また、$f$ が $C^1$ 級で $\nabla f(\boldsymbol a) \ne \boldsymbol 0$ のとき、$\boldsymbol a$ を通る等高線に沿って動く曲線 $\gamma$ を取ると $f(\gamma(t))$ は定数なので、次節の連鎖律から $\langle \nabla f, \gamma'\rangle = 0$、すなわち**勾配は等高線に直交します**。等高線が混んでいる場所ほど $\|\nabla f\|$ が大きい、という地形図の直観はこれで正当化されます。

## 6. 連鎖律

<Theorem id="thm-chain-rule" title="連鎖律（曲線に沿った微分）">
$I \subset \mathbb{R}$ を開区間、$\gamma: I \to U$、$\gamma(t) = (x(t), y(t))$ とし、$x, y$ は $t_0 \in I$ で微分可能とします。さらに $f: U \to \mathbb{R}$ が $\boldsymbol a = \gamma(t_0)$ で全微分可能とします。このとき合成 $g = f \circ \gamma$ は $t_0$ で微分可能で

$$
g'(t_0) = f_x(\boldsymbol a)\, x'(t_0) + f_y(\boldsymbol a)\, y'(t_0) = \langle \nabla f(\boldsymbol a), \gamma'(t_0)\rangle
$$

が成り立ちます。
</Theorem>

<Proof of="thm-chain-rule">
誤差項を扱いやすくするため、$\boldsymbol h \ne \boldsymbol 0$ に対し

$$
E(\boldsymbol h) = \frac{f(\boldsymbol a+\boldsymbol h) - f(\boldsymbol a) - \langle \nabla f(\boldsymbol a), \boldsymbol h\rangle}{\|\boldsymbol h\|}, \qquad E(\boldsymbol 0) = 0
$$

と定めます。<Ref to="def-differentiable" /> と <Ref to="prop-differentiable-basic" /> (2) より $E$ は $\boldsymbol 0$ で連続で、すべての $\boldsymbol h$ について

$$
f(\boldsymbol a + \boldsymbol h) - f(\boldsymbol a) = \langle \nabla f(\boldsymbol a), \boldsymbol h\rangle + E(\boldsymbol h)\,\|\boldsymbol h\|
$$

が成り立ちます（$\boldsymbol h = \boldsymbol 0$ でも両辺 $0$ で成立）。

$t \ne t_0$ に対し $\boldsymbol h(t) = \gamma(t) - \gamma(t_0)$ と置くと、上式から

$$
\frac{g(t)-g(t_0)}{t-t_0} = \Bigl\langle \nabla f(\boldsymbol a),\ \frac{\boldsymbol h(t)}{t-t_0}\Bigr\rangle + E(\boldsymbol h(t))\cdot\frac{\|\boldsymbol h(t)\|}{|t-t_0|}\cdot \operatorname{sgn}(t-t_0)
$$

となります。$x,y$ が $t_0$ で微分可能なので $\frac{\boldsymbol h(t)}{t-t_0} \to (x'(t_0), y'(t_0)) = \gamma'(t_0)$ であり、第 1 項は内積の連続性より $\langle \nabla f(\boldsymbol a), \gamma'(t_0)\rangle$ に収束します。

第 2 項を評価します。$\frac{\|\boldsymbol h(t)\|}{|t-t_0|} = \left\|\frac{\boldsymbol h(t)}{t-t_0}\right\| \to \|\gamma'(t_0)\|$ なので、この量は $t_0$ の近くで有界です。一方 $x,y$ は $t_0$ で微分可能ゆえ連続なので $\boldsymbol h(t) \to \boldsymbol 0$ であり、$E$ の $\boldsymbol 0$ での連続性から $E(\boldsymbol h(t)) \to E(\boldsymbol 0) = 0$ です。有界量と $0$ に収束する量の積は $0$ に収束するので、第 2 項は $0$ に収束します。

以上より $g'(t_0)$ が存在して $\langle \nabla f(\boldsymbol a), \gamma'(t_0)\rangle$ に等しいことが示されました。
</Proof>

<Remark id="rem-chain-two-var" title="変数変換の形の連鎖律">
$x = x(u,v)$、$y = y(u,v)$ が $(u_0,v_0)$ で偏微分可能で、$f$ が対応する点で全微分可能なとき、$F(u,v) = f(x(u,v), y(u,v))$ について

$$
\frac{\partial F}{\partial u} = \frac{\partial f}{\partial x}\frac{\partial x}{\partial u} + \frac{\partial f}{\partial y}\frac{\partial y}{\partial u}, \qquad \frac{\partial F}{\partial v} = \frac{\partial f}{\partial x}\frac{\partial x}{\partial v} + \frac{\partial f}{\partial y}\frac{\partial y}{\partial v}
$$

が成り立ちます。$v$ を固定すれば $u \mapsto (x(u,v),y(u,v))$ は 1 本の曲線なので、これは <Ref to="thm-chain-rule" /> をその曲線に適用しただけです。この 2 つの式は行列を使って

$$
\begin{pmatrix} F_u & F_v \end{pmatrix} = \begin{pmatrix} f_x & f_y \end{pmatrix} \begin{pmatrix} x_u & x_v \\ y_u & y_v \end{pmatrix}
$$

とまとめられます。右の行列が[重積分と累次積分](/mathematics/calculus/multiple-integrals)でいう<Ref to="mathematics/calculus/multiple-integrals#def-jacobian" text="ヤコビ行列" />で、その行列式（ヤコビアン）は <Ref to="mathematics/calculus/multiple-integrals#thm-change-of-variables" text="重積分の変数変換公式" /> で主役になります。
</Remark>

## 7. 高階偏微分とテイラーの定理

偏導関数 $f_x, f_y$ がまた $U$ 上の関数なので、これらをさらに偏微分できます。記号は

$$
f_{xy} = \frac{\partial^2 f}{\partial y\,\partial x} = \frac{\partial}{\partial y}\left(\frac{\partial f}{\partial x}\right)
$$

と約束します（**先に $x$、次に $y$**）。$f_{xx}, f_{yx}, f_{yy}$ も同様です。2 階までのすべての偏導関数が存在して連続なとき $f$ は $C^2$ 級であるといいます。

<Theorem id="thm-schwarz" title="シュワルツの定理（偏微分の順序交換）">
$U$ を開集合、$f: U \to \mathbb{R}$、$\boldsymbol a \in U$ とします。$f_x, f_y, f_{xy}, f_{yx}$ が $\boldsymbol a$ のある近傍で存在し、$f_{xy}$ と $f_{yx}$ が $\boldsymbol a$ で連続であるとします。このとき

$$
f_{xy}(\boldsymbol a) = f_{yx}(\boldsymbol a)
$$

が成り立ちます。とくに $f$ が $C^2$ 級ならば、2 階偏導関数は微分の順序に依りません。
</Theorem>

<Remark id="rem-schwarz-counterexample" title="連続性を落とすと順序は交換できない">
証明は Appendix に置きます。仮定の連続性は落とせません。

$$
f(x,y) = \begin{cases} xy\,\dfrac{x^2-y^2}{x^2+y^2} & (\boldsymbol x \ne \boldsymbol 0) \\[2mm] 0 & (\boldsymbol x = \boldsymbol 0)\end{cases}
$$

とすると、$y \ne 0$ に対し

$$
f_x(0,y) = \lim_{h\to0}\frac{f(h,y)-0}{h} = \lim_{h\to0} y\,\frac{h^2-y^2}{h^2+y^2} = y\cdot\frac{-y^2}{y^2} = -y
$$

であり（$f_x(0,0)=0$ もこの式に含まれます）、したがって $f_{xy}(0,0) = \frac{d}{dy}(-y)\big|_{y=0} = -1$ です。同様に $f_y(x,0) = x\cdot\frac{x^2}{x^2} = x$ から $f_{yx}(0,0) = 1$ となり、両者は一致しません。この $f$ の 2 階混合偏導関数は原点以外では連続ですが、原点では連続になりません。
</Remark>

$C^2$ 級のとき、2 階偏導関数を並べた対称行列

$$
H_f(\boldsymbol a) = \begin{pmatrix} f_{xx}(\boldsymbol a) & f_{xy}(\boldsymbol a) \\ f_{yx}(\boldsymbol a) & f_{yy}(\boldsymbol a)\end{pmatrix} = \begin{pmatrix} f_{xx}(\boldsymbol a) & f_{xy}(\boldsymbol a) \\ f_{xy}(\boldsymbol a) & f_{yy}(\boldsymbol a)\end{pmatrix}
$$

を**ヘッセ行列**と呼びます（対称性は <Ref to="thm-schwarz" /> によります）。

<Definition id="def-hessian" title="ヘッセ行列・臨界点・極値">
$f$ を $U$ 上 $C^2$ 級とします。上の行列 $H_f(\boldsymbol a)$ を $\boldsymbol a$ における**ヘッセ行列**と呼びます。また $\nabla f(\boldsymbol a) = \boldsymbol 0$ を満たす点 $\boldsymbol a$ を **臨界点**（停留点）と呼びます。

$f$ が $\boldsymbol a$ で**極大**であるとは、ある $\delta>0$ が存在して $\boldsymbol x \in B(\boldsymbol a,\delta)$ ならば $f(\boldsymbol x) \le f(\boldsymbol a)$ となることをいいます（不等号を逆にすれば極小）。$\boldsymbol x \ne \boldsymbol a$ で不等号が真に成り立つときは**狭義**の極大・極小といいます。極大でも極小でもない臨界点を**鞍点**と呼びます。
</Definition>

$f$ が $\boldsymbol a$ で全微分可能かつ極値を取るなら $\nabla f(\boldsymbol a) = \boldsymbol 0$ です。実際、$t \mapsto f(\boldsymbol a + t\boldsymbol u)$ は $t=0$ で 1 変数関数として極値を取るので、<Ref to="mathematics/calculus/mean-value-and-taylor#lem-fermat" text="フェルマーの補題" /> により微分係数 $D_{\boldsymbol u}f(\boldsymbol a)$ は $0$ になり、$\boldsymbol u=(1,0),(0,1)$ を取れば $f_x(\boldsymbol a)=f_y(\boldsymbol a)=0$ です。したがって極値の候補は臨界点に限られます。問題は、臨界点が極大か極小か鞍点かをどう見分けるかです。

<Theorem id="thm-taylor2" title="2 変数のテイラーの定理（2 次まで）">
$f$ を開集合 $U$ 上の $C^2$ 級関数、$\boldsymbol a \in U$ とし、$B(\boldsymbol a, r) \subset U$ とします。$\|\boldsymbol h\| < r$ なる $\boldsymbol h = (h,k)$ に対し次が成り立ちます。

1. （ラグランジュ剰余）ある $\theta \in (0,1)$ が存在して

$$
f(\boldsymbol a+\boldsymbol h) = f(\boldsymbol a) + \langle \nabla f(\boldsymbol a), \boldsymbol h\rangle + \frac{1}{2}\,\boldsymbol h^{\mathsf{T}} H_f(\boldsymbol a + \theta\boldsymbol h)\, \boldsymbol h .
$$

2. （ペアノ剰余）$\boldsymbol h \to \boldsymbol 0$ のとき

$$
f(\boldsymbol a+\boldsymbol h) = f(\boldsymbol a) + \langle \nabla f(\boldsymbol a), \boldsymbol h\rangle + \frac{1}{2}\,\boldsymbol h^{\mathsf{T}} H_f(\boldsymbol a)\, \boldsymbol h + o(\|\boldsymbol h\|^2).
$$

ここで $\boldsymbol h^{\mathsf{T}} H \boldsymbol h = f_{xx}h^2 + 2f_{xy}hk + f_{yy}k^2$ です。
</Theorem>

<Proof of="thm-taylor2">
**(1)** $\varphi(t) = f(\boldsymbol a + t\boldsymbol h)$ と置きます。開球は凸なので $t \in [0,1]$ に対し $\boldsymbol a + t\boldsymbol h \in B(\boldsymbol a,r) \subset U$ であり、$\varphi$ は $[0,1]$ を含む開区間で定義されます。$C^2$ 級の仮定と <Ref to="thm-c1-implies-differentiable" /> により $f$ も $f_x$ も $f_y$ も全微分可能なので、<Ref to="thm-chain-rule" /> を曲線 $\gamma(t) = \boldsymbol a + t\boldsymbol h$（$\gamma'(t) = \boldsymbol h$）に適用できて

$$
\varphi'(t) = f_x(\boldsymbol a+t\boldsymbol h)\,h + f_y(\boldsymbol a+t\boldsymbol h)\,k .
$$

もう一度、今度は $f_x$ と $f_y$ に <Ref to="thm-chain-rule" /> を適用すると

$$
\varphi''(t) = \bigl[f_{xx}h + f_{xy}k\bigr]h + \bigl[f_{yx}h + f_{yy}k\bigr]k = f_{xx}h^2 + 2f_{xy}hk + f_{yy}k^2
$$

（すべて $\boldsymbol a + t\boldsymbol h$ での値、最後の等号で <Ref to="thm-schwarz" /> を使いました）。すなわち $\varphi''(t) = \boldsymbol h^{\mathsf{T}}H_f(\boldsymbol a+t\boldsymbol h)\boldsymbol h$ であり、これは $t$ の連続関数です。

1 変数のテイラーの定理（[平均値の定理とテイラーの定理](/mathematics/calculus/mean-value-and-taylor) の <Ref to="mathematics/calculus/mean-value-and-taylor#thm-taylor" text="テイラーの定理（ラグランジュの剰余）" />）を $\varphi$ に $n=1$ 次まで適用すると、ある $\theta \in (0,1)$ が存在して

$$
\varphi(1) = \varphi(0) + \varphi'(0) + \frac{1}{2}\varphi''(\theta)
$$

です。$\varphi(1) = f(\boldsymbol a+\boldsymbol h)$、$\varphi(0)=f(\boldsymbol a)$、$\varphi'(0) = \langle \nabla f(\boldsymbol a),\boldsymbol h\rangle$ を代入すれば (1) を得ます。

**(2)** (1) の右辺から $\frac12 \boldsymbol h^{\mathsf{T}}H_f(\boldsymbol a)\boldsymbol h$ を引いた差は

$$
\frac{1}{2}\boldsymbol h^{\mathsf{T}}\bigl[H_f(\boldsymbol a+\theta\boldsymbol h) - H_f(\boldsymbol a)\bigr]\boldsymbol h
$$

です。この角括弧の行列の成分を $m_{ij}$、$M(\boldsymbol h) = \max_{i,j}|m_{ij}|$ と書くと、$|h|,|k| \le \|\boldsymbol h\|$ より

$$
\bigl|\boldsymbol h^{\mathsf{T}}[\,\cdot\,]\boldsymbol h\bigr| \le \sum_{i,j} |m_{ij}|\,|h_i|\,|h_j| \le 4\,M(\boldsymbol h)\,\|\boldsymbol h\|^2 .
$$

$\|\theta \boldsymbol h\| \le \|\boldsymbol h\| \to 0$ と 2 階偏導関数の $\boldsymbol a$ での連続性より $M(\boldsymbol h) \to 0$ ですから、この差は $o(\|\boldsymbol h\|^2)$ です。
</Proof>

<Example id="ex-taylor-exp" title="exp(x)cos y の原点まわりの 2 次近似">
$f(x,y) = e^x\cos y$ を原点のまわりで 2 次まで展開します。$f$ は $C^\infty$ 級です。

$$
\begin{aligned}
f_x &= e^x\cos y, & f_y &= -e^x\sin y,\\
f_{xx} &= e^x\cos y, & f_{xy} &= -e^x\sin y, & f_{yy} &= -e^x\cos y .
\end{aligned}
$$

原点で値を取ると $f(0,0)=1$、$\nabla f(0,0) = (1,0)$、$H_f(0,0) = \begin{pmatrix} 1 & 0\\ 0 & -1\end{pmatrix}$ です。<Ref to="thm-taylor2" /> (2) より

$$
e^x\cos y = 1 + x + \frac{1}{2}\bigl(x^2 - y^2\bigr) + o(x^2+y^2).
$$

検算しましょう。1 変数の展開 $e^x = 1 + x + \frac{x^2}{2} + o(x^2)$、$\cos y = 1 - \frac{y^2}{2}+o(y^2)$ を掛け合わせて 2 次までを残すと

$$
\Bigl(1+x+\frac{x^2}{2}\Bigr)\Bigl(1-\frac{y^2}{2}\Bigr) = 1 + x + \frac{x^2}{2} - \frac{y^2}{2} + (\text{3 次以上})
$$

となり一致します。なお $f_{xx}+f_{yy} = 0$ であり、$e^x\cos y = \operatorname{Re}(e^{x+iy})$ が調和関数であることが 2 次項の形（$x^2$ と $y^2$ の係数が符号だけ違う）に現れています。
</Example>

## 8. 極値問題とヘッセ行列

臨界点 $\boldsymbol a$ では $\nabla f(\boldsymbol a) = \boldsymbol 0$ なので、<Ref to="thm-taylor2" /> (2) は

$$
f(\boldsymbol a + \boldsymbol h) - f(\boldsymbol a) = \frac{1}{2}\boldsymbol h^{\mathsf{T}}H_f(\boldsymbol a)\boldsymbol h + o(\|\boldsymbol h\|^2)
$$

となります。増減を決めるのは 2 次形式 $Q(\boldsymbol h) = \boldsymbol h^{\mathsf{T}}H_f(\boldsymbol a)\boldsymbol h$ の符号です。そこでまず 2 次形式を分類します。

<Lemma id="lem-quadratic-2x2" title="2 変数 2 次形式の符号">
実数 $A,B,C$ に対し $Q(h,k) = Ah^2 + 2Bhk + Ck^2$ と置き、$\Delta = AC - B^2$ とします。

1. $\Delta > 0$ かつ $A > 0$ ならば、$(h,k)\ne(0,0)$ なるすべての $(h,k)$ に対し $Q(h,k) > 0$（正定値）。
2. $\Delta > 0$ かつ $A < 0$ ならば、同様に常に $Q(h,k) < 0$（負定値）。
3. $\Delta < 0$ ならば、$Q(\boldsymbol u) > 0$ となる $\boldsymbol u$ と $Q(\boldsymbol v) < 0$ となる $\boldsymbol v$ がともに存在する（不定値）。

なお $\Delta > 0$ のとき $A = 0$ はあり得ません（$A=0$ なら $\Delta = -B^2 \le 0$）。
</Lemma>

<Proof of="lem-quadratic-2x2">
**(1)** $A \ne 0$ のとき平方完成すると

$$
Q(h,k) = A\Bigl(h + \frac{B}{A}k\Bigr)^2 + \frac{AC-B^2}{A}k^2 = A\Bigl(h+\frac{B}{A}k\Bigr)^2 + \frac{\Delta}{A}k^2 .
$$

$A>0$、$\Delta>0$ なら両項とも $0$ 以上です。$Q(h,k)=0$ とすると両項がともに $0$ で、第 2 項から $k=0$、これを第 1 項に入れて $Ah^2=0$ より $h=0$ を得ます。よって $(h,k)\ne(0,0)$ なら $Q(h,k)>0$ です。

**(2)** $-Q$ に (1) を適用します。$-Q$ の係数は $(-A,-B,-C)$ で、判別量は $(-A)(-C)-(-B)^2 = \Delta > 0$、かつ $-A>0$ なので $-Q$ は正定値、すなわち $Q$ は負定値です。

**(3)** $A \ne 0$ のときは $\boldsymbol u = (1,0)$、$\boldsymbol v = (-B, A)$（$A\ne0$ より $\boldsymbol v \ne \boldsymbol 0$）と取ります。

$$
Q(1,0) = A, \qquad Q(-B,A) = AB^2 - 2B\cdot BA + CA^2 = A(AC - B^2) = A\Delta .
$$

$\Delta<0$ なので $A$ と $A\Delta$ は逆符号です。よって $A>0$ なら $\boldsymbol u=(1,0)$ で正・$\boldsymbol v=(-B,A)$ で負、$A<0$ なら役割を入れ替えればよく、いずれにせよ正負両方の値を取ります。

$A = 0$ のときは $\Delta = -B^2 < 0$ より $B \ne 0$ です。$Q(h,1) = 2Bh + C$ は $h$ の 1 次関数で $B\ne0$ ですから、$h$ を大きく取れば正、小さく取れば負になります。
</Proof>

<Theorem id="thm-second-derivative-test" title="ヘッセ行列による極値判定">
$f$ を開集合 $U$ 上の $C^2$ 級関数、$\boldsymbol a \in U$ を臨界点（$\nabla f(\boldsymbol a) = \boldsymbol 0$）とし、

$$
\Delta = \det H_f(\boldsymbol a) = f_{xx}(\boldsymbol a)f_{yy}(\boldsymbol a) - f_{xy}(\boldsymbol a)^2
$$

と置きます。

1. $\Delta > 0$ かつ $f_{xx}(\boldsymbol a) > 0$ ならば、$f$ は $\boldsymbol a$ で狭義の極小。
2. $\Delta > 0$ かつ $f_{xx}(\boldsymbol a) < 0$ ならば、$f$ は $\boldsymbol a$ で狭義の極大。
3. $\Delta < 0$ ならば、$\boldsymbol a$ は鞍点（極大でも極小でもない）。
4. $\Delta = 0$ のときは、この情報だけでは極大・極小・鞍点のいずれとも決まらない。
</Theorem>

<Proof of="thm-second-derivative-test">
$Q(\boldsymbol h) = \boldsymbol h^{\mathsf{T}}H_f(\boldsymbol a)\boldsymbol h$、$R(\boldsymbol h) = f(\boldsymbol a+\boldsymbol h)-f(\boldsymbol a) - \frac12 Q(\boldsymbol h)$ と置きます。$\boldsymbol a$ が臨界点なので <Ref to="thm-taylor2" /> (2) より $R(\boldsymbol h) = o(\|\boldsymbol h\|^2)$ です。

**(1)** <Ref to="lem-quadratic-2x2" /> (1) より $Q$ は正定値です。単位円 $S = \{\boldsymbol u : \|\boldsymbol u\|=1\}$ は $\mathbb{R}^2$ の有界閉集合、$Q$ は多項式なので連続ですから、最大値・最小値の定理により $m = \min_{\boldsymbol u \in S} Q(\boldsymbol u)$ が存在し、正定値性より $m>0$ です。$Q$ は 2 次の同次式（$Q(t\boldsymbol h) = t^2Q(\boldsymbol h)$）なので、$\boldsymbol h \ne \boldsymbol 0$ に対し

$$
Q(\boldsymbol h) = \|\boldsymbol h\|^2\, Q\!\left(\frac{\boldsymbol h}{\|\boldsymbol h\|}\right) \ge m\|\boldsymbol h\|^2 .
$$

一方 $R(\boldsymbol h) = o(\|\boldsymbol h\|^2)$ より、$\varepsilon = m/4$ に対しある $\delta>0$ が存在して $0 < \|\boldsymbol h\| < \delta$ ならば $|R(\boldsymbol h)| \le \frac{m}{4}\|\boldsymbol h\|^2$ です。よってそのような $\boldsymbol h$ に対し

$$
f(\boldsymbol a+\boldsymbol h)-f(\boldsymbol a) = \frac{1}{2}Q(\boldsymbol h) + R(\boldsymbol h) \ge \frac{m}{2}\|\boldsymbol h\|^2 - \frac{m}{4}\|\boldsymbol h\|^2 = \frac{m}{4}\|\boldsymbol h\|^2 > 0
$$

となり、$B(\boldsymbol a,\delta)$ 内の $\boldsymbol a$ 以外の点では $f$ の値が真に大きくなります。すなわち狭義の極小です。

**(2)** $-f$ に (1) を適用します。$H_{-f} = -H_f$ なので $\det H_{-f} = (-1)^2\det H_f = \Delta > 0$、かつ $(-f)_{xx} = -f_{xx} > 0$ です。よって $-f$ は狭義の極小、すなわち $f$ は狭義の極大です。

**(3)** <Ref to="lem-quadratic-2x2" /> (3) より $Q(\boldsymbol u)>0>Q(\boldsymbol v)$ なる $\boldsymbol u,\boldsymbol v$ が取れます。$Q$ の同次性から $\boldsymbol u,\boldsymbol v$ は単位ベクトルとしてよいです。$g(t) = f(\boldsymbol a+t\boldsymbol u)$ と置くと、$t \ne 0$ に対し

$$
g(t)-g(0) = \frac{t^2}{2}Q(\boldsymbol u) + R(t\boldsymbol u), \qquad \frac{|R(t\boldsymbol u)|}{t^2} \to 0 \ (t\to0)
$$

なので、$|t|$ が十分小さければ $|R(t\boldsymbol u)| \le \frac{t^2}{4}Q(\boldsymbol u)$ となり $g(t)-g(0) \ge \frac{t^2}{4}Q(\boldsymbol u) > 0$ です。同様に $\boldsymbol v$ 方向では $f(\boldsymbol a + t\boldsymbol v) - f(\boldsymbol a) < 0$ となります。したがって $\boldsymbol a$ のどんな近傍にも $f$ の値が $f(\boldsymbol a)$ より大きい点と小さい点の両方が存在し、極大でも極小でもありません。

**(4)** 反例を並べれば十分です。$f(x,y)=x^4+y^4$、$g(x,y)=-(x^4+y^4)$、$h(x,y)=x^4-y^4$ はいずれも原点が臨界点でヘッセ行列は零行列（$\Delta=0$）ですが、原点はそれぞれ狭義の極小・狭義の極大・鞍点です（$h$ は $x$ 軸方向で正、$y$ 軸方向で負）。
</Proof>

<Aside type="tip">
$\Delta > 0$ のときは $f_{xx}$ と $f_{yy}$ が同符号になる（$f_{xx}f_{yy} = \Delta + f_{xy}^2 > 0$）ので、(1)(2) の判定は $f_{yy}$ の符号で行っても同じ結果になります。また $n$ 変数では、$H_f(\boldsymbol a)$ の固有値がすべて正なら極小、すべて負なら極大、正と負が混ざれば鞍点、という形に一般化されます。2 変数の $\det H > 0$ は「固有値の積が正」、$f_{xx}>0$ は「両方とも正」を意味しています。
</Aside>

<Example id="ex-critical-cubic" title="臨界点をすべて求めて判定する">
$f(x,y) = x^3 - 3xy + y^3$ の極値を調べます。$f$ は多項式なので $C^\infty$ 級です。

**臨界点。** $f_x = 3x^2 - 3y = 0$ より $y = x^2$、$f_y = -3x + 3y^2 = 0$ より $x = y^2$ です。前者を後者に代入して $x = x^4$、すなわち $x(x^3-1) = 0$ なので $x = 0$ または $x=1$ です。$y=x^2$ より臨界点は $(0,0)$ と $(1,1)$ の 2 つです。

**ヘッセ行列。** $f_{xx} = 6x$、$f_{xy} = -3$、$f_{yy} = 6y$ なので

$$
H_f(x,y) = \begin{pmatrix} 6x & -3 \\ -3 & 6y\end{pmatrix}, \qquad \Delta(x,y) = 36xy - 9 .
$$

**判定。** $(0,0)$ では $\Delta = -9 < 0$ なので <Ref to="thm-second-derivative-test" /> (3) より鞍点です。$(1,1)$ では $\Delta = 36-9 = 27 > 0$ かつ $f_{xx}(1,1)=6>0$ なので同 (1) より狭義の極小で、極小値は $f(1,1) = 1 - 3 + 1 = -1$ です。

なお $f$ は最小値を持ちません。$y=0$ とすると $f(x,0)=x^3 \to -\infty$（$x \to -\infty$）だからです。極小は「近傍で最小」というだけの局所的な性質であることに注意してください。
</Example>

$\Delta = 0$ の場合が難しいのは、単に判定法が弱いからではありません。次の例は、直線に沿って調べるだけでは極値判定ができないことを示します。

<Example id="ex-degenerate-wedge" title="どの直線に沿っても極小、しかし極小でない">
$f(x,y) = (y-x^2)(y-2x^2) = y^2 - 3x^2y + 2x^4$ とします。

**臨界点とヘッセ行列。** $f_x = -6xy + 8x^3$、$f_y = 2y - 3x^2$ より、原点は臨界点です。$f_{xx} = -6y+24x^2$、$f_{xy} = -6x$、$f_{yy} = 2$ なので

$$
H_f(0,0) = \begin{pmatrix} 0 & 0 \\ 0 & 2\end{pmatrix}, \qquad \Delta = 0 .
$$

<Ref to="thm-second-derivative-test" /> (4) の判定不能の場合です。

**原点を通る直線に沿った振る舞い。** 傾き $m$ の直線 $y=mx$ に沿うと

$$
f(x,mx) = m^2x^2 - 3mx^3 + 2x^4 = x^2\bigl(m^2 - 3mx + 2x^2\bigr).
$$

$m \ne 0$ なら括弧内は $x\to0$ で $m^2>0$ に近づくので、$|x|$ が十分小さければ $f(x,mx)>0$ です。$m=0$ なら $f(x,0)=2x^4>0$（$x\ne0$）、鉛直な直線 $x=0$ 上でも $f(0,y)=y^2>0$（$y\ne0$）です。つまり**原点を通るどの直線に沿っても、原点は狭義の極小**です。

**それでも原点は極小ではありません。** 放物線 $y = \frac{3}{2}x^2$ に沿うと

$$
f\Bigl(x, \tfrac{3}{2}x^2\Bigr) = \Bigl(\tfrac{3}{2}x^2 - x^2\Bigr)\Bigl(\tfrac{3}{2}x^2 - 2x^2\Bigr) = \frac{x^2}{2}\cdot\Bigl(-\frac{x^2}{2}\Bigr) = -\frac{x^4}{4} < 0 \quad (x \ne 0)
$$

です。原点のどんな近傍にもこの放物線上の点が入っているので、$f(\boldsymbol x) < f(0,0)=0$ となる点が原点のいくらでも近くにあります。よって原点は極小ではありません（同様に極大でもないので鞍点です）。

からくりは、$f$ が負になる領域が 2 本の放物線 $y=x^2$ と $y=2x^2$ に挟まれた領域だということです。この領域は原点で「つぶれて」いて、原点を通る直線はどれも、原点の近くではこの領域の外を通ってしまいます。
</Example>

<Figure caption="f(x, y) = (y − x²)(y − 2x²) が負になる領域。原点を通る直線は、原点の近くではこの領域に入りません">
<svg viewBox="0 0 480 300" width="100%" role="img" aria-label="二つの放物線に挟まれた薄い領域と、原点を通る直線">
  <g stroke="currentColor" stroke-opacity="0.35" stroke-width="1">
    <line x1="21" y1="245" x2="459" y2="245" />
    <line x1="240" y1="112" x2="240" y2="278" />
  </g>
  <polygon fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="none"
    points="88.0,143.9 107.0,167.6 126.0,188.1 145.0,205.5 164.0,219.7 183.0,230.8 202.0,238.7 221.0,243.4 240.0,245.0 259.0,243.4 278.0,238.7 297.0,230.8 316.0,219.7 335.0,205.5 354.0,188.1 373.0,167.6 392.0,143.9 392.0,42.8 373.0,90.2 354.0,131.2 335.0,166.0 316.0,194.4 297.0,216.6 278.0,232.4 259.0,241.8 240.0,245.0 221.0,241.8 202.0,232.4 183.0,216.6 164.0,194.4 145.0,166.0 126.0,131.2 107.0,90.2 88.0,42.8" />
  <polyline fill="none" stroke="currentColor" stroke-width="1.8"
    points="25.3,43.2 44.8,78.3 64.3,109.9 83.9,138.3 103.4,163.3 122.9,185.0 142.4,203.3 161.9,218.3 181.4,230.0 201.0,238.3 220.5,243.3 240.0,245.0 259.5,243.3 279.0,238.3 298.6,230.0 318.1,218.3 337.6,203.3 357.1,185.0 376.6,163.3 396.1,138.3 415.7,109.9 435.2,78.3 454.7,43.2" />
  <polyline fill="none" stroke="currentColor" stroke-width="1.8" stroke-dasharray="6 4"
    points="88.0,42.8 107.0,90.2 126.0,131.2 145.0,166.0 164.0,194.4 183.0,216.6 202.0,232.4 221.0,241.8 240.0,245.0 259.0,241.8 278.0,232.4 297.0,216.6 316.0,194.4 335.0,166.0 354.0,131.2 373.0,90.2 392.0,42.8" />
  <line x1="205.5" y1="276.6" x2="455.9" y2="47.5" stroke="var(--sl-color-accent)" stroke-width="1.8" />
  <circle cx="240" cy="245" r="3.5" fill="currentColor" />
  <g stroke-width="1.8">
    <rect x="152" y="16" width="28" height="12" fill="var(--sl-color-accent)" fill-opacity="0.25" stroke="none" />
    <line x1="152" y1="50" x2="180" y2="50" stroke="currentColor" />
    <line x1="152" y1="72" x2="180" y2="72" stroke="currentColor" stroke-dasharray="6 4" />
    <line x1="152" y1="94" x2="180" y2="94" stroke="var(--sl-color-accent)" />
  </g>
  <g fill="currentColor" font-size="13">
    <text x="188" y="27">f が負になる領域</text>
    <text x="188" y="55">y = x²</text>
    <text x="188" y="77">y = 2x²</text>
    <text x="188" y="99">原点を通る直線</text>
    <text x="230" y="263" text-anchor="end">O</text>
  </g>
</svg>
</Figure>

この例は「1 変数の問題に落として調べる」という方針の限界を示しています。多変数の極値問題では、原点への近づき方が直線だけではないことを、常に意識してください。

## 9. 演習

<Exercise id="exr-tangent-plane" difficulty="易">
$f(x,y) = x^2y - y^3 + 3$ について、次に答えてください。

1. 偏導関数 $f_x, f_y$ を求め、$f$ が $\mathbb{R}^2$ 全体で全微分可能であることを示してください。
2. 点 $(2,1)$ における接平面の方程式を求めてください。
3. それを使って $f(1.98, 1.02)$ を近似し、真の値と比べてください。

<Solution>
**1.** $y$ を定数と見て $f_x = 2xy$、$x$ を定数と見て $f_y = x^2 - 3y^2$ です。どちらも多項式なので $\mathbb{R}^2$ 全体で連続、すなわち $f$ は $C^1$ 級です。<Ref to="thm-c1-implies-differentiable" /> より $f$ は各点で全微分可能です。

**2.** $f(2,1) = 4\cdot1 - 1 + 3 = 6$、$f_x(2,1) = 2\cdot2\cdot1 = 4$、$f_y(2,1) = 4 - 3 = 1$ です。<Ref to="def-tangent-plane" /> より

$$
z = 6 + 4(x-2) + 1\cdot(y-1).
$$

**3.** $(x,y)=(1.98,1.02)$ すなわち $\boldsymbol h = (-0.02, 0.02)$ を代入して

$$
z = 6 + 4\times(-0.02) + 1\times 0.02 = 6 - 0.08 + 0.02 = 5.94 .
$$

真の値は $f(1.98,1.02) = (1.98)^2(1.02) - (1.02)^3 + 3 = 3.998808 - 1.061208 + 3 = 5.9376$ です。誤差は $0.0024$ で、$\|\boldsymbol h\| = 0.02\sqrt2 \approx 0.0283$ と比べて 1 桁小さく、$\|\boldsymbol h\|^2 = 0.0008$ の 3 倍程度です。<Ref to="thm-taylor2" /> の 2 次項 $\frac12(f_{xx}h^2 + 2f_{xy}hk+f_{yy}k^2)$ を計算すると、$f_{xx}(2,1)=2$、$f_{xy}(2,1)=4$、$f_{yy}(2,1)=-6$ より $\frac12(2(0.0004) + 8(-0.0004) - 6(0.0004)) = -0.0024$ となり、誤差の符号と大きさが説明できます。
</Solution>
</Exercise>

<Exercise id="exr-polar-chain" difficulty="標準">
$f$ を $\mathbb{R}^2$ 上の $C^1$ 級関数とし、極座標変換 $x = r\cos\theta$、$y = r\sin\theta$ により $g(r,\theta) = f(r\cos\theta, r\sin\theta)$ と定めます。$r>0$ において

$$
g_r^2 + \frac{1}{r^2}g_\theta^2 = f_x^2 + f_y^2 = \|\nabla f\|^2
$$

が成り立つことを示してください（右辺は点 $(r\cos\theta, r\sin\theta)$ での値）。

<Solution>
$f$ は $C^1$ 級なので <Ref to="thm-c1-implies-differentiable" /> より全微分可能であり、<Ref to="rem-chain-two-var" /> の連鎖律が使えます。$x_r = \cos\theta$、$y_r = \sin\theta$、$x_\theta = -r\sin\theta$、$y_\theta = r\cos\theta$ ですから

$$
g_r = f_x\cos\theta + f_y\sin\theta, \qquad g_\theta = -r f_x\sin\theta + r f_y\cos\theta .
$$

第 2 式より $\frac{1}{r}g_\theta = -f_x\sin\theta + f_y\cos\theta$ です。$c=\cos\theta$、$s=\sin\theta$ と略記して 2 乗の和を計算すると

$$
\begin{aligned}
g_r^2 + \frac{1}{r^2}g_\theta^2 &= (f_xc+f_ys)^2 + (-f_xs+f_yc)^2\\
&= f_x^2c^2 + 2f_xf_ycs + f_y^2s^2 + f_x^2s^2 - 2f_xf_ycs + f_y^2c^2\\
&= f_x^2(c^2+s^2) + f_y^2(s^2+c^2) = f_x^2+f_y^2 .
\end{aligned}
$$

交差項が打ち消し合うのは、$(c, s)$ と $(-s, c)$ が正規直交基底をなすからです。この計算は、勾配の大きさが座標の取り方に依らないことを示しています。
</Solution>
</Exercise>

<Exercise id="exr-directional-not-differentiable" difficulty="難">
$$
f(x,y) = \begin{cases} \dfrac{x^2y}{x^2+y^2} & (\boldsymbol x \ne \boldsymbol 0)\\[2mm] 0 & (\boldsymbol x = \boldsymbol 0)\end{cases}
$$

について、原点における (1) 連続性、(2) すべての方向微分係数の存在、(3) 全微分可能性を調べてください。

<Solution>
**(1) 連続。** $x^2 \le x^2+y^2$ より、$\boldsymbol x \ne \boldsymbol 0$ に対し

$$
|f(x,y)| = |y|\cdot\frac{x^2}{x^2+y^2} \le |y| \le \|\boldsymbol x\|
$$

です。よって $\boldsymbol x \to \boldsymbol 0$ のとき $f(\boldsymbol x)\to 0 = f(\boldsymbol 0)$ となり、$f$ は原点で連続です。

**(2) 方向微分はすべて存在。** 単位ベクトル $\boldsymbol u = (u_1,u_2)$ と $t \ne 0$ に対し

$$
f(t\boldsymbol u) = \frac{t^2u_1^2\cdot tu_2}{t^2(u_1^2+u_2^2)} = t\,u_1^2u_2
$$

（$u_1^2+u_2^2=1$ を使いました）。よって

$$
D_{\boldsymbol u}f(\boldsymbol 0) = \lim_{t\to0}\frac{f(t\boldsymbol u)-0}{t} = u_1^2u_2
$$

が任意の $\boldsymbol u$ について存在します。とくに $f_x(\boldsymbol 0) = D_{(1,0)}f(\boldsymbol 0) = 0$、$f_y(\boldsymbol 0) = D_{(0,1)}f(\boldsymbol 0)=0$ です。

**(3) 全微分可能ではない。** 方法は 2 つあります。

第 1 に、<Ref to="prop-differentiable-basic" /> (2) によれば、全微分可能なら $\boldsymbol u \mapsto D_{\boldsymbol u}f(\boldsymbol 0) = \langle\nabla f(\boldsymbol 0), \boldsymbol u\rangle$ は $\boldsymbol u$ の線形式でなければなりません。ところが実際の値 $u_1^2u_2$ は線形ではありません。たとえば $\boldsymbol u = (1/\sqrt2, 1/\sqrt2)$ に対し $u_1^2u_2 = \frac{1}{2}\cdot\frac{1}{\sqrt2} = \frac{1}{2\sqrt2} \ne 0$ ですが、線形なら $f_x(\boldsymbol 0)/\sqrt2 + f_y(\boldsymbol 0)/\sqrt2 = 0$ でなければなりません。矛盾します。

第 2 に、定義から直接示すこともできます。$\nabla f(\boldsymbol 0)=\boldsymbol 0$ なので一次近似の候補は $z=0$ のみです。$\boldsymbol h = (t,t)$ と取ると $f(t,t) = t/2$、$\|\boldsymbol h\| = \sqrt2|t|$ より

$$
\frac{|f(\boldsymbol h) - 0 - 0|}{\|\boldsymbol h\|} = \frac{|t|/2}{\sqrt2|t|} = \frac{1}{2\sqrt2}
$$

は $t \to 0$ でも $0$ に収束しません。よって全微分可能ではありません。

この例は、<Ref to="ex-sqrt-abs" /> よりさらに強く「全方向の方向微分が存在しても全微分可能とは限らない」ことを示しています。方向微分は各方向を**別々に**見ているだけで、方向をまたいだ一様性を保証しないのです。
</Solution>
</Exercise>

<Exercise id="exr-quartic-extrema" difficulty="標準">
$f(x,y) = x^4 + y^4 - 4xy$ の臨界点をすべて求め、<Ref to="thm-second-derivative-test" /> で分類してください。

<Solution>
**臨界点。** $f_x = 4x^3 - 4y = 0$ より $y = x^3$、$f_y = 4y^3 - 4x = 0$ より $x = y^3$ です。前者を後者に代入すると $x = x^9$、すなわち $x(x^8-1) = 0$ です。実数解は $x = 0, 1, -1$ で、$y=x^3$ より臨界点は $(0,0)$、$(1,1)$、$(-1,-1)$ の 3 つです。

**ヘッセ行列。** $f_{xx} = 12x^2$、$f_{xy} = -4$、$f_{yy} = 12y^2$ なので

$$
H_f(x,y) = \begin{pmatrix} 12x^2 & -4\\ -4 & 12y^2\end{pmatrix}, \qquad \Delta(x,y) = 144x^2y^2 - 16 .
$$

**判定。**

| 臨界点 | $\Delta$ | $f_{xx}$ | 判定 | $f$ の値 |
|---|---|---|---|---|
| $(0,0)$ | $-16 < 0$ | $0$ | 鞍点 | $0$ |
| $(1,1)$ | $128 > 0$ | $12 > 0$ | 狭義の極小 | $-2$ |
| $(-1,-1)$ | $128 > 0$ | $12 > 0$ | 狭義の極小 | $-2$ |

$(0,0)$ では $\Delta<0$ なので <Ref to="thm-second-derivative-test" /> (3) より鞍点です（実際 $f(t,t) = 2t^4-4t^2 < 0$、$f(t,-t) = 2t^4+4t^2 > 0$ が $t\ne0$ で小さいときに成り立ちます）。他の 2 点は同 (1) より狭義の極小で、極小値は $1+1-4 = -2$ です。

なお $x^4+y^4-4xy \ge x^4+y^4-2(x^2+y^2)$（相加相乗平均 $2|xy| \le x^2+y^2$ による）の右辺は $\|\boldsymbol x\|\to\infty$ で $+\infty$ に発散するので、$f$ は下に有界で最小値を持ちます。最小値は臨界点でしか取れないので、$-2$ が $f$ の最小値です。
</Solution>
</Exercise>

## 参考文献

- 高木貞治『解析概論』改訂第三版、岩波書店、1983 — 第 2 章（微分法）に偏微分・全微分・テイラーの定理・極値問題が扱われています。
- 杉浦光夫『解析入門 I』東京大学出版会、1980 — 多変数関数の微分法を扱う章。$C^1$ 級と全微分可能性の関係、シュワルツの定理の証明が丁寧です。
- W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill, 1976 — Chapter 9 (Functions of Several Variables). 微分を線形写像として定義する立場が明快に書かれています。
- T. M. Apostol, *Mathematical Analysis*, 2nd ed., Addison-Wesley, 1974 — Chapter 12 (Multivariable Differential Calculus) および Chapter 13 (Implicit Functions and Extremum Problems)。
- M. Spivak, *Calculus on Manifolds*, W. A. Benjamin, 1965 — Chapter 2 (Differentiation)。多変数の微分を $n$ 変数で一気に扱う簡潔な入門です。
- F. Cajori, *A History of Mathematical Notations*, Vol. 2, Open Court, 1929 — 偏微分記号 $\partial$ の由来について。

## Appendix: シュワルツの定理の証明

<Ref to="thm-schwarz" /> を証明します。鍵は、$f$ の値だけから作られる次の**二重差分**が、2 通りの順序で $f_{xy}$ と $f_{yx}$ に結びつくことです。

$\boldsymbol a = (a,b)$ とし、$f_x, f_y, f_{xy}, f_{yx}$ が存在する近傍を $B(\boldsymbol a, r)$ とします。$0 < \|(h,k)\| < r/2$ なる $h \ne 0$、$k \ne 0$ に対し

$$
\Delta(h,k) = f(a+h,b+k) - f(a+h,b) - f(a,b+k) + f(a,b)
$$

と置きます。

**第 1 の見方（先に $x$、次に $y$）。** $\varphi(s) = f(s,b+k) - f(s,b)$ と置くと $\Delta(h,k) = \varphi(a+h)-\varphi(a)$ です。$f_x$ が近傍で存在するので $\varphi$ は微分可能で $\varphi'(s) = f_x(s,b+k)-f_x(s,b)$ です。平均値の定理より、ある $\theta_1$（$0 < \theta_1 < 1$）が存在して

$$
\Delta(h,k) = h\bigl[f_x(a+\theta_1h,\, b+k) - f_x(a+\theta_1h,\, b)\bigr].
$$

角括弧の中は、第 2 変数の関数 $t \mapsto f_x(a+\theta_1h, t)$ の $b$ から $b+k$ までの差です。この関数は微分可能で導関数は $f_{xy}$ ですから、再び平均値の定理より、ある $\theta_2 \in (0,1)$ が存在して

$$
\Delta(h,k) = hk\, f_{xy}(a+\theta_1 h,\ b+\theta_2 k).
$$

**第 2 の見方（先に $y$、次に $x$）。** 今度は $\psi(t) = f(a+h,t)-f(a,t)$ と置くと、同じ $\Delta(h,k)$ が $\psi(b+k)-\psi(b)$ と書けます。まったく同じ議論を $y$ から先に行えば、ある $\theta_3, \theta_4 \in (0,1)$ が存在して

$$
\Delta(h,k) = hk\, f_{yx}(a+\theta_3 h,\ b+\theta_4 k).
$$

**結論。** $hk \ne 0$ で割ると、$0 < \|(h,k)\| < r/2$ かつ $hk \ne 0$ なるすべての $(h,k)$ に対し

$$
f_{xy}(a+\theta_1h,\ b+\theta_2k) = f_{yx}(a+\theta_3h,\ b+\theta_4k)
$$

が成り立ちます。ここで $(h,k)\to(0,0)$ とします。$0 < \theta_i < 1$ なので両辺の評価点はともに $\boldsymbol a$ に収束し、$f_{xy}$ と $f_{yx}$ の $\boldsymbol a$ における連続性から、左辺は $f_{xy}(\boldsymbol a)$、右辺は $f_{yx}(\boldsymbol a)$ に収束します。<Ref to="mathematics/calculus/limits-and-continuity#thm-uniqueness" text="極限の一意性" /> より $f_{xy}(\boldsymbol a) = f_{yx}(\boldsymbol a)$ です。

<Remark id="rem-schwarz-scope" title="この証明が使った仮定">
使ったのは、(i) $f_x$ が $\boldsymbol a$ の近傍で存在すること、(ii) $f_{xy}$ が近傍で存在すること、(iii) $f_y$ と $f_{yx}$ について同様、(iv) $f_{xy}, f_{yx}$ が $\boldsymbol a$ で連続であること、の 4 つだけです。$f$ 自身の連続性すら仮定していません（$f_x, f_y$ の存在から各変数についての連続性は従います）。仮定 (iv) が本質的であることは <Ref to="rem-schwarz-counterexample" /> の反例が示すとおりです。
</Remark>


</div>