A KdV-like advection-dispersion equation with some remarkable properties

We discuss a new non-linear PDE, u_t + (2 u_xx/u) u_x = epsilon u_xxx, invariant under scaling of dependent variable and referred to here as SIdV. It is one of the simplest such translation and space-time reflection-symmetric first order advection-dispersion equations. This PDE (with dispersion coefficient unity) was discovered in a genetic programming search for equations sharing the KdV solitary wave solution. It provides a bridge between non-linear advection, diffusion and dispersion. Special cases include the mKdV and linear dispersive equations. We identify two conservation laws, though initial investigations indicate that SIdV does not follow from a polynomial Lagrangian of the KdV sort. Nevertheless, it possesses solitary and periodic travelling waves. Moreover, numerical simulations reveal recurrence properties usually associated with integrable systems. KdV and SIdV are the simplest in an infinite dimensional family of equations sharing the KdV solitary wave. SIdV and its generalizations may serve as a testing ground for numerical and analytical techniques and be a rich source for further explorations.

READ FULL TEXT VIEW PDF

Authors

page 1

page 2

page 3

page 4

07/14/2021

On the construction of conservative semi-Lagrangian IMEX advection schemes for multiscale time dependent PDEs

This article is devoted to the construction of a new class of semi-Lagra...
05/24/2021

The FVC scheme on unstructured meshes for the two-dimensional Shallow Water Equations

The fluid flow transport and hydrodynamic problems often take the form o...
03/08/2021

Efficient numerical approximation of a non-regular Fokker–Planck equation associated with first-passage time distributions

In neuroscience, the distribution of a decision time is modelled by mean...
05/15/2021

On properties of an explicit in time fourth-order vector compact scheme for the multidimensional wave equation

An initial-boundary value problem for the n-dimensional wave equation is...
05/08/2021

Time integrators for dispersive equations in the long wave regime

We introduce a novel class of time integrators for dispersive equations ...
03/03/2021

Numerical investigation of some reductions for the Gatenby-Gawlinski model

The Gatenby-Gawlinski model for cancer invasion is object of analysis in...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Several equations of physics have been discovered by searching for one that admits a particular type of solution that was known to exist on physical grounds. Perhaps the most celebrated example is the discovery of Schrödinger’s equation of quantum mechanics via de Broglie’s hypothesis that free particles are described by plane matter waves. The KdV equation of fluid flow in a canal [1],

(1)

was motivated (and in part discovered) by the search for an equation possessing Russell’s [2] ‘wave of translation’ as a solution. This is the solitary wave

(2)

The KdV equation is the simplest conservative -dimensional wave equation with weak advective non-linearity and dispersion. Thus it is widely applicable and has been used to model acoustic solitons in plasmas [3, 4], internal gravity waves [5] in the oceans and even blood pressure pulses [6]. Its significance was greatly amplified by Zabusky & Kruskal’s discovery [3] that KdV displays the Fermi-Pasta-Ulam recurrent behavior and lack of thermalization [7] in a spatially periodic domain (see also [8, 9]). This was subsequently attributed to the even more remarkable asymptotic superposition principle for scattering of KdV solitary waves and existence of infinitely many local conserved quantities in involution [10]. Moreover, KdV is the prototype for an integrable non-linear PDE, its initial value problem can be solved by the inverse scattering transform [11].

We were therefore excited to find that the KdV equation is not the only one with the solitary wave solution. This serendipitous discovery happened in the course of an investigation undertaken by two of the present authors [12] to improve the efficiency and accuracy of a genetic programming (GP) based method (see A) to deduce model equations from a known analytic solution [13]. As a benchmark exercise to test out the method for application to nonlinear PDEs, the travelling wave (2) was given to the program, expecting it to find the KdV equation. But, surprisingly, before finding the KdV equation, it found a different equation

(3)

which had the same solitary wave solution. Subsequently, we found that (3) is the simplest in a vast family of equations sharing the KdV solitary wave. We think of (3) as a non-linear wave equation for the dispersive advection of the real wave amplitude . Unlike the KdV equation, where the advecting velocity is linear, here it is a quotient . As a consequence (3) is ‘scale-invariant’ under dilation of dependent variable. Scale-invariant advective velocities have appeared before e.g., the velocity that is invariant under a rescaling of fields, charges and currents in a plasma. We refer to (3) as the ( case of the) SIdV equation111The acronym SIdV highlighting scale-invariance is related to KdV as Sine-Gordon is related to Klein-Gordon.. Like KdV, faster SIdV solitary waves are narrower, but due to scale invariance, height and speed are generally unrelated, as in classical linear wave equations, but unlike KdV and the non-linear Schrödinger equation (NLSE).

In (3) the dimension- coefficients of the dispersive and advective terms are both equal to one. This is of course very special. More generally we consider the SIdV equation

(4)

eliminates the -dimensional constant , leaving one dimensionless parameter measuring the strength of dispersion relative to advection. Unlike KdV, where they scale differently in , here both scale as . Though we have not found an experimental system modelled by (4), it is just as simple and universal among scale-invariant advection-dispersion equations as KdV is among all such equations. For generic , we have identified conserved densities. This is similar to inviscid Eulerian hydrodynamics, but unlike KdV and NLSE which possess an infinite number. While SIdV shares solitary waves with KdV at , non-linear diffusion and solvability emerge elsewhere. Despite being non-linear, scale-invariance ensures SIdV has exact plane wave solutions. Furthermore, it possesses bounded spatially periodic travelling waves and similarity solutions. However, SIdV cannot arise from a polynomial Lagrangian in the sort of variable that works for KdV. We evade this obstruction at some special values of . Remarkably, numerical evolution of (3) shows Fermi-Pasta-Ulam-like Birkhoff recurrence [9] despite no sign of soliton scattering!

2 General properties of the SIdV equation

2.1 Symmetries and Conservation laws

SIdV (4) is a non-linear advection-dispersion equation for the real wave amplitude that is being advected by the flow . It is scale-invariant222SIdV (4) is not invariant under dilations of and has a dimensional scale which we set to . under . In fact, (4) is the simplest non-linear translation and scale-invariant advection-dispersion equation that is first order in time. The lowest order dispersive term is , so any such equation can be written as for some scale-invariant advective velocity . Without requiring scale-invariance, the simplest choice leads to KdV. KdV is symmetric under space-time (PT) reflection . Now if we also require scale-invariance, the simplest advecting velocities that preserve PT symmetry are and . The former leads to (4) in units where . The latter choice too has some notable properties (see §7).

Non-zero constants are the simplest solutions of (4). Linearization about a constant yields a plane wave with cubic dispersion and the characteristic property that the ratio of phase to group velocity is , as in the linear KdV equation. Remarkably, despite being non-linear, (4) also admits exact plane wave solutions .

KdV is invariant under Galilean boosts if transforms as . However, SIdV is not invariant under for any constants and . However, Galilean boosts could be implemented in a more intricate manner that we have not identified.

Multiplying by , and using , (4) is written in conservation form

(5)

It follows that is conserved. This suggests is the concentration of some substance whose total amount is conserved. Similarly, multiplying (4) by we get

(6)

So is also conserved. For e.g., when , , so on a bounded domain, is finite for any strictly positive/negative initial condition. These integrals of motion, travelling waves (§3.2) and numerical evolution (§5) indicate that SIdV is generically non-dissipative.

2.2 Preservation of positivity of

At first sight, it appears that is a singular point of (4). But can vanish at points where or also vanish, provided is finite, e.g. the above plane wave vanishes at isolated points. Among travelling waves, this is generic, near one where and have common zeros, there is another solution with the same property. However, in the numerical and analytical examples studied, if , it remains positive for . Let us use the second conserved quantity to sketch why this is the case for on a bounded domain333A similar argument can be given for any for which a conserved density diverges at sufficiently fast.. Suppose and is finite at . At , let develop its first zero, this cannot be a first-order zero as was strictly positive. Then , contradicting the constancy of ! So strictly positive initial data cannot develop a zero and therefore must remain positive444We assume that cannot develop an ‘integrable’ zero for which is finite. An ‘integrable’ zero where for would mean forms a cusp and ceases to be thrice continuously differentiable. Assuming the solution remains sufficiently smooth, such possibilities are eliminated. Our numerical simulations did not indicate cusp formation, though it is an open question whether SIdV preserves regularity of initial data..

2.3 Behaviour of SIdV at some special values of dispersion coefficient

2.3.1 Reduction to a linear dispersive wave equation when

For , SIdV may be reduced to a linear dispersive equation for . If we write in the conservation law form (5) of SIdV, we get

(7)

If , we see that satisfies a linear KdV equation

(8)

So for , is a sort of Cole-Hopf transformation that linearizes the equation. The general solution is a linear combination of plane waves

(9)

This solution could serve as the order of a perturbative solution of SIdV for nearby .

2.3.2 The dispersionless limit

The special case of (4) gives a non-dispersive non-linear advection equation

(10)

It may be written as a conservation law for the ‘charge’ density with flux . Being a second order parabolic PDE, (10) may also be viewed as an unusual non-linear diffusion equation for the ‘temperature’ . The effective thermal diffusivity could be of either sign. Thus SIdV is a remarkable bridge connecting dispersion, non-linear advection and non-linear diffusion. We expect (10) to have instabilities if becomes negative since time-reversed heat equations are ill-posed. So we may think of the dispersive term in SIdV as a regularization of (10), just as KdV is a regularization of the kinematic wave equation (KWE) . Remarkably, even without a dispersive regularization, (10) has smooth solutions. Indeed, unlike the KWE, (10) admits waves that preserve their shape. The general travelling wave of (10) is . These plane waves may however be unstable, as the diffusivity oscillates in sign!

2.3.3 SIdV to mKdV when

We did not find any value of at which a transformation reduces the SIdV to the KdV equation. But there are special values of at which it comes close. First, the rational non-linearity of SIdV can be written as a polynomial while retaining the advection-dispersion structure of the equation. To do so, we use the invariance of SIdV under rescaling to choose dimensionless and put . Then555Of course, if we restrict to real , this equation will apply to solutions where remains everywhere positive.

(11)

This polynomial form of SIdV was convenient for numerical evolution and also in our search for a Lagrangian. It also indicates that are somewhat special. At these values, we get KdV-like dispersive wave equations with advecting velocities and . These are among the simplest PT symmetric advecting velocities beyond KdV. Moreover, at , the sign of the ‘local diffusivity’ is reversed. We see qualitative effects of this reversal in the stability of our numerical simulations as is decreased below . What is more, at SIdV is reducible to the modified KdV (mKdV) equation. Differentiating in at , putting and letting and , we get the defocusing mKdV equation, which is integrable and related to KdV via the Miura transform [14]

(12)

3 Some similarity and travelling wave solutions of SIdV

3.1 Similarity solutions

SIdV is invariant under666More generally, SIdV is invariant under for any . So is a scale invariant combination. Since is arbitrary, we restrict here to the simplest case . and . So we seek solutions in the similarity variable . We get a third order non-linear ODE for

(13)

By the substitution we reduce this to a cubic order ODE with variable coefficients

(14)

We haven’t solved the similarity ODE in general, but in the dispersionless limit , it becomes a linear ODE with a regular singularity at

(15)

The two linearly independent solutions may be expressed in terms of the confluent hypergeometric function or the modified Bessel function of the kind :

(16)
(17)

Both and are monotonic and grow as . So they are bounded at late times ( or ) but are unbounded at early times ( or ). Interestingly, there is a unique (up to scale) linear combination that is bounded for all (). It begins at and monotonically decays to zero as .

3.2 Travelling waves

Here we discuss travelling waves ( with ) for SIdV (4) on the unbounded domain . Travelling waves must satisfy the third order non-linear ODE . We may write this in ‘conservation law’ form

(18)

and integrate once to get

(19)

The substitutions and give us a first order linear ODE for :

(20)

where . This inhomogeneous order ODE is reduced to quadrature using the integrating factor . For , in terms of , we get

(21)

For , we integrate to get

(22)

In other words, the equation for travelling waves has been reduced to quadrature

(23)

This travelling wave integral can be understood by a mechanical analogy [14]. It is the zero ‘energy’ condition for the ‘coordinate’ at ‘time’ of a non-relativistic particle of mass moving in the -dimensional potential . Bounded travelling waves correspond to bound trajectories of this particle. Plotting shows that, for appropriate ranges of and , there are bounded spatially periodic/solitary travelling waves with heights between successive real simple/double zeros of . For generic , the travelling wave integral cannot be evaluated using elementary functions. But for , the integral is trigonometric/exponential and for it is elliptic.

To illustrate, we consider the case where SIdV shares solitary wave solutions with KdV. Here we must evaluate an elliptic integral , and bounded travelling waves are (limits of) cnoidal waves. Suppose and has three simple real zeros . Then we have a periodic cnoidal wave with trough at and crest at , determined by

(24)

Transforming to and defining the shape parameter , (24) becomes a standard incomplete elliptic integral of the first kind. It is inverted in terms of a Jacobi elliptic function , with modulus ()

(25)

At the upper limit , so the cnoidal wave for is

(26)

Its shape depends on while its wavelength and speed are

(27)

Here is the complete elliptic integral of the kind.

The advecting velocity field for cnoidal waves is finite since and have common zeros. Moreover, by modifying the parameters , we get nearby waves with the same feature. Unlike for KdV, where the shape, speed and wavelength of cnoidal waves are non-trivially modified upon a rescaling of amplitude, here produces a new cnoidal wave with the same , , and phase , since the constants transform as .

If , the cnoidal wave extends between and and is given by

(28)

where and .

Solitary waves are cnoidal waves of infinite wavelength. They occur when a pair of simple zeros of coalesce to form a double zero. For example, if in (26) holding and fixed, then , and we get a left-moving solitary wave of depression

(29)

If the zeros coalesce in (28) we get a left-moving solitary wave of elevation

(30)

Finally, if , cnoidal waves reduce to sinusoidal waves with cubic dispersion,

(31)

4 Search for a variational principle for SIdV

To relate symmetries to integrals of motion, it is interesting to find a Lagrangian or Hamiltonian formulation for SIdV. The existence of a Lagrangian for a given equation depends on the field variables used and the sort of Lagrangian allowed. For instance, the dispersive term in KdV isn’t the variation of any polynomial in and its derivatives. This is because every quadratic differential polynomial in involving three -derivatives is a total derivative. Yet, as is well-known, if we put , KdV follows from the Lagrangian density .

In looking for a Lagrangian for SIdV, we choose to work with , which satisfies the KdV-like equation (11) with polynomial non-linearity. By analogy with KdV, we put and seek a polynomial action in and its derivatives, whose Euler-Lagrange (EL) equations are

(32)

is a natural variable since the linear part of the equation admits the polynomial Lagrangian . We wish to add potentials to to reproduce the quadratic and cubic terms in (32). To do so, we note a couple of general features. If is a monomial of degree in and its -derivatives, then (1) the resulting terms in the EL equation form a differential polynomial of degree , and (2) the total number of -derivatives in each term of the differential polynomial are the same as in . Therefore, to produce in the EL equation, must be a quartic differential polynomial with -derivatives, and to give , must be a cubic differential polynomial with derivatives. In other words,

(33)

Can be chosen so that the variation of gives ? Unfortunately not, as777In particular, this means all the differ from one another by total -derivatives.

(34)

For no choice of can we produce just a quadratic monomial in the EL equation. Similarly, we showed that there is no quartic differential polynomial that gives upon variation. We conclude that there is no polynomial Lagrangian in and its derivatives leading to SIdV.

However, the polynomiality assumption is quite strong. There may be a non-polynomial Lagrangian in or one in a variable non-locally related to . An interesting example of such a possibility occurs when and SIdV becomes the linear dispersive equation upon substituting . This equation follows from , where . However, is non-locally related to , so the Lagrangian is non-local in .

Another way around this negative result is that there may be a Hamiltonian that is a differential polynomial in , but with non-canonical Poisson brackets. Such a possibility is realized if , when SIdV can be transformed into the mKdV equation by the substitution and a rescaling (§2.3.3). mKdV admits a Hamiltonian formulation with

(35)

So for , SIdV admits a polynomial Hamiltonian in the variable . It would be interesting to find a Hamiltonian/Lagrangian formulation of SIdV for other values of .

5 Numerical evolution of SIdV solitary waves: recurrent behavior

We numerically solved888The evolution was done using NDSolve on Mathematica. Stability of the numerical evolution was slightly enhanced by working with which satisfies . Positivity of was preserved at all times. the SIdV initial value problem for on the interval with periodic boundary conditions. Numerical evolution of one wave produced a right-moving travelling wave, as expected from the exact solution on . We also considered two solitary waves999The sum over ensures that the initial condition satisfies periodic boundary conditions . In practice, the sum was restricted to since the remaining terms are exponentially small for .

(36)

When the two solitary waves were initially separated by some distance but had the same heights and speed, they were observed to travel without much interaction, just like individual solitary waves.

Next, we gave the two waves the same initial amplitudes but different speeds (or widths) and locations at (fig. 1(a)). So it would take each wave by itself a time of and to traverse the -interval. Solitary waves that decay at must be right-moving, so we couldn’t give them opposing velocities. But , so wave- caught up with wave- due to periodic boundary conditions and collided with it from the rear. Then they separated into a small leading wave and a larger trailing wave. The original solitary waves did not retain their shapes. The smaller wave that emerged from the collision moved faster and caught up with the bigger one by going round the circle. During the next collision, the smaller wave rear-ended the larger one. The large one in front morphed into a fast small wave, leaving behind a slow large wave. This is illustrated in the last three plots of fig. 1(a). Qualitatively, this pattern seemed to repeat as the IVP was solved up to , allowing more than two dozen collisions to be observed101010A maximum of grid points were placed at an average spacing of the domain width . The qualitative features reported here were unchanged by adding more points. Over the time interval , nearly equal steps were taken with an average time step of of the time it took wave- in isolation to traverse the domain..

Though not KdV solitons, the solitary waves that were involved in these collisions displayed a certain coherence, they did not dissipate nor degenerate into ripples. Despite not being periodic, the evolution seemed to approximately revisit earlier configurations. Interestingly, there was no equipartitioning of wave intensity. We illustrate this in fig. 2(a) by plotting the absolute squares of the first few Fourier coefficients of as a function of time111111, the negative coefficients contain no new information for real .. There is some exchange of intensity among the first or so Fourier modes , with an approximate periodicity of . But there is no appreciable leakage to higher Fourier modes , which are uniformly three to six orders of magnitude smaller than . There is some growth in . But this can’t be distinguished from an accumulation of numerical errors, which also caused the integral of motion to increase by over a time (fig. 1(b)).

What is more, though the Raleigh quotient (‘gradient energy’ or mean square mode number)

(37)

is not conserved, it seems to oscillate between bounded limits (fig 2(b)). The rms mode number hovers around . A calibration of using the linear dispersive equation indicates that there are about

active degrees of freedom present,

being the dominant one, with some contribution from . These numerical simulations indicate that in a periodic domain, the SIdV equation displays recurrent behaviour (for ) despite possessing only two (known) constants of motion.

(a) at , before, during and after collision of right-moving waves on -periodic interval.
(b) is conserved upto numerical errors, which cause it to grow by about for .
Figure 1: SIdV evolution of two solitary wave initial state. Times are indicated above the plots in fig. 1(a).
(a) for modes (top to bottom).
(b) Rayleigh quotient from order Fourier series
Figure 2: Time dependence of Fourier coefficients of and gradient energy for a two-solitary-wave initial state.

6 Advection-dispersion equations sharing KdV solitary waves

One of the questions that puzzled us after the discovery of (3) by genetic programming, was whether there are other such non-linear advection-dispersion equations, sharing the wave with KdV [16, 17, 18]. To explore this question let us consider the following generalized form of an advection dispersion equation,

(38)

where is an arbitrary dimensionless parameter and is an arbitrary function. We work in units where and assume the advecting velocity to be translation-invariant, so that constants are generically solutions. We look for all and for which (38) admits every asymptotically decaying KdV travelling wave as a solution. We proceed by supposing that every decaying travelling wave that solves (1) also solves (38) for the same speed . Then

(39)

Eliminating we get

(40)

This equation for and must be satisfied for arbitrary decaying KdV travelling waves. Since KdV admits non-constant travelling waves, . So we must have . is eliminated using the KdV equation . However, simply substituting gives leading back to the KdV equation. On the other hand, we could integrate either once or twice while omitting integration constants for asymptotically decaying waves and find

(41)

Eliminating from (40), we find is arbitrary and can take the functional forms

(42)

However, these are not the only possibilities. Instead of integrating , we could differentiate this expression (any number of times!) and then use it to eliminate . In this manner we get an infinite sequence of higher order advecting velocities for which (38) admits (2) as a solution:

(43)
(44)

and are distinguished in that they are linear combinations of (KdV) and new scale-invariant advecting velocities or . differ from KdV by non-scale-invariant advecting velocities. They also involve higher order derivatives than in the dispersive term .

Thus, KdV is at the center of an infinite dimensional space of advection-dispersion equations with solitary wave solutions. In the space of equations, we can go out a ‘distance’ in any of the directions defined by while retaining this solution. In the simplest (least non-linear) case

, we get the KdV-SIdV family interpolating between KdV (

) and (3) ()

(45)

It may be noted that and are distinctly different parameters and we have therefore kept a separate notation. is a dispersion coefficient that is exclusive to SIdV advection and is a different parameter that allows the KdV and the SIdV(when ) equations to be regarded as part of the SIdV-KdV one parameter family. Like KdV and SIdV, (45) preserves since it can be written in conservation law form

(46)

As we omitted a constant of integration in (41), the above argument does not guarantee that every other KdV travelling wave is a solution of (45). For example, there are non-decaying KdV travelling waves (e.g. ) which are not solutions of (45) when . Nevertheless, (3) has cnoidal and non-decaying solitary waves of its own. Had we kept the constant of integration , we would have found . By varying we get equations that share particular asymptotic classes of travelling wave solutions with KdV.

7 Discussion and conclusion

In this paper we studied a scale-invariant analogue of the KdV equation, , which we named the SIdV equation. SIdV is one of the two simplest translation, scale and space-time parity-invariant non-linear advection-dispersion equations121212The other one involves the reciprocal of SIdV’s advecting velocity: .. The dimensionless parameter measures the strength of dispersion relative to advection. For , SIdV shares the solitary wave with KdV, as originally discovered by genetic programming. When , the equation reduces to the integrable mKdV equation, to a linear dispersive wave equation and to a non-linear diffusion equation. Like KdV, SIdV admits similarity solutions, solitary and cnoidal travelling waves, and remarkably, even plane waves. SIdV may be written in conservation law form in two ways (5, 6), leading to two integrals of motions. In general, we have not been able to find a Lagrangian for SIdV, indeed we could show that there is no Lagrangian polynomial in , where . However, we found a Lagrangian in a different variable at and a Hamiltonian when .

For , numerical evolution of a pair of solitary waves did not show KdV-like soliton scattering, nor did the wave intensity tend towards equipartition among all Fourier modes, even after three dozen collisions. The wave intensity appeared to circulate among the modes present in the initial state. Effectively, a finite number of degrees of freedom appeared to take part in the dynamics. This was also manifested in the boundedness of the gradient energy in our simulations. So despite the apparent absence of soliton scattering and presence of only two known conserved quantities, (3) seems to display ‘Birkhoff recurrence’ like the Fermi-Pasta-Ulam or KdV systems. Thus, it may provide a counter example to the idea that integrability is necessary for recurrence. This was suggested in [8], where the number of effective degrees of freedom of a conservative nonlinear wave equation was identified as the possible origin of a Birkhoff recurrence, a concept generalizing the well-known Poincaré recurrence of finite-dimensional Hamiltonian systems. The above-mentioned SIdV-like equation with reciprocal advecting velocity is also interesting from this viewpoint, as it admits the conserved quantity . It follows by Poincare’s inequality that the mean square mode number is bounded, and we expect it too to display recurrence!

There are of course several other interesting directions such as perturbation theory for (45) around the KdV limit, and for SIdV around the solvable limits. Additional conserved quantities and solutions on bounded domains with homogeneous boundary conditions or on a half-line are also of interest. More generally, we would like to study structural issues like regularity and stability. We are also examining multi-dimensional analogues of SIdV as well as a complex version

which has a locally conserved ‘probability’ density

.

Motivated by the computer-aided discovery of (3) we searched for other advection-dispersion equations sharing the KdV solitary wave. We found that there is an infinite sequence of 1-parameter families of advective velocities (42, 44) that generalize the KdV equation while retaining its solitary wave solution. They involve a linear combination of KdV-like and new rational advective velocities. The first two of these have the feature of being scale-invariant: (SIdV) and . Among all these equations sharing KdV solitary waves, the KdV-SIdV family (43) appears to be unique in not involving higher order derivatives and admitting a positive definite conserved density (). It would be interesting to study this generalization in greater detail.

Acknowledgements:

The work of GSK was supported by a Ramanujan grant of the Dept. of Science and Technology, Govt. of India.

Appendix A Computer-aided discovery of SIdV equation

The basic idea behind Genetic Programming (GP) is to simulate a stochastic process by which genetic traits evolve in offspring, through a random combination of the genes of the parents. Following the seminal work by Koza [15], the GP framework provides a very useful stochastic engine to discover various solution regimes in a complex search terrain of a given problem. It is known that an evolutionary method is especially useful when direct methods are not available. In order to set up a GP engine, a non-linear chromosome structure representing a candidate solution is set up that can potentially grow to a true solution by successive applications of GP operators of selection, copy, crossover and mutation. The quality of a given chromosome is defined and scaled down typically to a fitness range with fitness signifying a true solution. Stochastically generated chromosomes fill an initial pool that is evolved through successive generations in which potentially strong candidate chromosomes are selected based on their fitness values. They undergo possible refinements through GP operators and hopefully march towards a solution with fitness=1. In using GP to deduce a PDE like the KdV (in symbolic form) from an analytic travelling wave solution, one begins by considering a general expression for a third order ODE,

(47)

where is a function of the travelling wave phase . For example, a chromosome during a GP iteration could be

. The fitness parameter is then estimated at each stage by examining the mean-squared difference between the ‘chromosomal value’ of

and its value at the given analytic solution. GP follows a ‘fitness driven evolution path’ by minimizing the error in admitting the given function as a solution. We carried out a number of GP experiments for the KdV solitary wave (2). Due to a stochastic search procedure adopted by GP, it was found to be too slow. We improved and accelerated it by introducing a sniffer technique [12] that carried out a local search at regular intervals to enhance the minimization procedure. Our improved GP approach was quite successful in inferring PDEs. Starting with the KdV solitary wave and its derivatives, the method not only reproduces the KdV equation, but also gives the SIdV equation (3).

References

  • [1] Korteweg, D. J. and de Vries, G. 1895 On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves. Philosophical Magazine 39, 422–443.
  • [2] Scott Russell, J. 1844 Report on waves. Fourteenth meeting of the British Association for the Advancement of Science.
  • [3] Zabusky, N. J. and Kruskal, M. D. 1965 Interaction of solitons in a collisionless plasma and the recurrence of initial states. Phys. Rev. Lett. 15, 240–243.
  • [4] Washimi, H. and Taniuti, T. 1966 Propagation of ion acoustic solitary waves of small amplitude. Phys. Rev. Lett. 17, 996–998.
  • [5] Benney, D. J. 1966 Long nonlinear waves in fluid flows. J. Math. Phys., 45, 52–69.
  • [6] Yomosa, S. 1987 Solitary Waves in Large Blood Vessels. Journal of the Physical society of Japan 56, 506–520.
  • [7] Fermi, E., Pasta, J., and Ulam, S. 1955 Studies of nonlinear problems. Reprinted in Lectures in applied mathematics 15, American Math. Society, New York.
  • [8] Thyagaraja, A. 1979 Recurrent motions in certain continuum dynamical systems. Phys. Fluids 22 (11), 2093–2096.
  • [9] Thyagaraja, A. 1983 Recurrence phenomena and the number of effective degrees of freedom in nonlinear wave motion. Nonlinear waves Ch. 17, Ed. L. Debnath, Camb. Univ. Press, 308–325.
  • [10] Miura, R. M., Gardner, C. S., Kruskal, M. D. 1968 Korteweg-de Vries equation and generalizations. II. Existence of conservation laws and constants of motion. J. Math. Phys. 9, 1204–1209.
  • [11] Miura, R. M. 1976 The Korteweg-de Vries equation: a survey of results. SIAM Rev. 18, 412–59.
  • [12] Ahalpara, D.P. and Sen, A. 2011 A Sniffer Technique for an Efficient Deduction of Model Dynamical Equations using Genetic Programming. Procs. European Conference, EuroGP 2011(eds: S. Silva et al.), Torino, Italy, April 2011, Lecture Notes in Computer Science (LNCS 6621), 1–12.
  • [13] Kudryashov, N.A. 2004 Nonlinear differential equations with exact solutions expressed via the Weierstrass function. Z. Naturforsch. 59a, 443 - 454.
  • [14] Drazin, P. G. and Johnson, R.S. 1996 Solitons: an introduction. Cambridge Texts in Applied Mathematics.
  • [15] Koza J. R. 1992 Genetic Programming: On the Programming of Computers by Means of Natural selection and Genetics, Cambridge, MA: MIT Press.
  • [16] Kudryashov, N.A., Sinelshchikov, D.I. (2010) Nonlinear waves in bubbly liquids with consideration for viscosity and heat transfer. Physics LettersA 374 2011-2016.
  • [17] Randrüüt, M. 2011 On the Kudryashov-Sinelshchikov Equation for waves in bubbly liquids. Physics Letters A 375 3687-3692.
  • [18] Ryabov, P.N. 2010 Exact solutions of the Kudryashov-Sinelshchikov equation. Applied Mathematics and Computation 217 3585-3590.