「ヤングの定理」の版間の差分

提供: miniwiki
移動先:案内検索
ja>Cewbot
(bot: 解消済み仮リンク原点リーブラケットを内部リンクに置き換える)
 
(1版 をインポートしました)
 
(相違点なし)

2018/8/19/ (日) 16:57時点における最新版

ヤングの定理(ヤングのていり、: Young's theorem[1])は、ある条件の下で多変数関数に対する偏微分の順序を交換できることを述べる定理である(下記参照)。ヤングの定理はしばしば二階導関数の対称性: symmetry of second derivatives)、または混合微分の等価性: equality of mixed partials)とも呼ばれる。n 変数の関数 f (x1, x2, ..., xn) について、xi に関する偏導関数を fi のように下付きの添え字 i で表せば、二階導関数の対称性とは、二階の偏導関数 fij とは、関数 f

[math]f_{ij}=f_{ji}[/math]

を満たすことをいう。このとき関数 f の二階導関数 fij が成す行列ヘッセ行列)は n対称行列を成す。

偏微分方程式の文脈では、それはシュワルツの可積分条件: Schwarz integrability condition)と呼ばれる。

ヘッセ行列

f の二階偏導関数からなる n × n の行列 fijfヘッセ行列と呼ばれる。主対角線を除いた成分は混合導関数: mixed derivative)である。つまり、異なる変数に関する逐次導関数である。

大抵の「実生活の」状況においてはヘッセ行列は対称である。しかしながら、対称性を持たない関数の例はとても多く、解析学は、関数 f にこの対称性を仮定することが、単に f の二階導関数が特定の点で存在することよりも強い要求であることを明らかにする。シュワルツの定理はこれが起こる f についての十分条件を与える。

形式的表現

二階偏導関数の対称性はたとえば、記号的には、

[math]\frac {\partial}{\partial x} \left( \frac { \partial f }{ \partial y} \right) = \frac {\partial}{\partial y} \left( \frac { \partial f }{ \partial x} \right)[/math]

であると言い表せる。この等式は

[math]\partial_{xy} f = \partial_{yx} f[/math]

とも書ける。あるいは、対称性は xi についての偏導関数を取る微分作用素 Di に関する代数的ステートメントとしても書ける:

[math]D_i \cdot D_j = D_j \cdot D_i.[/math]

この関係から Di によって生成される定数係数を持つ微分作用素の可換であることが従う。しかしもちろんこれらの作用素の定義域を明確にしなければならない。単項式が対称性を持つことを確認するのは容易であり、したがって定義域として xi たちの多項式を取ることができる。実際には滑らかな関数を定義域にとることが可能である。

シュワルツの定理{{safesubst:#invoke:Anchor|main}}

解析学において、シュワルツの定理: Schwarz' theorem)またはクレローの定理: Clairaut's theorem[2])とは、ヘルマン・シュワルツ (Hermann Schwarz)アレクシス・クレロー (Alexis Clairaut) に因む定理で、次のことを述べる:

[math]f \colon \mathbb{R}^n \to \mathbb{R}[/math]

Rn 上の与えられた任意の点 (a1, ..., an)連続な二階偏導関数を持つなら、それらの偏導関数は以下の関係を満たす。

[math]\frac{\partial^2 f}{\partial x_i\, \partial x_j}(a_1, \dots, a_n) = \frac{\partial^2 f}{\partial x_j\, \partial x_i}(a_1, \dots, a_n) \qquad \forall i, j \in \{ 1,2,\ldots, n\}.\,\![/math]

すなわち、この関数の偏微分は点 (a1, ..., an)可換English版である。(n = 2, i = 1, j = 2 の場合に、これから直ちに一般の結果が従うが)この定理を証明する簡単な方法として、1 つにはグリーンの定理f勾配に適用する方法がある。

超関数による定式化

シュワルツの超関数の理論は対称性の解析的問題を除去する。任意の可積分関数の導関数は超関数として定義でき、この意味で、混偏導関数の対称性は常に成り立つ。超関数の微分は形式的な部分積分によって定義され、偏導関数の対称性の問題はテスト関数の対称性に帰着するが、テスト関数は滑らかであり確かにこの対称性を満たす。より詳細には、f をテスト関数上の作用素として書かれた超関数、φ をテスト関数として、

[math] (D_1D_2f)[\phi] = -(D_2f)[D_1\phi] = f[D_2D_1\phi] = f[D_1D_2\phi] = -(D_1f)[D_2\phi] = (D_2D_1f)[\phi] .[/math]

別のアプローチとして、関数のフーリエ変換を定義する方法がある。そのような変換の下では、偏微分は乗算作用素になり、それらは明らかに交換する。

連続性の要求

関数がクレローの定理の仮定を満たさない場合、例えば導関数が連続でないとき、偏導関数の対称性は成り立たないことがある。

ファイル:Graph001.png
方程式 テンプレート:EquationNote において示されている関数 f(x, y) は原点において対称な二階微分を持たない。

非対称な関数の例: テンプレート:NumBlk この関数はいたるところで連続だが、その代数的導関数は原点において未定義English版である。x 軸に沿って y 導関数は y f |(x, 0) = x であり、したがって:

[math]\partial_x\partial_y f|_{(0,0)} = \lim_{\epsilon \to 0} \frac { \partial_y f|_{(\epsilon,0)}-\partial_y f|_{(0,0)} } \epsilon = 1.[/math]

同様に y 軸に沿って x 導関数 は x f |(0, y) = −y であり、したがって yxf |(0, 0) = −1 である。つまり、(0, 0) においては、xyf ≠ ∂yxf であり、この関数の混偏導関数が存在し他のすべての点において対称性を持つにもかかわらず、原点では非対称である。

一般に、極限操作の交換English版可換であるとは限らない。(0, 0) の近くの二変数と、h → 0 を最初にするのに対応するのと k → 0 を最初にするのに対応する

[math]f(h,k) - f(h,0) - f(0,k) + f(0,0)[/math]

上の 2 つの極限過程が与えられると、一次の項を見て、どちらが最初に適用されるかが問題になり得る。これは二階導関数が対称でない病的な例の構成を導く。この種の例は関数の各点ごとの値が問題になる実解析 (real analysis) の理論に属する。超関数と見たときには二階偏導関数の値は任意の点集合においてこれがルベーグ測度 0 である限り変えることができる。上の例においてヘッセ行列は (0, 0) を除いていたるところ対称であるから、シュワルツの超関数と見てヘッセ行列が対称であるという事実と全く矛盾はない。

リー代数

一階微分作用素 Diユークリッド空間上の無限小作用素English版と考える。つまり、Di はある意味 xi 軸に平行な変換1-パラメータ群English版を生成する。これらのは互いに交換し、したがって無限小生成元もそうである。リーブラケット

[math]\left[D_i, D_j\right] = 0[/math]

はこの性質の反映である。言い換えると、別の座標に関する 1 つの座標のリー微分0 である。

出典

参考文献

関連項目