arxiv: v1 [math.oc] 18 Feb 2011

Transcription

1 rxiv: v1 [mth.oc] 18 Fe 2011 Generlizing the vritionl theory on time scles to include the delt indefinite integrl Ntáli Mrtins Delfim F. M. Torres Deprtment of Mthemtics University of Aveiro Aveiro, Portugl Astrct We prove necessry optimlity conditions of Euler Lgrnge type for generlized prolems of the clculus of vritions on time scles with Lgrngin depending not only on the independent vrile, n unknown function nd its delt derivtive, ut lso on delt indefinite integrl tht depends on the unknown function. Such kind of vritionl prolems were considered y Euler himself nd hve een recently investigted in [Methods Appl. Anl , no. 4, ]. Our results not only provide generliztion to previous results, ut lso give some other interesting optimlity conditions s specil cses. Keywords: time scles, clculus of vritions, Euler Lgrnge equtions, isoperimetric prolems, nturl oundry conditions. Mthemtics Suject Clssifiction 2010: 49K15, 34N05, 39A12. 1 Introduction In wht follows, T denotes time scle with opertors σ, ρ, µ, ν,, nd [1,2]. We lso ssume tht there exist t lest three points on the time scle:,,s T with < < s, nd tht the opertor σ is delt differentile. The min purpose of this pper is to generlize the Clculus of Vritions on time scles see [3 8] nd references therein y considering the vritionl prolem Ly = L t,y σ t,y t,zt t extr, 1 where extr denotes extremize i.e., minimize or mximize nd the vrile z in the integrnd is itself expressed in terms of n indefinite integrl zt = g τ,y σ τ,y τ τ. In Susection 3.1 we otin the Euler Lgrnge eqution for prolem 1 in the clss of functions y Crd 1 T,R stisfying the oundry conditions y = α nd y = β 2 Sumitted 25-Jul-2010; revised 27-Nov-2010; ccepted 16-Fe-2011; for puliction in Computers & Mthemtics with Applictions. Corresponding uthor. 1

2 for some fixed α,β R cf. Theorem 4. Accordingly to Frser [9], the idei of generlizing the sic prolem of the clculus of vritions y considering vritionl integrl depending lso on n indefinite integrl in the clssicl setting, tht is, when T = R ws first considered y Euler in Our Euler Lgrnge eqution is generliztion of the Euler Lgrnge equtions otined y Euler [9, Eq. 8], Bohner [3], nd Gregory [10]. The trnsverslity conditions for prolem 1 re otined in Susection 3.2. In Susection 3.3 we prove necessry optimlity condition for the isoperimetric prolem: prolem 1 2 suject to the delt integrl constrint J y = F t,y σ t,y t,zt t = γ for some given γ R. In Susection 3.4 we explin how it is possile to prove ckwrd versions of our results y mens of Cputo s dulity [11] see lso [12]. Finlly, in Section 4 we provide some pplictions of our min results. 2 Preliminries For definitions, nottions nd results concerning the theory of time scles we refer the reders to the comprehensive ooks [1, 2]. All the intervls in this pper re time scle intervls. Throughout the text we denote y i f the prtil derivtive of function f with respect to its ith rgument. We ssume tht 1. the dmissile functions y elong to the clss C 1 rd T,R; 2. t,y,v,z Lt,y,v,z nd t,y,v,z Ft,y,v,z hve continuous prtil derivtives with respect to y,v,z for ll t [,]; 3. t,y,v gt,y,v hs continuous prtil derivtives with respect to y,v for ll t [,]; 4. t Lt,y σ t,y t,zt nd t Ft,y σ t,y t,zt elong to the clss C rd T,R for ny dmissile function y; 5. t 3 Lt,y σ t,y t,zt, t 3 Ft,y σ t,y t,zt nd t 3 gt,y σ t,y t elong to the clss Crd 1 T,R for ny dmissile function y. Definition 1. An dmissile function y Crd 1 T,R is sid to e locl minimizer resp. locl mximizer to prolem 1 2 if there exists δ > 0 such tht Ly Ly resp. Ly Ly for ll dmissile y stisfying the oundry conditions 2 nd y y < δ, where y = sup t [,] κ y σ t + sup t [,] κ y t. Definition 2. We sy tht η Crd 1 T,R is n dmissile vrition to prolem 1 2 provided η = η = 0. The following result, known s the fundmentl lemm of the clculus of vritions on time scles, is n importnt tool in the proofs of our min results. The proof of Lemm 3 follows immeditely from [13, Theorem 15] nd the dulity rguments of Cputo [11]. Lemm 3. Let f C rd [,],R. Then ftη σ t t = 0 for ll η C rd [,],R with η = η = 0 if nd only if ft = 0 for ll t [,] κ. 2

3 3 Min results In order to simplify expressions, we introduce two opertors, [ ] nd { }, defined in the following wy: [y]t := t,y σ t,y t,zt nd {y}t := t,y σ t,y t, where y C 1 rd T,R. 3.1 Euler Lgrnge eqution Theorem 4 Necessry optimlity condition to 1 2. Suppose tht y is locl minimizer or locl mximizer to prolem 1 2. Then y stisfies the Euler Lgrnge eqution 2 L[y]t t 3L[y]t+ 2 g{y}t for ll t [,] κ. σt 4 L[y]τ τ t 3 g{y}t σt 4 L[y]τ τ Proof. Suppose tht y is locl minimizer resp. mximizer to prolem 1 2. Let η e n dmissile vrition nd define the function φ : R R y φǫ := Ly +ǫη. It is cler tht necessry condition for y to e n extremizer is given y φ 0 = 0. Note tht φ 0 = 2 L[y ]tη σ t+ 3 L[y ]tη t + 4 L[y ]t Using the integrtion y prts formul, we otin [ 3 L[y ]tη t t = 3 L[y ]tηt 4 L[y ]t [ = 4 L[y ]τ τ = nd 4 L[y ]t 2 g{y }t [ = 4 L[y ]τ τ = 3 g{y }t 2 g{y }τη σ τ τ t ] 2 g{y }τη σ τ τ 4 L[y ]τ τ 3 g{y }τη τ τ t 2 g{y }τη σ τ+ 3 g{y }τη τ τ t. ] η σ t t, ] 3 g{y }τη τ τ 4 L[y ]τ τ η t t. Using gin integrtion y prts in the lst integrl we otin = [ 3 g{y }t 3 g{y }t 4 L[y ]τ τ 4 L[y ]τ τ ηt η t t ] 3 g{y }t t t 3L[y ]tη σ t t, = 0 3 σt 4 L[y ]τ τ 2 g{y }tη σ t t σt 4 L[y ]τ τ 3 g{y }tη t t 4 L[y ]τ τ η σ t t. 3

4 Since η = η = 0, then φ 0 = 2 L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t 4 L[y ]τ τ 4 L[y ]τ τ η σ t t. From the optimlity condition φ 0 = 0 we conclude, y the fundmentl lemm of the clculus of vritions on time scles Lemm 3, tht 2 L[y ]t t 3L[y ]t 2 g{y }t for ll t [,] κ, proving the desired result. Remrk 5. Note tht 4 L[y ]τ τ+ t 3 g{y }t 4 L[y ]τ τ 1. The Euler Lgrnge eqution 3 is generliztion of the Euler Lgrnge eqution otined y Euler in 1741 if T = R, we otin eqution 8 of [9]. 2. Theorem 3.1 of [10] is corollry of Theorem 4: choose gt,u,v = u nd consider the time scle to e the set of rel numers. 3. The Euler Lgrnge eqution for the sic prolem of the Clculus of Vritions on time scles see, e.g., [3] is esily otined from Theorem 4: in this cse, 4 L = 0 nd therefore we get the eqution for ll t [,] κ. 2 Lt,y σ t,y t t 3Lt,y σ t,y t = 0 Remrk 6. Theorem 4 gives the Euler Lgrnge eqution in the delt-differentil form. As in the clssicl cse, one cn otin the Euler Lgrnge eqution in the integrl form. More precisely, the Euler Lgrnge eqution in the delt-integrl form to prolem 1 2 is 3 L[y]t+ 3 g{y}t 4 L[y]τ τ+ σt 3.2 Nturl oundry conditions t 2 L[y]s+ 2 g{y}s 4 L[y]τ τ s = const. σs We now consider the cse when the vlues y nd y re not necessrily specified. Theorem 7 Nturl oundry conditions to 1. Suppose tht y is locl minimizer resp. locl mximizer to prolem 1. Then y stisfies the Euler Lgrnge eqution 3. Moreover, 1. if y is free, then the nturl oundry condition holds; 3 L[y ] = 3 g{y } 4 L[y ]τ τ 4 σ 2. if y is free, then the nturl oundry condition = 0 holds. 3 L[y ] = 3 g{y } σ 4 L[y ]τ τ 5 4

5 Proof. Suppose tht y is locl minimizer resp. mximizer to prolem 1. Let η C 1 rd T,R nd define the function φ : R R y φǫ := Ly + ǫη. It is cler tht necessry condition for y to e n extremizer is given y φ 0 = 0. From the ritrriness of η, nd using similr rguments s the ones used in the proof of Theorem 4, we conclude tht y stisfies the Euler Lgrnge eqution Suppose now tht y is free. If y = β is given, then η = 0; if y is free, then we restrict ourselves to those η for which η = 0. Therefore, 0 = φ 0 = 2 L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t 3 L[y ] η+ 3 g{y } 4 L[y ]τ τ η σ t t σ 4 L[y ]τ τ 4 L[y ]τ τ η. 6 Using the Euler Lgrnge eqution 3 into 6 we otin 3 L[y ]+ 3 g{y } From the ritrriness of η it follows tht σ 3 L[y ] = 3 g{y } 4 L[y ]τ τ σ 4 L[y ]τ τ. η = Suppose now tht y is free. If y = α, then η = 0; if y is free, then we restrict ourselves to those η for which η = 0. Thus, 0 = φ 0 = 2 L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t + 3 L[y ] η 3 g{y } 4 L[y ]τ τ η σ t t σ 4 L[y ]τ τ. 4 L[y ]τ τ 7 Using the Euler Lgrnge eqution 3 into 7, nd from the ritrriness of η, it follows tht 3 L[y ] = 3 g{y } σ 4 L[y ]τ τ. Remrk 8. In the clssicl setting, T = R nd L does not depend on z. Then, equtions 4 nd 5 reduce to the well-known nturl oundry conditions respectively. 3 L,y,y = 0 nd 3L,y,y = 0, 5

6 3.3 Isoperimetric prolem We now study the isoperimetric prolem on time scles with delt integrl constrint, oth for norml nd norml extremizers. The prolem consists of minimizing or mximizing the functionl Ly = L t,y σ t,y t,zt t, 8 where the vrile z in the integrnd is itself expressed in terms of n indefinite delt integrl zt = g τ,y σ τ,y τ τ, in the clss of functions y Crd 1 T,R, stisfying the oundry conditions nd the delt integrl constrint y = α nd y = β 9 for some given α,β,γ R. Jy = F t,y σ t,y t,zt t = γ 10 Definition 9. We sy tht y Crd 1 T,R is locl minimizer resp. locl mximizer to the isoperimetric prolem 8 10 if there exists δ > 0 such tht Ly Ly resp. Ly Ly for ll dmissile y stisfying the oundry conditions 9, the isoperimetric constrint 10, nd y y < δ. Definition 10. We sy tht y Crd 1 T,R is n extreml to J if y stisfies the Euler Lgrnge eqution 3 reltively to J. An extremizer i.e., locl minimizer or locl mximizer to prolem 8 10 tht is not n extreml to J is sid to e norml extremizer; otherwise i.e., if it is n extreml to J, the extremizer is sid to e norml. Theorem 11 Necessry optimlity condition for norml extremizers of Suppose tht y Crd 1 T,R gives locl minimum or locl mximum to the functionl L suject to the oundry conditions 9 nd the integrl constrint 10. If y is not n extreml to J, then there exists rel λ such tht y stisfies the eqution 2 H[y]t t 3H[y]t+ 2 g{y}t 4 H[y]τ τ σt 3 g{y}t 4 H[y]τ τ = 0 t σt 11 for ll t [,] κ, where H = L λf. Proof. Suppose tht y Crd 1 T,R is norml extremizer to prolem Define the rel functions φ,ψ : R 2 R y φǫ 1,ǫ 2 = Iy +ǫ 1 η 1 +ǫ 2 η 2, ψǫ 1,ǫ 2 = Jy +ǫ 1 η 1 +ǫ 2 η 2 γ, where η 2 is fixed vrition tht we will choose lter nd η 1 is n ritrry vrition. Note tht ψ ǫ 2 0,0 = 2 F[y ]tη2t+ σ 3 F[y ]tη2 t + 4 F[y ]t 2 g{y }τη σ 2τ+ 3 g{y }τη 2 τ τ t. 6

7 Integrtion y prts nd η 2 = η 2 = 0 gives ψ ǫ 2 0,0 = 2 F[y ]t t 3F[y ]t 2 g{y }t + t 3g{y }t 4 F[y ]τ τ 4 F[y ]τ τ η2t t. σ Since, y hypothesis, y is not n extreml to J, then we cn choose η 2 such tht ψ ǫ 2 0,0 0. We keep η 2 fixed. Since ψ0,0 = 0, y the implicit function theorem there exists function h, defined in neighorhood V of zero, such tht h0 = 0 nd ψǫ 1,hǫ 1 = 0 for ny ǫ 1 V, i.e., there exists suset of vrition curves y = y +ǫ 1 η 1 +hǫ 1 η 2 stisfying the isoperimetric constrint. Note tht 0,0 is n extremizer of φ suject to the constrint ψ = 0 nd ψ0,0 0,0. By the Lgrnge multiplier rule cf., e.g., [14], there exists some constnt λ R such tht Since nd φ ǫ 1 0,0 = ψ ǫ 1 0,0 = it follows from 12 tht 0 = φ0, 0 = λ ψ0, L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t 2 F[y ]t t 3F[y ]t 2 g{y }t + t 3g{y }t 2 L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t 4 L[y ]τ τ 4 L[y ]τ τ 4 L[y ]τ τ η1t t σ 4 F[y ]τ τ λ 2 F[y ]t t 3F[y ]t 2 g{y }t + t 3g{y }t 4 F[y ]τ τ η1t t. σ 4 F[y ]τ τ η1t t, σ 4 L[y ]τ τ 4 F[y ]τ τ Using the fundmentl lemm of the clculus of vritions Lemm 3, nd reclling tht η 1 is ritrry, we conclude tht 0 = 2 L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t 4 L[y ]τ τ λ 2 F[y ]t t 3F[y ]t 2 g{y }t + t 3g{y }t 4 F[y ]τ τ 7 4 L[y ]τ τ 4 F[y ]τ τ

8 for ll t [,] κ, proving tht H = L λf stisfies the Euler Lgrnge eqution 11. Theorem 12 Necessry optimlity condition for norml nd norml extremizers of Suppose tht y Crd 1 T,R gives locl minimum or locl mximum to the functionl L suject to the oundry conditions 9 nd the integrl constrint 10. Then there exist two constnts λ 0 nd λ, not oth zero, such tht y stisfies the eqution 2 H[y]t t 3H[y]t+ 2 g{y}t 4 H[y]τ τ σt 3 g{y}t 4 H[y]τ τ = 0 t σt 13 for ll t [,] κ, where H = λ 0 L λf. Proof. FollowingtheproofofTheorem11, since0,0isnextremizerofφsujecttotheconstrint ψ = 0, the norml Lgrnge multiplier rule cf., e.g., [14] gurntees the existence of two rels λ 0 nd λ, not oth zero, such tht λ 0 φ = λ ψ. Therefore, nd hence, 0 = λ 0 φ ǫ 1 0,0 = λ ψ ǫ 1 0,0 λ 0 2 L[y ]t t 3L[y ]t 2 g{y }t + t 3g{y }t 4 L[y ]τ τ λ 2 F[y ]t t 3F[y ]t 2 g{y }t + t 3g{y }t 4 F[y ]τ τ η1t t. σ 4 L[y ]τ τ 4 F[y ]τ τ From the ritrriness of η 1 nd Lemm 3 it is cler tht eqution 13 holds for ll t [,] κ, where H = λ 0 L λf. Remrk 13. Note tht 1. If y is norml extremizer, then one cn consider, y Theorem 11, λ 0 = 1 in Theorem 12. The condition λ 0,λ 0,0 gurntees tht Theorem 12 is useful necessry condition. 2. Theorem 3.4 of [15] is corollry of our Theorem 11: in tht cse, 4 H = 0 nd we simply otin for ll t [,] κ. 2 Ht,y σ t,y t t 3Ht,y σ t,y t = 0 We present two importnt corollries tht re otined from Theorem 12 choosing the time scle to e T = hz := {hz : z Z}, h > 0, nd T = q N0 := {q k : k N 0 }, q > 1. In wht follows we use the stndrd nottion of quntum clculus see, e.g., [16 18]: h yt := yt+h yt h nd D q yt := yqt yt. q 1t Corollry 14. Let h > 0 nd suppose tht y is solution to the discrete-time prolem h Ly = Lt,yt+h, h yt,zt extr t= 8

9 with t h zt = gτ,yτ +h, h yτ τ= in the clss of functions y stisfying the oundry conditions nd the constrint y = α nd y = β h Jy = F t,yt+h, h yt,zt = γ t= for some given α,β,γ R. Then there exist two constnts λ 0 nd λ, not oth zero, such tht 0 = 2 Ht,y t+h, h y t,z t h 3 Ht,y t+h, h y t,z t + 2 gt,y t+h, h y t h τ=t+h h 3 gt,y t+h, h y t 4 Hτ,y τ +h, h y τ,z τ h τ=t+h for ll t {,+h,..., h}, where H = λ 0 L λf. 4 Hτ,y τ +h, h y τ,z τ Proof. Choose T = hz, where, T. The result follows from Theorem 12. Corollry 15. Let q > 1 nd suppose tht y is solution to the quntum prolem with Ly = q 1 t= zt = Lt,yqt,D q yt,zt extr tq 1 τ= gτ,yqτ,d q yτ in the clss of functions y stisfying the oundry conditions nd the constrint Jy = y = α nd y = β q 1 t= F t,yqt,d q yt,zt = γ for some given α,β,γ R. Then there exist two constnts λ 0 nd λ, not oth zero, such tht 0 = 2 Ht,y qt,d q y t,z t D q 3 Ht,y qt,d q y t,z t + 2 gt,y qt,d q y t q 1 τ=qt D q 3 gt,y qt,d q y t for ll t {,q,...,q 1 }, where H = λ 0 L λf. 4 Hτ,y qτ,d q y τ,z τ q 1 τ=qt 4 Hτ,y qτ,d q y τ,z τ Proof. Choose T = q N0, where, T. The result follows from Theorem 12. 9

10 3.4 Dulity In the pper [11] see lso [19,20] Cputo sttes tht the delt clculus nd the nl clculus on time scles re the dul of ech other. A Dulity Principle is presented, tht siclly sserts tht it is possile to otin results for the nl clculus directly from results on the delt clculus nd vice vers. Using the dulity rguments of Cputo it is possile to prove esily the nl versions of Theorem 4, Theorem 7, Theorem 11 nd Theorem 12. In wht follows we ssume tht there exist t lest three points on the time scle: r,, T with r < <, nd tht the opertor ρ is nl differentile. The following theorem is the nl version of Theorem 12, where the vritionl prolem consists of minimizing or mximizing the functionl Ly = L t,y ρ t,y t,zt t, 14 the vrile z in the integrnd eing itself expressed in terms of nl indefinite integrl zt = g τ,y ρ τ,y τ τ, in the clss of functions y Cld 1 T,R stisfying the oundry conditions nd the nl integrl constrint Jy = y = α nd y = β 15 for some given α,β,γ R. We ssume tht 1. the dmissile functions y elong to the clss C 1 ld T,R; F t,y ρ t,y t,zt t = γ t,y,v,z Lt,y,v,z nd t,y,v,z Ft,y,v,z hve continuous prtil derivtives with respect to y,v,z for ll t [,]; 3. t,y,v gt,y,v hs continuous prtil derivtives with respect to y,v for ll t [,]; 4. t Lt,y ρ t,y t,zt nd t Ft,y ρ t,y t,zt elong to the clss C ld T,R for ny dmissile function y; 5. t 3 Lt,y ρ t,y t,zt, t 3 Ft,y ρ t,y t,zt nd t 3 gt,y ρ t,y t elong to the clss Cld 1 T,R for ny dmissile function y. The following opertors re used: y t := t,y ρ t,y t,zt nd y t := t,y ρ t,y t, where y C 1 ld T,R. Theorem 16 Necessry optimlity condition for norml nd norml extremizers of Suppose tht y Cld 1 T,R gives locl minimum or locl mximum to the functionl L suject to the oundry conditions 15 nd the integrl constrint 16. Then there exist two constnts λ 0 nd λ, not oth zero, such tht y stisfies the eqution 2 H y t t 3H y t+ 2 g y t 4 H y τ τ ρt 3 g y t 4 H y τ τ = 0 t ρt for ll t [,] κ, where H = λ 0 L λf. 10

11 Remrk 17. Theorem 2 of [21] is corollry of our Theorem 16: in tht cse 4 H = 0, nd one otins for ll t [,] κ. 2 Ht,y ρ t,y t t 3Ht,y ρ t,y t = 0 From Theorem 4, vi dulity, one cn esily otin the Euler Lgrnge eqution for the nl prolem or from Theorem 16 noting tht, since there is no nl integrl constrint, F = 0 nd γ = 0. Theorem 18 Necessry optimlity condition to Suppose tht y is locl minimizer or locl mximizer to prolem Then y stisfies the Euler Lgrnge eqution 2 L y t t 3L y t+ 2 g y t 4 L y τ τ ρt 3 g y t 4 L y τ τ = 0 t ρt 17 for ll t [,] κ. Remrk 19. As corollry of Theorem 18 we otin the Euler Lgrnge eqution for the sic prolem of the clculus of vritions on nl clculus [13] see lso [22]. In tht cse L 4 = 0 nd one otins tht for ll t [,] κ. 2 Lt,y ρ t,y t t 3Lt,y ρ t,y t = 0 Remrk 20. Theorem 18 gives the Euler Lgrnge eqution in the nl differentil form. The Euler Lgrnge eqution in the nl-integrl form to prolem is 3 L y t+ 3 g y t 4 L y τ τ+ ρt t 2 L y s+ 2 g y s 4 L y τ τ s = const. ρs Applying the dulity rguments of Cputo to Theorem 7 the following result is otined. Theorem 21 Nturl oundry conditions to 14. Suppose tht y is locl minimizer resp. locl mximizer to prolem 14. Then y stisfies the Euler Lgrnge eqution 17. Moreover, 1. if y is free, then the nturl oundry condition holds; 3 L y = 3 g y 4 L y τ τ ρ 2. if y is free, then the nturl oundry condition holds. 4 Applictions 3 L y = 3 g y 4 L y τ τ ρ From now on we ssume tht T stisfies the following condition H: H for ech t T, ρt = 1 t+ 0 for some 1 R + nd 0 R. 11

12 Remrk 22. Note tht condition H implies tht ρ is nl differentile nd ρ t = 1, t T κ. Also note tht condition H engloes the differentil clculus T = R, 1 = 1, 0 = 0, the difference clculus T = Z, 1 = 1, 0 = 1, the h-clculus T = hz, for some h > 0, 1 = 1, 0 = h, nd the q-clculus T = q N0 for some q > 1, 1 = 1 q, 0 = 0. The following result illustrtes n ppliction of Theorem 16. Proposition 23. Suppose tht T stisfies condition H, ξ is rel prmeter, nd k R is given constnt. Suppose tht f : R 2 R is C 2 function tht stisfies the conditions: A1 1 fy ρ t,ξ k 1 for ll t in some non-degenerte intervl I [,], for ll ξ nd for ll dmissile function y; A2 2 1,1fy ρ t,ξ 0 for ll t in some non-degenerte intervl I [,], for ll ξ nd for ll dmissile function y. Consider Lt,y,v,z = fy,ξ+kz, gt,y,v = v nd Ft,y,v,z = y. If y is solution to prolem 14 16, then y t = α, t [,] κ. Proof. Suppose tht y is n extremizer to prolem By Theorem 16 there exist two constnts λ 0 nd λ, not oth zero, such tht y stisfies the eqution 2 H y t t 3H y t+ 2 g y t 4 H y τ τ ρt 3 g y t 4 H y τ τ = 0 t ρt 18 for ll t [,] κ, where H = λ 0 L λf. Since 2 H = λ 0 1 f λ, 3 H = 0, 4 H = λ 0 k, 2 g = 0 nd 3 g = 1, then eqution 18 reduces to λ 0 1 fy ρ t,ξ+k 1 = λ, t [,] κ. 19 Notethtifλ 0 = 0,thenλ = 0violtestheconditionthtλ 0 ndλdonotvnishsimultneously. If λ = 0, theneqution19 reducestoλ 0 1 fy ρ t,ξ+k 1 = 0. ByssumptionA1weconclude tht λ 0 = 0, which gin contrdicts the fct tht λ 0 nd λ re not oth zero. Consequently, we cn ssume, without loss of generlity, tht λ 0 = 1. Hence, eqution 19 tkes the form By ssumption A2 we conclude tht 1 fy ρ t,ξ = λ k 1, t [,] κ. y ρ t = const, t [,] κ. Since y = α, we otin tht y t = α for ny t [,] κ. Oserve tht the solution to the clss of prolems considered in Proposition 23 is constnt function tht depends only on the oundry conditions nd the isoperimetric constrint ut not explicitly on the integrnd function nd its prmeters. Remrk 24. By the isoperimetric constrint 16, necessry condition for the prolem of Proposition 23 to hve solution is tht α = γ. Remrk 25. Let e left dense point. Then, y the oundry conditions 15, necessry condition for the prolem of Proposition 23 to hve solution is tht α = β. 12

13 Remrk 26 cf. [23]. Let T = R. Suppose tht α = γ = β. 1. If 1,1 2 fyt,ξ > 0 for ll t [,], for ll ξ nd for ll dmissile function y, then prolem hs unique minimizer. 2. If 1,1 2 fyt,ξ < 0 for ll t [,], for ll ξ nd for ll dmissile function y, then prolem hs unique mximizer. We end the pper with n exmple of ppliction of the nl version of Theorem 11. Exmple 27. Let q : [,] R e continuous function nd y 2 := y. Suppose tht y Cld 2 is n extremizer for Ly = suject to the oundry conditions nd the delt integrl constrint y 2 t qty ρ 2 t+2 y = 0 nd y = 0 Jy = y τ τ t y ρ 2 t t = Note tht ny extreml to J does not stisfy the isoperimetric constrint 20. Hence, this prolem hs no norml extremizers nd, y the nl version of Theorem 11, there exists λ R such tht y stisfies the eqution 2 H y t t 3H y t+ 2 g y t 4 H y τ τ ρt t for ll t [,] κ, where H = L λf nd Since 3 g y t ρt 4 H y τ τ Lt,y,v,z = v 2 qty 2 +2z, gt,y,v = v, nd Ft,y,v,z = y 2. 2 H = 2qy 2λy, 3 H = 2v, 4 H = 2, 2 g = 0, nd 3 g = 1, then eqution 21 reduces to = 0 21 y 2 t+qty ρ t+λy ρ t = 4 H 1 2, t [,] κ2. 22 Note tht in the sic prolem of clculus of vritions on time scles, 4 H = 0, nd we otin the nl version of the well known Sturm Liouville eigenvlue eqution: y 2 t+qty ρ t+λy ρ t = 0, t [,] κ 2 see [15,24]. The study of solutions to eqution 22 in the cse 4 H 0 is n interesting open prolem. Acknowledgments The uthors re grteful to the support of the Portuguese Foundtion for Science nd Technology FCT through the Center for Reserch nd Development in Mthemtics nd Applictions CIDMA. 13

14 References [1] M. Bohner nd A. Peterson, Dynmic equtions on time scles, Birkhäuser Boston, Boston, MA, [2] M. Bohner nd A. Peterson, Advnces in dynmic equtions on time scles, Birkhäuser Boston, Boston, MA, [3] M. Bohner, Clculus of vritions on time scles, Dynm. Systems Appl , no. 3-4, [4] Z. Brtosiewicz, N. Mrtins nd D. F. M. Torres, The second Euler-Lgrnge eqution of vritionl clculus on time scles, Eur. J. Control , no. 1, rxiv: [5] M. Bohner, R. A. C. Ferreir nd D. F. M. Torres, Integrl inequlities nd their pplictions to the clculus of vritions on time scles, Mth. Inequl. Appl , no. 3, rxiv: [6] E. Girejko, A. B. Mlinowsk nd D. F. M. Torres, The contingent epiderivtive nd the clculus of vritions on time scles, Optimiztion 2010, in press. DOI: / rxiv: [7] A. B. Mlinowsk, N. Mrtins nd D. F. M. Torres, Trnsverslity conditions for infinite horizon vritionl prolems on time scles, Optim. Lett , no. 1, rxiv: [8] A. B. Mlinowsk nd D. F. M. Torres, Leitmnn s direct method of optimiztion for solute extrem of certin prolems of the clculus of vritions on time scles, Appl. Mth. Comput , no. 3, rxiv: [9] C. G. Frser, Isoperimetric prolems in the vritionl clculus of Euler nd Lgrnge, Histori Mth , no. 1, [10] J. Gregory, Generlizing vritionl theory to include the indefinite integrl, higher derivtives, nd vriety of mens s cost vriles, Methods Appl. Anl , no. 4, [11] M. C. Cputo, Time scles: from nl clculus to delt clculus nd vicevers vi dulity, Int. J. Difference Equ , no. 1, rxiv: [12] A. B. Mlinowsk nd D. F. M. Torres, A generl ckwrds clculus of vritions vi dulity, Optimiztion Letters 2010, in press. DOI: /s x rxiv: [13] N. Mrtins nd D. F. M. Torres, Clculus of vritions on time scles with nl derivtives, Nonliner Anl , no. 12, e763 e773. rxiv: [14] B. vn Brunt, The clculus of vritions, Springer, New York, [15] R. A. C. Ferreir nd D. F. M. Torres, Isoperimetric prolems of the clculus of vritions on time scles, in Nonliner Anlysis nd Optimiztion II, Contemporry Mthemtics, Vol. 514, Amer. Mth. Soc., Providence, RI, 2010, rxiv: [16] V. Kc nd P. Cheung, Quntum clculus, Springer, New York, [17] A. B. Mlinowsk nd D. F. M. Torres, The Hhn quntum vritionl clculus, J. Optim. Theory Appl , no. 3, rxiv: [18] A. M. C. Brito d Cruz, N. Mrtins nd D. F. M. Torres, Higher-order Hhn s quntum vritionl clculus, Nonliner Anl. 2011, in press. DOI: /j.n rxiv: [19] E. Pw luszewicz nd D. F. M. Torres, Bckwrd liner control systems on time scles, Internt. J. Control , no. 8, rxiv: [20] N. Mrtins nd D. F. M. Torres, Noether s symmetry theorem for nl prolems of the clculus of vritions, Appl. Mth. Lett , no. 12, rxiv: [21] R. Almeid nd D. F. M. Torres, Isoperimetric prolems on time scles with nl derivtives, J. Vi. Control , no. 6, rxiv: [22] F. M. Atici, D. C. Biles nd A. Leedinsky, An ppliction of time scles to economics, Mth. Comput. Modelling , no. 7-8, [23] M. R. Cputo, A unified view of ostensily disprte isoperimetric vritionl prolems, Appl. Mth. Lett , no. 3, [24] R. P. Agrwl, M. Bohner nd P. J. Y. Wong, Sturm-Liouville eigenvlue prolems on time scles, Appl. Mth. Comput , no. 2-3,