PROPERTIES OF DIFFERENTIAL OPERATOR ON THE POLYDISK 69 The Hardy spaces, denoted by H p (U n )(0 < p ≤ ∞), are defined by H p (U n ) = {f ∈ H(U n ) : sup M p (f, r) < ∞}, 0≤r −1, j = 1, · · · , n, 0 < p < ∞, recall that <strong>the</strong> weighted Bergman space A p ⃗α (U n ) c<strong>on</strong>sists <str<strong>on</strong>g>of</str<strong>on</strong>g> all holomorphic functi<strong>on</strong>s <strong>on</strong> <strong>the</strong> <strong>polydisk</strong> satisfying <strong>the</strong> c<strong>on</strong>diti<strong>on</strong> ∫ ∏ n ‖f‖ p = |f(z)| p (1 − |z A p i | 2 ) α i dm 2n (z) < ∞. ⃗α U n i=1 Throughout this paper, c<strong>on</strong>stants are denoted by C, C α , or C(α), <strong>the</strong>y are positive and may differ from <strong>on</strong>e occurrence to o<strong>the</strong>r. The notati<strong>on</strong> A ≍ B means that <strong>the</strong>re is a positive c<strong>on</strong>stant C such that B/C ≤ A ≤ CB. Let z = (z 1 , . . . , z n ) ∈ U n , f j (z) ∈ H(U n ), j = 1, · · · , n. It is easy to see that if f j (z) = ∑ a (j) k 1 ,...,k n z k 1 1 · · · zn kn , j = 1, · · · n k 1 ,··· ,k n≥0 is a usual Taylor expansi<strong>on</strong> in U n <str<strong>on</strong>g>of</str<strong>on</strong>g> f j , <strong>the</strong>n S(f 1 , · · · , f n ) = f 1 + · · · f n = ∑ ( n∑ ) a (j) k 1 ,...,k n z k 1 1 · · · zn kn . We c<strong>on</strong>sider a very particular case when where a k1 ,...,k n k 1 ,...,k n≥0 j=1 a (j) k 1 ,...,k n = k j a k1 ,...,k n , j = 1, · · ·, n, is a certain sequence. We have S(f 1 , · · · , f n ) = ∑ k 1 ,...,k n≥0 (k 1 + · · · k n )a k1 ,...,k n z k 1 1 · · · z kn Motivated by <strong>the</strong> above expressi<strong>on</strong> we define a <str<strong>on</strong>g>operator</str<strong>on</strong>g> in <strong>the</strong> <strong>polydisk</strong> as follows Rf = ∑ (k 1 + · · · + k n + 1)a k1 ,...,k n z k 1 1 · · · z kn or more general form R s f = ∑ where It is easy to see that k 1 ,...,k n≥0 k 1 ,...,k n≥0 f(z) = n . (k 1 + · · · + k n + 1) s a k1 ,...,k n z k 1 1 · · · zn kn , s ∈ R, ∑ k 1 ,··· ,k n≥0 Rf = R 1 f = f + a k1 ,...,k n z k 1 1 · · · z kn n ∈ H(U n ). n∑ j=1 n z j ∂f ∂z j . (1.1)
70 R. SHAMOYAN, S. LI In <strong>the</strong> case <str<strong>on</strong>g>of</str<strong>on</strong>g> <strong>the</strong> unit ball an analogue <str<strong>on</strong>g>of</str<strong>on</strong>g> R s <str<strong>on</strong>g>operator</str<strong>on</strong>g> is a well known radial derivative which is well studied (see [17]). We note that in <strong>polydisk</strong> <strong>the</strong> following fracti<strong>on</strong>al derivative is well studied (see [4, 11]), (D α f)(z) = ∑ (k 1 + 1) α · · · (k n + 1) α a k1 ,...,k n z k 1 1 z kn k 1 ,...,k n≥0 where α ∈ R, f ∈ H(U n ) and D α : H(U n ) → H(U n ). We also note that in <strong>polydisk</strong> <strong>the</strong> following derivative was studied in [16], n∏ ( ∂ ) D = 2 + z k . ∂z k k=1 Apparently <strong>the</strong> R s <str<strong>on</strong>g>operator</str<strong>on</strong>g> was studied in [6] for <strong>the</strong> first time. Then in [12], <strong>the</strong> first author studied <str<strong>on</strong>g>some</str<strong>on</strong>g> <str<strong>on</strong>g>properties</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> this <str<strong>on</strong>g>operator</str<strong>on</strong>g>. The aim <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper c<strong>on</strong>tinue to study <strong>the</strong> R s <str<strong>on</strong>g>operator</str<strong>on</strong>g>. We need <strong>the</strong> following vital formula which can be checked by easy calculati<strong>on</strong> ∫ 1 f(τξ 1 , · · ·, τξ n ) = C s R s f(τξ 1 ρ, · · ·, τξ n ρ)(log 1 ρ )s−1 dρ, (1.2) 0 where s > 0, τ ∈ (0, 1), C s > 0, ξ j ∈ T, j = 1, . . . , n. The integral representati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> functi<strong>on</strong>s via <strong>the</strong>se <str<strong>on</strong>g>operator</str<strong>on</strong>g>s will allow us to c<strong>on</strong>sider <strong>the</strong>m in U n in close c<strong>on</strong>necti<strong>on</strong> with functi<strong>on</strong>al spaces <strong>on</strong> subframe Ũ n = {z ∈ U n , |z j | = r, r ∈ (0, 1], j = 1, . . . , n}. The following dyadic decompositi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> subframe and <strong>polydisk</strong> were introduced in [4] and will be used by us. Ũ k,l1 ,··· ,l n = Ũk,l 1 × · · ·Ũk,l n = { (τξ 1 , . . . , τξ n ) : τ ∈ (1 − 1 2 , 1 − 1 ], k 2k+1 πl j k = 0, 1, 2, · · ·; 2 < ξ k j ≤ π(l j + 1) , l 2 k j = −2 k , · · · , 2 k − 1, j = 1, · · · , n } , m(Ĩk,l j ) = m(ξ ∈ T : πl j 2 k < ξ j ≤ π(l j + 1) 2 k ) ≍ 2 −k , m 2n (Ũk,l 1 ,··· ,l n ) ≍ 2 −2kn , U k1 ,··· ,k n,l 1 ,··· ,l n = U k1 ,l 1 × · · ·U kn,l n = { (τ 1 ξ 1 , · · · , τ n ξ n ), τ j ∈ (1 − 1 2 , 1 − 1 k j 2 ], k k j+1 j = 0, 1, · · · , j = 1, 2, · · · , n, ξ j ∈ ( πl j 2 , π(l j + 1) ], l k j 2 k j j = −2 k j , · · · , 2 k j − 1, j = 1, · · · , n, } . The goal <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper is to extend <str<strong>on</strong>g>some</str<strong>on</strong>g> known asserti<strong>on</strong>s c<strong>on</strong>nected with fracti<strong>on</strong>al derivative in <strong>the</strong> unit disk to <strong>the</strong> <strong>polydisk</strong> and use <strong>the</strong> diadic decompositi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> subframe and <strong>polydisk</strong> to study <strong>the</strong> acti<strong>on</strong> and <str<strong>on</strong>g>properties</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> R s <str<strong>on</strong>g>operator</str<strong>on</strong>g> and quasinorm c<strong>on</strong>nected with <strong>the</strong>m <strong>on</strong> subframe. In secti<strong>on</strong> 2 we give preliminaries, several useful inequalities for <strong>the</strong> study <str<strong>on</strong>g>of</str<strong>on</strong>g> R s <str<strong>on</strong>g>operator</str<strong>on</strong>g>s, and show c<strong>on</strong>necti<strong>on</strong>s between R s and D s <str<strong>on</strong>g>operator</str<strong>on</strong>g>s in <strong>the</strong> <strong>polydisk</strong>. In secti<strong>on</strong> 3, we using <strong>the</strong> R s <str<strong>on</strong>g>operator</str<strong>on</strong>g> establish <str<strong>on</strong>g>some</str<strong>on</strong>g> embedding <strong>the</strong>orems extending <str<strong>on</strong>g>some</str<strong>on</strong>g> known embeddings for Hardy classes and weighted Bergman classes in <strong>the</strong> unit disk. In secti<strong>on</strong> 3 we n ,
- Page 1: Banach J. Math. Anal. 3 (2009), no.
- Page 5 and 6: 72 R. SHAMOYAN, S. LI Proof
- Page 7 and 8: 74 R. SHAMOYAN, S. LI Lemma 2.4. Le
- Page 9 and 10: 76 R. SHAMOYAN, S. LI we get ∫ U
- Page 11 and 12: 78 R. SHAMOYAN, S. LI Now we prove
- Page 13 and 14: 80 R. SHAMOYAN, S. LI ∫T n ∫
- Page 15 and 16: 82 R. SHAMOYAN, S. LI Ũk,j ∗ 1 ,
- Page 17: 84 R. SHAMOYAN, S. LI 7. M. I. Gvar