Abstract
In this paper, we consider a Dirichlet problem driven by an anisotropic (p, q)-differential operator and a parametric reaction having the competing effects of a singular term and of a superlinear perturbation. We prove a bifurcation-type theorem describing the changes in the set of positive solutions as the parameter moves. Moreover, we prove the existence of a minimal positive solution and determine the monotonicity and continuity properties of the minimal solution map.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subseteq {\mathbb {R}}^N\) be a bounded domain with a \(C^2\)-boundary \(\partial \Omega \). In this paper, we deal with the following parametric anisotropic singular (p, q)-equation
Given \(r \in C({\overline{\Omega }})\) we define
and introduce the set
For \(r \in E_1\) the anisotropic r-Laplace differential operator is defined by
This operator is nonhomogeneous on account of the variable exponent \(r(\cdot )\). If \(r(\cdot )\) is a constant function, then we have the usual r-Laplace differential operator. In problem (\(\hbox {P}_\lambda \)) we have the sum of two such anisotropic differential operators with distinct exponents. So, even in the case of constant exponents, the differential operator in (\(\hbox {P}_\lambda \)) is not homogeneous. This makes the study of problem (\(\hbox {P}_\lambda \)) more difficult. Boundary value problems driven by a combination of differential operators of different nature, such as (p, q)-equations, arise in many mathematical models of physical processes. We mention the works of Benci–D’Avenia–Fortunato–Pisani [3], where (p, 2)-equations were used as a model for elementary particles in order to produce soliton-type solutions. We also mention the works of Cherfils-Il\('\) yasov [5], where the authors studied the steady state solutions of reaction–diffusion systems and of Zhikov [31, 32] who studied the problems related to nonlinear elasticity theory.
In the reaction of (\(\hbox {P}_\lambda \)) we have the competing effects of a singular term \(s \rightarrow s^{-\eta (x)}\) and of a Carathéodory function \(f:\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\), that is, \(x\rightarrow f(x,s)\) is measurable for all \(s\in {\mathbb {R}}\) and \(s\rightarrow f(x,s)\) is continuous for a. a. \(x\in \Omega \). We assume that \(f(x,\cdot )\) exhibits \((p_+-1)\)-superlinear growth uniformly for a. a. \(x\in \Omega \) as \(s\rightarrow +\infty \) but need not satisfy the Ambrosetti–Rabinowitz condition (the AR-condition for short) which is common in the literature when dealing with superlinear problems. The sum of the two terms is multiplied with a parameter \(\lambda >0\).
Applying a combination of variational tools from the critical point theory along with truncation and comparison techniques, we prove a bifurcation-type theorem describing the changes in the set of positive solutions as the parameter \(\lambda \) moves on the open positive semiaxis \(\overset{\circ }{{\mathbb {R}}}_+=(0,+\infty )\). We also show that for every admissible parameter \(\lambda >0\), problem (\(\hbox {P}_\lambda \)) has a smallest positive solution \({\tilde{u}}_\lambda \) and we determine the monotonicity and continuity properties of the minimal solution map \(\lambda \mapsto {\tilde{u}}_\lambda \).
Boundary value problems driven by the anisotropic p-Laplacian have been studied extensively in the last decade. We refer to the books of Diening–Harjulehto–Hästö–R\(\mathring{\text {u}}\)žička [6] and Rădulescu–Repovš [24] and the references therein. In contrast, the study of singular anisotropic equations is lagging behind. There are very few works on this subject. We mention two such papers which are close to our problem (\(\hbox {P}_\lambda \)). These are the works of Byun–Ko [4] and Saoudi–Ghanmi [26] who examine equations driven by the anisotropic p-Laplacian and the parameter multiplies only the singular term. Moreover, the overall conditions on the data of the problem are more restrictive, see hypothesis (\(p_M\)) in [4] and hypotheses (H1)–(H4) in [26]. We also mention the isotropic works of the authors [21, 22] on singular equations driven by the (p, q)-Laplacian and the p-Laplacian, respectively. Finally, related works to the topic can be found in the papers of Ambrosio [1], Ambrosio–Rădulescu [2], Liu–Motreanu–Zeng [15], Papageorgiou–Zhang [23], Ragusa–Tachikawa [25], Zeng–Bai–Gasiński–Winkert [28, 29] and the references therein.
2 Preliminaries and Hypotheses
In this section, we recall some basic facts about Lebesgue and Sobolev spaces with variable exponents. We refer to the book of Diening–Harjulehto–Hästö–R\(\mathring{\text {u}}\)žička [6] for details.
Let \(M(\Omega )\) be the space of all measurable functions \(u:\Omega \rightarrow {\mathbb {R}}\). We identify two such functions when they differ only on a Lebesgue-null set. Given \(r \in E_1\), the anisotropic Lebesgue space \(L^{r(\cdot )}(\Omega )\) is defined by
This space is equipped with the Luxemburg norm defined by
The modular function related to these spaces is defined by
It is clear that \(\Vert \cdot \Vert _{r(\cdot )}\) is the Minkowski functional of the set \(\{u \in L^{r(\cdot )}(\Omega )\,:\,\varrho _{r(\cdot )}(u)\le 1 \}\). The following proposition states the relation between \(\Vert \cdot \Vert _{r(\cdot )}\) and the modular \(\varrho _{r(\cdot )}:L^{r(\cdot )}(\Omega )\rightarrow {\mathbb {R}}\).
Proposition 2.1
Let \(r\in E_1\), let \(u \in L^{r(\cdot )}(\Omega )\) and let \(\{u_n\}_{n\in {\mathbb {N}}}\subseteq L^{r(\cdot )}(\Omega )\). The following assertions hold:
-
(a)
\(\Vert u\Vert _{r(\cdot )}=\mu \quad \Longleftrightarrow \quad \varrho _{r(\cdot )}\left( \frac{u}{\mu }\right) =1\);
-
(b)
\(\Vert u\Vert _{r(\cdot )}<1\) (resp. \(=1\), \(>1\)) \(\quad \Longleftrightarrow \quad \varrho _{r(\cdot )}(u)<1\) (resp. \(=1\), \(>1\));
-
(c)
\(\Vert u\Vert _{r(\cdot )}\le 1\) \(\quad \Longrightarrow \quad \) \(\Vert u\Vert _{r(\cdot )}^{r_+} \le \varrho _{r(\cdot )}(u) \le \Vert u\Vert _{r(\cdot )}^{r_-}\);
-
(d)
\(\Vert u\Vert _{r(\cdot )}\ge 1\) \(\quad \Longrightarrow \quad \) \(\Vert u\Vert _{r(\cdot )}^{r_-} \le \varrho _{r(\cdot )}(u) \le \Vert u\Vert _{r(\cdot )}^{r_+}\);
-
(e)
\(\Vert u_n\Vert _{r(\cdot )} \rightarrow 0\) (resp. \(\rightarrow \infty \)) \(\quad \Longleftrightarrow \quad \varrho _{r(\cdot )}(u_n)\rightarrow 0\) (resp. \(\rightarrow \infty \));
-
(f)
\(\Vert u_n-u\Vert _{r(\cdot )}\rightarrow 0 \quad \Longleftrightarrow \quad \varrho _{r(\cdot )}(u_n-u)\rightarrow 0\).
We know that \((L^{r(\cdot )}(\Omega ),\Vert \cdot \Vert _{r(\cdot )})\) is a separable and reflexive Banach space. Further we denote by \(r'(x)=\frac{r(x)}{r(x)-1}\) the conjugate variable exponent to \(r\in E_1\), that is,
It is clear that \(r'\in E_1\). We know that \(L^{r(\cdot )}(\Omega )^*=L^{r'(\cdot )}(\Omega )\) and the following version of Hölder’s inequality holds
for all \(u\in L^{r(\cdot )}(\Omega )\) and for all \(v \in L^{r'(\cdot )}(\Omega )\).
Moreover, if \(r_1, r_2\in E_1\) and \(r_1(x) \le r_2(x)\) for all \(x\in {\overline{\Omega }}\), then we have the continuous embedding
The corresponding variable exponent Sobolev spaces can be defined in a natural way using the variable exponent Lebesgue spaces. So, given \(r \in E_1\), we define
with \(\nabla u\) being the gradient of \(u:\Omega \rightarrow {\mathbb {R}}\). This space is equipped with the norm
with \(\Vert \nabla u\Vert _{r(\cdot )}=\Vert \,|\nabla u|\,\Vert _{r(\cdot )}\).
Let \(r \in E_1\) be Lipschitz continuous, that is, \(r_1 \in E_1 \cap C^{0,1}({\overline{\Omega }})\). We define
The spaces \(W^{1,r(\cdot )}(\Omega )\) and \(W^{1,r(\cdot )}_0(\Omega )\) are both separable and reflexive Banach spaces. On the space \(W^{1,r(\cdot )}_0(\Omega )\) we have the Poincaré inequality, namely there exists \({\hat{c}}>0\) such that
Let \(r \in E_1\cap C^{0,1}({\overline{\Omega }})\) and set
which is the critical variable Sobolev exponent corresponding to r. Let \(q\in C({\overline{\Omega }})\) be such that \(1 \le q_- \le q(x)\le r^*(x)\) (resp. \(1\le q_-\le q(x)<r^*(x)\)) for all \(x \in {\overline{\Omega }}\). If \(X=W^{1,r(\cdot )}(\Omega )\) or \(X=W^{1,r(\cdot )}_0(\Omega )\), then we have
This is the anisotropic Sobolev embedding theorem.
For \(r\in E_1\cap C^{0,1}({\overline{\Omega }})\), we have
Let \(A_{r(\cdot )}:W^{1,r(\cdot )}_0(\Omega )\rightarrow W^{-1,r'(\cdot )}(\Omega )\) be the nonlinear operator defined by
This map has the following properties, see, for example, Gasiński–Papageorgiou [9, Proposition 2.5] and Rădulescu–Repovš [24, p. 40].
Proposition 2.2
The operator \(A_{r(\cdot )}:W^{1,r(\cdot )}_0(\Omega )\rightarrow W^{-1,r'(\cdot )}(\Omega )\) is bounded (so it maps bounded sets to bounded sets), continuous, strictly monotone (which implies it is also maximal monotone) and of type \(({{\,\mathrm{S}\,}})_+\), that is,
imply \(u_n\rightarrow u\) in \(W^{1,r(\cdot )}_0(\Omega )\).
The anisotropic singular regularity theory, see Saoudi–Ghanmi [26, Appendix 2], leads to another Banach space, namely the space
This is an ordered Banach space with positive (order) cone
This cone has a nonempty interior given by
where \(\frac{\partial u}{\partial n}=\nabla u \cdot n\) with n being the outward unit normal on \(\partial \Omega \).
Our hypotheses on the exponents \(p(\cdot )\), \(q(\cdot )\) and \(\eta (\cdot )\) are the following ones:
- H\(_0\)::
-
\(p,q \in E_1\cap C^{0,1}({\overline{\Omega }})\), \(\eta \in C({\overline{\Omega }})\), \(1<q_-\le q_+<p_-\le p_+\) and \(0<\eta (x)<1\) for all \(x\in {\overline{\Omega }}\).
Using these conditions on the exponents and following the arguments in the papers of Papageorgiou–Rădulescu–Repovš [16, Proposition 2.4], [18, Proposition 6] we can have two strong comparison principles.
For the first, we will need the following ordering notion on \(M(\Omega )\).
So, given \(y_1,y_2:\Omega \rightarrow {\mathbb {R}}\) two measurable functions, we write \(y_1 \preceq y_2\) if for every compact set \(K\subseteq \Omega \), we have \(0<c_K\le y_2(x)- y_1(x)\) for a. a. \(x\in K\). Note that if \(y_1,y_2\in C(\Omega )\) and \(y_1(x)< y_2(x)\) for all \(x\in \Omega \), then \(y_1 \preceq y_2\). The first strong comparison principle is the following one, see Papageorgiou–Rădulescu–Repovš [16, Proposition 2.4].
Proposition 2.3
If hypothesis H\(_0\) holds, \({\hat{\xi }} \in L^{\infty }(\Omega )\), \({\hat{\xi }}(x) \ge 0\) for a. a. \(x\in \Omega \), \(y_1, y_2\in L^{\infty }(\Omega )\), \(y_1\preceq y_2\), \(u\in W^{1,p(\cdot )}(\Omega )\), \(u(x)\ge 0\) for a. a. \(x\in \Omega \), \(u\ne 0\), \(v\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) and
then \(v-u \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \).
In the second strong comparison principle, we strengthen the order condition on \(y_1\) and \(y_2\) but drop the boundary requirements on u and v, see Papageorgiou–Rădulescu–Repovš [18, Proposition 6].
Proposition 2.4
If hypothesis H\(_0\) holds, \({\hat{\xi }} \in L^{\infty }(\Omega )\), \({\hat{\xi }} \ge 0\) for a. a. \(x\in \Omega \), \(y_1, y_2\in L^{\infty }(\Omega )\), \(0<c_0\le y_2(x)-y_1(x)\) for a. a. \(x\in \Omega \), \(u,v\in C^{1,\alpha }({\overline{\Omega }})\), \(0<u(x) \le v(x)\) for all \(x\in \Omega \) and
then \(u(x)<v(x)\) for all \(x\in \Omega \).
Given \(u\in M(\Omega )\), we define \(u^{\pm }=\max \{\pm u,0\}\) being the positive and negative parts of u, respectively. We know that \(u=u^+-u^-\), \(|u|=u^++u^-\) and if \(u\in W^{1,p(\cdot )}_0(\Omega )\), then \(u^{\pm }\in W^{1,p(\cdot )}_{0}(\Omega )\).
If \(u,v\in M(\Omega )\) and \(u(x)\le v(x)\) for a. a. \(x\in \Omega \), then we define
Moreover, we denote by the interior of \([u,v]\cap C^1_0({\overline{\Omega }})\) in \(C^1_0({\overline{\Omega }})\).
In what follows, for notational simplicity, we denote by \(\Vert \cdot \Vert \) the norm of the anisotropic Sobolev space \(W^{1,p(\cdot )}_{0}(\Omega )\). On account of Poincaré’s inequality we have
Given a Banach space X and a functional \(\varphi \in C^1(X)\), we define
being the critical set of \(\varphi \). We say that \(\varphi \) satisfies the “Cerami condition”, C-condition for short, if every sequence \(\{u_n\}_{n\in {\mathbb {N}}}\subseteq X\) such that \(\{\varphi (u_n)\}_{n\in {\mathbb {N}}}\subseteq {\mathbb {R}}\) is bounded and
admits a strongly convergent subsequence. This is a compactness-type condition on the functional \(\varphi \) which compensates for the fact that the ambient space X is not locally compact in general, since it could be infinite dimensional. Using this condition, we can prove a deformation theorem which leads to the minimax theorems of the critical point theory, see, for example, Papageorgiou–Rădulescu–Repovš [17, Section 5.4].
Now we are ready to state our hypotheses on the nonlinearity \(f:\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\).
- H\(_1\)::
-
\(f:\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a Carathéodory function such that \(f(x,0)=0\) for a. a. \(x\in \Omega \) and
-
(i)
there exists \(a \in L^{\infty }(\Omega )\) such that
$$\begin{aligned} 0\le f(x,s) \le a(x) \left[ 1+s^{r(x)-1}\right] \end{aligned}$$for a. a. \(x\in \Omega \), for all \(s\ge 0\) with \(r \in C({\overline{\Omega }})\) such that \(p_+<r_-\le r(x)<p^*(x)\) for all \(x \in {\overline{\Omega }}\);
-
(ii)
if \(F(x,s)=\displaystyle \int _0^s f(x,t)\mathop {}\!\mathrm {d}t\), then
$$\begin{aligned} \lim _{s\rightarrow +\infty } \frac{F(x,s)}{s^{p_+}}=+\infty \quad \text {uniformly for a. a.}\,x\in \Omega ; \end{aligned}$$ -
(iii)
there exists a function \(\mu \in C({\overline{\Omega }})\) such that
$$\begin{aligned} \mu (x) \in \left( \left( r_+-p_-\right) \max \left\{ \frac{N}{p_-},1\right\} , p^*(x) \right) \quad \text { for all }x\in {\overline{\Omega }}\end{aligned}$$and
$$\begin{aligned} 0<{\hat{\eta }}_0 \le \liminf _{s\rightarrow +\infty } \frac{f(x,s)s-p_+F(x,s)}{s^{\mu (x)}} \end{aligned}$$uniformly for a. a. \(x\in \Omega \);
-
(iv)
$$\begin{aligned} 0 < {\hat{\eta }}_1 \le \liminf _{s\rightarrow 0^+}\frac{f(x,s)}{s^{q_+-1}}\quad \text {uniformly for a. a.}\,x\in \Omega \end{aligned}$$
and for every \(\ell >0\) there exists \(m_\ell >0\) such that \(m_\ell \le f(x,s)\) for a. a. \(x\in \Omega \) and for all \(s \ge \ell \);
-
(v)
for every \(\rho >0\) there exists \({\hat{\xi }}_\rho >0\) such that the function
$$\begin{aligned} s\rightarrow f(x,s)+{\hat{\xi }}_\rho s^{p(x)-1} \end{aligned}$$is nondecreasing on \([0,\rho ]\) for a. a. \(x\in \Omega \).
Remark 2.5
Without any loss of generality we can assume that \(f(x,s)= 0\) for a. a. \(x\in \Omega \) and for all \(s \le 0\) since we are interested in positive solutions of (\(\hbox {P}_\lambda \)). Hypotheses H\(_1\)(ii), (iii) imply that \(f(x,\cdot )\) is \((p_+-1)\)-superlinear for a. a. \(x\in \Omega \). In most papers in the literature, superlinear problems are treated by using the AR-condition which in the present context has the following form:
- (AR)\(_+\)::
-
There exist \(\theta >p_+\) and \(M>0\) such that
$$\begin{aligned} 0&<\theta F(x,s) \le f(x,s)s\quad \text {for a. a. }x\in \Omega \text { and for all }s\ge M, \end{aligned}$$(2.1)$$\begin{aligned} 0&<{{\,\mathrm{ess \,inf}\,}}_{x\in \Omega }F(x,M). \end{aligned}$$(2.2)
This is a unilateral version of the AR-condition since we assume that \(f(x,s)=0\) for a. a. \(x\in \Omega \) and for all \(s\le 0\). Integrating (2.1) and using (2.2) gives
for a. a. \(x\in \Omega \), for all \(s\ge M\) and for some \(c_1>0\). Hence,
for a. a. \(x\in \Omega \) and for all \(s\ge M\), see (2.1). Therefore, the (AR)\(_+\)-condition dictates that \(f(x,\cdot )\) has at least \((\theta -1)\)-polynomial growth as \(s\rightarrow +\infty \). By this way we exclude superlinear nonlinearities with “slower” growth near \(+\infty \) from our considerations. The following example fulfils H\(_1\), but fails to satisfy the (AR)\(_+\)-condition:
with \(\tau \in C({\overline{\Omega }})\), \(\tau _+\le q_+\) and \(\theta \in C({\overline{\Omega }})\) such that \(\theta _+\le p_+\).
Hypothesis H\(_1\)(iv) implies that \(f(x,\cdot )\) is strictly \((q_+-1)\)-sublinear.
When studying singular problems of isotropic and anisotropic type, the presence of the singular term leads to an energy function which is not \(C^1\) and so we cannot apply directly the minimax theorems of the critical point theory on it. We need to find a way to bypass the singularity and deal with \(C^1\)-functionals. To this end, we examine a purely singular problem in the next section. The unique solution of this problem will be helpful in our effort to bypass the singularity of our original problem (\(\hbox {P}_\lambda \)).
3 An Auxiliary Purely Singular Problem
In this section, we study the following purely singular anisotropic Dirichlet problem
We have the main result in this section.
Proposition 3.1
If hypothesis H\(_0\) holds, then problem (\(\hbox {Au}_\lambda \)) has a unique positive solution \({\overline{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Moreover, the mapping \(\lambda \mapsto {\overline{u}}_\lambda \) is nondecreasing, that is, if \(0<\lambda '<\lambda \), then we have \({\overline{u}}_{\lambda '}\le {\overline{u}}_\lambda \).
Proof
For the existence and uniqueness part of the proof we assume for simplicity that \(\lambda =1\).
To this end, let \(g \in L^{p(\cdot )}(\Omega )\) and let \(\varepsilon \in (0,1]\). We consider the following Dirichlet problem
Let \(V:W^{1,p(\cdot )}_0(\Omega )\rightarrow W^{1,p(\cdot )}_0(\Omega )^*=W^{-1,p'(\cdot )}(\Omega )\) be the nonlinear operator defined by
This operator is bounded, continuous, strictly monotone and so maximal monotone, see Proposition 2.2. It is clear that it is also coercive, see Proposition 2.1. From Corollary 2.8.7 of Papageorgiou–Rădulescu–Repovš [17, p. 135] we know that \(V:W^{1,p(\cdot )}_0(\Omega )\rightarrow W^{-1,p'(\cdot )}(\Omega )\) is surjective. Since \([|g(\cdot )|+\varepsilon ]^{-\eta (\cdot )}\in L^{\infty }(\Omega )\) we can find \({\hat{v}}_\varepsilon \in W^{1,p(\cdot )}_0(\Omega )\) such that
From the strict monotonicity of V we know that \({\hat{v}}_\varepsilon \) is the unique solution of (3.1). Moreover, by acting with \(-{\hat{v}}_\varepsilon ^-\in W^{1,p(\cdot )}_{0}(\Omega )\) we obtain \({\hat{v}}_\varepsilon \ge 0\) and \({\hat{v}}_\varepsilon \not \equiv 0\). Thus, we have
Theorem 4.1 of Fan–Zhao [7] implies that \({\hat{v}}_\varepsilon \in L^{\infty }(\Omega )\). Invoking Corollary 1.1 of Tan–Fang [27] (see also Lemma 3.3 of Fukagai–Narukawa [8]) we have that \({\hat{v}}_\varepsilon \in C^1_0(\Omega )_+\setminus \{0\}\). Finally, the anisotropic maximum principle of Zhang [30, Theorem 1.2] says that \({\hat{v}}_\varepsilon \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \).
Now we can define the solution map \(K_\varepsilon :L^{p(\cdot )}(\Omega )\rightarrow L^{p(\cdot )}(\Omega )\) given by
We have
for all \(h \in W^{1,p(\cdot )}_{0}(\Omega )\). Choosing \(h={\hat{v}}_\varepsilon =K_\varepsilon (g)\in W^{1,p(\cdot )}_{0}(\Omega )\) in (3.2) gives
Assume that \(\left\| {\hat{v}}_\varepsilon \right\| \ge 1\), then, by Proposition 2.1, one gets
and so,
It follows that \(K_\varepsilon :L^{p(\cdot )}(\Omega )\rightarrow L^{p(\cdot )}(\Omega )\) maps \(L^{p(\cdot )}(\Omega )\) onto a bounded subset of \(W^{1,p(\cdot )}_{0}(\Omega )\).
Claim 1: \(K_\varepsilon :L^{p(\cdot )}(\Omega )\rightarrow L^{p(\cdot )}(\Omega )\) is continuous.
Let \(g_n\rightarrow g\) in \(L^{p(\cdot )}(\Omega )\) and let \({\hat{v}}_n=K_\varepsilon (g_n)\) with \(n\in {\mathbb {N}}\). From (3.3) we know that
We may assume that
We have
for all \(h\in W^{1,p(\cdot )}_0(\Omega )\) and for all \(n\in {\mathbb {N}}\). We choose \(h= {\hat{v}}_n-{\hat{v}} \in W^{1,p(\cdot )}_0(\Omega )\) in (3.5), pass to the limit as \(n\rightarrow \infty \) and use (3.4) and the fact that
This yields
Due to the monotonicity of \(A_{q(\cdot )}(\cdot )\) we obtain
From this and (3.4) we then conclude that
By the \(({{\,\mathrm{S}\,}})_+\)-property of \(A_{p(\cdot )}\), see Proposition 2.2, we have that
Passing to the limit in (3.5) as \(n\rightarrow \infty \) and using (3.6) gives
for all \(h\in W^{1,p(\cdot )}_0(\Omega )\). Thus, \({\hat{v}} =K_\varepsilon (g)\). Therefore, by the Urysohn criterion for the convergence of sequences, we conclude that for the original sequence we have
Hence, \(K_\varepsilon \) is continuous and this proves Claim 1.
Recall that \(K_\varepsilon (L^{p(\cdot )}(\Omega ))\subseteq W^{1,p(\cdot )}_{0}(\Omega )\) is bounded, see (3.3). On the other hand, we have the compact embedding \(W^{1,p(\cdot )}_{0}(\Omega )\hookrightarrow L^{p(\cdot )}(\Omega )\). This implies
Claim 1 and (3.7) permit the use of the Schauder–Tychonoff fixed point theorem, see Papageorgiou–Rădulescu–Repovš [17, Theorem 4.3.21]. So, we can find \({\overline{u}}_\varepsilon \in W^{1,p(\cdot )}_{0}(\Omega )\) such that
Hence
In fact, this solution is unique. Indeed, suppose that \({\overline{y}}_\varepsilon \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is another positive solution of (3.8). Then we have that
We obtain \({\overline{u}}_\varepsilon \le {\overline{y}}_\varepsilon \).
Interchanging the roles of \({\overline{u}}_\varepsilon \) and \({\overline{y}}_\varepsilon \) in the argument above also gives \({\overline{y}}_\varepsilon \le {\overline{v}}_\varepsilon \). Hence, \({\overline{u}}_\varepsilon ={\overline{y}}_\varepsilon \). This proves the uniqueness of the solution \({\overline{u}}_\varepsilon \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) of problem (3.8).
Claim 2: If \(0<\varepsilon '\le \varepsilon \), then \({\overline{u}}_\varepsilon \le {\overline{u}}_{\varepsilon '}\).
First note that \({\overline{u}}_\varepsilon , {\overline{u}}_{\varepsilon '}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Since \(\varepsilon '\le \varepsilon \) we have
Next we introduce the Carathéodory function \(l_\varepsilon :\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\) defined by
Let \(L_\varepsilon (x,s)=\int ^s_0 l_\varepsilon (x,t)\mathop {}\!\mathrm {d}t\) and consider the \(C^1\)-functional \(\psi _\varepsilon :W^{1,p(\cdot )}_0(\Omega )\rightarrow {\mathbb {R}}\) defined by
for all \(u \in W^{1,p(\cdot )}_0(\Omega )\). From the definition of the truncation in (3.10) we see that
for some \(c_1>0\). Hence, \(\psi _\varepsilon :W^{1,p(\cdot )}_0(\Omega )\rightarrow {\mathbb {R}}\) is coercive. Moreover, by the anisotropic Sobolev embedding theorem we know that \(\psi _\varepsilon :W^{1,p(\cdot )}_0(\Omega )\rightarrow {\mathbb {R}}\) is sequentially weakly lower semicontinuous. Then, by the Weierstraß–Tonelli theorem, we can find \({\tilde{u}}_\varepsilon \in W^{1,p(\cdot )}_0(\Omega )\) such that
Let \(u\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) be fixed. Since \({\overline{u}}_{\varepsilon '}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), we can take \(t \in (0,1)\) small enough such that \(tu \le {\overline{u}}_{\varepsilon '}\), see also Proposition 4.1.22 of Papageorgiou–Rădulescu–Repovš [17]. From (3.10) we see that we have \(\psi _\varepsilon (tu)<0\) and so \(\psi _\varepsilon \left( {\tilde{u}}_\varepsilon \right) <0=\psi _\varepsilon (0)\). Hence, \({\tilde{u}}_\varepsilon \ne 0\).
Taking (3.11) into account we have \(\psi '_\varepsilon \left( {\tilde{u}}_\varepsilon \right) =0\), that is,
for all \(h\in W^{1,p(\cdot )}_0(\Omega )\). First we test (3.12) with \(h=-\left( {\tilde{u}}_\varepsilon \right) ^-\in W^{1,p(\cdot )}_0(\Omega )\) in order to get
Proposition 2.1 then implies that
Next, we test (3.12) with \(h= \left( {\tilde{u}}_\varepsilon -{\overline{u}}_{\varepsilon '}\right) ^+ \in W^{1,p(\cdot )}_0(\Omega )\). This yields, by applying (3.10) and (3.9),
This implies \({\tilde{u}}_\varepsilon \le {\overline{u}}_{\varepsilon '}\) and so it holds
From (3.13), (3.10), (3.12) it follows that \({\tilde{u}}_\varepsilon \) is a positive solution of problem (3.8). Hence, \({\tilde{u}}_\varepsilon ={\overline{u}}_\varepsilon \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Then, with view to (3.13), we have
This proves Claim 2.
Now we will let \(\varepsilon \rightarrow 0^+\) to get a solution of the purely singular problem (\(\hbox {Au}_\lambda \)).
So, let \(\varepsilon _n\rightarrow 0^+\) and let \({\overline{u}}_n={\overline{u}}_{\varepsilon _n}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) be the unique solution of problem (3.8) with \(\varepsilon =\varepsilon _n\) for \(n \in {\mathbb {N}}\). From Claim 2 we have
It follows that
Since \({\overline{u}}_n \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is a solution of (3.8), we have
for all \(h \in W^{1,p(\cdot )}_0(\Omega )\) and for all \(n \in {\mathbb {N}}\). We choose \(h= {\overline{u}}_n\in W^{1,p(\cdot )}_0(\Omega )\) in (3.15) which by using (3.14) gives
From Lemma 14.16 of Gilbarg–Trudinger [11, p. 355] we know that there exists \(\delta _0>0\) such that \({\hat{d}}(\cdot )={\hat{d}}(\cdot ,\partial \Omega )\in C^2({\overline{\Omega }}_{\delta _0})\) with \({\overline{\Omega }}_{\delta _0} =\{x\in {\overline{\Omega }}\,:\, {\hat{d}}(x)<\delta _0\}\). Hence, \({\hat{d}}\in C^1_0({\overline{\Omega }}))_+\setminus \{0\}\) and so there exists \(c_2>0\) such that \(c_2{\hat{d}} \le {\overline{u}}_1\) since \({\overline{u}}_1 \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Then, from (3.14) and (3.16) we obtain
for some \(c_3>0\) and for all \(n\in {\mathbb {N}}\). This inequality follows from the anisotropic Hardy’s inequality due to Harjulehto–Hästö–Koskenoja [12] and the Poincaré inequality. Then (3.17) and Proposition 2.1 imply that \(\{{\overline{u}}_n\}_{n\in {\mathbb {N}}}\subseteq W^{1,p(\cdot )}_0(\Omega )\) is bounded.
From Lemma A.5 of Saoudi–Ghanmi [26] it follows that \(\{{\overline{u}}_n\}_{n\in {\mathbb {N}}}\subseteq L^{\infty }(\Omega )\) is bounded and so using Lemma 3.3 of Fukagai–Narukawa [8], we can find \(\alpha \in (0,1)\) and \(c_4>0\) such that
for all \(n \in {\mathbb {N}}\).
We know that \(C^{1,\alpha }_0({\overline{\Omega }})\hookrightarrow C^1_0({\overline{\Omega }})\) is compactly embedded. So, from (3.18) and by passing to a subsequence if necessary, we may assume that
Hence, \({\overline{u}}_\lambda \ge {\overline{u}}_1\) and so \({\overline{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \).
From the anisotropic Hardy’s inequality, see Harjulehto–Hästö–Koskenoja [12], we know that
From (3.14) we then see that
for all \(h\in W^{1,p(\cdot )}_{0}(\Omega )\). Moreover, we have
So, from Vitali’s theorem, see Papageorgiou–Winkert [20, Theorem 2.3.44], we obtain
for all \(h \in W^{1,p(\cdot )}_{0}(\Omega )\). Therefore, if we pass to the limit as \(n\rightarrow \infty \) in (3.15) and use (3.19) as well as (3.20), one gets
This shows that \({\overline{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is a positive solution of (\(\hbox {Au}_\lambda \)) for \(\lambda >0\).
As before, exploiting the strict monotonicity of \(s\rightarrow s^{-\eta (x)}\) on \(\overset{\circ }{{\mathbb {R}}}_+=(0,+\infty )\), we show that this solution \({\overline{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is unique.
An argument similar to that of Claim 2 shows that \(0<\lambda '<\lambda \) implies \({\overline{u}}_{\lambda '}\le {\overline{u}}_\lambda \). This finishes the proof of the proposition. \(\square \)
4 Positive Solutions
We introduce the following two sets
First we show that the set \({\mathcal {L}}\) of admissible parameters is nonempty and we determine the regularity properties of the elements of \({\mathcal {S}}_\lambda \) for \(\lambda \in {\mathcal {L}}\).
Let \({\overline{u}}_1 \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) be the unique positive solution of (\(\hbox {Au}_\lambda \)) with \(\lambda =1\), see Proposition 3.1. From the proof of the Lemma of Lazer–McKenna [14, p. 274] we know that \({\overline{u}}_1(\cdot )^{-\eta (\cdot )}\in L^{1}(\Omega )\). We consider the following anisotropic Dirichlet problem
Proposition 4.1
If hypothesis H\(_0\) holds, then problem (Au)’ has a unique positive solution \({\tilde{u}}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) such that \({\overline{u}}_1 \le {\tilde{u}}\).
Proof
In order to establish the existence of a positive solution, we argue as in the first part of the proof of Proposition 3.1. So, we consider the approximation
This problem has a unique solution \({\tilde{u}}_n\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Testing the equation with \({\tilde{u}}_n\) we obtain
As before, by using the anisotropic Hardy’s inequality, we conclude that
Therefore, \(\{{\tilde{u}}_n\}_{n\in {\mathbb {N}}}\subseteq W^{1,p(\cdot )}_{0}(\Omega )\) is bounded.
As in the proof of Proposition 3.1 we have that \(\{{\tilde{u}}_n\}_{n\in {\mathbb {N}}}\subseteq C^1_0({\overline{\Omega }})\) is relatively compact and so we may assume that
Moreover, if \({\underline{u}}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is the unique positive solution of
then by the weak comparison principle, we have \({\underline{u}}\le {\tilde{u}}_n\) for all \(n\in {\mathbb {N}}\). Hence, \({\underline{u}}\le {\tilde{u}}\) and so \({\tilde{u}} \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Furthermore, using (4.1) as \(n\rightarrow \infty \) in the corresponding equation for \({\tilde{u}}_n\), we obtain
for all \(h\in W^{1,p(\cdot )}_{0}(\Omega )\). Thus, \({\tilde{u}}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is a positive solution of (Au)’.
On account of Proposition 2.2 this positive solution is unique. Moreover we have
This shows that \({\overline{u}}_1 \le {\tilde{u}}\). \(\square \)
We are going to apply \({\overline{u}}_\lambda , {\tilde{u}}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) in order to show the nonemptiness of \({\mathcal {L}}\).
Proposition 4.2
If hypotheses H\(_0\) and H\(_1\) hold, then \({\mathcal {L}}\ne \emptyset \) and \({\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) for every \(\lambda \in {\mathcal {L}}\).
Proof
Let \(\lambda \in (0,1]\). Taking Propositions 3.1 and 4.1 into account, we define the Carathéodory function \({\hat{g}}_\lambda :\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\) by
We consider the following Dirichlet problem
By using the direct method of the calculus of variations, we will produce a solution for problem (4.3) when \(\lambda \in (0,1]\) is small enough. So, let \({\hat{G}}_\lambda (x,s)=\int ^s_0{\hat{g}}_\lambda (x,t)\mathop {}\!\mathrm {d}t\) and consider the \(C^1\)-functional \({\hat{\varphi }}_\lambda :W^{1,p(\cdot )}_{0}(\Omega )\rightarrow {\mathbb {R}}\) defined by
for all \(u\in W^{1,p(\cdot )}_{0}(\Omega )\). From the definition of the truncation in (4.2) it is easy to see that
for some \(c_5>0\). Hence, \({\hat{\varphi }}_\lambda :W^{1,p(\cdot )}_{0}(\Omega )\rightarrow {\mathbb {R}}\) is coercive. Further \({\hat{\varphi }}_\lambda :W^{1,p(\cdot )}_{0}(\Omega )\rightarrow {\mathbb {R}}\) is sequentially weakly lower semicontinuous. Hence, there exists \(u_\lambda \in W^{1,p(\cdot )}_{0}(\Omega )\) such that
Since \({\tilde{u}}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), on account of hypothesis H\(_1\)(i) we can find \(\lambda \in (0,1]\) small enough such that
From (4.4) we have \({\hat{\varphi }}_\lambda '(u_\lambda )=0\), that is,
for all \(h\in W^{1,p(\cdot )}_{0}(\Omega )\). First, we take \(h=\left( {\overline{u}}_\lambda -u_\lambda \right) ^+\in W^{1,p(\cdot )}_{0}(\Omega )\) in (4.6). Then, applying (4.2), H\(_1\)(i) and Proposition 3.4, we obtain
On account of Proposition 2.2 we conclude that \({\overline{u}}_\lambda \le u_\lambda \). Next, we choose \(h=\left( u_\lambda -{\tilde{u}}\right) ^+\in W^{1,p(\cdot )}_{0}(\Omega )\) in (4.6). Then, using (4.2), (4.5) and Proposition 4.1, one has
As before, from Proposition 2.2 we see that \(u_\lambda \le {\tilde{u}}\).
In summary we have shown that \(u_\lambda \in [{\overline{u}}_\lambda ,{\tilde{u}}]\) for all \(\lambda \in (0,1]\) small enough. From (4.2) and (4.6) we see that \(u_\lambda \) is a solution of our original problem (\(\hbox {P}_\lambda \)), that is, \(u_\lambda \in {\mathcal {S}}_\lambda \). This proves the nonemptiness of \({\mathcal {L}}\).
Let us now prove the second assertion of the proposition. To this end, let \(u \in {\mathcal {S}}_\lambda \). Since \(f \ge 0\) by hypothesis H\(_1\)(i), we have that \({\overline{u}}_\lambda \le u\) and because \({\overline{u}}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), there exists \(c_6>0\) such that \(c_6{\hat{d}} \le u\), see Papageorgiou–Rădulescu–Repovš [17, p. 274]. This fact, hypothesis H\(_1\)(i) and Theorem B1 of Saoudi–Ghanmi [26] (see also Giacomoni–Schindler–Takáč [10]), we have that \(u\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Therefore, \({\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) for all \(\lambda \in {\mathcal {L}}\). \(\square \)
The next proposition shows that \({\mathcal {L}}\) is connected, that is, \({\mathcal {L}}\) is an interval.
Proposition 4.3
If hypotheses H\(_0\) and H\(_1\) hold, \(\lambda \in {\mathcal {L}}\) and \(\mu \in (0,\lambda )\), then \(\mu \in {\mathcal {L}}\).
Proof
Since \(\lambda \in {\mathcal {L}}\), there exists \(u \in {\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), see Proposition 4.2. Moreover, from Proposition 3.1 we know that
Based on (4.7) we introduce the Carathéodory function \(g_\mu :\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\) defined by
We set \(G_\mu (x,s)=\int ^s_0g_\mu (x,t)\mathop {}\!\mathrm {d}t\) and consider the \(C^1\)-functional \(\varphi _\mu :W^{1,p(\cdot )}_0(\Omega )\rightarrow {\mathbb {R}}\) defined by
for all \(u \in W^{1,p(\cdot )}_0(\Omega )\). It is clear that \(\varphi _\mu \) is coercive because of (4.8) and it is sequentially weakly lower semicontinuous. So, there exists \(u_\mu \in W^{1,p(\cdot )}_0(\Omega )\) such that
This implies, in particular, that \(\varphi '_\mu (u_\mu )=0\). Hence
for all \(h \in W^{1,p(\cdot )}_0(\Omega )\). We first choose \(h=\left( {\overline{u}}_\mu -u_\mu \right) ^+\in W^{1,p(\cdot )}_0(\Omega )\) in (4.9). Applying (4.8), hypothesis H\(_1\)(i) and Proposition 3.1 yields
Proposition 2.2 then implies that \({\overline{u}}_\lambda \le u_\mu \). Now we choose \(h=\left( u_\mu -u\right) ^+\in W^{1,p(\cdot )}_0(\Omega )\) in (4.9). Then, from (4.8), \(\mu <\lambda \) and \(u\in {\mathcal {S}}_\lambda \), we derive
Thus, \(u_\mu \le u\). Therefore we have proved that
From (4.10), (4.8) and (4.9) it follows that
and so \(\mu \in {\mathcal {L}}\). \(\square \)
An immediate consequence of the proof above is the following corollary.
Corollary 4.4
If hypotheses H\(_0\) and H\(_1\) hold and if \(\lambda \in {\mathcal {L}}, u \in {\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) and \(0<\mu <\lambda \), then \(\mu \in {\mathcal {L}}\) and there exists \(u_\mu \in {\mathcal {S}}_\mu \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) such that \(u_\mu \le u\).
We can improve the conclusion of this corollary.
Proposition 4.5
If hypotheses H\(_0\) and H\(_1\) hold and \(\lambda \in {\mathcal {L}}, u \in {\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) and \(0<\mu <\lambda \), then \(\mu \in {\mathcal {L}}\) and there exists \(u_\mu \in {\mathcal {S}}_\mu \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) such that
Proof
From Corollary 4.4 we already know that \(\mu \in {\mathcal {L}}\) and that we can find \(u_\mu \in {\mathcal {S}}_\mu \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) such that
Now, let \(\rho =\Vert u\Vert _\infty \) and let \({\hat{\xi }}_\rho >0\) be as given in hypothesis H\(_1\)(v). Since \(\mu <\lambda \), \(u_\mu \in {\mathcal {S}}_\mu \) and due to (4.11), hypothesis H\(_1\)(v) and \(f \ge 0\), we have
Since \(u_\mu \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), using hypothesis H\(_1\)(iv), we see that
Then, from (4.12) and Proposition 2.3, we conclude that
\(\square \)
Remark 4.6
In the same way as in the proof of Proposition 4.5, we can also show that
Let \(\lambda ^*=\sup {\mathcal {L}}\). The next proposition shows that \(\lambda ^*\) is finite.
Proposition 4.7
If hypotheses H\(_0\) and H\(_1\) hold, then \(\lambda ^*<+\infty \).
Proof
From Hypotheses H\(_1\)(i)–(iv) we see that there exists \({\hat{\lambda }}>0\) large enough such that
Let \(\lambda >{\hat{\lambda }}\) and suppose that \(\lambda \in {\mathcal {L}}\). Then we can find \(u\in {\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). Let \(\Omega _0\subseteq \Omega \) be an open subset with \(C^2\)-boundary such that \({\overline{\Omega }}_0\subseteq \Omega \) and u is not constant on \({\overline{\Omega }}_0\). We define \(m_0=\min _{x\in {\overline{\Omega }}_0}u(x)\). Since \(u \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) it is clear that \(m_0>0\). For \(\delta \in (0,\Vert u\Vert _\infty -m_0)\) we set \(m_0^\delta =m_0+\delta \). Further, for \(\rho =\Vert u\Vert _\infty \) let \({\hat{\xi }}_\rho >0\) be as given by hypothesis H\(_1\)(v). First, for \(\delta \) small enough, we observe that
for all \(x \in {\overline{\Omega }}\). Then, applying (4.15), (4.14), hypotheses H\(_1\)(iv), (v), \(u\in {\mathcal {S}}_\lambda \) and \(\delta >0\) small enough, we have
For \(\delta >0\) small enough, because of hypothesis H\(_1\)(iv), we know that
Then, from (4.16) and Proposition 2.4, we infer that
This is a contradiction to the definition of \(m_0>0\). Therefore, \(\lambda \not \in {\mathcal {L}}\) and so \(\lambda ^*\le {\hat{\lambda }}<\infty \). \(\square \)
We have just proved that \((0,\lambda ^*)\subseteq {\mathcal {L}}\subseteq (0,\lambda ^*]\). Next we show that our original problem (\(\hbox {P}_\lambda \)) has at least two positive smooth solution for \(\lambda \in (0,\lambda ^*)\).
Proposition 4.8
If hypotheses H\(_0\) and H\(_1\) hold and if \(\lambda \in (0,\lambda ^*)\), then problem (\(\hbox {P}_\lambda \)) has at least two positive solutions
Proof
Let \(\vartheta \in (\lambda ,\lambda ^*)\subseteq {\mathcal {L}}\) and let \(u_\vartheta \in {\mathcal {S}}_\vartheta \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \). From Proposition 4.5 and (4.13) we know there exists \(u_0 \in {\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) such that
We introduce the Carathéodory function \(k_\lambda :\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\) defined by
We set \(K_\lambda (x,s)=\int ^s_0 k_\lambda (x,t)\mathop {}\!\mathrm {d}t\) and consider the \(C^1\)-functional \(\sigma _{\lambda }:W^{1,p(\cdot )}_0(\Omega )\rightarrow {\mathbb {R}}\) defined by
for all \(u \in W^{1,p(\cdot )}_0(\Omega )\).
Using (4.18) we can easily show that
Hence we may assume that
otherwise we already have a second positive smooth solution of (\(\hbox {P}_\lambda \)) and so we are done, see (4.19) and (4.18).
We truncate \(k_\lambda (x,\cdot )\) at \(u_\vartheta (x)\). This is done by the Carathéodory function \({\hat{k}}_\lambda :\Omega \times {\mathbb {R}}\rightarrow {\mathbb {R}}\) defined by
We set \({\hat{K}}_\lambda (x,s)=\int ^s_0 {\hat{k}}_\lambda (x,t)\mathop {}\!\mathrm {d}t\) and consider the \(C^1\)-functional \({\hat{\sigma }}_\lambda :W^{1,p(\cdot )}_0(\Omega )\rightarrow {\mathbb {R}}\) defined by
for all \(u \in W^{1,p(\cdot )}_0(\Omega )\).
Looking at (4.18) and (4.21) we see that
Further, from (4.21) it is clear that
From the definition of the truncations in (4.18) and (4.21) we know that \({\hat{\sigma }}_\lambda \) is coercive and it is also sequentially weakly lower semicontinuous. Thus, we can find \({\tilde{u}}_0\in W^{1,p(\cdot )}_0(\Omega )\) such that
Taking (4.23), (4.22), (4.20) into account we conclude that \({\tilde{u}}_0=u_0\). Then, on account of (4.17) and (4.22), \(u_0 \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is a local \(C^1_0({\overline{\Omega }})\)-minimizer of \(\sigma _\lambda \). The results of Tan–Fang [27] imply that
From (4.19) it is clear that we may assume that \(K_{\sigma _\lambda }\) is finite otherwise we would have a sequence of distinct positive solutions of (\(\hbox {P}_\lambda \)) and so we would have done. The finiteness of \(K_{\sigma _\lambda }\) along with (4.24) and Theorem 5.7.6 of Papageorgiou–Rădulescu–Repovš [17, p. 449] imply that we can find \({\hat{\rho }} \in (0,1)\) small enough such that
Reasoning as in the proof of Proposition 4.1 of Gasiński–Papageorgiou [9] we can show that
Moreover, if \(u \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), then on account of hypothesis H\(_1\)(ii) and (4.18), we have
Then, (4.25), (4.26) and (4.27) permit us the use of the mountain pass theorem. Hence, there exists \({\hat{u}}\in W^{1,p(\cdot )}_0(\Omega )\) such that
see (4.19), and
see (4.25). Taking (4.18) and (4.25) into account we conclude that \({\hat{u}} \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) is a solution of (\(\hbox {P}_\lambda \)) for \(\lambda \in \left( 0,\lambda ^*\right) \) with \({\hat{u}}\ne u_0\). \(\square \)
Next we will check the admissibility of the critical parameter \(\lambda ^*>0\).
Proposition 4.9
If hypotheses H\(_0\) and H\(_1\) hold, then \(\lambda ^* \in {\mathcal {L}}\), that is, \({\mathcal {L}}=(0,\lambda ^*]\).
Proof
Let \(\{\lambda _n\}_{n\in {\mathbb {N}}} \subseteq (0,\lambda ^*)\subseteq {\mathcal {L}}\) be such that \(\lambda _n\nearrow \lambda ^*\) as \(n \rightarrow \infty \). Let \({\overline{u}}_1={\overline{u}}_{\lambda _1}\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) be the unique solution of (\(\hbox {Au}_\lambda \)) for \(\lambda =\lambda _1\) obtained in Proposition 3.1. By hypothesis H\(_1\)(i) we know that \(f \ge 0\). Then from (4.18) we get that \(\sigma _{\lambda _1}({\overline{u}}_1)\le 0\). Hence,
since \(\lambda _1\le \lambda _n\) for all \(n \in {\mathbb {N}}\).
From the proof of Proposition 4.8 we know there exists \(u_n \in {\mathcal {S}}_{\lambda _n} \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \) such that \({\overline{u}}_1 \le u_n\) and
see (4.28). Since \(u_n \in {\mathcal {S}}_{\lambda _n}\) it holds
From (4.29), (4.30) and Proposition 4.1 of Gasiński–Papageorgiou [9] we can conclude that \(\{u_n\}_{n\in {\mathbb {N}}}\subseteq W^{1,p(\cdot )}_{0}(\Omega )\) is bounded. So, we may assume that
From (4.30) we have
for all \(h \in W^{1,p(\cdot )}_0(\Omega )\) and for all \(n \in {\mathbb {N}}\).
We take \(h=u_n-u_*\in W^{1,p(\cdot )}_{0}(\Omega )\) as test function (4.32). Applying (4.31) and hypothesis H\(_1\)(i) gives
Since \(A_{q(\cdot )}\) is monotone, see Proposition 2.2, we obtain
Then, by using (4.31), it follows
From this and Proposition 2.2 we conclude that
If we now pass to the limit in (4.32) as \(n\rightarrow \infty \), then, by applying (4.33), we see that \(u_* \in {\mathcal {S}}_{\lambda ^*}\) and so \(\lambda ^*\in {\mathcal {L}}\), that is, \({\mathcal {L}}=(0,\lambda ^*]\). \(\square \)
In summary, we can state the following bifurcation-type result concerning problem (\(\hbox {P}_\lambda \)).
Theorem 4.10
If hypotheses H\(_0\) and H\(_1\) hold, then there exists \(\lambda ^*>0\) such that
-
(a)
for every \(\lambda \in (0,\lambda ^*)\), problem (\(\hbox {P}_\lambda \)) has at least two positive solutions
$$\begin{aligned} u_0, {\hat{u}} \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) , \quad u_0\ne {\hat{u}}; \end{aligned}$$ -
(b)
for \(\lambda =\lambda ^*\), problem (\(\hbox {P}_\lambda \)) has at least one positive solution
$$\begin{aligned} u_*\in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) ; \end{aligned}$$ -
(c)
for every \(\lambda >\lambda ^*\), problem (\(\hbox {P}_\lambda \)) has no positive solutions.
5 Minimal Positive Solutions
In this section, we are going to show that for every admissible parameter \(\lambda \in {\mathcal {L}}=(0,\lambda ^*]\), problem (\(\hbox {P}_\lambda \)) has a smallest positive solution (so-called minimal positive solution) \({\tilde{u}}_\lambda \in {\mathcal {S}}_\lambda \subseteq {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \), that is, \({\tilde{u}}_\lambda \le u\) for all \(u \in {\mathcal {S}}_\lambda \). Moreover, we determine the monotonicity and continuity properties of the minimal solution map \({\mathcal {L}}\ni \lambda \mapsto {\tilde{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \).
Proposition 5.1
If hypotheses H\(_0\) and H\(_1\) hold and if \(\lambda \in {\mathcal {L}}\in (0,\lambda ^*]\), then problem (\(\hbox {P}_\lambda \)) has a smallest positive solution \({\tilde{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \).
Proof
As in the proof of Proposition 18 in Papageorgiou–Rădulescu–Repovš [19], we show that the set \({\mathcal {S}}_\lambda \) is downward directed, that is, if \(u,v\in {\mathcal {S}}_\lambda \), then there exists \(y\in {\mathcal {S}}_\lambda \) such that \(y\le u\) and \(y \le v\). Invoking Lemma 3.10 of Hu–Papageorgiou [13, p. 178], we can find a decreasing sequence \(\{u_n\}_{n\in {\mathbb {N}}}\subseteq {\mathcal {S}}_\lambda \) such that
From (5.1) it follows that the sequence \(\{u_n\}_{n\in {\mathbb {N}}}\subseteq W^{1,p(\cdot )}_{0}(\Omega )\) is bounded. So we may assume that
Since \(u_n\in {\mathcal {S}}_\lambda \), we have
for all \(h \in W^{1,p(\cdot )}_0(\Omega )\) and for all \(n \in {\mathbb {N}}\). Note that
see Lazer–McKenna [14].
We choose \(h=u_n-{\tilde{u}}_\lambda \in W^{1,p(\cdot )}_{0}(\Omega )\cap L^{\infty }(\Omega )\) in (5.3), pass to the limit as \(n\rightarrow \infty \) and apply (5.2). This yields
Then, from Proposition 2.2, it follows
Passing to the limit in (5.3) as \(n\rightarrow \infty \) and using (5.4), we obtain
\(\square \)
Proposition 5.2
If hypotheses H\(_0\) and H\(_1\) hold, then the map \(\lambda \mapsto {\tilde{u}}_\lambda \) from \({\mathcal {L}}=(0,\lambda ^*]\) into \(C^1_0({\overline{\Omega }})\) is
-
(a)
strictly increasing, that is, \(0<\lambda '<\lambda \) implies \({\tilde{u}}_\lambda -{\tilde{u}}_\lambda \in {{\,\mathrm{int}\,}}\left( C^1_0({\overline{\Omega }})_+\right) \);
-
(b)
left continuous.
Proof
-
(a)
This is an immediate consequence of Proposition 4.5.
-
(b)
Let \(\{\lambda _n\}_{n\in {\mathbb {N}}}\subseteq {\mathcal {L}}\) be a sequence such that \(\lambda _n\rightarrow \lambda ^-\). We have
$$\begin{aligned} {\overline{u}}_{\lambda _1} \le {\tilde{u}}_{\lambda _n} \le {\tilde{u}}_\lambda \quad \text {for all }n\in {\mathbb {N}}. \end{aligned}$$
Hence, \(\{{\tilde{u}}_{\lambda _n}\}_{n\in {\mathbb {N}}}\subseteq W^{1,p(\cdot )}_{0}(\Omega )\) is bounded.
Then, as before, see the proof of Proposition 3.1, via the anisotropic regularity theory, there exist \(\alpha \in (0,1)\) and \(c_7>0\) such that
Since \(C^{1,\alpha }_0({\overline{\Omega }})\) is compactly embedded into \(C^{1}_0({\overline{\Omega }})\), from (5.5) it follows that we have at least for a subsequence
Suppose that \({\hat{u}}_\lambda \ne {\tilde{u}}_\lambda \). Then there exists \(x\in \Omega \) such that \({\tilde{u}}_\lambda (x)<{\hat{u}}_\lambda (x)\). Then
see (5.6). But this contradicts (a). Hence, \({\hat{u}}_\lambda = {\tilde{u}}_\lambda \) and by Urysohn’s criterion for convergent sequences, we have \({\tilde{u}}_{\lambda _n}\rightarrow {\hat{u}}_\lambda \) in \(C^{1}_0({\overline{\Omega }})\) for the initial sequence. Therefore, \(\lambda \mapsto {\tilde{u}}_\lambda \) is left continuous from \({\mathcal {L}}=(0,\lambda ^*]\) into \(C^1_0({\overline{\Omega }})\). \(\square \)
References
Ambrosio, V.: Fractional \(p\)&\(q\) Laplacian problems in \({\mathbb{R}}^N\) with critical growth. Z. Anal. Anwend. 39(3), 289–314 (2020)
Ambrosio, V., Rădulescu, V.D.: Fractional double-phase patterns: concentration and multiplicity of solutions. J. Math. Pures Appl. (9) 142, 101–145 (2020)
Benci, V., D’Avenia, P., Fortunato, D., Pisani, L.: Solitons in several space dimensions: Derrick’s problem and infinitely many solutions. Arch. Ration. Mech. Anal. 154(4), 297–324 (2000)
Byun, S.-S., Ko, E.: Global \(C^{1,\alpha }\) regularity and existence of multiple solutions for singular \(p(x)\)-Laplacian equations. Calc. Var. Partial Differ. Equ. 56 (2017), no. 5, Paper No. 76
Cherfils, L., Il’ yasov, Y.: On the stationary solutions of generalized reaction diffusion equations with \(p\)&\(q\)-Laplacian. Commun. Pure Appl. Anal. 4(1), 9–22 (2005)
Diening, L., Harjulehto, P., Hästö, P., R\(\mathring{\text{u}}\)žička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Heidelberg (2011)
Fan, X., Zhao, D.: A class of De Giorgi type and Hölder continuity. Nonlinear Anal. 36(3), 295–318 (1999)
Fukagai, N., Narukawa, K.: On the existence of multiple positive solutions of quasilinear elliptic eigenvalue problems. Ann. Mat. Pura Appl. (4) 186(3), 539–564 (2007)
Gasiński, L., Papageorgiou, N.S.: Anisotropic nonlinear Neumann problems. Calc. Var. Partial Differ. Equ 42(3–4), 323–354 (2011)
Giacomoni, J., Schindler, I., Takáč, P.: Sobolev versus Hölder local minimizers and existence of multiple solutions for a singular quasilinear equation. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 6(1), 117–158 (2007)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (2001)
Harjulehto, P., Hästö, P., Koskenoja, M.: Hardy’s inequality in a variable exponent Sobolev space. Georgian Math. J. 12(3), 431–442 (2005)
Hu, S., Papageorgiou, N.S.: Handbook of Multivalued Analysis, vol. I. Kluwer Academic Publishers, Dordrecht (1997)
Lazer, A.C., McKenna, P.J.: On a singular nonlinear elliptic boundary-value problem. Proc. Am. Math. Soc. 111(3), 721–730 (1991)
Liu, Z., Motreanu, D., Zeng, S.: Positive solutions for nonlinear singular elliptic equations of \(p\)-Laplacian type with dependence on the gradient. Calc. Var. Partial Differ. Equ. 58 (2019), no. 1, Paper No. 28
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Anisotropic equations with indefinite potential and competing nonlinearities. Nonlinear Anal. 201 (2020), 111861
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Nonlinear Analysis—Theory and Methods. Springer, Cham (2019)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Nonlinear nonhomogeneous singular problems. Calc. Var. Partial Differ. Equ. 59 (2020), no. 1, Paper No. 9
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Positive solutions for perturbations of the Robin eigenvalue problem plus an indefinite potential. Discret. Contin. Dyn. Syst. 37(5), 2589–2618 (2017)
Papageorgiou, N.S., Winkert, P.: Applied Nonlinear Functional Analysis. An Introduction. De Gruyter, Berlin (2018)
Papageorgiou, N.S., Winkert, P.: \((p,q)\)-Equations with singular and concave convex nonlinearitie. Appl. Math. Optim. https://doi.org/10.1007/s00245-020-09720-0
Papageorgiou, N.S., Winkert, P.: Singular \(p\)-Laplacian equations with superlinear perturbation. J. Differ. Equ. 266(2–3), 1462–1487 (2019)
Papageorgiou, N.S., Zhang, Y.: Constant sign and nodal solutions for superlinear (\(p, q\))-equations with indefinite potential and a concave boundary term. Adv. Nonlinear Anal. 10(1), 76–101 (2021)
Rădulescu, V.D., Repovš, D.D.: Partial Differential Equations with Variable Exponents. CRC Press, Boca Raton, FL (2015)
Ragusa, M.A., Tachikawa, A.: Regularity for minimizers for functionals of double phase with variable exponents. Adv. Nonlinear Anal. 9(1), 710–728 (2020)
Saoudi, K., Ghanmi, A.: A multiplicity results for a singular equation involving the \(p(x)\)-Laplace operator. Complex Var. Elliptic Equ. 62(5), 695–725 (2017)
Tan, Z., Fang, F.: Orlicz-Sobolev versus Hölder local minimizer and multiplicity results for quasilinear elliptic equations. J. Math. Anal. Appl. 402(1), 348–370 (2013)
Zeng, S., Bai, Y., Gasiński, L., Winkert, P.: Convergence analysis for double phase obstacle problems with multivalued convection term. Adv. Nonlinear Anal. 10(1), 659–672 (2021)
Zeng, S., Bai, Y., Gasiński, L., Winkert, P.: Existence results for double phase implicit obstacle problems involving multivalued operators. Calc. Var. Partial Differ. Equ. 59 (2020), no. 5, Paper No. 176
Zhang, Q.: A strong maximum principle for differential equations with nonstandard \(p(x)\)-growth conditions. J. Math. Anal. Appl. 312(1), 24–32 (2005)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR Ser. Mat. 50(4), 675–710 (1986)
Zhikov, V.V.: On variational problems and nonlinear elliptic equations with nonstandard growth conditions. J. Math. Sci. (N. Y.) 173(5), 463–570 (2011)
Acknowledgements
The authors wish to thank the two anonymous referees for their constructive remarks.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Papageorgiou, N.S., Winkert, P. Positive Solutions for Singular Anisotropic (p, q)-Equations. J Geom Anal 31, 11849–11877 (2021). https://doi.org/10.1007/s12220-021-00703-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-021-00703-3
Keywords
- Anisotropic (p, q)-operator
- Comparison principles
- Maximum principle
- Minimal positive solution
- Singular term
- Regularity theory