Maths Olympiad Prep

Track / Stage 6 / 270 of 400 #1910 of 2604

Problem 1910

National Olympiad, first round
Algebra Difficulty 6.5 Prove it Romanian Mathematical Olympiad · Romania

Let a≥0a \ge 0 and let (xn)n≥1(x_n)_{n \ge 1} be a sequence of real numbers. Given that (x1+⋯+xnna)n≥1\left(\frac{x_1+\dots+x_n}{n^a}\right)_{n \ge 1} is a bounded sequence, prove that the sequence (yn)n≥1(y_n)_{n \ge 1}, defined by
yn=x11b+x22b+⋯+xnnb, y_n = \frac{x_1}{1^b} + \frac{x_2}{2^b} + \dots + \frac{x_n}{n^b},
is a convergent sequence for all b>ab > a.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let Sn=∑k=1nxkS_n = \sum_{k=1}^{n} x_k, n∈N∗n \in \mathbb{N}^*. Using the hypothesis, one can find a constant c>0c > 0 such that ∣Sn∣≤cna|S_n| \le c n^a, ∀n∈N∗\forall n \in \mathbb{N}^*. Let n,p∈N∗n, p \in \mathbb{N}^*; we have:
∣yn+p−yn∣=∣∑k=n+1n+pxkkb∣=∣∑k=n+1n+pSk−Sk−1kb∣==∣Sn+p(n+p+1)b−Sn(n+1)b+∑k=n+1n+pSk(1kb−1(k+1)b)∣≤∣Sn+p∣(n+p+1)b+∣Sn∣(n+1)b+∑k=n+1n+p∣Sk∣(1kb−1(k+1)b)≤c[2nb−a+∑k=n+1n+pka(1kb−1(k+1)b)]. \begin{align*} |y_{n+p} - y_n| &= \left| \sum_{k=n+1}^{n+p} \frac{x_k}{k^b} \right| = \left| \sum_{k=n+1}^{n+p} \frac{S_k - S_{k-1}}{k^b} \right| = \\ &= \left| \frac{S_{n+p}}{(n+p+1)^b} - \frac{S_n}{(n+1)^b} + \sum_{k=n+1}^{n+p} S_k \left( \frac{1}{k^b} - \frac{1}{(k+1)^b} \right) \right| \\ &\le \frac{|S_{n+p}|}{(n+p+1)^b} + \frac{|S_n|}{(n+1)^b} + \sum_{k=n+1}^{n+p} |S_k| \left( \frac{1}{k^b} - \frac{1}{(k+1)^b} \right) \\ &\le c \left[ \frac{2}{n^{b-a}} + \sum_{k=n+1}^{n+p} k^a \left( \frac{1}{k^b} - \frac{1}{(k+1)^b} \right) \right]. \end{align*}
Applying the mean value theorem to the function f(x)=x−αf(x) = x^{-\alpha}, x>0x > 0 on the interval [i,i+1][i, i+1], with α,i>0\alpha, i > 0, yields
α(i+1)α+1<1iα−1(i+1)α<αiα+1, \frac{\alpha}{(i+1)^{\alpha+1}} < \frac{1}{i^{\alpha}} - \frac{1}{(i+1)^{\alpha}} < \frac{\alpha}{i^{\alpha+1}},
and since b,b−a>0b, b-a > 0, we obtain
1kb−1(k+1)b<bkb+1andb−akb−a+1<1(k−1)b−a−1kb−a,∀k∈N,k≥2. \frac{1}{k^b} - \frac{1}{(k+1)^b} < \frac{b}{k^{b+1}} \quad \text{and} \quad \frac{b-a}{k^{b-a+1}} < \frac{1}{(k-1)^{b-a}} - \frac{1}{k^{b-a}}, \forall k \in \mathbb{N}, k \ge 2.
Then
∑k=n+1n+pka(1kb−1(k+1)b)<∑k=n+1n+pbkakb+1=bb−a∑k=n+1n+pb−akb−a+1<bb−a∑k=n+1n+p(1(k−1)b−a−1kb−a)=bb−a(1nb−a−1(n+p)b−a)<b(b−a)nb−a. \begin{align*} \sum_{k=n+1}^{n+p} k^a \left( \frac{1}{k^b} - \frac{1}{(k+1)^b} \right) &< \sum_{k=n+1}^{n+p} \frac{b k^a}{k^{b+1}} = \frac{b}{b-a} \sum_{k=n+1}^{n+p} \frac{b-a}{k^{b-a+1}} \\ &< \frac{b}{b-a} \sum_{k=n+1}^{n+p} \left( \frac{1}{(k-1)^{b-a}} - \frac{1}{k^{b-a}} \right) \\ &= \frac{b}{b-a} \left( \frac{1}{n^{b-a}} - \frac{1}{(n+p)^{b-a}} \right) < \frac{b}{(b-a)n^{b-a}}. \end{align*}
It follows that
∣yn+p−yn∣<c(2+bb−a)1nb−a,∀n,p∈N∗. |y_{n+p} - y_n| < c \left( 2 + \frac{b}{b-a} \right) \frac{1}{n^{b-a}}, \forall n, p \in \mathbb{N}^*.
Finally, since lim⁡n→∞n−(b−a)=0\lim_{n \to \infty} n^{-(b-a)} = 0, we obtain that (yn)n≥1(y_n)_{n \ge 1} is a Cauchy sequence, hence a convergent one.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.