Skip to main content
1 of 2
Saúl RM
  • 10.6k
  • 2
  • 28
  • 48

Suppose that we already know that $x_k>0\forall k$, $x_k$ is decreasing and converges to $0$ (and the same for $y_k$, of course). Then we can prove that $b_k:=\frac{x_{k}}{x_{k-1}}\to 1$. To do it note first that $b_k\in[0,1]\forall k$ and

$$b_{k+1}=\frac{y_k-\eta y_k^3}{x_k}=\frac{x_k+\frac{1}{2}(x_k-x_{k-1})-\eta y_k^3}{b_kx_{k-1}}=\frac{3}{2}\frac{x_k}{b_kx_{k-1}}-\frac{1}{2b_k}-\eta\frac{y_k^3}{b_kx_{k-1}}=$$

$$=\frac{3}{2}-\frac{1}{2b_k}-\eta\frac{y_k^3}{b_kx_{k-1}}>\frac{3}{2}-\frac{1}{2b_k}-\eta\frac{x_k^3}{b_kx_{k-1}}=\frac{3}{2}-\frac{1}{2b_k}-\eta x_k^2.$$

So $b_{k+1}>\frac{3}{2}-\frac{1}{2b_k}-\eta x_k^2$. Now note that $x_k<1-\frac{3}{2}\eta$ for all $k\geq3$, so that $b_{k+1}>\frac{3}{2}-\frac{1}{2b_k}-\eta(1-\frac{3}{2}\eta)^2>\frac{3}{2}-\frac{1}{2b_k}-\frac{1}{8}(1-\frac{3}{16})^2=\frac{2903}{2048}-\frac{1}{2b_k}\sim1.407-\frac{1}{2b_k}$.

Using this you can prove by induction that $b_k>0.7$ for all $k$ (as base case you need to check $b_2,b_3>0.7$). Using that fact and that:

  • $b_{k+1}>\frac{3}{2}-\frac{1}{2b_k}-x_k^2$

  • $x_k\to0$

it's not difficult to prove that $b_k\to 1$.

Now let's prove that $x_k=\Theta(\frac{1}{\sqrt{k}})$. To do it we will compare it with the sequence $a_k=\frac{1}{10\sqrt{k}}$. Note that we have $a_{k+1}<a_k-10a_k^3$. So if we prove that for big enough $k$ we have $x_{k+1}>x_k-10x_k^3$, then our series will decrease slower than $a_k$ and we will be done.

This is equivalent to proving $\frac{x_k-x_{k+1}}{x_k^3}<10$ for big enough $k$. So let's study $c_k:=\frac{x_k-x_{k+1}}{x_k^3}$. Of course $c_k$ is always positive, and we have

$$c_{k}=\frac{x_k-x_{k+1}}{x_k^3}=\frac{x_k-y_k+\eta y_k^3}{b_k^3x_{k-1}^3}=\frac{\frac{1}{2}(x_{k-1}-x_k)+\eta y_k^3}{b_k^3x_{k-1}^3}=\frac{1}{2b_k^3}c_{k-1}+\frac{\eta}{b_k^3}\left(\frac{y_k}{x_{k-1}}\right)^3.$$ Now using that $b_k\to 1$ and $\frac{y_k}{x_{k-1}}\to1$, the inequality implies that for big $k$ we have $c_k<0.7c_{k-1}+1$. So for big enough $k$ we have $c_k<10$, as we wanted.

Saúl RM
  • 10.6k
  • 2
  • 28
  • 48