Součásti dokumentu Matematika2
Zdrojový kód
%\wikiskriptum{Matematika2}
\section{Mocninné Řady}
\subsection{Konvergence}
\begin{define}[Mocninná řada]~\\
Buď $\{a_n \}$ posloupnost reálných čísel a $a \in \R$. Řada $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ se nazývá mocninnou řadou se středem v bodě $a$.
\end{define}
\begin{define}[Konvergence mocninné řady na intervalu]~\\
Řekneme, že mocninná řada $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ konverguje na množině $I$, jestliže pro každé $x_0 \in I$ je řada $\sum\limits_{n=0}^{+\infty} a_n(x_0-a)^n$ konvergentní. Množině $I$ pak říkáme obor konvergence mocninné řady.
\end{define}
\begin{theorem}~\\
Jestliže $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ konverguje v bodě $x_0 \neq a$, pak konverguje absolutně pro každé $x \in (a-x_0,a+x_0)$, tj. $|x-a| < |x_0-a|$. Naopak, jestliže řada $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ diverguje v bodě $x_0$, pak pro každé $x \in (-\infty,a-x_0)\cup(a+x_0,+\infty)$, tj. $|x-a| > |x_0-a|$, řada $\sum\limits_{n=0}^{+\infty}$ diverguje.
\end{theorem}
\begin{theorem}~\\\label{vPol}
Pro každou mocninnou řadu $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ existuje právě jedno $r$, $0 \leq r \leq +\infty$ tak, že řada
\begin{enumerate}
\item Konverguje absolutně pro všechna $x$ taková, že $|x-a| < r$
\item Diverguje pro všechna $x$ taková, že $|x-a| > r$.
\end{enumerate}
\end{theorem}
\begin{define}[Poloměr konvergence]~\\
Symbol $r$ z věty \ref{vPol} nazýváme poloměrem konvergence mocninné řady se středem v bodě $a$.
\end{define}
\begin{theorem}[Cauchy-Hadamard]~\\
Pro poloměr konvergence mocninné řady $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ platí, že
\be
r = \frac{1}{\limsup\limits_{n\to+\infty}\sqrt[n]{|a_n|}},
\ee
resp. $r=0$ pokud $\limsup\limits_{n\to+\infty}\sqrt[n]{|a_n|}=+\infty$, resp. $r=+\infty$, pokud $\limsup\limits_{n\to+\infty}\sqrt[n]{|a_n|}=0$
\end{theorem}
\pzp
Poznámky ohledně definice $\limsup\limits_{n\to+\infty}a_n$, příklady nalezení oboru konvergence mocninné řady.
\subsection{Derivování mocninných řad}
\begin{theorem}~\\
Nechť $\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ konverguje na $(a-r,a+r)$. Potom řada $$\frac{\ud}{\ud x} \left( \sum\limits_{n=0}^{+\infty}a_n(x-a)^n \right) = \sum\limits_{n=1}^{+\infty}na_n(x-a)^{n-1}$$ také konverguje na $(a-r,a+r)$, tj. konvergentní mocninné řady lze derivovat člen po členu.
\end{theorem}
\subsection{Integrace mocninných řad}
\begin{theorem}~\\
Nechť $f(x)=\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$ konverguje na $(a-r,a+r)$. Pak $g(x)= \sum\limits_{n=0}^{+\infty} \frac{a_n}{n+1}(x-a)^{n+1}$ konverguje na $(a-r,a+r)$ a platí, že $\int f = g + C$, tj.
$$
\int \sum\limits_{n=0}^{+\infty} a_n(x-a)^n~ \ud x =
\sum\limits_{n=0}^{+\infty} \frac{a_n}{n+1}(x-a)^{n+1}+C.
$$
\end{theorem}
\subsection{Vlastnosti mocninných řad}
\begin{theorem}[Abelova]~\\
Nechť $f$ je součtová funkce mocninné řady $f(x)=\sum\limits_{n=0}^{+\infty} a_n(x-a)^n$. Pokud je $f$ spojitá v krajním bodě oboru konvergence mocninné řady $a-r$, resp. $a+r$, pak řada v tomto bodě konverguje k $f(a-r)$, resp. $f(a+r)$.
\end{theorem}
\begin{theorem}~\\
V oboru konvergence je mocninná řada Taylorovou řadou své součtové funkce.
\end{theorem}