Цель работы: приобрести практические навыки исследования поведения функции, представленной разложением в ряд Тейлора.
Необходимое оборудование и программное обеспечение: для выполнения лабораторной работы необходима ПЭВМ на базе микропроцессора с системой команд ix86, среда программирования любого языка высокого уровня или пакеты математических инструментальных сред, табличный процессор Excel.
Задание:
Получите у преподавателя № варианта. Выполните разложения функции Вашего варианта в двух точках интервала изменения аргумента в ряд Тейлора (Маклорена), удерживая пять ненулевых членов. Точки разложения выбрать в середине интервала изменения аргумента и на одном из его концах. Для каждой точки разложения получите отдельно три рабочих реализации Вашей функции: первая содержит три ненулевых члена ряда Тейлора, вторая – четыре, третья – пять. Итого должно быть шесть рабочих реализаций. Выполните вычисления и постройте графики: эталонной функции, всех рабочих реализаций, ошибок каждой реализации. Всего должно быть тринадцать графиков. Для каждой реализации рассчитайте среднеквадратичное значение ошибки, математическое ожидание, максимальную приведенную относительную погрешность на всем интервале изменения аргумента. Проанализируйте качество воспроизведение заданной Вам функции. Из всех шести рабочих реализаций выберете одну, которая позволяет вычислять Вашу функцию с приведенной относительной погрешностью 0,5% на наибольшем интервале изменения аргумента. С этой, самой лучшей реализацией, Вы будете выполнять последующие лабораторные работы.
Оформите отчет.
Содержание отчета: тема, цель работы, используемое оборудование и программное обеспечение, дата проведения эксперимента, № варианта; расчеты коэффициентов рабочих реализаций; графики: эталонной, рабочих реализаций (шесть графиков), ошибок (шесть графиков); числовые характеристики ошибок; анализ и оценка качества воспроизведения заданной функции; выводы.
Продолжительность работы. Работа должна быть выполнена за 4 академических часа. Варианты заданий приведены в таблице 1.1
Таблица 1.1
№
вар.
Функция
Диапазон изменения аргумента
Шаг
аргумента
[0,0625; 8]
0,125
[0,125; 4]
0,0625
[0;4]
0,0625
[0; 3]
0,0625
[0,0625; 2,5]
0,0625
[0,0625; 2,5]
0,0625
[0,0625; 2,5]
0,0625
[-1,5; 1,5]
0,03125
[0,0625; 1,5]
0,03125
[0,0625; 1,5]
0,03125
[0,0625; 1,5]
0,03125
[-0,9; 0,9]
0,03125
[-0,9; 0,9]
0,03125
[-5; 5]
0,125
[-5; 5]
0,125
[-5; 5]
0,125
[-5; 5]
0,125
[-5; 5]
0,125
[-2; 4]
0,0625
[-2; 4]
0,0625
[0; 5]
0,0625
[0; 4]
0,125
[0,0625; 8]
0,125
[-1; 4]
0,0625
Продолжение таблицы 1.1
[0,125; 4]
0,0625
[-1,5; 1,5]
0,0625
[0,0625; 5]
0,0625
[-4; 4]
0,0625
[-4; 4]
0,0625
[-1; 3]
0,0625
[0,0625; 4]
0,0625
[-4; 4]
0,0625
[0; 3]
0,0625
[0; 4]
0,0625
[0; 1,5]
0,0625
[0; 4]
0,0625
[0; 4]
0,0625
[-2; 4]
0,0625
[-1,5; 1,5]
0,03125
[-2; 4]
0,0625
32 - Жуков
35 – Сиркина
39 – Сиркин
Пример выполнения лабораторной работы.
Исходная функция , диапазон изменения аргумента , шаг изменения аргумента .
Получим с помощью Excel значения заданной функции (таблица 1.2) и построим ее график (рисунок 1.1). Эти значения функции и ее график примем как эталонные.
Таблица 1.2
Значения заданной функции
–3,25
–0,994129676
–1
0,540302306
1,25
0,315322362
–3,125
–0,999862345
–0,875
0,640996858
1,375
0,194547708
–3
–0,989992497
–0,75
0,731688869
1,5
0,070737202
Продолжение таблицы 1.2
–2,875
–0,964674146
–0,625
0,81096312
1,625
–0,054177135
–2,75
–0,924302379
–0,5
0,877582562
1,75
–0,178246056
–2,625
–0,869507181
–0,375
0,930507622
1,875
–0,299533506
–2,5
–0,801143616
–0,25
0,968912422
–0,416146837
–2,375
–0,720278471
–0,125
0,992197667
2,125
–0,526266335
–2,25
–0,628173623
2,25
–0,628173623
–2,125
–0,526266335
0,125
0,992197667
2,375
–0,720278471
–2
–0,416146837
0,25
0,968912422
2,5
–0,801143616
–1,875
–0,299533506
0,375
0,930507622
2,625
–0,869507181
–1,75
–0,178246056
0,5
0,877582562
2,75
–0,924302379
–1,625
–0,054177135
0,625
0,81096312
2,875
–0,964674146
–1,5
0,070737202
0,75
0,731688869
–0,989992497
–1,375
0,194547708
0,875
0,640996858
3,125
–0,999862345
–1,25
0,315322362
0,540302306
3,25
–0,994129676
–1,125
0,431176517
1,125
0,431176517
Рис 1.1. График эталонной функции
Разложение заданной функции в ряд Тейлора в общем виде записывается следующим выражением:
(1)
Здесь точка разложения. Критериями выбора точки являются: наименьшее число арифметических операций при реализации разложения; максимальная точность разложения заданной функции.
Если в нашем примере выбрать , то вид разложения будет довольно простым. Однако, в виду особенностей функции , часть ее высших производных будут нулевыми. Следовательно, окончательная степень полинома с пятью ненулевыми членами в этом случае будет выше пятой.
Учитывая сказанное, выберем .
Подставляя значения выбранных точек в уравнение (1) и произведя необходимые действия, получим искомые разложения:
для (ряд Маклорена)
; (2)
для
(3)
Разложения функции в ряды Тейлора с четырьмя и тремя ненулевыми членами можно получить из (2) и (3) путем отбрасывания последних одного или двух членов соответственно.
Разложение с тремя ненулевыми членами для :
, (4)
с четырьмя ненулевыми членами для
(5)
Разложения для :
три ненулевых члена
(6)
четыре ненулевых члена
. (7)
Выражения (2), …, (7) являются рабочими. Для обеспечения максимальной точности при реализации рабочих выражений будем подставлять число с точностью представления его в выбранном математическом пакете. С этой же точки зрения будем выполнять операции деления непосредственно на 12, 24, 720 и другие целые числа, а не заменять эти операции умножением на коэффициенты в виде округленных периодических дробей. Квадратный корень из двойки также предоставим вычислять математическому пакету.
Результаты расчетов отражают следующие графики для и трех членах ряд Маклорена (Тейлора):
график разложения – рисунок 1.2, график ошибки в пределах 0,5 процента – рисунок 1.3, график ошибки – рисунок 1.4
Рис 1.2. График разложения : три члена ряда,
Рис. 1.3.Ошибка разложения в пределах 0,5%: три члена ряда,
Рис. 1.4.Ошибка разложения: три члена ряда,
Результаты расчетов по рабочей формуле (5) с четырьмя ненулевыми членами для приведены на следующих рисунках:
график рабочей реализации – рисунок 1.5;
график ошибки – рисунок 1.6;
график ошибки в пределах 0,05 процента – на рисунке 1.7.
Рис. 1.5.График разложения : четыре члена ряда,
Рис. 1.6.Ошибка разложения: четыре члена ряда,
Рис. 1.7.Ошибка разложения в пределах 0,5%: четыре члена ряда,
На рисунках 1.8, 1.9, 1.10 приведены результаты расчетов по формуле 2 при пяти ненулевых членах ряда и :
график рабочей реализации – рисунок 1.8;
график ошибки – рисунок 1.9;
график ошибки в пределах 0,05 процента – рисунок 1.10;
Рис. 1.8.График разложения: пять членов ряда,
Рис. 1.9.Ошибка разложения: пять членов ряда,
Рис. 1.10.Ошибка разложения в пределах 0,5%: пять членов ряда,
Результаты расчетов по разложению функции в ряд Тейлора в точке с сохранением пяти членов ряда (рабочая формула (3)) приведены на рисунках 1.11 и 1.12. Рисунок 1.12 – график рабочей реализации, рисунок 1.13 – график ошибки.
Рис. 1.11.График разложения в ряд Тейлора в точке ,
пять членов ряда
Рис. 1.12.Ошибка разложения в ряд Тейлора в точке
, пять членов ряда
Как видно из последних двух рисунков, разложение заданной функции в ряд Тейлора в точке даже с пятью членами ряда имеет очень большую ошибку. Продолжать далее работать с этим вариантом более подробно нет смысла.
В таблице 1.3 приведены статистические числовые характеристики ошибок разложения функции в ряд Маклорена для рассмотренных в примере вариантов.
Таблица 1.3
Статистические числовые характеристики ошибок
Число членов ряда Маклорена
Наибольшая абсолютная погрешность
Наибольшая приведенная относительная погрешность
Математическое ожидание погрешности
Дисперсия погрешности
Проанализируем полученные результаты. Для поставленной задачи, когда необходимо вычислять при изменении аргумента симметрично относительно нуля, применять ряд Тейлора с точкой разложения значительно удаленной от точки симметрии – не целесообразно. Даже пять членов ряда не позволяют говорить о разработке приемлемого метода решения данной задачи. Эту задачу можно решать лишь используя ряд Маклорена!
На основе свойств функции в тригонометрии разработаны алгоритмы вычисления этой функции для произвольного аргумента с приведением его к диапазонам , , , . При этом маленькие диапазоны изменения аргумента требуют больших вычислительных затрат на приведение произвольного аргумента к одному из указанных диапазонов.
В нашем примере, как следует из рисунка 3, разложение косинуса в ряд Маклорена с тремя членами целесообразно применять для диапазона изменения аргумента . Приведенная относительная погрешность разложения в этом случае не более 0,0333 процента, что для многих практических задач вполне допустима. Объем вычислений при реализации собственно ряда – минимальный. Однако если требуется вычислять косинус угла, изменяющегося в полном диапазоне , то необходимо ввести дополнительные вычисления по приведению исходного угла к диапазону и программу вычисления синуса в этом диапазоне. Логика запоминания истинного октанта расположения аргумента, его знака, логика определения типа рабочей программы, необходимой для применения в конкретном случае (синуса или косинуса), потребуют дополнительных вычислительных ресурсов. При этом считаем, что программа вычисления косинуса угла по программе вычисления синуса угла равного по вычислительной сложности не превосходит программу вычисления косинуса угла в пределах . Целесообразность таких введений должна быть хорошо обоснована.
Рисунки 1.6 и 1.7 показывают, что четыре члена ряда Маклорена позволяют успешно решать нашу задачу в диапазоне изменения аргумента . В этом случае приведенная относительная погрешность не превысит .
Пять членов ряда Маклорена дают возможность вычислять косинус угла с приведенной относительной погрешностью в в диапазоне изменения этого угла в пределах радиан (рисунки 1.9 и 1.10). В этом случае необходимо разработать специальный алгоритм приведения произвольного угла к такому диапазону. Если применять пять членов ряда Маклорена для диапазона изменения аргумента и использовать уже известные алгоритмы приведения произвольного угла к этому диапазону, то можно вычислять косинус с относительной погрешностью не более (рисунок 1.13).
Рис. 1.13.Ошибка разложения для : пять членов ряда,
Анализируя тенденцию повышения точности вычисления функции с увеличением числа членов ряда Маклорена, можно предположить, что в полном объеме, то есть в диапазоне изменения аргумента , поставленная задача будет решаться при шести членах ряда, что по условиям нашего примера не допустимо.
Проведенный анализ полученных результатов позволяет сделать выбор рабочей формулы для вычисления функции с приведенной относительной погрешностью не более . Такой формулой является формула (5). Диапазон изменения аргумента при этом составит . Этот диапазон очень хорошо вписывается в алгоритм приведения произвольного угла к диапазону или
Задача, поставленная в примере, решена.
Вопросы для самоконтроля.
1. Необходимые условия разложения функции в ряд Тейлора.
2. Отличие ряда Тейлора от ряда Маклорена.
3. Чем определяется сходимость ряда Тейлора.
4. Как определить требуемое число членов ряда Тейлора при разложении заданной функции.
5. Как влияет точка разложения на качество разложения функции в ряд Тейлора.
6. Особенности разложения рядом Тейлора функции, заданной Вам в этой лабораторной работе.
Литература
Е.А. Власов Ряды: Учебник для вузов /Под редакцией В.С. Зарубина, А.П. Крищенко.- 3-е изд., исправл.-М.: Изд-во МГТу им. Н.Э. Баумана, 2006.-616с.(Сер. Математика в техническом университете; выпуск IX)