• Aucun résultat trouvé

arXiv:quant-ph/0111050v1 8 Nov 2001

N/A
N/A
Protected

Academic year: 2022

Partager "arXiv:quant-ph/0111050v1 8 Nov 2001"

Copied!
32
0
0

Texte intégral

(1)

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-

(2)

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 last

named 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

(3)

Weonsider the symmetri operator

L = − ( ∇ − A( ∇ )) 2 , Dom(L) = C 0 ( R 2 \ { 0 } ),

wherethevetorpotential

A

isasumoftwoparts,

A = A hmf + A AB

,withthe

part

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 resale

the Aharonov-Bohmux,

α = − Φ 2π ,

tohaveavariablewhihexpressesthenumberofuxquantaand,asusual,we

makeuseofthegaugesymmetryallowingustoassumethat

α ∈ ]0, 1[

. Hene

the 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 of

L

as well

as 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 of

(4)

L 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 orrespondingly

L

) takes the

form

L = − 1

r ∂ r r∂ r + 1 r 2

− ı∂ θ + α + Br 2 2

2

.

The operator

L

ommutes on

Dom(L )

with the projetors

P m

onto the

eigenspaes of the angular momentum,

P m ψ(r, θ) = 1 2π

Z 2π 0

ψ(r, θ ) e ım(θ−θ ) ,

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)

(5)

β(m, λ) = 1 2

1 + m + α + | m + α | − λ B

, γ(m) = 1 + | m + α | .

(5)

Here

F

and

G

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)

and

G(β, γ, z)

are linearly dependent if and only

if

β ∈ − Z +

. Moreover,

F (β, γ, z)

is an entire funtion, partiularly, it is regular at the origin while

G(β, γ, z)

has a singularity there provided

γ > 1

and

β / ∈ − Z +

, and inthat ase it holds true that

z→0 lim +

z γ−1 G(β, γ, z) = Γ(γ − 1) Γ(β) .

Thus in the ase when

1 < γ < 2

we have the asymptoti behaviour, as

z → 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 that

F (β, γ, z) = Γ(γ)

Γ(γ − β) ( − z) −β 1 + O z −1

+ Γ(γ)

Γ(β) e z z β−γ 1 + O z −1

(8)

(6)

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 to

L 2 ( R + , r dr)

if and only if

β(m, λ) = − n

, with

n ∈ Z +

. Sine itholds

F ( − n, 1 + σ, z) = n! Γ(σ + 1)

Γ(n + σ + 1) L σ n (z), n ∈ Z + ,

we get a ountableset of eigenvalues,

(7)

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θ

andsotheompletesetof

eigenfuntions

{ f m,n (r, θ) } m∈Z , n∈Z +

isanorthonormalbasisin

L 2 ( R + , r dr) ⊗ L 2 ([ 0, 2π ], dθ)

. Sineallthe eigenvalues

λ m,n

are realwe get this way awell

dened 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 the

spetrum 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 eigenvalue

B(2α + 2k + 1)

is nite and equals

k + 1

.

A nal short remark onerning the Hamiltonian

H AB

is devoted to the

Green 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 )

(8)

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.

(9)

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)) while

g m 2 ( ± ı; r)

behaves well at innity but has a singularity at the origin of the order

r −|m+α|

. Thus

g m 2 ( ± ı; r) ∈ L 2 ( R + , r dr)

if and only if

m = − 1

or

m = 0

. This means that the deieny indies are

(2, 2)

. Fora

basis 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

and

N 0

arenormalisationonstantsmakingthebasisorthonormal.

We shall need the expliit values of

N −1

and

N 0

. Usingthe relation

W υ,τ (z) = z τ+ 1 2 e −z/2 G

1

2 − υ + τ, 2τ + 1, z

where

W

is the Whittakerfuntion we get

N 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 + α | .

(10)

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 22B ı

! −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

(11)

funtions in the deieny subspaes

N ±ı

. By(4)and (7)we have

g −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 22B ı

B 2

−1+α

, b −1,± = Γ( − 1 + α) Γ − 1 2 + α ∓ 2B ı , a 0,± = Γ(α)

Γ 1 2 + α ∓ 2B ı B

2 −α

, b 0,± = Γ( − α) Γ 1 22B ı .

The oeients

a m,±

,

b m,±

are relatedtothe normalisationonstants

N m

for

it 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

and

M 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 to

Dom( ¯ 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 if

m ∈ {− 1, 0 }

then

ϕ(r) e ımθ ∈ Dom((L ) m )

belongs

to

Dom( ¯ L m )

if and only if

r→0 lim +

r W (ϕ(r), g 2 m ( ± ı, r)) = 0

(12)

where

W (f, g) = (∂ r f)g − f ∂ r g

is the Wronskian. Usingthe asymptotibe-

haviour(10)andtheregularityofthe matrix

M m

wearriveattwoonditions

lim 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+α|+1r (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)

, namely

r→0 lim +

r −1+α ϕ(r) = 0

and

lim

r→0 +

r α ϕ (r) = 0

if

m = − 1,

r→0 lim +

r −α ϕ(r) = 0

and

lim

r→0 +

r −α+1 ϕ (r) = 0

if

m = 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

.

(13)

Let usformally introdue the funtionals

Φ k j

on

Dom(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)

then

aording to(12) itatually holds

Φ k j (ψ ) = 0

for

j = 1, 2

,

k = − 1, 0

. On the

otherhand, if

ψ ∈ N ı + N −ı

and

Φ k j (ψ ) = 0

forallindies

j = 1, 2

,

k = − 1, 0

,

then

ψ = 0

(this is again guaranteed by the regularity of the matries

M −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 −ı

weobtain

four

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 operator

L

determined by a unitary operator

U : N ı → N −ı

. We identify

U

with a unitary

2 × 2

matrix via the hoie

(14)

of the orthonormal bases

{ f −1,± , f 0,± }

in

N ±ı

.The self-adjoint operator

H 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 )

obeying

rank 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 !

(15)

orresponds toatwo-dimensionalsubspae in

C 4

andhenetoapointinthe Grassmann manifold

G 2 ( C 4 )

. The omplex dimension of

G 2 ( C 4 )

equals 4,

i.e.

dim R G 2 ( C 4 ) = 8

. The points of

G 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 )

with

theproperties(14),(15)therearerelatedunique

Y ∈ GL(2, C )

and

U ∈ 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 and

J −1 = ı D 0 0 D

! Φ 2,− − Φ 1,−

− Φ 2,+ Φ 1,+

! .

Let us introdue another ouple of matries,

V + , V ∈ Mat(2, C )

, by the

relation

V −

V +

!

= J −1 X 1

X 2

! ,

thus

V ± = ∓ ıD(Φ 2,± X 1 − Φ 1,± X 2 )

. It follows that

V ± 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

!

(16)

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,±

and

D

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

and

U

satisfying (16) is

Y = 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

related

to aunitary matrix

U

aording tothe rule

X 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

(17)

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 matrix

Y

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 thatase

we an set diretly

X 2 = I

and rename

X 1 = Λ

. Thus

Λ

is a

2 × 2

omplex

matrix 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 to

Dom(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 .

(18)

The relation between

Λ

and

U

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-BohmHamiltonian

H AB

disussed in

Setion 3. Aording to (21)

H AB

orresponds to the unitary matrix

U = − Φ 1,− −1 Φ 1,+ = diag

(

− Γ 1 2 + 2B ı

Γ 1 22B ı , − Γ 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

and

m = 0

. Tostateitmoreformally

we 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,

Λ Λ | ⊕ Λ |

(19)

and we know that on

H s

the operator

H Λ

oinides with the standard AB

Hamiltonian,

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)

equals

k

. 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 seondoneomesfromthesetor

m = 0

). Sinethe

deieny 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 )

is

emptyforany

Λ

. Thusthespetrumof

H Λ | 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 setors

m = − 1, 0

there exists exatly one (up to a

multipliative onstant) solution of the equation

(L ) m f = λf

whih is

L 2

-

integrableatinnity(withrespettothemeasure

r dr

)andwemaytakeforit

thefuntion

g m 2 (λ; r) e ımθ

(f. (4)). Foraseondlinearlyindependentsolution one may take

g m 1 (λ; r) e ımθ

provided

β(m, λ) 6∈ − Z +

(f. (5)). If

β(m, λ) ∈

− Z +

then apossiblehoie of aseond linearly independent solution is

r |m+α| H

β(m, λ), γ(m), Br 2 2

exp

− Br 2 4

(20)

H(β, γ, z) = z 1−γ F (β − γ + 1, 2 − γ, z)

(f. (6)).

Thus

λ

is an eigenvalue of

H Λ | 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 22B λ

B 2

−1+α

, b −1 = Γ( − 1 + α) Γ − 1 2 + α − 2B λ , a 0 = Γ(α)

Γ 1 2 + α − 2B λ B

2 −α

, b 0 = Γ( − α) Γ 1 22B λ .

This immediately leads to the desired equation on eigenvalues whih takes

the form

det A = 0

where

A = a −1 0

0 a 0

! µ ν

!

− Λ b −1 0 0 b 0

! .

After the substitution

z = 1 2 − λ

2B ,

i

.e. λ = B(1 − 2z),

(21)

Γ(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 the

ase when when

ξ = η = 0

and

ζ 6 = 0

with the set of roots equal to

− Z + ∪ ( − α − Z + ) ∪{ 1 − α +ζ −2 }

. Comparingthelatterasetotheformerone

we see that there is one additional root,namely

1 − α + ζ −2

,whih esapes

to innity when

ζ → 0

.

In the last partiular ase one an alsoonsider the limit

ζ → ∞

. More

generally,suppose that

det Λ 6 = 0

,i.e.

ξη − ζ 2 6 = 0

,replae

Λ

with

t Λ

in(20)

and takethe limit

t → ∞

. The limitingboundary ondition reads

Φ 2 (ψ ) = 0

(22)

and the orresponding self-adjoint extension whih we shall all

H

is one

of 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 to

z

and with the values of parameters

(ξ, η, ζ ) = (0, 0, 0)

equals

( − 1) m m!

Γ( − m + α) 6 = 0

for

z = − m,

and

( − 1) m m!

Γ( − m − α) 6 = 0

for

z = − m − α,

where

m ∈ Z +

, the standard Impliit Funtion Theorem (analyti ase) is suienttoonludethattherootsare analytifuntionsin

ξ, η, ζ

atleastin

some neighbourhoodofthe origin(dependingingeneralonthe root). Letus

denote by

z 1,m (ξ, η, ζ )

and

z 2,m (ξ, η, ζ )

the rootsof (23) regarded asanalyti

funtions in

ξ, η, ζ

andsuhthat

z 1,m (0, 0, 0) = − m

and

z 2,m (0, 0, 0) = − α −

m

, with

m ∈ Z +

. A straightforward omputation results in the following power series trunatedat degree 4.

(23)

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 funtion

and

ζ

is the zeta funtion. Then

z 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 + · · · ,

(24)

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 the

orresponding 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

(25)

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)

. We

have

F α ′ (z) = F α (z) (ψ(z − 1 + α) − ψ(z))

. One observes that

F α (z) > 0

for

z ∈ ]1 − α, + ∞ [ ∪ S

m∈Z + ] − α − m, − m[

, and

F α (z) < 0

for

z ∈ S

m∈Z + ] − m, 1 − α − m[

,andinanyase

F α (z) < 0

. Intheformerasethis

follows from the fat that

ψ(z)

is stritly inreasing oneah of the intervals

]0, + ∞ [

and

] − m − 1, − m[

, with

m ∈ 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) = ±∞

and

F α ( − m) = 0

for

m ∈ Z + .

Thisalsoimpliesthat

F 1−α (z+α) > 0

for

z ∈ ]0, + ∞ [ ∪ S

m∈Z + ] − 1 − m, − α − m[

(26)

and

F 1−α (z) < 0

for

z ∈ S

m∈Z + ] − α − m, − m[

,in anyase

F 1−α ′ (z + α) <

0

, and

z→+∞ lim F 1−α (z + α) = 0, lim

z→−m± F 1−α (z + α) = ±∞ ,

and

F 1−α ( − α − m) = 0

for

m ∈ Z + .

With the knowledge of these basi properties of the funtion

F α (z)

it

is 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[

, with

m ∈ 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 < ξη

1

interval

]0, 1 − α[

onditions number of roots

ξ ≤ 0 η ≥ − Γ(1 − α)

0

ξ ≤ 0 η < − Γ(1 − α)

1

ξ > 0 η ≥ − Γ(1 − α)

1

ξ > 0 η < − Γ(1 − α)

2

(27)

intervals

] − α − m, − m[

,

m ∈ Z +

onditions number of roots

ξ ≥ 0 η ≤ 0

0

ξ ≥ 0 η > 0

1

ξ < 0 η ≤ 0

1

ξ < 0 η > 0

2

intervals

] − 1 − m, − α − m[

,

m ∈ Z +

onditions number of roots

ξ ≤ 0 η ≥ 0

0

ξ ≤ 0 η < 0

1

ξ > 0 η ≥ 0

1

ξ > 0 η < 0

2

This is to be ompleted with the simple observation that

1 − α

is a root of

(23) if and only if

η = − Γ(1 − α)

, and

− m

, with

m ∈ Z +

, is a root if and onlyif

ξ = 0

,andnally

− α − m

, with

m ∈ Z +

,isarootifand onlyif

η = 0

.

Let us note that this loalisation is in agreement with a general result

aording to whih if

A

and

B

are two self-adjoint extensions of the same symmetrioperatorwithnitedeienyindies

(d, d)

thenanyinterval

J ⊂ R

not interseting the spetrum of

A

ontains at most

d

eigenvalues of the operator

B

(inluding multipliities)andnoother partof thespetrumof

B

[12,Ÿ8.3℄. Thusinourexampleif

J

isanopenintervalwhoseboundarypoints

are either two subsequent eigenvalues of

H

orthe lowest eigenvalue of

H

and

−∞

then any self-adjointextension

H Λ

has at most two eigenvalues in

J

.

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

(28)

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.

(29)

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.

(30)

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.

(31)

- 20 - 10 10 20 t

- 5 5 10 15

eigenvalues depending on t

Figure 1: The Hamiltonianisdeterminedby the boundaryonditions orre-

sponding to the parameters

(ξ, η, ζ ) = (0.95 t, 0.25 t, 0.25 t)

,

α = 0.3

,

B = 1

.

(32)

- 20 - 10 10 20 t

- 5 5 10 15

eigenvalues depending on t

Références

Documents relatifs

In the case of stochastic homogenization of discrete elliptic equations with stationary random conductances of finite correlation length, and the corresponding random walk on Z d ,

However, since the number of p-adic extensions of a given degree is finite, it is still possible to ask for a formula that gives the number of extensions of a given degree, and

In this paper we apply the Seidel representations for compact symplectic orbifolds, constructed in [TW], to give a description of quantum cohomology rings of symplectic

At least when β ∈ (0, 1], the K-stability of a pair (X, D) with parameter β is conjectured to be equivalent to the existence of a K¨ ahler-Einstein metric on X with cone

In Table 1, we report for different guides, the squared bias, variance and MSE of the original method, additive correction, multiplicative correction and the unified family

The situation vis-`a-vis Perm(µ) having been clarified, the goal of this article is to prove that nevertheless Adm(µ) can always be described by vertexwise conditions, and to use

In case a quon is a qudit of degree d, one has a simple representation for a 1-quon basis: the interior of a hemisphere contains two charged strings, each linking two of the

However, in this paper, we show that if we require further that a pair of cuspidal representations π and π ′ of SL 2 have the same local components at archimedean places and the