Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебное пособие «Прикладная информатика»

..pdf
Скачиваний:
13
Добавлен:
05.02.2023
Размер:
592.86 Кб
Скачать

ний подынтегральной функции. Численное вычисление однократного интеграла называется механической квадратурой.

Мы будем рассматривать способы приближенного вычисления определенных интегралов

b

 

J = f (x)dx ,

(2.1)

a

основанные на замене интеграла конечной суммой:

n

 

In = Ck f (xk ) ,

(2.2)

k =0

где Сk- числовые коэффициенты, а xk [a, b], k = 0, 1, …, n. Приближенное равенство

b

n

 

f (x)dx Ck f (xk )

(2.3)

a

k =0

 

называется квадратурной формулой, а xk – узлами квадратурной формулы. Погрешность квадратурной формулы определяется соотношением

b

n

 

ψ n = f (x)dx Ck f (xk ) .

(2.4)

ak =0

Вобщем случае погрешность квадратурной формулы (2.4)

зависит как от выбора коэффициентов Ск , так и от расположения узлов хк. Введем на отрезке [a, b] равномерную сетку с шагом h, тогда xi = a + ih, где (i = 0, 1, ..., n; h·n = b-a). Теперь выражение (2.1) можно представить в виде суммы интегралов по частичным отрезкам:

b

n

xi

 

J = f (x)dx = f (x)dx.

(2.5)

a

i=1 xi−1

 

Таким образом, для построения формулы численного интегрирования на отрезке [a, b] достаточно построить квадратурную формулу на частичном отрезке [xi-1, xi] и воспользоваться формулой (2.5).

11

2.2. Формула прямоугольников

На частичном отрезке [xi-1, xi] заменим подынтегральную функцию полиномом Лагранжа нулевого порядка, построенным в одной точке. Естественно в качестве этой точки выбрать среднюю: xi-0.5 = xi - 0.5h. Тогда получим формулу

xi

 

f (x)dx f (xi−0.5 )h .

(2.6)

xi−1

Подставив (2.6) в (2.5), получим составную формулу средних прямоугольников:

b

n

 

f (x)dx f (xi−0.5 )h .

(2.7)

a

i=1

 

Графическая иллюстрация метода средних прямоугольников представлена на рис. 2.1.

Рис. 2.1. Интегрирование методом средних прямоугольни-

ков

Погрешность формулы (2.7) определяется выражением

 

 

ψ

 

h2 (b a)

M

.

(2.8)

 

 

 

 

 

 

 

 

 

 

24

2

 

 

 

 

 

 

 

 

 

12

Здесь M 2

= max

 

f ''(x)

 

. Таким образом, погрешность

 

x [a,b]

 

 

 

 

 

 

 

формулы (2.7) пропорциональна O(h2).

Замечание. Формулу (2.7) можно представить в ином виде:

n

n

 

I hf (xi−1 );

I hf (xi ) .

(2.9)

i=1

i=1

 

Эти формулы в выражении (2.9) называются формулой левых и правых прямоугольников соответственно. Графически метод левых и правых прямоугольников представлен на рис. 2.2.

а) б)

Рис. 2.2. Метод левых (а) и правых (б) прямоугольников

Однако из-за нарушения симметрии в формулах (2.9) их погрешность значительно больше, чем в методе средних прямоугольников и ~O(h).

2.3. Формула трапеций

Если на частичном отрезке подынтегральную функцию заменить полиномом Лагранжа первой степени, то есть

f (x) ≈ L1,i (x) = 1 [(x xi−1 ) f (xi ) − (x xi ) f (xi−1 )] , (2.10) h

тогда искомый интеграл запишется следующим образом:

13

xi

 

1

xi

 

 

 

f (x)dx

[ f (xi ) (x xi−1 )dx

 

 

h

 

 

xi−1

 

xi−1

 

(2.11)

 

 

 

 

xi

 

f (xi−1 ) + f (xi

 

 

)

 

f (xi−1 ) (x xi )dx] = ... =

h.

2

 

 

xi−1

 

 

 

 

 

 

 

 

После подстановки выражения (2.11) в (2.5) составная формула трапеций примет вид

b

n

) + f (xi−1

 

 

f (x)dx

f (xi

h =

 

 

2

 

a

i=1

 

(2.12)

 

 

 

 

 

= h[1 ( f0 + fn ) + f1 + ... fn−1 ]. 2

Графически метод трапеций представлен на рис. 2.3.

Рис. 2.3. Метод трапеций

Погрешность формулы (2.12) определяется выражением:

 

 

ψ

 

h2 (b a)

M

.

(2.13)

 

 

 

 

 

 

 

 

 

 

12

2

 

 

 

 

 

 

 

 

 

14

Таким образом, погрешность метода трапеций Ψ ~ O(h²), но она в два раза больше, чем для формулы средних прямоугольников.

2.4. Формула Симпсона

В этом методе предлагается подынтегральную функцию на частичном отрезке аппроксимировать параболой, проходящей через точки (xj, f(xj)), где j = i-1; i-0.5; i, то есть подынтегральную функцию аппроксимируем интерполяционным многочленом Лагранжа второй степени:

f (x) ≈ L (x) =

2

[(x x

1 )(x x ) f (x )

h2

2,i

i

2

i

i−1

 

 

 

2(x xi−1 )(x xi ) f (xi12 ) + (x xi−1 )(x xix [xi−1 ,xi ].

Проведя интегрирование, получим:

xi

xi

 

 

h

 

 

f (x)dx

L2,i

(x)dx =

( fi−1 + 4 fi1

2 +

 

xi−1

xi−1

 

6

 

 

 

 

 

 

 

1 ) f (xi );

(2.14)

2

 

fi ),

(2.15)

h = xi xi−1.

Это и есть формула Симпсона или формула парабол. На отрезке

[a, b] формула Симпсона примет вид

b

 

h

 

 

 

 

f (x)dx

[ f

0 + fn + 2( f1 + f2 + ... + fn−1 ) +

 

a

6

 

 

 

(2.16)

+4( f 1

+ f3 + f5

+ ... + fn1

2 )].

2

2

 

 

2

 

15

Графическое представление метода Симпсона показано на рис. 2.4.

Рис. 2.4. Метод Симпсона

Избавимся в выражении (2.16) от дробных индексов, переобозначив переменные:

 

xi = a + 0.5h ×i;

fi = f (xi );

(2.17)

 

i = 0,1, 2,K2n;

h × n = b - a.

 

 

 

Тогда формула Симпсона примет вид

b

 

b - a

 

 

 

f (x)dx »

[ f0

+ f2n + 2( f2 + f4

+... + f2n−2 ) +

 

a

 

6n

 

(2.18)

 

 

 

 

 

+4( f1 + f3 + f5 +... + f2n−1 )].

Погрешность формулы (2.18) оценивается следующим выражением:

 

 

ψ

 

£

h4 (b - a)

M

4 ,

(2.19)

 

 

 

 

 

 

 

 

 

 

2880

 

 

 

 

 

 

где h·n = b - a, M 4 = sup

 

f IV (x)

 

. Таким образом, погреш-

 

 

 

 

 

 

 

 

 

x [a,b]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ность формулы Симпсона пропорциональна O(h4).

16

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

2.5. Вычисление определенных интегралов методами Монте– Карло

Рассматриваемые ранее методы называются детерминированными, то есть лишенными элемента случайности.

Методы Монте– Карло (ММК) – это численные методы решения математических задач с помощью моделирования случайных величин. ММК позволяют успешно решать математические задачи, обусловленные вероятностными процессами. Более того, при решении задач, не связанных с какими-либо вероятностями, можно искусственно придумать вероятностную модель (и даже не одну), позволяющую решать эти задачи. Рассмотрим вычисление определенного интеграла

b

 

J = f (x)dx.

(2.20)

a

При вычислении этого интеграла по формуле прямоугольников интервал [a, b] разбиваем на N одинаковых интервалов, в серединах которых вычислялись значения подынтегральной функции. Вычисляя значения функции в случайных узлах, можно получить более точный результат:

b

a

N

 

J = f (x)dx

b

f (xi );

(2.21)

 

 

a

N i=1

 

xi = a + γ i (b a).

 

 

(2.22)

Здесь γi - случайное число, равномерно распределенное на интервале [0, 1]. Погрешность вычисления интеграла ММК ~

1/ N , что значительно больше, чем у ранее изученных детерминированных методов.

17

На рис. 2.5 представлена графическая реализация метода Монте-Карло вычисления однократного интеграла со случай-

ными узлами (2.21) и (2.22).

f(x)

0 a xi xk b X

Рис. 2.5. Интегрирование методом Монте-Карло (1-й слу-

чай)

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

Рассмотрим еще один метод Монте-Карло на примере вычисления однократного интеграла:

1

 

J = f (x)dx, 0 ≤ J ≤ 1.

(2.23)

0

 

18

 

 

 

 

 

 

 

f(x)

·

· . .

 

. .

.

.

 

 

1 .. . . .

 

 

 

 

 

 

 

.

 

.

..

 

 

. . .

. . .

.

.

 

 

 

. .

 

.

. .

.

 

 

 

.

.

.

 

.

 

.

.

 

.

.

.

 

. .

.

.

 

..

 

.

.

 

.

.

 

 

0

 

 

 

 

1 X

Рис. 2.6. Интегрирование методом Монте-Карло (2-й слу-

чай)

Как видно на рис. 2.6, интегральная кривая лежит в единичном квадрате, и если мы сумеем получать пары случайных чисел, равномерно распределенных на интервале [0, 1], то полученные значения (γ1, γ2) можно интерпретировать как координаты точки в единичном квадрате. Тогда, если этих пар чисел получено достаточно много, можно приблизительно считать, что

JS / N . Здесь S – число пар точек, попавших под кривую, а N

общее число пар чисел.

Пример 2.1. Вычислить следующий интеграл:

2

J = ex dx = ex |12 = e2 e1 = 4.670774270

1

Поставленная задача была решена различными методами. Полученные результаты сведены в табл. 2.1.

19

Таблица 2.1

Число

 

Метод

ле-

Метод сред-

Метод

пра-

Метод тра-

Метод

Метод Мон-

интерва-

вых

пря-

них прямо-

вых

прямо-

пеций

Симпсона

те-Карло

лов

(то-

моуголь-

уголь-ников

уголь-ников

 

 

 

чек)

 

ников

 

 

 

 

 

 

 

10

 

4.44112722

4.66882868

4.90820465

4.25683746

4.67077443

4.62289422

 

 

 

 

 

 

 

 

100

 

4.64745932

4.67075481

4.69416706

4.62903035

4.67077427

4.69812790

 

 

 

 

 

 

 

 

 

 

Замечание. Выбор табличного интеграла позволил нам сравнить погрешность каждого метода и выяснить влияние числа разбиений на точность вычислений.

Вопросы для самопроверки

Сформулируйте задачу численного интегрирования.

Метод средних, левых и правых прямоугольников. Что можно сказать об их погрешности, трудоемкости?

Задача численного интегрирования решена методом трапеций. Предложите и обоснуйте пути повышения точности (уменьшения погрешности) расчетов.

Сравните метод трапеций и метод Симпсона.

Какие методы Монте– Карло численного интегрирования вы знаете? Сравните эти методы с любым детерминированным.

Необходимо вычислить интеграл методами трапеций, Симпсона и ММК, разбив область интегрирования на 77 интервалов (точек). Что можно сказать о точности и применимости этих методов?

20