Solution regularity and smooth dependence for abstract equations and applications to hyperbolic PDEs (Q496744)

This paper gives an implicit function theorem for solving abstract equations of the form \(F(\lambda, u)=0\), where \(\lambda\) is a parameter. One makes a number of technical assumptions on partial derivatives of an auxiliary function \(\mathcal{F}(\lambda,s, u)=T(s)F(\lambda,T(-s)u)\), where \((T(s))\) is a strongly continuous group of bounded operators. These partial derivatives may not be strong limits of differential quotients (see \S\ 2.1 for the assumptions). This result is applied to the construction of time-periodic solutions of nonlinear hyperbolic equations of second order, and of systems of first order, in one space dimension, on a finite interval, under a non-resonance condition. The authors stress that, for the problems studied here, the result yields smoothness of the solution with respect to the parameter, under a smoothness assumption of the coefficients with respect to time (among other assumptions).