ソボレフ空間
Where formula_4. This is quantity is the same as the squared seminorm formula_5of the solution in the Sobolev space formula_6.