ВУЗ:
Составители:
9
Рассмотрим еще один пример неустойчивого алгоритма. Построим
численный метод вычисления интеграла
∫
−
=
1
0
1
dxexI
xn
n
, n=1,2,…
Интегрируем по частям, для этого используем следующую формулу:
∫∫
−==
b
a
b
a
b
a
vduuvuvduI
Получаем
e
dxexedxxeI
xxx
1
1
0
1
1
0
1
1
0
1
1
=−==
∫∫
−−−
,
.1
,212
1
1
0
11
1
0
1
1
0
1
1
1
0
1
1
0
12
1
0
12
2
−
−−−−
−−−
−=−==
−=−==
∫∫
∫∫
n
xnxnxn
n
xxx
nIdxexnexdxexI
IdxxeexdxexI
LLLLLLLLLLLLLLLLLLL
Пользуясь полученным рекуррентным соотношением, вычисляем:
I
1
=0.367879,
I
2
=0.263242,
I
3
=0.207274,
I
4
=0.170904,
I
5
=0.145480,
I
6
=0.127120,
I
7
=0.110160,
I
8
=0.118720,
I
9
=-0.0684800
10
Значение интеграла I
9
не может быть отрицательным, поскольку
подынтегральная функция
x
9
e
x-1
на всем отрезке интегрирования [0,1]
неотрицательна. Исследуем источник погрешности. Видим, что округление в
I
1
дает погрешность, равную примерно лишь 4.4*10
-7
. Однако на каждом этапе эта
погрешность умножается на число, модуль которого больше единицы (-2, -3,...,-
9), что в итоге дает 9!. Это и приводит к результату, не имеющему смысла. Здесь
снова причиной накопления погрешностей является алгоритм решения задачи,
который оказался неустойчивым.
Численный алгоритм (метод) называется
корректным в случае
существования и единственности численного решения при любых значениях
исходных данных, а также в случае устойчивости этого решения относительно
погрешностей исходных данных.
Понятие сходимости.
При анализе точности вычислительного процесса
одним из важнейших критериев является
сходимость численного метода. Она
означает близость получаемого численного решения задачи к истинному
решению. Строгие определения разных оценок близости могут быть даны лишь с
привлечением аппарата функционального анализа. Здесь мы ограничимся
некоторыми понятиями сходимости, необходимыми для понимания
последующего материала.
Рассмотрим понятие
сходимости итерационного процесса. Этот процесс
состоит в том, что для решения некоторой задачи и нахождения искомого
значения определяемого параметра (например, корня нелинейного уравнения)
строится метод последовательных приближений. В результате многократного
повторения этого процесса (или
итераций) получаем последовательность
значении
х
1
, х
2
, …, х
n
,… эта последовательность сходится к точному решению
х=a, если при неограниченном возрастании числа итераций предел этой
последовательности существует и равен
a:
ax
n
n
=
∞→
lim
. B этом случае имеем
сходящийся численный метод.
Другой подход к понятию сходимости используется в методах дискретизации.
Эти методы заключаются в замене задачи с непрерывными параметрами на
задачу, в которой значения функций вычисляются в фиксированных точках. Это
относится, в частности, к численному интегрированию, решению
дифференциальных уравнений и т. п. Здесь под
сходимостью метода
понимается стремление значений решения дискретной модели задачи к
соответствующим значениям решения исходной задачи при стремлении к нулю
параметра дискретизации (например, шага интегрирования).
Таким образом, для получения решения задачи с необходимой точностью, ее
постановка должна быть корректной, а используемый численный метод должен
обладать устойчивостью и сходимостью.
Рассмотрим еще один пример неустойчивого алгоритма. Построим Значение интеграла I9 не может быть отрицательным, поскольку
численный метод вычисления интеграла подынтегральная функция x9ex-1 на всем отрезке интегрирования [0,1]
1 неотрицательна. Исследуем источник погрешности. Видим, что округление в I1
∫
I n = x n e x −1dx ,
0
n=1,2, дает погрешность, равную примерно лишь 4.4*10-7. Однако на каждом этапе эта
погрешность умножается на число, модуль которого больше единицы (-2, -3,...,-
Интегрируем по частям, для этого используем следующую формулу: 9), что в итоге дает 9!. Это и приводит к результату, не имеющему смысла. Здесь
b b снова причиной накопления погрешностей является алгоритм решения задачи,
b который оказался неустойчивым.
I = ∫ uvdu = uv a − ∫ vdu
Численный алгоритм (метод) называется корректным в случае
a a
существования и единственности численного решения при любых значениях
Получаем исходных данных, а также в случае устойчивости этого решения относительно
1 1
1 1 погрешностей исходных данных.
∫ 0 ∫
I1 = xe x −1dx = xe x −1 − e x −1dx =
e
,
0 0 Понятие сходимости. При анализе точности вычислительного процесса
1 1 одним из важнейших критериев является сходимость численного метода. Она
1
∫0
0 ∫
I 2 = x 2 e x −1dx = x 2 e x −1 − 2 xe x −1dx = 1 − 2 I1 ,
0
означает близость получаемого численного решения задачи к истинному
решению. Строгие определения разных оценок близости могут быть даны лишь с
LLLLLLLLLLLLLLLLLLL привлечением аппарата функционального анализа. Здесь мы ограничимся
1 1 некоторыми понятиями сходимости, необходимыми для понимания
1 последующего материала.
∫0
0 ∫
I n = x n e x −1dx = x n e x −1 − n x n −1e x −1dx = 1 − nI n −1.
0
Рассмотрим понятие сходимости итерационного процесса. Этот процесс
состоит в том, что для решения некоторой задачи и нахождения искомого
Пользуясь полученным рекуррентным соотношением, вычисляем: значения определяемого параметра (например, корня нелинейного уравнения)
строится метод последовательных приближений. В результате многократного
I1=0.367879, повторения этого процесса (или итераций) получаем последовательность
I2=0.263242, значении х1, х2, , хn, эта последовательность сходится к точному решению
I3=0.207274, х=a, если при неограниченном возрастании числа итераций предел этой
I4=0.170904,
последовательности существует и равен a: lim xn = a . B этом случае имеем
I5=0.145480,
n→∞
I6=0.127120,
сходящийся численный метод.
I7=0.110160,
Другой подход к понятию сходимости используется в методах дискретизации.
I8=0.118720,
Эти методы заключаются в замене задачи с непрерывными параметрами на
I9=-0.0684800
задачу, в которой значения функций вычисляются в фиксированных точках. Это
относится, в частности, к численному интегрированию, решению
дифференциальных уравнений и т. п. Здесь под сходимостью метода
понимается стремление значений решения дискретной модели задачи к
соответствующим значениям решения исходной задачи при стремлении к нулю
параметра дискретизации (например, шага интегрирования).
Таким образом, для получения решения задачи с необходимой точностью, ее
постановка должна быть корректной, а используемый численный метод должен
обладать устойчивостью и сходимостью.
9 10
Страницы
- « первая
- ‹ предыдущая
- …
- 3
- 4
- 5
- 6
- 7
- …
- следующая ›
- последняя »
