Научная статья на тему 'THE BOUNDARY MORERA THEOREM FOR DOMAIN T+ (N - 1)'

THE BOUNDARY MORERA THEOREM FOR DOMAIN T+ (N - 1) Текст научной статьи по специальности «Математика»

CC BY
26
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
CLASSICAL DOMAINS / LIE BALL / REALIZATION / FUTURE TUBE / SHILOV BOUNDARY / POISSON KERNEL / HOLOMORPHIC CONTINUATION / MORERA'S THEOREM / ANALYTIC DISK / HARDY SPACES

Аннотация научной статьи по математике, автор научной работы — Khudayberganov Gulmirza, Abdullayev Jonibek Shokirovich

In this work, we will continue to construct an analysis in the future tube and move on to study the Lie ball. The Lie ball can be realized as a future tube. These realizations will be the subject of our research. These methods turn out to be convenient for computing the Bergman, Cauchv-Szego and Poisson kernels in this domain. In the theory of functions Morera’s theorems have been studied by many mathematicians. In the complex plane, the functions with one-dimensional holomorphic extension property are trivial but Morera’s boundary theorems are not available. Therefore, the results of the work are essential in the multidimensional case. In this article, we proved the boundary Morera theorem for the domain т + (n - 1). An analog of Morera’s theorem is given, in which integration is carried out along the boundaries of analytic disks. For this purpose, we use the automorphisms т + (n - 1) and the invariant Poisson kernel in the domain т + (n - 1). Moreover, an analogue of Stout’s theorem on functions with the one-dimensional holomorphic continuation property is obtained for the domain т + (n - 1). In addition, generalizations of Tumanov’s theorem is obtained for a smooth function from the given class of CR manifolds.

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

Текст научной работы на тему «THE BOUNDARY MORERA THEOREM FOR DOMAIN T+ (N - 1)»

ISSN 2074-1871 Уфимский математический журнал. Том 13. № 3 (2021). С. 196-210.

THE BOUNDARY MORERA THEOREM FOR DOMAIN r+ (n — 1)

G. KHUDAYBERGANOV, J.Sh. ABDULLAYEV

Abstract. In this work, we will continue to construct an analysis in the future tube and move on to study the Lie ball. The Lie ball can be realized as a future tube. These realizations will be the subject of our research. These methods turn out to be convenient for computing the Bergman, Cauchv-Szego and Poisson kernels in this domain.

In the theory of functions Morera's theorems have been studied by many mathematicians. In the complex plane, the functions with one-dimensional holomorphic extension property are trivial but Morera's boundary theorems are not available. Therefore, the results of the work are essential in the multidimensional case. In this article, we proved the boundary Morera theorem for the domain r + (n — 1). An analog of Morera's theorem is given, in which integration is carried out along the boundaries of analytic disks. For this purpose, we use the automorphisms r + (n — 1) and the invariant Poisson kernel in the domain t + (n — 1). Moreover, an analogue of Stout's theorem on functions with the one-dimensional holomorphic continuation property is obtained for the domain r + (n — 1). In addition, generalizations of Tumanov's theorem is obtained for a smooth function from the given class of CR manifolds.

Keywords: Classical domains, Lie ball, realization, future tube, Shilov boundary, Poisson kernel, holomorphic continuation, Morera's theorem, analytic disk, Hardy spaces.

Mathematics Subject Classification: 30B40, 32A07, 32A40, 32N15, 97160, 97180 1. Introduction and preliminary results

The issue on holomorphic continuation of functions defined on the entire boundary into the domain was studied quite well. The usual (non-boundarv) Morera theorems in domains of the space Cn are well known (see, for example, [5], [8])

A high great interest of specialists is attracted by the multidimensional boundary analogues of Morera's theorem (see [11], [14]—[16], [18], [23], [24], [29]). One way or another, they dealt with an entire boundary of the domain and studied a holomorphic continuation of the function f from the boundary dD of a domain D in Cn provided the integrals of f over the boundaries of the analytic disks lying on 3D vanish.

The first result related to this topic was obtained by M.L. Agranovskii and E.E. Val'skii in [19], who studied functions with the one-dimensional property of holomorphic continuation in a ball. The proof was based on the properties of the automorphism group of a ball. In [12], E.L. Stout extended the Agranovskii and Val'skii theorem to an arbitrary bounded domains

G. KHUDAYBERGANOV, J.SH. ABDULLAYEV, THE BOUNDARY MORERA THEOREM FOR THE DOMAIN T + (n — 1).

© G. KHUDAYBERGANOV, J.SH. ABDULLAYEV 2020.

The work is supported by the project "Functional properties of A-analytical functions and their applications. Some problems of complex analysis in matrix domains (2017-2020)" no. OT-F4-(37+29) of Ministry of Innovative Development of the Republic of Uzbekistan.

Submitted July 1, 2020.

with a smooth boundary via using the complex Radon transform, A.E. Tumanov in [17] showed that each smooth function with the one-dimensional property of holomorphic continuation along analytic disks on generating minimal manifolds is a CE function. An alternative proof of Stout's theorem was given by A.M. Kvtmanov and S.G. Mvslivets (see [9]), who applied the Bochner -Martinelli integral. The idea of using integral representations (Bochner - Martinelli, Cauchv -Fantappie, logarithmic residue) turned out to be useful in studying functions with the one-dimensional holomorphic continuation property along complex curves, see [24], [25],

In papers [30], [37], a boundary version of Morera's theorem was considered for classical domains. Its starting point was the result of Nagel and Eudin [11], which stated that if the function / is continuous on the boundary of the ball in Cn and

2 tt

j f (p (eie, 0,..., 0)) ew d0 = 0 0

for all (holomorphic) automorphisms of the ip ball, then the function f can be continued holomorphieally into the ball. An alternative proof of the theorem of Nagel and Eudin was given by S, Kosbergenov in [31], It allowed one to generalize this statement to the case of classical domains.

In papers [32]—[34], a boundary version of Morera's theorem was studied for matrix balls, as well as for matrix balls associated with classical domains of the second and third types. This statement is generalized for a matrix ball by replacing the domain boundary by a Shilov boundary (skeleton).

In all previous results, the domain D was assumed to be bounded. In [35], [36], there was studied a subspace of the Schwartz space on a closed convex unbounded set in Rn was formed by the function admitting holomorphic continuation in Cn, In ([20]—[22], [27], [28], [38]), the following case of unbounded domains of D were considered: a domain with a boundary being the Poincare sphere or the Heisenberg group, the matrix upper half-plane, and also Siegel domains of the second kind, Morera's theorem with the Heisenberg group was also considered by M, Agranovskii, K, Berenstein, and D, Chang in [20], In this work, the integration was made over spheres of maximal dimension. We give an analogue of Morera's theorem, in which the integration is made along the boundaries of analytic disks.

In [28], [38], the Bochner -Martinelli integral was used in the proof of this theorem. The domain D was biholomorphieally mapped onto the ball, the intersections of this ball with complex lines were considered, the inverse disks were the inverse images of these intersections in the domain D. B, Kurbanov gave an alternative proof of this theorem in [21] and in [22] considered Morera's theorem for the matrix upper half-plane.

In this paper, we consider the boundary Morera theorem for a future tube r + (n — 1) and we use automorphisms r + (n — 1) and the invariant Poisson kernel in the domain r + (n — 1).

2. Realizations of Lie ball and automorphisms t + (n — 1)

We consider an n-dimensional complex space Cn, with ordered set z = (z\,z2,... ,zn) of n complex numbers. For z,w G Cn we let

£ = (Z1,Z2,. . . , Zn) , {z,w} = Z\Wi + ... + ZnWn,

M = V/(M) = I2 + N2 +... + W2.

The domain (Lie ball) consists of n-dimensional complex vectors z satisfying certain conditions:

= {z e Cn : |(z,z)|2 - 2|z|2 + 1 > 0, l(z,z)l < 1} . (2.1)

This classical domain is of the fourth type according to the classification by E. Cartan, see [1], or the Lie ball, see [3]. The Lie ball is a complete circular convex bounded domain. The Shilov's boundary (skeleton) r^y of the domain is defined as follows:

r^ = [z e Cn : l(z,z)l = 1, lz| = 1} . (2.2)

An unbounded domain of the form

r+ (n) = {w e Cn+1 : (Imwn+1)2 > (Imw1)2 + ... + (Imwn)2 , Imwn+1 > 0}

is called future tube in Cra+1.

The boundary Or + (n) of the domain r + (n) consists of

dr + (n) = {w e Cn+1 : (Im wn+i)2 = (Im Wi)2 + ... + (Im wn)2 , Im wn+i ^ 0}

and skeleton

rr+(n) = {w e Cn+1 : Im wi = ... = Im wn = Im wn+i = 0} = Rn+1,

on which the boundary degenerates. The following statement is true

Theorem 2.1. The map $ : C™ ^ C™ defined by identities

-2izk 2 (zn - i) . f0 wk = —-, k =1,...,n - 11, wn = —--г, (2.3)

Y z2 + (zn - i) E z2 + (zn - i)

3=1 3=1

biholomorphically maps the domain onto t + (n - 1), while r^« is mapped onto rr+(n-1).

Remark 2.1. We call the transformation (2.3) a generalized Cayley transform. In [4], there was considered the issue on the existence of a biholomorphic map of the domain r + (n) into the classical domain of the fourth type. In [7], the embedding of the future tube into the classical domain was given. The goal of Theorem 2.1 is to find an explicit mapping establishing a biholomorphic equivalence of the domains W}v and r + (n — 1); this is useful for calculating a Jacobian in other important concepts.

Proof. It is known that the group G of analytic automorphisms of domains of the fourth type is described as follows [2], [4]. Consider a group of linear transformations with real coefficients of (n + 2) variables that keep the quadratic form on its place

- u\ - ... - u2n + ^2 + = A'HA (2.4)

where

(

A =

H = (-1 (n) 0 ^

H =V 0 1(2))

un Vi

w

and I(ra) is the unit matrix of size n. More precisely, we consider a group of linear transformations of the matrix G satisfying the equalities G = G and G'HG = H. Note that the number of real parameters of this group is equal to (ra+1)2(ra+2).

The set of points of (n + 2) dimensional complex space satisfying the conditions

NBA = -u\ - ... - u2n + v\ + v.

0

and

A'H A = - M2 -... - K|2 + M2 + H2 > 0

(2.5)

(2.6)

transforms into itself under one-to-one transformations A ^ GA.

Note that V\ and v2 are both nonzero and do not belong to the same line passing through the origin since otherwise we would have

ki |2 + M2 = K+v.

2 I 2

and

I 12 I 12 I 2

|«i| + ... + lunl <I u2 + ... + u:

(2.7)

Therefore, the imaginary part of the ratio ^ is nonzero. It can be shown that our point set consists of two components, each containing points with a certain sign of the imaginary part —. It is also obvious that the transformations of our group either preserves the sign of the

V2

imaginary part ^ for all points of the considered set or make it opposite for all points.

Thus, linear transformations preserving the sign of the imaginary part ^, form a subgroup

of index two. We consider this subgroup and the set of points defined by the conditions:

A'H A = 0, A1 HA > 0, Im — > 0. (2.8)

V2

Passing to inhomogeneous coordinates, we transfer this set to a bounded domain in n dimensional complex space. Dividing the first relation in (2.8) by (v\ + iv2)2, we obtain

(-M2+... + (-M

\Vi + IV2J \Vi + IV2J

V\ - IV2 V\ + №2

(2.9)

Dividing the second relation in (2.8) by lv1 + iv2\ and keeping in mind that

we get

Ui

M2 + H2 K + ^|2

+... +

- ^2|2 + + ^2|2 2 + IV212

Vi + IV2

The third condition (2.8) means that

u,n

Vi + iV2

Vi - iV2

Vi + iV2

Hence, we let

Zk

Uk

1

< 2

< 1.

k = 1,

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

(1+

Vi - iV2

Vi + №2

1

(2.10)

n,

(2.11)

V\ + %v2

and then the set defined in (2.10) becomes a bounded domain

|zi12 + ... + |zra|2 < 1 (1 + 1 zf + ... + z2 I ) < 1.

and our group of linear transformations becomes a (ra+1->2("'+2) -parametric group of linear fractional transformations of this domain onto itself. It can be proved that this group of mappings is transitive in the considered domain. Finally, if we put G = H, then we get the map z ^ —z, so that (2.11) is the symmetric domain. The inequality (2.11) can be written as

WIV = {z e Cn : |(z,z)|2 - 2|z|2 + 1 > 0, |(z,z)| < 1} .

2

2

2

2

We let

Uk = (V2 + un) Wk, k =l,...,n - 1, Vi = (V2 + un) wn

then,

-2izk

-2i uk

vi+i V2

n-i n-i / \2 / \ 2

E Z2 + (Zn — i) E ( v-1+iv2 ) +( v1+iv2 ) k=i k=i v ' v '

2i u„ V1 +1V2

1

-2t uk

vi+i V2

2i un

(v1+iv2)2 (vi+i'V2)

— 2iuk

1

vi — iv2 — 2iun — vi — iv2

Uk

V2 + U,n

and

2 (zn — i)

Wk,

2

k = 1,..., (n — 1),

n i

— %

v1 + v2

— %

T, 4 + (zn — i)2

n-i / \ 2 / \2

E Uk \ I u„ I _ 2i un

v1 + v2 v + v

— I

k=i

k=i

v1 + v2

v1 + v2

1

v1 + v2

— I

— I

T.u\

2i u„

(vi+iv2 )2 (vi+iv2) 1

2un — 2ivi + 2v2 vi — iv2 — 2iun — vi — iv2

— I

Vi

V2 + Un

= wn

i.e.,

Wk

— 2izk

n- i

E 4 + (zn— i)2 k=i

k = 1,... ,n — 1,

Wn =

2 (Zn — i)

n- i

T, 4 + (zn— i)2 k=i

— 1.

On the other hand,

(wi — Wi) + ... + (Wn-i — Wn-i) — (Wn — Wn)

Then, according inequality (2.6), relation (2.1) becomes

_ n2 — lUif — ... — lUnf + M2 + №2 12

IV2 + Unl2

(Imwn)2 — (Imwi)2 — ... — (Imwn-i)2 > 0.

(2.12)

Domain (2.12) consists of two connected pieces which analytically equivalent each to other. In one piece the inequality Im wn > 0 holds, while in the other the opposite inequality Im wn < 0 is satisfied. The domain r + (n — 1) coincides with one of them. This means that $ maps

n i

n IV

onto t + (n — 1). The map $ is holomorphic because zk2+(zn — i)2 = 0.

k=i

Now we are going to find z1, ..., zn. We have the following identities:

— 2iwk

— 2iwk

-2i ■

Uk

v2+U„

2 , ~\2 W1 +

n- i

J2wl — (Wn + i) k=i

+ — wn — 2iWn + 1

v2-un v2+Un

- 2i

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

vi

v2+Ur.

+ 1

U

n

U

2

n

— 2iUk

— 2iUk

V2 - Un - 2ivi + V2 + un 2V2 - 2ivi

Uk

Vi + №2

Zk,

k = 1,..., (n - 1),

and

2

V!

V2+Ur

+ i

-2v1 - 2w2 - 2rnn

-2 (wn + Q _ _

n—i2, ,2 = - 2i + 1 = W2 - Un - 2Wi + V2 + Mn - (wn + ¿)2 V2+M- V - 2 n i 2 n

k=i

V2+«n

- 2vi - 2m2 - 2iun un - + v2

2v2 - 2^

Vi + ^2

Mn

Wi + iV2

% — ^.

Then by (2.3) we can find the inverse map ^ = $ i : C™ ^ Cn, which is defined as

Zk

-2iwk

n i

E

k=1

E Wl - (Wn + if

k = 1, ..., (n - 1)

% —

2 (wn + i)

n— i

E

k=i

E»2 - (Wn + 02

(2.13)

By the inequality

w2 + ... + - u^ - 2iwn + 1 = 0,

the map $—i is holomorphic in r +(n - 1). In the same way we prove that $—i maps holomor-phically r +(n - 1) into !Rny. Thus, $ maps biholomorphically the domain !Rny onto r +(n - 1). Now for the points z\, . . . , zn G r^« we calculate:

-W - 4iWn {Z,Z) =---

and

n— i

2

w

4E Iwk|2 + liW - 2 (wn + ¿)|

2 = k=i_

= IW |2

(2.14)

n—1

where W = E wk - (wn + 0 . In addition, the complex numbers w\,w2,... ,wn satisfy the k=i

conditions

|<z,z>| = 1, |*| = 1

if and only if

Im wi = ... = Im wn = 0.

This means that the map $ biholomorphically converts r^« to r+(n).

Thus, $ maps biholomorphically the domain ^ onto r + (n - 1), and it is clear that it transforms r^y into r+(n). □

It is known that each biholomorphic map $ : D ^ G establishes a group isomorphism of Aut D and Aut G by the formula

$ : <p ^ $ o <p o $—i, <p g Aut D, (2.15)

i.e., the isomorphism of the groups Aut D and Aut G is necessary for the holomorphic equivalence of the domains D and G (but not enough), see [8].

Thus, using Theorem 2.1 and the formula (2.15), we obtain a transitive group of holomorphic automorphisms of the domain r + (n - 1). We recall that the group automorphisms of a domain

z

n

are called transitive if there exists an automorphism transferring each point a of a domain to any other point of this domain.

We know that [3] the automorphism $a of a Lie ball transfering the point

a = (a1, a2, ..., an) into 0 = (0,..., 0) can be found explicitly:

*a(z) =

2« *, *>+1), 2 (< *, z> - !)) a -^ (!)

~Q' H 2(<z• ">+ 1)' 2(("•2>- Q'

where

1

A =2(1 + KM|2 - 2M2)-2

-V<

-i(<a, a> - <a, a>) <a, a> + <a, a> - 2 a> + <a, a> + 2 i(<a, a) - <a, a>)

)

X

1

0 =

(

1 - |<«,«>|

and the nondegenerate matrix Q is chosen as

(n)

a + a - (<a,a> ■ a + <a,a> ■ a)) 2 * "(a - a) + i(<a, a> ■ a - <a, a> ■ a)

)

Q(I(n) - X0Xo)Q' =

n) .

(2.16)

Using the transformation (2.3) and the automorphism $a of the Lie ball SR1}V transferring the point a to (0, 0, ..., 0), we define the following map:

ty, = $ o $a o $-1, where b = $(a). (2.17)

It is clear that is an automorphism of the domain r+ (n — 1) transferring the point be r+ (n — 1) into the point i = (0, 0, ..., i ).

In this way, using map (2.3), we can find the group of automorphisms of the domain T+ (n — 1).

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

Under the map $, the generalized unitary transformation of the Lie ball SR™V transferring the point (0, 0, ..., 0) onto itself becomes the transformation of the domain r+ (n — 1) preserving the point i = (0, 0, . . . , ).

3. Boundary Morera theorem for the future tube

Let $ be the Cayley transform (2.3) that maps the points of the Lie ball W[V to the points in the future tube r+ (n — 1). We consider the following embedding of the circle A = {|i| < 1} into the future tube r+ (n — 1):

{Q e Cn : (t = $ (t$-1 ( A)), te A} , (3.1)

where A = (A1, A2, ..., An) e rr+(n-1). If ^ is an automorphism of the domain r+ (n — 1), then this automorphism maps set (3.1) into some analytic disk with boundaries on rr+(n-1). We denote T = {i e C : |i| = 1} and we define the Hardy space Hp (r+ (n — 1)), 0 < p <

on the domain r+ (n — 1) as a space of holomorphic functions F in r+ (n — 1) with a finite norm

/ \ '

h p

sup

0<r<1

1 f (rz)|P^

\rr +(n-1

/

where rq is the Lebesgue measure on the skeleton of rr+(n-1). The corresponding spaces H^ (t+ (n — 1)) are defined as functions with a finite norm defined by

h ~

sup | ( )|

ze T+(n-i)

Theorem 3.1. Let f be a continuous bounded function on Tr+(n-1). If the function f satisfies the condition

i f (tf«t)) dt = 0, (3.2)

T

for all automorphisms ^ E Aut (r + (n — 1)) and for a fixed X° E Tr+(n-1), then the function f can be continued holomorphically on r + (n — 1) to a function F in the class H^ (r + (n — 1)) and F is continuous up to rr+(n-1).

Proof. Without loss of generality, we can assume that condition (3.2) is satisfied for arbitrary A E rr+(n-1). In condition (3.2), we substitute an automorphism

^ = $ O $-1 o $-1

instead of ^ and we get:

J f ($ o O $-1((t))dt = 0. (3.3)

T

Since (t = $ (i$-1 (A)) and denoting 6 = $-1(A), we rewrite condition (3.3) in the form

J f ($ O $-\6t))dt = 0. (3.4)

T

Let us consider in more detail the Shilov boundary (skeleton) for the domain . Put z = x + iy, where x and y are real vectors. The intersection of with the complex sphere Sn = {z E Cn : (z, z) = 1} reads as

{M2 = |y|2 + 1, (x,y) = 0, |x|2 + lyl2 = 1} ,

hence y = 0 and Sn intersects r^« along the n-dimensional real sphere {x E Rn : |x| = 1}. Thats why the skeleton can be written as

= {z = eiipx : |x|2 = 1, 0 ^ <p ^ 2^} .

It means that the skeleton has real dimension n. Then we can consider the following parameterization of the core of the Lie ball:

£ = 6t, t = eiv, 0 ^ <p ^ 2^, 6 E Sn,

where Sn is the real unit sphere and the normalized Lebesgue measure of the skeleton of the Lie ball can be represented as

da = — A da1 (6) = — — A d&1 (6), 2n 2m t

where t = eiip and da1 is a positive measure on Sn. Using this representation, we multiply the identity in condition (3.4) by da1(6) and integrate over the skeleton of :

1

f ($ o $a-1(£))6da(0 = 0, (3.5)

Trnn ■HIV

where , k = 1, 2,..., are the coordinates of the vector £ e . After changing the variables u = $-1(C), identity (3.5) casts into the form:

J f ($(W))$S(u)da ($a(W)) = 0, (3.6)

Tsan IV

where $a is the kth component of the automorphism $a. By virtue of [13], we have that

da ($ a M) = P^y (w, a) da (uj), here P^nv (U},a) is the Poisson kernel in . Hence,

f ($M)$k(u)P^nv (u,a)da(u) = 0, (3.7)

a

MIV

for all points a E W}y and for all k.

Now in this integral, using the mapping (2.3), we make the replacement u = $ (u):

$k m = $k o $-1 (u) = * k («),

where *k (u) is the kth component of the map * = $a o $-1. Due to [30] we can write the automorphism $ a in the following form:

^ { s. (1 + l(a,a)l'2 — 2|g|2) 2 f faaj-faw) --,

$a(u) = —---T - ^ — a + -----2-(a — a • (a,a))\ Q.

1 + (u,u)(a,a) — 2(oj, a) \ 1 — |(a,a)| J

Since the nondegenerate matrix Q depends only on a, the condition (3.7) also holds for the map

^ / \ 1 ( (a, a) — (uj,uj) (_ -

$a M = , . , - " « + 1_|(aia)|2 (« " «(«.«^ ■

1 + (u,u)(a,a) — 2(oj,a)\ 1 — Ka,a

Then, the relation (2.13) for *k (M)

is of the form:

*k (u) =-1-

' ___ n-1 _ _

2U + 2B + 8unbn — 8J2 ukbk + i (4un — 4bJ + 2

k=1

l—2iuk —2ibk ((4iun + U) B — (4ibn + B) U) B f2ibk 2ibk 4ibn + Bs

y~u B~ + _Wj4MnB—V+ ~B 1 ,

where k =1, ..., (n — 1) , and

UB

=-1-

v y ' ___ n-1 _ _

2 U + 2 B + 8unbn — 8 E Ukbk + i (4un — 4bn) + 2

k=1

(

2 (Un + i) + 2 (bn + i) + ((4 iUn + u)B — (4%bn + B)U)B U B U (4iK,B — 4xbnB — 16|b^2)

. i — 2 (pn — i) + ^ — 2 (bn + i) ^ ^ 4 ibn + B j j

where

n- 1 n- 1

B = £ b2k — (bn + *)2, U = — (Un + *)2.

k=1 k=1

By the Lemma 3.4 in [13] we have:

Pk«v ($-1 (u) , $-1 (6)) da ($-1 (u)) = Pr+{n-1) (u, b) dV (u), here the Poisson kernel PT +(n-1) (u, b) for the domain r+ (n — 1) has the following form [6]:

n

\(y2)]n

PT +(n-1) (u, b) =

(x + i y — u)2

n

where

+ ( n- i) .

y2 = y2n - (y') = yn - (y2i + yl + ... + y2n-i) • X + iy = b e T+ (n - 1) • u G P Then, in condition (3.7), the integration set becomes rr+(n-1) and we obtain the condition

/(u)^k (u) PT +(n-1) (u, b)dri (u) = 0,

(3.8)

r +(n-1)

for all points be r+ (n — 1) and for all fc = 1,..., n. We introduce the following notation:

F (b)

f(u)PT +(n-1) (u, b)dr (u).

T +(n-1)

According Proposition 2.5 in [13], the Poisson integral F(b) is well-defined and it is a real analytic function in r+ ( n — 1) continuous up to rr+ (n-1) and equal to f on rr+(n-1). We need to show that F is a holomorphic function once satisfies the assumptions of Theorem 3.1. In order to do this, we consider a differential operator of Euler type of the following form:

n— 1

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

.T- d

~d=Y.2 i- (Œ+2(b n - !dw=

k=1

We denote

A(y) := yn - (y')2 = v2 -{yl + VÎ + ... + yl-1) ,

dbn

then the Poisson kernel PT+(n-1)(u, b) can be written as PT + (n— 1) (u, b) =

A i (i (6-6)) ,

vv ;be r+ (n- 1), u e rr+(n—1).

|A (6 — u)lr

Then the partial derivatives PT +(n-1) (u, 6) cast into the form: 9PT +(n-1) (u, 6)_ 1 d (Af (i (6 — 6))

d bk

Ai (6 - u) dbk\ A2 (b - u)

1 f nA f—1 (i (6 - 6) ) 2 (bk -bj + n A 2 (i (6 - 6) ) 2 (bk - uk)

A 2 (6 - u) \

2Ai (b - u)

2 A f+1 (6 - u)

)

n

= n

(6k - bk) , (6k - uk)\ Af(i (6- 6))

+

A (i (b - 6)) A{b-u)) |An (6 - u)| (6k - bk) (bk - uk)

+

A(i (6-6)) ' A (b - u) 1 Pr+(n—1) (u b)

(

n

(h - bk)

(n—1 _ 2 _ 2\

( E (bk - bk) - (6n - 6^ J

k - uk

n— 1

(6n - un) - E (bk - uk) k=1

Pr + (n— 1) (u, 6) ,

r

r

2

n

for all k = 1, 2, ... ,n — 1, and

dPT+(n—1) (u, 6)_ 1 d (Ai(i(b - b))

<962

A

Af ( b - u) <%n V A2 (b- u)

1 / nA f—1 (i (6 -6)) (6n - nA2 (i (6-6)) (6n -un)

-

A 2 ( b - u)

n - un

— n

+

A ï (b - u) A f+1 (b - u)

- bn) \ Af (i (6 - 6))

)

n

n

A (b-u) A (i (6 - b)) ) |An (6 - u)| (6n - 6^ (6n - u„)\ n . 7.

A-w—4+Ai——4J Pt+(n—1)(u,6) (

- bn)

n—1

\ \ J2 (h - bk)2 - (6n - b

k=1

2 __2 \

) - ( 6n - 6^ j (6n un)

n 1

(&n - un)2 - £ (bk - uk)2

k=1

Pr +(n—1)(u, 6),

Hence, we have the following relation:

n 1

/ n Y^o-7T<9Pr+(n—1) (u'6) , o/T" 5Pr +(n—1) (u6) <9Pr+(n—1) (u,b)=2_^2ibk---(iB + 2(bn - i)) ( )

k=1

db.

k

db2

znPT +(n—1) (u, b)

/ n—1 ___

4 £ | bk I2 + 2 i B (bn + i ) - 2 i B ( bn - i ) + 4| bn + i|2

k=1

OI2)

n— 1 _ ___ _ \

-4 £ ukbk + i ((2un + i) B - U (2b n - i)) + (2un + i ) (2 6n -i ) 1

_ / n—1

-4 i6nB - 8 £ |bk|2 + 21iB - 2 (bn + iN|2 V k=1

n 1

2 U + 2 B + 8un bn - 8 £ u^k + i (4un - 46^ + 2

k=1

Moreover,

n 1

■ ( — 4 g f + 1 + i (

UB

n 1

2 U + 2 B + 8un 6n - 8 £ u^k + i (4un - 4&J + 2

k=1

i / (2un + i ) (2bn - i ) \ + (2un + i) (2 bn - i)

U

B

U

B

(

-2 i bk 2 . 2 (bn + i )

B 1 B

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

n— 1

£

k=1

—4 i 62 + B B

+

[(4iun + U)B - (4ibn + B) U] B U (4ib2B - 4ibn~B - 1616n |2)

n 1

1-

k=1

2 k

B

+

2 ( n + )

B

2

n

2

2

2

Then

/ n-1 ___

4 £ |bk f + 2tB (bn + i) — 2 iB (bn — i) + 4|bn + if

k=1

_ / n-1

—4ibnB — 8 £ |bkf + 2|iB — 2 (b,n + iN|2

V k=1

0|2)

n-1 _ ___ _ \

—4 £ Ukbk + i {(2un + i) B — U (26 n — i)) + (2un + «) (2bn — i) 1 k=1

n 1

2 ^ + 2 5 + 8unbn — 8 £ Ukbk + i {4un — 4b,n) + 2

5.

k=1

n 1

dPr +(n-1)(u, b)

-

dF = £ 2ibk f(u)^ dV(u)

1=1 J

1 t +(n-2)

— (iB + 2(5; — i))

aM^ drKu)

ob n

- t +(n-2)

(n-1 k=1

/(«)(> ; 2Cm+(nz1)(u, b) — (iB + 2(Vn — i))

9PT+(n-

dbk v v n '' db

l)(u, b) \

n

dr] (u)

-n

f(u)

/ n-1 ___

f 4 £ |bkf + 2tB (bn + i) — 2 iB (bn — i) + 4|bn + if

1 t + (n-2)

n1

k=1

_ / n-1

—4ibnB — 8 £ |bk f + 2|iB — 2 (b,n + iN|2 V k=1

0|2)

n-1_ ___ _ \

—4 £ ukbk + i {(2un + i)B — U (2 bn — i)) + (2un + i) {2bn — i) )

k=1

n 1

2 u + 2 B + 8unbn — 8 £ Ukbk + i (4un — 46j + 2 PT +(,n-1) (u, b) d'q(u)

k=1

(

n

n 1

f(u)J2 *(u)2ibkPr+(n-1)(u, b)drj(u)

V

t +(n-2)

k=1

\

f(u)*n(u) (IB + 2 (bn — I)) Pr +(n-1)(u, b)dV(u)

- t+ (n-2)

/

Now by (3.8) and (3.9) we obtain:

dF = 0

(3.9)

(3.10)

for all points b E t+ (n — 1). This yields that F is holomorphic in t+ (n — 1). Indeed, expanding the function into a Taylor series in powers of (b — i), where i = (0,0,..., i) E r+ (n — 1), we get:

F(&)= £ ^ (b — if (b — if,

r

2)

T 1 (n

where a = (a1,..., an), / = (/31,..., /n) are multi-indexes and

ba = hi1 b%2 ■ ■ ■ ba-, ||a|| = a1 + a2 + ... + an Then by (3.10) we obtain

9F = £ №II (b - i)^6 - ^ = 0'

\\<*\\M\

i.e., if ||/|| > 0, then all the coefficients are equal to zero. Consequently, the function F is holomorphic in r+ (n — 1) and F e Hr+ (n — 1)). □

The proof of this theorem shows that a more general theorem is also true.

Theorem 3.2. Let f be a continuous bounded function on rr+(n-1). If condition (3.2) is satisfied for the function f for all automorphisms mapping the point i = (0, 0,..., i) into the points from some open set V C r+ (n — 1). Then f can be holomorphically continued in r+ (n — 1) to a function F e H^(r+ (n — 1)) continuous up to Tr+(n-1).

Let A^ = {( : ( = )} be an analytic disk, where is defined as in (3.1) and ^ is an automorphism of the domain r+(n — 1).

Corollary 3.1. If a continuous and bounded in rr+(ra-1) function f can be holomorphically continued into the analytic disks A^ for all automorphisms ^ mapping the point i = (0, 0,..., i) into the points from some open set V C r+ (n — 1), then f can be holomorphically continued into t+ (n — 1) to a function F e Hr+ (n — 1)) continuous up to rr+(n-1).

This Corollary 3.1 is an analogue Stout theorem [12] on functions with the one dimensional property of holomorphic continuation but in our case it is formulated for the domain r+ (n — 1).

The following corollary generalizes a similar Tumanov theorem [17] for a smooth function of a given class of CR manifolds.

Corollary 3.2. If a continuous bounded function f defined on rr+(ra-1) can be holomorphically continued in t into each analytic disk A^ lying in r+(n — 1) with a boundary on rr+(ra-1), then f can be holomorphically continued into the domain r+(n — 1) and, therefore, is a CR function on rr +(n-1).

REFERENCES

1. E. Cartan. Sur les domaines bornes homogenes de l 'espace de n variables complexes // Abh. Math. Sern. Univ. Hamburg 11, 116-162 (1935).

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

2. C.L. Siegel. Analytic functions of several complex variables. Princeton, New Jersey (1949).

3. Hua Lougeng. Harmonic analysis of functions of several complex variables in the classical domains. Science Press, Beijing (1958). [Amer. Math. Soc. Providence, RI (1963).]

4. I.I. Pjateckii-Sapiro. Automorphic functions and the geometry of classical domains. Gordon and Breach, New York (1969).

5. V.S. Vladimirov. Methods of the theory of functions of several complex variables. Nauka, Moscow (1964). [M.I.T. Press, Cambridge (1966).]

6. V.S. Vladimirov. Generalized functions in mathematical physics. Nauka, (1979). [Mir, Moscow (1979).]

7. V.S. Vladimirov, A.G.Sergeev. Complex analysis in the future tube // Itogi Nauki Tekh. Ser. Sovrem. Probl. Mat. Fundam. Napravleniya. 8, 191-266 (1985). [Encycl. Math. Sci. 8, 179-253 (1994).]

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

B.V. Shabat. Introduction to Complex Analysis Part II: Functions of Several Variables. Nauka, Moscow (1985). [Amer. Math. Soc., Providence, RI (1992).]

L.A. Aizenberg, A.P. Yuzhakov. Integral representations and residues in multidimensional complex analysis Transl. Math. Monogr. 58. Amer. Math. Soc., Providence, RI (1983). L.A. Aizenberg. Carleman Formulas in complex analysis. Nauka, Novosibirsk (1990). A. Nagel and W. Rudin. Moebius-invariant function spaces on balls and spheres // Duke Math. 43:1 841-865 (1976).

E.L. Stout. The boundary values of holomorphic functions of several complex variables // Duke Math. 44:1, 105-108 (1977).

A. Koranyi. The Poisson integral for generalized half-planes and bounded symmetric domaines // Ann. Math. 82:2, 332-350 (1965).

J. Globevnik. A boundary Morera theorem //J. Geom. Anal. 3, 269-277 (1993). J. Globevnik, E.L. Stout. Boundary Morera theorems for holomorphic functions of several complex variables // Duke Math. 64:3. 571-615 (1991).

E. Grinberg. A boundary analogue of Morera's theorem on the unit ball of Cn // Proc. Amer. Math. Soc. 102. 114-116 (1988).

A.E. Tumanov. Extension of CR functions into a wedge from a manifold of finite type // Matem. Sborn. 136(178):1(5), 128-139 (1988). [Math. USSR Sb. 64:1, 129-140 (1989).]

M.L. Agranovskii, A.M. Semenov. Boundary analogs of the Hartogs theorems // Sibir. Matem. Zhurn. 32:1, 168-170 (1991). [Siberian Math. J. 32:1, 137-139 (1991).]

M.L. Agranovskii, R.E. Val'skii. Maximality of invariant function algebras // Sibir. Matem. Zhurn. 12:1, 3-12 (1971). [Siberian Math. J. 12:1, 1-7 (1971).]

M. Agranovsky, C.A. Berenstein, D.C. Chang. Morera theorems for holomorphic Hp spaces in the Heisenberg group //J. Reine Angew. Math. 443, 49-89 (1993).

B.T. Kurbanov. Morera theorem for certain unbounded domains //in Proceedings of International Conference "Mathematical Models and Methods of Studying Them". 2. Institute of Computational Modeling, Krasnoyarsk, 49-51 (2001). (in Russian).

B.T. Kurbanov. Boundary Morera theorem for the generalized upper half-plane //in "Higher dimensional complex analysis", Krasnoyarsk State University, Krasnoyarsk, 68-78 (2002). (in Russian).

A.M. Kytmanov, S.G. Myslivets. Multidimensional integral representations Springer, Cham (2015).

A.M. Kytmanov, S.G. Myslivets. On a certain boundary analog of the Morera theorem // Sibir. Matem. Zhurn. 36:6, 1350-1353 (1995). [Siberian Math. J. 36:6, 1171-1174 (1995).] A.M. Kytmanov, S.G. Myslivets. On holomorphicity of functions represented by the logarithmic residue formula // Sibir. Matem. Zhurn. 38:2, 351-361 (1997). [Siberian Math. J. 38:2, 302-311 (1997).]

S.G. Myslivets. On holomorpic continuation of functions along complex curves // Topics in Complex Analysis, Differential Geometry and Mathematical Physics. Third Int. Workshop on Complex Structures and Vector Fields. Varna, // World Scientific. 39-45 (1996). A.M. Kytmanov, S.G. Myslivets. On holomorphic continuation of functions in Siegel domains // J. Natural Geom. 17, 11-20 (2000).

S.G. Myslivets. Boundary Morera theorem on the Poincare sphere // in "Complex analysis and differential operators", Krasnoyarsk State University, Krasnoyarsk, 97-102 (2000). A.M. Kytmanov, S.G. Myslivets. Higher-dimensional boundary analogs of the Morera theorem in problems of analytic continuation of functions //J. Math. Sci. 120:6, 1842-1867 (2004). S. Kosbergenov, A.M. Kytmanov, S.G. Myslivets. On the boundary Morera theorem for classical domains // Sib. Matem. Zhurn. 40:3, 595-604 (1999). [Siber. Math. J. 40:3, 506-514 (1999).] S. Kosbergenov. On the boundary Morera theorem for the ball and the polydisk //in "Complex Analysis and Mathematical Physics", Krasnoyarsk State University, Krasnoyarsk, 59-65 (1998). (in Russian)

32. S. Kosbergenov. On a multidimensional boundary Morera theorem for the matrix ball // Izv. Vyssh. Uchebn. Zaved. Mat., 4, 28-32 (2001). [Russian Math. (Iz. VUZ). 45:4, 26-30 (2001).]

33. G. Khudayberganov, Z.K. Matyakubov. Boundary version of the Morera theorem for a matrix ball of the second Type // J. Siber. Fed. Univ. Math. Phys. 7:4, 466-471 (2014). (in Russian).

34. G.Kh. Khudayberganov, B.P. Otemuratov, U.S. Rakhmonov. Boundary Morera theorem for the matrix ball of the third type //J. Siber. Fed. Univ. Math. Phys. 11:1, 40-45 (2018). (in Russian).

35. I.Kh. Musin, P.V. Yakovleva. On a space of smooth functions on a convex unbounded set in Rn admitting holomorphic extension in Cn // Cent. Eur. J. Math. 10:2, 665-692 (2012).

36. I.Kh. Musin, P.V. Fedotova. On a class of infinitely differentiable functions on unbounded convex set in Rn admitting holomorphic continuation in Cn // Ufimsk. Mat. Zhurn. 1:2, 75-100 (2009). (in Russian).

37. B.P. Otemuratov. Analogs of Morera's theorem for integrable functions in classical domains // Uzbek. Matem. Zhurn. 3, 115-122 (2012).

38. B.P. Otemuratov, B. Kutlymuratov. Boundary theorem of Morera on the Poincare sphere for integrable functions // Uzbek. Matem. Zhurn. 4. 185-190 (2010).

Gulmirza Khudayberganov,

National University of Uzbekistan named after M. Ulugbek,

Universitetskaya street, Vuzgorodok,

100174, Tashkent, Uzbekistan

E-mail: [email protected]

Jonibek Shokirovich Abdullayev,

National University of Uzbekistan named after M. Ulugbek,

Universitetskaya street, Vuzgorodok, 100174

Tashkent, Uzbekistan

E-mail: [email protected]

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