0どうも、木村(@kimu3_slime)です。教養数学における微積分学や線形代数学のひとつの目標は、多変数関数の扱い方を理解することだと思います。今回は、簡単な2変数関数を例に、偏微分を使ってそのグラフを描く方法を考えてみましょう。平面(線形関数)のグラフ二次曲面のグラフ偏微分の応用先こちらもおすすめ平面(線形関数)のグラフ例えば、\(f_1(x,y):=2x-3y\)という関数を考えてみましょう。\(f(1,0)=0,f(0,2)=-6\)です。2つの変数\((x,y)\)が決まれば、その値\(2x+3y\)が実数として決まります。variables)と呼ばれます。変数が\(N\)個ならば、\(N\)変数関数です。varibales)です。高校までの数学では、二次関数や指数関数を扱う前に、まず一次関数\(f(x)=ax\)を扱います。多変数の1次関数と呼べるのが、線形関数\(f(x,y)=ax+by\)です。\(f_1(x,y)=2x-3y\)を例に、そのグラフを描いてみましょう。2変数関数の変数\((x,y)\)を表すためには平面\(\mathbb{R}^2\)が必要で、かつそのグラフを描くためには値を表すための軸\(\mathbb{R}\)が必要です。\mathbb{R}^3\)を考える必要があります。\((x,y)=(0,0),(0,1),(1,0),(0,2),\dots\)とやっていたら、確実ですが、キリがありません。有効なのが、まず\(x\)または\(y\)、いずれかの値を決めてしまうことです。\(y=0\)のときを考えれば、\(f_1(x,0)=2x\)で、これは簡単ですね。これを図に落とし込むと、次のようになります。このグラフは、次の要領で作成しました。\((x,y)\)軸を描き、そして\(z\)軸を一箇所に描きます。その\(z\)軸の矢印を、\(x,y\)軸それぞれの軸に並行に移動させ、同じ長さのまま描きます。\(z\)が同じ高さの点をつないでいくことで、外側の枠組みとなる直方体(点線)が描けますね。その後、一番左の\(z\)軸の真ん中のあたりから出発し、関数のグラフを描き始めます。\(x\)軸方向には直線で増加、\(y\)軸方向には直線で減少、傾きは\(y\)の方が\(-3\)とやや急に描きます。すると、4つの\(z\)軸上の点、それを結ぶ線によって、空間内にひとつの平面が描けました。一般に、\(f(x,y)=ax+by\)のグラフは平面になります。コンピュータ(gnuplot)を使うと、簡単にグラフが描けます。関数のグラフを描くために使った重要な情報は、何でしょうか。それは関数の傾きでした。今回の場合、\(x\)軸方向、\(y\)軸方向、2つの傾きがありました。differentiation)です。derivative)と呼びます。0}\frac{f(x,y+h)-f(x,y)}{h}\]前者を\(x\)に関する偏微分、第1変数に関する偏微分、後者を\(y\)に関する偏微分、第2変数に関する偏微分と呼びます。y}(x,y)=-3\)とそれぞれの傾きが取り出されます。\(x\)について偏微分するときは、\(y\)は固定された定数として考えるのと同じで、定数項の\(-3y\)は微分すると0で消えます。\(y\)についての偏微分なら、\(x\)を固定された定数として考えるわけです。(偏微分は\(f_x,f_y\)と略記されることもあります。文脈によっては、\(f_x\)が第一変数に関する偏微分を表すとは限らないことにも注意しましょう。\(f(t,x)\)という変数を考えるならば、\(f_x\)は第2変数に関する偏微分です。)二次曲面のグラフ1次関数に次いで単純な関数としては、2次関数\(f(x)=x^2\)がありました。surface)のグラフをいくつか描いてみましょう。\(f_2(x,y):=x^2+y^2\)とします。\(f_2(x,0)=x^2\)、\(f_2(0,y)=y^2\)であり、点\((0,0)\)を中心とした、放物線のグラフを組み合わせたようなグラフになることが読み取れます。関数のグラフを読み取るときには、\((x,y)\)平面上に\(f\)の値が同じ場所をつないだ曲線を描くのも有効です。contour)と呼びます。標高が同じ場所を地図上でつないだ等高線、同じ気圧の地点をつないだ等圧線のイメージです。\(f_2(0,1)=f_2(-1,0)=f_2(\sqrt{2}/2,\sqrt{2}/2)=1\)です。\(f_2(x,y)=x^2+y^2=c\)を満たす\(x,y\)を考えれば、それが円周になることがわかりますね。これを図示したのが次の画像です。この曲面は、回転放物面と呼ばれます。paraboloid)と呼ばれるものです。放物面は、外から音や光が入り込むとき、その焦点へ集中するという性質があり、パラボラアンテナや望遠鏡で利用されています。plane)が描けます。y})\]というベクトルを定めると、これは点\(x,y\)で\(f\)のグラフに接するベクトルです。これを\(f\)の勾配(gradient)ベクトルと呼びます。\(f_2\)の点\(1,1\)における接平面を求めてみましょう。f_2(1,1)=(2,2)\)です。したがって、接平面を表す関数は\(g_2(x,y)=2(x-1)+2(x-2)+2\)です。実際、次の画像のように接しています。一般には、\(f\)の点\((a,b)\)における接平面の方程式は、\(g(x,y)=f_x(a,b)(x-a)+f_y(a,b)(y-b)+f(a,b)\)となりますね。1変数の場合の接線の方程式を思い出すと、\(f'(a)(x-a)+f(a)\)で、よく似ていますね。f(a,b)\)により張られる線形空間を並行移動させたものとも言えます。何か:2次元を例に別の二次曲面の例を考えましょう。\(f_3(x,y)=x^2-y^2\)です。これは\(y=0\)では\(x^2\)ですが、\(x=0\)では\(-y^2\)と、放物線の向きが軸によって入れ替わっています。\(x=y,x=-y\)上では常に値が0です。原点を通る2つの放物線と、縁(ふち)の放物線を意識すると、グラフにしやすいです。surface)と呼ばれます。馬に座るための椅子である鞍(サドル)によく似た形ですね。点\((0,-1)\)における接平面を求めてみましょう。f_3(0,-1)=(0,2)\)なので、求める平面は\(g_3(x,y)=2(y+1)-1\)です。最後に、\(f_4(x,y)=xy\)なる二次曲面を考えてみましょう。これは\(y=x\)上では\(x^2\)で、\(y=-x\)上では\(-x^2\)になっています。\(x\)軸に並行な面、\(y\)軸に並行な面では、例えば\(f_4(x,2)=2x\)と直線になっています。これは先ほどの双曲放物面に似ていますね。原点を通り\(x\)軸、\(y\)軸方向に進むグラフ上の点は直線です。\(x\)軸、\(y\)軸に並行な切断面では、切断の位置に応じた傾きの直線となっています。\((1,-1)\)における接平面を計算してみましょう。f_4(1,-1)=(-1,1)\)なので、\(g_4(x,y)=-(x-1)+(y+1)-1\)です。ここまで、具体的な2変数関数の偏導関数を求めて接平面を描きましたが、この方法は一般の多変数関数に通用するわけではありません。実は、\(x,y\)について偏微分可能ですが、接平面が存在しない例があります。一般に、接平面が存在する条件は、全微分可能性と呼ばれます。偏微分可能性は、特定の方向の接線の存在しか見ていないわけです。偏導関数が存在し、かつ偏導関数も連続ならば、全微分可能となり、先ほどまでの議論と同様接平面が求まります。いう関数を\(C^1\)級といいます。このあたりの話は、別の記事で紹介するかもしれません。今回は、簡単な2変数関数(平面、二次曲面)を例に、グラフの描き方、偏微分と接平面、等高線について紹介しました。偏微分は、多くの現象を説明するために用いられる偏微分方程式に応用されます。時間\(t\)と場所\(x\)で、熱や波の変位など1次元的な量\(u(x,t)\)を考えれば、2変数関数や多変数関数が登場します。偏微分を使って表される等式を満たす多変数関数を求めるのが、偏微分方程式です。波動方程式入門また、輸送コストなど何か目標となる数値を多変数関数と表し、その最大値・最小値などの極値を求める問題は、極値問題、または最適化問題と呼ばれます。1変数のときに微分=0となる点を調べたように、多変数でも偏微分を用いてその極地を調べることができます。ラグランジュの未定乗数法と呼ばれる方法は、別の記事で紹介するかもしれません。参考:線形代数の応用:線形計画法~輸送コストの最小化を例に今回の例を通して、2変数関数の視覚的イメージや、その偏微分の扱い方を身近に感じられたでしょうか。関数の切断面を考えたり偏微分してみたりすることで、グラフとそれをよく近似する接平面が思い浮かべられると良いと思います。木村すらいむ(@kimu3_slime)でした。木村すらいむ(木村一輝)趣味で数学をしています。1992年・群馬生まれ、茨城在住。ご連絡はTwitter(@kimu3_slime)のDMへお願いします。木村すらいむ(木村一輝)趣味で数学をしています。1992年・群馬生まれ、茨城在住。ご連絡はTwitter(@kimu3_slime)のDMへお願いします。