Universidde de Aveiro Deprtmento de Mtemátic 213 Ttin Odzijewicz Generlized Frctionl Clculus of Vritions rxiv:143.4379v1 [mth.oc] 18 Mr 214
Universidde de Aveiro Deprtmento de Mtemátic 213 Ttin Odzijewicz Cálculo ds Vrições Frccionl Generlizdo Tese de doutormento presentd à Universidde de Aveiro pr cumprimento dos requisitos necessários à obtenção do gru de Doutor em Mtemátic, Progrm Doutorl em Mtemátic e Aplicções (PDMA 29-213) d Universidde de Aveiro e Universidde do Minho, relizd sob orientção científic do Doutor Delfim Fernndo Mrdo Torres, Professor Assocido com Agregção do Deprtmento de Mtemátic d Universidde de Aveiro, e co-orientção d Doutor Agnieszk Brbr Mlinowsk, Professor Auxilir do Deprtmento de Mtemátic d Universidde Técnic de Bi lystok, Polóni.
O júri / The jury Presidente / President Vogis / Exminers committee Doutor Nilz Mri Vilhen Nunes d Cost Professor Ctedrátic d Universidde de Aveiro Doutor Gueorgui Vitlievitch Smirnov Professor Ctedrático d Universidde do Minho Doutor Delfim Fernndo Mrdo Torres Professor Assocido com Agregção d Universidde de Aveiro (Orientdor) Doutor Agnieszk Brbr Mlinowsk Professor Auxilir d Bilystok University of Technology, Polóni (Co-orientdor) Doutor Mri Mrgrid Amorim Ferreir Professor Auxilir d Universidde do Porto Doutor Ricrdo Miguel Moreir de Almeid Professor Auxilir d Universidde de Aveiro
grdecimentos / cknowledgements Um tese de Doutormento é um processo solitário. São qutro nos de trblho que são mis pssíveis de suportr grçs o poio de váris pessos e instituições. Assim, e ntes dos demis, gostri de grdecer os meus orientdores, Professor Doutor Delfim F. M. Torres e Professor Doutor Agnieszk B. Mlinowsk, pelo poio, pel prtilh de sber e por estimulrem o meu interesse pel Mtemátic. Estou igulmente grt os meus colegs e os meus Professores do Progrm Doutorl pelo constnte incentivo e pel bo disposição que me trnsmitirm durnte estes nos. Gostri de grdecer à FCT (Fundcão pr Ciênci e Tecnologi) o poio finnceiro tribuído trvés d bols de Doutormento com referênci SFRH/BD/33865/29. Por último, ms sempre em primeiro lugr, grdeço à minh fmíli.
Resumo Nest tese de doutormento presentmos um cálculo ds vrições frccionl generlizdo. Considermos problems vricionis com derivds e integris frccionis generlizdos e estudmo-los usndo métodos directos e indirectos. Em prticulr, obtemos condições necessáris de optimlidde de Euler Lgrnge pr o problem fundmentl e isoperimétrico, condições de trnsverslidde e teorems de Noether. Demonstrmos existênci de soluções, num espço de funções proprido, sob condições do tipo de Tonelli. Terminmos mostrndo existênci de vlores próprios, e correspondentes funções própris ortogonis, pr problems de Sturm Liouville. Plvrs chve cálculo ds vrições, condições necessáris de optimlidde do tipo de Euler Lgrnge, métodos directos, problems isoperimétricos, teorem de Noether, cálculo frccionl, problem de Sturm Liouville. 21 Mthemtics Subject Clssifiction: 26A33; 49K5; 49K21.
Abstrct In this thesis we introduce generlized frctionl clculus of vritions. We consider vritionl problems contining generlized frctionl integrls nd derivtives nd study them using stndrd (indirect) nd direct methods. In prticulr, we obtin necessry optimlity conditions of Euler Lgrnge type for the fundmentl nd isoperimetric problems, nturl boundry conditions, nd Noether theorems. Existence of solutions is shown under Tonelli type conditions. Moreover, we pply our results to prove existence of eigenvlues, nd corresponding orthogonl eigenfunctions, to frctionl Sturm Liouville problems. Keywords clculus of vritions, necessry optimlity conditions of Euler Lgrnge type, direct methods, isoperimetric problem, Noether s theorem, frctionl clculus, Sturm Liouville problem. 21 Mthemtics Subject Clssifiction: 26A33; 49K5; 49K21.
Contents Contents i Introduction 1 I Synthesis 5 1 Frctionl Clculus 7 1.1 One-dimensionl Frctionl Clculus....................... 7 1.1.1 Clssicl Frctionl Opertors...................... 7 1.1.2 Vrible Order Frctionl Opertors................... 11 1.1.3 Generlized Frctionl Opertors..................... 12 1.2 Multidimensionl Frctionl Clculus....................... 14 1.2.1 Clssicl Prtil Frctionl Integrls nd Derivtives.......... 14 1.2.2 Vrible Order Prtil Frctionl Integrls nd Derivtives...... 15 1.2.3 Generlized Prtil Frctionl Opertors................. 16 2 Frctionl Clculus of Vritions 19 2.1 Frctionl Euler Lgrnge Equtions....................... 2 2.2 Frctionl Embedding of Euler Lgrnge Equtions.............. 23 II Originl Work 25 3 Stndrd Methods in Frctionl Vritionl Clculus 27 3.1 Properties of Generlized Frctionl Integrls.................. 28 3.1.1 Boundedness of Generlized Frctionl Opertors............ 28 3.1.2 Generlized Frctionl Integrtion by Prts............... 3 3.2 Fundmentl Problem............................... 32 3.3 Free Initil Boundry............................... 38 3.4 Isoperimetric Problem............................... 4 3.5 Noether s Theorem................................. 47 3.6 Vritionl Clculus in Terms of Generlized Integrl............ 5 3.7 Generlized Vritionl Clculus of Severl Vribles.............. 53 3.7.1 Multidimensionl Generlized Frctionl Integrtion by Prts..... 53 3.7.2 Fundmentl Problem........................... 55 3.7.3 Dirichlet s Principle............................ 6 i
CONTENTS 3.7.4 Isoperimetric Problem........................... 61 3.7.5 Noether s Theorem............................. 65 3.8 Conclusion..................................... 67 3.9 Stte of the Art................................... 68 4 Direct Methods in Frctionl Clculus of Vritions 69 4.1 Existence of Minimizer for Generlized Functionl............. 69 4.1.1 A Tonelli-type Theorem.......................... 7 4.1.2 Sufficient Condition for Regulr Lgrngins............. 71 4.1.3 Sufficient Condition for Coercive Functionls............. 72 4.1.4 Exmples of Lgrngins......................... 73 4.2 Necessry Optimlity Condition for Minimizer................ 74 4.3 Some Improvements................................ 77 4.3.1 A First Weker Convexity Assumption.................. 77 4.3.2 A Second Weker Convexity Assumption................ 78 4.4 Conclusion..................................... 8 4.5 Stte of the Art................................... 8 5 Appliction to the Sturm Liouville Problem 81 5.1 Useful Lemms................................... 81 5.2 The Frctionl Sturm Liouville Problem..................... 85 5.2.1 Existence of Discrete Spectrum...................... 86 5.2.2 The First Eigenvlue............................ 94 5.2.3 An Illustrtive Exmple.......................... 97 5.3 Stte of the Art................................... 98 Appendix 99 Conclusions nd Future Work 13 References 15 ii
Introduction This thesis is dedicted to the generlized frctionl clculus of vritions nd its min tsk is to unify nd extend results concerning the stndrd frctionl vritionl clculus, tht re vilble in the literture. My dventure with the subject strted on the first yer of my PhD Doctorl Progrmme, when I studied the course, given by my present supervisor Delfim F. M. Torres, clled Clculus of Vritions nd Optiml Control. He described me n ide of the frctionl clculus nd showed tht one cn consider vritionl problems with non-integer opertors. Frctionl integrls nd derivtives cn be defined in different wys, nd consequently in ech cse one must consider different vritionl problems. Therefore, my supervisor suggested me to study more generl opertors, tht by choosing specil kernels, reduce to the stndrd frctionl integrls nd derivtives. Finlly, this interest resulted in my PhD thesis entitled Generlized Frctionl Clculus of Vritions. The clculus of vritions is mthemticl reserch field tht ws born in 1696 with the solution to the brchistochrone problem (see, e.g., [14]) nd is focused on finding extreml vlues of functionls [33, 45, 48, 14]. Usully, considered functionls re given in the form of n integrl tht involves n unknown function nd its derivtives. Vritionl problems re prticulrly ttrctive becuse of their mny-fold pplictions, e.g., in physics, engineering, nd economics; the vritionl integrl my represent n ction, energy, or cost functionl [39, 15]. The clculus of vritions possesses lso importnt connections with other fields of mthemtics, e.g., with the prticulrly importnt in this work frctionl clculus. Frctionl clculus, i.e., the clculus of non-integer order derivtives, hs lso its origin in the 16s. It is generliztion of (integer) differentil clculus, llowing to define derivtives (nd integrls) of rel or complex order [51, 91, 98]. During three centuries the theory of frctionl derivtives developed s pure theoreticl field of mthemtics, useful only for mthemticins. However, in the lst few decdes, frctionl problems hve received n incresing ttention of mny reserchers. As mentioned in [16], Science Wtch of Thomson Reuters identified the subject s n Emerging Reserch Front re. Frctionl derivtives re non-locl opertors nd re historiclly pplied in the study of non-locl or time dependent processes [91]. The first nd well estblished ppliction of frctionl clculus in Physics ws in the frmework of nomlous diffusion, which is relted to fetures observed in mny physicl systems. Here we cn mention the report [71] demonstrting tht frctionl equtions work s complementry tool in the description of nomlous trnsport processes. Within the frctionl pproch it is possible to include externl fields in strightforwrd mnner. As consequence, in short period of time the list of pplictions expnded. Applictions include chotic dynmics [17], mteril sciences [66], mechnics of frctl nd complex medi [26,63], quntum mechnics [47, 61], physicl kinetics [18], long-rnge dissiption [12], long-rnge interction [11,13], just to mention few. This diversity of pplictions mkes the frctionl clculus n importnt subject, which requires serious ttention nd strong interest. 1
INTRODUCTION The clculus of vritions nd the frctionl clculus re connected since the XIX century. Indeed, in 1823 Niels Heinrik Abel pplied the frctionl clculus to the solution of n integrl eqution tht rises in the formultion of the tutochrone problem. This problem, sometimes lso clled the isochrone problem, is tht of finding the shpe of frictionless wire lying in verticl plne such tht the time of bed plced on the wire slides to the lowest point of the wire in the sme time regrdless of where the bed is plced. It turns out tht the cycloid is the isochrone s well s the brchistochrone curve, solving simultneously the brchistochrone problem of the clculus of vritions nd Abel s frctionl problem [1]. It ws however only in the XX century tht both res joined in unique reserch field: the frctionl clculus of vritions. The frctionl clculus of vritions consists in extremizing (minimizing or mximizing) functionls whose Lgrngins contin frctionl integrls nd derivtives. It ws born in 1996-97, when Riewe derived Euler Lgrnge frctionl differentil equtions nd showed how non-conservtive systems in mechnics cn be described using frctionl derivtives [96, 97]. It is remrkble result since frictionl nd non-conservtive forces re beyond the usul mcroscopic vritionl tretment nd, consequently, beyond the most dvnced methods of clssicl mechnics [6]. Recently, severl different pproches hve been developed to generlize the lest ction principle nd the Euler Lgrnge equtions to include frctionl derivtives. Results include problems depending on Cputo frctionl derivtives, Riemnn Liouville frctionl derivtives, Riesz frctionl derivtives nd others [7 1, 12, 18, 19, 21, 22, 29,37,42,43,52,62,67,69,72,73,77,8,1]. For the stte of the rt of the frctionl clculus of vritions we refer the reder to the recent book [7]. A more generl unifying perspective to the subject is, however, possible, by considering frctionl opertors depending on generl kernels [4, 57, 78, 79]. In this work we follow such n pproch, developing generlized frctionl clculus of vritions. We consider problems, where the Lgrngins depend not only on clssicl derivtives but lso on generlized frctionl opertors. Moreover, we discuss even more generl problems, where lso clssicl integrls re substituted by generlized frctionl integrls nd obtin generl theorems, for severl types of vritionl problems, which re vlid for rther rbitrry opertors nd kernels. As specil cses, one obtins the recent results vilble in the literture of frctionl vritionl clculus [35, 36, 46, 53, 7]. This thesis consists of two prts. The first one, nmed Synthesis, gives preliminry definitions nd properties of frctionl opertors under considertion (Chpter 1). Moreover, it briefly describes recent results on the frctionl clculus of vritions (Chpter 2). The second one, clled Originl Work, contins new results published during my PhD project in peer reviewed interntionl journls, s chpters in books, or in the conference proceedings [23, 24,41, 77 83,86 89]. It is divided in three chpters. We begin with Chpter 3, where we pply stndrd methods to solve severl problems of the generlized frctionl clculus of vritions. We consider problems with Lgrngins depending on clssicl derivtives, generlized frctionl integrls nd generlized frctionl derivtives. We obtin necessry optimlity conditions for the bsic nd isoperimetric problems, s well s nturl boundry conditions for free boundry vlue problems. In ddition, we prove generlized frctionl counterprt of Noether s theorem. We consider the cse of one nd severl independent vribles. Moreover, ech section contins illustrtive optimiztion problems. Chpter 4 is dedicted to direct methods in the frctionl clculus of vritions. We prove generlized frctionl Tonelli s theorem, showing existence of minimizers for frctionl vritionl functionls. Then we obtin necessry optimlity conditions for minimizers. Severl illus- 2
trtive exmples re presented. In the lst Chpter 5 we show certin ppliction of the frctionl vritionl clculus. More precisely, we prove existence of eigenvlues nd corresponding eigenfunctions for the frctionl Sturm Liouville problem using vritionl methods. Moreover, we show two theorems concerning the lowest eigenvlue nd illustrte our results through n exmple. We finish the thesis with conclusion, pointing out importnt directions of future reserch. 3
Prt I Synthesis 5
Chpter 1 Frctionl Clculus Frctionl clculus is generliztion of (integer) differentil clculus, in the sense tht it dels with derivtives of rel or complex order. It ws introduced on 3th September 1695. On tht dy, Leibniz wrote letter to L Hôpitl, rising the possibility of generlizing the mening of derivtives from integer order to non-integer order derivtives. L Hôpitl wnted to know the result for the derivtive of order n = 1/2. Leibniz replied tht one dy, useful consequences will be drwn nd, in fct, his vision becme relity. However, the study of non-integer order derivtives did not pper in the literture until 1819, when Lcroix presented definition of frctionl derivtive bsed on the usul expression for the nth derivtive of the power function [59]. Within yers the frctionl clculus becme very ttrctive subject to mthemticins, nd mny different forms of frctionl (i.e., non-integer) differentil opertors were introduced: the Grunwld Letnikow, Riemnn Liouville, Hdmrd, Cputo, Riesz [47, 51, 91, 98] nd the more recent notions of Cresson [29], Ktugmpol [49], Klimek [52], Kilbs [5] or vrible order frctionl opertors introduced by Smko nd Ross in 1993 [99]. In 21, n interesting perspective to the subject, unifying ll mentioned notions of frctionl derivtives nd integrls, ws introduced in [4] nd lter studied in [24, 57, 78, 79, 82, 87, 89]. Precisely, uthors considered generl opertors, which by choosing specil kernels, reduce to the stndrd frctionl opertors. However, other nonstndrd kernels cn lso be considered s prticulr cses. This chpter presents preliminry definitions nd fcts of clssicl, vrible order nd generlized frctionl opertors. 1.1 One-dimensionl Frctionl Clculus We begin with bsic fcts on the one-dimensionl clssicl, vrible order, nd generlized frctionl opertors. 1.1.1 Clssicl Frctionl Opertors In this section, we present definitions nd properties of the one-dimensionl frctionl integrls nd derivtives under considertion. The reder interested in the subject is refereed to the books [51, 53, 91, 98]. 7
CHAPTER 1. FRACTIONAL CALCULUS Definition 1 (Left nd right Riemnn Liouville frctionl integrls). We define the left nd the right Riemnn Liouville frctionl integrls I α t nd t I α b of order α R (α > ) by nd I α t [f](t) := 1 t Γ(α) ti α 1 b b [f](t) := Γ(α) t f(τ)dτ, t (, b], (1.1) (t τ) 1 α f(τ)dτ, t [, b), (1.2) (τ t) 1 α respectively. Here Γ(α) denotes Euler s Gmm function. Note tht, I α t [f] nd t I α b [f] re defined.e. on (, b) for f L 1 (, b; R). One cn lso define frctionl integrl opertors in the frme of Hdmrd setting. In the following, we present definitions of Hdmrd frctionl integrls. Definition 2 (Left nd right Hdmrd frctionl integrls). We define the left-sided nd right-sided Hdmrd integrls of frctionl order α R (α > ) by J α t [f](t) := 1 t ( log t ) α 1 f(τ)dτ, t > Γ(α) τ τ nd respectively. tj α 1 b ( b [f](t) := log τ Γ(α) t t ) α 1 f(τ)dτ, t < b, τ Definition 3 (Left nd right Riemnn Liouville frctionl derivtives). The left Riemnn Liouville frctionl derivtive of order α R ( < α < 1) of function f, denoted by D α t [f], is defined by t (, b], D α t [f](t) := d dt I 1 α t [f](t). Similrly, the right Riemnn Liouville frctionl derivtive of order α of function f, denoted by t D α b [f], is defined by t [, b), td α b [f](t) := d dt t I 1 α b [f](t). As we cn see below, Riemnn Liouville frctionl integrl nd differentil opertors of power functions return power functions. Property 1 (cf. Property 2.1 [51]). Now, let 1 > α, β >. Then the following identities hold: I α t [(τ ) β 1 ](t) = Γ(β) Γ(β + α) (t )β+α 1, D α t [(τ ) β 1 ](t) = Γ(β) Γ(β α) (t )β α 1, 8
1.1. ONE-DIMENSIONAL FRACTIONAL CALCULUS nd ti α b [(b τ)β 1 ](t) = td α b [(b τ)β 1 ](t) = Γ(β) Γ(β + α) (b t)β+α 1, Γ(β) Γ(β α) (b t)β α 1. Definition 4 (Left nd right Cputo frctionl derivtives). The left nd the right Cputo frctionl derivtives of order α R ( < α < 1) re given by [ ] C d t (, b], D α t [f](t) := It 1 α dt f (t) nd respectively. t [, b), [ ] C d t D α b [f](t) := ti 1 α b dt f (t), Let < α < 1 nd f AC([, b]; R). Then the Riemnn Liouville nd Cputo frctionl derivtives stisfy reltions C D α t [f](t) = D α f() t [f](t) (t ) α Γ(1 α), (1.3) C t D α b [f](t) = td α b [f](t) + f(b) (b t) α Γ(1 α), (1.4) tht cn be found in [51]. Moreover, for Riemnn Liouville frctionl integrls nd derivtives, the following composition rules hold ( I α t D α t ) [f](t) = f(t), (1.5) ( t I α b td α b ) [f](t) = f(t). (1.6) Note tht, if f() =, then (1.3) nd (1.5) give ( I α t C D α ) t [f](t) = ( I α t D α t ) [f](t) = f(t), (1.7) nd if f(b) =, then (1.4) nd (1.6) imply tht ( ti α b C t D α ) b [f](t) = (t I α b td α b ) [f](t) = f(t). (1.8) The following ssertion shows tht Riemnn Liouville frctionl integrls stisfy semigroup property. Property 2 (cf. Lemm 2.3 [51]). Let 1 > α, β > nd f L r (, b; R), (1 r ). Then, equtions ( ) I α t I β t [f](t) = I α+β t [f](t), nd ( ) ti α b ti β b [f](t) = t I α+β b [f](t) re stisfied. 9
CHAPTER 1. FRACTIONAL CALCULUS Next results show tht, for certin clsses of functions, Riemnn Liouville frctionl derivtives nd Cputo frctionl derivtives re left inverse opertors of Riemnn Liouville frctionl integrls. Property 3 (cf. Lemm 2.4 [51]). If 1 > α > nd f L r (, b; R), (1 r ), then the following is true: ( D α t I α t ) [f](t) = f(t), ( t D α b ti α b ) [f](t) = f(t). Property 4 (cf. Lemm 2.21 [51]). Let 1 > α >. If f is continuous on the intervl [, b], then ( C D α t I α ) t [f](t) = f(t), ( Ct D α b ti α ) b [f](t) = f(t). For r-lebesgue integrble functions, Riemnn Liouville frctionl integrls nd derivtives stisfy the following composition properties. Property 5 (cf. Property 2.2 [51]). Let 1 > α > β > nd f L r (, b; R), (1 r ). Then, reltions ( ) D β t I α t [f](t) = I α β t [f](t), nd ( ) td β b ti α b [f](t) = t I α β b [f](t) re stisfied. In clssicl clculus, integrtion by prts formul reltes the integrl of product of functions to the integrl of their derivtive nd ntiderivtive. As we cn see below, this formul works lso for frctionl derivtives, however it chnges the type of differentition: left Riemnn Lioville frctionl derivtives re trnsformed to right Cputo frctionl derivtives. Property 6 (cf. Lemm 2.19 [53]). Assume tht < α < 1, f AC([, b]; R) nd g L r (, b; R) (1 r ). Then, the following integrtion by prts formul holds: f(t) D α t [g](t) dt = g(t) C t D α b [f](t) dt + f(t) I 1 α t [g](t) t=b t=. (1.9) Let us recll the following property yielding boundedness of Riemnn Liouville frctionl integrl in the spce L r (, b; R) (cf. Lemm 2.1, formul 2.1.23, from the monogrph by Kilbs et l. [51]). Property 7. The frctionl integrl I α t r 1 I α t [f] L r K α f L r, K α = is bounded in spce L r (, b; R) for α (, 1) nd (b )α Γ(α + 1). (1.1) 1
1.1. ONE-DIMENSIONAL FRACTIONAL CALCULUS 1.1.2 Vrible Order Frctionl Opertors In 1993, Smko nd Ross [99] proposed n interesting generliztion of frctionl opertors. They introduced the study of frctionl integrtion nd differentition when the order is not constnt but function. Afterwrds, severl works were dedicted to vrible order frctionl opertors, their pplictions nd interprettions [11, 28, 65]. In prticulr, Smko s vrible order frctionl clculus turns out to be very useful in mechnics nd in the theory of viscous flows [28,34,65,9,94,95]. Indeed, mny physicl processes exhibit frctionl-order behvior tht my vry with time or spce [65]. The pper [28] is devoted to the study of vrible-order frctionl differentil eqution tht chrcterizes some problems in the theory of viscoelsticity. In [34] the uthors nlyze the dynmics nd control of nonliner vrible viscoelsticity oscilltor, nd two controllers re proposed for the vrible order differentil equtions tht trck n rbitrry reference function. The work [9] investigtes the drg force cting on prticle due to the oscilltory flow of viscous fluid. The drg force is determined using the vrible order frctionl clculus, where the order of derivtive vry ccording to the dynmics of the flow. In [95] vrible order differentil eqution for prticle in quiescent viscous liquid is developed. For more on the ppliction of vrible order frctionl opertors to the modeling of dynmic systems, we refer the reder to the recent review rticle [94]. Let us introduce the following tringle: := { (t, τ) R 2 : τ < t b }, nd let α(t, τ) : [, 1] be such tht α C 1 ( ; R ). Definition 5 (Left nd right Riemnn Liouville integrls of vrible order). Opertor t I α(, ) t [f](t) := 1 Γ(α(t, τ)) (t τ)α(t,τ) 1 f(τ)dτ (t > ) is the left Riemnn Liouville integrl of vrible frctionl order α(, ), while ti α(, ) b [f](t) := t 1 Γ(α(τ, t)) (τ t)α(τ,t) 1 f(τ)dτ (t < b) is the right Riemnn Liouville integrl of vrible frctionl order α(, ). The following exmple gives vrible order frctionl integrl for the power function (t ) γ. Exmple 1 (cf. Eqution 4 of [99]). Let α(t, τ) = α(t) be function depending only on vrible t, < α(t) < 1 for lmost ll t (, b) nd γ > 1. Then, I α( ) t (t ) γ = Γ(γ + 1)(t )γ+α(t). (1.11) Γ(γ + α(t) + 1) Next we define two types of vrible order frctionl derivtives. 11
CHAPTER 1. FRACTIONAL CALCULUS Definition 6 (Left nd right Riemnn Liouville derivtives of vrible order). The left Riemnn Liouville derivtive of vrible frctionl order α(, ) of function f is defined by t (, b], D α(, ) t [f](t) := d dt I 1 α(, ) [f](t), while the right Riemnn Liouville derivtive of vrible frctionl order α(, ) is defined by t [, b), td α(, ) b [f](t) := d dt t I 1 α(, ) b [f](t). Definition 7 (Left nd right Cputo derivtives of vrible frctionl order). The left Cputo derivtive of vrible frctionl order α(, ) is defined by [ ] C t (, b], D α(, ) t [f](t) := I 1 α(, ) d t dt f (t), while the right Cputo derivtive of vrible frctionl order α(, ) is given by [ ] C t [, b), t D α(, ) b [f](t) := t I 1 α(, ) d b dt f (t). 1.1.3 Generlized Frctionl Opertors This section presents definitions of one-dimensionl generlized frctionl opertors. In specil cses, these opertors simplify to the clssicl Riemnn Liouville frctionl integrls, nd Riemnn Liouville nd Cputo frctionl derivtives. As before, := { (t, τ) R 2 : τ < t b }. Definition 8 (Generlized frctionl integrls of Riemnn Liouville type). Let us consider function k defined lmost everywhere on with vlues in R. For ny function f defined lmost everywhere on (, b) with vlue in R, the generlized frctionl integrl opertor K P is defined for lmost ll t (, b) by: K P [f](t) = λ with P =, t, b, λ, µ, λ, µ R. t k(t, τ)f(τ)dτ + µ t t k(τ, t)f(τ)dτ, (1.12) In prticulr, for suitbly chosen kernels k(t, τ) nd sets P, kernel opertors K P, reduce to the clssicl or vrible order frctionl integrls of Riemnn Liouville type, nd clssicl frctionl integrls of Hdmrd type. Exmple 2. () Let k α (t τ) = 1 Γ(α) (t τ)α 1 nd < α < 1. If P =, t, b, 1,, then K P [f](t) = 1 Γ(α) t (t τ) α 1 f(τ)dτ =: I α t [f](t) is the left Riemnn Liouville frctionl integrl of order α; if P =, t, b,, 1, then K P [f](t) = 1 Γ(α) t (τ t) α 1 f(τ)dτ =: t I α b [f](t) is the right Riemnn Liouville frctionl integrl of order α. 12
1.1. ONE-DIMENSIONAL FRACTIONAL CALCULUS (b) For k α (t, τ) = 1 Γ(α(t,τ)) (t τ)α(t,τ) 1 nd P =, t, b, 1,, K P [f](t) = t 1 Γ(α(t, τ) (t τ)α(t,τ) 1 f(τ)dτ =: I α(, ) t [f](t) is the left Riemnn Liouville frctionl integrl of order α(, ) nd for P =, t, b,, 1 K P [f](t) = t 1 Γ(α(τ, t)) (τ t)α(t,τ) 1 f(τ)dτ =: t I α(, ) b [f](t) is the right Riemnn Liouville frctionl integrl of order α(t, τ). (c) For ny < α < 1, kernel k α (t, τ) = 1 ( ) Γ(α) log t α 1 1 τ τ nd P =, t, b, 1,, the generl opertor K P reduces to the left Hdmrd frctionl integrl: K P [f](t) = 1 t ( log t ) α 1 f(τ)dτ =: J α t [f](t); Γ(α) τ τ nd for P =, t, b,, 1 opertor K P reduces to the right Hdmrd frctionl integrl: K P [f](t) = 1 Γ(α) t ( log τ ) α 1 f(τ)dτ t τ =: t J α b [f](t). (d) Generlized frctionl integrls cn be lso reduced to, e.g., Riesz, Ktugmpol or Kilbs frctionl opertors. Their definitions cn be found in [49 51]. The generlized differentil opertors A P nd B P re defined with the help of the opertor K P. Definition 9 (Generlized frctionl derivtive of Riemnn Liouville type). The generlized frctionl derivtive of Riemnn Liouville type, denoted by A P, is defined by A P = d dt K P. The next differentil opertor is obtined by interchnging the order of the opertors in the composition tht defines A P. Definition 1 (Generlized frctionl derivtive of Cputo type). The generl kernel differentil opertor of Cputo type, denoted by B P, is given by B P = K P d dt. Exmple 3. The stndrd Riemnn Liouville nd Cputo frctionl derivtives (see, e.g., [51,53,91,98]) re esily obtined from the generl kernel opertors A P nd B P, respectively. Let k α (t τ) = 1 Γ(1 α) (t τ) α, α (, 1). If P =, t, b, 1,, then A P [f](t) = 1 d Γ(1 α) dt t (t τ) α f(τ)dτ =: D α t [f](t) 13
CHAPTER 1. FRACTIONAL CALCULUS is the stndrd left Riemnn Liouville frctionl derivtive of order α, while B P [f](t) = 1 Γ(1 α) t (t τ) α f (τ)dτ =: C D α t [f](t) is the stndrd left Cputo frctionl derivtive of order α; if P =, t, b,, 1, then 1 d A P [f](t) = Γ(1 α) dt t (τ t) α f(τ)dτ =: t D α b [f](t) is the stndrd right Riemnn Liouville frctionl derivtive of order α, while 1 B P [f](t) = Γ(1 α) t (τ t) α f (τ)dτ =: C t D α b [f](t) is the stndrd right Cputo frctionl derivtive of order α. 1.2 Multidimensionl Frctionl Clculus In this section, we introduce notions of clssicl, vrible order nd generlized prtil frctionl integrls nd derivtives, in multidimensionl finite domin. They re nturl generliztions of the corresponding frctionl opertors of Section 1.1.1. Furthermore, similrly s in the integer order cse, computtion of prtil frctionl derivtives nd integrls is reduced to the computtion of one-vrible frctionl opertors. Along the work, for i = 1,..., n, let i, b i nd α i be numbers in R nd t = (t 1,..., t n ) be such tht t Ω n, where Ω n = ( 1, b 1 ) ( n, b n ) is subset of R n. Moreover, let us define the following sets: i := { (t i, τ) R 2 : i τ < t i b i }, i = 1..., n. 1.2.1 Clssicl Prtil Frctionl Integrls nd Derivtives In this section we present definitions of clssicl prtil frctionl integrls nd derivtives. Interested reder cn find more detils in Section 24.1 of the book [98]. Definition 11 (Left nd right Riemnn Liouville prtil frctionl integrls). Let t Ω n. The left nd the right prtil Riemnn Liouville frctionl integrls of order α i R (α i > ) with respect to the ith vrible t i re defined by i I α i t i [f](t) := 1 ti Γ(α i ) i f(t 1,..., t i 1, τ, t i+1,..., t n )dτ (t i τ) 1 α, t i i > i, (1.13) nd respectively. t i I α i b i [f](t) := 1 i f(t 1,..., t i 1, τ, t i+1,..., t n )dτ Γ(α i ) t i (τ t i ) 1 α, t i < b i, (1.14) 14
1.2. MULTIDIMENSIONAL FRACTIONAL CALCULUS Definition 12 (Left nd right Riemnn Liouville prtil frctionl derivtives). Let t Ω n. The left prtil Riemnn Liouville frctionl derivtive of order α i R ( < α i < 1) of function f, with respect to the ith vrible t i is defined by t i ( i, b i ], i D α i t i [f](t) := t i I 1 α i t i [f](t). i Similrly, the right prtil Riemnn Liouville frctionl derivtive of order α i of function f, with respect to the ith vrible t i is defined by t i [ i, b i ), t i D α i b i [f](t) := t t i I 1 α i b i [f](t). i Definition 13 (Left nd right Cputo prtil frctionl derivtives). Let t Ω n. The left nd the right prtil Cputo frctionl derivtives of order α i R ( < α i < 1) of function f, with respect to the ith vrible t i re given by t i ( i, b i ], C i D α i t i [f](t) := i I 1 α i t i [ ] f (t), t i nd respectively. t i [ i, b i ), [ ] C t i D α i b i [f](t) := t I 1 α i b i f (t), t i 1.2.2 Vrible Order Prtil Frctionl Integrls nd Derivtives In this section, we introduce the notions of prtil frctionl opertors of vrible order. In the following let us ssume tht α i : i [, 1], α i C 1 ( ; R ), i = 1,..., n, t Ωn nd f : Ω n R. Definition 14. The left Riemnn Liouville prtil integrl of vrible frctionl order α i (, ) with respect to the ith vrible t i, is given by t i > i, while t i i I α i(, ) 1 t i [f](t) := Γ(α i (t i, τ)) (t i τ) α i(t i,τ) 1 f(t 1,..., t i 1, τ, t i+1,..., t n )dτ, i i t i I α i(, ) 1 b i [f](t) := Γ(α i (τ, t i )) (τ t i) α i(τ,t i ) 1 f(t 1,..., t i 1, τ, t i+1,..., t n )dτ, t i t i < b i, is the right Riemnn Liouville prtil integrl of vrible frctionl order α i (, ) with respect to vrible t i. Definition 15. The left Riemnn Liouville prtil derivtive of vrible frctionl order α i (, ), with respect to the ith vrible t i, is given by t i ( i, b i ], i D α i(, ) t i [f](t) = t i I 1 α i(, ) t i [f](t) i 15
CHAPTER 1. FRACTIONAL CALCULUS while the right Riemnn Liouville prtil derivtive of vrible frctionl order α i (, ), with respect to the ith vrible t i, is defined by t i [ i, b i ), t i D α i(, ) b i [f](t) = t t i I 1 α i(, ) b i [f](t). i Definition 16. The left Cputo prtil derivtive of vrible frctionl order α i (, ), with respect to the ith vrible t i, is defined by [ ] C t i ( i, b i ], i D α i(, ) t i [f](t) = i I 1 α i(, ) t i f (t), t i while the right Cputo prtil derivtive of vrible frctionl order α i (, ), with respect to the ith vrible t i, is given by [ ] C t i [ i, b i ), t i D α i(, ) b i [f](t) = ti I 1 α i(, ) b i f (t). t i Note tht, if α i (, ) is constnt function, then the prtil opertors of vrible frctionl order re reduced to corresponding prtil integrls nd derivtives of constnt order introduced in Section 1.2.1. 1.2.3 Generlized Prtil Frctionl Opertors Let us ssume tht λ = (λ 1,..., λ n ) nd µ = (µ 1,..., µ n ) re in R n. We shll present definitions of generlized prtil frctionl integrls nd derivtives. Let k i : i R, i = 1..., n nd t Ω n. Definition 17 (Generlized prtil frctionl integrl). For ny function f defined lmost everywhere on Ω n with vlue in R, the generlized prtil integrl K Pi is defined for lmost ll t i ( i, b i ) by: K Pi [f](t) := λ i t i i where P i = i, t i, b i, λ i, µ i. k i (t i, τ)f(t 1,..., t i 1, τ, t i+1,..., t n )dτ + µ i i t i k i (τ, t i )f(t 1,..., t i 1, τ, t i+1,..., t n )dτ, Definition 18 (Generlized prtil frctionl derivtive of Riemnn Liouville type). The generlized prtil frctionl derivtive of Riemnn Liouville type with respect to the ith vrible t i is given by A Pi := t i K Pi. Definition 19 (Generlized prtil frctionl derivtive of Cputo type). The generlized prtil frctionl derivtive of Cputo type with respect to the ith vrible t i is given by B Pi := K Pi t i. 16
1.2. MULTIDIMENSIONAL FRACTIONAL CALCULUS Exmple 4. Similrly, s in the one-dimensionl cse, prtil opertors K, A nd B reduce to the stndrd prtil frctionl integrls nd derivtives. The left- or right-sided Riemnn Liouville prtil frctionl integrl with respect to the ith vrible t i is obtined by choosing the kernel k α i (t i, τ) = 1 Γ(α i ) (t i τ) α i 1. Tht is, K Pi [f](t) = 1 Γ(α i ) for P i = i, t i, b i, 1,, nd K Pi [f](t) = 1 Γ(α i ) t i i i t i (t i τ) αi 1 f(t 1,..., t i 1, τ, t i+1,..., t n )dτ =: i I αi t i [f](t), (τ t i ) αi 1 f(t 1,..., t i 1, τ, t i+1,..., t n )dτ =: ti I αi b i [f](t), for P i = i, t i, b i,, 1. The stndrd left- nd right-sided Riemnn Liouville nd Cputo prtil frctionl derivtives with respect to ith vrible t i re received by choosing the kernel k α i (t i, τ) = 1 Γ(1 α i ) (t i τ) α i. If P i = i, t i, b i, 1,, then A Pi [f](t) = 1 Γ(1 α i ) t i t i i (t i τ) αi f(t 1,..., t i 1, τ, t i+1,..., t n )dτ =: i D αi t i [f](t), 1 B Pi [f](t) = Γ(1 α i ) If P i = i, t i, b i,, 1, then t i i (t i τ) αi τ f(t 1,..., t i 1, τ, t i+1,..., t n )dτ =: C i D α i t i [f](t). A Pi [f](t) = 1 Γ(1 α i ) t i i t i (τ t i ) αi f(t 1,..., t i 1, τ, t i+1,..., t n )dτ =: ti D αi b i [f](t), B Pi [f](t) = 1 b i (τ t i ) αi Γ(1 α i ) τ f(t 1,..., t i 1, τ, t i+1,..., t n )dτ =: C t i D α i b i [f](t). t i Moreover, one cn esily check, tht lso vrible order prtil frctionl integrls nd derivtievs re prticulr cses of opertors K Pi, A Pi nd B Pi. 17
Chpter 2 Frctionl Clculus of Vritions The clculus of vritions is beutiful nd useful field of mthemtics tht dels with problems of determining extrem (mxim or minim) of functionls. For the first time, serious ttention of scientists ws directed to the vritionl clculus in 1696, when Johnn Bernoulli sked bout the curve with specified endpoints, lying in verticl plne, for which the time tken by mteril point sliding without friction nd under grvity from one end to the other is miniml. This problem gined interest of such scientists s Leibniz, Newton or L Hospitl nd ws clled brchystochrone problem. Afterwrds, student of Bernoulli, the brillint Swiss mthemticin Leonhrd Euler, considered the problem of finding function extremizing (minimizing or mximizing) n integrl subject to the boundry conditions J (y) = F (y(t), ẏ(t), t)dt (2.1) y() = y nd y(b) = y b (2.2) with y C 2 ([, b]; R),, b, y, y b R nd F (u, v, t) stisfying some smoothness properties. He proved tht curve y(t) must stisfy the following necessry condition, so-clled Euler Lgrnge eqution: F (y(t), ẏ(t), t) u d ( ) F (y(t), ẏ(t), t) =. (2.3) dt v Solutions of eqution (2.3) re usully clled extremls. It is importnt to remrk tht the clculus of vritions is very interesting topic becuse of its numerous pplictions in geometry nd differentil equtions, in mechnics nd physics, nd in res s diverse s engineering, medicine, economics, nd renewble resources [27]. In the next exmple we give simple ppliction of the clculus of vritions. Precisely, we present the sop bubble problem, stted by Euler in 1744. Exmple 5 (cf. Exmple 14.1 [27]). In the sop bubble problem we wnt to find surfce of rottion, spnned by two concentric rings of rdius A nd B, which hs the minimum re. This wish is confirmed by experiment nd is bsed on d Alembert principle. In the sense of 19
CHAPTER 2. FRACTIONAL CALCULUS OF VARIATIONS the clculus of vritions, we cn formulte the sop bubble problem in the following wy: we wnt to minimize the vritionl functionl J (y) = y(t) 1 + ẏ(t) 2 dt subject to y() = A, y(b) = B. This is specil cse of problem (2.1)-(2.2) with F (u, v, t) = u 1 + v 2. Let y(t) > t. It is not difficult to verify tht the Euler Lgrnge eqution is given by ÿ(t) = 1 + ẏ(t)2 y(t) nd its solution is the ctenry curve given by ( ) t + c y(t) = k cosh, k where c, k re certin constnts. This thesis is devoted to the frctionl clculus of vritions nd its generliztions. Therefore, in the next sections we present bsic results of the non-integer vritionl clculus. Let us precise, tht long the work we will understnd i F s the prtil derivtive of function F with respect to its ith rgument. 2.1 Frctionl Euler Lgrnge Equtions Within the yers, severl methods were proposed to solve mechnicl problems with nonconservtive forces, e.g., Ryleigh dissiption function method, technique introducing n uxiliry coordinte or pproch including the microscopic detils of the dissiption directly in the Lgrngin. Although, ll mentioned methods re correct, they re not s direct nd simple s it is in the cse of conservtive systems. In the notes from 1996-1997, Riewe presented new pproch to nonconservtive forces [96, 97]. He climed tht friction forces follow from Lgrngins contining terms proportionl to frctionl derivtives. Precisely, for y : [, b] R r nd α i, β j [, 1], i = 1,..., N, j = 1,..., N, he considered the following energy functionl: J (y) = ( F D α 1 t [y](t),..., D α N t [y](t), t D β 1 b [y](t),..., t D β N b ) [y](t), y(t), t with r, N nd N being nturl numbers. Using the frctionl vritionl principle he obtined the following Euler Lgrnge eqution: N N td α i b [ i F ] + D β i t [ i+n F ] + N +N+1F =. (2.4) i=1 i=1 Riewe illustrted his results through the clssicl problem of liner friction. dt, 2
2.1. FRACTIONAL EULER LAGRANGE EQUATIONS Exmple 6 ( [97]). Let us consider the following Lgrngin: F = 1 2 mẏ2 V (y) + 1 2 γi (D 1 2 t [y]) 2, (2.5) where the first term in the sum represents kinetic energy, the second one potentil energy, the lst one is liner friction energy nd i 2 = 1. Using (2.4) we cn obtin the Euler Lgrnge eqution for Lgrngin contining derivtives of order one nd order 1 2 : F y + td 1 2 b F d D 1 2 t [y] dt which, in the cse of Lgrngin (2.5), becomes F ẏ =, ) mÿ = γi (td 1 2b D 1 V (y) 2t [y] y. In order to obtin the eqution with liner friction, mÿ + γẏ + V y =, Riewe suggested considering n infinitesiml time intervl, tht is, the limiting cse b, while keeping < b. After the works of Riewe severl uthors contributed to the theory of the frctionl vritionl clculus. First, let us point out the pproch discussed by Klimek in [52]. It ws suggested to study symmetric frctionl derivtives of order α ( < α < 1) defined s follows: D α := 1 2 D α t + 1 2 t D α b. In contrst to the left nd right frctionl derivtives, opertor D α is symmetric for the sclr product given by tht is, f g := f(t)g(t) dt, D α [f] g = f D α [g]. With this notion for the frctionl derivtive, for α i (, 1) nd y : [, b] R r, i = 1,..., N, Klimek considered the following ction functionl: J (y) = F (D α 1 [y](t),..., D α N [y](t), y(t), t) dt. (2.6) Using the frctionl vritionl principle, she derived the Euler Lgrnge eqution given by N+1 F + N D α i [ i F ] =. (2.7) i=1 21
CHAPTER 2. FRACTIONAL CALCULUS OF VARIATIONS As n exmple Klimek considered the following vritionl functionl J (y) = ( ) 2mẏ 2 (t) γi D 1 2 2 [y](t) V (y(t)) dt nd under pproprite ssumptions rrived to the eqution with liner friction mÿ = V y γẏ. (2.8) Another type of problems, contining Riemnn Liouville frctionl derivtives, ws discussed by Klimek in [53]: J (y) = nd the Euler Lgrnge eqution F ( D α 1 t N+1 F + [y](t),..., D α N t [y](t), y(t), t)dt including frctionl derivtives of the Cputo type ws obtined. The next exmples re borrowed from [53]. N C t D α i b [ i F ] = (2.9) i=1 Exmple 7 (cf. Exmple 4.1.1 of [53]). Let < α < 1 nd y be minimizer of the functionl J (y) = 1 2 y(t) D α t [y](t)dt. Then y is solution to the following Euler Lgrnge eqution: 1 ( D α t [y] + C t D α b 2 [y]) =. Exmple 8 (cf. Exmple 4.1.2 of [53]). Let < α < 1. The model of hrmonic oscilltor, in the frmework of clssicl mechnics, is connected to n ction J (y) = nd is determined by the following eqution [ 12 ] y 2 (t) + ω2 2 y2 (t) dt, (2.1) y + ω 2 y =. (2.11) If in functionl (2.1) insted of derivtive of order one we put derivtive of frctionl order α, then J (y) = [ 12 ] ( D αt [y](t)) 2 + ω2 2 y2 (t) dt nd by (2.9) the Euler Lgrnge eqution hs the following form: C t D α b [ D α t [y]] + ω 2 y =. (2.12) If α 1 +, then eqution (2.12) reduces to (2.11). The proof of this fct, s well s solutions to frctionl hrmonic oscilltor eqution (2.12), cn be found in [53]. 22
2.2. FRACTIONAL EMBEDDING OF EULER LAGRANGE EQUATIONS 2.2 Frctionl Embedding of Euler Lgrnge Equtions The notion of embedding introduced in [3] is n lgebric procedure providing n extension of clssicl differentil equtions over n rbitrry vector spce. This formlism is developed in the frmework of stochstic processes [3], non-differentible functions [31], nd frctionl equtions [29]. The generl scheme of embedding theories is the following: (i) fix vector spce V nd mpping ι : C ([, b], R n ) V ; (ii) extend differentil opertors over V ; (iii) extend the notion of integrl over V. Let (ι, D, J) be given embedding formlism, where liner opertor D : V V tkes plce for generlized derivtive on V, nd liner opertor J : V R tkes plce for generlized integrl on V. The embedding procedure gives two different wys, priori, to generlize Euler Lgrnge equtions. The first (pure lgebric) wy is to mke direct embedding of the Euler Lgrnge eqution. The second (nlytic) is to embed the Lgrngin functionl ssocited to the eqution nd to derive, by the ssocited clculus of vritions, the Euler Lgrnge eqution for the embedded functionl. A nturl question is then the problem of coherence between these two extensions: Coherence problem. Let (ι, D, J) be given embedding formlism. Do we hve equivlence between the Euler Lgrnge eqution which gives the direct embedding nd the one received from the embedded Lgrngin system? As shown in the work [29] for stndrd frctionl differentil clculus, the nswer to the question bove is known to be negtive. To be more precise, let us define the following opertor first introduced in [29]. Definition 2 (Frctionl opertor of order (α, β)). Let, b R, < b nd µ C. We define the frctionl opertor of order (α, β), with α > nd β >, by Dµ α,β = 1 [ ] D α t t D β 2 b + iµ 2 [ ] D α t + t D β b. (2.13) In prticulr, for α = β = 1 one hs Dµ 1,1 = d dt. Moreover, for µ = i we recover the left Riemnn Liouville frctionl derivtive of order α, D α,β i = D α t, nd for µ = i the right Riemnn Liouville frctionl derivtive of order β: D α,β i = t D α b. Now, let us consider the following vritionl functionl: J (y) = F (D α,β µ [y](t), y(t), t)dt defined on the spce of continuous functions such tht D α t [y] together with t D β b [y] exist nd y() = y, y(b) = y b. Using the direct embedding procedure, the Euler Lgrnge eqution derived by Cresson is D β,α µ [ 1F ] = 2 F. (2.14) Using the vritionl principle in derivtion of the Euler Lgrnge eqution, one hs D α,β µ [ 1 F ] = 2 F. (2.15) 23
CHAPTER 2. FRACTIONAL CALCULUS OF VARIATIONS Reder cn esily notice tht, in generl, there is difference between equtions (2.14) nd (2.15) i.e., they re not coherent. Cresson climed [29] tht this lck of coherence hs the following sources: the set of vritions in the method of vritionl principle is to lrge nd therefore it does not give correct nswer; one should find the corresponding constrints for the vritions; there is reltion between lck of coherence nd properties of the opertor used to generlize the clssicl derivtive. Let us observe tht coherence between (2.14) nd (2.15) is restored in the cse when α = β nd µ =. This type of coherence is clled time reversible coherence. For deeper discussion of the subject we refer the reder to [29]. In this chpter we presented few results of the frctionl clculus of vritions. A comprehensive study of the subject cn be found in the books [53, 7]. 24
Prt II Originl Work 25
Chpter 3 Stndrd Methods in Frctionl Vritionl Clculus The model problem of this chpter is to find n dmissible function giving minimum vlue to the integrl functionl, which depends on n unknown function (or functions) of one or severl vribles nd its generlized frctionl derivtives nd/or generlized frctionl integrls. In order to nswer this question, we will mke use of the stndrd methods in the frctionl clculus of vritions (see e.g., [7]). Nmely, by nlogy to the clssicl vritionl clculus (see e.g., [33]), the pproch tht we cll stndrd, is first to prove Euler Lgrnge equtions, find their solutions nd then to check if they re minimizers. It is importnt to remrk tht stndrd methods suffer n importnt disdvntge. Precisely, solvbility of Euler Lgrnge equtions is ssumed, which is not the cse in direct methods tht re going to be presented lter (see Chpter 4). Now, before we describe briefly n rrngement of this chpter, we define the concept of minimizer. Let (X, ) be normed liner spce nd I be functionl defined on nonempty subset A of X. Moreover, let us introduce the following set: if ȳ A nd δ >, then is clled neighborhood of ȳ in A. N δ (ȳ) := {y A : y ȳ < δ} Definition 21. Function ȳ A is clled minimizer of I if there exists neighborhood N δ (ȳ) of ȳ such tht I(ȳ) I(y), for ll y N δ (ȳ). Note tht ny function y N δ (ȳ) cn be represented in convenient wy s perturbtion of ȳ. Precisely, y N δ (ȳ), η A, y = ȳ + hη, h ε, where < ε < δ η nd A is suitble set of functions η such tht A = {η X : ȳ + hη A, h ε}. We begin the chpter with Section 3.1, where we prove generlized integrtion by prts formul nd boundedness of generlized frctionl integrl from L p (, b; R)to L q (, b; R). In Section 3.2 we consider the one-dimensionl fundmentl problem with generlized frctionl opertors nd obtin n pproprite Euler Lgrnge eqution. Then, we prove 27
CHAPTER 3. STANDARD METHODS IN FRACTIONAL VARIATIONAL CALCULUS tht under some convexity ssumptions on Lgrngin, every solution to the Euler Lgrnge eqution is utomticlly solution to our problem. Moreover, s corollries, we obtin results for problems of the constnt nd vrible order frctionl vritionl clculus nd discuss some illustrtive exmples. In Section 3.3 we study vritionl problems with free end points nd besides Euler Lgrnge equtions we prove nturl boundry conditions. As prticulr cses we obtin nturl boundry conditions for problems with constnt nd vrible order frctionl opertors. Section 3.4 is devoted to generlized frctionl isoperimetric problems. We wnt to find functions tht minimize n integrl functionl subject to given boundry conditions nd isoperimetric constrints. We prove necessry optimlity conditions nd, s corollries, we obtin Euler Lgrnge equtions for isoperimetric problems with constnt nd vrible order frctionl opertors. Furthermore, we illustrte our results through severl exmples. In Section 3.5 we prove generlized frctionl counterprt of Noether s theorem. Assuming invrince of the functionl, we prove tht ny extreml must stisfy certin generlized frctionl eqution. Corresponding results re obtined for functionls with constnt nd vrible order frctionl opertors. Section 3.6 is dedicted to vritionl problems defined by the use of the generlized frctionl integrl insted of the clssicl integrl. We obtin Euler Lgrnge equtions nd discuss severl exmples. Finlly, in Section 3.7 we study multidimensionl frctionl vritionl problems with generlized prtil opertors. We begin with the proofs of integrtion by prts formuls for generlized prtil frctionl integrls nd derivtives. Next, we use these results to show Euler Lgrnge equtions for the fundmentl problem. Moreover, we prove generlized frctionl Dirichlet s principle, necessry optimlity condition for the isoperimetric problem nd Noether s theorem. We finish the chpter with some conclusions. 3.1 Properties of Generlized Frctionl Integrls This section is devoted to properties of generlized frctionl opertors. We begin by proving in Section 3.1.1 tht the generlized frctionl opertor K P is bounded nd liner. Lter, in Section 3.1.2, we give integrtion by prts formuls for generlized frctionl opertors. 3.1.1 Boundedness of Generlized Frctionl Opertors Along the work, we ssume tht 1 < p < nd tht q is n djoint of p, tht is 1 p + 1 q = 1. Let us prove the following theorem yielding boundedness of the generlized frctionl integrl K P from L p (, b; R) to L q (, b; R). Theorem 1. Let us ssume tht k L q ( ; R). Then, K P is liner bounded opertor from L p (, b; R) to L q (, b; R). Proof. The linerity is obvious. We will show tht K P is bounded from L p (, b; R) to L q (, b; R). Considering only the first term of K P, let us prove tht the following inequlity holds for ny f L p (, b; R): t q 1/q k(t, τ)f(τ) dτ dt k L q (,R) f L p. (3.1) 28
3.1. PROPERTIES OF GENERALIZED FRACTIONAL INTEGRALS Using Fubini s theorem, we hve k(t, ) L q (, t; R) for lmost ll t (, b). Then, pplying Hölder s inequlity, we hve t q t 1 q t 1 q p t k(t, τ)f(τ) dτ k(t, τ) q dτ f(τ) p dτ k(t, τ) q dτ f q L p (3.2) for lmost ll t (, b). Hence, integrting eqution (3.2) on the intervl (, b), we obtin inequlity (3.1). The proof is completed using the sme strtegy on the second term in the definition of K P. 1 Corollry 1. If p < α < 1, then I α t is liner bounded opertor from L p (, b; R) to L q (, b; R). Proof. Let us denote k α (t, τ) = 1 Γ(α) (t τ)α 1. For 1 p < α < 1 there exist constnt C R such tht for lmost ll t (, b) t k α (t, τ) q dτ C. (3.3) Integrting (3.3) on the (, b) we hve k α (t, τ) L q ( ; R). Therefore, pplying Theorem 1 with P =, t, b, 1, opertor I α t is liner bounded from L p (, b; R) to L q (, b; R). Next result shows tht with the use of Theorem 1, one cn prove tht vrible order frctionl integrl is liner bounded opertor. Corollry 2. Let α : [δ, 1] with δ > 1 p. Then I α(, ) t L p (, b; R) to L q (, b; R). is liner bounded opertor from Proof. Let us denote k α (t, τ) = (t τ) α(t,τ) 1 /Γ(α(t, τ)). We hve just to prove tht k α L q (, R) in order to use Theorem 1. Let us note tht since α is with vlues in [δ, 1] with δ >, then 1/(Γ α) is bounded. Hence, we hve just to prove tht (Γ α)k α L q (, R). We hve two different cses: b 1 nd b > 1. In the first cse, for ny (t, τ), we hve < t τ 1 nd q(δ 1) > 1. Then: t (t τ) q(α(t,τ) 1) dτ t (t τ) q(δ 1) dτ = (t )q(δ 1)+1 q(δ 1) + 1 1 q(δ 1) + 1. In the second cse, for lmost ll (t, τ) (, + 1) (, b), we hve < t τ 1. Consequently, we conclude in the sme wy tht: t (t τ) q(α(t,τ) 1) dτ 1 q(δ 1) + 1. Still in the second cse, for lmost ll (t, τ) ( + 1, b) (, b), we hve τ < t 1 or t 1 τ t. Then: t (t τ) q(α(t,τ) 1) dτ = t 1 t (t τ) q(α(t,τ) 1) dτ+ 29 t 1 (t τ) q(α(t,τ) 1) 1 dτ b 1+ q(δ 1) + 1.