Lectures on String Theory
Lectures on String Theory
Lectures on String Theory
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