English

A zero-sqrt(5)/ 2 law for cosine families

Functional Analysis 2015-05-25 v1

Abstract

Let aR,a \in \R, and let k(a)k(a) be the largest constant such that supcos(na)cos(nb)\textlessk(a)sup\vert cos(na)-cos(nb)\vert \textless{} k(a) for bRb\in \R implies that b±a+2πZ.b \in \pm a+2\pi\Z. We show that if a cosine sequence (C(n))_nZ(C(n))\_{n\in \Z} with values in a Banach algebra AA satisfies sup_n1C(n)cos(na).1_A\textlessk(a),sup\_{n\ge 1}\Vert C(n) -cos(na).1\_A\Vert \textless{} k(a), then C(n)=cos(na)C(n)=cos(na) for nZ.n\in \Z. Since 52k(a)833{\sqrt 5\over 2} \le k(a) \le {8\over 3\sqrt 3} for every aR,a \in \R, this shows that if some cosine family (C(g))_gG(C(g))\_{g\in G} over an abelian group GG in a Banach algebra satisfies sup_gGC(g)c(g)\textless52sup\_{g\in G}\Vert C(g)-c(g)\Vert \textless{} {\sqrt 5\over 2} for some scalar cosine family (c(g))_gG,(c(g))\_{g\in G}, then C(g)=c(g)C(g)=c(g) for gG,g\in G, and the constant 52{\sqrt 5\over 2} is optimal. We also describe the set of all real numbers a[0,π]a \in [0,\pi] satisfying k(a)32.k(a)\le {3\over 2}.

Keywords

Cite

@article{arxiv.1505.06064,
  title  = {A zero-sqrt(5)/ 2 law for cosine families},
  author = {Jean Esterle},
  journal= {arXiv preprint arXiv:1505.06064},
  year   = {2015}
}