pure and applied mathematics letters

0 downloads 0 Views 1MB Size Report
Pure and Applied Mathematics Letters 2(2014)1-6. Fixed point theorem applied to a fractional boundary value problem. Assia Guezane-Lakoud. 1. , AllaberenΒ ...
P A M L December 2014

PURE AND APPLIED MATHEMATICS LETTERS An International Journal

Fixed point theorem applied to a fractional boundary value problem by Assia Guezane-Lakoud, Allaberen Ashyralyeval

HCTM Technical Campus P A M L December 2 0 1 4

Pure and Applied Mathematics Letters 2(2014)1-6

Contents lists available at HCTM, Technical Campus

Pure and Applied Mathematics Letters Journal homepage: www.pamletters.org

ISSN 2349-4956

Fixed point theorem applied to a fractional boundary value problem Assia Guezane-Lakoud1, Allaberen Ashyralyev2 1

Departement of Mathematics, Faculty of Sciences, Badji Mokhtar-Annaba University, P.O. Box 12, 23000 Annaba, Algeria

2

Departe Department of Mathematics, Fatih University 34500Buyucekmece, Turkey, ITTU, Ashgabat, Turkmenistan

Abstract This paper concerns the existence of positive of solutions for a class of fractional boundary value problems with an integral condition. To prove our results, we use a cone fixed point theorem due to Guo-Krasnoselskii. Keywords: Integral condition, Fractional Caputo derivative, Positive solution, Fixed point theorem. AMS subject classification: 34B10, 26A33, 34B15.

Article Information: Received 08.06.2014

Revised 11.07.2014

Accepted 11.07.2014

Manuscript No. PAML-0801062014

Communicated by Prof. V. K. Kaushik

1. Introduction and Background Fractional boundary value problems have been widely studied in the last decades and many monographs and books are devoted to this subject see [1-11, 14, 15, 17-20, 24, 27, 28, 31, 33], this is due to their numerous advantages such description of memory and hereditary properties of various materials and processes. Many phenomena in viscoelasticity, electrochemistry, electromagnetism, control theory, etc., can be modelled as fractional differential equations. We refer the reader to [12, 24, 29, 30, 32] and the references therein for some their applications. Fractional and ordinary boundary value problems with integral conditions have been investigated by many authors [3,9,1517,19,35,36], we can cite the paper [3], where Ahmad et al. studied a Caputo fractional boundary value problem involving integro-differential equation with integral conditions 𝑑

π‘ž

𝐷0+ 𝑒 𝑑 = 𝑓 𝑑, 𝑒, 1

𝛼𝑒 0 + 𝛽𝑒′ 0 = 0

𝑔 𝑠, 𝑒 𝑠 𝑑𝑠 , 0 < 𝑑 < 1,1 < π‘ž < 2, 0

π‘ž1 𝑒 𝑠 𝑑𝑠, 𝛼𝑒 1 + 𝛽𝑒′ 1 =

1 0

π‘ž2 𝑒 𝑠 𝑑𝑠.

Under some conditions on the given terms, the authors investigated the existence and nonexistence of positive solutions with the application of some fixed point theorems. Note that many problems in natural sciences require a notion of positivity, only non-negative densities, population sizes or probability make sense in real life. Integral conditions come up when values of the function on the boundary are connected to its values inside the domain or when direct measurements on the boundary are not possible. The presence of an integral term in the boundary condition leads to great difficulties. In the interesting paper [16], Infante considered the following nonlinear ordinary boundary value problem ___________________ Corresponding author: Assia Guezane-Lakoud, Mob. No. , E-mail addresses: [email protected]

1

𝑒′′ 𝑑 = 𝑓 𝑑, 𝑒 𝑑 , 0 < 𝑑 < 1, 1

𝑒′ 0 = 0, 𝑒 1 =

𝑔 𝑠, 𝑒 𝑠 𝑑𝑠, 0

and proved the existence of positive solutions by means of the well known fixed point index for compact maps. In present paper, we will investigate the existence of positivity of solution of the following fractional boundary value problem π‘ž

𝐷0+ 𝑒 𝑑 = 𝑓 𝑑, 𝑒 𝑑 , 0 < 𝑑 < 1,1 < π‘ž < 2 1

𝑒 0 = 0, 𝑒 0 βˆ’ 𝛼𝑒 1 =

𝑔 𝑠, 𝑒 𝑠 𝑑𝑠.

β€²

0 π‘ž

𝐷0+ 𝑒 𝑑 = 𝑓 𝑑, 𝑒 𝑑 , 0 < 𝑑 < 1,1 < π‘ž < 2 1

𝑃

𝑒′ 0 = 0, 𝑒 0 βˆ’ 𝛼𝑒 1 =

𝑔 𝑠, 𝑒 𝑠 𝑑𝑠.

;

0 π‘ž ℝ, 𝐷0+

where 𝑓: [0,1] Γ— ℝ β†’ ℝ is a given function,𝛼 ∈ denotes the Caputo's fractional derivative of order π‘ž. To solve the problem (P), we apply a fixed point theorem due to Guo- Krasnoselskii. The organization of this paper is as follows. In section 2, we provide necessary background. Section 3, is devoted to the existence of positive solutions on a cone under some sufficient conditions on the nonlinear term. We achieve the paper with an example.

2. Background and Preliminaries We present some definitions from fractional calculus theory [24], which will be needed later. Definition 2.1 The Riemann-Liouville fractional integral of order 𝛼 of a function 𝑔 is defined by 𝐼0𝛼+ 𝑔 𝑑 =

1 𝛀(𝛼)

𝑑 π‘Ž

𝑔(𝑠) 𝑑𝑠. (𝑑 βˆ’ 𝑠)1βˆ’π›Ό

Definition 2.2 The Caputo fractional derivative of order π‘ž of g is defined by π‘ž

𝐷0+ 𝑔 𝑑 =

1 ; 𝛀(𝑛 βˆ’ π‘ž)

where n= [q] +1 ([q] is the entire part of q).

Lemma 2.1 For q > 0, the homogenous fractional differential equation β‹― 𝑐𝑛 𝑑 π‘›βˆ’1 , where, 𝑐𝑖 ∈ ℝ; 𝑖 = 0, . . . , 𝑛 and 𝑛 = [π‘ž] + 1. π‘ž

π‘ž

𝑝

π‘ž

𝐷0+ 𝑔 𝑑 = 0 has a solution 𝑔 𝑑 = 𝑐1 + 𝑐2 𝑑 +

𝑝+π‘ž

π‘ž

π‘ž

Lemma 2.2 Let 𝑝, π‘ž β‰₯ 0, 𝑓 ∈ 𝐿1 π‘Ž, 𝑏 . Then 𝐼0𝑃+ 𝐼0+ 𝑓 𝑑 = 𝐼0+ 𝐼0+ 𝑓 𝑑 = 𝐼0+ 𝑓 𝑑 and 𝐷0+ 𝐼0+ 𝑓 𝑑 = 𝑓 𝑑 , π‘“π‘œπ‘Ÿ π‘Žπ‘™π‘™ 𝑑 ∈ π‘Ž, 𝑏 . Define the functional space 𝐸 as the Banach space of all function 𝑒 ∈ 𝐢 0,1 into ℝ with the norm π‘šπ‘Žπ‘₯π‘‘βˆˆ 0,1 𝑒 𝑑 .

, where

𝑒 =

Now assume that Ξ± β‰  1 and consider the nonlocal boundary value problem for the linear non-homogeneous equation π‘ž

𝐷0+ 𝑒 𝑑 = 𝑦 𝑑 ,

1

𝑒′ 0 = 0, 𝑒 0 βˆ’ 𝛼𝑒 1 =

𝑔 𝑠 𝑑𝑠. 0

Using Lemma 2.1, we get π‘ž

𝑒 𝑑 = 𝐼0+ 𝑦 𝑑 + π‘Ž + 𝑏𝑑. From the nonlocal boundary conditions, it yields π‘ž

𝑒 𝑑 = 𝐼0+ 𝑦 𝑑 +

𝛼 π‘ž 1 𝐼0+ 𝑦 1 + 1βˆ’π›Ό 1βˆ’π›Ό

1

𝑔 𝑠 𝑑𝑠. 0

Therefore 𝑒 𝑑 =

1 𝛀(π‘ž)

𝑑

π‘‘βˆ’π‘  0

π‘žβˆ’1

𝑦 𝑠 𝑑𝑠 +

𝛼 1βˆ’π›Ό

1

1βˆ’π‘  0

π‘žβˆ’1

𝑦 𝑠 𝑑𝑠 +

1 1βˆ’π›Ό

1

𝑔 𝑠 𝑑𝑠 , 0

2

that can be written as 𝑒 𝑑 =

1 𝛀(π‘ž)

1

𝐺(𝑑, 𝑠)𝑦 𝑠 𝑑𝑠 + 0

1 1βˆ’π›Ό

1

𝑔 𝑠 𝑑𝑠 , 0

where π‘‘βˆ’π‘ 

𝐺 𝑑, 𝑠 =

π‘žβˆ’1

+

𝛼 1βˆ’π‘  1βˆ’π›Ό

𝛼 1βˆ’π‘  1βˆ’π›Ό

π‘žβˆ’1

π‘žβˆ’1

,0 ≀ 𝑠 ≀ 𝑑 ≀ 1

, 0 ≀ 𝑑 ≀ 𝑠 ≀ 1.

Define the integral operator 𝑇: 𝐸 β†’ 𝐸 by 𝑇𝑒 𝑑 =

1 𝛀(π‘ž)

1

𝐺(𝑑, 𝑠)𝑓 𝑠, 𝑒(𝑠) 𝑑𝑠 + 0

1 1βˆ’π›Ό

1

𝑔 𝑠, 𝑒(𝑠) 𝑑𝑠 0

. Lemma 2.3 The function 𝑒 ∈ 𝐸 is a solution of the boundary value problem (P) if and only if 𝑇𝑒 𝑑 = 𝑒 𝑑 for all 𝑑 ∈ 0,1 . From here we see that to solve the problem (P) it remains to prove that the map T has a fixed point in E.

3. Existence of positive solutions Definition 3.1 A function 𝑒 is called positive solution of problem (P) if 𝑒 𝑑 β‰₯ 0, βˆ€ 𝑑 ∈ 0,1 and it satisfies the equation and the boundary conditions in (P). To study the existence of positive solution of problem (P), first, we will introduce a positive cone constituting of continuous positive functions or some suitable subset of it. Second, we will impose suitable assumptions on the nonlinear terms such that the hypotheses of the cone theorem are satisfied. Third, we will apply a fixed point theorem to conclude the existence of a positive solution in the annular region. We give the definition of a cone

Definition 3.2 A nonempty subset P of a Banach space E is called a cone if P is convex, closed and satisfies the conditions 𝛼π‘₯ ∈ 𝑃 for all π‘₯ ∈ 𝑃 and 𝛼 ∈ ℝ+ π‘₯, βˆ’π‘₯ ∈ 𝑃 imply π‘₯ = 0.

(i) (ii)

To define a cone for our study we need the properties of function G. Lemma 3.1 We have the following two properties in the case0 < 𝛼 < 1: (i)

𝐺 𝑑, 𝑠 ∈ ∁ 0,1 Γ— 0,1 , 𝐺 𝑑, 𝑠 β‰₯ 0 π‘“π‘œπ‘Ÿ 𝑑, 𝑠 ∈ 0,1

(ii)

𝛼𝛾 𝑠 ≀ 𝐺 𝑑, 𝑠 ≀ 𝛾 𝑠 for all 𝑑, 𝑠 ∈ 0,1 , where 𝛾 𝑠 =

(1βˆ’π‘ )π‘ž βˆ’1 . 1βˆ’π›Ό

Proof From the expression of 𝐺 we easily show that 𝐺 is continuous and positive for 𝑑, 𝑠 ∈ 0,1 . The statement (ii) is proved by using the fact that 𝑑 ≀ 1. The following result can be easily proved by using Lemma 3.1. Lemma 3.2 If u is solution of the problem (P) and0 < 𝛼 < 1, then π‘šπ‘–π‘›t∈ 0,1 u t β‰₯ Ξ± u . From here we can choose the cone K as𝐾 = 𝑒 ∈ 𝐸, 𝑒 β‰₯ 0, π‘šπ‘–π‘›t∈ 0,1 u(t) β‰₯ Ξ± u . Now we state the assumptions that will be used to prove the existence of positive solutions: 𝐻1 𝐻2

𝑓 𝑑, 𝑒 𝑑 1 0

= π‘Ž 𝑑 𝑓1 𝑒 𝑑

and 𝑔 𝑑, 𝑒 𝑑

= 𝑏 𝑑 𝑔1 𝑒 𝑑 , where π‘Ž, 𝑏 ∈ 𝐿1 0,1 , ℝ+ and 𝑓1 , 𝑔1 ∈ ∁ ℝ+ , ℝ+ .

1 βˆ’ s q a s ds > 0, there exists a constante 𝛿 > 0, such that 𝑔1 π‘₯ ≀ 𝛿π‘₯, βˆ€π‘₯ ∈ ℝ+ and 𝑏

𝐿1