2
$\begingroup$

Let $I=[0,b)$, $b< \infty$. Suppose $u$ is a positive bounded measurable function on $I$. $v(s)$ is a positive, smooth function on $I$. Note that $u(b),v(b)$ may be $0$. Suppose that $$ u(t) \leqslant u(t_0) +\int_{t_0}^t u(s) \frac{v'(s)}{v(s)}ds $$ for any $0<t_0<t <b$. Then does the inequality below holds? $$ \frac{u(s_2)}{u(s_1)} \leqslant \frac{v(s_2)}{v(s_1)} $$ for any $0 \leqslant s_1 <s_2<b$.

If not, what other conditions should we add to $v(s)$, is $v'(s)\leqslant 0$ enough?

$\endgroup$
4
  • $\begingroup$ Hint: The usual Gronwall fails if u is multiplied by a negative number in the integral. $\endgroup$
    – Fan Zheng
    Commented May 2, 2015 at 14:49
  • $\begingroup$ @FanZheng:If $v'(s) \geqslant 0$, I know it's right, then you mean if $v'(s) \leqslant 0$, it's wrong? $\endgroup$
    – mafan
    Commented May 3, 2015 at 2:00
  • $\begingroup$ Sorry, I didn't see that t_0 is also arbitrary, is it? $\endgroup$
    – Fan Zheng
    Commented May 3, 2015 at 4:53
  • $\begingroup$ @FanZheng:Yes, it's arbitrary. $\endgroup$
    – mafan
    Commented May 4, 2015 at 8:55

1 Answer 1

5
$\begingroup$

If $u$ is e.g. Lipschitz the desired inequality is true. Rewrite the original inequality as $$\frac{u(t)-u(t_0)}{t-t_0} \leq \frac{1}{t-t_0}\int_{t_0}^t u(\log v)'\,ds.$$ Taking $t$ to $t_0$ we get $$(\log u)' \leq (\log v)'.$$ Integrating gives the desired inequality.

If $u$ is not continuous, note that $\limsup_{t \rightarrow t_0^+} u(t) \leq u(t_0)$ by the given inequality, so the same arguments as above lead to $$\frac{\overline{D}^+ u}{u} \leq (\log v)'.$$ (Here $\overline{D}^+w(x_0) = \limsup_{x \rightarrow x_0^+} (w(x)-w(x_0))/(x-x_0)$ and similarly for $\underline{D}^+$ with $\liminf$ instead). It is easy to verify that $$\overline{D}^+(\log u) \leq \frac{\overline{D}^+ u}{u},$$ so we have $$0 \leq \underline{D}^+(\log v) - \overline{D}^+(\log u) \leq \underline{D}^+(\log v - \log u),$$ and $\log(v) - \log(u)$ is thus increasing, giving the inequality.

$\endgroup$
3
  • 1
    $\begingroup$ :We should not assume $u$ is continuous. $\endgroup$
    – mafan
    Commented May 4, 2015 at 8:57
  • $\begingroup$ I updated my response. Intuitively, the only discontinuities can be downward jumps, which only help the inequality. $\endgroup$ Commented May 4, 2015 at 17:47
  • $\begingroup$ :If $log(u)$ is continuous, combining with the right upper (Dini) derivative non-negative, we can get $log(v)-log(u)$ is increasing, now you get the right lower (Dini) derivative non-negative, and $u$ is almost continuous, I wonder whether we can get it's increasing? $\endgroup$
    – mafan
    Commented May 5, 2015 at 9:01

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .