13.4 Производная сложной функции

Пусть $g$ — отображение открытого множества $E \subset \mathbb{R}^{n}$ в открытое множество $N \subset \mathbb{R}^{m},$ а $f: N \longmapsto \mathbb{R}^{p}.$ Тогда можно рассматривать сложную функцию $F: E \longmapsto \mathbb{R}^{p},$ $F(x) = f(g(x))$ $(x\in E).$ Ее называют композицией $F=f\circ g.$

Пусть отображение $g$ дифференцируемо в точке $x_{0}\in E,$ а отображение $f$ дифференцируемо в соответствующей точке $y_{0}=g(x_{0})\in N.$ Тогда композиция $F=f\circ g$ дифференцируема в точке $x_{0}$ и справедливо равенство
$F'(x_{0})=f'(y_{0})g'(x_{0}). \tag {13.1}$

Обозначим $A=f'(y_{0}),$ $B=g'(x_{0}).$ При достаточно малой длине вектора $k$ вектор $y_{0}+k\in N$ и справедливо равенство
$f(y_{0}+k)-f(y_{0})=A(k)+\alpha(k)|k|,$
где
$\lim_{k \to 0}\alpha (k)=0 \qquad (\alpha (0)=0). \tag {13.2}$
(Заметим, что $N$ — открытое множество, и поэтому $y_{0}+k\in N$ при достаточно малых по длине векторах $k.$ ) Если вектор $h$ достаточно мал, то $x_{0}+h\in E.$ Положим $k\equiv k(h)=g(x_{0}+h)-g(x_{0}).$ Тогда $f(y_{0}+k)= f(g(x_{0}+h))=F(x_{0}+h)$ и получаем
$F(x_{0}+h)-F(x_{0})=A(k(h))+\alpha (k(h))|k(h)|, \tag {13.3}$
где
$k(h)=B(h)+\beta (h)|h|$
по свойству дифференцируемости отображения $g,$ и $\displaystyle\lim_{h \to 0} \beta (h)=0$ . Подставив это в равенство $(13.3),$ получаем
$F(x_{0}+h)-F(x_{0})=A(B(h))+r(h),$
где
$r(h)=A(\beta(h)|h|)+\alpha (k(h))|k(h)|.$
По определению производной, нужно доказать, что $\lim_{h \to 0}\frac{|r(h)|}{|h|}=0,$
и тем самым теорема будет доказана.
Пусть $r_{1}(h)=A(\beta (h)|h|).$ Тогда в силу линейности отображения $А,$
$\frac{|r_{1}(h)|}{|h|}=| A(\beta (h))| \leqslant \begin{Vmatrix}A\end{Vmatrix}\cdot| \beta (h)|.$
Но правая часть стремится к нулю при $h\to 0$ , и поэтому получаем, что
$\lim_{h \to 0}\frac{|r_{1}(h)|}{|h|}=0.$
Теперь положим $r_{2}(h)= \alpha (k(h))|k(h)|.$ Воспользуемся неравенством
$|k(h)|\leqslant |B(h)|+|h|\cdot|\beta(h)|\leqslant [\begin{Vmatrix}B\end{Vmatrix}+|\beta (h)|]\cdot | h |,$
откуда
$\frac{|r_{2}(h)|}{|h|}\leqslant (\begin{Vmatrix}B\end{Vmatrix}+| \beta (h)|)| \alpha (k(h))|.$
Первый множитель справа ограничен при достаточно малых $h,$ а второй множитель справа стремится к нулю при $h\to 0$ в силу $(13.2).$
Таким образом, $\frac{|r_{}(h)|}{|h|}\leqslant \frac{|r_{1}(h)|}{|h|}+\frac{|r_{2}(h) |}{|h|}$ стремится к нулю при $h\to 0,$ и теорема доказана.

В правой части равенства $(13.1)$ мы имеем композицию линейных отображений $f{}'(y_{0})$ и $g{}'(x_{0}).$ Поэтому доказанную теорему можно сформулировать так: производная композиции равна композиции производных.

Пусть $z=f(y^{1},\ldots,y^{m})$ – действительная функция. Если положить $y^{i}=g_{i}(x) (i=1,\ldots,m),$ то получим $z=f(g_{1}(x),\ldots,g_{m}(x)),$ и тогда, согласно правилу дифференцирования сложной функции,
$\frac{\mathrm{dz} }{\mathrm{d} x}=\frac{\partial f}{\partial y^{1}}\frac{\mathrm{dg_{1}} }{\mathrm{d} x}+\ldots+\frac{\partial f}{\partial y^{m}}\frac{\mathrm{dg_{m}} }{\mathrm{d} x}$
Положим теперь $y^{i}=g_{i}(x^{1},\ldots,x^{n}) (i=1,\ldots,m)$ и получим сложную функцию $z=f(g_{1}(x^{1},\ldots,x^{n}),\ldots,g_{m}(x^{1},\ldots,x^{n})).$ Если воспользоваться упомянутым только что правилом дифференцирования сложной функции, то получим
$\frac{\partial z}{\partial x^{i}}=\frac{\partial f}{\partial y^{1}}\frac{\partial g_{1}}{\partial x^{i}}+\ldots+\frac{\partial f}{\partial y^{m}}\frac{\partial g_{m}}{\partial x^{i}} \qquad (i=1,\ldots,n).$
Это равенство называется цепным правилом.

Цепное правило можно вывести также из только что доказанной теоремы. Действительно, положим в теореме $p = 1,$ т. е. рассмотрим случай, когда $f$ – действительная функция. Тогда $F:E \longmapsto \mathbb{R}$ – действительная функция. Из соотношения $(13.1)$ видно, что матрица производной $F'(x_{0})$ равна произведению матриц $f{}'(y_{0})$ и $g{}'(x_{0}).$ В векторной форме это можно записать так:
$( \frac{\partial F}{\partial x^{1}}(x_{0}),\ldots,\frac{\partial F}{\partial x^{n}}(x_{0}))=$
$=\left ( \frac{\partial f}{\partial y^{1}}(y_{0}),\ldots,\frac{\partial f}{\partial y^{m}}(y_{0}) \right )\cdot\begin{pmatrix} \frac{\partial g_{1}}{\partial x^{1}}(x_{0})& \ldots& \frac{\partial g_{1}}{\partial x^{n}}(x_{0}) \\ \ldots& \ldots& \ldots \\ \frac{\partial g_{m}}{\partial x^{1}}(x_{0})& \ldots& \frac{\partial g_{m}}{\partial x^{n}}(x_{0}) \\ \end{pmatrix} .$
В частности,
$\frac{\partial F }{\partial x^{i}}=\frac{\partial f}{\partial y^{1}}\frac{\partial g_{1}}{\partial x^{i}}+\ldots +\frac{\partial f}{\partial y^{m}}\frac{\partial g_{m}}{\partial x^{i}} \qquad \qquad (i=1,\ldots,n),$
и тем самым снова получаем цепное правило.

Примеры решения задач

Рассмотрим примеры задач, в которых фигурируют производные сложных функций. Читателю с целью самопроверки предлагается решить данные примеры самому, а затем сверить свое решение с приведенным.

Найти производную сложной функции $u=\frac{x}{y}-\frac{y}{x},$ где $x=\sin(t),$ $y=\cos(t)$

Решение

$\frac{\partial u}{\partial x}=\left (\frac{x}{y}-\frac{y}{x} \right )’= \frac{1}{y}(x)’-y\left ( \frac{1}{x} \right )’=\frac{1}{y}+\frac{y}{x^{2}}$
$\frac{\partial u}{\partial y}=\left (\frac{x}{y}-\frac{y}{x} \right )’= x\left ( \frac{1}{y} \right )’-\frac{1}{x}(y)’=-\frac{x}{y^{2}}-\frac{1}{x}$
$\frac{\mathrm{d} x}{\mathrm{d} t}={(\sin(t))}’=\cos(t)\qquad$ $\frac{\mathrm{d} y}{\mathrm{d} t}={(\cos(t))}’=-\sin(t)$
$\frac{\mathrm{d} u}{\mathrm{d} t}=\frac{\partial u}{\partial x}\frac{\mathrm{d} x}{\mathrm{d} t}+\frac{\partial u}{\partial y}\frac{\mathrm{d} y}{\mathrm{d} t}=\left ( \frac{1}{y}+\frac{y}{x^{2}} \right )\cos(t)+\left ( -\frac{x}{y}-\frac{1}{x} \right )(-\sin(t))$
Найти полную производную сложной функции $u=x+y^{2}+z^{3},$ где $y=\sin(x),$ $z=\cos(x)$

Решение

$\frac{\mathrm{d} u}{\mathrm{d} x}=\frac{\partial u}{\partial x}+\frac{\partial u}{\partial y}\frac{\mathrm{d} y}{\mathrm{d} x}+\frac{\partial u}{\partial z}\frac{\mathrm{d} z}{\mathrm{d} x}=\\=1+2y\cos(x)+3z^{2}(-\sin(x))=1+2\sin(x)\cos(x)-3\cos^{2}(x)\sin(x)$
Найти полный дифференциал сложной функции $u=\ln^{2}(x^{2}+y^{2}-z^{2})$

Решение

Вначале находим частные производные:
$\frac{\partial u}{\partial x}=2\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}} 2x$
$\frac{\partial u}{\partial y}=2\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}} 2y$
$\frac{\partial u}{\partial z}=2\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}} (-2z)$
Для функции $n$ -переменных $y=f(x_{1},x_{2},\ldots ,x_{n})$ полный дифференциал определяется выражением : $dy=\frac{\partial y}{\partial x_{1}}dx_{1}+\frac{\partial y}{\partial x_{2}}dx_{2}+\ldots +\frac{\partial y}{\partial x_{n}}dx_{n}$ . Согласно этой формуле, получаем :
$du=4\ln(x^{2}+y^{2}-z^{2})\frac{1}{x^{2}+y^{2}-z^{2}}(xdx+ydy-zdz)$
Вычислить приближенно $(1,02)^{3,01}$

Решение

Рассмотрим функцию $z=z^{y}.$ При $x_{0}=1$ и $y_{0}=3$ имеем $z_{0}=1^{3}=1,$
$\Delta x=1,02-1=0,02 \qquad \Delta y=3,01-3=0,01.$
Находим полный дифференциал функции $z=x^{y}$ в любой точке:
$dz=yx^{y-1}\Delta x+^{y}\ln(x)\Delta y$
Вычисляем его значения в точке $M(1,3)$ при данных приращениях $\Delta x= 0,02$ и $\Delta y= 0,01$
$dz=3\cdot 1^{2}\cdot 0,02+1^{3}\cdot \ln(1)\cdot 0,02=0,06$
Тогда $z=(1,02)^{3,01}\approx z_{0}+dz=$ 1+0,06=1,06
Найти частные производные второго порядка функции $z=e^{x^{2}y^{2}}$

Решение

Вначале найдем частные производные первого порядка:
$\frac{\partial z}{\partial x}=e^{x^{2}y^{2}}2xy^{2},\qquad \frac{\partial z}{\partial y}=e^{x^{2}y^{2}}2x^{2}y$
Продифференцировав их еще раз, получим:
$\frac{\partial^2 z}{\partial x^2}=e^{x^{2}y^{2}}4x^{2}y^{4}+e^{x^{2}y^{2}}2y^{2}$
$\frac{\partial^2 z}{\partial y^2}=e^{x^{2}y^{2}}4x^{4}y^{2}+e^{x^{2}y^{2}}2x^{2}$
$\frac{\partial^2 z}{\partial x \partial y}=e^{x^{2}y^{2}}4x^{3}y^{3}+e^{x^{2}y^{2}}4xy$
$\frac{\partial^2 z}{\partial y \partial x}=e^{x^{2}y^{2}}4x^{3}y^{3}+e^{x^{2}y^{2}}4xy$
Сравнивая последние два выражения, видим, что $\frac{\partial^2 z}{\partial x \partial y}=\frac{\partial^2 z}{\partial y \partial x}$
Найти полный дифференциал второго порядка функции $z=x^{3}+y^{3}+x^{2}y^{2}$

Решение

Вначале находим частные производные до второго порядка:
$\frac{\partial z}{\partial x}=3x^{2}+2xy^{2},\qquad \frac{\partial z}{\partial y}=3y^{2}+2x^{2}y$
$\frac{\partial^2 z}{\partial x^2}=6x+2y^{2},\qquad \frac{\partial^2 z}{\partial y^2}=6y+2x^{2},\qquad \frac{\partial^2 z}{\partial x \partial y}=4xy$
Полный дифференциал второго порядка $d^{2}z$ функции $z=f(x,y)$ выражается формулой:
$d^{2}z=\frac{\partial^2 z}{\partial x^2}dx^{2}+2\frac{\partial^2 z}{\partial x \partial y}dxdy+\frac{\partial^2 z}{\partial y^2}dy^{2}$
Следовательно,
$d^{2}z=(6x+2y^{2})dx^{2}+8xydxdy+(6y+2x^{2})dy^{2}$

Литература

Производная сложной функции

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме.

17 Степенные ряды

Степенным рядом называется ряд вида $\displaystyle\sum_{n=0}^{\infty} a_n(x-x_0)^n,$ где $x_0$ — фиксированная точка, $\{ a_n \}$ — числовая последовательность. Числа $a_n(n = 0,1,…)$ называются коэффициентами ряда, точка $x_0$ — центром ряда. Будем рассматривать ряды вида $\displaystyle\sum_{n=0}^{\infty} a_nx^n,$ т. е. полагаем $x_0 = 0.$

Ряд $\displaystyle\sum_{n=0}^{\infty}x^n$ — сумма геометрической прогрессии. Этот ряд сходится при $|x| \lt 1$ и расходится при $|x| \ge 1.$

17.1 Структура множества точек сходимости степенного ряда
17.2 Вычисление радиуса сходимости степенного ряда
17.3 Равномерная сходимость и непрерывность суммы степенного ряда
17.4 Почленное интегрирование и дифференцирование степенного ряда
17.5 Ряды Тейлора
- 17.5.1 Определение и основные свойства
- 17.5.2 Разложение основных элементарных функций

17.2 Вычисление радиуса сходимости степенного ряда

Пусть дан степенной ряд $\begin{equation}\sum\limits_{n=0}^\infty a_nx^n\label{eq:1} \end{equation}$ Если существует $\lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|} \equiv p \gt 0,$ то радиус сходимости ряда $\eqref{eq:1}$ равен $R = \frac{1}{p}$ . Если для любого $n$ числа $a_n \neq 0$ и существует $\lim\limits_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| \equiv p^* \gt 0,$ то $R = \frac{1}{p^*} = \lim\limits_{n\to\infty}\left|\frac{a_n}{a_{n+1}}\right|.$

Для доказательства первого утверждения применим признак Коши. Для фиксированного $x$ имеем $\sqrt[n]{\left|a_nx^n\right|} = \sqrt[n]{a_n}\cdot\left|x\right|\to p\left|x\right|\left(n\to\infty\right).$ Если $\left|x\right|\lt\frac{1}{p}$ , то $ρ\left|x\right|\lt 1$ и, по признаку Коши, ряд $\eqref{eq:1}$ сходится абсолютно. Если $\left|x\right|\gt\frac{1}{p}$ , то $p\left|x\right|\gt 1$ и, следовательно, ряд $\eqref{eq:1}$ расходится, т. к. не выполнено необходимое условие сходимости.
Доказательство второго утверждения теоремы легко можно провести аналогично, используя признак Даламбера (проведите самостоятельно). Мы покажем, что из существования предела $ρ^∗$ следует существование предела $ρ$ и их равенство $ρ = ρ^∗$ . Ясно, что отсюда также будет следовать второе утверждение теоремы.
Зададим $\epsilon \gt 0$ и найдем такой номер $N$ , что для всех $n \geq N$ справедливо неравенство $\left|\left|\frac{a_{n+1}}{a_n}\right|-p^*\right|\lt\epsilon.$ Тогда $p^*-\epsilon\lt\left|\frac{a_{n+1}}{a_n}\right|\lt p^*+\epsilon$ т. е.
$\left|a_n\right|\left(ρ^∗−\epsilon\right)\lt\left|a_{n+1}\right|\lt\left|a_n\right|\left(ρ^∗+\epsilon\right).$ Применяя рекуррентно левое неравенство, получаем $\left|a_{N+1}\right|\gt\left(ρ^∗−\epsilon\right)\left|a_N\right|,$ $\left|a_{N+2}\right|\gt\left(ρ^∗\epsilon\right)^2\left|a_N\right|,\dotsi,\left|a_{N+k}\right|\gt\left(ρ^∗-\epsilon\right)^k\left|a_N\right|,\dotsi,$ а из правого неравенства следует, что $\left|a_{N+k}\right|\lt\left(ρ^∗+\epsilon\right)^k\left|a_N\right| \left(k = 1, 2,\dotsi\right).$
Пусть $n\gt N$ , т. е. $n = N+k$ , где $k\in N$ . Тогда $\sqrt[n]{\left|a_n\right|}\lt\left(ρ^∗+\epsilon\right)^{\frac{n−N}{n}}\left|a_N\right|^{\frac{1}{n}} = (ρ^∗+\epsilon)^{1-\frac{N}{n}}\sqrt[n]{\left|a_N\right|}.$ При фиксированном $N$ выражение справа стремится к $ρ^∗+\epsilon$ при $n\to\infty$ . Поэтому при $n\geq N_1$ оно меньше, чем $ρ^∗+2\epsilon$ . Аналогично можно показать, что при $n\geq N_2$ справедливо неравенство $\sqrt[n]{\left|a_n\right|}\gt ρ^∗−2\epsilon$ . Получим, что при $n\geq N_3 \equiv max \left(N_1, N_2\right)$ имеет место неравенство $ρ^∗−2\epsilon\lt\sqrt[n]{\left|a_n\right|}\lt ρ^∗+2\epsilon,$ а это означает, что существует $ρ\equiv \lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|} = ρ^∗.$

Если в условии теоремы считать, что $\frac{1}{0} = +\infty$ и $\frac{1}{+\infty} = 0$ , то теорема остается справедливой и в случаях $ρ = 0$ и $ρ = +\infty$ . При этом необходимые изменения в доказательстве очевидны (проведите самостоятельно).

Во второй части доказательства нашей теоремы мы,
по существу, доказали, что из существования $\lim\limits_{n\to\infty}\frac{a_{n+1}}{a_n}\left(a_n\gt 0\right)$ следует, что существует и $\lim\limits_{n\to\infty}\sqrt[n]{a_n}$ , и эти пределы равны. Для рядов с
положительными слагаемыми это означает, что признак Коши не слабее
признака Даламбера.

Итак, мы можем находить радиус сходимости $R = \frac{1}{ρ}$ степенного ряда $\eqref{eq:1}$ в случае если существует $ρ = \lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|},$ где $0\leq ρ\leq +\infty$ . Но предел $ρ$ может и не существовать. В общем случае радиус сходимости ряда $\eqref{eq:1}$ находится следующим образом.

Пусть дан степенной ряд $\begin{equation}\sum\limits_{n=0}^\infty a_nx^n.\label{eq:2} \end{equation}$ Тогда его радиус сходимости равен $R =\dfrac{1}{\overline{\lim\limits_{n\to\infty}}\sqrt[n]{\left|a_n\right|}},$ где понимается $\frac{1}{0} = +\infty$ и $\frac{1}{+\infty} = 0$ .

Доказательство этой теоремы основано на применении обобщенного признака Коши сходимости рядов с положительными слагаемыми.

Пусть дан числовой ряд $\begin{equation}\sum\limits_{n=0}^\infty u_n,\label{eq:3} \end{equation}$ где числа $u_n \geq 0$ . Если $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\lt 1$ , то ряд $\eqref{eq:3}$ сходится, а если $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\gt 1$ , то ряд $\eqref{eq:3}$ расходится.

Если $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\gt 1$ , то существует подпоследовательность номеров $n_k$ , таких, что $u_{n_k}\geq 1$ , а значит, $u_n$ не стремится к нулю, и следовательно, ряд $\eqref{eq:3}$ расходится, т. к. не выполнено необходимое условие сходимости. Если же $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{u_n}\equiv q\lt 1$ , то для $0\lt\epsilon\lt 1−q$ найдется такой номер $N$ , что для всех $n\geq N$ справедливо неравенство $\sqrt[n]{u_n}\lt q+\epsilon\lt 1$ . Отсюда следует, что $u_n\lt\left(q+\epsilon\right)n$ при $n \geq N$ и, значит, ряд $\eqref{eq:3}$ сходится в силу признака сравнения.

Имеем $\overline{\lim\limits_{n\to\infty}}\sqrt[n]{\left|a_nx^n\right|} = \overline{\lim\limits_{n\to\infty}}\sqrt[n]{\left|a_n\right|}\cdot\left|x\right|.$ Если $\left|x\right|\gt\frac{1}{\lim\limits_{n\to\infty}\sqrt[n]{\left|a_n\right|}}$ ,
то для ряда $\sum\limits_{n=0}^\infty\left|a_nx^n\right|$ не выполнено необходимое условие сходимости.
Следовательно, необходимое условие сходимости не выполнено и для ряда
$\eqref{eq:2}$ , т. е. он расходится.

Примеры:

Пример 1. Рассмотрим ряд

$\sum\limits_{n=0}^\infty nx^n.$ Здесь

$a_n = n, \lim\limits_{n\to\infty}\sqrt[n]{a_n} = \lim\limits_{n\to\infty}\sqrt[n]{n} = 1$ , т. е.

$R = \dfrac{1} {\lim\limits_{n\to\infty}\sqrt[n]{a_n}} = 1$ . В точках

$x = R = 1$ и

$x = −R = −1$ ряд расходится. Область его сходимости
– интервал

$\left(−1, 1\right)$ .

Пример 2. Для ряда

$\sum\limits_{n=0}^\infty\left[3 + (−1)n\right]^nx_n$
имеем

$a_n = [3 + (−1)n]^n$ ,

$\overline\lim\limits_{n\to\infty}\sqrt[n]{a_n} = \overline\lim\limits_{n\to\infty}\left[3 + (−1)n\right] = 4$ ,

$R = \frac{1}{4}$ . Данный ряд сходится при

$\left|x\right|\lt\frac{1}{4}$ . Если

$x = \pm\frac{1}{4}$ , то

$\left|a_{2k}x^{2k}\right|= 4^{2k}\frac{1}{4^{2k}} = 1$ , т. е. слагаемые с четными номерами равны

$1$ и
предел слагаемых ряда не равен нулю. Окончательно, область сходимости
ряда – интервал

$\left(−\frac{1}{4}, \frac{1}{4}\right)$ .

Пример 3. Для ряда

$\sum\limits_{n=0}^\infty\frac{\left(n!\right)^2}{\left(2n!\right)}x^n$ имеем

$a_n = \frac{\left(n!\right)^2}{\left(2n!\right)}$ ,

$\lim\limits_{n\to\infty}\dfrac{\frac{\left(\left(n+1\right)!\right)^2}{\left(2\left(n+1\right)\right)!}}{\frac{\left(n!\right)^2}{\left(2n\right)!}} = \lim\limits_{n\to\infty}\frac{\left(\left(n+1\right)!\right)^2\left(2n\right)!}{\left(2n+2\right)!\left(n!\right)^2} = \lim\limits_{n\to\infty}\frac{\left(n+1\right)^2}{\left(2n+1\right)\left(2n+2\right)} = \frac{1}{4}$ ,

$R = 4$ . Данный ряд сходится при

$\left|x\right|\lt 4$ .
При

$x = 4$ получаем числовой ряд

$\sum\limits_{n=1}^\infty a_n$ , где

$a_n = \frac{\left(n!\right)^24^n}{\left(2n\right)!}$ . Поскольку

$\frac{a_n}{a_{n+1}} = 1-\frac{1}{2n}+\frac{1}{2n\left(n+1\right)}$ , то

$a_n\lt a_{n+1}$ . Это означает, что последовательность

$\left(a_n\right)$ монотонно возрастает. Следовательно не выполняется необходимое условие для сходимости ряда (предел общего члена отличен от нуля), ряд расходится. Аналогично для

$x = -4$ . Окончательно, область сходимости
ряда – интервал

$\left(−4, 4\right)$ .

Пример 4. Рассмотрим ряд

$\sum\limits_{n=0}^\infty \left(1+\frac{1}{n}\right)^{n^2}x^n.$

$\frac{1}{R} = \lim\limits_{n\to\infty}\left(1+\frac{1}{n}\right)^{n^2} = e^2$ . Следовательно при

$\left|x\right|\lt \frac{1}{e^2}$ сходится абсолютно. В точках

$x = R = \frac{1}{e^2}$ и

$x = −R = −\frac{1}{e^2}$ ряд расходится. Область его сходимости
– интервал

$\left(−\frac{1}{e^2}, \frac{1}{e^2}\right)$ .

Тест по теме: "Радиус сходимости числового ряда"

Небольшой тест по теории и практике.

Литература

15.3.1 Признак Лейбница

Числовой ряд $\sum\limits_{n=1}^\infty a_{n}$ называется знакопеременным (знакочередующимся), если его слагаемые попеременно меняют знак, т. е. если $a_{n} \cdot a_{n+1}<0$ $(n=1,2,\dots)$ .
Знакопеременный ряд можно записать в виде $u_{1}-u_{2}+u_{3}-u_{4}+\dots=\sum \limits _{n=1}^\infty (-1)^{n-1}u_{n},$ где $u_{n}\geqslant 0$ .

Если модули слагаемых знакочередующегося ряда $\sum\limits_{n=1}^\infty (-1)^{n-1}u_{n} (15.14)$ монотонно убывают к нулю, то этот ряд сходится.

Обозначим через $S_{n}$ частичную сумму ряда $(15.14)$ . Рассмотрим частичные суммы с четными номерами $S_{2m}=(u_{1}-u_{2})+(u_{3}-u_{4})+\dots+(u_{2m-1}-u_{2m}).$ Так как $u_{n}$ убывают по условию, то в каждой скобке выражение неотрицательно. Поэтому $S_{2(m+1)}=S_{2m+2}=S_{2m}+(u_{2m+1}-u_{2m+2})\geqslant S_{2m}.$ Это означает, что последовательность $\left\{ {S_{2m}} \right\}_{m=1}^\infty$ возрастает. С другой стороны, из представления $S_{2m}=u_{1}-(u_{2}-u_{3})-(u_{4}-u_{5})-\dots-(u_{2m-2}-u_{2m-1})-u_{2m},$ в силу монотонности $u_{k}$ , следует, что $S_{2m}\leqslant u_{1}$ . Таким образом, последовательность $\left\{ {S_{2m}} \right\}_{m=1}^\infty$ ограничена сверху и возрастает и, следовательно, имеет предел. Обозначим $S= \displaystyle{\lim_{m \to \infty}} S_{2m}$ . Для доказательства сходимости ряда $(15.14)$ нужно еще показать, что $S_{2m+1} \rightarrow S (m\rightarrow \infty)$ . Но это сразу следует из равенства $S_{2m+1}= S_{2m}+ u_{2m+1}$ и условия теоремы $u_{2m+1}\rightarrow 0 (m\rightarrow\infty)$ . Окончательно, последовательность частичных сумм ряда $(15.14)$ с четными и с нечетными номерами сходятся к одному и тому же пределу $S$ . Поэтому $S= \displaystyle{\lim_{n \to \infty}} S_{n}$ .
Знакочередующийся ряд, для которого выполнены условия теоремы Лейбница, называется рядом лейбницевского типа. Теорема Лейбница утверждает, что ряд лейбницевского типа сходится.

Рассмотрим полугармонический ряд $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n-1}}{n}$ . Здесь $u_{n}=\frac{1}{n}$ и данный ряд является рядом лейбницевского типа. По теореме Лейбница, он сходится. Ранее мы показали, что ряд, составленный из модулей слагаемых, – гармонический – расходится. Таким образом, сходимость исходного ряда обусловлена не малостью его слагаемых, а взаимной интерференцией слагаемых.

Приведем пример, показывающий, что в теореме Лейбница нельзя отбросить условие монотонности.
Ряд $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n-1}}{\sqrt{n}}$ является рядом лейбницевского типа и, следовательно, сходится. Гармонический ряд $\displaystyle{\sum_{n=1}^\infty} \frac{1}{n}$ расходится. Рассмотрим знакопеременный ряд $\displaystyle{\sum_{n=1}^\infty}\left[ \frac{(-1)^{n-1}}{\sqrt{n}} +\frac{1}{n}\right].$ Его слагаемые стремятся к нулю, но их модули не монотонны. Легко видеть, что он расходится. Действительно, если бы он являлся сходящимся, то сходился бы и ряд $\displaystyle{\sum_{n=1}^\infty} \frac{1}{n}$ , как разность двух сходящихся рядов $\displaystyle{\sum_{n=1}^\infty}\left[ \frac{(-1)^{n-1}}{\sqrt{n}} +\frac{1}{n}\right]$ и $\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n-1}}{\sqrt{n}}.$ Но гармонический ряд $\displaystyle{\sum_{n=1}^\infty} \frac{1}{n}$ расходится.

Остаток после $n$ -го слагаемого ряда лейбницевского типа имеет такой же знак, как и его первое слагаемое, а по абсолютной величине не превосходит абсолютной величины первого слагаемого.

Пусть $S_{n}$ – частичные суммы ряда лейбницевского типа $\displaystyle{\sum_{n=1}^\infty} (-1)^{n-1}u_{n} (15.15)$ $S= \displaystyle{\sum_{n=1}^\infty} (-1)^{n-1}u_{n}$ и $r_{n}=\displaystyle{\sum_{k=n+1}^\infty} (-1)^{k-1}u_{k}$ Тогда $r_{n}=S-S_{n}$ , и мы хотим оценить $r_{n}.$
При доказательстве теоремы Лейбница мы получили, что последовательность частичных сумм ряда $(15.15)$ с четными номерами $S_{2m}$ возрастает, и поэтому $S_{2m}\leqslant S$ . С другой стороны, $S_{2m+1}=u_{1}-(u_{2}-u_{3})-(u_{4}-u_{5})-\dots-(u_{2m}-u_{2m+1}),$ откуда видно, что $S_{2m+1}\geqslant S_{2m+3},$ т.е. последовательность частичных сумм ряда $(15.15)$ с нечетными номерами убывает и поэтому $S_{2m+1}\geqslant S$ .
Таким образом, $S_{2m}\leqslant S \leqslant S_{2m+1},$ откуда $0\leqslant S-S_{2m}\leqslant S_{2m+1}-S_{2m}=u_{2m+1},$ т.е. остаток четного порядка $r_{2m}=S-S_{2m}$ удовлетворяет неравенству $0\leqslant r_{2m} \leqslant u_{2m+1},$ что и доказывает теорему для остатков четного порядка.
Аналогично, из неравенства $S_{2m+2}\leq S \leqslant S_{2m+1}$ следует $0\geqslant S — S_{2m+1}\geqslant S_{2m+2}-S_{2m+1}=-u_{2m+2},$ т. е. $-u_{2m+2}\leqslant r_{2m+1}\leqslant 0,$ чем доказано утверждение теоремы для остатков нечетного порядка.
Итак, мы показали, что $\text{sign }$ $r_{n} = (-1)^{n}$ и $\mid r_{n}\mid \leqslant u_{n+1}$ для любого $n = 1,2,\dots$

Примеры решения задач

Определить, сходятся ли ряды:

$\displaystyle \sum_{n=1}^\infty (-1)^n \frac{\ln^2n}{n}$

Решение

Найдём предел $u_{n}=\frac{\ln^2n}{n}$ при $n\rightarrow\infty$ , воспользовавшись правилом Лопиталя: $\displaystyle\lim_{n \to \infty}\frac{\ln^2n}{n}=\displaystyle\lim_{n \to \infty}\frac{2\ln n}{n}=\displaystyle\lim_{n \to \infty}\frac{2}{n}=0$ , то есть модули слагаемых стремятся к нулю. Для проверки монотонности воспользуемся теоремой о достаточном условии строгой монотонности:
$\left(\frac{\ln^2x}{x}\right)^\prime=\frac{\frac{2\ln x}{x}x-\ln^2 x}{x^2}=\frac{\ln x \left(2-\ln x \right)}{x^2}$ Откуда видно, что при $x\rightarrow\infty$ , $\left(\frac{\ln^2x}{x}\right)^\prime<0$ , откуда следует, что модули слагаемых монотонно убывают. То есть, данный ряд удовлетворяет условиям теоремы Лейбница, следовательно, он сходится.
$\displaystyle{\sum_{n=1}^\infty} \frac{(-1)^{n+1}}{{\sqrt[n]{n}}}$

Решение

Найдём предел $u_{n}=\frac{(-1)^{n+1}}{{\sqrt[n]{n}}}$ при $n\rightarrow\infty$ : $\displaystyle \lim_{n \to \infty} \frac{(-1)^{n+1}}{{\sqrt[n]{n}}}=\lim_{n \to \infty}n^{-\frac{1}{n}}=\lim_{n \to \infty}e^{-\frac{\ln n}{n}}.$ Воспользуемся правилом Лопиталя: $\displaystyle \lim_{n \to \infty}e^{-\frac{\ln n}{n}}=\lim_{n \to \infty}e^{-\frac{1}{n}}=e^0=1$ . Покажем, что данный ряд не удовлетворяет не только условиям теоремы Лейбница, но и необходимое условие сходимости числового ряда: $\displaystyle \lim_{n \to \infty} \frac{(-1)^{n+1}}{{\sqrt[n]{n}}}=\displaystyle \lim_{n \to \infty} (-1)^{n+1}$ Но предела $\displaystyle \lim_{n \to \infty} (-1)^{n+1}$ не существует (можно показать по Гейне, взяв ${x_{k}}^{\prime}=2n+1$ и ${x_{k}}^{\prime \prime}=2n$ ). То есть, данный ряд расходится.
$\displaystyle \sum_{n=1}^\infty \frac{(-1)^{n+1}}{2n-\text{arctg } n}$

Решение

Найдём предел $\displaystyle \lim_{n \to \infty} \frac{1}{2n-\text{arctg } n}=\lim_{n \to \infty} \frac{1}{2n-\frac{\pi}{2}}=0.$ То есть модули слагаемых стремятся к нулю. Проверяем монотонность: $\displaystyle \left(\frac{1}{2x-\text{arctg } x}\right)^\prime=\frac{-2+\frac{1}{1+x^2}}{\left(2x-\text{arctg } x\right)^2},$ откуда видно, что при $x\rightarrow\infty$ $\displaystyle \left(\frac{1}{2x-\text{arctg } x}\right)^\prime < 0$ , что по теореме о достаточном условии строгой монотонности говорит о том, что $\displaystyle \left\{\frac{1}{2n-\text{arctg } n}\right\}_{n=1}^\infty$ монотонно убывает. То есть, по теореме Лейбница, ряд сходится.
$\displaystyle \sum_{n=1}^\infty \sin{\left(\pi\sqrt{n^2+k^2}\right)},$ где $k \in \mathbb{N}$

Решение

Воспользовавшись нечётностью и периодичностью синуса, получим, что $\sin\alpha=-\sin(-\alpha)=-\sin\left(2\pi n-\alpha\right)=-\sin\left(\pi n+(\pi n -\alpha\right))=$ $=-\sin(\pi n)\cos(\pi n-\alpha)-\cos(\pi n)\sin(\pi n-\alpha)=$ $=-\cos(\pi n)\sin(\pi n-\alpha)=(-1)^{n+1}\sin(\pi n-\alpha)$ . То есть, $\displaystyle \sum_{n=1}^\infty \sin{\pi\sqrt{n^2+k^2}}=\displaystyle \sum_{n=1}^\infty (-1)^{n+1}\sin(\pi n-\pi\sqrt{n^2+k^2}).$ Предел общего члена ряда: $\displaystyle \lim_{n \to \infty} (-1)^{n+1}\sin(\pi n-\pi\sqrt{n^2+k^2})=\lim_{n \to \infty}\sin\left(\frac{n^2-(n^2+k^2)}{n+\sqrt{n^2+k^2}}\right)=$ $\displaystyle =\lim_{n \to \infty}\sin\left(\frac{\pi k^2}{n+\sqrt{n^2+k^2}}\right)=0.$ Монотонность. $\left(\frac{\pi k^2}{x+\sqrt{x^2+k^2}}\right)^\prime=\frac{-\pi k^2}{x+\sqrt{x^2+k^2}}\left(1+\frac{x}{\sqrt{x^2+k^2}}\right)=$ $=\frac{-\pi k^2}{x+\sqrt{x^2+k^2}}\left(\frac{x+\sqrt{x^2+k^2}}{\sqrt{x^2+k^2}}\right)=\frac{-\pi k^2}{x\sqrt{x^2+k^2}+x^2+k^2}$ , то есть при $n \to \infty$ $\left(\frac{\pi k^2}{x+\sqrt{x^2+k^2}}\right)^\prime<0$ , а значит, по теореме о достаточном условии строгой монотонности $\left\{\frac{\pi k^2}{n+\sqrt{n^2+k^2}}\right\}_{n=1}^\infty$ монотонно убывает при достаточно больших $n.$ При $y$ в окрестности нуля, по таблице эквивалентных, $\sin(y)\sim y$ , а $y=\frac{\pi k^2}{x+\sqrt{x^2+k^2}}$ монотонно убывает к $0$ , как было показано. Значит, общий член ряда также монотонно убывает к нулю, следовательно, по признаку Лейбница, ряд сходится.

При первом взгляде могло показаться, что для этого ряда не выполняется необходимое условие сходимости числового ряда. Однако, это не так: $\displaystyle \lim_{n \to \infty}\sin{\left(\pi\sqrt{n^2+k^2}\right)}=\lim_{n \to \infty}\sin{\left(\pi\sqrt{n^2\left(1+\frac{k^2}{n^2}\right)}\right)}=$ $\displaystyle =\lim_{n \to \infty}\sin{\pi n\sqrt{1+\frac{k^2}{n^2}}}=\lim_{n \to \infty}\sin{\pi n}=0$

Признак Лейбница

Тест для проверки уровня усвоения материала по теме «признак Лейбница».

Лысенко З.М. Конспект лекций по математическому анализу.
В.И.Коляда, А.А.Кореновский. Курс лекций по математическому анализу т.2. Одесса, «Астропринт», 2010, стр 16-19
Б.П.Демидович. Сборник задач и упражнений по математическому анализу, 13-ое издание, Московского университета, 1997, стр. 259-260

Смотрите также

17.1 Структура множества точек сходимости степенного ряда

Структуру множества точек сходимости степенного ряда устанавливает

Пусть степенной ряд $\sum_{n=0}^{\infty} a_nx^n \tag {17.1}$ сходится в некоторой точке $x_1 \ne 0.$ Тогда ряд $(17.1)$ абсолютно сходится в каждой точке $x,$ такой, что $|x| \lt |x_1|.$

Из сходимости числового ряда $\displaystyle\sum_{n=0}^{\infty} a_nx_1^n$ следует, что его слагаемые стремятся к нулю и, следовательно, ограничены, т. е. существует такое $M,$ что для всех $n = 0,1,…$ справедливо неравенство $|a_nx_1^n| \le M.$ Поэтому для $|x| \lt |x_1|$ имеем $|a_nx^n| = |a_nx_1^n| \cdot \left| \frac {x}{x_1}\right|^{n} \le M \cdot \left| \frac {x}{x_1}\right|^{n}.$ Поскольку $q = \left| \frac {x}{x_1}\right| \lt 1,$ то ряд $\displaystyle\sum_{n=0}^{\infty}q^n$ сходится. Значит, по признаку сравнения сходится и ряд $\displaystyle\sum_{n=0}^{\infty} |a_nx^n|,$ а это означает, что ряд $(17.1)$ сходится и притом абсолютно.

Если степенной ряд $(17.1)$ сходится при $x = x_1,$ то нельзя гарантировать, что он сходится и при $x = -x_1.$ Например, ряд $\displaystyle\sum_{n=1}^{\infty} \frac {x^n}{n}$ сходится при $x = x_1 = -1$ и расходится при $x = -x_1 = 1.$

Если степенной ряд $(17.1)$ расходится в некоторой точке $x_1,$ то для всех $x,$ таких, что $|x| \gt |x_1|$ ряд $(17.1)$ расходится.

Если бы в некоторой точке $x_2,$ такой, что $|x_2| \gt |x_1|,$ ряд $(17.1)$ оказался сходящимся, то, в силу первой теоремы Абеля, он должен был быть сходящимся в точке $x_1.$ Но в точке $x_1$ ряд $(17.1)$ расходится по условию, и следствие доказано.

Множество точек сходимости степенного ряда $(17.1)$ представляет собой непустой промежуток с центром в точке $x_0 = 0.$ Это может быть одноточечное множество $\{ 0 \},$ интервал (быть может, и бесконечный), отрезок или полуинтервал.

Ясно, что в точке $x_0 = 0$ ряд $(17.1)$ с любыми коэффициентами $\{ a_n \}$ сходится. Если других точек сходимости у ряда $(17.1)$ нет, то множеством точек сходимости ряда $(17.1)$ является множество $\{ 0 \}.$ Предположим, что существуют отличные от нуля точки сходимости ряда $(17.1).$ Обозначим через $E$ множество всех таких точек, $R = \sup_{x \in E}|x|.$ Пусть $|x| \lt R.$ Тогда найдется такое $x_1 \in E,$ что $|x_1| \gt |x|.$ По первой теореме Абеля, ряд $(17.1)$ сходится абсолютно в точке $x.$ Если $R \lt +\infty$ и $|x| \gt R,$ то ясно, что $x \notin E$ и, следовательно, в этой точке ряд $(17.1)$ расходится. При $x = \pm R$ ряд $(17.1)$ может быть сходящимся или расходящимся.

Радиусом сходимости степенного ряда $\sum_{n=0}^{\infty} a_n(x-x_0)^n \tag {17.2}$ называется неотрицательное число $R$ (конечное или равное $+\infty$ ), обладающее тем свойством, что при $|x − x_0| \lt R$ ряд $(17.2)$ сходится, а при $|x − x_0| \gt R$ ряд $(17.2)$ расходится. Существование такого числа $R$ установлено в предыдущей теореме. Интервал $(x_0 − R, x_0 + R)$ называется интервалом сходимости степенного ряда $(17.2).$

Иллюстрация

Иллюстрация комплексного случая.

Иллюстрация вещественного случая.

Из доказанной теоремы следует, что степенной ряд $(17.2)$ сходится в точке $x = x_0.$ Если множество точек сходимости ряда $(17.2)$ состоит более чем из одной точки $x_0,$ то ряд $(17.2)$ сходится в интервале $(x_0 − R, x_0 + R)$ и расходится вне отрезка $[x_0 − R, x_0 + R],$ причем во всех точках интервала $(x_0 − R, x_0 + R)$ ряд $(17.2)$ сходится абсолютно.

Ряд $\sum_{n=0}^{\infty} n!x^n \tag {17.3}$ сходится лишь в одной точке $x = 0.$ Действительно, если $x \ne 0,$ то, в силу известного равенства $\displaystyle\lim_{n \to \infty} n!x^n = \infty,$ ряд $(17.3)$ расходится, т. к. для него не выполнено необходимое условие сходимости. Итак, здесь $R = 0$ и множество точек сходимости состоит из единственной точки $\{ 0 \}.$

Ряд $\sum_{n=0}^{\infty} x^n \tag {17.4}$ сходится при $|x| \lt 1$ и расходится при $|x| \ge 1.$ Здесь $R = 1,$ интервал сходимости $(−1, 1),$ на концах интервала сходимости ряд $(17.4)$ расходится, так что множество точек сходимости ряда $(17.4)$ – интервал $(−1, 1).$

Ряд $\sum_{n=1}^{\infty} \frac {x^n}{n} \tag {17.5}$ сходится при $|x| \lt 1$ по признаку сравнения, т. к. $\left| \frac {x^n}{n} \right| \le |x^n|$ (сравниваем с геометрической прогрессией). Если $|x| \gt 1,$ то слагаемые ряда $(17.5)$ стремятся к $\infty$ и, следовательно, ряд $(17.5)$ расходится. Итак, радиус сходимости ряда $(17.5)$ $R = 1,$ интервал сходимости $(−1, 1).$ При $x = −1$ ряд $(17.5)$ принимает вид $\displaystyle\sum_{n=1}^{\infty} \frac {(-1)^n}{n}.$ Это – ряд лейбницевского типа и, следовательно, сходящийся. При $x = 1$ получаем ряд $\displaystyle\sum_{n=1}^{\infty} \frac {1}{n}$ – гармонический, а значит, расходящийся. Итак, на левом конце интервала сходимости ряд $(17.5)$ сходится (условно), а на правом конце – расходится. Множество точек сходимости ряда $(17.5)$ – полуинтервал $[−1, 1).$

Для ряда $\sum_{n=1}^{\infty} \frac {x^n}{n^2} \tag {17.6}$ при $|x| \le 1$ имеем $\left| \frac {x^n}{n^2} \right| \le \frac {1}{n^2},$ т. е. ряд $(17.6),$ в силу признака сравнения, сходится на множестве $[−1, 1].$ Если же $|x| \gt 1,$ то ряд $(17.6)$ расходится, т. к. не выполнено необходимое условие сходимости $(\frac {x^n}{n^2} \to \infty \space (n \to \infty)).$ Итак, радиус сходимости ряда $(17.6)$ $R = 1,$ интервал сходимости $(−1, 1),$ множество точек сходимости $[−1, 1].$

Ряд $\sum_{n=1}^{\infty} \frac {x^n}{n!} \tag {17.7}$ сходится при каждом $x \in \mathbb R.$ В самом деле, поскольку $\frac {|x|^{n+1}}{(n+1)!} \cdot \frac {n!}{|x|^n} = \frac {|x|}{n+1} \to 0 \qquad (n \to \infty),$ то, в силу признака Даламбера, получаем, что ряд $(17.7)$ сходится. Имеем $R = +\infty,$ интервал сходимости $(−\infty, +\infty).$

Примеры решения задач

Определить радиус сходимости ряда $\sum_{n=0}^{\infty}a_nz^n, \qquad \text{где} \qquad \begin{equation*} a_n =\begin{cases} \frac {1}{n}, \text { если $n = 1, 3, 5, …,$} \\ 0, \text { если $n = 0, 2, 4, …,$} \end{cases} \end{equation*}$

Решение

Признак Даламбера неприменим для определения сходимости этого ряда, так как отношение $\displaystyle\frac {a_{n+1}}{a_n}$ не имеет смысла для четных номеров $n.$ Не дает ответа здесь и признак Коши, поскольку нетрудно проверить, что здесь предел $\displaystyle{\lim_{n \to \infty}} \sqrt[n]{|a_n|}$ не существует. Однако, если положить $b_k = \frac{1}{2k+1},\space k = 0, 1, 2, …,$ и записать данный ряд в виде $\sum_{k=0}^{\infty}b_kz^{2k+1} = \sum_{k=0}^{\infty} \frac {z^{2k+1}}{2k+1},$ то, исследовав абсолютную сходимость этого ряда с помощью признака Даламбера, получим $\lim_{k \to \infty} \frac {|b_{k+1}z^{2k+3}|}{|b_kz^{2k+1}|} = |z|^2 \lim_{k\to \infty} \frac {2k+1}{2k+3} = |z|^2.$ Отсюда следует, что рассматриваемый ряд абсолютно сходится, когда $|z^2| \lt 1,$ т. е. когда $|z| \lt 1$ и абсолютно расходится, когда $|z| \gt 1.$ Таким образом, радиус сходимости этого степенного ряда равен $1.$
Определить интервал сходимости ряда $\sum_{n=1}^{\infty} \left( \frac {z}{n} \right) ^n$

Решение

В силу признака Даламбера и признака сравнения получаем, что ряд сходится для любого $x \in \mathbb R$ $\frac {|z|^{n+1}}{(n+1)^{n+1}} \cdot \frac {n^n}{|z|^n} = \frac {|z| \cdot n^n}{(n+1)^{n+1}} \le \frac {|z| \cdot n^n}{n^{n+1}} = \frac {|z|}{n} \to 0 \qquad (n \to \infty),$ Таким образом, $R = +\infty,$ а искомый интервал сходимости $(-\infty;+\infty).$
Определить радиус сходимости ряда $\sum_{n=0}^{\infty} 2^nz^n$

Решение

Сделаем замену $t = 2z^2.$ Отсюда получим, ряд $\sum_{n=0}^{\infty} t^n \text { — сумма геометрической прогрессии.}$ При $|t| \lt 1$ ряд сходится, при $|t| \ge 1$ расходится. Теперь подставим $2z^2$ вместо $t$ в неравенство $|t| \lt 1.$ Получим $|2z^2| \lt 1,$ откуда $|z| \lt \sqrt{\frac{1}{2}} = \frac{\sqrt{2}}{2} = R.$
Определить множество точек сходимости ряда $\sum_{n=0}^{\infty} n^2z^n$

Решение

В силу признака Коши получаем, что $\sqrt[n]{|n^2z|} = |z|\sqrt[n]{n^2}.$ Выражение будет стремиться к нулю, при $n \to \infty,$ когда $|z| \lt 1.$ Отсюда радиус сходимости равен $1,$ а интервал сходимости $(-1; 1).$ При $z = 1$ имеем ряд вида $\displaystyle\sum_{n=0}^{\infty} n^2,$ который расходится, т. к. не выполняется необходимое условие сходимости. При $z = -1$ имеем ряд вида $\displaystyle\sum_{n=0}^{\infty} n^2(-1)^n.$ Исследуем по признаку Лейбница. $a_n = n^2$ монотонно возрастает при достаточно больших $n,$ а $\displaystyle{\lim_{n \to \infty}}a_n = \displaystyle{\lim_{n \to \infty}}n^2 = \infty.$ Следовательно, так как ни одно из условий признака Лейбница не выполняется, то ряд в точке $z = -1$ расходится. Следовательно, множество точек сходимости $(-1; 1).$
Определить множество точек сходимости ряда $\sum_{n=1}^{\infty} \frac{z^n}{n^3}$

Решение

При $|z| \le 1$ имеем $\left| \frac{z^n}{n^3} \right| \le \left| \frac{1}{n^3} \right|,$ т. е. ряд сходится на $[-1;1].$ Если $|z| \gt 1,$ то ряд расходится т. к. не выполнено необходимое условие сходимости $\left( \displaystyle{ \lim_{n \to \infty}}\frac{z^n}{n^3} \to \infty \right ).$ Итак, радиус сходимости равен $1,$ а множество точек сходимости — интервал $[-1;1].$

Литература

Структура множества точек сходимости степенного ряда

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме.

Место	Имя	Записано	Баллы	Результат
Таблица загружается
Нет данных

Место	Имя	Записано	Баллы	Результат
Таблица загружается
Нет данных

Место	Имя	Записано	Баллы	Результат
Таблица загружается
Нет данных

Средний результат
Ваш результат

Средний результат
Ваш результат

Средний результат
Ваш результат

Примеры решения задач

Литература

Производная сложной функции

Навигация (только номера заданий)

Информация

Результаты

Рубрики

1.

2.

3.

4.

5.

6.

7.

Элементы сортировки

8.

9.

Примеры:

Тест по теме: "Радиус сходимости числового ряда"

Навигация (только номера заданий)

Информация

Результаты

Рубрики

1.

2.

Элементы сортировки

3.

4.

Литература

Примеры решения задач

Признак Лейбница

Навигация (только номера заданий)

Информация

Результаты

Рубрики

1.

2.

3.

4.

5.

6.

Смотрите также

Примеры решения задач

Литература

Структура множества точек сходимости степенного ряда

Навигация (только номера заданий)

Информация

Результаты

Рубрики

1.

2.

3.

4.

5.

Элементы сортировки

6.

7.

8.