バナッハ空間の準線形方程式の周期解を平均化法で求める

The aim of the paper is to provide an extension of the averaging method to the periodic problem for quasilinear differential equations $(\phi(t,u'))' = \varepsilon f(t,u,u',\varepsilon)$, $u(0) = u(T)$, $u'(0) = u'(T)$, where $u$ and $u'$ take values in a Banach space $X$ and $\phi$ is a suitable homeomorphism between a neighborhood of $0$ in $X$ and $X$. The approach follows from a given extension of the averaging method to first order systems of the form $u' = g(t,v)$, $v' = h(t,u,v)$, $u(0) = u(T)$, $v(0) = v(T)$, in a product of Banach spaces, obtained from a direct application of the implicit function theorem in Banach spaces to an equivalent problem. We prove that every nondegenerate zero of the corresponding averaged equation generates, for sufficiently small nonzero values of the parameter, a unique nearby periodic solution. An application is given to an infinite system of coupled forced pendulums with relativistic acceleration.