Boundedness of fractional oscillatory integral operators and ... - Core

Eroglu Boundary Value Problems 2013, 2013:70 http://www.boundaryvalueproblems.com/content/2013/1/70

RESEARCH

Open Access

Boundedness of fractional oscillatory integral operators and their commutators on generalized Morrey spaces Ahmet Eroglu* *

Correspondence: [email protected] Department of Mathematics, Nigde University, Nigde, Turkey

Abstract In this paper, it is proved that both oscillatory integral operators and fractional oscillatory integral operators are bounded on generalized Morrey spaces Mp,ϕ . The corresponding commutators generated by BMO functions are also considered. MSC: Primary 42B20; 42B25; 42B35 Keywords: generalized Morrey space; oscillatory integral; commutator; BMO spaces

1 Introduction and main results The classical Morrey spaces, were introduced by Morrey [] in , have been studied intensively by various authors and together with weighted Lebesgue spaces play an important role in the theory of partial differential equations; they appeared to be quite useful in the study of local behavior of the solutions of elliptic differential equations and describe local regularity more precisely than Lebesgue spaces. Morrey spaces Mp,λ (Rn ) are defined as the set of all functions f ∈ Lp (Rn ) such that λ

f Mp,λ ≡ f Mp,λ (Rn ) = sup r– p f Lp (B(x,r)) < ∞. x,r>

Under this definition, Mp,λ (Rn ) becomes a Banach space; for λ = , it coincides with Lp (Rn ) and for λ =  with L∞ (Rn ). n We also denote by W Mp,λ the weak Morrey space of all functions f ∈ WLloc p (R ) for which λ

f W Mp,λ ≡ f W Mp,λ (Rn ) = sup r– p f WLp (B(x,r)) < ∞, x∈Rn ,r>

where WLp denotes the weak Lp -space. Definition  Let ϕ(x, r) be a positive measurable function on Rn × (, ∞) and  ≤ p < ∞. We denote by Mp,ϕ ≡ Mp,ϕ (Rn ) the generalized Morrey space, the space of all functions n f ∈ Lloc p (R ) with finite quasinorm –  f Mp,ϕ ≡ f Mp,ϕ (Rn ) = sup ϕ(x, r)– B(x, r) p f Lp (B(x,r)) . x∈Rn ,r>

© 2013 Eroglu; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


Page 2 of 12

Also, by WMp,ϕ ≡ WMp,ϕ (Rn ), we denote the weak generalized Morrey space of all funcn tions f ∈ WLloc p (R ) for which –  f WMp,ϕ ≡ f WMp,ϕ (Rn ) = sup ϕ(x, r)– B(x, r) p f WLp (B(x,r)) < ∞. x∈Rn ,r>

According to this definition, we recover the spaces Mp,λ and WMp,λ under the choice ϕ(x, r) = r

λ–n p

Mp,ϕ

: λ–n

ϕ(x,r)=r p

WMp,ϕ

= Mp,λ ,

λ–n

ϕ(x,r)=r p

= WMp,λ .

The theory of boundedness of classical operators of the real analysis, such as the maximal operator, fractional maximal operator, Riesz potential and the singular integral operan tors etc., from one weighted Lebesgue space to another one is well studied. Let f ∈ Lloc  (R ). The fractional maximal operator Mα and the Riesz potential Iα are defined by –+ α Mα f (x) = supB(x, t) n Iα f (x) =

t>

Rn

f (y) dy,

 ≤ α < n,

B(x,t)

f (y) dy , |x – y|n–α

 < α < n.

If α = , then M ≡ M is the Hardy-Littlewood maximal operator. In [], Chiarenza and Frasca obtained the boundedness of M on Mp,λ (Rn ). In [], Adams established the boundedness of Iα on Mp,λ (Rn ). Here and subsequently, C will denote a positive constant which may vary from line to line but will remain independent of the relevant quantities. The Calderón-Zygmund singular integral operator is defined by Tf (x) = p.v.

Rn

K(x – y)f (y) dy,

(.)

where K is a Calderón-Zygmund kernel (CZK). We say a kernel K ∈ C  (Rn \ {}) is a CZK if it satisfies K(x) ≤ C , |x|n ∇K(x) ≤ C |x|n+

(.) (.)

and K(x) dx = ,

(.)

a

t 

dr < ∞, ess inf

r

f

dt

p

Lp (B(x,t – n ))



p – sup ϕ x, r– n rf

p

Lp (B(x,r– n ))

x∈Rn ,r>

dt

= f Mp,ϕ

if p ∈ (, ∞), and Tf WM,ϕ sup ϕ (x, r)– x∈Rn ,r>

∞

r–n

≈ sup ϕ (x, r)– x∈Rn ,r>

=



 – sup ϕ x, r– n

x∈Rn ,r>

f L (B(x,t)) t ––n dt

r

f

r

f

if p = .



dt

L (B(x,t – n ))



 – sup ϕ x, r– n rf x∈Rn ,r>



L (B(x,t – n ))



L (B(x,r– n ))

dt

= f M,ϕ

Proof of Theorem . The proof of Theorem . follows from Theorem F and the following observation: Sα f (x) ≤ Iα |f | (x).

4 Commutators of fractional oscillatory integral operators in the spaces Mp,ϕ (Rn ) Let T be a Calderón-Zygmund singular integral operator and b ∈ BMO(Rn ). A well known result of Coifman, Rochberg and Weiss [] states that the commutator operator [b, T]f = T(bf ) – bTf is bounded on Lp (Rn ) for  < p < ∞. The commutator of Calderón-Zygmund operators plays an important role in studying the regularity of solutions of elliptic partial differential equations of second order (see, for example, [, , ]). First, we recall the definition of the space BMO(Rn ).


Page 9 of 12

n Definition  Suppose that f ∈ Lloc  (R ), let

 f ∗ = sup n |B(x, r)| x∈R ,r>

f (y) – fB(x,r) dy < ∞,

B(x,r)

where fB(x,r) =

 |B(x, r)|

f (y) dy. B(x,r)

Define n

BMO Rn = f ∈ Lloc  R : f ∗ < ∞ . If one regards two functions whose difference is a constant as one, then space BMO(Rn ) is a Banach space with respect to norm · ∗ . Remark  () The John-Nirenberg inequality: there are constants C , C > , such that for all f ∈ BMO(Rn ) and β > 

x ∈ B : f (x) – fB > β ≤ C |B|e–C β/f ∗ ,

∀B ⊂ Rn .

() The John-Nirenberg inequality implies that f ∗ ≈ sup

x∈Rn ,r>

 |B(x, r)|

p f (y) – fB(x,r) p dy

(.)

B(x,r)

for  < p < ∞. () Let f ∈ BMO(Rn ). Then there is a constant C >  such that |fB(x,r) – fB(x,t) | ≤ Cf ∗ ln

t r

for  < r < t,

(.)

where C is independent of f , x, r and t. Lemma . Let  ≤ p < ∞, b ∈ BMO(Rn ), K is a SCZK and the Calderón-Zygmund singular integral operator S is of type (L (Rn ), L (Rn )). Then for  < p < ∞ and any polynomial P(x, y) the inequality n

Sb f Lp (B(x ,r)) b∗ r p

∞

r

n

f Lp (B(x ,t)) t –– p dt

n holds for any ball B(x , r) and for all f ∈ Lloc p (R ).

Proof Let p ∈ (, ∞). For arbitrary x ∈ Rn , set B = B(x , r) for the ball centered at x and radius r, B = B(x , r). We represent f as f = f + f ,

f (y) = f (y)χB (y), f (y) = f (y)χ(B) (y)


Page 10 of 12

and have Sb f Lp (B) ≤ Sb f Lp (B) + Sb f Lp (B) . It is known that (see [], see also [, , ]), if K is a SCZK and the operator S is of type (L (Rn ), L (Rn )), then for  < p < ∞ and any polynomial P(x, y) the commutator operator Sb is bounded on Lp (Rn ). Since f ∈ Lp (Rn ), Sf ∈ Lp (Rn ) and boundedness of Sb in Lp (Rn ) (see []) it follows that Sb f Lp (B) ≤ Sb f Lp (Rn ) ≤ Cb∗ f Lp (Rn ) = Cb∗ f Lp (B) , where constant C >  is independent of f . For x ∈ B, we have Sb f (x)

Rn

≈

|b(y) – b(x)| dy f (y) |x – y|n

(B)

|b(y) – b(x)| f (y) dy. n |x – y|

Then p p |b(y) – b(x)| dy dx f (y) (B) |x – y|n B p p |b(y) – bB | f (y) dy dx (B) |x – y|n B p p |b(x) – bB | + f (y) dy dx (B) |x – y|n B

Sb f Lp (B)

= I + I . Let us estimate I .

|b(y) – bB | f (y) dy n (B) |x – y| ∞ n b(y) – bB f (y) ≈ rp n

I ≈ r p

(B)

n

r

|x –y|

r

b(y) – bB f (y) dy dt t n+ r≤|x –y|≤t

r

b(y) – bB f (y) dy dt . t n+ B(x ,t)

≈ rp

n p

∞

dt dy t n+

∞

Applying Hölder’s inequality and by (.), (.), we get

∞

b(y) – bB(x ,t) f (y) dy dt  t n+ r B(x ,t) ∞ n bB(x ,r) – bB(x ,t) f (y) dy dt +rp   t n+ B(x ,t) r n

I r p


r

n p

∞

 p dt b(y) – bB(x ,t) p dy f Lp (B(x ,t)) n+  t B(x ,t)

r n

Page 11 of 12

+rp

∞

n bB(x ,r) – bB(x ,t) f L (B(x ,t)) t –– p dt p   

r

b∗ r

n p

∞

n t  + ln f Lp (B(x ,t)) t –– p dt. r

r

In order to estimate I note that

b(x) – bB p dx

I =

p (B)

B

|f (y)| dy. |x – y|n

By (.), we get I b∗ r

n p

(B)

|f (y)| dy. |x – y|n

Thus, by (.) I b∗ r

n p

∞

r

n

f Lp (B(x ,t)) t –– p dt.

Summing up I and I , for all p ∈ (, ∞) we get n

∞

Sb f Lp (B) b∗ r p

 + ln r

n t f Lp (B(x ,t)) t –– p dt. r

(.)

Finally, n

Sb f Lp (B) b∗ f Lp (B) + b∗ r p

∞

 + ln r

n t f Lp (B(x ,t)) t –– p dt, r

and statement of Lemma . follows by (.).

Proof of Theorem . The statement of Theorem . follows by Lemma . and Theorem G in the same manner as in the proof of Theorem G. Proof of Theorem . The proof of Theorem . follows from the Theorem . in [] and the following observation: Sα,b f (x) ≤ Iα,b |f | (x).

Competing interests The author declares that they have no competing interests. Received: 25 July 2012 Accepted: 17 March 2013 Published: 2 April 2013


References 1. Morrey, CB: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43, 126-166 (1938) 2. Chiarenza, F, Frasca, M: Morrey spaces and Hardy-Littlewood maximal function. Rend. Mat. Appl. 7, 273-279 (1987) 3. Adams, DR: A note on Riesz potentials. Duke Math. J. 42, 765-778 (1975) 4. Phong, DH, Stein, EM: Singular integrals related to the Radon transform and boundary value problems. Proc. Natl. Acad. Sci. USA 80, 7697-7701 (1983) 5. Ricci, F, Stein, EM: Harmonic analysis on nilpotent groups and singular integrals I: oscillatory integrals. J. Funct. Anal. 73, 179-194 (1987) 6. Chanillo, S, Christ, M: Weak (1, 1) bounds for oscillatory singular integral. Duke Math. J. 55, 141-155 (1987) 7. Lu, SZ, Zhang, Y: Criterion on Lp -boundedness for a class of oscillatory singular integrals with rough kernels. Rev. Mat. Iberoam. 8, 201-219 (1992) 8. Ding, Y: Lp -Boundedness for fractional oscillatory integral operator with rough kernel. Approx. Theory Appl. 12, 70-79 (1996) 9. Guliyev, VS: Integral operators on function spaces on the homogeneous groups and on domains in Rn . Doctor of Sciences, Mat. Inst. Steklova, Moscow (1994), 329 pp. (in Russian) 10. Guliyev, VS: Boundedness of the maximal, potential and singular operators in the generalized Morrey spaces. J. Inequal. Appl. 2009, Article ID 503948 (2009) 11. Guliyev, VS, Aliyev, SS, Karaman, T, Shukurov, PS: Boundedness of sublinear operators and commutators on generalized Morrey space. Integral Equ. Oper. Theory 71, 327-355 (2011) 12. Akbulut, A, Guliyev, VS, Mustafayev, R: On the boundedness of the maximal operator and singular integral operators in generalized Morrey spaces. Math. Bohem. 137(1), 27-43 (2012) 13. Mizuhara, T: Boundedness of some classical operators on generalized Morrey spaces. In: Igari, S (ed.) Harmonic Analysis. ICM 90 Satellite Proceedings, pp. 183-189. Springer, Tokyo (1991) 14. Nakai, E: Hardy-Littlewood maximal operator, singular integral operators and Riesz potentials on generalized Morrey spaces. Math. Nachr. 166, 95-103 (1994) 15. Sawano, Y, Sugano, S, Tanaka, H: A note on generalized fractional integral operators on generalized Morrey spaces. Bound. Value Probl. 2009, Article ID 835865 (2009) 16. Softova, L: Singular integrals and commutators in generalized Morrey spaces. Acta Math. Sin. Engl. Ser. 22(3), 757-766 (2006) 17. Bary, NK, Stechkin, SB: Best approximations and differential properties of two conjugate functions. Tr. Mosk. Mat. Obˆs. 5, 483-522 (1956) (in Russian) 18. Guseinov, AI, Mukhtarov, KS: Introduction to the Theory of Nonlinear Singular Integral Equations. Nauka, Moscow (1980) (in Russian) 19. Karapetiants, NK, Samko, NG: Weighted theorems on fractional integrals in the generalized Hölder spaces H0ω (ρ ) via the indices mω and Mω . Fract. Calc. Appl. Anal. 7(4), 437-458 (2004) 20. Samko, N: Singular integral operators in weighted spaces with generalized Hölder condition. Proc. A. Razmadze Math. Inst. 120, 107-134 (1999) 21. Samko, N: On non-equilibrated almost monotonic functions of the Zygmund-Bary-Stechkin class. Real Anal. Exch. 30(2), 727-745 (2004/2005) 22. Kokilashvili, V, Samko, S: Operators of harmonic analysis in weighted spaces with non-standard growth. J. Math. Anal. Appl. 352, 15-34 (2009) 23. Samko, N, Samko, S, Vakulov, B: Weighted Sobolev theorem in Lebesgue spaces with variable exponent. J. Math. Anal. Appl. 335, 560-583 (2007) 24. Carro, M, Pick, L, Soria, J, Stepanov, VD: On embeddings between classical Lorentz spaces. Math. Inequal. Appl. 4(3), 397-428 (2001) 25. Lu, SZ: A class of oscillatory integrals. Int. J. Appl. Math. Sci. 2(1), 42-58 (2005) 26. Lu, SZ, Ding, Y, Yan, DY: Singular Integrals and Related Topics. World Scientific, Singapore (2007) 27. Coifman, R, Rochberg, R, Weiss, G: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103(2), 611-635 (1976) 28. Chiarenza, F, Frasca, M, Longo, P: Interior W 2,p -estimates for nondivergence elliptic equations with discontinuous coefficients. Ric. Mat. 40, 149-168 (1991) 29. Fazio, GD, Ragusa, MA: Interior estimates in Morrey spaces for strong solutions to nodivergence form equations with discontinuous coefficients. J. Funct. Anal. 112, 241-256 (1993)

doi:10.1186/1687-2770-2013-70 Cite this article as: Eroglu: Boundedness of fractional oscillatory integral operators and their commutators on generalized Morrey spaces. Boundary Value Problems 2013 2013:70.

Page 12 of 12