Вот, нашел статью, где этот вопрос рассматривается T.Gramchev, S.Walcher, Normal Forms of Maps: Formal and Algebraic Aspects, Acta Ap- plicandae Mathematicae, 87(2005), 123–146. DOI: 10.1007/s10440-005-1140-2 На странице 139 DEFINITION 6.2 как раз сформулировано достаточное условие вложимости, к которому я пришёл. А первым эти условия получил Lewis, D. C.: On formal power series transformations, Duke Math. J. 5 (1939), 794–805.
Вообще, популярная тема, вместе с теорией нормальных форм.
|