403
правки
Изменения
м
Добавлена статья
== Определение ==
{{Определение
|definition=
Ряд <tex>\sum\limits_{n = 0}^\infty a_n(x - x_0)^n</tex> {{---}} степенной ряд.
}}
Сделаем замену <tex>y = x - x_0</tex>. Тогда этот ряд превращается в
<tex>\sum\limits_{n = 0}^\infty a_n y^n</tex>. Поэтому, далее будем рассматривать только ряды с <tex>x_0 = 0</tex>, переход к общему случаю получается сдвигом.
== Лемма Абеля ==
Вся теория степенных рядов основана на лемме Абеля.
{{Лемма
|author=Абель
|statement=
Пусть для некоторого <tex>x_0</tex> <tex>\sum\limits_{a_n} x_0^n</tex> {{---}} сходится.
Тогда <tex>\forall x_1 : |x_1| < |x_0|</tex> ряд <tex>\sum\limits_{n = 0}^\infty |a_n x_0^n|</tex>сходится.
|proof=
<tex>|a_n x_1^n| = |a_n x_0^n| \left(\frac{|x_1|}{|x_0|}\right)^n</tex>
<tex>\sum\limits_{n = 0}^\infty a_n x^n \to 0</tex> <tex>\Rightarrow</tex>
<tex>\exists N\ \forall n > N\ |a_n x_0^n| < 1</tex> <tex>\Rightarrow</tex>
<tex>|a_n x_1^n| < \left(\frac{|x_1|}{|x_0|}\right)^n</tex>, <tex>q = \frac{|x_1|}{|x_0|} < 1</tex>
<tex>q^n</tex> {{---}} сходится, поэтому, интересующий наш ряд мажорируется сходящимся числовым рядом <tex>\sum\limits_{n = 0}^\infty |a_n x_1^n|</tex>, и поэтому, сходится.
}}
== Радиус сходимости ==
Можно определить важнейшую для теории величину {{---}} радиус сходимости ряда.
{{Определение
|definition=
<tex>R = \sum \{x | \sum\limits_{n = 0}^\infty a_n x^n</tex> {{---}} сходится <tex>\}</tex>. Заметим, что возможны случаи <tex>R = 0</tex> и <tex>R = \infty</tex>.
}}
{{Теорема
|statement=
Пусть есть ряд <tex>\sum\limits_{n = 0}^\infty a_n x^n</tex> и <tex>R</tex> {{---}} его радиус сходимости. Тогда
1) <tex>|x| < R</tex> <tex>\Rightarrow</tex> ряд абсолютно сходится.
2) <tex>\forall [a; b] \in (-R; R)</tex> ряд сходится абсолютно и равномерно.
3) <tex>|x| > R</tex> <tex>\Rightarrow</tex> ряд расходится.
4) <tex>|x| = R</tex> {{---}} неопределённость.
|proof=
1) <tex>|x| < R</tex> <tex>\Rightarrow</tex> по определению точной верхней грани,
<tex>\exists x_0 : |x| < x_0 < R</tex> и ряд <tex>\sum\limits_{n = 0}^\infty a_n x_0^n</tex> сходится. Тогда по лемме Абеля получаем требуемое.
2) <tex>\exists \delta > 0 : [a; b] \subset [-\delta; \delta] \subset (-R; R)</tex>
<tex>\forall x \in [a; b] : |x| < \delta</tex>. По пункту 1, <tex>\sum\limits_{n = 0}^\infty a_n \delta^n</tex> {{---}} абсолютно сходится, значит, к <tex>\sum\limits_{n = 0}^\infty a_n x^n</tex> на <tex>[a; b]</tex> применим признак Вейерштрасса равномерной сходимости рядов, откуда всё следует.
3) Следствие определения радиуса сходимости.
4) Ну неопределённость <tex>:)</tex>
}}
Возникает вопрос: "Как найти <tex>R</tex>?". В большинстве случаев достаточно следующей теоремы:
{{Теорема
|statement=
Пусть есть <tex>\sum\limits_{n = 0}^\infty a_n x^n</tex>, <tex>R</tex> {{---}} его радиус сходимости. Тогда:
1) Если <tex>\exists q = \lim\limits_{n \to \infty} \left|\frac{a_n}{a_{n + 1}}\right|</tex>, то <tex>R = q</tex>.
2) Если <tex>\exists q = \lim\limits_{n \to \infty} \sqrt[n]{a_n}</tex>, то <tex>R = q</tex>
Замечание: на самом деле, есть формула Коши-Адамара, применимая в любом случае: <tex>R = \frac1{\overline{\lim} \sqrt[n]{|a_n|}}</tex>. Но она сложная и никому не нужна.
|proof=
Докажем первый пункт. Второй доказывается аналогично.
Рассмотрим <tex>\sum\limits_{n = 0}^\infty |a_n x^n|</tex> и применим к нему признак Даламбера.
<tex>\frac{|a_{n + 1} x^{n + 1}|}{a_n x^n} = \left|\frac{a_{n + 1}}{a_n}\right| |x| \to q^{-1} |x|</tex>. Тогда, по признаку Даламбера, при <tex>q^{-1} |x| < 1</tex> ряд сходится, при <tex>q^{-1} |x| > 1</tex> ряд расходится.
Итого: <tex>|x| < q</tex> {{---}} ряд сходится, <tex>|x| > q</tex> {{---}} ряд расходится.
Сопоставим с определением <tex>R</tex> и получим <tex>R = q</tex>.
Второй пункт доказывается аналогично радикальным признаком Коши.
}}
== Примеры ==
Примеры. <tex>\sum\limits_{n = 0}^\infty x^n</tex>, <tex>a_n = 1</tex>, <tex>\frac{|a_n|}{|a_{n + 1}| } = 1</tex>
<tex>\sum\limits_{n = 0}^\infty n^n x^n</tex>, <tex>\sqrt[n]{|a_n|} = n \to +\infty</tex>, <tex>R = \frac1{+\infty} = 0</tex>
<tex>\sum\limits_{n = 0}^\infty n^{-n}x^n</tex>, <tex>\sqrt[n]{|a_n|} = n^{-1} \to 0</tex>, <tex>R = \frac1{+0} = +\infty</tex>
<tex>R</tex> может принимать все значения <tex>[0; +\infty]</tex>.
Возникает вопрос. Подставим в <tex>\sum\limits_{n = 0}^\infty x^n</tex> вместо <tex>x</tex> <tex>x^2</tex>:
<tex>\sum\limits_{n = 0}^\infty (-1)^n x^{2n} = \frac1{1 + x^2} : |x| < 1</tex>. Однако, сумма как функция определена для всех <tex>x</tex>. Как это объяснить? Ответ: "В <tex>\mathbb{R}</tex> это объяснить нельзя. Нужно использовать <tex>\mathbb{C}</tex>".
<tex>\sum\limits_{n = 0}^\infty (-1)^n z^{2n} = \frac1{1 + z^2}</tex>. Тут есть корни знаменателя. Этим фактом объясняется усечённый характер этого равенства.
== Произведение степенных рядов ==
По теореме о радиусе сходимости, на промежутке сходимости ряд сходится абсолютно. Если вхять два степенных ряда, то на общё части их промежутка сходимости, ряды будут абсолютно сходиться, и, значит, с ними можно делать любые арифметические действия. В частности, их можно умножать по Коши:
<tex>f(x) = \sum\limits_{n = 0}^\infty a_n x^n</tex>,
<tex>g(x) = \sum\limits_{n = 0}^\infty b_n x^n</tex>.
<tex>\sum\limits_{k = 0}^n a_k x^k b_{n - k} x^{n - k} = \left(\sum\limits_{k = 0}^n a_k b_{n - k} \right) x^n = c_n x^n</tex>
<tex>f(x) g(x) = \sum\limits_{n = 0}^\infty c_n x^n</tex>
Вывод: произведение двух степенных рядов по правилу Коши {{---}} степенной ряд с суммой, равной произведению сумм исходных рядов.
По теореме о радиусе сходимости, на любом отрезке из <tex>(-R; R)</tex>, .... ТУТ ЧТО-ТО ДОЛЖНО БЫТЬ!!!!
Значит, по теоремам о почленном дифференцировании и интегрировании рядов, их можно дифференцировать и интегрировать, и опять будет получаться сходящийся степенной ряд.
Вопрос: "Каковы будут радиусы сходимости почленно проинегрированных или продифференцированных рядов?"
Ответ: "Почленное интегрирование или дифференцирование не меняет радиуса сходимости ряда".
{{Утверждение
|statement=Промежуток сходимости степенного ряда совпадает с промежутком сходимости продифференцированного степенного ряда
|proof=
Если <tex>f(x) = \sum\limits_{n = 0}^\infty a_n x^n</tex>, то <tex>f'(x) = \sum\limits_{n = 1}^\infty a_nnx^{n - 1}</tex>, <tex>\int f(x)dx = \sum\limits_{n = 0}^\infty \frac1{n + 1}a_n x^{n + 1}</tex>
Выясним, что для <tex>f(x)</tex> и <tex>f'(x)</tex> одинаковые радиусы сходимости.
<tex>\sum\limits_{n = 1}^\infty na_nx^{n - 1} \to \sum\limits_{n = 1}^\infty na_nx^n</tex>
<tex>|a_nx^n| \leq |na_nx^n|</tex>. То есть, <tex>x</tex>, для которого сходится <tex>\sum f'</tex>, будет сходиться и <tex>\sum f</tex>.
Поэтому, промежуток сходимости продифференцированного ряда <tex>\subset</tex> промежутку сходимости исходного ряда.
Обратоное очевидно в силу того, что в пределах промежутка сходимости ряда его можно дифференцировать. Значит, эти промежутки совпадают.
}}
{{Определение
|definition=
Ряд <tex>\sum\limits_{n = 0}^\infty a_n(x - x_0)^n</tex> {{---}} степенной ряд.
}}
Сделаем замену <tex>y = x - x_0</tex>. Тогда этот ряд превращается в
<tex>\sum\limits_{n = 0}^\infty a_n y^n</tex>. Поэтому, далее будем рассматривать только ряды с <tex>x_0 = 0</tex>, переход к общему случаю получается сдвигом.
== Лемма Абеля ==
Вся теория степенных рядов основана на лемме Абеля.
{{Лемма
|author=Абель
|statement=
Пусть для некоторого <tex>x_0</tex> <tex>\sum\limits_{a_n} x_0^n</tex> {{---}} сходится.
Тогда <tex>\forall x_1 : |x_1| < |x_0|</tex> ряд <tex>\sum\limits_{n = 0}^\infty |a_n x_0^n|</tex>сходится.
|proof=
<tex>|a_n x_1^n| = |a_n x_0^n| \left(\frac{|x_1|}{|x_0|}\right)^n</tex>
<tex>\sum\limits_{n = 0}^\infty a_n x^n \to 0</tex> <tex>\Rightarrow</tex>
<tex>\exists N\ \forall n > N\ |a_n x_0^n| < 1</tex> <tex>\Rightarrow</tex>
<tex>|a_n x_1^n| < \left(\frac{|x_1|}{|x_0|}\right)^n</tex>, <tex>q = \frac{|x_1|}{|x_0|} < 1</tex>
<tex>q^n</tex> {{---}} сходится, поэтому, интересующий наш ряд мажорируется сходящимся числовым рядом <tex>\sum\limits_{n = 0}^\infty |a_n x_1^n|</tex>, и поэтому, сходится.
}}
== Радиус сходимости ==
Можно определить важнейшую для теории величину {{---}} радиус сходимости ряда.
{{Определение
|definition=
<tex>R = \sum \{x | \sum\limits_{n = 0}^\infty a_n x^n</tex> {{---}} сходится <tex>\}</tex>. Заметим, что возможны случаи <tex>R = 0</tex> и <tex>R = \infty</tex>.
}}
{{Теорема
|statement=
Пусть есть ряд <tex>\sum\limits_{n = 0}^\infty a_n x^n</tex> и <tex>R</tex> {{---}} его радиус сходимости. Тогда
1) <tex>|x| < R</tex> <tex>\Rightarrow</tex> ряд абсолютно сходится.
2) <tex>\forall [a; b] \in (-R; R)</tex> ряд сходится абсолютно и равномерно.
3) <tex>|x| > R</tex> <tex>\Rightarrow</tex> ряд расходится.
4) <tex>|x| = R</tex> {{---}} неопределённость.
|proof=
1) <tex>|x| < R</tex> <tex>\Rightarrow</tex> по определению точной верхней грани,
<tex>\exists x_0 : |x| < x_0 < R</tex> и ряд <tex>\sum\limits_{n = 0}^\infty a_n x_0^n</tex> сходится. Тогда по лемме Абеля получаем требуемое.
2) <tex>\exists \delta > 0 : [a; b] \subset [-\delta; \delta] \subset (-R; R)</tex>
<tex>\forall x \in [a; b] : |x| < \delta</tex>. По пункту 1, <tex>\sum\limits_{n = 0}^\infty a_n \delta^n</tex> {{---}} абсолютно сходится, значит, к <tex>\sum\limits_{n = 0}^\infty a_n x^n</tex> на <tex>[a; b]</tex> применим признак Вейерштрасса равномерной сходимости рядов, откуда всё следует.
3) Следствие определения радиуса сходимости.
4) Ну неопределённость <tex>:)</tex>
}}
Возникает вопрос: "Как найти <tex>R</tex>?". В большинстве случаев достаточно следующей теоремы:
{{Теорема
|statement=
Пусть есть <tex>\sum\limits_{n = 0}^\infty a_n x^n</tex>, <tex>R</tex> {{---}} его радиус сходимости. Тогда:
1) Если <tex>\exists q = \lim\limits_{n \to \infty} \left|\frac{a_n}{a_{n + 1}}\right|</tex>, то <tex>R = q</tex>.
2) Если <tex>\exists q = \lim\limits_{n \to \infty} \sqrt[n]{a_n}</tex>, то <tex>R = q</tex>
Замечание: на самом деле, есть формула Коши-Адамара, применимая в любом случае: <tex>R = \frac1{\overline{\lim} \sqrt[n]{|a_n|}}</tex>. Но она сложная и никому не нужна.
|proof=
Докажем первый пункт. Второй доказывается аналогично.
Рассмотрим <tex>\sum\limits_{n = 0}^\infty |a_n x^n|</tex> и применим к нему признак Даламбера.
<tex>\frac{|a_{n + 1} x^{n + 1}|}{a_n x^n} = \left|\frac{a_{n + 1}}{a_n}\right| |x| \to q^{-1} |x|</tex>. Тогда, по признаку Даламбера, при <tex>q^{-1} |x| < 1</tex> ряд сходится, при <tex>q^{-1} |x| > 1</tex> ряд расходится.
Итого: <tex>|x| < q</tex> {{---}} ряд сходится, <tex>|x| > q</tex> {{---}} ряд расходится.
Сопоставим с определением <tex>R</tex> и получим <tex>R = q</tex>.
Второй пункт доказывается аналогично радикальным признаком Коши.
}}
== Примеры ==
Примеры. <tex>\sum\limits_{n = 0}^\infty x^n</tex>, <tex>a_n = 1</tex>, <tex>\frac{|a_n|}{|a_{n + 1}| } = 1</tex>
<tex>\sum\limits_{n = 0}^\infty n^n x^n</tex>, <tex>\sqrt[n]{|a_n|} = n \to +\infty</tex>, <tex>R = \frac1{+\infty} = 0</tex>
<tex>\sum\limits_{n = 0}^\infty n^{-n}x^n</tex>, <tex>\sqrt[n]{|a_n|} = n^{-1} \to 0</tex>, <tex>R = \frac1{+0} = +\infty</tex>
<tex>R</tex> может принимать все значения <tex>[0; +\infty]</tex>.
Возникает вопрос. Подставим в <tex>\sum\limits_{n = 0}^\infty x^n</tex> вместо <tex>x</tex> <tex>x^2</tex>:
<tex>\sum\limits_{n = 0}^\infty (-1)^n x^{2n} = \frac1{1 + x^2} : |x| < 1</tex>. Однако, сумма как функция определена для всех <tex>x</tex>. Как это объяснить? Ответ: "В <tex>\mathbb{R}</tex> это объяснить нельзя. Нужно использовать <tex>\mathbb{C}</tex>".
<tex>\sum\limits_{n = 0}^\infty (-1)^n z^{2n} = \frac1{1 + z^2}</tex>. Тут есть корни знаменателя. Этим фактом объясняется усечённый характер этого равенства.
== Произведение степенных рядов ==
По теореме о радиусе сходимости, на промежутке сходимости ряд сходится абсолютно. Если вхять два степенных ряда, то на общё части их промежутка сходимости, ряды будут абсолютно сходиться, и, значит, с ними можно делать любые арифметические действия. В частности, их можно умножать по Коши:
<tex>f(x) = \sum\limits_{n = 0}^\infty a_n x^n</tex>,
<tex>g(x) = \sum\limits_{n = 0}^\infty b_n x^n</tex>.
<tex>\sum\limits_{k = 0}^n a_k x^k b_{n - k} x^{n - k} = \left(\sum\limits_{k = 0}^n a_k b_{n - k} \right) x^n = c_n x^n</tex>
<tex>f(x) g(x) = \sum\limits_{n = 0}^\infty c_n x^n</tex>
Вывод: произведение двух степенных рядов по правилу Коши {{---}} степенной ряд с суммой, равной произведению сумм исходных рядов.
По теореме о радиусе сходимости, на любом отрезке из <tex>(-R; R)</tex>, .... ТУТ ЧТО-ТО ДОЛЖНО БЫТЬ!!!!
Значит, по теоремам о почленном дифференцировании и интегрировании рядов, их можно дифференцировать и интегрировать, и опять будет получаться сходящийся степенной ряд.
Вопрос: "Каковы будут радиусы сходимости почленно проинегрированных или продифференцированных рядов?"
Ответ: "Почленное интегрирование или дифференцирование не меняет радиуса сходимости ряда".
{{Утверждение
|statement=Промежуток сходимости степенного ряда совпадает с промежутком сходимости продифференцированного степенного ряда
|proof=
Если <tex>f(x) = \sum\limits_{n = 0}^\infty a_n x^n</tex>, то <tex>f'(x) = \sum\limits_{n = 1}^\infty a_nnx^{n - 1}</tex>, <tex>\int f(x)dx = \sum\limits_{n = 0}^\infty \frac1{n + 1}a_n x^{n + 1}</tex>
Выясним, что для <tex>f(x)</tex> и <tex>f'(x)</tex> одинаковые радиусы сходимости.
<tex>\sum\limits_{n = 1}^\infty na_nx^{n - 1} \to \sum\limits_{n = 1}^\infty na_nx^n</tex>
<tex>|a_nx^n| \leq |na_nx^n|</tex>. То есть, <tex>x</tex>, для которого сходится <tex>\sum f'</tex>, будет сходиться и <tex>\sum f</tex>.
Поэтому, промежуток сходимости продифференцированного ряда <tex>\subset</tex> промежутку сходимости исходного ряда.
Обратоное очевидно в силу того, что в пределах промежутка сходимости ряда его можно дифференцировать. Значит, эти промежутки совпадают.
}}
