Владикавказский математический журнал Октябрь-декабрь, 2004, Том 6, Выпуск 4
УДК 517.5
О ВЛОЖЕНИИ И ПРИБЛИЖЕНИИ ПЕРЕСЕЧЕНИЯ МНОЖЕСТВ И ФУНКЦИОНАЛЬНЫХ КЛАССОВ1
Э. М. Галеев
Владимиру Михайловичу Тихомирову с любовью
Дается кратки обзор идей и результатов, связанных с задачей В. М. Тихомирова о приближении классов функций с несколькими ограниченными производными.
В 1975 году Владимир Михайлович Тихомиров на своем спецсеминаре по теории приближений2 в МГУ предложил для решения следующую задачу о приближении классов функций с несколькими ограниченными производными. Пусть про функцию известно, не только, как обычно, что ее какая-то г-я производная в метрике Ьр ограничена (||ж(г)(■)^ в), а известна ограниченность ее нескольких производных в различных метриках, т. е. ||ж(г'{ ^ вг, 2 = 1,... Иными словами, найти приближение пере-
V
m
сечения классов функций WP = П Wr'i в метрике пространства Lq. В качестве функци-
г=1
ональных классов можно рассматривать, например, классы периодических функций.
Задача о нахождении оценки сверху приближения пересечения может быть решена путем вложения класса Wr в класс Wq и дальнейшего приближения этого класса уже в согласованной метрике Lq. Задача о вложении может быть представлена в виде экстремальной задачи:
^ sup; ||x(rt)(-)||Lt < вг, i = 1,...,m.
Поставленная задача была решена автором в 1975 г. и доложена на семинаре В. М. Тихомирова вначале для классов периодических функций одной переменной, а затем для классов периодических функций нескольких переменных с дробными производными и смешанными нормами [1]. Для формулировки полученного результата дадим определения функциональных классов и дробных производных.
Пусть Т = (— п, п]а — ^-мерный тор, реализованный в виде произведения й полуинтервалов (—п, п]. Через Ьр = Ьр(Тй), р = (р1,... ,ра), 1 < рз < то, ] = 1,..., й, обозначим
© 2004 Галеев Э. М.
1 Работа выполнена при финансовой поддержке РФФИ (гранты №02-01-39012 ГФЕН, №02-01-00386).
2Участниками семинара по теории приближений, кроме автора заметки, были в то время студенты и аспиранты В. М. Тихомирова: А. П. Буслаев, Динь Зунг, А. И. Камзолов, Г. Г. Магарил-Ильяев, С. В. Пухов, М. И. Стесин.
пространство функций х(¡) = х(^,..., ¡а) измеримых на Та, периодических по каждой переменной с периодом 2п таких, что конечна величина
= 2П X
^ |х(()|" ¿¡1
Р2/Р
Ра/Ра-
1/ра
(На
Свойства пространств со смешанной нормой на Табыли описаны в вышедшей в 1975 г. монографии О. В. Бесова, В. П. Ильина, С. М. Никольского [2].
Функцию х(-) € Ьр(Та) можно разложить в ряд Фурье
x(¡) = хк
k€Zd
где суммирование ведется по всем к = (&1,..., к а) € — (-мерной целочисленной ре-а
шетки, (k,¡) = ^
¿=1
Для упрощения формулировок будем рассматривать функции с нулевыми средними по всем аргументам, т. е. функции, коэффициенты Фурье которых хк, имеющие хотя бы один нулевой индекс к, равны нулю:
хф = ^ хкет\
◦,
к£Жг
о
где := {к = (к1,..., ка) € 1а : к, =0, ^ = 1,..., (}.
Для такой функции и вектора г = (г1,..., г^) € введем операцию дробного дифференцирования по формуле
х(г)С0 = ^2 хк(^к)ге^(к'*>,
◦, k€Zd
где (гк)г = (гк1)Г1 ... (гка)га, (гк)г = |к|ге(г/2)пг^пк (для скаляров к и г).
Для векторов р, г € 1 < р < то, ^ = 1,...,(, и описанных выше функций с нулевыми средними по всем аргументам введем следующий класс функций:
Ш(Т) = (х(-) : ||х(-)||^ := Ух(г)(-)Уьр < 1}.
При формулировке вложений функциональных классов важным является множество О = {еопу {(1 ),И), г = 1,...,т} + (V, 0) - (А, А) : V, А € М+}.
Следующая теорема дает необходимые и достаточные условия вложения для пересечения классов функций.
_ т . _
Теорема 1. Пусть Ш = П , 7, д € 1 < д < то. Тогда Ш СС тогда и
¿=1 р
только тогда, когда (1/д,7) € О.
Оценка сверху в этой теореме следует из мультипликативных неравенств. Первые неравенства подобного типа были получены О. В. Бесовым. Расширение этих неравенств дает достаточность условий вложения. Для доказательства необходимости условий вложения строится специальная функция х^) = ](¡) — Ом(¡)), являющаяся неко-
_ N .
торой разностью ядер Дирихле, принадлежащая классу ШрГ. Здесь Ом(¡) = ^ еъЫ —
|к|=1
ядро Дирихле. Такая разность ядер Дирихле в дальнейшем использовалась для доказательства необходимости условий вложения и оценок снизу приближения как на Td, так и на Rd в работах автора, Г. Г. Магарил-Ильяева, Динь Зунга и др.
Множество G для скалярных норм видимо впервые появилось в работе Н. С. Ба-хвалова (1963 г.) [3], где для классов функций близких к Hp доказывается, что условие (1/p, r) £ int G, является достаточным для подобного вложения пересечения.
В работе Г. Г. Магарил-Ильяева 1979 г. [4] доказывается теорема о вложениях для функций на Rd, аналогичная теореме 1. Поскольку для вложения классов на Rd нет вложения по направлению (1, 0), то множество G в этом случае определяется без конуса по этому направлению: G = {conv{( p- ), гг), i = 1,..., m} —(А, А) : А £ R+}. В совместной работе Г. Г. Магарил-Ильяева и В. М. Тихомирова (1984 г.) [5] теорема 1 обобщается на Rd х Tm.
Используя полученную теорему 1 о вложении можно перейти к следующему шагу и найти порядки приближения пересечения классов периодических функций с несколькими ограниченными производными оператором Фурье Sn. Для приближения пересечения классов периодических функций нескольких переменных строится оператор Фурье, зависящий от рассматриваемого класса и метрики, в которой считается приближение.
Приближение класса функций W оператором S в линейном нормированном пространстве X оценивается величиной
d(W, S, X) = sup \\x — Sx\\x. xex
Сформулируем и докажем теорему о приближении класса Wp в пространстве Lq суммами Фурье для векторных норм.
о d
Каждому вектору s = (si,..., Sd) £ Nd сопоставим множество □ С Z по следующему правилу:
О
yd . nSj — 1
□ s = {k £ Zd : 2Sj—1 < |kj| < 2Sj, j = 1,...,d}.
Тогда
x(t) = ^ Xkег^ = ^ 5sx(i),
◦ d seNd
kezd
где = ^ ХкДля множества А = |гг, г = 1,...,^} С введем оператор
кеПв
Фурье БЛ, действующий на функцию х(-) = ^ ^х(-) по формуле: 5Ах(-) = ^ ^х(-),
seNd seSA
И-
где = Р| , = {в £ N : (к, ¿) ^ Оператор Фурье Б' сопоставляет функции тел
х(-) гармоники из ступенчатого гиперболического креста. Оператор Фурье БЛ сопоставляет функции х(-) гармоники из пересечения ступенчатых гиперболических крестов.
При приближении пересечения классов периодических функций многих переменных важным этапом является нахождение числа точек в логарифмически полиэдральном множестве, например, числа гармоник в операторе Фурье .'Л. Эта задача была решена Динь Зунгом в 1983 г. [6].
о
Теорема Ш. Пусть А = {гг, г = 1,..., V}, еопу А П Ж+ = 0, Б = {в £ М+ : (в, г) ^ 1,г £ А}. Тогда
где M — решение, а l — размерность аффинной оболочки множества решений задачи: (s, 1) ^ sup; s € S.
Для приближения класса WP оператором Фурье имеет место следующая теорема.
Теорема 2. Пусть W^ = f| W£, 7, q € Rd, 1 < q < то, G = {conv {(i),r]), i =
i=1
1,... ,m} + (v, 0) - (A, A) : v, A € M+}, Gq = {7 € Rd : (1/q,Y) € G}. Тогда множество крайних точек Г = {71,... } множества Gq конечно, и
d(W£, Sr ,Lq) х 2-м при max 7] > 0,
о ^
а если
convrp = 0, то число гармоник в операторе Фурье Sn = S^ при ц•}2^M = N имеет порядок N и
d(W|, Sn, Lq) х (N-1 log1 N)1/M,
где M — решение, а l — размерность аффинной оболочки множества решений задачи: (s, 1) ^ sup; s € S = {s € : (s, 7) < 1 (V 7 € Г)}.
Оценка сверху в этой теореме следует из вложения W^ СС Wq по теореме 1, приближения класса W<7 в пространстве Lq оператором Фурье S^ и подсчета числа гармоник в логарифмически полиэдральном множестве по теореме D1 Динь Зунга. Для доказательства оценки снизу используется специальная функция, являющаяся некоторой разностью ядер Дирихле, принадлежащая классу WP и не приближающаяся оператором Фурье S^.
Отметим также работу Б. С. Митягина [7], в которой были найдены приближение и порядки колмогоровских поперечников изотропных и анизотропных классов периодиче-
- d i
ских функций многих переменных Wp = П Wp в согласованной метрике пространства
i=1
Lp, где Г = (0, 0,..., 0, Г], 0,..., 0). Правильное приближение в этом случае дает оператор Фурье с гармониками из прямоугольных параллелипипедов и доказательство в отличие от теоремы 2 легко сводится к одномерному случаю. Аналогично и приближения этих классов в несогласованных метриках считаются путем сведения к одномерному случаю. Сформулируем
и теорему о порядках поперечников по Колмогорову класса Wpj периодических функций одной переменной в пространстве Lq.
_ m .
Теорема 3 (см. [8]). Пусть Wp = f| W£, G = {conv {(^), Г), i = 1,..., m} + (v, 0) -(A, A) : v, A ^ 0}, 7(e) = sup {7 : (£,7) G G}. Тогда
dN (WP, Lq)
'N-7(1/q), 7(1/q) > 0, 1 < q < 2, N-7(1/2), 7(1/2) > 1/2, 2 < q < то.
Задача же о вычислении порядков поперечников по Колмогорову классов периодических функций многих переменных Ш- в пространстве пока решена не для всех случаев р и д.
Некоторые вопросы вложения и приближения пересечения функциональных классов сводятся путем дискретизации к вложению и приближению пересечения дискретных множеств. Дискретизации могут проводиться разными способами. Одним из наиболее естественных является дискретизация с помощью теоремы Марцинкевича — Зигмунда.
Теорема Марцинкевича — Зигмунда о дискретизации. Между пространством тригонометрических полиномов вида x(t) = ^ и пространством R2<s,1> устанав-
keOs
ливается изоморфизм путем сопоставления функции ж(-) вектора
x = {xm(rj)}G R2<M>, xm(i) = ^ Xkei{k't), m = (±1,..., ±1) G Rd,
sign ki=mi l = 1,...,d
Tj = (n22-s1 j,..., n22-sd jd), ji = 1,..., 2Si-1, i = 1,..., d,
при этом для функций x(-), y(^) G lin {ei^k,t), k G Ds} и числа p G R выполняются соотношения:
l|xC-)MLp - 2-(s'1/p) ||x|U,i>, 1 <p< то,
'p
и
2(s'1/p)MxM'2<s,i> <l|x(-)||Lp, 1 < p < то,
'p
<x(0,y(0) = 2-(x'y).
Сформулированная теорема доказывается аналогично теореме Марцинкевича — Зигмунда для функций одной переменной, см. в монографию А. Зигмунда [9, Т. 2, стр.46].
С помощью этой теоремы вложения и приближение пересечения функциональных классов сводятся к вложению и приближению пересечения дискретных множеств.
Для чисел г С Ж и 0 < р ^ то в пространстве Ж" введем множество Бр := Бр(Жп) : = {ж = (ж1,..., жп) € Ж" : ||ж||гп ^ п-г}. Как обычно, обозначим
п \ 1/Р
\жк\р при 0 < р < то,
к=1 )
x in = lp
max |xk| при p = то.
k=1,...,n
Для множества К из Ж2, К С Ж+ х Ж, будем рассматривать множество Б (К) = Р| Бр, являющееся пересечением конечномерных множеств Бр и ^(К) = еопу К +
(i/p,r)eK
cone {(-1,0), (1, -1)}.
Для вложения конечномерных множеств B(K) имеет место следующая теорема вложения.
Теорема 4 (см. [10]). Пусть K С Ж+ х Ж — подмножество из Ж2, 0 < q < то, Y е Ж, (1/q, Y) е Q(K). Тогда B(K) С BY.
Используя вложение пересечения конечномерных множеств B(K), оценки сверху поперечников dra(Bp™, l") и оценки снизу поперечников множеств V^™, найденные Е. Д. Глу-скиным, находятся поперечники пересечения конечномерных множеств.
Теорема 5 (см. [8]). Пусть K С [0, 1] х Ж — компакт из Ж2, B(K) = f| Bp(Ж2п),
(i/p,r)eK
(£) = max r. Тогда (i,r)eQ(K)
2n in-(1/q), 1 ^ q ^ 2,
dn(B(K) ^ n-(i/2) + i/,-i/2, 2 ^ q ^ то.
Еще одним направлением развития вопроса В. М. Тихомирова о приближении и вложении пересечения функциональных классов является вопрос о нахождении порядков норм производной ядер Дирихле с гармониками из ступенчатых гиперболических крестов. Порядки производных ядер Дирихле (с гармониками из ступенчатых гиперболических крестов в скалярной и векторной нормах) и Фавара (и с гармониками вне этих крестов) определены в работах автора и В. Н. Темлякова. Для ядер с гармониками из пересечения логарифмически полиэдральных множеств нормы производных в скалярной метрике были подсчитаны Динь Зунгом [10].
Теорема D2. Пусть 1 < p < ж, S С R+ — полиэдральное множество с непустой внутренностью, K — его рецессивный конус, а £ Rd. Тогда D^SS принадлежит Lp для любого ß > 0 тогда и только тогда, когда ß = а + (1 — p) £ int K0. Если ß £ int K0, то
HDgllp x ßP2ßM,
где M — решение, а l — размерность аффинной оболочки множества решений задачи: (s, ß) ^ sup; s £ S.
Литература
1. Галеев Э. М. Приближение суммами Фурье классов функций с несколькими ограниченными производными // Мат. заметки.—1978.—T. 23, № 2.—C. 197-211.
2. Бесов О. В., Ильин В. П., Никольский С. М. Интегральные представления функций и теоремы вложения.—М.: Наука, 1975.—480 с.
3. Бахвалов Н. С. Теоремы вложения для классов функций с несколькими ограниченными производными // Вестник МГУ. Сер. матем., механ.—1963, № 3.—C. 7-16.
4. Магарил-Ильяев Г. Г. Задача с промежуточной производной // Мат. заметки.—1979.—T. 25, № 1.— C. 81-96.
5. Магарил-Ильяев Г. Г., Тихомиров В. М. О некоторых вопросах гармонического анализа на Tn х Tn // В сб.: Некоторые вопросы современного анализа.—М.: Изд-во МГУ, 1984.— C. 57-82.
6. Динь Зунг. Асимптотики объема и числа целых точек в одном множестве и их применения в теории приближения // Reseach Report. Ханой, 1980.—№ 5. C. 1-22.
7. Митягин Б. С. Приближение функций в пространствах Lp и на торе // Мат. сб.—1962.—T. 58, № 4.—C. 397-414.
8. Галеев Э. М. Approximation of periodic functions of one and several variables // Constructive Theory of Functions' 87.—Sofia, 1988.—P. 138-144.
9. Зигмунд А. Тригонометрические ряды. Т. I, II.—М.: Мир, 1965.—615, 537 с.
10. Галеев Э. М. Приближение суммами Фурье классов функций с несколькими ограниченными производными // Мат. заметки.—Ш^^ 29, № 5.—C. 749-760.
11. Динь Зунг. Приближение классов гладких функций многих переменных // Тр. семинара им. И. Г. Петровского.—1984.—№ 10.—C. 207-226.
Статья поступила 5 ноября 2004 г-
Галеев Эльфат МихАлович, д. Ф.-м.н. г. Москва, Московский государственный университет им. М. В. Ломоносова E-mail: elfat@galeev.mccme.ru