Tuesday, 20 August 2013

Does $H(\operatorname{div})$ have a Schauder basis?

Does $H(\operatorname{div})$ have a Schauder basis?

Let $\Omega$ an open bounded subset of $\mathbb{R}^n$, $n\in\{2,3\}$, and
let $$H(\operatorname{div};\Omega):=\{v\in L^2(\Omega):\operatorname{div}v
\in L^2(\Omega)\}.$$
My question is: does $H(\operatorname{div};\Omega)$ have a Schauder basis?
If the answer is "yes", I can justify the existence of a collection of
projectors $P_m:H\to H_m$ uniformly bounded that converges pointwise to
identity, where $\{H_m\} $ is a increasing sequence of finite dimentional
subspaces of $H(\operatorname{div};\Omega)$ ( this is possible 'cause this
greater space is separable).

No comments:

Post a Comment