Mathematica Stack Exchange is a question and answer site for users of Mathematica. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a complex function of a single variable expressed in analytical form, which also depends on a parameter. I would like to have Mathematica show me for which values of the parameter the real part of the second derivative of the function is always positive.

Strictly speaking, maybe I have given too much detail here, the real part/derivative stuff is ultimately inessential, what I want Mathematica to do is to tell me for what choices of a parameter a real function is positive everywhere. I hope the question is clear, though.

share|improve this question
If you need a numerical approximation for a function that can't be treated analytically, you can use RegionPlot. – Szabolcs May 24 '12 at 8:16
up vote 11 down vote accepted

For example, Reduce:

 ForAll[x, α*x^2 + β*x + γ > 0],
 {α, β, γ},

which looks like this:

Mathematica graphics

tells us that $\alpha x^2+\beta x+\gamma>0$ for all $x$ if these conditions hold:

Mathematica graphics

Or Resolve:

 ForAll[x, α*x^2 + β*x + γ > 0] && x ∈ Reals,

Mathematica graphics

share|improve this answer
That's exactly what I was looking for! Thank you! – zakk May 22 '12 at 22:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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