Analiza matematyczna 2/Wykład 4: Ciągi i szeregi funkcyjne. Szereg Taylora

Ciągi i szeregi funkcyjne. Szereg Taylora

W tym wykładzie wprowadzamy pojęcia ciągu i szeregu funkcyjnego. Rozważamy dwa rodzaje zbieżności ciągów i szeregów funkcyjnych: zbieżność punktową i jednostajną. Dowodzimy twierdzenie o ciągłości granicy jednostajnie zbieżnego ciągu funkcji ciągłych. Podajemy kryterium Weierstrassa jednostajnej zbieżności szeregu funkcyjnego. Na zakończenie wprowadzamy szereg Taylora funkcji o środku w danym punkcie (i w szczególności szereg Maclaurina).

Ciągi funkcyjne

Definicja

Niech $\displaystyle X\neq \emptyset$ będzie dowolnym zbiorem oraz niech $\displaystyle (Y,\varrho )$ przestrzenią metryczną. Niech $\displaystyle \displaystyle f\colon X\longrightarrow Y$ oraz $\displaystyle f_{n}\colon X\longrightarrow Y$ będą funkcjami dla $\displaystyle n\in \mathbb {N}$.
(1) Mówimy, że ciąg $\displaystyle \{f_{n}\}$ jest zbieżny punktowo do funkcji $\displaystyle f$ i piszemy $\displaystyle \displaystyle \lim \limits _{n\rightarrow +\infty }f_{n}=f$ lub $\displaystyle f_{n}\longrightarrow f$, jeśli

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall x\in X:\ \ \lim\limits_{n\rightarrow +\infty} f_n(x) \ =\ f(x), }

co z kolei (z definicji granicy ciągu w przestrzeniach metrycznych; patrz Definicja AM1.Uzupelnic d.am1.w.04.0020|) oznacza, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall x\in X\ \ \forall \varepsilon>0\ \ \exists N\in\mathbb{N}\ \ \forall n\ge N:\ \ \varrho\big(f_n(x),f(x)\big) \ <\ \varepsilon. }

(2) Mówimy, że ciąg $\displaystyle \{f_{n}\}$ jest zbieżny jednostajnie do funkcji $\displaystyle f$ na zbiorze $\displaystyle X$ i piszemy $\displaystyle f_{n}\rightrightarrows f,$ jeśli

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall \varepsilon>0\ \ \exists N\in \mathbb{N}\ \ \forall n\ge N\ \ \forall x\in X:\ \ \varrho\big(f_n(x),f(x)\big) \ <\ \varepsilon. }

Zauważmy, że definicje zbieżności punktowej i jednostajnej różnią się tylko kolejnością kwantyfikatorów. W definicji zbieżności punktowej $\displaystyle N$ dobierane do $\displaystyle \varepsilon >0$ może zmieniać się w zależności od punktu $\displaystyle x$. Natomiast w definicji zbieżności jednostajnej $\displaystyle N$ dobrane do $\displaystyle \varepsilon >0$ nie zależy od $\displaystyle x$. Zatem oczywiste jest następujące twierdzenie.

Twierdzenie

Jeśli $\displaystyle X\neq \emptyset$ jest dowolnym zbiorem, $\displaystyle (Y,\varrho )$ przestrzenią metryczną, $\displaystyle \displaystyle f\colon X\longrightarrow Y$ oraz $\displaystyle f_{n}\colon X\longrightarrow Y$ funkcjami dla $\displaystyle n\in \mathbb {N}$, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \bigg[ f_n \ \rightrightarrows f \ \ \ \Longrightarrow\ \ \ f_n \ \longrightarrow\ f \bigg]. }

Uwaga

Z powyższego twierdzenia wynika w szczególności, że jeśli ciąg funkcyjny $\displaystyle \{f_{n}\}$ ma granicę punktową $\displaystyle f$, to jeśli jest on jednostajnie zbieżny do pewnej funkcji $\displaystyle g$, to $\displaystyle f=g$. Innymi słowy jeśli ciąg $\displaystyle \{f_{n}\}$ ma granicę punktową $\displaystyle f$, to jedynym "kandydatem" na granicę jednostajną jest też funkcja $\displaystyle f$. Będzie to bardzo przydatne do badania jednostajnej zbieżności, gdyż na ogół znacznie łatwiej jest wyznaczyć granicę punktową niż granicę jednostajną. Natomiast znajomość granicy punktowej ułatwia badanie zbieżności jednostajnej (patrz uwaga poniżej).

Uwaga

Nie jest prawdziwa implikacja odwrotna do implikacji w Twierdzeniu Uzupelnic t.am2.w.02.0020| (czyli zbieżność punktowa nie implikuje zbieżności jednostajnej).
Aby to zobaczyć rozważmy ciąg funkcji $\displaystyle \{f_{n}\colon [0,1]\longrightarrow \mathbb {R} \}$ zdefiniowanych przez

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_n(x) \ =\ x^n \quad } dla $\displaystyle \ x\in [0,1].$

{ Rysunek AM2.02.01}
{ Rysunek AM2.02.02: Animacja}
Łatwo widać, że ciąg ten jest zbieżny punktowo do funkcji

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f(x) \ =\ \left\{ \begin{array} {lll} 0 & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x\in[0,1),\\ 1 & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x=1. \end{array} \right. }

Pokażemy, że ciąg ten nie jest zbieżny jednostajnie do funkcji $\displaystyle f$. Dla dowodu niewprost przypuśćmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall \varepsilon>0\ \exists N\in\mathbb{N}\ \forall n\ge N\ \forall x\in[0,1]:\ \big|f_n(x)-f(x)\big| \ <\ \varepsilon. }

Weźmy teraz $\displaystyle \displaystyle \varepsilon ={\frac {1}{3}}$. Z naszej hipotezy wynika, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists N_1\in\mathbb{N}\ \forall n \ge N_1\ \forall x\in[0,1]:\ \big|f_n(x)-f(x)\big| \ <\ \varepsilon \ =\ \frac{1}{3}. }

Ale ponieważ $\displaystyle f_{N_{1}}(x)=x^{N_{1}}\longrightarrow 1$ gdy $\displaystyle x\rightarrow 1$, zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists x_0\in (0,1):\ \big|f_{N_1}(x_0)-1\big| \ <\ \frac{1}{3}. }

Zatem

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned \big|f_{N_1}(x_0)-\underbrace{f(x_0)}\limits_{=0}\big| &= \big|f_{N_1}(x_0)-0\big| \ =\ \big|f_{N_1}(x_0)-1+1-0\big| \ \ge\ \big|1-0\big|-\big|f_{N_1}(x_0)-1\big|\\ &= 1-\big|f_{N_1}(x_0)-1\big| \ >\ 1-\frac{1}{3} \ =\ \frac{2}{3} \ >\ \varepsilon \ =\ \frac{1}{3}, \endaligned}

co daje sprzeczność z wyborem $\displaystyle N_{1}$.

Uwaga

Zobrazujmy teraz co oznacza zbieżność jednostajna $\displaystyle f_{n}\rightrightarrows f$. Otóż warunek z definicji jednostajnej zbieżności oznacza, że jeśli weźmiemy "epsilonowe otoczenie wykresu funkcji $\displaystyle f$", to dla odpowiednio dużych $\displaystyle n\geq N$, wykresy wszystkich funkcji $\displaystyle f_{n}$ będą w tym otoczeniu.
Na pierwszym rysunku mamy ciąg funkcji $\displaystyle f_{n}(x)=x^{n}$ dla $\displaystyle x\in [0,1]$. Żadna z tych funkcji nie zawiera się w epsilonowym otoczeniu wykresu funkcji granicznej (patrz Uwaga Uzupelnic u.am2.w.02.0040|)
{ Rysunek AM2.02.09a}
Z kolei poniższy rysunek przedstawia ciąg funkcji $\displaystyle \displaystyle f_{n}(x)={\frac {1}{n}}x$ dla $\displaystyle x\in [0,1]$. Tutaj widać, że dla dowolnie małego $\displaystyle \varepsilon >0$, wszystkie funkcje począwszy od pewnego $\displaystyle N\in \mathbb {N}$ znajdą się w pasie $\displaystyle \mathbb {R} \times (-\varepsilon ,\varepsilon )$, który jest otoczeniem funkcji granicznej $\displaystyle f\equiv 0$.
{ Rysunek AM2.02.09b}

Kolejne twierdzenie podaje ciekawą własność granicy jednostajnie zbieżnego ciągu funkcji ciągłych. Twierdzenie to ułatwi nam w niektórych przypadkach wykluczenie jednostajnej zbieżności ciągów funkcyjnych (patrz Uwaga Uzupelnic u.am2.w.02.0060| oraz Uwaga Uzupelnic u.am2.w.02.0040|).

Twierdzenie

(Ciągłość granicy jednostajnie zbieżnego ciągu funkcji ciągłych)
Jeśli $\displaystyle (X,d_{X})\displaystyle (Y,d_{Y})$ są przestrzeniami metrycznymi, $\displaystyle \displaystyle f\colon X\longrightarrow Y$ oraz $\displaystyle f_{n}\colon X\longrightarrow Y$ są funkcjami dla $\displaystyle n\in \mathbb {N}$, $\displaystyle x_{0}\in X$ oraz $\displaystyle f_{n}\rightrightarrows f,\displaystyle {}$
to
(1) jeśli funkcje $\displaystyle f_{n}$ są ciągłe w punkcie $\displaystyle x_{0}$, to $\displaystyle f$ jest funkcją ciągłą w punkcie $\displaystyle x_{0}$;
(2) jeśli funkcje $\displaystyle f_{n}$ są ciągłe, to $\displaystyle f$ jest funkcją ciągłą.

Dowód

(Ad (1)) Załóżmy, że funkcje $\displaystyle f_{n}$ są ciągłe w punkcie $\displaystyle x_{0}\in X$.
Ustalmy dowolne $\displaystyle \varepsilon >0$. Ponieważ $\displaystyle f_{n}\rightrightarrows f,$ zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists N\in\mathbb{N}\ \forall n\ge N\ \forall x\in X:\ d_Y\big(f_n(x),f(x)\big) \ <\ \frac{\varepsilon}{3}, }

w szczególności

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall n\ge N:\ d_Y\big(f_n(x_0),f(x_0)\big) \ <\ \frac{\varepsilon}{3}. }

Ponieważ funkcja $\displaystyle f_{N}$ jest ciągła w punkcie $\displaystyle x_{0}$, więc

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists \delta>0\ \forall x\in X:\ \big[d_X(x,x_0)<\delta \Longrightarrow d_Y\big(f_N(x),f_N(x_0)\big) \ <\ \frac{\varepsilon}{3}\big]. }

Niech teraz $\displaystyle x\in X$ będzie taki, że $\displaystyle d_{X}(x,x_{0})<\delta$. Wówczas korzystając z nierówności trójkąta oraz trzech powyższych nierówności, mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle d_Y\big(f(x),f(x_0)\big) \ \le\ d_Y\big(f(x),f_N(x)\big) +d_Y\big(f_N(x),f_N(x_0)\big) +d_Y\big(f_N(x_0),f(x_0)\big) \ <\ 3\cdot\frac{\varepsilon}{3} \ =\ \varepsilon, }

zatem pokazaliśmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall\varepsilon>0\ \exists \delta>0:\ \big[d_X(x,x_0)<\delta \Longrightarrow d_Y\big(f(x),f(x_0)\big) \ <\ \varepsilon\big], }

a to oznacza ciągłość funkcji $\displaystyle f$ w punkcie $\displaystyle x_{0}$.
(Ad (2)) Od razu wynika z (1).

Uwaga

Ponieważ ciąg funkcyjny rozważany w Uwadze Uzupelnic u.am2.w.02.0040| składał się z funkcji ciągłych oraz miał granicę nieciągłą, więc od razu z powyższego twierdzenia możemy wnioskować, że nie jest on jednostajnie zbieżny.

Kolejne twierdzenie mówi, że dla jednostajnie zbieżnego ciągu funkcji $\displaystyle \{f_{n}\}$, to samo dają dwie następujące operacje:
(1) obliczenie granicy $\displaystyle f$ ciągu funkcyjnego $\displaystyle \{f_{n}\}$, a następnie obliczenie granicy funkcji granicznej $\displaystyle f$ w punkcie $\displaystyle x_{0}$, oraz
(2) obliczenie granic poszczególnych funkcji ciągu $\displaystyle \{f_{n}\}$ w punkcie $\displaystyle x_{0}$, a następnie przejście do granicy z tak otrzymanym ciągiem liczbowym granic.
Innymi słowy zachodzi następujący wzór:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \lim_{x\rightarrow a}\lim\limits_{n\rightarrow +\infty} f_n(x) \ =\ \lim\limits_{n\rightarrow +\infty}\lim_{x\rightarrow a} f_n(x). }

Zwróćmy uwagę, że każdy z symboli "$\displaystyle \lim$" po lewej i prawej stronie oznacza co innego (raz jest to granica ciągu liczbowego, a raz granica funkcji w punkcie). Formalne sformułowanie powyższego wzoru wraz ze wszystkimi założeniami potrzebnymi do jego zachodzenia podane jest w poniższym twierdzeniu (który pozostawiamy tu bez dowodu).

Twierdzenie

Jeśli $\displaystyle (X,d_{X})\displaystyle (Y,d_{Y})$ są przestrzeniami metrycznymi, przy czym przestrzeń $\displaystyle (Y,d_{Y})$ jest zupełna, $\displaystyle A\subseteq X$, $\displaystyle \displaystyle f\colon A\longrightarrow Y$ oraz $\displaystyle f_{n}\colon A\longrightarrow Y$ są funkcjami dla $\displaystyle n\in \mathbb {N}$, $\displaystyle f_{n}\rightrightarrows f,\displaystyle a$ jest punktem skupienia zbioru $\displaystyle A$ oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall n\in\mathbb{N}\ \ \exists\lim_{x\rightarrow a}f_n(x)=b_n, }

Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to
(1) ciąg $\displaystyle \{b_{n}\}$ jest zbieżny;
(2) $\displaystyle \displaystyle \lim _{x\rightarrow a}f(x)=\lim \limits _{n\rightarrow +\infty }b_{n}$.

Szeregi funkcyjne

Definicja

Niech $\displaystyle A$ będzie dowolnym zbiorem oraz niech $\displaystyle f_{n}\colon A\longrightarrow \mathbb {R}$ będą funkcjami dla $\displaystyle n\in \mathbb {N}$.
Szeregiem $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ (lub $\displaystyle f_{1}+f_{2}+\ldots$) nazywamy ciąg (tzw. ciąg sum częściowych) $\displaystyle \{F_{n}\}$, gdzie $\displaystyle F_{n}=\displaystyle \sum _{i=0}^{n}f_{i}$, to znaczy $\displaystyle F_{n}\colon A\longrightarrow \mathbb {R}$, $\displaystyle F_{n}(x)=\displaystyle \sum _{i=0}^{n}f_{i}(x)$ dla $\displaystyle x\in A$.

Mówimy, że szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest zbieżny (punktowo) na $\displaystyle A$ do sumy $\displaystyle \displaystyle f\colon A\longrightarrow \mathbb {R}$, jeśli

$\displaystyle F_{n}\ \longrightarrow \ f\quad ($ punktowo, to znaczy $\displaystyle \ F_{n}(x)\longrightarrow f(x)\$ dla $\displaystyle \ x\in A).$

Wówczas piszemy $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}=f$.

Mówimy, że szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest zbieżny jednostajnie na $\displaystyle A$ do sumy $\displaystyle f$, jeśli $\displaystyle F_{n}\rightrightarrows f.$

Twierdzenie

Jeśli $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest szeregiem funkcyjnym, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to

$\displaystyle {\bigg [}$ szereg $\displaystyle \ \displaystyle \sum _{n=1}^{\infty }f_{n}\$ jestzbieżny Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \bigg] \ \ \Longleftrightarrow\ \ \bigg[\forall x\in A:\ } szeregliczbowy $\displaystyle \ \displaystyle \sum _{n=1}^{\infty }f_{n}(x)\$ jestzbieżny $\displaystyle {\bigg ]}.$

Dowód

Wynika to wprost z definicji zbieżności szeregu funkcyjnego.

Przypomnijmy, że zbieżność szeregu liczbowego jest równoważna temu, że jego ciąg sum częściowych spełnia warunek Cauchy'ego (patrz Twierdzenie AM1.Uzupelnic t.am1.w.07.0070|). Podobnie jest dla szeregów funkcyjnych.

Twierdzenie

Jeśli $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest szeregiem funkcyjnym, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest jednostajnie zbieżny wtedy i tylko wtedy, gdy szereg spełnia warunek Cauchy'ego, to znaczy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall \varepsilon>0\ \exists N\in\mathbb{N}\ \forall n,m\in\mathbb{N}\ \forall x\in A:\ \ \bigg[ \big(m>n>N\big)\ \Longrightarrow\ \big(\big|f_{n+1}(x)+\ldots+f_m(x)\big|<\varepsilon\big) \bigg] }

Dowód

"$\displaystyle \Longrightarrow$"
Załóżmy, że szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest jednostajnie zbieżny do funkcji $\displaystyle f$ i oznaczmy przez $\displaystyle F_{n}$ ciąg sum częściowych tego szeregu. Ustalmy dowolne $\displaystyle \varepsilon >0$. Z definicji jednostajnej zbieżności ciągu $\displaystyle \{F_{n}\}$ wynika, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists N\in\mathbb{N}\ \forall n\ge N\ \forall x\in A:\ \big|F_n(x)-f(x)\big| \ <\ \frac{\varepsilon}{2}. }

Zatem dla $\displaystyle m>n>N$ mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \big|F_m(x)-F_n(x)\big| \ =\ \big|F_m(x)-f(x)+f(x)-F_n(x)\big| \ \le\ |F_m(x)-f(x)\big|+\big|F_n(x)-f(x)\big| \ <\ 2\cdot\frac{\varepsilon}{2} \ =\ \varepsilon. }

A zatem szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ spełnia warunek Cauchy'ego.

"$\displaystyle \Longleftarrow$"
Załóżmy teraz, że szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ spełnia warunek Cauchy'ego. Po pierwsze zauważmy, że wówczas dla dowolnego $\displaystyle x\in A$ szereg liczbowy $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}(x)$ spełnia warunek Cauchy'ego dla szeregów liczbowych, a zatem jest zbieżny (patrz Twierdzenie AM1.Uzupelnic t.am1.w.07.0070|) punktowo, powiedzmy do funkcji $\displaystyle f$, to znaczy $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}(x)=f(x)$ dla $\displaystyle x\in A$. Pokażemy, że szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest zbieżny do $\displaystyle f$ jednostajnie.

Niech $\displaystyle \{F_{n}\}$ ponownie oznacza ciąg sum częściowych tego szeregu. ustalmy dowolne $\displaystyle \varepsilon >0$. Z warunku Cauchy'ego wiemy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists N\in\mathbb{N}\ \forall n,m\in\mathbb{N}\ \forall x\in A:\ \ \bigg[ \big(m>n>N\big)\ \Longrightarrow\ \big(\big|f_{n+1}(x)+\ldots+f_m(x)\big|<\varepsilon\big) \bigg], }

a to oznacza, że dla $\displaystyle m>n>N$ oraz $\displaystyle x\in A$, mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \big|F_m(x)-F_n(x)\big| \ <\ \varepsilon. }

Przejdźmy w powyższej nierówności do granicy z $\displaystyle m\rightarrow +\infty$ (przy ustalonych $\displaystyle x\in A$ i $\displaystyle n>N$). Dostajemy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall x\in A\ \forall n>N:\ \big|f(x)-F_n(x)\big| \ \le\ \varepsilon. }

A zatem ciąg $\displaystyle F_{n}\rightrightarrows f$, czyli szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest jednostajnie zbieżny do $\displaystyle f$, co należało dowieść.

Analogicznie jak w przypadku ciągów funkcyjnych, zbieżność jednostajna szeregów implikuje zbieżność punktową. Dowód pozostawiamy jako proste ćwiczenie.

Twierdzenie

(Zbieżność a jednostajna zbieżność)
Jeśli $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest szeregiem funkcyjnym jednostajnie zbieżnym do sumy $\displaystyle f$, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}=f$ (to znaczy szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest zbieżny (punktowo) do sumy $\displaystyle f$).

Analogicznie do twierdzenia dotyczącego ciągów, dla szeregów także mamy ciągłość granicy jednostajnie zbieżnego szeregu funkcji ciągłych.

Twierdzenie

(Ciągłość granicy jednostajnie zbieżnego szeregu funkcji ciągłych)
Jeśli $\displaystyle A\subseteq \mathbb {R}$, $\displaystyle x_{0}\in A$, $\displaystyle f_{n}\colon A\longrightarrow \mathbb {R}$ są funkcjami dla $\displaystyle n\in \mathbb {N}$ oraz szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest jednostajnie zbieżny do sumy $\displaystyle \displaystyle f\colon A\longrightarrow \mathbb {R}$, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to
(1) jeśli funkcje $\displaystyle f_{n}$ są ciągłe w punkcie $\displaystyle x_{0}$ dla każdego $\displaystyle n\in \mathbb {N}$, to $\displaystyle f$ jest funkcją ciągłą w $\displaystyle x_{0}$;
(2) jeśli funkcje $\displaystyle f_{n}$ są ciągłe dla każdego $\displaystyle n\in \mathbb {N}$, to $\displaystyle f$ jest funkcją ciągłą.

Dowód

(Ad (1)) Załóżmy, że funkcje $\displaystyle f_{n}$ są ciągłe w punkcie $\displaystyle x_{0}$ dla każdego $\displaystyle n\in \mathbb {N}$. Zatem także sumy częściowe $\displaystyle F_{n}=f_{1}+f_{2}+\ldots +f_{n}$ są ciągłe w punkcie $\displaystyle x_{0}$ (patrz Twierdzenie AM1.Uzupelnic t.am1.w.08.0170|). Zatem z Twierdzenia Uzupelnic t.am2.w.02.0050| wnioskujemy, że granica $\displaystyle f=\lim \limits _{n\rightarrow +\infty }F_{n}$ (która istnieje z założenia) jest funkcją ciągłą.
(Ad (2)) Wynika wprost z (1).

Dla szeregów zachodzi twierdzenie analogiczne do Twierdzenia Uzupelnic t.am2.w.02.0070|. Jeśli policzymy granicę sumy szeregu jednostajnie zbieżnego w punkcie, to otrzymamy to samo co licząc granice w punkcie dla poszczególnych wyrazów szeregu funkcyjnego, a następnie licząc sumę tak otrzymanego szeregu liczbowego. Innymi słowy w szeregu jednostajnie zbieżnym $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ można przejść do granicy w punkcie "wyraz po wyrazie", to znaczy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \lim_{x\rightarrow a}\displaystyle \sum_{n=1}^{\infty} f_n(x) \ =\ \displaystyle \sum_{n=1}^{\infty}\lim_{x\rightarrow a} f_n(x). }

Dokładne sformułowanie podane jest poniżej. Twierdzenie to możemy łatwo wykazać opierając się na Twierdzeniu Uzupelnic t.am2.w.02.0070| zastosowanym do ciągu sum częściowych szeregu.

Twierdzenie

Jeśli $\displaystyle A\subseteq \mathbb {R}$, $\displaystyle a$ jest punktem skupienia zbioru $\displaystyle A$, $\displaystyle f_{n}\colon A\longrightarrow \mathbb {R}$ są funkcjami dla $\displaystyle n\in \mathbb {N}$, szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest jednostajnie zbieżny oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall n\in\mathbb{N}:\ \exists \lim_{x\rightarrow a}f_n(x)\ =\ c_n\in\mathbb{R}, }

Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to
(1) $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }c_{n}$ jest szeregiem liczbowym zbieżnym;
(2) istnieje granica $\displaystyle \displaystyle \lim _{x\rightarrow a}f(x)$ oraz $\displaystyle \displaystyle \lim _{x\rightarrow a}f(x)=\displaystyle \sum _{n=1}^{\infty }c_{n}$.

Dla szeregów funkcyjnych podamy jedno kryterium zbieżności. Jest ono odpowiednikiem kryterium porównawczego dla szeregów liczbowych. Mówi ono, że jeśli wyrazy szeregu funkcyjnego są wspólnie ograniczone przez wyrazy szeregu liczbowego zbieżnego, to szereg ten jest jednostajnie zbieżny. Zauważmy, że kryterium to ma dość silne założenie wspólnej ograniczoności, ale za to w tezie dostajemy nie tylko zbieżność (punktową), ale aż zbieżność jednostajną.

Twierdzenie

(Kryterium Weierstrassa)
Jeśli $\displaystyle f_{n}\colon A\longrightarrow \mathbb {R}$ są funkcjami dla $\displaystyle n\in \mathbb {N}$, szereg $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }a_{n}$ jest zbieżny oraz $\displaystyle \forall n\in \mathbb {N} ,\ x\in A:\ {\big |}f_{n}(x){\big |}\leq a_{n}$, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ jest jednostajnie zbieżny na $\displaystyle A$.

Dowód

Na mocy Twierdzenia Uzupelnic t.am2.w.02.0100| wiemy, że wystarczy pokazać zachodzenie warunku Cauchy'ego dla szeregu funkcyjnego $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$. W tym celu ustalmy dowolne $\displaystyle \varepsilon >0$. Ponieważ szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }a_{n}$ jako zbieżny, więc spełnia warunek Cauchy'ego zbieżności szeregów liczbowych (patrz Twierdzenie AM1.Uzupelnic t.am1.w.07.0070|), zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \exists N\in\mathbb{N}\ \forall m>n>N:\ a_{n+1}+\ldots+a_m<\varepsilon. }

Zatem dla $\displaystyle m>n>N$ oraz dla dowolnego $\displaystyle x\in A$ mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \big| f_{n+1}(x)+\ldots+f_m(x) \big| \ \le\ \big| f_{n+1}(x) \big| +\ldots+ \big| f_m(x) \big| \ \le\ a_{n+1}+\ldots+ a_m\ <\ \varepsilon. }

Zatem pokazaliśmy, że szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$ spełnia warunek Cauchy'ego zbieżności szeregów, a zatem jest jednostajnie zbieżny.

W kolejnym przykładzie wykorzystamy kryterium Weierstrassa do zbadania zbieżności (jednostajnej) szeregu funkcyjnego.

Przykład

Udowodnić zbieżność następującego szeregu funkcyjnego $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }{\frac {nx}{1+n^{5}x^{2}}}$. Pokazać, że suma jest funkcją ciągłą na $\displaystyle \displaystyle \mathbb {R}$.

Rozwiązanie

Aby skorzystać z kryterium Weierstrassa zbieżności szeregów, należy pokazać, że wyrazy szeregu $\displaystyle \displaystyle f_{n}(x)={\frac {nx}{1+n^{5}x^{2}}}$ są ograniczone przez wyrazy pewnego zbieżnego szeregu liczbowego. Wyznaczmy ekstrema funkcji $\displaystyle f_{n}$. Obliczamy pochodne:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_n'(x) \ =\ \frac{n\cdot(1+n^5x^2)-nx\cdot 2n^5x}{(1+n^2x^2)^2} \ =\ \frac{n(1-n^5x^2)}{(1+n^2x^2)^2} \qquad\forall\ n\ge 1. }

Z warunku koniecznego istnienia ekstremum (zauważmy, że funkcje $\displaystyle f_{n}$ są klasy $\displaystyle C^{\infty }$), otrzymujemy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_n'(x) \ =\ 0 \quad\Longleftrightarrow\quad x \ =\ \pm \frac{1}{n^{\frac{5}{2}}} \qquad\forall\ n\ge 1. }

Zauważając ponadto, że $\displaystyle \displaystyle \lim _{n\rightarrow \pm \infty }f_{n}(x)=0$, stwierdzamy, że funkcja $\displaystyle f_{n}$ ma ekstrema globalne w punktach $\displaystyle \displaystyle \pm {\frac {1}{n^{\frac {5}{2}}}}$. Zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sup_{x\in\mathbb{R}}\big|f_n(x)\big| \ \le\ \left|f_n\left(\pm\frac{1}{n^{\frac{5}{2}}}\right)\right| \ =\ \frac{1}{2n^{\frac{3}{2}}} \qquad\forall\ n\ge 1. }

{ Rysunek AM2.02.03}
{ Rysunek AM2.02.04: Animacja}

Ponieważ szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }{\frac {1}{2n^{\frac {3}{2}}}}$ jest zbieżny (jako uogólniony szereg harmoniczny z wykładnikiem $\displaystyle \displaystyle \alpha ={\frac {3}{2}}>1$; patrz Przykład AM1.Uzupelnic p.am1.w.07.0140|), zatem wyjściowy szereg funkcyjny jest zbieżny (i to bezwzględnie) dla każdego $\displaystyle x\in \mathbb {R}$ oraz z kryterium Weierstrassa (patrz Twierdzenie Uzupelnic t.am2.w.02.0140|) jest zbieżny jednostajnie w $\displaystyle \mathbb {R}$.

Korzystając z twierdzenia o ciągłości granicy jednostajnie zbieżnego szeregu funkcji ciągłych (patrz Twierdzenie Uzupelnic t.am2.w.02.0120|) otrzymujemy, że funkcja będąca sumą badanego szeregu jest ciągła.

Kryterium Weierstrassa dostarcza warunku wystarczającego, ale nie koniecznego zbieżności szeregów funkcyjnych. Zostanie to pokazane w kolejnym przykładzie.

Przykład

Pokazać jednostajną zbieżność szeregu $\displaystyle \displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}(x)$ na przedziale $\displaystyle [0,1]$, gdzie

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_n(x) \ =\ \left\{ \begin{array} {lll} 0 & \displaystyle \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left[0,\frac{1}{2^{n+1}}\right],\\ \\ \displaystyle \frac{1}{n}\sin^2\big(2^{n+1}\pi x\big) & \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left(\frac{1}{2^{n+1}},\frac{1}{2^n}\right),\\ \\ \displaystyle 0 & \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left[\frac{1}{2^n},1\right].\\ \end{array} \right. }

Zauważyć, że nie są spełnione założenia kryterium Weierstrassa.

Rozwiązanie

Oznaczmy przez $\displaystyle \{F_{n}\}$ ciąg sum częściowych szeregu $\displaystyle \displaystyle \sum _{n=1}^{\infty }f_{n}$. Ponieważ przedziały $\displaystyle \displaystyle {\bigg (}{\frac {1}{2^{n+1}}},{\frac {1}{2^{n}}}{\bigg )}$ są parami rozłączne, więc

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle F_n(x) \ =\ \left\{ \begin{array} {lll} 0 & \displaystyle \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left[0,\frac{1}{2^{n+1}}\right],\\ \\ \displaystyle \frac{1}{k}\sin^2\big(2^{k+1}\pi x\big) & \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left(\frac{1}{2^{k+1}},\frac{1}{2^k}\right), \ k=1,\ldots,n,\\ \\ 0 & \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left[\frac{1}{2},1\right].\\ \end{array} \right. }

Zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle F \ =\ \lim\limits_{n\rightarrow +\infty} F_n(x) \ =\ \left\{ \begin{array} {lll} 0 & \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x=0,\\ \\ \displaystyle \frac{1}{k}\sin^2\big(2^{k+1}\pi x\big) & \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left(\frac{1}{2^{k+1}},\frac{1}{2^k}\right), \ k=1,2,\ldots,\\ \\ 0 & \displaystyle \quad } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & \displaystyle x\in\left[\frac{1}{2},1\right].\\ \end{array} \right. }

{ Rysunek AM2.02.05}
Ponieważ funkcje $\displaystyle \displaystyle x\longmapsto {\frac {1}{k}}\sin ^{2}{\big (}2^{k+1}\pi x{\big )}$ na przedziale $\displaystyle \displaystyle {\bigg (}{\frac {1}{2^{k+1}}},{\frac {1}{2^{k}}}{\bigg )}$ są dodatnie i przyjmują maximum w środku tego przedziału wynoszące $\displaystyle \displaystyle {\frac {1}{k}}$ zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sup_{x\in[0,1]} \big|F(x)-F_n(x)\big| \ =\ \frac{1}{n+1} \xrightarrow[n\rightarrow+\infty]{} 0, }

więc $\displaystyle F_{n}\rightrightarrows F$ na $\displaystyle [0,1]$ co należało pokazać.
Zauważmy ponadto, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sup_{x\in[0,1]}\big|f_n(x)\big| \ =\ \frac{1}{n}, }

oraz każdy szereg $\displaystyle \displaystyle \sum _{n=1}^{\infty }c_{n}$ taki, że $\displaystyle \displaystyle c_{n}\geq {\frac {1}{n}}$, jest rozbieżny z kryterium porównawczego (patrz Twierdzenie AM1.Uzupelnic t.am1.w.07.0090|). Zatem założenia twierdzenia Weierstrassa nie są spełnione.

Szereg Taylora

Na początek przypomnijmy twierdzenie o wzorze Taylora (patrz Twierdzenie AM1.Uzupelnic t.am1.10.090|).

Twierdzenie

(Wzór Taylora z resztą Lagrange'a)
Jeśli $\displaystyle I\subseteq \mathbb {R}$ jest przedziałem, $\displaystyle f\colon \ I\longrightarrow \mathbb {R}$ jest funkcją $\displaystyle (n+1)$-krotnie różniczkowalną, $\displaystyle a\in \mathrm {int} \,I$, Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle {}}
to

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \forall x\in I\ \exists\vartheta\in(0,1):\ f(x)= f(a) +\frac{1}{1!}f'(a)(x-a) +\frac{1}{2!}f''(a)(x-a)^2 +\ldots +\frac{1}{n!}f^{(n)}(a)(x-a)^n +R_n(x), }

gdzie

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle R_n(x) \ =\ \frac{1}{(n+1)!}f^{(n+1)}\big(a+\vartheta(x-a)\big)(x-a)^{(n+1)}. }

Niech $\displaystyle I\subseteq \mathbb {R}$ oraz niech $\displaystyle f\in C^{\infty }(I)$. Niech $\displaystyle a\in \mathrm {int} \,I$.
Możemy rozważać szereg

$\displaystyle \displaystyle \sum _{n=1}^{\infty }{\frac {1}{n!}}f^{(n)}(a)(x-a)^{n},$

zwany szeregiem Taylora funkcji $\displaystyle f$ o środku w punkcie $\displaystyle a$ (umowa $\displaystyle f^{(0)}(x)=f(x)$).
W szczególności dla $\displaystyle a=0\in \mathrm {int} \,I$, mamy

$\displaystyle \displaystyle \sum _{n=1}^{\infty }{\frac {1}{n!}}f^{(n)}(0)x^{n},$

zwany szeregiem Maclaurina.

Z Twierdzenia Uzupelnic t.am2.w.02.0170| (o wzorze Taylora) wynika, że warunkiem koniecznym i wystarczającym na to, by szereg Taylora był zbieżny jest aby $\displaystyle R_{n}\longrightarrow 0$, gdzie $\displaystyle R_{n}$ oznacza resztę Lagrange'a we wzorze Taylora.

Twierdzenie

Szeregi Maclaurina funkcji: $\displaystyle e^{x}$, $\displaystyle \sin x$ oraz $\displaystyle \cos x$ są zbieżne w $\displaystyle \mathbb {R}$, a ich sumy równe są tym funkcjom. Mówimy krótko, że funkcje te są "równe" swoim szeregom Maclaurina, czyli dla $\displaystyle x\in \mathbb {R}$, mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle e^x \ =\ \displaystyle \sum_{n=0}^{\infty} \frac{x^n}{n!}, }

{ Rysunek AM2.02.06: Animacja}

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sin x \ =\ \frac{x}{1!}-\frac{x^3}{3!}+\frac{x^5}{5!}-\ldots \ =\ \displaystyle \sum_{n=1}^{\infty} (-1)^n\frac{x^{2n+1}}{(2n+1)!}, }

{ Rysunek AM2.02.07: Animacja}

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \cos x \ =\ 1-\frac{x^2}{2!}+\frac{x^4}{4!}-\ldots \ =\ \displaystyle \sum_{n=1}^{\infty} (-1)^n\frac{x^{2n}}{(2n)!}. }

{ Rysunek AM2.02.08: Animacja}

Dowód

Ponieważ wszystkie pochodne funkcji $\displaystyle f(x)=e^{x}$ wynoszą $\displaystyle f^{(n)}(x)=e^{x}$ dla $\displaystyle n\in \mathbb {N}$, zatem wzór Maclaurina tej funkcji ma postać:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle e^x \ =\ \displaystyle \sum_{k=0}^n\frac{x^k}{k!} +R_n(x), }

gdzie $\displaystyle \displaystyle R_{n}(x)={\frac {e^{y}}{(n+1)!}}y^{n+1}$ dla pewnego $\displaystyle y\in [0,x]$ (lub $\displaystyle y\in [x,0]$, gdy $\displaystyle x<0$). Zatem

$\displaystyle {\bigg |}e^{x}-\displaystyle \sum _{k=0}^{n}{\frac {x^{k}}{k!}}{\bigg |}={\big |}R_{n}(x){\big |}.$

Aby pokazać zbieżność szeregu Maclaurina $\displaystyle \displaystyle \displaystyle \sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}$ do funkcji $\displaystyle f(x)=e^{x}$ należy wykazać, że ciąg reszt $\displaystyle \{R_{n}(x)\}$ zmierza do zera (dla dowolnego $\displaystyle x\in \mathbb {R}$). Mamy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \big|R_n(x)\big| \ =\ \bigg| \frac{e^y}{(n+1)!}y^{n+1} \bigg| \ \le\ \frac{e^{|x|}}{(n+1)!}|x|^{n+1}. }

Ostatnie wyrażenie przy dowolnym ustalonym $\displaystyle x\in \mathbb {R}$ zmierza do $\displaystyle 0$ gdy $\displaystyle n\rightarrow +\infty$. A zatem $\displaystyle \displaystyle e^{x}=\displaystyle \sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}$

Dowód dla dwóch pozostałych funkcji jest analogiczny.

Uwaga

Nie zawsze jednak suma szeregu Taylora funkcji klasy $\displaystyle C^{\infty }$ jest równa tej funkcji. Przykładem takiej funkcji jest

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f(x) \ =\ \left\{ \begin{array} {lll} e^{-\frac{1}{x^2}} & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x\ne 0,\\ 0 & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x=0, \end{array} \right. }

Aby to pokazać należy obliczyć pochodne funkcji $\displaystyle f$ w $\displaystyle 0$ (z definicji). Przy liczeniu granicy ilorazu różnicowego wykorzystać regułę de l'Hospitala oraz indukcję matematyczną.

Funkcje, które w pewnym otoczeniu punktu $\displaystyle x_{0}$ są równe sumie swojego szereg Taylora o środku w $\displaystyle x_{0}$ nazywamy analitycznymi.