help on a proof of convergence (an exercise problem)



Hi, all,

I have a question on how to prove the convergence of the following
algorithm:

For iterations
V(t+1)=(1-a(t))^2*V(t) + a(t)^2*\sigma
where \sigma >0 is a constant, a(t) >0 is the step size at iteration
t. Start from V(1)>0.
If we require
\sum_{t=1}^{\infty}{a(t)}=\infty; (*)
and
\sum_{t=1}^{\infty}{a(t)^2} < \infty, (**)

how to prove that V(t) converges to zero?

It is an exercise problem in the book of "Parallel and Distributed
Numerical Algorithms"
(Prob.8.1, pp.568). It gives a hint
(1) with (**), to prove V(t) is bounded above and obtain V(t
+1)<=V(t)-2a(t)V(t)+e(t), where
\sum_{t=1}^{\infty}{e(t)} < \infty;
(2) then with (*) to prove the convergence of V(t).

I figured out the first step and with (*) I can show that liminf V(t)
= 0. But I don't know how
to proceed further to get lim V(t) = 0?

Can anyone give me a help or hint?

Thanks,
Cloud

.



Relevant Pages

  • Re: Vector Rotation
    ... The region of convergence is very small for x ... is no way that the algorithm can diverge. ... About 13 iterations ... This is so the algo can be pipelined. ...
    (comp.dsp)
  • Re: CMS: where are the zeroes ?
    ... of iterations, that appear to the left of the y,-y axis ... convergence to $z=3D1$ is of order $\frac}$. ... showing the scaled zeros and that ...
    (sci.math)
  • Re: Excel solver
    ... Running more iterations is feasible to get the solution. ... "convergence" setting in the Solver. ... Precision is used when comparing equality. ... Convergence is used to determine when to stop the iteration by comparing ...
    (microsoft.public.excel)
  • Re: Fixed point iteration
    ... Perhaps if you can point me to some standard techniques ... >> proofs which prove that lattice is of fixed height. ... are you looking for convergence in the limit or after a finite ... > number of iterations? ...
    (comp.theory)
  • Re: Attaction of Fixed Points
    ... >understanding this. ... I am not sure if there is a non-empirical way to tell "how many" iterations ... multiplier of a fixed point is, the fastest the convergence. ...
    (sci.math)