Реферат: Атомические разложения функций в пространстве Харди
![](/file/7d5aacc146456be8f3642.jpg)
🛑 👉🏻👉🏻👉🏻 ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻
Інститут математики, економіки та механіки
Введение.................................................................................... 3
Глава I. Основные сведения об интеграле Пуассона и
пространствах , и ................................. 8
§I.1. Интеграл Пуассона..................................................... 8
§I.2. Пространства ....................................................... 12
§I.3. Пространства и ......................................... 17
§I.4. Произведение Бляшке, нетангенциальная
максимальная функция............................................... 22
Глава II. Атомические разложения функции в пространстве
, пространство ВМО........................................ 26
§II.1. Пространство , критерий принадлежности
функции из пространству ....................... 26
§II.2. Линейные ограниченные функционалы на ,
двойственность и ВМО.................................. 32
Литература.................................................................................. 37
Целью настоящей работы является изучение основных понятий и результатов, полученных в области пространств Харди, которая не изучалась в рамках университетского курса. В работе прослежена взаимосвязь между следующими понятиями : интеграл Пуассона, пространства , , и , раскрыта суть и структура этих объектов. Описание указанных понятий вводится именно в такой последовательности , так как определение каждого последующего объекта дается на основе понятий, расположенных левее в выше перечисленном ряду объектов.
Работа состоит из двух глав, каждая из которых делится на параграфы. В первой главе изучены свойства пространств , , , а во второй мы доказываем коитерий принадлежности функции из пространству и двойственность пространств и .
В работе мы рассматриваем случай периодических функций. Используемые обозначения имеют следующий смысл:
- пространство периодических, непрерывных на функций;
- пространство периодических, бесконечно дифференцируемых на функций;
- пространство периодических, суммируемых в степени р на функций, т.е.для которых , ;
- пространство периодических ограниченных на функций;
В §I.1.вводится понятие интеграла Пуассона: интегралом Пуассона суммируемой на [-p,p] 2p-периодической комплекснозначной функции называется функция
где , t Î [ -p, p ] - ядро Пуассона.
Здесь мы доказываем следующие свойства ядра Пуассона, которые мы неоднократно будем использовать в ряде доказательств:
Основной целью данного параграфа являются две теоремы о поведении интеграла Пуассона при :
Для произвольной (комплекснозначной) функции ( -p, p ) , 1 £ p < ¥ , имеет место равенство
если же ¦ (x) непрерывна на [ -p, p ] и ¦ (-p) = ¦ (p) , то
Пусть - комплекснозначная функция из . Тогда
В этом параграфе мы обращались к следующим понятиям:
Определение1. Функция называется аналитической в точке , если она дифференцируема в этой точке и в некоторой ее окрестности. Говорят, что функция аналитична на некотором множестве,если она аналитична в каждой точке этого множества.
Определение2. Действительная функция двух действительных переменных называется гармонической в области , если и удовлетворяет уравнению Лапласа:
Определение3. Две гармонические функции и , связанные условиями Коши-Римана : , , называются гармонически сопряженными функциями.
Определение4. Под нормой пространства понимается
Определение5. Под нормой пространства понимается
Определение6. Пусть ( или , ). Модуль непрерывности ( соответственно интегральный модуль непрерывности) функции определяется равенством
Определение7. Последовательность функций, определенных на множестве Х с заданной на нем мерой, называется сходящейся почти всюду к функции , если для почти всех , т.е. множество тех точек , в которых данное соотношение не выполняется, имеет меру нуль.
В §I.2 мы рассматриваем пространства - это совокупность аналитических в единичном круге функций F (z) , для которых конечна норма
Основным результатом этого параграфа является теорема о том, что любую функцию ( ) можно предсавить в виде
Использованные в данном параграфе понятия мы принимаем в следующих определениях:
Определение8. Говорят, что действительная функция , заданная на отрезке [a,b], имеет ограниченную вариацию, если существует такая постоянная , что каково бы ни было разбиение отрезка [a,b] точками выполнено неравенство .
Определение9. Действительная функция , заданная на отрезке [a,b], называется абсолютно непрерывной на [a,b], если для любого найдется число такое, что какова бы ни была система попарно непересекающихся интервалов , с суммой длин, меньшей : , выполняется неравенство .
В третьем параграфе первой главы мы переходим к рассмотрению пространств и . Пространство ( ) представляет собой совокупность тех функций , , которые являются граничными значениями функций (действительных частей функций) из , т.е. представимы в виде ( ). Здесь мы получаем следующие результаты: при пространство совпадает с , а при р=1 уже, чем , и состоит из функций , для которых и .
В §I.4 мы вводим понятие произведения Бляшке функции , аналитической в круге с нулями , ( ) с учетом их кратности:
где - кратность нуля функции при .
Здесь доказывается, что каждая функция представима в виде
, где не имеет нулей в круге и , ,а - произведение Бляшке функции .
Затем мы рассматриваем понятие нетангенциальной максимальной функции . Пусть , , - произвольное число. Обозначим через , , область, ограниченную двумя касательными, проведенными из точки к окружности , и наибольшей из дуг окружности, заключенных между точками касания ( при вырождается в радиус единичного круга). Для положим
где - интеграл Пуассона функции . Функция называется нетангенциальной максимальной функцией для .
Тут же мы доказываем теорему об оценке : если ( ), , то и .
Первые результаты о максимальных функциях были получены в 1930 году Харди и Литтлвудом.
В §II.1 рассматривается пространство . Как ранее отмечалось, оно уже, чем . Поэтому в данном параграфе большой интерес представляет теорема - критерий принадлежности функции пространству . Здесь вводится понятие атома: действительная функция называется атомом, если существует обобщенный интервал такой, что
Атомом назовем также функцию , . Под обобщенным интервалом понимается либо интервал из , либо множество вида ( ).
Данный параграф посвящен аналогу теоремы, доказанной в 1974 году Р.Койфманом о том, что функция тогда и только тогда, когда функция допускает представление в виде
При этом , где inf берется по всем разложениям вида (*) функции , а с и С - абсолютные константы.
Роль атомических разложений заключается в том, что они в ряде случаев позволяют свести вывод глубоких фактов к относительно простым действиям с атомами.
В частночти, из атомического разложения функций, принадлежащих пространству , легко вытекает полученный в 1971 году Ч.Фефферманом результат о двойственности пространств и . Доказательству этого факта и посвящен второй параграф данной главы. Сперва мы вводим определение : пространство ВМО есть совокупность всех функций , удовлетворяющих условию
где , а sup берется по всем обобщенным интервалам . А затем доказываем теорему о том, что .
Основные сведения об интеграле Пуассона и
Пусть ¦( x
) , g
( x
) , x
ÎR 1
–суммируемые на [-p, p] , 2p- периодические, комплекснозначные функции. Через f*g(x)
будем обозначать свертку
Из теоремы Фубини следует, что свертка суммируемых функций также суммируема на [-p,p] и
c n
( f*g ) = c n
( f )× c -n
( g ) , n = 0, ±1 , ±2 , ... ( 1 )
где { c n
( f )} - коэффициенты Фурье функции f ( x ) :
c n
(f)= - i n t
dt
, n = 0, ±1, ±2,¼
Пусть ¦ Î L 1
(-p, p ) . Рассмотрим при 0 £ r < 1 функцию
¦ r
( x ) = n
( f ) r | n |
e i n x
, x Î [ -p, p ] . ( 2 )
Так как для любых x Î [ -p, p ], n = 0, ±1, ±2,¼, а ряд сходится (так как согласно теореме Мерсера [4] коэффициенты Фурье любой суммируемой функции по ортогональной системе ограниченных в совокупности функций стремятся к нулю при ), то по признаку Вейерштрасса ряд в правой части равенства (2) сходится равномерно по х для любого фиксированного r , 0 £ r < 1 . Коэффициенты Фурье функции ¦ r
(х) равны c n
( f r
) = c n
(f)× r | n |
, n = 0 , ±1, ±2, ¼ , а это значит, что ¦ r
( x ) можно представить в виде свертки :
Функция двух переменных Р r
(t) , 0 £ r <1 , t Î [ -p, p ] , называется ядром Пуассона , а интеграл (3) - интегралом Пуассона .
P r
( t ) = , 0 £ r < 1 , t Î [ -p, p] . ( 5 )
Если ¦Î L 1
( -p, p ) - действительная функция , то , учитывая , что
c -n
( f ) = , n = 0, ±1, ±2,¼, из соотношения (2) мы получим :
F ( z ) = c 0
( f ) + 2 ( z = re ix
) ( 7 )
- аналитическая в единичном круге функция как сумма равномерно сходящегося по х ряда [5]. Равенство (6) показывает, что для любой действительной функции ¦Î L 1
( -p, p ) интегралом Пуассона (3) определяется гармоническая в единичном круге функция
u ( z ) = ¦ r
(e ix
) , z = re ix
, 0 £ r <1 , x Î [ -p, p ] .
При этом гармонически сопряженная с u (z) функция v (z) c v (0) = 0 задается формулой
Пусть u (z) - гармоническая ( или аналитическая ) в круге | z | < 1+e ( e>0 ) функция и ¦ (x) = u (e ix
) , xÎ[ -p, p ] . Тогда
u (z) = ( z = re ix
, | z | < 1 ) ( 10 )
Так как ядро Пуассона P r
(t) - действительная функция, то равенство (10) достаточно проверить в случае, когда u (z) - аналитическая функция:
Но тогда коэффициенты Фурье функции связаны с коэффициентами Фурье функции следующим образом :
и равенство (10) сразу следует из (2) и (3).
Прежде чем перейти к изучению поведения функции ¦ r
( x
) при r®1 , отметим некоторые свойства ядра Пуассона:
Соотношения а) и в) сразу следуют из формулы (5), а для доказательства б) достаточно положить в (2) и (3) ¦ (х) º 1.
Для произвольной (комплекснозначной) функции ( -p, p ) , 1 £ p < ¥ , имеет место равенство
если же ¦ (x) непрерывна на [ -p, p ] и ¦ (-p) = ¦ (p) , то
В силу (3) и свойства б) ядра Пуассона
Для любой функции , пользуясь неравенством Гельдера и положительностью ядра Пуассона , находим
Для данного e > 0 найдем d = d (e) такое, что . Тогда для r , достаточно близких к единице, из свойств а)-в) мы получим оценку
Аналогично, второе утверждение теоремы 1 вытекает из неравенства
Дадим определения понятий "максимальная функция" и "оператор слабого типа", которые понадобятся нам в ходе доказательства следующей теоремы.
Пусть функция , суммируема на любом интервале (a,b), a 0
Пусть - комплекснозначная функция из . Тогда
где С - абсолютная константа , а M ( f, x )
- максимальная функция для f (x)
*)
. Для этой цели используем легко выводимую из (5) оценку
Неравенство (13) доказано. Возьмем слабый тип (1,1) оператора . Используя его, найдем такую последовательность функций ,что
Учитывая , что по теореме 1 для каждого xÎ [-p, p] и (14)
Используя вместо (13) более сильное неравенство (59), которое мы докажем позже, можно показать, что для п.в. xÎ [-p, p] , когда точка re it
стремится к e ix
по некасательному к окружности пути.
Пространство - совокупность аналитических в единичном круге функций F (z) , для которых конечна норма
Пусть комплекснозначная функция удовлетворяет условиям
тогда функция F (z) , определенная равенством
Действительно, аналитичность функции F (z) следует из (16) и равенства (2). Кроме того, в силу неравенства мы имеем
С другой стороны , по теореме 1 ( а при р=¥ в силу теоремы 2)
Учитывая (*) и (**) , получим (18).
Ниже мы докажем, что любую функцию можно представить в виде (17). Для этого нам потребуется
Пусть комплекснозначная функция j (t) имеет ограниченную вариацию на [ -p,p] и
Тогда j (t) абсолютно непрерывна на [-p,p].
В (19) и ниже рассматривается интеграл Лебега-Стилтьеса, построенный по комплекснозначной функции ограниченной вариации j (t) . Мы говорим, что
j (t)= u (t)+ i v (t) имеет ограниченную вариацию (абсолютно непрерывна), если обе действительные функции u (t) и v (t) имеют ограниченную вариацию (соответственно абсолютно непрерывны). При этом интеграл
определен для каждой непрерывной на [-p,p] функции f (t)
, а также если
- характеристическая функция замкнутого множества .
Нам достаточно проверить, что для любого замкнутого множества ,
Для этой цели убедимся, что справедлива
Пусть F
- замкнутое, а V
- открытое множества , причем и
. Тогда для всякого , существует функция вида
Выведем из леммы 1 оценку (20), а затем докажем саму лемму 1.
Пусть , где - конечная или бесконечная последовательность дополнительных интервалов множества F, и для
Очевидно, что - открытое множество и .
Рассмотрим для данных функцию , построенную в лемме 1 для числа e и множества . Тогда нетрудно проверить[3], что если , а , то разность
Но в силу (19) и равномерной сходимости ряда (21) (так как ряд Фурье бесконечно дифференцируемой функции сходится равномерно)
Перейдем к доказательству леммы 1. Нам понадобится
Отметим, что при ядро Фейера обладает следующими свойствами: а) , ; б) ,
Также известно [3], что средние Фейера равномерно сходятся к .
Пусть f(t) - непрерывная на [-p, p] функция, для которой
Так как средние Фейера равномерно сходятся к и
, то существует тригонометрический полином
Пусть . Рассмотрим для каждого d>0 такую функцию , что
(функцию можно построить следующим образом: взять замкнутое множество с мерой , достаточно близкой к 2p, и положить
Так как (здесь число m то же, что в (24)), то для достаточно малых d>0 функция удовлетворяет соотношениям
При этом , если . Тогда средние Фейера функции h(t) имеют вид
Так как h(t) - действительная функция, то , n=0,±1,±2,¼. Поэтому
Ясно, что , а из (24) и (28) следует, что при n<0, т.е.
В силу соотношений (25), (27) и (29) для
Таким образом, функция g(t) обладает всеми нужными свойствами (22). Лемма1 , а вместе с ней и теорема 3 доказаны.
Пусть функция . Тогда для п.в. существует предел
Нам достаточно доказать, что для каждой функции найдется функция такая, что имеет место 1). Действительно, если , то тем более и из 1) и теоремы 2 вытекает справедливость равенства (31) для п.в. . При этом и по теореме 1
Пусть . Для построения искомой функции положим
Функции , , имеют равномерно ограниченную по r вариацию на :
Следовательно, по теореме Хелли [2] найдутся функция ограниченной вариации и последовательность , такие, что в каждой точке и
для любой функции . При этом для n=1,2,...
(мы учли аналитичность функции F(z) в единичном круге) и , следовательно, по теореме 3 абсолютно непрерывна : существует функция , для которой
Зафиксируем число . Функция , аналитична в круге , поэтому согласно утверждению 1
В пределе при из последнего равенства вытекает, что
Равенство 1) , а вместе с ним и теорема 4 доказаны.
Обозначим через класс тех функций , , которые являются граничными значениями функций из , т.е. представимы в виде
В силу пунктов 3) и 2) теоремы 4 и каждая функция удовлетворяет условию (16). С другой стороны, выше мы доказали, что для произвольной с условием (16) интеграл Пуассона (17) определяет функцию из . Следовательно,
Из (34) вытекает, что (замкнутое) - подпространство пространства , а - банахово пространство с нормой (15).
Если функция , то сопряженной к ней функцией называется функция , ,
где интеграл понимается в смысле главного значения, т.е. как предел при интегралов .
Для любой функции сопряженная функция существует и конечна п.в. на ; при этом
г) , где - такая действительная функция, что ее сопряженная также принадлежит пространству :
Эквивалентность условий а) и б) непосредственно вытекает из (34), а эквивалентность условий а) и в) - из теорем 4 и 2.
Докажем, что из г) следует б). Для этого достаточно проверить, что в случае, когда функция и ее сопряженная суммируемы : , имеют место равенства
Непосредственный подсчет по формуле (36) показывает, что
. Следовательно, равенства (37) выполняются, если - произвольный тригонометрический полином.
Пусть фиксировано. Для произвольной функции и положим
Покажем, что равенство (37) для фиксированного нами номера n вытекает из следующих свойств функций (наличие этих свойств мы установим ниже):
2) при функции , , сходятся по мере к
Итак, предположим, что имеют место соотношения 1) - 3).
Легко видеть, что , где , поэтому из 2) вытекает сходимость по мере последовательности функций , :
Для произвольного найдем тригонометрический полином такой, что
Учитывая, что , и пользуясь оценками (40)-(42), мы находим , ,
что вместе с (38) доказывает равенство (37).
Докажем теперь, что для произвольной функции справедливы соотношения 1)-3). Оценка 1) сразу следует из неравенства Чебышева, так как .
Чтобы доказать 2), фиксируем произвольное и представим функцию в виде
Из непрерывности функции легко следует, что
равномерно по . Поэтому при достаточно больших с учетом (43) мы будем иметь
из этого неравенства и (44) вытекает, что при
Для доказательства оценки 3) заметим, что
где . Применяя неравенство а) утверждения 2 для функции и учитывая, что , получим 3).
Свойства 1)-3) доказаны. Тем самым установлено, что из условия г) в теореме 5 следует б). Для завершения доказательства теоремы 5 достаточно показать, что из в) вытекает г).
. Тогда по теореме 4 , и надо доказать только, что для п.в. .
Так как ядро Пуассона - действительная функция, мы можем утверждать, что при и
С другой стороны, из 2), 8) и (37) вытекает, что для любого ,
Кроме того, в силу утверждения 2, из сходимости ( ) следует сходимость по мере функций к . Таким образом,
а потому , учитывая (46), для п.в. .
Соотношения а) и б) сразу следуют из эквивалентности условий а) и г) в теореме 5.
Согласно теореме 5 , , а следовательно, . Но тогда (для п.в. ) , и из определения класса мы получим, что
Из (48) непосредственно вытекает равенство (47).
Если , то в силу п. г) теоремы 5 и утверждения 2 пространство совпадает с . Для р=1 это не так. Пространство уже, чем , и состоит согласно п. г) теоремы 5 из функций , для которых и .
Полнота с нормой (49) следует из утверждения 2 и полноты пространства : если при , то , , , и так как по мере при , то и при .
Согласно замечанию 3 равенство (47) выполняется, в частности, в случае, когда , , , .
Отметим также, что, взяв в (47) вместо функцию и учитывая б), мы получим
нетангенциальная максимальная функция.
Пусть последовательность ненулевых комплексных чисел (не обязательно различных) - удовлетворяет условию
Рассмотрим произведение(произведение Бляшке)
Для фиксированного , , при имеет место оценка
Так как ряд (51) сходится, то из (53) легко вывести, что произведение (52) сходится абсолютно и равномерно в круге , т.е. функция аналитична в единичном круге и имеет нули в точках , , и только в этих точках. При этом, пользуясь неравенством ( , ), мы находим
Допустим теперь, что ( ) - нули некоторой функции с , причем каждый из них повторяется со своей кратностью. Докажем, что ряд (51) сходится. Положим
Функция ( ) аналитична в круге радиуса больше единицы, и , если . Следовательно, и согласно п.3 теоремы 4 . Но тогда
Так как , , то из (55) вытекает сходимость произведения , а значит, и сходимость ряда (51).
Пусть - аналитическая в круге функция и , ( ) - ее нули, повторяющиеся со своей кратностью. Пусть также - кратность нуля функции при . Произведение
называется произведением Бляшке функции .
Пусть , ( ) - нули функции ( или, что то же самое, нули функции ) Тогда, как отмечалось выше, - аналитическая в круге функция и
При этом функция также аналитична в единичном круге, не имеет в нем нулей и .
Для доказательства обратного неравенства рассмотрим частные произведения (56):
Так как для любого , то по теореме 4
Устремив в последнем неравенстве число m к бесконечности и учитывая, что ( ) равномерно по , мы получим
Пусть , , - произвольное число. Обозначим через , , область, ограниченную двумя касательными, проведенными из точки к окружности , и наибольшей из дуг окружности, заключенных между точками касания ( при вырождается в радиус единичного круга). Для положим
где - интеграл Пуассона функции . Функция называется нетангенциальной максимальной функцией для .
Установим, что для произвольной функции величина не превосходит (по порядку) значения максимальной функции
*)
в точке х, т.е.
где - постоянная, зависящая только от числа р.
Пусть и . По определению интеграла Пуассона
и, в силу неравенства , , и периодичности ,
Так как обе функции и положительны при и отрицательны при ( из (5)), то, предполагая без ограничения общности, что , мы получим
Следовательно, для доказательства неравенства (59) достаточно проверить, что
В остальных случаях неравенство (62) очевидно. Из (58), (59) и утверждения 3 вытекает, что для любой функции , ,
где - постоянная, зависящая только от .
Утверждение теоремы 7 в случае, когда , есть прямое следствие оценки (63) и теоремы 4. Пусть теперь . По теореме 6 , где , , если и . Из функции можно извлечь корень: существует функция такая, что , и, следовательно из (64) при р=2, получим
Оценка снизу для вытекает из (58).
Глава II. Атомические разложения функции
в пространстве
, пространство ВМО.
§II.1.Пространство
, критерий принадлежности функции из
Рассмотрим ( ) - пространство функций , являющихся граничными значениями действительных частей функций из пространства :
и что - банахово пространство с нормой
В замечании 3 уже говорилось о том, что при пространство совпадает с пространством и из утверждения 2 следует, что
Последнее соотношение теряет силу при - нетрудно проверить, что при
и, следовательно, существует функция , для которой . Таким образом, - собственное подпространство в . Ниже мы дадим критерий принадлежности функций к пространству .
Множество мы будем называть обобщенным интервалом, если - дуга на единичной окружности, т.е. - либо интервал из , либо множество вида
Точку назовем центром обобщенного интервала , если - центр дуги . Длиной обобщенного интервала естественно назвать величину
Действительную функцию назовем атомом, если существует обобщенный интервал такой, что
Для того, чтобы выполнялось включение: , необходимо и достаточно, чтобы функция допускала представление в виде
*)
где inf берется по всем разложениям вида (70) функции , а с и С - абсолютные константы.
Пусть для функции нашлось разложение вида (70). Покажем, что и . Для этого достаточно проверить, что для любого атома имеет место неравенство
Пусть - такой обобщенный интервал, что
(случай тривиален). Так как , то нам остается доказать, что
Для любого измеримого множества , применяя неравенство Коши и пользуясь утверждением 2 и соотношениями (73), мы находим
откуда сразу вытекает (74), в случае, когда .
Допустим теперь, что , и обозначим через обобщенный интервал длины с тем же центром, что и . Из (75) следует, что
Нам остается оценить интеграл . Мы воспользуемся очевидным неравенством
где - длина наименьшей из двух дуг единичной окружности, соединяющих точки и , а - абсолютная постоянная. В силу (73) при мы имеем
где - центр обобщенного интервала . Из последнего соотношения, учитывая, что и , мы находим
Оценка (74), а потому и оценка (72) доказаны.
Построим для данной функции разложение (70), для которого
Пусть функция с такова, что выполнено соотношение (65), и пусть ( ) - нетангенциальная максимальная функция для , т.е.
где - область, ограниченная двумя касательными, проведенными из точки к окружности , и наибольшей дугой окружности , заключенной между точками касания.
Теорема 7 утверждает, что , поэтому нам достаточно найти такое разложение функции на атомы (70), что
где постоянные С и ( ) не зависят от . Для построения разложения (70) с условием (76) фиксируем число : пусть, например, . Не ограничивая общности, мы можем считать, что
Так как при любом множество точек единичной окружности открыто, то ясно, что при множество (если оно непустое) представимо (единственным образом) в виде суммы непересекающихся обобщенных интервалов:
Так как конечна для п.в. , то из определения функций , , следует, что для п.в. при , а значит, для п.в.
Отсюда, учитывая, что , а следовательно из (80), при , мы находим, что
где - характеристическая функция множества . Из (81), учитывая, что , мы для функции получаем следующее разложение:
С помощью функций мы и построим нужное нам разложение вида (70). Прежде всего отметим, что при ,
где постоянная зависит только от числа , зафиксированного нами ранее.
Так как из (65) и (75') для п.в. , то из (77) следует, что
Пусть теперь , - один из обобщенных интервалов в представлении (79), тогда из (77) и (78) , и если , - концевые точки дуги ( ) , то , а значит,
Из неравенств (86) согласно (75') следует, что
Легко видеть (учитывая, что и ) , что множества и пересекаются в одной точке:
Пусть , , - отрезок, соединяющий точки и . Так как , , то из непрерывности функции при и неравенства (87) вытекает, что , если , , и . Поэтому , учитывая (88)
Отсюда и из (89), учитывая, что для любой дуги справедливо равенство ,
Легко видеть, что отношение ограничено сверху числом, зависящим только от s, поэтому
Так как , то из соотношений (90) и (80) вытекает, что для , , справедливо неравенство (85). Для п.в. неравенство (85) сразу следует из определения функций и множеств .
Пользуясь оценкой (85) , из (83) мы получаем, что , а это значит, что функции
являются атомами. Тогда, преобразуя неравенство (82), мы получаем разложение функции на атомы:
Оценим сумму модулей коэффициентов указанного разложения. Учитывая равенство (77), имеем
Неравенство (76), а потому и теорема 8 доказаны.
§II.2. Линейные ограниченные функционалы на
, двойственность и ВМО.
Дадим описание пространства , сопряженного к банахову пространству . Нам потребуется
Пространство ВМО есть совокупность всех функций , удовлетворяющих условию
где , а sup берется по всем обобщенным интервалам .
Нетрудно убедится, что ВМО является банаховым пространством с нормой
Ясно, что . В то же время ВМО содержит и неограниченные функции. Нетрудно проверить, например, что функция .
а) если , и для произвольной функции рассмотреть ее разложение на атомы (по теореме 8):
то сумма ряда (94) конечна, не зависит от выбора разложения (93) и задает ограниченный линейный функционал на ;
б) произвольный ограниченный линейный функционал на представим в виде (94), где . При этом
Пусть функция такова, что для любого обобщенного интервала найдется постоянная , для которой
Для любого обобщенного интервала мы имеем
откуда согласно (91) получаем утверждение Леммы 2.
Следствие 2 непосредственно вытекает из леммы 2, если учесть, что
для произвольного обобщенного интервала .
Так как всегда , то, учитывая равенства
Допустим, что ( по утверждению 2 и (66)). По теореме 8 существует разложение
где функции являются атомами и , и при
Из соотношений (96), (97) и (98) вытекает, что при
Отсюда, учитывая, что функции , , по модулю не превосходят суммируемой функции и для п.в. , мы получим, что
определяется ограниченный линейный функционал на всюду плотном в линейном многообразии (плотность функций из в вытекает из теоремы 8, так как для всякой функции частные суммы разложения (70) сходятся к по норме , и, очевидно, принадлежат пространству ). Поэтому функционал можно единственным образом продолжить на все пространство :
Остается доказать, что для любого разложения вида (93) функции ряд (94) сходится и его сумма равна . Последнее сразу следует из (99) и сходимости ряда (93), по норме к :
б) Пусть L - произвольный ограниченный линейный функционал на . Тогда из теоремы 4.1 и (67) для любой функции
(С - абсолютная постоянная). Это значит, что L - ограниченный линейный функционал на , а следовательно, найдется функция с
В частности, равенство (102) выполняется, если - произвольный атом. Докажем, что
Пусть I - произвольный обобщенный интервал, - произвольная функция с . Тогда функция
является атомом и в силу теоремы 8 . Поэтому
Подбирая в последнем неравенстве функцию оптимальным образом, мы получим, что для любого обобщенного интервала I
что с учетом соотношения доказывает оценку (103).
Таким образом, для значение функционала совпадает со значением ограниченного линейного функционала на элементе (см. (99) и уже доказанное утверждение а) теоремы 9). Так как пространство плотно в , то, следовательно,
Полученное равенство завершает доказательство теоремы 9.
1. Кашин Б.С., Саакян А.А. Ортогональные ряды — М.: Наука, 1984.—495с.
2. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа — М.: Наука, 1989. — 623с.
3. Тер-Крикоров А.М., Шабунин М.И. Курс математического анализа — М.: Наука, 1988. —815с.
4. Бари Н.К. Тригонометрические ряды —М.: Гос. издательство физико-математической литературы, 1961. —936с.
5. Маркушевич А.И. Краткий курс теории аналитических функций - М.: Наука, 1978. — 415с.
6. Дж.Гарнетт Ограниченные аналитические функции — М.: Мир, 1984. - 469с.
7. Фихтенгольц Г.М. Основы математического анализа — М.: Наука, 1964.—т.2,—463с.
8. Вартанян Г.М. Аппроксимативные свойства и двойственность некоторых функциональных пространств — Одесса, 1990 —111с.
*)
Мы считаем , что f (x) = 0
, если | x
| > p .
*)
Так как функция определялась для функций , заданных на , то мы дополнительно полагаем , если ; при и при .
*)
В силу условий а) и в) в определении 9 , , поэтому ряд (70) сходится по норме пространства и п.в.
Название: Атомические разложения функций в пространстве Харди
Раздел: Рефераты по математике
Тип: реферат
Добавлен 04:15:33 07 сентября 2005 Похожие работы
Просмотров: 68
Комментариев: 15
Оценило: 4 человек
Средний балл: 5
Оценка: неизвестно Скачать
Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.
Реферат: Атомические разложения функций в пространстве Харди
Сочинение Отзыв Гробовщик
Измерение динамической вязкости жидкостей и газов
Сочинение Описание Любимого Места
Доклад по теме Вывод оборонно-промышленного комплекса из кризиса. Необходимость и возможности
Фонвизин Недоросль Аргументы К Итоговому Сочинению
Управление Государственной Службой В Российской Федерации Реферат
Реферат по теме Самостоятельные занятия студентов физическими упражнениями
Вступительная Часть Сочинения 6 Букв
Реферат: Городское хозяйство и его инфраструктура
Свободное Путешествие Сочинение
Магистерская Диссертация Агрессивность
Курсовая Работа На Тему Пенсионный Фонд Российской Федерации
Реферат: Основные виды термической обработки стали. Скачать бесплатно и без регистрации
Контрольная работа по теме Епоха романтизму
Подготовьте Сочинение Описание Хорошо Знакомой Вам Местности
Курсовая Работа На Тему Обои
Курсовая работа по теме Исследование деятельности суши-бара 'Сушинка'
Курсовая работа по теме Фундаменты мелкого и глубокого заложения
Религия Восточных Славян Реферат
Реферат по теме Компоненты, обладающие свойствами понижать горючесть полимерных материалов
Реферат: “Габитус” в структуре социологической теории
Реферат: Регион островов Юго-Восточной Азии (Индонезия, Сингапур, Филиппины)
Доклад: Северо-причерноморские глазури XIII-XV вв.