The Sobolev space consists of for which
The Local Sobolev space consists of distributions such that for every .
If has degree and principal homogeneous part , then is an elliptic differential operator when
Equivalently, for all sufficiently large real .