問題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は、 が 級のとき、 かつ を示す問題です。
問題11は、 が 級のとき、 を示す問題です。
2. 解き方の手順
問題10:
が 級であるとき、偏微分の順序交換定理より、3階までの偏導関数は微分する順序によらず等しくなります。
であり、 です。
偏微分の順序交換定理より、 が成り立ちます。
したがって、 となります。
また、 です。
ここで、 を示します。 は を , , の順に微分したもの、 は を , , の順に微分したものです。偏微分の順序交換定理を2回用いると、 が得られます。
同様に、 であり、 です。
偏微分の順序交換定理より、 が成り立ちます。
したがって、 となります。
また、 です。
ここで、 を示します。 は を , , の順に微分したもの、 は を , , の順に微分したものです。偏微分の順序交換定理を2回用いると、 が得られます。
問題11:
が 級であるとき、偏微分の順序交換定理より、4階までの偏導関数は微分する順序によらず等しくなります。
まず、 を示します。これは、 という関係から、 となります。
次に、 を示します。これは、 という関係から、 です。そして であるから、となります。
最後に、 を示します。これは、 という関係から、 となります。
したがって、 が示されました。
3. 最終的な答え
問題10:
問題11: