Предельные множества Азарина некоторых гармонических функций Текст научной статьи по специальности «Математика»

УДК 517.5

DOI: 10.18413/2075-4639-2018-50-1-35-39

ПРЕДЕЛЬНЫЕ МНОЖЕСТВА АЗАРИНА НЕКОТОРЫХ ГАРМОНИЧЕСКИХ

ФУНКЦИЙ

AZARIN LIMIT SETS OF SOME IRREGULARLY GROWING FUNCTIONS

К.Г. Малютин, Л.И. Студеникина, Д.Н. Тютюнов, Т.В. Шевцова K.G. Malyutin, L.I. Studenikina, D.N. Tutunov, T.V. Shevtsova

Юго-Западный государственный университет, Россия, 305040, Курск, ул. 50 лет Октября, 94

Southwest State University, 94, 50 years of October street, Kursk, 305040, Russia

E-mail: malyutinkg@gmail.com, sli-kursk@yandex.ru, tjutjunov@mail.ru, dec-ivt-zao@mail.ru

Аннотация

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

Abstract

A method of constructing asymptotic formulas for integrals with an absolutely continuous function is considered. It are considered cases when as an absolutely continuous function is taken the product of a power function on the conjugate Poisson kernel for a half-plane, and as a gap, the imaginary half-axis is taken. The real and imaginary parts of these integrals are harmonic functions in the complex plane cut along a positive ray. For such functions the Azarin limit set is calculated.

Ключевые слова: асимптотическая формула, сопряженное ядро Пуассона, гармоническая функция, предельное множество Азарина.

Keywords: asymptotic formula, conjugate Poisson kernel, harmonic function, Azarin limit set.

Введение

В этой статье мы рассматриваем интегралы вида

а

| / (г) = ехр[/Х(1п(г0)ст , 0 < а < Ь <да, ое (0,1) ь

где /(г) е ^(а, Ь) и получаем точные сведения об их асимптотическом поведении. Ядро ехр[/Я(1п(г/))° ] достаточно своеобразное. Например, в трехтомной монографии Э. Риек-

а

стыньша [1, 2, 3], где, в частности, рассматриваются интегралы вида _[/(г)К(гг)йг, асимп-

ь

тотические разложения интегралов с такими ядрами не исследуются. Наши рассуждения можно применять и к ядрам более широкого класса. Указанными ядрами мы ограничиваемся, чтобы добиться большей цельности изложения. Тем не менее, наше ядро содержит произвольные параметры X и 0 < о < 1. Заметим, что предлагаемый метод получения

асимптотических формул отличается от классических методов (метод Лапласа, применение теории вычетов, метод перевала и др.), описанных в монографии М. А. Евграфова [4].

Затем мы изучаем уже совсем конкретные функции, когда в качестве функции / )

берется произведение tр на сопряженное ядро Пуассона для полуплоскости, а в качестве промежутка интегрирования берется луч [0,го). Вещественные и мнимые части этих интегралов, которые мы обозначаем ик (z) , k = 1, 2, представляют собой гармонические функции

в комплексной плоскости разрезанной по положительному лучу.

Важной характеристикой роста субгармонической и, в частности, гармонической функции и(z), является ее предельное множество Азарина [5] Fr u. Это предельное множество семейства функций и1 (z) = и(р,)/ tр (р >0 - порядок функции и(z) ) при t ^ +го в топологии пространства обобщенных функций Шварца. Мы находим предельное множество Азарина для введенных нами функций ик (z) . Предельное множество Азарина несет в себе больше информации о поведении субгармонических функций в окрестности бесконечности чем ее индикатор

Ни(0) = Нтэир^^, 0е [0,2л].

Г^-го tр

Общая теория дает теорему о характеризации предельных множеств Азарина и гарантирует существование субгармонических функций с заданным предельным множеством. Однако, наш метод позволяет строить примеры конкретных функций нерегулярного роста, для которых вычисляется предельное множество Азарина. До сих пор асимптотические оценки в основном, строились для функций вполне регулярного роста. Такие функции хорошо приближают некоторые субгармонические функции с корнями на одном луче. Мы указываем такие функции. Тем самым мы указываем широкий набор субгармонических функций нерегулярного роста с известным асимптотическим поведением. Заметим, что в книге Б.Я. Левина [6] приведены асимптотические формулы для класса целых функций вполне регулярного роста. Целые функции вполне регулярного роста изучены наиболее полно, встречаются в большом количестве работ и имеют разнообразные применения. Однако, современные исследования вопросов полноты и представления рядами в функциональных пространствах, проблем теории аналитического продолжения, задач теории дифференциальных операторов бесконечного порядка и операторов типа свертки требуют систематического изучения целых функций, не обладающих сколь-нибудь правильным поведением. Поэтому актуальной является разработка методов решения задач, связанных с нахождением экстремальных значений для основных асимптотических характеристик роста целых функций из весьма общих и естественных классов. В последнее время появились многочисленные работы, посвященные этой тематике. Отметим совместную работу Брай-чева Г.Г. и Шерстюкова В.Б. [7], и работу Шерстюкова В.Б. [8].

Асимптотические формулы для интегралов

В случае, когда а е (0,1) асимптотическое разложение интеграла получается разложением ядра.

Теорема 1. Пусть / ^) е ^([а, Ь]) 0 < а < Ь < го и пусть а е (0,1). Тогда справедливо разложение

| /^)ехр(/Х 11п ^ |ст )Л = ехр(/Х 1пг)

Ь

где

{ \

го го а ,

-I- V V ап,к

а0 + ¿1 ¿=0 (1п г)к(1-ст)+п

а ¡Тк а

ао = | / 0 , ап,к = -— Спк { / ^ )(1п t )n+kdt, Ь к! Ь

а

а величина сп к определяется из разложения

1((1 + х)о_ 1)1 =Е спкХп.

Х

п=0

Двойной ряд в формуле (1) является абсолютно сходящимся при достаточно больших г. Разложение (1) справедливо как асимптотическое разложение в случае если а = 0,

| г е | / (г) | & < да при некотором е> 0. Это разложение справедливо как асимптотическое

0

да

разложение и в случае Ь = да, | ге | /(г) | & < да.

Доказательство. Воспользовавшись разложением функции еХ в ряд Тейлора и равенством

( Гг.

ехр (/А 11п гг |о ) = ехр (/А 1по г) ехр

/А 1по 4 г 1п г

1п г

1п г

V V

' 1п г

1 н--

V 1п г

1

получим

I / (г) ехр (/А 11п гг |о )& = ехр (/А 1по г )(а0 +

/к1к

к=1 1пк(1_о) гЬ

11 (г )1п кг

1п г Л 1п г 1 + ■

1п г

1п г

_ 1)

&г.

Обозначив через х = 1пг /1п г, мы получим разложение (1). Абсолютная сходимость ряда следует из того, что при больших г выполняется неравенство 1п г < 1п г . Заключительная часть теоремы следует из того, что сходимость интеграла

С да ^

| ге | /(г) | & < да | ге | /(г)&г < да

влечет за собой сходимость интеграла

С да ^

| /(г)(1п г)к&г <да | /(г)(1п г)к&г <да

при любом к >0.

Замечание. Величину си к можно записать в конечном виде если вначале воспользоваться формулой Ньютона для бинома ((1 + х)° _ 1)к, а затем использовать разложение в ряд Тейлора функции (1 + х)та.

Вычисление предельного множества Азарина некоторых функций

Рассмотрим функции

и(г, о) = — |

1 да ТР_1г(г _ СОБ 0)

9

л 0 т _ 2тг соб 0 + г

ехр (/А 11п т |о )&т =

= ^ да (^со^. ехр (/А 11п г |о &,

л 0 г2 _ 2г соБ 0 +1

и1 (г, о) = ^и(г, о), и2 (г, о) = Зи( г, о),

где г = ге/0, ре (0,1), ое (0,1), А> 0.

к

V

Ь

к

о

0

0

Методом комплексного интегрирования легко вычисляется следующий интеграл

1" (1 -1 cos 9)tp-1dt _ cos p(n-9)

J 9 • '

л 0 t - 2t cos 9 +1 sin рл

Теорему 1 можно применять для случаев a = 0, b = да,

1 (1 -1 cos 9) tp-1

J(t) _ "> „ •

л t2 - 2t cos 9 +1

9 e (0,2л), p e (0,1). Согласно этой теореме, получаем при а е (0,1)

(3)

u^ z, а) =

«2( z, а) =

cos р(л - 0)

sin рл cos р(л - 0)

O(1)rр

rр cos(A, ln r) н—, r ^да

rр sin(^ lnа r) + 0(1_))Г , r ^

ln1-a r O(1)rр

r ^ да .

(4)

(5)

sin рл ln1 а r

Для предельных множеств Азарина, введенных нами функций, справедливы соотно-

шения:

Fr щ = Fr u2 = i а

cosр(л — 0) р г i ni гр :ае[—1,1];

(6)

sin рл

при значениях параметров р е (0,1), а е (0,1), X >0.

Докажем, соотношение (6). Пусть а е [—1,1], а - фиксированное число. Обозначим

через

ís^ у/ст^

—(arccos а + 2ли) I

, ч u1(tz, а) ut(z) = п , tn exp

tр

Из (4) следует, что при любом фиксированном г > 0 справедливо асимптотическое равенство

Ut (rei0 ) — а Cos р(л —0) rр n sin рл

cos р(л — 0)

i

sin рл

cos(X lnа tnr) — а +

O(1)rр

ln1—a tnr

, n ^ да. (7)

Из определения последовательности tn и асимптотического равенства

аа

(а + Xn )а= + O

Х2—а

V xn

xn ^^

следует, что при любом фиксированном r > 0

lim (cos(A, lnа tnr) — а) = 0.

Отсюда и из (7) получаем, что внутри круга {z : |z| < R} последовательность ut (z) равномерно сходится к функции

. ¿0. cos р(л — 0) р

W (re¿0 ) =---- r р.

sin рл

Тем более сходимость имеет место в топологии пространства обобщенных функций Шварца в плоскости. Из определения предельного множества следует, что {w(X (z) : а е [—1,1]} ^ Fr u3. Так как из любой последовательности tn ^ да можно выделить подпоследовательность вида

р

П = exp

(г , 0 ч1/И

' arccos а + 2nnk \

v ^ ,

V

где nk - натуральное, а^ ^ае[—1,1], то других функций в предельном множестве не существует.

Если Нк (0) - индикатор Фрагмена-Линделефа функции uk (z, р),

hk (0) : = lim sup 4 (re'Q, р), к = 1,2, г^ю rр

то справедливы равенства

= h,(0) = |cos р(л —0)| sin рл

Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 18-01-00236.

Список литературы References

1. Риекстыньш Э. Я. 1974. Асимптотические разложения интегралов.Т.1. Рига, Зинатне, 390. Riyekstyn'sh E. Ya. 1974. Asimptoticheskiye razlozheniya integralov.T. 1 [Asymptotic expansions of integrals. T. 1]. Riga, Zinatne, 390. (in Russian)

2. Риекстыньш Э. Я. 1977. Асимптотические разложения интегралов. Т.2. Рига, Зинатне, 463. Riyekstyn'sh E. Ya. 1974. Asimptoticheskiye razlozheniya integralov.T. 2 [Asymptotic expansions

of integrals. T. 2]. Riga, Zinatne, 463. (in Russian)

3. Риекстыньш Э. Я. 1981. Асимптотические разложения интегралов.Т.3. Рига, Зинатне, 369. Riyekstyn'sh E. Ya. 1974. Asimptoticheskiye razlozheniya integralov.T. 3 [Asymptotic expansions

of integrals. T. 3]. Riga, Zinatne, 369. (in Russian)

4. Евграфов М. А. 1979. Асимптотические оценки и целые функции. М., Наука, 320. Yevgrafov M. A. 1979. Asimptoticheskiye otsenki i tselyye funktsii [Asymptotic estimates and

entire functions]. Moscow, Nauka, 320. (in Russian)

5. Азаpин В. С. 1979. Об асимптотическом поведении субгармонических функций. Математический сборник, 108 (2): 147-167.

Azapin V. S. 1979. Ob asimptoticheskom povedenii subgapmonicheskikh funktsiy [On the asymptotic behavior of subharmonic functions]. Matematicheskij sbornik [Sbornik: Mathematics]. 108 (2): 147167. (in Russian)

6. Левин Б. Я. 1956. Распределение корней целых функций. М., ГИТТЛ, 632.

Levin B. Ya. 1956. Raspredeleniye korney tselykh funktsiy [Distribution of the zeros of entire functions]. Moscow, Gosudarstvennoye izdatel'stvo tekhniko-teoreticheskoy literatury, 632. (in Russian)

7. Брайчев Г. Г., Шерстюков В. Б. 2011. О наименьшем возможном типе целых функций порядка ре (0,1) с положительными нулями. Известия Российской академии наук. Серия: математика, 75 (1): 3-28.

Braychev G. G., Sherstyukov V. B. 2011. O naimen'shem vozmozhnom tipe tselykh poryadkakh poryadka ре (0,1) s polozhitel'nymi nulyami [On the smallest possible type of entire functions of order ре (0,1) with positive zeros]. Izvestiya Rossiyskoy akademii nauk. Seriya: matematika [Russian Academy of Sciences. Izvestiya Mathematics]. 75 (1): 3-28.

8. Шерстюков В. Б. 2015. Распределение нулей канонических произведений и весо- вой индекс конденсации. Математический сборник, 206 (9): 139-180.

Sherstyukov V. B. 2015. Raspredeleniye nuley kanonicheskikh proizvedeniy i vesovoy indeks kon-densatsii. [The distribution of the zeros of canonical products and the weighted index of condensation]. Matematicheskij sbornik [Sbornik: Mathematics]. 206 (9): 139-180. (in Russian).