Глава 2. ВВЕДЕНИЕ В ЭЛЕМЕНТАРНУЮ ТЕОРИЮ ПОГРЕШНОСТЕЙ
§ 2.1. Источники и классификация погрешностей результата численного решения задачи
Для правильного понимания подходов и критериев, используемых при решении прикладной задачи с применением ЭВМ, очень важно с самого начала признать, что получить точное значение решения практически невозможно и не в этом цель вычислений. Получаемое на ЭВМ решение у почти всегда (за исключением некоторых весьма специальных случаев) содержит погрешность, т.е. является приближенным. Невозможность получения точного решения следует уже из ограниченной разрядности вычислительной машины.
Наличие погрешности решения обусловлено рядом весьма глубоких причин. Перечислим их.
1°. Математическая модель является лишь приближенным описанием реального процесса. Характеристики процесса, вычисленные в рамках принятой модели, заведомо отличаются от истинных характеристик, причем их погрешность зависит от степени адекватности модели реальному процессу.
2°. Исходные данные, как правило, содержат погрешности, поскольку они либо получаются в результате экспериментов (измерений), либо являются результатом решения некоторых вспомогательных задач.
3°. Применяемые для решения задачи методы в большинстве случаев являются приближенными. Найти решение возникающей на практике задачи в виде конечной формулы возможно только в отдельных, очень упрощенных ситуациях.
4°. При вводе исходных данных в ЭВМ, выполнении арифметических операций и выводе результатов на печать производятся округления.
Пусть у — точное значение величины, вычисление которой является
целью поставленной задачи. Соответствующая первым двум из указанных причин погрешность
называется неустранимой погрешностью. Такое название вызвано тем, что принятие математической модели и задание исходных данных вносит в решение ошибку, которая не может быть устранена далее. Единственный способ уменьшить эту погрешность — перейти к более точной математической модели и задать более точные исходные данные.
Погрешность
источником которой является метод решения задачи, называется погрешностью метода, а погрешность
возникающая из-за округлений при вводе, выводе и вычислениях, — вычислительной погрешностью. Таким образом, полная погрешность результата решения задачи на ЭВМ
складывается из трех составляющих: неустранимой погрешности, погрешности метода и вычислительной погрешности, т.е.
Будем далее исходить из предположения, что математическая модель фиксирована и входные данные задаются извне, так что повлиять на значение величины
в процессе решения задачи действительно нельзя. Однако это совсем не означает, что предварительные оценки величины неустранимой погрешности не нужны. Достоверная информация о порядке величины
позволяет осознанно выбрать метод решения задачи и разумно задать его точность. Желательно, чтобы величина погрешности метода была в 2—10 раз меньше неустранимой погрешности. Большее значение
ощутимо снижает точность результата, меньшее — обычно требует увеличения затрат, практически уже не влияя на значение полной погрешности. Иногда характер использования результата таков, что вполне допустимо, чтобы величина
была сравнима с
или даже несколько превышала ее.
Величина вычислительной погрешности (при фиксированных модели, входных данных и методе решения) в основном определяется характеристиками используемой ЭВМ. Желательно, чтобы величина
была хотя бы на порядок меньше величины погрешности метода и совсем не желательна ситуация, когда она существенно ее превышает.
Умение анализировать погрешности при решении прикладной задачи и соблюдать между ними разумный компромисс позволяет существенно экономить используемые ресурсы и является признаком высокой квалификации.