Table of Contents Author Guidelines Submit a Manuscript
International Journal of Differential Equations
Volume 2016, Article ID 6930758, 12 pages
Research Article

Error Analysis of an Implicit Spectral Scheme Applied to the Schrödinger-Benjamin-Ono System

Departamento de Matemáticas, Universidad del Valle, Calle 13 Nro. 100-00, Cali, Colombia

Received 30 July 2016; Accepted 10 October 2016

Academic Editor: Wen-Xiu Ma

Copyright © 2016 Juan Carlos Muñoz Grajales. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


We develop error estimates of the semidiscrete and fully discrete formulations of a Fourier-Galerkin numerical scheme to approximate solutions of a coupled nonlinear Schrödinger-Benjamin-Ono system that describes the motion of two fluids with different densities under capillary-gravity waves in a deep water regime. The accuracy of the numerical solver is checked using some exact travelling wave solutions of the system.

1. Introduction

In this paper we shall study numerically the nonlinear one-dimensional system (named as the Schrödinger-Benjamin-Ono system (SBO)):for , with periodic spatial boundary conditions. This system describes the motion of two fluids with different densities under capillary-gravity waves in a deep water regime. In this physical phenomenon the long internal wave is described by a wave equation with a dispersive term represented by a nonlocal Hilbert operator, and the short surface wave is described by a Schrödinger type equation. This nonlinear coupled system was derived by Funakoshi and Oikawa [1] in a regime such that the fluid depth of the lower layer is sufficiently large, in comparison with the wavelength of the internal wave. Here denotes the short wave term and denotes the long wave term. Furthermore, , are positive constants, , and denotes the Hilbert transform defined byThe SBO system also appears in the sonic-Langmuir wave interaction in plasma physics (Karpman [2]), in the capillary-gravity interaction waves (Djordjevic and Redekoop [3], Grimshaw [4]), and in the general theory of water-wave interaction in a nonlinear medium (Benney [5, 6]).

An important property of system (1) due to nonlinearity and dispersive effects is that it possesses the so-called travelling wave solutions in the form with and , being periodic real-valued functions or smooth functions such that, for each , and , as . In this last case, these solutions are called solitary waves. Angulo and Montenegro [7] have proved the existence of even solitary wave solutions using the concentration compactness method (Lions [8, 9]) and the theory of symmetric decreasing rearrangements. The existence and stability of a new set of solitary waves were presented in [10] for system (1) and a coupled Schrödinger-KdV model. On the other hand, when , the nonperiodic initial value problem corresponding to the SBO system has been considered by Bekiranov et al. [11], who proved a well-posedness theory in the Sobolev space , with . When , Pecher [12] showed the local well-posedness for . More recently, Angulo et al. [13] proved the global well-posedness for in the case that . In the periodic setting, there are only a few results known. For instance, assuming that , Angulo et al. [13] showed that system (1) is locally well posed in the Sobolev space for .

In this paper, we shall develop a rigorous analysis of the error of the semidiscrete and fully discrete formulations of a Fourier-Galerkin scheme to approximate solutions of the SBO system (1). The time-stepping method is implemented by using a second-order implicit Crank-Nicholson strategy. The rates of convergence of the semidiscrete and fully discrete schemes are and , respectively, where depends only on the smoothness of the exact solution, is the time step, and is the number of spatial Fourier modes. The strategy to obtain these rates of convergence follows the one used by Muñoz Grajales [14, 15] and Antonopoulos et al. [16, 17] and Pelloni and Dougalis [18] for other dispersive systems. On the other hand, Rashid and Akram [19] studied the error of an implicit spectral scheme for the SBO system but only in the particular case that . Furthermore, Funakoshi and Oikawa [1] computed numerically some approximations to travelling wave solutions of the SBO system. However, an analysis of error of a fully discrete spectral numerical scheme for the complete SBO system has not been performed in previous works to the best of the author’s knowledge. This is one motivation for the present study. We point out that system (1) does not have exact solutions in the general case that . Therefore, a numerical strategy is very important in order to investigate the properties of the solution space, such as existence of periodic and nonperiodic travelling waves, orbital stability under small initial disturbances, and interactions among these solutions.

The accuracy and convergence rate of the Fourier-spectral scheme proposed in this paper are illustrated by using a family of exact solitary wave solutions of system (1) when . In order to apply this scheme in a nonperiodic setting, we approximate the initial value problem for system (1) with , by the corresponding periodic Cauchy problem for , with a large spatial period . This type of approximation can be justified by the decay of the solutions of the unrestricted problem as .

This paper is organized as follows. In Section 2, we introduce notation and functional spaces which will be used in our work. In Section 3, the analytical properties and convergence of the semidiscrete scheme to approximate solutions of the SBO system are investigated. Section 4 deals with the convergence of the fully discrete scheme that we propose for solving the SBO system. Finally in Section 5, to validate the theoretical results, some numerical experiments using a family of analytical and approximate solutions of the SBO system are performed.

2. Preliminaries

We setwith the inner productThe space of all functions of class that are -periodic is denoted by , . Further is the space of all continuous functions of period .

We will denote by the space of all infinitely differentiable functions that are -periodic as well as all their derivatives. We say that defines a periodic distribution, that is, , if is linear and there exists a sequence such thatLet . The Sobolev space, denoted by , is defined aswhere represents the Fourier transform of defined byIn case that , we can rewrite asIt can be shown that, for all , is a Hilbert space with respect to the inner product defined as follows: In particular, when , we get the Hilbert space denoted by . It is important to note that this space is isometrically isomorphic to . Further we recall that Parseval’s identity holds; that is, for or, equivalently,Let be an even integer and consider the finite dimensional space defined byRemember that the family is an orthonormal and complete system in . Let be the orthogonal projection on the space :withThis operator has the following properties (see [20, 21]): For any , Furthermore, given integers , there exists a constant independent of such that, for any ,

In what follows, for a positive integer , denotes the space of -times continuously differentiable maps from onto a Banach space .

3. The Semidiscrete Scheme

Let us consider the SBO systemsubject to the initial conditions , and -periodic complex valued functions in the variable .

The semidiscrete Fourier-Galerkin spectral scheme to solve problem (18) is to find such thatfor any and .

Theorem 1. Let be an integer, and let be the classical solution of problem (18) for some integer . Let be the solution of the semidiscrete formulation (19) defined until some maximal time . Then, for sufficiently large, , can be extended to the whole interval and there exists a constant , independent of , such that for any .

Proof. Let Observe that by the fact that is an orthogonal projection and if then for any , and thusthat is,for any . Therefore, by virtue of (17)Now, by combining the equations satisfied by the pairs , , we arrive atAs a consequence,Letting in (26), we obtain Since ,Note that due to thus andAs a consequence, . Furthermore, since and using integration by parts, we haveTherefore,Now taking imaginary partTo bound the nonlinear terms, let us observe thatand as the space is an algebra for , From hypothesis, , with , and thus there exists a positive constant such thatFurther suppose that is the largest value such thatBecause of the embedding to , for , we obtain from (33) and inequality (34)On the other hand, from (27),Letting , Then, following an analogous procedure as above, we can obtain thatand, taking into account the property of the Hilbert transform operatorwe get thatAgain, to bound the nonlinear terms, let us note thatBut Therefore, from (43) and , we arrive at Letting in (26), we have thatThen we can replace in the previous equation to getTherefore, since and and using integration by parts, it follows thatAs a consequence, (48) implies thatTaking imaginary part of the previous equation and using Cauchy-Schwartz and Hölder inequalities, where . The nonlinear terms in the right-hand side of the last equation can be estimated as in (34), and then, choosing small enough, we obtain the estimateOn the other hand, we can take real part of (50) to achieve Taking into account the previous results, we arrive at Thus, using Gronwall’s lemma,for . Observe that, for any , for large enough and . This fact contradicts the maximality of . Thus the solutions of the semidiscrete formulation can be extended for any , and inequality (55) is satisfied for any . Finally, from (24) the result follows.

4. The Fully Discrete Scheme

The fully discrete Crank-Nicholson scheme to discretize system (18) consists in finding a sequence of elements of , such that, for all , we havefor all and subject to , . Here is a time step chosen together with a positive integer such that . Furthermore we define , .

Theorem 2. Let be an integer, and let be a classical solution of system (18) with integer. Let be the solution of the semidiscrete formulation (19) and let be the solution of the fully discrete scheme (57) such that , for some sufficiently large constant , independent of , , and . If , , then, with the assumption that , there exists a constant independent of and such that if is large enough and sufficiently small, we have that

Proof. For a function , let us introduce the following notation:where . Thus the fully discrete formulation (57) can be rewritten asObserve thatWe also introduce the notation where . Observe that , , for any , and, furthermore,Combining the equations satisfied by , , one can getwhere In order to estimate the quantities , , let us rewrite them as ThereforeFrom this result, we can deduce that . Analogously, As a consequence, we also have that .
On the other hand, to estimate nonlinear terms, let us observe that Now letting in (64), one can get We recall that . Therefore, (71) leads toForm hypothesis, . For this reason, there exists a constant such that , for all . Then, by taking imaginary part of (72), one obtains Thus, we arrive atAs a consequence of this,Then summing up the previous equation for to and taking into account that , it follows thatTherefore,Analogously, letting in (65), one can getWe recall that . Therefore, (78) leads toThen, by taking imaginary part of (79), one obtainsThus, we arrive atAs a consequence of this,Then, summing up the previous equation for to , it follows thatTherefore,In order to estimate the terms , let in (64) to getTaking imaginary part of the resulting equation, one deduces thatTherefore,Letting in (64),and thus, simplifying the equation above and taking real part of the resulting equation, we obtain that