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

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

УДК 517.988+519.65

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

ИНТЕРПОЛЯЦИОННЫЕ ОПЕРАТОРНЫЕ МНОГОЧЛЕНЫ


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

Введение. Построение интерполяционных формул Эрмита–Биркгофа и различных их


обобщений даже в случае скалярных функций обычно связано со значительными трудностя-
ми. В ряде случаев интерполяционная задача Эрмита–Биркгофа вообще не имеет решения
[1–3]. Сложности в значительной степени возрастают при исследовании операторного анало-
га этой задачи.
При построении интерполяционных формул для операторов, заданных на функцио-
нальных пространствах, могут применяться известные интерполяционные многочлены для
скалярных функций. На основе такого подхода был получен ряд формул операторного ин-
терполирования разных видов [4–6]. Данная статья посвящена дальнейшему развитию этого
направления.
В работе построен новый класс алгебраических интерполяционных многочленов Эрми-
та–Биркгофа произвольной фиксированной степени для случая скалярных функций. На их
основе получены интерполяционные операторные формулы Эрмита–Биркгофа различной
структуры и некоторые их обобщения в классе гладких функций.
Пусть X = C p (T ) – пространство p раз дифференцируемых на T ⊆ R функций, опера-
тор F : X → Y , где Y – некоторое функциональное пространство, а δν F [ x; h1, h2 , ..., hν ] –
ν -ый дифференциал Гато оператора F в точке x ( x = x(t ), hi = hi (t ) ∈ X ; i = 1, 2, ..., ν;
t ∈ T ).
Будем рассматривать только те операторы F ( x), для которых дифференциалы
δν F [ x; h1 , h2 , ..., hν ] содержат произведение направлений h1, h2 , ..., hν . В частности, если
F ( x) = f ( s, x(t )), где f ( s, u ) – скалярная функция аргументов s ∈ Cα (α ∈ N) и u , диффе-
ренцируемая по переменной u не менее, чем ν раз, тогда
∂ν
δν F [ x; h1, h2 , ..., hν ] =f ( s, x) h1h2 hν , где x = x(t ) и hi = hi (t ) (i = 1, 2, ..., ν). Этим же
∂xν
свойством обладают, например, операторы Гаммерштейна, Урысона и многие другие.
Через δν F [ x; h] обозначим дифференциал ν -го порядка, где первые ν − 1 направлений
h1, h2 , ..., hν−1 тождественно равны единице, а последнее направление hν = h.
Интерполяционные многочлены, содержащие дифференциалы интерполируемого
оператора. Предварительно построим интерполяционную формулу Эрмита–Биркгофа спе-
циального вида для скалярных функций. Пусть заданы узлы интерполирования t0 , t1 , ..., tn –
различные точки числовой оси, а также известны значения f (t0 ), f (t1 ), ..., f (tn ) и значения
производных f ( n+1) (ti ), f ( n + 2) (ti ), ..., f ( n+ m) (ti ) в некотором фиксированном узле
ti (0 ≤ i ≤ n) функции f (t ), t ∈ R . Требуется построить алгебраический многочлен
H n + m ( f , t ) ≡ H n + m (t ) степени не выше n + m, удовлетворяющий условиям

1
H n + m (tk ) = f (tk ), k = 0, 1, ..., n; (1)
H n( n++mj ) (ti ) = f ( n+ j ) (ti ), j = 1, 2, ..., m. (2)
Введем обозначения
n
ωn (t )
lnk (t ) = , k = 0, 1, ..., n; hnj (t ) = ϕnj (t ) − ∑ lnk (t )ϕnj (tk ), (3)
(t − tk )ω′n (tk ) k =0
(t − ti ) n+ j
где ωn (t ) = (t − t0 )(t − t1 ) (t − tn ); ϕnj (t ) =
, j = 1, 2, ..., m.
( n + j )!
Л е м м а. Для алгебраического многочлена
n m
H n + m (t ) = ∑ lnk (t ) f (tk ) + ∑ hnj (t ) f (n+ j ) (ti )
k =0 j =1
выполняются условия (1), (2), где ti – фиксированный узел. Если f (t ) = Qn+ m (t ) – алгебраиче-
ский многочлен степени не выше n + m, то H n + m (t ) ≡ Qn+ m (t ).
Д о к а з а т е л ь с т в о. Выполнение интерполяционных условий (1), (2) следует из то-
го, что lnk (tν ) = δk ν , hnj (tν ) = 0 для всех k , ν = 0, 1, ..., n; j = 1, 2, ..., m, где δkν – символ
( n+ j )
Кронекера, а lnk (t ) ≡ 0, hn( νn + j ) (ti ) = δνj при любых k = 0, 1, ..., n; ν, j = 1, 2, ..., m.
Если f (t ) = Qn (t ) – алгебраический многочлен степени не выше n, тогда H n + m (t ) сов-
падает с многочленом Лагранжа для этой же функции f (t ) с теми же узлами интерполиро-
вания и поэтому H n + m (t ) ≡ Qn (t ). Далее достаточно показать точность формулы
f (t ) ≈ H n+ m (t ) , когда f (t ) = hnν (t ) (ν = 1, 2, ..., m). В этом случае
n m m
H n + m (t ) = ∑ lnk (t )hnν (tk ) + ∑ hnj (t )hn(νn+ j ) (ti ) = ∑ hnj (t )δνj = hnν (t ) .
k =0 j =1 j =1
Итак, лемма доказана.
Заметим, что для погрешности Rn+ m ( f ; t ) = f (t ) − H n+ m (t ) верно равенство
m
Rn+ m ( f ; t ) = rn ( f ; t ) − ∑ rn (ϕnj ; t ) f ( n+ j ) (ti ), где rn ( g ; t ) – остаток интерполирования функ-
j =1
ции g в точке t многочленом Лагранжа степени не выше n относительно узлов t0 , t1 , ..., tn .
Известно, что для функций g ∈ C( n+1) [a; b] , где [a; b] – наименьший отрезок, содержащий
узлы t0 , t1 , ..., tn и точку интерполирования t , остаточный член rn ( g ; t ) может быть записан
g ( n+1) (ξ)
в форме Лагранжа rn ( g ; t ) = ωn (t ), ξ ∈ (a; b). Поэтому для погрешности Rn+ m ( f ; t )
(n + 1)!
построенной интерполяционной формулы Эрмита–Биркгофа f (t ) ≈ H n+ m (t ) справедливо
представление
 m (ξ − t ) j −1  ω (t )
Rn+ m ( f ; t ) =  f ( n+1) (ξ0 ) − ∑
j i
f ( n+ j ) (ti )  n ,
 j =1 ( j − 1 ) !

( n + 1)!
где ξ j ∈ (a; b), j = 0, 1, ..., m; a = min {t0 , t1 , … , tn , t} , b = max {t0 , t1 , … , tn , t} .
Рассмотрим далее операторные многочлены Pn+ m ( x) : X → Y степени n + m вида
n+ m b

Pn+ m ( x) = c0 ( x) + ∑ ∫ ck (s, t ) dt ν
x k (t )dt (ν = 0, 1, ..., p), (4)
k =1 a

где c0 ( x) и ck ( s, t ) – некоторые фиксированные функции ( s ∈ Cα , α ∈ Ν; t ∈ T = [ a; b ] ;


k = 1, 2, ..., n + m).

2
b

Отметим, что если F ( x) = ∫ ck ( s, t ) ν
x k (t )dt , ν = 0, 1, ..., p; k = 0, 1, ..., n + m, то
a dt
 k! b
d ν  k −q
hq (t )  dt , q ≤ k ;
δq F [ x; h1, h2 , ..., hq ] =  (k − q )! ∫ k
 c ( s , t ) ν 
x (t )h1 (t )h2 (t )
dt  (5)
a

 0, q > k.
n
Предполагаем, что функции { xk (t )}k =0 ∈ X , используемые в дальнейшем в качестве уз-
лов интерполирования, таковы, что xi (t ) ≠ x j (t ) при i ≠ j для любых t ∈ T .
Т е о р е м а 1. Для операторного многочлена
n 1 m
H n + m ( F ; x) = F ( x0 ) + ∑ ∫ δF [ x0 + τ( xk − x0 ); lnk ( x)( xk − x0 )]d τ + ∑ δ n+ j F [ xi ; hnj ( x)], (6)
k =1 0 j =1
где lnk ( x) ≡ lnk ( x(t )) и hnj ( x) ≡ hnj ( x(t )) задаются равенствами (3), в которых точки t и tk
заменены соответственно на функции x = x(t ) и xk = xk (t ), выполняются условия
H n + m ( F ; xk ) = F ( xk ), k = 0, 1, ..., n; (7)
δn + j H n+ m [ xi ; h1 , h2 , ..., hn+ j ] = δn+ j F [ xi ; h1, h2 , ..., hn + j ], j = 1, 2, ..., m, (8)
где xi – фиксированный узел. Если F ( x) = Pn + m ( x) – операторный многочлен вида (4), то
H n + m ( F ; x) ≡ Pn+ m ( x).
Д о к а з а т е л ь т в о. Так как hnj ( xν ) = 0, а lnk ( xν ) = δ k ν для j = 1, 2, ..., m и
k , ν = 0, 1, ..., n, то, используя соотношение δF [ x + τh; h] = Fτ′( x + τh), получаем, что
H n + m ( F ; xk ) = F ( xk ) (k = 0, 1, ..., n).
Учитывая далее тождества δn + j lnk [ x; h1, h2 , ..., hn+ j ] ≡ 0 для всех k = 0, 1, ..., n и ра-
венства δn + j hnν [ xi ; h1, h2 , ..., hn + j ] = hn( nν+ j ) ( xi (t ))h1 (t )h2 (t ) hn+ j (t ) = δνj h1 (t )h2 (t ) hn+ j (t )
при любых ν, j = 1, 2, ..., m приходим к (8).
Покажем инвариантность относительно операторных многочленов вида (4) интерполя-
ционной формулы F ( x) ≈ H n+ m ( F ; x) , в которой многочлен H n + m ( F ; x) задается равенст-
вом (6). Пусть
b

F ( x) = ∫ cq ( s, t ) ν
x q (t )dt (ν = 0, 1, ..., p; q = 0, 1, ..., n + m). (9)
a dt
Для операторов (9) в случае q = 0, 1, ..., n вторая сумма в (6) в силу порядка диффе-
ренциалов n + j > n и равенства (5) обратится в нуль.
1 b
dν 
Так как ∫ δF[ x0 + τ( xk − x0 ); lnk ( x)( xk − x0 )]d τ = ∫ cq (s, t ) l ( x(t ))( xkq (t ) − x0q (t ))  dt ,
ν  nk
dt 
0 a
n
то с учетом тождества ∑ lnk ( x(t )) xkq (t ) ≡ x q (t ), q = 0, 1, ..., n, приходим к равенству
k =0
b
dν  q n 
H n + m ( F ; x) = ∫ cq ( s, t ) 
dt ν 
x0 (t ) + ∑ lnk ( x (t ))( xk
q
(t ) − x0
q
(t ))  dt =
a k =1 
b b
dν  n  dν
= ∫ cq ( s, t ) ν  ∑ lnk ( x(t )) xk (t ) dt = ∫ cq ( s, t ) ν x q (t )dt = F ( x).
q

a dt  k =0  a dt
Для дальнейшего доказательства теоремы удобнее рассматривать операторы вида

3
b
dν 
F ( x) = ∫ cq ( s, t ) ω ( x(t )) x q (t ) dt (ν = 0, 1, ..., p; q = 0, 1, ..., m − 1).
ν  n
(10)
dt 
a
Заметим, что если формула (6) точна для операторов (10), то она будет точна и для опе-
раторов F ( x) вида (9) при q = n + 1, n + 2, ..., n + m.
Так как дифференциал первого порядка δF [ x; h] для операторов (10) вычисляется по
b
dν  d  
правилу δF [ x; h] = ∫ cq ( s, t ) ν  ωn ( x(t )) x q (t )  h(t ) dt , то первая группа слагаемых пра-
dt  dx   
a
вой части формулы (6) преобразуется к виду
n 1 n 1b

∑ ∫ δF[ x0 + τ( xk − x0 ); lnk ( x)( xk − x0 )]d τ = ∑ ∫ ∫ cq (s, t ) dt ν
×
k =1 0 k =1 0 a
d

 dx
{ } 
ωn ( x0 (t ) + τ( xk (t ) − x0 (t ))) [ x0 (t ) + τ( xk (t ) − x0 (t )) ] lnk ( x(t ))( xk (t ) − x0 (t ))  dtd τ =
q

d  d 
{ }
n b ν 1
∑ ∫ cq (s, t ) dt ν ∫ d τ ωn ( x0 (t ) + τ( xk (t ) − x0 (t ))) [ x0 (t ) + τ( xk (t ) − x0 (t ))] d τlnk ( x(t )) dt =
q

k =1 a  0 
n b
∑ ∫ cq (s, t )
k =0 a
dν 
dt
{ }
ω ( x (t )) xkq (t ) − ωn ( x0 (t )) x0q (t )  lnk ( x(t )) dt =
ν  n k 
b
d ν  n 
ν  ∑ nk
∫ cq (s, t ) l ( x(t )) ωn ( xk (t )) xkq (t )   dt − F ( x0 ) = 0.
dt  k =0  
a 
Для операторов (10) дифференциал δn + j F [ x; h1 , h2 , ..., hn+ j ] имеет вид
b

δn + j F [ x; h1 , h2 , ..., hn + j ] = ∫ cq ( s, t )  ψ s ( x(t ))h1 (t )h2 (t ) hn + j (t ) dt ,
a dt ν 
где ψ s ( x(t )) – алгебраический многочлен степени s (0 ≤ s = q − j + 1 < m) относительно x(t ).
m
Поэтому для второй суммы в (6) справедливо равенство ∑ δn+ j F[ xi ; hnj ( x)] =
j =1
m b
d ν  m 
b
dν d n+ j   dt.
∑ ∫ cq (s, t ) dt ν
{ }
ψ s ( xi (t ))hnj ( x(t )) dt = ∫ cq ( s, t )  ∑
dt ν  j =1
hnj ( x ( t ))
dx n+ j 
ωn ( xi ( t )) xi
q
(t )

j =1 a a 
На основе доказанной леммы для операторов (10) окончательно получаем H n + m ( F ; x) =
d ν  n 
b m
d n+ j 
ν  ∑ nk  ∑ nj
 q  q 
∫ cq (s, t )
dt
l ( x ( t )) ω (
 n k
x (t )) xk (t ) + h ( x (t ))
dx
ω (
n+ j  n i
x (t )) xi (t )

dt = F ( x).
a  k =0 j =1 
Теорема 1 доказана.
Рассмотрим далее операторно-дифференциальные выражения
m
Dn + m F ( x) ≡ Dn+ m F [ x; h] = ∑ δn+ν F [ x; h]. (11)
ν=1
n +ν
Через δ F [ x; h] , как и ранее, обозначен дифференциал Гато (n + ν) -го порядка по направ-
лениям h1 = h2 = ... = hn +ν−1 ≡ 1 , hn+ν = h.
Т е о р е м а 2. Для операторного многочлена
n 1
H n + m ( F ; x) = F ( x0 ) + ∑ ∫ δF [ x0 + τ( xk − x0 ); lnk ( x)( xk − x0 )]d τ +Dn + m F [ xi ; hnm ( x)],
k =1 0

4
где lnk ( x) ≡ lnk ( x(t )) и hnm ( x) ≡ hnm ( x(t )) такие же, как и в теореме 1, справедливы равенст-
ва (7) и выполняется условие
Dn+ m H n+ m ( xi ) = Dn+ m F ( xi ), (12)
Доказательство теоремы 2 опустим, так как оно в значительной степени повторяет рас-
суждения, проведенные при доказательстве теоремы 1, вследствие определения операторно-
дифференциального выражения Dn + m F ( x) по правилу (11).
Формулы, содержащие дифференциалы и интегралы Стилтьеса интерполируемо-
1, τ ≥ t ;
го оператора. Введем числовую функцию χ(τ, t ) вида χ(τ, t ) =  где 0 < τ < 1, а
0, τ < t ,
χ(0, t ) ≡ 0 и χ(1, t ) ≡ 1. Через Qn+ m ( x) обозначим операторный многочлен вида
n+m 1
Qn+ m ( x) = ∑ ∫ ak (s, t )x k (t )dt , (13)
k =0 0

где ak ( s, t ) – некоторые фиксированные функции ( s ∈ R α , α ∈ Ν; t ∈ T = [ 0; 1] ;


k = 0, 1, ..., n + m).
Т е о р е м а 3. Для операторного многочлена
n 1 m
H n + m ( F ; x) = F ( x0 ) + ∑ ∫ lnk [ x(τ)]d τ F [ x0 (⋅) + χ(τ, ⋅)( xk (⋅) − x0 (⋅))] + ∑ δ n+ j F [ xi ; hnj ( x)], (14)
k =1 0 j =1
где lnk ( x) ≡ lnk ( x(t )) и hnj ( x) ≡ hnj ( x(t )) такие же, как и в теореме 1, выполняются условия
(7) и (8). Если F ( x) = Qn+ m ( x) – операторный многочлен вида (13), то H n + m ( F ; x) ≡ Qn+ m ( x).
Д о к а з а т е л ь с т в о. При x = xν справедливы равенства hnj ( xν ) = 0, lnk ( xν ) = δk ν ,
для всех j = 1, 2, ..., m и k , ν = 0, 1, ..., n. Следовательно,
1
H n + m ( F ; xν ) = F ( x0 ) + ∫ d τ F [ x0 (⋅) + χ(τ, ⋅)( xν (⋅) − x0 (⋅))] =F ( xν ) (ν = 0, 1, ..., n).
0
Учитывая, как и ранее, тождества δn + j lnk [ x; h1, h2 , ..., hn+ j ] ≡ 0 при любых
k = 0, 1, ..., n и равенства δn + j hnν [ xi ; h1, h2 , ..., hn+ j ] = δνj h1 (t )h2 (t ) hn+ j (t ) для всех
ν, j = 1, 2, ..., m приходим к соотношениям (8).
Пусть оператор
1
F ( x) = ∫ aq ( s, t )x q (t )dt , (15)
0
где степень q = 0, 1, ..., n, тогда вторая группа слагаемых в (14) в силу порядка дифферен-
циала n + j > q обратится в нуль.
Для k -го слагаемого первой суммы в (14) и этого класса операторов с учетом свойств
1
функции χ(τ, t ) будет выполняться равенство ∫ lnk [ x(τ)]d τ F [ x0 (⋅) + χ(τ, ⋅)( xk (⋅) − x0 (⋅))] =
0
1 τ 1  1
 q q q q
{
∫ lnk [ x(τ)]d τ ∫ aq (s, t )xk (t )dt + ∫ aq ( s, t )x0 (t )dt  = ∫ aq (s, τ)lnk [ x(τ)] xk (τ) − x0 (τ) d τ.
 0  0
}
0 τ
Отсюда

5
 1 n 
 k =1
{
H n + m ( F ; x) = ∫ aq ( s, t )  x0q (t ) + ∑ lnk [ x(t )] xkq (t ) − x0q (t ) dt =

}
0
1 n 1
∫ aq (s, t ) ∑ lnk [ x(t )]xkq (t )dt = ∫ aq ( s, t ) x q (t )dt = F ( x).
0 k =0 0
Для дальнейшего доказательства теоремы, как и раньше, удобнее рассматривать опера-
торы вида
1
F ( x) = ∫ aq ( s, t )ωn ( x(t )) x q (t )dt ( q = 0, 1, ..., m − 1). (16)
0
Заметим, что если формула (14) точна для операторов (16), то она будет точна и для
операторов F ( x) вида (15) при q = n + 1, n + 2, ..., n + m.
Для операторов (16) первая группа слагаемых правой части формулы (14) примет вид
n 1
∑ ∫ lnk [ x(τ)]dτ F [ x0 (⋅) + χ(τ, ⋅)( xk (⋅) − x0 (⋅))] =
k =1 0
1 n

k =1
q
{
∫ aq (s, t ) ∑ lnk [ x(t )] ωn ( xk (t )) xk (t ) − ωn ( x0 (t )) x0 (t ) dt =
q
}
0
1 n
∫ aq (s, t ) ∑ lnk ( x(t ))ωn ( xk (t )) xk (t )dt − F ( x0 ) = 0.
q

0 k =0
n+ j
Дифференциал δ F [ x; h1 , h2 , ..., hn+ j ] операторов этого вида вычисляется по правилу
1
n+ j
δ F [ x; h1, h2 , ..., hn + j ] = ∫ aq ( s, t )ψ s ( x(t ))h1 (t )h2 (t ) hn+ j (t )dt , где ψ s ( x(t )) – алгебраиче-
0
ский многочлен степени s (0 ≤ s = q − j + 1 < m) относительно x(t ). Поэтому для второй сум-
мы в (14) справедливо равенство
m m 1
∑δ n+ j
F [ xi ; hnj ( x)] = ∑ ∫ aq ( s, t )ψ s ( xi (t ))hnj ( x(t ))dt =
j =1 j =1 0
1  m d n+ j  
 ∑ nj 
q
∫ q
a ( s , t ) h ( x (t ))
dx
ω (
n+ j  n i
x (t )) xi (t )

dt.
0  j =1 
На основе доказанной леммы для операторов (16) окончательно получаем H n + m ( F ; x) =
1  n m
d n+ j  
 ∑ nk 
 ∑ nj
 
q q
∫ q
a ( s , t ) l ( x (t )) ω (
 n k
x (t )) xk (t ) + h ( x (t ))
dx
ω (
n+ j  n i
x (t )) xi (t )

dt = F ( x).
0 
 k =0 j =1 

Теорема 3 доказана.
В случае аналогичной обобщенной интерполяционной задачи Эрмита–Биркгофа спра-
ведливо следующее утверждение.
Т е о р е м а 4. Для операторного многочлена
n 1
H n + m ( F ; x) = F ( x0 ) + ∑ ∫ lnk [ x(τ)]d τ F [ x0 (⋅) + χ(τ, ⋅)( xk (⋅) − x0 (⋅))] +Dn+ m F [ xi ; hnm ( x)],
k =1 0
где lnk ( x) ≡ lnk ( x(t )) и hnm ( x) ≡ hnm ( x(t )) такие же, как и в теореме 1, справедливы равенст-
ва (7) и (12).
Доказательство теоремы 4 в значительной мере повторяет рассуждения, проведенные
при доказательстве теоремы 3.

6
В заключение отметим, что достаточно полная теория операторного интерполирования
изложена в монографии [7], в которой, в частности, рассмотрены и специальные случаи ин-
терполяционной задачи Эрмита–Биркгофа.

Литература

1. Ж и д к о в Н. П. Линейные аппроксимации функционалов. М., 1977.


2. И б р а г и м о в И. И. Методы интерполяции функций и их некоторые применения. М., 1971.
3. Т у р е ц к и й А. Х. Теория интерполирования в задачах. Мн., 1968.
4. Я н о в и ч Л. А., И г н а т е н к о М. В. // Доклады НАН Беларуси, 1998. Т. 42, № 3. С. 9–16.
5. Я н о в и ч Л. А., Д о р о ш к о В. В. // Доклады НАН Беларуси, 2001. Т. 45, № 4. С. 15–20.
6. Я н о в и ч Л. А., И г н а т е н к о М. В. // Весцi НАН Беларусi, 2005. № 2. С. 11–16.
7. М а к а р о в В. Л., Х л о б ы с т о в В. В., Я н о в и ч Л. А. Интерполирование операторов. Киев, 2000.

Институт математики НАН Беларуси Поступило 15.07.2008


Белорусский государственный университет

7
Реферат
УДК 517.988+519.65

Я н о в и ч Л. А., И г н а т е н к о М. В. Интерполяционные операторные многочле-


ны Эрмита–Биркгофа в пространстве гладких функций // Доклады НАН Беларуси. 2009.
Т. 53 , № 5 . С. 16-21.

Построен новый класс алгебраических интерполяционных многочленов Эрмита–


Биркгофа произвольной фиксированной степени для случая скалярных функций. На этой ос-
нове получены интерполяционные операторные формулы Эрмита–Биркгофа различной
структуры и некоторые их обобщения в классе гладких функций. Указан вид операторных
многочленов, для которых эти формулы инвариантны.
Библиогр. – 7 назв.

8
Yanovich L.A., Ignatenko M.V.
Interpolation operator Hermite–Birkhoff polynomials in space of smooth functions

Summary

New class of algebraic interpolation Hermite–Birkhoff arbitrary fixed degree polynomials for scalar functions is
constructed. On this base interpolation operator Hermite–Birkhoff difference structure formulae and some their gener-
alizations in space of smooth functions are obtained. The type of operator polynomials, for which these formulas are
invariant, is indicated.