Abstract
We prove the existence results in the setting of Orlicz spaces for the following nonlinear elliptic equation:
where A is a Leray-Lions operator defined on \(D(A)\subset W_{0}^{1}L_{M}(\Omega)\), while g is a nonlinear term having a growth condition with respect to Du, but does not satisfy any sign condition. The right-hand side μ is a bounded Radon measure data.
Similar content being viewed by others
1 Introduction
Let Ω be a bounded domain in \(\mathbb{R}^{N}\). In the classical Sobolev space \(W^{1,p}_{0}(\Omega)\), Porretta [1] studied the solution of the following problem:
where a is supposed to satisfy a polynomial growth condition with respect to u and Du, H has natural growth with respect to Du without any sign condition (i.e., \(H(x,s,\xi )s\geq0\)), that is, a and H satisfy
-
(a1)
\(|a(x,s,\xi)|\leq\beta(k(x)+|s|^{p-1}+|\xi|^{p-1})\), \(k(x)\in L^{p'}(\Omega)\), \(\beta>0\), \(p>1\), \(\frac{1}{p}+\frac{1}{p'}=1\),
-
(H)
\(|H(x,s,\xi)|\leq\gamma(x)+g(s)|\xi|^{p}\), \(\gamma(x)\in L^{1}(\Omega)\), and \(g:\mathbb{R}\rightarrow\mathbb{R}^{+}\) is continuous, \(g\geq0\), \(g\in L^{1}(\mathbb{R})\),
for almost every \(x\in\Omega\), for all \(s\in\mathbb{R}\), \(\xi\in \mathbb{R}^{N}\). The right-hand side μ is a nonnegative bounded Radon measure on Ω. The model example is the equation
in Ω coupled with a Dirichlet boundary condition.
Aharouch et al. [2] proved the existence results in the setting of Orlicz spaces for the unilateral problem associated to the following equation:
where \(A(u)=-\operatorname{div} a(x,u,D u)\) is a Leray-Lions operator defined on \(D(A)\subset W_{0}^{1}L_{M}(\Omega)\), a and g satisfy the following growth conditions:
-
(a2)
\(|a(x,s,\xi)|\leq c(x)+k_{1}\bar{P}^{-1}(M(k_{2}|s|))+k_{3}\bar {M}^{-1}(M(k_{4}|\xi|))\), \(k_{1},k_{2},k_{3},k_{4} \geq0\), \(c(x)\in E_{\bar{M}}(\Omega)\),
-
(g)
\(|g(x,s,\xi)|\leq\gamma(x)+\rho(s)M(|\xi|)\), \(\gamma(x)\in L^{1}(\Omega)\), and \(\rho:\mathbb{R}\rightarrow\mathbb{R}^{+}\) is continuous, \(\rho\geq0\), \(\rho\in L^{1}(\mathbb{R})\),
for almost every \(x\in\Omega\), for all \(s\in\mathbb{R}\), \(\xi\in \mathbb{R}^{N}\), where M and P are N-functions such that \(P\ll M\). The right-hand side f belongs to \(L^{1}(\Omega)\). The obstacle is a measurable function.
Youssfi et al. [3] proved the existence of bounded solutions of problem (2) whose principal part has a degenerate coercivity, where g does not satisfy the sign condition and f is an appropriate integrable source term.
Some elliptic equations in Orlicz spaces with variational structure of the form
have been studied, where \(u:\Omega\rightarrow\mathbb{R}^{N}\), \(\Omega \subset\mathbb{R}^{n}\) is a bounded open set (see, e.g., [4–7]). The associated Euler-Lagrange system is
In this case methods from the calculus of variations can be used and regularity of solutions can be shown. However, the assumptions are strong. For example, it is needed that M satisfies \(\Delta_{2}\) condition in [4] and [6].
The purpose of this paper is to study the existence of a solution for the following nonlinear Dirichlet problem:
where \(A(u)=-\operatorname{div} a(x,u,D u)\) is a Leray-Lions operator defined on \(D(A)\subset W_{0}^{1}L_{M}(\Omega)\) having the following growth condition:
for almost every \(x\in\Omega\), for all \(s\in\mathbb{R}\), \(\xi\in \mathbb{R}^{N}\), g is a nonlinear term having the growth condition (g) without any sign condition, and μ is a nonnegative bounded Radon measure on Ω. When trying to relax the restriction on a and H in Eq. (1), we are led to replace Sobolev spaces by Orlicz-Sobolev spaces without assuming any restriction on M (i.e., without the \(\Delta _{2}\) condition). The choice \(M(t)=t^{p}\), \(p>1\), \(t>0\) leads to [1]. A nonstandard example is \(M(t)=t\ln(1+t)\), \(t>0\) (see, e.g., [8, 9]). Taking \(M(t)=e^{t}-1\), \(t>0\), M does not satisfy \(\Delta_{2}\)-condition. Moreover, the elimination of the term g in Eq. (3) can lead to [10]. A specific example to which our result applies includes the following:
where \(a(s)\) is a smooth function, and δ is a Dirac measure.
This paper is organized as follows. In Section 2, we recall some preliminaries and some technical lemmas which will be needed in Section 3. In Section 3, we first prove that there exist solutions in \(W_{0}^{1}E_{M}(\Omega)\) for approximate equations by using a linear functional analysis method; next, following [1–3, 10], we prove the existence results for problem (9)-(10) and show that solutions belong to Orlicz-Sobolev spaces \(W_{0}^{1}L_{B}(\Omega)\) for any \(B\in\mathcal{P}_{M}\), where \(\mathcal{P}_{M}\) is a special class of N-functions (see Theorem 3.1 below).
For some classical results on equations, we refer to [11–18].
2 Preliminaries
2.1 N-function
Let \(M:\mathbb{R}^{+}\to\mathbb{R}^{+}\) be an N-function; i.e., M is continuous, convex with \(M(u)>0\) for \(u>0\), \(M(u)/u\to 0\) as \(u\to0\), and \(M(u)/u\to\infty\) as \(u\to\infty\). Equivalently, M admits the representation \(M(u)=\int_{0}^{u}\phi(t)\,dt\), where \(\phi:\mathbb{R}^{+}\to\mathbb{R}^{+}\) is a nondecreasing, right-continuous function with \(\phi(0)=0\), \(\phi(t)>0\) for \(t>0\), and \(\phi(t)\to\infty\) as \(t\to\infty\).
The conjugated N-function M̄ of M is defined by \(\bar{M}(v)=\int_{0}^{v}\psi(s)\,ds\), where \(\psi:\mathbb{R}^{+}\to\mathbb{R}^{+}\) is given by \(\psi(s)=\sup\{t:\phi(t)\leq s\}\).
The N-function M is said to satisfy the \(\Delta_{2}\) condition if, for some \(k>0\),
The N-function M is said to satisfy the \(\Delta_{2}\) condition near infinity if, for some \(k>0\) and \(u_{0}>0\), \(M(2u)\leq kM(u)\), \(\forall u\geq u_{0}\) (see [19, 20]).
Moreover, one has the following Young inequality:
We will extend these N-functions into even functions on all \(\mathbb{R}\).
Let P, Q be two N-functions, \(P\ll Q\) means that P grows essentially less rapidly than Q; i.e., for each \(\varepsilon>0\), \(P(t)/Q(\varepsilon t)\to0\) as \(t\to\infty\). This is the case if and only if \(\lim_{t\to\infty} Q^{-1}(t)/P^{-1}(t)=0\) (see [19, 21]).
2.2 Orlicz spaces
Let Ω be an open subset of \(\mathbb{R}^{N}\) and M be an N-function. The Orlicz class \(K_{M}(\Omega)\) (resp. the Orlicz space \(L_{M}(\Omega)\)) is defined as the set of (equivalence classes of) real valued measurable functions u on Ω such that
\(L_{M}(\Omega)\) is a Banach space under the Luxemburg norm
and \(K_{M}(\Omega)\) is a convex subset of \(L_{M}(\Omega)\) but not necessarily a linear space.
The closure in \(L_{M}(\Omega)\) of the set of bounded measurable functions with compact support in Ω̄ is denoted by \(E_{M}(\Omega)\). The equality \(E_{M}(\Omega)=L_{M}(\Omega)\) holds if and only if M satisfies the \(\Delta_{2}\) condition for all t or for t large according to whether Ω has infinite measure or not. The dual space of \(E_{M}(\Omega)\) can be identified with \(L_{\bar {M}}(\Omega)\) by means of the pairing \(\int_{\Omega}u(x)v(x)\,dx\), and the dual norm of \(L_{\bar{M}}(\Omega)\) is equivalent to \(\|\cdot\| _{(\bar{M})}\).
2.3 Orlicz-Sobolev spaces
We now turn to the Orlicz-Sobolev spaces. The class \(W^{1}L_{M}(\Omega)\) (resp., \(W^{1}E_{M}(\Omega)\)) consists of all functions u such that u and its distributional derivatives up to order 1 lie in \(L_{M}(\Omega)\) (resp., \(E_{M}(\Omega)\)). The classes \(W^{1}L_{M}(\Omega)\) and \(W^{1}E_{M}(\Omega)\) of such functions may be given the norm
These classes will be Banach spaces under this norm. We refer to spaces of the forms \(W^{1}L_{M}(\Omega)\) and \(W^{1}E_{M}(\Omega)\) as Orlicz-Sobolev spaces. Thus \(W^{1}L_{M}(\Omega)\) and \(W^{1}E_{M}(\Omega)\) can be identified with subspaces of the product of \(N+1\) copies of \(L_{M}(\Omega)\). Denoting this product by \(\Pi L_{M}\), we will use the weak topologies \(\sigma(\Pi L_{M},\Pi E_{\bar{M}})\) and \(\sigma(\Pi L_{M},\Pi L_{\bar{M}})\). If M satisfies \(\Delta_{2}\) condition (near infinity only when Ω has finite measure), then \(W^{1}L_{M}(\Omega)=W^{1}E_{M}(\Omega)\).
The space \(W_{0}^{1}E_{M}(\Omega)\) is defined as the (norm) closure of the Schwartz space \(\mathcal{D}(\Omega)\) in \(W^{1}E_{M}(\Omega)\) and the space \(W^{1}_{0}L_{M}(\Omega)\) as the \(\sigma(\Pi L_{M},\Pi E_{\bar{M}})\) closure of \(\mathcal{D}(\Omega)\) in \(W^{1}L_{M}(\Omega)\).
We recall that a sequence \(u_{n}\) converges to u for the modular convergence in \(W^{1}L_{M}(\Omega)\) if there exists \(\lambda>0\) such that
Let \(W^{-1}L_{\bar{M}}(\Omega)\) (resp. \(W^{-1}E_{\bar{M}}(\Omega)\)) denote the space of distributions on Ω which can be written as sums of derivatives of order ≤1 of functions in \(L_{\bar{M}}(\Omega)\) (resp. \(E_{\bar{M}}(\Omega)\)). It is a Banach space under the usual quotient norm.
If the open set Ω has the segment property, then the space \(\mathcal{D}(\Omega)\) is dense in \(W^{1}_{0}L_{M}(\Omega)\) for the modular convergence and thus for the topology \(\sigma(\Pi L_{M},\Pi L_{\bar{M}})\). Consequently, the action of a distribution in \(W^{-1}L_{\bar{M}}(\Omega)\) on an element of \(W^{1}_{0}L_{M}(\Omega)\) is well defined. The dual space of \(W^{1}_{0}E_{M}(\Omega)\) is \(W^{-1}L_{\bar{M}}(\Omega )\) and the dual space of \(W^{-1}E_{\bar{M}}(\Omega)\) is \(W^{1}_{0}L_{M}(\Omega )\) (see [21, 22]).
For the above results, the readers can also be referred to [8, 23–25].
We recall some lemmas which will be used later.
Lemma 2.1
(see [26])
For all \(u\in W_{0}^{1}L_{M}(\Omega)\), one has
where diamΩ is the diameter of Ω.
Lemma 2.2
(see [22])
If the open set Ω has the segment property, \(u\in W_{0}^{1}L_{M}(\Omega)\), then there exists \(\lambda>0\) and a sequence \(u_{k}\in\mathcal {D}(\Omega)\) such that for any \(|\alpha|\leq1\), \(\rho_{M}(|D^{\alpha}u_{k}-D^{\alpha}u|/\lambda)\rightarrow0\), \(k\rightarrow\infty\).
Definition 2.1
(see [27])
Let \(V_{m}=\operatorname{span}\{\omega_{1},\ldots,\omega_{m}\}\); then \(u_{m}\in V_{m}\) is called a Galerkin solution of \(A(u)=f\) in \(V_{m}\) if and only if
The proof of the following lemma can be found in Lemma 5.12.1 in [28].
Lemma 2.3
Let \(f:\mathbb{R}^{m}\rightarrow\mathbb{R}^{m}\) be a continuous mapping with
where a is a constant with \(-\infty\leq a<0\) or \(0< a\leq+\infty\), \(|\cdot|\) is a norm in \(\mathbb{R}^{m}\), \(\langle\cdot,\cdot\rangle\) is an inner product defined as \(\langle x,f(x)\rangle=\sum_{i=1}^{m}x_{i}f_{i}(x)\) with \(x=(x_{1},x_{2},\ldots,x_{m})\) and \(f(x)=(f_{1}(x),f_{2}(x),\ldots,f_{m}(x))\). Then the range of f is the whole of \(\mathbb{R}^{m}\).
Proof
Let \(u_{0}\in\mathbb{R}^{m}\) and define \(f^{*}(x)=f(x)-u_{0}\). Then \(f^{*}\) satisfies (4). Consequently, it is sufficient to prove that the range of any map satisfying (4) contains the origin.
If \(0< a\leq+\infty\), using (4) we see that we may choose r large enough so that
But from (5), it follows that the mapping
Then \(w:B(0,r)\rightarrow B(0,r)\) is continuous where \(B(0,r)=\{x\in \mathbb{R}^{m}, |x|\leq r\}\). By the Brouwer fixed point theorem, f is continuous from \(B(0,r)\subset\mathbb{R}^{m}\) into \(B(0,r)\), and f has a fixed point, i.e., there exists \(x\in B(0,r)\) such that \(x=w(x)\). Then
which implies that
It is a contradiction with (5). Therefore, f is surjective.
If \(-\infty\leq a<0\), then let \(g=-f\). Thanks to (4), we have
From this we deduce that g is surjective. Therefore −g is surjective, too. Immediately, f is surjective, i.e., the range of f is the whole of \(\mathbb{R}^{m}\). □
Remark 2.1
Let V be a vector space of finite dimension and \(A:V\rightarrow V^{*}\) be a continuous mapping with
where a is the constant in Lemma 2.3 and \(V^{*}\) is the dual space of V, then A is surjective.
Clearly, condition (4) is weaker than the one of Lemma 5.12.1 in [28].
Remark 2.2
If condition (4) is replaced by
then f is not surjective. For example, let \(f(x)=|x|\), then \(f:\mathbb {R}\rightarrow\mathbb{R}\) is continuous and
However, the range of f is \([0,+\infty)\). Therefore, Lemma 1 in Landes [27] should be without absolute.
Lemma 2.4
If a sequence \(u_{n}\in L_{M}(\Omega)\) converges a.e. to u and if \(u_{n}\) remains bounded in \(L_{M}(\Omega)\), then \(u\in L_{M}(\Omega)\) and \(u_{n}\rightharpoonup u\) for \(\sigma(L_{M}, E_{\bar{M}})\).
Lemma 2.5
(see [22])
Let \(u_{k}, u\in L_{M}(\Omega)\). If \(u_{k}\rightarrow u\) with respect to the modular convergence, then \(u_{k}\rightarrow u\) for \(\sigma(L_{M}, L_{\bar{M}})\).
For N-function M, \(\mathcal{T}_{0}^{1,M}(\Omega)\) is defined as the set of measurable functions \(u:\Omega\rightarrow\mathbb{R}\) such that for all \(k>0\) the truncated functions \(T_{k}(u)\in W_{0}^{1}L_{M}(\Omega)\) with \(T_{k}(s)=\max(-k,\min(k,s))\).
The following lemmas will be applied to the truncation operators.
Lemma 2.6
Let \(F:\mathbb{R}\rightarrow\mathbb{R}\) be uniformly Lipschitzian with \(F(0) = 0\). Let M be an N-function, and let \(u\in W^{1}L_{M}(\Omega)\) (resp. \(W^{1}E_{M}(\Omega)\)). Then \(F(u)\in W^{1}L_{M}(\Omega)\) (resp. \(W^{1}E_{M}(\Omega)\)). Moreover, we have \(\frac{\partial}{\partial x_{i}}F(u)=F^{\prime}(u)\frac{\partial }{\partial x_{i}}u\), a.e. in \(\{x\in\Omega|u(x)\notin D\}\), and \(\frac {\partial}{\partial x_{i}}F(u)=0\), a.e. in \(\{x\in\Omega|u(x)\in D\}\), where D is the set of discontinuity points of \(F^{\prime}\).
Lemma 2.7
(see [29])
If \(u\in W^{1}L_{M}(\Omega)\), then \(u^{+},u^{-}\in W^{1}L_{M}(\Omega)\) and
Lemma 2.8
(see [2])
For every \(u\in\mathcal {T}_{0}^{1,M}(\Omega)\), there exists a unique measurable function \(v:\Omega\rightarrow\mathbb{R}\) such that \(DT_{k}(u)=v\chi_{\{|u|< k\}}\) almost everywhere in Ω for every \(k>0\). Define the gradient of u as the function v, and denote it by \(v=Du\).
3 Existence theorem
Let \(\Omega\subset\mathbb{R}^{N}\) be a bounded domain with the segment property, \(N\geq2\), M be an N-function, M̄ be a complementary function of M. Assume that M is twice continuously differentiable. Denote by \(\mathcal{P}_{M}\) the following subset of N-functions defined as:
where \(H(r)=M(r)/r\). Assume that there exists \(Q\in\mathcal{P}_{M}\) such that
Let μ be a bounded nonnegative Radon measure on Ω. We consider the following Dirichlet problem:
where \(A:D(A)\subset W_{0}^{1}L_{M}(\Omega)\to W^{-1}L_{\bar{M}}(\Omega)\) is a mapping given by \(A(u)=-\mathop{\operatorname{div}} a(x,u,D u)\). \(a:\Omega\times\mathbb{R}\times\mathbb{R}^{N}\to\mathbb{R}^{N}\) is a Carathéodory function satisfying for a.e. \(x\in\Omega\) and all \(s\in\mathbb{R}\), \(\xi,\eta\in\mathbb{R}^{N}\) with \(\xi\neq\eta\):
where \(\alpha,\beta>0\), \(k_{1},k_{2}\geq0\), \(c(x)\in E_{\bar{M}}(\Omega)\).
\(g:\Omega\times\mathbb{R}\times\mathbb{R}^{N}\to\mathbb{R}\) is a Carathéodory function satisfying for a.e. \(x\in\Omega\) and all \(s\in\mathbb{R}\), \(\xi\in\mathbb{R}^{N}\):
where \(\rho:\mathbb{R}\rightarrow\mathbb{R}^{+}\) is a continuous positive function which belongs to \(L^{1}(\mathbb{R})\) and \(\gamma(x)\) belongs to \(L^{1}(\Omega)\). For example, \(g(x,u,D u)=\gamma(x)+|\sin u|e^{-u}M(|D u|)\) (see [2]).
We have the following theorem.
Theorem 3.1
Assume that (8)-(14) hold. Then there exists at least one solution of the following problem:
Remark 3.1
It is well known that there exists a sequence \(\mu_{n}\in\mathcal {D}(\Omega)\) such that \(\mu_{n}\) converges to μ in the distributional sense with \(\|\mu_{n}\|_{L^{1}(\Omega)}\leq\|\mu\|_{\mathcal{M}_{b}(\Omega)}\) and \(\mu_{n}\) is nonnegative if μ is nonnegative.
Remark 3.2
(1) Benkirane and Bennouna [30, Remark 2.2] give some examples of N-functions M for which the set \(\mathcal{P}_{M}\) is not empty. For example, assume that the N-function M is defined only at infinity, and let \(M(t)=t^{2}\log t\) and \(B(t)=t\log t\), then \(H(t)=t \log t\) and \(H^{-1}(t)=t(\log t)^{-1}\) at infinity (see, e.g., [30] or [20]). Hence, the N-function B belongs to \(\mathcal{P}_{M}\).
(2) Let \(M(t)=|t|^{p}\) and \(B(t)=|t|^{q}\), then \(B\in\mathcal{P}_{M}\Leftrightarrow1< q<\tilde{p}=\frac{N(p-1)}{N-1}\) and \(p>2-\frac{1}{N}\). So that we find the same result given in [1]. Our theorem gives a refinement of the regularity result. For example, take \(B_{1}(t)=\frac{t^{\tilde{p}}}{\log^{\alpha}(e+t)}\) with \(\alpha>1\).
We have the following proposition.
Proposition 3.1
Assume that (8)-(14) hold. Then, for any \(n\in \mathbb{N}\), there exists at least one solution \(u_{n}\in W_{0}^{1}E_{M}(\Omega)\) of the following approximate equation:
where \(g_{n}(x,s,\xi)=\frac{g(x,s,\xi)}{1+\frac{1}{n}|g(x,s,\xi)|}\).
Proof
Denote \(V=W_{0}^{1}E_{M}(\Omega)\). Define \(A_{n}:V\rightarrow V^{\ast}\),
Then \(A_{n}\) is well defined. Indeed, from (11) we have
Therefore, \(a(x,u,Du)\in(L_{\bar{M}}(\Omega))^{N}\). On the other hand, for every fixed n, \(\int_{\Omega}\bar{M}(|g_{n}(x,u, Du)|)\,dx\leq\bar{M}(n) \operatorname{meas}(\Omega)<\infty\). Thus \(g_{n}(x,u, Du)\in L_{\bar{M}}(\Omega)\).
There exists a sequence \(\{w_{j}\}_{n=1}^{\infty}\subset\mathcal{D}(\Omega)\) such that \(\{w_{j}\}_{n=1}^{\infty}\) dense in V. Let \(V_{m}=\operatorname{span}\{w_{1},\ldots, w_{m}\}\) and consider \(A_{n}|_{V_{m}}\). \(\int_{\Omega}|Du|\,dx\) and \(\|Du\|_{(M)}\) to be two norms of \(V_{m}\) equivalent to the usual norm of finite dimensional vector spaces.
Claim: the mapping \(u\rightarrow A_{n}|_{V_{m}}u:V_{m}\rightarrow V_{m}^{*}\) is continuous. Indeed, if \(u_{j}\rightarrow u\) in \(V_{m}\) and there exists \(\varepsilon_{0}>0\) such that
and since \(u_{j}\rightarrow u\) strongly in \(V_{m}\),
then there exists a subsequence of \(\{u_{j}\}\) still denoted by \(\{u_{j}\}\) and \(f_{1}, f_{2}\in L^{1}(\Omega)\) such that \(M(2|u_{j}-u|)\leq f_{1}\) and \(M(2|Du_{j}-Du|)\leq f_{2}\). By the convexity of M, we deduce that
Similarly,
For \(\forall w\in V_{m}\), by (11), (18), (19) and Young inequality, one has
Hence \((A_{n}|_{V_{m}}u_{j},w)<\infty\) for all \(w\in V_{m}\). By the Banach-Steinhaus theorem \(\{\|A_{n}|_{V_{m}}u_{j}\|_{V_{m}^{\ast}}\}_{j}\) is bounded. Hence \(\{A_{n}|_{V_{m}}u_{j}\}_{j}\) is relatively sequently compact in \(V_{m}^{\ast}\). Passing to a subsequence if necessary, there exists \(\eta_{n}\in V_{m}^{\ast}\) such that
On the other hand, passing to a subsequence if necessary,
By the Lebesgue theorem, we know that for each \(w\in V_{m}\),
Hence \(A_{n}|_{V_{m}}u=\eta_{n}\), it is a contradiction with (17).
Thanks to (13) and Lemma 2.1, for all \(u\in V_{m}\),
where \(\alpha_{0}=\min\{\frac{\alpha}{2},1\}\). By Lemma 2.1, one has \(\|u\|_{(M)}\leq \operatorname{diam}\Omega\|Du\| _{(M)}\). It follows that \(\|u\|_{\Omega, M}\leq(1+\operatorname{diam}\Omega)\| Du\|_{(M)}\). We have
since \(\int_{\Omega}M(u)\,dx>\|u\|_{(M)}\) whenever \(\|u\|_{(M)}>1\). Combining (21) and (22), one has
By Remark 2.1, \(A_{n}\) is surjective, i.e., there exists a Galerkin solution \(u_{m}\in V_{m}\) for every m such that
We will show that the sequence \(\{u_{m}\}\) is bounded in V.
In fact, for every \(u_{m}\in V\), if \(\|u_{m}\|_{\Omega, M}\rightarrow \infty\), then by (23), \((A_{n}u_{m},u_{m})\rightarrow\infty\). It is a contradiction with (24). Therefore \(\{u_{m}\}\) is bounded in V.
It follows from (20) that we can deduce \(\{\| A_{n}|_{V_{m}}u_{m}\|_{V^{*}}\}_{m}\) is bounded. So we can extract a subsequence \(\{u_{k}\}_{k=1}^{\infty}\) of \(\{ u_{m}\}_{m=1}^{\infty}\) such that
as \(k\rightarrow\infty\) and \((\xi_{n},w)=(\mu_{n},w)\) for all \(w\in\bigcup _{m=1}^{\infty}\{w_{m}\}\). By the density of \(\{w_{m}\}\), we get
By the imbedding theorem (see, e.g., [31]) we have
Hence, passing to a subsequence if necessary
On the other hand, thanks to (26), we have
as \(k\rightarrow\infty\). Thus we obtain that
Fix a positive real number r and define \(\Omega_{r}=\{x\in\Omega :|Du_{0}(x)|\leq r\}\) and denote by \(\chi_{r}\) the characteristic function of \(\Omega_{r}\).
Taking \(s\geq r\), one has
On the other hand,
Therefore
In view of (28) the first term of the right-hand side of (29) tends to 0 as \(k\rightarrow\infty\).
\(\{a(x,u_{k},Du_{k})\}_{k}\) is bounded in \((L_{\bar{M}}(\Omega))^{N}\). Indeed, for every \(w\in(E_{M}(\Omega))^{N}\),
By the Banach-Steinhaus theorem, \(\{\|a(x,u_{k},Du_{k})\|_{\bar{M}}\} _{k}\) is bounded.
Thus, there exists \(h\in(L_{\bar{M}}(\Omega))^{N}\) such that (for a subsequence still denoted by \(\{u_{k}\}\))
It follows that the second term of the right-hand side of (29) tends to \(\int_{\Omega\backslash\Omega_{s}}hDu_{0}\,dx\) as \(k\rightarrow\infty\).
Since \(a(x,u_{k},Du_{0}\chi_{s})\rightharpoonup a(x,u_{0},Du_{0}\chi_{s})\) strongly in \((E_{\bar{M}}(\Omega))^{N}\), while by (25) \(Du_{k}-Du_{0}\chi_{s}\rightharpoonup Du_{0}-Du_{0}\chi_{s}\) tends weakly in \((E_{M}(\Omega))^{N}\) for \(\sigma((L_{M}(\Omega))^{N},(E_{\bar {M}}(\Omega))^{N})\), the third term of the right-hand side of (29) tends to \(-\int_{\Omega}a(x,u_{0},Du_{0}\chi_{s})(Du_{0}-Du_{0}\chi_{s})\,dx =-\int_{\Omega\backslash\Omega_{s}}a(x,u_{0},0)Du_{0}\,dx\).
Therefore,
We have then proved that
Using the fact that \([h-a(x,u_{0},0)]Du_{0}\in L^{1}(\Omega)\) and letting \(s\rightarrow\infty\), we get, since \(\operatorname{meas}(\Omega\backslash \Omega_{s})\rightarrow0\),
which gives
(for a subsequence still denoted by \(\{u_{k}\}\)), say, for each \(x\in \Omega_{r}\backslash Z\) with \(\operatorname{meas}(Z)=0\). As the proof of Eq. (3.23) in [32], we can construct a subsequence such that
Consequently, we get
and
By Lemma 2.4, we get
and
Then
for every \(w\in V\). Thus, we get \((A_{n}u_{k},w)\rightarrow(A_{n}u_{0},w)\) for every \(w\in V\). It follows that \(A_{n}u_{0}=\xi_{n}\). Therefore,
Furthermore, by Lemmas 2.2 and 2.5, we have
Hence, for every n, there exists at least one solution \(u_{n}\) of (16) with \(u_{n}\in W_{0}^{1}E_{M}(\Omega)\). □
Remark 3.3
From Proposition 3.1, we have the following approximate equations:
where \(u_{n}\in W_{0}^{1}E_{M}(\Omega)\).
Remark 3.4
Clearly, condition (11) is weaker than
whenever \(P\ll M\). If condition (11) is replaced by (33) in Proposition 3.1, the approximate equations (16) has at least one solution \(u_{n}\in W_{0}^{1}L_{M}(\Omega)\) by the classical result of [33].
The proof of the following proposition is similar to the proof of Lemma 2.2 in [34].
Proposition 3.2
Assume that (8)-(14) hold true, and let \(\{u_{n}\} _{n}\) be a solution of the approximate problem (16). Let \(\varphi\in W_{0}^{1}L_{M}(\Omega)\cap L^{\infty}(\Omega)\) with \(\varphi\geq0\). Then
-
(1)
\(\exp(G(T_{k}(u_{n})))\varphi\) can be taken as a test function in (32) and
$$\begin{aligned} &\int_{\Omega}a(x,u_{n},Du_{n}) \exp \bigl(G(u_{n}) \bigr)D\varphi \,dx \\ &\quad\leq\int_{\Omega}\mu_{n}\exp \bigl(G(u_{n}) \bigr)\varphi \,dx +\int_{\Omega} \gamma(x) \exp \bigl(G(u_{n}) \bigr)\varphi \,dx; \end{aligned}$$(34) -
(2)
\(\exp(-G(T_{k}(u_{n})))\varphi\) can be taken as a test function in (32) and
$$\begin{aligned} &\int_{\Omega}a(x,u_{n},Du_{n}) \exp \bigl(-G(u_{n}) \bigr)D\varphi \,dx +\int_{\Omega} \gamma(x)\exp \bigl(-G(u_{n}) \bigr)\varphi \,dx \\ &\quad\geq\int_{\Omega}\mu_{n}\exp \bigl(-G(u_{n}) \bigr)\varphi \,dx. \end{aligned}$$(35)
Proof
(1) Choosing \(\exp(G(T_{k}(u_{n})))\varphi\) as a test function in (32), we have
which implies by (13)
Since \(T_{k}(u_{n})\rightarrow u_{n}\) and \(DT_{k}(u_{n})\rightarrow Du_{n}\) a.e. in Ω as \(k\rightarrow\infty\), by the Fatou lemma, we get
On the other hand, the functions \(a(x,u_{n},Du_{n})D\varphi\), \(g_{n}(x,u_{n},Du_{n})\varphi\), and \(\mu_{n}\varphi\) are summable, and the functions \(\exp(G(T_{k}(u_{n})))\) are bounded in \(L^{\infty}(\Omega )\); so Lebesgue’s dominated convergence theorem may be applied in the remaining integrals. Indeed, thanks to (11) and Young inequality, one has
Since \(a(x,u_{n},Du_{n})\exp(G(T_{k}(u_{n})))D\varphi\rightarrow a(x,u_{n},Du_{n})\exp(G(u_{n}))D\varphi\) a.e. in Ω as \(k\rightarrow\infty\), and by Lebesgue’s dominated convergence theorem, we deduce that
as \(k\rightarrow\infty\). Since \(g_{n}(x,u_{n},Du_{n})\exp(G(T_{k}(u_{n})))\varphi\rightarrow g_{n}(x,u_{n},Du_{n})\exp(G(u_{n}))\varphi\) a.e. in Ω as \(k\rightarrow\infty\), and
by Lebesgue’s dominated convergence theorem one has
as \(k\rightarrow\infty\). Since \(\mu_{n}\exp(G(T_{k}(u_{n})))\varphi \rightarrow\mu_{n}\exp(G(u_{n}))\varphi\) a.e. in Ω as \(k\rightarrow\infty\), and
we have
as \(k\rightarrow\infty\).
Thus, letting k tend to ∞ in (36), we obtain
By (14), (37) is reduced to (34).
(2) Similarly, taking \(\exp(-G(T_{k}(u_{n})))\varphi\) as a test function in (32), we obtain (35). □
Proposition 3.3
Assume that (8)-(14) hold true, and let \(\{u_{n}\} _{n}\) be a solution of the approximate problem (16). Then, for all \(k>0\), there exists a constant C (which does not depend on the n and k) such that
Proof
Let \(\varphi=T_{k}(u_{n})^{+}\) in (34). Also let \(G(\pm\infty )=\frac{1}{\alpha}\int_{0}^{\pm\infty}\rho(s)\,ds\) which are well defined since \(\rho\in L^{1}(\mathbb{R})\), then \(G(-\infty)\leq G(s)\leq G(+\infty)\) and \(|G(\pm\infty)|\leq\|\rho\|_{L^{1}(\mathbb{R})}/\alpha\). We have
Immediately, by (13) we get
Similarly, let \(\varphi=T_{k}(u_{n})^{-}\) in (35). We obtain
Combing (39) and (40), we deduce (38). □
Proposition 3.4
Assume that (8)-(14) hold true, and let \(\{u_{n}\} _{n}\) be a solution of the approximate problem (16). Then there exists a measurable function u such that for all \(k>0\) we have (for a subsequence still denoted by \(\{u_{n}\}_{n}\)),
-
(1)
\(u_{n}\rightarrow u\) a.e. in Ω;
-
(2)
\(T_{k}(u_{n})\rightharpoonup T_{k}(u)\) weakly in \(W_{0}^{1}E_{M}(\Omega)\) for \(\sigma(\Pi L_{M}, \Pi E_{\bar{M}})\);
-
(3)
\(T_{k}(u_{n})\rightarrow T_{k}(u)\) strongly in \(E_{M}(\Omega )\) and a.e. in Ω.
Proof
Since
and \(\{|u_{n}|>k\}\subset\{|T_{k}(u_{n})|=k\}\), we get
for all n and for all k. Similar to the proof of Proposition 4.3 in [2], assertions (1)-(3) hold. □
Proposition 3.5
Assume that (8)-(14) hold true, and let \(\{u_{n}\} _{n}\) be a solution of the approximate problem (16). Then, for all \(k>0\),
-
(1)
\(\{a(x,T_{k}(u_{n}), DT_{k}(u_{n}))\}_{n}\) is bounded in \(L_{\bar{M}}(\Omega)^{N}\);
-
(2)
\(Du_{n}\rightarrow Du\) a.e. in Ω (for a subsequence) as \(n\rightarrow\infty\).
Proof
(1) Let \(w\in(E_{M}(\Omega))^{N}\) be arbitrary. By condition (11) and Young inequality, we have
where \(C(k)\) is a constant independent of n.
By the Banach-Steinhaus theorem \(\{\|a(x,T_{k}(u_{n}), DT_{k}(u_{n}))\| _{\bar{M}}\}_{n}\) is bounded; this completes the proof of assertion (1).
(2) Let \(\Omega_{s}=\{x\in\Omega||DT_{k}(u_{n})|< s\}\) and denote by \(\chi_{s}\) the characteristic function of \(\Omega_{s}\). Clearly, \(\Omega _{s}\subset\Omega_{s+1}\) and \(\operatorname{meas}(\Omega\backslash\Omega _{s})\rightarrow0\) as \(s\rightarrow\infty\).
Step (i). We shall show the following assertion:
Indeed, the term in (35) with \(\mu_{n}\) can be neglected since it is nonnegative. Hence
Taking \(\varphi=T_{1}(u_{n}-T_{j}(u_{n}))^{-}\) in (42), we obtain
Since \(|\gamma(x)\exp(-G(u_{n}))T_{1}(u_{n}-T_{j}(u_{n}))^{-}| \leq e^{\frac{\|\rho\|_{L^{1}(\mathbb{R})}}{\alpha}}|\gamma(x)|\), we deduce
by Lebesgue’s dominate convergence theorem, which implies (41).
Step (ii). Taking \(\varphi =(T_{k}(u_{n})-T_{k}(v_{i}))^{-}[1-|T_{1}(u_{n}-T_{j}(u_{n}))|]\) and \(\varphi =(T_{k}(v_{i})-T_{k}(u_{n}))^{-}[1-|T_{1}(u_{n}-T_{j}(u_{n}))|]\) in (42) with \(j>k\), as in [2], we can deduce that, by passing to a subsequence if necessary,
and
□
Proof of Theorem 3.1
(1) We are going to show that as \(n\rightarrow\infty\),
Indeed, taking \(v=\exp(-G(T_{k}(u_{n})))\int_{T_{k}(u_{n})}^{0}\rho (s)\chi_{\{s<-h\}}\,ds\) as a test function in (32), we have
Using (13) and by Fatou’s lemma and Lebesgue’s theorem, we can deduce that
which implies that
Since \(\rho\geq0\), we get
Hence we have
Consequently, one has
Letting \(h\rightarrow+\infty\), one has
Therefore,
Taking \(v=\exp(G(T_{k}(u_{n})))\int_{0}^{T_{k}(u_{n})}\rho(s)\chi_{\{ s>h\}}\,ds\) as a test function in (32), similarly we obtain that
Hence,
Following the proof of step 1 in Theorem 3.1 of [2], we can deduce (45).
(2) We will prove that \(a(x,u_{n},D u_{n})\rightharpoonup a(x,u,Du)\) weakly for \(\sigma(\Pi L_{Q\circ H^{-1}}, \Pi E_{\overline{Q\circ H^{-1}}})\).
By (44), we have
By \(Q\in\mathcal{P}_{M}\) and (8), one has \(Q^{\prime\prime}/Q^{\prime}\leq M^{\prime\prime}/M^{\prime}\). Then
Thus, there exists a constant C such that \(\ln|Q^{\prime}(t)|\leq\ln|M^{\prime}(t)|+C\). Therefore,
It implies that
Let \(s=H(r)\), then \(s=\frac{M\circ H^{-1}(s)}{H^{-1}(s)}\). By Young inequality we have
Hence
In view of (48) and (49), we get
Since \(\bar{M}^{-1}(M(|D u_{n}|))\leq2\frac{M(|D u_{n}|)}{|D u_{n}|}\), we have
Hence
and
For \(t>0\), by taking \(T_{h}(u_{n}-T_{t}(u_{n}))\) as a test function in (32), from (14) and (46), we can deduce that
where C is a constant independent of n, h, t, which gives
and by letting \(h\to0\),
Let now \(B\in\mathcal{P}_{M}\). Following the lines of [35], it is easy to deduce that
This implies that \(\{u_{n}\}\) is bounded in \(W_{0}^{1}L_{Q}(\Omega)\) and converges to u strongly in \(L_{Q}(\Omega)\). Consequently, using the convexity of \(Q\circ H^{-1}\) and by (50), we have
where C is independent of n. Thus we get
Thanks to (45) and (51) we can pass to the limit in (32) and we obtain that u is a solution of (15). □
Change history
10 July 2017
An erratum to this article has been published.
References
Porretta, A: Nonlinear equations with natural growth terms and measure data. Electron. J. Differ. Equ. Conf. 09, 183-202 (2002)
Aharouch, L, Benkirane, A, Rhoudaf, M: Existence results for some unilateral problems without sign condition with obstacle free in Orlicz spaces. Nonlinear Anal. 68, 2362-2380 (2008)
Youssfi, A, Benkirane, A, El Moumni, M: Bounded solutions of unilateral problems for strongly nonlinear equations in Orlicz spaces. Electron. J. Qual. Theory Differ. Equ. 2013, 21 (2013)
Breit, D, Stroffolini, B, Verde, A: A general regularity theorem for functionals with φ-growth. J. Math. Anal. Appl. 383, 226-233 (2011)
Diening, L, Stroffolini, B, Verde, A: Everywhere regularity of functionals with φ-growth. Manuscr. Math. 129, 449-481 (2009)
Fuchs, M: Local Lipschitz regularity of vector valued local minimizers of variational integrals with densities depending on the modulus of the gradient. Math. Nachr. 284, 266-272 (2011)
Marcellini, P, Papi, G: Nonlinear elliptic systems with general growth. J. Differ. Equ. 221, 412-443 (2006)
Aharouch, L, Rhoudaf, M: Existence of solutions for unilateral problems with \(l^{1}\) data in Orlicz spaces. Proyecciones 23, 293-317 (2004)
Breit, D, Diening, L, Fuchs, M: Solenoidal Lipschitz truncation and applications in fluid mechanics. J. Differ. Equ. 253, 1910-1942 (2012)
Dong, G: Elliptic equations with measure data in Orlicz spaces. Electron. J. Differ. Equ. 2008, 76 (2008)
Elmahi, A, Meskine, D: Existence of solutions for elliptic equations having natural growth terms in Orlicz spaces. Abstr. Appl. Anal. 12, 1031-1045 (2004)
Boccardo, L, Gallouet, T: Non-linear elliptic and parabolic equations involving measure as data. J. Funct. Anal. 87, 149-169 (1989)
Dong, G, Shi, Z: An existence theorem for weak solutions for a class of elliptic partial differential systems in Orlicz spaces. Nonlinear Anal. 68, 1037-1042 (2008)
Dong, G: An existence theorem for weak solutions for a class of elliptic partial differential systems in general Orlicz-Sobolev spaces. Nonlinear Anal. 69, 2049-2057 (2008)
Fang, X, Hou, E, Dong, G: Solutions to the system of operator equations \(a_{1}x=c_{1}\), \(xb_{2}=c_{2}\), and \(a_{3}xb_{3}=c_{3}\) on Hilbert \(C^{*}\)-modules. Abstr. Appl. Anal. (2013). doi:10.1155/2013/826564
Fang, X, Yu, J: Solutions to operator equations on Hilbert \(C^{*}\)-modules ii. Integral Equ. Oper. Theory 68, 23-60 (2010)
Fang, X, Yu, J, Yao, H: Solutions to operator equations on Hilbert \(C^{*}\)-modules. Linear Algebra Appl. 431, 2142-2153 (2009)
Vecchio, T: Nonlinear elliptic equations with measure data. Potential Anal. 4, 185-203 (1995)
Adams, R: Sobolev Spaces. Academic Press, New York (1975)
Krasnosel’skii, M, Rutickii, Y: Convex Functions and Orlicz Space. Noordhoff, Groningen (1961)
Gossez, J: Nonlinear elliptic boundary value problems for equations with rapidly (or slowly) increasing coefficients. Trans. Am. Math. Soc. 190, 163-205 (1974)
Gossez, J: Some approximation properties in Orlicz-Sobolev spaces. Stud. Math. 74, 17-24 (1982)
Aharouch, L, Bennouna, J: Existence and uniqueness of solutions of unilateral problems in Orlicz spaces. Nonlinear Anal. 72, 3553-3565 (2010)
Benkirane, A, Elmahi, A: An existence for a strongly nonlinear elliptic problem in Orlicz spaces. Nonlinear Anal. 36, 11-24 (1999)
Meskine, D: Parabolic equations with measure data in Orlicz spaces. J. Evol. Equ. 5, 529-543 (2005)
Lieberman, G: The natural generalization of the natural conditions of Ladyzhenskaya an Ural’tseva for elliptic equations. Commun. Partial Differ. Equ. 16, 311-361 (1991)
Landes, R: On Galerkin’s method in the existence theory of quasilinear elliptic equations. J. Funct. Anal. 39, 123-148 (1980)
Morrey, C: Multiple Integrals in the Calculus of Variations. Springer, York (1966)
Rodrigues, J, Teymurazyan, R: On the two obstacles problem in Orlicz-Sobolev spaces and applications. Complex Var. Elliptic Equ. 56, 769-787 (2011)
Benkirane, A, Bennouna, J: Existence and uniqueness of solution of unilateral problems with \(L^{1}\)-data in Orlicz spaces. Ital. J. Pure Appl. Math. 16, 87-102 (2004)
García-Huidobro, M, Le, V, Manásevich, R, Schmitt, K: On principal eigenvalues for quasilinear elliptic differential operators: an Orlicz-Sobolev space setting. Nonlinear Differ. Equ. Appl. 6, 207-225 (1999)
Benkirane, A, Emahi, A: Almost everywhere convergence of the gradients of solutions to elliptic equations in Orlicz spaces and application. Nonlinear Anal. 28, 1769-1784 (1997)
Gossez, J, Mustonen, V: Variational inequalities in Orlicz-Sobolev spaces. Nonlinear Anal. 11, 379-392 (1987)
Boccardo, L, Segura, S, Trombeti, C: Bounded and unbounded solutions for a class of quasi-linear elliptic problems with a quadratic gradient term. J. Math. Pures Appl. 80, 919-940 (2001)
Talenti, G: Nonlinear elliptic equations, rearrangements of functions and Orlicz spaces. Ann. Mat. Pura Appl. (4) 120, 159-184 (1979)
Acknowledgements
The authors are highly grateful for the referees’ careful reading and comments on this paper. The first author was supported by ’Chen Guang’ Project (supported by Shanghai Municipal Education Commission and Shanghai Education Development Foundation) (10CGB25), and Shanghai Universities for Outstanding Young Teachers’ Scientific Research Selection and Training Special Fund (sjq08011). The second author was supported by the National Natural Science Foundation of China (11371279).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
The original version of this article was revised: In the publication of this article (1), there was an error in the References. The error in reference 3: ‘Youssfi, A, Benkirane, A, Moumni, A: Bounded solutions of unilateral problems for strongly nonlinear equations in Orlicz spaces. Electron. J. Qual. Theory Differ. Equ. 2013, 21 (2013)’ Should instead read: ‘Youssfi, A, Benkirane, A, El Moumni, M: A: Bounded solutions of unilateral problems for strongly nonlinear equations in Orlicz spaces. Electron. J. Qual. Theory Differ. Equ. 2013, 21 (2013)’.
An erratum to this article is available at https://doi.org/10.1186/s13661-017-0839-0.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Dong, G., Fang, X. Existence results for some nonlinear elliptic equations with measure data in Orlicz-Sobolev spaces. Bound Value Probl 2015, 18 (2015). https://doi.org/10.1186/s13661-014-0278-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0278-0