## Regarding a Feature of Multivariate Real Function

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Any real function can be expressed as a function of the sum of two monotonic real functions?

More precisely, for real function p(x, y), there exist continuous real functions P(x), h(x,y), g(x) such that:

$p(x,y)=P(h(x,y)+g(x))$

Where $P(x), h(x,y), g(x)$ are arbitrary satisfying $\frac {d(g(x))}{dx}>0$, $\frac {\partial h(x,y)}{\partial y}>0$

This is equivalent to mine another question “Solving Functional Equation”. By letting $h(x,y)=ln(w(x,y)), g(x)=-ln(u(x)), p(x,y)=\frac {u(f(x,y))}{u(x)}$, we have:

$p(x,y)=\frac {u(f(x,y))}{u(x)}=F[ln(w(x,y))-ln(u(x))]=F(ln \frac {w(x,y)}{u(x)})=\Psi (\frac {w(x,y)}{u(x)})$

Thank you very much!

-

You seem to be missing a continuity hypothesis on $p$. – Joel David Hamkins Dec 3 2010 at 11:57
I'm voting to close as the question is too localised. But a quick counterexample: Let $p(0,y)$ be some function such that $p(0,y) = 0$. Since $h$ is continuous and monotonic in $y$, there exists some $z_0 \in \mathbb{R}$ and a small $\delta$ such that $P(z) = 0$ whenever $|z-z_0| = \delta$, and such that there is some $(0,y_0)$ such that $h(0,y_0) + g(0) = z_0$. Now using continuity of $g, h$, the function $P(h(x,y) + g(x))$ must vanish on a neighborhood of $(0,y_0)$. So a function like $p(x,y) = xy$ cannot be written in the form you want.  – Willie Wong Dec 3 2010 at 12:00
By setting $P(x)=e^x, g(x)=ln(x), h(x,y)=ln(y)$, we have:  $p(x,y)=xy=e^{ln(xy)}=e^{ln(x)+ln(y)}=P(g(x)+h(x,y))$  Where: $\frac {\partial lnx}{\partial x}=\frac {1}{x}>0$, $\frac {\partial lny}{\partial y}=\frac {1}{y}>0$ for $x>0, y>0$. – Wang Tao Dec 4 2010 at 2:40
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9052067399024963, "perplexity_flag": "head"}