Abstract
In this paper, we establish the Nagumo theorems for boundary value problems associated with a class of third-order singular nonlinear equations: \((p(t)x')''=f(t,x,p(t)x',(p(t)x')')\), \(\forall t\in(0,1)\) by the method of upper and lower solutions and the Schauder fixed point theorem. We also consider the multiplicity of the solutions by using topological degree theory. There are some examples to illustrate how the results of this paper can be applied.
Similar content being viewed by others
1 Introduction
The singular differential equations arise in the fields of fluid mechanics, gas dynamics and so on. In recent years, several authors investigated the existence problems of solutions for third-order nonlinear differential equations [1–4]. The method of upper and lower solutions has become a standard tool in studying the solvability of boundary value problems associated with the differential equations [5–7]. Specially, the existence of a solution for the boundary value problem
is investigated in article [8]. For two-point BVPs, Yao and Feng employed the upper and lower solution method to prove the existence of solutions for a kind of third-order nonlinear differential equations [9]. For a class of third-order nonlinear boundary value problems, Du et al. used an a priori estimate, Nagumo condition, upper and lower solutions, and the Leray-Schauder degree to obtain the existence of solutions [10]. In this paper, we establish several general existence theorems for boundary value problems associated with the following singular nonlinear differential equation:
by applying the method of lower and upper solutions, where the singularity of \(p(t)\) is at \(t=0\). We only consider the case of \(p(t)|_{t=0}=0\) and \(p(t)>0\) on \((0,1]\). To overcome the difficulty of a singularity, we give some suitable hypotheses and obtain the main result by the Schauder fixed point theorem.
Basically, the functions \(\psi(t), \phi(t)\in C[0,1]\) are called upper and lower solutions of (1.1) on \([0,1]\), if \(\psi'(t), \phi'(t)\in C(0,1)\), \(p(t)\psi', p(t)\phi'\in C^{2}[0,1]\), and
For (1.1), we adopt the following hypotheses on p and f.
Hypothesis 1.1
\(\Omega=\{x\in\mathbb{R}; \mbox{there exists }t\in[0,1], \mbox{such that } \phi(t)\leq x\leq\psi(t)\}\), \(\Omega_{0}=\{(t,x, y,z); 0\leq t\leq1, \phi(t)\leq x\leq\psi(t), p(t)\phi'(t)\leq y \leq p(t)\psi'(t), z\in\mathbb{R}\}\), \(p(t)\in C([0,1]; [0,+\infty))\) and \(\int^{1}_{0}p^{-1}(t)\, dt<\infty\).
Hypothesis 1.2
\(f\in C([0,1]\times\Omega\times \mathbb{R}^{2}; \mathbb{R})\), \(f(t,x,y,z)\) are nondecreasing in x. There exist continuous positive-valued functions \(A_{i}\in C([0,1]\times\Omega; \mathbb{R})\), \(K_{i}\in C(\Omega_{0}, \mathbb{R})\) (\(i=1, 2\)) and \(h\in C([0,+\infty); (0,+\infty))\), such that
-
(i)
\(| f(t,x,y,z)|\leq A_{1}(t,x)K_{1}(t,x,y,z)+A_{2}(t,x)K_{2}(t,x,y,z)\), \(\forall (t,x,y,z)\in\Omega_{0}\),
-
(ii)
\(r=\sup\{A_{1}(t,x); (t,x)\in[0,1]\times\Omega\}<+\infty\),
-
(iii)
there exist positive numbers n and N satisfying \(K_{1}(t,x,y,z)\leq|z|h(|z|)\), \(K_{2}(t,x,y,z)\leq Nh(|z|)\), for \(|z|\geq n\) and \((t,x,y,z)\in\Omega_{0}\),
-
(iv)
\(\int^{+\infty}_{0}h^{-1}(t)\, dt=\infty\).
In this paper, we study the following four kinds of boundary value problems:
Here,
\(g(x,y)\), \(h(x,y)\) are nondecreasing in y for the fixed x, respectively.
A function \(x(t)\) is said to be a solution of (1.1), if \(x(t)\) is continuous on \([0,1]\) satisfying (1.1) and its corresponding boundary value conditions, and \(x'\) is continuous on \((0,1)\), \(p(t)x'\) is twice continuously differentiable on \([0,1]\).
The paper is organized as follows. We give some necessary lemmas in Section 2 which are main tools to prove the theorems. Then we establish the main results. In Section 3, the multiplicity of the solutions is concerned by using topological degree theory. Also, there are some examples to illustrate how the results of this paper can be applied.
2 Nagumo theorem
Lemma 2.1
Let ψ, ϕ be the upper and lower solutions of (1.1), respectively, and suppose that Hypotheses 1.1 and 1.2 hold. Then for any solution \(x(t)\) of boundary value problem (1.1) with \(p(t)\phi'\leq p(t)x'\leq p(t)\psi'\), \(\forall t\in[0,1]\), there always exists \(L>0\), such that \(|(p(t)x')'|< L\), \(\forall t\in[0,1]\).
Proof
Let
There exists \(t_{0}\in[0,1]\), such that \(| (p(t)x'(t))'|_{t=t_{0}}<\sigma+1\) by the mean value theorem. Suppose not. Then we have \(\sigma_{1}\) and \(N_{1}\) satisfying
such that \((p(t)x')'\) keeps the same sign on \([t_{1},t_{2}]\subset[0,1]\) and \((p(t)x')'|_{t_{1}}=\sigma_{1}\), \((p(t)x')'|_{t_{2}}=N_{1}\), or inversely. Let the former hold and \((p(t)x')'\) be positive on \([t_{1},t_{2}]\subset[0,1]\). Therefore
which is a contradiction. The result is concluded. □
Next, we consider the auxiliary problem as follows:
Lemma 2.2
Let ψ, ϕ be the upper and lower solutions of (1.1), respectively, and suppose that Hypotheses 1.1 and 1.2 hold, \(\phi(0)\leq\alpha\leq\psi(0)\), \(p(t)\phi'(t)|_{t=0}\leq\alpha'\leq p(t)\psi'(t)|_{t=0}\), \(p(t)\phi'(t)|_{t=1}\leq\beta'\leq p(t)\psi'(t)|_{t=1}\). Then for any solution \(x(t)\) of problem (2.1), we have \(\phi\leq x\leq\psi\), \(p(t)\phi'\leq p(t)x'\leq p(t)\psi'\) on \([0,1]\).
Proof
First, we prove \(p(t)x'(t)\leq p(t)\psi'(t)\) on \([0,1]\). Assume that our conclusion is not true. Then there exists \(\hat{t}\in(0,1)\), such that \(p(\hat{t})x'(\hat{t})>p(\hat{t})\psi'(\hat{t})\). Hence, \(p(t)x'-p(t)\psi'\) has a positive maximum at \(t_{0}\in(0,1)\). We have
But
By the definition of ψ and the monotonicity of f, we have
which is a contradiction. Then \(p(t)x'(t)\leq p(t)\psi'(t)\), \(\forall t\in[0,1]\). The case of \(p(t)x'\geq p(t)\phi'(t)\), \(\forall t\in[0,1]\) is similar. We get \(\phi'\leq x'\leq\psi'\), \(\forall t\in(0,1)\). Notice that x, ψ, ϕ are continuous on \([0,1]\) and \(\phi(0)\leq\alpha\leq\psi(0)\), we can conclude that \(\phi(t)\leq x(t)\leq\psi(t)\), \(\forall t\in[0,1]\). □
Lemma 2.3
If f of the boundary value problem (1.1) is continuous and bounded on \([0,1]\times\Omega\times\mathbb{R}^{2}\), problem (1.1) has a solution.
Proof
Let
We define a norm on Y:
Under this norm, Y is a Banach space.
Let
We see that X is a convex subset of Y.
Define a mapping \(T:X\rightarrow X\) by
where
Then \(T(X)\subset X\).
Now, for any \(t_{1}, t_{2}\in[0,1]\), we have
The function f is bounded. We see that \(T(X)\) is bounded and equicontinuous and hence relatively compact in X. Let \({x_{k}}\) be a sequence which converges in X uniformly to \(z\in X\). Then \(f(t,x_{k},px_{k}',(px_{k}')')\rightarrow f(t,z,pz',(pz')')\) in \([0,1]\) because f is uniformly continuous in bounded subsets of \([0,1]\times\Omega\times\mathbb{R}^{2}\). Therefore, \(Tx_{k}\rightarrow Tz\), \(k\rightarrow\infty\), which shows that T is continuous. By the Schauder fixed point theorem, T has at least one fixed point \(x(t)\) on X. Then \(x(t)\) is the desired solution. □
Now, we prove our main results.
Theorem 2.1
Let ψ, ϕ be the upper and lower solutions of (1.1) on \([0,1]\), respectively, and suppose that Hypotheses 1.1 and 1.2 hold. Then, for any α, \(\alpha'\), \(\beta'\) with \(\phi(0)\leq\alpha\leq\psi(0)\), \(p(t)\phi'(t)|_{t=0}\leq\alpha'\leq p(t)\psi'(t)|_{t=0}\), \(p(t)\phi'(t)|_{t=1}\leq\beta'\leq p(t)\psi'(t)|_{t=1}\), the boundary value problem (1.2) has a solution \(x(t)\) with \(\phi\leq x\leq\psi\), \(p(t)\phi'\leq p(t)x'\leq p(t)\psi'\) on \([0,1]\).
Proof
By Lemmas 2.1 and 2.2, the solution of problem (1.2) is also the solution of problem (2.1). Furthermore, F of problem (2.1) is bounded and continuous. There exists a solution \(x(t)\) of problem (2.1) by Lemma 2.3. \(x(t)\) is also the solution of problem (1.2). This completes the proof. □
Theorem 2.2
Let ψ, ϕ be the upper and lower solutions of (1.1) on \([0,1]\), respectively, and suppose that Hypotheses 1.1 and 1.2 hold. Then for any α, \(\beta'\), g with \(\phi(0)\leq\alpha\leq\psi(0)\), \(p(t)\phi'(t)|_{t=1}\leq\beta'\leq p(t)\psi'(t)|_{t=1}\), \(g(p(t)\phi',(p(t)\phi')')|_{t=0}\geq 0\geq g(p(t)\psi',(p(t)\psi')')|_{t=0}\), the boundary value problem (1.3) has a solution \(x(t)\) with \(\phi\leq x\leq\psi\), \(p(t)\phi'\leq p(t)x'\leq p(t)\psi'\) on \([0,1]\).
Proof
If we can prove that for any \(\epsilon>0\), \(\phi(0)\leq\alpha\leq\psi(0)\), \(p(t)\phi'(t)|_{t=1}\leq \beta'\leq p(t)\psi'(t)|_{t=1}\), problem (1.3) has a solution \(x(t,\epsilon)\) on \([0,1]\) satisfying \(x(0,\epsilon)=\alpha\), \(p(t)x'(t,\epsilon)|_{t=1}=\beta'\), \(|g(p(t)x'(t,\epsilon),(p(t)x'(t,\epsilon))')|_{t=0}<\epsilon\), and \(\phi\leq x(t,\epsilon)\leq\psi\), \(p(t)\phi'\leq p(t)x(t,\epsilon)'\leq p(t)\psi'\) on \([0,1]\), the result is concluded.
We shall prove the modified theorem. For the fixed α, \(\beta'\) with \(\phi(0)\leq\alpha\leq\psi(0)\), \(p(t)\phi'(t)|_{t=1}\leq\beta'\leq p(t)\psi'(t)|_{t=1}\), let
By Theorem 2.1, \(\Pi(\alpha')\) is not empty for all \(p(t)\phi'(t)|_{t=0}\leq\alpha'\leq p(t)\psi'(t)|_{t=0}\). Assume that the modified theorem is not true. There exists \(\epsilon_{0}>0\), such that
It is easy to prove that
By the monotonicity of g, we have
The case of \(g(p(t)\phi',(p(t)\phi')')|_{t=0}\geq\epsilon_{0}\) for \(x(t)\in \Pi(p(t)\phi'(t)|_{t=0})\) is similar.
Let
Obviously, we have \(\alpha_{0}'< p(t)\psi'(t)|_{t=0}\). Assume that \(x_{0}(t)\) is the solution of (1.1) satisfying \(g(p(t)x_{0}',(p(t)x_{0}')')|_{t=0}\geq\epsilon_{0}\), \(x_{0}(0)=\alpha\), \(p(t)x_{0}'(t)|_{t=0}=\alpha_{0}'\), \(p(t)x_{0}'(t)|_{t=1}=\beta'\). There exists \(N>1\), such that \(\alpha_{0}'+1/N< p(t)\psi'(t)|_{t=0}\). Choose \(x_{n}\in\Pi(\alpha_{0}'+1/n)\) satisfying \(p(t)x_{n}'(t)\geq p(t)x_{0}'(t)\) on \([0,1]\), \(\forall n\geq N\). Then \(x_{n}\rightarrow\hat{x}\in\Pi(\alpha_{0}')\) and \(p(t)\hat{x}'\geq p(t)x'_{0}\) on \([0,1]\). By the definition of \(\alpha_{0}'\), we have \(g(p(t)x_{n}',(p(t)x_{n}')')|_{t=0}\leq -\epsilon_{0}\). Hence,
We have
which contradicts \(p(t)\hat{x}'(t)\geq p(t)x_{0}'(t)\), \(\forall t\in[0,1]\), \(p(t)\hat{x}'(t)|_{t=0}=p(t)x_{0}'(t)|_{t=0}=\alpha_{0}'\). This completes the proof. □
In the same way, we can get Theorem 2.3.
Theorem 2.3
Let ψ, ϕ be the upper and lower solutions of (1.1) on \([0,1]\), respectively, and suppose that Hypotheses 1.1 and 1.2 hold. Then, for any α, \(\alpha'\), h with \(\phi(0)\leq\alpha\leq\psi(0)\), \(p(t)\phi'(t)|_{t=0}\leq\alpha'\leq p(t)\psi'(t)|_{t=0}\), \(h(p(t)\phi',(p(t)\phi')')|_{t=1}\leq0\leq h(p(t)\psi',(p(t)\psi')')|_{t=1}\), the boundary value problem (1.4) has a solution \(x(t)\) with \(\phi\leq x\leq\psi\), \(p(t)\phi'\leq p(t)x'\leq p(t)\psi'\) on \([0,1]\).
In the following, we prove our main theorem.
Theorem 2.4
Let ψ, ϕ be the upper and lower solutions of (1.1), respectively, and suppose that Hypotheses 1.1 and 1.2 hold. Then, for any \(g(x,y)\), \(h(x,y)\), α with \(\phi(0)\leq\alpha\leq\psi(0)\), \(g(p(t)\phi',(p(t)\phi')')|_{t=0}\geq0\geq g(p(t)\psi',(p(t)\psi')')|_{t=0}\), \(h(p(t)\phi',(p(t)\phi')')|_{t=1}\leq0\leq h(p(t)\psi',(p(t)\psi')')|_{t=1}\), the boundary value problem (1.5) has a solution \(x(t)\) with \(\phi\leq x\leq\psi\), \(p(t)\phi'\leq p(t)x'\leq p(t)\psi'\) on \([0,1]\).
Proof
For any \(\beta'\) with \(p(t)\phi'(t)|_{t=1}\leq\beta'\leq p(t)\psi'(t)|_{t=1}\), let
Suppose not, there exists \(h(p(t)x',(p(t)x')')|_{t=1}\neq0\), \(\forall x\in\Pi(\beta')\). We easily get
Let
Then \(\beta'_{0}< p(t)\psi'(t)|_{t=1}\). By Theorem 2.2, there exists a solution \(x_{0}(t)\) of the function (1.1) satisfying \(\phi(t)\leq x_{0}(t)\leq\psi(t)\), \(p(t)\phi'(t)\leq p(t)x_{0}'(t)\leq p(t)\psi'(t)\) on \([0,1]\), and \(g(p(t)x_{0}',(p(t)x_{0}')')|_{t=0}=0\), \(h(p(t)x_{0}',(p(t)x_{0}')')|_{t=1}<0\), \(p(t)x_{0}'(t)|_{t=1}=\beta '_{0}\), \(x_{0}(0)=\alpha\). We replace \(\phi(t)\) by \(x_{0}(t)\) in Theorem 2.2. Then
is not empty. For \(x(t)\in D\), we have
There exists \(N_{1}>1\), such that \(\beta'_{0}+1/N_{1}< p(t)\psi'(t)|_{t=1}\). Now, choose \(x_{n}\in\Pi(\beta'_{0}+1/n)\) satisfying \(p(t)x'_{n}\geq p(t)x'_{0}\), \(\forall n\geq N_{1}\). Then \(x_{n}\rightarrow \hat{x}\in\Pi(\beta'_{0})\), \(p(t)\hat{x}'\geq p(t)x'_{0}\) on \([0,1]\) and \(h(p(t)x_{n}',(p(t)x_{n}')')|_{t=1}>0\). Hence,
By the monotonicity of h and \(h(p(t)x_{0}',(p(t)x_{0}')')|_{t=1}<0\), we have
which contradicts \(p(t)\hat{x}'\geq p(t)x_{0}'\), \(\forall t\in[0,1]\), \(p(t)\hat{x}'(t)|_{t=1}=p(t)x_{0}'(t)|_{t=1}=\beta'_{0}\). This completes the proof. □
Here, we give an example to show how the results are applied.
Consider the following boundary value problem:
where \(g(x,y)=x\), \(h(x,y)=x+y\), \(p(t)=t^{\frac{1}{2}}\), \(f(t,x,y,z)=x+\sin y+z\).
Let \(\psi(t)=1\), \(\phi(t)=-\frac{2}{3}t^{\frac{3}{2}}\). Then
Namely, \(\psi(t)\), \(\phi(t)\) are the upper and lower solutions of problem (2.2).
Obviously, the function f of problem (2.2) is continuous on \([0,1]\times\Omega\times\mathbb{R}^{2}\) satisfying \(|f|\leq A_{1}K_{1}+A_{2}K_{2}\), where \(A_{1}(t,x)=1\), \(A_{2}(t,x)=1\), \(K_{1}(t,x,y,z)=z\), \(K_{2}(t,x,y,z)=x+\sin y\). Let \(r=\sup\{A_{1}(t,x)\}=1\), \(h(t)=t+1\). Therefore, Hypotheses 1.1 and 1.2 hold. Moreover, \(g(x,y)\), \(h(x,y)\) are nondecreasing in y for the fixed x and
and
hold. There exists a solution for the boundary value problem (2.2) by Theorem 2.4.
3 Multiplicity of the solutions
In this section, we study the multiplicity of the solutions by using topological degree theory. First, assume that \(\bar{\psi}\), \(\bar{\phi}\) are strict upper and lower solutions of (1.1) with
Similar to (2.1), we consider the auxiliary problem
where \(\overline{F}\) is defined associated to the pairs of strict upper and lower solutions \((\bar{\psi},\bar{\phi})\).
Lemma 3.1
Let \(\bar{\psi}\), \(\bar{\phi}\) be the strict upper and lower solutions of (1.1), respectively, and suppose that Hypotheses 1.1 and 1.2 hold, \(\bar{\phi}(0)<\alpha<\bar{\psi}(0)\), \(p(t)\bar{\phi}'(t)|_{t=0}<\alpha'< p(t)\bar{\psi}'(t)|_{t=0}\), \(p(t)\bar{\phi}'(t)|_{t=1}<\beta'< p(t)\bar{\psi}'(t)|_{t=1}\). Then for any solution \(x(t)\) of problem (3.1), we have \(\bar{\phi}< x<\bar{\psi}\), \(p(t)\bar{\phi}'< p(t)x'< p(t)\bar{\psi}'\) on \([0,1]\).
Proof
From Lemma 2.2, the solution \(x(t)\) of problem (3.1) satisfies \(\bar{\phi}\leq x\leq\bar{\psi}\), \(p(t)\bar{\phi}'\leq p(t)x'\leq p(t)\bar{\psi}'\) on \([0,1]\). We will obtain the result by contradiction.
If there is \(t_{0}\in(0,1)\) such that \((p(t)x'-p(t)\bar{\phi }')|_{t=t_{0}}=\min_{t\in[0,1]}\{p(t)x'-p(t)\bar{\phi}'\}=0\). Then
On the other hand, by the definition of \(\bar{\phi}\), we have
which is a contradiction. Then \(p(t)\bar{\phi}'< p(t)x'\), \(\forall t\in[0,1]\). The case of \(p(t)x'< p(t)\bar{\psi}'\), \(\forall t\in [0,1]\) is similar. Note that \(\bar{\phi}(0)< x(0)<\bar{\psi}(0)\). Therefore, \(\bar{\phi}< x<\bar{\psi}\) on \([0,1]\), which completes the proof. □
Next, we only focus on the existence of at least three solutions to the boundary value problem (1.2).
Theorem 3.1
Assume that \(\phi_{i}\), \(\psi_{i}\), \(i=1,2\) are lower and upper solutions to (1.1), respectively. \(\phi_{2}\) and \(\psi_{1}\) are strict lower and upper solutions. For all \(t\in[0,1]\), we have \(\phi_{1}\leq\phi_{2}\leq \psi_{2}\), \(\phi_{1}\leq\psi_{1}\leq\psi_{2}\), \(p(t)\phi'_{1}\leq p(t)\phi '_{2}\leq p(t)\psi'_{2}\), \(p(t)\phi'_{1}\leq p(t)\psi'_{1}\leq p(t)\psi'_{2}\), and \(\{t|\phi_{2}\geq\psi_{1}\}\cup\{t|p(t)\phi'_{2}\geq p(t)\psi'_{1}\}\) is not empty. Suppose that Hypotheses 1.1 and 1.2 associated to \(\phi_{i}\), \(\psi_{i}\), \(i=1,2\) hold. Then, for any α, \(\alpha'\), \(\beta'\) with \(\max_{i=1,2}\{\phi_{i}(0)\}\leq\alpha\leq\min_{i=1,2}\{\psi_{i}(0)\}\), \(\max_{i=1,2}\{p(t)\phi_{i}'(t)|_{t=0}\}\leq\alpha'\leq \min_{i=1,2}\{p(t)\psi_{i}'(t)|_{t=0}\}\), \(\max_{i=1,2}\{p(t)\phi _{i}'(t)|_{t=1}\}\leq\beta'\leq\min_{i=1,2}\{ p(t)\psi_{i}'(t)|_{t=1}\}\), there exist at least three solutions \(x_{1}(t)\), \(x_{2}(t)\), \(x_{3}(t)\) to the boundary value problem (1.2) such that
Proof
Similar to (2.1), we consider the auxiliary problem
where \(F_{1}\) is defined associated to \((\phi_{1},\psi_{2})\). Therefore, the solution x to problem (3.2) is the fixed point of some operator \(T_{1}\), i.e., \((I-T_{1})x=0\).
With a similar argument in Lemmas 2.1, 2.2, and 2.3, there exist a constant \(M>0\) and \(\Omega= \{x |\|x\|< M \}\) such that \(T_{1}(\overline{\Omega})\subset\Omega\). By the Schauder fixed point theorem, we have
Let
and
By assumption, we have \(\overline{\Omega}_{\phi_{2}}\cap\overline {\Omega}_{\psi_{1}}=\emptyset\). Therefore, \(\Omega\setminus(\overline {\Omega}_{\phi_{2}}\cup\overline{\Omega}_{\psi_{1}})\) is not empty. From Lemma 3.1, there is no solution in \(\partial\Omega_{\phi _{2}}\cup\partial\Omega_{\psi_{1}}\).
Hence,
If \(\deg(I-T_{1},\Omega_{\phi_{2}},\theta)=\deg(I-T_{1},\Omega_{\psi_{1}},\theta )=1\), then \(\deg(I-T_{1},\Omega\setminus(\overline{\Omega}_{\phi_{2}}\cup \overline{\Omega}_{\psi_{1}}),\theta)=-1\). The result is obtained by using topological degree theory.
Indeed, similar to (2.1), we consider the auxiliary problem
where \(F_{2}\) is defined associated to \((\phi_{2},\psi_{2})\). Therefore, the solution x to problem (3.3) is the fixed point of some operator \(T_{2}\), i.e., \((I-T_{2})x=0\).
From Lemma 3.1, we have \(x>\phi_{2}\), \(p(t)x'>p(t)\phi'_{2}\). Hence, \(x\in\Omega_{\phi_{2}}\). Note that \(F_{1}=F_{2}\) in \(\Omega_{\phi_{2}}\). We have
Similarly, we get \(\deg(I-T_{1},\Omega_{\psi_{1}},\theta)=1\), which completes the proof. □
Here, we give an example to show how the above theorem is applied. Note that the boundary point \(t=1\) is not essential. Then one can consider the following problem:
where \(p(t)=t^{\frac{1}{2}}\). A straightforward calculation shows Hypotheses 1.1 and 1.2 hold.
On the one hand, we can see this problem has solutions
for any constant C.
On the other hand, \(\phi_{1}=M\), \(\psi_{2}=-M\) are upper and lower solutions for \(M>0\) large enough.
Define
where \(C'>0\), \(0<\lambda<1\), \(1-\lambda^{2}<\cos2\pi\lambda<1\), and \(1-\lambda^{2}< k<\cos2\pi\lambda<1\).
We check \(\psi_{1}(t)\) is a strict upper solution:
Define
With a similar calculation, \(\phi_{2}(t)\) is a strict lower solution and \(\{t|p(t)\phi'_{2}\geq p(t)\psi'_{1}\}\) is not empty.
References
Sun, J, Zhang, H: Existence of solutions to third-order m-point boundary-value problem. Electron. J. Differ. Equ. 2008, 125 (2008)
Liu, Q, Ume, J, Kang, S: Positive solutions of a singular nonlinear third order two-point boundary value problem. J. Math. Anal. Appl. 326, 589-601 (2007)
Agarwal, R, O’Regan, D, Wong, P: Positive Solutions of Differential, Difference, and Integral Equations. Kluwer Academic, Boston (1999)
Li, S: Positive solutions of nonlinear singular third-order two-point boundary value problem. J. Math. Anal. Appl. 323, 413-425 (2006)
Kelley, W: Some existence theorems for nth-order boundary value problems. J. Differ. Equ. 18, 158-169 (1975)
Huang, D, Li, Y: Nagumo theorems of nonlinear singular boundary value problems. Nonlinear Anal. 29, 1365-1372 (1997)
Agarwal, R, O’Regan, D, Lakshmikantham, V, Leela, S: An upper and lower solution theory for singular Emden-Fowler equations. Nonlinear Anal. 3, 275-291 (2002)
Klaasen, G: Differential inequalities and existence theorems for second and third order boundary value problems. J. Differ. Equ. 10, 529-537 (1971)
Yao, Q, Feng, Y: The existence of solution for a third-order two-point boundary value problem. Appl. Math. Lett. 15, 227-232 (2002)
Du, Z, Ge, W, Lin, X: A new family of iterative methods based on an exponential model for solving nonlinear equations. J. Math. Anal. Appl. 294, 104-112 (2004)
Acknowledgements
The author sincerely thanks Professor Yong Li for many useful suggestions. The author also thanks the referees for their comments that improved this paper. This work was supported by NSF of China (NSFC) Grant No. 11401250.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to have no competing interests.
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
Cheng, M. Nagumo theorems of third-order singular nonlinear boundary value problems. Bound Value Probl 2015, 135 (2015). https://doi.org/10.1186/s13661-015-0400-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0400-y