Skip to main content

# Nonlinear fourth order boundary value problem

## Abstract

In this paper we consider a nonlinear boundary value problem generated by a fourth order differential equation on the semi-infinite interval in which the lim-4 case holds for fourth order differential expression at infinity. Using the well-known Banach and Schauder fixed point theorems we prove the existence and uniqueness theorems for the nonlinear boundary value problem.

MSC: 34A34, 34B15, 34B16, 34G20.

## 1 Introduction

In the literature a kind of first order nonlinear boundary value problems is of the form

$y ′ =A(x)y+F(x,y),$
(1)
$Ty=r,$
(2)

where A is a $n×n$ matrix defined on some interval $I⊂R$, F is a $n×1$ vector which is continuous on $I×S$, $S⊂ R n$, T is a bounded linear operator defined on the space of bounded and continuous $R n$-valued functions on I and r is a $n×1$ vector in $R n$. Existence and uniqueness theorems of the solutions of the problem (1), (2) have been obtained in many papers. These results can be found in  and references therein. Similar nonlinear boundary value problem has been studied by Agarwal et al. on a time scale $[ 0 , ∞ ) T =[0,∞)∩T$ as

$y Δ =A(x)y+F(x,y),$
(3)
$Ly=l,$
(4)

where A is a $n×n$ bounded matrix, L is a bounded linear operator on $[ 0 , ∞ ) T$ and l is a $n×1$ vector in $R n$. They have introduced existence results for the problem (3), (4).

Second order nonlinear boundary value problems have been investigated by many authors. For example, Baxley has considered second order nonlinear boundary value problem on the semi-infinite interval $[0,∞)$ as

$y ″ = f ( x , y , y ′ ) , y ( 0 ) = y 0 , y ′ ( 0 ) = y 1 ,$

as well as on the interval $[0,b]$, where $b<∞$ (further see ). We should note that there are several works in the field of the existence and uniqueness theorems of the second order nonlinear boundary value problems. Some of them can be found in, for example, –. In particular, in  Guseinov and Yaslan have investigated the existence and uniqueness of the solutions of the second order nonlinear boundary value problem on the semi-infinite interval $[0,∞)$

$− ( p ( x ) y ′ ) ′ +q(x)y=f(x,y),x∈[0,∞),$
(5)
$αy(0)+β ( p y ′ ) (0)= d 1 ,γ W ∞ (y,u)+δ W ∞ (y,v)= d 2 ,$
(6)

where p, q are real-valued, measurable functions on $[0,∞)$ such that Weyl’s limit-circle case holds – for the equation

$− ( p ( x ) y ′ ) ′ +q(x)y=0,x∈[0,∞),$
(7)

α, β, γ, δ are real numbers satisfying $αδ−βγ≠0$ and $d 1$, $d 2$ are arbitrary real numbers, $W x (y,z)$ denotes the Wronskian of the solutions of (7) and u and v are the solutions of (7). Also they have studied the following nonlinear boundary value problem on the infinite interval $(−∞,∞)$:

$− ( p ( x ) y ′ ) ′ + q ( x ) y = f ( x , y ) , x ∈ ( − ∞ , ∞ ) , α W − ∞ ( y , u ) + β W − ∞ ( y , v ) = d 1 , γ W ∞ ( y , u ) + δ W ∞ ( y , v ) = d 2 ,$

where p, q are real-valued, measurable functions on $(−∞,∞)$ such that Weyl’s limit-circle case holds for the equation

$− ( p ( x ) y ′ ) ′ +q(x)y=0,x∈(−∞,∞),$
(8)

α, β, γ, δ are real numbers satisfying $αδ−βγ≠0$ and $d 1$, $d 2$ are arbitrary real numbers, $W x (y,z)$ denotes the Wronskian of the solutions of (8) and u and v are the solutions of (8).

In fact, Weyl showed that  at least one of the linearly independent solutions of the equation

$− ( p ( x ) y ′ ) ′ +q(x)y=λy$
(9)

is in a squarely integrable space on $[0,∞)$, where λ is a complex parameter. This result follows from the convergence of the corresponding nested circles. These circles either converge to a circle or a point. In the primary case, two linearly independent solutions of (9) and any combinations of them belong to the squarely integrable space and (9) is said to be the limit-circle case. Otherwise (9) is said to be of limit-point case. These Weyl’s results have been generalized to the fourth order case as well as 2n th order case by Everitt – (further see ). Moreover, we should note that limit-point/circle classifications does not depend on the spectral parameter λ. Using these ideas we generalize the results of (5), (6) to the fourth order case as given in (10), (13)-(16). Using Banach and Schauder fixed point theorems we establish the existence and uniqueness theorems for the singular fourth order nonlinear boundary value problem (10), (13)-(16) in the lim-4 case.

## 2 Nonlinear problem

We consider the fourth order nonlinear differential equation as

$( q 2 ( x ) y ( 2 ) ) ( 2 ) − ( q 1 ( x ) y ( 1 ) ) ( 1 ) + q 0 (x)y=f(x,y),$
(10)

where $x∈I:=[0,∞)$, y is the desired solution, $q 0$, $q 1$, $q 1 ( 1 )$, $q 2$, $q 2 ( 1 )$, $q 2 ( 2 )$ are the real-valued, continuous functions and $q 2 >0$ on I. Further we assume that $f(x,t)$ is real-valued and continuous function on $(x,t)∈I×R$, and for $(x,t)∈I×R$, $f(x,t)$ satisfies the following condition:

$|f(x,t)|≤g(x)+a|t|,$
(11)

where $g(x)≥0$ and $a>0$.

It is well known that the r th quasi-derivative of a function y can be defined as follows :

$y [ 0 ] = y , y [ 1 ] = y ( 1 ) , y [ 2 ] = q 2 y ( 2 ) , y [ 3 ] = q 1 y ( 1 ) − ( q 2 y ( 2 ) ) ( 1 ) , y [ 4 ] = q 0 y − ( q 1 y ( 1 ) ) ( 1 ) + ( q 2 y ( 2 ) ) ( 2 ) .$

Therefore (10) can be rewritten as

$y [ 4 ] =f(x,y).$

Let $L 2 (I)$ denote the Hilbert space consisting of all real-valued functions y such that $∫ 0 ∞ |y(x) | 2 dx<∞$ with the inner product $(y,χ)= ∫ 0 ∞ y(x)χ(x)dx$ and the norm $∥y∥= ( y , y ) 1 2$.

We assume that $g∈ L 2 (I)$ and the lim-4 case conditions are satisfied for the equation $y [ 4 ] =0$, $x∈I$–. In other words, we assume that four linearly independent solutions of $y [ 4 ] =0$, $x∈I$, belong to $L 2 (I)$. In the literature there are sufficient conditions in which the lim-4 case holds for $y [ 4 ] =0$, $x∈I$–. For example, in 1977, Eastham  proved that the equation

$( c x γ y ( 2 ) ) ( 2 ) + ( a x α y ( 1 ) ) ( 1 ) +b x β y=0,x∈[0,∞),$

has four linearly independent solutions belonging to $L 2 [0,∞)$ if

$α=γ=β+2and b a > β 2 + 1 4$

or

$α−β=2,β>γand ( b a ) 1 2 > ( 3 β 2 − 2 β γ + 8 β + 4 − γ 2 ) 8 ( β − γ ) .$

Consider the set $D(I)$ in $L 2 (I)$ consisting of all functions $y∈ L 2 (I)$ such that $y [ i ]$ ($i=0,…,3$) is locally absolutely continuous function on I and $y [ 4 ] ∈ L 2 (I)$. Then for arbitrary two functions y and χ in $D(I)$ we have the Green’s formula

$∫ x 1 x 2 y [ 4 ] χdx− ∫ x 1 x 2 y χ [ 4 ] dx=[y,χ]( x 2 )−[y,χ]( x 1 ),$

where $0≤ x 1 < x 2 ≤∞$ and $[y,χ](x)= y [ 0 ] (x) χ [ 3 ] (x)− y [ 3 ] (x) χ [ 0 ] (x)+ y [ 1 ] (x) χ [ 2 ] (x)− y [ 2 ] (x) χ [ 1 ] (x)$. Green’s formula implies that for two functions $y,χ∈D(I)$, the limit $[y,χ](∞)= lim x → ∞ [y,χ](x)$ exists and is finite.

Let $φ 1 (x)$, $φ 2 (x)$, $ψ 1 (x)$, and $ψ 2 (x)$ be the solutions of the equation

$y [ 4 ] =0,x∈I,$

satisfying the conditions 

${ φ 1 [ 0 ] ( 0 ) = α 2 , φ 1 [ 3 ] ( 0 ) = − α 1 , φ 1 [ 1 ] ( 0 ) = φ 1 [ 2 ] ( 0 ) = 0 , φ 2 [ 1 ] ( 0 ) = β 2 , φ 2 [ 2 ] ( 0 ) = − β 1 , φ 2 [ 0 ] ( 0 ) = φ 2 [ 3 ] ( 0 ) = 0 , ψ 1 [ 0 ] ( 0 ) = γ 1 , ψ 1 [ 3 ] ( 0 ) = − γ 2 , ψ 1 [ 1 ] ( 0 ) = ψ 1 [ 2 ] ( 0 ) = 0 , ψ 2 [ 1 ] ( 0 ) = θ 1 , ψ 2 [ 2 ] ( 0 ) = − θ 2 , ψ 2 [ 0 ] ( 0 ) = ψ 2 [ 3 ] ( 0 ) = 0 ,$

where $α i$, $β i$, $γ i$, and $θ i$ ($i=1,2$) are real numbers satisfying

$α 1 γ 1 − α 2 γ 2 =1$

and

$β 1 θ 1 − β 2 θ 2 =1.$

Since the lim-4 case holds for $y [ 4 ] =0$, $x∈I$, all the solutions $φ i (x)$ and $ψ i (x)$, $i=1,2$, belong to $L 2 (I)$ and $D(I)$. It is clear that

$[ φ r , ψ s ](a)= δ r s$

and

$[ φ r , φ s ](a)=0,[ ψ r , ψ s ](a)=0,$

where $δ r s$ is the Kronecker delta and $1≤r,s≤2$. This means that for arbitrary $y∈D(I)$, the values $[y, φ 1 ](∞)$, $[y, φ 2 ](∞)$, $[y, ψ 1 ](∞)$ and $[y, ψ 2 ](∞)$ exist and are finite.

Let ${ y j (x);1≤j≤r}$ be any r ($1≤r≤4$) solutions of $y [ 4 ] =0$. The notation $W{ y 1 , y 2 ,…, y r }$ denotes the Wronskian of order r of this set of functions. The following relation is well known (see , , ):

$q 2 2 ( x ) W { y 1 , y 2 , y 3 , y 4 } ( x ) = − [ y 1 , y 2 ] ( x ) [ y 3 , y 4 ] ( x ) + [ y 1 , y 3 ] ( x ) [ y 2 , y 4 ] ( x ) − [ y 1 , y 4 ] ( x ) [ y 2 , y 3 ] ( x ) .$
(12)

Using (12) we get

$q 2 2 (x)W{ φ 1 , φ 2 , ψ 1 , ψ 2 }(x)=1.$

For $y∈D(I)$, let us consider the following boundary conditions:

$α 1 y [ 0 ] (0)+ α 2 y [ 3 ] (0)=0,$
(13)
$β 1 y [ 1 ] (0)+ β 2 y [ 2 ] (0)=0,$
(14)
$[y, ψ 1 ](∞)− k 1 [y, φ 1 ](∞)=0,$
(15)
$[y, ψ 2 ](∞)− k 2 [y, φ 2 ](∞)=0,$
(16)

where $α i$ and $β i$ ($i=1,2$) are defined as above and $k 1$ and $k 2$ are some real numbers.

It should be noted that for any solutions $y(x)$ of $y [ 4 ] =0$, the conditions (13) and (14), respectively, can be written as

$[y, φ 1 ](0)=0,$
(17)
$[y, φ 2 ](0)=0.$
(18)

Note that the conditions (17) and (18) are called Kodaira conditions .

## 3 Green’s function

For $y∈D(I)$, let us consider the following differential equation:

$y [ 4 ] =h(x),x∈I,$
(19)

where $h∈ L 2 (I)$, subject to the boundary conditions (13)-(16).

Now consider the solutions $φ 1 (x)$, $φ 2 (x)$, $ϕ 1 (x)$, and $ϕ 2 (x)$, where $ϕ 1 (x)= ψ 1 (x)− k 1 φ 1 (x)$ and $ϕ 2 (x)= ψ 2 (x)− k 2 φ 2 (x)$. $φ 1 (x)$ and $φ 2 (x)$ satisfy the conditions (13) and (14), respectively, and $ϕ 1 (x)$ and $ϕ 2 (x)$ satisfy the conditions (15) and (16), respectively.

Using Everitt’s method (see , ) we find the solution of the boundary value problem (19), (13)-(16) as

$y(x)= ∫ 0 ∞ G(x,t)h(t)dt,x∈I,$

where

$G(x,t)= { ϕ T ( t ) φ ( x ) , 0 ≤ x < t , ϕ T ( x ) φ ( t ) , t < x ≤ ∞ ,$
(20)

$y T$ denotes the transpose of the vector y, $ϕ(x)=ψ(x)−kφ(x)$ and

$φ(x)= ( φ 1 ( x ) φ 2 ( x ) ) ,ψ(x)= ( ψ 1 ( x ) ψ 2 ( x ) ) ,k= ( k 1 0 0 k 2 ) .$

Consequently we obtain in $L 2 (I)$ that the nonlinear boundary value problem (10), (13)-(16) is equivalent to the nonlinear integral equation

$y(x)= ∫ 0 ∞ G(x,t)f ( t , y ( t ) ) dt,x∈I,$
(21)

where $G(x,t)$ is defined by (20). Note that since the lim-4 case holds for $y [ 4 ] =0$, one finds that $G(x,t)$ is a Hilbert-Schmidt kernel.

Using (11) and (20) we can define an operator $L: L 2 (I)→ L 2 (I)$ as follows:

$Ly= ∫ 0 ∞ G(x,t)f ( t , y ( t ) ) dt,x∈I,$
(22)

where $y∈ L 2 (I)$. Hence (21) can be rewritten as

$y=Ly.$
(23)

Therefore solving (23) in $L 2 (I)$ is equivalent to find the fixed points of .

Now we recall the well-known fixed point theorem.

### Banach fixed point theorem

Let B be a Banach space and S a nonempty closed subset of B. Assume$A:S→S$is a contraction, i.e., there is a λ, $0<λ<1$, such that$∥Au−Av∥≤λ∥u−v∥$for all u, v in S. Then A has a unique fixed point in S.

### Theorem 3.1

Let$f(x,t)$satisfies the condition (11) and the following Lipschitz condition: there is a constant$C>0$so that

$∫ 0 ∞ |f ( x , y ( x ) ) −f ( x , χ ( x ) ) | 2 dx≤ C 2 ∫ 0 ∞ |y(x)−χ(x) | 2 dx$
(24)

for all$y,χ∈ L 2 (I)$. If

$C ( ∫ 0 ∞ ∫ 0 ∞ | G ( x , t ) | 2 d x d t ) 1 2 <1$
(25)

then the problem (10), (13)-(16) has a unique solution in$L 2 (I)$.

### Proof

For arbitrary $y,χ∈ L 2 (I)$ using (24) and (25) we have

$| L y − L χ | 2 = | ∫ 0 ∞ G ( x , t ) [ f ( t , y ( t ) ) − f ( t , χ ( t ) ) ] d t | 2 ≤ ∫ 0 ∞ | G ( x , t ) | 2 d t ∫ 0 ∞ | f ( t , y ( t ) ) − f ( t , χ ( t ) ) | 2 d t ≤ C 2 ∫ 0 ∞ | y ( t ) − χ ( t ) | 2 d t ∫ 0 ∞ | G ( x , t ) | 2 d t = C 2 ∥ y − χ ∥ 2 ∫ 0 ∞ | G ( x , t ) | 2 d t .$
(26)

If we take the value λ as

$λ=C ( ∫ 0 ∞ ∫ 0 ∞ | G ( x , t ) | 2 d x d t ) 1 2 <1$

then we obtain from (26)

$∥Ly−Lχ∥≤λ∥y−χ∥.$

Therefore is a contraction mapping. Hence from the Banach fixed point theorem the proof is completed. □

Now consider the set K in $L 2 (I)$ as follows:

$K= { y ∈ L 2 ( I ) : ∥ y ∥ ≤ R } .$

### Theorem 3.2

Let$f(x,t)$satisfies the condition (11). Further let us assume that for all$y,χ∈K$the following inequality holds:

$∫ 0 ∞ |f ( x , y ( x ) ) −f ( x , χ ( x ) ) | 2 dx≤ C 2 ∫ 0 ∞ |y(x)−χ(x) | 2 dx,$
(27)

where$C>0$is a constant and may depend on R. If

$( ∫ 0 ∞ ∫ 0 ∞ | G ( x , t ) | 2 d x d t ) 1 2 ( sup y ∈ K ∫ 0 ∞ | f ( t , y ( t ) ) | 2 d t ) 1 2 ≤R$
(28)

and

$C ( ∫ 0 ∞ ∫ 0 ∞ | G ( x , t ) | 2 d x d t ) 1 2 <1$
(29)

then the boundary value problem (10), (13)-(16) has a unique solution$y∈ L 2 (I)$satisfying

$∫ 0 ∞ |y(x) | 2 dx≤ R 2 .$

### Proof

Equations (27) and (29) show that the operator is a contraction in K. Now let $y∈K$. Then using (28) one obtains that

$∥ L y ∥ = ∥ ∫ 0 ∞ G ( x , t ) f ( t , y ( t ) ) d t ∥ ≤ ( ∫ 0 ∞ ∫ 0 ∞ | G ( x , t ) | 2 d x d t ) 1 2 ( ∫ 0 ∞ | f ( t , y ( t ) ) | 2 d t ) 1 2 ≤ R .$
(30)

This implies that $L:K→K$. Since K is a closed subset of $L 2 (I)$, the Banach fixed point theorem can be applied to obtain a unique solution of (21) in K. This completes the proof. □

## 4 Fixed points on Banach space

Nonlinear boundary value problems may have solutions without uniqueness. To show that the boundary value problem (10), (13)-(16) have solutions may be without uniqueness, we recall the following well-known theorems.

### Schauder fixed point theorem

Let B be a Banach space and K a nonempty bounded, convex, and closed subset of B. Assume$L:B→B$is a completely continuous operator. Then L has at least one fixed point in K provided that$L(K)⊂K$.

### Theorem 4.1

A set$K⊂ L 2 (I)$is relatively compact if and only if for every$ϵ>0$, K is bounded, there exists a$δ>0$such that$∫ 0 ∞ |y(x+h)−y(x) | 2 dx<ϵ$for all$y∈K$and all$h≥0$with$h<δ$, there exists a number$M>0$such that$∫ M ∞ |y(x) | 2 dx<ϵ$for all$y∈K$.

Now we can state the following theorem.

### Theorem 4.2

Let$f(x,t)$satisfies the condition (11). Further we assume that there exists a number$R>0$such that

$( ∫ 0 ∞ ∫ 0 ∞ | G ( x , t ) | 2 d x d t ) 1 2 ( sup y ∈ K ∫ 0 ∞ | f ( t , y ( t ) ) | 2 d t ) 1 2 ≤R,$

where

$K= { y ∈ L 2 ( I ) : ∥ y ∥ ≤ R } .$

Then the boundary value problem (10), (13)-(16) has at least one solution$y∈ L 2 (I)$with

$∫ 0 ∞ |y(x) | 2 dx≤ R 2 .$

### Proof

It is clear that K is bounded, convex, and closed. Further one can see that maps K into itself. Hence the proof of Theorem 4.2 will be completed with the next lemma. □

### Lemma 4.3

Let$f(x,t)$satisfies the condition (11). The operator defined by (22) is completely continuous, i.e., is continuous and maps bounded sets into relatively compact sets.

### Proof

Let $y∈ L 2 (I)$. Then for $δ>0$ and $χ∈ L 2 (I)$ we have

$|Ly−Lχ | 2 ≤ ∫ 0 ∞ |G(x,t) | 2 dt ∫ 0 ∞ |f ( t , y ( t ) ) −f ( t , χ ( t ) ) | 2 dt.$

Since $G(x,t)$ is a Hilbert-Schmidt kernel, we take $S= ∫ 0 ∞ ∫ 0 ∞ |G(x,t) | 2 dxdt$. Therefore, one immediately gets

$∥ L y − L χ ∥ 2 ≤S ∫ 0 ∞ |f ( t , y ( t ) ) −f ( t , χ ( t ) ) | 2 dt.$

The condition (11) implies that (see , ) the operator A defined by $Ay=f(x,y(x))$ is continuous in $L 2 (I)$. Therefore for $ϵ>0$ we can find a $δ>0$ such that $∥y−χ∥<δ$ implies that

$∫ 0 ∞ |f ( t , y ( t ) ) −f ( t , χ ( t ) ) | 2 dt< ϵ 2 S .$

Hence we have obtained for $y∈ L 2 (I)$ and $ϵ>0$: there exists a $δ>0$ such that $∥y−χ∥<δ$ implies $∥Ly−Lχ∥<ϵ$ for $χ∈ L 2 (I)$. This implies that is continuous.

Now consider the bounded set

$Ω= { y ∈ L 2 ( I ) : ∥ y ∥ ≤ γ } .$

Taking into account (30) we get for all $y∈Ω$

$∥Ly∥≤ ( M ∫ 0 ∞ | f ( t , y ( t ) ) | 2 d t ) 1 2 .$

On the other side from (11) we get

$∫ 0 ∞ | f ( t , y ( t ) ) | 2 d t ≤ ∫ 0 ∞ ( g ( t ) + a | y ( t ) | ) 2 d t ≤ 2 ∫ 0 ∞ ( g 2 ( t ) + a 2 | y ( t ) | 2 ) d t = 2 ( ∥ g ∥ 2 + a 2 ∥ y ∥ 2 ) ≤ 2 ( ∥ g ∥ 2 + a 2 γ 2 ) .$

This implies that

$∥Ly∥≤ [ 2 M ( ∥ g ∥ 2 + a 2 γ 2 ) ] 1 2$

for all $y∈Ω$. Therefore $L(Ω)$ is bounded in $L 2 (I)$.

Now for $y∈Ω$ let us consider the inequality

$∫ 0 ∞ | L y ( x + h ) − L y ( x ) | 2 d x = ∫ 0 ∞ | ∫ 0 ∞ [ G ( x + h , t ) − G ( x , t ) ] f ( t , y ( t ) ) d t | 2 d x ≤ 2 ( ∥ g ∥ 2 + a 2 ∥ y ∥ 2 ) ∫ 0 ∞ ∫ 0 ∞ | G ( x + h , t ) − G ( x , t ) | 2 d x d t .$

Since $G(x,t)$ is a Hilbert-Schmidt kernel for $ϵ>0$ there exists a $δ>0$ ($δ=δ(ϵ)$) such that

$∫ 0 ∞ |Ly(x+h)−Ly(x) | 2 dx< ϵ 2$

for all $y∈Ω$ and all $h≥0$ with $h<δ$.

Moreover, for $y∈Ω$ we get

$∫ 0 ∞ |Ly(x) | 2 dx≤2 ( ∥ g ∥ 2 + a 2 ∥ y ∥ 2 ) ∫ 0 ∞ ∫ 0 ∞ |G(x,t) | 2 dxdt.$

This implies that for $ϵ>0$ there exists $N>0$ ($N=N(ϵ)$) such that $∫ N ∞ |Ly(x) | 2 dx< ϵ 2$. Consequently $L(Ω)$ is a relatively compact set in $L 2 (I)$. This completes the proof of Lemma 4.3 and therefore Theorem 4.2. □

## References

1. 1.

Kartsatos AG: A boundary value problem on an infinite interval. Proc. Edinb. Math. Soc. 1973, 19: 245-252. 10.1017/S0013091500015510

2. 2.

Agarwal RP, Bohner M, O’Rean D: Time scale systems on infinite intervals. Nonlinear Anal. 2001, 47: 837-848. 10.1016/S0362-546X(01)00227-9

3. 3.

Baxley JV: Existence and uniqueness for nonlinear boundary value problems on infinite intervals. J. Math. Anal. Appl. 1990, 147: 122-133. 10.1016/0022-247X(90)90388-V

4. 4.

Baxley JV: Existence theorems for nonlinear second order boundary value problems. J. Differ. Equ. 1990, 85: 125-150. 10.1016/0022-0396(90)90092-4

5. 5.

Topal SG, Yantır A, Cetin E: Existence of positive solutions of a Sturm-Liouville BVP on an unbounded time scale. J. Differ. Equ. Appl. 2008, 14: 287-293. 10.1080/10236190701596508

6. 6.

Kosmatov N: Second order boundary value problems on an unbounded domain. Nonlinear Anal. 2008, 68: 875-882. 10.1016/j.na.2006.11.043

7. 7.

Andres J, Pavlačková M: Asymptotic boundary value problems for second-order differential systems. Nonlinear Anal. 2009, 71: 1462-1473. 10.1016/j.na.2008.12.013

8. 8.

Lian H, Wang P, Ge W: Unbounded upper and lower solutions method for Sturm-Liouville boundary value problem on infinite intervals. Nonlinear Anal. 2009, 70: 2627-2633. 10.1016/j.na.2008.03.049

9. 9.

Lian H, Ge W: Calculus of variations for a boundary value problem of differential system on the half line. Comput. Math. Appl. 2009, 58: 58-64. 10.1016/j.camwa.2009.03.088

10. 10.

Liu B, Liu L, Wu Y:Unbounded solutions for three-point boundary value problems with nonlinear boundary conditions on $[0,∞)$. Nonlinear Anal. 2010, 73: 2923-2932. 10.1016/j.na.2010.06.052

11. 11.

Guseinov GS, Yaslan I: Boundary value problems for second order nonlinear differential equations on infinite intervals. J. Math. Anal. Appl. 2004, 290: 620-638. 10.1016/j.jmaa.2003.10.013

12. 12.

Titchmarsh EC: Eigenfunction Expansions Associated with Second Order Differential Equations. Part I. 2nd edition. Oxford University Press, London; 1962.

13. 13.

Naimark MA: Linear Differential Operators. 2nd edition. Nauka, Moscow; 1969.

14. 14.

Coddington EA, Levinson N: Theory of Ordinary Differential Equations. McGraw-Hill, New York; 1955.

15. 15.

Weyl H: Über gewöhnliche Differentialgleichungen mit Singularitäten und die zugehörigen Entwicklungen wilkürlichen Funktionen. Math. Ann. 1910, 68: 220-269. 10.1007/BF01474161

16. 16.

Everitt WN: Fourth order singular differential equations. Math. Ann. 1963, 149: 320-340. 10.1007/BF01471126

17. 17.

Everitt WN: Singular differential equations I: the even order case. Math. Ann. 1964, 156: 9-24. 10.1007/BF01359977

18. 18.

Everitt WN: Singular differential equations II: some self-adjoint even order cases. Q. J. Math. 1967, 18: 13-32. 10.1093/qmath/18.1.13

19. 19.

Devinatz A: The deficiency index of certain fourth-order ordinary self-adjoint differential operators. Q. J. Math. 1972, 23: 267-286. 10.1093/qmath/23.3.267

20. 20.

Walker PW: Asymptotics for a class of fourth order differential equations. J. Differ. Equ. 1972, 11: 321-334. 10.1016/0022-0396(72)90048-4

21. 21.

Eastham MSP: The limit-4 case of fourth-order self-adjoint differential equations. Proc. R. Soc. Edinb., Sect. A 1977, 79: 51-59.

22. 22.

Becker RI: Limit circle criteria for fourth order differential operators with an oscillatory coefficient. Proc. Edinb. Math. Soc. 1981, 24: 105-117. 10.1017/S0013091500006404

23. 23.

Fulton CT: The Bessel-squared equation in the lim-2, lim-3 and lim-4 cases. Q. J. Math. 1989, 40: 423-456. 10.1093/qmath/40.4.423

24. 24.

Kodaira K: On ordinary differential equations of any even order and the corresponding eigenfunction expansions. Am. J. Math. 1950, 72: 502-544. 10.2307/2372051

25. 25.

Krasnosel’skii MA: Topological Methods in the Theory of Nonlinear Integral Equations. Gostekhteoretizdat, Moscow; 1956.

Download references

## Author information

Authors

### Corresponding author

Correspondence to Şeyhmus Yardımcı.

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. 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.

Reprints and Permissions 