- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 342910, 7 pages
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.
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.
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., [1–4]). 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 [11–15], subsequently in [16–20]. The variable exponent Hardy inequality was considered also in the recent works [21–25]. 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  or ; the condition (3) was imposed there).
The following main result is obtained in this paper.
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., ):
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 .
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  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.
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).
- H. Triebel, Interpolation Theory, Function Spaces, Differential Operators, North-Holland Publishing, 1978.
- A. Kufner, L. Maligranda, and L.-E. Persson, The Hardy Inequality: About Its History and Some Related Results, Vydavatelský servis, 2007.
- J. L. Lions and E. Magenes, Non Homogeneous Boundary Problem and Applications, vol. 2, Springer, New York, NY, USA, 1972.
- Y. Brundyi and N. Krugljak, Interpolation Functors and Interpolation Spaces, North-Holland Publisher, 1991.
- M. Ruzicka, Electrorheological Fluids Modeling and Mathematical the Ory, Lecture Notes in Mathematics, Springer, Berlin, Germany, 2000.
- V. V. Zhikov, “On some variational problems,” Russian Journal of Mathematical Physics, vol. 5, no. 1, pp. 105–116, 1997.
- P. Marcellini, “Regularity for elliptic equations with general growth conditions,” Journal of Differential Equations, vol. 105, no. 2, pp. 296–333, 1993.
- 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.
- 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.
- D. Cruz-Uribe and A. Fiorenza, Variable Lebesgue Spaces, Fondation and Harmonic Analysis, Birkhäuser, 2013.
- S. Samko, “Hardy inequality in the generalized Lebesgue spaces,” Fractional Calculus & Applied Analysis, vol. 6, no. 4, pp. 355–362, 2003.
- S. G. Samko, “Convolution type operators in ,” Integral Transforms and Special Functions, vol. 7, no. 1-2, pp. 123–144, 1998.
- V. Kokilashvili and S. Samko, “Maximal and fractional operators in weighted spaces,” Revista Matemática Iberoamericana, vol. 20, no. 2, pp. 493–515, 2004.
- 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.
- D. E. Edmunds, V. Kokilashvili, and A. Meskhi, “On the boundedness and compactness of weighted Hardy operators in spaces ,” Georgian Mathematical Journal, vol. 12, no. 1, pp. 27–44, 2005.
- 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.
- L. Diening and S. Samko, “Hardy inequality in variable exponent Lebesgue spaces,” Fractional Calculus & Applied Analysis, vol. 10, no. 1, pp. 1–17, 2007.
- R. A. Mashiyev, B. Çekiç, F. I. Mamedov, and S. Ogras, “Hardy's inequality in power-type weighted spaces,” Journal of Mathematical Analysis and Applications, vol. 334, no. 1, pp. 289–298, 2007.
- F. I. Mamedov and A. Harman, “On a weighted inequality of Hardy type in spaces ,” Journal of Mathematical Analysis and Applications, vol. 353, no. 2, pp. 521–530, 2009.
- 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.
- 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.
- F. I. Mamedov and Y. Zeren, “On equivalent conditions for the general weighted Hardy type inequality in space ,” Zeitschrift für Analysis und ihre Anwendungen, vol. 31, no. 1, pp. 55–74, 2012.
- F. I. Mamedov, “On Hardy type inequality in variable exponent Lebesgue space ,” Azerbaijan Journal of Mathematics, vol. 2, no. 1, pp. 90–99, 2012.
- A. Harman and F. I. Mamedov, “On boundedness of weighted Hardy operator in and regularity condition,” Journal of Inequalities and Applications, vol. 2010, Article ID 837951, 14 pages, 2010.
- F. I. Mamedov and F. M. Mammadova, “A necessary and sufficient condition for Hardy's operator in ,” Mathematische Nachrichten, vol. 287, no. 5-6, pp. 666–676, 2013.
- X. Fan and D. Zhao, “On the spaces and ,” Journal of Mathematical Analysis and Applications, vol. 263, no. 2, pp. 424–446, 2001.
- O. Kováčik and J. Rákosník, “On spaces (Ω) and ,” Czechoslovak Mathematical Journal, vol. 41, no. 116, pp. 592–618, 1991.
- 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.