Файл: МАТАН!!!!!!!!!!!.doc

1

ряд (222).Если же (333)расходится , то и ряд (222) также расходится.

Док-во: Рассмотрим криволинейную трапецию, ограниченную сверху графиком функции y=f(x), с боковых сторон прямыми x=1, x=n, снизу осью Ох. Впишем в эту трапецию и опишем около нее две ступенчатые фигуры, состоящие из прямоугольников с основаниями [1,2], [2,3],…, [n-1,n] и высотами f(1), f(2), f(3),…, f(n-1), f(n). Тогда, принимая во внимание геометрический смысл определённого интеграла, имеем

n

f(2)+f(3)+…+f(n)<f(x)dx (444)<f(1)+f(2)+…+f(n-1) , или, короче,

n 1

S_n-f(1)<f(x)dx<S_n-f(n).

1 n n

Отсюда получаем: S_n<f(1) + f(x)dx (1), S_n>f(n) + f(x)dx (2) ,где S_n –

1 1

частичные суммы рассматриваемого ряда. Пусть интеграл (444) сходится. Это значит, что существует lim (444)=I.

n Так как f(x)>0, то последовательность (444) возрастает с увеличением n и ограничена сверху своим пределом: (444)<I. Из неравенства (1) следует , что S_n<f(1) + I, т.е. последовательность частичных сумм {S_n} ряда (222) ограничена. По теореме о необходимом и достаточном условиях сходимости ряда с неотрицательными членами ряд (222) сходится.

Пусть теперь интеграл (333) расходится. В этом случае (444)+ при n (как монотонно возрастающая неограниченная последовательность). Из неравенства (2) следует, что S_n+ при n, т.е. последовательность частичных сумм {S_n} ряда (222) расходится и, следовательно, ряд расходится.

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

Знакочередующийся ряд можно записать в виде a₁-a₂+a₃-a₄+…+(-1)ⁿ⁺¹a_n+…, (1) где a_n>0. Признак сходимости Лейбница: теорема: Если абсолютные величины членов знакочередующегося ряда (1) монотонно убывают: a₁>a₂>a₃>…и общий член ряда стремится к нулю: lim a_n = 0, то ряд сходится.

n

Док-во: Пусть дан ряд (1) и пусть a_n>a_n+1 и a0 при n. Рассмотрим частичную сумму ряда с чётным числом членов S_2n=a₁-a₂+a₃-a₄+…+a_2n-1-a_2n=(a₁-a₂)+(a₃-a₄)+…+(a_2n-1-a_2n). Все разности в скобках в силу первого условия положительны, поэтому последовательность частичных сумм {S_2n}является возрастающей. Докажем, что она ограничена. Для этого представим S_2n в виде

S_2n=a₁-[(a₂-a₃)+(a₄-a₅)+…+(a_2n-2-a_2n-1)+a_2n]. Отсюда следует, что S_2n<a₁ для любого n, т.е. {S_2n} ограничена. Итак, последовательность {S_2n} возрастающая и ограниченна, следовательно, она имеет предел lim S_2n=S.

n

Покажем теперь, что и последовательность частичных сумм нечётного числа членов сходится у тому же пределу S. Действительно, S_2n+1=S_2n+a_2n+1. Переходя в этом равенстве к пределу при n и используя второе условие (a_n0 при n) , получаем:

lim S_2n+1 = lim (S_2n + a_2n+1) = lim S_2n + lim a_{2 +1} = S + 0 = S.

n n n n

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

45. Знакопеременные ряды, их сходимость.

Знакопеременный ряд: a₁ + a₂ +a₃+…+a_n+…= a_n (1), где числа а₁…могут быть как

n=1

положительными, так и отрицательными, причём расположение положительных и отрицательных членов в ряде произвольно. Одновременно рассматривается ряд, составленный из абсолютных величин членов ряда (1):

---



а₁+а₂+а₃+…+а_n+…=а_n (2).Такой признак сходимости – теорема:

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

Док-во: пусть ряд (2) сходится. Обозначим через S_n частичную сумму ряда (1), а через _n частичную сумму ряда (2): S_n= a₁ + a₂ +a₃+…+a_n; _n =а₁+а₂+а₃+…+а_n.Так как ряд (2) сходится, то последовательность его частичных сумм {_n} имеет предел lim _n=, при этом для любого n имеет место неравенство _n  (3), поскольку члены ряда (2) неотрицательны.

Обозначим через S’_n сумму положительных членов, а через S’’_n сумму модулей отрицательных членов, содержащихся в сумме S_n . Тогда: S_n = S’_n - S’’_n(4), _n = S’_n + S’’_n (5). Очевидно, последовательности { S’_n } и { S’’_n } не убывают, а из равенства (5) и неравенства (3) следует, что они являются ограниченными: S’_n _n  и S’’_n _n . Следовательно, существуют lim S’_n = S’ и lim S’’_n = S’’. Но в таком случае, в

n n

силу равенства (4), последовательность частичных сумм ряда (1) имеет предел :

lim S_n = lim ( S’_n - S’’_n)= lim S’_n - lim S’’_n = S’_n – S’’_n.

n n n n

Это означает, что ряд (1) сходится.

48Степенные ряды.

 Ряд вида a₀ + a₁x +a₂x² +a₃x³+…+a_nxⁿ+…=a_nxⁿ (1) называется степенным рядом.

n=0

Числа a₀, a_1, a_2,…,a_n,… называются коэффициентами степенного ряда.

Придавая х различные числовые значения , будем получать различные числовые ряды, которые могут оказаться сходящимися или расходящимися. Множество тех значений х , при которых ряд (1) сходится, называется областью его сходимости. Это множество всегда не пусто, т.к. любой степенной ряд сходится при х=0. Очевидно, что частичная сумма S_n (х)= a₀ + a₁x +…+a_nxⁿ является функцией переменной х. Поэтому и сумма ряда S также является некоторой функцией переменной х, определённой в области

сходимости ряда:

 

S=S(x)= a_nxⁿ (или f(x)= a_nxⁿ).

n=0 n=0

49. Теорема Абеля.

1. Если степенной ряд (1) сходится при х=х₀ (х₀ 0), то он сходится, и притом абсолютно, для всех х, удовлетворяющих условию я х< х₀.

2. Если ряд (1) расходится при х= х₁,то он расходится для всех х, удовлетворяющих условию х<х₁.



Док-во: 1)т.к. по условию числовой ряд a_nx₀ⁿ сходится, то его общий член a_nx₀ⁿ 0 при

n=0

n, откуда следует, что последовательность { a_nx₀ⁿ } ограничена , т.е. существует число M>0 такое, что  a_nx₀ⁿ <M, n =0, 1, 2… (2) Перепишем ряд (1) в виде

a₀ + а₁х₀ (х/х₀) + а₂х²₀ (х/х₀)² +…+ а_n хⁿ₀ (х/х₀)ⁿ +… (3) и рассмотрим ряд, составленный из абсолютных величин его членов : a₀+ а₁х₀х/х₀ + а₂х²₀х/х₀² +…+ а_n хⁿ₀х/х₀ⁿ +… (4).

Члены ряда (4) в силу неравенства (2) меньше соответствующих членов ряда

М+ Мх/х₀ + Мх/х₀² +…+Мх/х₀ⁿ +… (5) При  х< х₀ ряд (5) представляет собой геометрическую прогрессию со знаменателем q=х/х₀<1 и, следовательно, сходится.

Т.к. члены ряда (4) меньше соответствующих членов ряда (5) то, по признаку сравнения, ряд (4) также сходится, а это значит, что ряд (1) при  х< х₀ сходится абсоютно.

П
о условию, в точке x₁ ряд (1) расходится. Требуется показать, что он расходится для всех x , удовлетворяющих условию  х> х₁. Предположим обратное, т.е. допустим, что при некотором значении х таком, что  х> х₁, ряд (1) сходится. Тогда по только что доказанной первой части теоремы ряд (1) должен сходиться и в точке х₁, т.к.  х₁< х. Но это противоречит тому, что в точке х₁ ряд расходится.

---

Теорема Абеля утверждает, что если х₀ – точка сходимости степенного ряда, то во всех точках, расположенных на интервале (-х₀, х₀), этот ряд сходится абсолютно, а если х₁ – точка расходимости степенного ряда, то во всех точках, расположенных вне интервала (-х₁, х₁), ряд расходится.

49. Теорема об интервале сходимости степенного ряда.

Если ряд  а_n хⁿ (1) сходится на при всех значениях х и не только при х=0, то

n=0

существует число R>0 такое, что ряд абсолютно сходится при  х<R и расходится при  х>R.

Док-во: обозначим через Х множество точек х, в которых ряд (1) сходится. Покажем, что множество Х ограничено. Действительно, если взять точку х₁, в которой ряд расходится (по условию такие точки существуют), то по теореме Абеля для любого х из множества Х выполняется неравенство  х< х₁. Известно, что у ограниченного сверху множества существует ТВГ. Положим R = supx. Так как ряд сходится не

xХ

только при х=0, то R>0.

Возьмём теперь любое х, для которого  х< R. Согласно свойству ТВГ найдется х₀Х такое, что  х< х₀ R, откуда по теореме Абеля следует абсолютная сходимость ряда при взятом х.

Возьмём теперь любое х, для которого  х> R. Такое хХ. Следовательно, при этом х ряд расходится. 

Таким образом, решён вопрос об области сходимости степенного ряда. Интервал (-R,R) называется интервалом сходимости степенного ряда. Число R называется радиусом сходимости степенного ряда. Интервал сходимости некоторых рядов охватывает всю числовую прямую (в этом случае пишут R=), у других вырождается в одну точку R (R=0). Всякий степенной ряд имеет свой радиус сходимости R. При х = R ряд может либо сходиться, либо расходиться. Этот вопрос решается для каждого конкретного ряда.

49. Теорема о радиусе сходимости степенного ряда

Если существует предел lim a_n+1/a_n0 ,то радиус сходимости степенного ряда а_nхⁿ

n n=0

(1) равен R= lim a_n/a_n+1.

n 

Док-во: рассмотрим ряд а_nхⁿ(2). По условию существует предел lim a_n+1/a_n0.

n=0 n

Обозначим его через 1/R. Тогда lim a_n+1xⁿ⁺¹/a_nxⁿ=x lim a_n+1/a_n=x/R.

n n

При каждом значении х степенной ряд становится числовым рядом. Поэтому по признаку Даламбера ряд (2) также сходится, если x/R<1 ,т.е.  х< R. Следовательно, по теореме о сходимости знакопеременных рядов ряд (1) также сходится при  х< R, причём абсолютно. При  х> R ряд (1) расходится, т.к. lim a_n+1xⁿ⁺¹/a_nxⁿ=x/R>1 и ,

n

следовательно, общий член ряда а_nхⁿ не стремится к нулю при n.

Таким образом, данный ряд сходится внутри интервала (-R,R) и расходится вне его, т.е. радиус сходимости R= lim a_n/a_n+1

n

Замечание. Можно доказать, что если lim a_n+1/a_n= 0, то ряд (1) сходится на всей

n

числовой прямой, т.е. R=, а если lim a_n+1/a_n=,то ряд сходится только при х=0, т.е.

n

R=0.

---