Лекции по прикладному функциональному анализу. Учебное пособие
.pdfгде предел понимается в смысле сходимости по норме пространства B, когда диа-
метр разбиения отрезка [a; b] стремится к нулю.
Заметим, что
1.f(t) = jjx(t)jjB есть непрерывная функция.
2.Все классические свойства непрерывных функций из анализа переносятся и на абстрактные функции.
3.Для абстрактных функций имеют место формулы дифференцирования суммы абстрактных функций и произведения абстрактной функции на скалярную функции, аналогичные соответствующим формулам для скалярных функций.
4.Отметим также некоторые свойства интеграла от абстрактной функции, такие
как
Z b |
Z b |
Z b |
|
|
jjx(t)jjdt; |
x(t)dt = (b a)x; |
|
x(t)dt |
a |
a |
a |
где x элемент замкнутой выпуклой оболочки значений функции x(t) на отрезке
[a; b].
Если x(t) непрерывна, то функция
Z t
y(t) = x( )d
a
непрерывно дифференцируема и справедливы соотношения
Z b
y0 = x; y0(t)dt = y(b) y(a):
a
Аналогично можно рассматривать так называемые операторные функции. Рассмотрим нелинейный оператор F (t; x), где t вещественный параметр, x(t) абстрактная функция. Предполагаем, что при каждом фиксированном t оператор F (t; x) имеет одну и ту же область определения. При каждом фиксированном t = t0, x(t0) = x0 2 B и F (t0; x(t0)) : B 7 !B. Оператор F (t; x(t)) F0(t) можно рассматривать как абстрактную функцию и значит пользоваться определениями понятий непрерывности, производной и интеграла, введенные нами выше.
Рассмотрим теперь задачу Коши для дифференциального уравнения в банаховом пространстве B
dx |
= F (t; x); |
(2.1) |
|
dt |
|||
|
|
11
x t=0 = x0 2 B; |
(2.2) |
|
|
|
|
где x(t) - абстрактная функция со значениями |
в банаховом пространстве B, F (t; x), |
|
описанный выше оператор.
Функция x(t) называется решением задачи (2.1), (2.2), если она непрерывно дифференцируема, удовлетворяет уравнению (2.1) для t 2 [0; T ] и начальному условию
(2.2) при t = 0.
Пример. Рассмотрим уравнение для неизвестной функции u(t; x) с областью
определения x 2 Rn, t 2 R |
|
|
|
@t = u(t; x) + ZRn G(t; x; y)u(t; y)dy; |
(2.3) |
|
@u |
|
где оператор Лапласа, G известное ядро интегрального оператора. Такого рода интегро-дифференциальные уравнения весьма интересны, регулярно возникают в приложениях (уравнения Больцмана, Ландау, Власова). Если трактовать функцию u(t; x) как вектор-функцию времени t со значениями в некотором банаховом пространстве B функций от x (например, W21(Rn) или C(Rn)), то уравнение (2.3) может быть представлено как дифференциальное уравнение в банаховом пространстве B
du |
= F (t)u: |
(2.4) |
||
dt |
|
|||
|
|
|||
Здесь уже производная не частная, а обыкновенная, потому что u = u(t; ) мыслится теперь как элемент функционального пространства. Оператор F (t) определяется правой частью уравнения (2.3).
Теорема 2.2.4. Пусть F (t; x) непрерывен по t на [0; T ] при каждом фиксированном
x из jjx x0jj r. При t 2 [0; T ] |
и x из jjx x0jj r удовлетворяет следующим |
||||
условиям |
|
|
|
|
|
|
|
|
|
jjF (t; x)jj c; |
(2.5) |
jjF (t; x1) F (t; x2)jj mjjx1 x2jj: |
(2.6) |
||||
Тогда на [0; T0], где T0 < min |
r |
; |
1 |
; T , существует единственное решение x(t) за- |
|
c |
|
||||
дачи Коши (2.1), (2.2) . |
m |
|
|
||
Доказательство. Пусть x(t) решение задачи (2.1), (2.2), т.е. непрерывно дифференцируемая на некотором [0; T0], T0 T функция, обращающая (2.1) в тождество
12
и удовлетворяющая (2.2). Подставим x(t) в (2.1) и проинтегрируем тождество
Z t Z t
x0( )d = F ( ; x( ))d )
00
Z t
x(t) = x0 + F ( ; x( ))d ; (2.7)
0
т.е. x(t) удовлетворяет интегральному уравнению. Обратно, пусть x(t) непрерывная функция, удовлетворяющая уравнению (2.7) на [0; T ].
Докажем, что F ( ; x( )) как функция непрерывна на [0; T ]. Действительно jjF ( ; x( )) F ( 0; x( 0))jj = jjF ( ; x( )) F ( ; x( 0)) + F ( ; x( 0)) F ( 0; x( 0))jj
jjF ( ; x( )) F ( ; x( 0))jj + jjF ( ; x( 0)) F ( 0; x( 0))jj(в силу (2.6) mjjx( ) x( 0)jj + jjF ( ; x( 0)) F ( 0; x( 0))jj ! 0 при ! 0;
в силу непрерывности F (t; x) по t и непрерывности x(t) по t. Следовательно, F ( ; x( ))
непрерывна по . Отсюда сразу вытекает, что если
Z t
x(t) = x0 + F ( ; x( ))d ;
0
то x(0) = x0 и x(t) непрерывно дифференцируемая функция на [0; T ] и, в силу представления (2.7), следует x0(t) = F (t; x(t)). Таким образом задачи (2.1), (2.2) и (2.7) эквивалентны. Введем банахово пространство CB[0; T ] абстрактных непрерывных функций на [0; T ] со значениями в B и нормой
jjxjjCB[0;T0] = max jjx(t)jjB
t2[0;T0]
Рассмотрим в CB[0; T0] замкнутый шар
Br(x0) = fx(t) 2 CB[0; T0]; jjx(t) x(t0)jj rg:
Введем нелинейный оператор |
|
|
|
|
|
|
|
|
|
|
(x) = x0 + Z0t F ( ; x( ))d : |
|
|
|
(2.8) |
||||
Покажем, что оператор переводит CB[0; T0] в себя |
|
|
|
|
|||||
jj ( |
) 0jjCB[0;T0] |
= [0;T0] |
|
0 |
t |
)) |
|
|
|
( |
|
||||||||
x |
x |
max |
Z |
|
F ( ; x |
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13
Z t
max jjF ( ; x( ))jjd c T0 < r:
[0;T0] 0
Так как (x) : Br(x0) 7 !Br(x0), то выполняется условие (2.6) и, следовательно, имеют место следующие неравенства
jj ( |
|
1) ( |
|
2)jjCB[0;T0] = |
[0;T0] jj Z0 |
t |
|
|
2 |
|
jj |
x |
x |
1 |
( )) |
( ))]d |
|||||||
|
|
|
max |
[F ( ; x |
|
F ( ; x |
|
Z t
max jjF ( ; x1( )) F ( ; x2( ))jjd T0mjjx1(t) x2(t)jjCB[0;T0] =
[0;T0] 0
qjjx1( ) x2( )jj;
где q = T0m < 1 и, следовательно, сжимающий оператор.
Таким образом, согласно принципу сжимающих отображений в CB[0; T0] существует единственное решение x(t) 2 CB[0; T0] уравнения (2.7), следовательно и задачи (2.1), (2.2).
Как видно из доказательства результат, который мы здесь получаем, носит локальный характер по времени. Это, как известно, характерно для нелинейных задач.
Теорема 2.2.5. Пусть F (t; x) непрерывен по t на [0; T ] при каждом фиксированном x 2 B и удовлетворяет условию Липшица
jjF (t; x1) F (t; x2)jj mjjx1 x2jj; |
(2.9) |
с единой константой m для всех x1; x2 2 B. Тогда на [0; T ] существует единственное решение x(t) задачи Коши (2.1), (2.2) .
Замечание. Здесь мы отказываемся от условия (2.5). Это условие гарантировало нам тот факт, что за счет малости T0 можно было добиться, чтобы : Br(x0) 7 !
Br(x0). Это дает возможность использовать условие (2.6). Здесь же условие Липшица выполнено с единой константой для всех x1; x2 2 B.
Доказательство. Рассмотрим норму разности
Z t
jj (x1) (x2)jjCB[0;T0] m jjx1( ) x2( )jjd mjjx1( ) x2( )jjCB[0;T0]:
0
Используя эту оценку, имеем
jj 2(x1) 2(x2)jjCB[0;T0] = jj ( (x1)) ( (x2))jjCB[0;T0] =
14
|
0t[F ( ; (x1( ))) F ( ; (x2( )))]d |
CB[0;T0] |
|
Z |
|
|
|
|
t |
|
|
|
|
|
|
Z0 |
jjF ( ; (x1( ))) F ( ; (x2( )))jjCB[0;T0]d |
||
Z t
mjj (x1( )) (x2( ))jjCB[0;T0]d
0
Z t t2
m2 0 jjx1( ) x2( )jjd m2 2 jjx1(t) x2(t)jjCB[0;T0]:
Отсюда легко вытекает, что
jj n(x1( )) n(x2( ))jjCB[0;T0] (mTn!)n jjx1(t) x2(t)jjCB[0;T0]:
Поскольку (mTn!)n ! 0 при n ! 1, существует N такое, что (mTN!)N = q < 1 и, следовательно, оператор N является оператором сжатия в CB[0; T0] и, как следствие, у
существует единственная неподвижная точка.
15
§3 Теорема Брауэра о неподвижной точке.
§3.1 Предварительные сведения.
Определение 3.1.1. Функция f : Rn ! Rn дифференцируема в точке a 2 Rn, если существует такое линейное отображение L : Rn ! Rn, что
lim jjf(a + h) f(a) L(h)jj = 0; h!0 jjhjj
где h 2 Rn.
Линейное отображение L называется производной функции f в точке a. Если отображение L еще и непрерывно, то f называется непрерывно дифференцируемой
функцией.
Если f : U Rn ! Rn, где U открытое множество и f дифференцируема в
каждой точке a 2 U, то f называется дифференцируемой в U.
Положим f = (f1(x); : : : ; fn(x))T . Тогда
|
|
|
|
|
0 |
@f1 |
@f1 |
: : : |
@f1 |
1 |
|
|
|
|
|
|
@x1 |
@x2 |
|
@xn |
|
||
|
|
|
|
|
@f2 |
@f2 |
|
@f2 |
|
||
Lx = Df(x) = f0(x) = |
@f |
; : : : ; |
@f |
|
= B |
@x1 |
@x2 |
: : : |
@xn |
C |
: |
|
@xn |
|
|
|
|
||||||
|
@x1 |
B |
|
|
|
|
C |
|
|||
|
|
|
|
|
B |
C |
|
||||
|
|
|
|
|
B |
@fn |
@fn |
: : : |
|
C |
|
|
|
|
|
|
B |
@x1 |
@x2 |
|
C |
|
|
|
|
|
|
|
B |
|
|
C |
|
||
|
|
|
|
|
@ |
|
|
|
@fn |
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@xn |
|
|
Функция f : Rn ! Rn дифференцируема тогда и только тогда, когда диффе-
ренцируема каждая координатная функция fi(x) i = 1; : : : ; n.
Если функция f : Rn ! Rn дифференцируема в точке a, тогда
существуют и f0(x) есть указанная выше матрица Якоби.
Если f : R |
n |
! |
R |
n |
такова, что все частные производные |
@fi |
, |
i; j = 1; : : : ; n |
|
|
@xj |
существуют в некоторой окрестности точки a и непрерывны в a, тогда f дифференцируема в точке a.
Если f : Rn ! Rn непрерывное отображение, то прообразом любого открытого множества является открытое множество.
Теорема 3.1.2. (Об обратной функции.) Предположим, что f : Rn ! Rn
непрерывно дифференцируемая функция на некотором открытом множестве, содержащем точку a и detf0(a) 6= 0. Тогда существует открытое множество V a
16
и открытое множество W f(a) такие, что отображение f : V ! W имеет непрерывное обратное f 1 : W ! V , которое является непрерывно дифференцируемым и 8 y 2 W удовлетворяет соотношениям
(f 1)0(y) = [f0(f 1(y))] 1:
Пусть A = (aij)i;j=1;n матрица размерности n n.
Определение 3.1.3. Определителем матрицы A называют величину
n
XY
detA = |
( 1)l |
aip(i); |
p2Sn |
|
i=1 |
где p 2 Sn группа подстановок n-элементного множества
p = |
0 |
1 |
2 |
3 |
: : : |
n |
1 |
|
@ p(1) |
p(2) |
p(3) |
: : : |
p(n); |
A |
|
l число инверсий в подстановке p.
Если aip(i) = aip(i)(x) являются непрерывными функциями, то очевидно из представления для определителя, что detA(x) также является непрерывной функцией.
Теорема 3.1.4. Пусть g : 7 ! , где и открытые множества в Rn. Предположим, что g взаимнооднозначное отображение класса C1, причем det g0(x) 6= 0, где g0 матрица Якоби. Пусть A и B = g[A] . Пусть f(y) заданная на B измеримая функция. Тогда f суммируема на B тогда и только тогда, когда функция f(g(x))jdet g0(x)j суммируема на A. При этом имеет место следующее равенство
ZZ
f(y)dy = f(g(x))jdet g0(x)jdx:
BA
Вчастности, при f 1 будем иметь
Z
(g[A]) = jdet g0(x)jdx
A
.
17
§ 3.2 Лемма об аппроксимации.
Пусть f : B(0; 1) 7 !B(0; 1) является непрерывным отображением, где B(0; 1) =
fx 2 Rn; jjxjj 1g. Для любого k положим
|
|
fk(x) = 1 k |
f |
1 + k ; x 2 B 0; 1 + k : |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
kx |
|
|
1 |
|
|
|
|
|
||||
Если x |
|
0; 1 + |
1 |
|
, то |
|
kx |
|
|
|
|
и, следовательно, fk(x), k = 1; 2; : : : корректно |
|||||||||||||
B |
|
|
|
1 |
|||||||||||||||||||||
k |
|
|
1+k |
|
|||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
видеть, |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
определены. Легко |
|
|
|
|
|
|
|
|
|
|
=) fk(x) : B 0; 1 + k |
7 !B |
0; 1 k |
|
|||||||||||
jjfk(x)jj = 1 k jjfjj 1 k |
: |
||||||||||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|||
Отображения fk(x), k = 1; 2; : : : непрерывны и более того |
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
fk(x) ! f; |
при k ! 1 равномерно на |
|
|
|
|
||||||||||||||||||
|
|
|
B(0; 1): |
|
|||||||||||||||||||||
Действительно, т.к. отображение f(x) непрерывно, то на компакте B(0; 1) будет рав-
номерно непрерывно, т.е. 8 > 0 9 > 0 такое, что
|
|
|
|
|
|
|
|
как только |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
jjf(x) f(y)jj < |
jjx yjj < |
|
|
8 x; y 2 B(0; 1): |
|
|||||||||||||||||||||||||||||
Далее, рассмотрим норму разности |
|
|
|
|
|
f |
1 + k |
f(x) |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
jjfk(x) f(x)jj = |
1 k |
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
kx |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
f |
kx |
|
|
1 |
|
|
|
|
kx |
|
|
|
|
|
|
|
|
|
|
kx |
|
|
1 |
|
(3.1) |
||||||||||
1 + k f(x) |
+ k |
f |
1 + k |
f 1 + k |
f(x) |
+ k : |
|||||||||||||||||||||||||||||
|
|
kx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
1+k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Положим y = |
|
|
и заметим, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
jjx yjj = 1 + k |
x = 1 + k 1 jjxjj 1 + k 8 x 2 B(0; 1); |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
kx |
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
jj |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
jj |
|
|
< , откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
следовательно, при k > имеем |
x |
y |
|
из (3.1) сразу вытекает, что |
|||||||||||||||||||||||||||||||
|
|
|
|
fk(x) ! f(x) |
равномерно на |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
B(0; 1): |
|
|
|
|
|||||||||||||||||||||||||
Рассмотрим теперь регуляризирующее ядро |
|
jj |
|
jj |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
!m(x) = |
8 |
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
< |
cme |
1 jjmxjj2 |
; |
|
|
x < |
1 |
; |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0; |
|
|
|
|
x |
|
|
|
|
m ; |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
jj |
|
jj |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
18
где постоянная cm определяется из соотношения |
|
|
Z !m(x)dx = 1 =) cm mn Zjjtjj<1 e |
1 jjtjj2 dt = 1: |
|
1 |
|
1 |
Легко заметить, что supp !m(x) B(0; m1 ) и !m(x) 2 C10 и
Z Z
!m(x y)dy = (t = y x) = !m( t)dt = (в силу четности !m) =
Rn Rn
|
|
Z |
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
!m(t)dt = |
|
|
1 |
!m(t)dt = 1: |
|
|
|
|
|
|
|||||||||||||||
|
|
Rn |
|
|
|
|
|
|
jjtjj< |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Положим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0; 1 + k |
|
||||
gmk (x) = ZBk !m(x y)fk(y)dy 8 x 2 B(0; 1); Bk = B |
: |
||||||||||||||||||||||||||
Заметим, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
||
m( |
)jj y2Bk jj |
( |
|
)jj |
ZRn |
m( |
|
|
) |
|
= 1 k |
|
|||||||||||||||
jj |
|
|
|
|
|||||||||||||||||||||||
|
gk x |
max |
|
fk y |
|
|
! |
|
|
x |
|
y |
dy |
|
|
1 |
; |
|
|
|
|||||||
т.к. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
fk : B |
|
7 !Bk |
= B 0; 1 k |
: |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, мы получаем, что
gmk (x) : B(0; 1) 7 !Bk
и является бесконечно дифференцируемым отображением как свертка бесконечно дифференцируемой функции и непрерывного отображения.
Покажем, что
gmk (x) ! fk(x) равномерно по x 2 B(0; 1):
Так как fk(x) является непрерывным отображением, следовательно, оно равномерно непрерывно на B(0; 1), т.е. 8 > 0 9 k > 0 такое, что
jjfk(x) fk(y)jj < как только jjx yjj < k 8 x; y 2 B(0; 1):
Рассмотрим норму разности |
|
|
!m(x y)fk(y)dy fk(x) |
|
|
jjgmk (x) fk(x)jj = |
Bk |
: |
(3.2) |
||
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
19
Будем рассматривать только те m, для которых m k, тогда supp !m(x y) Bm
Bk, т.к. при m k имеем 1 + m1 1 + k1 . Отсюда вытекает, что
|
ZBk |
|
|
|
|
|
|
|
|
|
Zjjx yjj< m1 |
|
|
|
|
|
|
|
|
|
|
|
(3.3) |
||||||||
|
|
!m(x |
|
|
y)fk(x)dy = fk(x) |
|
|
|
|
!m(x |
|
|
y)dy = fk(x): |
||||||||||||||||||
Из (3.2), (3.3) вытекает |
|
|
|
|
|
|
Bk !m(x y)[fk(y) fk(x)]dy |
|
|
|
|
||||||||||||||||||||
|
|
jjgmk (x) fk(x)jj = |
= |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Zjjx yjj< m1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
!m(x y)[fk(y) fk(x)]dy |
: |
|
|
|
(3.4) |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
m > |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Положим в (3.4) |
|
k |
. Тогда из (3.4) получаем |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
jj |
gmk (x) |
|
fk(x) |
jj jjx yjj< m1 < k jj |
fk(y) |
|
fk(x) |
jj Zjjx yjj< m1 |
|
|
|
||||||||||||||||||||
|
|
|
|
sup |
|
|
|
|
|
|
|
|
|
|
!m(x |
|
|
y)dy = |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
jjfk(y) fk(x)jj < : |
|
|
|
|
|
|
|
|
(3.5) |
|||||||||||
|
|
|
|
|
|
|
sup1 |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
jjx yjj< |
|
< k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Таким образом мы получили, что 8 > 0 9 k > 0 такое, что |
|
8 x 2 B(0; 1); |
|
||||||||||||||||||||||||||||
jjgmk (x) fk(x)jj < |
как только |
max |
k; k |
< m |
|
|
|||||||||||||||||||||||||
следовательно |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
gmk (x) ! fk(x) |
равномерно по x 2 |
|
(0; 1): |
|
|
|
|
|||||||||||||||||||||
|
|
|
B |
|
|
|
|
||||||||||||||||||||||||
Покажем теперь, что из построенных нами функций gmk (x), k; m = 1; 2 : : : можно выделить подпоследовательность, которая будет равномерно в единичном шаре аппроксимировать функцию f(x). Действительно,
jjgmk (x) f(x)jj = jjgmk (x) fk(x) + fk(x) f(x)jj jjgmk (x) fk(x)jj + jjfk(x) f(x)jj:
В то же время имеем, что 8 > 0 9 0 > 0 такое, что при k > |
1 |
|||||||||||
0 |
||||||||||||
jjfk(x) f(x)jj < |
|
|
|
|
|
|
|
|||||
8 x 2 B(0; 1); |
|
|||||||||||
|
|
|
|
|
||||||||
2 |
|
|||||||||||
далее 8 > 0 9 k > 0 такое, что при m > |
|
1 |
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
||||||
jjgmk (x) fk(x)jj |
|
|
|
|
|
|
|
|
|
|
||
< |
8 x 2 B(0; 1): |
|
||||||||||
|
|
|
||||||||||
2 |
|
|||||||||||
20
