\usepackageamsmath\usepackageamsfonts\usepackageamssymb\usepackagefancybox\usepackagegraphics\usepackagemathrsfs\usepackage[all]xy\usepackagepgfplots\pgfplotssetcompat=newest\usetikzlibraryintersections,calc,arrows.meta

偏微分の順序交換可能な条件と具体例|不可能な具体例も紹介

微分積分学
微分積分学

2実変数x,yの実数値関数fの偏導関数のうち,

fxy(=2fyx),fyx(=2fxy)

はいつでも等しいわけではありませんが,実用上の多くの場合で等しくなります.

この記事では

  • 偏微分の順序交換が可能な条件
  • 偏微分の順序交換が不可能な具体例

を順に解説します.

偏微分の順序交換が可能な条件

まずは2変数関数の場合を考えて,それをもとに3変数以上の場合を説明します.

2変数関数の場合の定理

(a,b)R2を内部に含む集合Uを考える.2変数関数f:UR

  1. (a,b)の近くでfxy, fyxが存在
  2. fxy, fyxが点(a,b)で連続

をみたすとき,点(a,b)で偏微分の順序交換が可能である.すなわち,fxy(a,b)=fyx(a,b)が成り立つ.

いまの定理は点(a,b)での偏微分の順序交換が可能であるための条件を述べたものになっていますが,実用上は次のように集合上で用いることが多いです.

開集合UR2を考える.2変数関数f:URU上でC2級であれば,U上の任意の点で偏微分の順序交換が可能である.すなわち,fxy=fyxが成り立つ.

多変数関数fが集合U上でC2級であるとは「全ての2階偏導関数が存在して,それらが全て連続であること」でしたから,上の定理をU上の全ての点で考えれば,この系はすぐに得られますね.

具体例1(多項式)

2実変数x,yの多項式関数は全てC級ですから,上の系からいつでも偏微分の順序交換が可能となっているはずです.

このことを具体例で確かめてみましょう.

2実変数関数f(x,y)=x+x2y3+y4について,計算によりfxy=fyxを確かめよ.

偏微分の順番fxy=(fx)y, fyx=(fy)xに注意しましょう.

計算により

fx(x,y)=1+2xy3,fy(x,y)=3x2y2+4y3

なので,

fxy(x,y)=6xy2,fyx(x,y)=6xy2

である.確かにfxy=fyxが成り立つ.

具体例2(C級関数)

他の関数でも考えてみましょう.

2変数関数f:R2R

f(x,y)=xcosxsiny+ysinxy

で定める.計算によりfxy=fyxを確かめよ.

関数fC級ですから,上の系からいつでも偏微分の順序交換が可能となっているはずです.このことを確かめる問題ですね.

計算により

fx(x,y)=cosxsinyxsinxsiny+y2cosxy,fy(x,y)=xcosxcosy+sinxy+xycosxy

なので,

fxy(x,y)=cosxcosyxsinxcosy+2ycosxyxy2sinxy,fyx(x,y)=cosxcosyxsinxcosy+ycosxy+ycosxyxy2sinxy=cosxcosyxsinxcosy+2ycosxyxy2sinxy

である.確かにfxy=fyxが成り立つ.

2変数関数の場合の証明

それでは上の定理を証明しておきましょう.

(再掲)(a,b)Rを内部に含む集合Uを考える.2変数関数f:UR

  1. (a,b)の近くでfxy, fyxが存在
  2. fxy, fyxが点(a,b)で連続

をみたすとき,点(a,b)で偏微分の順序交換が可能である.すなわち,fxy(a,b)=fyx(a,b)が成り立つ.

十分0に近い実数h1,h20と十分(a,b)に近い実数の組(x,y)に対して,

p(x):=f(x,b+h2)f(x,b),q(x):=f(a+h1,y)f(a,y)

とおく.このとき,平均値の定理より,あるθ1,θ2(0,1)が存在して

p(a+h1)p(a)h1h2=px(a+θ1h1)h2=fx(a+θ1h1,b+h2)fx(a+θ1h1,b)h2=(fx)y(a+θ1h1,b+θ2h2)

が成り立つ.同様に,あるϕ1,ϕ2(0,1)が存在して

q(b+h2)q(b)h1h2=(fy)x(a+ϕ1h1,b+ϕ2h2)

が成り立つ.いまp(a+h1)p(a)=q(b+h2)q(b)なので,

fxy(a+θ1h1,b+θ2h2)=fyx(a+ϕ1h1,b+ϕ2h2)

が成り立ち,両辺でh1,h20とすると,fxy, fyxの点(a,b)での連続性より

fxy(a,b)=fyx(a,b)

が成り立つ.

3変数以上の関数の場合の定理

3変数以上の場合も2変数と同様に証明できるので,上で紹介した2変数の場合に対応する定理と系を紹介します.

aRnを内部に含む集合Uを考え,異なるk,{1,2,,n}をとる.n変数関数f:UR

  1. aの近くで2fxkx, 2fxxkが存在
  2. 2fxkx, 2fxxkが点aで連続

をみたすとき,2fxkx(a)=2fxxk(a)が成り立つ.

開集合URn上の実数値関数fU上でC2級であれば,任意の異なるk,{1,2,,n}に対し,U上の任意の点で2fxkx=2fxxkが成り立つ.





偏微分の順序交換が不可能な具体例

ある程度滑らかな関数では偏微分の順序は気にしなくてもよいわけですが,裏返せば滑らかでない関数は偏微分の順序交換ができないことがあるということになりますね.

そのような例を紹介します.

関数数f:R2R

f(x,y)={x3yx2+y2(x,y)(0,0),0(x,y)=(0,0)

で定めると,fxy(0,0)fxy(0,0)であることを示せ.

(0,0)では場合分けで関数fが定義されているので,1階導関数も場合分けで求める必要があることに注意しましょう.

計算により示す.

1階導関数の計算

R2上の1階導関数fx, fyを求める.(x,y)(0,0)において,

fx(x,y)=3x2y(x2+y2)x3y2x(x2+y2)2=x4y+3x2y3(x2+y2)2

である.また,定義より

fx(0,0)=limh0f(h,0)f(0,0)h=0

である.すなわち,

fx(x,y)={x4y+3x2y3(x2+y2)2(x,y)(0,0),0(x,y)=(0,0)

である.同様に

fy(x,y)={x5x3y2(x2+y2)2(x,y)(0,0),0(x,y)=(0,0)

である.

2階偏導関係数の計算

次に2階偏導関係数fxy(0,0), fyx(0,0)を求める.

fxy(0,0)=limh0fx(0,h)fx(0,0)h=0,fyx(0,0)=limh0fy(h,0)fy(0,0)h=limh0h5h4h=1

となるので,fxy(0,0)fyx(0,0)が得られました.

コメント