subject
Article\SpecialTopicSPECIAL TOPIC: \YearYear \MonthMonth \Vol66 \No1 \DOI?? \ArtNo000000 \ReceiveDateMonth Day, Year \AcceptDateMonth Day, Year
A pseudoclassical theory for the wavepacket dynamics of the kicked rotor model
Zou Z X
Zou Z X, Wang J
A pseudoclassical theory for the wavepacket dynamics of the kicked rotor model
Abstract
In this study, we propose a generalized pseudoclassical theory for the kicked rotor model in an attempt to discern the footprints of the classical dynamics in the deep quantum regime. Compared with the previous pseudoclassical theory that applies only in the neighborhoods of the lowest two quantum resonances, the proposed theory is applicable in the neighborhoods of all quantum resonances in principle by considering the quantum effect of the free rotation at a quantum resonance. In particular, it is confirmed by simulations that the quantum wavepacket dynamics can be successfully forecasted based on the generalized pseudoclassical dynamics, offering an intriguing example where it is feasible to bridge the dynamics in the deep quantum regime to the classical dynamics. The application of the generalized pseudoclassical theory to the -symmetric kicked rotor is also discussed.
keywords:
Quantum-classical correspondence, Kicked rotor model, Pseudoclassical theory, Wavepacket dynamics05.45.Mt, 03.65.Sq, 03.65.-w
1 Introduction
Quantum-classical correspondence in a general system is the core issue of quantum chaos research or quantum chaology [1]. Based on the quantum-classical correspondence principle, the characteristics of a classically chaotic system are anticipated to manifest themselves in the corresponding quantum system in the semiclassical limit ( is the effective Planck constant). Indeed, after 4 decades of intensive research, the general quantum manifestations of classical chaos, such as spectral statistics and the morphologies of wavefunctions, have been well revealed [2]. However, for quantum systems in the deep quantum regime opposite to the semiclassical limit, thus far, the relation\Authorfootnote
between them and their classical counterparts have not been systematically addressed yet. The question arises: Are there any close connections between the classical chaotic dynamics and the quantum properties in the deep quantum regime? Without the guide of any physical law or principle, the answer is not immediate.
An interesting and illuminating example is the pseudoclassical dynamics [3, 4] found in the kicked rotor model [5], a paradigm of quantum chaos with a free rotor subjected to periodic stroboscopic external kicks. Its properties significantly depend on the dimensionless parameter , where is the kicking period and is the rotational inertia of the rotor. For a general value of , the quantum kicked rotor follows the classical diffusive dynamics first and then the quantum dynamical localization eventually takes over [5, 6]; however, by contrast, for being a rational multiple of , that is, with coprime integers and , a quantum state usually ballistically spreads, which is named as “quantum resonance” [6, 7]. For low-order resonance with a small value, the system is in the deep quantum regime; however, surprisingly, Fishman et al. [3, 4] observed that when is slightly detuned from the resonance condition by a nonzero , the quantum motion can be interpreted according to a certain fictitious classical system that is different from but closely related to the original classical counterpart. The fictitious classical system is named the pseudoclassical system, and the limit is the pseudoclassical limit. This result demonstrates a novel and unconventional aspect of quantum-classical correspondence.
Unfortunately, the so-developed pseudoclassical theory only directly applies near the lowest two resonances, that is, and . When the neighborhood of high-order resonance is considered, because a global pseudoclassical phase-space approximation regarding a unique classical Hamiltonian is impossible, one has to resort to local pseudoclassical approximations of different Hamiltonians related to the quasienergy bands of the considered quantum resonance [8]. Nevertheless, the interaction between the quasienergy bands may ruin the local pseudoclassical approximations to make their predictions invalid [9]. Recently [10], we realized that owing to the periodicity of the phase space, in a system with a spherical or cylindrical phase space, the free rotation of a wavepacket at quantum resonance may lead to the simultaneous presence of multiple wavepackets, in clear contrast to the usual scenario where only one wavepacket is found throughout. Such a wavepacket-multiplying effect is a pure quantum interference effect and has not been considered earlier. Considering this, the pseudoclassical theory may find wide applications when being generalized by considering this effect. This conjecture has been confirmed with the kicked top model [10], another paradigm of quantum chaos with a spherical phase space, which is closely connected with the kicked rotor [11, 12].
The objective of this work is to establish a generalized pseudoclassical theory for the kicked rotor model with a cylindrical phase space with regard to its significant role in quantum chaos research. This attempt is successful again. Based on our theory, for the lowest two resonances of and , the free rotation does not lead to the wavepacket multiplying, and this is why the previous pseudoclassical theory is valid in these two cases. However, for higher-order resonance, particularly that of an odd , the wavepacket multiplying can be shown to occur for certain, and the generalized theory is thus imperative. Our study might be a preliminary but positive attempt to address the quantum-classical correspondence issue in the deep quantum regime.
This article is organized as follows: Sec. II briefly describes the kicked rotor model and discusses in detail the pseudoclassical limit of the wavepacket dynamics. Sec. III compares the quantum evolution of a wavepacket with the prediction of the pseudoclassical theory via numerical simulations, convincingly demonstrating that the latter is effective. Sec. IV presents the extension to the -symmetric kicked rotor and confirmation by numerical simulations. Finally, Sec. V concludes this work.
2 The pseudoclassical limit of the kicked rotor
The Hamiltonian of the kicked rotor is
(1) |
Here, , , and are the rotational inertia, the angular momentum, and the conjugate angular coordinate of the rotor, respectively, whereas and are the kicking period and the dimensionless kicking strength, respectively. The integer parameter is introduced for our aim here, which is unity in the conventional kicked rotor model. The angular coordinate is imposed with a period of , such that the phase space is a cylinder.
For the quantum kicked rotor, it is convenient to adopt the basis of the angular momentum eigenstates, , where is an integer and meets . Because the Hamiltonian is periodic with time , the evolution of the rotor for time can be fulfilled by applying the Floquet operator
(2) |
to its current state just before a kick, where and . As stated in the Introduction, the quantum dynamics depends qualitatively on the fact if is a rational multiple of . The case with coprime integers and corresponds to quantum resonance, and the quantum state usually ballistically spreads. An exception is for and being odd so that , suggesting that the quantum state does not change after time , which is termed as “quantum antiresonance” [7, 13].
When the system is slightly detuned away from a quantum resonance, a pseudoclassical theory has been developed to address the quantum dynamics via a classical map, the so-called pseudoclassical limit [3, 4]. However, this theory only works at the lowest two resonances. In the following of this section, we attempt to extend this theory to the neighborhoods of higher-order resonances with , where (incommensurate to ) is a weak perturbation to the resonance condition. To perform a close comparison between the quantum and the classical dynamics, which is critical to our objective, we invoke the (squeezed) coherent state in the former, with regard to the advantages that the Husimi distribution of a coherent state has the minimum uncertainty in the phase space and its center point in the phase space represents exactly the classical counterpart of the coherent state. For convenience explained later, we use to denote a classical state, or a point in the phase space, with . The expression of the coherent state centered at is
(3) |
where is the normalization factor. When is small, the uncertainty of and is the same, . In the phase space, the Husimi distribution of the coherent state is a Gaussian function centered at . In the limit of , it collapses to the point .
Our task is to determine the one-step evolution for the classical state by analogy according to the corresponding quantum evolution for the coherent state . To this end, note that for , the Floquet operator can be rewritten as
(4) |
where . It includes two parts, i.e., , with and . The former, , represents a pure free rotation, while the latter, , represents kicked rotor dynamics (see Eq. (2)) with and . We thus break our task down into two steps. First, note that in the limit , the quantum operation has a well-defined semiclassical limit. This can be observed more clearly by imagining as a virtual Planck constant so that we can write down the classical Hamiltonian corresponding to as
(5) |
Based on , the classical Poincaré map corresponding to , denoted as , can be derived straightforwardly. To be concrete, in terms of and , the map that evolves the state to reads
(6) |
Note that the phase space portrait created by is periodic in both and of period .
Due to this close relation between the quantum operation and the classical map in the limit of , we assume that
(7) |
as well when is small, which is the only significant approximation we adopt for our theory. Equation (7) is the counterpart of the classical map (see Eq. (6)), and thus, we finish the first step of our task.
Afterward, we need to derive and work out its classical counterpart. The detailed calculation of is given in Appendix A, resulting in
(8) |
where is the Gaussian sum [14]
(9) |
The physical meaning of Eq. (8) is evident: The intermediate coherent state is mapped by into coherent states whose centers are located along the line of in the phase space. They are separated in by (and its multiples) from each other, and each coherent state has an associated complex amplitude given by a Gaussian sum. This is a peculiar characteristic of the quantum rotor at resonance. Note that not all of these coherent states exist necessarily. A coherent state disappears if the associated amplitude disappears. Suppose that there are nonzero amplitudes, Eq. (8) can be rewritten as
(10) |
Here, for the th component coherent state, its amplitude is a nonzero Gaussian sum , and its position bias is associated with the subscript of by mod . Similarly, as in the limit , a coherent state reduces to a point in phase space, Eq. (10) can be interpreted pseudoclassically. That is, the intermediate classical state is mapped by the pseudoclassical counterpart of , denoted as , into a set of states, and each of these is associated with a complex amplitude,
(11) |
This concludes the second step of our task.
Therefore, formally, the pseudoclassical map corresponding to the quantum evolution that we are seeking for, denoted as , can be expressed as , that is,
(12) |
The intermediate state is related to by the map (see Eq. (6)). This is the core result that we have obtained. As shown in the next section, it does allow the prediction of the quantum dynamics in such a pseudoclassical way. Here, we emphasize that the amplitudes are crucial to this end. Specifically, has to be taken as the weight of the th state that it is associated with to assess the expected value of a given observable. In addition, the phases encoded in these amplitudes have to be simultaneously considered to correctly trace the quantum evolution.
Some remarks are in order. First, for the lowest two resonances and , and the amplitude of the only resultant state is unity. In addition, the map reduces to that given by the original pseudoclassical theory [3, 4], which has a seemingly pure classical form. For higher-order resonance, even though the map is substantially more complex, there are no quantum operations and parameters that are explicitly involved. Despite this, the map should be understood as a mix of the quantum and the classical dynamics according to our reasoning for deriving . It might be appropriate to regard the seemingly simple form for the lowest two resonances as a coincidence.
Second, for an odd , all Gaussian sums are nonzero [14] so that ; for an even , it can be shown that half of them must be zero so that (see Appendix B). In either case, the main challenge for the implementation of the pseudoclassical map lies in the rapid proliferation of the involved states when . In general, their number exponentially increases, , as the number of iterations (or the evolving time ). This suggests why quantum dynamics is more complicated from such a novel perspective. Thus, for a general case, it can be hoped that in practice, our pseudoclassical theory only works in a short time to predict quantum evolution, which can be attributed to the intrinsic complexity of quantum dynamics.
Third, however, for the following two cases equipped with an - or -fold translational symmetry in the direction of the phase space, that is,
C1) is odd and
C2) is even and
the proliferation problem can be prevented because from the second iteration on (), two or more states can be mapped into one so that the total number of resultant states remains bounded by in case C1 and by in case C2. Appendix B provides a detailed discussion.
In fact, note that for a general case, and do not commute. However, for case C1, they commute (see Appendix C), demonstrating that the operator for the steps of iteration, , can be split into . As the state proliferation is exclusively caused by , we can conclude that the number of final resultant coherent states cannot surpass for any time . Moreover, the corresponding pseudoclassical map can be expressed as , based on which the computing of the pseudoclassical evolution can be substantially simplified.
In case C2, and do not generally commute. However, and commute, where and (see Appendix C). Consequently, , which has similar implications to case C1.
3 Verification of the pseudoclassical theory
The effectiveness of the pseudoclassical theory is checked by the comparison of its predictions on the wavepacket dynamics and that directly obtained with the quantum Floquet operator. Three representative examples are examined, of which one is for a general case with , , and , where the number of coherent states doubles after every step of iteration. The other two instances, one with , , and and another with , , and , are for cases C1 and C2, respectively, where the proliferation of the coherent states is suppressed. As shown in the following of this section, the pseudoclassical theory effectively works in all three cases.

To conduct a close comparison between the quantum wavepacket evolution and its pseudoclassical counterpart, it is appropriate to visualize the quantum evolution in the phase space with the Husimi distribution [15]. For a given quantum state , at the given point in the phase space, the Husimi distribution is defined as the expectation value of the density matrix with respect to the corresponding coherent state . That is,
(13) |
First, for the first representative example of a general case where , , and , based on Eq. (9), we have two nonzero and as such . The pseudoclassical map is
(14) |
with the complex amplitudes and . In addition, based on Eq. (6), and in this case.

On the quantum aspect, for a given initial coherent state , the state after iterations, , can be numerically determined by repeatedly applying the evolution operator . The contour plot of the corresponding Husimi distribution of for to 3 is presented in Fig. 1, where the wavepacket proliferation owing to quantum resonance can be clearly observed. On the pseudoclassical aspect, using the corresponding initial state , we can acquire states after iterations by the pseudoclassical map. The positions of these states are indicated in Fig. 1 as well. By comparison, we can observe that they can indeed well-capture the skeleton of the quantum state.
In addition to the skeleton, more information on the quantum state is encoded in the complex amplitudes of the pseudoclassical states. To determine if this information is sufficient to forecast the expected value of a given observable, the angular momentum diffusion behavior is considered as an example, quantified by , which is of particular interest in the quantum kicked rotor research. Fig. 2 compares the results by the quantum and the pseudoclassical dynamics. We may expect that in the limit of , the agreement between them should be progressively enhanced, which is well corroborated.
Note that despite its success, as shown in Fig. 1 and Fig. 2, owing to the issue of state proliferation, the implementation of the pseudoclassical theory would be prohibitively costly for a long evolution time. For instance, in the case discussed, the involved states would have reached up to for .
However, for a system that has the translational symmetry in as in cases C1 and C2, the state proliferation challenge can be overcome. As two examples of case C1 and C2, we consider , , and and , , and , respectively.

For the former, and the pseudoclassical map reads as
(15) |
where , , and is generated from according to Eq. (6). This suggests that, after each step, a point will be mapped into three of the same weight but of two different phases.

The results of the Husimi distribution of the quantum state at to 3 and the pseudoclassical map are shown in Fig. 3. It can be observed that at , the initial quantum coherent state is mapped into three, and their centers perfectly overlap with the three resulting pseudoclassical states. At , of the nine expected pseudoclassical states, three pairs cancel each other so that only three survive. This is completely supported by quantum evolution. Finally, at , the three remaining pseudoclassical states merge into one rather than split into nine, successfully further predicting quantum evolution. For the quantum evolution, it can be straightforwardly shown that , suggesting that the number of involved coherent states must reduce to one after every three steps.
For the latter case of , , and , the pseudoclassical map is the same as Eq. (14) but with and instead. As , a point will be mapped into two with the same weight but different phases. Fig. 4 compares the quantum and pseudoclassical dynamics, and good agreement between them is the same as in the previous case. Note that for this case, although , . However, such that , which explains why after every two steps, the number of pseudoclassical states becomes one.
In these two cases, as the state proliferation problem is well suppressed owing to translational symmetry, the pseudoclassical evolution can be conveniently conducted up to a much longer time than in the general case. For these two cases, Figs. 5(a) and 5(b) compare the time dependence of calculated with the quantum and the pseudoclassical dynamics over a wide time range. In particular, is fixed, but perturbation is changed to observe how the quantum results depend on it. Indeed, as expected, as decreases, the quantum result tends to approach the pseudoclassical result. In addition, for the diffusion time , which is empirically defined as the time when the quantum result deviates from the pseudoclassical result by from below, it follows the scaling [see Figs. 5(c) and 5(d)], the same as in the conventional semiclassical limit of the kicked rotor model if is recognized with the effective Planck constant [16]. All these results consistently support the effectiveness of our pseudoclassical theory.

4 Application to the -symmetric kicked rotor
Quantum mechanical Hamiltonians that are -symmetric but not Hermitian has recently been a frontier subject [17, 20, 21, 22, 18, 23, 19]. A Hamiltonian is regarded as -symmetric if , where the parity operator, , is a unitary operator that satisfies and the time-reversal operator, , is an antiunitary operator that satisfies . As a result, is an antiunitary operator as well. Surprisingly, as observed in some previous works and highlighted in Ref. [17], it is feasible for a -symmetric Hamiltonian to have a real spectrum, despite the fact that it can be non-Hermitian. Moreover, as the gain (or loss) parameter that controls the degree of non-Hermiticity changes, a spontaneous symmetry breaking may take place.

In this section, we attempt to use our pseudoclassical theory to the -symmetric kicked rotor model whose Hamiltonian is [18]
(16) |
where is the non-Hermitian parameter that controls the strength of the imaginary part of the kicking potential. For , it reduces to the conventional Hermitian kicked rotor. When with and two coprime integers, similar to the conventional kicked rotor, the quasienergy spectrum is absolutely continuous and composed of quasienergy bands, which is also named quantum resonance [18]. In the following, we will focus on the perturbed case where , for which the Floquet operator can be written as
(17) | |||||
It includes two parts: with and . The difference lies in the last term of . For , this term is identity, reduces to and reduces to .
For and in the limit of , when the last term of acts on a quantum state expressed as the superposition of multiple coherent states, only the component coherent state that maximizes (with ) significantly contributes to the result; the contributions of other components can be ignored. In such a sense, one role that the last term of plays is a “selector”. Formally, the pseudoclassical counterpart of this role can be denoted as . It chooses the component state from others as the first step of the pseudoclassical dynamics.

The last term of also plays a key role in retrieving the pseudoclassical counterpart, denoted as , of . Based on the generalized canonical structure theory [20], in the limit of , the motion of the center of a given coherent state acts on is governed by the following equations:
(18) |
Thus, the pseudoclassical operation thus represents the integration of these two functions up to a unit time. For , it reduces to given by Eq. (6).
Formally, the pseudoclassical map for the -symmetric kicked rotor can be written as
(19) |
To test its effectiveness, a general case of the -symmetric kicked rotor is simulated with , , and , the same as in Figs. 1 and 2. Figs. 6 and 7 illustrate the results. Fig. 6 displays the Husimi distribution of the quantum state evolved from an initial coherent state. Owing to the gain (or loss) operation of the selecting operator , only two component coherent states appear for , in clear contrast to the conventional kicked rotor corresponding to (see Fig. 1 for comparison). Namely, the state proliferation problem in the latter is effectively suppressed here by the selection operator. Meanwhile, we can see that the positions of the two component coherent states are well predicted by the pseudoclassical map.
An interesting feature of the -symmetric kicked rotor is that it can generate the directed current [18, 19]. Here we study this property with being slightly perturbed from the quantum resonance condition. Fig. 7 compares the expected values of the momentum, , for quantum and pseudoclassical dynamics. It can be observed that as decreases, they do converge and , which implies that the directed current also exists in the deep quantum regime near quantum resonances and interestingly, it has a pseudoclassical explanation.
5 Summary
In this study, by considering the quantum effect of the free rotation at quantum resonances, a generalized pseudoclassical theory is designed for the kicked rotor model. Its effectiveness suggests that, even in the deep quantum regime, quantum dynamics may have a close connection to classical dynamics. With regard to this, one may wonder if it is imperative to extend the conventional quantum chaos study from the semiclassical regime [1] to the deep quantum regime. In this context, it depends on how general the pseudoclassical theory could be, which warrants further investigation, except the kicked top and the kicked rotor model, if the pseudoclassical theory can be extended to other Floquet systems.
Extensive experiments have been conducted on the kicked rotor model with cold atoms [24] owing to its paradigmatic role in illustrating quantum chaos. It would be enticing to examine the effects of the pseudoclassical dynamics near higher-order quantum resonances. To this end, it is necessary to adapt the pseudoclassical theory to the kicked particle model first, which is in progress.
This work is supported by the National Natural Science Foundation of China (Grants No. 12075198, No. 12247106, and No. 12247101).
The authors declare that they have no conflict of interest.
References
- [1] M. Berry, Physica Scripta 40, 335 (1989).
- [2] F. Haake, S. Gnutzmann, and M. Kuś, Quantum Signatures of Chaos (4th ed.) (Springer, 2018).
- [3] S. Fishman, I. Guarneri, and L. Rebuzzini, Phys. Rev. Lett. 89, 084101 (2002).
- [4] S. Fishman, I. Guarneri, and L. Rebuzzini, J. Stat. Phys. 110, 911 (2003).
- [5] G. Casati, B. V. Chirikov, F. M. Izraelev, and J. Ford, Lect. Notes Phys. 93 (1979) 334.
- [6] G. Casati and B. V. Chirikov, Quantum Chaos: Between Order and Disorder (Cambridge University Press, Cambridge, England, 1995).
- [7] F. M. Izrailev, and D. L. Shepelyanskii, Theor. Math. Phys. 43, 553 (1980).
- [8] L. Rebuzzini, I. Guarneri, and R. Artuso, Phys. Rev. A 79, 033614 (2009).
- [9] H. Wang, J. Wang, I. Guarneri, G. Casati, and J. Gong, Phys. Rev. E 88, 052919 (2013).
- [10] Z. Zou and J. Wang, Entropy 24, 1092 (2022).
- [11] F. Haake, M. Kuś, and R. Scharf, Z. Physik B - Condensed Matter 65, 381-395 (1987).
- [12] F. Haake and D. L. Shepelyansky, Europhys. Lett. 5, 671 (1988).
- [13] I. Dana, E. Eisenberg, and N. Shnerb, Phys. Rev. E 54, 5948 (1996).
- [14] B. C. Berndt, R. J. Evans, K. S. Williams, Gauss and Jacobi Sums (Wiley, 1998).
- [15] K. Takahashi and N. Saitôn, Phys. Rev. Lett. 55, 645 (1985).
- [16] F. M. Izrailev, and D. L. Shepelyanskii, Physics Reports 196, 299-392 (1990).
- [17] C. M. Bender and S. Boettcher Phys. Rev. Lett. 80, 5243 (1998).
- [18] S. Longhi, Phys. Rev. A 95, 012125 (2017).
- [19] W. Zhao, J. Wang, X. Wang, and P. Tong, Phys. Rev. E 99, 042201 (2019).
- [20] E. M. Graefe, M. Höning, and H. J. Korsch, J. Phys. A: Math. Theor. 43, 075306 (2010).
- [21] C. T. West, T. Kottos, and T. Prosen, Phys. Rev. Lett. 104, 054102 (2010).
- [22] C. M. Bender, J. Phys.: Conf. Ser. 631 012002 (2015).
- [23] R. El-Ganainy, K. G. Makris, M. Khajavikhan, et al, Nat. Phys., 14: 11-19 (2018).
- [24] J.-C. Garreau, C. R. Phys. 18, 31 (2017).
Appendix A Derivation of Equation (8)
Regarding the eigenstates of the operator , the coherent state can be expressed as . Applying the operator to both sides,
(20) |
Note that two coherent states separating in by can be related by the translation operator , we have
(21) | |||||
by setting , where is an integer. Thereafter, multiplying both sides with , where is an integer, , and taking summation over from to ,
(22) |
Finally, by replacing with and substituting this equation into Eq. (20), we get Eq. (8).
Appendix B Translational symmetry of cases C1 and C2
To prevent the proliferation problem of the pseudoclassical dynamics, one way is to introduce the translational symmetry into the phase space so that two or more state points will be mapped into one by . This can be fulfilled by setting the proper integer value of .
First, for case C1 where is odd, based on the analytical results by Ref. [14], all Gaussian sums are nonzero so that and any two neighboring state points resulted by acting to a given state are separated in by . Hence, to ensure the resultant state points overlap at the next step, we can set . It ensures that the number of states is up-bounded by throughout.
For case C2, where is even, note that the Gaussian sum can be rewritten as
(23) | |||||
It is evident that the last term, , is zero for all odd when mod and is zero for all even when mod. On the one hand, this implies that half of all Gaussian sums are zero, whereas the other half are nonzero based on Ref. [14], so that . On the other hand, this suggests that of all state points resulted by acting to a given state, any two neighboring points are separated in by . Thus, similar to case C1, to ensure the evolving state points overlap at the following steps, we can set . This guarantees that the number of states is up-bounded by throughout.
Appendix C Commutation relation of and
In the representation of , the elements of and are, respectively,
(24) | |||||
(25) |
following which the matrix element for the commutator is
(26) | |||||
Note that is periodic with the period ; thus, the integration term in the above equation can be rewritten as
(27) | |||||
Substituting it into Eq. (26),
(28) | |||||
For case C1 where is odd, as , the delta function in Eq. (28) suggests that ( is an integer). Substituting it into Eq. (26), it becomes
(29) |
because the difference term in Eq. (26) is
(30) | |||||
However, for case C2 where is even and , the difference term in Eq. (26) does not equal zero in general, and thus, . However, if we split the Floquet operator as with and , as shown in the following, and do commutate.
The matrix element for and is, respectively,
(31) |
and thus,
(32) | |||||
Note that here the integration term is the same as Eq. (26); however, the delta function suggests instead ( is an integer). Similarly, substituting it into Eq. (32), we obtain
(33) |
because the difference term in Eq. (32) is
(34) | |||||
for any even .