CC BY
48
Доказательство. Необходимость очевидна, так как (/, х) состоит из с.п.ф. оператора А, которые принадлежат области значений оператора А Достаточность следует из теоремы 4 и леммы 4. Следствие. ДА состоит из функций, удовлетворяющих условиям а) и б) из теоремы 5.
Библиографический список
1. Хромов А. П. Интегральные операторы с ядрами, разрывными на ломаных линиях // Мат. сб. 2006. Т. 197, № 11. C. 115-142. [Khromov A. P. Integral operators with kernels that are discontinuous on broken lines // Sb. Math.. 2006. Vol. 197, № 11. P. 1669-1696.]
2. Королева О.А., Хромов А.П. Интегральный оператор с ядром, имеющим скачки на ломаных линиях // Изв. Сарат. ун-та. Нов. сер. 2012. Т. 12. Сер. Математика. Механика. Информатика, вып. 1. C. 33-50. [Koroleva O. A., Khromov A. P. Integral Operator with Kernel Having Jumps on Broken Lines (in Russian) // Izv. Saratov. Univer. New Series. 2012. Vol. 12. Ser. Mathematics. Mechanics. Informatics, iss. 1. P. 33-50.]
3. Корнев В. В. О равносходимости разложений по соб-
ственным функциям интегральных операторов с ядрами, допускающими разрывы производных на диагоналях // Мат. сб. 2001. Т. 192, № 10. C. 3350. [Kornev V. V. Equiconvergence of expansions in eigenfunctions of integral operators with kernels that can have discontinuities on the diagonals // Sb. Math. 2001. Vol. 192, № 10. P. 1451-1469.]
4. Гуревич А. П., Хромов А. П. Суммируемость по Риссу спектральных разложений одного класса интегральных операторов // Дифференциальные уравнения. 2001. Т. 37, № 6. C. 809-814. [Gurevich A. P., Khromov A. P. Riesz summability of spectral expansions for a class of integral operators // Differ. Equ. 2001. Vol. 37, № 6. P. 849-855.]
УДК 517.54
ФУНКЦИЯ КЁНИГСА И ДРОБНОЕ ИТЕРИРОВАНИЕ АНАЛИТИЧЕСКИХ В ЕДИНИЧНОМ КРУГЕ ФУНКЦИЙ С ВЕЩЕСТВЕННЫМИ КОЭФФИЦИЕНТАМИ ^ И НЕПОДВИЖНЫМИ ТОЧКАМИ
О. С. Кудрявцева
Волжский гуманитарный институт (филиал) Волгоградского государственного университета E-mail: Kudryavceva@vgi.volsu.ru
Исследуется проблема дробного итерирования аналитических в единичном круге функций с вещественными тейлоровскими коэффициентами. Предполагается существование внутренней и граничной неподвижных точек. Решение приводится в терминах функции Кёнигса.
Ключевые слова: дробные итерации, однопараметрическая полугруппа, инфинитезимальная образующая, функция Кёнигса, неподвижные точки.
Koenigs Function and Fractional Iteration of Functions Analytic in the Unit Disk with Real Coefficients and Fixed Points
O. S. Kudryavtseva
The present paper deals with the problem of fractional iteration of functions analytic in the unit disk, with real Taylor's coefficients. It is assumed that there exist interior and boundary fixed points. The solution is given in terms of the Koenigs function.
Key words: fractional iterates, one-parameter semigroup, infinitesimal generator, Koenigs function, fixed points.
Пусть р — совокупность всех голоморфных отображений / единичного круга О = {х е С: |х| < 1} в себя. Тогда р представляет собой топологическую полугруппу относительно операции композиции и топологии локально равномерной в О сходимости, роль единицы в которой играет тождественное преобразование /(х) = х. Заметим, что р содержит подгруппу I дробно-линейных преобразований единичного круга О на себя.
В силу согласованности областей определения и значений функции / е р определены её натуральные итерации: /0(х) = х, /:(х) = /(х) и /п(х) = / о /п-1 (х) при п = 2, 3,.... Если же существует семейство {/}^0 аналитических в О функций, удовлетворяющих условиям:
1) /0 (х) = х/1 (х) = /(х),
2) /*+*(х) = / о /8(х) при г ^ 0,
3) /í(х) ^ х локально равномерно в О при г ^ 0,
то говорят, что определены дробные итерации функции /. Отображение г ^ /í является непрерывным гомоморфизмом, действующим из аддитивной полугруппы = {г е К: г ^ 0} в полугруппу р, и называется однопараметрической полугруппой в р.
© Кудрявцева О. С, 2013
67
Всякая однопараметрическая полугруппа £ ^ / в р дифференцируема по £ (см. [1]) и характеризуется своей инфинитезимальной образующей:
= ф)
t=0
посредством дифференциального уравнения
df (z) = v(ft(z)) (1)
с начальным условием ft (z)|t=0 = z.
Функции ft,t ^ 0, имеют общее множество неподвижных точек (см., напр., [2]), среди которых выделяется так называемая точка Данжуа-Вольфа, в терминах которой формулируется общий вид инфинитезимальных образующих однопараметрических полугрупп в P, известный как формула Берксона-Порты (см. [1]).
Вопрос существования дробных итераций и их описания составляет задачу дробного итерирования. Существуют различные постановки этой задачи, но при этом часто требуется, чтобы все итерации наследовали те же свойства, что и исходная функция. Отметим, что общая задача дробного итерирования имеет длительную и богатую историю. Изначально она рассматривалась для функций, которые аналитичны либо в окрестности неподвижной точки [3, 4], либо во всей комплексной плоскости, исключая счётное множество точек [5, 6]. Случай итерирования функций, аналитических в некоторой области, получил развитие позже и он существенно отличается от предыдущих двух (см. [7, 8]).
Пусть функция f е P \ I, f (0) = 0 и f'(0) = 0. Если последовательность натуральных итераций такой функции определённым образом поднормировать, то известно (см., напр., [9, гл. VI, §44]), что существует предел
f n (z)
F(z)= lim тШп , (f '(0))
который представляет собой непостоянную аналитическую в единичном круге D функцию. Этот предел называется функцией Кёнигса. Поскольку
lim fn+1(z) = lim fП (f (z)) = 1 F(f(z)) (f'(0))n+1 = — f'(0) (f'(0))n = f'(0) F (f (z^
то функция Кёнигса есть решение функционального уравнения Шрёдера:
F (f (z)) = f' (0)F (z)
и, кроме того, является единственным решением этого уравнения в классе аналитических в D функций с нормировкой F(0) = 0, F'(0) = 1. Очевидно, что и все натуральные итерации fn, n = 2,3,..., функции f имеют ту же самую функцию Кёнигса F.
Допустим теперь, что существуют дробные итерации функции f. В силу единственности решения задачи Коши (1) функции ft, t > 0, однолистны в D и, следовательно, (ft)' (0) = 0 (здесь и далее запись (ft)' (0) означает производную функции ft(z) по переменной z, вычисленную в точке z = 0). Поэтому можно определить функцию Кёнигса F следующим образом:
F (z) = lim f t(z)
С/4)' (0)'
и она будет общей для всех /£ > 0. Непостоянная функция Р как предел последовательности однолистных функций также является однолистной и
Р (/(г)) = (/)'(0) Р(г), (2)
т. е. функцию Кёнигса Р можно использовать для получения итераций функции / посредством функционального уравнения Шрёдера.
В [10] получено описание класса функций Кёнигса, которые связаны с дробным итерированием функций / е р \ I, /(0) = 0. Вопрос выделения из этого класса функций Кёнигса, подкласса функций Кёнигса, которые соответствуют функциям / е р, сохраняющим начало координат, имеющим
вещественные коэффициенты разложения в ряд Маклорена и дробные итерации которых удовлетворяют этим же свойствам, рассматривался в [11]. В данной работе детализируется результат из [11] в случае, когда существует дополнительная неподвижная точка (в силу принципа гиперболической метрики она может лежать только на единичной окружности T = {z е C : |z| = 1}), в которой дробные итерации имеют конечные угловые производные. Ключевым результатом в исследовании является аналог формулы Берксона-Порты инфинитезимальной образующей однопараметрической полугруппы голоморфных отображений единичного круга D в себя в случае, когда имеются две неподвижные точки (см. [10]).
Обозначим через pr[0; 1] совокупность функций f е p, удовлетворяющих условиям: f (0) = 0, f (n)(0) е R, n = 1, 2,..., и существуют угловые пределы lim f (z) = 1, lim f '(z) = f '(1) < ro.
z —> 1 z —> 1
Через E(pr[0; 1]) будем обозначать совокупность функций f е pr[0;1], для которых существует семейство {ft}t^0 С pr[0;1], удовлетворяющее условиям 1)-3), т. е. E(pr[0; 1]) — это совокупность функций f е pr [0; 1], допускающих дробное итерирование в классе pr [0; 1].
Пусть v — инфинитезимальная образующая однопараметрической полугруппы t ^ ft в pr [0;1]. Получим равенство, связывающее функцию Кёнигса F однопараметрической полугруппы t ^ ft в pr[0; 1] и её инфинитезимальную образующую v.
Дифференцируя (1) по z и полагая z = 0, получаем дифференциальное уравнение — (ft)'(0) =
= v'(0) (ft)'(0) с начальным условием (ft)'(0) = 1, интегрирование которого по t приводит к ра-
t=0
венству (ft) (0) = ev (0)t. Таким образом, уравнение (2) можно записать в виде F (ft(z)) = ev (0)t F(z). Дифференцируя последнее равенство по t и полагая t = 0, получаем соотношение, связывающее функцию Кёнигса F и инфинитезимальную образующую v
F '(z) v(z) = v'(0) F(z). (3)
В силу аналога формулы Берксона-Порты (см. [10]), а также с учётом вещественности коэффициентов функций из pr [0;1], инфинитезимальную образующую v однопараметрической полугруппы t ^ ft в pr [0; 1] можно представить в виде
v(z) = 1 + —, (4)
Г-г + g(z)
где а > 0, функция g голоморфна в единичном круге D, имеет неотрицательную вещественную часть и производные g(n) (0) е R, n = 0,1,....
Следующая теорема даёт интегральное представление класса функций Кёнигса, соответствующих функциям f е E(pr[0; 1]).
Теорема. Пусть f е E(pr [0; 1]), тогда её функция Кёнигса F имеет вид
F(z) = тл-:2л exPS
(1 - z)
(1 — Л) I ln --—1-„
v J J 1 — 2xz + z2 ;
[-1,1]
(5)
с некоторым Л е (0,1] и вероятностной мерой ц на [-1,1]. При этом под степенной функцией и логарифмом понимаются ветви, принимающие значения 1 и 0 соответственно при г = 0.
Обратно, всякая функция Р вида (5) является функцией Кёнигса для функций / е Е(рг[0; 1]), определяемых из равенства /(г) = Р-1 (вР(г)), 0 < в < 1-
Доказательство. Пусть £ ^ /4 — однопараметрическая полугруппа в рг [0; 1] и Р — её функция Кёнигса. Покажем, что функция Р допускает представление (5) с некоторым Л е (0,1] и вероятностной мерой ц на [-1,1].
Как уже отмечалось выше, инфинитезимальная образующая V однопараметрической полугруппы £ ^ /4 в рг [0; 1] имеет вид (4).
Рассмотрим сначала частный случай. Если предположить, что найдётся точка г0 е О такая, что Ие д(г0) = 0, то в силу принципа открытости аналитических функций функция д тождественно равна мнимой константе. Но поскольку д(0) е К, то д(г) = 0. Очевидно, что задаче Коши
)= -а/4(г) (1 - /4(г)) (1 + /4(г)) '
/ * (*)|*=о = * / *(*) -а* *
удовлетворяет частный интеграл -2 = е а-2, который, являясь функциональным
(1 - /*(*)) (1 -
уравнением Шрёдера, определяет функцию Кёнигса ^ рассматриваемой однопараметрической полугруппы: ^(*) = */(1 — *)2. Значит, при сделанном предположении функцией Кёнигса однопараметрической полугруппы Ь ^ /* в рг [0; 1] является известная функция Кёбе.
Пусть теперь Иед(*) > 0 при * е О, тогда функцию д можно представить в виде д(*) = д(0)р(*), где д(0) > 0, р е Сг. Под классом Сг понимается совокупность аналитических в О функций р, удовлетворяющих условиям: Иер(*) > 0 при * е О, р(0) = 1, и производные р(п) (0) е К, п =1, 2,....
Так как функция Кёнигса ^ однолистна в единичном круге О и ^(0) = 0, ^' (0) = 1, то функция ^(*)/* не обращается в нуль в О и можно выделить однозначную ветвь логарифма 1п (^(*)/*), которая обращается в нуль при * = 0. Из равенств (3), (4) получаем
± 1п = 1 ( *у'(0) — Л = 2*/(1 — *) + д(0) (р(*) — 1)
dz z z у v(z) J z (1 + g(0))
Воспользуемся теперь интегральным представлением функций p е Cr:
p(z)_ / 1 -2-zz+ z2 dp(x)' [-1,1]
где p — вероятностная мера на [— 1,1], которое следует из интегрального представления класса Tr типично вещественных в единичном круге D функций (см., напр., [12, гл. XI, §9, п. 5]) и теоремы Рогозинского (см., напр., [13, ch. 2, §2.8, theorem 2.20]), устанавливающей взаимно однозначное соответствие между функциями ^ е Tr и p е Cr. Тогда дифференциальное соотношение для функции Кёнигса можно преобразовать к следующему виду:
d . F(z) _ 2 2g(0) Г x - z
dz n T" _ (1 + g(0))(1 - z) + 1 + g(0) У 1 - 2xz + z2 dp(x)'
[-1,1]
Интегрируя это равенство по z и учитывая выбор ветви логарифма, получаем:
ln FM _ln_1_+ g(0) Г ln_1_dp(x)
z (1 - z)2/(1+g(0)) + 1 + g(0) У 1 n1 - 2xz + z2 dp(x)'
[-1,1]
Обозначая Л _ 1/ (1 + g(0)), Л е (0,1), и потенцируя последнее равенство, приходим к формуле (5) для функции Кёнигса. Необходимость доказана.
Для доказательства достаточности покажем, что при любой вероятностной мере p на [-1,1] формула (5) определяет функцию Кёнигса некоторой однопараметрической полугруппы t ^ ft в pr [0; 1]. Дифференцируя равенство (5), получаем:
F'(z) z Л, (' (x - z)z , , ,
z^-т- _ 1 + 2Л-+ 2(1 - Л) -dp(x)'
F(z) 1 - z v ; J 1 - 2xz + z2 ;
[-1,1]
Выделяя в следующих выражениях ядро Шварца и ядро функций класса Cr,
z 1 1 + z 1 (x - z)z 1 1 - z2 1
1 - z 2 1 - z 2 1 - 2xz + z2 2 1 - 2xz + z2 2
получаем
zF^_ Л — + (1 - Л) / -1 - z2 2 dp(x)'
F(z) 1 - z v ; J 1 - 2xz + z2 ;
[-1,1]
Следовательно, Re {zF'(z)/F(z)} > 0при z е D. Это означает (см., напр., [14, ch. 2, §2.2, theorem 2.5]), что функция F является звёздообразной в единичном круге D, т. е. она однолистна в D и отображает D на область, которая с каждой точкой F(z), z е D, содержит отрезок
= £Р(г): 0 < £ < 1}. Это свойство функции Р позволяет определить семейство {/4}4^0 следующим образом:
/4 (г)= Р-1 (е-4 Р(г)).
Непосредственно из (5) следует, что Р(0) = 0, Р'(0) = 1 и производные Р(п)(0) е К, п = 2, 3,..., поэтому /4 е рг[0] при всех £ ^ 0, т.е. функции /4 е р, сохраняют начало координат и имеют вещественные коэффициенты разложения в ряд Маклорена. Кроме того, отображение £ ^ /4 является однопараметрической полугруппой в рг [0], поскольку условия 1), 3) выполнены и для любых ^ 0 имеем:
/4+5(г) = Р-1 (е-(4+5)Р(г)) = Р-1 (е-4е-5Р(г)) = Р-1 (е-4Р о Р-1 (е-5Р(г))) =
= Р-1 (е-4Р (/5(г))) = /4 о /5(г).
Покажем теперь, что отображение £ ^ /4 является однопараметрической полугруппой в рг[0;1]. Инфинитезимальная образующая V однопараметрической полугруппы £ ^ /4 в терминах функции Р
записывается в виде
v(z)= ^ F-1 (e-4 F(z)
4=0
F (z)
F ' (z)
Однако вычисления, проведённые выше, показывают, что
zF ' (z)
= Л
1 + z 1 - z
+ g(z)
где Л е (0,1], д — голоморфная в единичном круге О функция с неотрицательной вещественной частью и производными д(п) (0) е К, п = 0,1,... Следовательно, инфинитезимальная образующая V соответствует виду (4), а это означает, что £ ^ /4 является однопараметрической полугруппой в рг [0; 1], а Р является её функцией Кёнигса. Теорема доказана. □
Работа выполнена при финансовой поддержке РФФИ (проект 12-01-00434-а). Библиографический список
1. Berkson E., Porta H. Semigroups of analytic functions and composition operators // Michigan Math. J. 1978. Vol. 25, № 1. P. 101-115.
2. Contreras M. D., Díaz-Madrigal S., Pommeren-ke Ch. Fixed points and boundary behaviour of the Koenigs function // Ann. Acad. Sci. Fenn. Math. 2004. Vol. 29, № 2. P. 471-488.
3. Schroeder E. Über itierte Funktionen // Math. Ann. J. 1871. Vol. 3. P. 296-322.
4. Konigs G. Recherches sur les integrales des certaines equations fonctionelles // Ann. Sci. Ecole Norm. Sup. 1884. Vol. 1(3). P. 3-41.
5. Baker I. N. Fractional iteration near a fixpoint of multiplier 1 // J. Australian Math. Soc. 1964. Vol. 4, № 2. P. 143-148.
6. Karlin S., McGregor J. Embedding iterates of analytic functions with two fixed points into continuous groups // Trans. Amer. Math. Soc. 1968. Vol. 132, № 1. P. 137-145.
7. Cowen C. C. Iteration and the solution of functional equations for functions analytic in the unit disk // Trans. Amer. Math. Soc. 1981. Vol. 265, № 1. P. 69-95.
8. Горяйнов В. В. Дробные итерации аналитических в единичном круге функций с заданными неподвижными точками // Мат. сб. 1991. Т. 182, № 9. С. 1281-1299. [Goryainov V. V. Fractional iterates of functions analytic in the unit disk, with given fixed points // Math. USSR Sb. 1993. Vol. 74, № 1. P. 29-46.]
9. Валирон Ж. Аналитические функции. М. : ГИТТЛ, 1957. 235 с. [Valiron G. Analytic Functions. Moscow : Gostekhizdat, 1957. 235 p.]
10. Горяйнов В. В., Кудрявцева О. С. Однопараметри-ческие полугруппы аналитических функций, неподвижные точки и функция Кёнигса // Мат. сб. 2011. Т. 202, № 7. С. 43-74. [Goryainov V. V., Kudryavtseva O. S. One-parameter semigroups of analytic functions, fixed points and the Koenigs function // Sb. Math. 2011. Vol. 202, № 7. P. 971-1000.]
11. Кудрявцева О. С. Дробное итерирование аналитических в единичном круге функций с вещественными коэффициентами // Вестн. Волгогр. гос. ун-та. Сер. 1. Математика. Физика. 2011. № 2(15). С. 5062. [Kudryavtseva O. S. Fractional iteration of functions analytic in the unit disk, with real coefficients // Vestn. Volgograd. Gos. Un-ta. Ser. 1. Mathematics. Physics. 2011. № 2(15). P. 50-62.]
12. Голузин Г. М. Геометрическая теория функций комплексного переменного. М. : Наука, 1966. 628 с. [Goluzin G. M. Geometric Theory of Functions of a Complex Variable. Providence, R. I. : Amer. Math. Soc., 1969. 676 р.]
13. Duren P. L. Univalent functions. New York; Berlin; Heidelberg; Tokyo : Springer-Verlag, 1983. 383 p.
14. Pommerenke Ch. Univalent functions. Gottingen : Vandenhoeck and Ruprecht, 1975. 376 p.
