1
$\begingroup$

Let: $$ \begin{align} &\space \color{red}{f(x)=x^{\alpha}} \quad\colon\space\alpha\in\mathbb{R} \\[2mm] &\qquad \lim_{x\rightarrow\infty}f'(x)=\lim_{x\rightarrow\infty}\alpha\,x^{\alpha-1}=0 \qquad\qquad\qquad\qquad\qquad\colon\space\alpha\lt1 \quad{\small\text{ and }}\rightarrow\infty\space\colon\space\alpha\gt1 \\[2mm] &\qquad \lim_{x\rightarrow\infty}\left[f(x+1)-f(x)\right]=\lim_{x\rightarrow\infty}\left[(x+1)^{\alpha}-x^{\alpha}\right]=0 \quad\colon\space\alpha\lt1 \quad{\small\text{ and }}\rightarrow\infty\space\colon\space\alpha\gt1 \end{align} $$

Prove/Explain, why the resulting subtraction limit exists on an extra step? $$ \lim_{x\rightarrow\infty}\left[f(x+1)-f(x)-f’(x)\right]=0\color{red}{\quad\colon\space\alpha\lt2} $$

More generally, $$ \lim_{x\to\infty}f(x+1)-f(x)-f'(x)-\frac12f''(x)-\dots-\frac1{n!}f^{(n)}(x)=0\quad:\ \alpha

  • 2
    More generally, can you prove that$$\lim_{x\to\infty}f(x+1)-f(x)-f'(x)-\frac12f''(x)-\dots-\frac1{n!}f^{(n)}(x)=0\quad:\ \alpha – 2017-02-01

2 Answers 2

2

The general statement, originally proposed by @Simply Beautiful Art, follows by Taylor's theorem using Lagrange form of the remainder.

Let me conjecture that the general result is true not only for $\alpha

  • 0
    @SimplyBeautifulArt You are of course correct, my previous answer was correct but irrelevant to the question. – 2017-02-01
  • 0
    @SimplyBeautifulArt $2:0$ for you. I was again wrong. The new answer is my third try, but maybe the history should have taught me? – 2017-02-02
  • 0
    Good job! Personally, this would've been my answer! Note you may now proof the comment I posted below the original question! – 2017-02-02
1

I find that using the substitution $t=1/x$ usually makes things clearer. The limit becomes \begin{align} \lim_{t\to0^+}\left(\frac{(1+t)^\alpha}{t^\alpha}-\frac{1}{t^\alpha}-\frac{\alpha}{t^{\alpha-1}}\right) &= \lim_{t\to0^+}\frac{(1+t)^\alpha-1-\alpha t}{t^\alpha}\\ &= \lim_{t\to0^+}\frac{1+\alpha t+\binom{\alpha}{2}t^2+o(t^2)-1-\alpha t}{t^\alpha}\\ &=\lim_{t\to0^+}\binom{\alpha}{2}t^{2-\alpha} \end{align}

Now you should clearly see where $2$ enters the scene.