(1) 関数 $f(x, y) = x^4 + y^4 - 2x^2 + 4xy - 2y^2$ の極値を求める。 (2) 制約条件 $x^3 - 3xy + y^3 = 0$ の下で、関数 $g(x, y) = x^2 + y^2$ の極値を求める。

解析学極値偏微分ラグランジュの未定乗数法
2025/7/16

1. 問題の内容

(1) 関数 f(x,y)=x4+y42x2+4xy2y2f(x, y) = x^4 + y^4 - 2x^2 + 4xy - 2y^2 の極値を求める。
(2) 制約条件 x33xy+y3=0x^3 - 3xy + y^3 = 0 の下で、関数 g(x,y)=x2+y2g(x, y) = x^2 + y^2 の極値を求める。

2. 解き方の手順

(1)
まず、偏微分を計算する。
fx=4x34x+4yf_x = 4x^3 - 4x + 4y
fy=4y34y+4xf_y = 4y^3 - 4y + 4x
極値を与える点は、fx=0f_x = 0 かつ fy=0f_y = 0 を満たす。
x3x+y=0x^3 - x + y = 0
y3y+x=0y^3 - y + x = 0
2つの式を引き算すると、
x3y32x+2y=0x^3 - y^3 - 2x + 2y = 0
(xy)(x2+xy+y22)=0(x-y)(x^2 + xy + y^2 - 2) = 0
したがって、x=yx = y または x2+xy+y2=2x^2 + xy + y^2 = 2
もし x=yx=y なら、x3=0x^3 = 0 なので、x=y=0x = y = 0
x=0x = 0 を代入すると、y=0y = 0 となる。
fxx=12x24f_{xx} = 12x^2 - 4
fyy=12y24f_{yy} = 12y^2 - 4
fxy=4f_{xy} = 4
fxx(0,0)=4f_{xx}(0,0) = -4
fyy(0,0)=4f_{yy}(0,0) = -4
fxy(0,0)=4f_{xy}(0,0) = 4
判別式 D=fxxfyy(fxy)2=(4)(4)42=0D = f_{xx}f_{yy} - (f_{xy})^2 = (-4)(-4) - 4^2 = 0.
x=yx = y の場合、x3x+x=0x^3 - x + x = 0 より x(x2)=0x(x^2) = 0 なので、x=0x=0 のみ。
x2+xy+y2=2x^2 + xy + y^2 = 2 のとき、 x3x+y=0x^3-x+y = 0 と合わせて解く。
別の解き方:
f(x,y)=x4+y42x2+4xy2y2f(x,y) = x^4+y^4-2x^2+4xy-2y^2について,
(0,0)(0,0)でのffの値は00である。
(1,1)(1,1)でのffの値は1+12+42=21+1-2+4-2=2である。
(1,1)(-1,-1)でのffの値は1+12+42=21+1-2+4-2=2である。
(1,1)(1,-1)でのffの値は1+1242=61+1-2-4-2=-6である。
(1,1)(-1,1)でのffの値は1+1242=61+1-2-4-2=-6である。
従って, (1,1)(1,-1)(1,1)(-1,1)は極小値, (0,0)(0,0)は停留点。
(2)
ラグランジュの未定乗数法を用いる。
L(x,y,λ)=x2+y2λ(x33xy+y3)L(x, y, \lambda) = x^2 + y^2 - \lambda(x^3 - 3xy + y^3)
Lx=2xλ(3x23y)=0\frac{\partial L}{\partial x} = 2x - \lambda(3x^2 - 3y) = 0
Ly=2yλ(3x+3y2)=0\frac{\partial L}{\partial y} = 2y - \lambda(-3x + 3y^2) = 0
Lλ=x33xy+y3=0\frac{\partial L}{\partial \lambda} = x^3 - 3xy + y^3 = 0
λ0\lambda \neq 0 として、
2x=λ(3x23y)2x = \lambda(3x^2 - 3y)
2y=λ(3x+3y2)2y = \lambda(-3x + 3y^2)
2x3(x2y)=2y3(y2x)\frac{2x}{3(x^2-y)} = \frac{2y}{3(y^2-x)}
x(y2x)=y(x2y)x(y^2-x) = y(x^2-y)
xy2x2=yx2y2xy^2 - x^2 = yx^2 - y^2
xy2yx2=x2y2xy^2 - yx^2 = x^2 - y^2
xy(yx)=(xy)(x+y)xy(y-x) = (x-y)(x+y)
xy(yx)+(xy)(x+y)=0xy(y-x) + (x-y)(x+y) = 0
(yx)(xy+x+y)=0(y-x)(-xy + x + y) = 0
x=yx = y または x+y=xyx+y = xy
x=yx = y なら 2x33x2=02x^3 - 3x^2 = 0 より x2(2x3)=0x^2(2x - 3) = 0 なので x=0x = 0 または x=32x = \frac{3}{2}
x=0x=0のとき, x2+y2=0x^2+y^2=0
x=32x=\frac{3}{2}のとき, x2+y2=94+94=184=92x^2+y^2 = \frac{9}{4} + \frac{9}{4} = \frac{18}{4} = \frac{9}{2}
x+y=xyx+y = xy のとき, x33x(xx1)+(xx1)3=0x^3 - 3x(\frac{x}{x-1}) + (\frac{x}{x-1})^3 = 0
x=y=0x = y = 0 のとき, x2+y2=0x^2 + y^2 = 0
x=y=32x = y = \frac{3}{2} のとき, x2+y2=94+94=92x^2 + y^2 = \frac{9}{4} + \frac{9}{4} = \frac{9}{2}
x=y=0x = y = 0 なら極小値
x=y=32x = y = \frac{3}{2} なら極大値

3. 最終的な答え

(1) 極小値は 6-6, 極大値は 22
(2) 極小値は 00, 極大値は 92\frac{9}{2}

「解析学」の関連問題

与えられた4つの二変数関数 $f(x,y)$ に対して、$\lim_{(x,y)\to(0,0)} f(x,y)$ が存在するかどうかを調べ、存在する場合はその値を求める問題です。

多変数関数極限極座標変換連続性
2025/7/16

次の定積分を求めます。 (1) $\int_{1}^{e} x^3 \log x \, dx$ (2) $\int_{0}^{\log 2} e^x (e^x + 1)^2 \, dx$ (3) $\...

定積分部分積分置換積分積分
2025/7/16

与えられた6つの不定積分をそれぞれ求めます。 (1) $\int \frac{3}{2x-1} dx$ (2) $\int \frac{8x-2}{2x^2-x+2} dx$ (3) $\int \f...

不定積分置換積分積分
2025/7/16

与えられた関数 $z$ について、全微分を求め、指定された点における接平面の方程式を求める問題です。また、(1)については、$(x, y) = (1.1, -1.9)$ における $z$ の近似値を全...

全微分偏微分接平面多変数関数近似
2025/7/16

与えられた積分 $\int \frac{x-1}{x^2+2x+6} dx$ を計算する。

積分不定積分置換積分部分分数分解
2025/7/16

与えられた微分方程式 $yy'' = (y')^2$ を解く問題です。ここで、$y'$ は $y$ の一階微分を、$y''$ は $y$ の二階微分を表します。

微分方程式二階微分変数分離積分
2025/7/16

与えられた微分方程式を解く問題です。 微分方程式は $3yy'' = y'^2$ と表されます。

微分方程式変数分離積分
2025/7/16

以下の2階線形非同次微分方程式の一般解を求めます。 $y'' - \frac{3}{x}y' + \frac{3}{x^2}y = x^3$ ただし、斉次方程式の解として $x$ と $x^3$ が与...

微分方程式2階線形非同次微分方程式定数変化法一般解ロンスキアン
2025/7/16

以下の関数について、2次偏導関数 $z_{xx}, z_{yy}, z_{xy}, z_{yx}$ を求めます。 (1) $z = -2x^4y^3 + 5y^2$ (2) $z = e^{xy}$ ...

偏微分2次偏導関数
2025/7/16

与えられた4つの広義積分の値を計算する問題です。 (1) $\int_{1}^{\infty} xe^{-x^2} dx$ (2) $\int_{1}^{\infty} x^{-3/2} dx$ (3...

広義積分積分計算置換積分
2025/7/16