Research Article | Open Access
Abdelmoujib Benkirane, Mostafa El Moumni, Aziz Fri, "An Approximation of Hedberg’s Type in Sobolev Spaces with Variable Exponent and Application", Chinese Journal of Mathematics, vol. 2014, Article ID 549051, 7 pages, 2014. https://doi.org/10.1155/2014/549051
An Approximation of Hedberg’s Type in Sobolev Spaces with Variable Exponent and Application
The aim of this paper is to extend the usual framework of PDE with to include a large class of cases with , whose coefficient satisfies conditions (including growth conditions) which guarantee the solvability of the problem . This new framework is conceptually more involved than the classical one includes many more fundamental examples. Thus our main result can be applied to various types of PDEs such as reaction-diffusion equations, Burgers type equation, Navier-Stokes equation, and p-Laplace equation.
This paper is motivated by the study of the unilateral problem associated with the following equation:
We show the existence of variational solutions of this elliptic boundary value problem for strongly elliptic systems of order on a domain in in generalized divergence form as follows:
The function satisfies a sign condition but has otherwise completely unrestricted growth with respect to .
Equations of type (1) were first considered by Browder  as an application to the theory of not everywhere defined mapping of monotone type. For , that is, of second order, their solvability under fairly general and natural assumptions was proved by Hess . The treatment of the case is more involved due to the lack of a simple truncation operator in higher order Sobolev spaces. Webb  observed that rather delicate approximation procedure introduced in nonlinear potential theory by Hedberg  could be used in place of truncation. This yielded the solvability of (1) for . Brezis and Browder  then used this approximation procedure to solve a question which they had considered earlier  about the action of some distribution. They also showed that their result on the action of some distributions could itself be used in place of truncation in the study the problem (1). In a more general case, Boccardo et al. studied inequations associated with (1), see .
The functional setting in all the results mentioned above is that of the usual Sobolev spaces , and the functions in (2) are supposed to satisfy polynomial growth conditions with respect to and its derivatives. Benkirane and Gossez established this result in the Orlicz-Sobolev spaces , see [8–10].
It is our purpose in this paper to study these problems in this setting of Sobolev spaces with variable exponent of the harder higher order case . We consider problem (1) as well as Hedberg’s approximation theorem and Brezis-Browder’s question on the action of some distributions.
The paper is structured as follows. After some necessary preliminaries, in Section 3, we give the proof of the approximation theorem. In addition, Section 4 forms a useful supplement to some applications of (1).
Let be an open subset of , by the symbol , we denote the family of all measurable functions .
For , put Furthermore, we introduce a class by Let , and consider the functional on all measurable function on . The Lebesgue space with variable exponent is defined as the set of all measurable functions on such that, for some , equipped with the norm The space is a separable Banach space. Moreover, if , then is uniformly convex, hence, reflexive, and its dual space is isomorphic to , where .
Finally, we have the Hölder type inequality as follows: for all and .
The Hardy-Little-wood maximal operator is defined on locally integrable functions on by the following formula: where denote the open ball in with center and radius , and denotes the volume of .
Definition 1. By , denote the class of all functions for which the operator is bounded on ; that is, with a positive constant independent of .
Remark 2. For example, if the following two conditions are satisfied:
For more details, see [13–16], where various sufficient conditions for can be found.
Let and ; we define the Sobolev space with variable exponent by equipped with the norm where is a multi-index, , and .
Next, we define as the closure of in and the dual space of , where .
The Bessel kernel (see ) of order is defined by The Riesz kernel (see ) of order is defined by where is a certain constant, whose exact value is It follows easily that and an examination of (14) shows without much effort that for any , Writing , , this implies that, for , with and .
3. Main Results
First, we give the following results which will be used in our main result.
3.1. Useful Results
Let and . The Bessel potential space with variable exponent is defined, for , by and is equipped with the norm
Lemma 3 (see ). If and , then and the corresponding norms are equivalent.
Lemma 4 (see ). Suppose that and . Then there exists a positive constant such that
Lemma 5. If and for any multi-index , there exists a constant such that for any ,
Proof. We assume that ; otherwise, there is nothing to prove. We then observe that there is a constant such that . In fact, by (17), (18), and (, Lemma 6.1.4), there exists a constant such that Then, by (19) and (18), for any , we have Now choosing ; then, and the result follows.
Lemma 6. Suppose that and . Let for some , if satisfies Then for every , and there exists a constant , depending only on and , such that
Proof. For integer. Assume that and . Set and notice that for all , so that is defined. If is a multi-indix with , we find by the chain rule that
where the interior sum is over all ordered -tuples of multi-indices such that , and all . The are coefficients, whose exact value is of no consequence to us. Thus, by assumption of Lemma 3.4 we get
For , we estimate these derivatives by means of Lemma 5. By the positivity of , we have
Thus, since ,
Taking the term with into account, we obtain
But we already know from (10) that and that for .
This finishes the proof for smooth .
Now we pass to the general case and let be an arbitrary function in . Then there are nonnegative functions , , such that By the first part of the proof, for all sufficiently large .
Thus, setting , we can assume that converges weakly in to an element , with .
We have to prove that .
The strong convergence of and the fact that imply, by Lemma 4, that converges strongly in to . After extraction of a subsequence, we can assume that But is continuous, so it follows that
On the other hand, the weak convergence of implies that the pointwise limit of (which is now known to exist a.e.) is . In fact, setting , for an arbitrary , By weak convergence, the last term tends to zero, since is in away from the origin. Consider the following: We deduce that, for all , , which implies that for all , there exists , such that Then, Since , then we have which is an arbitrary small number, and thus for a.e. , This completes the proof of Lemma 5.
Proposition 7. Let , there exist a sequence , such that (i)) is compact;(ii) and a.e. in ;(iii) in as .
Proof. The proof of Proposition 7 is done in two steps as follows.
Step 1. Let be a fixed function such that 1 and in a neighborhood of the origin.
Let = ; then, = satisfies all the required properties, using the fact that by Sobolev’s theorem .
Step 2 (. We assume that has compact support, if necessary by multiplying with a suitable . We represent as a Bessel potential, , so that . Set and let be a function such that , for and for . Then, set We First observe that, on the set , which includes , and so we have a.e., and thus . It remains to prove that and that converges to as tends to .
Let be any multi-index with . If = , , and all , we find by the same arguments as in the proof of Lemma 6 that By Lemma 5, we have, for any multi-index with , On the open set , using the fact that ; then, for , and for = .
By using Leibniz’s formula, we have for = , if , again using Lemma 5, that If , we have . It follows that a.e.
The functions on the right hand side belong to , so the theorem follows by applying the dominated convergence.
Remark 8. The sequence constructed above satisfies with a constant depending only on and .
3.2. Existence Result
This subsection is devoted to establish the following existence theorem.
Theorem 9. Let and . Assume that a.e. in , for some . Then,
Proof. We first deduce Theorem 9 as a simple consequence of Proposition 7. Let be a sequence defined in Proposition 7. It follows easily from (i) in Proposition 7 (using convolution with mollifiers and according to ) that By Proposition 7, the right hand side of (54) converges as to . On the other hand, we have a.e. We deduce from Fatou’s lemma that . We conclude by dominated convergence that
Theorem 10. Let be such that Assume that and a.e. in , for some . Then,
Proof. The proof is straightforward when ; therefore, we may assume that . Using in place of , we may always reduce to the case where is bounded. Set
Then . This allows us to write
for some in . As in the proof of Proposition 7, set
Since , there exists a sequence such that in and a.e. (see ). For each , we perform the above construction and we set
Fix . We clearly have
As we keep fixed and let , we see that
by dominated convergence and (56).
On the other hand, by Remark 8, we obtain where does not depend on and .
Therefore, converges weakly to in as and thus as . Passing to the limit in (62) as , we find We conclude easily (by the argument as in the proof of Theorem 9) that
4. An Application to a Strongly Nonlinear Elliptic Equation
Let be an open set on , and assume that is a pseudomonotone operator which maps bounded sets into bounded sets and which is coercive. And let be a Carathéodory function satisfying the sign condition () and for each , there exists as follows:
Theorem 11. For every , there exists such that Furthermore, if is nondecreasing in and if and are two solutions corresponding to and , respectively, then
Proof. Let where with and near . It follows easily from the theory of pseudomonotone operators that there exists such that In addition, Then we can assume that Moreover, which implies that, for any measurable subset , Then, thanks to Vitali’s theorem, we deduce that By Fatou’s lemma, it is easy to see that Set , we have and as a consequence of Theorem 10, we conclude that Therefore, The conclusion follows readily. (68) is again a direct consequence of Theorem 11.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
- F. E. Browder, “Existence theory for boundary value problems for quasi linear elliptic systems with strongly nonlinear lower order terms,” in Proceedings of the Symposia in Pure Mathematics, vol. 23, pp. 269–286, The American Mathematical Society, 1971.
- P. Hess, “A strongly nonlinear elliptic boundary value problem,” Journal of Mathematical Analysis and Applications, vol. 43, no. 1, pp. 241–249, 1973.
- J. R. L. Webb, “Boundary value problems for strongly nonlinear elliptic equations,” Journal of the London Mathematical Society, vol. 2, no. 21, pp. 123–132, 1980.
- L. I. Hedberg, “Two approximation problems in function spaces,” Arkiv för Matematik, vol. 16, no. 1, pp. 51–81, 1978.
- H. Brezis and F. E. Browder, “Some properties of higher order Sobolev spaces,” Journal of Mathematical Analysis and Applications, vol. 245, pp. 0021–7824, 1982.
- H. Brezis and F. E. Browder, “A property of sobolev spaces,” Communications in Partial Differential Equations, vol. 4, pp. 1077–1083, 1979.
- L. Boccardo, D. Giachetti, and F. Murat, “A generalization of a theorem of H. Brezis and F. E. Browder and applications to some unilateral problems,” Annales de l'Institut Henri Poincaré C, vol. 7, pp. 367–384, 1990.
- A. Benkirane, “Approximation de type hedberg dans les espaces et applications,” Annales de la Faculté des Sciences de Toulouse, vol. 11, pp. 67–78, 1990.
- A. Benkirane and G. P. Gossez, “An approximation theorem for higer order Orlicz-Sobolev spaces,” Studia Mathematica, vol. 92, pp. 231–255, 1989.
- A. Benkirane, “A theorem of H. Brezis and F. E. Browder type in Orlicz spaces and application,” Pitman Research Notes in Mathematics Series, vol. 343, pp. 10–16, 1996.
- 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, Berlin, Germany, 2011.
- P. Gurka, P. Harjulehto, and A. Nekvinda, “Bessel potential spaces with variable exponent,” Mathematical Inequalities and Applications, vol. 10, no. 3, pp. 661–676, 2007.
- D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, “Corrections to the maximal operator on variable Lpspaces,” Annales Academiæ Scientiarum Fennicæ, vol. 29, pp. 247–249, 2004.
- D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, “The maximal function on variable Lp spaces,” Annales Academiae Scientiarum Fennicae Mathematica, vol. 28, no. 1, pp. 223–238, 2003.
- L. Diening, “Maximal function on generalized lebesgue spaces ,” Mathematical Inequalities and Applications, vol. 7, no. 2, pp. 245–253, 2004.
- A. Nekvinda, “Hardy-Little-Wood maximal operator on ,” Mathematical Inequalities and Applications, vol. 7, no. 2, pp. 255–266, 2004.
- D. R. Adams and L. I. Hedberg, Function Spaces and Potential Theory, Springer, New York, NY, USA, 1996.
- E. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, NJ, USA, 1970.
- X. L. Fan and D. Zhao, “On the spaces and ,” Journal of Mathematical Analysis and Applications, vol. 236, pp. 424–446, 2001.
Copyright © 2014 Abdelmoujib Benkirane 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.