Научная статья на тему 'О восстановлении аналитической функции в спиральной звезде Миттаг-Леффлера по значениям на множестве единственности'

О восстановлении аналитической функции в спиральной звезде Миттаг-Леффлера по значениям на множестве единственности Текст научной статьи по специальности «Математика»

CC BY
140
17
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КРАТНЫЙ СТЕПЕННОЙ РЯД / МНОЖЕСТВО ЕДИНСТВЕННОСТИ / ЗВЕЗДА МИТТАГ-ЛЕФФЛЕРА / ГЛАВНАЯ ЗВЕЗДА / АНАЛИТИЧЕСКОЕ ПРОДОЛЖЕНИЕ / СУММИРОВАНИЕ КРАТНОГО СТЕПЕННОГО РЯДА / МАТРИЧНЫЕ МЕТОДЫ СУММИРОВАНИЯ / СПИРАЛЬНЫЕ ОБЛАСТИ / ОБЛАСТИ ЭФФЕКТИВНОЙ СУММИРУЕМОСТИ / MULTIPLE POWER SERIES / A LOT OF UNIQUENESS / THE STAR OF THE MITTAG-LEFFLER / THE MAIN STAR / ANALYTIC CONTINUATION / SUMMATION OF MULTIPLE POWER SERIES MATRIX METHODS OF SUMMATION / SPIRAL REGION / THE AREA EFFECTIVE SUMMABILITY

Аннотация научной статьи по математике, автор научной работы — Яковлев Е.И.

В случае одного комплексного переменного традиционным множеством единственности в классе аналитических функций является множество, содержащее предельную точку. Наиболее известным множеством единственности в многомерном случае является «вещественная» окрестность точки. Для определенного класса областей множество единственности в многомерном случае может быть уменьшено. Например, в работах С. В. Знаменского указывается счетное подмножество на остове полидиска, по значению на котором голоморфная функция восстанавливается во всем полидиске. Иногда функция может быть продолжена и в большую область. Так, в работах Ж. Адамара, Г. Миттаг-Леффлера, Ле Руа, Линделефа были предложены методы суммирования, дающие хорошие результаты для аналитического продолжения степенного ряда в случае звездных областей комплексной плоскости. В дальнейшем, для одномерного случая в работах Н. У. Аракеляна был предложен метод восстановления аналитического элемента с помощью универсальных матричных методов суммирования в классе спиральных областей. Настоящая работа посвящена восстановлению аналитической функции, заданной на счетном множестве единственности остова полидиска, в максимальную спиральную область, называемую (m,α)-звездой Миттаг-Леффлера данной функции. Восстановление производится с использованием многомерных матричных методов суммирования кратного степенного ряда, которые строятся с помощью одномерных матричных методов суммирования степенного ряда. При этом апробация построенных многомерных матричных методов суммирования кратного степенного ряда проводится с помощью одномерной геометрической прогрессии.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Яковлев Е.И.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ABOUT RESTORY OF ANALYTIC FUNCTIONS IN THE MITTAG-LEFFLER’S SPIRAL STAR BY THE VALUES ON A SET OF UNIQUENESS

In the case of one complex variable, many traditional set of uniqueness in the class of analytic functions is the set containing the limit point. The most famous variety of uniqueness in the multivariate case is a “real” neighborhood of a point. For a certain class of many domains of uniqueness in the multidimensional case can be reduced. For example, in the works of S. V. Znamenskii a countable subset on the skeleton of polydisc, the value of a holomorphic function is restored throughout polydisc are specified. Perhaps the function can be continued in a larger area. In the works of J. Hadamard, G. Mittag-Lefler, Le Roy, Lindelof the so-called summation methods that give good results for analytic continuation of a power series in the case of star fields of the complex plane have been proposed. Further, for the one-dimensional case, in the works of N. At. Arakelyan the restoration of the analytical element using the universal matrix methods of summation in class helical regions was obtained. The present work is devoted to the restoration of analytic functions defined on a countable set of uniqueness skeleton of polydisc, in the helical region, called (m,α) is the star of the Mittag-Lefler of this function. Recovery is carried out using multidimensional matrix methods of summation of multiple power series, which are constructed using one-dimensional matrix methods of summation of power series. While testing a multivariate matrix methods of summation of multiple power series are performed using a one-dimensional exponentially.

Текст научной работы на тему «О восстановлении аналитической функции в спиральной звезде Миттаг-Леффлера по значениям на множестве единственности»

УДК 517.55

Вестник СибГАУ Том 17, № 1. С. 110-115

О ВОССТАНОВЛЕНИИ АНАЛИТИЧЕСКОЙ ФУНКЦИИ В СПИРАЛЬНОЙ ЗВЕЗДЕ МИТТАГ-ЛЕФФЛЕРА ПО ЗНАЧЕНИЯМ НА МНОЖЕСТВЕ ЕДИНСТВЕННОСТИ

Е. И. Яковлев

Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Российская Федерация, 660037, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31

E-mail:yei@nm.ru

В случае одного комплексного переменного традиционным множеством единственности в классе аналитических функций является множество, содержащее предельную точку. Наиболее известным множеством единственности в многомерном случае является «вещественная» окрестность точки. Для определенного класса областей множество единственности в многомерном случае может быть уменьшено. Например, в работах С. В. Знаменского указывается счетное подмножество на остове полидиска, по значению на котором голоморфная функция восстанавливается во всем полидиске.

Иногда функция может быть продолжена и в большую область. Так, в работах Ж. Адамара, Г. Миттаг-Леффлера, Ле Руа, Линделефа были предложены методы суммирования, дающие хорошие результаты для аналитического продолжения степенного ряда в случае звездных областей комплексной плоскости. В дальнейшем, для одномерного случая в работах Н. У. Аракеляна был предложен метод восстановления аналитического элемента с помощью универсальных матричных методов суммирования в классе спиральных областей.

Настоящая работа посвящена восстановлению аналитической функции, заданной на счетном множестве единственности остова полидиска, в максимальную спиральную область, называемую (т,а)-звездой Миттаг-Леффлера данной функции. Восстановление производится с использованием многомерных матричных методов суммирования кратного степенного ряда, которые строятся с помощью одномерных матричных методов суммирования степенного ряда. При этом апробация построенных многомерных матричных методов суммирования кратного степенного ряда проводится с помощью одномерной геометрической прогрессии.

Ключевые слова: кратный степенной ряд, множество единственности, звезда Миттаг-Леффлера, главная звезда, аналитическое продолжение, суммирование кратного степенного ряда, матричные методы суммирования, спиральные области, области эффективной суммируемости.

Vestnik SibGAU Vol. 17, No. 1, P. 110-115

ABOUT RESTORY OF ANALYTIC FUNCTIONS IN THE MITTAG-LEFFLER'S SPIRAL STAR BY THE VALUES ON A SET OF UNIQUENESS

E. I. Yakovlev

Reshetnev Siberian State Aerospace University 31, Krasnoyarsky Rabochy Av., Krasnoyarsk, 660037, Russian Federation

E-mail: yei@nm.ru

In the case of one complex variable, many traditional set of uniqueness in the class of analytic functions is the set containing the limit point. The most famous variety of uniqueness in the multivariate case is a "real" neighborhood of a point. For a certain class of many domains of uniqueness in the multidimensional case can be reduced. For example, in the works of S. V. Znamenskii a countable subset on the skeleton of polydisc, the value of a holomorphic function is restored throughout polydisc are specified.

Perhaps the function can be continued in a larger area. In the works of J. Hadamard, G. Mittag-Lefler, Le Roy, Lin-delof the so-called summation methods that give good results for analytic continuation of a power series in the case of star fields of the complex plane have been proposed. Further, for the one-dimensional case, in the works of N. At. Arakelyan the restoration of the analytical element using the universal matrix methods of summation in class helical regions was obtained.

The present work is devoted to the restoration of analytic functions defined on a countable set of uniqueness skeleton of polydisc, in the helical region, called (m,a) is the star of the Mittag-Lefler of this function. Recovery is carried out using multidimensional matrix methods of summation of multiple power series, which are constructed using

one-dimensional matrix methods of summation ofpower series. While testing a multivariate matrix methods of summation of multiple power series are performed using a one-dimensional exponentially.

Keywords: multiple power series, a lot of uniqueness, the star of the Mittag-Leffler, the main star, analytic continuation, summation of multiple power series matrix methods of summation, spiral region, the area effective summability.

Введение. Примерно сотню лет назад ученые начали использовать теорию функций комплексных переменных для описания неравномерных полей, для моделирования сложных потоков, для описания вращающихся полей и стали получать модели комплексных переменных, которые значительно проще описывают сложные объекты и явления, нежели модели действительных переменных. Задачи гидродинамики и газовой динамики, авиастроение, самолетостроение и ракетостроение используют комплексные переменные как основной математический инструмент моделирования. Например, теория подъемной силы крыла самолета опирается на построение аналитической функции, которая носит имя «дедушки» русской авиации Жуковского. Теорема единственности определяет одно из классических свойств аналитических функций. Если из обращения аналитической функции на множестве следует ее тождественное равенство нулю, то обычно такое множество называют множеством единственности.

В случае «-мерного комплексного пространства С множеством единственности является «вещественная» окрестность точки. В зависимости от вида области размерность множества единственности может быть уменьшена. Обычно это наблюдается для тех областей в С, у которых граница Шилова области является собственной частью границы самой области. Особенно наглядно это получается в случае полицилиндра. Классическая формула Коши восстанавливает значение функции, голоморфной в полидиске, по ее значениям на остове полидиска. В работах [1; 2] С. В. Знаменского указывается счетное подмножество на остове полидиска, по значению на котором голоморфная функция восстанавливается во всем полидиске.

В некоторых случаях функция может быть продолжена в большую область. Вопросам аналитического продолжения степенного ряда, в частности путем переразложения ряда, в случае одного переменного посвящена монография [3], содержащая соответствующую библиографию. В дальнейшем, более эффективные методы суммирования степенного ряда (аналитического продолжения с помощью матричных методов) были предложены Миттаг-Леффлером, Лин-делефом, Ле Руа и другими математиками (см., например, [3-5]). Для п = 1 в случае звездных областей достаточно подробная библиография имеется в [6-8], для случая спиральных областей - в [9]. В дальнейшем, Аракеляну [9] удалось показать, что аналитическое продолжение однократного степенного ряда с помощью матричных методов суммирования возможно только в спиральные области.

В случае многих переменных в работах [10-13] предлагаются различные методы суммирования кратного степенного ряда для звездных областей. В [14] предложен метод, позволяющий суммировать крат-

ный степенной ряд в случае параболически звездных областей (см. ниже определение 1, при а = (0, ..., 0)). В работе [15] предлагаются методы суммирования кратного степенного ряда, позволяющие суммировать этот ряд в классе областей в С, естественным образом обобщающих как спиральные, так и звездные.

Используя формулу из [1; 2], восстанавливающую аналитическую функцию в единичном полидиске по счетному множеству единственности на остове полидиска, в настоящей работе по значениям функции на дискретном множестве единственности, расположенном на остове полидиска, функция восстанавливается в произвольной спиральной звезде Миттаг-Леффлера по схеме, предложенной в [15].

Основные обозначения и формулировки. Обозначим г = (г1, ..., г«) - точки «-мерного комплексного

пространства С, К> := {х 6 К«; X > 0, ...,хп > о|, Гг = {ге С« := ^|; к = (к1, ...,к«) - мультииндексы, ||к||= к, + ...+ к« , к! = кх\...кп !, гк = гк1 :.,гк« , V = и«01, ...,г«) = {г 6 С« : < г]|, V = V«(1, ...,1),

I т I

Q> := <1 —: т.« е N !>.

Пусть

f ( Zl,

, ) =z

k1 ...kn 1

(1)

И>0

«-кратный степенной ряд, который сходится в некотором полидиске иг в С. Функции, голоморфные

в иг и непрерывные вплоть до замыкания иг , обозначим А(иг). Для таких функций классическая формула Коши позволяет восстанавливать их значения внутри полидиска по значениям функции на остове.

В [1; 2] решается задача восстановления функции из А(и) по значениям этой функции на дискретном множестве единственности, расположенном на остове единичного полидиска V. Пусть положительные числа Ь1, ...,Ь« выбраны так, что величины 1п Ь1, ... ..., 1пЬ« вместе с числом л линейно независимы над кольцом целых чисел, тогда набор точек

Р = {ь1'1

'1 ' ■ • • 'ип

является множест-

вом единственности для функции, голоморфной в единичном полидиске V и непрерывной вплоть до его остова. Формула, восстанавливающая функцию f по набору Р, анонсирована С. В. Знаменским в [1], ее подробное доказательство изложено в [2]. Приведем полную формулировку теоремы из [2].

Теорема А ([2], с. 47, теорема 1). Пусть f е А(и).

Тогда при г е V

f (zu z„ ) =

i m

= lim -— У

„. О™ ¿—I

f (bik )

(2)

'2шк(1 -^))...(1 -гяЬ?к>)' где последовательность 5(к) определяется выбором р. При 5(к) = -Iк формула верна для всех г е и .

Замечание 1. Формула (2) восстанавливает функцию Д(г) в замыкании единичного полидиска по дискретному множеству р, последовательность 8(к) определяется выбором р. Для внутренних точек полидиска можно взять 8(к) = -Iк . Поэтому в дальнейшем будем считать 8(к) = -Iк .

Замечание 2. Формулу (2) с помощью замены несложно выписать для произвольного полидиска

иг = и" (г, ...,гп) с радиусами (гх, ..., тп):

Д (Zl,..., 2" ) =

= lim -L- У

_ О™ i—'

f (rbik )

> 2т к=т (1 -^Ь^)...(1 - '2"Тп1 -Ь(к})'

Задача аналитического продолжения функции, заданной кратным степенным рядом, в спиральную область с помощью одномерных матричных методов решена в [15]. Для формулировки основного результата настоящей работы приведем определение класса областей из [15].

Определение 1. Пусть х е Я", аеЯ" . Множество О в С назовем (х, а)-спиральным относительно начала координат, если вместе с каждой точкой

г0 = (г®, ...,г") в множестве О содержится (х, а)-отрезок

r(x,a) ._

= {z е Cn : z1 = zVl(1+iai),

z0

0 , xn (1+/a n )

zn = Z tn ( n

t е [0,1]} с G.

Если функция Дг) голоморфна в некоторой окрестности начала координат в С, то максимальную (х, а)-спиральную область ОД-'а, в которую голоморфно можно продолжить функцию Д назовем (х, а)-спиральной звездой Миттаг-Леффлера функции Д или просто (х, а)-звездой. Максимальная звездная область О, в которую голоморфно продолжается ряд (1), называется звездой Миттаг-Леффлера (или главной звездой) ряда (1) или функции Дг).

Понятие (х, а)-спиральной звезды Миттаг-Леффлера шире понятия звезды Миттаг-Леффлера. Соответствующие примеры имеются в [13-15]. Для п = 1 класс (х, а)-спиральных областей переходит в спиральные области (см. [3], с. 40 и [9], с. 38).

Цель настоящей работы, опираясь на представление функции в единичном полидиске из [2], формулу (2) и результаты из [15], - доказать формулу, позволяющую восстановить функцию Д в ее (х1, ...,хп; а, ..., а) -звезде Миттаг-Леффлера по значениям этой функции на дискретном множестве единственности, расположенном на остове единичного полидиска и. Основным результатом работы является следующая теорема.

Теорема 1. Пусть f е A(U), z е G|x'a) справедлива формула

УО^ ..., zn) =

1 m

= Uni lim — У f (bik Tx;a,P)(ztf, p^po 2m k=_m

x е Qn. Тогда для

..., znb'nk X

(3)

где метод суммирования Т( х;а) построен по одномерному методу Та из класса 51 по формуле (6).

Следствие 1. Формула для произвольного полидиска с радиусами г = (г1, ..., гп) имеет вид

Д(z1, ..., 2п ) =

1

= lim lim — У f (rbik T

P^Po m~

3 2m

k=—m

( x;a,p)

^ bik

Zn bik

1

Замечание 3. Если бы можно было переставить местами пределы (а это заведомо можно сделать внутри полидиска) и перейти к пределу по р, то мы получили бы формулу (2) для полидиска из теоремы A.

Приведем необходимые для доказательства теоремы 1 формулировки и понятия из [15].

Пусть P = {р} - множество на вещественной оси,

имеющее предельную точку р0 такую, что р0 £ P, и пусть

Т(z) = У ct(р)zk = У ch..in(р)zk ...zk„n (4)

||k||>0 ||k||>0

степенной ряд, коэффициенты которого зависят от произвольного реP , сходящийся в С".

Определение 2. Будем говорить, что матрица T = {ck (р)} = С...kn (р)} или матричный метод Т суммирует ряд (1) в области й( f е H(й)), если:

1) композиция Адамара рядов (1) и (4)

Т * f (z) = У ck(р)%/ = У Ck1... kn(рК..^... (5)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

||k||>0 ||k||>0

при фиксированном ре P абсолютно сходится в некоторой полной, логарифмически выпуклой, области, содержащей й;

2) локально равномерно в О (равномерно на любом компакте из О) выполняется равенство

f (z) = lim Тр *f (z), Vz ей

р^р0

Замечание 4. Можно рассматривать класс матричных методов Т, которые при реP не задают целую функцию, но выполняется условие 1. Это существенно расширит класс рассматриваемых методов, но вызовет определенные трудности при проверке условия 1. Если ряд (1) сходится в непустой окрестности 0 и матричный метод Т при ре P задает целую

функцию, тогда условие 1 не требует проверки, оно выполняется автоматически. Что и предполагается в настоящей работе.

Для одномерного случая теорема Окада [6; 9] позволяет апробировать каждый из матричных методов лишь на геометрической прогрессии. Если матричный

метод суммирует геометрическую прогрессию в ее а-спиральной звезде Миттаг-Леффлера, то этот метод суммирует любую функцию в ее а-спиральной звезде Миттаг-Леффлера. Для многомерного случая вариант теоремы Окада для случая звездных областей предложен в [13].

Опишем класс одномерных методов суммирования, необходимых для построения многомерных методов, используемых в теореме 1.

Определение 3. Обозначим через S класс одномерных методов суммирования (полунепрерывных матричных методов) Ta = jT-a (р), ре p сосвойствами:

1. Функция Фт (X) = Z T* (p)Xk

является целой

k=0

для произвольного ре Р, Хе С .

2. Матричный метод Та суммирует геометрическую прогрессию g(Х) = (1 - Х)-1 всюду в ее а-спиральной звезде Миттаг-Леффлера О

(1-X)-

То есть

Р^Ро

ГДе F(X;a) (2) = Z T<k,m> (P)ak1... knz1kl .

, теР -

||k ||>0

композиция Адамара ряда (1) и ряда

T(X;a)(2) = Z T<ak m> (Р) zikl... znkn

,pe P.

||k||>0

С помощью теоремы удобно конструировать многомерные матричные методы по одномерным. К сожалению, суммировать такие методы могут кратные степенные ряды в спиральных звездах только с когерентной мнимой частью, т. е. при а1 =... = а« = а .

z е G(/'a).

(8)

локально равномерно выполняется равенство (1 -X)-1 = lim T *(1 -X)-1, VXeG"

X—>Xq (1-X)

Произвольному матричному методу из класса S и Ух е Q> можно поставить в соответствие многомерный матричный метод по правилу

T x;a ,m> (р), ре р}, (6)

где m = (m1, ..., mn) - первая целочисленная точка с положительными координатами, лежащая на луче, выходящем из нуля и проходящем через точку х. Для дальнейшего изложения нам необходима теорема об аналитическом продолжении с помощью матричных методов. Приведем ее полную формулировку из [15] в удобном для дальнейшего использования виде.

Теорема B. Пусть функция f задана кратным степенным рядом (1), сходящимся в окрестности нуля

в С", х е Q>, Gfx,a) - ее (х1, ..., xn; a, ..., a)-

спиральная звезда Миттаг-Леффлера и многомерный метод T(x;a) построен по одномерному методу Ta

из класса S по формуле (6). Тогда всюду в Gfx,a) метод Tx;a) локально равномерно суммирует функцию f То есть справедлива формула

f (z) = lim F(X;a)(z), Vz е G(x'a), (7)

Основные доказательства. Теорема В позволяет восстанавливать функцию по ее значениям на достаточно «тонких» и даже дискретных множествах во всей спиральной звезде Миттаг-Леффлера. Для доказательства теоремы 1 нам потребуется лемма.

Лемма. Пусть х е Q> , / е А(V.), О(х,а) - ее (х1, ..., х«; а, ..., а)-спиральная звезда Миттаг-Леффлера и многомерный метод Т(х;а) построен по одномерному методу Та из класса 5" по формуле (6). Тогда всюду в Осправедлива формула f (ги ..., г«) =

Г'- ) ?,

Г г

Формула справедлива для всех точек в О(х,а^

(х1, ..., х«; ах, ..., а«)-звезде f Здесь а! = ... = а« = а.

Замечание 4. Лемма показывает, что функцию можно восстановить в спиральной звезде по значениям на остове полидиска. Если бы можно было переставить местами предел и интеграл, то мы получили бы интегральное представление Коши для полидиска.

Доказательство леммы. Для внутренности полидиска Vг формула доказывается простым разложением в ряды подынтегральных функций с последующим их перемножением и почленным интегрированием. Для точек, принадлежащих (х1, ..., х«; а, ..., а)-звездеf, следует воспользоваться теоремой В из статьи [15] о суммировании матричными методами в спирально-когерентной области.

Рассмотрим интеграл в правой части формулы (8) и разложим подынтегральное выражение в степенные ряды:

¿Г / f (C)T(x;a.P) (71-

q

n j Z aki...knClkl...

(2^г) v ||k||>o

...Cnk" Z Ck1... kn (P)

||k ||>0

( \k1

k

Zn.

d q

q '

В подынтегральном выражении первый ряд сходится абсолютно, а второй представляет целую функцию, поэтому их почленное произведение представляет степенной ряд, сходящийся равномерно и абсолютно по переменным д на остове полидиска при

произвольном г е С« . Следовательно, ряд, полученный произведением указанных рядов, можно почленно проинтегрировать по остову полидиска. Воспользуемся известной формулой

.. дМ = | 1,(к„ -,к«) = (-1, -,^ (9) [0,(к1, ...,к«) * (-1, ...,-1).

(2ni)n rj q"

Интегрируя, получим правую часть формулы (7):

Tp *f(z) = Z ck(P)akzk = Z ck1... kn (P)ak1... knz1k1... zknn

||k||>0

||k ||>0

В силу формулы (7) теоремы В

f (z) = lim Тр * f (z), Vz е G<x'a).

р^р0

Лемма доказана.

Доказательство теоремы 1. Следуя лемме, представим функцию fz) по формуле (8), здесь полидиск Гг компактно лежит внутри единичного полидиска. Поэтому подынтегральную функцию можно заменить по формуле (2) из теоремы А:

1

f (z^ ...,zn) = lim .. "

p-po (2го)"

I х if lim— V

J х-® 9Î ¿-Í

f (biv )

T I z I Él

T(x;a,p) I I .

rr^2Xvtl(1 -Ctbr)...(1 ?

Так как сумма при каждом v конечна, подынтегральное выражение непрерывно зависит от v, интеграл сходится равномерно и абсолютно, а также переменные интегрирования не зависят от предельного перехода при произвольном z из некоторого компакта, то можно знак предела и суммы вынести за знак интеграла:

1 m 1

f(zx, ...,zn) = lim lim - У f (biv)—— x P^P02m v=-m (2m)n

1

4 d ?

"Гг (1 -Cxbf )...(1 )Т(х;а,р) [q J"q '

В подынтегральном выражении первый сомножитель можно разложить по степеням q, и полученный степенной ряд будет сходиться абсолютно и равномерно на остове полидиска Гr. Второй сомножитель представляет целую функцию по переменным q

Cn

.

Почленное произведение этих двух рядов представляет степенной ряд, сходящийся равномерно и абсолютно по переменным q на остове полидиска при произвольном z е Cn . Однако следует заметить, что подынтегральное выражение будет равномерно ограничено лишь при z е G|x'a). Следовательно, ряд, полученный произведением указанных рядов, можно почленно проинтегрировать по остову полидиска. Воспользуемся формулой (9). После интегрирования для z е Ur правая часть, очевидно, будет стремиться

к f (z) . В силу теоремы В, для всех z е правая

часть будет равномерно ограничена при произвольных р и X. Опираясь на теорему Монтеля (принцип компактности аналитических функций), получим

f (zl, ..., zn) = 1 1

= lim lim — У f (biv)Т( )(zrf, ..., znbn); р^р021 v=-x

z e G

( x,a) f.

Теорема 1 доказана.

Заключение. С помощью формулы (3) из теоремы 1 можно восстанавливать голоморфную функцию внут-

ри спиральной звезды Mиттаг-Леффлеpа, зная ее значения на счетном множестве единственности, расположенном на остове единичного полидиска. Следствие 1 позволяет перейти к полидиску с произвольными радиусами.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Библиографические ссылки

1. Знаменский С. В. Связь аналитических функций многих переменных с рядами Дирихле одного переменного. Приложение к представлению нелинейных аналитических операторов // Докл. AH СССР. 1975. Т. 223, № 3. С. 544-547.

2. Знаменский С. В. Связь аналитических функций многих переменных, аналитических функционалов и операторов с рядами Дирихле одного переменного и некоторые ее приложения // О голоморфных функциях многих комплексных переменных / ИФ СО AH СССР. Красноярск, 197б. С. 4б-59.

3. Biberbach L. Analytische Fortsetzung. Berlin : Springer-Verlag, 1955, 240 p.

4. Mittag-Leffler G. Sur la representation d'une branche uniforme d'une fonction monogene // Acta Math. 1905. No. 29. P. 101-1S2.

5. Le Roy E. Sur les series divergentes et les functions d'efines par un d'evelopement de Taylor // Ann. Fac. Sci. Univ. Toulouse, 1990. No. 2. P. 317-430.

6. Hardy G. H. Divergent series. Oxford : Clarendon Press, 1949, 503 p.

7. Кук Р. Бесконечные матрицы и пространства последовательностей. M. : Физматгиз, 19б0. 474 с.

S. Рамис Ж.-П. Расходящиеся ряды и асимптотические теории. M. ; Ижевск : Ин-т. комп. исслед., 2002. S0 с.

9. Apaкелян H. У. Об эффективном аналитическом продолжении степенных рядов // Maтем. сб. 19S4. Т. 124, № 5. С. 24-44.

10. Mуpaев Э. Б. Эйлеровское и борелевское суммирования рядов, их обобщения и приложения : дис. ... д-ра физ.-мат. наук. Швосибирск, 1992. Зб4 с.

11. Downarovich M. Analytic continuation of series of homogeneous polynomicals of n complex variables // Prace Mat. 1975. № 17. Р. 23.

12. Arakelian N. H. Efficient harmonic continuation of the Laplace series // J. Contemp. Mathemat. Anal. 2012. Vol. 47, no. 3. P. 105-123.

13. Яковлев E. И. Aнaлoг теоремы Окада // Вестник КрасГУ. 200б. № 9. C. 111-113.

14. Яковлев E. И. Об аналитическом продолжении кратного степенного ряда с помощью m-однород-ных полиномов матричным методом в обобщенную звезду Mиттaг-Леффлеpa // Вестник CибГAУ. 2013. № 4(50). C. S7-92.

15. Яковлев E. И. Об аналитическом продолжении кратного степенного ряда с помощью одномерных матричных методов суммирования // Вестник Сиб^У. 2014. № 3(55). С.172-177.

References

1. Znamenskiy S. V. [The relationship of analytic functions of many variables with Dirichlet series of a single

variable. Application to the representation of nonlinear analytic operators] Dokl. ANSSSR, 1975, Vol. 223, No. 3, P. 544-547 (In Russ.).

2. Znamenskiy S. V. [The relationship of analytic functions of several variables, analytic functionals, and operators with Dirichlet series of a single variable and some of its application]. O golomorffnykh funktsiyakh mnogikh kompleksnykh peremennykh. [About holomor-phic functions of several complex variables]. 1976, Krasnoyarsk, IF SO AN SSSR Publ., P. 46-59.

3. Biberbach L. Analytische Fortsetzung, SpringerVerlag, Berlin, 1955, 240 p.

4. Mittag-Leffler G. Sur la representation d'une branche uniforme d'une fonction monogene, Acta Math, 1905, No. 29, P. 101-182.

5. Le Roy E. Sur les series divergentes et les functions d'efines par un d'evelopement de Taylor, Ann. Fac. Sci. Univ. Toulouse. 1990, No. 2, P. 317-430.

6. Hardy G. H. Divergent series. Oxford, Oxford, Clarendon Press, 1949, 503 p.

7. Cooke R. G. Infinite matrices and sequence spaces. London, Macmillan, 1960, 473 p.

8. Ramis J.-P. Raskhodyashchiyesya ryady i asimp-toticheskiye teorii [Divergent series and asymptotic theory]. Moscow, Izhevsk, Inst. comp. issl. Publ., 2002, 80 p.

9. Arakelyan N. U. [On efficient analytic continuation of power series]. Matem. sb., 1984, Vol. 124, No. 5, P. 24-44 (In Russ.).

10. Muraev E. B. Eylerovskoe i borelevskoe summi-rovaniya ryadov, ikh obobshcheniya i prilozheniya: Dis. dokt. fiz-mat. nauk. [Euler and Borel summation of the series, their generalizations and applications. Dr. phys. and math. sci. diss.]. Novosibirsk, 1992, 364 p.

11. Downarovich M. Analytic continuation of series of homogeneous polynomicals of n complex variables. Prace Mat, 1975, Z. 17, P. 23.

12. Arakelian N. H. Efficient harmonic continuation of the Laplace series. J. Contemp. Mathemat. Anal, 2012, Vol. 47, No. 3, P. 105-123.

13. Yakovlev E. I. [The analogue of Okad's theorem]. Vestnik KrasGU. 2006, No. 9, P. 111-113 (In Russ.).

14. Yakovlev E. I. [About the analytic continuation of the multiple power series using m-homogeneous polynomial matrix method in the generalized star of Mittag-Leffler]. Vestnik SibGAU, 2013, No. 4(50), P. 87-92 (In Russ.).

15. Yakovlev E. I. [About analytical resuming multiple power series by using one dimensional matrix methods]. Vestnik SibGAU, 2014, No. 3(55), P. 172-177 (In Russ.).

© Яковлев E. И., 2016

i Надоели баннеры? Вы всегда можете отключить рекламу.