Sobolev space
where is in the Sobolev space of square-integrable functions on whose partial derivatives defined in the distribution sense are square integrable, and , the Sobolev space of vector fields consisting of square integrable vector fields with square integrable curl.