Problem
7. Assume that
∣ f ( x , y ) − 1 + 2 y ∣ ≤ sin ( x 2 + y 2 ) for x 2 + y 2 ≤ 1 . |f(x, y) - 1 + 2y| \le \sin(x^2 + y^2) \quad \text{for } x^2 + y^2 \le 1 \,. ∣ f ( x , y ) − 1 + 2 y ∣ ≤ sin ( x 2 + y 2 ) for x 2 + y 2 ≤ 1 .
Then the tangent plane of y = f ( x , y ) y = f(x, y) y = f ( x , y ) (Note: this is a typo in original paper, it should be z = f ( x , y ) z = f(x,y) z = f ( x , y ) ) at ( 0 , 0 , f ( 0 , 0 ) ) (0, 0, f(0, 0)) ( 0 , 0 , f ( 0 , 0 )) is ( 9 ) ‾ \underline{\quad (9) \quad} ( 9 ) . The tangent line of the level curve f ( x , y ) = f ( 0 , 0 ) f(x, y) = f(0, 0) f ( x , y ) = f ( 0 , 0 ) at ( 0 , 0 ) (0, 0) ( 0 , 0 ) is ( 10 ) ‾ \underline{\quad (10) \quad} ( 10 ) . The maximum value of directional derivatives of f f f at ( 0 , 0 ) (0, 0) ( 0 , 0 ) , D u f ( 0 , 0 ) D_{\mathbf{u}}f(0, 0) D u f ( 0 , 0 ) , is ( 11 ) ‾ \underline{\quad (11) \quad} ( 11 ) .
展開
我們先分析在原點 ( 0 , 0 ) (0, 0) ( 0 , 0 ) 處的函數值。將 ( x , y ) = ( 0 , 0 ) (x, y) = (0, 0) ( x , y ) = ( 0 , 0 ) 代入給定的不等式:
∣ f ( 0 , 0 ) − 1 + 2 ( 0 ) ∣ ≤ sin ( 0 2 + 0 2 ) ⟹ ∣ f ( 0 , 0 ) − 1 ∣ ≤ 0 |f(0, 0) - 1 + 2(0)| \le \sin\left(0^2 + 0^2\right) \implies |f(0, 0) - 1| \le 0 ∣ f ( 0 , 0 ) − 1 + 2 ( 0 ) ∣ ≤ sin ( 0 2 + 0 2 ) ⟹ ∣ f ( 0 , 0 ) − 1∣ ≤ 0
因為絕對值大於等於零,故有:
f ( 0 , 0 ) = 1 f(0, 0) = 1 f ( 0 , 0 ) = 1
接下來,我們假定 f ( x , y ) f(x, y) f ( x , y ) 在點 ( 0 , 0 ) (0, 0) ( 0 , 0 ) 處可微。根據多變數函數在原點的可微定義:
f ( x , y ) = f ( 0 , 0 ) + f x ( 0 , 0 ) x + f y ( 0 , 0 ) y + ϵ ( x , y ) x 2 + y 2 f(x, y) = f(0, 0) + f_x(0, 0)x + f_y(0, 0)y + \epsilon(x, y)\sqrt{x^2 + y^2} f ( x , y ) = f ( 0 , 0 ) + f x ( 0 , 0 ) x + f y ( 0 , 0 ) y + ϵ ( x , y ) x 2 + y 2
其中當 ( x , y ) → ( 0 , 0 ) (x, y) \to (0, 0) ( x , y ) → ( 0 , 0 ) 時,誤差項 ϵ ( x , y ) → 0 \epsilon(x, y) \to 0 ϵ ( x , y ) → 0 。
將 f ( 0 , 0 ) = 1 f(0, 0) = 1 f ( 0 , 0 ) = 1 與可微逼近式代回原不等式中:
∣ 1 + f x ( 0 , 0 ) x + f y ( 0 , 0 ) y + ϵ ( x , y ) x 2 + y 2 − 1 + 2 y ∣ ≤ sin ( x 2 + y 2 ) \left| 1 + f_x(0, 0)x + f_y(0, 0)y + \epsilon(x, y)\sqrt{x^2 + y^2} - 1 + 2y \right| \le \sin\left(x^2 + y^2\right) 1 + f x ( 0 , 0 ) x + f y ( 0 , 0 ) y + ϵ ( x , y ) x 2 + y 2 − 1 + 2 y ≤ sin ( x 2 + y 2 )
∣ f x ( 0 , 0 ) x + ( f y ( 0 , 0 ) + 2 ) y + ϵ ( x , y ) x 2 + y 2 ∣ ≤ sin ( x 2 + y 2 ) \left| f_x(0, 0)x + \left(f_y(0, 0) + 2\right)y + \epsilon(x, y)\sqrt{x^2 + y^2} \right| \le \sin\left(x^2 + y^2\right) f x ( 0 , 0 ) x + ( f y ( 0 , 0 ) + 2 ) y + ϵ ( x , y ) x 2 + y 2 ≤ sin ( x 2 + y 2 )
為了求偏導數,我們將不等式兩側同除以 x 2 + y 2 \sqrt{x^2 + y^2} x 2 + y 2 :
∣ f x ( 0 , 0 ) x x 2 + y 2 + ( f y ( 0 , 0 ) + 2 ) y x 2 + y 2 + ϵ ( x , y ) ∣ ≤ sin ( x 2 + y 2 ) x 2 + y 2 \left| f_x(0, 0)\frac{x}{\sqrt{x^2+y^2}} + \left(f_y(0, 0) + 2\right)\frac{y}{\sqrt{x^2+y^2}} + \epsilon(x, y) \right| \le \frac{\sin\left(x^2 + y^2\right)}{\sqrt{x^2 + y^2}} f x ( 0 , 0 ) x 2 + y 2 x + ( f y ( 0 , 0 ) + 2 ) x 2 + y 2 y + ϵ ( x , y ) ≤ x 2 + y 2 sin ( x 2 + y 2 )
我們取當 ( x , y ) → ( 0 , 0 ) (x, y) \to (0, 0) ( x , y ) → ( 0 , 0 ) 時的極限。首先計算右側極限:
lim ( x , y ) → ( 0 , 0 ) sin ( x 2 + y 2 ) x 2 + y 2 = lim ( x , y ) → ( 0 , 0 ) ( sin ( x 2 + y 2 ) x 2 + y 2 ⋅ x 2 + y 2 ) = 1 ⋅ 0 = 0 \lim_{(x,y)\to(0,0)} \frac{\sin\left(x^2 + y^2\right)}{\sqrt{x^2 + y^2}} = \lim_{(x,y)\to(0,0)} \left( \frac{\sin\left(x^2 + y^2\right)}{x^2 + y^2} \cdot \sqrt{x^2 + y^2} \right) = 1 \cdot 0 = 0 ( x , y ) → ( 0 , 0 ) lim x 2 + y 2 sin ( x 2 + y 2 ) = ( x , y ) → ( 0 , 0 ) lim ( x 2 + y 2 sin ( x 2 + y 2 ) ⋅ x 2 + y 2 ) = 1 ⋅ 0 = 0
根據夾擠定理,左側極限亦必須為 0 0 0 :
lim ( x , y ) → ( 0 , 0 ) ∣ f x ( 0 , 0 ) x x 2 + y 2 + ( f y ( 0 , 0 ) + 2 ) y x 2 + y 2 + ϵ ( x , y ) ∣ = 0 \lim_{(x,y)\to(0,0)} \left| f_x(0, 0)\frac{x}{\sqrt{x^2+y^2}} + \left(f_y(0, 0) + 2\right)\frac{y}{\sqrt{x^2+y^2}} + \epsilon(x, y) \right| = 0 ( x , y ) → ( 0 , 0 ) lim f x ( 0 , 0 ) x 2 + y 2 x + ( f y ( 0 , 0 ) + 2 ) x 2 + y 2 y + ϵ ( x , y ) = 0
由於當 ( x , y ) → ( 0 , 0 ) (x, y) \to (0, 0) ( x , y ) → ( 0 , 0 ) 時 ϵ ( x , y ) → 0 \epsilon(x, y) \to 0 ϵ ( x , y ) → 0 ,上式簡化為:
lim ( x , y ) → ( 0 , 0 ) ( f x ( 0 , 0 ) x x 2 + y 2 + ( f y ( 0 , 0 ) + 2 ) y x 2 + y 2 ) = 0 \lim_{(x,y)\to(0,0)} \left( f_x(0, 0)\frac{x}{\sqrt{x^2+y^2}} + \left(f_y(0, 0) + 2\right)\frac{y}{\sqrt{x^2+y^2}} \right) = 0 ( x , y ) → ( 0 , 0 ) lim ( f x ( 0 , 0 ) x 2 + y 2 x + ( f y ( 0 , 0 ) + 2 ) x 2 + y 2 y ) = 0
此極限必須從任何方向趨近於 ( 0 , 0 ) (0,0) ( 0 , 0 ) 皆成立。
若我們沿 x x x 軸(y = 0 y = 0 y = 0 )趨近,則要求 f x ( 0 , 0 ) = 0 f_x(0, 0) = 0 f x ( 0 , 0 ) = 0 。
若我們沿 y y y 軸(x = 0 x = 0 x = 0 )趨近,則要求 f y ( 0 , 0 ) + 2 = 0 ⟹ f y ( 0 , 0 ) = − 2 f_y(0, 0) + 2 = 0 \implies f_y(0, 0) = -2 f y ( 0 , 0 ) + 2 = 0 ⟹ f y ( 0 , 0 ) = − 2 。
此時梯度向量為:
∇ f ( 0 , 0 ) = ⟨ f x ( 0 , 0 ) , f y ( 0 , 0 ) ⟩ = ⟨ 0 , − 2 ⟩ \nabla f(0, 0) = \langle f_x(0, 0),\, f_y(0, 0) \rangle = \langle 0,\, -2 \rangle ∇ f ( 0 , 0 ) = ⟨ f x ( 0 , 0 ) , f y ( 0 , 0 )⟩ = ⟨ 0 , − 2 ⟩
現在我們依序回答三個小題:
(9) 切面方程式 :
在點 ( 0 , 0 , f ( 0 , 0 ) ) = ( 0 , 0 , 1 ) (0, 0, f(0, 0)) = (0, 0, 1) ( 0 , 0 , f ( 0 , 0 )) = ( 0 , 0 , 1 ) 處的切面方程式(注意考卷上 y = f ( x , y ) y=f(x,y) y = f ( x , y ) 為印刷錯誤,實為 z = f ( x , y ) z=f(x,y) z = f ( x , y ) )為:
z − f ( 0 , 0 ) = f x ( 0 , 0 ) ( x − 0 ) + f y ( 0 , 0 ) ( y − 0 ) z - f(0, 0) = f_x(0, 0)(x - 0) + f_y(0, 0)(y - 0) z − f ( 0 , 0 ) = f x ( 0 , 0 ) ( x − 0 ) + f y ( 0 , 0 ) ( y − 0 )
代入偏導數值:
z − 1 = 0 ( x ) − 2 ( y ) ⟹ z = 1 − 2 y z - 1 = 0(x) - 2(y) \implies z = 1 - 2y z − 1 = 0 ( x ) − 2 ( y ) ⟹ z = 1 − 2 y
可寫為 2 y + z = 1 2y + z = 1 2 y + z = 1 。
(10) 等高線的切線方程式 :
等高線 f ( x , y ) = f ( 0 , 0 ) = 1 f(x, y) = f(0, 0) = 1 f ( x , y ) = f ( 0 , 0 ) = 1 在點 ( 0 , 0 ) (0, 0) ( 0 , 0 ) 處的切線方程式為:
f x ( 0 , 0 ) ( x − 0 ) + f y ( 0 , 0 ) ( y − 0 ) = 0 ⟹ 0 ( x ) − 2 ( y ) = 0 ⟹ y = 0 f_x(0, 0)(x - 0) + f_y(0, 0)(y - 0) = 0 \implies 0(x) - 2(y) = 0 \implies y = 0 f x ( 0 , 0 ) ( x − 0 ) + f y ( 0 , 0 ) ( y − 0 ) = 0 ⟹ 0 ( x ) − 2 ( y ) = 0 ⟹ y = 0
(即 x x x 軸)。
(11) 最大方向導數 :
方向導數 D u f ( 0 , 0 ) D_{\mathbf{u}}f(0, 0) D u f ( 0 , 0 ) 的最大值發生在梯度向量方向,其值為梯度的模長:
max D u f ( 0 , 0 ) = ∥ ∇ f ( 0 , 0 ) ∥ = 0 2 + ( − 2 ) 2 = 2 \max D_{\mathbf{u}}f(0, 0) = \|\nabla f(0, 0)\| = \sqrt{0^2 + (-2)^2} = 2 max D u f ( 0 , 0 ) = ∥∇ f ( 0 , 0 ) ∥ = 0 2 + ( − 2 ) 2 = 2
結論:
(9) 處填入 z = 1 − 2 y z = 1 - 2y z = 1 − 2 y (或 2 y + z = 1 2y + z = 1 2 y + z = 1 )。
(10) 處填入 y = 0 y = 0 y = 0 。
(11) 處填入 2 2 2 。