ソボレフ不等式
ここで p は、次で与えられる p のソボレフ共役である:
1 p ∗ := 1 p − 1 n . {\displaystyle {\frac {1}{p^{*}}}:={\frac {1}{p}}-{\frac {1}{n}}.}
このようなソボレフ埋蔵定理の特別な場合は、ガリャルド=ニーレンバーグ=ソボレフ不等式(Gagliardo–Nirenberg–Sobolev inequality)の直接的な帰結である。
ソボレフ埋蔵定理の第二の部分は、ヘルダー空間 C(R) の埋め込みに対して適用される。すなわち、α ∈ (0, 1) に対して (k − r − α)/n = 1/p であるなら、次の埋め込みが成立する:
W k , p ( R n ) ⊂ C r , α ( R n ) . {\displaystyle W^{k,p}(\mathbf {R} ^{n})\subset C^{r,\alpha }(\mathbf {R} ^{n}).}
ソボレフ埋蔵定理のこの部分は、モレーの不等式(Morrey's inequality)の直接的な帰結である。直感的に、十分高い階の弱微分の存在は古典的な微分のある種の連続性を意味することを、この包含関係は表している。