関数 $f(x, y) = \sqrt{|xy|}$ が与えられたとき、偏導関数 $f_x(x, y)$ が原点$(0, 0)$ で連続でないことを示す。

解析学偏導関数連続性多変数関数
2025/7/2

1. 問題の内容

関数 f(x,y)=xyf(x, y) = \sqrt{|xy|} が与えられたとき、偏導関数 fx(x,y)f_x(x, y) が原点(0,0)(0, 0) で連続でないことを示す。

2. 解き方の手順

まず、偏導関数 fx(x,y)f_x(x, y) を計算する。
定義より、
fx(0,0)=limh0f(h,0)f(0,0)h=limh0h000h=limh00h=0f_x(0,0) = \lim_{h \to 0} \frac{f(h, 0) - f(0, 0)}{h} = \lim_{h \to 0} \frac{\sqrt{|h \cdot 0|} - \sqrt{|0 \cdot 0|}}{h} = \lim_{h \to 0} \frac{0}{h} = 0.
次に、x0x \ne 0 のとき、fx(x,y)f_x(x, y) を計算する。
f(x,y)=xyf(x, y) = \sqrt{|xy|} なので、f(x,y)=(xy)1/2f(x, y) = (|xy|)^{1/2} である。
x>0x > 0 かつ y>0y > 0 の場合、f(x,y)=xyf(x, y) = \sqrt{xy} なので、
fx(x,y)=12xyy=y2xy=y2xf_x(x, y) = \frac{1}{2\sqrt{xy}} \cdot y = \frac{y}{2\sqrt{xy}} = \frac{\sqrt{y}}{2\sqrt{x}}.
x>0x > 0 かつ y<0y < 0 の場合、f(x,y)=xyf(x, y) = \sqrt{-xy} なので、
fx(x,y)=12xy(y)=y2xy=y2xf_x(x, y) = \frac{1}{2\sqrt{-xy}} \cdot (-y) = \frac{-y}{2\sqrt{-xy}} = \frac{-\sqrt{-y}}{2\sqrt{x}}.
x<0x < 0 かつ y>0y > 0 の場合、f(x,y)=xyf(x, y) = \sqrt{-xy} なので、
fx(x,y)=12xy(y)=y2xy=y2xf_x(x, y) = \frac{1}{2\sqrt{-xy}} \cdot (-y) = \frac{-y}{2\sqrt{-xy}} = \frac{-\sqrt{-y}}{2\sqrt{-x}}.
x<0x < 0 かつ y<0y < 0 の場合、f(x,y)=xyf(x, y) = \sqrt{xy} なので、
fx(x,y)=12xyy=y2xy=y2xf_x(x, y) = \frac{1}{2\sqrt{xy}} \cdot y = \frac{y}{2\sqrt{xy}} = \frac{\sqrt{y}}{2\sqrt{x}}.
したがって、fx(x,y)=y2xyxxf_x(x, y) = \frac{y}{2\sqrt{|xy|}} \cdot \frac{x}{|x|}である。
$f_x(x, y) = \begin{cases}
\frac{y}{2\sqrt{xy}} & \text{if } xy > 0, x > 0 \\
-\frac{y}{2\sqrt{-xy}} & \text{if } xy < 0, x > 0 \\
-\frac{y}{2\sqrt{-xy}} & \text{if } xy < 0, x < 0 \\
\frac{y}{2\sqrt{xy}} & \text{if } xy > 0, x < 0 \\
0 & \text{if } x = 0 \text{ or } y = 0
\end{cases}$.
x0x \neq 0のとき、fx(x,y)=y2xyxxf_x(x,y) = \frac{y}{2\sqrt{|xy|}}\frac{x}{|x|}
原点(0,0)(0, 0)に近づく経路に沿ってfx(x,y)f_x(x, y)の極限を考える。
x>0x > 0とすると、fx(x,y)=y2xyf_x(x, y) = \frac{y}{2\sqrt{xy}}となる。x=y2x = y^2という経路で原点に近づくと、
fx(x,y)=y2y3=12yf_x(x, y) = \frac{y}{2\sqrt{y^3}} = \frac{1}{2\sqrt{y}}となる。y0y \to 0とすると、fx(x,y)f_x(x, y) \to \inftyとなる。
よって、fx(x,y)f_x(x, y)は原点で連続ではない。

3. 最終的な答え

fx(x,y)f_x(x, y)は原点(0,0)(0, 0)で連続ではない。

「解析学」の関連問題

実数上で定義された連続関数 $f(x)$ と $g(x)$ があり、すべての有理数 $a \in \mathbb{Q}$ に対して $f(a) = g(a)$ が成り立つとき、すべての実数 $x$ に...

連続関数実数有理数極限稠密性
2025/7/2

$f(0+0) = f(0) + f(0)$ $f(0) = 2f(0)$ したがって、$f(0) = 0$

関数の連続性関数方程式コーシーの関数方程式実数証明
2025/7/2

以下の極限を求める問題です。 $\lim_{x\to\infty} (1 + ax)^{1/x}$

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

与えられた極限を計算する問題です。 $\lim_{x \to \infty} (1 + a/x)^{x}$

極限ネイピア数指数関数
2025/7/2

関数 $f(x) = e^{-x} \sin{x}$ (ただし $x > 0$) が与えられている。 (1) $f(x)$ の最大値と最小値、およびそのときの $x$ の値を求める。 (2) 方程式 ...

関数の最大最小微分指数関数三角関数方程式の解
2025/7/2

関数 $f(x) = e^{-\sin x}$ (ただし $x > 0$ )について、以下の問題を解く。 (1) $f(x)$ の最大値と最小値、およびそれらを与える $x$ の値を求める。 (2) ...

最大値最小値三角関数指数関数方程式の解微分対数
2025/7/2

$f(x)$ を奇数次数の実数を係数とする多項式とするとき、方程式 $f(x) = 0$ は少なくとも1つの実数解をもつことを示す。

多項式実数解中間値の定理関数の連続性
2025/7/2

与えられた極限値を求める問題です。 (1) $\lim_{x \to 0} \frac{\sqrt{1+x^2} - \sqrt{1-x^2}}{x^2}$ (2) $\lim_{x \to \inf...

極限有理化三角関数ロピタルの定理
2025/7/2

関数 $f(x) = \sqrt{x} + \sqrt{1-x}$ の極値を求めるために、導関数を計算し、微分係数が0となる $x$ の値を求め、増減表を作成する。

微分極値導関数増減表関数の最大値
2025/7/2

$f(x)$ と $g(x)$ は閉区間 $[0, 1]$ で定義された連続関数であり、次の条件を満たすとする。 (a) すべての $x \in [0, 1]$ について $0 \leq f(x) \...

連続関数中間値の定理関数
2025/7/2