連続の方法

テンプレート:要改訳 バナッハ空間の数学では、連続の方法(method of continuity)は、他の関係している作用素を変換して有界線型作用素を導く充分条件をもたらす。

定式化

B をバナッハ空間、V をノルム付きベクトル空間とし、$(L_t{)}_{t\in [0,1]}$　を B から V への有界線型作用素のテンプレート:仮リンク(norm)をもつ連続な族とする。ある定数 C が存在し、すべての $t\in [0,1]$ とすべての $x\in B$ に対し、

$\Vert x{\Vert }_B\le C\Vert L_t(x){\Vert }_V$

が成り立つとすると、$L_0$ が全射であることと、$L_1$ が全射であることとは同値である。

応用

連続の方法は、楕円型偏微分方程式の適切な正規解の存在を証明するために、テンプレート:仮リンク(a priori estimate)と一緒に使う。

証明

$L_0$ が全射であれば、$L_1$ が同様に全射であることを示す。

区間 [0,1] を分割し、$\Vert L_0-L_1\Vert \le 1/(3C)$ であることを仮定し、さらに、$L_0$ は V が B に同型であることを意味するので、V はバナッハ空間である。仮定は、$L_1(B)\subseteq V$ が閉空間であることを意味する。 $L_1(B)\subseteq V$ が固有な部分であると仮定する。ハーン-バナッハの定理により、$\Vert y{\Vert }_V\le 1$ であり、$\mathrm{d}\mathrm{i}\mathrm{s}\mathrm{t}(y,L_1(B))>2/3$ であるような点 $y\in V$ が存在する。ここである $x\in B$ に対し $y=L_0(x)$ とし、仮定より $x\in B$ であり $||x|{|}_B\le C||y|{|}_V$ であるので、

$||y-L_1(x)|{|}_V=||(L_0-L_1)(x)|{|}_V\le ||L_0-L_1||||x|{|}_B\le 1/3,$

となる。これは、$L_1(x)\in L_1(B)$ であるので矛盾が起きる。

関連項目

• テンプレート:仮リンク

参考文献

• テンプレート:Citation