English

On the Sign Distributions of Hilbert Space Frames

Functional Analysis 2018-12-27 v3 Analysis of PDEs

Abstract

We show that the positive and negative parts uk± u_{k}^{\pm } of any frame in a real L2 L^{2} space with respect to a continuous measure have both "infinite l2 l^{2} masses": 1) always, kuk±(x)2= \sum _{k}u_{k}^{\pm }(x)^{2}=\infty almost everywhere (in particular, there exist no positive frames, nor Riesz bases), but 2) k=1n(uk+(x)uk(x))2 \sum _{k=1}^{n}(u_{k}^{+}(x)-u_{k}^{-}(x))^{2} can grow "locally" as slow as we wish (for n n\longrightarrow \infty ), and 3) it can happen that k=1nuk(x)2=o(k=1nuk+(x)2) \sum _{k=1}^{n}u_{k}^{-}(x)^{2}=\, o(\sum _{k=1}^{n}u_{k}^{+}(x)^{2}), and vice versa, as n n\longrightarrow \infty on a set of positive measure. Property 1) for the case of an orthonormal basis in L2(0,1) L^{2}(0,1) was settled earlier (V. Ya. Kozlov, 1948) using completely different (and more involved) arguments. Our elementary treatment includes also the case of unconditional bases in a variety of Banach spaces. For property 2), we show that, moreover, whatever is a monotone sequence ϵk>0 \epsilon _{k}>0 satisfying kϵk2= \sum _{k}\epsilon ^{2}_{k}=\, \infty there exists an orthonormal basis (uk)k (u_{k})_{k\, }in L2 L^{2} such that uk(x)A(x)ϵk \vert u_{k}(x)\vert \leq \, A(x)\epsilon _{k}, 0<A(x)< 0<A(x)<\, \infty .

Keywords

Cite

@article{arxiv.1812.06313,
  title  = {On the Sign Distributions of Hilbert Space Frames},
  author = {Nikolai Nikolski and Alexander Volberg},
  journal= {arXiv preprint arXiv:1812.06313},
  year   = {2018}
}

Comments

12 pages

R2 v1 2026-06-23T06:43:29.831Z