I have the equation
$$h(x,k(y,z))=f(y,g(y,x)+t(y,z)), \tag{*}\label{equation}$$
where
- $h,k,f,g,t$ are continuous real valued functions.
- $h,f$ are strictly monotone in their second argument.
- all functions are "sensitive" to each of the arguments - in some natural sense (if $x,y,z,$ are real numbers, just suppose that all functions are strictly monotone in each of their arguments).
- $x,y,z$ are from some "well behaved" topological space (connected, ...) - you can assume that they are from some real connected interval.
I want to show that $g$ is additive, in the sense that: $g(y,x)=g_{y}(y)+g_{x}(x)$ (and that $h$ and $f$ are strictly monotone transformations of an additive function).
The reason I think this is true is that in the right-hand side of \eqref{equation}, $x$ is only "tied to" $y$ not $z$, while on the left hand side it is "tied to" a function of both $y$ and $z$.
More specifically, by \eqref{equation} we have:
$$k(y,z)=h^{-1}(x,f(y,g(y,x)+t(y,z))) \tag{**}\label{equation_a}$$
(where $h^{-1}$ is the the inverse of $h$ on the second argument, that is: $h(a,h^{-1}(a,v))=v$).
So, the right-hand side of \eqref{equation_a} must be independent of $x$. Is there any option but that $g$ is additive? I do not know how to go about attacking this. What theorems/tools are available?
Thanks,
No comments:
Post a Comment