Skip to main content
2 of 3
additional answer
Barry Cipra
  • 5.4k
  • 1
  • 33
  • 29

Let $f_i$ be any sequence of strictly increasing smooth functions that converge to the Sign function, such as $f_i(x) = \tanh(ix)$, and let $g_i$ be defined by $g_i(x,y) = f_i(x+f_i^{-1}(y))$ for $y$s in the range of $f_i$ (e.g., $-1 < y < 1$) and however you like elsewhere (since the problem posits no smoothness or even any continuity conditions on $g$). This takes care of the specific problem.

In general, any continuous function satisfying the "decomposability constraint" is either constant or strictly monotonic. Indeed, suppose $f$ is not strictly monotonic, so that (courtesy of the Intermediate Value Theorem) $f(a)=f(b)$ for some $a \ne b$. Then

$$f(x+a)=g(x,f(a))=g(x,f(b))=f(x+b),$$

from which it follows (by substituting $x-a$ for $x$ in the displayed equation) that $f$ is periodic with period $b-a$. Since $f$ is continous, there are values $c$ and $d$ between $a$ and $b$ with $f(c)=f(d)$ and $|c-d|$ arbitrarily small (think points to either side of where $f$ takes its maximum value). Hence $f$ is periodic with arbitrarily small period -- which is to say, constant.

Barry Cipra
  • 5.4k
  • 1
  • 33
  • 29