Hamiltonian systems with a discrete symmetry

If $\text{?: M → M}$ is an antisymplectic involution of a symplectic manifold M then the fixed set of ? is a Lagrangian submanifold L ? M. Moreover there exist cotangent bundle coordinates in a neighborhood of L in M such that ? in these coordinates maps a covector into its negative. Thus classical examples which have a discrete symmetry such as the restricted three-body problems are locally like a reversible system.     

Orthosymplectic integration of linear Hamiltonian systems

Summary. The authors describe a continuous, orthogonal and symplectic factorization procedure for integrating unstable linear Hamiltonian systems. The method relies on the development of an orthogonal, symplectic change of variables to block triangular Hamiltonian form. Integration is thus carried out within the class of linear Hamiltonian systems. Use of an appropriate timestepping strategy ensures that the symplectic pairing of eigenvalues is automatically preserved. For long-term integrations, as are needed in the calculation of Lyapunov exponents, the favorable qualitative properties of such a symplectic framework can be expected to yield improved estimates. The method is illustrated and compared with other techniques in numerical experiments on the Hénon-Heiles and spatially discretized Sine-Gordon equations. Received December 11, 1995 / Revised version received April 18, 1996     

Spectral theory of discrete linear Hamiltonian systems

This paper is concerned with spectral problems for a class of discrete linear Hamiltonian systems with self-adjoint boundary conditions, where the existence and uniqueness of solutions of initial value problems may not hold. A suitable admissible function space and a difference operator are constructed so that the operator is self-adjoint in the space. Then a series of spectral results are obtained: the reality of eigenvalues, the completeness of the orthogonal normalized eigenfunction system, Rayleigh's principle, the minimax theorem and the dual orthogonality. Especially, the number of eigenvalues including multiplicities and the number of linearly independent eigenfunctions are calculated.     

Lyapunov inequalities and stability for discrete linear Hamiltonian systems

In this paper, we establish several new Lyapunov-type inequalities for discrete linear Hamiltonian systems when the end-points are not necessarily usual zeros, but rather, generalized zeros, which generalize and improve almost all related existing ones. Applying these inequalities, an optimal stability criterion is obtained.     

Lyapunov inequalities and stability for discrete linear Hamiltonian systems

In this paper, we establish several new Lyapunov type inequalities for discrete linear Hamiltonian systems when the end-points are not necessarily usual zeros, but rather, generalized zeros, which generalize and improve almost all related existing ones. Applying these inequalities, an optimal stability criterion is obtained.     

Spectral properties of singular discrete linear Hamiltonian systems

This paper is concerned with spectral properties of singular discrete linear Hamiltonian systems. It is shown that properties of the essential spectrum of each self-adjoint subspace extension (SSE) of the corresponding minimal subspace are independent of the values of the coefficients of the system on any finite subinterval. The analyticity of the Weyl function is studied by employing the Schwarz reflection principle for the system in the limit point case. Based on the above work, several sufficient conditions are obtained for each SSE to have no essential spectrum points in an interval of the real line in the strong limit point case, and then a sufficient condition for the essential spectrum to be bounded from below (above) and a sufficient condition for the pure discrete spectrum are presented, respectively. As a direct consequence, the related spectral properties of singular higher order symmetric vector difference expressions are given.     

Essential spectrum of singular discrete linear Hamiltonian systems

The paper is concerned with the essential spectral points of singular discrete linear Hamiltonian systems. Several sufficient conditions for a real point to be in the essential spectrum are obtained in terms of the number of linearly independent square‐summable solutions of the corresponding homogeneous linear system, and a sufficient and necessary condition for a real point to be in the essential spectrum is given in terms of the number of linearly independent square‐summable solutions of the corresponding nonhomogeneous linear system. As a direct consequence, the corresponding results for singular higher‐order symmetric vector difference expressions are given.     

Numerical integration of constrained Hamiltonian systems using Dirac brackets

We study the numerical properties of the equations of motion of constrained systems derived with Dirac brackets. This formulation is compared with one based on the extended Hamiltonian. As concrete examples, a pendulum in Cartesian coordinates and a chain molecule are treated.

     

Geometric integration of Hamiltonian systems perturbed by Rayleigh damping

Explicit and semi-explicit geometric integration schemes for dissipative perturbations of Hamiltonian systems are analyzed. The dissipation is characterized by a small parameter ε, and the schemes under study preserve the symplectic structure in the case ε=0. In the case 0<ε≪1 the energy dissipation rate is shown to be asymptotically correct by backward error analysis. Theoretical results on monotone decrease of the modified Hamiltonian function for small enough step sizes are given. Further, an analysis proving near conservation of relative equilibria for small enough step sizes is conducted.     

Invariance of deficiency indices under perturbation for discrete Hamiltonian systems

This paper deals with discrete Hamiltonian systems with one singular endpoint. Using Hermitian linear relation generalized by linear Hamiltonian system, the invariance of the minimal and maximal deficiency indices under bounded perturbation for discrete Hamiltonian systems is built. This parallels the well-known results for linear Hamiltonian differential systems obtained by F.V. Atkinson.     

Existence of infinitely many homoclinic orbits in discrete Hamiltonian systems

By using the Symmetric Mountain Pass Theorem, we establish some existence criteria to guarantee the second-order self-adjoint discrete Hamiltonian system Δ[p(n)Δu(n−1)]−L(n)u(n)+∇W(n,u(n))=0 has infinitely many homoclinic orbits, where n∈Z, u∈RN, p,L:Z→RN×N and W:Z×RN→R are no periodic in n. Our conditions on the potential W(n,x) are rather relaxed.     

The Glazman-Krein-Naimark theory for a class of discrete Hamiltonian systems

In this paper, the Glazman-Krein-Naimark theory for a class of discrete Hamiltonian systems is developed. A minimal and a maximal operators, GKN-sets, and a boundary space for the system are introduced. Algebraic characterizations of the domains of self-adjoint extensions of the minimal operator are given. A close relationship between the domains of self-adjoint extensions and the GKN-sets is established. It is shown that there exist one-to-one correspondences among the set of all the self-adjoint extensions, the set of all the d-dimensional Lagrangian subspaces of the boundary space, and the set of all the complete Lagrangian subspaces of the boundary space.     

On M-functions and operator theory for non-self-adjoint discrete Hamiltonian systems

We study discrete, generally non-self-adjoint Hamiltonian systems, defining Weyl–Sims sets, which replace the classical Weyl circles, and a matrix-valued M-function on suitable cone-shaped domains in the complex plane. Furthermore, we characterise realisations of the corresponding differential operator and its adjoint, and construct their resolvents.     

Homoclinic solutions for a class of second order discrete Hamiltonian systems

Consider the second order discrete Hamiltonian systems Δ2u(n-1)-L(n)u(n) + ▽W (n, u(n)) = f(n),where n ∈ Z, u ∈ RN and W : Z × RN → R and f : Z → RN are not necessarily periodic in n. Under some comparatively general assumptions on L, W and f , we establish results on the existence of homoclinic orbits. The obtained results successfully generalize those for the scalar case.