Функция нескольких переменных

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

отличен от нуля. В противном  случае функции  линейно зависимы.

 

45. Числовые  ряды.

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

Определение 1. Пусть задана последовательность чисел.

а₁, а₂, а₃,..., а_n,...                                                      (1.1)

Выражение вида

                                                                                             (1.2)

называется рядом, а  число аn - его n-ным членом, n = 1,2,... .

Сразу же заметим, что  в нашем случае (1.2) - числовой ряд. Если же последовательность  есть последовательность функций, то ряд называется функциональным (аn = fn(x), n = 1,2,...).

Примеры.

аn = а×q^n-1,    .

 Понятно, что изучение  функциональных рядов всегда  можно свести к изучению числовых  рядов, зафиксировав х = х₀.

 Ряд (1.2) считается  заданным, если мы знаем его  общий член аn (то есть член, стоящий на n-ном месте). Из теории последовательностей мы знаем, что аn выражается как функция номера  n.

Определение 2. Конечная сумма первых n членов ряда называется n-й частичной суммой, а оставшиеся члены, начиная с n + 1, написанные в  том же порядке, что и в данном ряду, называется n-ным остатком ряда.

                                                                 (1.3)

Sn - n-ная частичная  сумма (n = 1,2,...,k)

Rn = a_n+1 + a_n+2 + ... + a_n+i + ... ,                              (1.4)

Rn - остаток ряда.

Определение 3. Ряд называется сходящимся, если последовательность его частичных сумм  сходится.   Если ряд не сходится, то говорят, что он расходится.

 Если ряд сходится, то  называется его суммой.

                                           .                                             (1.5)

 Если  ,     то .

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

 Числовые ряды - выражение  типа

(1)

- члены ряда, - общий член ряда.

 

 

 

 

Ряд считается заданным, если задан общий член. Сумма первых n членов ряда называется n-ной суммой членов ряда.

- называют суммой ряда (1) и говорят, что ряд сходится.

 Если предел не  существует, то ряд (1) считается  расходящимся.

Свойства рядов:

1) Если ряд (1) сходится, то сходится и ряд . (с - const)

2) Если ряд (1) сходится и ряд  сходится, то  сходится.

3) Если к ряду (1) прибавить  (или отбросить) конечное число  членов, то полученный ряд и  ряд (1) сходящиеся и расходящиеся  одновременно.

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

 Если не выполняется,  то расходится.

 Достаточное условие  расходимости ряда: если предел  или этот предел не существует, то ряд расходится.

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

 

46 Гармонический  ряд. Ряд  арифметической прогрессии.

Гармонический ряд – числовой ряд

.

Члены этого ряда обратны  соответствующим натуральным числам.

 

Как установил в 1673 г. Г. Лейбниц, этот ряд расходится, т.е. частичные суммы ряда, , неограниченно растут при неограниченном росте количества n членов сумм. Гармонический ряд обычно приводят как пример того, что стремление к нулю n-го члена ряда при неограниченном росте его номера еще не обеспечивает его сходимость, это лишь необходимый, а не достаточный признак сходимости.

 

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

 

Среднее гармоническое n положительных чисел, a1, a2, …, an равно    (здесь n ≥ 2).

 

Арифмети́ческая прогре́ссия — числовая последовательность вида

,

 

то есть последовательность чисел (членов прогрессии), каждое из которых, начиная со второго, получается из предыдущего добавлением к нему постоянного числа d (шага или разности прогрессии):

 

 

Любой член прогрессии может  быть вычислен по формуле общего члена:

Шаг прогрессии может  быть вычислен по формуле:

, если 

 

Если шаг d > 0, прогрессия является возрастающей; если d < 0, —  убывающей.

 

47   Ряды  с положительными членами 

Числовой ряд называется положительным, если все его элементы не отрицательны.

Теорема 1. Последовательность частичных сумм положительного ряда монотонно возрастает.

Доказательство. Пусть дан положительный числовой ряд

  , где  .         (А)

Рассматривается n-ная  частичная сумма

, тогда

,

это значит, что последовательность частичных сумм монотонно возрастает.

Рассматривается основная  в теории положительных рядов теорема.

Теорема 2. Необходимое  и достаточное условие сходимости положительного ряда. Для того чтобы положительный ряд сходился, необходимо и достаточно чтобы  последовательность частичных сумм была ограничена сверху.

Доказательство. Пусть дан положительный ряд

  , где  .         (А)

1) Необходимость. Пусть ряд (А) сходится, тогда .

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

2) Достаточность. Пусть последовательность частичных сумм  S_n ограничена сверху, значит, на основании теоремы Вейерштрасса, такая последовательность имеет конечный предел. Отсюда ряд (А) сходится.

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

  Признаки сходимости рядов с положительными членами

         Пусть дан ряд   все слагаемые которого положительны r<1 ряд будет абсолютно сходящимся, а при r>1 ряд будет расходящимся. При r=1 признак не дает ответа о сходимости ряда.

 

Свойства  абсолютно сходящихся рядов.

  1) Теорема. Для абсолютной сходимости ряда  необходимо и достаточно, чтобы его можно было представить в виде разности двух сходящихся рядов с неотрицательными членами.

  Следствие. Условно  сходящийся ряд является разностью  двух расходящихся рядов с  неотрицательными стремящимися к нулю членами.

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

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

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

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

  5) Если ряды  и   сходятся абсолютно и их суммы равны соответственно S и s, то ряд, составленный из всех произведений вида   взятых в каком угодно порядке, также сходится абсолютно и его сумма равна S×s - произведению сумм перемножаемых рядов.

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

 

48 Знакочередующийся  ряд можно записать в виде: где

Признак Лейбница.

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

Абсолютная  и условная сходимость рядов.

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

  (1)

и ряд, составленный из абсолютных величин членов ряда (1):         (2)

  Теорема. Из сходимости  ряда (2) следует сходимость ряда (1).

  Доказательство. Ряд (2) является рядом с неотрицательными членами. Если ряд (2) сходится, то по критерию Коши для любого e>0 существует число N, такое, что при n>N и любом целом p>0 верно неравенство:

По свойству абсолютных величин:

 

То есть по критерию Коши из сходимости ряда (2) следует сходимость ряда (1)

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

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

  Определение. Ряд  называется условно сходящимся, если он сходится, а ряд   расходится.

Признаки  Даламбера и Коши для знакопеременных  рядов.

Пусть - знакопеременный ряд.

  Признак Даламбера. Если существует предел , то при r<1 ряд будет абсолютно сходящимся, а при r>1 ряд будет расходящимся. При r=1 признак не дает ответа о сходимости ряда.

  Признак Коши. Если существует предел   , то при r<1 ряд будет абсолютно сходящимся, а при r>1 ряд будет расходящимся. При r=1 признак не дает ответа о сходимости ряда.

 

Свойства  абсолютно сходящихся рядов.

  1) Теорема. Для  абсолютной сходимости ряда  необходимо и достаточно, чтобы его можно было представить в виде разности двух сходящихся рядов с неотрицательными членами.

  Следствие. Условно  сходящийся ряд является разностью  двух расходящихся рядов с неотрицательными стремящимися к нулю членами.

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

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

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

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

  5) Если ряды  и   сходятся абсолютно и их суммы равны соответственно S и s, то ряд, составленный из всех произведений вида   взятых в каком угодно порядке, также сходится абсолютно и его сумма равна S×s - произведению сумм перемножаемых рядов.

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

 

49. функциональные  ряды…… .

Определение 1. Выражение вида

где -  функции переменной , называется функциональным рядом.

Определение 2. Областью определения функционального ряда называется пересечение областей определения его членов.

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

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

Определение 3. Точка из области определения ряда называется точкой сходимости функционального ряда (1.1), если числовой ряд

                                   ( ) ( ) … ( ) …

сходится.

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

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

Ясно, что область сходимости функционального ряда всегда является подобластью области определения этого ряда.

Очевидно, что в области  сходимости ряда его сумма является некоторой функцией от , поэтому сумму функционального ряда обозначают через ( ).

Пример. Рассмотрим функциональный ряд

Этот ряд сходится при всех значениях  , удовлетворяющих условию так как для каждого значения в интервале (-1;1) сумма ряда равна (сумма бесконечно убывающей геометрической прогрессии со знаменателем ). Таким образом, в интервале (-1;1) данный ряд определяет функцию

,

которая является суммой ряда, то есть

Отметим, что естественная область определения функции  шире области сходимости ряда

Определение 5. Обозначим через сумму первых членов       ряда (1.1)

.

Если ряд (1.1) сходится и его сумма равна  , то