Physics Forums

## Canonical transformation

1. The problem statement, all variables and given/known data

Consider a canonical transformation with generating function

$$F_2 (q,P) = qP + \epsilon G_2 (q,P)$$,

where $$\epsilon$$ is a small parameter.
Write down the explicit form of the transformation. Neglecting terms of order $$\epsilon^2$$ and higher,find a relation between this transformation and Hamilton's equations of motion, by setting $$G_2=H$$ (why is this allowed?) and $$\epsilon = dt$$.

2. The attempt at a solution

I think the transformation equations are

$$\delta p = P - p = -\epsilon \frac{\partial G_2}{\partial q}$$

and

$$\delta q =Q-q=\epsilon \frac{\partial G_2}{\partial q}$$

Quote by vanesch 					 				 				I guess there's a typo here: $$\delta q =Q-q=\epsilon \frac{\partial G_2}{\partial P}$$
but how can I solve the last part? Can I just say that with the use of H and dt the equations can be written as

$$\dot{p}=-\frac{\partial H}{\partial q}$$

and

$$\dot{q}=\frac{\partial H}{\partial P}$$

which are the Hamiltonian equations of motion? And why is this allowed?

Quote by vanesch 					 				 				The idea is that we work in first order in $$\epsilon$$, and that you can hence replace everywhere $$P$$ by $$p$$ as the difference will introduce only second-order errrors.

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:      Gold Member        Science  Advisor     Staff Emeritus  Ooops !      I'm terribly sorry, instead of replying, I erroneously edited your post !

Yes it should be a P, not a q. I get the relations  $$Q = q + \delta q$$  and  $$P = p + \delta p$$  but why is it allowed to use G = H?

Recognitions:
Gold Member
Science Advisor
Staff Emeritus

## Canonical transformation

Quote by Logarythmic 					 				 				Yes it should be a P, not a q. I get the relations  $$Q = q + \delta q$$  and  $$P = p + \delta p$$  but why is it allowed to use G = H?
You have the choice ! Every function G(q,P) (which is smooth enough) will generate a canonical transformation. So you may just as well use H(q,P), and then - that's the whole point - the transformation equations from (q,p) into (Q,P) give you simply the genuine time evolution where epsilon is the small time step. For an arbitrary G that isn't the case of course, you've just transformed your coordinates (q,p) in some other (Q,P). But for G = H, you've transformed the coordinates (q,p) in what they will be, a small moment later !
The reason for that is that your transformation equations you've found for an arbitrary G are what they are, and become the Hamilton equations of motion when you pick G to be equal to H.

Now, strictly speaking we should write H(q,P) instead of H(q,p), but we can replace the P by p here, because they are only a small amount different.

and it also preserve the fundamental poisson brackets....  its just a quick calcolus {Q,P}

Thread Tools

|                                               |                               |         |
|-----------------------------------------------|-------------------------------|---------|
| Similar Threads for: Canonical transformation |                               |         |
| Thread                                        | Forum                         | Replies |
|                                               | Advanced Physics Homework     | 1       |
|                                               | Advanced Physics Homework     | 8       |
|                                               | Advanced Physics Homework     | 2       |
|                                               | Introductory Physics Homework | 1       |
|                                               | General Physics               | 1       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 17, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.905113697052002, "perplexity_flag": "middle"}