Теоретический минимум(2 семестр)

1) Ряд [math]\sum\limits_{n = 0}^\infty a_n[/math] имеет сумму [math]S[/math] по методу средних арифметических (обозначают аббревиатурой с.а.), если [math]S = \lim\limits_{n \rightarrow \infty} \frac 1{n + 1} \sum\limits_{k = 0}^n S_k[/math].

2) Пусть дан ряд [math]\sum\limits_{n = 0}^{\infty}a_n[/math] и [math] \forall t \in (0; 1) : \sum\limits_{n = 0}^{\infty}a_nt^n = f(t)[/math] (в классическом смысле). Тогда этот ряд имеет сумму [math] S [/math] по методу Абеля, если [math] S = \lim\limits_{t \to 1 - 0} f(t)[/math].

3) [math] \sum\limits_{n = 0}^\infty a_n = S [/math] (с.а) [math] \Rightarrow [/math] [math] \sum\limits_{n = 0}^\infty a_n = S [/math] (А).

4) [math]\sum\limits_{k = 0}^\infty a_k = S[/math](с.а.) Тогда, если существует такое [math] M \gt 0 [/math], что [math] \forall n \in \mathbb N: \sum\limits_{k = n + 1}^\infty a_k^2 \leq \frac{M}n [/math], то [math] \sum\limits_{k=0}^\infty a_k = S[/math].

5) Пусть на [math]E[/math] задан функциональный ряд [math]\sum\limits_{n = 1}^\infty f_n[/math]. Тогда он равномерно сходится к [math]f = \sum f_n[/math], если [math]\forall\varepsilon\ \gt 0\ \exists N\ \forall n \gt N\ \forall x \in E : |S_n(x) - f(x)| \lt \varepsilon[/math]

5) [math]\sum\limits_{n = 1}^\infty f_n[/math], [math]\forall n \in \mathbb{N} [/math] , [math] \forall x \in E : |f_n(x)| \leq a_n[/math], [math]\sum\limits_{n = 1}^\infty a_n[/math] — сходится. Тогда [math]\sum\limits_{n = 1}^\infty f_n[/math] равномерно сходится на [math]E[/math].

6) Пусть на множестве [math]E[/math] заданы функции [math]f_n[/math], [math]a[/math] — предельная точка этого множества и [math]\forall n \in \mathbb{N}\ \exists\ \lim \limits_{x \to a} f_n(x)[/math]. Тогда если [math]\sum \limits_{n = 0}^{\infty} f_n[/math] - равномерно сходится на [math]E[/math], то выполняется равенство : [math]\lim \limits_{x \to a} \sum \limits_{n = 0}^{\infty} f_n(x) = \sum \limits_{n = 0}^{\infty} \lim\limits_{x \to a} f_n(x)[/math]

8) Пусть [math] f_{n} [/math] интегрируема и равномерно сходится к [math] f [/math] на [math] [a; b] [/math]. Тогда [math] f [/math] тоже интегрируема, и [math] \lim \limits_{n \to \infty} \int\limits_{a}^{b} f_{n} = \int\limits_{a}^{b}f [/math].

9) Пусть на [math] (a, b) [/math] задан функциональный ряд [math]\sum\limits_{n = 1}^{\infty} f_n[/math], [math]\exists c \in \langle a, b \rangle, \sum\limits_{n = 1}^{\infty}f_n(c)[/math] - сходится. Пусть также [math]\exists f_n'[/math] - непрерывна на [math]\langle a, b \rangle[/math] и [math]\sum\limits_{n = 1}^{\infty} f_n'[/math] - равномерно сходится на [math]\langle a, b\rangle[/math], тогда на [math]\langle a, b \rangle[/math] выполняется :

[math](\sum\limits_{n = 1}^{\infty} f_n(x))' = \sum\limits_{n = 1}^{\infty}f_n'(x)[/math].

10) Пусть для некоторого [math]x_0[/math] [math]\sum\limits_{n = 0}^{\infty} a_n x_0^n[/math] — сходится. Тогда [math]\forall x_1 : |x_1| \lt |x_0|[/math] ряд [math]\sum\limits_{n = 0}^\infty |a_n x_1^n|[/math] сходится.

11) [math]R = \sup \{|x| : \sum\limits_{n = 0}^\infty a_n x^n[/math] — сходится [math]\}[/math]. Заметим, что возможны случаи [math]R = 0[/math] и [math]R = \infty[/math]. Пусть есть ряд [math]\sum\limits_{n = 0}^\infty a_n x^n[/math] и [math]R[/math] — его радиус сходимости. Тогда 1) [math]|x| \lt R[/math] [math]\Rightarrow[/math] ряд абсолютно сходится.

2) [math]\forall [a; b] \in (-R; R)[/math] ряд сходится абсолютно и равномерно.

3) [math]|x| \gt R[/math] [math]\Rightarrow[/math] ряд расходится.

4) [math]|x| = R[/math] — неопределённость.

12) Пусть есть [math]\sum\limits_{n = 0}^\infty a_n x^n[/math], [math]R[/math] — его радиус сходимости. Тогда:

1) Если [math]\exists q = \lim\limits_{n \to \infty} \left|\frac{a_n}{a_{n + 1}}\right|[/math], то [math]R = q[/math].

2) Если [math]\exists q = \lim\limits_{n \to \infty} \sqrt[n]{a_n}[/math], то [math]R = \frac1q[/math]

13) Промежуток сходимости степенного ряда совпадает с промежутком сходимости продифференцированного степенного ряда