Chinese Journal of Mathematics

Volume 2014, Article ID 549051, 7 pages

http://dx.doi.org/10.1155/2014/549051

## An Approximation of Hedberg’s Type in Sobolev Spaces with Variable Exponent and Application

Department of Mathematics, Laboratory LAMA, Faculty of Sciences Dhar El Mahraz, University Sidi Mohamed Ben Abdellah, BP 1796, 30000 Atlas Fez, Morocco

Received 20 February 2014; Accepted 4 April 2014; Published 29 April 2014

Academic Editor: Juntao Sun

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.

#### Abstract

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.

#### 1. Introduction

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 [1] 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 [2]. The treatment of the case is more involved due to the lack of a simple truncation operator in higher order Sobolev spaces. Webb [3] observed that rather delicate approximation procedure introduced in nonlinear potential theory by Hedberg [4] could be used in place of truncation. This yielded the solvability of (1) for . Brezis and Browder [5] then used this approximation procedure to solve a question which they had considered earlier [6] 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 [7].

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).

#### 2. Preliminaries

In this section we list briefly some definitions and well known facts about Sobolev spaces with variable exponent and Bessel potential spaces with variable exponent. Standard references are [11, 12].

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 [17]) of order is defined by
The Riesz kernel (see [18]) 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 [12]). *If and , then
**
and the corresponding norms are equivalent.*

Lemma 4 (see [12]). *Suppose that and . Then there exists a positive constant such that
*

*We will now verify that satisfies all the required properties in Proposition 7. The argument relies heavily on the following Lemmas 5 and 6. In the sequel, we need the following two technical lemmas.*

*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 ([11], 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 [19].*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*

*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 [11]) 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 [19]). 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*

*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*

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

*References*

*References*

- 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. View at Google Scholar · View at Scopus - 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. View at Google Scholar - L. I. Hedberg, “Two approximation problems in function spaces,”
*Arkiv för Matematik*, vol. 16, no. 1, pp. 51–81, 1978. View at Publisher · View at Google Scholar · View at Scopus - 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. View at Google Scholar - H. Brezis and F. E. Browder, “A property of sobolev spaces,”
*Communications in Partial Differential Equations*, vol. 4, pp. 1077–1083, 1979. View at Google Scholar - 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. View at Google Scholar - A. Benkirane, “Approximation de type hedberg dans les espaces ${W}^{m}LlogL\left(\mathrm{\Omega}\right)$ et applications,”
*Annales de la Faculté des Sciences de Toulouse*, vol. 11, pp. 67–78, 1990. View at Google Scholar - A. Benkirane and G. P. Gossez, “An approximation theorem for higer order Orlicz-Sobolev spaces,”
*Studia Mathematica*, vol. 92, pp. 231–255, 1989. View at Google Scholar - 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. View at Google Scholar - 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. View at Google Scholar · View at Scopus - D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, “Corrections to the maximal operator on variable
*L*^{p}spaces,”*Annales Academiæ Scientiarum Fennicæ*, vol. 29, pp. 247–249, 2004. View at Google Scholar - D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, “The maximal function on variable
*L*^{p}spaces,”*Annales Academiae Scientiarum Fennicae Mathematica*, vol. 28, no. 1, pp. 223–238, 2003. View at Google Scholar · View at Scopus - L. Diening, “Maximal function on generalized lebesgue spaces ${L}^{p\left(\xb7\right)}$,”
*Mathematical Inequalities and Applications*, vol. 7, no. 2, pp. 245–253, 2004. View at Google Scholar · View at Scopus - A. Nekvinda, “Hardy-Little-Wood maximal operator on ${L}^{p\left(\xb7\right)}\left({\mathbb{R}}^{N}\right)$,”
*Mathematical Inequalities and Applications*, vol. 7, no. 2, pp. 255–266, 2004. View at Google Scholar - 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 ${L}^{p\left(x\right)}\left(\mathrm{\Omega}\right)$ and ${W}^{m,p\left(x\right)}\left(\mathrm{\Omega}\right)$,”
*Journal of Mathematical Analysis and Applications*, vol. 236, pp. 424–446, 2001. View at Google Scholar

*
*