Commit 67dc224b authored by Jannes Bantje's avatar Jannes Bantje

resolve a warning

parent d494793c
Pipeline #52379 passed with stages
in 32 seconds
......@@ -192,11 +192,11 @@ Apart from the inclusions $W^s \to W^t$ for $t \le s$ we may also embed Sobolev
See \cite[Thm.~3.2.7]{ebert_index_lec}.\todo{proof in there is a bit fishy}
\end{proof}
\todo{maybe some background}
\begin{theorem}{Rellich Compactness Theorem}
Let $U \subseteq \mathbb{R}^n$ be relatively compact and $s>t$.
Then $W^s(U) \to W^t$ is a compact operator.
\end{theorem}
\todo{maybe some background}
\begin{proof}
Let $u_n$ be a sequence of smooth functions supported in $U$ with $\norm*{u_n}_s \le 1$.
We have to show, that there is a subsequence converging in the $t$-norm.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment