フリードリヒの不等式

数学におけるフリードリヒの不等式（フリードリヒのふとうしき、）とは、による函数解析学の一定理である。函数の弱微分に対する "Lp" 評価と、その定義域の形状を利用することで、その函数の"Lp" ノルムに対する評価を与えるものである。ソボレフ空間上のいくつかのノルムが同値であることを示すために利用することが出来る。
不等式の内容.
Ω はユークリッド空間 R"n" の有界部分集合で、その径は "d" とする。"u" : Ω → R はソボレフ空間 formula_1 に属するものとする（すなわち、"u" は "W""k","p"(Ω) に属し、そのトレースはゼロ）。このとき、次が成り立つ。