CC BY
10
Владикавказский математический журнал 2012, Том 14, Выпуск 4, С. 63-72
УДК 517.518.8
ОБ ОПТИМАЛЬНОМ ВОССТАНОВЛЕНИИ ЛАПЛАСИАНА ФУНКЦИИ ПО ЕЕ НЕТОЧНО ЗАДАННОМУ ПРЕОБРАЗОВАНИЮ ФУРЬЕ
Е. О. Сивкова
Работа посвящена задаче оптимального восстановления дробной степени оператора Лапласа функции на К по приближенно известному в метрике Ьж ее преобразованию Фурье на некотором выпуклом множестве. Найден оптимальный метод восстановления. Этот метод не использует информацию о преобразовании Фурье за пределами некоторого шара с центром в нуле.
Ключевые слова: оптимальное восстановление, лапласиан, преобразование Фурье, выпуклая задача.
1. Постановка задачи и формулировка результата
Преобразование Фурье лапласиана А/ = ^^=1 достаточно гладкой и быстро убы-
вающей функции / на К* имеет вид
А/)(£) = —|£|2^/(О, £ = &) е К*,
где |£|2 = £2 + ... + £*. Это позволяет (по крайней мере формально) определить дробную степень оператора Лапласа: для каждого а > 0 оператор (—А)а/2 на «хороших» функциях в образах Фурье действует по правилу:
^(—А)а/2/(£) = |£|“(£), £ е К*.
Пусть &(К*) — пространство Шварца бесконечно дифференцируемых быстро убывающих функций на К* и &'(К*) — сопряженное пространство (пространство обобщенных функций). Положим для каждого а > 0
Ж“;2(К*) = { / е & '(К*) : ^/ е Ьте(К*), (—А)а/2/ е Ь2(К* )},
где ^ — преобразование Фурье в & '(К*), и
Ш“,2(К*) = {/ е Ж“;2(К") : ||(-А)“/2/||ы^) < 1}.
Пусть А — непустое подмножество К*. Предположим, что функции из Ш0, 2(К*) известны приближенно, а именно, о каждой функции / е Ша 2(К*) известна лишь функция д е Ь о (А) такая, что ||^/ — (А) ^ ^. По этой информации мы хотим
восстановить (по возможности, наилучшим образом) сами функции / из ШО, 2 (К*) и (—А)в/2/ (если в < а) в метрике Ь2(К*).
© 2012 Сивкова Е. О.
Любое отображение т: (А) ^ £2 (К*) объявляется методом восстановления
((—А)в/2/ по данной информации). Его погрешность определяем по формуле
Е((-А)в/2,Ш“ 2(К*),А,5) = е((—А)в/22(К*),А,5,т)
’ 'т ’
(где нижняя грань берется по всем методам т: (А) ^ ^(К*)) называем погреш-
ностью оптимального восстановления, а методы, на которых достигается нижняя грань, — оптимальными методами восстановления.
Первоначальная постановка задачи оптимального восстановления (но для линейных функционалов и в конечномерной ситуации) принадлежит С. А. Смоляку [1]. Идея отыскания оптимальных методов сразу для всех функций из данного класса восходит к работам А. Н. Колмогорова 30-х гг. прошлого века о наилучших методах приближения классов функций. Заметим, что с практической точки зрения естественно считать, что мы располагаем некоторой априорной информацией, которая и выделяет соответствующий класс функций. В дальнейшем тематика, связанная с оптимальным восстановлением, развивалась в разных направлениях. Определенное представление об этом можно получить из работ [2-8]. Задачи, близкие к той, которая изучается здесь, но для функций одного переменного (периодических и на прямой), рассматривались в работах [9, 10]. Что касается многомерного случая, то отметим работы [11, 12].
Перед формулировкой теоремы введем некоторые обозначения. Всюду далее В (ж, г) — замкнутый шар в К* с центром в точке х радиуса г > 0, а (ж, у) — скалярное произведение векторов х, у е К*.
Пусть А — подмножество К* и 0 е Ш А. Положим г а = 8ир{ г > 0 : В(0,г) С А }. Ясно, что 0 < Га < то, если А — собственное подмножество и Га = +то, если А = К*.
Для каждых а > 0 и 5 > 0 обозначим
где Г — гамма-функция Эйлера.
Теорема. Пусть 0 ^ в < а, 5> 0, А — выпуклое подмножество К* и Ш А = 0. Тогда справедливы утверждения:
1) если 0 е 1П А, то Е((—А)в/2,Ш,а, 2(К*),А, 5) =+то;
2) если 0 е Ш А, то
Метод
т (д)м = (2П?
где го = шш(га, г), является оптимальным.
Первое утверждение теоремы означает, что если 0 е ^ А, то погрешность любого метода бесконечна, и значит никаким способом нельзя восстановить соответствующий оператор на всем классе с конечной погрешностью.
Если 0 е А и преобразование Фурье функции / на А известно с точностью до
5 > 0, то погрешность оптимального восстановления уменьшается с ростом радиуса вписанного шара в А, но лишь до определенного предела: при га ^ Г эта погрешность постоянна. Таким образом, за пределами шара В(0, Г) информация о преобразовании Фурье функции из данного класса оказывается лишней. Оптимальный метод использует информацию о преобразовании Фурье только на шаре В(0, г0) и при этом, данную (полезную) информацию «сглаживает». Сам оптимальный метод есть (—А)в/2^>, где преобразование Фурье ^ совпадает со сглаженным наблюдением на шаре В (0, г0) и равно нулю за пределами этого шара.
Неравенство Га ^ Г можно переписать так: 52гА+2“ ^ 2*-1 п*/2Г(^/2)(^ + 2а), и его можно трактовать как своеобразный «принцип неопределенности», связывающий объем полезной информации (преобразование Фурье на шаре В(0, г0)) и погрешность ее измерения.
2. Доказательство теоремы
Начнем с оценки снизу величины погрешности оптимального восстановления E((-Д)в/2, W“,2(1d),A, 5). Покажем, что она не меньше значения следующей задачи
||(-Д)в/2/||L2(Rd) ^ max, ||F/ ||Wa) < 5, /^^,2(1'), (1)
т. е. верхней грани максимизируемого функционала в (1).
Пусть /о — допустимая функция в (1) (т. е. /о удовлетворяет ограничениям задачи). Тогда, очевидно, функция -/о также допустима и мы имеем для любого m: (A) ^
L2(1d) (m(0) — образ нулевой функции при отображении m)
2||(-Д)в/2/o||L2(Rd) < ||(-Д)в/2/о - m(0)|L2(Rd) + ||(-Д)в/2(-/о) - m(0)||
L2 (Rd)
^ 2 sup ||(-Д)в/2/ - m(0)|L2(Rd) < 2 sup ||(-Д)в/2/ - m(g)|L2(Rd).
f 6W“,2(Rd), ( ) f 6W“,2 (Rd ),g6LTO(A), ( )
llFf IIlto(A)<5 llFf-gllLTO(A)<5
Переходя слева к верхней грани по всем допустимым функциям в (1), а справа к нижней грани по всем методам m, получаем требуемое.
В образах Фурье, согласно теореме Планшереля, квадрат значения задачи (1) равен значению такой задачи
1
/ |£|2в|F/(£)|2 ^ max, ||F/||Lto(a) < 5,
(2n)d
1Rd , (2) ie|2“|F/(£)|2 < 1, / G W“,2(1d),
(2п)°
1) Докажем первое утверждение теоремы. Для этого, в силу полученной оценки снизу для погрешности оптимального восстановления, достаточно показать, что значение задачи (2) равно +то. Так как 0 е А, то согласно конечномерной теореме отделимости
(см., например, [13]), можно отделить нуль от выпуклого множества int A, т. е. существует такой вектор А = (Ai,..., Ad) G Rd, |A| = A 2 + ... + Ad = 1, что sup^6int a (A, £) ^ 0.
Но тогда, очевидно, справедливо и такое неравенство:
sup(A,£) < 0. (3)
£6A
Для каждого е > 0 рассмотрим шар B(eA, е/2), который, для краткости, обозначим Bе. Тогда Ве П A = 0, так как, если £ G Ве, то |£ — eA| ^ е/2, откуда легко выводится, что (A, £) > 0, и значит £ G A согласно (3). Пусть функция ^>е определена по формуле
¥>(£) = I ^ |П|2а d^ 1 , £ G Be’
U £ G Be.
Ясно, ^>e G L2(Rd). Положим / = F-1 ^>e. Эта функция допустима в задаче (2). Действительно, F/e = ^>е G Lqo(Rd) и понятно, что функция £ ^ |£|“F/e(£) принадлежит L2(Rd). Следовательно, (—А)“/2/е G L2(Rd), и значит / G Wo,2(Rd). Далее простая проверка показывает, что /е удовлетворяет остальным ограничениям задачи (2). Теперь, если £ G Ве, то ясно, что |£| ^ |£ — eA| + |eA| ^ 3е/2 и мы имеем
1 / I ^ |2Я| ^ ч |2 ^ 1
l£|2e|F/e(£)|2 d£ = -—d / |£|2в|^е(£)|2 d£
/ l£l2ed£ / l£l2al£l-2(a-e) d£ f 3ч-2(в-в)
B_________ = B______________________ > ( 3 ) е-2(а-в)
/ lnl2a dn / |nl2a dn ^ V2 е
B£ B£
откуда следует, устремляя е к нулю, что значение максимизируемого функционала в (2) может быть сделано сколь угодно большим. Это доказывает утверждение 1) теоремы.
2) Докажем второе утверждение теоремы. Начнем с оценки снизу величины E((—A)e/2, W0,)2(Rd), A, £). По доказанному ее квадрат не меньше значения задачи (2). Найдем значение этой задачи.
Пусть сначала га < г. Можно показать, что в этом случае у задачи (2) нет решения и поэтому мы поступим следующим образом: построим такую допустимую в (2) последовательность функций /n, n G N, которая сходится к значению задачи.
Из определения га следует, что граница шара В(0, га) и граница A имеют непустое пересечение. Если £о принадлежит этому пересечению (тем самым |£о l = га), то £0 G int A, и поэтому можно отделить £о от выпуклого множества int A, т. е. существует такой вектор A G Rd, lAl = 1, что sup^6int a (A, £) ^ (A, £0). Отсюда следует, что и suP£€a(A,£) ^ (A,£0). Теперь для каждого n G N положим £n = £0 + (1/n)A и заметим, что шар Bn = B(£n, 1/(2n)) не пересекается с A (если £ G Bn, то отсюда легко вытекает, что (A,£) > (A, £0), и значит £ G A).
Далее, нетрудно проверить, что для любых s > 0 и г > 0 справедливо равенство
/ I£|2' d£ = rd+2s' (4)
B(0,r)
Положим
Л2 Г
Y = ! — Ш 1 l£|2a d£.
B(0,rA)
Из (4) и определения г следует, что 7 > 0. Обозначим
Кп =
П
3/2
(2п)й Г(^/2 + 1)'
Это объем шара в Ж радиуса 1/(2п). Рассмотрим последовательность функций , п £ N определенных по формуле
(е) =
(2п)з/2 К—1/2(га + |п) °71/2, е
Є Вп
е є В(0,га);
0,
в остальных случаях.
Положим /п = ^-1^„, п £ N. Покажем, что функции /п допустимы в задаче (2). То, что /п £ ,2 (Ж) проверяется аналогично тому, как это было сделано выше для функций /е.
Далее, ^/„(£) = £, если £ £ В(0, га) и ^/„(£) = 0, если £ £ А \ В(0,га) и тем самым Н^ПНь^А) = ^.
Заметим теперь, что если £ £ Вп, то
|е| ^ е - &---------------А + £о + - А
п п
1 , - 3
^ 2п +|ео 1 + П = Га + 2П
и мы получаем і
(2п)
з/іеІ 2а І /К) І2і(, = (2^/|« І 2а І/(Є) I 2« + (2П? / ^/*) |2^
В — 2а
В(0,гЛ)
= К—1 I га +
(га+Ю 7/|е|2а ,ге+(2п)3 / |е|2а ^
Вп В(0,гА)
52
—2а
2а
(5)
|е|2а ^е
В(0,ГА)
= 7 +
I |е|2а = 1.
■1 В(0,г А)
(2п)3 ■/В(0,ГА)
Таким образом, последовательность функций /п, п Є Н, допустима в задаче (2).
Перейдем теперь к нахождению значения этой задачи. Сопоставим задаче (2) функцию Лагранжа, определенную на 2(^3) формулой
^(/)= (21)з/ (-|е|2в + Р(е) + А|е|2а)|*7(е)|2 ^е,
(6)
л —2(а—в)
где А = г а
|е|2в - А|е|2а, е Є в(0,га);
Р(е) =
0,
е є В(0,га).
Оценим сверху значение задачи (2). Учитывая, что функция р неотрицательна на ЖЛ и что ^(/) ^ 0 (поскольку неотрицательно выражение в скобках под знаком интеграла
5
2
5
и
в (6)), будем иметь для любой допустимой функции / в (2)
1 Г 1£12в|*/(£)|2 ^£ < 11£12в 1*7(£)12 й£
(2п)й У 141 1 ^ 4 ^ (2п)й ,
р(£)(1*/(£)|2 - 62) й£ - а( |£|2“|*/(£)|2 ^£ - 1
62 / 62 Г
= -^(/) + (2Л)1 У р(£) й£ + А ^ (2Л)^ У р(£) й£ + А,
т. е. значение задачи (2) не превосходит величины
б2
(2п)с
р(£) й£ + А. (7)
Покажем, что это и есть значение задачи (2). Действительно, для любого п справедливо легко проверяемое равенство
^У |£|2в|*/п(£)|2^£ = -^(/„) + ^Ур(£)(|/(£)|2 - 62) ^£
^ (8) + А( (2^/1£|2”|*/п(£)|2<*£ - Ч + (2Пу/р(«)■*£ + А'
Второе слагаемое справа равно нулю, так как */(£) = 6 на шаре В(0,га), а вне этого шара функция р равна нулю. Если мы покажем, что первое и третье слагаемые справа стремятся к нулю при п ^ то, то переходя в (8) к пределу при п ^ то, получим, что на последовательности /п максимизируемый функционал в (2) сходится к величине (7), и значит, эта величина (с учетом доказанной оценки сверху) есть значение задачи (2).
Итак, рассмотрим первое и третье слагаемые справа в (8). Согласно определению последовательности /п и учитывая, что функция в скобках под знаком интеграла в (6) равна нулю на В(0, га), получаем, что
^ (/) = (2Лр/ (-|£|2в+р(£) + а|£|2“ )/(£)|2 ^£
= V-1 (га + 2п) 11 ( - |£|2в + А|£|2а) ^£
Вп
Если £ £ В , то
га = |£о| < |£| +
(9)
1 1
£ о 1 £ + 1 >- + - А
п п
1 1
2п п
и поэтому |£| ^ Га - 2П. Используя это, приходим к оценке
У |£|2в|/(£)|2 й£ ^ (га - ^
Вп
Выше было отмечено, что если £ £ Вп, то | £ | ^ га + 2: и поэтому аналогично получаем
2n
оценку
о \ 2а |2 — - ' 3
Меняя в первой оценке знак на противоположный и затем складывая эти оценки, приходим, продолжая (9), к неравенству
ч ^ I I э\-2V ^2в 3^-2V 2а
L(/n) < ч( - (Га + 2^) (га -2^) + МГа + 2n) (Га + 2П
Так как А = г^2(а в), то последовательность справа стремится к нулю при n ^ то. Но L(/n) ^ 0 (ранее было отмечено, что L(/) ^ 0 вообще для всех функций / £ Woo,2(Rd)), и значит L(/n) ^ 0 при n ^ то.
Покажем теперь, что третье слагаемое в (8) стремится к нулю при n ^ то. Рассуждая так же как при доказательстве (5), получим, что
/к|2а lF/.(fl|2« > (га + £)"2“Y (га -2n)2а + (4 / |e 1 2аd«.
Rd В(0,га )
Последовательность справа стремится к единице при п ^ то. Это означает, что последовательность в скобках в третьем слагаемом справа в (8) оценивается снизу последовательностью, стремящейся к нулю. Но последовательность в скобках неположительна в силу (5) и тем самым она сама стремится к нулю при п ^ то. Итак, первое и третье слагаемые в (8) стремятся к нулю при п ^ то и значит, величина (7) — значение задачи (2).
Согласно доказанному выше погрешность оптимального восстановления £((-Д)в/2,^“2(Жй),А,6) не меньше корня квадратного из значения задачи (2). Если в (7) подставить выражения для р и А и воспользоваться формулой (4), то получим оценку снизу для Е((-Д)в/2,^а2(Мй),А, 6), которая указана в теореме для случая, когда г а < г.
Пусть теперь га ^ г. В этом случае задача (2) имеет решение / и оно таково: */(£) = 6, если £ £ В(0,А) и */(£) = 0, если £ £ В(0, г). Действительно, пусть А и А определены аналогично предыдущему, но с заменой га на А и определена соответствующая им функция Лагранжа по формуле (6). Как и раньше, легко проверяется, что ^(/) ^ 0 для любой функции / £ W“2(Жd) и нетрудно проверить, что ^(/) = 0. Наконец, используя (4), легко видеть, что
|/(а|2 * = (j^ / кг * = 1. (10)
Rd B(0,f)
Учитывая все эти факты, будем иметь для любой допустимой в задаче (2) функции /
1£ |2в |*/(£) |2<*£ < рП_/|£|2в|*/(£)|2<*£ - р^/гШ*/(£)|2 -6'2)
а
- А( (2^/|£|2”|*/(£)|2 <*£ - Ч = -^(/> + (^ / А(£) <*е + А « -^(/)
+ (^/А(£> <*£ + А =<2^1 |£|2в 1*-А(£>12 « - А(£К 1*А£)Г - 62К
А
I2 \2)
+ А 1/(«>|2* - 1 = (£?/|«|а’1*А(«>|2*■
т. е. / — решение задачи (2). Ее значение (учитывая (10)) равно
(2^/1 £ | 2в|/(£)|2^ = (2П)^ / | « | 2в^
В(0,г)
62 ( ^ ^ 62 Г ^
'' ^ - А|£|2“) ^£ + А = 7—1 А(£) ^£ + А.
(2п)й У (2п)й
В(0,г)
По доказанному погрешность оптимального восстановления оценивается снизу корнем квадратным из этой величины. Если подставить сюда выражения для АА и рА, то получим указанную в теореме оценку снизу для Е((-Д)в/2, ^^^(Ж^), А, 6) для случая га ^ А. Заметим, что оценка для Е((-Д)в/2, ), А, 6) при га < А переходит в данную при
га = А.
3) Теперь докажем оценку сверху для погрешности оптимального восстановления и оптимальность указанного в теореме метода восстановления.
Оптимальность метода т означает, по определению, что его погрешность равна погрешности оптимального восстановления, т. е. значение задачи
||(-Д)в/2/ - т(5>^ь2(м^) ^ max, ||*7 - д||ьте(А) < 6,
/2 II Л (11)
||(-Д)а/2/||£2(Ж) < 1, д £ Ьо(А), / £ W“)2(Rd),
равно Е((-Д)в/2, ^“,2(ЖЙ>, А, 6).
Оптимальный метод будем искать среди линейных отображений т: Ьоо (А) ^ Ь (Жй), которые в образах Фурье действуют по правилу *т(д) = ад, причем функция а £ Ьо(Жй) такова, что а = 0 вне В(0, Го). Пусть т — отображение такого вида. Оценим сверху максимизируемый функционал в (11). Согласно теореме Планшереля его квадрат запишется так:
1 У ||£|в */(£) - а(£)д(£)|2 ^£ / |£|2в |*/ (£)|2 ^£. (12)
(2п)й У (2п)й
|£|<го |£|^го
Преобразуем выражение под знаком первого интеграла, а затем оценим его по неравенству Коши — Буняковского
|| е Iв*/(О - а(Ше)|2 = 4= (е) - Ж)) + |е |“*/(е)
\/№) V А|е|“
« (^Ц2 + 11е|;'А|-°(е)|^ (АК)1*7(е) -9(е)12 + А1е12аI*/(е)12).
где А = А, А = Р, если га < г и А = А, А = А, если га ^ г.
Нетрудно убедиться, что для каждого е минимум выражения
И2 + 11е1в - а|2
(13)
Р(е) А | е |2а
по а достигается в точке
А«) = 1е|в( 1 -(^р) (14)
и сам этот минимум равен единице.
Возьмем в качестве функции а функцию, определенную последним соотношением. Тогда интегрируя (13) с учетом сказанного, а также учитывая первое ограничение в (11), получаем оценку для первого слагаемого в (12)
л2 г- _ 1 /•
А(е) ^ + А-^7 |е|2аI*/(е)|2 ^е-
(2п)й У (2п)й
|£|<го |£|<го
Второе слагаемое оцениваем так
1 ‘ 1е12вI*/(е)12 ^е = * / 1е12(в-а) 1е12аI*/(е)12 ^е
(2п)й У (2п)й и
|£|^го |£|^го
< рЛр у ш2”^/(е)^ с
|£|^го
Складывая эти оценки, применяя теорему Планшереля и учитывая второе ограничение (11) получаем для квадрата максимизируемого функционала в (12) следующую оценку сверху
^2 г- Ас
А(е) ^ + 77Г^ !еГ I*/(е)Р ^
(2п)й У ' (2п)
|£|<го
£2 ( Гп , . N а/2 „ 112 , ^2
(2п)й У ц 11^ ' ^2№ ^ (2п)й
|£|<го |£|<го
По доказанному выше величина справа не превосходит квадрата погрешности оптимального восстановления. Следовательно, погрешность метода т из формулировки теоремы (который в образах Фурье есть умножение на функцию, равную (14) на шаре В(0,го) и нулю вне его) не превосходит погрешности оптимального восстановления, и значит совпадает с ней. Таким образом, получено указанное в теореме выражение для погрешности
2
оптимального восстановления и показано, что метод m является оптимальным. Теорема доказана.
Автор выражает искреннюю благодарность Г. Г. Магарил-Ильяеву за внимание к работе и рецензенту за полезные замечания.
Литература
1. Смоляк С. А. Об оптимальном восстановлении функций и функционалов от них: Дис... .канд. физ.-мат. наук.—М.: МГУ, 1965.
2. Micchelli C. A., Rivlin T. J. A survey of optimal recovery // Optimal Estimation in Approx. Theory.— New York: Plenum Press, 1977.—P. 1-54.
3. Melkman A. A., Micchelli C. A. Optimal estimation of linear operators in Hilbert spaces from inaccurate data // SIAM J. Numer. Anal.—1979.—Vol. 16.—P. 87-105.
4. Traub J. F., Wozniakowski H. A General Theory of Optimal Algorithms.—New York: Academic Press, 1980.—xiv+341 p.
5. Micchelli C. A., Rivlin T. J. Lectures on optimal recovery // Lecture Notes in Math.—Berlin: Springer-Verlag, 1985.—Vol. 1129.—P. 21-93.
6. Арестов В. В. Наилучшее восстановление операторов и родственные задачи // Тр. Мат. ин-та АН СССР.—1989.—Т. 189.—С. 3-20.
7. Магарил-Ильяев Г. Г., Осипенко К. Ю. Об оптимальном восстановлении функционалов по неточным данным // Мат. заметки.—1991.—Т. 50, № 6.—С. 85-93.
8. Магарил-Ильяев Г. Г., Тихомиров В. М. О неравенствах для производных колмогоровского типа // Мат. сб.—1997.—Т. 187, № 12.—С. 73-106.
9. Магарил-Ильяев Г. Г., Осипенко К. Ю. Оптимальное восстановление функций и их производных по коэффициентам Фурье, заданным с погрешностью // Мат. сб.—2002.—Т. 193, № 3.—С. 79-100.
10. Магарил-Ильяев Г. Г., Осипенко К. Ю. Оптимальное восстановление функций и их производных по приближенной информации о спектре и неравенства для производных // Функц. анализ и его прилож.—2003.—Т. 37.—С. 51-64.
11. Магарил-Ильяев Г. Г., Осипенко К. Ю. Оптимальное восстановление производных на соболевских классах // Владикавк. мат. журн.—2003.—Т. 5, вып. 1.—С. 39-47.
12. Магарил-Ильяев Г. Г., Сивкова Е. О. Наилучшее восстановление оператора Лапласа функции по ее неточно заданному спектру // Мат. сб.—2012.—Т. 203, № 4.—С. 119-130.
13. Магарил-Ильяев Г. Г., Тихомиров В. М. Выпуклый анализ и его приложения (3-е изд.).—М.: Либроком, 2011.—176 с.
Статья поступила 28 мая 2012 г.
СивковА Елена Олеговна
Московский государственный технический университет радиотехники, электроники и автоматики, старший преподаватель
РОССИЯ, 119454, Москва, пр. Вернадского, 78 E-mail: [email protected]
ON OPTIMAL RECOVERY OF THE LAPLACIAN OF A FUNCTION FROM ITS INACCURATELY GIVEN FOURIER TRANSFORM
Sivkova E. O.
The paper is devoted to the problem of the optimal recovery for a fractional power of the Laplacian of a function from its inaccurately given Fourier transform in metric Lx on some convex subset of Rd. The optimal recovery method is constructed. This method is not used the information about the Fourier transform outside some ball centred at the origin.
Key words: optimal recovery, Laplacian, Fourier transform, convex problem.
Владикавказский математический журнал 2012, Том 14, Выпуск 4, С. 73-82
517.983
USING HOMOLOGICAL METHODS ON THE BASE OF ITERATED SPECTRA IN FUNCTIONAL ANALYSIS
E. I. Smirnov
We introduce new concepts of functional analysis: Hausdorff spectrum and Hausdorff limit or H-limit of Hausdorff spectrum of locally convex spaces. Particular cases of regular H-limit are projective and inductive limits of separated locally convex spaces. The class of H-spaces contains Frechet spaces and is stable under forming countable inductive and projective limits, closed subspaces and quotient spaces. Moreover, for H-space an unproved variant of the closed graph theorem holds true. Homological methods are used for proving of theorems of vanishing at zero for first derivative of Hausdorff limit functor: Haus1 (X) = 0.
Key words: topology, spectrum, closed graph theorem, differential equation, homological methods, category.
Introduction
The study which was carried out in [1-2] of the derivatives of the projective limit functor acting from the category of countable inverse spectra with values in the category of locally convex spaces made it possible to resolve universally homomorphism questions about a given mapping in terms of the exactness of a certain complex in the abelian category of vector spaces. Later in [3] a broad generalization of the concepts of direct and inverse spectra of objects of an additive semiabelian category G (in the sense V. P. Palamodov) was introduced: the concept of a Hausdorff spectrum, analogous to the £s-operation in descriptive set theory. This idea is characteristic even for algebraic topology, general algebra, category theory and the theory of generalized functions. The construction of Hausdorff spectra X = {Xs, F, hs/s} is achieved by successive standard extension of a small category of indices ^. The category H of Hausdorff spectra turns out to be additive and semiabelian under a suitable definition of spectral mapping. In particular, H contains V. P. Palamodov’s category of countable inverse spectra with values in the category TLG of locally convex spaces [1]. The H-limit of a Hausdorff spectrum in the category TLG generalizes the concepts of projective and inductive limits and is defined by the action of the functor Haus : H ^ TLC. The class of H-spaces is defined by the action of the functor Haus on the countable Hausdorff spectra over the category of Banach spaces; the closed graph theorem holds for its objects [8] and it contains the category of Frechet spaces and the categories of spaces due to De Wilde [7], D. A. Rajkov [5] and Suslin [6]. The H-limit of a Hausdorff spectrum of H-spaces is an H-space [7]. There are many injective objects in the category H and the right derivatives Haus* (i = 1,2,...) are defined, while the “algebraic” functor Haus : H (L) ^ L over the abelian category L of vector spaces (over R or C) has injective type, that is if 0 ^ X ^ Y ^ Z is an exact sequence of mappings of Hausdorff spectra with values in L, then the limit sequence 0 ^ Haus(X) ^
© 2012 Smirnov E. I.
Haus(Y) ^ Haus(Z) is exact or acyclic in the terminology of V. P. Palamodov [2]. In particular, regularity of the Hausdorff spectrum X of the nonseparated parts of Y guarantees the exactness of the functor Haus : H(TLC) ^ TLC and the condition of vanishing at zero: Haus^X) = 0. The classical results of Malgrange and Ehrenpreis on the solvability of the unhomogeneous equation p(D)D' = D', where p(D) is a linear differential operator with constant coefficients in Rn and D' = D'(S) is the space of generalized functions on a convex domain S C Rn, can be extended to the case of sets S which are not necessarily open or closed. Analogous theorems for Frechet spaces were first proved by V. P. Palamodov [1-2].
1. We recall certain definitions and theorems which are used in this chapter and which were brought into the discussion in [3-6]. Let 0 be a small category. By a directed class in the category we mean a subcategory satisfying the following properties:
(i) no more than one morphism is defined between any two objects;
(ii) for any objects a, b there exists an object c such that there exist a ^ c and b ^ c.
Let A be some category and s denotes the object of a category A (if Q e 0 and a, b e Q
we will denote the corresponding morphisms of category 0 by a —^ b). We shall call the category B with objects S, where S is a subcategory of A, a standard extension of the category A if the following conditions are satisfied:
1°. A is a complete subcategory of B;
2°. The morphism wss' : S' ^ S of the category B is defined by the collection of
morphisms wss' : s' ^ s (s' s) of the category A such that
(a) for every s' e S' there exists s e S such that s' —' s;
w W / vS'
(b) if s' —^ s, p' —^ p, s —^ p, then there exists a morphism s' —^ p' and the following
diagram is commutative:
S
s -------> p
' S' '
s' -------> p'
We will establish the successive standard extensions of categories
0(s) C B(T) C E(F) ^ £0(F) C D(F),
where T C 0 denotes directed classes of objects s G 0, coincides as object of category B;
F, F e B, denote filter bases of sets T e B, considered as objects of category X, and F, F C X, denote directed classes of objects F e X of the dual category X0, considered as objects of category D. We shall say that such classes F are admissible for 0; put |F| = (JTgF T, |F| = (JFgF |F|, so that |F| C 0 and |F| C 0. The most characteristic constructions connected with Hausdorff spectra use in the role of the small category 0 = Ord I, where I is a partially ordered set of indices, considered as category.
Example 1 (standard extension of the category A). Let G and A be categories, T(F) the category of covariant functors F : G ^ A with functorial morphism $ : Fi ^ F2 defined by the rule [2] which assigns to each object g e G a morphism $(g) : F1(g) ^ F2 (g) of the category A such that for any morphism w : g ^ h of the category G the following diagram is commutative
Fi(h) ——F2 (h)
Fi(u)
F2(u)
It is clear that each object s e A generates a covariant functor Fs : g e G ^ s e A such that A C T. Moreover, A is a complete subcategory of T.
We will show that T provides a standard extension of the category A (by means of the category G). Let F e T and S C A be such that S = UgeGF(g) and for s', s e S the set of morphisms Hom(s',s) = UwF(w), where w : g ^ h and s' = F(q), s = F(h). Therefore the category B is defined, where S is a subcategory of A and the morphisms wSS' : S' ^ S of the category B are generated by the collection of functorial morphisms $ : F' ^ F, where F' e T generates S', while F generates S according to the method indicated above.
If we take such a functorial morphism $ : F' ^ F, then the morphisms $(g) : F'(g) ^ F(g) (g e G) of the category A form a collection of morphisms wss' : s' ^ s (s' = F' (g), s = F(g)) such that (a) is satisfied. Condition (b) follows from consideration of the definition of the functorial morphism.
Thus, B is a standard extension of the category A. If G = Ord I, where I is a linearly ordered set, then T = B(S).
Example 2 (Palamodov [1]). The categories of direct and inverse spectra over a semia-belian category K are standard extensions of the category K.
Example 3 (construction of an admissible class for 0). Let T be a separated topological space and 0 a countable set. We shall call a set A C T an s-set if
A = U Pi T« >
BeK teB
where Tt (t e 0) is a subset of T and K is the family of subsets B of the set 0 such that
(a) for each B e K the set TB = nteBTt is compact in T,
(b) the sets TB (B e K) form a fundamental system of compact subsets of A.
Proposition 1. Every separable metric space is an s-set.
Proposition 2. Let A be a subset of the finite-dimensional space Rn. Then A is an s-set and moreover
A = U flT<- (1)
BeK teB
where the Tt are compact subsets of Rn.
Thus, s-sets are a generalization on the one hand of compact spaces (and locally compact spaces which are countable at infinity) and on the other of separable metric spaces. However, s-sets will be of interest to us in connection with the possibility of constructing the associated functor of a simple Hausdorff spectrum.
Let A be some s-set, so that
A = U flT‘,
BeK teB
where Tt C T, B C 0. We may assume without loss of generality that the family Q of subsets Tt (t e 0) is closed with respect to finite intersections and unions (that is, there exist corresponding surjections $s, ^s : d(0) ^ 0, where d(0) is the set of finite subsets of 0).
The set 0 will be partially ordered if we put t' ^ t whenever Tt C Tt'; let G = OrdQ. Further, we may assume that each set B e K is directed in (0, ^). Let I be the factor set of all possible complexes s = [t1, t2,..., tn], where t* e |K |, t* = pr*s (i = 1,2, ...,n, n e N), with respect to the equivalence relation on the set of ordered n-tuples of elements of |K | : (t1,t2, ...,tn) ~ (ti, t2,..., tn) if and only if {t1,t2, ...,tn} = {ti, t'2,..., t^}. The set I becomes partially ordered if we put s' ^ s, where s = [t1, t2,..., tn], s' = [ti, t'2,..., tn], whenever for each t* there exists tj such that tj ^ t*; let 0 = Ord I.
By continuing the construction following the method of transformation of indices we will construct an admissible class F for fi. For each s = [ti, - - - , ] G |F| the subset
= U3=1 is defined and moreover if s' ^ s then Rs c Rs'. Thus a contravariant functor of the simple Hausdorff spectrum H(A) : |F | — G is defined and moreover
a = u n
FSF sSF
(2)
It is an essential point that I is a countable set and the family { P|f Rs} is a fundamental system of nonempty compact subsets of A.
Let G be some category. We shall call a covariant functor Hf : fi — G a Hausdorff spectrum functor if fi = |F | for some admissible class F G D. If F = |F | then Hf is a functor of the direct spectrum, while if F = {|F|} (that is, F consists of a single element |F| = |F|) then HF is a functor of the inverse spectrum.
If F is an admissible class for fi and the functor
Hf : <
|F| — G, s i—— Xs,
(s' ——— s) — (X s — Xs' ^
-1/ WFF'
(F' ——— F) — ((Xs)sS|F | — (Xs' )s' S|F'|)
is injective on objects and morphisms (in the set-theoretic sense), then there exists a directed class
((Xs)se|F|,qFF')F)F' G F
of classes (Xs, Hs/s)s s/e|F| (F G |F|) which are directed in the dual category G0 and which satisfy the following conditions.
1°. The morphism Xs —— Xs' is chosen and fixed if and only if the morphism s' s is chosen and then hs's : Xs — Xs' is the only morphism.
2°. The diagram
Xs
Xs
Xs
Xs
is commutative for all s'' s's'' J ss
-s' s'' ' -ss'
s' s.
3°. If (Xs)ss|F| : Xs
9——— (Xs')s'S|f'|, then for each Xs' (s' G |F'|) there exists a unique
— Xs (s G |F|). The collection of morphisms hs's (s' G |F'|) defines
morphism hs's
the morphism qF'F so that we shall write qF'F = (hs's)F'F. Each set F G F is a filter base of subsets T c |F| and moreover for each T G F the class (Xs,hs's)T is directed in the category G0.
Definition 1. We shall call a class (Xs, Hs's)s s'S|F| satisfying conditions 1°-3° a Hausdorff spectrum over the category G and we shall denote it by {Xs, F, hs's}.
The direct and inverse spectra of a family of objects are particular cases of Hausdorff spectra: it suffices to put F = |F|, hs's = qF'F in the direct case and F = {|F|}, hs's : Xs — Xs' (s' — s), qF'F = i|F| = i|F| in the inverse case.
Under a suitable definition of spectral mapping (see the structure of the category D(F)) the set of Hausdorff spectra over G forms a category which we denote by Spect G. If X =
h
hs' s''
S' s
{Xs, F, hs/s}, Y = {Yp, F 1,hp/p| are objects from Spect G, then we shall say that two Hausdorff spectrum mappings : X u Y and X : X u Y are equivalent if for any F £ F there exists F* £ F1 such that the diagram
Xs
hp *p
Yp/ --► Yp*
is commutative for any p* £ |F* |.
Now let us consider a new category H(G) whose objects are the objects of the category Spect G, but the set Hom# (X, Y) is formed by the equivalence classes of mappings : X u Y. We shall denote such classes by ||wYX||.
For any objects X, Y, Z £ H the law of composition defines a bilinear mapping
HomH (X, Y) x HomH (Y, Z) u Hom# (X, Z)
(Hom#(X, Y) is an abelian group).
Definition 2. Let X = {Xs, F, hs/s} be a Hausdorff spectrum over the category G. We shall call an object Z of the category G a categorical H-limit of the Hausdorff spectrum X over G if for any objects A, B £ G and spectral mappings A —U X —► B there exists a
unique sequence in G A
Z
£
B such that the diagram A —^ X
Z
B
is commutative in the category Spect G.
The concepts of projective and inductive limits over the category G are special cases of categorical H-limits. For example, let X be the inverse spectrum of objects from G. Then (Lim) holds and moreover any object Xs from X can be taken for B £ G with the identity morphism bs : Xs u Xs forming the spectral mapping bs : X u Xs (s £ |F|). Thus the following diagram is commutative
A —^ X
Z
£
X
where b = (bs), P = (Ps), : Z u Xs (s £ |F|), b is the identity morphism of the category
Spect G. Therefore the diagram
A —^ X
Z
£
X
is commutative for any object A £ G.
The categorical H-limit of a Hausdorff spectrum (the functor Haus) exists in any semi-abelian category G with direct sums and products (for example, the category of vector
LU
p s
b
a
b
a
a
spaces L, the category TLC of topological vector groups, the category TLC of locally convex spaces).
Let 0 be a countable set and X = {Xs, F,hs/s| a regular Hausdorff spectrum in the category TLC; such a spectrum is said to be countable. A continuous linear image in the category TLC of an H-limit X = lim^ Xs of Banach spaces Xs (s £ |F |) is called an H-space. The class of H-spaces contains the Frechet spaces and is stable with respect to the operations of passage to countable inductive and projective limits, closed subspaces and factor spaces. Moreover, a strengthened variant of the closed graph theorem holds for H-spaces. The class of H-spaces is the broadest of all the analogous classes known at this time, namely those of Rajkov, De Wilde, Hakamura, Zabrejko-Smirnov. A countable separated regular H-limit of a Hausdorff spectrum of H-spaces in the category TLC is an H-space [7].
Throughout this chapter Hausdorff spectra are assumed to be countable unless the contrary is explicitly stated.
2. Let Haus : H(TLC) 4 L be the covariant additive Hausdorff limit functor from the semiabelian category H(TLC) to the abelian category L of vector spaces (over R or C). We recall [11] that by an injective resolvent I of an object X £ H(TLC) we mean any sequence
0 —► Io -4 Ii -4 ...,
formed by injective objects and exact in its members Ik, k ^ 1, with ker i0 = X. Any two injective resolvents of the same object are homotopic to each other. Since there are many injective objects in the category H(TLC) [3], each object of this category has at least one injective resolvent. The right derivatives of the Hausdorff limit functor Haus are defined by the formula
Hausk(X) = Hk(Haus(I)) (k = 0,1,...),
where X £ H (TLC), I is any injective resolvent of X, Haus(I) is the complex of morphisms of the category L obtained by application of the functor Haus to each morphism of the complex I, and Hk(Haus(I)) (k = 0,1,...) are the homologies of the complex Haus(I). Each morphism X 4 Y of the category H(TLC) is covered by a morphism I 4 Y of the injective resolvents of the objects X and Y (see [11, Chapter V, § 1]). From this follows the existence of morphisms Hausk (X) 4 Hausk (Y) so that the objects of Hausk(X) do not depend on the choice of injective resolvent. On the other hand the functor Haus has injective type [3, p. 88], therefore the canonical isomorphism of functors holds:
Haus = Haus0.
Proposition 3. For every free Hausdorff spectrum E £ H(L)
Haus*(E) = 0 (i = 1,2,...).
We now compute the derived functors Haus* (i ^ 1) in the following way (see [2, 10]). Let X = {Xs, F, hss} be an arbitrary Hausdorff spectrum and E the free Hausdorff spectrum with generators Xs (s £ |F|). Let us consider the sequence of Hausdorff spectrum mappings
0 —► X —4 E E —► 0, (D)
in which the components of the mapping (i.e. the collection (wTsT)Tg|^(F)|, where
st £ T is the unique maximal element in T with respect to the direction relation) act
according to the formula wTst : xsT 4 (hsstxsT )s/eT, while the Hausdorff spectrum mapping wee : E 4 E is formed by means of the morphisms (Tn is a cofinal right-filtering sequence)
WT*Tn : (xs)sSTn 4 (xs* — hs*STnXstJs*eT*
for any T*, T„ £ F, F £ F, To = 0, Tn— C T* C Tn, STn C T* (n = 1, 2,...).
It is now clear that the sequence (D) is exact; following V. P. Palamodov [2] we shall call the sequence (D) the canonical resolvent of the Hausdorff spectrum X.
Applying the functor Haus to the canonical resolvent (D) we obtain the sequence of locally convex spaces
0 4 Haus(X) 4 ®n Xs 4 ©n Xs ,
F F F F
where 0fWf Xs is the direct sum of the products of the Xs (s £ |F |) under the natural inductive limit topology; this sequence is acyclic and moreover exact from the left.
Proposition 4. Let Haus : H(TLC) 4 L and let
0-----X ——4 Y -——4 Z----------->0 (D')
be an exact sequence of Hausdorff spectra. Then the following exact connecting sequence is defined in the category L (£1 (i = 1, 2,...) are the connecting morphisms):
0 —4 Haus(X) —^ Haus(Y) —4 Haus(Z) —4 Haus1 (X)
Xi— 1 — Xi
—4 ... —4 Haus*-1 (Z) ——4 Haus*(X) ——4 Haus*( Y) ——4 Haus*(Z) —— ...
3. In [1] and [2] V. P. Palamodov established the fundamental Theorems 11.1 and 11.2 giving necessary and sufficient conditions for the vanishing at zero Pro1 (X) = 0 for the functor Pro of the projective limit of a countable family of locally convex spaces. We aim to establish analogous conditions for the vanishing at zero Haus1 (X) = 0 for the Hausdorff limit functor and for the not necessarily countable case.
We recall that in questions concerning the stability of the class of H-spaces with respect to Hausdorff limits and also in the theorem about the representation of H-spaces by means of Banach spaces the assumption of regularity of the Hausdorff spectrum was an important condition. Here it will be necessary to impose the following condition. Let X = {Xs, F, hs/s}T be a Hausdorff spectrum of locally convex spaces and for each T £ F let VJ C nf Xs be defined by
VF = <^ x = (xs) £ Xs : £s> = hssXs, s,s' £ T L
F
equipped with the projective topology with respect to the preimages n-1ts (s £ T), where ns : Xs 4 Xs is the canonical projection. The corresponding; base of neighborhoods of
zero for the projective topology generates the TVG (f|FXs,CT(T)) (T £ F).
Let us form the TVG (HF Xs,CT(F)) with base of neighborhoods of zero V^ (T £ F). The Hausdorff spectrum X is said to be regular if (nFXs,CT(F)) satisfies the condition: convergence of a net (a7)7eP in the TVGs(Hf Xs,a(T^ (T £ F) implies its convergence in the TVG( nF Xs,a(F)). If every Xs (s £ |F|) has the indiscrete topology, then it is not difficcult to see that the first part of the condition for regularity is equivalent to completeness of ( Uf Xs^(F)).
Theorem 1. Let X be a regular Hausdorff spectrum of nonseparated parts over the category TLC. Then Haus1 (X) = 0.
If Y is a regular Hausdorff spectrum over TLC and X is the Hausdorff spectrum of nonseparated parts, then it is easy to see that X is also a regular spectrum. In fact, bear-cng in mind the remark before the theorem, it is sufficient to establish the completeness of (nF Xs,CT(F)); this TVG is embedded in the corresponding TVG (f|F Ys,o1F)). If (aY)7eP is fundamental under 0(F), then aY £ aY0 + V^ (V T £ F, 7 >- y(T), y0 >- 7(T)) and because of the closedness of V^ in the latter TVG we obtain the inclusion (a* = limP aY)
a* — a7o £ VfT (VT £ F, 70 ^ 7(T)),
which also implies the convergence of (aY) to a* in (f|F Xs,0(F)).
Thus, in the enunciation of Theorem 1 regularity of the Hausdorff spectrum X can be replaced by regularity of the Hausdorff spectrum Y.
Theorem 2. Let Y be a regular Hausdorff spectrum, X the Hausdorff spectrum of nonseparated parts of Y and 0 4 X 4 Y 4 Y/X 4 0 an exact sequence of Hausdorff spectra. Then the sequence 0 4 Haus(X) 4 Haus( Y) 4 Haus( Y/X) 4 0 is exact in the category L.
Let us continue our consideration of the question of exactness of the functor Haus : H(TLC) 4 L for an arbitrary exact sequence of Hausdorff spectra 0 4 X 4 Y 4 Z 4 0. From the proofs given above it is clear that a sufficient condition for the vanishing at zero Haus1 (X) = 0 is the completeness of the TVG Xs , o*F)) for each F £ F (see Proposition 7.1 of [3]), where I*F) is formed by the filtering V^ with respect to T. At the same time each space V^ is endowed with the linear topology defined by the inverse image supT n-1Ts (T £ F) forming at the same time the TVG (nF Xs, 0(F)) so that the TVG Cnf Xs, o(F)) is not in general metrizable. It turns out that completeness of the TVG (nF Xs ,o*f)) is also a necessary condition for the vanishing at zero Haus1 (X) = 0.
Proposition 5. Let X = {Xs, F, hs/s} be a countable Hausdorff spectrum over the categcry L. Then in order that Haus1 (X) = 0 it is necessary and sufficient that the TVG nF Xs,o*F)) is complete for each F £ F.
Theorem 3. Let X = {Xs, F, hs/s} be a countable Hausdorff spectrum over the category L. Then in order that Haus1(X) = 0 it is necessary and sufficient that for each F £ F it is possible to define in nF Xs a quasinorm ^ = ^F ^ 0 such that
(i) the associated topological group (f|FXs,T(*F)) is complete, tf ^ o*F),
(ii) ^F is continuous on ([|FXs,o*F)).
< Necessity. This follows from the argument before the theorem, since on putting tf = o*F) and
OO
^f (x) = ^2-k dTk (x), fc=1
where dTk(x) = 0 for x £ Vpk and dTk (x) = 1 for x £ F Xs \VFJk (k £ N), we obtain (i)
and (ii).
Sufficiency. Let ZF = P|^=1 Vpk and let the factor space F Xs/ZF be endowed with the images of the topologies o*F) and tf, so that, if
OO
dF (£) = inf ^F(x) and (fF (^) = inf 2-kdTk (x),
k=1
the MVG(Hf Xs/ZF, dF) is separated and complete and the MVG(HF Xs/ZF,dF) is separated. Thus on the MVG(HF Xs/ZF,dF) the functional dF is countably semiadditive and
dF (0 = inf lim dF (£n) = inf pF (x)
is continuous on it. Hence by the Lemma on a countably semiadditive functional [8] we obtain dF = dF and, consequently, the MVG(HF Xs/ZF,dF) is complete. But this means that the TVG(HfXs,o*F)) will be complete, which allows us to conclude on considering all F £ F that Haus1(X) = 0. The Theorem is proved. >
In the case of a countable inverse spectrum, in particular, we obtain the first part of Theorem 11.1.1 of [1]; in the case of a direct spectrum X the topology tf is indiscrete for each singleton set F £ F. Moreover, the famous lemma of V. P. Palamodov [1], which makes up the main part of the proof, is a special case of the lemma about a countably semiadditive functional [8].
In what follows ^F denotes the filter topology on Xs (s £ |F|), which is formed by the spaces {hss/Xs/} (s' £ |F|). We note, however, that the product topology on F Xs obtained from the topologies ^>F (s £ |F|) does not in general coincide with the topology o *F).
Sufficient conditions for the vanishing at zero Haus1 (X) = 0, which are more convenient for applications, are given in the following proposition.
Theorem 4. Let X = {Xs, F, hs/s} be a countable Hausdorff spectrum over the category L. In order that Haus1(X) = 0 it is sufficient that for each s £ |F| it is possible to define in Xs a family of quasinorms {p^} which determines a complete separated pseudotopological vector space (Xs,p^s), preserves the continuity of the morphisms s and is such that for each s £ | F| , F £ F the following condition is satisfied:
(A) for some ^s = ^s(F) the functional p^s is continuous in the filter topology (Xs, ^>F).
In particular, in the case of an inverse spectrum X we obtain Theorem 5.1 of [2] and moreover our assertion is even stronger in this case.
Theorem 5. Let X = {Xs, F, hs/s} be a countable Hausdorff spectrum of separated H-spaces over the category TLC. Then in order that Haus1 (X) = 0 it is necessary and sufficient that the spaces (Xs, ^>F) (s £ |F |) are complete TVGs for each F £ F.
In the case of an inverse spectrum of Frechet spaces Theorem 5 extends the criteria (F) and (R) of V. P. Palamodov’s Corollary 11.4 in [1]. We note that in Theorem 5 it is separatedness of the pseudotopology which is actually required, therefore in general the H-space may be nonseparated.
Theorem 6. Let X = {Xs, F, hs/s} be a countable Hausdorff spectrum of H-spaces over the category TLC with separated associated pseudotopology {(pps)*} which preserves the continuity of the morphisms s. Then in order that Haus1 (X) = 0 it is necessary and
sufficient that for each s £ |F| there exists a quasinorm pps (F) (s £ |F|) in Xs such that
(A’) (pps)* is continuous in the filter topology ^>F and the system {pps} preserves the continuity of the morphisms hs/s.
In particular the theorem by Retakh [9] follows from Theorem 6.
References
1. Palamodov V. P. Functor of projective limit in the category of topological linear spaces // Math.
Collect.-1968.-Vol. 75, № 4.-P. 567-603.
2. Palamodov V. P. Homological methods in the theory of locally convex spaces // Russian Math. Surveys.—1971.—Vol. 26, № 1.—P. 3-65.
3. Smirnov E. I. Homological spectra in functional analysis.—London: Springer Verlag, 2GG2.—2G9 p.
4. Zabreiko P. P., Smirnov E. I. On the closed graph theorem // Siberian Math. J.—1977.—Vol. 18, № 2.—P. 3G5-316.
б. Rajkov D. A. On the closed graph theorem for topological linear spaces // Siberian Math. J.—1966.— Vol. 7, № 2.—P. 3б3-372.
6. Smirnov E. I. On continuity of semiadditive functional // Math. Notes.—1976.—Vol. 19, № 4.—P. 541-б48.
7. de Wilde M. Reseaus dans les espaces lineaires a seminormes // Mem. Soc. Roi. Sci. Liege.—1969.— Vol. 19, № 4.—P. 1-1G4.
8. Smirnov E. I. The theory of Hausdorff spectra in the category of locally convex spaces // Functiones et Approximatio.—1996.—Vol. 24.—P. 17-33.
9. Retakh V. S. On dual homomorphism of locally convex spaces // Funct. Anal. and its Appl.—1969.— Vol. 3, № 4.—P. 63-71.
1G. Nobeling C. Uber die derivierten des inversen und des directen limes einer modulfamilie // Topology I.—1962.—P. 47-61.
11. Cartan A., Heilenberg C. Homological Algebra.—M.: Mir, 196G.—51G p.
12. Smirnov E. I. Hausdorff spectra and the closed graph theorem // Pitman Research Notes in Math. Series. Proceedings Volume.—England: Longman, 1994.—P. 37-5G.
Received September 12, 2012.
Smirnov Eugeny Ivanovich
Pedagogical University, Department of Mathematics,
Professor, Ph. D. Hab., Head of Calculus Department 108 Respublikanskaya Avenue, Yaroslavl, 150000, Russia; Southern Mathematical Institute Vladikavkaz Science Center of the RAS,
Leading Researcher of Laboratory of Educational Technologies 22 Markus street, Vladikavkaz, 362027, Russia E-mail: [email protected]
ИСПОЛЬЗОВАНИЕ ГОМОЛОГИЧЕСКИХ МЕТОДОВ НА БАЗЕ ИТЕРИРОВАННЫХ СПЕКТРОВ В ФУНКЦИОНАЛЬНОМ АНАЛИЗЕ
Смирнов Е. И.
В статье водятся новые понятия функционального анализа: хаусдорфов спектр и хаусдорфов предел или Н-предел хаусдорфова спектра в категории локально выпуклых пространств (или даже, в более общих полуабелевых категориях). Частными случаями регулярного хаусдорфова предела являются проективный и индуктивный пределы отделимых локально выпуклых пространств. Новый класс Н-пространств содержит пространства Фреше и замкнут относительно операций взятия счетного индуктивного и проективного пределов, перехода к замкнутому подпространству и фактор-пространству. Более того, для Н-пространств справедлив усиленный вариант теоремы о замкнутом графике. Доказаны теоремы об обращении в нуль первой производной функтора хаусдорфова предела средствами гомологической алгебры.
Ключевые слова: топология, спектр, замкнутый график, дифференциальные уравнения, гомологические методы, категория.
