Let A be an n×n matrix over R all of whose eigenvalues satisfy Reλ<0. Suppose that f∈C1(Rn,Rn) with f(0)=0 and Df(0)=0. Use the Implicit Function Theorem 5.7 to prove that there exists an r>0 such that the integral equation
y(t)=expAty0+∫0texpA(t−s)f(y(s))ds
has a solution y∈Cb0([0,∞),Rn), for all y0∈Rn with ∥y0∥<r. (Compare with Theorem 3.11.)