sobolev hls