Math 575-Lecture 26. KdV equation. Derivation of KdV

Similar documents
Continuous limits and integrability for a semidiscrete system Zuo-nong Zhu Department of Mathematics, Shanghai Jiao Tong University, P R China

Dispersion relations, stability and linearization

Dispersion in Shallow Water

The Whitham Equation. John D. Carter April 2, Based upon work supported by the NSF under grant DMS

Hamiltonian partial differential equations and Painlevé transcendents

Yair Zarmi Physics Department & Jacob Blaustein Institutes for Desert Research Ben-Gurion University of the Negev Midreshet Ben-Gurion, Israel

Lecture 10: Whitham Modulation Theory

Stability and Shoaling in the Serre Equations. John D. Carter. March 23, Joint work with Rodrigo Cienfuegos.

Hamiltonian partial differential equations and Painlevé transcendents

2. Examples of Integrable Equations

On the Whitham Equation

Introduction to Inverse Scattering Transform

Periodic Solutions of the Serre Equations. John D. Carter. October 24, Joint work with Rodrigo Cienfuegos.

Are Solitary Waves Color Blind to Noise?

The effect of a background shear current on large amplitude internal solitary waves

Dynamics of Strongly Nonlinear Internal Solitary Waves in Shallow Water

An integrable shallow water equation with peaked solitons

12 Lecture 12. Lax pair and Toda lattice

About a gauge-invariant description of some 2+1-dimensional integrable nonlinear evolution equations

A new integrable system: The interacting soliton of the BO

On the N-tuple Wave Solutions of the Korteweg-de Vnes Equation

Model Equation, Stability and Dynamics for Wavepacket Solitary Waves

Inverse scattering technique in gravity

Alexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011

arxiv:patt-sol/ v1 25 Sep 1995

A Novel Nonlinear Evolution Equation Integrable by the Inverse Scattering Method

NUMERICAL SOLITARY WAVE INTERACTION: THE ORDER OF THE INELASTIC EFFECT

Generation of undular bores and solitary wave trains in fully nonlinear shallow water theory

On universality of critical behaviour in Hamiltonian PDEs

Waves and characteristics: Overview 5-1

Numerical solutions of the small dispersion limit of KdV, Whitham and Painlevé equations

Solitons : An Introduction

Algebraic geometry for shallow capillary-gravity waves

The Orchestra of Partial Differential Equations. Adam Larios

Modulation and water waves

Generation of Secondary Solitary Waves in the Variable-Coefficient Korteweg-de Vries Equation

Rogue periodic waves for mkdv and NLS equations

Freedom in the Expansion and Obstacles to Integrability in Multiple-Soliton Solutions of the Perturbed KdV Equation

KdV equation obtained by Lie groups and Sturm-Liouville problems

Collisionless Shocks and the Earth s Bow Shock

Shock Waves & Solitons

Symmetry Reductions of (2+1) dimensional Equal Width. Wave Equation

Dispersion relations, linearization and linearized dynamics in PDE models

Lecture 6: Derivation of the KdV equation for surface and internal waves

APPROXIMATE MODEL EQUATIONS FOR WATER WAVES

INVERSE SCATTERING TRANSFORM, KdV, AND SOLITONS

A PERIODICITY PROBLEM FOR THE KORTEWEG DE VRIES AND STURM LIOUVILLE EQUATIONS. THEIR CONNECTION WITH ALGEBRAIC GEOMETRY

Strongly nonlinear long gravity waves in uniform shear flows

A solitary-wave solution to a perturbed KdV equation

Nonlinear Fourier Analysis

The Stochastic KdV - A Review

Modified Serre Green Naghdi equations with improved or without dispersion

Resonant excitation of trapped coastal waves by free inertia-gravity waves

The Evans function and the stability of travelling waves

Hamiltonian partial differential equations and Painlevé transcendents

Diagonalization of the Coupled-Mode System.

GFD 2013 Lecture 4: Shallow Water Theory

Solitons. M.W.J. Verdult

The General Form of Linearized Exact Solution for the KdV Equation by the Simplest Equation Method

Answers to Problem Set Number MIT (Fall 2005).

0.3.4 Burgers Equation and Nonlinear Wave

A Note On Solitary Wave Solutions of the Compound Burgers-Korteweg-de Vries Equation

Numerical Study of Oscillatory Regimes in the KP equation

Chapter 3. Head-on collision of ion acoustic solitary waves in electron-positron-ion plasma with superthermal electrons and positrons.

Long-wave Instability in Anisotropic Double-Diffusion

Non-linear Equations of Korteweg de Vries Type, Finite-Zone Linear Operators, and Abelian Varieties. B.A.Dubrovin V.B.Matveev S.P.

Last time: Diffusion - Numerical scheme (FD) Heat equation is dissipative, so why not try Forward Euler:

Notes on Quantum Mechanics

Recurrence in the KdV Equation? A. David Trubatch United States Military Academy/Montclair State University

Numerical Solutions to Partial Differential Equations

Convergence of operator splitting for the KdV equation

A Short historical review Our goal The hierarchy and Lax... The Hamiltonian... The Dubrovin-type... Algebro-geometric... Home Page.

PAPER 84 QUANTUM FLUIDS

Part II Integrable Systems

Exact Solutions for a Fifth-Order Two-Mode KdV Equation with Variable Coefficients

MAE294B/SIOC203B: Methods in Applied Mechanics Winter Quarter sgls/mae294b Solution IV

A note on the G /G - expansion method

Hamiltonian partial differential equations and Painlevé transcendents

Equation for three dimensional nonlinear waves in liquid with gas bubbles

Periodic and Soliton Solutions for a Generalized Two-Mode KdV-Burger s Type Equation

Stability Analysis of Stationary Solutions for the Cahn Hilliard Equation

HOMOTOPY ANALYSIS METHOD FOR SOLVING KDV EQUATIONS

Basic Concepts and the Discovery of Solitons p. 1 A look at linear and nonlinear signatures p. 1 Discovery of the solitary wave p. 3 Discovery of the

FORCED OSCILLATIONS OF A CLASS OF NONLINEAR DISPERSIVE WAVE EQUATIONS AND THEIR STABILITY

T.R. Akylas Department of Mechanical Engineering, Massachusetts Institute of Technology, Cambridge, MA, USA.

Derivation of Generalized Camassa-Holm Equations from Boussinesq-type Equations

On critical behaviour in systems of Hamiltonian partial differential equations

Wronskians, Generalized Wronskians and Solutions to the Korteweg-de Vries Equation

Group analysis, nonlinear self-adjointness, conservation laws, and soliton solutions for the mkdv systems

STUDIES IN RECURRENCE IN NONLINEAR DISPERSIVE WAVE EQUATIONS

MATHEMATICAL STRUCTURES IN CONTINUOUS DYNAMICAL SYSTEMS

2017 年環境流體力學短期講座 Short Course on Environmental Flows

Introduction to the Hirota bilinear method

FAST COMMUNICATION THREE-DIMENSIONAL LOCALIZED SOLITARY GRAVITY-CAPILLARY WAVES

On Decompositions of KdV 2-Solitons

THE LAX PAIR FOR THE MKDV HIERARCHY. Peter A. Clarkson, Nalini Joshi & Marta Mazzocco

S.Novikov. Singular Solitons and Spectral Theory

Lecture 12: Transcritical flow over an obstacle

Integrable dynamics of soliton gases

QUANTUM MECHANICS A (SPA 5319) The Finite Square Well

Transcription:

Math 575-Lecture 26 KdV equation We look at the KdV equations and the so-called integrable systems. The KdV equation can be written as u t + 3 2 uu x + 1 6 u xxx = 0. The constants 3/2 and 1/6 are not important as we can make them arbitrary by suitable scaling. Boussinesq first obtained it in 1877. Korteweg and de Vries (1895) then derived it for weakly nonlinear shallow water waves. In 1965, Zabusky and Kruskal derived the KdV equation from the FPU model m dx n dt It arises from many models. Derivation of KdV = F ( 0 + x n+1 x n ) F ( 0 + x n x n 1 ), F ( ) = k + α 3 Here, let us derive it from the Euler equations where the nonlinearity and dispersion reach a balance. It is a good model used to describe the tsunamis.the main reference is Section 3.2.1 in the book A Modern introduction to the mathematical theory of water waves. Euler equations. To be convenient, let us introduce The equation becomes u t + u x u + w z u = x (p/ρ), w t + u x w + w z w = z (p/ρ) g P = p ρ + gz p 0 ρ u t + u x u + w z u = x P, w t + u x w + w z w = z P Suppose that the typical wavelength is λ, the typical amplitude is a and the typical depth is h 0. The fluid region is 0 z h 0 + aη 1

The shallowness is δ = h 0 /λ, and the amplitude parameter is ɛ = a/h 0. We will study the small amplitude, shallow regime.we focus on the particlar regime We do the scalings δ 2 = ɛ. x = x/λ, z = z/h 0, ū = u/ gh 0 By the incompressibility, the scale for w is h 0 gh0 /λ. The scale for pressure is gh 0. Dropping the bars, we then find the scaled equations The boundary conditions u t + u x u + w z u = x P, ɛ(w t + u x w + w z w) = z P, x u + z w = 0. P (z = 1 + ɛη) = const + ɛη, w = ɛ(η t + uη x ) If one throws away the small terms, one gets the leading order terms u t + u x u + w z u = x P, 0 = z P and z = 1. The solution is trivial: u = w = 0, P = const. Hence, to find the nontivial solutions we must go to the next orders, especially for the dynamics of η. Further, the leading order should be a wave, so ξ = x t appears as a variable (using this variable, we are moving with the wave). We expect that the wave shape will change in a large time scale τ = ɛt. These expectations allow us to do the multi-sclae ansatz q = ɛ n q n (ξ, τ, z), η = n=1 ɛ n η n n=0 since u 0 = w 0 = 0, P 0 = const. The equations are reduced to u ξ + ɛ τ u + u ξ u + w z u = ξ P, ɛ( ξ w + ɛ τ w) + ɛ(u ξ w + w z w) = z P, We also expand the boundary conditions ξ u + z w = 0 P (ξ, τ, 1 + (ɛη 0 + ɛ 2 η 1 +...)) = 1 + ɛη 0 + ɛη 1 +... 2

we find P 0 (ξ, τ, 1) = 1, P 1 (ξ, τ, 1) = η 0 (ξ, τ, 1), P 2 (ξ, τ, 1) + η 0 z P 1 (ξ, τ, 1) = η 1. For the other boundary condition, (ɛw 1 + ɛ 2 w 2 ) z=1+ɛη0 +ɛ 2 η 1 + O(ɛ 3 ) = ɛ( η ξ + ɛ τ η) + ɛ 2 u 1 ξ η 0 + O(ɛ 3 ) we find O(ɛ), w 1 (ξ, τ, 1) = ξ η 0, w 2 + η 0 z w 1 z=1 = ξ η 1 + τ η 0 + u 1 ξ η 0 ξ u 1 = ξ P 1, 0 = z P 1, ξ u 1 + z w 1 = 0. The boundary condition for P 1 (z = 1 + ɛη 1 ) = η 0. Consequently, P 1 = η 0, u 1 = η 0, w 1 = z ξ η 0 The boundary condition w 1 = t η 0 = ξ η 0 is satisfied at z = 1. O(ɛ 2 ), ξ u 2 + τ u 1 + u 1 ξ u 1 + w 1 z u 1 = ξ P 2, ξ w 1 = z P 2, ξ u 2 + z w 2 = 0 We find P 2 = 1 2 (1 z2 ) ξξ η 0 + η 1. and z w 2 = τ u 1 u 1 ξ u 1 w 1 z u 1 ξ P 2 = τ η 0 η 0 ξ η 0 1 2 (1 z2 ) ξξξ η 0 ξ η 1 The boundary condition w 2 z=1 = η 0 ξ η 0 ξ η 1 + τ η 0 + η 0 ξ η 0 yields the KdV equation τ η 0 + 3 2 η 0 ξ η 0 + 1 6 η 0,ξξξ = 0 In other words, the change of wave profile in large time scale in the frame moving with the wave satisfies the KdV equation. 3

Mathematical structures of KdV To be convenient, we do suitable scaling and study the KdV as u t + uu x + u xxx = 0. It is the Burger s equation with a dispersive term. It is well-known that the nonlinear Burger s equation can develop shocks. The dispersive term could balance the nonlinearity so that there is stable pump solution called a soliton. Solitons can go through each other without changing the shape. This dispersive perturbation is very different from the dissipative perturbation u t + uu x = ɛu xx The latter is called, viscous Burger s equation, which could be solved through the Hopf- Cole transformation while the KdV can be solved through the inverse scattering transformation. The dissipation (or equivalently white noise) could lead to the equipartition while the dispersive property may not lead to equipartition of energy. Remark 1. For a linear operator with constant coefficients, A(u), one can consider the equation u t = A(u). Since A(u) has eigenfunctions e ikx, then u t = A(u) has solutions of the form e i(kx ω(k)t). Any solution can be constructed as u = A(k)e i(kx ω(k)t) dk. ω(k) is called the dispersion relation. If ω(k) is real, then A(k)e iω(k)t does not decay and each mode travels with different speed. In this case, A(u) is called dispersive. However, if ω(k) is imaginary with negative imaginary part, then e iω(k)t decays. Such a term is called dissipative. Conservation laws and integrable systems Clearly, the KdV equation can be written as We can also rewrite it as u t + ( u2 2 + u xx) x = 0 (u 2 ) t + ( 2 3 u3 + 2uu xx u 2 x) x = 0 This way, both u and u 2 dx are conserved. 4

For a given autonomous ODE system for u R N : d u dt = F ( u). If we can find a conserved quantity, E(u 1,..., u N ) = C, then we can reduce the ODE system to N 1 dimension. Hence, if we can determine N conserved quantities, the ODE system is totally solved by these N constants. Of course, if the solution really depends on time, we may not be able to find such N conserved quantities. For a Hamiltonian, the story is quite different. d dt u = ( 0 IN I N 0 ) u H where u R 2N. This is a 2N-dimensional Hamiltonian system. The famous theorem of Liuoville-Arnold is that if we can find N conserved quantities (like energy, momentum etc) for a Hamiltonian, then, the solutions can be written in terms of these N constants totally as quasiperiodic motion on the N-dimensional torus. Hence, if a 2N-Hamiltonian has N conserved quantities, it is called completely integrable. It is well-known that the three-body problem where one is with big mass is not integrable. The KdV equation is also Hamiltonian, because it can be written as u t = J δh δu, J = d dx, H = [ 1 6 u3 + 1 2 uu xx]dx. ( H is then automatically constant.) Well, is it completely integrable? The KdV equation is an infinitely dimensional Hamiltonian system. Previously, we have seen that KdV has infinitely many conservation laws. A more clean way to see the infinitely many conservation laws is to adopt the Gardner transform. The Gardner transform: u = w + ɛw x + Aɛ 2 w 2. Here, we consider the special case A = 1 6. Since u satisfies the KdV, then w satisfies the Gardner equation w t + ww x ɛ2 6 w2 w x + w xxx = 0 w t + ( 1 2 w2 ɛ2 18 w3 + w xx ) x = 0. The idea is to solve w in terms of u: we expand about ɛ: w = ɛ n w n [u] n=0 5

where w n [u] means it is a functional of u. Comparing the coefficients of ɛ, we obtain: ɛ n ( t D n + x F n ) = 0 n=0 By this formula, D n dx is a conserved quantity. Note that for odd n, D n is a total derivative so the odd terms are not interesting. However, even though we have infinitely many local conservation laws, we may not still be able to conclude that KdV is completely integrable as we can not determine the solutions totally. Idea of Inverse scattering transform To solve the KdV totally, one can use the inverse scattering transform. The Burgers equation u t + uu x = Au xx can be solved by the Cole-Hopf: u = Cψ x /ψ by choosing suitable C to reduce the Burgers to heat equation. Gardner, Greene, Kruskal and Miura were trying to do the same thing for the KdV. They introduced or u + E = 6 ψ xx ψ 6ψ xx uψ = Eψ. This is the eigenvalue problem for Schrodinger equation of ψ with potential u. The key observation then is that if u solves the KdV, the eigenvalues E does not change with parameter t. If one starts solve the eigenvalue problem, there are two kinds of spectrum: the discrete spectrum and continuous spectrum. If E = κ 2 n, n = 1, 2,..., then the eigenfunction is in L 2 (ψ) and asymptotically has the following form ψ n = c n (t)e κnx/ 6 (1 + o( x )), x. It is found that if KdV is satisfied c n (t) = c n (0)e Aκ3 n t for real A. If E = k 2 is positive, then the eigenfunctions are like planar waves: ψ(x, k) = e ikx/ x + r(k)e ikx/ 6 + o(1), x, while ψ(x; k) = t(k)e ikx/ 6 + o(1). r is called the reflection coefficient while t is called the transmission coefficient. According to KdV, one can solve that r = r(k; 0)e ink3t. 6

The point is that if one knows the discrete spectrum κ n, c n (t) and the reflection coefficient r(k, t), one can recover the potential or the solution! This is called the inverse scattering transform. A brief word about Lax pair Let L = 6 d2 dx 2, d3 B = 4 dx 3 u d dx 1 2 u x. Then, Peter Lax found that the KdV equation can be rewritten as dl dt + [L, B] = 0. This is called the Lax equation. In particular, if one considers the two linear equations Lφ = λφ, φ t = Bφ. The Lax equation is the consistent condition for these two linear equations. These two linear equations are called the Lax pair. Using the Lax pair, one is able to construct the local conservation laws also and apply the inverse scattering transform to solve the solutions totally. Hence, if a Hamiltonian system has a Lax pair, then it is integrable. 7