Let a≥0 and let (xn)n≥1 be a sequence of real numbers. Given that (nax1+⋯+xn)n≥1 is a bounded sequence, prove that the sequence (yn)n≥1, defined by yn=1bx1+2bx2+⋯+nbxn, is a convergent sequence for all b>a.
Solution
Let Sn=∑k=1nxk, n∈N∗. Using the hypothesis, one can find a constant c>0 such that ∣Sn∣≤cna, ∀n∈N∗. Let n,p∈N∗; we have: ∣yn+p−yn∣=k=n+1∑n+pkbxk=k=n+1∑n+pkbSk−Sk−1==(n+p+1)bSn+p−(n+1)bSn+k=n+1∑n+pSk(kb1−(k+1)b1)≤(n+p+1)b∣Sn+p∣+(n+1)b∣Sn∣+k=n+1∑n+p∣Sk∣(kb1−(k+1)b1)≤c[nb−a2+k=n+1∑n+pka(kb1−(k+1)b1)]. Applying the mean value theorem to the function f(x)=x−α, x>0 on the interval [i,i+1], with α,i>0, yields (i+1)α+1α<iα1−(i+1)α1<iα+1α, and since b,b−a>0, we obtain kb1−(k+1)b1<kb+1bandkb−a+1b−a<(k−1)b−a1−kb−a1,∀k∈N,k≥2. Then k=n+1∑n+pka(kb1−(k+1)b1)<k=n+1∑n+pkb+1bka=b−abk=n+1∑n+pkb−a+1b−a<b−abk=n+1∑n+p((k−1)b−a1−kb−a1)=b−ab(nb−a1−(n+p)b−a1)<(b−a)nb−ab. It follows that ∣yn+p−yn∣<c(2+b−ab)nb−a1,∀n,p∈N∗. Finally, since limn→∞n−(b−a)=0, we obtain that (yn)n≥1 is a Cauchy sequence, hence a convergent one.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.