rxiv:1003.3931v1 [mth.oc] 20 Mr 2010 Trnsverslity Conditions for Infinite Horizon Vritionl Problems on Time Scles Agnieszk B. Mlinowsk 1,2 bmlinowsk@u.pt 1 Deprtment of Mthemtics University of Aveiro 3810-193 Aveiro, Portugl Ntáli Mrtins 1 ntli@u.pt Delfim F. M. Torres 1 delfim@u.pt 2 Fculty of Computer Science Bi lystok University of Technology 15-351 Bi lystok, Polnd Abstrct We consider problems of the clculus of vritions on unbounded time scles. We prove the vlidity of the Euler-Lgrnge eqution on time scles for infinite horizon problems, nd new trnsverslity condition. Keywords: time scles, clculus of vritions, Euler-Lgrnge eqution, trnsverslity condition, infinite horizon. Mthemtics Subject Clssifiction 2010: 49K15, 34N05, 39A12. 1 Introduction Strting with Rmsey s pioneering work [31], infinite horizon vritionl nd optiml control problems hve been widely used in economics (see, e.g., [6, 13, 14, 15, 16, 17, 20, 30]). On the other hnd, economics is discipline in which there ppers to be mny opportunities for pplictions of time scles [1, 2, 3, 4, 25]. Therefore, it is nturl to try to relte the subject of time scles with the study of infinite horizon vritionl problems. This is the min motivtion nd gol of the present work. The study of improper integrls on time scles ws introduced by Bohner nd Guseinov in [9]. For more generl tretment see [24]. However, the use of time scle integrls in the clculus of vritions hs been, so fr, restricted to bounded intervls see [5, 7, 8, 18, 26, 27] nd references therein. In this pper we consider the infinite horizon problem of mximizing the expression L(t,x σ (t),x (t)) t (1) s T grows to infinity. If T = +, then the integrl (1) does not necessrily converge. It my diverge to plus or minus infinity or it my oscillte. In such situtions the extension of the definition ofoptimlity used in the time scle setting (see [7]) to the unbounded time domin is not very useful. For exmple, if every dmissible function x yields n infinite vlue for functionl (1), then ech dmissible pth could be clled n optiml pth. To hndle this nd similr situtions in rigorous wy, severl lterntive definitions of optimlity for problems with unbounded time domin hve been proposed in the literture (see, e.g., [12, 19, 32, 33]). In this pper we follow Brock s notion of optimlity. Therefore, our optimlity criterion for the specil cse T = Z coincides with Brock s notion of wek mximlity[12]. If T = R, our definition of wek mximlity coincides with the extension of Brock s notion of wek mximlity to the continuous time sitution [22]. It is worth to point out tht in the cse where the functionl (1) converges for ll dmissible pths, the wek mximl pth is optiml in the sense of the stndrd definition of optimlity. Min result of the pper gives necessry conditions of wek mximlity for infinite horizon vritionl problems on generic (unbounded) time scle (cf. Theorem 4). Submitted 6-October-2009; Accepted 19-Mrch-2010 in revised form; for publiction in Optimiztion Letters. 1
2 Preliminries In this section we introduce bsic definitions nd results tht will be needed in the sequel. For more generl presenttion of the theory of time scles we refer the reder to the books [10, 11]. As usul, R, Z, nd N denote, respectively, the set of rel, integer, nd nturl numbers. A time scle T is n rbitrry nonempty closed subset of R. Besides stndrd cses of R (continuous time) nd Z (discrete time), mny different models of time re used. For ech time scle T the following opertors re used: the forwrd jump opertor σ : T T, σ(t) := inf{s T : s > t} for t supt nd σ(supt) = supt if supt < + ; the bckwrd jump opertor ρ : T T, ρ(t) := sup{s T : s < t} for t inft nd ρ(inft) = inft if inft> ; the forwrd grininess function µ : T [0, [, µ(t) := σ(t) t. Exmple 1. If T = R, then for ny t R, σ(t) = t = ρ(t) nd µ(t) 0. If T = Z, then for every t Z, σ(t) = t+1, ρ(t) = t 1 nd µ(t) 1. A point t T is clled right-dense, right-scttered, left-dense nd left-scttered if σ(t) = t, σ(t) > t, ρ(t) = t, nd ρ(t) < t, respectively. We sy tht t is isolted if ρ(t) < t < σ(t), tht t is dense if ρ(t) = t = σ(t). If supt is finite nd left-scttered, we define T κ := T \ {supt}. Otherwise, T κ := T. Definition 1. Let f : T R nd t T κ. The delt derivtive of f t t is the rel number f (t) with the property tht given ny there is neighborhood U of t (i.e., U =]t δ,t + δ[ T for some δ > 0) such tht (f(σ(t)) f(s)) f (t)(σ(t) s) σ(t) s for ll s U. We sy tht f is delt differentible on T provided f (t) exists for ll t T κ. We shll often denote f (t) by tf(t) if f is composition of other functions. The delt derivtive of function f : T R n (n N) is vector whose components re delt derivtives of the components of f. For f : T X, where X is n rbitrry set, we define f σ := f σ. For delt differentible f nd g, the next formuls hold: f σ (t) = f(t)+µ(t)f (t), (fg) (t) = f (t)g σ (t)+f(t)g (t) = f (t)g(t)+f σ (t)g (t). Remrk 1. If T = R, then f : R R is delt differentible t t R if nd only if f is differentible in the ordinry sense t t. Then, f (t) = f (t). If T = Z, then f : Z R is lwys delt differentible t every t Z with f (t) = f(t+1) f(t). Let,b T, < b. We define the intervl [,b] in T by [,b] := {t T : t b}. Open intervls, hlf-open intervls nd unbounded intervls in T re defined ccordingly. Definition 2. A function F : T R is clled delt ntiderivtive of f : T R provided F (t) = f(t), t T κ. In this cse we define the delt integrl of f from to b (,b T) by f(t) t := F(b) F(). 2
In order to present clss of functions tht possess delt ntiderivtive, the following definition is introduced: Definition 3. A function f : T R is clled rd-continuous if it is continuous t the right-dense points in T nd its left-sided limits exist t ll left-dense points in T. A function f : T R n is rd-continuous if ll its components re rd-continuous. The set of ll rd-continuous functions f : T R n is denoted by C rd (T,R n ), or simply by C rd. Similrly, C 1 rd (T,Rn ) nd C 1 rd will denote the set of functions from C rd whose delt derivtive belongs to C rd. Theorem 1 ([10]). Every rd-continuous function hs delt ntiderivtive. In prticulr, if T, then the function F defined by F(t) = t f(τ) τ, t T, is delt ntiderivtive of f. Theorem 2 ([10]). If,b,c T, c b, α R, nd f,g C rd (T,R), then 1. 2. 3. 4. 5. (f(t)+g(t)) t = αf(t) t = α f(t) t = f(t) t = 0; f(t) t = c b f(t) t; f(t) t; f(t) t+ f(t) t+ 6. If f(t) > 0 for ll t < b, then 7. 8. c f(t) t; g(t) t; f(t) t > 0; f σ (t)g (t) t = [(fg)(t)] t=b t= f (t)g(t) t; f(t)g (t) t = [(fg)(t)] t=b t= f (t)g σ (t) t; 9. If t T k, then σ(t) t f(τ) τ = µ(t)f(t). Definition 4. If T, supt = + nd f C rd ([,+ [,R), then we define the improper delt integrl by + f(t) t : b + f(t) t provided this limits exists (in R := R {,+ }). We sy tht the improper delt integrl converges if this limit is finite; otherwise, we sy tht the improper delt integrl diverges. In [9] the reder my find mny exmples nd results involving delt improper integrls. The following result will be very useful in the proof of our min result (Theorem 4). Theorem 3 ([23]). Let S nd T be subsets of normed vector spce. Let f be mp defined on T S, hving vlues in some complete normed vector spce. Let v be dherent to S nd w dherent to T. Assume tht: 1. lim x v f(t,x) exists for ech t T; 2. lim t w f(t,x) exists uniformly for x S. Then the limits lim t w lim x v f(t,x), lim x v lim t w f(t,x), nd lim (t,x) (v,w) f(t,x) ll exist nd re equl. 3
3 Min results In this section we ssume tht T is time scle such tht supt = +. In wht follows we will suppose tht,t,t T resuchtht T > nd T >. By 2 L nd 3 L wedenote, respectively, the prtil derivtive of L(,, ) with respect to its second nd third rgument. Let us consider the following vritionl problem on T: + L(t,x σ (t),x (t)) t mx x C 1 rd(t,r n ) (2) x() = x where (u,v) L(t,u,v) is C 1 (R 2n,R) function for ny t T, 3 L(t,x σ (t),x (t)) is delt differentible for ll x C 1 rd (T,Rn ), n N, nd x R n. Definition 5. We sy tht x is n dmissible pth for problem (2) if nd only if x C 1 rd (T,Rn ) nd x() = x. We use the following notion s our optimlity criteri. Definition 6 (wek mximlity). We sy tht x is wekly mximl to problem (2) if nd only if x is n dmissible pth nd lim inf T + T T for ll dmissible pth x. Lemm 1. Let g C rd (T,R). Then, [L(t,x σ (t),x (t)) L(t,x σ (t),x (t)] t 0 lim inf g(t)η σ (t) t = 0 for ll η C rd (T,R) such tht η() = 0 T + T T if nd only if g(t) = 0 on [,+ [. Proof. The impliction is obvious. Let us prove the impliction. Suppose, by contrdiction, tht g(t) 0. Let t 0 be point on [,+ [ such tht g(t 0 ) 0; suppose, without loss of generlity, tht g(t 0 ) > 0. Cse I. If t 0 is right-dense, then g is lso positive in [t 0,t 1 ] for some t 1 > t 0. Define { (t t0 )(t η(t) = 1 t) t [t 0,t 1 ] 0 otherwise. Then t1 lim T + T T g(t)η σ (t) t = g(t)η σ (t) t > 0 t 0 which is contrdiction. Cse II. Suppose tht t 0 is right-scttered. 1. If σ(t 0 ) is right-scttered, define Then η(t) = { g(t0 ) t = σ(t 0 ) 0 otherwise. σ(t0) lim inf g(t)η σ (t) t = g(t)η σ (t) t = µ(t 0 )g(t 0 )g(t 0 ) > 0 T + T T t 0 which is contrdiction. 4
2. Suppose tht σ(t 0 ) is right-dense. Two situtions my occur: () g(σ(t 0 )) 0; (b) g(σ(t 0 )) = 0. In cse (), we cn ssume, without loss of generlity, tht g(σ(t 0 )) > 0. Then g is lso positive in [σ(t 0 ),t 2 ] for some t 2 > σ(t 0 ). Define η(t) = { (t σ(t0 ))(t 2 t) t [σ(t 0 ),t 2 ] 0 otherwise. In this cse which is contrdiction. t2 lim inf g(t)η σ (t) t = g(t)η σ (t) t > 0 T + T T σ(t 0) Suppose we re in cse (b). Two situtions my hppen: (i) g(t) = 0 on [σ(t 0 ),t 3 ] for some t 3 > σ(t 0 ); (ii) t 3 > σ(t 0 ) t [σ(t 0 ),t 3 ] g(t) 0. In cse (i) define g(t 0 ) t = σ(t 0 ) η(t) = ϕ(t) t ]σ(t 0 ),t 3 ] 0 otherwise for some function ϕ C rd stisfying the conditions ϕ(t 3 ) = 0 nd ϕ(σ(t 0 )) = g(t 0 ). It follows tht σ(t0) lim inf g(t)η σ (t) t = g(t)η σ (t) t = µ(t 0 )g(t 0 )g(t 0 ) > 0 T + T T t 0 which is contrdiction. Suppose we re in cse (ii). Since σ(t 0 ) is right-dense, there exists strictly decresing sequence S = {s k : k N} T such tht lim k s k = σ(t 0 ) nd g(s k ) 0, k N. If there exists right-dense s k, then go to Cse I with t 0 := s k (nd we get contrdiction). If ll points of the sequence re right-scttered, then go to Cse II with t 0 := s j for some j N. Since σ(t 0 ) is right-scttered, we re in sitution 1 nd we obtin contrdiction. Therefore, we my conclude tht g 0 on [,+ [. Theorem 4. Suppose tht the optiml pth to problem (2) exists nd is given by x. Let p C 1 rd (T,Rn ) be such tht p() = 0. Define A(,T ) := L(t,x σ (t)+pσ (t),x (t)+p (t)) L(t,x σ (t),x (t)) t [ V(,T) := inf L(t,x σ (t)+p σ (t),x T T (t)+p (t)) L(t,x σ (t),x (t))] t V() : T + V(,T). Suppose tht 1. lim 0 V(,T) exists for ll T; 5
V(,T) 2. lim T + exists uniformly for ; 3. For every T >, T >, nd R\{0}, there exists sequence (A(,T n)) n N such tht uniformly for. Then x stisfies the Euler-Lgrnge eqution nd the trnverslity condition lim n + A(,T n ) = inf T T A(,T ) t 3L(t,x σ (t),x (t)) = 2 L(t,x σ (t),x (t)), t [,+ [ (3) lim inf 3L(T,x σ (T ),x (T ))x(t ) = 0. (4) T + T T Remrk 2. Similrly to the clssicl context T = R [29], hypotheses 1, 2, nd 3 of Theorem 4 re impossible to be verified priori becuse x is unknown. In prcticl terms such hypotheses re ssumed to be true nd conditions (3) nd (4) re pplied heuristiclly to obtin cndidte. If such cndidte is, or not, solution to the problem is different question tht lwys require further nlysis (see Exmples 2 nd 3). Proof. Using our notion of wek mximlity, if x is optiml, then V() 0 for every R. Since V(0) = 0, then 0 is n extreml point of V. If V is differentible t t = 0, we my conclude tht V (0) = 0. We now note tht V V() (0) 0 lim V(,T) T + 0 lim inf T + 0 T + lim T + lim T + inf T T lim T + inf T + inf T T T + inf T T T + inf T { T T Hence we my conclude tht { lim inf T + T T lim 0 T + V(,T) (by hypothesis 1 nd 2 nd Theorem 3) T T A(,T ) lim 0 n + A(,T n) (by hypothesis 3) lim n + 0 A(,T n ) (by hypothesis 3 nd Theorem 3) 0 A(,T ) (by hypothesis 3) lim L(t,x σ (t)+pσ (t),x (t)+p (t)) L(t,x σ (t),x (t)) t T T 0 L(t,x σ lim (t)+pσ (t),x (t)+p (t)) L(t,x σ (t),x (t)) t 0 [ 2 L(t,x σ (t),x (t))p σ (t)+ 3 L(t,x σ (t),x (t))p (t) ] t [ 2 L(t,x σ (t),x (t))p σ (t) ] t 3L(t,x σ (t),x (t))p σ (t) t + 3 L(T,x σ (T ),x (T ))p(t )} (by item 8 of Theorem 2 nd p() = 0). ( 2 L( ) t 3L( ) ) } p σ (t) t+ 3 L(T,x σ (T ),x (T ))p(t ) = 0 (5) where we denote ( ) := (t,x σ (t),x (t)). Since (5) holds for ll p Crd 1 such tht p() = 0, then, in prticulr, (5) holds for p stisfying lso p(t ) = 0. Therefore, ( lim inf 2 L( ) ) T + T T t 3L( ) p σ (t) t = 0. (6) 6
Denote 2 L = ( L,, L ) x 1 x n nd 3 L = ( L,, L ). y 1 y n Choosing p = (p 1,,p n ) such tht p 2,...,p n 0, we obtin from (6) tht Using Lemm 1 we conclude tht ( L lim inf ( ) T + T T x 1 t L ( ) L ( ) = 0, x 1 t y 1 ) L ( ) y 1 p σ 1 (t) t = 0. t [,+ [. This procedure cn be similrly used for the other coordintes nd we obtin the Euler-Lgrnge equtions: L ( ) L ( ) = 0, t [,+ [ x i t y i for i = 2,3,...,n. These n Euler-Lgrnge equtions cn be written in the condensed form 2 L(t,x σ (t),x (t)) t 3L(t,x σ (t),x (t)) = 0, t [,+ [. (7) The Euler-Lgrnge eqution (7) nd eqution (5) shows tht Next we consider specil curve p defined by lim inf 3L(T,x σ (T ),x T + T (T ))p(t ) = 0. (8) T p(t) = α(t)x (t), t [,+ [ where α : [,+ [ R is C 1 rd function stisfying α() = 0 nd there exists T 0 T such tht α(t) = β R\{0}, for ll t > T 0. By eqution (8) we conclude tht nd therefore 0 inf 3L(T,x σ T + T T (T ),x (T ))α(t )x (T ) inf 3L(T,x σ (T ),x T + T (T ))βx (T ) T lim inf 3L(T,x σ (T ),x T + T (T )))x (T ) = 0, T proving tht x stisfies the trnsverslity condition (4). 4 Illustrtive exmples Exmple 2. Consider the problem + [ (x σ (t) α) 2 +βx (t) ] t mx, x() = α, where α > 0 nd β > 0. Since L(t,x σ,x ) = (x σ α) 2 + βx we hve 2 L = 2(x σ α) nd 3 L = β. From Theorem 4 the Euler-Lgrnge eqution is 2(x σ (t) α) = 0, t [,+ [, tht is, x σ (t) = α, t [,+ [. As x() = α, we hve x(t) = α, t [,+ [. Observe tht the trnsverslity condition (4) is not stisfied, becuse lim inf 3L(T,x σ (T ),x (T ))x(t ) = βα > 0. T + T T 7
The reson why we obtin this contrdiction is tht ssumptions of Theorem 4 re violted. Consider L(t,x σ (t) + p σ (t),x (t) + p (t)) L(t,x σ (t),x (t)). Substituting x(t) = α into it, we hve L(t,x σ (t)+p σ (t),x (t)+p (t)) L(t,x σ (t),x (t)) = 2 (p σ (t)) 2 +βp (t). Hence, V(,T) = inf T T 2 (p σ (t)) 2 +βp (t) T ( t = inf (p σ (t)) 2 +βp (t) ) t. T T Choosing p such tht p() = 0 nd there exists T 0 > so tht p(t) = c > 0 for t T 0, we obtin V(,T) = Therefore, ssumption 2 of Theorem 4 is violted. Exmple 3. Consider the problem Since we hve + 0 c 2 t+βc. 1+(x (t)) 2 t mx, x(0) = A. (9) L(t,x σ,x ) = 1+(x ) 2, x 3 L = 1+(x ) 2, 2L = 0. Using the Euler-Lgrnge eqution (3) we obtin x (t) = d 1+( x (t)) 2, t [0,+ [ for some d R. Solving the ltter eqution with initil condition x(0) = A we obtin x(t) = αt+a, where α R. In order to determine α we use the trnverslity condition (4), which cn be rewritten s lim inf α T + T T 1+α 2 (αt +A) = 0. Hence, α = 0 nd x (t) = A is cndidte to be mximizer. Observe tht lim inf T + T T 0 [L(t,x σ (t),x (t)) L(t,x σ (t),x (t)] t ( ) inf 1 1+(x (t)) 2 t 0 T + T T 0 for every dmissible x. Therefore, by Definition 6 we hve tht x (t) = A is indeed the solution to problem (9). 5 Conclusion nd future work We considered problems of the clculus of vritions on unbounded time scles. Min result provides new trnsverslity condition. Exmples illustrting the ppliction of the new necessry optimlity conditions re given in detil. In the prticulr cse T = Z our trnsverslity condition gives the discrete time condition obtined by Michel in [28]; for the continuous time cse, i.e., for T = R, we obtin the result by Kmihigshi [21]. Recently, Okumur et l. [29] generlized the results of Kmihigshi to higher order differentil problems. The question of obtining necessry 8
optimlity conditions tht extend the results of [29] to higher-order infinite horizon problems on time scles remins n interesting open question. While cler tht the Euler-Lgrnge equtions proved in [18, 27] remin vlid in the infinite horizon cse, the generliztion of our trnsverslity condition (4) to higher-order vritionl problems on time scles is non-trivil question requiring further investigtions. Acknowledgments This work ws prtilly supported by the R&D unit Centre for Reserch on Optimiztion nd Control (CEOC) of the University of Aveiro, cofinnced by the Europen Community Fund FEDER/POCI 2010. Agnieszk Mlinowsk is on leve of bsence from Bi lystok University of Technology(BUT). She wslso supported by BUT, vi project ofthe PolishMinistry ofscience nd Higher Eduction Wsprcie miedzynrodowej mobilnosci nukowcow. References [1] R. Almeid nd D. F. M. Torres, Isoperimetric problems on time scles with nbl derivtives, J. Vib. Control 15 (2009), no. 6, 951 958. rxiv:0811.3650 [2] F. M. Atici, D. C. Biles nd A. Lebedinsky, An ppliction of time scles to economics, Mth. Comput. Modelling 43 (2006), no. 7-8, 718 726. [3] F. M. Atici nd C. S. McMhn, A comprison in the theory of clculus of vritions on time scles with n ppliction to the Rmsey model, Nonliner Dyn. Syst. Theory 9 (2009), no. 1, 1 10. [4] F. M. Atici nd F. Uysl, A production-inventory model of HMMS on time scles, Appl. Mth. Lett. 21 (2008), no. 3, 236 243. [5] Z. Brtosiewicz nd D. F. M. Torres, Noether s theorem on time scles, J. Mth. Anl. Appl. 342 (2008), no. 2, 1220 1226. rxiv:0709.0400 [6] B. Bevis nd In. M. Dobbs, Optimiztion nd stbility theory for economic nlysis, Cmbridge Univ. Press, Cmbridge, 1990. [7] M. Bohner, Clculus of vritions on time scles, Dynm. Systems Appl. 13 (2004), no. 3-4, 339 349. [8] 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. (2010), in press. rxiv:1001.3762 [9] M. Bohner nd G. Sh. Guseinov, Improper integrls on time scles, Dynm. Systems Appl. 12 (2003), no. 1-2, 45 65. [10] M. Bohner nd A. Peterson, Dynmic equtions on time scles, Birkhäuser Boston, Boston, MA, 2001. [11] M. Bohner nd A. Peterson, Advnces in dynmic equtions on time scles, Birkhäuser Boston, Boston, MA, 2003. [12] W. A. Brock, On existence of wekly mximl progrmmes in multi-sector economy, Review of Economic Studies 37 (1970), 275 280. [13] D. Ci T. G. Nitt, Treting the future eqully: solving undiscounted infinite horizon optimiztion problems, 2007, rxiv:mth/0701371 9
[14] D. Ci T. G. Nitt, Constructing the optiml solutions to the undiscounted continuous-time infinite horizon optimiztion problems, 2008, rxiv:0803.4046 [15] D. Ci T. G. Nitt, Optiml solutions to the infinite horizon problems: Constructing the optimum s the limit of the solutions for the finite horizon problems, Nonliner Anl. 71 (2009) no. 12, e2103 e2108. [16] A. C. Ching, Elements of dynmic optimiztion, McGrw-Hill, Inc., Singpore, 1992. [17] P. S. Dsgupt G. M. Hel, Economic theory nd exhustible resources, Jmes Nisbet nd Cmbridge University Press, Cmbridge, 1979. [18] R. A. C. Ferreir nd D. F. M. Torres, Higher-order clculus of vritions on time scles, in Mthemticl control theory nd finnce, 149 159, Springer, Berlin, 2008. rxiv:0706.3141 [19] D. Gle, On optiml development in multisector economy, Rev. Econom. Stud. 34 (1967), 1 19. [20] F. Ginnessi, A. Mugeri nd P. M. Prdlos, Equilibrium problems: nonsmooth optimiztion nd vritionl inequlity methods, Kluwer Acd. Publ., Dordrecht, 2001. [21] T. Kmihigshi, Necessity of trnsverslity conditions for infinite horizon problems, Econometric 69 (2001), no. 4, 995 1012. [22] D. Krvvritis, G. Pntelides nd N. S. Ppgeorgiou, Optiml progrms for continuous time infinite horizon growth model, Indin J. Pure Appl. Mth. 24 (1993), no. 2, 77 86. [23] S. Lng, Undergrdute nlysis, Second edition, Springer, New York, 1997. [24] A. B. Mlinowsk nd D. F. M. Torres, On the dimond-lph Riemnn integrl nd men vlue theorems on time scles, Dyn. Syst. Appl. 18 (2009), 469 482. rxiv:0804.4420 [25] A. B. Mlinowsk nd D. F. M. Torres, Nturl boundry conditions in the clculus of vritions, Mth. Meth. Appl. Sci. (2010), in press. DOI: 10.1002/mm.1289 rxiv:0812.0705 [26] A. B. Mlinowsk nd D. F. M. Torres, Leitmnn s direct method of optimiztion for bsolute extrem of certin problems of the clculus of vritions on time scles, Appl. Mth. Comput. (2010), in press. DOI: 10.1016/j.mc.2010.01.015 rxiv:1001.1455 [27] N. Mrtins nd D. F. M. Torres, Clculus of vritions on time scles with nbl derivtives, Nonliner Anl. 71 (2009), no. 12, e763 e773. rxiv:0807.2596 [28] P. Michel, Some clrifictions on the trnsverslity condition, Econometric 58 (1990), no. 3, 705 723. [29] R. Okomur, D. Ci nd T. G. Nitt, Trnsverslity conditions for infinite horizon optimlity: higher order differentil problems, Nonliner Anl. 71 (2009), no. 12, e1980 e1984. [30] P. M. Prdlos, T. M. Rssis nd A. A. Khn, Nonliner nlysis nd vritionl problems, Springer, 2010. [31] F. Rmsey, A mthemticl theory of svings, Economic Journl 38 (1928), 543 559. [32] I. E. Schochetmn nd R. L. Smith, Optimlity criteri for deterministic discrete-time infinite horizon optimiztion, Int. J. Mth. Mth. Sci. 2005, no. 1, 57 80. [33] C. C. Von Weiszcker, Existence of optiml progrms of ccumultion for n infinite time horizon, Rev. Econom. Stud. 32 (1965), 85 104. 10