• Research
• Open Access

# On the Keller-Osserman conjecture in one dimensional case

Boundary Value Problems20162016:162

https://doi.org/10.1186/s13661-016-0667-7

• Accepted: 22 August 2016
• Published:

## Abstract

A sufficient and necessary condition for existence of solution for the boundary blow-up problem in one dimensional case is obtained. This problem can be seen as the Keller-Osserman conjecture, which comes from the study on elliptic equations.

## Keywords

• Keller-Osserman conjecture
• boundary blow-up problem
• symmetrical method

## 1 Introduction

The boundary blow-up problem
$$\left \{ \textstyle\begin{array}{@{}l} \Delta u(x)=f(u(x)),\quad x\in\Omega, \\ u|_{\partial\Omega}=+\infty, \end{array}\displaystyle \right .$$
(1.1)
where Ω is a bounded domain in $$R^{N}$$ ($$N\geq2$$), arises in many fields, such as the theory of automorphic functions and Riemann surfaces of constant negative curvature, the study of the electric potential in a glowing hollow metal body, etc. In 1916, this type of problem was first studied by Bieberbach (see ). A very famous result is the following.

### Theorem A

Assume that $$f(0)=0$$, $$f^{\prime}(t)$$ is continuous and $$f^{\prime}(t)\geq0$$ for all $$t\geq0$$, then (1.1) has a solution if and only if
$$\int_{1}^{+\infty} \biggl( \int_{0}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt< + \infty.$$
(1.2)

The condition (1.2) plays an important role in the study of the boundary blow-up problem, it was first proposed by Keller  and Osserman , thus lately, this condition was called the Keller-Osserman condition. Also see  and . For later investigations on boundary blow-up problems we refer to  etc. An interesting problem is the following.

### Keller-Osserman conjecture

When $$N=1$$, the conclusion of Theorem A is also true.

For the Keller-Osserman conjecture, see Anuradha et al. (see ) who first considered the following autonomous two point boundary value problem:
$$\left \{ \textstyle\begin{array}{@{}l} -u^{\prime\prime}(t)=\lambda f(u(t));\quad 0< t< 1, \\ \lim_{t\rightarrow0^{+}}u(t)=\lim_{t\rightarrow1^{-}}u(t)=+\infty.\end{array}\displaystyle \right .$$
(1.3)
Using the quadratic method, they gave some necessary, sufficient conditions for the existence of nonnegative solutions. As they said, ‘The gap between the class of functions that satisfy the necessary condition but not the sufficient condition is quite small.’ In their paper, they gave some examples to illustrate their conclusions.

### Remark 1

Anuradha et al. , Remarks 3.1 and 3.2, showed that, to problem (1.3):
1. (i)

for $$f(u)=-u(\ln u+1)$$, there are no solutions,

2. (ii)

for $$f(u)=-u [ 2 ( \ln u ) ^{3}+3(\ln u)^{2} ]$$, there exist solutions for some $$\lambda>0$$.

It is easy to verify that $$f(u)=-u(\ln u+1)$$ does not satisfy the Keller-Osserman condition (1.2), but $$f(u)=-u [ 2 ( \ln u ) ^{3}+3(\ln u)^{2} ]$$ satisfies this Keller-Osserman condition.

Recently, Wang  used the same method as Anuradha’s and generalized the results of Anuradha’s; he obtained a more suitable condition for the existence of solutions for (1.3). The gap between the class of functions that satisfy the necessary condition but not the sufficient condition becomes smaller than that of Anuradha’s, but we still have a distance to Keller-Osserman’s conjecture. Later Zhang  considered this problem again. In this paper, we want to study problem (1.3) again and solve this conjecture.

In this paper, we investigate the following boundary blow-up problem:
$$\left \{ \textstyle\begin{array}{@{}l} u^{\prime\prime}(t)=f(u(t));\quad 0< t< 1, \\ \lim_{t\rightarrow0^{+}}u(t)=\lim_{t\rightarrow1^{-}}u(t)=+\infty,\end{array}\displaystyle \right .$$
(1.4)
where $$f(t)\geq0$$, $$f(t)$$ is continuous and monotone increasing for all $$t\geq0$$. For convenience, we set $$u(1-0)=+\infty$$ if $$\lim_{t\rightarrow 1^{-}}u(t)=+\infty$$, for short, denote $$u(1)$$.

First we introduce the definition of regularly varying which can be found in .

### Definition 1

A positive measurable function R defined on $$[D,+\infty)$$, for some $$D>0$$, is called regularly varying (at infinity) with index $$q\in \mathbb{R}$$, written $$R\in \mathbb{R} _{q}$$, if for all $$\xi>0$$,
$$\lim_{u\rightarrow\infty}R(\xi u)/R(u)=\xi^{q}.$$
When the index of regular variation q is zero, we say that the function is slowly varying.

### Remark

1. (a)

Any function $$R\in \mathbb{R} _{q}$$ can be written in terms of a slowly varying function. Indeed, set $$R(u)=u^{q}L(u)$$, then L varies slowly.

2. (b)

For any $$m>0$$, $$u^{m}L(u)\rightarrow+\infty$$, $$u^{-m}L(u)\rightarrow0$$ as $$u\rightarrow+\infty$$.

Here come our main results.

### Theorem 1

If $$f(0)=0$$, then equation (1.4) has a positive solution if and only if the Keller-Osserman condition (1.2) holds true.

### Theorem 2

If $$f(0)>0$$, then equation (1.4) has a positive solution if and only if the Keller-Osserman condition (1.2) and $$\max _{a\geq0}g(a)\geq\frac{\sqrt{2}}{2}$$ hold true, where the function g is defined in (2.3).

### Theorem 3

Assume that $$f(0)=0$$ and $$f(t)\in \mathbb{R} _{q}$$, $$q>1$$. Then the solution $$u(t)$$ of (1.4) satisfies
$$\lim_{t\rightarrow\partial I}\frac{u(t)}{\phi(\delta(t))}=1,$$
(1.5)
where
\begin{aligned}& \delta(t)=\operatorname{dist}(t,\partial I),\qquad I=[0,1], \qquad\phi(s)=\psi ^{-1}(s),\qquad F(t)= \int_{0}^{t}f(s)\,ds\quad\textit{and}\\& \psi(s)= \int_{s}^{+\infty }\frac{1}{\sqrt{2F ( t ) }}\,dt. \end{aligned}

### Theorem 4

Assume that $$f(0)=0$$, $$\frac{f(u)}{u}$$ is increasing on ($$0,+\infty$$) and $$f(t)\in \mathbb{R} _{q}$$, $$q>1$$. Then equation (1.4) has only one positive solution.

From Theorem 1, we can easily obtain the following.

### Corollary 1

If $$f(0)=0$$, then for any $$\lambda>0$$, equation (1.3) has a positive solution if and only if the Keller-Osserman condition (1.2) holds true.

Corollary 1 generalizes Theorem 3.1, Theorem 3.2 and Theorem 3.6 in , also generalizing Theorem 2.1 and Theorem 2.2 in .

## 2 The proof of main results

In order to prove our main results, we need some lemmas, presented below.

### Lemma 1

If $$u(t)$$ is a solution of (1.4), then $$u(1-t)$$ is also a solution of (1.4).

The proof of this lemma is trivial, we omit it here.

### Lemma 2

If $$u(t)$$ is a solution of (1.4), then there exists only one point $$t_{0}\in(0,1)$$ such that $$u^{\prime}(t_{0})=0$$, in fact, $$t_{0}=\frac{1}{2}$$.

The proof of this lemma can be obtained by the generalized Rolle theorem. $$t_{0}=\frac{1}{2}$$ can be obtained easily by Lemma 1.

### Lemma 3

If $$u(t)\in C^{2}[\frac{1}{2},1)$$ is a solution of the following problem:
$$\left \{ \textstyle\begin{array}{@{}l} u^{\prime\prime}(t)=f(u(t));\quad \frac{1}{2}\leq t< 1, \\ u^{\prime} ( \frac{1}{2} ) =0,\qquad u(1)=+\infty, \end{array}\displaystyle \right .$$
(2.1)
then
$$w(t)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} u(t),& t\in(0,\frac{1}{2}); \\ u(1-t),& t\in[\frac{1}{2},1),\end{array}\displaystyle \right .$$
(2.2)
is a solution of (1.4), in the contrary case, the conclusion also holds true.

### Proof

The proof is trivial, we omit it. □

### Lemma 4

Assume that the Keller-Osserman condition holds true. If $$f(0)>0$$, then the function
$$g(a)= \int_{a}^{+\infty} \biggl( \int_{a}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt$$
(2.3)
is well defined on the interval $$[0,+\infty)$$ and satisfies
$$\lim_{a\rightarrow+\infty}g(a)=0.$$
If $$f(0)=0$$, then the function $$g(a)$$ is well defined on the interval $$(0,+\infty)$$ and satisfies
$$\lim_{a\rightarrow0^{+}}g(a)=+\infty, \qquad\lim_{a\rightarrow +\infty }g(a)=0.$$

### Proof

Notice that $$f(s)$$ is increasing, thus
$$f(a) (t-a)\leq \int_{a}^{t}f(s)\,ds\leq f(t) (t-a),\quad\mbox{for }t\geq a.$$
Therefore
$$\bigl[ f(t) (t-a) \bigr] ^{-1/2}\leq \biggl( \int_{a}^{t}f(s)\,ds \biggr) ^{-1/2}\leq \bigl[ f(a) (t-a) \bigr] ^{-1/2},$$
set
$$g(a)=I(a,b)+J(a,b),$$
where
$$I(a,b)= \int_{a}^{b} \biggl( \int_{a}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt,\qquad J(a,b)= \int_{b}^{+\infty} \biggl( \int_{a}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt, \quad b>a.$$
By the Keller-Osserman condition, we know that $$J(a,b)<+\infty$$.
If $$f(0)>0$$, then
$$I(a,b)\leq \int_{a}^{b} \bigl[ f(a) (t-a) \bigr] ^{-1/2}\,dt\leq2\sqrt {\frac{b-a}{f(a)}}< +\infty,$$
(2.4)
which means that the function $$g(a)$$ is well defined on the interval $$[0,+\infty)$$.
If $$f(0)=0$$, notice that $$f^{\prime}(0)$$ exists, thus there exist some positive constants c and k such that $$f(t)\leq kt$$, $$c< b$$ for $$t\in [0,c]$$, therefore
$$I(0,b)\geq \int_{0}^{c} \bigl[ f(t)t \bigr] ^{-1/2}\,dt \geq k^{-1/2} \int _{0}^{c}\frac{1}{t}\,dt=+ \infty,$$
(2.5)
which means that the function $$g(a)$$ is well defined on the interval $$(0,+\infty)$$ (equation (2.4) holds for any $$a>0$$) and $$\lim_{a\rightarrow 0^{+}}g(a)=+\infty$$.
From the Keller-Osserman condition (1.2) and noticing that $$( \int_{0}^{t}f(s)\,ds ) ^{-1/2}$$ is monotone decreasing, we have
$$\lim_{t\rightarrow+\infty}t \biggl( \int_{0}^{t}f(s)\,ds \biggr) ^{-1/2}=0.$$
Hence
$$\lim_{t\rightarrow+\infty}t^{-2} \int_{0}^{t}f(s)\,ds=+\infty,$$
therefore
$$\lim_{t\rightarrow+\infty}\frac{f(t)}{t}=+\infty,$$
by (2.4), we get
$$\lim_{a\rightarrow+\infty}I(a,2a)=0.$$
Note that
$$J(a,b)= \int_{b}^{+\infty} \biggl( \int_{a}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt< + \infty ,$$
then
$$\lim_{a\rightarrow+\infty}J(a,2a)=0,$$
therefore
$$\lim_{a\rightarrow+\infty}g(a)=0.$$
□

### Lemma 5

If $$f(0)=0$$, then equation (2.1) has a solution if and only if the Keller-Osserman condition holds true.

### Proof

Sufficiency. Conversely, suppose that there is no solution $$u(t)$$. Given any real number a, let $$u(t)$$ be a solution of the following problem:
$$\left \{ \textstyle\begin{array}{@{}l} u^{\prime\prime}(t)=f(u(t));\quad \frac{1}{2}\leq t< 1, \\ u^{\prime} ( \frac{1}{2} ) =0, \qquad u(\frac{1}{2})=a. \end{array}\displaystyle \right .$$
(2.6)
Its maximal existence interval is $$[\frac{1}{2},r_{a})$$, where $$r_{a}$$ such that $$\lim_{t\rightarrow r_{a}^{-}}u(t)=+\infty$$ and $$\frac{1}{2}< r_{a}$$ and $$r_{a}\neq1$$. Notice that (2.6) implies that
$$u^{\prime}(t)=\sqrt{2 \int_{a}^{u(t)}f(s)\,ds}\quad\mbox{for }t\in\biggl[ \frac{1}{2},r_{a}\biggr),$$
(2.7)
here we used the inequality $$u^{\prime}(t)\geq0$$ for $$t\in[ \frac{1}{2},r_{a})$$. From (2.7), we have
$$\int_{a}^{+\infty} \biggl( \int_{a}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt= \sqrt {2} \biggl( r_{a}-\frac{1}{2} \biggr) .$$
(2.8)
By Lemma 4 and the zero theorem, we know that there exists $$a_{0}>0$$ such that
$$g(a_{0})=\frac{\sqrt{2}}{2},$$
then (2.8) implies that $$r_{a_{0}}=1$$, which is a contradiction.
Necessity. Assume that
$$\int_{1}^{+\infty} \biggl( \int_{0}^{t}f(s)\,ds \biggr) ^{-1/2}\,dt=+ \infty,$$
then for any $$a>0$$, we have $$g(a)=+\infty$$, by (2.8), we know that equation (2.1) has no solution, which is a contradiction. □

From (2.8) and Lemma 4, we can easily obtain the following.

### Lemma 6

If $$f(0)>0$$, then equation (2.1) has a solution if and only if the Keller-Osserman condition and $$\max_{a\geq0}g(a)\geq \frac{\sqrt{2}}{2}$$ are all satisfied.

### Proof of Theorem 1

From Lemma 3 and Lemma 5, the conclusion of Theorem 1 is obvious. □

### Proof of Theorem 2

From Lemma 3 and Lemma 6, we can easily get it. □

## 3 Asymptotical stability

In this section, we want to study the behavior of large solutions near the boundary and the uniqueness of the solution. We start with the following comparison theorem.

### Lemma 7

(Comparison theorem)

Assume that $$f(t)\geq 0$$, $$f(t): \mathbb{R} \rightarrow \mathbb{R}$$ is continuous and monotone increasing. Let $$u(t),v(t)\in C^{2}[\frac {1}{2},1)$$ such that
\begin{aligned}& u^{\prime\prime}(t) \leq f\bigl(u(t)\bigr),\quad t\in\biggl[\frac{1}{2},1\biggr), \end{aligned}
(3.1)
\begin{aligned}& v^{\prime\prime}(t) \geq f\bigl(v(t)\bigr),\quad t\in\biggl[\frac{1}{2},1\biggr), \\& u^{\prime} \biggl( \frac{1}{2} \biggr) \leq v^{\prime} \biggl( \frac{1}{2} \biggr) ,\qquad u(1)\geq v(1), \end{aligned}
(3.2)
then $$u(t)\geq v(t)$$ for all $$t\in[\frac{1}{2},1]$$.

### Proof

Assume that it is false, then there exists some $$t_{0}< t_{1}$$ in $$[\frac{1}{2},1)$$ such that $$u(t_{0})< v(t_{0})$$, $$u^{\prime }(t_{0})=v^{\prime}(t_{0})$$, $$u(t)\leq v(t)$$ and $$u^{\prime }(t)\geq v^{\prime}(t)$$ for $$t\in[ t_{0},t_{1}]$$. Let $$w(t)=u(t)-v(t)$$, $$t\in [ t_{0},t_{1}]$$, then (3.1) and (3.2) imply that
$$w^{\prime\prime}(t)\leq f\bigl(u(t)\bigr)-f\bigl(v(t)\bigr).$$
(3.3)
Multiplying $$w^{\prime}(t)$$ to both sides of (3.3), we have
$$\biggl( \frac{1}{2} \bigl[ w^{\prime}(t) \bigr] ^{2} \biggr) ^{\prime }\leq \bigl[ f\bigl(u(t)\bigr)-f\bigl(v(t)\bigr) \bigr] w^{\prime}(t)\quad\mbox{for }t\in[ t_{0},t_{1}],$$
integrating from $$t_{0}$$ to t ($$t\in[ t_{0},t_{1}]$$), we get
$$\frac{1}{2} \bigl[ w^{\prime}(t) \bigr] ^{2}\leq \int_{t_{0}}^{t} \bigl[ f\bigl(u(t)\bigr)-f\bigl(v(t) \bigr) \bigr] w^{\prime}(t)\,dt< 0,$$

### Remark

In Lemma 7, if we replace $$\frac{1}{2}$$ and 1 by any other real numbers a and b ($$a< b$$), then the conclusion is also true.

### Corollary 2

(Comparison theorem)

Assume that $$f: \mathbb{R} \rightarrow \mathbb{R}$$ is continuous and monotone increasing with $$f(0)=0$$. Let $$u(t)\in C^{2}[\frac{1}{2},1)$$ such that
\begin{aligned}& u^{\prime\prime}(t) \leq f\bigl(u(t)\bigr),\quad t\in\biggl[\frac {1}{2},1\biggr), \\& u^{\prime} \biggl( \frac{1}{2} \biggr) \leq0,\quad u(1)\geq0, \end{aligned}
then $$u(t)\geq0$$ for all $$t\in[\frac{1}{2},1]$$.

### Proof

In Lemma 7, let $$v(t)\equiv0$$, then we can immediately get the conclusion. □

### Proof of Theorem 3

First, we claim that if $$h\in \mathbb{R} _{p}$$ is continuous and nonnegative on $$[ a,+\infty )$$, here $$p<-1$$, then $$h\in L^{1}( [ a,+\infty ) )$$. To see this, suppose that $$h\notin L^{1}( [ a,+\infty ) )$$, then $$\lim_{s\rightarrow +\infty}H(s)=\int_{a}^{+\infty}h(s)\,ds=\infty$$, by the L’Hospital rule, we have
$$\lim_{t\rightarrow\infty}\frac{H(\xi t)}{H(t)}=\xi^{p+1}.$$
Notice that H is increasing, it follows that $$\xi\rightarrow\xi^{p+1}$$ is increasing as well, therefore $$p\geq-1$$, which contradicts $$p<-1$$. $$f(t)\in \mathbb{R} _{q}$$ implies $$F(t)\in \mathbb{R} _{q+1}$$ (by the L’Hospital rule), hence $$F^{-1/2}(t)\in R_{-\frac{q+1}{2}}$$. Notice that $$q>1$$ implies $$-\frac{q+1}{2}<-1$$, then the above claim shows that $$F^{-1/2}(t)\in L^{1}( [ a,+\infty ) )$$, that is, the Keller-Osserman condition (1.2) holds true, then from Theorem 1, we know that the solution of (1.4) exists, by Corollary 2, these solutions (this solution) $$u(t)$$ satisfy (satisfies) $$u(t)\geq0$$. Then (2.6) implies that
$$u^{\prime}(t)=\sqrt{2 \int_{u(\frac{1}{2})}^{u(t)}f(s)\,ds} .$$
(3.4)
From (3.4), we have
$$u^{\prime}(t)=\sqrt{2 \biggl( \int_{0}^{u(t)}f(s)\,ds- \int_{0}^{u(\frac {1}{2})}f(s)\,ds \biggr) },$$
thus
$$\frac{u^{\prime}(t)}{\sqrt{2\int_{0}^{u(t)}f(s)\,ds}}=\sqrt{1-\frac{\int_{0}^{u(\frac{1}{2})}f(s)\,ds}{\int_{0}^{u(t)}f(s)\,ds}},$$
(3.5)
for any boundary blow-up solution $$u(t)$$ of (1.4), we can easily obtain
$$\lim_{t\rightarrow1^{-}}\frac{\int_{0}^{u(\frac{1}{2})}f(s)\,ds}{\int_{0}^{u(t)}f(s)\,ds}=0.$$
Then (3.5) implies that
$$\psi\bigl(u(t)\bigr)= \int_{t}^{1}\bigl(1+o(1)\bigr)\,dt=(1-t) \bigl(1+o(1)\bigr),$$
therefore
$$u(t)=\phi \bigl( \beta(t) (1-t) \bigr) ,$$
where $$\beta(t)$$ satisfies
$$\lim_{t\rightarrow1^{-}}\beta(t)=1\quad\mbox{and}\quad\beta(t)< 1.$$
(3.6)
In order to prove (1.5), we only need to prove
$$\lim_{t\rightarrow1^{-}}\frac{\phi ( \beta(t)(1-t) ) }{\phi (1-t)}=1.$$
(3.7)
From (3.6), we see, for any $$\varepsilon>0$$, that there exists some $$\delta <1/2$$ such that
$$1-\varepsilon< \beta(t)< 1\quad\mbox{for }1-\delta< t< 1.$$
Notice that
$$\phi^{\prime}(s)=-\sqrt{2F\bigl(\phi(s)\bigr)}< 0,$$
thus
$$\phi(1-t)\leq\phi \bigl( \beta(t) (1-t) \bigr) \leq\phi \bigl( (1-t) (1- \varepsilon) \bigr) ,$$
which implies that
$$1\leq\frac{\phi ( \beta(t)(1-t) ) }{\phi(1-t)}\leq\frac {\phi ( (1-t)(1-\varepsilon) ) }{\phi(1-t)}.$$
(3.8)
In the following, we prove that $$\phi(t)\in \mathbb{R} _{2/(1-q)}$$ (at zero) provided that $$f(t)\in \mathbb{R} _{q}$$. In fact, if $$f(t)\in \mathbb{R} _{q}$$, then
$$\lim_{t\rightarrow+\infty}\frac{F(\xi t)}{F(t)}=\lim_{t\rightarrow +\infty } \frac{\xi F^{\prime}(\xi t)}{F^{\prime}(t)}=\lim_{t\rightarrow +\infty}\frac{\xi f(\xi t)}{f(t)}= \xi^{q+1},$$
which implies that
$$\lim_{t\rightarrow+\infty}\frac{\psi(\xi t)}{\psi(t)}=\lim_{t\rightarrow +\infty} \frac{\xi\psi^{\prime}(\xi t)}{\psi^{\prime}(t)}=\lim_{t\rightarrow+\infty}\frac{\xi\sqrt{F(t)}}{\sqrt{F(\xi t)}}= \xi^{\frac{1-q}{2}},$$
therefore
$$\lim_{t\rightarrow+\infty}\frac{\phi(\xi^{(1-q)/2}\psi(t))}{t}=\xi,$$
thus
$$\lim_{t\rightarrow0^{+}}\frac{\phi(\xi t)}{\phi(t)}=\lim_{y\rightarrow +\infty} \frac{\phi(\xi\psi(y))}{y}=\lim_{y\rightarrow+\infty}\frac {\phi(\sigma^{(1-q)/2}\psi(y))}{y}=\sigma= \xi^{\frac{2}{1-q}}.$$
So
$$\lim_{t\rightarrow1^{-}}\frac{\phi ( (1-t)(1-\varepsilon) ) }{\phi(1-t)}=(1-\varepsilon)^{\frac{2}{1-q}},$$
letting $$\varepsilon\rightarrow0^{+}$$, and then by (3.8), (3.7) holds true. □

### Proof of Theorem 4

Let $$u(t)$$, $$v(t)$$ be the solutions of (1.4), by (1.5), we have
$$\lim_{t\rightarrow1^{-}}\frac{u(t)}{v(t)}=1,$$
also notice that $$f(t)\in \mathbb{R} _{q}$$, $$q>1$$. Then for any $$\varepsilon>0$$, there exists $$\delta>0$$ such that
$$(1-\varepsilon)v(t)\leq u(t)\leq(1+\varepsilon)v(t)\quad\mbox{and}\quad f \bigl(v(t)\bigr) (1+\varepsilon)\leq f\bigl((1+\varepsilon)v(t)\bigr),\quad \mbox{for }t\in (1-\delta,1),$$
set $$\overline{u}(t)=(1+\varepsilon)v(t)$$, then
$$\overline{u}^{\prime} \biggl( \frac{1}{2} \biggr) =u^{\prime} \biggl( \frac {1}{2} \biggr) =0\quad\mbox{and}\quad u(t)\leq\overline{u}(t), \quad\mbox{for }t\in (1-\delta ,1).$$
We claim that for any $$t\in[\frac{1}{2},1)$$, $$u(t)\leq\overline {u}(t)$$. Notice that
$$\overline{u}^{\prime\prime}(t)=(1+\varepsilon)v^{\prime\prime }(t)=(1+ \varepsilon)f\bigl(v(t)\bigr)\leq f\bigl(\overline{u}(t)\bigr),$$
from Lemma 7, the above claim is obvious. Similarly, we can prove that for any $$t\in[\frac{1}{2},1)$$, $$u(t)\geq\underline{u}(t)$$, where $$\underline{u}(t)=(1-\varepsilon)$$ $$v(t)$$. Passing to the limit $$\varepsilon \rightarrow0^{+}$$, we conclude that $$u(t)\equiv v(t)$$. □

### Remark

From the proof of Theorem 3 and Theorem 4, we can easily see that the condition $$\frac{f(u)}{u}$$ is increasing on $$(0,+\infty)$$ and $$f(t)\in \mathbb{R} _{q}$$, $$q>1$$ can be replaced by the following.
1. (H)
There exists $$q>1$$ such that for any $$\varepsilon>0$$ sufficiently small, the function f satisfies
$$f \bigl[ (1+\varepsilon)s \bigr] \geq(1+\varepsilon)^{q}f(s)\quad \mbox{and}\quad f \bigl[ (1-\varepsilon)s \bigr] \leq(1- \varepsilon)^{q}f(s),\quad s\in (0,+\infty).$$

## Declarations

### Acknowledgements

The authors thank the reviewers for their insightful and detailed comments. This work is supported by NSF of China (11201213, 11371183), NSF of Shandong Province (ZR2015AM026, ZR2013AM004) and the Project of Shandong Provincial Higher Educational Science and Technology (J15LI07). 