The exact asymptotic behavior of blow-up solutions to a highly degenerate elliptic problem

Ling Mi

doi:10.1186/s13661-015-0482-6

Research

Open Access

The exact asymptotic behavior of blow-up solutions to a highly degenerate elliptic problem

Ling Mi¹Email author

Boundary Value Problems20152015:216

https://doi.org/10.1186/s13661-015-0482-6

Received: 25 August 2015

Accepted: 10 November 2015

Published: 25 November 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.

Keywords

highly degenerate elliptic equationsblow-up solutionsthe exact asymptotic behaviorcomparison functions

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:

$$ \triangle_{\infty} u =b(x)f(u), \quad u>0, x\in \Omega , u|_{\partial \Omega }=\infty, $$

(1.1)

where the operator $\triangle_{\infty}$ is the ∞-Laplacian, a highly degenerate elliptic operator given by

$$\triangle_{\infty}u := \bigl\langle D^{2}uDu, Du \bigr\rangle = \sum_{i,j=1} ^{N}D_{i}u D_{ij}uD_{j}u, $$

Ω is a bounded domain with smooth boundary in $\mathbb{R}^{N}$ ($N\geq2$), b satisfies

(b₁):: $b \in C({\bar{\Omega }})$ is positive in Ω,

and f satisfies

(f₁):: $f\in C^{1}([0, \infty))$, $f(0)=0$, f is increasing on $(0, \infty)$;

(f₂):: $\int_{1}^{\infty}\frac{d\nu}{(f(\nu))^{\frac {1}{3}}}<\infty$;

(f₃):: 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

$$ \int_{a}^{\infty}\frac{ds}{\sqrt[4]{F(s)}}< \infty,\quad \forall a>0, F(s)=\int_{0}^{s} f(\nu)\,d\nu, $$

(1.2)

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.

$$ \triangle u =b(x)f(u),\quad u>0, x\in \Omega , u|_{\partial \Omega }=\infty, $$

(1.3)

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 (f₁), Keller and Osserman [21, 26] first supplied the necessary and sufficient condition

$$ \int_{a}^{\infty}\frac{ds}{\sqrt{2F(s)}}< \infty,\quad \forall a>0, F(s)= \int_{0}^{s} f(\nu)\,d\nu, $$

(1.4)

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

$$\lim_{d(x)\rightarrow0}u(x) \bigl(d(x)\bigr)^{(N-2)/2}=\bigl(N(N-2)/4 \bigr)^{(N-2)/4}. $$

When f satisfies (f₁), (f₃), and the condition that

(f₄):: 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

(b₀₁):: 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)

$$ \lim_{d(x)\rightarrow0}\frac{u(x)}{ \psi (A(d(x))^{2-\sigma} )}=1, $$

(1.5)

where

$$A=\frac{b_{0}}{(2-\sigma) ((2-\sigma)(C_{f}-1)+1 )} $$

and ψ satisfies

$$ \int_{\psi(t)}^{\infty}\frac{ds}{f(s)}=t,\quad \forall t>0; $$

(1.6)

(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

$$ \lim_{t \rightarrow0^{+}} \frac {d}{dt} \biggl( \frac{K(t)}{k(t)} \biggr)=C_{k},\quad \mbox{where }K(t)= \int_{0}^{t} k(s)\,ds. $$

(1.7)

We note that for each $k\in\Lambda$,

$$\lim_{t \rightarrow0^{+}} \frac{K(t)}{k(t)}=0\quad \mbox{and}\quad C_{k} \in[0,1]. $$

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

(b₂):: 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

$$ \int_{\phi(t)}^{\infty} \frac{ds}{ (f(s) )^{\frac{1}{3}}}=t,\quad t>0. $$

(1.8)

Our main results are summarized as follows.

Theorem 1.1

Let f satisfy (f₁)-(f₃), b satisfy (b₁)-(b₂) and $1\leq C_{f}<\frac{3}{2}$. Then, for any solution u of problem (1.1),

$$ \lim _{d(x)\rightarrow 0}\frac{u(x)}{\phi (K^{\frac{4}{3}}(d(x)) )}=\xi_{0}, $$

(1.9)

where ϕ is uniquely determined by (1.8) and

$$ \xi_{0}= \biggl( \biggl(\frac{4}{3} \biggr)^{3}\frac{C_{k}}{b_{0}}+ \biggl(\frac{4}{3} \biggr)^{4}\frac{5C_{f}-3}{b_{0}(3-2C_{f})} \biggr)^{\frac{C_{f}-1}{3-2C_{f}}} . $$

(1.10)

In particular, when $C_{f}=1$, u verifies

$$ \lim_{d(x)\rightarrow0} \frac{u(x)}{\phi (K^{\frac{4}{3}}(d(x)) )}=1. $$

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}$,

$$ \lim_{s \rightarrow\infty} \frac{f(\xi s)}{f(s)}= \xi^{\rho }. $$

(2.1)

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$

$$ \lim_{s \rightarrow\infty} \frac{f(s)}{s^{\rho}}=\infty. $$

(2.2)

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

$$ L(s)=\varphi(s) \exp \biggl( \int_{a_{1}}^{s} \frac{y(\tau)}{\tau}\,d\tau \biggr), \quad s \geq a_{1}, $$

(2.3)

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

$$ \hat{L}(s)=c_{0} \exp \biggl( \int_{a_{1}}^{s} \frac{y(\tau)}{\tau}\,d\tau \biggr), \quad s \geq a_{1}, $$

(2.4)

normalized slowly varying at infinity and

$$ f(s)=c_{0}s^{\rho}\hat{L}(s), \quad s \geq a_{1}, $$

(2.5)

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

$$ f\in C^{1}[a_{1}, \infty) \quad\mbox{for some } a_{1}>0 \quad\mbox{and}\quad \lim_{s \rightarrow\infty} \frac{sf'(s)}{f(s)}=\rho. $$

(2.6)

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

$$\Delta_{\infty} \varphi(x_{0})\geq b(x_{0})f \bigl(u(x_{0})\bigr). $$

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

$$\Delta_{\infty} \varphi(x_{0})\leq b(x_{0})f \bigl(u(x_{0})\bigr). $$

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 (f₁)-(f₃), 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)

(f₃) 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$

$$\lim_{s \rightarrow\infty} \frac{f(s)}{s^{q}}=\infty. $$

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}$,

$$\lim_{s \rightarrow\infty} \frac{f(s)}{s^{q}}=\infty. $$

Consequently, there exist $S_{1}>0$ and $c_{q}>0$ such that

$$\frac{f(s)}{s^{q}}>c_{q}, \quad\forall s\geq S_{1}. $$

Then there exists $S_{2}>S_{1}$ such that

$$F(s)\geq {c_{q} s^{q+1}}, \quad\forall s\geq S_{2}, $$

i.e., (iii) holds. □

Lemma 3.3

Suppose f satisfy (f₁)-(f₃) and $1\leq C_{f}<\frac{3}{2}$. Let ϕ be the solution to the problem

$$\int_{\phi(t)}^{\infty}\frac{ds}{(f(s))^{\frac{1}{3}}}=t,\quad \forall t>0. $$

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

$$\begin{aligned} \lim_{t\rightarrow\infty}\frac{t f^{-\frac{1}{3}}(t)}{\int_{t}^{\infty}f^{-\frac{1}{3}}(s)\,ds}= \lim _{t\rightarrow\infty}\frac{t L_{1}(t)t^{-\frac{C_{f}}{3(C_{f}-1)}}}{\int_{t}^{\infty}L_{1}(s) s^{-\frac{C_{f}}{3(C_{f}-1)}}\,ds}=\frac{3-2C_{f}}{3(C_{f}-1)}. \end{aligned}$$

(3.1)

Hence,

$$\begin{aligned} \lim_{t\rightarrow0^{+}}\frac{t\phi'(t)}{\phi(t)}= -\lim_{t\rightarrow0^{+}} \frac {t (f(\phi(t)))^{\frac{1}{3}}}{\phi(t)} =-\lim_{s\rightarrow+\infty}\frac {(f(s))^{\frac{1}{3}}\int_{s}^{\infty}\frac {d\nu}{(f(\nu))^{\frac{1}{3}}}}{s}=- \frac{3(C_{f}-1)}{3-2C_{f}}, \end{aligned}$$

i.e., $\phi\in NRVZ_{-\frac{3(C_{f}-1)}{3-2C_{f}}}$.

(iii) By Lemma 3.2, (i) and (3.1), we know

$$\begin{aligned} \lim_{t\rightarrow0^{+}}\frac{t\phi''(t)}{\phi'(t)} =& -\frac{1}{3}\lim _{t\rightarrow0^{+}}\frac{f'(\phi(t))\int_{\phi(t)}^{\infty}(f(s))^{-\frac{1}{3}}\,ds}{(f(\phi(t)))^{\frac{2}{3}}} \\ =&-\lim_{s\rightarrow+\infty}\frac{f'(s) \int_{s}^{\infty}(f(\nu))^{-\frac{1}{3}}\,d\nu}{3(f(s))^{\frac{2}{3}}} = -\frac{1}{3}\lim _{s\rightarrow+\infty} \frac{s f'(s)}{f(s)} \frac{\int_{s}^{\infty}(f(\nu))^{-\frac{1}{3}}\,d\nu}{ s (f(s))^{-\frac{1}{3}}} \\ =&-\frac{3C_{f}}{3-2C_{f}}. \end{aligned}$$

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 (b₁), and f satisfy (f₁). Suppose $u, v\in C(\bar{\Omega})$ such that

$$\Delta_{\infty} u \geq b(x)f(u)\quad \textit{in }\Omega \quad\textit{and}\quad \Delta_{\infty} v \leq b(x)f(v)\quad \textit{in }\Omega $$

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

$$\Omega_{\delta}=\bigl\{ x\in\Omega: d(x)< \delta\bigr\} . $$

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

$$d^{-}(x):=d(x)-\rho,\qquad d^{+}(x):=d(x)+\rho. $$

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

$$\eta(t)=(\xi_{0}+\varepsilon) \phi \bigl(K^{\frac{4}{3}}(t) \bigr),\quad t\in(\rho, 2\delta). $$

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

$$\begin{aligned} \zeta'(t)=\frac{1}{\eta'(\zeta(t))}= \biggl( \frac{4}{3}(\xi_{0}+\varepsilon)\phi' \bigl(K^{\frac{4}{3}}\bigl(\zeta(t)\bigr) \bigr) K^{\frac{1}{3}}\bigl(\zeta(t) \bigr)k\bigl(\zeta(t)\bigr) \biggr)^{-1} \end{aligned}$$

(4.1)

and

$$\begin{aligned} \zeta''(t) =&- \biggl( \frac{4}{3}(\xi_{0}+\varepsilon)\phi' \bigl(K^{\frac{4}{3}}\bigl(\zeta(t)\bigr) \bigr) K^{\frac{1}{3}}\bigl(\zeta(t) \bigr)k\bigl(\zeta(t)\bigr) \biggr)^{-3} \\ &{}\times \biggl(\frac{16}{9}(\xi_{0}+\varepsilon) \phi'' \bigl(K^{\frac{4}{3}}\bigl(\zeta(t)\bigr) \bigr) K^{\frac{2}{3}}\bigl(\zeta(t)\bigr)k^{2}\bigl(\zeta(t)\bigr) \\ &{} +\frac{4}{9}(\xi_{0}+\varepsilon) \phi' \bigl(K^{\frac{4}{3}}\bigl(\zeta(t)\bigr) \bigr) K^{-\frac{2}{3}}\bigl(\zeta(t)\bigr)k^{2}\bigl(\zeta(t)\bigr) \\ &{} +\frac{4}{3}(\xi_{0}+\varepsilon) \phi' \bigl(K^{\frac{4}{3}}\bigl(\zeta(t)\bigr) \bigr) K^{\frac{1}{3}}\bigl(\zeta(t)\bigr)k'\bigl(\zeta(t)\bigr) \biggr). \end{aligned}$$

(4.2)

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

$$d^{-}(x)\leq\varphi(x)\quad \mbox{in }N,\qquad d^{-}(x_{0})= \varphi(x_{0}). $$

Since $\Delta_{\infty} d=0$ in $\Omega_{\rho}^{-}$, we have $\Delta_{\infty}\varphi(x_{0})\geq0$. A simple computation shows that

$$\Delta_{\infty}\varphi=\zeta''(\psi) \bigl( \zeta'(\psi)\bigr)^{2}|D\psi|^{4} +\bigl( \zeta'(\psi)\bigr)^{3}\Delta_{\infty}\psi. $$

It follows by $\Delta_{\infty}\varphi(x_{0})\geq0$ and $\zeta'<0$ that

$$\Delta_{\infty}\psi(x_{0})\leq -\zeta'' \bigl(\psi(x_{0})\bigr) \bigl(\zeta'\bigl( \psi(x_{0})\bigr)\bigr)^{-1}\bigl|D\psi(x_{0})\bigr|^{4}. $$

Moreover, since $|D d(x)|=1$ for $x\in\Omega_{\rho}^{-}$ and $d^{-}-\varphi$ attains a local maximum at $x_{0}$, it follows that

$$\bigl|D d^{-}(x_{0})\bigr|=\bigl|\zeta'\bigl( \psi(x_{0})\bigr) D\psi(x_{0}) \bigr|. $$

Hence

$$\Delta_{\infty}\psi(x_{0})\leq -\zeta'' \bigl(\psi(x_{0})\bigr) \bigl(\zeta'\bigl( \psi(x_{0})\bigr)\bigr)^{-5}. $$

Combining with (4.1) and (4.2), we further obtain

$$\begin{aligned} \Delta_{\infty}\psi(x_{0}) \leq& \biggl( \frac{4}{3} ( \xi_{0}+\varepsilon) \biggr)^{3} \bigl( \phi' \bigl(K^{\frac{4}{3}}\bigl(\varphi(x_{0})\bigr) \bigr) \bigr)^{3}k^{4} \bigl(\varphi(x_{0})\bigr)\\ &{}\times \biggl[\frac{4}{3}\frac{\phi'' (K^{\frac{4}{3}}(\varphi(x_{0})) ) K^{\frac{4}{3}}(\varphi(x_{0}))}{\phi' (K^{\frac{4}{3}} (\varphi(x_{0})) )}+\frac{1}{3}+ \frac{K(\varphi(x_{0})) k'(\varphi(x_{0}))}{k^{2}(\varphi(x_{0}))} \biggr]. \end{aligned}$$

Hence,

$$\begin{aligned} & \Delta_{\infty}\psi(x_{0})-b(x_{0})f\bigl( \bar{u}_{\varepsilon}(x_{0})\bigr) \\ &\quad\leq \biggl( \frac{4}{3} (\xi_{0}+\varepsilon) \biggr)^{3} \bigl(- \phi' \bigl(K^{\frac{4}{3}} \bigl(d^{-}(x_{0})\bigr) \bigr) \bigr)^{3}k^{4} \bigl(d^{-}(x_{0})\bigr) \biggl[-\frac{4}{3} \frac{\phi'' (K^{\frac{4}{3}}(d^{-}(x_{0})) ) K^{\frac{4}{3}}(d^{-}(x_{0}))}{\phi' (K^{\frac{4}{3}} (d^{-}(x_{0})) )} \\ &\qquad{}-\frac{1}{3}-\frac{K(d^{-}(x_{0})) k'(d^{-}(x_{0}))}{k^{2}(d^{-}(x_{0}))}- \biggl( \frac{4}{3} (\xi_{0}+\varepsilon) \biggr)^{-3} \frac{b(x_{0})}{k^{4}(d^{-}(x_{0}))}\frac{f(\bar{u}_{\varepsilon}(x_{0}))}{ ( -\phi' (K^{\frac{4}{3}}(d^{-}(x_{0})) ) )^{3}} \biggr] \\ &\quad=: \biggl( \frac{4}{3} (\xi_{0}+\varepsilon) \biggr)^{3} \bigl( -\phi' \bigl(K^{\frac{4}{3}} \bigl(d^{-}(x_{0})\bigr) \bigr) \bigr)^{3}k^{4} \bigl(d^{-}(x_{0})\bigr) I(x_{0}). \end{aligned}$$

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

$$I(x_{0})\rightarrow C_{k}+\frac{20 C_{f}-12}{3(3-2C_{f})}- b_{0} \biggl(\frac{3}{4} \biggr)^{3} ( \xi_{0}+\varepsilon ) ^{\frac{3-2C_{f}}{C_{f}-1}} \quad\mbox{as }\delta\rightarrow0. $$

By the choice of $\xi_{0}$, we have $I(x_{0})<0$ provided $\delta\in(0,\frac{\delta_{0}}{2}) $ small enough. Thus

$$\Delta_{\infty}\psi(x_{0})\leq b(x_{0})f\bigl( \bar{u}_{\varepsilon}(x_{0})\bigr), $$

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

$$\begin{aligned}& u\leq M(\delta)+\bar{u}_{\varepsilon},\quad x\in \Omega_{\rho}^{-}, \end{aligned}$$

(4.3)

$$\begin{aligned}& \underline{u}_{\varepsilon}\leq u+M(\delta),\quad x\in\Omega_{\rho}^{+}. \end{aligned}$$

(4.4)

In fact, we may choose a large $M(\delta)$ such that

$$u\leq M(\delta) +\bar{u}_{\varepsilon}\quad\mbox{on } \Gamma_{2\delta}: = \bigl\{ x\in\Omega: d(x)=2\delta\bigr\} , $$

where $M(\delta):=\max\{u(x): d(x)\geq2\delta \}$.

By (f₁), 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

$$\xi_{0}-\varepsilon-\frac{M(\delta)}{ \phi (K^{\frac{4}{3}}(d(x)) )}\leq \frac{u(x)}{\phi (K^{\frac{4}{3}}(d(x)) )} $$

and

$$\frac{u(x)}{\phi (K^{\frac{4}{3}}(d(x)) )} \leq \xi_{0}+\varepsilon+\frac{M(\delta)}{ \phi (K^{\frac{4}{3}}(d(x)) )}. $$

Moreover, by Lemma 3.3, we obtain

$$\xi_{0}-\varepsilon\leq\liminf_{d(x) \rightarrow0 } \frac{u(x)}{\phi (K^{\frac{4}{3}}(d(x)) )} \quad\mbox{and}\quad \limsup_{d(x) \rightarrow0 } \frac{u(x)}{\phi (K^{\frac{4}{3}}(d(x)) )} \leq \xi_{0}+\varepsilon. $$

Thus the proof is finished by letting $\varepsilon\rightarrow0$. □

Declarations

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).

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.

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

$$\lim _{t\rightarrow\infty}\frac{f_{1}(t)}{f_{2}(t)}=1 \quad\textit{and} \quad \int_{\phi_{1}(t)}^{\infty}\frac{ds}{ (f_{1}(s) )^{\frac{1}{3}}}=t= \int_{\phi_{2}(t)}^{\infty}\frac{ds}{ (f_{1}(s) )^{\frac{1}{3}}}, \quad\forall t>0, $$

then

$$\lim _{t\rightarrow0^{+}}\frac{\phi_{1}(t)}{\phi_{2}(t)}=1. $$

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

$$\bigl(f_{1}\bigl((1+\varepsilon)s\bigr) \bigr)^{\frac{1}{3}}> (1+ \varepsilon)^{\frac{\rho}{6}+1} \bigl(f_{1}(s) \bigr)^{\frac{1}{3}} $$

and

$$\bigl(f_{2}(s) \bigr)^{\frac{1}{3}}< (1+\varepsilon)^{\frac{\rho}{6}} \bigl(f_{1}(s) \bigr)^{\frac{1}{3}}, \quad\forall s> \phi_{2}(t), \forall t\in(0, t_{1}). $$

It follows that, for $t\in(0, t_{1})$,

$$\begin{aligned} \int_{\phi_{1}(t)}^{\infty}\frac{ds}{ (f_{1}(s) )^{\frac{1}{3}}} =& \int_{\phi_{2}(t)}^{\infty}\frac{ds}{ (f_{2}(s) )^{\frac{1}{3}}} \\ >& \int_{\phi_{2}(t)}^{\infty}\frac{ds}{(1+\varepsilon) ^{\frac{\rho}{6}} (f_{1}(s) )^{\frac{1}{3}}}> \int_{\phi_{2}(t)} ^{\infty}\frac{(1+\varepsilon)\,ds}{ (f_{1}((1+\varepsilon)s) )^{\frac{1}{3}}} \\ =& \int_{(1+\varepsilon)\phi_{2}(t)}^{\infty} \frac{ds}{ (f_{1}(s) )^{\frac{1}{3}}} . \end{aligned}$$

This implies that

$$\phi_{1}(t)< (1+\varepsilon)\phi_{2}(t),\quad t\in(0, t_{1}). $$

Similarly we can show that there exists $t_{2} > 0$ such that

$$\phi_{2}(t)< (1+\varepsilon)\phi_{1}(t),\quad t\in(0, t_{2}). $$

Therefore

$$\lim _{t\rightarrow0^{+}}\frac{\phi_{1}(t)}{\phi_{2}(t)}=1. $$

The proof is finished. □

Authors’ Affiliations

(1)

School of Science, Linyi University, Linyi, P.R. China

References

Aronsson, G: Extension of functions satisfying Lipschitz conditions. Ark. Mat. 6, 551-561 (1967) MATHMathSciNetView ArticleGoogle Scholar
Crandall, M, Lions, PL: Viscosity solutions and Hamilton-Jacobi equations. Trans. Am. Math. Soc. 277, 1-42 (1983) MATHMathSciNetView ArticleGoogle Scholar
Crandall, M, Evans, LC, Lions, PL: Some properties of viscosity solutions of Hamilton-Jacobi equations. Trans. Am. Math. Soc. 282, 487-502 (1984) MATHMathSciNetView ArticleGoogle Scholar
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) MATHMathSciNetView ArticleGoogle Scholar
Jensen, R: Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient. Arch. Ration. Mech. Anal. 123(1), 51-74 (1993) MATHView ArticleGoogle Scholar
Aronson, G, Crandall, MG, Juutinen, P: A tour of the theory of absolute minimizing functions. Bull. Am. Math. Soc. 41, 439-505 (2004) View ArticleGoogle Scholar
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) View ArticleGoogle Scholar
Juutinen, P, Rossi, J: Large solutions for the infinity Laplacian. Adv. Calc. Var. 1, 271-289 (2008) MATHMathSciNetView ArticleGoogle Scholar
Mohammed, A, Mohammed, S: Boundary blow-up solutions to degenerate elliptic equations with non-monotone inhomogeneous terms. Nonlinear Anal. 75, 3249-3261 (2012) MATHMathSciNetView ArticleGoogle Scholar
Mohammed, A, Mohammed, S: On boundary blow-up solutions to equations involving the ∞-Laplacian. Nonlinear Anal. 74, 5238-5252 (2011) MATHMathSciNetView ArticleGoogle Scholar
Bandle, C, Marcus, M: Large solutions of semilinear elliptic equations: existence, uniqueness and asymptotic behavior. J. Anal. Math. 58, 9-24 (1992) MATHMathSciNetView ArticleGoogle Scholar
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) MATHView ArticleGoogle Scholar
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) MATHView ArticleGoogle Scholar
Cîrstea, F, Rǎdulescu, V: Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. Asymptot. Anal. 46, 275-298 (2006) MATHMathSciNetGoogle Scholar
Cîrstea, F: Elliptic equations with competing rapidly varying nonlinearities and boundary blow-up. Adv. Differ. Equ. 12, 995-1030 (2007) MATHGoogle Scholar
Du, Y, Huang, Q: Blow-up solutions for a class of semilinear elliptic and parabolic equations. SIAM J. Math. Anal. 31, 1-18 (1999) MATHMathSciNetView ArticleGoogle Scholar
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) MATHView ArticleGoogle Scholar
García-Melián, J: Boundary behavior of large solutions to elliptic equations with singular weights. Nonlinear Anal. 67, 818-826 (2007) MATHMathSciNetView ArticleGoogle Scholar
García-Melián, J: Uniqueness of positive solutions for a boundary blow-up problem. J. Math. Anal. Appl. 360(2), 530-536 (2009) MATHMathSciNetView ArticleGoogle Scholar
Juutinen, P: Convexity of solutions to boundary blow-up problems. Commun. Pure Appl. Anal. 12, 2267-2275 (2013) MATHMathSciNetView ArticleGoogle Scholar
Keller, JB: On solutions of $\triangle u=f(u)$. Commun. Pure Appl. Math. 10, 503-510 (1957) MATHView ArticleGoogle Scholar
Lair, AV: A necessary and sufficient condition for existence of large solutions to semilinear elliptic equations. J. Math. Anal. Appl. 240, 205-218 (1999) MATHMathSciNetView ArticleGoogle Scholar
Lazer, AC, McKenna, PJ: Asymptotic behavior of solutions of boundary blowup problems. Differ. Integral Equ. 7, 1001-1019 (1994) MATHMathSciNetGoogle Scholar
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) Google Scholar
López-Gómez, J: Optimal uniqueness theorems and exact blow-up rates of large solutions. J. Differ. Equ. 224, 385-439 (2006) MATHView ArticleGoogle Scholar
Osserman, R: On the inequality $\triangle u\geq f(u)$. Pac. J. Math. 7, 1641-1647 (1957) MATHMathSciNetView ArticleGoogle Scholar
Zhang, Z, Ma, Y, Mi, L, Li, X: Blow-up rates of large solutions for elliptic equations. J. Differ. Equ. 249, 180-199 (2010) MATHMathSciNetView ArticleGoogle Scholar
Mi, L, Liu, B: Second order expansion for blowup solutions of semilinear elliptic problems. Nonlinear Anal. 75, 2591-2613 (2012) MATHMathSciNetView ArticleGoogle Scholar
Maric, V: Regular Variation and Differential Equations. Lecture Notes in Math., vol. 1726. Springer, Berlin (2000) MATHGoogle Scholar
Resnick, SI: Extreme Values, Regular Variation, and Point Processes. Springer, Berlin (1987) MATHView ArticleGoogle Scholar
Seneta, R: Regular Varying Functions. Lecture Notes in Math., vol. 508. Springer, Berlin (1976) View ArticleGoogle Scholar
Zhang, Z: The second expansion of the solution for a singular elliptic boundary value problems. J. Math. Anal. Appl. 381, 922-934 (2011) MATHMathSciNetView ArticleGoogle Scholar

Boundary Value Problems

The exact asymptotic behavior of blow-up solutions to a highly degenerate elliptic problem

Abstract

Keywords

1 Introduction and the main results

Theorem 1.1

Remark 1.1

2 Preparation

Definition 2.1

Definition 2.2

Proposition 2.1

Proposition 2.2

Proposition 2.3

Proposition 2.4

Proposition 2.5

Proposition 2.6

Definition 2.3

Definition 2.4

Definition 2.5

3 Some auxiliary results

Lemma 3.1

Proof

Lemma 3.2

Proof

Lemma 3.3

Proof

4 Proof of the theorem

Lemma 4.1

Proof of Theorem 1.1

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright