Sobolev space
非負整数 と領域 に対し、ソボレフ空間 は 階までの弱微分が全て に属するような -関数を全て含む。 における内積は