問題10は、$f(x, y)$ が $C^3$ 級のとき、$f_{xyx} = f_{xxy}$ かつ $f_{xyy} = f_{yyx}$ を示す問題です。 問題11は、$f(x, y)$ が $C^4$ 級のとき、$f_{xyyy} = f_{yxyy} = f_{yyxy} = f_{yyyx}$ を示す問題です。

解析学偏微分偏微分方程式偏導関数順序交換定理
2025/7/2

1. 問題の内容

問題10は、f(x,y)f(x, y)C3C^3 級のとき、fxyx=fxxyf_{xyx} = f_{xxy} かつ fxyy=fyyxf_{xyy} = f_{yyx} を示す問題です。
問題11は、f(x,y)f(x, y)C4C^4 級のとき、fxyyy=fyxyy=fyyxy=fyyyxf_{xyyy} = f_{yxyy} = f_{yyxy} = f_{yyyx} を示す問題です。

2. 解き方の手順

問題10:
f(x,y)f(x, y)C3C^3 級であるとき、偏微分の順序交換定理より、3階までの偏導関数は微分する順序によらず等しくなります。
fxyx=(fxy)xf_{xyx} = (f_{xy})_x であり、fxxy=(fxx)yf_{xxy} = (f_{xx})_y です。
偏微分の順序交換定理より、fxy=fyxf_{xy} = f_{yx} が成り立ちます。
したがって、fxyx=(fxy)x=(fyx)x=fyxxf_{xyx} = (f_{xy})_x = (f_{yx})_x = f_{yxx} となります。
また、fxxy=(fxx)y=fxxyf_{xxy} = (f_{xx})_y = f_{xxy} です。
ここで、fyxx=fxxyf_{yxx} = f_{xxy} を示します。fyxxf_{yxx}ffyy, xx, xx の順に微分したもの、fxxyf_{xxy}ffxx, xx, yy の順に微分したものです。偏微分の順序交換定理を2回用いると、fyxx=fxyx=fxxyf_{yxx} = f_{xyx} = f_{xxy} が得られます。
同様に、fxyy=(fxy)yf_{xyy} = (f_{xy})_y であり、fyyx=(fyy)xf_{yyx} = (f_{yy})_x です。
偏微分の順序交換定理より、fxy=fyxf_{xy} = f_{yx} が成り立ちます。
したがって、fxyy=(fxy)y=(fyx)y=fyxyf_{xyy} = (f_{xy})_y = (f_{yx})_y = f_{yxy} となります。
また、fyyx=(fyy)x=fyyxf_{yyx} = (f_{yy})_x = f_{yyx} です。
ここで、fyxy=fyyxf_{yxy} = f_{yyx} を示します。fyxyf_{yxy}ffyy, xx, yy の順に微分したもの、fyyxf_{yyx}ffyy, yy, xx の順に微分したものです。偏微分の順序交換定理を2回用いると、fyxy=fyyxf_{yxy} = f_{yyx} が得られます。
問題11:
f(x,y)f(x, y)C4C^4 級であるとき、偏微分の順序交換定理より、4階までの偏導関数は微分する順序によらず等しくなります。
まず、fxyyy=fyxyyf_{xyyy} = f_{yxyy} を示します。これは、fxy=fyxf_{xy} = f_{yx} という関係から、fxyyy=(fxy)yy=(fyx)yy=fyxyyf_{xyyy} = (f_{xy})_{yy} = (f_{yx})_{yy} = f_{yxyy} となります。
次に、fyxyy=fyyxyf_{yxyy} = f_{yyxy} を示します。これは、fxy=fyxf_{xy} = f_{yx} という関係から、fyxyy=(fyx)yy=fy(xyy)f_{yxyy} = (f_{yx})_{yy} = f_{y(xyy)} です。そして fyxy=fyyxf_{yxy}=f_{yyx} であるから、fyxyy=(fyx)yy=fyyxyf_{yxyy} = (f_{yx})_{yy} = f_{yyxy}となります。
最後に、fyyxy=fyyyxf_{yyxy} = f_{yyyx} を示します。これは、fxy=fyxf_{xy} = f_{yx} という関係から、fyyxy=fyyyxf_{yyxy} = f_{yyyx} となります。
したがって、fxyyy=fyxyy=fyyxy=fyyyxf_{xyyy} = f_{yxyy} = f_{yyxy} = f_{yyyx} が示されました。

3. 最終的な答え

問題10:
fxyx=fxxyf_{xyx} = f_{xxy}
fxyy=fyyxf_{xyy} = f_{yyx}
問題11:
fxyyy=fyxyy=fyyxy=fyyyxf_{xyyy} = f_{yxyy} = f_{yyxy} = f_{yyyx}

「解析学」の関連問題

$n$を2以上の自然数とするとき、次の二つの不等式を証明する問題です。 (1) $1 - \frac{1}{n} + \frac{1}{n^2} < \frac{1}{1^2} + \frac{1}{...

不等式級数積分対数自然数
2025/7/3

$\lim_{x \to 2} \frac{ax^2 + bx + 1}{x - 2} = 1$ が成り立つような $a$ と $b$ の値を求める問題です。

極限代入因数分解多項式
2025/7/3

$\lim_{x \to 2} \frac{\sqrt{ax + 3} - 1}{x - 2}$ が収束するように $a$ の値を定め、そのときの極限値を求める。

極限有理化ルート不定形
2025/7/3

与えられた極限 $\lim_{x \to -1} \frac{x+1}{x^3-x^2-x+1}$ を計算します。

極限因数分解代入
2025/7/3

次の極限を求めます。 $\lim_{x \to 4} \frac{x-4}{\sqrt{x-3} - 1}$

極限有理化不定形関数の極限
2025/7/3

以下の極限を求める問題です。 $\lim_{x \to 2} \frac{\sqrt{x+7} - 3}{x-2}$

極限有理化関数の極限
2025/7/3

$a$ を定数とする。次の方程式の異なる実数解の個数を求めよ。 (2) $xe^x = a$

指数関数微分極値実数解の個数グラフ増減
2025/7/3

問題は、三角関数を含む方程式を解く問題です。 特に、0 ≤ x < 2π の範囲において、次の方程式 (1) の解 $x$ を求めます。 $\cos(2x - \frac{\pi}{6}) = -1$

三角関数方程式三角方程式解の範囲
2025/7/3

与えられた3つの極限値を求める問題です。 (1) $\lim_{n\to\infty} \frac{1}{n} \left(\sin \frac{\pi}{n} + \sin \frac{2\pi}{...

極限リーマン和定積分
2025/7/3

与えられた3つの極限値を求めます。 (1) $\lim_{n \to \infty} \frac{1}{n} (\sin{\frac{\pi}{n}} + \sin{\frac{2\pi}{n}} +...

極限リーマン和積分定積分
2025/7/3