arXiv:quant-ph/0111050v1 8 Nov 2001
the Aharonov-Bohm eet ombined with
a homogeneous magneti eld
P. Exner
1 , 3
, P. ´oví£ek
2 , 3
, P. Vyt°as
2
1
Nulear Physis Institute, Aademy of Sienes, 250 68 eº near Prague,
Czeh Republi
2
Department of Mathematis, Faulty of Nulear Siene, Czeh Tehnial
University, Trojanova 13,120 00Prague, Czeh Republi
3
Doppler Institute, Czeh Tehnial University, B°ehová 7, 115 19Prague,
Czeh Republi
Abstrat
The most general admissible boundary onditions are derived for
an idealised Aharonov-Bohm uxinterseting the plane at the origin
onthe bakgroundofahomogeneousmagnetield. Astandardteh-
nique based on self-adjoint extensions yields a four-parameter family
of boundary onditions; other two parameters of the model are the
Aharonov-Bohm ux and the homogeneous magneti eld. The gen-
eralised boundaryonditionsmayberegardedasaombination ofthe
Aharonov-Bohm eetwithapointinteration. Spetralpropertiesof
the derived Hamiltonians arestudied indetail.
1 Introdution
Thepurposeofthispaperistodeterminethemostgeneraladmissiblebound-
ary onditionsforthe Aharonov-Bohm(AB)eet inthe planeonthe bak-
properties of Hamiltoniansobtained this way. The history of the eet goes
four deades bak and starts from the observation of Aharonov and Bohm
[1℄ that the behavior of a harged quantum partileis inuened by a mag-
neti uxeven ifthe eldiszero intheregionwherethe partileisloalized.
A partiularly elegant treatment is possible in ase of an idealized setup in
whih the AB ux is onentrated along a line perpendiularly interseting
the plane,onventionally atthe origin[2℄.
The boundary onditions of the last mentioned paper are not the most
general ones; the full family of suh onditions giving the AB eet in the
plane was derived in [7℄, and simultaneously also in [8℄. These generalised
boundary onditions may be interpreted as a ombination of the AB eet
with a point interation supported, too, at the origin, although this is just
onepossiblepointofview. Inanyasetheyanbedesribedandinvestigated
by the tehniqueof self-adjointextensions whihisinpriniplethesame one
as that used in the paper [6℄ in whih two-dimensional point interations
were introdued.
Anaturalquestioniswhathappensifsuhasystemisplaedintoabak-
groundhomogeneous magnetield. This problemattrated someattention
reently, even withaontroversy: thepapers [3,4,5℄onsider thepure AB
eet inthis settingfor the Pauli operator,i.e. a spin
1/2
partile. The lastnamed property leads to spei behavior related to the Aharonov-Casher
eet, whih we willnot disuss here.
Our aim here is dierent: we are going to onsider a spinless partile
with a point ux and a homogeneous bakground, and ask about the most
general lass of boundary onditions analogous to those of [7, 8℄. The basi
dierenebetween thesituationswithoutandwith ahomogeneousmagneti
eld is that in the former ase the spetrum is absolutely ontinuous and
equaltothe positivehalf-linepossiblyaugmented with atmosttwonegative
Weonsider the symmetri operator
L = − ( ∇ − A( ∇ )) 2 , Dom(L) = C 0 ∞ ( R 2 \ { 0 } ),
wherethevetorpotential
A
isasumoftwoparts,A = A hmf + A AB
,withthepart
A hmf
orresponding to the homogeneous magneti eld in the irular gauge,A hmf = − ıB
2 ( − x 2 dx 1 + x 1 dx 2 ),
and with the part
A AB
orresponding tothe idealisedABeet,A AB = ıΦ
2πr 2 ( − x 2 dx 1 + x 1 dx 2 ), r 2 = x 1 2 + x 2 2 .
Without loss of generality we may assume that
B > 0
. Further, we resalethe Aharonov-Bohmux,
α = − Φ 2π ,
tohaveavariablewhihexpressesthenumberofuxquantaand,asusual,we
makeuseofthegaugesymmetryallowingustoassumethat
α ∈ ]0, 1[
. Henethe ase
Φ ∈ 2π Z
is exluded sine it is gauge equivalent to the vanishing AB ux. Our goal is to desribe all the self-adjoint extensions ofL
as wellas toinvestigate their basi properties.
It isstraightforward todetermine the adjoint operator
L ∗
,ψ ∈ Dom(L ∗ ) ⇐⇒ ψ ∈ L 2 ( R 2 , d 2 x) ∩ H loc 2,2 ( R 2 \ { 0 } )
and
( ∇ − A( ∇ )) 2 ψ ∈ L 2 ( R 2 , d 2 x).
Next we an employ the rotational symmetry when using the polar oordi-
nates
(r, θ)
and deomposing the Hilbert spae into the orthogonal sum ofL 2 ( R 2 , d 2 x) = X ⊕ m∈Z
L 2 ( R + , r dr) ⊗ C e ımθ .
(1)In the polaroordinates the operator
L
(and orrespondinglyL ∗
) takes theform
L = − 1
r ∂ r r∂ r + 1 r 2
− ı∂ θ + α + Br 2 2
2
.
The operator
L ∗
ommutes onDom(L ∗ )
with the projetorsP m
onto theeigenspaes of the angular momentum,
P m ψ(r, θ) = 1 2π
Z 2π 0
ψ(r, θ ′ ) e ım(θ−θ ′ ) dθ ′ ,
andtherefore
L ∗
deomposesinorrespondenewiththeorthogonalsum(1),L ∗ = X ⊕ m∈Z
(L ∗ ) m .
(2)Thusweanredue the problemand workinthe setors
Ran P m
,m ∈ Z
. For a given spetral parameterλ ∈ C
we hoose two independent solutions (exept of partiular values ofλ
)of the dierentialequation− 1
r ∂ r r∂ r + 1 r 2
m + α + Br 2 2
2 !
g(r) = λ g(r),
(3)namely
g m 1 (λ; r) = r |m+α| F
β(m, λ), γ(m), Br 2 2
exp
− Br 2 4
, g m 2 (λ; r) = r |m+α| G
β(m, λ), γ(m), Br 2 exp
− Br 2 ,
(4)
β(m, λ) = 1 2
1 + m + α + | m + α | − λ B
, γ(m) = 1 + | m + α | .
(5)
Here
F
andG
are onuent hypergeometri funtions[9, Chp. 13℄,F (β, γ, z) =
∞
X
n=0
(β) n z n (γ) n n! ,
and
G(β, γ, z) = Γ(1 − γ)
Γ(β − γ + 1) F (β, γ, z) + Γ(γ − 1)
Γ(β) z 1−γ F (β − γ + 1, 2 − γ, z).
(6)
Notie that
F (β, γ, z)
andG(β, γ, z)
are linearly dependent if and onlyif
β ∈ − Z +
. Moreover,F (β, γ, z)
is an entire funtion, partiularly, it is regular at the origin whileG(β, γ, z)
has a singularity there providedγ > 1
and
β / ∈ − Z +
, and inthat ase it holds true thatz→0 lim +
z γ−1 G(β, γ, z) = Γ(γ − 1) Γ(β) .
Thus in the ase when
1 < γ < 2
we have the asymptoti behaviour, asz → 0 +
,G(β, γ, z) = Γ(γ − 1)
Γ(β) z 1−γ + Γ(1 − γ)
Γ(β − γ + 1) + O(z 2−γ ).
(7)We shall also need some information about the asymptoti behaviour at
innity. When
z → + ∞
itholds true thatF (β, γ, z) = Γ(γ)
Γ(γ − β) ( − z) −β 1 + O z −1
+ Γ(γ)
Γ(β) e z z β−γ 1 + O z −1
(8)
G(β, γ, z) = z −β 1 + O z −1 .
3 The standard Aharonov-Bohm Hamiltonian
Withthe abovepreliminariesitisstraightforwardtosolvethe spetralprob-
lem for the standard AB Hamiltonianas we mentioned in the introdution.
This means to solve the eigenvalue problem
L ∗ ψ = λψ
with the boundaryondition
r→0 lim +
ψ(r, θ) = 0.
(9)By virtue of the deomposition (2) the problem is redued to the ountable
set of equations
(L ∗ ) m f = λf, m ∈ Z ,
and hene to the dierential equations(3).
The solution
g m 2 (λ; r)
of (3) is ruled out beause it ontradits the on-dition (9) and the solution
g 1 m (λ; r)
belongs toL 2 ( R + , r dr)
if and only ifβ(m, λ) = − n
, withn ∈ Z +
. Sine itholdsF ( − n, 1 + σ, z) = n! Γ(σ + 1)
Γ(n + σ + 1) L σ n (z), n ∈ Z + ,
we get a ountableset of eigenvalues,
f m,n (r, θ) = C m,n r |m+α| L |m+α| n Br 2
2
exp
− Br 2 4
e ımθ
where
C m,n = B
2
1 2 (|m+α|+1)
n!
π Γ(n + | m + α | + 1) 1/2
are the normalisationonstants.
As it is well known if we x
m ∈ Z
then the funtions{ f m,n (r, θ) } ∞ n=0
formanorthonormalbasisin
L 2 ( R + , r dr) ⊗ C e ımθ
andsotheompletesetofeigenfuntions
{ f m,n (r, θ) } m∈Z , n∈Z +
isanorthonormalbasisinL 2 ( R + , r dr) ⊗ L 2 ([ 0, 2π ], dθ)
. Sineallthe eigenvaluesλ m,n
are realwe get this way awelldened self-adjoint operator whih is an extension of
L
. We onvention-ally all it the standard AB Hamiltonian and denote it by
H AB
. Thus thespetrum of
H AB
is pure point and an be writtenas aunion of twoparts,σ(H AB ) = σ pp (H AB ) = { B(2k + 1); k ∈ Z + } ∪ { B(2α + 2k + 1); k ∈ Z + } .
Notie that the eigenvalues belonging to the rst part are nothing but the
Landaulevels. Alltheeigenvalues
B (2k + 1)
haveinnitemultipliitieswhile the multipliity of the eigenvalueB(2α + 2k + 1)
is nite and equalsk + 1
.A nal short remark onerning the Hamiltonian
H AB
is devoted to theGreen funtion. Naturally, the Green funtion is expressible as an innite
series
G AB (z; r 1 , θ 1 , r 2 , θ 2 ) = 1 2π
∞
X
m=−∞
G AB m (z; r 1 , r 2 ) e ım(θ 1 −θ 2 )
G AB m (z; r 1 , r 2 ) = 2 B
2
|m+α|+1
(r 1 r 2 ) |m+α| exp
− 1
4 B(r 1 2 + r 2 2 )
×
∞
X
n=0
n!
Γ(n + | m + α | + 1)
× L |m+α| n ( 1 2 Br 1 2 ) L |m+α| n ( 1 2 Br 2 2 ) B(m + α + | m + α | + 2n + 1) − z .
The radialparts an be rewritten with the aidof the standard onstrution
of the Green funtion for ordinary dierentialoperatorsof seond order,
G AB m (z; r 1 , r 2 ) = B
2
|m+α|+1
(r 1 r 2 ) |m+α| exp
− 1
4 B(r 1 2 + r 2 2 )
× Γ − w(m, z)
Γ( | m + α | + 1) F ( − w(m, z), | m + α | + 1, r < )
× G( − w(m, z), | m + α | + 1, r > )
where
w(m, z) = z 2B − 1
2 (m + α + | m + α | + 1)
and
r < = min(r 1 , r 2 )
,r > = max(r 1 , r 2 )
. This amountsto the identity∞
X
n=0
n!
Γ(n + σ + 1)
L σ n (y 1 ) L σ n (y 2 ) n − w
= Γ( − w)
Γ(σ + 1) F ( − w, σ + 1, y < ) G( − w, σ + 1, y > ).
WedonotexpetthatasimplerformfortheGreenfuntionouldbederived
sine the Hamiltonian
H AB
enjoys onlythe rotationalsymmetry.4 Self-adjoint extensions of
L
Reallingwhat has been summarisedinSetion2it iseasytodetermine the
deieny indies. The solution
g m 1 ( ± ı; r)
diverges exponentially at innity (f. (8)) whileg m 2 ( ± ı; r)
behaves well at innity but has a singularity at the origin of the orderr −|m+α|
. Thusg m 2 ( ± ı; r) ∈ L 2 ( R + , r dr)
if and only ifm = − 1
orm = 0
. This means that the deieny indies are(2, 2)
. Forabasis in the deieny subspaes
N ±ı
we an hoose{ f m,± (r, θ) = 1
√ 2π N m g 2 m ( ± ı; r) e ımθ ; m = − 1, 0 } .
Thus
f −1,± (r, θ) = 1
√ 2π N −1 r 1−α G 1
2 ∓ ı
2B , 2 − α, Br 2 2
exp
− Br 2 4
e −ıθ , f 0,± (r, θ) = 1
√ 2π N 0 r α G 1
2 + α ∓ ı
2B , 1 + α, Br 2 2
exp
− Br 2 4
,
where
N −1
andN 0
arenormalisationonstantsmakingthebasisorthonormal.We shall need the expliit values of
N −1
andN 0
. Usingthe relationW υ,τ (z) = z τ+ 1 2 e −z/2 G
1
2 − υ + τ, 2τ + 1, z
where
W
is the Whittakerfuntion we getN m −2 =
Z ∞
0 | g 2 m ( ± ı; r) | 2 rdr
= 1 2
2 B
|m+α|+1 Z ∞ 0
x −1 W ̺,σ (x) W ̺,σ ¯ (x) dx
where
̺ = 1 2
− m − α + ı B
, σ = 1
2 | m + α | .
Z ∞ 0
x −1 W ̺,σ (x) W µ,σ (x) dx = π sin(2πσ)
× − 1
Γ 1 2 − σ − µ
Γ 3 2 + σ − ̺ 2 F 1
1
2 + σ − µ, 1; 3
2 + σ − ̺; 1
+ 1
Γ 1 2 + σ − µ
Γ 3 2 − σ − ̺ 2 F 1
1
2 − σ − µ, 1; 3
2 − σ − ̺; 1 !
and
2 F 1 (a, b; c; z) = Γ(c) Γ(c − a − b)
Γ(c − a) Γ(c − b) 2 F 1 (a, b; a + b − c + 1; 1 − z) + Γ(c) Γ(a + b − c)
Γ(a) Γ(b) (1 − z) c−a−b 2 F 1 (c − a, c − b; c − a − b + 1; 1 − z)
we arrive atthe relation
Z ∞ 0
x −1 W ̺,σ (x) W µ,σ (x) dx = π
sin(2πσ)(µ − ̺)
× − 1
Γ 1 2 − µ − σ
Γ 1 2 − ̺ + σ + 1 Γ 1 2 − µ + σ
Γ 1 2 − ̺ − σ
! .
Finally we get
N −1 = B
2
1 2 (1−α) r
sin(πα)
2π Im 1
Γ − 1 2 + α + 2B ı
Γ 1 2 − 2B ı
! −1/2
,
N 0 = B
2
1 2 α r
sin(πα)
2π Im 1
Γ 1 2 + 2B ı
Γ 1 2 + α − 2B ı
! −1/2
.
Letushave alook atthe asymptotibehaviourat theorigin of the basis
funtions in the deieny subspaes
N ±ı
. By(4)and (7)we haveg −1 2 ( ± ı; r) = a −1,± r −1+α + b −1,± r 1−α + O(r 1+α ), g 0 2 ( ± ı; r) = a 0,± r −α + b 0,± r α + O(r 2−α ),
(10)
where
a −1,± = Γ(1 − α) Γ 1 2 ∓ 2B ı
B 2
−1+α
, b −1,± = Γ( − 1 + α) Γ − 1 2 + α ∓ 2B ı , a 0,± = Γ(α)
Γ 1 2 + α ∓ 2B ı B
2 −α
, b 0,± = Γ( − α) Γ 1 2 ∓ 2B ı .
The oeients
a m,±
,b m,±
are relatedtothe normalisationonstantsN m
forit holds true that
det M −1 = − ı
1 − α (N −1 ) −2 , det M 0 = − ı
α (N 0 ) −2 .
(11)where
M m = a m,+ b m,+
a m,− b m,−
! .
Partiularly,weshallneedthefatthatthematries
M −1
andM 0
areregular.Let us now desribe the losure of the operator
L
. In virtue of the de-omposition(2) we have
L ¯ = X ⊕ m∈Z
L ¯ m
where
L ¯ m = (L ∗ ) m ∗
. As it is well known,ψ ∈ Dom(L ∗ )
belongs toDom( ¯ L)
if and only if
h ψ, L ∗ ϕ i = h L ∗ ψ, ϕ i
for allϕ ∈ N ı + N −ı
. Thus(L ∗ ) m = ¯ L m
for
m 6 = {− 1, 0 }
, and ifm ∈ {− 1, 0 }
thenϕ(r) e ımθ ∈ Dom((L ∗ ) m )
belongsto
Dom( ¯ L m )
if and only ifr→0 lim +
r W (ϕ(r), g 2 m ( ± ı, r)) = 0
where
W (f, g) = (∂ r f)g − f ∂ r g
is the Wronskian. Usingthe asymptotibe-haviour(10)andtheregularityofthe matrix
M m
wearriveattwoonditionslim r→0 + ( −| m + α | r −|m+α| ϕ(r) − r −|m+α|+1 ∂ r ϕ(r)) = 0, lim r→0 + ( | m + α | r |m+α| ϕ(r) − r |m+α|+1 ∂ r ϕ(r)) = 0,
whihan be rewritten inthe equivalent form,
r→0 lim +
r −2|m+α|+1 ∂ r (r |m+α| ϕ(r)) = 0, lim
r→0 +
r |m+α| ϕ(r) = 0.
But sine
r −|m+α| | ϕ(r) | ≤ 1
2 | m + α | sup
x∈ ]0,r[ | x −2|m+α|+1 ∂ x (x |m+α| ϕ(x)) |
wenallygetasuientandneessaryonditionfor
ϕ(r) e ımθ ∈ Dom((L ∗ ) m )
to belong to
Dom( ¯ L)
, namelyr→0 lim +
r −1+α ϕ(r) = 0
andlim
r→0 +
r α ϕ ′ (r) = 0
ifm = − 1,
r→0 lim +
r −α ϕ(r) = 0
andlim
r→0 +
r −α+1 ϕ ′ (r) = 0
ifm = 0.
(12)
This shows that if
ψ ∈ Dom(L ∗ ) = Dom( ¯ L) + N ı + N −ı
thenψ(r, θ) = Φ 1 1 (ψ)r −1+α + Φ 1 2 (ψ)r 1−α
e −ıθ + Φ 2 1 (ψ)r −α + Φ 2 2 (ψ)r α
+
a regularpart.
Let usformally introdue the funtionals
Φ k j
onDom(L ∗ )
,Φ −1 1 (ψ) = lim
r→0 +
r 1−α 1 2π
Z 2π 0
ψ(r, θ) e ıθ dθ, Φ −1 2 (ψ) = lim
r→0 +
r −1+α 1
2π Z 2π
0
ψ(r, θ) e ıθ dθ − Φ 1 1 (ψ) r −1+α
, Φ 0 1 (ψ) = lim
r→0 +
r α 1 2π
Z 2π 0
ψ(r, θ)dθ, Φ 0 2 (ψ) = lim
r→0 +
r −α 1
2π Z 2π
0
ψ(r, θ)dθ − Φ 2 1 (ψ) r −α
.
Notie that the upperindex refers tothe setor ofangularmomentumwhile
the lower index refers to the order of the singularity. If
ψ ∈ Dom( ¯ L)
thenaording to(12) itatually holds
Φ k j (ψ ) = 0
forj = 1, 2
,k = − 1, 0
. On theotherhand, if
ψ ∈ N ı + N −ı
andΦ k j (ψ ) = 0
forallindiesj = 1, 2
,k = − 1, 0
,then
ψ = 0
(this is again guaranteed by the regularity of the matriesM −1
and
M 0
).Let us introdue some more notation. It is onvenient to arrange the
funtionals
Φ k j
intoolumn vetors as follows,Φ j (ψ) = Φ −1 j (ψ )
Φ 0 j (ψ)
!
, j = 1, 2.
Further,applyingthefuntionalstothebasisfuntionsin
N ı + N −ı
weobtainfour
2 × 2
diagonalmatries. More preisely, set(Φ j,± ) kℓ = √
2π Φ k−2 j (f ℓ−2,± ), j, k, ℓ = 1, 2.
Then
Φ 1,± = N −1 a −1,± 0 0 N 0 a 0,±
!
, Φ 2,± = N −1 b −1,± 0 0 N 0 b 0,±
! .
Now it is straightforward to give a formal denition of a self-adjoint ex-
tension
H U
of the symmetri operatorL
determined by a unitary operatorU : N ı → N −ı
. We identifyU
with a unitary2 × 2
matrix via the hoieof the orthonormal bases
{ f −1,± , f 0,± }
inN ±ı
.The self-adjoint operatorH U
is unambiguously dened by the ondition:
H U ⊂ L ∗
andψ ∈ Dom(L ∗ )
belongsto
Dom(H U )
if and onlyifΦ 1 (ψ)
Φ 2 (ψ)
!
∈ Ran Φ 1,+ + Φ 1,− U Φ 2,+ + Φ 2,− U
!
.
(13)However ondition (13) is rather inonvenient and we shall replae it in the
next setionby another one whih ismore suitable forpratial purposes.
5 Boundary onditions
To turn (13) into a onvenient requirement whih would involve boundary
onditions we shall need the following proposition. Set
D = 1 − α 0
0 α
! .
There is a one-to-one orrespondene between unitary matries
U ∈ U (2)
and ouples of matries
X 1 , X 2 ∈ Mat(2, C )
obeyingrank X 1
X 2
!
= 2
(14)and
X 1 ∗ DX 2 = X 2 ∗ DX 1
(15)modulo the right ation of the group of regular matries
GL(2, C )
. The one-to-one orrespondene is given by the equality
X !
Φ + Φ U !
orresponds toatwo-dimensionalsubspae in
C 4
andhenetoapointinthe Grassmann manifoldG 2 ( C 4 )
. The omplex dimension ofG 2 ( C 4 )
equals 4,i.e.
dim R G 2 ( C 4 ) = 8
. The points ofG 2 ( C 4 )
obeying the (real) ondition(15)formareal4-dimensionalsubmanifoldwhihisdieomorphi,aording
to the proposition,to the unitary group
U(2)
.To verify the propositionwe rst show that toany ouple
(X 1 , X 2 )
withtheproperties(14),(15)therearerelatedunique
Y ∈ GL(2, C )
andU ∈ U (2)
suh that
X 1 X 2
!
Y = J I U
!
(16)
where we haveset
J = Φ 1,+ Φ 1,−
Φ 2,+ Φ 2,−
!
=
N −1 a −1,+ 0 N −1 a −1,− 0 0 N 0 a 0,+ 0 N 0 a 0,−
N −1 b −1,+ 0 N −1 b −1,− 0 0 N 0 b 0,+ 0 N 0 b 0,−
.
Using (11) one easilynds that
J
is regular andJ −1 = ı D 0 0 D
! Φ 2,− − Φ 1,−
− Φ 2,+ Φ 1,+
! .
Let us introdue another ouple of matries,
V + , V − ∈ Mat(2, C )
, by therelation
V −
V +
!
= J −1 X 1
X 2
! ,
thus
V ± = ∓ ıD(Φ 2,± X 1 − Φ 1,± X 2 )
. It follows thatV ± ∗ V ± =
X 1 ∗ X 2 ∗ Φ 2,± ∗ D 2 Φ 2,± − Φ 2,± ∗ D 2 Φ 1,±
− Φ 1,± ∗ D 2 Φ 2,± Φ 1,± ∗ D 2 Φ 1,±
! X 1
X 2
!
V − ∗ V − − V + ∗ V + =
X 1 ∗ X 2 ∗ 0 − ıD ıD 0
! X 1
X 2
!
= ı(X 2 ∗ DX 1 − X 1 ∗ DX 2 )
for
Φ j,±
andD
ommute (allof them are diagonal),Φ j,± ∗ = Φ j,∓
and− Φ 1,+ Φ 2,− + Φ 1,− Φ 2,+ = ıD −1
(f. (11)). Owingto the property (15) we have
V − ∗ V − = V + ∗ V +
(17)whihjointly with the property (14) impliesthat
Ker V − = Ker V + = Ker V − V +
!
= Ker X 1 X 2
!
= 0.
The only possible hoie of the matries
Y
andU
satisfying (16) isY = V − −1 , U = V + V − −1 .
The matrix
U
is atually unitarybeauseof (17).Conversely, we have to show that any ouple of matries
X 1
,X 2
relatedto aunitary matrix
U
aording tothe ruleX 1
X 2
!
= J I U
!
obeys (14) and (15). Condition (14) isobvious sine
J
is regularand ondi-tion (15) is again a matter of a diret omputation. In more detail, sine it
holds
J ∗ 0 D
− D 0
!
J = ı I 0 0 − I
! .
This onludes the proof of the aboveproposition.
Usingthis orrespondene one an relate toa ouple
X 1 , X 2 ∈ Mat(2, C )
obeying(14)and(15)aself-adjointextension
H
determinedbytheonditionψ ∈ Dom(H) ⇐⇒ Φ 1 (ψ)
Φ 2 (ψ)
!
∈ Ran X 1
X 2
!
.
(18)Two ouples
(X 1 , X 2 )
and(X 1 ′ , X 2 ′ )
determine the same self-adjoint exten- sion if and only if there exists a regular matrixY
suh that(X 1 ′ , X 2 ′ ) = (X 1 Y, X 2 Y )
. Moreover, allthe self-adjointextensions anbeobtainedinthis way.We shall restrit ourselves to an open dense subset in the spae of all
self-adjointextensions byrequiringthematrix
X 2
toberegular. In thatasewe an set diretly
X 2 = I
and renameX 1 = Λ
. ThusΛ
is a2 × 2
omplexmatrix satisfying
DΛ = Λ ∗ D.
(19)The orrespondingself-adjointextension willbedenoted
H Λ
. The ondition(18) simplies in an obvious way. We onlude that
H Λ ⊂ L ∗
andψ ∈ Dom(L ∗ )
belongs toDom(H Λ )
if and only ifΦ 1 (ψ) = ΛΦ 2 (ψ),
(20)and this isin fatthe sought boundary ondition.
Matries
Λ
obeying(19) anbeparametrisedby fourrealparameters (or two real and one omplex). We hoose the parameterisationΛ = u α w ¯
(1 − α)w v
!
, u, v ∈ R , w ∈ C .
The relation between
Λ
andU
readsΛ = (Φ 1,+ + Φ 1,− U)(Φ 2,+ + Φ 2,− U ) −1
(21)(provided the RHSmakessense).
The most regular among the boundary onditions is
Φ 1 (ψ) = 0
, i.e.the one determined by
Λ = 0
, and the orresponding self-adjoint extension is nothingbut the standard Aharonov-BohmHamiltonianH AB
disussed inSetion 3. Aording to (21)
H AB
orresponds to the unitary matrixU = − Φ 1,− −1 Φ 1,+ = diag
(
− Γ 1 2 + 2B ı
Γ 1 2 − 2B ı , − Γ 1 2 + α + 2B ı Γ 1 2 + α − 2B ı
) .
6 The spetrum
Let us now proeed tothe disussion of spetral properties of the desribed
self-adjoint extensions. It is lear from what has been explained up to now
that everything interesting is happening in the two ritial setors of the
angularmomentumlabeledby
m = − 1
andm = 0
. Tostateitmoreformallywe deompose the Hilbert spae into anorthogonal sum of the stable and
ritial parts,
H = H s ⊕ H c
where
H s = X ⊕ m∈Z\{−1,0}
L 2 ( R + , r dr) ⊗ C e ımθ , H c = L 2 ( R + , r dr) ⊗ ( C e −ıθ ⊕ C 1).
A self-adjoint extension
H Λ
deomposes orrespondingly,Λ Λ | ⊕ Λ |
and we know that on
H s
the operatorH Λ
oinides with the standard ABHamiltonian,
H Λ | H s = H AB | H s .
Thus
σ(H Λ ) = σ(H AB | H s ) ∪ σ(H Λ | H c )
and, as explainedin Setion3,
σ(H AB | H s ) = { B(2k + 1); k ∈ Z + } ∪ { B(2k + 2α + 1); k ∈ N }
where the multipliityof the eigenvalue
B(2k + 1)
is innite while the mul-tipliity of the eigenvalue
B(2k + 2α + 1)
equalsk
. On the other hand,σ(H AB | H c ) = { B (2k + 1); k ∈ Z + } ∪ { B(2k + 2α + 1); k ∈ Z + }
where all the eigenvalues are simple (the rst set is a ontribution of the
setor
m = − 1
whilethe seondoneomesfromthesetorm = 0
). Sinethedeieny indies are nite the Krein's formula jointly with Weyl Theorem
[11, Theorem XIII.14℄ tells us that the essential spetrum
σ ess (H Λ | H c )
isemptyforany
Λ
. ThusthespetrumofH Λ | H c
isformedbyeigenvalueswhih are atmost nitely degenerated and have no niteaumulationpoints.Let us derive the equation on eigenvalues for the restrition
H Λ | H c
. Let
λ ∈ R
. In eah of the setorsm = − 1, 0
there exists exatly one (up to amultipliative onstant) solution of the equation
(L ∗ ) m f = λf
whih isL 2
-integrableatinnity(withrespettothemeasure
r dr
)andwemaytakeforitthefuntion
g m 2 (λ; r) e ımθ
(f. (4)). Foraseondlinearlyindependentsolution one may takeg m 1 (λ; r) e ımθ
providedβ(m, λ) 6∈ − Z +
(f. (5)). Ifβ(m, λ) ∈
− Z +
then apossiblehoie of aseond linearly independent solution isr |m+α| H
β(m, λ), γ(m), Br 2 2
exp
− Br 2 4
H(β, γ, z) = z 1−γ F (β − γ + 1, 2 − γ, z)
(f. (6)).
Thus
λ
is an eigenvalue ofH Λ | H c
if and only if there exists a vetor(µ, ν) ∈ C 2 \ { 0 }
suh that the funtionψ λ (r, θ) = µ g −1 2 (λ; r) e −ıθ + ν g 0 2 (λ; r)
satises theboundary ondition(20). Usingagain(4)and (7)onends that
Φ 1 (ψ λ ) = a −1 0 0 a 0
! µ ν
!
, Φ 2 (ψ λ ) = b −1 0 0 b 0
! µ ν
! ,
where
a −1 = Γ(1 − α) Γ 1 2 − 2B λ
B 2
−1+α
, b −1 = Γ( − 1 + α) Γ − 1 2 + α − 2B λ , a 0 = Γ(α)
Γ 1 2 + α − 2B λ B
2 −α
, b 0 = Γ( − α) Γ 1 2 − 2B λ .
This immediately leads to the desired equation on eigenvalues whih takes
the form
det A = 0
whereA = a −1 0
0 a 0
! µ ν
!
− Λ b −1 0 0 b 0
! .
After the substitution
z = 1 2 − λ
2B ,
i.e. λ = B(1 − 2z),
Γ(1 − α)Γ(α) Γ(z)Γ(z + α)
2
B − Γ(α)Γ(α − 1) Γ(z + α − 1)Γ(z + α)
2 B
α
u
− Γ(1 − α)Γ( − α) Γ(z) 2
2 B
1−α
v + Γ(α − 1)Γ( − α)
Γ(z)Γ(z + α − 1) (uv − α(1 − α) | w | 2 ) = 0.
Tosimplifysomewhatthe formoftheequationitisonvenienttoresalethe
parameters as follows,
ξ = B
2 1−α
Γ(α)
Γ(2 − α) u, η = B
2 α
Γ(1 − α)
Γ(1 + α) v, ζ = r B
2 | w | .
(22)Finally we arrive atan equation depending on three real parameters
ξ, η, ζ
,namely
1
Γ(z) Γ(z + α) + ξ
Γ(z + α − 1) Γ(z + α) + η
Γ(z) 2 + ξ η − ζ 2
Γ(z) Γ(z + α − 1) = 0.
(23)
Thereisnohanetosolveequation(23) expliitlyapartof someparti-
ular ases. One of them, of ourse, orresponds to the standard AB Hamil-
tonian. This ase is determined by the values of parameters
ξ = η = ζ = 0
and the roots of (23) form the set
− Z + ∪ ( − α − Z + )
. Consider also thease when when
ξ = η = 0
andζ 6 = 0
with the set of roots equal to− Z + ∪ ( − α − Z + ) ∪{ 1 − α +ζ −2 }
. Comparingthelatterasetotheformeronewe see that there is one additional root,namely
1 − α + ζ −2
,whih esapesto innity when
ζ → 0
.In the last partiular ase one an alsoonsider the limit
ζ → ∞
. Moregenerally,suppose that
det Λ 6 = 0
,i.e.ξη − ζ 2 6 = 0
,replaeΛ
witht Λ
in(20)and takethe limit
t → ∞
. The limitingboundary ondition readsΦ 2 (ψ ) = 0
and the orresponding self-adjoint extension whih we shall all
H ∞
is oneof those omitted when we restrited ourselves to an open dense subset in
the spae of all self-adjoint extensions (regarded as a a 4-dimensional real
manifold). Equation(23) redues in this limittothe equation
1
Γ(z) Γ(z + α − 1) = 0
(24)with the set of roots
− Z + ∪ (1 − α − Z + ).
Another ase when equation (23) simplies though it is not solvable ex-
pliitly is
ζ = 0
. This is easy to understand sine ifζ = 0
then the matrixΛ
is diagonal and the two ritial setors of angular momentum do not in-terfere. This is reeted in the fat that the equation (23) splits into two
independent equations,
1
Γ(z) + ξ
Γ(z + α − 1) = 0, 1
Γ(z + α) + η
Γ(z) = 0.
Let us shortly disuss the dependene of roots of equation (23) on the
parameters
ξ, η, ζ
. Sine the derivativeof the LHS of (23) with respet toz
and with the values of parameters
(ξ, η, ζ ) = (0, 0, 0)
equals( − 1) m m!
Γ( − m + α) 6 = 0
forz = − m,
and( − 1) m m!
Γ( − m − α) 6 = 0
forz = − m − α,
where
m ∈ Z +
, the standard Impliit Funtion Theorem (analyti ase) is suienttoonludethattherootsare analytifuntionsinξ, η, ζ
atleastinsome neighbourhoodofthe origin(dependingingeneralonthe root). Letus
denote by
z 1,m (ξ, η, ζ )
andz 2,m (ξ, η, ζ )
the rootsof (23) regarded asanalytifuntions in
ξ, η, ζ
andsuhthatz 1,m (0, 0, 0) = − m
andz 2,m (0, 0, 0) = − α −
m
, withm ∈ Z +
. A straightforward omputation results in the following power series trunatedat degree 4.h 0 m (z) =
m
X
j=1
1
j − γ − ψ(z), h 1 m (z) = π 2
6 +
m
X
j=1
1
j 2 − ψ ′ (z), h 2 m (z) = − 2 ζ(3) + 2
m
X
j=1
1
j 3 − ψ ′′ (z),
where
γ
is the Euler onstant,ψ(z) = Γ ′ (z)/Γ(z)
is the digamma funtionand
ζ
is the zeta funtion. Thenz 1,m (ξ, η, ζ ) = − m + ( − 1) m+1
m! Γ( − 1 − m + α) ξ + h 0 m ( − 1 − m + α) (m!) 2 Γ( − 1 − m + α) 2 ξ 2 + ( − 1) m+1 (3 h 0 m ( − 1 − m + α) 2 + h 1 m ( − 1 − m + α))
2 (m!) 3 Γ ( − 1 − m + α) 3 ξ 3 + ( − 1) m (1 + m − α)
m! Γ( − 1 − m + α) ξ ζ 2
+ 1
6 (m!) 4 Γ( − 1 − m + α) 4 4 h 0 m ( − 1 − m + α)
(25)× 4 h 0 m ( − 1 − m + α) 2 + 3 h 2 m ( − 1 − m + α) + h 2 m ( − 1 − m + α)
ξ 4
+ 3 − 2 (1 + m − α) h 0 m ( − m + α)
(m!) 2 Γ( − 1 − m + α) 2 ξ 2 ζ 2 + · · · ,
z 2,m (ξ, η, ζ ) = − α − m + ( − 1) m+1
m! Γ( − m − α) η + h 0 m ( − m − α) (m!) 2 Γ( − m − α) 2 η 2 + ( − 1) m+1 (3 h 0 m ( − m − α) 2 + h 1 m ( − m − α))
2 (m!) 3 Γ ( − m − α) 3 η 3 + ( − 1) m (m + 1)
m! Γ( − m − α) η ζ 2
+ 1
6 (m!) 4 Γ( − m − α) 4 4 h 0 m ( − m − α)
(26)× 4 h 0 m ( − m − α) 2 + 3 h 2 m ( − m − α) + h 2 m ( − m − α)
η 4
+ 1 − 2 (m + 1) h 0 m ( − m − α)
(m!) 2 Γ( − m − α) 2 η 2 ζ 2 + · · · .
A similar analysis an be arriedout toget the asymptoti behaviourof
roots for
ξ, η, ζ
large. To this end assume thatξη − ζ 2 6 = 0
and setξ ′ = ξ
ξη − ζ 2 , η ′ = η
ξη − ζ 2 , ζ ′ = ζ ξη − ζ 2 .
Notie that
ξ ′ η ′ − ζ ′ 2 = (ξη − ζ 2 ) −1
. Equation (23) beomesξ ′ η ′ − ζ ′2
Γ(z) Γ(z + α) + ξ ′
Γ(z + α − 1) Γ(z + α) + η ′
Γ(z) 2 + 1
Γ(z) Γ(z + α − 1) = 0.
(27)
Rootsof(27)areanalytifuntionsin
ξ ′ , η ′ , ζ ′
atleastinsomeneighbourhood of the origin. Again, it would be possible to ompute the beginning of theorresponding power series and to derive formulae similar to those of (25),
(26) but weavoid doingit here expliitly.
Instead we prefer to plot two graphs in order to give a reader some im-
pression about how the eigenvalues may depend on the parameters, i.e. on
the boundary onditions. In eah graph we hoose a line in the parameter
solutions of equation (23) might be a loalisation of roots of this equation
with respet to a suitable splitting of the real line into intervals. Let us
hoose the splittingintointervals with boundary pointsoiniding with the
roots of equation (24). To get the loalisationlet us rewrite equation (23),
equivalently provided
z 6 = − Z + ∪ (1 − α − Z + )
, asfollowsΓ(z − 1 + α)
Γ(z) + ξ Γ(z) Γ(z + α) + η
= ζ 2 .
(28)Put
F α (z) = Γ(z − 1 + α) Γ(z)
so that equation (28) an be rewritten as
(F α (z) + ξ) (F 1−α (z + α) + η) = ζ 2 .
(29)It is easy to arry out some basi analysis of the funtion
F α (z)
. Wehave
F α ′ (z) = F α (z) (ψ(z − 1 + α) − ψ(z))
. One observes thatF α (z) > 0
for
z ∈ ]1 − α, + ∞ [ ∪ S
m∈Z + ] − α − m, − m[
, and
F α (z) < 0
forz ∈ S
m∈Z + ] − m, 1 − α − m[
,andinanyaseF α ′ (z) < 0
. Intheformerasethisfollows from the fat that
ψ(z)
is stritly inreasing oneah of the intervals]0, + ∞ [
and] − m − 1, − m[
, withm ∈ Z +
. In the latter ase this is a onsequene of the identityψ(z − 1 + α) − ψ(z) = π sin(πα)
sin(πz) sin(π(z + α)) + Z ∞
0
e −(1−z) t 1 − e −(1−α) t 1 − e −t dt.
Moreover,
z→+∞ lim F α (z) = 0, lim
z→(1−α−m)± F α (z) = ±∞
andF α ( − m) = 0
form ∈ Z + .
Thisalsoimpliesthat
F 1−α (z+α) > 0
forz ∈ ]0, + ∞ [ ∪ S
m∈Z + ] − 1 − m, − α − m[
and
F 1−α (z) < 0
forz ∈ S
m∈Z + ] − α − m, − m[
,in anyaseF 1−α ′ (z + α) <
0
, andz→+∞ lim F 1−α (z + α) = 0, lim
z→−m± F 1−α (z + α) = ±∞ ,
and
F 1−α ( − α − m) = 0
form ∈ Z + .
With the knowledge of these basi properties of the funtion
F α (z)
itis a matter of an elementary analysis to determine the number of roots of
equation (29) in eah of the intervals
]1 − α, + ∞ [
,] − m, 1 − α − m[
and] − α − m, − m[
, withm ∈ Z +
. The result is summarised in the following tables.interval
]1 − α, + ∞ [
onditions numberof roots
ξ ≥ 0 η ≥ 0 ζ 2 > ξη
1ξ ≥ 0 η ≥ 0 ζ 2 ≤ ξη
0ξ ≥ 0 − Γ(1 − α) < η < 0
noondition 1ξ ≥ 0 η ≤ − Γ(1 − α)
noondition 0ξ < 0 η ≥ 0
noondition 1ξ < 0 − Γ(1 − α) < η < 0 ζ 2 ≥ ξη
1ξ < 0 − Γ(1 − α) < η < 0 ζ 2 < ξη
2ξ < 0 η ≤ − Γ(1 − α) ζ 2 ≥ ξη
0ξ < 0 η ≤ − Γ(1 − α) ζ 2 < ξη
1interval
]0, 1 − α[
onditions number of roots
ξ ≤ 0 η ≥ − Γ(1 − α)
0ξ ≤ 0 η < − Γ(1 − α)
1ξ > 0 η ≥ − Γ(1 − α)
1ξ > 0 η < − Γ(1 − α)
2intervals
] − α − m, − m[
,m ∈ Z +
onditions number of roots
ξ ≥ 0 η ≤ 0
0ξ ≥ 0 η > 0
1ξ < 0 η ≤ 0
1ξ < 0 η > 0
2intervals
] − 1 − m, − α − m[
,m ∈ Z +
onditions number of roots
ξ ≤ 0 η ≥ 0
0ξ ≤ 0 η < 0
1ξ > 0 η ≥ 0
1ξ > 0 η < 0
2This is to be ompleted with the simple observation that
1 − α
is a root of(23) if and only if
η = − Γ(1 − α)
, and− m
, withm ∈ Z +
, is a root if and onlyifξ = 0
,andnally− α − m
, withm ∈ Z +
,isarootifand onlyifη = 0
.Let us note that this loalisation is in agreement with a general result
aording to whih if
A
andB
are two self-adjoint extensions of the same symmetrioperatorwithnitedeienyindies(d, d)
thenanyintervalJ ⊂ R
not interseting the spetrum ofA
ontains at mostd
eigenvalues of the operatorB
(inluding multipliities)andnoother partof thespetrumofB
[12,8.3℄. Thusinourexampleif
J
isanopenintervalwhoseboundarypointsare either two subsequent eigenvalues of
H ∞
orthe lowest eigenvalue ofH ∞
and
−∞
then any self-adjointextensionH Λ
has at most two eigenvalues inJ
.7 Conluding remarks
The above disussion does not exhaust all questions related to the system
under onsideration. One may ask, for instane, how the state of suh a
partile evolves under an adiabati hange of parameters. In partiular,
sine the model exhibits eigenvalue rossings, one may expet that there
are parameter loops exhibiting a nontrivial Berry phase. Another question
is interested inwhih sense the model Hamiltonianan be approximated by
those with smeared ux and a regular interation. We leave these problems
to afuture publiation.
201/01/01308and GAAS1018101.
Referenes
[1℄ Y. Aharonov and D. Bohm: Signiane of eletromagneti potentials
in the quantum theory, Phys. Rev. 115 (1959)485-491.
[2℄ S.N. M.Ruijsenaars: The Aharonov-Bohmeetand sattering theory,
Annals Phys. 146 (1983)1-34.
[3℄ H.-P. Thienel: Quantum mehanis of an eletron in a homogeneous
magneti eld and a singular magneti ux tube, Annals Phys. 280
(2000) 140-162.
[4℄ R. M. Cavalanti: Comment on Quantum mehanis of an eletron in
a homogeneousmagnetieldanda singularmagnetiux tube,quant-
ph/0003148.
[5℄ M.Hirokawa,O.Ogurisu: Groundstateof aspin1/2 hargedpartilein
a two-dimensionalmagneti eld, J. Math. Phys. 42 (2001) 3334-3343.
[6℄ S.Albeverio, F. Gesztesy,R. Høegh-Krohnand H.Holden: Pointinter-
ations in two dimensions: Basi properties, approximations and appli-
ations to solid state physis, J. reineangew. Math. 380 (1987) 87-107.
[7℄ L. Dabrowskiand P.´oví£ek: Aharonov-Bohmeet with
δ
-type inter-ation, J. Math. Phys. 39 (1998) 47-62.
[8℄ R. Adami and A. Teta: On the Aharonov-Bohm Hamiltonian, Lett.
Math. Phys. 43 (1998)43.
[9℄ M.Abramowitz,I.A.Stegun: Handbookof MathematialFuntionswith
Formulas, Graphs and Mathematial Tables, Dover Publiations, New
York, 1965.
Nauka, Moskva, 1986.
[11℄ M. Reed and B. Simon: Methods of Modern Mathematial Physis IV,
Aademi, New York,1975.
[12℄ J.Weidmann: LinearOperatorsin HilbertSpaes,Springer-Verlag,New
York, 1980.
- 20 - 10 10 20 t
- 5 5 10 15
eigenvalues depending on t
Figure 1: The Hamiltonianisdeterminedby the boundaryonditions orre-
sponding to the parameters