We discuss a phenomenon of elementary quantum mechanics that is counterintuitive, non-classical, and apparently not widely known: the reflection of a particle at a downward potential step. In contrast, classically, particles are reflected only at upward steps. The conditions for this effect are that the wavelength is much greater than the width of the potential step and the kinetic energy of the particle is much smaller than the depth of the potential step. The phenomenon is suggested by non-normalizable solutions to the time-independent Schrödinger equation. We present numerical and mathematical evidence that it is also predicted by the time-dependent Schrödinger equation. The paradoxical reflection effect suggests and we confirm mathematically that a particle can be trapped for a long time (though not indefinitely) in a region surrounded by downward potential steps, that is, on a plateau.

1.
C.
Cohen-Tannoudji
,
B.
Diu
, and
F.
Laloë
,
Quantum Mechanics
(
John Wiley & Sons
,
Toronto
,
1977
), Vol.
1
.
2.
L.
Landau
and
E. M.
Lifshitz
,
Quantum Mechanics: Non-Relativistic Theory
(
Pergamon
,
Oxford
,
1965
).
3.
D. J.
Griffiths
,
Introduction to Quantum Mechanics
, 2nd ed. (
Pearson Prentice Hall
,
Upper Saddle River, NJ
,
2005
), p.
84
.
4.
R.
Eisberg
and
R.
Resnick
,
Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles
, 2nd ed. (
John Wiley & Sons
,
New York
,
1985
), pp.
197
198
.
5.
M.
Visser
, “
Some general bounds for 1-D scattering
,”
Phys. Rev. A
59
,
427
438
(
1999
), Eq. (82).
6.
A.
Goldberg
,
H. M.
Schey
, and
J. L.
Schwartz
, “
Computer-generated motion pictures of one-dimensional quantum mechanical transmission and reflection phenomena
,”
Am. J. Phys.
35
,
177
186
(
1967
).
7.
M.
Reed
and
B.
Simon
,
Methods of Modern Mathematical Physics III: Scattering Theory
(
Academic
,
New York/London
,
1979
).
8.
M.
Reed
and
B.
Simon
,
Methods of Modern Mathematical Physics IV: Analysis of Operators
(
Academic
,
New York/London
,
1978
).
9.
E. B.
Davies
and
B.
Simon
, “
Scattering theory for systems with different spatial asymptotics on the left and right
,”
Commun. Math. Phys.
63
,
277
301
(
1978
).
10.
V.
Allori
,
D.
Dürr
,
S.
Goldstein
, and
N.
Zanghì
, “
Seven steps towards the classical world
,”
J. Opt. B
4
,
482
488
(
2002
).
11.
G.
Gamow
, “
Zur Quantentheorie des Atomkernes
,”
Z. Phys.
51
,
204
212
(
1928
).
12.
M.
von
Laue, “
Notiz zur Quantentheorie des Atomkerns
,”
Z. Phys.
52
,
726
734
(
1928
).
13.
For Z = 0, the line for −a < x < a has to be replaced by A0 + A1x; for Z = −Δ, ψ(x) = D + Ex for x < −a and ψ(x) = D+ + E+x for x > a.
14.
Here is a look at the negative Z’s that we excluded in this definition: for Z(-,0]\{-Δ} there exist no nonzero functions with C± = 0 satisfying the eigenvalue Equation (36) for all x ≠ ± a such that ψ and ψ′ are continuous. We have not included the proof in this paper. For Z = −Δ, the coefficients C± are not defined, so the condition (43) makes no sense.
15.
E.
Skibsted
, “
Truncated Gamow functions, α-decay and the exponential law
,”
Commun. Math. Phys.
104
,
591
604
(
1986
).
16.
O.
Costin
and
M.
Huang
, “
Gamow vectors and Borel summability
,” e-print arxiv.org/abs/0902.0654.
17.
D.
Dürr
,
R.
Grummt
, and
M.
Kolb
, “
On the time-dependent analysis of Gamow decay
,”
Eur. J. Phys.
32
,
1311
(
2011
), e-print arxiv.org=abs=1011.6084.
18.
R. M.
Cavalcanti
and
C. A. A.
de Carvalho
, “
On the effectiveness of Gamow’s method for calculating decay rates
,”
Revista Brasileira de Ensino de Física
21
(
4
),
464
468
(
1999
), e-print arxiv.org/abs/quant-ph/9711037.
19.
For ζC{0}, the equation ez = ζ has infinitely many solutions z, all of which have real part ln |ζ|; the imaginary parts differ by integer multiples of 2π; by ln ζ we denote that z which has −π < Im z ≤ π.
20.
Banach fixed point theorem, (en.wikipedia.org/wiki/Banach_fixed_ point_theorem).
21.
The computation can be given the following mathematical justification: Because the potential V is bounded, by an application of the Kato-Rellich theorem, Ref. 22, Theorem X.15, the Hamiltonian H=-(2/2m)x2+V is self-adjoint on the domain of -x2. It can be easily checked that for any t the derivative ∂xf(x, t) is absolutely continuous in x, and thus the function f(·,t) belongs to the domain of H. These properties can be used to justify all the manipulations made here. We also stress that if we had not chosen the constants A± and B± in Eq. (41) so that the function is continuously differentiable, then the addition of the Gaussian cut-off would have resulted in functions which are in L2(R) but which do not belong to the domain of H. Thus our estimates are not valid for such initial states. For more sophisticated mathematical methods to study such problems, see, for instance, Refs. 15 and 16.
22.
M.
Reed
and
B.
Simon
,
Methods of Modern Mathematical Physics II: Fourier Analysis, Self-adjointness
(
Academic Press
,
New York and London
,
1975
).
AAPT members receive access to the American Journal of Physics and The Physics Teacher as a member benefit. To learn more about this member benefit and becoming an AAPT member, visit the Joining AAPT page.