2
votes
1answer
55 views

So $k^2-\Delta: H_{s+2}\to H_{s}$ is a homeomorphism, but what does that tell us?

For each $t\in\mathbb{R}$, we define the Sobolev space \begin{equation} H_t=\{u\in\mathcal{S}':\int(1+|y|^2)^t|\hat{u}(y)|^2dy<+\infty\}, \end{equation} where $\mathcal{S}'$ is the space of ...
0
votes
2answers
137 views

How to cook up test functions?

Let $\Omega\subset \mathbb{R}$ be open. A test function is a $C^\infty$ function with compact support. This is a rather strong restriction, for instance, no analytic function is a test function. But ...
1
vote
1answer
59 views

Nice example where $D^{\alpha}\Lambda_{f}\neq\Lambda_{D^{\alpha}f}$?

Let $\Omega\subset\mathbb{R}^n$ be open and $f$ be a locally integrable function. The distribution associated with $f$, $\Lambda_{f}\in D'(\Omega)$, is defined via \begin{equation} ...
5
votes
2answers
283 views

Square root of compactly supported C-infinity function

Given $u \in \mathcal{C}^\infty_0(\mathbb{R}^n)$, $u \geq 0$ everywhere, is $v(x) = \sqrt{u(x)}$ also in $\mathcal{C}^\infty_0$? It is clear that the only problematic points are the boundary of the ...