Научная статья на тему 'EXISTENCE AND UNIQUENESS OF THE SOLUTION TO A CLASS OF FRACTIONAL BOUNDARY VALUE PROBLEMS USING TOPOLOGICAL METHODS'

EXISTENCE AND UNIQUENESS OF THE SOLUTION TO A CLASS OF FRACTIONAL BOUNDARY VALUE PROBLEMS USING TOPOLOGICAL METHODS Текст научной статьи по специальности «Математика»

CC BY
10
3
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
FRACTIONAL DERIVATIVES AND INTEGRALS / TOPOLOGICAL PROPERTIES OF MAPPINGS / FIXED POINT THEOREMS

Аннотация научной статьи по математике, автор научной работы — Faree Taghareed A., Panchal Satish K.

This paper investigates the existence and uniqueness of solutions to boundary value problems involving the Caputo fractional derivative in Banach space by topological structures with some appropriate conditions. It is based on the application of topological methods and fixed point theorems. Moreover, some topological properties of the solutions set are considered. Finally, an example is provided to illustrate the main results.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «EXISTENCE AND UNIQUENESS OF THE SOLUTION TO A CLASS OF FRACTIONAL BOUNDARY VALUE PROBLEMS USING TOPOLOGICAL METHODS»

Journal of Siberian Federal University. Mathematics & Physics 2022, 15(5), 615—622

DOI: 10.17516/1997-1397-2022-15-5-615-622 УДК 517.9

Existence and Uniqueness of the Solution to a Class of Fractional Boundary Value Problems Using Topological Methods

Taghareed A. Faree*

Dr. Babasaheb Ambedkar Marathwada University

Aurangabad, India Faculty of Applied Sciences Taiz University Taiz, Yemen

Satish K. Panchal^

Dr. Babasaheb Ambedkar Marathwada University

Aurangabad, India

Received 10.04.2021, received in revised form 11.03.2022, accepted 06.07.2022 Abstract. This paper investigates the existence and uniqueness of solutions to boundary value problems involving the Caputo fractional derivative in Banach space by topological structures with some appropriate conditions. It is based on the application of topological methods and fixed point theorems. Moreover, some topological properties of the solutions set are considered. Finally, an example is provided to illustrate the main results.

Keywords: fractional derivatives and integrals; topological properties of mappings, fixed point theorems.

Citation: T.A. Faree, S.K. Panchal, Existence and Uniqueness of the Solution to A class of Fractional Boundary Value Problems using Topological Methods, J. Sib. Fed. Univ. Math. Phys., 2022, 15(5), 615-622. DOI: 10.17516/1997-1397-2022-15-5-615-622.

Introduction

Fractional differential equations have been verified to be effective modeling of many phenomena in several fields of science, for more details see Kilbas et al. [9], Miller and Ross [10], Podlubny [11], Agnieszka and Delfim [3]. Topological methods are one of the important tools that require weakly compact conditions rather than strongly compact conditions. In fact, the use of topological methods closely to study the existence of solutions for fractional differential equations in the last decades, see [6,7,13-16]. The fractional differential equations in Banach space are finding increasing consideration by many researchers such as Agarwal et al. [1,2], Balachandran and Park [4], Benchohra et al. [5] and Zhang [19]. In 2006, Zhang [20], considered the existence of positive solutions to nonlinear fractional boundary value problems by applying the properties of the Green function and fixed point theorem on cones. In 2009, Benchohra et al. [5], examined the existence and uniqueness of solutions to fractional boundary value problems with nonlocal conditions by fixed point theorem. In 2012, Wang et. al [17,18], obtained the necessary and sufficient conditions for the fractional boundary value problems via a coincidence degree for condensing maps in Banach spaces. In 2015, the result was extended to the case for

* taghareed.alhammadi@gmail.com

tdrpanchalsk@gmail.com © Siberian Federal University. All rights reserved

solutions to a fractional order multi point boundary value problem by Khan and Shah [8], who intentioned sufficient conditions for the existence of outcomes for a boundary value problem. In 2017, Samina et al. [12], studied the existence to solutions for nonlinear fractional Hybrid differential equations through some results about the existence of solutions and the Kuratowski's measure of non-compactness.

Stimulated by some of the mentioned results, our aim of this paper is to generate some new results about the following boundary value problem (BVP) for fractional differential equations involving Caputo fractional derivative with topological methods and fixed point theorems in Banach space X.

{ cDqx(t) = £(t,x(t)) t GJ = [0, t], 0 <q < 1,

\ ¡¡x(0) + yx(t) = m, (1)

where cDq is the Caputo fractional derivative, £ : J x X ^ X is a continuous function. C (J, X) will be a Banach space of all continuous functions from J into X with the norm ||x||c := swp{||x(t)|| : x G C(J, X)} for t G J. are real constants satisfy ¡3 + y = 0.

1. Preliminaries

In this section, we recall some of the basic definitions, propositions and basic theorem that will be used in this paper.

Definition 1.1 ([10]). The qth fractional order integral of a continuous function £ on the closed interval [a,b], is defined as

1

iq£(t) = rqy Ja (t - s)q-i£(s)ds, (2)

where r is the gamma function.

Definition 1.2 ([10]). The qth Riemann-Liouville fractional-order derivative of a continuous function £ on the closed interval [a, b], is defined as

1 d ff'

(Dq+£)(t) = rn-V)(dt)nJa(t - s)n-q-l£(s)ds, (3)

where n = [q] + 1 and [q] is the integer part of q.

Definition 1.3 ([10]). For a given continuous function £ on the closed interval [a, b], the Caputo fractional order derivative of £, is defined as

1 r t

(cVq+£)(t) = --- (t - s)n-q-1 £(n)(s)ds, (4)

r(n - q) Ja

where n = [q] + 1.

Theorem 1.1 (Banach contraction mapping principle, [21]). Let X be a complete metric space, and ^ : X ^ X is a contraction mapping with a contraction constant K, then ^ has a unique fixed point.

Theorem 1.2 (Schaefer's fixed point theorem, [21]). Let K be a non-empty convex, closed and bounded subset of a Banach space X. If ^ : K ^ K is a complete continuous operator such that $(K) C X, then ^ has at least one fixed point in K.

Definition 1.4 ([14,21]). Let Q C X and F : Q ^ X be a continuous bounded map. One can say that F is a-Lipschitz if there exists k ^ 0 such that

a(F(B)) < ka(B) (V) B C Q bounded.

In case, k < 1, then we call F is a strict a-contraction. One can say that F is a-condensing if

a(F(B)) < a(B) (V) B C Q bounded with a(B) > 0.

We recall that F : Q ^ X is Lipschitz if there exists k > 0 such that

\\Fx -Fyy < k\\x - y\\ (V) x,y C Q,

and if k < 1 then F is a strict contraction.

Proposition 1.1 ([14,21]). If F, G : Q ^ X are a-Lipschitz maps with the constants k, k respectively, then F + G : Q ^ X is a-Lipschitz with constant k + k .

Proposition 1.2 ([14,21]). If F : Q ^ X is compact, then F is a-Lipschitz with zero constant.

Proposition 1.3 ([14,21]). ) If F : Q ^ X is Lipschitz with a constant k, then F is a-Lipschitz with the same constant k.

2. Main results

Definition 2.1. If x G C (J, X ) satisfies the equation cDq x(t) = £(t,x(t)) almost everywhere on J, and the condition Jx(0) + yx(t) = n then x is said to be a solution of the fractional BVP (1).

In order to discuss the existence and uniqueness solutions to BVP(1), we require the following assumptions:

[H 1] £ : J x X ^ X is continuous.

[H2] For each t G J and all x,y G X, there exists constant S > 0 such that

\\£(t,x) - £(t,y)\\ < S\\x - y\\

and

STq (1 + ^ ) < 1 r(q +1) •

[H3] For arbitrary (t,x) G J x X, there exist S1,S2 > 0, q1 G [0,1) such that

\\£(t,x)\\ < Si\\x\\q1 + S2. Lemma 2.1. The fractional integral equation

x(t) = flq) Jo (t - S)q-1£(S, x(s))ds - J+Y [r^qy I (t - S)q-1£(S, x(s))ds - ti, t G J (5)

has a solution x G C(J, X) if and only if x is a solution of the fractional BVP (1).

Proof. First, suppose that x G C (J, X ) satisfies BVP(1), then we have to show that x is also a solution of FIE(5). We have,

1 i1

x(t) - x(0) = ^ (t - s)q-1£(s, x(s))ds. (6)

r(q) Jo -617-

Then,

1 r

x(t) - x(0) = — (t - s)q-1£(s,x(s))ds.

r(q) Jo

By the boundary conditions ¡¡x(0) + jx(t) = m, we get

*(0) =

(3 + y) (3 + Y)T(q)

[\t - s)q-1£(s,x(s))ds, 3 + y = 0.

o

(7)

Replacing in equation(6), we get

<t) =

(3 + Y) (3 + Y)r(q)

f (t - s)q-1 £(s, x(s))ds + (t - s)q-1£(s, x(s))ds.

Jo r(q) Jo

Conversely, suppose x G C (J, X) satisfies FIE(5). If t = 0 then 3x(0)+ yx(t ) = m. For t < t g J using the facts that the Caputo fractional derivative cVf is the left inverse of the fractional integral Iq and the Caputo derivative of the constant is zero, we can get cDqx(t) = £(t,x(t)) which completes the proof. □

Lemma 2.2. The operator F : C (J, X) ^ C (J, X) defined by;

(Fx)(t) = fq 0(t - s)q-1£(s, x(s))ds - £(t - s)q-1£(s, x(s))ds - m

is continuous and compact.

Proof. In order to prove the continuity and compactness of F. Consider a bounded set Dr := {||x|| < r : x G C(J, X)}. Let {xn} be a sequence of a bounded set Dr C C(J, X) such that Hxn - xH ^ 0 as n ^ to. we have to show that HFxn - Fx|| ^ 0 as n ^ to. It is obvious that ||£(s,xn(s)) - £(s, x(s))|| ^ 0 as n ^ to due to the continuity of £. Using [H3], we get for each t G J,

U£(s,xn(s)) - £(s,x(s))|| < ||£(s,xn(s))|| + ||£(s,x(s))|| < 2(S1\r\qi + S2).

As the function s ^ 2(S1\r\qi + S2) is integrable for s G [0, t], t G J, by means of the Lebesgue Dominated Convergence theorem

/ (t - s)q-1||£(s, xn(s)) - £(s, x(s))||ds ^ 0 as n ^ to.

o

Then, for all t G J

1 rt

H(Fxn)(t) - (Fx)(t)H < — ^0 (t - s)q-1U£(s,xri(s)) - £(s,x(s))Uds+

/ (t - s)q-1 ||£(s,xn(s)) - £(s, x(s))||ds ^ 0 as n ^ to.

o

+

\y\

\3 + Y\r(q)

Which implies that F is continuous.

Let {xn} be a sequence on a bounded set M cDr, for every xn G M.

+

1t

HFxn|| ^ rqj J0 (t - s)q-1!£(s,xn(s))!ds+

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

\Y\ [\t - s)q-1U£(s,xn(s))Uds + M 0

\3 + Y\r(q)

\3 + Y\'

t<TGJ.

M

y

M

y

Consequently, by assumption [H3] we can deduce that

1 '

< [5irqi + ¿2]

< Г(Ч)

Thus,

\\Fxn\\ i (t - sy^MxJi1 + S2]ds+

r(q) J0

+¥ГЧШ>.[(T - "),-'[iM"+Te+YT <

f(t - +^ f (r - .г-ъ

, И , . ^ c rr

+ WTY\> t<TGJ

WT 11^ f1 + Y ^ Tq(5ivqi + ¿2) + H ,r (8)

11 ^ I1 + W+V\) r(q + 1) + W+V\ = (8)

Therefore (Fxn) is uniformly bounded on M. Hence, F(M) is bounded in Dr C C(J, X). Now, we need to prove that (Fxn) is equicontinuous. For t1, t2 e J,e> 0 and t1 < t2, let p = p(e) > 0 such that \\t2 — ti|| < p. Consider

\\(Fxn)(t2) - (Fxn)(h)\\ <

1 ft2 1 idl

(t2 - s)q-1£(s,xn(s))ds- — (ti - s)q-1£(s,xn(s))ds

r(q)J о r(q)J о

<

1 г1 1 Г2

< т Jo [(t2 - s)q-1 - (ti - + щ ji (t2 - s)q-ims,xn(s))\\ds.

Consequently, by assumption [H3] we get

\\(Fxn)(t2) - (Fxn)(t1)\\ <

1 f t1 1 f t2

< r(q) J0 ^ - S)q-1 - (t1 - ^ (^xГ + S2)d's + Щ J (t2 - s)q-1(S1\\xn\\qi + §2)ds <

< (S1rqi + S2)

< r(q)

t1 +2(t2 - t1)q t2

qqq

< 2(S1rqi + S2) ( q < 2pq(S1rqi + S2)

< r(q +1) (t2 -11) < r(q +1)

Therefore, (Fxn) is equicontinuous. Since F is uniformly bounded and equicontinuous on C(J, X), then applying the Arzela Ascoli theorem, we get that F(M) is a relatively compact subset of C (J, X). Hence, F : C (J, X) ^ C (J, X) is compact. □

Remark 2.1. As we proved F : C(J, X) ^ C(J, X) is compact in Lemma (2.2). Consequently, by Proposition (1.2) F is a-Lipschitz with zero constant.

Theorem 2.1. Assume that [H1] - [H3] hold then the fractional BVP (1) has at least one solution.

Proof. It is clear that, the fixed points of the operator F : C (J, X) ^ C(J, X) are solutions of BVP (1). Since the operator F : C (J, X) ^ C(J, X) is continuous and completely continuous then we will prove that S (F) = {x G C (J, X) : x = kFx, for some к G (0,1)} is bounded. For x G S(F) and к G (0,1), we have

V + в + 1\J

1Ы1 = №11 < 11 + JyL^ tq(S1rqi + S2) + _±L_

\\x\\ = k\\Fx\\ < \1+ в + yJ r(q +1) + + Y| •

The above inequality with q1 < 1 and equation (8), show that S is bounded in C (J, X). Thus, by Schaefer's fixed point theorem, we can conclude that F has at least one fixed point and the set of fixed points of F is bounded in C(J, X) . □

Remark 2.2. If [H1] - [H3] hold and F : C(J, X) ^ C(J, X) is a linear operator then the set of solutions of the fractional BVP(1) is convex.

Theorem 2.2. Assume that [H1] - [H3] hold then the fractional BVP(1) has a unique solution x GC(J, X).

Proof. According to theorem (2.1), the fractional BVP (1) has a solution x G C(J, X). It is sufficient to show that F is a contraction mapping on C(J, X) by [H2] as follows, for x,y G C (J, X), we get

1 it

U(Fx)(t) - (Fy)(t)U < ^ Jo (t - s)q-1U£(s,x(s)) - £(s,y(s))Uds+

+

\y\

\ß + Y \r(q)

/V - s)q-1U(s,x(s)) - £(s,y(s))\\ds < Jo

<

r(q)

0(t - s)q-1S\\x - y\\ds + ß £(t - s)q-1 S\\x - y\\ds, <

< W+1) "x - y\ ß + Y =

Thus, F is the contraction mapping on C(J, X ) with a contraction constant (1 + ) r(q+i) • By applying Banach's contraction mapping principle we can conclude that the operator F has a unique fixed point on C (J, X ). Hence, BVP(1) has a unique solution in C (J, X ). □

Example 2.1. Consider the following fractional BVP

\x(t)\

cD 3 x(t)

(9 + et)(1 + \x(t)\) x(0) + x(1) = 0.

, t G [0,1],

(9)

Set q = 3, for (t,x) G [0,1] x [0, +œ), we can define £(t,x)

(9 + et)(1+ x)

. Also, for

t G [0,1] we have x(t)

9 + e'

-. For x,y G [0, +œ), then

£(t,x) - £(t,y)

(9 + et)(1 + x) (9 + et)(1 + y)

<

1

< — 10

(1+ x) (1+ y)

1

< — 10

x-y

(1+ x)(1 + y)

<

< \x - y\ ^ S =10, t G [0, 1].

If q = -, r(q + 1) = r(I) = 0.89, we have

*t q{ 1 + =0_15 r(q + 1) 0.89

< 1.

Hence, we see that all assumptions in theorem (2.1) are satisfied which means our results can be used to solve BVP (9).

1

x

1

x

y

x

y

Conclusion

We have confirmed some sufficient conditions for the existence and uniqueness of solutions for

BVP(1) based on the fixed Point theorems as well as the topological technique of approximate

solutions. In addition, we studied some topological properties of the solutions set. Finally, an

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

example is provided to verify our results.

The authors appreciate the referees' time and suggestions in helping develop this paper.

References

[1] R.P.Agarwal, M.Benchohra, S.Hamani, A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions, Acta. Appl. Math., 109(2010), 973-1033. DOI: 10.1007/s10440-008-9356-6

[2] R.P.Agarwal, Y.Zhou, Y.He, Existence of fractional neutral functional differential equations, Comput. Math. Appl., 59(2010), 1095-1100. DOI: 10.1007/s12190-013-0689-6

[3] A.B.Malinowska, D.F.M.Torres, Introduction to the Fractional Calculus of Variations, World Scientific, 2012.

[4] K.Balachandran, J.Y.Park, Nonlocal Cauchy problem for abstract fractional semilinear evolution equations, Nonlinear Analysis, 71(2009), 4471-4475.

[5] M.Benchohra, A.Cabada, D.Seba, An Existence Result for Nonlinear Fractional Differential Equations on Banach Spaces, Hindawi Publishing Corporation, 2009.

[6] M.Feckan, Topological Degree Approach to Bifurcation Problems, Topological Fixed Point Theory and its Applications, vol. 5, 2008.

[7] J.Mawhin, Topological Degree Methods in Nonlinear Boundary Value Problems, CMBS Regional Conference Series in Mathematics, vol. 40, Amer. Math. Soc., Providence, R. I., 1979.

[8] R.A.Khan, K.Shah, Existence and uniqueness of solutions to fractional order multi-point boundary value problems, Comun. Appl. Anal., 19(2015), 515-526.

[9] A.A.Kilbas, H.M.Srivastava, J.J.Trujillo, Theory and applications of fractional differential equations, ser. North-Holland Mathematics Studies. Amsterdam: Elsevier, 2006.

[10] K.S.Miller, B.Ross, An Introduction to the Fractional Calculus and Differential Equations, John Wiley, New York, 1993.

[11] I.Podlubny, Fractional Differential Equation, Academic Press, San Diego, 1999.

[12] Samina, K.Shah, R.A.Khan, Existence of positive solutions to a coupled system with three point boundary conditions via degree theory, Communications in Nonlinear Analysis, 3(2017), 34-43.

[13] T.A.Faree, S.K.Panchal, Fractional Boundary Value Problems with Integral Boundary Conditions via Topological Degree Method, Journal of Mathematical Research with Applications, 42(2)(2022), 145-152.

[14] T.A.Faree, S.K.Panchal, Existence of solution for impulsive fractional differential equations via topological degree method, J. Korean Soc. Ind. Appl. Math., 25(2021), no. 1, 16-25.

T.A.Faree, S.K.Panchal, Existence of solution to fractional hybrid differential equations using topological degree theory, J. Math. Comput. Sci., 12(2022), Article ID 170.

T.A.Faree, S.K.Panchal, Approximative Analysis for Boundary Value Problems of Fractional Order via Topological Degree Method, Annals of Pure and Applied Mathematics, 25(2022), no. 1, 7-15.

J.Wang, Y.Zhou, W.Wei, Study in fractional differential equations by means of topological degree methods, Numerical functional analysis and optimization, 2012.

J. Wang, Y. Zhou, M. Medve, Qualitative analysis for nonlinear fractional differential equations via topological degree method, Topological methods in Nonlinear Analysis, 40(2012), no. 2, 245-271.

S.Zhang, Positive solutions for boundary-value problems of nonlinear fractional differential equations, Electron. J. Differ. Equ, 36(2006), 1-12.

S.Zhang, The existence of a positive solution for a nonlinear fractional differential equation, J. Math. Anal. Appl., 252(2000), 804-812.

Y.Zhou, Basic Theory Of Fractional Differential Equations, World Scientific, 2017.

Существование и единственность решений краевых задач

г- и __и ___

с дробной производной с помощью топологических структур

Тагарид А. Фари

Университет Бабасахеба Амбедкара Маратвада

Аурангабад, Индия Факультет прикладных наук Университет Таиз Таиз, Йемен

Сатиш К. Панчал

Университет Бабасахеба Амбедкара Маратвада

Аурангабад, Индия

Аннотация. В статье исследуется существование и единственность решений краевых задач с дробной производной Капуто в банаховом пространстве с помощью топологических структур с некоторыми соответствующими условиями. Он основан на применении топологических методов и теорем о неподвижной точке. Кроме того, рассматриваются некоторые топологические свойства множества решений. Приведен пример, иллюстрирующий основные результаты.

Ключевые слова: дробные производные и интегралы; топологические свойства отображений, теоремы о неподвижной точке

i Надоели баннеры? Вы всегда можете отключить рекламу.