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

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

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

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

Добавлен: 22.10.2024

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

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

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

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

точках

xk = kh (6 = 0,

± 1 , ± 2 , ...):

 

СО

 

 

 

 

Ф(ы)=

§ / (t) ё м dt =

 

 

 

 

00

 

 

00

 

 

 

 

 

 

 

 

= 2

 

^

he~iakh + R{u), (9.2.18)

 

1

1

k=—co

 

т) E (| -

 

 

R {и) = hs $

dx [(i -

t) -

 

 

0

0

 

CO

 

 

 

 

 

f" (kh + hx)e-iu^ h+h^.

 

 

- g ( l - T ) ]

2

 

 

 

 

k —

0 0

Вычислительное правило получается, если в равенстве (9.2.18) отбросить остаточный член R(u). Последний имеет смысл погрешности правила, и для него из указанного представления вытекают оценки

СО

 

 

 

| / ? ( и ) | < 1 л » ^

\f"(kh + M)\,

0 < 6 < 1, (9.2.19)

k — — СО

 

 

 

\R(u)\^±-h*

Var

(9.2.20)

 

^

— 0 0 < ^ < 0 0

 

Если для второй производной f(x) верно неравенство

f"{x)\ < 5 ( а + | х | ) - *

( а > 1, а > 0 , — о о < х < о о ) ,

II.

П р а в и л а

в ы ч и с л е н и й ,

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

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

в т о р о й

с т е п е н и .

Возьмем

отрезок

[kh, {k -f- 2) h]

длины 2h и интерполируем функ­

цию / по ее значениям Д,

/ft+1,

Д +2 в точках kh,

(& + 1)h,

(k-\-2)h многочленом

второй

степени:

 

 

 

i / . л ( х

x k + i ) ( x x k + i )

t

i

( х

x k ) ( х

x k + i )

f

I

 

(—A)(—2ft)

 

 

 

(— A) ft

 

/А+1Ц-

 

+ {x~ Xkl (x~ Xk^

fk+ 2

+

гЛх).

(9.2.22)

Для получения погрешности rk(x) в необходимом виде вос­ пользуемся формулой Тейлора с остаточным членом в форме


§ 9.2]

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

149

интеграла,

применив при его записи гасящую функцию Е:

 

X

 

f W =fk + ( x - xk) /* + ! ( * - xkf fi + -j

t)4t =

xh

Xk+2

= />2(*) + i- J r " ( t ) ( x - t ) 2E ( x - t ) d t = P2(x) + ip(x).

xk

Так как многочлен P2(x) интерполируется точно, погреш­ ности интерполирования f (x) и ф (х) совпадают. Интеграль­ ное же выражение ф (х) позволяет эту погрешность при­ вести к погрешности интерполирования элементарной функции (х — t)2 Е (х — t):

лк+2

rk {x) = Y

J

f " ' ( t ) \ ( x - t y E ( x - t ) +

 

 

+

Ч ) ( £

X k+ 2 ) ( * * + i -

О 2Е ( х к+1 -

о -

 

 

 

1

( x— xk) ( х - х к+1)

(xk+2- t f ] d t .

 

 

 

2

 

 

Первый член в интерполяционном многочлене, отве­

чающий узлу хк:

 

 

 

 

 

 

(х— хь +i) (х - х к+а) (■xk - t f E { x k- t ),

 

 

 

(-А) (-2А)

 

 

 

 

опущен под знаком

интеграла, так как E(xk— i) = 0 при

xk< t z ^ хк+2.

В последнем члене в квадратных скобках

множитель

E(xk+2 — t) не указан,

так как

он

равен еди­

нице при

всяких t < x k+2-

 

 

 

Упростим представление погрешности гк(х), для чего

введем переменные

£, т,

положив x = xft+

/z£, t — xkAr hx

rk {x) = ^

^ f " (xk + hx)

( | - т ) 2£ ( £ - т ) +

 

 

 

0

 

 

 

 

 

 

+ Б (I - 2) (1 -

Xf Е (1 - т) - 1 Ш - 1) (2 -

т)2] dt. (9.2.23)

Умножим обе части равенства (9.2.22) на cos их, про­ интегрируем по отрезку [.хк, хк+2] и результат просумми­ руем почленно по четным значениям k (k = 0, 2, 4, ...). После этого получим следующее точное представление косинус-преобразования Фурье через значения функций



150 ИНТЕРПОЛЯЦИОННЫЕ ФОРМУЛЫ tttl, 9

fk (А = 0,

1, ...)■•

 

 

 

 

 

 

 

СО

 

 

 

 

 

 

 

 

 

Фс (и) == \ / (х) cos их dx --

 

 

 

 

 

 

“ г/о + Тг У! hk+1 COS (2& 4-1)0 +

 

 

 

 

 

 

А= 0

 

 

 

 

(9.2.24)

 

 

 

 

+ 2а2 2] hk cos 2&0 + # с

 

 

 

 

 

 

 

uh,

 

 

 

 

&=!

 

 

 

 

0 =

/г_1а 2 = -|-0“24 - у 6'2 cos 20 — 0~3sin 20,

 

 

Л_1у2 — 40~2 [0-1 sin 0 — cos в],

 

 

 

 

Яс =

**+2

 

 

4 2

С

 

 

 

 

 

J

rk(x)dx = ~

d\ jj л [ ( £ - т ) 2£ ( | - т) +

 

 

 

x k

 

 

0

0

'

 

 

 

 

 

 

 

+ £ ( | - 2 ) ( 1 - т ) 2Я ( 1 _ т) -

 

 

 

 

 

 

 

00

 

 

 

 

 

— у I d

1) (2 — т)2] 2

f "

(x2 k + hx) cosu(x2k-\-hl).

 

 

 

 

 

k= 0

 

 

(9.2.25)

 

 

 

 

 

 

 

 

 

Чтобы

выполнить

оценку ^ c,

 

необходимо предвари­

тельно ознакомиться с

некоторыми свойствами ядра двой­

 

 

 

 

 

 

ного интеграла, которое стоит

 

 

 

 

 

 

в квадратных скобках. Об­

 

 

 

 

 

 

ластью

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

яв­

 

 

 

 

 

 

ляется

квадрат 0 < £ , т ^ 2 ,

 

 

 

 

 

 

и его для наших целей удоб­

 

 

 

 

 

 

но разделить на 6 участков

 

 

 

 

 

 

прямыми линиями £ = т, т = 1,

 

 

 

 

 

 

| = 1 .

 

Нумерация этих

уча­

 

 

 

 

 

 

стков указана на рис. 1.

 

 

 

 

 

 

Знаки ядра на границах уча-

1

 

 

 

 

 

стков

легко определяются по

[/

 

 

 

 

__ ^

указанному выражению ядра,

 

 

 

 

 

 

и они также указаны на ри­

 

 

 

 

 

 

сунке. Знаки же и оценки

 

 

 

 

 

 

ядра внутри участков иссле­

У ч а с т о к

I.

 

дуются ниже.

0 < : т =й;

Он определяется

неравенствами

 

1.

Ядро,

которое мы обозначим /С (I, т) =

/С, здесь


§ 9,21

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

151

имеет значение

 

 

 

 

 

 

 

К = (g- т)« + g ( I - 2) (1 - Т)*-

 

( I - 1) ( 2 - т)2 =

 

 

 

 

 

 

 

 

 

(9.2.26)

Оно, очевидно, неотрицательно, так как

множители £ — 1

и %— 2

оба

неположительны.

Кроме

того, ввиду

того,

что (I — 1) (5 — 2) <

2 и т2

1, для ядра верны неравенства

 

 

 

0 < K ( g , т ) < 1 .

 

 

 

У ч а с т о к

II.

Здесь

0

т <;

1,

1

g «с; 2. Ядро К

имеет также

выражение

(9.2.26),

отличие состоит в

том,

что множитель £ — 1 принимает неотрицательные значения и ядро К, следовательно, будет неположительным. Так

как

тай£:1, 2 —

 

и

1=^1, для ядра справедлива

оценка

 

 

 

 

О^ К ( Ъ , т)5 г= -1 .

 

 

 

 

 

 

 

 

 

 

У ч а с т о к

III.

На

нем

1 sc: т sg; £ sg: 2.

Ядро

имеет

значение

 

 

 

 

 

 

 

 

 

К(1,

т) = ( | - т ) а - ^ ( | - 1 ) ( 2 - т ) 2=

 

 

 

 

 

 

=

1

(2 -

1) (1 +

1) т2 + 2| (1 - 2) т - 1(g - 2).

При каждом фиксированном значении £ из полуинтер­

вала

1 ^

£ <

2

Графиком функции К (|,т)

в плоскости

с осями

К,

т будет парабола *), обращенная

вогнутостью

в сторону

положительных К. На границе

участка

ядро

К принимает неположительные значения, так как

 

 

при

т = £

K(l, g ) = - y £ ( S - l ) ( 2 - £ ) 2< 0 ;

 

при

т =

1

 

 

 

 

 

 

 

 

К(1,

1 ) = ( Б - 1 ) 2- 4 б ( Е - 1 ) = ( 1 - 1 ) ( | | - 1 ) < 0 ;

 

при

£ = 2

К (2,

т) =

(2 — т)2 — (2 — г)2 = 0.

 

Поэтому

во всех

точках

участка III

 

 

 

 

 

 

 

 

К & т ) < 0 .

 

 

*) Здесь и ниже имеется в виду парабола с осью симметрии, параллельной оси К.