2変数関数 $f(x, y) = \frac{x-1}{y^2+1} - x$ の、有界閉集合 $S = \{(x, y) | 0 \le x \le 4 - y^2\}$ における最大値と最小値を求める問題です。

解析学多変数関数最大値最小値偏微分境界
2025/7/15

1. 問題の内容

2変数関数 f(x,y)=x1y2+1xf(x, y) = \frac{x-1}{y^2+1} - x の、有界閉集合 S={(x,y)0x4y2}S = \{(x, y) | 0 \le x \le 4 - y^2\} における最大値と最小値を求める問題です。

2. 解き方の手順

(1) 領域Sの内部における極値を求める。
偏微分を計算します。
fx=1y2+11\frac{\partial f}{\partial x} = \frac{1}{y^2 + 1} - 1
fy=2y(x1)(y2+1)2\frac{\partial f}{\partial y} = \frac{-2y(x-1)}{(y^2 + 1)^2}
fx=0\frac{\partial f}{\partial x} = 0 となるのは 1y2+1=1\frac{1}{y^2+1} = 1 、すなわち y2+1=1y^2+1 = 1 より y=0y = 0 のときです。
fy=0\frac{\partial f}{\partial y} = 0 となるのは y=0y=0 または x=1x = 1 のときです。
したがって、極値の候補は y=0y=0 のときで、0x40 \le x \le 4 より、f(x,0)=x1x=1f(x, 0) = x - 1 - x = -1
また、x=1x=1 の場合、014y20 \le 1 \le 4-y^2 より 3y3- \sqrt{3} \le y \le \sqrt{3}
f(1,y)=11y2+11=1f(1, y) = \frac{1-1}{y^2+1} - 1 = -1
(2) 境界における最大値・最小値を求める。
境界は x=0x = 0x=4y2x = 4 - y^2 の2つに分けられます。
(i) x=0x = 0 のとき:
f(0,y)=1y2+10=1y2+1f(0, y) = \frac{-1}{y^2 + 1} - 0 = \frac{-1}{y^2 + 1}.
0x4y20 \le x \le 4 - y^2 より 04y20 \le 4 - y^2, つまり 2y2-2 \le y \le 2.
このとき、y=0y = 0 のとき最大値 f(0,0)=1f(0, 0) = -1 をとり、y=±2y = \pm 2 のとき最小値 f(0,±2)=14+1=15f(0, \pm 2) = \frac{-1}{4 + 1} = -\frac{1}{5} をとります。
(ii) x=4y2x = 4 - y^2 のとき:
f(4y2,y)=4y21y2+1(4y2)=3y2y2+14+y2f(4-y^2, y) = \frac{4 - y^2 - 1}{y^2 + 1} - (4 - y^2) = \frac{3 - y^2}{y^2 + 1} - 4 + y^2
=3y24(y2+1)+y2(y2+1)y2+1=y44y21y2+1= \frac{3 - y^2 - 4(y^2 + 1) + y^2(y^2 + 1)}{y^2 + 1} = \frac{y^4 - 4y^2 - 1}{y^2 + 1}.
g(y)=y44y21y2+1g(y) = \frac{y^4 - 4y^2 - 1}{y^2 + 1} とおきます。
g(y)=(4y38y)(y2+1)(y44y21)(2y)(y2+1)2=2y5+8y3+6y(y2+1)2=2y(y4+4y2+3)(y2+1)2=2y(y2+1)(y2+3)(y2+1)2=2y(y2+3)y2+1g'(y) = \frac{(4y^3 - 8y)(y^2 + 1) - (y^4 - 4y^2 - 1)(2y)}{(y^2 + 1)^2} = \frac{2y^5 + 8y^3 + 6y}{(y^2 + 1)^2} = \frac{2y(y^4 + 4y^2 + 3)}{(y^2 + 1)^2} = \frac{2y(y^2 + 1)(y^2 + 3)}{(y^2 + 1)^2} = \frac{2y(y^2 + 3)}{y^2 + 1}.
g(y)=0g'(y) = 0 となるのは y=0y = 0 のときです。
x=4y2x = 4 - y^2 より x=4x = 4. f(4,0)=410+14=34=1f(4, 0) = \frac{4 - 1}{0 + 1} - 4 = 3 - 4 = -1.
y=±2y = \pm 2 のとき、x=44=0x = 4 - 4 = 0, f(0,±2)=15f(0, \pm 2) = -\frac{1}{5}.
y2=4xy^2 = 4 - x より、0x40 \le x \le 4.
y=0y = 0 のとき、g(0)=1g(0) = -1.
y=±2y = \pm 2 のとき、g(±2)=161614+1=15g(\pm 2) = \frac{16 - 16 - 1}{4+1} = -\frac{1}{5}.
y2=4x0y^2 = 4 - x \geq 0 より y[2,2]y \in [-2,2].
g(y)=y25+4y2+1g(y) = y^2 - 5 + \frac{4}{y^2 + 1}.
(3) 最大値・最小値の候補を比較する。
極値の候補は1-1, 境界上の候補は15-\frac{1}{5}1-1

3. 最終的な答え

最大値:15-\frac{1}{5}
最小値:1-1

「解析学」の関連問題

実数 $x$ に対して、無限等比級数 $\sum_{n=1}^{\infty} e^{nx(x-2)}$ を考える。 (1) この無限等比級数が収束するような $x$ の条件を求める。 (2) この無...

無限等比級数収束指数関数
2025/7/15

(1) 等比数列 $\{a_n\}$ が $a_1 = \sqrt{3} - 1$, $a_2 = 4 - 2\sqrt{3}$ を満たすとき、無限級数 $\sum_{n=1}^{\infty} a_...

数列無限級数等比数列部分分数分解telescoping sum
2025/7/15

## 1. 問題の内容

微分積分三角関数運動初期条件
2025/7/15

## 問題の解答

テイラー展開偏微分停留点ヘッセ行列極値
2025/7/15

$\lim_{x\to\infty} \log(1 + e^x)^{\frac{1}{x}}$ を計算する問題です。

極限ロピタルの定理対数関数
2025/7/15

$\theta$ が与えられたとき、$\sin \theta$, $\cos \theta$, $\tan \theta$ の値を求める問題です。具体的には、 (1) $\theta = \frac{...

三角関数角度sincostanラジアン
2025/7/15

与えられた5つの極限値を、ロピタルの定理を用いて求める。 a) $\lim_{x \to 1} x^{\frac{1}{1-x}}$ b) $\lim_{x \to \infty} \frac{x}{...

極限ロピタルの定理不定形
2025/7/15

以下の3つの極限を求める問題です。 (1) $\lim_{n \to \infty} (\sqrt{n^2 + 3n + 2} - \sqrt{n^2 - 3n + 2})$ (2) $\lim_{n...

極限数列有理化
2025/7/15

与えられた式を簡単にする問題です。式は $\frac{x \arcsin x}{\sqrt{1-x^2}} + \frac{1}{2} \log (1-x^2)$ で、定義域は $-1 < x < 1...

積分逆三角関数対数関数微積分
2025/7/15

2変数関数 $f(x, y) = \cos x + 2 \cos y - 3 \sin(xy)$ を、$x, y$ について2次までマクローリン展開する。

マクローリン展開テイラー展開偏微分ヘッセ行列停留点極値鞍点
2025/7/15