What does this converge to and why?

1.8k Views Asked by At

What does the below expression converge to and why? $$ \cfrac{2}{3 -\cfrac{2}{3-\cfrac{2}{3-\cfrac2\ddots}}}$$

Setting it equal to $ x $, you can rewrite the above as $ x = \dfrac{2}{3-x} $, which gives the quadratic equation $x^2 - 3x + 2 = 0 $, and the roots are $ 1 $ and $2 $, both positive. How do we know which to reject?

6

There are 6 best solutions below

1
On

In fact this fraction is the limit of the following sequence$$x_{n+1}=\dfrac{2}{3-x_n}\\x_0=\dfrac{2}{3}$$now if $0<x_n<1$ we have $$2<3-x_n<3\to\\\dfrac{2}{3}<x_{n+1}=\dfrac{2}{3-x_n}<1$$therefore for all $n$ we have $$0.66<x_n<1$$ ant then the limit is $1$.

2
On

$x $ is the limit of the recurrent sequence defined by $$x_{n+1}=\frac {2}{3-x_n} =f (x_n) $$

$$f'(x)=\frac {2}{(3-x)^2} $$

$$|f'(1)|=\frac {1}{2}<1$$

$1$ is an attractive point. $$|f'(2)|=2>1$$ $2$ is a repulsive point.

The limit is $x=1$.

3
On

You can look at the stability of the solutions. You start with some $x_0$ close to one of your solutions, and check if $$x_1=\frac{2}{2-x_0}$$ is closer to that solution. So if $x_0=1+\epsilon$, where $|\epsilon|\ll 1$, we have $$x_1=\frac{2}{3-(1+\epsilon)}=\frac{2}{2-\epsilon}\approx\left(1+\frac{\epsilon}{2}\right)$$ This is closer to $1$ than $x_0$, so the solution is stable.

We repeat the procedure for $x_0=2+\epsilon$. $$x_1=\frac{2}{3-(2+\epsilon)}\approx2(1+\epsilon)=2+2\epsilon$$ This $x_1$ is further from $2$ than $x_0$, so the solution is not stable.

0
On

When we ask "What does this expression converge to?" we usually mean "If you cut off this infinite expression after a certain point, you get a number. As you cut off the expression later and later, that number gets closer and closer to some limiting value. What is that limiting value?"

However, with this continued fraction, we could truncate it in two ways: after a $2$, getting something like $$ \cfrac{2}{3 - \cfrac2{3 - \cfrac2{3- \cfrac2{3 - 2}}}}, $$ or after a $3$, getting something like $$ \cfrac{2}{3 - \cfrac2{3 - \cfrac2{3- \cfrac2{3 - \cfrac23}}}}. $$ With many continued fractions, both of these result in the same answer. Here, however, cutting the expression off when the number "at the end" is a $2$ always means that the whole thing simplifies to $2$; cutting it off when the number at the end is a $3$ gives a value approximately equal to $1$ (more precisely, it gives $\frac{2^{n+1}-2}{2^{n+1}-1}$, where $n$ is the number of $3$'s used, and this converges to $1$ as $n \to \infty$).

You could decide that the first kind of truncation is the kind you want, in which case the continued fraction converges to $2$. Or you can decide that the second kind of truncation is the kind you want, in which case the continued fraction converges to $1$. (Usually, the second kind of truncation gets used by convention for continued fractions.)

You can even decide that both kinds of truncations are fine, in which case the continued fraction does not converge: it alternates between values equal to $2$ and values close to $1$. This is the option that we usually pick for the sum $1 - 1 + 1 - 1 + 1 - 1 + \dots$, for instance: this has values of $1$ or $0$ depending on if we cut it off at an even or odd position, but there's no reason to pick one over the other, so we say it does not converge.

15
On

I think you need to question the assumption that you need to reject a solution.

You're probably thinking:

But this problem clearly only has one solution!

But why? Didn't you just prove $x = \dfrac{2}{3-x}$ has two solutions?

But that's an implicit equation. This is an explicit expression. An expression can't equal 2 things!

Sure it can. $\sqrt{-1}$ is an expression, and only equal to $i$ because we arbitrarily decided to ignore $-i$.
But if you want to ignore things arbitrarily, you can do that here too—that's just a preference.

But, like, come on. If you chop off this expression, it'll clearly only have one value. So if you keep chopping it off later and later, clearly it can't converge to two values?!

Oh, so you want convergence? In that case, there's no reason to believe there's exactly 1 solution. In fact, you're lucky if you get any solution. But if that's what you want, see the other answers here.


The fundamental problem here is that you have not defined the "$=$" operator between a finite value and expressions that have an infinite number of terms.

In fact, there are multiple definitions, and depending on which you choose, it may make sense to reject none, some, or all of the solutions.

0
On

Notations such as $2$, $3$, $\mathord{\bullet} - \mathord{\bullet}$, $\dfrac{\mathord{\bullet}}{\mathord{\bullet}}$ (where $\mathord{\bullet}$ stands for an expression) have a universally-accepted meaning which has a precise mathematical definition: the number two, the number three, subtraction, division. I'm not going to state those precise definitions here, the important thing is that these definitions exist. (There are in fact many possible definitions, and mathematicians might disagree on which one is the “best” one, but the important point is that they all agree that whichever definition they've picked, the other mathematicians' definitions are equivalent.)

On the other hand, the notation $\ddots$ (called ellipsis) does not have a precise mathematical meaning. When you use this definition, it's up to you to make sure that there is only one possible interpretation.

The ellipsis is often a convenient shortcut, but you need to be careful when using it. If you write $$ 1^2 + 2^2 + 3^2 + \ldots + n^2 $$ then everybody will figure out that you mean the sum of the squares of the $n$ first integers, which could be written formally as $\sum_{i=1}^n i^2$. If you write $$ \color{darkred}{1 + 4 + \ldots + n^2} $$ then it's still a good guess, but it's a guess which is not straightforward, so you should avoid it. And if you write $$ \color{red}{1 + \ldots + n^2} $$ then there's more than one sensible interpretation ($\sum_{i=1}^n i^2$ or $\sum_{i=1}^{n^2} i$?), so this is not a good notation at all.

With a nested expression like yours, the notation means “the limit of the sequence with increasing levels of nesting”. This definition only works if, for all the ways to split the nesting, the expression converges to the same limit. Otherwise the definition is ambiguous, so the expression does not denote a number at all.

Let's use one particular way of parsing the expression as nested pieces: take the sequence $$ 2, \quad \cfrac{2}{3 - 2}, \quad \cfrac{2}{3 - \cfrac{2}{3 - 2}}, \quad \ldots $$ which can be defined more formally as $$ \begin{cases} x_0 &= 2 \\ x_{i+1} &= \dfrac{2}{3-x_i} \\ \end{cases} $$ This sequence is constant: all terms have the value $2$, and in particular it converges to $2$.

Now let's we cut differently: $$ \cfrac{2}{3}, \quad \cfrac{2}{3 - \cfrac{2}{3}}, \quad \cfrac{2}{3 - \cfrac{2}{3 - \cfrac{2}{3}}} $$ which is more formally defined by $$ \begin{cases} y_0 &= \dfrac{2}{3} \\ y_{i+1} &= \dfrac{2}{3-y_i} \\ \end{cases} $$ Here we have a sequence that converges to $1$.

Since cutting the expression in two different ways results in different limits, the expression $$ \cfrac{2}{3 - \cfrac{2}{3 - \cfrac{2}{3 - \cfrac{2}{\ddots}}}} $$ is ambiguous. It does not define a number.

How do we know which limit to reject? There are two possible answers.

  • The notation is ambiguous, therefore the expression is invalid. We must reject both.
  • The notation is ambiguous, therefore it's up to the author to clarify. You tell us which one to accept.