Meyers–Serrin theorem

You can help expand this article with text translated from the corresponding article in German. (October 2021) Click [show] for important translation instructions.

Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia.
Consider adding a topic to this template: there are already 1,897 articles in the main category, and specifying|topic= will aid in categorization.
Do not translate text that appears unreliable or low-quality. If possible, verify the text with references provided in the foreign-language article.
You must provide copyright attribution in the edit summary accompanying your translation by providing an interlanguage link to the source of your translation. A model attribution edit summary is Content in this edit is translated from the existing German Wikipedia article at [[:de:Satz von Meyers-Serrin]]; see its history for attribution.
You may also add the template {{Translated|de|Satz von Meyers-Serrin}} to the talk page.
For more guidance, see Wikipedia:Translation.

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 $W^{k,p}(\Omega )$ for arbitrary domains $\Omega \subseteq \mathbb {R} ^{n}$ .

Historical relevance

Originally there were two spaces: $W^{k,p}(\Omega )$ defined as the set of all functions which have weak derivatives of order up to k all of which are in $L^{p}$ and $H^{k,p}(\Omega )$ defined as the closure of the smooth functions with respect to the corresponding Sobolev norm (obtained by summing over the $L^{p}$ norms of the functions and all derivatives). The theorem establishes the equivalence $W^{k,p}(\Omega )=H^{k,p}(\Omega )$ 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 $\Omega$ . According to the standard reference on Sobolev spaces by Adams and Fournier (p 60): "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."

References

Adams, Robert A.; Fournier, John J.F. (2003), Sobolev Spaces, Elsevier.
Norman G, Meyers; Serrin, James (1964), "H = W", Proceedings of the National Academy of Sciences, 51 (6): 1055–1056, Bibcode:1964PNAS...51.1055M, doi:10.1073/pnas.51.6.1055, PMC 300210, PMID 16578565.

Functional analysis (topics – glossary)

Spaces

Banach Besov Fréchet Hilbert Hölder Nuclear Orlicz Schwartz Sobolev Topological vector
Properties	Barrelled Complete Dual (Algebraic/Topological) Locally convex Reflexive Separable