- Research
- Open access
- Published:
The exact asymptotic behavior of blow-up solutions to a highly degenerate elliptic problem
Boundary Value Problems volume 2015, Article number: 216 (2015)
Abstract
In this paper, by constructing new comparison functions, we mainly study the boundary behavior of solutions to boundary blow-up elliptic problems for more general nonlinearities f (which may be rapidly varying at infinity) \(\triangle_{\infty} u =b(x)f(u)\), \(x\in \Omega \), \(u|_{\partial \Omega }=+\infty\), where Ω is a bounded domain with smooth boundary in \(\mathbb{R}^{N}\), and \(b \in C(\bar{\Omega })\) which is positive in Ω and may be vanishing on the boundary and rapidly varying near the boundary.
1 Introduction and the main results
In this paper, we consider the exact asymptotic behavior of solutions to the following boundary blow-up elliptic problem:
where the operator \(\triangle_{\infty}\) is the ∞-Laplacian, a highly degenerate elliptic operator given by
Ω is a bounded domain with smooth boundary in \(\mathbb{R}^{N}\) (\(N\geq2\)), b satisfies
- (b1):
-
\(b \in C({\bar{\Omega }})\) is positive in Ω,
and f satisfies
- (f1):
-
\(f\in C^{1}([0, \infty))\), \(f(0)=0\), f is increasing on \((0, \infty)\);
- (f2):
-
\(\int_{1}^{\infty}\frac{d\nu}{(f(\nu))^{\frac {1}{3}}}<\infty\);
- (f3):
-
there exists \(C_{f}>0\) such that \(\lim _{s\rightarrow+\infty}f'(s)\int_{s}^{\infty}\frac {d\nu}{f(\nu)}=C_{f}\).
The ∞-Laplacian has been the subject of extensive investigation since the fundamental work of Aronsson [1] in which he established that the equation \(\triangle_{\infty}u= 0\) is the Euler-Lagrange equation for smooth absolute minimizers. As a result of the high degeneracy of the ∞-Laplacian, the associated Dirichlet problems may not have classical solutions. Therefore solutions are understood in the viscosity sense, a concept introduced by Crandall and Lions [2], Crandall et al. [3], and Crandall et al. [4], and to be defined in Section 2. Later, Jensen [5] proved the existence and uniqueness of the viscosity solutions to the Dirichlet problem to the infinity harmonic equation. Since then, the infinity Laplace equation has been attracting considerable attention and we direct the reader to see [6–8] and the references therein.
By a solution to the problem (1.1), we mean a nonnegative function \(u\in C(\Omega)\) that satisfies the equation in the viscosity sense (see Section 2 for definition) and the boundary condition with \(u(x)\rightarrow\infty\) as the distance function \(d(x): =\operatorname{dist}(x,\Omega)\rightarrow0\). Such a solution is called a boundary blow-up solution. Recently, A Mohammed and S Mohammed [9, 10] first supplied a necessary and sufficient condition
for the existence of solutions to problem (1.1).
The investigation of boundary blow-up problems for elliptic equations has a long history. Early studies mainly focused on problems involving the classical Laplace operator Δ, i.e.
The problem (1.3) arises in Riemannian geometry, mathematical physics or population dynamics, and has been discussed and extended by many authors in many contexts; see, for instance, [11–28] and the references therein.
For \(b \equiv1\) on Ω and f satisfying (f1), Keller and Osserman [21, 26] first supplied the necessary and sufficient condition
for the existence of solutions to problem (1.3).
Loewner and Nirenberg [24] showed that if \(f(u)=u^{p_{0}}\) with \(p_{0}=(N+2)/(N-2)\), \(N>2\), then problem (1.3) has a unique positive solution u which satisfies
When f satisfies (f1), (f3), and the condition that
- (f4):
-
there exist \(p>1\), \(S_{0}>0\) such that \(f(s)/{s^{p}}\) is increasing on \([S_{0}, \infty)\)
and \(b\in C^{\alpha}(\Omega)\) which is positive in Ω and satisfies
- (b01):
-
there exist \(b_{0}>0\) and \(\sigma\in(0, 2)\) such that
$$\lim_{d(x)\rightarrow0}b(x) \bigl(d(x) \bigr)^{\sigma}=b_{0}, $$
García-Melián [18] showed (by using nonlinear transformations, a perturbation method, and a comparison principle) that:
(i) if \(C_{f}>1\), then for any solution u of problem (1.1)
where
and ψ satisfies
(ii) if \(C_{f} =1\) and \(h(t): =t f'(\psi(t))\geq 1\) for sufficiently small \(t>0\), then (i) still holds.
Now we introduce a class of functions.
Let Λ denote the set of all positive non-decreasing functions \(k\in C^{1}(0, \nu)\) which satisfy
We note that for each \(k\in\Lambda\),
The set Λ was first introduced by Cîrstea and Rǎdulescu. Meanwhile, Cîrstea and Rǎdulescu [12–15] introduced the Karamata regular variation theory to study the boundary behavior and uniqueness of solutions for problem (1.3) and obtained a series of rich and significant information about the boundary behavior of the blow-up solutions.
Inspired by the above works, in this paper, by constructing new comparison functions, we consider the exact asymptotic behavior of the solution u of problem (1.1) near ∂Ω under appropriate conditions on \(b(x)\).
Suppose b also satisfies
- (b2):
-
there exist some \(k\in\Lambda\) and a positive constant \(b_{0} \in\mathbb{R}\) such that
$$\lim_{d(x) \rightarrow0 } \frac{b(x)}{k^{4}(d(x))} =b_{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 f satisfy (f1)-(f3), b satisfy (b1)-(b2) and \(1\leq C_{f}<\frac{3}{2}\). Then, for any solution u of problem (1.1),
where ϕ is uniquely determined by (1.8) and
In particular, when \(C_{f}=1\), u verifies
Remark 1.1
For the existence of solutions for problem (1.1), see A. Mohammed and S. Mohammed [9, 10].
The outline of this paper is as follows. In Sections 2 and 3, we give some preparation that will be used in the next section. The proof of Theorem 1.1 will be given in Section 4.
2 Preparation
Our approach relies on Karamata regular variation theory established by Karamata in 1930 which is a basic tool in the theory of stochastic process (see [29–31] and the references therein). In this section, we first give a brief account of the definition and properties of regularly varying functions involved in our paper (see [29–31]).
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 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 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\)
Some basic examples of slowly varying functions at infinity are
-
(1)
every measurable function on \([a, \infty)\) which has a positive limit at infinity;
-
(2)
\((\ln s)^{\beta}\) and \((\ln(\ln s))^{\beta}\), \(\beta\in\mathbb{R}\);
-
(3)
\(e^{(\ln s)^{p}}\), \(0< p<1\),
and some basic examples of rapidly varying functions at infinity are
-
(1)
\(e^{s}\) and \(e^{e^{s}}\);
-
(2)
\(e^{ e^{(\ln s)^{p}}}\), \(e^{s^{p}}\) and \(e^{e^{s^{p}}}\), \(p>0\);
-
(3)
\(s^{\beta}e^{(\ln s)^{p}}\) and \((\ln s)^{\beta}e^{(\ln s)^{p}}\), \(p>1\), \(\beta\in\mathbb{R}\);
-
(4)
\((\ln s)^{\beta}e^{s^{p}}\) and \(s^{\beta}e^{s^{p}}\), \(p>0\), \(\beta\in\mathbb{R}\).
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 RVZ_{\sigma}\)) if \(t\rightarrow g(1/t)\) belongs to \(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 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 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 for \(s \rightarrow\infty\), \(y(s)\rightarrow0\), and \(\varphi(s)\rightarrow c_{0}\), with \(c_{0}>0\).
We call
normalized slowly varying at infinity and
normalized regularly varying at infinity with index ρ (and written as \(f\in NRV_{\rho}\)).
Similarly, g is called normalized regularly varying at zero with index σ, written as \(g \in NRVZ_{\sigma}\), if \(t\rightarrow g(1/t)\) belongs to \(NRV_{-\sigma}\).
A function \(f\in RV_{\rho}\) belongs to \(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\) and \(t\rightarrow +\infty\), \(t^{\theta} L(t)\rightarrow+\infty\), \(t^{-\theta} L(t)\rightarrow0\).
-
(iii)
For \(\rho\in\mathbb{R}\) and \(t\rightarrow +\infty\), \(\frac{\ln(L(t))}{\ln t}\rightarrow0\) and \(\frac{\ln(t^{\rho}L(t))}{\ln t}\rightarrow\rho\).
Proposition 2.4
-
(i)
If \(f_{1}\in{R}V_{\rho_{1}}\), \(f_{2}\in {R}V_{\rho_{2}} \) with \(\lim _{t\rightarrow\infty} f_{2} (t)=\infty\), then \(f_{1}\circ f_{2}\in{R}V_{\rho_{1} \rho_{2}}\).
-
(ii)
If \(f\in RV_{\rho}\), then \(f^{\alpha}\in RV_{\rho\alpha}\) for every \(\alpha\in\mathbb{R}\).
Proposition 2.5
(Asymptotic behavior)
If a function L is slowly varying at infinity, then for \(a\geq0\) and \(t\rightarrow\infty\),
-
(i)
\(\int_{a}^{t} s^{\beta}L(s)\,ds\cong (\beta+1)^{-1}t^{1+\beta}L(t)\), for \(\beta>-1\);
-
(ii)
\(\int_{t}^{\infty}s^{\beta}L(s)\,ds\cong (-\beta-1)^{-1}t^{1+\beta}L(t)\), for \(\beta< -1\).
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\).
Next, we recall here the precise definition of viscosity solutions for the problem (1.1).
Definition 2.3
A function \(u\in C(\Omega)\) is a viscosity subsolution of the PDE \(\Delta_{\infty} u=b(x)f(u)\) in Ω if for every \(\varphi\in C^{2}(\Omega)\), with the property that \(u-\varphi\) has a local maximum at some \(x_{0}\in\Omega\), then
Definition 2.4
A function \(u\in C(\Omega)\) is a viscosity supersolution of the PDE \(\Delta_{\infty} u=b(x)f(u)\) in Ω if for every \(\varphi \in C^{2}(\Omega)\), with the property that \(u-\varphi\) has a local minimum at some \(x_{0}\in\Omega\), then
Definition 2.5
A function \(u\in C(\Omega)\) is a viscosity solution of the PDE \(\Delta_{\infty} u=b(x)f(u)\) in Ω if it is both a subsolution and a supersolution. Finally, by a solution of (1.1) we mean a function u that is a solution of the PDE \(\triangle_{\infty} u=b(x)f(u)\) such that \(u=\infty\) on ∂Ω.
3 Some auxiliary results
In this section, we collect some useful results that will be used in the proof of the theorem.
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 NRVZ_{C_{k}^{-1}}\);
-
(ii)
\(\lim _{t \rightarrow0^{+}} \frac{tk'(t)}{k(t)}=\frac{1-C_{k}}{C_{k}}\), i.e., \(k\in 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 the proof of Lemma 2.1 in [32], so we omit it. □
Lemma 3.2
If f satisfies (f1)-(f3), then
-
(i)
\(C_{f}\in[1, \infty)\);
-
(ii)
there exists \(S_{0}>0\) such that \(f(s)/{s^{q}}\) is increasing in \([S_{0}, \infty)\), where \(q\in (1, \frac {C_{f}}{C_{f}-1} )\) for \(C_{f}>1\) and \(q\in(1, \infty)\) for \(C_{f}=1\);
-
(iii)
if \(1\leq C_{f}<\frac{3}{2}\), f satisfies the Keller-Osserman condition (1.2);
-
(iv)
(f3) holds for \(C_{f}>1\) if and only if \(f\in NRV_{{C_{f}}/(C_{f}-1)}\);
-
(v)
if \(C_{f}=1\), f is rapidly varying at infinity.
Proof
We only need to prove (iii). The proof of the rest can be found in [27].
When \(C_{f}=1\), according to (ii) and Definition 2.2, we obtain for each \(q>1\)
When \(1< C_{f}<\frac{3}{2}\), by (ii) and Proposition 2.3, we obtain for each \(3< q<\frac{C_{f}}{C_{f}-1}\),
Consequently, there exist \(S_{1}>0\) and \(c_{q}>0\) such that
Then there exists \(S_{2}>S_{1}\) such that
i.e., (iii) holds. □
Lemma 3.3
Suppose f satisfy (f1)-(f3) and \(1\leq C_{f}<\frac{3}{2}\). Let ϕ be the solution to the problem
Then
-
(i)
\(-\phi'(t)= (f(\phi(t)) )^{\frac{1}{3}}\), \(\phi(t)>0\), \(t>0\), \(\phi(0): =\lim _{t\rightarrow0^{+}}\phi(t)=+\infty\) and \(\phi''(t)=\frac{1}{3} (f(\phi(t)) )^{-\frac{1}{3}}f'(\phi(t))\), \(t>0\);
-
(ii)
\(\phi\in NRVZ_{-\frac{3(C_{f}-1)}{3-2C_{f}}}\);
-
(iii)
\(\phi' \in NRVZ_{-\frac{3C_{f}}{3-2C_{f}}}\);
-
(iv)
\(\lim _{t\rightarrow0^{+}} \frac{\ln(\phi(t))}{-\ln t}=\frac{3(C_{f}-1)}{3-2C_{f}}\) and \(\lim _{t\rightarrow0^{+}} \frac{\ln(f(\phi(t)))}{-\ln t}=\frac{3C_{f}}{3-2C_{f}}\).
Proof
By the definition of ϕ and a direct calculation, we show that (i) holds.
(ii) It follows from the proof of Lemma 3.1 and Proposition 2.4(ii) that \(f^{-\frac{1}{3}}\in RV_{-\frac{C_{f}}{3(C_{f}-1)}}\). Define \(L_{1}(t):=f^{-\frac{1}{3}}(t)/t^{-\frac{C_{f}}{3(C_{f}-1)}}\). Then \(L_{1}\) is slowly varying, and \(-\frac{C_{f}}{3(C_{f}-1)}<-1\) due to \(1\leq C_{f}<\frac{3}{2}\). Therefore, by Proposition 2.5, we have
Hence,
i.e., \(\phi\in NRVZ_{-\frac{3(C_{f}-1)}{3-2C_{f}}}\).
(iii) By Lemma 3.2, (i) and (3.1), we know
The last result (iv) follows from (ii)-(iii) and Proposition 2.3(iii). □
4 Proof of the theorem
In this section, we prove Theorem 1.1.
First, we need the following result.
Lemma 4.1
(The comparison principle) ([10], Lemma 2.5)
Let b satisfy (b1), and f satisfy (f1). Suppose \(u, v\in C(\bar{\Omega})\) such that
in the viscosity sense. If \(u\leq v\) on ∂Ω and \(0\leq v\) on ∂Ω, then \(u\leq v\) in Ω.
For any \(\delta>0\), we define
Since Ω is smooth, there exists \(\delta_{0}>0\) such that \(d\in C^{2}(\Omega_{\delta_{0}}) \) and \(|\nabla d(x)|= 1\), \(\forall x\in\Omega_{\delta_{0}}\), and consequently \(\Delta_{\infty}d=0\) in \(\Omega_{\delta_{0}}\) in the viscosity sense.
Proof of Theorem 1.1
Fix a small \(\varepsilon>0\). Let \(\delta\in(0,\frac{\delta_{0}}{2})\), \(\rho\in(0,\delta)\), and, for simplicity, denote
Define \(\bar{u}_{\varepsilon} =(\xi_{0}+\varepsilon) \phi (K^{\frac{4}{3}}(d^{-}(x)) )\) for any \(x\in\Omega_{2\delta} \backslash \bar{\Omega}_{\rho}=:\Omega_{\rho}^{-}\) and \(\underline{u}_{\varepsilon} =(\xi_{0}-\varepsilon) \phi (K^{\frac{4}{3}}(d^{+}(x)) )\) for any \(x\in\Omega_{2\delta-\rho}=:\Omega_{\rho}^{+}\).
Let
Note that K and ϕ are increasing and decreasing in their respective definition domains. Therefore, when δ is small enough, η is decreasing in \((\rho,2\delta)\). Let ζ be the inverse of η. One can easily check that
and
Let \((x_{0},\psi)\in\Omega_{\rho}^{-}\times C^{2}(\Omega_{\rho}^{-})\) be a pair such that \(\bar{u}_{\varepsilon}\geq\psi\) in a neighborhood N of \(x_{0}\) and \(\bar{u}_{\varepsilon} (x_{0})= \psi(x_{0})\) Then \(\varphi=\zeta(\psi)\in C^{2}(\Omega_{\rho}^{-})\), and
Since \(\Delta_{\infty} d=0\) in \(\Omega_{\rho}^{-}\), we have \(\Delta_{\infty}\varphi(x_{0})\geq0\). A simple computation shows that
It follows by \(\Delta_{\infty}\varphi(x_{0})\geq0\) and \(\zeta'<0\) that
Moreover, since \(|D d(x)|=1\) for \(x\in\Omega_{\rho}^{-}\) and \(d^{-}-\varphi\) attains a local maximum at \(x_{0}\), it follows that
Hence
Combining with (4.1) and (4.2), we further obtain
Hence,
Notice that \(K^{\frac{4}{3}}(d^{-}(x_{0}))\rightarrow0 \) as \(\delta\rightarrow0\) (and thereby \(x_{0}\) tends to the boundary of Ω). Then it follows from Lemmas 3.2 and 3.3 that
By the choice of \(\xi_{0}\), we have \(I(x_{0})<0\) provided \(\delta\in(0,\frac{\delta_{0}}{2}) \) small enough. Thus
i.e., \(\bar{u}_{\varepsilon}\) is a supersolution of equation (1.1) in \(\Omega_{\rho}^{-}\).
In a similar way, we can show that \(\underline{u}_{\varepsilon}\) is a subsolution of equation (1.1) in \(\Omega_{\rho}^{+}\).
Now let u be an arbitrary solution of problem (1.1). We assert that there exists a positive constant M such that
In fact, we may choose a large \(M(\delta)\) such that
where \(M(\delta):=\max\{u(x): d(x)\geq2\delta \}\).
By (f1), we see that \(\bar{u}_{\varepsilon}+M(\delta) \) is also a supersolution of equation (1.1) in \(\Omega_{\rho}^{-}\). Since \(u<\bar{u}_{\varepsilon}\) on \(\Gamma_{\rho}:=\{x\in\Omega: d(x)=\rho\}\), (4.3) follows by Lemma 4.1.
In a similar way, we can show (4.4).
Hence, \(x\in\Omega_{\rho}^{-}\cap\Omega_{\rho}^{+}\), by letting \(\rho \rightarrow0\), we have
and
Moreover, by Lemma 3.3, we obtain
Thus the proof is finished by letting \(\varepsilon\rightarrow0\). □
References
Aronsson, G: Extension of functions satisfying Lipschitz conditions. Ark. Mat. 6, 551-561 (1967)
Crandall, M, Lions, PL: Viscosity solutions and Hamilton-Jacobi equations. Trans. Am. Math. Soc. 277, 1-42 (1983)
Crandall, M, Evans, LC, Lions, PL: Some properties of viscosity solutions of Hamilton-Jacobi equations. Trans. Am. Math. Soc. 282, 487-502 (1984)
Crandall, M, Ishii, H, Lions, PL: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27, 1-67 (1992)
Jensen, R: Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient. Arch. Ration. Mech. Anal. 123(1), 51-74 (1993)
Aronson, G, Crandall, MG, Juutinen, P: A tour of the theory of absolute minimizing functions. Bull. Am. Math. Soc. 41, 439-505 (2004)
Crandall, MG: A visit with the 1-Laplace equation. In: Calculus of Variations and Nonlinear Partial Differential Equations. Lecture Notes in Math., vol. 1927, pp. 75-122. Springer, Berlin (2008)
Juutinen, P, Rossi, J: Large solutions for the infinity Laplacian. Adv. Calc. Var. 1, 271-289 (2008)
Mohammed, A, Mohammed, S: Boundary blow-up solutions to degenerate elliptic equations with non-monotone inhomogeneous terms. Nonlinear Anal. 75, 3249-3261 (2012)
Mohammed, A, Mohammed, S: On boundary blow-up solutions to equations involving the ∞-Laplacian. Nonlinear Anal. 74, 5238-5252 (2011)
Bandle, C, Marcus, M: Large solutions of semilinear elliptic equations: existence, uniqueness and asymptotic behavior. J. Anal. Math. 58, 9-24 (1992)
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: Elliptic equations with competing rapidly varying nonlinearities and boundary blow-up. Adv. Differ. Equ. 12, 995-1030 (2007)
Du, Y, Huang, Q: Blow-up solutions for a class of semilinear elliptic and parabolic equations. SIAM J. Math. Anal. 31, 1-18 (1999)
García-Melián, J, Letelier Albornoz, R, Sabina de Lis, J: Uniqueness and asymptotic behaviour for solutions of semilinear problems with boundary blow-up. Proc. Am. Math. Soc. 129(12), 3593-3602 (2001)
García-Melián, J: Boundary behavior of large solutions to elliptic equations with singular weights. Nonlinear Anal. 67, 818-826 (2007)
García-Melián, J: Uniqueness of positive solutions for a boundary blow-up problem. J. Math. Anal. Appl. 360(2), 530-536 (2009)
Juutinen, P: Convexity of solutions to boundary blow-up problems. Commun. Pure Appl. Anal. 12, 2267-2275 (2013)
Keller, JB: On solutions of \(\triangle u=f(u)\). Commun. Pure Appl. Math. 10, 503-510 (1957)
Lair, AV: A necessary and sufficient condition for existence of large solutions to semilinear elliptic equations. J. Math. Anal. Appl. 240, 205-218 (1999)
Lazer, AC, McKenna, PJ: Asymptotic behavior of solutions of boundary blowup problems. Differ. Integral Equ. 7, 1001-1019 (1994)
Loewner, C, Nirenberg, L: Partial differential equations invariant under conformal or projective transformations. In: Contributions to Analysis (a collection of papers dedicated to Lipman Bers), pp. 245-272. Academic Press, New York (1974)
López-Gómez, J: Optimal uniqueness theorems and exact blow-up rates of large solutions. J. Differ. Equ. 224, 385-439 (2006)
Osserman, R: On the inequality \(\triangle u\geq f(u)\). Pac. J. Math. 7, 1641-1647 (1957)
Zhang, Z, Ma, Y, Mi, L, Li, X: Blow-up rates of large solutions for elliptic equations. J. Differ. Equ. 249, 180-199 (2010)
Mi, L, Liu, B: Second order expansion for blowup solutions of semilinear elliptic problems. Nonlinear Anal. 75, 2591-2613 (2012)
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, Berlin (1987)
Seneta, R: Regular Varying Functions. Lecture Notes in Math., vol. 508. Springer, Berlin (1976)
Zhang, Z: The second expansion of the solution for a singular elliptic boundary value problems. J. Math. Anal. Appl. 381, 922-934 (2011)
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) and NSF of Shandong Province (Grant no. ZR2013AQ004), the Applied Mathematics Enhancement Program (AMEP) of Linyi University (Grant no. 2013001) 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 that they have no competing interests.
Appendix
Appendix
The following result shows that ϕ defined by (1.8) is stable.
Lemma A.1
Let \(f_{1}\) and \(f_{2}\) be positive continuous on \((0, \infty)\) and \(f_{1}\in RV_{\rho+3} \) (\(\rho> 0\)). If
then
Proof
Since \(f_{1}\in RV_{\rho+3} \) (\(\rho> 0\)), \(f_{1}^{\frac{1}{3}}\in RV_{\frac{\rho}{3}+1}\). Hence, for any given small \(\varepsilon> 0\), there exists \(t_{1} > 0\) such that
and
It follows that, for \(t\in(0, t_{1})\),
This implies that
Similarly we can show that there exists \(t_{2} > 0\) such that
Therefore
The proof is finished. □
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. The exact asymptotic behavior of blow-up solutions to a highly degenerate elliptic problem. Bound Value Probl 2015, 216 (2015). https://doi.org/10.1186/s13661-015-0482-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0482-6