Hamilton's principal function