Return to Revisions

$I_\zeta$ is called a homotopy operator because of eq. (1.60). The explicit form to all orders can e.g. be found in P.J. Olver's book Applications of Lie Groups to Differential Equations, 2nd edition, 1993, eq. (5.134).