I'm looking for a sequence of smooth functions $f\_i(x)$ converging to [Sign](http://en.wikipedia.org/wiki/Sign_function)$(x)$, each of which additionally have the following property:


\begin{equation}
f\_i(x\_1+x\_2) = g\_i(x\_1, f\_i(x\_2))
\end{equation}


for some $g\_i$


Also, is there a name for a function that satisfies just the decomposability constraint above?



Sequence of smooth functions converging to sgn(x)
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 continuous, 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.


