Proof of necessity: Assume that there exists {xn} satisfying (1)–(3). Notice that the expression in (3) can be written as
xn−xn−1=k=1∑2008ak(xn+k−xn+k−1),n∈N.
As x0=0, we then have
xn=l=1∑n(xl−xl−1)=l=1∑nk=1∑2008ak(xl+k−xl+k−1)=k=1∑2008l=1∑nak(xl+k−xl+k−1)=k=1∑2008ak(xn+k−xk).
From (2) we are able to define b=limn→∞xn. Let n→∞ in the above expression. Then we have
b=k=1∑2008ak(b−xk)=bk=1∑2008ak−k=1∑2008akxk<bk=1∑2008ak.
Therefore, ∑k=12008ak>1.
Proof of sufficiency: Assume that ∑k=12008ak>1. Define a polynomial function by
f(s)=−1+k=1∑2008aksk,s∈[0,1].
f(s) is strictly increasing on the interval [0,1]. In the meantime,
f(0)=−1<0,f(1)=−1+k=1∑2008ak>0,
and there then exists a unique 0<s0<1 such that f(s0)=0.
Now, define xn=∑k=1ns0k, n∈N. It is easy to see that {xn} satisfies (1) and
xn=k=1∑ns0k=1−s0s0−s0n+1.
On the other hand, limn→∞s0n+1=0 as 0<s0<1. Then we have
n→∞limxn=n→∞lim1−s0s0−s0n+1=1−s0s0.
This means that {xn} satisfies (2). Finally, we have
0=f(s0)=−1+k=1∑2008aks0k.
That is to say, ∑k=12008aks0k=1. Then we have
xn−xn−1=s0n=(k=1∑2008aks0k)s0n=k=1∑2008aks0n+k=k=1∑2008ak(xn+k−xn+k−1).
Therefore, {xn} also satisfies (3). This completes the proof.