# Asking Mathematica to produce a function of some variables

Given $$l_0=\sqrt{\frac{\lambda_1(\lambda_0+\mu_0)}{\lambda_0(\lambda_1+\mu_1-1)}}$$

and

$$l_1=\sqrt{\frac{\lambda_0(\lambda_1+\mu_1)}{\lambda_1(\lambda_0+\mu_0-1)}}$$

l0 = Sqrt[(λ1*(λ0 + μ0))/(λ0*(λ1 + μ1 - 1))]
l1 = Sqrt[(λ0*(λ1 + μ1))/(λ1*(λ0 + μ0 - 1))]


Is there any way to ask mathematica to determine if some functions $f_0$ and $f_1$ exist such that

$$f_0(l_0,l_1)=\frac{1}{\sqrt{\frac{\lambda_0+\mu_0}{\lambda_0}}}$$

and

$$f_1(l_0,l_1)=\frac{1}{\sqrt{\frac{\lambda_0+\mu_0-1}{\lambda_0}}}$$

f0[l0, l1] = 1/Sqrt[(λ0 + μ0)/λ0]
f1[l0, l1] = 1/Sqrt[(λ0 + μ0 - 1)/λ0]

-
You can try sol1 = Solve[{l0 == 1/Sqrt[(\[Lambda]0 + \[Mu]0)/\[Lambda]0], l1 == 1/Sqrt[(\[Lambda]0 + \[Mu]0 - 1)/\[Lambda]0]}, {\[Lambda]1, \[Mu]1}] and Simplify[{l0, l1} /. sol1] for a start. – b.gatessucks Aug 10 '13 at 14:00
Can f0 and f1 contain lambdas and mus in addition to l0 and l1? – David Park Aug 10 '13 at 14:52
@DavidPark should contain only $l0$ and $l1$ – Seyhmus Güngören Aug 10 '13 at 20:39

From the wording of your post, you seem to ask whether there are functions $f_0$ and $f_1$, which have only two slots f0[slot1,slot2], such that when composed with the functions $l_0$ and $l_1$, which are functions with 4 variables {λ0,λ1,μ0,μ1}, return the given values.

Let us use Mathematica to write the rhs of $f_0$ and $f_1$ in terms of $l_0$, $l_1$, $μ_0$, and $μ_1$. That is, let us move from the space where {λ0,λ1,μ0,μ1} are the variables to the space where {l0,l1,μ0,μ1} are the variables.

fromλToL = Solve[{l0 == Sqrt[(λ1*(λ0 + μ0))/(λ0*(λ1 + μ1 - 1))],
l1 == Sqrt[(λ0*(λ1 + μ1))/(λ1*(λ0 + μ0 - 1))]}, {λ0, λ1}][[1]];
FullSimplify[{f0[l0, l1] == 1/Sqrt[(λ0 + μ0)/λ0],
f1[l0, l1] == 1/Sqrt[(λ0 + λ0 - 1)/λ0]} /.
fromλToL, Assumptions -> l0 > 0 && l1 > 0]


It becomes obvious now that $f_0$ and $f_1$ cannot be functions of just $l_0$ and $l_1$.

Another reasoning that leads to the same answer: If there were those two functions $f_0$ and $f_1$ then the composition with the two functions $l_0$ and $l_1$ yield functions of {λ0,λ1,μ0,μ1}. Take derivatives of $f_0(l_0(λ0,λ1,μ0,μ1),l_1(λ0,λ1,μ0,μ1))=rhs0$ and $f_1(l_1(λ0,λ1,μ0,μ1))=rhs1$ respect to λ0,λ1,μ0, and μ1. You will get 8 differential equations. You can then prove (by solving for the derivatives and then replacing those derivatives in the remaining equations) that such a system of equations has no solution.

-
{"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": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}