All Questions

Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$ The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...

Let $f \in H^k(\mathbb{R}^m)$, $k>\frac{m}{2}$. Given any $f$, such that $\|f\|_{H^k(\mathbb{R}^m)}<K$ , and any $\phi \in C^{\infty}(\mathbb{R}^m)\cap H^k(\mathbb{R}^m)$, such that $\|\phi\|_{...

Let $U= (0,1)\times (0,1)$. Consider the weighted Sobolev spaces $H_1$ with the norms $$ \|u\|_{H_1}^2 = \int_0^1 (\int_0^1 x\,|u(x,y)|^2\,dx) \,dy$$ Let $H_2$ be the weighted Sobolev space with the ...

Let $H$ be a hilbert space. A function $v\in L_\text{loc}^1(0,T;H)$ is called the weak derivative of $u \in L_\text{loc}^1(0,T;H)$ iff $$ \int_0^T u(t) \varphi'(t) \, dt = -\int_0^T v(t) \varphi(t) \, ...

Let $H$ be the space of measurable functions on $(0,1)$ such that $$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$ Let $C>0$ be a constant. Suppose that $W \...

The picture below is taken from this paper: http://real.mtak.hu/22877/. The authors claim that the basis of $H^2(\Omega) \cap H^1(\Omega)$ denoted by $\lbrace w_i \rbrace _{i \geq 1}$ can be extended ...