Given a Hilbert space $\mathcal{H}$.

Consider a normal operator: $$N:\mathcal{D}N\to\mathcal{H}:\quad N^*N=NN^*$$

And its spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H}):\quad N=\int\lambda\mathrm{d}E(\lambda)$$

Construct scale functions: $$\Lambda_s:=\sqrt{1+|\mathrm{id}|^2}^s\in\mathcal{B}(\mathbb{C})$$

As well as scale norms: $$\varphi\in\mathcal{D}\Lambda_s(N):\quad\|\varphi\|_s:=\|\Lambda_s(N)\varphi\|$$

And the scale spaces: $$\mathcal{H}_s:=\overline{\mathcal{D}\Lambda_s(N)}^s:=\widehat{\mathcal{D}\Lambda_s(N)}^s$$

Regard the embeddings: $$\iota:\mathcal{D}\Lambda_s(N)\hookrightarrow\mathcal{D}\Lambda_{s-\varepsilon}(N)\quad(\varepsilon>0)$$

Then one obtains: $$\|\overline{\iota}\|\leq1:\quad\mathcal{N}\overline{\iota}=(0)\quad\overline{\mathcal{R}\overline{\iota}}^{s-\varepsilon}=\mathcal{H}^{s-\varepsilon}$$

How can I prove this?

  • $\begingroup$ ATTENTION: Note that the problem has been extended drastically!! *(The previous answer was fully correct!) $\endgroup$ – C-Star-W-Star Jul 4 '15 at 4:28
  • 1
    $\begingroup$ 12 edits in a relatively short span raise an eyebrow again. Were they necessary? $\endgroup$ – Jyrki Lahtonen Jul 4 '15 at 4:50
  • $\begingroup$ @JyrkiLahtonen: Woow really 12??? Yaa, I edited until I was satisfied with the presentation of the subject. But I'll try to use more sandbox!! (Besides, more or less I'm fine with it now.) $\endgroup$ – C-Star-W-Star Jul 4 '15 at 5:21

The spaces $E[-a,a]\mathcal{H}$, $0 < a < \infty$ are contained in and dense in every scale space.

| cite | improve this answer | |
  • $\begingroup$ Ah of course... I guess you mean their union is a core for any of these? $\endgroup$ – C-Star-W-Star Mar 18 '15 at 15:36
  • 1
    $\begingroup$ @Freeze_S : That's right. For PDEs this normally works out to be a class of infinitely differentiable functions; that's a natural effect of filtering out out the higher spectral components. (It's like truncating the Inverse Fourier transform to a finite interval.) $\endgroup$ – DisintegratingByParts Mar 18 '15 at 18:44
  • $\begingroup$ Hello T.A.E. I couldn't check injectivity. Do you have an idea? $\endgroup$ – C-Star-W-Star Jul 3 '15 at 20:58
  • $\begingroup$ Also would you mind if I add my attempt above??? (I'd be really happy about it.) $\endgroup$ – C-Star-W-Star Jul 3 '15 at 20:59
  • $\begingroup$ Sorry for unchecking your answer. I will check yours again, of course! (People just might get irritated.) $\endgroup$ – C-Star-W-Star Jul 3 '15 at 21:06

Special thanks to T.A.E.!!


They are contractive: $$\|\iota(\varphi)\|_{s-\varepsilon}^2=\int\Lambda_{s-\varepsilon}^2\mathrm{d}\nu_\varphi\leq\int\Lambda_s^2\mathrm{d}\nu_\varphi=\|\varphi\|_s^2$$

For positive scales:* $$s\geq0:\quad\overline{\mathcal{D}\Lambda_s(N)}=\mathcal{D}\Lambda_s(N)\implies\mathcal{N}\overline{\iota}=\mathcal{N}\iota=(0)$$

For negative scales:** $$s<0:\quad\mathcal{N}\overline{\iota}=\mathcal{N}\left(\overline{\Lambda_{-s}}\circ\overline{\iota}\circ\overline{\Lambda_s}\right)=(0)$$

They have dense range: $$\mathcal{H}^{s-\varepsilon}=\overline{\mathcal{D}\Lambda_s(N)}^{s-\varepsilon}=\overline{\iota(\mathcal{D}\Lambda_s(N))}^{s-\varepsilon}\\ =\overline{\overline{\iota}(\mathcal{D}\Lambda_s(N))}^{s-\varepsilon}\subseteq\overline{\overline{\iota}(\mathcal{H}^s)}^{s-\varepsilon}\subseteq\mathcal{H}^{s-\varepsilon}$$

Concluding the assertion.


Injectivity is nontrivial: Embedding

*See the thread: Scale Spaces

**See the thread Scale Operators


Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.