Periodic motions of a reversible second-order mechanical system: Application to the Sitnikov problem

A theory of the symmetric periodic motions (SPMs) of a reversible second-order system is presented which covers both oscillations and rotations. The structural stability property of the generating autonomous reversible system, which lies in the fact that the presence or absence of SPMs in a perturbed system is independent of the actual form of the “reversible” perturbations, is established. Both the case of the generation of SPMs from the family of SPMs of the generating system and birth cycle from the equilibrium state are investigated. Criteria of Lyapunov stability in a non-degenerate situation are obtained for the SPMs which are generated (in case of small values of the parameter). A method is proposed for constructing and investigating the Lyapunov stability of all the SPMs. The conditions for the existence of a cycle (symmetric and asymmetric) in the neighbourhood of a support “almost” resonance SPM are established for all cases of resonances. The theoretical results are applied to a study of the motion of a particle along a straight line which passes through the centre of mass of the system perpendicular to the plane of the identical attracting and simultaneously radiating main bodies (an extension of the Sitnikov problem) in the photogravitational version of the three-body problem. The circular problem is analysed and two different series of families of SPMs are found in the weakly elliptic problem. The instability of the equilibrium state is proved in the case of parametric resonance and the stability (and instability) domains are distinguished for arbitrary values of the eccentricity. All the SPMs with a period of 2π are constructed and the property of Lyapunov stability is investigated for these motions.     

Two Novel Classes of Arbitrary High-Order Structure-Preserving Algorithms for Canonical Hamiltonian Systems

In this paper, we systematically construct two classes of structure-preserving schemes with arbitrary order of accuracy for canonical Hamiltonian systems. The one class is the symplectic scheme, which contains two new families of parameterized symplectic schemes that are derived by basing on the generating function method and the symmetric composition method, respectively. Each member in these schemes is symplectic for any fixed parameter. A more general form of generating functions is introduced, which generalizes the three classical generating functions that are widely used to construct symplectic algorithms. The other class is a novel family of energy and quadratic invariants preserving schemes, which is devised by adjusting the parameter in parameterized symplectic schemes to guarantee energy conservation at each time step. The existence of the solutions of these schemes is verified. Numerical experiments demonstrate the theoretical analysis and conservation of the proposed schemes.     

The Moving-Frame Method for the Iterated-Integrals Signature: Orthogonal Invariants

Geometric, robust-to-noise features of curves in Euclidean space are of great interest for various applications such as machine learning and image analysis. We apply Fels–Olver’s moving-frame method (for geometric features) paired with the log-signature transform (for robust features) to construct a set of integral invariants under rigid motions for curves in \({\mathbb {R}}^d\) from the iterated-integrals signature. In particular, we show that one can algorithmically construct a set of invariants that characterize the equivalence class of the truncated iterated-integrals signature under orthogonal transformations, which yields a characterization of a curve in \({\mathbb {R}}^d\) under rigid motions (and tree-like extensions) and an explicit method to compare curves up to these transformations.

     

Symmetry of the Barochronous Motions of a Gas

We study the system of nonlinear differential equations which expresses the constancy of the algebraic invariants of the Jacobian matrix for smooth vector fields in three-dimensional space. This system is equivalent to the equations of gas dynamics which describe the barochronous motions of a gas (the pressure and density depend only on the time). We present the results of computation of the admissible local Lie group and construction of the general solution of the system. We mention a few new problems that arise here.     

Hierarchy for imbedding-distribution invariants of a graph

Most existing papers about graph imbeddings are concerned with the determination of minimum genus, and various others have been devoted to maximum genus or to highly symmetric imbeddings of special graphs. An entirely different viewpoint is now presented in which one seeks distributional information about the huge family of all cellular imbeddings of a graph into all closed surfaces, instead of focusing on just one imbedding or on the existence of imbeddings into just one surface. The distribution of imbeddings admits a hierarchically ordered class of computable invariants, each of which partitions the set of all graphs into much finer subcategories than the subcategories corresponding to minimum genus or to any other single imbedding surface. Quite low in this hierarchy are invariants such as the average genus, taken over all cellular imbeddings, and the average region size, where “region size” means the number of edge traversals required to complete a tour of a region boundary. Further up in the hierarchy is the multiset of duals of a graph. At an intermediate level are the “imbedding polynomials.” The hierarchy is explored, and several specific calculations of the values of some of the invariants are provided. The main results are concerned with the amount of work needed to derive one invariant from another, when possible, and with principles for computing the algebraic effect of adding an edge or of otherwise combining two graphs.     

Additive invariants on the Hardy space over the polydisc

In recent years various advances have been made with respect to the Nevanlinna-Pick kernels, especially on the symmetric Fock space, while the development on the Hardy space over the polydisc is relatively slow. In this paper, several results known on the symmetric Fock space are proved for the Hardy space over the polydisc. The known proofs on the symmetric Fock space make essential use of the Nevanlinna-Pick properties.Specifically, we study several integer-valued numerical invariants which are defined on an arbitrary invariant subspace of the vector-valued Hardy spaces over the polydisc. These invariants include the Samuel multiplicity, curvature, fiber dimension, and a few others.A tool used to overcome the difficulty associated with non-Nevanlinna-Pick kernels is Tauberian theory.     

Complete system of two-dimensional invariants for formulation of triangular finite element of composite shells

The paper describes a system of invariants of symmetric two-dimensional tensors defined on a plane or a surface. The system comprises the well-known first and second invariants and a new quantity called the combined invariant of two tensors. The focus is on the expression for the invariants in terms of normal components of the tensors determined in three different directions on the surface. The system of invariants is used to construct a triangular finite element for geometrically nonlinear analysis of shear deformable anisotropic shells subject to the Reissner–Mindlin assumptions. The relations obtained allow one to readily determine the strain energy of the element for the normal components of the stress and strain tensors in the direction of the element edges. Numerical examples are given to demonstrate some nonlinear capabilities of the element.     

Remarks on the nonlinear instability of incompressible Euler equations

In this paper, we consider the nonlinear instability of incompressible Euler equations. If a steady density is non-monotonic, then the smooth steady state is a nonlinear instability. First, we use variational method to find a dominant eigenvalue which is important in the construction of approximate solutions, then by energy technique and analytic method, we obtain the dynamical instability result.     

Classification of three-parametric spatial motions with a transitive group of automorphisms and three-parametric robot manipulators

The paper deals with the differential geometry of submanifolds of the kinematical space of Euclidean space kinematics, which is a six-dimensional pseudo-Riemannian symmetric space of signature (3, 3). The main result is in the proof of the classification theorem for three-dimensional Euclidean space motions with a transitive group of automorphisms. All of them are products (in the group multiplication) of homogeneous spaces and their list is provided. All three-parametric robot manipulators with constant invariants are found as an application of the classification theorem.     

On the orbital stability of pendulum-like oscillations and rotations of a symmetric rigid body with a fixed point

We deal with the problem of orbital stability of planar periodic motions of a dynamically symmetric heavy rigid body with a fixed point. We suppose that the center of mass of the body lies in the equatorial plane of the ellipsoid of inertia. Unperturbed periodic motions are planar pendulum-like oscillations or rotations of the body around a principal axis keeping a fixed horizontal position. Local coordinates are introduced in a neighborhood of the unperturbed periodic motion and equations of the perturbed motion are obtained in Hamiltonian form. Regions of orbital instability are established by means of linear analysis. Outside the above-mentioned regions, nonlinear analysis is performed taking into account terms up to degree 4 in the expansion of the Hamiltonian in a neighborhood of unperturbed motion. The nonlinear problem of orbital stability is reduced to analysis of stability of a fixed point of the symplectic map generated by the equations of the perturbed motion. The coefficients of the symplectic map are determined numerically. Rigorous results on the orbital stability or instability of unperturbed motion are obtained by analyzing these coefficients. The orbital stability is investigated analytically in two limiting cases: small amplitude oscillations and rotations with large angular velocities when a small parameter can be introduced.     

Line congruences as surfaces in the space of lines

The space of lines in R³ can be viewed as a four dimensional homogeneous space of the group of Euclidean motions, E(3). Line congruences arise in the classical method of transforming one surface to another by lines. These transformations are particularly interesting if some geometric property of the original surface is preserved. Line congruences, then, are two parameter families of lines and can be studied as surfaces in the space of lines. In this paper, we use the method of moving frames to study line congruences. We calculate the first order invariants of line congruences for which there are two real focal surfaces, and give the geometric meaning of these invariants. We look specifically at the case where the two first order invariants are constant and give a simple proof of Bäcklund's Theorem which relates to the transformation of one pseudospherical surface, a surface of constant negative Gaussian curvature, to another. These transformations are of interest since pseudospherical surfaces correspond to solutions to the sine-Gordon equation. We also give a proof of Bianchi's permutability theorem for pseudospherical surfaces in this context. Finally, we use the results of these theorems to generate some pseudospherical surfaces. All of these concepts and results are understood in terms of the structure equations of the line congruence.     

Irreducible function bases of isotropic invariants of a third order three-dimensional symmetric and traceless tensor

Third order three-dimensional symmetric and traceless tensors play an important role in physics and tensor representation theory. A minimal integrity basis of a third order three-dimensional symmetric and traceless tensor has four invariants with degrees two, four, six, and ten, respectively. In this paper, we show that any minimal integrity basis of a third order three-dimensional symmetric and traceless tensor is also an irreducible function basis of that tensor, and there is no syzygy relation among the four invariants of that basis, i.e., these four invariants are algebraically independent.     

Generalized symmetric functions and invariants of matrices

We generalize the classical isomorphism between symmetric functions and invariants of a matrix. In particular, we show that the invariants over several matrices are given by the abelianization of the symmetric tensors over the free associative algebra. The main result is proved by finding a characteristic free presentation of the algebra of symmetric tensors over a free algebra. The author is supported by research grant Politecnico di Torino n.119, 2004.     

Convergent numerical schemes for the compressible hyperelastic rod wave equation

We propose a fully discretised numerical scheme for the hyperelastic rod wave equation on the line. The convergence of the method is established. Moreover, the scheme can handle the blow-up of the derivative which naturally occurs for this equation. By using a time splitting integrator which preserves the invariants of the problem, we can also show that the scheme preserves the positivity of the energy density.     

Elementare Kennzeichnungen der symmetrischen Schrotung

In 1937 J. KRAMES discovered some famous spatial motions to be symmetric. For this special class of spatial motions there are still a lot of problems to be solved. Recently I could prove some characterizations of the spatial symmetric motions which are mainly based in my analogous spherical results in connection with the STUDY - correspondence of the line-geometry. This paper gives some new properties of the symmetric motions by means of the concept of the attendant spheres, due to O. GIERING.     

Conservative finite-difference scheme for the problem of a femtosecond laser pulse with an axially symmetric profile propagating in a medium with cubic nonlinearity

Conservative finite-difference schemes are constructed for the problem of a femtosecond laser pulse propagating in a cubically nonlinear medium in the axially symmetric case with allowance for temporal dispersion of the nonlinear response of the medium. The process is governed by the nonlinear Schrödinger equation involving the time derivative of the nonlinear term. The invariants of the differential problem are presented. It is shown that the difference analogues of these invariants hold for the solution to the finite-difference schemes proposed for the problem. As an example, the numerical results obtained for the self-focusing of a femtosecond light beam are presented.     

Conserved quantities of some Hamiltonian wave equations after full discretization

Hamiltonian PDEs have some invariant quantities, which would be good to conserve with the numerical integration. In this paper, we concentrate on the nonlinear wave and Schrödinger equations. Under hypotheses of regularity and periodicity, we study how a symmetric space discretization makes that the space discretized system also has some invariants or `nearly' invariants which well approximate the continuous ones. We conjecture some facts which would explain the good numerical approximation of them after time integration when using symplectic Runge-Kutta methods or symmetric linear multistep methods for second-order systems.     

Stabilization of the motions of mechanical systems with variable masses

A holonomic mechanical system with variable masses and cyclic coordinates is considered. Such a system can have generalized steady motions in which the positional coordinates are constant and the cyclic velocities under the action of reactive forces vary according to a given law. Sufficient Routh-Rumyantsev-type conditions for the stability of such motions are determined. The problem of stabilizing a given translational-rotational motion of a symmetric satellite in which its centre of mass moves in a circular orbit and the satellite executes rotational motion about its axis of symmetry is solved.     

Hamiltonian reduced fluid model for plasmas with temperature and heat flux anisotropies

For an arbitrary number of species, we derive a Hamiltonian fluid model for strongly magnetized plasmas describing the evolution of the density, velocity, and electromagnetic fluctuations and also of the temperature and heat flux fluctuations associated with motions parallel and perpendicular to the direction of a background magnetic field. We derive the model as a reduction of the infinite hierarchy of equations obtained by taking moments of a Hamiltonian drift-kinetic system with respect to Hermite–Laguerre polynomials in velocity–magnetic-moment coordinates. We show that a closure relation directly coupling the heat flux fluctuations in the directions parallel and perpendicular to the background magnetic field provides a fluid reduction that preserves the Hamiltonian character of the parent drift-kinetic model. We find an alternative set of dynamical variables in terms of which the Poisson bracket of the fluid model takes a structure of a simple direct sum and permits an easy identification of the Casimir invariants. Such invariants in the limit of translational symmetry with respect to the direction of the background magnetic field turn out to be associated with Lagrangian invariants of the fluid model. We show that the coupling between the parallel and perpendicular heat flux evolutions introduced by the closure is necessary for ensuring the existence of a Hamiltonian structure with a Poisson bracket obtained as an extension of a Lie–Poisson bracket.