Download - Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Transcript
Page 1: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Canonical quantization of scalar fieldsbased on S-3

Hamiltonian for free nonrelativistic particles:

Furier transform:

a(x) =!

d3p

(2!)3/2eip·x a(p)

we get:

can go back to x using:

!d3x

(2!)3eip·x = "3(p)

!d3p

(2!)3eip·x = "3(x)

28

Page 2: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Canonical quantization of scalar fields

(Anti)commutation relations:

[A,B]! = AB !BA

Vacuum is annihilated by :

is a state of momentum , eigenstate of with

is eigenstate of with energy eigenvalue:

29

Page 3: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Relativistic generalization

Hamiltonian for free relativistic particles:

spin zero, but can be either bosons or fermions

Is this theory Lorentz invariant?

Let’s prove it from a different direction, direction that we will use for any quantum field theory from now:

start from a Lorentz invariant lagrangian or action

derive equation of motion (for scalar fields it is K.-G. equation)

find solutions of equation of motion

show the Hamiltonian is the same as the one above

30

Page 4: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

A theory is described by an action:

where is the lagrangian.

Equations of motion should be local, and so

Thus:

where is the lagrangian density.

is Lorentz invariant:

For the action to be invariant we need:

the lagrangian density must be a Lorentz scalar!

31

Page 5: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Let’s consider:

Any polynomial of a scalar field is a Lorentz scalar and so are products of derivatives with all indices contracted.

and let’s find the equation of motion, Euler-Lagrange equation:

(we find eq. of motion from variation of an action: making an infinitesimal variation in and requiring the variation of the action to vanish)

arbitrary constant

integration by parts, and at infinity in any direction (including time)

!"(x) = 0

is arbitrary function of x and so the equation of motion is Klein-Gordon equation

! = 1, c = 1

32

Page 6: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Solutions of the Klein-Gordon equation:

one classical solution is a plane wave:

is arbitrary real wave vector and

The general classical solution of K-G equation:

where and are arbitrary functions of , and

where and are arbitrary functions of , and

is a function of (introduced for later convenience) |k|

if we tried to interpret as a quantum wave function, the second term would represent contributions with negative energy to the wave function!

33

Page 7: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

real solutions:

k !" !k

thus we get:

(such a is said to be on the mass shell)kµ

34

Page 8: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Finally let’s choose so that is Lorentz invariant:

manifestly invariant under orthochronous Lorentz transformations

on the other hand

sum over zeros of g, in our case the only zero is k0 = !

for any the differential is Lorentz invariant

it is convenient to take for which the Lorentz invariant differential is:

35

Page 9: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Finally we have a real classical solution of the K.-G. equation:

where again: , ,

For later use we can express in terms of :

where and we will call .

Note, is time independent.

36

Page 10: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

Constructing the hamiltonian:

Recall, in classical mechanics, starting with lagrangian as a function of coordinates and their time derivatives we define conjugate momenta and the hamiltonian is then given as:

In field theory:

hamiltonian density

and the hamiltonian is given as:

37

Page 11: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

In our case:

Inserting we get:

38

Page 12: Canonical quantization of scalar Þelds - IU Bdermisek/QFT_08/qft-I-2-1p.pdf · Canonical quantization of scalar Þelds ... Þnd solutions of equation of motion ... qft-1.pdf Author:

!d3x

(2!)3eip·x = "3(p)

39