If for a given parameter value , is the corresponding solution of ( ) for example, the solvability of the problem for t near in a given functional space X would follow from the implicit function theorem once the linearized problem in the new variable v is uniquely solvable. For example, for ( ), the linearized problem is with .