ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »