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

2_sem_141

.pdf
Скачиваний:
16
Добавлен:
29.03.2016
Размер:
481.56 Кб
Скачать

Лекции по математическому анализу для студентов ф-та КНиИТ СГУ 141 группы

Л.В. Сахно

10 февраля 2015 г.

Содержание

1 Теория числовых рядов

3

1.1Числовой ряд и его сумма. Критерий Коши. Абсолютно сходящиеся ряды. . . . . . . . . . . . . . . . . . . . . . . . . 3

1.2Ряды с неотрицательными членами. . . . . . . . . . . . . . 6

1.3Абсолютно сходящиеся ряды и последовательности с ограниченной вариацией . . . . . . . . . . . . . . . . . . . . . . . 10

1.4Числовые ряды с произвольнами членами. Условно сходящиеся ряды . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.5Сумма ряда как обобщение суммы конечного числа слагаемых . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1.6Произведение числовых рядов . . . . . . . . . . . . . . . . . 17

2 Функциональные последовательности и ряды

19

2.1Поточечная и равномерная сходимость фунциональных последовательностей . . . . . . . . . . . . . . . . . . . . . . . . 19

2.2Непрерывность, дифференцируемость и интегрируемость предела . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

2.3Функциональные ряды. . . . . . . . . . . . . . . . . . . . . 24

2.4Степенные ряды . . . . . . . . . . . . . . . . . . . . . . . . . 27

3Глава. Дифференциальное исчисление функций многих

переменных

36

3.1 Пространство Rm и важнейшие классы его подмножеств . .

36

1

3.2Последовательности в Rm . . . . . . . . . . . . . . . . . . . . 40

3.3Предел функции в точке . . . . . . . . . . . . . . . . . . . . 42

3.4 Непрерывность функции в точке . . . . . . . . . . . . . . . 43

3.5Непрерывность функции на множестве . . . . . . . . . . . . 44

3.6Дифференцируемость в точке функции многих переменных 45

3.7Дифференцирование сложной функции. . . . . . . . . . . . 49

3.8Производная по направлению. Вектор градиент. . . . . . . 50

3.9Частные производные высших порядков и n - дифференцируемость . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

3.10Дифференциалы первого и высших порядков. . . . . . . . . 56

3.11Формула Тейлора. . . . . . . . . . . . . . . . . . . . . . . . . 57

3.12Экстремум функций многих переменных. . . . . . . . . . . 59

3.13Теорема о неявной функции. . . . . . . . . . . . . . . . . . . 63

3.14Дифференцируемость вектор-функций. Матрица Якоби и якобиан. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

3.15Условный экстремум. Метод Лагранжа. . . . . . . . . . . . 68

2

1Теория числовых рядов

1.1Числовой ряд и его сумма. Критерий Коши. Абсолютно сходящиеся ряды.

Определение 1.1. Пусть (an) - числовая последовательность. Опре-

делим новую последовательность (Sn) : Sn =

kn=1 ak; n 2 N:

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

an называют

последовательность

(Sn); an íàçû-

P

 

вают n-ым членом

ðÿäà,

Sn

-

n

-ой частной суммой ряда.

 

P

 

 

 

 

 

Если в R существует предел lim Sn = S; то S 2 R называют сум-

n!1

мой ряда и обозначают

1

 

 

S = an:

 

n=1

 

X

Если число S конечное, то ряд называют сходящимся, если S равно

+1; èëè 1; или предел nlim Sn не существует, то ряд называют

!1

 

расходящимся.

 

Замечание. Часто и сам ряд, и его сумму обозначают символом

 

1

 

X

S =

an;

n=1

и только по контексту определяют, о чем идет речь. Задание. Вычислите сумму

n

X

qk

k=1

и докажите, что при условии jqj < 1 ряд

+1

X

qk

k=1

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

Теория числовых рядов изучает последовательность (Sn) с точки зрения последовательности членов ряда an = Sn Sn 1; n 2 N(S0 = 0); которая характеризует скорость изменения последовательности (Sn):

3

Заметим, что произвольную последовательность (Sn) может рассматривать как ряд с членами an = Sn Sn 1; n 2 N(S0 = 0):

Имеется тесная связь теорией последовательностей и теорией рядов. Возможно формулировать теоремы на языке каждой из них, а также на смешанном языке.

Теорема 1.1.1. (необходимое условие сходимости ряда). Если ряд Pan

сходится, то lim an = 0:

n!1

Доказательство. Пусть ряд Pan сходится и его сумма равна числу S 2 R: Тогда

lim an = lim (Sn Sn 1) = S S = 0

n!1 n!1

øè, åñëè

 

Говорят, что ряд Pan

 

n+p

 

Определение 1.2.

 

удовлетворяет условию Ко-

8 > 0 9n 2 N 8n n 8p 2 N j

kX

 

akj < :

 

 

 

 

=n+1

P

 

тогда, когда он удовлетворяет условию

Теорема 1.1.2. (критерий Коши сходимости ряда). Ряд

an сходится

тогда и только

 

 

 

 

Êîøè.

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

ðÿä

P

n

 

> 0 n,

n n n

p ,

 

Sn+p

 

Sn

< :

a

 

сходится

(S ) сходится

(Sn) фундаментальна, т.е.

 

 

 

8

9 2 N 8 8 2 N j

 

 

j

 

Осталось заметить, что

 

 

 

 

 

 

 

 

 

 

 

 

 

n+p

n

 

 

n+p

 

 

 

 

 

 

 

Xk

X

 

 

X

 

 

 

 

 

 

Sn+p Sn = ak

ak =

 

 

ak:

 

 

 

 

 

 

=1

k=1

 

 

k=n+1

 

Теорема 1.1.3. (об арифметических действиях над сходящимися ря- дами). Пусть ряды Pan; Pbn сходятся и P1n=1 an = A; P1n=1 bn =

P

P

 

B; 2 R: Тогда ряды

(an + bn) è

an сходятся и

1

 

1

X

 

X

(an + bn) = A + B;

an = A:

n=1

 

n=1

4

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

1

n

 

 

n

n

X

X

 

Xk

X

 

(an + bn) = lim

(ak + bk) = lim

ak

+ bk =

n=1

n!1

 

n!1

 

k=1

 

=1

k=1

 

n

 

n

 

 

 

X

 

X

 

 

 

= lim

ak + lim

bk = A + B:

 

 

n!1 k=1

n!1 k=1

 

 

1

n

 

n

 

n

X

X

 

X

 

X

 

 

 

 

 

an = lim ak = lim

ak

= lim

ak = A:

n=1

n!1 k=1

n!1

k=1

n!1 k=1

Замечание. Понятие суммы ряда является обобщением (одним из возможных) понятия суммы конечного числа слагаемых на случай бесконечного числа слагаемых, т.е. целой последовательности слагаемых. В дальнейшем мы будем выяснять, какие свойства конечных сумм унаследовало понятие суммы ряда.

Окажется, что рядами , с которыми можно обращаться как с конеч- ными суммами, являются абсолютно сходящиеся ряды.

Определение 1.3. Ряд Pan называют абсолютно сходящимся, если сходится ряд Pjanj:

Теорема 1.1.4. (о сходимости абсолютно сходящегося ряда). Если ряд сходится абсолютно, то он сходится.

Доказательство. В силу свойств модуля

n+p n+p

XX

j

akj

jakj;

 

k=n+1

k=n+1

и остается воспользоваться критерием Коши сходимости числового ряда.

Исследуя ряд на абсолютную сходимость, мы будем иметь дело с рядом, члены которого неотрицательны. Изучим такие ряды.

5

Теорема 1.2.1.

1.2Ряды с неотрицательными членами.

Важной особенностью рядов с неотрицательными членами является тот факт, что последовательность частных сумм ряда (Sn) неубывает, и такой ряд всегда имеет сумму конечную, либо равную +1: Поэтому

факт сходимости такого ряда можно выражать неравенством

P1 an < +1:

n=1

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

Доказательство. Доказательство вытекает из теоремы Вейерштрасса о монотонных последовательностях.

Теорема 1.2.2. (интегральный признак сходимости). Пусть функция f неотрицательная и невозрастающая на промежутке [1; +1): Тогда

 

+1

f(x)dx è ðÿä Pf(n) сходятся или расходятся одновременно.

итеграл

R1

 

 

 

 

n

 

b

Доказательство. Обозначим Sn =

f(k) è F (b) =

f(x)dx: Соглас-

но условию при k = 1; 2; : : : имеем

Pk=1

 

R1

 

 

 

k+1

 

 

 

 

f(k + 1) Zk

f(x)dx f(k):

 

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

 

 

 

 

 

 

n

n+1

n

 

 

 

Z

 

 

 

 

k=1 f(k + 1)

f(x)dx k=1 f(k);

 

 

 

X

1

 

X

 

ò.å.

Sn+1 f(1) F (n + 1) Sn:

Так как функция F и последовательность (Sn) неубывают, то из последнего двойного неравенства вытекает, что ограниченность функции F равносильна ограниченности последовательности (Sn):

 

+1

 

Следовательно, интеграл

R

f(x)dx сходится тогда и только тогда,

 

1

 

когда сходится ряд Pf(n):

6

Задание. Пользуясь интегральным признаком сходимости, доказать,

÷òî ðÿä

X 1 np

сходится, если p > 1; и расходится, если p 1:

Замечание. Ðÿä

X 1 n

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

Определение 1.4. Пусть (an); (bn) - числовые последовательности.

an = O(bn) , 9C > 0 8n 2 N janj Cjbnj:

Теорема 1.2.3. (признак мажорации). Пусть 8n 2 N an 0;

bn 0; an = O(bn) è

n1=1 bn < +1: Тогда

n1=1 an < +1:

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

 

P

P

 

 

Èòàê,

 

 

 

 

9C > 0 8n 2 N 0 an Cbn:

Поэтому

 

n

n

 

 

 

 

 

 

X

X

 

0 ak C bk:

k=1 k=1

Переходя далее к пределу при n ! +1; получим

11

XX

 

0 ak C

bk < +1:

 

 

k=1

k=1

 

 

 

 

Следствие 1.

Пусть 8n 2 N an 0; bn > 0; последовательность

an сходится и

1

Тогда

 

1

 

( bn )

Доказательство.PИз условия вытекает,P

n=1 an < +1:

( bn )

n=1 bn < +1:

 

 

 

 

 

 

что последовательность

an îãðà-

ничена. т.е.

 

 

 

an

 

 

 

 

 

 

 

9C > 0 8n 2 N 0

 

C;

 

 

bn

 

и, следовательно, an = O(bn): Осталось воспользоваться теоремой (1.2.3).

7

Следствие 2. Пусть 8n 2 N an > 0; bn > 0;

 

an

 

bn è

 

 

 

 

 

 

 

 

 

 

an+1

 

bn+1

n1=1 bn < +1: Тогда

n1=1 an < +1:

 

 

 

 

 

 

 

 

P

P

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an+1

an

 

a1

 

 

 

 

 

 

0 <

 

 

 

 

 

: : :

 

;

 

 

 

 

 

bn+1

bn

b1

 

 

 

 

и, следовательно, an = O(bn): Осталось воспользоваться теоремой.

Теорема 1.2.4. (признак сравнения в предельной форме). Пусть 8n 2 N an > 0; bn > 0; и существует конечный предел

lim an = k 6= 0:

n!1 bn

Тогда ряды Pan è Pbn ведут себя одинаково.

Доказательство. В силу следствия 2 теоремы (1.2.3) из сходимости ряда

bn вытекает сходимость ряда

 

an:

 

 

 

 

 

P Поскольку

 

P

 

 

 

 

 

 

 

lim

bn

=

1

;

 

 

 

 

 

 

 

 

 

 

 

 

n!1 an

k

 

 

 

то в силу того же следствия из сходимости ряда

a

 

вытекает сходи-

мость ряда bn:

 

 

 

 

 

 

 

 

P

n

qn; 0 < q < 1;

Посредством сравнения ряда со сходящимся рядом

P

 

 

 

 

 

 

 

 

 

 

P

получим признаки Даламбера и Коши.

 

 

 

 

Теорема 1.2.5. (признак Даламбера). Пусть 8n 2 N an > 0 è

 

 

lim

an+1

= :

 

 

 

 

 

 

 

 

 

 

 

n!1

 

an

 

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

1) åñëè < 1; òî ðÿä

an сходится;

 

 

 

2) åñëè > 1; òî ðÿä

Pan расходится;

 

 

 

3) åñëè = 1; òî

вопрос о сходимости ряда остается открытым.

 

P

 

 

 

 

 

 

 

 

 

Доказательство. 1) Пусть < 1 и < q < 1: В силу порядковых свойств предела

an+1

 

qn+1

9n0 8n n0

 

< q =

 

an

qn

8

Поскольку ряд

qn при 0 < q < 1 сходится, то на основании следствия

2 теоремы

 

P

 

P

n

2) Пусть > 1: Тогда

 

 

 

(1.2.3) делаем вывод о сходимости ряда

a :

 

 

9n0 8n n0

an+1

> 1;

 

 

 

 

an

 

 

ò.å. an+1 > an ïðè n n0: В этом случае an 6= o(1); следовательно ряд an расходится.

P

3)

Для рядов

1

 

1

указанное в теореме число = 1; в то время

n è

 

n2

 

 

расходится, а другой сходится.

êàê îäèí èç íèõ P

 

P

 

 

 

 

 

 

 

Теорема 1.2.6. (признак Коши ). Пусть 8n 2 N an 0 è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

lim pan = :

 

 

 

 

 

 

 

 

n!1

Тогда

 

 

 

 

 

 

 

 

 

 

1)

åñëè < 1; òî ðÿä

 

 

an сходится;

 

2)

åñëè > 1; òî ðÿä

Pan расходится;

 

3)

åñëè = 1; òî

вопрос о сходимости ряда остается открытым.

 

 

P

Доказательство. 1) Пусть < 1 и < q < 1: Согласно определению верхнего предела найдется номер n0; начиная с которого

n

 

 

n

 

 

pan sup

pan < q;

 

 

n n0

 

 

 

ò.å. an < qn:

 

 

 

 

 

 

 

 

 

 

 

Поскольку ряд

 

qn; 0 < q < 1; сходится, то заключение верно в силу

признака

мажорации.

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

2) Если q > 1; то для бесконечного числа значений n

n

 

 

1: Ñëå-

pa

n

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

= o(1); и ряд расходится.

 

 

 

 

 

 

n 6

1

1

 

 

 

 

 

 

 

3) Для рядов

 

 

 

указанное в теореме число

= 1; в то время

 

 

 

êàê îäèí èç íèõ P n è P n2

 

 

 

 

 

 

 

расходится, а другой сходится.

9

1.3Абсолютно сходящиеся ряды и последовательности с ограниченной вариацией

Определение 1.5. Пусть a 2 R: Положим

a+ =

jaj + a

; a =

jaj a

:

2

2

 

Число a+ называют положительной частью числа a; a - отрица- тельной частью.

Отметим очевидные соотношения

0 a+ jaj;

a = a+ a ;

0 a jaj:

jaj = a+ + a :

Для любого числового ряда имеем равенства

X X X an = a+n an ;

X X X janj = a+n + an :

Теорема 1.3.1. (необходимое и достаточное условие абсолютной схо-

димости ряда). Ряд Pan абсолютно сходится тогда и только тогда, когда сходятся ряды Pa+n è Pan :

Доказательство. Доказать самостоятельно.

верно равенство

P

n

 

 

Слествие. Åñëè ðÿä

a

 

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

 

1

 

1

1

 

X

 

X

X

 

an = an+ an :

 

n=1

 

n=1

n=1

Определение 1.6. Говорят, что последовательность (Sn) имеет огра-

P1

ниченную вариацию, если n=1 jSn Sn 1j < +1; (S0 = 0):

Очевидно следующее утверждение.

Утверждение.Ðÿä Pan абсолютно сходится тогда и только тогда, когда последовательность частных сумм (Sn) имеет ограниченную вариацию.

10