WikiPrépaLivrets

Soit ∑un\sum u_n une série convergente à termes positifs. On note sn=∑k=1nuks_n = \sum_{k=1}^n u_k.

  1. Démontrer que lim⁡n→+∞1n∑k=1nkuk=0\lim_{n \to +\infty} \frac{1}{n} \sum_{k=1}^n k u_k = 0.
  2. Montrer que pour tout n≥1n \geq 1 :
    ∑k=1nkukn(n+1)=∑k=1nskn+1−∑k=1n−1skn\frac{\sum_{k=1}^n k u_k}{n(n+1)} = \frac{\sum_{k=1}^n s_k}{n+1} - \frac{\sum_{k=1}^{n-1} s_k}{n}
  3. En déduire la valeur de la somme ∑n=1+∞u1+2u2+⋯+nunn(n+1)\sum_{n=1}^{+\infty} \frac{u_1 + 2u_2 + \dots + n u_n}{n(n+1)} en fonction de ∑n=1+∞un\sum_{n=1}^{+\infty} u_n.

1.

Exprimer ∑kuk\sum k u_k en fonction des sns_n par une sommation par parties (transformation d'Abel).

2.

Effectuer le calcul direct de la différence de droite.

3.

Reconnaître une série télescopique et appliquer le théorème de Césaro.

Idées clés

•

Sommation par parties (Abel).

•

Théorème de Césaro : si sn→Ss_n \to S, alors la moyenne des sns_n tend vers SS.

•

Télescopage.

Résolution.

  1. Utilisons une sommation par parties :
    ∑k=1nkuk=∑k=1nk(sk−sk−1)=nsn−∑k=1n−1sk\sum_{k=1}^n k u_k = \sum_{k=1}^n k (s_k - s_{k-1}) = n s_n - \sum_{k=1}^{n-1} s_k
    où l'on a posé s0=0s_0 = 0. En divisant par nn :
    1n∑k=1nkuk=sn−1n∑k=1n−1sk\frac{1}{n} \sum_{k=1}^n k u_k = s_n - \frac{1}{n} \sum_{k=1}^{n-1} s_k

    Puisque la série ∑un\sum u_n converge, la suite (sn)(s_n) converge vers une limite SS. D'après le théorème de Césaro, 1n∑k=1n−1sk→S\frac{1}{n} \sum_{k=1}^{n-1} s_k \to S. Ainsi :

    lim⁡n→+∞1n∑k=1nkuk=S−S=0\lim_{n \to +\infty} \frac{1}{n} \sum_{k=1}^n k u_k = S - S = 0
    lim⁡n→+∞1n∑k=1nkuk=0\boxed{\lim_{n \to +\infty} \frac{1}{n} \sum_{k=1}^n k u_k = 0}

  2. Notons vn=1n(n+1)∑k=1nkukv_n = \frac{1}{n(n+1)} \sum_{k=1}^n k u_k. En utilisant l'identité précédente ∑k=1nkuk=nsn−∑k=1n−1sk\sum_{k=1}^n k u_k = n s_n - \sum_{k=1}^{n-1} s_k :
    vn=nsn−∑k=1n−1skn(n+1)=snn+1−∑k=1n−1skn(n+1)v_n = \frac{n s_n - \sum_{k=1}^{n-1} s_k}{n(n+1)} = \frac{s_n}{n+1} - \frac{\sum_{k=1}^{n-1} s_k}{n(n+1)}

    Or, on remarque que 1n(n+1)=1n−1n+1\frac{1}{n(n+1)} = \frac{1}{n} - \frac{1}{n+1}. Donc :

    vn=snn+1−(1n−1n+1)∑k=1n−1sk=sn+∑k=1n−1skn+1−∑k=1n−1sknv_n = \frac{s_n}{n+1} - \left( \frac{1}{n} - \frac{1}{n+1} \right) \sum_{k=1}^{n-1} s_k = \frac{s_n + \sum_{k=1}^{n-1} s_k}{n+1} - \frac{\sum_{k=1}^{n-1} s_k}{n}

    Finalement :

    vn=∑k=1nskn+1−∑k=1n−1skn\boxed{v_n = \frac{\sum_{k=1}^n s_k}{n+1} - \frac{\sum_{k=1}^{n-1} s_k}{n}}

  3. La somme partielle VN=∑n=1NvnV_N = \sum_{n=1}^N v_n est télescopique :
    VN=∑k=1NskN+1−s01=∑k=1NskN+1V_N = \frac{\sum_{k=1}^N s_k}{N+1} - \frac{s_0}{1} = \frac{\sum_{k=1}^N s_k}{N+1}

    D'après le théorème de Césaro, comme sk→∑n=1+∞uns_k \to \sum_{n=1}^{+\infty} u_n, la moyenne tend vers cette même limite.

    ∑n=1+∞u1+2u2+⋯+nunn(n+1)=∑n=1+∞un\boxed{\sum_{n=1}^{+\infty} \frac{u_1 + 2u_2 + \dots + n u_n}{n(n+1)} = \sum_{n=1}^{+\infty} u_n}

Initialisation du télescopage.

Conservation de la somme par moyenne pondérée.