27.07.2014 Views

Lectures on String Theory

Lectures on String Theory

Lectures on String Theory

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

– 120 –<br />

In this form the Hamilt<strong>on</strong>ian equati<strong>on</strong>s were written for the first time by Lagrange<br />

in 1808.<br />

Vector x = (x 1 , . . . , x 2n ) defines a state of a system in classical mechanics. The<br />

set of all these vectors form a phase space M = {x} of the system which in the present<br />

case is just the 2n-dimensi<strong>on</strong>al Euclidean space with the metric (x, y) = ∑ 2n<br />

i=1 xi y i .<br />

The matrix J serves to define the so-called Poiss<strong>on</strong> brackets <strong>on</strong> the space F(M)<br />

of differentiable functi<strong>on</strong>s <strong>on</strong> M:<br />

{F, G}(x) = (∇F, J∇G) = J ij ∂ i F ∂ j G =<br />

n∑<br />

j=1<br />

( ∂F<br />

∂p j<br />

∂G<br />

∂q j − ∂F<br />

∂q j ∂G<br />

∂p j<br />

)<br />

.<br />

Problem. Check that the Poiss<strong>on</strong> bracket satisfies the following c<strong>on</strong>diti<strong>on</strong>s<br />

{F, G} = −{G, F } ,<br />

{F, {G, H}} + {G, {H, F }} + {H, {F, G}} = 0<br />

for arbitrary functi<strong>on</strong>s F, G, H.<br />

Thus, the Poiss<strong>on</strong> bracket introduces <strong>on</strong> F(M) the structure of an infinitedimensi<strong>on</strong>al<br />

Lie algebra. The bracket also satisfies the Leibnitz rule<br />

{F, GH} = {F, G}H + G{F, H}<br />

and, therefore, it is completely determined by its values <strong>on</strong> the basis elements x i :<br />

which can be written as follows<br />

{x j , x k } = J jk<br />

{q i , q j } = 0 , {p i , p j } = 0 , {p i , q j } = δ i j .<br />

The Hamilt<strong>on</strong>ian equati<strong>on</strong>s can be now rephrased in the form<br />

ẋ j = {H, x j } ⇔ ẋ = {H, x} = X H .<br />

A Hamilt<strong>on</strong>ian system is characterized by a triple (M, {, }, H): a phase space<br />

M, a Poiss<strong>on</strong> structure {, } and by a Hamilt<strong>on</strong>ian functi<strong>on</strong> H. The vector field X H<br />

is called the Hamilt<strong>on</strong>ian vector field corresp<strong>on</strong>ding to the Hamilt<strong>on</strong>ian H. For any<br />

functi<strong>on</strong> F = F (p, q) <strong>on</strong> phase space, the evoluti<strong>on</strong> equati<strong>on</strong>s take the form<br />

dF<br />

dt = {H, F }

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

Saved successfully!

Ooh no, something went wrong!