Abstract
Under appropriate conditions on \(b(x)\) and \(g(u)\), we consider the singular Dirichlet problems \(-\Delta_{p} u=b(x)g(u)\), \(u>0\), \(x \in \Omega \), \(u\vert_{\partial \Omega }=0\). These problems are shown to admit weak solutions, and we analyze their exact asymptotic behavior near the boundary. As the main tools, we use Karamata regular variation theory and the method of upper and lower solutions.
Similar content being viewed by others
1 Introduction and the main results
The purpose of this paper is to investigate the existence and exact asymptotic behavior of the solution near the boundary to the following problems:
where \(\Delta_{p}u:= \operatorname {div}(\vert \nabla u\vert ^{p-2}\nabla u)\) stands for the p-Laplacian operator with \(p>1\), Ω is a bounded domain with smooth boundary in \(\mathbb {R}^{N}\) (\(N\geq2\)), b satisfies the condition
- \((\mathrm{b}_{1})\) :
-
\(b \in C^{\alpha }(\bar{\Omega })\) for some \(\alpha \in(0,1)\) and is positive in Ω,
and g satisfies the following conditions:
- \((\mathrm{g}_{1})\) :
-
\(g\in C^{1} ((0,\infty),(0,\infty) )\), \(\lim_{s\rightarrow0^{+}}g(s)=\infty\), and \(g'(s)\leq0\) for all \(s>0\);
- \((\mathrm{g}_{2})\) :
-
\(\int_{0}^{1} \frac{d\nu}{(g(\nu ))^{q/p}}<\infty\);
- \((\mathrm{g}_{3})\) :
-
there exists \(C_{g}>0\) such that \(\lim_{s\rightarrow0}\frac{q}{p g^{1-\frac{q}{p}}(s)}g'(s)\int_{0}^{s} g^{-q/p}(\nu)\,d\nu=-C_{g}\),
where q stands for the Hölder conjugate of p.
A solution of (1.1) is meant as a positive function \(u\in C^{1}(\Omega)\) with \(u(x)\rightarrow0\) as \(d(x):=\operatorname {dist}(x, \partial\Omega)\rightarrow0\) and
The class of problems (1.1) appears in many nonlinear phenomena, for instance, in the theory of quasi-regular and quasi-conformal mappings [1–3], in the generalized reaction-diffusion theory [4], in the turbulent flow of a gas in a porous medium, and in the non-Newtonian fluid theory [5].
The investigation of problem (1.1) has a long history. Early studies mainly focused on problems involving the classical Laplace operator Δ, that is,
For \(b\equiv1\) and \(g(u)=u^{-\gamma}\) with \(\gamma>1\), in 1977, Crandall, Rabinowitz, and Tartar [6] have derived that problem (1.2) has a unique solution \(u\in C^{2+\alpha}(\Omega) \cap C(\bar{\Omega})\). This paper is the starting point on semilinear problem with singular nonlinearity. Moreover, the following result was established: there exist positive constants \(c_{1}\) and \(c_{2}\) such that
Lazer and McKenna [7] showed that (1.3) continues to hold on Ω̄, and instead of \(b \equiv1\) on Ω, they assumed that \(0< b_{1}\leq b(x) (d(x) )^{\lambda}\leq b_{2}\) for all \(x\in\bar{\Omega}\), where \(b_{1}\), \(b_{2}\) are positive constants, and \(\lambda\in(0,2)\). Later, a lot of work has been done related to the existence and asymptotic behavior of the solutions to problem (1.2); we refer to [8–16] and the references therein.
It is worth pointing out that Cîrstea and Rǎdulescu [17–19], Cîrstea and Du [20], and Repovs̆ [21] introduced the Karamata regular variation theory to study the boundary behavior and uniqueness of solutions for boundary blow-up elliptic problems and obtained a series of significant information about the qualitative behavior of large solutions in a general framework.
Recently, by using the Karamata regular variation theory Zhang and Li [22], Zhang [23], Zhang and Cheng [24], and Mi and Liu [25] further studied the boundary behavior of the solutions to problem (1.2).
Now, let us return to problem (1.1). When \(b(x)\equiv1\) and \(g(u)=u^{m}\), the first results concerning (1.1) (\(0 < p - 1 < m\)) have been obtained by Ni and Serrin [26, 27], who gave a priori estimates near a singularity. In particular, they show that \(m = N(p - 1)/(N - p) \) is a critical value. They also obtained nonexistence results for positive solutions in an exterior domain for \(p - 1 < m < N(p - 1 )/(N - p)\). Guedda and Veron [28] give Ni and Serrin’s estimates under a slightly weaker hypothesis. Later, Bognara and Drabekb [29] deals with the existence and multiplicity results for radial symmetric solutions of problem (1.1) for a more general nonlinearity \(g(u)\). In recent years, the existence and uniqueness of positive solutions for the general quasilinear elliptic problem \(-\Delta_{p} u = \lambda h(x,u, \nabla u)\), \(u>0\), \(x\in \Omega \), \(u\vert_{\partial \Omega }=0\), has been studied by many authors. Some sufficient conditions on h and Ω have been proposed to ensure the existence or nonexistence of solutions; see [30–38] and the reference therein. However, to the best of our knowledge, up to now, few papers have addressed the boundary behavior of solutions to problem (1.1) for more general nonlinear terms g.
Inspired by the works mentioned, in this paper, by using Karamata regular variation theory and the method of upper and lower solutions, we show the existence of a solution to problem (1.1) and provide some asymptotic boundary estimates under appropriate conditions on \(b(x)\) and \(g(u)\).
In order to present our main results, we introduce the following two kinds of functions.
Let Λ denote the set of positive nondecreasing functions \(k\in C^{1}(0, \nu)\) that satisfy
We note that, for each \(k\in\Lambda\),
The set Λ was first introduced by Cîrstea and Rǎdulescu.
Next, we denote by Θ the set of all Karamata functions L̂ that are normalized slowly varying at zero (see the definition in Section 2) defined on \((0, \eta]\) for some \(\eta>0\) by
where \(c_{0}>0\), and the function \(y\in C([0, \eta])\) with \(y(0)= 0\).
The key to our estimates in this paper is the solution to the problem
Our main results are summarized as follows.
Theorem 1.1
Let g satisfy \((\mathrm{g}_{1})\)-\((\mathrm{g}_{2})\), and b satisfy \((\mathrm{b}_{1})\)-\((\mathrm{b}_{2})\). Suppose that b also satisfies the following condition:
- \((\mathrm{b}_{3})\) :
-
the linear problem
$$ -\Delta_{p} u=b(x),\quad u>0, x\in \Omega , u\vert _{\partial \Omega }=0, $$(1.7)has a unique solution \(v_{0}\in C^{1,\alpha}(\Omega)\cap C(\bar{\Omega})\) for some \(\alpha\in(0,1)\).
Then, problem (1.1) has at least one solution \(u\in C^{1,\alpha}(\Omega)\cap C(\bar{\Omega})\).
Theorem 1.2
Let g satisfy \((\mathrm{g}_{1})\)-\((\mathrm{g}_{2})\), and b satisfy \((\mathrm{b}_{1})\)-\((\mathrm{b}_{3})\). Suppose that b also satisfies the following condition:
- \((\mathrm{b}_{4})\) :
-
there exist \(k\in\Lambda\) and a positive constant \(b_{0} \in\mathbb{R}\) such that
$$\lim_{d(x) \rightarrow0 } \frac{b(x)}{k^{p}(d(x))} =b_{0}. $$
If
then any solution u to problem (1.1) satisfies
where ϕ is uniquely determined by (1.6), q stands for the Hölder conjugate of p, and
Theorem 1.3
Let g satisfy \((\mathrm{g}_{1})\)-\((\mathrm{g}_{2})\), and b satisfy \((\mathrm{b}_{1})\)-\((\mathrm{b}_{3})\). Suppose that b also satisfies the following condition:
- \((\mathrm{b}_{5})\) :
-
there exist \(L\in\Theta\) and a positive constant \(b_{1} \in\mathbb{R}\) such that
$$\lim_{d(x) \rightarrow0 } \frac{b(x)}{(d(x))^{-p}L(d(x))} =b_{1}. $$
Then any solution u to problem (1.1) satisfies
where ϕ is uniquely determined by (1.6),
and
The outline of this paper is as follows. In Sections 2-3, we give some preparation that will be used in the next section. The proofs of Theorems 1.1-1.3 will be given in Sections 4-5.
2 Preliminaries
Our approach relies on Karamata regular variation theory established by Karamata in 1930, which is a basic tool in the theory of stochastic processes (see [39–43] and the references therein). In this section, we first give a brief account of the definition and properties of regularly varying functions.
Definition 2.1
A positive measurable function f defined on \([a,\infty)\) for some \(a>0\) is called regularly varying at infinity with index ρ, written as \(f \in\mathit{ RV}_{\rho }\), if for each \(\xi>0\) and some \(\rho \in\mathbb {R}\),
In particular, when \(\rho=0\), f is called slowly varying at infinity.
Clearly, if \(f\in\mathit{ RV}_{\rho}\), then \(L(s):=f(s)/{s^{\rho}}\) is slowly varying at infinity.
Definition 2.2
A positive measurable function f defined on \([a,\infty)\) for some \(a>0\) is called rapidly varying at infinity if for each \(\rho>1\),
We also see that a positive measurable function g defined on \((0,a)\) for some \(a>0\) is regularly varying at zero with index σ (written as \(g \in\mathit{ RVZ}_{\sigma}\)) if \(t\rightarrow g(1/t)\) belongs to \(\mathit{RV}_{-\sigma}\). Similarly, g is called rapidly varying at zero if \(t\rightarrow g(1/t)\) is rapidly varying at infinity.
Proposition 2.1
(Uniform convergence theorem)
If \(f\in\mathit{ RV}_{\rho }\), then (2.1) holds uniformly for \(\xi\in[c_{1}, c_{2}]\) with \(0< c_{1}< c_{2}\). Moreover, if \(\rho<0\), then the uniform convergence holds on intervals of the form \((a_{1}, \infty)\) with \(a_{1}>0\); if \(\rho>0\), then the uniform convergence holds on intervals \((0, a_{1}]\), provided that f is bounded on \((0, a_{1}]\) for all \(a_{1}>0\).
Proposition 2.2
(Representation theorem)
A function L is slowly varying at infinity if and only if it may be written in the form
for some \(a_{1}\geq a\), where the functions φ and y are measurable and \(y(s)\rightarrow0\) and \(\varphi(s)\rightarrow c_{0}>0\) as \(s \rightarrow\infty\).
We say that
is normalized slowly varying at infinity and
is normalized regularly varying at infinity with index ρ (and written as \(f\in\mathit{ NRV}_{\rho}\)).
Similarly, g is called normalized regularly varying at zero with index σ, written as \(g \in\mathit{ NRVZ}_{\sigma}\) if \(t\rightarrow g(1/t)\) belongs to \(\mathit{NRV}_{-\sigma}\).
A function \(f\in\mathit{ RV}_{\rho}\) belongs to \(\mathit{NRV}_{\rho}\) if and only if
Proposition 2.3
If functions L, \(L_{1}\) are slowly varying at infinity, then
-
(i)
\(L^{\sigma}\) for every \(\sigma\in\mathbb {R}\), \(c_{1} L+c_{2} L_{1}\) (\(c_{1}\geq0\), \(c_{2}\geq0\) with \(c_{1}+c_{2}>0\)), \(L\circ L_{1}\) (if \(L_{1}(t)\rightarrow+\infty\) as \(t\rightarrow +\infty\)) are also slowly varying at infinity.
-
(ii)
For every \(\theta>0\), \(t^{\theta} L(t)\rightarrow+\infty\) and \(t^{-\theta}L(t)\rightarrow0\) as \(t\rightarrow+\infty\),
-
(iii)
For \(\rho\in\mathbb {R}\), \(\frac{\ln(L(t))}{\ln t}\rightarrow0\) and \(\frac{\ln(t^{\rho}L(t))}{\ln t}\rightarrow\rho\) as \(t\rightarrow+\infty\).
Proposition 2.4
-
(i)
If \(f_{1}\in\mathit{{R}V}_{\rho_{1}}\) and \(f_{2}\in\mathit{ {R}V}_{\rho_{2}} \) with \(\lim_{t\rightarrow\infty} f_{2} (t)=\infty\), then \(f_{1}\circ f_{2}\in\mathit{{R}V}_{\rho_{1} \rho_{2}}\).
-
(ii)
If \(f\in\mathit{ RV}_{\rho}\), then \(f^{\alpha}\in\mathit{ RV}_{\rho\alpha}\) for every \(\alpha\in\mathbb{R}\).
Proposition 2.5
If a function L defined on \((0, \eta]\) is slowly varying at zero, then
If, moreover, \(\int_{0}^{\eta}\frac{L(s)}{s}\,ds\) converges, then
Proposition 2.6
(Asymptotic behavior)
If a function L is slowly varying at zero, then, for \(a>0\) and \(t\rightarrow0^{+}\),
-
(i)
\(\int_{0}^{t} s^{\rho}L(s)\,ds\cong (\rho+1)^{-1} t^{1+\rho} L(t)\) for \(\rho>-1\);
-
(ii)
\(\int_{t}^{a} s^{\rho}L(s)\,ds\cong (-\rho-1)^{-1} t^{1+\rho} L(t)\) for \(\rho<-1\).
Proposition 2.7
(Proposition 2.6 in [44])
Let \(Z \in C^{1}(0, \eta]\) be positive and \(\lim_{t \rightarrow0^{+}}\frac{sZ'(s)}{Z(s)} = +\infty\). Then Z is rapidly varying to zero at zero.
Proposition 2.8
(Proposition 2.7 in [44])
Let \(Z \in C^{1}(0, \eta)\) be positive and \(\lim_{t \rightarrow0^{+}}\frac{sZ'(s)}{Z(s)} = -\infty\). Then Z is rapidly varying to infinity at zero.
3 Some auxiliary results
In this section, we collect some useful results.
Lemma 3.1
Let \(k\in\Lambda\). Then
-
(i)
\(\lim_{t\rightarrow0^{+}}\frac{K(t)}{k(t)}=0\), \(\lim_{t \rightarrow0^{+}} \frac{tk(t)}{K(t)}=C_{k}^{-1}\), i.e., \(K\in\mathit{ NRVZ}_{C_{k}^{-1}}\);
-
(ii)
\(\lim_{t \rightarrow0^{+}} \frac{tk'(t)}{k(t)}=\frac{1-C_{k}}{C_{k}}\), i.e., \(k\in\mathit{ NRVZ}_{(1-C_{k})/{C_{k}}}\); \(\lim_{t \rightarrow0^{+}} \frac{K(t)k'(t)}{k^{2}(t)}=1-C_{k}\).
Proof
The proof is similar to that of Lemma 2.1 in [23]; so we omit it. □
Lemma 3.2
Let
and
where \(t\in(0, \delta_{0})\), \(\int_{0}^{\eta}s^{-1}(L(s))^{\frac{1}{p-1}}\,ds<\infty\) for some \(\eta >0\), and \(L(s)\in\Theta\). Then
-
(i)
\(\lim_{t\rightarrow0^{+}}\frac{(h'(t))^{p}}{h(t)a(t)}=0 \) and \(\lim_{t\rightarrow0^{+}}\frac{t h'(t)}{h(t)}=0 \);
-
(ii)
\(\lim_{t\rightarrow0^{+}}\frac{t h''(t)}{h'(t)}=-1\);
-
(iii)
\(\lim_{t\rightarrow0^{+}}\frac{(h'(t))^{p-2}h''(t)}{a(t)}=-1\).
Proof
(i) Since \(h'(t)=t^{-1}(L(t))^{\frac{1}{p-1}}\), we have
and
Hence, by Proposition 2.5 we get \(\lim_{t\rightarrow 0^{+}}\frac{(h'(t))^{p}}{h(t)a(t)}=\lim_{t\rightarrow 0^{+}}\frac{t h'(t)}{h(t)}=0\).
(ii) By a direct computation we get
and
Since \(L\in\Theta\), it follows that \(\lim_{t\rightarrow 0^{+}}\frac{t L'(t)}{L(t)}=0\). Hence,
(iii) Since
by (ii) we get
□
Lemma 3.3
Let g satisfy \((\mathrm{g}_{1})\)-\((\mathrm{g}_{2})\).
-
(i)
If g satisfies \((\mathrm{g}_{3})\), then \(C_{g}\leq1\);
-
(ii)
\((\mathrm{g}_{3})\) holds for \(C_{g}\in(0,1)\) if and only if \(g\in\mathit{ NRV}_{-p C_{g}/(q(1-C_{g}))}\);
-
(iii)
\((\mathrm{g}_{3})\) holds for \(C_{g}=0\) if and only if g is normalized slowly varying at zero;
-
(iv)
if \((\mathrm{g}_{3})\) holds with \(C_{g}=1\), then g is rapidly varying to infinity at zero.
Proof
Since g satisfies \((\mathrm{g}_{1})\) and is strictly decreasing on \((0, S_{0})\), we see that
that is,
and
(i) Let
Integrating \(I(t)\) from 0 to s and integrating by parts, we obtain by (3.2) that
that is,
It follows by l’Hospital’s rule that
So (i) holds.
(ii) When \((\mathrm{g}_{3})\) holds with \(C_{g} \in(0, 1)\), it follows by (3.3) that
that is, \(g\in\mathit{ NRV}_{-p C_{g}/(q(1-C_{g}))}\).
Conversely, when \(g\in\mathit{ NRV}_{-\gamma}\) with \(\gamma> 0\), that is, \(\lim_{s\rightarrow0^{+}}\frac{s g'(s)}{ g(s)}=-\gamma\) and there exist a positive constant η and \(\hat{L}\in\Theta\) such that \(g(s)=c_{0}s^{-\gamma} \hat{L}(s)\), \(s\in(0, \eta]\), it follows by (2.6) and Proposition 2.6(i) that
(iii) By \(C_{g} = 0\) and the proof of (ii) we can see that
that is, g is normalized slowly varying at zero.
Conversely, when g is normalized slowly varying at zero, that is, \(\lim_{s\rightarrow0^{+}}\frac{s g'(s)}{g(s)}=0\), it follows by (3.3) that
(iv) By \(C_{g} = 1\) and the proof of (ii) we see that \(\lim_{s\rightarrow0^{+}}\frac{g(s)}{s g'(s)}=0\), that is, \(\lim_{s\rightarrow0^{+}}\frac{s g'(s)}{g(s)}=-\infty\), and by Proposition 2.8 we get that g is rapidly varying to infinity at zero. □
Lemma 3.4
Let g satisfy \((\mathrm{g}_{1})\)-\((\mathrm{g}_{3})\), and ϕ be the solution to the problem
Then
-
(i)
\(\phi'(t)= (g(\phi(t)) )^{\frac{1}{p-1}}\), \(\phi(t)>0\), \(t>0\), \(\phi(0)=0\), and \(\phi''(t)=\frac{q}{p} (g(\phi(t)) )^{\frac{2q-p}{p}}g'(\phi(t))\), \(t>0\);
-
(ii)
\(\phi\in\mathit{ NRVZ}_{1-C_{g}}\) and \(\phi' \in\mathit{ NRVZ}_{-C_{g}}\);
-
(iii)
when \(C_{k} + qC_{g} > q\) and \(k \in \Lambda\), \(\lim_{t\rightarrow0^{+}} \frac{t}{\phi(\xi K^{q}(t))}= 0\) uniformly for \(\xi\in[c_{1}, c_{2}]\) with \(0 < c_{1} < c_{2}\), where q stands for the Hölder conjugate of p;
-
(iv)
\(\lim_{t\rightarrow0^{+}} \frac{t}{\phi(\xi h(t))}= 0\) uniformly for \(\xi\in[c_{1}, c_{2}]\) with \(0 < c_{1} < c_{2}\), where h is given as in (1.10).
Proof
By the definition of ϕ and a direct calculation we show that (i) holds.
(ii) It follows from (i), (3.4), and \((\mathrm{g}_{3})\) that
that is, \(\phi\in\mathit{ NRVZ}_{1-C_{g}}\), and
(iii) By Lemma 3.1(i) we see that \(K\in\mathit{ NRVZ}_{C_{k}^{-1}}\). It follows by Proposition 2.4 that \(\phi\circ K^{q} \in\mathit{ NRVZ}_{\frac{q(1-C_{g})}{C_{k}}}\). Since \(C_{k} + qC_{g} > q\), the result follows by Proposition 2.3(ii).
(iv) As in the proof of (iii), by Lemma 3.2(i) we see \(h\in\mathit{ NRVZ}_{0}\). It follows by Proposition 2.4 that \(\phi\circ h \in\mathit{ NRVZ}_{0}\). Then the result follows by Proposition 2.3(ii). □
4 Existence of solutions to problem (1.1)
In this section, we prove Theorem 1.1.
Proof of Theorem 1.1
Let
It follows that \(H : [0,\infty)\rightarrow[0,\infty)\) is strictly increasing and
Let \(\bar{u}(x):= H^{-1}(v_{0}(x))\), \(x \in\Omega\), where \(H^{-1}\) denotes the inverse function of H, and \(v_{0}\) is the unique classical solution of problem (1.7). We see that \(u\vert_{\partial\Omega} = 0\) and
It follows by \((\mathrm{g}_{1})\) that
that is, \(\bar{u} = H^{-1}(v_{0})\) is a supersolution of problem (1.1).
On the other hand, hypothesis \((\mathrm{g}_{1})\) implies that \(\lim_{s\rightarrow0^{+}} g(s)\in(0, \infty]\), so that
There then exists \(c_{0} \in(0, 1)\) such that
Let \(\underline{u} =c_{0}v_{0}\). It follows that
that is, \(\underline{u} =c_{0}v_{0}\) is a subsolution of problem (1.1). Moreover, we see that
that is, \(\underline{u}\leq\bar{u}\) on Ω. Therefore, by the lower and upper theorem the claim follows. □
5 Boundary behaviors of solutions to problem (1.1)
In this section, we prove Theorems 1.2-1.3.
First, we need the following comparison principle for weak solutions to quasilinear equations (see [45] for a proof).
Lemma 5.1
(Weak comparison principle)
Let \(D \subset\mathbb {R}^{N}\) be a bounded domain, \(G: D \times\mathbb {R} \rightarrow\mathbb {R}\) be nonincreasing in the second variable and continuous. Let \(u, w\in W^{1,p}(D)\) satisfy the respective inequalities
for all nonnegative \(\phi\in W_{0}^{1,p}(D)\). Then the inequality \(u \leq w\) on ∂D implies \(u \leq w\) in D.
Fix \(\varepsilon>0\). For any \(\delta>0\), we define \(\Omega_{\delta}=\{x\in\Omega: 0< d(x)<\delta\}\). Since Ω is \(C^{2}\)-smooth, choose \(\delta_{1}\in(0, \delta_{0})\) such that \(d\in C^{2}(\Omega_{\delta_{1}}) \) and
where, for \(x\in\Omega_{\delta_{1}}\), x̄ denotes the unique point of the boundary such that \(d(x) = \vert x - \bar{x} \vert \), and \(H(\bar{x}) \) denotes the mean curvature of the boundary at that point.
5.1 Proof of Theorem 1.2
Define \(r=d(x)\) and
By Lemmas 3.1 and 3.4, combined with the choices of \(A_{1}\) in Theorem 1.2, we get the following lemma.
Lemma 5.2
Suppose that g satisfies \((\mathrm{g}_{1})\)-\((\mathrm{g}_{3})\) and b satisfies \((\mathrm{b}_{1})\)-\((\mathrm{b}_{4})\). Then
-
(i)
\(\lim_{r\rightarrow0} I_{1\pm}(r)=(A_{1}\pm \varepsilon)^{p-1}(p-1)q^{p-1}(q-q C_{g}-C_{k})\);
-
(ii)
\(\lim_{d(x) \rightarrow0} I_{2 }(x)=b_{0}=-A_{1}^{p-1}(p-1)q^{p-1}(q-q C_{g}-C_{k})\);
-
(iii)
\(\lim_{d(x)\rightarrow0} ( I_{1\pm }(r)+I_{2}(x) )=(p-1)q^{p-1}(q-q C_{g}-C_{k}) ((A_{1}\pm \varepsilon)^{p-1}-A_{1}^{p-1} )\).
Proof of Theorem 1.2
Let \(v \in C^{1+\alpha} (\Omega) \cap C^{1}(\bar{\Omega})\) be the unique solution of the problem
Then, we see that
where \(c_{3}\), \(c_{4}\) are positive constants.
By Lemma 5.2, since \(K\in C[0, \delta_{0})\) with \(K(0)=0\), we see that there exist \(\delta_{1\varepsilon}, \delta_{2\varepsilon}\in (0, \min\{1, \delta_{0}\} )\) (which corresponds to ε) sufficiently small such that
-
(i)
\(0\leq K^{q}(r)\leq\delta_{1\varepsilon}\), \(r\in(0, \delta_{2\varepsilon})\);
-
(ii)
\(I_{1+}(r)+I_{2}(x)\leq0\), \(\forall (x,r)\in \Omega_{\delta_{1\varepsilon}}\times(0, \delta_{2\varepsilon}) \);
-
(iii)
\(I_{1-}(r)+I_{2}(x)\geq0\), \(\forall (x,r)\in \Omega_{\delta_{1\varepsilon}}\times(0, \delta_{2\varepsilon})\).
Now we define
Before we prove the theorem, let us note the following. Suppose that z is a \(C^{2}\) function on a domain Ω in \(\mathbb {R}^{N}\) and \(v = \phi(z)\), where ϕ is uniquely determined by (1.6). A direct computation shows that
Hence, by (5.4), Lemma 5.2, and a direct calculation we see that, for \(x\in\Omega_{\delta_{1\varepsilon}}\)
where \(r=d(x)\), that is, \(\bar{u}_{\varepsilon}\) is a supersolution of problem (1.1) in \(\Omega_{\delta_{1\varepsilon}}\).
In a similar way, we show that
is a subsolution of problem (1.1) in \(\Omega_{\delta_{1\varepsilon}}\).
Let \(u\in C(\bar{\Omega})\cap C^{1,\alpha}(\Omega)\) be the unique solution to problem (1.1). We assert that there exists M large enough such that
where v is the solution of problem (5.2).
In fact, we can choose M large enough such that
We see by \((\mathrm{g}_{1})\) that \(\bar{u}_{\varepsilon}(x)+M v(x)\) and \(u(x)+M v(x)\) are also supersolutions of problem (1.1) in \(\Omega_{\delta_{1\varepsilon}}\). Since \(u= \bar{u}_{\varepsilon}+M v=u+Mv=\underline{u}_{\varepsilon}=0 \) on ∂Ω, (5.5) follows by \((\mathrm{g}_{1})\) and the weak comparison principle (Lemma 5.1). Hence, for \(x\in \Omega_{\delta_{1\varepsilon}}\)
and
Consequently, by (5.3) and Lemma 3.4(iii),
and
Thus, letting \(\varepsilon\rightarrow0\), we obtain (1.8). □
5.2 Proof of Theorem 1.3
As before, fix \(\varepsilon>0\). For any \(\delta>0\), we define \(\Omega_{\delta}=\{x\in\Omega: 0< d(x)<\delta\}\). Since Ω is \(C^{2}\)-smooth, choose \(\delta_{1}\in(0, \delta_{0})\) such that \(d\in C^{2}(\Omega_{\delta_{1}})\) and (5.1) holds.
Define \(r=d(x)\) and
By Lemmas 3.2 and 3.4, combined with the choices of \(A_{2}\) in Theorem 1.3, we get the following lemma.
Lemma 5.3
Suppose that g satisfies \((\mathrm{g}_{1})\)-\((\mathrm{g}_{3})\), b satisfies \((\mathrm{b}_{1})\)-\((\mathrm{b}_{3})\), and \((\mathrm{b}_{5})\) holds. Then
-
(i)
\(\lim_{r\rightarrow0} I_{1\pm }(r)=-(p-1)(A_{2}\pm \varepsilon)^{p-1}\);
-
(ii)
\(\lim_{d(x) \rightarrow0} I_{2 }(x)=b_{1}=(p-1)A_{2}^{p-1}\);
-
(iii)
\(\lim_{d(x)\rightarrow0} ( I_{1\pm }(r)+I_{2}(x) )=-(p-1) ((A_{2}\pm \varepsilon)^{p-1}-A_{2}^{p-1} )\).
Proof of Theorem 1.3
By Lemma 5.3, since \(h\in C[0, \delta_{0})\) with \(h(0)=0\), we see that there exist \(\delta_{1\varepsilon}, \delta_{2\varepsilon}\in (0, \min\{1, \delta_{0}\} )\) (which corresponds to ε) sufficiently small such that
-
(i)
\(0\leq h(r)\leq\delta_{1\varepsilon}\), \(r\in(0, \delta_{2\varepsilon})\);
-
(ii)
\(I_{1+}(r)+I_{2}(x)\leq0\), \(\forall (x,r)\in \Omega_{\delta_{1\varepsilon}}\times(0, \delta_{2\varepsilon}) \);
-
(iii)
\(I_{1-}(r)+I_{2}(x)\geq0\), \(\forall (x,r)\in \Omega_{\delta_{1\varepsilon}}\times(0, \delta_{2\varepsilon})\).
As in the proof of Theorem 1.2, we define
where
By (5.4), Lemma 5.3, and a direct calculation we see that, for \(x\in\Omega_{\delta_{1\varepsilon}}\)
where \(r=d(x)\), that is, \(\bar{u}_{\varepsilon}\) is a supersolution of problem (1.1) in \(\Omega_{\delta_{1\varepsilon}}\).
In a similar way, we show that
is a subsolution of problem (1.1) in \(\Omega_{\delta_{1\varepsilon}}\).
As in the proof of Theorem 1.2, we obtain, for \(x\in \Omega_{\delta_{1\varepsilon}}\)
and
Consequently, by (5.3) and Lemma 3.4(iv),
and
Thus, letting \(\varepsilon\rightarrow0\), we obtain (1.9). □
References
Mikljukov, V: On the asymptotic properties of subsolutions of quasilinear equations of elliptic type and mappings with bounded distortion. Sb. Math. 111, 42-66 (1980) (in Russian)
Reshetnyak, Y: Index boundedness condition for mappings with bounded distortion. Sib. Math. J. 9, 281-285 (1968)
Uhlenbeck, K: Regularity for a class of non-linear elliptic systems. Acta Math. 138, 219-240 (1977)
Herrero, M, Vásquez, J: On the propagation properties of a nonlinear degenerate parabolic equation. Commun. Partial Differ. Equ. 7(12), 1381-1402 (1982)
Esteban, R, Vásquez, J: On the equation of turbulent filtration in one-dimensional porous media. Nonlinear Anal. 10(11), 1303-1325 (1986)
Crandall, M, Rabinowitz, P, Tartar, L: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 2, 193-222 (1977)
Lazer, AC, McKenna, PJ: On a singular elliptic boundary value problem. Proc. Am. Math. Soc. 111, 721-730 (1991)
Fulks, W, Maybee, J: A singular nonlinear elliptic equation. Osaka J. Math. 12, 1-19 (1960)
Stuart, C: Existence and approximation of solutions of nonlinear elliptic equations. Math. Z. 147, 53-63 (1976)
Lazer, A, McKenna, P: On a singular elliptic boundary value problem. Proc. Am. Math. Soc. 111, 721-730 (1991)
Anedda, C: Second-order boundary estimates for solutions to singular elliptic equations. Electron. J. Differ. Equ. 2009, 90 (2009)
Anedda, C, Porru, G: Second-order boundary estimates for solutions to singular elliptic equations in borderline cases. Electron. J. Differ. Equ. 2011, 51 (2011)
Berhanu, S, Gladiali, F, Porru, G: Qualitative properties of solutions to elliptic singular problems. J. Inequal. Appl. 3, 313-330 (1999)
Berhanu, S, Cuccu, F, Porru, G: On the boundary behaviour, including second order effects, of solutions to elliptic singular problems. Acta Math. Sin. Engl. Ser. 23, 479-486 (2007)
Giarrusso, E, Porru, G: Boundary behaviour of solutions to nonlinear elliptic singular problems. In: Misra, JC (ed.) Appl. Math. in the Golden Age, pp. 163-178. Narosa Publishing House, New Dalhi (2003)
Ghergu, M, Rǎdulescu, VD: Bifurcation and asymptotics for the Lane-Emden-Fowler equation. C. R. Math. Acad. Sci. Paris, Sér. I 337, 259-264 (2003)
Cîrstea, F, Rǎdulescu, V: Uniqueness of the blow-up boundary solution of logistic equations with absorbtion. C. R. Math. Acad. Sci. Paris, Sér. I 335, 447-452 (2002)
Cîrstea, F, Rǎdulescu, V: Asymptotics for the blow-up boundary solution of the logistic equation with absorption. C. R. Math. Acad. Sci. Paris, Sér. I 336, 231-236 (2003)
Cîrstea, F, Rǎdulescu, V: Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. Asymptot. Anal. 46, 275-298 (2006)
Cîrstea, F, Du, Y: General uniqueness results and variation speed for blow-up solutions of elliptic equations. Proc. Lond. Math. Soc. 91, 459-482 (2005)
Repovs̆, D: Asymptotics for singular solutions of quasilinear elliptic equations with an absorption term. J. Math. Anal. Appl. 395, 78-85 (2012)
Zhang, Z, Li, B: The boundary behavior of the unique solution to a singular Dirichlet problem. J. Math. Anal. Appl. 391, 278-290 (2012)
Zhang, Z: The second expansion of the solution for a singular elliptic boundary value problems. J. Math. Anal. Appl. 381, 922-934 (2011)
Zhang, Z, Cheng, J: Existence and optimal estimates of solutions for singular nonlinear Dirichlet problems. Nonlinear Anal. 57, 473-484 (2004)
Mi, L, Liu, B: The second order estimate for the solution to a singular elliptic boundary value problem. Appl. Anal. Discrete Math. 6, 194-213 (2012)
Ni, W, Serrin, J: Existence and nonexistence theorems for ground states of quasilinear partial differential equations: the anomalous case. Acad. Naz. Lincei 77, 231-257 (1986)
Ni, W, Serrin, J: Nonexistence theorems for singular solutions of quasilinear partial differential equations. Commun. Pure Appl. Math. 38, 379-399 (1986)
Guedda, M, Veron, L: Local and global properties of solutions of quasilinear elliptic equations. J. Differ. Equ. 76, 159-189 (1988)
Bognara, G, Drabekb, P: The p-Laplacian equation with superlinear and supercritical growth, multiplicity of radial solutions. Nonlinear Anal. 60, 719-728 (2005)
Prashanth, S, Sreenadh, K: Multiplicity of positive solutions for p-Laplace equation with superlinear-type nonlinearity. Nonlinear Anal. 56, 867-878 (2004)
Reichel, W, Walter, W: Radial solutions of equations and inequalities involving the p-Laplacian. J. Inequal. Appl. 1, 47-71 (1997)
Santos, C: Non-existence and existence of entire solutions for a quasi-linear problem with singular and super-linear terms. Nonlinear Anal. 72, 3813-3819 (2010)
Serrin, J, Zou, H: Cauchy-Liouville and universal boundedness theorems for quasilinear elliptic equations and inequalities. Acta Math. 189, 79-142 (2002)
Mâagli, H, Giacomoni, J, Sauvy, P: Existence of compact support solutions for a quasilinear and singular problem. Differ. Integral Equ. 25(7-8), 629-656 (2012)
Masmoudi, S, Zermani, S: Existence and asymptotic behavior of solutions to nonlinear radial p-Laplacian equations. Electron. J. Differ. Equ. 2015, 171 (2015)
Xu, B, Yang, Z: Entire bounded solutions for a class of quasilinear elliptic equations. Bound. Value Probl. 2007 Article ID 16407 (2007)
Cencelj, M, Repovš, D, Virk, Z̆: Multiple perturbations of a singular eigenvalue problem. Nonlinear Anal. 119, 37-45 (2015)
Chetri, M, Drabek, P, Shivaji, R: Analysis of positive solutions for classes of quasilinear singular problems on exterior domains. Adv. Nonlinear Anal. (2016). doi:10.1515/anona-2015-0143
Karamata, J: Sur un mode de croissance régulière de fonctions. Théorèmes fondamentaux. Bull. Soc. Math. Fr. 61, 55-62 (1933)
Bingham, N, Goldie, C, Teugels, J: Regular Variation. Encyclopedia of Mathematics and Its Applications, vol. 27. Cambridge University Press, Cambridge (1987)
Maric, V: Regular Variation and Differential Equations. Lecture Notes in Math., vol. 1726. Springer, Berlin (2000)
Resnick, SI: Extreme Values, Regular Variation, and Point Processes. Springer, New York (1987)
Seneta, R: Regular Varying Functions. Lecture Notes in Math., vol. 508. Springer, Berlin (1976)
Zhang, Z, Li, B, Li, X: The exact boundary behavior of solutions to singular nonlinear Lane-Emden-Fowler type boundary value problems. Nonlinear Anal., Real World Appl. 21, 34-52 (2015)
Tolksdorf, P: On the Dirichlet problem for quasilinear equations in domains with conical boundary points. Commun. Partial Differ. Equ. 8, 773-817 (1983)
Acknowledgements
The author is thankful to the honorable reviewers for their valuable suggestions and comments, which improved the paper. This work was partially supported by NSF of China (Grant no. 11301250), NSF of Shandong Province (Grant no. ZR2013AQ004), the Applied Mathematics Enhancement Program (AMEP) of Linyi University, and PhD research startup foundation of Linyi University (Grant no. LYDX2013BS049 ).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mi, L. Existence and boundary behavior of solutions to p-Laplacian elliptic equations. Bound Value Probl 2016, 119 (2016). https://doi.org/10.1186/s13661-016-0627-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0627-2