>>220
境界に滑らかさとか錘条件とか満たせばOK（レリッヒの定理）
W^(1,2)_0 に取れば境界の仮定は必要無い

このあたりは、偏微分方程式の一般論やね