$ \def\RR{\mathbb{R}} \def\NN{\mathbb{N}} \def\CC{\mathbb{C}} \def\QQ{\mathbb{Q}} \def\dint{\mathop{\int\!\!\int}} \def\tint{\mathop{\int\!\!\int\!\!\int}} \def\rot{\hbox{rot\hskip2truept }} \def\div{\hbox{div\hskip2truept }} \def\grad{\hbox{grad\hskip2truept }} \def\zad#1{\noindent {\bf #1. }} \def\zadp#1{\mbox{\hspace{1em} {\bf #1) }}} \def\zadpa{\zadp{a} } \def\zadpb{\zadp{b} } \def\zadpc{\zadp{c} } \def\zadpd{\zadp{d} } \def\stylm{\displaystyle } $

K.O. Konsultacje: AM2, zad. 1098, Lista 23 .  (różnica szeregów potęgowych)

Omówię zadanie 1098 z Listy 23 >>> autorstwa Jarosława Wróblewskiego.

ROZGRZEWKA (0).     Powinno dać do myślenia:
          Dlaczego w treści zadania podana jest definicja różnicy szeregów potęgowych?
          Czyż nie jest to - jak dotychczas - po prostu szereg różnic kolejnych wyrazów?


Przy dodawaniu/odejmowaniu szeregów potęgowych można (i według powyższej definicji, trzeba)
traktować szereg potęgowy jak szereg, w którym wykładniki (zmiennej $x$) określają numer wyrazu;
brak w zapisie $x^{5}$ (i innych) należy rozumieć tak: piąty wyraz jest równy $0\!\cdot\!x^{5}$.
Zatem w różnicy tych szeregów potęgowych pierwszym wyrazem NIE JEST $(\frac{1}{1}\!\cdot\!x^{2}-\frac{1}{1}\!\cdot\!x^{3})$, lecz $(0-0)\!\cdot\!x^{1}\ $ (czyli 0).
 
Zatem zapiszmy 'z kropeczkami...' owe szeregi i ich różnicę (uwzględniając ominięte zera):
  pierwszy:
      $ \sum\limits_{n=1}^\infty {\stylm \frac{x^{2n}}{n}}=$ $0\!\cdot\! x^{1}+ \frac{1}{1}\!\cdot\! x^{2}+ 0\!\cdot\! x^{3}+ \frac{1}{2}\!\cdot\!x^{4}+ 0\!\cdot\! x^{5}+ \frac{1}{3}\!\cdot\!x^{6}+ 0\!\cdot\! x^{7}+ \frac{1}{4}\!\cdot\!x^{8}+ 0\!\cdot\! x^{9}+ \frac{1}{5}\!\cdot\!x^{10}+ \ldots $
  drugi:
      $ \sum\limits_{n=1}^\infty {\stylm \frac{x^{3n}}{n}}= 0\!\cdot\! x^{1}+ 0\!\cdot\! x^{2}+ \frac{1}{1}\!\cdot\! x^{3}+ 0\!\cdot\! x^{4}+ 0\!\cdot\! x^{5}+ \frac{1}{2}\!\cdot\!x^{6}+ 0\!\cdot\! x^{7}+ 0\!\cdot\! x^{8}+ \frac{1}{3}\!\cdot\!x^{9}+ \ldots $
  i ich różnica:
      $\sum\limits_{m=1}^\infty c_m\!\cdot\!x^{m} = %\stylm 0\!\cdot\! x^{1}+ (\frac{1}{1}\!-\!0)\!\cdot\! x^{2}+ (0\!-\!\frac{1}{1})\!\cdot\! x^{3}+ (\frac{1}{2}\!-\!0)\!\cdot\!x^{4}+ 0\!\cdot\! x^{5}+ (\frac{1}{3}\!-\!\frac{1}{2})\!\cdot\!x^{6}+ 0\!\cdot\! x^{7}+ (\frac{1}{4}\!-\!0)\!\cdot\!x^{8}+ (0\!-\!\frac{1}{3})\!\cdot\!x^{9}+ (\frac{1}{5}\!-\!0)\!\cdot\!x^{10}+ \ldots $
 
Zauważmy, że w 'zwykłej' różnicy, czyli w szeregu $\ \sum\limits_{n=1}^\infty { \stylm(\frac{x^{2n}}{n}\!-\!\frac{x^{3n}}{n}) } = (\frac{x^{2}}{1}\!-\!\frac{x^{3}}{1})+ (\frac{x^{4}}{2}\!-\!\frac{x^{6}}{2})+(\frac{x^{6}}{3}\!-\!\frac{x^{9}}{3})+\ldots\ $
gdy odpowiednio pozmieniamy kolejność wyrazów i inaczej wstawimy nawiasy (czyli potraktujemy szereg jak 'zwykłe' dodawanie ),
to otrzymamy dokładnie szereg $\ \sum\limits_{m=1}^\infty \stylm c_m\!\cdot\!x^{m}.$
Jednak takie operacje mogą zmieniać rezultat, czyli sumę szeregu (jak pokazują dużo prostsze przykłady,
np.: szereg $1+(-1)+1+(-1)+1+(-1)+\ldots$ jest rozbieżny,
a szereg $(1+(-1))+(1+(-1))+(1+(-1))+\ldots$ jest zbieżny (ma sumę 0)
).

Celem zadania jest obliczenie sumy szeregu $\ \sum\limits_{m=1}^\infty \stylm c_m\!\cdot\!x^{m}\ $ dla $x=1$, czyli sumy szeregu (liczbowego):
    $ \sum\limits_{m=1}^\infty c_m = 0\!\cdot\! 1^{1}+ (\frac{1}{1}\!-\!0)\!\cdot\! 1^{2}+ (0\!-\!\frac{1}{1})\!\cdot\! 1^{3}+ (\frac{1}{2}\!-\!0)\!\cdot\!1^{4}+ 0\!\cdot\! 1^{5}+ (\frac{1}{3}\!-\!\frac{1}{2})\!\cdot\!1^{6}+ 0\!\cdot\! x^{7}+ (\frac{1}{4}\!-\!0)\!\cdot\!1^{8}+ (0\!-\!\frac{1}{3})\!\cdot\!1^{9}+ (\frac{1}{5}\!-\!0)\!\cdot\!1^{10}+ \ldots $

 
ROZWIĄZANIE (1)   ( łatwe rachunkowo, ale trzeba zastosować niebanalne twierdzenia )
przy założeniu, że wiemy, że dla $x=1$ różnica owych szeregów potęgowych jest szeregiem zbieżnym.

Zauważmy, że:
  (1.1)   Szeregi $ \sum\limits_{n=1}^\infty \stylm \frac{x^{2n}}{n},\ $ $ \sum\limits_{n=1}^\infty \stylm \frac{x^{3n}}{n}$ mają promienie zbieżności równe 1.
(bowiem dla $k\in\{2,3\}$ mamy $\ \lim\limits_{n\to\infty}\sqrt[n]{\frac{|x|^{kn}}{n}}=\lim\limits_{n\to\infty}\frac{|x|^{k}}{\sqrt[n]{n}}=|x|^k,\ $ skąd $\ |x|^k <1 \iff |x| < 1$ ).
 
Stąd wynika, że
  (1.2)   Dla $|x| < 1 $ szeregi $ \sum\limits_{n=1}^\infty \stylm \frac{x^{2n}}{n},\ $ $ \sum\limits_{n=1}^\infty \stylm \frac{x^{3n}}{n}$ i ich 'zwykła' różnica są bezwględnie zbieżne.
 
  (1.3)   Dla $|x| < 1 $ ich 'zwykła' różnica ma tą samą wartość, co różnica $ \sum\limits_{n=1}^\infty \stylm c_m\!\cdot\!x^m\ $ zdefiniowana w zadaniu.
(bowiem bezwględna zbieżność umożliwia traktowanie szeregu 'jak zwykłego dodawania').
 
  (1.4)   Dla $|x| < 1 $ mamy równości:
            $ \sum\limits_{n=1}^\infty {\stylm \frac{x^{2n}}{n}}=\sum\limits_{n=1}^\infty {\stylm \frac{(x^2)^n}{n}} = -\ln(1-x^2),$
            $ \sum\limits_{n=1}^\infty {\stylm \frac{x^{3n}}{n}}=\sum\limits_{n=1}^\infty {\stylm \frac{(x^3)^n}{n}} = -\ln(1-x^3)$
(bowiem na wykładzie podano: $ \sum\limits_{n=1}^\infty {\frac{s^{n}}{n}}= - \ln (1-s) \ $ dla $\ |s| < 1 $ ).
 
  (1.5)   Dla $|x| < 1 $ suma szeregu $\ \sum\limits_{m=1}^\infty {\stylm c_m\!\cdot\!x^m} \ $ jest równa $\ f(x):= \ln \frac{1+x+x^2}{1+x}$.
(bowiem ze znanych wzorów mamy $\ -\ln(1-x^2)-(- \ln (1-x^3)) = \ln \frac{1-x^3}{1-x^2}= \ln \frac{1+x+x^2}{1+x} \ $ ).
 
  (1.6)   Funkcja $f$ jest ciągła oraz $\ f(1)=\ln \frac{3}{2}$.
 
Znane (z wykładu) twierdzenie mówi:
      jeśli we wnętrzu przedziału zbieżności szeregu potęgowego
      jego suma $f(x)$ jest funkcją ciągłą w którymś z końców tego przedziału
      oraz szereg jest w tym końcu zbieżny, to ma w tym końcu sumę równą wartości $f$.
 
Zatem mamy
Odpowiedź.   Dla $x=1$ różnica danych w zadaniu szeregów potęgowych jest równa $\ln\frac{3}{2}.$
 
ROZWIĄZANIE (2).     ( mało teorii, za to chytrości typu 'jak łatwo zauważyć' )
Celem zadania jest obliczenie sumy szeregu $ \sum\limits_{m=1}^\infty \stylm c_m\!\cdot\!x^{m}$ dla $x=1$, czyli sumy szeregu (liczbowego):
    $ \sum\limits_{m=1}^\infty c_m = 0\!\cdot\! 1^{1}+ (\frac{1}{1}\!-\!0)\!\cdot\! 1^{2}+ (0\!-\!\frac{1}{1})\!\cdot\! 1^{3}+ (\frac{1}{2}\!-\!0)\!\cdot\!1^{4}+ 0\!\cdot\! 1^{5}+ (\frac{1}{3}\!-\!\frac{1}{2})\!\cdot\!1^{6}+ 0\!\cdot\! x^{7}+ (\frac{1}{4}\!-\!0)\!\cdot\!1^{8}+ (0\!-\!\frac{1}{3})\!\cdot\!1^{9}+ (\frac{1}{5}\!-\!0)\!\cdot\!1^{10}+ \ldots $
      Uwaga. Nie wiemy, czy szereg jest zbieżny; widać, że nie jest bezwględnie zbieżny.
      Kryterium Leibniza nie pomoże (bo ciąg $|c_m|$ nie jest monotoniczny ).
      Jedyna nadzieja w zbadaniu ciągu sum częściowych
      (bo wtedy można skorzystać z łączności i przemienności prawdziwego dodawania,
      które - ogólnie - w szeregach nie obowiązuje).

 
Zbadajmy ciąg $S_m$ jego sum częściowych, czyli $S_m=\sum\limits_{i=1}^{m}c_i.\ \ $ ( Jego granica - o ile istnieje - jest odpowiedzią do zadania. )
Na początek ograniczymy się do jego podciągu $S_{6k}=\sum\limits_{i=1}^{6k}c_i,\ $ $k=1,2,3,\ldots$ ,
gdzie widać ile są równe (sporo się upraszcza, nieco podobnie, jak w szeregach teleskopowych ):

Kluczowa obserwacja:     ( jak nie widać, to może zapisz 'z kropeczkami...' )

    (2.1)    $\stylm S_{6k}=\sum\limits_{i=1}^{6k}c_i= \sum\limits_{i=1}^{3k}\frac{1}{i}\ - \sum\limits_{i=1}^{2k}\frac{1}{i} = \sum\limits_{i=2k+1}^{3k}\frac{1}{i}= $ $\stylm \frac{1}{2k+1}+\frac{1}{2k+2}+\frac{1}{2k+3}+\ldots+\frac{1}{3k}\ \ $

Druga kluczowa obserwacja: można w ostatnim napisie dostrzec sumę Riemanna:     ( całki z funkcji $\frac{1}{x}$ )

    (2.2)    $\stylm S_{6k} = \sum\limits_{i=2k+1}^{3k}\frac{1}{i}= \sum\limits_{i=2k+1}^{3k} \frac{1}{i \over k}\cdot \frac{1}{k}\ \ \ \mathop{\longrightarrow}_{k\to\infty} \ $ $\stylm \ \int_2^3\frac{1}{x}\:dx=$ $\stylm\ln \frac{3}{2}.\ \ $

     Uwaga. To 'prawie koniec' rozwiązania; trzeba tylko uzasadnić, że
          cały ciąg $(S_m)$ ma tą samą granicę, co jego podciąg $(S_{6k})$.

 
Przydatne będzie oszacowanie:
 
    (2.3)    $\stylm |S_{6k+j}-S_{6k}| < \frac{1}{3k}\ $ dla $\ j\in\{0,1,2,3,4,5\}\ $ i $k\in\NN.$

  Aby uzasadnić (2,3) wystarczy przyglądnąć się wyrazom $c_m$:
 
    $\stylm c_{6k}=\frac{1}{3k}-\frac{1}{2k},\ c_{6k+1}=0,\ c_{6k+2}=\frac{1}{3k+1},\ c_{6k+3}=-\frac{1}{2k+1},\ c_{6k+4}=\frac{1}{3k+2},\ c_{6k+5}=0$
 
i sprawdzić, że największa z różnic w (2.3) jest równa   $\stylm |S_{6k+2}-S_{6k}|=\frac{1}{3k+1}\ $.


Z (2.3) mamy oszacowanie:
 
    (2.4)    $\stylm S_{6[m{/}6]}-\frac{1}{3[m{/}6]} < S_m < S_{6[m{/}6]}+\frac{1}{3[m{/}6]} ,\ \ $ dla $\ m\in\NN,\ $ tu $[.]$ oznacza część całkowitą, czyli $6[m{/}6] \leq m\leq 6[m{/}6]+5 $
 
Stąd (i z twierdzenia o trzech ciągach) otrzymujemy
 
   $\stylm \ \ \ \lim\limits_{m\to\infty} S_m= \ln\frac{3}{2}\ ,$
 
czyli
 
Odpowiedź.   Dla $x=1$ różnica danych w zadaniu szeregów potęgowych jest równa $\stylm\ln\frac{3}{2}.$