- •Основы математического моделирования
- •Содержательные математические модели
- •Классификация содержательных моделей
- •Формальные математические модели
- •Законы сохранения
- •Вариационные принципы
- •Элементы теории размерностей
- •Контрольные вопросы
- •Основы работы с системой Maxima
- •Установка и запуск системы Maxima
- •Графический интерфейс wxMaxima
- •Справочная информация в wxMaxima
- •Сохранение данных и управление wxMaxima
- •Система компьютерной математики Maxima
- •Основные возможности системы Maxima
- •Скалярные выражения
- •Векторные и матричные выражения
- •Функции и управляющие структуры
- •Контрольные вопросы
- •Элементы вычислительной математики
- •Основы теории погрешностей
- •Абсолютная и относительная погрешности
- •Погрешности основных операций
- •Численное решение нелинейных уравнений
- •Локализация корней уравнения
- •Метод бисекции
- •Метод простой итерации
- •Метод касательных
- •Методы численного интегрирования
- •Метод прямоугольников
- •Метод трапеций
- •Метод парабол
- •Численное решение задачи Коши
- •Метод Эйлера
- •Метод Эйлера–Коши
- •Методы Рунге–Кутты
- •Контрольные вопросы
- •Моделирование в приложениях
- •Падение тела с учётом сопротивления воздуха
- •Колебания маятника с учётом силы трения
- •Полёт тела с учётом сопротивления воздуха
- •Листинги программ
28 |
3. Элементы вычислительной математики |
Пусть даны два приближённых числа * и *, предельные абсолютные и относительные погрешности которых известны: и ;и . Тогда предельные абсолютные и относительные погрешности для их суммы, разности, произведения и частного будут определяться по формулам:
+ = |
+ |
, |
+ = + , |
|
где |
* * > 0; |
||||||||||
|
− |
= |
+ |
, |
|
− |
= | *| + | * |
| , |
где |
* * > 0; |
||||||
|
|
|
|
|
|
|
|
|
| * − *| |
|
|
|
||||
|
= | * *| , |
= + ; |
|
|
|
|||||||||||
|
|
|
|
|
* |
|
|
|
|
|
|
|
|
|
||
|
|
|
= | |
|
| |
|
, |
|
|
= + . |
|
|
|
|||
|
|
* |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|||||||||
Ещё одним источником вычислительной погрешности при решении прикладных задач является вычисление функций = ( ) от приближённых значений аргумента *.
Если предположить, что погрешность приближённого значения невелика * ≈ , а предельные абсолютная и относительная погрешности известны, то предельные абсолютная и относительная погрешности его функции * = ( *) будут определяться формулами:
|
|
|
|
′( *) * |
|
|
≈ | ′( *)| |
, |
≈ |
| |
| ( *|)|| |
| |
. |
3.2.Численное решение нелинейных уравнений
Численное решение нелинейных уравнений вида
( ) = 0 |
(3.1) |
относится к тому редкому типу прикладных задач, которые допускают достаточно полное исследование элементарными средствами и простую геометрическую интерпретацию. Задача отыскания корней нелинейного уравнения (3.1) часто возникает как элементарный шаг при решении более сложных практических задач.
Корнем уравнения называется такое значение неизвестной ¯, при котором верно равенство (¯) = 0. Корень ¯ уравнения (3.1) называется простым, если верно неравенство ′(¯) ̸= 0; в противном случае корень ¯ называется однократным. В более общем случае, корень ¯
3.2. Численное решение нелинейных уравнений |
29 |
уравнения (3.1) будет -кратным, если ( )(¯) = 0 для всех производных ( ) до -ого порядка включительно = 1,2, . . . , .
Отыскание простых корней нелинейного уравнения (3.1) происходит в два этапа. На первом этапе происходит локализация корней, а на втором –– запускается процедура итерационного уточнения приближённых значений корней уравнения.
Структура всех итерационных методов решения нелинейного уравнения (3.1) включает в себя выбор некоторого начального приближения 0 к точному значению корня ¯ и построение так называемой итерационной процедуры, которая обеспечивает последовательное уточнение начального приближения: 0 → 1 → 2 → . . . При корректном выборе начального приближения 0 и итерационной процедуры полученная последовательность приближений будет сходится к точному значению корня → ¯ при → ∞.
3.2.1. Локализация корней уравнения
Отрезок [ , ], содержащий только один из корней ¯ нелинейного уравнения (3.1), называют отрезком локализации данного корня. И хотя не существует достаточно надёжного и универсального метода локализации всех корней нелинейного уравнения, но во многих случаях достаточно хороший результат даёт простейший графический метод. Отметим, что для успешного отыскания корня нелинейного уравнения далеко не всегда требуется полное решение задачи локализации. Во многих случаях достаточно найти хорошее начальное приближение ¯0 к искомому значению ¯.
Пример 3.1. Провести локализацию корней нелинейного уравнения
1 |
− ( − 1 )3 |
= −3 2 |
на отрезке [−1 |
, 3 |
], используя графический |
|
2 |
|
2 |
|
2 |
2 |
|
метод. |
|
|
|
|
|
|
|
Прежде всего перепишем анализируемое уравнение в форме (3.1): |
|||||
1 −( −1 )3− −3 2 = 0. Визуализация полученных уравнений показана |
|
2 |
2 |
в |
3.1 : (%i1)–(%i3), где функция «plot2d()» выполняет построение |
графиков функций «[r(x),l(x),y(x)]», на интервалах по осям абсцисс «[x,-1/2,3/2]» и ординат «[y,-1/2,3/2]».
Листинг 3.1. Локализация корней уравнения
(%i1) l(x):=1/2-(x-1/2)^3$ r(x):=exp(-3*x^2)$
(%i2) y(x):=l(x)-r(x)$
30 3. Элементы вычислительной математики
(%i3) plot2d([r(x),l(x),y(x)],[x,-1/2,3/2],[y,-1/2,3/2])$
Тонкими сплошными линиями на рис.3.1 показаны графики ле-
вой и правой частей уравнения 1 |
− ( − 1 )3 |
= −3 2 , а утолщённой |
|||
2 |
|
2 |
|
|
− −3 2 = 0. |
линией –– график левой части уравнения |
1 |
− ( − 1 )3 |
|||
|
|
2 |
|
2 |
|
Как и следовало ожидать абсциссы точек пересечения красных основ-
ных линий между собой и чёрной утолщённой линии с осью абсцисс
визуально совпадают и локализованы в интервалах: ¯(1) (−1 |
, 0), |
||||
¯(2) ( 1 |
, 1 ), ¯(3) ( 5 |
, 3 ). |
4 |
|
|
|
|
||||
4 |
2 |
4 |
2 |
|
|
Рис. 3.1. Графики левой и правой частей уравнения |
1 − ( − 1 )3 = 3 2 |
|||
2 |
2 |
= 0 |
||
(красные основные линии) и левой части уравнения |
1 −( − 1 )3 − 3 2 |
|||
2 |
|
2 |
|
|
(чёрная утолщённая линия)
Заметим, что графический метод допускает и более точную локализацию корней уравнения, но для этого потребуется выполнить отдельное построение графиков в найденных интервалах локализации с вертикальной сеткой более высокого разрешения.
3.2.2. Метод бисекции
Поиск корней уравнения (3.1) методом бисекции основан на следствии из теоремы Больцано–Коши гласящем, что если функция ( ) непрерывна на отрезке [ , ] и принимает на его концах значения
3.2. Численное решение нелинейных уравнений |
31 |
разных знаков ( ) ( ) < 0, то найдётся по крайней мере одна точка¯ [ , ] такая, что (¯) = 0.
Если допустить, что на отрезке [ , ] лежит лишь один корень ¯ уравнения (3.1), то с помощью указанного критерия нетрудно построить итерационную процедуру, обеспечивающую последователь-
ное уточнение начального приближения 0 = + .
2
Так как истинное положение корня ¯ на отрезке [ , ] = [ 0, 0] не
известно, то перед началом итераций можно утверждать, что погрешность нулевого приближения не превышает текущего радиуса отрезка локализации: |¯ − 0| 6 0− 0 . Уменьшить погрешность приближения можно путём уменьшения2длины отрезка локализации.
Согласно методу бисекции (половинного деления) в качестве нового отрезка локализации берётся тот из полуотрезков [ 0, 0] или [ 0, 0], для которого выполняется условие ( 1) ( 1) 6 0. В соответствии с теоремой Больцано–Коши этот полуотрезок и будет содержать искомый корень ¯ уравнения (3.1). Тогда центр полученного
отрезка [ 1, 1] даёт новое приближение к корню 1 = 1+ 1 с погреш-
ностью |¯ − 1| 6 1− 1 .
2
2
Анализ метода показывает, что -ое приближение к корню бу-
дет иметь погрешность |¯− | 6 − , то есть метод бисекции сходит-
2 +1
ся со скоростью геометрической прогрессии со знаменателем = 1 .
2
С практической точки зрения это достаточно высокий показатель.
Например, для сокращения интервала локализации в 109 раз потребуется не более 29 итераций методом бисекции.
Критерий окончания итераций в методе бисекции состоит в сокращении радиуса текущего интервала локализации до уровня допустимой погрешности .
Пример 3.2. Используя результаты локализации из предыдущего примера найти с помощью метода бисекции отрицательный корень
нелинейного уравнения 1 |
− ( − 1 )3 = −3 2 с погрешностью, не пре- |
|
вышающей = 10−4. |
2 |
2 |
Листинг 3.2. Поиск корня методом бисекции
(%i1) f(x):=1/2-(x-1/2)^3-exp(-3*x^2)$
(%i2) a:-1/4$ b:0$ n:0$ en:1.E-4$
(%i3) for i:1 while abs(b-a)/2 > en do (
c:(a+b)/2, n:i,
if f(a)*f(c) < 0 then b:c else a:c)$
