Szereg potęgowy

Szereg potęgowy – w analizie matematycznej, szereg funkcyjny postaci^[1]^[2]^[3]

f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}=a_{0}+a_{1}z+a_{2}z^{2}+\dots

lub^[4]

f(z)=\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}=a_{0}+a_{1}(z-z_{0})+a_{2}(z-z_{0})^{2}+\dots ,

przy czym współczynniki $a_{n}$ oraz stała $z_{0}$ są ustalonymi liczbami rzeczywistymi lub zespolonymi^[4]. Zmienna $z$ także może być rzeczywista lub zespolona^[1]. Liczba $z_{0}$ nazywana jest środkiem szeregu.

Uważa się, że pierwszego zastosowania rozwinięcia funkcji w szereg potęgowy dokonał James Stirling w 1717 roku^[5].

Zbieżność szeregu

Zobacz też: Twierdzenie Cauchy’ego-Hadamarda.

Szeregi potęgowe zespolone

Każdy szereg potęgowy jest bezwzględnie zbieżny dla wszystkich wartości $z$ należących do pewnego koła otwartego

B_{r}(z_{0})=\{z\in \mathbb {C} :|z-z_{0}|<r\}

o środku w punkcie $z_{0}$ i rozbieżny poza jego domknięciem. Dla $|z-z_{0}|=r,$ szereg może być w pewnych punktach zbieżny a w innych rozbieżny. Liczbę $r$ nazywa się promieniem zbieżności szeregu, a koło $B_{r}$ – kołem zbieżności szeregu.

Jeśli szereg potęgowy jest zbieżny dla każdej wartości $z,$ to promień zbieżności $r$ jest nieskończenie wielki: $r=\infty$ ^[3].

Twierdzenie 1

Promień zbieżności szeregu potęgowego można wyznaczyć ze wzoru:

r={\frac {1}{\limsup \limits _{n\to \infty }{\sqrt[{n}]{|a_{n}|}}}}

,

przy założeniu, że powyższa granica istnieje ( zob. Granice dolna i górna nt. objaśnienia notacji).

Przy tym:

jeśli $\limsup \limits _{n\to \infty }{\sqrt[{n}]{|a_{n}|}}=\infty ,$ to $r=0$ i szereg jest zbieżny jedynie dla $z=z_{0},$
jeśli $\limsup \limits _{n\to \infty }{\sqrt[{n}]{|a_{n}|}}=0,$ to $r=\infty$ i szereg jest zbieżny dla wszystkich $z\in \mathbb {C} .$

Twierdzenie 2 (kryterium d'Alemberta)

Promień zbieżności szeregu potęgowego można wyznaczyć ze wzoru:

r={\frac {1}{\lim \limits _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|}}

przy założeniu, że powyższa granica istnieje.

Dowód twierdzenia 1

Dowód twierdzenia

(1) Niech ${\textstyle f_{N}\colon {\overline {B_{c}(0)}}\to \mathbb {C} }$ ,

$f_{N}(z)=\sum _{n=0}^{N}a_{n}(z-z_{0})^{n}$

dla $N=1,2,\ldots$ . Wykazanie zbieżności jednostajnej jest równoważne z pokazaniem, że

$\lim _{N\to \infty }||f-f_{N}||_{\infty }=0$ ,

gdzie $||\cdot ||_{\infty }$ oznacza normę supremum podanej funkcji na ${\textstyle {\overline {B_{c}(z_{0})}}}$ .

$||f-f_{N}||_{\infty }=\sup _{z\in {\overline {B_{r}(z_{0})}}}\left|\sum _{n=N+1}^{\infty }a_{n}(z-z_{0})^{n}\right|=\sup _{z\in {\overline {B_{r}(z_{0})}}}\lim _{m\to \infty }\left|\sum _{n=N+1}^{m}a_{n}(z-z_{0})^{n}\right|$ .

Korzystając z nierówności trójkąta,

$\sup _{z\in {\overline {B_{r}(z_{0})}}}\lim _{m\to \infty }\left|\sum _{n=N+1}^{m}a_{n}(z-z_{0})^{n}\right|\leqslant \sup _{z\in {\overline {B_{r}(z_{0})}}}\lim _{m\to \infty }\sum _{n=N+1}^{m}|a_{n}|\cdot |z-z_{0}|^{n}\leqslant \sum _{n=N+1}^{\infty }|a_{n}|\cdot c^{n}$ ,

ponieważ $|z-z_{0}|\leqslant c$ . Aby pokazać, że całość zbiega do 0, należy skorzystać z nierówności $c/r<1$ oraz z faktu, że istnieje stała rzeczywista $A>0$ taka, że $a_{n}/r^{n}\leqslant A$ .

$\sum _{n=N+1}^{\infty }|a_{n}|\cdot c^{n}=\sum _{n=N+1}^{\infty }|a_{n}|r^{n}\cdot (c/r)^{n}\leqslant A\sum _{n=N+1}^{\infty }(c/r)^{n}$ ,

a ostatni szereg po prawej dąży do 0, gdy $N\to \infty$ .

(2) Wystarczy zauważyć, że $r^{-1}=\limsup _{n\to \infty }{\sqrt[{n}]{|a_{n}|}}=\limsup _{n\to \infty }{\sqrt[{n}]{|a_{n}|(n+1)}}$ , więc dowód przebiega tak samo jak w części (1).

(3) Oznaczamy

$p_{N}(z)=\sum _{n=0}^{N}a_{n}(z-z_{0})^{n}$ ,

$q_{N}(z)=\sum _{n=N+1}^{\infty }a_{n}(z-z_{0})^{n}$ .

Wówczas

$\lim _{h\to 0}\left|{\frac {f(z+h)-f(z)}{h}}-f'(z)\right|=\lim _{h\to 0}\left|{\frac {(p_{N}+q_{N})(z+h)-(p_{N}+q_{N})(z)}{h}}-f'(z)\right|$

$\leqslant \lim _{h\to 0}\left|{\frac {p_{N}(z+h)+p_{N}(z)}{h}}-p'_{N}(z)\right|+\left|p'_{N}(z)-f'(z)\right|+\lim _{h\to 0}\left|{\frac {q_{N}(z+h)-q_{N}(z)}{h}}\right|$ .

Funkcja $p'_{N}$ dla każdej liczby naturalnej $N$ istnieje, ponieważ $p_{N}$ jest wielomianem. Pierwsze wyrażenie jest równe 0, ponieważ

$p_{N}'(z)=\lim _{h\to 0}{\frac {p_{N}(z+h)-p_{N}(z)}{h}}$ ,

drugie dąży do 0 gdy $N\to \infty$ , a ostatnie

$\lim _{h\to 0}\left|{\frac {q_{N}(z+h)-q_{N}(z)}{h}}\right|=\lim _{h\to 0}\left|{\frac {\sum _{n=N+1}^{\infty }a_{n}((z+h-z_{0})^{n}-(z-z_{0})^{n})}{h}}\right|\leqslant \lim _{h\to 0}\sum _{n=N+1}^{\infty }|a_{n}|\cdot \left|{\frac {(z+h-z_{0})^{n}-(z-z_{0})^{n}}{h}}\right|$ .

Wyrażając różnicę $(z+h-z_{0})^{n}-(z-z_{0})^{n}$ przez wzór na różnicę n-tych potęg, można zastosować szacowanie

$\lim _{h\to 0}\sum _{n=N+1}^{\infty }|a_{n}|\cdot \left|{\frac {(z+h-z_{0})^{n}-(z-z_{0})^{n}}{h}}\right|\leqslant \sum _{n=N+1}^{\infty }|a_{n}|n{\tilde {r}}^{n-1}$ ,

gdzie ${\tilde {r}}$ jest odpowiednim promieniem zbieżności. Ostatni szereg dąży do 0, gdy $N\to \infty$ , więc całe wyrażenie dąży do 0.

Szereg potęgowy jako funkcja holomorficzna

Szereg potęgowy jest funkcją funkcja holomorficzną (tj. jest nieskończenie wiele razy różniczkowalna), co uzasadniają poniższe twierdzenie:

Szereg potęgowy jest ciągły i zbieżny jednostajnie na dowolnym zwartym podzbiorze koła zbieżności.
Szereg potęgowy ${\textstyle f(z)=\sum _{n=1}^{\infty }a_{n}(z-z_{0})^{n}}$ o środku w punkcie $z_{0}$ i promieniu zbieżności $r$ jest zbieżny jednostajnie na dowolnym kole domkniętym o promieniu $c<r$ i środku w punkcie $z_{0}$ ( tj. na kole ${\overline {B_{c}(z_{0})}}$ , gdzie $c<r$ , a ${\overline {A}}$ - domknięcie zbioru).
Pochodną funkcji $f$ jest szereg potęgowy ${\textstyle f'(z)=\sum _{n=1}^{\infty }a_{n}n(z-z_{0})^{n-1}}$ - różniczkowanie szeregu można zastąpić szeregiem pochodnych po poszczególnych wyrazach szeregu ze względu na zbieżność jednostajną.
Szereg przedstawiający pochodną funkcji $f$ także jest zbieżny jednostajnie na dowolnym kole ${\overline {B_{c}(z_{0})}}$ , gdzie $c<r$ .
Z powyższych własności wynika, że szereg potęgowy ma pochodne dowolnego rzędu wewnątrz koła zbieżności, co oznacza, że funkcja $f$ przedstawiona za pomocą szeregu potęgowego jest holomorficzna wewnątrz koła zbieżności.

Szeregi potęgowe rzeczywiste

W przypadku zmiennej rzeczywistej $z,$ koło $B_{r}$ zbieżności stanowi przedział $(z_{0}-r,z_{0}+r)$ nazywany przedziałem zbieżności szeregu^[2].

Działania na szeregach potęgowych

Dane są szeregi o identycznych środkach, ale o niekoniecznie równych promieniach zbieżności:

$f(z)=\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}$

$g(z)=\sum _{n=0}^{\infty }b_{n}(z-z_{0})^{n}$

Równość szeregów

Dwa szeregi przedstawiają tę samą funkcję wtedy i tylko wtedy, gdy mają równe wszystkie współczynniki przy tych samych potęgach dwumianu $(z-z_{0}).$

Dodawanie i odejmowanie

Suma / różnica funkcji zadanych za pomocą szeregów potęgowych jest szeregiem danym wzorem

$f(z)\pm g(z)=\sum _{n=0}^{\infty }(a_{n}\pm b_{n})(z-z_{0})^{n}$

zbieżnym w mniejszym z kół zbieżności szeregów $f$ oraz $g$ .

Mnożenie i dzielenie

Iloczyn szeregów: Iloczynem Cauchy’ego określonych wyżej szeregów nazywamy szereg

$\sum _{n=0}^{\infty }\sum _{k=0}^{n}a_{k}b_{n-k}(z-z_{0})^{n}.$

Dla argumentów z mniejszego koła zbieżności szereg jest zbieżny bezwzględnie i kolejność sumowania wyrazów nie ma znaczenia, dlatego powyższą sumę można też zapisać jako

$\sum _{i=0}^{\infty }\sum _{j=0}^{\infty }a_{i}b_{j}(z-z_{0})^{i+j}.$

Dzielenie szeregów (dla tych liczb z, dla których mianownik nie zeruje się):

{\frac {f(z)}{g(z)}}={\frac {\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}}{\sum _{n=0}^{\infty }b_{n}(z-z_{0})^{n}}}=\sum _{n=0}^{\infty }c_{n}(z-z_{0})^{n}.

Dla wyznaczenia współczynników $c_{n}$ wystarczy napisać

f(z)=\left(\sum _{n=0}^{\infty }b_{n}(z-z_{0})^{n}\right)\left(\sum _{n=0}^{\infty }c_{n}(z-z_{0})^{n}\right),

skąd przez wymnożenie, porównanie współczynników szeregów po obu stronach i wykorzystanie ich jednoznaczności otrzymamy $c_{n}.$

Całkowanie i różniczkowanie

Z własności szeregu potęgowego wynika bezpośrednio (patrz: szereg funkcyjny), że jego suma jest funkcją różniczkowalną i całkowalną w sensie Riemanna we wnętrzu koła zbieżności tego szeregu. Co więcej, ze względu na zbieżność jednostajną szeregu potęgowego zarówno pochodną, jak i całkę tej funkcji można otrzymać różniczkując lub całkując szereg potęgowy funkcji wyraz po wyrazie,

\left(\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}\right)'=\sum _{n=1}^{\infty }a_{n}n(z-z_{0})^{n-1}

oraz

\int \sum _{n=1}^{\infty }a_{n}(z-z_{0})^{n}\,dz=\sum _{n=0}^{\infty }{\frac {a_{n}(z-z_{0})^{n+1}}{n+1}}+C.

Obydwa szeregi po prawej stronie równości są zbieżne w tym samym kole zbieżności co szereg wyjściowy.

Funkcje analityczne

Z szeregami potęgowymi zmiennej zespolonej ściśle związane są funkcje analityczne.

(1) Każda funkcja analityczna lokalnie (tj. w pewnym otoczeniu dowolnego punktu swej dziedziny) daje się przedstawić szeregiem potęgowym

(2) I na odwrót: każdy szereg potęgowy jest funkcją analityczną we wnętrzu swego koła zbieżności.

(3) Klasa funkcji analitycznych w pewnym obszarze tworzy pierścień, to znaczy suma i iloczyn funkcji analitycznych jest również funkcją analityczną oraz iloraz funkcji analitycznych jest funkcją analityczną, o ile mianownik nie przyjmuje w danym obszarze wartości zerowych.

(4) Każda zespolona funkcja analityczna jest nieskończenie wiele razy różniczkowalna w swej dziedzinie.

(5) Rozwinięcie funkcji analitycznej w szereg potęgowy w otoczeniu dowolnego punktu $z_{0}$ jest de facto szeregiem Taylora, gdyż współczynniki $a_{n}$ rozwinięcia dane są wzorem:

a_{n}={\frac {f^{(n)}(z_{0})}{n!}},

gdzie $f^{(n)}(z_{0})$ oznacza $n$ -tą pochodną $f$ w punkcie $z_{0}.$

(6) Jeśli dwie funkcje analityczne zmiennej zespolonej są określone w tym samym obszarze, a ich wszystkie pochodne są równe w pewnym punkcie tego obszaru, to obie funkcje są sobie równe w całym obszarze.

Uwaga:

Powyższe własności nie dotyczą funkcji zmiennej rzeczywistej – funkcja nieskończenie wiele razy różniczkowalna może nie dać przedstawić się szeregiem potęgowym.

Formalne szeregi potęgowe

Pojęcie szeregu potęgowego zostało przeniesione do algebry pod postacią formalnego szeregu potęgowego nad danym ciałem. Ich badanie ma wielkie znaczenie dla kombinatoryki, gdzie występują pod postacią funkcji tworzących.

Szereg potęgowy wielu zmiennych

Kolejnym uogólnieniem teorii szeregów potęgowych jednej zmiennej jest teoria szeregów wielu zmiennych.

Szereg potęgowy wielu zmiennych definiujemy następująco:

f(z_{1},\dots ,z_{n})=\sum _{j_{1},\dots ,j_{n}=0}^{\infty }a_{j_{1},\dots ,j_{n}}\prod _{k=1}^{n}\left(z_{k}-c_{k}\right)^{j_{k}},

gdzie $j=(j_{1},\dots ,j_{n})$ jest n-ką uporządkowaną liczb naturalnych, współczynniki $a_{j_{1},\dots ,j_{n}}$ są liczbami rzeczywistymi lub zespolonymi, a $c=(c_{1},\dots ,c_{n})$ oraz $z=(z_{1},\dots ,z_{n})$ są punktami $n$ -wymiarowej rzeczywistej lub zespolonej przestrzeni euklidesowej.

Zobacz też

Przypisy

↑ ^a ^b szereg potęgowy, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-09-01] .
↑ ^a ^b WłodzimierzW. Krysicki WłodzimierzW., LechL. Włodarski LechL., Analiza matematyczna w zadaniach. 1, Warszawa: Wydawnictwo Naukowe PWN, 2019, s. 231-232, ISBN 978-83-01-14295-7 (pol.).
↑ ^a ^b WłodzimierzW. Krysicki WłodzimierzW., LechL. Włodarski LechL., Analiza matematyczna w zadaniach. 2, Wydawnictwo Naukowe PWN, 2018, s. 342-344, ISBN 978-83-01-14296-4 (pol.).
↑ ^a ^b I.N.I.N. Bronsztejn I.N.I.N. i inni, Nowoczesne kompendium matematyki, Warszawa: Wydawnictwo Naukowe PWN, 2022, s. 454, ISBN 978-83-01-14148-6 (pol.).
↑ Hans Niels Jahnke: A history of analysis. Providence, RI: American Mathematical Society, 2003, s. 113. ISBN 0-8218-2623-9. OCLC 51607350.

Bibliografia

W. Żakowski, W. Leksiński, Matematyka cz. IV, Wydawnictwo Naukowo-Techniczne, Warszawa 1978, Rozdział III Funkcje zmiennej zespolonej, s. 233-350. ISBN 978-83-01-19359-1

Linki zewnętrzne

Eric W.E.W. Weisstein Eric W.E.W., Power Series, [w:] MathWorld, Wolfram Research (ang.). [dostęp 2023-09-01].
Power series (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-09-01].
Zadania z szeregów potęgowych

[epwn-1] szereg potęgowy, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-09-01] .

[:0-2] WłodzimierzW. Krysicki WłodzimierzW., LechL. Włodarski LechL., Analiza matematyczna w zadaniach. 1, Warszawa: Wydawnictwo Naukowe PWN, 2019, s. 231-232, ISBN 978-83-01-14295-7 (pol.).

[:2-3] WłodzimierzW. Krysicki WłodzimierzW., LechL. Włodarski LechL., Analiza matematyczna w zadaniach. 2, Wydawnictwo Naukowe PWN, 2018, s. 342-344, ISBN 978-83-01-14296-4 (pol.).

[:1-4] I.N.I.N. Bronsztejn I.N.I.N. i inni, Nowoczesne kompendium matematyki, Warszawa: Wydawnictwo Naukowe PWN, 2022, s. 454, ISBN 978-83-01-14148-6 (pol.).

[5] Hans Niels Jahnke: A history of analysis. Providence, RI: American Mathematical Society, 2003, s. 113. ISBN 0-8218-2623-9. OCLC 51607350.

[1]

[2]

[3]

[4]

[5]