1
$\begingroup$

What (steps) do I need to show to show that Sobolev spaces

$$H_k(\Omega)$$

for all $k \in \mathbb{N}_0$

are Hilbert spaces?


Sobolev space:

Sobolev space $H_k (Ω)$ consists of all functions $u ∈ L_2 (Ω)$ for which the weak partial derivative $∂^α u$ is in $L_2(Ω)$ whenever $α ∈ N_0^n$ and $|α| ≤ k$.

Additionally some definitions may equip this space with an inner product and a norm.

$\endgroup$
  • $\begingroup$ If you already proved it is a vector place with a defined norm, then you only need to show through some dense set that it is complete. $\endgroup$ – JonesY Nov 20 '17 at 12:26
  • $\begingroup$ @JonesY I'm given the definition of Sobolev space with an inner product as well as a norm. By reading something about Hilbert space (this is my first time reading about Sobolev/Hilbert spaces), I believe that 1) Completeness and 2) Having an inner product are enough for a space to be Hilbert. Right? $\endgroup$ – mavavilj Nov 20 '17 at 12:28
  • 1
    $\begingroup$ @mavivilj Yes, If you have it defined as a vector space with a norm. the only thing u need to show is completeness. $\endgroup$ – JonesY Nov 20 '17 at 12:30
  • $\begingroup$ @JonesY What about the inner product? $\endgroup$ – mavavilj Nov 20 '17 at 12:31
  • $\begingroup$ The inner product is only used to define the norm. If you have the definition as a vector space with a norm you can retrieve the inner product $\endgroup$ – JonesY Nov 20 '17 at 12:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.