About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis

Volume 2014 (2014), Article ID 342910, 7 pages

http://dx.doi.org/10.1155/2014/342910
Research Article

A Necessary and Sufficient Condition for Hardy’s Operator in the Variable Lebesgue Space

1Mathematics and Mechanics Institute of NAS and OGRDI of SOCAR Company, 9 B. Vahabzade, 1141 Baku, Azerbaijan

2Department of Mathematics, Yildiz Technical University, Esenler, Istanbul, 34220 Davutpasha, Turkey

Received 11 September 2013; Revised 28 March 2014; Accepted 9 April 2014; Published 6 May 2014

Academic Editor: Vakhtang M. Kokilashvili

Copyright © 2014 Farman Mamedov and Yusuf Zeren. 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

The variable exponent Hardy inequality , is proved assuming that the exponents , not rapidly oscilate near origin and . The main result is a necessary and sufficient condition on , generalizing known results on this inequality.

1. Introduction

There are a lot of examples in the theory of differential equations and analysis, in which the boundedness of the Hardy operator in some spaces is used essentially (a weighted Lebesgue space, Lorentz space, their weak spaces, and so on; see, e.g., [14]). The aim of present paper is to study a necessary and sufficient condition for the boundedness of Hardy operator in the weighted Lebesgue space with variable exponent . The investigation of variable exponent Lebesgue spaces is stimulated with the modeling of electrorhelogical fluids (see [5, 6]). That led to the development of regularity theory for the nonlinear elliptic and parabolic equations with partial derivatives (see, e.g., the bibliography in [7, 8]). Also, the required mathematical methods of analysis were elaborated to study the boundedness of principal integral operators (maximal operator, fractional operators, singular operator, commutators, and so on) in spaces (see the recent monographs [9, 10]).

In all probability, the first investigation of the variable exponent Hardy inequality was started in the works [1115], subsequently in [1620]. The variable exponent Hardy inequality was considered also in the recent works [2125]. Since the Hardy operator is the simplest one among other integral operators, it seems logical to investigate the necessary and sufficient conditions for this operator in the first place. Though we have not so far succeeded in obtaining appropriate results in the general weighted space and in the case of general exponential functions, the representation of our results in presenting here form seems to us more attractive for comparision with the known results (see below).

More precisely, the subject of present paper is to study the norm inequality for the Hardy operator

Due to the cited above results, a necessary and sufficient condition for (1) take place if a regularity condition is assumed on at the origin. Namely, let , , , , both functions satisfy the condition then inequality (1) holds if and only if .

In our results, the exponent functions satisfy the following oscillation condition near origin:

This condition is weaker than known logarithmic condition (3); that is, (3) implies (4). We can give an example of exponential function for which condition (4) is satisfied but (3) fails: . Also using L’Hopital’s rule, it is not difficult to check that such a function satisfies the condition (5). Therefore, applying the assertion of our results below, we get new results on existence of inequality (1) (compare with the known results in [17] or [24]; the condition (3) was imposed there).

The following main result is obtained in this paper.

Theorem 1. Let and be measurable functions such that . Suppose there are limits and and the functions satisfy condition (4) near origin.

Then inequality (1) holds if and only if

2. Notation

As to the basic properties of spaces , we refer to [26, 27]. Throughout this paper, it is assumed that is a measurable function in taking its values from the interval with . The space of functions is introduced as the class of measurable functions in which has a finite modular (put also ). A norm in is given in the form (By or simply , we denote the norm over set .)

For , the space is a reflexive Banach space. The relation between the modular and norm is expressed by the following inequalities (see, e.g., [12]):

These inequalities allow us to perform our norm estimates in terms of a modular.

For the function ,   denotes the conjugate function of , and if . We denote by various positive constants whose values may vary at each appearance. We write if there exist positive constants such that . By , we denote the characteristic function of set .

We say a function is almost increasing (decreasing) if there exists a constant such that and for .

3. Proofs

Throughout the section, we assume that and are measurable functions such that , , and .

Lemma 2. Suppose is a measurable function such that , . and the condition (4) be satisfied. Then there exists a constant such that for any , , where the constant depends on , , and the constant from the condition (4).

Proof. Since satisfies the condition (4), it follows that, if , then and if then . By the same arguments,

Proof of Theorem 1. Consider the following.

Necessity. First, show that the function is almost decreasing if inequality (1) holds and the functions satisfy (4). In this way, we will show that where the constant does not depend on . For fixed , there exists an such that Let , , be such that . Insert a test function into inequality (1). Then and, therefore, . It follows from (1) that . This means that . Therefore, Hence, In the integral term, it easily follows from Lemma 2 and (4) for that Using this estimate and (17), (15), we see that respectively.

Using the Holder inequality for -norms, we see that since and by (19) Hence and then On the other hand, by Lemma 2 and (4) for , we have Using this inequality from (25), we get (11). Inequity (11) has been proved; that is, the function is almost decreasing.

Now, it follows from (11) and (20) that Hence,

Now, using (28), we will derive a Bari-Stechkin [28] type assertion in order to prove that the function is almost decreasing by some .

Indeed, put . Then, by (28), Integrating this inequality, Using (28), Now, it follows from Lemma 2 and (4) for that Therefore, that is, the function is almost decreasing by . This implies almost decreasing of the function by . Then it is easily seen that the condition (5) is satisfied.

This completes necessity of condition (5).

Sufficiency. Let the functions satisfy (4) and the condition (5). Show that (5) implies almost decreasing of by some . Put and repeat the arguments before.

We have Using (5), By Lemma 2 and (4) for , it follows that Hence, that is, is almost decreasing by .

Let be a measurable function such that . Then . We have to prove . By Minkowskii inequality for norms, where is a fixed number.

We will derive an estimate for every summand in (38). In this way, we will get a modular estimate for the corresponding terms in modular.

Denote By (37), for any , , where does not depend on . From (40) using , we get or

If , then, due to Holder’s inequality, for we have

Using (4) for and Lemma 2, it is not difficult to see the following estimate: where and , , with the constant not depending on .

Indeed, for and . Then to prove (44), it suffices to show , which is a simple consequence of (4) for , Lemma 2, and the fact that there exists a point such that .

For the second multilayer (43), we have the estimates Combining the estimates (43), (44), and (45) for and we have Now, taking into the account (42), here, we see that the last term is exceeded by On the other hand, using the assumptions and , Using (48) and , it follows from (47) that If , then we repeat all arguments with changed to . Indeed, it follows from the Holder inequality that By (4), for , we have (see similar arguments after (44)) Also, since the conditions , , and are assumed.

Hence, Therefore, by use of (42) for and , it follows that Let us note that since . Therefore, with .

It follows from (56) and (49) that, in both cases and , we have the same estimates (with different not depending on .). Denote again by the minimum of and and, taking into account (56) and (49), we get Due to Fubini’s theorem, this is exceeded by We have used that and the estimate which easily follows from .

Therefore, From this estimate and (38), it follows that It remains to get an estimate of far from origin. Since is separated from zero and infinity in , it suffices to note the estimate Here, the boundedness of first multiplier follows from the assumption. Boundedness of second multiplier follows from the condition and the assertion of Lemma 2.

Theorem 1 has been proved.

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 the reviewer’s valuable comments that improved the paper. The first author is grateful to the Science Development Foundation under the President of Azerbaijan Republic (EIF-2012-2(6)-39/09/1). The authors are also grateful to the Scientific and Technological Research Council of Turkey for a scholarship (TÜBİTAK-BİDEB, 2012).

References

  1. H. Triebel, Interpolation Theory, Function Spaces, Differential Operators, North-Holland Publishing, 1978. View at MathSciNet
  2. A. Kufner, L. Maligranda, and L.-E. Persson, The Hardy Inequality: About Its History and Some Related Results, Vydavatelský servis, 2007. View at MathSciNet
  3. J. L. Lions and E. Magenes, Non Homogeneous Boundary Problem and Applications, vol. 2, Springer, New York, NY, USA, 1972.
  4. Y. Brundyi and N. Krugljak, Interpolation Functors and Interpolation Spaces, North-Holland Publisher, 1991.
  5. M. Ruzicka, Electrorheological Fluids Modeling and Mathematical the Ory, Lecture Notes in Mathematics, Springer, Berlin, Germany, 2000. View at MathSciNet
  6. V. V. Zhikov, “On some variational problems,” Russian Journal of Mathematical Physics, vol. 5, no. 1, pp. 105–116, 1997. View at MathSciNet
  7. P. Marcellini, “Regularity for elliptic equations with general growth conditions,” Journal of Differential Equations, vol. 105, no. 2, pp. 296–333, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. E. Acerbi and G. Mingione, “Regularity results for a class of functionals with non-standard growth,” Archive for Rational Mechanics and Analysis, vol. 156, no. 2, pp. 121–140, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. L. Diening, P. Harjulehto, P. Hästö, and M. Ruzicka, Lebesgue and Sobolev Spaces with Variable Exponents, vol. 2017 of Lecture Notes in Mathematics, Springer, Heidelberg, Germany, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  10. D. Cruz-Uribe and A. Fiorenza, Variable Lebesgue Spaces, Fondation and Harmonic Analysis, Birkhäuser, 2013.
  11. S. Samko, “Hardy inequality in the generalized Lebesgue spaces,” Fractional Calculus & Applied Analysis, vol. 6, no. 4, pp. 355–362, 2003. View at Zentralblatt MATH · View at MathSciNet
  12. 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 Zentralblatt MATH · View at MathSciNet
  13. V. Kokilashvili and S. Samko, “Maximal and fractional operators in weighted Lp(x) spaces,” Revista Matemática Iberoamericana, vol. 20, no. 2, pp. 493–515, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. P. Harjulehto, P. Hästö, and M. Koskenoja, “Hardy's inequality in a variable exponent Sobolev space,” Georgian Mathematical Journal, vol. 12, no. 3, pp. 431–442, 2005. View at Zentralblatt MATH · View at MathSciNet
  15. D. E. Edmunds, V. Kokilashvili, and A. Meskhi, “On the boundedness and compactness of weighted Hardy operators in spaces Lp(x),” Georgian Mathematical Journal, vol. 12, no. 1, pp. 27–44, 2005. View at Zentralblatt MATH · View at MathSciNet
  16. 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 Zentralblatt MATH · View at MathSciNet
  17. L. Diening and S. Samko, “Hardy inequality in variable exponent Lebesgue spaces,” Fractional Calculus & Applied Analysis, vol. 10, no. 1, pp. 1–17, 2007. View at Zentralblatt MATH · View at MathSciNet
  18. R. A. Mashiyev, B. Çekiç, F. I. Mamedov, and S. Ogras, “Hardy's inequality in power-type weighted Lp(·)(0,) spaces,” Journal of Mathematical Analysis and Applications, vol. 334, no. 1, pp. 289–298, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. F. I. Mamedov and A. Harman, “On a weighted inequality of Hardy type in spaces Lp(·),” Journal of Mathematical Analysis and Applications, vol. 353, no. 2, pp. 521–530, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. F. I. Mamedov and A. Harman, “On a Hardy type general weighted inequality in spaces Lp(·),” Integral Equations and Operator Theory, vol. 66, no. 4, pp. 565–592, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. 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
  22. F. I. Mamedov and Y. Zeren, “On equivalent conditions for the general weighted Hardy type inequality in space Lp(·),” Zeitschrift für Analysis und ihre Anwendungen, vol. 31, no. 1, pp. 55–74, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  23. F. I. Mamedov, “On Hardy type inequality in variable exponent Lebesgue space Lp(·)(0,l),” Azerbaijan Journal of Mathematics, vol. 2, no. 1, pp. 90–99, 2012. View at Zentralblatt MATH · View at MathSciNet
  24. A. Harman and F. I. Mamedov, “On boundedness of weighted Hardy operator in Lp(·) and regularity condition,” Journal of Inequalities and Applications, vol. 2010, Article ID 837951, 14 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. F. I. Mamedov and F. M. Mammadova, “A necessary and sufficient condition for Hardy's operator in Lp(·),” Mathematische Nachrichten, vol. 287, no. 5-6, pp. 666–676, 2013. View at Publisher · View at Google Scholar
  26. X. Fan and D. Zhao, “On the spaces Lp(x)(Ω) and Wm,p(x)(Ω),” Journal of Mathematical Analysis and Applications, vol. 263, no. 2, pp. 424–446, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. O. Kováčik and J. Rákosník, “On spaces Lp(x)(Ω) and W1,p(x),” Czechoslovak Mathematical Journal, vol. 41, no. 116, pp. 592–618, 1991. View at Zentralblatt MATH · View at MathSciNet
  28. N. K. Bari and S. B. Stečkin, “Best approximations and differential properties of two conjugate functions,” Proceedings of Moscow Mathematical Society, vol. 5, pp. 483–522, 1956. View at MathSciNet