Сущность метода заключается в следующем.
Пусть необходимо найти корень уравнения с заданной точностью ε.
Исходное уравнение заменим равносильным ему уравнением . Это можно сделать различными способами. Например, выделить из исходного уравнения переменную x, остальное перенести в правую часть. Правая часть и составит выражение для .
Выберем на отрезке [ a, b ] произвольное значение x 0 в качестве нулевого приближения для искомого корня. Подставляя это значение в правую часть уравнения , получим уточненное значение x 1 искомого корня . Снова подставляя полученное значение x 1 в правую часть уравнения , получим значение x 2 искомого корня в следующем приближении . Продолжая этот процесс, получим последовательность приближений: , , … . Эту последовательность называют итерационной.
Установлено, если существует предел последовательности x 0, x 1, x 2, …, xn, т. е. , то он является корнем ξ уравнения и может быть вычислен по формуле с любой степенью точности ε.
Рассмотрим геометрическую интерпретацию метода итерации. Построим в плоскости x 0 y график левой части уравнения . Это будет биссектриса координатного угла (рис. 2, а). Затем строим график правой части уравнения , т. е. график . Получим некоторую линию L на плоскости x 0 y.
Пусть для любой точки этой линии на интервале [ a, b ] соблюдается условие . Абсцисса ξ точки пересечения линии L с биссектрисой является корнем уравнения (таких точек в общем случае может быть несколько). Найдем значение ξ корня.
Зададимся в качестве приближенного значения корня величиной . Согласно методу итерации, новое приближение для искомого корня ξ будет . Геометрически x 1 находим, проведя через точку A 0 кривой L прямую, параллельную оси абсцисс, до пересечения с прямой . Абсцисса точки B 1 пересечения и дает x 1 (рис. 2, а). Продолжая этот процесс, получим точки x 2, x 3, …. Последовательность этих значений стремится к значению ξ искомого корня уравнения .
Возможен случай, когда для кривой L графика выполняется условие (рис. 2, б). Последовательные вычисления приближенных значений корня, как на рис. 2, а, показаны стрелками. Приближения x 1, x 2, … здесь также сходятся к искомому решению ξ. Однако в отличие от предыдущего случая, где решение уравнения представляет собой вид «лестницы», здесь решение имеет вид «спирали».
Геометрическое представление метода итерации для случаев, когда и (рис. 2, в, г) показывает, что в этих случаях метод итерации не обладает сходимостью, т. е. последовательное вычисление приближенных значений x 0, x 1, x 2, …, xn корня не приводит к искомому решению ξ.
Таким образом, метод итерации обладает сходимостью тогда, когда и не обладает сходимостью при . В соответствии с этим примем без доказательства следующую теорему.
Пусть функция определена и дифференцируема на отрезке [ a, b ], причем все ее значения . Тогда, если существует правильная дробь q такая, что на отрезке [ a, b ], то:
1) процесс итерации (n = 1, 2, …) сходится независимо от начального значения ;
2) предельное значение является единственным корнем уравнения , следовательно, на отрезке [ a, b ].
За число q можно принять наименьшее значение модуля производной на отрезке [ a, b ]. При этом процесс итерации следует продолжать до тех пор, пока для двух последовательных приближений xn -1 и xn не будет выполнено неравенство
,
что обеспечивает выполнение условия .
Если , то уточнение корня можно вести до соблюдения неравенства .
На рис. 2, д приведена блок-схема алгоритма уточнения корня уравнения методом итерации. Исходными данными являются начальное приближение x 0 для искомого корня и точность ε, с которой необходимо вычислить корень уравнения.
Блок 3 задает начальное приближение для корня x. Блоки 4-6 составляют цикл уточнения корня по формуле , где x и x 1 – предыдущее и последующее приближение соответственно.
Отметим общую методику уточнения корня методом итерации.
1) исходное уравнение заменить равносильным уравнением ;
2) исследовать уравнение на сходимость процесса итерации, т. е. определить ;
3) если , произвести уточнение корня до заданной точности ε по формуле . Если , подобрать другое уравнение и повторить п. 2.
Пример. Дано нелинейное уравнение
(1)
и интервал существования его корня . Вычислить методом итерации значение корня с точностью ε = 0,001.
Решение. Согласно методу итераций исходное уравнение следует привести к виду . Это можно сделать несколькими способами, например:
Первый способ. Исходное уравнение запишем в виде , отсюда , т.е.
; (2)
Второй способ. Как и в первом способе, исходное уравнение приведем к виду . Возьмем от обеих частей синус
.
Так как , то . Отсюда , т. е
. (3)
Проверим, какая из полученных функций обеспечивает сходимость метода итераций, т.е. удовлетворяет требованию на интервале существования корня.
Для функции (2) при подстановке значений получим
.
Для функции (3) при подстановке значений получим
.
Поскольку, условию сходимости процесса итераций удовлетворяет функция , то уточнение корня будем производить по формуле .
Таким образом, исходная математическая задача определения корня уравнения сводится к следующей вычислительной задаче:
вычислять по формуле , значение корня уравнения до выполнения условия .
За начальное приближение искомого корня принимаем любую точку из , например .
Приведём результаты вычислений первых двух приближений и для уточняемого корня:
;
.
В первом приближении . Так как , то, принимая , производим вычисление корня в следующем (втором) приближении (начиная с блока 3):
.
Таким образом, имеем ; ; . Заметим, что , поэтому процесс уточнения корня должен быть продолжен.
Из приведенных выше примеров преобразования исходного уравнения к виду можно заметить, что от вида функции уравнения зависит сходимость метода итераций. Поэтому обычно применяют общий прием построения функции , для которой обеспечивается выполнение условия сходимости на отрезке [ a, b ].
Исходное уравнение умножают на произвольную константу λ и прибавляют к обеим частям полученного уравнения переменную x, т. е. представляют в виде , где .
При этом предполагается, что на отрезке [ a, b ] производная существует и сохраняет свой знак. Кроме того, имеет место неравенство:
, где ; .
Значение константы λ выбирается таким, чтобы в интервале [ a, b ] существования корня ξ выполнялось неравенство
,
которое можно записать в виде
.
Из последнего имеем: . Решением правого неравенства является
и ,
а из левого неравенства получим
и .
Таким образом, в зависимости от знака производной имеем:
и .
Учитывая, что за значение константы λ принимают:
при котором условие сходимости процесса уточнения корня соблюдается.