Existence and uniqueness results for q-fractional difference equations with p-laplacian operators

Transcription

1 Mardanov et al. Advances in Difference Equations 25) 25:85 DOI.86/s R E S E A R C H Open Access Existence and uniqueness results for q-fractional difference equations with p-laplacian operators Misir J Mardanov, Nazim I Mahmudov 2* and Yagub A Sharifov 3 * Correspondence: nazim.mahmudov@emu.edu.tr 2 Eastern Mediterranean University, Gazimagusa, TRNC, Mersin, Turkey Full list of author information is available at the end of the article Abstract In this paper, we consider the following two-point boundary value problem for q-fractional p-laplace difference equations. New results on the existence and uniqueness of solutions for q-fractional boundary value problem are obtained. These results extend the corresponding ones of ordinary differential equations of integer order. Finally, an example is presented to illustrate the validity and practicability of our main results. Keywords: fractional differential equations; existence; fixed point Introduction Fractional q-difference q-fractional difference) equations are regarded as the fractional analog of q-difference equations. The topic of q-fractional equations has attracted the attention of many researchers. The details of some recent development of the subject can be found in [ 8], whereas the background material on q-fractional calculus can be found in [9, 2]. The study of boundary value problems of fractional q-difference equations is in its infancy. In 2, Ferreira [] considered the existence of nontrivial solutions to the fractional q-difference equation D α q, +xt)=f t, xt) ), t, x) = x) =, where < α 2andf :[,] R R is a nonnegative continuous function. In 2, El-Shahed and Al-Askar [2] studied the existence of a positive solution for the boundaryvalueproblemofthenonlinearfactional q-difference equation C D α q, +xt)+at)f t, xt) ) =, t, 2 < α 3, x) = D 2 q x) =, γ D qx) + βd 2 qx) =. In 22, Liang and Zhang [3] studied the existence and uniqueness of positive solutions for the three-point boundary problem of fractional q-differences C D α q, +xt)+f t, xt) ) =, t, 2 < α 3, 25 Mardanov et al. This article is distributed under the terms of the Creative Commons Attribution 4. International License which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original authors) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

2 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 2 of 3 x) = D q x) =, D q x) βd q xη)=, where < βη α 2 <. In 23, Zhao et al. [4] studied the existence results for fractional q-difference equations with nonlocal q-integral boundary conditions, D α q, +xt)+f t, xt) ) =, t, 2 < α 3, x) =, x) = μxη)=μ η η q qs) β us) ds. Ɣ q β) For some recent work on q-difference equations with p-laplacian, we refer the reader to [5 8]. In [5], Aktuğlu and Özarslan dealt with the following Caputo q-fractional boundary value problem involving the p-laplacianoperator: D q ϕp C D α q xt))) = f t, xt) ), <t <, D k q x) =, k =2,3,...,n, x) = a x), D q x) = a D q x), where a, a,α >,andf C[, ] R, R). Under some conditions, the authors obtained the existence and uniqueness of the solution for the above boundary value problem by using the Banach contraction mapping principle. In [6], Miao and Liang studied the following three-point boundary value problem with p-laplacian operator: C D β C q ϕp D α q xt))) = f t, xt) ), <t <,2<α <3, x) = D q x) =, D q x) =, D β q u) =, where < βγ α 2 <. The authors proved the existence and uniqueness of a positive and nondecreasing solution for the boundary value problems by using a fixed point theorem in partially ordered sets. In [7], Yang investigated the following fractional q-difference boundary value problem with p-laplacian operator: C D β C q ϕp D α q xt))) = f t, xt) ), <t <,2<α <3, x) = x) =, C D α q x) = C D α q x) =, where < α, β 2. The existence results for the above boundary value problem were obtained by using the upper and lower solutions method associated with the Schauder fixed point theorem. Very recently, in [8], Yuan and Yang considered a class of four-point boundary value problems of fractional q-difference equations with p-laplacianoperator D β q ϕp D α q xt) )) = f t, xt) ), <t <,2<α <3, x) =, x) = axξ, D α q x) =, Dα q x) = bdα q xη),

3 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 3 of 3 where D β q, D α q are the fractional q-derivative of the Riemann-Liouville type with < α, β 2. By applying the upper and lower solutions method associated with the Schauder fixed point theorem, the existence results of at least one positive solution for the above fractional q-difference boundary value problem with p-laplacianoperator are established. However, the theory of boundary value problems for nonlinear q-difference equations is still in the initial stages and many aspects of this theory need to be explored. To the best of our knowledge, the theory of boundary value problems for nonlinear q-difference equations with p-laplacian is yet to be developed. Motivated by the previously mentioned works, we will consider the existence of solutions of q-fractional p-laplacian BVP with two-point boundary conditions. The main difficulty is that, for p 2, it is impossible for us to find a Green s function in the equivalent integral operator since the differential operator D β q, +ϕ pd α q, +) is nonlinear. This paper is concerned with the BVP C D β q, +ϕ p C D α q, +x)t)=f t, xt)), t [, ], x) = γ x), ) C D α q x) = η C D α q, +x), where ϕ p s):= s p 2 s, p >,ϕ p = ϕ ν, p + =,<α, β, < α + β 2, < γ, η <,by ν using some known fixed point theorems. To make this paper self-contained, below we recall some well-known facts on q-calculus see [9, 2] and references therein) and on fractional q-calculus. In what follows, q is a real number satisfying < q <.Wedefinetheq-derivative of a real valued function f as D q f t)= f t) fqt), D q f ) = lim D q f t). q)t t Higher order q-derivatives are given by D q f t)=f t), Dn q f t)=d qd n q f t), n N. The q-integral of a function f defined in the interval [, t] is given by I q f t)= t f s) d q s = t q)q n f xq n), n= provided the series converges. If < a < b and f is defined on the interval [, b], then b a f s) d q s = Similarly, we have b f s) d q s a f s) d q s. I q f t)=f t), In q f t)=i qi n q f t), n N. Observe that the operators I q and D q are inverses of each other, in the sense that D q I q f t)=f t), 2)

4 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 4 of 3 and if f is continuous at t =,then I q D q f t)=f t) f ). In q-calculus, the product rule and integration by parts formula are D q gh)t)=d q gt)ht)+gqt)d q ht), 3) x f t)d q gt) d q t = [ f t)gt) ] x x D q f t)gqt) d q t. 4) In the limit q the above results correspond to their counterparts in standard calculus. A q-number denoted by [a] q is defined by [a] q := qa q, a R. The q-shifted factorial is defined as n a; q) =, a; q) n = aq j ), n N { }. The q-analog of the x y) n is j= n x q y) := ; x q y) n := x yq j ), n N, x, y R, x q y) α := x α j= j= x yq j, α R. x yqα+j The q-gamma function Ɣ q x)isdefinedas Ɣ q x)= q q) x, y R\{,, 2,...}, q) x and it satisfies [x] q Ɣ q x)=ɣ q x +). Definition Let f be a function defined on [, ]. The fractional q-integral of the Riemann-Liouville type of order α isiq f t)=ft)and t Iq, α +f t):= t q qs) α f s) d q s, α >,t [, ]. Ɣ q α) The q-fractional integration possesses the semigroup property: Further, I β q, +Iα q, +f t)=iβ+α q, + f t), α, β R+. I β q, +xσ = Ɣ qσ +) Ɣ q β + σ +) xβ+σ.

5 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 5 of 3 Definition 2 The Caputo fractional q-derivative of order β > is defined by C D β q, +f t)=i β β q, + D β q, +f t), where β is the smallest integer greater than or equal to β. Next we recall some properties involving Riemann-Liouville q-fractional integral and Caputo fractional q-derivative [2], Theorem 5.2): β I β C q, + D β q, +f t)=ft) k= t k D k Ɣ q k +) q f ) +), t, a], β >; 5) C D β q, +Iβ q, +f t)=ft), t, a], β >. 6) The following properties of the p-laplacian operator will be used in the rest of the paper. L) If <p <2, uv >; u, v r >,then ϕ p u) ϕ p v) p )r p 2 u v. L2) If p >2, u, v R,then ϕ p u) ϕ p v) p )R p 2 u v. Next we present the fixed point theorems that will be used in the proofs of our main results. Theorem 3 Banach fixed point theorem) Let X, d) be a complete metric space, and let : X X be a contraction mapping. Then admits a unique fixed point X. Theorem 4 Let E be a Banach space, Caclosed, convex subset of E and U Canopen subset with U. Let F : U C be a continuous function such that FU) is contained in acompactset. Then either. F has a fixed point in U, or 2. there exist u U and λ, ) with u = λfu). 2 Main results As mentioned before, we will discuss the existence and uniqueness) of solutions for the nonlinear q-fractional p-laplacian BVP with two-point boundary conditions. In what follows we assume that < p <2,ν >2. Lemma 5 Given f C[, ], theuniquesolutionof C D β q, +ϕ p C D α q, +x)t)=f t), t [, ], x) = γ x), 7) C D α q, +x) = η C D α q, +x),

6 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 6 of 3 is xt)= Ɣ q α) t ϕ ν Ɣ q β) + γ γ t q qs) α ϕ ν Ɣ q β) s q qτ) β f τ) dτ + ϕ ) pη) ϕ p η) Iβ q, +f ) d q s q qs) α s q qτ) β f τ) dτ + ϕ ) pη) ϕ p η) Iβ q, +f ) d q s. Proof Assume that xt)satisfies7). Then from 5)wehave ϕ p C D α q, +xt)) = I β q, +f t)+c, c R. From the boundary condition C D α q, +x) = η C D α q, +x), one can see that ϕ p C D α q, +x)) = c, ϕ p η)= η p 2 η, ϕ p C D α q, +x)) = I β q, +f ) + c, ϕ p η C D α q, +x)) = ϕ p η)i β q, +f ) + c ϕ p η), ϕ p η)i β q, +f ) + c ϕ p η)=c, c = ϕ pη) ϕ p η) Iβ q, +f ). Thus xt)=iq, α +ϕ β ν I q, +f )+c ) t)+c, which together with the boundary value condition x) =γ x) yields c = γ Iq, α +ϕ β ν I q, +f ) + c ) ) + c, c = γ Iα q, +ϕ νi β q, +f + c )). γ It follows that xt)=i α q, +ϕ ν I β q, +f + + γ γ Iα q, +ϕ ν ϕ pη) ϕ p η) Iβ q, I β q, +f ++ ϕ ) +f ) t) pη) ϕ p η) Iβ q, ) +f ) ). The converse is clear. The proof is completed. We denote by C[, ] the Banach space of all continuous functions from [, ] to R endowed with a topology of uniform convergence with the norm defined by x := max { xt) : t }.

7 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 7 of 3 We use Lemma 5 to define an operator : C[, ] C[, ] by x)t)= Ɣ q α) t ϕ ν Ɣ q β) + γ γ t q qs) α Ɣ q α) ϕ ν Ɣ q β) s q qτ) β f τ) dτ + ϕ pη) ϕ p η) Iβ q, +f ) q qs) α s q qτ) β f τ) dτ + ϕ pη) ϕ p η) Iβ q, +f ) ) d q s ) d q s. 8) Observe that the problem ) has a unique) solution if and only if the operator equation x = y has a unique) fixed point. In the sequel, we need the following operators: x)s)=ϕ ν s q qτ) β f τ, xτ) ) dτ Ɣ q β) + ϕ pη) q qτ) β f τ, xτ) ) ) dτ, ϕ p η) Ɣ q β) h)t)= It is obvious that Ɣ q α) t + γ γ Ɣ q α) t q qs) α hs) d q s q qs) α hs) d q s. : C[, ] C[, ], : C[, ] C[, ], x)t)= )xt). Set B r := { x C[, ] : x < r }. To state and prove the existence and uniqueness theorem we impose the following assumptions. A) f :[,] R R is a continuous function such that f t, x) at), at) C [, ], R + ), f t, x) f t, y) L x y, t [, ], x, y R. A2) The following inequality holds: := ν γ q β +)Ɣ q α +) η p ) ν a ν 2 <. Ɣ ν Lemma 6 Assume that the assumption A) holds.

8 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 8 of 3 i) If ν >2, then the operator satisfies the following conditions: x)t) y)t) ν )R ν 2 x)t) R ν, x y, Ɣ q β +) ηp where R := a. Ɣ q β +) ηp ii) For any x C[, ] the function x)t) is uniformly continuous on [, ]. Proof i) Set M := sup f s,), s us):=i β q, +f s, xs) ) + ηp η p Iβ q, +f, x) ), vs):=i β q, +f s, ys) ) + It is clear that ηp η p Iβ q, +f, y) ). us) I β q, +f s, xs) ) + ηp I β η p q, +f, x) ) Ɣ q β) s q qτ) β f τ, xτ) ) d q τ η p + Ɣ q β) η p q qτ) β f τ, xτ) ) d q τ It follows that Ɣ q β) a + Ɣ q β) η s q qτ) β d q τ η p a p = a := R. Ɣ q β +) ηp x)s) = ϕν us) ) R ν q qτ) β d q τ and x)t) y)t) = ϕ ν us) ) ϕp vs) ) ν )R ν 2 us) vs) ν )R ν 2 s Ɣ q β) s q qτ) β f τ, xτ) ) dτ s q qτ) β f τ, yτ) ) dτ

9 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 9 of 3 η p +ν )R ν 2 Ɣ q β) η p q qτ) β f τ, xτ) ) dτ q qτ) β f τ, yτ) ) dτ ν )R ν 2 x y. Ɣ q β +) ηp ii) We have x)t ) x)t 2 ) = ϕν ut ) ) ϕ p ut2 ) ) ν )R ν 2 ut ) ut 2 ) ν )R ν 2 Ɣ q β) t t q qτ) β f τ, xτ) ) t2 dτ t 2 q qτ) β f τ, xτ) ) dτ =ν )R ν 2 Ɣ q β) tβ q qs) β f t s, xt s) ) ds t β 2 q qs) β f t 2 s, xt 2 s) ) ds ν )R ν 2 β Ɣ q β) t ) tβ 2 q qs) β f t s, xt s) ) ds +ν )R ν 2 Ɣ q β) tβ 2 q qs) β f t s, xt s) ) f t 2 s, xt 2 s) )) ds. It follows that x)t)isuniformlycontinuouson[,]. The first theorem that we state follows from the Banach fixed point theorem. Theorem 7 Under the assumptions A) and A2) the boundary value problem ) has a unique solution in C[, ]. Proof The idea of the proof is to show that as defined in 8) admits a unique fixed point in C[, ]. For x, y C[, ] and for each t [, ], from the definition of and the assumptions A) and A2), we obtain x)t) y)t) = )xt) )yt) t t q qs) α x)s) y)s) d q s Ɣ q α) + γ γ Ɣ q α) γ Ɣ q α +) x y. q qs) α x)s) y)s) d q s

10 Mardanov et al. Advances in Difference Equations 25) 25:85 Page of 3 Consequently, by Lemma 6 we have x)t) y)t) ν γ q β +)Ɣ q α +) η p ) ν a ν 2 x y. Ɣ ν Taking into account that, by our assumption A2), <, we conclude that the operator is a contraction. Therefore, by the Banach contraction principle, the problem )hasa unique solution. This completes the proof of Theorem 7. For our next result, we use the Leray-Schauder alternative to ensure the existence of a solution for ). A3) f :[,] R R is a continuous function and there exist a function l C[, ], R + ) and nondecreasing functions ψ : R + R + such that f s, x) ls)ψ x ), s, x) [, ] R. A4) There exists a constant ω >such that ω > γ q β +)Ɣ q α +) η p ) ν l ν ψ ν ω). Ɣ ν Theorem 8 Under conditions A3) and A4), the boundary value problem ) has at least one solution in C[, ]. Proof Consider the operator : C[, ] C[, ] defined by 8). It is easy to show that is continuous. We complete the proof in the following steps. Step : maps bounded sets into bounded sets in C[, ]. Indeed, for x B r from A3) and Lemma 6 as)=ls)ψr)) we have x)t) = )xt) Ɣ q α) t + γ γ Ɣ q α) t q qs) α xs) dq s γ Ɣ q α +) x γ Ɣ q α +) Rν γ Ɣ ν q qs) α xs) d q s q β +)Ɣ q α +) η p ) ν l ν ψ ν r) and the result follows. Step 2: maps bounded sets into equicontinuous sets of C[, ]. Let t, t 2 [, ] with t < t 2 and x B r.thenwecanwrite x)t2 ) x)t ) = Ɣ q α) t t q qs) α x)s) d q s Ɣ q α) t2 t 2 q qs) α x)s) d q s

11 Mardanov et al. Advances in Difference Equations 25) 25:85 Page of 3 = Ɣ q α) tα q qτ) α x)t τ) d q τ t2 α q qτ) α x)t 2 τ) d q τ Ɣ q α) t α t2 α ) q qτ) α x)t τ) d q τ + Ɣ q α) tα 2 q qτ) α x)t τ) x)t 2 τ) d q τ := J. By Lemma 6 the function x)t) is uniformly continuous on [, ] and uniformly bounded on B r, it follows that lim t t 2 J =.Thus B r ) is equicontinuous. It follows from the Arzelá-Ascoli theorem that the operator : C[, ] C[, ] is compact. Step 3: has a fixed point in B ω. Let x be a solution and x = λ x, <λ <. Using the arguments of the proof of boundedness of,for t wecanwrite xt) = λ x)t) γ q β +)Ɣ q α +) η p ) ν l ν ψ ν x ). Ɣ ν Consequently, in view of A4), there exists ω >suchthat x ω. We observe that the operator : B ω C[, ] is continuous and completely continuous. From the choice of B ω,thereisnox B ω such that x = λ x for some λ, ). Consequently, we can apply a nonlinear Leray-Schauder type alternative, to conclude that has a fixed point x B ω which is a solution of the problem ). This completes the proof of Theorem 8. 3 Examples Example Consider a two-point boundary value problem of nonlinear fractional q-difference equations given by C D /2 q, +ϕ C 3/2 D 3/4 q, +xt)) = tan xt)+sin t, x) = γ x), 9) C D 3/4 q, +x) = η C D 3/4 q, +x). Corresponding to ), we get β = /2, p = 3/2, ν =3,α =3/4,andf t, x) =tan x + sin t, at)=+π/2. It is obvious that f t, x) + π 2, f t, x) f t, y) x y. We choose γ, η such that = ν γ = 2 γ ) + ϕ p η) ν Ɣq ν β +)Ɣ q α +) ϕ p η) a ν 2 ) 2 Ɣq 23π/2)Ɣ + π ) <. q7/4) η /2 2 The above facts imply that the BVP 9) satisfies all assumptions of Theorem 7 and has a unique solution.

12 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 2 of 3 Example 2 Consider 9) with a different right-hand side f t, x): C D /2 q, +ϕ C 3/2 D 3/4 q, +xt)) = cost4 +) xt) xt) t + xt) + ), 3 2 x) = γ x), ) Choosing C D 3/4 q, +x) = η C D 3/4 q, +x). f t, x)= cost4 +) x + x 3 4+t + x + ) 3 2 one can see that f t, x) lt)ψ x ), t, x) [, ] R, with lt)= cost4 +) 4+t, ψ x ) = x We may choose γ, η such that <ρ := γ q β +)Ɣ q α +) η p ) ν l ν < 6. Ɣ ν Using this one can see that there is ω >suchthat ω > ρ ω + 2) 3 2. Thus all the conditions of Theorem 8 are satisfied. Hence there exists a solution of the problem ). Competing interests The authors declare that they have no competing interests. Authors contributions All authors contributed equally to the manuscript and typed, read, and approved the final manuscript. Author details Institute of Mathematics and Mechanics of NAS of Azerbaijan, B. Vahabzade, Baku, 4, Azerbaijan. 2 Eastern Mediterranean University, Gazimagusa, TRNC, Mersin, Turkey. 3 Institute of Control Systems of NASA, Baku State University, Baku, Azerbaijan. Acknowledgements The authors would like to thank the anonymous referees for their valuable comments and suggestions. Received: 26 January 25 Accepted: 8 June 25 References. Ferreira, R: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2, 7 2) 2. El-Shahed, M, Al-Askar, F: Positive solution for boundary value problem of nonlinear fractional q-difference equation. ISRN Math. Anal. 2, Article ID )

13 Mardanov et al. Advances in Difference Equations 25) 25:85 Page 3 of 3 3. Liang, S, Zhang, J: Existence and uniqueness of positive solutions for three-point boundary value problem with fractional q-differences. J. Appl. Math. Comput. 4, ) 4. Zhao, Y, Chen, H, Zhang, Q: Existence results for fractional q-difference equations with nonlocal q-integral boundary conditions. Adv. Differ. Equ. 23, Article ID 48 23) 5. Goodrich, CS: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 6, ) 6. Ma, J, Yang, J: Existence of solutions for multi-point boundary value problem of fractional q-difference equation. Electron. J. Qual. Theory Differ. Equ. 2, 92 2) 7. Graef, JR, Kong, L: Positive solutions for a class of higher order boundary value problems with fractional q-derivatives. Appl. Math. Comput. 28, ) 8. Ahmad, B, Ntouyas, SK, Purnaras, IK: Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 22, Article ID4 22) 9. Ahmad, B, Ntouyas, SK: Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin separated) conditions. Mediterr. J. Math., ). Ahmad, B, Nieto, JJ: Basic theory of nonlinear third-order q-difference equations and inclusions. Math. Model. Anal. 8, ). Li, X, Han, Z, Sun, S: Existence of positive solutions of nonlinear fractional q-difference equation with parameter. Adv. Differ. Equ. 23, Article ID 26 23) 2. Yang, W: Positive solutions for nonlinear semipositone fractional q-difference system with coupled integral boundary conditions. Appl. Math. Comput. 244, ) 3. Agarwal,RP,Ahmad,B,Alsaedi,A,Al-Hutami,H:Existence theory for q-antiperiodic boundary value problems of sequential q-fractional integrodifferential equations. Abstr. Appl. Anal. 24,Article ID ) 4. Ahmad, B, Nieto, JJ, Alsaedi, A, Al-Hutami, H: Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Franklin Inst. 35, ) 5. Aktuğlu, H, Özarslan, M: On the solvability of Caputo q-fractional boundary value problem involving p-laplacian operator. Abstr. Appl. Anal. 23,Article ID ) 6. Miao, F, Liang, S: Uniqueness of positive solutions for fractional q-difference boundary-value problems with p-laplacian operator. Electron. J. Differ. Equ. 23, 74 23) 7. Yang, W: Positive solution for fractional q-difference boundary value problems with ϕ-laplacian operator. Bull. Malays. Math. Soc. 364), ) 8. Yuan, Q, Yang, W: Positivesolution for q-fractional four-point boundary value problems with p-laplacian operator. J. Inequal. Appl. 24, Article ID 48 24) 9. Rajković, PM, Marinković, SD, Stanković, MS: On q-analogues of Caputo derivative Mittag-Leffler function. Fract. Calc. Appl. Anal. 4), ) 2. Annaby, MH, Mansour, ZS: q-fractional Calculus and Equations. Lecture Notes in Mathematics, vol Springer, Berlin 22)