arXiv:chao-dyn/9811018v3 29 Dec 1999

Chaotic scattering from pinball machine like systems

Constantia Alexandrou1  and Iacovos Kyprianou2
Department of Natural Sciences, University of Cyprus, CY-1678 Nicosia, Cyprus

Abstract

We study a model inspired by the pinball machine involving chaotic scattering of particles on hard disks with inelasticity. This system exhibits sensitivity not only on the initial conditions of the scattering point particle but also on the external force produced by the pinballs. The deflection function shows fractal structure with regions of wild oscillations which are exponentially compressed as a function of the force exerted by the hard disks. The chaotic properties of the repeller, such as the scaling of the fractal dimension, the Lyapunov exponents and the pressure function, are studied for different geometric configurations.

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.

Valid HTML 4.0!

1  Introduction

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.

2  The dynamics of pinball machine like systems

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.

Figure 1: The geometry of the inelastic collision on the mth hard disk. C is the point of impact with coordinates rk; ue is the radial velocity given to the particle at C; uk and uk+1 are the incoming and outgoing velocities of the particle respectively; nk is a unit vector normal at C.
 

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

uk+1 = ue   +  [uk-2(nk .uk)nk ]
(1)
where nk = (rk-rcm)/a is a unit vector normal at the point of impact C. We denote the angle that the outgoing velocity of the particle makes with the x-axis counterclockwise as qk+1. The trajectory between two successive collisions at time tk and tk+1 is thus given by
r(t) = rk + (t - tk) uk+1   .
(2)
The time tk+1 for the next collision on disk m¢ with center at rcm¢ = (xcm¢,ycm¢) is determined by solving the quadratic equation
[r(t)-rcm¢]2 = a2    .
(3)
There are two solutions to Eq. (3). The one which yields the shortest time interval determines the time for the next collision. The coordinates of the point of impact on the m¢ disk are given by rk+1 = r(tk+1). The trajectory after impact on disk m¢ can be found starting again from Eq. (1). In this iterative fashion the whole trajectory can be completely determined. Within our notation the starting position of the particle is denoted by r0 = (x0,y0) and the velocity by u0 (with direction q0 with the x-axis).

3  The configuration of the scatterers

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

2a < d < 4 a
Ö3
(4)
the hard disks are close enough, so that the point particle can never travel further than a distance of 2Ö3 a, before suffering a collision. In such a configuration the horizon of the particle is thus finite. Since we take a = 1 throughout this study the requirement for finite horizon is d < 2.3094. We consider scattering systems satisfying the finite horizon criterion consisting of three up to eight disks as shown in Fig. 2. Two cases are considered: d = 2.1 well in the high-density regime and d ~ dc = 2.3 the boundary value beyond which the so called low-density regime starts.

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.

Figure 2: Trajectories plotted for d = 2.3 and ue = 1 for the triangular lattice. The deviation from equal angle reflection, produced by the pinball disks, can easily be seen.
 

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.

Figure 3: Trajectories plotted for d = 10/3 Ö3 and ue = 1 for the body centered 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

D = {d1,d2,¼,dm,¼}
(5)
denotes the sequence of disks that the particle encounters in its unstable periodic orbit. Hence if the symbols in D repeat themselves after p-collisions then the period of the orbit is p. Such an orbit is constructed by a countably infinite number of symbols. We call an orbit aperiodic when there is an infinite number of symbols in the set D which do not repeat themselves. Using this symbolic notation to describe the trajectory of the particle, one can immediately see, that the situation when ue ¹ 0 is very different from that when ue = 0. Although, as for ue = 0, there are infinite number of unstable periodic orbits [4] for ue ¹ 0 the unstable periodic orbits are dependent on the value of ue i.e. D = D(ue). There is in fact only one set of periodic orbits independent of ue, namely the orbits where the particle bounces between two disks, symbolized by,
D = {j-1, j, j-1, j, ¼},
(6)
though the Lyapunov exponent l of the separation rate of two orbits initiated near this orbit is obviously dependent on ue.

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.

4  Probes of chaotic scattering

Among the many ways of quantifying chaotic scattering we will consider here the deflection function, Q, and the time delay function, T.

4.1  The deflection function

In scattering experiments we seek to determine the dependence of the scattering angle Q on the impact parameter b, when the incoming particles pass through the scattering region S. Following standard conventions, we take Q to be the deviation between the incoming direction and the asymptote of the particle's trajectory after it leaves the scattering region S. Taking the origin inside the scattering region the incoming particle is assumed to originate a horizontal distance x0 outside the scattering region. The deflection function Q = Q(b,ue) can be found analytically for some integrable systems, but generally it is obtained numerically. In chaotic systems the deflection function possesses a number of singularities with zero length [16] (Lebesque measure) but with a fractal dimension 0 < Df < 1 for our class of problems, like a Cantor set.

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

x0 = -2.9,  y0 = b Î [0:0.4],  u0 = 1  and  q0 = 0    .
(7)
The scattering region S is defined as
x2+y2 £ R with R = 3   .
(8)
The rapid variation of the deflection function with b is a signature of chaotic behaviour reflecting sensitivity in the initial conditions. This is seen for all three values of ue. Repeating for a smaller range of b Î [0.2,0.24] we obtain results which again exhibit a mixture of smooth and wildly oscillating behaviour. Further blow-ups show the same pattern, a behaviour typical of a fractal set. The persistence of the fractal behaviour with non-zero values of ue will be further demonstrated in the next section. Fig. 4 shows that, as the inelasticity increases, the region exhibiting wild oscillations is compressed reaching a smaller upper value of b while the b value for the lower range of the region remains constant.

4.2  The time delay function

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.

Figure 4: The deflection function Q(b,ue) and the delay time T(b,ue) are plotted as a function of the impact parameter b for various values of the driving force: Q vs b (a) for ue = 0, (b) for ue = 1 and (c) for ue = 2. T(b,ue) vs b (d) for ue = 0, (e) for ue = 1 and (f) for ue = 2. Note that the singularities of the two functions are located at the same values of b. (g) and (h) are blow-ups of the deflection function and the delay time respectively for ue = 1.
 

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.

5  Multifractal behaviour and scaling functions

5.1  Scaling and fractal boundaries

We study here in more detail the behaviour of the deflection function as the inelasticity ue increases. The behaviour of the singularities of the deflection function will then determine the scaling properties of the fractal dimension 3. We choose to study the deflection function rather than the time-delay, even though their singularity structure is identical, because the time delay function involves different time scales as ue changes.

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.

Figure 5: (a) The density plot of the deflection function Q(b,ue); (b) a magnification of the results shown in (a) for b Î [0.14, 0.2] to show the exponential compression of the singularities and the fractal boundaries of Q; (c) the points (asterisks) on the fractal boundary starting at b = 0.239094 are fitted to the exponential form b¢ = c1-c2e-c3 ue, where b¢ = 0.239094-b. The solid line is the best fit and the dashed lines give the error band.
 

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.

5.2  The particle decay rate g

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,

N(t) ~ e-gt
(9)
with decay rate g. The mean time t the particles spend in the scattering region is thus given by g = 1/t.

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.

Figure 6: The escape rate g and the fractal dimension, DU, as a function of ue for the body centered lattice. The lines joining the symbols in the case of g are to guide the eye and in the case of DU are best fits to an exponential dependence. N gives for the number of disks in the configuration.
 

Figure 7: The escape rate g and the fractal dimension DU as a function of ue for the triangular lattice for various values of the disk spacing d: (a), (c), (e) g for d = 2.1,2.3 and 2.5 respectively where the lines are drawn to guide the eye; (b), (d), (f) DU for d = 2.1, 2.3 and 2.5 respectively where the lines are the result of the best fit to an exponential form. N gives for the number of disks in the configuration.
 

5.3  The scaling of the uncertainty dimension DU

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

f(e) = nu
ntot
~ edU
(10)
where dU is the uncertainty exponent. The fractal dimension is then given by
DU = 1-dU   ,
(11)
so that the fractal dimension would be proportional to the singularity density.

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

DU = b1+b2 eb3 ue   ,
(12)
where the bi's are to be determined from the fit to the data. The parameters b1 and b2 determined from this fit should give the fractal dimension DU(0) for ue = 0. DU(0) is known for some configurations from previous studies and can be used as a consistence check of our procedure. We have collected the results of this fit in Table 1 for our four configurations. The result obtained for DU(0) for the d = 2.5 three-disk configuration is in agreement with that obtained in Ref. [5].

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

Table 1: Scaling properties of the uncertainty fractal dimension for four different configurations: The triangular lattice using d = {2.1,2.3,2.5} and the body-centered configuration using d = 10/3Ö3, as described in the text. N denotes the number of disks used each time, DU(0) is the uncertainty fractal dimension for ue = 0(for the triangular lattice for N = 3 d = 2.5 it agrees with the value given in Ref. [5]). b3 is the exponent in Eq. (12) obtained from fitting the data shown in Figs. 6 and 7.
 

6  The Lyapunov exponents and the pressure function

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

ku(Gt,ue) = 1
l+ 1
Ak+1
acosj¢k
+ Akcosjk
cosj¢k
1
lk-1+ 1
Ak-1+1
acosj¢k-1
+ Ak-1cosjk-1
cosj¢k-1
+ ¼ 1
A1+1
a cosj¢1
+ A1cosj1
cosj¢1
1
l0
    ;
(13)
where 0 < l < lk-1, lk = tk uk is the distance between kth and (k+1)th collision and t = l0/u0+l1/u1¼+l/uk. At the kth impact, jk is the angle between the incoming velocity and the normal, and jk¢ the angle between the outgoing velocity and the normal to the disk at the impact point. Ak is a known function of the angle jk, the incoming velocity uk and the radial velocity ue given to the particle on impact (see Eq. (28) of the Appendix). l1,  j1,  j¢1 are the values at the second collision and l0 is the path length between the first and second collisions. This is done so that we get an arbitrary l0, independent of the launching position of the particle.

6.1  The average Lyapunov exponent

The stretching factor of the expanding front for an initial condition G0 that will produce a total path length L is defined by

LT(G0,ue) = exp ó
õ
L(T)

l0 
ku(Gt,ue) d l   .
(14)
over a time length T = l/uk+lk-1/uk-1+¼+l0/u0. Since the particle travels with constant speed between collisions the above integral is performed piecewise as the sum of the resulting curvature at each collision. Following [15] we consider an average based on the histogram of the stretching factor's logarithm for particles at their escape times T. The histogram is constructed by considering NT initial conditions G0(i) that produce escape times between t < T(i) < t+Dt, and i = 1,2,  ¼  ,NT. The average of the logarithms of the stretching factors is defined as in [15] by
álnLTñ(t;Dt) = 1
NT
NT
å
i = 1 
lnLT(i)(G0(i))
(15)
and the average Lyapunov exponent can be written as

l
 
=
lim
T® +¥ 

lim
NT® ¥ 
1
T
álnLTñ(t;Dt)   .
(16)
Thus in order to calculate l we follow the procedure given in refs. [15,23]. Our results, displayed in Fig. 8, show that the system becomes more chaotic as ue increases signatured by an increase in the average value of the Lyapunov exponent with ue.

Figure 8: (a) l vs ue. In the insert we show the quality of our fit to the stretching factor for a given value of ue from where l is extracted; (b) the pressure function for various values of ue as a function of the parameter b. The insert is the two dimensional pressure surface, which gives a clearer view of the dependance of P on ue and b

Using the same averaging procedure we can calculate the variance of the Lyapunov exponent [15]

s2 =
lim
T ® ¥ 

lim
NT ®¥ 
1
T
á(lnLT-álnLTñ(t;Dt))2ñ(t;Dt)   .
(17)
On Table 2 we show some values of l, and s2 obtained by the above procedure.

6.2  The pressure function

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

P(ue,b) =
lim
T® +¥ 
1
T
lnZT(G0,ue,b)(t;Dt)   ,
(18)
using the Zustandsumme function [23]
ZT(G0,ue,b) = NT
å
i = 1 
[LT(i)(G0(i),ue)]1-b(t;Dt)   ,
(19)
which follows the same statistical ensemble as Eq. (16). Replacing Eq. (19) to (18) we get
P(ue,b) =
lim
T® +¥ 

lim
NT®¥ 
ln 1
NT
NT
å
i 
[LT(i)(G0(i),ue)]1-b(t;Dt)   .
(20)
By the definition of Eq. (9) and Eq. (16), we rewrite Eq. (20) as
P(ue,b) = -g+
lim
T® +¥ 

lim
NT® ¥ 
1
T
lnáLT1-b ñ(t;Dt)   .
(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:

  1. From Eq. (16) the average Lyapunov exponent is given by the derivative of the pressure function at b = 1 with constant ue, i.e. l= -[(P/b)ue]b = 1.
  2. The KS entropy per unit time is hKS = l - g, where

  3. the decay rate is given by g = -P(ue,1),

  4. and the topological entropy is htop = P(ue,0).

  5. 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.

  6. 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

Table 2: The chaotic properties of the fractal repeller for the three-disk triangular configuration with d = 2.3. For the calculation of htop and hKS a sample of 30000 incident particles were used. The errors were calculated using various ranges of the impact parameter b and different number particles. DU is obtained from Sec. 5.3 and is displayed here for comparison.
 

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.

7  Conclusions

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.

A  Derivation of the horocycle curvature

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

ku(Gt) = 1/l    where    t = l/u0   .
(22)
After the kth collision the front is taken to be equivalent to a circle of radius rk which until the next collision grows linearly with the path length so that
ku(GT) = 1
l+rk
,   with   0 < l < lk
(23)
where the distance between successive collisions is lk = uk tk and T = l0/u0+l1/u1+¼+l/uk. Our purpose here is to relate the curvatures before and after the collision. To do this we follow the derivation of Ref. [23] done for the elastic case (see also ref. [3]).

Figure 9: The geometry used for the derivation of the relation between the front curvatures before and after collision on a hard disk for trajectories initialized at O-.
 

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

d- = jJ-jI-e   
 
 d+ = jJ¢-jI¢+e
sin(b+e/2)
|O-I|
= sind-
|IJ|
,
 
  sin(b¢-e/2)
|O+I|
= sind+
|IJ|
(24)

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

d- = a  e ku(-)sina,   d+ = a  e ku(+)sina¢
(25)
where we used, for small e, |IJ| = a  e. To obtain jI¢ and jJ¢ in terms of jI and jJ we use Eq. (1) of Sec. 2. We find
jI¢ = arccos é
ê
ë
ue-ucosjI
uI¢
ù
ú
û
, jJ¢ = arccos é
ê
ë
ue-ucosjJ
uJ¢
ù
ú
û
(26)
where we took the incoming magnitude of the velocities of the trajectories colliding at I and J to have the same value u. The outgoing velocity of the particle bouncing from I is uI¢ = (u2 + (ue-2ucosjI)2 +2uIcosjI(ue-2ucosjI))1/2 with a corresponding expression for uJ¢. The two trajectories originating from O- can be related to first order in small quantities d- and e:
uJ¢ = uI¢-(d-+ e) u ue sinjI
uI¢
, jJ¢ = jI¢+AI(d- + e)
(27)
where
AI = usinjI
Ö
uI¢2-(ue-ucosjI)2
 
é
ê
ë
1- ue
uI¢2
 (ue-ucosjI) ù
ú
û
(28)
Substituting the expression for jJ¢ in Eq. (24) for d+ we find
d+ = AId- + (AI+1)e   .
(29)
This yields the desired relation between the front curvatures ku(-) and ku(+) before and after the collision on a disk of radius a giving a radial velocity ue to the striking particle:
ku(+) = ku(-) cosjI
cosj¢I
 AI + AI+1
acosjI¢
   .
(30)
Note that for ue = 0 we have jI = jI¢ and AI = 1 so that Eq. (30) reproduces the Sinai-Buminovich curvature of Ref. [3] for elastic scattering on hard disks.

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).

References

[1]
J. J. Lissauer, Rev. Mod. Phys. 71 (1999) 835.
[2]
J. Machta and R. Zwanzig, Phys. Rev. Lett. 50 (1983) 1959.
[3]
L. A. Buminovich and Ya. G. Sinai, Commun. Math. Phys. 78 (1980) 479.
[4]
P. Gaspard and S. A. Rice, J. Chem. Phys. 90 (1989) 2225.
[5]
T. Yalçinkaya and Y.C. Lai, Comp. in Phys. 9 (1995) 511.
[6]
A. Antillón, J. José and T.H. Seligman, cond-mat/9803512.
[7]
Y.C. Lai and C. Grebogi, Phys. Rev. E 49 (1994) 3761.
[8]
M. Ding, C. Grebogi, E. Ott and J.A. Yorke, Phys. Rev. A 42 (1990) 7025.
[9]
T. Tél, C. Grebogi and E. Ott, Chaos 4 (1993) 495.
[10]
V. Daniels and M Valliéres, Chaos 3 (1993) 475.
[11]
E. Ott and T. Tél, Chaos 3 (1993) 417; additional papers in the issue of Chaos 3 (1993).
[12]
C. Grebogi, S.W. McDonald, E. Ott and J.A. Yorke, Phys. Rev. Lett. 99A (1983) 415.
[13]
P. Gaspard and D.A. Ramirez, Phys. Rev. A 45 (1992) 8383.
[14]
P. Gaspard and G. Nicolis, Phys. Rev. Lett., 65 (1990) 1693.
[15]
P. Gaspard and F. Baras, Phys. Rev. E 51 (1995) 5332.
[16]
Y.T. Lau, J.M. Finn and E. Ott, Phys. Rev. Lett. 66 (1991) 978.
[17]
S. Bleher, C. Grebogi and E. Ott, Physica D 46 (1990) 87.
[18]
A. Beeker and P. Eckelt, Chaos 3 (1993) 487.
[19]
E. Ott, T. Sauer and J.A. Yorke, Phys. Rev. A 39 (1989) 4212.
[20]
C. GRebogi, E. Ott and J.A. Yorke, Phys. Rev. A 37 (1988) 1711.
[21]
S. Bleher, C. Ott and R. Brown, Phys. Rev. A 32 (1988) 930.
[22]
S. McDonald, C. Grebogi, E. Ott and J.A. Yorke, Physica D 17 (1985) 125.
[23]
P. Gaspard in Quantum Chaos, Proceedings of The International School of Physics ``Enrico Fermi", Course CXIX, Varenna, 1991, edited by G. Casati, I. Guarnri, and U. Smilansky (North-Holland, Amsterdam, 1993), pp. 307-383.
[24]
P. Gaspard and D.A. Ramirez, Phys. Rev. A 45, 8383 (1992).
[25]
P. Szepfalusy and T. Tél, Phys. Rev. A 32, 2520 (1986).


Footnotes:

1 alexand@pauli.ns.ucy.ac.cy

2 kypriano@buffalo.edu

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-.