Skip to main content

Some new versions of fractional boundary value problems with slit-strips conditions

Abstract

We discuss the existence and uniqueness of solutions for a fractional differential equation of order q(n1,n] with slit-strips type boundary conditions. The slit-strips type boundary condition states that the sum of the influences due to finite strips of arbitrary lengths is related to the value of the unknown function at an arbitrary position (nonlocal point) in the slit (a part of the boundary off the two strips). The desired results are obtained by applying standard tools of the fixed point theory and are well illustrated with the aid of examples. We also extend our discussion to the cases of arbitrary number of nonlocal points in the slit, the nonlocal multi-substrips conditions and Riemann-Liouville type slit-strips boundary conditions.

MSC: 34A12, 34A40.

1 Introduction

In this paper, we introduce some new versions of boundary value problems of fractional order with slit-strips boundary conditions and discuss the existence and uniqueness of solutions for these problems. As a first problem, we consider a Caputo type fractional differential equation

D q c x(t)=f ( t , x ( t ) ) ,n1<qn,t[0,1],
(1.1)

supplemented with slit-strips boundary conditions

{ x ( 0 ) = 0 , x ( 0 ) = 0 , x ( 0 ) = 0 , , x ( n 2 ) ( 0 ) = 0 , x ( ζ ) = a 0 η x ( s ) d s + b ξ 1 x ( s ) d s , 0 < η < ζ < ξ < 1 ,
(1.2)

where D q c denotes the Caputo fractional derivative of order q, f is a given continuous function, and a and b are real positive constants.

In the problem (1.1)-(1.2), the integral boundary condition describes that the contribution due to finite strips of arbitrary lengths occupying the positions (0,η) and (ξ,1) on the interval [0,1] is related to the value of the unknown function at a nonlocal point ζ (η<ζ<ξ) located at an arbitrary position in the aperture (slit) - the region of the boundary off the strips. Examples of such boundary conditions include scattering by slits [1]–[3], silicon strips detectors for scanned multi-slit X-ray imaging [4], acoustic impedance of baffled strips radiators [5], diffraction from an elastic knife-edge adjacent to a strip [6], sound fields of infinitely long strips [7], dielectric-loaded multiple slits in a conducting plane [8], lattice engineering [9], heat conduction by finite regions (Chapter 5, [10]), etc.

Next, we introduce finite many points ζ i , 1=1,2,,m on the aperture (off the strips) such that 0<η< ζ 1 < ζ 2 << ζ m <ξ<1 and consider the boundary conditions

{ x ( 0 ) = 0 , x ( 0 ) = 0 , x ( 0 ) = 0 , , x ( n 2 ) ( 0 ) = 0 , i = 1 m α i x ( ζ i ) = a 0 η x ( s ) d s + b ξ 1 x ( s ) d s , α i R .
(1.3)

In the third problem, we discuss the situation when the strips occupying the positions (0,η) and (ξ,1) of the domain [0,1] consist of finitely many non-intersecting substrips and discrete sums of their contributions relates to the value of the unknown function at a nonlocal point ζ (η<ζ<ξ) on the aperture. Precisely, we have the following boundary conditions:

{ x ( 0 ) = 0 , x ( 0 ) = 0 , x ( 0 ) = 0 , , x ( n 2 ) ( 0 ) = 0 , x ( ζ ) = i = 1 m δ i η i σ i x ( s ) d s + i = 1 p β j ξ j ρ j x ( s ) d s ,
(1.4)

where 0= η 1 < σ 1 < η 2 < σ 2 << η m < σ m <ζ< ξ 1 < ρ 1 < ξ 2 < ρ 2 << ξ p < ρ p =1, with σ m =η, ξ 1 =ξ, δ i , β j R.

Finally, we introduce Riemann-Liouville type slit-strips boundary conditions

{ x ( 0 ) = 0 , x ( 0 ) = 0 , x ( 0 ) = 0 , , x ( n 2 ) ( 0 ) = 0 , x ( ζ ) = a 0 η ( η s ) β 1 Γ ( β ) x ( s ) d s + b ξ 1 ( 1 s ) β 1 Γ ( β ) x ( s ) d s , 0 < η < ζ < ξ < 1 , β > 0 .
(1.5)

Boundary value problems for nonlinear differential equations arise in a variety of areas such as applied mathematics, physics, and variational problems of control theory. In recent years, the study of boundary value problems of fractional order has attracted the attention of many scientists and researchers and the subject has been developed in several disciplines. Significant development of the topic over the past few years clearly indicates its popularity. As a matter of fact, the literature on the topic is now well enriched with a variety of results covering theoretical as well as application aspects of the subject. In consequence, fractional calculus has evolved as an interesting topic of research and its tools have played a key role in improving the mathematical modeling of many physical and engineering phenomena. The nonlocal nature of fractional-order operators is one of the salient features accounting for the practical utility of the subject. With the aid of fractional calculus, it has now become possible to trace the history of many important materials and processes. For examples and application details in physics, chemistry, biology, biophysics, blood flow phenomena, control theory, wave propagation, signal and image processing, viscoelasticity, percolation, identification, fitting of experimental data, economics, etc., we refer the reader to the books [11]–[13]. For some recent work on the topic, see [14]–[48] and the references therein.

We emphasize that the problems considered in this paper are new and important from application point of view. The existence theory developed for the fractional differential equation (1.1) subject to the boundary conditions (1.2), (1.3), (1.4) and (1.5) will lead to a useful and significant contribution to the existing material on nonlocal fractional-order boundary value problems.

2 Existence results for the problem (1.1)-(1.2)

First of all, we recall some basic definitions of fractional calculus.

Definition 2.1

The Riemann-Liouville fractional integral of order q for a continuous function g is defined as

I q g(t)= 1 Γ ( q ) 0 t g ( s ) ( t s ) 1 q ds,q>0,

provided the integral exists.

Definition 2.2

Let h:[0,)R be such that hA C n [0,T]. Then the Caputo derivative of fractional order ν for h is defined as

D ν c h(t)= 1 Γ ( n ν ) 0 t ( t s ) n ν 1 h ( n ) (s)ds,n1<ν<n,n=[ν]+1,

where [ν] denotes the integer part of the real number ν.

Next we present an auxiliary lemma which plays a key role in proving the main results for the problem (1.1)-(1.2).

Lemma 2.1

ForyC[0,1], the solution of the linear fractional differential equation

D q c x(t)=y(t),n1<qn,t[0,1],
(2.1)

supplemented with the boundary conditions (1.2) is equivalent to the integral equation

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) y ( s ) d s + t n 1 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) y ( u ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) y ( u ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) y ( s ) d s } ,
(2.2)

where

A= ζ n 1 1 n ( b + a η n b ξ n ) 0.
(2.3)

Proof

It is well known that the general solution of the fractional differential equation (2.1) can be written as

x(t)= c 0 + c 1 t+ c 2 t 2 ++ c n 1 t n 1 + 0 t ( t s ) q 1 Γ ( q ) y(s)ds,
(2.4)

where c 0 , c 1 ,, c n 1 R are arbitrary constants.

Applying the boundary conditions (1.2), we find that c 0 = c 1 == c n 2 =0, and

c n 1 = 1 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) y ( u ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) y ( u ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) y ( s ) d s } .

Substituting the values of c 0 , c 1 ,, c n 1 in (2.4), we get (2.2). This completes the proof. □

Let P=C([0,1],R) denote the Banach space of all continuous functions from [0,1] to endowed with the norm: x=sup{|x(t)|,t[0,1]}.

In relation to the given problem, we define an operator H:PP as

( H x ) ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } ,

where A is given by (2.3). Observe that the problem (1.1)-(1.2) has solutions if and only if the operator has fixed points.

For the sake of computational convenience, we set

ρ= 1 | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } .
(2.5)

Theorem 2.1

Letf:[0,1]×RRbe a continuous function satisfying the Lipschitz condition:

( H 1 ):|f(t,x)f(t,y)||xy|, t[0,1], x,yR, >0.

Then the problem (1.1)-(1.2) has a unique solution ifρ<1, whereρis given by (2.5).

Proof

Setting sup t [ 0 , 1 ] |f(t,0)|=, we show that H B r B r , where B r ={xP:xr} with r>ρ ( 1 ρ ) 1 . For x B r , t[0,1], using |f(s,x(s))|=|f(s,x(s))f(s,0)+f(s,0)|r+, we get

( H x ) sup t [ 0 , 1 ] { 0 t ( t s ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , 0 ) + f ( s , 0 ) | d s + t n 1 A [ | a | 0 η ( 0 s ( s u ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , 0 ) + f ( s , 0 ) | d u ) d s + | b | ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , 0 ) + f ( s , 0 ) | d u ) d s + 0 ζ ( ζ s ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , 0 ) + f ( s , 0 ) | d s ] } ( r + ) sup t [ 0 , 1 ] { t q Γ ( q + 1 ) + t n 1 | A | [ | a | η q + 1 + | b | ( 1 ξ q + 1 ) Γ ( q + 2 ) + ζ q Γ ( q + 1 ) ] } ( r + ) ρ r ,

which implies that H B r B r , where we have used (2.5).

Now, for x,yP, and for each t[0,1], we obtain

H x H y sup t [ 0 , 1 ] { 0 t ( t s ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s + t n 1 A [ | a | 0 η ( 0 s ( s u ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d u ) d s + | b | ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d u ) d s + 0 ζ ( ζ s ) q 1 Γ ( q ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s ] } ρ x y .

Since ρ<1 by the given assumption, therefore the operator is a contraction. Thus, by Banach’s contraction mapping principle, there exists a unique solution for the problem (1.1)-(1.2). This completes the proof. □

The next result is based on Krasnoselskii’s fixed point theorem [49].

Theorem 2.2

Letf:[0,1]×RRbe a continuous function satisfying ( H 1 ) and

( H 2 ):|f(t,x)|μ(t), (t,x)[0,1]×R, andμc([0,1], R + ).

Then the problem (1.1)-(1.2) has at least one solution on[0,1]if

| A | Γ ( q + 2 ) { ( q + 1 ) ζ q + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } <1.
(2.6)

Proof

Fixing rμρ, we consider B r ={xP:xr} and define the operators ϕ 1 and ϕ 2 on B r as

( ϕ 1 x ) ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s , ( ϕ 2 x ) ( t ) = t n 1 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } .

For x,y B r , it is easy to show that ( ϕ 1 x)+( ϕ 2 y)μρr, which implies that ϕ 1 x+ ϕ 2 y B r .

In view of the condition (2.6), the operator ϕ 2 is a contraction. Continuity of f implies that the operator ϕ 1 is continuous. Also, ϕ 1 is uniformly bounded on B r as ϕ 1 xμ/Γ(q+1). Moreover, with sup ( t , x ) [ 0 , 1 ] × B r |f(t,x)|= f m < and t 1 < t 2 , t 1 , t 2 (0,T], we have

( ϕ 1 x ) ( t 2 ) ( ϕ 1 x ) ( t 1 ) f m Γ ( q + 1 ) ( t 1 q t 2 q + 2 ( t 2 t 1 ) q ) ,

which tends to zero independent of x as t 1 t 2 . This implies that ϕ 1 is relatively compact on B r . Hence, by the Arzelá-Ascoli theorem, Φ is compact on B r . Thus all the assumptions of Krasnoselskii’s fixed point theorem are satisfied. So the problem (1.1)-(1.2) has at least one solution on [0,1]. This completes the proof. □

Our next result is based on the following fixed point theorem [49].

Theorem 2.3

LetXbe a Banach space. Assume thatT:XXis a completely continuous operator and the setV={uX|u=ϵTu,0<ϵ<1}is bounded. ThenThas a fixed point in X.

Theorem 2.4

Assume that exists a positive constant L 1 such that|f(t,x)| L 1 for allt[0,1], xP. Then there exists at least one solution for the problem (1.1)-(1.2).

Proof

As a first step, we show that the operator is completely continuous. Clearly continuity of follows from the continuity of f. Let DH be bounded. Then, xD, it is easy to establish that |(Hx)(t)| L 1 ρ= L 2 . Furthermore, we find that

| ( H x ) ( t ) | = | 0 t ( t s ) q 2 Γ ( q 1 ) f ( s , x ( s ) ) d s + ( n 1 ) t n 2 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } | L 1 [ 1 Γ ( q ) + 1 | A | Γ ( q + 2 ) { ( q + 1 ) ζ q + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } ] = L 3 .

Hence, for t 1 , t 2 [0,1], it follows that

| ( H x ) ( t 1 ) ( H x ) ( t 2 ) | t 1 t 2 | ( H x ) ( s ) | ds L 3 ( t 2 t 1 ).

Therefore, is equicontinuous on [0,1]. Thus, by the Arzelá-Ascoli theorem, the operator is completely continuous.

Next, we consider the set V={xP:x=ϵHx,0<ϵ<1}. To show that V is bounded, let xV, t[0,1]. Then

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } ,

and |x(t)|=ϵ|(Hx)(t)| L 1 ρ= L 2 . Hence, x L 2 , xV, t[0,1]. So V is bounded. Thus, Theorem 2.3 applies and in consequence the problem (1.1)-(1.2) has at least one solution. This completes the proof. □

Our final result is based on the Leray-Schauder nonlinear alternative.

Lemma 2.2

(Nonlinear alternative for single valued maps [50])

LetEbe a Banach space, E 1 a closed, convex subset ofE, Van open subset of E 1 , and0V. Suppose thatU: V ¯ E 1 is a continuous, compact (that is, U( V ¯ )is a relatively compact subset of E 1 ) map. Then either

  1. (i)

    U has a fixed point in V ¯ , or

  2. (ii)

    there is a xV (the boundary of V in E 1 ) and κ(0,1) with x=κU(x).

Theorem 2.5

Letf:[0,1]×RRbe a continuous function. Assume that

( H 3 ):there exist a functionpC([0,1], R + )and a nondecreasing functionψ: R + R + such that|f(t,x)|p(t)ψ(x), (t,x)[0,1]×R;

( H 4 ):there exists a constantM>0such that

M [ ψ ( M ) p | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } ] 1 >1.

Then the problem (1.1)-(1.2) has at least one solution on[0,1].

Proof

Let us consider the operator H:PP defined by (3.1) and show that maps bounded sets into bounded sets in P. For a positive number r, let B r ={xP:xr} be a bounded set in P. Then, for x B r together with ( H 3 ), we obtain

| ( H x ) ( t ) | 0 t ( t s ) q 1 Γ ( q ) p ( s ) ψ ( x ) d s + t n 1 A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) p ( s ) ψ ( x ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) p ( s ) ψ ( x ) d u ) d s + 0 ζ ( ζ s ) q 1 Γ ( q ) p ( s ) ψ ( x ) d s } ψ ( M ) p | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } .

Next, it will be shown that maps bounded sets into equicontinuous sets of P. Let t 1 , t 2 [0,1] with t 1 < t 2 and x B r . Then

| ( H x ) ( t 2 ) ( H x ) ( t 1 ) | = | 0 t 2 ( t 2 s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s 0 t 1 ( t 1 s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + ( t 2 n 1 t 2 n 1 ) A { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } | ψ ( r ) p [ | t 2 q t 1 q | Γ ( q + 1 ) + | t 2 n 1 t 2 n 1 | | A | Γ ( q + 2 ) { ( q + 1 ) ζ q + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } ] .

Clearly, the right-hand side tends to zero independently of x B r as t 2 t 1 . Thus, by the Arzelá-Ascoli theorem, the operator is completely continuous.

Let x be a solution for the given problem. Then, for λ(0,1), using the method of computation employed to show the boundedness of the operator , we obtain

x ( t ) = λ ( H x ) ( t ) ψ ( x ) p | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } ,

which implies that

x [ ψ ( x ) p | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } ] 1 1.

In view of ( H 4 ), there exists M such that xM. Let us choose N={xP:x<M+1}.

Observe that the operator H: N ¯ P is continuous and completely continuous. From the choice of N, there is no xN such that x=λH(x) for some λ(0,1). Consequently, by Lemma 2.2, we deduce that the operator has a fixed point x N ¯ which is a solution of the problem (1.1)-(1.2). This completes the proof. □

Example 2.1

Consider a fractional boundary value problem given by

{ D 9 2 c x ( t ) = e t tan 1 x + 1 ( t + 4 ) sin x + ( t + 1 ) 3 / 2 , t [ 0 , 1 ] , x ( 0 ) = 0 , x ( 0 ) = 0 , x ( 0 ) = 0 , x ( 0 ) , x ( 1 / 2 ) = a 0 1 / 3 x ( s ) d s + b 2 / 3 1 x ( s ) d s .
(2.7)

Here, q=9/2, a=1, b=1, η=1/3, ζ=1/2, ξ=2/3, and f(t,x)= e t tan 1 x+ 1 ( t + 4 ) sinx+ ( t + 1 ) 3 / 2 . With the given data, =e+1/2,

| A | = | ζ n 1 1 n ( b + a η n b ξ n ) | = 0.111986 , ρ = 1 | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } = 0.0544011 .

Clearly <1/ρ. Thus all the conditions of Theorem 2.1 are satisfied and, consequently, there exists a unique solution for the problem (2.7).

Example 2.2

Consider the problem (2.7) with

f(t,x)= ( t + 2 ) ( x + 2 ) 2 1 + ( x + 2 ) 2 +(t+1)sinx.
(2.8)

Clearly |f(t,x)|p(t)ψ(|x|), where p(t)=(t+2), ψ(|x|)=(1+x). By the assumption:

M [ ψ ( M ) p | A | Γ ( q + 2 ) { ( q + 1 ) [ | A | + ζ q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } ] 1 >1,

we find that M>0.195033. Thus, by Theorem 2.5, there exists at least one solution for the problem (2.7) with f(t,x) given by (2.8).

3 Nonlocal multi-point case on the aperture

As argued in Lemma 2.1, the integral solution of the problem (1.1) and (1.3) can be written as

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A m { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s i = 1 m α i 0 ζ i ( ζ i s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } ,

where

A m = i = 1 m α i ζ i n 1 1 n ( b + a η n b ξ n ) 0.
(3.1)

The value analog to ρ (given by (2.5)), denoted by ρ m is

ρ m = 1 | A m | Γ ( q + 2 ) { ( q + 1 ) [ | A m | + i = 1 m α i ζ i q ] + | a | η q + 1 + | b | ( 1 ξ q + 1 ) } .
(3.2)

The results analogous to Section 2 for the problem (1.1) and (1.3) can be obtained by replacing the operator with H m in Section 2, where

( H m x ) ( t ) = 0 t ( t s ) q 1 Γ ( q ) y ( s ) d s + t n 1 A m { a 0 η ( 0 s ( s u ) q 1 Γ ( q ) y ( u ) d u ) d s + b ξ 1 ( 0 s ( s u ) q 1 Γ ( q ) y ( u ) d u ) d s i = 1 m α i 0 ζ i ( ζ i s ) q 1 Γ ( q ) y ( s ) d s } .

4 Nonlocal multi-substrips case

As before (see Lemma 2.1), the integral solution of the problem (1.1) and (1.4) can be written as

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A m p { i = 1 m δ i η i σ i ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + j = 1 p β i ξ i ρ i ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } ,
(4.1)

where

A m p = ζ n 1 1 n [ i = 1 m δ i ( σ i n η i n ) + j = 1 p β j ( ρ j n ξ i n ) ] 0.
(4.2)

In this case, the value analog to ρ (given by (2.5)), denoted by ϱ m p is

ϱ m p = 1 Γ ( q + 1 ) + 1 A m p Γ ( q + 2 ) [ i = 1 m δ i ( σ i q + 1 η i q + 1 ) + j = 1 p β j ( ρ j q + 1 ξ i q + 1 ) + ( q + 1 ) ζ q ] .
(4.3)

In view of (4.1), we define a fixed point operator equation equivalent to the problem (1.1)-(1.4) as H m p x=x, where the operator H m p :PP is given by

( H m p x ) ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A m p { i = 1 m δ i η i σ i ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + j = 1 p β i ξ i ρ i ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } ,

where A m p is given by (4.2). With the above setting, the existence results, analogous to the ones given in Section 2, can be obtained for the problem (1.1) and (1.4) in a similar way.

5 Riemann-Liouville slit-strips boundary conditions

The integral solution of the problem (1.1) and (1.5) is

x ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A R L { a 0 η ( η s ) β 1 Γ ( β ) ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 1 s ) β 1 Γ ( β ) ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } ,
(5.1)

where

A R L = ( ζ n 1 a η β + n 1 Γ ( n ) Γ ( β + n ) b Δ ) 0 , Δ = ( 1 ξ ) β ξ n 1 Γ ( β + 1 ) + ( n 1 ) ( 1 ξ ) β + 1 ξ n 2 Γ ( β + 2 ) + ( n 1 ) ( n 2 ) ( 1 ξ ) β + 2 ξ n 3 Γ ( β + 3 ) Δ = + + Γ ( n ) ( 1 ξ ) β + n 1 Γ ( β + n ) .
(5.2)

In this case, the operator equation is H R L x=x, where the operator H R L :PP is given by

( H R L x ) ( t ) = 0 t ( t s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s + t n 1 A R L { a 0 η ( η s ) β 1 Γ ( β ) ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s + b ξ 1 ( 1 s ) β 1 Γ ( β ) ( 0 s ( s u ) q 1 Γ ( q ) f ( u , x ( u ) ) d u ) d s 0 ζ ( ζ s ) q 1 Γ ( q ) f ( s , x ( s ) ) d s } .

The existence results for the problem (1.1) and (1.5) can be obtained by employing the procedure used in Section 2.

References

  1. Hurd RA, Hayashi Y: Low-frequency scattering by a slit in a conducting plane. Radio Sci. 1980, 15: 1171-1178. 10.1029/RS015i006p01171

    Article  Google Scholar 

  2. Otsuki T: Diffraction by multiple slits. J. Opt. Soc. Am. A 1990, 7: 646-652. 10.1364/JOSAA.7.000646

    Article  Google Scholar 

  3. Asghar S, Hayat T, Ahmad B: Acoustic diffraction from a slit in an infinite absorbing sheet. Jpn. J. Ind. Appl. Math. 1996, 13: 519-532. 10.1007/BF03167261

    Article  MathSciNet  Google Scholar 

  4. Lundqvist M: Silicon Strip Detectors for Scanned Multi-Slit X-Ray Imaging. Kungl Tekniska Hogskolan, Stockholm; 2003.

    Google Scholar 

  5. Lipshitz SP, Scott TC, Salvy B: On the acoustic impedance of baffled strip radiators. J. Audio Eng. Soc. 1995, 43: 573-580.

    Google Scholar 

  6. Ahmad B, Hayat T, Asghar S: Diffraction of a plane wave by an elastic knife-edge adjacent to a strip. Can. Appl. Math. Q. 2001, 9: 303-316.

    MathSciNet  Google Scholar 

  7. Mellow T, Karkkainen L: On the sound fields of infinitely long strips. J. Acoust. Soc. Am. 2011, 130: 153-167. 10.1121/1.3596474

    Article  Google Scholar 

  8. Lee DJ, Lee SJ, Lee WS, Yu JW: Diffraction by dielectric-loaded multiple slits in a conducting plane: TM case. Prog. Electromagn. Res. 2012, 131: 409-424. 10.2528/PIER12081311

    Article  Google Scholar 

  9. Kawasaki M: Exploration of electronic functionalities in metal oxides by combinatorial lattice engineering. Bull. Chem. Soc. Jpn. 2013, 86: 1341-1358. 10.1246/bcsj.20130236

    Article  Google Scholar 

  10. Ozisik MN: Boundary Value Problems of Heat Conduction. Dover, New York; 2002.

    Google Scholar 

  11. Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.

    Google Scholar 

  12. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    Google Scholar 

  13. Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.

  14. Ahmad B, Sivasundaram S: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl. Math. Comput. 2010, 217: 480-487. 10.1016/j.amc.2010.05.080

    Article  MathSciNet  Google Scholar 

  15. Baleanu D, Mustafa OG: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 2010, 59: 1835-1841. 10.1016/j.camwa.2009.08.028

    Article  MathSciNet  Google Scholar 

  16. Ahmad B, Nieto JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011., 2011: 10.1186/1687-2770-2011-36

    Google Scholar 

  17. Alsaedi A, Ntouyas SK, Ahmad B: Existence results for Langevin fractional differential inclusions involving two fractional orders with four-point multiterm fractional integral boundary conditions. Abstr. Appl. Anal. 2013., 2013:

    Google Scholar 

  18. Baleanu D, Mustafa OG, Agarwal RP:On L p -solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 2011, 218: 2074-2081. 10.1016/j.amc.2011.07.024

    Article  MathSciNet  Google Scholar 

  19. Agarwal RP, Ahmad B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 2011, 62: 1200-1214. 10.1016/j.camwa.2011.03.001

    Article  MathSciNet  Google Scholar 

  20. Bhalekar S, Daftardar-Gejji V, Baleanu D, Magin R: Fractional Bloch equation with delay. Comput. Math. Appl. 2011, 61: 1355-1365. 10.1016/j.camwa.2010.12.079

    Article  MathSciNet  Google Scholar 

  21. Graef JR, Kong L, Kong Q: Application of the mixed monotone operator method to fractional boundary value problems. Fract. Differ. Calc. 2011, 2: 554-567.

    MathSciNet  Google Scholar 

  22. Akyildiz FT, Bellout H, Vajravelu K, Van Gorder RA: Existence results for third order nonlinear boundary value problems arising in nano boundary layer fluid flows over stretching surfaces. Nonlinear Anal., Real World Appl. 2011, 12: 2919-2930. 10.1016/j.nonrwa.2011.02.017

    Article  MathSciNet  Google Scholar 

  23. Ahmad B, Nieto JJ: Sequential fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2012, 64: 3046-3052. 10.1016/j.camwa.2012.02.036

    Article  MathSciNet  Google Scholar 

  24. Bai ZB, Sun W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 2012, 63: 1369-1381. 10.1016/j.camwa.2011.12.078

    Article  MathSciNet  Google Scholar 

  25. Sakthivel R, Mahmudov NI, Nieto JJ: Controllability for a class of fractional-order neutral evolution control systems. Appl. Math. Comput. 2012, 218: 10334-10340. 10.1016/j.amc.2012.03.093

    Article  MathSciNet  Google Scholar 

  26. Agarwal RP, O’Regan D, Stanek S: Positive solutions for mixed problems of singular fractional differential equations. Math. Nachr. 2012, 285: 27-41. 10.1002/mana.201000043

    Article  MathSciNet  Google Scholar 

  27. Wang JR, Zhou Y, Medved M: Qualitative analysis for nonlinear fractional differential equations via topological degree method. Topol. Methods Nonlinear Anal. 2012, 40: 245-271.

    MathSciNet  Google Scholar 

  28. Cabada A, Wang G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 2012, 389: 403-411. 10.1016/j.jmaa.2011.11.065

    Article  MathSciNet  Google Scholar 

  29. Baleanu D, Rezapour S, Mohammadi H: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 2013., 371(1990): 10.1098/rsta.2012.0144

    Google Scholar 

  30. Wang G, Ahmad B, Zhang L, Agarwal RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 2013, 249: 51-56. 10.1016/j.cam.2013.02.010

    Article  MathSciNet  Google Scholar 

  31. Zhou WX, Chu YD, Baleanu D: Uniqueness and existence of positive solutions for a multi-point boundary value problem of singular fractional differential equations. Adv. Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-114

    Google Scholar 

  32. Ahmad B, Ntouyas SK, Alsaedi A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013., 2013:

    Google Scholar 

  33. Ahmad B, Ntouyas SK: Existence results for higher order fractional differential inclusions with multi-strip fractional integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-20

    Google Scholar 

  34. Faieghi M, Kuntanapreeda S, Delavari H, Baleanu D: LMI-based stabilization of a class of fractional-order chaotic systems. Nonlinear Dyn. 2013, 72: 301-309. 10.1007/s11071-012-0714-6

    Article  MathSciNet  Google Scholar 

  35. Nieto JJ, Ouahab A, Prakash P: Extremal solutions and relaxation problems for fractional differential inclusions. Abstr. Appl. Anal. 2013., 2013: 10.1155/2013/292643

    Google Scholar 

  36. O’Regan D, Stanek S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 2013, 71: 641-652. 10.1007/s11071-012-0443-x

    Article  MathSciNet  Google Scholar 

  37. Stanek S: Two-point boundary value problems for the generalized Bagley-Torvik fractional differential equation. Cent. Eur. J. Math. 2013, 11: 574-593. 10.2478/s11533-012-0141-4

    MathSciNet  Google Scholar 

  38. Wang JR, Zhou Y, Wei W: Fractional sewage treatment models with impulses at variable times. Appl. Anal. 2013, 92: 1959-1979. 10.1080/00036811.2012.715150

    Article  MathSciNet  Google Scholar 

  39. Zhai C, Hao M: Mixed monotone operator methods for the existence and uniqueness of positive solutions to Riemann-Liouville fractional differential equation boundary value problems. Bound. Value Probl. 2013., 2013: 10.1186/1687-2770-2013-85

    Google Scholar 

  40. Wang JR, Zhou Y, Feckan M: On the nonlocal Cauchy problem for semilinear fractional order evolution equations. Cent. Eur. J. Math. 2014, 12: 911-922. 10.2478/s11533-013-0381-y

    MathSciNet  Google Scholar 

  41. Graef JR, Kong L, Wang M: Existence and uniqueness of solutions for a fractional boundary value problem on a graph. Fract. Calc. Appl. Anal. 2014, 17: 499-510. 10.2478/s13540-014-0182-4

    Article  MathSciNet  Google Scholar 

  42. Wang G, Liu S, Zhang L: Eigenvalue problem for nonlinear fractional differential equations with integral boundary conditions. Abstr. Appl. Anal. 2014., 2014:

    Google Scholar 

  43. Punzo F, Terrone G: On the Cauchy problem for a general fractional porous medium equation with variable density. Nonlinear Anal. 2014, 98: 27-47. 10.1016/j.na.2013.12.007

    Article  MathSciNet  Google Scholar 

  44. Liu X, Liu Z, Fu X: Relaxation in nonconvex optimal control problems described by fractional differential equations. J. Math. Anal. Appl. 2014, 409: 446-458. 10.1016/j.jmaa.2013.07.032

    Article  MathSciNet  Google Scholar 

  45. Chauhan A, Dabas J: Local and global existence of mild solution to an impulsive fractional functional integro-differential equation with nonlocal condition. Commun. Nonlinear Sci. Numer. Simul. 2014, 19: 821-829. 10.1016/j.cnsns.2013.07.025

    Article  MathSciNet  Google Scholar 

  46. Zhai C, Xu L: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 2014, 19: 2820-2827. 10.1016/j.cnsns.2014.01.003

    Article  MathSciNet  Google Scholar 

  47. Baleanu D, Nazemi SZ, Rezapour S:Attractivity for a k-dimensional system of fractional functional differential equations and global attractivity for a k-dimensional system of nonlinear fractional differential equations. J. Inequal. Appl. 2014., 2014: 10.1186/1029-242X-2014-31

    Google Scholar 

  48. Baleanu D, Nazemi SZ, Rezapour S:The existence of solution for a k-dimensional system of multiterm fractional integrodifferential equations with antiperiodic boundary value problems. Abstr. Appl. Anal. 2014., 2014:

    Google Scholar 

  49. Smart DR: Fixed Point Theorems. Cambridge University Press, Cambridge; 1980.

    Google Scholar 

  50. Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2003.

    Book  Google Scholar 

Download references

Acknowledgements

This paper was supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. The authors, therefore, acknowledge technical and financial support of KAU.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each of the authors, BA and RPA contributed to each part of this work equally and read and approved the final version of the 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

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ahmad, B., Agarwal, R.P. Some new versions of fractional boundary value problems with slit-strips conditions. Bound Value Probl 2014, 175 (2014). https://doi.org/10.1186/s13661-014-0175-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-014-0175-6

Keywords