In mathematics, the Lyapunov–Schmidt reduction or Lyapunov–Schmidt construction is used to study solutions to nonlinear equations in the case when the implicit function theorem does not work. It permits the reduction of infinite-dimensional equations in Banach spaces to finite-dimensional equations. It is named after Aleksandr Lyapunov and Erhard Schmidt.
