Разложение функций в степенные ряды.
Разложение в ряд Фурье четных и нечетных функций разложение функции заданной на отрезке в ряд по синусам или по косинусам Ряд Фурье для функции с произвольным периодом Комплексная запись ряда Фурье Ряды Фурье по общим ортогональным системам функций Ряд Фурье по ортогональной системе Минимальное свойство коэффициентов Фурье Неравенство Бесселя Равенство Парсеваля Замкнутые системы Полнота и замкнутость систем
Разложение в ряд Фурье четных и нечетных функций Функция f(x), определенная на отрезке \-1, где I > 0, называется четной, если График четной функции симметричен относительно оси ординат. Функция f(x), определенная на отрезке J), где I > 0, называется нечетной, если График нечетной функции симметричен относительно начала координат. Пример. а) Функция является четной на отрезке |-jt, jt), так как для всех х е б) Функция является нечетной, так как Разложение в ряд Фурье четных и нечетных функций разложение функции заданной на отрезке в ряд по синусам или по косинусам Ряд Фурье для функции с произвольным периодом Комплексная запись ряда Фурье Ряды Фурье по общим ортогональным системам функций Ряд Фурье по ортогональной системе Минимальное свойство коэффициентов Фурье Неравенство Бесселя Равенство Парсеваля Замкнутые системы Полнота и замкнутость систем в) Функция f(x)=x2-x, где не принадлежит ни к четным, ни к нечетным функциям, так как Пусть функция f(x), удовлетворяющая условиям теоремы 1, является четной на отрезке х|. Тогда для всех т.е. /(ж) cos nx является четной функцией, a f(x)sinnx - нечетной. Поэтому коэффициенты Фурье четной функции /(ж) будут равны Следовательно, ряд Фурье четной функции имеет вид 00 Если f(x) - нечетная функция на отрезке [-тг, ir|, то произведение f(x)cosnx будет нечетной функцией, а произведение f(x) sin пх - четной функцией. Поэтому будем иметь Таким образом, ряд Фурье нечетной функции имеет вид Пример 1. Разложить в ряд Фурье на отрезке -х ^ х ^ п функцию 4 Так как эта функция четная и удовлетворяет условиям теоремы 1, то ее ряд Фурье имеет вид Находим коэффициенты Фурье. Имеем Применяя дважды интегрирование по частям, получим, что Значит, ряд Фурье данной функции выглядит так: или, в развернутом виде, Это равенство справедливо для любого х € , так как в точках х = ±ir сумма ряда совпадает со значениями функции f(x) = х2, поскольку Графики функции f(x) = х и суммы полученного ряда даны на рис. Замечание. Этот ряд Фурье позволяет найти сумму одного из сходящихся числовых рядов, а именно, при х = 0 получаем, что Пример 2. Разложить в ряд Фурье на интервале функцию /(х) = х. Функция /(х) удовлетворяет условиям теоремы 1, следовательно ее можно разложить в ряд Фурье, который в силу нечетности этой функции будет иметь вид Интегрируя по частям, находим коэффициенты Фурье Следовательно, ряд Фурье данной функции имеет вид Это равенство имеет место для всех х В точках х - ±тг сумма ряда Фурье не совпадает со значениями функции /(х) = х, так как она равна Вне отрезка [-*, я-] сумма ряда является периодическим продолжением функции /(х) = х; ее график изображен на рис. 6. § 6. Разложение функции, заданной на отрезке, в ряд по синусам или по косинусам Пусть ограниченная кусочно-монотонная функция / задана на отрезке . Значения этой функции на отрезке 0| можно доопределить различным образом. Например, можно определить функцию / на отрезке тс] так, чтобы /. В этом случае говорят, что) «продолжена на отрезок 0] четным образом»; ее ряд Фурье будет содержать только косинусы. Если же функцию /(ж) определить на отрезке [-л-, тс] так, чтобы /(, то получится нечетная функция, и тогда говорят, что / «продолжена на отрезок [-*, 0] нечетным образом»; в этом случае се ряд Фурье будет содержать только синусы. Итак, каждую ограниченную кусочно-монотонную функцию /(ж), определенную на отрезке , можно разложить в ряд Фурье и по синусам, и по косинусам. Пример 1. Функцию разложить в ряд Фурье: а) по косинусам; б) по синусам. М Данная функция при ее четном и нечетном продолжениях в отрезок |-х,0) будет ограниченной и кусочно-монотонной. а) Продолжим /(z) в отрезок 0) а) Продолжим j\x) в отрезок (-тг,0| четным образом (рис. 7), тогда ее ряд Фурье i будет иметь вид П=1 где коэффициенты Фурье равны соответственно для Следовательно, б) Продолжим /(z) в отрезок [-x,0] нечетным образом (рис. 8). Тогда ее ряд Фурье §7. Ряд Фурье для функции с произвольным периодом Пусть функция fix) является периодической с периодом 21,1 ^ 0. Для разложения ее в ряд Фурье на отрезке где I > 0, сделаем замену переменной, положив х = jt. Тогда функция F(t) = / ^tj будет периодической функцией аргумента t с периодом и ее можно разложить на отрезке в ряд Фурье Возвращаясь к переменной ж, т. е. положив, получим Все теоремы, справедливые для рядов Фурье периодических функций с периодом 2тг, остаются в силе и для периодических функций с произвольным периодом 21. В частности, сохраняет свою силу и достаточный признак разложимости функции в ряд Фурье. Пример 1. Разложить в ряд Фурье периодическую функцию с периодом 21, заданную на отрезке [-/,/] формулой (рис.9). Так как данная функция четная, то ее ряд Фурье имеет вид Подставляя в ряд Фурье найденные значения коэффициентов Фурье, получим Отметим одно важное свойство периодических функций. Теорема 5. Если функция имеет период Т и интегрируема, то для любого числа а выполняется равенство m. е. интеграл no отрезку, длина которого равна периоду Т, имеет одно и то же значение независимо от положения этого отрезка на числовой оси. В самом деле, Делаем замену переменной во втором интеграле, полагая. Это дает и следовательно, Геометрически это свойство означает, что в случае площади заштрихованных на рис. 10 областей равны между собой. В частности, для функции f(x) с периодом получим при Разложение в ряд Фурье четных и нечетных функций разложение функции заданной на отрезке в ряд по синусам или по косинусам Ряд Фурье для функции с произвольным периодом Комплексная запись ряда Фурье Ряды Фурье по общим ортогональным системам функций Ряд Фурье по ортогональной системе Минимальное свойство коэффициентов Фурье Неравенство Бесселя Равенство Парсеваля Замкнутые системы Полнота и замкнутость систем Пример 2. Функция x является периодической с периодом В силу нечетности данной функции без вычисления интегралов можно утверждать, что при любом Доказанное свойство, в частности, показывает, что коэффициенты Фурье периодической функции f(x) с периодом 21 можно вычислять по формулам где а - произвольное действительное число (отметим, что функции cos - и sin имеют период 2/). Пример 3. Разложить в ряд Фурье заданную на интервале функцию с периодом 2х (рис. 11). 4 Найдем коэффициенты Фурье данной функции. Положив в формулах найдем, что для Следовательно, ряд Фурье будет выглядеть так: В точке х = jt (точка разрыва первого рода) имеем §8. Комплексная запись ряда Фурье В этом параграфе используются некоторые элементы комплексного анализа (см. главу XXX, где все, производимые здесь действия с комплексными выражениями, строго обоснованы). Пусть функция f(x) удовлетворяет достаточным условиям разложимости в ряд Фурье. Тогда на отрезке ж] ее можно представить рядом вида Используя формулы Эйлера Подставляя эти выражения в ряд (1) вместо cos пх и sin пху будем иметь Введем следующие обозначения Тогда ряд (2) примет вид Таким образом, ряд Фурье (1) представлен в комплексной форме (3). Найдем выражения коэффициентов через интегралы. Имеем Аналогично находим Окончательно формулы для с„, с_п и со можно записать так: . . Коэффициенты с„ называются комплексными коэффициентами Фурье функции Для периодической функции с периодом) комплексная форма ряда Фурье примет вид где коэффициенты Сп вычисляются по формулам Сходимость рядов (3) и (4) понимается так: ряды (3) и (4) называются сходящимися для данного значения ж, если существуют пределы Пример. Разложить в комплексный ряд Фурье функцию периода Данная функция удовлетворяет достаточным условиям разложимости в ряд Фурье. Пусть Найдем комплексные коэффициенты Фурье этой функции. Имеем для нечетных для четных n, или,короче. Подставляя значения), окончательно получим Заметим, что этот ряд можно записать и так: Ряды Фурье по общим ортогональным системам функций 9.1. Ортогональные системы функций Обозначим через множество всех (действительных) функций, определенных и интегрируемых на отрезке [а, 6] с квадратом, т. е. таких, для которых существует интеграл В частности, все функции f(x), непрерывные на отрезке [а, 6], принадлежат 6], и значения их интегралов Лебега совпадают со значениями интегралов Римана. Определение. Система функций, где, называется ортогональной на отрезке [а, Ь\, если Условие (1) предполагает, в частности, что ни одна из функций не равна тождественно нулю. Интеграл понимается в смысле Лебега. и назовем величину нормой функции Если в ортогональной системе для всякого п имеем, то система функций называется ортонормированной. Если система {у>„(ж)} ортогональна, то система Пример 1. Тригонометрическая система ортогональна на отрезке. Система функций является ортонормированной системой функций на, Пример 2. Косинус-система и синус-система ортонормирована. Введем обозначение являются ортогональными на отрезке (0, f|, но не ортонормированными (при I Ф- 2). так как их нормы COS Пример 3. Многочлены, определяемые равенством, называются многочленами (полиномами) Лежандра. При п = 0 имеем Можно доказать, что функции образуют ортонормированную систему функций на отрезке. Покажем, например, ортогональность полиномов Лежандра. Пусть т > п. В этом случае, интегрируя п раз по частям, находим поскольку для функции t/m = (z2 - I)m все производные до порядка m - I включительно обращаются в нуль на концах отрезка [-1,1). Определение. Система функций {pn(x)} называется ортогональной на интервале (а, Ь) свесом р(х), если: 1) для всех п = 1,2,... существуют интегралы Здесь предполагается, что весовая функция р(х) определена и положительна всюду на интервале (а, Ь) за возможным исключением конечного числа точек, где р(х) может обращаться в нуль. Выполнив дифференцирование в формуле (3), находим. Можно показать, что многочлены Чебышева-Эрмита ортогональны на интервале Пример 4. Система функций Бесселя {jL(pix)^ ортогональна на интервале нули функции Бесселя Пример 5. Рассмотрим многочлены Чебышева-Эрмита, которые могут быть определены при помощи равенства. Ряд Фурье по ортогональной системе Пусть ортогональная система функций в интервале (a, 6) и пусть ряд (cj = const) сходится на этом интервале к функции f(x): Умножая обе части последнего равенства на - фиксировано) и интегрируя по ж от а до 6, в силу ортогональности системы получим, что Эта операция имеет, вообще говоря, чисто формальный характер. Тем не менее, в некоторых случаях, например, когда ряд (4) сходится равномерно, все функции непрерывны и интервал (a, 6) конечен, эта операция законна. Но для нас сейчас важна именно формальная трактовка. Итак, пусть задана функция. Образуем числа с* по формуле (5) и напишем Ряд, стоящий в правой части, называется рядом Фурье функции f(x) относительно системы {^п(я)}- Числа Сп называются коэффициентами Фурье функции f(x) по этой системе. Знак ~ в формуле (6) означает лишь, что числа Сп связаны с функцией /(ж) формулой (5) (при этом не предполагается, что ряд справа вообще сходится, а тем более сходится к функции f(x)). Поэтому естественно возникает вопрос: каковы свойства этого ряда? В каком смысле он «представляет» функцию f(x)? 9.3. Сходимость в среднем Определение. Последовательность, сходится к элементу ] в среднем, если норма в пространстве Теорема 6. Если последовательность } сходится равномерно, то она сходится и в среднем. М Пусть последовательность {)} сходится равномерно на отрезке [а, Ь] к функции /(х). Это означает, что для всякого при всех достаточно больших п имеем Следовательно, откуда вытекает наше утверждение. Обратное утверждение неверно: последовательность {} может сходиться в среднем к /(х), но не быть равномерно сходящейся. Пример. Рассмотрим последовательность пх Легко видеть, что Но эта сходимость не равномерна: существует е, например, такое, что сколь бы большим ни было л, на отрезке , Разложение в ряд Фурье четных и нечетных функций разложение функции заданной на отрезке в ряд по синусам или по косинусам Ряд Фурье для функции с произвольным периодом Комплексная запись ряда Фурье Ряды Фурье по общим ортогональным системам функций Ряд Фурье по ортогональной системе Минимальное свойство коэффициентов Фурье Неравенство Бесселя Равенство Парсеваля Замкнутые системы Полнота и замкнутость систем и пусть Обозначим через с* коэффициенты Фурье функции /(х) по ортонормированной системе ь Рассмотрим линейную комбинацию где n ^ 1 - фиксированное целое число, и найдем значения постоянных, при которых интеграл принимает минимальное значение. Запишем его подробнее Интефируя почленно, в силу ортонормированности системы получим Первые два слагаемых в правой части равенства (7) не зависят, а третье слагаемое неотрицательно. Поэтому интеграл (*) принимает минимальное значение при ак = ск Интеграл называют средним квадратичным приближением функции /(х) линейной комбинацией Тп(х). Таким образом, среднее квадратичное приближение функции/\ принимает минимальное значение, когда. когда Тп(х) есть 71-я частичная сумма ряда Фурье функции /(х) по системе {. Полагая ак = ск, из (7) получаем Равенство (9) называется тождеством Бесселя. Так как его левая часть неотрицательна, то из него следует неравенство Бесселя Поскольку я здесь произвольно, то неравенство Бесселя можно представить в усиленной форме т. е. для всякой функции / ряд из квадратов коэффициентов Фурье этой функции по ортонормированной системе } сходится. Так как система ортонормирована на отрезке [-х, тг], то неравенство (10) в переводе на привычную запись тригонометрического ряда Фурье дает соотношение do справедливое для любой функции /(х) с интегрируемым квадратом. Если f2(x) интегрируема, то в силу необходимого условия сходимости ряда в левой части неравенства (11) получаем, что. Равенство Парсе валя Для некоторых систем {^„(х)} знак неравенства в формуле (10) может быть заменен (для всех функций /(х) 6 Ч) знаком равенства. Получаемое равенство называется равенством Парсеваля-Стеклова (условием полноты). Тождество Бесселя (9) позволяет записать условие (12) в равносильной форме Тем самым выполнение условия полноты означает, что частичные суммы Sn(x) ряда Фурье функции /(х) сходятся к функции /(х) в среднем, т.е. по норме пространства 6]. Определение. Ортонормированная система { называется полной в Ь2[ау Ь], если всякую функцию можно с любой точностью приблизить в среднем линейной комбинацией вида с достаточно большим числом слагаемых, т. е. если для всякой функции/(х) € Ь2[а, Ь\ и для любого е > 0 найдется натуральное число nq и числа а\, а2у..., такие, что No Из приведенных рассуждений следует Теорема 7. Если ортонормированием система } полна в пространстве ряд Фурье всякой функции / по этой системе сходится к f(x) в среднем, т. е. по норме Можно показать, что тригонометрическая система полна в пространстве, Отсюда следует утверждение. Теорема 8. Если функция /о ее тригонометрический ряд Фурье сходится к ней в среднем. 9.5. Замкнутые системы. Полнота и замкнутость систем Определение. Ортонормированная система функций \, называется замкнутой, если в пространстве Li\a, Ь) не существует отличной от нуля функции, ортогональной ко всем функциям В пространстве L2\a, Ь\ понятия полноты и замкнутости ортонормированных систем совпадают. Упражнения 1. Разложите в ряд Фурье в интервале (-я-, ж) функцию 2. Разложите в ряд Фурье в интервале (-тг, тг) функцию 3. Разложите в ряд Фурье в интервале (-тг, тг) функцию 4. Разложите в ряд Фурье в интервале (-jt, тг) функцию 5. Разложите в ряд Фурье в интервале (-тг, тг) функцию f(x) = ж + х. 6. Разложите в ряд Фурье в интервале (-jt, тг) функцию п 7. Разложите в ряд Фурье в интервале (-тг, ж) функцию /(х) = sin2 х. 8. Разложите в ряд Фурье в интервале (-тг, jt) функцию f(x) = у 9. Разложите в ряд Фурье в интервале (-тт, -к) функцию /(х) = | sin х|. 10. Разложите в ряд Фурье в интервале (-я-, тг) функцию /(х) = §. 11. Разложите в ряд Фурье в интервале (-тг, тг) функцию f(x) = sin §. 12. Разложите в ряд Фурье функцию f(x) = п -2х, заданную в интервале (0, х), продолжив ее в интервал (-х, 0): а) четным образом; б) нечетным образом. 13. Разложите в ряд Фурье по синусам функцию /(х) = х2, заданную в интервале (0, х). 14. Разложите в ряд Фурье функцию /(х) = 3-х, заданную в интервале (-2,2). 15. Разложите в ряд Фурье функцию f(x) = |х|, заданную в интервале (-1,1). 16. Разложите в ряд Фурье по синусам функцию f(x) = 2х, заданную в интервале (0,1).
Если функция f(x) имеет на некотором интервале, содержащем точку а, производные всех порядков, то к ней может быть применена формула Тейлора:
,
где r n
– так называемый остаточный член или остаток ряда, его можно оценить с помощью формулы Лагранжа:
, где число x заключено между х и а.
Правила ввода функций :
Если для некоторого значения х
r n
→0 при n
→∞, то в пределе формула Тейлора превращается для этого значения в сходящийся ряд Тейлора
:
,
Таким образом, функция f(x) может быть разложена в ряд Тейлора в рассматриваемой точке х, если:
1) она имеет производные всех порядков;
2) построенный ряд сходится в этой точке.
При а =0 получаем ряд, называемый рядом Маклорена
:
,
Разложение простейших (элементарных) функций в ряд Маклорена:
Показательные функции
, R=∞
Тригонометрические функции
, R=∞
, R=∞
, (-π/2 < x < π/2), R=π/2
Функция actgx не разлагается по степеням x, т.к. ctg0=∞
Гиперболические функции
Логарифмические функции
, -1
Биномиальные ряды
.
Пример №1
. Разложить в степенной ряд функцию f(x)=
2 x
.
Решение
. Найдем значения функции и ее производных при х
=0
f(x)
= 2 x
, f(0)
= 2 0
=1;
f"(x)
= 2 x
ln2, f"(0)
= 2 0
ln2= ln2;
f""(x)
= 2 x
ln 2 2, f""(0)
= 2 0
ln 2 2= ln 2 2;
…
f (n) (x)
= 2 x
ln n
2, f (n) (0)
= 2 0
ln n
2= ln n
2.
Подставляя полученные значения производных в формулу ряда Тейлора, получим:
Радиус сходимости этого ряда равен бесконечности, поэтому данное разложение справедливо для -∞<x
<+∞.
Пример №2
. Написать ряд Тейлора по степеням (х
+4) для функции f(x)=
e x
.
Решение
. Находим производные функции e x
и их значения в точке х
=-4.
f(x)
= е x
, f(-4)
= е -4
;
f"(x)
= е x
, f"(-4)
= е -4
;
f""(x)
= е x
, f""(-4)
= е -4
;
…
f (n) (x)
= е x
, f (n) ( -4)
= е -4
.
Следовательно, искомый ряд Тейлора функции имеет вид:
Данное разложение также справедливо для -∞<x
<+∞.
Пример №3
. Разложить функцию f(x)
=lnx
в ряд по степеням (х-
1),
(т.е. в ряд Тейлора в окрестности точки х
=1).
Решение
. Находим производные данной функции.
f(x)=lnx , , , ,
f(1)=ln1=0, f"(1)=1, f""(1)=-1, f"""(1)=1*2,..., f (n) =(-1) n-1 (n-1)!
Подставляя эти значения в формулу, получим искомый ряд Тейлора:
С помощью признака Даламбера можно убедиться, что ряд сходится при ½х-1½<1 . Действительно,
Ряд сходится, если ½х-
1½<1, т.е. при 0<x
<2. При х
=2 получаем знакочередующийся ряд, удовлетворяющий условиям признака Лейбница. При х=0 функция не определена. Таким образом, областью сходимости ряда Тейлора является полуоткрытый промежуток (0;2].
Пример №4
. Разложить в степенной ряд функцию .
Пример №5
. Разложить в ряд Маклорена функцию .
Замечание
.
Этот метод основан на теореме о единственности разложения функции в степенной ряд. Сущность этой теоремы состоит в том, что в окрестности одной и той же точки не может быть получено два различных степенных ряда, которые бы сходились к одной и той же функции, каким бы способом ее разложение ни производилось. Пример №5а
. Разложить в ряд Маклорена функцию , указать область сходимости.
Дробь 3/(1-3x) можно рассматривать как сумму бесконечно убывающей геометрической прогрессии знаменателем 3x, если |3x| < 1. Аналогично, дробь 2/(1+2x) как сумму бесконечно убывающей геометрической прогрессии знаменателем -2x, если |-2x| < 1. В результате получим разложение в степенной ряд
Пример №6
. Разложить функцию в ряд Тейлора в окрестности точки х =3.
Пример №7
. Написать ряд Тейлора по степеням (х -1) функции ln(x+2) .
Пример №8
. Разложить функцию f(x)=sin(πx/4) в ряд Тейлора в окрестности точки x =2.
Пример №1
. Вычислить ln(3) с точностью до 0,01.
Пример №2
. Вычислить с точностью до 0,0001.
Пример №3
. Вычислить интеграл ∫ 0 1 4 sin (x) x с точностью до 10 -5 .
Пример №4
. Вычислить интеграл ∫ 0 1 4 e x 2 с точностью до 0,001.
В теории функциональных
рядов центральное место занимает раздел,
посвященный разложению функции в ряд. Таким образом,
ставится задача: по заданной функции
требуется
найти такой степенной ряд который на некотором
интервале сходился и его сумма была
равна
=
..
Эта задача называется
задачей
разложения функции в степенной ряд.
Необходимым
условием разложимости функции в степенной
ряд
является
её дифференцируемость бесконечное
число раз – это следует из свойств
сходящихся степенных рядов. Такое
условие выполняется, как правило, для
элементарных функций в их области
определения. Итак, предположим,
что функция
Допустим, что
функцию =
..
(*) где а
0 ,а
1 ,а
2 ,...,а
п
,...
– неопределенные
(пока) коэффициенты. Положим в равенстве
(*) значение х
= х
0 ,
тогда получим . Продифференцируем
степенной ряд (*) почленно =
..
и полагая здесь
х = х
0 ,
получим . При следующем
дифференцировании получим ряд =
..
полагая х
= х
0 ,
получим После п
-кратного
дифференцирования получим Полагая в последнем
равенстве х
= х
0 ,
получим
Итак, коэффициенты
найдены ,
подставляя которые
в ряд (*), получим Полученный
ряд называется рядом
Тейлора
для функции
Таким образом, мы
установили, что если
функцию можно разложить в степенной
ряд по степеням (х - х
0 ),
то это разложение единственно и полученный
ряд обязательно является рядом Тейлора.
Заметим,
что ряд Тейлора можно получить для любой
функции, имеющей производные любого
порядка в точке х
= х
0 .
Но это еще
не означает, что между функцией и
полученным рядом можно поставить знак
равенства, т.е. что сумма ряда равна
исходной функции. Во-первых, такое
равенство может иметь смысл только в
области сходимости, а полученный для
функции ряд Тейлора может и расходиться,
во-вторых, если ряд Тейлора будет
сходиться, то его сумма может не совпадать
с исходной функцией. Сформулируем
утверждение, с помощью которого будет
решена поставленная задача. Если функция
где
R
n
(х
)-остаточный
член формулы Тейлора – имеет вид (форма
Лагранжа)
где
точка
ξ
лежит между
х и х
0 . Отметим, что между
рядом Тейлора и формулой Тейлора имеется
различие: формула Тейлора представляет
собой конечную сумму, т.е. п
-
фиксированное
число. Напомним, что сумма
ряда S
(x
)
может быть
определена как предел функциональной
последовательности частичных сумм
S
п
(x
)
на некотором
промежутке Х
: . Согласно этому,
разложить функцию в ряд Тейлора означает
найти такой ряд, что для любого х
X
Запишем формулу
Тейлора в виде,
где Заметим, что Если
Тем самыммы доказали
критерий
разложимости функции в ряд Тейлора.
Для того, чтобы
в некотором промежутке функция
f
(х)
разлагалась в ряд Тейлора, необходимо
и достаточно, чтобы на этом промежутке
С помощью
сформулированного критерия можно
получить достаточные
условия
разложимости функции в ряд Тейлора.
Если в
некоторой
окрестности точки х
0
абсолютные величины всех производных
функции ограничены одним и тем же числом
М
≥ 0,
т.е.
,
т
о в этой
окрестности функция разлагается в ряд
Тейлора.
Из вышеизложенного
следует алгоритм
разложения
функции
f
(x
)
в ряд Тейлора
в
окрестности точки х
0 :
1.
Находим
производные функции f
(x
):
f(x),
f’(x), f”(x), f’”(x), f
(n)
(x),…
2. Вычисляем значение
функции и значения её производных в
точке х
0 f(x
0
),
f’(x
0
),
f”(x
0
),
f’”(x
0
),
f
(n)
(x
0
),…
3. Формально
записываем ряд Тейлора и находим область
сходимости полученного степенного
ряда. 4. Проверяем
выполнение достаточных условий, т.е.
устанавливаем, для каких х
из области
сходимости, остаточный член R
n
(x
)
стремится
к нулю при
Разложение функций
в ряд Тейлора по данному алгоритму
называют разложением
функции в ряд Тейлора по определению
или
непосредственным
разложением.
Которые уже порядком поднадоели. И я чувствую, что настал момент, когда из стратегических запасов теории пора извлечь новые консервы. Нельзя ли разложить функцию в ряд как-нибудь по-другому? Например, выразить отрезок прямой линии через синусы и косинусы? Кажется невероятным, но такие, казалось бы, далекие друг от друга функции поддаются На данном уроке мы познакомимся с тригонометрическим рядом Фурье, коснёмся вопроса его сходимости и суммы и, конечно же, разберём многочисленные примеры на разложение функций в ряд Фурье. Искренне хотелось назвать статью «Ряды Фурье для чайников», но это было бы лукавством, поскольку для решения задач потребуются знания других разделов математического анализа и некоторый практический опыт. Поэтому преамбула будет напоминать подготовку космонавтов =) Во-первых, к изучению материалов страницы следует подойти в отличной форме. Выспавшимися, отдохнувшими и трезвыми. Без сильных эмоций по поводу сломанной лапы хомячка и навязчивых мыслей о тяготах жизни аквариумных рыбок. Ряд Фурье не сложен с точки зрения понимания, однако практические задания требуют просто повышенной концентрации внимания – в идеале следует полностью отрешиться от внешних раздражителей. Ситуация усугубляется тем, что не существует лёгкого способа проверки решения и ответа. Таким образом, если ваше самочувствие ниже среднего, то лучше заняться чем-нибудь попроще. Правда. Во-вторых, перед полётом в космос необходимо изучить приборную панель космического корабля. Начнём со значений функций, которые должны щёлкаться на автомате: При любом натуральном значении : 1) . И в самом деле, синусоида «прошивает» ось абсцисс через каждое «пи»: 2) . А вот это знали не все. Косинус «пи эн» представляет собой эквивалент «мигалки»: Пожалуй, достаточно. И, в-третьих, уважаемый отряд космонавтов, необходимо уметь… интегрировать
. Пример 1
Вычислить определённые интегралы где принимает натуральные значения. Решение
: интегрирование проводится по переменной «икс» и на данном этапе дискретная переменная «эн» считается константой. Во всех интегралах подводим функцию под знак дифференциала
: Короткая версия решения, к которой хорошо бы пристреляться, выглядит так: Привыкаем: Четыре оставшихся пункта самостоятельно. Постарайтесь добросовестно отнестись к заданию и оформить интегралы коротким способом. Образцы решений в конце урока. После КАЧЕСТВЕННОГО выполнения упражнений надеваем скафандры Рассмотрим некоторую функцию , которая определена
по крайне мере на промежутке (а, возможно, и на бОльшем промежутке). Если данная функция интегрируема на отрезке , то её можно разложить в тригонометрический ряд Фурье
: При этом число называют периодом разложения
, а число – полупериодом разложения
. Очевидно, что в общем случае ряд Фурье состоит из синусов и косинусов: Действительно, распишем его подробно: Коэффициенты Фурье рассчитываются по следующим формулам: Прекрасно понимаю, что начинающим изучать тему пока малопонятны новые термины: период разложения
, полупериод
, коэффициенты Фурье
и др. Без паники, это не сравнимо с волнением перед выходом в открытый космос. Во всём разберёмся в ближайшем примере, перед выполнением которого логично задаться насущными практическими вопросами: Разложить функцию в ряд Фурье. Дополнительно нередко требуется изобразить график функции , график суммы ряда , частичной суммы и в случае изощрённых профессорский фантазий – сделать что-нибудь ещё. По существу, нужно найти коэффициенты Фурье
, то есть, составить и вычислить три определённых интеграла
. Пожалуйста, перепишите общий вид ряда Фурье и три рабочие формулы к себе в тетрадь. Я очень рад, что у некоторых посетителей сайта прямо на моих глазах осуществляется детская мечта стать космонавтом =) Пример 2
Разложить функцию в ряд Фурье на промежутке . Построить график , график суммы ряда и частичной суммы . Решение
: первая часть задания состоит в разложении функции в ряд Фурье. Начало стандартное, обязательно записываем, что: В данной задаче период разложения , полупериод . Разложим функцию в ряд Фурье на промежутке : Используя соответствующие формулы, найдём коэффициенты Фурье
. Теперь нужно составить и вычислить три определённых интеграла
. Для удобства я буду нумеровать пункты: 1) Первый интеграл самый простой, однако и он уже требует глаз да глаз: 2) Используем вторую формулу: Данный интеграл хорошо знаком и берётся он по частям
: При нахождении использован метод подведения функции под знак дифференциала
. В рассматриваемом задании сподручнее сразу использовать формулу интегрирования по частям в определённом интеграле
: Пара технических замечаний. Во-первых, после применения формулы всё выражение нужно заключить в большие скобки
, так как перед исходным интегралом находится константа . Не теряем её
! Скобки можно раскрыть на любом дальнейшем шаге, я это сделал в самую последнюю очередь. В первом «куске» проявляем крайнюю аккуратность в подстановке, как видите, константа не при делах, и пределы интегрирования подставляются в произведение . Данное действие выделено квадратными скобками. Ну а интеграл второго «куска» формулы вам хорошо знаком из тренировочного задания;-) И самое главное – предельная концентрация внимания!
3) Ищем третий коэффициент Фурье: Получен родственник предыдущего интеграла, который тоже интегрируется по частям
: Этот экземпляр чуть сложнее, закомментирую дальнейшие действия пошагово: (1) Выражение полностью заключаем в большие скобки
. Не хотел показаться занудой, слишком уж часто теряют константу . (2) В данном случае я немедленно раскрыл эти большие скобки. Особое внимание
уделяем первому «куску»: константа курит в сторонке и не участвует в подстановке пределов интегрирования ( и ) в произведение . Ввиду загромождённости записи это действие снова целесообразно выделить квадратными скобками. Со вторым «куском» всё проще: здесь дробь появилась после раскрытия больших скобок, а константа – в результате интегрирования знакомого интеграла;-) (3) В квадратных скобках проводим преобразования , а в правом интеграле – подстановку пределов интегрирования. (4) Выносим «мигалку» из квадратных скобок: , после чего раскрываем внутренние скобки: . (5) Сокращаем 1 и –1 в скобках, проводим окончательные упрощения. Наконец-то найдены все три коэффициента Фурье: Подставим их в формулу : При этом не забываем разделить пополам. На последнем шаге константа («минус два»), не зависящая от «эн», вынесена за пределы суммы. Таким образом, мы получили разложение функции в ряд Фурье на промежутке : Изучим вопрос сходимости ряда Фурье. Я объясню теорию, в частности теорему Дирихле
, буквально «на пальцах», поэтому если вам необходимы строгие формулировки, пожалуйста, обратитесь к учебнику по математическому анализу (например, 2-й том Бохана; или 3-й том Фихтенгольца, но в нём труднее)
. Во второй части задачи требуется изобразить график , график суммы ряда и график частичной суммы . График функции представляет собой обычную прямую на плоскости
, которая проведена чёрным пунктиром: Разбираемся с суммой ряда . Как вы знаете, функциональные ряды сходятся к функциям. В нашем случае построенный ряд Фурье при любом значении «икс»
сойдётся к функции , которая изображена красным цветом. Данная функция терпит разрывы 1-го рода
в точках , но определена и в них (красные точки на чертеже) Таким образом: . Легко видеть, что заметно отличается от исходной функции , именно поэтому в записи ставится значок «тильда», а не знак равенства. Изучим алгоритм, по которому удобно строить сумму ряда. На центральном интервале ряд Фурье сходится к самой функции (центральный красный отрезок совпадает с чёрным пунктиром линейной функции). Теперь немного порассуждаем о природе рассматриваемого тригонометрического разложения. В ряд Фурье входят только периодические функции (константа, синусы и косинусы), поэтому сумма ряда тоже представляет собой периодическую функцию
. Что это значит в нашем конкретном примере? А это обозначает то, что сумма ряда – непременно периодична
и красный отрезок интервала обязан бесконечно повторяться слева и справа. Думаю, сейчас окончательно прояснился смысл фразы «период разложения ». Упрощённо говоря, через каждые ситуация вновь и вновь повторяется. На практике обычно достаточно изобразить три периода разложения, как это сделано на чертеже. Ну и ещё «обрубки» соседних периодов – чтобы было понятно, что график продолжается. Особый интерес представляют точки разрыва 1-го рода
. В таких точках ряд Фурье сходится к изолированным значениям, которые расположены ровнёхонько посередине «скачка» разрыва (красные точки на чертеже). Как узнать ординату этих точек? Сначала найдём ординату «верхнего этажа»: для этого вычислим значение функции в крайней правой точке центрального периода разложения: . Чтобы вычислить ординату «нижнего этажа» проще всего взять крайнее левое значение этого же периода: . Ордината среднего значения – это среднее арифметическое суммы «верха и низа»: . Приятным является тот факт, что при построении чертежа вы сразу увидите, правильно или неправильно вычислена середина. Построим частичную сумму ряда и заодно повторим смысл термина «сходимость». Мотив известен ещё из урока о сумме числового ряда
. Распишем наше богатство подробно: Чтобы составить частичную сумму необходимо записать нулевой + ещё два члена ряда. То есть, На чертеже график функции изображен зелёным цветом, и, как видите, он достаточно плотно «обвивает» полную сумму . Если рассмотреть частичную сумму из пяти членов ряда , то график этой функции будет ещё точнее приближать красные линии, если сто членов – то «зелёный змий» фактически полностью сольётся с красными отрезками и т.д. Таким образом, ряд Фурье сходится к своей сумме . Интересно отметить, что любая частичная сумма – это непрерывная функция
, однако полная сумма ряда всё же разрывна. На практике не так уж редко требуется построить и график частичной суммы. Как это сделать? В нашем случае необходимо рассмотреть функцию на отрезке , вычислить её значения на концах отрезка и в промежуточных точках (чем больше точек рассмотрите – тем точнее будет график). Затем следует отметить данные точки на чертеже и аккуратно изобразить график на периоде , после чего «растиражировать» его на соседние промежутки. А как иначе? Ведь приближение – это тоже периодическая функция… …чем-то мне её график напоминает ровный ритм сердца на дисплее медицинского прибора. Выполнять построение, конечно, не сильно удобно, так как и приходится проявлять сверхаккуратность, выдерживая точность не меньше, чем до половины миллиметра. Впрочем, читателей, которые не в ладах с черчением, обрадую – в «реальной» задаче выполнять чертёж нужно далеко не всегда, где-то в 50% случаев требуется разложить функцию в ряд Фурье и всё. После выполнения чертежа завершаем задание: Ответ
: Во многих задачах функция терпит разрыв 1-го рода
прямо на периоде разложения: Пример 3
Разложить в ряд Фурье функцию , заданную на отрезке . Начертить график функции и полной суммы ряда. Предложенная функция задана кусочным образом (причём, заметьте, только на отрезке )
и терпит разрыв 1-го рода
в точке . Можно ли вычислить коэффициенты Фурье? Без проблем. И левая и правая части функции интегрируемы на своих промежутках, поэтому интегралы в каждой из трёх формул следует представить в виде суммы двух интегралов. Посмотрим, например, как это делается у нулевого коэффициента: Аналогично расписываются два других коэффициента Фурье. Как изобразить сумму ряда? На левом интервале чертим отрезок прямой , а на интервале – отрезок прямой (жирно-жирно выделяем участок оси ). То есть, на промежутке разложения сумма ряда совпадает с функцией везде, кроме трёх «нехороших» точек. В точке разрыва функции ряд Фурье сойдётся к изолированному значению, которое располагается ровно посередине «скачка» разрыва. Его нетрудно увидеть и устно: левосторонний предел: , правосторонний предел: и, очевидно, что ордината средней точки равна 0,5. В силу периодичности суммы , картинку необходимо «размножить» на соседние периоды, в частности изобразить то же самое на интервалах и . При этом, в точках ряд Фурье сойдётся к срединным значениям. По сути-то ничего нового здесь нет. Постарайтесь самостоятельно справиться с данной задачей. Примерный образец чистового оформления и чертёж в конце урока. Для произвольного периода разложения , где «эль» – любое положительное число, формулы ряда Фурье и коэффициентов Фурье отличаются немного усложнённым аргументом синуса и косинуса: Если , то получаются формулы промежутка , с которых мы начинали. Алгоритм и принципы решения задачи полностью сохраняются, но возрастает техническая сложность вычислений: Пример 4
Разложить функцию в ряд Фурье и построить график суммы. Решение
: фактически аналог Примера №3 с разрывом 1-го рода
в точке . В данной задаче период разложения , полупериод . Функция определена только на полуинтервале , но это не меняет дела – важно, что оба куска функции интегрируемы. Разложим функцию в ряд Фурье: Поскольку функция разрывна в начале координат, то каждый коэффициент Фурье очевидным образом следует записать в виде суммы двух интегралов: 1) Первый интеграл распишу максимально подробно: Второй интеграл берём по частям
: На что следует обратить пристальное внимание, после того, как мы звёздочкой открываем продолжение решения? Во-первых, не теряем первый интеграл , где сразу же выполняем подведение под знак дифференциала
. Во-вторых, не забываем злополучную константу перед большими скобками и не путаемся в знаках
при использовании формулы . Большие скобки, всё-таки удобнее раскрывать сразу же на следующем шаге. Остальное дело техники, затруднения может вызвать только недостаточный опыт решенияинтегралов. Да, не зря именитые коллеги французского математика Фурье возмущались – как это тот посмел раскладывать функции в тригонометрические ряды?! =) К слову, наверное, всем интересен практический смысл рассматриваемого задания. Сам Фурье работал над математической моделью теплопроводности, а впоследствии ряд, названный его именем стал применяться для исследования многих периодических процессов, коих в окружающем мире видимо-невидимо. Сейчас, кстати, поймал себя на мысли, что не случайно сравнил график второго примера с периодическим ритмом сердца. Желающие могут ознакомиться с практическим применением преобразования Фурье
в сторонних источниках. …Хотя лучше не надо – будет вспоминаться, как Первая Любовь =) 3) Учитывая неоднократно упоминавшиеся слабые звенья, разбираемся с третьим коэффициентом: Интегрируем по частям: Подставим найдённые коэффициенты Фурье в формулу , не забывая поделить нулевой коэффициент пополам: Построим график суммы ряда. Кратко повторим порядок действий: на интервале строим прямую , а на интервале – прямую . При нулевом значении «икс» ставим точку посередине «скачка» разрыва и «тиражируем» график на соседние периоды: Готово. Напоминаю, что сама функция по условию определена только на полуинтервале и, очевидно, совпадает с суммой ряда на интервалах Ответ
: Иногда кусочно-заданная функция бывает и непрерывна на периоде разложения. Простейший образец: . Решение (см. 2-й том Бохана)
такое же, как и двух предыдущих примерах: несмотря на непрерывность функции
в точке , каждый коэффициент Фурье выражается суммой двух интегралов. На промежутке разложения точек разрыва 1-го рода
и/или точек «стыка» графика может быть и больше (две, три и вообще любое конечное
количество). Если функция интегрируема на каждой части, то она также разложима в ряд Фурье. Но из практического опыта такую жесть что-то не припоминаю. Тем не менее, встречаются более трудные задания, чем только что рассмотренное, и в конце статьи для всех желающих есть ссылки на ряды Фурье повышенной сложности. А пока расслабимся, откинувшись в креслах и созерцая бескрайние звёздные просторы: Пример 5
Разложить функцию в ряд Фурье на промежутке и построить график суммы ряда. В данной задаче функция непрерывна
на полуинтервале разложения, что упрощает решение. Всё очень похоже на Пример №2. С космического корабля никуда не деться – придётся решать =) Примерный образец оформления в конце урока, график прилагается. С чётными и нечётными функциями процесс решения задачи заметно упрощается. И вот почему. Вернёмся к разложению функции в ряд Фурье на периоде «два пи» и произвольном периоде «два эль» . Предположим, что наша функция чётна. Общий же член ряда, как вы видите, содержит чётные косинусы и нечётные синусы. А если мы раскладываем ЧЁТНУЮ функцию, то зачем нам нечётные синусы?! Давайте обнулим ненужный коэффициент: . Таким образом, чётная функция раскладывается в ряд Фурье только по косинусам
: Поскольку интегралы от чётных функций
по симметричному относительно нуля отрезку интегрирования можно удваивать, то упрощаются и остальные коэффициенты Фурье. Для промежутка : Для произвольного промежутка: К хрестоматийным примерам, которые есть практически в любом учебнике по матанализу, относятся разложения чётных функций . Кроме того, они неоднократно встречались и в моей личной практике: Пример 6
Дана функция . Требуется: 1) разложить функцию в ряд Фурье с периодом , где – произвольное положительное число; 2) записать разложение на промежутке , построить функцию и график полной суммы ряда . Решение
: в первом пункте предлагается решить задачу в общем виде, и это очень удобно! Появится надобность – просто подставьте своё значение. 1) В данной задаче период разложения , полупериод . В ходе дальнейших действий, в частности при интегрировании, «эль» считается константой Функция является чётной, а значит, раскладывается в ряд Фурье только по косинусам: . Коэффициенты Фурье ищем по формулам . Обратите внимание на их безусловные преимущества. Во-первых, интегрирование проводится по положительному отрезку разложения, а значит, мы благополучно избавляемся от модуля , рассматривая из двух кусков только «икс». И, во-вторых, заметно упрощается интегрирование. Два: Интегрируем по частям: Таким образом: Ответ
: 2) Запишем разложение на промежутке , для этого в общую формулу подставляем нужное значение полупериода : Если функция f(x)
имеет на некотором интервале, содержащем точку а
, производные всех порядков, то к ней может быть применена формула Тейлора: где r n
– так называемый остаточный член или остаток ряда, его можно оценить с помощью формулы Лагранжа: , где число x заключено между х
и а
. Если для некоторого значения х r n
®0 при n
®¥, то в пределе формула Тейлора превращается для этого значения в сходящийся ряд Тейлора
: Таким образом, функция f(x)
может быть разложена в ряд Тейлора в рассматриваемой точке х
, если: 1) она имеет производные всех порядков; 2) построенный ряд сходится в этой точке. При а
=0 получаем ряд, называемый рядом Маклорена
: Пример 1
f(x)=
2 x
. Решение
. Найдем значения функции и ее производных при х
=0 f(x)
= 2 x
, f(0)
= 2 0
=1; f¢(x)
= 2 x
ln2, f¢(0)
= 2 0
ln2= ln2; f¢¢(x)
= 2 x
ln 2 2, f¢¢(0)
= 2 0
ln 2 2= ln 2 2; f (n) (x)
= 2 x
ln n
2, f (n) (0)
= 2 0
ln n
2= ln n
2. Подставляя полученные значения производных в формулу ряда Тейлора, получим: Радиус сходимости этого ряда равен бесконечности, поэтому данное разложение справедливо для -¥<x
<+¥. Пример 2
х
+4) для функции f(x)=
e x
. Решение
. Находим производные функции e x
и их значения в точке х
=-4. f(x)
= е x
, f(-4)
= е -4
; f¢(x)
= е x
, f¢(-4)
= е -4
; f¢¢(x)
= е x
, f¢¢(-4)
= е -4
; f (n) (x)
= е x
, f (n) ( -4)
= е -4
. Следовательно, искомый ряд Тейлора функции имеет вид: Данное разложение также справедливо для -¥<x
<+¥. Пример 3
. Разложить функцию f(x)
=lnx
в ряд по степеням (х-
1), (т.е. в ряд Тейлора в окрестности точки х
=1). Решение
. Находим производные данной функции. Подставляя эти значения в формулу, получим искомый ряд Тейлора: С помощью признака Даламбера можно убедиться, что ряд сходится при ½х-
1½<1. Действительно, Ряд сходится, если ½х-
1½<1, т.е. при 0<x
<2. При х
=2 получаем знакочередующийся ряд, удовлетворяющий условиям признака Лейбница. При х
=0 функция не определена. Таким образом, областью сходимости ряда Тейлора является полуоткрытый промежуток (0;2]. Приведем полученные подобным образом разложения в ряд Маклорена (т.е. в окрестности точки х
=0) для некоторых элементарных функций: (2) , (3) , (последнее разложение называют биномиальным рядом)
Пример 4
. Разложить в степенной ряд функцию Решение
. В разложении (1) заменяем х
на –х
2 , получаем: Пример 5
. Разложить в ряд Маклорена функцию Решение
. Имеем Пользуясь формулой (4), можем записать: подставляя вместо х
в формулу –х
, получим: Отсюда находим: Раскрывая скобки, переставляя члены ряда и делая приведение подобных слагаемых, получим Этот ряд сходится в интервале (-1;1), так как он получен из двух рядов, каждый из которых сходится в этом интервале. Замечание
. Формулами (1)-(5) можно пользоваться и для разложения соответствующих функций в ряд Тейлора, т.е. для разложения функций по целым положительным степеням (х-а
). Для этого над заданной функцией необходимо произвести такие тождественные преобразования, чтобы получить одну из функций (1)-(5), в которой вместо х
стоит k(х-а
) m , где k – постоянное число, m – целое положительное число. Часто при этом удобно сделать замену переменной t
=х-а
и раскладывать полученную функцию относительно t в ряд Маклорена. Этот метод иллюстрирует теорему о единственности разложения функции в степенной ряд. Сущность этой теоремы состоит в том, что в окрестности одной и той же точки не может быть получено два различных степенных ряда, которые бы сходились к одной и той же функции, каким бы способом ее разложение ни производилось. Пример 6
. Разложить функцию в ряд Тейлора в окрестности точки х
=3. Решение
. Эту задачу можно решить, как и раньше, с помощью определения ряда Тейлора, для чего нужно найти производные функции и их значения при х
=3. Однако проще будет воспользоваться имеющимся разложением (5): Полученный ряд сходится при или –3<x-
3<3, 0<x
< 6 и является искомым рядом Тейлора для данной функции. Пример 7
. Написать ряд Тейлора по степеням (х
-1) функции . Решение
. Ряд сходится при , или -2 < x
£ 5.
Решение
. В разложении (1) заменяем х на -х 2 , получаем:
, -∞
Решение
. Имеем
Пользуясь формулой (4), можем записать:
подставляя вместо х в формулу –х, получим:
Отсюда находим: ln(1+x)-ln(1-x) = -
Раскрывая скобки, переставляя члены ряда и делая приведение подобных слагаемых, получим
. Этот ряд сходится в интервале (-1;1), так как он получен из двух рядов, каждый из которых сходится в этом интервале.
Формулами (1)-(5) можно пользоваться и для разложения соответствующих функций в ряд Тейлора, т.е. для разложения функций по целым положительным степеням (х-а
). Для этого над заданной функцией необходимо произвести такие тождественные преобразования, чтобы получить одну из функций (1)-(5), в которой вместо х
стоит k(х-а
) m , где k – постоянное число, m – целое положительное число. Часто при этом удобно сделать замену переменной t
=х-а
и раскладывать полученную функцию относительно t в ряд Маклорена.
Решение. Сначала найдем 1-x-6x 2 =(1-3x)(1+2x) , .
на элементарные:
с областью сходимости |x| < 1/3.
Решение
. Эту задачу можно решить, как и раньше, с помощью определения ряда Тейлора, для чего нужно найти производные функции и их значения при х
=3. Однако проще будет воспользоваться имеющимся разложением (5):
=
Полученный ряд сходится при или –3
Решение
.
Ряд сходится при , или -2 < x < 5.
Решение
. Сделаем замену t=х-2:
Воспользовавшись разложением (3), в котором на место х подставим π / 4 t, получим:
Полученный ряд сходится к заданной функции при -∞< π / 4 t<+∞, т.е. при (-∞
, (-∞Приближенные вычисления с помощью степенных рядов
Степенные ряды широко используются в приближенных вычислениях. С их помощью с заданной точностью можно вычислять значения корней, тригонометрических функций, логарифмов чисел, определенных интегралов. Ряды применяются также при интегрировании дифференциальных уравнений.
Рассмотрим разложение функции в степенной ряд:
Для того, чтобы вычислить приближенное значение функции в заданной точке х
, принадлежащей области сходимости указанного ряда, в ее разложении оставляют первые n
членов (n
– конечное число), а остальные слагаемые отбрасывают:
Для оценки погрешности полученного приближенного значения необходимо оценить отброшенный остаток r n (x) . Для этого применяют следующие приемы:
Решение
. Воспользуемся разложением , где x=1/2 (см. пример 5 в предыдущей теме):
Проверим, можем ли мы отбросить остаток после первых трех членов разложения, для этого оценим его с помощью суммы бесконечно убывающей геометрической прогрессии:
Таким образом, мы можем отбросить этот остаток и получаем
Решение
. Воспользуемся биномиальным рядом. Так как 5 3 является ближайшим к 130 кубом целого числа, то целесообразно число 130 представить в виде 130=5 3 +5.
так как уже четвертый член полученного знакочередующегося ряда, удовлетворяющего признаку Лейбница, меньше требуемой точности:
, поэтому его и следующие за ним члены можно отбросить.
Многие практически нужные определенные или несобственные интегралы не могут быть вычислены с помощью формулы Ньютона-Лейбница, ибо ее применение связано с нахождением первообразной, часто не имеющей выражения в элементарных функциях. Бывает также, что нахождение первообразной возможно, но излишне трудоемко. Однако если подынтегральная функция раскладывается в степенной ряд, а пределы интегрирования принадлежат интервалу сходимости этого ряда, то возможно приближенное вычисление интеграла с наперед заданной точностью.
Решение
. Соответствующий неопределенный интеграл не может быть выражен в элементарных функциях, т.е. представляет собой «неберущийся интеграл». Применить формулу Ньютона-Лейбница здесь нельзя. Вычислим интеграл приближенно.
Разделив почленно ряд для sinx
на x
, получим:
Интегрируя этот ряд почленно (это возможно, так как пределы интегрирования принадлежат интервалу сходимости данного ряда), получаем:
Так как полученный ряд удовлетворяет условиям Лейбница и достаточно взять сумму первых двух членов, чтобы получить искомое значение с заданной точностью.
Таким образом, находим
.
Решение
.
. Проверим, можем ли мы отбросить остаток после второго члена полученного ряда.
≈0.0001<0.001. Следовательно, .
,
т.е.
имеет производные любого порядка. Можно
ли её разложить в степенной ряд, если
можно, то как найти этот ряд? Проще
решается вторая часть задачи, с неё и
начнем.
можно представить в виде суммы степенного
ряда, сходящегося в интервале, содержащем
точкух
0 :
,
откуда
.
,
откуда
,
,
…,
,….,
.
3.2. Достаточные условия разложимости функции в ряд Тейлора
в некоторой
окрестности точки х
0
имеет производные до (n
+
1)-го
порядка включительно, то в этой окрестности
имеет место
формула
Тейлора
определяет ту
ошибку, которую мы получаем, заменяй
функцию f
(x
)
многочленом
S
n
(x
).
,
то
,т.е. функция
разлагается в ряд
Тейлора. Инаоборот,
если
,
то
.
,
где
R
n
(x
)
- остаточный член ряда Тейлора.
или
.
«воссоединению». Помимо примелькавшихся степеней в теории и практике существуют и другие подходы к разложению функции в ряд.
. В случае отрицательных значений аргумента результат, само собой, будет таким же: .
Отрицательный аргумент дела не меняет: .
В частности, уверенно подводить функцию под знак дифференциала
, интегрировать по частям
и быть в ладах с формулой Ньютона-Лейбница
. Начнём важные предполётные упражнения. Категорически не рекомендую пропускать, чтобы потом не плющило в невесомости:
и готовимся к старту!Разложение функции в ряд Фурье на промежутке
, где – так называемые коэффициенты Фурье
.
Нулевой член ряда принято записывать в виде .Что нужно сделать в нижеследующих заданиях?
Как разложить функцию в ряд Фурье?
Второй интеграл оказался равным нулю, что убавило работы, но так бывает далеко не всегда.Разложение функции в ряд Фурье на произвольном периоде
2) Тщательным образом вглядываемся в поверхность Луны:
На «стыках» периодов сумма также будет равна серединам «скачка» разрыва .Разложение в ряд Фурье чётных и нечётных функций
, при этом константу , которая не зависит от «эн», выносим за пределы суммы.