Теорема об общем виде линейного непрерывного функционала в пространстве непрерывных финитных функций
Автор: Нгуен Ван Куинь
Журнал: Мировая наука @science-j
Рубрика: Естественные и технические науки
Статья в выпуске: 6 (51), 2021 года.
Бесплатный доступ
Теория меры играет важную роль в теории субгармонических и -субгармонических функций. Классические свойства меры были представлены во многих монографиях, например в [1]. В статье представляется усиление варианта Азарина теоремы об общем виде линейного непрерывного функционала в комплексном пространстве непрерывных финитных функций. Результаты нашей статьи позволяют несколько упростить конструкции из этих работ.
Мера хана, мера жордана, сингулярная положительная мера, линейный непрерывный функционал
Короткий адрес: https://sciup.org/140266165
IDR: 140266165
Текст научной статьи Теорема об общем виде линейного непрерывного функционала в пространстве непрерывных финитных функций
Сначала вводим некоторые обозначения:
^Q = ^Q\{0} ; C(z0,r) = (z:^z-z o ^ < r} ; B(z0,r') = {z: ^z - Z q H < r} .
Ф - это линейное пространство непрерывных финитных функций на ^ Q . Будут рассматриваться как вещественные, так и комплексные пространства Ф.
Напомним теперь некоторые определения и результаты из теории интеграла и меры.
Пусть в пространстве ^ Q определена вещественная борелевская мера ц, Е с 1 Q - борелевское множество. Ограничением (сужением) меры ц на множество Е называется мер цЕ , которая определяется формулой цЕ(А) = ц(АПЕ') для любого борелевского мно-жества А с ^ Q .
Величина |ц| = р+ + р_, называется полной вариацией или модулем меры ц.
Вещественная борелевская мера ц на R Q называется локально конечной, если для любого компакта К с ^ Q выполняется неравенство |ц|(К) < ^ .
Обозначим через 3 1 семейство функций множеств , представимых в виде ц = ц 1 — ц2, где ц 1 , ц2 вещественные локально конечные борелевские меры на ^ Q . функция ц определена на борелевских множествах Е с ^ Q за исключением тех Е, для которых ц1(Е") = ц2(Е) .
Теорема 1. (С.М [4]). Всякий элемент ц £ 3 1 эквивалентен разности 1 1 — ц2, где где ц 1 и ц2 - положительные взаимно сингулярные локально конечные борелевские меры на ^ Q . Причем ц 1 и ц2 определяются однозначно.
Вещественной радоновой мерой на № q называется класс эквивалентных элементов из множества 9Л 1 . Множество таких мер обозначим ^.
Из теоремы 1 легко следует, что множество ^ является вещественным линейным пространством. Проверить это свойство, исходя из определении ^, достаточно затруднительно.
Мы будем рассматривать также комплексные меры Радона. Это функции множеств вида р = р 1 + 1р 2 , где р 1 , р2 - вещественные радоновые меры. Ограничение меры р на множество Е определяется по формуле рЕ = (р 1 )Е + 1(р 2 )Е. Комплексная мера Радона р сосредоточена на множестве Е, если выполняется равенство р = рЕ .
Обозначим через ^с - это множество комплексных радоновых мер на ^ о . Отметим, что ^.с является комплексным линейным пространством. В пространстве ^с вводится понятие широкой сходимости. Говорят, что последовательность радоновых мер рт широко сходится к радоновой мере р , если для любой функции р £ Ф(^ 0 ) числовая последовательность рт(р) сходится к р(р). Обозначение р = lim рт . т^т
Вводятся некоторые понятия множеств, связанные с пространством ^с .
Множество Е с ^с называется широко ограниченным, если для любой функции р £ Ф(^ 0 ) выполняется неравенство sup|р(р)| < ш.
цеЕ
Множество Е с ^с называется сильным ограниченным, если для любого компакта К с ^ 0 выполняется неравенство sup|р|(К) < ш.
цеЕ
Множество Е с ^с называется компактным, если из любой последовательности рт с Е можно извлечь широко сходящуюся подпоследовательность.
Компактный множество в ^с, содержащее пределы широко сходящихся последовательностей элементов этого множества, называется компактом.
Теорема (об общем виде линейного непрерывного функционала в комплексном пространстве Ф(^д). Для того, чтобы Т был линейным непрерывным функционалом в пространстве Ф(^д), необходимо и достаточно, чтобы существовала мера це^с такая, что (Т , р-) = (ц, р-). Причём мера ц определяется функционалом Т однозначно.
Доказательство.
Видно, что (ц, р) - линейный функционал, из неравенства |(ц, р)| < |ц|(supp ф )| ф | и определения сходимости в пространстве Ф(^о) следует, что
(ц,р) - линейный непре-рывный функционал в пространстве Ф(^ у ). Итак нам надо доказать вторую часть теоремы. Заметим, что единственность меры ц следует из предыдущей теоремы. Осталось доказать, что для любого линейного непрерывного функционала Т существует мера ц е ^с такая, что (Т,ц) = (ц,р).
Докажем теперь что, для любого m > 2 существует константа Мт такая, что если supp р с
(5(0,m)\c(0.m)),
то выполняется неравенство
|(Т.р)|2МтН(Н. Если это утверждение не верно, то существует m > 2 и последовательность рт е Ф(^о) такие, что ||рт|| = 1, supp р с
(в(0,т)\С (0Д)), |(Т,Р т )|
> 4т. Пусть ^т = 2 трт. Тогда hm сходится к нулю в пространстве Ф(Жо), |(Т, ^т)|>2т. Это противоречит непрерывности функционала Т. Таким образом существование константы
Мт доказано.
Теперь рассмотрим банахово пространство С
(в(0,т)\С(0,т))
и
линейное много-бразие £т этого пространства, состоящее из тех функций
р е Ф(^о), для которых supp ф с
B(0,m)\C (0,^). Пусть Тт ограничение
функционала Т на пространство £т. Если р е Тт, то выполняется следующее соотношение
1(Тт,р)1 = 1(Т,р)| <МтИрИ.
По теореме Хана-Банаха существует расширение Тт функционала Тт на пространство
с(в(0,т)\с(0,1))
такое, что для любого р е С
(в(0,т)\
с(о,^)) будем иметь |(Tm.ф)| Покажем теперь, что ограничение мер vm+i и vm+2 на компакт В(0,т)\ С (о,?п) совп-адают. Пусть б G (о, m^.!.!)), V^ G Ф(^-о) такая функция, что на компакте В(0, т)\С (о,~) она совпадает с произвольной наперёд заданной непрерывной функцией V(x) и пусть ij)(x) = 0 на В (о,^- б)\{0} и на ^о\С(О, т + б). Из теоремы Урысона следует, что гр(х) продолжается до непрерывной функции в пространстве Rq , причём \\V\\ = IIVH. поэтому ~ ~ выполняются соотношение V G ^m+i, V G Lm+2. Поэтому (T,V) = (Tm+i,1^ = (Tm+i (T,V) = (Tm+2,i) = (Tm+2 ,V) = J lJ’(X)dVm+i(X), ^o ,V) = J V(xWm+2(X). ^o Мы получили равенство Vm+2(X) - dtm+ito) = 0. ^о Можем переписать в виде J V(X)(dVm+2(X) — d^m+i B(O,m)\c(o,m) J i^d-Vm+i^) + B(O,m)\c(o,m—8) + J ^(X) dVm+i(X) — B(0,m+5)\C(0,m) J ^(X)dVm+2(X) B(O,m)\c(o,i-6) J Tp(X)dVm+2(X). — B(0,m+S)\C(0,m) Каждый из интегралов в правой части написанного равенства стремится к нулю при 5^0, получим равенство J 1?(X)(dVm+2(X) — d^m+i(x)) = 0. B(0,m)\c(0/1) Так как ^(x) Е C (B(0,m)\C (o,“)) произвольная функция, то отсюда следует, что ограничения мер vm+1 и vm+2 на компакте B(0, m)\C (о,~) совпадают. Теперь для любого m > 2 определим меру vm как ограничение меры vm+i на компакте B (0,m)\C (о,^). Если к >m, то ограничение меры vk на компакте B (0, m)\C (о, “) совпадают с мерой радонова мера [ Е^с такая, что ограничение [ C (о,^). совпадает с vm. Теперь заканчиваем доказательство теоремы. vm. Тогда существует на компакте B(0,m)\ Пусть р Е Ф(^о) – произвольная функ-ция. Существует такое m > 2, что supp ф Е B(0, m)\ C (о,-1). Тогда р Е Lm+i, (Т,ф) = (Tm+i,p) = (jm+i,p) = J p(X)dVm+i(X) = J p(X)dVm(X) «0 = J p(x)d[(x) = ([,(). «0 Теорема доказана. ^0
Список литературы Теорема об общем виде линейного непрерывного функционала в пространстве непрерывных финитных функций
- Kadets, V.M. (2006), A course of Functional Analysis, Kharkov National University.
- Van Quynh Nguyen (2015), Various Types of Convergence of Sequences of Subharmonic Functions, Zh. Mat. Fiz. Anal. Geom,Volume 11, Number 1, 63-74.
- Nguyen Van Quynh, Theorem on uniform continuity of Logarithmic potential, Visnyk of science and education, Issue 5 (59), 6-10p.
- Nguyen Van Quynh, Le Anh Thang (2021)