I need to finish this post and other posts in my weblog, but due to my laziness and other works in real life, it’s hard to update the contents. If you have any question, please contact me below e-mail address. But, I’ll try to update this subject and differential equations with symmetry in near future. There are lots of funs with this subject.
yoones1@gmail.com
last modified : 28th Oct. 2010
——————————
This article is based on a report entitled “A Pedestrian’s Guide to Lie Transforms: A New Approach to Perturbation Theory in Classical Mechanics” by Robert G. Littlejohn (1978). Before rushing into Lie transform, understanding the method of average and Poincare’-Von Zeipel perturbation(PV) method would be helpful to understand advantage of Lie trasnform. I’m planning to update this article with more details.
————————KEY



ES) How can we express old variables purely in terms of new variables?
Up to
,


ES) Note that
on the account of near-identity transformation up to
. What if we need to get higher order? We would face difficulties with disentangling mixed variables.
page 5.20 “In the Lie method, canonical transformations are generated without mixing old and new variables, therby completely bypassing the disentangling process.”
——————————
page 5.13
“it is necessary to “disentangle” (5.27) to express old variables purely as a function of new variables.”
ES) Due to the generating function with mixed variables, the disentangling is inevitable in PV method. To the first order, it can be achieved easily since near-identity canonincal transformation is used.
page 5.15
“In (5.38) it is necessary to assume that the denominator does not vanish, which is equivalent to assuming that ther are no “first-order resonances” among the unperturbed oscillators.”
ES) What if first-order resononces exist among the unperturbed oscillators? What can we do?
page. 5.19
“The essence of the perturbation method of Poincare’ and Von Zeipel is the use of near-identity canoncical transformations, generated by mixed variable generating functions, to eliminate the dependence of a Hamiltonian on one or more variables or classes of terms. ……….. in the case of time-dependent systems, it is possible to choose the transformation so that the new Hamiltonian K is independent of time. Or, with systems with some fast variables and some slow variables, it may be desirable to choose the transformatin so that the dependence on the fast generalized coordinates is eliminated.”
page 6.19
“A much more elegant derivation has been summarized by Cary, who centers his arguments around a certain differential equation in operator space. Cary’s formulas, including a Lie generator equivalent of the Hamilton-Jacobi equation, are expressed in closed form, i.e. not as a power seires in
.”