justification of the nls approximation for the kdv ... · 4 advances in mathematical physics...
TRANSCRIPT
![Page 1: Justification of the NLS Approximation for the KdV ... · 4 Advances in Mathematical Physics Theorem 3.1. Fix s≥1 and let A∈C 0,T 0,Hs 4 beasolutionoftheNLSequation 1.6.Then there](https://reader031.vdocument.in/reader031/viewer/2022041311/5e1566e8110f2556711b3b7c/html5/thumbnails/1.jpg)
Hindawi Publishing CorporationAdvances in Mathematical PhysicsVolume 2011, Article ID 854719, 4 pagesdoi:10.1155/2011/854719
Research ArticleJustification of the NLS Approximation for the KdVEquation Using the Miura Transformation
Guido Schneider
IADM, Universitat Stuttgart, Pfaffenwaldring 57, 70569 Stuttgart, Germany
Correspondence should be addressed toGuido Schneider, [email protected]
Received 4 March 2011; Accepted 16 March 2011
Academic Editor: Pavel Exner
Copyright q 2011 Guido Schneider. This is an open access article distributed under the CreativeCommons Attribution License, which permits unrestricted use, distribution, and reproduction inany medium, provided the original work is properly cited.
It is the purpose of this paper to give a simple proof of the fact that solutions of the KdV equationcan be approximated via solutions of the NLS equation. The proof is based on an elimination ofthe quadratic terms of the KdV equation via the Miura transformation.
1. Introduction
The NLS equation describes slow modulations in time and space of an oscillating andadvancing spatially localized wave packet. There exist various approximation results, cf. [1–4] showing that the NLS equation makes correct predictions of the behavior of the originalsystem. Systems with quadratic nonlinearities and zero eigenvalues at the wave numberk = 0 turn out to be rather difficult for the proof of such approximation results, cf. [5, 6].The water wave problem falls into this class. Very recently, this long outstanding problem[7] has been solved [8] for the water wave problem in case of no surface tension and infinitedepth by using special properties of this problem. Another equation which falls into thisclass is the KdV equation. The connection between the KdV and the NLS equation has beeninvestigated already for a long time, cf. [9]. In [10, 11] the NLS equation has been derivedas a modulation equation for the KdV equation, and its inverse scattering scheme has beenrelated to the one of the KdV equation. It is the purpose of this paper to give a simpleproof of the fact that solutions of the KdV equation can be approximated via solutions ofthe NLS equation. Beyond things this has been shown by numerical experiments in [12]. Ananalytical approximation result has been given by a rather complicated proof in [5] with asmall correction explained in [6]. The much simpler proof of this fact presented here is basedon an elimination of the quadratic terms of the KdV equation via the Miura transformation.
![Page 2: Justification of the NLS Approximation for the KdV ... · 4 Advances in Mathematical Physics Theorem 3.1. Fix s≥1 and let A∈C 0,T 0,Hs 4 beasolutionoftheNLSequation 1.6.Then there](https://reader031.vdocument.in/reader031/viewer/2022041311/5e1566e8110f2556711b3b7c/html5/thumbnails/2.jpg)
2 Advances in Mathematical Physics
Following [13] the KdV equation
∂tu − 6u∂xu + ∂3xu = 0 (1.1)
can be transferred with the help of the Miura transformation
u = v2 + ∂xv (1.2)
via direct substitution
2v∂tv + ∂x∂tv − 6(v2 + ∂xv
)(2v∂xv + ∂2xv
)+ 6(∂xv)∂2xv + 2v∂3xv + ∂4xv
= (2v + ∂x)(∂tv − 6v2∂xv + ∂3xv
)= 0
(1.3)
into the mKdV equation
∂tv − 6v2∂xv + ∂3xv = 0. (1.4)
In order to derive the NLS equation we make an ansatz
εψv(x, t) = εA(ε(x − ct), ε2t
)ei(kx−ωt) + c.c. (1.5)
for the solutions v = v(x, t) of (1.4), where 0 < ε � 1 is a small perturbation paramater.Equating the coefficient at εei(kx−ωt) to zero yields the linear dispersion relation ω = −k3.At ε2ei(kx−ωt) we find the linear group velocity c = −3k2 and at ε3ei(kx−ωt) we find that thecomplex-valued amplitude A satisfies the NLS equation
∂2A = −3ik∂21A − 6ikA|A|2. (1.6)
2. Approximation of the mKdV Equation via the NLS Equation
Our first approximation result is as follows.
Theorem 2.1. Fix s ≥ 2 and let A ∈ C([0, T0],Hs+3) be a solution of the NLS equation (1.6). Thenthere exist ε0 > 0 and C > 0 such that for all ε ∈ (0, ε0) there are solutions of the mKdV equation(1.4) such that
supt∈[0,T0/ε2]
∥∥v(·, t) − εψv(·, t)∥∥Hs ≤ Cε3/2. (2.1)
Proof. The error function R defined by v(x, t) = εψv(x, t) + ε3/2R(x, t) satisfies
∂tR + ∂3xR − 6ε2∂x(ψ2vR
)− 6ε5/2∂x
(ψvR
2)− 2ε3∂x
(R3
)+ ε−3/2Res
(εψv
)= 0, (2.2)
![Page 3: Justification of the NLS Approximation for the KdV ... · 4 Advances in Mathematical Physics Theorem 3.1. Fix s≥1 and let A∈C 0,T 0,Hs 4 beasolutionoftheNLSequation 1.6.Then there](https://reader031.vdocument.in/reader031/viewer/2022041311/5e1566e8110f2556711b3b7c/html5/thumbnails/3.jpg)
Advances in Mathematical Physics 3
with
Res(εψv
)= E
(ε4∂31A − 6ε4∂1
(A|A|2
))− E3
(2ε3(ik + ε∂1)
(A3
))+ c.c., (2.3)
where E = ei(kx−ωt). In order to eliminate the O(ε3) terms we modify the previous ansatz (1.5)by adding
ε36ik
3iω − (3ik)3(A3
)E3 + c.c.. (2.4)
After this modification the residual Res(εψv) is of formal order O(ε4). When evaluated inHs
there is a loss of ε−1/2 due to the scaling properties of the L2-norm. Hence there exist ε0 > 0and Cres > 0 such that for all ε ∈ (0, ε0) we have
supt∈[0,T0/ε2]
∥∥∥ε−3/2Res(εψv(·, t))∥∥∥
Hs≤ Cresε
2. (2.5)
By partial integration we find for s ≥ 2 and allm ∈ {0, . . . , s} that
∂t
∫(∂mx R(x, t))
2dx ≤ C1ε2∥∥ψv(·, t)
∥∥2Cs+1b‖R(·, t)‖2Hs
+ C2ε5/2∥∥ψv(·, t)
∥∥Cs+1b‖R(·, t)‖3Hs
+ C3ε3‖R(·, t)‖4Hs + C4ε
2‖R(·, t)‖Hs,
(2.6)
with ε-independent constants Cj . Hence using a ≤ 1 + a2 shows that the energy y(t) =‖R(·, t)‖2Hs satisfies
∂ty(t) = C5ε2y(t) + C6ε
5/2y(t)3/2 +C7ε3y(t)2 + C8ε
2. (2.7)
Rescaling time T = ε2t and using Gronwall’s inequality immediately shows the O(1)boundedness of y for all T ∈ [0, T0], respectively all t ∈ [0, T0/ε2]. Therefore, we are done.
3. Transfer to the KdV Equation
Applying the Miura transformation (1.2) to the approximation εψv defines an approximation
εψu = ε2ψ2v + ε∂xψv = εikA
(ε(x − ct), ε2t
)ei(kx−ωt) + c.c. +O
(ε2)
(3.1)
of the solution u of the KdV equation (1.1). Since
∥∥u − εψu∥∥Hs−1 =
∥∥∥v2 + ∂xv − ε2ψ2v − ε∂xψv
∥∥∥Hs−1
≤ ∥∥v − εψv∥∥Hs +O
(ε2)= O
(ε3/2
)(3.2)
the approximation theorem in the original variables follows.
![Page 4: Justification of the NLS Approximation for the KdV ... · 4 Advances in Mathematical Physics Theorem 3.1. Fix s≥1 and let A∈C 0,T 0,Hs 4 beasolutionoftheNLSequation 1.6.Then there](https://reader031.vdocument.in/reader031/viewer/2022041311/5e1566e8110f2556711b3b7c/html5/thumbnails/4.jpg)
4 Advances in Mathematical Physics
Theorem 3.1. Fix s ≥ 1 and let A ∈ C([0, T0],Hs+4) be a solution of the NLS equation (1.6). Thenthere exist ε0 > 0 and C > 0 such that for all ε ∈ (0, ε0) there are solutions of the KdV equation (1.1)such that
supt∈[0,T0/ε2]
∥∥u(·, t) − εψu(·, t)∥∥Hs ≤ Cε3/2. (3.3)
Acknowledgment
This paper is partially supported by the Deutsche Forschungsgemeinschaft DFG under GrantSchn520/8-1.
References
[1] L. A. Kalyakin, “Asymptotic decay of a one-dimensional wave packet in a nonlinear dispersivemedium,” Matematicheskiı Sbornik. Novaya Seriya, vol. 132(174), no. 4, pp. 470–495, 592, 1987.
[2] P. Kirrmann, G. Schneider, and A. Mielke, “The validity of modulation equations for extendedsystems with cubic nonlinearities,” Proceedings of the Royal Society of Edinburgh A, vol. 122, no. 1-2,pp. 85–91, 1992.
[3] G. Schneider, “Justification of modulation equations for hyperbolic systems via normal forms,”NoDEA. Nonlinear Differential Equations and Applications, vol. 5, no. 1, pp. 69–82, 1998.
[4] G. Schneider, “Justification and failure of the nonlinear Schrodinger equation in case of non-trivialquadratic resonances,” Journal of Differential Equations, vol. 216, no. 2, pp. 354–386, 2005.
[5] G. Schneider, “Approximation of the Korteweg-de Vries equation by the nonlinear Schrodingerequation,” Journal of Differential Equations, vol. 147, no. 2, pp. 333–354, 1998.
[6] W.-P. Dull and G. Schneider, “Justification of the nonlinear Schrodinger equation for a resonantBoussinesq model,” Indiana University Mathematics Journal, vol. 55, no. 6, pp. 1813–1834, 2006.
[7] V. E. Zakharov, “Stability of periodic waves of finite amplitude on the surface of a deep fluid,” Journalof Applied Mechanics and Technical Physics, vol. 4, pp. 190–194, 1968.
[8] N. Totz and S. Wu, “A rigorous justification of the modulation approximation to the 2d full waterwave problem,” Preprint, 2011.
[9] R. S. Johnson, “On the modulation of water waves on shear flows,” Proceedings of the Royal Society ofLondon A, vol. 347, pp. 537–546, 1976.
[10] V. E. Zakharov and E. A. Kuznetsov, “Multiscale expansions in the theory of systems integrable bythe inverse scattering transform,” Physica D, vol. 18, no. 1–3, pp. 455–463, 1986.
[11] E. R. Tracy, J. W. Larson, A. R. Osborne, and L. Bergamasco, “On the nonlinear Schrodinger limit ofthe Korteweg-de Vries equation,” Physica D, vol. 32, no. 1, pp. 83–106, 1988.
[12] J. P. Boyd and G.-Y. Chen, “Weakly nonlinear wavepackets in the Korteweg-de Vries equation: theKdV/NLS connection,” Mathematics and Computers in Simulation, vol. 55, no. 4–6, pp. 317–328, 2001.
[13] P. G. Drazin and R. S. Johnson, Solitons: An Introduction, Cambridge Texts in Applied Mathematics,Cambridge University Press, Cambridge, UK, 1989.
![Page 5: Justification of the NLS Approximation for the KdV ... · 4 Advances in Mathematical Physics Theorem 3.1. Fix s≥1 and let A∈C 0,T 0,Hs 4 beasolutionoftheNLSequation 1.6.Then there](https://reader031.vdocument.in/reader031/viewer/2022041311/5e1566e8110f2556711b3b7c/html5/thumbnails/5.jpg)
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Journal ofApplied Mathematics
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
ProbabilityandStatistics
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014
Advances in
Mathematical Physics
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014
International Journal of
Combinatorics
OperationsResearch
Advances in
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Advances in
DecisionSciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of