- •ПЕРЕЧЕНЬ МАТЕРИАЛОВ
- •ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
- •ОГЛАВЛЕНИЕ
- •1 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
- •1.1 Логика высказываний
- •1.1.1 Понятие логического высказывания
- •1.1.2 Логические операции
- •1.1.3 Пропозиционные формулы
- •1.1.4 Тавтологии
- •1.1.5 Равносильные формулы
- •1.2 Булевы функции
- •1.2.1 Понятие булевой функции. Число булевых функций от n переменных
- •1.2.2 Элементарные булевы функции. Представление булевых функций пропозиционными формулами
- •1.2.3 Двойственные функции. Принцип двойственности
- •1.2.4 Совершенные конъюнктивные нормальные формы (СКНФ)
- •1.2.5 Полиномы Жегалкина
- •1.3 Полнота и замкнутость
- •1.3.1 Полные системы функций и замкнутые классы
- •1.3.2 Основные замкнутые классы
- •1.3.3 Теоремы о функциональной полноте
- •1.3.4 Базисы пространства булевых функций
- •1.4 Минимизация булевых функций
- •1.4.1 Постановка задачи
- •1.4.2 Метод Квайна-Макклоски
- •1.4.3 Карты Карно
- •1.5 Реализация булевых функций
- •1.5.1 Контактные схемы
- •1.5.2 Схемы из функциональных элементов
- •1.6 Предикаты
- •1.6.1 Основные понятия и определения
- •1.6.2 Операции над предикатами
- •1.6.3 Равносильные формулы логики предикатов
- •1.6.4 Приведенная форма и предваренная нормальная форма предиката
- •2 ОСНОВЫ ТЕОРИИ МНОЖЕСТВ
- •2.1 Множества и операции над ними
- •2.1.1 Основные понятия
- •2.1.2 Способы задания множеств
- •2.1.3 Операции над множествами
- •2.1.4 Свойства операций над множествами. Алгебра множеств
- •2.1.5 Декартово произведение множеств
- •2.2 Отображения множеств
- •2.2.1 Основные понятия
- •2.2.2 Произведение (композиция) отображений
- •2.2.3 Обратные отображения
- •2.3 Отношения
- •2.3.1 Основные понятия и способы задания отношений
- •2.3.2 Операции над бинарными отношениями и их свойства
- •2.4 Отношения экивалентности
- •2.4.1 Классы эквивалентности
- •2.4.2 Отношения частичного порядка
- •2.5 Комбинаторика
- •2.5.1 Размещения
- •2.5.2 Перестановки
- •2.5.3 Сочетания
- •2.5.4 Сочетания с повторениями
- •2.5.5 Бином Ньютона. Понятие о производящей функции
- •2.5.6 Числа Стирлинга
- •2.5.7 Число Белла
- •2.6 Мощности множеств
- •2.6.1 Мощность конечного множества
- •2.6.2 Мощности бесконечных множеств. Счетные множества
- •2.6.3 Несчетные множества. Мощность континуума
- •2.6.4 Кардинальные числа. Гипотеза континуума
- •3 ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ
- •3.1 Основные определения и типы графов
- •3.1.1 Основные понятия
- •3.1.2 Основные типы графов
- •3.1.3 Обобщения понятия графа
- •3.1.4 Изоморфные графы
- •3.1.5 Количество различных графов порядка n
- •3.2 Основные числовые характеристики и матрицы графа
- •3.2.1 Степени вершин графа
- •3.2.2 Матрица смежности
- •3.2.3 Матрица Кирхгофа
- •3.2.4 Матрица инцидентности
- •3.3 Подграфы и операции на графах
- •3.3.1 Подграфы
- •3.3.2 Операции над графами
- •3.4 Связные графы и расстояние в графах
- •3.4.1 Маршруты в графах. Связные графы
- •3.4.2 Компоненты связности. Связность графа и его дополнения
- •3.4.3 Расстояния на графах
- •3.4.4 Метод поиска в ширину
- •3.4.5 Выяснение вопросов связности, достижимости и расстояний на графе по матрице смежности
- •3.5 Деревья и остовы
- •3.5.1 Критерии дерева
- •3.5.3 Типы вершин дерева, радиус и центры
- •3.5.4 Остовы графа, циклический ранг и ранг разрезов
- •3.5.5 Задача о минимальном остове
- •3.5.6 Разрезы графа. Фундаментальная система циклов и фундаментальная система разрезов
- •3.5.7 Линейное пространство графа
- •3.6 Эйлеровы и гамильтоновы графы
- •3.6.1 Эйлеровы графы
- •3.6.2 Гамильтоновы графы
- •3.7 Планарные графы
- •3.7.1 Вложимость графов в трехмерное пространство
- •3.7.2 Планарные графы. Формула Эйлера
- •3.7.3 Следствия из формулы Эйлера
- •3.7.4 Гомеоморфные графы. Критерий планарности
- •3.8 Раскраски графов
- •3.8.1 Хроматическое число графа
- •3.8.2 Хроматическое число 2-дольного графа. Критерий 2-дольности
- •3.8.3 Некоторые оценки хроматического числа
- •3.8.4 Раскраски планарных графов
- •3.8.5 Реберная раскраска графа
- •3.9 Паросочетания
- •3.9.1 Паросочетания
- •3.9.2 Теорема Холла о свадьбах
- •3.10 Сети
- •3.10.1 Основные понятия
- •3.10.2 Потоки в сетях
- •3.10.3 Сетевое планирование
- •ПРОДОЛЖЕНИЕ ОГЛАВЛЕНИЯ
- •4 ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ
- •4.1 Математическое моделирование и вычислительный эксперимент
- •4.2 Метод Гаусса решения систем линейных алгебраических уравнений. Плохая обусловленность и анализ ошибок. Влияние погрешностей округления
- •4.3 Итерационные методы решения систем линейных алгебраических уравнений. Метод простых итераций и метод Зейделя
- •4.3.1 Основные понятия
- •4.3.2 Метод простой итерации. Описание метода
- •4.3.3 Некоторые сведения о векторах и матрицах
- •4.3.4 Условия и скорость сходимости метода простой итерации
- •4.3.5 Приведение системы (1) к виду (2)
- •4.4 Интерполирование алгебраическими многочленами. Интерполяционный многочлен Лагранжа
- •4.4.1 Постановка задачи
- •4.4.2 Интерполяционная формула Лагранжа. Представление и оценка остатка
- •4.4.3 Практическое применение интерполяции
- •4.5 Конечные разности. Интерполяционный многочлен Ньютона
- •4.5.1 Конечные разности
- •4.5.2 Интерполяционный многочлен Ньютона
- •4.5.3 Линейная интерполяция
- •4.6 Многочлены Чебышева на отрезке [-1, 1]. Интерполирование сплайнами
- •4.7 Численное интегрирование
- •4.7.1 Формулы прямоугольников
- •4.7.2. Формула трапеций
- •4.7.3. Формула Симпсона (метод параболических трапеций)
- •4.7.4 Квадратурные формулы наивысшей алгебраической степени точности (квадратурные формулы Гаусса)
- •4.8 Численное решение нелинейных уравнений
- •4.8.1. Отделение корней
- •4.8.2 Метод деления отрезка пополам
- •4.8.3 Метод простой итерации (метод последовательных приближений)
- •4.8.4. Метод Ньютона (метод касательных)
- •4.8.5 Метод секущих
- •4.8.6 Метод хорд
- •4.9 Итерационные методы решения систем нелинейных уравнений
- •4.9.1 Метод простой итерации
- •4.9.2 Метод простой итерации для системы двух уравнений
- •4.9.3 Метод Ньютона
- •4.9.4 Метод Ньютона для системы двух уравнений
- •4.10 Численные методы решения задачи Коши для обыкновенного дифференциального уравнения
- •4.10.1 Метод Эйлера
- •4.10.2 Методы Рунге–Кутта
- •4.11 Постановка задачи линейного программирования. Геометрическая интерпретация и графическое решение задачи линейного программирования
- •4.11.1 Предмет математического программирования
- •4.11.2 Основная задача линейного программирования
- •4.11.3 Геометрический смысл системы линейных неравенств
- •4.11.4 Графический метод решения задач линейного программирования
- •4.12 Симплексный метод решения задачи линейного программирования. Двойственность в линейном программировании
- •4.12.1 Свойства решений задачи линейного программирования (ЗЛП)
- •4.12.2 Общая идея симплексного метода
- •4.12.3 Построение начального опорного плана
- •4.12.4 Признак оптимальности опорного плана. Симплексные таблицы
- •4.12.5 Переход к нехудшему опорному плану. Симплексные преобразования
- •4.13 Разностные методы
- •4.13.1 Основные понятия
- •4.13.2 Сетки и сеточные функции
- •4.13. 3 Аппроксимация простейших дифференциальных операторов
- •4.13.4 Разностная задача
- •4.13.5 Устойчивость
- •4.13.6 Связь аппроксимации и устойчивости со сходимостью
- •4.13.7 Явные и неявные разностные схемы
- •ОГЛАВЛЕНИЕ
- •Лабораторная работа 5. Задача коммивояжера
- •ПРОДОЛЖЕНИЕ ОГЛАВЛЕНИЯ
- •2.1. Метод Гаусса решения систем линейных алгебраических уравнений
- •2.2. Итерационные методы решения систем линейных алгебраических уравнений. Метод простых итераций и метод Зейделя
- •2.2.1. Метод простых итераций
- •2.2.2 Метод Зейделя
- •2.3. Интерполирование алгебраическими многочленами. Интерполяционный многочлен Лагранжа
- •2.3.1. Постановка задачи
- •2.3.2 Интерполяционный многочлен Лагранжа
- •2.3.3 Практическое применение интерполирования. Оценка погрешности интерполяционного многочлена Лагранжа
- •2.4 Конечные разности. Интерполяционный многочлен Ньютона
- •2.4.1 Конечные разности
- •2.4.2 Первая интерполяционная формула Ньютона (для интерполирования вперед)
- •2.4.3 Вторая интерполяционная формула Ньютона (для интерполирования назад)
- •2.5 Интерполирование сплайнами
- •2.6 Численное интегрирование
- •2.6.1 Метод средних прямоугольников
- •2.6.2 Формула трапеций
- •2.6.3 Формула Симпсона (метод параболических трапеций)
- •2.7 Численное решение нелинейных уравнений. Отделение корней. Метод половинного деления. Метод простой итерации
- •2.7.1 Отделение корней
- •2.7.2 Метод половинного деления
- •2.7.3 Метод простой итерации (метод последовательных приближений)
- •2.7.4 Практический критерий сходимости (когда надо прекращать итерации)
- •2.8 Итерационные методы решения нелинейных уравнений. Метод Ньютона. Метод секущих. Метод хорд
- •2.8.1 Метод Ньютона (метод касательных)
- •2.8.2 Метод секущих
- •2.8.3 Метод хорд
- •2.9 Итерационные методы решения систем нелинейных уравнений
- •2.9.1 Метод простой итерации для системы двух уравнений
- •2.9.2 Метод Ньютона для системы двух уравнений
- •2.10.1 Метод Эйлера
- •2.10.2 Метод Рунге-Кутта
- •2.11 Графическая интерпретация и графическое решение задачи линейного программирования
- •2.11.1 Основная задача линейного программирования
- •2.11.2 Графическая интерпретация задачи линейного программирования
- •2.11.3 Графическое решение задачи линейного программирования
- •2.12 Симплексный метод решения задачи линейного программирования
- •2.13 Метод сеток для уравнения параболического типа
- •2.13.1 Общие сведения
- •2.13.2 Постановка задачи
- •2.13.3 Разностные схемы
- •2.13.4 Оценки погрешностей
- •2.14 Метод сеток для уравнения гиперболического типа
- •ОГЛАВЛЕНИЕ
- •1 Операции над множествами. Алгебра множеств. Декартово произведение множеств
- •2 Отображения множеств. Бинарные отношения на множествах
- •3 Комбинаторика и мощности множеств
- •6 Расстояния в графах
- •7 Деревья и остовы
- •8 Эйлеровы графы. Критерий эйлеровости. Планарные графы. Формула Эйлера
- •9 Раскраски графов. Хроматическое число графа
- •10 Сети и потоки в сетях
- •Тесты по разделу «ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ»
- •ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ
- •1 Численные методы решения систем линейных алгебраических уравнений
- •2 Интерполирование алгебраическими многочленами
- •3 Численное интегрирование
- •4 Численные методы решения нелинейных уравнений и систем нелинейных уравнений
- •5 Численное решение обыкновенных дифференциальных уравнений первого порядка
- •6 Линейное программирование
- •7 Численное решение уравнений с частными производными
- •Тесты по разделу «ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ»
- •ОГЛАВЛЕНИЕ
- •ПРОГРАММА ДИСЦИПЛИНЫ
- •СПИСОК ВОПРОСОВ К ЗАЧЕТУ ПО ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКЕ
- •СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ

139 =11,78982612 .
По условию имеем три узла, следовательно, n +1 = 3 n = 2. При п=2 формула (6) для функции f (x) = 
x имеет вид:
|
R (x) |
|
|
|
|
|
≤ |
M3 |
|
ω(x) |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
3! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
где ω(x)= (x −121)(x −144)(x −169) и число М3 такое, что |
|
f ′′′ |
|
(x) ≤ M3 при x [121,169] . |
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
Найдем М3. По условию f (x) = |
|
, откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
′′ |
|
|
1 |
|
|
|
|
|
|
′′′ |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
f |
(x) = 2 x |
, |
|
f |
|
|
(x) = − 4x x , |
|
f (x) = 8x |
2 |
|
x |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
При 121 ≤ x ≤169 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
′′′ |
|
|
|
|
|
|
|
|
′′′ |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
= 0,0000021 , |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
f |
|
(x) |
|
|
|
≤ |
f (121) = |
8 1212 |
121 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
′′′ |
|
|
|
|
|
|
|
|
|
|
|
|
−6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−6 |
|
|||||||||||||||
откуда |
|
f |
|
< 2,2 |
10 |
|
, следовательно, можно положить M3 = 2,2 |
10 |
. Учитывая этот ре- |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(x) |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
зультат, из формулы (7) имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
R |
|
(139) |
|
|
|
< 2,2 10−6 |
|
(139 −121) (139 −144) (139 −169) |
|
, |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
R |
|
(139) |
|
|
|
< 1,1 10−6 |
2700 = 9,9 10−4 , откуда |
|
|
|
− L(139) |
|
<10−3 . |
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
139 |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4.5Конечные разности. Интерполяционный многочлен Ньютона
4.5.1Конечные разности
Пусть даны равноотстоящие точки |
x0 , x1 = x0 + h, x2 = x0 + 2h, , xn = x0 + nh , где |
|
h = const > 0 и заданы соответствующие значения функции y = f (x) : |
y0 , y1, y2 , , yn . |
|
Определение. Разность yk+1 − yk (k = 0,1,2, ,n) называется |
конечной разностью |
|
первого порядка и обозначается ∆yk = yk+1 − yk . |
|
|
Отсюда, в частности, ∆y0 = y1 − y0 , |
∆y1 = y2 − y1. Разности второго порядка опреде- |
|
ляются ∆2 yk = ∆yk+1 −∆yk , третьего ∆3 yk = ∆2 yk +1 − ∆2 yk , разность m-го порядка определяется как разность разностей (m −1) -го порядка:
∆m yk = ∆m−1 yk+1 −∆m−1 yk , k = 0,1,2, |
(1) |
Для вычисления разностей удобно использовать горизонтальную таблицу. Например,
141
при n = 4
х |
у |
∆y |
∆2 y |
∆3 y |
∆4 y |
x0 |
y0 |
∆y0 |
∆2 y0 |
∆3 y0 |
∆4 y0 |
x1 |
y1 |
∆y1 |
∆2 y |
∆3 y |
|
|
|
|
1 |
1 |
|
x2 |
y2 |
∆y2 |
∆2 y2 |
|
|
x3 |
y3 |
∆y3 |
|
|
|
x4 |
y4 |
|
|
|
|
В каждой строке таблицы расположены разности с одним и тем же индексом внизу. Пример. Составить таблицу разностей для функции y = x2 на интервале [0; 5] с по-
стоянным шагом h =1.
|
|
|
|
|
|
х |
у |
|
∆y |
|
∆2 y |
∆3 y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
|
1 |
|
2 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
3 |
|
2 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
4 |
|
5 |
|
2 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
9 |
|
7 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
16 |
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
25 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
Из таблицы видим, что для функции y = x2 разность второго порядка постоянна: |
||||||||||||||||||
∆2 y |
0 |
= ∆2 y = ∆2 y |
2 |
= ∆2 y |
3 |
= 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
Можно доказать, что для многочлена n-ной степени P |
(x) = a |
0 |
xn + a xn−1 + + a |
n |
раз- |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
1 |
|
|
||
ность n-го порядка постоянна и равна |
a0 hn n!. В этом примере |
∆2 yk |
=1 1n 2!= 2 |
при |
||||||||||||||||
всех k. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Конечные разности могут быть выражены через значения функции |
|
|
|
|||||||||||||||
|
|
∆yn = yn+1 − yn , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
∆2 yn = ∆yn+1 − ∆yn = (yn+2 − yn−1) −(yn+1 − yn ) = yn+2 − 2yn+1 + yn |
|
|
(2) |
|||||||||||||||
|
|
Аналогично ∆3 yn = yn+3 −3yn+2 +3yn+1 − yn . |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
По индукции |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∆k y = y −C1 y 1 +C2 y 2 −C3 y 3 + +(−1)k y
n n+k k n+k− k n+k− k n+k − n
или
142
k
∆k yn = ∑(−1)i Cki yn+k−i .
i=0
4.5.2Интерполяционный многочлен Ньютона
Теорема. Пусть даны (n +1) равноотстоящих узла интерполирования x0 , x1 = x0 + h , x2 = x0 + 2h, , xn = x0 + nh (h > 0) и соответствующие значения функции y0 , y1, y2 , , yn . Тогда интерполяционный многочлен степени не выше n может быть записан в виде
N(x) |
= y |
0 |
+ ∆y0 |
(x |
− x |
0 |
) + |
∆2 y0 (x |
− x |
0 |
)(x |
− x ) + + |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
1!h |
|
|
|
|
|
|
|
2!h2 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
(3) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
∆n y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n ∆k y |
|
|
|
k−1 |
|
|
|
|||||||
|
+ |
0 |
|
(x − x0 )(x − x1) (x − xn−1) |
|
|
|
|
0 |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
= y0 + ∑ |
|
|
|
Π (x − xi ) |
|
|
||||||||||||||||||||||||||||
|
|
n!hn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k=1 k!hk |
|
i |
=0 |
|
|
|
|
||||||||||
Доказательство |
проведем для |
|
случая n = 2 , |
т.е. |
|
|
|
покажем, что |
для узлов x0 , |
||||||||||||||||||||||||||||||
x1 = x0 + h , |
x2 = x0 + 2h |
и соответствующих значений y0 , y1, y2 |
интерполяционный много- |
||||||||||||||||||||||||||||||||||||
член степени 2 имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
N(x) |
= y |
0 |
+ ∆y0 |
(x |
− x |
0 |
) + |
∆2 y0 (x |
− x |
0 |
)(x |
− x ) , |
|
|
|
|
|
|
|
|
|
|
|
|
(4) |
||||||||||||||
|
|
|
|
|
1!h |
|
|
|
|
|
|
|
2!h2 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Для доказательства представим искомый многочлен в виде |
|
|
|||||||||||||||||||||||||||||||||||||
N(x) = A0 + A1(x − x0 ) + A2 (x − x0 )(x − x1) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5) |
|||||||||||||||||||||||
где A0 , A1, A2 – |
постоянные числа. Задача состоит в определении чисел A0 , A1, A2 , чтобы |
||||||||||||||||||||||||||||||||||||||
выполнялось условие |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
N(xk ) = yk , k = 0,1, 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(6) |
||||||||||||
Для нахождения А0 положим в равенстве (5) x = x0 . Получим A0 = y0 . Для нахожде- |
|||||||||||||||||||||||||||||||||||||||
ния А1 положим в равенстве (5) |
x = x1. Получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
N(x ) = A |
|
+ A |
(x |
|
− x |
|
) y = y |
|
+ A h A = |
y1 − y0 |
|
= |
∆y0 |
. |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
1 |
|
|
0 |
|
|
1 |
|
1 |
|
0 |
|
|
1 |
|
0 |
|
1 |
|
1 |
|
|
h |
|
|
|
|
|
|
h |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Чтобы найти А2 |
положим в (5) |
|
x − x2 . Получим |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
N(x ) = A + A (x − x ) + A (x − x )(x − x ) y |
2 |
= y |
0 |
|
+ |
∆y0 2h |
+ A |
2h h |
|||||||||||||||||||||||||||||||
2 |
|
|
|
0 |
|
|
1 |
|
2 |
|
0 |
|
2 |
2 |
|
0 |
|
2 |
|
1 |
|
|
|
|
|
|
|
|
h |
2 |
|||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
A |
|
= |
|
(y |
2 |
− y − 2∆y ) A |
|
= |
|
(y |
2 |
− 2y |
|
+ y ). |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
2 |
|
2h2 |
|
|
0 |
|
|
0 |
|
2 |
|
2h2 |
|
|
|
|
|
1 |
|
0 |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Из формулы (2) |
A |
|
= |
|
|
1 |
∆2 y |
0 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
2h2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
143
Теорема доказана.
Замечание 1. Так как в условиях теоремы интерполяционный многочлен степени не выше n единственен, то N(x) перегруппировкой членов можно преобразовать в интерполяционный многочлен Лагранжа L(x) и, наоборот. Можно воспользоваться оценкой погрешности для L(x) . Отметим, что интерполяционный многочлен Ньютона в отличие от многочлена Лагранжа L(x) применяется только для равноотстоящих узлов интерполирования.
Замечание 2. При составлении N(x) число n мы задаем сами, учитывая, что n не может быть больше числа значений функции у, уменьшенного на единицу. На практике обычно
число n выбирают так, чтобы разности ∆n yn |
были практически постоянными. |
||||||||||||||
Замечание 3. |
Интерполяционный многочлен Ньютона N(x) |
обычно записывают в |
|||||||||||||
другой форме, более удобной для практики. |
|
|
|
|
|
||||||||||
Введем вспомогательную функцию q = |
x − x0 |
, тогда x = x0 + hq , x − x0 = hq , откуда |
|||||||||||||
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
h |
|
|
|
x − x1 = x −(x0 + h) = (x − x0 ) −h = hq −h = h(q −1) . |
|
||||||||||||||
Аналогично |
|
|
|
|
|
|
|
|
|
|
|
||||
x − x2 = (q −2)h, , x − xn−1 = (q −(n −1))h . |
|
(7) |
|||||||||||||
Применяя формулу (7) из (3) получим |
|
|
|
|
|
||||||||||
N(x) = y0 + |
|
|
q |
|
q(q −1) |
2 |
q(q |
−1)(q −2) |
3 |
|
|||||
|
|
|
|
∆y0 + |
|
∆ y0 + |
|
|
|
|
∆ y0 + + |
|
|||
1! |
2! |
|
3! |
|
(8) |
||||||||||
|
|
|
|
|
|
|
|
||||||||
|
|
q(q −1)(q −2) (q −n +1) n |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|||||||||
|
+ |
|
|
|
|
|
|
|
|
∆ y0. |
|
|
|||
|
|
|
|
|
|
|
n! |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Заметим, что в формуле используется верхняя горизонтальная строка таблицы разно- |
|||||||||||||||
стей. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Остаточный член Rn (x) формулы (8) имеет вид |
|
|
|||||||||||||
R |
(x) = hn+1 q(q −1) (q −n) f (n+1) (ξ), |
|
(9) |
||||||||||||
|
n |
|
|
|
|
|
(n +1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
где ξ – |
некоторая |
внутренняя |
точка |
наименьшего |
промежутка, |
содержащего все узлы |
|||||||||
xi (i = |
0,n |
) и точку х. |
|
|
|
|
При наличии дополнительного узла xn+1 |
на практике пользуются более удобной при- |
|||
ближенной формулой |
|
|
|||
|
R |
(x) ≈ ∆n+1 y0 |
q(q −1) (q −n) |
(10) |
|
|
n |
(n +1)! |
|
|
|
|
|
|
|
|
|
Эта формула полезна, например, в случае эмпирически заданных функций.
144
