- Research
- Open access
- Published:
The first and second expansion of large solutions for quasilinear elliptic equations with weight functions
Boundary Value Problems volume 2015, Article number: 234 (2015)
Abstract
By the Karamata regular variation theory and comparison principle, we establish the boundary behavior of positive weak solutions for the problem
where Ω is a bounded domain with smooth boundary in \(R^{N}\), the weight \(b(x)\in C^{\alpha}(\overline{\Omega})\), which may be vanishing on the boundary and rapidly varying near the boundary, and the nonlinearity f may be rapidly varying at infinity. For the case \(f(s)=s^{m}\pm f_{1}(s)\) with sufficiently large s, where \(m>p-1\) and \(f_{1}\) is normalized regularly varying at infinity with index \(m_{1}\in(0,p-1)\), we show the influence of the geometry of Ω on the boundary behavior of solutions. Finally, we prove the existence and uniqueness of the solution for the problem.
1 Introduction and main results
In this paper, we consider the first and second expansions of positive weak large solutions near the boundary for the quasilinear elliptic problem of the form
where \(\Delta_{p}u=\operatorname{div}(|\nabla u|^{p-2}\nabla u)\) (\(p>2\)), \(\Omega\subset R^{N}\) (\(N\geq2\)) is a bounded domain with \(C^{4}\)-smooth boundary, \(b(x)\) satisfies (b1) and (b2), and f satisfies (f1), (f2), and (f3), where
- (b1):
-
\(b(x)\in C^{\alpha}(\overline{\Omega})\) for some \(\alpha\in(0,1)\), and \(b(x)\) is positive in Ω;
- (b2):
-
there exist \(k\in\Lambda\) and \(b_{0}\in R\) such that
$$\lim_{d(x)\rightarrow0}\frac{b(x)}{K^{p-2}(d(x))k^{p}(d(x))}=b_{0}, $$where Λ denotes the set of all positive nondecreasing functions in \(C^{1}(0,\delta_{0})\) (\(\delta_{0}>0\)) such that
$$\lim_{t\rightarrow 0+}\frac{d}{dt}\biggl(\frac{K(t)}{k(t)} \biggr):=C_{k}\in[0,\infty), \quad K(t)= \int^{t}_{0}k(s)\, ds; $$ - (f1):
-
\(f\in C^{1}[0,\infty)\), \(f(0)=0\), f is increasing in \((0,\infty)\);
- (f2):
-
\(\int^{\infty}_{1}f^{-\frac{1}{p-1}}(v)\, dv<\infty\);
- (f3):
-
there exists \(C_{f}>0\) such that \(\lim_{s\rightarrow\infty}f'(s)\int^{\infty}_{s}\frac{dv}{f(v)}=C_{f}\).
Note that, some basic examples for \(k\in\Lambda\) can be given as follows:
-
(1)
\(k(t)=t^{\frac{\alpha}{2}}\), \(\alpha>0\), \(C_{k}=2(2+\alpha)^{-1}\);
-
(2)
\(k(t)=e^{-t^{-\alpha}}\), \(\alpha>0\), \(C_{k}=0\);
-
(3)
\(k(t)=\frac{1}{(-\ln t)^{\alpha}}\), \(\alpha>0\), \(C_{k}=1\);
-
(4)
\(k(t)=e^{-e^{t^{-\alpha}}}\), \(\alpha>0\), \(C_{k}=0\);
-
(5)
\(k(t)=(\ln(1+t))^{\alpha}\), \(\alpha>0\), \(C_{k}=(1+\alpha)^{-1}\).
p-Laplacian equations like (1.1) usually occur in the study of the generalized reaction-diffusion theory, non-Newtonian fluid theory, non-Newtonian filtration, and the turbulent flow of a gas in porous medium. In the non-Newtonian theory, the quantity p is a characteristic of the medium. Media with \(p>2\) are called dilatant fluids, and those with \(p<2\) are called pseudoplastics. If \(p=2\), then they are Newtonian fluids. The p-Laplacian operator also appears in the study of torsional creep (elastic for \(p=2 \) and plastic for \(p<2\); see [1]), flow through porous media (\(p=\frac{3}{2}\); see [2]), and glacial sliding (\(p\in(1,\frac{3}{4}]\); see [3]).
We are concerned with the positive weak large solutions for problem (1.1). By a solution for problem (1.1) we understand a function \(u\in W^{1,p}_{\mathrm{loc}}(\Omega)\cap L^{\infty}_{\mathrm{loc}}(\Omega)\) that satisfies \(\Delta_{p}u=b(x)f(u)\) in the weak sense and \(u(x)\rightarrow\infty\) as \(d(x)=\operatorname{dist}(x,\partial\Omega)\rightarrow 0\). Sometimes, the solution is also called a large solution, an explosive solution, or a boundary blow-up solution.
The study of large solutions started from the work of Bieberbach [4] for the case \(b(x)=1\), \(f(u)=e^{u}\), \(p=2\), and \(N=2\), which plays an important role in the theories of Riemannian surfaces of negative constant curvatures and automorphic functions. More exactly, if a Riemannian metric of the form \(|ds|^{2}=e^{2u(x)}|dx|^{2}\) has a constant Gaussian curvature \(-b^{2}\), then \(\Delta u=b^{2}e^{2u}\). Rademacher [5] extended the results in [4] to the three-dimensional space. Later, C Bandle et al. discussed the existence, uniqueness, and accurate estimate of boundary behavior of large solutions for problem (1.1) with \(p=2\) and \(b(x)\), \(f(u)\) satisfying some proper conditions and obtained some better results dealing with a gradient term (see [4–40] and the references therein). Also, some results in [4–40] have been extended to \(p>2\) (see [41–54]). Recently, boundary blow-up problems have been applied to Liouville theorems for logistic-like equations in \(R^{N}\) in [13], the analysis of blow-up for a parabolic equation with a nonlinear boundary condition in [14], and the characterization of the long-time behavior of positive solutions for the parabolic equations in [15, 16].
However, Cirstea and Rădulescu [17] first introduced Karamata regular variation theory approaching to study the uniqueness and asymptotic behavior of boundary blow-up solutions, which enables us to obtain some qualitative behavior of the boundary blow-up solutions in a general framework. The asymptotic behavior of the boundary blow-up solutions near the boundary has been investigated by many researchers (see [17–39] and their references). It is well known that the first-order asymptotic expansion of the solution \(u(x)\) in terms of \(d(x)\) is independent of the geometry of the domain, whereas the second-order asymptotic expansion of the solution \(u(x)\) depends linearly on the mean curvature of the boundary of Ω. There have been many results about the first expansion of large solution for problem (1.1) with \(p=2\) and \(b(x)\), \(f(u)\) satisfying some proper conditions under different regularity boundary conditions (see [21–28]) and the second expansion (see[29–34] and references therein). Bandle and Marcus [29] first studied the influence of the geometry of Ω on the boundary behavior of the unique radially symmetric solution for problem (1.1) in a ball or an annulus when \(f(u)\) is of power form. Their results were extended by Bandle, Anedda, Porru et al. to more general boundary smooth domains, weights, and nonlinearities (see [30–34]). Specially, Cirstea et al. [17, 35–40] used the Karamata regular variation theory, nonlinear transformations, the perturbed method, the upper and lower solution method, and localization method to establish the first and second expansion of large solutions for problem (1.1) with \(p=2\), and Cirstea and Rădulescu [17] first introduced the set Λ. Recently, some results in [17, 35–40] have been extended to \(p>2\). For instance, Huang et al. [46–48] studied the existence and the first and second expansions of weak solutions when \(b(x)\) and \(f(u)\) satisfy some suitable conditions, which are different from the conditions in our paper. For more results about the p-Laplacian equations, we refer to [49–53] and references therein.
Inspired by the above works, in this paper, we introduce the constants \(C_{f}\) and \(C_{k}\) to get the asymptotic expansion of solutions for problem (1.1). In particular, when \(b(x)=K^{p-2}(d(x))k(d(x))\) near the boundary and \(f(s)=s^{m}\pm f_{1}(s)\) for sufficiently large s, where \(m>p-1\), and \(f_{1}\) satisfies
- (f4):
-
there exists \(m_{1}\in(0,p-1)\) such that
$$\lim_{s\rightarrow\infty}\frac{sf'_{1}(s)}{f_{1}(s)}=m_{1}, $$
we show the influence of the geometry of Ω on the boundary behavior of solutions for problem (1.1). Finally, we prove the existence and uniqueness of the solution for problem (1.1). More precisely, we obtain the following results.
Theorem 1
Let f satisfy (f1)-(f3), and b satisfy (b1)-(b2). Suppose that \(1< C_{f}<\frac{p-1}{p-2}\) in (f3) and
Then, for any solution u of problem (1.1), we have
where ϕ is uniquely defined by
and
Remark 1
By (1.2) one can see that if \(C_{f}>1\), then \(C_{k}\) can be equal to zero and if \(C_{k}>0\), then \(C_{f}\) can be equal to 1.
Theorem 2
Let f satisfy (f1), \(f(s)=s^{m}\pm f_{1}(s)\) for sufficiently large s, \(m>p-1\), \(f_{1}\) satisfy (f4), and \(b(x)=K^{p-2}(d(x))k(d(x))\) near the boundary, where k satisfies
- (k1):
-
\(k\in C[0,a]\cap C^{2}(0,a]\) for some \(a>0\), \(k(t)>0\), \(k'(t)>0\), \(\forall t\in(0,a]\), and \(k(0)=0\);
- (k2):
-
\(k\in\Lambda\) with \(C_{k}>0\);
- (k3):
-
\(\lim_{t\rightarrow0}\frac{d^{2}}{dt^{2}}(\frac {K(t)}{k(t)})=0\).
The following two results hold:
-
(1)
if \(m+1-p>2m_{1}\), then, in a sufficiently small neighborhood of ∂Ω, for any solution u of problem (1.1), we have
$$ u(x)=C_{1}\bigl(K\bigl(d(x)\bigr)\bigr)^{-\frac{2(p-1)}{m+1-p}} \biggl(1+C_{2}(N-1)H(\overline {x})\frac{K(d(x))}{k(d(x))}+o\bigl(d(x)\bigr) \biggr), $$(1.6)where
$$\begin{aligned}& C_{1}= \biggl( \biggl(\frac{2(p-1)}{m+1-p} \biggr)^{p} \biggl(p-1+\frac {(m+1-p)C_{k}}{2} \biggr) \biggr)^{\frac{1}{m+1-p}}, \\& C_{2}=\frac{m+1-p}{2(p-1)(m-1)+(m+1)(m+1-p)C_{k}}. \end{aligned}$$ -
(2)
if \(m+1-p\leq2m_{1}\) and \(k(t)=t^{\frac{\theta}{2}}\) with \(\theta>0\) such that \(\frac{\theta}{2+\theta}>\frac{2m_{1}-(m+p-1)}{m+1-p}\), then (1) still holds.
Remark 2
Some basic examples of k that satisfy (k1)-(k3) can be given as follows:
-
(1)
\(k(t)=t^{\frac{\alpha}{2}}\), \(\alpha>0\), where \(C_{k}=\frac{2}{2+\alpha}\);
-
(2)
\(k(t)=e^{t^{\alpha}}-1\), \(\alpha>1\), where \(C_{k}=\frac{1}{1+\alpha}\);
-
(3)
\(k(t)=\ln(1+t^{\alpha})\), \(\alpha>1\), where \(C_{k}=\frac{1}{1+\alpha}\).
Remark 3
If \(k(t)=(\ln(1+t))^{\alpha}\), \(\alpha>0\), then \(\lim_{t\rightarrow 0+}\frac{d^{2}}{dt^{2}}(\frac{K(t)}{k(t)})=\frac{\alpha}{2(1+\alpha )(2+\alpha)}\). In this case, \(k(t)\) does not satisfy (k3).
This paper is organized as follows. In Section 2, we present some notation and results in regular variation theory. Theorems 1 and 2 will be proved in Section 3. Finally, we prove the existence and uniqueness of the solution for problem (1.1) in Appendices A.1 and A.2.
2 Preliminary results
2.1 Properties of regularly varying function
Karamata regular variation theory was established by Karamata in 1930 and is a basic tool in stochastic process. In 1970, Haan improved the results, which have been applied in stochastic process, analytical function theory, integral functions, integral transform and asymptotic estimation of an integral sequence (see [55–57]).
In this section, we recall some basic definitions and qualities in regular variation theory.
Definition 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 R\),
In particular, when \(\rho=0\), f is called slowly varying at infinity. Clearly, if \(f\in \mathit{RV}_{\rho}\), then \(L(s):=\frac{f(s)}{s^{\rho}}\) is slowly varying at infinity.
Definition 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\),
Some basic examples of slowly varying functions at infinity are listed as follows:
-
(1)
every measurable function on \([a,\infty)\) which has a positive limit at infinity;
-
(2)
\((\ln t)^{s}\) and \((\ln( \ln t))^{s}\), \(s\in R\);
-
(3)
\(e^{(\ln t)^{s}}\), \(0< s<1\).
Some basic examples of rapidly varying functions at infinity are given as follows:
-
(1)
\(e^{t}\) and \(e^{e^{t}}\);
-
(2)
\(e^{e^{(\ln t)^{s}}}\), \(e^{e^{t^{s}}}\) and \(e^{e^{t^{s}}}\), \(s>0\);
-
(3)
\(t^{\gamma}e^{(\ln t)^{q}}\) and \((\ln t)^{\gamma}e^{(\ln t)^{q}}\), \(q>1\), \(\gamma\in R\);
-
(4)
\((\ln t)^{\gamma}e^{t^{q}}\) and \(t^{\gamma}e^{t^{\gamma}}\), \(q>0\), \(\gamma\in R\).
We see that a positive measurable function h 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(\frac{1}{t})\) belongs to \(\mathit{RV}_{-\sigma}\). Similarly, g is called rapidly varying at zero if \(t\rightarrow g(\frac{1}{t})\) is rapidly varying at infinity.
Proposition 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 uniform convergence holds on intervals of the form \((a_{1},\infty)\) with \(a_{1}>0\); if \(\rho>0\), then uniform convergence holds on intervals \((0,a_{1}]\), provided that f is bounded on \((0,a_{1}]\) for all \(a_{1}>0\).
Proposition 2
(Representation theorem)
A function L is slowly varying at infinity if and only if it can be written in the form
for some \(a_{1}\geq a\), where the functions φ and y are measurable and as \(s\rightarrow\infty\), \(y(s)\rightarrow0\) and \(\varphi(s)\rightarrow c_{0}>0\).
We say that
is normalized slowly varying at infinity and
is normalized regularly varying at infinity with index ρ (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(\frac{1}{t})\) belongs to \(\mathit{NRV}_{-\sigma}\). A function \(f\in \mathit{RV}_{\rho}\) belongs to \(\mathit{NRV}_{\rho}\) if and only if
Proposition 3
If functions \(L_{1}\), \(L_{2}\) are slowly varying at infinity, then
-
(1)
\(L^{\sigma}\) for every \(\sigma\in 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;
-
(2)
for every \(\theta>0\), \(t^{\theta}L(t)\rightarrow+\infty\) and \(t^{-\theta}L(t)\rightarrow0\) as \(t\rightarrow\infty\);
-
(3)
for \(\rho\in R\), \(\frac{\ln(L(t))}{\ln t}\rightarrow0\) and \(\frac{\ln(t^{\rho}L(t))}{\ln t}\rightarrow\rho\) as \(t\rightarrow+\infty\).
Proposition 4
If \(f_{1}\in \mathit{RV}_{\rho_{1}}\), \(f_{2}\in \mathit{RV}_{\rho_{2}}\) with \(\lim_{t\rightarrow\infty}f_{2}(t)=\infty\), then \(f_{1}\circ f_{2}\in \mathit{RV}_{\rho_{1}\rho_{2}}\).
Proposition 5
(Asymptotic behavior)
If a function L is slowly varying at infinity, then for \(a\geq0\) and \(t\rightarrow\infty\), we have
-
(1)
\(\int^{t}_{a}s^{\beta}L(s)\, ds\cong(\beta+1)^{-1}t^{1+\beta}L(t)\) for \(\beta>-1\);
-
(2)
\(\int^{\infty}_{t}s^{\beta}L(s)\, ds\cong(-\beta-1)^{-1}t^{1+\beta}L(t)\) for \(\beta<-1\).
Proposition 6
(Asymptotic behavior)
If a function H is slowly varying at infinity, then for \(a>0\) and \(t\rightarrow0^{+}\), we have
-
(1)
\(\int^{t}_{0}s^{\beta}H(s)\, ds\cong(\beta+1)^{-1}t^{1+\beta}H(t)\) for \(\beta>-1\);
-
(2)
\(\int^{\infty}_{t}s^{\beta}H(s)\, ds\cong(-\beta-1)^{-1}t^{1+\beta}H(t)\) for \(\beta<-1\).
2.2 Auxiliary results
In this section, we give some auxiliary results, which will be used in Theorems 1 and 2.
Lemma 1
-
(I)
If \(k\in\Lambda\), then we have:
-
(1)
\(\lim_{t\rightarrow0+}\frac{K(t)}{k(t)}=0\);
-
(2)
\(C_{k}\in[0,1]\) and \(\lim_{t\rightarrow0+}\frac{K(t)k'(t)}{k^{2}(t)}=1-C_{k}\).
-
(1)
-
(II)
(k1)-(k3) implies that
-
(3)
\(\lim_{t\rightarrow0+} (\frac{K(t)k'(t)}{k^{2}(t)}-(1-C_{k}) )\frac{k(t)}{K(t)}=0\).
-
(3)
Lemma 2
[40]
Let f satisfy (f1), (f2), and (f3). Then
-
(1)
\(C_{f}\in[1,\infty)\);
-
(2)
there exists \(S_{0}>0\) such that \(\frac{f(s)}{s^{q}}\) is increasing in \([S_{0},\infty)\), where \(q\in(p-1,\frac{C_{f}}{C_{f}-1})\) for \(1< C_{f}<\frac{p-1}{p-2}\) and \(q\in(p-1,\infty)\) for \(C_{f}=1\);
-
(3)
f satisfies the Keller-Osserman condition
$$ \int^{\infty}_{1}\frac{dt}{(p'F(t))^{\frac{1}{p}}}< \infty,\quad F(t)= \int ^{t}_{0}f(s)\, ds, $$(2.7)where \(\frac{1}{p'}+\frac{1}{p}=1\);
-
(4)
(f3) holds for \(C_{f} > 1\) if and only if \(f\in \mathit{NRV}_{\frac{C_{f}}{C_{f}-1}}\);
-
(5)
\(C_{f}=1\), and f is rapidly varying at infinity.
Lemma 3
Let f satisfy (f1)-(f3), and ϕ be the solution for the problem
Then we have
-
(1)
\(-\phi'(t)=f^{\frac{1}{p-1}}(\phi(t))\), \(\phi(t)>0\), \(t>0\), \(\phi (0):=\lim_{t\rightarrow0+}\phi(t)=+\infty\), \(\phi''(t)=\frac{1}{p-1}f^{\frac{2}{p-1}-1}(\phi(t))f'(\phi(t))\);
-
(2)
\(\lim_{t\rightarrow0+}\frac{t\phi'(t)}{\phi(t)}=-\frac {(p-1)(C_{f}-1)}{C_{f}-(p-1)(C_{f}-1)}\), i.e., \(\phi\in \mathit{NRVZ}_{-\frac{(p-1)(C_{f}-1)}{C_{f}-(p-1)(C_{f}-1)}}\);
-
(3)
\(\lim_{t\rightarrow0+}\frac{t\phi''(t)}{\phi'(t)}=-\frac {C_{f}}{C_{f}-(p-1)(C_{f}-1)}\), i.e., \(-\phi'\in \mathit{NRVZ}_{-\frac{C_{f}}{C_{f}-(p-1)(C_{f}-1)}}\);
-
(4)
\(\lim_{t\rightarrow0+}\frac{\ln(\phi(t))}{-\ln t}=\frac{(p-1)(C_{f}-1)}{C_{f}-(p-1)(C_{f}-1)}\), \(\lim_{t\rightarrow0+}\frac{\ln(\phi'(t))}{-\ln t}=\frac{(p-1)C_{f}}{C_{f}-(p-1)(C_{f}-1)}\).
Proof
(1) By the definition of ϕ and a direct calculation we can show (1).
(2) It follows from Proposition 5 that
(3) (f3) implies that
The last result (4) follows from (2)-(3) and Proposition 3(3). □
Lemma 4
Under the hypotheses in Theorem 2, let \(k\in\Lambda\) and
with \(\lim_{t\rightarrow0}h(t)=0\). The following two results hold:
-
(1)
if \(m+1-p>2m_{1}\), then \(k(t)(K(t))^{\frac{(m+p-1)(p-1)}{m+1-p}}f_{1}(\Phi(t))\rightarrow0\) as \(t\rightarrow0\);
-
(2)
if \(m+1-p\leq2m_{1}\) and \(k(t)=t^{\frac{\theta}{2}}\) with \(\theta>0\) such that \(\frac{\theta}{2+\theta}>\frac{2m_{1}-(m+p-1)}{m+1-p}\), then (1) still holds.
Proof
We know that \(f_{1}\in \mathit{NRV}_{m_{1}}\) by (f4) with \(m_{1}\in(0,m)\) and \(f_{1}(s)=c_{0}s^{m_{1}}\hat {L}(s)\) for sufficiently large s, where L̂ is normalized slowly varying at infinity, and \(c_{0}>0\).
Let
We see that \(\hat {L}(\Phi_{1}(t))\) is also normalized slowly varying at zero, and by a similar argument as in Propositions 1 and 3(2), for every \(\beta>0\) and \(t\rightarrow0+\), we have
(1) If \(m+1-p>2m_{1}\), let \(2\beta\in(0,m+p-1-2m_{1})\), then by (2.8) we have
(2) If \(m+1-p\leq2m_{1}\) and \(k(t)=t^{\frac{\theta}{2}}\) with \(\theta>0 \) such that \(\frac{\theta}{2+\theta}>\frac{2m_{1}-(m+p-1)}{m+1-p}\) and \(\frac{2(p-1)m_{1}}{m+1-p}\in(0,\frac{\theta}{2+\theta}-\frac {2m_{1}-(m+p-1)}{m+1-p})\), then we get
where
□
3 Proofs of main results
In this section, we mainly prove Theorem 1 and Theorem 2. For the proofs, we use the upper and lower solution method. One critical step is to set up the comparison principle. Thus, we first give the comparison principle in general form for quasilinear elliptic equations.
Lemma 5
[54]
Suppose that D is a bounded domain in \(R^{N}\) and \(a(x)\) and \(\beta(x)\) are continuous functions on D with \(\|a\|_{L^{\infty}(D)}<\infty\), \(\beta(x)\geq0\), \(\beta(x)\neq0\) for \(x\in D\). Let \(u_{1}, u_{2}\in C^{1}(D)\) be positive in D and satisfy in the sense of distributions
where \(g\in C^{0}([0,\infty))\), and \(\frac{g(s)}{s^{p-1}}\) is increasing for
Then \(u_{1}\geq u_{2}\) in D.
Next, fix \(\epsilon>0\). For all \(\delta>0\), we define \(\Omega_{\delta}=\{x\in\Omega:0< d(x)<\delta\}\). Since Ω is smooth, there exists \(\delta_{0}>0\) such that \(d\in C^{2}(\Omega_{\delta_{0}})\) and
Proof of Theorem 1
Let \(\epsilon\in(0,\frac{b_{0}}{4})\) and \(\gamma_{1}=\gamma-\frac{2\epsilon\gamma}{b_{0}}\), \(\gamma_{2}=\gamma+\frac{2\epsilon\gamma}{b_{0}}\). We have
Set
Then, for \(x\in D^{-}_{\rho}\),
By (b1), (b2), and Lemmas 1-3 we see that there exists \(\delta_{\epsilon}\in(0,\frac{\delta_{0}}{2})\) sufficiently small such that
- (r1):
-
\((b_{0}-\epsilon)K^{p-2}(d(x)-\rho)k^{p}(d(x)-\rho)\leq(b_{0}-\epsilon )K^{p-2}(d(x))k^{p}(d(x))< b(x)\), \(x\in D^{-}_{\rho}=\Omega_{2\delta_{\epsilon}}/\overline{\Omega}_{\rho}\); \(b(x)<(b_{0}+\epsilon)K^{p-2}(d(x))k^{p}(d(x))\leq(b_{0}+\epsilon )K^{p-2}(d(x)+\rho)k^{p}(d(x)+\rho) \), \(x\in D^{+}_{\rho}=\Omega_{2\delta_{\epsilon}-{\rho}}\), where \(\rho\in(0,\delta_{\epsilon})\),
- (r2):
-
$$\begin{aligned}& 4\gamma\biggl\vert \gamma_{1}\frac{K^{2}(t)\phi''(\gamma_{1}K^{2}(t))}{\phi '(\gamma_{1}K^{2}(t))} -\frac{C_{f}}{C_{f}-(p-1)(C_{f}-1)} \biggr\vert +2\gamma\biggl\vert \frac {K(t)k'(t)}{k^{2}(t)}-(1-C_{k})\biggr\vert \\& \quad {}+2\gamma\frac{K(t)}{k(t)}\bigl\vert \Delta d(x)\bigr\vert < \epsilon, \quad \forall(x,t)\in \Omega_{2\delta_{\epsilon}}\times(0,2\delta_{\epsilon}), \end{aligned}$$
and by the value of \(\gamma_{1}\) in Theorem 1,
Then
i.e., \(\overline{u}_{\epsilon}\) is a supersolution of Eq. (1.1) in \(D^{-}_{\rho}\).
Similarly, we can show that \(\underline{u}_{\epsilon}\) is a subsolution of Eq. (1.1) in \(D^{+}_{\rho}\).
Now let u be an arbitrary solution of problem (1.1) and \(C_{1}(\delta_{\epsilon}):=\max_{d(x)\geq \delta_{\epsilon}}u(x)\). We see that
Since ϕ is decreasing and \(\gamma_{1}>\gamma\), we have
and
It follows by (f1) and Lemma 5 that
Hence, letting \(\rho\rightarrow0\), we have, for \(x\in D^{-}_{\rho}\cap D^{+}_{\rho}\),
and
Consequently,
Thus, letting \(\epsilon\rightarrow0\), we have
that is,
The proof is complete. □
Proof of Theorem 2
Let \(\epsilon\in(0,1)\) and
Using Lemma 4 and a direct calculation we see that, for \(x\in D^{-}_{\rho}\),
and
By the value of \(C_{1}\), \(C_{2}\) from Theorem 2 and (3.1) we know that
and by Lemmas 1 and 4 we get that there exists \(\delta_{\epsilon}\in(0,\frac{\delta}{2})\) sufficiently small such that, for \((x,t)\in\Omega_{2\delta_{\epsilon}}\times(0,2\delta_{\epsilon})\),
where \(\Phi(t)\) is given in Lemma 4 with \(h(t)=\pm C_{2}(N-1)(H(\overline{x})+1)\frac{K(t)}{k(t)}\).
Thus, for \(x\in D^{-}_{\rho}\), we have
i.e., \(\overline{u}_{\epsilon}(x)\) is a supersolution of Eq. (1.1) in \(D^{-}_{\rho}\).
Similarly, we can show that \(\underline{u}_{\epsilon}\) is a subsolution of Eq. (1.1) in \(D^{+}_{\rho}\).
By (3.4) and letting \(\rho\rightarrow0\), we have that, for \(x\in D^{-}_{\rho}\cap D^{+}_{\rho}\),
The proof is complete. □
References
Kawohl, B: On a family of torsional creep problems. J. Reine Angew. Math. 410, 1-22 (1990)
Showalter, RE, Walkington, NJ: Diffusion of fluid in a fissured medium with microstructure. J. Math. Anal. 22, 1702-1722 (1991)
Plissier, MC, Reynaud, ML: Étude d’un modèle mathématique d’écoulement de glacier. C. R. Acad. Sci. Paris, Ser. I Math. 279, 531-534 (1974)
Bieberbach, L: \(\Delta u=e^{u}\) und die automorphen Funktionen. Math. Ann. 77, 173-212 (1916)
Rademacher, H: Einige besondere probleme partieller differentialgleichungen. In: Die Differential- und Integralgleichungen der Mechanik und Physik, 2nd edn., vol. I, pp. 838-845. Rosenberg, New York (1943)
Keller, JB: On solutions of \(\Delta u=f(u)\). Commun. Pure Appl. Math. 10, 503-510 (1957)
Zhang, ZJ: A remark on the existence of explosive solutions for a class of semilinear elliptic equations. Nonlinear Anal. TMA 41, 143-148 (2000)
Tao, SP, Zhang, ZJ: On the existence of explosive solutions for semilinear elliptic problems. Nonlinear Anal. TMA 48, 1043-1050 (2002)
Huang, SB, Tian, QY, Zhang, SZ, Xi, JH: A second order estimate for blow-up solutions of elliptic equations. Nonlinear Anal. TMA 74, 2342-2350 (2011)
Huang, SB, Tian, QY, Zhang, SZ, Xi, JH, Fan, ZG: The exact blow-up rates of large solutions for semilinear elliptic equations. Nonlinear Anal. TMA 73, 3489-3501 (2010)
Bandle, C, Giarrusso, E: Boundary blow-up for semilinear elliptic equations with nonlinear gradient terms. Adv. Differ. Equ. 1, 133-150 (1996)
Lair, AV: A necessary and sufficient condition for existence of large solutions to semilinear elliptic equations. J. Math. Anal. Appl. 240, 205-218 (1999)
Du, Y, Ma, L: Logistic type equations on \(R^{N}\) by a squeezing method involving boundary blow-up solutions. J. Lond. Math. Soc. 64, 107-124 (2001)
Arrieta, JM, Rodriguez-Bernal, A: Localization near the boundary of blow-up for reaction-diffusion equations with nonlinear boundary conditions. Commun. Partial Differ. Equ. 29, 1127-1148 (2004)
Du, Y, Li, S: Positive solutions with prescribed patterns in some simple semilinear equations. Differ. Integral Equ. 15, 805-822 (2002)
Du, Y, Yamada, Y: On the long-time limit of positive solutions to the degenerate logistic equation. Discrete Contin. Dyn. Syst., Ser. A 25, 123-132 (2009)
Cirstea, F-C, Rădulescu, V: Uniqueness of the blow-up boundary solution of logistic equations with absorbtion. C. R. Acad. Sci. Paris, Ser. I 335, 447-452 (2002)
Cirstea, F-C, Rădulescu, V: Asymptotics for the blow-up boundary solution of the logistic equation with absorbtion. C. R. Acad. Sci. Paris, Ser. I 336, 231-236 (2003)
Cirstea, F-C, Rădulescu, V: Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. Asymptot. Anal. 46, 275-298 (2006)
Cirstea, F-C, Rădulescu, V: Boundary blow-up in nonlinear elliptic equations of Bieberbach-Rademacher type. Trans. Am. Math. Soc. 359, 3275-3286 (2007)
Garcia-Melián, J: Boundary behavior of large solutions to elliptic equations with singular weights. Nonlinear Anal. TMA 67, 818-826 (2007)
Lazer, AC, McKenna, PJ: Asymptotic behavior of solutions of boundary blowup problems. Differ. Integral Equ. 7, 1001-1019 (1994)
Du, Y, Huang, Q: Blow-up solutions for a class of semilinear elliptic and parabolic equations. SIAM J. Math. Anal. 31, 1-18 (1999)
Cano-Casanova, S, López-Gómez, J: Blow-up rates of radially symmetric large solutions. J. Math. Anal. Appl. 352(1), 166-174 (2009)
López-Gómez, J: Optimal uniqueness theorems and exact blow-up rates of large solutions. J. Differ. Equ. 224, 385-439 (2006)
López-Gómez, J: Uniqueness of radially symmetric large solutions (Proc. 6th AIMS Int. Conf., suppl.). Discrete Contin. Dyn. Syst. 2007, 677-686 (2007)
Loewner, C, Nirenberg, L: Partial differential equations invariant under conformal or projective transformations. In: Contributions to Analysis, pp. 245-272. Academic Press, Orlando (1974)
Bandle, C, Marcus, M: Large solutions of semilinear elliptic equations: existence, uniqueness and asymptotic behavior. J. Anal. Math. 58, 9-24 (1992)
Bandle, C, Marcus, M: On second-order effects in the boundary behavior of large solutions of semilinear elliptic problems. Differ. Integral Equ. 11, 23-34 (1998)
Bandle, C: Asymptotic behavior of large solutions of quasilinear elliptic problems. Z. Angew. Math. Phys. 54, 731-738 (2003)
Bandle, C, Marcus, M: Dependence of blowup rate of large solutions of semilinear elliptic equations, on the curvature of the boundary. Complex Var. Theory Appl. 49, 555-570 (2004)
Anedda, C, Porru, G: Boundary behavior for solutions of boundary blow-up problems in a borderline case. J. Math. Anal. Appl. 352, 35-47 (2009)
Garcia-Meliaan, J, Letelier-Albornoz, R, Sabinade Lis, J: Uniqueness and asymptotic behaviour for solutions of semilinear problems with boundary blow-up. Proc. Am. Math. Soc. 129(12), 3593-3602 (2001)
del Pino, M, Letelier, R: The influence of domain geometry in boundary blow-up elliptic problems. Nonlinear Anal. TMA 48, 897-904 (2002)
Cirstea, F-C: Elliptic equations with competing rapidly varying nonlinearities and boundary blow-up. Adv. Differ. Equ. 12, 995-1030 (2007)
Diaz, G, Letelier, R: Explosive solutions of quasilinear elliptic equations: existence and uniqueness. Nonlinear Anal. TMA 20, 97-125 (1993)
Zhang, ZJ: The asymptotic behaviour of solutions with blow-up at the boundary for semilinear elliptic problems. J. Math. Anal. Appl. 308, 532-540 (2005)
Zhang, ZJ: The second expansion of large solutions for semilinear elliptic equations. Nonlinear Anal. TMA 74, 3445-3457 (2011)
Zhang, ZJ: The second expansion of the solution for a singular elliptic boundary value problem. J. Math. Anal. Appl. 381, 922-934 (2011)
Zhang, ZJ, Ma, YJ, Mi, L, Li, XH: Blow-up rates of large solutions for elliptic equations. J. Differ. Equ. 249, 180-199 (2010)
Lu, QS, Yang, ZD, Twizell, EH: Existence of entire explosive positive solutions of quasi-linear elliptic equations. Appl. Math. Comput. 148, 359-372 (2004)
Yang, ZD, Xu, B, Wu, MZ: Existence of positive boundary blow-up solutions for quasilinear elliptic equations via sub and supersolutions. Appl. Math. Comput. 188, 492-498 (2007)
Yang, ZD: Existence of explosive positive solutions of quasilinear elliptic equations. Appl. Math. Comput. 177, 581-588 (2006)
McKenna, PJ, Reichel, TW, Walter, W: Symmetry and multiplicity for nonlinear elliptic differential equations with boundary blow up. Nonlinear Anal. TMA 28, 1213-1225 (1997)
Serrin, J: Entire solutions of quasilinear elliptic equations. J. Math. Anal. Appl. 352, 3-14 (2009)
Huang, SB, Tian, QY: Asymptotic behavior of large solution for boundary blowup problems with non-linear gradient terms. Appl. Math. Comput. 215, 3091-3097 (2009)
Mohammed, A: Existence and asymptotic behavior of blow-up solutions to weighted quasilinear equations. J. Math. Anal. Appl. 298, 621-637 (2004)
Mohammed, A: Boundary asymptotic and uniqueness of solutions to the p-Laplacian with infinite boundary values. J. Math. Anal. Appl. 325, 480-489 (2007)
Guo, ZM, Webb, JRL: Structure of boundary blow-up solutions for quasi-linear elliptic problems II: small and intermediate solutions. J. Differ. Equ. 211, 187-217 (2005)
Covei, DP: Large and entire large solution for a quasilinear problem. Nonlinear Anal. TMA 70, 1738-1745 (2009)
Melian, J, Rossi, JD, Sabina, J: Large solutions to the p-Laplacian for large p. Calc. Var. Partial Differ. Equ. 31, 187-204 (2008)
Zhang, Q, Liu, X, Qiu, Z: On the boundary blow-up solutions of \(p(x)\)-Laplacian equations with singular coefficient. Nonlinear Anal. TMA 70, 4053-4070 (2009)
Zhang, Q: Existence and asymptotic behavior of blow-up solutions to a class of \(p(x)\)-Laplacian problems. J. Math. Anal. Appl. 329, 472-482 (2007)
Du, Y, Guo, ZM: Boundary blow up solutions and their applications in quasilinear elliptic equations. J. Anal. Math. 89, 277-302 (2003)
Marić, 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)
Garcia-Meliaan, J: Uniqueness of positive solutions for a boundary blow-up problem. J. Math. Anal. Appl. 360(2), 530-536 (2009)
Acknowledgements
This work is supported by the Natural Science Foundation of Shandong Province of China (ZR2012AM018) and the Fundamental Research Funds for the Central Universities (No. 201362032). The authors would like to deeply thank all the reviewers for their insightful and constructive comments.
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 to the manuscript and read and approved the final manuscript.
Appendix
Appendix
In this appendix, we prove the existence and uniqueness of the solution for problem (1.1).
1.1 A.1 The existence of solutions for problem (1.1)
In the first part, we give the existence of solutions for problem (1.1).
Theorem 3
Let f satisfy (f1) and the Keller-Osserman condition (2.7), and b satisfy (b1). Then problem (1.1) has at least one solution \(u\in W^{1,p}_{\mathrm{loc}}(\overline{\Omega})\) satisfying
Furthermore, if f satisfies \(\int^{1}_{0}f^{-\frac{1}{p-1}}(s)\, ds=\infty\), then
where ψ is the solution of problem (1.4) and \(\overline {v}\in W^{1,p}_{0}(\Omega)\) is the unique solution for problem
Remark 4
By Lemma 2(3), we can see that f satisfies the Keller-Osserman condition under our hypotheses on f in Theorem 1.
Remark 5
By the similar argument in [46], we show that (f1) and the Keller-Osserman condition imply (f2). Indeed, if we can prove that there exist two positive numbers ρ and M such that
then it will be done since
which, in turn, yields \([F(s)]^{-\frac{1}{p}}\geq\frac{\rho^{\frac{1}{p-1}}}{f^{\frac{1}{p-1}}(s)}\), so that the Keller-Osserman condition implies (A.4). Then, we will prove (A.4) by contradiction. Assume that there exists an increasing sequence \({s_{j}}\) of real numbers such that \(\lim_{j\rightarrow\infty}s_{j}=\infty\) and \(\frac{f(s_{j})}{s_{j}}<\frac{1}{j}\) for all j. Since f is increasing, we have \(f(s)\leq f(s_{j})\) for all \(s\in[0,s_{j} ]\), which, in turn, produces \(F(s)\leq sf(s)\leq sf(s_{j})\rightarrow\infty\) for \(s\in[0,s_{j}]\). Hence,
as \(j\rightarrow\infty\), which contradicts the Keller-Osserman condition (2.7). Thus, (A.4) must be true, and then (f2) holds.
Proof
Let
We see that problem (1.1) is equivalent to the following problem:
where \(g(v)=f'(\psi(v))\), and ϕ is also the inverse function of ψ.
Now let \(v\in W^{1,p}_{\mathrm{loc}}(\Omega)\cap L^{\infty}_{\mathrm{loc}}(\Omega)\) be any solution of problem (A.6). We claim that
Indeed, assume on the contrary that \(\{x\in\Omega:v(x)>\overline{v}(x)\}\neq\emptyset\). Then, on its arbitrary connected component D, we have \(-\Delta _{p}(v-\overline{v})(x)\leq0\), \(x\in D\), since \(g(v)\geq0\). It follows by \((v-\overline{v})|_{\partial\Omega}=0\) and the maximum principle that \(v(x)\leq\overline{v}(x)\) for all \(x\in D\). This is a contradiction. Thus, (A.7) holds, i.e., any weak solution u of problem (1.1) satisfies (A.1). Moreover, by the definition of ψ and the condition \(\int^{1}_{0}\frac{ds}{f(s)}=\infty\) we see that \(\psi(\overline{v}(x))>0\), \(\forall x\in\Omega\), and (A.2) holds. Next, we consider the perturbed problem
By (b1) and (f1) we see that \(\overline{u}_{m}=m\) is a supersolution of problem (A.8). To construct a subsolution \(\underline{u}_{1}\) of problem (A.8), we let \(\overline{v}_{1}\in C^{2+\alpha}(\overline{\Omega})\) be the unique solution of the problem
and \(\overline{u}_{1}=\psi(\overline{v}_{1})\). Then we see that \(\underline{u}_{1}|_{\partial\Omega}=1\leq m\) and
which yields
i.e., \(\underline{u}_{1}\) is a subsolution of problem (A.8). Moreover, \(\underline{u}_{1}\leq1\leq m\), \(x\in\Omega\), due to the maximum principle. Thus, problem (A.8) has one solution \(u_{m}\in W^{1,p}_{0}\) in the order interval \([u_{1},m]\), and the maximum principle again yields that the map \(m\rightarrow u_{m}\) is increasing. On the other hand, the classical Keller-Osserman condition guarantees that the problem
has one solution \(u_{\Omega_{0}}\in W^{1,p}_{\mathrm{loc}}(\Omega)\) for each \(\Omega_{0}\subset\subset\Omega\), where \(b_{0}=\min_{x\in\overline{\Omega}_{0}}b(x)\). By the maximum principle we have \(u_{m}\leq u_{\Omega_{0}}(x)\), \(x\in\Omega_{0}\), and \(u(x):=\lim_{m\rightarrow\infty}u_{m}(x)\) exists for \(x\in\Omega_{0}\). Thus, u is the desired solution for problem (1.1) by the standard bootstrap argument, the arbitrariness of \(\Omega_{0}\), and (A.1). □
1.2 A.2 The uniqueness of the solution for problem (1.1)
In the second part, we prove the uniqueness of the solution for problem (1.1). The method is similar to the idea in [40, 58].
Theorem 4
Under the hypotheses in Theorem 1, problem (1.1) admits a unique solution.
Proof
Since \(\frac{f(s)}{s^{q}}\) is increasing in \([S_{0},\infty)\) for some \(q>p-1\) and \(S_{0}\) large enough, by Lemma 2(2) we have
Let \(u_{0}\) be the minimal solution for problem (1.3), and u be another solution for problem (1.1). We prove that \(u = u_{0}\) in Ω. In fact, by the maximum principle we have
Moreover, by the asymptotic behavior (1.3) we deduce that
For any \(\epsilon>0\), setting \(w=(1+\epsilon)u_{0}\), we have
Now, for small \(\epsilon> 0\), we define the open set
We may assume that \(D_{\epsilon}\) is nonempty for ϵ small enough; otherwise, there is nothing to prove. Indeed, notice that \(D_{\epsilon}\) increases as \(\epsilon\rightarrow0\). Moreover, we may also assume that \(D_{\epsilon}\rightarrow\Omega\) as \(\epsilon\rightarrow0\); if there exists \(x_{0}\in\Omega\) and a sequence \(\epsilon_{n}\rightarrow0\) such that \(x_{0}\in D_{\epsilon_{n}}\) for all n, then we have \((1+\epsilon_{n})u_{0}(x_{0})\geq u(x_{0})\). Then the strong maximum principle yields \(u\equiv u_{0}\) in Ω. Finally, we have \(D_{\epsilon}\subset\Omega\) by (A.13).
Next, we choose \(\eta>0\) such that \(u_{0}\geq S_{0}\) in \(\Omega_{\eta}\) and define \(D_{\epsilon,\eta}=D_{\epsilon}\cap D_{\eta}\). Notice that \(D_{\epsilon,\eta}\) is a nonempty open set for small ϵ. Moreover, by (A.11) we have
It follows by (f1) that
Thus, by the maximum principle we obtain
Since \(\partial D_{\epsilon,\eta}=(\partial D_{\epsilon}\cap D_{\eta})\cup( D_{\epsilon}\cap\partial D_{\eta})\), \(D_{\epsilon}\cap\partial\Omega=\emptyset\), and \((u-w)|_{\partial D_{\epsilon}}=0\), we see that the maximum of \(u-w\) is achieved on \(D_{\epsilon}\cap\partial D_{\eta}=( D_{\epsilon}\cap {x:d(x)=\eta})\). Hence,
Letting \(\epsilon\rightarrow0\) in (A.19), we obtain
On the other hand, by (A.12) and (f1) we have
The maximum principle implies that \(u-u_{0}\leq\theta\) in \(\Omega^{\eta}\), and hence \(u-u_{0}\leq\theta\) in the whole Ω. Then the strong maximum principle gives \(u-u_{0}\equiv\theta\). We obtain that \(f(u)=f(u+\theta)\) in Ω, which can only hold if \(\theta=0\). Thus, \(u=u_{0}\), which shows the uniqueness. □
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
Ma, YF., Fang, Z.B. The first and second expansion of large solutions for quasilinear elliptic equations with weight functions. Bound Value Probl 2015, 234 (2015). https://doi.org/10.1186/s13661-015-0498-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0498-y