フリードリヒの不等式

3行要約

1. ソボレフ空間において、関数のL2ノルムをその勾配のL2ノルムで抑える不等式。
2. 境界で値がゼロとなる関数に対し、領域の大きさに依存する定数が現れる。
3. 偏微分方程式の解の存在証明や、数値解析における誤差評価に不可欠である。