x_{n+1}=x_{n}-\frac{f(x_n)}{f'(x_n)}.\!

Приведем доказательство, что функция φ(x) в окрестности корня \scriptstyle{U_\delta(\tilde{x})}осуществляет сжимающее отображение.

Доказательство: Пусть дана функция вещественного переменного дважды непрерывно дифференцируемая в своей области определения, производная которой нигде не обращается в нуль:

\scriptstyle{f(x)\colon\mathbb{X}\to\R,\;f(x)\in\mathrm{C}^2(\mathbb{X});\quad\forall

И необходимо доказать, что функция \scriptstyle{\varphi(x)=x-\frac{f(x)}{f'(x)}} осуществляет сжимающее отображение вблизи корня уравнения f(x)=0. В силу непрерывной дифференцируемости функции f(x) и неравенства нулю её первой производной φ(x) непрерывна. Производная φ′(x) равна:

\scriptstyle{\varphi'(x)=\frac{f(x)f''(x)}{\left(f'(x)\right)^2}.}

В условиях, наложенных на f(x), она также непрерывна. Пусть \scriptstyle{\tilde{x}} — искомый корень уравнения: \scriptstyle{f(\tilde{x})=0}, следовательно в его окрестности \scriptstyle{\varphi'(x)\approx 0}:

\scriptstyle{\forall\varepsilon\colon

Тогда согласно теореме Лагранжа:

\scriptstyle{\forall x_1,\;x_2\in\mathrm{U}_\delta(\tilde{x})\;\exist\xi\in\mathrm{U}_\delta(\tilde{x})\colon|\varphi(x_1)-\varphi(x_2)|=|\varphi'(\xi)| |x_1-x_2|<\varepsilon|x_1-x_2|.}

В силу того, что \scriptstyle{\varphi(\tilde{x})=\tilde{x}} в этой же дельта окрестности выполняется:

\scriptstyle{\forall

Таким образом полученная функция φ(x) в окрестности корня \scriptstyle{U_\delta(\tilde{x})}осуществляет сжимающее отображение.

По теореме Банаха последовательность приближений стремится к корню уравнения f(x)=0.

Рис. 1. Иллюстрация метода Ньютона

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

Геометрическая интерпретация

Основная идея метода заключается в следующем: задаётся начальное приближение вблизи предположительного корня, после чего строится касательная к исследуемой функции в точке приближения, для которой находится пересечение с осью абсцисс. Эта точка и берётся в качестве следующего приближения. И так далее, пока не будет достигнута необходимая точность.

НЕ нашли? Не то? Что вы ищете?

Пусть f(x)\colon[a,\;b]\to\R\! — определённая на отрезке [a, b] и дифференцируемая на нём вещественнозначная функция. Тогда формула итеративного исчисления приближений может быть выведена следующим образом:

f'(x_n)=\mathrm{tg}\,\alpha=\frac{\Delta y}{\Delta x}=\frac{f( x_n)-0}{x_n-x_{n+1}}=\frac{0-f(x_n)}{x_{n+1}-x_n},\,\!

где α — угол наклона касательной в точке xn.

Следовательно искомое выражение для xn+1 имеет вид:

x_{n+1}=x_n-\frac{f(x_n)}{f'(x_n)}.\,\!

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

Алгоритм

Задается начальное приближение x0. Пока не выполнено условие остановки, в качестве которого можно взять |x_{n+1}-x_n|<\varepsilon\!или |f(x_{n+1})|<\varepsilon\! (то есть погрешность в нужных пределах), вычисляют новое приближение:

x_{n+1}=x_n-\frac{f(x_n)}{f'(x_n)}\!.

Пример

Иллюстрация применения метода Ньютона к функции f(x) = cosxx3 с начальным приближением в точке x0 = 0,5.

Рис. 2. График последовательных приближений.

Рис. 3. График сходимости.

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

Рассмотрим задачу о нахождении положительных x, для которых cosx = x3. Эта задача может быть представлена как задача нахождения нуля функции f(x) = cosxx3. Имеем выражение для производной f'(x) = − sinx − 3x2. Так как cosx ≤ 1 для всех x и x3 > 1 для x > 1, очевидно, что решение лежит между 0 и 1. Возьмём в качестве начального приближения значение x0 = 0,5, тогда:

\begin{matrix}

x_1

Подчёркиванием отмечены верные значащие цифры. Видно, что их количество от шага к шагу растёт (приблизительно удваиваясь с каждым шагом): от 1 к 2, от 2 к 5, от 5 к 10, иллюстрируя квадратичную скорость сходимости.

Условия применения

Рассмотрим ряд примеров, указывающих на недостатки метода.

Контрпримеры

    Если начальное приближение недостаточно близко к решению, то метод может не сойтись.

Пусть

f(x)=x^3-2x+2.\!

Тогда

x_{n+1}=x_{n}-\frac{x_n^3-2x_n+2}{3x_n^2-2}.

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

Рис.4. Иллюстрация расхождения метода Ньютона, применённого к функции \scriptstyle{f(x)=x^3-2x+2} с начальным приближением в точке x0=0.

    Если производная не непрерывна в точке корня, то метод может расходиться в любой окрестности корня.

Рассмотрим функцию:

f(x)=\begin{cases}

x,

Тогда

f'(0)=1\! и f'(x)=1+2x\sin(2/x)-2\cos(2/x)\!всюду, кроме 0.

В окрестности корня производная меняет знак при приближении x к нулю справа или слева. В то время, как f(x)\geqslant x-x^2>0\! для 0<x<1.

Таким образом f(x) / f′(x) не ограничено вблизи корня, и метод будет расходиться, хотя функция всюду дифференцируема, её производная не равна нулю в корне, f бесконечно дифференцируема везде, кроме как в корне, а её производная ограничена в окрестности корня.

Рис.5. График производной функции \scriptstyle{f(x)=x+x^2\sin(2/x)} при приближении x к нулю справа.

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

Рассмотрим пример:

f(x)=x+x^{4/3}.\!

Тогда f'(x)=1+(4/3)x^{1/3}\!и f''(x)=(4/9)x^{-2/3}\!за исключением х=0, где она не определена.

Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97