A TRUNCATED V-FRACTIONAL DERIVATIVE IN R J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 arxiv:170606164v1 [mathca] 19 Ju 2017 Abstract Usig the six parameters trucated Mittag-Leffler fuctio, we itroduce a coveiet trucated fuctio to defie the so-called trucated V-fractioal derivative type After a discussio ivolvig some properties associated with this derivative, we propose the derivative of a vector valued fuctio ad defie the V-fractioal Jacobia matrix whose properties allow us to say that: the multivariable trucated V-fractioal derivative type, as proposed here, geeralizes the trucated V-fractioal derivative type ad ca bee exteded to obtai a trucated V-fractioal partial derivative type As applicatios we discuss ad prove the chage of order associated with two idex ie, the commutativity of two trucated V-fractioal partial derivative type ad propose the trucated V-fractioal Gree s theorem Keywords: Trucated V-fractioal derivative, multivariable trucated V-fractioal derivative, trucated V-fractioal partial derivative, trucated V-fractioal Jacobia matrix, trucated V-fractioal Gree s theorem MSC 2010 subject classificatios 26A33; 26B12; 33EXX 1 Itroductio Recetly, Sousa ad Oliveira [1] itroduced the trucated V-fractioal derivative i the domai R, satisfyig classical properties of the iteger-order calculus, havig as special property, to uify five other formulatios of local fractioal derivatives of which we metio the derivatives: coformable fractioal, alterative fractioal, trucated alterative fractioal, M-fractioal ad trucated M-fractioal [2, 3, 4, 5] I 2015, Atagaa et al [6], performed a work approachig ew properties of the coformable fractioal derivative, beig the domai of the fuctios cosidered i R I 2017, Gztok ad Gztok[7] itroduced the multivariable coformable fractioal calculus, presetig iterestig results foud i R However, such a result is restricted oly to the coformable fractioal derivative I this sese, we exted our defiitio of the trucated V-fractioal derivative to the R [1], sice such a derivative formulatio uifies the remaiig five We deote this ew differetial operatorby i Vδ,p,q γ,β,α z, z R, todifferetiate fromtheoperator i Vδ,p,q γ,β,α z, z R, where the parameter α, associated with the order of the derivative is such that 0 < α < 1, where γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0 ad Reγ+p q 1
2 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 The article is orgaized as follows: i sectio 2, we preset the trucated V-fractioal derivative by meas of the trucated six parameters Mittag-Leffler fuctio Also, three theorems have bee itroduced that address liearity, product, divisibility, cotiuity, ad the α-differetiable chai rule I sectio 3, we itroduce our mai result, the multivariable trucated V-fractioal derivative as well as results that justifies its cotiuity ad uiqueess I this sese, we itroduce the V-fractioal Jacobia matrix ad itroduce ad prove two theorems dealig with: chai rule, liearity ad the product of fuctios through the α-differetiable operator I sectio 4, we preset the cocept of V-fractioal partial derivative ad discuss two applicatios ie, a theorem associated with the commutativity of two trucated V-fractioal derivatives ad V-fractioal Gree s theorem Cocludig remarks close the article 2 Preiaries We will preset the defiitio of the trucated V-fractioal derivative through the trucated six parameters Mittag-Leffler fuctio ad the gamma fuctio I this sese, we will preset theorems that relate to the cotiuity ad liearity, product, divisibility, as well as the chai rule The, we begi with the defiitio of the six parameters trucated Mittag-Leffler fuctio give by [1], i 21 ie,δ,q z = qk z k δ pk Γγk +β, k=0 beig γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0, Reγ+p q ad δ pk, qk give by 22 qk = Γ+qk, Γ a geeralizatio of the Pochhammer symbol ad Γ is the fuctio gamma From Eq21, we itroduce the followig trucated fuctio, deoted by i H,δ,q z, by meas of i 23 ih,δ,q z := Γβ ie,δ,q z = Γβ k=0 kq δ kp z k Γγk +β I order to simplify otatio, i this work, if the trucated V-fractioal derivative of order α, accordig to Eq24 below, of a fuctio f exists, we simply say that the f fuctio is α-differetiable So, we start with the followig defiitio, which is a geeralizatio of the usual defiitio of a derivative preseted as a particular it
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 3 Defiitio 1 Let f : [0, R For 0 < α < 1 the trucated V-fractioal derivative of f of order α, deoted by i Vδ,p,q γ,β,α, is defied as f t i H,δ,q ǫt α f t 24 i Vδ,p,q γ,β,αf t :=, ǫ 0 ǫ for t > 0, i H,δ,q is a trucated fuctio as defied i Eq23 ad beig γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0, Reγ+p q ad δ pk, qk give by Eq22 [1] Below, we recover three theorems the proofs ca be foud i [1] without proofs which are importat i what follows Theorem 1 If the fuctio f : [0, R is α-differetiable for t 0 > 0, with 0 < α 1, the f is cotiuous i t 0 Theorem 2 Let 0 < α 1, a,b R, γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0, Reγ+p q ad f,g α-differetiable, for t > 0 The, 1 i Vδ,p,q γ,β,α af +bgt = a i Vδ,p,q γ,β,α f t+b i Vδ,p,q γ,β,α gt 2 i Vδ,p,q 3 i Vδ,p,q γ,β,α 4 i Vδ,p,q γ,β,α γ,β,α f gt = f t i Vδ,p,q γ,β,α gt+gt i Vδ,p,q γ,β,α f t f t = gt i Vδ,p,q γ,β,α f t f t i Vδ,p,q γ,β,α gt g [gt] 2 c = 0, where ft = c is a costat 5 If f is differetiable, the i Vδ,p,q γ,β,α f t = t1 α Γβ q df t Γγ +βδ p dt 6 i Vδ,p,q γ,β,α ta = Γβ q Γγ +βδ p at a α Theorem 3 Chai rule Assume f,g : 0, R be two α-differetiable fuctios where 0 < α 1 Let γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0, Reγ+p q the f g is α-differetiable ad for all t > 0, we have for f differetiable i gt i Vδ,p,q γ,β,α f gt = f gt i Vδ,p,q γ,β,α gt, Defiitio 2 V-fractioal itegral Let a 0 ad t a Also, let f be a fuctio defied o a,t] ad 0 < α < 1 The, the V-fractioal itegral of f of order α is defied by 25 a Iδ,p,q γ,β,α f t := Γγ +βδ p Γβ q t a f x x 1 αdx, with γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0 ad Reγ+p q
4 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 Remark 1 I order to simplify otatio, i this work, the V-fractioal itegral of order α, will be deoted by Γγ +βδ b p f t b Γβ q a t 1 αdt = f td ω t a where, d ω t = Γγ +βδ p t α 1 dt Γβ q 3 V-fractioal derivative of a vector valued fuctio I this sectio, we preset our mai result, the trucated V-fractioal derivative i R ad check its cotiuity as well as the uiqueess of liear trasformatio We preset the defiitio of the trucated V-fractioal Jacobia matrix, the chai rule ad the theorem that refers to liearity ad product We coclude the sectio discussig some examples Defiitio 3 Letf beavector valuedfuctio with realvariablessuch thatfx 1,x 2,,x = f 1 x 1,x 2,,x,f 2 x 1,x 2,,x,,f m x 1,x 2,,x We say that f is α-differetiable at a = a 1,,a R where each a i > 0, if there is a liear trasformatio L : R R m such that 31 f ε a α f a 1,,a Lε = 0, where ε = ε 1,,ε, 0 < α 1, i H,δ,q is the trucated fuctio ad,δ,γ,β C, p,q > 0 with, Re > 0, Reδ > 0, Reγ > 0, Reβ > 0 ad Reγ+p q The liear trasformatio is deoted by i Vδ,p,q γ,β,αfa ad called the multivariable trucated V-fractioal derivative of f of order α at a Remark 2 Takig m = = 1 i Defiitio 3, we have 32 Lε = f a i H,δ,q εa α f a rε Dividig by ε both sides of Eq 32 ad takig the it ε 0, we have Lε f a i H,δ,q εa α f a rε = ε ε 33 f = = i Vδ,p,q γ,β,α f a, a i H,δ,q εa α ε f a rε where = 0 Thus, we coclude that, Defiitio 3 is equivalet to Defiitio 1 ε
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 5 Theorem 4 Let f be a vector valued fuctio with variables If f is α-differetiable at a = a 1,,a R with a i > 0, the there is a uique liear trasformatios L : R R m such that 34 f ε a α f a 1,,a Lε = 0, with 0 < α 1, i H,δ,q is the trucated fuctio ad,δ,γ,β C, p,q > 0 such that, Re > 0, Reδ > 0, Reγ > 0, Reβ > 0 ad Reγ+p q Proof Let M : R R m such that f ε a α f a 1,,a M ε = 0 Hece, Lε Mε Lε f f + ε a α ε a α +fa fa M ε = 0, the Lε Mε 0 If x R, the εx 0 as ε 0 Hece, for x 0 we have 0 = Lεx Mεx εx Therefore Lx = Mx We coclude that, L is uique = Lx Mx x Example 1 Let us cosider the fuctio f defied by fx,y = six ad the poit a,b R 2 such that a,b > 0, the i Vδ,p,q γ,β,α fa,b = L satisfies Lx,y = Γβ q Γγ +βδ p xa 1 α cosa
6 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 To prove this, we ote that ε 1,ε 2 0,0 = ε 1,ε 2 0,0 ε1 0 si f a i H,δ,q ε 1a α,b i H,δ,q ε 2b α si a i H,δ,q a i H,δ,q ε 1a α f a,b Lε 1,ε 2 ε 1,ε 2 ε 1a α sia Lε 1,ε 2 ε 2 1 +ε 2 2 sia Γβ q ε Γγ+βδ 1 a 1 α cosa p = 0 ε 1 Example 2 Let us cosider the fuctio f defied by fx,y = e x ad the poit a,b R 2 such that a,b > 0, the i Vδ,p,q γ,β,α fa,b = L satisfies Lx,y = Γβ q Γγ +βδ p xa 1 α e a To prove this, we ote that ε 1,ε 2 0,0 = ε 1,ε 2 0,0 ε 1 0 f a i H,δ,q ε 1a α,b i H,δ,q ε 2b α e a ih,δ,q ε 1,ε 2 ε 1 a α e a Lε 1,ε 2 ε 2 1 +ε 2 2 Γβ q a 1 α e a Γγ +βδ p = 0 e a ih,δ,q ε 1 a α e a ε 1 f a,b Lε 1,ε 2 Defiitio 4 Cosider the matrix of the liear trasformatio i Vδ,p,q γ,β,α fa : R R m with respect to the usual base of R ad R m This m matrix is called the trucated V-fractioal Jacobia matrix of f at a, ad deoted by J δ,p,q γ,β,αf a, where,δ,γ,β C, p,q > 0 with, Re > 0, Reδ > 0, Reγ > 0, Reβ > 0 ad Reγ+p q Example 3 If fx,y = six, the we have the matrix J δ,p,q γ,β,α f a,b = [ Γβ q Γγ +βδ p a 1 α cosa 0 ] Theorem 5 If a vector fuctio f with variables is α-differetiable at a = a 1,a 2,,a R, with a i > 0, the f is cotiuous at a R
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 7 Proof Note that, f f 35 + Lε 1 ε a α,,a i H,δ,q ε a α fa 1,,a fa 1,,a Lε Takig the it ε 0 i both sides of the Eq35, we have f ε a α fa 1,,a f ε a α fa 1,,a Lε + Lε Let u 1,,u = ε 1 a α 1,,ε a α, the u 0 as ε 0 Sice f a i H,δ,q fa u 0, we have, f Hece, f is cotiuous at a R a i H,δ,q fa u = 0 Theorem 6 Chai rule Let x R, y R m If fx = f 1 x,,f m x is α-differetiable at a = a 1,,a R, with a i > 0 such that α 0,1], ad gy = g 1 y,,g p y is α- differetiable at fa R m, with f i a > 0 such that α 0,1], the the compositio g f is α-differetiable at a ad 36 i Vδ,p,q γ,β,α g fa = g f a i Vδ,p,q γ,β,α f a, for g differetiable i fa ad,δ,γ,β C, p,q > 0 such that, Re > 0, Reδ > 0, Reγ > 0, Reβ > 0 ad Reγ+p q Proof Takig L = i Vδ,p,q γ,β,αf t ad M = Dgf a, where D is the derivative operator of iteger order, we defie, 37 = f ϕ ε a α ε a α fa Lε,
8 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 38 = g ψ f 1 a i H,δ,q f 1 a i H,δ,q k1 f 1 a α,,f a i H,δ,q k f a α k1 f 1 a α,,f a i H,δ,q k f a α gfa M k ad g39 fa M Lε ε a α = g f ε a α Hece, takig ε 0 ad k 0 i both sides of Eq37 ad Eq38, we have 310 = ϕ f ε a α 1,,a i H,δ,q ε a α fa Lε = 0 ad ψ k 0 g = k 0 311 f 1 a i H,δ,q k1 f 1 a α,,f a i H,δ,q k f a α f 1 a i H,δ,q k k1 f 1 a α,,f a i H,δ,q k f a α gfa M k k = 0 O the other had, takig ε 0 ad k 0 o both sides of Eq39, we will show that 312 ε a α = 0
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 9 Now, let 313 1 ε a α ε a α = g f,,a i H,δ,q gfa M Lε = g f 1 ε a α, gfa,f m ε a α f M ε a α f a ϕ ε a α = g f 1 ε a α, gfa,f m ε a α M f 1 ε a α f 1 a,,f m ε a α f m a [ ] +M ϕ ε a α If we put u j = f j ε a α f j a, with j = 1,2,,m, the we have f j ε a α = u j + f j a, ad u 0 as ε 0 Hece, usig Eq39, we have ε a α = g f 1 ε a α, gfa M,f m ε a α u [ +M ϕ ] ε a α = ψ f 1 a i H,δ,q u1 f a α,,f m a i H,δ,q um f m a α [ ] +M ϕ ε a α Thus we will show, ψ f 1 a i H,δ,q u1 f a α,,f m a i H,δ,q um f m a α 314 = 0 u 0 u
10 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 ad M 315 ϕ ε a α = 0 For Eq314, it is obvious from of Eq311 Now, for Eq315, we have M ϕ ε a α M ϕ ε a α K ϕ ε a α 316, such that K > 0 Takig the it ε 0 o both sides of Eq316 ad usig Eq310, we get Eq314 Hece, we coclude the proof Corollary 317 For m = = p = 1, the Theorem 6 states that i Vδ,p,q γ,β,α g fa = g f a i Vδ,p,q γ,β,α f a Corollary 317 says that Theorem 6 geeralizes Theorem 2 Corollary 318 Cosider all the coditios of Theorem 6 satisfied The where, i Vδ,p,q γ,β,α = g f a g fa Γβ q f Γγ+βδ 1 a 1 α p 0 0 0 Γβ q f Γγ+βδ 2 a 1 α p 0 0 0 Γβ q f Γγ+βδ 1 a 1 α p 0 0 0 Γβ q f Γγ+βδ 2 a 1 α p 0 0 0, is the matrix correspod- ig to the liear trasformatio i Vδ,p,q γ,β,α f a Γβ q Γγ+βδ p f a 1 α Γβ q Γγ+βδ p f a 1 α Corollary 319 Cosider all the coditios of Theorem 6 satisfied For fa = a, Corollary 318, says that γ,β,α ga = g a i V δ,p,q = g a Γβ q Γγ+βδ p a 1 α 0 1 0 0 Γβ q Γγ+βδ p a 1 α 0 0 Γβ q Γγ +βδ p L 1 α α 2 0 Γβ q a 1 α Γγ+βδ p
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 11 Remark 3 The Corollary 319 geeralizes part 5 of the Theorem 2 Theorem 7 Let f be a vector valued fuctio with variables such that fx 1,,x = f 1 x 1,,x,,f x 1,,x The f is α-differetiable fuctio at a = a 1,,a R, with a i > 0 if, ad oly if, each f i is, 320 i Vδ,p,q γ,β,α f a = i Vδ,p,q γ,β,α f 1a,, i Vδ,p,q γ,β,α f ma, where α 0,1] ad,δ,γ,β C, p,q > 0 with, Re > 0, Reδ > 0, Reγ > 0, Reβ > 0 ad Reγ+p q Proof If each f i is α-differetiable at a ad L = 321 = f [f 1,f m 1 1,,a i H,δ,q,,a i H,δ,q i Vδ,p,q γ,β,α f 1a,, i Vδ,p,q γ,β,α f ma, the ε a α f a Lε f 1 a i Vδ,p,q ε a α ε a α γ,β,α f 1aε, ] f m a i Vδ,p,q γ,β,α f maε Takig the it ε 0 o both sides of Eq321, we have f ε a α f a Lε f j a j i H,δ,q εj a α j f j a i Vδ,p,q γ,β,α f jaε j=1 = f j a j i H,δ,q εj a α j f j a i Vδ,p,q γ,β,α f j aε = 0, which is the result j=1 Theorem 8 Let 0 < α 1, λ,µ R, γ,β,,δ C ad p,q > 0 such that Reγ > 0, Reβ > 0, Re > 0, Reδ > 0, Reγ + p q ad f,g α-differetiable at a = a 1,,a R, with a i > 0 The, 1 i Vδ,p,q γ,β,α λf +µga = λ i Vδ,p,q γ,β,α f a+µ i Vδ,p,q γ,β,α ga 2 i Vδ,p,q γ,β,α f ga = f a i Vδ,p,q γ,β,α ga+ga i Vδ,p,q γ,β,α f a
12 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 Proof 1 Let A = 1 + +a i H,δ,q ε 1a α, the we have, λf +µga λf +µga λ i Vδ,p,q γ,β,α f a+µ i Vδ,p,q γ,β,α ga ε λf A λf a λ i Vδ,p,q γ,β,α f aε+µga µga µ i Vδ,p,q γ,β,α gaε = λf A λf a λ i Vδ,p,q γ,β,α f aε µga µga µ i Vδ,p,q γ,β,α gaε + f A f a i Vδ,p,q γ,β,α f aε ga ga i Vδ,p,q γ,β,α gaε = λ +µ = 0 So, the proof is complete 2 Let A = 1 + +a i H,δ,q ε 1a α, the we have, f ga f ga f a i Vδ,p,q γ,β,α ga+ga i Vδ,p,q γ,β,α f a ε f AgA f aga ga i Vδ,p,q γ,β,αf aε+f aga f aga f a i = Vδ,p,q γ,β,α gaε+ga i Vδ,p,q γ,β,α f aε ga i Vδ,p,q γ,β,α f aε f AgA f aga ga i Vδ,p,q γ,β,α f aε + f aga f aga f a i Vδ,p,q γ,β,α gaε + ga i Vδ,p,q γ,β,α f aε ga i Vδ,p,q γ,β,α f aε = i Vδ,p,q γ,β,α f aε ga ga K ε ga ga = 0, with K > 0 So, the proof is complete
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 13 4 Trucated V-fractioal partial derivatives ad applicatios I this sectio, we itroduce the trucated V-fractioal partial derivative ad discuss applicatios: the theorem associated with the commutativity property of two trucated V-fractioal partial derivatives ad the trucated V-fractioal Gree s theorem Defiitio 5 Let f be a real valued fuctio with variables ad a = a 1,,a R be a poit whose i th compoet is positive The, the it f a 1,,a j i H,δ,q 41 εa α j,,a ε f a 1,,a, if it exists, is deoted by α α xαf a := x αf x x=a, ad called the i th trucated V-fractioal partial derivative of f of order α 0,1] at a Theorem 9 Let f be a vector valued fuctio with variables If f is α-differetiable at a = a 1,,a R, with a j > 0, the α f x α j a of order α 0,1] exists for 1 j m, p α 1 p ad the Jacobia of f at a is the m matrix f j a Proof Let f x 1,,x = f 1 x 1,,x,,f m x 1,,x Suppose first that m = 1, so that f x 1,,x R Defie h : R R by hy = a 1,,y,,a with y i the place of p th The α f x α j a = i Vδ,p,q γ,β,α f ha p Hece, by Corollary 318, we have p i Vδ,p,q γ,β,α f ha p = f ha p = f a x α p Γβ q h Γγ+βδ 1 a p 1 α p 0 0 0 Γβ q h Γγ+βδ 2 a p 1 α p 0 Γβ q Γγ+βδ p a 1 α 0 0 0 1 0 0 Γβ q Γγ+βδ p a 1 α 0 0 j 0 Γβ q a 1 α Γγ+βδ p Γβ q Γγ+βδ p h a p 1 α = i Vδ,p,q γ,β,α f a Sice f ha p has a sigle etry α x α p f j a, this shows that α x α p f j a exists ad is the p th etry of the 1 matrix i Vδ,p,q γ,β,αf a The theorem ow follows for arbitrary m sice,
14 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 by Theorem 7, each f j, is α-differetiable ad the p th row of i Vδ,p,q γ,β,α f a is i Vδ,p,q γ,β,α f ja For the ext result, we use the Clairaut-Schwarz theorem iteger order [8], ad realize a applicatio of the trucated V-fractioal partial derivative Theorem 10 Assume that ft,s is a fuctio for which t α κ sf t,s is of order α 0,1] ad s κ t α f t,s is of order κ 0,1] exist ad are cotiuous over the domai D R 2, the κ t α tκf t,s = κ α t κ tαf t,s Proof By meas of the Defiitio 1, trucated V-fractioal derivative at the s variable, we have κ f t,s t α tκf t,s = α i H,δ,q εs κ f t,s t α ε t,s+ Γβ q εs 1 κ +O ε 2 f t,s Γγ +βδ p = α t α f ε Γβq Itroducig the followig chage of variable h = εs 1 κ +Oε Γγ +βδ p h ε =, we get Γβq s 1 κ +Oε Γγ +βδ p κ t α tκf t,s = α t α Sice f is differetiable i s-directio, we obtai κ t α tκf t,s f t,s+h f t,s hs κ 1 Γβ q Γγ +βδ p +Oε = s 1 κ Γβ q Γγ +βδ p α t α s f t,s implies
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 15 Agai, by the defiitio of the trucated V-fractioal derivative we have κ Γβ f t t α tκf t,s = s 1 κ q Γγ +βδ p s i H,δ,q γ,δ,p εt α,s f t,s s ε I aalogy to the expressio, after makig a similar chage of variable, we have κ t α tκf t,s = Γβ q s1 κ t 1 α f t+k,s f t,s s s Γγ +βδ k 0 p k Sice f is differetiable i t-directio, we obtai 2 κ Γβq 42 t α tκf t,s = s 1 κ 1 α 2 t Γγ +βδ p t s f t,s Beig f a cotiuous fuctio ad usig the Clairaut-Schwarz theorem for partial derivative, it follows that 2 2 f t,s = t s s t f t,s Therefore the Eq42, becomes κ Γβq t α tκf t,s = Γγ +βδ p Γβq = Γγ +βδ p 43 2 s 1 κ 1 α 2 t 2 s 1 κ t 1 α h 0 s t f t,s Γβq Thus, takigh = εs 1 κ +Oε Γγ +βδ p i the Eq43, we arrive at κ t α tκf t,s = κ f t,s+h f t,s t t t κ h 0 h which completes the proof We defie the V-fractioal vector at the poit a, give by α κ α f a = tαf a, sκf a The ext example, is a direct applicatio of the Theorem 10 f t,s+h f t,s t t h Γβq adlaterk = εt 1 α +Oε Γγ +βδ p = κ α t κ tαf t,s,
16 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 Example 4 Cosider ft,s = e at+s with a R satisfyig the coditios of Theorem10, the we have κ t α sκf t,s = α s 1 κ Γβ q t α Γγ +βδ p s eas+t = a s1 κ Γβ q α Γγ +βδ p t αeas+t 44 ad 45 κ α s κ tαf t,s = a 2 s 1 κ t 1 α Γβq Γγ +βδ p = κ t 1 α Γβ q s κ Γγ +βδ p t eas+t = a t1 α Γβ q κ Γγ +βδ p s κeas+t = a 2 s 1 κ t 1 α Γβq Γγ +βδ p 2 e at+s 2 e at+s Thus, by Eq44 ad Eq45 we coclude that κ t α sκf t,s = κ s κ α tαf t,s Theorem 11 trucated V-fractioal Grees theorem Let C be a simple positively orieted, piecewise smooth ad close curve i R 2, say for istace the x y plae, furthermore assume D i the iterior of C If fx,y ad gx,y are two fuctios havig cotiuous partial trucated V-fractioal derivative o D the where d ω S = D α α xαg y αf d ω S = C α 1 y α 1fd ωx α 1 x α 1gd ωy, 2 Γγ +βδp x α 1 y α 1 dxdy, with d ω x ad d ω y, give by Remark 1 Γβ q Proof I fact, ote that α 46 D α xαg y αf [ α 1 d ω S = D x x α 1g ] α 1 y y α 1f d ω S
A TRUNCATED V-FRACTIONAL DERIVATIVE IN R 17 Applyig the classical versio of the Gree s theorem [9], Q x y P ds = Pdx+Qdy ito Eq46, we coclude that α D D α xαg y αf d ω S = C C α 1 y α 1fd ωx+ α 1 x α 1gd ωy 5 Cocludig remarks After a brief itroductio to the trucated six-parameters Mittag-Leffler fuctio ad the trucated V-fractioal derivative with domai of fuctio i R ad the validity of some importat results, we have itroduced the multivariable trucated V-fractioal derivative, that is, with domai of the fuctio i R I this sese, we discussed ad proved classical theorems such as: the chai rule, the commutativity of the expoet of two trucated V- fractioal derivatives ad Gree s theorem We coclued that: a variety of ew fractioal derivatives of said local have bee recetly itroduced, all them satisfy the requiremets of the iteger-order derivative, ad have bee employed to deal more effectively with real problems ad their physical properties [9, 10, 11, 12] The dyamics of systems over time, becomes more complex ad more precise mathematical tools are eeded to solve certai theoretical ad practical problems I this theoretical ad applicable sese, we exteded the idea of trucated V-fractioal derivative of a variable, so it is possible to work with differetial equatios with several variables cosequetly make comparisos with the results obtaied by meas of other fractioal derivatives Studies i directio will be published i a forthcomig paper Refereces [1] J Vaterler da C Sousa, E Capelas de Oliveira, Mittag-Leffler fuctios ad the trucated V- fractioal derivative, submitted, 2017 [2] U N Katugampola, A ew fractioal derivative with classical properties, arxiv preprit arxiv:14106535 [3] R Khalil, M Al Horai, A Yousef, M Sababheh, A ew defiitio of fractioal derivative, J Comput ad Appl Math 264 2014 65 70 [4] J Vaterler da C Sousa, E Capelas de Oliveira, A ew trucated M-fractioal derivative uifyig some fractioal derivatives with classical properties, submitted, 2017 [5] J Vaterler da C Sousa, E Capelas de Oliveira, M-fractioal derivative with classical properties, submitted, 2017 [6] A Atagaa, D Baleau, A Alsaedi, New properties of coformable derivative, Ope Mathematics 13 1 2015 1 10 [7] N Y Gözütok, U Gözütok, Multivariable coformable fractioal calculus, arxiv preprit arxiv:170100616 [mathca] [8] J Stewart, Calculus, Cegage Learig, Bosto, 2015
18 J VANTERLER DA C SOUSA 1 AND E CAPELAS DE OLIVEIRA 1 [9] A A Kilbas, H M Srivastava, J J Trujillo, Theory ad Applicatios of Fractioal Differetial Equatios, Elsevier, Amsterdam, 2006 [10] K Diethelm, Fractioal differetial equatios Theory ad umerical treatmet Scriptum, Istitute of Computatioal Mathematics, Techical Uiversity of Brauschweig, 2003 [11] C A Moje, Y Che, B M Viagre, D Xue, V Feliu-Batlle, Fractioal-order systems ad cotrols: fudametals ad applicatios, Spriger-Verlag, Lodo, 2010 [12] D Baleau, J A T Machado, A C Luo, Fractioal Dyamics ad Cotrol, Spriger, New York, 2011 1 Departmet of Applied Mathematics, Istitute of Mathematics, Statistics ad Scietific Computatio, Uiversity of Campias UNICAMP, rua Sérgio Buarque de Holada 651, 13083 859, Campias SP, Brazil e-mail: ra160908@imeuicampbr, capelas@imeuicampbr