Skip to content
CalcGospel 微積分福音
返回

113 政大微積分 Part B 第 3 題

考題 / 轉學考微積分 / 政大 / 微積分

113學年度 · 113微積分 · 第 8 題

題目

Problem

Problem 3: (8%) Find the extreme value of f(x,y)=exyf(x, y) = e^{-xy} subject to x2+4y21x^2 + 4y^2 \le 1.

解答

解法一

思路

展開
  1. 本題要求連續二元函數 f(x,y)=exyf(x, y) = e^{-xy} 在橢圓閉區域 x2+4y21x^2 + 4y^2 \le 1 上的最大值與最小值。
  2. 根據極值定理,最值只可能出現在內部臨界點(滿足 x2+4y2<1x^2+4y^2 < 1f=0\nabla f = \mathbf{0})或邊界點(滿足 x2+4y2=1x^2+4y^2 = 1)。
  3. 第一步:分析內部臨界點
    • fx=yexy=0    y=0f_x = -y e^{-xy} = 0 \implies y = 0
    • fy=xexy=0    x=0f_y = -x e^{-xy} = 0 \implies x = 0
    • 內部唯一臨界點為 P0(0,0)P_0(0,0),其滿足 02+4(0)2=0<10^2 + 4(0)^2 = 0 < 1
    • 函數值為 f(0,0)=e0=1f(0,0) = e^0 = 1
  4. 第二步:分析邊界上的候選點(使用拉格朗日乘子法,設約束為 g(x,y)=x2+4y2=1g(x,y) = x^2+4y^2 = 1):
    • 方程組: f=λg    yexy,xexy=λ2x,8y\nabla f = \lambda \nabla g \implies \langle -y e^{-xy}, -x e^{-xy} \rangle = \lambda \langle 2x, 8y \rangle
    • 兩式相除消去 λ\lambda 得到: y2x=x8y    x2=4y2\frac{y}{2x} = \frac{x}{8y} \implies x^2 = 4y^2
    • 代入邊界約束: 4y2+4y2=1    8y2=1    y=±1224y^2 + 4y^2 = 1 \implies 8y^2 = 1 \implies y = \pm \frac{1}{2\sqrt{2}}
    • 由此解得 x=±12x = \pm \frac{1}{\sqrt{2}}
  5. 第三步:比較各點函數值
    • x,yx, y 同號,則 xy=1/4    f=e1/4-xy = -1/4 \implies f = e^{-1/4}
    • x,yx, y 異號,則 xy=1/4    f=e1/4-xy = 1/4 \implies f = e^{1/4}
    • 比較 e1/40.779e^{-1/4} \approx 0.77911e1/41.284e^{1/4} \approx 1.284,得出最大值與最小值。

答題過程

展開

第一步:尋找區域內部的臨界點

我們對函數 f(x,y)=exyf(x, y) = e^{-xy} 在開區域 x2+4y2<1x^2 + 4y^2 < 1 內求偏導,並令其為 00

{fx(x,y)=yexy=0    y=0fy(x,y)=xexy=0    x=0\begin{align*} \begin{cases} f_x(x, y) = -y e^{-xy} = 0 \implies y = 0 \\[2mm] f_y(x, y) = -x e^{-xy} = 0 \implies x = 0 \end{cases} \end{align*}

(因為對於任意實數, exy0e^{-xy} \neq 0 恆成立。)

這給出了內部唯一臨界點 P0(0,0)P_0(0, 0)。 我們檢驗該點是否在區域內部:

02+4(0)2=0<10^2 + 4(0)^2 = 0 < 1

此點確實落在內部。計算其函數值:

f(0,0)=e0=1— (1)f(0, 0) = e^0 = 1 \quad \text{--- (1)}

第二步:利用拉格朗日乘子法尋找邊界上的候選點 (x2+4y2=1x^2 + 4y^2 = 1)

我們設定約束條件為:

g(x,y)=x2+4y2=1g(x, y) = x^2 + 4y^2 = 1

根據拉格朗日乘子法,建立偏微分方程組 f(x,y)=λg(x,y)\nabla f(x, y) = \lambda \nabla g(x, y)

{yexy=λ(2x)— (2)xexy=λ(8y)— (3)\begin{align*} \begin{cases} -y e^{-xy} = \lambda (2x) & \text{--- (2)} \\[2mm] -x e^{-xy} = \lambda (8y) & \text{--- (3)} \end{cases} \end{align*}

顯然 x0x \neq 0y0y \neq 0(否則若其中一者為 0,代回方程式會導致 x=y=0x=y=0,無法滿足邊界約束 g(x,y)=1g(x,y)=1)。我們將式 (2) 與式 (3) 相除以消去 λexy\lambda e^{xy}

yexyxexy=2λx8λy    yx=x4y    x2=4y2— (4)\frac{-y e^{-xy}}{-x e^{-xy}} = \frac{2\lambda x}{8\lambda y} \implies \frac{y}{x} = \frac{x}{4y} \implies x^2 = 4y^2 \quad \text{--- (4)}

將式 (4) 代回邊界約束條件 x2+4y2=1x^2 + 4y^2 = 1

4y2+4y2=1    8y2=1    y=±1224y^2 + 4y^2 = 1 \implies 8y^2 = 1 \implies y = \pm \frac{1}{2\sqrt{2}}

代回式 (4) 解出 xx

x2=4(18)=12    x=±12x^2 = 4 \left( \frac{1}{8} \right) = \frac{1}{2} \implies x = \pm \frac{1}{\sqrt{2}}

這給出了四個邊界候選點:

  1. xxyy 同號時,即 (12,122)\left( \frac{1}{\sqrt{2}},\, \frac{1}{2\sqrt{2}} \right)(12,122)\left( -\frac{1}{\sqrt{2}},\, -\frac{1}{2\sqrt{2}} \right): 此時, xy=12122=14xy = \frac{1}{\sqrt{2}} \cdot \frac{1}{2\sqrt{2}} = \frac{1}{4}。代入函數值:

    f(±12,±122)=e14— (5)f\left( \pm\frac{1}{\sqrt{2}},\, \pm\frac{1}{2\sqrt{2}} \right) = e^{-\frac{1}{4}} \quad \text{--- (5)}
  2. xxyy 異號時,即 (12,122)\left( \frac{1}{\sqrt{2}},\, -\frac{1}{2\sqrt{2}} \right)(12,122)\left( -\frac{1}{\sqrt{2}},\, \frac{1}{2\sqrt{2}} \right): 此時, xy=12(122)=14xy = \frac{1}{\sqrt{2}} \cdot \left(-\frac{1}{2\sqrt{2}}\right) = -\frac{1}{4}。代入函數值:

    f(±12,122)=e14— (6)f\left( \pm\frac{1}{\sqrt{2}},\, \mp\frac{1}{2\sqrt{2}} \right) = e^{\frac{1}{4}} \quad \text{--- (6)}

第三步:比較所有候選點的函數值

我們比較式 (1)、(5) 與 (6) 的數值大小。已知常數 e2.718>1e \approx 2.718 > 1

  • e1/41.284>1e^{1/4} \approx 1.284 > 1
  • e1/40.779<1e^{-1/4} \approx 0.779 < 1

因此,最大值為 e1/4e^{1/4},最小值為 e1/4e^{-1/4}

結論:

  • 全域最大值為 e14\displaystyle e^{\frac{1}{4}}(發生在邊界點 (12,122)\left( \frac{1}{\sqrt{2}}, -\frac{1}{2\sqrt{2}} \right)(12,122)\left( -\frac{1}{\sqrt{2}}, \frac{1}{2\sqrt{2}} \right) 處)。
  • 全域最小值為 e14\displaystyle e^{-\frac{1}{4}}(發生在邊界點 (12,122)\left( \frac{1}{\sqrt{2}}, \frac{1}{2\sqrt{2}} \right)(12,122)\left( -\frac{1}{\sqrt{2}}, -\frac{1}{2\sqrt{2}} \right) 處)。