University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. ·...

52
faculteit Wiskunde en Natuurwetenschappen Topological and nontopological solitons Bacheloronderzoek wiskunde en natuurkunde Juli 2012 Student: Rik van Breukelen Begeleider: Prof. Dr. D. Boer Begeleider: Dr. A. Kiselev

Transcript of University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. ·...

Page 1: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

faculteit Wiskunde en

Natuurwetenschappen

Topological and

nontopological solitons

Bacheloronderzoek wiskunde en natuurkunde

Juli 2012

Student: Rik van Breukelen

Begeleider: Prof. Dr. D. Boer

Begeleider: Dr. A. Kiselev

Page 2: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Contents

1 Introduction 2

2 Solitary waves in wave equations 4

3 KdV-equation 73.1 properties of the KdV equation . . . . . . . . . . . . . . . . . . . . . . 73.2 the Lax form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

4 Inverse scattering method 13

5 KdV Hierarchy 195.1 pseudo differential operator . . . . . . . . . . . . . . . . . . . . . . . . 195.2 symmetries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

6 Hirota method 24

7 Derrick’s Theorem 30

8 Q-ball 32

9 Topological conservation laws 40

10 CPN model 45

11 Conclusion 48

A Matlab script, transmission coefficient 49

B Derivation of the Marchenko equation 50

1 Introduction

In this thesis the phenomena called solitons will be reviewed, furthermore some methodsin obtaining them are discussed. In 1834 John Scott Russell first observed a solitarywave [1]. “I believe I shall best introduce this phenomenon by describing the circum-stances of my own first acquaintance with it. I was observing the motion of a boatwhich was rapidly drawn along a narrow channel by a pair of horses, when the boatsuddenly stopped - not so the mass of water in the channel which it had put in motion ;it accumulated round the prow of the vessel in a state of violent agitation, then suddenlyleaving it behind, rolled forward with great velocity, assuming the form of a large solitaryelevation, a rounded, smooth and well-defined heap of water, which continued its coursealong the channel apparently without change of form or diminution of speed. I followedit on horseback, and overtook it still rolling on at a rate of some eight or nine miles an

2

Page 3: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

hour, preserving its original figure some thirty feet long and a foot to a foot and a halfin height.”

Russell thought that these waves were important and should be studied more. How-ever many of his contemporaries, including George Stokes, thought that the wave thatRussell observed was impossible. They thought the wave would disperse. This problemwas solved in 1895 when Diederik Korteweg and Gustav de Vries derived the shallowwater equation; we call this equation the Korteweg-de Vries (KdV) equation. Of thisequation the wave profile observed by Russell is an exact solution.

Because solitons were observed before there was a mathematical description of soli-tons, there is no universally accepted definition of solitons. Only a short list of qualitiesdefines what we see as solitons:

• Wave profile

• Finite energy

• Localized phenomenon

• Stable in time

• Stable under interaction processes

That the soliton is a localized phenomena means that the soliton goes towards a vacuumstate at least exponentially fast. There are more phenomena that are named solitonsthan we will discuss in this thesis. Examples of these are phenomena with, periodicboundary conditions, discontinuous derivative and many more. However in this thesiswe will discus only the most basic examples.

In section 2 we will describe dispersive effects on a solitary wave by a higher orderderivative term in the wave equation. Furthermore the steepening effects of adding anon-linear term will be discussed. In the case of the KdV-equation these effects cancelout, therefore stable solitary waves can be obtained.

In 1965 Norman Zabusky and Martin Kruskal showed by numerical calculation thatwhen two of the solitary waves (obtained from the KdV-equation) interacted, they didnot merge or combine but the faster wave simply overtaking the slower one. Furthermorethe shapes of the waves were unchanged, incurring only a phase difference. Because ofthis particle-like interaction, Zabusky and Kruskal named these waves solitons.

In section 3 we study more details of the KdV-equation, as this equation is centralin the historical development of the subject. Moreover many of the qualities of theKdV-equation are shared with other soliton equations 1. In section 6 we will introducethe Hirota method which is used to obtain soliton solution in many equations. We willuse the KdV-equation as an example and re-derive the single soliton solution and alsoderive an explicit form for the 2-soliton solution.

A more powerful and general method of finding soliton solutions is the inverse scat-tering transform. A full description of this method is beyond the scope of this thesisbut we will explain how this works in case of the KdV-equation in section 4.

1soliton equations are equations that have solitons as solutions

3

Page 4: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Not only in this mathematical context are soliton solutions interesting, in field theo-ries soliton solution can also occur. In these theories, when there is enough non-linearity,stable bound states can exist. However in section 7 Derricks theorem provides restric-tions on these theories.

To circumvent Derricks theorem we look at two types of solitons in local field the-ories, non-topological and topological solitons. In section 8 we will discuss Q-balls, anon-topological soliton. Finally in sections 9 and 10 we will discuss topological solitons.

2 Solitary waves in wave equations

In this section we will attempt to obtain the solitary waves observed by Russell. Al-though waves, that resemble the wave observed by Russell, can be obtained in the mostbasic wave equation, they will periodic and therefore not solitary. Instead we study theeffect of dispersion caused by an higher order derivative term and the effect of makingthe equation nonlinear. We try to obtain the solitary wave in each case, however we thewave will not be stable unless these two effect cancel. At the end of the section someresults are shown where these effect are balanced [2].

We start our discussion with the most basic wave equation:(∂2

∂t2− v2

∂2

∂x2

)f(x, t) = 0 (1)

we assume that the velocity v is constant in time. The wave equation can be rewrittenas: (

∂t+ v

∂x

)(∂

∂t− v

∂x

)f(x, t) = 0(

∂t− v

∂x

)(∂

∂t+ v

∂x

)f(x, t) = 0 (2)

This splits the left moving part and the right moving part of the wave. If we restrictourselves to right moving waves, we remain with:(

∂t+ v

∂x

)f(x, t) = 0 (3)

Any solution of equation (3) still satisfies equation (1). Because f(x, t) is a right movingwave, we can rewrite its argument:

f(x, t) = f(x− vt) (4)

Solving this for a periodic wave gives the plane wave result:

f(x, t) = aei(ωt−kx) (5)

Definition 2.1. The relation between the angular frequency ω and the wave numberk is called the dispersion relation.

4

Page 5: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

In this case the dispersion relation is ω = vk which is linear. Because the dispersionrelation is linear, the phase velocity vp =

ωk

and the group velocity vg =∂ω∂k

are equal.Therefore in any superposition of waves, all the waves move at the same speed andthe composed wave stays together. Waves with a linear dispersion relation are callednon-dispersive.

By adding a third order derivative term we make the dispersion relation non-linear:(∂

∂t+ v

∂x+ δ

∂3

∂x3

)f(x, t) = 0 (6)

Using the plane wave ansatz (5), we obtain the non-linear dispersion relation:

ω = vk− δk3 (7)

The phase velocity is given by:

vp =ω

k= v− δk2 (8)

While the group velocity is given by:

vg =∂ω

∂k= v− 3δk2 (9)

The group velocity and phase velocity are different for δ 6= 0 and therefore a wavecomposed by a superposition of multiple waves with different k values will spread out,as some waves move faster than others.

Now, instead of adding a higher order derivative, we add a non-linear term to ourequation. Replace v as a constant with v(f) = v0+αf(x), where v0andα are constants.The wave equation now looks like:(

∂t+ v(f)

∂x

)f(x, t) = 0 (10)

With the following solution:f(x, t) = f(x− v(f)t) (11)

We are interested in the case where the wave is a solitary wave. In that case the wavehas a maximum. The speed v(f) is increasing with the amplitude of the wave, thereforethe apex of the wave is moving faster than the rest of the wave, causing the wave totopple over.

One can obtain to obtain an equation which supports stable solitary waves by com-bining the dispersive properties of the higher order derivative and the non-linear term.The resulting wave equation is:(

∂t+ v(f)

∂x+ δ

∂3

∂x3

)f(x, t) = 0 (12)

5

Page 6: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Example 2.1. As an example we take the Korteweg-deVries (KdV) equation. Bywriting v(f) explicitly we obtain:(

∂t+ (v0 + αf(x, t))

∂x+ δ

∂3

∂x3

)f(x, t) = 0 (13)

To obtain the KdV equation, we set the parameters δ = 1 and α = 6 and shift thefunction: u ≡ f− v0/6.

ut + 6uux + uxxx = 0 (14)

Figure 1: 2-soliton interaction [3]

This equation has solitary wave solutions, in sections 4 and 6 we will obtain thesesolution. In figure 1 two of these waves are shown. On the left side of the figurethe two waves (one large and one small) are shown on three different times. On theother side of figure the gray lines represent the sum of the solution, however as the

6

Page 7: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

equation is nonlinear the superposition principle does not apply. The black line showsthe time evolution of the initial conditions. When the two waves meet, they do notmerge or destroy each other but pass through only incurring a delay, or phase shift, inthe interaction.

This behavior was first observed by Kruskal and Zabusky. This conservation underinteraction is also the reason why they called these waves solitons, as the -on is usuallyused to name particles (electron, proton and muon for example). As said, the superpo-sition principle does not apply tot nonlinear equation, for solitons however there doesappear to be some use for a superposition. The initial condition can be superimposedas long as they are separated. This can be seen by the first of the time steps, there isno difference between sum of the waves or the proper evolution (note: this is not theinitial condition of the simulation).

The KdV equation was the first equation of which these soliton solution where dis-covered, many other equation also have soliton solution, which have the same qualitiesas the solitons in the KdV equation. However in this thesis the KdV equation willbe our favored example, therefore we will discus some of the properties of the KdVequation in the next section.

3 KdV-equation

3.1 properties of the KdV equation

Maybe the most famous non-linear dispersive wave equation is the Korteweg-deVries(KdV) equation:

ut + 6uux + uxxx = 0 (15)

First introduced (although not in the form above) by Korteweg and De Vries in 1895[4] to describe the solitary wave observed by Russell, this equation is also known as theshallow water equation.

Remark 3.1. Although we have taken the KdV equation (15) with these parameters,any equation of the form

ut + auux + buxxx = 0 (16)

is a KdV equation. This can be shown by the following scaling

x→ b−1/3x u→ a

6b1/3u (17)

This transforms (15) into (16). Although all equations of the form (16) are KdV-equations, we will often use the KdV-equation in the form of (15) .

Remark 3.2. [5] In the same way as we have shown that the KdV-equation can berewritten we can show that it is scale invariant:

x→ cx t→ c3t u→ c−2u (18)

7

Page 8: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

This leads to:

ut + 6uux + uxxx = 0→c−5ut + c−56uux + c−5uxxx=c−5(ut + 6uux + uxxx) = 0 (19)

The KdV-equation is also translational invariant for both the x coordinate as the tcoordinate:

x→ x+ c1 t→ t+ c2 (20)

Both do not change the equation. Next to scale invariant and transformational invari-ant, the KdV-equation is also Galilean invariant:

x→x+ vtu→u−

v

6(21)

ut + 6uux + uxxx→ut + vux + 6(u−v

6

)ux + uxxx

=ut + 6uux + uxxx (22)

Remark 3.3. If the initial conditions are given the soliton solution is unique [5]. Let vand u be solutions of the KdV-equation, which both satisfy the same initial conditions.We assume that that the initial conditions are at least continuously differentiable.

ut + 6uux + uxxx = 0

vt + 6vvx + vxxx = 0 (23)

Subtracting v from u and setting w = u− v leads to:

∂(u− v)

∂t=∂w

∂t= −6u

∂u

∂x+ 6v

∂v

∂x−∂3(u− v)

∂x3

= −6(w+ v)∂(w+ v)

∂x+ 6v

∂v

∂x−∂3w

∂x3

= −6u∂w

∂x− 6w

∂v

∂x−∂3w

∂x3(24)

We multiply equation (24) with w and integrate over x:∫∞−∞

∂( 12w2)

∂tdx =

∫∞−∞ −6wu

∂w

∂x− 6w2

∂v

∂x−w

∂3(w)

∂x3dx (25)

The soliton solutions are localized, therefore we assume that u, v, w and their deriva-tives go to zero sufficiently fast at the boundary. The last part of the previous equation

8

Page 9: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

then becomes: ∫∞−∞w

∂3w

∂x3dx = wwxx|

∞−∞ −

∫∞−∞

1

2

∂xw2xdx

= 0−1

2w2x|

∞−∞ = 0 (26)

We rewrite the left hand side of equation (25) as follows:∫∞−∞

∂( 12w2)

∂tdx =

∂t

∫∞−∞

1

2w2dx =

∂E

∂t(27)

where E =

∫∞−∞

1

2w2dx

The remaining part of the right hand side is:∫∞−∞ 6wu

∂w

∂x+ 6w2

∂v

∂x

=

∫∞−∞ 6w

2

(vx −

1

2ux

)+ 3

∂(uw2)

∂xdx

The last part is again zero because of the boundary conditions.

=

∫∞−∞ 6w

2

(vx −

1

2ux

)dx

6∫∞−∞ 6w

2mdx = 6mE (28)

where m = sup

(∣∣∣∣vx − 1

2ux

∣∣∣∣)This supremum exists because the initial conditions are continuously differentiable andtherefore so are the time evolution of those conditions. It would take an infinite amountof energy to do otherwise. Instead of equation (25), we have the inequality:

∂E

∂t6 6mE

⇒ E(t) 6 E(0)e6mt (29)

From w(x, 0) = u(x, 0) − v(x, 0) = 0, we conclude:

E(0) =

∫∞−∞

1

2w(0)2dx =

∫∞−∞ 0dx = 0

E(t) =

∫∞−∞

1

2w(t)2dx > 0

⇒ 0 6 E(t) 6 0⇒ E(t) = 0⇒ w(x, t) = 0⇒ u(x, t) = v(x, t) (30)

Therefore given the initial conditions the solution is unique.

9

Page 10: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

3.2 the Lax form

Remark 3.4. Instead of introducing the KdV-equation as a model for waves in shallowwater, we introduce the equation as follows: given the Schrodinger equation with aparameter a dependent potential [6]:

d2y(x)

dx2+ [λ− u(x, a)]y(x) = 0 (31)

We rewrite equation (31) as follows:

Ly = λy (32)

where L = D2 − u(x, a) and D = ddx

and ∂x∂a

= xa.

(Ly)a = Lya + Lay = λay+ λya

(Ly)a = ((D2 − u)y)a = yxxa − uya − uay = Lya − uay⇒ La = −ua (33)

If we assume that the a dependence of y can be expressed as a differential operator(ya = By), we obtain:

(Ly)a = Lya + Lay = λay+ λya

LBy− uay = λay+ λBy

LBy− uay = λay+ BLy

(−ua + LB− BL)y = λay (34)

We want to find the shape of the potential that leaves the eigenvalue λ invariant:

λa = 0 (35)

Therefore we obtain:−ua + [L, B] = 0 (36)

We will interpret a as a time parameter and write t instead of a.

Example 3.1. Let B1 be a first order differential operator:

B1 = aD (37)

where a is constant (ut − (D2 − u)(aD) + (aD)(D2 − u)

)y = 0 (38)⇒ (ut − aux)y = 0 (39)

This means that the potential satisfies ut − aux = 0. Therefore the potential is anyfunction of x+ at.

10

Page 11: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Example 3.2. Let B3 be a third order differential operator:

B3 = bD3 + fD+ g (40)

then [L, B3]y = (2fx + 3bux)D2y+ (fxx + 2gx + 3buxx)Dy+ (gxx + buxxx + fux)y

(41)

We require that the terms D2y and Dy vanish, therefore:

2fx + 3bux = 0 (42)

⇒ f = −3

2bu+ c1 (43)

fxx + 2gx + 3buxx = 0 (44)

⇒ g = −3

4bux + c2 (45)

⇒ [L, B3]y = (gxx + buxxx + fux)y =1

4b(uxxx − 6uux) + c1ux)y (46)

This leads to (after a transformation x→ x + c1t and b = −4) an equation which thepotential must satisfy, namely:

ut − 6uux + uxxx = 0 (47)

Definition 3.1. The KdV-equation can be written using the compatibility in the sys-tem of the linear differential equations:

L = D2 + u (48)

B3 = bD3 + fD+ g (49)

where:

b = −4 (50)

f = −3

2bu+ c1 (51)

g = −3

4bux + c2 (52)

(53)

and c1 and c2 are arbitrary constants.

Lt = [B3, L] (54)

This is called the KdV-equation in Lax form.

By considering higher order derivatives higher order KdV equations can be obtained,this will be discussed in section 5

11

Page 12: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Example 3.3. We can use the line of thought of example 3.2 to obtain a explicitsolution of the KdV-equation. Assume that there exists a potential for the Schrodingerequation

y ′′ + (k2 − u)y = 0 (55)

such that the solution can be written as:

y = eikxf(k, x) (56)

where f(k, x) is polynomial in k. The simplest form is the zeroth order, y0 = eikxa(x).

We use this as an ansats for the Schrodinger equation:

−k2eikxa+ 2ikeikxax + eikxaxx + (k2 − u)eikxa = 0 (57)⇒ 2ikax + axx − ua = 0 (58)

a(x) is independent of the parameter k, therefore we can separate the part containingk and the part not containing k.

k1 : 2iax = 0⇒ ax = 0, axx = 0 (59)

k0 : axx − ua = 0⇒ ua = 0⇒ u = o∨ a = 0 (60)

This leads to either the trivial solution, which tells us nothing about the shape ofthe potential, or leads to the trivial potential, which leads us back to the plane wavesolution because a(x) is a constant in this case. Using a first order polynomial inequation (56) gives us more interesting results. The constants are chosen with an eyeon future convenience.

y1 = eikx(2k+ ia(x)) (61)

This leads to the following solution:

−k2eikx(2k+ ia) − 2keikxax + ieikxaxx + (k2 − u)eikx(2k+ ia(x)) = 0 (62)⇒ −2kax + iaxx − 2ku− iua = 0 (63)

Again separating k0 and k1 we obtain:

k1 : ax = −u

k0 : axx = ua (64)

⇒axx = −aax = −1

2(a2)x

⇒ax + 1

2a2 = c1 (65)

When we substitute a = 2wxw

we obtain a linear equation.

⇒ 2wwx − 2w2x

w2+1

2

4w2xw2

= c1 (66)

⇒ 2wwx − 2w2x + 2w

2x = c1w

2 (67)

⇒ wx −1

2c1w = 0 (68)

⇒ w = αec2x + βe−c2x (69)

12

Page 13: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

where c1 is a constant of integration and 2c22 = c1. We have a solution for w andtherefore we also have a solution for u:

a =2wx

w= 2(ln(w))x (70)

u =− ax = −2(ln(w))xx

=− 2(ln(αec2x + βe−c2x))xx

=− 2c2

(αe2c2x − β

αe2c2x + β

)x

=− 2c22c2(αe

2c2x + β)e2c2x − 2c2(αe2c2x − β)e2c2x

(αe2c2x + β)2

=− 2c22

(2ec2x−1/2 ln(β/α)

e2(c2x−1/2 ln(β/α)) + 1

)2=− 2c22(sech

(c2x−

1

2ln(β/α)

)2=− 2c22sech2(c2x− c3) (71)

where c3 =12

ln(β/α). In the solution of w the α and β are independent of x but mayby a function of t. Therefore c3 is a function of time. We use the KdV-equation todetermine this time dependence. Put this into the KdV-equation:

0 = uτ − 6uux + uxxx

0 = −4c22c3sech(c2x− c3)2 tanh(c2x− c3) (72)

+ 6 · 2c22sech(c2x− c3)2 · 4c32sech(c2x− c3)

2 tanh(c2x− c3)

+ 16c52(sech(c2x− c3)

2 tanh(c2x− c3)3 − 2sech(c2x− c3)

4 tanh(c2x− c3))

0 = −c3 + 12c32sech(c2x− c3)

2 + 4c32(tanh(c2x− c3)2 − 2sech(c2x− c3)

2)

c3 = 4c32(tanh(c2x− c3)

2 + sech(c2x− c3)2)

c3 = 4c32t+ η0

u = −2c22sech2(c2x− 4c32t+ η0) (73)

this is the one-soliton solution of the KdV-equation.

4 Inverse scattering method

In 1967 a method to obtain solutions to the KdV-equation was found by Gardner,Green, Kruskal and Miura [7]. When a plane wave in the Schrodinger equation (31)interacts with the potential, the wave will be partly reflected and partially transmitted,of which the amplitude can be calculated when the potential is known. Furthermorewhen the potential is known possible bound states can also be calculated, togetherwith the reflection and transmission this is called the scattering data. Gardner, Green,

13

Page 14: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Kruskal and Miura obtained a method to construct the shape of the potential whenthe scattering data is known, this is known as the inverse scattering transform. In thecase of solitons the reflection coefficient will be zero, making this a powerful method toobtain these solutions.

In the Schrodinger equation when the potential is attractive and finite there will befinite many bound eigenstates. As we are looking for soliton solutions, which are finiteand localized, these bound states will be possible. When the energy eigenvalue λ < 0,a bound state will form, let λ1, λ2, . . . , λN denote the eigenvalues of these bound states.As shown in quantum mechanics the eigenstates yn corresponding to these negativeeigenvalues λn are square integrable, therefore |yn|→ 0 as |x|→∞.

Let us write λn = (iκn)2, with κn > 0. When |x| → ∞ then u → 0, in that region

the Schrodinger equation isyxx − κ

2y = 0 (74)

which can be solved, and by requiring that |yn|→ 0 as x→∞ we obtain:

yn ≈ cn(t)e−κx (75)

where cn(t) is normalization coefficient. In section 3 we derived that in the Schrodingerequation

yxx + [λ− u(x, a)]y = 0 (76)

where the potential satisfies the KdV-equation, the time evolution of y is given by:

yt = B3y = (−4D3 + 6uD+ 3ux)y = −4yxxx + 6uyx + 3uxy (77)

which reduces to:yt = −4yxxx (78)

when |x| → ∞ because u is localized. With this we obtain the time evolution of thenormalization coefficient.

dcn

dt= 4κ3cn (79)

In the case where λ > 0, there is a continuum of unbound states. These states willbehave like the plane wave solution when |x| → ∞. When a plane wave incident fromthe left interacts with the potential, part of the wave will reflect and a part will betransmitted. Let λ = k2 where k > 0.

y− = eikx + R(k)e−ikx x→ −∞y+ = T(k)eikx x→∞ (80)

where R(k) is the reflection coefficient and T(k) is the transmission coefficient. Whenthe wave is perfectly transmitted |T | = 1 and |R| = 0,therefore this is a reflectionlesspotential. Again using the time evolution of y for x→∞ we obtain:

dT

dt= 4ik3T (81)

Thus if |T(k, 0)| = 1 then T(k, t)| = 1, ∀t.

14

Page 15: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Remark 4.1. We have stated that the soliton solution is the reflectionless potential. Infigure 2 the transmission coefficient is shown for2:

yxx + (k2 − Vsech2(x))y = 0 (82)

This is calculated using the Matlab [11] script 3, shown in appendix A. Figure 2 shows

Figure 2: A reflectionless potential is obtained for V = 0, 2, 6, 12, 20

that a reflectionless potential is obtained for V = 0, 2, 6, 12, 20. Furthermore the valueof V for which the potential is reflectionless is k independent. However as k increases|T | will be closer to one everywhere which will cause rounding errors making the graphunreadable.

These results are the same to the results obtained by exact calculations done byLamb [6]. The potential is reflectionless when V = n(n+ 1) for n = 0, 1, 2, 3, . . . .

The scattering of waves on a potential is most easily described when scatteringpulses. Therefore we return to the most basic wave equation:

yxx −1

c2ytt = 0 (83)

Any function of the form f(x± ct) is a solution of this equation, for example:

y = δ(t± x/c) (84)

This is a pulse wave. When we include a potential term to the wave equation,

yxx −1

c2ytt − u(x)y = 0 (85)

the pulse wave will pass through while leaving behind some disturbance. A left incidentwave, leaves behind a disturbance described by K(x, ct)

y = δ(t− x/c) + cθ(t− x/c)K(x, ct) (86)

2In appendix A figure 8 shows the points at which the potential is reflectionless till V = 1003In the initial conditions the reflection coefficient is omitted, this will lead to an error, however the

reflection is relatively small and when |T | = 1 the reflection coefficient vanishes, therefore we assumethat the error vanishes as |T |→ 1.

15

Page 16: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

This K(x, ct) has the information we need to determine the shape of the potential.Substituting (86) into the wave equation (85), we obtain:

δ(t− x/c)

(2∂K(x, ct)

∂x+2

c

∂K(x, ct)

∂t+ u(x)

)−cθ(t− x/c)

(∂2K(x, ct)

∂x2−1

c2∂2K(x, ct)

∂t2+ u(x)K(x, ct)

)= 0 (87)

Integrating over time from x/c− ε to x/c+ ε we obtain:

−2∂K(x, ct)

∂x

∣∣∣∣ct=x

−2

c

∂K(x, ct)

∂t

∣∣∣∣ct=x

= u(x) (88)

−2d

dxK(x, x) = u(x) (89)

We still need to determine this disturbance, for which we will use the Fourier trans-form of y:

Yl(x,ω) =

∫∞−∞ dte

iωty(x, t)

= eikx +

∫∞x

dx ′K(x, x ′)eikx′

(90)

where x ′ = ct and ω/c = k. When multiplied with u(x) and using equation (85) foruy, we obtain (after integration by parts) the Schrodinger equation.

Yxx +(k2 − u(x)

)Y = 0 (91)

A wave incident from the right also leaves behind a disturbance, described by L(x, ct),and in similar manner as before we obtain:

Yr(x,ω) = e−ikx +

∫∞x

dx ′L(x, x ′)e−ikx′

(92)

These two solutions are not independent, they are related by the transmission andreflection coefficient [6]:

T(k)Yr(x, k) = R(k)Yl(x, k) + Yl(x,−k) (93)

again taking the Fourier transform, we obtain the Marchenko equation (see appendixB for the derivation):

K(x, y; t) + B(x+ y; t) +

∫∞x

K(x, z; t)B(y+ z; t)dz = 0 (94)

where B(ξ; t) =1

∫∞−∞ R(k, t)e

ikξdk+∑n

cn(t)2e−κnξ (95)

16

Page 17: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

To solve the inverse scattering, we need to solve the Marchenko equation. Becausethe reflection is zero B(ξ; t) simplifies to:

B(ξ; t) =

N∑n

cn(t)2e−κnξ =

N∑n

cn(0)2e−8ik

3t−κnξ (96)

Therefore B(x+ y) can be separated:

B(x+ y) =

N∑n

Fn(x)Gn(y) (97)

where Fn(x) = cn(t)2e−κnx (98)

and Gn(y) = e−κny (99)

It follows that K(x, y) can also be separated.

K(x, y) =

N∑n

Hn(x)Gn(y) (100)

Instead of giving Hn explicitly, we eliminate it from our equation:

N∑n

Hn(x)Gn(y) +

N∑n

Fn(x)Gn(y) +

∫∞x

N∑m

Hm(x)Gm(z)

N∑n

Fn(z)Gn(y)dz = 0 (101)

N∑n

(Hn(x)Gn(y) + Fn(x)Gn(y) +

N∑m

∫∞x

Gm(z)Fn(z)dzHm(x)Gn(y)

)= 0 (102)

Because the left term is only depending on x and the right term is only depending ony, this equation spits into N equations:

N∑n

(Hn(x) + Fn(x) +

N∑m

Anm(x)Hm(x)

)Gn(y) = 0

where Anm(x) =

∫∞x

Gm(z)Fn(z)dz

δnmHm(x) + Fn(x) +

N∑m

Anm(x)Hm(x) = 0

Fn(x) +

N∑m

Anm(x)Hm(x) = 0

where Anm(x) = δnm +Anm(x)

Hm(x) = −

N∑n

A−1mn(x)Fn(x) (103)

⇒ K(x, x) = −

N∑n

N∑m

Gn(x)A−1nm(x)Fm(x) (104)

17

Page 18: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

With this we can obtain an expression for the N-soliton solution

Anm(x) = δnm +

∫∞x

Gm(z)Fn(z)dz

= δnm + c2n(t)

∫∞x

e−(κn+κm)ydy

= δnm + c2n(t)e−(κn+κm)x

κn + κm(105)

Therefore we obtain an expression for the disturbance:

K(x, x) = −∑n

∑m

Gn(x)A−1nm(x)Fm(x)

=

N∑n

N∑m

e−κnxA−1nm(−c

2m(t)e

−κmx)

=

N∑n

N∑m

A−1nm

d

dxAmn

= Tr

(A−1 d

dxA

)=

1

det(A)

d

dxdet(A)

=d

dxlog det A (106)

Now we obtain the potential:

u(x, t) = −2d

dxK(x, x; t) = −2

d2

dx2log det A(x; t)

= −2d2

dx2log det

(δnm + c2n(t)

e−(κn+κm)x

κn + κm

)(107)

Example 4.1. With this we solve the KdV equation for the single soliton solution.There is only a single eigenvalue k, therefore

u(x, t) = −2d2

dx2log

(1+ c2n(0)

e−8k3t−kx

k

)

= −2d2

dx2log

(1+ e−8k

3t−kx+η0)

= −2∂

∂x

ke−8k3t−kx+η0

1+ e−8k3t−kx+η0

= −2(1+ e−8k

3t−kx+η0)k2e−8k3t−kx+η0 − k2e2(−8k

3t−kx+η0)

(1+ e−8k3t−kx+η0)2

= −2k2e−8k

3t−kx+η0

(1+ e−8k3t−kx+η0)2= −

k2

2sech2

(−8k3t− kx+ η0

2

)(108)

18

Page 19: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

When we scale x → 2kx, we obtain the the potential for which we have confirmed that

it is reflectionless.

Although we have focused on the KdV equation this approach can be generalized,moreover the inverse scattering transform can be used to obtain solutions when thereflection is not zero (this however makes solving the Marchenko equation very difficult).The inverse scattering transform is a powerful tool, however there is no general methodto obtain the time dependence of the scattering data.

5 KdV Hierarchy

5.1 pseudo differential operator

Before we continue with our discussion we first introduce an pseudodifferential operator.Which will be useful in the future. Let ∂ denote differentiation to x then we can write:

∂ ◦ f = (∂f) + f∂ (109)

Therefore we can apply ∂f to a function g:

∂ ◦ f(g) = ((∂f) + f∂)g = (∂f)g+ f(∂g) (110)

which is the Leibniz rule. We generalize this for higher orders:

∂n ◦ f =n∑j=0

(n

j

)(∂jf) · ∂n−j (111)

The binomial coefficient (n

j

)=n(n− 1) · · · (n− j+ 1)

j(j− 1) · · · 1(112)

is well defined when j is a natural number, furthermore it is set to zero when j > n.This means we can extend the summation of equation (111) without any problems:

∂n ◦ f =∞∑j=0

(n

j

)(∂jf) · ∂n−j (113)

We obtain differential operators with negative powers, these are pseudodifferential op-erators. From equation (113) we obtain a expression for ∂−1:

∂−1 ◦ f = f∂−1 − (∂f)∂−2 + (∂2f)∂−3 + . . . (114)

We know ∂n · ∂m = ∂n+m, therefore we require ∂−1 · ∂ = 1 = ∂ · ∂−1. We will show thisfor ∂ · ∂−1.

∂ · ∂−1f = ∂(f∂−1 − (∂f)∂−2 + (∂2f)∂−3 + . . . ) (115)

∂ · ∂−1f = f∂∂−1 + (∂f)∂−1 − (∂f)∂∂−2 − (∂2f)∂−2 + (∂2f)∂∂−3 + (∂3f)∂−3 + . . . (116)

∂ · ∂−1f = f (117)

19

Page 20: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Definition 5.1. In general the expression:

P =

∞∑j=0

gj∂α−j (118)

is called a pseudodifferential operator of order 6 α.

Example 5.1. Using the pseudodifferential operator we calculate the square root ofthe operator L = ∂2 +u, which we have used in the lax-form of the KdV-equation (54)(although we replace u→ −u).

X = ∂+

∞∑n=1

fn∂−n (119)

L = X2 (120)

X2 = ∂2 + 2

∞∑n=1

fn∂1−n +

∞∑n=1

(∂fn)∂−n +

∑n.m>1,l>0

(−n

l

)fn(∂

lfm)∂−m−n−l (121)

X = ∂+1

2u∂−1 −

1

4ux∂

−2 +1

8(uxx − u

2)∂−3 + . . . (122)

We split the pseudo-differential operator into two parts, the part containing thenonnegative powers of ∂ and the rest:

P+ =

α∑j=0

gj∂α−j (123)

P− = P − P+ (124)

using this we can reformulate the lax-form of the KdV-equation. When change theparameters of the KdV-equation (to absorb the constants of integration), we obtain:

L = ∂2 + u (125)

B3 = ∂3 +

3

2u∂+

3

4ux (126)

We already know L = X2. Moreover we can express B3 in terms of X:

(X3)+ = ((∂+1

2u∂−1 −

1

4ux∂

−2 +1

8(uxx − u

2)∂−3 + (. . . )∂−4 . . . )(∂2 + u))+

= (∂3 +1

2u∂−

1

4ux +

1

8(uxx − u

2)∂−1 + (. . . )∂−2 + ux + u∂+ . . . )+

= ∂3 +3

2u∂+

3

4ux = B3 (127)

Furthermore we know the following:

[X2, Xl] = X2+l − Xl+2 = 0

[X2, Xl] = [X2, (Xl)− + (Xl)+]⇒ [X2, (Xl)+] = −[X2, (Xl)−] (128)

20

Page 21: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

We reformulate the Lax-form of the KdV-equation:

Lt = [L, (L3/2)+] (129)

We have stated before (see section 3.2) that including higher order derivatives that weobtain so called higher order KdV-equations. This is done by choosing l 6 3 in thefollowing equation:

Lt = [L, (Ll/2)+] = [(Ll/2)−, L] (130)

5.2 symmetries

Definition 5.2. An evolutionary equation

∂u

∂t= K(u) (131)

is said to have a symmetry of the form:

∂u

∂s= K(u) (132)

when we let u depend on two independent time variables s and t, and solving first fors and then for t or solving first for t and then for s give the same result, see figure 3:

Figure 3: Solving first for s and then for t or the other way around [8].

Both K(u) and K(u) are differential polynomials, meaning that they are polynomialin u and its derivatives (with respect to a certain variable, in this case x). This is calleda symmetry because it resembles an infinitesimal generator. That the order of solvingthe equation leaves the solution unchanged allows us to state the following:

∂K(u)

∂s=∂2u

∂s∂t=∂2u

∂t∂s=∂K(u)

∂t(133)

Example 5.2. The most simple symmetry for the KdV-equation is given by:

∂u

∂t= K(u) = 6uux − uxxx (134)

∂u

∂s= K(u) = ux (135)

∂K(u)

∂t= utx = (6uux − uxxx)x = 6(ux)

2 + 6uuxx − u4x (136)

∂K(u)

∂s= (6uux − uxxx)s = 6usux + 6uusx − uxxxs = 6(ux)

2 + 6uuxx − u4x (137)

21

Page 22: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

These are the same. Therefore us = ux forms a symmetry of the KdV-equation. Thisis as we we expected because we have already showed (in remark 3.2) that the KdV-equation is invariant under translations and us = ux corresponds to u(x, t, s) = u(x+s, t) a translation.

Using equation (33) we can rewrite equation (130) as:

∂u

∂xl= [L, (Ll/2)−] = Kl(u) or

∂u

∂xl= −[L, (Ll/2)+] = Kl(u) (138)

These are the higher order KdV-equations. The operator L is of differential order 2,while the operator (Ll/2)− is of order −1∀l. Furthermore the commutator adds theorders of the terms and subtracts one from the order because the highest orders alwayscancel out. Therefore the operator [L, (Ll/2)−] is of order 0, because of the constructionof both L and (Ll/2)−, it is a differential polynomial in u with respect to x. We onlyconcern ourselves with equations of odd order as the even orders are all identically zero.Moreover these equation are symmetries of the KdV equation.

Example 5.3. The cases l = 1, 3 are not truly “higher order” KdV-equation. Howeverthey do give us insight on some of the infinitely many variables that we have introducedby the infinitely many symmetries.

∂u

∂x1= −[L, (L1/2)+] (139)

∂u

∂x1= −[∂2 + u, ∂] (140)

∂u

∂x1= ux (141)

x1 = x (142)

And for the l = 3 case we obtain:

∂u

∂x3= −[L, (L3/2)+] (143)

∂u

∂x3= −[L, B3] (144)

∂u

∂x3= 6uux − uxxx (145)

x3 = t (146)

Now we show that all these higher order equations are symmetries:

∂Kl

∂xj=∂Kj

∂xl(147)

We know:∂L

∂xl= −[L, (Ll/2)+] (148)

22

Page 23: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

∂f(L)

∂xl= −[f(L), (Ll/2)+] (149)

and therefore∂(Lj/2)+∂xl

= (∂Lj/2

∂xl)+ = −([Lj/2, (Ll/2)+])+ (150)

With this we show that the equations are indeed symmetries.

∂Kj

∂xl= −

∂xl[L, (Lj/2)+]

= −

[∂

∂xlL, (Lj/2)+

]−

[L,

∂xl(Lj/2)+

]= [[L, (Ll/2)+], (L

j/2)+] + [L, ([Lj/2, (Ll/2)+])+]

= [[L, (Ll/2)+], (Lj/2)+] + [L, ([L

j/2+ + L

j/2− , (L

l/2)+])+]

= [[L, (Ll/2)+], (Lj/2)+] + [L, ([L

j/2+ , (L

l/2)+])+ + ([Lj/2− , (L

l/2)+])+]

= [[L, (Ll/2)+], (Lj/2)+] + [L, ([L

j/2+ , (L

l/2)+])+ − ([Lj/2+ , L

l/2])+]

= [[L, (Lj/2)+], (Ll/2)+] + [L, ([Ll/2, (Lj/2)+])+]

= −

[∂

∂xjL, (Ll/2)+] − [L,

∂xj(Ll/2)+

]= −

∂xj[L, (Ll/2)+] =

∂Kl

∂xj(151)

where we have used, in the fifth step of equation (151):

0 = ([Lj/2, Ll/2])+

= ([Lj/2+ , L

l/2])+ + ([Lj/2− , L

l/2+ ])+ + ([L

j/2− , L

l/2− ])+

= ([Lj/2+ , L

l/2])+ + ([Lj/2− , L

l/2+ ])+⇒ ([L

j/2− , L

l/2+ ])+ = −([L

j/2+ , L

l/2])+ (152)

In the last step of equation (152) we have used equation (128). Furthermore in thesixth step of equation (151) we have used the Jacobi identity:

[a, [b, c]] + [b, [c, a]] + [c, [a, b]] = 0 (153)

Hence the higher order KdV-equation are symmetries of all other KdV-equations. Thisinfinite system of equations is called the KdV hierarchy. Many equations with solitonsolution show this structure, however there exists no general treatment and every equa-tion needs to be studied in its own way to determine whether it can be written in thisway. Instead of viewing the hierarchy as a system of infinitely many equations, it can beviewed as an infinite set of nonlinear differential equations in a function τ(x1, x2, x3, . . . )of infinitely many variables. For the KdV-equation this function is related to u as fol-lows:

u = 2∂2

∂x2log τ (154)

23

Page 24: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

However the discussion of this involves a discussion of hierarchy of the Kadomtsev-Petviashvili (KP) equation, which is beyond the scope of this thesis. The τ function isneeded in the next section to obtain a powerful yet simple method for obtaining solitonsolutions for our equations.

6 Hirota method

When trying to find soliton solutions in the same way as solutions to ”ordinary” waveequations we hit a dead end. The basic approach to wave equations makes use of thesuperposition principle, when one solution is found, infinitely many (linearly-dependent)solutions are found and by combining solutions the boundary conditions and initialvalues can be satisfied. But in the case of soliton equations, the equations are non-linear. Therefore the superposition principle does not apply. Furthermore, becauseof this non-linearity, perturbation theory cannot be used. Perturbation theory wouldlinearize the equations and would negate the non-linearity which governs the solitonsolutions.

Definition 6.1. The Hirota method [8] brings the equations to a bilinear form, whichsimplifies the problem. First we need to introduce the Hirota derivative Dx(f · g) .Take two single variable functions f(x) and g(x) and make a Taylor expansion aroundy = 0 of the following (x is fixed):

h(y) = f(x+ y)g(x− y) (155)

Normally we would do the following:

h(y) =

∞∑j=0

yj

j!

djh(0)

dyj(156)

We would like to express this in terms of f(x) and g(x) and derivatives of those.

f(x+ y)g(x− y) = fg+ (fxg− fgx)y+ (fxxg− 2fxgx + fgxx)y2

2+ . . . (157)

This must be equal to (156) and we introduce the Hirota derivative in the followingway:

f(x+ y)g(x− y) =

∞∑j=0

yj

j!Djx(f · g) (158)

Comparing the powers of y in the expansion of f(x+y)g(x−y) we obtain the following:

Dx(f · g) = fxg− fgx (159)

D2x(f · g) = fxxg− 2fxgx + fgxx (160)

D3x(f · g) = fxxxg− 3fxxgx + 3fxgxx − fgxxx (161)

D4x(f · g) = fxxxxg− 4fxxxgx + 6fxxgxx − 4fxgxxx + fgxxxx (162)

24

Page 25: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

In the equations (159)-(162) we observe a pattern, the Hirota derivative follows theLeibniz rule but includes a alternating minus sign. the Leibniz rule can rewritten as:

dn

dxnf · g =

(∂

∂x1+

∂x2

)nf(x1)g(x2)|x2=x1=x (163)

We adept this to include the alternating minus sign and obtain the Hirota derivativefor a single variable [10]:

Dnx (f · g) =

(∂

∂x1−

∂x2

)nf(x1)g(x2)|x2=x1=x (164)

This can also be done in a multi variable case in exactly the same way. (note: h(y) =∑∞j=0

yj

j!djh(0)dxj

= eyddxh(x)|x=0)

f(x1+y1, x2+y2, x3+y3, . . . )g(x1−y1, x2−y2, x3−y3, . . . ) = ey1Dx1+y2Dx2+y3Dx3+...f ·g

(165)Again comparing the powers of the variables defines the Hirota derivative, for example:

Dx1Dx2(f · g) = −fx1gx2 − fx2gx1 + fx1x2g+ fgx1x2 (166)

Putting g(x) = f(x) and x1 = t, x2 = x which we will need later on, we obtain:

DtDx(f · f) = −2ftfx + 2fxtf (167)

Other equations we will need are:

∂2

∂x∂tlog(f) =

∂t

fx

f=ffxt − fxft

f2=

1

2f2(DtDx(f · f)) (168)

And:

∂4

∂x4log(f) =

∂3

∂x3fx

f=∂2

∂x2

(fxx

f−

(fx

f

)2)

=∂

∂x

(fxxx

f−fxxfx

f2− 2

fx

f

ffxx − fxfxf2

)=fxxxx

f− 4

fxxxfx

f2− 3

f2xxf2

+ 12ffxx − f

2x

f3− 6

f4xf4

=1

2f2D4x(f · f) − 6

(1

2f2(D2

x(f · f)))2

(169)

Example 6.1. To bring our equation to bilinear form we need to do a transformation.As an example we are going to bring the KdV-equation (15) to bilinear form using(170).

u = 2∂2

∂x2log τ (170)

25

Page 26: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

ut + 6uux + uxxx = 0 (171)

⇒ 2∂3

∂t∂x2log τ+ 6

(2∂2

∂x2log τ

)(2∂3

∂x3log τ

)+ 2

∂5

∂x5log τ = 0 (172)

⇒ ∂

∂x

(2∂2

∂t∂xlog τ+ 3

(2∂2

∂x2log τ

)2+ 2

∂4

∂x4log τ

)= 0 (173)

Integrating once and using (168) and (169) we obtain:

2

(1

2τ2(DtDx(τ · τ))

)+12

(1

2τ2(D2

x(τ · τ)) + 21

2τ2(D4

x(τ · τ))−12

(1

2τ2(D2

x(τ · τ))

= c

(174)Which simplifies to:

[DtDx +D4x](τ · τ) = c (175)

We want τ to give us a solution of the KdV-equation. For example choosing τ = 1 leadsto u = 0, which is solution of the KdV-equation. We can conclude that c = 0.

[DtDx +D4x](τ · τ) = 0 (176)

This is the KdV-equation in bilinear form.

Remark 6.1. The equation (170) brought the KdV-equation (15) to bilinear form. How-ever (170) does not bring all equations to bilinear form. There is no general methodto bring an equation to bilinear form. Sometimes two equations are needed to bring aequation to bilinear form. For example the sine-Gordon equation:

uxt = sin(u) (177)

Is transformed by:

u = 4 arctan(F

G) (178)

With the bilinear system: {[DxDt − 1](F ·G) = 0D2x[(F · F) − (G ·G)] = 0 (179)

Moreover not all equation can be transformed into bilinear form. For example theMonge-Ampre equation

u2xy − uxxuyy = 0 (180)

cannot be brought to bilinear form [9].

Definition 6.2. Equation (176) is called a Hirota equation. In general we write(D1, D2, . . . ) for the Hirota derivatives with respect to the variables (x1, x2, . . . ), thena Hirota equation is of the form:

P(D1, D2, . . . )(τ · τ) = 0 (181)

where P(D1, D2, . . . ) is a polynomial in (D1, D2, . . . ). Furthermore assume P(0, 0, . . . ) =0

26

Page 27: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Remark 6.2. Before we continue, we look at some qualities of the Hirota derivative.Using equation (164) we obtain the following:

Dx(f · g) = −Dx(g · f) (182)

Using this we can conclude:

P(Dx)(f · g) = P(−Dx)(g · f) (183)

Generalizing this to more variables:

P(D1, D2, . . . )(f · g) = P(−D1,−D2, . . . )(g · f) (184)

Other useful identities are:

Dnx (f · 1) =

(∂

∂x1−

∂x2

)nf(x1)|x2=x1=x =

dnf

dxn(185)

⇒ P(D1, D2, . . . )(f · 1) = P(∂

∂x1,∂

∂x2, . . .

)f (186)

Dnx (e

kx · elx) =(∂

∂x1−

∂x2

)nekx1 · elx2 |x2=x1=x = (k− l)ne(k+l)x (187)

⇒ P(Dx)(ekx · elx) = P(k− l)e(k+l)x (188)

Let us now restrict ourselves to the case where g(x) = f(x), which is the case for theequations we are interested in. We observe that:

P(D1, D2, . . . )(f · f) = P(−D1,−D2, . . . )(f · f) (189)

due to equation (184). Thus P must be an even function when applied to (f · f).We are going to construct the solutions, starting with the 0-soliton solution (an

n-soliton solution is the solution that has n solitons). We will show that these solutionare soliton solutions later. Take τ = 1, which will satisfy the Hirota equation (181):

P(D1, D2, . . . )(1 · 1) = P(0, 0, . . . )(1 · 1) = 0 (190)

We expand τ around this point:

τ = 1+ ετ1 + ε2τ2 + ε

3τ3 + . . . (191)

For the 1-soliton solution we only need to take the first order term τ1. BecauseP(0, 0, . . . ) = 0 the equations put homogeneous constraints on the other τ2, τ3, . . .of which τi = 0 are solutions and therefore these terms can be disregarded. We remainwith the following:

P(D1, D2, . . . )(1+ετ1 ·1+ετ1) = P(D1, D2, . . . )(1 ·1+1 ·ετ1+ετ1 ·1+ετ1 ·ετ1) (192)

27

Page 28: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

We already know the following, using that P is an even function and P(0, 0, . . . ) = 0:

P(D1, D2, . . . )(1 · 1) = 0 (193)

P(D1, D2, . . . )(1 · τ1) = 0⇔ P(D1, D2, . . . )(τ1 · 1) = 0 (194)

We only need to look at:P(D1, D2, . . . )(τ1 · 1) = 0 (195)

According to equation (186) this is equivalent with:

P

(∂

∂x1,∂

∂x2, . . .

)τ1 = 0 (196)

This is a linear differential equation of which we know the solution. Choose k1, k2, · · · ∈C in such a way that P(k1, k2, . . . ) = 0 then:

τ1 = cek1x1+k2x2+... (197)

Here c ∈ C is a constant. This solves equation (196). We need to make sure that τ1also solves the following equation:

P(D1, D2, . . . )(τ1 · τ1) = 0 (198)

P(D1, D2, . . . )(τ1 · τ1) = P(D1, D2, . . . )(cek1x1+k2x2+... · cek1x1+k2x2+...

)(199)

Now we can use equation (188):

P(D1, D2, . . . )(cek1x1+k2x2+... · cek1x1+k2x2+...

)= P(k1 − k1, k2 − k2, . . . )e

2(k1x1+k2x2+... )

= P(0, 0, . . . )e2(k1x1+k2x2+... ) = 0 (200)

Therefore τ1 solves equation (192). The other τi are all chosen to be equal to zero.o Therefore our solution of the Hirota equation (181) is:

τ = 1+ cek1x1+k2x2+... (201)

We can absorb the c into the exponential by writing ε = eη0 , therefore our final solutionlooks like:

τ = 1+ eη0+k1x1+k2x2+... (202)

Example 6.2. Remember that in the case of the KdV-equation (15) the Hirota typeequation is (176): [

DtDx +D4x

](τ · τ) = 0

Therefore k1, k2 need to satisfy:

k1k2 + k42 = 0⇒ k1 = −k32 (203)

⇒ τ = 1+ ekx−k3t+η0 (204)

28

Page 29: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

We transform back to u using equation (170).

u = 2∂2

∂x2log(τ) = 2

∂2

∂x2log(1+ ekx−k

3t+η0)

= 2∂

∂x

kekx−k3t+η0

1+ ekx−k3t+η0= 2

(1+ ekx−k3t+η0)k2ekx−k

3t+η0 − k2e2(kx−k3t+η0)

(1+ ekx−k3t+η0)2

=2k2ekx−k

3t+η0

(1+ ekx−k3t+η0)2=k2

2sech2

(kx− k3t+ η0

2

)(205)

The Hirota Method can also be used to obtain the N-soliton solution.

P(k1, k2, . . . ) = 0 (206)

defined the relation that k1, K− 2, . . . must satisfy to make

τ = 1+ eη0+k1x1+k2x2+... (207)

a solution of the equation. When there are multiple sets of solutions k(j)1 , k

(j)2 , . . . , we

can make a superposition of the solutions in the Hirota equation to obtain more thenone soliton. Let k

(1)1 , k

(1)2 , . . . and k

(1)1 , k

(1)2 , . . . (assume that these sets are different)

satisfy the Hirota equation. Then we can write:

P(D1, D2, . . . )(τ · τ) = 0 (208)

where τ = 1+ ε

2∑j=1

cjek(j)1 x1+k

(j)2 x2+... + ε2τ2 +O(ε3) (209)

⇒P(∂1, ∂2, . . . )τ2 + c1c2P(k(1)1 − k(2)1 , k

(1)2 − k

(2)2 , . . . )e

(k(1)1 +k

(2)1 )x1+(k

(1)2 +k

(2)2 )x2+... = 0

(210)

where we have used equation (188) on the cross terms between the exponentials of k(1)

and k(2). The other terms already satisfy the Hirota equation and thus disappear. Weobtain an expression for τ2

τ2 = −c1c2P(k

(1)1 − k

(2)1 , k

(1)2 − k

(2)2 , . . . )

P(k(1)1 + k

(2)1 , k

(1)2 + k

(2)2 , . . . )

e(k(1)1 +k

(2)1 )x1+(k

(1)2 +k

(2)2 )x2+... (211)

Substitute this back into τ together with the solutions corresponding to k(1) and k(2),then the 2-soliton solution is obtained. This can be generalized to obtain a N-solitonsolution. However it is not always possible to find N different sets of k

(j)1 , k

(j)2 , . . . for

a generic Hirota equation,however it turns out that as an empirical fact that the oneand two soliton solution can alway be obtain, however the n-soliton solution for n 6 3is equivalent to the integrability of the system [8].

The Hirota method is less calculation heavy than the inverse scattering transform.However where in the inverse scattering transform the difficulties are the calculation of

29

Page 30: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

the time dependence of the scattering data and solving Marchenko integral equation,In the case of the Hirota method the problem is finding the transformation to bilinearform. This however is at the cost that the Hirota method only provides soliton solutions,while the inverse scattering transform can also be used to obtain non soliton solutions(in the case that the reflection coefficient is non zero).

7 Derrick’s Theorem

Remark 7.1. We will discuss the phenomena of solitons in field theories, remember thatthe list we of qualities of solitons was:

• Wave profile

• Finite energy

• Localized phenomenon

• Stable in time

• Stable under interaction processes

however the interpretation of this last point is not universal. This leads to solutionsthat interact very little but still being called solitons. A important notion is that thesoliton solution must be a stationary point of the energy, otherwise the solution woulddecay into a stationary point and would therefore be unstable. Often when studyingsolitons as solutions in field equation, we restrict ourselves to the stationary solutions.Moving solutions can be obtained by boosting the system.

Remark 7.2. We return to the KdV-equation (15), and look for a field equation withmirrors the behavior of that equation. As we have seen, the magnitude of the wave isrelated to the speed of the wave. A static wave solution was equal to zero everywhere.When a soliton moves with a certain speed, we can boost our system to follow thesoliton, which is not moving after the boost. We have already stated that a staticsolutions equals zero everywhere, therefore the soliton disappears after the boost. Thereis no relativistic KdV-soliton, which is no surprise as the KdV-equation is not Lorentz-invariant.

In a large class of field theories there exist bounds on whether soliton solution canexist. The most important of these is Derrick’s theorem [13].

Theorem 7.1. Derrick’s theorem. In theories with a Lagrangian of the form:

L(ϕ) =1

2∂µϕ∂

µϕ−U(ϕ) (212)

non-trivial time-independent scalar soliton solutions do not exist in more then one spa-tial dimension in either Euclidean or Minkowski space-time.

30

Page 31: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

The proof of Derrick’s theorem is based on spatial rescaling of the energy functional,which is never zero for stationary solutions. Moreover these solutions which are minimaof the energy are found by a variational principle and should thus be stationary againstall variations of the field, including spatial rescaling. Therefore no stationary solutionexist except for the vacuum states. Lorentz boosts imply there are also no movingsolutions. Let us study the D-space dimensional energy functional corresponding tothe Lagrangian (212)[12]:

E[ϕ] =

∫dDx

(1

2~Oiϕ · ~Oiϕ+U(ϕ(x))

)≡ ES[ϕ] + EU[ϕ] (213)

where ES[ϕ] =

∫dDx

(1

2~Oiϕ · ~Oiϕ

)(214)

and EU[ϕ] =

∫dDx (U(ϕ(x))) (215)

Both ES[ϕ] and EU[ϕ] are non-negative. Now consider a time-independent solutionϕ(x) and apply a spatial rescaling: x → λx with λ > 0. Let ϕλ(x) be an parametricfamily of field configurations:

ϕλ(x) ≡ ϕ(λx) (216)

In order for the theory to be scale invariant, the energy functional transforms as follows:

E[ϕλ(x)] = ES[ϕλ(x)] + EU[ϕλ(x)] = λ2−DES[ϕ(x)] + λ

−DEU[ϕ(x)] (217)

Because ϕ(x) is a solution, it is a stationary point of the variation of the energy func-tional around λ = 1. Therefore we require the following:

dϕλ

∣∣∣∣λ=1

= 0 (218)

This leads to the following relation:

(2−D)ES[ϕ(x)] = DEU[ϕ(x)] (219)

Because both ES[ϕ] and EU[ϕ] are non-negative, this equation can only be solved inthe case D = 1, otherwise only the vacuum solution remains.

Remark 7.3. When we study solitons in field equations for D > 1 we need to circumventthis restriction, this can be done in several ways [12]:

By adding an extra field for example gauge fields Aµ(x). This changes the energyfunctional in the following way:

E = ES + EU + EG (220)

ES[ϕ] =

∫dDxTn(Diϕ) (221)

EU[ϕ] =

∫dDxU(ϕ) (222)

EG[Aµ] =

∫dDxFijFij (223)

where Fµν = ∂µAν − ∂νAµ (224)

31

Page 32: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Here Tn is the n power of the derivatives of the scalar kinetic term (usually n = 2).The gauge field transforms as a 1-form, Aµλ ≡ λAµ(λx). The covariant derivativetransforms as followedDµ

λϕ(x) = (dµϕλ(x)+Aµϕλ(x)) ≡ λDµϕ(λx). The field strength

transforms as Fµνλ (x) ≡ λ2Fµν(x), then following the same procedure as before we obtainthe constrain:

(n−D)ES −DEU + (4−D)EG = 0 (225)

The following solitons use gauge fields to circumvent Derrick’s theorem:

• (2) space dimensions: CPN model [21]

• (3) space dimensions: ’t Hooft-Polyakov monopole [14]

• (4) space dimensions: Instanton [19]

Another way of circumventing Derrick’s theorem is to include a non-trivial time de-pendence ϕ(x) → ϕ(x, t). Q-balls show this structure by including a time dependentphase. Stability of the soliton is then governed by a Noether charge, which is relatedto the phase invariance of the Lagrangian. See section 8 for more about Q-balls. Byconsidering more complicated Lagrangians, for example higher powers of the derivative,one can also circumvent Derrick’s theorem and thus obtain solitons. Skyrme [15] andFaddeev-Niemi [16] models are examples of this kind.

Remark 7.4. We can split the solitons in field theories in two types, depending on themethod which stabilized them. If they are stable because of the topology of the theorythen they are called topological solitons. Otherwise they are called non-topologicalsolitons, usually a Noether charge stabilizes these solutions. However it is imaginablethat other more exotic theories also allow soliton solutions without a topological orNoether charge, which would also have to be called non-topological solitons.

8 Q-ball

In this section we will discuss the Q-ball [17], a non-topological soliton, which we studyusing the simple Lagrangian density of a complex scalar field ϕ in (1+1) dimensions:

L = ∂µϕ∂µϕ† −U(ϕ†ϕ) (226)

This Lagrangian density is phase invariant: if we substitute ϕ→ eiθϕ the Lagrangiandensity does not change. This invariance gives rise to a conserved charge by virtue ofNoether’s theorem. The Lagrangian density gives an equation of motion:

∂2ϕ−ϕdU(ϕ†ϕ)

d(ϕ†ϕ)= 0 (227)

and the conserved Noether current is:

jµ = −i(ϕ†∂µϕ−ϕ∂µϕ†) (228)

32

Page 33: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

∂µjµ = −i∂µ(ϕ

†∂µϕ−ϕ∂µϕ†)

= −i(∂µϕ†∂µϕ+ϕ†∂2ϕ−ϕ∂2ϕ† − ∂µϕ†∂µϕ)

= −i(ϕ†∂2ϕ− ∂2ϕ†ϕ)

using the equation of motion

= −i

(ϕ†ϕ

dU(ϕ†ϕ)

d(ϕ†ϕ)−ϕϕ†

dU(ϕ†ϕ)

d(ϕ†ϕ)

)= −i(ϕ†ϕ−ϕ†ϕ)

dU(ϕ†ϕ)

d(ϕ†ϕ)

∂µjµ = 0 (229)

The conserved current can be used to obtain a conserved charge for the field.

Qdef

=

∫j0dx (230)

∂Q

∂t=

∫∂j0

∂tdx

using ∂µjµ = 0⇒ ∂j1

∂x−∂j0

∂t= 0

∂Q

∂t=

∫∂j1

∂xdx

∂Q

∂t= j1|boundary (231)

We are interested in solitons, which are localized. Therefore ϕ|boundary = 0, thenj1|boundary = 0. We can conclude that the charge is conserved in time:

∂Q

∂t= 0 (232)

In order to obtain soliton solutions we must put some restriction on the potential.The potential U must have a minimum at ϕ = 0, which we can choose to be zero byshifting the potential. When we have a soliton (or any solution except for the vacuum),Q 6= 0. This implies the following:

Q =

∫j0dx 6= 0 ⇒ j0 6= 0 (233)

j0 = −i(ϕ†∂0ϕ− ∂0ϕ†ϕ) 6= 0 ⇒ ∂0ϕ 6= 0 (234)

Our solution must be time dependent. In order to determine this time dependence, wewrite:

ϕ = (ϕR + iϕI)/√2 (235)

33

Page 34: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Where ϕR and ϕI are respectively the real and imaginary parts of the field ϕ. Werewrite the equation for the charge (230) as follows:

Q =

∫j0dx =

∫−i(ϕ†∂0ϕ− ∂0ϕ†ϕ)dx

=−i

2

∫(ϕR − iϕI)

∂(ϕR + iϕI)

∂t− (ϕR + iϕI)

∂(ϕR − iϕI)

∂tdx

=

∫ϕI∂ϕR

∂t−ϕR

∂ϕI

∂tdx (236)

The solution has minimal energy, satisfying the constraint of the conserved charge (ωis the Lagrange multiplier):

δ(E−ωQ) = 0 (237)

The equation for the energy can be obtained from the Lagrangian density (226) andthen be rewritten using (235):

E =

∫∂µϕ∂µϕ

† +U(ϕ†ϕ)dx

=

∫1

2

(ϕR − iϕI∂t

+ϕR − iϕI∂x

)(ϕR + iϕI∂t

−ϕR + iϕI∂x

)+U

(ϕ2R +ϕ

2I

2

)dx

=

∫1

2

∂ϕR

∂t

2

+1

2

∂ϕI

∂t

2

+1

2

∂ϕR

∂x

2

+1

2

∂ϕI

∂x

2

+U

(ϕ2R +ϕ

2I

2

)dx (238)

We solve equation (237) assuming that the spatial part already satisfies the minimalenergy requirement. Therefore the only variations in the field are of the time derivative.

∂ϕR

∂t→ ∂ϕR

∂t+ δR (239)

∂ϕI

∂t→ ∂ϕI

∂t+ δI (240)

Equation (237) then becomes:

δ(E−ωQ) =

∫1

2

∂ϕR

∂t

2

+∂ϕR

∂tδR +

1

2

∂ϕI

∂t

2

+∂ϕI

∂tδI +

1

2

∂ϕR

∂x

2

+1

2

∂ϕI

∂x

2

+U

(ϕ2R +ϕ

2I

2

)dx−ω

(∫ϕI

(∂ϕR

∂t+ δR

)−ϕR(

∂ϕI

∂t+ δI)

)dx

(241)

Collecting the terms δR and δI yield:

∂ϕR

∂t= ωϕI (242)

∂ϕI

∂t= −ωϕR (243)

34

Page 35: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

The other parts of the equation already satisfy the minimal energy. Solving theseequations we obtain:

ϕ(x, t) = σ(x)e−iωt (244)

Where σ(x) is a real function. We can rewrite the charge (230) using this relation intoa more simple form:

Q =

∫j0dx = −i

∫(ϕ†∂0ϕ−ϕ∂0ϕ†)dx

= ω

∫σ(x)2dx (245)

To further study the Q-ball we take the potential [18]:

U(ϕ†ϕ) = m2|ϕ|2 −2

3a|ϕ|3 +

1

2b|ϕ|4 (246)

By rescaling we simplify the Lagrangian.

ϕ→ m2

aϕ (247)

x→ 1

mx (248)

The Lagrangian density then becomes:

L = ∂µϕ∂µϕ† − |ϕ|2 +

2

3|ϕ|3 −

1

2B|ϕ|4 (249)

where B =bm2

a2(250)

The equation of motion then becomes:

∂2ϕ−ϕ+ |ϕ|ϕ− B|ϕ|2ϕ = 0 (251)

Using equation (244) we obtain a differential equation for σ(x):

σ′′+ (ω2 − 1)σ+ σ2 − Bσ3 = 0 (252)

The soliton is localized and is stationary, therefore:

σ ′(0) = 0 (253)

σ(∞) = 0 (254)

This describes exactly the movement of a particle under the potential:

V =1

2(ω2 − 1)|σ|2 −

1

3|σ|3 +

B

4|σ|4 (255)

35

Page 36: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

To obtain a soliton solution we require that the solution cannot be formed by a super-position of plane-waves. Therefore we require m2

eff = ω2 − 1 < 0. Furthermore for the

solution to be stable the potential must have a zero different from ϕ = 0. These twoconditions together give us the constrain:

1−2

9B< ω2 < 1 (256)

In order to have stability we require that the solution is a minimal energy configuration(δ2E > 0). Using the potential we can write equation (238) more explicitly:

E =

∫σ ′2 + σ2 −

2

3σ3 +

B

2σ4dx+

Q2∫σ2dx

(257)

Then:

δ2E =

∫δσOδσdx (258)

O = −d2

dx2+ (1− 2σ0 + 3Bσ

20) + 3ω

2 (259)

In order for δ2E > 0 it is enough to know that O has no negative eigenvalues. Todetermine whether there are negative eigenvalues a numerical study was done by M.Axenides, et al [18] shows the results shown in figure 4. When the parameters aresuitably chosen the Q-ball will be stable and will not decay into other Q-balls.

Figure 4: The stability of the Q-ball depending on ω2 vertical and B horizontal [18]

Furthermore their numerical analysis shows the interaction of Q-balls. The figures5(a), 5(b), 5(c) and 5(d) show the interaction between qballs. At low velocities 5(a) theQ-balls the Q-balls attract and scatter along the x-axis and again attract each other,creating breather type oscillations. At higher velocity 5(b) part of the charge breaksfree of the interaction traveling along the x-axis, the rest continues traveling in the y

36

Page 37: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

direction. Each of these Q-balls escape towards infinity. At very high velocity 5(c) onlyforward scattering occurs and the Q-balls separate from each other, escaping towardsinfinity. The anti Q-ball , Q-ball interaction is only minimal, they exchange some chargeand then travel towards infinity.

Where the Solitons of the KdV equation did not change their shape under interac-tion, this is no longer the case for Q-balls. Under interaction Q-balls may decay intoother Q-balls depending on their relative velocity. However a single Q-ball is stable intime.

37

Page 38: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

(a) Head-on collision of two Q-balls with thesame charge.t = 0, t = 41.9, t = 55.9. Initialvelocity of each Q-ball v = 0.2.[18]

(b) Head-on collision of two Q-balls with thesame charge.t = 0, t = 19.6, t = 69.8. Initialvelocity of each Q-ball v = 0.4. [18]

38

Page 39: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

(c) Head-on collision of two Q-balls with thesame charge. t = 0, t = 12.6, t = 29.3. Initialvelocity of each Q-ball v = 0.8. [18]

(d) Head-on collision of two Q-balls with op-posite charge. Solid lines represent positivevalues and dashed-dotted lines negative val-ues. : t = 0, t = 28, t = 61.4. Initial velocityof each Q-ball v = 0.4. [18]

Figure 5:39

Page 40: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

9 Topological conservation laws

Instead of a Noether’s charge, which provided stability for the Q-ball, we look at dif-ferent charges. These charges are not governed by a symmetry however the topologyof the theory provides a conserved quantity [19]. The solitons that a stable because ofthese charges are called topological solitons.

Instead of studying the solutions, we focus on the initial value data. Because thesoliton solutions have a finite energy, the initial value date must also have finite en-ergy. Therefore we can conclude that the initial value data must be sufficiently smooth(continuously differentiable). Moreover the initial value data, at boundary

ϕ(±∞, t) def

= limx→±∞ϕ(x, t) (260)

is a zero of the potential energy. If the potential has a discrete set of zero’s, becausethe initial value data is smooth, this implies ):

∂0ϕ(±∞, t) = 0 (261)

This is a conservation law. When the potential has more then one zero, it is possiblethat at one end (x = +∞) the solution is connected to a different zero of the potentialthan at the other end (x = +∞). Between the two boundaries the solution connectsthem in a smooth manner, which is nonzero because the potential is at least partiallynonzero in between two zeros. This topological conserved charge (261) can be used toprove existence of nonzero and non-dissipating solutions.

Example 9.1. As an example, we take the sine-Gordon field-equation. The Lagrangiandensity is given by:

L =1

2∂µϕ∂µ +U(ϕ) (262)

where U(ϕ) = 1− cos(ϕ) (263)

where ϕ is a real scalar field. In figure 6 we have plotted the shape of the potential.

Figure 6: The shape of the potential of the sine-Gordon equation

The zeros of the potential form a discreet set. If a solution is at one zero (for example

40

Page 41: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Figure 7: The kink and anti-kink solutions of the sine-Gordon equation

ϕ = 0) at x = −∞ and when x =∞ at another zero (for example ϕ = 2π) somewhere inbetween a link between these two must form. In the case of the sine-Gordon equationthese look like figure 7. Because of the shape these solutions are called kinks (andanti-kinks). In the case of the sine-Gorden equation a kink and a anti-kink will forma breather pair, not dissimilar in behavior as the breather pair observed in section 8where two slow moving Q-balls formed a breather pair. However in other equations thathave kink and anti-kink solutions, the kink and anti-kink may annihilate each other.

As we have observed in section 7 gauge field can be used to circumvent Derrick’stheorem 7.1. We will review gauge fields and obtain some properties.

The theories which are of interest to us contain a set of n scalar fields. These wecombine into a n-vector, ϕ. Furthermore these theories contain a gauge group, G,which is a compact connected Lie group with a n-dimensional unitary representationD(g). We assume that G is a simple group, the procedure we follow will still be validin the case that G is not simple however this would add a notational complexity wewould like to avoid. We define a gauge transformation by:

g(x) : ϕ(x)→ D(g(x))ϕ(x) (264)

for any function g(x) from space-time to G. To simplify notation we identify the groupG with the representation D(g).

g(x) : ϕ(x)→ g(x)ϕ(x) (265)

Denote the generators of D(g) by Ta, these are n×n orthogonal Hermitian matricessatisfying the following commutation relations:

[Ta, Tb] = icabcT c (266)

Where cabc are the structure constants. To each of these generators Ta a gauge fieldAaµ isassociated. These are real co-vector fields and transform with the gauge transformationgiven by:

Aaµ(x)Ta → g(x)Aaµ(x)T

ag(x)−1 + ie−1(∂µg(x))g(x)−1 (267)

41

Page 42: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Where e is the gauge coupling constant, which is a real constant. Instead of this gaugetransformation it is more common to look at the infinitesimal gauge transformation:

g(x) = 1− iTbωb(x) (268)

δAaµ = cabcAbµδω

c + e−1∂µδωa (269)

We define the covariant derivative of ϕ as:

Dµϕ(x) =(∂µ + ieA

aµT

a)ϕ (270)

and we can define a field strength for the gauge fields:

Faµν = ∂µAaν − ∂νA

aµ − ec

abcAbµAcν (271)

these transform under gauge transformations as follows:

Dµϕ(x)→ g(x)Dµϕ(x) (272)

FaµνTa → g(x)FaµνT

ag(x)−1 (273)

We construct a Lagrangian density that defines our theory and is invariant under gaugetransformations:

L = −1

4FaµνF

aµν +Dµϕ†Dµϕ−U(ϕ) (274)

The potential U is a gauge invariant function of the scalar fields, and we can shift Uthereby ensuring that U becomes non-negative.

The ground states ϕ0 have zero energy, ϕ0 is constant and a zero of U. Furthermorethe gauge fields vanish in the ground state. Define H as the subgroup of G that leavesground states unchanged.

h ∈ H⇔ hϕ0 = ϕ0 (275)

As the potential is invariant under gauge transformations, if ϕ0 is a zero of U then sois gϕ0. Assume4 that all zeros of U can be written as gϕ0 for some g ∈ G. This meansthat we can identify the zeros of U by the coset space G/H.

Remark 9.1. In some cases it useful to rewrite the gauge fields in such a way that eitherthe time dependence or the radial dependence vanishes. Therefore we want to simplifythe gauge fields in such a way that the can be written as:

Aa0 = 0 (276)

To this end we need to look at the gauge fields in relation with paths in space-time.

4This neglects both accidental degeneracies and internal (non-gauge) symmetries. The accidentaldegeneracies will disappear when we include quantum theory. Furthermore the results we obtain canbe generalized to the case where internal symmetries are included. However both are beyond the scopeof this thesis [19].

42

Page 43: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Take a path P in space-time, traveling from x0 to x1. Map a parameter s ∈ [0, 1] tothis path such that P(0) = x0 and P(1) = x1. Consider a field ϕ such that the covariantderivative vanishes along P:

dxµ

dsDµϕ = 0 (277)

⇒ dϕ

ds= −ie

dxµ

dsAaµT

aϕ (278)

We want to write the final field ϕ(x1) in terms of the initial field ϕ(x0) and a transfor-mation g(P) ∈ G:

ϕ(x1) = g(P)ϕ(x0) (279)

This problem is similar to the time evolution given by a potential in quantum mechanicsand is solved using Dyson’s formula:

g(P) = Se−ie∫10dxµ

dsAaµT

ads (280)

Where S is an ordering based on s, in the same manner that in Dyson’s formula thereis a ordering based on t. These g(P) transform as [19]:

g(P)→ g(x1)g(P)g(x0)−1 (281)

Let P be the path from (x, 0) to x by a straight line, where x is any space-timepoint. Transform g(Px) with the gauge transformation g(x) = g(Px)

−1.

g(Px)→ g(Px)−1g(Px)g(P0) = g(P0) = 0 (282)

The last part holds because P0 is the path from and to the same point which changesnothing. After differentiation we obtain:

Aa0 = 0 (283)

This fixes the gauge in which we work, so we lose the freedom to choose any gauge ifwe set Aa0 = 0. A similar argument can be used to obtain Aar = 0, r > ε, the radialpart can be set to zero (everywhere but the origin as there the radial part is not definedthere).

Again studying stationary solutions, we can fix the time. We remove the timedependence from our formula. In the two dimensional case5 we look at the energy ofthe field:

E >∫∞ε

r

∫ 2π0

(∂rϕ

†∂rϕ+U(ϕ))dθdr (284)

Note, we have cut out the origin from the integral. Because the solution is smooth thisoffsets the energy only by a finite amount. We require that the total energy is finite

5By including an extra angle this procedure can be adopted for a three dimensional case.

43

Page 44: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

therefore the radial derivative must vanish (for this we use the results of remark 9.1)and

φ(∞, θ) def

= limr→∞ϕ(r, θ) (285)

must be a zero of U. In order for the finite energy condition to hold we need to cancelthe energy contribution of the angular dependence of ϕ(∞, θ) with the gauge field:

limr→∞ rAaθTaϕ(∞, θ) = −ie−1

dϕ(∞, θ)dθ

(286)

We have obtained a mapping from the boundary (S1) to the zero’s of the potential(G/H) namely ϕ(∞, θ).Definition 9.1. Let T s(x) : X→ Y be a continuous map ∀s ∈ [0, 1], x ∈ X. If T s(x) isa continuous function of s, ∀x, then for s1, s2 ∈ [0, 1] the maps T s1(x) and T s2(x) arehomotopic to each other.

If S is homotopic to T we write S ∼ T . This is an equivalence relation, if S ∼ T

and T ∼ R then S ∼ R. This can easily be shown be combining the function T s(x) thatdeforms S into T with the function that deforms T into R and rescaling the parameters. These equivalence classes, denoted by T , together with a composition rule, form agroup. In the case where X = [0, 1] with the end points identified (effectively X = S1),it is given by (287)

(T1 · T2) ={

T1(2x) 0 > x > 1/2T2(2x− 1) 1/2 > x > 1

. (287)

The group that is formed in this manner is called the first homotopy group π1(Y). Thisgroup is the most interesting in this thesis, since we will mostly be working in twodimensions (where the border is S1). Therefore we can classify the mappings that weobtained by looking at the boundary (285), this classification is π1(G/H). Solutionscannot go from one class to another as this would mean that they would be deformeddiscontinuously, which costs an infinite amount of energy [20].

Example 9.2. G is U(1), and the fields consists of a single complex scalar field ϕ. Thepotential is given by:

U =λ

2(ϕ∗ϕ− 1)2 (288)

The zero’s of the potential U are:

|ϕ| = 1 (289)

ϕ = eiσ (290)

where σ is a real number. This forms a circle, thus G/H = S1. Therefore we look atπ1(S

1), this the question how can we map a circle on a circle. This characterized by theso called winding number, how often is the circle wrapped around the circle. Withoutgoing into the mathematical details, π1(S

1) = Z. This winding number is conserved andtherefore a solution with a nonzero winding number will not dissipate into the vacuumsolution.

44

Page 45: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

Example 9.3. G = SO(3), and the fields form a three component real isovector fieldϕ. The potential is given by:

U =λ

2(ϕ2 − 1)2 (291)

The zero’s of the potential U are:

ϕ21 +ϕ22 +ϕ

23 = 1 (292)

This forms a sphere, thus G/H = S2. Therefore we look at π1(S2). When we place circle

on the sphere we can always pull the circle together into a point. Thus π1(S2) = 0,

therefore no conserved winding number exists and every solution may dissipate into thevacuum solution (unless something else in the theory stops this from happening).

However when considering this theory in three dimensions instead of two, we needto use the second homotopy group as the boundary now is a sphere. In this case weobtain π2(S

2) = Z therefore in three dimensions solitons are possible.

Topological conservation laws are a useful tool to construct non-dispersive solutions,however they give little information on the explicit form of the solution. Furthermorethe result of interactions can not be obtained from these conservation laws only. In thenext section we will give an example of a theory with a topological conservation law inwhich we obtain explicit solutions.

10 CPN model

A CPN field is set of N+ 1 complex field that are combined in CPN spinor [21]:

ϕσ =

ϕ1ϕ2. . .

. . .

ϕN+1

(293)

With the restriction that:N+1∑n=1

|ϕn|2 = 1 (294)

Furthermore it is invariant under the local gauge transformation:

ϕσ(x)→ ϕσ(x)eiΛ(x) (295)

Because of the presence of this gauge invariance, we introduce a covariant derivative.Otherwise the field equation (which are normally gradient dependent) would changeunder the gauge transformations.

~Dϕσ(x) = (~O+ i~A)ϕσ(x) (296)

~A = i(ϕσ)†~Oϕσ (297)

45

Page 46: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

The most simple energy functional that is consistent with the two constrains is:

E =

∫dx(~Dϕσ(x)

†) · (~Dϕσ(x)) (298)

The equations of motion are easy to obtain, however we need to include a Lagrangemultiplier κ to take in account the first constraint (294).

~D · ~Dϕσ(x) + κϕσ(x) = 0 (299)

By multiplying with ϕ†σ we obtain:

ϕ†σ(x)~D · ~Dϕσ(x) + κϕ†σ(x)ϕσ(x) = 0⇒ ϕ†σ(x)

~D · ~Dϕσ(x) = −κ (300)

Which simplifies our equation of motion by removing the Lagrange multiplier.

~D · ~Dϕσ(x) −(ϕ†τ(x)

~D · ~Dϕτ(x))ϕσ(x) = 0 (301)

We will look for solutions in the case where we work in two spatial dimensions.Furthermore we look for static solutions, using boosts to obtain the time dependence.The most basic solution is the zero energy solution:

ϕσ(~r) = cσeiΛr) (302)

~Dϕσ = ~DcσeiΛ(r)

= (~O+ i~A)cσeiΛ(r)

= ~OcσeiΛ(r) + i~Acσe

iΛ(r)

= icσeiΛ(r)∂Λ(r)

∂r− i(cτe

iΛ(r))†(~OcτeiΛ(r))cσe

iΛ(r)

= icσeiΛ(r)∂Λ(r)

∂r− icσe

iΛ(r)∂Λ(~r)

∂r= 0 (303)

where cσ is a constant and we have used that c†σ · cσ = 1. This solution has zero energyeverywhere. To obtain a non-zero but finite energy solution we need to include anangular dependence to the solution, however the energy contribution of this dependencemust vanish at the boundary, for which the gauge invariance can be used. Applying thegauge transformation ϕσ → ϕσe

−iΛ(θ) will put the energy contribution of the boundaryto zero. Furthermore the gauge invariance of the energy ensures us the boundary willvanish for all solutions of this shape.

limr→∞ϕσ(r, θ) = ϕσ(∞, θ) = bσeiΛ(θ) (304)

The eiΛ(θ) term maps a circle on the boundary, which is also a circle. This can beclassified with the first homotopy group applied to a circle π1[S1] = Z. For each n ∈ Z

46

Page 47: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

there exists a solution. Spinors of the form,

ϕσ(z) = K(z)

1

ω2

...ωN+1

= K(z)ωσ (305)

where z = x+iy, K(z) normalizes the spinor andωi are holomorphic functions, are exactsolution of the equations of motion. This is easily shown because the differentiationof the holomorphic will drop out, therefore when we plug this spinor (305) into theequation of motion (301) we obtain:

(~D · ~DK(z))ωσ − ((K(z)ωτ)†(~D · ~DK(z))ωτ)K(z)ωσ

=(~D · ~DK(z))ωσ − ((K(z)ωτ)†K(z)ωτ)(~D · ~DK(z))ωσ

=(~D · ~DK(z))ωσ − (~D · ~DK(z))ωσ = 0 (306)

Which proves that (305) is an exact solution. Furthermore the complex conjugate of(305) can be proven to also be a solution.

A more explicit example of such a spinor is, where n > 0:

ϕσ(z) =1√

a2 +Nr2n

a

zn

zn

...zn

(307)

What is special about this solution is that it clearly shows the mapping of the circle atthe boundary.

ϕσ(z) =einθ√a2

r2n+N

a

rneinθ

1

1...1

(308)

ϕσ(θ)r→∞ =einθ√N

0

1

1...1

(309)

To obtain solutions with negative winding number, we must use the complex conjugate.Although we have constructed an explicit solution for the soliton. Under interactions

the solitons would need to add their winding number, however construction of a twosoliton solution of this model is difficult. A superposition of the initial conditions cannotbe made as this would violate the constraint (294). Therefore we cannot compare thesesolitons with for example the KdV solitons or Q-balls as we can only construct one.

47

Page 48: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

11 Conclusion

A wide variety of phenomena are called solitons. In non-linear partial differential equa-tions solitons are solutions in the form of a solitary wave. These solutions can beobtained by the inverse scattering method and the Hirota method, however both meth-ods cannot be applied to every differential equation and no general treatment of allevolution equations for solitons solutions is known. In spatial dimensions higher thanone, Derrick’s theorem restricts which field-equation can have soliton solution. Thereare numerous ways to circumvent Derrick’s theorem, we discussed in this thesis Q-balls,a type of nontopological soliton, and topological conservation laws. Q-balls are stablein time both may decay in other solitons under interaction. Topological solitons canannihilate with opposing winding number and are therefore not stable under all in-teractions. Both of these solitons have different properties than the solitons obtainedin partial differential equations like the KdV equation. A more distinguishing namingscheme may be appropriate as the phenomena named solitons are very diverse.

References

[1] S. Russell, Report on Waves report fourteenth meeting british associa-tion advancement of science; held at york in september 1844 available at:http://www.archive.org/stream/reportofbritisha44brit/reportofbritisha44brit djvu.txt310-390 (1845).

[2] R. Hirota, The direct method in soliton theory Cambridge University Press (2004).

[3] D. A. Russell Acoustics and vibration animations available at:http://www.acs.psu.edu/drussell/Demos/Solitons/solitons.html (2004)

[4] D. J. Korteweg, G. de Vreis, On the Change of Form of Long Waves Advancing ina Rectangular Canal, and on a New Type of Long Stationary Waves PhilosophicalMagazine 39: 422443 (1895).

[5] A. Das, Integrable models World Scientific Publishing Co. (1989).

[6] G. L. Jr. Lamb Elements of soliton theory John Wiley & Sons, Inc (1980).

[7] C. S. Gardner, J. M. Greene, M. D. Kruskal, R. M. Miura method for solving thekorteweg-deVries equation physical review letters, V19 (1967)

[8] T. Miwa, M. Jimbo, E. Date, Solitons: Differential Equations, Symmetries, andinfinite Dimensional Algebras. Cambridge University Press (2000).

[9] P. P. Goldstein, Hints on the Hirota Bilinear Method Acta Physica Polonica A,V112 (2007).

[10] J. Hietarinta Introduction to the Hirota bilinear method eprint arXiv:solv-int/9708006v1 (1997).

48

Page 49: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

[11] Matlab version 7.12.0 R2011a The MathWorks Inc. (2011)

[12] D. Rubiera Garca, Relativistic lagrangian non-linear field the-ories supporting non-topological soliton solutions available at:http://www.tesisenred.net/handle/10803/11131 (2008).

[13] G. H. Derrick, Comments on Nonlinear Wave Equations as Models for Elemen-taryParticles J. Math. Phys. 5, 1252 (1964).

[14] G. ’t Hooft Magnetic monopoles in unified gauge theories Nuclear Physics B79276-284 North-Holland Publishing Company (1974)

[15] S.M.H. Wong, What exactly is a skyrmion? eprint: arXiv:hep-ph/0202250v2(2002)

[16] L. Faddeev, Knotted solitons Proc. ICM2002, vol. 1, pp. 235244 (2002)

[17] T. D. Lee, Y. Pang Nontopological Solitons physics reports 221, 251-350 (1992).

[18] M. Axenides, S. Komineas, L. Perivolaropoulos, M. Floratos Dynamics of Non-topological Solitons - Q Balls Phys.Rev. D61 (2000).

[19] S. Coleman Aspects of symmetry Cambridge University Press (1985).

[20] B. Bakker, D. Boer Group Theory in Physics, Part III, Representations of Semi-Simple Lie algebras (2009)

[21] R. Rajaraman, Solitons in quantum Hall systems The European Physical JournalB, Volume 29 (2002)

A Matlab script, transmission coefficient

1 function [ Z ] = trans2 clear a l l3 close a l l4 global k a5

6 for t e l =1:2017 k=10;8 at =.1 ;9 a=at ∗( t e l −1) ;

10

11 t s t a r t = 0 ;12 tend = 60 ;13 n = 1000 ;14 tspan = linspace ( t s t a r t , tend , n) ;

49

Page 50: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

15 x i n i t = [ 1 ; 1 i ∗k ] ;16

17 [ t , x ] = ode45 ( @ integ ra t ing funct i on , tspan , x i n i t ) ;18 y = x ( : , 1 ) ;19 B( t e l )=max(abs ( y ) ) ;20 a t e l ( t e l )=a ;21 end22

23 plot ( a t e l ,B, ’b ’ )24 end25

26 function [ dydt ] = i n t e g r a t i n g f u n c t i o n ( t , x )27 global k a28

29 dydt = zeros ( s ize ( x ) ) ;30 dydt (1 ) = x (2) ;31 dydt (2 ) = −(kˆ2+a∗sech ( t−30) ˆ2)∗x (1 ) ;32 end

Remark A.1. for information about ode45 see:http://www.mathworks.nl/help/techdoc/ref/ode45.html

Remark A.2.

Figure 8: A reflectionless potential is obtained for V = 0, 2, 6, 12, 20, 30, ..., n(n+ 1), ...

B Derivation of the Marchenko equation

In this appendix we preform the Fourier transform which leads to the Marchenko equa-tion.

T(k)Yr(x, k) = R(k)Yl(x, k) + Yl(x,−k) (310)

50

Page 51: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

We do the Fourier transform:

R.H.S. =

∫∞−∞

2πe−iωt

∫−∞ dze

−iωz/cr(z)

∫∞−∞ dt

′eiωt′y(x, t ′) + y(x,−t) (311)

where r(z) =

∫∞−∞

dk

2πeiktR(k) (312)

R.H.S. =

∫∞−∞ dz

∫∞−∞ dt

′r(z)y(x, t ′)δ(t ′ − t− z/c) + y(x,−t) (313)

= c

∫∞−∞ dt

′r(c(t ′ − t))y(x, t ′) + y(x,−t) (314)

= cr(x− ct) + c2∫∞x/c

dt ′r(c(t ′ − t))K(x, ct ′) + δ(t+ x/c) + cθ(−ct− x)K(x,−ct)

(315)

L.H.S. =

∫∞−∞

dw

2πe−iωtT(k)Yr(x, k) (316)

=

∫∞−∞

dw

2πe−iωtT(ω/c)

∫∞−∞ dt

′eiωt′(δ(t ′ + x/c) + cθ(t ′ + x/c)L(x,−ct ′))

(317)

=

∫∞−∞

dw

2πe−iω(t+x/c)(T(ω/c) − 1+ 1) (318)

+ c

∫∞−∞ dt

′∫∞−∞

dw

2πe−iω(t−t ′)(T(ω/c) − 1+ 1)θ(t ′ + x/c)L(x,−ct ′) (319)

= cΓ(t+ x/c) + δ(t+ x/c) + c2∫∞−x/c

dtΓ(t− t ′)L(x,−ct ′) + c

∫∞−x/c

dtδ(t− t ′)L(x,−ct ′)

(320)

= cΓ(t+ x/c) + δ(t+ x/c) + c2∫∞−x/c

dtΓ(t− t ′)L(x,−ct ′) + cθ(t+ x/c)L(x,−ct)

(321)

where Γ(z) =

∫∞−∞

dk

2πeikt(T(k) − 1) (322)

Because K(a, b) = 0 for a > b (it describes the wake behind the pulse) we consider thecase t + x/c < 0. The integral in Γ(t + x/c) can then be calculated as a contour plot,with finite many poles in the upper half plane, these poles correspond to the boundedstates [6].

Γ(t− x/c) = −∑n

cn(t)2e−κnξ (323)

51

Page 52: University of Groningenfse.studenttheses.ub.rug.nl/10532/1/soliton_thesis.pdf · 2018. 2. 15. · Figure 1: 2-soliton interaction [3] This equation has solitary wave solutions, in

equating the left and right hand side, we obtain the Marchenko equation:

K(x, y; t) + B(x+ y; t) +

∫∞x

K(x, z; t)B(y+ z; t)dz = 0 (324)

where B(ξ; t) =1

∫∞−∞ R(k, t)e

ikξdk+∑n

cn(t)2e−κnξ (325)

52