arxiv: v1 [math.oc] 19 Jan 2016

Transcription

1 Direct nd Inverse Vritionl Problems on Time Scles: A Survey Monik Dryl nd Delfim F. M. Torres rxiv: v1 [mth.oc] 19 Jn 216 Abstrct We del with direct nd inverse problems of the clculus of vritions on rbitrry time scles. Firstly, using the Euler Lgrnge eqution nd the strengthened Legendre condition, we give generl form for vritionl functionl to ttin locl minimum t given point of the vector spce. Furthermore, we provide necessry condition for dynmic integro-differentil eqution to be n Euler Lgrnge eqution (Helmholtz s problem of the clculus of vritions on time scles). New nd interesting results for the discrete nd quntum settings re obtined s prticulr cses. Finlly, we consider very generl problems of the clculus of vritions given by the composition of certin sclr function with delt nd nbl integrls of vector vlued field. 1 Introduction The theory of time scles is reltively new re, which ws introduced in 1988 by Stefn Hilger in his Ph.D. thesis [34, 35, 36]. It bridges, generlizes nd extends the trditionl discrete theory of dynmicl systems (difference equtions) nd the the- Monik Dryl Center for Reserch nd Development in Mthemtics nd Applictions (CIDMA), Deprtment of Mthemtics, University of Aveiro, Aveiro, Portugl e-mil:monikdryl@u.pt Delfim F. M. Torres Center for Reserch nd Development in Mthemtics nd Applictions (CIDMA), Deprtment of Mthemtics, University of Aveiro, Aveiro, Portugl e-mil:delfim@u.pt This is preprint of pper whose finl nd definite form will be published in the Springer Volume Modeling, Dynmics, Optimiztion nd Bioeconomics II, Edited by A. A. Pinto nd D. Zilbermn (Eds.), Springer Proceedings in Mthemtics & Sttistics. Submitted 3/Sept/214; Accepted, fter revision, 19/Jn/216. 1

2 2 Monik Dryl nd Delfim F. M. Torres ory for continuous dynmicl systems (differentil equtions) [15] nd the vrious dilects of q-clculus [28, 46] into single unified theory [15, 16, 4]. The clculus of vritions on time scles ws introduced in 24 by Mrtin Bohner [11] (see lso [1, 37]) nd hs been developing rpidly in the pst ten yers, mostly due to its gret potentil for pplictions, e.g., in biology [15], economics [4, 5, 8, 3, 47] nd mthemtics [12, 31, 32, 58]. In order to del with nontrditionl pplictions in economics, where the system dynmics re described on time scle prtly continuous nd prtly discrete, or to ccommodte nonuniform smpled systems, one needs to work with vritionl problems defined on time scle [5, 7, 22, 23]. This survey is orgnized s follows. In Section 2 we review the bsic notions of the time-scle clculus: the concepts of delt derivtive nd delt integrl (Section 2.1); the nlogous bckwrd concepts of nbl differentition nd nbl integrtion (Section 2.2); nd the reltion between delt/forwrd nd nbl/bckwrd pproches (Section 2.3). Then, in Section 3, we review the centrl results of the recent nd powerful clculus of vritions on time scles. Both delt nd nbl pproches re considered (Sections 3.1 nd 3.2, respectively). Our results begin with Section 4, where we investigte inverse problems of the clculus of vritions on time scles. To our best knowledge, nd in contrst with the direct problem, which is lredy well studied in the frmework of time scles [58], the inverse problem hs not been studied before. Its investigtion is prt of the Ph.D. thesis of the first uthor [22]. Let here, for the moment nd just for simplicity, the time scle T be the set R of rel numbers. Given L, Lgrngin function, in the ordinry/direct fundmentl problem of the clculus of vritions one wnts to find extreml curves y :[,b] R n giving sttionry vlues to some ction integrl (functionl) I(y)= L(t,y(t),y (t))dt with respect to vritions of y with fixed boundry conditions y() = y nd y(b) = y b. Thus, if in the direct problem we strt with Lgrngin nd we end up with extreml curves, then one might expect s inverse problem to strt with extreml curves nd serch for Lgrngin. Such inverse problem is considered, in the generl context of time scles, in Section 4.1: we describe generl form of vritionl functionl hving n extremum t given function y under Euler Lgrnge nd strengthened Legendre conditions (Theorem 16). In Corollry 2 the form of the Lgrngin L on the prticulr cse of n isolted time scle is presented nd we end Section 4.1 with some concrete cses nd exmples. We proceed with more common inverse problem of the clculus of vritions in Section 4.2. Indeed, normlly the strting point re not the extreml curves but, insted, the Euler Lgrnge equtions tht such curves must stisfy: L y d L L = dt y y 2 L t y 2 L y y y 2 L y y y = (1)

3 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 3 (we re still keeping, for illustrtive purposes,t=r). This is wht is usully known s the inverse problem of the clculus of vritions: strt with second order ordinry differentil eqution nd determine Lgrngin L (if it exists) whose Euler Lgrnge equtions re the sme s the given eqution. The problem of vritionl formultion of differentil equtions (or the inverse problem of the clculus of vritions) dtes bck to the 19th century. The problem seems to hve been posed by Helmholtz in 1887, followed by severl results from Drboux (1894), Myer (1896), Hirsch (1897), Volterr (1913) nd Dvis (1928, 1929) [55]. There re, however, two different types of inverse problems, depending on the mening of the phrse re the sme s. Do we require the equtions to be the sme or do we llow multipliction by functions to obtin new but equivlent equtions? The first cse is often clled Helmholtz s inverse problem: find conditions under which given differentil eqution is n Euler Lgrnge eqution. The ltter cse is often clled the multiplier problem: given f(t,y,y,y ) =, does function r(t,y,y ) exist such tht the eqution r(t,y,y ) f(t,y,y,y ) = is the Euler Lgrnge eqution of functionl? In this work we re interested in Helmholtz s problem. The nswer to this problem in T = R is clssicl nd well known: the complete solution to Helmholtz s problem is found in the celebrted 1941 pper of Dougls [21]. Let O be second order differentil opertor. Then, the differentil eqution O(y) = is second order Euler Lgrnge eqution if nd only if the Fréchet derivtives of O re self-djoint. A simple exmple illustrting the difference between both inverse problems is the following one. Consider the second order differentil eqution my + hy + ky= f. (2) This eqution is not self-djoint nd, s consequence, there is no vritionl problem with such Euler Lgrnge eqution. However, if we multiply the eqution by p(t) = exp(ht/m), then m d dt [ exp(ht/m)y ] + k exp(ht/m)y=exp(ht/m) f (3) nd now vritionl formultion is possible: the Euler Lgrnge eqution (1) ssocited with 1 [ 1 I(y)= exp(ht/m) 2 my 2 1 ] 2 ky2 f y dt t is precisely (3). A recent theory of the clculus of vritions tht llows to obtin (2) directly hs been developed, but involves Lgrngins depending on frctionl (noninteger) order derivtives [3, 41, 45]. For survey on the frctionl clculus of vritions, which is not our subject here, we refer the reder to [52]. For the time scle T = Z, vilble results on the inverse problem of the clculus of vritions re more recent nd scrcer. In this cse Helmholtz s inverse problem cn be formulted s follows: find conditions under which second order difference eqution is second order discrete Euler Lgrnge eqution. Avilble results in the literture go bck to the works of Crăciun nd Opriş (1996) nd Albu nd Opriş

4 4 Monik Dryl nd Delfim F. M. Torres (1999) nd, more recently, to the works of Hydon nd Mnsfeld (24) nd Bourdin nd Cresson (213) [2, 17, 19, 38]. The min difficulty to obtin nlogous results to those of the clssicl continuous clculus of vritions in the discrete (or, more generlly, in the time-scle) setting is due to the lck of chin rule. This lck of chin rule is esily seen with simple exmple. Let f,g : Z Z be defined by f (t)= t 3, g(t)=2t. Then, ( f g)= ( 8t 3) = 8 ( 3t 2 + 3t+ 1 ) = 24t t+ 8 nd f (g(t)) g(t) = ( 12t 2 + 6t+ 1 ) 2 = 24t t+ 2. Therefore, ( f g) f (g(t)) g(t). The difficulties cused by the lck of chin rule in generl time scle T, in the context of the inverse problem of the clculus of vritions on time scles, re discussed in Section 4.3. To del with the problem, our pproch to the inverse problem of the clculus of vritions uses n integrl perspective insted of the clssicl differentil point of view. As result, we obtin useful tool to identify integro-differentil equtions which re not Euler Lgrnge equtions on n rbitrry time scle T. More precisely, we define the notion of self-djointness of first order integro-differentil eqution (Definition 15) nd its eqution of vrition (Definition 16). Using such property, we prove necessry condition for n integrodifferentil eqution on n rbitrry time scle T to be n Euler Lgrnge eqution (Theorem 17). In order to illustrte } our results we present Theorem 17 in the prticulr time sclest {R,hZ,q Z, h>, q>1 (Corollries 3, 4, nd 5). Furthermore, we discuss equivlences between: (i) integro-differentil equtions (2) nd second order differentil equtions (29) (Proposition 1), nd (ii) equtions of vritions of them on n rbitrry time sclet((21) nd (3), respectively). As result, we show tht it is impossible to prove the ltter equivlence due to lck of generl chin rule on n rbitrry time scle [13, 15]. In Section 5 we ddress the direct problem of the clculus of vritions on time scles by considering vritionl problem which my be found often in economics (see [43] nd references therein). We extremize functionl of the clculus of vritions tht is the composition of certin sclr function with the delt nd nbl integrls of vector vlued field, possibly subject to boundry conditions nd/or isoperimetric constrints. In Section 5.1 we provide generl Euler Lgrnge equtions in integrl form (Theorem 18), trnsverslity conditions re given in Section 5.2, while Section 5.3 considers necessry optimlity conditions for isoperimetric problems on n rbitrry time scle. Interesting corollries nd exmples re presented in Section 5.4. We end with Section 6 of conclusions nd open problems. 2 Preliminries A time scle T is n rbitrry nonempty closed subset of R. The set of rel numbers R, the integers Z, the nturl numbersn, the nonnegtive integers N, n union of closed intervls[,1] [2,7] or the Cntor set re exmples of time scles, while the set of rtionl numbers Q, the irrtionl numbers R\ Q, the complex numbers C or n open intervl like (, 1) re not time scles. Throughout this survey we ssume

5 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 5 tht for,b T, <b, ll intervls re time scles intervls, i.e., [,b]=[,b] T := [,b] T={t T: t b}. Definition 1 (See Section 1.1 of [15]). LetTbe time scle nd t T. The forwrd jump opertor σ : T T is defined by σ(t) := inf{s T:s> t} for t supt nd σ(supt) := supt if supt<+. Accordingly, we define the bckwrd jump opertor ρ :T T by ρ(t) := sup{s T:s< t} for t inft nd ρ(inft) := inft if inft>. The forwrd grininess function µ :T [, ) is defined by µ(t) := σ(t) t nd the bckwrd grininess function ν :T [, ) by ν(t) := t ρ(t). Exmple 1. The two clssicl time scles re R nd Z, representing the continuous nd the purely discrete time, respectively. Other stndrd exmples re the periodic numbers, hz={hk : h>,k Z}, nd the q-scle { } q Z := q Z {}= q k : q>1,k Z {}. Sometimes one considers lso the time scle q N = { q k } : q>1,k N. The following time scle is common:p,b = [k(+b),k(+b)+],,b>. k= Tble 1 nd Exmple 2 present different forms of jump opertors σ nd ρ, nd grininiess functions µ nd ν, in specified time scles. T R hz q Z σ(t) t t+ h qt ρ(t) t t h t q µ(t) h t(q 1) ν(t) h t(q 1) q Tble 1 Exmples of jump opertors nd grininess functions on different time scles. Exmple 2 (See Exmple 1.2 of [6]). Let, b > nd consider the time scle P,b = [k(+b),k(+b)+]. k= Then, σ(t)= (see Figure 1) nd µ(t)= { t if t A 1, t+ b if t A 2, { if t A 1, b if t A 2, ρ(t)= ν(t)= { t b if t B 1, t if t B 2 { b if t B 1, if t B 2,

6 6 Monik Dryl nd Delfim F. M. Torres 2+b +b σ(t) t Fig. 1 Jump opertors of the time scle T=P,b. 2+b +b ρ(t) t where with [k(+b),k(+b)+]= A 1 A 2 = B 1 B 2 k= A 1 = [k(+b),k(+b)+), B 1 = {k(+b)}, k= k= A 2 = {k(+b)+}, B 2 = (k(+b),k(+b)+]. k= In the time-scle theory the following clssifiction of points is used: A point t T is clled right-scttered or left-scttered if σ(t) > t or ρ(t) < t, respectively. A point t is isolted if ρ(t)<t < σ(t). If t < supt nd σ(t) = t, then t is clled right-dense; if t > inft nd ρ(t)=t, then t is clled left-dense. We sy tht t is dense if ρ(t)= t = σ(t). Definition 2 (See Section 1 of [51]). A time scle T is sid to be n isolted time scle provided given ny t T, there is δ > such tht(t δ,t+ δ) T={t}. Definition 3 (See [9]). A time scle T is sid to be regulr if the following two conditions re stisfied simultneously for ll t T: σ(ρ(t)) = t nd ρ(σ(t)) = t. k= 2.1 The delt derivtive nd the delt integrl If f :T R, then we define f σ :T R by f σ (t) := f(σ(t)) for ll t T. The delt derivtive (or Hilger derivtive) of function f : T R is defined for points in the set T κ, where

7 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 7 { T κ T\{supT} if ρ(supt)<supt<, := T otherwise. ( Let us define the sets T κn, n 2, inductively:t κ1 :=T κ nd T κn := T κn 1) κ, n 2. We define delt differentibility in the following wy. Definition 4 (Section 1.1 of [15]). Let f : T R nd t T κ. We define f (t) to be the number (provided it exists) with the property tht given ny ε >, there is neighborhood U (U =(t δ,t+ δ) T for some δ > ) of t such tht f σ (t) f(s) f (t)(σ(t) s) ε σ(t) s for ll s U. A function f is delt differentible ont κ provided f (t) exists for ll t T κ. Then, f :T κ Ris clled the delt derivtive of f ont κ. Theorem 1 (Theorem 1.16 of [15]). Let f :T R nd t T κ. The following hold: 1. If f is delt differentible t t, then f is continuous t t. 2. If f is continuous t t nd t is right-scttered, then f is delt differentible t t with f (t)= f σ (t) f(t). µ(t) 3. If t is right-dense, then f is delt differentible t t if nd only if the limit exists s finite number. In this cse, 4. If f is delt differentible t t, then f(t) f(s) lim s t t s f f(t) f(s) (t)=lim. s t t s f σ (t)= f(t)+ µ(t) f (t). The next exmple is consequence of Theorem 1 nd presents different forms of the delt derivtive on specific time scles. Exmple 3. Let T be time scle. 1. IfT=R, then f :R R is delt differentible t t Rif nd only if f (t)=lim s t f(t) f(s) t s exists, i.e., if nd only if f is differentible (in the ordinry sense) t t nd in this cse we hve f (t)= f (t).

8 8 Monik Dryl nd Delfim F. M. Torres 2. IfT=hZ, h>, then f : hz R is delt differentible t t hz with f (t)= f(σ(t)) f(t) µ(t) = f(t+ h) f(t) h =: h f(t). In the prticulr cse h=1 we hve f (t)= f(t), where is the usul forwrd difference opertor. 3. IfT=q Z, q>1, then for delt differentible function f : q Z R we hve f (t)= f(σ(t)) f(t) µ(t) = f(qt) f(t) (q 1)t =: q f(t) for ll t q Z \{}, i.e., we get the usul Jckson derivtive of quntum clculus [39, 46]. Now we formulte some bsic properties of the delt derivtive on time scles. Theorem 2 (Theorem 1.2 of [15]). Let f,g :T R be delt differentible t t T κ. Then, 1. the sum f + g :T R is delt differentible t t with ( f + g) (t)= f (t)+g (t); 2. for ny constnt α, α f :T R is delt differentible t t with (α f) (t)=αf (t); 3. the product f g :T Ris delt differentible t t with ( f g) (t)= f (t)g(t)+ f σ (t)g (t)= f(t)g (t)+ f (t)g σ (t); 4. if g(t)g σ (t), then f/g is delt differentible t t with ( ) f (t)= f (t)g(t) f(t)g (t) g g(t)g σ. (t) Now we introduce the theory of delt integrtion on time scles. We strt by defining the ssocited clss of functions. Definition 5 (Section 1.4 of [16]). A function f : T R is clled rd-continuous provided it is continuous t right-dense points in T nd its left-sided limits exist (finite) t ll left-dense points int. The set of ll rd-continuous functions f : T R is denoted by C rd = C rd (T) = C rd (T,R). The set of functions f : T R tht re delt differentible nd whose derivtive is rd-continuous is denoted by C 1 rd = C1 rd (T)= C1 rd (T,R). Definition 6 (Definition 1.71 of [15]). A function F : T R is clled delt ntiderivtive of f :T R provided F (t)= f(t) for ll t T κ.

9 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 9 Definition 7. Let T be time scle nd,b T. If f : T κ R is rd-continuous function nd F : T R is n ntiderivtive of f, then the Cuchy delt integrl is defined by f(t) t := F(b) F(). Theorem 3 (Theorem 1.74 of [15]). Every rd-continuous function f hs n ntiderivtive F. In prticulr, if t T, then F defined by is n ntiderivtive of f. F(t) := t f(τ) τ, t T, Theorem 4 (Theorem 1.75 of [15]). If f C rd, then Let us see two specil cses of the delt integrl. σ(t) Exmple 4. Let,b T nd f :T R be rd-continuous. 1. IfT=R, then f(t) t = t f(t)dt, f(τ) τ = µ(t) f(t), t T κ. where the integrl on the right hnd side is the usul Riemnn integrl. 2. If[, b] consists of only isolted points, then µ(t) f(t), if <b, t [,b) f(t) t =, if =b, µ(t) f(t), if >b. t [b,) Now we present some useful properties of the delt integrl. Theorem 5 (Theorem 1.77 of [15]). If,b,c T, < c < b, α R, nd f,g C rd (T,R), then: 1. b ( f(t)+g(t)) t = b f(t) t+ b g(t) t, 2. b α f(t) t = α b f(t) t, 3. b f(t) t = f(t) t, b

10 1 Monik Dryl nd Delfim F. M. Torres 4. b b 7. b f(t) t = c f(t) t =, f(t) t+ b f(t) t, f(t)g (t) t = f(t)g(t) t=b t= b f σ (t)g (t) t = f(t)g(t) t=b t= b c f (t)g σ (t) t, f (t)g(t) t. 2.2 The nbl derivtive nd the nbl integrl The nbl clculus is similr to the delt one of Section 2.1. The difference is tht the bckwrd jump opertor ρ tkes the role of the forwrd jump opertor σ. For function f :T R we define f ρ :T R by f ρ (t) := f(ρ(t)). If T hs rightscttered minimum m, then we definet κ :=T {m}; otherwise, we set T κ :=T: { T\{infT} if <inft<σ(inft), T κ := T otherwise. Let us define the sets T κ, n 2, inductively: T κ 1 := T κ nd T κ n := (T κ n 1) κ, n 2. Finlly, we define T κ κ := T κ T κ. The definition of nbl derivtive of function f :T R t point t T κ is similr to the delt cse (cf. Definition 4). Definition 8 (Section 3.1 of [16]). We sy tht function f : T R is nbl differentible t t T κ if there is number f (t) such tht for ll ε > there exists neighborhood U of t (i.e., U =(t δ,t+ δ) T for some δ > ) such tht f ρ (t) f(s) f (t)(ρ(t) s) ε ρ(t) s for ll s U. We sy tht f (t) is the nbl derivtive of f t t. Moreover, f is sid to be nbl differentible ontprovided f (t) exists for ll t T κ. The min properties of the nbl derivtive re similr to those given in Theorems 1 nd 2, nd cn be found, respectively, in Theorems 8.39 nd 8.41 of [15]. Exmple 5. If T=R, then f (t)= f (t). IfT=hZ, h>, then f (t)= f(t) f(t h) h =: h f(t). For h = 1 the opertor h reduces to the stndrd bckwrd difference opertor f(t)= f(t) f(t 1). We now briefly recll the theory of nbl integrtion on time scles. Similrly s in the delt cse, first we define suitble clss of functions.

11 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 11 Definition 9 (Section 3.1 of [16]). LetTbe time scle nd f :T R. We sy tht f is ld-continuous if it is continuous t left-dense points t T nd its right-sided limits exist (finite) t ll right-dense points. Remrk 1. IfT=R, then f is ld-continuous if nd only if f is continuous. IfT=Z, then ny function is ld-continuous. The set of ll ld-continuous functions f : T R is denoted by C ld = C ld (T) = C ld (T,R); the set of ll nbl differentible functions with ld-continuous derivtive by Cld 1 = C1 ld (T)= C1 ld (T,R). Follows the definition of nbl integrl on time scles. Definition 1 (Definition 8.42 of [15]). A function F : T R is clled nbl ntiderivtive of f : T R provided F (t) = f(t) for ll t T κ. In this cse we define the nbl integrl of f from to b (,b T) by f(t) t := F(b) F(). Theorem 6 (Theorem 8.45 of [15] or Theorem 11 of [42]). Every ld-continuous function f hs nbl ntiderivtive F. In prticulr, if T, then F defined by is nbl ntiderivtive of f. F(t)= f(τ) τ, t T, Theorem 7 (Theorem 8.46 of [15]). If f :T Ris ld-continuous nd t T κ, then ρ(t) f(τ) τ = ν(t) f(t). Properties of the nbl integrl, nlogous to the ones of the delt integrl given in Theorem 5, cn be found in Theorem 8.47 of [15]. Here we give two specil cses of the nbl integrl. Theorem 8 (See Theorem 8.48 of [15]). Assume,b T nd f : T R is ldcontinuous. 1. If T=R, then f(t) t = f(t)dt, where the integrl on the right hnd side is the Riemnn integrl. 2. IfTconsists of only isolted points, then ν(t) f(t), if <b, t (,b] f(t) t =, if =b, ν(t) f(t), if >b. t (b,]

12 12 Monik Dryl nd Delfim F. M. Torres 2.3 Reltion between delt nd nbl opertors It is possible to relte the pproch of Section 2.1 with tht of Section 2.2. Theorem 9 (See Theorems 2.5 nd 2.6 of [6]). If f :T R is delt differentible ont κ nd if f is continuous ont κ, then f is nbl differentible ont κ with ( f (t)= f ) ρ (t) for ll t Tκ. If f :T R is nbl differentible on T κ nd if f is continuous on T κ, then f is delt differentible ont κ with ( f (t)= f ) σ (t) for ll t T κ. (4) Theorem 1 (Proposition 17 of [42]). If function f :T R is continuous, then for ll,b T with <b we hve f(t) t = f(t) t = f ρ (t) t, f σ (t) t. For more generl theory relting delt nd nbl pproches, we refer the reder to the dulity theory of Cputo [18]. 3 Direct problems of the clculus of vritions on time scles There re two vilble pproches to the (direct) clculus of vritions on time scles. The first one, the delt pproch, is widely described in literture (see, e.g., [11, 14, 15, 16, 29, 3, 37, 42, 48, 58, 6]). The ltter one, the nbl pproch, ws introduced minly due to its pplictions in economics (see, e.g., [5, 6, 7, 8]). It hs been shown tht these two types of clculus of vritions re dul [18, 33, 44]. 3.1 The delt pproch to the clculus of vritions In this section we present the bsic informtion bout the delt clculus of vritions on time scles. Let T be given time scle with t lest three points, nd,b T, <b, =mint nd b=mxt. Consider the following vritionl problem on the time scle T:

13 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 13 subject to the boundry conditions ( ) L[y]= L t,y σ (t),y (t) t min (5) y()=y, y(b)=y b, y,y b R n, n N. (6) Definition 11. A function y C 1 rd (T,Rn ) is sid to be n dmissible pth (function) to problem (5) (6) if it stisfies the given boundry conditions y()=y, y(b)=y b. In wht follows the Lgrngin L is understood s function L :T R 2n R, (t,y,v) L(t,y,v), nd by L y nd L v we denote the prtil derivtives of L with respect to y nd v, respectively. Similr nottion is used for second order prtil derivtives. We ssume tht L(t,, ) is differentible in (y,v); L(t,, ), L y (t,, ) nd L v (t,, ) re continuous t ( y σ (t),y (t) ) uniformly t t nd rd-continuous t t for ny dmissible pth y. Let us consider the following norm in C 1 rd : where is the Eucliden norm inr n. y C 1 = sup y(t) + sup y (t), rd t [,b] t [,b] κ Definition 12. We sy tht n dmissible function ŷ C 1 rd (T;Rn ) is locl minimizer (respectively, locl mximizer) to problem (5) (6) if there exists δ > such tht L[ŷ] L[y] (respectively, L[ŷ] L[y]) for ll dmissible functions y C 1 rd (T;Rn ) stisfying the inequlity y ŷ C 1 rd < δ. Locl minimizers (or mximizers) to problem (5) (6) fulfill the delt differentil Euler Lgrnge eqution. Theorem 11 (Delt differentil Euler Lgrnge eqution see Theorem 4.2 of [11]). If ŷ Crd 2 (T;Rn ) is locl minimizer to (5) (6), then the Euler Lgrnge eqution (in the delt differentil form) ( ( ) t,ŷ σ (t),ŷ (t) )=L y t,ŷ σ (t),ŷ (t) holds for t [,b] κ. L v The next theorem provides the delt integrl Euler Lgrnge eqution. Theorem 12 (Delt integrl Euler Lgrnge eqution see [29, 37]). If ŷ(t) C 1 rd (T;Rn ) is locl minimizer of the vritionl problem (5) (6), then there exists vector c R n such tht the Euler Lgrnge eqution (in the delt integrl form) holds for t [,b] κ. ) L v (t,ŷ t σ (t),ŷ (t) = L y (τ,ŷ σ (τ),ŷ (τ)) τ+ c T (7)

14 14 Monik Dryl nd Delfim F. M. Torres In the proof of Theorem 11 nd Theorem 12 time scle version of the Dubois Reymond lemm is used. Lemm 1 (See [11, 3]). Let f C rd, f :[,b] R n. Then f T (t)η (t) t = holds for ll η C 1 rd ([,b],rn ) with η()=η(b)= if nd only if f(t)=cfor ll t [,b] κ, c R n. The next theorem gives second order necessry optimlity condition for problem (5) (6). Theorem 13 (Legendre condition see Result 1.3 of [11]). If ŷ C 2 rd (T;Rn ) is locl minimizer of the vritionl problem (5) (6), then A(t)+ µ(t) { C(t)+C T (t)+ µ(t)b(t)+(µ(σ(t))) A(σ(t)) }, (8) t [,b] κ2, where ) A(t)=L vv (t,ŷ σ (t),ŷ (t), ) B(t)=L yy (t,ŷ σ (t),ŷ (t), ) C(t)=L yv (t,ŷ σ (t),ŷ (t) nd where α = 1 α if α R\{} nd =. Remrk 2. If (8) holds with the strict inequlity >, then it is clled the strengthened Legendre condition. 3.2 The nbl pproch to the clculus of vritions In this section we consider problem of the clculus of vritions tht involves functionl with nbl derivtive nd nbl integrl. The motivtion to study such vritionl problems is coming from pplictions, in prticulr from economics [5, 8]. Let T be given time scle, which hs sufficiently mny points in order for ll clcultions to mke sense, nd let,b T, < b. The problem consists of minimizing or mximizing ( ) L[y]= L t,y ρ (t),y (t) t (9)

15 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 15 in the clss of functions y C 1 ld (T;Rn ) subject to the boundry conditions y()=y, y(b)=y b, y,y b R n, n N. (1) Definition 13. A function y C 1 ld (T,Rn ) is sid to be n dmissible pth (function) to problem (9) (1) if it stisfies the given boundry conditions y()=y, y(b)=y b. As before, the Lgrngin L is understood s function L :T R 2n R,(t,y,v) L(t,y,v). We ssume tht L(t,, ) is differentible in (y,v); L(t,, ), L y (t,, ) nd L v (t,, ) re continuous t ( y ρ (t),y (t) ) uniformly t t nd ld-continuous t t for ny dmissible pth y. Let us consider the following norm in C 1 ld : with the Eucliden norm in R n. y C 1 = sup y(t) + sup y (t) ld t [,b] t [,b] κ Definition 14 (See [4]). We sy tht n dmissible function y C 1 ld (T;Rn ) is locl minimizer (respectively, locl mximizer) for the vritionl problem (9) (1) if there exists δ > such tht L[ŷ] L[y] (respectively, L[ŷ] L[y]) for ll y C 1 ld (T;Rn ) stisfying the inequlity y ŷ C 1 ld < δ. In cse of the first order necessry optimlity condition for nbl vritionl problem on time scles (9) (1), the Euler Lgrnge eqution tkes the following form. Theorem 14 (Nbl Euler Lgrnge eqution see [58]). If function ŷ Cld 1 (T;Rn ) provides locl extremum to the vritionl problem (9) (1), then ŷ stisfies the Euler Lgrnge eqution (in the nbl differentil form) ( ( ) t,y ρ (t),y (t) )=L y t,y ρ (t),y (t) for ll t [,b] κ. L v Now we present the fundmentl lemm of the nbl clculus of vritions on time scles. Lemm 2 (See [47]). Let f C ld ([,b],r n ). If f(t)η (t) t = for ll η C 1 ld ([,b],rn ) with η() = η(b) =, then f(t) = c for ll t [,b] κ, c R n. For good survey on the direct clculus of vritions on time scles, covering both delt nd nbl pproches, we refer the reder to [58].

16 16 Monik Dryl nd Delfim F. M. Torres 4 Inverse problems of the clculus of vritions on time scles This section is devoted to inverse problems of the clculus of vritions on n rbitrry time scle. To our best knowledge, the inverse problem hs not been studied before 214 [22, 24, 27] in the frmework of time scles, in contrst with the direct problem, tht estblishes dynmic equtions of Euler Lgrnge type to time-scle vritionl problems, tht hs now been investigted for ten yers, since 24 [11]. To begin (Section 4.1) we consider n inverse extreml problem ssocited with the following fundmentl problem of the clculus of vritions: to minimize ( ) L[y]= L t,y σ (t),y (t) t (11) subject to boundry conditions y() = y (), y(b) = y (b) on given time scle T. The Euler Lgrnge eqution nd the strengthened Legendre condition re used in order to describe generl form of vritionl functionl (11) tht ttins n extremum t given function y. In the ltter Section 4.2, we introduce completely different pproch to the inverse problem of the clculus of vritions, using n integrl perspective insted of the clssicl differentil point of view [17, 2]. We present sufficient condition of self-djointness for n integro-differentil eqution (Lemm 3). Using this property, we prove necessry condition for n integrodifferentil eqution on n rbitrry time scle T to be n Euler Lgrnge eqution (Theorem 17), relted to property of self-djointness (Definition 15) of its eqution of vrition (Definition 16). 4.1 A generl form of the Lgrngin The problem under our considertion is to find generl form of the vritionl functionl ( ) L[y]= L t,y σ (t),y (t) t (12) subject to boundry conditions y()= y(b)=, possessing locl minimum t zero, under the Euler Lgrnge nd the strengthened Legendre conditions. We ssume tht L(t,, ) is C 2 -function with respect to(y,v) uniformly in t, nd L, L y, L v, L vv C rd for ny dmissible pth y( ). Observe tht under our ssumptions, by Tylor s theorem, we my write L, with the big O nottion, in the form where L(t,y,v)=P(t,y)+Q(t,y)v+ 1 2 R(t,y,)v2 + O(v 3 ), (13)

17 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 17 P(t,y)=L(t,y,), Q(t,y)=L v (t,y,), R(t,y,)=L vv (t,y,). Let R(t,y,v)=R(t,y,)+O(v). Then, one cn write (13) s L(t,y,v)=P(t,y)+Q(t,y)v+ 1 2 R(t,y,v)v2. Now the ide is to find generl forms of P(t,y σ (t)), Q(t,y σ (t)) nd R(t,y σ (t),y (t)) using the Euler Lgrnge (7) nd the strengthened Legendre (8) conditions with nottion (14). Then we use the Euler Lgrnge eqution (7) nd choose n rbitrry function P(t,y σ (t)) such tht P(t, ) C 2 with respect to the second vrible, uniformly in t, P nd P y rd-continuous in t for ll dmissible y. We cn write the generl form of Q s Q(t,y σ (t))= C+ P y (τ,) τ+ q(t,y σ (t)) q(t,), where C R nd q is n rbitrrily function such tht q(t, ) C 2 with respect to the second vrible, uniformly in t, q nd q y re rd-continuous in t for ll dmissible y. From the strengthened Legendre condition (8), with nottion (14), we set { } R(t,,)+ µ(t) 2Q y (t,)+ µ(t)p yy (t,)+(µ σ (t)) R(σ(t),,) = p(t) (15) with p C rd ([,b]), p(t)>for ll t [,b] κ2, chosen rbitrry, where α = 1 α if α R\{} nd =. We obtin the following theorem, which presents generl form of the integrnd L for functionl (12). Theorem 15. Let T be n rbitrry time scle. If functionl (12) with boundry conditions y() = y(b) = ttins locl minimum t ŷ(t) under the strengthened Legendre condition, then its Lgrngin L tkes the form ( ) L t,y σ (t),y (t) = P(t,y σ (t)) + C+ + ( p(t) µ(t) P y (τ,) τ+ q(t,y σ (t)) q(t,) y (t) { } 2Q y (t,)+ µ(t)p yy (t,)+(µ σ (t)) R(σ(t),,) ) + w(t,y σ (t),y (y (t)) 2 (t)) w(t,,), 2 (14)

18 18 Monik Dryl nd Delfim F. M. Torres where R(t,,) is solution of eqution (15), C R, α = 1 α if α R\{} nd =. Functions P, p, q nd w re rbitrry functions stisfying: (i) P(t, ),q(t, ) C 2 with respect to the second vrible uniformly in t; P, P y, q, q y re rd-continuous in t for ll dmissible y; P yy (,) is rd-continuous in t; p C 1 rd with p(t)> for ll t [,b] κ2 ; (ii) w(t,, ) C 2 with respect to the second nd the third vrible, uniformly in t; w,w y,w v,w vv re rd-continuous in t for ll dmissible y. Proof. See [24]. Now we consider the generl sitution when the vritionl problem consists in minimizing (12) subject to rbitrry boundry conditions y()=y () nd y(b)= y (b), for certin given function y C 2 rd ([,b]). Theorem 16. Let T be n rbitrry time scle. If the vritionl functionl (12) with boundry conditions y()=y (), y(b)=y (b), ttins locl minimum for certin given function y ( ) Crd 2 ([,b]) under the strengthened Legendre condition, then its Lgrngin L hs the form ( ) L t,y σ (t),y (t) )=P(t,y σ (t) y (y σ (t))+ (t) y (t) ( C+ P y (τ, y σ (τ)) τ+ q(t,yσ (t) y σ (t)) q(t, yσ (t)) + 1 p(t) 2 { } µ(t) 2Q y (t, y σ (t))+ µ(t)p yy(t, y σ (t))+(µσ (t)) R(σ(t), y σ (t), y (t)) + w(t,y σ (t) y σ (t),y (t) y (t)) w ( t, y σ (t), y (t) ) ) (y (t) y (t) ) 2, where C R nd functions P, p, q, w stisfy conditions (i) nd (ii) of Theorem 15. Proof. See [24]. For the clssicl situtiont=r, Theorem 16 gives recent result of [53, 54]. Corollry 1 (Theorem 4 of [53]). If the vritionl functionl L[y]= L(t,y(t),y (t))dt ttins locl minimum t y ( ) C 2 [,b] when subject to boundry conditions y()=y () nd y(b)=y (b) nd the clssicl strengthened Legendre condition then its Lgrngin L hs the form R(t,y (t),y (t))>, t [,b],

19 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 19 L(t,y(t),y (t))=p(t,y(t) y (t)) +(y (t) y (t)) C+ P y (τ, y (τ))dτ+ q(t,y(t) y (t)) q(t, y (t)) + 1 ( p(t)+w(t,y(t) y (t),y (t) y 2 (t)) w(t, y (t), y (t)) ) (y (t) y (t)) 2, where C R. In the prticulr cse of n isolted time scle, where µ(t) for ll t T, we get the following corollry. Corollry 2. LetTbe n isolted time scle. If functionl (12) subject to the boundry conditions y() = y(b) = ttins locl minimum t ŷ(t) under the strengthened Legendre condition, then the Lgrngin L hs the form ( ) L t,y σ (t),y (t) = P(t,y σ (t)) + C+ + e r (t,)r + P y (τ,) τ+ q(t,y σ (t)) q(t,) y (t) e r (t,σ(τ))s(τ) τ+ w(t,y σ (t),y (t)) w(t,,) (y (t)) 2, 2 where C,R Rnd r(t) nd s(t) re given by r(t) := 1+ µ(t)(µσ (t)) µ 2 (t)(µ σ (t)), s(t) := p(t) µ(t)[2q y(t,)+ µ(t)p yy (t,)] µ 2 (t)(µ σ (t)) (16) with α = 1 α if α R\{} nd =, nd functions P, p, q, w stisfy ssumptions of Theorem 15. Bsed on Corollry 2, we present the form of Lgrngin L in the periodic time scle T=hZ. Exmple 6. Let T=hZ, h>, nd,b hz with <b. Then µ(t) h. Consider the vritionl functionl L[y]=h b h 1 k= h L(kh,y(kh+h), h y(kh)) (17) subject to the boundry conditions y()=y(b)=, which ttins locl minimum t ŷ(kh) under the strengthened Legendre condition R(kh,,)+2hQ y (kh,)+h 2 P yy (kh,)+r(kh+h,,)>,

20 2 Monik Dryl nd Delfim F. M. Torres kh [,b 2h] hz. Functions r(t) nd s(t) (see (16)) hve the following form: Hence, r(t) 2 p(t), s(t)= h h (2Q y(t,)+hp yy (t,)). e r (t,σ(τ))s(τ) τ = P y (τ,) τ = h t h 1 i= h t h 1 i= h P y (ih,), ( 1) t h i 1( p(ih) 2hQ y (ih,) h 2 P yy (ih,) ). Thus, the Lgrngin L of the vritionl functionl (17) ont=hz hs the form L(kh,y(kh+h), h y(kh))=p(kh,y(kh+h)) + C ( k 1 i= h hp y (ih,)+q(kh,y(kh+h)) q(kh,) h y(kh) ( 1) k h R + k 1 i= h ( 1) k i 1( p(ih) 2hQ y (ih,) h 2 P yy (ih,) ) + w(kh,y(kh+h), h y(kh)) w(kh,,) ) ( h y(kh)) 2, where functions P, p, q, w re rbitrry but stisfy ssumptions of Theorem Necessry condition for n Euler Lgrnge eqution This section provides necessry condition for n integro-differentil eqution on n rbitrry time scle to be n Euler Lgrnge eqution (Theorem 17). For tht the notions of self-djointness (Definition 15) nd eqution of vrition (Definition 16) re essentil. Definition 15 (First order self-djoint integro-differentil eqution). A first order integro-differentil dynmic eqution is sid to be self-djoint if it hs the form Lu(t)=const, where Lu(t)= p(t)u (t)+ with p,r C rd, p for ll t T nd t T. t [r(s)u σ (s)] s (18) Let D be the set of ll functions y :T R such tht y :T κ R is continuous. A function y Dis sid to be solution of (18) provided Ly(t)=const holds for ll

21 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 21 t T κ. For simplicity, we use the opertors[ ] nd defined s [y](t) :=(t,y σ (t),y (t)), y (t) :=(t,y σ (t),y (t),y (t)), (19) nd prtil derivtives of function (t,y,v,z) L(t,y,v,z) re denoted by 2 L = L y, 3 L=L v, 4 L=L z. Definition 16 (Eqution of vrition). Let H[y](t)+ t G[y](s) s=const (2) be n integro-differentil eqution on time scles with H v, t F y [y](t), t F v [y](t) C rd (T,R) long every curve y, where F {G,H}. The eqution of vrition ssocited with (2) is given by H y [u](t)u σ (t)+h v [u](t)u (t)+ t G y [u](s)u σ (s)+g v [u](s)u (s) s=. (21) Lemm 3 (Sufficient condition of self-djointness). Let (2) be given integrodifferentil eqution. If H y [y](t)+g v [y](t)=, then its eqution of vrition (21) is self-djoint. Proof. See [27]. Now we provide n nswer to the generl inverse problem of the clculus of vritions on time scles. Theorem 17 (Necessry condition for n Euler Lgrnge eqution in integrl form). Let T be n rbitrry time scle nd H(t,y σ (t),y (t))+ t G(s,y σ (s),y (s)) s=const (22) be given integro-differentil eqution. If (22) is to be n Euler Lgrnge eqution, then its eqution of vrition (21) is self-djoint in the sense of Definition 15. Proof. See [27]. Remrk 3. In prcticl terms, Theorem 17 is useful to identify equtions tht re not Euler Lgrnge: if the eqution of vrition (21) of given dynmic eqution (2) is not self-djoint, then we conclude tht (2) is not n Euler Lgrnge eqution.

22 22 Monik Dryl nd Delfim F. M. Torres Now we present n exmple of second order differentil eqution on time scles which is not n Euler Lgrnge eqution. Exmple 7. Let us consider the following second-order liner oscilltor dynmic eqution on n rbitrry time sclet: y (t)+y (t) t =. (23) We my write eqution (23) in integro-differentil form (2): y (t)+ t ( ) y (s) s s=const, (24) where H[y](t)=y (t) nd G[y](t)=y (t) t. Becuse H y [y](t)=g y [y](t)=, H v [y](t)=g v [y](t)=1, the eqution of vrition ssocited with (24) is given by u (t)+ t u (s) s= u (t)+u(t)= u(t ). (25) We my notice tht eqution (25) cnnot be written in form (18), hence, it is not self-djoint. Following Theorem 17 (see Remrk 3) we conclude tht eqution (23) is not n Euler Lgrnge eqution. Now we consider the prticulr cse of Theorem 17 when T = R nd y C 2 ([t,t 1 ];R). In this cse opertor[ ] of (19) hs the form while condition (18) cn be written s [y](t)=(t,y(t),y (t))=:[y] R (t), p(t)u (t)+ Corollry 3. If given integro-differentil eqution H(t,y(t),y (t))+ t r(s)u(s)ds=const. (26) t G(s,y(s),y (s))ds=const is to be the Euler Lgrnge eqution of the vritionl problem

23 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 23 1 I[y]= L(t,y(t),y (t))dt (cf., e.g., [59]), then its eqution of vrition H y [u] R (t)u(t)+h v [u] R (t)u (t)+ t t G y [u] R (s)u(s)+g v [u] R (s)u (s)ds= must be self-djoint, in the sense of Definition 15 with (18) given by (26). Proof. Follows from Theorem 17 with T = R. Now we consider the prticulr cse of Theorem 17 whent=hz, h>. In this cse opertor[ ] of (19) hs the form [y](t)=(t,y(t+ h), h y(t))=:[y] h (t), where y(t+ h) y(t) h y(t)=. h ForT=hZ, h>, condition (18) cn be written s p(t) h u(t)+ t h 1 Corollry 4. If given difference eqution H(t,y(t+ h), h y(t))+ k= t h hr(kh)u(kh+h)= const. (27) t h 1 k= t h hg(kh,y(kh+h), h y(kh))=const is to be the Euler Lgrnge eqution of the discrete vritionl problem I[y]= t 1h 1 (cf., e.g., [1]), then its eqution of vrition H y [u] h (t)u(t+ h)+h v [u] h (t) h u(t) + h k= t h hl(kh,y(kh+h), h y(kh)) t h 1 k= t h (G y [u] h (kh)u(kh+h)+g v [u] h (kh) h u(kh))= is self-djoint, in the sense of Definition 15 with (18) given by (27).

24 24 Monik Dryl nd Delfim F. M. Torres Proof. Follows from Theorem 17 with T = hz. Finlly, let us consider the prticulr cse of Theorem 17 when T=q Z = q Z {}, where q Z = { q k : k Z,q>1 }. In this cse opertor[ ] of (19) hs the form [y] q Z(t)=(t,y(qt), q y(t))=:[y] q (t), where q y(t)= y(qt) y(t). (q 1)t ForT=q Z, q>1, condition (18) cn be written s (cf., e.g., [56]): Corollry 5. If given q-eqution p(t) q u(t)+(q 1) sr(s)u(qs) = const. (28) s [t,t) T H(t,y(qt), q y(t))+(q 1) sg(s,y(qs), q y(s))=const, s [t,t) T q>1, is to be the Euler Lgrnge eqution of the vritionl problem I[y]=(q 1) tl(t,y(qt), q y(t)), t [t,t 1 ) T t,t 1 q Z, then its eqution of vrition H y [u] q (t)u(qt)+h v [u] q (t) q u(t) +(q 1) s(g y [u] q (s)u(qs)+g v [u] q (s) q u(s))= s [t,t) T is self-djoint, in the sense of Definition 15 with (18) given by (28). Proof. ChooseT=q Z in Theorem 17. More informtion bout Euler Lgrnge equtions for q-vritionl problems my be found in [29, 46, 49] nd references therein. 4.3 Discussion On n rbitrry time scle T, we cn esily show equivlence between the integrodifferentil eqution (2) nd the second order differentil eqution (29) below (Proposition 1). However, when we consider equtions of vritions of them, we notice tht it is not possible to prove n equivlence between them on n rbitrry time scle. The min reson of this impossibility, even in the discrete time sclez, is

25 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 25 the bsence of generl chin rule on n rbitrry time scle (see, e.g., Exmple 1.85 of [15]). However, on T = R we cn present this equivlence (Proposition 2). Proposition 1 (See [27]). The integro-differentil eqution (2) is equivlent to second order delt differentil eqution ( ) W t,y σ (t),y (t),y (t) =. (29) LetTbe time scle such tht µ is delt differentible. The eqution of vrition of second order differentil eqution (29) is given by W z u (t)u (t)+w v u (t)u (t)+w y u (t)u σ (t)=. (3) On n rbitrry time scle it is impossible to prove the equivlence between the eqution of vrition (21) nd (3). Indeed, fter differentiting both sides of eqution (21) nd using the product rule given by Theorem 2, one hs H y [u](t)u σ (t)+h y [u](t)u σσ (t)+h v [u](t)u (t)+h v [u](t)u σ (t) The direct clcultions + G y [u](t)u σ (t)+g v [u](t)u (t)=. (31) H y [u](t)u σ (t)=h y [u](t)(u (t)+ µ (t)u (t)+ µ σ (t)u (t)), H y [u](t)uσσ (t)=h y [u](t)(uσ (t)+ µ σ (t)u (t)+ µ(t)µ σ (t)u (t)), H v [u](t)u σ (t)=h v [u](t)(u (t)+ µu (t)), nd the fourth item of Theorem 1, llow us to write eqution (31) in form u (t)[µ(t)h y [u](t)+h v [u](t)] σ [ ] + u (t) H y [u](t)+(µ(t)h y [u](t)) + Hv [u](t)+g v [u](t) [ ] + u σ (t) Hy [u](t)+g y[u](t) =. (32) We re not ble to prove tht the coefficients of (32) re the sme s in (3), respectively. This is due to the fct tht we cnnot find the prtil derivtives of (29), tht is, W z u (t), W v u (t) nd W y u (t), from eqution (3) becuse of lck of generl chin rule in n rbitrry time scle [13]. The equivlence, however, is true fort= R. Opertor hs in this cse the form y (t)=(t,y(t),y (t),y (t))=: y R (t). Proposition 2 (See [27]). The eqution of vrition H y [u] R (t)u(t)+h v [u] R (t)u (t)+ is equivlent to the second order differentil eqution t G y [u] R (s)u(s)+g v [u] R (s)u (s)ds=

26 26 Monik Dryl nd Delfim F. M. Torres W z u R (t)u (t)+w v u R (t)u (t)+w y u R (t)u(t)=. Proposition 2 llows us to obtin the clssicl result of [2, Theorem II] s corollry of our Theorem 17. The bsence of chin rule on n rbitrry time scle (even for T=Z) implies tht the clssicl pproch [2] fils on time scles. This is the reson why we use here completely different pproch to the subject bsed on the integro-differentil form. The cse T = Z ws recently investigted in [17]. However, similrly to [2], the pproch of [17] is bsed on the differentil form nd cnnot be extended to generl time scles. 5 The delt-nbl clculus of vritions for composition functionls The delt-nbl clculus of vritions hs been introduced in [42]. Here we investigte more generl problems of the time-scle clculus of vritions for functionl tht is the composition of certin sclr function with the delt nd nbl integrls of vector vlued field. We begin by proving generl Euler Lgrnge equtions in integrl form (Theorem 18). Then we consider cses when initil or terminl boundry conditions re not specified, obtining corresponding trnsverslity conditions (Theorems 19 nd 2). Furthermore, we prove necessry optimlity conditions for generl isoperimetric problems given by the composition of delt-nbl integrls (Theorem 21). Finlly, some illustrting exmples re presented (Section 5.4). 5.1 The Euler Lgrnge equtions Let us begin by defining the clss of functions Ck,n 1 ([,b];r), which contins delt nd nbl differentible functions. Definition 17. By Ck,n 1 ([,b];r), k,n N, we denote the clss of functions y : [,b] R such tht: if k nd n, then y is continuous on [,b] κ κ nd y is continuous on[,b] κ, κ where[,b] κ κ :=[,b] κ [,b] κ ; if n=, then y is continuous on[,b] κ ; if k=, then y is continuous on[,b] κ. Our im is to find function y which minimizes or mximizes the following vritionl problem: L[y]=H f 1 (t,y σ (t),y (t)) t,..., f k+1 (t,y ρ (t),y (t)) t,..., f k (t,y σ (t),y (t)) t, f k+n (t,y ρ (t),y (t)) t, (33)

27 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 27 (y()=y ), (y(b)=y b ). (34) The prentheses in (34), round the end-point conditions, mens tht those conditions my or my not occur (it is possible tht one or both y() nd y(b) re free). A function y Ck,n 1 is sid to be dmissible provided it stisfies the boundry conditions (34) (if ny is given). For k = problem (33) (34) becomes nbl problem (neither delt integrl nor delt derivtive is present); for n = problem (33) (34) reduces to delt problem (neither nbl integrl nor nbl derivtive is present). For simplicity, we use the opertors[ ] nd{ } defined by We ssume tht: [y](t) :=(t,y σ (t),y (t)), {y}(t) :=(t,y ρ (t),y (t)). 1. the function H :R n+k R hs continuous prtil derivtives with respect to its rguments, which we denote by H i, i=1,...,n+k; 2. functions(t,y,v) f i (t,y,v) from [,b] R 2 to R, i=1,...,n+k, hve prtil continuous derivtives with respect to y nd v uniformly in t [,b], which we denote by f iy nd f iv ; 3. f i, f iy, f iv re rd-continuous on [,b] κ, i=1,...,k, nd ld-continuous on [,b] κ, i=k+1,...,k+n, for ll y C 1 k,n. Definition 18 (Cf. [42]). We sy tht n dmissible function ŷ Ck,n 1 ([,b];r) is locl minimizer (respectively, locl mximizer) to problem (33) (34), if there exists δ > such tht L[ŷ] L[y] (respectively, L[ŷ] L[y]) for ll dmissible functions y Ck,n 1 ([,b];r) stisfying the inequlity y ŷ 1, < δ, where with y := sup t [,b] κ κ y(t). y 1, := y σ + y + y ρ + y For brevity, in wht follows we omit the rgument of H i. Precisely, where H i := H F i (F 1 (y),...,f k+n (y)), i=1,...,n+k, F i (y)= F i (y)= f i [y](t) t, for i=1,...,k, f i {y}(t) t, for i=k+1,...,k+n. Depending on the given boundry conditions, we cn distinguish four different problems. The first one is the problem (P b ), where the two boundry conditions re specified. To solve this problem we need n Euler Lgrnge necessry optimlity

28 28 Monik Dryl nd Delfim F. M. Torres condition, which is given by Theorem 18 below. Next two problems denoted by (P ) nd(p b ) occur when y() is given nd y(b) is free (problem(p )) nd when y() is free nd y(b) is specified (problem(p b )). To solve both of them we need n Euler Lgrnge eqution nd one proper trnsverslity condition. The lst problem denoted by(p) occurs when both boundry conditions re not present. To find solution for such problem we need to use n Euler Lgrnge eqution nd two trnsverslity conditions (one t ech time nd b). Theorem 18 (The Euler Lgrnge equtions in integrl form). If ŷ is locl solution to problem (33) (34), then the Euler Lgrnge equtions (in integrl form) k i=1 nd k i=1 hold. H i f iv [ŷ](ρ(t)) + H i f iv [ŷ](t) + Proof. See [26]. k+n i=k+1 k+n i=k+1 ρ(t) f iy [ŷ](τ) τ H i f iv {ŷ}(t) f iy [ŷ](τ) τ H i f iv {ŷ}(σ(t)) σ(t) f iy {ŷ}(τ) τ =c, t T κ, (35) f iy {ŷ}(τ) τ =c, t T κ, (36) For regulr time scles (Definition 3), the Euler Lgrnge equtions (35) nd (36) coincide; on generl time scle, they re different. Such difference is illustrted in Exmple 8. For such purpose let us define ξ nd χ by ξ(t) := χ(t) := k i=1 k+n i=k+1 H i f iv [ŷ](t) H i f iv {ŷ}(t) f iy [ŷ](τ) τ, f iy {ŷ}(τ) τ. Exmple 8. Let us consider the irregulr time scle T=P 1,1 = [2k,2k+1]. We show tht for this time scle there is difference between the Euler Lgrnge equtions (35) nd (36). The forwrd nd bckwrd jump opertors re given by k= (37)

29 Direct nd Inverse Vritionl Problems on Time Scles: A Survey 29 t, t t, t (2k,2k+1], [2k,2k+1), k= k= σ(t)= t+ 1, t ρ(t)= t 1, t {2k}, {2k+1}, k=1 k=, t =. k= For t = nd t (2k,2k+1), equtions (35) nd (36) coincide. We cn dis- tinguish between them for t {2k+1} nd t {2k}. In wht follows we k= use the nottions (37). If t {2k+1}, then we obtin from (35) nd (36) the k= Euler Lgrnge equtions ξ(t)+ χ(t)=c nd ξ(t)+ χ(t+ 1)=c, respectively. If t {2k}, then the Euler Lgrnge eqution (35) hs the form ξ(t 1)+ χ(t)= c k=1 while (36) tkes the form ξ(t) + χ(t) = c. k=1 5.2 Nturl boundry conditions In this section we minimize or mximize the vritionl functionl (33), but initil nd/or terminl boundry condition y() nd/or y(b) re not specified. In wht follows we obtin corresponding trnsverslity conditions. Theorem 19 (Trnsverslity condition t the initil time t = ). Let T be time scle for which ρ(σ())=. If ŷ is locl extremizer to (33) with y() not specified, then k i=1 H i f iv [ŷ]()+ k+n i=k+1 H i f iv {ŷ}(σ()) σ() holds together with the Euler Lgrnge equtions (35) nd (36). Proof. See [26]. f iy {ŷ}(t) t = Theorem 2 (Trnsverslity condition t the terminl time t = b). Let T be time scle for which σ(ρ(b)) = b. If ŷ is locl extremizer to (33) with y(b) not specified, then k i=1 H i f iv [ŷ](ρ(b))+ ρ(b) f iy [ŷ](t) t + k+n i=k+1 holds together with the Euler Lgrnge equtions (35) nd (36). Proof. See [26]. H i f iv{ŷ}(b)=

30 3 Monik Dryl nd Delfim F. M. Torres Severl interesting results cn be immeditely obtined from Theorems 18, 19 nd 2. An exmple of such results is given by Corollry 6. Corollry 6. If ŷ is solution to the problem b f 1 (t,y σ (t),y (t)) t L[y]= extr, b f 2 (t,y ρ (t),y (t)) t (y()=y ), (y(b)=y b ), then the Euler Lgrnge equtions 1 F 2 f 1v [ŷ](ρ(t)) ρ(t) f 1y [ŷ](τ) τ F 1 f 2v {ŷ}(t) F 2 2 f 2y {ŷ}(τ) τ =c, t T κ, nd 1 f 1v [ŷ](t) F 2 f 1y [ŷ](τ) τ F 1 f 2v {ŷ}(σ(t)) F 2 2 σ(t) f 2y {ŷ}(τ) τ =c, t T κ, hold, where F 1 := f 1 (t,ŷ σ (t),ŷ (t)) t nd F 2 := Moreover, if y() is free nd ρ(σ())=, then f 2 (t,ŷ ρ (t),ŷ (t)) t. 1 f 1v [ŷ]() F σ() 1 F 2 F2 2 f 2v {ŷ}(σ()) f 2y {ŷ}(t) t =; if y(b) is free nd σ(ρ(b))=b, then 1 F 2 f 1v [ŷ](ρ(b))+ ρ(b) f 1y [ŷ](t) t F 1 f 2v {ŷ}(b)=. F 2 2

31 Direct nd Inverse Vritionl Problems on Time Scles: A Survey Isoperimetric problems Let us now consider the generl delt nbl composition isoperimetric problem on time scles subject to boundry conditions. The problem consists of extremizing L[y]=H f 1 (t,y σ (t),y (t)) t,..., f k+1 (t,y ρ (t),y (t)) t,..., f k (t,y σ (t),y (t)) t, f k+n (t,y ρ (t),y (t)) t (38) in the clss of functions y Ck+m,n+p 1 stisfying given boundry conditions nd generlized isoperimetric constrint K [y]=p y()=y, y(b)=y b, (39) g 1 (t,y σ (t),y (t)) t,..., g m (t,y σ (t),y (t)) t, g m+1 (t,y ρ (t),y (t)) t,..., g m+p (t,y ρ (t),y (t)) t =d, (4) where y,y b,d R. We ssume tht: 1. the functions H :R n+k R nd P :R m+p R hve continuous prtil derivtives with respect to ll their rguments, which we denote by H i, i=1,...,n+k, nd P i, i=1,...,m+ p; 2. functions (t,y,v) f i (t,y,v), i = 1,...,n+k, nd (t,y,v) g j (t,y,v), j = 1,...,m+ p, from [,b] R 2 to R, hve prtil continuous derivtives with respect to y nd v uniformly in t [,b], which we denote by f iy, f iv, nd g jy,g jv ; 3. for ll y Ck+m,n+p 1, f i, f iy, f iv nd g j,g jy, g jv re rd-continuous in t [,b] κ, i = 1,...,k, j = 1,...,m, nd ld-continuous in t [,b] κ, i = k+1,...,k+n, j = m+1,...,m+ p. A function y Ck+m,n+p 1 is sid to be dmissible provided it stisfies the boundry conditions (39) nd the isoperimetric constrint (4). For brevity, we omit the rgument of P i : P P i := G i (G 1 (ŷ),...,g m+p (ŷ)) for i=1,...,m+ p, with nd G i (ŷ)= g i (t,ŷ σ (t),ŷ (t)) t, i=1,...,m,