Meyers–Serrin theorem

In functional analysis the Meyers–Serrin theorem, named after James Serrin and Norman George Meyers, states that smooth functions are dense in the Sobolev space
for arbitrary domains. A domain is any open, non-empty subset of.

Historical relevance

Originally there were two spaces: defined as the set of all functions which have weak derivatives of order up to k all of which are in and defined as the closure of the smooth functions with respect to the corresponding Sobolev norm. The theorem establishes the equivalence of both definitions. It is quite surprising that, in contradistinction to many other density theorems, this result does not require any smoothness of the domain. According to the standard reference on Sobolev spaces by Adams and Fournier : "This result, published in 1964 by Meyers and Serrin ended much confusion about the relationship of these spaces that existed in the literature before that time. It is surprising that this elementary result remained undiscovered for so long."