Abstract
Galperin introduced an interesting method to learn the digits of Ο π \pi italic_Ο 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 Ο π \pi italic_Ο 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 Ο π \pi italic_Ο has attracted interest in human history.
There are various elegant ways to determine Ο π \pi italic_Ο 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 Ο π \pi italic_Ο , 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 M m = 100 N π π superscript 100 π \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 [ Ο β’ 10 N ] delimited-[] π superscript 10 π [\pi 10^{N}] [ italic_Ο 10 start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ]
where [ ]
[\ ] [ ] is the greatest integer function.
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 Ο π \pi italic_Ο 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 π₯ x italic_x and y π¦ y italic_y denote the positions of the big and small balls, respectively. The small ball satisfies the SchrΓΆdinger equation
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 π n italic_n =3.
i β’ β β’ β β t β’ Ξ¨ β’ ( y , t ) = [ β β 2 2 β’ m β’ β 2 β y 2 + V β’ ( y ) ] β’ Ξ¨ β’ ( y , t ) , π Planck-constant-over-2-pi π‘ Ξ¨ π¦ π‘ delimited-[] superscript Planck-constant-over-2-pi 2 2 π superscript 2 superscript π¦ 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 π m italic_m is its mass and
V β’ ( y ) = { 0 , 0 β©½ y β©½ x , + β , otherwise . π π¦ cases 0 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 π₯ x italic_x
of the big ball is fixed, and the wave function of the small ball is given by
Ξ¨ = β n = 1 + β C n β’ Ξ¨ n β’ e β i β’ 1 β β’ β« 0 t E n β’ π t + i β’ Ξ³ n , Ξ¨ superscript subscript π 1 subscript πΆ π subscript Ξ¨ π superscript π π 1 Planck-constant-over-2-pi superscript subscript 0 π‘ 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 E n = n 2 β’ Ο 2 β’ β 2 2 β’ m β’ x 2 subscript πΈ π superscript π 2 superscript π 2 superscript Planck-constant-over-2-pi 2 2 π superscript π₯ 2 E_{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 = 2 x β’ sin β‘ n β’ Ο β’ y x subscript Ξ¨ π 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 Ξ³ n subscript πΎ π \gamma_{n} italic_Ξ³ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the Berry phase gained by the eigenstate Ξ¨ n subscript Ξ¨ π \Psi_{n} roman_Ξ¨ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT as the big ball coordinate has changed from the initial position to the position x π₯ x italic_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 π₯ x italic_x (big ball position) are + β +\infty + β , and the final time t β + β β π‘ t\rightarrow+\infty italic_t β + β . The kinetic energy of the quantum small ball is close to zero at the beginning and end.
The Berry phase for the n π n italic_n th eigenstate can be
Ξ³ n = i β’ β« 0 t β¨ Ξ¨ n | d d β’ t | Ξ¨ n β© β’ π t = 0 , subscript πΎ π π superscript subscript 0 π‘ quantum-operator-product subscript Ξ¨ π π π π‘ 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 β© = 0 quantum-operator-product subscript Ξ¨ π π 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
Ξ¨ = 1 2 β’ ( Ξ¨ n β’ e β i β’ 1 β β’ β« 0 t E n β’ π t + Ξ¨ n + 1 β’ e β i β’ 1 β β’ β« 0 t E n + 1 β’ π t ) . Ξ¨ 1 2 subscript Ξ¨ π superscript π π 1 Planck-constant-over-2-pi superscript subscript 0 π‘ subscript πΈ π differential-d π‘ subscript Ξ¨ π 1 superscript π π 1 Planck-constant-over-2-pi superscript subscript 0 π‘ subscript πΈ π 1 differential-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 | Ξ¨ β© absent quantum-operator-product Ξ¨ π¦ Ξ¨ \displaystyle={\langle}\Psi|y|\Psi{\rangle} = β¨ roman_Ξ¨ | italic_y | roman_Ξ¨ β©
= x 2 β x Ο 2 β’ 8 β’ n β’ ( n + 1 ) ( 2 β’ n + 1 ) 2 β’ cos β’ β« 0 t E n + 1 β E n β β’ π t . absent π₯ 2 π₯ superscript π 2 8 π π 1 superscript 2 π 1 2 superscript subscript 0 π‘ subscript πΈ π 1 subscript πΈ π Planck-constant-over-2-pi differential-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 x 2 π₯ 2 \frac{x}{2} divide start_ARG italic_x end_ARG start_ARG 2 end_ARG at the Bohr frequency E n + 1 β E n β subscript πΈ π 1 subscript πΈ π 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 Ο π \pi italic_Ο , 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 = 1 2 β’ ( E n + E n + 1 ) = 2 β’ n 2 + 2 β’ n + 1 2 β’ Ο 2 β’ β 2 m β’ x 2 . πΈ 1 2 subscript πΈ π subscript πΈ π 1 2 superscript π 2 2 π 1 2 superscript π 2 superscript Planck-constant-over-2-pi 2 π 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 β’ n 2 + 2 β’ n + 1 2 β’ Ο 2 β’ β 2 m β’ ( 1 x min 2 β 1 x 2 ) = 1 2 β’ M β’ v 2 , 2 superscript π 2 2 π 1 2 superscript π 2 superscript Planck-constant-over-2-pi 2 π 1 superscript subscript π₯ 2 1 superscript π₯ 2 1 2 π 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 β’ x d β’ 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 π M italic_M is the mass of the classical ball, and x min subscript π₯ 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 π‘ t italic_t to x π₯ x italic_x .
It is obtained as
β« 0 + β E n + 1 β E n β β’ π t = 4 β’ n 2 + 4 β’ n + 1 4 β’ n 2 + 4 β’ n + 2 β’ Ο 2 β’ R , superscript subscript 0 subscript πΈ π 1 subscript πΈ π Planck-constant-over-2-pi differential-d π‘ 4 superscript π 2 4 π 1 4 superscript π 2 4 π 2 superscript π 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 = M m π
π π 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 β’ n 2 + 4 β’ n + 1 4 β’ n 2 + 4 β’ n + 2 β’ Ο β’ R 4 superscript π 2 4 π 1 4 superscript π 2 4 π 2 π π
\sqrt{\frac{4n^{2}+4n+1}{4n^{2}+4n+2}}\pi R 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_Ο italic_R ,
which does not depend on x min subscript π₯ 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 β’ R superscript π 2 π
\pi^{2}R italic_Ο 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}R italic_Ξ² = roman_arccot italic_R 8 .
When n β + β β π n\rightarrow+\infty italic_n β + β and R β + β β π
R\rightarrow+\infty italic_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}x italic_Ο = square-root start_ARG italic_M end_ARG italic_x in the semiclassical model while Ο = M β’ x 2 + m β’ y 2 π π 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 Ο min subscript π \rho_{\min} italic_Ο start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT are their minimums. Here, we mix y π¦ y italic_y in Ο π \rho italic_Ο for the classical model to avoid the case that x π₯ x italic_x may remain stationary in a finite time interval at its retracing point. When M β« m much-greater-than π π M\gg m italic_M β« italic_m , the two definitions of Ο π \rho italic_Ο consistent with each other.
As t π‘ t italic_t increases from 0 0 to + β +\infty + β ,
the value of Ξ± πΌ \alpha italic_Ξ± 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 Ο π \rho italic_Ο decreases from + β +\infty + β to Ο min subscript π \rho_{\min} italic_Ο start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT and then goes back to + β +\infty + β .
Using Ξ± πΌ \alpha italic_Ξ± as the variable, in Fig. 3 , we
show x π₯ x italic_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 π n italic_n increases.
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/10 italic_Ξ² = italic_Ο / 10 .
The three curves are obtained for the classical model (solid blue line),
the semiclassical model with quantum number n = 1 π 1 n=1 italic_n = 1 (dashed red line),
and
n = 10 π 10 n=10 italic_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
[ β β 2 2 β’ M β’ β 2 β x 2 β β 2 2 β’ m β’ β 2 β y 2 + V β’ ( x , y ) ] β’ Ξ¨ β’ ( x , y ) = E β’ Ξ¨ β’ ( x , y ) . delimited-[] superscript Planck-constant-over-2-pi 2 2 π superscript 2 superscript π₯ 2 superscript Planck-constant-over-2-pi 2 2 π superscript 2 superscript π¦ 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 π₯ x italic_x and y π¦ y italic_y denote respectively the positions of the big ball of mass M π M italic_M and the small ball of mass m π m italic_m , respectively and
V β’ ( x , y ) = { 0 , 0 β©½ y β©½ x , + β , otherwise . π π₯ π¦ cases 0 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)
[ β β 2 2 β’ ( β 2 β Ο 2 + 1 Ο β’ β β Ο + 1 Ο 2 β’ β 2 β ΞΈ 2 ) + V β’ ( ΞΈ ) ] β’ Ξ¨ β’ ( Ο , ΞΈ ) = E β’ Ξ¨ β’ ( Ο , ΞΈ ) , delimited-[] superscript Planck-constant-over-2-pi 2 2 superscript 2 superscript π 2 1 π π 1 superscript π 2 superscript 2 superscript π 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 β‘ m M , + β , otherwise π π cases 0 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 β« m much-greater-than π π M\gg m italic_M β« italic_m ,
Ο β M β’ x π π π₯ \rho\approx\sqrt{M}x italic_Ο β 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 .
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 y x β [ 0 , m M ] π¦ π₯ 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 Ο π \rho italic_Ο ,
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)=0 roman_Ξ¦ ( italic_ΞΈ ) = 0 when ΞΈ β [ 0 , Ξ² ] π 0 π½ \theta\notin[0,\beta] italic_ΞΈ β [ 0 , italic_Ξ² ] .
The SchrΓΆdinger equation turns to
β β 2 β ΞΈ 2 β’ Ξ¦ β’ ( ΞΈ ) = l 2 β’ Ξ¦ β’ ( ΞΈ ) , superscript 2 superscript π 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)
β β 2 2 β’ ( β 2 β Ο 2 + 1 Ο β’ β β Ο β l 2 Ο 2 ) β’ R β’ ( Ο ) = E β’ R β’ ( Ο ) . superscript Planck-constant-over-2-pi 2 2 superscript 2 superscript π 2 1 π π superscript π 2 superscript π 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\theta roman_Ξ¦ ( 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 β’ β¦ π 1 2 3 β¦
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 0 italic_Ο β 0 7 .
Here, we write the common eigenfunctions in terms of the Hankel functions as
Ξ¨ k , l β’ ( Ο , ΞΈ ) = [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ sin β‘ l β’ ΞΈ , subscript Ξ¨ π π
π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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-pi k={\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 H l ( 1 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ superscript subscript π» π 1 π π π π 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_ΞΈ and H l ( 2 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ superscript subscript π» π 2 π π π π 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_ΞΈ respectively.
In addition, when Ο β β β π \rho\rightarrow\infty italic_Ο β β 7 ,
H l ( 1 ) β’ ( k β’ Ο ) superscript subscript π» π 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 β’ Ο β’ e i [ ( k Ο β ( l + 1 2 ) Ο 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)
H l ( 2 ) β’ ( k β’ Ο ) superscript subscript π» π 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 + 1 2 ) β’ Ο 2 ] , absent 2 π π π superscript π π delimited-[] π π π 1 2 π 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, H l ( 1 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ superscript subscript π» π 1 π π π π 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_ΞΈ and H l ( 2 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ superscript subscript π» π 2 π π π π 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_ΞΈ
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 π₯ x italic_x -axis,
the incident direction makes a difference of at most 1 1 1 1
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 + 1 2 ) β’ Ο = ( n β’ Ο Ξ² + 1 2 ) β’ Ο . πΏ π π 1 2 π π π π½ 1 2 π \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 π k italic_k , or energy E πΈ E italic_E equivalently,
and
can be regarded as the phase gained by the standing wave sin β‘ l β’ ΞΈ π π \sin l\theta roman_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 β« m much-greater-than π π M\gg m italic_M β« italic_m , it becomes Ξ β’ Ξ΄ = Ο 2 β’ R Ξ πΏ superscript π 2 π
\Delta\delta=\pi^{2}R roman_Ξ 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 π¦ y italic_y between 0 0 and x π₯ x italic_x , i.e., ΞΈ π \theta italic_ΞΈ between 0 0 and Ξ² π½ \beta italic_Ξ² ,
we consider a superposition of two eigenfunctions with the same energy and adjacent angular quantum number l π l italic_l as
Ξ¨ = Ξ¨ k , l + e i β’ 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 e i β’ 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 = H l ( 1 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ + e i β’ c β’ Ο β’ H l β² ( 1 ) β’ ( k β’ Ο ) β’ sin β‘ l β² β’ ΞΈ , superscript Ξ¨ in superscript subscript π» π 1 π π π π superscript π π π π superscript subscript π» 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 Ο π \rho italic_Ο ,
the average values of ΞΈ π \theta italic_ΞΈ in the incident wave is
ΞΈ Β― β’ ( Ο ) = β« Ξ¨ in β β’ ΞΈ β’ Ξ¨ in β’ π ΞΈ β« Ξ¨ in β β’ Ξ¨ in β’ π ΞΈ Β― π π superscript superscript Ξ¨ in β π superscript Ξ¨ in differential-d π superscript superscript Ξ¨ in β superscript Ξ¨ in differential-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 β’ e i β’ c β’ Ο β’ H l ( 2 ) β’ H l β² ( 1 ) + e β i β’ c β’ Ο β’ H l ( 1 ) β’ H l β² ( 2 ) H l ( 1 ) β’ H l ( 2 ) + H l β² ( 1 ) β’ H l β² ( 2 ) , absent π½ 2 π½ superscript π 2 8 π π 1 superscript 2 π 1 2 superscript π π π π superscript subscript π» π 2 superscript subscript π» superscript π β² 1 superscript π π π π superscript subscript π» π 1 superscript subscript π» superscript π β² 2 superscript subscript π» π 1 superscript subscript π» π 2 superscript subscript π» superscript π β² 1 superscript subscript π» 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\rho italic_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 Ο π \rho italic_Ο
depends on the relative phase between H l ( 1 ) superscript subscript π» π 1 H_{l}^{(1)} italic_H start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT and H l β² ( 2 ) superscript subscript π» superscript π β² 2 H_{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 ) superscript subscript π» πΎ 1
superscript subscript π» πΎ 2 H_{\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 β’ Ο ) | superscript subscript π» πΎ 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\rho italic_k italic_Ο .
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/10 italic_Ξ² = 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 ΞΈ π \theta italic_ΞΈ , as functions of
Ξ· = arccos β‘ l k β’ Ο . π π π π \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 Ξ· π \eta italic_Ξ· increases from 0 0 to Ο 2 π 2 \frac{\pi}{2} divide start_ARG italic_Ο end_ARG start_ARG 2 end_ARG ,
the value of Ο π \rho italic_Ο changes continuously from l k π π \frac{l}{k} divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG to + β +\infty + β .
Here, l k π π \frac{l}{k} divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG is the quantum correspondence of the minimum of Ο π \rho italic_Ο 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 Ξ· π \eta italic_Ξ· in the classical model is defined by replacing l k π π \frac{l}{k} divide start_ARG italic_l end_ARG start_ARG italic_k end_ARG with Ο min subscript π \rho_{\min} italic_Ο start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT in eq.(32 ).
Although the value of Ο π \rho italic_Ο is allowed to be less than l k π π \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 Ο < l k π π π \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 Ξ· π \eta italic_Ξ· is near zero.
The region becomes smaller as the quantum number l π l italic_l increases. When l β + β β π l\rightarrow+\infty italic_l β + β , this region almost disappears, and the period of the quantum oscillation is consistent with the one of the classical collisions.
The scattering wave function of the fully quantum model
The stationary SchrΓΆdinger equation of the fully quantum model can be
written as
β β 2 2 β’ ( β 2 β Ο 2 + 1 Ο β’ β β Ο + 1 Ο 2 β’ β 2 β ΞΈ 2 ) β’ Ξ¨ β’ ( Ο , ΞΈ ) + V β’ ( ΞΈ ) β’ Ξ¨ β’ ( Ο , ΞΈ ) = E β’ Ξ¨ β’ ( Ο , ΞΈ ) . superscript Planck-constant-over-2-pi 2 2 superscript 2 superscript π 2 1 π π 1 superscript π 2 superscript 2 superscript π 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
β β 2 2 β’ 1 Ο 2 β’ β 2 β ΞΈ 2 β’ Ξ¦ β’ ( ΞΈ ) + V β’ ( ΞΈ ) β’ Ξ¦ β’ ( ΞΈ ) superscript Planck-constant-over-2-pi 2 2 1 superscript π 2 superscript 2 superscript π 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 ΞΈ β’ Ξ¦ β’ ( ΞΈ ) , absent subscript πΈ π Ξ¦ π \displaystyle=E_{\theta}\Phi(\theta), = italic_E start_POSTSUBSCRIPT italic_ΞΈ end_POSTSUBSCRIPT roman_Ξ¦ ( italic_ΞΈ ) ,
(S24)
β β 2 2 β’ ( β 2 β Ο 2 + 1 Ο β’ β β Ο + 2 β’ E ΞΈ β 2 ) β’ R β’ ( Ο ) superscript Planck-constant-over-2-pi 2 2 superscript 2 superscript π 2 1 π π 2 subscript πΈ π superscript Planck-constant-over-2-pi 2 π
π \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
l 2 = 2 β’ Ο 2 β’ E ΞΈ β 2 , superscript π 2 2 superscript π 2 subscript πΈ π superscript Planck-constant-over-2-pi 2 l^{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 β’ Ξ¦ β’ ( ΞΈ ) + l 2 β’ Ξ¦ β’ ( ΞΈ ) = 0 , ( 0 β©½ ΞΈ β©½ Ξ² ) . superscript 2 superscript π 2 Ξ¦ π superscript π 2 Ξ¦ π 0 0 π π½
\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 π π π π½ π 1 2 3 β¦
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 ΞΈ = n 2 β’ Ο 2 β’ β 2 2 β’ Ο 2 β’ Ξ² 2 . subscript πΈ π superscript π 2 superscript π 2 superscript Planck-constant-over-2-pi 2 2 superscript π 2 superscript π½ 2 E_{\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 β’ n 2 β’ Ο 2 Ξ² 2 ) β’ R β’ ( Ο ) superscript 2 superscript π 2 π
π 1 π π π
π 2 πΈ superscript Planck-constant-over-2-pi 2 1 superscript π 2 superscript π 2 superscript π 2 superscript π½ 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 . absent 0 \displaystyle=0. = 0 .
(S30)
Let
k 2 = 2 β’ E β 2 , ΞΎ = k β’ Ο , formulae-sequence superscript π 2 2 πΈ superscript Planck-constant-over-2-pi 2 π π π 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
β 2 R β ΞΎ 2 + 1 Ο β’ β R β ΞΎ + ( 1 β 1 ΞΎ 2 β’ n 2 β’ Ο 2 Ξ² 2 ) β’ R = 0 . superscript 2 π
superscript π 2 1 π π
π 1 1 superscript π 2 superscript π 2 superscript π 2 superscript π½ 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 0 italic_Ο β 0 , the physical solution to the above formula is a linear combination of the first kind of the
Bessel function, [12 ]
R l = C l β’ J l β’ ( 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
R l = C l β’ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] , subscript π
π subscript πΆ π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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 ) superscript subscript π» π 1 π₯ \displaystyle H_{\nu}^{(1)}(x) italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ( italic_x )
= 1 Ο β’ i β’ β« β β β + Ο β’ i e z β’ sinh β‘ t β Ξ½ β’ t β’ π t , absent 1 π π superscript subscript π π 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 ) superscript subscript π» π 2 π₯ \displaystyle H_{\nu}^{(2)}(x) italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT ( italic_x )
= β 1 Ο β’ i β’ β« β β β β Ο β’ i e z β’ sinh β‘ t β Ξ½ β’ t β’ π t . absent 1 π π superscript subscript π π 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 β’ Ξ¦ β’ ( ΞΈ ) = [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ sin β‘ l β’ ΞΈ . subscript Ξ¨ π π
π π π
subscript π π Ξ¦ π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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 β’ n superscript Ξ¨ π π \displaystyle\Psi^{in} roman_Ξ¨ start_POSTSUPERSCRIPT italic_i italic_n end_POSTSUPERSCRIPT
= H l ( 1 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ , absent superscript subscript π» π 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 β’ c superscript Ξ¨ π π \displaystyle\Psi^{sc} roman_Ξ¨ start_POSTSUPERSCRIPT italic_s italic_c end_POSTSUPERSCRIPT
= H l ( 2 ) β’ ( k β’ Ο ) β’ sin β‘ l β’ ΞΈ . absent superscript subscript π» π 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 = [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ sin β‘ l β’ ΞΈ . Ξ¨ superscript Ξ¨ π π superscript Ξ¨ π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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 = 1 2 β’ ( Ξ¨ β β’ Ο β’ Ξ¨ β Ξ¨ β’ Ο β’ Ξ¨ β ) = β i β’ β 2 β’ ( Ξ¨ β β’ β Ξ¨ β Ξ¨ β’ β Ξ¨ β ) , π½ 1 2 superscript Ξ¨ β π Ξ¨ Ξ¨ π superscript Ξ¨ β π Planck-constant-over-2-pi 2 superscript Ξ¨ β β Ξ¨ Ξ¨ β 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 ) superscript subscript π» π 1 β
π₯ \displaystyle H_{\nu}^{(1)\ast}(x) italic_H start_POSTSUBSCRIPT italic_Ξ½ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) β end_POSTSUPERSCRIPT ( italic_x )
= H Ξ½ ( 2 ) β’ ( x ) , absent superscript subscript π» π 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 )
= 1 2 β’ [ H Ξ½ β 1 β’ ( x ) β H Ξ½ + 1 β’ ( x ) ] , absent 1 2 delimited-[] 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
J i β’ n = β i β’ β 2 β’ ( Ξ¨ i β’ n β£ β β’ β Ξ¨ i β’ n β Ξ¨ i β’ n β’ β Ξ¨ i β’ n β£ β ) . superscript π½ π π π Planck-constant-over-2-pi 2 superscript Ξ¨ π π β
β 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 β’ n superscript Ξ¨ π π β
β 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
= Ο β’ sin 2 β‘ ( l β’ ΞΈ ) β’ H l ( 2 ) β’ ( k β’ Ο ) β’ β β Ο β’ H l ( 1 ) β’ ( k β’ Ο ) β’ e β Ο absent π superscript 2 π π superscript subscript π» π 2 π π π superscript subscript π» π 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
+ H l ( 1 ) β’ ( k β’ Ο ) β’ H l ( 2 ) β’ ( k β’ Ο ) β’ l β’ sin β‘ l β’ ΞΈ β’ cos β‘ l β’ ΞΈ Ο β’ e β ΞΈ superscript subscript π» π 1 π π superscript subscript π» π 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ H l ( 2 ) β’ ( k β’ Ο ) β’ ( H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) ) β’ e β Ο absent π π 2 superscript 2 π π superscript subscript π» π 2 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π 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
+ H l ( 1 ) β’ ( k β’ Ο ) β’ H l ( 2 ) β’ ( k β’ Ο ) β’ l β’ sin β‘ l β’ ΞΈ β’ cos β‘ l β’ ΞΈ Ο β’ e β ΞΈ β’ , superscript subscript π» π 1 π π superscript subscript π» π 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
= Ο β’ sin 2 β‘ ( l β’ ΞΈ ) β’ H l ( 1 ) β’ ( k β’ Ο ) β’ β β Ο β’ H l ( 2 ) β’ ( k β’ Ο ) β’ e β Ο absent π superscript 2 π π superscript subscript π» π 1 π π π superscript subscript π» π 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
+ H l ( 1 ) β’ ( k β’ Ο ) β’ H l ( 2 ) β’ ( k β’ Ο ) β’ l β’ sin β‘ l β’ ΞΈ β’ cos β‘ l β’ ΞΈ Ο β’ e β ΞΈ superscript subscript π» π 1 π π superscript subscript π» π 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ H l ( 1 ) β’ ( k β’ Ο ) β’ ( H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) ) β’ e β Ο absent π π 2 superscript 2 π π superscript subscript π» π 1 π π superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π 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
+ H l ( 1 ) β’ ( k β’ Ο ) β’ H l ( 2 ) β’ ( k β’ Ο ) β’ l β’ sin β‘ l β’ ΞΈ β’ cos β‘ l β’ ΞΈ Ο β’ e β ΞΈ . superscript subscript π» π 1 π π superscript subscript π» π 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
J i β’ n superscript π½ π π \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-pi 2 superscript Ξ¨ π π β
β 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ [ H l ( 2 ) β’ ( k β’ Ο ) β’ ( H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) ) β H l ( 1 ) β’ ( k β’ Ο ) β’ ( H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) ) ] β’ e β Ο . absent π Planck-constant-over-2-pi π π 4 superscript 2 π π delimited-[] superscript subscript π» π 2 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 π π superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π 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
J s β’ c superscript π½ π π \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-pi 2 superscript Ξ¨ π π β
β 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ [ H l ( 1 ) β’ ( k β’ Ο ) β’ ( H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) ) β H l ( 2 ) β’ ( k β’ Ο ) β’ ( H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) ) ] β’ e β Ο . absent π Planck-constant-over-2-pi π π 4 superscript 2 π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π superscript subscript π» π 2 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π 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\Psi roman_Ξ¨ start_POSTSUPERSCRIPT β end_POSTSUPERSCRIPT β roman_Ξ¨
= Ο β’ sin 2 β‘ ( l β’ ΞΈ ) β’ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ β β Ο β’ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ e β Ο absent π superscript 2 π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 2 π π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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
+ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ 1 Ο β’ sin β‘ l β’ ΞΈ β’ β β ΞΈ β’ sin β‘ l β’ ΞΈ β’ e β ΞΈ delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 2 π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ [ H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) + H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) ] β’ e β Ο absent π π 2 superscript 2 π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 2 π π delimited-[] superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π 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
+ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ [ H l ( 1 ) β’ ( k β’ Ο ) + H l ( 2 ) β’ ( k β’ Ο ) ] β’ l β’ sin β‘ l β’ ΞΈ β’ cos β‘ l β’ ΞΈ Ο β’ e β ΞΈ , delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 2 π π delimited-[] superscript subscript π» π 1 π π superscript subscript π» π 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ [ H l ( 2 ) β’ ( k β’ Ο ) + H l ( 1 ) β’ ( k β’ Ο ) ] β’ [ H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) + H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) ] β’ e β Ο absent π π 2 superscript 2 π π delimited-[] superscript subscript π» π 2 π π superscript subscript π» π 1 π π delimited-[] superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π 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
+ [ H l ( 2 ) β’ ( k β’ Ο ) + H l ( 1 ) β’ ( k β’ Ο ) ] β’ [ H l ( 2 ) β’ ( k β’ Ο ) + H l ( 1 ) β’ ( k β’ Ο ) ] β’ l β’ sin β‘ l β’ ΞΈ β’ cos β‘ l β’ ΞΈ Ο β’ e β ΞΈ . delimited-[] superscript subscript π» π 2 π π superscript subscript π» π 1 π π delimited-[] superscript subscript π» π 2 π π superscript subscript π» π 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 J italic_J
= β i β’ β 2 β’ ( Ξ¨ β β’ β Ξ¨ β Ξ¨ β’ β Ξ¨ β ) absent π Planck-constant-over-2-pi 2 superscript Ξ¨ β β Ξ¨ Ξ¨ β 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ ( H l ( 2 ) β’ ( k β’ Ο ) β’ [ H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) ] β H l ( 1 ) β’ ( k β’ Ο ) β’ [ H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) ] ) β’ e β Ο absent π Planck-constant-over-2-pi π π 4 superscript 2 π π superscript subscript π» π 2 π π delimited-[] superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π superscript subscript π» π 1 π π delimited-[] superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π 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 β’ sin 2 β‘ ( l β’ ΞΈ ) β’ ( H l ( 1 ) β’ ( k β’ Ο ) β’ [ H l β 1 ( 2 ) β’ ( k β’ Ο ) β H l + 1 ( 2 ) β’ ( k β’ Ο ) ] β H l ( 2 ) β’ ( k β’ Ο ) β’ [ H l β 1 ( 1 ) β’ ( k β’ Ο ) β H l + 1 ( 1 ) β’ ( k β’ Ο ) ] ) β’ e β Ο π Planck-constant-over-2-pi π π 4 superscript 2 π π superscript subscript π» π 1 π π delimited-[] superscript subscript π» π 1 2 π π superscript subscript π» π 1 2 π π superscript subscript π» π 2 π π delimited-[] superscript subscript π» π 1 1 π π superscript subscript π» π 1 1 π π 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
= J i β’ n + J s β’ c = 0 . absent superscript π½ π π 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.