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