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

Вычислительная математика. Часть 2

.pdf
Скачиваний:
9
Добавлен:
05.02.2023
Размер:
2.02 Mб
Скачать

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