Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

киб_3_семестр_матан_лекции

.pdf
Скачиваний:
17
Добавлен:
10.05.2015
Размер:
4.03 Mб
Скачать

Доказательство(аналитическое):

2 − − площадь большей − ступенчатой фигуры

(16)

2 − − площадь меньшей − ступенчатой фигуры

(17)

1. Пусть несобственный интеграл(15) сходится, тога

 

Š

 

…)‰… = lim

= lim

Š

 

…)‰… = ‹

 

 

p

 

 

 

 

 

 

– площадь бесконечной

криволинейной трапеции; In<I

 

 

 

 

 

(18)

Тогда из (16),(17) и (18)=> 2 − L ‹ L 2 − , т.е.

 

 

+ ‹ L 2 L ‹ +

)

 

 

 

 

 

 

Из правой части неравенства (*) :

 

 

 

 

 

 

Если инт − л сх, то тогда продолжаем это неравенство

 

2 L ‹ + L ‹ +

, т. е. Ž2 • − ограничена, но Ž2 • возрастает =>

=> по теореме 5 ряд (1) сходится.

 

 

 

 

 

 

2. пусть несобственный интеграл (15) расходится, т.е.

 

lim‹ = +∞, следовательно, ‹ → +∞ при → +∞.

 

Из левой части неравенства (*) :

 

 

 

 

 

 

+ ‹ L 2 , 2 → +∞

=> ряд 1)расходится

 

Замечание 7

Для рядов с разным распределением знаков рассматриваем область абсолютной сходимости Šp |„ …)|‰….

Пример 6: рассмотрим ряд

− ряд Дирихле или обобщенный гармонический ряд) применим

признак Коши интегральный:

p ‰…

сх ,

“ > 1

ˆ

= Kрасх,

“ ≤ 1 => что ряд Дирихле сх. при “ > 1 и расх “ ≤ 1.

Данный ряд будем называть эталонным, т.е. с ним будем сравнивать другие

ряды.

Лекция 4

Знакочередующиеся числовые ряды. Признак Лейбница.

Определение 6(знакопеременного ряда)

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

хотя бы одно n ϵ N: произведение этого члена ряда на последующий меньше нуля, т.е.

∙ < 0 (*)

Пример1(знакопеременного ряда)

+ 1 + 3 – 2 – 5 -12 +7 + 8 …

Определение 7(знакочередующегося ряда)

Знакочередующийся ряд – это частный случай знакопеременного ряда и

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

знакочередующийся ряд, это ряд, который обладает следующими

свойствами:

 

 

 

 

 

Для n ϵ N должно выполняться условие ∙ < 0 (*)

Пример2(знакочередующегося ряда) α>0

 

1

= 1 − 1

+ 1

1 +

(−1) ∙

 

 

2

3

 

4

Замечание 1

 

 

 

 

 

 

 

 

 

 

знакоположительный ряд

такой что: для . / =>

≥ 0 порождает знакочередующийся ряд в 2х формах:

 

 

= − : +

(1)

(−1) ∙

 

 

 

 

 

 

 

 

 

 

 

(2)

(−1) ∙ = − + :

 

 

 

 

 

 

Теорема11( Достаточный признак Лейбница сходимости знакочередующегося ряда)

Если выполняются следующие два условия:

1) Последовательность абсолютных значений членов знакочередующегося

ряда монотонно убывающая(меньше нуля быть не может)( )

> : > > > 0

2) Предел абсолютной величины общего члена этой последовательности и

равен 0. lim = 0

То:

1.Ряд (1) сходится.

2. При этом сумма знакочередующегося ряда S по модулю не превышает модуля своего 1-го члена. |A| < B (3)

3.А остаток ряда по абсолютной величине не превосходит абсолютной

величины первого из отбрасываемых членов, т.е.

 

 

|C | <

. /

(4)

 

 

Док-во: 1. и 2. Рассмотрим произвольный знакочередующийся ряд

 

 

 

 

 

(−1) ∙ (1)

 

 

 

 

 

 

 

 

Частичная сумма этого ряда нечетного индекса S2k-1 ( n ϵ N) имеет вид:

A:DE =

: + F G + + :DE > 0 ;

:DE > 0

(5)

A:DE =

− [( : F) + ( G J) + + ( :DE:

:DE )] < (6)

( : F) ; ( G J) ; … ; ( :DE: :DE ) > 0

 

 

Рассмотрим последовательность частичных сумм этого нечетного индекса:

MA:DE | N . /O = A , AF, … , A:DE , …

MA > AF > > A:DE > > 0O − монотонно убывает( ) и ограничена снизу 0

По лемме (о монотонно убывающей ограниченной последовательности)

lim A:DE = A < ; |A| <

Рассмотрим последовательность частичных сумм четного индекса:

A:D

= A:DE + (− :D) ;

:D <

= 0

по условию 2) признаку Лейбница

 

 

lim :D

lim A:D = lim (A:DE :D) D→

=

 

lim A:DE = lim A = A

D→

D→

 

 

D→

Итак, доказали, что при выполнении условий 1) и 2) признака Лейбница lim A:DE = lim A:D = A и |S|<U1.

Замечание 2

Это справедливо как для ряда (1), так и для ряда (2).

Действительно,

 

 

 

 

 

 

=>

(−1) ∙ = − (−1) ∙

 

 

 

 

= > знакочередующийся ряд удовлетворяет теореме Лейбница, является

сходящимся к (-S):

 

 

 

|A|

<

C = ∑D

(−1)DBD-ряд Лейбницевского типа (т.е.

3. Остаток ряда(1)

удовлетворяет условиям 1) и 2) т. 11) |C | < ЧТД.

Теорема12 (достаточный признак абсолютной сходимости знакопеременного ряда или признак абсолютной сходимости знакопеременного ряда)

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

Т.е.

 

 

 

 

| |сх.

VWWWWWWWWWWWX сх.

 

обратное неверно

 

Доказательство:

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

сходится.

 

 

Представим − частичную сумму знакопеременного ряда

A = A − AE

( . /) ,

где A − сумма положительных членов,а AE − отрицательных

 

 

 

 

A = | D[ |: M D[ > 0O , AE = | D[[|: M D[[ < 0O

D[

+ AE

D[[

\ = A

− частичная сумма ряда,составленная из

модулей членов знакопеременного ряда.

] lim \

= lim (A

+ AE) < ∞_

 

lim A < ∞ и lim AE < ∞

 

 

lim(A

− AE) = lim(A ) < ∞, следовательно, знакопеременный

ряд сходится. ЧТД

Определение 8 (абсолютно сходящегося ряда)

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

Определение 9 (условно или неабсолютно сходящегося ряда)

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

Замечание 3

Из абсолютной сходимости ряда следует условная. А обратное в общем случае неверно. Естественно, что т.12 имеет место и для знакочередующихся рядов(они – частный случай знакопеременных).

Пример3: Знакочередующийся ряд | α=1

 

1 = 1 − 1

+ 1

− −

 

(−1) ∙

 

 

 

 

2

3

 

1

абсолютной сходимости нет т. к.

 

 

− расходящийся гармонический ряд,

 

но он сходится условно по признаку Лейбница:

1) . / => 1

>

 

1

; 2) lim 1 = 0

 

 

 

+ 1

Пример4: Знакочередующийся ряд | α≥2

 

1 − сходится абсолютно по признаку Коши интегральному

(−1) ∙

 

 

 

1

 

e

1

 

 

d = − f − 1

E

1 g = 1 < ∞

 

Лекция 5 Дополнение к теме абсолютно сходящихся

и неабсолютно сходящихся числовых рядов

Теорема13(свойства абсолютно сходящихся числовых рядов)

Если сходится абсолютно к сумме

= , то имеют место следующие св ва:

1) Сочетательное свойство:

= + + + + + + + =

2) Переместительное свойство:

=

= , абсолютно сходится, т. е.

 

,

Мы можем менять члены ряда местами, но сумма ряда не изменится.

3) Произведение

Если

= − сходится абсолютно,

 

 

 

 

 

∑ = − сходится абсолютно,то

 

 

 

 

 

эти ряды можно перемножать:

 

 

 

∙ = ∙ ,

 

% =

 

 

 

 

 

% = ∙ + ∙ + + ∙

 

1

 

где % могут быть записаны по Коши:

 

 

'

 

 

 

Примечание

Сумма индексов должна быть равна n+1

Замечание 1

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

 

% = ∙ − сходится абсолютно

2

% = ∙ + ∙ + ∙ + ) ∙ + ∙ + ∙ ) +

Можно составить и в другом виде:

 

Сумма индексов в каждой скобке равняется n+1

Замечание 2

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

Пример1:

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −1 '

 

абсолютной сходимости нет

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд Лейбниского типа.

- = ; сходится условно, так как это

Возьмем второй ряд такого же вида, как и первый:

 

 

 

 

 

 

 

= ∑

−1 '

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится условно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

'

 

1

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

−1

 

,

 

−1

 

 

,

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/

1

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

= −1 '

 

+

√1 ∙

 

 

+ +

 

 

√1

0 = %

 

 

 

 

 

1 n

 

√1 ∙

√,

1

√, − 1

 

 

 

√, ∙

 

= , = 1 ≠ 0

|% | =

 

 

+ +

 

 

 

 

>

1

 

 

+ + +

 

 

1

 

Поведение c рассмотрим по модулю:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Не

 

√1 ∙ √,

 

 

 

√, ∙ √1 √, ∙ √,

 

 

 

 

√, ∙ √,

 

 

 

 

 

 

выполняется необходимый признак сходимости числового,

ряда =>

= > ряд из cn расходится по необходимому признаку сходимости.

Замечание 3

Для абсолютно сходящихся рядов имеют место все признаки сходимости, рассмотренные для положительных рядов:

 

; | |

 

 

 

 

 

 

 

 

lim

9| | = ; = <> 1, н с н

 

 

:

ряд сходится

 

 

= 1, . .

Признак Коши радикальный

 

< 1, ряд расходится

 

lim

 

= ; = <> 1, н с н

 

 

| |

ряд сходится

 

 

= 1, . .

Признак Даламбера

 

| |

< 1, ряд расходится

Признаки сравнения.

Алгоритм исследования знакочередующихся рядов

1) Проверка необходимого признака сходимости ряда:

lim ≠ 0,

;

lim

=0, то переходим к пункту 2

2)Проверка на абсолютную сходимость. Проверка достаточных признаков сходимости.то ряд расходится

сходится абсолютно.

| | − сходится =>

 

Исследование закончено.

| | − расходится, то переходим к пункту 3

3) Исследование на условную сходимость(признак Лейбница для знакочередующихся рядов, если ряд знакопеременный, то признак АбеляДирихле и другие)

Пример 2

 

 

 

 

−1 ' ∙ ?)'@ - сходится абсолютно, т.к.

1 lim?)'@

= 0 − необходимый признак выполняется;

2) Исследование на абсолютную сходимость

A3, + 2B

 

.

по признаку Коши радикальному

2, − 1

 

сх

 

:

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2, − 1

 

 

 

 

 

 

 

lim

C

A

3, + 2

B

 

 

=

3

< 1

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3

 

 

 

 

 

 

 

 

 

 

−1 ' D =

 

 

 

 

расх.

 

при.

 

0 < - ≤ 1

 

<

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сх абс при

 

 

 

 

 

 

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

 

сх

.усл .при

- > 1

 

 

 

 

 

 

.

 

 

 

- ≤ 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не выполняется необходимый признак

Пример 4

 

 

 

 

 

 

 

 

 

 

 

 

?QR @ − комплексный ряд, сх. Абсолютно, т.к.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

 

 

 

 

1

 

+ 1Y

;

ST 2, + T S = WC

 

 

 

 

4,

 

 

 

 

16,

 

4

 

 

 

 

:

 

| =

1

lim

C1 + 4,

=

1

< 1.

 

 

lim 9|Z

2

4,

 

 

2

 

 

→V

 

 

 

→V

 

 

 

 

 

 

 

Лекция 6

Глава 2.

Функциональные Ряды

Определение 10 (функционального ряда)

Функциональным рядом называется бесконечный ряд, члены которого есть функции, имеющие общую область определения X, вида:

 

 

,

;

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

общий член ряда;

 

 

 

=

 

частичная сумма ряда

 

2

 

 

S x

 

= lim S

x

 

 

 

 

3

 

 

 

 

 

 

сумма ряда

 

 

 

Пример1:

 

 

 

 

 

 

 

 

 

= 1 + + + + + , X=(-∞;+∞)

# = 2 ,

(4)

= 2

 

1 + 2

+ + 2 + −

.

,

 

 

1

 

 

 

1

 

1

геом прогрессия

1

ряд сходится

= 2

 

1 + 2 + + 2 − геом. прогрессия # = 2 > 1 − ряд расх.

Зам.1

У функционального ряда есть точки, где он сходится и точки, где он расходится.

Определение 11(точек сходимости функционального ряда)

т.x0 – точка сходимости функц. ряда (1)

% соотвестсующий числовой ряд сходится