Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 4 / 15B / b / Solution

The defining relations for a type-2 generating function giveHenceThe exact differential changes the action only by an endpoint term. Thus the transformed variational principle has canonical one-form $P\cdot dQ-Kdt$ and yields Hamilton's equations in $(Q,P)$ with