Файл: Крылов, В. И. Методы приближенного преобразования Фурье и обращения преобразования Лапласа справочная книга.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 22.10.2024

Просмотров: 138

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

§ 9.2]

АЛГЕБРАИЧЕСКОЕ ИНТЕРПОЛИРОВАНИЕ f ( x )

139

является

полуосью или всей осью и функция

абсолютно

интегрируема там или даже удовлетворяет условию (9.1.4), то алгебраическое интерполирование не может дать хоро­ шего приближения. В основание интерполирования тогда должна быть положена другая система функций, напри­ мер система рациональных функций, непрерывных на оси или полуоси и стремящихся к нулю при неограниченном росте |?|. На таком интерполировании остановимся ниже. При применении же алгебраического интерполирования мы должны будем разделить полуось или ось на беско­ нечное множество конечных отрезков и прибегнуть к кусоч­ ному, не обязательно даже «сращенному» интерполирова­ нию*).

9.2.1. Вспомогательные формулы. Изложение начнем с получения простых вспомогательных формул, служащих

для

вычисления

 

интегралов от функций, содержащих три­

гонометрические

множители.

 

 

 

 

 

Пусть

[а,

&] — произвольный

конечный

отрезок и

I (х) — алгебраический

многочлен

степени п. При помощи

«-кратного

интегрирования

по

частям легко

получается

следующее

равенство:

 

 

 

 

 

 

ь

 

 

 

 

 

 

 

 

 

 

 

 

 

§ / (х) ё рх dx =

 

 

 

 

 

 

 

 

 

 

а

_

ci„h\

ЩЬ)

 

. 1'{Ь)

 

и "(b)

У"(Ь)

 

 

 

 

 

 

 

 

L

 

р

 

'

р2

'

р3

 

р4

 

 

 

с1ва\

 

i l (a)

I

l'(a)

d"(a)

l " ' {а)

 

 

 

 

L

 

p

 

'

p 2

p3

p4

 

=

Ptp4

1 f \ _ ! [ I

j

l'{b)

,

U"(b)

 

i"'{b)

 

 

 

 

U

 

p

~1 p a

'

p3

 

p 4

 

 

il (a)

l' (a)

.

il"

(a)

 

 

 

 

( 9 . 2 . 1 )

 

P

p2

 

4

 

p3

 

Pi

 

 

 

 

 

 

 

 

 

 

 

 

 

Если считать l (x) действительным многочленом, заме­ нить показательные функции их выражениями Эйлера через

*) Так, называют алгебраическое интерполирование, когда на каждом из отрезков строится свой интерполирующий многочлен, при этом многочлены выбираются .так, чтобы в точках соприкосновения двух соседних участков соответствующие им многочлены и производ­ ные от них до некоторого порядка имели одинаковые значения. Такое интерполирование иногда называют! сохраняя английский тер­ мин, сплайн-интерполированием.



140

ИНТЕРПОЛЯЦИОННЫЕ ФОРМУЛЫ

(ГЛ. 9

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

ь

5 1 ) cos рх dx =

аa + 6b

[\1t[l(b)(6)4+- l(a) I" (6) + /" (а)

= cos P - j H

l

р

l'( b ) - l ' (a)

V" (b ) - l" ’ (a)

+

 

 

smp—b a -

b— a\ , cosp -g —J-4-

i

0 + a \ 1(b) —1(a)

l" (b) — l" (a)

i

 

1

b— a

4- sm p

 

|

 

P

 

 

P3

+

...j COS p

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

|l" t* » -1’" <«) + .,

1 sin p

,

 

(9,2.2)

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§ / (x) sin px dx —

 

 

 

 

 

 

 

 

 

 

 

 

 

b4-a

1Ф1+1 (a)

l" (b) + 1» (a) + "

j si

b — a

= sm p - y -

 

 

p

 

 

p3

 

 

 

sin p ■2

 

 

 

 

 

 

 

 

 

cos p 6 — ol

 

 

 

 

l'(b) — l'(a)

l"'(b) — l"'(a)

 

 

 

 

+ [ '

P2

1(6) — l(o)

P1

 

 

 

 

,

1 ____ b —ja

_

6+ g

[[

/" (6) — /" (a)

 

co sp i ± £

 

 

 

 

j " W -

H - +

„ .jco sp :

2

 

 

 

 

_

< - W + < - W

+ „ . ] sin p ^ } .

(9.2.3)

 

Равенства (9.2.2 —3) были получены

 

в

предположении,

что I (х) есть произвольный многочлен с действительными

коэффициентами. Но так как равенства верны при произ­

вольных

действительных

коэффициентах многочлена / (х),

то

они

будут

верными

и для

комплексных коэффициен­

тов и, следовательно, для любого комплексного I (х).

 

9.2.2.

 

Построение

формул для вычислений. Идея

построения интерполяционных правил весьма проста. Для

определенности рассмотрим косинус-преобразование (9.1.1).

Полуось интегрирования [0, со) разделим на конечные

отрезки точками 0 =

а0<

аг <

 

. . . < « * <

• • • Возьмем один

из отрезков [ak, й*+1] и интерполируем на нем функцию /,

считая ее достаточно гладкой, при помощи алгебраиче­

ского многочлена. Изберем,

например,

 

интерполирование

по значениям функции. Выберем на [ak, aft+1] я* +

1 произ­

вольно

расположенных узлов

хk. (j —О,

1 , .. . , nk\

ak^

 

х* <

... <С х*

^

ak+ \)

и

выполним

 

интерполирование


§ 9.2]

АЛГЕБРАИЧЕСКОЕ ИНТЕРПОЛИРОВАНИЕ f ( x )

141

по

значениям / (?) = /<*> с помощью многочлена

Рк (х)

степени nk\

 

“*(*)=(*-*»)•••(*-*у>

 

f (х) = Pk {х) +

Гk(х).

(9.2.4)

Рассмотрим

теперь

интеграл

вида (9.1.1),

взяв его не

по полуоси [0,

оо),

а по отрезку [ak, ak+1],

и заменим

в нем функцию f(x) интерполирующим многочленом Pk (х). После этого получим приближенное равенство

а 4 + 1

 

а4 + 1

Pk (t) cos ut dt =

 

 

 

^

f (t) cos utdtrs*

^

 

 

 

a

k

 

 

 

 

 

n

k

a k

a k

+ i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

f f

$

I f

(0 cos ut dt.

 

 

 

 

 

 

 

i =

0

a k

 

 

 

Суммируя

такие

равенства

по всем частичным отрез­

кам, построим

приближенное

выражение

для

косинус-

преобразования

Фурье:

 

 

 

 

 

 

 

 

Фе(«) =

 

 

 

 

 

 

 

 

 

 

 

 

00

 

 

о о

п к

 

 

a k

+

i

 

 

~ \ f ( t ) cos ut dt я»

2

2

f f

l

I f

(t) cos ut dt.

(9.2.5)

 

о

 

 

4 = 0 / = o

'

a k

 

 

 

 

 

Каждый

из

интегралов, стоящих под знаком двойной

суммы, может быть вычислен, например, с помощью фор­ мулы (9.2.2).

Если обозначить rk (х) = / (х) Рк (х) погрешность интер­ полирования на отрезке [ак, а*+1], то погрешность равен­

ства

(9.2.5) будет

иметь следующее значение:

 

 

с о

а 4 + 1

 

 

#с(ы)= 2

\ гк (0 cos ut dt.

(9.2.6)

 

 

4 = 0

ah

 

Это

представление

Rc{u)

может быть, по

крайней мере

в некоторых случаях, использовано для

получения оценки

погрешности приближенного

представления (9.2.5) для

срс(«). Например, из (9.2.6)

очевидным

образом вытекает


142 ИНТЕРПОЛЯЦИОННЫЕ ФОРМУЛЫ [ГЛ, 9

следующая равномерная относительно и оценка Rc{u)\

со ак +1

 

|Яс ( и ) 1 < 2

S

\rk (t)\dt.

(9.2.7)

 

f t = 0

ak

 

 

В этой записи предполагаем,

что правая часть нера­

венства имеет конечное значение.

Величина правой

части

зависит от выбора точек ак,

чисел пк, узлов интерполи­

рования

и свойств функции /,

в частности от наличия у

нее производных достаточно высокого порядка и от скорости стремления их к нулю при неограниченном возрастании t.

Исследование приближенного представления (9.2.5) для фс (и) в общем виде является сложным и имеет преимущест­ венно теоретическое значение. Ограничимся тем, что рассмот­

рим представление в нескольких

простых частных случаях.

Предположим,

что полуось

[0, со) разделена точками

хк= kh (h > 0, k =

0, 1,2,...) на равные отрезки длины h.

Будем, кроме того, считать, что известны значения функ­

ции /

в точках деления: f{xk) = f{kh) = fk-

 

 

 

I.

П р а в и л а в ы ч и с л е н и й ,

о с н о в а н н ы е на

л и н е й н о м и н т е р п о л и р о в а н и и .

Рассмотрим

сна­

чала

аналог

правила

 

трапеций.

 

Возьмем

отрезок

[kh, (k-\- \)h]

и

выполним

линейное

интерполирование

функции

f по двум ее значениям на

концах отрезка:

 

 

/ (X) = X~ ^ +h1)h-fk+

Ы 1

+

гк (X, /).

 

(9.2.8)

Погрешность интерполирования гк(х,

/), если f

 

имеет

непрерывную

вторую

производную,

 

представима,

 

как

известно,

в форме *)

 

 

 

 

 

 

 

 

 

гк (х,

/) = /га $ f"'(kh + hx) [(I - т) Е (£ -

т) - 1 (1 -

т)] dx,

 

 

о

 

 

 

 

 

 

 

 

 

(9,2.9)

 

 

 

 

x = xk+ hl = h(k + l),

 

 

 

 

 

 

 

 

 

 

*) Такое представление можно получить, если воспользоваться фор­

мулой Тейлора с остаточным членом в форме интеграла

 

 

 

f ( x ) = f k + ( x -

x

k) f ' k + $

/ "

(t)

( х - t ) d t =

fk +

( x - X k) / ^

+

Ф ( х ) .

 

 

 

 

xk

 

 

 

 

 

 

 

 

 

Так как

линейная

функция

/й+ (*—*xk)fk

интерполируется

точно,