Hear Ο€πœ‹\piitalic_Ο€ from Quantum Galperin Billiards111Canadian Journal of Physics 101, 491 (2023)

Yin Cai Department of Physics, School of Science, Tianjin University, Tianjin 300072, China    Fu-Lin Zhang [email protected] Department of Physics, School of Science, Tianjin University, Tianjin 300072, China
(May 2, 2024)
Abstract

Galperin introduced an interesting method to learn the digits of Ο€πœ‹\piitalic_Ο€ by counting the collisions of two billiard balls and a hard wall. This paper studies two quantum versions of the Galperin billiards. It is shown that the digits of Ο€πœ‹\piitalic_Ο€ can be observed in the phase shifts of the quantum models.
Key words: Galperin billiards, phase shift, quantum classical correspondence, adiabatic approximation, scattering

I Introduction

The number Ο€πœ‹\piitalic_Ο€ has attracted interest in human history. There are various elegant ways to determine Ο€πœ‹\piitalic_Ο€ with a good precision; for instance, the inscribed and circumscribed polygons on a circle 1 ; 2 ; 3 and the Monte Carlo Method based on computers. Twenty years ago, Galperin 8 ; 6 invented an extraordinary method to learn the digits of Ο€πœ‹\piitalic_Ο€, known as Galperin billiards. In such a scenario, as shown in Fig. 1, a big ball is hurled towards a small ball that has its back to a wall. An observer counts the ensuing elastic collisions until the big ball’s momentum is redirected enough to fully turn around. When the ratio of masses for the two billiard balls Mm=100Nπ‘€π‘šsuperscript100𝑁\frac{M}{m}=100^{N}divide start_ARG italic_M end_ARG start_ARG italic_m end_ARG = 100 start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT, the total number of hits in the system is [π⁒10N]delimited-[]πœ‹superscript10𝑁[\pi 10^{N}][ italic_Ο€ 10 start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ] where [][\ ][ ] is the greatest integer function.

Refer to caption
Figure 1: Schematic picture of Galperin billiards, consisting of a big ball M, a small ball m and a wall.

The interesting results of Galperin billiards have been discussed in different aspects, such as their relationships with geometrical optics and Grover algorithm for quantum search 8 ; 9 In this paper, we study two quantum extensions of the Galperin billiards. In our first (semiclassical) model, the motion of the small ball is assumed to be described by quantum mechanics, and the big one is classical. In addition, the classical part is assumed to move slowly, and hence the quantum part is treated under the adiabatic approximation. In the second (fully quantum) version, both balls are quantum, which is equivalent to a scattering problem in a two-dimensional unbounded sector domain. The phase shifts in the two models are shown to correspond to the number of collisions in classical mechanics. As phase shifts in scattering problems are closely related with state densities and energy spectrums dai2009number ; li2015heat , this work connects the Galperin model with the classic problem Can you hear the shape of a drum? formulated by Mark Kac kac1966can . That is, the shape of two-dimensional unbounded sector domain, corresponding to the quantum Galperin model, determines the spectrum of a quantum particle in it and the digits of Ο€πœ‹\piitalic_Ο€ in collisions.

II Semiclassical model

We begin by replacing the small ball in the original model with a quantum particle. As shown in Fig. 2, the classical big ball and the wall constitute a one-dimensional infinite potential well, as the quantum small ball is situated between them. The motions of the two balls are governed by their interaction. Let xπ‘₯xitalic_x and y𝑦yitalic_y denote the positions of the big and small balls, respectively. The small ball satisfies the SchrΓΆdinger equation

Refer to caption
Figure 2: Schematic picture of semiclassical Galperin billiards, consisting of the classical big ball M (blue vertical line on the right), the quantum small ball m, and a wall. The red curve between M and the wall shows the probability density for the wave function of m with n𝑛nitalic_n=3.
iβ’β„β’βˆ‚βˆ‚t⁒Ψ⁒(y,t)=[βˆ’β„22⁒mβ’βˆ‚2βˆ‚y2+V⁒(y)]⁒Ψ⁒(y,t),𝑖Planck-constant-over-2-pi𝑑Ψ𝑦𝑑delimited-[]superscriptPlanck-constant-over-2-pi22π‘šsuperscript2superscript𝑦2𝑉𝑦Ψ𝑦𝑑\displaystyle i\hbar\frac{\partial}{\partial t}\Psi\left(y,t\right)=\left[-% \frac{\hbar^{2}}{2m}\frac{\partial^{2}}{\partial y^{2}}+V\left(y\right)\right]% \Psi\left(y,t\right),italic_i roman_ℏ divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_t end_ARG roman_Ξ¨ ( italic_y , italic_t ) = [ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + italic_V ( italic_y ) ] roman_Ξ¨ ( italic_y , italic_t ) , (1)

where mπ‘šmitalic_m is its mass and

V⁒(y)={0, 0β©½yβ©½x,+∞,otherwise.𝑉𝑦cases0 0𝑦π‘₯otherwise\displaystyle V(y)=\left\{\begin{array}[]{c}0,\ \ \ \ 0\leqslant y\leqslant x,% \\ +\infty,\ \mathrm{otherwise}.\end{array}\right.italic_V ( italic_y ) = { start_ARRAY start_ROW start_CELL 0 , 0 β©½ italic_y β©½ italic_x , end_CELL end_ROW start_ROW start_CELL + ∞ , roman_otherwise . end_CELL end_ROW end_ARRAY (4)

Here, we assume that the big ball moves very gradually, and therefore the wave function of the quantum particle changes adiabatically. Under the adiabatic approximation, we assume that the position coordinate xπ‘₯xitalic_x of the big ball is fixed, and the wave function of the small ball is given by

Ξ¨=βˆ‘n=1+∞Cn⁒Ψn⁒eβˆ’i⁒1β„β’βˆ«0tEn⁒𝑑t+i⁒γn,Ξ¨superscriptsubscript𝑛1subscript𝐢𝑛subscriptΨ𝑛superscript𝑒𝑖1Planck-constant-over-2-pisuperscriptsubscript0𝑑subscript𝐸𝑛differential-d𝑑𝑖subscript𝛾𝑛\displaystyle\Psi=\sum_{n=1}^{+\infty}C_{n}\Psi_{n}e^{-i\frac{1}{\hbar}\int_{0% }^{t}E_{n}dt+i\gamma_{n}},roman_Ξ¨ = βˆ‘ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + ∞ end_POSTSUPERSCRIPT italic_C start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i divide start_ARG 1 end_ARG start_ARG roman_ℏ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_d italic_t + italic_i italic_Ξ³ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (5)

where En=n2⁒π2⁒ℏ22⁒m⁒x2subscript𝐸𝑛superscript𝑛2superscriptπœ‹2superscriptPlanck-constant-over-2-pi22π‘šsuperscriptπ‘₯2E_{n}=\frac{n^{2}\pi^{2}\hbar^{2}}{2mx^{2}}italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = divide start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG,Ξ¨n=2x⁒sin⁑n⁒π⁒yxsubscriptΨ𝑛2π‘₯π‘›πœ‹π‘¦π‘₯\Psi_{n}=\sqrt{\frac{2}{x}}\sin\frac{n\pi y}{x}roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG 2 end_ARG start_ARG italic_x end_ARG end_ARG roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG, and Ξ³nsubscript𝛾𝑛\gamma_{n}italic_Ξ³ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the Berry phase gained by the eigenstate Ξ¨nsubscriptΨ𝑛\Psi_{n}roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT as the big ball coordinate has changed from the initial position to the position xπ‘₯xitalic_x. Under the adiabatic approximation, as the Hamiltonian gradually changes, the wave function will get an additional phase factor, and so called the Berry phase 12 . Here, both the initial and final values of xπ‘₯xitalic_x (big ball position) are +∞+\infty+ ∞, and the final time tβ†’+βˆžβ†’π‘‘t\rightarrow+\inftyitalic_t β†’ + ∞. The kinetic energy of the quantum small ball is close to zero at the beginning and end. The Berry phase for the n𝑛nitalic_nth eigenstate can be

Ξ³n=i⁒∫0t⟨Ψn|dd⁒t|Ξ¨nβŸ©β’π‘‘t=0,subscript𝛾𝑛𝑖superscriptsubscript0𝑑quantum-operator-productsubscriptΨ𝑛𝑑𝑑𝑑subscriptΨ𝑛differential-d𝑑0\displaystyle\gamma_{n}=i\int_{0}^{t}{\langle}\Psi_{n}|\frac{d}{dt}|\Psi_{n}{% \rangle}dt=0,italic_Ξ³ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ⟨ roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG | roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⟩ italic_d italic_t = 0 , (6)

as ⟨Ψn|d|Ξ¨n⟩=0quantum-operator-productsubscriptΨ𝑛𝑑subscriptΨ𝑛0{\langle}\Psi_{n}|d|\Psi_{n}{\rangle}=0⟨ roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | italic_d | roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⟩ = 0 (see Supplementary material for more details).

To observe the motion of the quantum particle, we consider a superposition of two adjacent levels as

Ξ¨=12⁒(Ξ¨n⁒eβˆ’i⁒1β„β’βˆ«0tEn⁒𝑑t+Ξ¨n+1⁒eβˆ’i⁒1β„β’βˆ«0tEn+1⁒𝑑t).Ξ¨12subscriptΨ𝑛superscript𝑒𝑖1Planck-constant-over-2-pisuperscriptsubscript0𝑑subscript𝐸𝑛differential-d𝑑subscriptΨ𝑛1superscript𝑒𝑖1Planck-constant-over-2-pisuperscriptsubscript0𝑑subscript𝐸𝑛1differential-d𝑑\displaystyle\Psi=\frac{1}{\sqrt{2}}(\Psi_{n}e^{-i\frac{1}{\hbar}\int_{0}^{t}E% _{n}dt}+\Psi_{n+1}e^{-i\frac{1}{\hbar}\int_{0}^{t}E_{n+1}dt}).roman_Ξ¨ = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i divide start_ARG 1 end_ARG start_ARG roman_ℏ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_d italic_t end_POSTSUPERSCRIPT + roman_Ξ¨ start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i divide start_ARG 1 end_ARG start_ARG roman_ℏ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT italic_d italic_t end_POSTSUPERSCRIPT ) . (7)

Its average position is given by (see Supplementary material for more details)

y¯¯𝑦\displaystyle\overline{y}overΒ― start_ARG italic_y end_ARG =⟨Ψ|y|Ψ⟩absentquantum-operator-productΨ𝑦Ψ\displaystyle={\langle}\Psi|y|\Psi{\rangle}= ⟨ roman_Ξ¨ | italic_y | roman_Ξ¨ ⟩
=x2βˆ’xΟ€2⁒8⁒n⁒(n+1)(2⁒n+1)2⁒cos⁒∫0tEn+1βˆ’Enℏ⁒𝑑t.absentπ‘₯2π‘₯superscriptπœ‹28𝑛𝑛1superscript2𝑛12superscriptsubscript0𝑑subscript𝐸𝑛1subscript𝐸𝑛Planck-constant-over-2-pidifferential-d𝑑\displaystyle=\frac{x}{2}-\frac{x}{\pi^{2}}\frac{8n(n+1)}{(2n+1)^{2}}\cos\int_% {0}^{t}\frac{E_{n+1}-E_{n}}{\hbar}dt.= divide start_ARG italic_x end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 8 italic_n ( italic_n + 1 ) end_ARG start_ARG ( 2 italic_n + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_cos ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t . (8)

The average position vibrates around the midpoint x2π‘₯2\frac{x}{2}divide start_ARG italic_x end_ARG start_ARG 2 end_ARG at the Bohr frequency En+1βˆ’Enℏsubscript𝐸𝑛1subscript𝐸𝑛Planck-constant-over-2-pi\frac{E_{n+1}-E_{n}}{\hbar}divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG. Hence, the phase difference, divided by Ο€πœ‹\piitalic_Ο€, between the two eigenenstates can be regarded as the quantum correspondence of the number of collisions in classical mechanics.

The energy of the quantum ball is

E=12⁒(En+En+1)=2⁒n2+2⁒n+12⁒π2⁒ℏ2m⁒x2.𝐸12subscript𝐸𝑛subscript𝐸𝑛12superscript𝑛22𝑛12superscriptπœ‹2superscriptPlanck-constant-over-2-pi2π‘šsuperscriptπ‘₯2\displaystyle E=\frac{1}{2}(E_{n}+E_{n+1})=\frac{2n^{2}+2n+1}{2}\frac{\pi^{2}% \hbar^{2}}{mx^{2}}.italic_E = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT ) = divide start_ARG 2 italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_n + 1 end_ARG start_ARG 2 end_ARG divide start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (9)

We assume that the speed change of the classical ball is determined by its energy exchange with the quantum particle. One can obtain

2⁒n2+2⁒n+12⁒π2⁒ℏ2m⁒(1xmin2βˆ’1x2)=12⁒M⁒v2,2superscript𝑛22𝑛12superscriptπœ‹2superscriptPlanck-constant-over-2-pi2π‘š1superscriptsubscriptπ‘₯21superscriptπ‘₯212𝑀superscript𝑣2\displaystyle\frac{2n^{2}+2n+1}{2}\frac{\pi^{2}\hbar^{2}}{m}(\frac{1}{x_{\min}% ^{2}}-\frac{1}{x^{2}})=\frac{1}{2}Mv^{2},divide start_ARG 2 italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_n + 1 end_ARG start_ARG 2 end_ARG divide start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m end_ARG ( divide start_ARG 1 end_ARG start_ARG italic_x start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 1 end_ARG start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_M italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (10)

where v=d⁒xd⁒t𝑣𝑑π‘₯𝑑𝑑v=\frac{dx}{dt}italic_v = divide start_ARG italic_d italic_x end_ARG start_ARG italic_d italic_t end_ARG, M𝑀Mitalic_M is the mass of the classical ball, and xminsubscriptπ‘₯x_{\min}italic_x start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT is its retracing point. Then, the definite integral in (8) can be solved by variable transformation from t𝑑titalic_t to xπ‘₯xitalic_x. It is obtained as

∫0+∞En+1βˆ’Enℏ⁒𝑑t=4⁒n2+4⁒n+14⁒n2+4⁒n+2⁒π2⁒R,superscriptsubscript0subscript𝐸𝑛1subscript𝐸𝑛Planck-constant-over-2-pidifferential-d𝑑4superscript𝑛24𝑛14superscript𝑛24𝑛2superscriptπœ‹2𝑅\displaystyle\int_{0}^{+\infty}\frac{E_{n+1}-E_{n}}{\hbar}dt=\sqrt{\frac{4n^{2% }+4n+1}{4n^{2}+4n+2}}\pi^{2}R,∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + ∞ end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t = square-root start_ARG divide start_ARG 4 italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 4 italic_n + 1 end_ARG start_ARG 4 italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 4 italic_n + 2 end_ARG end_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R , (11)

where R=Mmπ‘…π‘€π‘šR=\sqrt{\frac{M}{m}}italic_R = square-root start_ARG divide start_ARG italic_M end_ARG start_ARG italic_m end_ARG end_ARG is the square root of the two masses ratios. The number of the cosine function in (8) reaching its extreme values is 4⁒n2+4⁒n+14⁒n2+4⁒n+2⁒π⁒R4superscript𝑛24𝑛14superscript𝑛24𝑛2πœ‹π‘…\sqrt{\frac{4n^{2}+4n+1}{4n^{2}+4n+2}}\pi Rsquare-root start_ARG divide start_ARG 4 italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 4 italic_n + 1 end_ARG start_ARG 4 italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 4 italic_n + 2 end_ARG end_ARG italic_Ο€ italic_R, which does not depend on xminsubscriptπ‘₯x_{\min}italic_x start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT, or the initial speed of the classical ball.

In the classical model, the full change of phase of action-angle variables is Ο€2⁒Rsuperscriptπœ‹2𝑅\pi^{2}Ritalic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R 11 and the collision times is [πβ]delimited-[]πœ‹π›½[\frac{\pi}{\beta}][ divide start_ARG italic_Ο€ end_ARG start_ARG italic_Ξ² end_ARG ] with Ξ²=arccot⁒R𝛽arccot𝑅\beta=\mathrm{arccot}Ritalic_Ξ² = roman_arccot italic_R 8 . When nβ†’+βˆžβ†’π‘›n\rightarrow+\inftyitalic_n β†’ + ∞ and Rβ†’+βˆžβ†’π‘…R\rightarrow+\inftyitalic_R β†’ + ∞, the phase difference (11) in the semiclassical model is equal to the full change of phase in the classical model. At the same time, the number of extremums in the semiclassical model is equal to the collision times in the classical model. We define a normalized time as

Ξ±=sgn⁒(v)⁒arccos⁑ρminρ,𝛼sgn𝑣subscript𝜌𝜌\displaystyle\alpha=\mbox{sgn}(v)\arccos\frac{\rho_{\min}}{\rho},italic_Ξ± = sgn ( italic_v ) roman_arccos divide start_ARG italic_ρ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ end_ARG , (12)

where sgn is the sign function, ρ=M⁒xπœŒπ‘€π‘₯\rho=\sqrt{M}xitalic_ρ = square-root start_ARG italic_M end_ARG italic_x in the semiclassical model while ρ=M⁒x2+m⁒y2πœŒπ‘€superscriptπ‘₯2π‘šsuperscript𝑦2\rho=\sqrt{Mx^{2}+my^{2}}italic_ρ = square-root start_ARG italic_M italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG in the classical one, and the values of ρminsubscript𝜌\rho_{\min}italic_ρ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT are their minimums. Here, we mix y𝑦yitalic_y in ρ𝜌\rhoitalic_ρ for the classical model to avoid the case that xπ‘₯xitalic_x may remain stationary in a finite time interval at its retracing point. When M≫mmuch-greater-thanπ‘€π‘šM\gg mitalic_M ≫ italic_m, the two definitions of ρ𝜌\rhoitalic_ρ consistent with each other. As t𝑑titalic_t increases from 00 to +∞+\infty+ ∞, the value of α𝛼\alphaitalic_Ξ± changes continuously from βˆ’Ο€2πœ‹2-\frac{\pi}{2}- divide start_ARG italic_Ο€ end_ARG start_ARG 2 end_ARG to Ο€2πœ‹2\frac{\pi}{2}divide start_ARG italic_Ο€ end_ARG start_ARG 2 end_ARG, and ρ𝜌\rhoitalic_ρ decreases from +∞+\infty+ ∞ to ρminsubscript𝜌\rho_{\min}italic_ρ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT and then goes back to +∞+\infty+ ∞. Using α𝛼\alphaitalic_Ξ± as the variable, in Fig. 3, we show xπ‘₯xitalic_x comparison between the average position y¯¯𝑦\bar{y}overΒ― start_ARG italic_y end_ARG and the result of a corresponding classical model. In general, the oscillation of y¯¯𝑦\bar{y}overΒ― start_ARG italic_y end_ARG correspond to the collisions in classical mechanics. The period of the quantum oscillation is greater than the one of the classical collisions, while the difference between them is reduced as the quantum number n𝑛nitalic_n increases.

Refer to caption
Figure 3: A comparison between the average position y¯¯𝑦\bar{y}overΒ― start_ARG italic_y end_ARG and the corresponding results of a classical model when Ξ²=Ο€/10π›½πœ‹10\beta=\pi/10italic_Ξ² = italic_Ο€ / 10. The three curves are obtained for the classical model (solid blue line), the semiclassical model with quantum number n=1𝑛1n=1italic_n = 1 (dashed red line), and n=10𝑛10n=10italic_n = 10 (dotted black line).

III Fully Quantum Model

We now consider a fully quantum model in which both balls are described by quantum mechanics. The stationary SchrΓΆdinger equation of the fully quantum model can be written as

[βˆ’β„22⁒Mβ’βˆ‚2βˆ‚x2βˆ’β„22⁒mβ’βˆ‚2βˆ‚y2+V⁒(x,y)]⁒Ψ⁒(x,y)=E⁒Ψ⁒(x,y).delimited-[]superscriptPlanck-constant-over-2-pi22𝑀superscript2superscriptπ‘₯2superscriptPlanck-constant-over-2-pi22π‘šsuperscript2superscript𝑦2𝑉π‘₯𝑦Ψπ‘₯𝑦𝐸Ψπ‘₯𝑦\displaystyle\left[-\frac{\hbar^{2}}{2M}\frac{\partial^{2}}{\partial x^{2}}-% \frac{\hbar^{2}}{2m}\frac{\partial^{2}}{\partial y^{2}}+V(x,y)\right]\Psi(x,y)% =E\Psi(x,y).[ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + italic_V ( italic_x , italic_y ) ] roman_Ξ¨ ( italic_x , italic_y ) = italic_E roman_Ξ¨ ( italic_x , italic_y ) . (13)

where xπ‘₯xitalic_x and y𝑦yitalic_y denote respectively the positions of the big ball of mass M𝑀Mitalic_M and the small ball of mass mπ‘šmitalic_m, respectively and

V⁒(x,y)={0, 0β©½yβ©½x,+∞,otherwise.𝑉π‘₯𝑦cases0 0𝑦π‘₯otherwise\displaystyle V(x,y)=\left\{\begin{array}[]{c}0,\ \ \ \ 0\leqslant y\leqslant x% ,\\ +\infty,\ \mathrm{otherwise}.\end{array}\right.italic_V ( italic_x , italic_y ) = { start_ARRAY start_ROW start_CELL 0 , 0 β©½ italic_y β©½ italic_x , end_CELL end_ROW start_ROW start_CELL + ∞ , roman_otherwise . end_CELL end_ROW end_ARRAY (16)

Such a two-body problem in one-dimensional space can be converted into a free particle in a two-dimensional unbounded sector domain. Namely, introducing the polar coordinates

M⁒x=ρ⁒cos⁑θ,𝑀π‘₯πœŒπœƒ\displaystyle\sqrt{M}x=\rho\cos\theta,\ \ square-root start_ARG italic_M end_ARG italic_x = italic_ρ roman_cos italic_ΞΈ , m⁒y=ρ⁒sin⁑θ,π‘šπ‘¦πœŒπœƒ\displaystyle\sqrt{m}y=\rho\sin\theta,square-root start_ARG italic_m end_ARG italic_y = italic_ρ roman_sin italic_ΞΈ , (17)

and the SchrΓΆdinger equation turns to (see Supplementary material for more details)

[βˆ’β„22⁒(βˆ‚2βˆ‚Ο2+1Οβ’βˆ‚βˆ‚Ο+1ρ2β’βˆ‚2βˆ‚ΞΈ2)+V⁒(ΞΈ)]⁒Ψ⁒(ρ,ΞΈ)=E⁒Ψ⁒(ρ,ΞΈ),delimited-[]superscriptPlanck-constant-over-2-pi22superscript2superscript𝜌21𝜌𝜌1superscript𝜌2superscript2superscriptπœƒ2π‘‰πœƒΞ¨πœŒπœƒπΈΞ¨πœŒπœƒ\displaystyle\!\left[-\frac{\hbar^{2}}{2}\!\left(\!\frac{\partial^{2}}{% \partial\rho^{2}}\!+\!\frac{1}{\rho}\frac{\partial}{\partial\rho}\!+\!\frac{1}% {\rho^{2}}\frac{\partial^{2}}{\partial\theta^{2}}\!\right)\!+\!V(\theta)\!% \right]\Psi(\rho,\theta)=E\Psi(\rho,\theta),[ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + italic_V ( italic_ΞΈ ) ] roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_E roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) , (18)

where

V⁒(ΞΈ)={0, 0β©½ΞΈβ©½Ξ²=arctan⁑mM,+∞,otherwiseπ‘‰πœƒcases0 0πœƒπ›½π‘šπ‘€otherwise\displaystyle V(\theta)=\left\{\begin{array}[]{l}0,\ \ \ \ 0\leqslant\theta% \leqslant\beta=\arctan\sqrt{\frac{m}{M}},\\ +\infty,\ \mathrm{otherwise}\end{array}\right.italic_V ( italic_ΞΈ ) = { start_ARRAY start_ROW start_CELL 0 , 0 β©½ italic_ΞΈ β©½ italic_Ξ² = roman_arctan square-root start_ARG divide start_ARG italic_m end_ARG start_ARG italic_M end_ARG end_ARG , end_CELL end_ROW start_ROW start_CELL + ∞ , roman_otherwise end_CELL end_ROW end_ARRAY (21)

When M≫mmuch-greater-thanπ‘€π‘šM\gg mitalic_M ≫ italic_m, Οβ‰ˆM⁒xπœŒπ‘€π‘₯\rho\approx\sqrt{M}xitalic_ρ β‰ˆ square-root start_ARG italic_M end_ARG italic_x and ΞΈ/Ξ²β‰ˆy/xπœƒπ›½π‘¦π‘₯\theta/\beta\approx{y}/{x}italic_ΞΈ / italic_Ξ² β‰ˆ italic_y / italic_x. The former approaches to the position of the big ball, and the latter becomes the (normalized) position of the small one corresponding to the curves in Fig. 3.

Refer to caption
Figure 4: The fully quantum Galperin model is equivalent to a free particle in a two-dimensional unbounded sector domain in the first quadrant where yx∈[0,mM]𝑦π‘₯0π‘šπ‘€\frac{y}{x}\in[0,\sqrt{\frac{m}{M}}]divide start_ARG italic_y end_ARG start_ARG italic_x end_ARG ∈ [ 0 , square-root start_ARG divide start_ARG italic_m end_ARG start_ARG italic_M end_ARG end_ARG ].

As the potential V⁒(ΞΈ)π‘‰πœƒV(\theta)italic_V ( italic_ΞΈ ) does not depend on the radial coordinate ρ𝜌\rhoitalic_ρ, the stationary SchrΓΆdinger eq.(18) can be solved by using the separation of variables method. We assume that Ψ⁒(ρ,ΞΈ)=R⁒(ρ)⁒Φ⁒(ΞΈ)Ξ¨πœŒπœƒπ‘…πœŒΞ¦πœƒ\Psi(\rho,\theta)=R(\rho)\Phi(\theta)roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_R ( italic_ρ ) roman_Ξ¦ ( italic_ΞΈ ) and Φ⁒(ΞΈ)=0Ξ¦πœƒ0\Phi(\theta)=0roman_Ξ¦ ( italic_ΞΈ ) = 0 when ΞΈβˆ‰[0,Ξ²]πœƒ0𝛽\theta\notin[0,\beta]italic_ΞΈ βˆ‰ [ 0 , italic_Ξ² ]. The SchrΓΆdinger equation turns to

βˆ’βˆ‚2βˆ‚ΞΈ2⁒Φ⁒(ΞΈ)=l2⁒Φ⁒(ΞΈ),superscript2superscriptπœƒ2Ξ¦πœƒsuperscript𝑙2Ξ¦πœƒ\displaystyle-\frac{\partial^{2}}{\partial\theta^{2}}\Phi(\theta)=l^{2}\Phi(% \theta),- divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Ξ¦ ( italic_ΞΈ ) = italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ξ¦ ( italic_ΞΈ ) , (22)
βˆ’β„22⁒(βˆ‚2βˆ‚Ο2+1Οβ’βˆ‚βˆ‚Οβˆ’l2ρ2)⁒R⁒(ρ)=E⁒R⁒(ρ).superscriptPlanck-constant-over-2-pi22superscript2superscript𝜌21𝜌𝜌superscript𝑙2superscript𝜌2π‘…πœŒπΈπ‘…πœŒ\displaystyle-\frac{\hbar^{2}}{2}\left(\frac{\partial^{2}}{\partial\rho^{2}}+% \frac{1}{\rho}\frac{\partial}{\partial\rho}-\frac{l^{2}}{\rho^{2}}\right)R(% \rho)=ER(\rho).- divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG - divide start_ARG italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_R ( italic_ρ ) = italic_E italic_R ( italic_ρ ) . (23)

The eigenfunctions and eigenvalues for the angular part can be directly found to be Φ⁒(ΞΈ)=sin⁑lβ’ΞΈΞ¦πœƒπ‘™πœƒ\Phi(\theta)=\sin l\thetaroman_Ξ¦ ( italic_ΞΈ ) = roman_sin italic_l italic_ΞΈ when θ∈[0,Ξ²]πœƒ0𝛽\theta\in[0,\beta]italic_ΞΈ ∈ [ 0 , italic_Ξ² ] and l=n⁒π/Ξ²π‘™π‘›πœ‹π›½l={n\pi}/{\beta}italic_l = italic_n italic_Ο€ / italic_Ξ² with n=1,2,3⁒…𝑛123…n=1,2,3...italic_n = 1 , 2 , 3 … The physical solution to the radial eq.(23) is a linear combination of the first kind of Bessel function, as the second kind of Bessel function (Neumann function) tends to βˆ’βˆž-\infty- ∞ when ρ→0β†’πœŒ0\rho\rightarrow 0italic_ρ β†’ 0 7 . Here, we write the common eigenfunctions in terms of the Hankel functions as

Ξ¨k,l⁒(ρ,ΞΈ)=[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒sin⁑l⁒θ,subscriptΞ¨π‘˜π‘™πœŒπœƒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™πœƒ\displaystyle\Psi_{k,l}(\rho,\theta)=[H_{l}^{(1)}(k\rho)+H_{l}^{(2)}(k\rho)]% \sin l\theta,roman_Ξ¨ start_POSTSUBSCRIPT italic_k , italic_l end_POSTSUBSCRIPT ( italic_ρ , italic_ΞΈ ) = [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] roman_sin italic_l italic_ΞΈ , (24)

with k=2⁒E/β„π‘˜2𝐸Planck-constant-over-2-pik={\sqrt{2E}}/{\hbar}italic_k = square-root start_ARG 2 italic_E end_ARG / roman_ℏ (see Supplementary material for more details).

The probability current density of the stationary wave function (24) can be divided into two equal and opposite parts without cross terms (see Supplementary material for more details), which are along the radial direction and correspond to the two terms Hl(1)⁒(k⁒ρ)⁒sin⁑l⁒θsuperscriptsubscript𝐻𝑙1π‘˜πœŒπ‘™πœƒH_{l}^{(1)}(k\rho)\sin l\thetaitalic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ and Hl(2)⁒(k⁒ρ)⁒sin⁑l⁒θsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™πœƒH_{l}^{(2)}(k\rho)\sin l\thetaitalic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ respectively. In addition, when Οβ†’βˆžβ†’πœŒ\rho\rightarrow\inftyitalic_ρ β†’ ∞ 7 ,

Hl(1)⁒(k⁒ρ)superscriptsubscript𝐻𝑙1π‘˜πœŒ\displaystyle H_{l}^{(1)}(k\rho)italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) β‰ˆ2π⁒k⁒ρ⁒ei[(kΟβˆ’(l+12)Ο€2],\displaystyle\approx\sqrt{\frac{2}{\pi k\rho}}e^{i[(k\rho-(l+\frac{1}{2})\frac% {\pi}{2}]},β‰ˆ square-root start_ARG divide start_ARG 2 end_ARG start_ARG italic_Ο€ italic_k italic_ρ end_ARG end_ARG italic_e start_POSTSUPERSCRIPT italic_i [ ( italic_k italic_ρ - ( italic_l + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) divide start_ARG italic_Ο€ end_ARG start_ARG 2 end_ARG ] end_POSTSUPERSCRIPT , (25)
Hl(2)⁒(k⁒ρ)superscriptsubscript𝐻𝑙2π‘˜πœŒ\displaystyle H_{l}^{(2)}(k\rho)italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) β‰ˆ2π⁒k⁒ρ⁒eβˆ’i⁒[kβ’Οβˆ’(l+12)⁒π2],absent2πœ‹π‘˜πœŒsuperscript𝑒𝑖delimited-[]π‘˜πœŒπ‘™12πœ‹2\displaystyle\approx\sqrt{\frac{2}{\pi k\rho}}e^{-i[k\rho-(l+\frac{1}{2})\frac% {\pi}{2}]},β‰ˆ square-root start_ARG divide start_ARG 2 end_ARG start_ARG italic_Ο€ italic_k italic_ρ end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - italic_i [ italic_k italic_ρ - ( italic_l + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) divide start_ARG italic_Ο€ end_ARG start_ARG 2 end_ARG ] end_POSTSUPERSCRIPT , (26)

which become spherical waves in the two-dimensional sector domain. Therefore, the two terms, Hl(1)⁒(k⁒ρ)⁒sin⁑l⁒θsuperscriptsubscript𝐻𝑙1π‘˜πœŒπ‘™πœƒH_{l}^{(1)}(k\rho)\sin l\thetaitalic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ and Hl(2)⁒(k⁒ρ)⁒sin⁑l⁒θsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™πœƒH_{l}^{(2)}(k\rho)\sin l\thetaitalic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ are incident and outgoing waves, respectively. They can be regarded as the quantum correspondences of the two movement processes in the classical model divided by the retracing point of the big ball. Here, an observation is that, although a more reasonable incidence wave should promulgate along xπ‘₯xitalic_x-axis, the incident direction makes a difference of at most 1111 on the number of classical reflections in the unbounded sector domain in Fig. 4 8 . The phase shift between the incident and outgoing waves can be directly derived from the asymptotic formulations (25) and (26) as

δ⁒(n)=(l+12)⁒π=(n⁒πβ+12)⁒π.𝛿𝑛𝑙12πœ‹π‘›πœ‹π›½12πœ‹\displaystyle\delta(n)=(l+\frac{1}{2})\pi=(\frac{n\pi}{\beta}+\frac{1}{2})\pi.italic_Ξ΄ ( italic_n ) = ( italic_l + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) italic_Ο€ = ( divide start_ARG italic_n italic_Ο€ end_ARG start_ARG italic_Ξ² end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) italic_Ο€ . (27)

It does not depend on the wavenumber kπ‘˜kitalic_k, or energy E𝐸Eitalic_E equivalently, and can be regarded as the phase gained by the standing wave sin⁑lβ’ΞΈπ‘™πœƒ\sin l\thetaroman_sin italic_l italic_ΞΈ. The difference between two adjacent phase shifts is

Δ⁒δ=δ⁒(n+1)βˆ’Ξ΄β’(n)=Ο€2Ξ².Δ𝛿𝛿𝑛1𝛿𝑛superscriptπœ‹2𝛽\displaystyle\Delta\delta=\delta(n+1)-\delta(n)=\frac{\pi^{2}}{\beta}.roman_Ξ” italic_Ξ΄ = italic_Ξ΄ ( italic_n + 1 ) - italic_Ξ΄ ( italic_n ) = divide start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Ξ² end_ARG . (28)

When M≫mmuch-greater-thanπ‘€π‘šM\gg mitalic_M ≫ italic_m, it becomes Δ⁒δ=Ο€2⁒RΔ𝛿superscriptπœ‹2𝑅\Delta\delta=\pi^{2}Rroman_Ξ” italic_Ξ΄ = italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R, which corresponds to the phase difference (11) in the semiclassical model and the change of phase in the classical model.

To observe the reciprocal motion of y𝑦yitalic_y between 00 and xπ‘₯xitalic_x, i.e., ΞΈπœƒ\thetaitalic_ΞΈ between 00 and β𝛽\betaitalic_Ξ², we consider a superposition of two eigenfunctions with the same energy and adjacent angular quantum number l𝑙litalic_l as

Ξ¨=Ξ¨k,l+ei⁒c⁒π⁒Ψk,lβ€²,Ξ¨subscriptΞ¨π‘˜π‘™superscriptπ‘’π‘–π‘πœ‹subscriptΞ¨π‘˜superscript𝑙′\displaystyle\Psi=\Psi_{k,l}+e^{ic\pi}\Psi_{k,l^{\prime}},roman_Ξ¨ = roman_Ξ¨ start_POSTSUBSCRIPT italic_k , italic_l end_POSTSUBSCRIPT + italic_e start_POSTSUPERSCRIPT italic_i italic_c italic_Ο€ end_POSTSUPERSCRIPT roman_Ξ¨ start_POSTSUBSCRIPT italic_k , italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT , (29)

where l=n⁒π/Ξ²π‘™π‘›πœ‹π›½l={n\pi}/{\beta}italic_l = italic_n italic_Ο€ / italic_Ξ² ,lβ€²=(n+1)⁒π/Ξ²superscript𝑙′𝑛1πœ‹π›½l^{\prime}={(n+1)\pi}/{\beta}italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT = ( italic_n + 1 ) italic_Ο€ / italic_Ξ² and c=Ο€2β’Ξ²π‘πœ‹2𝛽c=\frac{\pi}{2\beta}italic_c = divide start_ARG italic_Ο€ end_ARG start_ARG 2 italic_Ξ² end_ARG. Here, the relative phase ei⁒c⁒πsuperscriptπ‘’π‘–π‘πœ‹e^{ic\pi}italic_e start_POSTSUPERSCRIPT italic_i italic_c italic_Ο€ end_POSTSUPERSCRIPT ensures the phase consistency between the average position in quantum model and classsical position. We also divide it into incident and outgoing parts according to the superscripts of Hankel functions. The incident wave reads

Ξ¨in=Hl(1)⁒(k⁒ρ)⁒sin⁑l⁒θ+ei⁒c⁒π⁒Hlβ€²(1)⁒(k⁒ρ)⁒sin⁑l′⁒θ,superscriptΞ¨insuperscriptsubscript𝐻𝑙1π‘˜πœŒπ‘™πœƒsuperscriptπ‘’π‘–π‘πœ‹superscriptsubscript𝐻superscript𝑙′1π‘˜πœŒsuperscriptπ‘™β€²πœƒ\displaystyle\Psi^{\mathrm{in}}=H_{l}^{(1)}(k\rho)\sin l\theta+e^{ic\pi}H_{l^{% \prime}}^{(1)}(k\rho)\sin l^{\prime}\theta,roman_Ξ¨ start_POSTSUPERSCRIPT roman_in end_POSTSUPERSCRIPT = italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ + italic_e start_POSTSUPERSCRIPT italic_i italic_c italic_Ο€ end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT italic_ΞΈ , (30)

and the outgoing term has the same form with the Hankel functions of the first kind replaced with the second kind. For a fixed ρ𝜌\rhoitalic_ρ, the average values of ΞΈπœƒ\thetaitalic_ΞΈ in the incident wave is

θ¯⁒(ρ)=∫Ψinβˆ—β’ΞΈβ’Ξ¨inβ’π‘‘ΞΈβˆ«Ξ¨inβˆ—β’Ξ¨inβ’π‘‘ΞΈΒ―πœƒπœŒsuperscriptsuperscriptΞ¨inβˆ—πœƒsuperscriptΞ¨indifferential-dπœƒsuperscriptsuperscriptΞ¨inβˆ—superscriptΞ¨indifferential-dπœƒ\displaystyle\overline{\theta}(\rho)=\frac{\int{\Psi^{\mathrm{in}}}^{\ast}% \theta\Psi^{\mathrm{in}}d\theta}{\int{\Psi^{\mathrm{in}}}^{\ast}\Psi^{\mathrm{% in}}d\theta}overΒ― start_ARG italic_ΞΈ end_ARG ( italic_ρ ) = divide start_ARG ∫ roman_Ξ¨ start_POSTSUPERSCRIPT roman_in end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT italic_ΞΈ roman_Ξ¨ start_POSTSUPERSCRIPT roman_in end_POSTSUPERSCRIPT italic_d italic_ΞΈ end_ARG start_ARG ∫ roman_Ξ¨ start_POSTSUPERSCRIPT roman_in end_POSTSUPERSCRIPT start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT roman_Ξ¨ start_POSTSUPERSCRIPT roman_in end_POSTSUPERSCRIPT italic_d italic_ΞΈ end_ARG
=Ξ²2βˆ’Ξ²Ο€2⁒8⁒n⁒(n+1)(2⁒n+1)2⁒ei⁒c⁒π⁒Hl(2)⁒Hlβ€²(1)+eβˆ’i⁒c⁒π⁒Hl(1)⁒Hlβ€²(2)Hl(1)⁒Hl(2)+Hlβ€²(1)⁒Hlβ€²(2),absent𝛽2𝛽superscriptπœ‹28𝑛𝑛1superscript2𝑛12superscriptπ‘’π‘–π‘πœ‹superscriptsubscript𝐻𝑙2superscriptsubscript𝐻superscript𝑙′1superscriptπ‘’π‘–π‘πœ‹superscriptsubscript𝐻𝑙1superscriptsubscript𝐻superscript𝑙′2superscriptsubscript𝐻𝑙1superscriptsubscript𝐻𝑙2superscriptsubscript𝐻superscript𝑙′1superscriptsubscript𝐻superscript𝑙′2\displaystyle=\frac{\beta}{2}-\frac{\beta}{\pi^{2}}\frac{8n(n+1)}{(2n+1)^{2}}% \frac{e^{ic\pi}H_{l}^{\left(2\right)}H_{l^{\prime}}^{\left(1\right)}+e^{-ic\pi% }H_{l}^{\left(1\right)}H_{l^{\prime}}^{\left(2\right)}}{{H_{l}^{\left(1\right)% }H_{l}^{\left(2\right)}+H_{l^{\prime}}^{\left(1\right)}H_{l^{\prime}}^{\left(2% \right)}}},= divide start_ARG italic_Ξ² end_ARG start_ARG 2 end_ARG - divide start_ARG italic_Ξ² end_ARG start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 8 italic_n ( italic_n + 1 ) end_ARG start_ARG ( 2 italic_n + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_e start_POSTSUPERSCRIPT italic_i italic_c italic_Ο€ end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT - italic_i italic_c italic_Ο€ end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT end_ARG start_ARG italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT + italic_H start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT end_ARG , (31)

where we omit the argument kβ’Οπ‘˜πœŒk\rhoitalic_k italic_ρ to the Hankel functions and the result in outgoing wave for simplicity. The expression (31) is similar to the average position (8) of the quantum particle in the semiclassical model. In addtion, the vibration of the average value θ¯⁒(ρ)Β―πœƒπœŒ\overline{\theta}(\rho)overΒ― start_ARG italic_ΞΈ end_ARG ( italic_ρ ) with ρ𝜌\rhoitalic_ρ depends on the relative phase between Hl(1)superscriptsubscript𝐻𝑙1H_{l}^{(1)}italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT and Hlβ€²(2)superscriptsubscript𝐻superscript𝑙′2H_{l^{\prime}}^{(2)}italic_H start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT β€² end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT, since HΞ³(1)β£βˆ—=HΞ³(2)superscriptsubscript𝐻𝛾1superscriptsubscript𝐻𝛾2H_{\gamma}^{(1)*}=H_{\gamma}^{(2)}italic_H start_POSTSUBSCRIPT italic_Ξ³ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) βˆ— end_POSTSUPERSCRIPT = italic_H start_POSTSUBSCRIPT italic_Ξ³ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT and |HΞ³(1)⁒(k⁒ρ)|superscriptsubscript𝐻𝛾1π‘˜πœŒ|H_{\gamma}^{(1)}(k\rho)|| italic_H start_POSTSUBSCRIPT italic_Ξ³ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) | is a monotonous decrease function of kβ’Οπ‘˜πœŒk\rhoitalic_k italic_ρ.

Refer to caption
Figure 5: A comparison between the average position ΞΈΒ―Β―πœƒ\bar{\theta}overΒ― start_ARG italic_ΞΈ end_ARG and the corresponding results of a classical model when Ξ²=Ο€/10π›½πœ‹10\beta=\pi/10italic_Ξ² = italic_Ο€ / 10. The three curves are obtained for the classical model (solid blue line) and the fully quantum model with quantum number l=Ο€Ξ²π‘™πœ‹π›½l=\frac{\pi}{\beta}italic_l = divide start_ARG italic_Ο€ end_ARG start_ARG italic_Ξ² end_ARG (dashed red line) and l=10⁒πβ𝑙10πœ‹π›½l=\frac{10\pi}{\beta}italic_l = divide start_ARG 10 italic_Ο€ end_ARG start_ARG italic_Ξ² end_ARG (dotted black line).

In Fig. 5, we show a comparison between the average value θ¯⁒(ρ)Β―πœƒπœŒ\overline{\theta}(\rho)overΒ― start_ARG italic_ΞΈ end_ARG ( italic_ρ ) and the classical motion of ΞΈπœƒ\thetaitalic_ΞΈ, as functions of

Ξ·=arccos⁑lk⁒ρ.πœ‚π‘™π‘˜πœŒ\displaystyle\eta=\arccos\frac{l}{k\rho}.italic_Ξ· = roman_arccos divide start_ARG italic_l end_ARG start_ARG italic_k italic_ρ end_ARG . (32)

As Ξ·πœ‚\etaitalic_Ξ· increases from 00 to Ο€2πœ‹2\frac{\pi}{2}divide start_ARG italic_Ο€ end_ARG start_ARG 2 end_ARG, the value of ρ𝜌\rhoitalic_ρ changes continuously from lkπ‘™π‘˜\frac{l}{k}divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG to +∞+\infty+ ∞. Here, lkπ‘™π‘˜\frac{l}{k}divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG is the quantum correspondence of the minimum of ρ𝜌\rhoitalic_ρ in the classical model, i.e., the retracing point of the classical model ρ=ρmin𝜌subscript𝜌\rho=\rho_{\min}italic_ρ = italic_ρ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT. Thus, the parameter Ξ·πœ‚\etaitalic_Ξ· in the classical model is defined by replacing lkπ‘™π‘˜\frac{l}{k}divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG with ρminsubscript𝜌\rho_{\min}italic_ρ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT in eq.(32). Although the value of ρ𝜌\rhoitalic_ρ is allowed to be less than lkπ‘™π‘˜\frac{l}{k}divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG in the fully quantum model, there is no vibration of θ¯⁒(ρ)Β―πœƒπœŒ\overline{\theta}(\rho)overΒ― start_ARG italic_ΞΈ end_ARG ( italic_ρ ) in the region of ρ<lkπœŒπ‘™π‘˜\rho<\frac{l}{k}italic_ρ < divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG. There is a obvious stationary region of the fully quantum model where Ξ·πœ‚\etaitalic_Ξ· is near zero. The region becomes smaller as the quantum number l𝑙litalic_l increases. When lβ†’+βˆžβ†’π‘™l\rightarrow+\inftyitalic_l β†’ + ∞, this region almost disappears, and the period of the quantum oscillation is consistent with the one of the classical collisions.

IV Summary

In summary, we study two quantum extensions of the Galperin billiards, one of which is semiclassical and the other is fully quantum. In addition, we assume the small quantum ball in the semiclassical model, can be treated under the adiabatic approximation as the big classical ball moves adiabatically. The phase shifts in the two models are shown to correspond to the number of collisions in classical mechanics.

As the quantum model connects the digits of Ο€πœ‹\piitalic_Ο€ in the classical Galperin model with the spectrum of a quantum particle in a two-dimensional unbounded sector domain, it would be intriguing to study the relationship among the digits of Ο€πœ‹\piitalic_Ο€ and other physical problems in the same domain, such as statistical mechanics and phonon eigenfunctions. Actually, these physical problems in similar domains are attracting attention zhang2020statistical ; zhang2021phonon .

Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant Nos. 11675119, 11575125, and 11105097).

References

  • [1] P.Β Beckmann. A History of Ο€πœ‹\piitalic_Ο€. St. Martin’s Press, New York, 1971.
  • [2] L.Β Berggren, J.Β Borwein, and P.Β Borwein. Pi: A Source Book, 3r⁒dsuperscript3π‘Ÿπ‘‘3^{rd}3 start_POSTSUPERSCRIPT italic_r italic_d end_POSTSUPERSCRIPT edition. Springer-Verlag, New York, 2004.
  • [3] J.Β P. Delahaye. Le fascinant nombre Ο€πœ‹\piitalic_Ο€. Pour La Science, Berlin, 1977.
  • [4] G.Β A. Galperin. Playing pool with Ο€πœ‹\piitalic_Ο€ (the number Ο€πœ‹\piitalic_Ο€ from a billiard point of view). Regular &\&& Chaotic Dynamics, 8(4):375–394, 2003.
  • [5] G.Β A. Galperin. Dynamical billiard system for the number Ο€πœ‹\piitalic_Ο€. Matematicheskoye Prosveschenye, 3:137–138, 2001.
  • [6] A.Β R. Brown. Playing pool with |ψ⟩ketπœ“|\psi\rangle| italic_ψ ⟩: from bouncing billiards to quantum search. Quantum, 4:357, 2020.
  • [7] Wu-Sheng Dai and MiΒ Xie. The number of eigenstates: counting function and heat kernel. Journal of High Energy Physics, 2009(02):033, 2009.
  • [8] Wen-Du Li and Wu-Sheng Dai. Heat-kernel approach for scattering. The European Physical Journal C, 75(6):1–14, 2015.
  • [9] Mark Kac. Can one hear the shape of a drum? The American Mathematical Monthly, 73(4P2):1–23, 1966.
  • [10] D.Β J. Griffiths and D.Β F. Schroeter. Introduction to Quantum Mechanics, pages 546–547. Cambridge university press, Cambridge, 2018.
  • [11] I.Β V. Gorelyshev. On the full number of collisions in certain one-dimensional billiard problems. Regular &\&& Chaotic Dynamics, 11(1):61–66, 2006.
  • [12] Milton Abramowitz and IreneΒ A Stegun. Handbook of mathematical functions with formulas, graphs, and mathematical tables, volumeΒ 55, page 360. US Government printing office, 1964.
  • [13] GraceΒ H Zhang and DavidΒ R Nelson. Statistical mechanics of low angle grain boundaries in two dimensions. Physical Review Letters, 125(21):215503, 2020.
  • [14] GraceΒ H Zhang and DavidΒ R Nelson. Phonon eigenfunctions of inhomogeneous lattices: Can you hear the shape of a cone? Physical Review E, 104(6):065005, 2021.

Supplementary material

Proof of the relation ⟨Ψn|d|Ξ¨n⟩=0quantum-operator-productsubscriptΨ𝑛𝑑subscriptΨ𝑛0{\langle}\Psi_{n}|d|\Psi_{n}{\rangle}=0⟨ roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | italic_d | roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⟩ = 0

The eigenstate Ξ¨nsubscriptΨ𝑛\Psi_{n}roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is

Ξ¨n⁒(y)=2x⁒sin⁑n⁒π⁒yx.subscriptΨ𝑛𝑦2π‘₯π‘›πœ‹π‘¦π‘₯\Psi_{n}\left(y\right)=\sqrt{\frac{2}{x}}\sin\frac{n\pi y}{x}.roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_y ) = square-root start_ARG divide start_ARG 2 end_ARG start_ARG italic_x end_ARG end_ARG roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG . (S1)

The derivative with respect to t𝑑titalic_t, we obtain

d⁒Ψn𝑑subscriptΨ𝑛\displaystyle d\Psi_{n}italic_d roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT =sin⁑n⁒π⁒yxβ‹…(βˆ’12⁒x3)⁒d⁒x+2x⁒(βˆ’n⁒π⁒yx2)⁒cos⁑n⁒π⁒yxβ‹…d⁒xabsentβ‹…π‘›πœ‹π‘¦π‘₯12superscriptπ‘₯3𝑑π‘₯2π‘₯π‘›πœ‹π‘¦superscriptπ‘₯2β‹…π‘›πœ‹π‘¦π‘₯𝑑π‘₯\displaystyle=\sin\frac{n\pi y}{x}\cdot(-\frac{1}{\sqrt{2x^{3}}})dx+\sqrt{% \frac{2}{x}}(-\frac{n\pi y}{x^{2}})\cos\frac{n\pi y}{x}\cdot dx= roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… ( - divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_x start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG ) italic_d italic_x + square-root start_ARG divide start_ARG 2 end_ARG start_ARG italic_x end_ARG end_ARG ( - divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) roman_cos divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_d italic_x
=[βˆ’12⁒x3⁒sin⁑n⁒π⁒yxβˆ’2⁒n⁒π⁒yx5⁒cos⁑n⁒π⁒yx]⁒d⁒xabsentdelimited-[]12superscriptπ‘₯3π‘›πœ‹π‘¦π‘₯2π‘›πœ‹π‘¦superscriptπ‘₯5π‘›πœ‹π‘¦π‘₯𝑑π‘₯\displaystyle=[-\frac{1}{\sqrt{2x^{3}}}\sin\frac{n\pi y}{x}-\frac{\sqrt{2}n\pi y% }{\sqrt{x^{5}}}\cos\frac{n\pi y}{x}]dx= [ - divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_x start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG - divide start_ARG square-root start_ARG 2 end_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG square-root start_ARG italic_x start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG end_ARG roman_cos divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ] italic_d italic_x
=βˆ’12⁒x3⁒[sin⁑n⁒π⁒yx+2⁒n⁒π⁒yx⁒cos⁑n⁒π⁒yx]⁒d⁒x.absent12superscriptπ‘₯3delimited-[]π‘›πœ‹π‘¦π‘₯2π‘›πœ‹π‘¦π‘₯π‘›πœ‹π‘¦π‘₯𝑑π‘₯\displaystyle=-\frac{1}{\sqrt{2x^{3}}}[\sin\frac{n\pi y}{x}+\frac{2n\pi y}{x}% \cos\frac{n\pi y}{x}]dx.= - divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_x start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG [ roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG + divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_cos divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ] italic_d italic_x . (S2)

Therefore

⟨Ψn|d|Ξ¨n⟩=βˆ’1x2⁒d⁒x⁒∫0x[sin2⁑n⁒π⁒yx+n⁒π⁒yx⁒sin⁑2⁒n⁒π⁒yx]⁒𝑑y.quantum-operator-productsubscriptΨ𝑛𝑑subscriptΨ𝑛1superscriptπ‘₯2𝑑π‘₯superscriptsubscript0π‘₯delimited-[]superscript2π‘›πœ‹π‘¦π‘₯π‘›πœ‹π‘¦π‘₯2π‘›πœ‹π‘¦π‘₯differential-d𝑦{\langle}\Psi_{n}|d|\Psi_{n}{\rangle=}-\frac{1}{x^{2}}dx\int_{0}^{x}[\sin^{2}% \frac{n\pi y}{x}+\frac{n\pi y}{x}\sin\frac{2n\pi y}{x}]dy.⟨ roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | italic_d | roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⟩ = - divide start_ARG 1 end_ARG start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_d italic_x ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT [ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG + divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ] italic_d italic_y . (S3)

The first integral of the above formula is

∫0xsin2⁑n⁒π⁒yx⁒d⁒ysuperscriptsubscript0π‘₯superscript2π‘›πœ‹π‘¦π‘₯𝑑𝑦\displaystyle\int_{0}^{x}\sin^{2}\frac{n\pi y}{x}dy∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y =∫0x12⁒(1βˆ’cos⁑2⁒n⁒π⁒yx)⁒𝑑yabsentsuperscriptsubscript0π‘₯1212π‘›πœ‹π‘¦π‘₯differential-d𝑦\displaystyle=\int_{0}^{x}\frac{1}{2}\left(1-\cos\frac{2n\pi y}{x}\right)dy= ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 - roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ) italic_d italic_y
=x2βˆ’12⁒∫0xcos⁑2⁒n⁒π⁒yx⁒d⁒yabsentπ‘₯212superscriptsubscript0π‘₯2π‘›πœ‹π‘¦π‘₯𝑑𝑦\displaystyle=\frac{x}{2}-\frac{1}{2}\int_{0}^{x}\cos\frac{2n\pi y}{x}dy= divide start_ARG italic_x end_ARG start_ARG 2 end_ARG - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y
=x2,absentπ‘₯2\displaystyle=\frac{x}{2},= divide start_ARG italic_x end_ARG start_ARG 2 end_ARG , (S4)

the second is

∫0xn⁒π⁒yx⁒sin⁑2⁒n⁒π⁒yx⁒d⁒ysuperscriptsubscript0π‘₯π‘›πœ‹π‘¦π‘₯2π‘›πœ‹π‘¦π‘₯𝑑𝑦\displaystyle\int_{0}^{x}\frac{n\pi y}{x}\sin\frac{2n\pi y}{x}dy∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y
=βˆ’x2⁒nβ’Ο€β’βˆ«0xn⁒π⁒yx⁒d⁒cos⁑2⁒n⁒π⁒yxabsentπ‘₯2π‘›πœ‹superscriptsubscript0π‘₯π‘›πœ‹π‘¦π‘₯𝑑2π‘›πœ‹π‘¦π‘₯\displaystyle=-\frac{x}{2n\pi}\int_{0}^{x}\frac{n\pi y}{x}d\cos\frac{2n\pi y}{x}= - divide start_ARG italic_x end_ARG start_ARG 2 italic_n italic_Ο€ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG
=βˆ’x2⁒n⁒π⁒[(cos⁑2⁒n⁒π⁒yx⁒n⁒π⁒yx)|0xβˆ’n⁒πx⁒∫0xcos⁑2⁒n⁒π⁒yx⁒d⁒y]absentπ‘₯2π‘›πœ‹delimited-[]evaluated-at2π‘›πœ‹π‘¦π‘₯π‘›πœ‹π‘¦π‘₯0π‘₯π‘›πœ‹π‘₯superscriptsubscript0π‘₯2π‘›πœ‹π‘¦π‘₯𝑑𝑦\displaystyle=-\frac{x}{2n\pi}\left[\left(\cos\frac{2n\pi y}{x}\frac{n\pi y}{x% }\right)|_{0}^{x}-\frac{n\pi}{x}\int_{0}^{x}\cos\frac{2n\pi y}{x}dy\right]= - divide start_ARG italic_x end_ARG start_ARG 2 italic_n italic_Ο€ end_ARG [ ( roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - divide start_ARG italic_n italic_Ο€ end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y ]
=βˆ’x2.absentπ‘₯2\displaystyle=-\frac{x}{2}.= - divide start_ARG italic_x end_ARG start_ARG 2 end_ARG . (S5)

Substitution Eq.(S4) and Eq.(S5) into Eq.(S3) gives

⟨Ψn|d|Ξ¨n⟩quantum-operator-productsubscriptΨ𝑛𝑑subscriptΨ𝑛\displaystyle{\langle}\Psi_{n}|d|\Psi_{n}{\rangle}⟨ roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | italic_d | roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⟩ =βˆ’1x2⁒d⁒x⁒∫0x[sin2⁑n⁒π⁒yx+n⁒π⁒yx⁒sin⁑2⁒n⁒π⁒yx]⁒𝑑yabsent1superscriptπ‘₯2𝑑π‘₯superscriptsubscript0π‘₯delimited-[]superscript2π‘›πœ‹π‘¦π‘₯π‘›πœ‹π‘¦π‘₯2π‘›πœ‹π‘¦π‘₯differential-d𝑦\displaystyle=-\frac{1}{x^{2}}dx\int_{0}^{x}[\sin^{2}\frac{n\pi y}{x}+\frac{n% \pi y}{x}\sin\frac{2n\pi y}{x}]dy= - divide start_ARG 1 end_ARG start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_d italic_x ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT [ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG + divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ] italic_d italic_y
=βˆ’1x2⁒d⁒x⁒(x2βˆ’x2)=0.absent1superscriptπ‘₯2𝑑π‘₯π‘₯2π‘₯20\displaystyle=-\frac{1}{x^{2}}dx\left(\frac{x}{2}-\frac{x}{2}\right)=0.= - divide start_ARG 1 end_ARG start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_d italic_x ( divide start_ARG italic_x end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG 2 end_ARG ) = 0 . (S6)

The average position of the small-ball

We consider a superposition of two adjacent levels as

ΨΨ\displaystyle\Psiroman_Ξ¨ =12⁒(Ξ¨n+Ξ¨n+1)absent12subscriptΨ𝑛subscriptΨ𝑛1\displaystyle=\frac{1}{\sqrt{2}}(\Psi_{n}+\Psi_{n+1})= divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + roman_Ξ¨ start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT ) (S7)
=1x⁒(sin⁑n⁒π⁒yxβ‹…eβˆ’i⁒∫0tEnℏ⁒𝑑t+sin⁑(n+1)⁒π⁒yxβ‹…eβˆ’i⁒∫0tEn+1ℏ⁒𝑑t).absent1π‘₯β‹…π‘›πœ‹π‘¦π‘₯superscript𝑒𝑖superscriptsubscript0𝑑subscript𝐸𝑛Planck-constant-over-2-pidifferential-d𝑑⋅𝑛1πœ‹π‘¦π‘₯superscript𝑒𝑖superscriptsubscript0𝑑subscript𝐸𝑛1Planck-constant-over-2-pidifferential-d𝑑\displaystyle=\sqrt{\frac{1}{x}}(\sin\frac{n\pi y}{x}\cdot e^{-i\int_{0}^{t}% \frac{E_{n}}{\hbar}dt}+\sin\frac{(n+1)\pi y}{x}\cdot e^{-i\int_{0}^{t}\frac{E_% {n+1}}{\hbar}dt}).= square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_x end_ARG end_ARG ( roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_e start_POSTSUPERSCRIPT - italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t end_POSTSUPERSCRIPT + roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_e start_POSTSUPERSCRIPT - italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t end_POSTSUPERSCRIPT ) .

Then let us calculate the average position of the small ball.

|y|¯¯𝑦\displaystyle\overline{|y|}overΒ― start_ARG | italic_y | end_ARG =⟨Ψ|y|Ψ⟩absentquantum-operator-productΨ𝑦Ψ\displaystyle={\langle}\Psi|y|\Psi{\rangle}= ⟨ roman_Ξ¨ | italic_y | roman_Ξ¨ ⟩ (S8)
=∫0x[1x⁒(sin⁑n⁒π⁒yxβ‹…ei⁒∫0tEnℏ⁒𝑑t+sin⁑(n+1)⁒π⁒yxβ‹…ei⁒∫0tEn+1ℏ⁒𝑑t)]⁒yabsentsuperscriptsubscript0π‘₯delimited-[]1π‘₯β‹…π‘›πœ‹π‘¦π‘₯superscript𝑒𝑖superscriptsubscript0𝑑subscript𝐸𝑛Planck-constant-over-2-pidifferential-d𝑑⋅𝑛1πœ‹π‘¦π‘₯superscript𝑒𝑖superscriptsubscript0𝑑subscript𝐸𝑛1Planck-constant-over-2-pidifferential-d𝑑𝑦\displaystyle=\int_{0}^{x}[\sqrt{\frac{1}{x}}(\sin\frac{n\pi y}{x}\cdot e^{i% \int_{0}^{t}\frac{E_{n}}{\hbar}dt}+\sin\frac{(n+1)\pi y}{x}\cdot e^{i\int_{0}^% {t}\frac{E_{n+1}}{\hbar}dt})]y= ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT [ square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_x end_ARG end_ARG ( roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_e start_POSTSUPERSCRIPT italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t end_POSTSUPERSCRIPT + roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_e start_POSTSUPERSCRIPT italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t end_POSTSUPERSCRIPT ) ] italic_y
β‹…[1x⁒(sin⁑n⁒π⁒yxβ‹…eβˆ’i⁒∫0tEnℏ⁒𝑑t+sin⁑(n+1)⁒π⁒yxβ‹…eβˆ’i⁒∫0tEn+1ℏ⁒𝑑t)]⁒d⁒yβ‹…absentdelimited-[]1π‘₯β‹…π‘›πœ‹π‘¦π‘₯superscript𝑒𝑖superscriptsubscript0𝑑subscript𝐸𝑛Planck-constant-over-2-pidifferential-d𝑑⋅𝑛1πœ‹π‘¦π‘₯superscript𝑒𝑖superscriptsubscript0𝑑subscript𝐸𝑛1Planck-constant-over-2-pidifferential-d𝑑𝑑𝑦\displaystyle\cdot[\sqrt{\frac{1}{x}}(\sin\frac{n\pi y}{x}\cdot e^{-i\int_{0}^% {t}\frac{E_{n}}{\hbar}dt}+\sin\frac{(n+1)\pi y}{x}\cdot e^{-i\int_{0}^{t}\frac% {E_{n+1}}{\hbar}dt})]dyβ‹… [ square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_x end_ARG end_ARG ( roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_e start_POSTSUPERSCRIPT - italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t end_POSTSUPERSCRIPT + roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG β‹… italic_e start_POSTSUPERSCRIPT - italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t end_POSTSUPERSCRIPT ) ] italic_d italic_y
=1x⁒∫0xsin2⁑n⁒π⁒yx⁒y⁒d⁒y+1x⁒∫0xsin2⁑(n+1)⁒π⁒yx⁒y⁒d⁒yabsent1π‘₯superscriptsubscript0π‘₯superscript2π‘›πœ‹π‘¦π‘₯𝑦𝑑𝑦1π‘₯superscriptsubscript0π‘₯superscript2𝑛1πœ‹π‘¦π‘₯𝑦𝑑𝑦\displaystyle=\frac{1}{x}\int_{0}^{x}\sin^{2}\frac{n\pi y}{x}ydy+\frac{1}{x}% \int_{0}^{x}\sin^{2}\frac{(n+1)\pi y}{x}ydy= divide start_ARG 1 end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y italic_d italic_y + divide start_ARG 1 end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y italic_d italic_y
+1x⁒∫0x[sin⁑n⁒π⁒yx⁒sin⁑(n+1)⁒π⁒yx⁒y]⁒𝑑y⁒cos⁒∫0tEnβˆ’En+1ℏ⁒𝑑t.1π‘₯superscriptsubscript0π‘₯delimited-[]π‘›πœ‹π‘¦π‘₯𝑛1πœ‹π‘¦π‘₯𝑦differential-d𝑦superscriptsubscript0𝑑subscript𝐸𝑛subscript𝐸𝑛1Planck-constant-over-2-pidifferential-d𝑑\displaystyle+\frac{1}{x}\int_{0}^{x}[\sin\frac{n\pi y}{x}\sin\frac{(n+1)\pi y% }{x}y]dy\cos\int_{0}^{t}\frac{E_{n}-E_{n+1}}{\hbar}dt.+ divide start_ARG 1 end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT [ roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y ] italic_d italic_y roman_cos ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t .

The first integral of the above formula is

1x⁒∫0xsin2⁑n⁒π⁒yx⁒y⁒d⁒y1π‘₯superscriptsubscript0π‘₯superscript2π‘›πœ‹π‘¦π‘₯𝑦𝑑𝑦\displaystyle\frac{1}{x}\int_{0}^{x}\sin^{2}\frac{n\pi y}{x}ydydivide start_ARG 1 end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y italic_d italic_y (S9)
=12⁒x⁒∫0x(1βˆ’cos⁑2⁒n⁒π⁒yx)⁒y⁒𝑑yabsent12π‘₯superscriptsubscript0π‘₯12π‘›πœ‹π‘¦π‘₯𝑦differential-d𝑦\displaystyle=\frac{1}{2x}\int_{0}^{x}\left(1-\cos\frac{2n\pi y}{x}\right)ydy= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( 1 - roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ) italic_y italic_d italic_y
=12⁒x⁒(∫0xy⁒𝑑yβˆ’βˆ«0xcos⁑2⁒n⁒π⁒yx⁒y⁒d⁒y)absent12π‘₯superscriptsubscript0π‘₯𝑦differential-d𝑦superscriptsubscript0π‘₯2π‘›πœ‹π‘¦π‘₯𝑦𝑑𝑦\displaystyle=\frac{1}{2x}\left(\int_{0}^{x}ydy-\int_{0}^{x}\cos\frac{2n\pi y}% {x}ydy\right)= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ( ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y italic_d italic_y - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_cos divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y italic_d italic_y )
=12⁒x⁒(x22βˆ’x2⁒nβ’Ο€β’βˆ«0xy⁒d⁒sin⁑2⁒n⁒π⁒yx)absent12π‘₯superscriptπ‘₯22π‘₯2π‘›πœ‹superscriptsubscript0π‘₯𝑦𝑑2π‘›πœ‹π‘¦π‘₯\displaystyle=\frac{1}{2x}\left(\frac{x^{2}}{2}-\frac{x}{2n\pi}\int_{0}^{x}yd% \sin\frac{2n\pi y}{x}\right)= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ( divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG 2 italic_n italic_Ο€ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y italic_d roman_sin divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG )
=12⁒x⁒(x22βˆ’x2⁒n⁒π⁒[(y⁒sin⁑2⁒n⁒π⁒yx)|0xβˆ’βˆ«0xsin⁑2⁒n⁒π⁒yx⁒d⁒y])absent12π‘₯superscriptπ‘₯22π‘₯2π‘›πœ‹delimited-[]evaluated-at𝑦2π‘›πœ‹π‘¦π‘₯0π‘₯superscriptsubscript0π‘₯2π‘›πœ‹π‘¦π‘₯𝑑𝑦\displaystyle=\frac{1}{2x}\left(\frac{x^{2}}{2}-\frac{x}{2n\pi}\left[\left(y% \sin\frac{2n\pi y}{x}\right)|_{0}^{x}-\int_{0}^{x}\sin\frac{2n\pi y}{x}dy% \right]\right)= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ( divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG 2 italic_n italic_Ο€ end_ARG [ ( italic_y roman_sin divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin divide start_ARG 2 italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y ] )
=x4.absentπ‘₯4\displaystyle=\frac{x}{4}.= divide start_ARG italic_x end_ARG start_ARG 4 end_ARG .

The second one is

1x⁒∫0xsin2⁑(n+1)⁒π⁒yx⁒y⁒d⁒y1π‘₯superscriptsubscript0π‘₯superscript2𝑛1πœ‹π‘¦π‘₯𝑦𝑑𝑦\displaystyle\frac{1}{x}\int_{0}^{x}\sin^{2}\frac{(n+1)\pi y}{x}ydydivide start_ARG 1 end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y italic_d italic_y (S10)
=12⁒x⁒∫0x(1βˆ’cos⁑2⁒(n+1)⁒π⁒yx)⁒y⁒𝑑yabsent12π‘₯superscriptsubscript0π‘₯12𝑛1πœ‹π‘¦π‘₯𝑦differential-d𝑦\displaystyle=\frac{1}{2x}\int_{0}^{x}\left(1-\cos\frac{2(n+1)\pi y}{x}\right)ydy= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( 1 - roman_cos divide start_ARG 2 ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ) italic_y italic_d italic_y
=12⁒x⁒(∫0xy⁒𝑑yβˆ’βˆ«0xcos⁑2⁒(n+1)⁒π⁒yx⁒y⁒d⁒y)absent12π‘₯superscriptsubscript0π‘₯𝑦differential-d𝑦superscriptsubscript0π‘₯2𝑛1πœ‹π‘¦π‘₯𝑦𝑑𝑦\displaystyle=\frac{1}{2x}\left(\int_{0}^{x}ydy-\int_{0}^{x}\cos\frac{2(n+1)% \pi y}{x}ydy\right)= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ( ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y italic_d italic_y - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_cos divide start_ARG 2 ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y italic_d italic_y )
=12⁒x⁒(x22βˆ’x2⁒nβ’Ο€β’βˆ«0xy⁒d⁒sin⁑2⁒(n+1)⁒π⁒yx)absent12π‘₯superscriptπ‘₯22π‘₯2π‘›πœ‹superscriptsubscript0π‘₯𝑦𝑑2𝑛1πœ‹π‘¦π‘₯\displaystyle=\frac{1}{2x}\left(\frac{x^{2}}{2}-\frac{x}{2n\pi}\int_{0}^{x}yd% \sin\frac{2(n+1)\pi y}{x}\right)= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ( divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG 2 italic_n italic_Ο€ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y italic_d roman_sin divide start_ARG 2 ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG )
=12⁒x⁒(x22βˆ’x2⁒n⁒π⁒[(y⁒sin⁑2⁒(n+1)⁒π⁒yx)|0xβˆ’βˆ«0xsin⁑2⁒(n+1)⁒π⁒yx⁒d⁒y])absent12π‘₯superscriptπ‘₯22π‘₯2π‘›πœ‹delimited-[]evaluated-at𝑦2𝑛1πœ‹π‘¦π‘₯0π‘₯superscriptsubscript0π‘₯2𝑛1πœ‹π‘¦π‘₯𝑑𝑦\displaystyle=\frac{1}{2x}\left(\frac{x^{2}}{2}-\frac{x}{2n\pi}\left[\left(y% \sin\frac{2(n+1)\pi y}{x}\right)|_{0}^{x}-\int_{0}^{x}\sin\frac{2(n+1)\pi y}{x% }dy\right]\right)= divide start_ARG 1 end_ARG start_ARG 2 italic_x end_ARG ( divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG 2 italic_n italic_Ο€ end_ARG [ ( italic_y roman_sin divide start_ARG 2 ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ) | start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT roman_sin divide start_ARG 2 ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y ] )
=x4.absentπ‘₯4\displaystyle=\frac{x}{4}.= divide start_ARG italic_x end_ARG start_ARG 4 end_ARG .

The integral in the third term of Eq.(S7) is

∫0xy⁒sin⁑n⁒π⁒yx⁒sin⁑(n+1)⁒π⁒yx⁒d⁒ysuperscriptsubscript0π‘₯π‘¦π‘›πœ‹π‘¦π‘₯𝑛1πœ‹π‘¦π‘₯𝑑𝑦\displaystyle\int_{0}^{x}y\sin\frac{n\pi y}{x}\sin\frac{(n+1)\pi y}{x}dy∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y (S11)
=∫0xy⁒sin⁑n⁒π⁒yx⁒sin⁑(n+1)⁒π⁒yx⁒d⁒yabsentsuperscriptsubscript0π‘₯π‘¦π‘›πœ‹π‘¦π‘₯𝑛1πœ‹π‘¦π‘₯𝑑𝑦\displaystyle=\int_{0}^{x}y\sin\frac{n\pi y}{x}\sin\frac{(n+1)\pi y}{x}dy= ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_d italic_y
=βˆ’12⁒∫0x[y⁒cos⁑(2⁒n+1)⁒π⁒yxβˆ’y⁒cos⁑π⁒yx]⁒𝑑yabsent12superscriptsubscript0π‘₯delimited-[]𝑦2𝑛1πœ‹π‘¦π‘₯π‘¦πœ‹π‘¦π‘₯differential-d𝑦\displaystyle=-\frac{1}{2}\int_{0}^{x}\left[y\cos\frac{\left(2n+1\right)\pi y}% {x}-y\cos\frac{\pi y}{x}\right]dy= - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT [ italic_y roman_cos divide start_ARG ( 2 italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG - italic_y roman_cos divide start_ARG italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ] italic_d italic_y
=βˆ’12⁒[x(2⁒n+1)β’Ο€β’βˆ«0xy⁒d⁒sin⁑(2⁒n+1)⁒π⁒yxβˆ’xΟ€β’βˆ«0xy⁒d⁒sin⁑π⁒yx]absent12delimited-[]π‘₯2𝑛1πœ‹superscriptsubscript0π‘₯𝑦𝑑2𝑛1πœ‹π‘¦π‘₯π‘₯πœ‹superscriptsubscript0π‘₯π‘¦π‘‘πœ‹π‘¦π‘₯\displaystyle=-\frac{1}{2}\left[\frac{x}{\left(2n+1\right)\pi}\int_{0}^{x}yd% \sin\frac{\left(2n+1\right)\pi y}{x}-\frac{x}{\pi}\int_{0}^{x}yd\sin\frac{\pi y% }{x}\right]= - divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ divide start_ARG italic_x end_ARG start_ARG ( 2 italic_n + 1 ) italic_Ο€ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y italic_d roman_sin divide start_ARG ( 2 italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG - divide start_ARG italic_x end_ARG start_ARG italic_Ο€ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_y italic_d roman_sin divide start_ARG italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG ]
=βˆ’12⁒[x(2⁒n+1)⁒π⁒[βˆ’2⁒x(2⁒n+1)⁒π]βˆ’xπ⁒(βˆ’2⁒xΟ€)]absent12delimited-[]π‘₯2𝑛1πœ‹delimited-[]2π‘₯2𝑛1πœ‹π‘₯πœ‹2π‘₯πœ‹\displaystyle=-\frac{1}{2}\left[\frac{x}{\left(2n+1\right)\pi}\left[\frac{-2x}% {\left(2n+1\right)\pi}\right]-\frac{x}{\pi}\left(\frac{-2x}{\pi}\right)\right]= - divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ divide start_ARG italic_x end_ARG start_ARG ( 2 italic_n + 1 ) italic_Ο€ end_ARG [ divide start_ARG - 2 italic_x end_ARG start_ARG ( 2 italic_n + 1 ) italic_Ο€ end_ARG ] - divide start_ARG italic_x end_ARG start_ARG italic_Ο€ end_ARG ( divide start_ARG - 2 italic_x end_ARG start_ARG italic_Ο€ end_ARG ) ]
=x2⁒[1(2⁒n+1)2⁒π2βˆ’1Ο€2],absentsuperscriptπ‘₯2delimited-[]1superscript2𝑛12superscriptπœ‹21superscriptπœ‹2\displaystyle=x^{2}\left[\frac{1}{\left(2n+1\right)^{2}\pi^{2}}-\frac{1}{\pi^{% 2}}\right],= italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 1 end_ARG start_ARG ( 2 italic_n + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 1 end_ARG start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] ,

thus the third term is

2x⁒∫0x[sin⁑n⁒π⁒yx⁒sin⁑(n+1)⁒π⁒yx⁒y]⁒𝑑y⁒cos⁒∫0tEnβˆ’En+1ℏ⁒𝑑t2π‘₯superscriptsubscript0π‘₯delimited-[]π‘›πœ‹π‘¦π‘₯𝑛1πœ‹π‘¦π‘₯𝑦differential-d𝑦superscriptsubscript0𝑑subscript𝐸𝑛subscript𝐸𝑛1Planck-constant-over-2-pidifferential-d𝑑\displaystyle\frac{2}{x}\int_{0}^{x}[\sin\frac{n\pi y}{x}\sin\frac{(n+1)\pi y}% {x}y]dy\cos\int_{0}^{t}\frac{E_{n}-E_{n+1}}{\hbar}dtdivide start_ARG 2 end_ARG start_ARG italic_x end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT [ roman_sin divide start_ARG italic_n italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG roman_sin divide start_ARG ( italic_n + 1 ) italic_Ο€ italic_y end_ARG start_ARG italic_x end_ARG italic_y ] italic_d italic_y roman_cos ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t
=βˆ’xΟ€2⁒8⁒n⁒(n+1)(2⁒n+1)2⁒cos⁒∫0tEnβˆ’En+1ℏ⁒𝑑t.absentπ‘₯superscriptπœ‹28𝑛𝑛1superscript2𝑛12superscriptsubscript0𝑑subscript𝐸𝑛subscript𝐸𝑛1Planck-constant-over-2-pidifferential-d𝑑\displaystyle=-\frac{x}{\pi^{2}}\frac{8n\left(n+1\right)}{(2n+1)^{2}}\cos\int_% {0}^{t}\frac{E_{n}-E_{n+1}}{\hbar}dt.= - divide start_ARG italic_x end_ARG start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 8 italic_n ( italic_n + 1 ) end_ARG start_ARG ( 2 italic_n + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_cos ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t . (S12)

Then the average position of the small-ball Eq.(S8) can be written as

|y|Β―=x2βˆ’xΟ€2⁒8⁒n⁒(n+1)(2⁒n+1)2⁒cos⁒∫0tEn+1βˆ’Enℏ⁒𝑑t,¯𝑦π‘₯2π‘₯superscriptπœ‹28𝑛𝑛1superscript2𝑛12superscriptsubscript0𝑑subscript𝐸𝑛1subscript𝐸𝑛Planck-constant-over-2-pidifferential-d𝑑\overline{|y|}=\frac{x}{2}-\frac{x}{\pi^{2}}\frac{8n\left(n+1\right)}{(2n+1)^{% 2}}\cos\int_{0}^{t}\frac{E_{n+1}-E_{n}}{\hbar}dt,overΒ― start_ARG | italic_y | end_ARG = divide start_ARG italic_x end_ARG start_ARG 2 end_ARG - divide start_ARG italic_x end_ARG start_ARG italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 8 italic_n ( italic_n + 1 ) end_ARG start_ARG ( 2 italic_n + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_cos ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT divide start_ARG italic_E start_POSTSUBSCRIPT italic_n + 1 end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG italic_d italic_t , (S13)

The SchrΓΆdinger equation of the fully quantum model in polar coordinates

The stationary SchrΓΆdinger equation of the fully quantum model can be written as

[βˆ’β„22⁒Mβ’βˆ‚2βˆ‚x2βˆ’β„22⁒mβ’βˆ‚2βˆ‚y2+V⁒(x,y)]⁒Ψ⁒(x,y)=E⁒Ψ⁒(x,y),delimited-[]superscriptPlanck-constant-over-2-pi22𝑀superscript2superscriptπ‘₯2superscriptPlanck-constant-over-2-pi22π‘šsuperscript2superscript𝑦2𝑉π‘₯𝑦Ψπ‘₯𝑦𝐸Ψπ‘₯𝑦\left[-\frac{\hbar^{2}}{2M}\frac{\partial^{2}}{\partial x^{2}}-\frac{\hbar^{2}% }{2m}\frac{\partial^{2}}{\partial y^{2}}+V(x,y)\right]\Psi(x,y)=E\Psi(x,y),[ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + italic_V ( italic_x , italic_y ) ] roman_Ξ¨ ( italic_x , italic_y ) = italic_E roman_Ξ¨ ( italic_x , italic_y ) , (S14)

where

V⁒(x,y)={0, 0β©½yβ©½x,+∞,otherwise.𝑉π‘₯𝑦cases0 0𝑦π‘₯otherwiseV(x,y)=\left\{\begin{array}[]{c}0,\ \ \ \ 0\leqslant y\leqslant x,\\ +\infty,\ \mathrm{otherwise}.\end{array}\right.italic_V ( italic_x , italic_y ) = { start_ARRAY start_ROW start_CELL 0 , 0 β©½ italic_y β©½ italic_x , end_CELL end_ROW start_ROW start_CELL + ∞ , roman_otherwise . end_CELL end_ROW end_ARRAY (S15)

Introducing the polar coordinates

M⁒x=ρ⁒cos⁑θ,m⁒y=ρ⁒sin⁑θ,formulae-sequence𝑀π‘₯πœŒπœƒπ‘šπ‘¦πœŒπœƒ\sqrt{M}x=\rho\cos\theta,\sqrt{m}y=\rho\sin\theta,square-root start_ARG italic_M end_ARG italic_x = italic_ρ roman_cos italic_ΞΈ , square-root start_ARG italic_m end_ARG italic_y = italic_ρ roman_sin italic_ΞΈ , (S16)

and substitution Eq.(S16) into Eq.(S15) gives

V={0, 0β©½ΞΈβ©½Ξ²=arctan⁑mM,+∞,otherwise.𝑉cases0 0πœƒπ›½π‘šπ‘€otherwiseV=\left\{\begin{array}[]{c}0,\ \ \ \ 0\leqslant\theta\leqslant\beta=\arctan% \sqrt{\frac{m}{M}},\\ +\infty,\ \mathrm{otherwise}.\end{array}\right.italic_V = { start_ARRAY start_ROW start_CELL 0 , 0 β©½ italic_ΞΈ β©½ italic_Ξ² = roman_arctan square-root start_ARG divide start_ARG italic_m end_ARG start_ARG italic_M end_ARG end_ARG , end_CELL end_ROW start_ROW start_CELL + ∞ , roman_otherwise . end_CELL end_ROW end_ARRAY (S17)

Then, the stationary SchrΓΆdinger equation can be written as

[βˆ’β„22⁒Mβ’βˆ‚2βˆ‚(ρ⁒cos⁑θM)2βˆ’β„22⁒mβ’βˆ‚2βˆ‚(ρ⁒sin⁑θm)2+V⁒(ΞΈ)]⁒Ψ⁒(ρ,ΞΈ)=E⁒Ψ⁒(ρ,ΞΈ),delimited-[]superscriptPlanck-constant-over-2-pi22𝑀superscript2superscriptπœŒπœƒπ‘€2superscriptPlanck-constant-over-2-pi22π‘šsuperscript2superscriptπœŒπœƒπ‘š2π‘‰πœƒΞ¨πœŒπœƒπΈΞ¨πœŒπœƒ\left[-\frac{\hbar^{2}}{2M}\frac{\partial^{2}}{\partial\left(\frac{\rho\cos% \theta}{\sqrt{M}}\right)^{2}}-\frac{\hbar^{2}}{2m}\frac{\partial^{2}}{\partial% \left(\frac{\rho\sin\theta}{\sqrt{m}}\right)^{2}}+V(\theta)\right]\Psi(\rho,% \theta)=E\Psi(\rho,\theta),[ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ ( divide start_ARG italic_ρ roman_cos italic_ΞΈ end_ARG start_ARG square-root start_ARG italic_M end_ARG end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ ( divide start_ARG italic_ρ roman_sin italic_ΞΈ end_ARG start_ARG square-root start_ARG italic_m end_ARG end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + italic_V ( italic_ΞΈ ) ] roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_E roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) , (S18)

and

[βˆ’β„22⁒(βˆ‚2βˆ‚(ρ⁒sin⁑θ)2+βˆ‚2βˆ‚(ρ⁒cos⁑θ)2)+V⁒(ΞΈ)]⁒Ψ⁒(ρ,ΞΈ)=E⁒Ψ⁒(ρ,ΞΈ).delimited-[]superscriptPlanck-constant-over-2-pi22superscript2superscriptπœŒπœƒ2superscript2superscriptπœŒπœƒ2π‘‰πœƒΞ¨πœŒπœƒπΈΞ¨πœŒπœƒ\left[-\frac{\hbar^{2}}{2}\left(\frac{\partial^{2}}{\partial\left(\rho\sin% \theta\right)^{2}}+\frac{\partial^{2}}{\partial\left(\rho\cos\theta\right)^{2}% }\right)+V(\theta)\right]\Psi(\rho,\theta)=E\Psi(\rho,\theta).[ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ ( italic_ρ roman_sin italic_ΞΈ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ ( italic_ρ roman_cos italic_ΞΈ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + italic_V ( italic_ΞΈ ) ] roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_E roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) . (S19)

It is easy to find that the above formula is of the form of a two-dimensional Schrodinger equation. The Laplace operator in polar coordinates is given by

βˆ‡2=βˆ‚2βˆ‚(ρ⁒sin⁑θ)2+βˆ‚2βˆ‚(ρ⁒cos⁑θ)2=βˆ‚2βˆ‚Ο2+1Οβ’βˆ‚βˆ‚Ο+1ρ2β’βˆ‚2βˆ‚ΞΈ2,superscriptβˆ‡2superscript2superscriptπœŒπœƒ2superscript2superscriptπœŒπœƒ2superscript2superscript𝜌21𝜌𝜌1superscript𝜌2superscript2superscriptπœƒ2\nabla^{2}=\frac{\partial^{2}}{\partial\left(\rho\sin\theta\right)^{2}}+\frac{% \partial^{2}}{\partial\left(\rho\cos\theta\right)^{2}}=\frac{\partial^{2}}{% \partial\rho^{2}}+\frac{1}{\rho}\frac{\partial}{\partial\rho}+\frac{1}{\rho^{2% }}\frac{\partial^{2}}{\partial\theta^{2}},βˆ‡ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ ( italic_ρ roman_sin italic_ΞΈ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ ( italic_ρ roman_cos italic_ΞΈ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (S20)

The SchrΓΆdinger equation turns to

[βˆ’β„22⁒(βˆ‚2βˆ‚Ο2+1Οβ’βˆ‚βˆ‚Ο+1ρ2β’βˆ‚2βˆ‚ΞΈ2)+V⁒(ΞΈ)]⁒Ψ⁒(ρ,ΞΈ)=E⁒Ψ⁒(ρ,ΞΈ).delimited-[]superscriptPlanck-constant-over-2-pi22superscript2superscript𝜌21𝜌𝜌1superscript𝜌2superscript2superscriptπœƒ2π‘‰πœƒΞ¨πœŒπœƒπΈΞ¨πœŒπœƒ\left[-\frac{\hbar^{2}}{2}\left(\frac{\partial^{2}}{\partial\rho^{2}}+\frac{1}% {\rho}\frac{\partial}{\partial\rho}+\frac{1}{\rho^{2}}\frac{\partial^{2}}{% \partial\theta^{2}}\right)+V(\theta)\right]\Psi(\rho,\theta)=E\Psi(\rho,\theta).[ - divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + italic_V ( italic_ΞΈ ) ] roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_E roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) . (S21)

where

V⁒(ΞΈ)={0, 0β©½ΞΈβ©½Ξ²,∞,otherwise.π‘‰πœƒcases0 0πœƒπ›½otherwiseV(\theta)=\left\{\begin{array}[]{c}0,\ 0\leqslant\theta\leqslant\beta,\\ \infty,\ \mathrm{otherwise}.\end{array}\right.italic_V ( italic_ΞΈ ) = { start_ARRAY start_ROW start_CELL 0 , 0 β©½ italic_ΞΈ β©½ italic_Ξ² , end_CELL end_ROW start_ROW start_CELL ∞ , roman_otherwise . end_CELL end_ROW end_ARRAY (S22)

The scattering wave function of the fully quantum model

The stationary SchrΓΆdinger equation of the fully quantum model can be written as

βˆ’β„22⁒(βˆ‚2βˆ‚Ο2+1Οβ’βˆ‚βˆ‚Ο+1ρ2β’βˆ‚2βˆ‚ΞΈ2)⁒Ψ⁒(ρ,ΞΈ)+V⁒(ΞΈ)⁒Ψ⁒(ρ,ΞΈ)=E⁒Ψ⁒(ρ,ΞΈ).superscriptPlanck-constant-over-2-pi22superscript2superscript𝜌21𝜌𝜌1superscript𝜌2superscript2superscriptπœƒ2Ξ¨πœŒπœƒπ‘‰πœƒΞ¨πœŒπœƒπΈΞ¨πœŒπœƒ-\frac{\hbar^{2}}{2}(\frac{\partial^{2}}{\partial\rho^{2}}+\frac{1}{\rho}\frac% {\partial}{\partial\rho}+\frac{1}{\rho^{2}}\frac{\partial^{2}}{\partial\theta^% {2}})\Psi(\rho,\theta)+V(\theta)\Psi(\rho,\theta)=E\Psi(\rho,\theta).- divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) + italic_V ( italic_ΞΈ ) roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_E roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) . (S23)

Substitution the trial solution Ψ⁒(ρ,ΞΈ)=R⁒(ρ)⁒Φ⁒(ΞΈ)Ξ¨πœŒπœƒπ‘…πœŒΞ¦πœƒ\Psi(\rho,\theta)=R(\rho)\Phi(\theta)roman_Ξ¨ ( italic_ρ , italic_ΞΈ ) = italic_R ( italic_ρ ) roman_Ξ¦ ( italic_ΞΈ ) into the above formula gives

βˆ’β„22⁒1ρ2β’βˆ‚2βˆ‚ΞΈ2⁒Φ⁒(ΞΈ)+V⁒(ΞΈ)⁒Φ⁒(ΞΈ)superscriptPlanck-constant-over-2-pi221superscript𝜌2superscript2superscriptπœƒ2Ξ¦πœƒπ‘‰πœƒΞ¦πœƒ\displaystyle-\frac{\hbar^{2}}{2}\frac{1}{\rho^{2}}\frac{\partial^{2}}{% \partial\theta^{2}}\Phi(\theta)+V(\theta)\Phi(\theta)- divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Ξ¦ ( italic_ΞΈ ) + italic_V ( italic_ΞΈ ) roman_Ξ¦ ( italic_ΞΈ ) =Eθ⁒Φ⁒(ΞΈ),absentsubscriptπΈπœƒΞ¦πœƒ\displaystyle=E_{\theta}\Phi(\theta),= italic_E start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT roman_Ξ¦ ( italic_ΞΈ ) , (S24)
βˆ’β„22⁒(βˆ‚2βˆ‚Ο2+1Οβ’βˆ‚βˆ‚Ο+2⁒Eθℏ2)⁒R⁒(ρ)superscriptPlanck-constant-over-2-pi22superscript2superscript𝜌21𝜌𝜌2subscriptπΈπœƒsuperscriptPlanck-constant-over-2-pi2π‘…πœŒ\displaystyle-\frac{\hbar^{2}}{2}(\frac{\partial^{2}}{\partial\rho^{2}}+\frac{% 1}{\rho}\frac{\partial}{\partial\rho}+\frac{2E_{\theta}}{\hbar^{2}})R(\rho)- divide start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG + divide start_ARG 2 italic_E start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_R ( italic_ρ ) =E⁒R⁒(ρ).absentπΈπ‘…πœŒ\displaystyle=ER(\rho).= italic_E italic_R ( italic_ρ ) . (S24)

Let

l2=2⁒ρ2⁒Eθℏ2,superscript𝑙22superscript𝜌2subscriptπΈπœƒsuperscriptPlanck-constant-over-2-pi2l^{2}=\frac{2\rho^{2}E_{\theta}}{\hbar^{2}},italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 2 italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (S25)

Eq.(S24) becomes

βˆ‚2βˆ‚ΞΈ2⁒Φ⁒(ΞΈ)+l2⁒Φ⁒(ΞΈ)=0,(0β©½ΞΈβ©½Ξ²).superscript2superscriptπœƒ2Ξ¦πœƒsuperscript𝑙2Ξ¦πœƒ00πœƒπ›½\frac{\partial^{2}}{\partial\theta^{2}}\Phi(\theta)+l^{2}\Phi(\theta)=0,\ \ (0% \leqslant\theta\leqslant\beta).divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ΞΈ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Ξ¦ ( italic_ΞΈ ) + italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ξ¦ ( italic_ΞΈ ) = 0 , ( 0 β©½ italic_ΞΈ β©½ italic_Ξ² ) . (S26)

The solution of the above formula is

Φ⁒(ΞΈ)=sin⁑l⁒θ,Ξ¦πœƒπ‘™πœƒ\Phi(\theta)=\sin l\theta,roman_Ξ¦ ( italic_ΞΈ ) = roman_sin italic_l italic_ΞΈ , (S27)

where

l=n⁒πβ,n=1,2,3⁒….formulae-sequenceπ‘™π‘›πœ‹π›½π‘›123…l=\frac{n\pi}{\beta},\ \ n=1,2,3\ldots.italic_l = divide start_ARG italic_n italic_Ο€ end_ARG start_ARG italic_Ξ² end_ARG , italic_n = 1 , 2 , 3 … . (S28)

It follows from Eq.(S25) that

EΞΈ=n2⁒π2⁒ℏ22⁒ρ2⁒β2.subscriptπΈπœƒsuperscript𝑛2superscriptπœ‹2superscriptPlanck-constant-over-2-pi22superscript𝜌2superscript𝛽2E_{\theta}=\frac{n^{2}\pi^{2}\hbar^{2}}{2\rho^{2}\beta^{2}}.italic_E start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT = divide start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ξ² start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (S29)

Substitution Eq.(S29) into Eq.(S24) gives

βˆ‚2βˆ‚Ο2⁒R⁒(ρ)+1Οβ’βˆ‚βˆ‚Οβ’R⁒(ρ)+(2⁒Eℏ2βˆ’1ρ2⁒n2⁒π2Ξ²2)⁒R⁒(ρ)superscript2superscript𝜌2π‘…πœŒ1πœŒπœŒπ‘…πœŒ2𝐸superscriptPlanck-constant-over-2-pi21superscript𝜌2superscript𝑛2superscriptπœ‹2superscript𝛽2π‘…πœŒ\displaystyle\frac{\partial^{2}}{\partial\rho^{2}}R(\rho)+\frac{1}{\rho}\frac{% \partial}{\partial\rho}R(\rho)+(\frac{2E}{\hbar^{2}}-\frac{1}{\rho^{2}}\frac{n% ^{2}\pi^{2}}{\beta^{2}})R(\rho)divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG βˆ‚ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_R ( italic_ρ ) + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG italic_R ( italic_ρ ) + ( divide start_ARG 2 italic_E end_ARG start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 1 end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Ξ² start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_R ( italic_ρ ) =0.absent0\displaystyle=0.= 0 . (S30)

Let

k2=2⁒Eℏ2,ΞΎ=k⁒ρ,formulae-sequencesuperscriptπ‘˜22𝐸superscriptPlanck-constant-over-2-pi2πœ‰π‘˜πœŒk^{2}=\frac{2E}{\hbar^{2}},\xi=k\rho,italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 2 italic_E end_ARG start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_ΞΎ = italic_k italic_ρ , (S31)

Eq.(S30) becomes

βˆ‚2Rβˆ‚ΞΎ2+1Οβ’βˆ‚Rβˆ‚ΞΎ+(1βˆ’1ΞΎ2⁒n2⁒π2Ξ²2)⁒R=0.superscript2𝑅superscriptπœ‰21πœŒπ‘…πœ‰11superscriptπœ‰2superscript𝑛2superscriptπœ‹2superscript𝛽2𝑅0\frac{\partial^{2}R}{\partial\xi^{2}}+\frac{1}{\rho}\frac{\partial R}{\partial% \xi}+(1-\frac{1}{\xi^{2}}\frac{n^{2}\pi^{2}}{\beta^{2}})R=0.divide start_ARG βˆ‚ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_R end_ARG start_ARG βˆ‚ italic_ΞΎ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ italic_R end_ARG start_ARG βˆ‚ italic_ΞΎ end_ARG + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_ΞΎ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Ο€ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Ξ² start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_R = 0 . (S32)

As the second kind of Bessel function (Neumann function) tends to βˆ’βˆž-\infty- ∞ when ρ→0β†’πœŒ0\rho\rightarrow 0italic_ρ β†’ 0, the physical solution to the above formula is a linear combination of the first kind of the Bessel function, [12]

Rl=Cl⁒Jl⁒(k⁒ρ).subscript𝑅𝑙subscript𝐢𝑙subscriptπ½π‘™π‘˜πœŒR_{l}=C_{l}J_{l}(k\rho).italic_R start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = italic_C start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_ρ ) . (S33)

For the following calculation, we replace the Bessel function with the Hankel function

Rl=Cl⁒[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)],subscript𝑅𝑙subscript𝐢𝑙delimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒR_{l}=C_{l}\left[H_{l}^{(1)}(k\rho)+H_{l}^{(2)}(k\rho)\right],italic_R start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = italic_C start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] , (S34)

where [12]

HΞ½(1)⁒(x)superscriptsubscript𝐻𝜈1π‘₯\displaystyle H_{\nu}^{(1)}(x)italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_x ) =1π⁒iβ’βˆ«βˆ’βˆžβˆž+π⁒iez⁒sinh⁑tβˆ’Ξ½β’t⁒𝑑t,absent1πœ‹π‘–superscriptsubscriptπœ‹π‘–superscriptπ‘’π‘§π‘‘πœˆπ‘‘differential-d𝑑\displaystyle=\frac{1}{\pi i}\int_{-\infty}^{\infty+\pi i}e^{z\sinh t-\nu t}dt,= divide start_ARG 1 end_ARG start_ARG italic_Ο€ italic_i end_ARG ∫ start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ + italic_Ο€ italic_i end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_z roman_sinh italic_t - italic_Ξ½ italic_t end_POSTSUPERSCRIPT italic_d italic_t , (S35)
HΞ½(2)⁒(x)superscriptsubscript𝐻𝜈2π‘₯\displaystyle H_{\nu}^{(2)}(x)italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_x ) =βˆ’1π⁒iβ’βˆ«βˆ’βˆžβˆžβˆ’Ο€β’iez⁒sinh⁑tβˆ’Ξ½β’t⁒𝑑t.absent1πœ‹π‘–superscriptsubscriptπœ‹π‘–superscriptπ‘’π‘§π‘‘πœˆπ‘‘differential-d𝑑\displaystyle=-\frac{1}{\pi i}\int_{-\infty}^{\infty-\pi i}e^{z\sinh t-\nu t}dt.= - divide start_ARG 1 end_ARG start_ARG italic_Ο€ italic_i end_ARG ∫ start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ - italic_Ο€ italic_i end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_z roman_sinh italic_t - italic_Ξ½ italic_t end_POSTSUPERSCRIPT italic_d italic_t .

The no-normalized wave function of this system can be written as

Ξ¨k,l⁒(ρ,ΞΈ)=R⁒(ρ)l⁒Φ⁒(ΞΈ)=[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒sin⁑l⁒θ.subscriptΞ¨π‘˜π‘™πœŒπœƒπ‘…subscriptπœŒπ‘™Ξ¦πœƒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™πœƒ\Psi_{k,l}(\rho,\theta)=R(\rho)_{l}\Phi(\theta)=[H_{l}^{(1)}(k\rho)+H_{l}^{(2)% }(k\rho)]\sin l\theta.roman_Ξ¨ start_POSTSUBSCRIPT italic_k , italic_l end_POSTSUBSCRIPT ( italic_ρ , italic_ΞΈ ) = italic_R ( italic_ρ ) start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT roman_Ξ¦ ( italic_ΞΈ ) = [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] roman_sin italic_l italic_ΞΈ . (S36)

The probability current density of the scattering wave function Eq.(18) can be divided into two equal and opposite parts without cross term

The incident and outgoing waves can be written as

Ξ¨i⁒nsuperscriptΨ𝑖𝑛\displaystyle\Psi^{in}roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT =Hl(1)⁒(k⁒ρ)⁒sin⁑l⁒θ,absentsuperscriptsubscript𝐻𝑙1π‘˜πœŒπ‘™πœƒ\displaystyle=H_{l}^{(1)}(k\rho)\sin l\theta,= italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ , (S37)
Ξ¨s⁒csuperscriptΨ𝑠𝑐\displaystyle\Psi^{sc}roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT =Hl(2)⁒(k⁒ρ)⁒sin⁑l⁒θ.absentsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™πœƒ\displaystyle=H_{l}^{(2)}(k\rho)\sin l\theta.= italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) roman_sin italic_l italic_ΞΈ .

The wave function is

Ξ¨=Ξ¨i⁒n+Ξ¨s⁒c=[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒sin⁑l⁒θ.Ξ¨superscriptΨ𝑖𝑛superscriptΨ𝑠𝑐delimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™πœƒ\Psi=\Psi^{in}+\Psi^{sc}=\left[H_{l}^{(1)}(k\rho)+H_{l}^{(2)}(k\rho)\right]% \sin l\theta.roman_Ξ¨ = roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT + roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT = [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] roman_sin italic_l italic_ΞΈ . (S38)

The probability current density is

J=12⁒(Ξ¨βˆ—β’Οβ’Ξ¨βˆ’Ξ¨β’Οβ’Ξ¨βˆ—)=βˆ’i⁒ℏ2⁒(Ξ¨βˆ—β’βˆ‡Ξ¨βˆ’Ξ¨β’βˆ‡Ξ¨βˆ—),𝐽12superscriptΞ¨βˆ—πœŒΞ¨Ξ¨πœŒsuperscriptΞ¨βˆ—π‘–Planck-constant-over-2-pi2superscriptΞ¨βˆ—βˆ‡Ξ¨Ξ¨βˆ‡superscriptΞ¨βˆ—J=\frac{1}{2}(\Psi^{\ast}\rho\Psi-\Psi\rho\Psi^{\ast})=-\frac{i\hbar}{2}(\Psi^% {\ast}\nabla\Psi-\Psi\nabla\Psi^{\ast}),italic_J = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT italic_ρ roman_Ξ¨ - roman_Ξ¨ italic_ρ roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT ) = - divide start_ARG italic_i roman_ℏ end_ARG start_ARG 2 end_ARG ( roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ - roman_Ξ¨ βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT ) , (S39)

where

βˆ‡=Οβ’βˆ‚βˆ‚Οβ’e→ρ+1Οβ’βˆ‚βˆ‚ΞΈβ’eβ†’ΞΈ.βˆ‡πœŒπœŒsubscriptβ†’π‘’πœŒ1πœŒπœƒsubscriptβ†’π‘’πœƒ\nabla=\rho\frac{\partial}{\partial\rho}\vec{e}_{\rho}+\frac{1}{\rho}\frac{% \partial}{\partial\theta}\vec{e}_{\theta}.βˆ‡ = italic_ρ divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ΞΈ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT . (S40)

Utilizing the properties [12]

HΞ½(1)β£βˆ—β’(x)superscriptsubscript𝐻𝜈1βˆ—π‘₯\displaystyle H_{\nu}^{(1)\ast}(x)italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) βˆ— end_POSTSUPERSCRIPT ( italic_x ) =HΞ½(2)⁒(x),absentsuperscriptsubscript𝐻𝜈2π‘₯\displaystyle=H_{\nu}^{(2)}(x),= italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_x ) , (S41)
βˆ‚βˆ‚x⁒Hν⁒(x)π‘₯subscript𝐻𝜈π‘₯\displaystyle\frac{\partial}{\partial x}H_{\nu}(x)divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_x end_ARG italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT ( italic_x ) =12⁒[HΞ½βˆ’1⁒(x)βˆ’HΞ½+1⁒(x)],absent12delimited-[]subscript𝐻𝜈1π‘₯subscript𝐻𝜈1π‘₯\displaystyle=\frac{1}{2}\left[H_{\nu-1}(x)-H_{\nu+1}(x)\right],= divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ italic_H start_POSTSUBSCRIPT italic_Ξ½ - 1 end_POSTSUBSCRIPT ( italic_x ) - italic_H start_POSTSUBSCRIPT italic_Ξ½ + 1 end_POSTSUBSCRIPT ( italic_x ) ] ,

one can calculate the probability current density of the incident wave as

Ji⁒n=βˆ’i⁒ℏ2⁒(Ξ¨i⁒nβ£βˆ—β’βˆ‡Ξ¨i⁒nβˆ’Ξ¨i⁒nβ’βˆ‡Ξ¨i⁒nβ£βˆ—).superscript𝐽𝑖𝑛𝑖Planck-constant-over-2-pi2superscriptΞ¨π‘–π‘›βˆ—βˆ‡superscriptΨ𝑖𝑛superscriptΞ¨π‘–π‘›βˆ‡superscriptΞ¨π‘–π‘›βˆ—J^{in}=-\frac{i\hbar}{2}\left(\Psi^{in\ast}\nabla\Psi^{in}-\Psi^{in}\nabla\Psi% ^{in\ast}\right).italic_J start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT = - divide start_ARG italic_i roman_ℏ end_ARG start_ARG 2 end_ARG ( roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT - roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n βˆ— end_POSTSUPERSCRIPT ) . (S42)

The first term of the above formula is

Ξ¨i⁒nβ£βˆ—β’βˆ‡Ξ¨i⁒nsuperscriptΞ¨π‘–π‘›βˆ—βˆ‡superscriptΨ𝑖𝑛\displaystyle\Psi^{in\ast}\nabla\Psi^{in}roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT =ρ⁒sin2⁑(l⁒θ)⁒Hl(2)⁒(k⁒ρ)β’βˆ‚βˆ‚Οβ’Hl(1)⁒(k⁒ρ)⁒e→ρabsent𝜌superscript2π‘™πœƒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπœŒsuperscriptsubscript𝐻𝑙1π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\rho\sin^{2}\left(l\theta\right)H_{l}^{(2)}(k\rho)\frac{\partial% }{\partial\rho}H_{l}^{(1)}(k\rho)\vec{e}_{\rho}= italic_ρ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+Hl(1)⁒(k⁒ρ)⁒Hl(2)⁒(k⁒ρ)⁒l⁒sin⁑l⁒θ⁒cos⁑l⁒θρ⁒eβ†’ΞΈsuperscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™π‘™πœƒπ‘™πœƒπœŒsubscriptβ†’π‘’πœƒ\displaystyle+H_{l}^{(1)}(k\rho)H_{l}^{(2)}(k\rho)\frac{l\sin l\theta\cos l% \theta}{\rho}\vec{e}_{\theta}+ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) divide start_ARG italic_l roman_sin italic_l italic_ΞΈ roman_cos italic_l italic_ΞΈ end_ARG start_ARG italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT
=k⁒ρ2⁒sin2⁑(l⁒θ)⁒Hl(2)⁒(k⁒ρ)⁒(Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ))⁒e→ρabsentπ‘˜πœŒ2superscript2π‘™πœƒsuperscriptsubscript𝐻𝑙2π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\frac{k\rho}{2}\sin^{2}\left(l\theta\right)H_{l}^{(2)}(k\rho)% \left(H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}(k\rho)\right)\vec{e}_{\rho}= divide start_ARG italic_k italic_ρ end_ARG start_ARG 2 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ( italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ) overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+Hl(1)⁒(k⁒ρ)⁒Hl(2)⁒(k⁒ρ)⁒l⁒sin⁑l⁒θ⁒cos⁑l⁒θρ⁒e→θ⁒,superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™π‘™πœƒπ‘™πœƒπœŒsubscriptβ†’π‘’πœƒ,\displaystyle+H_{l}^{(1)}(k\rho)H_{l}^{(2)}(k\rho)\frac{l\sin l\theta\cos l% \theta}{\rho}\vec{e}_{\theta}\text{,}+ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) divide start_ARG italic_l roman_sin italic_l italic_ΞΈ roman_cos italic_l italic_ΞΈ end_ARG start_ARG italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT , (S43)

and the second one is

Ξ¨i⁒nβ’βˆ‡Ξ¨i⁒nβ£βˆ—superscriptΞ¨π‘–π‘›βˆ‡superscriptΞ¨π‘–π‘›βˆ—\displaystyle\Psi^{in}\nabla\Psi^{in\ast}roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n βˆ— end_POSTSUPERSCRIPT =ρ⁒sin2⁑(l⁒θ)⁒Hl(1)⁒(k⁒ρ)β’βˆ‚βˆ‚Οβ’Hl(2)⁒(k⁒ρ)⁒e→ρabsent𝜌superscript2π‘™πœƒsuperscriptsubscript𝐻𝑙1π‘˜πœŒπœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\rho\sin^{2}\left(l\theta\right)H_{l}^{(1)}(k\rho)\frac{\partial% }{\partial\rho}H_{l}^{(2)}(k\rho)\vec{e}_{\rho}= italic_ρ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+Hl(1)⁒(k⁒ρ)⁒Hl(2)⁒(k⁒ρ)⁒l⁒sin⁑l⁒θ⁒cos⁑l⁒θρ⁒eβ†’ΞΈsuperscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™π‘™πœƒπ‘™πœƒπœŒsubscriptβ†’π‘’πœƒ\displaystyle+H_{l}^{(1)}(k\rho)H_{l}^{(2)}(k\rho)\frac{l\sin l\theta\cos l% \theta}{\rho}\vec{e}_{\theta}+ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) divide start_ARG italic_l roman_sin italic_l italic_ΞΈ roman_cos italic_l italic_ΞΈ end_ARG start_ARG italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT
=k⁒ρ2⁒sin2⁑(l⁒θ)⁒Hl(1)⁒(k⁒ρ)⁒(Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ))⁒e→ρabsentπ‘˜πœŒ2superscript2π‘™πœƒsuperscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\frac{k\rho}{2}\sin^{2}\left(l\theta\right)H_{l}^{(1)}(k\rho)% \left(H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}(k\rho)\right)\vec{e}_{\rho}= divide start_ARG italic_k italic_ρ end_ARG start_ARG 2 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ( italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ) overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+Hl(1)⁒(k⁒ρ)⁒Hl(2)⁒(k⁒ρ)⁒l⁒sin⁑l⁒θ⁒cos⁑l⁒θρ⁒eβ†’ΞΈ.superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™π‘™πœƒπ‘™πœƒπœŒsubscriptβ†’π‘’πœƒ\displaystyle+H_{l}^{(1)}(k\rho)H_{l}^{(2)}(k\rho)\frac{l\sin l\theta\cos l% \theta}{\rho}\vec{e}_{\theta}.+ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) divide start_ARG italic_l roman_sin italic_l italic_ΞΈ roman_cos italic_l italic_ΞΈ end_ARG start_ARG italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT . (S44)

Then, Eq.(S44) becomes

Ji⁒nsuperscript𝐽𝑖𝑛\displaystyle J^{in}italic_J start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT =βˆ’i⁒ℏ2⁒(Ξ¨i⁒nβ£βˆ—β’βˆ‡Ξ¨i⁒nβˆ’Ξ¨i⁒nβ’βˆ‡Ξ¨i⁒nβ£βˆ—)absent𝑖Planck-constant-over-2-pi2superscriptΞ¨π‘–π‘›βˆ—βˆ‡superscriptΨ𝑖𝑛superscriptΞ¨π‘–π‘›βˆ‡superscriptΞ¨π‘–π‘›βˆ—\displaystyle=-\frac{i\hbar}{2}\left(\Psi^{in\ast}\nabla\Psi^{in}-\Psi^{in}% \nabla\Psi^{in\ast}\right)= - divide start_ARG italic_i roman_ℏ end_ARG start_ARG 2 end_ARG ( roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT - roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n βˆ— end_POSTSUPERSCRIPT ) (S45)
=βˆ’i⁒ℏ⁒k⁒ρ4⁒sin2⁑(l⁒θ)⁒[Hl(2)⁒(k⁒ρ)⁒(Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ))βˆ’Hl(1)⁒(k⁒ρ)⁒(Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ))]⁒e→ρ.absent𝑖Planck-constant-over-2-piπ‘˜πœŒ4superscript2π‘™πœƒdelimited-[]superscriptsubscript𝐻𝑙2π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=-\frac{i\hbar k\rho}{4}\sin^{2}\left(l\theta\right)\left[H_{l}^{% (2)}(k\rho)\left(H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}(k\rho)\right)-H_{l}^{(1)}(% k\rho)\left(H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}(k\rho)\right)\right]\vec{e}_{% \rho}.= - divide start_ARG italic_i roman_ℏ italic_k italic_ρ end_ARG start_ARG 4 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ( italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ) - italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ( italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ) ] overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT .

Similarly, the probability current density of the radio wave can be obtained

Js⁒csuperscript𝐽𝑠𝑐\displaystyle J^{sc}italic_J start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT =βˆ’i⁒ℏ2⁒(Ξ¨s⁒cβ£βˆ—β’βˆ‡Ξ¨s⁒cβˆ’Ξ¨s⁒cβ’βˆ‡Ξ¨s⁒cβ£βˆ—)absent𝑖Planck-constant-over-2-pi2superscriptΞ¨π‘ π‘βˆ—βˆ‡superscriptΨ𝑠𝑐superscriptΞ¨π‘ π‘βˆ‡superscriptΞ¨π‘ π‘βˆ—\displaystyle=-\frac{i\hbar}{2}\left(\Psi^{sc\ast}\nabla\Psi^{sc}-\Psi^{sc}% \nabla\Psi^{sc\ast}\right)= - divide start_ARG italic_i roman_ℏ end_ARG start_ARG 2 end_ARG ( roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT - roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c βˆ— end_POSTSUPERSCRIPT ) (S46)
=βˆ’i⁒ℏ⁒k⁒ρ4⁒sin2⁑(l⁒θ)⁒[Hl(1)⁒(k⁒ρ)⁒(Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ))βˆ’Hl(2)⁒(k⁒ρ)⁒(Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ))]⁒e→ρ.absent𝑖Planck-constant-over-2-piπ‘˜πœŒ4superscript2π‘™πœƒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=-\frac{i\hbar k\rho}{4}\sin^{2}\left(l\theta\right)\left[H_{l}^{% (1)}(k\rho)\left(H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}(k\rho)\right)-H_{l}^{(2)}(% k\rho)\left(H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}(k\rho)\right)\right]\vec{e}_{% \rho}.= - divide start_ARG italic_i roman_ℏ italic_k italic_ρ end_ARG start_ARG 4 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ( italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ) - italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ( italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ) ] overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT .

Then we calculate the probability current density of the wave function. Its first item is

Ξ¨βˆ—β’βˆ‡Ξ¨superscriptΞ¨βˆ—βˆ‡Ξ¨\displaystyle\Psi^{\ast}\nabla\Psiroman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ =ρ⁒sin2⁑(l⁒θ)⁒[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]β’βˆ‚βˆ‚Οβ’[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒e→ρabsent𝜌superscript2π‘™πœƒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπœŒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\rho\sin^{2}\left(l\theta\right)\left[H_{l}^{(1)}(k\rho)+H_{l}^{% (2)}(k\rho)\right]\frac{\partial}{\partial\rho}\left[H_{l}^{(1)}(k\rho)+H_{l}^% {(2)}(k\rho)\right]\vec{e}_{\rho}= italic_ρ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ρ end_ARG [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒1ρ⁒sin⁑lβ’ΞΈβ’βˆ‚βˆ‚ΞΈβ’sin⁑l⁒θ⁒eβ†’ΞΈdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒ1πœŒπ‘™πœƒπœƒπ‘™πœƒsubscriptβ†’π‘’πœƒ\displaystyle+\left[H_{l}^{(1)}(k\rho)+H_{l}^{(2)}(k\rho)\right]\left[H_{l}^{(% 1)}(k\rho)+H_{l}^{(2)}(k\rho)\right]\frac{1}{\rho}\sin l\theta\frac{\partial}{% \partial\theta}\sin l\theta\vec{e}_{\theta}+ [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] divide start_ARG 1 end_ARG start_ARG italic_ρ end_ARG roman_sin italic_l italic_ΞΈ divide start_ARG βˆ‚ end_ARG start_ARG βˆ‚ italic_ΞΈ end_ARG roman_sin italic_l italic_ΞΈ overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT
=k⁒ρ2⁒sin2⁑(l⁒θ)⁒[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒[Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ)+Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ)]⁒e→ρabsentπ‘˜πœŒ2superscript2π‘™πœƒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\frac{k\rho}{2}\sin^{2}\left(l\theta\right)\left[H_{l}^{(1)}(k% \rho)+H_{l}^{(2)}(k\rho)\right]\left[H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}(k\rho)% +H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}\left(k\rho\right)\right]\vec{e}_{\rho}= divide start_ARG italic_k italic_ρ end_ARG start_ARG 2 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] [ italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒[Hl(1)⁒(k⁒ρ)+Hl(2)⁒(k⁒ρ)]⁒l⁒sin⁑l⁒θ⁒cos⁑l⁒θρ⁒eβ†’ΞΈ,delimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙1π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒπ‘™π‘™πœƒπ‘™πœƒπœŒsubscriptβ†’π‘’πœƒ\displaystyle+\left[H_{l}^{(1)}(k\rho)+H_{l}^{(2)}(k\rho)\right]\left[H_{l}^{(% 1)}(k\rho)+H_{l}^{(2)}(k\rho)\right]\frac{l\sin l\theta\cos l\theta}{\rho}\vec% {e}_{\theta},+ [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] divide start_ARG italic_l roman_sin italic_l italic_ΞΈ roman_cos italic_l italic_ΞΈ end_ARG start_ARG italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT , (S47)

the second is

Ξ¨β’βˆ‡Ξ¨βˆ—Ξ¨βˆ‡superscriptΞ¨βˆ—\displaystyle\Psi\nabla\Psi^{\ast}roman_Ξ¨ βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT =k⁒ρ2⁒sin2⁑(l⁒θ)⁒[Hl(2)⁒(k⁒ρ)+Hl(1)⁒(k⁒ρ)]⁒[Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ)+Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ)]⁒e→ρabsentπ‘˜πœŒ2superscript2π‘™πœƒdelimited-[]superscriptsubscript𝐻𝑙2π‘˜πœŒsuperscriptsubscript𝐻𝑙1π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=\frac{k\rho}{2}\sin^{2}\left(l\theta\right)\left[H_{l}^{(2)}(k% \rho)+H_{l}^{(1)}(k\rho)\right]\left[H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}(k\rho)% +H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}\left(k\rho\right)\right]\vec{e}_{\rho}= divide start_ARG italic_k italic_ρ end_ARG start_ARG 2 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] [ italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
+[Hl(2)⁒(k⁒ρ)+Hl(1)⁒(k⁒ρ)]⁒[Hl(2)⁒(k⁒ρ)+Hl(1)⁒(k⁒ρ)]⁒l⁒sin⁑l⁒θ⁒cos⁑l⁒θρ⁒eβ†’ΞΈ.delimited-[]superscriptsubscript𝐻𝑙2π‘˜πœŒsuperscriptsubscript𝐻𝑙1π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙2π‘˜πœŒsuperscriptsubscript𝐻𝑙1π‘˜πœŒπ‘™π‘™πœƒπ‘™πœƒπœŒsubscriptβ†’π‘’πœƒ\displaystyle+\left[H_{l}^{(2)}(k\rho)+H_{l}^{(1)}(k\rho)\right]\left[H_{l}^{(% 2)}(k\rho)+H_{l}^{(1)}(k\rho)\right]\frac{l\sin l\theta\cos l\theta}{\rho}\vec% {e}_{\theta}.+ [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] [ italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) + italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] divide start_ARG italic_l roman_sin italic_l italic_ΞΈ roman_cos italic_l italic_ΞΈ end_ARG start_ARG italic_ρ end_ARG overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT . (S48)

So, the probability current density of the wave function is

J𝐽\displaystyle Jitalic_J =βˆ’i⁒ℏ2⁒(Ξ¨βˆ—β’βˆ‡Ξ¨βˆ’Ξ¨β’βˆ‡Ξ¨βˆ—)absent𝑖Planck-constant-over-2-pi2superscriptΞ¨βˆ—βˆ‡Ξ¨Ξ¨βˆ‡superscriptΞ¨βˆ—\displaystyle=-\frac{i\hbar}{2}(\Psi^{\ast}\nabla\Psi-\Psi\nabla\Psi^{\ast})= - divide start_ARG italic_i roman_ℏ end_ARG start_ARG 2 end_ARG ( roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT βˆ‡ roman_Ξ¨ - roman_Ξ¨ βˆ‡ roman_Ξ¨ start_POSTSUPERSCRIPT βˆ— end_POSTSUPERSCRIPT )
=βˆ’i⁒ℏ⁒k⁒ρ4⁒sin2⁑(l⁒θ)⁒(Hl(2)⁒(k⁒ρ)⁒[Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ)]βˆ’Hl(1)⁒(k⁒ρ)⁒[Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ)])⁒e→ρabsent𝑖Planck-constant-over-2-piπ‘˜πœŒ4superscript2π‘™πœƒsuperscriptsubscript𝐻𝑙2π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙1π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle=-\frac{i\hbar k\rho}{4}\sin^{2}\left(l\theta\right)\left(H_{l}^{% (2)}(k\rho)\left[H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}(k\rho)\right]-H_{l}^{(1)}(% k\rho)\left[H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}(k\rho)\right]\right)\vec{e}_{\rho}= - divide start_ARG italic_i roman_ℏ italic_k italic_ρ end_ARG start_ARG 4 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) ( italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) [ italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] - italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) [ italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] ) overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
βˆ’i⁒ℏ⁒k⁒ρ4⁒sin2⁑(l⁒θ)⁒(Hl(1)⁒(k⁒ρ)⁒[Hlβˆ’1(2)⁒(k⁒ρ)βˆ’Hl+1(2)⁒(k⁒ρ)]βˆ’Hl(2)⁒(k⁒ρ)⁒[Hlβˆ’1(1)⁒(k⁒ρ)βˆ’Hl+1(1)⁒(k⁒ρ)])⁒e→ρ𝑖Planck-constant-over-2-piπ‘˜πœŒ4superscript2π‘™πœƒsuperscriptsubscript𝐻𝑙1π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙12π‘˜πœŒsuperscriptsubscript𝐻𝑙2π‘˜πœŒdelimited-[]superscriptsubscript𝐻𝑙11π‘˜πœŒsuperscriptsubscript𝐻𝑙11π‘˜πœŒsubscriptβ†’π‘’πœŒ\displaystyle-\frac{i\hbar k\rho}{4}\sin^{2}\left(l\theta\right)\left(H_{l}^{(% 1)}(k\rho)\left[H_{l-1}^{(2)}(k\rho)-H_{l+1}^{(2)}\left(k\rho\right)\right]-H_% {l}^{(2)}(k\rho)\left[H_{l-1}^{(1)}(k\rho)-H_{l+1}^{(1)}\left(k\rho\right)% \right]\right)\vec{e}_{\rho}- divide start_ARG italic_i roman_ℏ italic_k italic_ρ end_ARG start_ARG 4 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_l italic_ΞΈ ) ( italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) [ italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] - italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) [ italic_H start_POSTSUBSCRIPT italic_l - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) - italic_H start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_k italic_ρ ) ] ) overβ†’ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT
=Ji⁒n+Js⁒c=0.absentsuperscript𝐽𝑖𝑛superscript𝐽𝑠𝑐0\displaystyle=J^{in}+J^{sc}=0.= italic_J start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT + italic_J start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT = 0 . (S49)

It is clear that, the ecurrent density of the stationary wave function Eq.(18) in the main text can be divided into the incident and outgoing parts, which are opposite, without cross term.