Вы находитесь на странице: 1из 9

Доклады НАН Беларуси. – 2009. – Т. 53 , 5 . – С. 16-21.

УДК 517.988+519.65

Член-корреспондент Л. А. ЯНОВИЧ, М. В. ИГНАТЕНКО

ИНТЕРПОЛЯЦИОННЫЕ ОПЕРАТОРНЫЕ МНОГОЧЛЕНЫ ЭРМИТАБИРКГОФА В ПРОСТРАНСТВЕ ГЛАДКИХ ФУНКЦИЙ

Введение. Построение интерполяционных формул ЭрмитаБиркгофа и различных их обобщений даже в случае скалярных функций обычно связано со значительными трудностя- ми. В ряде случаев интерполяционная задача ЭрмитаБиркгофа вообще не имеет решения [1–3]. Сложности в значительной степени возрастают при исследовании операторного анало- га этой задачи. При построении интерполяционных формул для операторов, заданных на функцио- нальных пространствах, могут применяться известные интерполяционные многочлены для скалярных функций. На основе такого подхода был получен ряд формул операторного ин- терполирования разных видов [4–6]. Данная статья посвящена дальнейшему развитию этого направления. В работе построен новый класс алгебраических интерполяционных многочленов Эрми- таБиркгофа произвольной фиксированной степени для случая скалярных функций. На их основе получены интерполяционные операторные формулы ЭрмитаБиркгофа различной структуры и некоторые их обобщения в классе гладких функций.

пространство p раз дифференцируемых на T R функций, опера-

тор FX: Y , где Y некоторое функциональное пространство, а

Пусть

X = C

p

(

T

)

δ

ν

Fx[

;

h ,

1

h

2

,

,

h

ν

]

ν -ый дифференциал Гато оператора

t T ). Будем рассматривать только те операторы F (x), для которых дифференциалы

δ

C α∈ N и u, диффе-

тогда

В частности, если

F (x) = f (s, xt( )), где по

F

в точке x (x = x(t),

h

i

2

,

= ht

i

()

,

h .

ν

α

X

;

i = 1,

2,

,

ν;

ν

Fx[

;

h ,

1

h

2

,

,

h

ν

]

содержат произведение направлений

hh,

1

f (s, u) скалярная функция аргументов s

переменной

u

не

менее,

()

ν

ренцируемая

чем

раз,

δ

ν

F[x; h , h ,

1

2

,

h

ν

]

ν

= x

ν

f (s, x) hh

12

h

ν

,

где x = x(t) и

h

i

= ht

i

()

(i = 1,

2,

,

ν ). Этим же

свойством обладают, например, операторы Гаммерштейна, Урысона и многие другие.

Через

δ

ν

F[x; h]

обозначим дифференциал ν -го порядка, где первые ν −1 направлений

hh,

12

,

,

h

ν−

1

тождественно равны единице, а последнее направление h ν = h.

Интерполяционные многочлены, содержащие дифференциалы интерполируемого оператора. Предварительно построим интерполяционную формулу ЭрмитаБиркгофа спе-

циального вида для скалярных функций. Пусть заданы узлы интерполирования tt , t

0

,

1

,

n

различные точки числовой оси, а также известны значения f t ft ft и значения

производных f

(

функции f (t), t R . Требуется построить алгебраический многочлен

в некотором фиксированном узле

(

0

),

(

1

),

(

n

)

,

(

1)

( t )

n

++

(

tf

),

n

(

2)

(

t

),

,

f

(

+

nm

)

t

i

)

ii

(0

t

H

i

nm

+

in

(

ft ,

)

)

H

степени не выше n + m, удовлетворяющий условиям

nm

+

H

nm

+

H

()

+

nj

nm

+

k

=

0, 1,

( )

t

ϕ=

(

(

t

i

t

)

k

)

=

=

f

ft (

k

()

+

nj

),

(

=

tj

k

i

),

(

t

,

t

i

n ;

)

n

+

ht

nj

( )

j

= 1,

2,

0, 1,

 

,

n

;

(1)

=

1,

2,

,

m

.

(2)

 

n

nj

( )

t

k = 0

l

nk

=

( )

t

ϕ

n +

(

t

nj

m

t

k

()

),

,

m, где δ

kν

ν , j = 1,

2,

,

m.

H

n

+

m

()

t

(3)

Введем обозначения

n

lt

nk

( )

( )

t =−tt

(

0

)(

=

ω

n

( )

t

(

tt

k

)

ω′

()

t

nk

)

(

tt

n

);

,

nj

где ω

tt

1

(

n

+

j

)

!

,

jm .

,

Л е м м а. Для алгебраического многочлена

l

nk

t ν

(

n

nk

l

+

k

j

)

ν

( )

t

h

nj

Если ()

f

t

()

= Qt

n

H

n

+

m

()

t

=

i

n

=

k

0

l

nk

tft

()

(

k

) +

m

=

j

1

h

nj

tf

()

(

n

H

nm

+

( )

tQ

+

nm

( ).

t

+

j

)

()

t

ν

=

0

для всех k , ν = 0, 1,

,

n;

j = 1,

h

j

+

n

(

t

ni

ν

(

)

) = δ

j

ν

при любых k = 0, 1,

,

(

t

i

)

2,

n;

+

m

()

t

, когда

H

f

( )

t

( ).

Qt

n

nm

+

()

t

=

()

ht

n

ν

( ν = 1,

2,

, m ). В этом случае

алгебраиче-

ский многочлен степени не выше n + m, то

Д о к а з а т е л ь с т в о. Выполнение интерполяционных условий (1), (2) следует из то-

символ

Кронекера, а

сов-

падает с многочленом Лагранжа для этой же функции f (t) с теми же узлами интерполиро-

вания и поэтому

Далее достаточно показать точность формулы

го, что () ,

выполняются условия (1), (2), где t – фиксированный узел. Если f () tQ

0,

алгебраический многочлен степени не выше n, тогда

()

f tH

n

nm

()

H t

n

+

m

=

∑∑

l

nk

()

th

n

ν

(

t

k

)

+

kj 01

==

Итак, лемма доказана. Заметим, что для погрешности

h

nj

R

()

th

nm

+

(

n

n

ν

+

j

(

f

;

)

(

t

t

)

i

)

=

=

m

j = 1

h

( )

ft

nj

()

t

δ=

h

νν j n

() .

t

H

+

nm

( )

t

верно равенство

R

n

+

m

(

f

;

t

)

=

r

n

(

f

;

t

)

m

−ϕ

r

n

(

j = 1

nj

;

)

tf

(

n

+

j

)

(

t

i

),

где

(

rgt

n

;

)

остаток интерполирования функ-

ции g в точке t многочленом Лагранжа степени не выше n относительно узлов , ,

Известно, что для функций

tt

0

1

,

t

n

.

, где [a; b] наименьший отрезок, содержащий

C

(

n +

1)

[

ab

;

]

g

tt

узлы , ,

0

1

,

t и точку интерполирования t, остаточный член ( ; )

n

n

rgt может быть записан

в форме Лагранжа

(

rgt

n

;

)

=

g

( n +

1) (

ξ

)

(

n +

1)!

ω

n

( ),

t

ξ ∈ (a; b). Поэтому для погрешности

R

n

+

m

(

f

;

t

)

построенной интерполяционной формулы ЭрмитаБиркгофа f () tH

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

n

+

m

t

()

где

ξ∈ ab

j

(

;

),

j =

R

nm

+

0, 1,

(

ft

;

,

m ;

)

 

=

a =

f

(

n +

min

1)

(

ξ− )

0

{

tt

,

0

1

,

m

j = 1

,

(

ξ

j

t

i

)

j 1

f

(

+

nj

)

(

t

)

ω 

n

t

( )

 
 

(

 

1

)

 

i

(

 

1)!

,

j

!

 

n

+

tt

,

n

}

,

b =

max

{

tt

,

0

1

,

,

tt

,

n

}

.

справедливо

Рассмотрим далее операторные многочлены ( ): степени n + m вида

P

n

+

m

xX

Y

P

nm

+

(

x

)

=

c

0

(

x

)

+

n

+

m

b

∑∫

k = 1

a

c

k

(

s

,

t

)

d

ν

x

dt

ν

k

( t )

dt

(

ν=

0, 1,

,

p ),

(4)

где c (x) и

0

c

k

(

st

,

k

= 1,

2,

,

nm+

).

)

некоторые фиксированные функции

(s

C α∈Ν ∈ = [ab; ];

α

,

;

t

T

δ

q

[

Fx

 

b

ν

 

)

=

c

k

(

s

,

t

)

d

dt

ν

x

k

 

a

 

k

!

b

t

d

ν

k

(

k

q

)!

c

k

(

s

,

)

dt

ν

x

 

a


( )

0,

q

Отметим, что если F ( x

;

h

1

,

h

2

,

,

h

q

] =

t dt

,

( )

t

ν=

0, 1,

h

1

t h

( )

2

( )

t

,

p ;

k = 0, 1,

h

q

( )

t

dt

,

q

q

>

,

k

;

k

.

nm+

,

то

(5)

n

Предполагаем, что функции { } используемые в дальнейшем в качестве уз-

x

k

()

t

k = 0

X

,

лов интерполирования, таковы, что

t xt при i j для любых t T .

x ()

i

j

()

Т е о р е м а 1. Для операторного многочлена

H

n

+

m

(

F

;

x

)

=

(

Fx

0

)

+

n

1

∑∫

k

=

1

0

δ

[

Fx

(

+τ −

00 k

x

x

);

l

nk

(

x

)(

x

k

x

0

)]

d

m

τ+ δ

j

=

1

n

+

j

[

Fx

i

;

h

nj

(

x

)],

где

заменены соответственно на функции x = x(t) и

l

nk

(

x

)

l

nk

(

xt ( ))

и

h

nj

(

x h xt задаются равенствами (3), в которых точки t и

)

nj

(

( ))

x

k

( ),

= x t выполняются условия

k

(6)

t

k

δ

nj

+

H

nm

+

(

H

[

x

;

h

h

h

++ 12

nm

i

,

,

,

n

j

Fx (

F

]

;

x

)

=

k

nj

+

[

Fx

i

;

k

),

h

k = 0, 1,

h

,

h

12

,

,

n

+

,

j

n;

(7)

],

j = 1,

2,

,

m,

(8)

где x фиксированный узел. Если ()

i

Fx

=

P

n

+

m

x

()

операторный многочлен вида (4), то

H

nm

+

( ;

Fx

)

P

nm

+

(

x

).

Д о к а з а т е л ь т в о. Так как

h

nj

(

x

ν

)

=

0,

k , ν = 0, 1,

H

F

( ;

nm

+

x

k

)

,

=

n, то, используя соотношение δ Fx[

n

Fx (

k

)

( k = 0, 1,

).

,

а

l

nk

() x ν

=

h; h ]

= δ для j = 1, 2,

k

ν

F ( x

τ

h ),

и

получаем, что

,

m

Учитывая далее тождества

δ

nj

+

h

n

ν

[ ;

x

i

h

h

12

,

,

,

h

δ n

nj

+ j

]

l

nk

=

[

h

xh

(

;

nj

+

1

)

венства

при любых ν , j = 1, 2, ,

n

m приходим к (8).

,

(

h

x

i

2

,

( ))

t

,

h

1

h

n

+

j

th

( )

2

]

( )

t

0

для всех k = 0, 1,

h

nj

+

( )

t

j

ν

h

1

th

( )

2

( )

t

,

n и ра-

h

nj

+

( )

t

Покажем инвариантность относительно операторных многочленов вида (4) интерполя-

задается равенст-

ционной формулы Fx ( ) вом (6). Пусть

H

n

+

m

(

F

;

x

)

, в которой многочлен

H

n

+

m

(

Fx

;

)

F

(

x

)

=

b

c

a

q (

s

,

t

)

d

dt

ν

x

ν

q ( t )

dt

(

ν=

0, 1,

,

p

;

q

=

0, 1,

,

n

+

m

).

(9)

Для операторов (9) в случае q = 0, 1, ,

n вторая сумма в (6) в силу порядка диффе-

ренциалов njn+ > и равенства (5) обратится в нуль.

1

Так как δ

0

F [ x

( x

00

k

x

);

l

nk

(

x

)(

x

k

x

0

)]

d

τ=

b

a

c

q

(

s

,

t

)

d

ν

dt

ν

l

nk

(

x ( t ))(

x

q

k

( t )

x

то с учетом тождества

n

k = 0

l

nk

(

( ))

xt

x

q

k

( )

t

x

q

( ),

t

q

=

0, 1,

,

n ,

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

H

n

=

b

a

+

m

c

q

(

F

(

s

,

;

t

x

)

=

)

d

ν

b

a

c

q

n

(

s

l

k = 0

,

t

)

d

ν

dt

ν

q

0

(

x ( t ))

x

k

n

k = 1 b

 

x

q

( t )

+

( t )

dt

l

nk

(

x ( t ))(

x

ν

qq

k

0

( t )

−= x

(

x

).

( t ))

F

dt

== c ( s , t ) d ( t ) dt dt

q

ν

x

q

a

dt

ν

nk

 

q

0

( t ))

dt

,

Для дальнейшего доказательства теоремы удобнее рассматривать операторы вида

F

(

x

)

=

b

a

c

q

(

s

,

t

)

d

ν

dt

ν

ω

n

(

( ))

x t

x

q

( )

t

dt

(

ν=

0, 1,

,

p

;

q

=

0, 1,

,

m

1).

(10)

Заметим, что если формула (6) точна для операторов (10), то она будет точна и для опе-

раторов F ()x вида (9) при qn=+ 1, n + 2,

, nm+ .

Так как дифференциал первого порядка δFx[ ; h] для операторов (10) вычисляется по

правилу [ ; ]

F x

δ=

h

b

a

c

q

(

s

,

t

)

d

ν

dt

ν

d

dx

ω

n

(

( ))

x t

x

q

( )

t

h t

( )

dt

, то первая группа слагаемых пра-

вой части формулы (6) преобразуется к виду

d

dx

{ ω

n

( x

0

( )

t

n

1

∑∫

k

=

1

0

δ

[

Fx

(

x

k

( )

t

(

x

00

k

x

);

l

nk

(

x

)(

x

k

x

( )))

t

[

x

00

( )

t

(

x

k

( )

t

x

0

)]

x

0

( ))

t

d

τ=

n

1 b

∑∫∫

k

=

1

0 a

c

q

(

]

q

} l

nk

(

( ))(

x t

x

s

k

,

t

( )

t

)

d

ν

dt

ν

×

x

0

( ))

t

dtd

n b

∑∫

a

k = 1

c

q

(

s

,

t

)

d

ν

 

1 d

0

n

∑∫

k = 0

b

a

c

q

a

(

{

q

ω

q }

x ( t ))

0.

dt

ν

d τ

b

c

s

,

(

t

n

0

s

)

,

t

)

d

ν

dt

ν

{

d

ν

dt

ν

n

k = 0

ω

k

n

(

l

nk

(

x

δ

b

n

+

x

q

k

( t )

ω

n

(

x

k

j

Fx

;

−ω

( t ))

h

d

1

ν

,

k

n

(

x

0

( t ))

q

k

x

h

2

( t )

,

 

 

,

x

q

0

dt

( t )

F

h

n

+

j

]

x ( t ))

h

1

( t )

0

l

nk

(

x

0

(

)

=

(

x

t

( )

(

x

t

( )

x

( )))

t

[

x

t

( )

(

x

t

( )

( ))

t

]