訂正
f∈W^(1,2)(Ω)に対してF={u∈H^(1,2)(Ω)|u-f∈W_0^(1,2)}対してディリクレ汎関数D[u]=∫(|∇u|^2)dxを最小化せよ
が普通のディリクリの原理