出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学におけるフリードリヒの不等式(フリードリヒのふとうしき、英: Friedrichs' inequality)とは、カート・フリードリヒ(英語版)による函数解析学の一定理である。函数の弱微分に対する Lp 評価と、その定義域の形状を利用することで、その函数のLp ノルムに対する評価を与えるものである。ソボレフ空間上のいくつかのノルムが同値であることを示すために利用することが出来る。
不等式の内容
Ω はユークリッド空間 Rn の有界部分集合で、その径は d とする。u : Ω → R はソボレフ空間
に属するものとする(すなわち、u は Wk,p(Ω) に属し、そのトレースはゼロ)。このとき、次が成り立つ。
![{\displaystyle \|u\|_{L^{p}(\Omega )}\leq d^{k}\left(\sum _{|\alpha |=k}\|\mathrm {D} ^{\alpha }u\|_{L^{p}(\Omega )}^{p}\right)^{1/p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f23701755f8f8b9a8ea1ed466e7b33afacf9ab58)
この評価式において
はLp ノルムを表す;
- α = (α1, ..., αn) は多重指数で、そのノルムは |α| = α1 + ... + αn である;
- Dαu は次の混合偏導函数である。
![{\displaystyle \mathrm {D} ^{\alpha }u={\frac {\partial ^{|\alpha |}u}{\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{n}}^{\alpha _{n}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dfeb8d70bd25ac5bfbd1f14c5ac65f55d9e9eee)
関連項目