Differentiability in Fréchet spaces and delay differential equations

In infinite-dimensional spaces there are non-equivalent notions of continuous differentiability which can be used to derive the familiar results of calculus up to the Implicit Function Theorem and beyond. For autonomous differential equations with variable delay, not necessarily bounded, the search for a state space in which solutions are unique and differentiable with respect to initial data leads to smoothness hypotheses on the vector functional f in an equation of the general form x 0 (t) = f(xt) ∈ R n , with xt(s) = x(t + s) for s ≤ 0, which have implications (a) on the nature of the delay (which is hidden in f) and (b) on the type of continuous differentiability which is present. We find the appropriate strong kind of continuous differentiability and show that there is a continuous semiflow of continuously differentiable solution operators on a Fréchet manifold, with local invariant manifolds at equilibria