物理/多変数解析学
提供: Internet Web School
目次[非表示] |
「9.1 多変数解析学」
学習案内
本章の冒頭の偏微分の導入部については下記の本も参考にしてください。
それ以降の内容については、ウィキブックスには殆どないため、 このテクストで今後叙述する予定です。
多変数の実数値関数の微分
Rn={(x1,x2,,,xn)∣xi∈R,i=1,2,⋯n} の開区間
In=∏ni=1(ai,bi)上で定義された実関数y=f(x1,x2,,,xn)を考える。
一変数関数の議論から類推するために
以後、x:=(x1,x2,,,xn)とおき、y=f(x)と書くこともある。
In上で定義された実数値関数 y=f(x)=f(x1,x2,,,xn)の微分について説明する。
一変数の微分から類推すると
微小なベクトル h=(h1,h2,,,hn) を考え、極限
limh→0,h≠0f(s+h)−f(s)h
が存在するとき、関数fは微分可能と定義することが考えられる。
しかし残念ながら、
hはn次元ベクトルなので、割り算は不可能でありこの定義は無効である。
偏微分
そこで、f の変数 x の第i成分 xi だけを変数とし、
他の変数は定数とみなしてして得られる一変数関数
ϕi(xi)
≜f(x)ここで ( xj(j≠i);定数 )
を考える。
この関数は、一変数なので、点xi=a での微分係数
dϕidxi(a)≜limh→0,h≠0ϕi(a+h)−ϕi(a)h
=limh→0,h≠0f(x1,,,xi−1,a+h,xi+1,,,xn)−f(x1,,,xi−1,a,xi+1,,,xn)h
を考えることができる。
定義(偏微分)
変数 x の第i成分 xi 以外のxj (j≠i) は固定する。
もし、一変数関数 ϕi(xi)=f(x) が、点xi=aで微分可能ならば、
関数fは、xi に関して、点xi=aで 偏微分可能であると言い,
∂f∂xi(a)≜dϕi(xi)dxi(a)
を、f(x) の 変数 xi に関する点a での偏微分係数という。
定義(偏導関数)
f(x) が xi に関してどの点でも偏微分可能であるならば、
任意の点xi にその点の偏微分係数dϕidxi(xi)を対応させると、新しい関数が得られる。
これを、f(x) の xi に関する偏導関数といい、記号
fx[i](x),Dxif(x),∂f∂xi(x),∂f/∂xi
などで表示する。
定理(合成関数の微分)
R2 から R への関数f(x,y) と
R から R への関数g(x,y) の合成関数
h(x,y)=g(f(x,y)
を考える。
もし、f(x,y) が (x0,y0) で、xに関して偏微分可能で,
g(x,y) が、z0=f(x0,y0) において微分可能ならば、
h(x,y)=g(f(x,y) は (x0,y0) で、xに関して偏微分可能であり,
方向微分
微分(全微分)
定義1;微分可能(全微分可能ともいう)、導値(微分係数)、導関数
定理1;
微分可能ならば、偏微分可能
定理2
C1級の関数は微分可能