出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/03/21 17:29 UTC 版)
一般ソボレフ不等式
U は Rn の有界開部分集合で、その境界は C1 であるとする(U は非有界である場合もあるが、その場合の境界は存在するなら十分に良く振る舞うものである)。u ∈ W k,p(U) を仮定し、次の二つの場合を考える。
k < n/p
この場合、u ∈ Lq(U) である。但し
である。さらに次の評価が成り立つ。
この定数 C は k, p, n と U にのみ依存する。
k > n/p
この場合、u はヘルダー空間に属する。より正確に言うと、
が成り立つ。ここで
である。さらに次の不等式が成り立つ。
ここで定数 C は k, p, n, γ と U にのみ依存する。