フリードリヒの不等式

数学におけるフリードリヒの不等式（フリードリヒのふとうしき、テンプレート:Lang-en-short）とは、テンプレート:仮リンクによる函数解析学の一定理である。函数の弱微分に対する L^p 評価と、その定義域の形状を利用することで、その函数のL^p ノルムに対する評価を与えるものである。ソボレフ空間上のいくつかのノルムが同値であることを示すために利用することが出来る。

不等式の内容

Ω はユークリッド空間 Rⁿ の有界部分集合で、その径は d とする。u : Ω → R はソボレフ空間 $W_0^{k,p}(\mathrm{\Omega })$ に属するものとする（すなわち、u は W^k,p(Ω) に属し、そのトレースはゼロ）。このとき、次が成り立つ。

$\Vert u{\Vert }_{L^p(\mathrm{\Omega })}\le d^k{(\sum _{|\alpha |=k}\Vert {\mathrm{D}}^{\alpha }u{\Vert }_{L^p(\mathrm{\Omega })}^p)}^{1/p}.$

この評価式において

• $\Vert \cdot {\Vert }_{L^p(\mathrm{\Omega })}$ はL^p ノルムを表す；
• α = (α₁, ..., α_n) は多重指数で、そのノルムは |α| = α₁ + ... + α_n である；
• D^αu は次の混合偏導函数である。

${\mathrm{D}}^{\alpha }u=\frac{{\partial }^{|\alpha |}u}{\underset{x_1}{\overset{{\alpha }_1}{\partial }}\cdots \underset{x_n}{\overset{{\alpha }_n}{\partial }}}.$

関連項目

• ポアンカレ不等式