Jx. Xu et al., A KAM THEOREM OF DEGENERATE INFINITE-DIMENSIONAL HAMILTONIAN-SYSTEMS .2., Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences, 39(4), 1996, pp. 384-394
It not only proves that the parameter set where the small divisor cond
itions hold is nonempty, but also gives the estimate of its measure. S
ince this is a Cantorian set, the derivatives with respect to paramete
r in both papers are in the sense of Whitney. So, some results about t
he derivatives are listed in the sense of Whitney.