English

Translational absolute continuity and Fourier frames on a sum of singular measures

Functional Analysis 2017-07-14 v2 Classical Analysis and ODEs

Abstract

A finite Borel measure μ\mu in Rd{\mathbb R}^d is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for L2(μ)L^2(\mu). It has been conjectured that a frame-spectral measure must be translationally absolutely continuous, which is a criterion describing the local uniformity of a measure on its support. In this paper, we show that if any measures ν\nu and λ\lambda without atoms whose supports form a packing pair, then νλ+δtν\nu\ast \lambda +\delta_t\ast\nu is translationally singular and it does not admit any Fourier frame. In particular, we show that the sum of one-fourth and one-sixteenth Cantor measure μ4+μ16\mu_4+\mu_{16} does not admit any Fourier frame. We also interpolate the mixed-type frame-spectral measures studied by Lev and the measure we studied. In doing so, we demonstrate a discontinuity behavior: For any anticlockwise rotation mapping RθR_{\theta} with θ±π/2\theta\ne \pm\pi/2, the two-dimensional measure ρθ():=(μ4×δ0)()+(δ0×μ16)(Rθ1)\rho_{\theta} (\cdot): = (\mu_4\times\delta_0)(\cdot)+(\delta_0\times\mu_{16})(R_{\theta}^{-1}\cdot), supported on the union of xx-axis and y=(cotθ)xy=(\cot \theta)x, always admit a Fourier frame. Furthermore, we can find {e2πiλ,x}λΛθ\{e^{2\pi i \langle\lambda,x\rangle}\}_{\lambda\in\Lambda_{\theta}} such that it forms a Fourier frame for ρθ\rho_{\theta} with frame bounds independent of θ\theta. Nonetheless, ρ±π/2\rho_{\pm\pi/2} does not admit any Fourier frame.

Keywords

Cite

@article{arxiv.1707.01545,
  title  = {Translational absolute continuity and Fourier frames on a sum of singular measures},
  author = {Xiaoye Fu and Chun-Kit Lai},
  journal= {arXiv preprint arXiv:1707.01545},
  year   = {2017}
}