  Coupled-mode systems are used in physical literature to simplify thenonlinear Maxwell and Gross-Pitaevskii equations with a small periodicpotential and to approximate localized solutions called gap solitons byanalytical expressions involving hyperbolic functions. We justify the use ofthe one-dimensional stationary coupled-mode system for a relevant ellipticproblem by employing the method of Lyapunov--Schmidt reductions in Fourierspace. In particular, existence of periodic/anti-periodic and decayingsolutions is proved and the error terms are controlled in suitable norms. Theuse of multi-dimensional stationary coupled-mode systems is justified foranalysis of bifurcations of periodic/anti-periodic solutions in a smallmulti-dimensional periodic potential.
We justify the use of the one-dimensional stationary coupled-mode system for a relevant elliptic problem by employing the method of Lyapunov--Schmidt reductions in Fourier space. In particular, existence of periodic/anti-periodic and decaying solutions is proved and the error terms are controlled in suitable norms.