On continuous solutions of a functional equation (Q4337528)

Let \(X,Y\) be two topological spaces, \(f\) be a homeomorphism \(X\) onto \(f(X)\subset Y\), \(\xi\in f(X)\) and let \(g: X\times Y\to Y\) be continuous. Suppose that each neighbourhood \(U\) of \(\xi\) contains a neighbourhood \(W\) of \(\xi\) such that \[ \text{cl }f(W)\subset W\subset U. \] Define \[ V_0:=f(W), \qquad P:=\bigcap_{k=0}^\infty f^k(V_0), \] \[ A_0=\text{cl } V_0\setminus \text{cl } f(V_0) \quad\text{and}\quad C_1=f(\text{cl }V_0\setminus V_0). \] The author gives some conditions under which every continuous function \(\psi:A_0\cup C_1\to Y\) such that \(\psi(x)= g(f^{-1}(x), \psi(f^{-1}(x))\) for \(x\in C_1\) can be extended to a continuous solution of the functional equation \[ \varphi[f(x)]= g(x,\varphi(x)) \] on \(X\setminus P\).