Nonlinear Mechanics - Physics at Oregon State University
Nonlinear Mechanics - Physics at Oregon State University
Nonlinear Mechanics - Physics at Oregon State University
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.