Tuesday, June 20, 2017

real analysis - Is my proof that $limlimits_{nto +infty}dfrac{u_{n+1}}{u_n}=1$ correct?



I'm doing an exercise where $(u_n)$ is a numerical sequence which is decreasing and strictily positive.While $(u_n)$ is a numerical sequence which is decreasing and strictily positive, then $(u_n)$ is convergent and its limit is positive which we symbolise by $l$. Assume that $l\ne 0$.



I have to prove that $\lim\limits_{n\to +\infty}\dfrac{u_{n+1}}{u_n}=1$. I'm not sure if my proof is correct or not. Can you please check it? Thank you very much!
Please excuse my English. We don't study Maths in English.




Let $\varepsilon\in ]0;l[$.



So $\exists N\in\mathbb{N},\,\forall n\in\mathbb{N},\,n>N\Longrightarrow |u_n-l|<\varepsilon$



Let $n\in\mathbb{N}$ such as $n>N$. We also have $n+1>n>N$.
Then:



$|u_{n+1}-u_n|=|(u_{n+1}-l)-(u_n-l)|\le |u_{n+1}-l|+|u_n-l|<2\varepsilon$ $(1)$



And we have $|u_n-l|<\varepsilon$ so $0


Then $(1)\times (2)$ gives:



$\left|\dfrac{u_{n+1}}{u_n}-1\right|<\dfrac{2\varepsilon}{l-\varepsilon}$



We put $\varepsilon '=\dfrac{2\varepsilon}{l-\varepsilon}>0$. Then $\varepsilon=\dfrac{l\varepsilon '}{2+\varepsilon '}>0$.



While $\varepsilon '>0$ then $\dfrac{\varepsilon '}{2+\varepsilon '}<1$ and because $l>0$ we have then $\varepsilon=\dfrac{l\varepsilon '}{2+\varepsilon '}

And so $\forall\varepsilon '\in\mathbb{R}^{+*},\,\exists\varepsilon\in ]0,l[,\,\varepsilon=\dfrac{l\varepsilon '}{2+\varepsilon '}$ and so $\varepsilon '$ covers $\mathbb{R}^{+*}$ where $\mathbb{R}^{+*}$ is the set of strictly positive real numbers. As a result we have then:$$\forall\varepsilon '\in\mathbb{R}^{+*},\,\exists N\in\mathbb{N},\,\forall n\in\mathbb{N},\, n>N\Longrightarrow\left|\dfrac{u_{n+1}}{u_n}-1\right| <\varepsilon '$$




And so $\lim\limits_{n\to +\infty}\dfrac{u_{n+1}}{u_n}=1$



Edit: $\mathbb{R}^{+*}$ is the set of strictly positive real numbers.



Edit2: Assume that $l\ne 0$.


Answer



As an exercise, we give a detailed argument directly from the definition. Suppose that the sequence $(u_n)$ has limit $a\gt 0$. We want to show that for any $\epsilon\gt 0$, there is an $N$ such that
$$1-\epsilon\lt \frac{u_{n+1}}{u_n}\le 1\tag{1}$$
if $n\gt N$. Note that

$$\frac{u_{n+1}}{u_n}\ge \frac{a}{u_n},$$ so it suffices to make $\frac{a}{u_n}\gt 1-\epsilon$. This will be the case automatically if $\epsilon\ge 1$, so we may suppose that $\epsilon\lt 1$.



For $0\lt \epsilon\lt 1$ we have
$$\frac{a}{u_n}\gt 1-\epsilon \quad\text{iff}\quad u_n \lt \frac{a}{1-\epsilon} \quad\text{iff}\quad u_n-a\lt \frac{a\epsilon}{1-\epsilon}.$$



Since the sequence $(u_n)$ converges to $a$, there is an $N$ such that if $n\gt N$, then $u_n-a\lt \frac{a\epsilon}{1-\epsilon}$. For any such $n$, Inequality (1) will hold.



Remark: Informally, this is simpler than it looks. We can scale the sequence $(u_n)$ so that it has limit $1$. That does not change ratios.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...