多変数関数における偏微分の克服

偏微分に関する問題を正しく解くためには、学生は1変数関数の思考から多変数関数の環境へと頭を切り替える必要があります。偏微分の根本的な概念は、他のすべての変数を完全に定数（数字）として固定したまま、1つの特定の変数に注目して関数がどのように変化するかを測定することです。幾何学的には、曲面全体を一度に見るのではなく、特定の座標軸に沿って曲面を切り取った断面の傾きを求めることに相当します。

偏微分を求める際の実践的な最初のステップは、微分を行う「対象の変数」を明確に特定することです。関数 `f(x, y)` において、 `x` に関する偏微分（ `\frac{\partial f}{\partial x}` または `f_x` ）を求める場合、 `x` だけを変数として扱います。このとき、頭の中で `y` は数字の 2 や 5、あるいは `\pi` と同様の、変化しない固定された定数として完全にロックしなければなりません。

変数の役割を分類した後は、べき乗の公式、積の公式、商の公式、連鎖律といった1変数微積分でおなじみの標準規則を適用します。最大の決定的な違いは、定数扱いされている変数のみを含む項は、微分すると完全にゼロになるという点です。定数扱いの変数が注目している変数に掛け算されている場合は、単なる「定数の係数」として扱われ、そのまま計算に残ります。

具体的な例として、関数 `f(x, y) = 3x^2y + \sin(x) + e^y` の1階偏導関数を両方とも求めてみましょう。この多変数関数には代数式、三角関数、指数関数の式が混ざっており、特定の変数だけに厳密に集中する練習に最適です。

まず `x` に関する偏微分 `\frac{\partial f}{\partial x}` を計算するために、 `x` を変数、 `y` を定数として扱います。最初の項 `3x^2y` を `x` で微分すると、定数である `3y` はそのまま残り、 `x^2` が `2x` になるため `6xy` となります。2番目の項 `\sin(x)` は通常通り `\cos(x)` に微分され、3番目の項 `e^y` は定数 `y` のみで構成されているため微分すると消滅してゼロになります。したがって、 `\frac{\partial f}{\partial x} = 6xy + \cos(x)` となります。

逆に、 `y` に関する偏微分 `\frac{\partial f}{\partial y}` を計算するときは、 `y` を変数、 `x` を定数として扱います。 `3x^2y` を `y` で微分すると、 `3x^2` は `y` に掛かっている定数の係数として扱われるため `3x^2` になります。 `\sin(x)` の項は `x` のみを含むためゼロになって消え、指数項 `e^y` は微分しても形が変わらないため、最終的な式は `\frac{\partial f}{\partial y} = 3x^2 + e^y` となります。