関数 $f(x, y)$ が次のように定義されています。 $ f(x, y) = \begin{cases} \frac{xy(x^2 - y^2)}{x^2 + y^2} & ((x, y) \neq (0, 0)) \\ 0 & ((x, y) = (0, 0)) \end{cases} $ このとき、$f_{xy}(0, 0) \neq f_{yx}(0, 0)$ を示す問題です。

解析学偏微分多変数関数微分可能性シュワルツの定理
2025/7/2

1. 問題の内容

関数 f(x,y)f(x, y) が次のように定義されています。
f(x,y)={xy(x2y2)x2+y2((x,y)(0,0))0((x,y)=(0,0)) f(x, y) = \begin{cases} \frac{xy(x^2 - y^2)}{x^2 + y^2} & ((x, y) \neq (0, 0)) \\ 0 & ((x, y) = (0, 0)) \end{cases}
このとき、fxy(0,0)fyx(0,0)f_{xy}(0, 0) \neq f_{yx}(0, 0) を示す問題です。

2. 解き方の手順

(1) まず、fx(x,y)f_x(x, y)fy(x,y)f_y(x, y) を計算します。
- (x,y)(0,0)(x, y) \neq (0, 0) のとき:
fx=y(x4y4+4x2y2)(x2+y2)2f_x = \frac{y(x^4 - y^4 + 4x^2y^2)}{(x^2 + y^2)^2}
fy=x(x4y44x2y2)(x2+y2)2f_y = \frac{x(x^4 - y^4 - 4x^2y^2)}{(x^2 + y^2)^2}
- (x,y)=(0,0)(x, y) = (0, 0) のとき:
f(x,0)=0f(x, 0) = 0 なので、fx(0,0)=0f_x(0, 0) = 0
f(0,y)=0f(0, y) = 0 なので、fy(0,0)=0f_y(0, 0) = 0
(2) 次に、fxy(0,0)f_{xy}(0, 0)fyx(0,0)f_{yx}(0, 0) を定義に従って計算します。
fxy(0,0)=limk0fx(0,k)fx(0,0)kf_{xy}(0, 0) = \lim_{k \to 0} \frac{f_x(0, k) - f_x(0, 0)}{k}
fx(0,k)=k(0k4+0)(0+k2)2=k5k4=kf_x(0, k) = \frac{k(0 - k^4 + 0)}{(0 + k^2)^2} = \frac{-k^5}{k^4} = -k なので、
fxy(0,0)=limk0k0k=1f_{xy}(0, 0) = \lim_{k \to 0} \frac{-k - 0}{k} = -1
fyx(0,0)=limh0fy(h,0)fy(0,0)hf_{yx}(0, 0) = \lim_{h \to 0} \frac{f_y(h, 0) - f_y(0, 0)}{h}
fy(h,0)=h(h400)(h2+0)2=h5h4=hf_y(h, 0) = \frac{h(h^4 - 0 - 0)}{(h^2 + 0)^2} = \frac{h^5}{h^4} = h なので、
fyx(0,0)=limh0h0h=1f_{yx}(0, 0) = \lim_{h \to 0} \frac{h - 0}{h} = 1
(3) 最後に、fxy(0,0)fyx(0,0)f_{xy}(0, 0) \neq f_{yx}(0, 0) を確認します。
fxy(0,0)=1f_{xy}(0, 0) = -1 であり、fyx(0,0)=1f_{yx}(0, 0) = 1 なので、fxy(0,0)fyx(0,0)f_{xy}(0, 0) \neq f_{yx}(0, 0) が成り立ちます。

3. 最終的な答え

fxy(0,0)fyx(0,0)f_{xy}(0, 0) \neq f_{yx}(0, 0)

「解析学」の関連問題

$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

関数 $f(x) = x^3 - 3x^2 - 9x - 1$ の極値を求める問題です。空欄(1)~(9)を埋める必要があります。

極値導関数増減表三次関数
2025/7/2