A remarkable system of eight functional equations (Q1306342)

If \(\varphi:\mathbb R \to \mathbb R\) is continuous, \(1\)-periodic and even with respect to \(0\) and to \(1/2\), then the function \[ F_{\varphi}(x)=\sum_{k=0}^{+\infty} 2^{-k} \varphi(2^kx) \] satisfies a system \(\Omega\) of eight functional equations. Assume that a function \(g\) satisfies some subset \(S\) of \(\Omega\) and a prescribed regularity property \(R\). Denote by \(S^*_R\) the largest subset of \(\Omega\) which is as well satisfied by \(g\). The author presents a complete solution of the problem: Given any \(S \subset \Omega\), find \(S^*_R\), for three choices of \(R\): empty, bounded, continuous.