- •Оглавление
- •Введение
- •1. Дифференциальное исчисление функций многих переменных
- •1.1. Предел и непрерывность функций многих переменных
- •1.1.1. Понятие функции многих переменных
- •1.1.2. Геометрическая иллюстрация функции двух переменных
- •1.1.3. Предел функции двух переменных в точке
- •1.1.4. Непрерывность функции двух переменных
- •1.2. Дифференцируемость функции многих переменных
- •1.2.1. Частные производные
- •1.2.2. Дифференцируемые функции
- •1.2.3. Полный дифференциал функции многих переменных
- •1.2.5. Производные высших порядков
- •1.3. Экстремум функции многих переменных
- •1.3.1. Понятие экстремума. Необходимое условие экстремума
- •1.4. Метод наименьших квадратов
- •1.4.1. Понятие эмпирической формулы
- •1.4.2. Выравнивание экспериментальных данных по прямой
- •1.4.3. Выравнивание экспериментальных данных по параболе
- •1.4.4. Выравнивание экспериментальных данных по гиперболе
- •2. Интегральное исчисление
- •2.1. Неопределенный интеграл
- •2.1.1. Определение первообразной и неопределенного интеграла
- •2.1.2. Основные свойства неопределенного интеграла
- •2.1.3. Таблица основных неопределенных интегралов
- •2.1.4. Непосредственное интегрирование. Поднесение под знак дифференциала
- •2.2. Основные методы интегрирования
- •2.2.1. Замена переменной в неопределенном интеграле
- •2.2.2. Интегрирование некоторых иррациональных функций
- •2.2.3. Интегрирование тригонометрических функций
- •2.2.4. Интегрирование по частям
- •2.2.5. Интегрирование рациональных функций
- •2.3. Определенный интеграл
- •2.3.1. Определение определенного интеграла
- •2.3.2. Необходимое условие интегрируемости функций. Классы интегрируемых функций
- •2.3.3.Свойства определенного интеграла
- •2.3.5. Замена переменной в определенном интеграле
- •2.3.7. Геометрические приложения определенного интеграла
- •2.4. Несобственные интегралы
- •2.4.2. Несобственные интегралы от неограниченных функций
- •3.1. Понятие обыкновенного дифференциального уравнения n-го порядка и его решения
- •3.2. Дифференциальные уравнения первого порядка
- •3.2.1. Понятие дифференциального уравнения первого порядка и его решения. Задача Коши. Теорема Коши. Понятие общего решения
- •3.2.4. Однородные дифференциальные уравнения первого порядка
- •3.3. Линейные дифференциальные уравнения второго порядка с постоянными коэффициентами
- •3.3.1. Постановка задачи Коши и понятие общего решения для линейного дифференциального уравнения второго порядка
- •3.3.2. Свойства решений линейных однородных уравнений
- •3.3.3. Решение однородных линейных уравнений второго порядка с постоянными коэффициентами
- •4. Ряды
- •4.1. Числовые ряды
- •4.1.1. Понятие числового ряда и его сходимости
- •4.1.2. Простейшие свойства сходящихся рядов
- •4.1.3. Необходимый признак сходимости ряда и его следствие
- •4.1.4. Достаточные признаки сходимости рядов с неотрицательными членами
- •4.1.5. Знакопеременные ряды. Абсолютная и условная сходимость
- •4.1.6. Знакочередующиеся ряды. Признак Лейбница
- •4.2. Степенные ряды
- •4.2.1. Понятие функционального ряда и его области сходимости
- •4.2.2. Степенные ряды. Теорема Абеля
- •4.2.3. Интервал, радиус и область сходимости степенного ряда
- •4.2.4. Ряды Тейлора и Маклорена. Разложение некоторых элементарных функций в степенные ряды
- •Вопросы для повторения и тренировочные задания
- •1. Функции многих переменных
- •2а. Неопределенный интеграл
- •2б. Определенный интеграл
- •3: Дифференциальные уравнения
- •4. Ряды
- •Вопросы к экзамену
- •Литература
4.1.4. Достаточные признаки сходимости рядов с неотрицательными членами
Теорема 4.4 (первый признак сравнения). Пусть даны два ряда с неотрицательными членами:
∞ |
|
∑an = a1 +a2 +...+ an +... |
(4.5) |
n=1 |
|
и |
|
∞ |
|
∑bn = b1 +b2 +...+bn +... |
(4.6) |
n=1 |
|
Если для всех n , и ли начиная с некоторого номера |
n = N , |
выполняется неравенство an ≤ bn , то из сходимости ряда (4.6)
следует сходимость ряда (4.5), а из расходимости ряда (4.5) следует расходимость ряда (4.6).
Иначе говоря, если «больший» ряд сходится, то и «меньший» ряд сходится; если «меньший» ряд расходится, то и «больший» ряд расходится.
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
2n |
|
|
|
|
|
|
|
|
|
||
|
|
Пример 4.3. |
Исследовать ряд |
∑n=1 |
|
|
на сходимость. |
|
|||||||||||||||||
|
|
1+ 22n |
|
||||||||||||||||||||||
|
|
Решение. Сравним |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
данный |
|
ряд с геометрическим |
рядом |
||||||||||||||||||||
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
, который сходится как геометрический ряд со знаменателем |
|||||||||||||||||||||||
|
n |
||||||||||||||||||||||||
n=1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
q = |
1 |
<1. Имеем |
2n |
|
< |
|
2n |
= |
1 |
|
для |
всех |
n , |
значит, |
на |
||||||||||
2 |
1+ 22n |
|
22n |
2n |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
основании теоремы 4.4 ряд сходится. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 4.4. |
Исследовать ряд ∑ |
|
|
|
на сходимость. |
|
|||||||||||||||||
|
|
ln(n +1) |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|||||
|
|
Решение. |
Сравним |
|
|
данный |
ряд |
|
|
с |
расходящимся |
||||||||||||||
|
|
|
|
|
|
|
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
гармоническим |
рядом |
∑ |
|
|
|
. |
Поскольку |
|
|
> |
|
и |
|||||||||||||
|
n +1 |
|
ln(n +1) |
n +1 |
|||||||||||||||||||||
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
99
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
гармонический ряд |
∑n=1 |
1 |
|
|
расходится, то на основании теоремы |
|||||||||||||||||||||||||||||||||
n +1 |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
4.4 заключаем, что ряд ∑ |
|
|
|
расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n=1 n +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Теорема 4.5 (второй признак сравнения). Если существует |
|||||||||||||||||||||||||||||||||||||
конечный, |
отличный от нуля, предел lim an |
= L, |
L ≠ 0, L ≠ ∞, то |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ряды (4.5) и (4.6) сходятся или расходятся одновременно. |
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
2n −1 |
|
|
||||||
|
Пример 4.5. Исследовать на сходимость ряд |
∑ |
|
|
|
|
. |
|||||||||||||||||||||||||||||||
n |
2 |
−3n +5 |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
Решение. Сравним данный ряд с гармоническим рядом ∑1 , |
|||||||||||||||||||||||||||||||||||||
который расходится. Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 n |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
2 |
|
|
|
|
|
|
|
|
|||
|
lim |
an |
|
= lim |
|
(2n −1)n |
= lim |
|
2n2 −n |
|
= lim |
|
|
|
|
(2 − n) |
|
= |
||||||||||||||||||||
|
n→∞ bn |
|
|
n→∞ |
|
(n2 −3n +5) |
|
n→∞ n |
2 −3n +5 |
|
n→∞ |
n |
2 |
|
|
|
|
|
|
3 5 |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
(1 |
− n |
+ n2 ) |
|
|||||||||||||||||||||||||
|
2 − 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
lim |
|
|
n |
|
|
= 2 . Поскольку |
2 ≠ 0, то на основании теоремы 4.5 |
|||||||||||||||||||||||||||||||
|
3 |
|
5 |
|
||||||||||||||||||||||||||||||||||
n→∞ 1− |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
n |
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
заключаем, что исследуемый ряд расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
Теорема |
|
|
4.6 |
(признак |
|
|
Даламбера). |
Если |
|
|
|
|
|
для ряда |
|||||||||||||||||||||||
∞ |
an |
> 0, |
существует предел |
lim an+1 |
= l, |
то при |
l <1 ряд |
|||||||||||||||||||||||||||||||
∑an, |
||||||||||||||||||||||||||||||||||||||
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
сходится, |
|
при |
|
l >1 |
ряд расходится, при |
l =1 |
вопрос |
остается |
||||||||||||||||||||||||||||||
открытым ― нужно применять другие признаки. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
Признак Даламбера удобно применять в тех случаях, когда в |
|||||||||||||||||||||||||||||||||||||
записи общего члена ряда участвуют факториалы (!) и степени. |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
n! |
|
|
|
|
|
|
|
||||
|
Пример 4.6. Исследовать на сходимость ряд |
∑ |
. |
|
|
|
|
|
||||||||||||||||||||||||||||||
|
n |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
5 |
|
|
|
|
|
|
|
|
100
|
Решение. Так как a |
n |
= |
n! |
, |
a |
n+1 |
= |
(n +1)! |
, |
|
|
||||||
|
|
5n+1 |
|
|
|
|||||||||||||
|
|
|
|
|
|
5n |
|
|
|
|
|
|||||||
то |
l = lim |
(n +1)!5n |
n!(n +1) 5n |
|
|
|
n +1 |
= ∞ . Так как |
|
|||||||||
|
|
= lim |
|
5n 5 n! |
|
= lim |
|
|
|
∞ >1, |
||||||||
5n+1 n! |
|
|
|
5 |
|
|
||||||||||||
|
n→∞ |
|
n→∞ |
|
|
|
n→∞ |
|
|
|
|
|||||||
то исследуемый ряд расходится. |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
Теорема 4.7 |
(признак Коши). |
Если для ряда ∑an , |
an > 0, |
n=1
существует предел l = lim n |
an |
, то при |
l <1 ряд сходится, при l >1 |
n→∞ |
|
ряд расходится, а при l =1 вопрос остается открытым.
|
|
|
|
|
|
|
|
∞ |
|
1 |
(n +1)n2 . |
Пример 4.7. Исследовать на сходимость ряд ∑ |
|
||||||||||
|
n |
||||||||||
|
|
|
|
|
|
|
|
n=1 |
3 |
n |
|
Решение. Применим признак Коши, для чего найдем |
|||||||||||
|
|
|
|
|
1 |
(n +1)n = |
1 lim(1+ |
1)n = e . |
|||
lim n |
1 |
(n +1)n2 |
= lim |
||||||||
|
3 |
||||||||||
n→∞ |
3n |
n |
n→∞ |
n |
3 n→∞ |
n |
3 |
||||
Так как e ≈ 2,72 |
и |
e <1, |
то на основании признака Коши |
||||||||
|
|
|
|
|
3 |
|
|
|
|
|
|
заключаем, что исследуемый ряд сходится.
Теорема 4.8 (интегральный признак Коши-Маклорена). Если
|
∞ |
|
|
|
|
|
|
|
|
члены ряда ∑an, |
an > 0, |
не возрастают a1 ≥ a2 ≥ a3 ≥... ≥ an ≥... и |
|||||||
|
n=1 |
|
|
|
|
|
|
|
|
существует |
функция |
f (x) , которая определена |
|
на промежутке |
|||||
[1;+∞ ), непрерывна, |
не возрастает и an |
= f (n), |
n =1,2,..., |
то для |
|||||
|
|
|
∞ |
|
|
|
|
|
|
сходимости |
ряда |
∑an |
необходимо |
и достаточно, |
чтобы |
||||
|
|
|
n=1 |
|
|
|
|
|
|
несобственный интеграл ∞∫ f (x)dx сходился. |
|
|
|
|
|||||
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
∞ |
|
|
||
Пример 4.8. Исследовать сходимость ряда ∑ |
|
|
|
. |
|||||
|
(n +1)ln(n +1) |
||||||||
|
|
|
|
|
n=1 |
|
|
101
Решение. Применим интегральный признак Коши-Маклорена.
Заменяя в формуле общего члена an = 1 число n на
(n +1)ln(n +1)
переменную |
|
x , |
получаем |
функцию |
f (x) = |
1 |
. |
||
|
(x +1)ln(x +1) |
||||||||
Вычисляем несобственный интеграл |
|
|
|
||||||
∞∫ f (x)dx = ∞∫ |
|
|
|
1 |
dx = Blim→+∞ ∫B d(ln(x +1)) |
= |
|
||
|
|
|
(x +1)ln(x +1) |
|
|||||
1 |
1 |
|
|
|
1 |
ln(x +1) |
|
|
|
lim ln(ln(x + |
1)) |
|
|
B |
= lim (ln(ln B) −ln(ln 2)) = ∞. |
|
|
||
|
|
|
|
||||||
B→+∞ |
|
|
|
1 |
B→+∞ |
|
|
|
|
|
|
|
|
|
|
Значит, интеграл расходится, и следовательно, исходный числовой ряд также расходится.
4.1.5. Знакопеременные ряды. Абсолютная и условная сходимость
Аналогия между бесконечными рядами и конечными суммами может быть проведена в весьма ограниченных масштабах (только для абсолютно сходящихся рядов). Процесс образования суммы ряда вовсе не подобен процессу конечного суммирования и вовсе не состоит в том, что члены ряда прибавляются один за другим, «покуда не будут все исчерпаны». Это безнадежно хотя бы потому, что исчерпать бесконечное множество нельзя и поэтому мы заменили процесс бесконечного прибавления операцией предельного перехода, приводящей к понятию суммы ряда. Кроме того, трудно представлять себе «суммою всех членов ряда» такую сумму, величину которой мы можем изменить путем перестановки членов ряда, что имеет место для условно сходящихся рядов. Ниже приводятся основные сведения для упомянутых рядов.
Определение 4.7. Числовой ряд называется знакопеременным ,
если среди его членов есть как положительные, так и отрицательные действительные числа.
Пусть имеется знакопеременный ряд:
∞ |
|
a1 + a2 +...+ an +... = ∑an |
(4.7) |
n=1
102
Рассмотрим ряд, составленный из абсолютных величин членов данного ряда:
∞ |
|
a1 + a2 +...+ an +... = ∑| an | |
(4.8) |
n=1
Определение 4.8. Если сходится ряд (4.8), то ряд (4.7) называется абсолютно сходящимся. Если ряд (4.7) сходится, а (4.8)
– расходится, то ряд (4.7) называется условно сходящимся.
Теорема 4.9 (Коши). Если знакопеременный ряд сходится абсолютно, то он сходится.
Пример 4.9. Исследовать на сходимость ряд |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
cosα |
+ |
cos2 α |
+... |
cos nα |
+... |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
2 |
3 |
|
n |
3 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Решение. Данный ряд является знакопеременным. Составим |
|||||||||||||||||||||||||||||
ряд из абсолютных величин данного ряда: |
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
cosα |
|
+ |
|
|
cos 2α |
|
...+ |
|
cos nα |
|
+… . |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
2 |
3 |
|
|
n |
3 |
|
||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Члены этого ряда не превосходят соответствующих членов |
|||||||||||||||||||||||||||||
ряда |
|
1 |
+ |
1 |
+...+ |
|
1 |
+..., |
|
|
|
|
который сходится, |
как обобщенный |
|||||||||||||||
|
3 |
3 |
|
3 |
|
|
|
|
|||||||||||||||||||||
|
1 |
|
2 |
|
n |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
гармонический ряд |
|
∑ |
|
, |
|
|
|
|
где |
|
p >1. Значит, |
по теореме Коши, |
|||||||||||||||||
|
|
p |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
n=1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
исходный ряд сходится.
Некоторые свойства абсолютно сходящихся рядов:
1) Любая перестановка членов абсолютно сходящегося ряда приводит к абсолютно сходящемуся ряду с той же суммой; перестановкой же членов условно сходящегося ряда можно получить любую наперед заданную сумму (теорема Римана);
|
|
∞ |
∞ |
2) Рассмотрим |
два ряда ∑an |
и ∑bn . Произведением рядов |
|
|
|
n=1 |
n=1 |
называется ряд из |
всевозможных попарных произведений, взятых в |
||
|
∞ |
|
|
некотором порядке |
∑apk bqk |
. Если этот ряд (из произведений рядов) |
|
|
k =1 |
|
|
103