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

解析学多変数関数最大値最小値偏微分境界
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\} における ff の最大値と最小値を求めます。

2. 解き方の手順

まず、SSの内部で極値を求めます。
偏微分を計算します。
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=0y^2 = 0、つまり y=0y = 0 です。
fy=0\frac{\partial f}{\partial y} = 0 より、y=0y=0 または x=1x=1 です。
したがって、停留点(x,y)(x, y)y=0y = 0 のとき fy=0\frac{\partial f}{\partial y} = 0 となるので、0x4y2=40 \le x \le 4 - y^2 = 4 です。
x=1x = 1 のとき y=0y = 0 なので、停留点 (1,0)(1, 0) を得ます。
f(1,0)=110+11=1f(1, 0) = \frac{1-1}{0+1} - 1 = -1
次に、境界 x=0x = 0 および x=4y2x = 4-y^2 上で ff の値を調べます。
x=0x = 0 のとき、 f(0,y)=1y2+1f(0, y) = \frac{-1}{y^2+1} です。
g(y)=1y2+1g(y) = \frac{-1}{y^2+1} とおくと、2y2-2 \le y \le 2 であり、g(y)=2y(y2+1)2g'(y) = \frac{2y}{(y^2+1)^2} です。
g(y)=0g'(y) = 0 より、y=0y = 0 です。
g(0)=1g(0) = -1
g(2)=g(2)=15g(2) = g(-2) = -\frac{1}{5}
よって、x=0x=0 上での最大値は 1/5-1/5 (at (0,±2)(0, \pm 2)), 最小値は 1-1 (at (0,0)(0, 0))。
x=4y2x = 4-y^2 のとき、
f(4y2,y)=4y21y2+1(4y2)=3y2y2+14+y2=3y24(y2+1)+y2(y2+1)y2+1=y44y21y2+1=y25+4y2+1f(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 = \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} = y^2 - 5 + \frac{4}{y^2+1}
h(y)=y25+4y2+1h(y) = y^2 - 5 + \frac{4}{y^2+1} とおくと、2y2-2 \le y \le 2 です。
h(y)=2y8y(y2+1)2=2y(14(y2+1)2)=0h'(y) = 2y - \frac{8y}{(y^2+1)^2} = 2y \left(1 - \frac{4}{(y^2+1)^2}\right) = 0
y=0y=0 または (y2+1)2=4(y^2+1)^2 = 4 なので、y2+1=2y^2+1 = 2 または y2+1=2y^2+1 = -2 (yyは実数なので不適)。
y2=1y^2 = 1 なので y=±1y = \pm 1
h(0)=5+4=1h(0) = -5 + 4 = -1 (このとき x=4x = 4)
h(1)=h(1)=15+42=4+2=2h(1) = h(-1) = 1 - 5 + \frac{4}{2} = -4 + 2 = -2 (このとき x=3x = 3)
h(2)=h(2)=45+45=1+45=15h(2) = h(-2) = 4 - 5 + \frac{4}{5} = -1 + \frac{4}{5} = -\frac{1}{5} (このとき x=0x = 0)
f(1,0)=1f(1, 0) = -1
f(0,2)=f(0,2)=1/5f(0, 2) = f(0, -2) = -1/5
f(0,0)=1f(0, 0) = -1
f(4,0)=1f(4, 0) = -1
f(3,1)=f(3,1)=2f(3, 1) = f(3, -1) = -2
f(0,2)=f(0,2)=1/5f(0, 2) = f(0, -2) = -1/5
SSにおけるffの最大値は 1/5-1/5 であり、f(0,±2)=1/5f(0, \pm 2) = -1/5.
SSにおけるffの最小値は 5-5 であり、y25+4y2+1y^2-5+\frac{4}{y^2+1} を考えると、y=0y=0 のとき f(4,0)=1f(4,0)=-1 となるので、5-5にはならない.
極値候補は1,2,1/5-1,-2, -1/5 なので、最小値は2-2となる.
f(3,±1)=2f(3, \pm 1) = -2

3. 最終的な答え

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

「解析学」の関連問題

実数 $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