Abstract

The existence of nonzero periodic travelling wave solutions for a general discrete nonlinear Schrödinger equation (DNLS) on one-dimensional lattices is proved. The DNLS features a general nonlinear term and variable range of interactions going beyond the usual nearest-neighbour interaction. The problem of the existence of travelling wave solutions is converted into a fixed point problem for an operator on some appropriate function space which is solved by means of Schauder’s Fixed Point Theorem.

1. Introduction

Coherent structures arising in the form of travelling waves, solitons, and breathers in systems of coupled oscillators have attracted considerable interest not least due to the important role they play for applications in physics, biology, and chemistry (for reviews see [13]). In this context a variety of nonlinear lattice systems has been studied including Fermi-Pasta-Ulam systems, discrete nonlinear Klein-Gordon systems, phase oscillator lattices, Josephson junction systems, reaction-diffusion systems, and the discrete nonlinear Schrödinger equation. Some exact results concerning the existence, stability, and uniqueness of coherent structures in the above-mentioned systems have been obtained; see, for example, [427].

In particular with regard to the existence of periodic travelling waves (TWs) in nonlinear lattice systems various methods have been used. For instance, the existence of small amplitude waves in nonlinear discrete Klein-Gordon systems was proved with the usage of spatial dynamics and centre manifold reduction [15, 21]. For the Frenkel-Kontorova model the existence of TWs was shown by means of fixed point methods in [16]. Utilising a modified Lyapunov-Schmidt technique, existence of periodic TWs in Newton’s cradle was proved in [25]. Systems with nonlocal interactions were considered in [19, 24, 28].

In [24] existence and bifurcation results for periodic TWs of a general infinite DNLS system as given in (1) in the next section were derived using variational methods. With the current study we present a (less involved) proof of the existence of periodic TWs for the same system but on finite lattices. To obtain our existence result, some appropriate function space is introduced on which the original problem is formulated as a fixed point problem for a corresponding operator. By exploiting Schauder’s Fixed Point Theorem the existence of periodic TWs is established. The main advantage of considering finite lattices is that for periodic TW solutions the associated conserved norm (power), given in terms of a sum over the squares of the amplitudes at the lattice sites, is of finite value. Hereby the coercivity of the power can be used to define suitable subsets in function space in order to apply Schauder’s Fixed Point Theorem. Nevertheless, imposing periodic boundary conditions an infinite lattice is constructed. The presented method can readily be applied to prove the existence of periodic TWs not only in general DNLS systems of higher dimensions but also in various other nonlinear lattice systems.

2. General DNLS Systems

In the current study we are interested in the existence of periodic TW solutions of the following general discrete nonlinear Schrödinger equation on finite one-dimensional lattices:with .

The solutions satisfy periodicity conditions:for ; namely, we consider the DNLS on rings. Moreover, by means of the periodic boundary conditions an infinite one-dimensional lattice can be obtained. Each unit interacts with its neighbouring oscillators to the left and right, respectively. determines the interaction radius, which ranges from nearest-neighbour interaction obtained for to global coupling when and is odd.

Assume the following condition on holds.

   for ,  . There are constants ,   such thatfor any .

The standard DNLS, arising for and ,   in (1), is known to support periodic travelling wave solutions (see, e.g., [29]). As mentioned above the existence of periodic TWs in system (1) on the lattice was given in [24] using variational methods. Here we present a proof of the existence of periodic travelling wave solutions of (1) on finite lattices. Nevertheless, by imposing periodic boundary conditions an infinite lattice is constructed. For the existence statement we introduce some appropriate function space on which the original problem is converted into a fixed point problem for a corresponding operator. By means of Schauder’s Fixed Point Theorem the existence of periodic TWs is established.

System (1) possesses two conserved quantities: the energyand the power

We consider travelling wave solutions of the form with a -periodic function ,  , where and are the wave parameters.

In order for a travelling wave solution to satisfy the periodicity conditions in (2) we adopt the lattice size accordingly. This means that for a given wavenumber with rational and two relatively prime integers ,  , the number of sites of the lattice, , is supposed to be an appropriate multiple of the minimal spatial period of the associated periodic travelling wave, determined by , so that the periodicity conditions in (2) are fulfilled.

3. Statement of the Existence Problem

Regarding the existence of periodic travelling wave solutions we state the following.

Theorem 1. Let hold. Then for any rational number there exists nonzero periodic travelling wave solution of (1) with , such that provided thatwhereand determines the range of the function given by

In the following we reformulate the original problem as a fixed point problem in a Banach space in a similar vein to the approach in [16].

4. Proof of the Existence Theorem

To prove the assertions of the theorem we utilise Schauder’s Fixed Point Theorem (see, e.g., in [30]): let be a closed convex subset of a Banach space . Suppose is continuous mapping such that is a relatively compact subset of . Then has a fixed point.

Proof. Travelling wave solutions satisfy the advance-delay equationwhere and , so that according to the Bloch-Floquet Theorem a solution must be of the formwhere andSubstituting (14) into (13) one obtainswithThus, the task amounts to finding -periodic functions satisfying (16).
For the forthcoming discussion (16) is suitably rearranged as follows:Note that terms nonlinear in feature only on the r.h.s. of (18).
Let be fixed. We identify with . Denote by the real Banach spaces where is the Banach space of -periodic and functions equipped with norms given by respectively. is compactly embedded in ().
We decompose functions in a Fourier seriesRelated to the l.h.s. of (18) we consider the linear mapping: :We demonstrate that this mapping is invertible and get an upper bound for the norm of its inverse.
Applying the operator to the Fourier elements in (21) results in whereBy the assumption (8) one has ,  , so that the mapping possesses an inverse obeying . For the bounded linear operator one derives:where is given in (11).
For periodic travelling wave solutions one derives, using (3), (5), (8), and (16), the boundsWe consider then the closed and convex subsets of and determined by respectively. is compactly embedded in ().
Furthermore associated with the r.h.s. of (18) we introduce the nonlinear operator , asClearly, the operator is uniformly continuous on . The range is contained in a bounded ball in , sinceFinally, we express problem (18) as a fixed point equation in terms of a mapping :We get verifying that indeed Hence maps bounded subsets of into relatively compact subsets of .
It remains to prove that is continuous on . As is uniformly continuous on , one has and that for a fixed arbitrary there exists such that if . Hence, for arbitrary , we have verifying that is continuous on . Schauder’s Fixed Point Theorem implies then that the fixed point equation has at least one solution.
Furthermore, the spectrum of linear plane wave solutions (phonons) arising for zero nonlinear term, determined by the r.h.s. of system (18), forms a continuous band with values in the interval . However, since by hypothesis (8) the values of the frequency of oscillations lie outside the range of the linear (phonon) band, the corresponding orbits are anharmonic. This necessitates amplitude-depending tuning of the frequency so that the latter comes to lie outside of the phonon spectrum. Thus it must hold that which is fulfilled only if . That is, the fixed point equation (30) possesses only nonzero solutions and the proof is finished.

5. Summary

To summarise, we have proven the existence of nonzero periodic travelling wave solutions for a general DNLS (including as a special case the standard DNLS) on finite one-dimensional lattices. To this end the existence problem has been reformulated as a fixed point problem for an operator on a function space which is solved with the help of Schauder’s Fixed Point Theorem. Our method can be straightforwardly extended not only to treating the general DNLS on lattices of higher dimension but also to other types of nonlinear lattice systems such as nonlinear discrete Klein-Gordon systems.

Conflicts of Interest

The author declares that there are no conflicts of interest.