Suppose I have $f(x)A+g(x)B+h(x)C \ge 0$. Here $A,B,C$ can be positive or negative and $f,g,h$ are nonnegative. I would like to obtain a condition for $f,g,$ and $h$ such that $f'(x)A+g'(x)B+h'(x)C \ge 0$. I will appreciate any substantial comments.
Conditions for some inequality
0
$\begingroup$
inequality
-
1Unless you tell us more about $f$, $g$, $h$ and the $x$-domain $I$ where all this should hold the condition $f'(x)A+g'(x)B+h'(x)C \ge 0$ cannot be transformed into something simpler. If $I$ is a compact interval then the assumption $f(x)A+g(x)B+h(x)C \ge 0$ is useless, because by adding a suitable constant to $f$ you always can force it to hold without changing the derivative(s). – 2011-07-09
-
0$I$ is a compact interval, and $A, B, C $are given. – 2011-07-09
1 Answers
2
As the problem is currently stated, $A$, $B$, $C$, and $f$, $g$, $h$ are unfortunately not relevant. Let $$W(x)=Af(x)+Bg(x)+Ch(x).$$
The problem states that $W(x)\ge 0$, presumably for all $x$, and asks for conditions under which $W'(x) \ge 0$ for all $x$.
The condition $W(x) \ge 0$ cannot be of much help. We could ask for $W(x)$ to be non-decreasing, but that is really only a minor restatement of $W'(x)\ge 0$. Apart from that sort of thing, there is no nice condition on a general function that will ensure a non-negative derivative. And despite the apparent complexity of $W(x)$, there are no conditions on it apart from $W(x) \ge 0$.
-
0Thank you. I mean, given $A, B$, and $C$, what are the restrictions for $f,g,$ and $h$ that are sufficient for the second inequallity to hold? – 2011-07-09
-
1@user12847: At the level of generality you seek, even if we put $A=B=C=1$ we can say nothing useful. Even if we put $A=1$, $B=C=0$ we can say nothing useful. I am sure this comes from a *real* problem, with considerable information about the shapes of the various functions. With (a lot of) further information, there is likely to be an answer. – 2011-07-09
-
0Let us say $C=0$. Then $fA+gB \ge 0.$ Suppose $A, B \ge 0.$ Then it will give $B \ge (-f/g) A$. Then $f'A -g'(f/g) A \ge 0$ is a sufficient condition. This level of condition is fine. – 2011-07-09
-
0An additional hint to make you see that @user6312's answer is indeed the crux of the matter: the condition $W(x)\ge0$ is invariant if one multiplies $f(x)$, $g(x)$ and $h(x)$ by $\mathrm{e}^{-ux}$, for every fixed $u$, right? But the condition $W'(x)\ge0$ becomes $W'(x)-uW(x)\ge0$. This becomes a huge problem if $u\gg1$. – 2011-07-09
-
0I am not asking a general condition. I am asking conditions given A, B, and C fixed. – 2011-07-09