ilin2 (947409), страница 2
Текст из файла (страница 2)
=~ ', (1.6) 3! 5! (2» — 1)1 <2>1 — 1)1 »-1 хз х» ( †!)" ! хз» 2 в-ч ( !)» ! хт» 1 — — "+ —" —...+ +...=~' . (17) 2! 4! (2» — 2)! <2» — 2)! »-1 Обозначая п-е частичные суммы рядов (1.6), (1.6) и (1.7) соответственно через 5,<'>(х), 5,<'>(х) и 5„<з>(х), можем записать: (1. 8) (в — ! )! ( 1)в — 1 Хзв — ] 5„(х) = х — — + —... + М> хз хз 3! 5! (1,9) (2в — 1)! ( ! )в-1 х2в — 2 <2л — 2)! 5„(х)=1 — — + — —... + <з> хз х' 21 4! (1,10) Сопоставляя выражения (1.8), (1.9) и (1.10) с разложениями по формуле Маклорена функций е', з!пх и созх (см.
п. 2 5 9 гл. 6 ч. 1 2>), мы получим е =-5„<1>(х) +1<„<!>(х), З)П Х=5в<2>(Х) +Р„<2>(Х), сов х=5в<з>(х)+Р,<з>(х), (1.11) где ><„<1>(х), 1<„<2>(х), 1«„з>(х) обозначают а-е остаточные члены в разложении по формуле Маклорена функцией е", з(пх и сов х соответственно. В $ 9 гл.
6 ч. 1 доказано, что в каждой точке х числовой прямой указанные остаточные члены имеют равный нулю предел при и†оо. Следовательно, в силу соотношений (1.11) в каждой точке х прямои частичные суммы 5 <'>(х), 5в<2>(х) и 5„<з>(х) сходятся к пределам, равным соответственно е", з)пх и созх. Это означает, '> Символ О! мы отождествляем с числом 1. " Здесь и далее ч, 1 — зто краткое обозначение книги: И л ь и н В. А., Садовничий В.
А., Сеидов Бл. Х. Математический анализ. Начальный курс. — Мл Изд-во МГУ, 1985. 10 Гл. 1. Числовые ряды что ряды (1.6), (1.6) и (1.7) сходятся в каждой точке х числовой прямой и их суммы равны соответственно е", з(пх и сов х. 3 а м е ч а н и е 1. С формальной точки зрения изучение числовых рядов представляет собой новую форму изучения числовых последовательностей, ибо 1) каждому ряду (1.1) однозначно соответствует последовательность (5,) его частичных сумм, 2) произвольной числовой последовательности (5,) однозначно соответствует числовой ряд (1.1) с членами и,=5!, и»=5» — 5» ! при Й)1, для которого эта последовательность служит последовательностью частичных сумм. Замечание 2.
Отметим два простых свойства произвольного ряда, непосредственно вытекающие из определения его сходи- мости: 1. Отбрасывание конечного числа членов ряда (или добавление к ряду конечного числа членов) не влияет на сходимость или расходимость этого ряда. 11. Если с — отличная от нуля постоянная, и»'=сиь то ряд Ю Е; и' сходится тогда и только тогда, когда сходится ряд т и». » ! »=! Для обоснования первого из этих свойств достаточно заметить, что в результате указанного отбрасывания (или добавления) конечного числа членов все частичные суммы ряда, начиная с некоторого номера, изменятся на одну и ту же постоянную величину. Для доказательства второго из указанных свойств обозначим О О и-е частичные суммы рядов ~ и' и )', и» соответственно через »=1 »-! 5,' и 5 и учтем, что 5 '=с5„, где сФО.
Из последнего равенства вытекает, что 1!щ 5'„ существует тогда и только тогда, когда и ш существует 1пп 5„. л-к 2. Критерий Коши сходнмости ряда. Так как вопрос о сходи- мости ряда по определению эквивалентен вопросу о сходнмости последовательности его частичных сумм, то мы получим необходимое и достаточное условие сходимости данного ряда, сформулировав критерий сходимости Коши для последовательности его частичных сумм. Для удобства приведем формулировку критерия Коши для последовательности (см.
п. 3 $3 гл. 3 ч. 1): Для того чтобэ! последовательность (5») бь!ла сходящейся, необходимо и достаточно, чтобы для любого положительного числа е наеиелся номер 1!7 такой, что для всех номеров и, удовлетворяющих условию п !т', и для всех натуральных р (р=1, 2, 3, ...) ! 5»+р 5»~ (а. В качестве следствия из этого утверждения получим следующую основную теорему. й 1. Пояятяе числового ряда Теорема 1.1 (критерий Коши для ряда). Для того чтобы ряд Х и» сходился, необходимо и достаточно, чтобы для любого » ! положительного числа е нашелся номер У такой, что для всех номеров и, удовлетворяющих условию и)!т', и для всех натуральных чисел р (р=1, 2, ...) (1.12) Для доказательства этой теоремы достаточно заметить, что величина, стоящая под знаком модуля в неравенстве (1.12), равна разности частичных сумм Я„+я — 5,.
Отметим, что критерий сходимости Коши представляет в основном теоретический интерес. Его использование для исследоваиия сходимости или расходимости тех илн иных конкретных рядов, как правило, сопряжено с трудностями. Поэтому наличие критерия Коши не снимает вопроса об установлении других практически эффективных признаков сходимости и расходимости рядов. Из теоремы 1.1 легко получить два элементарных„но важных следствия. Следствие 1. Если ряд г, и» сходится, то последователь»=! ность г„ = ~~~ !и» является бесконечно малой. » о+! Принято называть величину г„п-м о с т а т к о м ряда Х иь »=! Чтобы доказать следствие 1, достаточно показать, что для любого е>0 найдется номер У такой, что 1г„~(е при и)!т'.
Последнее неравенство непосредственно вытекает из неравенства (1.!2), справедливого для любого р=1, 2, 3, ..., и нз теоремы 3.13 ч. 1. Следствие 2 (необходимое условие сходимости ряда). Для С сходимости ряда ~ и» необходимо, чтобы последовательность »=! и„иь ..., им ... членов этого ряда являлась бесконечно малой. Достаточно доказать, что для данного сходящегося ряда и любого е>0 найдется номер Л!о такой, что при п)Уо ~и„) <е. Пусть дано любое е>0. Согласно теореме 1.1 найдется номер Ф такой, что при п)У и для любого натурального р выполняется неравенство (1.!2).
В частности, при р=1 это неравенство имеет вид (1.12') ! ия+! ~ (е (при пЪУ). Гл. 1. Числовые ряды Если теперь положить номер Ув равным У+1, то при я)Ув в силу неравенства (1.12') получим ~и,~ (а, что и требовалось доказать. Иначе следствие 2 можно сформулировать так: для сходимости Ю ряда ~ и» необходимо, чтобы 1пп и„=О. Таким образом, при й-! »-~с исследовании данного ряда на сходимость следует прежде всего посмотреть, стремится ли к нулю я-й член этого ряда при я- оо.
Если это не так, то ряд заведомо расходится. Так, например, ряд О Е йв 7»в -1- 8000» й-1 заведомо расходится, ибо йв 1 1пп и» вЂ” — Нгп = — -й О. й й в 7йв + 8000» 7 Аналогично расходимость уже встречавшегося выше ряда О Е ( — 1) вытекает из того, что 1пп( — 1) не существует.
й-! »вЂ ! й-! й о Отметим, что стремление к нулю й-го члена ряда при й -оо является лишь необходимым, но не достаточным условием сходи- мости ряда. В качестве примера рассмотрим ряд Х 1 1 1 1 — =1+ — + — +...+ — + й 2 3 й й=! (!.13) Этот ряд обычно называют гармоническим рядом. Очевидно, что для гармонического ряда выполнено необходимое условие сходимости, но (как доказано в п. 3 $ 3 гл. 3 ч. 1) последовательность частичных сумм этого ряда расходится.
$2. РЯДЫ С НЕОТРИДЛТЕЛЬНЫМИ ЧЛЕНЛЛ!И 1. Необходимое и достаточное условие сходимости ряда с неотрицательными членами. Ряды с неотрицательными членами часто встречаются в приложениях. Кроме того, их предварительное изучение облегчит изучение рядов с членами любого знака. В дальнейшем, чтобы подчеркнуть, что речь идет о ряде с неотрицательными членами, мы часто будем обозначать члены такого ряда символом р» вместо иь Можно сразу же отметить основное характеристическое свойство ряда с неотрицательными членами: последовательность частичных сумм такого ряда является неубывающей. Это позволяет нам доказать следующее утверждение. $2. Ряды с неотрицательными членамн Теорем а 1.2.
Для того чтобы ряд с неотрицательными членами сходился, необходимо и достаточно, чтобы последовательность частичных сумм этого ряда была ограничена. Необходимость следует из того, что всякая сходящаяся последовательность является ограниченной (в силу теоремы 3.8 ч. 1). Достаточность вытекает из того, что последовательность частичных сумм не убывает и, следовательно, для сходимости этой последовательности достаточно, чтобы она была ограничена (в силу теоремы 3.15 ч. 1). 2. Признаки сравнения. В этом пункте мы установим ряд признаков, позволяющих сделать заключение о сходимости (или расходимости) рассматриваемого ряда посредством сравнения его с другим рядом, сходимость (или расходимость) которого известна.
ы О Теорема 1.3. Пусть 2 ра и ~', р' — два ряда с неотрица- Ф-! е=! тельными членами. Пусть, далее, для всех номеров й справедливо неравенство ре~~ре'. (1.14) 'Тогда сходимость ряда ~~ р' влгчгг за собой сходимость ряда ь=! я е р„; расходимость ряда ~, ра влечет за собой расходимосгь е ! а-! ряда ~ „р„', е ! Доказательство. Обозначим и-е частичные суммы рядов е ~~~ ре и Я р„' соответственно через 5 и 5,'. Из неравенства .а 1 А ! (1.14) заключаем, что 5„(5„'. Последнее неравенство означает, что ограниченность последовательности частичных сумм (5„') влечет за собой ограниченность последовательности частичных сумм (5 ) и, наоборот, неограниченность последовательности час- тичных сумм (5 ) влечет за собой неограниченность последова- тельности частичных сумм (5„'). В силу теоремы 1.2 теорема 1.3 доказана. Замечания к теореме 1.3.
1) В условии теоремы 1.3 можно требовать, чтобы неравенство (1.14) было выполнено не для всех номеров й, а лишь начиная с некоторого номера й. В самом деле, в силу замечания 2 п. 1 З 1 отбрасывание конечного числа членов не влияет на сходимость ряда. 2) Теорема 1.3 останется справедливой, если в условии этой теоремы заменить неравенство (1.14) следующим неравенством: Гл.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
