CC BY
10
Вестник КРАУНЦ. Физ.-мат. науки. 2017. № 3(19). C. 25-49. ISSN 2079-6641
DOI: 10.18454/2079-6641-2017-19-3-25-49
MSC 42B15+42B30
ON SOME SHARP THEOREMS ON DISTANCE FUNCTION IN HARDY TYPE, BERGMAN TYPE AND HERZ TYPE ANALYTIC CLASSES
R. F. Shamoyan, S.P. Maksakov
Bryansk State University, 241036, Bryansk, Bezhitskaya st., 14, RussiaIran University
of Science and Technology.
E-mail: rsham@mail.ru, msp222@mail.ru
We present some new sharp estimates concerning distance function in some new mixed norm and Lizorkin-Triebel type spaces in the unit ball.This leads at the same time to direct generalizations of our recent results on extremal problems in such Bergman type spaces. In addition new sharp results in this direction in Hardy-Morrey, and some new weighted Hardy classes in the unit ball and mixed norm Hardy type spaces and Herz type spaces in polyball will be provided and discussed.
Key words: extremal problems, analytic functions, Bergman type spaces, unit ball, Hardy type spaces, Herz type spaces, Mockenhoupt type weights, Hardy-Morrey type spaces.
© Shamoyan R. F., Maksakov S. P., 2017
УДК 517.53+517.55
О НЕКОТОРЫХ ТОЧНЫХ ТЕОРЕМАХ, СВЯЗАННЫХ С ФУНКЦИЕЙ ДИСТАНЦИИ В ПРОСТРАНСТВАХ ТИПА ХАРДИ, БЕРГМАНА И ГЕРЦА
Р. Ф. Шамоян, С. П. Максаков
Брянский государственный университет, 241036, Брянск, ул. Бежицкая., 14, Россия
E-mail: rsham@mail.ru, msp222@mail.ru
Мы приводим новые точные результаты о дистанциях в новых классах со смешанной нормой и в пространствах типа Лизоркина-Трибелиа в единичном шаре. Тем самым, в частности, обощены недавние точные результаты, полученные первым автором в пространствах типа Бергмана. Новые результаты такого типа получены для нескольких первых шкал пространств типа Харди, в частности, для пространств типа Харди-Морреи в единичном шаре. Так же, рассмотрены новые шкалы пространств типа Харди на декартовом произведении шаров со смешанной нормой и получены новые теоремы подобного рода. Введено несколько новых шкал пространства типа Герца в шаре на произведении шаров и доказаны точние резльтаты подобного типа для них.
Ключевые слова: экстремальные задачи, аналитические функции, пространства типа Бергмана, единичный шар, пространства типа Харди, пространства типа Герца, веса типа Макенхаупта,пространства типа Харди-Морреи
© Шамоян Р. Ф. , Максаков С. П., 2017
Introduction
In this paper we continue our recent intensive research on extremal problems in analytic function spaces. The intention of this note is to extend our previous results on extremal problems in the unit ball and polyball from [15] and [16]. Namely, we study the mixed norm spaces of analytic fnctions of Bergman type in the unit ball and polyball and we provide some direct generalization of our previous results. Then in addition we provide similar extensions for some new Hardy type spaces and Herz type spaces in the unit ball. As a base of proofs we put new uniform estimates for Hardy-Morrey and weighted Hardy spaces and new projection theorems in some new Bergman type spaces obtained recently (see [1] - [3], [11], [22]).
We alert the reader that we provide some of these results without proofs, since proofs from our point of view can be recovered easily by reader from a detailed remarks which will be provided .The base of all proofs is well-known Forelli-Rudin type estimate for Bergman kernel and Bergman representation formula and Bergman type projection theorem together with chain of transparent arguments combined with classical inequalities of function theory. We shortly remind the history of this problem to readers. After the appearance of [6] various papers appeared where arguments which can be seen in [6] were extended and modified in various directions (see [12], [14] [15], [16]).
In particular in mentioned papers various new results on distances for analytic function spaces in higher dimension (unit ball and polydisk ) were obtained. Namely new results for large scales of analytic mixed norm spaces in higher dimension were proved.
Later, several new sharp results for harmonic functions of several variables in the unit ball and upperhalfplane of Euclidean space were also obtained (see, for, example, [1] and references there).
We mention separately [14] and [9], [13] where the case of higher dimension was considered in harmonic and analytic spaces and new similar results in domains with smooth boundary were also provided.
The motivation of this problem related with distance function is to find a concrete formula which will help to calculate this function more concretely via the well-known Bergman kernel.
The goal of this note is to develop further some ideas from recent mentioned papers and present new sharp assertions. The plan of this paper is the following.First we present a simple case with complete proof then turn to more complicated function spaces in various domains.
In some cases additional conditions in formulation of our theorems will be posed.We formulate it as a problem to remove these additional conditions. We denote by C,Ci,C2,Ca,Cp various positive constants in this paper.
Notations and preliminaries
For formulations of our main results we need various standard definitions and preliminaries from function theory in the unit ball and polydisk. All material concerning definitions in the unit ball and polydisk can be seen in [4], [5], [10], [17], [21].
Let C denote the set of complex numbers. Throughout the paper we fix a positive integer n and let
Cn = {z = (zi,...,zn):zk e C, 1 < k< n}
be the n-dimensional space of complex coordinates. The open unit ball in Cn is the set
B = {z e Cn ||z| < 1}.
The boundary of B will be denoted by S,
S = {z e Cn | |z| = 1}.
As usual, we denote by H(B) the class of all holomorphic functions on B. Let dV denote the Lebesgue measure on unit ball B normalized such that V(B) = 1 and let do denote the surface measure on S normalized such that o(S) = 1. For any real number a, let
dVa (z)= Ca (1 -|z|)a-1dV (z) for |z| < 1. Here, if a < -1, ca = 1 and if a > -1,
_ r(n + 1 + a) Ca = r(n + 1)r(a + 1)
is the normalizing constant so that Va has unit total mass.
For a > —1 and p > 0 the weighted Bergman space Ap(B) consists of holomorphic functions f in Lp(B, dVa), that is,
AP (B)= Lp(B, dVa) n H(B), AP(B) = {f e H(B) : J |f (z)|P(1 — |z|)v—1dV(z) < ~}, 0 < p < v > 0.
b
See [12] for more details of weighted Bergman spaces.
Let Xg be below a characteristic function of the G set, as usual.
We denote the unit polydisk by
Un = {z e Cn : |zk| < 1,1 < k < n}
and the distinguished boundary Un of by
Tn = {z e Cn : |zk| = 1,1 < k < n}.
By m2n we denote the volume measure on Un and by mn we denote the normalized Lebesgue measure on Tn. Let H(Un) be the space of all holomorphic functions on Un. The Hardy spaces, denoted by Hp(Un) (0 < p < are defined by
Hp(Un) = {f e H(Un) : sup Mp(f, r) < ~},
0<r<1
where
(Mp^^,r))p = J |f(r^)|pdm„(«§),r e (0,1), (1)
t«
M„(f,r) = max | f (r<§)|,r E (0,1), f E H(Un), r e (0,1), (2)
(Mp(f,r))p = j |f (r§)|pda(«§);0 < p < r e (0,1). (3)
s
As usual, we denote by ~oi the vector (a1,..., an). Let also r = (r1,...,rn),rj e (0,1), j = 1,..., n, z = (z1, ..., Zm), Zj e C, j = 1,..., m.
We define weighted Hardy space in the unit ball as follows
A^(B) = {f E H(B) : sup( f |f (r<§)|8da(<§))1 (1 - r)s < (4)
r<1 s
where s > 0, 8 > 0.
Now we define weighted Hardy space in the polydisk
A?8 (Un) = {f E H(Un) : sup (/| f(-t£ )l8dmn(S))1 fj (1 - rk)s < <*>}, (5)
r1<1,...,rn<1 tn k=1
where s > 0, 8 > 0..
For aj > 0, j = 1,...,n, 0 < p < <*>, recall that the weighted Bergman space A^(Un) consists of all holomorphic functions on the polydisk such that
Ilk = f If (z)lPfl(1 - Izi|2)ai-1dm2n(z) < « A i=1
TT rt I L
|2\a;-1
ij (z)r i jv - iz;
Un
For a > 0, let
(6)
A-(B) = {f E H(B) : sup( i |f (r<§)||da(«§)|)(1 - r)a < -}. (7)
r<1 j
A- (Un) = A-'1 (8)
Extremal problem in Ala Bergman space in the unit ball and polydisk
This section provides the simple model case for our further work. Namely, these results serve as model for results of next section where far reaching extensions are given based fully on these proofs of this section on the unit ball, polydisk.
In this section, first we deal with simplest case Bergman Ala class in the unit ball (see [13] and [15]).
We now define a new subset of the unit interval and then using its characteristic function we will give a sharp assertion concerning distance function.
For e > 0, f e H(B), let
Le,a(f) = {r E (0,1): (1 - r)a J |f (r£) | |da(«§) | > e}. (9)
S
Theorem 1. Let f e A~(B), a > 0. Then the following are equivalent:
(a) s1 = distAS(BB)(f,Aa(B));
(b) S2 = inf{e > 0 : /(1 — r)—1 Xl£a(f)(r)dr < ~}.
0
Proof. First we prove s1 > s2. Let as assume that s1 < s2. Then we can find two numbers e, e1 such that e > e1 > 0, and a function
fi G AO,(B), || f - /ei ||as(b) < ci
and
/(1 - r) 1 XLc,a(f)(r)dr =
Hence we have
0
(1 - r)a J |fci (r£)||da(S)| (10)
s
a I I 11 J„./£M „„„/i „\a
> (1 - r)a/ I f (r_ )||da (_ )|-sup(1 - r)a/ | f (r_ ) - /ei (r_ )||d a (_ )|
J r<1 ^
s s
> (1 - r)a JI f(r; )i|d a (_ )|-ei. s
Hence for any s g [-1,<^),
1 1 (e - eO/(1 - r)sXL£,a ( / )(r)dr < C^ (J | f^ (r_ )||da (_ )|)(1 - r)a+sdr. (11)
0 0 s
Thus we have a contradiction.
It remains to show s1 < Cs2. Let I = [0,1). We argue as above and obtain from the classical Bergman representation formula (see [19]).
f(pc) = f(z) = C2(t) / / (f_|p-)r+2da(_)d'+
Le,a (f) s v
+C3 (t) f f f (rt T1 -r+2da(_ )dr = f1(z) + /2(z), J (1- r_pZ)+2
1\Le,a(f) s V where t is large enough. Then we have
(1 - p )a JI /2(pZ )||da (Z )|< C4(1 - P )a J J J 1 f 1Z-t -+-Id a (_ )|dr|d a (Z )| s s /\Le,a(f) s | r;PZ |
< C5(1 - p)a / f |f(r_)|(1 - r)(| 1 z t+2 |da(Z)|)|da(_)|dr
I\Le,a (f) s s | r_PZ |
i
< CK1 - P)a / /1f №(§)| ^-'L< C7Ê(1 - p)a J t^i^^r < C8e. z\l£,« (f) s 0
For a > 0 we have
|(1 - p )a-1| fi(pZ )|dV (pC ) (13)
b
< C,/(1 -p)a-1 J J +2' |ia«)|drdV(PC)
b Le,a(f) s 1
< Ciosup((1 - r)a J |/(r<§ )||da (§ )|) J (1(1_-,)r')_+-aa dr
r< s Le,„ (f )
< C11sup((1 - r)a J |/(r<§)||da(§)|) J ïïlrydr.
'< s Le ,a f )
aa(b) < ~
Note that the implication
follows directly from the known estimate for a > 0, / g H(B) (see [9]) 1
|(1 - p)a-1(| |/i(p^)|da(É))dp < Cn f (1 - p)a-1|/i(p§)|dV(pÉ). (14)
0 s
Hence
gEAn(B)11f -g"As(b) < C131f -f1llAs(b) = 11f2ias(b) < C14e. The theorem is proved.
Note very similar sharp theorem with same proof can be obtained for pair (A~,A^), where
A- = {f e H(B) : sup|f(z)|(1 - |z|)a < -},- = a + n + 1;a > -1.
zEb
This is very vital observation for us.
Now we will consider the analogous of previous theorem for the polydisk case. For In = [0,1]n, e > 0, s > 0, f e H(Un), let
Ls,e(f) = {r G In : (J |f ("§)|dmn(§)) n(1 - rk)s > e}. (15)
Tn k=1
Theorem 2. Let f e A^(Un) a > 0. 7%en t^e following are equivalent:
(a) ,?! = distAS(U«)(f,A^(Un));
(b) S2 = inf {e > 0 : }...}%La£(y) ft (1 - yj)-1dy1... dyn < -}.
0 0 ' j=1
Proof. First we prove s1 > s2. Let as assume that s1 < s2 . Then we can find two numbers e, e1 such that e > e1 > 0, and a function
fe1 E A^(Un), ||f - fe1 Has(u») <
and
i i
0 o k—i
n
n (i - rk)-iXla,e(f)(r)dri . . . drn =
Hence we have
n(i - rk)\f |fci(?S)||dmn(S)| (16)
k=i tn
n
> n (i - rk)a / | f (rS )||dmn(S )|- sup n (i - r*)a / | f(rS ) - fci (rS )||dm,(S )| k—i Tn ri<i,...,rn<i k—i Tn
n
t
Hence for any s g [-i,
> n (i - rk)^ | f(rs )||dmn(S )|-Ci.
k=i Tn
i i
n
(c - eO /... / n(i - rk)s XLac (f)(r)dri... dr; j J k=i '
0 0 k—*
r)dri...dr„ (17)
< Ci5| ...| (f | fei (rS )||dmn(S )|) ft (i - rk)a+sdri... drn.
A A Tn k—i
1 1
' /'|fe1 (r_)||dmn
0 0 tn
Thus we have a contradiction.
It remains to show S1 < Cs2. Let / = [0 , 1). We argue as above and obtain from the classical Bergman representation formula (see [19]).
f (r_ ) n (1 - rk)' f(PZ)= f(z) = C1(t) y J = +2 dm„(_)dr1...dr„
Le,a (f) tB ( r_PZ )
f (r_ ) ft (1 - rk)'
+C2W / f ——dm„(_ )dr1... dr„ = f1(z) + f2(z),
(1 - r_PZ)'+2
/\Le,a (f) tn V 7
where t is large enough. Then we have
, , , , |f )| fl (1 - rk)'
(1 -P)a J |f2(PZ)||dm„(Z)|< Cs(1 -P)ay y y r^1 Z|t+2 |dm»(_)|dr|dmn(Z)|
(18)
< C4 (i - P)a / ... / J | f (rS )| I! (i - rk) (/ * z |dmn(Z)|)|dmn(S )|dri... dr„
/\Le,a (f) /\Le,a (f ) tn k=i tn | rSPZ |
< Cs(1 -P)a ... / |f(r£)||dmn(^)|k=^7+Tdr1...dr„ (20)
/\L£, a (J) /\L£, a (J) TB
1 1 fl (1 - rk)t-a =1_
(1 - rp )'+1
n (1 - rk)' k=1_
(1 -rp )'+1'
< C6£(1 -p)a I ... I k=1-dr1...dr„ < Ct£.
0 0 For > 0 we have
j (1 - p) a-1| J1(pZ )|dm2n(pZ) (21)
, , , If(H)l fl (1 -r^
< Cs j (1 -p)a-1 y J ^ z t+2 |dm„(<§)|dr1...dr„dm2„(pO
U L£, a (J)TB 1 r^pZ 1
n , , II (1 - rk)'- a < C9 sup (n(1 -rk)a |f)||dmn(£)|W -n=1-dn ...dr
r1<1'...'rn <1 k=1 t l£, a (f) na - rk)'+1-a
n
< C10 sup (n (1 - rk)a i I f )||dmn(^ )|) / -dr1... drn.
r1<1,..."<1 k=1 tn Le,a(/) kn1(1 - rk)
Note that the implication
11 f1|Aa(u") < ~
follows directly from the known estimate for > 0, f1 E H(Un) 1
|(1 -p)a-1(| |f1 (p<§)dm„(£))dp < C11J(1 -p)a-1|f1(p^)|dm2„(p^). (22)
0 tn un
Hence
11 f - glAs(u«) < C1211 f - f1|As(u«) = 11 f2|As(u«) < C13e. The theorem is proved.
New results on distances in some function spaces in higher dimension
In this section we show that theorems of previous section can be extended based on recent results from [2], [3], [11] in various directions to some new Bergman and Hardy type function spaces in the unit ball and polyball in particular to so called mixed norm spaces F«q and 0 < p, q < a > 0.
These results also extend some our previous results on distances from [1], [6], [7], [8], [15].
Let
1
(Fr)(B) = {f e H (B) : J (J | f (z)|q(1 - |z|)aq-1d |z|) pda (Ǥ) <
s 0
1
(A™)(B) = {f e H(B) : J[M|(f,r)](1 - r)aq-1dr < <*>}.
0
We also define new analytic weighted Hardy and Morrey type spaces in context of the unit ball as follows (see [2], [3]). These are weighted Hardy spaces with Muckenhoupt Ap weights.
Let 0 be L1 (S) function 0(E) = / 0da. Let z = r%, % g S, r g (0,1) consider
Ö(z) = ^,Iz = = {П e S : |1 - n<§ | < (1 - r)}.
Let 1 < p < те
~ i ~ x Ap = (0 g L1(da) : sup 0(z)P0'(z)p < <*>},
zeB
0'=0 - p, 0'(z)=m, I+p=1.
|1z| I p'
For 1 < p < 0 e Ap the Hardy space Hp(0) is a space of analytic functions on B with norm
IIf IIhp(0)= sup (/1f (r£)|p(0(t))da(t))p < те. re (0,1) S
For 1 < p < те, s e (—1, n] we define Morrey-Campanato space Mp,s on S as follows
Mp,s(S) = (f e Lp(S) : ||f ||mp,s < те}
where
= ||f ||l, + sup(esP-n i |f(n) - f(Z)|pda(n))p
lp,s
^ it
where a as usual is a Lebeques measure on S
1%,e = {n g S: |1 - %nI < e}.
Note Mp'p = Lp(S), Mp>0 = Bp>° (non isotropic BMO space), for -1 < s < 0, Mp>s = 1s (non isotropic Lipschitz space)(see [2], [3]). We define HMp,s = Mp,snHp - as Morrey class.
In this section we define new mixed norm analytic Herz type spaces on product domains discussing some issues related with distance problem on such type spaces. We also define and provide a new sharp distance theorem for BMOA type spaces in the
context of the unit ball. New projection theorem in Herz type spаces will be аlso given which аlso ^ds to new shаrp results in this direction. Let also
Ap (B x ... x B) = {f e H : (J(J... (J | f (z)|P1 dVai (zi))P1 ... dV^ (zm)) p^ < -},
m B B B
Pi e (0, -), a > -1, j = 1,...,m, dVp (z) = (1 - |z|)^dV(z)
(see [1]). Let X be one of these spaces.
These are Banach spaces if min(pj) > 1 and complete metric spaces for other values
of p. Such spaces in Rn was studied in [18], in polydisk in [22]. All these analytic spaces admit uniform estimates like
sup|f(z)|(1 -|z|)00 < colf ||x,
zeB
or
(|f(z1,...,zn)|)ft(1 - |zj|)aj < co(|fllx); j=1
for some ao, a0 for zj eB, zeB, j = 1,...,m for some fixed a0 = ao(X), aj0)(X), j = 1,...,n depending on X space and for some positive constants c0, c0. For A«9, Fp,q this fact can be seen in [2]. For Hp(0), (HMP,s) spaces this fact can be seen in [3]. For A-P spaces in [1]. So, we can pose a dist problem since, for example, we have a natural question to estimate
dis^(f,X), f e A- .
Next it is well-known for any f, f e A-0 the Bergman formula with large enough index is valid.
These facts are crucial for the proof of our theorems. The carefull inspection of the proof of results of previous section shows that only four tools were used: integral representation, Forelli-Rudin estimate, Bergman projection theorem, and uniform estimates.
To show assertion on distance function we need to use the following classical facts first for any f, f e A-
f «=/
f (ffl)(1 - |ffl|)ßdV(ffl)
(1 - ©z)p +n+1 '
P > —1 (representation formula), z G B and that the classical Bergman Pp0 projection for large & index maps A«q into A«q and F^'^ into F^ (see [2], [11]). The Bergman projection Pp for f g L1(dV) is defined as follows
(Pf)() r f (©)(1 — |©|)pdV(©) ;
(PPf)(z)=bB (1 — 'Z G
similarly for product domain via kernels
m
n
(1 -Kl)ßj
j=1 (1 - Zjöj)ßj +n+1 34
We define P+ similarly taking modulus of kernel.
This operator for large enough p is acting from F«'r into F«'r and from A^ into A«r. These assertions can be seen in [2], [11] for all p and r bigger than one. These assertions are important part of proof of theorems of this section. A simple inspection shows that these type assertions (indirectly) serve as a base of proofs of our theorems in previous section. This observation is important for us.
The last results are valid even for some weightes o and for Apq (general) spaces (see, for example, [21], [23]) for projection theorems in these spaces in the ball.
The same projection result is valid for A^(B^) classes (see [1] and references there) (mixed norm analytic spaces in polyball).
For HMp,s and H0 spaces to prove a sharp theorem we put this assertion on projection in our theorem as some additional condition which probably can be even removed.
To prove these assertions we have to repeat step by step the proof of model case of previouus section based on these remarks we just did.
We have the following sharp results among other things (theorems on A«9 can be partially even extended to AO,'9 spaces (more general weighted Bergman classes spaces) based on results on projections [21], [23].
Theorem 1. Let 1 < p, q < ^ then for all p > p0 for same large enough p0 and all f f e A„, a > 0 we have l1 x l2; where
li = d/st (f, Apq);
'2 = f > 0: / (/( / (1 - SZ^ («)) pdr < -}.
0 S
Theorem 2. Let 1 < p, q < ^ then for all p > p0 for some large enough p0 and all f f e A„, a > 0 we have l1 x l2 where
li = d/st (f, Fpq);
'2 = f > 0: /(./( / (1 -^(Z))qdr)pda«) < -},
S 0
where
,a = {z e B : |f (z)|(1 -|z|)a > e};
Remark 1.Theorems 1,2 for p = q case can be seen in [6], [7], [8], [15], [16]. The following results are for Hp(0) and HMp,s spaces. For s > 0, 1 < p < ^ there is a0 so that HMp's c A^ see [2], [3], [11]. This pose a dist problem.
Theorem 3. Let 1 < p < ^ s e (0,p). Then there is large enough p0 and some fixed a0, a0 = a0(s,n,p), so that for all p > p0 we have l1 x l2, where
l1 = distA- (f, HMp's);
' lfp > 0:|| i If(z)l(1 -|z|)p-a0dV(Z) < ,
'2 = lnf{p > 0: || / -11 - az|p +n+1-llHMp's <
if
There is p° so that Hp(0) c A-, p° = P°(p,0), (see [2], [3]). So we pose dist problem. Theorem 4. Let 1 < p < —, 0 e Ap, f e A— then 11 x /2, where
li = disiA- (f,Hp(0));
p0
/ ifP > °:|l i I f (z)l(l -|z|)P_Po dV (z)„ < , 12 = inf{p > 1 y -11 _ _Z|P +W+1-Hhp(0) < —}
%°,P
for all P > /3° for some large enough /3° if
||P+|g|||HP(0) < C2!g!HP(0).
Similarly more general weighted Hardy classes H— can be defined and Hardy-Morrey
— — 0
spaces HMP, s (B x ... x B) can be defined and estimates for distances can be given (not sharp).
Based on projection theorems on A— spaces we following the model case of previous section can formulate the following sharp theorem (see [1], [22]). Note that (see [1])
m
sup |f (z)| n (1 _|zk|)Tk < Callf ||AP,
Zk eB;k=1,...,m. k=1 a
t (Ok n + 1\
Tk =--1--, j = 1,...,m.
pk pk
So, dist problem can be obviously posed.
Theorem 5. Let 1 < p < —, aj > _1, j = 1,..., m and Yj = Or + n+, j = 1,..., m, let
m Ok+n+1
f e A—(Bx ... xB) = {f eH(Bx ... xB) : sup |f(z1,...,Zm)| n(1 _ W)pk + pk < —}.
z1 ,...,zm k=1
Then we have that /1(f) x /2(f) where
li( f )= d/s^ (f, A^);
n (1 -|®k|)ß+Ykd (V (Ok))
l2(f)= infje > 0: /a ... (/ ^-)
£1 P2
b b ä i
"e,a k=1
0 |1 - ®kZk|ß +n+1
x(1 _|Z1|^1 dV(Z1)(1 _|zm|^mdV(Zm))^ < —},where £¿,y = {z e B x ... x B : |f(Z)|(1 _ |z|)Y> p}, for all / , / > / o for some large enough / o.
We follow previous section and we provide one proof for all spaces. Let X be one of these spaces. Note since f e Ar(B) then by integral representation theorem we have
f (z) = f1(z) + f2(z), z e B (23)
where .
f1(z)= C4(p) J dV(a)'p > p0,where (24)
p0 is large enough and also
f2(z)= C4(P) / f (O)' wherez e B. (25)
It is easy to show now following previous section using the Forelli-Rudin estimate and definition of ,t set that the following estimate is valid
sup(1 -|z|)tIf1 (z)|< Cse;
zeB
and also
IIf2||X < r.
The last estimate follows from condition in formulation of theorem immediately. Hence we have that
d/stArX) < C6||f -f2|Ar = C7Ifdk < Cge (26)
This gives one part of theorem. For the proof of the second part we refer to the previous section. The proof follows from there and from Bergman type projection theorem, that is
I|P+f IIx < C9II f ||x ;
estimate p > p0.
Some of these our results can be extended even to spaces on product domains by very similar methods. Let further
Hp1'-pm (B x ... x B) = < g e H (B x ... x B) : sup (/(... sup / ( sup / |g(r1 Z1,..., rmZm)|p1 d a (£) )
I rm<^ Js\ ^<1^ ^<1^ J
pm \ 1
da (Z2)...)pm-1 da (Zm) JPm < r;
0 < p/ < r, / = 1,..., m. Let also
H^."^(Bx ... xB) = <( g e H(B x ... xB) : sup ( f (... f(f |g(nZ1,...,TmZm)|p1 da(Z1)) *
Tj <1; j=1...m\J^ JS\JS J
1
£2 P1
Pm \ -
da(Z2)...)^da(Cm))Pm < 37
0 < pi < —, i = 1,...,m, j = 1,..,m where a is a Lebegues measure on S. These are a new mixed norm analytic Hardy class on products of unit balls (polyball). These are direct analogues of mixed norm Bergman type function spaces which we defined above in produts of unit balls.The study of these types of Hardy function spaces is a new and interesting problem. Some one side (not sharp) estimates for a distance function in these type new Hardy spaces can be also provided based on approaches used in this paper.
Note by induction based on classical result in product domain and Holders inequality we have
sup |f (zi,...,Zm)| (1 - |zi |)...(1 - |zm|) < C10 zj eB; j=1...m
Hi"
pj > 1, j = 1,...,m, and the same is valid for Hp spaces, pj > 1, j = 1,...,m. Putting boundedness condition on Bergman projection similar to theorems 5, 6 can be easily formulated and proved for Hp,Hp. We leave this to interested readers. Note that the following uniform estimate is true:
sup|f(z)|x n (1 -|zj|) j=1
a; +n+1 ^ ^ < C11
{ I
= C,2
/
Vs v
rt («m) S
. £2 \
\ pm ^^
| f (z)|P1 (1 -|z1|) a1-ndV (z1)
\rt(«1)
(1 -|zm|) am-ndV (zm)
/
/ )
for pj > 1, j = 1,...,m, aj > _1, j = 1,...,m, {aj}'m=1 is large enough, where
rt («) = { z e B : |1 - «z| < t (1 -|z|)}, t > 1.
This uniform estimate also provides directly some new estimate for distances in spaces with such quazinorms on product domains.
Similar to this estimates for AO.,F^ spaces (product analogues of A«9,F^9 spaces) can be provided and estimates for distances for such spaces can be also given based on methods of this paper.
In addition let 0i e Api(S), 1 < pi < —,i = 1,...,n be Muckenhoupt weight on S.
We define new weight Hardy class in polyball and we can show same type results for these classes
sup
rj<1;j=1,...,n.
and let
/ Vs
Hf(S) = {f e H (Bn) :
£2 £1
\ Pn
I |f(r1«1,..., z„«„)|P101(«1)da (&)J e„(«„)da (£,)
sup
rj<1;j=1,...,n.
Hf(S) = {f e H (Bn) :
£2
\ Pn
J |f (/■!&,.., z„«„)|P101(«1)da (&)J fln(§n)da (&,)
We can show by induction first easily that for some Tj > 0,pj > 1, j = 1,...,m:
H
p >
II f IIa?(bx...xb) < Ci3 <..... 0 (27)
Hp"
0
Based on same estimates in one domain (see above), then we can prove similar results for these spaces under additional condition on boundedness of Bergman projection in these spaces.
Some results and remarks on distances in BMOA and Herz type mixed norm spaces on product domain
In this section we clofwe new analytic mixed norm Herz type spaces on product domains and discus on related issues on distances for them.
We will need Bergman ball in B, we define the Bergman ball in B in a standard way as follows (see [10]).
For z G B, r > 0, the set
D(z, r) = {© G B : p (z, ©) < r}, where p is a Bergman metric on B,
p(z, »)=(2) log ( 1+H) ; z, © G B
is called the Bergman metric ball at z,z G B (see [10]). We denote below these balls also by B(z, r) sometimes also.
Let now f g H (B x ... x B). Consider new Herz type spaces on product domains with quazinorms:
(
1) L ... L
k1>0 kn>0
P2 Pi
\ Pn
f ... I J |f (z)|Pi dVai (zi)l dy«„(zn) \ö(akB,r) \D(aki,r) / y
0 < Pj < j = i,...,n;
or
2) L I J
k>0 \D(at,r) VD(«k,r)
or
(
3) L
P2 Pi
i
Pm
/ |f (z)|Pi dVai (zi) dyam (zm)
I
0 < Pj < j = i,...,m;
L 1 / |f ©IPi dVai (zi)
P2 \ Pi \
\ Pm
dVam (zm)
0 < Pj < j = i,...,m;
fc«> 0
4) L I I
k>0 \D(flt,/)
£2'
1
Pm
L / |f(?)|P1 dVa1 (*) I dVam(zm) k>0 W*,/)
0 < pj < —, aj > _1, j = 1,...,m. With some restriction on {pj} for all these Y spaces we have that
|f(z)|(n (1 _ |zj| j < C||f ||Y;zj e B,
for some Tj > t0, j = 1,...,m,t0 is large enough t0 = T0(p, a).
This easily follows by induction from one domain result or by similar type arguments. Similarly for Z type spaces and various similar spaces:
(
B(z,/)
(
£2
\ Pn
| f (z)|P1 dVa1 (z1)
\B(z,/)
dVam (zm)
/
/
0 < pj < —, j = 1, ...,n.
Having projection theorem for Y type, Z type analytic spaces gives easily a sharp distance theorem for (A— (B x ... x B), Y) or (AT5(B x ... x B),Z) pair of spaces of functions. We need to prove only that here for all
P > P0, ||Ppf ||y < C0|f 11Y, ||Ppf llz < C1|f ||z
to get a sharp dist theorem: / 0 is large enough.
Similar arguments can be applied for new аnalytic Herz type spaces with the following quаzinorms in product domаins.
£2
1
1)1 ..J I I - I | f(?)|P1 dVa1 (*) dVam (zm) b B \B(z1,/) \b(w) /
0 < pj < j = 1,...,m;
or
2) I B \B(z,/)
£2-P1
Pm
/1 / |f (z)|P1 dVa1 (zO) I dVam (zm) ,B \B(flt,/)
0 < Pj < j = 1,...,m;
or
3) I
B \B(z,/)
£2 ' P1
1
Pm
L / | f(z)|P1 dVa1 (*) I dVam (zm) k>0 \D(at,/)
0 < Pj < j = 1,...,m.
Note, for example, that since
max (1 — |z|)a | f (z)|p < C2 / | f (ffl)| p(1 — |ffl |)a dV (©), a = a - (n +1), 0 < p < a > 0,
zeB(z,r) J
B(z,r)
(or the same estimate with B(ak,r), } is r - lattice in B)(see for example [10]), we have that for 0 < q < <*>, a > —1,0 < p < ^
\ 1 \ p
(1 — |z|)"p|f(z)|qdV(z) <] J |f(z)|p(1 — |z|)adV(z)
B V(z,r) )
Hence there are t > 0, t0 > 0, so that
sup|f(z)|(1 — |z|)T < Cs!f ||1
zeB
dV (z) = || f ||i.
sup |f (z)|(1 -|z|)T0 < C4 £
zeB
q
( V
/ If(z)|p(1 -|z|)adV(z) ,r) J
, 0 < p, q < a > -1.
From these estimates if we apply them by each variable separately we easily obtain more complicated similar type estimates from below for various mentioned quazinorms of mixed norm Herz type spaces but in product domains since obviously for example
sup |f(z1,Z2)|(1 — |Z1 |)T1 (1 — |Z2|)T2 <
Z1eB,Z2eB
< C5 sup ||f ||x(z1)(1 — |z2|)T2 <
z2eB
< C6| sup |f (z) |(1 — |z2|)T2 ||x(z1) <
z2eB
< C7||||f ||x(z2)|x(z1),
Tj > 0, j = 1,2;
where X(zj) is a quazinorm of some Herz type space in B by zj variable. It remains to apply induction by amount of variables.
Similar arguments are valid for Herz type spaces with sup instead of integration. Let further
Ap (B X ... X B) = {f e H (Bm) : f( sup ... sup |f(z1,..., zm)|p(1 — |z11) a1 ...(1 — |zm|)am |x
B \z1eB(ffl,r) zm eB(ffl,r)
x(1 — |ffldV(ffl) <
/,■ m
... sup ... sup |f(z1,..., zm)|p n (1 — |zj |)aj X
B B z1eB(©1,r) zmeB(®m,r) j=1
m
x n(1 - |®j|)ßjdV(®i)...dV(fflm),aj > 0, j = 1,...,m,ß > -1,ßj > -1, j = 1,...,m. j=i
Let further also
a,ß
B^ß = {f e H (B x ... x B) :
£ sup |f(z1,...,zm)|p x n(1 - Izj|)aj(1 - k |)ß ) < ~>.
BPß = {f e H(Bm): £ ... £ (1 -|ak1 |ß1 ...(1 - K Ißm x
^>0 km>0
m
X sup |/(zi,...,zm)|p n(1 -|zjl)aj < ~},
zieD(aAl ,r);zmeD(akm ,r) j=1
P > 0,¿8/ > 0,a > 0, j = 1,...,m.
The natural question is to calculate distances of these classes. We mean pairs
or (a- and (A"i,A^) or (A~ ,A|^) also, there t > T0, Ti > ^ - > ^ for some large enough positive T0.
Note also that dist of mixed version of these classes can also be calculated using approaches. We provided in this paper in proofs of previous section. These are new interesting generalization of so called mixed norm. Herz type spaces in the polyball of analytic functions on product domains B x ... x B (polyballs).
Indeed it is easy to show that for for all this classes with sup we have:
m
n I/(Z)l(i |zj|)Tj < C8||/lis j=i
for some Tj > 0, j = i,...,n, where S is one of these just mentioned quazinorms of Herz type spaces.
Based on basic properties of r - lattices in the unit ball we have for example in B:
sup |/(z)|p(1-|z|)T < C9 W sup |/(z)|p(1-|z|)Ti) (i-|ak |)T2 <
zeB k>0 \D(at,r) /
( \
I/(z)|p(i -|z|)Ti-(n+1)dV(z)
/
s = Ti + t2 - (n + i), Ti + t2 = t, t > 0,0 < p < <*>.
Hence projection theorem will give us a sharp theorem similarly as above.
The Bergman representation is very vital for this paper. We add below a remark on weighted Hardy-Sobolev spaces and another integral representations.
We will consider weights a in Ap classes in S, i < p < +<*>, that is, weights in S satisfying that there exists C > 0 such that for any nonisotropic ball
B c S,B = B(Z,r) = {n e S; |i - Zn| < r},
i i -i i (^Ja(Z)da(Z))(^/(a(Z))p=Tda(Z))p-1 < C, | B| B | B| B
< £
k> 0
(1 -|ak|)T2 < C10If ||Ap;
where a is the Lebesgue measure on S and |B| the Lebesgue measure of B.
The weighted Hardy-Sobolev space Hsp(©), 0 < s, p < consists of those functions f holomorphic in B such that if
f (z) = I fk (z) k
is its homogeneous polynomial expansion, and
(I + R)sf (z) = I(1 + k)sfk (z), k
we have that
HsP(©) = sup II (I + R)fIIlp^) <
s 0<r<i
where fr(Z)= f (rZ), r g (0, i), Z G S.
If 0 < s < n, and function f in Hf(©) can be expressed as
— r g(Z)
f(z)= Cs(g)(z) da(Z),
where da is the normalized Lebesgue measure on the unit sphere S and g e Lp(©). These type not Bergman type integral representations also can be useful for distance theorem in Hsp(©) (see [2],[3]). Let Qr(§) be Carleson tube
Qr(§) = {z e B : |1 — (z,§>|1 < r},r > 0,§ e S.
Let
QMt = {f e H(B): ||f ||t2 = supfMf (Q,;(§^ ;§ e S,0 < s < 1},dMf (z) = |f (z)|2(1 — |z|2)'dV(©)
zeBs
(see [10]). Let again as above
(P+ f)() f (1 — |©|)af(©)dV(©)
f)(z) = / |1 —(z, ©> |a+»+1 ,z e '
B
Then for a > a0 for large enough a0 and for all t > — 1,P+ is bounded on QMJ (see [10]).
Note for Bergman ball B(a,R) c Qr(§),§ e S,0 < r < 1,R > 0,a = (1 — az2)§,a e (0,1),a = a(R) (see [10]). Hence there is t0,t0 = T0(t). So that
||f ||at0 = sup|f(z)|(1 — |z|)T0 < C0||f ||2,
0 zeB
and proof is based on known fact
sup |f (z)|p < C1 / |f (z)|p(1 — |z|)—a—(n+1)dVa(z);a > (—1);0 < p < -
(or B(w,z) instead of D(ak,r)) and standard properties of r-lattice in the ball (see [10]).
And using this projection theorem we easily have hence a new sharp dist theorem for (QM,spaces (BMOA type space) in terms of ) sets. Theorem 6. Let t > -1, f e AT0 then we have the following
d'stA- (f, QMt
. ,f n ,, f (1 -|ffl|)ß-T0dV(ffl).. .
f > 0: U 11-miß +n+1 < ^
|1 - z© |; +n+1
for all p, p > p0, where p0 is large enough.
The same type result similarly can be proved for (QMt) in product domains. Similar results with similar proofs are also valid for Fqoc5(B) spaces of BMOA type in the unit ball (see [2], [11] for definition of these spaces and uniform estimates for them and projection theorem for them.we omit here details leaving them for readers).
A new projection theorem in Herz spaces and a sharp distance theorem
In this section we provide a new projection theorem for Herz spaces in the unit ball and then based on it we provide a new sharp distance theorem for such type spaces.
We provide the proof in the unit disk the same proof can be given in the ball by repetition of arguments.
Let f e H(D), where D is a unit disk then let q < p < 1, then for p > p0, where p0 is large enough we have that
||Pp+(|f |)||m < C0IIf IIm
or
I|Pp+(l f I)IIm < C1II f IImm
for all a > -1, a1 > 1,a > 0 if
q
M(D) = Mp,q>«(D) = {f e H(D) : £ (J |f (w)|pdVs(w))p < <*>};
k>0 D(at,r)
or
q
M(D) = Mp,qj a,ai (D) = {f e H(D) :/ ( / |f (w)|pdVa(w))pdVai (z) < -}
D B(z,r)
where
I f (w)|(1 -|w|)ß
D
P+(| f |)(z)= / ^f-W-Wf dV (w).
The proof follows directly from following well known estimates (see for example [10])
|f (w )|o-pi:i)p dV (w))p < C2; f (w)|p(',-|;!i);;;:-2dv (w); p < 1; ; > -1;
D |1 - Wz|P+2 D |1 - Wz|(P+2)p
(1 -M)T dV(w) <-C^. t > 0; v > t + 2; ak, z e D, k = 1,2,3....
D(i,r) I1 - wz|v " |1 - zak|v-(t+2)' > ' ' k, , , ,
E E ( I j^)^ -|ak|)-2+ß) < -^r-j
k>0 |1 - wak|s k>0 D(ak,r) |1 - wz|s (1 -|w|)s P
; ß > 1, s > ß.
or
7(v,z)= 1 < 0,(4*; t >-1; a > 2;z, v e D,
B(z,r) |1 - wv|a |1 - vZ|a 2
/(V z) < |1 _ _z|6a_2_t ; a > 2; t > 0;z, v e D. Indeed we have by these estimates for example the following chain of inequalities
E( / |(P+)||f (z)|PdV«(z))q/p <
k>0 D(ak,r)
<C7 E( / (/lfiwS^d,(w))dv5(z))q/p <
D(ak,r) D
< L(/^^^dV(w))q/P(1 -|ak|)a
k>0 D
It remains to use one more time first and third estimates for P < 1 and p = , a > 1. The second "projection theorem"can be shown similarly based on first and last estimate which was provided above by us.
Note following the proof step by step and using technique developed in [10] for the unit ball case it can be easily shown that these projection theorems are valid also in case of the unit ball in Cn.
These two projection type theorems provide the following results in the unit ball in Cn. (We define M (or M) space in the ball similarly).
These M (or M) type spaces in the ball defined by using Bergman balls D(ak, r) or B(z, r) in B, z e B,e B (see [10] for example for definition of these objects). First the uniform estimates are probably known
sup| f (z) | (1 _ |z|)t < C8|| f ||m,
zeB
or
sup | f (z) | (1 _|z|)T < C9| f IImm;
zeB
for some fixed t> 0,t = t(p,q,a,a1,a), t> 0, t = t(p,q,a,a1,a) large enough depending on parameters of M (or M) space and proofs are based on known fact
|f(z)|p < C10 J |f(z)|p(1 _|z|)_ a_(n+1)dya(z);a > (_1);0 < p < -
sup
ZeD(ak,r) D(ak,r)
(or B(w,z) instead of D(ak,r)) and standard properties of r-lattice in the ball (see [10]).
This leads with projection type theorem we provided to a sharp dist theorem for analytic M (or M) type spaces in the ball in Cn which under some conditions on kernel is valid even also in the bounded strongly pseudoconvex domain in Cn under some condition on Bergman kernel. We formulate first the unit ball case. Theorem 7. Let f e (A")(B). Let also a, a1 > (-1),a > 0,q < p < 1. Then
n J- ^ II f (1 -|z|)^-TdV(z)..
1) diSiA-(f,M) x|| / v 1 _ g + V 7 IIm
q£T |1 - zw|g +n+1
for all g > g0, where g0 large enough, for some t = t(p,q, a, a^;
ox J- ^ „ f (1 -|z|)g-TdV(z)..
2) diSiAT (f, M) / 1 + v 7 ¡m
t Q£jt |1 - zw|g +n+1
for all g > g0, where g0 large enough, for some T = T(p,q, a, a1);
Remark 2. We think cases when p < q or mm(p, q) > 1 can be considered and solved similarly. We pose this as problem.
Remark 3. The case of Herz type M (or M) spaces product domains (polyball) can be considered and solved by similar methods.
We finally add some remarks on strongly pseudoconvex domains with smooth boundary for this last theorem.
The most interesting question is to try to extend (under some additional conditions on Bergman kernel) these projection type results to the case of general bounded strongly pseudoconvex domains with smooth boundary Q. The fact that for all z e Q
|f (z)|(5(z))T < Cn|f ||m
or
| f (z)|(5 (z))T < C12I f IIm in bounded strictly pseudoconvex domain with smooth boundary Q is also valid that is
sup |f (z)|5(z)T < C13If ||m; 5(z) = dist(z, dQ),z e Q (28)
zeQ
sup |f (z)|5(z)T < C14If IIm; 5(z) = dist(z, dQ),z e Q (29)
zeQ
B(z, r) and B(ak, r) are Kobayashi balls where {ak} is r - lattice in Q (see [20]) (M (or M) type spaces can be defined similarly via Kobayashi balls (we refer to [20] for definition of Kobayashi balls)).
The proof of (28) and (29) is based on facts that
a+n+1 / p \ q
sup |f(z)|5(z)— < C15(|f IIas) < Q6 L ( J |f(z)|p5(z)adV(z))p = ||f ||m;
zeQ \fc>0 D(ak,r) /
q < p , > - 1
similarly
sup |f (z)|(5(z)T) < C17If IIai, < C1J/( J |f (2)|p5(2)adV(T))p5(z)a1 dV(z) ) ' = iif iimt;
zeQ a1 \Q B(z,r) /
p e (0, -),q e (0,-)
for some
a a1 n +1 n +1 , , , , , A
t = —|---1---1--, a,a1 > (_1), for some a1; these are based on estimate
p q p q
in Q (see [20])
q
|f(z)|q(5(z))T < C19( J |f(T)|pdVa(2))p,z e Q
B(z,r)
for t=q (n+1)+aq. pp
So dist problem for these pair of spaces can be again posed and projection theorem with additional condition on Bergman kernel can be show probably.
Remark some results of this paper on Herz type spaces were partially extended by similar methods by authors to tubular domains over symmetric ones.
References
[1] Shamoyan R. F., Mihic O. R., "On a new space of analytic function spaces with mixed norm in the unit polyball", Palestine Math. Journal, 2015, №4(1), 105-107.
[2] Ortega J., Fabrega J., "Holomorphic Lizorkin-Triebel type spaces", Journal of Funct. Analysis, 1997, 177-212.
[3] Cascante C., Ortega J., Fabrega J., "The corona theorem for weighted Hardy and Morrey spaces", Ann. Sc. Norm. Super. Pisa Cl. Sci., 2014, № 13(5), 579-607.
[4] Rudin W., Function theory in the unit ball, Springer-Verlag, New York, 1980.
[5] Shamoyan F. A., Djrbashian A., Topics in the theory of a— spaces, Teubner -Text zur Mathematics, Leipzig, 1988.
[6] Shamoyan R. F., Mihic O. R., "On extremal problems in analytic spaces in the unit ball and polydisk", Siberian Electronic Mathematical Reports, 2009, №6, 514-517.
[7] Shamoyan R. F., Mihic O. R., "On new estimates for distances in analytic function spaces in the unit disk,polydisk and unit ball", Bulletin Assoc.Math.Venezolana, 2010, № 17, 89-105.
[8] Shamoyan R. F., Mihic O. R., "On a distance function in some New analytic Bergman type spaces in higher dimension", Journal of Function spaces, 2014, 43-52.
[9] Shamoyan R. F., "On some extremal problems in certain harmonic function spaces", Issues of Analysis, 2013, №20(I), 43-58.
[10] Zhu K., Spaces of Holomorphic Functions in the unit ball, Springer-Verlag, New York, 2005, 226 pp.
[11] Ortega J., Fabrega J., "Hardy's inequality and embeddings in holomorphic Triebel-Lizorkin spaces", Illinois Journal Math., 1999, №43, 733-751.
[12] Xu W. Distances from Bloch functions to some Mobius invariant function spaces in the unit ball of Cn, Journal of Funct. Spaces Appl, 2009, №7(1), 91-104.
[13] Shamoyan R. F., Kurilenko S., "On Extremal problems in tubular domains", Issues of Analysis, 2013, №3(21), 44-65.
[14] Shamoyan R. F., Arsenovic M., "Some remarks on extremal problems in weighted Bergman spaces of analytic functions", Commun. Korean Math. Soc., 2012, №27(4), 753-762.
[15] Shamoyan R. F., Mihic O. R., "On new estimates for distances in analytic function spaces in higher dimension", Sib. Elektron. Mat. Izv., 2009, №6, 514-517.
[16] Shamoyan R. F., Mihic O. R., "On new estimates for distances in analytic function spaces in the unit disk, the polydisk and the unit ball", Bol. Asoc. Mat. Venez., 2010, №17(2), 89-103.
[17] Duren P. L., Theory of Hp Spaces, Academic Press, 1970.
[18] Besov O. V., Il'in V. P., Nicol'skij S. M., Integral representation of functions and embedding theorems, 2nd Edition, Fizmatlit, Nauka, 1996.
[19] Ligocka E., "On the Forelli-Rudin construction and weighted Bergman projections", Studia Math, 1989, №94(3), 257-272.
[20] Abate M., Raissy J., Saracco A., "Toeplitz operators and Carleson measures in strongly pseudoconvex domains", Journal Funct. Anal., 2012, №263(11), 3449-3491.
[21] Shvedenko S.V., "Hardy classes and related spaces of analytik functions in the init disk, polydisc and unit ball", Seria Matematica, VINITI, 1985, 3-124.
[22] Shamoyan F. A., Yaroslavceva O.V., "Continuous projections, duality and the diagonal mapping in weighted spaces of holomorphic functions with mixed norm", Zapiski Nauchnykh Seminarov POMI, 1997, №247, 268-275.
[23] Shamoyan F. A., Antonenkova O. E., "Description of linear continuous functionals in weighted spaces of functions analytic in the ball with mixed norm", Russian Math. Surveys, 2005, №60(4), 794-795.
References (GOST)
[1] Shamoyan R.F., Mihic O. R. On a new space of analytic function spaces with mixed norm in the unit polyball // Palestine Math. Journal. 2015. 4(1). pp. 105-107.
[2] Ortega J., Fabrega J. Holomorphic Lizorkin-Triebel type spaces // Journal of Funct. Analysis. 1997. pp. 177-212.
[3] Cascante C., Ortega J., Fabrega J. The corona theorem for weighted Hardy and Morrey spaces // Ann. Sc. Norm. Super. Pisa Cl. Sci., 2014. 13(5). pp. 579-607.
[4] Rudin W. Function theory in the unit ball New York: Springer-Verlag, 1980.
[5] Shamoyan F.A., Djrbashian A. Topics in the theory of A^ spaces, Leipzig: Teubner -Text zur Mathematics, 1988.
[6] Shamoyan R.F., Mihic O. R. On extremal problems in analytic spaces in the unit ball and polydisk // Siberian Electronic Mathematical Reports. 2009. 6. pp. 514-517.
[7] Shamoyan R.F., Mihic O. R. On new estimates for distances in analytic function spaces in the unit disk,polydisk and unit ball // Bulletin Assoc.Math.Venezolana. 2010. 17. pp. 89-105.
[8] Shamoyan R.F., Mihic O. R. On a distance function in some New analytic Bergman type spaces in higher dimension // Journal of Function spaces. 2014. pp. 43-52.
[9] Shamoyan R.F. On some extremal problems in certain harmonic function spaces // Issues of Analysis. 2013. 20(I). pp. 43-58.
[10] Zhu K. Spaces of Holomorphic Functions in the unit ball. New York: Springer-Verlag, 2005. 226 p.
[11] Ortega J., Fabrega J. Hardy's inequality and embeddings in holomorphic Triebel-Lizorkin spaces // Illinois Journal Math. 1999. 43. pp. 733-751.
[12] Xu W. Distances from Bloch functions to some Mobius invariant function spaces in the unit ball of Cn // Journal of Funct. Spaces Appl. 2009. 7(1). pp. 91-104.
[13] Shamoyan R.F., Kurilenko S. On Extremal problems in tubular domains // Issues of Analysis. 2013. 3(21). pp. 44-65.
[14] Shamoyan R.F., Arsenovic M. Some remarks on extremal problems in weighted Bergman spaces of analytic functions // Commun. Korean Math. Soc. 2012. 27(4). pp. 753-762.
[15] Shamoyan R.F., Mihic O. R. On new estimates for distances in analytic function spaces in higher dimension // Sib. Elektron. Mat. Izv. 2009. 6. pp. 514-517.
[16] Shamoyan R.F., Mihic O. R. On new estimates for distances in analytic function spaces in the unit disk, the polydisk and the unit ball // Bol. Asoc. Mat. Venez. 2010. 17(2). pp. 89-103.
[17] Duren P.L. Theory of Hp Spaces. Academic Press, 1970.
[18] Besov O.V., Il'in V.P. and Nicol'skij S.M. Integral representation of functions and embedding theorems (Russian), 2nd Edition. Moscow: Fizmatlit, Nauka, 1996.
[19] Ligocka E. On the Forelli-Rudin construction and weighted Bergman projections // Studia Math. 1989. 94(3). pp. 257-272.
[20] Abate M., Raissy J., Saracco A. Toeplitz operators and Carleson measures in strongly pseudoconvex domains // Journal Funct. Anal. 2012. 263(11). pp. 3449-3491.
[21] Shvedenko S.V. Hardy classes and related spaces of analytik functions in the init disk, polydisc and unit ball // Seria Matematica, VINITI, 1985. pp. 3-124.
[22] Shamoyan F.A., Yaroslavceva O.V. Continuous projections, duality and the diagonal mapping in weighted spaces of holomorphic functions with mixed norm // Zapiski Nauchnykh Seminarov POMI., 1997. 247. pp. 268-275.
[23] Shamoyan F.A., Antonenkova O.E. Description of linear continuous functionals in weighted spaces of functions analytic in the ball with mixed norm // Russian Math. Surveys. 2005. 60(4), pp. 794-795.
Для цитирования: Shamoyan R. F., Maksakov S. P. On some sharp theorems on distance
function in Hardy type, Bergman type and Herz type analytic classes // Вестник КРА-
УНЦ. Физ.-мат. науки. 2017. № 3(19). C. 25-49. DOI: 10.18454/2079-6641-2017-19-3-25-49
For citation: Shamoyan R. F., Maksakov S. P. On some sharp theorems on distance function
in Hardy type, Bergman type and Herz type analytic classes, Vestnik KRAUNC. Fiz.-mat. nauki.
2017, 19: 3, 25-49. DOI: 10.18454/2079-6641-2017-19-3-25-49
Поступила в редакцию / Original article submitted: 06.05.2017
