Complex Trajectories in a Classical Periodic Potential
Abstract
This paper examines the complex trajectories of a classical particle in the potential . Almost all the trajectories describe a particle that hops from one well to another in an erratic fashion. However, it is shown analytically that there are two special classes of trajectories determined only by the energy of the particle and not by the initial position of the particle. The first class consists of periodic trajectories; that is, trajectories that return to their initial position after some real time . The second class consists of trajectories for which there exists a real time such that . These two classes of classical trajectories are analogous to valence and conduction bands in quantum mechanics, where the quantum particle either remains localized or else tunnels resonantly (conducts) through a crystal lattice. These two special types of trajectories are associated with sets of energies of measure 0. For other energies, it is shown that for long times the average velocity of the particle becomes a fractallike function of energy.
pacs:
11.30.Er, 02.30.Em, 03.65.w&pdflatex
I Introduction
Recently, there has been a substantial research effort whose aim is to extend classical mechanics into the complex domain r1 (); r2 (); r3 (). Intriguing analogies with quantum mechanics emerge when conventional classical mechanics is generalized to complex classical mechanics. For instance, complex trajectories of particles under the influence of doublewell potentials display tunnelinglike behavior when the classical particle has complex energy r4 (); r5 ().
In previous work, complex trajectories in periodic potentials were studied numerically r6 (). These numerical investigations identified two types of motion for a complex classical particle in a periodic potential and found a striking analogy with the behavior of a quantum particle in a periodic potential. Under the influence of the potential , a classical particle having complex energy appears either to remain localized or to move in one direction from site to site r6 (). These types of motion are analogous to the valenceband and the conductionband behavior of a quantum particle in a periodic potential.
A recent paper showed that the complex classical equations of motion for a quartic potential can be solved analytically in terms of doubly periodic elliptic functions r7 (). This paper uses a similar procedure to study analytically the classical motion of a particle in the potential . The analytic solution allows us reexamine the cosine potential, which until now was only examined numerically. In agreement with earlier research, our analysis in this paper leads us to conclude that there exist two special sets of energies that give rise to these two kinds of classical behavior, and for these energies we find that this classical behavior does not depend on the initial position of the particle. For energies in the first set the classical trajectories are periodic; that is, they satisfy for some real . Energies from the second set give quasiperiodic trajectories with the property that there is a real time such that .
However, this work finds a previous claim about the periodic potential to be false. Earlier numerical work suggested that when the trajectory is classified as a function of the energy of the particle, one observes complex energy bands of nonzero thickness, with some bands giving rise to localized motion and others resulting in conducting motion r6 (). This paper shows that this observation of continuous bands of nonzero thickness was an artifact of tracking the motion of the particle for a limited amount of time. While accumulating numerical error tends to limit the time that a trajectory can be followed numerically, our new analytic solution enables us to predict the behavior of a particle for times that are arbitrarily large. We find that as we increase the time that the particle is observed, the behavior of the particle as a function of energy becomes more complicated. As , the average velocity as a function of the energy of the particle converges to a fractallike function that is nonzero for a set of measure zero of energies and zero for all other energies.
The paper is arranged as follows: In Sec. II we derive an analytic solution to the complex classical equations of motion for the periodic potential . Next, in Sec. III we examine the two types of special complex trajectories and describe the sets of complex energies associated with each kind of trajectory. Then, in Sec. IV we show how a simple function of the energy predicts the hopping of the classical particle from well to well. In Sec. V we use our new analytic work to evaluate previous research about the bandlike structure of the complexclassical periodic potential. We also examine the average velocity of the particle as a function of the energy as the observation period tends to infinity. We give some concluding remarks in Sec. VI, and in the Appendix we explain our methods in greater detail.
Ii Analytical Solution for the Periodic Potential
The solution to the equation of motion for complex particle trajectories involves several standard elliptic functions r8 (); r9 (); r10 (). The elliptic integral of the first kind is given by
(1) 
Then, the Jacobi amplitude is defined as the inverse of the elliptic integral of the first kind:
(2) 
The Jacobi amplitude is a pseudoperiodic function with respect to its first argument,
(3) 
for integers and ; is the complete elliptic integral of the first kind.
In terms of these functions, we can solve exactly Hamilton’s equations of motion for a particle in the periodic potential in which the position and momentum of the particle is complex. Hamilton’s equations have one integral of the motion that expresses the conservation of energy. We scale out unnecessary constants to obtain
(4) 
Using a doubleangle trigonometric identity and separating variables, we get
(5) 
We then substitute and :
(6) 
From the definition of the Jacobi amplitude, we can then write
(7) 
where , , and the complex integration constant is determined by the initial position of the particle. This is the general solution because it can incorporate any initial position and velocity.
We emphasize that the constants and are just functions of the energy, while depends on the initial position. Thus, the analytic solution makes it plausible that the type of motion is dependent primarily on the energy and not on the initial position of the particle.
Using the pseudoperiodicity of , we can identify special energies that give rise to periodic or quasiperiodic trajectories. Suppose that the path of a particle is periodic (modulo ) with period . Then for some integers and , we get
(8) 
Because is a real number, we divide by and take the imaginary part to get
(9) 
where and . Observe that the right side of (9) is a function of the energy .
The fact that the ratio depends only on is fundamental to our discussion of the complex trajectories of classical particles. We will show that the trajectories of particles with energies such that is rational give rise to a stable time evolution. We refer to the energies that give rise to this special behavior as classical eigenenergies. We will show that the set of eigenenergies has measure zero in the set of all complex numbers. It is worth noting that if the energy satisfies (9), then we can find by reducing the fraction in (9) to lowest terms to obtain the numbers and . We then substitute these numbers into (8) to solve for . Choosing so that (9) holds guarantees that will be a real number.
This analysis reveals a numerical subtlety. If we use (3), we get . However, when we solve the equations of motion numerically, we find that the solutions come in two types, one for which (even if ) and another for which with (even if ). Evidently, the appearance of these two different kinds of solutions is related to taking the functional inverse of the integral in (6).
Iii Description of Classical Trajectories
This paper focuses on the special periodic and quasiperiodic trajectories of the cosine potential, but it is useful first to examine a typical nonperiodic trajectory. Figure 1 displays such a trajectory beginning at . The particle in this figure hops randomly from site to site without exhibiting any periodic or quasiperiodic behavior.
To gain a heuristic understanding of the behavior of trajectories with energies satisfying (9), we use a numerical approach. We find that when is odd, the trajectories are periodic (see Figs. 2 and 3). When is even, the trajectories satisfy (see Figs. 4 and 5). Thus, our numerical work shows that we must take great care in interpreting the inversion of the integral in (6).
The classical eigenenergies form a special subset of complex energies (of all possible complex energies) and the behavior of the trajectories of particles having these energies is independent of the initial position of the particle at . Had we not determined the motion of the particle analytically, it would have been quite difficult to find energies such that the trajectory obeys .
Let us first suppose that is real. In this case the trajectory is periodic and it is confined to one well if . Even if , where the energy of the particle lies below the bottom of the potential well, the particle loops around a pair of turning points (see r6 ()). If , then the particle moves with an average velocity along the positive or negativereal axis. If , the particle approaches a turning point as .
If we solve (9) for complex for different rational numbers , we can plot the energies in the complex plane (see Fig. 6). Since is a continuous function almost everywhere, the relationship between the set of special energies and the set of all complex energies is the same as the relationship between the set of rational numbers and the set of all real numbers; that is, the set of all special energies is dense in the complex plane, but it is also of measure zero in the complex plane. Observe that there is a singular point in the complex plane at . It is not surprising that corresponds to a singular point because this corresponds to a particle being at the top of the potential wells.
Iv Determining the Periodic Motion from the Ratio
In Ref. r7 () the ratio was used to predict the shape of a complex trajectory. Thus, it is natural to ask the same question here: Using just the ratio , what can we say about the behavior of the trajectories? For example, the particle might move right two wells, left one well, right two wells, left one well, and so on. We will show that the pattern of wells the particle visits is an easily calculated function of the energy.
We consider a specific example in order to demonstrate how to determine the pattern of motion from the ratio. In Fig. 7 we record the motion of a particle with ratio and as follows: We write if the particle continues moving in the same direction at a red dot and write if the particle changes directions at a red dot. (We begin by assuming that is small because the pattern of hopping from well to well is easiest to understand.) Then the pattern is
(10) 
Note that there is a pair of minuses, a plus, a pair of minuses, a , a pair of minuses, a , three minuses, a plus, and then the pattern repeats. Our goal is to predict this pattern of plus and minus signs using just the ratio .
We define the function
(11) 
where . Then consider the sequence . The first few terms are as follows:
(12) 
If we associate with and with when we comparing (10) and (12), we find that these two sequences match exactly. Numerical work shows that this method of determining the order in which a particle with a particular energy visits the wells works for all energies (see Appendix).
V LongTime Behavior
Having established that we can use the ratio to predict the pattern of particles hopping from well to well, we can then predict the longtime behavior of the classical particle. Whenever a particle closely approaches a boundary between wells, it can either conduct into the next well or it can turn around and stay in the same well. Therefore, we introduce the following measure: Let be the net number of wells to which the particle has moved after close approaches to boundaries between wells divided by n for a particular energy . For example, consider a case in which a particle conducts twice, turns around twice, and the pattern repeats. If the particle is initially in the well and moving in the direction, the state of the particle, from start to finish, would progress as , and so on. This will result in a net displacement of 2 wells in a total of 4 close approaches to the boundaries between wells. So would be in this example.
If we examine for progressively longer times (or equivalently, for more and more times where the particle remains in the same well or conducts into an adjacent well), the graph of becomes more complicated. This procedure produces a fractallike graph where except when the energy is such that is a rational number with an even numerator.
To produce the following graphs we use to calculate the ratio from (9). The details of extending from rational to irrational ratios are discussed in the Appendix. Then from we determine whether or not the particle is going to change direction. Finally, we use this information to calculate , our measure of the motion of the particle.
v.1 The Measure Compared with Previous Research
Using to study the motion of the particles involves detailed numerical observations, so it is helpful to show that the method described in Sec. IV is consistent with previous research on the potential . Consider Fig. 8 (taken from Ref. r6 ()). This plot indicates that there are bands of energies that give rise to delocalized behavior.
If our method is to agree with the research reported in r6 (), then the energies that have X’s in Fig. 8 will have a nonzero value of . For energies that have minuses in Fig. 8, should be near zero. Indeed, Fig. 9 verifies the correspondence between the two methods. We get an almost identical band of energies such that where there were plus signs in Fig. 8 r11 (). In the regions of minuses of Fig. 8, is near zero.
However, as discussed earlier, the dynamics are not as simple as Fig. 8 suggests. When we examine the longtime behavior (that is, when we measure the average displacement for an even longer time), we find that the band fractures into multiple bands as shown in Fig. 10. Yet, even though the band divides into multiple bands, the center of both bands still corresponds to an average displacement of one well for every five close approaches to well boundaries.
As we let approach infinity, the bands continue to divide and we get a fractallike structure. In Fig. 11 we remove the unnecessary dimension of the imaginary part of the energy and just focus on a plot of as a function of where is fixed to be 1. This figure demonstrates how the fractallike nature of develops when becomes large.
v.2 Energy Dependence of LongTime Behavior
We have demonstrated numerically that if [in the sense of (9)] where and are relatively prime, then if is even and if is odd. If is irrational, then . We examine as goes to infinity for such that is irrational. To study we approximate by a suitably close rational number. Our numerical experience shows that if we examine only up to a fixed number of close approaches to boundaries between wells, we can always find such a rational number and corresponding energy that reproduces the behavior demonstrated by and . As we choose better rationalnumber approximations for , we note that the denominators of such approximations approach infinity. Since is either or with becoming arbitrarily large as we choose better rational approximations for , as . Thus, the particle motion is localized in the sense that the average velocity is zero for all but a set of measure zero of energies.
Vi Concluding Remarks
In this paper we have tried to characterize the motion of a complex classical particle in a periodic potential. We have identified interesting trajectories and have described the pattern of jumping from one well to another.
The results presented here are largely consistent with earlier work in which it was observed that in the complex domain classical and quantum mechanics exhibit many similar features. However, we have discovered new and interesting behaviors. Not surprisingly, when we look at the longtime behavior of a dynamical system, we observe fractallike behavior. We have shown that for irrational numbers, the socalled average velocity is zero. However, this does not eliminate the possibility that the displacement grows as a function such as that is much smaller than . It may be that the motion of the particle is chaotic for energies having an irrational ratio. That is, the particle jumps from well to well in a pattern that does not have a welldefined asymptotic behavior. However, because the particle does not coordinate its hops in a particular direction, the average displacement is much less than the number of jumps of the particle.
Acknowledgements.
We thank the U.S. Department of Energy and CMB thanks the Leverhulme Foundation for financial support. The figures in this paper were generated using Mathematica 6.Appendix A Details Concerning the Pattern
a.1 Motivating the Use of to Determine the WellJumping Pattern
Recall the form of the solution for in (7). The function is quasiperiodic in two directions in the complex plane. These periods are and . Note that has the form , where and are complex constants. So, as time evolves, moves through a doubly periodic domain. As a concrete example, consider a ratio of . The choice corresponds to going through periods of and periods of in the time interval . This is shown in Fig. 12.
Now we can interpret the meaning of the function , as defined in (11); is the value of the red line in Fig. 12 for an value of . We can see that is equal to one if the red line crosses a horizontal line between the vertical lines and , and is zero otherwise. That is, if we cross a horizontal line, we have , which corresponds to a [as in Eq. (10)], and a change of direction at a red dot (as in Fig. 7). So, crossing a horizontal line in Fig. 12 should correspond to the particle moving in the opposite direction.
We can verify this analytically. If we move up one period [that is, ], we expect the particle to be moving in the opposite direction. We can use the following ellipticfunction identities to show that there is indeed a change in sign of :
(A1) 
(A2) 
where is a standard elliptic function. Although the details of taking the functional inverse to find the form for are complicated, this calculation helps to explain why the function is relevant to this problem.
a.2 Numerical Justification of the use of the Pattern
Extending from small to any : To identify the hopping pattern we have assumed that the imaginary part of the energy is small so that the boundaries of the wells are relatively well defined (as in Fig. 7). However, extensive numerical work indicates that even if we let the imaginary part of the energy be large, we still obtain the same behavior.
As the imaginary part of the energy increases, two things happen. First, the locations of the wells become less defined. However, the pattern of moving from well to well remains the same, where we define the wells by the intervals , , etc. This can be verified, for example, by plotting as a function of for energies that have a ratio of with (see Fig. 13).
Second, the time between close approaches to the boundaries of the wells changes. However, this change happens slowly. Using the trajectories in Fig. 13, one can also see that the time needed to move from one well to another varies, but even for energies having small imaginary parts, this time does not approach like . For instance, for a ratio of , and , this time is about and for , this time is about 10. This is contrary to previous research that had suggested that the tunneling time is inversely proportional to the imaginary part of the energy.
Extending from with a rational ratio to with an irrational ratio: We have assumed that the energy is such that is rational. However, whether or not is rational is unimportant if we are tracking the particle for a fixed amount of time because the difference between the motion for energies that are close does not show up until a large time . Thus, if we examine the motion of a particle where is irrational up to some fixed time , we can choose an energy such that is rational and such that the two trajectories are practically identical in the time interval for any .
References
 (1) A. Nanayakkara, Czech. J. Phys. 54, 101 (2004) and J. Phys. A: Math. Gen. 37, 4321 (2004).
 (2) C. M. Bender, D. D. Holm, and D. W. Hook, J. Phys. A: Math. Theor. 40, F81 (2007).
 (3) C. M. Bender, D. D. Holm, and D. W. Hook, J. Phys. A: Math. Theor. 40, F793F804 (2007).
 (4) C. M. Bender, D. C. Brody, and D. W. Hook, J. Phys. A: Math. Theor. 41, 352003 (2008).
 (5) C. M. Bender, D. W. Hook, and K. S. Kooner, J. Phys. A: Math. Theor. 43, 165201 (2010).
 (6) T. Arpornthip and C. M. Bender, PramanaJ. Phys. 73, 259 (2009).
 (7) A. G. Anderson, C. M. Bender, and U. I. Morone, Phys. Lett. A 375, 3399 (2011).
 (8) A. J. Brizard, Eur. J. Phys. 30, 729 (2009).
 (9) J. V. Armitage and W. F. Eberlein, Elliptic Functions, London Mathematical Society Student Texts (No. 67), (Cambridge University Press, Cambridge, 2006).

(10)
See http://functions.wolfram.com/EllipticFunctions/JacobiAmplitude
/introductions/JacobiPQs/05/.  (11) The density plots in Figs. 9 and 10 were generated by using Colorbarplot v0.6, which is available at http://www.walkingrandomly.com/?p=2960.