 Research
 Open Access
 Published:
The nonlinear Kneser problem for singular in phase variables secondorder differential equations
Boundary Value Problems volume 2014, Article number: 147 (2014)
Abstract
For the singular in phase variables differential equation
sufficient conditions are found for the existence of a solution satisfying the conditions
where $\phi :C([0,a];{R}_{+})\to {R}_{+}$ is a continuous nondecreasing functional, $c>0$, and $a>0$.
MSC: 34B16, 34B40.
1 Statement of the problem and formulation of the main results
Suppose
and $f:D\to {R}_{+}$ is a continuous function. Consider the differential equation
A continuous function $u:{R}_{+}\to {R}_{+}$ is said to be the Kneser solution of Eq. (1.1) if it is twice continuously differentiable in the interval $]0,+\mathrm{\infty}[$, and in this interval it satisfies the inequalities
and the differential equation (1.1).
In the present paper, we investigate the problem on the existence of a Kneser solution of Eq. (1.1) satisfying the condition
where $\phi :C([0,a];{R}_{+})\to {R}_{+}$ is a continuous, nondecreasing functional, $a>0$, and $c>0$.
It is natural to name this problem the nonlinear Kneser problem since it was first studied by Kneser [1] in the case where Eq. (1.1) and condition (1.2) have the forms
where ${f}_{0}:{R}_{+}\times {R}_{+}\to {R}_{+}$ is a continuous function. Particularly, in [1] it is proved that if ${f}_{0}$ is a nondecreasing in the second argument function satisfying the local Lipschitz condition in this argument and ${f}_{0}(t,0)\equiv 0$, then for an arbitrarily fixed $c>0$, the differential equation (1.3) has a unique Kneser solution satisfying condition (1.4).

30
years later since Kneser’s paper was published, in their study of the problem on the distribution of electrons in a heavy atom, Fermi [2] and Thomas [3] had to investigate the problem analogous to the Kneser one for the concrete secondorder differential equation
$${u}^{\u2033}={t}^{\frac{1}{2}}{u}^{\frac{3}{2}}.$$(1.5)
In particular, they have proved that Eq. (1.5) has a unique solution satisfying the boundary conditions
It is easy to see that a solution of problem (1.5), (1.6) is a Kneser solution of Eq. (1.5) and vice versa, a Kneser solution of that equation, satisfying the initial condition
is a solution of problem (1.5), (1.6). Therefore, problem (1.5), (1.6) is equivalent to the Kneser problem for Eq. (1.5) with the initial condition (1.7).
After the papers by Fermi and Thomas were published, many mathematicians have been interested in the Knesertype problems, and such problems have been investigated in detail for a wide class of differential equations and systems.
Most of the results on the solvability and unique solvability of the Kneser problem for secondorder nonlinear differential equations, obtained until the beginning of 50s of the last century, are reflected in the monograph by Sansone [4]. From further investigations, first of all the paper by Hartman and Wintner [5], where the Kneser problem for Eq. (1.1) was studied in the case when $f:{R}_{+}\times {R}^{2}\to {R}_{+}$ is a continuous function, should be noted. Kiguradze [6], [7] studied the same problem in the case when the function $f:\phantom{\rule{0.2em}{0ex}}]0,+\mathrm{\infty}[\phantom{\rule{0.2em}{0ex}}\times \phantom{\rule{0.2em}{0ex}}{R}^{2}\to R$ has a nonintegrable singularity in the first argument at the point $t=0$.
The Kneser problem for singular in a time variable higherorder nonlinear differential equations first was studied by Kiguradze in [8], where the optimal conditions are established for the solvability of the abovementioned problem (see, [9], Sect. 13] as well). Analogous results were obtained by Kiguradze and Rachůnková [10] for the Kneser problem with a nonlinear initial condition.
Sufficient conditions for the solvability of the Knesertype problems for nonlinear differential systems were obtained by Chanturia [11], Coffman [12], Hartman and Wintner [13], Kiguradze and Rachůnková [14], and Rachůnková [15], [16].
In all the abovementioned works, differential equations and systems, not having singularities in phase variables, are considered. The Kneser problem for the differential equation with a singularity in one of the phase variables first was investigated by Kiguradze [17]. However, in this paper we consider not the general differential equation but the EmdenFowler type higherorder differential equation
As for the general differential equation (1.1) with singularities in phase variables, for it the Kneser problem has been practically unstudied so far. The aim of the present paper is to fill this gap.
In what follows it is assumed that the function $f$ satisfies the inequality
in the domain $D$. Here $\lambda $ and $\mu $ are nonnegative constants, $\lambda +\mu >0$, and ${g}_{i}:\phantom{\rule{0.2em}{0ex}}]0,+\mathrm{\infty}[\phantom{\rule{0.2em}{0ex}}\to {R}_{+}$ ($i=0,1$) are continuous functions, not equal identically to zero in an arbitrary neighborhood of $+\mathrm{\infty}$, i.e., there exists a sequence of positive numbers ${({t}_{k})}_{k=1}^{+\mathrm{\infty}}$ such that
Consequently, Eq. (1.1) has singularities in phase variables since either
or
Throughout the paper, the following notation and definitions are used.
$C([0,a];R)$ is the Banach space of continuous functions $u:[0,a]\to R$ with the norm
A functional $\phi :C([0,a];{R}_{+})\to {R}_{+}$ is said to be nondecreasing if for any $u\in C([0,a];{R}_{+})$ and ${u}_{0}\in C([0,a];{R}_{+})$ the inequality $\phi (u+{u}_{0})\ge \phi (u)$ holds.
For any $x\in {R}_{+}$, we put $\phi (x)=\phi (u)$, where $u(t)\equiv x$.
A Kneser solution $u$ of Eq. (1.1) is called vanishing at infinity if ${lim}_{t\to +\mathrm{\infty}}u(t)=0$, and it is called remote from zero if ${lim}_{t\to +\mathrm{\infty}}u(t)>0$.
Theorem 1.1
If Eq. (1.1) has a Kneser solution$u$, then
and
where
Corollary 1.1
If condition (1.11) holds and
then problem (1.1), (1.2) has no Kneser solution.
Theorem 1.2
If
then for any positive number$\delta $Eq. (1.1) has at least one Kneser solution satisfying equality (1.14).
Theorem 1.3
If along with (1.11) the condition
is satisfied, then Eq. (1.1) has at least one vanishing at infinity Kneser solution.
According to Corollary 1.1, for small $c$ problem (1.1), (1.2) has no Kneser solution. Thus we can expect the solvability of that problem only for large $c$.
Suppose that condition (1.16) holds. Then obviously condition (1.11) is satisfied as well. We introduce the function
and the number
Theorem 1.4
Let the function${g}_{1}$satisfy condition (1.16), and
If, moreover,
then problem (1.1), (1.2) has at least one Kneser solution.
Remark 1.1
In the case, where conditions (1.16) hold and
the question on the existence of a Kneser solution of problem (1.1), (1.2) remains open.
Consider now the case where
i.e., the case where inequality (1.8) has the form
From Theorems 1.1, 1.2, and 1.4 we immediately have the following corollary.
Corollary 1.2
Let the function${g}_{1}$satisfy identity (1.22), and let the functional$\phi $satisfy condition (1.20). Then the following assertions are equivalent:

(i)
the function ${g}_{0}$ satisfies conditions (1.11);

(ii)
Eq. (1.1) has at least one remote from zero Kneser solution;

(iii)
for any $\delta >0$, problem (1.1), (1.14) has at least one Kneser solution;

(iv)
for any sufficiently large $c>0$, problem (1.1), (1.2) has at least one Kneser solution.
The following statement is also valid.
Corollary 1.3
Let the function${g}_{1}$satisfy identity (1.22), and the functional$\phi $satisfy condition (1.20). Let, moreover, there exist numbers$\alpha $and$\beta $such that
Then the following assertions are equivalent:

(i)
$\alpha <2+\mu $, $\beta >2+\mu $;

(ii)
Eq. (1.1) has at least one remote from zero Kneser solution;

(iii)
Eq. (1.1) has at least one vanishing at infinity Kneser solution;

(iv)
for any $\delta >0$, problem (1.1), (1.14) has at least one Kneser solution;

(v)
for any sufficiently large $c>0$, problem (1.1), (1.2) has at least one Kneser solution.
Remark 1.2
In Theorem 1.4 and its corollaries it can be assumed, for example, that
where $\psi :{R}_{+}\to {R}_{+}$ is a continuous, nondecreasing function, and $\sigma :[0,a]\to R$ is a nondecreasing function such that
Remark 1.3
The aboveformulated theorems and their corollaries cover the case, where the function $f$ has a nonintegrable singularity in a time variable at the point $t=0$. Indeed, if conditions (1.23) hold, where $1<\alpha <2+\mu $, then
2 Auxiliary propositions
2.1 Lemmas on a priori estimates
Consider the differential inequalities
and
Everywhere in this section it is assumed that $\lambda $ and $\mu $ are nonnegative constants, $\tau :{R}_{+}\to {R}_{+}$ is a continuous function such that
and ${g}_{i}:\phantom{\rule{0.2em}{0ex}}]0,+\mathrm{\infty}[\phantom{\rule{0.2em}{0ex}}\to {R}_{+}$ ($i=0,1$) are continuous functions, not equal identically to zero in an arbitrary neighborhood of $+\mathrm{\infty}$, i.e., there exists a sequence of positive numbers ${({t}_{k})}_{k=1}^{+\mathrm{\infty}}$ such that condition (1.9) is satisfied.
A continuous function $u:{R}_{+}\to \phantom{\rule{0.2em}{0ex}}]0,+\mathrm{\infty}[$ is said to be the Kneser solution of the differential inequality (2.1) (of the differential inequality (2.2)) if it is twice continuously differentiable in the interval $]0,+\mathrm{\infty}[$ and in this interval along with the inequality ${u}^{\prime}(t)<0$ satisfies the differential inequality (2.1) (the differential inequality (2.2)).
Lemma 2.1
If the differential inequality (2.1) has a Kneser solution$u$, then the function${g}_{0}$satisfies condition (1.11), and$u$admits estimate (1.12), where${v}_{0}$is the function given by equality (1.13), and$\nu $, $\delta $are numbers given by equalities (1.10) and (1.14).
Proof
In view of (2.3) and the fact that $u$ is a Kneser solution, from (2.1) we find
and, consequently,
If we integrate this inequality from $t$ to $+\mathrm{\infty}$, then due to equalities (1.10) and (1.14), we obtain
Therefore condition (1.11) is satisfied and the function $u$ admits estimate (1.12). □
Let $b\in \phantom{\rule{0.2em}{0ex}}]0,+\mathrm{\infty}[$, and along with (2.3) let the inequality
be fulfilled. A continuous function $u:[0,b]\to \phantom{\rule{0.2em}{0ex}}]0,+\mathrm{\infty}[$ is said to be a Kneser solution of the differential inequality (2.1) (of the differential inequality (2.2)) in the interval$[0,b]$ if it is continuously differentiable in the interval $]0,b]$ and in this interval along with the inequality ${u}^{\prime}(t)<0$ satisfies the differential inequality (2.1) (the differential inequality (2.2)).
The following lemma can be proved analogously to Lemma 2.1.
Lemma 2.2
Let inequality (2.4) be fulfilled and the differential inequality (2.1) in the interval$[0,b]$have a Kneser solution$u$. Then
and that solution admits the estimate
where $\delta =u(b)$ and
Lemma 2.3
Let along with (2.4) the condition
be fulfilled, and let the differential inequality (2.2) in the interval$[0,b]$have a Kneser solution$u$. Then this solution along with (2.6) admits the estimates
where$\delta =u(b)$, $\epsilon ={u}^{\prime}(b)$, and
for$0\le t\le b$.
Proof
First note that the validity of condition (2.8) guarantees the validity of condition (2.5). On the other hand, by Lemma 2.2 the function $u$ admits estimate (2.6). By virtue of this estimate and the fact that $u$ is a Kneser solution, (2.2) and (2.11) yield
and, consequently,
Integration of this inequality from $t$ to $b$ results in estimate (2.9).
If along with (2.9) we take into account inequalities (2.12) and (2.13), then the validity of estimate (2.10) becomes evident. □
2.2 Lemma on the solvability of a nonlinear Kneser problem on a finite interval
Let $b>a$. Consider the problem on the existence of a Kneser solution of Eq. (1.1) in the interval $[0,b]$ satisfying condition (1.2).
If condition (2.8) holds, then for any $\delta >0$, $\epsilon >0$, and $t\in [0,b]$, we assume
Lemma 2.4
Let condition (2.8) be fulfilled and there exist numbers$\epsilon >0$, ${\delta}_{0}>0$, and${\delta}^{\ast}>{\delta}_{0}$such that
and
Then problem (1.1), (1.2) has a Kneser solution$u$in the interval$[0,b]$such that
Proof
For arbitrarily fixed $\delta \in [{\delta}_{0},{\delta}^{\ast}]$ and natural number $k$, we consider the Cauchy problem
where
By virtue of conditions (1.8), (2.8) and equalities (2.20), (2.21), problem (2.18), (2.19) has a unique solution in the interval $[0,b]$, which is a Kneser solution of the differential inequality (2.2) as well, where $\tau (x)\equiv {\tau}_{k}(x)$. Denote this solution by ${u}_{k}(t;\delta )$. It is clear that the function $(t,\delta )\to {u}_{k}(t;\delta )$ is continuous on $[0,b]\times [{\delta}_{0},{\delta}^{\ast}]$, and on $]0,b[\phantom{\rule{0.2em}{0ex}}\times [{\delta}_{0},{\delta}^{\ast}]$ it satisfies the inequalities
On the other hand, by Lemma 2.3, on $]0,b]\times [{\delta}_{0},{\delta}^{\ast}]$ this function admits the estimates
where
Due to (2.8) and (2.21), the equality
is satisfied uniformly with respect to $(t,\delta )\in [0,b]\times [{\delta}_{0},{\delta}^{\ast}]$. Thus from (2.16) it follows the inequality
where ${k}_{0}$ is a sufficiently large natural number.
Let $k\ge {k}_{0}$. Suppose
From the continuity of $\phi $ and ${u}_{k}$ it follows that ${\psi}_{k}$ is a continuous on $[{\delta}_{0},{\delta}^{\ast}]$ function. On the other hand, by virtue of estimates (2.22) and (2.23), inequalities (2.15) and (2.25) yield the inequalities
since $\phi $ is a nondecreasing functional. From these inequalities it follows the existence of a number ${\delta}_{k}\in \phantom{\rule{0.2em}{0ex}}]{\delta}_{0},{\delta}^{\ast}[$ such that ${\psi}_{k}({\delta}_{k})=c$. Consequently,
In view of estimates (2.22)(2.24), for every natural $k\ge {k}_{0}$, the inequalities
hold in the interval $[0,b]$, and the inequalities
hold in the interval $]0,b]$. From these inequalities it follows that the sequence ${({u}_{k}(\cdot ;{\delta}_{k}))}_{k={k}_{0}}^{+\mathrm{\infty}}$ is uniformly bounded and equicontinuous on $[0,b]$, and the sequence ${({u}_{k}^{\prime}(\cdot ;{\delta}_{k}))}_{k={k}_{0}}^{+\mathrm{\infty}}$ is uniformly bounded and equicontinuous on every closed interval contained in $]0,b]$.
According to the ArzelàAscoli lemma, without loss of generality it can be assumed that ${({u}_{k}(\cdot ;{\delta}_{k}))}_{k={k}_{0}}^{+\mathrm{\infty}}$ is uniformly converging on the interval $[0,b]$, and ${({u}_{k}^{\prime}(\cdot ;{\delta}_{k}))}_{k={k}_{0}}^{+\mathrm{\infty}}$ is uniformly converging on every closed interval contained in $]0,b]$. Then, by virtue of notation (2.20), (2.21) and estimates (2.28), (2.29), from equality (2.26) it follows that the sequence ${({u}_{k}^{\u2033}(\cdot ;{\delta}_{k}))}_{k={k}_{0}}^{+\mathrm{\infty}}$ is also uniformly converging on every closed interval contained in $]0,b]$.
Suppose
It is evident that the function $u$ is continuous on $[0,b]$ and twice continuously differentiable on $]0,b]$. Moreover,
and conditions (2.17) are satisfied.
If now we pass to the limit in equalities (2.26) and (2.27) as $k\to +\mathrm{\infty}$ and take into account estimates (2.28) and (2.29), then it becomes evident that $u$ is a Kneser solution of problem (1.1), (1.2) in the interval $[0,b]$. □
2.3 Lemma on the solvability of the Cauchy problem on a finite interval
Lemma 2.5
Let$b>0$and condition (2.8) be fulfilled. Then, for arbitrarily fixed$\delta >0$and$\epsilon >0$, problem (1.1), (2.19) has at least one Kneser solution in the interval$[0,b]$and every such solution admits the estimates
where${w}_{0}$and${w}_{1}$are functions given by equalities (2.7) and (2.14).
Proof
According to the Peano theorem, the continuity of the function $f:D\to {R}_{+}$ guarantees the local solvability of problem (1.1), (2.19). Let $u$ be any maximally extended solution of that problem defined on some interval $]{b}_{0},b]$. Then on this interval the inequalities
hold. Moreover, either ${b}_{0}=0$, or ${b}_{0}>0$ and
By virtue of conditions (1.8) and (2.32), we have
Hence, in view of (2.19), we find
where
and, as it follows from (2.8),
If we assume that ${b}_{0}>0$, then from estimate (2.34) we find
But this contradicts equality (2.33). The contradiction obtained proves that ${b}_{0}=0$.
Due to (2.34) and (2.35), the function $u$ has a finite righthand limit at the point 0. If we put
then it becomes obvious that $u$ is a Kneser solution of problem (1.1), (2.19) in the interval $[0,b]$.
According to condition (1.8), the function $u$ is a Kneser solution of the differential inequality (2.2) as well, where $\tau (t)\equiv t$. By Lemma 2.3, this solution admits estimates (2.6), (2.9), (2.10). On the other hand, when $\tau (t)\equiv t$, from (2.11) and (2.14) it follows that
Therefore estimates (2.30) and (2.31) are valid. □
2.4 Lemma on the existence of a remote from zero Kneser solution of Eq. (1.1)
Lemma 2.6
Let$\delta $be a positive number, and let${({b}_{k})}_{k=1}^{+\mathrm{\infty}}$, ${({\delta}_{k})}_{k=1}^{+\mathrm{\infty}}$, and${({\epsilon}_{k})}_{k=1}^{+\mathrm{\infty}}$be sequences of positive numbers such that
and for any natural$k$, the differential equation (1.1) has a Kneser solution${u}_{k}$in the interval$[0,{b}_{k}]$satisfying the conditions
Let, moreover, condition (1.16) be satisfied. Then the sequence${({u}_{k})}_{k=1}^{+\mathrm{\infty}}$contains a uniformly converging on every finite interval of${R}_{+}$subsequence, whose limit is a Kneser solution of problem (1.1), (1.14).
Proof
According to Lemma 2.5 and condition (1.16), for any natural $k$ the inequality
holds in the interval $[0,{b}_{k}]$, and the inequality
holds in the interval $]0,{b}_{k}]$. Hence, by virtue of conditions (1.8), (1.16), and (2.37), we have
where
On the other hand, in view of (1.9) and (2.36), it is clear that
where
Let $b>0$ and ${b}_{0}\in \phantom{\rule{0.2em}{0ex}}]0,b[$ be arbitrary numbers, and let ${k}_{0}$ and ${b}^{\ast}>b$ be such large numbers that
Then in view of inequalities (2.39)(2.41), the sequence ${({u}_{k})}_{k={k}_{0}}^{+\mathrm{\infty}}$ is uniformly bounded on $[0,b]$, and the sequences ${({u}_{k}^{\prime})}_{k={k}_{0}}^{+\mathrm{\infty}}$ and ${({u}_{k}^{\u2033})}_{k={k}_{0}}^{+\mathrm{\infty}}$ are uniformly bounded on $[{b}_{0},b]$. Hence by the ArzelàAscoli lemma and conditions (2.40), (2.42) it follows the existence of a subsequence ${({u}_{{k}_{m}})}_{m=1}^{+\mathrm{\infty}}$ of the sequence ${({u}_{k})}_{k={k}_{0}}^{+\mathrm{\infty}}$ such that ${({u}_{{k}_{m}})}_{m=1}^{+\mathrm{\infty}}$ is uniformly converging on every finite interval contained in ${R}_{+}$, and ${({u}_{{k}_{m}}^{\prime})}_{m=1}^{+\mathrm{\infty}}$ is uniformly converging on every finite closed interval contained in $]0,+\mathrm{\infty}[$. On the other hand, by virtue of conditions (2.39), (2.40), and (2.43), from the equalities
it follows that the sequence ${({u}_{{k}_{m}}^{\u2033})}_{m=1}^{+\mathrm{\infty}}$ is also uniformly converging on every finite closed interval contained in $]0,+\mathrm{\infty}[$.
Suppose
According to the above said, the function $u$ is continuous on ${R}_{+}$, twice continuously differentiable on $]0,+\mathrm{\infty}[$, and
Thus from (2.36), (2.39), (2.40), and (2.45) it follows that $u$ is a Kneser solution of problem (1.1), (1.14). □
3 Proof of the main results
Proof of Theorem 1.1
Let $u$ be a Kneser solution of Eq. (1.1). Then, by condition (1.8), this function is a Kneser solution of the differential inequality (2.1) as well, where $\tau (t)\equiv t$. Due to Lemma 2.1, the function ${g}_{0}$ satisfies condition (1.11), and $u$ admits estimate (1.12). □
Proof of Corollary 1.1
Assume the contrary that problem (1.1), (1.2) has a Kneser solution $u$. Then, by Theorem 1.1, the function $u$ admits estimate (1.12), where $\delta $ is a number, given by equality (1.14). Thus (1.2) yields
But this inequality contradicts inequality (1.15). The contradiction obtained proves the validity of the corollary. □
Proof of Theorem 1.2
Let ${\delta}_{k}=\delta $ ($k=1,2,\dots $), and let ${({b}_{k})}_{k=1}^{+\mathrm{\infty}}$ and ${({\epsilon}_{k})}_{k=1}^{+\mathrm{\infty}}$ be sequences of positive numbers satisfying conditions (2.36) and (2.37). By Lemma 2.5 and condition (1.16), for any natural $k$ the differential equation (1.1) has a Kneser solution in the interval $[0,{b}_{k}]$ satisfying conditions (2.38). Hence, by virtue of Lemma 2.6, it follows the existence of a Kneser solution of problem (1.1), (1.14). □
Proof of Theorem 1.3
Conditions (1.11) and (1.17) imply condition (1.16), which by Theorem 1.2 guarantees the existence of a Kneser solution of problem (1.1), (1.14) for any $\delta >0$. Consequently, for any natural $k$, the differential equation (1.1) has a Kneser solution ${u}_{k}$ such that
On the other hand, by virtue of Theorem 1.1, each ${u}_{k}$ satisfies the estimate
This estimate, due to conditions (1.8), (1.9), (1.17), yields
where $r=1+{v}_{1}(0;0)$, while ${v}_{1}$ and ${h}_{0}$ are functions given by equalities (1.18) and (2.44).
By virtue of the ArzelàAscoli lemma and the equality
from estimates (3.1)(3.3) it follows the existence of a subsequence ${({u}_{{k}_{m}})}_{m=1}^{+\mathrm{\infty}}$ of the sequence ${({u}_{k})}_{k=1}^{+\mathrm{\infty}}$ such that ${({u}_{{k}_{m}})}_{m=1}^{+\mathrm{\infty}}$ is uniformly converging on every finite closed interval contained in ${R}_{+}$, and ${({u}_{{k}_{m}}^{\prime})}_{m=1}^{+\mathrm{\infty}}$ and ${({u}_{{k}_{m}}^{\u2033})}_{m=1}^{+\mathrm{\infty}}$ are uniformly converging on every finite closed interval contained in $]0,+\mathrm{\infty}[$.
If we assume
then in view of conditions (3.1), (3.2), (3.4) we find
Therefore $u$ is a vanishing at infinity Kneser solution of Eq. (1.1). □
Proof of Theorem 1.4
According to conditions (1.19)(1.21), there exist numbers ${\delta}_{0}>0$ and ${\delta}^{\ast}>{\delta}_{0}$ such that along with (2.15) the inequality
holds.
Let ${w}_{0}$ and ${w}_{1}$ be the functions given by equalities (2.7) and (2.14). Then, by virtue of (1.16), we have
uniformly on $[0,a]$. Thus from inequality (3.5) it follows the existence of a number ${b}_{0}>a$ such that
Let ${({b}_{k})}_{k=1}^{+\mathrm{\infty}}$ be a sequence of positive numbers such that
Then due to condition (3.6), there exists a sequence of positive numbers ${({\epsilon}_{k})}_{k=1}^{+\mathrm{\infty}}$ satisfying (2.37) and the inequalities
By Lemma 2.4 and conditions (2.15), (3.7), for any natural $k$, problem (1.1), (1.2) has a Kneser solution ${u}_{k}$ in the interval $[0,{b}_{k}]$ such that
where ${\delta}_{k}=u({b}_{k})$.
Without loss of generality, we can assume that the sequence ${({\delta}_{k})}_{k=1}^{+\mathrm{\infty}}$ is converging. Put
By Lemma 2.6, the sequence ${({u}_{k})}_{k=1}^{+\mathrm{\infty}}$ contains a uniformly converging on every finite interval from ${R}_{+}$ subsequence ${({u}_{{k}_{m}})}_{m=1}^{+\mathrm{\infty}}$ such that the function, defined by the equality
is a Kneser solution of problem (1.1), (1.14). On the other hand, if in the equality $\phi ({u}_{{k}_{m}})=c$ we pass to the limit as $m\to +\mathrm{\infty}$, then it becomes clear that $u$ satisfies condition (1.2) as well. Thus $u$ is a Kneser solution of problem (1.1), (1.2). □
To convince ourselves that Corollary 1.3 is valid, it suffices to note that if conditions (1.22)(1.24) are fulfilled, then each of conditions (1.11), (1.16), (1.17) is satisfied iff $\alpha <2+\mu $ and $\beta >2+\mu $.
References
 1.
Kneser A: Untersuchung und asymptotische darstellung der integrale gewisser differentialgleichungen bei grossen reellen werthen der arguments, I. J. Reine Angew. Math. 1896, 116: 173212.
 2.
Fermi E: Un metodo statistico per la determinazione di alcune proprietà dell’atomo. Rend. R. Accad. Naz. Lincei 1927, 6: 602607.
 3.
Thomas LH: The calculation of atomic fields. Proc. Camb. Philos. Soc. 1927, 23: 542548. 10.1017/S0305004100011683
 4.
Sansone G: Ordinary Differential Equations, vol. I. Izdat. Inostrannoĭ Literatury, Moscow; 1953.
 5.
Hartman P, Wintner A:On the nonincreasing solutions of ${y}^{\u2033}=f(x,y,{y}^{\prime})$. Am. J. Math. 1951, 73(2):390404. 10.2307/2372184
 6.
Kiguradze IT: On nonnegative nonincreasing solutions of nonlinear second order differential equations. Ann. Mat. Pura Appl. 1969, 81: 169192. 10.1007/BF02413502
 7.
Kiguradze IT, Shekhter BL: Singular boundary value problems for second order ordinary differential equations. Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat., Novejshie Dostizh. 1987, 30: 105201. (Russian). English transl.: J. Sov. Math. 43(2), 2340–2417 (1988)
 8.
Kiguradze IT:On monotone solutions of nonlinear $n$th order ordinary differential equations. Izv. Akad. Nauk SSSR, Ser. Mat. 1969, 33(6):13731398. (Russian). English transl.: Math. USSR, Izv. 3, 12931317 (1969)
 9.
Kiguradze IT: Some Singular Boundary Value Problems for Ordinary Differential Equations. Tbilisi University Press, Tbilisi; 1975.
 10.
Kiguradze IT, Rachůnková I: On the solvability of a nonlinear Kneser type problem. Differ. Uravn. (Minsk) 1979, 15(10):17541765. (Russian). English transl.: Differ. Equ. 15, 12481256 (1980)
 11.
Chanturia TA: On the Kneser type problem for systems of ordinary differential equations. Mat. Zametki 1974, 15(6):897906. (Russian)
 12.
Coffman CV: Nonlinear differential equations on cones in Banach spaces. Pac. J. Math. 1964, 14(1):915. 10.2140/pjm.1964.14.9
 13.
Hartman P, Wintner A: On monotone solutions of systems of nonlinear differential equations. Am. J. Math. 1954, 76(4):860866. 10.2307/2372660
 14.
Kiguradze IT, Rachůnková I: On a certain nonlinear problem for twodimensional differential systems. Arch. Math. 1980, 15(1):1538.
 15.
Rachůnková I: On the Kneser problem for a system of nonlinear ordinary differential equations. Soob. Acad. Nauk GSSR 1979, 94(3):545548. (Russian)
 16.
Rachůnková I: On a Kneser problem for a system of nonlinear ordinary differential equations. Czechoslov. Math. J. 1981, 31(1):114126.
 17.
Kiguradze I: On Kneser solutions of the EmdenFowler differential equation with a negative exponent. Tr. Inst. Mat. NAN Belarusi 2000, 4: 6977.
Acknowledgements
For the first author this work is supported by the Shota Rustaveli National Science Foundation (Project # FR/317/5101/12), and for the second author this work is supported by the Internal Grant Agency at Brno University of Technology (Project # FPS132148).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
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 (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Received
Accepted
Published
DOI
Keywords
 differential equation
 second order
 singular in phase variables
 Kneser solution
 Kneser problem
 nonlinear