Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Численное решение нелинейных уравнений. Методы простой итерации. Примеры методов. Теорема о сходимости метода простой итерации и ее следствия



Пусть задана функция f(x) действительного переменного. Требуется найти корни уравнения

f(x)= 0 (1)

или, что то же самое, нули функции f(x).

Уже на примере алгебраического многочлена известно, что нули f(x) могут быть как действительными, так и комплексными. Поэтому более точная постановка задачи состоит в нахождении корней уравнения (1), расположенных в заданной области комплексной плоскости. Можно рассматривать также задачу нахождения действительных корней, расположенных на заданном отрезке. Иногда, пренебрегая точностью формулировок, будем говорить, что требуется решить уравнение (1).

Задача нахождения корней уравнения (1) обычно решается в два этапа. На первом этапе изучается расположение корней (в общем случае на комплексной плоскости) и проводится их разделение, т. е. выделяются области в комплексной плоскости, содержащие только один корень. Кроме того, изучается вопрос о кратности корней. Тем самым находятся некоторые начальные приближения для корней уравнения (1). На втором этапе, используя заданное начальное приближение, строится итерационный процесс, позволяющий уточнить значение отыскиваемого корня.

Не существует каких-то общих регулярных приемов решения задачи о расположении корней произвольной функции f(x). Наиболее полно изучен вопрос о расположении корней алгебраических многочленов

f(x)=a0 + a1x+a2x2+... + amxm. (2)

Например известно, что если для многочлена (2) с действительными коэффициентами выполнены неравенства

f(c)>0, f’(с)>,…, f(m)(c)>0,

то положительные корни f(х) не превосходят числа с.

Численные методы решения нелинейных уравнений являются, как правило, итерационными методами, которые предполагают задание достаточно близких к искомому решению начальных данных.

2. Метод простой итерации. Он состоит в том, что уравнение (1) заменяется эквивалентным уравнением

x = s(x) (3)

и итерации образуются по правилу

xn+1 = s(xn), n = 0,1,..., (4)

причем задается начальное приближение х0. Для сходимости большое значение имеет выбор функции s(x). Эту функцию можно задавать различными способами, однако обычно она берется в виде

s(x) = x + τ(x)*f(x), (5)

причем функция τ(х) не меняет знака на том отрезке, где отыскивается корень. Метод простой итерации сходится при надлежащем выборе начального приближения х0, если |s'(x0) | < 1, где х. – корень уравнения (1).

Отметим, что в форме метода простой итерации (4) можно записать, по существу, любой одношаговый итерационный метод.

Примеры методов: метод релаксации, метод Ньютона, метод секущих.

Сходимость метода простой итерации.

Теорема о сходимости. Перепишем уравнение

f(x)= 0 (1)

в эквивалентном виде

x = s(x) (2)

и рассмотрим метод простой итерации

xn+1 = s(xn), n = 0, 1,..., x0 задан. (3)

Говорят, что итерационный метод сходится, если последовательность {хn} имеет предел при n->∞.

В следующей теореме формулируются условия на функцию s(x), гарантирующие существование и единственность решения уравнения (2) и сходимость метода простой итерации к этому решению. Напомним, что функция s(x) называется липшиц-непрерывной с постоянной q на множестве X, если для всех х', х" Х выполняется неравенство

|s(x') – s(x")| q|x' – х"|. (4)

В дальнейшем в качестве X будем брать отрезок

Ur(a)={

 

Теорема 1. Если s(x) липшиц-непрерывна с постоянной q (0, 1) на отрезке Ur(a), причем

|s(a) – a|<(1 – q)r, (6)

то уравнение (2) имеет на отрезке Ur(a) единственное решение х, и метод простой итерации (3) сходится к х* при любом начальном приближении x0 (Ur(a)). Для погрешности справедлива оценка

|xk – x*| qk|x0 – x*|, k = 0, 1,2,... (7)

Доказательство. Сначала докажем по индукции, что xk Ur(a), k = 0,1,… т. е. что метод простой итерации не выводит за пределы того множества, на котором s(x) липшиц-непрерывна с постоянной q (0, 1). Предположим, что xj Ur(a) при некотором j 0, и докажем, что тогда xj+l Ur(a). Из равенства

xj+1 – a = s(xj) – a = (s(xj) – s(a)) + (s(a) – a)

получим

|xj+1 – a| |s(xj) – s(a)| + |s(a) – a|

Учитывая условие липшиц-непрерывности, предположение индукции и условие(6),имеем

т.е.

Оценим теперь разность двух соседних итераций xj+1—xj. Имеем

и поскольку все точки хj, j = 1,2,..., находятся на отрезке Ur(a), получаем оценку

и,следовательно,

. (8)

Оценка (8) позволяет доказать фундаментальность последовательности {xk}. Действительно, пусть p – любое натуральное число. Тогда

и согласно (8) имеем

(9)

Поскольку правая часть неравенства (9) стремится к нулю при и не зависит от р, последовательность {xk} является фундаментальной. Следовательно, существует

Переходя в (3) к пределу при и учитывая непрерывность функции s(x), получим x*=s(x*), т. е. х* - решение уравнения (2).

Предположим, что х*’ какое – то решение уравнения (2), принадлежащее отрезку Ur(a). Тогда

и по условию теоремы

Так как q<1, последнее неравенство может выполняться лишь при , т.е. решение единственно.

Докажем оценку погрешности (7). Из уравнения (3) получим

и так как , приходим к неравенству

(10)

справедливому для всех k = 0, 1,..., из которого и следует оценка (7). Теорема 1 доказана.

Приведем следствия из теоремы 1, содержащие более удобные для проверки условия сходимости.

Будем предполагать, что s(x) непрерывно дифференцируема на отрезке Ur(a).

Следствие 1. Если

(12)

для , выполнено условие (6) и , то уравнение (2) имеет единственное решение , метод (3) сходится и справедлива оценка (7).
Действительно, из (12) следует (4) с q (0, 1).
Cледствие 2. Пусть уравнение (2) имеет решение , функция s(x) непрерывно дифференцируема на отрезке
(13)
и . Тогда существует ε>0 такое, что на отрезке Ur(x*) уравнение (2) не имеет других решений и метод (3) сходится, если только .
Доказательство. Поскольку s(x) непрерывно дифференцируема на отрезке Ur(x*) и , найдутся числа q (0, 1) и такие, что


ВОПРОС 18 (2)





Дата публикования: 2015-01-26; Прочитано: 1062 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.01 с)...