A nonlinear calculus of variations problem on time scales with variable endpoints is considered. The space of functions employed is that of piecewise rd-continuously ∆-differentiable functions (C 1 prd ). For this problem, the Euler-Lagrange equation, the transversality condition, and the accessory problem are derived as necessary conditions for weak local optimality. Assuming the coercivity of the second variation, a corresponding second order sufficiency criterion is established.
We present a theory of the definiteness (nonnegativity and positivity) of a quadratic functional F over a bounded time scale. The results are given in terms of a time scale symplectic system (S), which is a time scale linear system that generalizes and unifies the linear Hamiltonian differential system and discrete symplectic system. The novelty of this paper resides in removing the assumption of normality in the characterization of the positivity of F , and in establishing equivalent conditions for the nonnegativity of F without any normality assumption. To reach this goal, a new notion of generalized focal points for conjoined bases (X, U ) of (S) is introduced, results on the piecewise-constant kernel of X(t) are obtained, and various Picone-type identities are derived under the piecewise-constant kernel condition. The results of this paper generalize and unify recent ones in each of the discrete and continuous time setting, and constitute a keystone for further development in this theory.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.