Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2010, Article ID 291345, 10 pages doi:10.1155/2010/291345 Research Article Some Embeddings into the Morrey and Modified Morrey Spaces Associated with the Dunkl Operator Emin V. Guliyev1 and Yagub Y. Mammadov1, 2 1 2 Institute of Mathematics and Mechanics, Azerbaijan National Academy of Sciences, Baku, Azerbaijan Nakhchivan Teacher-Training Institute, Azerbaijan Correspondence should be addressed to Yagub Y. Mammadov, yagubmammadov@yahoo.com Received 29 October 2009; Revised 5 February 2010; Accepted 2 March 2010 Academic Editor: Ağacik Zafer Copyright q 2010 E. V. Guliyev and Y. Y. Mammadov. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We consider the generalized shift operator, associated with the Dunkl operator Λα fx d/dxfx2α1/xfx−f−x/2, α > −1/2. We study some embeddings into the Morrey space D-Morrey space Lp,λ,α , 0 ≤ λ < 2α 2 and modified Morrey space modified D-Morrey p,λ,α associated with the Dunkl operator on R. As applications we get boundedness of the space L fractional maximal operator Mβ , 0 ≤ β < 2α 2, associated with the Dunkl operator fractional D-maximal operator from the spaces Lp,λ,α to L∞ R for p 2α 2 − λ/β and from the spaces p,λ,α R to L∞ R for 2α 2 − λ/β ≤ p ≤ 2α 2/β. L 1. Introduction On the real line, the Dunkl operators are differential-difference operators introduced in 1989 by Dunkl 1 and are denoted by Λα , where α is a real parameter > −1/2. These operators are associated with the reflection group Z2 on R. Rösler in 2 shows that the Dunkl kernel verifies a product formula. This allows us to define the Dunkl translations τx , x ∈ R. In the theory of partial differential equations, together with weighted Lp,w Rn spaces, Morrey spaces Lp,λ Rn play an important role. Morrey spaces were introduced by Morrey in 1938 in connection with certain problems in elliptic partial differential equations and calculus of variations see 3. Later, Morrey spaces found important applications to Navier-Stokes 4, 5 and Schrödinger 6–8 equations, elliptic problems with discontinuous coefficients 9, 10, and potential theory 11–13. An exposition of the Morrey spaces can be found in the book 14. In the present work, we study some embeddings into the D-Morrey and modified DMorrey spaces. As applications we give boundedness of the fractional D-maximal operator in the D-Morrey and modified D-Morrey spaces. 2 Abstract and Applied Analysis The paper is organized as follows. In Section 2, we present some definitions and auxiliary results. In Section 3, we give some embeddings into the D-Morrey and modified DMorrey spaces. In Section 4, we prove the boundedness of the fractional D-maximal operator p,λ,α R to Mβ from the spaces Lp,λ,α to L∞ R for p 2α 2 − λ/β and from the spaces L L∞ R for 2α 2 − λ/β ≤ p ≤ 2α 2/β. 2. Preliminaries On the real line, we consider the first-order differential-difference operator defined by 2α 1 fx − f−x d fx , Λα f x : dx x 2 1 α>− , 2 2.1 which is called the Dunkl operator. For λ ∈ C, the Dunkl kernel Eα λ· on R was introduced by Dunkl in 1 see also 15–17 and is given by Eα λx jα iλx λx jα1 iλx, 2α 1 x ∈ R, 2.2 where jα is the normalized Bessel function of the first kind and order α 18, defined by jα z : 2α Γα 1 ∞ Jα z −1n z/22n , Γα 1 zα n!Γn α 1 n0 z ∈ C. 2.3 The Dunkl kernel Eα λ· is the unique analytic solution on R of the initial problem for the Dunkl operator see 1. Let μα be the weighted Lebesgue measure on R given by dμα x : |x|2α1 dx. 2α1 Γα 1 2.4 For every 1 ≤ p ≤ ∞, we denote by Lp,α R Lp dμα the spaces of complex-valued functions f, measurable on R such that f : Lp,α R fx p dμα x 1/p f : ess sup fx L∞,α < ∞ if p ∈ 1, ∞, 2.5 if p ∞. x∈R For 1 ≤ p < ∞, we denote by WLp,α R the weak Lp,α spaces defined as the set of locally integrable functions fx, x ∈ R with the finite norm 1/p f : sup r μα x ∈ R : fx > r . WLp,α r>0 2.6 Abstract and Applied Analysis 3 Note that f ≤ f Lp,α WLp,α ∀f ∈ Lp,α . 2.7 Wα x, y, z : 1 − σx,y,z σz,x,y σz,y,x Δα x, y, z , 2.8 Lp,α R ⊂ WLp,α R, For all x, y, z ∈ R, we put where σx,y,z ⎧ 2 x y2 − z2 ⎪ ⎪ ⎨ 2xy : ⎪ ⎪ ⎩ 0 if x, y ∈ R \ {0}, 2.9 otherwise, and Δα is the Bessel kernel given by Δα x, y, z : ⎧ ⎪ ⎪ ⎪ ⎨ dα ⎪ ⎪ ⎪ ⎩ 2 α−1/2 2 |x| y − z2 z2 − |x| − y xyz 2α 0 if |z| ∈ Ax,y , 2.10 otherwise, √ where dα Γα 12 /2α−1 π Γα 1/2 and Ax,y x| − |y, |x| |y|. In the sequel we consider the signed measure νx,y , on R, given by νx,y ⎧ ⎪ Wα x, y, z dμα z ⎪ ⎪ ⎨ : dδx z ⎪ ⎪ ⎪ ⎩ dδy z if x, y ∈ R \ {0}, if y 0, 2.11 if x 0. For x, y ∈ R and f being a continuous function on R, the Dunkl translation operator τx is given by τx f y : R fzdνx,y z. Using the change of variable z Ψx, y, θ 2.12 x2 y2 − 2xy cos θ, we have also see 2 τx f y Cα π 0 x y fΨ f−Ψ fΨ − f−Ψ dνα θ, Ψ √ where dνα θ 1 − cos θsin2α θdθ and Cα Γα 1/2 πΓα 1/2. 2.13 4 Abstract and Applied Analysis Proposition 2.1 see Soltani 16. For all x ∈ R the operator τx extends to Lp,α R, p ≥ 1 and we have for f ∈ Lp,α R, τx f ≤ 4f Lp,α . Lp,α For 2.14 Let B0, t − t, t, t > 0 and μα − t, t bα t2α2 , where bα 2−α−1 α 1Γα 1−1 . the space of locally integrable functions on R, we consider Lloc 1,α R Mfx : sup μα B0, r −1 r>0 τx f y dμα y . 2.15 B0,r Theorem 2.2 see 19. 1 If f ∈ L1,α R, then for every β > 0, C μα x ∈ R : Mfx > β ≤ f L1,α , β 2.16 where C > 0 is independent of f. 2 If f ∈ Lp,α R, 1 < p ≤ ∞, then Mf ∈ Lp,α R and Mf ≤ Cp f Lp,α , Lp,α 2.17 where Cp > 0 is independent of f. Corollary 2.3. If f ∈ Lloc 1,α R, then −1 lim μα B0, r r →0 τx f y dμα y fx 2.18 B0,r for a.e. x ∈ R. 3. Some Embeddings into the D-Morrey and Modified D-Morrey Spaces Definition 3.1 see 20. Let 1 ≤ p < ∞, 0 ≤ λ ≤ 2α 2, and t1 min{1, t}, t > 0. We denote p,λ,α R the modified Morrey space ≡ by Lp,λ,α R Morrey space ≡ D-Morrey space and by L modified D-Morrey space, associated with the Dunkl operator as the set of locally integrable functions fx, x ∈ R, with the finite norms 1/p p −λ f : sup t τx f ydμα y , Lp,λ,α f : sup Lp,λ,α x∈R,t>0 respectively. B0,t x∈R,t>0 t−λ 1 p τx f ydμα y B0,t 3.1 1/p , Abstract and Applied Analysis 5 p,λ,α R Θ, where Θ is the set of all functions equivalent If λ < 0 or λ > 2α 2, then L to 0 on R. Note that p,0,α R Lp,0,α R, Lp,α R ⊂ L f f Lp,0,α ≤ 4f Lp,α , Lp,0,α p,λ,α R ⊂ Lp,α R, L p,λ,α R ⊂ Lp,λ,α R, L f Lp,α ≤ f L p,λ,α , f ≤ f L p,λ,α . Lp,λ,α 3.2 3.3 Definition 3.2 see 19. Let 1 ≤ p < ∞, 0 ≤ λ ≤ 2α 2. We denote by WLp,λ,α R the weak p,λ,α R the modified weak D-Morrey space as the set of locally D-Morrey space and by W L integrable functions fx, x ∈ R with finite norms 1/p f : sup r sup t−λ μα y ∈ B0, t : τx f y > r , WLp,λ,α r>0 f p,λ,α WL x∈R,t>0 : sup r sup r>0 x∈R,t>0 t−λ 1 μα y 1/p , ∈ B0, t : τx f y > r 3.4 respectively. We note that Lp,λ,α R ⊂ WLp,λ,α R, f ≤ f Lp,λ,α , WLp,λ,α p,λ,α R, p,λ,α R ⊂ W L L f ≤ f L p,λ,α . W Lp,λ,α 3.5 Lemma 3.3 see 20. Let 1 ≤ p < ∞. Then Lp,2α2,α R L∞ R, 1/p f 4bα f L∞ . Lp,2α2,α 3.6 Lemma 3.4. Let 1 ≤ p < ∞, 0 ≤ λ ≤ 2α 2. Then p,λ,α R Lp,λ,α R ∩ Lp,α R, L max f Lp,λ,α , f Lp,α ≤ f L p,λ,α ≤ max f Lp,λ,α , 4f Lp,α . 3.7 6 Abstract and Applied Analysis p,λ,α R. Then by 3.3 we have Proof. Let f ∈ L p,λ,α R⊂ Lp,λ,α R ∩ Lp,α R, L max f Lp,λ,α , f Lp,α ≤ f L p,λ,α . 3.8 Let f ∈ Lp,λ,α R ∩ Lp,α R. Then f sup Lp,λ,α x∈R,t>0 max t−λ 1 p τx f ydμα y 1/p B0,t ⎧ ⎨ sup t ⎩x∈R,0<t≤1 −λ 1/p 3.9 , B0,t p τx f ydμα y sup x∈R,t>1 p τx f ydμα y B0,t 1/p ⎫ ⎬ ⎭ ≤ max f Lp,λ,α , 4f Lp,α . p,λ,α R and the embedding Lp,λ,α R ∩ Lp,α R ⊂ L p,λ,α R is valid. Therefore, f ∈ L Thus Lp,λ,α R Lp,λ,α R ∩ Lp,α R. From Lemmas 3.3 and 3.4 for 1 ≤ p < ∞, we have p,2α2,α R L∞ R ∩ Lp,α R. L 3.10 Lemma 3.5. Let 0 ≤ λ ≤ 2α 2. Then λ/2α2 f f ≤ 4bα . L1,λ,α L2α2/2α2−λ,α L2α2/2α2−λ,α R ⊂ L1,λ,α R, 3.11 Proof. The embedding is a consequence of Hölder’s inequality and Proposition 2.1. Indeed, f L1,λ,α sup t −λ B0,t x∈R,t>0 ≤ sup t τx f y dμα y −λ μα B0, t λ/2α2 x∈R,t>0 τx f y2α2/2α2−λ dμα y 2α2−λ/2α2 B0,t λ/2α2 f ≤ 4bα . L2α2/2α2−λ,α On the D-Morrey spaces, the following embedding is valid. 3.12 Abstract and Applied Analysis 7 Lemma 3.6 see 20. Let 0 ≤ λ < 2α 2 and 0 ≤ β < 2α 2 − λ. Then for p 2α 2 − λ/β, 1/p f ≤ bα f Lp,λ,α , L1,2α2−β,α Lp,λ,α R ⊂ L1,2α2−β,α R, 3.13 where 1/p 1/p 1. On the modified D-Morrey spaces, the following embedding is valid. Lemma 3.7. Let 0 ≤ λ < 2α 2 and 0 ≤ β < 2α 2 − λ. Then for 2α 2 − λ/β ≤ p ≤ 2α 2/β, 1/p f ≤ bα f L p,λ,α . L1,2α2−β,α p,λ,α R ⊂ L1,2α2−β,α R, L 3.14 p,λ,α R, and 2α 2 − λ/β ≤ p ≤ 2α 2/β. Proof. Let 0 < λ < 2α 2, 0 < β < 2α 2 − λ, f ∈ L By the Hölder’s inequality, we have β−2α−2 f sup t1 L1,2α2−β,α B0,t x∈R,t>0 1/p ≤ bα sup t−λ 1 × 1/p bα t1 t−1 sup t−λ 1 −2α2/p β−2α2−λ/p t1 p τx f ydμα y 1/p B0,t x∈R,t>0 × x∈R,t>0 τx f y dμα y t1 t−1 2α2−β t1 t−1 p τx f ydμα y −2α2/p 3.15 β−2α2−λ/p t1 1/p B0,t 2α2/p−β β−2α2−λ/p 1/p ≤ bα f L p,λ,α sup t1 t−1 . t1 t>0 Note that sup t1 t t>0 −1 2α2/p−β β−2α2−λ/p t1 max sup tβ−2α2−λ/p , suptβ−2α2/p 0<t≤1 <∞ t>1 iff 2α 2 2α 2 − λ ≤p≤ . β β 3.16 8 Abstract and Applied Analysis Therefore, f ∈ L1,2α2−β,α R and 1/p f ≤ bα f L p,λ,α . L1,2α2−β,α 3.17 4. Some Applications In this section, using the results of Section 3, we get the boundedness of the fractional Dmaximal operator in the D-Morrey and modified D-Morrey spaces. For 0 ≤ β < 2α 2, we define the fractional maximal functions −1β/2α2 Mβ fx : sup μα B0, t t>0 τx f y dμα y , B0,t 4.1 p 1/p Mp,β fx : Mβ f x. In the case β 0, we denote Mp,0 f by Mp f. Note that M1 f Mf. Lemma 4.1. Let 1 ≤ p < ∞, 0 ≤ β < 2α 2, and f ∈ Lp,2α2−β,α R. Then Mp,β f ∈ L∞ R and the following equality Mp,β f bαβ/2α2−11/p f Lp,2α2−β,α L∞ 4.2 is valid. Proof. Mp,β f bαβ/2α2−11/p sup L∞ t β−2α−2 x∈R,t>0 p τx f ydμα y B0,t 1/p 4.3 β/2α2−11/p f bα . Lp,2α2−β,α Taking β 0 in Lemma 4.1 and using Lemma 3.3, we get for Mp f the following result. Corollary 4.2. Let 1 ≤ p < ∞. Then Mp f 4f . L∞ L∞ 4.4 p,2α2−β,α R. Then Mp,β f ∈ L∞ R and the Lemma 4.3. Let 1 ≤ p < ∞, 0 ≤ β < 2α 2, and f ∈ L following equality Mp,β f bαβ/2α2−11/p f Lp,2α2−β,α L∞ is valid. 4.5 Abstract and Applied Analysis 9 Corollary 4.4. Let 0 ≤ λ < 2α 2 and 0 ≤ β < 2α 2 − λ. Then the operator Mβ is bounded from Lp,λ,α to L∞ for p 2α 2 − λ/β. Moreover, β/2α2−1/p Mβ f bαβ/2α2−1 f f ≤ bα L1,2α2−β,α Lp,λ,α . L∞ 4.6 Corollary 4.5. 1 ≤ p < ∞, 0 ≤ λ < 2α 2, 0 ≤ β < 2α 2 − λ. Then the operator Mβ is bounded p,λ,α to L∞ for 2α 2 − λ/β ≤ p ≤ 2α 2/β. Moreover, from L β/2α2−1/p Mβ f bαβ/2α2−1 f f . ≤ bα L1,2α2−β,α Lp,λ,α L∞ 4.7 Acknowledgment The authors express their thank to the referees for careful reading, helpful comments and suggestions on the manuscript of this paper. References 1 C. F. Dunkl, “Integral kernels with reflection group invariance,” Canadian Journal of Mathematics, vol. 43, no. 6, pp. 1213–1227, 1991. 2 M. Rösler, “Bessel-type signed hypergroups on R,” in Probability Measures on Groups and Related Structures, XI (Oberwolfach, 1994), H. Heyer and A. Mukherjea, Eds., pp. 292–304, World Scientific, River Edge, NJ, USA, 1995. 3 C. B. Morrey Jr., “On the solutions of quasi-linear elliptic partial differential equations,” Transactions of the American Mathematical Society, vol. 43, no. 1, pp. 126–166, 1938. 4 A. L. Mazzucato, “Besov-Morrey spaces: function space theory and applications to non-linear PDE,” Transactions of the American Mathematical Society, vol. 355, no. 4, pp. 1297–1364, 2003. 5 M. E. Taylor, “Analysis on Morrey spaces and applications to Navier-Stokes and other evolution equations,” Communications in Partial Differential Equations, vol. 17, no. 9-10, pp. 1407–1456, 1992. 6 C. Pérez, “Two weighted norm inequalities for Riesz potentials and uniform Lp -weighted Sobolev inequalities,” Indiana University Mathematics Journal, vol. 39, no. 1, pp. 31–44, 1990. 7 A. Ruiz and L. Vega, “Unique continuation for Schrödinger operators with potential in Morrey spaces,” Publicacions Matemàtiques, vol. 35, no. 1, pp. 291–298, 1991. 8 Z. Shen, “The periodic Schrödinger operators with potentials in the Morrey class,” Journal of Functional Analysis, vol. 193, no. 2, pp. 314–345, 2002. 9 L. Caffarelli, “Elliptic second order equations,” Rendiconti del Seminario Matematico e Fisico di Milano, vol. 58, pp. 253–284, 1988. 10 G. Di Fazio, D. K. Palagachev, and M. A. Ragusa, “Global Morrey regularity of strong solutions to the Dirichlet problem for elliptic equations with discontinuous coefficients,” Journal of Functional Analysis, vol. 166, no. 2, pp. 179–196, 1999. 11 D. R. Adams, “A note on Riesz potentials,” Duke Mathematical Journal, vol. 42, no. 4, pp. 765–778, 1975. 12 D. R. Adams, “Choquet integrals in potential theory,” Publicacions Matemàtiques, vol. 42, no. 1, pp. 3–66, 1998. 13 F. Chiarenza and M. Frasca, “Morrey spaces and Hardy-Littlewood maximal function,” Rendiconti di Matematica e delle sue Applicazioni, vol. 7, no. 3-4, pp. 273–279, 1987. 14 A. Kufner, O. John, and S. Fučı́k, Function Spaces. Monographs and Textbooks on Mechanics of Solids and Fluids; Mechanics: Analysis, Noordhoff International, Leyden, The Netherlands; Academia, Prague, Czech Republic, 1977. 15 M. Sifi and F. Soltani, “Generalized Fock spaces and Weyl relations for the Dunkl kernel on the real line,” Journal of Mathematical Analysis and Applications, vol. 270, no. 1, pp. 92–106, 2002. 16 F. Soltani, “Lp -Fourier multipliers for the Dunkl operator on the real line,” Journal of Functional Analysis, vol. 209, no. 1, pp. 16–35, 2004. 10 Abstract and Applied Analysis 17 K. Trimèche, “Paley-Wiener theorems for the Dunkl transform and Dunkl translation operators,” Integral Transforms and Special Functions, vol. 13, no. 1, pp. 17–38, 2002. 18 G. N. Watson, A Treatise on the Theory of Bessel Functions, Cambridge University Press, Cambridge, UK, 1966. 19 V. S. Guliyev and Y. Y. Mammadov, “On fractional maximal function and fractional integrals associated with the Dunkl operator on the real line,” Journal of Mathematical Analysis and Applications, vol. 353, no. 1, pp. 449–459, 2009. 20 Y. Y. Mammadov, “Some embeddings into the Morrey spaces associated with the Dunkl operator on R,” in Proceedings of NASA, Embedding Theorems. Harmonic Analysis, pp. 258–269, 2007.