This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Present address: ]Department of Physics, Astronomy and Materials Science, Missouri State University, Springfield, MO 65897

Thomas-forbidden particle capture

John H. Carter [ Department of Physics, University of Arkansas, Fayetteville, Arkansas 72701    Michael Lieber Department of Physics, University of Arkansas, Fayetteville, Arkansas 72701
Abstract

At high energies, in particle-capture processes between ions and atoms, classical kinematic requirements show that generally double collision Thomas processes dominate. However, for certain mass-ratios these processes are kinematically forbidden. This paper explores the possibility of capture for such processes by triple or higher order collision processes.

I Introduction

It has long been known that at high energies, particle capture (also called particle or mass transfer or exchange) is dominated by classical kinematics. As a fundamental three-body process it has been much studied in both experiment and theory ref ; Shakeshaft ; Dett ; Maple . In 1927 L.H. Thomas Thomas did a theoretical analysis of the experiments of Rutherford, and especially G.H. Henderson Ruth , in which energetic alpha particles captured an electron as they passed through several different media, emerging as He+He^{+} ions.

We denote the generic process 1+(2,3)(1,2)+3,1+(2,3)\rightarrow(1,2)+3, and “high energy” means that the energy of the incident particle 1 is large compared with the binding energy of particle 2 to either the initial nucleus 3 or the final nucleus 1. Thus, without loss of significance we can consider the transferred particle 2 to be initially at rest with respect to the nucleus 3, and we define “capture” to mean that 2 emerges from the collision with zero velocity with respect to the scattered incident particle 1, i.e. they move off with identical speeds and directions. The nature of the interactions between the particles, generally Coulombic, is not important in our considerations, so we consider only hard contact collisions.

Conservation of overall energy and momentum forbids the capture process to take place with only a single collision (except in the case where 1 and 3 have exactly the same mass and 1 collides head-on with 3). In the case Thomas considered, there are two collisions: In the first, particle 1 (the alpha particle) collides with the bound particle 2 (the electron). This collision brings the electron from rest to the speed needed for capture, but its direction is wrong. The electron then collides essentially elastically with the nucleus 3 to which it was bound, changing its direction to parallel that of the recoiling particle 1. The scattering angle of particle 1 is called the “Thomas angle” and is given by (m2/m1)sin60(m_{2}/m_{1})\sin 60^{\circ}. In the most studied case, protons on hydrogen, this is 0.472 mrad. We call this scenario “Thomas process A.”

Logically (but not necessarily physically) two other double collision processes are conceivable. In scenario “Thomas process B” the first collision between 1 and 2 brings particle 2 to the necessary final speed. Particle 1 then collides with particle 3 and has its direction changed to enable capture of 2. In scenario “Thomas process C” the first collision is between particles 1 and 3. Recoiling particle 3 then collides with particle 2. These three possibilities are shown schematically in Fig. 1. Note that in all three cases, the kinematics are fixed since the number of constraint equations (conservation of momentum and energy for each collision) equals the number of variables. However, depending upon the mass ratios, not all of these processes may be allowed. That is, conservation of energy and momentum may forbid one or more of these scenarios — or, in the cases studied below, all three may be forbidden.

In 1987 the senior author of this paper devised a simple diagram to show how the available processes depend on the mass ratios Lieber . This diagram, which has come to be known as the “Lieber diagram,” is shown in Fig. 2. The symmetry of the diagram about the 4545^{\circ} line may be attributed to time-reversal symmetry. The curved boundaries are simple rectangular hyperbolas. Related diagrams have been given in Dett ; ref2 .

The quantum mechanical picture is more complicated ref ; Shakeshaft ; Dett ; Maple . Because of the uncertainty principle and the necessity of using wave packets, the momenta of the particles and their positions are spread out. At the high energies considered here, the Born approximation might be considered a good approximation. With Coulomb potentials it leads to a differential cross section with a large peak in the forward direction. The total cross section falls off as E6E^{-6}. However the second Born term dominates the first at sufficiently high energies because it falls off only as E5.5E^{-5.5}, as shown in the dissertation of Drisko Drisko . This unique phenomenon occurs because of the Thomas double-collision process, which gives rise to a pole in the integrand of the second Born term when the propagator is on shell. The singularity gives rise to a second peak in the differential cross section at the Thomas angle which emerges from the background when the projectile energy is sufficiently large. The Thomas peak has been observed experimentally Vogt in the pure three-body case of electron capture in proton-hydrogen scattering. An earlier atomic physics observation Horsdal utilized capture of one electron from helium in proton helium scattering - the scenario of Rutherford, Henderson and Thomas - and so is somewhat less clear-cut because of the presence of two electrons.

Even earlier there was an observation of the Thomas peak in a molecular collision, as proposed by Bates Cook : a proton is captured from a methane molecule in the process p+CH4CH3+H2+p+CH_{4}\rightarrow CH_{3}+H_{2}^{+}. The Thomas peak occurs at 46 degrees.

The question to be explored in this paper is the behavior of collisions for which all three Thomas double-collision processes are kinematically forbidden. Is capture possible by more than two collisions? We answer this question in the affirmative. Atomic processes which are Thomas-forbidden are rare because of the particular masses of the electron and proton. However, if we admit muons, the process: H+μe+(μp)H+\mu\rightarrow e+(\mu p), which describes the formation of muonic Hydrogen, can be shown to be Thomas-forbidden. Molecular processes are simpler to come by, e.g. Na+I2NaI+INa+I_{2}\rightarrow NaI+I. These and other processes are discussed below.

Our study reveals interesting structure in the forbidden regions of the Lieber diagram. We have not determined the quantum mechanical behavior of the cross section for these processes, which would correspond to third and higher order terms in the Born series. In this situation there is no on-shell pole in the second Born term, but may be one in the third or higher term. It is not clear whether such a pole would lead to dominance of this term in the high energy cross section.

In section II we briefly review the kinematics of the Thomas double collision processes. This will establish the notation and methods to be used for exploring the forbidden processes.

II Thomas double-collision kinematics

It is convenient to work with the ratios of the masses of particles 1 and 3 to the mass of particle 2: a=m1/m2a=m_{1}/m_{2} and b=m3/m2b=m_{3}/m_{2}. The mass ratios aa and bb which lead to scattering may be found simply by solving the equations of conservation of energy and momentum at each collision. It is also convenient to refer to the binary collisions using the number of the particle not involved in the collision, the ”spectator particle.” We will use parentheses to distinguish between particle numbers and collisions numbers. So, for example, (3) refers to a collision between particles 1 and 2. A capture process will be described by a string of numbers enclosed by parentheses corresponding to the collisions in the order they occur from left to right. Thus the three double collision processes we have considered, A, B, and C, can be referred to as (31), (32), and (21) respectively. A sketch of their trajectories is given in figure 1.

Figure 1: The three binary processes. (Bold line = particle 1, Thin line = particle 2, Dashed line = particle 3)
Refer to caption

We will now determine the mass ratios aa and bb for which these processes are allowed.

First we look at process A, that is, (31). The initial velocities of particles 2 and 3 are zero and 𝐮\mathbf{u} will be the initial velocity of particle 1. After the first collision, (3), the velocities of 1 and 2 are 𝐮\mathbf{u^{\prime}} and 𝐯\mathbf{v}. After the second collision, (1), the velocities of 2 and 3 are 𝐮\mathbf{u^{\prime}} and 𝐰\mathbf{w}. The equations of conservation of momentum for the two collisions are:

a𝐮\displaystyle a\mathbf{u} =\displaystyle= a𝐮+𝐯\displaystyle a\mathbf{u^{\prime}}+\mathbf{v} (1)
𝐯\displaystyle\mathbf{v} =\displaystyle= 𝐮+b𝐰.\displaystyle\mathbf{u^{\prime}}+b\mathbf{w}. (2)

The equations of conservation of energy are:

12au2\displaystyle\frac{1}{2}au^{2} =\displaystyle= 12au2+12v2\displaystyle\frac{1}{2}au^{\prime 2}+\frac{1}{2}v^{2} (3)
12v2\displaystyle\frac{1}{2}v^{2} =\displaystyle= 12u2+12bw2.\displaystyle\frac{1}{2}u^{\prime 2}+\frac{1}{2}bw^{2}. (4)

While solving these four equations is straightforward, we will use a technique which will make the calculations in Section III simpler.

Without loss of generality we may consider the collisions to occur in a plane, the xy-plane. If we express the velocities of the three particles as complex numbers and write them as the components of a three dimensional, complex vector, as: (v1x+iv1y,v2x+iv2y,v3x+iv3y)T,(v_{1x}+iv_{1y},v_{2x}+iv_{2y},v_{3x}+iv_{3y})^{T}, then the velocities before and after a collision can be related by a 3×33\times 3 complex matrix Carter . If we denote the matrices associated with collisions (1), (2) and (3) by S1,S_{1}, S2,S_{2}, and S3,S_{3}, then we can write:

S1(x)=S1(0)α/π=11+b(1+b0001+bxb(1x)01xb+x),\displaystyle S_{1}(x)=S_{1}(0)^{\alpha/\pi}=\frac{1}{1+b}\left(\begin{array}[]{ccc}1+b&0&0\\ 0&1+bx&b(1-x)\\ 0&1-x&b+x\end{array}\right)\mbox{,} (8)
S2(x)=S2(0)α/π=1a+b(a+bx0b(1x)0a+b0a(1x)0b+ax),\displaystyle S_{2}(x)=S_{2}(0)^{\alpha/\pi}=\frac{1}{a+b}\left(\begin{array}[]{ccc}a+bx&0&b(1-x)\\ 0&a+b&0\\ a(1-x)&0&b+ax\end{array}\right)\mbox{,} (12)
S3(x)=S3(0)α/π=11+a(a+x1x0a(1x)1+ax0001+a),\displaystyle S_{3}(x)=S_{3}(0)^{\alpha/\pi}=\frac{1}{1+a}\left(\begin{array}[]{ccc}a+x&1-x&0\\ a(1-x)&1+ax&0\\ 0&0&1+a\end{array}\right)\mbox{,} (16)

where α\alpha is the scattering angle of the collision and x=exp(iα)x=\exp(i\alpha).

The matrix which transforms the initial velocities of the three particles to the final velocities is, for process A, S1(x2)S3(x1),S_{1}(x_{2})S_{3}(x_{1}), where x1=exp(iα1)x_{1}=\exp(i\alpha_{1}) and x2=exp(iα2)x_{2}=\exp(i\alpha_{2}) and α1\alpha_{1} and α2\alpha_{2} are the scattering angles for the first and second collisions. The initial three velocities are: (u,0,0)T(u,0,0)^{T}. By insisting that after the two collisions, 1 and 2 have the same velocity, we obtain an expression relating α1\alpha_{1} and α2\alpha_{2}:

(1,1,0)S1(x2)S3(x1)(u00)=0.(1,-1,0)S_{1}(x_{2})S_{3}(x_{1})\left(\begin{array}[]{c}u\\ 0\\ 0\end{array}\right)=0. (17)

Its solution is

x2=(1+a+b)x1+abab(1x1).x_{2}=\frac{(1+a+b)x_{1}+ab}{ab(1-x_{1})}. (18)

The condition that x2x_{2} have unit absolute value implies that cos(α1)=(ab(1+a+b))/2ab.\cos(\alpha_{1})=(ab-(1+a+b))/2ab. We need cos(α1)\cos(\alpha_{1}) to be in the range [1,1][-1,1] and this condition is satisfied when 3abab10.3ab-a-b-1\geq 0. Thus the allowed region for process A lies to the right of the rectangular hyperbola given by 3abab1=03ab-a-b-1=0. The equation for the hyperbola can be written as (a1/3)(b1/3)=4/9,(a-1/3)(b-1/3)=4/9, so the asymptotes are at a=1/3a=1/3 and b=1/3b=1/3.

For process B, or (32)(32), the condition for capture is:

(1,1,0)S2(x2)S3(x1)(u00)=0.(1,-1,0)S_{2}(x_{2})S_{3}(x_{1})\left(\begin{array}[]{c}u\\ 0\\ 0\end{array}\right)=0. (19)

whose solution is: x2=a(b(1+a+b)x1)/b(a+x1)x_{2}=a(b-(1+a+b)x_{1})/b(a+x_{1}). The absolute value of x2x_{2} is unity when cos(α1)=(a2+ab+ab)/2ab.\cos(\alpha_{1})=(a^{2}+ab+a-b)/2ab. The cosine falls in the desired range when 3ab+a2+ab03ab+a^{2}+a-b\geq 0 and ba.b\geq a. Thus the allowed region for B lies between the line b=ab=a and the curve 3ab+a2+ab=03ab+a^{2}+a-b=0. The latter is again a rectangular hyperbola with an asymptote at a=1/3a=1/3 in the first quadrant.

The process C, or (21)(21), is similar to B. If B is viewed under time reversal and with particles 1 and 3 exchanged, it is equivalent to C. Thus the values of (a,b)(a,b) for which C is allowed are simply those of B with the roles of aa and bb reversed. Thus C is allowed if (a,b)(a,b) lies in the region between the the line b=ab=a and the curve 3ab+b2+ba=03ab+b^{2}+b-a=0. The latter is a rectangular hyperbola with an asymptote at b=1/3b=1/3.

The allowed regions for the three binary processes are shown in the “Lieber diagram,” figure 2.

Figure 2: The Lieber diagram for double collision processes
Refer to caption

III Capture processes with three or more collisions

III.1 Preliminaries

In order for a collision sequence to lead to capture, a few simple conditions must be met:
1. Consecutive collisions must be distinct since two isolated particles cannot collide more than once.
2. The first collision cannot be (1) because particle 1 initiates the capture process and the last collision must not be (3) because if 1 and 2 collide at the end of the process they cannot emerge with the same velocity.
3. The times between collisions must be positive.

Using these conditions, we prove the following useful lemma in Appendix A.

Lemma 1

When three distinct collisions between three particles occur consecutively, a fourth collision must be of the same type as the second. Furthermore, sequences of the form (31323) in which the first, third and fifth collisions are of the same type, but the second and fourth are of a different type, cannot occur.

Since capture begins with 2 and 3 having the same velocity and ends with 1 and 2 having the same velocity, the collision sequence can be considered to begin with the collision (1) and to end with the collision (3). If three distinct collisions were to occur consecutively between the virtual (1) and virtual (3), our lemma would be violated. Therefore a capture process must only consist of two types of collisions. There are only five such processes, namely: (32)n,(32)^{n}, (2)(32)n,(2)(32)^{n}, (21)n,(21)^{n}, (21)n(2),(21)^{n}(2), and (31)n.(31)^{n}. This is fortuitous because the classical scattering matrices for such processes are computed simply by raising to a power the scattering matrix of the repeated pair.

We will first consider (32)n(32)^{n} and (2)(32)n,(2)(32)^{n}, which have allowed regions which are within the forbidden region of the Lieber diagram. Because each collision in these processes involves particle 1, the whole problem can be done in the rest frame of 1. The scattering matrices are easily found for such a frame, but since particle 1 accelerates when it collides in an inertial frame and in the frame we are describing, it is at rest, this frame is noninertial. Thus energy and momentum will not be conserved in collisions (2) and (3) (the ones in which particle 1 is involved). In this scheme, one simply applies the scattering matrices to the velocity vector and then subtracts from each of the three velocities, the velocity of particle 1. If we have a matrix MM and an initial velocity vector vi,\vec{v_{i}}, the final velocity in the particle 1 frame, vf\vec{v_{f}} is given by:

vf\displaystyle\vec{v_{f}} =\displaystyle= Mvi(111)[(100)Mvi]\displaystyle M\vec{v_{i}}-\left(\begin{array}[]{c}1\\ 1\\ 1\end{array}\right)\left[\left(\begin{array}[]{ccc}1&0&0\end{array}\right)M\vec{v_{i}}\right] (24)
=\displaystyle= [I(111)(100)]Mvi\displaystyle\left[I-\left(\begin{array}[]{c}1\\ 1\\ 1\end{array}\right)\left(\begin{array}[]{ccc}1&0&0\end{array}\right)\right]M\vec{v_{i}} (29)

So to get the correct matrix one multiplies the matrix MM by

(000110101).\left(\begin{array}[]{ccc}0&0&0\\ -1&1&0\\ -1&0&1\end{array}\right).

The benefit of working in the frame of particle 1 is that only two velocities need be dealt with and consequently the scattering matrices become two by two matrices, the first row and first column being irrelevant. The scattering matrices, S2S2 and S3S3, are in this representation given by:

S2=(1b(y1)/(a+b)0y)S3=(x0(x1)/(a+1)1)S2=\left(\begin{array}[]{cc}1&b(y-1)/(a+b)\\ 0&y\end{array}\right)\mbox{, }S3=\left(\begin{array}[]{cc}x&0\\ (x-1)/(a+1)&1\end{array}\right) (30)

One needs to know what the scattering angle is at each step to find the xxs and yys. To that end, the following lemma, proved in Appendix B, is useful.

Lemma 2

In a process of the form (2)(32)n(2)(32)^{n} or (32)n(32)^{n}, all scattering angles, excluding the first, are equal.

III.2 Collisions of type (32)n(32)^{n}

The first step in analyzing (32)n(32)^{n} or (2)(32)n(2)(32)^{n} is to find the relation between the first and second scattering angles. Let the first and second scattering phasors be x=exp(iα)x=\exp(i\alpha) and y=exp(iβ).y=\exp(i\beta). Suppose the particles 2 and 3 initially have unit velocity. Then following the first collision, the velocities of 2 and 3 are xx and (a+x)/(a+1).(a+x)/(a+1). The second collision is between 3 and 1 and we should like to know its scattering angle, ϕ.\phi. If we exponentiate the equation derived above for scattering angle, we get: y=exp(iβ)=exp(2iψ)/exp(2iϕ).y=\exp(i\beta)=-\exp(2i\psi)/\exp(2i\phi). In the present case, exp(2iϕ)=[(a+x)/(a+1)]/[(a+x)/(a+1)]=x(a+x)/(ax+1)\exp(2i\phi)=[(a+x)/(a+1)]/[(a+x)/(a+1)]^{*}=x(a+x)/(ax+1) and exp(iψ)=x,\exp(i\psi)=x, so that:

y=x(ax+1)/(a+x).y=-x(ax+1)/(a+x). (31)

Now there is only one unknown variable in the problem, namely x.x. It is found by insisting that, in the particle-1 frame, 2 have zero velocity finally. To find 2’s final velocity, we need to multiply the string of scattering matrices. Since only the first collision has a unique scattering angle, the latter 2n22n-2 collision matrices may be expressed as a power to which the first two scattering matrices are appended:

S=(S2S3)(n1)S2(β/π)S3(α/π)=(S2S3)nS3(αβ)/π.S=(S_{2}S_{3})^{(n-1)}S_{2}^{(\beta/\pi)}S_{3}^{(\alpha/\pi)}=(S_{2}S_{3})^{n}S_{3}^{(\alpha-\beta)/\pi}. (32)

To exponentiate S2S3,S_{2}S_{3}, we need to diagonalize it.

S2S3=(y+b(y1)2/(a+b)(a+1)b(y1)/(a+b)y(y1)/(a+1)y).S_{2}S_{3}=\left(\begin{array}[]{cc}y+b(y-1)^{2}/(a+b)(a+1)&b(y-1)/(a+b)\\ y(y-1)/(a+1)&y\end{array}\right). (33)

The trace and determinant of the matrix are given by:

Trace(S2S3)\displaystyle\mbox{Trace}(S_{2}S_{3}) =\displaystyle= 2y[1+b(y1)22y(a+1)(a+b)]\displaystyle 2y\left[1+\frac{b(y-1)^{2}}{2y(a+1)(a+b)}\right] (34)
det(S2S3)\displaystyle\det(S_{2}S_{3}) =\displaystyle= y2.\displaystyle y^{2}. (35)

Since the determinant is the product of the eigenvalues, the eigenvalues may be expressed as ϵ1=y/g\epsilon_{1}=y/g and ϵ2=yg,\epsilon_{2}=y\cdot g, where gg is to be determined. Furthermore, since the trace is the sum of these, we have:

2y12(g+1/g)=2y[1+b(y1)22y(a+1)(a+b)].2y\cdot\frac{1}{2}(g+1/g)=2y\left[1+\frac{b(y-1)^{2}}{2y(a+1)(a+b)}\right]. (36)

This equation suggests that we write g=eiθg=e^{i\theta} with θ\theta defined by:

cos(θ)=1+b(y1)22y(a+1)(a+b).\cos(\theta)=1+\frac{b(y-1)^{2}}{2y(a+1)(a+b)}. (37)

It will now be shown that θ\theta is real and that the substitution is justified. From the identity (y1)2/y=4sin2(β/2),(y-1)^{2}/y=-4\sin^{2}(\beta/2), we can write cos(θ)=12bsin2(β/2)/((a+1)(a+b)),\cos(\theta)=1-2b\sin^{2}(\beta/2)/((a+1)(a+b)), so that:

(a+1)(a+b)b\displaystyle(a+1)(a+b)\geq b \displaystyle\Rightarrow
1b(a+1)(a+b)bsin2(β/2)(a+1)(a+b)\displaystyle 1\geq\frac{b}{(a+1)(a+b)}\geq\frac{b\sin^{2}(\beta/2)}{(a+1)(a+b)} \displaystyle\Rightarrow
112bsin2(β/2)(a+1)(a+b)1\displaystyle-1\leq 1-\frac{2b\sin^{2}(\beta/2)}{(a+1)(a+b)}\leq 1 \displaystyle\Rightarrow
1cos(θ)1.\displaystyle-1\leq\cos(\theta)\leq 1.

So θ\theta is real and the eigenvalues may be expressed as ϵ±=yexp(±iθ)\epsilon_{\pm}=y\exp(\pm i\theta). S may be decomposed into idempotent matrices, P+P_{+} and PP_{-} as S=ϵ+P++ϵP,S=\epsilon_{+}P_{+}+\epsilon_{-}P_{-}, if P+=(SϵI)/(ϵ+ϵ)P_{+}=(S-\epsilon_{-}I)/(\epsilon_{+}-\epsilon_{-}) and P=(Sϵ+I)/(ϵϵ+).P_{-}=(S-\epsilon_{+}I)/(\epsilon_{-}-\epsilon_{+}).

We are now in a position to state the condition for capture. The final velocity of particle 2 is 0,0, so the condition is:

(10)(S2S3)nS3(αβ)/π(11)=0.\left(\begin{array}[]{cc}1&0\end{array}\right)(S_{2}S_{3})^{n}S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)=0. (38)

Inserting the eigenvalue expansion, we have:

0\displaystyle 0 =\displaystyle= (10)[ϵ+nSϵIϵ+ϵ+ϵnSϵ+Iϵϵ+]S3(αβ)/π(11)\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)\left[\epsilon_{+}^{n}\frac{S-\epsilon_{-}I}{\epsilon_{+}-\epsilon_{-}}+\epsilon_{-}^{n}\frac{S-\epsilon_{+}I}{\epsilon_{-}-\epsilon_{+}}\right]S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right) (42)
=\displaystyle= (10)yn1eiθeiθ[einθ(SyeiθI)einθ(SyeiθI)]S3(αβ)/π(11)\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)\frac{y^{n-1}}{e^{i\theta}-e^{-i\theta}}\left[e^{in\theta}(S-ye^{-i\theta}I)-e^{-in\theta}(S-ye^{i\theta}I)\right]S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right) (46)
=\displaystyle= (10)yn1sin(θ)[sin(nθ)S2(β/π)S3(β/π)ysin((n1)θ)I]S3(αβ)/π(11)\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)\frac{y^{n-1}}{\sin(\theta)}\left[\sin(n\theta)S_{2}^{(\beta/\pi)}S_{3}^{(\beta/\pi)}-y\sin((n-1)\theta)I\right]S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right) (50)

When the appropriate matrix elements of S2(β/π)S3(β/π)S_{2}^{(\beta/\pi)}S_{3}^{(\beta/\pi)} and S3(αβ)/πS_{3}^{(\alpha-\beta)/\pi} are inserted into Eq. (50), we obtain:

sin((n1)θ)sin(nθ)=12b(acosα+1)(a+b)(a+1).\frac{\sin((n-1)\theta)}{\sin(n\theta)}=1-\frac{2b(a\cos\alpha+1)}{(a+b)(a+1)}. (51)

It will be useful to eliminate the alpha dependence from this equation. First we invert Eq. (31). As it is quadratic in x,x, there are two solutions:

x\displaystyle x =\displaystyle= [(1+y)±(1+y)24a2y]/(2a)\displaystyle\left[-(1+y)\pm\sqrt{(1+y)^{2}-4a^{2}y}\right]/(2a)\Rightarrow (52)
cos(α)\displaystyle\cos(\alpha) =\displaystyle= [cos2(β/2)±sin(β/2)a2cos2(β/2)]/a.\displaystyle\left[-\cos^{2}(\beta/2)\pm\sin(\beta/2)\sqrt{a^{2}-\cos^{2}(\beta/2)}\right]/a. (53)

If either solution is inserted into Eq. (51), and Eq. (37) is applied, we obtain the following relation:

cos2(θ/2)sin2(nθ)=a(1+b)(a+b).\frac{\cos^{2}(\theta/2)}{\sin^{2}(n\theta)}=\frac{a(1+b)}{(a+b)}. (54)

Now for given aa and b,b, there may be several solutions to Eq. (54). We can determine their legitimacy by looking at the signs of the time intervals between collisions. We construct a formula for the ratios of successive times. Consider the initial positions and velocities of the particles. If the process occurs in the x-y plane, with 2 at the origin and 1’s velocity in the positive x direction, and if the polar angle of 3’s position vector is ϕ\phi and the distance between 2 and 3 is unity, then the initial position vector is (0eiϕ).\left(\begin{array}[]{cc}0&e^{i\phi}\end{array}\right). The position vector at the moment of the (2j)th(2j)^{th} collision is:

𝐫2j\displaystyle\mathbf{r}_{2j} =\displaystyle= (0eiϕ)+t1S3α/π(11)+t2S2β/πS3α/π(11)+\displaystyle\left(\begin{array}[]{c}0\\ e^{i\phi}\end{array}\right)+t_{1}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+t_{2}S_{2}^{\beta/\pi}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+ (64)
t2j1(S3β/πS2β/π)j1S3α/π(11).\displaystyle\cdots t_{2j-1}\left(S_{3}^{\beta/\pi}S_{2}^{\beta/\pi}\right)^{j-1}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right).

At the moment of the (2j+1)th(2j+1)^{th} it is:

𝐫2j+1\displaystyle\mathbf{r}_{2j+1} =\displaystyle= (0eiϕ)+t1S3α/π(11)+t2S2β/πS3α/π(11)+\displaystyle\left(\begin{array}[]{c}0\\ e^{i\phi}\end{array}\right)+t_{1}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+t_{2}S_{2}^{\beta/\pi}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+ (74)
t2j(S2β/πS3β/π)jS3(αβ)/π(11).\displaystyle\cdots t_{2j}\left(S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}\right)^{j}S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right).

The position vectors of relation (64) must have their second component zero because particle 3 is at the origin at the moment of an even numbered collision. Similarly, the position vectors of relation (74) must have their first component zero because particle two is at the origin at the moment of an odd numbered collision. From these requirements, we can write equations from which to determine the times between collisions. Their basic form is:

(01)𝐫2j=0 and (10)𝐫2j+1=0.\left(\begin{array}[]{cc}0&1\end{array}\right)\mathbf{r}_{2j}=0\mbox{ and }\left(\begin{array}[]{cc}1&0\end{array}\right)\mathbf{r}_{2j+1}=0. (75)

First we will find the ratio between an even numbered time and the preceding odd numbered time. If we subtract the equation (10)𝐫2j1=0\left(\begin{array}[]{cc}1&0\end{array}\right)\mathbf{r}_{2j-1}=0 from the equation (10)𝐫2j+1=0,\left(\begin{array}[]{cc}1&0\end{array}\right)\mathbf{r}_{2j+1}=0, applying Eq. (74), we find that:

0\displaystyle 0 =\displaystyle= t2j1(10)S3β/π(S2β/πS3β/π)j1S3(αβ)/π(11)\displaystyle t_{2j-1}\left(\begin{array}[]{cc}1&0\end{array}\right)S_{3}^{\beta/\pi}\left(S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}\right)^{j-1}S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right) (83)
+t2j(10)(S2β/πS3β/π)jS3(αβ)/π(11).\displaystyle+t_{2j}\left(\begin{array}[]{cc}1&0\end{array}\right)\left(S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}\right)^{j}S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right).

If we apply the identity (10)S3β/π𝐯=y(10)𝐯,\left(\begin{array}[]{cc}1&0\end{array}\right)S_{3}^{\beta/\pi}\mathbf{v}=y\left(\begin{array}[]{cc}1&0\end{array}\right)\mathbf{v}, which holds for any velocity vector 𝐯,\mathbf{v}, and carry out the exponentiations, we find:

t2jt2j1=(10)[sin((j1)θ)S2(β/π)S3(α/π)ysin((j2)θ)S3(αβ)/π](11)(10)[sin((j)θ)S2(β/π)S3(α/π)ysin((j1)θ)S3(αβ)/π](11).\frac{t_{2j}}{t_{2j-1}}=\frac{\left(\begin{array}[]{cc}1&0\end{array}\right)\left[\sin((j-1)\theta)S_{2}^{(\beta/\pi)}S_{3}^{(\alpha/\pi)}-y\sin((j-2)\theta)S_{3}^{(\alpha-\beta)/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}1&0\end{array}\right)\left[\sin((j)\theta)S_{2}^{(\beta/\pi)}S_{3}^{(\alpha/\pi)}-y\sin((j-1)\theta)S_{3}^{(\alpha-\beta)/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right)}. (84)

The ratio of the two matrix elements of the numerator and denominator can be extracted from Eq. (42):

(10)S2(β/π)S3(α/π)(11)(10)S3(αβ)/π(11)=ysin((n1)θ)sin(nθ).\frac{\left(\begin{array}[]{cc}1&0\end{array}\right)S_{2}^{(\beta/\pi)}S_{3}^{(\alpha/\pi)}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}1&0\end{array}\right)S_{3}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}=y\frac{\sin((n-1)\theta)}{\sin(n\theta)}. (85)

If this ratio is applied to Eq. (84), it can be shown that:

t2jt2j1=sin((nj+1)θ)sin((nj)θ),j=1,2,(n1)\frac{t_{2j}}{t_{2j-1}}=-\frac{\sin((n-j+1)\theta)}{\sin((n-j)\theta)},\hskip 28.45274ptj=1,2,\cdots(n-1) (86)

It remains to find the ratio of an odd numbered time to the preceding even numbered time. We subtract (01)𝐫2j=0\left(\begin{array}[]{cc}0&1\end{array}\right)\mathbf{r}_{2j}=0 from (01)𝐫2j+2=0,\left(\begin{array}[]{cc}0&1\end{array}\right)\mathbf{r}_{2j+2}=0, to find:

0\displaystyle 0 =\displaystyle= t2j(01)S2β/π(S3β/πS2β/π)jS3α/π(11)\displaystyle t_{2j}\left(\begin{array}[]{cc}0&1\end{array}\right)S_{2}^{\beta/\pi}\left(S_{3}^{\beta/\pi}S_{2}^{\beta/\pi}\right)^{j}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right) (94)
+t2j+1(01)(S3β/πS2β/π)j+1S3α/π(11).\displaystyle+t_{2j+1}\left(\begin{array}[]{cc}0&1\end{array}\right)\left(S_{3}^{\beta/\pi}S_{2}^{\beta/\pi}\right)^{j+1}S_{3}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right).

Following the same procedure as above, we use the fact that (01)\left(\begin{array}[]{cc}0&1\end{array}\right) is a left eigenvector of S2β/πS_{2}^{\beta/\pi} and that S3S2S_{3}S_{2} and S2S3S_{2}S_{3} have the same eigenvalues to derive:

t2j+1t2j=(01)[sin((j1)θ)S3β/πS2β/πS3α/πysin((j2)θ)S3α/π](11)(01)[sin(jθ)S3β/πS2β/πS3α/πysin((j1)θ)S3α/π](11).\frac{t_{2j+1}}{t_{2j}}=-\frac{\left(\begin{array}[]{cc}0&1\end{array}\right)\left[\sin((j-1)\theta)S_{3}^{\beta/\pi}S_{2}^{\beta/\pi}S_{3}^{\alpha/\pi}-y\sin((j-2)\theta)S_{3}^{\alpha/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}0&1\end{array}\right)\left[\sin(j\theta)S_{3}^{\beta/\pi}S_{2}^{\beta/\pi}S_{3}^{\alpha/\pi}-y\sin((j-1)\theta)S_{3}^{\alpha/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right)}. (95)

As before, we first evaluate the ratio of the matrix elements, ρ.\rho. If we perform the matrix multiplications and apply Eqs. (31) and (37), we find that:

ρ=(01)S3(β/π)S2(β/π)S3(α/π)(11)(01)S3(α/π)(11)=y[2cosθ1+2(acosα+1)a2+2acosα+1].\rho=\frac{\left(\begin{array}[]{cc}0&1\end{array}\right)S_{3}^{(\beta/\pi)}S_{2}^{(\beta/\pi)}S_{3}^{(\alpha/\pi)}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}0&1\end{array}\right)S_{3}^{(\alpha/\pi)}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}=y\left[2\cos\theta-1+\frac{2(a\cos\alpha+1)}{a^{2}+2a\cos\alpha+1}\right]. (96)

Next we solve Eq. (51) for 2(acosα+1)2(a\cos\alpha+1) in terms of θ,\theta, a,a, and b,b, and use the result to simplify ρ:\rho:

ρ=y[2cosθ1+sin(nθ)sin((n1)θ)[a(b+1)/(a+b)]sin(nθ)sin((n1)θ)].\rho=y\left[2\cos\theta-1+\frac{\sin(n\theta)-\sin((n-1)\theta)}{[a(b+1)/(a+b)]\sin(n\theta)-\sin((n-1)\theta)}\right]. (97)

Finally, if we eliminate a(b+1)/(a+b)a(b+1)/(a+b) using Eq. (54), we obtain:

ρ=ycos((n3/2)θ)/cos((n1/2)θ).\rho=y\cos((n-3/2)\theta)/\cos((n-1/2)\theta). (98)

And when the expression for ρ\rho is used in Eq. (95), it can be shown that:

t2j+1t2j=cos((nj+1/2)θ)cos((nj1/2)θ),j=1,2,(n1).\frac{t_{2j+1}}{t_{2j}}=-\frac{\cos((n-j+1/2)\theta)}{\cos((n-j-1/2)\theta)},\hskip 28.45274ptj=1,2,\cdots(n-1). (99)

As was mentioned earlier, for a given aa and b,b, there may be several values of θ\theta which satisfy Eq. (54) but at most one corresponds to a process with positive times between collisions. The time between the first two collisions, t1t_{1} can be guaranteed to be positive because after 1 collides with 2, a collision with 3 is possible if 3 has the right orientation. But from relations (86) and (99), we see that for all the times to be positive, we need sin((nj+1)θ)/sin((nj)θ)<0\sin((n-j+1)\theta)/\sin((n-j)\theta)<0 and cos((nj+1/2)θ)/cos((nj1/2)θ)<0\cos((n-j+1/2)\theta)/\cos((n-j-1/2)\theta)<0 for all 1jn1.1\leq j\leq n-1.

The solution set for sin(kθ)/sin((k1)θ)<0\sin(k\theta)/\sin((k-1)\theta)<0 is

l=1k1(lπ/k,lπ/(k1))\bigcup_{l=1}^{k-1}(l\pi/k,l\pi/(k-1)) (100)

and the solution set for cos((k+1/2)θ)/cos((k1/2)θ)<0\cos((k+1/2)\theta)/\cos((k-1/2)\theta)<0 is

l=1k((2l1)π/(2k+1),(2l1)π/(2k1)).\bigcup_{l=1}^{k}((2l-1)\pi/(2k+1),(2l-1)\pi/(2k-1)). (101)

In (100) and (101), k=njk=n-j and jj varies from 11 to n1n-1 so kk can take any value between 1 and n1n-1. It is not hard to show that the intersection of the sets (100) having kk between 11 and n1n-1 is ((n2)π/(n1),π)((n-2)\pi/(n-1),\pi). The intersection of this interval with all the sets (101) having kk between 11 and n1n-1 is ((2n3)π/(2n1),π)((2n-3)\pi/(2n-1),\pi). Thus a necessary condition for all positive time intervals is that θ\theta be in the range ((2n3)π/(2n1),π)((2n-3)\pi/(2n-1),\pi).

We have seen that θ\theta is real if β\beta is. From the form of Eq. (31), the reality of α\alpha guarantees the reality of β.\beta.

All the dynamical variables of the problem are found by multiplying the original velocity vector by the 2×22\times 2 matrices S2S_{2} and S3.S_{3}. So a process is classically allowed if α\alpha\in\Re and (2n3)π/(2n1)θπ.(2n-3)\pi/(2n-1)\leq\theta\leq\pi. Eq. (52) may be rewritten as x=yexp(iϕ),x=\sqrt{y}\exp(i\phi), if cosϕ=(1+y)/(2ay)=cos(β/2)/a.\cos\phi=-(1+y)/(2a\sqrt{y})=-\cos(\beta/2)/a. In this form, it is evident that if β,\beta\in\Re, then α,\alpha\in\Re, iff cos2(β/2)a2.\cos^{2}(\beta/2)\leq a^{2}. This inequality may be recast in terms of sines as:

1a2sin2(β/2)1b(1a)(a+b)sin2(θ/2)b(a+b)(a+1).1-a^{2}\leq\sin^{2}(\beta/2)\leq 1\Leftrightarrow\frac{b(1-a)}{(a+b)}\leq\sin^{2}(\theta/2)\leq\frac{b}{(a+b)(a+1)}. (102)

The lower bound on sin2(θ/2)\sin^{2}(\theta/2) poses no constraint, it being guaranteed by Eq. (54), so we must solve that equation in the domain (2n3)π/(2n1)θπ,(2n-3)\pi/(2n-1)\leq\theta\leq\pi, subject to the constraint

sin2(θ/2)b/((a+b)(a+1)).\sin^{2}(\theta/2)\leq b/((a+b)(a+1)). (103)

Let Q(θ)Q(\theta) be defined by Q(θ)=cos2(θ/2)/sin2(nθ)Q(\theta)=\cos^{2}(\theta/2)/\sin^{2}(n\theta). Then Eq. (54) can be written as

θ=Q1(a(1+b)a+b).\theta=Q^{-1}\left(\frac{a(1+b)}{a+b}\right). (104)

This equation can be used to assign a value to θ\theta at every point in the abab plane at which Q1Q^{-1} exists. On the interval ((2n3)π/(2n1),π)((2n-3)\pi/(2n-1),\pi), Q(θ)Q(\theta) decreases monotonically from \infty to 1/4n21/4n^{2}. Thus, we may only choose aa and bb for which

a(1+b)a+b>1/4n2.\frac{a(1+b)}{a+b}>1/4n^{2}. (105)

The points (a,b)(a,b) which satisfy the inequality a(1+b)/(a+b)>Q0a(1+b)/(a+b)>Q_{0} lie between the branches of a hyperbola which passes through the origin and has asymptotes at a=1/Q0a=1/Q_{0} and b=1/Q01b=1/Q_{0}-1. Because QQ decreases monotonically on the interval of interest, if θ1\theta_{1}, θ2\theta_{2} and θ3\theta_{3} satisfy (2n3)π/(2n1)θ1<θ2<θ3π(2n-3)\pi/(2n-1)\leq\theta_{1}<\theta_{2}<\theta_{3}\leq\pi, it follows that if θ1θ(a,b1)θ2\theta_{1}\leq\theta(a,b_{1})\leq\theta_{2} and θ2θ(a,b2)θ3\theta_{2}\leq\theta(a,b_{2})\leq\theta_{3}, then b2b1b_{2}\geq b_{1}. In other words, the region in which θ1θθ2\theta_{1}\leq\theta\leq\theta_{2} lies under the region in which θ2θθ3\theta_{2}\leq\theta\leq\theta_{3}.

We can find the allowed region for this process by looking for the curves along which the left and right hand sides of the inequality (103) are equal. Then we can test to see on which side of the curves the inequality is met. Finally we must check the inequality (105) to make sure that θ\theta actually exists in the proposed region.

We write 103 as an equation:

sin2(θ/2)=b/((a+b)(a+1)).\sin^{2}(\theta/2)=b/((a+b)(a+1)). (106)

and combine it with Eq. (54) to obtain:

tan2(nθ)=1+a+bab.\tan^{2}(n\theta)=\frac{1+a+b}{ab}. (107)

Also, Eq. (106) can be modified to yield:

tan2(θ/2)=ba(1+a+b).\tan^{2}(\theta/2)=\frac{b}{a(1+a+b)}. (108)

If we multiply Eqs. (107) and (108) together and solve for aa, we get two solutions. The two solutions for aa along with the corresponding expressions for bb are as follows:

a\displaystyle a =\displaystyle= cot(θ/2)cot(nθ)\displaystyle\cot(\theta/2)\cot(n\theta) (109)
b\displaystyle b =\displaystyle= cot(nθ)cot((n1/2)θ), if\displaystyle\cot(n\theta)\cot((n-1/2)\theta)\mbox{, if}
(2n2)π/(2n1)θ(2n1)π/(2n)\displaystyle(2n-2)\pi/(2n-1)\leq\theta\leq(2n-1)\pi/(2n)

and

a\displaystyle a =\displaystyle= cot(θ/2)cot(nθ)\displaystyle-\cot(\theta/2)\cot(n\theta) (111)
b\displaystyle b =\displaystyle= cot(nθ)cot((n+1/2)θ), if\displaystyle\cot(n\theta)\cot((n+1/2)\theta)\mbox{, if}
(2n1)π/(2n)θ(2n)π/(2n+1).\displaystyle(2n-1)\pi/(2n)\leq\theta\leq(2n)\pi/(2n+1).

The limits on θ\theta are determined by finding the values of θ\theta which make aa and bb both positive. For convenience, let the former be denoted by C2n1C_{2n-1} and the latter by C2nC_{2n}. If we let θ1=(2n2)π/(2n1)\theta_{1}=(2n-2)\pi/(2n-1), θ2=(2n1)π/2n\theta_{2}=(2n-1)\pi/2n and θ3=2nπ/(2n+1)\theta_{3}=2n\pi/(2n+1), then it follows from the above discussion that C2n1C_{2n-1} lies beneath C2nC_{2n}. By plugging θ=θ1\theta=\theta_{1} into (109), we find that C2n1C_{2n-1} has an asymptote at a=tan2(π/(4n2))a=\tan^{2}(\pi/(4n-2)) and by plugging θ=θ3\theta=\theta_{3} into (111), we find that C2nC_{2n} has an asymptote at a=tan2(π/(4n+2))a=\tan^{2}(\pi/(4n+2)). To test whether the process is allowed between these two or outside them, we study a test point. If b=0b=0 and a>0a>0, then θ\theta exists and is given by Q1(1)Q^{-1}(1). Since (2n3)π/(2n1)θπ(2n-3)\pi/(2n-1)\leq\theta\leq\pi, it follows that sin2(θ/2)cos2(π/2n)\sin^{2}(\theta/2)\geq\cos^{2}(\pi/2n) but from inequality (103) we need sin2(θ/2)0\sin^{2}(\theta/2)\leq 0 at such a point. Thus the allowed region for the process is between the curves C2n1C_{2n-1} and C2nC_{2n}.

III.3 Collisions of type (2)(32)n(2)(32)^{n}

The next process to consider is (2)(32)n.(2)(32)^{n}. The relation between the first and following scattering angles is different for that problem than for (32)n.(32)^{n}. In the above derivation of the relation, only the effects of the first two collisions are considered so the equation for the (2)(32)n(2)(32)^{n} problem is obtained by exchanging the masses of 2 and 3 in Eq. (31):

y=x(ax+b)/(a+bx).y=-x(ax+b)/(a+bx). (113)

The condition for capture is:

0\displaystyle 0 =\displaystyle= (10)(S2S3)nS2α/π(11)\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)(S_{2}S_{3})^{n}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right) (117)
=\displaystyle= (10)[sin(nθ)S2β/πS3β/πS2α/πysin((n1)θ)S2α/π](11).\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)\left[\sin(n\theta)S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}S_{2}^{\alpha/\pi}-y\sin((n-1)\theta)S_{2}^{\alpha/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right). (121)

If we evaluate the matrix elements with the aid of Eq.( 37), we find that:

sin(nθ)sin((n+1)θ)=a2+2abcosα+b2a2b2.\frac{\sin(n\theta)}{\sin((n+1)\theta)}=\frac{a^{2}+2ab\cos\alpha+b^{2}}{a^{2}-b^{2}}. (122)

A formula is needed for α\alpha given β\beta. This is obtained by exchanging the masses of 2 and 3 in Eq. (52):

cosα=[bcos2(β/2)±a2b2cos2(β/2)sin(β/2)]/a.\cos{\alpha}=\left[-b\cos^{2}(\beta/2)\pm\sqrt{a^{2}-b^{2}\cos^{2}(\beta/2)}\sin(\beta/2)\right]/a. (123)

This formula, along with Eq. (37) allows us to rewrite Eq. (122) as:

cos2((n+1/2)θ)cos2(θ/2)=b(1+a)a(1+b)\frac{\cos^{2}((n+1/2)\theta)}{\cos^{2}(\theta/2)}=\frac{b(1+a)}{a(1+b)} (124)

As with (32)n(32)^{n}, we next determine which values of θ\theta can be ruled out because of negative time intervals between collisions. Since 3 begins at the origin, ϕ\phi will now denote the initial polar angle of 2. The position vector at the moment of the (2j)th(2j)^{th} collision is:

𝐫2j\displaystyle\mathbf{r}_{2j} =\displaystyle= (eiϕ0)+t1S2α/π(11)+t2S3β/πS2α/π(11)+\displaystyle\left(\begin{array}[]{c}e^{i\phi}\\ 0\end{array}\right)+t_{1}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+t_{2}S_{3}^{\beta/\pi}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+ (134)
t2j1(S2β/πS3β/π)j1S2α/π(11).\displaystyle\cdots t_{2j-1}\left(S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}\right)^{j-1}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right).

At the moment of the (2j+1)th(2j+1)^{th} it is:

𝐫2j+1\displaystyle\mathbf{r}_{2j+1} =\displaystyle= (eiϕ0)+t1S2α/π(11)+t2S3β/πS2α/π(11)+\displaystyle\left(\begin{array}[]{c}e^{i\phi}\\ 0\end{array}\right)+t_{1}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+t_{2}S_{3}^{\beta/\pi}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)+ (144)
t2j(S3β/πS2β/π)jS2(αβ)/π(11).\displaystyle\cdots t_{2j}\left(S_{3}^{\beta/\pi}S_{2}^{\beta/\pi}\right)^{j}S_{2}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right).

As before, we derive the time ratios from the constraint that the two particles involved in a collision have the same position. The equations expressing that constraint are:

(10)𝐫2j=0 and (01)𝐫2j+1=0.\left(\begin{array}[]{cc}1&0\end{array}\right)\mathbf{r}_{2j}=0\mbox{ and }\left(\begin{array}[]{cc}0&1\end{array}\right)\mathbf{r}_{2j+1}=0. (145)

Now we can use Eq. (144) to find the ratio of an even numbered time to the preceding odd numbered one:

t2jt2j1=(01)[sin((j1)θ)S3β/πS2α/πysin((j2)θ)S2(αβ)/π](11)(01)[sin(jθ)S3β/πS2α/πysin((j1)θ)S2(αβ)/π](11).\frac{t_{2j}}{t_{2j-1}}=-\frac{\left(\begin{array}[]{cc}0&1\end{array}\right)\left[\sin((j-1)\theta)S_{3}^{\beta/\pi}S_{2}^{\alpha/\pi}-y\sin((j-2)\theta)S_{2}^{(\alpha-\beta)/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}0&1\end{array}\right)\left[\sin(j\theta)S_{3}^{\beta/\pi}S_{2}^{\alpha/\pi}-y\sin((j-1)\theta)S_{2}^{(\alpha-\beta)/\pi}\right]\left(\begin{array}[]{c}1\\ 1\end{array}\right)}. (146)

The relevant matrix element ratio is:

ρ=(01)S3β/πS2α/π(11)(01)S2(αβ)/π(11)=y[12(b+acosα)(a+1)(a+b)].\rho=\frac{\left(\begin{array}[]{cc}0&1\end{array}\right)S_{3}^{\beta/\pi}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}0&1\end{array}\right)S_{2}^{(\alpha-\beta)/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}=y\left[1-\frac{2(b+a\cos\alpha)}{(a+1)(a+b)}\right]. (147)

With the help of Eqs. (122) and (124), we may eliminate a,a, b,b, and α\alpha from this expression: ρ=ycos((n1/2)θ)/cos((n+1/2)θ).\rho=y\cos((n-1/2)\theta)/\cos((n+1/2)\theta). When this is used in Eq. (146), we obtain:

t2jt2j1=cos((nj+3/2)θ)cos((nj+1/2)θ),j=1,2,n.\frac{t_{2j}}{t_{2j-1}}=-\frac{\cos((n-j+3/2)\theta)}{\cos((n-j+1/2)\theta)},\hskip 28.45274ptj=1,2,\cdots n. (148)

From Eq. (134), the ratio of an odd numbered time to the preceding even one is given by:

t2j+1t2j=y(10)(S2β/πS3β/π)j1S2α/π(11)(10)(S2β/πS3β/π)jS2α/π(11).\frac{t_{2j+1}}{t_{2j}}=-\frac{y\left(\begin{array}[]{cc}1&0\end{array}\right)\left(S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}\right)^{j-1}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}{\left(\begin{array}[]{cc}1&0\end{array}\right)\left(S_{2}^{\beta/\pi}S_{3}^{\beta/\pi}\right)^{j}S_{2}^{\alpha/\pi}\left(\begin{array}[]{c}1\\ 1\end{array}\right)}. (149)

Invoking Eq. (117), we can remove the a,a, b,b, and α\alpha dependence:

t2j+1t2j=sin((nj+1)θ)sin((nj)θ),j=1,2,(n1).\frac{t_{2j+1}}{t_{2j}}=-\frac{\sin((n-j+1)\theta)}{\sin((n-j)\theta)},\hskip 28.45274ptj=1,2,\cdots(n-1). (150)

The solution set of cos((k+3/2)θ)/cos((k+1/2)θ)<1\cos((k+3/2)\theta)/\cos((k+1/2)\theta)<-1 is

l=1k+1((2l1)π/(2k+3),(2l1)π/(2k+1)).\bigcup_{l=1}^{k+1}((2l-1)\pi/(2k+3),(2l-1)\pi/(2k+1)). (151)

and the solution set of sin((k+1)θ)/sin(kθ)<1\sin((k+1)\theta)/\sin(k\theta)<-1 is

l=1k(lπ/(k+1),lπ/k).\bigcup_{l=1}^{k}(l\pi/(k+1),l\pi/k). (152)

In (152), k=njk=n-j and jj varies from 11 to n1n-1 so kk can take any value between 1 and n1n-1. It is not hard to show that the intersection of the sets (152) having kk between 11 and n1n-1 is ((n1)π/n,π)((n-1)\pi/n,\pi). In (151), jj varies from 11 to nn so kk takes values between 0 and n1n-1. The intersection of ((n1)π/n,π)((n-1)\pi/n,\pi) with all the sets (151) having kk between 0 and n1n-1 is ((2n1)π/(2n+1),π)((2n-1)\pi/(2n+1),\pi). Thus a necessary condition for all positive time intervals is that θ\theta be in the range ((2n1)π/(2n+1),π)((2n-1)\pi/(2n+1),\pi).

Eq. (113) may be inverted as x=yexpiϕ,x=\sqrt{y}\exp{i\phi}, if cos(ϕ)=b(1+y)/(2ay)=bcos(β/2)/a.\cos(\phi)=-b(1+y)/(2a\sqrt{y})=-b\cos(\beta/2)/a. We have ϕ\phi\in\Re if 0cos2(β/2)a2/b2.0\leq\cos^{2}(\beta/2)\leq a^{2}/b^{2}. Equivalently, we may write the condition for capture as:

1a2/b2sin2(β/2)1(ba)b(a+1)sin2(θ/2)b(a+b)(a+1).1-a^{2}/b^{2}\leq\sin^{2}(\beta/2)\leq 1\Leftrightarrow\frac{(b-a)}{b(a+1)}\leq\sin^{2}(\theta/2)\leq\frac{b}{(a+b)(a+1)}. (153)

The left inequality follows from Eq. (124) so any solution to Eq. (124) in the interval (2n1)π/(2n+1)θπ(2n-1)\pi/(2n+1)\leq\theta\leq\pi satisfying

sin2(θ/2)b/[(a+b)(a+1)]\sin^{2}(\theta/2)\leq b/[(a+b)(a+1)] (154)

corresponds to allowed capture. Let QQ be defined by Q(θ)=cos2((n+1/2)θ)/cos2(θ/2).Q(\theta)=\cos^{2}((n+1/2)\theta)/\cos^{2}(\theta/2). On the interval under consideration, QQ increases monotonically in θ,\theta, from 0 at the left endpoint to (2n+1)2(2n+1)^{2} at the right endpoint. From Eq. (124), we can show that b=aQ/(1+aaQ).b=aQ/(1+a-aQ). When this is used in the inequality we have:

Q(1+Q)+a(1Q)(a+1)sin2(θ/2).\frac{Q}{(1+Q)+a(1-Q)}\geq(a+1)\sin^{2}(\theta/2). (155)

Taken as an equation, the two solutions of (155) for aa are cot(θ/2)cot(nθ)-\cot(\theta/2)\cot(n\theta) and cot(θ/2)cot((n+1)θ).\cot(\theta/2)\cot((n+1)\theta). The corresponding expressions for bb and the values of θ\theta which make aa and bb positive are as follows:

a\displaystyle a =\displaystyle= cot(θ/2)cot(nθ)\displaystyle-\cot(\theta/2)\cot(n\theta) (156)
b\displaystyle b =\displaystyle= cot((n+1/2)θ)cot(nθ), if\displaystyle\cot((n+1/2)\theta)\cot(n\theta)\mbox{, if}
(2n1)π/(2n)θ2nπ/(2n+1)\displaystyle(2n-1)\pi/(2n)\leq\theta\leq 2n\pi/(2n+1)

and

a\displaystyle a =\displaystyle= cot(θ/2)cot((n+1)θ)\displaystyle\cot(\theta/2)\cot((n+1)\theta) (158)
b\displaystyle b =\displaystyle= cot((n+1/2)θ)cot((n+1)θ), if\displaystyle\cot((n+1/2)\theta)\cot((n+1)\theta)\mbox{, if}
2nπ/(2n+1)θ(2n+1)π/(2n+2).\displaystyle 2n\pi/(2n+1)\leq\theta\leq(2n+1)\pi/(2n+2).

The first curve is the same as C2nC_{2n} and the second is the same as C2n+1.C_{2n+1}. Thus, the boundary curves for 2(32)n2(32)^{n} are the same as those for (32)n.(32)^{n}. The functions a1a_{1} and a2a_{2} are found by combining Eq. (124) with the Eq. (153). This has been done by eliminating bb from Eq. (153).

But a more useful form for the curves is obtained by eliminating θ.\theta. If Eq. (153) is taken as an equality, then exp(iθ/2)\exp(i\theta/2) may be written as

exp(iθ/2)=a(a+1+b)+ib(a+b)(1+a).\exp(i\theta/2)=\frac{\sqrt{a(a+1+b)}+i\sqrt{b}}{\sqrt{(a+b)(1+a)}}. (160)

From Eq. (124), cos2((n+1/2)θ)=b(a+1+b)/((a+b)(1+b))\cos^{2}((n+1/2)\theta)=b(a+1+b)/((a+b)(1+b)) and

exp(i(n+1/2)θ)=b(a+1+b)±ia(a+b)(1+b).\exp(i(n+1/2)\theta)=\frac{\sqrt{b(a+1+b)}\pm i\sqrt{a}}{\sqrt{(a+b)(1+b)}}. (161)

The sign of sin((n+1/2)θ)\sin((n+1/2)\theta) depends on the parity of n.n. For even n,n, sin((n+1/2)θ)\sin((n+1/2)\theta) is negative if (2n1)π/(2n)θ2nπ/(2n+1)(2n-1)\pi/(2n)\leq\theta\leq 2n\pi/(2n+1) and positive if 2nπ/(2n+1)θ(2n+1)π/(2n+2),2n\pi/(2n+1)\leq\theta\leq(2n+1)\pi/(2n+2), while for odd n,n, the opposite is true. Combining Eqs. (160) and (161) gives for C2nC_{2n}:

(a(a+1+b)+iba(a+1+b)ib)2n+1=b(a+1+b)(1)niab(a+1+b)+(1)nia\left(\frac{\sqrt{a(a+1+b)}+i\sqrt{b}}{\sqrt{a(a+1+b)}-i\sqrt{b}}\right)^{2n+1}=\frac{\sqrt{b(a+1+b)}-(-1)^{n}i\sqrt{a}}{\sqrt{b(a+1+b)}+(-1)^{n}i\sqrt{a}} (162)

and for C2n+1C_{2n+1}:

(a(a+1+b)+iba(a+1+b)ib)2n+1=b(a+1+b)+(1)niab(a+1+b)(1)nia\left(\frac{\sqrt{a(a+1+b)}+i\sqrt{b}}{\sqrt{a(a+1+b)}-i\sqrt{b}}\right)^{2n+1}=\frac{\sqrt{b(a+1+b)}+(-1)^{n}i\sqrt{a}}{\sqrt{b(a+1+b)}-(-1)^{n}i\sqrt{a}} (163)

The first four boundary curves are given by:

0\displaystyle 0 =\displaystyle= ba,\displaystyle b-a, (164)
0\displaystyle 0 =\displaystyle= 3abb+a2+a,\displaystyle 3ab-b+a^{2}+a, (165)
0\displaystyle 0 =\displaystyle= 3ab2b2+2ba2+6aba3a2,\displaystyle 3ab^{2}-b^{2}+2ba^{2}+6ab-a^{3}-a^{2}, (166)
0\displaystyle 0 =\displaystyle= 5a2b210ab2+b2+6ba36ab+a4+2a3+a2.\displaystyle 5a^{2}b^{2}-10ab^{2}+b^{2}+6ba^{3}-6ab+a^{4}+2a^{3}+a^{2}. (167)

These curves are, respectively, linear, quadratic, cubic, and quartic. Because the (32)n(32)^{n} and (2)(32)n(2)(32)^{n} processes share boundary curves, the allowed regions are contiguous and non-overlapping. Furthermore, the asymptotes, having the basic form a=tan2(π/(2(2m+1))),a=\tan^{2}(\pi/(2(2m+1))), approach a=0a=0 in the limit as nn approaches ,\infty, and so the entire aba-b plane above the line b=ab=a is covered by allowed regions for processes of these types. The allowed regions for (32), (232), and (3232) are given in figure 3.

Figure 3: The pairs of curves which, going from right to left, give the allowed regions for (32), (232), (3232) and higher order processes.
Refer to caption

Starting at the a-axis and going counterclockwise, the figure shows curves C1C_{1}, C2C_{2}, C3C_{3} and C4C_{4}. In the figure we can see that the pair C1C_{1} and C2C_{2} as well as the pair C3C_{3} and C4C_{4} have the same slope at the origin. Also C2C_{2} and C3C_{3} have the same asymptote. It is not difficult to show from Eqs. 162 and 163 that, in general, C2n+1C_{2n+1} and C2n+2C_{2n+2} have the same slope at the origin and C2nC_{2n} and C2n+1C_{2n+1} share an asymptote.

A couple of examples of (2)(32)n type processes were mentioned in the introduction. These and one other example are given in more detail now. The capture of a proton from protonium by a muon is a (232) process:

μ+(pp¯)(μp)+p¯.\mu+(p\overline{p})\rightarrow(\mu p)+\overline{p}. (168)

The muon is particle 1, the proton is particle 2 and the antiproton is particle 3. The scattering angle can be shown to be 2.72 rad. The process Na + I2{}_{2}\rightarrow NaI + I is a molecular example of (232) which has scattering angle 1.09 rad. The capture of a proton from muonic hydrogen by an electron: e+(μp)H+μe+(\mu p)\rightarrow H+\mu is an example of a higher order process, (2)(32)10, with scattering angle 1.09 rad (the same as the previous angle only to three significant figures). The time reversed process, H+μe+(μp)H+\mu\rightarrow e+(\mu p) is more interesting because it is a process in which muonic hydrogen is created. It is a (21)10(2) process with scattering angle 59 mrad.

III.4 Collisions of type (21)n(21)^{n} or (21)n(2)(21)^{n}(2)

We know that at the beginning of a capture process, 2 and 3 have zero relative velocity and at the end, 1 and 2 have zero relative velocity. If we examine a given process under time reversal, we see that, initially, 1 and 2 have zero relative velocity and, finally, 2 and 3 have zero velocity. If the particle labels “1” and “3” are exchanged, one has a new capture process. If this time reversal and label exchange is done to the process (32)n,(32)^{n}, what results is (21)n(21)^{n} and when it is done to (2)(32)n,(2)(32)^{n}, what results is (21)n(2).(21)^{n}(2). This means that if (32)n(32)^{n} or (2)(32)n(2)(32)^{n} is allowed for a point (a,b)=(a0,b0),(a,b)=(a_{0},b_{0}), then (21)n(21)^{n} or (21)n(2),(21)^{n}(2), resp., is allowed for the point (a,b)=(b0,a0).(a,b)=(b_{0},a_{0}). Therefore the allowed regions for these processes may be generated by reflecting the previously determined regions about the line b=a.b=a.

III.5 Collisions of type (31)n(31)^{n}

The (31)n(31)^{n} problem is much simpler than the processes previously considered because, as will be shown, each collision has the same scattering angle. Because of this there will be only two variables to solve for as opposed to the three in the above problem. Since 2 is involved in each collision, we work in its frame. The scattering matrices are:

S1=(1b(x1)/(1+b)0x)S3=(y0a(y1)/(1+a)1)S_{1}=\left(\begin{array}[]{cc}1&b(x-1)/(1+b)\\ 0&x\end{array}\right)\mbox{, }S_{3}=\left(\begin{array}[]{cc}y&0\\ a(y-1)/(1+a)&1\end{array}\right) (169)

The condition which determines the relation between the first two scattering angles is that the second collision (between 3 and 2) reverse particle 1’s velocity so that it can collide with 2. Or in the case of (31)(31), 1’s velocity is not reversed but made zero. In the frame of 2, the initial velocity is (10)T,\left(\begin{array}[]{cc}1&0\end{array}\right)^{T}, the velocity following the first collision is: (xa(x1)/(1+a))T,\left(\begin{array}[]{cc}x&a(x-1)/(1+a)\end{array}\right)^{T}, and the final velocity is:

(x+ab(x1)(y1)/(1+a)/(1+b)ay(x1)/(1+a)).\left(\begin{array}[]{c}x+ab(x-1)(y-1)/(1+a)/(1+b)\\ ay(x-1)/(1+a)\end{array}\right). (170)

Before the second collision, 1 has velocity xx and following that collision, it has velocity x+ab(x1)(y1)/(1+a)/(1+b)x+ab(x-1)(y-1)/(1+a)/(1+b) so if 1’s velocity is to be reversed or brought to zero, xx and (x1)(y1)(x-1)(y-1) must have opposite phase. The phase of the former is α\alpha and that of the latter is β/2+α/2+π,\beta/2+\alpha/2+\pi, so the first and second scattering angles are equal. This is demonstrated for the case n=1n=1 by Bittensky, through a geometrical argument ref2 . We can therefore find the total scattering matrix simply by exponentiating M=S1α/πS3α/π.M=S_{1}^{\alpha/\pi}S_{3}^{\alpha/\pi}. M, given by:

M=(x+ab(x1)2/(a+1)/(b+1)b(x1)/(1+b)ax(x1)/(1+a)x)M=\left(\begin{array}[]{cc}x+ab(x-1)^{2}/(a+1)/(b+1)&b(x-1)/(1+b)\\ ax(x-1)/(1+a)&x\end{array}\right) (171)

has determinant x2x^{2} and trace 2x+ab(x1)2/(a+1)/(b+1).2x+ab(x-1)^{2}/(a+1)/(b+1). As before, we express the eigenvalues as ϵ+=xg\epsilon_{+}=xg and ϵ=x/g,\epsilon_{-}=x/g, with g=exp(iθ)g=\exp(i\theta) so that

cos(θ)=1+ab(a+1)(b+1)((x1)22x).\cos(\theta)=1+\frac{ab}{(a+1)(b+1)}\left(\frac{(x-1)^{2}}{2x}\right). (172)

The projection operators are:

P+\displaystyle P_{+} =\displaystyle= MϵIϵ+ϵ\displaystyle\frac{M-\epsilon_{-}I}{\epsilon_{+}-\epsilon_{-}} (173)
P\displaystyle P_{-} =\displaystyle= Mϵ+Iϵϵ+.\displaystyle\frac{M-\epsilon_{+}I}{\epsilon_{-}-\epsilon_{+}}. (174)

Using these expressions and the above for ϵ+\epsilon_{+} and ϵ,\epsilon_{-}, we find that

Mn\displaystyle M^{n} =\displaystyle= ϵ+P++ϵP\displaystyle\epsilon_{+}P_{+}+\epsilon_{-}P_{-} (175)
=\displaystyle= xn1sin(θ)(sin(nθ)Mxsin((n1)θ)I)\displaystyle\frac{x^{n-1}}{\sin(\theta)}(\sin(n\theta)M-x\sin((n-1)\theta)I) (176)

The process is completed when 1 has zero velocity so the condition for capture is:

(10)Mn(10)=0\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)M^{n}\left(\begin{array}[]{c}1\\ 0\end{array}\right)=0 \displaystyle\Rightarrow (180)
xsin((n1)θ)/sin(nθ)\displaystyle x\sin((n-1)\theta)/\sin(n\theta) =\displaystyle= (10)M(10)\displaystyle\left(\begin{array}[]{cc}1&0\end{array}\right)M\left(\begin{array}[]{c}1\\ 0\end{array}\right) (184)
=\displaystyle= x+ab(x1)2/(a+1)/(b+1).\displaystyle x+ab(x-1)^{2}/(a+1)/(b+1). (185)

When this equation is combined with the definition of cos(θ),\cos(\theta), the simple result:
sin((n+1)θ)=sin(nθ),\sin((n+1)\theta)=\sin(n\theta), emerges. Aside from the trivial solution θ=0,\theta=0, which corresponds to no collisions at all, there are n solutions:

θ=(2m+1)π/(2n+1),m=0,1,2,,n\theta=(2m+1)\pi/(2n+1),m=0,1,2,\ldots,n (186)

The allowed region is now readily found by insisting that α\alpha be real, which is to say, 1cos(α)1.-1\leq\cos(\alpha)\leq 1. If we solve Eq. (172) for cos(α)\cos(\alpha) and insist that it be real and between -1 and 1, we are left with:

1+a+babcot2(θ/2).1+a+b\leq ab\cot^{2}(\theta/2). (187)

From this equation, it follows that θ\theta cannot be π\pi for that would yield the condition: 1+a+b0.1+a+b\leq 0. However, the remaining nn possible choices for θ\theta yield allowed regions which are bounded by the hyperbola: 1+a+b=cot2(θ/2).1+a+b=\cot^{2}(\theta/2). The hyperbola is symmetric about a=ba=b and has asymptotes at a=tan2(θ/2)a=\tan^{2}(\theta/2) and b=tan2(θ/2).b=\tan^{2}(\theta/2). For example, if n=1, we are dealing with (32) which is the symmetric curve of the Lieber diagram. In that case, θ=π/3\theta=\pi/3 and our analysis gives the allowed region described by: 3abab10.3ab-a-b-1\geq 0. To ascertain which θ\theta is the physical one, we insist that the time duration between collisions are all positive. The formulas for the time ratios here are:

t2j/t2j1\displaystyle t_{2j}/t_{2j-1} =\displaystyle= cos((j1/2)θ)/cos((j+1/2)θ) and\displaystyle-\cos((j-1/2)\theta)/\cos((j+1/2)\theta)\mbox{ and} (188)
t2j+1/t2j\displaystyle t_{2j+1}/t_{2j} =\displaystyle= sin(jθ)/sin((j+1)θ).\displaystyle-\sin(j\theta)/\sin((j+1)\theta). (189)

These must be nonnegative for jn1,j\leq n-1, which requirement holds only for (n1)π/nθπ.(n-1)\pi/n\leq\theta\leq\pi. The only suitable θ\theta from Eq. (186) is (2n1)π/(2n+1)(2n-1)\pi/(2n+1) and so the allowed region for (31)n(31)^{n} is given by abcot2((2n1)π/(2(2n+1)))ab10.ab\cot^{2}((2n-1)\pi/(2(2n+1)))-a-b-1\geq 0. That is, it lies to the right of the right branch of the hyperbola given by:

abcot2((2n1)π2(2n+1))ab1=0.ab\cot^{2}\left(\frac{(2n-1)\pi}{2(2n+1)}\right)-a-b-1=0. (190)

IV Conclusions

We have shown that there exist regions in the Lieber diagram for which the processes (2)(32)n,(2)(32)^{n}, (32)n,(32)^{n}, (21)n,(21)^{n}, (21)n(2)(21)^{n}(2) and (31)n(31)^{n} can occur classically and that, except for the last type, these regions are non-overlapping. If mass ratios are chosen in figure 3 which lie in the forbidden region, there is a unique process whereby particle 1 can capture particle 2. (The forbidden region excludes processes of the fifth type.)

Appendix A Proof of Lemma 1

We will first demonstrate the impossibility of the sequence (2312). In what follows, the respective velocities of 1, 2 and 3 will be given in column vector form with v\vec{v} representing the three velocities and r\vec{r} representing the three positions. Let the velocities and positions for 1, 2 and 3 immediately after the first collision be

v=(0vweiα) and r=(0r0).\vec{v}=\left(\begin{array}[]{c}0\\ v\\ we^{i\alpha}\end{array}\right)\hskip 28.45274pt\mbox{ and }\hskip 28.45274pt\vec{r}=\left(\begin{array}[]{c}0\\ -r\\ 0\end{array}\right). (191)

The quantities vv, ww, and rr are positive reals and α\alpha is a real angle. We are working in the reference frame of particle 1.

In sequences of the form (232), the scattering angle of the second collision is given by θ=π+2α\theta=\pi+2\alpha and in sequences of the form (231), the scattering angle is given by θ=α+sin1((sinα)/a)\theta=\alpha+\sin^{-1}((\sin\alpha)/a).

The time until the next collision is given by t1=r/vt_{1}=r/v. At the end of this interval, the positions are:

r=(00rweiα/v).\vec{r}=\left(\begin{array}[]{c}0\\ 0\\ rwe^{i\alpha}/v\end{array}\right). (192)

Let the scattering angle of the second collision be θ\theta. Then after that collision the velocities are given by

v=(v(1eiθ)/(1+a)v(1+aeiθ)/(1+a)weiα).\vec{v}=\left(\begin{array}[]{c}v(1-e^{i\theta})/(1+a)\\ v(1+ae^{i\theta})/(1+a)\\ we^{i\alpha}\end{array}\right). (193)

or in the reference frame of 2:

v=(veiθ0weiαv(1+aeiθ)/(1+a)).\vec{v}=\left(\begin{array}[]{c}-ve^{i\theta}\\ 0\\ we^{i\alpha}-v(1+ae^{i\theta})/(1+a)\end{array}\right). (194)

The time until the third collision is given by

t2=rweiα/v(1+aeiθ)v/(1+a)weiα.t_{2}=\frac{rwe^{i\alpha}/v}{(1+ae^{i\theta})v/(1+a)-we^{i\alpha}}. (195)

In order for t2t_{2} to be real and positive, (1+aeiθ)v/(1+a)(1+ae^{i\theta})v/(1+a) must have the same phase as and be greater in magnitude than weiαwe^{i\alpha}. Assuming this to be the case, t2t_{2} can be expressed as:

t2=rw/v(1+2acos(θ)+a2)v/(1+a)w.t_{2}=\frac{rw/v}{(\sqrt{1+2a\cos(\theta)+a^{2}})v/(1+a)-w}. (196)

At the end of this interval the positions are

r=(veiθt200).\vec{r}=\left(\begin{array}[]{c}-ve^{i\theta}t_{2}\\ 0\\ 0\end{array}\right). (197)

Let the third collision have scattering angle ϕ\phi. Then after the third collision the velocities are given by

v=(veiθb(1eiϕ)(weiα(1+a)v(1+aeiθ))/(1+a)(1+b)(b+eiϕ)(weiα(1+a)v(1+aeiθ))/(1+a)(1+b)).\vec{v}=\left(\begin{array}[]{c}-ve^{i\theta}\\ b(1-e^{i\phi})(we^{i\alpha}(1+a)-v(1+ae^{i\theta}))/(1+a)(1+b)\\ (b+e^{i\phi})(we^{i\alpha}(1+a)-v(1+ae^{i\theta}))/(1+a)(1+b)\end{array}\right). (198)

The time until the fourth collision is given by

t3=veiθt2(b+eiϕ)(weiα(1+a)v(1+aeiθ))/(1+a)(1+b)+veiθ.t_{3}=-\frac{ve^{i\theta}t_{2}}{(b+e^{i\phi})(we^{i\alpha}(1+a)-v(1+ae^{i\theta}))/(1+a)(1+b)+ve^{i\theta}}. (199)

In order for t3t_{3} to be positive, (b+eiϕ)(weiα(1+a)v(1+aeiθ))/(1+a)(1+b)(b+e^{i\phi})(we^{i\alpha}(1+a)-v(1+ae^{i\theta}))/(1+a)(1+b) must have the same phase as and be greater in magnitude than veiθ-ve^{i\theta}. The magnitude of the former is b2+2bcosϕ+1(va2+2acosθ+1/(1+a)w)/(1+b)\sqrt{b^{2}+2b\cos{\phi}+1}(v\sqrt{a^{2}+2a\cos{\theta}+1}/(1+a)-w)/(1+b). The factor va2+2acosθ+1/(1+a)wv\sqrt{a^{2}+2a\cos{\theta}+1}/(1+a)-w has a value less than vv and the factor b2+2bcosϕ+1/(1+b)\sqrt{b^{2}+2b\cos{\phi}+1}/(1+b) is less than 11 so the condition for the third time interval to be positive cannot be met. Therefore the proposed collision sequence is impossible.

We will next demonstrate the impossibility of processes of the form (32313).

Immediately after the first collision, in the frame of 1, 2 is moving away from 1 and 3 is moving toward 1. Let the velocity of 3 be ww and the velocity of 2 be vexp(iα).v\exp(i\alpha). We view the next collision, (2), in the frame of particle 1. After the collision (2), 2 needs to have its velocity shifted by a phase of π\pi so that it changes from an outgoing particle to an ingoing particle. The collision matrix for collision (2) is:

(12ba+bsin(θ/2)exp[i(θ+π)/2]0exp(iθ))\left(\begin{array}[]{cc}1&\frac{2b}{a+b}\sin(\theta/2)\exp[i(\theta+\pi)/2]\\ 0&\exp(i\theta)\end{array}\right) (200)

Before the second collision, the velocities of 2 and 3 are (vexp(iα),w)T(v\exp(i\alpha),w)^{T}. If we apply the above matrix to this vector, we find the velocities after the second collision:

(vexp(iα)+2bwsin(θ/2)exp[i(θ+π)/2]/(a+b),wexp(iθ))T.(v\exp(i\alpha)+2bw\sin(\theta/2)\exp[i(\theta+\pi)/2]/(a+b),w\exp(i\theta))^{T}. (201)

As mentioned, we need to have the velocity of 2 shifted by a phase of π\pi. This requires that the term 2bwsin(θ/2)exp[i(θ+π)/2]/(a+b)2bw\sin(\theta/2)\exp[i(\theta+\pi)/2]/(a+b) have opposite phase from vexp(iα)v\exp(i\alpha) and be larger in magnitude than vv. For the phase of the correction term to be right, we need θ=2α+π\theta=2\alpha+\pi. Plugging this into Eq. 201 gives the velocities as:

((v2bwcosα/(a+b))exp(iα),wexp(2iα))T((v-2bw\cos\alpha/(a+b))\exp(i\alpha),-w\exp(2i\alpha))^{T} (202)

and for the velocity of particle 2 to be turned around, we need:

v<2bwcosαa+b.v<\frac{2bw\cos\alpha}{a+b}. (203)

We will analyze the third collision by working in the frame of 1 before the collision and by working in the frame of 2 after the collision. That way, before the collision, 3 is moving away from 1 and 2 is moving toward 1 and after the collision, 1 is moving away from 2 and 3 is moving toward 2. At the moment of the third collision, 2 replaces 1 at the origin. Thus before the collision, 3 is moving away from the origin and after the collision it is moving toward the origin. So we need the collision to change the phase of particle 3 by π\pi. The matrix for collision (3) in which we work in the frame of 1 before the collision and the frame of 2 after the collision is:

(exp(iϕ)0(1+aexp(iϕ))/(1+a)1).\left(\begin{array}[]{cc}-\exp(i\phi)&0\\ -(1+a\exp(i\phi))/(1+a)&1\end{array}\right). (204)

Before the the third collision, the velocities of 2 and 3 are :

exp(iα)((v2bwcosα/(a+b)),wexp(iα))T\exp(i\alpha)((v-2bw\cos\alpha/(a+b)),-w\exp(i\alpha))^{T} (205)

which may also be written as:

exp(iα)(v,wexp(iα))T-\exp(i\alpha)(v^{\prime},w\exp(i\alpha))^{T} (206)

where vv^{\prime} is a positive number. From the matrix 204, the velocity of 3 after the collision is exp(iα)(wexp(iα)(1+aexp(iϕ))v/(1+a))-\exp(i\alpha)(w\exp(i\alpha)-(1+a\exp(i\phi))v^{\prime}/(1+a)) the phase of which must differ from that of wexp(iα)w\exp(i\alpha) by π\pi. This requires that (1+aexp(iϕ))v/(1+a)(1+a\exp(i\phi))v^{\prime}/(1+a) must have the same phase as and be greater in magnitude than wexp(iα)w\exp(i\alpha). For the latter to have the same phase as the former, we need

ϕ=α+sin1(sinαa).\phi=\alpha+\sin^{-1}\left(\frac{\sin\alpha}{a}\right). (207)

If the above value for ϕ\phi is used, the magnitude of (1+aexp(iϕ))v/(1+a)(1+a\exp(i\phi))v^{\prime}/(1+a) can be shown to be (cosα+a2sin2α)v/(1+a)(\cos\alpha+\sqrt{a^{2}-\sin^{2}\alpha})v^{\prime}/(1+a). Since this must be greater than ww, the condition for the fourth collision is:

[2bwcosαa+bv](cosα+a2sin2α)1+a>w\left[\frac{2bw\cos\alpha}{a+b}-v\right]\frac{(\cos\alpha+\sqrt{a^{2}-\sin^{2}\alpha})}{1+a}>w (208)

After the third collision, in the reference frame of 2, the velocities of 1 and 3 are:

exp(2iα)(v(a2sin2α+isinα)/a,w(cosα+a2sin2α)v/(1+a))T.-\exp(2i\alpha)(-v^{\prime}(\sqrt{a^{2}-\sin^{2}\alpha}+i\sin\alpha)/a,w-(\cos\alpha+\sqrt{a^{2}-\sin^{2}\alpha})v^{\prime}/(1+a))^{T}. (209)

or

exp(2iα)(vexp(i(ϕα)),w)T-\exp(2i\alpha)(-v^{\prime}\exp(i(\phi-\alpha)),-w^{\prime})^{T} (210)

where ww^{\prime} is a positive number. We can analyze the fourth collision in the reference frame of particle 2. Before the fourth collision, 1 is moving away from 2 and after, 1 is moving toward 2. Thus the fourth collision must change the phase of the velocity of 1 by π\pi. The matrix which mediates this collision is:

(12bexp[i(ψ+π)/2]sin(ψ/2)/(1+b)0exp(iψ)).\left(\begin{array}[]{cc}1&2b\exp[i(\psi+\pi)/2]\sin(\psi/2)/(1+b)\\ 0&\exp(i\psi)\end{array}\right). (211)

Before the fourth collision, the phase of the velocity of 1 minus the phase of the velocity of 3 is ϕα\phi-\alpha. Thus the scattering angle of the fourth collision must be 2(ϕα)+π2(\phi-\alpha)+\pi and the matrix may be rewritten as:

(12bexp[i(ϕα)]cos(ϕα)/(1+b)0exp(2i(ϕα))).\left(\begin{array}[]{cc}1&-2b\exp[i(\phi-\alpha)]\cos(\phi-\alpha)/(1+b)\\ 0&-\exp(2i(\phi-\alpha))\end{array}\right). (212)

The velocity of 1 after the fourth collision may be written as:

exp(2iα)(vexp(i(ϕα))+2bwexp[i(ϕα)]cos(ϕα)/(1+b))-\exp(2i\alpha)(-v^{\prime}\exp(i(\phi-\alpha))+2bw^{\prime}\exp[i(\phi-\alpha)]\cos(\phi-\alpha)/(1+b)) (213)

or exp(i(ϕ+α))(v2bwcos(ϕα)/(1+b))\exp(i(\phi+\alpha))(v^{\prime}-2bw^{\prime}\cos(\phi-\alpha)/(1+b)) whereas before it was exp(i(ϕ+α))v\exp(i(\phi+\alpha))v^{\prime}. Thus the condition for the fifth collision is:

2bwcos(ϕα)/(1+b)>v2bw^{\prime}\cos(\phi-\alpha)/(1+b)>v^{\prime} (214)

which can be written in full as:

b1+b[w+(2bwcosαa+bv)(cosα+a2sin2α)1+a]2a2sin2αa>2bwcosαa+bv.\frac{b}{1+b}\left[-w+\left(\frac{2bw\cos\alpha}{a+b}-v\right)\frac{(\cos\alpha+\sqrt{a^{2}-\sin^{2}\alpha})}{1+a}\right]\frac{2\sqrt{a^{2}-\sin^{2}\alpha}}{a}>\frac{2bw\cos\alpha}{a+b}-v. (215)

The factors (a2sin2α)/a(\sqrt{a^{2}-\sin^{2}\alpha})/a and (cosα+a2sin2α)/(1+a)(\cos\alpha+\sqrt{a^{2}-\sin^{2}\alpha})/(1+a) are less than or equal to 1 so we can replace them with 1 and the inequality for the fifth condition remains true:

2b1+b(2bwcosαa+bvw)>2bwcosαa+bv.\frac{2b}{1+b}\left(\frac{2bw\cos\alpha}{a+b}-v-w\right)>\frac{2bw\cos\alpha}{a+b}-v. (216)

The following sequence of algebraic manipulations demonstrates the impossibility of the sequence (32313):

2b1+b(2bwcosαa+bvw)>2bwcosαa+bv\displaystyle\frac{2b}{1+b}\left(\frac{2bw\cos\alpha}{a+b}-v-w\right)>\frac{2bw\cos\alpha}{a+b}-v (217)
\displaystyle\Rightarrow 2bwcosαa+b(b1b+1)>(b1b+1)v+2bw1+b\displaystyle\frac{2bw\cos\alpha}{a+b}\left(\frac{b-1}{b+1}\right)>\left(\frac{b-1}{b+1}\right)v+\frac{2bw}{1+b} (218)
\displaystyle\Rightarrow 2bw1+b[(b1)cosαa+b1]>(b1b+1)v>0\displaystyle\frac{2bw}{1+b}\left[\frac{(b-1)\cos\alpha}{a+b}-1\right]>\left(\frac{b-1}{b+1}\right)v>0 (219)
\displaystyle\Rightarrow (b1)cosα>a+b\displaystyle(b-1)\cos\alpha>a+b (220)

which is a contradiction.

Appendix B Proof of Lemma 2

Suppose particles 1 and 2 collide and that before the collision, the velocities of 2 and 3 are p=p0exp(iϕ)p=p_{0}\exp(i\phi) and q=q0exp(iψ).q=q_{0}\exp(i\psi). Then after the collision, their velocities, pp^{\prime} and q,q^{\prime}, are given by:

(pq)=(x0(x1)/(a+1)1)(pq)=(xpq+p(x1)/(a+1))\left(\begin{array}[]{c}p^{\prime}\\ q^{\prime}\end{array}\right)=\left(\begin{array}[]{cc}x&0\\ (x-1)/(a+1)&1\end{array}\right)\left(\begin{array}[]{c}p\\ q\end{array}\right)=\left(\begin{array}[]{c}xp\\ q+p(x-1)/(a+1)\end{array}\right) (221)

After 1 and 2 collide, 1 and 3 must collide if we are considering a process of the form (32)n(32)^{n} or (2)(32)n.(2)(32)^{n}. Now if the previous collision between 1 and 2 was preceded by one between 1 and 3, 3 is moving radially away from 1 at the moment of the collision between 1 and 2. So for another collision to occur between 1 and 3, the velocity of 3 after the collision, q=q+p(x1)/(a+1),q^{\prime}=q+p(x-1)/(a+1), must be directed toward the origin and so be antiparallel to its velocity before the collision, q.q. But if qq and q+p(x1)/(a+1)q+p(x-1)/(a+1) are antiparallel, the same is true of qq and p(x1)/(a+1).p(x-1)/(a+1). The phase of xx is α\alpha and by a trigonometric identity, the phase of x1x-1 is (α+π)/2.(\alpha+\pi)/2. Therefore, for qq and p(x1)/(a+1)p(x-1)/(a+1) to be antiparallel, we need:

ψ+π=ϕ+(α+π)/2\displaystyle\psi+\pi=\phi+(\alpha+\pi)/2 \displaystyle\Rightarrow (222)
α=2(ψϕ)+π\displaystyle\alpha=2(\psi-\phi)+\pi (223)

The above derivation was for the required scattering angle of a collision between 1 and 2 in order for a collision between 1 and 3 to follow. But since the final result is independent of any mass ratios, it also works for the case of a collision between 1 and 3. However for that case, by ϕ\phi we mean the angle of incidence of particle 3 and by ψ\psi we mean the initial angle of 2’s velocity.

Following the collision between 1 and 2 described above, the phase of 2’s velocity is: ψ=ϕ+α=2ψϕ+π\psi^{\prime}=\phi+\alpha=2\psi-\phi+\pi and the phase of 3’s is ϕ=ψ+π.\phi^{\prime}=\psi+\pi. Now if these are plugged into the formula for scattering angle, we obtain:

α=2(ψϕ)+π=2(ψϕ)+π=α.\alpha^{\prime}=2(\psi^{\prime}-\phi^{\prime})+\pi=2(\psi-\phi)+\pi=\alpha. (224)

This means that if four collisions occur in a row (either (2323) or (3232)) the second and third scattering angles are equal. The first and fourth collisions are required because the collisions discussed above were assumed to be preceded and followed by collisions. Processes which lead to capture leave 1 and 2 with the same velocity. Two particles with the same velocity may be said to collide after an infinite time so the process concludes with a virtual collision (3). Since this may be counted as the fourth collision, all collisions have the same scattering angle with the exception of the first.

References

  • (1) A brief but up-to-date review may be found in J.H. McGuire, J.C. Straton, and T. Ishihara, in Atomic, Molecular and Optical Handbook, 2nd Ed., G.W.F. Drake, Editor (Springer, New York, 2006). More extensive reviews are in Refs. [2-4] and in several monographs on atomic collisions.
  • (2) R. Shakeshaft and L. Spruch, Rev. Mod. Phys., 51, 369 (1979)
  • (3) K. Dettmann, in Springer Tracts in Modern Physics, vol. 58 (Springer, Berlin, 1971). See also K. Dettmann and G. Leibfried, Z. Physik, 210, 43 (1968)
  • (4) Robert A. Mapleton, Theory of Charge Exchange (Wiley-Interscience, NY, 1972)
  • (5) L. H. Thomas, Proc. Roy. Soc. A 114, 561 (1927)
  • (6) E. Rutherford, Phil. Mag. 47, 276 (1924); G.H. Henderson, Proc. Roy. Soc. A 109, 157 (1925)
  • (7) M. Lieber (unpublished), but see Ref. [1] above
  • (8) An alternative approach to the kinematics is given in I.S. Bitensky, Am. J. Phys. 66, 624 (1998), which is based on the work of Yu.N. Demkov and F.F. Karpeshin, J. Phys. B: At. Mol. Opt. Phys. 22, L83 (1989). The latter paper has a diagram related to the Lieber diagram used here.
  • (9) R. M. Drisko, Thesis (Carnegie Institute of Technology, 1955) (unpublished)
  • (10) H. Vogt, et al., Phys. Rev Lett. 57, 2256 (1986)
  • (11) E. Horsdal-Pedersen, et al. Phys Rev. Lett. (50), 1910 (1983).
  • (12) C.J. Cook, et al., J. Chem. Phys. (63), 1218 (1975), and references cited therein.
  • (13) J.H.Carter and M.Lieber, Am. J. Phys. 166, 758 (2007).