4
$\begingroup$

Suppose $f:\mathbb{R} \rightarrow \mathbb{R}$ is continuous on $[0,\infty)$ and $\lim\limits_{x \rightarrow \infty} (f(x) +\int^x_0 f(t) dt)$ exists. Show that $\lim\limits_{x \to \infty} f(x) = 0$.

Any hints to get me started would be appreciated.

$\endgroup$
  • 2
    $\begingroup$ If you assume that $\lim_{x\to \infty}$ exists, but does not equal zero, then you can show that $\lim_{x\to \infty} \int_0^x f(t)dt)$ necessarily does not exist. $\endgroup$ – Jbag1212 Feb 20 '19 at 5:09
  • 1
    $\begingroup$ @Jbag1212 what if the limit of $f$ doesn’t exist? $\endgroup$ – Shalop Feb 20 '19 at 5:45
5
$\begingroup$

Let $F(x)=\int_0^{x} f(t) \, dt$ then the assumption is
$$\lim\limits_{x \rightarrow \infty} (F'(x) +F(x))=L.$$ Now, by If $\lim\limits_{x\rightarrow\infty} (f'(x)+f(x)) =L<\infty$, does $\lim\limits_{x\rightarrow\infty} f(x) $ exist? , we have that $$\lim\limits_{x \rightarrow \infty} F(x)=L.$$ and it follows straightforwardly that $$\lim\limits_{x \rightarrow \infty} f(x)=\lim\limits_{x \rightarrow \infty} F'(x)=\lim\limits_{x \rightarrow \infty} \left((F'(x)+F(x))-F(x)\right)=L-L=0.$$

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ I am curious about the proof you linked. If $\lim_{x\to\infty}f(x) = 0$ isn't true that $\lim_{x\to\infty} e^xf(x) \ne \infty$ ? then L'Hopital cannot be used. I am just reading the comments :) $\endgroup$ – mate89 Feb 20 '19 at 5:56
  • $\begingroup$ No. In order to use L'Hopital to the ratio $g(x)/e^x$ all you need is that the denominator goes to infinity. See the remark here: en.wikipedia.org/wiki/L%27H%C3%B4pital%27s_rule#General_form $\endgroup$ – Robert Z Feb 20 '19 at 6:33