 
        
        Tom_2
.pdfПРЕДИСЛОВИЕ
Настоящая книга является вторым томом учебника «Математика для инженеров».В данном томе излагаются основы числовых и функциональных рядов; кратных и поверхностных интегралов; теории поля; основы функций комплексной переменной; уравнений математической физики и операционное исчисление; элементы теории вероятностей и математической статистики.
При изложении материала книги авторы руководствовались следующими принципами: высокий уровень строгости и одновременно простота и доступность изложения; хорошая теоретическая подготовка и выработка навыков по применению теоретических знаний; соблюдение той степени общности, которая позволит учесть запросы каждого из конкретных направлений программы подготовки инженеров-специалистов и, тем самым, на основе излагаемого материала построить курс «Математика» для студентов различных инженерных специальностей.
Книга состоит из глав и параграфов, где изложены математические понятия и теоремы. Сложные доказательства некоторых теорем, как и предусмотрено программой, в книге не приводятся. Делается акцент на разъяснение смысла формулировок, понятий, иллюстрацию их примерами. Изложение теоретического материала сопровождается примерами и задачами с их подробным решением, а также упражнениями, позволяющими глубже проанализировать данный теоретический материал. В конце каждой главы приведены задачи для самостоятельного решения. В конце книги помещен предметный указатель.
В связи с профессиональной направленностью курса математики почти во всех главах ученика рассмотрены задачи из области физики и техники. Это будет способствовать формированию у студентов уверенности в п р о ф е с с и о н а л ь н о й з н а ч и м о с т и и з у ч а е м о г о п р е д м е т а .
Второй том имеет ту же структуру, что и первый, и здесь использована та же система ссылок. Например, выражение «по формуле (2.3.1)» означает, что эта формула под номером один находится в третьем параграфе второй главы.
Авторы надеются, что предложенная схема построения учебника будет полезной и студентам с разными требованиями к объему математических знаний, и преподавателям, владеющим предметом, а сама книга будет содействовать повышению математической культуры читателя.
Авторы выражают искреннюю благодарность рецензенту доктору физико-математических наук, профессору Кротову В.Г., коллективу кафедры математических методов теории управления БГУ, и рецензенту доктору физико-математических наук, профессору Рябушко А.П. за полезные советы и ценные замечания, которые помогли значительно улучшить содержание рукописи книги.
4
 
ГЛАВА 1
ЧИСЛОВЫЕ РЯДЫ
§ 1. Числовой ряд и его сумма
| 10. | Понятие числового | ряда. Пусть | {a | } | – числовая | 
| последовательность, где an , | n . | n | 
 | 
 | |
| 
 | 
 | 
 | |||
| Выражение вида | ∞ | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | |
| 
 | a1 + a2 + a3 +K + an +K = åan | 
 | (1) | ||
| 
 | 
 | n=1 | 
 | 
 | 
 | 
| называется числовым рядом. Числа a1,a2 ,...,an ,... | называются членами | ||||
| ряда, а an | – n-ым или общим членом ряда (1). | 
 | 
 | 
 | |
Сумма первых n членов ряда (1) называется n-ой частичной суммой данного ряда и обозначается Sn :
n
Sn = a1 + a2 + a3 +K+ an = åak .
k=1
Имеем
S1 = a1, S2 = a1 + a2 , S3 = a1 + a2 + a3,K, Sn = a1 + a2 +K + an ,K.
Рассмотрим последовательность частичных сумм ряда (1)
S1, S2 ,K, Sn ,K.
Если последовательность частичных сумм {Sn} имеет конечный
предел S, то числовой ряд (1) называется сходящимся, а число S называется суммой ряда (1):
| 
 | ∞ | 
 | 
| S = lim Sn или S = åan . | 
 | |
| n→∞ | n=1 | 
 | 
| Если же предел последовательности {Sn } | не существует или | |
| бесконечен, то ряд (1) называется расходящимся. | { xn } , где xn R , | |
| Обратно, с каждой последовательностью | ||
| n N , можно связать ряд | 
 | 
 | 
x1 + (x2 − x1) + (x3 − x2 ) + ... + (xn − xn−1) + ...,
для которого частичными суммами будут последовательные значения x1, x2 ,..., xn ,...
5
 
и при этом сумма указанного ряда совпадает с пределом последовательности { xn } .
Иными словами, рассмотрение ряда и его суммы − своеобразный перевод на другой язык изучения последовательности и ее предела, имеющей, как будет показано позже, свои преимущества как при установлении самого существования предела, так и при его вычислении.
Пример 1. Исследовать на сходимость ряд
1+ q + q2 +K + qn +K, q Î .
Решение. Составим его n-ую частичную сумму
Sn =1+ q + q2 +K + qn−1 .
Известно, что сумма первых n членов геометрической
| прогрессии равна | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| Sn = | 1- qn | , | q ¹ 1, и lim Sn = lim | 1- qn | = | 1 | lim (1- qn ) . | ||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||
| 
 | 1- q | n→∞ | n→∞ | 1- q | 
 | 
 | 
 | 1- q n→∞ | 
 | ||||||||||||
| Если | 
 | q | 
 | <1, | то lim (1- qn ) =1 и | S = lim Sn | = | 
 | 
 | 1 | , т.е. | ||||||||||
| 
 | 
 | 
 | 
 | ||||||||||||||||||
| 
 | 
 | 1 | - q | ||||||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | n→∞ | 
 | 1 | 
 | 
 | n→∞ | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 1+ q + q2 +K + qn +K = | 
 | , | 
 | q | 
 | <1 . | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 1- q | 
 | 
 | 
 | 
 | |||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
Получили известную формулу суммы бесконечной убывающей геометрической прогрессии.
Если q >1 или q =1, то, очевидно, последовательность {Sn} является бесконечно большой последовательностью, если же q = −1, то предел {Sn} не существует. □
Выражение вида
| ∞ | 
 | 
| ai+1 + ai+2 +K = å ak | (2) | 
k=i+1
также представляет собой ряд. Он называется i-ым остатком ряда (1) и обозначается ri .
| 
 | Теорема 1. Числовой ряд и любой его остаток сходятся или | |
| расходятся одновременно. | 
 | |
| 
 | Доказательство. По определению, n-ая частичная сумма ряда | |
| ( | 1 | ) | 
| 
 | Sn = a1 + a2 +K + an , | 
 | 
аm-ая частичная сумма ряда (2)
σm = ai+1 + ai+2 +K + ai+m .
6
Следовательно, σm = Si+m − Si .
Так как i фиксировано, то предел {σm} существует тогда и
только тогда, когда существует lim Si+m , т.е. последовательность
m→∞
S1, S2 ,K, Sn ,K имеет предел. □
Из этой теоремы следует, что сходимость ряда не нарушается, если изменить конечное число его членов.
Заметим также, что, если ряд (1) сходится, то
| n | ∞ | 
 | 
| S = åak + | å ak или S = Sn + rn , | (3) | 
| k=1 | k=n+1 | 
 | 
где Sn – n -ая частичная сумма ряда (1), rn – его n-ый остаток.
| 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
| Теорема 2. | Если ряд | åan | сходится к | S , то сходится ряд | |||||||
| ∞ | 
 | 
 | 
 | 
 | ∞ | n=1 | 
 | 
 | 
 | 
 | ∞ | 
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| åk an , k = const | и | kS = åkan . Если же сходятся ряды | åan и | ||||||||
| n=1 | 
 | 
 | 
 | 
 | n=1 | 
 | 
 | 
 | 
 | n=1 | |
| ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| åbn , и их суммы равны S и σ, соответственно, то сходится ряд | |||||||||||
| n=1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| å(an ± bn ), | и его сумма равна S ± σ . | 
 | 
 | 
 | |||||||
| n=1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| Доказательство | второго | утверждения | теоремы | 2. | Пусть | ||||||
| n | 
 | 
 | 
 | 
 | n | 
 | 
 | ∞ | n | 
 | 
 | 
| Sn = åak | и | σn = åbk . | Тогда: | å(an ± bn ) = lim å(ak ± bk ) = | |||||||
| k=1 | 
 | 
 | 
 | k=1 | 
 | 
 | n=1 | n→∞ k=1 | 
 | ||
| n | 
 | 
 | n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| = lim åak ± lim åbk | = lim Sn ± lim σn = S ± σ . □ | 
 | 
 | ||||||||
| n→∞ k=1 | n→∞ k=1 | 
 | n→∞ | n→∞ | 
 | 
 | 
 | ||||
| Заметим, | что | утверждение, | обратное | доказанному, | вообще | ||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | ∞ | |
| говоря, неверно. | Например, | ряд | å(1−1) сходится, а | ряды å1 , | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 | 
 | 
 | n=1 | |
∞
å(−1) расходятся.
n=1
Упражнение 1. Доказать первое утверждение теоремы 2.
20. Необходимое условие сходимости числового ряда.
7
 
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
| Теорема 3. Если ряд åan | сходится, то | 
 | 
 | ||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | lim a = 0 . | 
 | 
 | 
 | (4) | ||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | n→∞ | n | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | сходится, тогда lim Sn = S . | |||
| Доказательство. | Пусть ряд | åan | |||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 | 
 | 
 | 
 | n→∞ | 
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| Очевидно, S | n | - S | n−1 | = a | n | и | lim a | n | = lim S | n | - lim S | n−1 | = S - S = 0 . □ | 
| 
 | 
 | 
 | 
 | n→∞ | n→∞ | n→∞ | 
 | ||||||
Итак, если ряд сходится, то его общий член стремится к нулю
при n → ∞ . Отсюда следует, что, если lim an ¹ 0 или не существует,
n→∞
| ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| то ряд åan расходится. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| n=1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| Однако, условие (4) не является достаточным, т.е., если оно | |||||||||||
| выполняется, то это не означает, что ряд сходится. | 
 | ||||||||||
| Пример 2. Исследовать на сходимость гармонический ряд | 
 | ||||||||||
| 
 | 1 | 
 | 1 | 
 | 
 | 1 | 
 | ∞ | 
 | ||
| 1+ | + | +L + | +L = å | 1 | . | (5) | |||||
| 
 | 
 | 
 | 
 | ||||||||
| 2 | 3 | 
 | n | n=1 n | 
 | ||||||
| Решение. Необходимое | условие | сходимости числовых | рядов | ||||||||
выполняется: lim 1 = 0 . Однако, этот ряд расходится. Действительно,
n→∞ n
| предположим противное. Пусть ряд (5) сходится и lim Sn = S . Тогда: | |||
| 
 | 
 | n→∞ | 
 | 
| lim (S2n - Sn ) = lim S2n - lim Sn = S - S = 0 . | (6) | ||
| n→∞ | n→∞ | n→∞ | 
 | 
С другой стороны,
S2n - Sn = n1+1 + n +1 2 +L+ 21n ³ n +1 n + n +1 n +L+ 21n = n 21n = 12 ,
что противоречит (6). Следовательно, гармонический ряд расходится.
□
Пример 3. Исследовать сходимость ряда
| ∞ | 1 | 
 | 
 | |
| ånsin | . | (7) | ||
| 
 | ||||
| n=1 | n | 
 | ||
Решение. Проверим выполнение необходимого условия сходимости ряда:
8
 
| 
 | 
 | 
 | 1 | 
 | 
 | |||
| 
 | 1 | 
 | sin | 
 | 
 | =1 ¹ 0 . Значит, ряд (7) расходится. □ | ||
| lim nsin | = lim | n | ||||||
| n | 
 | 
 | 
 | |||||
| n→∞ | n→∞ | 1 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | n | 
 | 
 | ||
§ 2. Критерий Коши. Достаточные признаки сходимости знакопостоянных рядов
Необходимый признак сходимости в общем случае не дает возможности судить о том, сходится данный ряд или нет. Поэтому нужно иметь критерии сходимости рядов или установить достаточные условия сходимости.
Рассмотрим знакоположительный ряд
| ∞ | 
 | 
| åan , an ³ 0, nÎ . | (1) | 
n=1
Отметим, что знакоотрицательный ряд, т.е. ряд с неположительными членами переходит в знокоположительный путем умножения его на (−1) , что, в силу теоремы 2, не влияет на
сходимость ряда.
10. Критерии сходимости ряда (1).
Теорема 1. Для того, чтобы ряд (1) сходился, необходимо и достаточно, чтобы последовательность его частичных сумм была ограниченной.
Доказательство достаточности. Пусть последовательноcть {Sn} ограничена. Заметим, что Sn+1 = Sn + an+1 ³ Sn , nÎ N , так как an ³ 0 . Тогда последовательность {Sn} – неубывающая и ограничена. Значит, по теореме Вейерштрасса, она имеет предел. □
Упражнение 1. Доказать необходимость условий теоремы 1. Наличие общего критерия Коши для сходимости числовой
последовательности позволяет установить соответствующий критерий и для числового ряда.
Теорема 2. Для сходимости ряда (1) необходимо и достаточно, чтобы для любого ε > 0 существовал номер N(ε ) такой, что при
всяком натуральном p и всех n > N(ε ) имело место неравенство
n+ p
Sn+ p - Sn = å am < ε . m=n+1
9
 
Доказательство. Утверждение теоремы 2 равносильно критерию Коши для сходимости последовательности {Sn} частичных сумм ряда, что, согласно определению, и есть сходимость ряда (1). □
20. Признаки сравнения рядов. Сходимость или расходимость знакоположительного ряда (1) часто можно установить путем сравнения его с другим («эталонным») рядом, о котором известно, сходится он или нет.
Теорема 3 (признак сравнения). Пусть даны два ряда с
| ∞ | ∞ | 
| неотрицательными членами åan (обозначим (А)) и | åbn | 
| n=1 | n=1 | 
| (обозначим (В)), и пусть n N | 
 | 
| an ≤ bn . | (2) | 
Тогда из сходимости ряда (В) следует сходимость ряда (А), а из расходимости ряда (А) – расходимость ряда (В).
Доказательство. Обозначим n-е частичные суммы рядов (А) и (В), соответственно, Sn(1) и Sn(2) . Из неравенства (2) следует, что
| 
 | 
 | 
 | Sn(1) ≤ Sn(2) . | 
 | (3) | |
| Пусть ряд (В) сходится, тогда | lim Sn(2) = S2 . Следовательно, с | |||||
| 
 | 
 | 
 | 
 | n→∞ | 
 | 
 | 
| учетом | неравенства | (3), | lim Sn(1) | ≤ lim Sn(2) ≤ S2 , | т.е. | |
| 
 | 
 | {Sn(1)} | 
 | n→∞ | n→∞ | 
 | 
| последовательность | неубывающая | и ограничена | сверху. | |||
| Поэтому, по теореме Вейерштрасса, | lim Sn(1) | существует. Значит, ряд | ||||
| (А) сходится. | 
 | 
 | n→∞ | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | ||
| Пусть теперь ряд (А) расходится. Так как члены ряда | ||||||
| неотрицательны, то | lim Sn(1) | = ∞ . С учетом неравенства (3), получаем | ||||
| 
 | 
 | n→∞ | 
 | 
 | 
 | 
 | 
lim S(2) = ∞ , т.е. ряд (В) расходится. □
n→∞ n
Замечание 1. Теорема 3 справедлива и в том случае, когда неравенство (2) выполняется не для всех членов рядов (А) и (В), а начиная с некоторого номера N. Это вытекает из теоремы 1.1.
Теорема 4 (предельный признак сравнения). Пусть даны два знакоположительных ряда (А) и (В). Если существует конечный,
отличный от нуля, предел lim an = A (0 < A < ∞) , то ряды (А) и (В)
n→∞ bn
одновременно сходятся или расходятся.
10
 
| Доказательство. По определению предела | "ε > 0 | $Nε Î , | |||
| что при n ³ Nε выполняется неравенство | an | - A | < ε | или | 
 | 
| 
 | 
 | ||||
| 
 | bn | 
 | 
 | 
 | |
| (A - ε)bn < an < (A + ε )bn , n ³ Nε . | 
 | (4) | |||
| Если ряд (А) сходится, то, согласно левому неравенству (4) и | |||||
| ∞ | 
 | 
 | |||
| теореме 3, ряд å(A - ε)bn также сходится. Но | тогда, | согласно | |||
n=1
теореме 1.2, ряд (В) сходится.
Если ряд (А) расходится, то, согласно правому неравенству (4), теореме 3 и теореме 1.2, ряд (В) расходится.
Аналогично, если ряд (В) сходится (или расходится), то сходящимся (или расходящимся) будет и ряд (А). □
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | Пример 1. Исследовать сходимость ряда å | 1 | , | p <1. | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||||
| 
 | 
 | 
 | 
 | p | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | Решение. Применим признак сравнения, воспользовавшись тем, | |||||||||||||||||||||
| что | 
 | 
 | гармонический ряд | расходится. | Очевидно, | что | 1 | 
 | ³ | 1 | , | ||||||||||||||
| 
 | 
 | 
 | np | 
 | 
 | ||||||||||||||||||||
| n , | p ≤ 1. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n | |||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | Ряд å | 1 | расходится, поэтому расходится и ряд å | 1 | , | 
 | p £1. | |||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||||||||||
| □ | 
 | 
 | 
 | 
 | n=1 n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 n p | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 
 | Можно | показать, что | ряд | å | 1 | при | p >1 | сходится. | 
 | Ряд | ||||||||||||
| 
 | 
 | 
 | 
 | p | 
 | ||||||||||||||||||||
| ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| å | 
 | 
 | называется рядом Дирихле. | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
| 
 | 
 | p | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| n=1 n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | π | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | Пример 2. Исследовать сходимость ряда åtg | . | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||||||
| 
 | 
 | 
 | 
 | 3n | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| 
 | 
 | 
 | 
 | Решение. Применим предельный признак сравнения. Поскольку | |||||||||||||||||||||
| 
 | 
 | 
 | tg | π | = π ¹ 0 и гармонический | 
 | 
 | ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||
| 
 | 
 | 3n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||
| lim | 
 | 
 | 
 | ряд | å | 1 | расходится, | 
 | то, по | ||||||||||||||||
| 
 | 
 | 1 | n | 
 | |||||||||||||||||||||
| n→∞ | 3 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||
n=1
n
теореме 4, расходится и исходный ряд. □
30. Признаки Д’Аламбера и Коши.
11
 
∞
Теорема 5 (признак Д’Аламбера). Пусть дан ряд åan с
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 | ||
| положительными | членами | и существует предел | 
 | lim | an+1 | = q , | |||||||||||
| 
 | |||||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n→∞ | an | |||||
| тогда при q <1 ряд сходится, а при q >1 ряд расходится. | 
 | 
 | 
 | 
 | 
 | ||||||||||||
| Доказательство. Пусть q <1 . Выберем число ε > 0 так, чтобы | |||||||||||||||||
| q + ε <1 . По | определению | предела | последовательности, | N0 | |||||||||||||
| 
 | 
 | 
 | n > N0 выполняется | 
 | an+1 | − q | 
 | < ε или | |||||||||
| такой, что | неравенство | 
 | |||||||||||||||
| 
 | |||||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | an | 
 | 
 | 
 | 
 | 
 | |||
| q − ε < | an+1 | < q + ε . | Таким образом, | n > N | 0 | имеем a | n+1 | < (q + ε )a . | |||||||||
| 
 | |||||||||||||||||
| 
 | an | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n | |||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| Отсюда | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||
| aN0 +2 < (q + ε )aN0 +1 , | aN0 +3 < (q + ε )aN0 +2 < (q + ε )2 aN0 +1, | ||||||||||||||||
aN0 +4 < (q + ε )aN0 +3 < (q + ε )3 aN0 +1 и т. д.
Ряд (q + ε) aN0 +1 + (q + ε )2 aN0 +1 + (q + ε )3 aN0 +1 +K сходится, так как q + ε (0,1) . Следовательно, по признаку сравнения, сходится и
| ∞ | +∞ | 
| ряд å | an , а с ним и ряд åan . | 
| n=N0 +2 | n=1 | 
Случай q >1 доказывается аналогично. □ Упражнение 2. Доказать теорему 5 в случае q >1.
Если же q =1, то ряд может сходиться, а может и расходиться.
| 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
| Теорема 6 (признак Коши с корнем). Если для ряда åan с | ||||||
| 
 | 
 | 
 | 
 | 
 | 
 | n=1 | 
| неотрицательными членами существует предел lim | n | 
 | = q , то при | |||
| a | ||||||
| 
 | 
 | 
 | n→∞ | 
 | n | |
| q <1 ряд сходится, при q >1 ряд расходится. | 
 | 
 | 
 | |||
| Доказательство. По условию, lim | n | 
 | = q . Пусть q <1 . По | |||
| a | ||||||
| n→∞ | 
 | n | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | |
теореме о связи функции, ее предела и бесконечно малой величины,
| n | 
 | = q +α, | α → 0 | при | n → ∞. | Отсюда, | a | 
 | = (q +α)n , | но при | |
| a | n | ||||||||||
| 
 | n | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | ||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | an < ρn . | 
 | |||
| больших n | имеем | q +α < ρ <1, | поэтому | Ряд | åρn , | ||||||
| представляющий собой | сумму | членов бесконечно | 
 | n=1 | |||||||
| убывающей | |||||||||||
12
 
геометрической прогрессии, сходится. В силу признака сравнения, ряд
| ∞ | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| åan | также сходится. При q >1 доказательство аналогично. □ | 
 | 
 | |||||||||||||||||||||
| n=1 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
| 
 | 
 | Упражнение 3. Доказать теорему 6 при q >1. | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||||||||
| 
 | 
 | Пример 3. Исследовать сходимость следующих рядов: | 
 | 
 | 
 | 
 | ||||||||||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ∞ | 
 | 2n | 
 | 
 | ∞ æ 2n +1 | ön | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | 
 | 
 | 
 | 
 | a) | å | 
 | 
 | ; | б) | åç | 
 | 
 | 
 | 
 | ÷ . | 
 | 
 | 
 | 
 | 
 | 
 | |
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n=1 n! | 
 | 
 | n=1è n | + 2 | 
 | ø | 
 | 
 | 
 | 
 | 
 | 
 | ||||
| 
 | 
 | Решение. а) Применим признак Д’Аламбера. Имеем: | 
 | 
 | 
 | 
 | ||||||||||||||||||
| 
 | 2n | 
 | 
 | 2n+1 | 
 | 
 | 
 | 
 | a | 
 | 
 | 
 | 2n+1n! | 
 | 
 | 2 | 
 | 
 | 
 | |||||
| a = | 
 | 
 | , | a | = | 
 | 
 | , | q = lim | n+1 | = lim | 
 | 
 | 
 | 
 | = lim | 
 | 
 | 
 | = 0 | <1. | |||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||||||||
| n | 
 | n! | n+1 | 
 | (n +1)! | 
 | 
 | 
 | n→∞ | an | n→∞ (n +1)!2n n→∞ n +1 | 
 | 
 | |||||||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | ||||||||||||||||
Исходный ряд сходится.
б) К данному ряду удобно применить признак Коши:
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 1 | 
 | 
 | 
 | 2 + | 1 | 
 | 
 | |
| 
 | 
 | 
 | é | 
 | 
 | 
 | n ù | 
 | 
 | 
 | 
 | 
 | 
 | ||
| 
 | 
 | 
 | 2n +1 | 
 | n | 
 | 2n +1 | 
 | |||||||
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | |||||||
| q = lim | n | a | = lim êæ | ö | ú | 
 | = lim | = lim | 
 | n | = 2 >1 . | ||||
| 
 | 
 | ÷ | 
 | 
 | 
 | ||||||||||
| n→∞ | 
 | n | ç | n + 2 | 
 | 
 | n→∞ n + 2 n→∞ | 
 | 2 | 
 | 
 | ||||
| 
 | 
 | n→∞ êè | ø ú | 
 | 
 | 
 | 
 | ||||||||
| 
 | 
 | 
 | ë | 
 | 
 | 
 | û | 
 | 
 | 
 | 
 | 1+ | 
 | 
 | 
 | 
| 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | 
 | n | |||||
Исходный ряд расходится. □
Теорема 7 (интегральный признак Коши). Если члены
∞
знакоположительного ряда åan монотонно убывают и существует
n=1
положительная невозрастающая функция f (x) , такая, что f (n) = an
∞
при n ³1 , то ряд и несобственный интеграл ò f (x)dx сходятся или
1
расходятся одновременно.
Доказательство. По условию, f (n +1) < f (n) . Согласно теореме об оценке определенного интеграла, имеем
k+1
f (k +1) £ ò f (x)dx £ f (k), k =1, 2,K .
| Суммируя | 
 | k | неравенства по k, получаем | |
| полученные | ||||
| n | n+1 | 
 | n | 
 | 
| å f (k +1) £ | ò f (x)dx £å f (k) или | |||
| k=1 | 1 | n+1 | k=1 | n+1 | 
| n+1 | 
 | n | ||
| å ak £ | ò | f (x)dx £åak , | Sn+1 - a1 £ ò f (x) dx £ Sn . | |
| k=2 | 
 | 1 | k=1 | 1 | 
13
