ソボレフ空間
then "f" is in the Sobolev space "H""s"("S"2). In particular, the Sobolev embedding theorem implies that "f" is infinitely differentiable provided that