>>357
訂正
>>332
>>311のディクリ汎関数の凸性は最小値を与える解の列u(n)がコーシー列になること使える。
考えるべき解空間が閉じていないと最小値を与える元u=lim{u(n)}がはみ出す。
というわけでノルム∫(Ω)|u|^2dx+∫(Ω)|∇u|^2dxで完備な空間：ソボレフ空間W^(1,2)(Ω)が出てくる。