Professional Documents
Culture Documents
Một lớp các công thức nội suy toán tử Hermit-Birkgoph trong không gian các hàm khả vi
Một lớp các công thức nội suy toán tử Hermit-Birkgoph trong không gian các hàm khả vi
ÓÄÊ 519.65
Ë. À. ßÍÎÂÈ×, Ì. Â. ÈÃÍÀÒÅÍÊÎ
ÎÁ ÎÄÍÎÌ ÊËÀÑÑÅ ÔÎÐÌÓË
ÎÏÅÐÀÒÎÐÍÎÃÎ ÈÍÒÅÐÏÎËÈÐÎÂÀÍÈß ÝÐÌÈÒÀ-ÁÈÐÊÃÎÔÀ
 ÏÐÎÑÒÐÀÍÑÒÂÅ ÄÈÔÔÅÐÅÍÖÈÐÓÅÌÛÕ ÔÓÍÊÖÈÉ
Èíñòèòóò ìàòåìàòèêè ÍÀÍ Áåëàðóñè,
Áåëîðóññêèé ãîñóäàðñòâåííûé óíèâåðñèòåò
(Ïîñòóïèëà â ðåäàêöèþ 01.11.2004)
1
(m)
Çäåñü Hij (t) (i = 0, 1, ..., m; j = 0, 1, ..., n) ìíîãî÷ëåíû êëàññà (1), äëÿ êîòîðûõ âûïîëíÿ-
(m)
þòñÿ óñëîâèÿ Dν Hij (tk ) = δik δνj , ãäå δij ñèìâîë Êðîíåêåðà. Êðîìå òîãî, áóäåì ïîëàãàòü,
÷òî åñëè â êà÷åñòâå àðãóìåíòà t ôóíêöèé ϕk (t) è f (t) è óçëîâ èíòåðïîëèðîâàíèÿ tk âçÿòü
ñîîòâåòñòâåííî ýëåìåíòû x ≡ x(t) è xk ≡ xk (t) (t ∈ T ) ïðîñòðàíñòâà X (ïðè÷åì òàêèå, ÷òî
çíà÷åíèÿ ôóíêöèé x(t), xk (t) ïðèíàäëåæàò D), òî ôîðìóëû âèäà (3) ñóùåñòâóþò è äëÿ íèõ
âûïîëíÿþòñÿ óñëîâèÿ (2).
Ïóñòü, äàëåå, X = X(T ) çàäàííîå ïðîñòðàíñòâî ãëàäêèõ íà T ôóíêöèé, íà êîòîðîì
îïðåäåëåí îïåðàòîð F : X → Y (Y òàêæå íåêîòîðîå ôóíêöèîíàëüíîå ïðîñòðàíñòâî), äëÿ
êîòîðîãî ν−ûå äèôôåðåíöèàëû Ãàòî δ ν F [x; h1 , h2 , ..., hν ] ñîäåðæàò ïðîèçâåäåíèå ôóíêöèé
h1 (t), h2 (t), ..., hν (t) (hi (t) ∈ X).
Ðàññìîòðèì ñëåäóþùèå îïåðàòîðíî-äèôôåðåíöèàëüíûå âûðàæåíèÿ âèäà
j
X
D̃j F (x) ≡ D̃j F [x; h1 , h2 , ..., hj ] = aνj δ ν F [x; h1 h2 ...hj ], (4)
ν=1
ãäå δ ν F [x; h1 h2 ...hj ] äèôôåðåíöèàë Ãàòî ν−ãî ïîðÿäêà îïåðàòîðà F â òî÷êå x ïî íà-
ïðàâëåíèÿì h1 , h2 , ..., hν−1 , à ν−îå íàïðàâëåíèå ÿâëÿåòñÿ ïðîèçâåäåíèåì âèäà hν hν+1 ...hj
(hν = hν (t) ∈ X). Äàëåå ñ÷èòàåì, ÷òî D̃0 F (x) = F (x).  ÷àñòíîñòè, ïðè aνj = δνj áóäåì
èìåòü D̃j F (x) = δ j F [x; h1 h2 ...hj ].
Åñëè F (x) = f (x(t)), ãäå f (u) ÷èñëîâàÿ ôóíêöèÿ, èìåþùàÿ ïðîèçâîäíóþ ïîðÿäêà j â
òî÷êå u = x(t), òîãäà ñïðàâåäëèâî ðàâåíñòâî D̃j F (x) = Dj f (x) h1 (t)h2 (t)...hj (t).
×åðåç D̃j F [x; h] àíàëîãè÷íî, êàê è äëÿ ñëó÷àÿ äèôôåðåíöèàëîâ Ãàòî, áóäåì îáîçíà÷àòü
îïåðàòîð âèäà (4), êîãäà hν (t) ≡ 1 äëÿ ν = 1, 2, ..., j − 1, à j−îå íàïðàâëåíèå hj (t) ≡ h(t).
Áóäåì ðàññìàòðèâàòü òàêæå îïåðàòîðíûå ìíîãî÷ëåíû Pµ,ν : X → Y âèäà
N Z
X dν
PN (x) = ak (ν; s, t) ϕk (x(t))dt (ν = 0, 1, 2, ...), (5)
dtν
k=0 T
X Z1 X
(m) (m)
+ δF [xp + τ (xi − xp ); Hi0 (x)(xi − xp )]dτ + D̃j F [xi ; Hij (x)], (6)
(i,0)∈Nm,0 0 (i,j)∈Mm,n
Bm,n (xi ) = F (xi ) (i, 0) ∈ Nm,0 ; D̃j Bm,n (xi ) = D̃j F (xi ) (i, j) ∈ Mm,n . (7)
(Êîãäà ìíîæåñòâî Nm,0 ïóñòîå, òî ïåðâûå äâà ñëàãàåìûå â (6) è ïåðâàÿ ãðóïïà ðàâåíñòâ â
(7) îòñóòñòâóþò). X (m)
Åñëè èìååò ìåñòî òîæäåñòâî σm (t) ≡ 1, ãäå σm (t) = Hi0 (x(t)), è ôîðìóëà (3)
(i,0)∈Nm,0
òî÷íà äëÿ îáîáùåííûõ ìíîãî÷ëåíîâ (1) ïðè ëþáûõ ðàçëè÷íûõ óçëàõ ti (i = 0, 1, ..., m), òî
èíòåðïîëÿöèîííàÿ ôîðìóëà (6) áóäåò òî÷íà äëÿ îïåðàòîðíûõ ìíîãî÷ëåíîâ âèäà (5). Ïîëó÷èì
íåñêîëüêî äðóãîé âàðèàíò ôîðìóëû (6).
2
Ôîðìóëû, ñîäåðæàùèå äèôôåðåíöèàëû è èíòåãðàëû Ñòèëòüåñà
( èíòåðïî-
1, τ ≥ t;
ëèðóåìîãî îïåðàòîðà. Ââåäåì ÷èñëîâóþ ôóíêöèþ χ(τ, t) âèäà χ(τ, t) = ãäå
0, τ < t,
0 < τ < 1, à χ(0, t) ≡ 0 è χ(1, t) ≡ 1.
Ò å î ð å ì à. Îïåðàòîðíûé ìíîãî÷ëåí
X Z1 X
(m) (m)
+ Hi0 [x(τ )]dτ F [xp (·) + χ(τ, ·)(xi (·) − xp (·))] + D̃j F [xi ; Hij (x)], (8)
(i,0)∈Nm,0 0 (i,j)∈Mm,n
j
X Z1
dν
D̃j F (x) = aνj a(s, t) ϕk (x(t)) h1 (t)h2 (t)...hj (t)dt,
dxν
ν=1 0
à
h i Xj Z1
(m) dν (m)
D̃j F xi ; Hij (x) = aνj a(s, t) ν ϕk (xi (t)) Hij (x(t))dt.
dx
ν=1 0
Äëÿ ñëàãàåìîãî, ñîîòâåòñòâóþùåãî èíäåêñó (i, 0) ïåðâîé ñóììû â (8), è ýòîãî êëàññà îïå-
ðàòîðîâ ñ ó÷åòîì ñâîéñòâ ôóíêöèè χ(τ, t) áóäåò âûïîëíÿòüñÿ ðàâåíñòâî
Z1
(m)
Hi0 [x(τ )]dτ F [xp (·) + χ(τ, ·)(xi (·) − xp (·))] =
0
τ
Z1 Z Z1
(m)
= Hi0 (x(τ ))dτ a(s, t)ϕk (xi (t))dt + a(s, t)ϕk (xp (t))dt dτ =
0 0 τ
3
Z1
(m)
= a(s, t)Hi0 (x(τ )) {ϕk (xi (τ )) − ϕk (xp (τ ))} dτ.
0
Îòñþäà ñëåäóåò
Z1 X
© (m)
Bm,n (x) = a(s, t) ϕk (xp (t)) + Hi0 (x(t))[ϕk (xi (t)) − ϕk (xp (t))]+
0 (i,0)∈Nm,0
X (m) ª
+ Hij (x(t))Dj ϕk (xi ) dt.
(i,j)∈Mm,n
X (m)
Ó÷èòûâàÿ òîæäåñòâî Hij (x(t))Dj ϕk (xi ) ≡ ϕk (x(t)) (k = 0, 1, ..., N ), ïîëó÷èì
(i,j)∈Nm,n
Z1 X Z1
(m)
Bm,n (x) = a(s, t) Hij (x(t))Dj ϕk (xi )dt = a(s, t)ϕk (x(t))dt ≡ F (x).
0 (i,j)∈Nm,n 0
Äëÿ ïîãðåøíîñòè rm (x) = F (x) − Bm,m (x), ãäå Bm,m (x) èíòåðïîëÿöèîííûé ïîëèíîì
âèäà (10), èìååò ìåñòî ïðåäñòàâëåíèå
4
Çäåñü, êàê è ðàíüøå, δ m+1 F [x; h] îçíà÷àåò, ÷òî íàïðàâëåíèÿ hν (t) ≡ 1 äëÿ ν = 1, 2, ..., m,
à hm+1 (t) = Pm+1 (x(t)).
Ïðåäïîëîæèì, ÷òî X è Y íîðìèðîâàííûå ïðîñòðàíñòâà. Åñëè äëÿ äèôôåðåíöèàëîâ
D̃j F [x; h] â òî÷êå x ∈ X âûïîëíÿþòñÿ íåðàâåíñòâà k D̃j F [x; h] k≤ c k h k (0 ≤ c < ∞). Òîãäà
äëÿ ïîãðåøíîñòè èíòåðïîëèðîâàíèÿ (11) ñïðàâåäëèâà îöåíêà
(−1)i−1
ai = bi eλi x0 , bi = , i = 1, 2.
λ2i (λ1 − λ2 )eλi x1
Îïåðàòîðíûé ìíîãî÷ëåí B1,3 (x), çàäàííûé ôîðìóëîé (13), óäîâëåòâîðÿåò èíòåðïîëÿöè-
îííûì óñëîâèÿì
eλ2 xi eλ1 xi
a1,i = ci eλ2 x0 , a2,i = bi eλ1 x0 , bi = 2 , ci = 2 , d = λ1 eλ1 x2 +λ2 x1 − λ2 eλ1 x1 +λ2 x2 , i = 1, 2,
λ1 d λ2 d
ñïðàâåäëèâû ðàâåíñòâà
5
4.  çàêëþ÷åíèå ïðèâåäåì åùå îäèí ïðèìåð [3] ôîðìóë òàêîãî âèäà. Ïóñòü u1 (s) è u2 (s)
ïîëîæèòåëüíûå íåïðåðûâíûå íà R ôóíêöèè, ïðè ýòîì ïðåäïîëàãàåòñÿ, ÷òî ôóíêöèÿ u1 (s)
ÿâëÿåòñÿ íåïðåðûâíî äèôôåðåíöèðóåìîé íà ÷èñëîâîé îñè R, à
Zx Zx Zs
ϕ1 (x) = u1 (s)ds, ϕ2 (x) = u1 (s) u2 (τ )dτ ds,
x0 x0 x1
L. A. YANOVICH, M. V. IGNATENKO
ABOUT ONE CLASS OF OPERATOR INTERPOLATION FORMULAS HERMITE-BIRKHOFF
IN THE SPACE OF DIFFERENTIABLE FUNCTIONS
Summary
The paper is devoted to the construction of Hermite-Birkho type interpolation formulae for operators based on
interpolation polynomials for numeral functions with respect to the Chebyshev system of functions. The obtained
formulae are exact for a special class of operator polynomials of corresponding degrees. The special cases are
considered.
6
ÓÄÊ 519.65