04.08.2013 Views

Nonlinear Mechanics - Physics at Oregon State University

Nonlinear Mechanics - Physics at Oregon State University

Nonlinear Mechanics - Physics at Oregon State University

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

2.3. HAMILTON’S PRINCIPLE FUNCTION 23<br />

Hamiltonian could be separ<strong>at</strong>ed with some system of coordin<strong>at</strong>es, but no<br />

completely general criterion is known. 4 As a rule of thumb, Hamiltonians<br />

with explicit time dependence are not separable.<br />

If our Hamiltonian is separable, then when (2.21) is substituted into<br />

(2.20), the result will look like<br />

f1<br />

(<br />

q1, dW1<br />

dq1<br />

)<br />

+ f2<br />

(<br />

q2, dW2<br />

)<br />

+ · · · = α (2.22)<br />

dq2<br />

Each function fk is a function only of qk and dWk/dqk. Since all the q’s<br />

are independent, each function must be separ<strong>at</strong>ely constant. This gives us a<br />

system of n independent, first-order, ordinary differential equ<strong>at</strong>ions for the<br />

Wk’s.<br />

(<br />

fk qk, dWk<br />

)<br />

= αk. (2.23)<br />

dqk<br />

The W ’s so obtained are then substituted into (2.21). The resulting function<br />

for S is<br />

F2 ≡ S = S(q1, . . . , qn; α1, . . . , αn; α, t)<br />

The final constant α is redundant for two reasons: first, ∑ αk = α, and<br />

second, the transform<strong>at</strong>ions equ<strong>at</strong>ions (2.16) and (2.17) involve deriv<strong>at</strong>ives<br />

with respect to qk and Pk. When S is so differenti<strong>at</strong>ed, the −αt piece will<br />

disappear. In order to make this apparent, we will write S as follows:<br />

F2 ≡ S = S(q1, . . . , qn; α1, . . . , αn; t) (2.24)<br />

Since the F2 gener<strong>at</strong>ing functions have the form F2(q, P ), we are entitled to<br />

think of the α’s as “momenta,” i.e. αk in (??) corresponds to Pk in (2.17).<br />

In a way this makes sense. Our goal was to transform the time-dependent<br />

q’s and p’s into a new set of constant Q’s and P ’s, and the α’s are most<br />

certainly constant. On the other hand, they are not the initial momenta p0<br />

th<strong>at</strong> evolve into p(t). The rel<strong>at</strong>ionship between α and p0 will be determined<br />

l<strong>at</strong>er.<br />

If we have dome our job correctly, the Q’s given by (2.17) are also constant.<br />

They are traditionally called β, so<br />

Qk = βk =<br />

∂S(q, α, t)<br />

∂αk<br />

Again, β’s are constant, but they are not equal to q0.<br />

We can turn this into a cookbook algorithm.<br />

(2.25)<br />

4 The is a very technical result, the so-called Staeckel conditions, which gives necessary<br />

and sufficient conditions for separability in orthogonal coordin<strong>at</strong>e systems.

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

Saved successfully!

Ooh no, something went wrong!