Satz von Meyers-Serrin

Der Satz von Meyers-Serrin oder Satz von Meyers und Serrin, benannt nach Norman George Meyers und James Serrin, ist ein Satz aus der Theorie der partiellen Differentialgleichungen. Er besagt, dass die unendlich oft differenzierbaren Funktionen in Sobolev-Räumen dicht liegen.

Formulierung

Sei $\mathrm{\Omega }\subset {ℝ}^n$ eine offene, nichtleere Teilmenge und seien $1\le p<\mathrm{\infty }$ und $k\in {\mathbb{N}}_0$ Zahlen. Dann liegt der Untervektorraum $C^{\mathrm{\infty }}(\mathrm{\Omega })\cap W^{k,p}(\mathrm{\Omega })$ dicht im Raum $W^{k,p}(\mathrm{\Omega }).$ Dabei bezeichnet $W^{k,p}(\mathrm{\Omega })$ den Sobolev-Raum.

Hilfssätze

Es sei $\mathrm{\Omega }\subset {ℝ}^n$ offen, zusammenhängend und beschränkt. Die auf Kurt Friedrichs zurückgehende (Friedrichssche) Glättungsfunktion (Mollifier) $K\in C_0^{\mathrm{\infty }}({ℝ}^n)$ lautet

$K(x)=\{\begin{array}{cc}\lambda \exp (-\frac{1}{1-|x{|}^2})& \text{für}|x|<1\\ 0& \text{sonst}\end{array}$,

wobei die Konstante $\lambda \in ℝ$ so gewählt werden soll, dass gilt:

$\underset{\mathrm{\Omega }}{\int }K(x)\mathrm{d}x=1$.

Zudem setze

$K_{\epsilon }(x)=\frac{1}{{\epsilon }^n}K\left(\frac{x}{\epsilon }\right)$,

weshalb auch $K_{\epsilon }(x)=0$ für $|x|\geqq \epsilon$ sowie $\Vert K_{\epsilon }{\Vert }_{L^1({ℝ}^n)}=1$ erfüllt sind. Das Faltungsintegral, die Abglättung von $f$:

$f_{\epsilon }(x)=\underset{{ℝ}^n}{\int }{K}_{\epsilon }(x-y)f(y)\mathrm{d}y$

existiert dann und ist beliebig oft differenzierbar für $f\in L^1({ℝ}^n)$.

Satz 1

Sei $1\leqq p<\mathrm{\infty }$. Jeder Funktion $f\in L^p(\mathrm{\Omega })$ und jedem $\epsilon >0$ ordnen wir die regularisierte Funktion (Abglättung):

$f_{\epsilon }(x):=\frac{1}{{\epsilon }^n}\underset{\mathrm{\Omega }}{\int }K\left(\frac{x-y}{\epsilon }\right)f(y)\mathrm{d}y$ mit $x\in \mathrm{\Omega }$,

zu. Dann ist die Abbildung $f\mapsto f_{\epsilon }$ linear von $L^p({ℝ}^n)$ nach $L^p({ℝ}^n)$ und es gilt:

$\Vert f_{\epsilon }{\Vert }_{L^p(\mathrm{\Omega })}\leqq \Vert f{\Vert }_{L^p(\mathrm{\Omega })}\mathrm{\forall }\epsilon >0,f\in L^p(\mathrm{\Omega })$.

Satz 2

Es gelten die folgenden Aussagen:

1. Für $f\in C_0^0(\mathrm{\Omega })$ gilt:

   $\sup {\mathrm{\backslash limits}}_{x\in {ℝ}^n}|f(x)-f_{\epsilon }(x)|\to 0$ für $\epsilon \to 0$.

2. Für $f\in L^p(\mathrm{\Omega })$ mit $1\leqq p<\mathrm{\infty }$ folgt:

   $\Vert f-f_{\epsilon }{\Vert }_{L^p(\mathrm{\Omega })}\to 0$ für $\epsilon \to 0$.

Satz 3

Sei $f\in W^{k,p}(\mathrm{\Omega })$ durch $f\equiv 0$ auf ${ℝ}^n\setminus \mathrm{\Omega }$ fortgesetzt. Für $\epsilon >0$ bezeichnet:

$f_{\epsilon }(x):=\frac{1}{{\epsilon }^n}\underset{{ℝ}^n}{\int }K\left(\frac{x-y}{\epsilon }\right)f(y)\mathrm{d}y$ mit $x\in \mathrm{\Omega }$

die regularisierte Funktion der Klasse $C^{\mathrm{\infty }}(\mathrm{\Omega })$. Dann gilt für alle Multiindizes $\alpha \in {\mathbb{N}}_0^n$ mit $|\alpha |\leqq k$ und alle $0<\epsilon <\mathrm{dist}(x,{ℝ}^n\setminus \mathrm{\Omega })$ die Identität:

${\partial }^{\alpha }{f}_{\epsilon }(x)=(D^{\alpha }f{)}_{\epsilon }(x)$ mit $x\in \mathrm{\Omega }$.

Beweis

Wir wählen ${\mathrm{\Omega }}_j\subset {ℝ}^n$ als offene Mengen mit $j\in {\mathbb{N}}_0$ mit:

$\mathrm{\varnothing }\subset {\mathrm{\Omega }}_0\subset {\mathrm{\Omega }}_1\subset {\mathrm{\Omega }}_2\subset \dots \subset \mathrm{\Omega }$ sowie $\overline{{\mathrm{\Omega }}_j}\subset {\mathrm{\Omega }}_{j+1}$ mit $j\in {\mathbb{N}}_0$,

so dass gilt:

$\bigcup _{j=1}^{\mathrm{\infty }}{\mathrm{\Omega }}_j=\mathrm{\Omega }$.

Weiter sei ${\mathrm{\Psi }}_j\in C_0^{\mathrm{\infty }}(\mathrm{\Omega })$ eine dem Mengensystem ${\{{\mathrm{\Omega }}_{j+1}\setminus \overline{{\mathrm{\Omega }}_{j-1}}\}}_{j\in \mathbb{N}}$ untergeordnete Zerlegung der Eins, d. h., es seien:

$\mathrm{supp}{\mathrm{\Psi }}_j\subset {\mathrm{\Omega }}_{j+1}\setminus \overline{{\mathrm{\Omega }}_{j-1}}$ und $\sum _{j=1}^{\mathrm{\infty }}{\mathrm{\Psi }}_j(x)=1$ mit $x\in \mathrm{\Omega }$.

Zu vorgegebenem $\epsilon >0$ wählen wir nun ${\epsilon }_j>0$, so dass ${\epsilon }_j<\mathrm{dist}({\mathrm{\Omega }}_{j+1},\partial \mathrm{\Omega })$ sowie:

${\Vert ({\mathrm{\Psi }}_{j}f{)}_{{\epsilon }_j}-({\mathrm{\Psi }}_{j}f)\Vert }_{W^{k,p}(\mathrm{\Omega })}\leqq \frac{\epsilon }{2^j}$

gemäß den Hilfssätzen (insbesondere laut des Satzes 1: der Vertauschung schwacher Ableitungen mit der Abglättung nach Kurt Friedrichs) richtig ist. Nun gelten:

$g(x):=\sum _{j=1}^{\mathrm{\infty }}({\mathrm{\Psi }}_{j}f{)}_{{\epsilon }_j}(x)\in C^{\mathrm{\infty }}(\mathrm{\Omega })$

sowie

$\Vert g-f{\Vert }_{W^{k,p}(\mathrm{\Omega })}={\Vert \sum _{j=1}^{\mathrm{\infty }}({\mathrm{\Psi }}_{j}f{)}_{{\epsilon }_j}-\sum _{j=1}^{\mathrm{\infty }}({\mathrm{\Psi }}_{j}f)\Vert }_{W^{k,p}(\mathrm{\Omega })}\leqq \sum _{j=1}^{\mathrm{\infty }}{\Vert ({\mathrm{\Psi }}_{j}f{)}_{{\epsilon }_j}-({\mathrm{\Psi }}_{j}f)\Vert }_{W^{k,p}(\mathrm{\Omega })}$

resp. zusammen mit der Wahl der ${\epsilon }_j>0$:

$\Vert g-f{\Vert }_{W^{k,p}(\mathrm{\Omega })}\leqq \sum _{j=1}^{\mathrm{\infty }}\frac{\epsilon }{2^j}=\epsilon$.

Da $f\in W^{k,p}(\mathrm{\Omega })$ ist, folgt auch $g\in W^{k,p}(\mathrm{\Omega })$.

Bemerkungen

Es gilt folgende Inklusion:

$C^{k,p}(\mathrm{\Omega })\subset W^{k,p}(\mathrm{\Omega })\subset L^p(\mathrm{\Omega })$.

Der Raum $C^{k,p}(\mathrm{\Omega })$ ist bezüglich der $W^{k,p}(\mathrm{\Omega })$-Norm nicht abgeschlossen. Gemäß dem Satz von Meyers-Serrin können wir jedoch $W^{k,p}(\mathrm{\Omega })$ gerade als die Vervollständigung von $C^{k,p}(\mathrm{\Omega })$ unter dieser Sobolev-Norm auffassen. Die partiellen Ableitungen können als stetige Operatoren auf diesen Sobolev-Räumen zu den uns bekannten schwachen Ableitungen fortgesetzt werden.

Bedeutung

• In der älteren Theorie hatte man die Räume $H^{k,p}(\mathrm{\Omega })$ als die Abschlüsse von $C^{\mathrm{\infty }}(\mathrm{\Omega })\cap W^{k,p}(\mathrm{\Omega })$ in $W^{k,p}(\mathrm{\Omega })$ definiert. Der Satz von Meyers-Serrin besagt, dass die H-Räume mit den W-Räumen zusammenfallen, was den kurzen Titel der unten angegebenen Originalarbeit erklärt.
• Die Definitionsbedingungen für Sobolev-Räume verwenden den Begriff der schwachen Ableitung, gewisse schwache Ableitungen müssen im L^p-Raum $L^p(\mathrm{\Omega })$ liegen. Indem man dieselben Bedingungen für den klassischen Ableitungsbegriff verwendet, kann man die Menge der $C^{\mathrm{\infty }}$-Funktionen konstruieren, die diese Bedingungen erfüllen, und dann vervollständigen. Der Satz von Meyers-Serrin sagt aus, dass man auf diese Weise dieselben Räume erhält; der Begriff der schwachen Ableitung lässt sich an dieser Stelle also vermeiden.
• Es ist bemerkenswert, dass dieser Satz im Gegensatz zu anderen Dichtheitssätzen über Sobolev-Räume ohne zusätzliche Regularitätsvoraussetzungen an den Rand $\partial \mathrm{\Omega }$ auskommt.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur