Interfaces supporting surface gap soliton ground states in the 1D nonlinear Schrödinger equation

We consider the problem of verifying the existence of H1 ground states of the 1D nonlinear Schrödinger equation for an interface of two periodic structures: −u″+V(x)u−λu=Γ(x)|u|p−1uon  R with V(x)=V1(x),Γ(x)=Γ1(x) for x≥0 and V(x)=V2(x),Γ(x)=Γ2(x) for x<0. Here V1,V2,Γ1,Γ2 are periodic, λ1. The article [T. Dohnal, M. Plum, W. Reichel, Surface gap soliton ground states for the nonlinear Schrödinger equation, Comm. Math. Phys. 308 (2011) 511-542] provides for the 1D case an existence criterion in the form of an integral inequality involving the linear potentials V1,V2 and the Bloch waves of the operators −d2dx2+V1,2−λ. We choose here the classes of piecewise constant and piecewise linear potentials V1,2 and check this criterion for a set of parameter values. For the piecewise constant case the Bloch waves are calculated explicitly and for the piecewise linear case verified enclosures of the Bloch waves are computed numerically. The integrals in the criterion are evaluated via interval arithmetic, so rigorous existence statements are produced. Examples of interfaces supporting ground states are reported including ones for which ground state existence follows for all periodic Γ1,2 with ess supΓ1,2>0.