§ 7. ТЕОРЕМЫ АППРОКСИМАЦИИ |
381 |
я поэтому предположение 7.1 удовлетворяется с
?]2 = — 2 J ф1 (s) ф* (s) dsj.
П р и м е р |
7.3 (сглаживание). Пусть |
р — неотрицательная С**- |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
функция, |
носитель |
которой |
содерлштся |
в |
[0, |
1] |
и |
J р ($) ds = 1. |
|||||||||||
Положим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
Р б(«)= |
|
Для |
6 > 0 |
|
|
|
|
|
|
|||||
И |
|
оо |
|
|
|
|
|
|
в |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Bi(tt w ) = |
j wl (s) р б (s — t)ds = § wx(s + t) pa (s) ds |
для |
|
|
|||||||||||||||
|
|
О |
|
|
|
|
|
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
= |
l , 2 , |
|
г. |
(7 .10) |
||
Нетрудно |
проверить, |
|
что |
{B6(t, |
1У))б>о — аппроксимация |
вине- |
|||||||||||||
ровского процесса. Действительно, свойства |
(I) — (IV) |
в |
определе |
||||||||||||||||
нии 7.1 |
очевидны, |
а |
(V) |
и (VI) проверяются |
|
следующим образом. |
|||||||||||||
|
1В\(0, w) |2m = |
/ 1 |
|
|
|
\ 2771 |
|
|
|
|
|
|
|
|
|||||
Имеем |
I j 4=wl(8s) p (s) ds) |
8m |
|
и |
поэтому |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
,2771-1 |
|
|
|
|
|
|
|
|
|
£ [| #6 |
(0, |
u;)i2OT] = |
6m£ |
w1(s) p (s)dsj |
J.Кроме того, Щ (s, w) = |
||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= —jr Jw1(s + |
81) p' (|) |
и, таким образом, |
|
|
|
|
|
|
|
||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J |
= |
£7|^(j I i?g(fis, |
u ;)| d * |
|
j s 21 |
|
|
|
|||||
|
|
|
|
|
|
J |
jV(6(s hs))p'(I)<i| |
|
)2771*1 |
|
|
|
|||||||
|
|
|
|
|
L \o |
о |
|
|
|
|
|
|
|
|
J |
|
|
|
|
= |
|
|
|
|
l])p'(l)dl |
dsj |
j s m = |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,27П |
|
|
|
|
|
|
|
|
|
= |
£ | m |
j f^ ( S + |
|
i)p' (S)ds |
ds |
j e ”*. |
|||||
|
|
|
|
|
|
|
|
|
vO |0 |
|
|
|
|
|
|
|
|
|
|
Очевидно |
Sij(8, |
6) = 0 |
и, |
следовательно, |
предположение |
7.1 |
удов |
||||||||||||
летворяется с 5,-j = |
0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||