About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 621857, 5 pages
http://dx.doi.org/10.1155/2014/621857
Research Article

Riemann-Liouville and Higher Dimensional Hardy Operators for NonNegative Decreasing Function in Spaces

1Department of Mathematics, University of Malakand, Chakdara, Lower Dir 18800, Pakistan
2Department of Mathematics, GC University, Faisalabad, Faisalabad 38000, Pakistan

Received 23 May 2014; Accepted 6 August 2014; Published 26 August 2014

Academic Editor: Norio Yoshida

Copyright © 2014 Muhammad Sarwar et al. 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.

Abstract

One-weight inequalities with general weights for Riemann-Liouville transform and -dimensional fractional integral operator in variable exponent Lebesgue spaces defined on are investigated. In particular, we derive necessary and sufficient conditions governing one-weight inequalities for these operators on the cone of nonnegative decreasing functions in spaces.

1. Introduction

We derive necessary and sufficient conditions governing the one-weight inequality for the Riemann-Liouville operator and -dimensional fractional integral operator on the cone of nonnegative decreasing function in spaces.

In the last two decades a considerable interest of researchers was attracted to the investigation of the mapping properties of integral operators in so-called Nakano spaces (see, e.g., the monographs [1, 2] and references therein). Mathematical problems related to these spaces arise in applications to mechanics of the continuum medium. For example, Ružicka [3] studied the problems in the so-called rheological and electrorheological fluids, which lead to spaces with variable exponent.

Weighted estimates for the Hardy transform in spaces were derived in the papers [4] for power-type weights and in [59] for general weights. The Hardy inequality for nonnegative decreasing functions was studied in [10, 11]. Furthermore Hardy type inequality was studied in [12, 13] by Rafeiro and Samko in Lebesgue spaces with variable exponent.

Weighted problems for the Riemann-Liouville transform in spaces were explored in the papers [5, 1416] (see also the monograph [17]).

Historically, one and two weight Hardy inequalities on the cone of nonnegative decreasing functions defined on in the classical Lebesgue spaces were characterized by Arino and Muckenhoupt [18] and Sawyer [19], respectively.

It should be emphasized that the operator is the weighted truncated potential. The trace inequity for this operator in the classical Lebesgue spaces was established by Sawyer [20] (see also the monograph [21], Ch.6 for related topics).

In general, the modular inequality for the Hardy operator is not valid (see [22], Corollary 2.3, for details). Namely, the following fact holds: if there exists a positive constant such that inequality is true for all , where ; ; ; and are nonnegative measurable functions, then there exists such that for almost every ; for almost every , and and take the same constant values a.e. for and .

To get the main result we use the following pointwise inequalities: for nonnegative decreasing functions, where , , , and are constants and are independent of , , and , and

In the sequel by the symbol we mean that there are positive constants and such that . Constants in inequalities will be mainly denoted by or ; the symbol means the interval .

2. Preliminaries

We say that a radial function is decreasing if there is a decreasing function such that , . We will denote again by . Let be a measurable function, satisfying the conditions , .

Given such that and a nonnegative measurable function (weight) in , let us define the following local oscillation of : where is the ball with center 0 and radius .

We observe that is nondecreasing and positive function such that where and denote the essential infimum and supremum of on the support of , respectively.

By the similar manner (see [10]) the function is defined for an exponent and weight on :

Let be the class of nonnegative decreasing functions on and let be the class of all nonnegative radially decreasing functions on . Suppose that is measurable a.e. positive function (weight) on . We denote by the class of all nonnegative functions on for which

For essential properties of spaces we refer to the papers [23, 24] and the monographs [1, 2].

Under the symbol we mean the class of nonnegative decreasing functions on from .

Now we list the well-known results regarding one-weight inequality for the operator . For the following statement we refer to [18].

Theorem A. Let be constant such that . Then the inequity for a weight holds, if and only if there exists a positive constant such that for all

Condition (11) is called condition and was introduced in [18].

Theorem B (see [10]). Let be a weight on and such that , and assume that . The following facts are equivalent:(a)there exists a positive constant such that, for any , (b)for any , (c) a.e. and .

Proposition 1. For the operators , and , the following relations hold:(a)(b)

Proof. (a) Upper estimate: represent as follows: Observe that if , then . Hence where the positive constant does not depend on and . Using the fact that is decreasing we find that
Lower estimate follows immediately by using the fact that is nonnegative and the obvious estimate and .
(b) Upper estimate: let us represent the operator as follows: Since for we have that Taking into account the fact that is radially decreasing on we find that there is a decreasing function such that Let . Then we have It is easy to see that while using the fact that we find that Finally we conclude that Lower estimate follows immediately by using the fact that is nonnegative and the obvious estimate , where .

We will also need the following statement.

Lemma 2. Let be a constant such that . Then the inequality holds, if and only if there exists a positive constant C such that, for all ,

Proof. We will see that inequality (26) is equivalent to the inequality where , , and .
Indeed, using polar coordinates in we have
Conversely taking the test function , , in modular inequality (26), one can easily obtain inequality (27).

3. The Main Results

To formulate the main results we need to prove the following proposition.

Proposition 3. Let be a weight on and such that , and assume that . The following statements are equivalent:(a)there exists a positive constant such that, for any , (b)for any , (c) a.e. and .

Proof. We use the arguments of [10]. To show that (a) implies (b) it is enough to test the modular inequality (30) for the function , . Indeed, it can be checked that
Further, we find that Therefore To obtain (c) from (b) we are going to prove that condition (b) implies that is a constant function; namely, for all . This fact and the hypothesis on imply that , and hence, due to (7), Finally (31) means that . Let us suppose that is not constant. Then one of the following conditions holds:(i)there exists such that and, hence, there exists such that or(ii)there exists such that and then, for some , In case (i) we observe that condition (b), for , implies that Then using (36) we obtain, for , which is clearly a contradiction if we let . Similarly in case (ii) let us consider the same condition (b), for , and fix now . Taking into account (38) we find that which is a contradiction if we let .
Finally, the fact that condition (c) implies (a) follows from [18,Theorem 1.7].

Theorem 4. Let be a weight on and such that . Assume that . The following facts are equivalent:(i)there exists a positive constant such that, for any , (ii)condition (13) holds;(iii)condition of Theorem B is satisfied.

Proof. Proof follows by using Theorem B and Proposition 1(a).

Theorem 5. Let be a weight on and such that , and assume that . The following facts are equivalent:(i)there exists a positive constant such that, for any , (ii)condition (31) holds;(iii)condition (c) of Proposition 3 holds.

Proof. Proof follows by using Propositions 3 and 1(b).

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors are grateful to Professor A. Meskhi for drawing their attention to the problem studied in this paper and helpful remarks. The authors are also grateful to the editor and anonymous reviewer for their careful review, valuable comments, and remarks to improve this paper.

References

  1. D. Cruz-Uribe and A. Fiorenza, Variable Lebesgue Spaces, Birkhäauser, Basel, Switzerland, 2013.
  2. L. Diening, P. Harjulehto, P. Hästö, and M. Ružička, Lebesgue and Sobolev Spaces with Variable Exponents, vol. 2017 of Lecture Notes in Mathematics, Springer, Heidelberg, Germany, 2011.
  3. M. Ružicka, Electrorheological Fluids: Modeling and Mathematical Theory, vol. 1748 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2000.
  4. L. Diening and S. Samko, “Hardy inequality in variable exponent Lebesgue spaces,” Fractional Calculus & Applied Analysis, vol. 10, no. 1, pp. 1–18, 2007. View at MathSciNet
  5. D. E. Edmunds, V. Kokilashvili, and A. Meskhi, “On the boundedness and compactness of weighted Hardy operators in spaces Lpx,” Georgian Mathematical Journal, vol. 12, no. 1, pp. 27–44, 2005. View at MathSciNet
  6. D. E. Edmunds, V. Kokilashvili, and A. Meskhi, “Two-weight estimates in Lp(.) spaces with applications to Fourier series,” Houston Journal of Mathematics, vol. 35, no. 2, pp. 665–689, 2009. View at MathSciNet · View at Scopus
  7. T. S. Kopaliani, “On some structural properties of Banach function spaces and boundedness of certain integral operators,” Czechoslovak Mathematical Journal, vol. 54(129), no. 3, pp. 791–805, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  8. D. Cruz-Uribe and F. I. Mamedov, “On a general weighted Hardy type inequality in the variable exponent Lebesgue spaces,” Revista Matemática Complutense, vol. 25, no. 2, pp. 335–367, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. F. I. Mamedov and A. Harman, “On a Hardy type general weighted inequality in spaces,” Integral Equations and Operator Theory, vol. 66, no. 4, pp. 565–592, 2010.
  10. S. Boza and J. Soria, “Weighted Hardy modular inequalities in variable Lp spaces for decreasing functions,” Journal of Mathematical Analysis and Applications, vol. 348, no. 1, pp. 383–388, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. S. Boza and J. Soria, “Weighted weak modular and norm inequalities for the Hardy operator in variable Lp spaces of monotone functions,” Revista Matemática Complutense, vol. 25, no. 2, pp. 459–474, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  12. H. Rafeiro and S. Samko, “Hardy type inequality in variable Lebesgue spaces,” Annales Academiæ Scientiarum Fennicæ Mathematica, vol. 34, no. 1, pp. 279–289, 2009. View at MathSciNet · View at Scopus
  13. H. Rafeiro and S. Samko, “Corrigendum to Hardy type inequlity in variable Lebesgue spaces,” Annales Academiae Scientiarum Fennicae Mathematica, vol. 35, no. 2, pp. 679–680, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. D. E. Edmunds and A. Meskhi, “Potential-type operators in Lp(x) spaces,” Zeitschrift für Analysis und ihre Anwendungen, vol. 21, no. 3, pp. 681–690, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. U. Ashraf, V. Kokilashvili, and A. Meskhi, “Weight characterization of the trace inequality for the generalized Riemann-Liouville transform in Lp(x) spaces,” Mathematical Inequalities and Applications, vol. 13, no. 1, pp. 63–81, 2010.
  16. V. Kokilashvili, A. Meskhi, and M. Sarwar, “One and two-weight norm estimates for one-sided operator in Lp(x) spaces,” Eurasian Mathematical Journal, vol. 1, no. 1, pp. 73–110, 2010.
  17. A. Meskhi, Measure of Non-Compactness for Integral Operators in Weighted Lebesgue Spaces, Nova Science Publishers, New York, NY, USA, 2009. View at MathSciNet
  18. M. A. Arino and B. Muckenhoupt, “Maximal functions on classical Lorentz spaces and Hardy's inequality with weights for nonincreasing functions,” Transactions of the American Mathematical Society, vol. 320, no. 2, pp. 727–735, 1990. View at Publisher · View at Google Scholar · View at MathSciNet
  19. E. Sawyer, “Boundedness of classical operators on classical Lorentz spaces,” Studia Mathematica, vol. 96, no. 2, pp. 145–158, 1990. View at MathSciNet
  20. E. T. Sawyer, “Multipliers of Besov and power-weighted L2 spaces,” Indiana University Mathematics Journal, vol. 33, no. 3, pp. 353–366, 1984. View at Publisher · View at Google Scholar · View at MathSciNet
  21. D. E. Edmunds, V. Kokilashvili, and A. Meskhi, Bounded and Compact Integral Operators, Mathematics and Its Applications, Kluwer Academic, London, UK, 2002.
  22. G. Sinnamon, “Four questions related to Hardy's inequality,” in Function Spaces and Applications (Delhi, 1997), pp. 255–266, Narosa, New Delhi, India, 2000.
  23. O. Kováčik and J. Rákosník, “On spaces Lp(x) and Wk,p(x),” Czechoslovak Mathematical Journal, vol. 41, no. 4, pp. 592–618, 1991. View at MathSciNet
  24. S. G. Samko, “Convolution type operators in Lp(x),” Integral Transforms and Special Functions, vol. 7, no. 1-2, pp. 123–144, 1998. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus