27.07.2014 Views

Lectures on String Theory

Lectures on String Theory

Lectures on String Theory

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

– 121 –<br />

Again we c<strong>on</strong>clude from here that the Hamilt<strong>on</strong>ian H is a time-c<strong>on</strong>served quantity<br />

dH<br />

dt<br />

= {H, H} = 0 .<br />

Thus, the moti<strong>on</strong> of the system takes place <strong>on</strong> the subvariety of phase space defined<br />

by H = E c<strong>on</strong>stant.<br />

In the case under c<strong>on</strong>siderati<strong>on</strong> the matrix J is n<strong>on</strong>-degenerate so that there<br />

exist the inverse<br />

J −1 = −J<br />

which defines a skew-symmetric bilinear form ω <strong>on</strong> phase space<br />

ω(x, y) = (x, J −1 y) .<br />

In the coordinates we c<strong>on</strong>sider it can be written in the form<br />

ω = ∑ j<br />

dp j ∧ dq j .<br />

This form is closed, i.e. dω = 0.<br />

A n<strong>on</strong>-degenerate closed two-form is called symplectic and a manifold endowed<br />

with such a form is called a symplectic manifold. Thus, the phase space we c<strong>on</strong>sider<br />

is the symplectic manifold.<br />

Imagine we make a change of variables y j = f j (x k ). Then<br />

ẏ j = ∂yj<br />

}{{} ∂x k<br />

A j k<br />

ẋ k = A j k J km ∇ x mH = A j km ∂yp<br />

kJ ∂x m ∇y pH<br />

or in the matrix form<br />

ẏ = AJA t · ∇ y H .<br />

The new equati<strong>on</strong>s for y are Hamilt<strong>on</strong>ian if and <strong>on</strong>ly if<br />

AJA t = J<br />

and the new Hamilt<strong>on</strong>ian is ˜H(y) = H(x(y)).<br />

Transformati<strong>on</strong> of the phase space which satisfies the c<strong>on</strong>diti<strong>on</strong><br />

AJA t = J<br />

is called can<strong>on</strong>ical. In case A does not depend <strong>on</strong> x the set of all such matrices form<br />

a Lie group known as the real symplectic group Sp(2n, R) . The term “symplectic

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!