函数の弱微分に対する "lp" 評価と、その定義域の形状を利用することで、その函数の"lp" ノルムに対する評価を与えるものである。