Professional Documents
Culture Documents
Bagchi. Supersymmetry in Quantum and Classical Mechanics (CRC, 2001) (226s)
Bagchi. Supersymmetry in Quantum and Classical Mechanics (CRC, 2001) (226s)
SUPERSYMMETRY IN
QUANTUM AND
CLASSICAL
MECHANICS
Main Editors
H. Brezis, Université de Paris
R.G. Douglas, Texas A&M University
A. Jeffrey, University of Newcastle upon Tyne (Founding Editor)
Editorial Board
H. Amann, University of Zürich
R. Aris, University of Minnesota
G.I. Barenblatt, University of Cambridge
H. Begehr, Freie Universität Berlin
P. Bullen, University of British Columbia
R.J. Elliott, University of Alberta
R.P. Gilbert, University of Delaware
R. Glowinski, University of Houston
D. Jerison, Massachusetts Institute of Technology
K. Kirchgässner, Universität Stuttgart
B. Lawson, State University of New York
B. Moodie, University of Alberta
S. Mori, Kyoto University
L.E. Payne, Cornell University
D.B. Pearson, University of Hull
I. Raeburn, University of Newcastle
G.F. Roach, University of Strathclyde
I. Stakgold, University of Delaware
W.A. Strauss, Brown University
J. van der Hoek, University of Adelaide
SUPERSYMMETRY IN
QUANTUM AND
CLASSICAL
MECHANICS
QC174.17.S9 2000
539.7′25 --dc21 00-059602
This book contains information obtained from authentic and highly regarded sources. Reprinted material
is quoted with permission, and sources are indicated. A wide variety of references are listed. Reasonable
efforts have been made to publish reliable data and information, but the author and the publisher cannot
assume responsibility for the validity of all materials or for the consequences of their use.
Neither this book nor any part may be reproduced or transmitted in any form or by any means, electronic
or mechanical, including photocopying, microfilming, and recording, or by any information storage or
retrieval system, without prior permission in writing from the publisher.
The consent of CRC Press LLC does not extend to copying for general distribution, for promotion, for
creating new works, or for resale. Specific permission must be obtained in writing from CRC Press LLC
for such copying.
Direct all inquiries to CRC Press LLC, 2000 N.W. Corporate Blvd., Boca Raton, Florida 33431.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are
used only for identification and explanation, without intent to infringe.
Preface
Acknowledgments
8 Parasupersymmetry
8.1 Introduction
8.2 Models of PSUSYQM
8.3 PSUSY of Arbitrary Order p
8.4 Truncated Oscillator and PSUSYQM
8.5 Multidimensional Parasuperalgebras
8.6 References
Appendix A
Appendix B
This title was initiated by the International Society for the Inter-
action of Mechanics and Mathematics (ISIMM). ISIMM was estab-
lished in 1975 for the genuine interaction between mechanics and
mathematics. New phenomena in mechanics require the develop-
ment of fundamentally new mathematical ideas leading to mutual
enrichment of the two disciplines. The society fosters the interests of
its members, elected from countries worldwide, by a series of bian-
nual international meetings (STAMM) and by specialist symposia
held frequently in collaboration with other bodies.
General Remarks on
Supersymmetry
1.1 Background
It is about three quarters of a century now since modern quan-
tum mechanics came into existence under the leadership of such
names as Born, de Broglie, Dirac, Heisenberg, Jordan, Pauli, and
Schroedinger. At its very roots the conceptual foundations of quan-
tum theory involve notions of discreteness and uncertainty.
Schroedinger and Heisenberg, respectively, gave two distinct but
equivalent formulations: the configuration space approach which deals
with wave functions and the phase space approach which focuses on
the role of observables. Dirac noticed a connection between commu-
tators and classical Poisson brackets and it was chiefly he who gave
the commutator form of the Poisson bracket in quantum mechanics
on the basis of Bohr’s correspondence principle.
Quantum mechanics continues to attract the mathematicians
and physicists alike who are asked to come to terms with new ideas
and concepts which the tweory exposes from time to time [1-2]. Su-
persymmetric quantum mechanics (SUSYQM) is one such area which
has received much attention of late. This is evidenced by the fre-
quent appearances of research papers emphasizing different aspects
of SUSYQM [3-9]. Indeed the boson-fermion manifestation in soluble
models has considerably enriched our understanding of degeneracies
Xa Xb − (−)ab Xb Xa = fab
c
Xc
1.2 References
[1] L.M. Ballentine, Quantum Mechanics - A Modern Develop-
ment, World Scientific, Singapore, 1998.
[3] L.E. Gendenshtein and I.V. Krive, Sov. Phys. Usp., 28, 645,
1985.
[4] A. Lahiri, P.K. Roy, and B. Bagchi, Int. J. Mod. Phys., A5,
1383, 1990.
[11] A. Neveu and J.H. Schwarz, Nucl. Phys., B31, 86, 1971.
[13] D.V. Volkov and V.P. Akulov, Phys. Lett., B46, 109, 1973.
[18] V.I. Ogievetskii and L. Mezinchesku, Sov. Phys. Usp., 18, 960,
1975.
Basic Principles of
SUSYQM
i
b = √ (p − iωB x)
2ωB
i
b+ = −√ (p + iωB x) (2.2)
2ωB
1
HB = ω B b+ , b (2.3)
2
where {b+ , b} is the anti-commutator of b and b+ .
As usual the action of b and b+ upon an eigenstate |n > of
harmonic oscillator is given by
√
b|n > = n|n − 1 >
+
√
b |n > = n + 1|n + 1 > (2.4)
with n = nB .
+ n
The number states are |n > (b√n!) |0 > (n = 0, 1, 2, . . .) and the
lowest state, the vacuum |0 >, is subjected to b|0 >= 0.
The canonical quantum condition [q, p] = i can be translated in
terms of b and b+ in the form
[b, b+ ] = 1 (2.6)
[b, b] = 0,
+ +
b ,b = 0 (2.7)
[b, HB ] = ωB b,
+
b , HB = −ωB b+ (2.8)
{a, a+ } = 1, (2.12)
+ +
{a, a} = 0, {a , a } = 0 (2.13)
Hs = ω b+ b + a+ a
= Q, Q+ (2.22)
[Q, Hs ] = 0
+
Q , Hs = 0 (2.23)
Further,
{Q, Q} = 0
+ +
Q ,Q = 0 (2.24)
However, Q+ |nB , nF >= 0 and Q|nB , nF >= 0 for the cases (nB =
0, nF = 1) and nF = 0, respectively.
To seek a physical interpretation of the SUSY Hamiltonian Hs
let us use the representations (2.2) and (2.15) for the bosonic and
fermionic operators. We find from (2.22)
1 2 1
Hs = p + ω 2 x2 •
+ ωσ3 (2.26)
2 2
Hs ≡ diag (H− , H+ )
+ 1 • ω
= ω b b+
+ σ3 (2.28)
2 2
by making use of (2.6).
From (2.27) it is seen that H+ and H− are nothing but two real-
izations of the same harmonic oscillator Hamiltonian with constant
shifts ±ω in the energy spectrum. We also notice that H± are the
outcomes of the products of the operators b and b+ in direct and
reverse orders, respectively, the explicit forms being induced by the
representations (2.2) and (2.15). Indeed this is the essence of the
factorization scheme in quantum mechanics to which we shall return
in Chapter 5 to handle more complicated systems.
[Q, Hs ] = 0
+
Q , Hs = 0 (2.33)
Hs ≡ diag (H− , H+ )
1
4 2
Transforming y = a2
g exp ax
2 , the Schroedinger equation for H+
becomes
d2 1 d 1 1 8E+
ψ+ + ψ+ − ψ+ + 2 2 ψ+ = 0 (2.38)
dy 2 y dy 2g 4 a y
specif-
1
ically (2.27a), we adopt for V the form V = 2 W − W + λ in-
Wwhich the constant λ can be adjusted to coincide with the ground-
state energy E0 oh H+ . In other words we write
1 2
V (x) − E0 = W − W (2.39)
2
indicating that V and V+ can differ only by the amount of the ground-
state energy value E0 of H.
If W0 (x) is a particular solution, the general solution of (2.39) is
given by
exp [2 x W0 (τ )dτ ]
W (x) = W0 (x) + x , β∈R (2.40)
β − exp [2 y W0 (τ )dτ ] dy
On the other hand, the Schroedinger equation
1 d2
− + V (x) − E0 ψ0 = 0 (2.41)
2 dx2
As a result H becomes
1
2 1
H= pz + (p2x + p2y ) + mω 2 x2 + y 2 − ω (Lz − σ3 ) (2.50a)
2m 2
Apart from a free motion in the z direction, H describes two harmonic
oscillators in the xy-plane and also involves a coupling to the orbital
eB
and spin moments. In (2.50a) ω is the Larmor frequency: ω = 2m
→ →
and S = 12 σ .
In the standard approach of quantization of oscillators the cou-
pling terms look like
ω (Lz − σ3 ) = −iω b+ +
x by − by bx + ωσ3 (2.52)
= En Aψn+ (2.55)
C is a constant.
We conclude that the spectra of H+ and H− are identical except
for the ground state (n = 0) which is nondegenerate and, in the
present setup, is with the H+ component of Hs . This is the case of
(iγ µ Dµ − m) ψ = 0 (2.60)
∂
D1 = − ieA1 ,
∂x
∂
D2 = − ieA2 (2.61)
∂y
− (σ1 D1 + σ2 D2 ) ψ = σ3 Eψ (2.60a)
{Q1 , β} = 0 (2.66)
from (2.44).
We an interpret (2.67) from the point of view of FW transfor-
mation which works as
HF W = U HD U −1
= β(Hs + m2 )1/2 (2.68)
1 2
V+ ≡ W − W
2
1 2
= χ 1 − 2sech2 χ (x − x0 ) (2.74)
2
One can check that H+ possesses a zero-energy bound state wave
function given by
1
ψ0 ∼ ∼ sechχ(x − x0 ) (2.75)
g
becausc
1
2
H+ ψ 0 = −ψ0 + W − W ψ0 = 0 (2.76)
2
corresponding to the solution given in (2.73).
All this can be generalized by rewriting the previous steps as
follows. We search for a potential V1 that satisfies the Schroedinger
equation
1 d2
− + V1 ψ1 = −χ21 ψ1 (2.77)
2 dx2
with V1 +χ21 signifying a zero-energy bound state. The relation (2.74)
is re-expressed as
W12 − W1 = V! + χ21 (2.78)
with χ1 obtained from W12 +W1 = χ21 and V1 identified with −2χ21 sech2
χ1 (x−x0 ). Note that V1 (±∞) = 0. Further requring V f 1 to be sym-
metric means that W1 must be an odd function.
For an arbitrary n levels, we look for a chain of connections
That is
− Un + Vn Un = −χ2n Un (2.83)
which may be looked upon as a generalization of (2.76) to n-levels.
In this way one arrves at a form of the Schroedinger equation which
has n distinct eigenvalues. Evidently V1 = −2χ21 sech2 χ1 (x − x0 ) is
reflectionless.
In the study of nonlinear systems, V1 can be regarded as an in-
stantaneous frozen one-soliton solution of the KdV equation ut =
−uxxx + 6uux . The n-soliton solution of the KdV, similarly, also
emerges [79-85] as families of reflectionless potentials. It may be
remarked that if we solve (2.81) and use gn (x) = gn (−x) then we
uniquely determine Wn (x). For a further discussion of the construc-
tion of reflectionless potentials supporting a prescribed spectra of
bound states we refer to the work of Schonfeld et al. [85].
d2
V+ (x) = V− (x) + log ψ0+ (x) (2.84)
dx2
where we have used (2.56). The above equation implies that once
the properties of V− (x) are given, those of V+ (x) become immedi-
ately known. Actually in our discussion of reflectionless potentials
we exploited this feature.
We now proceed to generate a sequence of Hamiltonians employ-
ing the preceding results of SUSY. Sukumar [29] pointed out that if a
certain one-dimensional Hamiltonian having a potential V1 (x) allows
for M bound states and has the ground-state eigenvalue and eigen-
(i) (i)
function as E0 and ψ0 , respectively, one can express this Hamilto-
1 d2 1 (1)
H2 = − 2
+ V2 (x) = A1 A+
1 + E0 (2.87)
2 dx 2
where the correlation between V1 and V2 is provided by (2.84)
d2
(1) +
V2 (x) = V1 (x) − lnψ 0 = V 1 (x) + A1 , A1 (2.88)
dx2
From (2.59) we can relate the eigenvalues and eigenfunctions of
H1 and H2 as
(1)
En+1 = En(2)
(1) (1) −1/2 (1)
ψn(2) = 2En+1 − 2E0 A1 ψn+1 (2.89)
(1) π2
Em = (m + 1)2 , m = 0, 1, 2 . . .
8a2 πx
(1)
ψ0 = A cos
2a
where A is a constant. From (2.89) we find for Vn the result
π πx
Vn (x) = V1 (x) + n(n − 1) sec2 n = 1, 2, 3 . . .
8a 2 2a
(n) (1) π
Em = Em+n−1 = 2 (n + m)2 m = 0, 1, 2 . . .
8a
We thus see that the “particle in the box” problem generates a se-
ries of sec2 πx
2a potentials. The latter is a well-studied potential in
quantum mechanics and represents an exactly solvable system.
θ → θ = θ + =
t → t = t + i=θ (2.107)
Note that the factor i is inserted in (2.108) to keep the line element
real.
We next define a real, scalar superfield Φ(t, θ) having a general
form
Φ(t, θ) = q(t) + iθψ(t) (2.109)
{Q, Q} = H (2.115)
∂ ∂
D= − iθ (2.116)
∂θ ∂t
which apart from being invariant under (2.107) gives {Q, D} = 0.
The Hamiltonian in (2.115) corresponds to that of a supersym-
metric oscillator. To find the corresponding Lagrangian we notice
that DΦ = iψ − iθq̇, and as a result DΦΦ̇ = iψ q̇ + θ(ψ ψ̇ − iq̇ 2 ).
We can therefore propose the following Lagrangian for N = 1 SUSY
mechanics
i
L= dθDΦΦ̇ (2.117)
2
θ1 → θ1 = θ1 + =1 ,
θ2 → θ2 = θ2 + =2 ,
t → t = t + i=1 θ1 + i=2 θ2 (2.118)
where q(t) and A(t) are real variables being bosonic in nature and
(ψ, ψ) are fermionic.
We can determine δΦ to be
δΦ = =Q + =Q Φ (2.120)
∂ ∂
Q = + iθ
∂θ ∂t
∂ ∂
Q = + iθ (2.121)
∂θ ∂t
δq = i=ψ + i=ψ
δA = =ψ̇ − =ψ̇
δψ = −=(q̇ + iA)
δψ = −=(q̇ − iA) (2.122)
DΦ = iψ − θA − iθq̇ + θθψ̇
DΦ = iψ + θA − iθq̇ − θθ ψ̇ (2.124)
1 1
L = q̇ 2 + A2 − AU + iψ ψ̇ − ψψU (2.126)
2 2
∂L
An immediate consequence of this L is that ∂A = 0 (since L
is independent of any Ȧ term) yielding A = U . L can now be
rearranged to be expressed as
1 1 2
L = q̇ 2 − U + iπ ψ̇ − ψψU (2.127)
2 2
above forms of the Lagrangian and Hamiltonian are the ones relevant
to N = 2 supersymmetric quantum mechanics. This completes our
discussion on the construction of the Lagrangians for N = 1 and
2 supersymmetric theories. In this connection it is interesting to
note that the notion of seeking supersymmetric extensions has been
successful in establishing superformulation of various algebras [92].
It has been possible [93] to relate the superconformal algebra to the
supersymmetric extension of integrable systems such as the KdV
equation [94-96]. Moreover a representative for the SO(N ) or U (N )
superconforma algebra has been found possible in terms of a free
boson, N free fermions, and an accompanying current algebra [97].
It is also worth emphasizing that the properties characteristic of
fermionic variables are crucial to the development of the supersym-
metrization procedure. Noting that the fermionic quantities fi , fj
form the basis of a Clifford algebra CL2n given by
{f+j , f−l } = δil I, (2.130)
{f±j , f±l } = 0 (2.131)
if we consider the replacement [98] of the rhs of (2.131) as δjl I →
+
δjl I − 2Ojl with Ojl = −Olj , Ojl = Ojl , we are led to a Hamilto-
[A, A+ ] = −2aA3 − bI
[A3 , A] = A
1 +
H+ = A A
2
1 ∂2 ∂
= −k 2 2 + ikk − kU + k U
2 ∂x ∂y
∂ 2
2 ∂
+ U − ik − ik (2.137)
∂y ∂y
1
H− = AA+
2
1 ∂2 ∂
= −k 2 2 − ikk + kU − k U
2 ∂x ∂y
2
∂ ∂
2
+ U − ik +k (2.138)
∂y ∂y
It should be stressed that the variable y is not to be confused with an
extra spatial dimension and merely serves as an auxiliary parameter.
This means that for a physical eigenvalue problem, the square of the
modules of the eigenfunction must be independent of y.
The above model has been studied in [103] and also by Janus-
sis et al. [108], Chuan [109], Beckers and Ndimubandi [110] and
Samanta [111]. In [108], a two-term energy recurrence relation has
been derived Wittin the Lie admissible formulation of Santilli’s the-
ory [112-113]. In [109] a set of coupled equations has been proposed,
2.8 References
[1] P.A.M. Dirac, The Principles of Quantum Mechanics, 4th ed.,
Clarendon Press, Oxford, 1958.
[10] A.I. Vainshtein, A.V. Smilga, and M.A. Shifman, Sov. Phys.
JETP., 67, 25, 1988.
[12] P. Salomonson and J.W. van Holten, Nucl. Phys., B196, 509,
1982.
[17] L.F. Urrutia and E. Hernandez, Phys. Rev. Lett., 51, 755,
1983.
[18] M. Bernstein and L.S. Brown, Phys. Rev. Lett., 52, 1983,
1984.
[29] C.V. Sukumar, J. Phys. A. Math. Gen., 18, L57, 2917, 2937,
1985.
[31] V.A. Kostelecky, M.M. Nieto, and D.R. Truax, Phys. Rev.,
D32, 2627, 1985.
[32] V.A. Kosteleeky and M.M. Nieto, Phys. Rev. Lett., 53, 2285,
1984.
[33] V.A. Kosteleeky and M.M. Nieto, Phys. Rev. Lett., 56, 96,
1986.
[34] V.A. Kosteleeky and M.M. Nieto, Phys. Rev. A32, 1293, 1985.
[36] C.A. Blockley and G.E. Stedman, Eur. J. Phy., 6, 218, 1985.
[37] P.D. Jarvis and G. Stedman, J. Phys. A. Math. Gen., 17, 757,
1984.
[47] R.W. Haymaker and A.R.P. Rau, Am. J. Phys., 54, 928, 1986.
[48] W. Kwong and J.L. Rosner, Prog. Theor. Phys. (Supp.), 86,
366, 1986.
[49] A. Lahiri, P.K. Roy, and B. Bagchi, Int. J. Mod. Phys., A5,
1383, 1990.
[61] D. DeLaney and M.M. Nieto, Phys. Lett., B247, 301, 1990.
[69] R.J. Hughes, V.A. Kosteleky, and M.M. Nieto, Phys. Lett.,
B171, 226, 1986.
[70] R.J. Hughes, V.A. Kostelecky, and M.M. Nieto, Phys. Rev.,
D34, 1106, 1986.
[76] I. Kay and H.E. Moses, J. Appl. Phys., 27, 1503, 1956.
[78] V.A. Marchenko, Dokl Akad Nauk SSSR, 104, 695, 1955.
[81] C. Quigg and J.L. Rosner, Phys. Rev., D23, 2625, 1981.
[82] P. Moxhay, J.L. Rosner, and C. Quigg, Phys. Rev., D23, 2638,
1981.
[83] W. Kwong and J.L. Rosner, Phys. Rev., D38, 279, 1988.
[93] P. Mathieu, Phys. Lett., B203, 287, 1988 and references therein.
[94] J.L. Gervais and A. Neveu, Nucl. Phys., B209, 125, 1982.
Supersymmetric Classical
Mechanics
{Qi , Qj } = 0, {Pi , Pj } = 0,
{Qi , Pj } = δij (3.4)
= 0 if A
π(A) is even
= 1 if A is odd (3.8)
B
chain-rule: [A, C]
= [A,
B]
C + (−1)ab B[
A,
C]
[B,
Jacobi identity: [A, C]]
+ (−1)ab+ac [B[
C,
A]]
[A,
+(−1)ca+cb [C, B]]
=0 (3.9a, b, c, d)
B]
[A, =A
B − (−1)ab B
A (3.10)
B]
which implies that [A, plays the role of an anti-commutator when
A and B
are odd but a commutator otherwise
B]
[A, = A
B +B
A A and B
odd
= AB
−B
A otherwise (3.11)
With the definition (3.10) and the use of the linearity and chain-rule
properties, the Jacobi identity (3.9d) can be seen to hold.
To derive (3.10) it is instructive to evaluate [AB,
C D],
where C
and D are also operators. Applying (3.9b) in two different ways, we
get
[AB,
C D]
= [A
B,
C]
D + (−1)π(AB)π(C) C[
A B,
D]
= [AB,
C]
D + (−1)(a+b)c C[
A B,
D]
(3.12)
where we have used π(AB) = π(A) + π(B) = a + b and applied tee
chain-rule on C D. Next using (3.9a) and once again (3.9b) we arrive
at
[AB,
C D]
= (−1)bc [A,
C]
BD
+ A[
B,
C]
D + (−1)ac+bc+bd
A,
C[ D]
B + (−1)ac+bc C
A[
B,
D]
(3.13a)
Applying now (3.9b) on AB
we have
[AB,
C D]
= (−1)bc+bd [A,
C]
DB
+ A[
B,
C]
D + (−1)ac+bc+bd
A,
C[ D]
B + (−1)bc A
C[
B,
D]
(3.13b)
C]
[A, B
D − (−1)bd D
B = A
C − (−1)ac C
A [B,
D]
(3.14)
(3.14) implies that the generalized bracket [X, Y ] involving two op-
erators X and Y can be identitified as
{Qi , Qj } = 0, {Pi , Pj } = 0
{Qi , Pj } = δij (3.19)
but here Q and P denote collectively the coordinates (qi , θα ) and the
momenta (pi , πα ).
To deal with the odd variables it is necessary to identify properly
the processes of left and right differentiation. At the pure classical
level where we deal with even variables only (like coordinates and
momenta), such a distinction is not relevant. However, in a pseudo-
classical system in which the dynamical variable X is a function of
Q and P , its differential needs to be specified as [12]
∂θ O = O,θ , ∂π O = O,π
∂θ E = −E,θ , ∂π E = −E,π
∂q O = O,q , ∂p O = O,p
∂q E = E,q , ∂p E = E,p (3.22)
∂L ∂L
pi = , πα = − (3.23)
∂ q̇i ∂ θ̇α
with {π α , θβ } = 0, α =β.
[E1 , E2 ]− = ih̄{E1 , E2 }
[O, E]− = ih̄{O, E}
[O1 , O2 ]+ = ih̄{O1 , O2 } (3.28)
where the right hand side denotes the generalized Poisson bracket
with respect to both commuting and anti-commuting sets of vari-
ables and where − and + in the left hand side corresponds to the
commutator and anti-commutator, respectively. It may be remarked
that from (3.27b) and (3.27c) we have {O, E} = −{E, O}. The re-
spective expressi,n for the Poisson bracket in (3.28) are those given
by (3.27a), (3.27c) and (3.27d). We notice that only the odd-odd
operators are quantized with respect to the anti-commutator while
the remaining ones are quantized with respect to the commutator.
Q̇ = {Q, HScl }
= {Q, {Q, Q+ }}
= −{Q, {Q, Q+ }}
= −Q̇ (3.30)
3.4 References
[1] H. Goldstein, Classical Mechanics, Addison-Wesley, MA, 1950.
[12] S.N. Biswas and S.K. Soni Pramana, J. Phys., 27, 117, 1986.
[17] F.A. Berezin and M.S. Marinov, Ann. Phys., 104, 336, 1977.
This is logical since for energies which are strictly positive there is
a pairing between the energy levels corresponding to the bosonic
and fermionic states. Thus ∆ = 0 immediately signals SUSY to be
unbroken as there does exist a state with E = 0.
For the spontaneously broken SUSY case note that the nonvan-
ishing of classical potential energy implies the vacuum energy to be
strictly positive in the classical approximation. A suitable example
is V (x) = 12 (x2 + c)2 ≥ 12 c2 > 0 (for c > 0) and SUSY is sponta-
neously broken. On the other hand, if the vacuum energy is vanish-
ing at the classical level, then SUSY prevails in perturbation theory
and can be broken only through nonperturbative effects. However
∆ = T r(−1)Nf
= T r(1 − 2Nf ) (4.9)
b1 , b+
1 = 1
b2 , b+
2 = 1
[b1 , b2 ] = 0
b+
1 , b2 = 0 (4.14)
Analogous to (4.15), one can write down the thermal vacuum for
fermionic oscillators which consists of a1 a2 pairs.
The boson-fermion manifestation in a supersymmetric theory
suggests that the underlying thermal vacuum is given by
+ +
0(β) >= exp −θ(β)(a1 a2 − a+ a
2 1
+
) − θ(β)(b 1 b 2 − b 2 1 0 >
b )
(4.17)
where |0 > is the vacuum at T = 0 and tan θ(β) = e−β/2 .
where the measure [dΦ] runs over all field configurations satisfying
periodic boundary conditions and S the Euclidean action. It has
been found that one can evaluate ∆β both with and without the use
of constant configurations [22]. Other forms of a regularized index
have also been adopted in the literature. See, for example, [13-21].
The regularized Witten index ∆β is, in general, β-dependent
when the theory contains a continuum distribution apart from dis-
crete states [6]. This is in contrast to our normal expectations that
since E = 0 states do not contribute to the trace, the right hand side
of (4.19) should be independent of β. Of course ∆β is independent
of β if the Hamiltonian shows discrete spectrum. In the following let
us study the β-dependence of ∆β .
we can write ∆β as
∆β = dx [K+ (x, x, β) − K− (x, x, β)] (4.23)
d
− [K+ (x, y, β) − K− (x, y, β)] = e−βE(k) Ψ(x, y, k) (4.26)
dβ k
where accounts for the bound states as well as continuum contri-
k
butions and the quantity Ψ(x, y, k) stands for
∗ ∗
Ψ(x, y, k) = ψ+ (y, k)ψ+ (x, k) − ψ− (y, k)ψ− (x, k) (4.27)
1 ∗ ∗ ∗
E(k)Ψ(x, x, k) = − ψ ψ + ψ+ (ψ+ ) + 2(ψ+ ) ψ+
4 + +
d ∗
+2 (W ψ+ ψ+ )
dx
1 d d ∗ ∗
= − (ψ ψ+ ) + 2W ψ+ ψ+
4 dx dx +
1 d d ∗
= − + 2W (ψ+ ψ+ ) (4.30)
4 dx dx
1 d2 1 2
H+ = − + 1 − 2 sec h x (4.34a)
2 dx2 2
1 d2 1
H− = −2
+ (4.34b)
2 dx 2
If one employs periodic boundary conditions over the internal [−L, L]
the associated wave functions of H± turn out to be of the following
two types
1
ψ− = N cos k1 x (4.35a)
1 N
ψ+ = {k1 sin k1 x + tanh x cos k1 x} (4.35b)
k12 + 1
2
ψ− = N sin k2 x (4.36a)
2 N
ψ+ = {−k2 cos k2 x + tanh x sin k2 x} (4.36b)
k22 + 1
These wave functions are subjected to
dim ker b+ +
s bs − dim ker bs bs = 0 (4.41b)
where bs and b+ +
s are the truncated vertions [25] of b and b defined in
an (s + 1)-dimensional Fock space. To establish (4.41b) we transform
the eigenvalue equations
b+ 2
s bs φn = en φn (4.42a)
to the form
bs b+ 2
s χn = en χn (4.42b)
by setting χn = e1n bs φn with en = 0. We thus find the normal-
izability of the eigenfunctions φn and χn to go together. For a
finite-dimensional matrix representation we also have T r(b+
s bs ) =
T r(bs b+
s ). In this way we are led to (4.41b).
When applied to SUSYQM δ can be related to the Witten in-
dex which counts the difference between the number of bosonic end
4.7 Parabosons
The particle operators c and c+ of a parabose oscillator obey the
trilinear commutation relation [61,62]
[c, H] = c (4.57)
where H is the Hamiltonian
1 +
H= cc + c+ c (4.58)
2
pd 1
H2n = {[2N + p] + [2N ]} (4.78)
2
pd 1
H2n+1 = {[2N + p] + [2N + 2]} (4.79)
2
where
λ = p or 2 − p
f (q, N, [p]) = q −2N [p] or q −2N −p [2 − p] (4.81)
depending on whether (4.80) operates on the ket |2n > or |2n + 1 >.
We may remark that when p = 1, the q-deformed relation (4.80)
reduces to (4.42) which is as it should be. Further hermiticity is
preserved in (4.80) for all real q and also for complex values if q is
confined to the unit circle |q| = 1.
To examine the index condition for the q-parabose system con-
trolled by the Hamiltonians (4.78) and (4.79) we note that B and
B + can be expanded as
∞
B = [2k + p]|2k >< 2k + 1|
k=0
∞
+ [2k]|2k − 1 >< 2k| (4.82)
k=0
1
Taking q = exp(2πiθ) and setting θ = 2k+1 , k > 12 , which implies
[2k + 1] = 0, it is clear (we consider rational values of θ only) from
the first term in the right hand side of (4.82) that unless p = 1 the
coefficient of |2k >< 2k + 1| remains nonvanishing except for cases
when p assumes certain specific values constrained by the relation
p = 1 + 2m + m , where k = m/m , m and m are integers and
m = 0. However, barring these values ofp (and of course p = 1),
there is no other suitable choice of q for which this coefficient can
be made zero. Similarly, for B + . We therefore conclude that, for
such a scenario, ker B = {|0 >}, ker B + = empty implying that the
condition δ = 1 holds.
1
On the other hand if θ = 2k it results in the possibility of a
singular situation with dim ker B = ∞ and dim ker B + = ∞
h+ A + = A + h−
Ah+ = h− A (4.91)
4p = U+ + U−
2g = U+ U− + U− (4.97)
K = h2 − 2λh + µ
= (h − λ)2 + µ − λ2 (4.98)
we note that
[K, h] = 0 (4.99)
AψB = 0, A+ ψF = 0 (4.110a)
along with
p ν
U± = ± + 2p ∓ (4.113)
2p 8p
(4.112) indicates that there exists an intermediate Hamiltonian h0
which is superpartner to both h− and h+ . However, if µ > 0 then ν
turns imaginary and there can be no hermitean intermediate Hamil-
tonian.
However, H− is singular.
The interesting point is that if we focus on H+ we find that it
possesses the spectrum
n 1 3
E+ = n+ − (4.117)
2 2
for n = 0, 1, 2, . . .. For n = 0 one is naturally led to a negative
ground state energy E+ 0 = −1 and in consequence SUSY breaking.
Actually SUSY remains broken in the entire interval 12 < ν < 32 with
the ground state energy given by E+ 0 = −2ν + 1 < 0. Note that no
1 d2 1 2
2 1
H+ = − 2
+ 1 + |l| − |l| (|l| − 1) sech2 x
2 dx 2 2
1
n
E+ = (1 + |l|)2 − (|l| − 1 − n)2 ,
2
n = 0, 1, . . . < |l| − 1 (4.118)
1 d2 1 1
H− = − + (1 + |l|)2 − |l| (|l| + 1) sech2 x + cosech2 x
2 dx2 2 2
1
n
E− = (1 + |l|)2 − (|l| − 2 − 2n)2 ,
2
|l|
n = 0, 1, . . . , < −1 (4.119)
2
SUSY can be seen to be explicitly broken for l < −1 with unpaired
states. Indeed one can see that with l < −1, H+ possesses positive
energy eigenstates. The condition for H− to possess positive energy
eigenstates is, however, l < −2.
There have also been other proposals in the literature with sin-
gular superpotentials. The one suggested by Roy and Roychoudhury,
namely [84]
n
2νx µ
2λi x
W (x) = −x + 2
+ + (4.120)
1 + νx x i=1 1 + λ1 x2
[7] A. Das, A Kharev, and V.S. Mathur, Phys. Lett., B181, 299,
1986.
[8] C. Xu and Z.M. Zhou, Int. J. Mod. Phys., A7, 2515, 1992.
[10] A.K. Ekert and P.L. Knight, Am. J. Phys., 57, 692, 1989.
[12] B. Bagchi and D. Bhaumik, Mod. Phys. Lett., A15, 825, 2000.
[18] A.J. Niemi and L.C.R. Wijewardhana, Phys. Lett., B138, 389,
1984.
[25] B. Bagchi and P.K. Roy, Phys. Lett., A200, 411, 1995.
[34] C.P. Sun and H.C. Fu, J. Phys. Math. Genl., A22, L983, 1989.
[49] F. Wilczek and A. Zee, Phys. Rev. Lett., 51, 2250, 1983.
[51] T.L. Curtright and C.K. Zachos, Phys. Lett., 243B, 237, 1990.
[55] S-R Hao, G-H Li, and J-Y Long, J. Phys A: Math Gen., 27,
5995, 1994.
[60] K. Fujikawa, L.C. Kwek, and C.H. Oh, Mod. Phys. Lett., A10,
2543, 1995.
[64] A.A. Andrianov, N.V. Borisov, and M.V. Ioffe, Phys. Lett.,
A105, 19, 1984.
[65] A.A. Andrianov, N.V. Borisov, M.I. Eides, and M.V. Ioffe,
Phys. Lett., A109, 143, 1985.
[70 A.A. Andrianov, F. Cannata, and M.V. Ioffe, Mod. Phys. Lett.,
A11, 1417, 1996.
[72] V.G. Bagrov and B.F. Samsonov, Theor. Math. Phys., 104,
1051, 1995.
[78] J.I. Diaz, J. Negro, L.M. Nieto, and O. Rosas - Ortiz, J. Phys.
A. Math. Gen., 32, 8447, 1999.
[83] A. Jevicki and J.P. Rodrigues, Phys. Lett., B146, 55, 1984.
Factorization Method,
Shape Invariance
Subtraction yields
W 2 (x, c + 1) + W (x, c + 1)
− W 2 (x, c) − W (x, c) = h(c) (5.5)
where h(c) = g(c) − g(c + 1). Eq. (5.5) can also be recast in the form
1
V− (x, c + 1) = V+ (x, c) + h(c) (5.6)
2
where V± can be recognized to be the partner components of the
supersymmetric Hamiltonian [see (2.29)]. So the function W (x) in
(5.3) essentially plays the role of the superpotential.
: 12 + W1 = −a2
a = 0W
W0 + W0 W1 = −ka,
g(c) = a2 c2 + 2kca2 (5.8)
−1
a = 0 : W1 = (x + d)
W0 + W0 W1 = b1
g(c) = −2bc (5.9)
a = 0
Type A:
W1 = a cot a(x + x0 )
c
W0 = ka cot a(x + x0 ) + (5.10)
sin a(x + x0 )
Type B:
W1 = ia
W0 = iak + e exp(−iax) (5.11)
a=0
Type C:
1
W1 =
x
bx e
W0 = + (5.12)
2 x
Type D:
W1 = 0
W0 = bx + p (5.13)
Type E:
W1 = a cot a(x + x0 )
W0 = 0
W2 = q (5.14)
Type F:
1
W1 =
x
W0 = 0
W2 = q (5.15)
where
W2
W = W0 + cW1 + (5.16)
c
and q is a constant.
Each type of factorization determines W (x, c) from the solutions
of W0 and W1 given above. For Types A-D factorizations, g(c) is
obtained from its expression in (5.8) whereas for the cases E and
2 2
F, g(c) can be determined to be a2 c2 − qc2 and − qc2 , respectively. IH
concluded that the above types of factorizations are exhaustive if and
only if a finite number of negative powers of c are considered in the
expansion of W (x, c).
Concerning the normalizability of eigenfunctions we note that
g(c) could be an increasing (class I) or a decreasing (class II) function
of the parameter c. So we can set c = 0, 1, 2, . . . k for each of a
discrete set of values Ek (k = 0, 1, 2, . . .) of E for class I and c =
k, k +1, k +2, . . . for each of a discrete set of values Ek (k = 0, 1, 2, . . .)
of E for class II functions.
Replacing ψ in (5.2) by the form Ykc we can express the normal-
ized solutions as
Class I:
− 12 d
Ykc−1 = [g(k + 1) − g(c)] W (x, c) + Yc (5.17)
dx k
where
1 2
R(c1 ) =c0 − c21 (5.25)
2
So the potentials V± are SI in accordance with the definition (5.21).
To exploit the SI condition let us assume that (5.21) holds for a
sequence of parameters {ck }, k = 0, 1, 2, . . . where ck = f f . . . k times
(c0 ) = f k (c0 ). Then
It is also not too difficult to realize [5] that because of the chain
H (m) → H (m−1) . . . → H (1) (≡ H− ) → H (0) (≡ H+ ), the nth member
(+)
Moreover if ψ0 (x, cm ) is to represent the ground-state wave
function for H (m) then the nth wave function for H+ (x, c0 ) can be
constructed from it by repeated applications of the operator A+ . To
+ 1
establish this we note from (2.59) that ψn+1 = (2En− )− 2 A+ ψn− and
(−)
that for SI potentials ψn (x, c0 ) = ψn+ (x, c1 ). So we can write
+
ψn+1 (x, c0 ) = (2En− )−1/2 A+ (x, c0 )ψn+ (x, c1 ) (5.31)
ψn+ (x, c0 ) = N A+ (x, c0 )A+ (x, c1 ) . . . A+ (x, cn−1 )ψ0+ (x, cn ) (5.32)
1 1
En = En+ − c20 = − (c0 − n)2 (5.36)
2 2
q(x)
W (x, c) = (a + b)p(x) + + r(x) (5.37)
a+b
c1 = qc0 (5.39)
1
Shifted Oscillator 2
mω 2 x− mω
ω ω h̄ω
2
1 l(l+1)h̄
Isotropic Oscillator 2
mω 2 r2 + 2mr2
l l+1 2h̄ω
3
(3 dim.) − l + 2 h̄ω
2 l(l+1)h̄2 me4 me4
Coulomb − er + 2mr2 + 2(l+1) 2 h̄2 l l+1 2h̄2
1
(c0 +1)2
1
− (c 2
1 +1)
B2 √αh̄
Rosen-Morse I A2 + + 2B tanh αx A A− c20 − c21
A2 2m
−A A + √αh̄ sech2 αx +B 2 1
− 1
c2 c2
2m
0 1
Aαh̄ √αh̄
Rosen-Morse II A2 + B 2 + A2 + √ × A A− c20 − c21
2m 2m
cosech2 αr
−B 2A + √αh̄ ×
2m
cothαr cosechαr
Table 5.1 (continued)
© 2001 by Chapman & Hall/CRC
√
2
(l+1)h̄
Isotropic Oscillator mωr − √ 2nh̄ω rl+1 exp − mωr
2h̄
mr 2
(3 dim.)
√ e2 (l+1)h̄ me4 1 1 me r 2
Coulomb m (l+1)h̄ − √
2h̄2 (l+1)2
− (n+l+1)2
rl+1 exp − (l+1)h̄
mr 2
√
√ B 2mA
Rosen-Morse I 2(A tanh αx + A
) (sechαx)
αh̄ ×
√
+B 2 1
A2
−
1
nh̄α
2 exp − 2mBx
Ah̄
A− √
√
2 2m 2m
nh̄α (sin hαr) h̄α +(B−A)
Rosen-Morse II 2(Acothαr − Bcosechαr) A2 − A − √ √
2m 2m n
(1+cos hαr) h̄α
A<B
© 2001 by Chapman & Hall/CRC Table 5.1 (continued)
√
2 √
2m (A+B)
nh̄α (sin αx) h̄α
Eckart -II 2(−A cot αx + Bcosecx) A+ √ − A2 √
2m 2m B
(1−cos αx) h̄α
(0 ≤ αx ≤ π, A > B)
√
2 √
2m
2αh̄ B
Poschl-Teller-I 2(A tan αx − B cot αx) A+B+ √ (sin αx) αh̄ ×
2m
π
2m
√
A
0 ≤ αx ≤ 2
−(A + B)2 (cos αx) αh̄
√
2m B
√ (sinh αr) αh̄
Poschl-Teller-II 2(A tanh αr − Bcothαr) (A − B)2 √
2m A
2 2 (cosh αr) αh̄
(B < A) − A−B− m
nαh̄
√
2 √
nαh̄ 2m
Morse - I 2(A − Be−αx ) A2 − A − √ exp − h̄
2m
B −αx
Ax + e
√
2 α
√
2m
nαh̄ A
Hyperbolic 2(tanh αx + B sec hαx) A2 − A − √ (sec hαx) αh̄ ×
2m
√
2mB 2
exp − αh̄
tan−1 (eαx )}
√
2 √
2m
B nh̄α A
Trigonometric 2 A cot αx − A
−A2 + A − √ (cosecαx) αh̄ ×
2
2m
2
√
−2B cot αx +B
A2
−
B
nh̄α
2 exp 2mB
h̄A
x
A− √
2m
with q ∈ (0, 1), a fractional quantity. The parameter q in effect yields
a deformation of quantum mechanics affected by the q-parameter.
As already alluded to in Chapter 4 such a deformation is called q-
deformation.
We now consider expansions of W (x) and R(c0 ) in a manner
∞
W (x, c0 ) = tk (x)ck0 (5.40)
k=0
∞
R(c0 ) = Rk ck0 (5.41)
k=0
where
Rn ≡ (1 − q n )ρn ,
1
t0 (x) = R0 x + λ,
2
ξn ≡ (1 − q n )/(1 + q n ) (5.43)
with n = 1, 2, . . . and λ is a constant.
The solution of (5.42) corresponding to t0 = 0 is
n−1
tn (x) = ξn ρn − tk (x)tn−k (x) dx (5.44)
k=1
where
1
a = − ξ1 ρ1 c0 + ξ2 ρ2 c20 ,
2
1
b = ξ2 (ξ1 ρ1 c0 )2 + 2ξ3 (ξ1 ρ1 c0 )(ξ2 r2 c20 )
12
+ξ4 (ξ2 ρ2 c20 )2 (5.48)
W (x, j) = q j W (q j x) (5.59)
2j
Ej = q k, k > 0 (5.60)
AA+ − q 2 A+ A = R (5.63)
where
√
d
b = + α(x) / 2
dx
H φn = H (b )+ ψn−1
= (b )+ (H + 1)ψn−1
1
= (b )+ n + ψn−1
2
1
= n+ φn (5.84)
2
where φn = (b )+ ψn−1 and ψn are those of (5.76), n = 1, 2, . . . Hence
we conclude that both H and H share a similar energy spectra.
(1) 1 d2 (1)
H+ = − 2
+ V+ (r) (5.85)
2 dr
1 +
= A A1 + E (1) (5.86)
2 1
(1)
where V+ (r) is a given potential and E (1) is some arbitrary negative
energy. Analogous to (2.86) we take
d
A1 = + W (r)
dr
d
A+
1 = − + W (r) (5.87)
dr
By reversing the factors in (5.86) we can at once write down the
(1) (1)
supersymmetric partner to H+ , namely H− , which reads
(1) 1
H− = A1 A+
1 +E
(1)
(5.88)
2
1 d2 (1)
= − + V− (r) (5.89)
2 dr2
(1) (1)
Note that the spectrum of H− is almost identical to H+ with the
possible exception of E (1) .
Using (2.84) it follows that
(2) 1 d2 (2)
H+ = − + V+ (r) (5.94)
2 dr2
1 +
= A A2 + E (1) (5.95)
2 2
(2) (2)
H+ has the partner H− namely
(2) 1 d2 (2)
H− = − + V− (r) (5.96)
2 dr2
1
= A2 A+
2 +E
(1)
(5.97)
2
(2)
A little calculation shows that V− (r) can be put in the form
∞
(2) (1) d2
V2 ≡ V− (r) = V+ (r) − log β + e−2 W (t)dt
dt (5.98)
dr2 r
where R(g) is
R(g) = Ai (g − gi )2 + Bi (g − gi ) + Ci , gi = 0, 1 (5.108)
4g 2 (1 − g)2
(g )2 = (5.109b)
R(g)
g
R(g) = : g = tanh2 [a(x − x0 )],
a22
a 3
V (x) = c1 + cosech2 a(x − x0 )
2
4
− c0 + 34 sech2 a(x − x0 )
1 exp[2a(x − x0 )]
R(g) = :g= ,
2
a 1 + exp[2a(x − x0 )]
a2 1 (5.110a, b, c)
V (x) = (c1 − c2 ) {1 − tanh a(x − x0 )}
2 2
− 14 c0 sech2 a(x − x0 )
d2 F dF
2
+ Q(g) + R(g)F (g) = 0 (5.111)
dg dg
g 2f
Q(g) = 2
+ (5.112)
(g ) fg
f E − V (x)
R(g) = 2
+2 (5.113)
f (g ) (g )2
f
W =− = −(log f ) (5.117)
f
For Jacobi Pni,j (g) and Laguerre [Lin (g)] polynomials one have
j−i g
Pni,j (g) : Q(g) = − (i + j + 2)
1 − g2 1 − g2
n(n + i + j + 1)
R(g) = (5.118)
1 − g2
i−g+1
Lin (g) : Q(g) =
g
n
R(g) = (5.119)
g
gf 2 = constant,
ψ = (g )−1/2 F [g(x)] (5.123)
1
2 [E − V (x)] = {g, x} + R(g )2 (5.124)
2
To exploit (5.124) let us set R = 2[ET − VT (g)] and use the
transformation x = f (g). We get the result
2 1
VT (g) − ET = f (g) [V {f (g)} − E] + ∆V (g) (5.125)
2
where
1 f (g) 3 f (g) 2
∆V (g) = − + (5.126)
2 f (g) 4 f (g)
In the above equations the primes stand for differentiations with
respect to the variable g.
g 2
I 1−g 2
=C (i) i sinh(αx) (1 − g 2 )−ν/ω × i = − −1λ − ν − 12 ,
√
exp{−λ tan−1 (−ig)}Pni,j (g) j = −1λ − ν − 12
λ−ν
A β
(ν = α
,λ = α
) (ii) cosh(αx) (g − 1) 2 (g + 1)−(λ−ν)/2 × i = λ − ν − 12 ,
Pni,j (g) j = −ν − λ − 12 ,
ν−λ
(iii) cos(αx) (1 − g) 2 (1 + g)(ν+λ)/2 × i = ν − λ − 12 ,
Pni,j (g) j = ν + λ − 12
λ
(iv) cos(2αx) (1 − g) 2 (1 + g)ν/2 × i = λ − 12 ,
Pni,j (g) j = ν − 12
λ
(v) cosh(2αx) (g − 1) 2 (g + 1)−ν/2 × i = λ − 12 ,
Pni,j (g) j = −ν − 21
ν−n+µ−
g 2
II 1−g 2
=C (i) i tanh(αx) (1 − g) 2 × i = −ν − n + µ− ,
ν−n−µ−
(1 + g) 2 Pni,j (g) j = −ν − n − µ−
β −(ν+n−µ+ )/2 ×
(λ = α2
(ii) cot h(αx) (g − 1) i = ν − n + µ+ ,
(g + 1)−(ν+n+µ+ )/2 Pni,j (g) j = −ν − n − µ+
λ √
µ± = ν±m
(iii) −i cot(αx) (g 2 − 1)(ν−n)/2 exp(µ − αx)× i = ν − n + −1µ− ,
i,j √
Pn (g) j =ν−n− −1µ−
(g )2 (l+1)/2
III g
=C 1
2
ωx2 g (l+1)/2 exp(− g2 )Ln (g) –
e2 x g (2l+1)/2
IV (g )2 =C n+l+1
g (l+1)/2 exp(− 2 )Ln (g) –
(g )2 2β (2ν−2n)
V g
=C α exp(−αω)
g (ν−n)/2 exp(− g2 )Ln (g) –
VI (g )2 =C ( 12 ω)1/2 (n − 2b
ω
) exp(− 12 g 2 )Hn (g) –
Table 5.2 (continued)
B2
En = −(A + n)2 − (5.134)
(A + n)2
a be−x 3
V (x) = −2x
− − (5.140)
1+e −2x
(1 + e ) 1/2 4(1 + e−2x )2
1 b
W (x) = a + 2x
− (5.142)
2(1 + e ) (1 + e2x )1/2
a b 3
V (x) = + 1/2 − (5.143)
r r 32r2
[5] R. Dutt, A. Khare, and U.P. Sukhatme, Am. J. Phys., 56, 163,
1987.
[7] L. Infeld and T.E. Hull, Rev. Mod. Phys., 23, 21, 1951.
[8] L. Infeld and T.E. Hull, Phys. Rev., 74, 905, 1948.
[11] M. Luban and D.L. Pursey, Phys. Rev., D33, 431, 1986.
[14] V.G. Bagrov and B.F. Samsonov, Theor. Math. Phys., 104,
1051, 1945.
[16] R. Montemayor and L.D. Salem, Phys. Rev., A40, 2170, 1989.
[23] A. Lahiri, P.K. Roy, and B. Bagchi, Int. J. Mod. Phys., A5,
1383, 1990.
[25] A.B. Shabat and R.I. Yamilov, Leningrad Math. J., 2, 377,
1991.
[27] A.P. Veslov and A.B. Shabat, Funct. Anal. Appl., 27, n2,1,
1993.
[38] L. Brink, T.H. Hansson, and M.A. Vasiliev, Phys. Lett., B286,
109, 1992.
[42] A. Jevicki and J.P. Rodrigues, Phys. Lett., B146, 55, 1984.
[43] L.O’ Raifeartaigh and C. Ryan, Proc. Roy. Irish Acad., 62,
93, 1963.
[54] D. Baye and J-M Sparenberg, Phys. Rev. Lett., 73, 2789, 1994.
[56] L.U. Ancarani and D. Baye, Phys. Rev., A46, 206, 1992.
[64] F. Cannata and M.V. Ioffe, Phys. Lett., B278, 399, 1992.
[68] L.F. Urrutia and E. Hernandez, Phys. Rev. Lett., 51, 755,
1983.
[69] V.A. Kostelecky and M.M. Nieto, Phys. Rev., A32, 1293, 1985.
[81] B.W. Williams and D.P. Poulios, Eur. J. Phys., 14, 222, 1993.
[87] C.A. Singh and T.H. Devi, Phys. Lett., A171, 249, 1992.
[90] P. Cordero and G.C. Ghirardi, Fortschr Phys., 20, 105, 1972.
Whereas the
Bohr series for (6.5) starts from (l+1) with energies
1
2 (l + 1)2 − n−2 , we see from (6.7) that the lowest level for V−
begins at n = l + 2 with n ≥ l + 2. SUSY therefore offers a plausible
interpretation of the spectrum of H+ and H− which corresponds to
the well known hydrogenic ns − np degeneracy. In particular if we
set l = 0 we find H+ to describe the ns levels with n ≥ 1 while H− is
is consistent with the np levels with n ≥ 2. The main point to note
[2-4] is that SUSY brings out a connection between states of same n
but different l.
What happens if we similarly apply SUSY to the isotropic oscil-
lator potential V (r) = 12 r2 ? We find then the Schroedinger equation
to read
1 d2 1 l(l + 1) 3
− 2
+ r2 + 2
− n+ χnl (r) = 0 (6.8)
2 dr 2 2r 2
where n is related to l by
n = l, l + 2, l + 4, . . . (6.9)
1 d2 Ψ
− + {V (ex ) − E} e2x
2 dx2
1 1 2
+ l+ Ψ=0 (6.11)
2 2
where χ(r) → ex/2 Ψ(x). Note that E no longer plays the role of an
eigenvalue in (6.11).
Corresponding to the Coulomb potential, (6.11) can be written
as
1 d2 Ψ x
− + −e − En e2x
2 dx2
1 1 2
+ l+ Ψ=0 (6.12)
2 2
1 d2 1 1
− 2
− En − 1 −
2 dr n r
l(l + 1)
+ χnl (r) = 0 (6.14)
2r2
1 d2 Ψ 1 1 3 x
− 2
+ e2x − n+ e
2 dx 8 4 2
1 1 2
+ l+ Ψ=0 (6.15)
8 2
Moreover
1
V (r) = − (6.35)
r
1
ElN = − (6.36)
2(N + l + 1)2
1 d2
H+ = −
2 dr2
l(l + 1) 1
+ −
2r2 r
1
+ (6.38)
2(l + 1)2
1 d2
H− = −
2 dr2
(l + 1)(l + 2) 1
+ −
2r2 r
1
+ (6.39)
2(l + 1)2
1 d2
H+ = −
2 dr2
l(l + 1)
+
2r2
2
r 3
+ − l+ (6.43)
2 2
1 d2
H− = −
2 dr2
(l + j)(l + j + 1)
+
2r2
2
r 3
+ − l+j+ +2 (6.44)
2 2
A particular case of (6.43) and (6.44) when j = 0 corresponds
to the previous combinations (6.8) and (6.17). Equations (6.43) and
(6.44) are however more general and correctly predicting the energy
difference of two units.
Thus using the ladder operator techniques one can successfully
give a supersymmetric interpretation to both the Coulomb and the
isotropic oscillator problems. We should stress that in getting these
results we did not require any specific form of the superpotential.
The mere existence of the operators A and A+ was enough to set up
a supersymmetric connection.
C = βi βj (σi σj − σj σi ) − 3 (6.57)
4 i j
1
[U± , K0 ] = ∓ U±
2
1
[W± , K0 ] = ∓ W±
2
[K± , U± ] = 0,
[K± , W± ] = 0
[K± , U∓ ] = ∓U±
[K± , W∓ ] = ∓W±
1
[Y, U± ] = U±
2
1
[Y, W± ] = − W±
2
[K± , Y ] = 0
[K0 , Y ] = 0
{U± , U± } = 0
{W± , W± } = 0
{U+ , U− } = 0
{W+ , W− } = 0
{U± , W± } = K±
{U∓ , W± } = K0 ± Y (6.64)
H = 2(K0 + Y ) (6.65)
In (6.69) N and l stand for the radial and angular momentum quan-
tum numbers respectively.
From (6.30) we obtain
1 1
G = −
2 N + l + D−1 2
2
1 1
+
2 l + D−1 2
2
1 1
+
(6.70)
2 N − 1 + l + j + D−1 2
2
1 d2 αl
H+ ≡ Hl − El0 = − 2
+ 2
2 dr 2r
−2
1 1 1
− + l + (D − 1) (6.72)
r 2 2
1 d2 αl+1
H− ≡ Hl+1 + G = − 2
+
2 dr 2r2
−2
1 1 1
− + l + (D − 1) (6.73)
r 2 2
where αl is given by (6.68). For D = 3 these are in agreement with
(6.38) and (6.39).
1 d2 αl
H+ = − 2
+ 2
2 dr 2r
1 D
+ r2 − l + (6.76)
2 2
1 d2 αl+j
H− = − +
2 dr2 2r2
1 2 D
+ r − l+j+ +2 (6.77)
2 2
6.5 References
[1] B.H. Bransden and C.J. Joachain, Introduction to Quantum
Mechanics, ULBS, Longman Group, Essex, UK, 1984.
[2] V.A. Kostelecky and M.M. Nieto, Phys. Rev. Lett., 53, 2285,
1984.
[3] V.A. Kostelecky and M.M. Nieto, Phys. Rev. Lett., 56, 96,
1986.
[4] V.A. Kostelecky and M.M. Nieto, Phys. Rev., A32, 1293, 1985.
[5] R.W. Haymaker and A.R.P. Rau, Am. J. Phys., 54, 928, 1986.
[8] J.D. Newmarch and R.H. Golding, Am. J. Phys., 46, 658,
1978.
[9] A. Lahiri, P.K. Roy, and B. Bagchi, Phys. Rev., A38, 6419,
1988.
[10] A. Lahiri, P.K. Roy, and B. Bagchi, Int. J. Theor. Phys., 28,
183, 1989.
[13] V.A. Kostelecky, M.M. Nieto, and D.R. Truax, Phys. Rev.,
D32, 2627, 1985.
[16] J.D. Louck and W.H. Schaffer, J. Mol. Spectrosc, 4, 285, 1960.
Supersymmetry in
Nonlinear Systems
Tt + χx = 0 (7.4)
u = ω + ωx + 2 ω 2 (7.5)
ω = Σ∞ n
n=0 ωn (u) (7.9)
ω0 = u
ω1 = −ω0x = −ux
ω2 = −ω1x − ω02 = uxx − u2 (7.10)
etc.
On the other hand, combining (7.8) with (7.9) and matching for
the coefficients , 2 , and so on we are also led to
ω0t + −3ω02 + ω0xx = 0
x
ω1t + (−6ω0 ω1 + ω1xx )x = 0
ω2t + −6ω0 ω2 − 3ω12 − 2ω03 + ω2xx = 0 (7.11)
x
etc.
T1 = u2
χ1 = 2uuxx − 4u3 − u3x
1
T2 = u3 + u2x
2
9 4 1
χ2 = − u + 3u2 uxx − 6uu2x + ux uxxx − u2xx (7.12)
2 2
etc.
Note that the set (T0 , χ0 ) corresponds to the KdV equation itself.
However, (T1 , χi ), i = 1, 2, . . . yield higher order KdV equations.
Indeed a recursion operator can be found [18] by which the infinite
hierarchy of the corresponding equations can be derived.
To touch upon other evolution equations it is convenient to refor-
mulate the inverse method in terms of the following coupled system
involving the functions Ψ(x, t) Φ(x, t)
Ψx − λΨ = f Φ
Φx + λΦ = gΨ (7.13)
where f and g also depend upon x and t. The question we ask is un-
der what conditions the eigenvalues λ are rendered time-independent.
Suppose that the time evolutions of Ψ and Φ are given by the
forms
Ψt = a(x, t, λ)Ψ + b(x, t, λ)Φ
Φt = c(x, t, λ)Ψ − a(x, t, λ)Φ (7.14a, b)
where as indicated a, b, c, d are certain functions of x, t, and λ. The
conditions for the time-independence of λ may be worked out to be
[19]
ax = f c − gb
bx − 2λb = ft − 2af
cx + 2λc = gt + 2ag (7.15)
ξx = g − 2λξ − f ξ 2
ξt = c − 2aξ − bξ 2
ηx = f + 2λη − gη 2
ηt = b + 2aη − cη 2 (7.17a, b, c, d)
Eliminating c between (7.17b) and (7.14b) we get
1 ∂Ψ
a + bξ = (7.18)
Ψ ∂t
This implies
∂ ∂
(a + bξ) = (f ξ) (7.19a)
∂x ∂t
Similarly eliminating b between (7.17d) and (7.14a) we arrive at
∂ ∂
(−a + cη) = (gη) (7.19b)
∂x ∂t
(7.19a) and (7.19b) are the required conservation relations.
We have already provided the first few conserved densities and
the fluxes for the KdV. We now furnish the same for the MKdV and
SG equations. Note that the generalized form of the MKdV equation
is
vt + 6(k 2 − v 2 )vx + uxxx = 0 (7.20)
where k is a constant. On the other hand, the SG equation when
expressed in light-cone coordinates x± = 12 (x ± t) reads
∂2ψ
= − sin ψ (7.21a)
∂x+ ∂x−
Equation f g a b c
KdV : ut = 6uux − uxxx −u −1 −4λ3 uxx + 2λu − 2u2 4λ2 − 2u
MKdV : vt = 6v 2 vx − vxxx −v v −4λ3 − 2λv 2 vxx + 2λvx + 4λ2 v + 2v 3 −vxx + 2λvx − 4λ2 v − 2u3
1
SG : ψ̇ = − sin ψ 2 ux − 12 ux 1
λ cos u 1
4λ sin u 1
4λ sin u
That is
ψ̇ = − sin ψ (7.21b)
where the overdot (prime) denotes a partial derivative with respect
to x+ (x− ).
The results for (Ti , χi ) corresponding to (7.20) and (7.21) are
MKdV
T1 = v 2 ,
χ1 = −3v 4 − 2vvxx + vx2
T2 = v 4 − 6k 2 v 2 + vx2 ,
vx vxxx vx2
χ2 = v 6 + v 3 vxx − 3v 2 vx2 + − (7.22)
2 4
etc.
SG
2
T0 = ψ
χ0 = 2 cos ψ
4 2
T1 = ψ − 4ψ ,
2
χ1 = 4ψ cos ψ
6 2 2 16 3 2
T2 = ψ − 4ψ ψ + ψ ψ + 8ψ
3
1 4 2
χ2 = 2 ψ − 4ψ cos ψ (7.23)
3
etc.
Now given a conservation law in the form (7.4) we can identify
the corresponding constants of motion in the manner
∞
I[f ] = T [f (x, t)] dx (7.24)
−∞
I0 = dxu
I1 = dxu2
1
I2 = dx u3 + u2x (7.25)
2
etc.
MKdV
I1 = dxv 2
I2 = dx v 4 + vx2 − 6k 2 v 2 (7.26)
etc.
SG
2
I0 = dx− ψ
4 2
I1 = dx− ψ − 4ψ
2 2 2
I2 = dx− ψ 6 − 20ψ ψ + 8ψ (7.27)
etc.
In writing I2 of SG we have integrated by parts and discarded a
total derivative.
Lt = [L, B] (7.28)
∂2
L=− + u(x, t)
∂x2
∂3 ∂ ∂
B=4 3
−3 u + u (7.29a, b)
∂x ∂x ∂x
Equation (7.28) can be solved to obtain
Ṡ = −BS (7.30a, b)
Corresonding to (7.29a) the associated eigenvalue problem is
LΦ = λΦ which means that if Φ is an initial eigenfunction of L
with an eigenvalue λ then it remains so for all times bearing the
same eigenvalue λ. The essence of (7.30a) and LΦ = λΦ is that the
spectrum of L is conserved and that it yields an infinite sequence of
conservation laws. Note that the conserved quantities may also be
obtained from the definitions
∂2
L(x, y) = − 2 + u(x) δ(x − y) (7.31a)
∂x
along with
Now since
(7.32a)
∂4 ∂2
= − {u(x) + u(y)} + u2 δ(x − y)
∂x4 ∂x2
we obtain
2
T rL = −V δ (0) − 2δ (0) dxu + δ(0) dxu2 (7.32c)
∞
where V ≡ −∞ dx. If we agree to ignore the additive and multi-
plicative infinities, T rL and T rL2 lead to the conserved quantities
1 2 1
V− ≡ v + vx = k 2 > 0 (7.37)
2 2
1
Ψ= (ψφ − ψ φ) (7.40)
φ
and
d2
U (x) = V (x) − lnφ (7.41)
dx2
Equation (7.44) closely resembles the expression (2.84) between the
partner potentials for SUSYQM. The relevance of Darboux’s method
to the factorization scheme is brought out by the fact that V+ (V− )
act like U (V ) with the correspondence ψ0+ ↔ φ1 .
To have a nonsingular U, φ ought not to be vanishing. This
restricts e ≤ E0 , E0 being the ground state energy of H. If we assume
the existence of a solution of (7.38) that satisfies u → 0 as x → −∞
and is nonvanishing for finite x ∈ R, then the general solution of
(7.38) for the case when E = e can be obtained as
dx
φ(x) = u(x) K + (7.42)
x u2
1 d2 ψN +1
− + Q(N ) ψN +1 = EN +1 ψN +1 (7.45)
2 dx2
To put (7.45) to use let us set E0 = EN +1 , V = Q(N ) , U = Q(N +1)
and identify the particular solution φ to be ΨN +1 . Then ΨN +1 =
1
ψN +1 and we get from (7.41)
d2
Q(N +1) = Q(N ) + lnψN +1 (7.46)
dx2
To get an (N +1) solution the strategy is simple. We solve (7.45)
for an unbounded solution corresponding to a given Q(N ) . This gives
ψN +1 which when substituted in (7.46) determines QN +1 . In this
way we avoid solving (7.44). The following example serves to make
the point clear.
Set Ei = −λ2i < 0 and start with the simplest vacuum case
V (0) = 0. Then from (7.45)
1 d2 ψ1
N =0:− + λ21 ψ1 = 0 (7.47)
2 dx2
The unbounded solution is given by
√ √
2λ1 x
ψ1 = c1 e + c2 e− 2λ1 x
(7.48)
d2 √ √
Q(1) = log c1 e 2λ1 x
+ c2 e− 2λ2 x
(7.49)
dx2
1 d2 ψ2
− + Q(1) ψ2 = −λ22 ψ2 (7.50)
2 dx2
Equation (7.50) may be solved for an unbounded solution which turns
out to be
λ+ −λ− x λ− −λ+ x
ψ2 = K c3 eλ+ x + c4 e−λ− x + A e +B e /ψ1 (7.51)
λ− λ+
where
√
2(λ1 ± λ2 ) = λ± (7.52)
A = (c2 c3 )/c1 (7.53)
B = c2 c4 /c1 (7.54)
Lχ = ξχ (7.55)
1 1 2 ξ2
− χ+ + W − W χ+ = − χ+ (7.58a)
2 2 8
1 1 2 ξ2
− χ− + W + W χ− = − χ− (7.58b)
2 2 8
with W = − iψ2 . The supersymmetric
Hamiltonian Hs which acts
χ−
on the two-component column , may be expressed as Hs =
χ+
d2
diag H− , H+ ) similar to (2.28)
where
H± = − 12 dx 2 ± V± and V±
denoting the combinations 12 W 2 ∓ W . We thus see that a natural
embedding of SUSY to be present in the eigenvalue problem of the
L operator for the SG equation.
It is straightforward to relate the conservation laws in the KdV
and SG systems. The eigenvalue problem of the L operator for the
KdV system being given by (7.34), it follows that either of Equations
(7.58) is identical to (7.34) if u transforms as
1 2
u± → W ∓ W (7.59a)
2
λ → −(ξ 2 /4) (7.59b)
Effectively, this implies that given the set of conserved quantities
I0 , I1 , I2 , etc. of the KdV system, the corresponding ones for the SG
system may be obtained through the mapping (7.59) and using the
D = θ∂x + ∂θ (7.62)
D2 = ∂x
{D, θ} = 0 (7.63)
Q = ∂θ − θ∂x (7.64)
x → x − ηθ
θ → θ+η (7.65)
δΦ = ηQΦ
= ηu + θηξ (7.66)
δξ = ηu(x)
δu = ηξ (x) (7.67)
DΦ = θξx + u
D2 Φ = θux + ξx
D4 Φ = θuxx + ξxx
D6 Φ = θuxxx + ξxxx (7.70)
∂u
= Ou, O = −D3 + 2(Du + uD) (7.78)
∂t
δA[u] δB[u]
{A[u], B[u]}1 = dτ O (7.80)
δu(τ ) δu(τ )
δA[u] δB[u]
{A[u], B[u]}2 = dτ D (7.81)
δu(τ ) δu(τ )
δF [X] 1
= lim F [X] − F [X] (7.82)
δX(y) →0
where
X(x) = X(x) + δ(x − y) (7.83)
it follows that
∂u
= {u(x), I1 }1
∂t
= right hand side of (7.2) (7.86)
and
∂u
= {u(x), I2 }2
∂t
= right hand side of (7.2) (7.87)
(1) 3
D = −D + 2(Du + uD), I1 = dxu2 (7.89)
1
D(2) = D, I2 = dx u3 + u2x (7.90)
2
Given the constants of motion for the KdV summarized in (7.25),
it is easy to arrive at their supersymmetric counterparts
1
I1 → J1 = dxdθ ΦDΦ (7.91)
2
1
I2 → J2 = dxdθ 2Φ(DΦ)2 + D2 ΦD3 Φ (7.92)
2
etc.
Consider J2 . In Poisson bracket formulation
This picks out a = 2 from the SKdV equation (7.73). While deriving
the above form we have made use of the following definition of the
Poisson bracket
∂ ∂
{Φ(x1 , θ1 ), Φ(x2 , θ2 )} = θ1 + ∆ (7.94)
∂x1 ∂θ1
where
∆ ≡ (θ2 − θ1 )δ(x2 − x1 ) (7.95)
Note that
{ξ1 , ξ2 } = −δ(x2 − x1 )
∂
{u1 , u2 } = [δ(x2 − x1 )]
∂x1
{ξ1 , u2 } = 0
{u1 , ξ2 } = 0 (7.97)
7.8 Conclusion
In this chapter we have discussed the role of SUSY in some nonlin-
ear equations such as the KdV, MKdV, and SG. In the literature
SUSY has also been used to study several aspects of nonlinear sys-
tems. More recently, hierarchy of lower KdV equations has been de-
termined [50-53] which arise as a necessary part of supersymmetric
constructions. It is now known that the supersymmetric structure
of KdV and MKdV hierarchies leads to lower KdV equations and
it becomes imperative to consider Miura’s transformation in super-
symmetric form. A supersymmetric structure has also been found
to hold in Kadomtsev-Petviashvili (KP) hierarchies. In this connec-
tion it is relevant to mention that among various nonlinear evolution
equations, the KdV-MKdV, KP and its modified partner are gauge
equivalent to one another with the generating function coinciding
7.9 References
[1] D.J. Korteweg and G. de Vries, Phil. Mag., 39, 422, 1895.
[4] C.S. Gardner and G.K. Morikawa, Courant Inst. Math. Sc.
Res. Rep., NYO-9082, 1960.
[8] E. Fermi, J.R. Pasta, and S.M. Ulam, Los Alamos. Report
Number LA-1940, Los Alamos, 1955.
[11] C.S. Gardner, J.M. Greene, M.D. Kruskal, and R.M. Miura,
Phys. Rev. Lett., 19, 1095, 1967.
[12] C.S. Gardner, J.M. Greene, M.D. Kruskal, and R.M. Miura,
Comm. Pure Appl. Math., 27, 97, 1974.
[13] P.D. Lax, Comm. Pure Appl. Math., 21, 467, 1968.
[14] V.E. Zakharov and A.B. Shabat, Func. Anal. Appl., 8, 226,
1974.
[17] R.M. Miura, C.S. Gardner, and M.D. Kruskal, J. Math. Phys.,
9, 1204, 1968.
[23] Q. Wang, U.P. Sukhatme, W-Y Keung, and T.D. Imbo, Mod.
Phys. Lett., A5, 525, 1990.
[25] A.A. Stahlhofen and A.J. Schramm, Phys. Scripta., 43, 553,
1991.
[28] V.G. Bagrov and B.F. Samsonov, Phys. Part Nucl., 28, 374,
1997.
[33] I.M. Gel’fand and B.M. Levitan, Am. Math. Soc. Trans., 1,
253, 1955.
[35] B. Bagchi, A. Lahiri, and P.K. Roy, Phys. Rev., D39, 1186,
1989.
[37] Yu I. Manin and A.O. Radul, Comm. Math. Phys., 98, 65,
1985.
[43] T. Inami and H. Kanno, Comm. Math. Phys., 136, 519, 1991.
[46] J.C. Brunelli and A. Das, Phys. Lett., B337, 303, 1994.
[47] J.L. Gervais and A. Neveu, Nucl. Phys., B209, 125, 1982.
[50] V.A. Andreev and M.V. Burova, Theor. Math. Phys., 85, 376,
1990.
[51] V.A. Andreev and M.V. Shmakova, J. Math. Phys., 34, 3491,
1993.
Parasupersymmetry
8.1 Introduction
In the literature SUSYQM has been extended [1-16] to what con-
stitutes parasupersymmetric quantum mechanics (PSUSYQM). To
understand its underpinnings we first must note that the fermionic
operators a and a+ obeying (2.12) and (2.13) also satisfy the com-
mutation condition
+ 1 1
a , a = diag , − (8.1)
2 2
The entries in the parenthesis of the right-hand-side can be looked
upon as the eigenvalues of the 3rd component of the spin 12 operator.
The essence of a minimal (that is of order p = 2) PSUSYQM
scheme is to replace the right-hand-side of (8.1) by the eigenvalues of
the 3rd component of the spin 1 operator. Thus in p = 2 PSUSYQM
a new set of operators c and c+ is introduced with the requirement
+
c , c = 2 diag(1, 0, −1) (8.2)
c2 c+ + c+ c2 = 2c (8.4a, b, c)
Note that (8.4b) and (8.4c) are also consistent with the alternative
algebra in terms of double commutators
c, c, c+ = −2c,
+ +
c , c, c = 2c+ (8.5)
Q = b ⊗ c+
Q+ = b+ ⊗ c (8.6)
d
A±
i = Wi (x) ± (8.13)
dx
Here the parasupercharges Q and Q+ are defined in terms of a pair
of superpotentials W1 (x) and W2 (x) indicating a switchover from the
1 − +
A−
1 H1 = A1 A1 + A+ −
2 A2 A1
−
4
1 − +
H2 = A1 A1 + A+ A
2 2
−
4
1
A+
2 H3 = A− + + −
1 A1 + A2 A3 A2
+
(8.15)
4
Now, the above representations are of little use unless H1 and
H3 , like H2 , are reducible to tractable forms. One way to achieve
this is to impose upon (8.15) the constraint
A− + + −
1 A1 = A2 A2 + c (8.16)
where
1 2
V (x) = W1 + W22
4
1 0 0
•
3 = 0 1 0
0 0 1
dW1
B(x) =
dx
1 0 0
J3 = 0 0 0 (8.21)
0 0 −1
or
W1 = ω1 e−kx + ω2 , W2 = ω1 + k (8.23)
while the first one is for the homogeneous magnetic field, the second
one is for the inhomogeneous type.
The above PSUSY scheme corresponding to the supercharges
given by (8.12) can also be put in an alternative form by making use
of the fact that at the level of order 2 there are 2 independent para-
supercharges. Actually we can write down Q as a linear combination
of 2 supercharges Q1 and Q2 , namely,
Q = Q1 + Q2
Q+ = Q+ +
1 + Q2 (8.24)
Q1 = √ Q+ + Q (8.28)
2
1 +
Q2 = √ Q −Q (8.29)
2i
We may work out
1
Q31 = √ Q+ + Q Q+ + Q Q+ + Q
2 2
1 2 2
= √ Q+ Q + Q+ QQ+ + Q+ Q2 + QQ+ + QQ+ Q + Q2 Q+
2 2
1
= √ 2Q+ Hp + 2QHp
2 2
1
= √ (Q + Q+ )Hp
2
= Q1 Hp (8.30)
in place of (8.18). Note that the latter differs from (8.40) in having
just c = 0. However, the components of Hp are significantly different
from those in (8.17). Here H1 , H2 , and H3 are
1 d2
H1 = − 2 + 2W12 − W22 − W2
2 dx
1 d2
H2 = − 2 + 2W22 − W12 + 2W2 + W1
2 dx
1 d2
H3 = − 2 + 2W22 − W12 + W1 (8.41)
2 dx
W1 = −W2 = ωx (8.42)
Q31 = Q1 Hp
Q32 = Q2 Hp
Q1 Q2 Q1 = Q2 Q1 Q2 = 0
Q21 Q2 + Q2 Q21 = Q2 Hp
Q22 Q1 + Q1 Q22 = Q1 Hp (8.44)
Although (8.44) are consistent with (8.30), (8.31), (8.32), and (8.33)
of the Rubakov-Spiridonov scheme, the converse is not true.
A− + + −
1 A1 = A2 A2 (8.45)
Qp+1 = 0 (8.49)
[Hp , Q] = 0 (8.50)
(Q)αβ = A+
α δα+1,β (8.52)
(Q )αβ = +
A−
β δα,β+1 (8.53)
d
A+
α = + Wα (x) (8.55)
dx
d
A−
α = − + Wα (x), α = 1, 2, . . . , p (8.56)
dx
where
1 d2 1 2
1
Hr = − + W r + W r + cr , r = 1, 2, . . . p (8.58)
2 dx2 2 2
1 d2 1 2
1
Hp+1 = − + W p − W p + cp (8.59)
2 dx2 2 2
2
Wr−1 − Wr−1 + cr−1 = Wr2 + Wr + cr , r = 2, 3, . . . p (8.60)
c1 + c2 + . . . + cp−1 + cp = 0 (8.61)
1 2
H= P + Q2 (8.69)
2
QP − P Q = i(I − N K) (8.70)
[NB , b] = −b
NB , b+ = b+ (8.74)
[B, B + ] = 1 − N K (8.77)
where
KB = 0
K 2 = K = 0 (8.78)
B + |t >= 0 (8.82a, b, c, d)
where m = 0, 1, 2, . . . t.
Any ket |j > can be derived from the vacuum by applying B +
on |0 > j times
1
|j >= √ (B + )j |0 > (8.83)
j!
where j = 0, 1, 2, . . . t. However since the dimension of the Hilbert
space is finite, the ket |t > cannot be pushed up to a higher position.
∼ ∼+
[ b , b ] = 1 + 2νL (8.85)
and compare with (8.85), we find for the representations (8.79), and
choosing L = σ3 , the solutions for λ and µ turn out to be
µ = λ − 1 = 2ν (8.87)
[d, d+ d] = d
dp+1 = 0
dj = ,0 j < p + 1 (8.89)
Thus
(B)r = (B + )r = 0 for r > p (8.91)
Further, the following nontrivial multilinear relation between B
and B + hold [31,39]
p(p + 1) p−1
B p B + + B p−1 B + B + . . . + B + B p = B (8.92)
2
along with its hermitean conjugated expression. Of course, these
coincide for p = 1 and we have the familiar fermionic condition
BB + + B + B = 1. For p = 2 we find from (8.91) and (8.92) the
following set
(B)3 = 0 = (B + )3 (8.93a)
B 2 B + + BB + B + B + B 2 = 3B (8.93b)
c3 = 0 = (c+ )3
c2 c+ + cc+ c + c+ c2 = 4c
(c+ )2 c + c+ cc+ + c(c+ )2 = 4c+ (8.94)
where A±
α have been defined by (8.55) and (8.56).
One then finds the underlying Hamiltonian Hp to be
(H)αβ = Hα δαβ
where
1 d2 1 2
Hr = − + W r + W r
2 dx2 2
1
+ cr , r = 1, 2, . . . , p (8.96)
2
1 d2 1 2
1
Hp+1 = − + W p − W p + cp (8.97)
2 dx2 2 2
1 2 1
H= ωk bk , b+
k + V (8.100)
2 k=1 2
Ξ type : ω1 = E1 − E2 , ω2 = E2 − E3
V type : ω1 = E1 − E2 , ω2 = E3 − E2
∧ type : ω1 = E2 − E1 , ω2 = E2 − E3 (8.102)
1 2
HΞ = ωj bj , b+
j + diag(E1 , E2 , E3 ) (8.103)
2 j=1
1 2
HΞ = ωj bj , b+
j
2 j=1
+ diag(E1 − E3 , 2E2 − E1 − E3 , E3 − E1 ) (8.106)
(Q±
i )
2
= 0 i = 1, 2
H, Q±
i = 0 i = 1, 2
Q+ − + + −
1 Q1 Q1 + Q2 Q2 = Q+
1H
Q− + + − +
1 Q1 + Q2 Q2 Q2 = Q+
2H (8.107)
H = diag(H1 , H2 , H3 ) (8.109)
where
1 +
H1 = A1 (x)A− + −
1 (x) + A2 (y)A2 (y)
2
1 d2 d2
= − 2 − 2 + W12 (x) + W22 (y)
2 dx dy
+W1 (x) + W2 (y) (8.110)
1 −
H2 = A (x)A+ + −
1 (x) + A2 (y)A2 (y)
2 1
1 d2 d2
= − 2 − 2 + W12 (x) + W22 (y)
2 dx dy
−W1 (x) + W2 (y) (8.111)
1 −
H3 = A1 (x)A+ − +
1 (x) + A2 (y)A2 (y)
2
1 d2 d2
= − 2 − 2 + W12 (x) + W22 (y)
2 dx dy
−W1 (x) − W2 (y) (8.112)
8.6 References
[1] V.A. Rubakov and V.P. Spiridonov, Mod. Phys. Lett., A3,
1337, 1988.
[4] J. Beckers and N. Debergh, Mod. Phys. Lett., A4, 2289, 1989.
[12] A.A. Andrianov and M.V. Ioffe, Phys. Lett., B255, 543, 1989.
[18] D.V. Volkov, Zh. Eksp. Teor. Fiz., 38, 519, 1960.
[19] D.V. Volkov, Zh. Eksp. Teor. Fiz., 39, 1560, 1960.
[20] O.W. Greenberg and A.M.L. Messiah, Phys. Rev., B138, 1155,
1965.
[31] B. Bagchi and P.K. Roy, Phys. Lett., A200, 411, 1995.
[32] D.T. Pegg and S.M. Barnett, Europhys. Lett., 6, 483, 1988.
[35] J-S. Peng and G-X Li, Phys. Rev., A45, 3289, 1992.
[36] A.D. Wilson - Gordon, V. Buzeck, and P.L. Knight, Phys. Rev.,
A44, 7647, 1991.
h̄2 2 → → →
− ∇ ψ( r ) + V (r)ψ( r ) = Eψ( r ) (A1)
2m D
where → →
r = (x1 , x2 , . . . xD ), r = | r |
(A2)
∂ ∂
∇2D
=
∂xi ∂xi
Our task is to transform (A1) to D-dimensional polar coordi-
nates. The latter are related to the Cartesian coordinates by
x1 = r cos θ1 sin θ2 sin θ3 . . . . . . sin θD−1
x2 = r sin θ1 sin θ2 sin θ3 . . . . . . sin θD−1
x3 = r cos θ2 sin θ3 sin θ4 . . . . . . sin θD−1
x4 = r cos θ3 sin θ4 sin θ5 . . . . . . sin θD−1 (A3)
..
.
xj = r cos θj−1 sin θj sin θj+1 . . . . . . sin θD−1
..
.
xD−1 = r cos θD−1 sin θD−1
xD = r cos θD−1
∂xk 2
h2i = i = 0, 1, 2, . . . , D − 1 (A7)
k=1
∂θi
Explicitly
2
2
2
∂x1 ∂x2 ∂xD
h20 = + + ... + =1
∂θ0 ∂θ0 ∂θ0
2
2
∂x1 ∂x2
h21 = + = r2 sin2 θ2 sin2 θ3 . . . sin2 φD−1
∂θ1 ∂θ1
2
2
2
∂x1 ∂x2 ∂x3
h22 = + +
∂θ2 ∂θ2 ∂θ2
1 ∂ h ∂
=
h ∂θ0 h20 ∂θ0
1 ∂ D−1 D−2 ∂
= 2 D−2
r sin θ 2 . . . sin θ D−1
rD−1 sin θ2 sin θ3 . . . sin θD−1 ∂r ∂r
1 ∂ D−1 ∂
= r .
rD−1 ∂r ∂r
(A10)
The last term of ∇2D is
1 ∂ h ∂
= 2
h ∂θD−1 hD−1 ∂θD−1
1 ∂
= 2 D−2
r D−1 sin θ2 sin θ3 . . . sin θD−1 ∂θD−1
(A11)
rD−1 sin θ2 ... sinD−2 θD−1 ∂
r2 ∂θD−1
1 ∂ ∂
= sinD−2 θD−1
r2 sinD−2 θ D−1 ∂θD−1 ∂θD−1
1 ∂ h ∂
=
h ∂θj h2j ∂θj
1 ∂
= j−1 j D−2
rD−1 sin θ 2 . . . sin θj sin θj+1 . . . sin ∂θ
θD−1 j
1 ∂ D−1 ∂ 1 D−2
1
∇2D = r +
r D−1 ∂r ∂r r j=1 sin θj+1 . . . sin2 θD−1
2 2
1 ∂ ∂ (A13)
j−1 sinj−1 θj
sin θj ∂θj ∂θj
1 1 ∂ D−2 ∂
+ 2 sin θD−1
r sinD−2 θD−1 ∂θD−1 ∂θD−1
∂
D−1
∂θr
∂
pk = −ih̄ = −ih̄
∂xk r=0
∂xk ∂θr
(A17)
D−1
1 ∂xk
∂
= −ih̄
r=0
h2r ∂θr ∂θr
where we have used the relations
D−1
∂xl ∂xl
= δir h2i ,
l=0
∂xi ∂θr
(A18)
D−1
∂θi ∂xl
= δ kl
l=0
∂xk ∂θi
[Lij , Lkl ] = ih̄δjl Lik + ih̄δik Ljl − ih̄δjk Lil − ih̄δil Ljk (A19)
Further if we set
·
L2k = Lij Lij , i = 1, 2, . . . j − 1
i,j (A20)
j = 2, 3, . . . k + 1
∂ D−1 ∂
1 L2D−1
∇2D = r − (A22)
rD−1 ∂r ∂r r2
From (A21) it is clear that since θ1 , θ2 , . . . θD−1 are independent, the
operators L21 , L22 . . . L2D−1 mutually commute. Hence, they have a
common eigenfunction Y (θ1 , θ2 , . . . , θD−1 ). Let us write
Y 1 ∂ ∂
− k
sink θk+1 Θk+1 (θk+1 )
Θk+1 (θk+1 ) sin θk+1 ∂θk+1 ∂θk+1
λk Y
+ = λk+1 Y
sin2 θk+1
or
∂2 ∂ λk
− 2 + k cot θk+1 − 2 Θk+1 (θk+1 )
∂θk+1 ∂θk+1 sin θk+1
= λk+1 Θk+1 (θk+1 ) (A36)
The above shows that if (A33) holds for k, it also holds for k + 1
as well. Now, we have clearly shown in (A32), that it holds for
k = 2. Therefore, by the principle of induction, (A33) holds ∀k =
2, 3, . . . D − 1.
Let us write
∂2 ∂ λk−1
L2k (λk−1 ) =− 2 + (k − 1) cot θk − (A37)
∂θk ∂θk sin2 θk
Hence we have
λ1 = l12 (A40)
λ2 = l2 (l2 + 1) (A41)
λk = lk (lk + k − 1) (A46)
lD−1 = 0, 1, 2, . . .
LD−2 = 0, 1, 2, . . . , lD−1 ,
.. (A48)
.
l1 = −l2 , −l2 + 1, . . . , l2 − 1, l2
Substituting in (A1)
We also set
L2k = Lij Lij i = 1, 2, . . . j − 1 j = 2, 3, . . . , k + 1 (B2)
i,j
[Lij , Lkl ] = iδjl Lik + iδik Ljl − i δjk Lil − iδil Ljk (B3)
and
= xj pl xi pk − pl xj xi pk − xj pl xk pi + pl xj xk pi + xi pk xj pl
−pk xi xj pl − xi pk xl pj + pk xi xl pj − xj pk xi pl + pk xj xi pl
+xj pk xl pi − pk xj xl pi − xi pl xj pk + pl xi xj pk + xi pl xk pj − pl xi xk pj
+pk xl (xi pj − xj pi )
We next write
∂ ∂
x1 − x2 f
∂x2 ∂x1
D−1
1 ∂x2 ∂x1 ∂f
= x1 − x2
j=0
h2j ∂θj ∂θj ∂θj
D−1
x21 ∂ x2 ∂f
=
j=0
h2j ∂θj x1 ∂θj
D−1
x21 ∂ ∂f
= (tan θ1 )
j=0
h2j ∂θj ∂θj
x21 2 ∂f
= sec θ1
h21 ∂θ1
∂f
= (B7)
∂θ1
Therefore
∂2
L21 = − (B8)
∂θ12
Next
j−1
L22 = Lij Lij = L21 + L13 L13 + L23 L23 (B9)
j=2,3 i=1
where
2
∂ ∂
L213 f = (x1 p3 − x3 p1 ) f = − x1 2
− x3 f (B10)
∂x3 ∂x1
2
∂ ∂
L223 f = (x2 p3 − x3 p2 ) f = − x2 2
− x3 f (B11)
∂x3 ∂x2
∂ ∂
x2 − x3 f
∂x3 ∂x2
D−1
1 ∂x3 ∂x2 ∂f
= x2 − x3
j=0
h2j ∂θj ∂θj ∂θj
D−1
1 2 ∂ x3 ∂f
= x
j=0
h2j 2 ∂θj x2 ∂θj
D−1
x22 ∂ ∂f
= (cot θ2 cosecθ1 )
j=0
h2j ∂θj ∂θj
x22 ∂ ∂f x22 ∂ ∂f
= (cot θ 2 cosecθ 1 ) + (cot θ2 cosecθ1 )
h21 ∂θ1 ∂θ1 h22 ∂θ2 ∂θ2
∂f ∂f
= − cos θ1 cot θ2 − sin θ1
∂θ1 ∂θ2
(B12)
Therefore
2
∂ ∂
x2 − x3 f
∂x3 ∂x2
∂ ∂ ∂f ∂f
= cos θ1 cot θ2 + sin θ1 cos θ1 cot θ2 + sin θ1
∂θ1 ∂θ2 ∂θ1 ∂θ2
∂f ∂2f
= − sin θ1 cos θ1 cot2 θ2 + cos2 θ1 cot2 θ2 2
∂θ1 ∂θ1
∂f ∂ 2f
+ cos2 θ1 cot θ2 + sin θ1 cos θ1 cot θ2
∂θ2 ∂θ1 ∂θ2
(x1 p3 − x3 p1 )
D−1
x21 ∂ x3 ∂f
=
j=0
h2j ∂θj x1 ∂θj
x21 ∂f x21 ∂f
= cot θ 2 sec θ 1 tan θ 1 + (−cosec2 θ2 ) sec θ1
h21 ∂θ1 h22 ∂θ2
∂f ∂f
= sin θ1 cot θ2 − cos θ1
∂θ1 ∂θ2
(x1 p3 − x3 p1 )2 f
∂ ∂ ∂ ∂
= sin θ1 cot θ2 − cos θ1 sin θ1 cot θ2 − cos θ1 f
∂θ1 ∂θ2 ∂θ1 ∂θ2
∂f ∂2f
= sinθ1 cos θ1 cot2 θ2 + sin2 θ1 cot2 θ2 2
∂θ1 ∂θ1
∂f ∂2f
+ sin θ1 cos θ1 cosec2 θ2 − cos θ1 sin θ1 cot θ2
∂θ1 ∂θ1 ∂θ2
∂f 2 2
+ sin2 θ1 cot θ2 ∂θ2
f
− sin θ1 cos θ1 cot θ2 ∂θ∂1 ∂θ2
+ cos2 θ1 ∂∂θf2
2
(B14)
Adding (B13) and (B14) we get
L213 f + L223 f