- Research
- Open access
- Published:
On the Keller-Osserman conjecture in one dimensional case
Boundary Value Problems volume 2016, Article number: 162 (2016)
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.
1 Introduction
The boundary blow-up problem
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 [1]). 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
The condition (1.2) plays an important role in the study of the boundary blow-up problem, it was first proposed by Keller [2] and Osserman [3], thus lately, this condition was called the Keller-Osserman condition. Also see [4] and [5]. For later investigations on boundary blow-up problems we refer to [6–10] 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 [11]) who first considered the following autonomous two point boundary value problem:
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. [11], Remarks 3.1 and 3.2, showed that, to problem (1.3):
-
(i)
for \(f(u)=-u(\ln u+1)\), there are no solutions,
-
(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 [12] 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 [13] 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:
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 [14].
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\),
When the index of regular variation q is zero, we say that the function is slowly varying.
Remark
-
(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.
-
(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
where
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 [11], also generalizing Theorem 2.1 and Theorem 2.2 in [12].
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:
then
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
is well defined on the interval \([0,+\infty)\) and satisfies
If \(f(0)=0\), then the function \(g(a)\) is well defined on the interval \((0,+\infty)\) and satisfies
Proof
Notice that \(f(s)\) is increasing, thus
Therefore
set
where
By the Keller-Osserman condition, we know that \(J(a,b)<+\infty\).
If \(f(0)>0\), then
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
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
Hence
therefore
by (2.4), we get
Note that
then
therefore
 □
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:
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
here we used the inequality \(u^{\prime}(t)\geq0\) for \(t\in[ \frac{1}{2},r_{a})\). From (2.7), we have
By Lemma 4 and the zero theorem, we know that there exists \(a_{0}>0\) such that
then (2.8) implies that \(r_{a_{0}}=1\), which is a contradiction.
Necessity. Assume that
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
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
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
Multiplying \(w^{\prime}(t)\) to both sides of (3.3), we have
integrating from \(t_{0}\) to t (\(t\in[ t_{0},t_{1}] \)), we get
which is a contradiction. □
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
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
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
From (3.4), we have
thus
for any boundary blow-up solution \(u(t)\) of (1.4), we can easily obtain
Then (3.5) implies that
therefore
where \(\beta(t)\) satisfies
In order to prove (1.5), we only need to prove
From (3.6), we see, for any \(\varepsilon>0\), that there exists some \(\delta <1/2\) such that
Notice that
thus
which implies that
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
which implies that
therefore
thus
So
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
also notice that \(f(t)\in \mathbb{R} _{q}\), \(q>1\). Then for any \(\varepsilon>0\), there exists \(\delta>0\) such that
set \(\overline{u}(t)=(1+\varepsilon)v(t)\), then
We claim that for any \(t\in[\frac{1}{2},1)\), \(u(t)\leq\overline {u}(t)\). Notice that
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.
-
(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). $$
References
Bieberbach, L: \(\Delta u=e^{u}\) und die automorphen Funktionen. Math. Ann. 77, 173-212 (1916)
Keller, JB: On solutions of \(\Delta u=f(u)\). Commun. Pure Appl. Math. 10, 503-510 (1957)
Osserman, R: On the inequality \(\Delta u\geq f(u)\). Pac. J. Math. 7, 1641-1647 (1957)
Cîrstea, FC, Rădulescu, V: Uniqueness of the blow-up boundary solution of logistic equations with absorption. C. R. Math. Acad. Sci. Paris 335, 447-452 (2002)
Li, HL, Pang, PYH, Wang, MX: Boundary blow-up solutions of p-Laplacian elliptic equations with lower order terms. Z. Angew. Math. Phys. 63, 295-311 (2012)
Alsaedi, R, Maagli, H, Zeddini, N: Existence and global behavior of positive solution for semilinear problems with boundary blow-up. J. Math. Anal. Appl. 425, 818-826 (2015)
Wang, W, Gong, HZ, Zheng, SN: Asymptotic estimates of boundary blow-up solutions to the infinity Laplace equations. J. Differ. Equ. 256, 3721-3742 (2014)
Chen, YJ, Wang, MX: Boundary blow-up solutions of p-Laplacian elliptic equations with a weakly superlinear nonlinearity. Nonlinear Anal., Real World Appl. 14, 1527-1535 (2013)
GarcÃa-Melián, J, Sabina de Lis, JC: A boundary blow-up problem with a nonlocal reaction. Nonlinear Anal. 75, 2774-2792 (2012)
Mohammed, A, Mohammed, S: Boundary blow-up solutions to degenerate elliptic equations with non-monotone inhomogeneous terms. Nonlinear Anal. 75, 3249-3261 (2012)
Anuradha, V, Brown, C, Shivaji, R: Explosive nonnegative solutions to two point boundary value problems. Nonlinear Anal. 26(3), 613-630 (1996)
Wang, SH: Existence and multiplicity of boundary blow-up nonnegative solutions to two-point boundary value problems. Nonlinear Anal. 42(2), 139-162 (2000)
Zhang, ZJ: Existence of explosive solutions to two-point boundary value problems. Appl. Math. Lett. 17, 1033-1037 (2004)
Seneta, E: Regularly Varying Functions. Lecture Notes in Math., vol. 508. Springer, Berlin (1976)
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).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Authors’ contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
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
Wang, LL., Fan, YH. On the Keller-Osserman conjecture in one dimensional case. Bound Value Probl 2016, 162 (2016). https://doi.org/10.1186/s13661-016-0667-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0667-7