ExamplesofComputation
examplesin

ZCt 9: t,⑯

free particle

L29

in

Elt 9,

atheta

2m:,

=

try

toit=t* #,this"Ithave

we(9+1e-reproduce

term

12mti 9 : )circle1 Diltf-ti)
Let usa~2=

operator formalism

Usingin

I (9)Ep=1 D:

line

aline

GI,inwith-E(SH)oscillator

harmonic

particle

Spectrum&:&Free=9 )& free particle:③①:,

by9: >
i-9:24stf-ti)

path-integral:Configuration

Aq(t)

9:=A

197 9+motivation

9(t)
-Sie

=

9:

::t,respect(Yn 4m),

E

Orthonormal

are,

the

tobe written ascan"

falts= SM( (t-ti))with

9(t) If=,: +Ent : ( It-tie)"Etof9(ti)

=

inner

On,

product(4,

41 = (+mthis() 9S19) =
Let

us

&9
Then

"define"=C

theEd9npath-integral measure byfor,=,constantC.

# S19],z(t 9 + iti 9:) =some

09 eente

41 9 St)*:titt-The productnbut

constant.
ways

ChooselimN

⑭

thee

Several⑤isidivergent (or zero)

1"tune"

let usC=ais&sothatfinite (andnon-Eew):

Co

sothatCritNeZeta function regularization# * * (2πx)*isfinite.

.

,Zeta function regularization
3(S)

:=

Ens

Riemann’s zeta function

absolutely convergentI319)

analyticRe(sk(ifcontinuation&regular at S

=0·E estoge

=,3 x
known

--(-lugn)

=310)

:

=

=

==-I

S310)

=-,-log 2exp(logE)) exp (nE(logx-logn))=exp(3(0)1yx 3(0))+exp( jlyX--log2x)(2xx) 2-=

Backpath-integral

toLet as.

** RaxT

zethfunction regularizationuse=

Let us define&9
Thenfor

Cd9-=,z(t . fiti 9 ).

=:constantIf*eie!
wechoose↓-2(tit-ti)

C=:it /em-match with

25t

the.

Jet"

-C&Emer

eie!

-

Some

operator-i /tr-(i)result.

More aboutFor

any wayitis( d9n,tf-t: (and toofdenote="cittti"definetofunction

aLet usdefinition of &9

theby F(tf-ti)

itam)

.

thatso2z(tx 9: ti 9),,Let ustryz(t+ 97,&:

to⑯

the function

issupposed,

unitarity[(9)

composition,timeof-(192Z(tsF(t-ti)=

fixEi (i)-9)
If ti)(dSlaw-↑

F(T) by the properties
have

to:

evolutionz(T,9 : 0,9) [(9):9 : t 92) ECt2 92 ; tr 9 ),,,.

=z(ts 9 : En 92),,.

ExerciseShow that:a E IFCTSP

& =

=T

Fit-tFstet=E

Flt-tisThese regive that

F(T)e=: AT2πit TforsomeThisA

real
becan(19 9)+wemodulomayFIT)

amaydepend on matby redefining Lagrangium(19 9)

hA-

possible shift

set=

that

absorbed,,Thus ,constant A

ETof.

.

Lagrangian byaconstant,.

Partition function.

-*Tr(e-EF) /escale=12)

-s-

2

ja

=

"regularize"

Let usisin

ThenLetaTreEF)
ustryz(si)to=by pretending that

thissegment

divergent !

-large but finite length 2ofL=---e)

9(2) periodic in:-2t I

by path-integral

reproduce this/02

the particle

a+S't-Tt T)

:.

A

9 (T)

periodic configurationq()

Again%1=.

EIforYe,orthomoundarewirt&9Note=

as

:

(3 4)

:. dende?

g30 23,z(S1)==written

as⑪.

thatC= sm* Yug's·for some constant (takes values in,0990.

large but finite interval

LI

an ?
!
/91

C L.

be= (E (19 : 1955

2 d9=so

as

=.

is,

SE(93

can++

the motivation,9) i T)

(9nw() 92())+==Y"(z(S1)

E

3 L .

=.

Use the Zeta-function#*=(2xx)

regularization*or:= (2xxT

Define&9=z(S1)

19 .. dind ?

=Lforsome Cu.
-=LI(SI

=sT

match

with

theearlier

result

withC

=1ne.

&Harmonic Oscillator

L= 29

Spectrum En

gwige

-A

#h(r(n+t)=En 191
Transition,

=+ ww

=

n = 0, 1

Hermite,2 ...

polynomial.

amplitude

configuration 9 (t) St 9 (ti) 9 :, 9(t) If==:

writtenbeas

q(t)wherecan=Ice9ce(t)
isSil,a+q(t)solution

92Stic= 9 :,ofE 0 M.

.

.

g =-w

9ae(tf)= If%m 9acth=Eise! (:and99ts=E En

Sin( It-tie).

S19]

S(9x 97

==+8↑

S(9x)

9/9]

+Why ?

:: ) roswitti) -29(195+9+ti)

S1907 -S(5T =Ez1t 9 : ti 9 ),=.

:]= (*) - 79 :02=eS(9)9(t+l= 97es(c) S pr eS()9[=, 9:,9 (ti)

=9:

Cd9

eiscalmaC*h1particlein=witf-timulesame

asinthe freeIRUsing the definition
inthe freeCCE &9-of

determined,particinR,e)--

For the second Co-productFistfti)use,(1-()) Game===an(nexxfi
Uwitf-ti =mul:.

Zltf Eti ti Ei),=,esice=inwitf-ti)e*S(alwirseftis-2979(9entis]we:-Partition function...

Threewaysi

In⑪Direct

Operator formalism

Path-integral⑪ Use Trei)

operator formalism

In

Try=+w(n + 1)e=--

⑪ Direct Path-integral
Aperiodic94)=

WT

Ee-wThnew.

configuration+e--wis=-we0=/2).

In(d)(9)=9 (t+T)=g(t)canbe written as(Enw() 9 ()+.

For this ,S19)=9+( * (* ) m (as Y!

&9d9-d9nd9 ?

=(Weknowz(S1)=use

3 function regularization&9 =19 ! Cd92dE ?

/0e=(as ded ?

With1-It w (s - !

ein·works !

(19 9:3+mingw-tenres.

-S=(9)

E deine?

=(as-aItatl
11nltit))-()Y)

Use-hisUse the result for)

TrT=we-Y

ZCf+ 97.

(dq(a):ti9i)*in19)e,z (t , 9 , 0,-z It 9,;0,9) 1 t--9)-:=z(st)iS again)=(l:=-sinateat(292wsw+-292)

iTsinct--isinh WTFort--iT,Cost

2cshwT-2

:

=

e+->

coshWT- 2=(ew4-z(t 9 : 0 9)

entertr->,,=w * )2e quinhart(da E(t:=>,2 : 0,93) t

asnat--

iTenot let ent ar

htt wisha-I-wit

The resultsof

D N,,Di all match.

~③FreeLTheparticle
92=wave

92 9 25R

must

beperiodic**( alEcas12(5 43itp=pon=En19)-

5=.

1944AR)=E (9)

,.

.

-it

#=

↑?

/,

el49/t& this needs

=>

P.

+

HIEI=:

SCAR=R/25RZ

circleawherefunction,:

intobe9 - 9thaR periodic

2PR/t1e(n-X)

Momentumi2.

is.

en/PR/t.

quantized

normalized

I (En En)
,

so=

that

dr.

#En= EnEn Enti (2.

mtransitionDamplitudeoperator:z(txExit [i):.

(Efle-=***#19#-:

2(19 : 2-inEn19t) re
2πR==q(t)
9=St.

+:

whereFor this(E)in eit path-integral

9(t)1-Ente2T R+in:-,q(tg)-If

canbe written

asCis. +2TRNEE Ensin/anE)

we(winding #),S (97=in9iyR:

9 (t ) -9:
199tyR(tx-ti)+ E )" arSOS=Eltaitis)Ex) din-

Exeter "Eden?

el snesameasinfree particle

inR.

Use the same definition -> 1)

tf-til2-ttilExerciseShow

you maythatIw =et**X

the results of D a i match.

use

Poisson resummation formulaI
n=x

an +Tibn=at N+ bPartition

Dfunction

Operator

Treee mt=ens

Di path-integral
A

periodicq(t)configuration
90 +=90290+ F 2TR andSE191= T.
=

where&

be written

as

2πRwE

.

/02

can19 st +9 sin)(+where9 (T+T)-q(t)e)(winding #)( * ) 19n+ 9 : (2)

dins

aso

go integration
3-fin regE+X

weisisusedon[0,F 2TR]

for.

.

.

z(S1)==(9)(0ge=Ex-F 2TRJanineee.

"!

same

free particleinas

3-fen reg

inIR

11+T-

ExerciseShow that(AgainiRweRT e=

WemayPoisson

also-Tr(e,use)=⑪

whe results ofresummation(d9(9)

i matchformulabe used

canfor Est [f1ti (i)the result

-a,,

*(9)

sincez(t 9 : 0,,9) 1+--iT.

in)RecallzHt 9 : 0,,=9) 1t--iTSine"
ein

SRd9=

=2t 9 : 0,eTR.

,

93/te

2 (t 9 : 0,nothing but,-"p I.

it93/t-theop-results

iTinDa D.

.

Remark
R- is ,In the limit

LetECSt)Of

tothe partition function

S RTeInLOP)

all,.

the divergence
In fact,of·In

evenstates

is(P I ) ,.

E(S1)

is~

the volume

regularized

finite energy

a20

the limit

inR-w ,

is0versionwith.

ofEof=equivalent) :must beweight1states

isand,0Inl)- Er.

,#(the spectrum becomes continuous)

the W=O

2TRT.

But the two different

because the number

below

as.

contributesne(P I S.

diverges in the limit

it,

COPS

expressions tell us different reasons (which·the line R

toe n=

coursehappens

what

see

us

Sctp decompactifies

the circle,

term isdominant.

and the divergenceisbecause

Tisthe(Recall that

Z(St) for the particle

inaline.

).

.

&S'with

Particle in9-9Ltheta term

2πR+292

=a+

09
ne

theta

CalledExercises
1.

23.

.

:

FindFindthespectrum

Find

theEuclidean

ComputeI5.

itisE(t 9ti:,,

chack that

ComputeinIHIP 9)

Hamitonianthe(Warning4.

termTre,.

Lagrangian (E19 9),,9i)in)=Operator & path-integul
match

(.

z(S1)

Operator & path-integul
chack that.

not real !

the result-E.

the result.

match.

(.