Теорема о квадратичной сходимости метода Ньютона



Скачать 100.26 Kb.
Дата28.11.2012
Размер100.26 Kb.
ТипЛекция
Лекция 9

6 ноября 2006 года

Теорема о квадратичной сходимости метода Ньютона.

Сформулируем и докажем теорему для одномерного (скалярного) случая. Аналогичная теорема будет справедлива и для систем нелинейных уравнений.

Теорема. Пусть существуют первые две ограниченные производные функции f(u) и, кроме того, существует ; причем имеют место оценки (отображение f(u) равномерно невырождено), а начальное приближение выбирается из условия



Тогда метод Ньютона сходится с квадратичной скоростью сходимости.

Доказательство. Разложим f(uk+1) в ряд Тейлора в окрестности f(uk), ограничившись квадратичными членами разложения:



Здесь введено обозначение Переходя к абсолютной величине и учитывая, что для метода Ньютона или получим



так как

Введем в рассмотрение невязку как получим где

Можно выписать цепочку соотношений

и т.д., в результате для невязки на k итерации получается выражение .

Неравенства и являются определением квадратичной скорости сходимости.


Для сходимости итерационного процесса Ньютона достаточно, чтобы было выполнено условие, следующее из неравенства Отсюда следуют ограничения на начальное приближение, в частности, Теорема доказана.

Замечание. Несложно показать, что погрешность, определяемая, как , или, в скалярном случае, , убывает квадратично. Для этого разложим f(uk+1) в окрестности uk в ряд Тейлора до первого члена (или линеаризуем f(uk+1))



Так как в методе Ньютона приближения находятся достаточно близко к корню уравнения и , получим



Разделив полученное равенство на приходим к оценке

откуда следует



Левая часть последнего неравенства по формуле Ньютона равна В таком случае

, где откуда последовательно находим .

Задача численного интегрирования

Формулы численного интегрирования функций одного переменного называют квадратурными формулами. Задача приближенного вычисления определенного интеграла (на отрезке или по многомерной области) фактически разбивается на две самостоятельные подзадачи. Первая — это интегрирование таблично заданной функции (полученной, например, при проведении лабораторного эксперимента). В таком случае априорная информация о гладкости подынтегральной функции отсутствует, весьма ограничены возможности в выборе узлов интегрирования. Для этой задачи наиболее эффективными будут квадратурные формулы интерполяционного типа и правило Рунге оценки погрешности.

Вторая задача — подсчет значения определенного интеграла от известной функции. При этом самая ресурсоемкая операция с точки зрения вычислений — подсчет значения функции. Желательно построить численный метод, позволяющий получать как можно более высокую точность при наименьшем количестве вычислений, при этом выбор узлов квадратурных формул целиком в руках вычислителя. В этом случае наиболее эффективными окажутся квадратурные формулы типа Гаусса.

Квадратурные формулы интерполяционного типа (формулы Ньютона – Котеса)

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



Положим, что f(t) на рассматриваемом отрезке [a,b] не изменяется (f(t) ≈ const). Тогда: Если то получим формулу прямоугольников с центральной точкой



Конечно, для константы приведенная выше формула точна — говорят, что построенная квадратурная формула будет точна на полиномах степени 0. Легко можно доказать, что формула прямоугольников с центральной точкой будет давать точное значение и в случае линейной функции. Для всех других функций эту формулу будем рассматривать как приближенную.

Если предположить, что функция f(t) на отрезке интегрирования [a, b] достаточно близка к линейной, то можно заменить приближенное значение интеграла I площадью трапеции с высотой (b – a) и основаниями f(a) и f(b). Тогда получается формула трапеций

.

В общем случае квадратурные формулы получаются при помощи интегрирования интерполяционного многочлена, аппроксимирующего подынтегральную функцию. Семейство квадратурных формул, получающихся таким образом, называется формулами интерполяционного типа (формулы Ньютона–Котеса).

  1. Введем на отрезке интегрирования сетку, определим значения функции в узлах сетки. Узлы в дальнейшем будем именовать узлами квадратурной формулы (или квадратуры). Пусть, как и в задаче интерполяции, имеется совокупность узлов , . Пусть также задана таблица Отрезок [tktk+ 1] далее иногда будем называть элементарным отрезком.

Заменим подынтегральную функцию ее интерполяционным полиномом в форме Лагранжа. Будем полагать, что



Рассмотрим некоторые частные случаи.

Формула трапеций. На отрезке [tktk+ 1] проводим замену подынтегральной функции интерполяционным полиномом первой степени:



после чего, выполнив интегрирование по элементарному отрезку, получим приближенное значение интеграла на [tktk+ 1]:



После суммирования интегралов по всем элементарным отрезкам [tktk+ 1] получаем формулу трапеций для отрезка [ab]:



На равномерной сетке (сетке с равноотстоящими узлами) при полученная формула принимает вид



Формула Симпсона. Заменим подынтегральную функцию f(t) на отрезке [tk-1tk] интерполяционным полиномом (в форме Лагранжа) второй степени. Для простоты положим для всех k — сетка на отрезке интегрирования равномерная. Тогда





После вычисления интеграла от полинома получим приближенное значение интеграла по элементарному отрезку



Суммируя по всем элементарным отрезкам [tk-1tk], получим





где Формулу Симпсона можно также записать, не используя дробных индексов



если локальную формулу получать путем интегрирования интерполяционного полинома второй степени по отрезку [tk–1tk+1]:



где — интерполяционный полином, построенный на отрезке [tk–1tk+1] по точкам tk–1, tk, tk+1. В этом случае N — число разбиений отрезка на элементарные отрезки — должно быть четным.

Еще одна используемая на практике квадратурная формула интерполяционного типа — так называемое «правило 3/8». Она получается при замене подынтегральной функции интерполяционным полиномом третьей степени, построенным по четырем точкам. Расчетные формулы для правила 3/8 приведем без вывода:



Конечно, существуют и формулы интерполяционного типа более высоких порядков. Они не применяются на практике по следующим обстоятельствам. Любая формула интерполяционного типа записывается в виде



Во всех приведенных выше формулах коэффициенты αk были положительными. Такие квадратурные формулы называются правильными квадратурными формулами. При использовании полиномов более высоких степеней получаются квадратурные формулы, не являющиеся правильными.

Для степени интерполяционного полинома более 7 среди коэффициентов встречаются отрицательные. Д. Пойа показал, что



где αnk — веса квадратурной формулы, получающейся при замене подынтегрального выражения интерполяционным полиномом степени n. Такое увеличение суммы абсолютных значений коэффициентов связано с быстрым ростом постоянной Лебега при алгебраической интерполяции на равномерной сетке.

Получим теперь погрешность формулы прямоугольников (со средней точкой) для :



погрешность формулы трапеций



погрешность формул Симпсона (с дробными и без дробных индексов соответственно):





Заметим, что если функция f(t) имеет только три непрерывных производных, то оценка погрешности формулы Симпсона ухудшается на порядок:



Интеграл I может быть представлен в виде:



где — приближенные значения интеграла, вычисленные по формуле с порядком точности p с шагом h, — значение интеграла, вычисленное по той же формуле с шагом вдвое меньшим. При малых h константы C и C1 близки. Этот факт тоже необходимо доказывать. Доказательство труда не представляет, пользуясь теоремой Лагранжа о среднем легко получить, что эти величины отличаются на O(hp). Тогда получим



откуда следует



Подставив C во вторую формулу для вычисления I(c,h/2), получим:



Во-первых, эта простая формула позволяет относительно дешевым способом уточнить вычислительное значение интеграла с шагом h/2. Во-вторых, получаем возможность контролировать точность численного интегрирования путем вычисления значения интеграла дважды (с шагами h и h/2).

Примечание. Легко получается аналог правила Рунге при вычислении интеграла для табличной функции. Необходимо лишь с использованием одних и тех же квадратурных формул вычислить интеграл с шагом таблицы h и затем повторить вычисления, выкинув половину точек, с шагом 2h.

Поскольку формулы Ньютона–Котеса являются интерполяционными, очевидно, что они не могут успешно использоваться для получения формул высокой точности по причине неустойчивости интерполяционного процесса для многочленов высокого порядка. Как отмечалось выше, постоянные Лебега растут с увеличением количества узлов интерполяции для равномерной сетки как 2N. По этой причине обычно используются полиномы степени от нуля до трех (соответственно, формулы прямоугольников со средней точкой, трапеций, Симпсона, 3/8). Вычисление с их помощью интегралов от функций, обладающих высокой степенью гладкости, например, близким к полиномам высокой степени, представляется нерациональным. В выражение для погрешности этих формул входят первая, вторая или четвертая производные. Погрешность определяется низким порядком производной при высокой степени гладкости интегрируемой функции. Этих недостатков лишены квадратуры Гаусса.

Формулировка задачи построения квадратурных формул, поставленная Гауссом, такова.

Для заданного количества точек, а именно, для (N+1) точки, найти такое расположение узлов и такие веса ci, чтобы квадратурная формула



была точной для полиномов как можно более высокой степени, т.е. чтобы

Пояснение. Для некоторых классов функций существуют квадратурные формулы с , которые называются точными. Примером такого класса функций являются полиномы



на отрезке [a, b]. Определим на этом отрезке узлы , i 1,…,N и веса сi так, что



Представим PN(t) в виде интерполяционного полинома



при этом остаточный член интерполяции полинома равен нулю:

Тогда из предыдущего условия следует



где сi являются базисными функциями полиномов Лагранжа. Квадратурная формула



является точной для любого полинома степени N. Оказывается, эта формула может быть точной и для полиномов более высокой степени, а именно, 2N + 1, что используется при построении квадратурных формул Гаусса.

Пусть формула численного интегрирования имеет вид



где ci – веса, rN – остаточный член квадратуры.

Положим, что существует многочлен PM(t) степени M > N, для которого квадратурная формула точна, т.е. rN  = 0 при f(t) = PM(t):



где ai — коэффициенты. В этом случае получим









Приравняем выражения в обеих частях равенства при aj:





…,



Получается нелинейная система из M + 1 уравнения с 2(N + 1) неизвестными citi. Отсюда следует, что максимальное значение M есть 2N + 1. Решение этой системы или исследование на его существование и единственность в общем случае затруднительны. Ниже будет рассмотрен пример получения квадратурной формулы Гаусса таким путем для двух узлов.

Гаусс решил эту задачу более простым (в смысле реализации, но не решения!) способом, доказав следующую теорему. Приведем ее без доказательства.

Теорема. Если в качестве узлов ti, i = 0,…,N в квадратурной формуле используются нули полиномов Лежандра qN+1(t), а веса ci вычисляются по формулам



то квадратурная формула



точна для полиномов степени 2N + 1.

Напомним, что полиномы Лежандра образуют ортогональную систему функций на отрезке [–1; 1]

при ; при

Первые несколько полиномов Лежандра будут …, рекуррентная и общая формулы имеют вид

Заметим, что рекуррентные формулы, связывающие три полинома порядка n –1, n и n + 1 уже встречались для полиномов Чебышева. Такие рекуррентные формулы существуют для всех систем ортогональных полиномов.

Погрешность квадратурной формулы Гаусса на отрезке будет при этом Для формула остаточного члена будет причем коэффициент αN быстро убывает с ростом N. Здесь

Формулы Гаусса обеспечивают высокую точность уже при небольшом количестве узлов (от 4 до 10) В этом случае В практических же вычислениях число узлов составляет от нескольких сотен до нескольких тысяч. Отметим также, что веса квадратур Гаусса всегда положительны, что обеспечивает устойчивость алгоритма вычисления сумм

В случае двух узлов = 1 (количество отрезков разбиения), = 2, + 1 = 3 (степень полинома). Узлы tn и веса cn должны удовлетворять следующей системе уравнений:





В данном случае система уравнений будет:









откуда получим



Формула Гаусса записывается как



Эта формула будет точной для полиномов третьей степени.

Похожие:

Теорема о квадратичной сходимости метода Ньютона iconВычислительная математика
Доказать теорему о сходимости метода половинного деления (первая теорема Больцано Коши)
Теорема о квадратичной сходимости метода Ньютона iconВопросы к экзамену по теории чисел 2011-12 уч г. 1 Теорема о рациональных числах и непрерывных дробях
Теорема о сходимости последовательности подходящих дробей бесконечной цепной дроби (доказать)
Теорема о квадратичной сходимости метода Ньютона iconРазложение непрерывной функции в ряд многочленов. Теорема Вейерштрасса
Определение равномерной сходимости и теорема о непрерывности предела равномерно сходящейся последовательности непрерывных функций...
Теорема о квадратичной сходимости метода Ньютона iconТиповые задания для специальности: «Прикладная математика и информатика» Численные методы
Провести один шаг метода простой итерации. Оценить погрешность полученного приб­лижения. Сделать заключение о сходимости метода
Теорема о квадратичной сходимости метода Ньютона iconНеобходимое и достаточное условия Больцано-коши для сходимости последовательностей. Теорема
Теорема. Для того, чтобы последовательность была сходящейся, необходимо и достаточно, чтобы для что и, или
Теорема о квадратичной сходимости метода Ньютона iconОпределение несущей способности цилиндрической оболочки с использованием кинематического метода
Ii использование метода ньютона для определдения плоской линии кратчайшей длины на поверхности оболочки
Теорема о квадратичной сходимости метода Ньютона iconПрограмма коллоквиума по уравнениям математической физики
Лемма об оценке квадратичной формы, теорема единственности для задачи Штурма-Лиувилля
Теорема о квадратичной сходимости метода Ньютона iconПрограмма коллоквиума по уравнениям математической физики
Лемма об оценке квадратичной формы, теорема единственности для задачи Штурма-Лиувилля
Теорема о квадратичной сходимости метода Ньютона icon«Построение графика квадратичной функции»
Цель урока: Формирование и развитие знаний о свойствах и графиках квадратичной функции
Теорема о квадратичной сходимости метода Ньютона iconСтруктура курса «Основы теории нейронных сетей»
Теорема о сходимости алгоритма обучения персептрона для линейно-разделимых множеств
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org