A map from $(q,p)$ to $(Q,P)$ is called an extended canonical transformation if it satisfies $$ \lambda(pdq-H(q,p,t)dt)-(PdQ-K(Q,P,t)dt)=dF $$ Here, to include the change of $t$, let us use $$ \lambda(pdq-H(q,p,t)dt)-(PdQ-K(Q,P,t')dt')=dF $$ instead.
Time reversal map is defined by $$ t'=-t,\quad Q(t')=q(t),\quad P(t')=-p(t) $$ This looks like an example of extended canonical transformation with $\lambda=-1$, $K(Q(t'),P(t'),t')=H(q(t),p(t),t)$, $F=0$. Am I correct?
Also, time translation is defined by $$ t'=t+\epsilon,\quad Q(t')=q(t),\quad P(t')=p(t) $$ This looks like an example of extended canonical transformation with $\lambda=+1$, $K(Q(t'),P(t'),t')=H(q(t),p(t),t)$, $F=0$. When people say time evolution is an example of canonical transformation (i.e., $\lambda=1$), is this what people usually mean?
Finally, can I discuss other transformation involving change of time, such as Lorentz transformation, in the same way?
I couldn't find these kind of transformations discussed in Hamiltonian formalism in textbooks. If anyone knows a good reference, please let me know.