1. Комплексные числа. Комплексными числами называются числа вида х+iy, где х и у - действительные числа, i -мнимая единица, определяемая равенством i 2 =-1. Действительные числа х и у называются соответственно действительной и мнимой частями комплексного числа z. Для них вводятся обозначения: x=Rеz; y=Imz .

Геометрически каждое комплексное число z=x+iy изображается точкой М (х; у) координатной плоскости xOу (рис. 26). В этом случае плоскость хОу называют комплексной числовой плоскостью, или плoскостью комплексного переменного z.

Полярные координаты r и φ точки М, являющейся изображением комплексного числа z, называются модулем и аргументом комплексного числа z; для них вводятся обозначения: r=|z|, φ=Arg z.

Так как каждой точке плоскости соответствует бесчисленное множество значений полярного угла, отличающихся друг от друга на 2kπ (k-целое по­ложительное или отрицательное число), то Агg z-бесконечнозначная функция z.

То из значений полярного угла φ , которое удовлетворяет неравенству –π < φ ≤ π, называют главным значением аргумента z и обозначают аrg z.

В дальнейшем обозначение φ сохраним только для главного значения аргумента z, т.е. положим φ =аrg z, в силу чего для всех остальных значе­ний аргумента z получим равенство

Аrg z = аrg z + 2kπ =φ + 2kπ.

Соотношения между модулем и аргументом комплексного числа z и его действительной и мнимой частями устанавливаются формулами

x = r cos φ; y = r sin φ.

Аргумент z можно определить также по формуле

arg z = аrctg (у/х)+С,

где С = 0 при х > 0, С = +π при х<0, у > 0; С = - π при x < 0, у < 0.

Заменяя x и у в записи комплексного числа z = х+iу их выражениями через r и φ , получаем так называемую тригонометрическую форму комплекс­ного числа:

Комплексные числа z 1 = х 1 + iy 1 и z 2 = x 2 + iy 2 считаются равными тогда и только тогда, когда у них равны по отдельности действительные и мнимые части:

z 1 = z 2 , если x 1 = x 2 , у 1 = у 2 .

Для чисел, заданных в тригонометрической форме, равенство имеет место, если модули этих чисел равны, а аргументы отличаются на целое кратное 2π:

z 1 = z 2, если |z 1 | = |z 2 | и Аrg z 1 = Аrg z 2 +2kπ.

Два комплексных числа z = х+iу и z = х -iу с равными действительными и противоположными мнимыми частями называются сопряженными. Для сопря­женных комплексных чисел выполняются соотно­шения

|z 1 | = |z 2 |; аrg z 1 = -аrg z 2 ,

(последнему равенству можно придать вид Аrg z 1 +Аrg z 2 = 2kπ ).

Действия над комплексными числами определя­ются следующими правилами.

Сложение. Если z 1 = x 1 + iy 1 , z 2 =x 2 +iy 2 , то



Сложение комплексных чисел подчиняется переместительному и сочета­тельному законам:

Вычитание. Если , то

Для геометрического пояснения сложения и вычитания комплексных чисел полезно изображать их не точками на плоскости z, а векторами: число z = х + iу изображается вектором имеющим начало в точке О («нулевой» точке плоскости - начале координат) и конец в точке М (х; у). Тогда сложение и вычитание комплексных чисел выполняется по правилу сложения и вычита­ния векторов (рис. 27).

Такое геометрическое истолкование операций сложения и вычитания век­торов позволяет легко установить теоремы о модуле суммы и разности двух и сумме нескольких комплексных чисел, выражаемые неравенствами:

| |z 1 |-|z 2 | | ≤ |z 1 ±z 2 | ≤ |z 1 | + |z 2 | ,

Кроме того, полезно помнить, что модуль разности двух комплексных чисел z 1 и z 2 равен, расстоянию между точками, являющимися их изображениями на плоскости z: | |z 1 -z 2 |=d(z 1 ,z 2) .

Умножение. Если z 1 = x 1 +iy 1 , z 2 = x 2 + iy 2 . то

z 1 z 2 =(x 1 x 2 -y 1 y 2)+i(x 1 y 2 +x 2 y 1).

Таким образом, комплексные числа перемножаются как двучлены, причем i 2 заменяется на -1.

ЕСЛИ , , то

Таким образом, модуль произведения равен произведению модулей сомноэки* телей, а аргумент произведения -сумме аргументов сомножителей. Умножение комплексных чисел подчиняется переместительнЬму, сочета­тельному и распределительному (по отношению к сложению) законам:

Деление. Для нахождения частного двух комплексных чисел, заданных в алгебраической форме, следует делимое и делитель умножить на число, сопря­женное с делителем:


" Если заданы в тригонометрической форме, то

Таким образом, модуль частного равен частному модулей делимого и де­лителя, а аргумент частного равен разности аргументов делимого и делителя.

Возведение в степень. Если z= , то по формуле бинома Ньютона имеем

(п -целое положительное число); в полученном выражении надо заменить сте­пени i их значениями:



i 2 = -1; i 3 =i; i 4 =1; i 5 =1,…

и, в общем случае,

i 4k = 1; i 4k+1 =i; i 4k+2 = -1; i 4k+3 = -i.

Если , то

(здесь п может быть как целым положительным, так и целым отрицательным числом).

В частности,

(формула Муавра).

Извлечение корня. Если п -целое положительное число, , то корень n-й степени из комплексного числа z имеет n различных значений, которые находятся по формуле

где k=0, 1, 2, ..., n-1.

437. Найти (z 1 z 2)/z 3 , если z 1 = 3 + 5i, z 2 = 2 + 3i, z 3 = 1+2i.

438.
число z = 2 + 5i.

∆ Находим модуль комплексного числа: . Находим главное значение аргумента: . Следова­тельно, ▲

439. Представить в тригонометрической форме комплексное
число

∆ Находим , ; , ,т.е.

440. Представить в тригонометрической форме комплексные
числа 1, i, -1, -i.

441. Представить числа , ,
в тригонометрической форме, а затем найти комплексное число
z 1 /(z 2 z 3).

∆ Находим

Следовательно,

442. Найти все значения .

∆ Запишем комплексное число в тригонометрической форме. Имеем , , . Следовательно,

Следовательно, , ,

443. Решить двучленное уравнение ω 5 + 32i = 0 .

∆ Перепишем, уравнение в виде ω 5 + 32i = 0 . Число -32i представим в три­гонометрической форме:

Если k = 0, то (A).

k =1, (B).

k =2, (C).

k =3, (D).

k =4, (E).

Корням двучленного уравнения соответствуют вершины правильного пяти­угольника, вписанного в окружность радиуса R = 2 с центром в начале коор­динат (рис. 28).

Вообще корням двучленного уравнения ω n =а, где а -комплексное число, соответствуют вершины правильного n -угольника, вписанного в окружность с центром в начале координат и радиусом, равным ▲

444. Пользуясь формулой Муавра, выразить соs5φ и sin5 φ через соsφ и sinφ .

∆ Левую часть равенства преобразуем по формуле бинома Ньютона:

Остается приравнять действительные и мнимые части равенства:

445. Дано комплексное число z = 2-2i . Найти Re z, Im z, |z|, arg z.

446. z = -12 + 5i.

447 . Вычислить по формуле Муавра выражение (соs 2° + isin 2°) 45 .

448. Вычислить по формуле Муавра .

449. Представить в тригонометрической форме комплексное число

z = 1 + соs 20° +isin 20°.

450. Вычислить выражение (2 + 3i) 3 .

451. Вычислить выражение

452. Вычислить выражение

453. Представить в тригонометрической форме комплексное число 5-3i.

454. Представить в тригонометрической форме комплексное число -1 + i .

455. Вычислить выражение

456. Вычислить выражение предварительно представив в тригонометрической форме множители в числителе и знаменателе.

457. Найти все значения

458. Решить двучленное уравнение

459. Выразить соs4φ и sin4φ через соsφ и sinφ .

460. Показать, что расстояние между точками z 1 и z 2 равно | z 2 - z 1 |.

∆ Имеем z 1 = х 1 + iу 1 , z 2 = х 2 + iу 2 , z 2 -z 1 = (x 2 -x 1) + i(y 2 -y 1), откуда

т.е. | z 2 - z 1 | равно расстоянию между данными точками. ▲

461. Какая линия описывается точкой z , удовлетворяющей уравнению где с -постоянное комплексное число, а R>0?

462. Каков геометрический смысл неравенств: 1) |z-с|;2) |z-с|>R ?

463. Каков геометрический смысл неравенств: 1) Re z > 0 ; 2) Im z < 0 ?

2. Ряды с комплексными членами . Рассмотрим последовательность комп­лексных чисел z 1 , z 2 , z 3 , ..., где z п = х п +iу п (п = 1, 2, 3, ...). Постоянное число с = а + bi называется пределом последовательности z 1 , z 2 , z 3 , ..., если для всякого сколь угодно малого числа δ>0 найдется такой номер N, что рее значения z п с номерами п > N удовлетворяют неравенству \z п -с\ < δ . В этом случае пишут .

Необходимое и достаточное условие существования предела последова­тельности комплексных чисел состоит в следующем: число с=а+bi является пределом последовательности комплексных чисел х 1 +iу 1 , х 2 +iу 2 , х 3 +iу 3 , … тогда и только тогда, когда , .

(1)

членами которого являются комплексные числа, называется сходящимся, если n-я частичная сумма ряда S n при п → ∞ стремится к определенному конеч­ному пределу. В противном случае ряд (1) называется расходящимся.

Ряд (1) сходится тогда и только тогда, когда сходятся ряды с действи­тельными членами

(2) Исследовать сходимость рядаЭтот ряд, члены которого образуют бесконечно убывающую геометрическую прогрессию, сходится; следовательно, заданный ряд с комплексными членами сходится абсолютно. ^

474. Найти область сходимости ряда

Размер: px

Начинать показ со страницы:

Транскрипт

1 8 Комплексные числовые ряды Рассмотрим числовой ряд с комплексными числами вида k a, (46) где (a k) - заданная числовая последовательность с комплексными членами k Ряд (46) называется сходящимся, если сходится последовательность (S) его частичных сумм S a k k При этом предел S последовательности (S) называется суммой ряда (46) Ряд a k называется -м остатком ряда (46) Для сходящегося k ряда S S r и lm r, те ε > N, N: r < ε Для сходящегося ряда (46) необходимым и достаточным признаком его сходимости является критерий Коши: ряд (46) сходится тогда и только тогда, если ε >, N, N: a < ε p k k Необходимым условием сходимости ряда (46) является требование lm a Действительно, из сходимости ряда (46) следует, согласно критерию Коши, что ε >, N >, что при p, следует, что S S < ε Если сходится ряд ak k a (47) с действительными положительными членами, то очевидно, сходится и ряд (46), который в этом случае называется абсолютно сходящимся А для ряда (47) уже можно применить признаки Даламбера и Коши: ряд (47) сходится, если, начиная с a некоторого номера N соотношение l < a, N значит, сходится абсолютно ряд (46)), если a q <, N k ; и ряд (47) сходится (а,

2 9 Функциональные ряды и их свойства Равномерная сходимость Теорема Вейерштрасса Пусть в области G комплексной плоскости Z определена бесконечная последовательность однозначных функций ((Z)) Выражение вида U U (48) будем называть функциональным рядом Ряд (48) называется сходящимся в области G, если Z G соответствующий ему числовой ряд сходится Если ряд (48) сходится в области G, то в этой области можно определить однозначную функцию, значение которой в каждой точке области G равно сумме соответствующего числового ряда (48) в области G Тогда G, > k () U k () < ε Заметим, что в общем случае N зависит и от ε и от Определение Если ε >, N(ε), N(ε): ε, N (ε,), N(ε,) : выполняется сразу области G k U k < ε G, то ряд (48) называется равномерно сходящимся в k k Если остаток ряда обозначить r U, то тогда условие равномерной сходимости ряда (48) можем записать в виде: r < ε, N(ε), G Достаточным признаком равномерной сходимости ряда (48) является признак Вейерштрасса: Если всюду в области G члены функционального ряда (48) могут быть мажорированы членами некоторого абсолютно сходящегося числового ряда a, те

3 a U, G, (49) то ряд (48) сходится равномерно N Действительно, тк ряд a сходится, то > В силу (49) в G имеет место неравенство ε, > k k N, что a < ε, U U a < ε при N, что и доказывает равномерную k k k k k k сходимость ряда (48) в области G Приведем некоторые теоремы о равномерно сходящихся рядах Они доказываются совершенно также, как соответствующие теоремы вещественного анализа и поэтому приведем их без доказательства Теорема 5 Если функции U непрерывны в области G, а ряд U сходится в этой области равномерно к функции, то также непрерывна в G Теорема 6 Если ряд (48) непрерывных функций U сходится равномерно в области G к функции, то интеграл от этой функции по любой кусочногладкой кривой, целиком лежащей в области G, можно вычислить путем почленного интегрирования ряда (48), те Теорема 7 Если члены d U d U сходящегося в области G ряда U имеют непрерывные производные в этой области и ряд U равномерно сходится в G, то данный ряд U можно почленно дифференцировать в области G, причем U U, где U - сумма ряда

4 Для функциональных рядов в комплексном анализе существует теорема Вейерштрасса, которая позволяет значительно усилить теорему о возможности почленного дифференцирования функционального ряда, известную из вещественного анализа Прежде чем сформулировать и доказать ее, заметим, что ряд U, равномерно сходящийся по линии l, останется равномерно сходится и после умножения всех его членов на функцию ϕ, ограниченную на l В самом деле, пусть на линии l выполняется неравенство ϕ () < M Тогда для остатков ρ и r рядов U и U ϕ справедливо соотношение ϕ U U r < M r ρ ϕ ε и, тк N, > N: r < и одновременно с ним ρ < ε, то этим доказано M высказанное утверждение Если сумма данного ряда есть S, то сумма ряда, полученного после умножения на ϕ, очевидно будет ϕ S Теорема 8 (Вейерштрасса) Если члены ряда - аналитические в некоторой области G функции и этот ряд сходится в области G равномерно, то его сумма также является функцией аналитической в G, ряд можно почленно дифференцировать и полученный ряд F равномерно сходится к () F Выберем любую внутреннюю точку области G и построим круг столь малого радиуса с центром в этой точке, чтобы он целиком лежал внутри G (рис) В силу равномерной сходимости данного ряда в G, G ρ Рис он, в частности, равномерно сходится на окружности этого круга Пусть - любая точка на Умножим ряд () () () () () (5) на величину Полученный ряд

5 также равномерно сходится к своей сумме () () () () (), тк функция (5) ограничена на, ибо для точек этой окружности ρ - радиусу окружности (напомним: - здесь постоянная) Тогда по сказанному выше ряд (5) можно почленно интегрировать: () d () d () d d π π π π В силу аналитичности функций, к ним можно применить формулу Коши, на основании которой получаем () d π, (5) а сумма ряда справа в (5) есть и, следовательно, получаем равенство π () d Но функция, будет суммой равномерно сходящегося ряда аналитических и, следовательно, непрерывных функций в G Значит, интеграл справа является интегралом типа Коши и, значит, он представляет функцию, аналитическую внутри и, в частности, в точке Тк - любая точка области G, то первая часть теоремы доказана Для доказательства возможности почленного дифференцирования данного ряда надо ряд (5) умножить на ограниченную на функцию выкладки и повторить Замечание Можно доказать, что ряд аналитических функций можно дифференцировать бесконечное число раз, при этом получим, что ряд сходится равномерно, причем его сумма равна (k) (k)

6 ряды вида где Степенные ряды Теорема Абеля Весьма важным случаем общих функциональных рядов являются степенные (), (53) - некоторые комплексные числа, а - фиксированная точка комплексной плоскости Члены ряда (53) являются аналитическими функциями на всей плоскости, поэтому для исследования свойств данного ряда могут быть применены общие теоремы предыдущих пунктов Как было установлено в них, многие свойства являются следствием равномерной сходимости Для определения области сходимости степенного ряда (53) существенная оказывается следующая теорема Теорема 9 (Абеля) Если степенной ряд (53) сходится в некоторой точке, то он абсолютно сходится и в любой точке, удовлетворяющей условию, причем в круге < ρ, радиусом ρ, меньшим < сходится равномерно, ряд Δ Выберем произвольную точку, удовлетворяющую условию < Обозначим q сходимости ряда следовательно M >, что M, q < В силу необходимого признака его члены стремятся к нулю при, отсюда () M M q M, Тогда, где q < (54) Ряд справа в (54) бесконечно убывающая геометрическая прогрессия со знаменателем q < Тогда из (54) следует сходимость и рассматриваемого ряда

7 ρ < достаточно в силу признака Вейерштрасса (53) В круге построить сходящийся числовой ряд, можорирующий данный ряд в рассматриваемой области Очевидно, таковым является ряд ρ M, также представляющий собой сумму бесконечной геометрической прогрессии со знаменателем, меньшим единицы Из теоремы Абеля можно вывести ряд следствий, в известной мере аналогичным следствиям из теоремы Абеля в теории степенных рядов вещественного анализа Если степенной ряд (53) расходится в некоторой точке, то он расходится и во всех точках, удовлетворяющих неравенству > Точная верхняя грань расстояний от точки, до точки, в которых сходится ряд (53) называется радиусом сходимости степенного ряда, а область <, называется кругом сходимости степенного ряда В точках границы ряд может как сходиться так и расходиться Пример Найти область сходимости ряда Δ Находим радиус сходимости по признаку Даламбера lm () и наш ряд сходится в круге < При <, те, исследуется особо В этом случае и, значит, областью абсолютной сходимости является

8 ρ < В круге любого радиуса ρ, меньшего чем радиус сходимости, степенной ряд (53) сходится равномерно 3 Внутри круга сходимости степенной ряд сходится к аналитической функции В самом деле, члены ряда u есть функции, аналитические на всей плоскости Z, ряд сходится в любой замкнутой подобласти круга сходимости Тогда по теореме Вейерштрасса сумма ряда есть аналитическая функция 4 Степенной ряд внутри круга сходимости можно почленно интегрировать и дифференцировать любое число раз, причем радиус сходимости полученных рядов равен радиусу сходимости исходного ряда 5 Коэффициенты степенного ряда (53) находятся по формулам! () () (55) Доказательство этого факта приводится методами, аналогичными методам вещественного анализа Ряд Тейлора Теорема Тейлора Нули аналитических функций Итак степенной ряд внутри круга сходимости определяет некоторую аналитическую функцию Возникает вопрос: можно ли функции, аналитической внутри некоторого круга, сопоставить степенной ряд, сходящийся в этом круге к данной функции? < Теорема 9 (Тейлора) Функция, аналитическая внутри круга, может быть представлена в этом круге сходящимся степенным рядом, причем этот ряд определен однозначно

9 Выберем произвольную точку внутри круга ρ ρ < и построим окружность ρ точке радиусом < с центром в ρ (рис), содержащую точку внутри Такое построение возможно для любой точки внутри этого круга Так как < ρ, а внутри круга < Рис аналитична, то по формуле Коши имеем π ρ () d (56) Преобразуем подынтегральное выражение: (57) <, то < Так как Поэтому второй сомножитель справа в (57) можно представить как сумму степенного ряда (прогрессии), ту которая первый член есть, а знаменатель прогрессии есть Так как, те () () (58) ρ, то ряд (58) сходится равномерно по, так как он мажорируется сходящимся числовым рядом Подставляя (58) в (56) и интегрируя почленно, получаем ρ (< ρ)

10 Введем обозначение () d () ρ π () d () π ρ () и перепишем (59) в виде сходящегося в выбранной точке степенного ряда: (59) (6) () (6) В формуле (6) окрестность ρ можно заменить, в силу теоремы Коши, любым замкнутым контуром, лежащем в области < и содержащим точку внутри Так как - произвольная точка данной области, то отсюда следует, что ряд (6) сходится к круге ρ < этот ряд сходится равномерно Итак, функция всюду внутри круга < аналитическая внутри круга <, причем в разлагается в этом круге в сходящийся степенной ряд Коэффициенты разложения (6) на основании формулы Коши для производных аналитической функции имеет вид () d () π ρ () ()! (6) Для доказательства единственности разложения (6) допустим, что имеет еще место формула разложения (), (6)

11 где также бы один коэффициент <, поэтому на основании формулы (55) Ряд (6) сходящимся в круге () () (6) Тем самым единственность определения коэффициентов доказана Разложение функции, аналитической в круге! <, что совпадает с, в сходящийся степенной ряд (6), часто называется разложением Тейлора, а сам ряд (6) Рядом Тейлора Доказанная теорема устанавливает взаимнооднозначное соответствие между функцией, аналитической в окрестности некоторой точки и степенным рядом с центром в этой точке, это означает эквивалентность конкретной аналитической функции, как функции бесконечное число раз дифференцируемой и функцией, представимой в виде суммы степенного ряда G и Заметим, наконец, что, если функция является аналитической в области G - внутренняя точка, то радиус сходимости ряда Тейлора () () () этой функции не меньше расстояния от точки до! границы области G (имеется в виду ближайшее расстояние) Пример Разложить в ряд Тейлора по степеням Δ Эта функция является аналитической на всей комплексной плоскости за исключением точек, Поэтому в круге < функция может быть ± разложена в ряд Тейлора При условии < выражение рассматриваться как сумма бесконечно убывающей прогрессии может q, q < Поэтому

12 , < Пример 3 Найти разложение в ряд Тейлора в круге < Определение по формуле (6) здесь довольно затруднительно Поэтому, представим π Так как < и <, то, используя геометрическую, получаем q q, Используя показательную форму чисел и находим окончательно 4 s π (63) Тк расстояние от центра разложения до ближайших особых точек (те до границы аналитичности) есть, то радиус сходимости ряда (63) есть Рис X Y

13 4 4 3 Пример <, 4 3 < Ближайшей к центру разложения особой точкой является точка, до которой расстояние равно, поэтому В заключение приведем основные разложения: e (<)!! 3! cos! 4 3 4! ; (<)! ; s () m 3 3! 5 5! m m m!! (<) ()! ; m(m)(m)! ; l 3 3 () 4 (<) Если для аналитической функции (), то точка называется нулем аналитической функции В этом случае разложение функции в ряд Тейлора в окрестности точки имеет вид () () тк () Если в разложении функции окрестности точки и, следовательно, разложение имеет вид, в ряд Тейлора в,

14 то точка () (), (64) называется нулем функции Если, то нуль называется простым го порядка, или кратности Из формул для коэффициентов ряда Тейлора видим, что если точка является нулем порядка, то где () () Разложение (64) можно переписать в виде, но () () () [ () ] () ϕ, ϕ () (), () ϕ, и круг сходимости этого ряда, очевидно, тот же, что и у ряда (64) Справедливо и обратное утверждение где Всякая функция вида - целое, ϕ () и нуль порядка Пример 5 Точки ± () ϕ, ϕ аналитична в точке, имеет в этой точке для функции го порядка, тк () () e (4) ϕ 3 4 e являются нулями, причем (±) Пример 6 Найти порядок нуля для функции 8 s Разложим знаменатель по степеням: 3 3! 8 5 5! ! 5! 3! 5 5! ϕ

15 5 ϕ, где ϕ, причем ϕ и точке функции 3!, так что точка 5! ϕ аналитична в является нулем 5-го порядка для исходной Ряд Лорана и его область сходимости Разложение аналитической функции в ряд Лорана Рассмотрим ряд вида () где - фиксированная точка комплексной плоскости, (65) - некоторые комплексные числа Ряд (65) носит название ряда Лорана Установим его область сходимости Для этого представим (65) в виде () () (66) () Ясно, что областью сходимости ряда (66) является общая часть областей сходимости каждого из слагаемых правой части (66) Областью сходимости ряда () является круг с центром в точке некоторого радиуса, причем в частности, может равняться нулю или бесконечности Внутри круга сходимости этот ряд сходится к некоторой аналитической функции комплексной переменной, те (), < (67)

16 Для определения области сходимости ряда переменной, положив () () Тогда этот ряд примет вид совершим замену - обычный степенной ряд, сходящийся внутри своего круга сходимости к некоторой аналитической функции ϕ () комплексной переменой Пусть радиус сходимости полученного степенного ряда есть r Тогда ϕ, < r Возвращаясь к старой переменной и полагая ϕ () () (68), > r Отсюда следует, что областью сходимости ряда область, внешняя к окружности r, получаем (69) () является Итак, каждый из степенных рядов правой части (66) сходится в своей области сходимости в соответствующей аналитической функции Если r <, то существует общая область сходимости этих рядов круговое кольцо r < <, в которой ряд (65) сходится к аналитической функции (), r < < (7) Так как ряды (67) и (68) являются обычными степенными рядами, то в указанной области функция обладает всеми свойствами суммы степенного ряда Это означает, что ряд Лорана сходится внутри своего кольца сходимости к некоторой функции, аналитической в данном кольце

17 Если r >, то ряды (67) и (68) общей области сходимости не имеют, тем самым в этом случае ряд (65) нигде не сходится к какой-либо функции Отметим, что ряд регулярной частью ряда (7), а Пример 7 Разложить - главной частью ряда (65) () а) < < ; б) > ; в) < < называется правильной частью или в ряд Лорана в кольцах: Во всех кольцах функция регулярна (аналитична) и поэтому может быть представлена рядом Лорана (доказательство этого факта в следующем пункте) Перепишем функцию в виде а) Так как <, то второе слагаемое есть сумма убывающей геометрической прогрессии Поэтому () Здесь главная часть состоит из одного слагаемого < б) в этом случае, поэтому () 3

18 В этом разложении отсутствует регулярная часть < в) Для случая < функцию также надо привести к сходящейся геометрической прогрессии, но со знаменателем Это даст: 3 Заметим, что в главной части этого разложения присутствует одно слагаемое Возникает вопрос: можно ли функции аналитической в некотором круговом кольце, сопоставить ряд Лорана, сходящийся к этой функции в данном кольце? На этот вопрос отвечает Теорема Функция, аналитическая в круговом кольце < <, однозначно представляется в этом кольце сходящимся рядом Лорана дробь На Рис 3 Δ Зафиксируем произвольную точку внутри данного кольца и контурами окружности и с центром в, радиусы которых удовлетворяют условиям < < < < < (рис 3) Согласно формуле Коши для многосвязной области имеем π () d () выполняется неравенство q, можно представить в виде d (7) Поэтому

19 Проведем в (7) почленное интегрирование, что возможно в силу равномерной сходимости ряда по, получим d π, (7) где d π, (73) Так как на выполняется неравенство, то аналогично предыдущему имеем Тогда в результате почленного интегрирования этого ряда в (7) будем иметь π π d d, (при d), (74) где d π (75) Изменив направление интегрирования в (75), получим

20 π () () d ()() d π, > (76) В силу аналитичности подынтегральных функций в (73) и (76) в круговом кольце < < в соответствии с теоремой Коши значения интегралов не изменятся при произвольной деформации контуров интегрирования в области аналитичности Это позволяет объединить формулы (73) и (76): π () d (), ±, ±, (77) где - произвольный замкнутый контур, лежащий в указанном кольце и содержащий точку внутри Возвратимся теперь к формуле (7), получим где коэффициенты () (), (78) () для всех определяются однообразной формулой (77) Так как - люба точка кольца < <, то отсюда следует, что ряд (78) сходится к внутри данного кольца причем в замкнутом кольце < < ряд сходится к равномерно Доказательство единственности разложения (78) опускаем Из полученных результатов следует, что областью сходимости ряда (78) Лорана является круговое кольцо < <, на границах которого имеется хотя бы по одной особой точке аналитической функции ряд (78), к которой сходится Замечание Формула (77) для определения коэффициентов разложения в ряд Лорана (78) не всегда практически удобна Поэтому часто прибегают к разложению рациональной дроби на простейшие с использованием геометрической прогрессии, а также используют разложение в ряд Тейлора элементарные функции Приведем примеры

21 Пример 8 Разложить ряд Лорана (те по степеням) Y в окрестности точки ()() в Δ В данном случае построим два круговых кольца с центром в точке (рис 4): а) круг «без центра» < < ; Рис 4 X б) внешность круга > В каждом из этих колец аналитична, а на границах имеет особые точки Разложим в каждой из этих областей функцию по степеням) < < ; ; [ () () () ] () < Этот ряд сходится, так как Так что ()() () () () (), ; >) Здесь имеем 3, () () () () () - сходящийся ряд, так как <

22 s В итоге ()() () () те, 3, 3 Пример 9 Разложить в ряд Лорана в окрестности точки функцию Δ Имеем:, s s s cos cos s s! cos 4 () () 3 4! 3! () 5! () (s cos)!! 5


Тема Комплексные числовые ряды Рассмотрим числовой ряд k ak с комплексными числами вида Ряд называется сходящимся, если сходится последовательность S его частичных сумм S a k k. При этом предел S последовательности

Тема Функциональные комплексные ряды Определение. Если выполняется сразу k, N, N U k G сходящимся в области G., то ряд называется равномерно Достаточным признаком равномерной сходимости ряда является признак

ЛЕКЦИЯ N37. Ряды аналитических функций. Разложение аналитической функции в степенной ряд. Ряд Тейлора. Ряд Лорана..Разложение аналитической функции в степенной ряд.....ряд Тейлора.... 3.Разложение аналитической

Модуль Тема Функциональные последовательности и ряды Свойства равномерной сходимости последовательностей и рядов Степенные ряды Лекция Определения функциональных последовательностей и рядов Равномерно

Лекция 7 Ряды Тейлора и Лорана 7. Ряд Тейлора В этой части мы увидим, что понятия степенного ряда и аналитической функции определяют один и тот же объект: любой степенной ряд с положительным радиусом сходимости

Математический анализ Раздел: Теория функций комплексного переменного Тема: Ряды в комплексной плоскости Лектор Янущик О.В. 217 г. 9. Ряды в комплексной плоскости 1. Числовые ряды Пусть задана последовательность

5 Степенные ряды 5 Степенные ряды: определение, область сходимости Функциональный ряд вида (a + a) + a () + K + a () + K a) (, (5) где, a, a, K, a,k некоторые числа, называют степенным рядом Числа

Федеральное агентство по образованию Московский Государственный университет геодезии и картографии (МИИГАиК) МЕТОДИЧЕСКИЕ УКАЗАНИЯ И ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ по курсу ВЫСШАЯ МАТЕМАТИКА Числовые

Функциональные ряды Лекции 7-8 1 Область сходимости 1 Ряд вида u () u () u () u (), 1 2 u () где функции определены на некотором промежутке, называется функциональным рядом. Множество всех точек,

ЛЕКЦИЯ N38. Поведение аналитической функции в бесконечности. Особые точки. Вычеты функции..окрестность бесконечно удаленной точки.....разложение Лорана в окрестности бесконечно удаленной точки.... 3.Поведение

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Национальный исследовательский Нижегородский государственный университет им НИ Лобачевского НП Семерикова АА Дубков АА Харчева РЯДЫ АНАЛИТИЧЕСКИХ ФУНКЦИЙ

Министерство образования Республики Беларусь УО «Витебский государственный технологический университет» Тема. «Ряды» Кафедра теоретической и прикладной математики. разработана доц. Е.Б. Дуниной. Основные

В.В. Жук, А.М. Камачкин 1 Степенные ряды. Радиус сходимости и интервал сходимости. Характер сходимости. Интегрирование и дифференцирование. 1.1 Радиус сходимости и интервал сходимости. Функциональный ряд

Тема Ряд Лорана и его область сходимости. Рассмотрим ряд вида n C n n C n n n n C n n где - фиксированная точка комплексной плоскости, - некоторые комплексные числа. C n Этот ряд называется рядом Лорана.

ЛЕКЦИЯ N 7. Степенные ряды и ряды Тейлора..Степенные ряды..... Ряд Тейлора.... 4.Разложение некоторых элементарных функций в ряды Тейлора и Маклорена.... 5 4.Применение степенных рядов.... 7.Степенные

Математический анализ Раздел: Числовые и функциональные ряды Тема: Степенные ряды. Разложение функции в степенной ряд Лектор Рожкова С.В. 3 г. 34. Степенные ряды Степенным рядом рядом по степеням называется

4 Ряды аналитических функций 4. Функциональные последовательности Пусть Ω C и f n: Ω C. Последовательность функций {f n } сходится поточечно к функции f: Ω C, если для каждого z Ω lim n f n(z) = f(z).

Функциональные ряды Функциональный ряд его сумма и область функциональног о Пусть в области Δ вещественных или комплексных чисел дана последовательность функций k (k 1 Функциональным рядом называется

Лекции подготовлены доц Мусиной МВ Определение Выражение вида Числовые и функциональные ряды Числовые ряды: основные понятия (), где называется числовым рядом (или просто рядом) Числа, члены ряда (зависят

Числовые ряды Числовая последовательность Опр Числовой последовательностью называют числовую ф-цию, определенную на множестве натуральных чисел х - общий член последовательности х =, х =, х =, х =,

Гл Степенные ряды a a a Ряд вида a a a a a () называется степенным, где, a, постоянные, называемые коэффициентами ряда Иногда рассматривают степенной ряд более общего вида: a a(a) a(a) a(a) (), где

Лекция 8 Ряды и особые точки. Ряд Лорана. Изолированные особые точки. 6. Ряды и особые точки 6.7. Ряд Лорана Теорема (П. Лоран): Если функция f () аналитична в кольце r< a < R r R то она может быть разложена

Федеральное агентство по образованию Федеральное государственное образовательное учреждение высшего профессионального образования ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ Р. М. Гаврилова, Г. С. Костецкая Методические

Тема 9 Степенные ряды Степенным рядом называется функциональный ряд вида при этом числа... коэффициентами ряда, а точка разложения ряда.,...,... R... называются центром Степенные ряды Общий член степенного

4 Функциональные ряды 4 Основные определения Пусть задана бесконечная последовательность функций с общей областью определения X u), u (), K, u (),K (ОПРЕДЕЛЕНИЕ Выражение u) + u () + K + u () +

Лекция 3 Ряды Тейлора и Маклорена Применение степенных рядов Разложение функций в степенные ряды Ряды Тейлора и Маклорена Для приложений важно уметь данную функцию разлагать в степенной ряд, те функцию

Лекция 6 Разложение функции в степенной ряд Единственность разложения Ряды Тейлора и Маклорена Разложение в степенной ряд некоторых элементарных функций Применение степенных рядов В предыдущих лекциях

Металлургический факультет Кафедра высшей математики РЯДЫ Методические указания Новокузнецк 5 Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования

Ряды Лорана Более общим типом степенных рядов являются ряды, содержащие как положительные, так и отрицательные степени z z 0. Как и ряды Тейлора, они играют важную роль в теории аналитических функций.

Ряды Числовые ряды Общие понятия Опр Если каждому натуральному числу ставится в соответствие по определенному закону некоторое число, то множество занумерованных чисел, называется числовой последовательностью,

С А Лавренченко wwwlwrecekoru Лекция Функциональные ряды Понятие функционального ряда Ранее мы изучали числовые ряды, т е членами ряда были числа Сейчас мы переходим к изучению функциональных рядов, т

Тема Ряд Лорана и его область сходимости. Ряд вида где C (z z) n = C (z z) n + n n n= n= z плоскости, - фиксированная точка комплексной C n называется рядом Лорана. C n (z z) n= - некоторые комплексные

Лекция. Функциональные ряды. Определение функционального ряда Ряд, членами которого являются функции от x, называется функциональным: u = u (x) + u + K+ u + K = Придавая x определенное значение x, мы

ТЕОРИЯ РЯДОВ Теория рядов является важнейшей составной частью математического анализа и находит как теоретические, так и многочисленные практические приложения. Различают ряды числовые и функциональные.

Радиус сходимости Определение. Степенным рядом называется функциональный ряд вида c 0 + c (t a) + c 2 (t a) 2 + + c (t a) + = c (t a), () где c 0, c, c 2,..., c,... C называются коэффициентами степенного

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ГРАЖДАНСКОЙ АВИАЦИИ В.М. Любимов, Е.А. Жукова, В.А. Ухова, Ю.А. Шуринов М А Т Е М А Т И К А Р Я Д Ы ПОСОБИЕ по изучению дисциплины и контрольные задания

82 4. Раздел 4. Функциональные и степенные ряды 4.2. Занятие 3 4.2. Занятие 3 4.2.. Разложение функции в ряд Тейлора ОПРЕДЕЛЕНИЕ 4.2.. Пусть функция y = f(x) бесконечно дифференцируема в некоторой окрестности

Лекция. Степенные ряды. Гармонический анализ; ряды и преобразование Фурье. Свойство ортогональности.8. Общие функциональные ряды.8.. Уклонение функций Ряд U + U + U называется функциональным, если его

Старков В.Н. Материалы к установочной лекции Вопрос 9. Разложение аналитических функций в степенные ряды Определение. Функциональный ряд вида (((... (..., где комплексные постоянные (коэффициенты ряда

Сгупс кафедра высшей математики Методические указания к выполнению типового расчета «Ряды» Новосибирск 006 Некоторые теоретические сведения Числовые ряды Пусть u ; u ; u ; ; u ; есть бесконечная числовая

Е занятие. Ряды Тейлора. Суммирование степенных рядов Матем. анализ, прикл. матем., 3-й семестр Найти разложения функции в степенной ряд по степеням, вычислить радиус сходимости степенного ряда: A f()

Глава Ряды Формальная запись суммы членов некоторой числовой последовательности Числовые ряды называется числовым рядом Суммы S, называются частичными суммами ряда Если существует предел lim S, S то ряд

Практическое занятие 8 Вычеты 8 Определение вычета 8 Вычисление вычетов 8 Логарифмический вычет 8 Определение вычета Пусть изолированная особая точка функции в изолированной особой Вычетом аналитической

~ ~ ФКП Производная функции комплексного переменного ФКП условия Коши - Римана понятие регулярности ФКП Изображение и вид комплексного числа Вид ФКП: где действительная функция двух переменных действительная

МЕТОДИЧЕСКИЕ УКАЗАНИЯ К РАСЧЕТНЫМ ЗАДАНИЯМ ПО КУРСУ ВЫСШЕЙ МАТЕМАТИКИ «ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ РЯДЫ ДВОЙНЫЕ ИНТЕГРАЛЫ» ЧАСТЬ Ш ТЕМА РЯДЫ Оглавление Ряды Числовые ряды Сходимость и расходимость

Федеральное агентство по образованию Архангельский государственный технический университет строительный факультет РЯДЫ Методические указания к выполнению задания для самостоятельной работы Архангельск

ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИЙ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ В результате изучения данной темы студент должен научиться: находить тригонометрическую и показательную формы комплексного числа по

Математический анализ Часть 3. Числовые и функциональные ряды. Кратные интегралы. Теория поля. учебное пособие Н.Д.Выск МАТИ-РГТУ им. К.Э. Циолковского Кафедра «Высшая математика» МАТЕМАТИЧЕСКИЙ АНАЛИЗ

Лекция 3. Вычеты. Основная теорема о вычетах Вычетом функции f() в изолированной особой точке а называется комплексное число равное значению интеграла f () 2 взятого в положительном направлении i по окружности

Числовые и степенные ряды Занятие. Числовые ряды. Сумма ряда. Признаки сходимости.. Вычислить сумму ряда. 6 Решение. Сумма членов бесконечной геометрической прогрессии q равна, где q - знаменатель прогрессии.

С А Лавренченко wwwlawreceoru Лекция Представление функций рядами Тейлора Один полезный предел На прошлой лекции была разработана следующая стратегия: по достаточному условию представимости функции рядом

М. В. Дейкалова КОМПЛЕКСНЫЙ АНАЛИЗ Вопросы к экзамену (группа МХ-21, 215) Вопросы первого коллоквиума 1 1. Дифференцируемость функции комплексного переменного в точке. Условия Коши Римана (Даламбера Эйлера).

Вариант Задача Вычислить значение функции ответ дать в алгебраической форме: а sh ; б l Решение а Воспользуемся формулой связи между тригонометрическим синусом и гиперболическим синусом: ; sh -s Получим

Лекция Числовые ряды Признаки сходимости Числовые ряды Признаки сходимости Бесконечное выражение числовой последовательности + + + +, составленное из членов бесконечной, называется числовым рядом Числа,

4. Функциональные ряды, область сходимости Областью сходимости функционального ряда () называется множество значений аргумента, для которых этот ряд сходится. Функция (2) называется частичной суммой ряда;

Лекция 3 Теорема существования и единственности решения скалярного уравнения Постановка задачи Основной результат Рассмотрим задачу Коши d f () d =, () = Функция f (,) задана в области G плоскости (,

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ АРХИТЕКТУРНО- СТРОИТЕЛЬНЫЙ УНИВЕРСИТЕТ Кафедра высшей математики ЧИСЛОВЫЕ И ФУНКЦИОНАЛЬНЫЕ РЯДЫ Методические указания для

{функциональные ряды степенные ряды область сходимости порядок нахождения интервала сходимости - пример радиус интервала сходимости примеры } Пусть задана бесконечная последовательность функций, Функциональные

С А Лавренченко wwwlawrecekoru Лекция Представление функций степенными рядами Введение Представление функций степенными рядами оказывается полезным при решении следующих задач: - интегрирование функций

Е занятие. Степенные ряды. Ряды Тейлора Матем. анализ, прикл. матем., 3-й семестр Найти радиус сходимости степенного ряда, используя признак Даламбера: (89 () n n (n!)) p (n +)! n= Ряд Тейлора f(x)

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «САМАРСКИЙ ГОСУДАРСТВЕННЫЙ АЭРОКОСМИЧЕСКИЙ УНИВЕРСИТЕТ

РЯДЫ. Числовые ряды. Основные определения Пусть дана бесконечная последовательность чисел Выражение (бесконечная сумма) a, a 2,..., a n,... a i = a + a 2 + + a n +... () i= называется числовым рядом. Числа

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Кафедра математической статистики ЧИСЛОВЫЕ РЯДЫ Учебно-методическое пособие КАЗАНЬ 008 Печатается по решению секции Научно-методического совета Казанского университета

Министерство образования и науки Российской Федерации ВА Волков РЯДЫ ИНТЕГРАЛ ФУРЬЕ Учебное электронное текстовое издание Для студентов специальностей 4865 Электроника и автоматика физических установок;

џ. Понятие числового ряда. Пусть задана последовательность чисел a, a 2,..., a,.... Числовым рядом называется выражение a = a + a 2 +... + a +... (.) Числа a, a 2,..., a,... называются членами ряда, a

Методическая разработка Решение задач по ТФКП Комплексные числа Операции над комплексными числами Комплексная плоскость Комплексное число можно представить в алгебраической и тригонометрической экспоненциальной

Сибирский математический журнал Июль август, 2005. Том 46, 4 УДК 517.53 УСЛОВИЯ СХОДИМОСТИ ИНТЕРПОЛЯЦИОННЫХ ДРОБЕЙ ПРИ УЗЛАХ, ОТДЕЛЕННЫХ ОТ ОСОБЫХ ТОЧЕК ФУНКЦИИ А. Г. Липчинский Аннотация: Рассматривается

МОСКОВСКИЙ АВТОМОБИЛЬНО-ДОРОЖНЫЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ (МАДИ) АА ЗЛЕНКО, CА ИЗОТОВА, ЛА МАЛЫШЕВА РЯДЫ МЕТОДИЧЕСКИЕ УКАЗАНИЯ к самостоятельной работе по математике МОСКОВСКИЙ АВТОМОБИЛЬНО-ДОРОЖНЫЙ

РЯДЫ

Числовые ряды

Пусть задана последовательность комплексных чисел z n = х п + + it/ n , п= 1,2,... Числовым рядом называется выражение вида

Числа 21,2-2,... называются членами ряда. Отметим, что выражение (19.1), вообще говоря, нельзя рассматривать как сумму, поскольку невозможно выполнить сложение бесконечного числа слагаемых. Но если ограничиться конечным числом членов ряда (например, взять первые п членов), то получится обычная сумма, которую можно реально вычислить (каково бы ни было п). Сумма 5„ первых и членов ряда называется п-й частичной (частной) суммой ряда:

Ряд (19.1) называется сходящимся, если существует конечный предел п-х частичных сумм при п -? оо, т.е. существует

Число 5 называется суммой ряда. Если lirn S n не существует или

равен ос, то ряд (19.1) называется расходящимся.

Тот факт, что ряд (19.1) сходится и его сумма равна 5, записывается в виде

Эта запись не означает, что были сложены все члены ряда (это сделать невозможно). В то же время, сложив достаточно много членов ряда, можно получить частичные суммы, сколь угодно мало отклоняющиеся от S.

Следующая теорема устанавливает связь между сходимостью ряда с комплексными членами z n = х п + iy n и рядов с действительными членами х п и у и.

Теорема 19.1. Для сходимости ряда (19.1) необходимо и до-

статочно , чтобы сходились два ряда ? х п и ? с действительных П=1

ними йенами. При этом для равенства ? z n = (Т + ir необходимо

и достаточно, чтобы ? х п =

Доказательство. Введем обозначения для частичных сумм рядов:

Тогда S n = о п + ir n . Воспользуемся теперь теоремой 4.1 из §4: для того чтобы последовательность S n = + ir n имела предел S = = сг + ir, необходимо и достаточно, чтобы последовательности {т п } имели предел, причем liiri = о, lim т п = т. Отсюда и сле-

п-юс л->оо

дует нужное утверждение, поскольку существование пределов последовательностей {S„}, {(7 п } и {т п } равносильно сходимости рядов

ОС" ОС" ОС"

? Z n , ? Х п и? у п соответственно.

Л = 1 Л=1 П=1

С помощью теоремы 19.1 многие важные свойства и утверждения, справедливые для рядов с действительными членами, сразу переносятся на ряды с комплексными членами. Перечислим некоторые из этих свойств.

1°. Необходимый признак сходимости. Если ряд? z n сходится,

то lim z n = 0. (Обратное утверждение неверно: из того что lim z n =

л-юо я->оо

0, не следует, что ряд? z n сходится.)

2°. Пусть ряды? z n и? w n с комплексными членами сходятся

и их суммы равны S и о соответственно. Тогда ряд? (z n + w n) тоже

сходится и его сумма равна S + о.

3°. Пусть ряд ]? z n сходится и его сумма равна S. Тогда для

любого комплексного числа Л ряд? (Az n) тоже сходится и его сумма

4°. Если отбросить или добавить к сходящемуся ряду конечное число членов, то получится также сходящийся ряд.

5°. Критерий сходимости Коши. Для сходимости ряда? z n

необходимо и достаточно, чтобы для любого числа е > 0 существовало такое число N (зависящее от е), что при всех п > N и при всех

р ^ 0 выполнено неравенство ^2 z k

Так же как и для рядов с действительными членами, вводится понятие абсолютной сходимости.

Ряд z n называется абсолютно сходящимся, если сходится ряд

71 - 1

составленный из модулей членов данного ряда %2 z n

Теорема 19.2. Если сходится ряд ^2 |*п|» то ряд ^2 z n также

сходится.

(Другими словами, если ряд сходится абсолютно, то он сходится.)

Доказательство. Поскольку критерий сходимости Коши применим к рядам с произвольными комплексными членами, то он

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

мем произвольное е > 0. Так как ряд JZ Iz„ | сходится, то в силу кри-

терпя Коши, примененного к этому ряду, найдется такое число N, что при всех п > N и при всех р ^ 0

В § 1 было показано, что z + w ^ |з| + |ш| для любых комплексных чисел z и w; это неравенство легко распространяется на любое конечное число слагаемых. Поэтому


Итак, для любого е > 0 найдется число N, такое что при всех п >

Итак, для любого е > 0 найдется число N, такое что при всех п >

> N и при всех р ^ 0 выполнено неравенство J2 z k

но критерию Коши, ряд Y2 z n сходится, что и требовалось доказать.

Из курса математического анализа известно (см., например, или )), что утверждение, обратное теореме 19.2, неверно даже для рядов с действительными членами. А именно: из сходимости ряда не следует его абсолютная сходимость.

Ряд J2 г п называется условно сходящимся , если этот ряд сходит-

ся, а ряд ^2 z n i составленный из модулей его членов, расходится.

Ряд z n является рядом с действительными неотрицательными

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

Признаки сравнения. Пусть числа z u и w n начиная с некоторого номера N удовлетворяют неравенствам z n ^ |w n |, п = = N, N + 1,... Тогда:

1) если ряд ^2 |w n | сходится , то и ряд z n сходится:

2) если ряд ^2 Ы расходится , то и ряд ^2 1 ш «1 расходится.

Признак Даламбера. Пусть существует предел

Тогда:

если I 1, то ряд Y2 z n сходится абсолютно:

если I > 1, то ряд ^2 z n расходится.

При / = 1 “Р адикальн ы й” признак Коши. Пусть существует

предел lim /z n = /. Тогда:

если I 1, то ряд z n сходится абсолютно ;

если I > 1, то ряд 5Z z n расходится.

При I = 1 признак не дает ответа на вопрос о сходимости ряда. Пример 19.3. Исследовать сходимость рядов


Решен и е. а) По определению косинуса (см. (12.2))

Поэтому

00 1 (е п

Применим признак Даламбера к ряду Y1 о (о) :

Значит, ряд ^ - (-) расходится. (Расходимость этого ряда следует

п= 1 2 " 2 "

также из того, что его члены не ст!>емятся к нулю и, следовательно, необходимое условие сходимости не выполнено. Можно воспользоваться и тем, что члены ряда образуют геометрическую прогрессию

со знаменателем q = е/2 > 1.) По признаку сравнения ряд 51 0п

так же расход и тся.

б) Покажем, что величины cos(? -f п) ограничены одним и тем же числом. Действительно,

| cos (г 4- п) = | cos i cos n - sin i sin 7i| ^

^ | cosi || cos 7?| 4-1 sinг|| sin 7?.| ^ | cosi| 4-1 sin i| = А/, где M - положительная постоянная. Отсюда

Ряд 5Z сх °дится. Значит, по признаку сравнения, ряд

cos (i 4" ii)

также сходится. Следовательно, исходный ряд 51 -~^т 1 -~ сходится

ft -1 2 ”

абсолютно.

Ряд 5Z z ki полученный из ряда 51 z k отбрасыванием первых п

к=п+1 к =1

членов, называется остатком (п-м остатком) ряда 51 z k- В случае

сходимости так же называется и сумма

Легко видеть, что 5 = 5„ + г„, где 5 - сумма, a S n - частичная сумма

ряда ^ Zf{- Отсюда сразу следует, что если ряд сходится , то его

п-й остаток стремится к пулю при п -> оо. Действительно, пусть

ряд У2 z k сходится, т.е. lirn 5„ = 5. Тогда lim г п = lim (5 - 5„) =

ft-I П ->00 П->00 «->00

Ряды с комплексными членами.

19.3.1. Числовые ряды с комплексными членами. Все основные определения сходимости, свойства сходящихся рядов, признаки сходимости для комплексных рядов ничем не отличаются от действительного случая.

19.3.1.1. Основные определения . Пусть дана бесконечная последовательность комплексных чисел . Действительную часть числа будем обозначать , мнимую - (т.е. .

Числовой ряд - запись вида .

Частичные суммы ряда :

Определение. Если существует предел S последовательности частичных сумм ряда при , являющийся собственным комплексным числом, то говорят, что ряд сходится; число S называют суммой ряда и пишут или .

Найдём действительные и мнимые части частичных сумм: , где символами и обозначены действительная и мнимая части частичной суммы. Числовая последовательность сходится тогда и только тогда, когда сходятся последовательности, составленные из её действительной и мнимой частей. Таким образом, ряд с комплексными членами сходится тогда и только тогда, когда сходятся ряды, образованные его действительной и мнимой частями.

Пример.

19.3.1.2. Абсолютная сходимость.

Определение. Ряд называется абсолютно сходящимся , если сходится ряд , составленный из абсолютных величин его членов.

Так же, как и для числовых действительных рядов с произвольными членами, можно доказать, что если сходится ряд , то обязательно сходится ряд . Если ряд сходится, а ряд расходится, то ряд называется условно сходящимся.

Ряд - ряд с неотрицательными членами, поэтому для исследования его сходимости можно применять все известные признаки (от теорем сравнения до интегрального признака Коши).

Пример. Исследовать на сходимость ряд .

Составим ряд из модулей (): . Этот ряд сходится (признак Коши ), поэтому исходный ряд сходится абсолютно.

19.1.3.4. Свойства сходящихся рядов. Для сходящихся рядов c комплексными членами справедливы все свойства рядов с действительными членами:

Необходимый признак сходимости ряда. Общий член сходящегося ряда стремится к нулю при .

Если сходится ряд , то сходится любой его остаток, Обратно, если сходится какой-нибудь остаток ряда, то сходится и сам ряд.

Если ряд сходится, то сумма его остатка после n -го члена стремится к нулю при .

Если все члены сходящегося ряда умножить на одно и то же число с , то сходимость ряда сохранится, а сумма умножится на с .

Сходящиеся ряды (А ) и (В ) можно почленно складывать и вычитать; полученный ряд тоже будет сходиться, и его сумма равна .

Если члены сходящегося ряда сгруппировать произвольным образом и составить новый ряд из сумм членов в каждой паре круглых скобок, то этот новый ряд тоже будет сходиться, и его сумма будет равна сумме исходного ряда.

Если ряд сходится абсолютно, то при любой перестановке его членов сходимость сохраняется и сумма не изменяется.

Если ряды (А ) и (В ) сходятся абсолютно к своим сумма и , то их произведение при произвольном порядке членов тоже сходится абсолютно, и его сумма равна .

19.3.2. Степенные комплексные ряды.

Определение. Степенным рядом с комплексными членами называется ряд вида

где - постоянные комплексные числа (коэффициенты ряда), - фиксированное комплексное число (центр круга сходимости). Для любого численного значения z ряд превращается в числовой ряд с комплексными членами, сходящийся или расходящийся. Если ряд сходится в точке z , то эта точка называется точкой сходимости ряда. Степенной ряд имеет по меньшей мере одну точку сходимости - точку . Совокупность точек сходимости называется областью сходимости ряда.

Как и для степенного ряда с действительными членами, все содержательные сведения о степенном ряде содержатся в теореме Абеля.

Теорема Абеля. Если степенной ряд сходится в точке , то

1. он абсолютно сходится в любой точке круга ;

2. Если этот ряд расходится в точке , то он расходится в любой точке z , удовлетворяющей неравенству (т.е. находящейся дальше от точки , чем ).

Доказательство дословно повторяет доказательство раздела 18.2.4.2. Теорема Абеля для ряда с действительными членами.

Из теоремы Абеля следует существование такого неотрицательного действительного числа R , что ряд абсолютно сходится в любой внутренней точке круга радиуса R с центром в точке , и расходится в любой точке вне этого круга. Число R называется радиусом сходимости , круг - кругом сходимости . В точках границы этого круга - окружности радиуса R с центром в точке - ряд может и сходиться, и расходиться. В этих точках ряд из модулей имеет вид . Возможны такие случаи:

1. Ряд сходится. В этом случае в любой точке окружности ряд сходится абсолютно.

2. Ряд расходится, но его общий член . В этом случае в некоторых точках окружности ряд может сходиться условно, в других - расходиться, т.е. каждая точка требует индивидуального исследования.

3. Ряд расходится, и его общий член не стремится к нулю при . В этом случае ряд расходится в любой точке граничной окружности.

Транскрипт

1 Федеральное агентство по образованию Томский государственный архитектурно-строительный университет РЯДЫ С КОМПЛЕКСНЫМИ ЧЛЕНАМИ Методические указания для самостоятельной работы Составители ЛИ Лесняк, ВА Старенченко Томск

2 Ряды с комплексными членами: методические указания / Сост ЛИ Лесняк, ВА Старенченко - Томск: Изд-во Том гос архит-строит ун-та, с Рецензент профессор НН Белов Редактор ЕЮ Глотова Методические указания предназначены для самостоятельного изучения студентами -го курса всех специальностей темы «Ряды с комплексными членами» дисциплины ЕНФ «Математика» Печатаются по решению методического семинара кафедры высшей математики, протокол 4 от марта г Утверждены и введены в действие проректором по учебной работе ВВ Дзюбо с 5 до 55 Оригинал-макет подготовлен автором Подписано в печать Формат 6 84/6 Бумага офсет Гарнитура Таймс Уч-изд л,6 Тираж 4 Заказ Изд-во ТГАСУ, 64, г Томск, пл Соляная, Отпечатано с оригинал-макета в ООП ТГАСУ 64, г Томск, ул Партизанская, 5

3 РЯДЫ С КОМПЛЕКСНЫМИ ЧЛЕНАМИ ТЕМА Числовые ряды с комплексными членами Напомним, что комплексными числами называют числа вида z = x y, где х и у действительные числа, а мнимая единица, определяемая равенством = - Числа х и у называют соответственно действительной и мнимой частями числа z и обозначают х = Rez, y = Imz Очевидно, между точками М(х, у) плоскости ХОУ с декартовой ортогональной системой координат и комплексными числами вида z = x y существует взаимно однозначное соответствие Плоскость ХОУ называют комплексной плоскостью, а z называют точкой этой плоскости Действительным числам соответствует ось абсцисс, называемая действительной осью, а числам вида z = y соответствует ось ординат, которая называется мнимой осью Если полярные координаты точки М(х,у) обозначить через r и j, тогда х = r cosj, y = r s j и число z запишется в виде: z = r (cosj sj), где r = x y Такая форма записи комплексного числа называется тригонометрической, запись z в виде z = x y называют алгебраической формой записи Число r называется модулем числа z, число j аргументом (на точку z = понятие аргумента не распространяется) Модуль числа z однозначно определяется формулой z = x y Аргумент j однозначно определяется только при дополнительном условии - π < j π (или j < π), обозначается в этом случае arq z и называется главным значением аргумента

4 числа z (рис) Значение этом следует помнить, что y arq z - π выражается через < arctg y x < π y arctg, при x r = z = x y М (x, y) j = arq z Рис x Если считать, что - π < arg z π, то y arg z = arctg, если х >, y ; x у arg z = -arctg, если х >, y < ; х у arg z = -π arctg, если х <, y < ; х у arg z = π - arctg, если х <, y ; х π arg z =, если х =, y > ; π arg z = -, если х =, y < Например, если z = - (х <, y >), 4

5 π arg z = π - arctg = π - = π ; z = = (рис) М y r = j = p x Рис В тригонометрической форме число z = - запишется в виде: - = сos π s π è Операции над комплексными числами рекомендуется повторить самостоятельно Напомним только формулу возведения числа z в степень: z = (x y) = r (cosj s j) 5

6 6 Ключевые вопросы теории Краткие ответы Определение ряда с комплексными членами Понятие сходимости ряда Необходимое условие сходимости Определение Пусть задана последовательность z } = { x y } = z, z, z, комплексных чисел Символ вида { å = z называется рядом, z общий член ряда Понятия частичных сумм S ряда, его сходимости и расходимости полностью соответствуют аналогичным понятиям для рядов с действительными членами Последовательность частичных сумм ряда имеет вид: S = z ; S = z z ; S = z z z ; Если $lm S и этот предел конечен и равен числу S, ряд называют сходящимся, и число S называют суммой ряда, в противном случае ряд называют расходящимся Напомним, что определение предела последовательности комплексных чисел, которым мы воспользовались, формально ничем не отличается от определения предела последовательности действительных чисел: def (lm S = S) = (" ε > $ N > : > N Þ S - S < ε) Как и в случае рядов с действительными членами, необходимым условием сходимости ряда å = z является стремление к

7 нулю общего члена z ряда при Это означает, что если это условие нарушено, т е если lm z ¹, ряд расходится, если же lm z =, вопрос о сходимости ряда остается открытым Можно ли исследовать ряд å (х = на сходимость путем исследования х и å = на сходимость рядов å = с действительными членами? y у) Да, можно Имеет место следующая теорема: Теорема Для того, чтобы ряд å = y (х) сходился, необходимо и достаточно, чтобы сходились оба ряда å = å = у, при этом если å х = S = где å S = (х y) = å = х и, а y = S, тогда S = S S, сходит- Пример Убедиться, что ряд å = è () ся, и найти его сумму 7

8 Решение Ряд å сходится, т к ~ = () () при Сумма S этого ряда равна (Гл, тема, п) Ряд å сходится как бесконечно убывающая геометрическая = прогрессия, при этом å = () è S b = - q = сходится, и его сумма Таким образом, ряд S = Пример Ряд å расходится, т к расходится = è! гармонический ряд å В этом случае исследовать на сходи- = мость ряд å =! не имеет смысла Пример Ряд å π tg расходится, т к для = è ряда å π tg нарушено необходимое условие сходимости = π lm tg = p ¹ è 8

9 Какими свойствами обладают сходящиеся ряды с комплексными членами? Свойства те же, что и у сходящихся рядов с действительными членами Свойства рекомендуется повторить 4 Имеется ли для ряда с комплексными членами понятие его абсолютной сходимости? Теорема (достаточное условие сходимости ряда) Если ряд å = z сходится, тогда будет сходиться и ряд å = z Понятие абсолютной сходимости ряда å = z формально выглядит точно так же, как для рядов с действительными членами Определение Ряд å = z называется абсолютно сходящимся, если сходится ряд å = z Пример Доказать абсолютную сходимость ряда () () () 4 8 Решение Воспользуемся тригонометрической формой записи числа: 9

10 π π = r (cosj s j) = cos s è 4 4 Тогда π π () = () cos s Þ è 4 4 () π π Þ = cos s Þ z = 4 4 è Осталось исследовать на сходимость ряд å z = = Это бесконечно убывающая геометрическая прогрессия со знаменателем; такая прогрессия сходится, и, следовательно, ряд сходится абсолютно При доказательстве абсолютной сходимости часто используется теорема Теорема Чтобы ряд å = y (х) сходился абсолютно, необходимо и достаточно, чтобы оба ряда å = лись абсолютно Пример Ряд å = (-) è cosπ! х и å = y сходи- сходится абсолютно, т к сходится абсолютно å (-), а абсолютная сходимость = ряда å cosπ легко доказывается: =!

11 cosπ, а ряд å!! =! сходится по признаку Даламбера По признаку сравнения ряд å cosπ сходится Þ ряд å =! сходится абсолютно cosπ =! Решение задач Исследовать на сходимость ряды 4: å ; å (-) = è l l = è! l å = π - cos èè α tg π ; 4 å = è è ;! Решение å = è l l Ряд расходится, т к расходится ряд å, что легко устанавливается по признаку сравнения: >, а гармониче- = l l ский ряд å, как известно, расходится Заметим, что при = этом ряд å на основании интегрального признака Коши = l сходится å (-) = è! l

12 Ряд сходится, т к å =! сходится на основании предельного признака Даламбера, а ряд å (-) сходится по теореме = l Лейбница å α π - π cos tg = èè Очевидно, поведение ряда будет зависеть от показателя степени α Запишем ряд с использованием формулы β - сosβ = s: å α π π s tg = èè При α < ряд будет расходиться, т к α π lm s ¹ Þ ряд å π s расходится, а это будет означать, что расходится и данный è = è ряд α π α π cost При α > s ~ = Ряд α å è è 4 = будет сходиться при условии, что α >, т е при α > и рас- ходиться при α или при будет сходиться, т к при π π tg ~ α Ряд å = α α π tg α

13 Таким образом, исходный ряд будет сходиться при и расходиться при α 4 å = è è! α > Ряд å исследуем на сходимость с помощью = è предельного признака Коши: lm = lm = > Þ è ряд расходится Þ e è Þ будет расходиться и исходный ряд 5 ряд Ряды 5 6 исследовать на абсолютную сходимость π cos ; 6 å (8) (-)! =! å = Решение 5 å = π cos ()! å = - π cos сходится абсолютно, т к (-)! сходится по признаку сравнения: π cos, при этом ряд å (-)! (-)! = (-)! сходится по признаку Даламбера

14 4 6 å =!) 8 (К ряду!) 8 (å = применим признак Даламбера:!) 8 (:)! () 8 (lm = 8 8 lm = 8 lm = = Þ < = lm ряд сходится Это означает, что данный ряд сходится абсолютно Банк задач для самостоятельной работы Ряды 6 исследовать на сходимость å = è ; å = è π s! 5 ; å = è π s! 5 ; 4 å = è è - l) (; 5 å = - è π tg e ; 6 å = è l Ответы:, 6 расходятся;, 4, 5 сходятся

15 5 Ряды 7 исследовать на абсолютную сходимость 7 å = è - π s) (; 8! å = è ; 9 å = è - 5 π s) (; å = è -! 5) (Ответы: 7, 8 сходятся абсолютно, 9 расходится, сходится не абсолютно

16 ТЕМА Степенные ряды с комплексными членами При изучении раздела «Функциональные ряды» были подробно рассмотрены ряды, слагаемыми которых являлись члены некоторой последовательности функций действительного переменного Наибольшую привлекательность (особенно в смысле приложений) имели степенные ряды, т е ряды вида å = a (x-x) Было доказано (теорема Абеля), что всякий степенной ряд имеет интервал сходимости (х - R, x R), внутри которого сумма S (x) ряда непрерывна и что степенной ряд внутри интервала сходимости можно почленно дифференцировать и почленно интегрировать Эти замечательные свойства степенных рядов открыли широчайшие возможности для их многочисленных приложений В данной теме будут рассмотрены степенные ряды не с действительными, а с комплексными членами 6 Ключевые вопросы теории Краткие ответы Определение степенного ряда Степенным рядом называется функциональный ряд вида å = a (z - z), () где а и z заданные комплексные числа, а z комплексное переменное В частном случае, когда z =, степенной ряд имеет вид å = a z ()

17 Очевидно, ряд () сводится к ряду () введением новой переменной W = z - z, поэтому мы, в основном, будем иметь дело с рядами вида () Теорема Абеля Если степенной ряд () сходится при z = z ¹, то он сходится и притом абсолютно при любом z, для которого z < z Заметим, что и формулировка, и доказательство теоремы Абеля для рассмотренных ранее степенных рядов å aх ничем = не отличается от приведенной теоремы, но геометрическая иллюстрация теоремы Абеля разная Ряд å = условия х a х при выполнении х < будет сходиться на интервале - х, х) (рис), y (а для ряда с комплексными членами условие z z < означает, что ряд будет сходиться внутри круга радиуса z (рис 4) x x x - x z z x Рис Рис 4 7

18 У теоремы Абеля есть следствие, которое утверждает, что если ряд å = a z расходится при * z = z, то он будет расходиться и при всяком z, для которого * z > z Имеется ли для степенных рядов () и () понятие радиуса сходимости? Да, имеется Радиус сходимости R число, которое обладает тем свойством, что при всех z, для которых z < R, ряд () сходится, а при всех z, для которых z > R, ряд () расходится 4 Что является областью сходимости ряда ()? Если R радиус сходимости ряда (), то множество точек z, для которых z < R принадлежит кругу радиуса R, этот круг называют кругом сходимости ряда () Координаты точек М (х, у), соответствующих числам z = x y, попавшим в круг сходимости, будут удовлетворять неравенству x < y R Очевидно, круг сходимости ряда å a (z - z) имеет центр = уже не в начале координат, а в точке М (х, у), соответствующей числу z Координаты точек М (х, у), попавших в круг сходимости, будут удовлетворять неравенству (x - х) (y - у < R) 8

19 5 Можно ли находить радиус сходимости a по формулам R = lm и R = lm, a a которые имели место для степенных рядов с действительными членами? Можно, если эти пределы существуют Если окажется, что R =, это будет означать, что ряд () сходится только в точке z = или z = z для ряда () При R = ряд будет сходиться на всей комплексной плоскости Пример Найти радиус сходимости ряда å z = a Решение R = lm = lm = a Таким образом, ряд сходится внутри круга радиуса Пример интересен тем, что на границе круга x y < есть точки, в которых ряд сходится, и есть точки, в которых расходится Например, при z = будем иметь гармонический ряд å, который расходится, а при = z = - будем иметь ряд å (-), который сходится по теореме = Лейбница Пример Найти область сходимости ряда å z =! Решение! R = lm = lm () = Þ ряд сходится ()! на всей комплексной плоскости 9

20 Напомним, что степенные ряды å = a х внутри своего интервала сходимости сходятся не только абсолютно, но и равномерно Аналогичное утверждение имеет место и для рядов å = a z: если степенной ряд сходится и радиус его сходимости равен R, то этот ряд в любом замкнутом круге z r при условии, что r < R, будет сходиться абсолютно и равномерно Сумма S (z) степенного ряда с комплексными членами внутри круга сходимости обладает теми же свойствами, что и сумма S (x) степенного ряда å a х внутри интервала сходимости Свойства, о которых идет речь, рекомендуется = повторить 6 Ряд Тейлора функции комплексного переменного При изучении вопроса о разложении в степенной ряд функции f (x) действительного переменного было доказано, что если функция f (x) на интервале сходимости степенного ряда å a х представима в виде å f (x) = a х, то этот степенной ряд является ее рядом Тейлора, т е коэффициенты вычис- = = () f () ляются по формуле a =! Аналогичное утверждение имеет место и для функции f (z): если f (z) представима в виде f (z) = a a z a z

21 в круге радиуса R > сходимости ряда, то этим рядом является ряд Тейлора функции f (z), т е f () f () f å = () (z) = f () z z = z!!! Коэффициенты ряда å = () f (z) a =! f () a (z - z) вычисляются по формуле Напомним, что определение производной f (z) формально дается точно так же, как и для функции f (x) действительного переменного, т е f (z) = lm def f (z D z) - f (z) D z Dz Правила дифференцирования функции f (z) те же самые, что и правила дифференцирования функции действительного переменного 7 В каком случае функция f (z) называется аналитической в точке z? Понятие аналитической в точке z функции дается по аналогии с понятием действительной аналитической в точке х функции f (х) Определение Функция f (z) называется аналитической в точке z, если существует R > такое, что в круге z z < R эта функция представима степенным рядом, т е å = f (z) = a (z - z), z - z < R -

22 Еще раз подчеркнем, что представление аналитической в точке z функции f (z) в виде степенного ряда единственно, и этим рядом является ее ряд Тейлора, т е коэффициенты ряда вычисляются по формуле () f (z) a =! 8 Основные элементарные функции комплексного переменного В теории степенных рядов функций действительного переменного было получено разложение в ряд функции е х: = å х х е, xî(-,) =! При решении примера пункта 5 мы убедились, что ряд å z сходится на всей комплексной плоскости В частном случае при z = x его сумма равна е х Этот факт лежит в основе сле- =! дующей идеи: при комплексных значениях z функцию е z по определению считать суммой ряда å z Таким образом, =! z е () def å z = =! Определение функций ch z и sh z x - x Так как ch = = å k e e х x, х Î (-,) k = (k)! x - x e - e sh = = å x k = k х, (k)! х Î (-,),

23 а функция е z определена теперь для всех комплексных z, то естественно на всей комплексной плоскости принять ch z =, def z - z e e def z - z e - e sh z = Таким образом: z -z k e - e z sh z = = гиперболический синус; (k)! å k = z - z å k e e z ch z = = гиперболический косинус; k = (k)! shz th z = гиперболический тангенс; chz chz cth z = гиперболический котангенс shz Определение функций s z и cos z Воспользуемся полученными ранее разложениями: å k k (-) s x х = k = (k)!, å k k (-) х cos x =, k = (k)! ряды сходятся на всей числовой оси При замене в этих рядах х на z мы получим степенные ряды с комплексными членами, которые, как легко показать, сходятся на всей комплексной плоскости Это позволяет определить для любого комплексного z функции s z и cos z: å k k (-) s z z = k = (k)! ; å k k (-) z cos z = (5) k = (k)!

24 9 Связь между показательной функцией и тригонометрическими функциями в комплексной плоскости Заменяя в ряде å z z е = =! z на z, а потом на z, получим: =å z z е, å -z (-) z е = =! =! Так как e ()) e k k = (-, будем иметь: z -z = å k = k (-) z (k)! k = cos z z - z k k e - e (-) z = å = s z k= (k)! Таким образом: z -z z -z e e e - e сos z = ; s z = (6) Из полученных формул следует еще одна замечательная формула: z сos z s z = e (7) Формулы (6) и (7) называются формулами Эйлера Заметим, что эти формулы справедливы и для действительных z В частном случае при z = j, где j действительное число, формула (7) примет вид: j сos j sj = e (8) Тогда комплексное число z = r (cos j s j) запишется в виде: j z = re (9) Формулу (9) называют показательной формой записи комплексного числа z 4

25 Формулы, связывающие тригонометрические и гиперболические функции Легко доказываются следующие формулы: s z = sh z, sh z = s z, cos z = ch z, ch z = cos z Докажем первую и четвертую формулы (вторую и третью рекомендуется доказать самостоятельно) Воспользуемся формулами (6) Эйлера: - z z z - z s e - e e - e z = = = sh z ; z -z e e ch z = = cos z С помощью формул sh z = s z и ch z = cos z легко доказывается, на первый взгляд, удивительное свойство функций s z и cos z В отличие от функций у = s х и у = сos х, функции s z и cos z не ограничены по абсолютной величине В самом деле, если в указанных формулах, в частности, z = y, тогда s y = sh y, cos y = ch y Это означает, что на мнимой оси s z и cos z не ограничены по абсолютной величине Интересно, что для s z и cos z имеют место все формулы, аналогичные формулам для тригонометрических функций s х и cos х Приведенные формулы довольно часто используются при исследовании рядов на сходимость Пример Доказать абсолютную сходимость ряда å s = Решение Исследуем на сходимость ряд å s = Как было замечено, функция s z ограниченной на мнимой оси не яв- 5

26 ляется, поэтому признаком сравнения пользоваться нельзя Воспользуемся формулой s = sh Тогда å = å s sh = = Ряд å sh = исследуем по признаку Даламбера: - () - - sh () e - e e (e- e) e lm = lm = lm = < - - sh e - e e (- e) Таким образом, ряд å s = сходится Þ данный ряд сходится абсолютно Решение задач Число z = представить в тригонометрической и комплексной формах y π Решение r = =, tg j = = Þ j =, x 6 π 6 π π = cos s = e è 6 6 Найти область сходимости ряда å (8 -) (z) = Решение Составим ряд из абсолютных величин заданного ряда и найдем его радиус сходимости: a 8 - () () R = lm = lm = lm a =, 6

27 () так как lm =, из модулей сходится при условии 8 - = 8 = Таким образом, ряд z < Данный ряд при этом же условии сходится, т е внутри круга радиуса с центром в точке при z > точках окружности z = -, будет сходиться, а вне этого круга, т е, ряд расходится Исследуем поведение ряда в z =, уравнение которой в декартовой системе координат имеет вид x (y) = При z = 9 ряд из абсолютных величин будет иметь вид: å 8 - = å = = что данный ряд в замкнутом круге Полученный ряд сходится, это означает, z сходится абсолютно Доказать, что функция å z z е = периодична с периодом π (это свойство функции е z её существенно отличает =! от функции е х) Доказательство Воспользуемся определением периодической функции и формулой (6) Требуется убедиться, что z z е π = e, где z = x y Покажем, что это так: z π x y π x (y π) x (y е = e = e = e e x = e (cos(y π) s (y π)) = e Итак, е z периодическая функция!) x π = (cos y s y) = e x y = e z 7

28 4 Получить формулу, которая связывает числа е, и π Решение Воспользуемся показательной формой записи j комплексного числа: z = re Для z = - будем иметь r =, j = π и, таким образом, π e = - () Удивительная формула и это при том, что появление в математике каждого из чисел π, е и не имеет ничего общего с появлением двух других! Формула () интересна еще и тем, что, оказывается, показательная функция е z, в отличие от функции е х, может принимать отрицательные значения e x 5 Найти сумму ряда å сos x =! Решение Преобразуем ряд x x сos x s x e (e) å = å = å!! x (e) cos x = = s x e e = = =! cos x s x cos x = e e = e (cos(s x) s (s x)) Þ å = = cosx =! cos = e x cos(s x) При решении дважды воспользовались формулой = cos x s x и разложением в ряд функции (e x) e 6 Разложить в степенной ряд функцию f (x) = e x cos x, используя разложение в ряд функции x() x x x x е = e e = e cos x e s x Решение x() x () x е = å = å!! = = π cos s è 4 π = 4 8

29 = å x π π () cos s =! è 4 4 Т к å x x() x x π e cos x = Rеe Þ e cos x = () cos =! 4 Полученный ряд сходится на всей числовой оси, т к x π (x) () cos, а ряд å (x)! 4! =! x < (докажите по признаку Даламбера) сходится при Банк задач для самостоятельной работы Представить в тригонометрической и показательной формах числа z =, z = -, z = -, z = 4 Построить в декартовой системе координат точки, соответствующие заданным числам Записать в алгебраической и тригонометрической формах числа e π и Используя формулу z = r (cosj s j), вычислить () и (e π) 4 Исследовать на сходимость ряд å e = Ответ Ряд сходится абсолютно 5 Исследовать ряд å z на сходимость в точках = z = и z = 4 Ответ В точке z ряд сходится абсолютно, в точке z ряд расходится 9

30 6 Найти радиус R и круг сходимости рядов 4 Исследовать поведение ряда в граничных точках круга сходимости (в точках, лежащих на окружности) å!(z -) ; å (z) ; = = å () z = () ; 4 å z = 9 Ответы:) R =, ряд сходится в точке z = - ;) R =, ряд сходится абсолютно в замкнутом круге z с центром в точке z = - или при условии x (y) ;) R =, ряд сходится абсолютно в замкнутом круге z или при условии x y ; 4) R =, ряд сходится абсолютно в замкнутом круге z или при условии x y 9 7 Разложить в степенной ряд функцию f (x) = e x s x, () x используя разложение в ряд функции e 8 Убедиться, что при любом комплексном z будут иметь место формулы: s z = s z cos z, s z cos z =, s (z π) = s z (воспользуйтесь формулами Эйлера)

31 СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ Основная литература Пискунов, НС Дифференциальное и интегральное исчисление для втузов / НС Пискунов Т М: Наука, 8 С 86 9 Фихтенгольц, Г М Основы математического анализа / ГМ Фихтенгольц Т - СПб: Лань, 9 48 с Воробьев, НН Теория рядов / НН Воробьев - СПб: Лань, 8 48 с 4 Письменный, ДТ Конспект лекций по высшей математике Ч / ДТ Письменный М: Айрис-пресс, 8 5 Высшая математика в упражнениях и задачах Ч / ПЕ Данко, АГ Попов, ТЯ Кожевникова [и др] М: ОНИКС, 8 С Дополнительная литература Кудрявцев, ЛД Курс математического анализа / ЛД Кудрявцев Т М: Высшая школа, 98 С Хабибуллин, МВ Комплексные числа: методические указания / МВ Хабибуллин Томск, ТГАСУ, 9 6 с Молдованова, ЕА Ряды и комплексный анализ: учебное пособие / ЕА Молдованова, АН Харламова, ВА Килин Томск: ТПУ, 9


Федеральное агентство по образованию Томский государственный архитектурно-строительный университет РЯДЫ ФУРЬЕ ИНТЕГРАЛ ФУРЬЕ КАК ПРЕДЕЛЬНЫЙ СЛУЧАЙ РЯДА ФУРЬЕ Методические указания для самостоятельной работы

РЯДЫ Хабаровск 4 4 ЧИСЛОВЫЕ РЯДЫ Числовым рядом называется выражение, где, числа, которые образуют бесконечную числовую последовательность, общий член ряда, где N (N множество натуральных чисел) Пример

Федеральное агентство по образованию Архангельский государственный технический университет строительный факультет РЯДЫ Методические указания к выполнению задания для самостоятельной работы Архангельск

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ГРАЖДАНСКОЙ АВИАЦИИ В.М. Любимов, Е.А. Жукова, В.А. Ухова, Ю.А. Шуринов М А Т Е М А Т И К А Р Я Д Ы ПОСОБИЕ по изучению дисциплины и контрольные задания

5 Степенные ряды 5 Степенные ряды: определение, область сходимости Функциональный ряд вида (a + a) + a () + K + a () + K a) (, (5) где, a, a, K, a,k некоторые числа, называют степенным рядом Числа

Федеральное агентство по образованию МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ГЕОДЕЗИИ И КАРТОГРАФИИ (МИИГАиК О. В. Исакова Л. А. Сайкова М.Д. Улымжиев УЧЕБНОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ПО САМОСТОЯТЕЛЬНОМУ ИЗУЧЕНИЮ

Тема Комплексные числовые ряды Рассмотрим числовой ряд k ak с комплексными числами вида Ряд называется сходящимся, если сходится последовательность S его частичных сумм S a k k. При этом предел S последовательности

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКИОЙ ФЕДЕРАЦИИ ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО Методическое пособие Составители: МДУлымжиев ЛИИнхеева ИБЮмов СЖЮмова Рецензия На методическое пособие по теории функций

8 Комплексные числовые ряды Рассмотрим числовой ряд с комплексными числами вида k a, (46) где (a k) - заданная числовая последовательность с комплексными членами k Ряд (46) называется сходящимся, если

Лекции подготовлены доц Мусиной МВ Определение Выражение вида Числовые и функциональные ряды Числовые ряды: основные понятия (), где называется числовым рядом (или просто рядом) Числа, члены ряда (зависят

Металлургический факультет Кафедра высшей математики РЯДЫ Методические указания Новокузнецк 5 Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Новгородский государственный университет имени

Федеральное агентство по образованию Федеральное государственное образовательное учреждение высшего профессионального образования ЮЖНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ Р. М. Гаврилова, Г. С. Костецкая Методические

Числовые ряды Числовая последовательность Опр Числовой последовательностью называют числовую ф-цию, определенную на множестве натуральных чисел х - общий член последовательности х =, х =, х =, х =,

Федеральное агентство по образованию Московский Государственный университет геодезии и картографии (МИИГАиК) МЕТОДИЧЕСКИЕ УКАЗАНИЯ И ЗАДАНИЯ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ по курсу ВЫСШАЯ МАТЕМАТИКА Числовые

МЕТОДИЧЕСКИЕ УКАЗАНИЯ К РАСЧЕТНЫМ ЗАДАНИЯМ ПО КУРСУ ВЫСШЕЙ МАТЕМАТИКИ «ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ РЯДЫ ДВОЙНЫЕ ИНТЕГРАЛЫ» ЧАСТЬ Ш ТЕМА РЯДЫ Оглавление Ряды Числовые ряды Сходимость и расходимость

Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования Новгородский государственный университет имени Ярослава Мудрого Институт электронных

Министерство образования Республики Беларусь УО «Витебский государственный технологический университет» Тема. «Ряды» Кафедра теоретической и прикладной математики. разработана доц. Е.Б. Дуниной. Основные

МИНИСТЕРСТВО ТРАНСПОРТА РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ УЛЬЯНОВСКОЕ ВЫСШЕЕ АВИАЦИОННОЕ УЧИЛИЩЕ ГРАЖДАНСКОЙ АВИАЦИИ ИНСТИТУТ

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Томский государственный архитектурно-строительный

Сгупс кафедра высшей математики Методические указания к выполнению типового расчета «Ряды» Новосибирск 006 Некоторые теоретические сведения Числовые ряды Пусть u ; u ; u ; ; u ; есть бесконечная числовая

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ АРХИТЕКТУРНО- СТРОИТЕЛЬНЫЙ УНИВЕРСИТЕТ Кафедра высшей математики ЧИСЛОВЫЕ И ФУНКЦИОНАЛЬНЫЕ РЯДЫ Методические указания для

ЛЕКЦИЯ N 7. Степенные ряды и ряды Тейлора..Степенные ряды..... Ряд Тейлора.... 4.Разложение некоторых элементарных функций в ряды Тейлора и Маклорена.... 5 4.Применение степенных рядов.... 7.Степенные

Модуль Тема Функциональные последовательности и ряды Свойства равномерной сходимости последовательностей и рядов Степенные ряды Лекция Определения функциональных последовательностей и рядов Равномерно

БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Э К О Н О М И Ч Е С К И Й Ф А К У Л Ь Т Е Т КАФЕДРА ЭКОНОМИЧЕСКОЙ ИНФОРМАТИКИ И МАТЕМАТИЧЕСКОЙ ЭКОНОМИКИ Ряды Конспект лекций и практикум для студентов экономических

Министерство образования Российской Федерации Ульяновский государственный технический университет ЧИСЛОВЫЕ И ФУНКЦИОНАЛЬНЫЕ РЯДЫ РЯДЫ ФУРЬЕ Ульяновск УДК 57(76) ББК 9 я 7 Ч-67 Рецензент кандфиз-матнаук

3724 РЯДЫ КРАТНЫЕ И КРИВОЛИНЕЙНЫЕ ИНТЕГРАЛЫ 1 РАБОЧАЯ ПРОГРАММА РАЗДЕЛОВ «РЯДЫ КРАТНЫЕ И КРИВОЛИНЕЙНЫЕ ИНТЕГРАЛЫ» 11 Числовые ряды Понятие числового ряда Свойства числовых рядов Необходимый признак сходимости

Глава Ряды Формальная запись суммы членов некоторой числовой последовательности Числовые ряды называется числовым рядом Суммы S, называются частичными суммами ряда Если существует предел lim S, S то ряд

Лекция. Функциональные ряды. Определение функционального ряда Ряд, членами которого являются функции от x, называется функциональным: u = u (x) + u + K+ u + K = Придавая x определенное значение x, мы

В.В. Жук, А.М. Камачкин 1 Степенные ряды. Радиус сходимости и интервал сходимости. Характер сходимости. Интегрирование и дифференцирование. 1.1 Радиус сходимости и интервал сходимости. Функциональный ряд

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Сибирский государственный индустриальный университет»

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Сибирский государственный индустриальный университет»

Математический анализ Раздел: Числовые и функциональные ряды Тема: Степенные ряды. Разложение функции в степенной ряд Лектор Рожкова С.В. 3 г. 34. Степенные ряды Степенным рядом рядом по степеням называется

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «САМАРСКИЙ ГОСУДАРСТВЕННЫЙ АЭРОКОСМИЧЕСКИЙ УНИВЕРСИТЕТ

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Национальный исследовательский Нижегородский государственный университет им НИ Лобачевского НП Семерикова АА Дубков АА Харчева РЯДЫ АНАЛИТИЧЕСКИХ ФУНКЦИЙ

«Ряды» Тесты для самопроверки Необходимый признак сходимости ряда Теорема необходимый признак сходимости Если ряд сходится то lim + Следствие достаточное условие расходимости ряда Если lim то ряд расходится

Министерство образования и науки РФ Ачинский филиал федерального государственного автономного образовательного учреждения высшего профессионального образования «Сибирский федеральный университет» МАТЕМАТИКА

{функциональные ряды степенные ряды область сходимости порядок нахождения интервала сходимости - пример радиус интервала сходимости примеры } Пусть задана бесконечная последовательность функций, Функциональные

Ряды Числовые ряды Общие понятия Опр Если каждому натуральному числу ставится в соответствие по определенному закону некоторое число, то множество занумерованных чисел, называется числовой последовательностью,

Министерство образования Российской Федерации МАТИ - РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ им К Э ЦИОЛКОВСКОГО Кафедра Высшая математика РЯДЫ Методические указания к курсовой работе Составитель:

Лекция 3 Ряды Тейлора и Маклорена Применение степенных рядов Разложение функций в степенные ряды Ряды Тейлора и Маклорена Для приложений важно уметь данную функцию разлагать в степенной ряд, те функцию

ГОСУДАРСТВЕННОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «БЕЛОРУССКО-РОССИЙСКИЙ УНИВЕРСИТЕТ» Кафедра «Высшая математика» ВЫСШАЯ МАТЕМАТИКА МАТЕМАТИКА МАТЕМАТИЧЕСКИЙ АНАЛИЗ РЯДЫ Методические рекомендации

Числовые и степенные ряды Занятие. Числовые ряды. Сумма ряда. Признаки сходимости.. Вычислить сумму ряда. 6 Решение. Сумма членов бесконечной геометрической прогрессии q равна, где q - знаменатель прогрессии.

Министерство образования республики Беларусь Учреждение образования «Могилевский государственный университет продовольствия» Кафедра высшей математики ВЫСШАЯ МАТЕМАТИКА Методические указания для практически

Лекция 6 Разложение функции в степенной ряд Единственность разложения Ряды Тейлора и Маклорена Разложение в степенной ряд некоторых элементарных функций Применение степенных рядов В предыдущих лекциях

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Томский государственный архитектурно-строительный

4 Функциональные ряды 4 Основные определения Пусть задана бесконечная последовательность функций с общей областью определения X u), u (), K, u (),K (ОПРЕДЕЛЕНИЕ Выражение u) + u () + K + u () +

ЭЛЕМЕНТЫ ТЕОРИИ ФУНКЦИЙ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ В результате изучения данной темы студент должен научиться: находить тригонометрическую и показательную формы комплексного числа по

Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования «Уральский государственный педагогический университет» Математический факультет Кафедра

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Кафедра математической статистики ЧИСЛОВЫЕ РЯДЫ Учебно-методическое пособие КАЗАНЬ 008 Печатается по решению секции Научно-методического совета Казанского университета

Функциональные ряды Функциональный ряд его сумма и область функциональног о Пусть в области Δ вещественных или комплексных чисел дана последовательность функций k (k 1 Функциональным рядом называется

Федеральное агентство по образованию МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ГЕОДЕЗИИ И КАРТОГРАФИИ (МИИГАиК) О. В. Исакова Л. А. Сайкова УЧЕБНОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ПО САМОСТОЯТЕЛЬНОМУ ИЗУЧЕНИЮ РАЗДЕЛА

Гл Степенные ряды a a a Ряд вида a a a a a () называется степенным, где, a, постоянные, называемые коэффициентами ряда Иногда рассматривают степенной ряд более общего вида: a a(a) a(a) a(a) (), где

ЛЕКЦИЯ N34. Числовые ряды с комплексными членами. Степенные ряды в комплексной области. Аналитические функции. Обратные функции..числовые ряды с комплексными членами.....степенные ряды в комплексной области....

Вариант Задача Вычислить значение функции ответ дать в алгебраической форме: а sh ; б l Решение а Воспользуемся формулой связи между тригонометрическим синусом и гиперболическим синусом: ; sh -s Получим

Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования Ухтинский государственный технический университет КОМПЛЕКСНЫЕ ЧИСЛА Методические указания

МИНОБРНАУКИ РОССИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «САМАРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ» К а ф е д р а прикладной математики

Функциональные ряды Лекции 7-8 1 Область сходимости 1 Ряд вида u () u () u () u (), 1 2 u () где функции определены на некотором промежутке, называется функциональным рядом. Множество всех точек,

Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования Ухтинский государственный технический университет (УГТУ) ПРЕДЕЛ ФУНКЦИИ Методические

ЛЕКЦИЯ Эквивалентные бесконечно малые Первый и второй замечательные пределы Сравнение бесконечно больших и бесконечно малых функций Функция f () называется бесконечно малой в точке a (при a), если (

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Томский государственный архитектурно-строительный

Лекция Числовые ряды Признаки сходимости Числовые ряды Признаки сходимости Бесконечное выражение числовой последовательности + + + +, составленное из членов бесконечной, называется числовым рядом Числа,

ЕВ Небогина, ОС Афанасьева РЯДЫ ПРАКТИКУМ ПО ВЫСШЕЙ МАТЕМАТИКЕ Самара 9 ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «САМАРСКИЙ

Глава III ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ, ФУНКЦИИ КОМПЛЕКСНОГО ПЕРЕМЕННОГО, РЯДЫ Двойные интегралы ЛИТЕРАТУРА: , гл; , глii; , гл XII, 6 Для решения задач по этой теме необходимо,


Close