Consider the following two expressions:

f[x_,y_] := (1+x)
g[x_,y_] := (1+x*y^2)

x,y are bounded in a unit hypercube. (Ignore the fact that f[x,y] does not have y-dependence, this is a toy example). I want to find


Now in this case, g[x,y] will always give the minimum i.e. one can remove the minimum condition

expr=Min[f[x,y],g[x,y]] == g[x,y]

Question: Is there any way to achieve this i.e. to know g[x,y] is always the minimum?

What Mathematica can do, is find the range for (x,y) for which each of these functions are minimum or can also find the minimum value for each of these functions, eg. using FindMinimum, FindMinValue. The minimum value for these two functions is 1 but not necessarily for the same values of (x,y) eg. g[x,y] can give the minimum 1 even when x!=0 & y=0. Also whenever f[x,y] gives minimum (for x=0), this automatically enforces g[x,y] to be minimum, leading to the deduction that expr=g[x,y]. Any suggestion?

  • $\begingroup$ Don't understand " x,y are bounded in a unit hypercube". How to calculate 1+x? $\endgroup$
    – user64494
    Feb 8 at 13:32

1 Answer 1


In two lines.

FullSimplify[Min[1 + x, (1 + x*y^2)], 
Assumptions -> x >= 0 && x <= 1 && y >= 0 && y <= 1]

1 + x y^2


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.