scispace - formally typeset
Search or ask a question

Showing papers in "Celestial Mechanics and Dynamical Astronomy in 1994"


Journal ArticleDOI
TL;DR: In this paper, closed-form expressions for the exterior gravitational potential and acceleration components due to a constant-density polyhedron were developed, and an equipotential surface of Phobos was illustrated.
Abstract: A polyhedron can model irregularly shaped objects such as asteroids, comet nuclei, and small planetary satellites. With minor effort, such a model can incorporate important surface features such as large craters. Here we develop closed-form expressions for the exterior gravitational potential and acceleration components due to a constant-density polyhedron. An equipotential surface of Phobos is illustrated.

250 citations


Journal ArticleDOI
TL;DR: In this article, the second order zonal harmonic dominates all other coefficients in the gravity field, and it is shown that a planet is Earth-like if the coefficient of the second-order zonal harmonics dominates all the other coefficients.
Abstract: We say that a planet is Earth-like if the coefficient of the second order zonal harmonic dominates all other coefficients in the gravity field. This paper concerns the zonal problem for satellites around an Earth-like planet, all other perturbations excluded. The potential contains all zonal coefficientsJ 2 throughJ 9. The model problem is averaged over the mean anomaly by a Lie transformation to the second order; we produce the resulting Hamiltonian as a Fourier series in the argument of perigee whose coefficients are algebraic functions of the eccentricity — not truncated power series. We then proceed to a global exploration of the equilibria in the averaged problem. These singularities which aerospace engineers know by the name of frozen orbits are located by solving the equilibria equations in two ways, (1) analytically in the neighborhood of either the zero eccentricity or the critical inclination, and (2) numerically by a Newton-Raphson iteration applied to an approximate position read from the color map of the phase flow. The analytical solutions we supply in full to assist space engineers in designing survey missions. We pay special attention to the manner in which additional zonal coefficients affect the evolution of bifurcations we had traced earlier in the main problem (J 2 only). In particular, we examine the manner in which the odd zonalJ 3 breaks the discrete symmetry inherent to the even zonal problem. In the even case, we find that Vinti's problem (J 4+J 2 2 =0) presents a degeneracy in the form of non-isolated equilibria; we surmise that the degeneracy is a reflection of the fact that Vinti's problem is separable. By numerical continuation we have discovered three families of frozen orbits in the full zonal problem under consideration; (1) a family of stable equilibria starting from the equatorial plane and tending to the critical inclination; (2) an unstable family arising from the bifurcation at the critical inclination; (3) a stable family also arising from that bifurcation and terminating with a polar orbit. Except in the neighborhood of the critical inclination, orbits in the stable families have very small eccentricities, and are thus well suited for survey missions.

130 citations


Journal ArticleDOI
TL;DR: In this article, the spherical harmonic coefficients of the gravitational potential of a homogeneous body are derived from the harmonics describing its shape and the volume, surface and inertia tensor of the body are obtained as by-products.
Abstract: The spherical harmonic coefficients of the gravitational potential of an homogeneous body are analytically derived from the harmonics describing its shape. General formulas are given as well as detailed expressions up to the fifth order of the topography harmonics. The volume, surface and inertia tensor of the body are obtained as by-products. The case of a triaxial ellipsoid is given as example and used for numerical checking. Another numerical scheme for verification is provided. The application to Phobos is made and the convergence of the expressions for the harmonics is numerically established.

127 citations


Journal ArticleDOI
TL;DR: In this paper, the authors present a general analysis of the planar circular restricted problem of three bodies in the case of exterior mean-motion resonances, and map the phase space of various commensurabilities and determine the singular solutions of the averaged system, comparing them to the well known case of interior resonances.
Abstract: The purpose of this paper is to present a general analysis of the planar circular restricted problem of three bodies in the case of exterior mean-motion resonances. Particularly, our aim is to map the phase space of various commensurabilities and determine the singular solutions of the averaged system, comparing them to the well-known case of interior resonances.

121 citations


Journal ArticleDOI
TL;DR: In this paper, the authors deal with the circular Sitnikov problem as a subsystem of the three-dimensional circular restricted three-body problem and analyze the qualitative and quantitative behavior of the period function.
Abstract: In this paper we deal with the circular Sitnikov problem as a subsystem of the three-dimensional circular restricted three-body problem. It has a first analytical part where by using elliptic functions we give the analytical expressions for the solutions of the circular Sitnikov problem and for the period function of its family of periodic orbits. We also analyze the qualitative and quantitative behavior of the period function. In the second numerical part, we study the linear stability of the family of periodic orbits of the Sitnikov problem, and of the families of periodic orbits of the three-dimensional circular restricted three-body problem which bifurcate from them; and we follow these bifurcated families until they end in families of periodic orbits of the planar circular restricted three-body problem. We compare our results with the previous ones of other authors on this problem. Finally, the characteristic curves of some bifurcated families obtained for the mass parameter close to 1/2 are also described.

79 citations


Journal ArticleDOI
TL;DR: In this article, a collection of results obtained by numerical integration of orbits in the main problem of artificial satellite theory (theJ fixme2 problem) were described, where periodic orbits have been classified according to their stability and the Poincare surfaces of section computed for different values of J fixme2 and H (whereH is thez-component of angular momentum) The problem was scaled down to a fixed value (−1/2) of the energy constant.
Abstract: We describe a collection of results obtained by numerical integration of orbits in the main problem of artificial satellite theory (theJ 2 problem) The periodic orbits have been classified according to their stability and the Poincare surfaces of section computed for different values ofJ 2 andH (whereH is thez-component of angular momentum) The problem was scaled down to a fixed value (−1/2) of the energy constant It is found that the pseudo-circular periodic solution plays a fundamental role They are the equivalent of the Poincare first-kind solutions in the three-body problem The integration of the variational equations shows that these pseudo-circular solutions are stable, except in a very narrow band near the critical inclincation This results in a sequence of bifurcations near the critical inclination, refining therefore some known results on the critical inclination, for instance by Izsak (1963), Jupp (1975, 1980) and Cushman (1983) We also verify that the double pitchfork bifurcation around the critical inclination exists for large values ofJ 2, as large as |J 2|=02 Other secondary (higher-order) bifurcations are also described The equations of motion were integrated in rotating meridian coordinates

72 citations


Journal ArticleDOI
TL;DR: In this article, a computer assisted reformulation of Sundman's determination of the domain of absolute convergence of the Laplacian expansion of the disturbing function is given and a convergence criterion for mutually inclined orbits is established.
Abstract: A computer-assisted reformulation of Sundman's determination of the the domain of absolute convergence of the Laplacian expansion fo the disturbing function is given Sundman's results are extended to the cases of librating perihelions and a convergence criterion is established for the case of mutually inclined orbits

64 citations


Journal ArticleDOI
TL;DR: In this article, the authors propose three ways of stretching out the projective factoring into four-dimensional coordinate transformations, and offer for each of them a canonical extension into the moment space.
Abstract: The method for processing perturbed Keplerian systems known today as the linearization was already known in the XVIIIth century; Laplace seems to be the first to have codified it. We reorganize the classical material around the Theorem of the Moving Frame. Concerning Stiefel's own contribution to the question, on the one hand, we abandon the formalism of Matrix Theory to proceed exclusively in the context of quaternion algebra; on the other hand, we explain how, in the hierarchy of hypercomplex systems, both the KS-transformation and the classical projective decomposition emanate by doubling from the Levi-Civita transformation. We propose three ways of stretching out the projective factoring into four-dimensional coordinate transformations, and offer for each of them a canonical extension into the moment space. One of them is due to Ferrandiz; we prove it to be none other than the extension of Burdet's focal transformation by Liouville's technique. In the course of constructing the other two, we examine the complementarity between two classical methods for transforming Hamiltonian systems, on the one hand, Stiefel's method for raising the dimensions of a system by means of weakly canonical extensions, on the other, Liouville's technique of lowering dimensions through a Reduction induced by ignoration of variables.

64 citations


Journal ArticleDOI
TL;DR: In this paper, the motion of a particle in a gravitational field perturbed by radiation pressure was studied and the existence of a surface of stable circular orbits with centers on an axis through the primary body was found.
Abstract: The motion has been studied of a particle in a gravitational field perturbed by radiation pressure By combining the formulation in the physical space variables with the KS variables we obtained explicit evidence for the existence of a surface of stable circular orbits with centers on an axis through the primary body Furthermore, the effects of a sharp shadow on the two-dimensional unstable parabolic orbits were investigated It was found that they do not survive the introduction of a shadow

59 citations


Journal ArticleDOI
TL;DR: In this article, a method for the calculation of proper elements is presented based on Williams' work and rewritten in action angle variables, and the averaging over the long periodic terms is performed by the semi numerical method developed by Henrard (1990); no series expansion in eccentricity or inclination of the asteroid is used which allows calculating proper elements for highly inclined orbits.
Abstract: Based on Williams' work and rewritten in action angle variables, a method for the calculation of proper elements is here presented. The averaging over the long periodic terms is performed by the semi numerical method developed by Henrard (1990); no series expansion in eccentricity or inclination of the asteroid is used which allows calculating proper elements for highly inclined orbits. Conversely, the theory is truncated at the first degree in the eccentricity and the inclination of the perturbing planets. A few tests about accuracy and consistency are presented.

55 citations


Journal ArticleDOI
TL;DR: In this article, a new derivation of the equations for the central configurations of the 1+n body problem was given, and it was shown that forn large enough there exists only one solution.
Abstract: In this paper, we give a new derivation of the equations for the central configurations of the 1+n body problem. In the case of equal masses, we show that forn large enough there exists only one solution. Our lower bound forn improves by several orders of magnitude the one previously found by Hall.

Journal ArticleDOI
TL;DR: The usefulness of STF-tensors in celestial mechanics was emphasized in this paper. But the usefulness of the STF tensors was not emphasized in this paper, since it was shown that all Cartesian formulas can be converted easily into the usual spherical representations.
Abstract: The purpose of this article is to emphasize the usefulness of STF-tensors in celestial mechanics. Using STF-mass multipole moments and Cartesian coordinates the derivations of equations of motion, the interaction- and tidal-potentials for an isolated system ofN arbitrarily shaped and composed, purely gravitationally interacting bodies are particularly simple. Using simple relations between STF-tensors and spherical harmonics it is shown how all Cartesian formulas can be converted easily into the usual spherical representations. Some computational aspects of STF-tensors and spherical harmonics are discussed. A list of useful formulas for STF-tensors is provided.

Journal ArticleDOI
TL;DR: In this article, the authors present an algorithm to compute the incomplete elliptic integral of a general form, which enables them to numerically calculate the values and the partial derivatives of all kinds, which are essential when dealing with many problems in celestial mechanics, including the analytic solution of the torque-free rotational motion of a rigid body around its barycenter.
Abstract: We present an algorithm to compute the incomplete elliptic integral of a general form. The algorithm efficiently evaluates some linear combinations of incomplete elliptic integrals of all kinds to a high precision. Some numerical examples are given as illustrations. This enables us to numerically calculate the values and the partial derivatives of incomplete elliptic integrals of all kinds, which are essential when dealing with many problems in celestial mechanics, including the analytic solution of the torque-free rotational motion of a rigid body around its barycenter.

Journal ArticleDOI
TL;DR: In this article, a strategy is formulated to design optimal time-fixed impulsive transfers between three-dimensional libration-point orbits in the vicinity of the interior L 1 libration point of the Sun-Earth/Moon barycenter system.
Abstract: A strategy is formulated to design optimal time-fixed impulsive transfers between three-dimensional libration-point orbits in the vicinity of the interiorL 1 libration point of the Sun-Earth/Moon barycenter system. The adjoint equation in terms of rotating coordinates in the elliptic restricted three-body problem is shown to be of a distinctly different form from that obtained in the analysis of trajectories in the two-body problem. Also, the necessary conditions for a time-fixed two-impulse transfer to be optimal are stated in terms of the primer vector. Primer vector theory is then extended to non-optimal impulsive trajectories in order to establish a criterion whereby the addition of an interior impulse reduces total fuel expenditure. The necessary conditions for the local optimality of a transfer containing additional impulses are satisfied by requiring continuity of the Hamiltonian and the derivative of the primer vector at all interior impulses. Determination of the location, orientation, and magnitude of each additional impulse is accomplished by the unconstrained minimization of the cost function using a multivariable search method. Results indicate that substantial savings in fuel can be achieved by the addition of interior impulsive maneuvers on transfers between libration-point orbits.

Journal ArticleDOI
TL;DR: In this paper, a simple modification of this method was presented to include small non-gravitational forces. But the complexity of the modification was not increased. And the new scheme provided a similar advantage of computational speed for a larger class of problems in solar system dynamics.
Abstract: Recently a new class of numerical integration methods — “mixed variable symplectic integrators” — has been introduced for studying long-term evolution in the conservative gravitational few-body problem. These integrators are an order of magnitude faster than conventional ODE integration methods. Here we present a simple modification of this method to include small non-gravitational forces. The new scheme provides a similar advantage of computational speed for a larger class of problems in Solar System dynamics.

Journal ArticleDOI
TL;DR: In this article, the authors study Harrington's Hamiltonian in the Hill approximation of the stellar problem of three bodies in order to clarify and sharpen a qualitative analysis made by Lidov and Ziglin.
Abstract: We study Harrington's Hamiltonian in the Hill approximation of the stellar problem of three bodies in order to clarify and sharpen a qualitative analysis made by Lidov and Ziglin. We show how the orbital space after four reductions is a two-dimensional sphere, Harrington's Hamiltonian defining a biparametric dynamical system. We produce the diagrams corresponding to each type of phase flow according to a complete discussion of all possible local and global bifurcations determined by the four integrals of the system.

Journal ArticleDOI
TL;DR: In this paper, the first known Mars Trojan asteroid (5261) Eureka was determined to be stable at least on megayear timescales by strong perturbations by other planets other than Mars.
Abstract: Observations and results of orbit determination of the first known Mars Trojan asteroid (5261) Eureka are presented. We have numerically calculated the evolution of the orbital elements, and have analyzed the behavior of the motion during the next 2 Myr. Strong perturbations by planets other than Mars seem to stabilize the eccentricity of the asteroid by stirring the high order resonances present in the elliptic restricted problem. As a result, the orbit appears stable at least on megayear timescales. The difference of the mean longitudes of Mars and Eureka and the semimajor axis of the asteroid form a pair of variables that essentially behave in an adiabatic manner, while the evolution of the other orbital elements is largely determined by the perturbations due to other planets.

Journal ArticleDOI
TL;DR: In this paper, the problem of integrating over the mean anomaly with that of decomposing an element of A as the direct sum of two functions, one in the kernel of the Lie derivative in the Keplerian flow and another in the image of this Lie derivative, is investigated.
Abstract: In the algebraA of functions periodic in the mean anomaly we relate the problem of integrating over the mean anomaly with that of decomposing an element ofA as the direct sum of two functions, one in the kernel of the Lie derivative in the Keplerian flow and one in the image of this Lie derivative. We propose recursive rules amenable to general purpose symbolic processors for accomplishing such decomposition in a wide subclass ofA. We introduce the dilogarithmic function to express in exact terms quadratures involving the equation of the center.

Journal ArticleDOI
TL;DR: In this article, the authors proposed a new expansion of elliptic motion based on considering the eccentricitye as the modulusk of the elliptic functions and introducing the new anomalyw (a sort of elliptIC anomaly) defined byw=πu/2K−π/2,g=amu−π /2 (g being the eccentric anomaly) are compared with the classic (e, M), (e v) and (e g) expansions in multiples of mean, true and eccentric anomalies, respectively.
Abstract: New expansions of elliptic motion based on considering the eccentricitye as the modulusk of elliptic functions and introducing the new anomalyw (a sort of elliptic anomaly) defined byw=πu/2K−π/2,g=amu−π/2 (g being the eccentric anomaly) are compared with the classic (e, M), (e, v) and (e, g) expansions in multiples of mean, true and eccentric anomalies, respectively. These (q,w) expansions turn out to be in general more compact than the classical ones. The coefficients of the (e,v) and (e,g) expansions are expressed as the hypergeometric series, which may be reduced to the hypergeometric polynomials. The coefficients of the (q,w) expansions may be presented in closed (rational function) form with respect toq, k, k′=(1−k2)1/2,K andE, q being the Jacobi nome relatedk whileK andE are the complete elliptic integrals of the first and second kind respectively. Recurrence relations to compute these coefficients have been derived.

Journal ArticleDOI
TL;DR: In this article, the equation of the orbit and the scalar and vector integrals of motion are obtained by direct operation on the vector form of the equation, and the Kepler problem including radiation pressure and drag is treated.
Abstract: The Kepler problem including radiation pressure and drag is treated. The equation of the orbit is derived and the scalar and vector integrals of motion are obtained by direct operation on the vector form of the equation of motion.

Journal ArticleDOI
TL;DR: In this article, the authors derive a similar mapping directly and discuss its dynamical characters, which is very important for the study of near-parabolic motion of comets in the solar system.
Abstract: There exist many comets with near-parabolic orbits in the Solar System. Among various theories proposed to explain their origin, the Oort cloud hypothesis seems to be the most reasonable (Oort, 1950). The theory assumes that there is a cometary cloud at a distance 103 – 105 AU from the Sun and that perturbing forces from planets or stars make orbits of some of these comets become of near-parabolic type. Concerning the evolution of these orbits under planetary perturbations, we can raise the question: Will they stay in the Solar System forever or will they escape from it? This is an attractive dynamical problem. If we go ahead by directly solving the dynamical differential equations, we may encounter the difficulty of long-time computation. For the orbits of these comets are near-parabolic and their periods are too long to study on their long-term evolution. With mapping approaches the difficulty will be overcome. In another aspect, the study of this model has special meaning for chaotic dynamics. We know that in the neighbourhood of any separatrix i.e. the trajectory with zero frequency of the unperturbed motion of an Hamiltonian system, some chaotic motions have to be expected. Actually, the simplest example of separatrix is the parabolic trajectory of the two body problem which separates the bounded and unbounded motion. From this point of view, the dynamical study on near-parabolic motion is very important. Petrosky's elegant but more abstract deduction gives a Kepler mapping which describes the dynamics of the cometary motion (Petrosky, 1988). In this paper we derive a similar mapping directly and discuss its dynamical characters.

Journal ArticleDOI
TL;DR: In this article, the integrability of generalized Yang-Mills system with the Hamiltonian was investigated and it was shown that the system is integrable for the cases: (A)a>>\s 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 34, 35, 36, 38, 39, 40, 41, 42, 41
Abstract: This paper considers the integrability of generalized Yang-Mills system with the HamiltonianH a (p, q)=1/2(p 1 2 +p 2 2 +a 1 q 1 2 +a 2 q 2 2 )+1/4q 1 4 +1/4a 3 q 2 4 + 1/2a 4 q 1 2 q 2 2 . We prove that the system is integrable for the cases: (A)a 1=a 2,a 3=a 4=1; (b)a 1=a 2,a 3=1,a 4=3; (C)a 1=a 2/4,a 3=16,a 4=6. Our main result is the presentation of these integrals. Only for cases A and B does the Yang-Mills Hamiltonian possess the Painleve property. Therefore the Painleve test does not take account of the integrability for the case C.

Journal ArticleDOI
TL;DR: In this article, the notion of the family boundary curves (FBC) was introduced for monoparametric families and the relation of equilibrium points and asymptotic orbits, possibly possessed by the potentialV(x,y) to be FBC was studied.
Abstract: For monoparametric familiesf(x,y)=c of planar orbits, created by a planar potentialV(x,y), we introduce the notion of the family boundary curves (FBC). All members of the familyf(x,y)=c are traced in an allowable region of thexy plane, defined by the corresponding FBC, with total energyE=E(c) varying along the family. Family boundary curves are also found for two-parametric familiesf(x,y,b)=c. The relation of equilibrium points and asymptotic orbits, possibly possessed by the potentialV(x,y), to be FBC is studied.

Journal ArticleDOI
TL;DR: The stability of the triangular libration points in the case when the first and second order resonances appear was investigated in this paper, and it was proved that the first-order resonances do not cause instability.
Abstract: The stability of the triangular libration points in the case when the first and the second order resonances appear was investigated. It was proved that the first order resonances do not cause instability. The second order resonances may lead to instability. Domains of the instability in the two-dimensional parameter space were determined.

Journal ArticleDOI
Lin Liu1, Xinhao Liao1
TL;DR: In this article, the improved Encke special perturbation method has been suggested and the results show that Encke's method does indeed have a certain effectiveness, but cannot yet completely resolve the numerical stability, and the more efficient method is to use the energy integral or its variational relation to control the growth of the along-track error in general numerical calculations.
Abstract: Numerical methods are usually used for the computation of ephemerides with perturbations for the precise orbital determination of an artificial satellite. But their numerical stability will be encountered in a long arc. In this case the use the improved Encke special perturbation methods has been suggested. The results of this paper show that Encke's method does indeed have a certain effectiveness, but cannot yet completely resolve the numerical stability, and the more efficient method is to use the energy integral or its variational relation to control the growth of the along-track error in general numerical calculations so that the aim of stabilization can be achieved.

Journal ArticleDOI
TL;DR: In this paper, an integrator for the average motion of an asteroid in mean motion commensurability with Jupiter is presented, which is valid for any (p+q)/p (q = 0) and uses a double precision version of DE as propagator.
Abstract: The purpose of this paper is the presentation of an integrator for the average motion of an asteroid in mean motion commensurability with Jupiter. The program is valid for any (p+q)/p mean motion commensurability (except whenq=0) and uses a double precision version of DE (Shampine and Gordon 1975) as propagator. The averaged equations of motion of the asteroid are evaluated in a non-singular way for any value of the eccentricities and the inclinations and the orbit of Jupiter is described by the most important terms in Longstop 1B (Nobiliet al. 1989). This integrator can be considered as an extension of the well known Schubart Averaging (Schubart 1978) in which Jupiter is moving on a fixed ellipse.

Journal ArticleDOI
TL;DR: In this article, the non-linear stability of the libration pointL4 in the restricted problem has been studied when there are perturbations in the potentials between the bodies and it is shown that the pointL 4 is stable for all mass ratios in the range of linear stability except for three mass ratios depending upon the perturbing functions.
Abstract: The non-linear stability of the libration pointL4 in the restricted problem has been studied when there are perturbations in the potentials between the bodies. It is seen that the pointL4 is stable for all mass ratios in the range of linear stability except for three mass ratios depending upon the perturbing functions. The theory is applied to the following four cases: (i) There are no perturbations in the potentials (classical problem). (ii) Only the bigger primary is an oblate spheroid whose axis of symmetry is perpendicular to the plane of relative motion (circular) of the primaries. (iii) Both the primaries are oblate spheroids whose axes of symmetry are perpendicular to the plane of relative motion (circular) of the primaries. (iv) The primaries are spherical in shape and the bigger is a source of radiation.

Journal ArticleDOI
TL;DR: Improved formulas of impulse approximation method for stellar perturbations are derived in this article, which involves a deflection of the stellar path It is also applicable to an arbitrary time interval and is presented both in qualitative discussion and numerical results for Oort cloud cometary orbits.
Abstract: Improved formulas of impulse approximation method for stellar perturbations are derived The method proposed involves a deflection of the stellar path It is also applicable to an arbitrary time interval A comparison of the classical vs improved method is presented both in qualitative discussion and numerical results for Oort cloud cometary orbits

Journal ArticleDOI
TL;DR: In this paper, a new canonical transformation of freedom two was found and three new sets of canonical variables for the orbital motion and two for the rotational motion were derived, which remain well-defined in the case when the classical sets become ill-defined, for example, when the eccentricity and/or the inclination is small for the elliptic orbital motion.
Abstract: A new canonical transformation of freedom two was found. By using this, we derived three new sets of canonical variables for the orbital motion and two for the rotational motion. New canonical variables have clear physical meanings and remain well-defined in the case when the classical sets become ill-defined, for example, when the eccentricity and/or the inclination is small for the elliptic orbital motion.

Journal ArticleDOI
TL;DR: In this article, the 3:1 inclination resonance between Miranda and Umbriel is analyzed and the authors develop analytical tools for predicting the location and size of chaotic layers and secondary resonances.
Abstract: The recent numerical simulations of Tittemore and Wisdom (1988, 1989, 1990) and Dermottet al. (1988), Malhotra and Dermott (1990) concerning the tidal evolution through resonances of some pairs of Uranian satellites have revealed interesting dynamical phenomena related to the interactions between close-by resonances. These interactions produce chaotic layers and strong secondary resonances. The slow evolution of the satellite orbits in this dynamical landscape is responsible for temporary capture into resonance, enhancement of eccentricity or inclination and subsequent escape from resonance. The present contribution aims at developing analytical tools for predicting the location and size of chaotic layers and secondary resonances. The problem of the 3:1 inclination resonance between Miranda and Umbriel is analysed.