Hamiltonian system, linear
where is a quadratic form in the variables , with real coefficients which may depend on the time . A linear Hamiltonian system is also called a linear canonical system. The system (1) may be written as a Hamiltonian vector equation
where is the column vector , is the matrix of the quadratic form and
(here is the identity matrix). Equation (2) with an arbitrary non-singular real skew-symmetric matrix may be reduced, by a suitable substitution , where is a non-singular real matrix, to a similar form:
where is any given real non-singular skew-symmetric matrix. It will be assumed that in (2) , for all . The following equations can be reduced to (2): the second-order vector equation
in which is a -th order vector, and are real -matrix functions and ; the equation
where is a constant matrix, , , (the matrices , , are real); the scalar equation
where are real functions, ; and the corresponding vector equation. For equation (3),
for equation (3a),
for equation (4), , ,
The scalar equation (3) with , i.e. the equation
where is a periodic function, is known as Hill's equation (cf. also Hill equation).
Let be the evolution matrix of equation (2) (i.e. the matrix of a fundamental system of solutions of equation (2), normalized by the condition ). Introduce the indefinite scalar product , where is the ordinary inner product. A complex matrix which is unitary in the sense of this product (cf. also Unitary matrix), i.e. is such that , is called -unitary; a real -unitary matrix is called symplectic.
It is known (cf. Hamiltonian system) that the Poincaré invariant — the exterior differential form — is preserved during a motion along the trajectory of a Hamiltonian system. In the case of a linear Hamiltonian system this means that for any solutions , of equation (2) one has , i.e. is a symplectic matrix for any . It follows from the relation that the eigen values of (counted with multiplicities and the orders of the Jordan cells) are symmetric (in the sense of inversion) with respect to the unit circle (the Lyapunov–Poincaré theorem). The eigen values of symplectic (and -unitary) matrices which are equal in modulus to 1 are subdivided into eigen values of the first and second kind in accordance with the following rule. Let be an eigen value of a -unitary matrix and let . Then the form on the corresponding root subspace is non-degenerate. Let be the number of its positive and the number of its negative blocks; one says that eigen values of the first kind and eigen values of the second kind coincide at .
The kind of the purely-imaginary eigen values of the matrices , (for which , ) is defined in the same way. For a -unitary matrix the eigen values for which are called eigen values of the first kind if , and eigen values of the second kind if . Any symplectic matrix has (counted with multiplicities) exactly eigen values of the first kind and eigen values of the second kind. If are suitably numbered, they are continuous functions of the matrix , .
Oscillatory properties of solutions of linear Hamiltonian systems.
The oscillatory properties of the solutions of equations (2)–(4) are involved in a number of problems in variational calculus, optimum control, studies on the properties of the spectrum of the corresponding differential operator, etc.
Definitions. I) Equation (3) is called oscillatory if for any it is possible to find numbers and a solution such that , and is called non-oscillatory otherwise. II) Equation (4) is called oscillatory if for any it is possible to find a solution which has at least two zeros , , of order , and is called non-oscillatory otherwise. III) Equation (1) is called oscillatory if the function
is unbounded on , and is called non-oscillatory otherwise. (In (5), the are the eigen values of of the first kind.) After equation (3) or (4) has been reduced to (2), equation (2) thus obtained will be oscillatory in the sense of III) if and only if equation (3) (or (4)) is oscillatory in the sense of definition I) (or II)). The following geometrical interpretation may be given to definition III). The group of symplectic matrices is homeomorphic to the product of a connected and simply-connected topological space by the circle. The corresponding mapping may be so chosen that is the projection of the matrix onto the circle (here the are the eigen values of the first kind of ). Thus, equation (2) is oscillatory if, for , "winds unboundedly" in . (If , this group is homeomorphic to a "solid torus" , and the "winding" has a visual interpretation.) There exist various other definitions of the argument of a symplectic matrix, which correspond to other mappings of the group to the circle, and which are equivalent to (5) in the sense that they all satisfy the inequality
for any curve . Such arguments are, for example,
where are -submatrices of the matrix
(cf. ). There exist various effectively-verifyable sufficient (and sometimes necessary and sufficient) conditions of oscillatority and non-oscillatority of equations (2), (3) and (4) (see, for example,  and the references to ).
Linear Hamiltonian systems with periodic coefficients.
Let, in (2), almost-everywhere. The matrix is called the monodromy matrix of equation (2), and its eigen values are called the multipliers of (2). Equation (2) (or the corresponding Hamiltonian ) is called strongly stable if all its solutions are bounded on , and this property is preserved under small deformations of the Hamiltonian in the sense of the norm . Strong instability of equation (2) (of the Hamiltonian ) is defined in an analogous manner. For equation (2) to be strongly stable it is necessary and sufficient that all its multipliers lie on the unit circle and that no two multipliers of different kinds coincide (in other words, that all root subspaces of be definite in the sense of the product ). Equation (2) is strongly unstable if and only if some of its multipliers lie outside the unit circle. Two samples of multipliers (taken with their kinds) which do not include coincident multipliers of different kinds are called equivalent if one sample can be continuously converted into the other so that multipliers of different kinds do not meet. The class of equivalent samples is called a multiplier type. In the case of stability there are multiplier types. They may be denoted by symbols of the form in which the plus and minus signs correspond to the kind of multipliers which are successively encountered when moving along the upper half-circle from the point to the point . Let be the Banach space of all Hamiltonians of the above type with norm . The set of strongly-stable Hamiltonians breaks up in into a countable number of domains , ; . The domain is the set of all Hamiltonians to which correspond the multiplier type and the integer , defined by the formula
where are the arguments of the multipliers of the first kind , . For the set of strongly-unstable Hamiltonians breaks up into a countable number of domains; if this set is connected. Various sufficient conditions for are known, , , . Many of these conditions are obtained from the following theorem: Let ; it then follows from the strong stability of the "segment" , , that a Hamiltonian for which is strongly stable. A similar theorem has also been proved for the infinite-dimensional case , where is a Hilbert space and, in (2), and are operators with special properties ; if the theorem is valid for strongly-unstable Hamiltonians as well, .
Consider the equation
with a constant Hamiltonian such that all the solutions of equation (8) are bounded. A frequency is said to be critical if for any there exists a "perturbed" Hamiltonian equation
where , , such that equation (9) has unbounded solutions ( may have any sign). The phenomenon when unbounded oscillations arise as a result of arbitrarily-small periodic perturbations of some of the system's parameters is called parametric resonance. Parametric resonance is of great importance in technology and in physics. It is more "dangerous" (or more "useful" , depending on the problem) than ordinary resonance since, unlike to the latter, the oscillations increase exponentially (and not polynomially), and the resonance frequencies are not discrete but fill intervals. The lengths of these intervals depend on the amplitude of the perturbation, and the intervals themselves contract to single points (which correspond to critical frequencies) if the amplitude of the perturbation tends to zero. Let be the eigen values of the first kind of the matrix (then are those of the second kind). Let (). The critical frequencies are the numbers (; ) and only these numbers . In (9), let , where is a small parameter and
The vector system may be chosen so that (). In the "general case" the points for which equation (9) with is strongly unstable fill near the -axis the domains , where . The numbers , can be simply expressed in terms of and (see, for example, ).
The magnitude is a characterization of the "degree of danger" of the critical frequency : the higher its value, the wider the "unstability wedge" adjacent to the point and the nearer to the -axis the domain of -exponential growth of the solution with a small (for more details see ). See also , ,  for other information.
Results similar to the above have been obtained for equations (1) with complex coefficients ( is a Hermitian matrix function, , ; see, for example, ). A more general system
is considered in . It was found that the number of domains of stability is finite both in the real and in the complex case; a characterization of these domains was obtained in terms of the properties of the solutions of the corresponding equations.
|||A.M. [A.M. Lyapunov] Liapunoff, "Problème général de la stabilité du mouvement" , Princeton Univ. Press (1947) (Translated from Russian)|
|||M.G. Krein, "Foundations of the theory of -zones of stability of a canonical system of linear differential equations with periodic coefficients" Transl. Amer. Math. Soc. (2) , 120 (1983) pp. 1–70 In memoriam: A.A. Andronov (1955) pp. 413–498|
|||V.A. Yakubovich, V.M. Starzhinskii, "Linear differential equations with periodic coefficients" , Wiley (1975) (Translated from Russian)|
|||I.M. Gel'fand, V.B. Lidskii, "On the structure of stability regions of linear canonical systems of differential equations with periodic coefficients" Uspekhi Mat. Nauk , 10 : 1 (1955) pp. 3–40 (In Russian)|
|||R.L. Sternberg, "Variational methods and non-oscillation theorems for systems of differential equations" Duke Math. J. , 19 (1952) pp. 311–322|
|||V.A. Yakubovich, "Oscillatory properties of solutions of canonical equations" Mat. Sb. , 56 (98) : 1 (1962) pp. 3–42 (In Russian)|
|||M.G. Krein, "Hamiltonian systems of linear differential equations with periodic coefficients" Transl. Amer. Math. Soc. (2) , 120 (1983) pp. 139–168 Proc. Intern. Symp. Non-Linear Oscillations , 1 (1963) pp. 277–305|
|||V.B. Lidskii, "Oscillation theorems for canonical systems of differential equations" Dokl. Akad. Nauk SSSR , 102 : 5 (1955) pp. 877–880 (In Russian)|
|||V.M. Derguzov, "On stability of the solutions of the Hamilton equation with unbounded periodic operator coefficients" Mat. Sb. , 63 (105) : 4 (1964) pp. 591–619 (In Russian)|
|||J. Moser, "New aspects in the theory of stability of Hamiltonian systems" Comm. Pure Appl. Math. , 11 (1958) pp. 81–114|
|||W.A. Coppel, A. Howe, "On the stability of linear canonical systems with periodic coefficients" J. Austral. Math. Soc. , 5 (1965) pp. 169–195|
|||Yu.A. Mitropol'skii, "An averaging method in non-linear mechanics" , Kiev (1971) (In Russian)|
|||N.P. Erugin, "Linear systems of ordinary differential equations with periodic and quasi-periodic coefficients" , Acad. Press (1966) (Translated from Russian)|
|||V.B. Lidskii, P.A. Frolov, "The structure of the domain of stability of a self-adjoint system of differential equations with periodic coefficients" Mat. Sb. , 71 (113) : 1 (1966) pp. 48–64 (In Russian)|
|||Yu.L. Daletskii, M.G. Krein, "Stability of solutions of differential equations in Banach space" , Amer. Math. Soc. (1974) (Translated from Russian)|
|||V.N. Fomin, "Mathematical theory of parameter resonance in linear distributed systems" , Leningrad (1972) (In Russian)|
Hamiltonian system, linear. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hamiltonian_system,_linear&oldid=17683