Home Coupled system of a fractional order differential equations with weighted initial conditions
Article Open Access

Coupled system of a fractional order differential equations with weighted initial conditions

  • Ahmed M. A. El-Sayed and Sheren A. Abd El-Salam EMAIL logo
Published/Copyright: December 31, 2019

Abstract

Here, a coupled system of nonlinear weighted Cauchy-type problem of a diffre-integral equations of fractional order will be considered. We study the existence of at least one integrable solution of this system by using Schauder fixed point Theorem. The continuous dependence of the uniqueness of the solution is proved.

MSC 2010: 34A08; 34A12; 45D05

1 Preliminaries and introduction

The coupled system was studied by many authors (see [1] and [11]). Also, the weighted Cauchy-type problem (see [2], [3], [4], [5], [6], [7]). In [5] the author studied the problem:

Dαu(t)=f(t,u)+0tg(t,s,u(s))ds,t>0,t1αu(t)|t=0=b,0<α<1,bR, (1)

such that the functions f and g satisfies the following assumptions

  1. t1−αf(t, u) is continuous on R+ × C1α0 (R+) and

    |f(t,u)|tμφ(t)|u|m1,μ0,m1>1,
  2. s1−αg(t, s, u(s)) is continuous on DR+ × C1α0 (R+) where

    DR+={(t,s)R+×R+,0st},

    and

    |g(t,s,u(s))|(ts)β1sσψ(s)|u|m2,0<β<1,σ0,m2>1,

    where φ(t) and ψ(s) are such that

  3. φ(t) is continuous and tμ−(1−α)m1 φ(t) is continuous in case

    μ(1α)m1<0,
  4. ψ(t) is continuous and tσ−(1−α)m2 ψ(t) is continuous in case

    σ(1α)m2<0.

Under these assumptions the author proved the existence of at least one local solution in the space C1αα ([0, h]), where for h > 0

C1αα([0,h])={vC1α0([0,h]):cRandvC1α0([0,h])such thatv(t)=ctα1+Iαv(t)},

and

Cr0([0,h])={vC0((0,h]):limt0+trv(t)exists and finite},

(the space C0((0, h]) is the usual space of continuous functions on [0, h]).

In comparison with earlier results, we study the coupled system of weighted Cauchy-type problems of diffre-integral equations of fractional order

Dαu(t)=f1(t,v(t),0tg1(t,s,v(s))ds),Dβv(t)=f2(t,u(t),0tg2(t,s,u(s))ds), (2)

where tI = [0, 1] and α, β ∈ (0, 1) with the initial conditions

t1αu(t)|t=0=k1andt1βv(t)|t=0=k2,

such that the functions fi and gi, i = 1, 2 satisfy the following assumptions:

  1. fi : I × R × RR be a function with the following properties:

    1. for each tI, fi(t, ⋅, ⋅) is continuous,

    2. for each (u, v) ∈ R × R, fi(⋅, u, v) is measurable,

    3. there exist a real function ta(t), aL1(I) and a positive constants b1 and b2 such that

      |fi(t,u,v)|a(t)+b1|u|+b2|v|,for eachtI,(u,v)R×R;

  2. gi : I × I × RR be a function with the following properties:

    1. for each (t, s) ∈ I × I, gi(t, s, ⋅) is continuous,

    2. for each uR, gi(⋅, ⋅, u) is measurable,

    3. there exist a real function (t, s) → k(t, s), kL1(I) and a positive constant b3 such that

      |gi(t,s,u)|k(t,s)+b3|u|,for each(t,s)I×I,uR;

  3. b1 + b2 b3 < Γ(1 + α) and b1 + b2 b3 < Γ(1 + β).

Note that if α = β, f1 = f2, g1 = g2, k1 = k2 = b and u(t) = v(t), then problem (2) will take the form

Dαu(t)=f(t,u(t),0tg(t,s,u(s))ds),t1αu(t)|t=0=b,

which is the generalization of problem (1).

2 Main results

2.1 Integral representation

Lemma 2.1

Let the assumptions (i-iii) be satisfied. If the solution of the coupled system (2) exists, then it can be represented by the coupled system of nonlinear integral equations of fractional order

u(t)=k1tα1+0t(ts)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds,v(t)=k2tβ1+0t(ts)β1Γ(β)f2(s,u(s),0sg2(s,θ,u(θ))dθ)ds. (3)

Proof

Let u(t) be a solution of

Dαu(t)=ddtI1αu(t)=f1(t,v(t),0tg1(t,s,v(s))ds).

Integrate both sides, we get

I1αu(t)I1αu(t)|t=0=If1(t,v(t),0tg1(t,s,v(s))ds).

Operating by Iα on both sides of the last equation, we get

Iu(t)IαC=I1+αf1(t,v(t),0tg1(t,s,v(s))ds).

Differentiate both sides, we get

u(t)C1tα1=Iαf1(t,v(t),0tg1(t,s,v(s))ds).

From the initial condition, we find that C1 = k1, then

u(t)=k1tα1+0t(ts)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds.

Similarly, we can get

v(t)=k2tβ1+0t(ts)β1Γ(β)f2(s,u(s),0sg2(s,θ,u(θ))dθ)ds.

Therefore, the solution (u, v) of system (2) can be represented by system (3).

2.2 Existence of solution

Let L1(I) be a class of Lebesgue integrable functions on the interval I, with the norm ∥x∥ = ∫I |x(t)|dt.

Define the operator T by

T(u,v)(t)=(T1v(t),T2u(t)),

where

T1v(t)=k1tα1+0t(ts)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds,T2u(t)=k2tβ1+0t(ts)β1Γ(β)f2(s,u(s),0sg2(s,θ,u(θ))dθ)ds.

It is clear that the fixed point of the operator T is the solution of system (3).

Theorem 2.1

Assume that fi and gi satisfy the assumptions (i-iii). Then the coupled system of weighted Cauchy-type problems (2) has at least one solution (u, v) ∈ L1 × L1.

Proof

Define

X={(u(t),v(t))|(u(t),v(t))L1×L1and||(u,v)||L1×L1=||u||L1+||v||L1r}.

For (u, v) ∈ X, we have

||T1v||=01|T1v(t)|dt01|k1tα1|dt+01|0t(ts)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds|dtk1tαα01+01s1(ts)α1Γ(α)dt|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|ds=k1α+01(ts)αΓ(1+α)|s1|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|ds=k1α+01(1s)αΓ(1+α)|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|dsk1α+1Γ(1+α)01|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|dsk1α+1Γ(1+α)01[a(s)+b1|v(s)|+b20s|g1(s,θ,v(θ))|dθ]dsk1α+1Γ(1+α)||a||+b1Γ(1+α)||v||L1+b2Γ(1+α)010s[k(s,θ)+b3|v(θ)|]dθdsk1α+1Γ(1+α)||a||+b1Γ(1+α)||v||L1+b2kΓ(1+α)+b2b3Γ(1+α)||v||L1k1α+1Γ(1+α)||a||+b1+b2b3Γ(1+α)r1+b2kΓ(1+α)r1,

where k=010sk(s,θ)dθds and

r1=k1α+||a||Γ(1+α)+b2kΓ(1+α)1b1+b2b3Γ(1+α).

Similarly, we get

||T2u||k2β+1Γ(1+β)||a||+b1+b2b3Γ(1+β)r2+b2kΓ(1+β)r2,

where

r2=k2β+||a||Γ(1+β)+b2kΓ(1+β)1b1+b2b3Γ(1+β).

Let

r=max{r1+r2}.

Then,

||T(u,v)(t)||=||T1v(t),T2u(t)||=||T1v(t)||+||T2u(t)||r1+r2r.

Therefore, for (u, v) ∈ X, we get T(u, v) ∈ X and hence TXX. Now, from the assumptions (i-a) - (ii-a), we deduce that T maps X into L1 × L1 continuously. Moreover, we have

||fi||=01|fi(t,w(t),0tgi(t,s,w(s))ds)|dt01(a(t)+b1|w(t)|+b20t|gi(t,s,w(s))|ds)dt||a||+b1||w||+b2010t[k(t,s)+b3|w(s)|]dsdt||a||+b1||w||+b2k+b2b3||w||.

This estimation shows that fi in L1(I).

Now, we will use Kolmogorov compactness criterion (see [8]) to show that T is compact. So, let be a bounded subset of L1. Then T1() is bounded in L1(I). Now we show that (T1v)hT1 v in L1(I) as h → 0, uniformly with respect to T1 vT . Indeed:

||(T1v)hT1v||=01|(T1v)h(t)(T1v)(t)|dt=01|1htt+h(T1v)(s)ds(T1v)(t)|dt01(1htt+h|(T1v)(s)(T1v)(t)|ds)dt011htt+h|k1sα1k1tα1|dsdt+011htt+h|Iαf1(s,v(s),0sg1(s,θ,v(θ))dθ)Iαf1(t,v(t),0tg1(t,s,v(s))ds)|dsdt,

since f1L1(I) we get that Iα f1(.) ∈ L1(I). Moreover tα−1L1(I). So, we have (see [10])

1htt+h|k1sα1k1tα1|ds0

and

1htt+h|Iαf1(s,v(s),0sg1(s,θ,v(θ))dθ)Iαf1(t,v(t),0tg1(t,s,v(s))ds)|ds0

for a.e. tI. Therefore, T1() is relatively compact, that is, T1 is a compact operator, similarly T2 is a compact operator. Hence T is a compact operator

Therefore, Schauder fixed point Theorem (see [9]) implies that T has a fixed point (u, v) which is a solution of the coupled system (3).

To complete the proof, let (u(t), v(t)) be a solution of

u(t)=k1tα1+Iαf1(t,v(t),0tg1(t,s,v(s))ds),v(t)=k2tβ1+Iβf2(t,u(t),0tg2(t,s,u(s))ds), (4)

which gives

t1αu(t)|t=0=k1,t1βv(t)|t=0=k2.

Operating on both sides of the first and second equations in (4) by I1−α and I1−β respectively, we get

I1αu(t)=k1+I1αIαf1(t,v(t),0tg1(t,s,v(s))ds),I1βv(t)=k2+I1βIβf2(t,u(t),0tg2(t,s,u(s))ds).

Differentiate both sides, we obtain

Dαu(t)=f1(t,v(t),0tg1(t,s,v(s))ds),Dβv(t)=f2(t,u(t),0tg2(t,s,u(s))ds).

2.3 Uniqueness of the solution

For the uniqueness of the solution we have the following theorem:

Theorem 2.2

Suppose that the functions fi and gi satisfy conditions (i-b), (ii-b) and (iii) of Theorem 2.1 in addition to the following assumptions:

|fi(t,u1,v1)fi(t,u2,v2)|b1|u1u2|+b2|v1v2|,i=1,2 (5)

and

|gi(t,s,v1)gi(t,s,v2)|b3|v1v2|,i=1,2. (6)

Then the coupled system of weighted Cauchy-type problems (2) has a unique solution.

Proof

From assumption (5), we get

|fi(t,u,v)fi(t,0,0)|b1|u|+b2|v|.

But since

|fi(t,u,v)||fi(t,0,0)||fi(t,u,v)fi(t,0,0)|b1|u|+b2|v|,

therefore

|fi(t,u,v)||fi(t,0,0)|+b1|u|+b2|v|,

i.e. assumptions (ia) and (ic) of theorem 2.1 are satisfied, similarly assumptions (iia) and (iic) of Theorem 2.1 are satisfied.

Then from Theorem 2.1 the solution exists. Now we prove the uniqueness of this solution:

Let (u1, v1) and (u2, v2) be two solutions of (3). Then

u2(t)u1(t)=0t(ts)α1Γ(α)[f1(s,v2(s),0sg1(s,θ,v2(θ))dθ)f1(s,v1(s),0sg1(s,θ,v1(θ))dθ)]ds,0t(ts)α1Γ(α){b1|v2(s)v1(s)|+b20s|g1(s,θ,v2(θ))g1(s,θ,v1(θ))|dθ}ds.

Therefore

01|u2(t)u1(t)|dt010t(ts)α1Γ(α){b1|v2(s)v1(s)|+b20s|g1(s,θ,v2(θ))g1(s,θ,v1(θ))|dθ}dsdt,
||u2u1||L101s1(ts)α1Γ(α)dt{b1|v2(s)v1(s)|+b20s|g1(s,θ,v2(θ))g1(s,θ,v1(θ))|dθ}ds=01(1s)αΓ(1+α){b1|v2(s)v1(s)|+b20s|g1(s,θ,v2(θ))g1(s,θ,v1(θ))|dθ}ds1Γ(1+α)01{b1|v2(s)v1(s)|+b2b30s|v2(θ)v1(θ)|dθ}dsb1+b2b3Γ(1+α)||v2v1||L1.

Similarly

||v2v1||L1b1+b2b3Γ(1+β)||u2u1||L1.

Therefore

||(u2,v2)(u1,v1)||=||u2u1||L1+||v2v1||L1b1+b2b3Γ(1+α)||v2v1||L1+b1+b2b3Γ(1+β)||u2u1||L1||u2u1||L1+||v2v1||L1=||(u2,v2)(u1,v1)||,

which implies

||(u2,v2)(u1,v1)||=0(u2,v2)=(u1,v1).

This completes the proof.

2.4 Continuous dependence on initial data

Now we show that the solution of the coupled system (2) is depending continuously on initial data.

Theorem 2.3

Let the assumptions of Theorem 2.2 be satisfied. Then the solution of the weighted Cauchy-type problem (2) is depending continuously on initial data,

Proof

Let (u(t), v(t)) be a solution of the couple

u(t)=k1tα1+0t(ts)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds,v(t)=k2tβ1+0t(ts)β1Γ(β)f2(s,u(s),0sg2(s,θ,u(θ))dθ)ds

and let ((t), (t)) be a solution of the above coupled system such that t1αu~(t)|t=0=k1~andt1βv~(t)|t=0=k2~. Then

u(t)u~(t)=(k1k1~)tα1+0t(ts)α1Γ(α)[f1(s,v(s),0sg1(s,θ,v(θ))dθ)f1(s,v~(s),0sg1(s,θ,v~(θ))dθ)]ds,|u(t)u~(t)||k1k1~|tα1+0t(ts)α1Γ(α){b1|v(s)v~(s)|+b20s|g1(s,θ,v(θ))g1(s,θ,v~(θ))|dθ}ds.

Therefore

01|u(t)u~(t)|dt1α|k1k1~|+010t(ts)α1Γ(α){b1|v(s)v~(s)|+b20s|g1(s,θ,v(θ))g1(s,θ,v~(θ))|dθ}dsdt,
||uu~||L11α|k1k1~|+01s1(ts)α1Γ(α)dt{b1|v(s)v~(s)|+b20s|g1(s,θ,v(θ))g1(s,θ,v~(θ))|dθ}ds=1α|k1k1~|+01(1s)αΓ(1+α){b1|v(s)v~(s)|+b20s|g1(s,θ,v(θ))g1(s,θ,v~(θ))|dθ}ds1α|k1k1~|+1Γ(1+α)01{b1|v(s)v~(s)|+b2b30s|v(θ)v~(θ)|dθ}ds1α|k1k1~|+b1+b2b3Γ(1+α)||vv~||L1.

Similarly

||vv~||L11β|k2k2~|+b1+b2b3Γ(1+β)||uu~||L1.

Therefore

||(u,v)(u~,v~)||L1=||uu~||L1+||vv~||L11α|k1k1~|+b1+b2b3Γ(1+α)||vv~||L1+1β|k2k2~|+b1+b2b3Γ(1+β)||uu~||L1max{1α,1β}(|k1k1~|+|k2k2~|)+(b1+b2b3)max{1Γ(1+α),1Γ(1+β)}(||vv~||L1+||uu~||L1)M(|k1k1~|+|k2k2~|)+N(b1+b2b3)(||vv~||L1+||uu~||L1)=M(|k1k1~|+|k2k2~|)+N(b1+b2b3)||(u,v)(u~,v~)||L1,

where M=max{1α,1β}andN=max{1Γ(1+α),1Γ(1+β)}.

(1N(b1+b2b3))||(u,v)(u~,v~)||L1M(|k1k1~|+|k2k2~|)||(u,v)(u~,v~)||L1(M1N(b1+b2b3))(|k1k1~|+|k2k2~|).

Therefore, if |k1k1~|<δ(ε)2and|k2k2~|<δ(ε)2, then ∥(u, v) − (, )∥L1 < ε. Now from the equivalence we get that the solution of the weighted Cauchy-type problem (2) is depending continuously on initial data.

3 Solution in C1−α([0, T])

Now, define the space C1−α([0, T]) by

C1α([0,T])=u:t1αu(t)C([0,T]),

with norm

||u||C1α=||t1αu||C

and C([0, T]) is the space of continuous functions defined on [0, T] with norm

||u||C=supt[0,T]|u(t)|.

Corollary 3.1

Let the assumptions of Theorem 2.1 satisfied. Then the coupled system of weighted Cauchy-type problems (2) has a solution (u, v) ∈ C1−α([0, T]) × C1−α([0, T]).

Proof

Define

Y={(u(t),v(t))|(u(t),v(t))C1α×C1α:||(u,v)||C1α×C1α=max(||u||C1α,||v||C1α)r},

and define the subset Qr by

Qr={(u(t),v(t))Y:||(u(t),v(t))||Yr},

where r=max{r1,r2} , ( r1 and r2 will be indicated in the proof). The set Qr is nonempty, closed and convex.

Let T : QrQr. For (u, v) ∈ Qr, T is a continuous operator: indeed, if {(un(t), vn(t)} is a sequence in Qr which converges to (u(t), v(t)) for every t ∈ [0, T]. Then

limnT1vn(t)=k1tα1+limn0t(ts)α1Γ(α)f1(s,vn(s),0sg1(s,θ,vn(θ))dθ)ds,

from the assumptions and Lebesgue dominated convergence theorem, we get that

limnT1vn(t)=T1v(t).

Similarly

limnT2un(t)=T2u(t).

Then

limnT(un,vn)(t)=T(u,v)(t).

For (u, v) ∈ Qr, we have

|t1αT1v(t)|k1+t1α0t(ts)α1Γ(α)|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|dsk1+t1α0t(ts)α1Γ(α)[a(s)+b1|v(s)|+b20s|g1(s,θ,v(θ))|dθ]dsk1+t1αIα|a(t)|+b1t1α0t(ts)α1Γ(α)|v(s)|ds+b2t1α0t(ts)α1Γ(α)0s[k(s,θ)+b3|v(θ)|]dθds=k1+t1αIαγIγ|a(t)|+b1t1α0t(ts)α1Γ(α)sα1s1α|v(s)|ds+b2t1α0t(ts)α1Γ(α)0sk(s,θ)dθds+b2b3t1α0t(ts)α1Γ(α)0sθα1θ1α|v(θ)|dθdsk1+T1αIαγa+b1T1α||v||C1α0t(ts)α1Γ(α)sα1ds+b2T1αkΓ(α)+b2b3T1α||v||C1α0t(ts)α1Γ(α)0sθα1dθdsk1+T1αaΓ(αγ+1)Tαγ+b1T1α||v||C1αΓ(α)Γ(2α)T2α1+b2T1αkΓ(α)+b2b3T1α||v||C1α0t(ts)α1Γ(α)sααds=k1+aΓ(αγ+1)T1γ+b1||v||C1αΓ(α)Γ(2α)Tα+b2T1αkΓ(α)+b2b3T1α||v||C1αΓ(α)Γ(2α+1)T2α=k1+aΓ(αγ+1)T1γ+b1||v||C1αΓ(α)Γ(2α)Tα+b2T1αkΓ(α)+b2b3||v||C1αΓ(α)Γ(2α+1)Tα+1k1+aΓ(αγ+1)T1γ+b1r1Γ(α)Γ(2α)Tα+b2T1αkΓ(α)+b2b3r1Γ(α)Γ(2α+1)Tα+1,

where a* = supt∈[0,T] Iγ |a(t)|. Then

||T1v||C1αr1,

where

r1=k1+aΓ(αγ+1)T1γ+b2kΓ(α)T1α1(b1Γ(α)Γ(2α)Tα+b2b3Γ(α)Γ(2α+1)Tα+1),0<γ<α.

Similarly

|t1βT2u(t)|k2+aΓ(βγ+1)T1γ+b1r2Γ(β)Γ(2β)Tβ+b2T1βkΓ(β)+b2b3r2Γ(β)Γ(2β+1)Tβ+1,||T2u||C1αr2,

where

r2=k2+aΓ(βγ+1)T1γ+b2kΓ(β)T1β1(b1Γ(β)Γ(2β)Tβ+b2b3Γ(β)Γ(2β+1)Tβ+1),0<γ<β.

Then T1v(t) is uniformly bounded in Qr, similarly T2u(t) is uniformly bounded in Qr.

Since

||T(u,v)(t)||=||T1v(t),T2u(t)||=max(||T1v||C1α,||T2u||C1α)max(r1,r2)r.

Therefore, T is uniformly bounded in Qr.

Now, we show that T is a completely continuous operator.

Indeed, let τ1, τ2 ∈ [0, T], τ1 < τ2 such that |τ2τ1| < δ, we have

τ21αT1v(τ2)τ11αT1v(τ1)=τ21α0τ2(τ2s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)dsτ11α0τ1(τ1s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds=τ21α0τ1(τ2s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds+τ21ατ1τ2(τ2s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)dsτ11α0τ1(τ1s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds(τ21ατ11α)0τ1(τ1s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds+τ21ατ1τ2(τ2s)α1Γ(α)f1(s,v(s),0sg1(s,θ,v(θ))dθ)ds,
|τ21αT1v(τ2)τ11αT1v(τ1)|(τ21ατ11α)0τ1(τ1s)α1Γ(α)|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|ds+τ21ατ1τ2(τ2s)α1Γ(α)|f1(s,v(s),0sg1(s,θ,v(θ))dθ)|ds(τ21ατ11α)0τ1(τ1s)α1Γ(α)[a(s)+b1|v(s)|+b20s|g1(s,θ,v(θ))|dθ]ds+τ21ατ1τ2(τ2s)α1Γ(α)[a(s)+b1|v(s)|+b20s|g1(s,θ,v(θ))|dθ]ds(τ21ατ11α)IαγIγa(τ1)+b1(τ21ατ11α)0τ1(τ1s)α1Γ(α)sα1s1α|v(s)|ds+b2(τ21ατ11α)0τ1(τ1s)α1Γ(α)0s[k(s,θ)+b3|v(θ)|]dθds+τ21αIτ1αγIτ1γa(τ2)+b1τ21ατ1τ2(τ2s)α1Γ(α)sα1s1α|v(s)|ds+b2τ21ατ1τ2(τ2s)α1Γ(α)0s[k(s,θ)+b3|v(θ)|]dθdsaΓ(αγ+1)(τ21ατ11α)τ1αγ+b1(τ21ατ11α)||v||C1αΓ(α)τ12α1Γ(2α)+b2k1Γ(α)(τ21ατ11α)+b2b3(τ21ατ11α)||v||C1α0τ1(τ1s)α1Γ(α)0sθα1dθds+a(τ2τ1)αγΓ(αγ+1)τ21α+b1τ21α||v||C1αΓ(α)(τ2τ1)2α1Γ(2α)+b2k1Γ(α)τ21α+b2b3τ21α||v||C1ατ1τ2(τ2s)α1Γ(α)0sθα1dθdsaΓ(αγ+1)(τ21ατ11α)τ1αγ+b1(τ21ατ11α)||v||C1αΓ(α)τ12α1Γ(2α)+b2k1Γ(α)(τ21ατ11α)+b2b3(τ21ατ11α)||v||C1αΓ(α)τ12αΓ(2α+1)+a(τ2τ1)αγΓ(αγ+1)τ21α+b1τ21α||v||C1αΓ(α)(τ2τ1)2α1Γ(2α)+b2k1Γ(α)τ21α+b2b3τ21α||v||C1αΓ(α)(τ2τ1)2αΓ(2α+1).

Therefore {T(u, v)(t)} is equi-continuous. By Arzela-Ascoli Theorem then {T(u, v)(t)} is relatively compact. Therefore, the conditions of the Schauder fixed point Theorem hold, which implies that T has a fixed point in Qr. Then (2) has a solution (u, v) ∈ C1−α([0, T]) × C1−α([0, T]).

References

[1] Chen Y., Chen D., Lv Z., The existence results for a coupled system of nonlinear fractional differential equations with multi-point boundary conditions, Bull. Iranian Math. Soc., 2012, 38(3), 607–624.Search in Google Scholar

[2] El-Sayed A.M.A., Abd El-Salam Sh.A., Weighted Cauchy-type problem of a functional differ-integral equation, Electron. J. Qual. Theory Differ. Equ., 2007, 30, 1–9.10.14232/ejqtde.2007.1.30Search in Google Scholar

[3] El-Sayed A.M.A., Abd El-Salam Sh.A., Lp- solution of weighted Cauchy-type problem of a diffre-integral functional equation, Inter. J. Nonlinear Sci., 2008, 5(3), 281–288.Search in Google Scholar

[4] Gaafar F.M., Cauchy-type problems of a functional differintegral equations with advanced arguments, J. Fract. Calc. Appl., 2014, 5(2), 71–77.Search in Google Scholar

[5] Furati K.M., Tatar N.E., Long time behavior for a nonlinear fractional model, J. Math. Anal. Appl., 2007, 332, 441–454.10.1016/j.jmaa.2006.10.027Search in Google Scholar

[6] Furati K.M., Tatar N.E., Power-type estimates for a nonlinear fractional differential equation, Nonlinear Analysis, 2005, 62, 1025–1036.10.1016/j.na.2005.04.010Search in Google Scholar

[7] Furxati K.M., Tatar N.E., An existence result for a nonlocal fractional differential problem, J. Fract. Calc., 2004, 26, 43–51.Search in Google Scholar

[8] Dugundji J., Granas A., Fixed Point Theory, Monografie Matematyczne, PWN, Warsaw, 1982.Search in Google Scholar

[9] Deimling K., Nonlinear Functional Analysis, Springer-Verlag, 1985.10.1007/978-3-662-00547-7Search in Google Scholar

[10] Swartz C., Measure, Integration and Function Spaces, World Scientific, Singapore, 1994.10.1142/2223Search in Google Scholar

[11] Su X., Boundary value problem for a coupled system of nonlinear fractional differential equations, Appl. Math. Lett., 2009, 22(1), 64–69.10.1016/j.aml.2008.03.001Search in Google Scholar

Received: 2019-08-15
Accepted: 2019-10-01
Published Online: 2019-12-31

© 2019 Ahmed M. A. El-Sayed and Sheren A. Abd El-Salam, published by De Gruyter

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

Articles in the same Issue

  1. Regular Articles
  2. On the Gevrey ultradifferentiability of weak solutions of an abstract evolution equation with a scalar type spectral operator of orders less than one
  3. Centralizers of automorphisms permuting free generators
  4. Extreme points and support points of conformal mappings
  5. Arithmetical properties of double Möbius-Bernoulli numbers
  6. The product of quasi-ideal refined generalised quasi-adequate transversals
  7. Characterizations of the Solution Sets of Generalized Convex Fuzzy Optimization Problem
  8. Augmented, free and tensor generalized digroups
  9. Time-dependent attractor of wave equations with nonlinear damping and linear memory
  10. A new smoothing method for solving nonlinear complementarity problems
  11. Almost periodic solution of a discrete competitive system with delays and feedback controls
  12. On a problem of Hasse and Ramachandra
  13. Hopf bifurcation and stability in a Beddington-DeAngelis predator-prey model with stage structure for predator and time delay incorporating prey refuge
  14. A note on the formulas for the Drazin inverse of the sum of two matrices
  15. Completeness theorem for probability models with finitely many valued measure
  16. Periodic solution for ϕ-Laplacian neutral differential equation
  17. Asymptotic orbital shadowing property for diffeomorphisms
  18. Modular equations of a continued fraction of order six
  19. Solutions with concentration and cavitation to the Riemann problem for the isentropic relativistic Euler system for the extended Chaplygin gas
  20. Stability Problems and Analytical Integration for the Clebsch’s System
  21. Topological Indices of Para-line Graphs of V-Phenylenic Nanostructures
  22. On split Lie color triple systems
  23. Triangular Surface Patch Based on Bivariate Meyer-König-Zeller Operator
  24. Generators for maximal subgroups of Conway group Co1
  25. Positivity preserving operator splitting nonstandard finite difference methods for SEIR reaction diffusion model
  26. Characterizations of Convex spaces and Anti-matroids via Derived Operators
  27. On Partitions and Arf Semigroups
  28. Arithmetic properties for Andrews’ (48,6)- and (48,18)-singular overpartitions
  29. A concise proof to the spectral and nuclear norm bounds through tensor partitions
  30. A categorical approach to abstract convex spaces and interval spaces
  31. Dynamics of two-species delayed competitive stage-structured model described by differential-difference equations
  32. Parity results for broken 11-diamond partitions
  33. A new fourth power mean of two-term exponential sums
  34. The new operations on complete ideals
  35. Soft covering based rough graphs and corresponding decision making
  36. Complete convergence for arrays of ratios of order statistics
  37. Sufficient and necessary conditions of convergence for ρ͠ mixing random variables
  38. Attractors of dynamical systems in locally compact spaces
  39. Random attractors for stochastic retarded strongly damped wave equations with additive noise on bounded domains
  40. Statistical approximation properties of λ-Bernstein operators based on q-integers
  41. An investigation of fractional Bagley-Torvik equation
  42. Pentavalent arc-transitive Cayley graphs on Frobenius groups with soluble vertex stabilizer
  43. On the hybrid power mean of two kind different trigonometric sums
  44. Embedding of Supplementary Results in Strong EMT Valuations and Strength
  45. On Diophantine approximation by unlike powers of primes
  46. A General Version of the Nullstellensatz for Arbitrary Fields
  47. A new representation of α-openness, α-continuity, α-irresoluteness, and α-compactness in L-fuzzy pretopological spaces
  48. Random Polygons and Estimations of π
  49. The optimal pebbling of spindle graphs
  50. MBJ-neutrosophic ideals of BCK/BCI-algebras
  51. A note on the structure of a finite group G having a subgroup H maximal in 〈H, Hg
  52. A fuzzy multi-objective linear programming with interval-typed triangular fuzzy numbers
  53. Variational-like inequalities for n-dimensional fuzzy-vector-valued functions and fuzzy optimization
  54. Stability property of the prey free equilibrium point
  55. Rayleigh-Ritz Majorization Error Bounds for the Linear Response Eigenvalue Problem
  56. Hyper-Wiener indices of polyphenyl chains and polyphenyl spiders
  57. Razumikhin-type theorem on time-changed stochastic functional differential equations with Markovian switching
  58. Fixed Points of Meromorphic Functions and Their Higher Order Differences and Shifts
  59. Properties and Inference for a New Class of Generalized Rayleigh Distributions with an Application
  60. Nonfragile observer-based guaranteed cost finite-time control of discrete-time positive impulsive switched systems
  61. Empirical likelihood confidence regions of the parameters in a partially single-index varying-coefficient model
  62. Algebraic loop structures on algebra comultiplications
  63. Two weight estimates for a class of (p, q) type sublinear operators and their commutators
  64. Dynamic of a nonautonomous two-species impulsive competitive system with infinite delays
  65. 2-closures of primitive permutation groups of holomorph type
  66. Monotonicity properties and inequalities related to generalized Grötzsch ring functions
  67. Variation inequalities related to Schrödinger operators on weighted Morrey spaces
  68. Research on cooperation strategy between government and green supply chain based on differential game
  69. Extinction of a two species competitive stage-structured system with the effect of toxic substance and harvesting
  70. *-Ricci soliton on (κ, μ)′-almost Kenmotsu manifolds
  71. Some improved bounds on two energy-like invariants of some derived graphs
  72. Pricing under dynamic risk measures
  73. Finite groups with star-free noncyclic graphs
  74. A degree approach to relationship among fuzzy convex structures, fuzzy closure systems and fuzzy Alexandrov topologies
  75. S-shaped connected component of radial positive solutions for a prescribed mean curvature problem in an annular domain
  76. On Diophantine equations involving Lucas sequences
  77. A new way to represent functions as series
  78. Stability and Hopf bifurcation periodic orbits in delay coupled Lotka-Volterra ring system
  79. Some remarks on a pair of seemingly unrelated regression models
  80. Lyapunov stable homoclinic classes for smooth vector fields
  81. Stabilizers in EQ-algebras
  82. The properties of solutions for several types of Painlevé equations concerning fixed-points, zeros and poles
  83. Spectrum perturbations of compact operators in a Banach space
  84. The non-commuting graph of a non-central hypergroup
  85. Lie symmetry analysis and conservation law for the equation arising from higher order Broer-Kaup equation
  86. Positive solutions of the discrete Dirichlet problem involving the mean curvature operator
  87. Dislocated quasi cone b-metric space over Banach algebra and contraction principles with application to functional equations
  88. On the Gevrey ultradifferentiability of weak solutions of an abstract evolution equation with a scalar type spectral operator on the open semi-axis
  89. Differential polynomials of L-functions with truncated shared values
  90. Exclusion sets in the S-type eigenvalue localization sets for tensors
  91. Continuous linear operators on Orlicz-Bochner spaces
  92. Non-trivial solutions for Schrödinger-Poisson systems involving critical nonlocal term and potential vanishing at infinity
  93. Characterizations of Benson proper efficiency of set-valued optimization in real linear spaces
  94. A quantitative obstruction to collapsing surfaces
  95. Dynamic behaviors of a Lotka-Volterra type predator-prey system with Allee effect on the predator species and density dependent birth rate on the prey species
  96. Coexistence for a kind of stochastic three-species competitive models
  97. Algebraic and qualitative remarks about the family yy′ = (αxm+k–1 + βxmk–1)y + γx2m–2k–1
  98. On the two-term exponential sums and character sums of polynomials
  99. F-biharmonic maps into general Riemannian manifolds
  100. Embeddings of harmonic mixed norm spaces on smoothly bounded domains in ℝn
  101. Asymptotic behavior for non-autonomous stochastic plate equation on unbounded domains
  102. Power graphs and exchange property for resolving sets
  103. On nearly Hurewicz spaces
  104. Least eigenvalue of the connected graphs whose complements are cacti
  105. Determinants of two kinds of matrices whose elements involve sine functions
  106. A characterization of translational hulls of a strongly right type B semigroup
  107. Common fixed point results for two families of multivalued A–dominated contractive mappings on closed ball with applications
  108. Lp estimates for maximal functions along surfaces of revolution on product spaces
  109. Path-induced closure operators on graphs for defining digital Jordan surfaces
  110. Irreducible modules with highest weight vectors over modular Witt and special Lie superalgebras
  111. Existence of periodic solutions with prescribed minimal period of a 2nth-order discrete system
  112. Injective hulls of many-sorted ordered algebras
  113. Random uniform exponential attractor for stochastic non-autonomous reaction-diffusion equation with multiplicative noise in ℝ3
  114. Global properties of virus dynamics with B-cell impairment
  115. The monotonicity of ratios involving arc tangent function with applications
  116. A family of Cantorvals
  117. An asymptotic property of branching-type overloaded polling networks
  118. Almost periodic solutions of a commensalism system with Michaelis-Menten type harvesting on time scales
  119. Explicit order 3/2 Runge-Kutta method for numerical solutions of stochastic differential equations by using Itô-Taylor expansion
  120. L-fuzzy ideals and L-fuzzy subalgebras of Novikov algebras
  121. L-topological-convex spaces generated by L-convex bases
  122. An optimal fourth-order family of modified Cauchy methods for finding solutions of nonlinear equations and their dynamical behavior
  123. New error bounds for linear complementarity problems of Σ-SDD matrices and SB-matrices
  124. Hankel determinant of order three for familiar subsets of analytic functions related with sine function
  125. On some automorphic properties of Galois traces of class invariants from generalized Weber functions of level 5
  126. Results on existence for generalized nD Navier-Stokes equations
  127. Regular Banach space net and abstract-valued Orlicz space of range-varying type
  128. Some properties of pre-quasi operator ideal of type generalized Cesáro sequence space defined by weighted means
  129. On a new convergence in topological spaces
  130. On a fixed point theorem with application to functional equations
  131. Coupled system of a fractional order differential equations with weighted initial conditions
  132. Rough quotient in topological rough sets
  133. Split Hausdorff internal topologies on posets
  134. A preconditioned AOR iterative scheme for systems of linear equations with L-matrics
  135. New handy and accurate approximation for the Gaussian integrals with applications to science and engineering
  136. Special Issue on Graph Theory (GWGT 2019)
  137. The general position problem and strong resolving graphs
  138. Connected domination game played on Cartesian products
  139. On minimum algebraic connectivity of graphs whose complements are bicyclic
  140. A novel method to construct NSSD molecular graphs
Downloaded on 9.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2019-0120/html
Scroll to top button