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{Analytical and numerical solution of coupled KdV-MKdV
12: 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: \noindent The matrix 2x2 spectral differential equation of the
21: second order is considered on x in ($-\infty,+\infty$). We
22: establish elementary Darboux transformations covariance of the
23: problem and analyze its combinations. We select a second
24: covariant equation to form Lax pair of a coupled KdV-MKdV system.
25: The sequence of the elementary Darboux transformations of the
26: zero-potential seed produce two-parameter solution for the coupled
27: KdV-MKdV system with reductions. We show effects of parameters on
28: the resulting solutions (reality, singularity). A numerical method
29: for general coupled KdV-MKdV system is introduced. The method is
30: based on a difference scheme for Cauchy problems for arbitrary
31: number of equations with constants coefficients. We analyze
32: stability and prove the convergence of the scheme which is also
33: tested by numerical simulation of the explicit solutions.
34: \end{abstract}
35: % The paper
36: \section{Introduction}
37: There are two complementary approaches to integrable systems:
38: analytical and numerical ones to be developed. Even most profound
39: analytical IST method cannot give explicit solution of general
40: Cauchy problem while numeric can, but is rather compulsory in use:
41: calculations could need powerful computers. May be most
42: transparent of analytical methods are based on algebraic
43: structures associated with a problem. To such structures belongs
44: Darboux transformations covariance of Lax representation of
45: nonlinear equations that yields a powerful tool for explicit
46: solutions production. We investigate applications of special kind
47: of such discrete symmetry - to be called elementary ones
48: \cite{Leb-Ust}. Its elementarity simply means that a product of
49: such transformations generate the standard one
50: \cite{Leb-Ust,Mate}. Here we study combinations of such transforms
51: that do not coincide with binary ones \cite{Leb-Ust2} and hence
52: are not so known.
53:
54: The main ideas of numerical integration of such integrable systems
55: go up to the famous properties of the equations as the Lax pair
56: and infinite series of conservation laws existence \cite{Ksh}.
57: From a point of view of general theory of such systems some hopes
58: are concerned with a development of the finite-difference or other
59: approximations of the systems. Namely if one could prove a
60: convergence and stability theorems for such difference systems
61: (existence of solutions is implied), a way to existence and
62: uniqueness of solutions is opened \cite{Lad}.
63:
64: The coupled KdV-MKdV system arises in many problems of
65: mathematical physics. Some integrable systems are associated with
66: a polynomial spectral problem and have Virasoro symmetry algebras
67: are considered \cite{Wen}. A dispersive system describing a vector
68: multiplet interacting with the KdV field is a member of a
69: bi-Hamiltonian integrable hierarchy \cite{Kup}. Recently a
70: multisymplectic numerical twelve points scheme was produced. This
71: scheme is equivalent to the multisymplectic Preissmann scheme and
72: is applied to solitary waves over long time interval \cite{Ping}.
73: The coupled KdV-MKdV system is also connected to other physical
74: applications \cite{Leb}.
75:
76:
77: The general system we consider in this work have the following
78: form
79: \begin{equation} \label{KdV-M}
80: \theta _{t}^{n}+\underset{m,k}{\sum }\left( g_{m,k}^{n,1}\theta
81: ^{m}\theta _{x}^{k}+g_{m,k}^{n,2}(\theta ^{m})^{2}\theta
82: _{x}^{k}+g_{m,k}^{n,3}\theta _{x}^{m}\theta
83: _{x}^{k}+g_{m,k}^{n,4}\theta ^{m}\theta
84: _{xx}^{k}+g_{m,k}^{n,5}\theta ^{m}(\theta ^{k})_{x}^{2}\right)
85: +d_{n}\theta _{xxx}^{n}=0,
86: \end{equation}%
87: where n, m, k =1,2,...N are the dependent variables numbers.
88: Nonlinear coefficients are $g_{m,k}^{n,l},\,l$ =1,2,..5 and
89: $d_{n}$ are dispersion coefficients.
90:
91: In particular, for the system under consideration ($N=3$) the
92: variables $\theta ^{1},\theta ^{2},\theta ^{3}$ are denoted by f,
93: u, v to have the integrable system \cite{Leb-Ust}
94: \begin{gather}\label{gen-sys2}
95: f_{t}+\frac{1}{2}f_{xxx}+\frac{3}{2}(uf)_{x}-\frac{3}{4}f_{x}f^{2}=0 \notag \\
96: u_{t}-\frac{1}{4}u_{xxx}-\frac{3}{2}u_{x}u+3vv_{x}+\frac{3}{4}u_{x}f^{2}-%
97: \frac{3}{2}(f_{x}v)_{x}=0 \notag \\
98: v_{t}+\frac{1}{2}v_{xxx}+\frac{3}{2}v_{x}u-\frac{3}{4}(vf^{2})_{x}+\frac{3}{4%
99: }u_{xx}f+\frac{3}{2}u_{x}f_{x}=0 \label{gen-sys2}
100: \end{gather}
101: The Lax pair is given in \cite{Leb-Ust}. The system exhibits two
102: integrable reductions having explicit solutions, Hirota-Satsuma
103: \cite{HS, Dodd} and a two components KdV-MKdV system \cite
104: {Leb-Ust, Leb-Ust2}. Krishnan \cite{Krish} showed that a
105: generalized KdV-MKdV system have solitary wave solutions and
106: investigate the effects of increasing the nonlinearity of one
107: variable on the existence of solitary waves. Some form of KdV-MKdV
108: system have explicit solutions in terms of Jacobi elliptic
109: functions \cite{Guha}.
110:
111: In this work we present explicit solutions for a system of three
112: equations (\ref{gen-sys2}) that have not been specified in
113: \cite{Leb-Ust,Leb-Ust2}. We study this two-parameter explicit
114: solutions and show effects of choosing these parameters on the
115: solutions. We demonstrate the use of two arbitrary elementary DTs
116: \cite{Leb-Ust} and its special choice that holds a hereditary of
117: the reduction to built explicit solutions to the KdV-MKdV system
118: (\ref{gen-sys2}).
119:
120: Also we modify a numerical method \cite{Ksh,Halim} for solution of
121: system (\ref{KdV-M}). It is a difference scheme for Cauchy
122: problems for arbitrary number of equations with constants
123: coefficients. The scheme preserves two conservation laws for the
124: KdV type equations and the order of error of the difference
125: formulas is improved \cite{Ksh,Zhu}. The convergence is proved and
126: stability is analyzed giving the conditions taken in account in
127: choosing time and space step sizes \cite{And,Lan} .
128:
129: The present work is organized as follows. Section 2 introduces the
130: matrix spectral equation of the second order with 2 x 2 matrix
131: coefficients and two elementary DTs. We select the second equation
132: of the Lax pair and derive the compatibility conditions. The
133: product of these two transformations yields the standard DT
134: \cite{Leb-Ust,Mate}. Section 3 illustrates how the, first,
135: elementary DT is used to produce solution to the KdV equation as
136: well as the general evolution equation generated by the
137: compatibility conditions of the Lax pair. Explicit solutions are
138: introduced for the case of zero initial potentials of the matrix
139: problem. In section 4 we consider a reduction constraints on the
140: potential of the matrix spectral equation. This reduction gives an
141: automorphism that relates two pairs of solution of the spectral
142: equation for two spectral parameters. We use this results in the
143: compound elementary DTs to produce an explicit solution to a
144: coupled KdV-MKdV system that results from the compatibility
145: conditions of Lax pair under this reduction. The effects of these
146: parameters on the solution (reality, singularity) is analyzed.
147: Section 5 introduces a numerical method for solving coupled
148: KdV-MKdV system (\ref{KdV-M}). We produce a difference scheme for
149: a Cauchy problem with initial condition rapidly decreasing at both
150: infinities. The main steps of the scheme convergence and stability
151: analysis is shown while the details are explained in appendix A
152: and B. The scheme is tested by applying it to integrable coupled
153: KdV-MKdV system and the numerical results are compared with
154: explicit formulas obtained in section 4.
155: \section{Lax pair spectral equations and the elementary DTs }
156: Consider a matrix spectral equation of the second order with
157: spectral parameter $\lambda$ and $2\times2$ matrix coefficients.
158: \begin{equation} \label{LP 1}
159: \Psi_{xx}+F \Psi_{x}+U \Psi=\lambda \sigma_{3} \Psi
160: \end{equation}
161: where the vector $\Psi= \left(\Psi_{1}, \Psi_{2}\right)^{T}$and
162: the matrix
163: potentials are $U=\{u_{ij}\},F=\{f_{ij}, f_{ii}=0\}, i=1,2$ while $%
164: \sigma_{3}=diag(1, -1)$ is the Pauli matrix.\newline
165:
166: For equation (\ref{LP 1}) we perform two elementary Darboux transforms \cite%
167: {Leb-Ust}. The first one is
168: \begin{gather}\label{1DTA}
169: \overset{\sim }{\Psi }_{1}=\Psi _{1x}+\epsilon _{11}\Psi
170: _{1}+\epsilon_{12}\Psi _{2}\,,\,\ \ \ \epsilon _{11}=-\left( \varphi _{1x}+\frac{1}{2}%
171: f_{12}\varphi _{2}\right) /\varphi _{1}\,,\,\ \epsilon _{12}=f_{12}/2, \notag \\
172: \overset{\sim }{\Psi }_{2}=\Psi _{2}+\ \epsilon _{21}\,\Psi_{1}\,,\ \ \ \ \
173: \ \ \ \ \ \ \ \ \ \ \ \ \ \epsilon _{21}=-\ \varphi _{2}/\varphi _{1} , \notag \\
174: \overset{\sim }{\varphi }_{1}=\left( \partial _{x}+\epsilon_{11}\right)
175: \varphi _{3}+\epsilon _{12}\,\varphi _{4}\,\,,\,\ \overset{\sim }{\varphi }%
176: _{2}=\varphi _{4}+\epsilon _{21}\,\varphi _{3}. \label{1DTA}
177: \end{gather}
178: where $\left( \varphi _{1},\,\varphi _{2}\right) ^{T}\,\ $ and
179: $\left(\varphi _{3},\,\varphi _{4}\right) ^{T}\,\ $ are two solutions of (\ref{LP 1}%
180: ) corresponding to different spectral parameters.
181:
182: Substituting the above expressions for $\overset{\sim }{\Psi }_{1},\,\overset%
183: {\sim }{\Psi }_{2}\,$into (\ref{LP 1}) and collecting the coefficients of $%
184: \Psi _{1}$,\thinspace $\Psi _{2}\,\ $and their derivatives we
185: obtain the expressions for new potentials as
186: \begin{gather}\label{1DTB}
187: \overset{\sim }{f}_{12}=u_{12}+f_{12}\,\,\epsilon _{11}, \notag\\
188: \overset{\sim }{f}%
189: _{21}=-2\,\epsilon _{21}\smallskip , \notag \\
190: \overset{\sim }{u}_{11}=u_{11}-2\epsilon _{11x}-\overset{\sim }{f}%
191: _{12}\,\epsilon _{21}-f_{21}\,\epsilon _{12}\smallskip, \smallskip \notag \\
192: \overset{\sim }{u}_{12}=u_{12x}-\epsilon _{12xx}+\epsilon
193: _{11}u_{12}-\epsilon _{12}\left( \overset{\sim
194: }{u}_{11}+u_{22}\right)
195: \smallskip, \notag\\
196: \overset{\sim }{u}_{21}=f_{21}-2\epsilon _{21x}-\overset{\sim }{f}%
197: _{21}\epsilon _{11}\smallskip, \notag\\
198: \overset{\sim }{u}_{22}=u_{22}-\epsilon _{21}u_{12}-\overset{\sim }{u}%
199: _{21}\epsilon _{12}-\overset{\sim }{f}_{21}\epsilon _{12x}.
200: \label{1DTB}
201: \end{gather}
202: The second elementary DT is performed after the first one and can
203: be obtained by reversing the indices 1$\rightarrow 2\,$and
204: 2$\rightarrow 1\,\ $to get, for example\smallskip , the following
205: potentials
206: \begin{gather}\label{2DT}
207: \overset{\approx }{f}_{21}\,=\overset{\sim }{u}_{21}+\overset{\sim }{f}_{21}%
208: \overset{\sim }{\epsilon }_{22},{\hspace{2 mm}} \overset{\sim }{\epsilon }%
209: _{22}=-\left( \overset{\sim }{\varphi }_{2x}+\frac{1}{2}\overset{\sim }{f}%
210: _{21}\overset{\sim }{\varphi }_{1}\right) \,/\overset{\sim }{\varphi }_{2} , %
211: \notag \\
212: \overset{\approx }{u}_{22}=\overset{\sim }{u}_{22}-2\overset{\sim
213: }{\epsilon
214: }_{22x}-\overset{\approx }{f}_{21}\overset{\sim }{\epsilon }_{12}-\overset{%
215: \sim }{f}_{12}\overset{\sim }{\epsilon
216: }_{21},\,\smallskip{\hspace{3 mm}}
217: \overset{\sim }{\epsilon }_{12}=-\ \overset{\sim }{\varphi }_{1}/\overset{%
218: \sim }{\varphi }_{2},{\hspace{3 mm}} \overset{\sim }{\epsilon }_{21}=\overset%
219: {\sim }{f}_{21}/\,2 .\ \label{2DT}
220: \end{gather}
221: The spectral equation (\ref{LP 1}) is considered as the first
222: equation of the Lax pair, take the second as
223: \begin{equation} \label{LP 2}
224: \Psi_{t}=\Psi_{xxx}+B \Psi_{x}+C \Psi ,
225: \end{equation}
226: where $B=\frac{3}{2} diagU+\frac{3}{2} F_{x}+\frac{3}{4}
227: F^{2}$\newline
228: and $C=\frac{3}{2} U_{x}-\frac{3}{4}diagU_{x}-\frac{3}{4}%
229: (f_{12}u_{21}+f_{21}u_{12})I+ \frac{3}{8}(f_{12,x}f_{21}-f_{12}f_{21,x})%
230: \sigma_{3}+ \frac{3}{4}(u_{11}-u_{22})\sigma_{3}F.$\\
231: \,\,\\
232: Equation (\ref{LP 2}) is also covariant under transformations
233: (\ref{1DTA}), (\ref{1DTB}). The compatibility conditions have the
234: following form
235: \begin{gather} \label{compat}
236: F_{t}-F_{3x}+B_{2x}-3U_{2x}+2C_{x}+FB_{x}- \sigma_{3}B
237: \sigma_{3}F_{x}
238: +UB \notag \\
239: - \sigma_{3}B \sigma_{3}U+FC
240: - \sigma_{3}C \sigma_{3}F=0, \notag \\
241: U_{t}-U_{3x}+C_{2x}+UC- \sigma_{3}C \sigma_{3}U+FC_{x} -
242: \sigma_{3} B \sigma_{3}U_{x}=0 .
243: \end{gather}
244: and the transformations (\ref{1DTA}), (\ref{1DTB}) determine a
245: discrete symmetry of (\ref{compat})
246: \section{Solution of two coupled KdV-MKdV equations and KdV equation via the
247: first elementary \thinspace DT}
248:
249: For a spectral parameter $\lambda $ and a seed potential F, U we
250: obtain the solutions $\varphi_{1}, \varphi_{2}$ to the pair
251: (\ref{LP 1}), (\ref{LP 2}). Then performing the first elementary
252: DT to obtain
253: the new potentials $ \overset{\sim}{F}, \overset{\sim}{U}$ which are solutions to the system (%
254: \ref{compat}). For the case of zero seed potential the solutions, $%
255: \varphi _{1}$ and $\varphi _{2}$ of the system $ (\ref{LP 1}),
256: (\ref{LP 2})$ have the form
257: \begin{gather} \label{fi}
258: \varphi _{1}=c_{1}e^{a x + a ^{3} t}+c_{2}e^{-(a x + a ^{3} t)}, \notag\\
259: \varphi _{2}=d_{1}e^{i a x + ( i a) ^{3} t }+d_{2}e^{-(i a x + (i
260: a) ^{3} t )} . \label{fi}
261: \end{gather}%
262: where $c_{1},\,c_{2},\,d_{1},\,\,d_{2}\,\ $are arbitrary
263: constants, $a= \sqrt{\lambda} $ and i is the imaginary unit.
264: System (\ref{compat}) reduced (for the only nonzero elements ) to
265: the following
266: \begin{gather}\label{gen-sys}
267: f_{21t}+\frac{1}{2} f_{21xxx}+\frac{3}{4} f_{21}u_{11x} =-\frac{3}{2}%
268: u_{11}u_{21}, \notag \\
269: u _{11t}-\frac{1}{4}u_{11xxx}-\frac{3}{2}u_{11}u_{11x}=0, \notag \\
270: u _{21t}+\frac{1}{2}u_{21xxx}+\frac{3}{4}%
271: u_{21}u_{11x}+\frac{3}{2}u_{21x}u_{11} =\frac{3}{4}\
272: u_{11}f_{21xx} +\frac{3}{4}u_{11}^{2}f_{21}. \label{gen-sys}
273: \end{gather}
274: where $f_{12}=0, u_{12}=0, u_{22}=0$ and tildes are omitted for
275: simplicity. This system with explicit solution obtained from
276: (\ref{1DTA}), (\ref{1DTB}) as
277: \begin{gather} \label{sol-gen-sys}
278: {f}_{21}=\left( 2e^{\left( 1-i\right) a\left( a^{2}t+x\right)
279: }\left( d_{2}e^{2ia^{3}t}+d_{1}e^{2iax}\right) \right) /\left(
280: c_{2}+c_{1}e^{2a\left( a^{2}t+x\right) }\right), \notag \\
281: {u}_{11}=\left( 8a^{2}c_{1}c_{2}e^{2a\left( a^{2}t+x\right)
282: }\right) /\left(
283: c_{2}+c_{1}e^{2a\left( a^{2}t+x\right) }\right)^{2}, \notag \\
284: {u}_{21}=\left( -2iae^{\left( 1-i\right) a\left( a^{2}t+x\right)
285: }\left( d_{2}e^{2ia^{3}t}-d_{1}e^{2iax}\right) \right) /\left(
286: c_{2}+c_{1}e^{2a\left( a^{2}t+x\right) }\right).
287: \label{sol-gen-sys}
288: \end{gather}
289: where $c_{1},\,c_{2},\,d_{1},\,\,d_{2}\,\ $are arbitrary
290: constants and $a= \sqrt{\lambda}$.\newline
291:
292: The second equation in (\ref{gen-sys}) is the KdV equation while
293: the remaining are a two components coupled KdV-MKdV system that
294: was solved by elementary DT.
295:
296: \section{Solution of three coupled KdV-MKdV equations via the compound
297: elementary DTs}
298:
299: Existence of different kinds of automorphism causes special
300: constraints \cite{Leb-Ust}. Multiplying (\ref{LP 1}) by $\sigma
301: _{1}=
302: \begin{pmatrix}
303: 0 & 1 \\
304: 1 & 0%
305: \end{pmatrix}%
306: $ to have
307: \begin{equation} \label{Auto1}
308: \sigma _{1}\Psi_{xx}+\sigma _{1} F \Psi _{x}+\sigma _{1} U
309: \Psi=\lambda \sigma _{1}\sigma _{3}\Psi
310: \end{equation}
311: but $\sigma _{1}\sigma _{3}=-\sigma _{3}\sigma _{1} $ and consider
312: the conditions $\sigma_{1} F= F \sigma_{1}$ and $\sigma_{1} U= U
313: \sigma_{1}$ that means
314: \begin{equation} \label{constr}
315: f_{12}=f_{21}=f,\hspace*{5 mm} u_{11}=u_{22}=u, \hspace*{5
316: mm}u_{12}=u_{21}=v.
317: \end{equation}
318: So (\ref{Auto1}) becomes
319: \begin{gather*}
320: \left( \sigma _{1}\Psi \right) _{xx} + F \left(\sigma
321: _{1}\Psi\right) _{x}+U \left(\sigma _{1} \Psi\right)=-\lambda
322: \sigma _{3}\left( \sigma _{1}\Psi \right)
323: \end{gather*}
324:
325: The above automorphism $\Psi \left( \lambda \right) \leftarrow
326: \sigma
327: _{1}\Psi \left( -\lambda \right) $ relates two pair of solutions $%
328: (\varphi_{1}, \varphi_{2})$ and $(\varphi_{3}, \varphi_{4})$ of
329: (\ref{LP 1}) corresponding to different values of spectral
330: parameter $\lambda , -\lambda $ as\newline
331: \begin{gather*}
332: \begin{pmatrix}
333: \varphi_{3}(-\lambda) \\
334: \varphi_{4}(-\lambda)%
335: \end{pmatrix}%
336: =\sigma_{1}%
337: \begin{pmatrix}
338: \varphi_{1}(\lambda) \\
339: \varphi_{2}(\lambda)%
340: \end{pmatrix}%
341: =%
342: \begin{pmatrix}
343: \varphi_{2}(\lambda) \\
344: \varphi_{1}(\lambda)%
345: \end{pmatrix}%
346: \end{gather*}
347:
348: Using this result in the elementary DTs (\ref{1DTA}), (\ref{1DTB}) and (\ref%
349: {2DT}) to obtain the expressions for the new potentials f, u, v.
350: In the case of zero initial potentials these new potentials have
351: the following forms
352: \begin{gather}\label{fuv1}
353: f= 2 \frac{\varphi _{1} (\varphi _{2})_{x}-\varphi _{2} (\varphi
354: _{1})_{x}}{(\varphi _{1})^{2}-(\varphi _{2})^{2}},\notag
355: \\\newline
356: u= \left(\frac{(\varphi _{1}^{2})_{x}-(\varphi _{2}^{2})_{x}}
357: {(\varphi _{1})^{2}-(\varphi
358: _{2})^{2}}\right)_{x}+2\left(\frac{\varphi _{1} (\varphi
359: _{2})_{x}-\varphi _{2}
360: (\varphi _{1})_{x}}{(\varphi _{1})^{2}-(\varphi _{2})^{2}}\right)^{2}, \notag \\
361: v= 2 \left(\frac{\varphi _{1} (\varphi _{2})_{x}-\varphi _{2}
362: (\varphi _{1})_{x}}{(\varphi _{1})^{2}-(\varphi
363: _{2})^{2}}\right)_{x}+\frac{\left(\varphi _{1}(\varphi
364: _{2})_{x}-\varphi _{2}(\varphi _{1})_{x}\right)\left((\varphi
365: _{1}^{2})_{x}-(\varphi _{2}^{2})_{x}\right)}{ \left( (\varphi
366: _{1})^{2}-(\varphi _{2})^{2} \right)^{2}}.
367: \end{gather}
368: where $\varphi_{1}, \varphi_{2}$ are as in (\ref{fi}) with $%
369: c_{1},\,c_{2},\,d_{1},\,\,d_{2}\,\ $are arbitrary constants and $a= \sqrt{%
370: \lambda}$.\newline The above expressions are solutions of system
371: (\ref{compat}) that reduced under the reduction conditions
372: (\ref{constr}) to system (\ref{gen-sys2}).
373:
374: The choice of the arbitrary constants
375: ($c_{1},\,c_{2},\,d_{1},\,\,d_{2}$) affects on the behavior of
376: the solution in formula (\ref{fuv1}). For example choosing equal
377: constants $c_{1}=c_{2}=d_{1}=d_{2}=0.5$ (we choose the value to
378: be $0.5$ to simplify the resulting formula but the idea valid for
379: any value) the solutions have the form
380: \begin{gather}\label{fuv2}
381: f=2 a (sin \eta_{1} cosh\eta_{2}-cos\eta_{1}
382: sinh\eta_{2})/(cosh^{2}
383: \eta_{2}-cos^{2} \eta_{1}), \notag \\
384: u=2 a^{2}(sin \eta_{1}
385: cosh\eta_{2}+cos\eta_{1}sinh\eta_{2})^{2}/(cosh^{2}
386: \eta_{2}-cos^{2} \eta_{1})^{2} , \notag \\
387: v=2a^{2}(cos3\eta_{1}cosh\eta_{2}-2sin \eta_{1}sinh\eta_{2}(cos2
388: \eta_{1}+cosh2 \eta_{2}+2)-cos\eta_{1}cosh3 \eta_{2}) \notag \\
389: \hspace*{5 mm}/(cosh^{2}\eta_{2}-cos^{2} \eta_{1})^{2}.
390: \label{fuv2}
391: \end{gather}
392: where $\eta_{1}=a^{3}t-ax, \hspace*{3 mm} \eta_{2}=a^{3}t+ax, a=\sqrt{\lambda%
393: }$ is real.
394: \,\\
395:
396: We see that the above expression (\ref{fuv2}) is singular at
397: $\eta_{2}=0,
398: \eta_{1}=n\pi, n=0,1,2,...$. Hence we have singularity at $(x=\frac{n\pi}{2a}%
399: , t=\frac{n\pi}{2a^{3}})$.\newline
400:
401: To obtain continuous solutions we can choose $c_{1}= c_{2},
402: d_{1}= d_{2}= r . c_{1}$, r is real constant. We again choose
403: $c_{1}=0.5 $ following the previous concept. So (\ref{fuv1}) have
404: the form
405: \begin{gather} \label{sol-gen-sys2}
406: f= 2ar\left( \cosh \eta _{2}\sin \eta _{1}-\cos \eta _{1}\sinh
407: \eta _{2}\right) /\left( \cosh ^{2}\eta _{2}-r^{2}\cos ^{2}\eta
408: _{1}\right) , \notag \\
409: u= a^{2}\left( 1-r^{4}-r^{4}\cos 2\eta _{1}+\cosh 2 \eta
410: _{2}+r^{2}\sin 2\eta _{1}\sinh 2\eta _{2}\right)
411: /\left( \cosh^{2}\eta _{2}-r^{2}\cos ^{2} \eta
412: _{1}\right) ^{2} , \notag \\
413: v= 2a^{2}r(((-7+6r^{2}+2r^{2}\cos 2 \eta
414: _{1})\cos \eta _{1} \cosh \eta _{2}-\cos \eta _{1} \cosh 3 \eta _{2}) \notag \\
415: -2(1+r^{2}+r^{2}\cos 2 \eta _{1}+\cosh 2 \eta _{2}) \sin \eta
416: _{1}\sinh \eta _{2})) / (-1+r^{2}+r^{2}\cos 2 \eta _{1}-\cosh 2
417: \eta _{2}) ^{2}
418: \end{gather}
419: where $a, \eta_{1}, \eta_{2}$ as in (\ref{fuv2})
420: \,\,\\\
421:
422: Choosing this parameter ($r$) to be $r$ $<1$ gives real
423: nonsingular solutions. The above formula (\ref{sol-gen-sys2}) is
424: built from elliptic and periodic functions so it does not preserve
425: its symmetry but its localized as shown in figures (1.a,b) below.
426: \begin{center}
427: \epsfig{file=pl-DT-1.eps, height=2.5 cm, width=4.5 cm ,clip= ,
428: angle=0} \epsfig{file=pl-DT-2.eps,height=2.5 cm, width=4.5cm
429: ,clip=,angle=0} \epsfig{file=pl-DT-3.eps,height=2.5cm, width=4.5cm
430: ,clip=,angle=0}\\
431: \ Fig.(1.a) Non-singular solutions, f, u and v (r=0.5) , a=2,
432: t=0.\\
433: \epsfig{file=pl-DT-11.eps, height=2.5 cm, width=4.5 cm ,clip= ,
434: angle=0} \epsfig{file=pl-DT-22.eps,height=2.5 cm, width=4.5cm
435: ,clip=,angle=0} \epsfig{file=pl-DT-33.eps,height=2.5cm,
436: width=4.5cm
437: ,clip=,angle=0}\\[0pt]
438: \ Fig.(1.b) Propagation of solutions, f, u and v (r=0.5) , a=2,
439: t=1.\\
440: Fig.(1) The solutions in (\ref{sol-gen-sys2}) does not preserve
441: its symmetry but its localized.
442: \end{center}
443:
444:
445: Choosing the parameter r to be $r$ $>1$ in formula (\ref{sol-gen-sys2}) gives singular solutions as shown figure
446: (2) below.
447: \begin{center}
448: \epsfig{file=pl-DT-4.eps, height=2.5 cm, width=4.5 cm ,clip= ,
449: angle=0} \epsfig{file=pl-DT-5.eps,height=2.5 cm, width=4.5cm
450: ,clip=,angle=0} \epsfig{file=pl-DT-6.eps,height=2.5 cm,
451: width=4.5cm
452: ,clip=,angle=0}\\[0pt]
453: \ Fig.(2) Singular solutions, f, u and v (r=2), a=2, t=0.\\
454: \end{center}
455: Moreover the choice of these arbitrary constants ($c_{1},\,c_{2},\,d_{1},\,%
456: \,d_{2}\,\ $) as well as the spectral parameter $\lambda$ affects
457: the reality of the resulting solution. As example for
458: $\lambda=-2im^{2}$, m is real and choosing
459: $c_{1}=c_{2}=d_{1}=d_{2}=0.5$, we get real solution
460: \begin{equation*}
461: f = m (cos2 \zeta_{1} sinh\zeta_{2}-sinh\zeta_{2}-sin \zeta_{1}
462: cosh2\zeta_{2} +sin\zeta_{1})/(0.25 cosh2\zeta_{2}-0.25)(1-cos2
463: \zeta_{1})
464: \end{equation*}
465: where $\zeta_{1}=2mx+4m^{3}t,\hspace*{2 mm}
466: \zeta_{2}=2mx-4m^{3}t$, while choosing $c_{1}=c_{2}=1,
467: d_{1}=d_{2}=2$ give the following complex solution
468: \begin{gather*}
469: f=m*(-8(-5sinh\zeta_{2}cos2\zeta_{1}+5sinh\zeta_{2}
470: +5sin\zeta_{1}cosh2\zeta_{2}-5sin\zeta_{1})-8i(6sinh\zeta_{2}\\
471: +3sin2\zeta_{1}cosh\zeta_{2}
472: +3cos\zeta_{1}sinh2\zeta_{2}+6sin\zeta_{1})) /
473: (17cosh2\zeta_{2}+10+36cos\zeta_{1}cosh\zeta_{2}\\
474: -8cos2\zeta_{1}cosh2\zeta_{2}+17cos2\zeta_{1} )
475: \end{gather*}
476: \section{The numerical method}
477: \subsection{The difference scheme}
478:
479: For the coupled KdV-MKdV system (\ref{KdV-M}) we introduce a
480: numerical (finite difference) method of solution \cite{Ksh, Zhu}.
481: This scheme is valid for arbitrary number of equations with
482: constants coefficients and of the form
483: \begin{gather}\label{schem}
484: \frac{\theta _{i}^{n,j+1}-\theta _{i}^{n,j}}{\tau
485: }+\underset{m,k}{\sum } ( g_{m,k}^{n,1}\theta
486: _{i}^{m,j}\frac{\theta _{i+1}^{k,j}-\theta _{i-1}^{k,j}}{
487: 2h}+g_{m,k}^{n,2}(\theta _{i}^{m,j})^{2}\frac{\theta
488: _{i+1}^{k,j}-\theta _{i-1}^{k,j}}{2h} \notag \\
489: +g_{m,k}^{n,3}\frac{\theta _{i+1}^{m,j}-\theta _{i-1}^{m,j}
490: }{2h}\frac{\theta _{i+1}^{k,j}-\theta _{i-1}^{k,j}}{2h}
491: +g_{m,k}^{n,4}\theta _{i}^{m,j}\frac{\theta _{i+1}^{k,j}-2\theta
492: _{i}^{k,j}+\theta _{i-1}^{k,j}}{2h} \notag
493: \\
494: +g_{m,k}^{n,5}\theta _{i}^{m,j}\theta _{i}^{k,j}\frac{\theta
495: _{i+1}^{k,j}-\theta _{i-1}^{k,j}}{2h} )
496: +d_{n}\frac{ \theta
497: _{i+2}^{n,j}-2\theta _{i+1}^{n,j}+2\theta _{i-1}^{n,j}-\theta
498: _{i-2}^{n,j}}{2h^{3}}=0 \label{schem}
499: \end{gather}
500: where i and j are the discrete space and time respectively. The
501: time step is denoted by $\tau \,$while h denotes spatial step.
502:
503: \subsection{Stability analysis of the scheme}
504:
505: We prove stability with respect to small perturbations of initial
506: conditions \cite{And, Lan}. It is the boundness of the discrete
507: solution with respect to small perturbation of the initial data.
508: We give here the main steps while the details are presented in
509: Appendix A. We can write
510:
511: \begin{gather*}
512: d\theta _{i}^{n,j+1}=T_{i,r}^{n,j+1}\,d\theta
513: _{r}^{n,j}=T_{i,r}^{n,j+1}\,T_{i,r}^{n,j}\,d\theta _{r}^{n,j-1}=\underset{r}{%
514: \Pi }\,\left( T_{i,r}^{n}\right) ^{r}\,d\theta _{r}^{n,o}
515: \end{gather*}
516:
517: where $d\theta _{i}^{n,j+1}$ is perturbations of the discrete solution, $%
518: d\theta _{r}^{n,o}$ small perturbation of the initial data and $%
519: T_{i,r}^{n,j+1}$ is a differentiable operator. Stability required
520: the boundedness of \thinspace $\underset{r}{\Pi }\,\left(
521: T_{i,r}^{n}\right) ^{r}\,\,$i.e\thinspace\ $\left\| T^{r}\right\|
522: \,$is bounded.
523:
524: We found that
525: \begin{gather} \label{a}
526: \left\| T^{j+1}\right\| ^{2}\leq e^{a(\tau,h) \tau }, \notag \\
527: a(\tau,h) = 2 \underset{l,n,m,k}{\max }\left| g_{m,k}^{n,l}\right| \,\ \underset{%
528: i,m,k}{\max }\left( \left| \theta _{x,i}^{m,j}\right| \,\left|
529: \theta _{x,i}^{k,j}\right| \right) +\tau [
530: \underset{l,n,m,k}{\max }\left| g_{m,k}^{n,l}\right| \,\
531: \underset{i,m,k}{\max }\left( \left| \theta _{x,i}^{m,j}\right|
532: \,\left| \theta _{x,i}^{k,j}\right| \right) \notag \\
533: +\frac{1}{h} \,\underset{l,n,m,k}{\max }\left|
534: g_{m,k}^{n,l}\right| \,\ \underset{i,m,k}{ \max }\left( \left|
535: \theta _{i}^{m,j}\right| \,\left| \theta _{i}^{k,j}\right|
536: \right) +\frac{3\,}{h^{3}}\underset{n}{\max }\left| d_{n}\right|
537: ]^{2} \label{a}
538: \end{gather}%
539:
540:
541: The scheme is stable if $a(\tau,h)\leq const$. We have here a
542: conditional stability. That is we require that $\tau \rightarrow
543: 0\,\ $ more faster than $h\rightarrow 0\,$. Namely we need
544:
545: \begin{gather*}
546: \tau \leq \,\left( \text{constant} \right) \,. \,h^{6}
547: \end{gather*}
548:
549: \subsection{Convergence proof for the scheme}
550:
551: We prove that the solution of (\ref{schem}) converges to the solution of (%
552: \ref{KdV-M}) if the exact solution is continuously differentiable one \cite%
553: {And, Lan}. We introduce here the main points for the scheme
554: convergence and give the details in Appendix B.
555:
556: $\theta _{i}^{j}\,$\ is the difference solution of (\ref{schem}), u$%
557: _{i}^{j}\,$\ is the exact solution. Hence the error\ v$_{i}^{j}$
558: is given by $\ \ v_{i}^{j}=\theta _{i}^{j}-u_{i}^{j}\,\ $.
559: Introducing L$_{2}\ $norm defined by $\left\| V^{j}\right\|
560: =\left( \underset{i}{\sum }\underset{n}{\sum }\left(
561: v_{i}^{n,j}\right) ^{2}h\right) ^{1/2}$
562:
563: The scheme converges when the norm of that error $\left\|
564: V^{j}\right\| \rightarrow 0$ as $\left( \tau ,\text{ }h\text{
565: }\rightarrow 0\right) $\\
566: We found that \ $\left\| V^{j+1}\right\| \leq \,P(M)\,\ O\left(
567: \tau +h^{2}\right) $, where $\,P(M)\,\ $is a polynomial in the
568: bounded constant $M=\tau\frac{e^{a \tau j}-1}{e^{a\tau}-1}$ and
569: $a$ as in (\ref{a}). Hence the convergence proved.
570:
571: \subsection{Numerical calculations and test}
572:
573: The coupled KdV-MKdV system (\ref{gen-sys2}) is solved
574: numerically using scheme (\ref{schem}) with initial condition
575: from (\ref{sol-gen-sys2}) at $t=0
576: $ and the results are compared with the explicit formulas (\ref{sol-gen-sys2}%
577: ). The percentage errors are shown in the following plots.
578:
579: \begin{center}
580: \epsfig{file=pl-DT-7.eps, height=3.5 cm, width=4.5 cm ,clip= ,
581: angle=0} \epsfig{file=pl-DT-8.eps,height=3.5 cm, width=4.5cm
582: ,clip=,angle=0} \epsfig{file=pl-DT-9.eps,height=3.5 cm,
583: width=4.5cm
584: ,clip=,angle=0}\\[0pt]
585: \ Fig.3 percentage errors of the numerical solutions relative to
586: the explicit solutions.
587: \end{center}
588: The results of the test confirms the validity of the numerical
589: scheme we propose. It also illustrates the errors of evaluation
590: that could be estimated by the resulting inequalities of the
591: scheme convergence proof.
592:
593: \section{Conclusion}
594: Darboux transformations covariance of Lax representation of
595: nonlinear equations is a powerful tool for explicit solutions
596: production. Here we investigate applications of special kind of
597: such discrete symmetry - to be called elementary ones. We use
598: these elementary DT to produce explicit solutions for coupled
599: KdV-MKdV system. The iteration of DT can be formulated in form of
600: determinants representations \cite{Leb-Ust,Leb-Ust2}. A numerical
601: method for general coupled KdV-MKdV system is introduced. It is a
602: difference scheme for Cauchy problems for arbitrary number of
603: equations with constants coefficients. We analyze stability and
604: prove the convergence of the scheme. The scheme keeps two
605: conservation laws chosen in analogy with KdV type equations.
606: Analyzing stability and proving the convergence beside comparing
607: the numerical results with explicit formulas allow us to use the
608: numerical scheme to systems with arbitrary coefficients that is
609: presumably non-integrable. Obviously the coupled KdV systems are
610: successfully treated by our scheme \cite{Halim}. \\
611:
612: \begin{Large}{Acknowledgment}
613: \end{Large} We thank S. B. Kshevetskii for useful discussions about numerical
614: scheme for the problem under consideration.
615:
616: \begin{thebibliography}{99}
617: \small
618: \bibitem{Dodd}
619:
620: Dodd R and Fordy A, On the integrability of a system of coupled
621: KdV equations, Phys. Lett. A89 (1982), 168--170.
622: \bibitem{Guha}Guha-Roy C, On explicit solutions of a coupled KdV-MKdV
623: equation, International Journal of Modern physics B3(6) (1989),
624: 871--875.
625: \bibitem{Halim}
626: Halim A A, Kshevetskii S P and Leble S B, On numerical integration
627: of coupled Korteweg-de Vries System, Applied Mathematics Letters
628: (to be published).
629: \bibitem{HS}
630: Hirota R and Satsuma J, Soliton solution of coupled KdV equations,
631: Phys. Lett. A85 (1981), 407--409.
632: \bibitem{Krish}
633: Krishnan EV, Remarkes on a system of coupled nonlinear wave
634: equations, Journal of Mathematical physics 31(5) (1990),
635: 1155--1156.
636: \bibitem{Lad}
637: Krzhivitski A and Ladyzhenskaya O A, A grid method for the
638: Navier-Stokes equations, Dokl. Akad. Nauk SSSR 167 309-311
639: (Russian); translated as Soviet Physics Dokl. 11 (1966), 212--213.
640: \bibitem{Ksh}
641: Kshevetskii S P, Analytical and numerical investigation of
642: nonlinear internal gravity waves, Nonlinear Processes in
643: Geophysics 8 (2001), 37--53.
644: \bibitem{Kup}
645: Kupershmidt B A, A coupled Korteweg-de Vries equation with
646: dispersion, J. Phys. A: Math. Gen. 18 (1985), 1571--1573.
647: \bibitem{Lan}
648: Lankaster P, Theory of matrices, Academic Press, New York, 1969.
649: \bibitem{Leb-Ust}
650: Leble S B and Ustinov N V, Darboux transforms, deep reduction and
651: solitons, J. Phys. A: Math. Gen. (1993), 5007--5016.
652: \bibitem{Leb} Leble S B, Nonlinear waves in waveguides, Springer-Verlag
653: Berlin, Germany (1991).
654: \bibitem{Leb-Ust2}
655: Leble S B and Ustinov N V, Korteweg-de Vries-modified Korteweg-de
656: Vries systems and Darboux transforms in 1+1 and 2+1 dimensions, J.
657: Math. Phys. 34(4) (1992), 1421--1428.
658: \bibitem{Mate}
659: Matveev V B and Salle M A, Darboux transforms and solitons,
660: Springer-Verlag, Berlin (1991).
661: \bibitem{Ping}
662: Ping Fu Zhao and Meng Zhao Qin, Multisymplectic geometry and
663: Multisymplectic Preissmann scheme for the KdV equation, J. Phys.
664: A: Math. Gen., 33(18) (2000), 3613--3626.
665: \bibitem{Zhu}
666: Shaohong Zhu, A difference scheme for the coupled KdV equation,
667: Communication in Nonlinear Science \& Numerical Simulation, 4(1)
668: (1999), 60--63.
669: \bibitem{And}
670: Tannehill J C, Anderson D A and Pletcher R H, Computational fluid
671: mechanics and heat transfer, Taylor \& Francis, Washington,
672: (1997).
673: \bibitem{Wen}
674: Wen-Xiu Ma and Zi-Xiang Zhou, Coupled integrable systems
675: associated with a polynomial spectral problem and their Virasoro
676: symmetry algebras, Progress of Theoretical Physics 96(2) (1996),
677: 449--457.
678:
679:
680: \end{thebibliography}
681: \section{Appendix A\newline
682: Stability analysis of the scheme}
683:
684: We prove stability with respect to small perturbations (because we
685: consider nonlinear equations) of initial conditions. Strictly
686: speaking it is the boundness of the discrete solution in terms of
687: small perturbation of the initial data. Consider the differential
688:
689: $T_{i,r}^{n,j+1}=\left\{ \partial \theta _{i}^{n,j+1}/\partial
690: \theta _{r}^{n,j}\right\} \,,\,d\theta _{r}^{n,j}=\left\{ \theta
691: _{i-2}^{n,j}\,\ \theta _{i-1}^{n,j}\,\ \theta _{i}^{n,j}\,\
692: \theta _{i+1}^{n,j}\,\ \theta _{i+2}^{n,j}\right\} ^{t}$ and
693: define the norm $\left\| d\theta ^{j}\right\| =\left(
694: \underset{r}{\sum }\underset{n}{\sum }\left( d\theta
695: _{r}^{n,j}\right) ^{2}\,\ h\right) ^{1/2}$
696:
697: We can write \ $d\theta _{i}^{n,j+1}=T_{i,r}^{n,j+1}\,d\theta
698: _{r}^{n,j}=T_{i,r}^{n,j+1}\,T_{i,r}^{n,j}\,d\theta _{r}^{n,j-1}=\underset{r}{%
699: \Pi }\,\left( T_{i,r}^{n}\right) ^{r}\,d\theta _{r}^{n,o}$
700:
701: where $d\theta _{i}^{n,j+1}$ is perturbations of the discrete solution, $%
702: d\theta _{r}^{n,o}$ small perturbation of the initial data.
703: Stability required the boundedness of \thinspace
704: $\underset{r}{\Pi }\,\left( T_{i,r}^{n}\right)
705: ^{r}\,\,$i.e\thinspace\ $\left\| T^{r}\right\| \,$is bounded. We
706: calculate $T\,\,\ $from (\ref{schem}) as follow
707: \begin{gather}\label{T}
708: T_{i,r}^{n,j+1}=\delta _{i,r}- \tau \underset{m,k}{\sum }( \frac{g_{m,k}^{n,1}%
709: }{2h}\left[ \theta _{i}^{m,j}\left( \delta _{i+1,r}-\delta
710: _{i-1,r}\right)
711: +\delta _{i,r}\left( \theta _{i+1}^{k,j}-\theta _{i-1}^{k,j}\right) \right] %
712: \notag \\
713: +\frac{g_{m,k}^{n,2}}{2h}\left[ \left( \theta _{i}^{m,j}\right)
714: ^{2}\left( \delta _{i+1,r}-\delta _{i-1,r}\right) +2\theta
715: _{i}^{m,j}\delta
716: _{i,r}\left( \theta _{i+1}^{k,j}-\theta _{i-1}^{k,j}\right) \right] \notag \\
717: +\frac{g_{m,k}^{n,3}}{2h}\left[ \left( \theta _{i+1}^{m,j}-\theta
718: _{i-1}^{m,j}\right) \left( \delta _{i+1,r}-\delta _{i-1,r}\right)
719: +\left( \delta _{i+1,r}-\delta _{i-1,r}\right) \left( \theta
720: _{i+1}^{k,j}-\theta
721: _{i-1}^{k,j}\right) \right] \notag \\
722: +\frac{g_{m,k}^{n,4}}{2h}\left[ \theta _{i}^{m,j}\left( \delta
723: _{i+1,r}-2\delta _{i,r}+\delta _{i-1,r}\right) +\delta
724: _{i,r}\left( \theta
725: _{i+1}^{k,j}-2\theta _{i}^{k,j}+\theta _{i-1}^{k,j}\right) \right] \notag \\
726: +\frac{g_{m,k}^{n,5}}{2h}\left[ \theta _{i}^{m,j}\theta
727: _{i}^{k,j}\left( \delta _{i+1,r}-\delta _{i-1,r}\right) +\theta
728: _{i}^{m,j}\left( \theta _{i+1}^{k,j}-\theta _{i-1}^{k,j}\right)
729: \delta _{i,r}+\theta
730: _{i}^{k,j}\left( \theta _{i+1}^{k,j}-\theta _{i-1}^{k,j}\right) \delta _{i,r}%
731: \right] \notag ) \\
732: -\frac{\tau d_{n}}{2h^{3}}\left[ \delta _{i+2,r}-2\delta
733: _{i+1,r}+2\delta _{i-1,r}-2\delta _{i-2,r}\right] \label{T}
734: \end{gather}
735: Rewriting (\ref{T}) in terms of identity (E), symmetric (S) and
736: anti-symmetric (A) matrices\newline
737:
738: $\left\| S^{j+1}\right\| \leq \tau \,\underset{l,n,m,k}{\max
739: }\left| g_{m,k}^{n,l}\right| \,\ \underset{i,m,k}{\max }\left(
740: \left| \theta _{x,i}^{m,j}\right| \,\left| \theta
741: _{x,i}^{k,j}\right| \right) ,$
742:
743: $\left\| A^{j+1}\right\| \leq \frac{\tau }{h}\,\underset{l,n,m,k}{\max }%
744: \left| g_{m,k}^{n,l}\right| \,\ \underset{i,m,k}{\max }\left(
745: \left| \theta
746: _{i}^{m,j}\right| \,\left| \theta _{i}^{k,j}\right| \right) +\frac{3\,}{h^{3}%
747: }\underset{n}{\max }\left| d_{n}\right| ,$
748:
749: where $\theta _{x,i}^{j}=\frac{\theta _{i+1}^{j}-\theta
750: _{i-1}^{j}}{2h}\,\ ,\,\ n,m,k=1,2,..N,\,\ l=1,2,...5.$\newline
751:
752: $\left\| T^{j+1}\right\| ^{2}=\left\| \left( T^{j+1}\right)
753: ^{\ast }\,\ T^{j+1}\right\| =\left\| \left(
754: E-A^{j+1}+S^{j+1}\right) \left( E+A^{j+1}+S^{j+1}\right) \right\|
755: $
756:
757: \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ $\leq 1+2\,\left\| S^{j+1}\right\|
758: +\left( \left\| A^{j+1}\right\| +\left\| S^{j+1}\right\| \right)
759: ^{2}$
760:
761: \thinspace\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ $\leq e^{a(\tau, h)\tau
762: },$
763:
764: \begin{gather*}
765: a(\tau, h) = 2 \underset{l,n,m,k}{\max }\left|
766: g_{m,k}^{n,l}\right| \,\ \underset{ i,m,k}{\max }\left( \left|
767: \theta _{x,i}^{m,j}\right| \,\left| \theta _{x,i}^{k,j}\right|
768: \right) +\tau [ \underset{l,n,m,k}{\max }\left|
769: g_{m,k}^{n,l}\right| \,\ \underset{i,m,k}{\max }\left( \left|
770: \theta
771: _{x,i}^{m,j}\right| \,\left| \theta _{x,i}^{k,j}\right| \right) \\
772: \hspace*{10 mm}+\frac{1}{h} \,\underset{l,n,m,k}{\max }\left|
773: g_{m,k}^{n,l}\right| \,\ \underset{i,m,k}{ \max }\left( \left|
774: \theta _{i}^{m,j}\right| \,\left| \theta _{i}^{k,j}\right| \right)
775: +\frac{3\,}{h^{3}}\underset{n}{\max }\left| d_{n}\right| ]^{2}
776: \end{gather*}
777: We have here a conditional stability. That is we require that
778: $\tau \rightarrow 0\,\ $ more faster than $h\rightarrow
779: 0.\,$Namely we need
780: \begin{gather*}
781: \tau \leq \,\left( \text{cons}\tan
782: \text{t}\right) \,.\,h^{6}
783: \end{gather*}
784: \section{Appendix B\newline
785: The scheme convergence}
786:
787: We prove the convergence by proving that the norm of the error
788: (between the difference solution and the exact solution) vanishes
789: as the mesh is refined. Let $\theta _{i}^{j}\,$the difference
790: solution of (\ref{schem}), u$_{i}^{j}\, $the exact solution. The\
791: error v$_{i}^{j}$ is given by $v_{i}^{j}=\theta
792: _{i}^{j}-u_{i}^{j}\,.\,$ \newline
793: The scheme converges when the norm $\left\| V^{j}\right\| \rightarrow 0$ as $%
794: \left( \tau ,\text{ }h\text{ }\rightarrow 0\right) $ where the
795: norm is defined as $\left\| V^{j}\right\| =\left(
796: \underset{i}{\sum }\underset{n}{\sum }\left( v_{i}^{n,j}\right)
797: ^{2}h\right) ^{1/2}$
798:
799: substitute in (\ref{schem}) by \ $\theta _{i}^{j}=v_{i}^{j}+u_{i}^{j}\,\ $%
800: keeping in mind that for $\theta _{i}^{j}\,$equation (\ref{schem}) is $%
801: O\,\left( \tau +h^{2}\right) \,$and using the operator T defined
802: by\newline
803: \begin{gather*}
804: v_{i}^{n,j}-\tau \lbrack \underset{m,k}{\sum }(g_{m,k}^{n,1}(
805: u_{i}^{m,j}\frac{v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h}+v_{i}^{m,j}\frac{
806: u_{i+1}^{k,j}-u_{i-1}^{k,j}}{2h}) +g_{m,k}^{n,2}(
807: (u_{i}^{m,j})^{2}\frac{v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h} \\
808: +(v_{i}^{m,j})^{2}\frac{u_{i+1}^{k,j}-u_{i-1}^{k,j}}{2h})
809: +g_{m,k}^{n,3}( \frac{u_{i+1}^{m,j}-u_{i-1}^{m,j}}{2h}\frac{
810: v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h}+\frac{v_{i+1}^{m,j}-v_{i-1}^{m,j}}{2h}\frac{
811: u_{i+1}^{k,j}-u_{i-1}^{k,j}}{2h}) \\
812: +g_{m,k}^{n,4}( u_{i}^{m,j}
813: \frac{v_{i+1}^{k,j}-2v_{i}^{k,j}+v_{i-1}^{k,j}}{2h}+v_{i}^{m,j}\frac{
814: u_{i+1}^{k,j}-2u_{i}^{k,j}+u_{i-1}^{k,j}}{2h})
815: +2g_{m,k}^{n,5}( u_{i}^{m,j}v_{i}^{k,j}\\
816: \frac{ v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h}
817: +v_{i}^{m,j}u_{i}^{k,j}\frac{ u_{i+1}^{k,j}-u_{i-1}^{k,j}}{2h}) )
818: +d_{n}\frac{
819: v_{i+2}^{n,j}-2v_{i+1}^{n,j}+2v_{i-1}^{n,j}-v_{i-2}^{n,j}}{2h^{3}}]\\
820: \hspace{5 mm}= \underset {r}{\sum }T_{ir}^{j+1}v_{r}^{n,j}
821: \end{gather*}
822: \newline So we obtain
823: \begin{equation} \label{error}
824: v_{i}^{n,j+1}=\underset{r}{\sum }T_{ir}^{j+1}v_{r}^{n,j}+\tau
825: \,f_{m,k,i}^{n,j}
826: \end{equation}
827: where $f_{m,k,i}^{n,j}=\underset{m,k}{\sum }g_{m,k}^{n,1}v_{i}^{m,j}\frac{%
828: v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h}+g_{m,k}^{n,2}(v_{i}^{m,j})^{2}\frac{%
829: v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h}+g_{m,k}^{n,3}\frac{%
830: v_{i+1}^{m,j}-v_{i-1}^{m,j}}{2h}\frac{v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h} \\
831: \hspace*{15 mm}+g_{m,k}^{n,4}v_{i}^{m,j}\frac{v_{i+1}^{k,j}-2v_{i}^{k,j}+v_{i-1}^{k,j}}{2h}%
832: +2g_{m,k}^{n,5}v_{i}^{m,j}v_{i}^{k,j}\frac{%
833: v_{i+1}^{k,j}-v_{i-1}^{k,j}}{2h}+O\left( \tau +h^{2}\right)
834: $\newline
835:
836: $\left\| f^{j}\right\| =\left( \underset{i}{\sum }\left(
837: f_{m,k,i}^{n,j}\right) ^{2}h\right) ^{1/2}$\newline
838: \hspace*{11 mm} \ $\leq \frac{\left| g_{m,k}^{n,1}\right| _{\max }}{h^{3/2}}%
839: \left\| V^{j}\right\| ^{2}+\frac{\left| g_{m,k}^{n,2}\right| _{\max }}{h^{2}}%
840: \left\| V^{j}\right\| ^{3}+\frac{\left| g_{m,k}^{n,3}\right| _{\max }}{%
841: h^{5/2}}\left\| V^{j}\right\| ^{2}+\frac{\left| g_{m,k}^{n,4}\right| _{\max }%
842: }{h^{5/2}}\left\| V^{j}\right\| ^{2}$\newline
843: $\hspace*{14 mm}+\frac{\left|g_{m,k}^{n,5}\right| _{\max }} {h^{2}}%
844: \left\|V^{j}\right\| ^{3}+O\left( \tau +h^{2}\right) $
845:
846: \hspace*{8 mm} $\leq \frac{\left| g_{m,k}^{n,l}\right| _{\max }}{h^{2}}%
847: \left\| V^{j}\right\| ^{3}+O\left( \tau +h^{2}\right),
848: \hspace*{10 mm}
849: \left| g_{m,k}^{n,l}\right| _{\max }=\underset{n,m,k,1}{\max }%
850: g_{m,k}^{n,l}$\newline
851:
852: Using Schwartz inequality so (\ref{error}) becomes
853:
854: $\left\| V^{\ j+1}\right\| \leq \left\| T^{j+1}\right\| \left\|
855: V^{j}\right\| +\tau \left\| f^{j}\right\| $
856:
857: \hspace*{13 mm} $\leq \left\| T^{j+1}\right\| \left\|
858: T^{j}\right\| \left\| V^{j-1}\right\| +\tau \left( T^{j+1}\left\|
859: f^{j-1}\right\| +\left\| f^{j}\right\| \right) $
860:
861: \hspace*{13 mm} $\leq e^{a\tau j}\left\| V^{o}\right\| +\tau
862: \left( e^{a\tau \left( j-1\right) }\left\| f^{o}\right\| +e^{a\tau
863: \left( j-2\right) }\left\| f^{1}\right\| +...+\left\|
864: f^{j}\right\| \right) $
865:
866: \hspace*{13 mm} $\leq e^{a\tau j}\left\| V^{o}\right\| +M\,\ \
867: \left| g_{m,k}^{n,l}\right| _{\max }\left\| V^{j+1}\right\|
868: ^{3}+M\,\ O\left( \tau +h^{2}\right), M=\tau\frac{e^{a \tau
869: j}-1}{e^{a\tau}-1} $\newline
870:
871: Using $\left\| V^{o}\right\| =0,$ the above inequality has the
872: solution
873:
874: $\left\| V^{j+1}\right\| \leq P\left( M\right) \,\ \ O\,\left(
875: \tau +h^{2}\right) ,\,\ P(M)$ is a polynomial in $M$.\\
876: Since $M$
877: is bounded then $\left\| V^{j+1}\right\| \rightarrow 0\,\ as\,\
878: \tau ,\,h\,\rightarrow 0\,\ $and the convergence proved.
879:
880:
881:
882:
883: \end{document}
884: