Тем самым 1-я часть задачи решена, однако формулу можно привести к виду, более удобному для вычислений. Одновременно это укажет экономичный алгоритм вычисления.
Пусть надо найти значение полинома Ньютона (1.10) в точке x. Обозначим zn n 0 , затем последовательно находим
|
|
n 1 |
zn x xn 1 , |
|
zn 1 0 |
||||
|
|
n 2 |
zn 1 x xn 2 , и т.д., |
|
zn 2 0 |
||||
z 1 |
z |
2 |
x x , |
|
1 |
0 |
|
1 |
|
z0 y0 z1 x x0 .
Полученное число представляет собой значение полинома Ньютона в точке х. Смысл схемы понятен, если в формуле для y(x) вынести за скобки x x0 , затемx x1 и так до x xn 1 .
х |
–2 |
0 |
1 |
3 |
5 |
|
|
|
|
|
|
у |
18 |
2 |
3 |
83 |
627 |
|
|
|
|
|
|
Составить полином Ньютона. Найти приближённые значения в точках 2 и 0,7. Решение. Пронумеруем значения аргументов и функции:
x0 |
2, x1 0, x2 1, x3 |
3, x4 5 |
и |
y0 18, y1 2, y2 |
3, y3 83, y4 |
627 . |
|||||||||||||||||||||||||||||
Часть 1. Находим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
1 |
|
|
|
|
2 18 |
|
8, |
|
1 |
3 2 |
|
1, |
1 |
|
83 3 |
40, |
1 |
|
627 83 |
|
272 , |
|||||||||||||
0 |
|
|
|
|
2 |
|
|
|
|
||||||||||||||||||||||||||
|
|
0 |
|
|
|
1 |
|
|
1 0 |
|
|
|
2 |
|
|
|
3 1 |
|
3 |
|
5 3 |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
2 |
|
1 8 |
|
|
3, |
|
2 |
|
40 1 |
13, |
|
2 |
|
272 40 |
58 , |
|
|
|
|
|
||||||||||||||
0 |
|
1 |
|
2 |
5 1 |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
1 |
2 |
|
|
|
|
|
3 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
3 |
|
13 3 |
|
2, |
|
3 |
58 13 |
|
9 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
3 |
2 |
|
|
1 |
|
|
|
|
5 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
4 |
|
|
|
|
9 2 |
1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
5 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Часть 2. Выполняется отдельно для каждого значения x. Для точки x 2 :
11
z4 40 1,
z3 30 z4 x x3 2 1 2 3 1, z2 20 z3 x x2 3 1 2 1 4,
z1 10 z2 x x1 8 4 2 0 0,
z0 y0 z1 x x0 18 0 2 2 18.
Для точки x 0,7 находим z4 40 1,
z3 2 1 0,7 3 0,3,
z2 3 0,3 0,7 1 3,09, z1 8 3,09 0,7 0 5,837,
z0 18 5,837 0,7 2 2,2401.
Замечание. Легко проверить, что функция f x x4 2 соответствует данным задачи. Такой же полином получится после раскрытия всех скобок и приведения подобных слагаемых в полученном нами полиноме Ньютона.
Метод разделённых разностей выгоднее, чем метод Лагранжа, если необходимо найти функцию во многих точках, поскольку 1-я часть выполняется только 1 раз. Более того, при добавлении в исходную таблицу ещё одной пары x, y не надо пересчитывать всё заново, как в полиномах Лагранжа; достаточно добавить
n+1 разность, а именно 1 , 2 , 3 , , n 1 . Пересчитать придётся лишь
n n 1 n 2 0
zn 1 , , z0 при вычислении значения в конкретной точке, поскольку в начале рас-
чётов появится параметр zn 1 , соответствующий разности n0 1 .
1.4. Приближение функций рядами МакЛорена
Известно, что любую дифференцируемую n раз функцию f x можно представить в виде суммы Тейлора
|
|
|
f x0 |
|
|
|
|
|
|
|
|
|
|
f |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
f x f x |
|
|
x x |
|
|
f x0 |
x x |
|
2 |
|
|
x x |
|
n R |
|
, |
||||
0 |
|
0 |
|
|
0 |
|
|
0 |
n 1 |
|||||||||||
|
1! |
|
|
2! |
|
|
|
|
|
n! |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
где k! 1 2 3 k , а остаток |
Rn 1 зависит от функции |
f x и от точки x0 , причём |
||||||||||||||||||
остаток убывает к нулю с ростом числа слагаемых.
12
В частности, если функция аналитическая, то есть дифференцируема сколь
угодное число раз, то при подстановке x0 |
0 получается разложение функции в |
|||||||||
ряд МакЛорена |
|
|
|
|
|
|
|
|
|
|
|
f k 0 |
|
|
x2 |
|
x3 |
|
xn |
||
f x |
|
|
xk f 0 f 0 x f |
0 |
|
f 0 |
|
f n 0 |
|
. |
k! |
2 |
6 |
n! |
|||||||
k 0 |
|
|
|
|
|
|
|
|
|
|
Хорошо известны ряды МакЛорена для пяти важнейших функций:
|
|
x |
k |
|
|
|
|
|
x |
2 |
|
|
x |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ex |
|
|
1 x |
|
|
|
|
; |
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
k 0 |
|
k! |
|
|
|
|
|
|
2 |
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
k |
|
2k 1 |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
||||||
sin x |
1 |
x |
|
|
|
|
x |
x |
|
|
|
|
|
|
x |
|
|
|
|
; |
|||||||||||||||
|
2k 1 ! |
|
|
|
|
|
120 |
|
|||||||||||||||||||||||||||
k 0 |
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
k |
|
|
2k |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
cos x |
1 |
x |
|
1 |
x |
|
|
|
|
x |
|
|
|
; |
|||||||||||||||||||||
|
2k ! |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
k 0 |
|
|
|
|
|
2 |
|
|
|
|
|
24 |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
k 1 |
|
k |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
3 |
|
|||
ln 1 x |
1 |
|
|
x |
|
x |
x |
|
|
|
|
x |
|
|
; |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
k 1 |
|
|
|
k |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
3 |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
k |
|
2k 1 |
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
5 |
|
|
|||||||||
arctg x 1 |
|
x |
|
|
|
|
x |
x |
|
|
|
|
x |
|
|
|
. |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
k 0 |
2k 1 |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
5 |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Последние две формулы справедливы для x 1;1 , остальные – при любых x. Ценное свойство рядов МакЛорена – в том, что аргумент x в них можно заме-
нить на выражение ax p где a, p – любые числа. Кроме того, функцию f x мож-
но умножить на x m при любом m, и тогда все элементы ряда также умножатся на x m . Это значительно расширяет возможности разложения функций в ряд.
|
|
|
|
k |
k |
|
|
|
9x |
2 |
|
|
27x |
3 |
|
|
81x |
4 |
|
|
|
1 |
|
1 |
||||
Например, ln 1 3x |
1 3x |
|
3x |
|
|
|
|
|
|
при |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
; |
|
|
. |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
k 1 |
|
|
k |
|
|
|
|
|
2 |
|
|
|
3 |
|
|
|
4 |
|
|
|
|
3 |
|
3 |
|||
Аналогично |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ln 1 5x4 5x4 |
5x4 2 |
|
5x4 3 |
|
5x4 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
2 |
|
3 |
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5x4 12,5x8 41,67x12 154,25x16 |
|
|
|
|
|
|
|
|
|||||||||||||||||||
при любых 5x 4 1;1 , что равносильно |
x 0,667;0,667 (здесь |
|
|
|
||||||||||||||||||||||||
0,667 4 1/ 5 ). |
||||||||||||||||||||||||||||
Подобные примеры можно привести и для других функций.
Ряды МакЛорена допускают почленное дифференцирование и интегрирование, и найти производную от функции – то же, что найти производную каждого слагаемого в её разложении в ряд. Учитывая, что все элементы разложения – степени переменной x с некоторым числовым коэффициентом, поиск производной или первообразной весьма упрощается и возможно получение новых рядов.
13
Пример. Найдём f 3 x для функции |
f x x4 e x2 / 2 . |
||||||||||||||||||||||
Решение. Подставив в ряд для |
|
e x выражение x2 / 2 вместо x, получим |
|||||||||||||||||||||
|
|
|
|
|
x / 2 |
|
|
|
|
1 x |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
2 |
|
k |
|
|
|
|
|
k |
2k |
|
|
|
|
|||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e x |
/ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|||
|
|
|
|
k! |
|
|
|
2k k! |
|
|
|
|
|
||||||||||
|
|
|
|
k 0 |
|
|
|
|
|
|
|
k 0 |
|
|
|
|
|
|
|
|
|
|
|
Домножим на x 4 : |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|
|||||
|
|
|
|
|
|
|
|
|
k |
|
2k |
|
|
|
|
|
k |
|
2k 4 |
|
|||
x 4 e x |
2 |
/ 2 |
x 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
2 |
k |
k! |
|
|
|
|
2 |
k |
k! |
||||||||||||
|
|
|
|
|
|
k 0 |
|
|
|
k 0 |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
x4 e x |
/ 2 |
|
|
1 x |
|
|
|
|
1 2k 4 2k 3 2k 2 x |
|
. |
|
2 |
3 |
|
|
k |
2k 4 |
3 |
|
|
k |
2k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2k k! |
|
|
2k k! |
|
|
|
|||
|
|
|
k 0 |
|
|
|
|
k 0 |
|
|
|
|
Формула справедлива в любой точке х, а для малых х числовое значение получается очень быстро в силу быстрого убывания x 2k 1 к 0.
Сходящиеся ряды можно перемножать, получая также сходящийся ряд, что можно проверить, перемножив
|
x |
k |
x |
j |
|
2 |
m |
x |
m |
||
e x e x |
|
|
|
|
|
|
e2 x . |
||||
|
|
|
|
|
|
|
|
||||
k 0 |
k! j 0 |
j! |
m 1 |
|
m! |
|
|
||||
При перемножении необходимо взять несколько слагаемых в каждом множителе, раскрыть скобки и собрать подобные слагаемые.
Недостаток применения рядов МакЛорена в приближённых вычислениях состоит в том, что при удалении от нуля для вычисления функции в конкретной точке надо брать всё больше слагаемых.
Например, ln 1,02 0,02 |
0,022 |
|
0,023 |
|
0,02 0,000 2 2,667 10 6 |
0,019 803 с |
|||
|
|
|
|
|
|||||
2 |
|
|
3 |
|
|
|
|||
погрешностью 4 10 8 ,а при попытке вычислить |
|
||||||||
ln1,8 0,8 |
0,82 |
|
|
0,83 |
0,8 0,32 0,171 0,651 |
|
|||
|
|
|
|||||||
2 |
|
3 |
|
|
|
||||
получим уже погрешность 0,1. Этот же недостаток сохраняется и при вычислении определённых интегралов и при разложении в ряд решения задачи Коши.
Подбор полинома, принимающего во всех необходимых узлах указанные значения, обычно невыгоден по двум важным причинам:
1)степень полинома высока – на 1 меньше числа точек (числа пар значений);
2)изменение входных данных заметно изменяет коэффициенты полинома.
14
Высокая степень полинома усложняет вычисления, а поскольку данные измерений подвержены погрешностям, нет смысла требовать точного совпадения теоретических значений полинома с практическими результатами измерений. Лучше найти простую функцию, проходящую достаточно близко от необходимых точек.
Тип функции часто удаётся определить, отметив точки на плоскости, например, увидеть линейную зависимость y ax b , если расположение точек напоминает прямую линию.
Идея подбора функции основана на том, что любая зависимость характеризуется некоторыми параметрами-коэффициентами.
Например, линейная функция y ax b включает два параметра – a, b, а
функция y aeSx b содержит три параметра a, S, b. Если предполагается линейная зависимость, надо найти a, b так, чтобы общее отклонение теоретических значений, подсчитанных по формуле y xk axk b , было бы меньше, чем для любой другой линейной функции, то есть чем при любых других a, b. Из такого же принципа находят коэффициенты a, b, c для параболической функции, и т.д.
Под общим отклонением понимают суммарное отклонение по всем узлам квадратов разностей между предполагаемым теоретическим значением f a, b, , c, xk и заданными в таблице (1.1) значениями yk (нумерацию узлов xk
для удобства начнём с единицы): |
|
|
а) сумму axk |
b yk 2 , если предполагается зависимость y ax b , |
|
k |
|
|
б) сумму axk2 |
bxk c yk 2 , если предполагается, что |
y ax2 bx c , |
k |
|
|
в) в общем случае f a,b, , c, xk yk 2 для произвольной функции
k
y f a,b, ,c, x .
Возведение в квадрат выражений f a, b, , c, xk yk необходимо, чтобы раз-
личия разного знака между теоретическими и наблюдаемыми значениями не могли в сумме нейтрализовать друг друга. Это удобнее, чем применение суммы
f (a,b, , c, xk ) yk .
k
Именно по построению функции, определяющей общее отклонение, и в силу того, что это отклонение надо сделать минимально возможным, идёт речь о ме-
тоде наименьших квадратов (МНК).
15