EXISTENCE AND UNIQUENESS THEOREM FOR FRACTIONAL DIFFERENTIAL EQUATION WITH INTEGRAL BOUNDARY CONDITION

Σχετικά έγγραφα
Research Article Existence of Positive Solutions for Fourth-Order Three-Point Boundary Value Problems

EXISTENCE OF POSITIVE SOLUTIONS FOR SINGULAR FRACTIONAL DIFFERENTIAL EQUATIONS

Turkish Journal of I N E Q U A L I T I E S

SURVEY AND NEW RESULTS ON BOUNDARY-VALUE PROBLEMS OF SINGULAR FRACTIONAL DIFFERENTIAL EQUATIONS WITH IMPULSE EFFECTS

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Mellin transforms and asymptotics: Harmonic sums

Example Sheet 3 Solutions

2 Composition. Invertible Mappings

Positive solutions for three-point nonlinear fractional boundary value problems

C.S. 430 Assignment 6, Sample Solutions

Homomorphism in Intuitionistic Fuzzy Automata

Homework 3 Solutions

Every set of first-order formulas is equivalent to an independent set

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

POSITIVE SOLUTIONS FOR A FUNCTIONAL DELAY SECOND-ORDER THREE-POINT BOUNDARY-VALUE PROBLEM

( ) ( t) ( 0) ( ) dw w. = = β. Then the solution of (1.1) is easily found to. wt = t+ t. We generalize this to the following nonlinear differential

Studies on Sturm-Liouville boundary value problems for multi-term fractional differential equations

Commutative Monoids in Intuitionistic Fuzzy Sets

Deterministic Policy Gradient Algorithms: Supplementary Material

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Fractional-order boundary value problems with Katugampola fractional integral conditions

ST5224: Advanced Statistical Theory II

The k-α-exponential Function

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

( P) det. constitute the cofactor matrix, or the matrix of the cofactors: com P = c. ( 1) det

On the k-bessel Functions

Uniform Convergence of Fourier Series Michael Taylor

A summation formula ramified with hypergeometric function and involving recurrence relation

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Section 8.3 Trigonometric Equations

Statistical Inference I Locally most powerful tests

Partial Differential Equations in Biology The boundary element method. March 26, 2013

EXISTENCE OF SOLUTIONS FOR RIEMANN-LIOUVILLLE TYPE COUPLED SYSTEMS OF FRACTIONAL INTEGRO-DIFFERENTIAL EQUATIONS AND BOUNDARY CONDITIONS

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Fractional Colorings and Zykov Products of graphs

Section 7.6 Double and Half Angle Formulas

Solvability of a Maximum Quadratic Integral Equation of Arbitrary Orders

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering

SOME PROPERTIES OF FUZZY REAL NUMBERS

5. Choice under Uncertainty

Congruence Classes of Invertible Matrices of Order 3 over F 2

The Pohozaev identity for the fractional Laplacian

Santiago de Compostela, Spain

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

A Note on Intuitionistic Fuzzy. Equivalence Relation

EE512: Error Control Coding

Research Article Existence of Positive Solutions for m-point Boundary Value Problems on Time Scales

On mean-field stochastic maximum principle for near-optimal controls for Poisson jump diffusion with applications

Fractional Calculus of a Class of Univalent Functions With Negative Coefficients Defined By Hadamard Product With Rafid -Operator

Areas and Lengths in Polar Coordinates

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Areas and Lengths in Polar Coordinates

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

Solution Series 9. i=1 x i and i=1 x i.

On nonlocal fractional sum-difference boundary value problems for Caputo fractional functional difference equations with delay

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

derivation of the Laplacian from rectangular to spherical coordinates

Reminders: linear functions

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

Finite Field Problems: Solutions

Matrices and Determinants

Other Test Constructions: Likelihood Ratio & Bayes Tests

Eigenvalues and eigenfunctions of a non-local boundary value problem of Sturm Liouville differential equation

On the Galois Group of Linear Difference-Differential Equations

Math221: HW# 1 solutions

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

n=2 In the present paper, we introduce and investigate the following two more generalized

Heisenberg Uniqueness pairs

w o = R 1 p. (1) R = p =. = 1

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Parametrized Surfaces

Arithmetical applications of lagrangian interpolation. Tanguy Rivoal. Institut Fourier CNRS and Université de Grenoble 1

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

Intuitionistic Fuzzy Ideals of Near Rings

Homework 8 Model Solution Section

Exercises to Statistics of Material Fatigue No. 5

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

STRONG DIFFERENTIAL SUBORDINATIONS FOR HIGHER-ORDER DERIVATIVES OF MULTIVALENT ANALYTIC FUNCTIONS DEFINED BY LINEAR OPERATOR

4.6 Autoregressive Moving Average Model ARMA(1,1)

Approximation of the Lerch zeta-function

12. Radon-Nikodym Theorem

1. Introduction and Preliminaries.

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Solvability of Brinkman-Forchheimer equations of flow in double-diffusive convection

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

Solutions to Exercise Sheet 5

The Negative Neumann Eigenvalues of Second Order Differential Equation with Two Turning Points

The k-fractional Hilfer Derivative

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Homomorphism of Intuitionistic Fuzzy Groups

arxiv: v3 [math.ca] 4 Jul 2013

Transcript:

Journal of Fractional Calculu and Application, Vol. 3, July 212, No. 6, pp. 1 9. ISSN: 29-5858. http://www.fcaj.web.com/ EXISTENCE AND UNIQUENESS THEOREM FOR FRACTIONAL DIFFERENTIAL EQUATION WITH INTEGRAL BOUNDARY CONDITION SHAYMA ADIL MURAD AND SAMIR BASHIR HADID Abtract. We have invetigated the exitence and uniquene olution of the nonlinear fractional differential equation of an arbitrary order with integral boundary condition. The reult i an application of the Schauder fixed point theorem and the Banach contraction principle. 1. Introduction In recent year, fractional differential equation have been of great interet to many mathematician. Thi i due to the development of the theory of fractional calculu itelf and the application of uch contruction in variou field of cience and engineering uch a: Control Theory, Phyic, Mechanic, Electrochemitry,... etc. There are many paper dicuing the olvability of nonlinear fractional differential equation and the exitence of poitive olution of nonlinear fractional differential equation, ee the monograph of Kilba et al. 1], Samko et al 11], and the paper 2, 3, 7, 8, 9, 1] and the reference therein. In 5], Benchohra and Ouaar conidered the boundary value problem of the fractional differential equation: D α y(t = f(t, y(t, α (, 1] y( µ T y(d = y(t where Dt α i the Caputo fractional derivative, and f :, 1] R R i continuou. In 6], Hu and Wang invetigated the exitence of olution of the nonlinear fractional differential equation with integral boundary condition: D α y(t = f(t, y(t, D β y(t, t (, 1, y( =, y(1 = g(y(d where 1 < α 2, < β < 1, and Dt α i the Riemann-Liouville fractional derivative, f :, 1] R R R, and g L 1, 1]. 2 Mathematic Subject Claification. 26A33. Key word and phrae. Fractional differential equation; Integral boundary condition; Schauder fixed point theorem; Banach contraction principle. Submitted: Jan. 27, 212. Accepted: May 15, 212. Publihed: July 1, 212. 1

2 SHAYMA ADIL MURAD AND SAMIR BASHIR HADID JFCA-212/3 In thi paper, we conider the following boundary value problem for the nonlinear fractional differential equation with integral boundary condition: D α y(t = f(t, y(t, D β y(t, t (, 1, (1 y( =, y(1 = I 1 γ y( (2 where 1 < α 2, < β < 1, < γ 1, and Dt α i the Riemann-Liouville fractional derivative f :, 1] R R R. We hall prove that there exit a olution of the boundary value problem (1 and (2, by uing the Schauder fixed point theorem and Banach contraction principle. Firtly, we tarted by driving the correponding Green function of (1 and (2. Moreover, we add a certain condition to the above equation in order to obtain a unique olution. The reult i more general and contain uniquene olution. We verify the reult by contracting an intereting example. 2. PRELIMINARIES Firt of all, we recall ome baic definition Definition 2.111] Let p, q >, then the beta function β(p, q i defined a: β(p, q = x p 1 (1 x q 1 dx. Remark 2.211] For p, q >, the following identity hold: β(p, q = Γ(pΓ(q Γ(p q. Definition 2.311] Let f be a function which i defined almot everywhere (a.e on a, b], for α >, we define: b ad α f = 1 b provided that the integral (Lebegue exit. a (b α 1 f(d, Definition 2.41] The Riemann-Liouville fractional derivative of order α for a function f(t i defined by ( n t ad α 1 d t f(t = (t n α 1 f(d, Γ(n α dt a where α >, n = α] 1 and α] denote the integer part of α. Lemma 2.54] Let α >, then D α t D α t y(t = y(t c 1 t α 1 c 2 t α 2... c n t α n, for ome c i R, i =, 1,..., n 1, n = α] 1.

JFCA-212/3 EXISTENCE AND UNIQUENESS THEOREM 3 Lemma 2.6 Given y C(, 1, 1 < α 2, < β < 1 and < γ 1. Then, the unique olution of the boundary value problem (1 and (2, i given by: y(t = 1 (t α 1 f(, y(, D β y(d tα 1 1 1 ] (1 r γ 1 (r α 1 dr (1 α 1 f(, y(, D β y(d. Γ(γ Proof. By applying Lemma 2.5, equation (1 can be reduced to the equivalent integral equation: y(t = 1 (t α 1 f(, y(, D β y(d c 1 t α 1 c 2 t α 2, (3 for c 1, c 2 R and y( =, we can obtain c 2 =. Then, we can write (3 a y(t = 1 and it follow from y(1 = I 1γ y(, that c 1 = where = c 1 = Γ(γ 1 Γ(γ 1 Γ(α γ (t α 1 f(, y(, D β y(d c 1 t α 1, (1 γ 1 ( r α 1 f(r, y(r, D β y(rdrd (1 α 1 f(, y(, D β y(d, (1 r γ 1 (r α 1 dr (1 α 1 ] f(, y(, D β y(d, ] 1. Therefore, the olution of (1 and (2 i given by y(t = 1 (t α 1 f(, y(, D β y(d tα 1 1 Γ(γ (1 r γ 1 (r α 1 dr (1 α 1 ] f(, y(, D β y(d, y(t = G(t, f(, y(, D β y(d. (4 Where G(t, i the Green function defined by: (t ] α 1 tα 1 1 (1 r γ 1 (r α 1 dr Γ(γ (1 α 1, if < t G(t, = t ] α 1 1 (1 r γ 1 (r α 1 dr Γ(γ (1 α 1, if t < 1 Thu, we complete the proof. Next, we define the pace X = { y(t C, 1] : D β y(t C, 1] },

4 SHAYMA ADIL MURAD AND SAMIR BASHIR HADID JFCA-212/3 endowed with the norm : i a Banach pace. y X = max t,1] y(t max t,1] D β y(t Lemma 2.712] (X,. X i a Banach pace. Let u et the following notation for convenience: w 1 = max t,1] G(t, a( d, w 2 = (t α β 1 a(d Γ(γ (1 α 1 a(d, (1 r γ 1 (r α 1 a(drd ( (1 Γ(α γ 1 Γ(α 1 Λ 1 =, Γ(α 1Γ(α γ 1 ( αγ(α γ 1 (α βγ(α 1 (α βγ(α γ 1 Λ 2 =. α(α βγ(α γ 1 3. Main Reult Our main reult of thi paper i a follow: Theorem 3.1 Let f :, 1] R R R be a continuou and aume that the following condition i atified: (H1 There exit a nonnegative function a(t L 1 (, 1] uch that: f(t, x, y a(t b 1 x ρ1 b 2 y ρ2, where b 1, b 2 and < ρ i < 1 for i = 1, 2. Then the problem(1 and (2 ha a olution. Proof: In order to ue Schauder fixed point theorem, to prove our main reult, we define U = {y(t X : y X R, t, 1]}. A firt tep, we hall prove that: T : U U. We have (T y(t = G(t, f(, y(, D β y( d, G(t, a( d G(t, d,

JFCA-212/3 EXISTENCE AND UNIQUENESS THEOREM 5 ( G(t, a( d tα 1 Γ(α 1 (t α 1 d tα 1 (1 r γ 1 (r α 1 drd Γ(γ tα 1 (1 α 1 d (b 1 R ρ1 b 2 R ρ2, ( t α G(t, a( d Γ(α 1 tα 1 (1 r γ 1 (r α 1 drd Γ(γ. Let u = r and dr = (1 du, we get 1 ( 1 G(t, a( d Γ(α 1 Γ(γ (1 αγ 1 d ( 1 G(t, a( d Γ(α 1 β(γ, α, (α γγ(γ ( 1 G(t, a( d Γ(α 1 Γ(α γ 1 ( (1 Γ(α γ 1 Γ(α 1 G(t, a( d Γ(α 1Γ(α γ 1, (1 u γ 1 u α 1 du,, and (D β T y(t (T y(t w 1 Λ 1 (b 1 R ρ1 b 2 R ρ2, (t α β 1 f(, y(, D β y( d tα β 1 Γ(γ (1 r γ 1 (r α 1 f(, y(, D β y( drd tα β 1 (t α β 1 a(d tα β 1 Γ(γ tα β 1 Γ(γ tα β 1 (1 α 1 f(, y(, D β y( d, (1 r γ 1 (r α 1 drd tα β 1 (1 r γ 1 (r α 1 a(drd ( (1 α 1 (t α β 1 a(d d (1 α 1 d,

6 SHAYMA ADIL MURAD AND SAMIR BASHIR HADID JFCA-212/3 (t α β 1 a(d Γ(γ 1 ( (1 α 1 a(d (t α β 1 a(d Γ(γ (D β T y(t ( (1 α 1 a(d (t α β 1 (1 r γ 1 (r α 1 a(drd t α β Γ(α β 1 t α β 1 β(α, γ (α γγ(γ tα β 1 α 1 Γ(α β 1 a(d Γ(γ (1 r γ 1 (r α 1 a(drd Γ(α γ 1 (1 r γ 1 (r α 1 a(drd (1 α 1 ( αγ(α γ 1 (α βγ(α 1 (α βγ(α γ 1, α(α βγ(α γ 1 Therefore (D β T y(t w 2 Λ 2, T y X = max T y max t,1] t,1] Dβ y(t, T y X w 3 Λ 3 R 3 R 3 R 3 R. Where w 3 = w 1 w 2, and Λ 3 = Λ 1 Λ 2. So, we conclude that T y X R. Since T y, D β T y are continuou on,1], therefor, T : U U. Now, we how that T i completely continuou operator. For thi purpoe we fix M = max t,1] f(, y(, D β y(, where y U, and t, τ, 1], with t < τ, then tα 1 T (y(t T (y(τ = M M (t α 1 d (1 α 1 d M ( 1 Γ(γ τ G(t, G(τ, f(, y(, D β y( d, G(t, G(τ, d, tα 1 Γ(γ α 1 τ (τ α 1 d Γ(γ α 1 τ 1 τ (1 α 1 d, (1 r γ 1 (r α 1 drd (1 r γ 1 (r α 1 drd (t α 1 d (τ α 1 d M tα 1 τ α 1 (1 r γ 1 (r α 1 drd (1 α 1 d, (b 1 R ρ1 b 2 R ρ2,, α

JFCA-212/3 EXISTENCE AND UNIQUENESS THEOREM 7 and tα β 1 M tα τ α M tα 1 τ α 1 ( β(α, γ Γ(α 1 (α γγ(γ 1, α M tα τ α ( M t α 1 τ α 1 1 Γ(α 1 Γ(α γ 1 1, α D β T (y(t D β T (y(τ = tα β 1 Γ(γ α β 1 τ (1 α 1 f(, y(, D β y(d Γ(γ τ α β 1 (t α β 1 f(, y(, D β y(d (1 r γ 1 (r α 1 f(, y(, D β y(drd τ (τ α β 1 f(, y(, D β y(d (1 r γ 1 (r α 1 f(, y(, D β y(drd (1 α 1 f(, y(, D β y(d, τ M (t α β 1 d (τ α β 1 d M tα β 1 τ α β 1 ( 1 (1 r γ 1 (r α 1 drd (1 α 1 d, Γ(γ M tα β τ α β M tα β 1 τ α β 1 ( β(α, γ Γ(α β 1 (α γγ(γ 1, α M tα β τ α β M tα β 1 τ α β 1 ( Γ(α β 1 Γ(α γ 1 1. α Since the function t α β 1, t α β, t α 1, and t α are uniformly continuou on, 1]. Therefore, it follow from the above etimate that T U i an equicontinuou et. Alo, it i uniformly bounded a T U U. Thu, we conclude that T i completely continuou operator. Theorem 3.2 Letf :, 1] R R R be a continuou. Aume that one of the following condition i atified: (H2 There exit a contant k > uch that f(t, x, y f(t, x, ȳ k ( x x y ȳ for each t, 1] and all x, y, x, ȳ R. (H3 ε = max {kλ 1, kλ 2 }. Then the problem (1 and (2 ha unique olution. Proof: Let x, y X, by (H2, we have T (x(t T (y(t = k G(t, f(, x(, D β x( f(, y(, D β y( d, G(t, x( y( D β x( D β y( ] d,

8 SHAYMA ADIL MURAD AND SAMIR BASHIR HADID JFCA-212/3 and ( 1 k Γ(α 1 (x y(t D β (x y(t ], Γ(α γ 1 T (x(t T (y(t kλ 1 (x y(t D β (x y(t ], D β T (x(t D β T (y(t tα β 1 Γ(γ tα β 1 (t α β 1 f(, x(, D β x( f(, y(, D β y( d (1 r γ 1 (r α 1 f(, x(, D β x( f(, y(, D β y( drd (1 α 1 f(, x(, D β x( f(, y(, D β y( d, t α β k Γ(α β 1 t α β 1 ] β(α, γ (α γγ(γ tα β 1 (x y(t D β (x y(t ], α ( αγ(α γ 1 (α βγ(α 1 (α βγ(α γ 1 (x k y(t D β (x y(t ], α(α βγ(α γ 1 then D β T (x(t D β T (y(t kλ 2 (x y(t D β (x y(t ], T (x(t T (y(t kλ 1 (x y(t D β (x y(t ], D β T (x(t D β T (y(t kλ 2 (x y(t D β (x y(t ], T (x(t T (y(t X = max T (x(t T (y(t max t,1] t,1] Dβ T (x(t D β T (y(t, T (x(t T (y(t X ε x y. Hence, we conclude that the problem (1 and (2 ha a unique olution by the contraction mapping principle. Thi end the proof. Next we give an example that atify the above theorem: 4. Example Conider the following boundary value problem: Then Let = { 3 D 2 y(t = f(t, y(t, D 1 2 y(t, t (, 1, y( =, y(1 = I 1 2 1 y( (5 1 ] 1 = 1 Γ( 3 2 ] 1 Γ(α γ Γ( 3 2 1 2 = 8.789425823. f(t, y(t, D 1 2 y(t = t 6 e t 1(1 e t y(t D 1 2 y(t,

JFCA-212/3 EXISTENCE AND UNIQUENESS THEOREM 9 and k = 1 15, by a direct calculation, we get ( (1 Γ(α γ 1 Γ(α 1 Λ 1 = = 11.758835689, Γ(α 1Γ(α γ 1 and kλ 1 =.78392237928 < 1. Similarly ( αγ(α γ 1 (α βγ(α 1 (α βγ(α γ 1 Λ 2 = = 1.75433127139516, α(α βγ(α γ 1 and kλ 2 =.7169553418 < 1. ε = max {kλ 1, kλ 2 } = max {.78392237928,.7169553418} =.78392237928 < 1. Therefore, by Theorem 3.2, the boundary value problem (5 ha a unique olution. Reference 1] A. A. Kilba, H. M. Srivatava, and J. J. Trujillo, Theory and Application of Fractional Differential Equation, North-Holland Mathematic Studie, Elevier Science B.V., Amterdam, The Netherland,Vol. 24,(26. 2] A. M. EL-Sayed and E.O. Bin-Taher, Poitive Nondecreaing olution for a Multi-Term Fractional-Order Functional Differential Equation With Integral Condition, Electronic Journal of Dierential Equation, Vol. 211, No. 166, pp. 18, (211. 3] B. Ahmed and J. Nieto, Exitence Reult for nonlinear boundary value problem of fractional integrodifferential equation with integral boundary condition, Hindawi Publihing Corporation Boundary Value problem., Volume29, ArticleID 78576,pp.1-11, (29. 4] I. Podlubny, Fractional differential equation, Academic Pre, 1999. 5] M. Benchohra and F. Ouaar,Exiyence Reult for nonlinear fractional differential equation with integral boundary condition, Bullten Of Mathematical analyi and Application, Vol.2 Iue4, pp.7-15, (21. 6] Meng. Hu and L. Wang, Exitence of olution for a nonlinear fractional differential equation with integral boundary condition, International Journal of Mathematical and Computer Science, (7(1 (211. 7] R. W. Ibrahim, Exitence and uniquene of holomorphic olution for fractional Cauchy problem, J. Math. Anal. Appl. 38, pp.232-24, (211. 8] S. B. Hadid, Local and global exitence theorem on differential equation of non-integer order, J. Fractional Calculu, Vol. 7, pp.11-15, May (1995. 9] Shaher M. Momani, Local and global exitence theorem on fractional integro-differential equation, Journal of Fractional Calculu, Vol. 18, pp.81-86, (2. 1] Shayma A. Murad, Huein J.Zekri and Samir Hadid, Exitence and Uniquene Theorem of Fractional Mixed Volterra-Fredholm Integrodifferential Equation with Integral Boundary Condition, International Journal of Differential Equation, Volume 211, Article ID 3457, 15 page. 11] S. G. Samko, A. A. Kilba, and O. I. Marichev, Fractional Integral and Derivative: Theory and Application, Gordon and Breach Science, Yverdon, Switzerland, (1993. 12] X. W. Su, Boundary value problem for a coupled ytem of nonlinear fractional differential equation, Appl. Math. Lett. 22, pp.64-69, (29. Shayma Adil Murad Department of Mathematic, Faculty of Science, Duhok Univerity, Kurditan, Iraq. Samir Bahir Hadid Department of Mathematic and Baic Science, College of Education and Baic Science, Ajman Univerity of Science and Technology, UAE.