
Вычислительная математика. Часть 2
.pdf
e x f (x)dx
0
14 [(2 2) f (2
2) (2
2) f (2
2)] 16 f (4) ( ) .
V. Интегралы вида e x2 f (x)dx
На интервале ( , ) свойством ортогональности с весом
p(x) e x2 обладают полиномы Эрмита
Hn (x) ( 1)n ex2 d n e x2 : dxn
H0 (x) 1;
H1(x) 2x; H2 (x) 4x2 2;
H3(x) 8x3 12x;
…
Hn 1(x) 2xHn (x) 2nHn 1(x).
Вквадратурной формуле наивысшей степени точности
|
n |
e x2 |
f (x)dx Ak f (xk ) Rn ( f ) |
|
k 1 |
узлы xk являются корнями многочлена Эрмита Hn (x) , коэффициенты Ak вычисляются по формуле
2n 1n!
Ak H (x ) 2 ,
n k
а погрешность Rn ( f ) определяется соотношением
41

R ( f ) |
n! |
|
|
f (2n) ( ), ( , ) . |
|
|
|
|
|
||
n |
22 (2n)! |
|
|||
|
|
Для корней многочлена Эрмита не существует общей формулы, поэтому они либо определяются из решения соответствующего алгебраического уравнения, либо из таблиц.
Пример. 4.7. При n 2 квадратурная формула Эрмита имеет вид
|
e x |
2 |
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|||||||
|
|
f (x)dx |
|
|
|
f |
|
|
|
|
|
f |
|
|
|
|
|
|
|
f (4) |
( ) . |
||
|
2 |
|
2 |
|
2 |
|
48 |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.6. Приближенное вычисление несобственных интегралов
b
Интеграл f (x)dx называется собственным, если:
a
-промежуток интегрирования [a,b] конечен;
-подынтегральная функция f (x) непрерывна на [a,b] .
Впротивном случае интеграл называется несобственным. Пусть промежуток интегрирования бесконечен. Достаточно рассмотреть вычисление несобственного интеграла вида
|
|
|
|
f (x)dx , |
(1.30) |
|
a |
|
где функция f (x) непрерывна на [a, ) . |
|
|
Интеграл (1.30) называется сходящимся, если существует |
||
конечный предел |
|
|
|
b |
|
|
lim f (x)dx |
(1.31) |
|
b a |
|
и по определению полагают |
|
|
|
b |
|
|
f (x)dx lim f (x)dx . |
|
|
b |
|
a |
a |
|
42
Если предел (1.31) не существует, то интеграл (1.30) называется расходящимся и считается лишенным смысла. Поэтому прежде чем приступить к вычислению несобственного интеграла, необходимо предварительно убедиться, что этот интеграл сходится.
Чтобы вычислить сходящийся несобственный интеграл (1.30) с заданной точностью , представляют его в виде
|
|
|
|
b |
|
|
|
|
|
|
|||
|
f (x)dx f (x)dx f (x)dx . |
|
|
|
|
||||||||
|
a |
|
|
a |
|
b |
|
|
|
|
|||
В силу сходимости интеграла, число b необходимо вы- |
|||||||||||||
брать столь большим, чтобы имело место неравенство |
|
||||||||||||
|
|
|
|
|
|
|
. |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
f (x)dx |
|
|
|
|
|
|
|||
|
|
|
|
b |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
||
Собственный интеграл f (x)dx |
можно вычислить по од- |
||||||||||||
|
|
|
|
a |
|
|
|
|
|
|
|
||
ной из квадратурных формул. Пусть S – приближенное значе- |
|||||||||||||
ние этого интеграла, вычисленное с точностью |
. Тогда |
||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|||||||
|
f (x)dx S |
|
f (x)dx S |
|
|
f (x)dx |
|
|
|
||||
|
2 |
2 |
|||||||||||
|
a |
|
a |
|
b |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
и поставленная задача решена.
Предположим, что промежуток интегрирования [a,b] конечен и подынтегральная функция f (x) имеет конечное число точек разрыва на [a,b] . Так как всегда можно промежуток ин-
тегрирования разбить на частичные промежутки с единственной точкой разрыва подынтегральной функции, то достаточно рассмотреть случай, когда на [a,b] имеется единственная точка
разрыва функции f (x) .
Пусть в точке c функция f (x) имеет разрыв первого рода, т.е. существуют конечные односторонние пределы
43
lim |
f (x) f (c 0), lim |
f (x) f (c 0), |
|
x c,x c |
x c,x c |
|
|
В этом случае можно положить |
|
||
|
b |
c |
b |
|
f (x)dx f1 (x)dx f2 (x)dx , |
||
|
a |
a |
c |
где |
|
|
|
|
f1 (x) |
f (x), если a x c, |
|
|
|
|
|
|
|
f (c 0), если x c, |
|
и |
|
|
|
|
f2 (x) |
f (c 0), если x c, |
|
|
|
|
|
|
|
f (x), если c x b. |
|
Так как функции f1(x), f2 (x) являются непрерывными со- |
|||
ответственно на отрезках [a, c], [c,b], |
то исходный интеграл |
||
сводится к сумме двух собственных интегралов. |
|||
Пусть в точке c функция f (x) имеет разрыв второго рода. |
|||
Если точка c |
есть внутренняя точка отрезка [a,b] , то по опре- |
делению полагают
b |
|
|
|
c 1 |
|
b |
|
|
|
|
f (x)dx |
|
lim |
|
|
f (x)dx |
|
|
|
(1.32) |
|
|
|
f (x)dx |
||||||||
a |
1 |
0 |
|
a |
|
c |
2 |
|
|
|
|
|
2 |
0 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
и в случае существования этого предела интеграл называется сходящимся, в противном случае – расходящимся. Аналогично определяется сходимость несобственного интеграла, если точка разрыва c функции f (x) совпадает с одним из концов проме-
жутка интегрирования [a,b] .
Для приближенного вычисления с заданной точностью сходящегося несобственного интеграла (1.32) задают положительные числа 1, 2 столь малыми, чтобы имело место неравенство
44

c 2 |
|
. |
f (x)dx |
||
c 1 |
|
2 |
|
|
Затем по известным квадратурным формулам приближенно вычисляют собственные интегралы
c 1 |
b |
f (x)dx и |
f (x)dx |
a |
c 2 |
и, если S1, S2 − приближенные значения этих интегралов, вы-
численные с точностью 4 , то полагают
b
f (x)dx S1 S2
a
с точностью .
1.7. Приближенное вычисление неопределенных интегралов
Рассмотрим задачу вычисления неопределенного интеграла
x |
|
y(x) f (x)dx |
(1.33) |
x0 |
|
в точках x0, x1,..., xn . В общем случае, когда узлы неравноот-
стоящие, эту задачу можно решить, вычислив определенные интегралы
x1 |
x2 |
|
|
|
xn |
||
y(x1) f (x)dx, |
y(x2 ) f (x)dx, ... |
y(xn ) |
f (x)dx . |
||||
x0 |
x0 |
|
|
|
x0 |
||
В случае равноотстоящих узлов, x |
x |
ih, |
h |
xn x0 |
, |
||
|
|||||||
|
i |
|
0 |
|
|
n |
|
|
|
|
|
|
|
i 1, n , для решения поставленной задачи существуют простые рекуррентные формулы вида
45
|
|
|
|
|
|
|
y(xk 1) y(xk ) |
xk 1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
f (x)dx . |
|
|
|
|
(1.34)) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xk |
|
|
|
|
|
|
|
|
|
|
|
||
|
Обозначим yk y(xk ), fk |
f (xk ), k 0, n . |
|
|
|
||||||||||||||||||||||||
|
При построении начала таблицы неопределенного интегра- |
||||||||||||||||||||||||||||
ла, |
необходимо функцию |
f (x) |
аппроксимировать с помощью |
||||||||||||||||||||||||||
1-ой формулы Ньютона при t |
|
x x0 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
t(t 1) |
2 |
|
|
|||
|
f (x th) N (x th) f |
0 |
|
|
|
|
f |
0 |
|
|
|
|
|
f |
0 |
|
|||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
1! |
|
|
|
|
2! |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
t(t 1)(t 1) |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f0 |
... , |
|
|
|
|
(1.35) |
|||||
|
|
|
|
|
|
|
|
|
|
3! |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
f |
0 |
, |
2 f |
0 |
, |
3 f |
0 |
|
– конечные разности соответствующих |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
порядков. Тогда, при вычислении интеграла (1.34), получим: |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y1 y0 |
h N (x0 |
|
th)dt , |
|
|
|
|
|
|
(1.36) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при этом из (1.33) следует, что y0 0 .
Ошибку вычисления интеграла (1.36) можно оценить, вычислив интеграл
1
h R(x0 th)dt ,
0
где R(x0 th) – остаточный член 1-ой формулы Ньютона. Подставив в (1.36) формулу (1.34), получим расчетную формулу
|
|
|
|
f0 |
2 |
|
y h f |
0 |
|
|
f0 |
||
|
|
|||||
1 |
|
2 |
12 |
|||
|
|
|
||||
Далее вычисляется y2 |
по формуле |
3 |
|
|
|
|
f0 |
... . |
(1.37) |
|
|||
24 |
|
|
|
|
|
1
y2 y1 h f (x1 th)dt
0
46
|
|
|
2 |
|
3 |
|||
y h f |
|
f1 |
|
f1 |
|
f1 |
||
|
|
|
||||||
1 |
|
1 |
2 12 |
|
24 |
|||
|
|
|
|
... . (1.38)
Выполнив несколько шагов (обычно 2 или 3), можно для аппроксимации подынтегральной функции в (1.34) перейти к
формуле Бесселя при t |
x xk |
: |
|
|
|
|
|
|||
h |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
f (x |
th) B(x |
th) |
fk fk 1 |
|
(t 0,5) |
f |
k |
|
||
|
|
|||||||||
k |
k |
|
|
2 |
1! |
|
|
|||
|
|
|
|
|
|
|
|
t(t 1) |
|
( 2 fk 1 2 fk ) |
|
(t 0,5)t(t 1) |
3 f |
k 1 |
... (1.39) |
|
|
|
||||||
2! |
2 |
|
3! |
|
|
|||
|
|
|
|
Подставив в (1.39) формулу (1.34), получим расчетную формулу
|
f |
k |
f |
k 1 |
|
2 f |
k 1 |
2 f |
k |
|
|
|
|
|
|
|
|||||
yk 1 |
yk h |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
12 |
|
||||
|
|
|
|
|
|
|
... . (1.40)
Ошибку вычисления по формуле (1.40) можно оценить, вычислив интеграл
1
h R(xk th)dt ,
0
где R(xk th) – остаточный член формулы Бесселя.
Когда k начнет приближаться к значениям, близким к n , необходимо, при аппроксимации подынтегральной функции, перейти ко 2 -ой формуле Ньютона.
Таким образом, рассмотренный метод вычисления неопределенного интеграла при равноотстоящих узлах, сводится к простым рекуррентным формулам.
47
1.8.Контрольные вопросы
1.Какова алгебраическая точность общей интерполяционной квадратурной формулы, если число квадратурных узлов равно n :
1) n ;
2)n 1;
3)n 1.
2. Чему равен порядок алгебраической точности квадратурной формулы Ньютона-Котеса, если число квадратурных узлов n – четное:
1)n ;
2)n 1;
3)n 2 ;
4)n 1.
3. Чему равен порядок алгебраической точности квадратурной формулы Ньютона-Котеса, если число квадратурных узлов n – нечетное:
1)n ;
2)n 1;
3)n 2 ;
4)n 1.
4. Укажите квадратурную формулу трапеций для вычисления определенного интеграла:
1) |
b f (x)dx |
(b a) |
|
( f (a) 4 f ( |
a b |
) f (b)) ; |
|||
|
|
||||||||
|
a |
6 |
2 |
|
|||||
|
|
|
|
|
|
|
|
|
|
2) |
b f (x)dx |
(b a) |
|
( f (a) f (b)) ; |
|||||
|
|
||||||||
|
a |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3) |
b f (x)dx (b a) f ( |
a b |
) . |
||||||
|
|||||||||
|
a |
|
2 |
|
|
|
5. Укажите квадратурную формулу левых прямоугольников для вычисления определенного интеграла:
1) b f (x)dx |
(b a) |
( f (a) 4 f ( |
a b |
) f (b)) ; |
|
|
|||
a |
6 |
2 |
|
|
|
|
|
|
48
2) |
b f (x)dx |
(b a) |
( f (a) f (b)) ; |
|
|||
|
a |
2 |
|
|
|
|
|
3) |
b f (x)dx (b a) f (a) . |
||
|
a |
|
|
6. Укажите квадратурную формулу Симпсона (парабол) для вычисления определенного интеграла:
1) |
b f (x)dx |
(b a) |
|
( f (a) 4 f ( |
a b |
) f (b)) ; |
|||||||
|
|
|
|
||||||||||
|
a |
6 |
|
2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) |
b f (x)dx |
|
(b a) |
|
( f (a) f (b)) ; |
||||||||
|
|
|
|
||||||||||
|
a |
2 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3) b f (x)dx (b a) f ( |
a b |
) ; |
|
|
|||||||||
|
|||||||||||||
|
a |
|
|
2 |
|
|
|
|
|
||||
4) |
b f (x)dx |
(b a) |
|
|
( f (a) 6 f ( |
a b |
) f (b)) . |
||||||
|
|
|
|||||||||||
|
a |
8 |
|
2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
7. Укажите квадратурную формулу средних прямоугольников для вычисления определенного интеграла:
1) |
b f (x)dx (b a) f ( |
a b |
) ; |
|
|
||||
|
|||||||||
|
a |
|
2 |
|
|
|
|||
2) |
b f (x)dx |
(b a) |
|
( f (a) 4 f ( |
a b |
) f (b)) ; |
|||
|
|
||||||||
|
a |
6 |
2 |
|
|||||
|
|
|
|
|
|
|
|
|
|
3) |
b f (x)dx |
(b a) |
|
( f (a) f (b)) ; |
|||||
|
|
||||||||
|
a |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4) b f (x)dx |
(b a) |
( f (a) 6 f ( |
a b |
) f (b)) . |
|
|
|||
a |
8 |
2 |
|
|
|
|
|
|
8.Чему равен порядок алгебраической точности средних прямоугольников:
1) 2;
2) 0;
3) 1;
4) 3.
9.Чему равен порядок алгебраической точности левых прямоугольников:
1) 2;
2) 0;
3) 1;
49
4) 3.
10.Чему равен порядок алгебраической точности формулы трапеций:
1) 2;
2) 0;
3) 1;
4) 3.
11.Чему равен порядок алгебраической точности формулы Симпсона:
1) 2;
2) 4;
3) 1;
4) 3.
12.Чему равен порядок алгебраической точности формулы «трех восьмых»:
1) 2;
2) 4;
3) 1;
4) 3.
13.Чему равен порядок алгебраической точности квадратурной формулы наивысшая алгебраическая степень точности, если число квадратурных узлов равно n :
1) n 2 ;
2) 2n 1 ;
3) 2n 2 ;
4) 2n 1.
14.Как определяются коэффициенты и узлы в квадратурной формуле наивысшей алгебраической степени точности:
1) корни многочлена Чебышева;
2) корни ортогонального многочлена;
3) корни ортогонального многочлена с весом p(x) .
b
15. Как вычислить интеграл I f (x)dx с помощью
a
квадратурного правила наивысшей алгебраической степени точности:
50