>>179
Ωが有界領域でないと、ソボレフの埋め込みW^(1,2)→L^2がコンパクトにならない
コンパクト埋め込みでないと、一般にL2で極限が存在しない