5
$\begingroup$

Suppose that $f$ is a decreasing continuous function on $[0, \infty)$. And the integral of $f(x)/\sqrt{x}$ on $[0, \infty)$ exists.

Prove that $\lim_{x\rightarrow \infty}\sqrt{x}f(x)=0$.

My work. I think we should prove the limit exists firstly. Then everything would be quite easy.

Suppose that $\exists \epsilon>0$, $\forall N>0$, $\exists x_N>N$, s.t $\sqrt{x_N}f(x_N)>\epsilon$. We would find that $f(x_N)/\sqrt{x_N}>\epsilon/x_N$.

But I can't go any further. Any one has some better idea?

$\endgroup$
11
  • $\begingroup$ By $f$ being "non-increasing", do you mean "$f$ is not monotonically increasing", i.e. it has at least one place where it decreases, or "$f$ never increases"? I would call that last one a decreasing function. $\endgroup$
    – Arthur
    Jul 19, 2017 at 6:34
  • $\begingroup$ @Arthur non-increasing means that if $a>b$ then $f(a)\le f(b)$ that is it never increases. $\endgroup$
    – skyking
    Jul 19, 2017 at 6:35
  • $\begingroup$ @skyking To me, a function being non-increasing is a function which is not an increasing function. What you have there is exactly what a decreasing function is defined as. $\endgroup$
    – Arthur
    Jul 19, 2017 at 6:36
  • 2
    $\begingroup$ @Arthur Forgot it and try to focus on the question. $\endgroup$ Jul 19, 2017 at 6:39
  • 2
    $\begingroup$ For the benefit of everybody... $\endgroup$
    – Michael L.
    Jul 19, 2017 at 6:41

1 Answer 1

10
$\begingroup$

Hint. Since $f$ is decreasing in $[0, \infty)$, then also $f(x)/\sqrt{x}$ is decreasing in $(0, \infty)$: if $0<x<y$ then $$\frac{f(x)}{\sqrt{x}}\geq \frac{f(y)} {\sqrt{x}}\geq\frac{f(y)}{\sqrt{y}}.$$ Hence, for $x>0$, $$0\leq f(x)\sqrt{x}=2\frac{f(x)}{\sqrt{x}} (x - x/2) \leq 2\int_{x/2}^{x} \frac{f(t)}{\sqrt{t}} \, dt.$$ Now use the fact that the integral $\int_{1}^{\infty}\frac{f(t)}{\sqrt{t}}\,dt$ is finite to show that the r.h.s. goes to zero as $x\to+\infty$.

P.S. Note that $f(x)$ is non negative. If $f(x_0)<0$ for some $x_0>0$ then $-f(x)\geq -f(x_0)> 0$ and $$-\int_{x_0}^{\infty}\frac{f(t)}{\sqrt{t}}\,dt\geq (-f(x_0))\int_{x_0}^{\infty}\frac{1}{\sqrt{t}}\,dt=+\infty$$ which contradicts the fact that $\int_{1}^{\infty}\frac{f(t)}{\sqrt{t}}\,dt$ is finite.

$\endgroup$

You must log in to answer this question.

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