Print version ISSN 1806-1117
Rev. Bras. Ensino Fís. vol.34 no.2 São Paulo Apr./June 2012
NOTAS E DISCUSSÕES
Resultados clássico-quânticos versus resultados quânticos exatos para uma partícula em uma caixa
Salvatore De Vincenzo1
Escuela de Física, Facultad de Ciencias, Universidad Central de Venezuela, Caracas, Venezuela
The problems of a free classical particle inside a one-dimensional box: (i) with impenetrable walls and (ii) with penetrable walls, were considered. For each problem, the classical amplitude and mechanical frequency of the T -th harmonic of the motion of the particle were identified from the Fourier series of the position function. After using the Bohr-Sommerfeld-Wilson quantization rule, the respective quantized amplitudes and frequencies (i.e., as a function of the quantum label n ) were obtained. Finally, the classical-quantum results were compared to those obtained from modern quantum mechanics, and a clear correspondence was observed in the limit of n » τ.
Keywords: classical mechanics, particle in a box, Fourier harmonics, Heisenberg harmonics.
Foram considerados os problemas de uma partícula livre clássica dentro de uma caixa unidimensional: (i) com paredes impenetráveis e (ii) com paredes penetráveis. Para cada problema, foram identificados a partir da série de Fourier da função de posição, a amplitude clássica e a freqüência mecânica clássica do T -ésimo harmônico do movimento da partícula. Depois de usar a regra de quantização de Bohr-Sommerfeld-Wilson, foram obtidos a respectivas amplitudes e freqüências quantizadas (isto é, como uma função do rótulo quantum n ). Finalmente, os resultados clássico-quânticos foram comparados com aqueles obtidos a partir da moderna mecânica quântica, e uma clara correspondência foi observada no limite de n » τ.
Palavras-chave: mecânica clássica, partícula em uma caixa, harmônicos de Fourier, harmônicos de Heisenberg.
The quantum particle in a box (0 < x < L) is one of the best systems to illustrate important aspects and key concepts of elementary quantum mechanics [1-3]. The domain of the corresponding self-adjoint Hamiltonian operator involves an infinite number of boundary conditions. Specifically, the domain includes a fourparameter family of boundary conditions, and each of the conditions leads to the conservation of the probability current density j(x) = (/m)Im ((x) ' (x)) at the ends of the box (i.e., j(0) = j(L)). However, for several boundary conditions, the current is equal to zero (j(0) = j(L) = 0) [4-7]. When a finite square well potential tends toward infinity in the regions outside of the box (to confine the particle inside the box), only the Dirichlet boundary conditions are recovered [4,8]. Similarly, the solutions to Heisenberg's equations of motion obtained from the respective classical equations for a particle bouncing between two rigid walls, lead to only one of the extensions of the Hamiltonian operator (the extension that contains the Dirichlet boundary conditions ). However, in the classical discussion, another case must be considered. Namely, the case where the particle disappears upon reaching a wall and then appears at the other end must be considered. This type of movement (which is very unusual because the particle is not actually trapped between the two walls) corresponds to that of a quantum particle described by the Hamiltonian operator under periodic boundary conditions. Although there are an infinite number of quantum self-adjoint Hamiltonian operators, all of the operators do not correspond to a different classical system. In our cases, each Hamiltonian operator is defined by a specific boundary condition (rather than the form of each Hamiltonian). However, if a classical expression is dependent on the canonical variables, the corresponding quantum operator is not unique because the canonical operators can be ordered in various ways (see Ref.  and references therein).
The problem of a classical particle confined to an impenetrable box has been considered in several specific contexts [9-14]. In contrast, except for Ref.  and brief comments in Refs. [5, 15, 16], the problem of a classical particle inside a penetrable box is rarely discussed. Clearly, in each of these problems, the particle carries out a periodic motion. In this short paper, we wish to illustrate the connection between the periodicity of particle motion and quantum jumps. First, the so-called classical amplitude and mechanical frequency of the τ -th harmonic of the motion of the particle were identified from the Fourier series of each position function (x(t)). Next, the Bohr-Sommerfeld-Wilson quantization rule was used to obtain the respective quantized amplitudes and frequencies, i.e., the classical amplitudes and frequencies as a function of the quantum label n. Subsequently, these classical-quantum quantities were compared to the respective transition amplitudes (cn,n-τ ) and transition frequencies (ωn,n-τ ) obtained from modern quantum mechanics (Heisenberg- Schrödinger's quantum mechanics). In fact, these quantum quantities are the elements that constitute the matrix of Heisenberg's harmonics xn,m ≡ cn,m exp(iωn,mt) (in this case, the matrix is associated with transitions n → m = n - τ ). As a result, the classical-quantum quantities are equal to the exact quantum quantities for small jumps (n ≈ n - τ or n » τ ). We believe that the present manuscript (which is somewhat inspired by the excellent paper by Fedak and Prentis ) may be of genuine interest to teachers and students of physics because the two simple examples described herein (in particular, the particle inside a penetrable box, which is discussed in the present article for the first time) illustrate the deep connection between classical and quantum mechanics.
2. Classical results
Let us begin by considering the motion of a free particle with a mass of m, which is confined to a onedimensional region of length L that contains rigid walls at x = 0 and x = L (the potential U(x) is zero inside the box). The particle moves back and forth between these two points forever. The extended position function versus time, x(t) (which is periodic for all times t ∈ (-∞,+∞) with a period of T), can be written as
where fn(t) = (vT/2)-v|t - nT - (T/2)|, v > 0 is the speed of the particle, Θn(t) ≡ Θ(t-nT)-Θ(t-(n+1)T) (Θ(y) is the Heaviside unit step function, Θ(y > 0) = 1 and Θ(y < 0) = 0) and vT/2 = L. In the time interval nT < t < (n + 1)T, the zigzag solution (1) is equal to x(t) = fn(t), where n is an integer, and verifies x(nT) = 0 and x((n+(1/2))T) = L). For example, the solution at 0 < t < T (n = 0) is x(t) = f0(t); thus, x(t) = vt for 0 < t < T /2 and x(t) = vT - vt for T /2 < t < T . In contrast, the sum in Eq. (1) should begin at n = 0 if the particle starts from x = 0 at t = 0. In fact, under these circumstances, the solution of the equation of motion, x(t), verifies the condition x(t < 0) = 0. Because the position as a function of time given in Eq. (1) is periodic in t ∈ (-∞,+∞), the formula can be expanded into a Fourier series
The classical amplitude, aτ , takes on the following values
Moreover, aτ = 0 with τ = 2, 4, 6, . . . and a0 = vT/4. The mechanical frequency of the (permitted) τ - th harmonic of the motion of the particle is
where ω = 2π;/T is the fundamental frequency of periodic motion.
Let us now consider the motion of a free particle with a mass of m in a one-dimensional box. The particle is not confined to the box, and the walls at x = 0 and x = L are transparent (in this problem, the potential U(x) is zero inside the box). Under these circumstances, the particle starts from x = 0 (for example), reaches the wall at x = L and reappears at x = 0 again (and it does so forever). The extended position as a function of time (x(t)) is periodic and discontinuous and can be written as
where gn(t) = vt - nvT, v > 0 is the speed of the particle and T is the period (Θn(t) was introduced after Eq. (1)). In each time interval nT < t < (n + 1)T, the (extended) position is x(t) = gn(t), where n is an integer (as a result, all the discontinuities occur at t = nT). For example, the solution at t ∈ (0, T ) (n = 0) is x(t) = g0(t); thus, x(t) = vt. To be more precise, if the particle starts from x = 0 at t = 0 (and it begins to move towards x = L), then the sum in Eq. (5) should begin at n = 0. In that case, the solution of the equation of motion (x(t)) verifies the condition x(t < 0) = 0. Clearly, the periodic function x(t) in Eq. (5) (with t ∈ (-∞,+∞)) can be expanded into a Fourier series
The classical amplitude, cτ , has the following values
Moreover, c0 = vT/2. Once again, the mechanical frequency of the (permitted) τ -th harmonic of the motion of the particle is
where ω = 2π;/T is the fundamental frequency of periodic motion. Note: if the particle is moving from right to left (starting at x = L, for example) the Fourier series associated to x(t) is the Eq. (6), but the classical amplitude is the complex conjugate of cτ . The series in Eq. (6) appears to be complex but is actually real. In fact, because cτ = - c-τ (τ ≠0), x(t) can be written as
Thus, the extended function (x(t)) given in Eq. (5) is discontinuous at t = nT, where n is an integer. Nevertheless, if one wants to assign a value to x(nT), then a value must be assigned to Θ(0). At t = nT, the Fourier series (6) (or (9)) converges to x(t) ≡ (x(t+) + x(t-))/2 , where x(t± x(t ± ε) and ε > 0 (as usual). Thus, in this case, the definition Θ(0) ≡ 1/2 must be applied; therefore (from Eq. (5)), x(nT) = vT/2. Clearly, the latter choice is not physically satisfactory because the particle always reaches x = L (it is moving from x = 0). Thus, we may prefer to choose Θ(0) ≡ 0, which implies that x((n+1)T) = vT = L, where n is an integer (more precisely, n > 0). Clearly, when Θ(0) ≡ 0 is selected, the time at which the particle passes through x = 0 cannot be obtained. This situation is unavoidable; thus, the best that we can do is to assume that the motion of the particle in each time interval nT < t < (n + 1)T is independent of the other intervals. Therefore, we must also add (by definition) the condition x(nT) = 0.
3. Classical-quantum versus exact quantum results
Thus, we have seen that the classical particle confined to a box and the particle inside a penetrable box display periodic motion (between the walls of the box). This is precisely the type of motion considered by Heisenberg in his famous paper published in 1925  (For an english translation of the article, see Ref. . For a delicious discussion on the ideas expressed in Heisenberg's article, see Ref. ). To illustrate the important connection between the periodic motion of a classical particle (its classical harmonics) and quantum jumps, the problem of a particle confined to a box (as described in Ref. ) was considered in the present study. Moreover, for the first time, the problem of a particle inside a box with penetrable walls was also considered herein.
A condition that quantizes the classical states of a one-dimensional periodic system is the Bohr- Sommerfeld-Wilson (BSW) quantization rule (see Refs. [13, 20])
where is Planck's constant and n are quantum labels. Integration is conducted over the entire period of motion. From Eq. (10), the (constant) speed of the particle (v > 0) was obtained as a function of n (i.e., the speed of the particle in quantum state n)
Moreover, by substituting v(n) into the classical mechanical energy equation E = mv2/2, the same quantum energy spectrum given by modern quantum mechanics was obtained
where, in this case, n = 1, 2, . . .. Similarly, the expression for the quantized speed (11) could be substituted into Eq. (3) and Eq. (4) to obtain the quantized amplitude and quantized frequency, respectively. In the former case, substitution was not necessary because vT/2 = L. Therefore
Moreover, aτ (n) = 0, where τ = 2, 4, 6, . . . and a0(n) = L/2. Thus, aτ (n) is independent of the quantum state (n). In the latter case, Eq. (11) was substituted into Eq. (4), and the quantized frequency was obtained
Clearly, the Fourier series for x(t) can also be quantized by replacing aτ → aτ (n) and ωτ → τω(n) in Eq. (2). Thus, we can write
Equation (15) describes the classical motion of the particle in quantum state n . Clearly, these results are classical-quantum mechanical because they were obtained by supplementing the classical Fourier analysis with a simple quantization condition.
Now a question arises: how (and under which conditions) can we generate Eq. (13) and (14) using modern quantum theory? In his paper published in 1925, Heisenberg assigned a matrix of harmonics xn,m ≡ cn,m exp(iωn,mt) (associated with transition n → m) to x, where the transition amplitude cn,m = <n | x |m> is a measure of the intensity of light, and xn,m = <Ψn | x | Ψm> (where Ψn(x, t) = n(x) exp (-iEnt/) are solutions to the time-dependent Schrödinger equation). In the transition n → n - τ , where n » τ , the quantized Fourier amplitude cτ (n) must be equal to the Heisenberg amplitude cn,n-τ
because the coefficients of the cosine Fourier series aτ (n) with τ = 1, 3, 5, . . . in Eq. (15) are always twice that of the exponential Fourier series Στ cτ (n) exp (τω(n)t)  (nevertheless, aτ (n) = cτ (n) with τ = 0). The stationary states of a quantum particle to a box with a width of L under Dirichlet boundary conditions (n(0) = n(L) = 0) are characterized by the energies given in Eq. (12) (E(n) = En) and the following eigenfunctions
If cn,n-τ = <n | x |n-τ> = ∫0L dx |n(x) x n-τ (x) is calculated, and the result are substituted into Eq. (17), we obtain
where τ = 1, 3, 5, . . ., aτ (n) = 0 with τ = 2, 4, . . . and a0(n) = L/2. Clearly, the quantized Fourier amplitude aτ (n) (Eq. (13)) can also be obtained from Heisenberg- Schrödinger's quantum mechanics.
Likewise, the quantized frequency ωτ (n) must be equal to the transition (or spectral) frequency ωn,n-τ = (En - En-τ )/ for n » τ 
In fact, for the particle confined to the box, ωn,n-τ was calculated from Eq. (12) with E(n) = En. Using Eq. (20), we can write
Clearly, the same result given in Eq. (14) was obtained in the limit n » τ .
By substituting Eq. (22) into E = mv2/2, we obtain
In this case, n = 0, 1, 2, . . .. The quantum energy spectrum given by modern quantum mechanics (with the exception of the ground state) is degenerate (see Eq. (27)), and the complex eigenfunctions corresponding to the negative sign (-) are plane waves propagating to the left (they are also eigenfunctions of the momentum operator = -id/dx with negative eigenvalues). Because the classical motion of the particle moving to the right is under consideration, a positive sign (+) must be used. Clearly, each state (n > 0) with the positive sign in Eq. (27) corresponds to a onedimensional trip in which the particle is moving inside the box from left to right at a constant speed.
Because vT = L, Eq. (22) does not have to be substituted into Eq. (7); therefore, the quantized amplitude is independent of n
Moreover, c0(n) = L/2. Alternatively, by substituting Eq. (22) into Eq. (8), the following quantized frequency was obtained
This frequency must be positive if it corresponds to the frequency of light emitted as the particle jumps from level n to level n - τ < n . Finally, the quantized Fourier series x(t, n ) was obtained from x(t) (Eq. (6)) by replacing cτ → cτ (n) and ωτ → τω(n)
For a free particle in a box with a width of L and transparent walls, the periodic boundary condition n(x) = n(x + L) is physically adequate. The exact energy eigenvalues are given in Eq. (23) (E(n) = En), and the eigenfunctions are
Nevertheless, only the positive sign must be employed. By calculating cn,n-τ = ∫0L dxn(x) x n-τ (x) and substituting the result into Eq. (16) (the bar represents complex conjugation), we obtain
In this case, τ = ±1,±2, . . . and c0(n) = L/2. To obtain Eq. (28), the limit n » τ was not applied. Clearly, the quantized Fourier amplitude cτ (n) (Eq. (24)) was obtained from Heisenberg-Schrödinger's quantum mechanics. Note: for a particle moving from right to left we must take the negative sign in Eq. (27); therefore, the corresponding Heisenberg amplitude is the complex conjugate of cτ (n) in Eq. (28). Similarly, Eq. (20) was verified. In fact, ωn,n-τ = (En - En-τ )/ was calculated from Eq. (23) using E(n) = En. Thus, n the limit n » τ , the results were identical to those of Eq. (25)
4. Final notes
In some cases, the BSW quantization rule (Eq. (10)) may fail [20,21]; however, in the two problems considered in the present study, this rule provides the correct quantum mechanical energy values. A more flexible formula that fixes problems associated with the BSW rule is the Einstein-Brillouin-Keller (EBK) quantization rule. For one-dimensional problems, this formula presents the following form
where n = 0, 1, 2, . . . and µ is the Maslov index [20,21]. This index is essentially "a detailed accounting of the total phase loss during one period in units of π;/2" . In general, each classical turning point and each reflection gives one unit to µ. For example, for a confined particle in a box, µ = 4 (because two turning points and two hard reflections are observed). Alternatively, for a particle in a transparent box, µ = 0 (because there are no turning points or reflections). The latter motion is pretty similar to that of a particle moving freely on a circle, which corresponds to the familiar plane rigid rotator problem. Clearly, our results (Eq. (12) and Eq. (23)) coincide with those provided by the EBK quantization rule. To conclude, in the approximation n » τ , the classical-quantum results agree with the exact quantum results. Nevertheless, the quantumclassical calculations are easier to perform. Moreover, the classical-quantum mechanical and exact quantum energies perfectly match in both problems. Lastly, for the particle in the open box, the quantized Fourier and Heisenberg amplitudes are identical and independent of n .
 D.J. Griffiths, Introduction to Quantum Mechanics (Prentice Hall, Upper Saddle River, 1995), p. 24-29. [ Links ]
 R. Shankar, Principles of Quantum Mechanics (Kluwer Academic/Plenum Publishers, Spring Street, 1994), p. 157-159. [ Links ]
 R. W. Robinett, Quantum Mechanics: Classical Results, Modern Systems and Visualized Examples (Oxford University Press, New York, 1997), p. 115-120. [ Links ]
 G. Bonneau, J. Faraut and G. Valent, Am. J. Phys 69, 322 (2001) (arXiv: quant-ph/0103153. This is an extended version with some mathematical details). [ Links ]
 M. Carreau, E. Farhi and S. Gutmann, Phys. Rev. D 42, 1194 (1990). [ Links ]
 V. Alonso and S. De Vincenzo, J. Phys. A: Math. Gen 30, 8573 (1997). [ Links ]
 T . Fulöp and I. Tsutsui, Phys. Lett. A 264, 366 (2000) (arXiv: quant-ph/9910062). [ Links ]
 P. Garbaczewski and W. Karwowski, Am. J. Phys 72, 924 (2004) (arXiv: math-ph/0310023 v2). [ Links ]
 W.A. Atkinson and M. Razavy, Can. J. Phys 71, 380 (1993). [ Links ]
 W.A. Lin and L.E. Reichl, Physica D 19, 145 (1986). [ Links ]
 R.W. Robinett, Am. J. Phys 63, 823 (1995). [ Links ]
 J.-P. Antoine, J.-P. Gazeau, P. Monceau, J.R. Klauder and K.A. Penson, J. Math. Phys 42, 2349 (2001). [ Links ]
 W.A. Fedak and J.J. Prentis, Am. J. Phys 70, 332 (2002). [ Links ]
 B. Bagchi, S. Mallik and C. Quesne, arXiv: physics/0207096 v1. [ Links ]
 V.S. Araujo, F.A.B. Coutinho and F.M. Toyama, Braz. J. Phys 38, 178 (2008). [ Links ]
 S. De Vincenzo, Braz. J. Phys 38, 355 (2008). [ Links ]
 W. Heisenberg, Z. Phys 33, 879 (1925). [ Links ]
 B.L. van der Waerden, Sources of Quantum Mechanics (Dover, New York, 1968), p. 261-276. [ Links ]
 I.J.R. Aitchison, D.A. MacManus and T .M. Snyder, Am. J. Phys 72, 1370 (2004). [ Links ]
 L.J. Curtis, Atomic Structure and Lifetime: a Conceptual Approach (Cambridge University Press, Cambridge, 2003), p. 8-10. [ Links ]
 M. Brack and R.K. Bhaduri, Semiclassical Physics (Addison-Wesley, Reading, 1997), p. 78-79. [ Links ]
Recebido em 23/7/2011; Aceito em 6/2/2012; Publicado em 20/4/2012