11
$\begingroup$

Let $f : (0, \infty) \rightarrow \mathbb{R}$ be differentiable and suppose that $|f(x)| \leq \frac{C}{x^k}$ ($k$ is non-negative) and this inequality would not hold for a smaller $k$ (even if you change $C$). Suppose this also holds for $|f'(x)|$ but with a possibly different $C$, but same $k$. Show that $\lim_{x \rightarrow 0^+} f(x)$ exists.

  • 2
    Could you be more specific about your statement : "this inequality would not hold for a smaller $k$" ? Does this mean $$\forall C'>0, \ \forall k'0, \ |f(x)| > C'/x^{k'}$$ ?2012-09-24
  • 0
    Yes, that's what I mean, vanna.2012-09-24
  • 2
    The whole elaborated setup is just a terribly fancy way to say that $k=0$. Where did the problem come from?2012-10-31
  • 0
    Is $k$ assumed to be integer? And is the claim that the limit is finite, or would $+\infty$ or $-\infty$ also be included in "the limit exists"?2012-10-31

1 Answers 1

3

Taking the maximum of the constants for $f$ and $f'$ we can assume that $$|f(x)| \le C x^{-k} \text{ and } |f'(x)| \le Cx^{-k} \text{ for all } x>0.$$ Integrating the inequality for $f'$ gives $$|f(x)| \le \begin{cases} C_1 + C_2 x^{-(k-1)} & \text{for } k \ne 1 \\ C_1 + C_2 |\ln x| & \text{for } k=1\end{cases}$$ with some constants $C_1$ and $C_2$.

It is still not absolutely clear to me whether $k$ is supposed to be integer, and whether an infinite limit is allowed or not, but at least this estimate shows that the assumption is never satisfied for $k>1$, as follows. For $k>1$ the estimates imply that there exists $C_3$ with $$ |f(x)| \le C_3 x^{-(k-1)} \text{ for } 00. $$ This contradicts the assumption that this inequality does not hold for exponents $k'

Obviously the estimate can be satisfied for $k=0$, and in that case boundedness of the derivative implies that $f$ is uniformly Lipschitz continuous, hence it extends continuously to $[0,\infty)$.

For the case $0 < k \le 1$ I am waiting for clarification of the exact statement of the problem.

  • 0
    You don't says what is $C_3$ anywhere2012-11-01
  • 1
    It is just some constant, you can choose $C_3=C_1+C_2$, if you want an explicit expression.2012-11-01