НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ГРАНИЧНЫЕ СВОЙСТВА АНАЛИТИЧЕСКИХ ФУНКЦИЙ

ГРАНИЧНЫЕ СВОЙСТВА АНАЛИТИЧЕСКИХ ФУНКЦИЙ - свойства аналитич. функций, проявляющиеся при приближении к границе области определения.

Можно считать, что понимаемое в самом широком смысле изучение Г. с. а. ф. началось с Сохоцкого теоремы и Пикара теоремы о поведении аналитич. функций в окрестности изолированной существенно особой точки, полученных во 2-й пол. 19 в. В лекциях П. Пенлеве (P.Painlevé, 1895) впервые появляются термины того подхода к изучению Г. с. а. ф., к-рый теперь носит назв. теории предельных множеств. В диссертации П. Фату (P. Fatou, 1906) впервые систематически изучаются нек-рые Г. с. а. ф. вблизи непрерывной границы области определения. Примерно в 1-й трети 20 в. теория Г. с. а. ф. получила существенное развитие в трудах многих ученых. После середины 20 в. теория Г. с. а. ф. снова развивается очень бурно, в ней возникают новые идеи и методы, новые направления и объекты исследования. В своем развитии теория Г. с. а. ф. тесно взаимодействует с различными областями математического анализа и математики вообще, в первую очередь с такими, как теория вероятностей, теория гармонических функций, теории конформных отображений, граничных задач аналитических функций, потенциала, распределения значений, римановых поверхностей, субгармонических функций, функциональных алгебр. Через граничные задачи теория Г. с. а. ф. тесно связана с различными областями применения математики.

В связи с тем, что изучение Г. с. а. ф. связано прежде всего с геометрией границы Г области определения D аналитич. функции f(z) одного комплексного переменного z, в теории Г. с. а. ф. выделились три основных направления.

а) Изучение поведения f(z) в окрестности изолированной граничной точки а ∈ Г. Наибольшее значение имеет случай существенно особой точки а, к к-рому относятся Сохоцкого теорема, Пикара теорема, Жюлиа теорема, Иверсена теорема.

б) Изучение поведения f(z) в том случае, когда граница Г есть всюду разрывное множество. Большое значение здесь имела диссертация В. В. Голубева «Однозначные аналитические функции с совершенным множеством особых точек» (1916, см. [1]).

в) Изучение поведения f(z) в том случае, когда область D ограничена непрерывной замкнутой кривой Г. В частности, наиболее важен случай единичного круга.

Случаи а) и в) - в нек-ром смысле крайние, случай б) - промежуточный. Наибольшее внимание исследователей привлек случай в), о к-ром говорится ниже.

Пусть аналитич. функция f(z) определена в конечной односвязной области D комплексной плоскости z, ограниченной жордановой спрямляемой кривой Г. Основными проблемами, характерными для классич. направления изучения Г. с. а. ф., являются следующие.

1) Проблема существования граничных значений, т. е. вопрос о том, при каких условиях и в каком смысле существуют граничные значения f(z) при приближении точки z к Г. Эта проблема, как и последующие, иначе может быть сформулирована как задача о выделении достаточно обширных классов аналитич. функций в D, имеющих в том или ином смысле граничные значения на достаточно массивных множествах точек Г.

2) Проблема граничного представления f(z), т. е. вопрос о том, при каких условиях и при помощи какого аналитич. аппарата может быть выражена зависимость функции f(z) от ее граничных значений на Г. Здесь, очевидно, для различных классов аналитич. функций аналитич. аппарат будет варьироваться.

3) Проблема единственности, или вопрос о том, какими свойствами должно обладать множество Е ⊂ Г, чтобы две аналитич. функции того или иного класса совпадали всюду в D, если их граничные значения на Е совпадают.

Первым результатом в решении проблемы существования явилась теорема Фату (1906): если аналитич. функция f(z) ограничена в единичном круге D = {z; |z| < 1}, |f(z)| ≤ M, то почти всюду по мере Лебега на единичной окружности Г = {z; |z| = 1} существуют радиальные граничные, или предельные, значения f(e) = limr→1-0 f(re). При высказанных условиях можно показать, что почти всюду на Г существуют не только радиальные, но и угловые граничные значения, или граничные значения по всем некасательным путям. Это означает, что f(z) почти для всех точек е ∈ Г стремится к определенному пределу f(e), когда z стремится к точке е, оставаясь внутри любого фиксированного угла

Δ(e, ε) = {|z| < 1} ∩ {|arg(e - z)| < π/2 - ε}, ε > 0,

раствора π - 2εl, меньшего π, с вершиной в точке е, биссектрисой к-рого служит радиус, проведенный в точку e. В определенном смысле теорема Фату неулучшаема; как показал Н. Н. Лузин (1919), для любого множества Е ⊂ Г меры нуль на Г существует ограниченная аналитич. функция f(z) такая, что f(z) не имеет радиальных пределов на Е.

Класс ограниченных аналитич. функций в области D обозначается В(D) или H(D). После результатов Фату первоочередной задачей выглядело распространение его теорем на более широкие классы функций. Различают следующие основные классы аналитич. функций в единичном круге D, связанные строгими включениями:

A(D) ⊂ B(D) = H(D) ⊂ Нp(D) a N*(D) ⊂ N(D). (1)

Класс A(D) - это класс однозначных аналитических в D и непрерывных в замкнутой области D ∪ Г = D̅ функций.

Классы Hp(D) для всех положительных чисел р определяются условием

(2)

Для любых 0 < р1 < р2 < +∞ имеют место строгие включения Н ⊂ Hp2 ⊂ Hp1. Классы Нp впервые встречаются у Г. Харди (1915), и их часто наз. классами Харди. При 1 ≤ р < ∞ в Нp можно ввести норму по формуле (2), а в Н - по формуле

и при этом классы Нp, 1 ≤ р ≤ +∞, наделенные, кроме того, естественной структурой векторного пространства, превращаются в банаховы пространства Харди. При 0 < р < 1 на Нp можно только ввести метрику ρp(f, g) - ||f - g||pp, превращающую Нp в полное метрическое ненормируемое пространство. Класс ограниченных аналитич. функций В = Н содержится в любом классе Нp, р > 0.

Класс N(D) мероморфных функций f(z) в единичном круге D наз. классом функций ограниченного вида; он был введен Р. Неванлинной в 1924. Класс N(D) можно охарактеризовать как совокупность всех мероморфных функций f(z) в D, представимых в виде отношения двух ограниченных регулярных функций f1(z) и f2(z) в D, f(z) = f1(z)/f2(z).

Все регулярные функции f(z) ∈ N(D) образуют подкласс N*(D), причем f(z) ∈ N*(D) тогда и только тогда, когда выполняется условие

где ln+x = ln х при ln х ≥ 0 и ln+x = 0 при ln х < 0. В классе N*(D) содержатся все классы Нp, 0 < р ≤ +∞.

Классы Нp имеют следующее обобщение. Пусть ψ(t) - сильно выпуклая функция при -∞ < t < +∞, т. е. неотрицательная выпуклая неубывающая функция такая, что ψ(t)/t → +∞ при t → +∞. Тогда класс Нψ(D) определяется условием

(2')

[ср. с условием (2), где ψ(t) = еpt].

Основной результат по проблеме существования граничных значений для случая единичного круга D гласит: каждая мероморфная функция f(z) ограниченного вида в D почти всюду на Г имеет угловые граничные значения f(е); эти граничные значения таковы, что функция ln|f(е)| суммируема по Лебегу на Г. Для классов Нp, 0 < р < +∞, или Нψ сюда добавляется свойство: функция |f(e)|p или, соответственно, ψ(ln|f(е)|) суммируема по Лебегу на Г. Для ограниченных функций f(z), |f(z)|≤ M, вместо этого имеем vrai max [f(e)| ≤ M, 0 ≤ 0 ≤ 2π. Таким образом, условие (3) можно охарактеризовать как наиболее широкое достаточное условие на средний рост аналитич. функции f(z) при |z| → 1, обеспечивающее существование почти всюду на Г угловых граничных значений.

Было доказано, что условие (3) нельзя существенно ослабить. Напр., А. Зигмунд (A. Zygmund) доказал, что для произвольной возрастающей функции ψ(t), ψ(t)/t → 0 при 0 < t↑ +∞, существует аналитическая в D функция f(z) такая, что

но не имеющая нигде на Г граничных значений. Также и при произвольно медленном росте максимума М(r; f) = max{|f(z)|; |z| = r} существуют аналитич. функции без радиальных граничных значений.

Граничное представление функций f(z) класса N(D), характеризующее функции этого класса, имеет вид:

(4)

где m - целое число, m = k, если точка z = 0 - нуль кратности k, и m = -k, если z = 0 - полюс кратности k; λ-действительное число;

(5)

- Бляшке произведение, составленное по всем нулям аμ ≠ 0 функции f(z) внутри D с учетом их кратности; B2(z; bν) - произведение Бляшке вида (5), составленное по всем полюсам bν ≠ 0 функции f(z) в D; Ф(θ) - сингулярная функция ограниченной вариации на [0, 2π] с производной, равной нулю почти всюду. Последний интеграл в (4) - типа Лебега-Стилтьеса, первый - типа Лебега.

Как показал М. М. Джрбашян (см. [10]), теория мероморфных функций ограниченного вида допускает существенное расширение. Именно, можно ввести семейство классов мероморфных функций Nα, зависящее от непрерывного параметра α, -1 < α < +∞, причем классы Nα характеризуются такими параметрич. представлениями, из к-рых при α = 0 получается представление (4). При возрастании α классы Nα расширяются, и класс N0 совпадает с классом Неванлинны N.

Для аналитич. функций f(z) ∈ N*(D) в представлении (4) следует положить B2(z; bν) = 1. Для функций f(z) ∈ Hp, 0 < р ≤ +∞, или Hψ в представлении (4) имеем: B2(z; bν) ≡ 1 и Ф(θ) есть невозрастающая функция указанного типа. См. также Коши интеграл.

В проблеме единственности первый результат был получен братьями Ф. и М. Рис (1916): если функция f(z) ∈ H на множестве Е ⊂ Г положительной меры Лебега на Г имеет радиальные граничные значения f(е) = 0, то f(z) ≡ 0 в D. Представление (4) позволяет распространить эту теорему на мероморфные ограниченного вида функции. В то же время Н. Н. Лузин построил (1919) для любого множества Е ⊂ Г меры нуль аналитич. функцию f(z) такую, что f(e) = 0 всюду на Е, когда z → е любым способом, но f(z) не равна тождественно нулю. Наиболее глубокие и общие граничные теоремы единственности для мероморфных функций общего вида были получены Н. Н. Лузиным и И. И. Приваловым в 1925 (см. Единственности свойства, Лузина-Привалова теоремы).

Рассмотрим случай произвольной плоской области D, ограничившись, однако, для краткости, односвязными областями D со спрямляемой границей Г. Условия (2), (3) и (2') равносильны требованию, чтобы субгармонич. функции |f(z)|p, ln+ |f(z)| и ψ(ln|f(z)|), соответственно, имели гармоническую мажоранту в D. В такой форме эти условия вполне пригодны и естественны для определения классов Hp, N* и Нψ в произвольных областях. Известно, что спрямляемая кривая Г почти во всех точках имеет определенную касательную и нормаль. Включения (1) остаются в силе, равно как и теорема Фату о существовании почти всюду на Г угловых граничных значений для класса N*. При этом биссектрисой угловых областей Δ(ζ, ε) следует считать нормаль к Г в точке ζ ∈ Г. Переносится также теорема единственности Ф. и М. Рисов для класса N*.

В случае произвольной области D В. И. Смирнов ввел также часто употребляемые классы Еp, р > 0, со следующим определением: f(z) ∈ Еp(D), если существует последовательность контуров {Гj} ⊂ D, Гj → Г, такая, что

Классы Еp особенно удобны при изучении вопросов представимости функций интегралом Коши.

Значительный интерес вызывает изучение Г. с. а. ф., осуществляющих конформное отображение. Пусть функция z = F(w) осуществляет конформное отображение единичного круга |w| < 1 на область D плоскости z со спрямляемой границей Г. Доказано, напр., что при этом производная F'(w) принадлежит классу Харди Н1 в круге |w| < 1, а следовательно, она представима в форме (4) с B2 = 1 и невозрастающей сингулярной функцией Ф(θ). В. И. Смирнов указал на важность класса S таких областей D, для к-рых эта сингулярная функция Ф(θ) ≡ 0. В 1937 М. В. Келдыш и М. А. Лаврентьев построили пример области со спрямляемой границей, не входящей в этот класс S Смирнова, что еще более подчеркивает важность характеризации областей типа Смирнова.

Усилия многих исследователей направлены также на изучение Г. с. а. ф. f(z) многих комплексных переменных z = (z1, ..., zn). Пусть D = Un = {z ∈ ℂn; |zj| < 1, j = 1, 2, ..., n} - единичный поликруг, Tn = {z ∈ ℂn; |zj| = 1, j = 1, 2, ..., n} - его остов. Класс N*(D) аналитич. функций f(z) в D можно определить условием:

аналогичным (3), а классы Нp(D) или Hψ(D) - условием типа (ψ(t) = еpt для случая Hp(D), р > 0):

где mn - нормированная Хаара мера на Тn, mnn) = 1. Включения типа B = H ⊂ Hψ ⊂ N* сохраняются. Аналитич. функции f(z) ∈ N*(D) почти всюду на Тn по мере Хаара mn имеют «радиальные» граничные значения f*(z) = limr→1-0 f(rz), z ∈ Tn, причем ln+|f*(z)| суммируем на Тn по мере mn. Для граничных представлений и свойств единственности функций f(z) в Un при n > 1 достаточно простых и общих адекватных характеристик пока (1977) не найдено.

Многие граничные свойства переносятся на различные обобщения аналитич. функций, в частности на абстрактные аналитич. функции f : D → X со значениями, напр., в отделимом локально выпуклом топологич. пространстве X над полем ℂ.

Лит.: [1] Голубев В. В., Однозначные аналитические функции. Автоморфные функции, М., 1961; [2] Голузин Г. М., Геометрическая теория функций комплексного переменного, 2 изд., М., 1966; [3] Привалов И. И., Граничные свойства аналитических функций, 2 изд., М.-Л., 1950; [4] Xавинсон С. Я.,в сб.: Итоги науки. Математический анализ. 1963, М., 1965, с. 5-80; [5] Неванлинна Р., Однозначные аналитические функции, пер. с нем., М.-Л., 1941; [6] Носиро К., Предельные множества, пер. с англ., М., 1963; [7] Коллингвуд Э., Ловатер А., Теория предельных множеств, пер. с англ., М., 1971; [8] Мак-Лейн Г., Асимптотические значения голоморфных функций, пер. с англ., М., 1966; [9] Ловатер А., в сб.: Итоги науки и техники. Математический анализ, т. 10, М., 1973, с. 99-259; [10] Джрбашян М. М., Интегральные преобразования и представления функций в комплексной области, М., 1966, гл. 9; [11] Рудин У., Теория функций в поликруге, пер. с англ., М., 1974; [12] Xенкин Г. М., Чирка Е. М., в сб.: Итоги науки и техники. Современные проблемы математики, т. 4, М., 1975, С. 13-142.

Е. Д. Соломенцев.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru