Description of some weighted exponential classes of subharmonic functions Текст научной статьи по специальности «Математика»

Математика

DOI: 10.14529/mmph180101

DESCRIPTION OF SOME WEIGHTED EXPONENTIAL CLASSES OF SUBHARMONIC FUNCTIONS

O.V. Okhlupina

Bryansk State engineering-technological University, Bryansk, Russian Federation

E-mail: helga131081@yandex.ru

The role of subharmonic functions in such sections of analysis as complex and real analysis is very significant. Such classes of functions are closely related to analytic harmonic functions and make an important contribution to the general theory of potential and mathematical physics. In the works of R. Nevanlinna and W. Heiman, parametric representations of subharmonic classes in the plane of functions, whose characteristic has a power growth at infinity, are obtained. The question of whether similar representations are true for weighted classes that admit a stronger growth at infinity (for example, the exponential growth) arises in the theory of entire and meromorphic functions. In this article, classes of sub-harmonic functions with Nevanlinna characteristic that is summable with exponential weight in a complex plane are introduced for consideration, and the representing measures of functions of such classes are studied. When proving the results, methods of complex and functional analysis are used. An important role in the study is played by potentials based on the factors of the modified Weierstrass product. The proof of the main result is based on the use of auxiliary assertions formulated in the form of lemmas.

Keywords: subharmonic function; harmonic function; representing measures; the Nevanlinna's characteristic.

Introduction

Let C be the complex plane. SHas(C) (s, a are positive numbers) be the class of subharmonic

functions u in C such that j T (r, u )e~sr dr <+¥ , where T (r, u) is the Nevanlinna's characteristic of

1

1 "

subharmonic function u, that is T (r,u ) = — j u+(r cosj, r sinj)dj, u+= max (u,0) (see [1-4]).

-p

In complex and real analysis, potential theory and mathematical physics the value of subharmonic functions is very significant (see [1-3, 5]). In the works R. Nevanlinna and W. Hayman (e.g., see [1]) the obtained definition of a class of subharmonic in the plane of the functions, the characteristics of which have exponential growth at infinity. The question of whether faithful same parametric representation for the weight classes, allowing for stronger growth at infinity, say exponential growth, occurs in the theory of entire and meromorphic functions (see [6]).

This paper studied the representing measures of the functions of class SHas(C), as well as the necessary and sufficient condition for such measures.

Statement of the main result

Let s,a> 0, z,|e C, | ^ 0, p (||) = max s|||a,1 , where [a] is the integer part of a real number a .

Л (z,z) =

1 --

z

exp

1 ( z

( p(IZ)

z УI z

]=1 j vz.

V

is a factor of the modified product by K. Weierstrass (see

[7, 8]).

z

Theorem 1. Let u e SHas(C), m is representing measure of a function u. Then m satisfies the condition:

a

i 2StO-d<+¥ (1)

1 t

where n(t) = m(Dt ), |z| < t.

The opposite is also true: let m is some non-negative Borel measure in C, satisfying the condition (1), then it is possible to build explicitly subharmonic function of class SHas>(C),

"S : S > — + sea, for which m will be a representing measure. ea

Proof of auxiliary assertions

We require some auxiliary assertions for the proof of the theorem.

Lemma 1. Let y(R) is a non-negative monotonically increasing function, for which

J y( x yax<Xdx <+¥, (2)

i

where a> 0. Then

y( R)e~sRa

lim -= 0 . (3)

R®¥ R1-a

Proof. The convergence of the integral (2) implies that the lim J y ( x dx = 0 .

R

a

Let j(R) = j y( x )e sx dx. It is clear that (p( R )>y( R) j e sx dx . We find the asymptotics of the

R R

last integral by applying the L'Hospital's rule.

j e~sx"dx a

J e-aR" 1

lim —-= lim

Ra-1

f e~sR"sRa-1a + e~sR" (a-1) ^ Ra-1 Ra

sa

^ mL*R

1 -a

Therefore, lim r -= 0 . That is lim y(R)e~aR Ra-— = 0.

r®¥ R a " '

The lemma is proved.

x -r a J? t? —Jvi=/?-v>nl с —- Thon sn( y _L с ej(x). eß(x)

Lemma 2. Let j(x) = e sx , xî R+, R+ ={xî R : x > 0}, ex = — . Then j(x + ex ) = er v ' • e'

x.

Proof. It follows easily from the following simple arguments. It is clear that

where /3( x) = o ^1 j when x .

Proof. It follows easily (1 + y)a = 1 + ay + o(y2) when y ® 0. So s(x + ex)" = sxa[l + —j =sxa+ — + o^-0+2 I when x ® +¥ .

Then, ej(x+£x) = ej(x • eßßx , where ß(x) = o^ — | when x ®+¥ . The lemma is proved.

Lemma 3. Let u is an arbitrary subharmonic function in C, while it admits a representation in the form:

u(z) = jln|Ap (z, Z) d^(Z) + h (z),

z, Z e C, m (Z) is an arbitrary non-negative Borel measure in C, such that j

1

n (r ) = m( Dr), s > 0, a> 0, h (z) is harmonic function in C, for which

+¥ P

j e~sr" j h (reij) djdr <+¥ . 1 -p

Then ue SHas>(C) when Vs': s'> — + sea.

n(t)e

ea

Proof.

Let Vp (z) = jln|Ap (z,|)dm(Z). Then u (z) = h(z) + Vp (z).

C

It is obvious that h (z) belongs to the class under consideration. We will show that Vp (z) also included in the class SHa^(C) for V! = (f (a) > s. We apply the estimate (see [1], p. 94):

ln| Ap ( z,Z)|<

Z*0, z,Ze C .

(4)

Let's get that: u ( z ) < j

p(\{\)

dm(Z).

To continue the evaluation of the function, we can partition the complex plane into sets:

Dk ={z e C : 2k < |z| < 2k+xj, A0 ={z e C : |z| < 1} . Then u ( z )< ^ j

k=0 Ak

Z

dm(z).

Each of the rings Ak is divided into small rings and we use Lemma 2.

Let Sk,j ={z e C :2k + j2~ak < \z\ < 2k +( j +

( j +1) 2-ka} , 0 < j

<

2

k (a+l)+1

where [a] is the integer

Na

part of the number a . Then Dk c j , where Na =

p(\Z)

j=0

Na

2

k (a+l)+1

Therefore, j -Z dß(\)< ^ j

A Z

j =0 dk

p(|Z|)

By Lemma 2, we obtain

p(IZ)

z dm(Z)< z Z1

°k ,j

It is obvious that

>ri )

dm(dk, j )<

dm(Z).

(Z* )

Z

Z

'(Z1 )

p(IZ)

n ( 2k +( j +1) 2-ak )< C0 j

2k+( j +1)2

2

( 2k + ( j +1) 2-ak ), where Z* is a point of dk,;.

p(l tl )

2k+( j+2)2-ak

Na °k j+1 z p(t)

Therefore j — dm(Z)< C J j - n (t ) dt < C j

. Z ,=n о t .h-

k+1 z p(t)

Summing over k, we get:

j=0 Sk

k ,j

П (t)(

n(t)dt.

k = 0,1,...

C

a

t

C

-

z

j

z

t

2

u(z)<C i

p(t)

i(t)dt .

(5)

Let us estimate the last integral. According to (5) we have that

+ ¥ P , N p(t )

i e-s'r" i u + ( rej) djdr < C i J i-] n (t ) dtdr . 1 -p 1 1 Vt J

\P(t )

Having established the convergence of the last integral, we prove the Lemma. To do this, imagine the inner integral as a sum:

f r jp(t) er f rjp(t) +¥f r jp(t) ll-I n(t)dt = II-I n(t)dt + Jl-I n(t)dt = I1 +12.

1 ^ t ^ 1 ^ t ^ er ^ t

Let us prove the boundedness of the second integral by a constant, independently of r. Indeed,

'r Л P(t ) r

— I = exp p (t ) ln—.

However, when — < e1 ln — £-1. Then exp p (t) ln — < exp (-p (t)).

a

p (t )= sta , so p (t )>Sta-1. Therefore, exp (-p ( t ))< Ce

Sta

-St

e~st" < e—, S>s, n ( t )< est" t2a,

+¥ / \p(t) +¥ J|-] n (t ) dt < C i n (t ) e-St"dt < C j

a

j(t)e~st dt ,2a

<+¥ .

We estimate the integral.

er ( r л p(t ) Л = J|-] n (t) dt .

Consider the estimate for the integral I2 we get that

p +¥ er / \p(t)

J e~s'r" J u + (rej)dj< J e~s'r<a JI - | n(t)dtdr . 1 -p 1 1 11J

+r ,ae:^\p(t )

To calculate the largest value of the function exp p (t)(ln r - ln t) on an interval [1; er ] we put x = lnr H g( x, t) = p (t)(x - ln t) .

f f 1 jj

g( x, t ) = p (t )( x - ln t )-= sata-1 ( x - ln t )-sta-1 = sata

x - ln

tea

V JJ

= 0.

That is ln r = ln

i 1 л tea

t = re a, ta = rae~ . This point is the maximum point, therefore

v j i 1 л i 1 v

g( x, t ) = g

x, re a

v j

= p

re a

v j

1

ln r - ln re

Because max l — l <

p(t) i r Ye

, then

1

1

a

a

r

1

v re a j

j n (t) jr] dt < j n (t) ea dt =j n (t ) eaedt =eae j n (t)dt

p(t )

( 1 y

e

v j

a

+¥ r er

a

—s r

j e~sr"eea j n (t)dtdr _ j e

+~ _l s'_— ]ra er

j n ( t )dtdr =

■ C1 j n ( t )dt • e

Л +¥ 1 г e

+ a j 1

1 I S_— ]ra-1 ea

-n ( er ) dr .

In

view of Lemma 1, we write that j n (t)dt < Ces(er) ra 1.

Using the last estimate, we clarify the values s, that ensure the convergence of the integral:

1 ^ „ ,1

+- -I a—— ]ra er

f e V ea) f n(t)dtdr : s'ra-s(er)a- — > 0, ra\s'-sea- — I > 0, S> —+ sea. 1 1 ae V ae) ea

The lemma is proved.

Let us prove the auxiliary theorem 2.

Theorem 2. Let u is an arbitrary subharmonic function in the class SHsa(C), m(Z) is an arbitrary measure of the function u, in this case m( Dt ) = n (t), 0 < t < +¥. Then

+¥ ,„( Л „_at

n (t) e

<+¥ .

Proof. We integrate the integral by parts. Using the equality of Jensen for subharmonic functions (see [1]), it is enough to estimate the integral:

t

= j j

n ( r ) dr

We integrate I by parts:

I = -

1

as

-ata t

—г j

n ( r ) dr

1 v1

Y

tr

v 1 j

+ J e 1

j e-^Ij

1 _a| çn(r)dr + n(t)

tr

v v1 j

According to Lemma 1, we have:

I = j e-' ^j

1

1 -a çn(r)dr + n(t)

tr v ' 1

1

Л

+¥ _sta ( t ! ч j

s С e st !• n ( r ) dr

-a) I -r- ^^— + n(t)

as" ' j ta—1 \ r w 1 v1 j

By the hypothesis of the theorem I < C.

It is clear that in 0<a< 1 the theorem is proved, since from the condition (5) implies that

+¥ -ata

j —n (t )dt <+¥.

Suppose a > 1. Then by Lemma 1 :

n(r)

+¥ sta t

j V j-Vdr < C1 j

+¥ -ata

ta r

11

ta e_stata

__ C f_d_ 4 1 j 12a_1

< +¥ .

+¥ _Sta e

Because a> 1, then j —a— n(t)dt<+¥.

t

The theorem is proved.

a

r

ra ra er

1

1

1

1

a_— ra

1

s'— \ra

1

j

a

t

1

a

e

r

e

t

1

t

1

1

The proof of the main result

The proof of the direct assertion of theorem 1 follows from theorem 2. The validity of the converse follows from Lemma 3. That proves theorem 1 completely. From Theorem 1 directly follows

Theorem 3. Let a> 0, SHa ¥ = U SHa s. Then class SHa ¥ coincides with the class of subhar-

S>0

monic functions in C, representable in the form u (z ) = j ln| Ap (z,Z)|dm(Z)+ h (z), where m is non-

C

negative measure in C, such that n(t) = m(D), Dt ={z: |z| < t} , and also satisfies the condition

i .. a

n(t)e~ .a 1 t

j-a-dt < +¥ for some a> 0, h an arbitrary harmonic function in C, for which there exists

s> 0: j e~sr" j |h(reij)^jdr < +¥ . 1

References

1. Hayman W.K. Subharmonic functions. Acad. Press, London etc., 1989, Vol. 2, 591 p.

2. Ronkin L.I. Vvedenie v teoriiu tselykh funktsii mnogikh peremennykh (Introduction to the theory of entire functions of several variables). Moscow, Nauka Publ., 1971, 432 p. (in Russ.).

3. Azarin V.S. Teoriia rosta subgarmonicheskikh funktsii (The theory of growth of subharmonic functions). Kharkov, KhGU Publ., 1982, 73 p. (in Russ.).

4. Ohlupina O.V. Potentsialy tipa Grina i integralnye predstavleniia vesovykh klassov subgarmonicheskikh funktsii: dissertatsiia kandidata fiziko-matematicheskikh nauk (Potentials of Green's type and integral representations of the weight classes of subharmonic functions: dissertation of the candidate of physical and mathematical sciences), Briansk, 2012, 118 p. (in Russ.).

5. Brelo M. Osnovy klassicheskoi teorii potentsiala (Fundamentals of classical potential theory), Moscow, Mir Publ., 1964, 215 p. (in Russ.). [Brelot M. Elements de la théorie classique du potentiel, Paris, 1961, 191 p. (in Fr.)]

6. Bykov S.V., Shamoian F.A. O nuliakh tselykh funktsii s mazhorantoi beskonechnogo poriadka (On the zeros of entire functions with majorant of infinite order). Algebra i analiz. Spb, Nauka Publ., 2009, Vol. 21, no. 6, pp. 66-79. (in Russ.).

7. Shamoyan F.A., Djrbashian A.E. Topics in the theory of Aa spaces. Teubner Texte zur Mathematik [Teubner Texts in Mathematics], BSB B.G. Teubner Verlagsgesellschaft, Leipzig, 1988, Vol. 105, p. 200.

8. Shamoian F.A., Shubabko E.N. Vvedenie v teoriiu vesovykh Lp -klassov meromorfnykh funktsii [Introduction to the theory of the weight Lp -classes of meromorphic functions]. Bijansk, RIO BGU Publ., 2009, 153 p. (in Russ.).

Received November 3, 2017

Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2018, vol. 10, no. 1, pp. 5-11

УДК 517.53, 517.54 DOI: 10.14529/mmph180101

ОПИСАНИЕ НЕКОТОРЫХ ВЕСОВЫХ ЭКСПОНЕНЦИАЛЬНЫХ КЛАССОВ СУБГАРМОНИЧЕСКИХ ФУНКЦИЙ

О.В. Охлупина

Брянский государственный инженерно-технологический университет, г. Брянск, Российская Федерация

E-mail: helga131081@yandex.ru

Роль субгармонических функций в таких разделах анализа, как комплексный и вещественный анализ, весьма существенна. Такие классы функций тесно связаны с аналитическими гармоническими функциями и вносят важный вклад в общую теорию потенциала и математическую физику. В трудах Р. Неванлинны, У. Хеймана получены параметрические представления классов субгармонических в плоскости функций, характеристика которых имеет степенной рост в бесконечности. Вопрос о том, верны ли аналогичные представления для весовых классов, которые допускают более сильный рост в бесконечности (например, экспоненциальный рост), возникает в теории целых и мероморфных функций. В статье введены в рассмотрение классы субгармонических функций с характеристикой Неванлинны, которая суммируема с экспоненциальным весом на комплексной плоскости, а также изучены представляющие меры функций таких классов. При доказательстве результатов применяются методы комплексного и функционального анализа. Существенную роль в исследовании играют потенциалы, построенные на основе факторов модифицированного произведения Вейерштрасса. Доказательство основного результата базируется на использовании вспомогательных утверждений, сформулированных в виде лемм.

Ключевые слова: субгармоническая функция; гармоническая функция; представляющие меры; характеристика Неванлинны.

Литература

1. Hayman, W.K. Subharmonic functions / W.K. Hayman. - Acad. Press, London etc. - 1989. -Vol. 2. - 591 p.

2. Ронкин, Л.И. Введение в теорию целых функций многих переменных / Л.И. Ронкин. - М.: Наука, 1971. - 432 с.

3. Азарин, В.С. Теория роста субгармонических функций / В.С. Азарин. - Харьков: ХГУ, 1982. - 73 с.

4. Охлупина, О.В. Потенциалы типа Грина и интегральные представления весовых классов субгармонических функций: дис. ... канд. физ.-мат. наук / О.В. Охлупина. - Брянск, 2012. - 118 с.

5. Брело, М. Основы классической теории потенциала / М. Брело. - М.: Мир, 1964. - 215 с.

6. Быков, С. В. О нулях целых функций с мажорантой бесконечного порядка / С. В. Быков, Ф.А. Шамоян // Алгебра и анализ. - Санкт-Петербургское отделение Института математики РАН им. В.А. Стеклова, СПб: Наука, 2009. - Т. 21, № 6. - С. 66-79.

7. Shamoyan, F.A. Topics in the theory of A^. spaces / F.A. Shamoyan, A.E. Djrbashian // Teubner Texte zur Mathematik [Teubner Texts in Mathematics]. - BSB B. G. Teubner Verlagsgesellschaft, Leipzig, 1988. - Vol. 105. - P. 200.

8. Шамоян, Ф.А. Введение в теорию весовых Lp -классов мероморфных функций / Ф.А. Шамоян, Е.Н. Шубабко. - Брянск: РИО БГУ, 2009. - 153 с.

Поступила в редакцию 3 ноября 2017 г.