Введение к работе
Актуальность темы.
Понятие дискретной аналитической функции на гауссовой решетке G = Z + г Z было введено Р. Ф. Айзексом1. Он классифицировал эти функции на функции первого и второго рода и исследовал функции первого рода.
Далее Ж. Ферран2 и Р. Дж. Даффин3 создали теорию дискретных аналитических функций второго рода. Важные результаты, связанные с поведением дискретных аналитических и гармонических функций на бесконечности были получены С. Л. Соболевым.4 Новые плодотворные аналитические и комбинаторные идеи принес Д. Цайльбергер.5 Их развил и обобщил А. Д. Медных.6 Другой подход к дискретным аналитическим функциям был предложен У. Тёрстоном,7 где была получена эффективная, быстросходящаяся аппроксимация в теореме Римана о конформных отображениях односвязных римановых поверхностей.
Все вышеуказанные результаты основывались на различных непосредственных линейных и нелинейных дискретизациях уравнений Копій — Римана. Напомним1, что дискретная аналитическая функция / : Z + г Z —> С первого рода определяется линейным уравнением
Jm,n-\-l Jm,n ^\Jm-\-l,n Jm,n)j \±)
а дискретная аналитическая функция второго рода определяются уравнением вида:
Jm,n-\-l Jm-\-l,n *VJm+l,ri+l Jm,n)- \^J
Пионерский шаг в понимании природы дискретных аналитических функций был предпринят Р. Дж. Даффиным8, где регулярная решетка Z + г Z была заменена на произвольный граф с ромбическими гранями. Далеко идущие обобщения этих идей были даны К. Мерка9, где линейная теория дискретных аналитических функций была распространена на дискретные римановы поверхности. R. Кэниён10 развил теорию оператора Дирака и построил функцию Грина для линейной теории на ромбических графах. Этот подход привел к важным приложениям в теории кодирования Р. Идальго11.
Второй подход, связанный с нелинейной теорией, основан на идеях У. Тёрстона и показывает, что шаровые упаковки являются естественным дискретным аналогом аналитических функций12
1Isaacs R.F. A Finite Difference Function Theory// Univ. Nac. Tucuman. Revista A. 1941. Vol. 2. P. 177-201.
2Ferrand J. Fonctions Preharmoniques et Functions Preholomorphes // Bull. Sci. Math.,
2ndSer. 1944. Vol. 68. P. 152-180.
3Duffin R.J. Basic Properties of Discrete Analytic Functions// Duke Math. J. 1956. Vol. 23. P. 335-363.
4 Соболев С. Л. Об одном разностном аналоге полигармонического уравнения. //ДАН
СССР. 1965. Т. 164. Н. 1. С. 54-57.
5Zeilberger D. A New Basis for Discrete Analytic Polynomials// J. Austral. Math. Soc. 1977. Vol. 23. (Series A). P. 95-104.
6Медных А.Д. Дискретные аналитические функции и ряд Тейлора // Теория отображений, её обобщения и приложения. Сб. науч. тр. Киев: Наук, думка. 1982. С. 137-144.
7 Thurston W. P. The finite Riemann mapping theorem. Invited talk at international symposium on the occasion of the proof of the Bieberbach conjecture.// Purdue University. 1985.
8Duffin R. J. Potential theory on rhombic lattice. // J. Combinatorial Theory. 1968. Vol. 5. P. 258-272.
9Mercat Ch. Discrete Riemann surfaces and the Ising model.// Commun. Math. Phys. 2001. Vol. 218. P. 177-216. 10'Kenyan R. The Laplacian and Dirac operators on critical planar graphs. // Invent. Math. 2002. Vol. 150. P. 409-439.
^Hidalgo R. A. Godoy M. M. Introduccion a las estructaras de superficies de Riemann discretas. 2007. available at : J) http: //docencia.mat.utfsm.cl/ rhidalgo/files/discreta.pdf
12Beardon A. F., Stephenson K. The uniformization theorem for circle packings. // Indiana Univ. Math. J. 1990. Vol. 39. P. 1383-1425.
із 14 15_ Одним из важнейших результатов данной теории является доказательство того, что голоморфное отображение в классической теории Римана может быть конструктивно аппроксимировано шаровыми упаковками16 17 18. Вариационный подход к шаровым упаковкам обсуждается в деталях в работе А. Бобенко, Б. Спрингборн19.
Слово "нелинейный"является базисным свойством уравнений, описывающих шаровые упаковки. Для функции /:Z + iZ^CHa регулярной решетке такое уравнение введено в20
\Jm+l,n Jm,n) \Jm+l,n+l Jm,n+l) -, /„і
\Jm,n-\-l Jm,n) \Jm-\-l,n-\-l Jm-\-l,n)
Для шаровых упаковок с более глубокими комбинаторными идеями, обобщение этого уравнения на произвольные четырехугольные графы (планарные графы с четырехугольными гранями) дается в21.
Нетрудно увидеть, что в каком-то смысле, решения уравнений (??), (??) и (??) являются дискретными аналогами аналитических функций. Действительно, предположим, что решетке Z + і Z соответствует решетка (т + in) є Є С. Тогда ограничения аналитических функций на эту решетку удовлетворяют соответствующим уравнениям с точностью до О (є2). Более точно, если / : С —>
f(z + ге) - f(z) f(z + e)-f(z) -f(z + ie)-f(z + e) f(z + e + ie)-f(z)
-г + 0(є2), (4)
= г + 0(є2), (5)
1 + 0(є2) (6)
(f(z + є)- f(z))(f(z + є + гє)- f(z + ге))
(f(z + ге) - f(z))(f(z + є + гє)- f(z + є))
Аналогичные соотношения справедливы на более общих графах.
До недавнего времени, линейная и нелинейная теории дискретных аналитических функций развивались раздельно. В работе А. Бобенко, К. Мерка, Ю. Суриса22 показано, что в некотором точном смысле первая теория является линеаризацией второй. Данная теория особенно богата
13Dubejko Т., Stephenson К. Circle packing: experiments in discrete analytic function theory. // Experiment. Math. 1995. Vol. 4. P. 307-348.
14Schramm O. Circle patterns with the combinatorics of the square grid. //Duke Math. J. 1997. Vol. 86. P. 347-389.
15Stephenson K. Circle packing and discrete analytic function theory. //In: Handbook of complex analysis: geometric function theory, Vol. 1, Amsterdam: North-Holland. 2002. P. 333-370.
16 Rodin В., Sullivan D. The convergence of circle packings to Riemann mapping. // J. Diff. Geom. 1987. Vol. 26. P. 349-360.
17Rodin B.,Marden A. On Thurston's formulation and proof of Andreev's theorem. // Lect. Notes Math. 1990. Vol. 1435. P. 103-115.
18He Z.-X., Schramm O. The C. convergence of hexagonal disc packings to Riemann map. // Acta Math. 1998. Vol. 180. P. 219-245.
19Bobenko A., Springborn B. Variational principles for circle patterns and Koebe's theorem. // Trans. AMS. 2004. Vol. 356. P. 659-689.
20Nijhoff F., Capel H. The discrete Korteweg-de Vries equation. Acta Appl. Math. 1995. Vol. 39. P. 133-158.
21Bobenko A. I., Suris Y. B. Integrable equations on quad-graphs. // Internat. Math. Res. Notices. 2002. Nr. 11. 573-611.
22Bobenko A. I., Mercat Ch., Suris Y. B. Linear and nonlinear theories of discrete analytic functions. Integrable structure and isomonodromic Green's function. // J.Reine Angew. Math. 2005. Vol. 583. P. 117-161.
для случая квазикристаллических замощений. Этот класс включает в себя как двойные периодические замощения (которые естественным образом рассматриваются на торе), так и непериодические, подобные замощениям Пенроуза. В работах И. А. Дынникова и С. П. Новикова23 изучены аналитические функции на треугольных и шестиугольных решетках.
Цель работы.
Изучение свойств дискретных аналитических функций, заданных на гаусовой плоскости, а также дискретных аналитических функций многих переменных, заданных на решетке Z2ra С С1.
Установление гомоморфизма пространства аналитических функций в круге на пространство дискретных аналитических на квадрате и описание его ядра.
Получение теорем существования и единственности разложения дискретной аналитической функции в ряд Тейлора по системе псевдостепеней.
Применение основных результатов теории дискретных аналитических функций к решению разностных уравнений.
Методы исследований.
Получение основных результатов опирается на идеи и на методы вещественного, комплексного и функционального анализа, теории интерполяции, исчисления конечных разностей и комбинаторного анализа.
Научная новизна.
Все основные результаты диссертации являются новыми и состоят в следующем:
Доказано, что любая дискретная аналитическая функция одного или нескольких переменных разлагается в сходящийся ряд Тейлора.
Установлено, что разложение дискретной аналитической функции в ряд Тейлора неединственно.
Полностью описаны дискретные ряды Тейлора, тождественно равные нулю на заданных подмножествах гауссовой плоскости.
Дано описание дискретных рядов Тейлора, тождественно равных нулю в положительном октанте гауссова пространства.
Найдены системы псевдостепеней для линейных разностных уравнений с постоянными коэффициентами. Получены разложения решений указанных уравнений в ряды Тейлора по псевдостепеням. Изучены вопросы единственности таких разложений.
Теоретическая и практическая ценность.
Результаты диссертации носят теоретический характер и могут быть использованы специалистами, работающими в области геометрической теории функций, многомерного комплексного анализа, исчисления конечных разностей и комбинаторного анализа.
Апробация работы.
Результаты работы докладывались на следующих российских и международных конференциях и на семинарах ведущих научно-исследовательских институтов и университетов.
— на Девятой Казанской Летней школе-конференции "Теория функций, ее приложения и смеж
ные вопросы", Казань, 1-7 июля, 2009 г.,
на международной конференции "Аналитические функции многих комплексных переменных", Красноярск, 12-18 августа, 2009 г.,
школе-конференции молодых ученых по геометрическому анализу, Горно-Алтайский Государственный Университет, 2-9 августа, 2010 г.,
23 Dynnikov I.A., Novikov S.P. Geometry of triangle equation on two-manifolds. // Moscow Math. J. 2003. Vol. 3. P. 419-438.
— на международной конференции "7-th International Conference of Lattice Path Combinatorics and Applications", Сиена, Италия, 4-7 июля, 2010 г.
Кроме того, результаты диссертации обсуждались на семинаре отдела геометрии и анализа Института математики им. С. Л. Соболева СО РАН под руководством академика Ю. Г. Решет-няка, на семинаре "Геометрия и топология и их приложения" ИМ СО РАН под руководством чл.-корр. РАН И. А. Тайманова, на семинаре "Инварианты трехмерных многоообразий" ИМ СО РАН под руководством чл.-корр. РАН А. Ю. Веснина, на семинаре отдела дифференциальных уравнений ИМ СОРАН под руководством профессора Г. В. Демиденко, на семинаре "Геометрические структуры на многообразиях и орбифолдах" ИМ СО РАН под руководством профессора А. Д. Медных, на семинаре кафедры теории функций и функционального анализа МГУ под руководством чл.-корр. РАН Е. М. Чирки, на совместном семинаре кафедры теории функций и кафедры высшей математики Новосибирского Государственного Университета, на семинаре кафедры теории функций Сибирского Федерального Университета под руководством профессора А. К. Циха, на семинаре "Эварист Галуа" Новосибирского Государственного Университета под руководством профессора В. Г. Бардакова.
Публикации.
Основные результаты диссертации опубликованы в работах [?] - [?].
Структура и объем работы.
Диссертация состоит из введения, трех глав основного содержания, и списка литературы из 37 использованных источников. Общий объем диссертации — 106 страниц.
