問題を解くのに必要な知識を確認するにはこのグラフ図を利用してください.

2次偏導関数の問題

■問題

z=xf( ax+by )+yg( ax+by ) ならば

b 2 2 z x 2 2ab 2 z xy + a 2 2 z y 2 =0

であることを示せ.

■ヒント

偏微分の基本公式(T)の上から3番目5番目を利用し

z x , 2 z x 2 , 2 z xy , z y , 2 z y 2

の順に求めていく.

最後に与式の左辺に全て代入する.

■解説

r( x,y )=ax+by とおく.

z=xf( r( x,y ) )+yg( r( x,y ) )

これを x で偏微分(偏導関数の定義より, y を定数とみなして x で微分)する.

z x = x { xf( r( x,y ) )+yg( r( x,y ) ) }

偏微分の基本公式(T)の 上から3番目を利用する.

= x x·f( r( x,y ) )+x· x f( r( x,y ) ) + x y·g( r( x,y ) )+y· x g( r( x,y ) )

偏微分の基本公式(T)の 上から5番目を利用する.

=f( r( x,y ) )+x{ f ( r( x,y ) )· x r( x,y ) } +0+y{ g ( r( x,y ) )· x r( x,y ) }

r( x,y )=ax+by の関係を用いる.

=f( r( x,y ) )+x{ f ( r( x,y ) )· x ( ax+by ) } +y{ g ( r( x,y ) )· x ( ax+by ) }

=f( r( x,y ) )+x{ f ( r( x,y ) )·a } +y{ g ( r( x,y ) )·a }

=f( r( x,y ) ) +ax f ( r( x,y ) )+ ay g ( r( x,y ) )

=ax f ( r( x,y ) ) +ay g ( r( x,y ) ) +f( r( x,y ) )

これを更に x で偏微分する.

x ( z x ) = x ( ax f ( r( x,y ) )+ay g ( r( x,y ) )+f( r( x,y ) ) )

偏微分の基本公式(T)の 上から3番目を利用する.

={ x ax· f ( r( x,y ) )+ax· x f ( r( x,y ) ) } +{ x ay· g ( r( x,y ) )+ay· x g ( r( x,y ) ) }
+ x f( r( x,y ) )

偏微分の基本公式(T)の 上から5番目を利用する.

=a f ( r( x,y ) ) +ax·{ f ( r( x,y ) )· x r( x,y ) } +0 +ay·{ g ( r( x,y ) )· x r( x,y ) }
+{ f ( r( x,y ) )· x r( x,y ) }

r( x,y )=ax+by の関係を用いる.

=a f ( r( x,y ) ) +ax·{ f ( r( x,y ) )· x ( ax+by ) } +ay·{ g ( r( x,y ) )· x ( ax+by ) }
+ f ( r( x,y ) )· x ( ax+by )

=a f ( r( x,y ) )+ax· f ( r( x,y ) )·a +ay· g ( r( x,y ) )·a+ f ( r( x,y ) )·a

=a f ( r( x,y ) )+ a 2 x f ( r( x,y ) ) + a 2 y g ( r( x,y ) ) +a f ( r( x,y ) )

= a 2 x f ( r( x,y ) )+2a f ( r( x,y ) )+ a 2 y g ( r( x,y ) )

よって

2 z x 2 = a 2 x f ( r( x,y ) ) +2a f ( r( x,y ) ) + a 2 y g ( r( x,y ) )  ・・・・・・(1)


z x を更に y で偏微分(偏導関数の定義より, x を定数とみなして y で微分)する.

y ( z x ) = y ( ax f ( r( x,y ) )+ay g ( r( x,y ) )+f( r( x,y ) ) )

偏微分の基本公式(T)の 上から3番目を利用する.

={ y ax· f ( r( x,y ) )+ax· y f ( r( x,y ) ) } +{ y ay· g ( r( x,y ) )+ay· y g ( r( x,y ) ) }
+ y f( r( x,y ) )

偏微分の基本公式(T)の 上から5番目を利用する.

=0+ax·{ f ( r( x,y ) )· y r( x,y ) } +a· g ( r( x,y ) ) +ay·{ g ( r( x,y ) )· y r( x,y ) }
+{ f ( r( x,y ) )· y r( x,y ) }

r( x,y )=ax+by の関係を用いる.

=ax·{ f ( r( x,y ) )· y ( ax+by ) } +a g ( r( x,y ) ) +ay·{ g ( r( x,y ) )· y ( ax+by ) }
+{ f ( r( x,y ) )· y ( ax+by ) }

=ax· f ( r( x,y ) )·b +a g ( r( x,y ) )+ay· g ( r( x,y ) )·b + f ( r( x,y ) )·b

=abx f ( r( x,y ) )+b f ( r( x,y ) ) +a g ( r( x,y ) )+aby g ( r( x,y ) )

偏微分の順序交換 2 z yx = 2 z xy が成り立つので

2 z xy = 2 z yx = y z x

=abx f ( r( x,y ) )+b f ( r( x,y ) ) +a g ( r( x,y ) )+aby g ( r( x,y ) )  ・・・・・・(2)


次に z y で偏微分(偏導関数の定義より, y を定数とみなして x で微分)する.

z y = y { xf( r( x,y ) )+yg( r( x,y ) ) }

偏微分の基本公式(T)の 上から3番目を利用する.

= y x·f( r( x,y ) )+x· y f( r( x,y ) ) + y y·g( r( x,y ) )+y· y g( r( x,y ) )

偏微分の基本公式(T)の 上から5番目を利用する.

=0+x·{ f ( r( x,y ) )· y r( x,y ) } +g( r( x,y ) ) +y·{ g ( r( x,y ) )· y r( x,y ) }

r( x,y )=ax+by の関係を用いる.

=x·{ f ( r( x,y ) )· y ( ax+by ) } +g( r( x,y ) ) +y·{ g ( r( x,y ) )· y ( ax+by ) }

=x·{ f ( r( x,y ) )·b } +g( r( x,y ) )+y·{ g ( r( x,y ) )·b }

=bx f ( r( x,y ) )+g( r( x,y ) ) +by g ( r( x,y ) )

=bx f ( r( x,y ) )+by g ( r( x,y ) ) +g( r( x,y ) )

これを更に y で偏微分する.

y ( z y ) = y ( bx f ( r( x,y ) )+by g ( r( x,y ) )+g( r( x,y ) ) )

偏微分の基本公式(T)の 上から3番目を利用する.

= y bx· f ( r( x,y ) )+bx· y f ( r( x,y ) ) + y by· g ( r( x,y ) )+by· y g ( r( x,y ) )
+ y g( r( x,y ) )

偏微分の基本公式(T)の 上から5番目を利用する.

=0+bx·{ f ( r( x,y ) )· y r( x,y ) } +b g ( r( x,y ) )+ by·{ g ( r( x,y ) )· y r( x,y ) }
+{ g ( r( x,y ) )· y r( x,y ) }

r( x,y )=ax+by の関係を用いる.

=bx·{ f ( r( x,y ) )· y ( ax+by ) } +b g ( r( x,y ) ) +by·{ g ( r( x,y ) )· y ( ax+by ) }
+{ g ( r( x,y ) )· y ( ax+by ) }

=bx·{ f ( r( x,y ) )·b } +b g ( r( x,y ) ) +by·{ g ( r( x,y ) )·b } +{ g ( r( x,y ) )·b }

= b 2 x f ( r( x,y ) ) +b g ( r( x,y ) ) + b 2 y g ( r( x,y ) ) +b g ( r( x,y ) )

= b 2 x f ( r( x,y ) )+2b g ( r( x,y ) ) + b 2 y g ( r( x,y ) )

よって

2 z y 2 = b 2 x f ( r( x,y ) )+2b g ( r( x,y ) ) + b 2 y g ( r( x,y ) )  ・・・・・・(3)


与式の左辺に(1),(2),(3)を代入する.

b 2 2 z x 2 2ab 2 z xy + a 2 2 z y 2

= b 2 { a 2 x f ( r( x,y ) )+2a f ( r( x,y ) )+ a 2 y g ( r( x,y ) ) }
2ab{ abx f ( r( x,y ) )+b f ( r( x,y ) )+a g ( r( x,y ) )+aby g ( r( x,y ) ) }
+ a 2 { b 2 x f ( r( x,y ) )+2b g ( r( x,y ) )+ b 2 y g ( r( x,y ) ) }

= a 2 b 2 x f ( r( x,y ) )+2a b 2 f ( r( x,y ) )+ a 2 b 2 y g ( r( x,y ) )
2 a 2 b 2 x f ( r( x,y ) )2a b 2 f ( r( x,y ) )2 a 2 b g ( r( x,y ) )2 a 2 b 2 y g ( r( x,y ) )
a 2 b 2 x f ( r( x,y ) )+2 a 2 b g ( r( x,y ) )+ a 2 b 2 y g ( r( x,y ) )

=2 a 2 b 2 x f ( r( x,y ) )+2a b 2 f ( r( x,y ) )+2 a 2 b 2 y g ( r( x,y ) )+2 a 2 b g ( r( x,y ) )
2 a 2 b 2 x f ( r( x,y ) )2a b 2 f ( r( x,y ) )2 a 2 b g ( r( x,y ) )2 a 2 b 2 y g ( r( x,y ) )

=0

 

ホーム>>カテゴリー分類>>微分>>偏微分>>問題演習>>2変数関数のテイラー展開

学生スタッフ作成

最終更新日: 2023年9月19日

[ページトップ]

金沢工業大学

利用規約

google translate (English version)