Integrable mappings with transcendental invariants

We examine a family of integrable mappings which possess rational invariants involving polynomials of arbitrarily high degree. Next we extend these mappings to the case where their parameters are functions of the independent variable. The resulting mappings do not preserve any invariant but are solvable by linearisation. Using this result we then proceed to construct the solution of the initial autonomous mappings and use it to explicitly construct the invariant, which turns out to be transcendental in the generic case.