変分法における直接解法

数学の一トピックである変分法における直接解法（ちょくせつかいほう、）とは、与えられた汎函数に対する最小点の存在の証明を構築するための一般的な手法である。1900年頃に、ザレンバとダフィット・ヒルベルトによって導入された。この手法は、函数解析学とトポロジーの手法に依拠するものである。解の存在を証明するために用いられるのと同様に、直接解法は解を所望の精度で計算するために用いられることもある。

解法 
変分法では、ある函数空間  と  に対する汎函数  が扱われる。その主な興味は、そのような汎函数の最小点 (minimizer)、すなわち  が任意の  に対して成り立つような函数  を見つけることである。

函数が最小点であるための必要条件を得る上での標準的な道具は、オイラー＝ラグランジュ方程式である。しかし、それらを満たす函数の中から最小点を見つける方法は、前もって最小点の存在が示されていない場合には誤った結論を導くこともある。

汎函数  が最小点を持つためには、下に有界である必要がある。すなわち

が成立する必要がある。この条件は、最小点が存在することを示す上で十分ではないが、最小化列 (minimizing sequence)、すなわち  を満たす  内の列  の存在を示す。

直接解法は次の手順で行われる：
  に対する最小化列  を取る。
  には、 上の位相  に関して  に収束するある部分列が存在することを示す。
  は位相  に関して列的に下半連続であることを示す。

このことが最小点の存在を示すことを確かめる上で、次のような列的に下半連続な函数の特徴付けを行う。

 函数  が列的に下半連続であるとは、
 が  内の任意の収束列  に対して成り立つ
ことを言う。

結論は次より成り立つ：

これはすなわち、次を意味する。

詳細

バナッハ空間 

直接解法はしばしば、可分かつ回帰的なバナッハ空間  の部分集合として空間  が与えられる場合に適用される。この場合、列的バナッハ＝アラオグルの定理は、 内の任意の有界列  は、弱位相に関して  内のある  に収束する部分列を持つ。 が  内において列的に閉で、したがって  が  に属する場合は、直接解法は次を示すことによってある汎函数  に対して適用される。
  は下に有界
  に対する任意の最小化列は有界
  は弱列的下半連続、すなわち、任意の弱収束列  に対して  が成り立つ。

この二番目は、通常  がある成長条件を許すことを示すことによって示される。その一例は次のようなものである。

 for some ,  and .

この性質を持つ汎函数はしばしば強圧的（coercive）と呼ばれる。列的下半連続性は、直接解法を適用する上で通常最も難しい条件である。より一般の汎函数のクラスに対する定理は次節を参照されたい。

ソボレフ空間 

変分法における典型的な汎函数は、次の形式の積分である。

ここで  は  の部分集合であり、 は  上の実数値函数である。 の引数は微分可能な函数  で、そのヤコビアン  は -ベクトルと結び付けて考えられる。

オイラー＝ラグランジェ方程式を導出する際の一般的なアプローチは、 の境界が  であり、 の定義域が  であるとするものである。この空間は上限ノルムが備えられるときにバナッハ空間となるが、回帰的ではない。直接解法が適用される場合、汎函数は通常  であるようなソボレフ空間  に対して定義される。そのような空間は回帰的なバナッハ空間である。このとき、 の式における  の微分は、弱微分として取られる。次節では、上述のタイプの汎函数の弱列的下半連続性に関する二つの定理を紹介する。

積分の列的下半連続性 

変分法における多くの汎函数は次の形式を取る：

ここに  は開である。したがって、 内において  が弱列的下半連続となるような函数  の特徴付けが非常に重要となる。

一般に、次が成り立つ。
 は次を満たす函数とする。
 函数  はほとんどすべての  に対して連続である；
 函数  はすべての  に対して可測である；
  が、固定された （但し ）、固定された 、ほとんどすべての  とすべての  に対して成り立つ（ここに  は、 内での  と  の内積を意味する ）。

次が成立する。函数  がほとんどすべての  とすべての  に対して凸であるなら、 は列的に下半連続である。

 あるいは  のとき、逆のような次の定理が成立する。
 は連続で、

がすべての  と、 と  について増加で  について局所可積分であるような固定された函数  に対して成立すると仮定する。このとき、 が列的に弱下半連続であるなら、任意の与えられた  に対して函数  は凸となる。

結論として、 あるいは  で、 について意義のある成長と有界性を仮定するとき、汎函数  が弱列的下半連続であるための必要十分条件は、函数  が凸であることである。 と  のいずれも 1 より大きいなら、凸性への必要性はより一般の凸性、すなわち多凸性や準凸性へと弱めることが出来る。

注釈

参考文献 
 
 
 Jindřich Nečas: Direct Methods in the Theory of Elliptic Equations. (Transl. from French original 1967 by A.Kufner and G.Tronel), Springer, 2012, ISBN 978-3-642-10455-8.

変分法
数学に関する記事