A&A 423, 745-753 (2004)
DOI: 10.1051/0004-6361:20040153
C. M. Giordano - P. M. Cincotta
Facultad de Ciencias Astronómicas y Geofísicas, Universidad Nacional de La Plata, Paseo del Bosque, 1900 La Plata, Argentina
Received 12 August 2003 / Accepted 7 April 2004
Abstract
In this paper we discuss the relevance of diffusive processes in
multidimensional Hamiltonian systems.
By means of a rather simple model,
we present evidence that for moderate-to-strong chaotic systems
the stochastic motion remains confined to disjoint domains on the energy
surface, at least for mild motion times.
We show that only for extremely large timescales and for rather large
perturbations, does
the chaotic component appear almost fully connected through the relics of
the resonance structure.
The discussion whether diffusion over the energy surface could actually occur in asteroidal
or galaxy dynamics is also included.
Key words: diffusion - stellar dynamics - celestial mechanics
In order to build up an equilibrium model for a galaxy that is assumed to be represented by a smooth gravitational field it is necessary to know beforehand its global dynamics. It seems likely that any realistic model should exhibit a divided phase space, that is, the motion would take place either in a stable, regular component or in one or more unstable, chaotic components. In 3D systems displaying such a dynamics, the existence of three, in general local, invariants, allows the presence of invariant tori where regular, quasi-periodic or resonant motion takes place. The disruption of these local invariants, mainly due to resonance interactions, leads to the appearance of a chaotic component.
However, the first attempts to investigate these matters in astrophysical literature assumed that for dynamical systems with more than 2 degrees of freedom the chaotic component is fully connected. In fairly recent studies, such as Merritt & Valluri (1996) and Merritt & Fridman (1996), the authors study whether this full connection of the chaotic component may occur in realistic physical times. If such were the case, it would imply that the orbit of a star within the chaotic domain would explore the whole region, which, in general, would comprise a large fraction of the energy surface. As a consequence the distribution function on the chaotic component would depend only on the energy (see Merritt 1999 for a thorough discussion).
Here, by means of a very simple model, we present numerical evidence that for moderate-to-strong chaotic systems diffusion does not occur over the whole chaotic component and only when the latter fills almost all the energy surface may diffusion become significant but in extremely long times. As far as we know, this is one of the first efforts showing diffusive processes in phase space of multidimensional systems. With this aim we have chosen a rather simple Hamiltonian system in order to have a complete knowledge of the local and global dynamics and the transition to chaos and particularly to be able to study in detail the motion in the resonance intersections.
In a forthcoming paper we will present a detailed investigation of these matters but we will now deal with a fairly realistic model, namely, a perfect ellipsoid perturbed by Denhen's law.
As is well known, the knowledge of the resonance structure is of actual relevance when dealing with near-integrable Hamiltonian systems.
In the present effort, we will be concerned with the perturbed uncoupled
quartic oscillator
H_{0}(h_{1},h_{2},h_{3}) = h_{1}+h_{2}+h_{3}, | |||
Note that for those harmonics in which one of the
is zero,
the resonant polynomial (6) can be easily solved to yield
The width of any of those resonances can be computed by means of a simple pendulum approximation, which indeed is a suitable description whenever we assume each resonance to be isolated from the rest.
Let us notice that the map
transforms the
unperturbed energy surface into a plane, so that we can perform a
second (global) change of
coordinates,
,
in such a way that
the e_{3}-axis is normal to the energy plane,
In Fig. 1b, the resonance widths were measured in terms of instead of and then transformed to the (e_{1},e_{2})-plane by means of Eqs. (8); for the detailed computation of the resonance widths we refer to Cincotta et al. (2003).
On applying the MEGNO (a somewhat detailed description of this tool can be found in Appendix A) to the study of the global dynamics of Eq. (1), one obtains the resonance structure presented in Fig. 1c. There, the details of the phase space structure at a low-to-moderate value of the perturbation ( ) are displayed, depicting the obtained values for the MEGNO in a contour-like plot where resonances can be clearly distinguished.
Figure 1: a) Resonances of the unperturbed Hamiltonian (3) for 1<|m_{1}|+|m_{2}|+|m_{3}|<9 and energy h=1yielding the theoretical Arnold web on the energy surface. b) Strongest resonances and their theoretical widths. Arrows within resonances (2,-3,0) and (2,0,-3) indicate the direction in which oscillates about the corresponding resonant value. (Both Figs. a) and b) have been taken from Cincotta et al. 2003.) c) Actual dynamics of the system revealed by the MEGNO: -levels on the energy surface for , (see text). The contour plot corresponds to binned in the intervals [1.99, 1.995), [2, 2.015), [2.015, 20), [20, 160), [160, 215) , being . | |
Open with DEXTER |
At this stage, a brief reference to MEGNO's behavior is required in order to grasp the dynamical information comprised in such a figure. Let us then recall that in the case of regular motion, the MEGNO ( ) tends asymptotically to a fixed value independent of the orbit, namely . Small departures from this value indicate the proximity of some periodic orbit, where and for stable and unstable periodic orbits, respectively. On the other hand, for irregular, stochastic motion grows linearly with time as , at a rate equal to , denoting the largest Lyapunov Characteristic Number (LCN) of the orbit.
Let us devote the following paragraphs to describing the procedure giving rise to Fig. 1c, and Figs. 2a and 2b which correspond to higher values of the perturbation.
Figure 2: -levels on the energy surface. The contour plot in gray scale (from white to dark-gray) corresponds to binned in the intervals, a) [0, 2.01), [2.01, 15), [15, 50), [50, 160), [160, 412); b) [0, 2.1), [2.1, 30), [30, 60), [60, 130), [130,310) [310, 512). | |
Open with DEXTER |
Though at first sight the Hamiltonian (1) depends on two parameters - the energy h and -, after rescaling the variables in the fashion and , we have , which is independent of , and therefore the scaled energy, , turns out to be the only free parameter. We then allow to vary and fix the energy at the value . This adopted value for the energy leads to a period for the y, z-axial periodic orbits, which remain always stable despite the strength of the perturbation.
For each adopted value of , we take values of h_{1} and h_{2} with , where h_{1} and h_{2} are of the form This leads to 501, 501 initial conditions for which we take (x,y,z)=(0,0,0). We integrate the equations of motion together with their first variationals over a total motion time . For the tangent vector, we adopt the initial values and chosen at random in the interval (-1,1) and then normalized to 1. For each orbit we compute both and the rate at which the MEGNO grows with time. When performing the least squares fit on to obtain the LCN, only the last of the time interval is considered in order to avoid the initial transient. The actual energies h_{1},h_{2}, h_{3}, are scaled to the interval [0,1] (by division through h) and then transformed to the energy plane (e_{1}, e_{2}) by means of Eqs. (8).
In Fig. 1c, corresponding to , we display the values of binned in five intervals, two of them being very narrow and close to 2 (see figure caption for details). We have skipped all points with (corresponding to quasi-periodic motion) so that the resonances can be discerned more clearly. The gray-scale has been simulated using different point sizes for different intervals, which have been selected such as to highlight some details of the dynamics at the chosen perturbation value.
In this picture most of the main resonances can be clearly distinguished as light gray channels surrounded by dark boundaries. Thus, for instance, four main resonances are seen to intersect at the origin, the three lines corresponding to the (1,-1,0),(1,0,-1),(0,1,-1) resonances and the curve associated to the (-2,1,1) resonance.
The actual width of the resonances as well as the narrow stochastic layers at their edges can be clearly visualized. The center of any resonance "channel" corresponds to a sequence of 2D elliptic tori while its borders ("stochastic layer") correspond to a sequence of 2D hyperbolic tori. We observe a strip of chaotic motion close to h_{1}=0. The presence of this region is easily understood from Fig. 1a as the overlap of the strongest resonances, e.g. (2,-1,0) and (2,0,-1), as well as of many others (not shown in Fig. 1a).
It is quite interesting to see how intricate the dynamics at the intersection of resonances can be. To illustrate such a feature, let us note the complexity of the picture reproduced in Fig. 5c, taken from Cincotta et al. (2003), where we present a zoom around the intersection of resonances at the origin in Fig. 1c. That contour plot was obtained with a higher resolution in h_{1} and h_{2} and for a total motion time . There the MEGNO reveals the existence of several stability zones, which should be responsible for restraining the spread of chaotic motion, acting as barriers to diffusion. They are the well-known sticky tori surrounding the periodic orbit located at the center of the resonance. This plot is also very illustrative to see how the manifolds of lower dimensional tori bend in a complex fashion, giving rise to the many tight loops seen in the picture. These manifolds are important because they are the objects able to carry the motion arriving along one of the resonances either to the "other part'' of the resonance or to a different resonance.
As long as the perturbation is increased, resonances are seen to become wider. Figure 2 displays the actual structure of action space (e-space) at two different (rather large) values of the perturbation parameter, namely and . There, some details of the dynamics at moderate-to-high-level perturbations are shown in a plot similar to that in Fig. 1c; the character of the motion (resonant, quasi-periodic and stochastic) is represented in gray scale, from white to black, the different intervals have been selected so as to sharpen the details of the phase space structure in each case.
Notice that while for a significant part of the energy surface still looks regular, with wide resonance domains and a broad chaotic strip (Fig. 2a), it looks very chaotic for a somewhat slightly larger perturbation (Fig. 2b). Note however that within the weaker chaotic region, the MEGNO is still capable of unveiling the relics of resonance structures.
Figure 3: Fraction of chaotic motion vs. (in logarithmic scale). The vertical lines refer to the values of adopted for Figs. 1c and 2. | |
Open with DEXTER |
In Fig. 3 we present the fraction of chaotic motion as is increased, fixing a threshold of below which orbits are regarded as regular. The global amount of stochasticity as a function of is measured by counting how many pixels have a value of that exceeds the adopted threshold. The fraction of chaotic motion for the values of considered above, namely 0.02 and 0.04, are 38% and 91.7%, respectively. Note that there is some value of , close to 0.03, where a transition to, let us say, global stochasticity takes place, in the sense that chaotic motion prevails in phase space, the chaotic zones not being necessarily connected. Further, for values of the system exhibits completely chaotic dynamics.
A quite remarkable result obtained by the application of the MEGNO to this model is its capability to display the actual dynamics at resonance crossings. We find that diffusion over the energy surface may occur, which is obvious for large perturbations, but in the case of smaller perturbations, the MEGNO shows a complex structure at the resonance intersections, which could restrain the spreading of chaotic motion, at least for the timescales considered.
We proceed to analyze the diffusion on the energy surface at moderate-to-high perturbations, following several orbits with initial conditions in different stochastic domains.
Table 1: Initial conditions on the energy surface for seven orbits with high values of the MEGNO. The energies h_{1}, h_{2} are given in units of h/250, where is the total energy. The exact values of e_{1} and e_{2} should be obtained by means of Eqs. (8); their approximated values have been included so that they can be easily visualized on the energy surfaces.
For seven different initial conditions listed in Table 1 we have followed the wandering of the unperturbed integrals over the (e_{1},e_{2})-plane. We have picked two initial conditions in the chaotic strip close to h_{1}=0, (i) and (ii) - see Fig. 2a, another in the region surrounding the more regular central zone at the origin (iii) and four other initial conditions located near the crossing of resonances (iv)-(vii); all of them have very high values of the MEGNO. The origin has also been considered; it actually corresponds to a regular orbit.
Figure 4: Diffusion on the energy surface at moderate-to-high perturbations after characteristic periods T of the system for: a) , and b) ; and after for: c) , and d) . | |
Open with DEXTER |
The equations of motion have been integrated by means of a Runge-Kutta 7/8th order integrator (the so-called Dopri8 routine, see Hairer et al. 1987; Prince & Dormand 1981). The total motion time has been partitioned into 10^{5} intervals and the average of the unperturbed integrals over each interval has been obtained, with the aim of lowering the influence of bounded oscillations and so retaining the accumulated changes.
Let us remark that the integrator used for the present experiments is barely satisfactory since the resulting drift in the energy conservation is not negligible. However, the results obtained by means of such a standard routine are globally equivalent to those produced by the application of a rather more precise integrator, and succeed in providing a clear picture of the diffusion process in phase space over timescales like those considered here. We have already performed several runs using a 30th order Taylor scheme, which dramatically reduces the energy drift and is thus suitable for a long term diffusion investigation when integrations over much longer motion times are required (see Simó et al. 2004).
The results corresponding to for a total motion time of characteristic periods T of the system are presented in Fig. 4a (we refer to Fig. 2a for comparison). We note that even in the case of moderate perturbation, diffusion is completely irrelevant over such a timescale. Only when the resonances labeled by the harmonics (2,-1,0) and (2,0,-1) overlap does fast diffusion occur along such resonances, but it is restricted to a relatively small region of the energy surface. For the remaining initial conditions considered the unperturbed integrals remain confined to rather small domains. In particular, for the initial condition (vi) selected near the boundary h_{3}=0, the variation of the unperturbed integrals proves to be small, differing slightly from the expected behavior in case of stability. For the regular orbit at the origin, considered just for illustrative purposes, the wandering is restrained to a point, as expected.
The plot in Fig. 4b corresponds to and should be compared with the contour plot in Fig. 2b, where the chaotic regime prevails. Notice must be taken however that in the central region in the latter figure, for which , there lie several chaotic orbits; the light gray points and even some of the white points within it have values of the MEGNO larger than 2 (as indicated in the caption). Recall that for constructing Fig. 2b the values of the MEGNO are binned in intervals chosen so as to highlight the dynamical structure of phase space, rather than discriminate stable quasiperiodic motion from chaotic motion. Thus, those chaotic orbits depicted in white in the contour plot having MEGNO values smaller than 2.1 are likely to behave in a regular fashion for rather short timescales, such as 3500T. Furthermore, Fig. 3 reveals that for , the system shows up as globally chaotic, with just a small fraction of phase space occupied by stable motion. This explains why, for the larger total motion time now considered, characteristic periods T of the system, diffusion manages to trespass the central zone, the points being mainly concentrated along a fairly well-defined strip corresponding to the curve associated to the (-2,1,1) resonance (see below). Note that the upper part of the central zone remains unvisited at this timescale, except for a rather strong but confined concentration of points near the corner.
On considering an even larger timescale, characteristic periods T of the system, for (Fig. 4c) the fast diffusion occurring at the overlap of the resonances (2,-1,0) and (2,0,-1) after periods now spreads and continues upwards along the resonances near the borders h_{3}=0 and h_{2}=0. For the initial condition (vi) chosen at a resonance crossing near h_{2}=0, the variation of the unperturbed integrals that was restrained to a small domain in Fig. 4a for the lower timescale, now moves upwards, then proceeds to the right and finally goes downwards, the path being drawn by three different resonances. Notice, however, that on this timescale the wandering does not reach the banana-shaped domain on the right corresponding to the initial condition (iii), probably due to the complexity of the dynamics at resonance intersections (recall how intricate such crossings may be). Summing up, on this timescale and for the unperturbed integrals still roam over unconnected restraint zones of the energy surface. There remain very localized diffusion domains and the chaotic component seems far from being fully connected.
Instead, for , after characteristic periods T of the system the chaotic component is seen to be almost fully connected through the relics of the resonance structure (Fig. 4d). The upper right part of the energy surface, formerly empty, now appears densely populated by concentrations mainly along some still distinguishable remaining resonances.
Figure 5: a) Enlargement of Fig. 4d around (e_{1},e_{2})=(0,0). b) Diffusion of a single orbit over the energy surface for and T (see text for details). c) Blow-up around the origin in the contour plot displaying the -levels on the energy surface for and (taken from Cincotta et al. 2003). d) Diffusion close to (e_{1},e_{2})=(0,0) for and T (see text for details). | |
Open with DEXTER |
An enlargement of the central region in Fig. 4d is displayed in Fig. 5a, to see whether any unvisited domain still remains in that part of the energy surface for such a large timescale. A strong concentration of points persists along the strip already present in Fig. 4b for periods, namely, the curve associated to the (-2,1,1) resonance. Some further noticeable concentrations along an arc near the upper corner of the figure and several straight lines give a clear account of the remaining resonance structure.
In view of the results obtained for on the larger timescale, we integrate a single orbit, the initial condition (i) taken in the chaotic strip near the border h_{1}=0, for an even larger , characteristic periods T, and trace the path of its unperturbed integrals over the energy surface, with the aim of verifying whether this path covers the whole chaotic component. The results are displayed in Fig. 5b, and should be compared with the plot in Fig. 4d for seven different initial conditions in Table 1 corresponding to chaotic orbits. As seen in the picture, for this single orbit the unperturbed integrals trail over the chaotic component, the relics of resonances serving as routes. It should be mentioned that, for half the total motion time considered, the upper part of the energy surface remained yet unreached, and it took a much longer time to visit the whole chaotic component.
Finally, and in order to confirm the results presented in Fig. 5c - obtained for and a rather short time motion , and already discussed in Sect. 2 - in the sense that the intricate character of the dynamics at resonance crossings may well restrain diffusion, we have selected an initial condition near the origin (e_{1},e_{2})=(0.076342430317, -0.0799030662741) with a rather high value of the MEGNO, namely 5.89, and follow its path for over T (see Fig. 5d). We observe that despite the very large timescale considered, the variation of the unperturbed integrals remains confined to a rather small domain on the energy surface.
Note that when dealing with chaotic systems the use of different processors and/or software may lead to somewhat different results, though the global structures obtained on the energy surface would not show significant differences. It might happen, however, that two very close chaotic domains could show up on the energy surface either connected or unconnected when the integrations are carried out with different processors.
In the present paper we present a preliminary study of diffusion in phase space for a rather simple dynamical system in order to elucidate its efficiency in connecting different chaotic components. A thorough investigation of long term diffusion as well as of the efficiency of a single orbit in exploring the whole energy surface in the case of a fully chaotic dynamics was provided in Simó et al. (2004), where particular features of the dynamics of the chosen system are included.
Despite the simplicity of the adopted model, several results concerning its dynamics apply to any 3D Hamiltonian system exhibiting a divided phase space, such as galactic or planetary systems. In fact, two values for the perturbation have been selected such that the dynamics of our toy model resembles that of a galactic system (a moderate perturbation, in which case the two components are comparable) and asteroidal dynamics (a large perturbation for which the chaotic component prevails).
We have observed that diffusion may actually take place over the full chaotic component only for strongly chaotic dynamics and very long timescales. Notice that while timescales of the order of characteristic periods are physically significant in asteroidal dynamics, they are completely irrelevant for galactic systems, for which 10^{3} periods is a realistic upper bound. Anyway, despite the motion time elapsed, for moderate perturbations diffusion seems to be unable to connect different stochastic domains.
Since galaxies are N-body systems, one should not expect to gain relevant information on the time evolution of the distribution by following a single star orbit over a long stellar time. But from the above results, a single connected chaotic domain should exist for galaxies having a very large chaotic component (similar to that given in Fig. 2b); then it could happen that the timescale for diffusion given above (10^{8} periods) is highly overestimated, the actual timescale required for the galaxy to reach a nearly stationary distribution being somewhat lower.
An interesting fact is that diffusion is driven along the resonances, even in an overlap regime. Though the resonance structure is destroyed by the overlap, diffusion proceeds along its relics; the latter can be clearly seen in the MEGNO contour plots. This kind of diffusion should not be attributed strictly to Arnol'd diffusion (Arnol'd 1964; Chirikov 1979; Cincotta 2002), where the existence of a chain of tori (the so-called transition chain) is required to have a path for a single orbit to transit along the resonance. However, according to the obtained numerical evidence, the mechanism leading to diffusion shows a somewhat geometrical resemblance to Arnol'd diffusion in the sense that the strong stochastic layers around resonances serve as routes for diffusion, thus managing to connect two distant chaotic domains of phase space.
We have shown the complex nature of dynamics at resonance intersections in a multidimensional system. Moreover, we have provided numerical evidence that the predicted stability domains in the resonance crossings would restrain diffusion, at least over rather large motion times. Nonetheless, the evidence obtained here does not invalidate the theoretical conjecture that diffusion may spread over the whole energy surface of multidimensional systems through resonance intersections, which still remains an open question.
Observational evidence suggests that a model resembling for instance an elliptical galaxy should exhibit a phase space structure analogous to that presented in Fig. 2a (corresponding to a moderate perturbation). In such a case, we have observed that the unperturbed integrals remain confined to rather small chaotic domains and that diffusion is completely incapable of connecting them, at least over timescales of the order of 10^{8} characteristic periods, several orders of magnitude larger than the typical timescales for galactic systems. Further, the existence of remarkable point concentrations on the energy surface suggests that the distribution function is unlikely to depend only on the energy level, but also on one or two more local pseudo-invariants in a somewhat complicated fashion. This is a natural consequence of the discontinuous dependence of the unperturbed actions on the phase space coordinates in nearly integrable Hamiltonian systems.
This investigation encourages the study of more realistic models. In this direction, some very preliminary results concerning a perfect ellipsoid perturbed by Denhen's law for modeling an elliptical galaxy agree with those obtained here for the toy model. These issues will be thoroughly addressed in a forthcoming paper.
Acknowledgements
The authors would like to acknowledge the CONICET (Argentina) for financial support through the Instituto de Astrofísica de La Plata. We are also grateful to the valuable comments of C. Simó. Finally, we appreciate the referee labour on reviewing our manuscript in a rather critical fashion, thus contributing to its improvement.
Here we summarize the main features of the Mean Exponential Growth factor of Nearby Orbits (MEGNO-hereafter) that is described in detail in Cincotta et al. (2003). This alternative tool to explore the phase space belongs to the class of the so-called fast indicators of dynamics.
Let
H(p,q) with
denote an N-dimensional Hamiltonian,
assumed to be autonomous just for the sake of simplicity
since this is actually
not required for the present formulation.
On introducing the notation
,
the equations of motion read
Relevant information about the flow in the vicinity of any
orbit
is gained through
its largest Lyapunov Characteristic Number (LCN-hereafter),
,
defined as
We now introduce the MEGNO,
,
through the expression
Let us now describe the MEGNO's asymptotic behavior in order to show how
it serves to give a clear indication of the character of different types of
orbits.
In the first place, let us consider orbits on irrational tori for a
non-isochronous system.
As shown in Cincotta et al. (2003),
for any such (quasi-periodic) orbit,
,
the temporal evolution of
is given by
For an irregular orbit,
,
within any stochastic component,
for which
where
is
's LCN, the temporal evolution of the MEGNO
reduces to
Therefore, the MEGNO's temporal evolution allows of being summed up in a single expression valid for any kind ofmotion. The asymptotic behavior of may be written in the fashion , where and for irregular, stochastic motion, while and for stable quasi-periodic motion. Departures from the value indicate that is close to some periodic orbit, being and for stable and unstable periodic orbits, respectively (see Cincotta et al. 2003 for details). Note also that the quantity verifies
which shows that in the case of regular motion converges to 0 faster than (which goes to zero as ), while for chaotic motion both magnitudes approach the positive LCN at a rather similar rate.
Further details on the MEGNO's performance when applied to the study of global dynamics in 2D Hamiltonians as well as the advantages of deriving the LCN from a least squares fit on are given in Cincotta & Simó (2000) and Cincotta & Giordano (2002). An interesting application to a 2.5D problem, namely, the Arnold's classical problem of diffusion when the two small parameters are equal, may be found in Simó (2001). The associated splitting of separatrices has been studied in Simó & Valls (2001). Recent applications of the MEGNO to Solar System dynamics may be found in, for instance Gozdziewski (2002, 2003a,b). For a generalized version of the MEGNO and its application to a 2D and a 4D area preserving maps we refer to Cincotta et al. (2003).