Canonical solution of the two critical argument problem

The solution by Sessin and Ferraz-Mello (Celes. Mech. 32, 307–332) of the Hori auxiliary system for the motion of two planets with periods nearly commensurate in the ratio 21 is considerably simplified by the introduction of canonical variables. An analogous canonical transformation simplifies the elliptic restricted problem.     

Notes on Hori Method for Non-Canonical Systems

In this paper the new approach for the integration theory of the canonical version of Hori method recently proposed is extended to the non-canonical one. It will be shown that the non-homogeneous ordinary differential equation with an auxiliary parameter t* associated with the mth order equation of the algorithm can also be replaced by a non-homogeneous partial differential equation in the time t. Using a generalized canonical approach, the general algorithm proposed by Sessin is then revised; as well as the Lagrange variational equations for the non-canonical version of Hori method. A simplified algorithm derived from Sessin's algorithm is presented for non-linear oscillations problem.     

Notes on Hori Method for Canonical Systems

In this paper a slightly different approach is proposed for the process of determining the functions S _m and H _m ^* of the algorithm of the canonical version of Hori method. This process will be referred to as integration theory of the mth order equation of the method. It will be shown that the ordinary differential equation with an auxiliary parameter t ^* as independent variable, introduced through Hori auxiliary system, can be replaced by a partial differential equation in the time t. In this way, the mth order equation of the algorithm assumes a form very similar to the one of other perturbation methods. In virtue of this new approach of the integration theory for Hori method, Lagrange's variational equations introduced by Sessin are revised. As an example, the Duffing equation is solved through this new approach.     

Lagrange variational equations from Hori's method for canonical systems

Hori, in his method for canonical systems, introduces a parameter through an auxiliary system of differential equations. The solutions of this system depend on the parameter and constants of integration. In this paper, Lagrange variational equations for the study of the time dependence of this parameter and of these constants are derived. These variational equations determine how the solutions of the auxiliary system will vary when higher order perturbations are considered. A set of Jacobi's canonical variables may be associated to the constants and parameter of the auxiliary system that reduces Lagrange variational equations to a canonical form.     

Attitude stability of artificial satellites subject to gravity gradient torque

The stability of the rotational motion of artificial satellites is analyzed considering perturbations due to the gravity gradient torque, using a canonical formulation, and Andoyer’s variables to describe the rotational motion. The stability criteria employed requires the reduction of the Hamiltonian to a normal form around the stable equilibrium points. These points are determined through a numerical study of the Hamilton’s equations of motion and linear study of their stability. Subsequently a canonical linear transformation is used to diagonalize the matrix associated to the linear part of the system resulting in a normalized quadratic Hamiltonian. A semi-analytic process of normalization based on Lie–Hori algorithm is applied to obtain the Hamiltonian normalized up to the fourth order. Lyapunov stability of the equilibrium point is performed using Kovalev and Savchenko’s theorem. This semi-analytical approach was applied considering some data sets of hypothetical satellites, and only a few cases of stable motion were observed. This work can directly be useful for the satellite maintenance under the attitude stability requirements scenario.     

Motion near the triangular points in the elliptic restricted problem of three bodies

In this paper the first variational equations of motion about the triangular points in the elliptic restricted problem are investigated by the perturbation theories of Hori and Deprit, which are based on Lie transforms, and by taking the mean equations used by Grebenikov as our upperturbed Hamiltonian system instead of the first variational equations in the circular restricted problem. We are able to remove the explicit dependence of transformed Hamiltonian on the true anomaly by a canonical transformation. The general solution of the equations of motion which are derived from the transformed Hamiltonian including all the constant terms of any order in eccentricity and up to the periodic terms of second order in eccentricity of the primaries is given.     

A note on resonance in regular variables and averaging

A point relative to the application of the method of Hori to resonant systems is considered: For systems having one degree of freedom the topology of the phase plane of the auxiliary Hori's system is unaltered in the process of construction of a formal solution. The transformed Hamiltonian may not lead to singular points other than those included in the auxiliary Hori's Hamiltonian.     

Regularization of the circular restricted three-body problem using ‘similar’ coordinate systems

The regularization of a new problem, namely the three-body problem, using ‘similar’ coordinate system is proposed. For this purpose we use the relation of ‘similarity’, which has been introduced as an equivalence relation in a previous paper (see Roman in Astrophys. Space Sci. doi:, 2011). First we write the Hamiltonian function, the equations of motion in canonical form, and then using a generating function, we obtain the transformed equations of motion. After the coordinates transformations, we introduce the fictitious time, to regularize the equations of motion. Explicit formulas are given for the regularization in the coordinate systems centered in the more massive and the less massive star of the binary system. The ‘similar’ polar angle’s definition is introduced, in order to analyze the regularization’s geometrical transformation. The effect of Levi-Civita’s transformation is described in a geometrical manner. Using the resulted regularized equations, we analyze and compare these canonical equations numerically, for the Earth-Moon binary system.     

Solution of the radiative transfer equation in combination with rayleigh and isotropic scattering

A theory is constructed for solving half-space, boundary-value problems for the Chandrasekhar equations, describing the propagation of polarized light, for a combination of Rayleigh and isotropic scattering, with an arbitrary probability of photon survival in an elementary act of scattering. A theorem on resolving a solution into eigenvectors of the discrete and continuous spectra is proven. The proof comes down to solving a vector, Riemann—Hilbert, boundary-value problem with a matrix coefficient, the diagonalizing matrix of which has eight branching points in the complex plane. Isolation of the analytical branch of the diagonalizing matrix enables one to reduce the Riemann—Hilbert problem to two scalar problems based on a [0, 1] cut and two vector problems based on an auxiliary cut. The solution of the Riemann—Hilbert problem is given in the class of meromorphic vectors. The conditions of solvability enable one to uniquely determine the unknown expansion coefficients and free parameters of the solution of the boundary-value problem. Translated from Astrofizika, Vol. 41, No. 2, pp. 263–276, April-June, 1998.     

Application of Hori's technique in general planetary theory

In this part we present the complete solution of the planetary canonical equations of motion by the method of G. Hori through successive changes of canonical variables using the Lie series. Thus, we can eliminate the long or critical terms of the planetary perturbing function, in our general planetary theory. In our formulas, we neglect perturbation terms of order higher than the third with respect to planetary masses.     

Do Average Hamiltonians Exist?

The word "average" and its variations became popular in the sixties and implicitly carried the idea that "averaging" methods lead to "average" Hamiltonians. However, given the Hamiltonian H = H₀(J) + ∈R(θ, J), (∈ < < 1), the problem of transforming it into a new Hamiltonian H^* (J^*) (dependent only on the new actions J^*), through a canonical transformation given by zero-average trigonometrical series has no general solution at orders higher than the first. This revised version was published online in July 2006 with corrections to the Cover Date.     

On the numerical transformation of variables in perturbation theory

Once the generating function of a Lie-type transformation is known, canonical variables can be transformed numerically by application of a Runge-Kutta type integration method or any other appropriate numerical integration algorithm. The proposed approach avails itself of the fact, that the transformation is defined by a system of differential equations with a small parameter as the independent variable. The integration of such systems arising in the perturbation theories of Hori and Deprit is discussed. The method allows to compute numerical values of periodic perturbations without deriving explicitly the perturbation series. This saving of an algebraic work is achieved at the expense of multiple evaluations of the generator's derivatives.     

Averaging the Equations of a Planetary Problem in an Astrocentric Reference Frame

A system of averaged equations of planetary motion around a central star is constructed. An astrocentric coordinate system is used. The two-planet problem is considered, but all constructions are easily generalized to an arbitrary number N of planets. The motion is investigated in modified (complex) Poincarécanonical elements. The averaging is performed by the Hori–Deprit method over the fast mean longitudes to the second order relative to the planetary masses. An expansion of the disturbing function is constructed using the Laplace coefficients. Some terms of the expansion of the disturbing function and the first terms of the expansion of the averaged Hamiltonian are given. The results of this paper can be used to investigate the evolution of orbits with moderate eccentricities and inclinations in various planetary systems.     

Expression of the initial Poincaré canonical variables as functions of the new in a ninth order J-S theory

We establish the solution of the ninth order — in masses — canonical J-S equations of motion by Hori-Lie technique — i.e., by expressing the initial Poincaré canonical variables as functions of the new variables through the Hori-Lie canonical transformation. Terms of order higher than 9 in the masses are neglected.     

A new algorithm for the Lie transformation

Following Hori, the Lie transformation is presented in a form that is independent of any extraneous parameters. The transformation is canonical, and its inverse is obtained by changing the sign of the generating function. The introduction of a small parameter into the generating function and the Hamiltonian then yields a recursive, triangular algorithm. The case of a Hamiltonian containing the time explicitly is included by adjoining an additional pair of conjugate variables. The necessary and sufficient condition that this transformation be identical to Deprit's transformation is given as a recursive relation between successive terms in the generating functions. Explicit formulas are obtained through the sixth order.After submitting the present paper the author learned of similar and independent work by Campbell and Jefferys and by Kamel (Ph.D. thesis).     

Application of Hori technique in general planetary theory

We explain how the first step of Hori-Lie procedure is applied in general planetary theory to eliminate short-period terms. We extend the investigation to the third-order planetary theory. We solved the canonical equations of motion for secular and periodic perturbations by this method, and obtained the first integrals of the system of canonical equations. Also we showed the relation between the determining function in the sense of Hori and the determining function in the sense of Von Zeipel.     

Equivalence for lie transforms

The Lie transform method used in Perturbation Theory is based upon an intrinsic algorithm for transforming functions or vector fields by a transformation close to the identity. It can thus be viewed as a specialization of methods and results of differential geometry as is shown in the first part of this paper. In a second part we answer some of the questions left open in connection with the equivalence of the algorithms proposed by Hori and Deprit. From a formal point of view, the methods are shown to be equivalent for non-canonical as well as canonical transformations and a formula relating directly the two generating functions (or vector fields) is presented (formula (5.17)). On the other hand, the equivalence is shown to hold also in the ring ofp-differentiable functions.     

Resonance in regular variables II: Formal solutions for central and non-central first-order resonance

Application of the method of Hori to the study of motions in the neighbourhood of the origin in the case of a first-order resonance. Discussion of the Lie-series expansions about the origin and of Hori's averaging principles and auxiliary equation, with emphasis on the introduction of the auxiliary parameter t^*.     

A note on the integration of the equations of Lie-Deprit's method for unspecified canonical variables

In this note it will be shown that the equations generated by Lie-Deprit's method for unspecified canonical variables could be solved in the same way as Hori did in his method. Here the notations follow those used by Deprit in his paper.