Lyapunov inequality for linear Hamiltonian systems on time scales

The principal aim of this paper is to state and prove some Lyapunov inequalities for linear Hamiltonian system on an arbitrary time scale , so that the well-known case of differential linear Hamiltonian systems and the recently developed case of discrete Hamiltonian systems are unified. Applying these inequalities, a disconjugacy criterion for Hamiltonian systems on time scales is obtained.     

Reid Roundabout Theorem for Symplectic Dynamic Systems on Time Scales

The principal aim of this paper is to state and prove the so-called Reid roundabout theorem for the symplectic dynamic system (S) z ^Δ = \cal S _t z on an arbitrary time scale \Bbb T , so that the well known case of differential linear Hamiltonian systems ( \Bbb T = \Bbb R ) and the recently developed case of discrete symplectic systems ( \Bbb T = \Bbb Z ) are unified. We list conditions which are equivalent to the positivity of the quadratic functional associated with (S), e.g. disconjugacy (in terms of no focal points of a conjoined basis) of (S), no generalized zeros for vector solutions of (S), and the existence of a solution to the corresponding Riccati matrix equation. A certain normality assumption is employed. The result requires treatment of the quadratic functionals both with general and separated boundary conditions. Accepted 28 August 2000. Online publication 26 February 2001.     

On the disconjugacy property of an equation on a graph

Under study is the disconjugacy theory of forth order equations on a geometric graph. The definition of disconjugacy is given in terms of a special fundamental system of solutions to a homogeneous equation. We establish some connections between the disconjugacy property and the positivity of the Green’s functions for several classes of boundary value problems for forth order equation on a graph. We also state the maximum principle for a forth order equation on a graph and prove some properties of differential inequalities.     

Time scale symplectic systems without normality

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.     

Discrete Optimal Control: Second Order Optimality Conditions

In this paper, we present a survey and refinement of our recent results in the discrete optimal control theory. For a general nonlinear discrete optimal control problem (P) , second order necessary and sufficient optimality conditions are derived via the nonnegativity ( I S 0) and positivity ( I >0) of the discrete quadratic functional I corresponding to its second variation. Thus, we fill the gap in the discrete-time theory by connecting the discrete control problems with the theory of conjugate intervals, Hamiltonian systems, and Riccati equations. Necessary conditions for I S 0 are formulated in terms of the positivity of certain partial discrete quadratic functionals, the nonexistence of conjugate intervals, the existence of conjoined bases of the associated linear Hamiltonian system, and the existence of solutions to Riccati matrix equations. Natural strengthening of each of these conditions yields a characterization of the positivity of I and hence, sufficiency criteria for the original problem (P) . Finally, open problems and perspectives are also discussed.     

Coupled Intervals in the Discrete Optimal Control

In this paper, we investigate the nonnegativity and positivity of a quadratic functional ? with variable (i.e. separable and jointly varying) endpoints in the discrete optimal control setting. We introduce a coupled interval notion, which generalizes (i) the conjugate interval notion known for the fixed right endpoint case and (ii) the coupled interval notion known in the discrete calculus of variations. We prove necessary and sufficient conditions for the nonnegativity and positivity of ? in terms of the nonexistence of such coupled intervals. Furthermore, we characterize the nonnegativity of ? in terms of the (previously known notions of) conjugate intervals, a conjoined basis of the associated linear Hamiltonian system, and the solvability of an implicit Riccati equation. This completes the results for the nonnegativity that are parallel to the known ones on the positivity of ?. Finally, we define partial quadratic functionals associated with ? and a (strong) regularity of ?, which we relate to the positivity and nonnegativity of ?.     

Discrete linear Hamiltonian systems: Lyapunov type inequalities,stability and disconjugacy criteria

In this paper, we first establish new Lyapunov type inequalities for discrete planar linear Hamiltonian systems. Next, by making use of the inequalities, we derive stability and disconjugacy criteria. Stability criteria are obtained with the help of the Floquet theory, so the system is assumed to be periodic in that case.     

The dynamic programming method in systems with states in the form of distributions

The problem of optimal control of a system with the initial state in the form of a known distribution function specified on a fixed time segment is considered. To solve this problem, an approach is used in which the state of the system is understood as a coordinate distribution at each instant of time. Analogs of the equations in the Hamiltonian formalism for the problem of minimizing the integral functional are derived. The solution to the problem of optimal control in the closed form for a linear system with an integral quadratic functional is presented.     

Sign properties of Green's functions for disconjugate dynamic equations on time scales

This paper continues the development of disconjugacy of higher order dynamic equations on time scales. Two-point conjugate type boundary value problems for general disconjugate dynamic equations on time scales are studied and the sign properties of associated Green's functions are established. As expected, the results unify known results from the theories of ordinary differential equations and finite difference equations.     

Applications of time scale symplectic systems without normality

Recently, the authors obtained new characterizations of the positivity and nonnegativity of a time scale quadratic functional F with separable endpoints related to a time scale symplectic system (S). In these results, the assumption of normality is absent. In this paper we present applications of such results. Namely, without assuming normality we derive Sturmian comparison theorems, results for general jointly varying endpoints, and characterizations of the positivity of F via the corresponding time scale Riccati equation, a certain perturbed quadratic functional, and a time scale Riccati inequality. These results generalize and unify many recent as well as classical ones.     

Method to derive Lagrangian and Hamiltonian for a nonlinear dynamical system with variable coefficients

A general method is developed to derive a Lagrangian and Hamiltonian for a nonlinear system with a quadratic first-order time derivative term and coefficients varying in the space coordinates. The method is based on variable transformations that allow removing the quadratic term and writing the equation of motion in standard form. Based on this form, an auxiliary Lagrangian for the transformed variables is derived and used to obtain the Lagrangian and Hamiltonian for the original variables. An interesting result is that the obtained Lagrangian and Hamiltonian can be non-local quantities, which do not diverge as the system evolves in time. Applications of the method to several systems with different coefficients shows that the method may become an important tool in studying nonlinear dynamical systems with a quadratic velocity term.     

NONOSCILLATION AT A FINITE POINT FOR LINEAR HAMILTONIAN SYSTEM

Using the associated quadratic functional of the Hamiltonian system, we obtain the non-oscillation of all the prepared solutions for the Hamiltonian system at a finite point.     

Coupled intervals in the discrete calculus of variations: necessity and sufficiency

In this work we study nonnegativity and positivity of a discrete quadratic functional with separately varying endpoints. We introduce a notion of an interval coupled with 0, and hence, extend the notion of conjugate interval to 0 from the case of fixed to variable endpoint(s). We show that the nonnegativity of the discrete quadratic functional is equivalent to each of the following conditions: The nonexistence of intervals coupled with 0, the existence of a solution to Riccati matrix equation and its boundary conditions. Natural strengthening of each of these conditions yields a characterization of the positivity of the discrete quadratic functional. Since the quadratic functional under consideration could be a second variation of a discrete calculus of variations problem with varying endpoints, we apply our results to obtain necessary and sufficient optimality conditions for such problems. This paper generalizes our recent work in [R. Hilscher, V. Zeidan, Comput. Math. Appl., to appear], where the right endpoint is fixed.     

Linear Hamiltonian Systems: Quadratic Integrals,Singular Subspaces and Stability

A chain of quadratic first integrals of general linear Hamiltonian systems that have not been represented in canonical form is found. Their involutiveness is established and the problem of their functional independence is studied. The key role in the study of a Hamiltonian system is played by an integral cone which is obtained by setting known quadratic first integrals equal to zero. A singular invariant isotropic subspace is shown to pass through each point of the integral cone, and its dimension is found. The maximal dimension of such subspaces estimates from above the degree of instability of the Hamiltonian system. The stability of typical Hamiltonian systems is shown to be equivalent to the degeneracy of the cone to an equilibrium point. General results are applied to the investigation of linear mechanical systems with gyroscopic forces and finite-dimensional quantum systems.     

Hamiltonian and Variational Linear Distributed Systems

We use the formalism of bilinear- and quadratic differential forms in order to study Hamiltonian and variational linear distributed systems. It was shown in [1] that a system described by ordinary linear constant-coefficient differential equations is Hamiltonian if and only if it is variational. In this paper we extend this result to systems described by linear, constant-coefficient partial differential equations. It is shown that any variational system is Hamiltonian, and that any scalar Hamiltonian system is contained (in general, properly) in a particular variational system.     

Invariant Tori in Hamiltonian Systems with High Order Proper Degeneracy

We study the existence of quasi-periodic, invariant tori in a nearly integrable Hamiltonian system of high order proper degeneracy, i.e., the integrable part of the Hamiltonian involves several time scales and at each time scale the corresponding Hamiltonian depends on only part of the action variables. Such a Hamiltonian system arises frequently in problems of celestial mechanics, for instance, in perturbed Kepler problems like the restricted and non-restricted 3-body problems and spatial lunar problems in which several bodies with very small masses are coupled with two massive bodies and the nearly integrable Hamiltonian systems naturally involve different time scales. Using KAM method, we will show under certain higher order non-degenerate conditions of Bruno–Rüssmann type that the majority of quasi-periodic, invariant tori associated with the integrable part will persist after the non-integrable perturbation. This actually concludes the KAM metric stability for such a properly degenerate Hamiltonian system.     

Equivalent conditions to the nonnegativity of a quadratic functional in discrete optimal control

In this paper we provide a characterization of the nonnegativity of a discrete quadratic functional ? with fixed right endpoint in the optimal control setting. This characterization is closely related to the kernel condition earlier introduced by M. Bohner as a part of a focal points definition for conjoined bases of the associated linear Hamiltonian difference system. When this kernel condition is satisfied only up to a certain critical index m, the traditional conditions, which are the focal points, conjugate intervals, implicit Riccati equation, and partial quadratic functionals, must be replaced by a new condition. This new condition is determined to be the nonnegativity of a block tridiagonal matrix, representing the remainder of ? after the index m, on a suitable subspace. Applications of our result include the discrete Jacobi condition, a unification of the nonnegativity and positivity of ? into one statement, and an improved result for the special case of the discrete calculus of variations. Even when both endpoints of ? are fixed, this paper provides a new result. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Maximum principle for functional equations in the space of discontinuous functions of three variables

The paper is devoted to the maximum principles for functional equations in the space of measurable essentially bounded functions. The necessary and sufficient conditions for validity of corresponding maximum principles are obtained in a form of theorems about functional inequalities similar to the classical theorems about differential inequalities of the Vallee Poussin type. Assertions about the strong maximum principle are proposed. All results are also true for difference equations, which can be considered as a particular case of functional equations. The problems of validity of the maximum principles are reduced to nonoscillation properties and disconjugacy of functional equations. Note that zeros and nonoscillation of a solution in a space of discontinuous functions are defined in this paper. It is demonstrated that nonoscillation properties of functional equations are connected with the spectral radius of a corresponding operator acting in the space of essentially bounded functions. Simple sufficient conditions of nonoscillation, disconjugacy and validity of the maximum principles are proposed. The known nonoscillation results for equation in space of functions of one variable follow as a particular cases of these assertions. It should be noted that corresponding coefficient tests obtained on this basis cannot be improved. Various applications to nonoscillation, disconjugacy and the maximum principles for partial differential equations are proposed.     

Criteria for right disfocality of linear difference equations

Right disfocality and criteria for right disfocality of linear difference equations are considered. The criteria require the positivity of appropriate minors of a Wronskian determinant and are analogues to criteria for the disconjugacy of linear ordinary differential equations and linear difference equations.     

An inverse problem for Hamiltonian systems

In a linear Hamiltonian system for which the Dirichlet principle is valid, solutions to boundary value problems can be identified as the unique minimizers of the quadratic functional associated with the system. The inverse problem, in which coefficient functions in the differential equations are identified as unique minimizers of a related functional, is discussed, together with conditions under which recovery can occur.