Skip to content
BY 4.0 license Open Access Published by De Gruyter Open Access May 21, 2021

Impulsive Caputo-Fabrizio fractional differential equations in b-metric spaces

  • Jamal Eddine Lazreg , Saïd Abbas , Mouffak Benchohra and Erdal Karapınar EMAIL logo
From the journal Open Mathematics

Abstract

We deal with some impulsive Caputo-Fabrizio fractional differential equations in b -metric spaces. We make use of α - ϕ -Geraghty-type contraction. An illustrative example is the subject of the last section.

MSC 2010: 47H10; 54H25

1 Introduction and preliminaries

In the last two decades, differential equations of fractional order (fractional differential equations) take the great interest of the researchers due to wide application potential in various disciplines, see e.g. [1,3,2,4,5,6,7,8,9]. Indeed, differential equations subject to impulses have various applications [10,11,12]. Major developments are considered in the books [1,12], the papers [1,2,13, 14,15,16], and references therein.

On the other hand, the fixed point theory has made serious progress in the last few decades. One of the most improvements is to show the validity of the fixed point theorem in the setting of a b -metric space that is a natural extension of standard metric space. Roughly speaking, by replacing the triangle inequality axiom of the metric notion, Czerwik [17,18] observed this new structure. Several authors reported interesting fixed point results in the framework of complete b -metric spaces, see e.g., [19,20,21, 22,23,24, 25,26,27, 28,29,30, 31,32,33, 34,35,36].

In this manuscript, we shall investigate the Cauchy problem of Caputo-Fabrizio impulsive fractional differential equations

(1) ( D ϑ k r Cℱ ω ) ( ϑ ) = f ( ϑ , ω ( ϑ ) ) , ϑ I k , k = 0 , , m , ω ( ϑ k + ) = ω ( ϑ k ) + L k ( ω ( ϑ k ) ) , k = 1 , , m , ω ( 0 ) = ω 0 ,

where I 0 = [ 0 , ϑ 1 ] , I k = ( ϑ k , ϑ k + 1 ] , k = 1 , , m , 0 = ϑ 0 < ϑ 1 < < ϑ m < ϑ m + 1 = T , ω 0 R , f : I k × R R , k = 0 , , m , L k : R R , k = 1 , , m are given continuous functions, D ϑ k r Cℱ is the Caputo-Fabrizio derivative of order r ( 0 , 1 ) . Indeed, we aim to initiate a study of problem (1) in the framework of b -metric spaces.

Let I [ 0 , T ] , T > 0 , and the Banach space C { f : I R , f continuous } with the norm

u = sup ϑ I u ( ϑ ) .

L 1 ( I , R ) denote the Banach space of measurable functions u that are Lebesgue integrable, with the norm

u L 1 = 0 T u ( ϑ ) d ϑ .

Definition 1.1

For a function φ L 1 ( I ) , the Caputo-Fabrizio fractional integral of order 0 < r < 1 is

( I r Cℱ φ ) ( ϑ ) = 2 ( 1 r ) M ( r ) ( 2 r ) φ ( ϑ ) + 2 r M ( r ) ( 2 r ) 0 ϑ φ ( s ) d s , ϑ 0 ,

where M ( r ) is a normalization constant depending on r .

Analogously, for a function φ C 1 ( I ) , the Caputo-Fabrizio fractional derivative of order 0 < r < 1 is

( D r Cℱ φ ) ( ϑ ) = ( 2 r ) M ( r ) 2 ( 1 r ) 0 ϑ exp r 1 r ( ϑ s ) φ ( s ) d s , ϑ I .

Note that ( D r Cℱ ) ( φ ) = 0 if and only if φ is a constant function.

Example 1.2

[7]

  1. For φ ( ϑ ) = ϑ and 0 < r 1 , we have

    ( D r Cℱ φ ) ( ϑ ) = M ( r ) r 1 exp r 1 r ϑ .

  2. For φ ( t ) = e ϑ , 0 and 0 < r 1 , we have

    ( D r Cℱ φ ) ( ϑ ) = M ( r ) + ( 1 ) r e ϑ 1 exp r 1 r ϑ .

Lemma 1.3

For ψ L 1 ( I ) , the given linear problem

(2) ( D 0 r Cℱ ω ) ( ϑ ) = ψ ( ϑ ) , ϑ I , ω ( 0 ) = ω 0 ,

admits the following solution:

(3) ω ( ϑ ) = ω 0 a r ψ ( 0 ) + a r ψ ( ϑ ) + b r 0 ϑ ψ ( s ) d s ,

where

a r = 2 ( 1 r ) ( 2 r ) M ( r ) , b r = 2 r ( 2 r ) M ( r ) .

Proof

Let ω satisfy (2). On account of Proposition 1 in [38]; the equation

( D 0 r C K ω ) ( ϑ ) = ψ ( ϑ )

implies that

ω ( t ) ω ( 0 ) = a r ( ψ ( ϑ ) ψ ( 0 ) ) + b r 0 ϑ ψ ( s ) d s .

Taking the initial condition ω ( 0 ) = ω 0 into account, we find that

ω ( ϑ ) = ω 0 a r ψ ( 0 ) + a r ψ ( ϑ ) + b r 0 ϑ ψ ( s ) d s .

Hence, we get (3).□

We set R 0 + [ 0 , ) .

Definition 1.4

[22,23] For a non empty set M , and c 1 , a distance d : M × M R 0 + is called b -metric if

  1. d ( μ , ν ) = 0 if and only if μ = ν ;

  2. d ( μ , ν ) = d ( ν , μ ) ;

  3. d ( μ , ξ ) c [ d ( μ , ν ) + d ( ν , ξ ) ] ;

for all μ , ν , ξ M . The tripled ( M , d , c ) is called a b -metric space.

Example 1.5

[22,23] Let d : C ( I ) × C ( I ) R 0 + be defined by

d ( ω , ϖ ) = ( ω ϖ ) 2 sup ϑ I ω ( ϑ ) ϖ ( ϑ ) 2 , for all ω , ϖ C ( I ) .

It is clear that d is a b -metric with c = 2 .

Example 1.6

[22,23] Let X = [ 0 , 1 ] and d : X × X R 0 + be defined by

d ( ω , ϖ ) = ω 2 ϖ 2 , for all ω , ϖ X .

Clearly, d is not a metric, but is a b -metric space with r 2 .

We use Φ to indicate the set of all continuous and increasing function ϕ : R 0 + R 0 + such that: ϕ ( c μ ) c ϕ ( μ ) c μ , for c > 1 and ϕ ( 0 ) = 0 . We denote by the family of all nondecreasing functions λ : R + 0 0 , 1 c 2 for some c 1 .

Definition 1.7

[22,23] For a b -metric space ( M , d , c ) , an operator F : M M is called a generalized α - ϕ -Geraghty contraction-type mapping whenever there exist α : M × M R 0 + and some L 0 such that

(4) α ( μ , ν ) ϕ ( c 3 d ( F ( μ ) , F ( ν ) ) λ ( ϕ ( D ( μ , ν ) ) ϕ ( D ( μ , ν ) ) + L ψ ( N ( μ , ν ) ) ,

for all μ , ν M , where λ , ϕ ψ Φ , where

N ( x , y ) = min { d ( x , y ) , d ( x , F ( x ) ) , d ( y , F ( y ) ) } ,

and

D ( x , y ) = max d ( x , y ) , d ( x , F ( x ) ) , d ( y , F ( y ) ) , d ( x , F ( y ) ) + d ( y , F ( x ) ) 2 s .

Remark 1.8

In the case when L = 0 in Definition 1.7, and the fact that

d ( x , y ) D ( x , y ) ,

for all x , y M , inequality (4) becomes

(5) α ( μ , ν ) ϕ ( c 3 d ( F ( μ ) , F ( ν ) ) λ ( ϕ ( d ( μ , ν ) ) ϕ ( d ( μ , ν ) ) .

Definition 1.9

[22,23,25] Let M be a non-empty set, F : M M and α : M × M R 0 + be given mappings. We say that F is α -admissible if for all μ , ν M , we have

α ( μ , F μ ) 1 α ( F ( μ ) , F 2 ( μ ) ) 1 .

Definition 1.10

[22,23] Let α : M × M R 0 + , where ( M , d , c ) is a b -metric space. We say that M is an α -regular if for each sequence { x n } n N in M with α ( x n , x n + 1 ) 1 for all n and x n x as n , there exists a subsequence { x n ( k ) } k N of { x n } n with α ( x n ( k ) , x ) 1 for all k .

Theorem 1.11

[22,23,25] Suppose a self-mapping F on complete b -metric space ( M , d , c ) forms a generalized α - ϕ -Geraghty contraction-type mapping with the following additional assumptions:

  1. F is α -admissible;

  2. there exists μ 0 M such that α ( μ 0 , F ( μ 0 ) ) 1 ;

  3. either M is α -regular or F is continuous.

Then T has a fixed point. In addition, if
  1. for all fixed points μ , ν of F , either α ( μ , ν ) 1 or α ( ν , μ ) 1 ,

then F has a unique fixed point.

2 Main results

Consider the Banach space

PC = { ω : I R : ω C ( I k ) , k = 0 , , m , and there exist ω ( ϑ k ) and ω ( ϑ k + ) , k = 1 , , m , with ω ( ϑ k ) = ω ( ϑ k ) } ,

normed by

ω PC = sup ϑ I ω ( ϑ ) .

Let ( PC , d , 2 ) be the complete b -metric space with c = 2 , such that d : PC × PC R 0 + is given by:

d ( ω , ϖ ) = ( ω ϖ ) 2 sup ϑ I ω ( ϑ ) ϖ ( ϑ ) 2 .

Then ( PC , d , 2 ) is a b -metric space in the sense of Definition 1.4.

Definition 2.1

By a solution of problem (1) we mean a function ω PC that satisfies ω ( ϑ k + ) = ω ( ϑ k ) + L k ( ω ( ϑ k ) ) , k = 1 , , m , the equation ( D ϑ k r Cℱ ω ) ( ϑ ) = f ( ϑ , ω ( ϑ ) ) , ϑ I k , k = 0 , , m , on I, and the condition ω ( 0 ) = ω 0 .

Lemma 2.2

Let h : I R be a continuous function. A function ω PC is a solution of the fractional integral equation:

(6) ω ( ϑ ) = ω 0 a r h ( 0 ) + a r h ( ϑ ) + b r 0 ϑ h ( s ) d s , if ϑ I 0 , ω ( ϑ ) = ω 0 a r h ( 0 ) + i = 1 k L i ( ω ( ϑ i ) ) + a r h ( ϑ ) + b r 0 ϑ h ( s ) d s , if ϑ I k , k = 1 , , m ,

if and only if ω is a solution of the problem

(7) ( D ϑ k r C F ω ) ( ϑ ) = h ( ϑ ) , ϑ I k , k = 0 , , m , ω ( ϑ k + ) = ω ( ϑ k ) + L k ( ω ( ϑ k ) ) , k = 1 , , m , ω ( 0 ) = ω 0 .

Proof

Assume u satisfies (7). If ϑ I 0 , then

( D 0 r Cℱ ω ) ( ϑ ) = h ( ϑ ) .

Lemma 1.3 implies that

ω ( ϑ ) = ω 0 a r h ( 0 ) + a r h ( ϑ ) + b r 0 ϑ h ( s ) d s .

If ϑ I 1 , then

( D ϑ 1 r Cℱ ω ) ( ϑ ) = h ( ϑ ) .

Lemma 1.3 implies that

ω ( ϑ ) = ω ( ϑ 1 ) a r h ( ϑ 1 ) + a r h ( ϑ ) + b r ϑ 1 ϑ h ( s ) d s .

Thus,

ω ( ϑ ) = L 1 ( ω ( ϑ 1 ) ) + ω ( ϑ 1 ) a r h ( ϑ 1 ) + a r h ( ϑ ) + b r ϑ 1 ϑ h ( s ) d s = L 1 ( ω ( ϑ 1 ) ) + ω 0 a r h ( 0 ) + a r h ( ϑ 1 ) + b r 0 ϑ 1 h ( s ) d s a r h ( ϑ 1 ) + a r h ( ϑ ) + b r ϑ 1 ϑ h ( s ) d s = L 1 ( ω ( ϑ 1 ) ) + ω 0 a r h ( 0 ) + a r h ( ϑ ) + b r 0 ϑ h ( s ) d s .

If ϑ I 2 , then

( D ϑ 2 r Cℱ ω ) ( ϑ ) = h ( ϑ ) .

Then,

ω ( ϑ ) = ω ( ϑ 2 ) a r h ( ϑ 2 ) + a r h ( ϑ ) + b r ϑ 2 ϑ h ( s ) d s = L 2 ( ω ( ϑ 2 ) ) + ω ( ϑ 2 ) a r h ( ϑ 2 ) + a r h ( ϑ ) + b r ϑ 2 ϑ h ( s ) d s = L 2 ( ω ( ϑ 2 ) ) + L 1 ( ω ( ϑ 1 ) ) + ω 0 a r h ( 0 ) + a r h ( ϑ 2 ) + b r 0 ϑ 2 h ( s ) d s a r h ( ϑ 2 ) + a r h ( ϑ ) + b r ϑ 2 ϑ h ( s ) d s = L 2 ( ω ( ϑ 2 ) ) + L 1 ( ω ( ϑ 1 ) ) + ω 0 a r h ( 0 ) + a r h ( ϑ ) + b r 0 ϑ h ( s ) d s .

If ϑ I k , we get (6).

Conversely, assume that ω satisfies (6). If ϑ I 0 , then

ω ( ϑ ) = ω 0 a r h ( 0 ) + a r h ( ϑ ) + b r 0 ϑ h ( s ) d s .

Thus, ω ( 0 ) = ω 0 and since D t k r Cℱ is the left inverse of I 0 r Cℱ we get ( D 0 r Cℱ ω ) ( ϑ ) = h ( ϑ ) .

Now, if ϑ I k , k = 1 , , m , we get ( D ϑ k r Cℱ ω ) ( ϑ ) = h ( ϑ ) . Also,

ω ( ϑ k + ) = ω ( ϑ k ) + L k ( ω ( ϑ k ) ) .

Hence, if ω satisfies (6) then we get (7).□

If h ( ϑ ) = f ( ϑ , ω ( ϑ ) ) in Lemma 2.2, then we can conclude:

Lemma 2.3

A function ω is a solution of problem (1), if and only if ω satisfies the following integral equation:

(8) ω ( ϑ ) = c + a r f ( ϑ , ω ( ϑ ) ) + b r 0 ϑ f ( s , ω ( s ) ) d s , if ϑ I 0 , ω ( ϑ ) = c + i = 1 k L i ( ω ( ϑ i ) ) + a r f ( ϑ , ω ( ϑ ) ) + b r 0 ϑ f ( s , ω ( s ) ) d s , if ϑ I k , k = 1 , , m ,

where c = ω 0 a r f ( 0 , ω 0 ) .

Assumptions: Here, we list the necessary assumptions to state our main theorem in a proper form.

  1. There exist ϕ Φ and p , q k : PC × PC R 0 + such that for each ω , ϖ PC ;

    f ( ϑ , ω ) f ( ϑ , ϖ ) p ( ω , ϖ ) ω ϖ PC

    and

    L k ( ω ) L k ( ϖ ) q ( ω , ϖ ) ω ϖ PC ,

    with

    i = 1 k q k ( ω , ϖ ) + a r p ( ω , ϖ ) + b r 0 ϑ p ( ω , ϖ ) d s 2 ϕ ( ( ω ϖ ) 2 PC ) .

  2. There exist μ 0 PC , a function δ : PC × PC R and ϕ Φ , such that

    δ μ 0 ( ϑ ) , i = 1 k L i ( μ 0 ( ϑ i ) ) + a r f ( ϑ , μ 0 ( ϑ ) ) + b r 0 ϑ f ( s , μ 0 ( s ) ) d s 0 .

  3. For each ϑ I , and μ , ν PC , we have: δ ( μ ( ϑ ) , ν ( ϑ ) ) 0 implies

    δ a r f ( ϑ , μ ( ϑ ) ) + b r 0 ϑ f ( s , μ ( s ) ) d s , a r f ( ϑ , ν ( ϑ ) ) + b r 0 ϑ f ( s , ν ( s ) ) d s 0

    and

    δ i = 1 k L i ( μ ( ϑ i ) ) + a r f ( ϑ , μ ( ϑ ) ) + b r 0 ϑ f ( s , μ ( s ) ) d s , i = 1 k L i ( ν ( ϑ i ) ) + a r f ( ϑ , ν ( ϑ ) ) + b r 0 ϑ f ( s , ν ( s ) ) d s 0 .

  4. PC is δ -regular. That is, for every sequence { μ n } n N PC with μ n μ as n , there exists a subsequence { μ n ( k ) } k N of { μ n } n with δ ( μ n ( k ) , μ ) 1 for all k .

  5. For all fixed solutions μ , ν of problem (1), either δ ( μ , ν ) 0 or δ ( ν , μ ) 0 .

Theorem 2.4

Under assumptions ( A x 1 )–( A x 4 ), problem (1) has at least one solution defined on I . Moreover, if ( A x 5 ) holds, then (1) has a unique solution.

Proof

Let the operator ϒ : PC PC be defined by

(9) ( ϒ ω ) ( ϑ ) = c + a r f ( ϑ , ω ( ϑ ) ) + b r 0 ϑ f ( s , ω ( s ) ) d s , if ϑ I 0 , ( ϒ ω ) ( ϑ ) = c + i = 1 k L i ( ω ( ϑ i ) ) + a r f ( ϑ , ω ( ϑ ) ) + b r 0 ϑ f ( s , ω ( s ) ) d s , if ϑ I k , k = 1 , , m .

Let α : PC × PC R 0 + be the function defined by:

α ( ω , ϖ ) = 1 , if δ ( ω ( ϑ ) , ϖ ( ϑ ) ) 0 , ϑ I , α ( ω , ϖ ) = 0 , else .

Our following result is based on Theorem 1.11.

First, we prove that ϒ is a generalized α - ϕ -Geraghty contraction operator:

Let ω , ϖ PC . For each ϑ I 0 , we have

( ϒ ω ) ( ϑ ) ( ϒ ϖ ) ( ϑ ) a r f ( ϑ , ω ( ϑ ) ) f ( ϑ , ϖ ( ϑ ) ) + b r 0 ϑ f ( s , ω ( s ) ) f ( s , ϖ ( s ) ) d s a r p ( ω , ϖ ) ( ω ( ϑ ) ϖ ( ϑ ) 2 ) 1 2 + b r 0 ϑ p ( ω , ϖ ) ( ω ( s ) ϖ ( s ) 2 ) 1 2 d s a r p ( ω , ϖ ) ( ( ω ϖ ) 2 PC ) 1 2 + b r 0 t p ( ω , ϖ ) ( ( ω ϖ ) 2 PC ) 1 2 d s .

Thus, from ( A x 1 ) we get

α ( ω , ϖ ) ( ϒ ω ) ( ϑ ) ( ϒ ϖ ) ( ϑ ) 2 a r α ( ω , ϖ ) ( ω ϖ ) 2 PC p ( ω , ϖ ) + b r α ( ω , ϖ ) ( ω ϖ ) 2 0 ϑ p ( ω , ϖ ) d q s PC 2 ( ω ϖ ) 2 PC ϕ ( ( ω ϖ ) 2 PC ) .

This gives

(10) α ( ω , ϖ ) ϕ ( 2 3 d ( ϒ ( ω ) , ϒ ( ϖ ) ) λ ( ϕ ( d ( ω , ϖ ) ) ϕ ( d ( ω , ϖ ) ) λ ( ϕ ( D ( ω , ϖ ) ) ϕ ( D ( ω , ϖ ) ) + L ψ ( ϒ ( ω , ϖ ) ) ,

where λ , ϕ , ψ Φ with λ ( ϑ ) = 1 8 ϑ , L = 0 and ϕ ( ϑ ) = ψ ( ϑ ) = ϑ .

On the other hand, for each ϑ I k : k = 1 , , m , we have

( ϒ ω ) ( ϑ ) ( ϒ ϖ ) ( ϑ ) i = 1 k L i ( ω ( ϑ i ) ) L i ( ϖ ( ϑ i ) ) + a r f ( ϑ , ω ( ϑ ) ) f ( ϑ , ϖ ( ϑ ) ) + b r 0 ϑ f ( s , ω ( s ) ) f ( s , ϖ ( s ) ) d s i = 1 k q i ( ω , ϖ ) ( ω ( ϑ ) ϖ ( ϑ ) 2 ) 1 2 + a r p ( ω , ϖ ) ( ω ( ϑ ) ϖ ( ϑ ) 2 ) 1 2 + b r 0 ϑ p ( ω , ϖ ) ( ω ( s ) ϖ ( s ) 2 ) 1 2 d s i = 1 k q i ( ω , ϖ ) ( ( ω ϖ ) 2 PC ) 1 2 + a r p ( ω , ϖ ) ( ( ω ϖ ) 2 PC ) 1 2 + b r 0 t - p ( ω , ϖ ) ( ( ω ϖ ) 2 PC ) 1 2 d s .

Hence, we obtain (10). So, ϒ is generalized α - ϕ -Geraghty contraction.

Next, we verify that ϒ is α -admissible:

Let ω , ϖ PC such that α ( ω , ϖ ) 1 . For each ϑ I 0 , we have

δ ( ω ( ϑ ) , ϖ ( ϑ ) ) 0 .

This implies from ( A x 3 ) that δ ( ϒ ω ( ϑ ) , ϒ ϖ ( ϑ ) ) 0 , which gives α ( ϒ ( ω ) , ϒ ( ϖ ) ) 1 . Hence, ϒ is α -admissible.

Now, from ( A x 2 ) , there exists μ 0 C ( I ) such that α ( μ 0 , ϒ ( μ 0 ) ) 1 .

Finally, from ( A x 4 ) , PC is α -regular. Indeed, for a given sequence { μ n } n N PC with μ n μ as n , there exists a subsequence { μ n ( k ) } k N of { μ n } n with δ ( μ n ( k ) , μ ) 1 for all k . This gives α ( μ n ( k ) , μ ) 1 for all k .

Applying now Theorem 1.11, we conclude that ϒ has at least one fixed point, which is a solution of problem (1). Moreover, ( A x 5 ) , implies that if ω and ϖ are fixed points of ϒ , then either δ ( ω , ϖ ) 0 or δ ( ϖ , ω ) 0 . Thus, we obtain that either α ( ω , ϖ ) 1 or α ( ϖ , ω ) 1 . Hence, problem (1) has a unique solution.□

3 An example

Let the impulsive Caputo-Fabrizio fractional differential equation

(11) ( D ϑ k r C F ω ) ( ϑ ) = f ( ϑ , ω ( ϑ ) ) , ϑ I k , k = 0 , , m , ω ( ϑ k + ) = ω ( ϑ k ) + L k ( ω ( ϑ k ) ) , k = 1 , , m , ω ( 0 ) = 0 ,

where I = [ 0 , 1 ] , r ( 0 , 1 ) ,

f ( ϑ , ω ( ϑ ) ) = 1 + sin ( ω ( ϑ ) ) 4 ( 1 + ω ( ϑ ) ) , ϑ ( 0 , 1 ] ,

and

L k ( ω ( t k ) ) = 1 + ω ( ϑ k ) 3 e 5 , k = 1 , , m .

Let ( PC ( [ 0 , 1 ] ) , d , 2 ) be the complete b -metric space, such that d : PC ( [ 0 , 1 ] ) × PC ( [ 0 , 1 ] ) R 0 + is given by:

d ( ω , ϖ ) = ( ω ϖ ) 2 sup ϑ [ 0 , 1 ] ω ( ϑ ) ϖ ( ϑ ) 2 .

For each ω , ϖ PC ( [ 0 , 1 ] ) , we have

L k ( ω ( ϑ k ) ) L k ( ϖ ( ϑ k ) ) = ω ( ϑ k ) ϖ ( ϑ k ) 3 e 5 , k = 1 , , m .

Let ϑ ( 0 , 1 ] , and ω , ϖ PC ( [ 0 , 1 ] ) . If ω ( ϑ ) ϖ ( ϑ ) , then

f ( ϑ , ω ( ϑ ) ) f ( ϑ , ϖ ( ϑ ) ) = 1 + sin ( ω ( ϑ ) ) 4 ( 1 + ω ( ϑ ) ) 1 + sin ( ϖ ( ϑ ) ) 4 ( 1 + ϖ ( ϑ ) ) 1 4 ω ( ϑ ) ϖ ( ϑ ) + 1 4 sin ( ω ( ϑ ) ) sin ( ϖ ( ϑ ) ) + ω ( ϑ ) sin ( ϖ ( ϑ ) ) ϖ ( ϑ ) sin ( ω ( ϑ ) ) ω ( ϑ ) ϖ ( ϑ ) + 1 4 sin ( ω ( ϑ ) ) sin ( ϖ ( ϑ ) ) + ϖ ( ϑ ) sin ( ϖ ( ϑ ) ) ϖ ( ϑ ) sin ( ω ( ϑ ) )

= ω ( ϑ ) ϖ ( ϑ ) + ( 1 + ϖ ( ϑ ) ) sin ( ω ( ϑ ) ) sin ( ϖ ( ϑ ) ) ω ( ϑ ) ϖ ( ϑ ) + 1 2 ( 1 + ϖ ( ϑ ) ) × sin ω ( ϑ ) ϖ ( ϑ ) 2 cos ω ( ϑ ) + ϖ ( ϑ ) 2 ( 2 + ϖ PC ) ω ϖ PC .

The case when ϖ ( ϑ ) ω ( ϑ ) , we get

f ( ϑ , ω ( ϑ ) ) f ( ϑ , ϖ ( ϑ ) ) ( 2 + ω PC ) ω ϖ PC .

Hence,

f ( ϑ , ω ( ϑ ) ) f ( ϑ , ϖ ( ϑ ) ) min { 2 + ω PC , 2 + ϖ PC } ω ϖ PC .

Thus, hypothesis ( A x 1 ) is satisfied with

p ( ω , ϖ ) = min { 2 + ω PC , 2 + ϖ PC }

and

q k ( ω , ϖ ) = 1 3 e 5 .

Define the functions λ ( ϑ ) = 1 8 ϑ , ϕ ( ϑ ) = ϑ , α : PC ( [ 0 , 1 ] ) × PC ( [ 0 , 1 ] ) R 0 + with

α ( ω , ϖ ) = 1 , if δ ( ω ( ϑ ) , ϖ ( ϑ ) ) 0 , ϑ I , α ( ω , ϖ ) = 0 , else ,

and δ : PC ( [ 0 , 1 ] ) × PC ( [ 0 , 1 ] ) R with δ ( ω , ϖ ) = ω PC ϖ PC .

Hypothesis ( A x 2 ) is satisfied with μ 0 ( ϑ ) = 0 . Also, ( A x 3 ) holds from the definition of the function δ . Hence, there exists at least one solution of (11).

Moreover, ( A x 5 ) is satisfied. Indeed, if ω and ϖ are solutions of (11), then either δ ( ω , ϖ ) 0 or δ ( ϖ , ω ) 0 . This implies that either α ( ω , ϖ ) 1 or α ( ϖ , ω ) 1 . Consequently, problem (11) has a unique solution.



  1. Conflict of interest: Authors state no conflict of interest.

References

[1] S. Abbas , M. Benchohra , J. R. Graef , and J. Henderson , Implicit Fractional Differential and Integral Equations: Existence and Stability, De Gruyter, Berlin, 2018. 10.1515/9783110553819Search in Google Scholar

[2] S. Abbas , M. Benchohra , J. R. Graef , and J. E Lazreg , Implicit Hadamard fractional differential equations with impulses under weak topologies, Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal. 26 (2019), no. 2, 89–112. Search in Google Scholar

[3] S. Abbas , M. Benchohra , and G. M. N’Guérékata , Topics in Fractional Differential Equations, Springer, New York, 2012. 10.1007/978-1-4614-4036-9Search in Google Scholar

[4] S. Abbas , M. Benchohra , and G. M. N’Guérékata , Advanced Fractional Differential and Integral Equations, NOVA Science Publishers, New York, 2015. Search in Google Scholar

[5] A. A. Kilbas , H. M. Srivastava , and J. J. Trujillo , Theory and Applications of Fractional Differential Equations, Elsevier Science B.V., Amsterdam, 2006. Search in Google Scholar

[6] S. G. Samko , A. A. Kilbas , and O. I. Marichev , Fractional Integrals and Derivatives. Theory and Applications, Gordon and Breach, Amsterdam, 1987, Engl. Trans. from the Russian. Search in Google Scholar

[7] M. Caputo and M. Fabrizio , A new definition of fractional derivative without singular kernel, Progr. Fract. Differ. Appl. 1 (2015), no. 2, 73–85, available at:http://www.naturalspublishing.com/files/published/0gb83k287mo759.pdf.Search in Google Scholar

[8] V. E. Tarasov , Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media, Springer, Heidelberg, Higher Education Press, Beijing, 2010. 10.1007/978-3-642-14003-7Search in Google Scholar

[9] Y. Zhou , J.-R. Wang , and L. Zhang , Basic Theory of Fractional Differential Equations, 2nd edition, World Scientific Publishing Co. Pvt. Ltd., Hackensack, NJ, 2017. 10.1142/10238Search in Google Scholar

[10] M. Benchohra , J. Henderson , and S. K. Ntouyas , Impulsive Differential Equations and Inclusions, vol. 2, Hindawi Publishing Corporation, New York, 2006. 10.1155/9789775945501Search in Google Scholar

[11] J. R. Graef , J. Henderson , and A. Ouahab , Impulsive Differential Inclusions. A Fixed Point Approch, De Gruyter, Berlin/Boston, 2013. 10.1515/9783110295313Search in Google Scholar

[12] I. Stamova and G. Stamov , Functional and Impulsive Differential Equations of Fractional Order: Qualitative Analysis and Applications, CRC Press, Boca Raton, FL, 2017. 10.1201/9781315367453Search in Google Scholar

[13] L. Bai , J. J. Nieto , and J. M. Uzal , On a delayed epidemic model with non-instantaneous impulses, Commun. Pure Appl. Anal. 19 (2020), no. 4, 1915–1930, http://dx.doi.org/10.3934/cpaa.2020084. Search in Google Scholar

[14] E. Hernández , K. A. G. Azevedo , and M. C. Gadotti , Existence and uniqueness of solution for abstract differential equations with state-dependent delayed impulses, J. Fixed Point Theory Appl. 21 (2019), 36, https://doi.org/10.1007/s11784-019-0675-1. Search in Google Scholar

[15] F. Kong and J. J. Nieto , Control of bounded solutions for first-order singular differential equations with impulses, IMA J. Math. Control Inform. 37 (2020), no. 3, 877–893, https://doi.org/10.1093/imamci/dnz033. Search in Google Scholar

[16] J. Wang and M. Feckan , Periodic solutions and stability of linear evolution equations with noninstantaneous impulses, Miskolc Math. Notes 20 (2019), no. 2, 1299–1313, https://doi.org/10.18514/MMN.2019.2552. Search in Google Scholar

[17] S. Czerwik , Nonlinear set-valued contraction mappings in b -metric spaces, Atti Semin. Mat. Fis. Univ. Modena 46 (1998), no. 2, 263–276. Search in Google Scholar

[18] S. Czerwik , Contraction mappings in b -metric spaces, Acta Math. Inf. Univ. Ostrav. 1 (1993), 5–11, available at: https://dml.cz/bitstream/handle/10338.dmlcz/120469/ActaOstrav_01-1993-1_2.pdf.Search in Google Scholar

[19] E. Karapinar , H. D. Binh , N. H. Luc , and N. H. Can , On continuity of the fractional derivative of the time-fractional semilinear pseudo-parabolic systems, Adv. Differ. Equ. 2021 (2021), 70, https://doi.org/10.1186/s13662-021-03232-z.Search in Google Scholar

[20] R. Abdollahi , A. Khastan , J. J. Nieto , and R. Rodriguez-Lopez , On the linear fuzzy model associated with Caputo-Fabrizio operator, Bound. Value Probl. 2018 (2018), 91, https://doi.org/10.1186/s13661-018-1010-2. Search in Google Scholar

[21] H. Afshari , M. S. Abdo , and J. Alzabut , Further results on existence of positive solutions of generalized fractional boundary value problems, Adv. Difference Equ. 2020 (2020), 600, https://doi.org/10.1186/s13662-020-03065-2. Search in Google Scholar

[22] H. Afshari , H. Aydi , and E. Karapinar , Existence of fixed points of set-valued mappings in b -metric spaces, East Asian Math. J. 32 (2016), no. 3, 319–332. 10.7858/eamj.2016.024Search in Google Scholar

[23] H. Afshari , H. Aydi , and E. Karapinar , On generalized α−ψ -Geraghty contractions on b -metric spaces, Georgian Math. J. 27 (2020), no. 1, 9–21, https://doi.org/10.1515/gmj-2017-0063. Search in Google Scholar

[24] H. Afshari and E. Karapinar , A discussion on the existence of positive solutions of the boundary value problems via ψ -Hilfer fractional derivative on b -metric spaces, Adv. Difference Equ. 2020 (2020), 616, https://doi.org/10.1186/s13662-020-03076-z. Search in Google Scholar

[25] S. Almezel , Q. H. Ansari , and M. A. Khamsi , Topics in Fixed Point Theory, Springer-Verlag, New York, 2014. 10.1007/978-3-319-01586-6Search in Google Scholar

[26] H. Aydi , A. Felhi , and S. Sahmim , Common fixed points in rectangular b -metric spaces using (E:A) property, J. Adv. Math. Stud. 8 (2015), no. 2, 159–169. Search in Google Scholar

[27] H. Aydi , M.-F. Bota , E. Karapinar , and S. Mitrovic , A fixed point theorem for set-valued quasi-contractions in b -metric spaces, Fixed Point Theory Appl. 2012 (2012), 88, https://doi.org/10.1186/1687-1812-2012-88. Search in Google Scholar

[28] M.-F. Bota , L. Guran , and A. Petrusel , New fixed point theorems on b -metric spaces with applications to coupled fixed point theory, J. Fixed Point Theory Appl. 22 (2020), 74, https://doi.org/10.1007/s11784-020-00808-2. Search in Google Scholar

[29] S. Cobzas and S. Czerwik , The completion of generalized b -metric spaces and fixed points, Fixed Point Theory 21 (2020), no. 1, 133–150, https://doi.org/10.24193/fpt-ro.2020.1.10. Search in Google Scholar

[30] D. Derouiche and H. Ramoul , New fixed point results for F-contractions of Hardy-Rogers type in b -metric spaces with applications, J. Fixed Point Theory Appl. 22 (2020), 86, https://doi.org/10.1007/s11784-020-00822-4. Search in Google Scholar

[31] A. Fulga , S. Gulyaz-Ozyurt , and A. Ozturk , Iterative contraction at a point via Wardowski function, Filomat 34 (2020), no. 11, 3801–3813, https://doi.org/10.2298/FIL2011801F. Search in Google Scholar

[32] A. Fulga , Fixed point theorems in rational form via Suzuki approaches, Results Nonlinear Anal. 1 (2018), no. 1, 19–29. Search in Google Scholar

[33] S. Gulyaz Ozyurt , On some alpha-admissible contraction mappings on Branciari b -metric spaces, Adv. Theory Nonlinear. Anal. Appl. 1 (2017), no. 1, 1–13, https://doi.org/10.31197/atnaa.318445. Search in Google Scholar

[34] A. Gupta and M. Rohilla , Inexact infinite products of weak quasi-contraction mappings in b -metric spaces, Numer. Funct. Anal. Optim. 41 (2020), no. 12, 1528–1547, https://doi.org/10.1080/01630563.2020.1777422. Search in Google Scholar

[35] A. Ozturk , A fixed point theorem for mappings with an F-contractive iterate, Adv. Theory Nonlinear. Anal. Appl. 3 (2019), no. 4, 231–236, https://doi.org/10.31197/atnaa.644325. Search in Google Scholar

[36] S. K. Panda , E. Karapinar , and A. Atangana , A numerical schemes and comparisons for fixed point results with applications to the solutions of Volterra integral equations in dislocated extended b-metricspace, Alexandria Engineering J. 59 (2020), no. 2, 815–827, https://doi.org/10.1016/j.aej.2020.02.007. Search in Google Scholar

[37] E. Hernández and D. O’Regan , On a new class of abstract impulsive differential equations, Proc. Amer. Math. Soc. 141 (2013), 1641–1649, https://doi.org/10.1090/S0002-9939-2012-11613-2. Search in Google Scholar

[38] J. Losada and J. J. Nieto , Properties of a new fractional derivative without singular kernel, Progr. Fract. Differ. Appl. 1 (2015), no. 2, 87–92. Search in Google Scholar

Received: 2020-12-31
Revised: 2021-03-30
Accepted: 2021-04-12
Published Online: 2021-05-21

© 2021 Jamal Eddine Lazreg et al., published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Downloaded on 25.4.2024 from https://www.degruyter.com/document/doi/10.1515/math-2021-0040/html
Scroll to top button