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

матем_лекции

.doc
Скачиваний:
38
Добавлен:
28.03.2015
Размер:
2.76 Mб
Скачать

Тогда общее решение однородного уравнения . Ищем теперь частное решение неоднородного уравнения. Так как один корень характеристического уравнения совпадает с числом m=–1, то. Найдем  и  и подставим в данное уравнение  и Имеем

 . Тогда   .

Отсюда  и .

Общее решение неоднородного уравнения составим по формуле . Имеем .

Случай II. Пусть правая часть уравнения (18) представляет собой произведение показательной функции на многочлен, то есть имеет вид  где –многочлен n–й степени, то есть .

Тогда возможны следующие частные случаи.

1)Число m не является корнем характеристического уравнения . В этом случае частное решение нужно искать в виде

.

Действительно, найдем  и .

. Подставим  и  в уравнение с правой частью . Тогда имеем после сокращения на :

(22)

Здесь –многочлен n–й степени, –многочлен степени  n–1, –многочлен степени n–2. Таким образом, слева и справа от знака равенства стоят многочлены n–й степени. Приравнивая коэффициенты при одинаковых степенях x, получим систему для определения коэффициентов 

2)Число m является корнем характеристического уравнения, то есть . Тогда в уравнении (22) справа стоит многочлен степени n, а слева коэффициент  при  равен нулю, что означает, что в этой части уравнения стоит многочлен степени ниже, чем n. Тогда уравнение (22) ни при каких значениях  не может быть тождеством. Таким образом частное решение  не может быть найдено в виде .

В этом случае а)если один корень характеристического уравнения равен m, а другой отличен от m, то частное решение ищут в виде  и б)если оба корня , то частное решение ищут в виде .

Действительно, если решение ищут в виде , то мы имеем здесь многочлен степени . Тогда в уравнении (22) в левой части стоит многочлен степени n, так как , а производная многочлена степени  будет многочленом степени n. Аналогично рассуждаем и в том случае, когда .

Пример 14. Решить уравнение .

Решение. Находим общее решение уравнения . Корни характеристического уравнения  равны . Тогда .

Число  и не совпадает ни с одним из корней характеристического уравнения. Тогда частное решение неоднородного уравнения ищем в виде , где –многочлен первой степени с неопределенными коэффициентами. Найдем первую и вторую производные от   

Подставим  и  в исходное уравнение, сократим его на  и получим уравнение .

Отсюда . Приравниваем коэффициенты при одинаковых степенях x в левой и правой частях последнего уравнения:

x

2A=1

 

 

 

 

 

 

x0

3A+2B=0

 

 

Таким образом, , а общее решение исходного уравнения имеет вид: .

Замечание. Если правая часть линейного неоднородного уравнения имеет вид , то это является частным случаем  при . Тогда все рассмотренное для случая II остается справедливым и при . Так, если 1) среди корней характеристического уравнения нет равных 0, то частное решение ищут в виде ; 2) если , то ; 3) если , то .

Случай III. Пусть правая часть неоднородного уравнения (18) представлена в виде тригонометрического полинома

.

Ищем частное решение уравнения также в форме тригонометрического полинома

(23)

где A и B–неопределенные коэффициенты. Найдем  и :

Подставим  и  в уравнение

.

Имеем

Так как последнее равенство представляет собой тождество, то коэффициенты при  и  в левой и правой его частях должны быть равны друг другу:

Мы получили систему для определения коэффициентов A и B:

(24)

Эта система совместна, если ее определитель

 

 

∆=

 

 

 

 

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

Таким образом

1)если , то ;

2)если , то система (24) несовместна и тогда коэффициенты A и B из нее найти нельзя, значит, решение  придется искать не в виде (23), а иначе: .

Пример 15. Решить уравнение .

Решение. Характеристическое уравнение соответствующего однородного уравнения  имеет корни  . Тогда общее решение однородного уравнения имеет вид: .

Найдем теперь частное решение неоднородного уравнения. По виду правой части уравнения определяем число . Оно здесь равно 1, а так как , то  и, следовательно, частное решение уравнения с правой частью cosx будет иметь вид    Подставляя в уравнение  и , получим:

Приравнивая коэффициенты при cosx и sinx в левой и правой частях последнего соотношения, получаем  и , откуда имеем  и .

Тогда 

Замечание. Если правая часть линейного неоднородного уравнения (18) имеет вид , где  и –многочлены от x, то форма частного решения определяется так:

а)если число  не является корнем характеристического уравнения, то частное решение неоднородного уравнения следует искать в виде , где  и –многочлены, степень которых равна наивысшей степени многочленов  и ;

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

Подытожим все вышесказанное о виде частного решения уравнения , составив в заключение таблицу.

 

Примечание

I

1

2

3

A–неопределенный коэффициент

II

, где 

1

2

3

, где– неопределенные коэффициенты

III

1

2

3

Частные случаи:

IV

1

2

 

 

V

 где степени многочленов  и  могут быть разными, и один из многочленов может быть тождественно равен нулю.

1

2

Степень многочленов  и  равна максимальной из степеней многочленов  и .

Принцип наложения решений. Решение  уравнения , где правая часть есть сумма функций  и , можно представить в виде суммы , где  и  являются соответственно решениями уравнений  и 

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

Нахождение суммы ряда  часто связано с большими техническими трудностями. В таких случаях сумму находят приближенно: . Последнее равенство тем точнее, чем больше n, при условии, что ряд сходится. Сходимость или расходимость ряда во многих случаях можно установить с помощью достаточных признаков сходимости числовых рядов.

Будем сначала рассматривать числовые ряды с положительными членами: n=1,2,3, …. Для таких рядов частичные суммы , …, , … образуют возрастающую числовую последовательность

.

Возможны два случая:

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

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

Теорема: (признак сравнения)

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

(1)

(2)

причем  при всех .

Тогда:

1)если ряд (2) сходится, то сходится и ряд (1);

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

Доказательство: Обозначим n–е частичные суммы рядов (1) и (2):  . Пусть ряд (2) сходится. Это означает, что существует конечный . По условию , поэтому  при всех , то есть последовательность {} ограничена, следовательно, ряд (1) сходится. Пусть теперь ряд (1) расходится, то есть . Тогда из неравенства  следует, что , следовательно, ряд (2) расходится.

Замечания:

В силу теоремы 3 признак сравнения справедлив и в случае, если начиная с некоторого номера k, то есть при .

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

Пример: Исследовать на сходимость ряд

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

Теорема: (предельный признак сравнения)

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

(1)

(2)

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

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

 или  или

(3)

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

Аналогично доказывается, что из расходимости одного из рядов следует расходимость другого ряда. Рекомендуем эту часть доказать самостоятельно.

Замечание: Предельный признак сравнения рекомендуется применять в тех случаях, когда общий член ряда представляет собой отношение степенных функций. Для сравнения выбирается обобщенный гармонический ряд, общий член которого равен отношению старших степеней числителя и знаменателя общего члена данного ряда.

Пример: Исследовать на сходимость ряд

.

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

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

Теорема: (признак Даламбера)

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

(1)

и пусть существует . При <1 ряд сходится, при >1 ряд расходится.

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

 или

(2)

Пусть сначала . Выберем  так, что . Для всех nN имеем:

, …                        или

,…          или

(3)

Рассмотрим ряды:

(4)

(5)

Ряд (5) сходится, так это бесконечно убывающая геометрическая прогрессия. Тогда ряд (4) сходится по признаку сравнения (следует из (3)). Ряд (1) сходится по теореме 3. Пусть теперь >1. Выберем  так, что  Тогда из левой часть неравенства (2) следует, что при nN  или , то есть члены ряда возрастают с возрастанием номера n. Поэтому , следовательно, ряд расходится по следствию из необходимого признака сходимости. Теорема доказана.

Замечания.

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

При =1 признак Даламбера не дает ответа о сходимости ряда. В таких случаях нужно применять другие признаки сходимости.

Признак Даламбера рекомендуем применять при наличии в выражении общего члена ряда показательной функции или факториала.

Пример: Исследовать на сходимость ряд  

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

 .

следовательно, ряд сходится.

Теорема: (признак Коши)

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

(1)

и пусть существует .

При <1 ряд сходится, при >1 ряд расходится.

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

(2)

Пусть <1. Выберем  таким, чтобы выполнялось +=q<1.

Тогда из (2) получаем  или  для всех nN.

Рассмотрим ряды:

(3)

(4)

Ряд (4) сходится, так как это бесконечно убывающая геометрическая прогрессия; ряд (3) сходится по признаку сравнения  следовательно, по теореме (3) сходится ряд (1).

Пусть теперь >1. Выберем  так, чтобы выполнялось условие: .Тогда из (2) получаем  или Un>1, значит  и ряд (1) расходится по следствию из необходимого признака сходимости. Теорема доказана.

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

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

(1)

не возрастают: U1U2…Un… и пусть  такая положительная, непрерывная, невозрастающая на промежутке [1;) функция, что

 Тогда ряд (1) сходится или расходится одновременно с несобственным интегралом .

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

Построим график функции  на отрезке  и построим прямоугольники с основаниями  и высотами U1U2, … Un–1, а также с высотами U2U3, … Un.

Sn=U1+U2+…+Un–1+UnSвпис=U2·1+U3·1+…+Un·1=U2+U3+…+Un=SnU1Sопис=U1+U2+…+Un–1=SnUn

Площадь криволинейной трапеции  Получаем

.

Отсюда

(2)

(3)

Пусть  сходится. Это означает, что существует конечный предел . Соотношение (2) принимает вид:  при любом n. Это означает, что последовательность частичных сумм  ряда (1) ограничена, следовательно, ряд (1) сходится.

Пусть  расходится. Это означает, что  и тогда из (3) следует, что последовательность частичных сумм  ряда (1) неограничена, следовательно, ряд (1) расходится.

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

. При имеем

.

При k=1 имеем 

Таким образом, обобщенный гармонический ряд сходится при k>1 и расходится при k1.

4. Знакопеременные ряды

Определение: Числовые ряды, содержащие как положительные, так и отрицательные члены, называются знакопеременными рядами.

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

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

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

Теорема: (признак Лейбница)

Если для знакочередующегося числового ряда

(1)

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

Члены ряда убывают по модулю …>

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

Доказательство: Рассмотрим частичную сумму четного числа членов ряда

По условию U1>U2>…>U2n–1>U2n, то есть все разности в скобках положительны, следовательно, S2n возрастает с возрастанием n и S2n > 0 при любом n.

С другой стороны

S2n=U1–[(U2–U3)+(U4–U5)+…+(U2n–2–U2n–1)+U2n]

Выражение в квадратных скобках положительно и S2n>0, поэтому,

S2n<U1 для любого n. Таким образом, последовательность частичных сумм S2n возрастает и ограничена, следовательно, существует конечный . При этом 0<SU1, так как S2n<U1.

Рассмотрим теперь частичную сумму нечетного числа членов ряда

S2n+1=S2n+U2n+1.

Перейдём в последнем равенстве к пределу при n:

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

Пример: Исследовать на сходимость ряд.

Оба условия признака Лейбница выполняются, следовательно, ряд сходится.

Замечания.

Теорема Лейбница справедлива и если условие Un>Un+1 выполняется, начиная с некоторого номера N.

Вообще, условие Un>Un+1 не является необходимым. Ряд может сходиться, если оно не выполняется. Например, ряд  сходится, как разность двух сходящихся рядов , хотя условие

Un>Un+1 не выполняется.

Теорема: (Достаточный признак сходимости знакопеременного ряда)

Пусть

(2)

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

(3)

Тогда ряд (2) тоже сходится.

Доказательство: Рассмотрим вспомогательный ряд

(4)

Очевидно 0Un+|Un|2|Un| при всех n=1,2,3…. Ряд (3) сходится по условию, поэтому сходится ряд  и по признаку сравнения сходится ряд (4). Ряд (2) представляет собой разность двух сходящихся рядов (3) и (4), поэтому он тоже сходится. Теорема доказана.

Замечание:

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

5. Остаток ряда и его оценка

Рассмотрим сходящийся ряд

(1)

Вычисление суммы ряда  обычно технически очень сложно. Поэтому в качестве S берут Sn:SSn. Точность последнего равенства возрастает с увеличением n.

Определение: Если числовой ряд сходится, то разность Rn=SSn называется n–м остатком ряда.

Таким образом, Rn представляет собой сходящийся числовой ряд:

Rn=Un+1+Un+2+…

Заметим, что .

Абсолютная погрешность при замене суммы ряда S его частичной суммой Sn равна |Rn|=|SSn|.

Таким образом, если требуется найти сумму ряда с точностью до >0, то надо взять сумму такого числа n первых членов ряда, чтобы выполнялось условие: |Rn|<.

Однако в общем случает находить точно Rn не удается.

Теорема: (об оценке остатка знакочередующегося числового ряда)

Если знакочередующийся числовой ряд сходится по признаку Лейбница, то его n–й остаток по абсолютной величине не превосходит модуля (n+1)–го члена ряда.

Доказательство: Пусть ряд  сходится по признаку Лейбница. Тогда n–й остаток ряда Rn=(Un+1–Un+2+Un+3–…) сам является суммой знакочередующегося числового ряда и по теореме Лейбница |Rn||Un+1|. Теорема доказана.

Пример: Вычислить с точностью до 0,01 сумму ряда .

Очевидно, ряд сходится по признаку Лейбница. . Поэтому S1–0,1660,84.

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

1. Основные понятия

Определение. Ряд, члены которого являются функциями, называется функциональным рядом. Его обозначают:

(1)

Определение. Если при  ряд (1) сходится, то  называется точкой сходимости ряда (1).

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

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

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

Определение. Степенным рядом называется функциональный ряд вида:

(2)

где – некоторые числа, называемые коэффициентами степенного ряда.

Теорема (о структуре области сходимости степенного ряда).

Областью сходимости степенного ряда:

(2)

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

Доказательство. Рассмотрим ряд, составленный из абсолютных величин членов данного ряда:

(3)

 

Применим к ряду (3) признак Даламбера.

Возможны три случая.

1.Если  или , или , то ряд (3) сходится. Но тогда по достаточному признаку сходимости знакопеременного ряда сходится и ряд (2), причем абсолютно.

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

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

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

Замечание. Всякий степенной ряд (2) сходится при . Если других точек сходимости у ряда (2) нет, то считают, что . Если степенной ряд сходится во всех точках числовой прямой, то считают, что.

Примеры. Найти область сходимости степенного ряда.

1. 

Составим ряд из абсолютных величин членов данного ряда:  и применим к нему признак Даламбера: .

Ряд сходится, если  или –это и есть интервал сходимости. Исследуем концы этого интервала. При  получаем знакоположительный числовой ряд . Этот ряд расходится как обобщенный гармонический ряд с . При  получаем знакочередующийся числовой ряд . Применим к нему признак Лейбница.

1)>,

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

2. .

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

 

3..

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

Страница: 33 из 37;   <<назад ^ вперед>>

3. Свойства степенных рядов

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

1.Сумма  степенного ряда

(2)

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

2.Ряд

,

(4)

полученный почленным дифференцированием ряда (2), является степенным рядом с тем же, что и ряд (2), интервалом сходимости . Сумма ряда (4) .

Замечание. Ряд (4) также можно почленно дифференцировать и сумма полученного после этого ряда равна, и так далее. Таким образом, сумма  ряда (2) является бесконечно дифференцируемой функцией в интервале сходимости . Сумма ряда полученного из ряда (2) – кратным дифференцированием, равна . Область сходимости степенного ряда при дифференцировании не изменится.

3. Пусть числа  и  принадлежат интервалу сходимости ряда (2). Тогда имеет место равенство

(5)

4. Разложение функций в степенные ряды

Пусть функция  бесконечно дифференцируема в  и является суммой степенного ряда:

(1)

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

(1)

…   …   …  … …   …  …   …   …

 

…   …   …   …   …   …   …   …   …

Все ряды имеют интервалы сходимости . При из полученных тождеств получаем: , …, , … Отсюда находим коэффициенты степенного ряда (1): , …, , … Подставляем полученные значения коэффициентов в ряд (1), получаем

(2)

Ряд (2) называется рядом Тейлора для функции  в точке . В частном случае при  ряд (2) принимает вид:

(3)

и называется рядом Маклорена.

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

Пусть теперь дана бесконечно дифференцируемая в точке  функция . Составим для нее формально ряд Тейлора: .

Совпадает ли сумма полученного ряда Тейлора с функцией , для которой он составлен? Оказывается, не всегда. При каких условиях сумма ряда Тейлора совпадает с функцией, для которой он составлен?

Рассмотрим –ю частичную сумму ряда Тейлора:

(4)

Многочлен (4) называется многочленом Тейлора степени n. Разность  называется остаточным членом ряда Тейлора.

Теорема.

Для того, чтобы бесконечно дифференцируемая в точке  функция  являлась суммой составленного для нее ряда Тейлора, необходимо и достаточно, чтобы .

Можно показать, что остаточный член можно представить в форме Лагранжа:

, где –некоторое число из интервала . Таким образом

(5)

Формула (5) называется формулой Тейлора, а ее частный случай при  называется формулой Маклорена:

, где .

5. Разложение некоторых элементарных функций в ряды Тейлора и Маклорена

1.Разложение функции  в ряд Маклорена.

.

.

Составим для функции  формально ряд Маклорена:

.

Найдем область сходимости этого ряда  при любых x,

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

,, тогда  Таким образом, имеет место разложение при :

(1)

2. Разложение функции  в ряд Маклорена.

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

…   …   …   …  

…   …   …   …

Значение  и производных в точке 0: , …, .

Исследуем остаточный член ряда. , так как

.

, следовательно, и .

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

                 (2)

3. Разложение функции  ряд Маклорена.

Дифференцируя ряд (2) получаем разложение при :

                (3)

4. Биномиальный ряд.

Разложим в ряд Маклорена функцию , где –любое действительное число. Для этого вычислим производные.

,

,

,

…   …   …   …   …

,

…   …   …   …   …   …   .

При  получаем: ,…,,….

Можно показать, что областью сходимости ряда является промежуток  (на концах интервала ряд сходится или расходится в зависимости от конкретного значения ) и что . Таким образом, при  имеет место разложение   (4)

Ряд (4) называется биномиальным рядом.

5. Разложение функции  в ряд Тейлора.

При  функция  не определена, поэтому ее нельзя разложить в ряд Маклорена. Разложим ее в ряд Тейлора, например, по степеням . Для этого вычислим приводные.

, …, , ….

При  получаем: , …, , ….

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

   .      (5)

Замечание. Разложение функций в ряды Тейлора или Маклорена непосредственно часто связано с громоздкими вычислениями при нахождении производных и исследовании остаточного члена. На примерах покажем некоторые приемы, позволяющие избежать этих трудностей.

Пример 1. Разложить в степенной ряд функцию .

В формуле (1) сделаем замену переменной: , получим  при 

Переобозначим  на , получим нужное разложение:

Пример 2. Разложить в степенной ряд функцию .

Очевидно, . Обозначим  и воспользуемся биномиальным рядом при .

 

.           (6)

Возвращаясь к переменной , получаем при :

              (7)

Пример 3. Разложить в степенной ряд функцию.

Проинтегрируем обе части разложения (6) от 0 до  при :

 или

                 (8)

Можно показать что ряд (8) имеет область сходимости .

Пример 4. Разложить в степенной ряд функцию .

Проинтегрируем обе части разложения (7) от 0 до  при :

 или

                 (9)

Можно показать, что ряд (9)    имеет область сходимости .

6. Применение рядов к приближенным вычислениям

Числовые и функциональные ряды широко применяются в приближенных вычислениях. Рассмотрим это на примерах.

Пример 1. Вычислить  с точностью до 0,001.

Воспользуемся полученным разложением: .

Тогда:   

Так как ряд знакочередующийся и 0,0008<0,001, то все слагаемые, начиная с 0,0008, отбрасываем и при этом погрешность не превосходит 0,001.

Пример 2. Вычислить  с точностью до 0,001.

. Используем биномиальный ряд: .

Так как ряд знакочередующийся и 0,00096<0,001, то все слагаемые, начиная с 0,00096, отбрасываем и при этом погрешность не превосходит 0,001.

Пример 3. Вычислить  с точностью до 0,001.

Для функции  формула Тейлора имеет вид:

, где .

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

При  получаем:

.

Так как 0,0002<0,0005, то достаточно взять четыре слагаемых.

Пример 4. Проинтегрировать дифференциальное уравнение  методом последовательного дифференцирования.

Будем искать решение в виде ряда Маклорена:

.

 при .

При получаем:  при . Окончательно получаем

.

§3. Ряды Фурье

1. Разложение в ряд Фурье функций с периодом

Многие процессы, происходящие в природе и технике, обладают свойством повторяться через определённые промежутки времени. Такие процессы называются периодическими. Периодические процессы описываются периодическими функциями. Простейшими периодическими функциями с периодом являются  и . Легко показать, что функции  и  имеют период .

Вычислим несколько интегралов, которые нам понадобятся в дальнейшем.

k и n–натуральные числа

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

 (1)

Этот ряд называется тригонометрическим рядом, а числа –коэффициентами тригонометрического ряда.

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

            (2)

Предположим, что ряд (2) можно почленно интегрировать в пределах от –до , сделаем это.

.

 и , поэтому , откуда

.                              (3)

Умножим обе части равенства (2) на  и проинтегрируем получено равенство от –до .

Учитывая, что  ,

получаем . Отсюда .

Переобозначая  на , получаем

.                          (4)

Аналогично, умножая обе части равенства (2) на  и интегрируя от –до , получим

.                      (5)

Определение: Тригонометрический ряд , коэффициенты которого вычисляются по формулам (3), (4), (5), называется рядом Фурье, соответствующим функции , а числа , называются коэффициентами Фурье.

Мы предполагали, что функция  является суммой тригонометрического ряда, который можно почленно интегрировать от –до . Какова область сходимости построенного ряда Фурье? Сходится ли он к функции ? Ответы на эти вопросы даёт следующая теорема.

Теорема Дирихле:

Пусть периодическая функция  с периодом  на любом отрезке [] удовлетворяет условиям:

1)функция непрерывна на [] или имеет на нём конечное число точек разрыва I рода;

2)функция кусочно–монотонная на []. Тогда ряд Фурье, соответствующий этой функции, сходится во всех точках числовой оси. При этом в каждой точке непрерывности функции  сумма ряда Фурье  совпадает с . В каждой точке  разрыва I рода функции  имеем: .

Пример: Разложить в ряд Фурье функцию  на (–;] с периодом .

Получаем .

Замечание: Нетрудно показать, что если функция  имеет период , то

, где –любое число. Этот факт можно использовать при вычислении коэффициентов Фурье.

2. Ряды Фурье для четных и нечетных функций

Отметим некоторые известные свойства чётных и нечётных функций.

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

Если одна из функций  и  чётная, а другая нечётная, то их произведение  являются нечётной функцией

Если –нечётная на [–a;a] функция, то .

Если –чётная на  функция, то .

Учитывая эти свойства, разложение в ряд Фурье чётной или нечётной функции упрощается.

Пусть функция –чётная и удовлетворяет теореме Дирихле. Тогда функции –чётны, а –нечётные при любых n=1,2,... Поэтому

.

Ряд Фурье для чётной функции имеет вид:

Пусть функция нечётная и удовлетворяет теореме Дирихле. Тогда функции –нечётные, а

–четные при любых n=1,2,... Поэтому

.

Ряд Фурье для нечётной функции имеет вид:

.

Пример: Разложить в ряд Фурье функцию  при  с периодом . Данная функция четная, поэтому .

Заметим, что  

Получим ряд Фурье:

.

3. Ряд Фурье для функции с периодом

Пусть функция  имеет период , где –любое число. Сделаем замену переменной: , тогда функция  имеет период . Действительно, . Разложим функцию  в ряд Фурье, считая что она удовлетворяет теореме Дирихле. Получим

,

где .

Возвратимся к прежней переменной:–изменяется от  до , если  изменяется от до . Ряд Фурье имеет вид:

,

где .

Если функция –чётная с периодом , то . Ряд Фурье для четной функции имеет вид:

.

Если функция –нечётная с периодом , то . Ряд Фурье для нечётной функции имеет вид: .

Пример. Разложить в ряд Фурье функцию  при с периодом .

.

Получаем ряд Фурье:

.

4. Разложение в ряд Фурье непериодических функций

Если функция  задана на всей числовой оси и непериодическая, то её нельзя разложить в ряд Фурье, так как сумма тригонометрического ряда является периодической функцией.

Рассмотрим непериодическую непрерывную функцию  на промежутке  и построим ряд Фурье, который имел бы её своей суммой в этом интервале. Для этого рассмотрим вспомогательную функцию  с периодом  такую, что  при . Разложив в ряд Фурье функцию , мы получили тем самым разложение  на .

Если функция задана только в промежутке, то для разложения её в ряд Фурье на этом промежутке, нужно сначала продолжить её каким–то образом на промежуток, а затем продолжить периодически с периодом  на всю числовую ось. Чаще всего на промежуток  функцию продолжают чётным или нечётным образом.

Пример. Разложить функцию , заданную на [0;1] в ряд по синусам. Продолжим данную функцию в интервал  нечётным образом, а затем продолжим периодически с периодом  на всю числовую ось. Тогда .

Получаем ряд Фурье: .