arXiv:chao-dyn/9811018v3 29 Dec 1999
Note: The software of this article can be downloaded from: http://www.buffalo.edu/~kypriano/ . On the same site you can find a postscript version of the article with all the fonts included, in case your browser does not support HTML 4.0, or you need higher quality figures.
Inelastic scattering processes are abundant in nature and a common phenomenon in classical physics. Energy is usually lost upon collision through various mechanisms as for example friction. An important example where dissipation plays a crucial role is the chaotic motion in the Solar system due to the gas drag force [1]. In addition, the behaviour of systems under an external driving force, usually taken to be harmonic, is of practical and theoretical interest. It is the purpose of this article to study the strange behaviour observed in the scattering of particles from pinball machine like systems i.e. systems subjected to an external force. The scattering region, S, of our system consists of a geometric arrangement of hard disks which exert a radial constant force when hit by a point particle. The difference of this system from the well studied problem of hard disk scattering is the fact that the velocity of the moving particle is no longer constant but depends on the number of collisions, giving rise to multifractal scaling laws. Since an external force is involved the system is not Hamiltonian. This study thus focuses on the chaotic behaviour as a function of the external force. This complements other studies on chaotic scattering of such systems which up to now where performed using inert hard disks or Hamiltonian potentials, as for example in Refs. [2,3,4,5,6,7,8,9,10]. In these studies a quantitative description of the chaotic properties of conservative systems was carried out: In Refs. [2,3] for instance a study of dynamical systems exhibiting particle diffusion such as the Lorentz gas was presented. Gaspard and Rice presented analytic results for the decay rate and Lyapunov exponents for the three and four disk systems [4] and Yalçinkaya and Lai [5], following their work, studied the chaotic behaviour of the hard disk repellor. Antillón et al [6] studied the time dependent two disk problem. Refs. [7,8,9] presented studies of hamiltonian models with mostly repelling potentials. Daniels et al [10] considered a chaotic model using two attracting valley potentials. A comprehensive description of these results is given in a review article on chaotic scattering by Ott and Tél [11]. In the same reference further applications and issues of chaotic scattering can be found.
The quantitative and theoretical results obtained in the aforementioned articles are needed for a quantitative investigation of chaotic scattering and will be extensively used in this work, like for instance, the pressure function P(b), the uncertainty dimension DU [12] and the multifractal scaling functions. Results on these quantities are used to quantify our study and to compare our work with previous results of similar nature.
We consider a number of hard disks fixed on a pinball machine table. When hit by the moving hard ball a radial force is exerted on the ball giving it a constant amount of additional speed independent of the ball's hitting momentum. In this process the energy of the ball always increases and therefore it can never stop in the scattering region. This makes this study simpler than if we had considered a dissipative force. However because of time reversal invariance of our model, its chaotic properties are equivalent to a dissipative one run backwards in time. To study the pinball machine it suffices to consider hard disk scattering of a point particle in two dimensions with a radial velocity given to the particle upon reflection from the hard disks. We thus focus on the chaotic behavior of a system of hard scatterers as a function of the radial force exerted by them upon each collision. Like in previous studies of hard disk chaotic scattering[2,3,4,5,6,13,14,15] with elastic collisions we also here investigate the dependence of the results on the geometry of the hard disks. In particular we will present results for systems with infinite and finite horizons.
|
We consider a point particle of unit mass which scatters inelastically on hard disks, fixed in the plane r = (x,y). All the hard disks have the same radius a. The center of the mth disk has coordinates rcm = (xcm, ycm). The motion of the point particle follows a straight line path between collisions. At each collision its trajectory can be found using momentum conservation. At the kth collision let the incoming velocity of the particle be uk. The particle hits the mth disk on its circumference at point C with coordinates rk as shown in Fig. 1. We take the incident angle qk to be the angle that the incoming velocity of the particle makes with the x-axis counterclockwise. At C the particle receives radial momentum ue as it bounces off the hard disk and its final velocity is thus changed to uk+1. This velocity is the vector sum of ue and the velocity it would have, had the collision been elastic. Using the notation of Fig. 1 we find
| (1) |
| (2) |
| (3) |
We study chaotic scattering under various configurations of the hard disks. Like in the studies of the Lorentz gas we distinguish configurations with finite and infinite horizons.
Following the pioneer work of Gaspard and Rice [4] as well as Refs. [14,13,15], we fix the disks on a triangular lattice with their centers a distance d apart. The ratio of the intercenter distance to the radius of the disks, d/a, determines the diffusive character of the Lorentz gas in an infinite lattice. In the high-density regime where the intercenter distance is
| (4) |
In the low-density regime, where d exceeds the critical value 4a/Ö3, there exists the possibility for the point particle to travel without collisions throughout the whole lattice. This can only occur along special trajectories given by the discrete values of the incident angle q0 = 0, p/3,2p/3,p, ¼. Along these special trajectories of zero Liouville measure the particle emerges from the scattering region without deviation. This situation is known as the infinite horizon configuration. Along an arbitrarily trajectory, the particle will suffer inelastic collisions. We also expect in this configuration a modification in the behaviour from that seen in the studies of the Lorentz gas where only elastic collisions take place. We use configurations of three to six hard disks with d = 2.5 to study the low-density regime of our model. As in the case of the Lorentz gas, we also expect that for an infinite lattice the diffusion coefficient to be infinite due to the existence of the special trajectories where collisions do not occur.
|
In addition to the triangular lattice we studied scattering on a square body centered lattice. We take the size of the square to be 2d. This configuration is displayed in Fig. 3 along with some trajectories. For a square lattice, the particle has an infinite horizon for any d > Ö2a. For this study we also take a = 1 and d = 10/3 Ö3, and we consider systems of three up to nine disks. This choice of d give us a disk density slight higher than the d = 2.5-configuration of the triangular lattice.
|
It is well known, that the dynamical mechanism for the occurrence of chaotic scattering, is the existence of an invariant set of infinite unstable periodic orbits in the scattering region. When scattering a particle from two or more disks there are unstable periodic orbits. They can be represented by the sequence of symbols d1,d2,¼,dm, ¼ where dm = j denotes that the particle hits disk j at the mth collision. That is when a particle starts in one of these orbits it never leaves the scattering region S and it bounces on disks ¼,dm-1, dm, dm+1, ¼. Thus the sequence of symbols
| (5) |
| (6) |
A feature that still remains for ue ¹ 0 is that the scattering is still hyperbolic and there are no KAM tori present. The periodic orbits are unstable in the sense that only a slight perturbation of the initial conditions sends the particle away exponentially fast implying that there is at least one positive Lyapunov exponent. The set of these periodic orbits is called the repeller Ae. This behaviour is common for both the low and high-density regime and it applies to all numbers of disks.
In this work we give a detailed comparison of the deflection function for different values of ue. The ue = 0 case has been studied extensively [5] and it is used for comparison. In Figs. 4 we show the results for the deflection function for ue = 0, 1 and 2 using initial conditions
| (7) |
| (8) |
Another probe of chaotic behaviour is the time that the particle remains in the scattering region S known as the time delay function [17]. If a particle crosses the boundary ¶S at time tin entering the scattering region and then exits S at time tout then the time delay function is defined as T(b,ue) = tout-tin. We expect that the periodic orbits will produce singularities in the delay function, due to the almost infinite time that the particle spends in S. We also expect that the density of these singularities is the same as that observed for the scattering function Q(b,ue). This behaviour is demonstrated in Figs. 4 for the three-disk system in the high density regime. Plotting in Fig. 4 the maximum time T(b,ue) for various values of ue we see that one main difference for non-zero ue is an overall decrease in the value of the maximum time. In other words the time scale of the scattering process depends on ue. But the actual values of the T(b,ue) scale are of no importance; the interesting part is where the singularities are situated. The singularities of T(b,ue) for all the values of ue are located at the same b values as the singularities of the corresponding deflection functions, i.e. the region containing the singularities is compressed as the inelasticity increases in the same manner that it does for the deflection function.
|
Our main conclusion here is that the singularities will be compressed as ue increases no matter what configuration we use and no matter what number of disks we configure. We will demonstrate this explicitly for various cases in the following section.
In order to study the behaviour of the singularities we define the two basins [21] of the repeller; the first being the range q Î [0,p), and the second when q Î [p, -p). The line between the two basins is called the fractal basin boundary, with a non integer dimension. In Fig. 5(a,b) we mark with white the initial conditions (ue, b)W producing trajectories that result in basin 1 and with black the initial values (ue, b)B whose trajectories end in basin 2.
The regions with solid white or black stripes are regions having regular behaviour, i.e. Q(ue,b) is a smooth function. The regions containing the singularities are the non smooth regions in the (ue,b) plane and are seen to compress as ue increases. The areas of smooth flow are bounded by fractal boundaries which converge along a critical line of flow at bcrit = (d-2a)/2 = 0.15 for the three-disk triangular lattice (using d = 2.3 and a = 1). Magnifying a small region as shown in Fig. 5(b) reveals the internal structure of the flow lines, a feature characteristic of a strange attractor seen in many chaotic systems as for example in the Hénon Map. Thus the singularities of the deflection function show multiscale similarities a typical fractal property. The fractal boundaries encountered here are Cantor-like and are locally disconnected [22]. This means that the areas of smooth flow (smooth rivers) follow other smooth rivers separated by fractal boundaries, but the rivers can not cross each other. As demonstrated in Fig. 5(a) the flow of the fractal boundaries as ue increases for b > 0.15 is compressed along the critical boundary at bcrit exponentially.
|
This may come of no surprise given that the velocity of the particle is expected to be an exponential function of time4 for the singular values of b. To understand this consider two particles having the same initial conditions, (b0 > bcrit,q0), but for the first particle let ue(1) = 0 and for the second let ue(2) = 1. The first particle scatters elastically following the reflection laws and its speed remains constant. On the other hand as the second particle hits more disks its momentum increases exponentially with the result of ending up in a basin that the first particle with b < b0 would have chosen. This of course happens only for a small number of collisions. When the number of collisions is very high then the particles speed is so high that it scatters almost elastically, so for the exponential behaviour only the first few collisions matter. When the particle is initiated in the range b Î [0,bcrit], it suffers only one or two collisions, so the probability to change its basin as ue increases, is very small.
That an exponential dependence describes the main features of the flow of singularities observed in the scattering process is best seen by plotting the points along a fractal boundary starting, e.g. at ue = 0, b = 0.239094 as done in Fig. 5(c), and fitting these points to the form c1-c2e-c3 ue. The quality of the fit indicates that the singularity flow dependence on ue is consistent with an exponential behaviour. Using such a fit one can follow a fractal boundary flow for a while and foresee by extrapolating whether a certain initial condition will choose a certain basin.
A probe for the existence of a nonattracting chaotic invariant set is the decay rate. For a hyperbolic chaotic set the remaining number of particles N(t) in the scattering region S at time t, decays exponentially,
| (9) |
The decay rate was studied extensively for ue = 0 in Refs. [4,15] for various values of d for the three-disk system and the Lorentz gas for open and closed systems.
Here we study the scaling properties of the decay rate as a function of ue for our two geometries. The algorithm we use for the computation of g is the following: The system is initiated with typically 10000 particles entering the scattering region, with initial conditions described by Eq. (7). In regular time steps Dt we count the number of particles N(t) left in the scattering region, and plot N(t) on a semi logarithmic scale. The slope of the linearly fitted line is the decay rate g.
The results for g extracted from the slope as a function of the external momentum ue are shown in Fig. 6 for the body centered lattice and in Fig. 7 for the triangular lattice. For the body centered lattice, g increases with increasing ue in all cases, that is the mean time, t, the particle remains in the scattering area S is decreasing roughly linearly, as the velocity of the particle increases. As the number of disks increases the particles are trapped longer inside the scattering region and the rate of increase of g with ue decreases until the number of disks reaches about six beyond which the decay rate becomes independent of the number of disks.
For the triangular lattice the escape rate also increases monotonically with a slope that decreases with the number of disks until again about six beyond which g becomes independent of the number of disks. In fact for the infinite horizon configuration the rate of increase of g with ue for six disks is practically the same as that observed for the body centered lattice showing that scaling of g becomes independent of the geometry of the scatterers. For the three disks in both the finite and infinite horizon configurations we obtain an interesting behaviour: g first increases with ue and then quickly reaches a constant value. This is most clearly seen in the finite horizon configuration, d = 2.1. The fact that this behaviour is also observed for five disks but not with four diks indicates that it has to do with the geometric arrangement of the scatterers. For the two disk system we argued that D = {...,j-1, j, j-1,...} is independent of ue. In the case of three disks we can identify long trajectories which for ue > 0.2 are almost independent of ue. For these long trajectories there is an increased probability for the particle to bounce back and forth on the same disks for a relatively large number of times.
|
|
A more compact way of describing the quantitative characteristics of chaotic scattering is by determining the fractal dimension of the repellor Ae obtained from the geometric density of the singularities of the scattering and delay functions. Here we consider the uncertainty dimension DU as defined in Ref. [12], to characterize fractal basin boundaries arising commonly in dissipative chaotic systems with multiple attractors. There are many examples where DU is used to characterize chaotic scattering (see e.g. Refs. [17,21,5,16]).
The algorithm for computing DU is as follows: we set x0 = c, c < 0 and y0 = b, where b is chosen randomly in the range given in Eq. (7) for each configuration. For a certain b we calculate the orbit and then initiate the particle from a nearby orbit with b = b+e where e is very small. If the number of bounces in the scattering region is the same for both trajectories then we call the value of b certain. If the number of bounces is not the same then b is uncertain. For a given e we compute the fraction of uncertain initial conditions f(e) for many b. We can then fix the number of uncertain b - values we want to consider, say nu, and compare it with the total number of initial b's denoted by ntot. f(e) scales with e as
| (10) |
| (11) |
We computed DU for a number of disks for ue Î [0, 1] for both the triangular and the body centered configurations in order to examine the effect of geometry on the scaling behaviour. The fractal dimension is a measure of the density of singularities and thus, following the reasoning of Sec. 5.1, we assume an exponential dependence of the form
| (12) |
The dependence of DU on ue for the infinite horizon configurations is shown in Fig. 6 for the body centered and in Fig. 7 for the triangular with d = 2.5. For this low density regime the exponential scaling of DU with ue is nicely displayed. This is what is expected since the low density of the disks gives room to singularity compression starting from lower values of DU in contrast to the high density regime where the starting values are close to the limiting value. As the number of the disks increases the set of singularities becomes more dense and hence DU reaches the asymptotic value almost immediately. Increasing the disk number increases the singularity density but it is also responsible for the increase in the asymptotic value of DU which approaches unity from below. For the finite horizon configuration d = {2.1,2.3} shown in Fig. 7 DU can be considered independent of ue for configurations with N > 3. This is understood by the fact that the particle is trapped in the scattering region giving rise to a ``denser'' singularity set thus reaching the asymptotic value for any number of disks independently of the value of ue. Thus for this case, an infinite lattice of pinballs would not differ in its properties, from an infinite lattice of hard disks. For the highest density configuration (d = 2.1) DU has the largest asymptote but always stays below unity.
Triangular Lattice | Body Centered | |||||||
d | 2.1 | 2.3 | 2.5 | 10/3Ö3 | ||||
N | DU(0) | b3 | DU(0) | b3 | DU(0) | b3 | DU(0) | b3 |
3 | 0.77 ±0.01 | 5 ±2 | 0.64±0.02 | 5 ±1 | 0.60 ±0.02 | 2.1 ±0.6 | 0.46 ±0.02 | 5.0 ±0.9 |
4 | 0.91 ±0.01 | ~ 0 | 0.81 ±0.01 | 2 ±1 | 0.71 ±0.02 | 4.4 ±0.7 | 0.68 ±0.02 | 6 ±2 |
5 | 0.84 ±0.01 | ~ 0 | 0.81 ±0.01 | ~ 0 | 0.78 ±0.01 | ~ 0 | 0.60 ±0.02 | 3.5 ±1.0 |
6 | 0.92 ±0.01 | ~ 0 | 0.86 ±0.01 | ~ 0 | 0.80 ±0.01 | ~ 0 | 0.66 ±0.01 | 3.5 ±1.0 |
7 | 0.84 ±0.01 | ~ 0 | 0.75 ±0.01 | 5.3 ±1.6 | ||||
8 | 0.84 ±0.01 | ~ 0 | 0.79 ±0.01 | 3.6 ±1.4 | ||||
9 | 0.88 ±0.01 | ~ 0 | 0.84 ±0.01 | ~ 0 |
In this section we will try to characterize the chaotic nature of the repeller. We calculate quantities that deal with the statistics of particle scattering and the amount of information we can obtain from our system. We will define the system's pressure function, and hence calculate the generalized dimensions of the repeller, the entropies and other quantities, as the system becomes inelastic.
The Lyapunov exponents and the pressure function can be calculated in terms of the Sinai-Bunimovich curvature ku(Gt) of the horocycle of a trapped trajectory Gt. The horocycle is the geometrical wave front associated with the reference trajectory. A generalization of the result for the curvature derived in Refs. [3,23] for elastic hard disk scattering, is obtained here for inelastic scattering. We show in the Appendix that the curvature of the front between the kth and the (k+1)th collisions is given by the following continuous fraction
| (13) |
The stretching factor of the expanding front for an initial condition G0 that will produce a total path length L is defined by
| (14) |
| (15) |
| (16) |
|
Using the same averaging procedure we can calculate the variance of the Lyapunov exponent [15]
| (17) |
The pressure function is a generalization of the Kolmogorov-Sinai (KS) entropy and was introduced into the thermodynamics formalism of dynamical systems by Bowen and Ruelle. It was named pressure in analogy to the standard pressure of statistical mechanics.
Following [15,13] we define the pressure function for open systems as
| (18) |
| (19) |
| (20) |
| (21) |
The second term of Eq. (21) has in its definition the particle's equation of motion, and thus is calculated with the same procedure used for the average Lyapunov exponent. It is expected that the pressure function is a convex function; either monotonically decreasing or constant with b. Our results shown in Fig. 8 comply with this expectation for all values of ue. It was shown in Refs. [25,4,23,15] that many important properties of the chaotic scattering system can be calculated directly from the pressure function:
The KS entropy per unit time is hKS = l - g, where
the decay rate is given by g = -P(ue,1),
and the topological entropy is htop = P(ue,0).
The partial Hausdorff dimension, dH is given by the root of the pressure function, P(ue,dH) = 0. Because of the time reversal symmetry of classical Hamiltonian systems, the partial Hausdorff dimensions along the stable and unstable manifolds are equal. When the system becomes bounded, P(ue,1) = 0, so dH approaches unity, and the fractal repeller starts to fill the whole phase space. Since we are dealing with hyperbolic dynamics it is convenient to introduce the Hausdorff codimension as the defect of dH with respect to one, DH = 1-dH, the same way as the uncertainty dimension from Sec. 5.3. In this manner when the system becomes bounded DH will be zero.
The information dimension DI is defined again by the partial information dimension dI = hKS/ l, as DI = 1-dI, following the same reasoning as in v.
As we see from g = l-hKS = l(1-dI), the escape rate vanishes as the system becomes bounded, a property showing in the graphs for the smaller values of d in Sec. 5.3.
Three-disk triangular configuration with d = 2.3 | |||||
ue | 0.0 | 0.2 | 0.4 | 0.6 | 0.8 |
l | 2.87±0.01 | 6.52 | 7.77 | 9.37 | 9.98 |
s2 | 0.45±0.05 | 0.53 | 0.79 | 0.67 | 0.93 |
g | 0.710±0.001 | 1.65 | 2.19 | 2.54 | 2.61 |
hKS | 2.14±0.04 | 4.87 | 5.57 | 6.83 | 6.86 |
htop | 2.01±0.16 | 6.01 | 8.66 | 11.11 | 12.86 |
DI | 0.494±0.002 | 0.506 | 0.564 | 0.542 | 0.626 |
DH | 0.484±0.002 | 0.464 | 0.472 | 0.45 | 0.46 |
DU | 0.64 ±0.01 | 0.69 | 0.70 | 0.71 | 0.73 |
In Table 2 we collect the results from these quantities for ue = 0 as well as for non-zero values up to ue = 0.8 in order to investigate the variation in the behaviour of these quantities as a function of ue and to compare with the previous direct calculations. The displayed values of the escape rate g, the mean Lyapunov exponent l and its variance s2 are calculated directly by Eq. (9), Eq (16), Eq. (17) respectively, whereas the other quantities are obtained from the pressure function. For comparison reasons (since this is the first time that some of these results are obtained directly from the pressure function) the escape rate g was obtained in two ways using Eq. (9) and from the pressure function -P(ue,1) of Eq. (20) yielding consistent results. The same confirmation is also done for the average Lyapunov exponent, l, using Eq. (16) and -[(¶P/¶b)ue]b = 1 from Eq. (20). Once the values of g and l are known the KS entropy and DI can also be confirmed.
Observing Table (2) we conclude that the mean Lyapunov exponent as well as the two entropies increase as a function of ue indicating that the system becomes more chaotic. These properties are also shown on the P-b-ue surface plot of Fig 8(a) and (b). The two dimensions obtained by the pressure function are initially equal but later deviate when inelasticity is imposed, following the inequality DH £ DI (from dI £ dH). The two entropies increase as a function of ue following (with in our precision) the inequality htop ³ hKS.
We have presented a study of the scaling properties of a scattering system of hard disks with inelasticity (pinball machine) in the finite horizon regime as well as in the infinite horizon regime for different number of scatterers. The two dimensional deflection function Q(b,ue) exhibits Cantor-like fractal boundaries which are locally disconnected. These fractal boundaries are compressed exponentially as the inelasticity ue increases. This lead to a scaling behaviour of the uncertainty fractal dimension which is consistent with an exponential dependence on ue. For large enough number of scatterers the decay rate increases monotonically with ue independently of the geometry and configuration of hard disks.
By generalizing the Sinai-Bunimovich curvature of the horocycle, known for elastic scattering, to the inelastic case we were able to study important properties of the chaotic inelastic scattering system, such as the Lyapunov exponent, the KS and the topological entropies. The increase of the Lyapunov exponents, the KS and the topological entropies as a function of ue points to a relation between the compression of the singularities (the increase of the fractal dimension), and the measure of chaos in the pinball system. As ue increases the uncertainty fractal dimension of the system approaches unity in an exponential manner, while the system becomes more chaotic. Further more this study raises questions on other similar systems that might be studied like for instance a system with randomly or periodically fluctuating ue.
The horocycle is the geometrical front associated with the given trajectory. Given a reference particle we consider the front formed by accompanied particles initialized from the same point with different initial velocity angles. Around the initial point the front is circular with a radius which grows linearly with time so that the curvature is given by
| (22) |
| (23) |
|
Suppose we initialize a particle trajectory at point O- which hits the hard disk at I,with a velocity uI making an angle jI with the normal at the impact point. On collision the disk exerts a radial force on the particle sending it away with an outgoing velocity uI¢ making an angle jI¢ with the normal. If the radius of the hard disk is a its curvature at I is 1/a. The incoming ray has a known curvature ku(-). Let the curvature of the outgoing ray be denoted by ku(+). We now show how to relate ku(+) to ku(-).
The center of the outgoing front curvature O+ is found by considering another ray initialized from O- making an infinitesimal angle d- with respect to O-I as seen in Fig. 9. This ray will be reflected at point J. The extrapolations of the reflected rays at J and I cross at O+. Taking the front of the outgoing rays to be circular5 the curvature of the outgoing horocycle is given by ku(+) = |O+I|-1. Referring to Fig. 9 we have the following definitions: a (a¢) is the angle between O-I (O+I) and the tangent to the disk at I; b (b¢) is the angle between O-J (O+J) and the tangent to the disk at J; e is the angle at the center of the disk formed by the arc IJ; jJ (jJ¢) is the angle between the incident (outgoing) ray at J. With these definitions using triangle identities we have
|
Since d± and e are very small, in what follows, we will expand to first order in these quantities. For the angles using the relations given in Eqs. (24) we find
| (25) |
| (26) |
| (27) |
| (28) |
| (29) |
| (30) |
After successive collisions, combining the results of Eqs. (30) and (23) with rk = 1/ku(+) we find for the curvature of the front between the kth and (k+1)th collisions the expression given in Eq. (13).
3 An analytic derivation of such a scaling law is in general not possible [16,18,10]. There are however a few examples in chaotic scattering that the scaling function can be described by analytical relations [17,20,19].
4 The more disks the particle hits the more momentum it gains. With more momentum the particle will hit more disks for a given time, getting even faster. Thus we expect the rate of change of the velocity of the particle, for the singular values of b, to be given by ¶t u(t) = bu(t) or u(t) = cebt where b = f(ue).
5 The front is not strictly circular since now the outgoing rays from I and J have velocities which differ in magnitude leading to a correction which we neglect for small d-.