Let us define the Sobolev space $H^1(\mathbb{R})$ as the closure of $\mathscr{C_c}^1(\mathbb{R})$ (the continuously differentiable functions on $\mathbb{R}$ with a compact support) for the norm $\int_\mathbb{R} (f^2 + f'^2)$.
I have two questions.
It is well-known that for all function in $H^1(\mathbb{R})$, there exist a continuous representative. Can you confirm me that the functions of $H^1(\mathbb{R})$ are not necessarily continuous but the representative tends to $0$ at $\mp \infty$.
It seems to be true that if $f$ is in $H^1(\mathbb{R})$, $f^2$ is also in $H^1(\mathbb{R})$ but I am surprised that there is not any reference (a book for example) about it.
For the second question, I found the answer in another post : https://math.stackexchange.com/questions/314820/sobolev-space-hs-mathbbrn-is-an-algebra-with-2sn
– Gérard Rozsavolgyi Sep 08 '23 at 09:24