Upload
others
View
9
Download
0
Embed Size (px)
Citation preview
On Decompositions of KdV 2-Solitons
Alex KasmanCollege of Charleston
Joint work with Nick Benes and Kevin YoungJournal of Nonlinear Science, Volume 16 Number 2 (2006) pages 179-200
-5-2.50 2.5 5-5
-2.502.55
48
Abstract: There is no deep mathematics here, buta student project collected and collated difficult to findinformation on this topic. Moreover, we discovered a fewnew twists. All together, this can help us interpret the“interaction” of KdV solitons.
The KdV Equation
ut − 3
2uux − 1
4uxxx = 0
Originally derived over 100 years ago to model surface waves in a canal.
Category in the Mathematics Classification Scheme (MCS2000) called “KdV-likeequations” (35Q53) and frequently paired with the adjective “ubiquitous”
Completely Integrable: we can write exact solutions.
It has “hump-like” travelling wave solution:
u1(x, t)=u1(x, t; k, ξ) = 2k2sech2(η(x, t; k, ξ))
η(x, t; k, ξ)=kx + k3t + ξ
There are also n-soliton solutions showing nonlinear superposition of acollection of these “humps”:
KdV 2-Soliton
−8 −4 4 8
4
8t = −2
−8 −4 4 8
4
8t = −1
−8 −4 4 8
4
8t = 0
−8 −4 4 8
4
8t = 1
−8 −4 4 8
4
8t = 2
-5-2.50 2.5 5-5
-2.502.55
48
u2(x, t) = 2∂2x log (τ ) τ = e−η1−η2 + eη1−η2 + eη2−η1 + ε2eη1+η2
ε =k2 − k1
k1 + k2ηi = η(x, t; ki, ξi) = kix + k3
i t + ξi
Looks similar to a sum of two travelling waves, but it is not! Note:
Height at t = 0 not sum of heights. Trajectories are “bent” at time of collision.
Philosophical Question: Does the tall one pass through the small one, ordoes the trailing one pass its momentum to the first?
A Decomposition (BKY 2006): u2 = f1 + f2
Consider f1 and f2 such that u2(x, t) = f1(x, t)+f2(x, t). Clearly, there aremany ways to do this, but some are more interesting than others. The followingis original to us
f1(x, t) =8ε2((k2 + k1)
2 + k22e
2η1 + k21e
2η2)
τ 2
f2(x, t) =8((k2 − k1)
2 + k22e
−2η1 + k21e
−2η2)
τ 2.
−8 −4 4 8
4
8t = −2
−8 −4 4 8
4
8t = −1
−8 −4 4 8
4
8t = 0
−8 −4 4 8
4
8t = 1
−8 −4 4 8
4
8t = 2 Key:
= f1(x, t)
= f2(x, t)
Properties: order preserving, positiveformula very nice
Yoneyama’s Speed Preserving Decomposition (1984)
f1 = 2k1(g(η1, η2))xsech2[g(η1, η2)] f2 = 2k2(g(η2, η1))xsech
2[g(η2, η1)]
g(ηi, ηj) = ηi +1
2ln
(1 + ε2 exp(2ηj)
1 + exp(2ηj)
).
Oldest published decomposition, argued that solitons are attractive. Note that f1has a zero near peak of f2.
���
f1 = 0
−8 −4 4 8
4
8t = −2
���
f1 = 0
−8 −4 4 8
4
8t = −1
−8 −4 4 8
4
8t = 0
���
f1 = 0
−8 −4 4 8
4
8t = 1
���
f1 = 0
−8 −4 4 8
4
8t = 2
Key:= f1(x, t)
= f2(x, t)
Properties: speed preserving,non-negative (f1 = 0)formula pretty nicefurther developed by Moloney-Hodnett,Campbell-Parks, Fuch
Miller-Christiansen: Order and MassPreserving
Inspired by Bowtell-Stuart’s singularity analysis, present decomposition satisfying:
(fi)t − 3
4(u2(fi)x + (u2)xfi) − 1
4(fi)xxx = 0.
f1 =4ε2/τ 2(k1(k1 + k2)
2k1 − k2e−2η2 + 2(k1 + k2)
2 + 2k22e
2η1 + k1(k1 + k2)e2η2
)f2 =4/τ 2
(k1(k1 + k2)e
−2η2 + 2k22e
−2η1 + 2(k1 − k2)2 + ε2k1(k1 − k2)e
2η2).
−8 −4 4 8
4
8t = −2
−8 −4 4 8
4
8t = −1
−8 −4 4 8
4
8t = 0
−8 −4 4 8
4
8t = 1
−8 −4 4 8
4
8t = 2 Key:
= f1(x, t)
= f2(x, t)
Properties: order and mass preserving, ±,components satisfy coupled PDEsformulas given here for first time!
Nguyen’s “Ghost” Solitons
“Ghosts” created at collision travel ahead of solitons. Creates decomposition basedon eigenvalue factorization of τ :
f1 =2∂2x log
(e2η1 + e2η2 + 2ε2e2(η1+η2) −√
γ)
f2 =2∂2x log
(e2η1 + e2η2 + 2ε2e2(η1+η2) +
√γ)
γ =e4η1 + e4η2 − 2(k21 − 6k1k2 + k2
2)
(k1 + k2)2e2(η1+η2).
−12 −4 4 8
4
8t = −2
−12 −4 4 8
4
8t = −1
−12 −4 4 8
4
8t = 0
−12 −4 4 8
4
8t = 1
−12 −4 4 8
4
8t = 2
Key:= f1(x, t)
= f2(x, t)
Properties: order preserving, ±formula not too nice or naturalnot spacetime symmetric!
Vain Remarks
Note that only our decomposition has all three of these “soliton like” properties:
• All of its elements are all non-negative, taking only strictly positive valueswhen the parameters and variables are real.
• The set itself is closed under the involution x → −x and t → −t, whichis to say that if one is watching a KdV soliton interaction or the same thingshown in a mirror and run backwards in time.
• All of its elements take the form of quotients of finite linear combinations ofthe form exp(ax + bt).
Next: Decompositions into Three or More Parts
u2(x, t) = f1(x, t) + f2(x, t) + f3(x, t) + · · ·
Why consider n > 2?
Argument #1: The timing ofasymptote intersections suggests“transfer boson”:
−8 −4 4 8
−8
−4
4
8
l−1
l−2
l+1
l+2
t
x
exchangeboson
t
Argument #2: Lax’s originalpaper discusses the number of localmaxima in 2-soliton solution asfunction of the speeds k1 and k2.All have 2 local maxima for almostall times but:
• If k1/k2 is large: there is amoment with just one maximum.
• If k1/k2 is small: two localmaxima at all times.
• In between: there is a momentwhen there are three maxima.
Bryan and Stuart’s 3-part decomposition
Their decomposition also starts with eigenvalues of same matrix as Nguyen, so γis the same:
fi = 2(µ′
i)2
µi(1 + µi)2i = 1, 2 f3 =
2∑i=1
(2∂2x ln(µi))
µi
1 + µi
where
µi =(k1 + k2)e
−2η1−2η2
2(k2 − k1)2(e2η1 + e2η2 + (−1)i
√γ)
−8 −4 4 8
4
8t = −1.
−8 −4 4 8
4
8t = −0.5
−8 −4 4 8
4
8t = 0.
−8 −4 4 8
4
8t = 0.5
−8 −4 4 8
4
8t = 1.
Key:= f1
= f2
= f3
Our decomposition with “exchange soliton”
f1(x, t) =8ε2(k2
2e2η1 + k2
1e2η2)
τ 2f2(x, t) =
8(k22e
−2η1 + k21e
−2η2)
τ 2
f3(x, t) =16(k2 − k1)
2
τ 2
−8 −4 4 8
4
8t = −1.
−8 −4 4 8
4
8t = −0.5
−8 −4 4 8
4
8t = 0.
−8 −4 4 8
4
8t = 0.5
−8 −4 4 8
4
8t = 1.
Key:= f1
= f2
= f3
Here, f3 vanishes for |t| → ∞ and has a unique local max ∀t located at
x = − 1
k2(k3
2t + ξ2 + log√
ε).
Conclusions and Outlook
Nguyen even has a decomposition of u2 with four parts!
Question of how to identify the solitons before and after the interactions is notwell posed mathematical problem: one should not be expecting a definitiveanswer.
Other ways: Several authors have attempted to provide motivation for the orderpreserving interpretation by reference to moving “point particles” associated tosingularities of solutions of the KdV equation.
Making new out of old: If {fi} and {gi} are decompositions of u2 then so is{F (x, t)fi + (1 − F (x, t))gi} for an arbitrary function F . (This dramaticallydemonstrates the extent to which the decompositions fail to be unique.)
Future goals: Decomposition of n-soliton; Decomposition of KP soliton, findexplicit connection between “exchange soliton” and process of “bosonization”.
References
G. Bowtell, A.E.G. Stuart: A Particle Representation for Kortweg-de Vries Solitons, J. Math. Phys. 24 (1983), 969-981.
A.C. Bryan, A.E.G. Stuart: On the Dynamics of Soliton Interactions for the Kortweg-de Vries Equation, Chaos, Solitons & Fractals 2 (1992), 487-491.
F. Campbell, J. Parkes: The Internal Structure of the Two-Soliton Solution to Nonlinear Evolution Equations of a Certain Class, SOLPHYS 1997,Technical University of Denmark.
P.F. Hodnett, T.P. Moloney: On the Structure During Interaction of the Two-Soliton Solution of the Kortweg-de Vries Equation, SIAM J. Appl. Math.49 (1989), 1174-1187.
P.D. Lax: Integrals of Nonlinear Equations of Evolution and Solitary Waves, Communs. Pure Appl. Math. 21 (1968), 467-490.
R.J. LeVeque: On the Interaction of Nearly Equal Solitons in the KdV Equation, SIAM J. Appl. Math. 47 (1987), 254-262.
P.D. Miller, P.L. Christiansen: A Coupled Kortweg-de Vries System and Mass Exchanges Among Solitons, Physica Scripta 61 (2000), 518-525. .P. Moloney,P.F. Hodnett: Soliton interactions (for the Korteweg-de Vries equation): a new perspective, J. Phys. A 19 (1986), L1129-L1135.
H.D. Nguyen: Decay of KdV Solitons, SIAM J. Appl. Math. 63 (2003), 874-888.
H.D. Nguyen: Soliton Collisions and Ghost Particle Radiation, Journal of Nonlinear Mathematical Physics 11 (2004) 180–198
T. Yoneyama: The Kortweg-de Vries Two-Soliton Solution as Interacting Two Single Solitons, Prog. Theor. Phys. 71 (1984), 843-846.
Journal: N. Benes, A. Kasman and K. Young Journal of Nonlinear Science,Volume 16 Number 2 (2006) pages 179-200
Preprint: http://aps.arxiv.org/abs/nlin.PS/0602036
Animation: http://math.cofc.edu/kasman/SOLTITONPICS/
These Slides: http://math.cofc.edu/kasman/solitondecomptalk.pdf