- •1. ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ПОГРЕШНОСТЕЙ; ВЫЧИСЛИТЕЛЬНЫЕ ЗАДАЧИ, МЕТОДЫ И АЛГОРИТМЫ
- •1.1. Источники и классификация погрешностей результата численного эксперимента
- •1.2. Погрешности чисел
- •1.3. Погрешности арифметических операций
- •1.4. Погрешности функций
- •1.5. Особенности машинной арифметики
- •1.6. Лабораторная работа № 1. Определение абсолютной и относительной погрешностей приближенных чисел. Оценка погрешностей результата
- •1.7. Корректность вычислительной задачи
- •1.8. Обусловленность вычислительной задачи
- •1.9. Вычислительные методы, их классификация
- •2. ПРИБЛИЖЕНИЕ ФУНКЦИЙ
- •2.1. Задача приближения функций
- •2.2. Интерполяция обобщенными многочленами
- •2.3. Полиномиальная интерполяция. Многочлен Лагранжа
- •2.4. Погрешность интерполяции
- •2.5. Конечные разности и их свойства
- •Доказательство
- •2.6. Разделенные разности и их свойства
- •2.9. Лабораторная работа № 2. Интерполирование и экстраполирование данных. Интерполяционный многочлен Лагранжа
- •2.10. Интерполяционный многочлен Ньютона с конечными разностями
- •2.11. Лабораторная работа № 3. Интерполирование и экстраполирование данных. Интерполяционный многочлен Ньютона
- •2.12. Интерполяционные формулы Гаусса, Стирлинга и Бесселя
- •3. МЕТОД НАИМЕНЬШИХ КВАДРАТОВ И СПЕЦИАЛЬНЫЕ ИНТЕРПОЛЯЦИОННЫЕ МНОГОЧЛЕНЫ
- •3.1. Постановка задачи и вывод формул метода наименьших квадратов
- •3.3. Глобальная полиномиальная интерполяция
- •3.4. Чувствительность интерполяционного многочлена к погрешностям входных данных
- •3.5. Многочлены Чебышева
- •3.6. Решение задачи минимизации оценки погрешности
- •3.8. Лабораторная работа №5. Экономизация степенных рядов
- •3.9. Локальная интерполяция
- •3.10. Сплайны, их свойства и построение
- •3.11. Погрешность приближения кубическими сплайнами
- •3.13. Тригонометрическая интерполяция. Дискретное преобразование Фурье и его реализация на ЭВМ
- •3.14. Матричная форма записи дискретного преобразования Фурье (ДПФ)
- •3.15. Алгоритм реализации ДПФ
- •3.16. Пример реализации алгоритма ДПФ при
- •3.17. Лабораторная работа № 7. Дискретное преобразование Фурье
- •4. ЧИСЛЕННОЕ ДИФФЕРЕНЦИРОВАНИЕ И ЧИСЛЕННОЕ ИНТЕГРИРОВАНИЕ
- •4.1. Простейшие формулы численного дифференцирования для первой производной
- •4.2. Формулы численного дифференцирования для второй производной
- •4.3. Формулы численного дифференцирования, основанные на интерполяции алгебраическими многочленами
- •4.4. Обусловленность формул численного дифференцирования
- •4.5. Простейшие квадратурные методы численного интегрирования
- •4.6. Оценка погрешностей простейших квадратурных формул
- •4.7. Квадратурные формулы интерполяционного типа
- •4.8. Квадратурные формулы Гаусса
- •4.9. Лабораторная работа № 8. Численное дифференцирование и численное интегрирование функций
- •5. РЕШЕНИЕ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ И ПРОБЛЕМЫ СОБСТВЕННЫХ ЗНАЧЕНИЙ
- •5.1. Нормы векторов и матриц и их свойства
- •5.2. Обусловленность задачи решения системы линейных алгебраических уравнений
- •5.3. Метод Гаусса (схема единственного деления)
- •5.4. Метод прогонки
- •5.5. Метод простых итераций
- •5.6. Сходимость метода простых итераций
- •5.10. Постановка задачи нахождения собственных чисел
- •5.11. Подобные матрицы
- •5.12. Локализация собственных значений
- •5.13. Степенной метод
- •5.14. Вычисление собственных векторов методом обратных итераций
- •6. ЧИСЛЕННЫЕ МЕТОДЫ РЕШЕНИЯ НЕЛИНЕЙНЫХ УРАВНЕНИЙ И СИСТЕМ
- •6.1. Решение нелинейных уравнений
- •6.2. Метод Ньютона для уравнений
- •6.3. Сходимость метода Ньютона и трудности его применения
- •6.4. Метод Ньютона решения систем нелинейных уравнений
- •6.6. Модификации метода Ньютона
- •6.7. Лабораторная работа № 11. Решение систем нелинейных уравнений методом Ньютона
- •7. ЧИСЛЕННЫЕ МЕТОДЫ РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ И СИСТЕМ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
- •7.1. Задача Коши для дифференциального уравнения первого порядка
- •7.2. Численные методы решения задачи Коши. Основные понятия и определения
- •7.3. Решение с помощью рядов Тейлора
- •7.5. Анализ ошибок, возникающих при использовании методов Рунге - Кутты
- •7.6. Методы прогноза и коррекции
- •7.7. Сравнение методов
- •7.8. Лабораторная работа № 12. Методы интегрирования обыкновенных дифференциальных уравнений
- •7.9. Решение задачи Коши для систем обыкновенных дифференциальных уравнений
- •7.11. Лабораторная работа № 13. Численное интегрирование систем дифференциальных уравнений первого порядка
- •8. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ (УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ)
- •8.1. Классификация уравнений математической физики
- •8.2. Простейшие задачи, приводящие к дифференциальным уравнениям в частных производных
- •8.4. Уравнения параболического типа. Явные и неявные схемы
- •Доказательство
- •8.5. Уравнения гиперболического типа
- •8.6. Уравнения эллиптического типа
- •8.7. Свойства разностных схем для дифференциальных уравнений: способность аппроксимировать исходную дифференциальную задачу, устойчивость и сходимость
- •8.8. Некоторые обобщения
- •8.9. Лабораторная работа № 14. Решение задачи Дирихле для уравнения Лапласа методом сеток
- •8.10. Лабораторная работа № 15. Решение однородного уравнения колебаний струны методом сеток по неявной схеме.
С.Д. Шапорев
МЕТОДЫ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И ИХ ПРИЛОЖЕНИЯ
Учебное пособие
Санкт-Петербург
2002
Министерство образования Российской Федерации Балтийский государственный технический университет «Военмех»
С.Д. Шапорев
МЕТОДЫ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И ИХ ПРИЛОЖЕНИЯ
Учебное пособие
Санкт-Петербург
2002
УДК 681, 683 Ш 24
Шапорев С.Д. Методы вычислительной математики и их приложения: учебное пособие / Балт. гос. техн. ун-т «Военмех». СПб., 2002. 230 с.
В пособии рассматриваются основные вычислительные методы, наиболее часто используемые в практике инженерных расчетов по специальностям выпускающих кафедр БГТУ: методы теории приближения функций, численное дифференцирование и интегрирование, методы решения задач линейной алгебры и нелинейных систем уравнений, решение обыкновенных дифференциальных уравнений и систем дифференциальных уравнений, методы решения дифференциальных уравнений с частными производными.
Большое внимание уделяется практической работе с описанными алгоритмами, предлагаются лабораторные работы по всем изучаемым темам, написанные в математическом пакете Mathcad. Каждая лабораторная работа включает серию индивидуальных заданий.
Пособие предназначено для студентов дневного и вечернего отделения. Его использование поможет активизировать самостоятельную работу студентов по курсу «Вычислительная математика» и даст возможность преподавателям контролировать индивидуальную работу студентов в течение всего семестра.
Р е ц е н з е н т ы: кафедра высшей математики ПГУПС ( зав. каф. доктор техн. наук, проф. В.Г. Дегтярев), доктор техн. наук, проф. М.С. Попов.
Утверждено редакционно-издательским советом университета
© БГТУ, СПб., 2002
1. ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ПОГРЕШНОСТЕЙ; ВЫЧИСЛИТЕЛЬНЫЕ ЗАДАЧИ, МЕТОДЫ И АЛГОРИТМЫ
Инженерные вычислительные задачи в настоящее время решаются с помощью ЭВМ и имеют некоторые характерные особенности:
1)ярко выраженная практическая направленность: необходимость доведения результатов до конкретных чисел;
2)большой объем вычислительных работ;
3)сложность математических моделей процессов;
4)широкое использование готовых вычислительных методов.
При решении задач пункт три имеет определяющее значение. Математическая модель – это приближенное описание исследуемого процесса на языке математики. Для любой задачи математическая модель никогда не бывает полностью адекватной. Сам процесс построения моделей всегда протекает итеративно, модель при исследовании непрерывно усложняется, происходит ее подгонка и адаптация, улучшение качества. Решение инженерной задачи с помощью ЭВМ обычно содержит следующие этапы:
1)постановка задачи;
2)выбор математической модели;
3)постановка вычислительной задачи;
4)анализ вычислительных свойств вычислительной задачи;
5)выбор или создание нужного численного метода;
6)алгоритмизация и программирование;
7)обработка и интерпретация результата;
8)использование результата и коррекция математической модели.
1.1.Источники и классификация погрешностей результата численного эксперимента
Точный результат решения получить численно невозможно, он всегда содержит погрешность, то есть является приближенным. Наличие погрешности решения обусловлено следующими причинами.
1.Математическая модель всегда приближенна. Характеристики истинного процесса всегда отличаются от модельных характеристик.
2.Исходные данные всегда содержат погрешность, ибо результат эксперимента неизбежно получается с ошибкой.
3.Теоретические и численные методы решения задач являются приближенными. Лишь решение тривиальной задачи можно получить в виде конечной формулы.
4.При вводе и выводе с ЭВМ производятся округления. Такие же округления производятся и при вычислениях.
Если y - точное значение вычисляемой величины, то это значение содержит следую-
щие погрешности: |
δн y - неустранимая погрешность (пункты 1 и 2), δм y - погрешность мето- |
да (пункт 3), δв y |
- вычислительная погрешность (пункт 4). Таким образом, δy = y − y = |
= δн y + δм y + δв y. |
Не следует думать, что δн y совершенно неизвестна. Конечно, она не из- |
вестна точно, но ее можно оценить приближенно, адаптируя модель к изучаемому процессу δм y должна быть примерно на порядок меньше δн y , а δв y на порядок меньше δм y . В
этом случае достигается разумный компромисс и повышается достоверность конечного результата.
1.2. Погрешности чисел
Пусть a - точное и неизвестное значение некоторой величины, а a - ее известное приближенное значение.
3
Ошибкой (или погрешностью) приближенного значения числа a называется
разность a − a . Количественной мерой ошибки является абсолютная погрешность |
|
(a )= a − a . |
(1.2.1) |
По ней не всегда можно сделать правильное заключение о качестве приближения. Для этого вводится понятие относительной погрешности.
Относительной погрешностью приближенного значения числа |
a называется |
|||||||||||||
δ (a )= |
|
a − a |
|
|
= |
(a ) |
. |
(1.2.2) |
||||||
|
|
|||||||||||||
|
|
|
|
|
|
|||||||||
|
|
a |
|
|
|
|
|
a |
|
|
||||
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
Эта погрешность не зависит от масштаба величины единицы измерения. Непосредственное вычисление по формулам (1.2.1) и (1.2.2) невозможно, так как a неизвестно. Часто
задают величины |
|
(a )≥ |
|
a − a |
|
, |
|
|
|
(a )≥ |
|
a − a |
− |
верхние границы погрешностей и по- |
||||||||||||||||||||
|
|
|
|
|
δ |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
a |
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
лагают |
|
|
|
|
|
|
|
|
|
|
(a ), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
(a )≈ |
|
|
|
|
|
|
(a )≈ |
|
a |
|
|
|
(a ). |
|
|
|
|
(1.2.3) |
||||||||||||
|
|
|
δ |
|
|
|
|
|
|
|
|
δ |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
При записи приближенных чисел руководствуются следующими правилами. Пусть |
||||||||||||||||||||||||||||||||||
a задано в виде конечной десятичной дроби a = α |
|
n |
α |
|
...α |
0 |
.β β |
...β |
m |
. |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
1 2 |
|
|
||||
Значащими цифрами числа a |
называются все цифры в его записи, начиная с |
|||||||||||||||||||||||||||||||||
первой ненулевой слева. Например, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
a1 = 2.173, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
все значащие цифры подчеркнуты. |
|
|
||||||||||||||||||||||||||||||
|
a2 = 0.0103, |
|
|
|||||||||||||||||||||||||||||||
|
= 0.01035600. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
a3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Значащую цифру числа a называют верной, если абсолютная погрешность
числа не превосходит единицы разряда, соответствующего этой цифре. |
||||
Пусть a = 0.032105 и |
|
|
(a )= 2 10 −5. Тогда a имеет три верные значащие цифры |
|
|
|
|||
(они подчеркнуты). Если бы |
|
(a )< 1 10 −5 , было бы четыре верные значащие цифры. Число |
||
|
верных значащих цифр тесно связано с величиной относительной погрешности числа. Имеют место следующие результаты.
Теорема 1.1. Если |
a |
содержит |
N |
верных значащих цифр, то |
δ (a )≤ (10 N −1 − 1)−1 ≈ 10 −N +1. |
|
|
|
|
Теорема 1.2. Для того чтобы число a содержало N верных значащих цифр, дос- |
||||
таточно, чтобы δ (a )≤ (10 N |
+1)−1 |
≈ 10 −N . |
|
|
Теорема 1.3. Если a имеет ровно N значащих цифр, то 10−N −1 ≤ δ(a )≤ 10−N +1 , то |
||||
есть δ (a )≈ 10−N . |
|
|
|
|
Эти теоремы позволяют оценивать δ (a ) |
по числу значащих цифр и наоборот. На- |
пример, если дано a = 0.364001, то есть a имеет шесть значащих цифр, то ε = δ (a )≈ 10−6.
При округлении возникает погрешность, называемая погрешностью округления. Существуют два способа округления.
1.Усечение – отбрасывание всех цифр, расположенных правее n - ой значащей цифры. При этом погрешность ε не превышает (достигает) единицы того же разряда.
2.Округление по дополнению. Это следующее правило: если первая цифра слева от отбрасываемых меньше пяти, то лишнее просто отбрасывается, как при усечении; если же первая цифра слева от отбрасываемых больше или равна пяти, то в младший сохраняемый
4
разряд добавляется единица. Абсолютная величина погрешности по дополнению не превышает половины единицы последней оставляемой значащей цифры.
1.3. Погрешности арифметических операций
Теорема 1.4. Абсолютная погрешность алгебраической суммы не превосходит суммы абсолютных погрешностей слагаемых, то есть (a ± b )≤ (a )+ (b ).
Доказательство
Запишем формулу для абсолютной погрешности алгебраической суммы двух величин по определению и воспользуемся свойствами модуля. Получим сразу необходимый резуль-
тат |
|
|
||||||||||||||||||||||||
(a ± b )= |
|
(a ± b)− (a ± b ) |
|
= |
|
(a − a )± (b − b ) |
|
≤ |
|
a − a |
|
+ |
|
b − b |
|
= |
(a )+ |
(b ). (1.3.1) |
||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
Теорема 1.5. Пусть a и b - ненулевые числа одного знака. Тогда |
|
|||||||||||||||||||||||||
|
|
δ (a + b )≤ δ max, δ (a − b )≤ ϑ δ max, |
|
|
||||||||||||||||||||||
|
|
δ max = max{δ (a ), δ (b )}, ϑ = |
|
|
|
a + b |
|
|
. |
|
(1.3.2) |
|||||||||||||||
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
a − b |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство
Поступим так же, как и в предыдущей теореме. Выразим абсолютную погрешность
через относительную: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
(a ± b )= |
|
a ± b |
|
δ(a ± b )≤ |
|
(a )+ |
(b )= |
|
a |
|
δ(a )+ |
|
b |
|
δ(b )≤ ( |
|
a |
|
+ |
|
b |
|
)δ max = |
|
a + b |
|
δ max. |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
δ (a + b )= |
|
( |
a + b ) |
= |
|
|
|
a + b |
|
δ max |
|
= δ max. |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
a + b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a + b |
|
|
|
|
|
|
|
|
|
|
|
(1.3.3) |
|||||||||||||||||||
|
|
δ (a − b )= ( |
a − b ) |
|
|
|
a + b |
|
δ max |
|
|
|
|
|
a + b |
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
= |
|
|
|
= |
|
|
|
|
|
|
|
δ max. |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
a − b |
|
|
|
|
|
a − b |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a − b |
|
|
|
Из последних двух равенств видно, что при вычитании двух близких чисел может произойти катастрофическая потеря точности, так как при a −b → 0 в последней формуле
δ (a − b )→ ∞.
Теорема 1.6. Для относительных погрешностей произведения и частного прибли-
женных чисел верны следующие оценки: |
|
|
|
|
|
|
|
|
|
||||
δ (a b )≤ δ (a )+ δ (b )+ δ (a ) δ (b ), |
(1.3.4) |
||||||||||||
a |
|
|
|
δ(a |
|
)+ δ(b |
|
) |
|
|
|||
|
|
|
|
|
|
|
|
|
|
. |
|
||
δ |
|
|
|
≤ |
|
|
|
|
|
|
|
|
|
|
|
1 − δ(b |
|
) |
|
|
|
||||||
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
Первая требуемая формула получается традиционным путем: |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
ab |
|
δ (a b )= |
|
(a b ) |
= |
|
ab − a b |
|
= |
|
|
(a − a )b + (b − b )a − (a − a )(b − b ) |
|
≤ |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
(a |
|
) |
|
|
a (b ) |
|
(a |
|
) |
|
(b |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
||||||||||||||||||||||||||||||||||||
|
|
b |
|
(a )+ |
|
a |
|
(b )+ |
|
|
(a ) (b |
|
)= |
|
a |
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
≤ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
= |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
a |
|
|
|
b |
|
|
|
a |
|
|
|
b |
|
|
|
a |
|
|
b |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
= |
|
a |
|
|
|
b |
|
[δ (a )+ δ (b )+ δ (a ) δ (b )]. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для вывода второй оценки предварительно получим, используя свойства модуля, следующую формулу: b = b + (b − b) ≥ b − (b )= b [1 − δ (b )]. Тогда
5
|
|
|
|
a |
− |
a |
|
|
|
ab − ba |
|
|
a(b − b)+ b(a − a ) |
|
|
a |
|
(b )+ |
|
b |
|
(a ) |
|
δ (a )+ δ (b ) |
|
|||||||||||||||
a |
|
|
|
b |
b |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
= |
|
|
|
|
|
= |
|
|
|
|
|
≤ |
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
||||
δ |
|
|
|
|
a |
|
|
|
ab |
|
|
|
|
ab |
|
|
|
ab |
[1 − δ (b |
|
)] |
|
1 − δ (b |
|
) |
|
. |
|||||||||||||
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
b |
|
|
|
|
|
δ (b )<< 1, а δ(a )≤ 1 , то для оценки границ относительных по- |
||||||||||||||||||||||||||||
|
Следствие. Если |
|||||||||||||||||||||||||||||||||||||||
грешностей |
|
|
|
можно |
|
|
использовать |
|
|
следующие |
|
|
|
приближенные |
равенства |
δ(a b )≈ δ a ≈ δ (a )+ δ (b ). Чаще всего на практике делают именно так.
b
1.4.Погрешности функций
|
Пусть f ( |
|
|
|
|
|
)= f (x1 , x2 ,..., xn ) - |
|
функция |
|
n - переменных, дифференцируемая в рас- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
x |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
сматриваемой области (например, на отрезке |
|
|
[x, x ]). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= f (x |
)справедлива сле- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Теорема 1.7. Для абсолютной погрешности значения |
|
|
|
y |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
дующая формула: |
|
(y )≤ ∑n max |
|
|
f x/j |
|
|
|
|
|
(x j ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1.4.1) |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 x,x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
Вспомним сначала формулу Тейлора для функции нескольких переменных. Для |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
функции одного переменного разложение в окрестности точки x |
будет иметь вид |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
f / (x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f // (x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
f (n−1)(x ) |
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
f (x) = f (x |
|
)+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x |
− x |
|
)+ |
|
|
|
|
|
|
|
|
(x − x |
|
) + ... + |
|
|
|
|
|
|
|
|
|
|
(x |
− x |
) |
|
|
|
+ |
Rn (θ), θ (x, x |
|
). |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1! |
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
(n −1)! |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Для функции n переменных форма записи формулы Тейлора остается точно такой |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
же, если вместо производных записать дифференциалы соответствующих порядков: |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f ( |
|
|
)= |
|
1 |
|
df |
(x |
)+ |
|
1 |
|
d 2 f (x |
)+ ... + |
|
1 |
|
|
|
|
d n−1 |
f (x |
)+ Rn ( |
|
). |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
θ |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1! |
|
|
|
(n − |
1)! |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
n |
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
где, |
d f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
dx1 |
|
|
|
|
|
|
|
dx2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x). Например, для функции двух перемен- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
∂x |
|
+ ∂x |
|
|
+ ... + |
|
|
∂x |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
= |
|
|
|
|
|
|
|
|
|
|
|
dxn f |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
ных |
f (x , x |
|
) = f |
(x , x ) |
+ n∑−1 |
1 |
|
(x − x |
) |
|
|
|
|
∂ |
|
|
|
|
+ (x |
|
|
|
|
− x ) |
|
|
∂ |
|
k f (x |
, x )+ R |
|
( |
|
)= |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
n |
θ |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
k =1 k! |
1 |
1 |
|
|
∂x1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 ∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 ∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 ∂2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|||||||||||||||||||||||||||||||
= |
f (x1 |
, x2 )+ |
|
|
|
|
|
|
f |
(x1 |
, x2 )(x1 |
− x1 ) |
+ |
|
|
|
|
|
|
|
|
|
f (x1 |
, |
|
x2 )(x2 − x2 )+ |
|
|
|
|
|
|
f |
(x1 |
, x2 )(x1 |
− x1 |
) + |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
1! |
|
|
∂x |
|
|
1! |
|
∂x |
2 |
|
|
|
2! |
∂x |
2 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
1 ∂2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 ∂2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
f |
(x1 |
, |
x2 )(x1 − x1 |
)(x2 − x2 ) |
+ |
|
|
|
|
|
f (x1 , x2 )(x2 − x2 ) |
|
+ ... |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
2! |
|
∂x ∂x |
2 |
2! ∂x |
2 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Отбрасывая все члены второго порядка и выше, получим |
|
(x , x |
)(x |
|
|
|
− x ). |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
f |
(x , x |
2 |
) |
− f (x , x |
)= (y )≈ f |
/ |
|
(x , x )(x − x )+ f / |
|
2 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
1 |
|
|
2 |
1 |
|
|
1 |
|
|
|
x |
2 |
|
|
|
1 |
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Таким образом, искомая формула сразу вытекает из формулы Лагранжа**. Если |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
− |
x |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
x |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
достаточно мало, то для предельных значений погрешностей можно положить |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(y )= ∑n |
|
|
fx/j (x |
) |
|
|
|
(x j ) или |
|
|
|
|
(y )= ∑n |
|
fx/j |
( |
|
) |
|
|
|
(x j ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для относительных погрешностей тогда имеем следующие формулы:
Брук Тейлор (1685-1731) - английский математик.
** Жозеф Луи де Лагранж (1736-1813) - французский математик, механик и астроном.
6
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
f x/ |
|
(x ) |
|
|
|
|
(x j ) |
x j |
|
|
|
|
|
|
|
|
∑ |
|
x j |
|
|
f x/ |
(x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
(y |
|
) |
|
|
|
|
|
|
(y |
|
) |
|
|
|
|
|
|
j=1 |
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x j ) |
n |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
δ (y |
|
)= |
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= ∑ ϑ |
j |
δ (x j |
) или |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
f (x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x ) |
|
|
|
|
x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
(x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x j |
|
|
j=1 |
|
|
|
(1.4.2) |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
j |
|
f / |
(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
δ (y )= ∑ ϑ j δ (x j ), где ϑj |
= |
|
|
|
|
|
|
|
x j |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y = f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
I частный случай. Функция |
|
|
|
|
|
- функция одного переменного. Здесь следует |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
положить n =1, |
тогда |
|
|
|
|
|
(y )≈ |
|
f / (x ) |
|
|
|
|
(x ) |
или |
|
|
|
(y )≈ |
|
f / (x) |
|
|
|
|
(x ). Для относительных по- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
грешностей все аналогично: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
|
f / (x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
f / (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
ϑ = |
|
|
|
|
, δ (y )= ϑ δ (x ) или ϑ = |
, |
δ (y )= ϑδ (x ). |
(1.4.3) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
f (x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
II частный |
случай. Функция F ( |
|
, y)= 0 - неявная. Этот случай отличается от исход- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
x |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ного только формулой для нахождения частных производных: |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− Fx/ ( |
|
, y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x/j (x)= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fy/ |
( |
|
|
, y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y= f |
|
(x ), j=1,2,...n. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
Пример. Пусть корни квадратного уравнения |
|
|
|
|
|
x2 |
|
+ bx + c = 0 вычисляются при коэф- |
фициентах b ≈103 , c ≈1. Каково влияние погрешностей задания коэффициентов на точность вычисляемых значений?
Решение
Договоримся сразу, чтобы избежать путаницы, об обозначениях. Здесь роль двух функций ( y1,2 в формулах 1.4.1 и 1.4.2) играют x1 и x2 - корни квадратного уравнения. Роль
переменных x1, x2 ,..., xn играют b и c - коэффициенты квадратного уравнения. Их всего
два. В этих обозначениях x1 ≡ y1 (b, c)= f1 (b, c), x2 ≡ y2 (b, c)= f2 (b, c). Однако, этих явных уравнений нет, они лишь предполагаются, задана же неявная функция
x2 + bx + c = F (x, b, c)= 0 .
Найдем выражения для частных производных F / = 2x + b, |
F / = x, |
F / = 1. |
x |
b |
c |
Отсюда |
|
f / |
|
= |
|
|
F / |
, |
|
f / |
|
= |
|
|
|
F / |
. Тогда по формуле (1.4.2) получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
b |
|
|
|
|
|
|
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
b |
|
|
|
|
|
F / |
|
|
|
c |
|
|
|
|
|
F / |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
(x1 )= |
|
|
|
|
x |
|
|
|
(b )+ |
x |
|
|
(c ), |
|
|
(x2 )= ϑ1,2 |
|
(b )+ ϑ2,2 |
|
|
(c ), где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
ϑ1,1 |
|
|
|
ϑ2,1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
δ |
|
δ |
δ |
δ |
δ |
δ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
ϑ1,1 |
= |
|
|
b |
|
|
|
fb/ |
(b , c ) |
|
|
|
, ϑ2,1 = |
|
c |
|
fc/ (b , c ) |
|
|
, ϑ1,2 = |
|
|
b |
|
|
|
fb/ (b , c ) |
|
|
= |
|
c |
|
|
|
fc/ (b , c ) |
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, ϑ2,2 |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|||||||||||||
|
|
|
|
|
|
|
|
|
x1 |
|
|
|
|
|
|
|
|
|
|
|
x1 |
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Здесь первый индекс у коэффициента ϑ - номер переменного, а второй индекс соответствует номеру функции, то есть номеру корня квадратного уравнения. Решим исходное квадратное уравнение. x2 + bx + c = 0 x1 ≈ −103 , x2 ≈ −10−3. Тогда
|
|
b |
|
|
|
|
Fb/ |
|
|
|
|
|
|
|
10 |
3 |
|
|
|
|
−103 |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
F / |
|
|
|
|
|
|
|
|
|
− 2 |
103 + 10 |
3 |
|
|
|
|
|
|
−6 , ϑ =1, |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
ϑ = |
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
≈ |
|
|
|
|
|
|
|
|
|
|
|
|
|
= 1. Аналогично, |
ϑ |
2,1 |
=10 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
1,1 |
|
|
|
x1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
103 |
|
|
|
|
|
|
|
1,2 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x=x , b =103 |
, c =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
(x1 )= |
|
(b )+10−6 |
|
(c ), |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
ϑ2,2 =1. Итак, |
|
δ |
δ |
δ |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
(x2 )= |
|
(b )+ |
|
(c ). |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
δ |
δ |
δ |
|
|
|
|
|
|
|
|
|
|
|
7