1: \documentclass[12pt,a4paper]{article}
2: \usepackage{amsmath}
3: \usepackage{amsthm}
4: \usepackage{theorem}
5: \usepackage{makeidx}
6: \usepackage{amstext}
7: \usepackage[cp1251]{inputenc}
8: \textwidth=190mm \textheight=250mm \voffset=-20mm \hoffset=-25mm
9: \usepackage{epsfig}
10: \begin{document}
11: \title{On numerical integration of coupled Korteweg-de
12: Vries System}
13: \author{A.A. Halim $^{1}$, S.P. Kshevetskii $^{2}$, S.B. Leble$^{3}$ \\
14: $^{1,3}$ Technical University of Gdansk, \\
15: ul. G. Narutowicza 11/12, 80-952 Gdansk, Poland. \\
16: $^{2}$ Kaliningrad state University, Kaliningrad, Russia\\
17: $^{3}$leble@mif.pg.gda.pl}
18: \maketitle
19: \begin{abstract}
20: We introduce a numerical method for general coupled Korteweg-de
21: Vries systems. The scheme is valid for solving Cauchy problems for
22: arbitrary number of equations with arbitrary constant
23: coefficients. The numerical scheme takes its legality by proving
24: its stability and convergence which gives the conditions and the
25: appropriate choice of the grid sizes. The method is applied to
26: Hirota-Satsuma (HS) system and compared with its known explicit
27: solution investigating the influence of initial conditions and
28: grid sizes on accuracy. We also illustrate the method to show the
29: effects of constants with a transition to non-integrable cases.
30: \end{abstract}
31:
32: \section{Introduction}
33: Coupled Korteweg-de Vries system equations form a class of
34: important nonlinear evolution systems. Its importance comes
35: (physically) from the wide application field it covers and
36: (mathematically) from including both (weak) nonlinearity and third
37: order derivatives (weak dispersion). It describes the interactions
38: of long waves with different dispersion relations. Namely it is
39: connected with most types of long waves with weak dispersion
40: ($\omega(k)\rightarrow0,(k)\rightarrow0$), e.g. internal,
41: acoustic and planetary waves in geophysical hydrodynamics.\\
42:
43: It was introduced by A.Maxworthy, L.Redekopp and P.Weldman
44: \cite{Max} in studying the nonlinear atmosphere Rossby waves.
45: R.Hirota and J.Satsuma \cite{Hir} give single- and two-soliton
46: solutions to some version of the system. R.Dodd and A.Fordy
47: \cite{Dod} found an L-A pair for Hirota-Satsuma equations.
48: S.B.Leble derived the cKdV system for different hydrodynamical
49: systems with explicit expressions for the nonlinear and dispersion
50: constants \cite{Leb}. He also developed the approach to the cKdV
51: integration. S.B.Leble, S.P.Kshevetskii \cite{Leb,Ksh} used the
52: system in investigation of nonlinear internal gravity waves. A.
53: Perelemova \cite{Per} used it in description of interaction of
54: acoustic waves with opposite directions of propagation
55: in liquids with bubbles.\\
56:
57: Others deal with integrability of the system (Dodd R. and Fordy A.
58: \cite{Dod}) from a Lax pair point of view, S.B.Leble \cite{Leb2}
59: in Walquist-Estabrook theory. Foursov MV \cite{Four} described a
60: new method for constructing integrable system of differential
61: equations that reduced to cKdV equations. Oevel W. \cite{Oev}
62: considers integrable system of cKdV and found an infinite
63: hierarchy of commuting symmetries and conservation laws in
64: involution. Zharkov A Yu. \cite{Zhar} obtained a new class of
65: integrable KdV-like systems. Metin Gurses, Atalay Karasu
66: \cite{Gur} found infinitely many coupled system of KdV type
67: equations which are integrable. They also give recursion
68: operators. In studying the Painleve test classification of the
69: system, Ayse (Kalkanli) Karasu \cite{Ays} found new KdV systems
70: that are completely integrable in the sense of WTC paper. He was
71: looking for the integrable subclass of KdV systems given by
72: Svinolupov \cite{Svi}. The later has introduced a class of
73: integrable multicomponent KdV equations associated with Jordan
74: algebras. John Weiss \cite{Weis2} derived the associated
75: "modified" equations for HS system and from these the Lax pair is
76: also derived. B.A.Kupershmidt \cite{Kup} showed that a dispersive
77: system describing a vector multiplet interacting with the KdV
78: field is a member of a bi-Hamiltonian integrable hierarchy.\\
79:
80: The significant achievement in numerical solution of the single
81: KdV equation starts from the famous paper of Norman Zabusky and
82: Martin Kruskal \cite{Z}. It develops the idea of soliton solutions
83: set for the integrable equations and enlighten the problems of
84: effective integration scheme elaborating. The paper launched the
85: numerous investigations and inventions in this field. Perhaps, the
86: last publication that develop applications of recent theoretical
87: achievements in numerical integration schemes is based on the
88: notion of isospectral deformations \cite{Cel}. Recently a
89: multisymplectic twelve points scheme was produced \cite{Ping}.
90: This scheme is equivalent to the multisymplectic Preissmann scheme
91: and is applied to solitary waves over long time interval.
92:
93: Shaohong Zhu \cite{Shao} had produced a difference scheme for the
94: periodic initial-boundary problem of the Coupled KdV (Hirota-
95: Satsuma case) system. He use the inner product of the discrete
96: function to obtain a scheme keeping two conserved quantities. His
97: scheme is a nonlinear algebraic system for which a catch-ran
98: iterative method is designed to solve it.
99:
100: The coupled KdV system representing most possible physical
101: application ( related to the weak nonlinear dispersion ) to be
102: considered in this work takes the following general form
103:
104: \begin{equation}
105: \left( \theta _{n}\right) _{t}+c_{n}\left( \theta _{n}\right)
106: _{x}+\sum\limits_{k,m}g_{mkn}\,\theta _{k}\left( \theta
107: _{m}\right) _{x}+d_{n}\left( \theta _{n}\right)
108: _{xxx}=0\ , \,\,\,\ n,m,k=1,2,3,...,N , \\
109: \end{equation}
110: where $\theta _{n}$ (x, t) is the amplitude of the wave mode as a
111: function of space x and time t respectively. The constants $c_{n}$
112: are the linear velocities and \thinspace $ g_{mkn},\,e_{n}$ are
113: the nonlinear and dispersion coefficients.\\
114:
115: In the present work we introduce a numerical tool for solving
116: coupled KdV system which is a development of the two step three
117: time levels as Lax-Wendroff scheme \cite{Ksh,Tan}. Proving the
118: theorem about stability and convergence of the scheme gives the
119: opportunity to use it for different applications like Cauchy
120: problems for arbitrary number of equations and a wide class of
121: initial conditions $\theta _{n}$ (x, 0). We consider in our
122: problem an infinite domain while the initial condition goes
123: quickly enough to zero following the relation
124: \begin{equation*}
125: \int(1+|x|)|\theta(x,0)|dx=0<\infty
126: \end{equation*}
127: keeping in mind the choice of smooth and integrable function. As
128: an important corollary of the theorem one obtains conditions that
129: have to be taken in account in choosing grid sizes. This numerical
130: method is checked by applying it to HS system for which a good
131: number of explicit solutions exist \cite{Leb3}. We examine also
132: the effects of equations coefficients and conditions of the
133: problem on the solution.
134:
135: In the section 2 we introduce the difference scheme for arbitrary
136: number of coupled KdV equations. We investigate stability and
137: prove the convergence giving the condition have to be taken in
138: account in choosing the grid sizes and how they are related. In
139: section 3 we analyze HS system with two-parameters one-soliton
140: explicit solution. The numerical method is applied to HS system
141: and compared with the explicit solution. We analyzed the effects
142: of the two parameters and initial condition on the form of the
143: resulting solitons as will as on accuracy and show the results by
144: figures. We also produced (numerically) a multi-soliton solution
145: for HS system and used the conservation law to estimate the
146: expected number of solitons which agreed that we already obtained.
147: Proving stability and convergence besides testing the results for
148: HS system allows us in section 4 to use scheme for general cKdV
149: system. Hence we illustrate by plots the results of applying the
150: scheme to slightly nonintegrable cKdV systems and other for a
151: system with non-smooth initial conditions.
152:
153:
154: \section{The numerical method}
155: \subsection{The difference scheme}
156: For the cKdV system (1) we introduce a numerical (
157: finite-difference ) method of solution. A scheme which is two
158: steps three time levels similar to the Lax-Wendroff one
159: \cite{Ksh,Tan}. The usual Lax-Wendroff is modified such that the
160: order of the first derivative becomes of order $O(\triangle
161: x^{4})$. The approximation of the nonlinear terms is changed in
162: such a manner that the integral of $\theta ^{2}$ be a conserved
163: one. The approach gives a solution that can be considered as some
164: generalized solution, in the sense of Shwartz distribution theory,
165: where the dispersion constants vanishes. This scheme is suitable
166: to a nonlinear equations and is valid for n equations with
167: arbitrary coefficients. The scheme can be simply derived beginning
168: from Taylor series expansion as
169: \begin{equation}
170: \left( \theta _{n} \right) _{i}^{j+1} =\left( \theta _{n}
171: \right)_{i}^{j} + \Delta t\,\left(\left( \theta _{n}
172: \right)_{t}\right)^{j}_{i} +O\lbrack (\Delta t)^{2} ].
173: \end{equation}
174: where i and j are used to locate a point in the discrete domain
175: and $\Delta t$ is the time step while the subscript t means
176: time derivative. Substituting for $%
177: \left( \theta _{n} \right)_{t} $ in (2) using the
178: system (1) to obtain
179: \begin{equation}
180: \left( \theta _{n} \right) _{i}^{j+1} =\left( \theta _{n} \right)
181: _{i}^{j} - \Delta t \left( c_{n} \left( \theta _{n} \right) _{x} +
182: \sum\limits_{k,m}g_{mkn} \theta _{k} \,\left( \theta _{m} \right)
183: _{x} + d_{n} \left( \theta _{n} \right) _{xxx} \right)^{j}_{i}
184: +O\,\,\left[ \left( \Delta \,t\right) ^{2} \right].
185: \end{equation}
186: The difference scheme is elaborated applying Lax idea for a half
187: time step and leap frog method to the remaining half time step. In
188: both steps $\left( \theta _{n} \right) _{x} and\,\left( \theta
189: _{n} \right) _{xxx} $ are replaced by forth order $O\left( \Delta
190: x^{4}\right)$ and second order accurate $O\left( \Delta
191: x^{2}\right)$ central difference expressions. Hence (3) gives the
192: following difference scheme
193: \begin{multline}
194: \left(\left( \theta _{n} \right) _{i}^{j+\frac{1}{2} } -\left(
195: \theta _{n} \right) _{i}^{j} \right)/{\frac{\tau }{2} }
196: +c_{n}\left({\left( \theta _{n} \right) _{i+1}^{j} -\left( \theta
197: _{n} \right) _{i-1}^{j} }\right)/{2h}+ \sum\limits_{k,m}g_{mkn}
198: \left( \theta _{k} \right) _{i}^{j} \left({\left( \theta _{m}
199: \right) _{i+1}^{j} -\left( \theta _{m} \right) _{i-1}^{j}
200: }\right)/{2h} \tag{4.1}
201: \\
202: +e_{n} \left({\left( \theta _{n} \right) _{i+2}^{j} -2\left(
203: \theta _{n} \right) _{i+1}^{j} +2\left( \theta _{n} \right)
204: _{i-1}^{j} -\left( \theta _{n} \right) _{i-2}^{j} }\right)/{ 2
205: h^{3} } =0 , e_{n}=\left(d_{n} -{c_{n}h^{2}}/{6}\right) \notag,
206: \end{multline}
207: where n, m, k are the modes numbers; i and j are discrete space
208: and time respectively. The time step $\Delta t$ is replaced for
209: simplicity by t while h denotes spatial step. The equation (4.1)
210: is accompanied with discrete equation for the intermediate layer
211: as:\\
212: \begin{multline}
213: \left({\left( \theta _{n} \right) _{i}^{j+1} -\left( \theta _{n}
214: \right)_{i}^{j} }\right)/{\tau }
215: +c_{n} \left({\left( \theta _{n} \right) _{i+1}^{j+\frac{1}{%
216: 2} } -\left( \theta _{n} \right) _{i-1}^{j+\frac{1}{2} }
217: }\right)/{2h} +\sum\limits_{k,m}g_{mkn} \left( \theta _{k} \right)
218: _{i}^{j+\frac{1}{2} } \left({\left( \theta _{m} \right)
219: _{i+1}^{j+\frac{1}{2} } -\left( \theta _{m} \right)
220: _{i-1}^{j+\frac{1}{2} } }\right)/{2h} \tag{4.2}
221: \\
222: +e_{n} \left({\left( \theta _{n} \right) _{i+2}^{j+\frac{1}{2} }
223: -2\left( \theta _{n} \right) _{i+1}^{j+\frac{1}{2} } +2\left(
224: \theta _{n} \right) _{i-1}^{j+\frac{1}{2} } -\left( \theta _{n}
225: \right) _{i-2}^{j+\frac{1}{2} } }\right)/{ 2 h^{3} } =0 \notag
226: \end{multline}
227:
228:
229: \subsection{Stability and convergence analysis}
230:
231: For simplicity of the analysis we start by considering one
232: equation of the system and give the details of stability and
233: convergence. Then we apply the idea to the general cKdV system
234: because it is rather close to that for one KdV equation but
235: more bulky.
236:
237: \subsubsection{Stability analysis for KdV scheme}
238:
239: Consider one KdV equation of the system (1)
240: \begin{equation}
241: \theta _{t}^{} +c_{} \theta _{x}^{} +g_{} \,\theta ^{} \theta
242: _{x}^{} +d_{} \theta _{xxx}^{} =0 \tag{5}
243: \end{equation}
244: Note again that the investigation we perform can be generalized
245: for the case of any finite number of modes.
246: Considering the numerical scheme applied for the equation (5)\\
247: \begin{equation}
248: (\theta _{i}^{j+1}-\theta _{i}^{j})/\tau +c(\theta
249: _{i+1}^{j}-\theta _{i-1}^{j})/2h+g\theta _{i}^{j}(\theta
250: _{i+1}^{j}-\theta _{i-1}^{j})/{2h}+e(\theta _{i+2}^{j}-2\theta
251: _{i+1}^{j}+2\theta _{i-1}^{j}-\theta _{i-2}^{j})/ 2 h^{3}=0
252: \tag{6}
253: \end{equation}
254:
255: Let us select a suitable norm. For this multiply equation
256: equation (5)
257: by $\theta$ and integrate to yield\\
258: \begin{equation*}
259: \frac{1}{2} \frac{d}{ dt} \int\nolimits_{-\infty }^{\infty }\theta
260: ^{2} dx =0 \,\,\,\,\ or \,\,\,\,\,\int\nolimits_{-\infty }^{\infty
261: }\theta ^{2} dx = const,
262: \end{equation*}
263: hence, by definition of $L_{2} $ norm,$\left( \left\| \theta
264: \right\| _{2} \right)^{2}=\int\nolimits_{-\infty }^{\infty }\theta
265: ^{2} dx $ ,it may be written as \,\,\,\,\,\,\,\,\ $\left(
266: \left\| \theta \right\| _{2} \right) ^{2} =\,\,$ const., i.e. the
267: norm $\left\| \theta \right\| _{2} $ is
268: conserved and the equation can be treated in the $L_{2} $ norm.\\
269:
270: Now we will prove stability with respect to small perturbations (
271: because we consider nonlinear equations ) of initial conditions.
272: Strictly speaking it is the boundness of the discrete solution in
273: terms of small perturbation of the initial data. So let us
274: consider the
275: differential\\
276: \begin{equation}
277: d\theta _{i}^{j+1} =\sum\limits_{r} ({\partial \,\theta _{i}^{j+1}
278: }/{\partial \,\theta _{r}^{j} }) d\theta _{r}^{j} \,\ ,\,\,\,
279: \,\,\, r=...,i-1,i,i+1,...\tag{7}
280: \end{equation}
281: for equation (5) denoting
282: $\,\,T_{i,r}^{j+1} =\left\{ {\partial
283: \,\theta _{i}^{j+1} }/{\partial \,\theta _{r}^{j} } \right\}
284: \,\,\,\,\, ,\,\,\,\,\,\,d\theta _{r}^{j} =\left\{
285: \begin{array}{l}
286: d\theta _{i-2}^{j} \\
287: d\theta _{i-1}^{j} \\
288: d\theta _{i}^{j} \\
289: d\theta _{i+1}^{j} \\
290: d\theta _{i+2}^{j}
291: \end{array}
292: \right\} $ and use $\left\| d\theta ^{j}\right\| =\left(
293: \sum\limits_{r}\left( d\theta _{r}^{j}\right) ^{2}\,\, h \right) ^{\frac{1}{2}}$%
294: .\\
295: Rewrite also the relation (7) in the matrix form\\
296: \begin{equation*}
297: d{\theta}_{i}^{j+1} =T^{j+1}_{i,r} d{\theta}^{j}_{r} =T^{j+1}T^{j}
298: d{\theta}^{j-1} =\prod\limits_{r}T^{r} d{\theta}^{0},
299: \end{equation*}
300: where $d{\theta}^{0}$ is a small perturbation of
301: initial data and the subscripts are omitted for simplicity.\\
302:
303: Stability requires the boundedness of the product \,\,\,\
304: $\prod\limits_{r}T^{r} $ \,\,\ in a sense that the norm $\left\|
305: \prod\limits_{r}T^{r}\right\| $ is bounded by some constant, i.e.
306: $\left\| \prod\limits_{r}T^{r}\right\| \leq C$. Here $C$ is a
307: constant, and the matrix norm is a spectral norm. For this the
308: sufficient condition is
309: \ $\left\| T^{r}\right\| <e^{a\tau }$ where $a$ is a constant, that
310: is independent of $\tau $.
311: The case $\left\|T^{r}\right\|<e^{a(t,h)\ast \tau }$ is a sufficient
312: condition of stability also, but only if $\left| a(\tau
313: ,h)\right| \leq const<\infty $. If $\left| a(\tau ,h)\right|
314: <const$, including $\tau $, $h\rightarrow 0$, for some dependence
315: $\tau =f(h)$, then we can say about conditional stability. Namely
316: this kind of stability will be climbed below.\\
317:
318: To calculate $T^{r}$, rewrite the scheme (6) in the form
319: \,\,\,\,\,\,\ $\theta _{i}^{j+1}=\theta _{i}^{j+1}(\theta
320: _{i+2}^{j},\theta _{i+1}^{j},\theta _{i}^{j},\theta
321: _{i-1}^{j},\theta _{i-2}^{j}).$
322: \,\,\,\,\\
323: So
324: \begin{multline}
325: \left(T ^{j+1}\right)_{ir} =\delta _{i,r} -({c \tau }/{2h})
326: \left[ \delta _{i+1,r} -\delta _{i-1,r} \right] -({g\tau
327: }/{2h})\left[ \theta _{i}^{j} \left(\delta _{i+1,r} -\delta
328: _{i-1,r} \right) +\delta _{i,r} \left( \theta _{i+1}^{j} -\theta
329: _{i-1}^{j}\right)\right] \tag{8}
330: \\
331: -(e\tau /{2h^{3} }) \left[ \delta _{i+2,r} -2\delta _{i+1,r}
332: +2\delta _{i-1,r} -\delta _{i-2,r} \right]. \notag
333: \end{multline}
334: Rewriting (8) in terms of the
335: identity (E), symmetric (S) and anti-symmetric (A) matrices\\
336: $T^{j+1}=C+S^{j+1}+A^{j+1}$
337: \begin{equation*}
338: \left\{S^{j+1}\right\}_{i,r}=-\frac{g\tau }{4h}\left(\left(\theta
339: _{i}^{j}-\theta _{i+1}^{j}\,\right) \delta _{i+1,r}-\left( \theta
340: _{i}^{j}-\theta _{i-1}^{j}\right) \delta _{i-1,r}+2\delta
341: _{i,r}\left[ \theta _{i+1}^{j}-\theta _{i-1}^{j}\right] \right)
342: \end{equation*}
343: \begin{eqnarray*}
344: \left\{ A^{j+1}\right\} _{i,r} &=&-\frac{c\tau }{2h}\left[ \delta
345: _{i+1,r}-\delta _{i-1,r}\right] -\frac{g\tau }{4h}\,\left( \left(
346: \theta _{i}^{j}+\theta _{i+1}^{j}\right) \,\delta _{i+1,r}-\left(
347: \theta_{i}^{j}+\theta _{i-1}^{j}\right) \,\delta _{i-1,r}\right) \\
348: &&-\frac{e\tau }{2h^{3}}\left[ \delta _{i+2,r}-2\delta
349: _{i+1,r}+2\delta _{i-1,r}-\delta _{i-2,r}\right]
350: \end{eqnarray*}
351: \begin{equation*}
352: \left\| S^{j+1}\right\| \leq \left| g\right| \tau
353: \,\max_{i}(\left| \theta _{x,i}^{j}\right|,\left| \theta\grave{~}
354: _{x,i}^{j}\right|) \qquad ,\theta _{x,i}^{j}=\left[ \theta
355: _{i+1}^{j}-\theta _{i}^{j}\right]/(h)\,\ and \,\ \theta\grave{~}
356: _{x,i}^{j}=\left[ \theta_{i+1}^{j}-\theta _{i-1}^{j}\right]/(2h)
357: \end{equation*}\\
358: one arrive at
359: \begin{equation*}
360: \left\| A^{j+1}\right\| \leq \frac{\left| g\right| \tau
361: }{h}\,\max_{i}\left| \theta _{i}^{j}\right| +\frac{\left| c\right|
362: \tau }{h}\,\,\,+ \frac{3\left| e\right|\tau }{h^{3}}.
363: \end{equation*}
364:
365: \begin{eqnarray*}
366: \left\| T^{j+1}\right\|^{2}&=&\left\| \left( T^{j+1}\right)^{\ast
367: }T^{j+1}\right\| =\left\| \left( E-A^{j+1}+S^{j+1}\right) \left(
368: E+A^{j+1}+S^{j+1}\right) \right\| \\
369: &\leq& 1+2\left\| S^{j+1}\right\| +\left( \left\| A^{j+1}\right\|
370: +\left\|S^{j+1}\right\| \right) ^{2} \\
371: &\leq& 1+2\left| g\right| \tau \,\max_{i}\left| \theta
372: _{x,i}^{j}\right|+ \tau ^{2}\left( 2\left| g\right|
373: \,\max_{i}\left| \theta _{x,i}^{j}\right| +\frac{\left| g\right|
374: }{h}\,\max_{i}\left| \theta _{i}^{j}\right| +\frac{\left| c\right|
375: }{h}\,\,\,+\frac{3\left| e\right| }{h^{3}}\right) ^{2} \\
376: &\leq& \,\,\,\,e^{a\tau }\,\,\,\,\,where\,\,a=2\left| g\right|
377: \,\max \left| \theta _{x,i}^{j}\right| +\tau \left( 2\left|
378: g\right| \,\max_{i}\left| \theta _{x,i}^{j}\right| +\frac{\left|
379: g\right| }{h} \,\max_{i}\left| \theta _{i}^{j}\right|
380: +\frac{\left| c\right| }{h}\,\,\,+ \frac{3\left| e\right|
381: }{h^{3}}\right) ^{2}\\
382: \end{eqnarray*}
383: which is a necessary condition of stability. The scheme is stable
384: if $a\leq constant\leq \infty $ in spite of $\tau ,$ $h\rightarrow
385: 0.$ This is a conditional stability of the scheme. It means that
386: it is required for stability that $\tau \rightarrow 0$ more
387: faster than $h\rightarrow 0$,\,\ or
388:
389: \begin{equation}
390: \tau \leq (constant). \,\,\ h^{6} , \,\,\,\ constant<\infty
391: \tag{9}
392: \end{equation}
393:
394: Therefore, for small enough $\tau $ we can simplify the
395: expression for a
396:
397: \begin{equation*}
398: a=2\left| g\right| \,\max \left| \theta _{x,i}^{j}\right| +\tau
399: \left( \frac{3e}{h^{3}}\right) ^{2}
400: \end{equation*}
401: In practical calculations the time step $\tau $ should be chosen
402: so that it would satisfy\,\ $\tau \left( \frac{3e}{h^{3}}\right)
403: ^{2}\ast t_{0}=O(1)$, where $t_{0}$ is the time of simulation
404: ($0\leq t\leq t_{0}$). In future, when we shall be suggesting some
405: better numerical scheme, we will essentially use our observation
406: that stability depends only on the dispersion terms. And now we
407: will try to accomplish our short investigation of the scheme (6)
408: by strong proving of the numerical scheme convergence.
409:
410: \subsubsection{ The proof of the KdV scheme convergence}
411:
412: Now we prove that a solution of equation (6) converges to a
413: solution of (5), if the exact solution is a
414: continuously-differentiable one. Let us denote by $\theta (x,t)$ a
415: solution of the equation (5). We substitute $\theta _{i}^{j}=$
416: $\theta (x_{i},t_{j})+v_{i}^{j}$ into (6), \ $v_{i}^{j}$ is a
417: error between the difference solution $\theta _{i}^{j}$ and the
418: exact solution $\theta (x_{i},t_{j})$. We obtain the equation for
419: $v_{i}^{j}$
420: \begin{multline}
421: \left(v_{i}^{j+1}-v_{i}^{j}\right)/\tau+c
422: \left(v_{i+1}^{j}-v_{i-1}^{j}\right)/2h +g
423: \theta(x_{i},t_{j})\left(v_{i+1}^{j}-v_{i-1}^{j}\right)/2h +g
424: v_{i}^{j}\left( \theta (x_{i+1},t_{j})-\theta
425: (x_{i-1},t_{j})\right)/2h\\
426: +g v_{i}^{j}\left(v_{i+1}^{j}-v_{i-1}^{j}\right)/2h
427: +e\left(v_{i+2}^{j}-
428: 2 v_{i+1}^{j}+ 2 v_{i-1}^{j}- v_{i-2}^{j}\right)/ 2 h^{3}= \\
429: -\left(\left(\theta(x_{i},t_{j+1})-\theta(x_{i},t_{j})\right)/\tau+c\left(
430: \theta (x_{i+1},t_{j})-\theta (x_{i-1},t_{j})\right)/2h+ g
431: \theta(x_{i},t_{j})\left(\theta (x_{i+1},t_{j})- \theta
432: (x_{i-1},t_{j})\right)/2h\right.\\
433: \left. +e \left(\theta (x_{i+2},t_{j})-2\theta
434: (x_{i+1},t_{j})+2\theta (x_{i-1},t_{j})-\theta (x_{i-2},t_{j})
435: \right)/ 2 h^{3} \right) \notag
436: \end{multline}
437: Let us take into account that
438: \begin{multline*}
439: v_{i}^{j}-\tau \left( c(v_{i+1}^{j}-v_{i-1}^{j})/2h+g\theta
440: (x_{i},t_{j})(v_{i+1}^{j}-v_{i-1}^{j})/2h+gv_{i}^{j}(\theta
441: (x_{i+1},t_{j})-\theta (x_{i-1},t_{j}))/2h\right. \\
442: \left. +e(v_{i+2}^{j}-2v_{i+1}^{j}+2v_{i-1}^{j}-v_{i-2}^{j})/ 2
443: h^{3}\right) =\sum_{k}\left( T^{j+1}\right) _{ik}v_{k}^{j}
444: \end{multline*}
445: Using the operator $T^{j+1}$ introduced above, this equation may
446: be rewritten in the form
447: \begin{multline}
448: \left( v_{i}^{j+1}-\sum_{k}\left(
449: T^{j+1}\right)_{ik}v_{k}^{j}\right)/\tau+g
450: v_{i}^{j}\left(v_{i+1}^{j}-v_{i-1}^{j}\right)/2h =\\
451: -\left(\left(\theta(x_{i},t_{j+1})-\theta(x_{i},t_{j})\right)/\tau+c
452: \left( \theta (x_{i+1},t_{j})-\theta (x_{i-1},t_{j})\right)/2h+ g
453: \theta(x_{i},t_{j})\left(\theta (x_{i+1},t_{j})- \theta
454: (x_{i-1},t_{j})\right)/2h\right.\\
455: \left. +e \left(\theta (x_{i+2},t_{j})-2\theta
456: (x_{i+1},t_{j})+2\theta (x_{i-1},t_{j})-\theta (x_{i-2},t_{j})
457: \right)/ 2 h ^{3} \right) \notag
458: \end{multline}
459: The right part of this relation is a quantity of order $O(\tau
460: +h^{2}).$ So, we can write
461: \begin{equation}
462: \left( v_{i}^{j+1}-\sum_{k}\left( T^{j+1}\right)
463: _{ik}v_{k}^{j}\right) /\tau +g
464: v_{i}^{j}\left(v_{i+1}^{j}-v_{i-1}^{j}\right)/2h=O(\tau +h^{2}),
465: \notag
466: \end{equation}
467: or
468: \begin{equation}
469: v_{i}^{j+1} =\sum_{k}\left( T^{j+1}\right) _{ik}v_{k}^{j}-\tau
470: f_{i}^{j}, \,\,\,\,\,\,\ f_{i}^{j}
471: =gv_{i}^{j}\frac{v_{i+1}^{j}-v_{i-1}^{j}}{2h}-O(\tau +h^{2})
472: \tag{10}.
473: \end{equation}
474: We finally arrive at the inequality that compare the norms:
475: \begin{equation*} \left\| f^{j}\right\| \leq \frac{\left|
476: g\right| }{h^{\frac{3}{2}}}\left\| v^{j}\right\| ^{2}+O(\tau
477: +h^{2})
478: \end{equation*}
479: To explain how this estimate was obtained, follow the expressions
480: \begin{multline}
481: \left\| f^{j}\right\| =\left( \sum\limits_{i}\left(
482: f_{i}^{j}\right) ^{2}h\right) ^{\frac{1}{2}} \leq \left| g\right|
483: \left( \sum\limits_{i}\left(
484: v_{i}^{j}\frac{v_{i+1}^{j}-v_{i-1}^{j}}{2h}\right) ^{2}h\right)
485: ^{\frac{1}{2}}+O(\tau +h^{2}) \notag \\
486: \leq \left| g\right| \left( \sum\limits_{i}\left( v_{i}^{j}\right)
487: ^{2}h\ast \sum\limits_{i}\left( v_{i}^{j}\right) ^{2}h\right)
488: ^{\frac{1}{2}} \frac{1}{h^{\frac{3}{2}}}+O(\tau +h^{2}). \tag{11}
489: \end{multline}
490: Using the Schwartz inequality $\left\| AB\right\| \leq \left\|
491: A\right\| \left\| B\right\| $, the formulas (10) could be
492: transformed as
493: \begin{multline}
494: \left\| v^{j+1}\right\| \leq \left\| T^{j+1}\right\| \left\|
495: v^{j}\right\| +\tau \left\| f^{j}\right\| \leq \left\|
496: T^{j+1}\right\| \left\| T^{j}\right\| \left\| v^{j-1}\right\|
497: +\tau (\left\| T^{j+1}\right\| \left\|
498: f^{j-1}\right\| +\left\| f^{j}\right\| )\leq \tag{12} \\
499: \left\| T^{j+1}\right\| \left\| T^{j}\right\| \left\|
500: T^{j-1}\right\| \left\| v^{j-2}\right\| +\tau (\left\|
501: T^{j+1}\right\| \left\| T^{j}\right\| \left\| f^{j-2}\right\|
502: +\left\| T^{j+1}\right\| \left\| f^{j-1}\right\|
503: +\left\| f^{j}\right\| \leq \notag \\
504: e^{a\tau j}\left\| v^{0}\right\| +\tau (e^{a\tau (j-1)}\left\|
505: f^{0}\right\| +e^{a\tau (j-2)}\left\| f^{1}\right\| +...\left\|
506: f^{j}\right\| )\leq
507: \notag \\
508: e^{a\tau j}\left\| v^{0}\right\| + M\max_{k\leq j}(\left\|
509: f^{k}\right\|
510: )\leq \notag \\
511: e^{a\tau j}\left\| v^{0}\right\| +M\left( \frac{\left| g\right| }{h^{\frac{3%
512: }{2}}}\left\| v^{j+1}\right\| ^{2}+O(\tau +h^{2})\right) ,\qquad
513: M=\tau \frac{e^{a\tau j}-1}{e^{a\tau }-1}. \notag
514: \end{multline}
515: To derive (12), we have \bigskip used the iteration of the first
516: of formula (we substituted the formula into itself, but for index
517: less than 1) and using (11). Then we have utilized the formula for
518: a sum of geometric series. Farther the inequality obtained in (12)
519: has a solution
520: \begin{equation*}
521: \left\| v^{j+1}\right\| \leq \left(1-\sqrt{1-4M\frac{\left|
522: g\right| }{h^{
523: \frac{3}{2}}}\left( e^{a\tau }\left\| v^{0}\right\| +MO(\tau +h^{2})\right) }%
524: \right)/\left(2M\frac{\left| g\right| }{h^{\frac{3}{2}}}\right)
525: \end{equation*}
526: If we take into account (9), and use$\left\|v^{0}\right\|=0,$we
527: obtain
528: \begin{multline}
529: \left\| v^{j+1}\right\| \leq \left(1-\sqrt{1-\frac{4M\left|
530: g\right| }{h^{ \frac{3}{2}}}MO(\tau
531: +h^{2})}\right)/\left(\frac{2M\left|
532: g\right| }{h^{\frac{3}{2}}}\right)\\
533: \approx \left(1-\left(1-\frac{2M\left| g\right| }{h^{
534: \frac{3}{2}}}MO(\tau +h^{2})\right)\right)/\left(\frac{2M\left|
535: g\right| }{h^{\frac{3}{2}}}\right)=
536: M\ast O(\tau +h^{2}) \notag
537: \end{multline}
538: The constant $M$ is bounded, in spite of $j\rightarrow \infty $, because of $%
539: j\tau <\infty $. Therefore, the convergence is proved.
540:
541: \subsubsection{The coupled KdV scheme }
542: The numerical scheme for the system of the cKdV (4.1)-(4.2) is
543: also conditionally stable and convergent one. The proof for this
544: scheme is close to that given before, but a bit bulky. We deal
545: with a vector:
546: \begin{equation*}
547: U =\left\{
548: \begin{array}{l}
549: \theta _{1}\,\,\ \theta _{2} \,\,\ ... \,\,\,\ \theta _{N}
550: \\\end{array}
551: \right\}^{t}
552: \end{equation*}
553: as a dependent variable instead of the simple variable $\theta $
554: in the case of one KdV. For this vector case the norm used has the
555: form
556: \begin{equation*}
557: \left\| U \right\|=
558: \left(\sum\limits_{l=1}^{N}\sum\limits_{i}\left| \theta
559: _{l,i}\right| ^{2}\,\, h \right) ^{\frac{1}{2}}.
560: \end{equation*}
561: The conditions connecting time and space steps for this scheme
562: look also similar but with different constants
563: \begin{equation*}
564: \max_{n}(\left| e_{n}\right| )\ast \frac{81\ast \tau ^{3}}{4\ast
565: h^{12}}\ast t_{0}=O(1).
566: \end{equation*}
567: \section{Checking the numerical method}
568: The numerical method is tested by applying it to Hirota-Satsuma
569: system. Namely the two parameters one-soliton explicit solution is
570: used \cite{Leb3}.
571: \subsection{Analytic solution ( explicit formula ) of Hirota-Satsuma
572: system} Darboux transformation (DT) that account a deep reduction
573: for this specific HS case of cKdV is used \cite{Leb3} to obtain
574: explicit solutions to HS system. The Lax representation of the HS
575: equations is based on the matrix 2x2 spectral problem of the
576: second order. For this problem the deep reduction scheme
577: \cite{Leb3} is applied (with the help of the conserved bilinear -
578: forms) and supports the constrains on the potential while the
579: iterated DT are performed. The iterated DT in determinant form and
580: the covariance of the bilinear forms with respect to DT under
581: restrictions gives N soliton solution of HS system. The system of
582: HS we use to check the scheme has the form:
583: \begin{equation}
584: \left( \theta _{1} \right) _{t} \,-0.25\,\left( \theta _{1}
585: \right) _{3x} \,-1.5\,\left( \theta _{1} \right) _{x} \,\left(
586: \theta _{1} \right) {}+3\left( \theta _{2} \right) _{x} \,\left(
587: \theta _{2} \right) =0 \tag{13.a}
588: \end{equation}
589: \begin{equation}
590: \left( \theta _{2} \right) _{t} \,+0.5\,\left( \theta _{2}
591: \right)_{3x}+1.5\,\left( \theta _{2} \right) _{x} \,\left( \theta
592: _{1} \right) \,=0. \tag{13.b}
593: \end{equation}
594: This system has two-parameters one soliton solution:
595: \begin{equation}
596: \begin{array}{cc}
597: \theta_{1} \,={-2m^{2} (-1+d^{2}
598: +2d\,Sin(\lambda_{1})*Sinh(\lambda_{2}))}/{\left(
599: d\,Cos(\lambda_{1})+Cosh(\lambda_{2})\right) ^{2} }, \tag{14} \\
600: \theta _{2} ={ \left( 2+2 d^{2} \right) ^{.5} m^{2}
601: }/{\left( d\,Cos(\lambda_{1})+Cosh(\lambda_{2})\right) },\\
602: \lambda_{1}=.5m^{3}t+mx \,\,\,\,\ and \,\,\,\,\
603: \lambda_{2}=.5m^{3}t-mx.
604: \end{array}
605: \end{equation}
606: with real constants m, d. For small $\left| d\right| $ this
607: solution is a smooth function but for $\left| d\right| \,>1$ poles
608: appear .The following figures show some choice of m and d to show
609: the effect of these two parameters on the solution. Figure 1 show
610: that, for constant d, the amplitude is proportional to m while the
611: wave width is inversely proportional to it. Figure 2 show that,
612: for the given m, d affects on soliton shape, namely the first
613: mode, while the amplitude of the second is inversely proportional
614: to d.
615: \begin{center} \epsfig{file=pl-HS-1.eps, height=3.7cm,
616: width=8.6cm ,clip=,angle=0} \epsfig{file=pl-HS-2.eps,
617: height=3.7cm, width=8.6cm ,clip=,angle=0}\\
618: \ Fig.1. For a
619: constant d, the amplitude is proportional to m while the wave
620: width is inversely proportional to m.
621: \end{center}
622: \begin{center}
623: \epsfig{file=pl-HS-3.eps, height=3.7cm, width=8.6cm
624: ,clip=,angle=0} \epsfig{file=pl-HS-4.eps, height=3.7cm,
625: width=8.6cm ,clip=,angle=0}\\
626: \ Fig. 2. For the same m, d affects
627: on soliton shape, namely the first mode, while the amplitude \\ of
628: the second mode is inversely proportional to d.
629: \end{center}
630: \subsection{Calculations by numerical scheme and comparison results}
631: HS system (13) is solved numerically using the scheme (4) with
632: initial condition from formula (14)(t = 0) and the results are
633: compared with the explicit solution. It is found that, keeping the
634: restriction on the choice of $\tau \,\ and\,\,\ h $ and relation
635: between them, the initial wave modes amplitude affects on the
636: accuracy of the results . Also the error decreases as the mesh is
637: refined. Namely smaller amplitude ( of order one ) gives better
638: results as shown below in figure (3). It gives the percentage
639: error calculated as follow
640: \begin{equation}
641: \% Error= \frac{|Explicit\,\ solution - Numerical \,\
642: solution|}{Initial\,\ amplitude } \notag
643: \end{equation}
644: We relate the error to the initial amplitude to show the physical
645: significance of the error.
646: \begin{center}
647: \epsfig{file=pl-HS-5.eps, height=4cm, width=8.6cm ,clip=,angle=0}
648: \epsfig{file=pl-HS-6.eps, height=4cm, width=8.6cm ,clip=,angle=0}\\
649: {\hspace*{10 mm} \ Fig.3 }\% error is proportional to the
650: amplitude(A).
651: \end{center}
652: The plots show that the error is proportional to the amplitude
653: (A), where as shown in figure the maximum relative error in the
654: case (A=2) is 1 \% while in the case (A=3.4) is 3 \%. The reason
655: may be due to the higher velocity in the larger one, hence more
656: interactions impact. It also shows that the error increases near
657: the peak points. The reason of these oscillations in plots
658: appearance is that the numerical and analytical plots intersect
659: over the space domain.
660: \section{Applying the scheme to different applications}
661: Stability analysis and checking performed to the scheme in the
662: general cKdV equations give the ability of using this scheme to
663: solve other problems for which analytical solutions have not been
664: found. We first consider the multi-soliton solution decay of the
665: localized initial condition for the single KdV equation of HS
666: system (figure 4.a) then for the complete HS system (figure 4.b).
667: In both we use the initial condition from formula (14) but with 10
668: times the width and twice the amplitude.
669: \begin{center}
670: \epsfig{file=pl-HS-7.eps, height=3.5cm, width=10cm
671: ,clip=,angle=0}\\
672: Fig. 4.A The multi-soliton decaying of the isolated (first) KdV
673: of HS system (13.a)
674: \end{center}
675: \begin{center}
676: \epsfig{file=pl-HS-8.eps, height=4cm, width=8.6cm ,clip=,angle=0}
677: \epsfig{file=pl-HS-9.eps, height=4cm, width=8.6cm
678: ,clip=,angle=0}\\ Fig. 4.b The multi-soliton decaying of the
679: complete HS system (13).
680: \end{center}
681: The second mode affects (interacts) the first one which results in
682: the right direction soliton-like "tail" as shown in the figure
683: 4.b. We estimate, using the conservation low (derived below), the
684: expected number of
685: solitons that already obtained in the numerical solution as\\
686: \begin{equation}
687: \begin{array}{cc}
688: \theta_{1} \times (13.1)-2\theta_{2}\times (13.2)\Rightarrow \notag \\
689: \frac{d}{dt}[.5 \theta_{1}^{2}-\theta_{2}^{2}]+\frac{d}{dx}[-.5
690: \theta_{1}^{3}-.25
691: \theta_{1}\theta_{1xx}+.125\theta_{1x}^{2}-\theta_{2}\theta_{2xx}
692: +.5\theta_{2x}^{2}]=0 \\
693: \theta_{1}\,\ and \,\ \theta_{2} \rightarrow 0 \,\ as \,\ x
694: \rightarrow \pm \infty\\
695: \int^{-\infty}_{\infty}{(.5
696: \theta_{1}^{2}-\theta_{2}^{2})dx}=const.
697: \end{array}
698: \end{equation}
699: Next we go to the solution of nonintegrable HS system. The
700: integrable HS system (13.a,b) may be shifted to "slightly"
701: nonintegrable one by small change of the dispersion constant of
702: the first equation to have the new nonintegrable HS system
703: \begin{equation}
704: \left( \theta _{1} \right) _{t} \,-0.2\,\left( \theta _{1} \right)
705: _{3x} \,-1.5\,\left( \theta _{1} \right) _{x} \,\left( \theta _{1}
706: \right) {}+3\left( \theta _{2} \right) _{x} \,\left( \theta _{2}
707: \right) =0 \tag{15.a}
708: \end{equation}
709: \begin{equation}
710: \left( \theta _{2} \right) _{t} \,+0.5\,\left( \theta _{2}
711: \right)_{3x}+1.5\,\left( \theta _{2} \right) _{x} \,\left( \theta
712: _{1} \right) \,=0. \tag{15.b}
713: \end{equation}
714: Using our scheme with initial condition from (14) we find that the
715: scheme works satisfactory (in the sence of convergence) even for
716: nonintegrable HS system as shown from Figure 5 below. The solution
717: looks like a soliton one for small time.
718: \begin{center}
719: \epsfig{file=pl-HS-10.eps, height=4cm,width=8.6cm,clip=,angle=0}
720: \epsfig{file=pl-HS-11.eps, height=4cm,width=8.6cm ,clip=,angle=0}\\
721: \ Fig.(5) The numerical solution of integrable and slightly
722: nonintegrable HS system.
723: \end{center}
724: Also the solution using a non-smooth initial condition for HS
725: system (13) is shown in figure 6 below .
726: \begin{center}
727: \epsfig{file=pl-HS-12.eps, height=3.5cm,width=8.6cm,clip=,angle=0}
728: \epsfig{file=pl-HS-13.eps, height=3.5cm,width=8.6cm ,clip=,angle=0}\\
729: \ Fig.6 The numerical solution of Non-smooth initial condition for
730: HS system (13).
731: \end{center}
732:
733: \begin{thebibliography}{99}
734: \bibitem{Max}
735: A.Maxworthy, L.Redekopp and P.Weldman "On the production and
736: interaction of planetary solitary waves:Application to the Jovian
737: atmosphere " Icarus 33 388-409 (1978).
738: \bibitem{Hir}
739: Hirota R., Satsuma J. " Soliton solution of the coupled KdV
740: system" Phys. Lett.85A 407-9(1981).
741: \bibitem{Dod}
742: R.Dodd, A.Fordy "On the integrability of the system of KdV
743: equations" Phys. Lett. 89A, 168-71 (1982).
744: \bibitem{Leb}
745: S. B. Leble ``Nonlinear waves in waveguides'' Springer-Verlag
746: Berlin ,Germany (1991).
747: \bibitem{Ksh}
748: S. P. Kehevetskii "Analytical and numerical investigation of
749: nonlinear interval gravity waves" Nonlinear Processes in
750: Geophysics 8, 37-53 (2001).
751: \bibitem{Per}
752: A. Perelomova "Projection in nonlinear evolution problem: Acoustic
753: solitons of bubbly liquid" Applied mathematics letters 13, 93-98
754: (2000).
755: \bibitem{Leb2}
756: S. B. Leble "The coupled KdV integrability" (Kaliningrade
757: University press, VINITI Report No.2926.B87) (1987).
758: \bibitem{Four}
759: Foursov MV. "On integrable coupled KdV-type systems" Inverse
760: problem 16 (1), 259-74 (2000).
761: \bibitem{Oev}
762: Oevel W. "On the Integrablility of the Hirota Satsuma system"
763: Physics Letters A 94(4,9), 404-7 (1983).
764: \bibitem{Zhar}
765: Zharkov A Yu. "Computer classification of the
766: integrable coupled KdV-like systems with unit main matrix" Journal
767: of Symbolic Computation 15(1), 85-90 (1993).
768: \bibitem{Gur}
769: Metin Gurses and Atalay Karasu ``Degenerate Svinolupov KdV
770: systems'' Phys. Lett. A 214, 21-26 (1996).
771: \bibitem{Ays}
772: Ayse Karasu ``Painleve classification of coupled Korteweg-de
773: Vries systems'' J. Math. Phys. 38 3616-22 (1997).
774: \bibitem{Svi}
775: S.I. Svinolupov "Jordan algebras and generalized Korteweg-de
776: Vries equations" Theor. Mat. Fiz.87 no.3,391-403(1991)
777: \bibitem{Weis2}
778: John Weiss ``The sine-Gordon equations: Complete and partial
779: integrability'' J. Math. Phys. 25, 2226-35 (1984).
780: \bibitem{Kup}
781: B. A. Kupershmidt ``A coupled Korteweg-de Vries equation with
782: dispersion'' J. Phys. A: Math. Gen. 18, 1571-73 (1985).
783: \bibitem{Z}
784: J.Zabusky, M.D.Kruskal "Interaction of solitons in collisionless
785: plasma and the recurrence of initial states" Phys. rev. Lett. 15,
786: 240-43 (1965).
787: \bibitem{Ping}
788: Ping Fu Zhao and Meng Zhao Qin " Multisymplectic geometry and
789: Multisymplectic Preissmann scheme for the KdV equation" J. Phys.
790: A: Math.Gen.,33(18),3613-26 (2000).
791: \bibitem{Cel}
792: Celledoni E. "A note on the numerical integration of the KdV
793: equation via isospectral deformations" J. Phys. A: Math. Gen. 34,
794: 2205-14 (2001).
795: \bibitem{Shao}
796: Shaohong Zhu "A difference scheme for the coupled KdV equation"
797: Communication in Nonlinear Sience \& Numerical Simulation, vol.4,
798: no.1,60-3 (1999).
799: \bibitem{Tan}
800: J. C. Tannehill, D. A. Anderson and R. H. Pletcher
801: ''Computational fluid mechanics and heat transfer'' Taylor \&
802: Francis, Washington, USA (1997).
803: \bibitem{Leb3}
804: S. B. Leble and N. V. Ustinov ``Darboux transforms, deep
805: reductions and solitons'' J. Phys. A: Math. Gen. 2, 5007-16
806: (1993).
807: \bibitem{Dra}
808: P. G. Drazin and R. S.Johnson "Solitons : an introduction"
809: Cambridge University Press (1989).
810:
811: %$^{1}$\\
812: %$^{2}$ T.Benjamin "Internal wave of finit amplitude and permanent
813: %form" J. Fluid Mech.25, 241-270 (1966).\\
814: %$^{4}$ V.Yudin, N.Gavrilov "The algprithm of simulation of
815: %gravity waves propagation raised by non-stationary local source
816: %of stratified atmosphere" Izvestiya Academy Nauk SSSR. Fizika
817: %atm. okeana, VINITI 2865-85 (1985).
818:
819: %\bibitem{Weis}
820: %John Weiss, M. Tabor, and Carnevale "The Painleve property for
821: %partial differential equations" J. Math. Phys. 522-526(1983).
822:
823:
824:
825: \end{thebibliography}
826:
827: \end{document}
828: