$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, eq. (5.134).
Qmechanic ♦
- 213.1k
- 48
- 590
- 2.3k