English

Operations that are incompatible with certain systems of translates in $L^2(\mathbb{R})$

Functional Analysis 2025-08-25 v1 Classical Analysis and ODEs

Abstract

We say that a closed subspace MM of L2(R)L^2(\mathbb{R}) admits a \emph{complete set of semi-regular a-translates} if there exist some a>0a>0, finitely many functions g1,,gNg_1,\dots,g_N, some subsets J1,,JNJ_1,\dots,J_N of Z\mathbb{Z} and some finite subsets {α1j}j=1K1,,{αNj}j=1KN\{\alpha_{1j}\}_{j=1}^{K_1},\dots,\{\alpha_{Nj}\}_{j=1}^{K_N} of R\mathbb{R} such that M=span{gi(ak), gi(αij)kJi,1jKi}i=1N.M={\overline{\text{span}}}\{g_i(\cdot-ak), ~g_i(\cdot-\alpha_{ij})\,|\,k\in J_i,1\leq j\leq K_i\,\}_{i=1}^N. Here \cdot denotes a generic variable. In the first half of this paper, we prove that a closed subspace of L2(R)L^2(\mathbb{R}) does not admit a complete set of semi-regular aa-translates if it is closed under modulation or if it is closed under dilation with respect to a scaling factor bb satisfying b0b\neq 0 and b1Z.b^{-1}\notin \mathbb{Z}. We also show that no infinite-dimensional closed subspace of L2(R)L^2(\mathbb{R}) can simultaneously be closed under Fourier transform and admit a complete set of semi-regular aa-translates with a2Qa^2\in \mathbb{Q}, whereas for any a>0a>0, there do exist closed subspaces that are closed under reflection and admit a complete set of semi-regular aa-translates. In the second half, we prove that a closed subspace of L2(R)L^2(\mathbb{R}) does not admit a frame formed by a system of translates if it contains a closed subspace that is closed under modulation and contains a nonzero function in M1(R)M^1(\mathbb{R}). We also prove that no closed subspace of L2(R)L^2(\mathbb{R}) can simultaneously be closed under modulation and admit a Schauder basis of translates generated by finitely many functions in M1(R).M^1(\mathbb{R}). In addition, we present related results concerning the incompatibility between being closed under Fourier transform and the existence of frames or Schauder bases of translates in closed subspaces of L2(R)L^2(\mathbb{R}). All results in this half can be extended to L2(Rd)L^2(\mathbb{R}^d) for any d>1.d>1.

Keywords

Cite

@article{arxiv.2508.16529,
  title  = {Operations that are incompatible with certain systems of translates in $L^2(\mathbb{R})$},
  author = {Pu-Ting Yu},
  journal= {arXiv preprint arXiv:2508.16529},
  year   = {2025}
}

Comments

36 pages, any comment would be greatly appreciated