Journal of Function Spaces
Volume 2015 (2015), Article ID 265127, 9 pages
http://dx.doi.org/10.1155/2015/265127

Research Article

Existence of Solutions for Degenerate Elliptic Problems in Weighted Sobolev Space

Lili Dai,1,2 Wenjie Gao,¹ and Zhongqing Li³

¹School of Mathematics, Jilin University, Changchun 130012, China
²Department of Mathematics, Tonghua Normal University, Tonghua 134000, China
³Department of Mathematics, Jilin Normal University, Siping 136000, China

Received 8 September 2015; Accepted 8 November 2015

Academic Editor: Nguyen C. Phuc

Copyright © 2015 Lili Dai 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.

This paper is devoted to the study of the existence of solutions to a general elliptic problem , with and , where is a Leray-Lions operator from a weighted Sobolev space into its dual and is a nonlinear term satisfying , , and a growth condition with respect to . Here, , are weight functions that will be defined in the Preliminaries.

1. Introduction

Let be a bounded domain in and let be a real number with . Denote by the weighted Sobolev space , associated with a vector of weight functions , which is endowed with the usual norm . In this paper, we consider a general class of degenerate elliptic problems:

where and the right-hand side term , where , . We also assume the following:

(H 1)The expression

is a norm defined on and it is equivalent to .(H2)There exist a weight function and a parameter , , such that

with . The Hardy inequality

holds for every with a constant independent of . Moreover, the embedding

is compact. Interested reader may refer to [1] for some examples of weights which satisfy the above Hardy inequality (see (4)).(H3) is a Carathéodory vector-valued function, and for all , there hold

where is a positive function in , , and the constants , are both positive.(H4)Let be a Carathéodory function satisfying the following assumptions:

for some , and

with , a continuous increasing function, and , a nonnegative function in .

In the past decade, much attention has been devoted to nonlinear elliptic equations because of their wide application to physical models such as non-Newtonian fluids, boundary layer phenomena for viscous fluids, and chemical heterogenous model. When , Akdim et al. [2] proved in the variational setting, under assumptions (H1)–(H4), that, for every , with satisfying the sign condition

Problem (1) has a solution , where the authors used the approach based on the strong convergence of the positive part (negative part ) of (the approximating sequence of ). Ammar [3] extended this existence result to problems with general data , under hypotheses . They also used a similar approach to prove the existence of renormalized solutions. When , Aharouch et al. [4] proved the existence result for problem (1), by assuming the sign condition (11). For more details on weighted Sobolev spaces, the readers may refer to [5].

Boccardo et al. [6] considered the nonlinear boundary value problem

where and with sign condition (9) for large values of . By combining the truncation technique with some delicate test functions, the authors showed that the problem has a solution . Mainly motivated by [4, 6], we investigate the elliptic problem (1) in weighted Sobolev space. By choosing test functions different from those employed in [4, 6], we show that problem (1) admits at least one weak solution with (9) instead of the sign condition (11). It is worth pointing out that (9) gives a sign condition on only for large values of , which brings about many difficulties. The essential one of those is that we have to construct some new test functions to obtain the a priori estimates of the approximation solutions since the usual one is not a proper test function for our problem. The outline of this paper is as follows. In Section 2, we give some preliminaries and some technical lemmas. The main results will be stated and proved in Section 3.

2. Preliminaries

In this section, we give some preliminaries (see [5]). Throughout this section, we assume that the vector field satisfies assumptions (6)–(8) and satisfies (9)-(10). Let be a vector of measurable weight functions strictly positive a.e. in , such that

We define the weighted space with weight on as

With this space, we equip the norm

We denote by the space of all real-valued functions such that the derivatives (see [5]) in the sense of distributions satisfy

endowed with the norm

Let be the closure of with respect to the norm . Then, is a reflexive Banach space whose dual is equivalent to , where ,  , and . As usual, for , in , with , we denote and .

The following lemmas will be needed throughout this paper (refer to [2, 7]).

Lemma 1. Let and be two nonnegative real numbers, and let

with . Then,

Lemma 2. Let and , with , . If in , then weakly in , where is a weight function on .

Lemma 3 (assume ). Let be uniformly Lipschitzian, with . Let . Moreover, if the set of discontinuity points of is finite, then

Lemma 4 (assume ). Let and , , be the usual truncation. Then, . Moreover, one has

Lemma 5 (assume and ). Let be a sequence of functions in such that weakly in and

Then, strongly in .

3. Main Results

Firstly, we give the definition of weak solution for problem (1).

Definition 6. One says is a weak solution to problem (1), provided that

Now, we will state and prove our main result on the existence of weak solutions to problem (1).

Theorem 7. Let be in and . Then, there exists at least one solution to problem (1).

Proof. The proof will be divided into 5 steps.
Step 1 (the approximation equation). We introduce the following approximation equation of problem (1). Let be a sequence of functions that converges to strongly in and let ,

then is bounded and satisfies (10) and

for almost every in , for every in , and for every in with . By the results of [2], there exists a solution of

which satisfies

for every .
Step 2 (the weak convergence in ). Take as a test function in (27), where is defined in (9) and is as in (19). Writing and for simplicity, we have

Thanks to Young’s inequality and (7), we have

Since is bounded in and , it follows from the above inequality that

where is independent of . Splitting the second term on the left-hand side where and , we can write

Using (9) and (10), we get

Hence,

Recalling (19) in Lemma 1, let , ; we then obtain

which implies

or equivalently

where is some positive constant. Therefore, we can extract a subsequence, still denoted by itself, such that

By (5) and (37), we have for a subsequence strongly in and a.e. in . Then, is bounded in . Hence, by the results of [8], we have

Step 3 (the strong convergence in ). For every , we will prove that converges strongly to in . We first prove that

Here, we denote by the set of natural numbers. Choosing as a test function in (27) with , using (7) and Young’s inequality, we obtain

Noticing (9) and that has the same sign as if and is zero if , we get

Dropping the nonnegative term, we have

Since

we obtain

Taking into account the fact that is compact in and , we deduce that

Hence,

Noticing that and (9), this completes the proof of assertion (39).
Let be fixed, , and choose as a test function in (27), where is defined in Lemma 1 (refer to [8–10]). We thus obtain

In the following, represents a quantity which converges to zero as firstly and secondly . For convenience, we write

Observe that, in the weak topology of and almost everywhere in , we have

Now, as is compact in and (49), we have

Thanks to weakly in , , and (49), we obtain

where . We can decompose as

Owing to , we get

Since is zero whenever is not zero, hence,

Since on the set , we see that, as ,

As , Lebesgue’s dominated convergence theorem guarantees that

By (6), (49), and the fact that is bounded in , we obtain

Now we split into

We will prove that

In fact,

where , are positive constants. Since weakly in and is compact, then strongly in and a.e. in . Hence,

Then, by the generalized Lebesgue dominated convergence theorem, we deduce (59). By weakly in and (49), we have

Using (57) and (62), we have

As for the term , we decompose it as

It is clear that on the set we get

while on the set we get

By (9) and the fact that , we obtain

Using (7) and (10) and noticing that , we have

By the weak convergence of in , (49), and (59), we have

Since , is bounded in and (49),

We have

Invoking (63), we have

Consequently, by (19) and letting and , it yields

Since , we have

Together with Lemma 5 and the assumptions on , we obtain

which in turn implies

For any measurable set of , we have

Let . Thanks to

by (39), there exists such that

While is fixed, we get

Owing to the strong compactness of in , there exists such that if , then

Hence,

Thus, the sequence is equi-integrable. Thanks to Vitali theorem, the equi-integrability together with (76) implies that converges strongly to in .
Step 4 (the strong convergence in ). Note that (76) implies that

On the other hand, for any measurable set of , we have

Let be fixed. We have

Choose in (46) such that

By (10), we have

Since belongs to and is compact in , there exists such that if , then

Thus, we have proved that is equi-integrable. Invoking (86) and (88) and by Vitali theorem,

Step 5 (passing to the limit). Now, by passing to the limit in (27), we obtain

that is, is a weak solution to problem (1). The proof is complete.

Conflict of Interests

The authors declare that they have no competing interests.

Authors’ Contribution

All authors contributed equally to the paper and read and approved its final version.

Acknowledgment

This study was supported by the National Science Foundation of China (11271154, 11401252).

References

P. Drábek, A. Kufner, and V. Mustonen, “Pseudo-monotonicity and degenerated or singular elliptic operators,” Bulletin of the Australian Mathematical Society, vol. 58, no. 2, pp. 213–221, 1998.

Y. Akdim, E. Azroul, and A. Benkirane, “Existence of solutions for quasilinear degenerate elliptic equations,” Electronic Journal of Differential Equations, vol. 2001, no. 71, pp. 1–19, 2001.

K. Ammar, “Renormalized solutions of degenerate elliptic problems,” Journal of Differential Equations, vol. 234, no. 1, pp. 1–25, 2007.

L. Aharouch, E. Azroul, and A. Benkirane, “Quasilinear degenerated equations with datum and without coercivity in perturbation terms,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 19, article 18, 2006.

V. Gol'dshtein and A. Ukhlov, “Weighted Sobolev spaces and embedding theorems,” Transactions of the American Mathematical Society, vol. 361, no. 7, pp. 3829–3850, 2009.

L. Boccardo, T. Gallouët, and L. Orsina, “Existence and nonexistence of solutions for some nonlinear elliptic equations,” Journal d'Analyse Mathématique, vol. 73, pp. 203–223, 1997.

Z. Li and W. Gao, “Existence of renormalized solutions to a nonlinear parabolic equation in setting with nonstandard growth condition and gradient term,” Mathematical Methods in the Applied Sciences, vol. 38, pp. 3043–3062, 2015.

A. Bensoussan, L. Boccardo, and F. Murat, “On a non linear partial differential equation having natural growth terms and unbounded solution,” Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire, vol. 5, no. 4, pp. 347–364, 1988.

L. Boccardo, A. Dall'Aglio, and L. Orsina, “Existence and regularity results for some elliptic equations with degenerate coercivity,” in Atti del Seminario Matematico e Fisico dell'Università di Modena, vol. 46, pp. 51–81, Seminario Matematico e fisico Università di Modena, Dedicated to: C. Vinti (Perugia, 1996), 1998 (Italian).

H. Brézis and W. A. Strauss, “Semi-linear second-order elliptic equations in L ¹,” Journal of the Mathematical Society of Japan, vol. 25, pp. 565–590, 1973.