2次偏導関数の問題

■問題

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

b 2 ∂ 2 z ∂ x 2 −2ab ∂ 2 z ∂x∂y + a 2 ∂ 2 z ∂ y 2 =0

であることを示せ.

■ヒント

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

∂z ∂x , ∂ 2 z ∂ x 2 , ∂ 2 z ∂x∂y , ∂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 ) ) }

偏微分の基本公式(Ⅰ)の 上から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 ) )

偏微分の基本公式(Ⅰ)の 上から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 ) ) )

偏微分の基本公式(Ⅰ)の 上から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 ) )

偏微分の基本公式(Ⅰ)の 上から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 ) ) )

偏微分の基本公式(Ⅰ)の 上から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 ) )

偏微分の基本公式(Ⅰ)の 上から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 ∂y∂x = ∂ 2 z ∂x∂y が成り立つので

∂ 2 z ∂x∂y = ∂ 2 z ∂y∂x = ∂ ∂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 ) ) }

偏微分の基本公式(Ⅰ)の 上から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 ) )

偏微分の基本公式(Ⅰ)の 上から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 ) ) )

偏微分の基本公式(Ⅰ)の 上から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 ) )

偏微分の基本公式(Ⅰ)の 上から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 ∂x∂y + 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日