372 29 1MB
English Pages 77 Year 2003
Nonlinear wave equations (uncomplete draft) Heinz-J¨urgen Schmidt March 12, 2003 Contents 1 Introduction
2
2 Linear equations 2.1 Mathematical definitions . . . . . . . . . . . . . . 2.2 Physical examples and interpretation . . . . . . . 2.2.1 Harmonical oscillator . . . . . . . . . . . . 2.2.2 Electromagnetic waves in a linear medium 2.2.3 Schr¨odinger equation . . . . . . . . . . . . 2.2.4 Linear dispersion . . . . . . . . . . . . . . 3 Nonlinear equations 3.1 Generalities . . . . . . . . . . . . . . . . . . 3.2 Nonlinear approximation to linear equations 3.3 Nonlinear 1-dimensional oscillations . . . . . 3.3.1 Small damping, no driving force . . . 3.3.2 General case: chaotic motion . . . . . 3.3.3 The Duffing oscillator (1918) . . . . . 4 Cubic Schr¨ odinger equation (CSE) 4.1 Derivation from a Duffing-Lorentz 4.2 General properties . . . . . . . . 4.3 Conservation laws . . . . . . . . . 4.4 1-soliton solutions . . . . . . . . . 4.5 Interaction of 2 solitons . . . . . .
model . . . . . . . . . . . . . . . .
. . . . .
. . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . .
4 4 5 5 7 7 7
. . . . . .
7 7 7 7 7 8 8
. . . . .
10 10 14 15 17 18
5 Korteweg-de Vries equation 19 5.1 1-soliton solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 5.2 A physical derivation of the KdV equation for water waves . . . . . . . . 21
1
6 Exact solution methods for non-linear wave equations 29 6.1 An introduction into the inverse scattering transform (IST) . . . . . . . . 30 References 7 Appendices 7.1 Appendix 7.2 Appendix 7.3 Appendix 7.4 Appendix 7.5 Appendix 7.6 Appendix
1
33 1 . 2 . 3 . 4a . 4b . 5 .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
34 34 34 34 34 34 34
Introduction
This course addresses itself mainly to the fellows of the graduate college “Nonlinearities of optical materials”. It aims at providing a general physical background rather than dealing with the details of the various projects of this graduate college. It is generally held that most phenomena of nature are, in principle, nonlinear. Linearity is considered to occur only under idealized special circumstances. For example, any real oscillation will be nonlinear, and can only be approximated by a linear (or harmonic) oscillation in the case of small amplitudes. In contrast to this general situation, most methods of theoretical physics are confined to the linear case, which is mathematically much easier to handle than the nonlinear case. Yet the abundance of nonlinearity seems somewhat paradoxical in view of the fundamental theories of physics which are, at present, general relativity and quantum field theory, including gauge theories of the fundamental interactions. These are indeed nonlinear theories, but their limiting cases which are believed to describe condensed matter and electromagnetic waves, are linear. Among the limiting cases we have the quantum theory of atoms, molecules and solid states as well as electrodynamics, quantum or classical. What then is the physical origin of nonlinearity? We will frequently come back to this question during this course. The first part of the course will deal with the definition of linearity and nonlinearity of (wave) equations and a couple of physical examples. The definition is not as trivial as it may look at first sight, since a nonlinear transformation can turn a linear equation into a nonlinear one. One wouldn’t like to call the result a nonlinear problem, since it is only a linear equation in some nonlinear disguise. But this leads to very difficult problems. In this part of the course we will consider 3 typical examples of linear equations of motion or wave equations and recall some approaches and methods of solution which are typical for linear equations. Then we will consider 3 nonlinear counter-parts of these equations where the mentioned methods fail.
2
One of the central themes of this course is the question: What are the physical origins of nonlinearity? We will have to give different answers depending on the case under consideration. From the huge class of nonlinear wave equations in physics we will select two important cases: The Korteweg-de Vries (KdV) equation ψt + σψψx + ψxxx = 0,
(1)
and the cubic Schr¨odinger (CSE) equation iψt + ψxx + σ|ψ|2ψ = 0.
(2)
Here σ denotes a constant and the subscripts denote partial derivatives with respect to x or t. Both equations have numerous physical applications. We will concentrate on two typical applications and present detailed derivations from more fundamental equations in both cases. Thereby we study the physical origins of nonlinearity and, moreover, techniques of approximation. The KdV equation is suited to describe waves in shallow water. Among its solutions are the solitary waves (or “solitons”) first reported by J. Scott Russell in 1843. The nonlinearity of the KdV equation can be traced back to the nonlinearity of the more fundamental Navier-Stokes equations. The CSE appears, for example, in the context of self-focussing of laser beams in nonlinear optical media. It describes the first nonlinear correction to linear polarization and the propagation of certain optical solitons. As a rule, nonlinear equations cannot be solved exactly. Being one exception to this rule, the exact solutions of some nonlinear wave equations (including the KdV- and the CSE) describing the interaction of N solitons has been one of the high-lights of mathematical physics of the 20th century. Unfortunately, the pertinent techniques (Lax theory, inverse scattering method, B¨acklund transforms etc. ) are too complicated to be presented in detail in this course. Rather we will try to give a rough overview about the methods involved and show some results in graphical form. For a selected number of topics we provide numerical and analytical studies in the form of MATHEMATICA notebooks, see the Appendices.
Acknowledgement I thank M. Kadiroglu for his aid in preparing this course and F. Homann for providing the material of app. 5 and critical reading of the manuscript.
3
2 2.1
Linear equations Mathematical definitions
The definition of the linearity of any (wave) equation which has to comprise numerous physical cases is necessarily very abstract. We will illustrate this abstract definition by a couple of physical examples. We assume as known the notion of (real or complex) linear space or vector space. Its definition is taught in the introductory courses on linear algebra, see e. g. [1]. We will only consider the complex case, the linear case being analogous. Let V, W be C-linear spaces and D : V −→ W a linear operator. Then a linear, homogeneous (wave) equation is of the form Dφ = 0, φ ∈ V.
(3)
One may think of φ as a field obeying the wave equation. D will also be called the “wave operator”. It follows that the set of solutions of (3), Solh ⊂ V, will be a linear subspace of V. This means that φ1 , φ2 ∈ Solh and c1 , c2 ∈ C implies c1 φ1 + c2 φ2 ∈ Solh .
(4)
This equation expresses some kind of superposition principle for fields satisfying a linear, homogeneous wave equation. The corresponding inhomogeneous linear (wave) equation will be of the form Dφ = ρ, φ ∈ V, ρ ∈ W.
(5)
Mathematically, the inhomogeneous equation can also be written in the form (3), but its physical interpretation is different: ρ is assumed to be given, and φ is to be determined by ρ, (5) and additional boundary conditions. Typically, ρ is the “source” and φ is the “field” produced by ρ. In general, φ is not uniquely determined by ρ and (5), since Dφ1 = ρ = Dφ2 implies D(φ1 − φ2 ) = 0, i. e. φ1 − φ2 solves the homogeneous equation (3). Therefore one usually needs additional boundary conditions to single out a unique solution φ. Mathematically, the set of solutions of (5) with fixed ρ, Soli,ρ will be an “affine subspace” of V. If ρ is allowed to vary, we have again a linear subspace of solutions, Soli ⊂ V ⊕ W, which means that (φ1 , ρ1 ), (φ2, ρ2 ) ∈ Soli and c1 , c2 ∈ C implies (c1 φ1 + c2 φ2 , c1 ρ1 + c2 ρ2 ) ∈ Soli , which means that a superposition principle holds for fields and sources.
4
(6)
2.2 2.2.1
Physical examples and interpretation Harmonical oscillator
We start with a mechanical example which is also used as a simple model for the interaction between electromagnetic radiation and matter (Lorentz model) to be considered later. 2.2.1.1 The simplest case Let us first consider the equation of motion of a 1dimensional harmonical oscillator: d2 x (t) + ω02 x(t) = 0. 2 dt
(7)
This is a linear, homogeneous equation in the sense considered in the preceding paragraph, if we choose V = W = the space of smooth functions x : R −→ R. Here and henceforward we will not be too precise about the exact function spaces appropriate for the various (wave) operators. In the case of (7) the (wave) operator is, of course, D=
d2 + ω02 . dt2
(8)
The superposition principle implies in this case that with the special solutions cos ω0 t and sin ω0 t also x(t) = A cos ω0 t + B sin ω0 t,
A, B ∈ C
(9)
will be a solution of (7). Actually, (9) will be the most general solution. Hence the subspace Solh of V is 2-dimensional. 2.2.1.2 The damped harmonic oscillator with driving force Next we will consider the equation of motion of a damped harmonic oscillator with driving force: dx d2 x (t) + ω02x(t) = f (t), (t) + 2Γ 2 dt dt
(10)
where Γ > 0 is a constant and f is a general driving force (divided by the mass). This is a linear, inhomogeneous equation with the same V and W as before and D=
d2 d + ω02 . + 2Γ 2 dt dt
(11)
Again, the superposition principle (6) can be employed to compose the general solution of (10) from special solutions. Let G(t) denote the special solution of (10) with f (t) = δ(t). Since (10) is invariant under time translations, G(t − s) will also be a solution of (10) with f (t) = δ(t − s) for arbitrary s. Then a solution of (10) with general f (t) can be written as ∞ x(t) = G(t − s)f (s)ds. (12) −∞
5
G is sometimes called the Greens function of the corresponding (wave) equation. The general solution of (10) is obtained by adding to (12) the general solution of the corresponding homogeneous equation. The latter vanishes for t → ∞. It remains to find the Greens function for (10). Since δ(t) = 0 for t > 0 it will be a solution of the homogeneous equation for t > 0 and chosen as G(t) = 0 for t < 0 (“causality”). The appropriate initial condition is x(0) = 0 and x(0) ˙ = 1, since the second t-derivative of this kink gives just δ(t). This yields the result √ 21 2 e−Γt sin ω02 − Γ2 t : t > 0 ω0 −Γ G(t) = (13) 0 : t t the upper limit of the integral in (12) may be replaced by t. An important case is a harmonic driving force f (t) = Aeiωt , A ∈ C.
(14)
Due to linearity (and the left hand side of (10) being real) this form can be superposed with f (t) = Ae−iωt to give real sin ωt and cos ωt expressions for f (t) which have a direct physical interpretation. Instead of solving the integral (12) it is easier in this case to insert the ansatz x(t) = Beiωt , B ∈ C
(15)
into (10) which gives A ≡ Ar(ω)eiϕ(ω) , (16) + 2iΓω + ω02 1 : relative amplitude (17) r(ω) = 2 (ω0 − ω 2 )2 + 4Γ2 ω 2 2Γω tan ϕ = , ϕ : phase shift. (18) ω 2 − ω02 √ In the case Γ < ω0 / 2 the relative amplitude has its maximum at the value ωr = ω02 − 2Γ2 which is called the “resonance frequency”. Typical graphs for r(ω) and ϕ(ω) are shown in the following figures. B =
−ω 2
6
r
1 Ω0 2
Ωr Ω0 2 2 2
Ω
Figure 1: Relative amplitude r of forced oscillation as a function of the driving frequency ω.
2.2.2
Electromagnetic waves in a linear medium
2.2.3
Schr¨ odinger equation
2.2.4
Linear dispersion
3
Nonlinear equations
3.1
Generalities
3.2
Nonlinear approximation to linear equations
3.3
Nonlinear 1-dimensional oscillations
3.3.1
Small damping, no driving force
See app. 1.
7
Ω0
Ω
Π 2
Π Figure 2: Phase shift ϕ of forced oscillation as a function of the driving frequency ω..
3.3.2
General case: chaotic motion
See app. 2. 3.3.3
The Duffing oscillator (1918)
See [5] 3.3.3.1
Bistable response See app. 3.
3.3.3.2 Perturbation series solution We consider a Duffing oscillator with small cubic nonlinearity and a harmonic driving force. Its equation of motion reads x¨ + 2γ x˙ + αx + λx3 = F exp (i(ωt + φ)) + CC,
(19)
where, as usual, CC denotes the complex conjugate of the preceding term. It is important to use a real driving force, since the use of complex forces and taking the real part of the resulting solution presupposes linearity. We assume that λx3 is small compared with the other terms of (19) and look for solutions which are close to the corresponding
8
solutions of the linear equation with λ = 0. Hence it appears natural to expand the solution into a perturbation series, i. e. a power series with respect to λ: x(t) =
∞
xi (t)λi .
(20)
i=0
Inserting this series into the equation of motion (19) and equating terms with the same powers of λ yields a hierarchy of linear, inhomogeneous equations which can be explicitely solved. It can be shown by induction that all functions of t which are involved in this hierarchy of equations are periodic functions with frequency ω. Hence they can be expanded into Fourier series, especially xn (t) = xnm eimωt . (21) m∈Z
Since x(t) is a real function we can write xn,−m = xnm and need only consider nonnegative n, m. Using computer algebra software it is possible to calculate a certain number of terms of the perturbation series, see app. 4a and 4b. Of course they will become more and more complex. Here we will only explicitely calculate the first few terms in order to see the underlying principle. λ0 terms It suffices to reproduce the result (16) of the linear problem, which reads, using the slightly different notation of the present section, x0 (t) = x01 eiωt + CC, x01 = h(ω)F eiφ , 1 h(ω) ≡ . 2 α − ω + 2iγω
(22) (23) (24)
λ1 terms The cubic term gives λ(x0 + x1 λ + . . . )3 = λx30 + O(λ2 ) = λ(x301 e3iωt + 3x201 x01 eiωt + CC) + O(λ2 ).
9
(25)
Since the driving force is O(λ0 ), the O(λ1 ) terms of (19) are x¨1 + 2γ x˙1 + αx1 = −x30 = − x301 e3iωt + 3x201 x01 eiωt + CC , 1 x11 = −3F 3 eiφ h2 (ω)h(ω), h(ω) x11 = −3F 3 eiφ h3 (ω)h(ω),
1 x13 = −(F eiφ h(ω))3, h(3ω) x13 = −F 3 e3iφ h3 (ω)h(3ω).
(26) (27) (28) (29) (30)
Some remarks are in order. We see in (26) that the cube of the solution in O(λ0 ) approximation acts as a driving force for the next order approximation. Since x30 contains the frequencies ω and 3ω, also x1 (t) will contain terms with these frequencies. Both terms are proportional to F 3 , F being essentially the amplitude of the driving force. Hence in the lowest order the nonlinear term λx3 produces a correction to the linear response of the oscillator with the same frequency as well as a correction with triple frequency (third harmonic generation). Both terms could be split into a relative amplitude and a phase shift part, similar as but more complicated than in the linear theory. λ2 terms Similar as above we conclude x¨2 + 2γ x˙2 + αx2 = −3x20 x1 2 x11 eiωt + x13 e3iωt + CC = −3 x01 eiωt + CC 1 x25 = −3x201 x13 h(5ω) x25 = 3F 5 e5iφ h5 (ω)h(3ω)h(5ω) ...
(31) (32) (33) (34) (35)
It will not be necessary to give more terms. We can already see by the given example that the O(λ2 ) terms will contain the frequencies ω, 3ω, 5ω and that the corrections will be of order F 5 . We stress this finding in order not to generate the wrong impression that a cubic nonlinearity would at most produce 3ω terms proportional to F 3 . At the contrary, it seems fairly clear that the higher order corrections conclude all odd multiples of ω and odd powers of F .
4 4.1
Cubic Schr¨ odinger equation (CSE) Derivation from a Duffing-Lorentz model
The well-known Lorentz model is a simple mechanical model to describe the linear response of matter to electromagnetic waves. The electrons in a piece of matter (insulator)
10
are considered as classical harmonical damped oscillators subject to the driving force of the electromagnetic field. The resulting oscillating motion of the electrons produces a polarization density P which determines the dielectric displacement D and the dielectric function ε(ω). From this a linear wave equation is derived. In the present subsection we will extend this model to a nonlinear oscillator model with a cubic nonlinearity λx3 (Duffing oscillator) and consider the resulting correction of lowest order (see section 3.3.3.2) to the linear wave equation. We call this model the “Duffing-Lorentz model”. Our treatment is an elaboration of that one sketched in [2], chapter 16. We start with the macroscopic Maxwell equations ∂ B = 0, ∂t ∂ rotH − D = 0, ∂t rotE +
divD = 0,
(36)
divB = 0,
(37)
and assume the relations B = µ0 H, D = ε0 E + P(E).
(38) (39)
Taking the curl of (36) and using (37), (38) and (39) yields rot rot E = ∇(∇ · E − ∆E) ∂ = − ∇×B ∂t ∂2 = −µ0 2 D ∂t ¨ +P ¨ . = −µ0 ε0 E
(40) (41) (42) (43)
Next we assume the special situation where the fields E and P points into z-direction and depends only on x, y, t. Let us write 0 0 . , P = 0 0 (44) E= P (x, y, t) E(x, y, t) It follows that ∇ · E = 0 and
0 , 0 ∆E = Exx + Eyy
(45)
Exx + Eyy = µ0 ε0 E¨ + P¨ .
(46)
hence (43) reduces to the scalar equation
11
The Duffing-Lorentz model is defined by the equation of motion for a typical electron with mass m and charge q ˜ iωt + CC. m¨ z + 2Γz˙ + mαz + Λz 3 = q Ee
(47)
Division by the electron’s mass and introducing new parameters yields the form of the equation of motion we have already considered before, see (19), z¨ + 2γ z˙ + αz + λz 3 = F eiφ eiωt + CC.
(48)
According to (22) - (30) the nonlinear response to the harmonic driving force will be z(t) = F eiφ h(ω)eiωt − 3λF 3 eiφ h2 (ω)h(ω)eiωt − λF 3 e3iφ h3 (ω)h(3ω)e3iωt + CC + O(λ2 ).
(49)
This gives rise to an electric dipole density P = qNz(t),
(50)
where N denotes the constant electron density. In the approximation we consider there are only Fourier components of E and P with the frequencies ω and 3ω, i. e. we have (51) E = E1 (x, y)eiωt + E3 (x, y)e3iωt + CC, iωt 3iωt P = P1 (x, y)e + P3 (x, y)e + CC. (52) Thus (46) assumes the form
E1xx + E1yy = µ0 (ε0 E1 + P1 ) (−ω 2 ), E3xx + E3yy = µ0 (ε0 E3 + P3 ) (−9ω 2 ).
P1
P3
qE1 m
= F eiφ we obtain by (49) and (50)
q 3 qE1 2 2 h(ω) − 3λ( ) E1 |E1 | h (ω)h(ω) = qN m m 1 n1 (ω)E1 + n3 (ω)E1 |E1 |2 , ≡ µ0
qE1 3 3 qE3 = qN −λ( ) h (ω)h(3ω) + h(3ω) . m m
Using the identification
(53) (54)
If (56) is inserted into (53) we obtain the nonlinear wave equation E1xx + E1yy = −ω 2 (ε0 µ0 + n1 (ω))E1 − n3 (ω)E1|E1 |2 .
(55) (56) (57)
(58)
If its solution is inserted into (57), (54) assumes the form of a linear inhomogeneous wave equation for the 3ω component of the electromagnetic wave. We will not further
12
consider the latter. Returning to (58) we will make the ansatz of a modulated plane wave in x-direction with an amplitude envelope E1 (x, y) = ψ(x, y) exp(−ikx)
(59)
E1x = (ψx − ikψ) exp(−ikx), E1xx = ψxx − 2ikψx − k 2 ψ exp(−ikx), E1yy = ψyy exp(−ikx).
(60) (61) (62)
and obtain
Hence (58) assumes the form ψxx + ψyy − 2ikψx − k 2 ψ exp(−ikx) = −ω 2 (ε0 µ0 + n1 (ω))ψ exp(−ikx) −ω 2 n3 (ω)ψ|ψ|2 exp(−ikx).
(63)
Using ω 2 = ε0 µ0 k 2
(64)
ψxx ≪ ψyy
(65)
−2ikψx + ψyy + ω 2 n1 (ω)ψ + ω 2n3 (ω)|ψ|2ψ = 0.
(66)
and the “thin beam approximation”
we arrive at the wave equation
The term ω 2n1 (ω)ψ can be made to vanish by means of a transformation Ψ = ψ exp(−icx),
(67)
if we chose 2kc = ω 2 n1 (ω). Hence we arrive at a cubic Schr¨odinger equation of the form −2ikΨx + Ψyy + ω 2 n3 (ω)|Ψ|2Ψ = 0
(68)
which is equivalent to the above-mentioned standard form 1 −iΨt + Ψxx + σ|Ψ|2 Ψ = 0 2
(69)
after a suitable scaling and re-naming of the variables. However, these transformations presuppose that n1 (ω) and n3 (ω) are real functions. This is only approximately satisfied if the damping coefficient γ of the Duffing-Lorentz model can be neglected. This is a consistent assumption: In the next subsections we will see that the CSE satisfies an energy conservation law, which can only be valid if dissipative effects are neglected.
13
4.2
General properties
We will first collect some simple properties of the CSE 1 iψt + ψxx + σ|ψ|2 ψ = 0. 2
(70)
Let CSE denote the set of solutions of (70) subject to the boundary conditions that ψ as well as its arbitrary x-derivatives vanish at x → ±∞. Then the following properties of CSE hold: • Linearity with respect to phase factors ψ ∈ CSE and β ∈ R ⇒ eiβ ψ ∈ CSE .
(71)
• Time reversal invariance ψ ∈ CSE and φ(x, t) = ψ(x, −t) ⇒ ψ ∈ CSE .
(72)
ψ ∈ CSE and φ(x, t) = αψ(αx, α2 t), α ∈ R ⇒ φ ∈ CSE .
(73)
• Scaling property
• Translational invariance ψ ∈ CSE and φ(x, t) = ψ(x + a, t + τ ), a, τ ∈ R ⇒ φ ∈ CSE .
(74)
• Galilean invariance i ψ ∈ CSE and φ(x, t) = exp(− v 2 t + ivx)ψ(x − vt, t), v ∈ R ⇒ φ ∈ CSE. 2
(75)
We will now sketch the proofs of these properties. Obviously, (71) holds since multiplying ψ by eiβ results in multiplying the whole CSE by an arbitrary phase factor. (72) follows by taking the complex conjugate of the CSE and using −iψt = iφt . To prove the scaling property we set φ(x, t) = γψ(αx, βt) and consider the following terms of the CSE φt (x, t) = βγψt (αx, βt), φxx (x, t) = α2 γψxx (αx, βt), |φ|2φ = γ 2 γ|ψ(αx, βt)|2 ψ(αx, βt).
(76) (77) (78)
All three terms obtain the same factor if β = α2 and α = γ. Translational invariance (74) holds since the coefficients of the CSE are not depending on x or t.
14
It remains to show Galilean invariance of the CSE. The proof is completely analogous to the quantum mechanical case. We set φ(x, t) = exp(iλt + ikx)ψ(x − vt, t) ≡ eψ
(79)
φt = iλeψ + eψt − veψx , φx = ikeψ + eψx , ψxx = −k 2 eψ + 2ikeψx + eψxx .
(80) (81) (82)
and obtain
Hence
1 1 2 1 2 2 φt + φxx + σ|φ| φ = −iveψx + ikeψx − λeψ − k eψ + e iψt + ψxx + σ|ψ| φ . 2 2 2 (83)
We see that φ ∈ CSE ⇔ ψ ∈ CSE if the first 4 terms of the r. h. s. of (83) vanish. This is achieved for v = k and λ = − 21 k 2 which concludes the proof of (75).
4.3
Conservation laws
The CSE as well as the KdV equation posess an infinite number of conserved quantities. This is the crucial property which leads to interpreting these equations as infinite dimensional integrable Hamiltonian systems. In this course we will only treat the first three conservation laws of the CSE which can be confirmed by elementary calculations. We will write the CSE and its complex conjugate in the form i ψxx + iσψψ 2 , 2 i 2 = − ψ xx − iσψψ , 2
ψt =
(84)
ψt
(85)
and will make frequent use of integration by parts where the boundary terms always vanish due to our boundary conditions for x → ±∞. Recall from quantum mechanics that the scalar product of wave functions is defined by φ(x)ψ(x)dx. (86) φ|ψ ≡ R
The first conserved quantity to be considered is ψ|ψ . In quantum mechanics (σ = 0) this is the total probability (= 1) which should be conserved in the course of time. In the context of nonlinear optics ψ|ψ is proportional to the field energy and its conservation is plausible as long as dissipative effects are neglected. In order to prove d ψ|ψ = 0 dt
15
(87)
we conclude d ψ|ψ = ψt |ψ + ψ|ψt dt i i = ψxx + iσ|ψ|2 ψ|ψ + ψ| ψxx + iσ|ψ|2 ψ 2 2 i ψ xx ψdx − ψψxx dx = − 2
2 2 + σ (−iψ|ψ| ψdx + (iψ|ψ| ψdx
i = − − ψ x ψx dx + ψ x ψx dx = 0. 2
(88) (89) (90) (91) (92)
In the last step we used integration by parts. In quantum mechanics the expectation value of momentum ψ|P|ψ = i ψ|ψx would be conserved for a free particle. Hence one may conjecture that also for solutions of the CSE we have d (93) ψψ x = 0. dt The proof is again straight forward: d ψt ψ x dx + ψψ xt ψψ x = dt 1 1 2 2 = i ( ψxx + σψψ )ψ x dx − i ( ψ xxx + σ(ψψ )x )ψdx 2 2 1 1 2 2 − ψx ψ xx + σψψ ψ x + ψ xx ψx + σψψ ψx dx = i 2 2 iσ 2 = (ψ 2 ψ )x dx = 0. 2
(94) (95) (96) (97)
As in quantum mechanics one may conclude from (93) that the suitable defined “center of mass” of the wave packet moves with uniform velocity. We will leave the details to the reader. The next conserved quantity in analogy with quantum mechanics would be the total kinetic energy expectation value ψ|P2 |ψ . However, it turns out that for σ = 0 we have
16
to add a bi-quadratic term in order to obtain a conserved quantity: d 2 (ψx ψ x − σψ 2 ψ )dx dt 2 2 = i ψtx ψ x + ψx ψ tx − 2σψψt ψ − 2σψ ψψ x dx
1 1 2 2 ψxxx + σ(ψψ )x ψ x − ψ + σ(ψψ )x ψx = i 2 2 xxx
1 1 2 2 2 2 −2σ ( ψxx + σψψ )ψψ − ( ψ xx + σψψ )ψψ dx 2 2 = 0.
(98) (99) (100) (101) (102)
In the last step the 8 terms cancel pairwise due to integration by parts and according to the powers of σ.
4.4
1-soliton solutions
In order to derive these special solutions we insert the ansatz ψ(x, t) = φ(x)eiαt , α ∈ R
(103)
into the CSE (70) and obtain 1 −αφ + φxx + σφ3 = 0. (104) 2 In analogy with the treatment of 1-dimensional equations of motion we multiply with 4φx and integrate over x which gives φ2x − 2αφ2 + σφ4 = C.
(105)
The straight forward solution procedure would be solving (105) for φx followed by a separation of variables which leads to the elliptical integral dφ = dx. (106) C − σφ4 + αφ2 For α, σ > 0, C < 0 we obtain periodic solutions. Soliton solutions occur for α, σ > 0, C = 0. Instead of solving the above integral (106) one can perform the transformation φ(x) = f −1 (x). Using φx = −f −2 fx equation (105) is transformed into f −4 fx2 − 2αf −2 + σf −4 = 0.
(107)
Multiplication with f 4 , differentiation with respect to x and division by 2fx yield fx2 − 2αf 2 + σ = 0 2fx fxx − 4f fx = 0 fxx − 2αf = 0.
17
(108) (109) (110)
The general solution of (110) which is compatible with the above boundary conditions reads √ f (x) = A cosh( 2α(x − x0 )). (111) Since the CSE is invariant with respect to x−translations we can, without loss of generality, set x0 = 0. We have still to check whether (111) satisfies (108), since by differentiation of an differential equation we might have enlarged the set of solutions. Using √ √ (112) fx = A 2α sinh( 2αx), we obtain √ √ −fx2 + 2αf 2 = 2αA2 (cosh2 ( 2αx) − sinh2 ( 2αx)) = 2αA2 = σ.
(113)
Hence the parameters A, α, σ cannot be chosen independently but have to satisfy σ . (114) A= 2α Inverting the above transformation we obtain √ 2α ψ(x) = sech( 2αx)eiαt . σ Finally, we may apply a Galileo transformation (75) to (115) which yields
√ 1 2 2α exp i(α − v )t + ivx sech 2α(x − vt) . Ψ(x, t) = σ 2
(115)
(116)
This represents a soliton moving with velocity v in x-direction without changing its form, see figure 3. Its amplitude is inversely proportional to its width. In fact, it is not difficult to show that the distance d between the two points of inflection of the soliton profile amounts to √ 2 log( 2 + 1). (117) d= α
4.5
Interaction of 2 solitons
In this subsection we provide some numerical and analytical studies of the interaction of two solitons. The analytical solutions are taken from [4] and obtained by methods to be explained later, see section 6. The main result is that two solitons which approach with opposed velocities, interact and then fly apart without changing their form. The only result of the scattering is a shift in position and in phase, see app. 5.
18
2Α x,t Sech 2 Α xvt Σ
2 d Log 2 1 Α 2 Α Σ
xvt
Figure 3: 1-soliton solution of the cubic Schr¨ odinger equation.
5
Korteweg-de Vries equation
The KdV equation has first be derived in 1895 by D. J. Korteweg and G. de Vries in order to describe solitary water waves first observed by J. S. Russell in 1834, see e. g. [3], p. 1.
5.1
1-soliton solutions
A normalized form of the KdV equation reads qt + σqqx + qxxx = 0, σ > 0.
(118)
We are mainly interested in real solutions. The KdV equation admits 1-soliton solutions analogously to those derived for the cubic Schr¨odinger equation in section 4.4. They are of the form q(x, t) = s(x − vt), v > 0.
19
(119)
This represents a wave travelling with velocity v to the right without changing its shape. The ansatz (119) implies qt = −vsx , qx = sx , etc.. Inserting this into (118) yields −vsx + σssx + sxxx = 0.
(120)
Integrating over x gives −vs +
σ 2 s + sxx = C = 0. 2
(121)
The constant of integration C vanishes if we impose the boundary conditions that s as well as its derivatives sx , sxx vanish for |x| → ∞, which is a natural condition for soliton-like solutions. Note that (121) is formally identical with the one-dimensional equation of motion of a unit mass with a force law F (s) = vs − σ2 s2 , if s(x) is construed as the position s at time x. Following the usual procedure of solving such one-dimensional problems we multiply (121) with 2sx and once more integrate over x. This yields the “energy conservation law” σ = 0. −vs2 + s3 + s2x = C (122) 3
vanishes due to the boundary conditions. The straight Again the “total energy” C forward solution procedure would be solving (122) for sx followed by a separation of variables which leads to the solvable integral ds = dx. (123) s v − σs/3 Alternatively one can perform the transformation s(x) = f −2 (x). Using sx = −2f −3 fx equation (122) is transformed into −vf −4 +
σ −6 f + 4f −6fx2 = 0. 3
(124)
Multiplication with f 6 , differentiation with respect to x and division by 2fx yield σ + 4fx2 = 0 3 −2vf fx + 8fx fxx = 0 v fxx − f = 0. 4 −vf 2 +
(125) (126) (127)
The general solution of (127) which is compatible with the above boundary conditions reads √ v (x − x0 )). (128) f (x) = A cosh( 2 Note that for the last step we used the first time the restriction v > 0. A negative v would give oscillating solutions which wouldn’t look like solitons. Since the KdV
20
equation is invariant with respect to x−translations we can, without loss of generality, set x0 = 0. We have still to check whether (128) satisfies (125), since by differentiation of an differential equation we might have enlarged the set of solutions. Using √ √ v v A sinh( x). (129) fx = 2 2 we obtain −4fx2
√ v v σ 2 x) − sinh ( x)) = vA2 = . + vf = vA (cosh ( 2 2 3 2
2
2
√
(130)
Hence the parameters A, v, σ cannot be chosen independently but have to satisfy σ . (131) A= 3v Inverting the above transformations we obtain √ v 3v 2 sech ( x) s(x) = σ 2
(132)
and finally 3v q(x, t) = sech2 σ
√
v (x − vt) . 2
(133)
We have obtained a 1-parameter family of soliton solutions. The parameter v, which was originally introduced as the velocity of the soliton, also determines the form of the wave profile: The amplitude is proportional to v and the width of the soliton is proportional to √1v . In fact, it is not difficult to show that the distance d between the two points of inflection of the wave profile amounts to √ 3+1 2 √ , (134) d = ln √ v 3−1 see figure 4. This is typical for KdV-solitons whereas for CSE-solitons the amplitude and the velocity are independent, see section 4.3.
5.2
A physical derivation of the KdV equation for water waves
We will present a derivation of a certain variant of the KdV equation from first principles following closely the account of G. B. Whitham in [2], chapter 13. We consider the two-dimensional hydrodynamic wave problem. The geometry is explained in figure 5: A solitary wave train is moving into x-direction. The height of the water at rest is h, the solitary wave has a typical height a and length ℓ. For the sake of reference our
21
3v v q x,t Sech2 xvt 2 Σ 2 3 1 Log d v 3 1
3 v Σ
vt x
Figure 4: 1-soliton solution of the Korteweg-de Vries equation.
assumptions which will lead to the KdV equation are contained in table 1. According to assumption 1 the velocity field of the fluid can be written the form
u(x, y, t) . (135) v (x, y, t) = v(x, y, t) Due to the assumption 2 of constant mass density ρ the usual equation of mass conservation (analogous to the continuity equation in electrodynamics) ∂ρ + ∇ · (ρv ) = 0 ∂t
(136)
0 = ∇ · v = ux + vy .
(137)
assumes the simplified form:
For an irrotational flow (assumption 3) the velocity field can be written as the gradient of a “velocity potential” ϕ:
22
y
Ηx,t
a l
h
x
Figure 5: Geometry of the hydrodynamic wave problem which leads to the Korteweg-de Vries equation.
∇ × v = 0 ⇒ v = ∇ϕ u = ϕx , v = ϕy .
(138)
(137) and (138) imply Laplace’s equation ∆ϕ = ϕxx + ϕyy = 0.
(139)
Although (139) is a linear equation its boundary conditions will be nonlinear, as we will see in a minute. According to assumption 4 (a) the vertical velocity component v will vanish at y = 0 for all x and t: v(x, 0, t) = ϕy (x, 0, t) = 0.
(140)
The remaining boundary conditions refer to the free water surface which is not fixed but evolves in time according to the wave equation. Thus we are faced with what is usually called a “free boundary problem”. We will write the equation for the free water surface in the form: y = η(x, t) ≡ h + q(x, t).
23
(141)
Table 1: Assumptions leading to a wave equation of KdV type. Assumptions 1. 2-dimensional problem, no z-dependance 2. Constant mass density of water 3. Irrotational flow 4. Boundary conditions: a) No flow across the river-bed b) No flow across the free surface c) Constant pressure at the free surface 5. Ideal fluid (viscosity is neglected) 6. Limit case a) h ≪ ℓ
b) a ≪ h 7. The solitary wave(s) move(s) to the right
The function η (or q) can be viewed as an additional unknown which is linked to the other unknowns such as ϕ via the boundary conditions. According to assumption 4 (b) a mass element at the surface remains at the surface for all times. Its coordinates hence satisfy y(t) = η(x(t), t).
(142)
The total t-derivative of (142) yields v=
∂η ∂η dy = u+ , dt ∂x ∂t
(143)
or ∂η ∂η ϕx + . (144) ∂x ∂t Of course, (144) only holds at the free surface, i. e. for y = η(x, t). The remaining boundary condition 4 (c) refers to the pressure p which is introduced by the equations expressing momentum conservation (or balance of forces). These equations are called “Navier-Stokes-equations” and simplify to “Euler’s equation” for ideal fluids (assumption 5):
dv ∂v 1 0 , (145) ≡ + (v · ∇)v = − ∇p − g dt ∂t ρ ϕy =
24
where p(x, y, t) is the fluid’s pressure and g is the gravitational acceleration. Since 21 ∇(v · v) = (v · ∇)v + v × (∇ × v ) and ∇ × v = 0 by (138), we conclude 1 p ∂ ∇ϕ + ∇( |v|2 ) + ∇( + gy) = 0, ∂t 2 ρ
(146)
1 p ϕt + (∇|v |)2 + + gy = C. 2 ρ
(147)
and hence
Assumption 4 (c) means that (147) holds with p = p0 at the free surface. Differentiating with respect to x finally yields ut + uux + vvx + gηx = 0.
(148)
Next we will expand the velocity potential into a power series with respect to y. At the moment, this is to be considered as a purely formal procedure; later on we will argue that the first few terms of this series yield a reasonable approximation of ϕ. Thus let ϕ(x, y, t) =
∞
y n ϕn (x, t).
(149)
n=0
The velocity potential satisfies Laplace’s equation, see (139). Hence from ∞ 2 ∂2 n ∂ ϕ = y ϕ (x, t), 2 n ∂x2 ∂x n=0
∞ ∂2 ϕ = n(n − 1)y n−2ϕn (x, t) ∂y 2 n=2
=
∞
(n + 2)(n + 1)y nϕn+2 (x, t)
(150) (151) (152)
n=0
we conclude the following recursion relation for ϕn : ∂2 ϕn (x, t) + (n + 1)(n + 2)ϕn+2(x, t) = 0, for all n ∈ N. ∂x2
(153)
The first boundary condition (140) yields ∂ ϕ(x, y, t)|y=0 = 0= ny n−1ϕn (x, t)|y=0 = ϕ1 (x, t). ∂y n=1 ∞
25
(154)
Hence (154) yields ∂2 ϕ0 + 2 · 1 · ϕ2 ∂x2 ∂2 n=1 : ϕ1 + 3 · 2 · ϕ3 ∂x2 ⇒ ϕ3 (x, t) = 0 ∂2 ϕ2 + 4 · 3 · ϕ4 n=2 : ∂x2 ∂2 ϕ3 + 5 · 4 · ϕ5 n=3 : ∂x2 ⇒ ϕ5 (x, t) = 0 ... n=0
:
=0
(155)
=0
(156) (157)
=0
(158)
=0
(159) (160) (161)
Thus all odd ϕn vanish and the even ϕn can be expressed by even x-derivatives of ϕ0 :
2n ∞ n ∂ 2n (−1) ϕ0 (x, t). (162) ϕ(x, y, t) = y (2n)! ∂x n=0 According to assumption 6 we introduce the small parameters a h2 α ≡ ≪ 1, β ≡ 2 ≪ 1, h ℓ
(163)
which are assumed to be of the same order of magnitude and analyze the wave problem in the asymptotic limit α, β → 0. For this goal we transform our variables and equations into a dimensionless form. After this transformation we denote all variables with the same letters as before, hence it amounts to the simultaneous substitution x → ℓx y → hx ℓ t → t c q → aq gℓa ϕ → ϕ, c
(164) (165) (166) (167) (168)
where c≡
gh
(169)
denotes a typical velocity. It can be shown to equal the velocity of linear water waves in lowest order of approximation. It is crucial for this approach that there is a different stretching in x- and in y-direction. The chosen units which lead to the transformation are not unique due to the appearance of two dimensionless quantities α and β. Any choice of units different from the present one would lead to a different asymptotic limit
26
of the wave equation. We now consider the transformed equations. The dimensionless equation of the free surface will be y = η(x, t) = 1 + αq(x, t).
(170)
Equation (144) is equivalent to ϕy = qx ϕx + qt .
(171)
After substituting the dimensionless variables we obtain gℓa 1 a gℓa 1 ac ϕy = qx ϕx + qt . c h ℓ c ℓ ℓ Multiplication with
ℓ ac
(172)
finally leads to 1 ϕy = αqx ϕx + qt . β
(173)
Analogously, (148) is transformed into the dimensionless form α ϕy ϕyx + qx = 0. β
ϕxt + αϕx ϕxx +
(174)
The power series expansion of ϕ (162) reads in dimensionless form ϕ(x, y, t) =
∞ n=0
y
n 2n (−1)
∂ ∂x
2n
ϕ0 (x, t)
(175)
β2 β 2 y ϕ0xx (x, t) + y 4ϕ0xxxx (x, t) ∓ . . . 2 24
(176)
(2n)!
= ϕ0 (x, t) −
β
n
We note that it can be viewed as a power series with respect to the small parameter β which justifies the use of the first few terms as an approximation. More precisely, we will insert (176) into the dimensionless boundary conditions (173) and (174), using (170) and retain only constant or linear terms with respect to α and β. Here the assumption that α and β are of the same order of magnitude is crucial. In what follows we will use the abbreviation w(x, t) ≡ ϕ0x (x, t).
(177)
After some calculations the boundary conditions assume the asymptotic form wx + qt + α(qw)x −
27
β wxxx = O2 6
(178)
and wt + qx + αwwx −
β wxxt = O2 , 2
(179)
where O2 stands for terms of quadratic and higher order in α, β. In lowest order we consider only constant terms. Then (178) and (179) reduce to wx = −qt ,
wt = −qx .
(180)
Differentiation with respect to x leads to wxx = −qtx = −qxt = wtt ,
(181)
qxx = qtt .
(182)
and analogously for q
These are 1-dimensional linear wave equations for w and q with the dimensionless wave velocity 1. This confirms the above remark about the physical meaning of the typical velocity c. The general solutions of (181) and (182) are well-known: Travelling wave trains of the form w(x, t) = f (x ± t),
q(x, t) = F (x ± t),
(183)
with arbitrary smooth functions f and F . Using the above assumption 7, that q is travelling to the right, we conclude q(x, t) = F (x − t). Since wx = f ′ (x ± t) = −qt = F ′ (x − t), wt = ±f ′ (x ± t) = −qx = −F ′ (x − t),
(184) (185)
the only consistent solutions of (181) and (182) under assumption 7 will be of the form w(x, t) = f (x − t),
f (ξ) = F (ξ) + C.
(186)
The constant C vanishes since q and w vanish for |ξ| → ∞, hence in lowest order approximation w(x, t) = q(x, t) = F (x − t).
(187)
We return to the linear order approximation. (178) and (179) represent two coupled, nonlinear partial differential equations. The straight forward approach to decouple these equations would be differentiating and using qxt = qtx . But this leads to equations of second order in the time derivative, whereas the KdV equation is of first order. Therefore we will use a different strategy. Recall that (178) and (179) are first order approximations of a more complex system of equations. Thus it would be legitimate to insert the result (187) of the zeroth order approximation into the first order terms of (178) and
28
(179) since the difference is at least of quadratic order. For this reason we may repeatedly use the identities w = q and wt = −wx in the first order terms of the difference between (178) and (179) to obtain a more symmetric relation of the form: wt − qt +
β α β α qqt − qxxt = wx − qx + qqx − qxxx , 2 3 2 3
(188)
where we replaced the terms of quadratic order O2 by 0. This equation is of the form ∂ ∂ G(x, t) = G(x, t), ∂t ∂x
(189)
with G(x, t) = w − q +
α 2 β q − qxx . 4 3
(190)
It has the general solution G(x, t) = g(x + t). Since the difference w − q is of linear order O(α, β) we may write w=q−
α 2 β q + qxx + αg1(x + t) + βg2 (x + t). 4 3
(191)
According to assumption 7 the disturbance αg1 (x + t) + βg2(x + t) which is travelling to the left has to vanish. Hence we will restrict ourselves to the subclass of solutions of (188) with g1 = g2 = 0 for physical reasons. Mathematically it is not necessary that g1 = g2 = 0 should hold. Inserting w = q − α4 q 2 + β3 qxx into (178) or (179) and using w = q and wt = −wx in the first order terms we eventually obtain qt + qx +
β 3α qqx + qxxx = 0. 2 3
(192)
This is a modified form of the KdV equation due to the term qx . Mathematically, this term would disappear after a suitable transformation q → q + C. Unfortunately in our case this transformatioin is unphysical since C = O(α−1 ) would be large and the transformation would violate the boundary conditions. Nevertheless, the modified KdV equation (192) admits 1-soliton solutions of the hyperbolic secans form we considered in section 6.1.
6
Exact solution methods for non-linear wave equations
We have encountered special 1-soliton solutions for the CSE (section 4.4) and the KdV equation (section 5.1). Further we have studied the interaction of 2 solitons numerically and analytically. More complicated solutions describing the interaction of N solitons can also be obtained for a class of nonlinear wave equations including the CSE and the KdV equation. The corresponding technique is called the “inverse scattering transform”
29
(IST) and was first developed in the papers of Gardner, Greene, Kruskal, Miura [6] for the KdV equation, later generalized by Lax [7] and modified to the CSE by Zakharov and Shabat [8]. Since this theory is mathematically rather sophisticated and beyond the scope of the present course, we will only explain the basic ideas of the IST without going into details. Also we will only consider the case of the KdV equation since the other cases are more involved but similar in spirit.
6.1
An introduction into the inverse scattering transform (IST)
In order to motivate the IST technique let us first consider a linear wave equation of the form iqt = ω(−i∂x )q,
(193)
where ω shall denote a rather arbitrary function to be applied to the “momentum operator” −i∂x . For example, the linear free 1-dimensional Schr¨odinger equation is obtained 1 2 with ω(p) = 2m p if = 1. The common technique to solve this kind of wave equation is the Fourier transform, comprised by the following equations 1 q(x, t) = √ b(k, t)eikx dk, (194) 2π R 1 b(k, t)ω(k)eikx dk, (195) ω(−i∂x )q = √ 2π R ibt = ω(k)b, (196) −iω(k)t b(k, t) = e b(k, 0). (197) If the initial value q(x, 0) of the wave function is given, its Fourier transform b(k, 0) has to be multiplied by e−iω(k)t and Fourier re-transformed to give the desired solution q(x, t). This procedure is summarized in table 2.
Table 2: Solution scheme for linear wave equations of the form (193). q(x, 0)
Fourier transform −−−−−−−−−−−−−−→
b(k, 0) ↓
Inverse Fourier transform q(x, t) ←−−−−−−−−−−−−−−−−−−−−− b(k, t)
Recall that the Fourier transform of an 1-dimensional object q(x) may be realized as the interference pattern at a large distance if the object is illuminated with coherent monochromatic light. In this sense the function b(k) can be viewed to comprise the
30
“scattering data” of the object q(x) and it is possible to recover the object q(x) from its scattering data b(k), or to “see” the object. (In 3 dimensions this is the problem of computer tomography.) If the object q(x) is exposed to a particle beam, we obtain another kind of scattering data by solving the corresponding Schr¨odinger equation ψxx + qψ = −k 2 ψ.
(198)
This is the linear Schr¨odinger equation for 1-dimensional particles hitting a localized potential q(x) and has to be distinguished from the non-linear Schr¨odinger or KdV equations which we want to solve. In the context of the scattering problem we look for eigenfunctions φ, ψ1 , ψ2 , i. e. solutions of (198), which additionally satisfy φ ∼ eikx for x → −∞ and hence represent incoming plane waves and ψ1 ∼ eikx for x → ∞ ψ2 ∼ e−ikx
(199)
(200)
and represent outgoing, transmitted or reflected, waves. If the condition (199) uniquely characterizes the eigenfunction, we may write φ = a(k)ψ1 + b(k)ψ2 ,
(201)
with generally complex functions a(k) and b(k). The quotient ρ(k) ≡
b(k) a(k)
(202)
is called the “reflection coefficient” and will be considered as the first part of the scattering data. The second part consists of data of the bound states φn (x) of the potential q(x) with eigenvalues −κ2n , n = 1, . . . , N. Since the potential is localized they exponentially decay for large values of x: φn (x) ∼ Cn e−κn x for x → ∞.
(203)
The reflection coefficient ρ(k) together with the Cn , κn define the “scattering data”, in symbols S(q) = {ρ(k), (Cn , κn )n=1,... ,N }.
(204)
S(q) can also be considered as the “scattering transform” of q, in analogy to the Fourier transform considered above. The scattering transform is designed to solve non-linear wave equations analogously to the solution of linear wave transformations by the Fourier transform. But there are two problems left: • How do the scattering data depend on t, if the potential q changes with some parameter t ?
31
• How can the scattering transform be inverted, i. e. how can the potential q be reconstructed from the scattering data? (IST) Concerning the first problem, we should stress that the parameter t has nothing to do with the time of the scattering process. Without any proof we state only the solution of this problem: If the potential q(x, t) changes according to the KdV equation, then the scattering data have the following, very simple t-dependence: 3
ρ(k, t) = ρ(k, 0)e8ik t , 8k 3 t
Cn (t) = Cn (0)e κn (t) = κn (0).
(205)
,
(206) (207)
Concerning the second problem of the IST, the solution was known before it was applied to the N soliton problem. In 3-dimensional scattering theory of spherically symmetric potentials it is well-known that the scattering amplitude is proportional to the Fourier transform of the potential, see e. g. [9], chapter 8, (8.129). For 1-dimensional scattering the recipe reads as follows: Define 1 F (x) ≡ 2π
ikx
ρ(k)e R
dk − i
N
Cn e−κn x
(208)
n=1
and solve the so-called Gelfand-Levitan-Marchenko integral equation ∞ K(x, y) + F (x + y) + K(x, z)F (z + y) = 0.
(209)
x
Then the potential is obtained by q(x) = −2
d K(x, x). dx
(210)
Since there is no general method of solving (209), the IST has only be applied to the N-soliton problem in the special case of “reflectionless potentials”, i. e. where ρ(k) = 0 for all k. We will sketch the solution for this case. Using F (x + y) = −i Cn e−κn (x+y) ≡ gn (x)hn (y), (211) n
n
and the ansatz K(x + y) =
wn (x)hn (y),
(212)
n
the Gelfand-Levitan-Marchenko equation (209) reduces to ∞ wn (x)hn (y) + gn (x)hn (y) + wn (x)hn (z)gm (z)hm (y)dz = 0. n
n
x
nm
32
(213)
Since the functions hn , n = 1, . . . , N are linearly independent, this implies ∞ wm (x) + gm (x) + wn (x) gm (z)hn (z)dz = 0.
(214)
x
n
In vector notation this reads P(x)w(x) = −g (x),
(215)
(216)
where Pmn (x) ≡ δmn +
∞
gm (z)hn (z)dz.
x
(215) has the formal solution w(x) = −P−1 (x)g (x).
(217)
wn (x)hn (x) = h(x) · w(x)
(218)
Hence K(x, x) =
n
= −h(x) · P−1 (x)g (x) = −
hn (x)P−1 nm (x)gm (x)
(219)
mn
d Pmn (x) = P−1 nm (x) dx mn
−1 d P = Tr P dx 1 d d = det P = (log det P) . det P dx dx
(220) (221) (222)
Finally, by (210) q(x) = −2
d2 log det P. dx2
(223)
The scheme for the IST solution of the N soliton problem is contained in the following table 3.
References [1] W. H. Greub, Linear Algebra, 4th edition, Springer, Berlin-Heidelberg-New York (1975) [2] G. B. Whitham, Linear and Nonlinear Waves, Wiley, New York (1974) [3] C. Rebbi, G. Soliani, Solitons and Particles, World Scientific, Singapore (1984)
33
Table 3: Solution scheme for nonlinear wave equations. S(q, 0) = {κn , cn (0)}N , ρ(k, 0) n=1 ↓ Inverse scattering u(x, t) ←−−−−−−−−−−− S(q, t) = {κn , cn (t)}N n=1 , ρ(k, t)
u(x, 0)
Direct scattering
−−−−−−−−−−→
[4] L. D. Faddeev and L. A. Takhtajan, Hamiltonian methods in the theory of solitons, Springer, Berlin-Heidelberg-New York (1987) [5] J. J. Stoker, Nonlinear Vibrations, Interscience Publishers, New York (1950) [6] C. S. Gardner, J. M. Greene, M. D. Kruskal and R. M. Miura, Method for solving the Korteweg-de Vries equation, Phys. Rev. Lett. 19 (1967) 1095.1097 [7] P. D. Lax, Integral of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math. 21 (1968) 467-490 [8] V. E. Zakharov and A. B. Shabat, Exact theory of two-dimensional self-focusing and one-dimensional self-modulation of waves in nonlinear media, Sov. Phys. JETP34 (1972) 62-69 [9] A. Galindo and P. Pascual, Quantum mechanics II, Springer, Berlin-HeidelbergNew York (1991)
7
Appendices
7.1
Appendix 1
7.2
Appendix 2
7.3
Appendix 3
7.4
Appendix 4a
7.5
Appendix 4b
7.6
Appendix 5
34
1
Appendix01.nb
Appendix 1 3.3.1: Small damping, no driving force Harmonic oscillator with friction k 1; 0.01; sol NDSolve# '#t' #t', '#t' k #t' 2 #t', #t', #t', t, 0, 60 '
#0' 1, #0' 0,
M#t' InterpolatingFunction#0., 188.496, !'#t', Z#t' InterpolatingFunction#0., 188.496, !'#t' ParametricPlot#Evaluate##t', #t' ss. sol', t, 0, 60 , PlotStyle Hue#0', PlotRange All, PlotPoints 100'
Damped motion in phase space 1
0.5
-1
-0.5
0.5
-0.5
-1
h Graphics h
2
Appendix01.nb
ParametricPlot#Evaluate##t', #t' ss. sol', t, 0, 2 , PlotStyle Hue#0', PlotRange All' 1
0.5
-1
-0.5
0.5
-0.5
-1
Graphics
The swept phase space area I(E) as a function of time listI Table#2 +n 1/ , NIntegrate#Evaluate##t' ^ 2 ss. sol'##1'', t, 2 +n 1/, 2 n', n, 1, 30'
, 2.95229, 3 , 2.6035, 5 , 2.29599, 7 , 2.02483, 9 , 1.78569, 11 , 1.5748, 13 , 1.38881, 15 , 1.22479, 17 , 1.08014, 19 , 0.95257, 21 , 0.840066, 23 , 0.74085, 25 , 0.653351, 27 , 0.576187, 29 , 0.508136, 31 , 0.448123, 33 , 0.395197, 35 , 0.348522, 37 , 0.30736, 39 , 0.271059, 41 , 0.239045, 43 , 0.210813, 45 , 0.185914, 47 , 0.163957, 49 , 0.144592, 51 , 0.127514, 53 , 0.112454, 55 , 0.0991719, 57 , 0.0874586, 59 , 0.0771288
1
Appendix01.nb
LP
3
ListPlot#listI, PlotStyle Hue#0'' 3
2.5
2
1.5
1
0.5
25
50
75
100
125
150
175
D Graphics D
Comparison with the theoretical result FP
Plot# Exp# 2 t', t, 0, 60 , PlotStyle Hue#0.75'' 3
2.5
2
1.5
1
0.5
25
D Graphics D
50
75
100
125
150
175
4
Appendix01.nb
Show#LP, FP'
3
2.5
2
1.5
1
0.5
25
50
75
100
125
150
175
h Graphics h
Pendulum with friction
Moderate Amplitude k 1; 0.01; sol NDSolve# '#t' #t', '#t' k Sin##t'' 2 #t', #t', #t', t, 0, 60 '
M#t' InterpolatingFunction#0., 188.496, !'#t', Z#t' InterpolatingFunction#0., 188.496, !'#t'
#0' 1, #0' 0,
5
Appendix01.nb
Damped motion in phase space ParametricPlot#Evaluate##t', #t' ss. sol', t, 0, 60 , PlotStyle Hue#0', PlotRange All, PlotPoints 100'
0.75
0.5
0.25
-1
-0.5
0.5 -0.25
-0.5
-0.75
D Graphics D
1
6
Appendix01.nb
Dissipation of energy Plot$Evaluate$k +1 Cos##t''/
1
#t' ^ 2 ss. sol(, t, 0, 60 , PlotStyle Hue#0.4'( 2
0.4
0.3
0.2
0.1
25
50
75
100
125
150
175
D Graphics D newroot
FindRoot#+#t' ss. sol/##1'' 0, t, 2 '##1, 2''
6.67108 ParametricPlot#Evaluate##t', #t' ss. sol', t, 0, newroot, PlotStyle Hue#0', PlotRange All'
0.75
0.5
0.25
-1
-0.5
0.5 -0.25
-0.5
-0.75
D Graphics D
1
Appendix01.nb
7
The phase space area I(E) as a function of time listI
; For$n 1; oldroot 0;
newroot FindRoot#+#t' ss. sol/##1'' 0, t, 2 '##1, 2'', n 25, n , 1 #t' ss. sol ss. t oldroot; oldroot newroot listI Append$listI,
, NIntegrate#Evaluate##t' ^ 2 ss. sol'##1'', 2 t, oldroot, newroot' (; oldroot newroot; newroot
FindRoot#+#t' ss. sol/##1'' 0, t, oldroot 2 '##1, 2''(; listI
3.33554, 2.78926, 9.98014, 2.44218, 16.5759, 2.14038, 23.1301, 1.87743, 29.6488, 1.64795, 36.1372, 1.4474, 42.5994, 1.27192, 49.039, 1.11822, 55.459, 0.983481, 61.862, 0.865258, 68.2503, 0.761477, 74.6256, 0.670315, 80.9898, 0.590196, 87.3441, 0.519747, 93.6898, 0.457769, 100.028, 0.403238, 106.36, 0.355251, 112.685, 0.313025, 119.006, 0.275851, 125.322, 0.243114, 131.635, 0.214278, 137.944, 0.188873, 144.249, 0.166491, 150.553, 0.14677, 156.853, 0.12939 ListPlot#listI, PlotStyle Hue#0''
LPP
2.5
2
1.5
1
0.5
25
D Graphics D
50
75
100
125
150
8
Appendix01.nb
Comparison with the theoretical result for * 1: FPP Plot#2.7892585884622143 Exp# 2 +t 6.671075605173357 s 2/', t, 0, 60 , PlotStyle Hue#0.4'' 3 2.5 2 1.5 1 0.5
25
50
75
100
125
150
175
D Graphics D Show#LPP, FPP' 3
2.5
2
1.5
1
0.5
25
D Graphics D
50
75
100
125
150
175
9
Appendix01.nb
Comparison with harmonic oscillator Show#LPP, FPP, LP, FP' 3
2.5
2
1.5
1
0.5
25
50
75
100
125
150
175
h Graphics h
Large Amplitude k 1; 0.01; sol NDSolve# '#t' #t', '#t' k Sin##t'' 2 #t', #t', #t', t, 0, 46 '
M#t' InterpolatingFunction#0., 144.513, !'#t', Z#t' InterpolatingFunction#0., 144.513, !'#t'
#0' 3.1, #0' 0,
Appendix01.nb
10
Damped motion in phase space ParametricPlot#Evaluate##t', #t' ss. sol', t, 0, 46 , PlotStyle Hue#0', PlotRange All, PlotPoints 100'
1
-2
-1
1
2
3
-1
-2
D Graphics D ParametricPlot#Evaluate##t', #t' ss. sol', t, 0, 13, PlotStyle Hue#0', PlotRange All'
1
-2
-1
1
2
3
-1
-2
D Graphics D
The phase space area I(E) , swept within one period, as a function of time 1 ++#t' ss. sol/ ss. t 0/##1'' 3.1
11
Appendix01.nb
e
1
k 1 Cos t
t ^ 2 . sol . t 0 1 2
1.99914
, , 1, 1
NIntegrate 2 e k 1 Cos 7.99004
; Forn 1; oldroot 0; FindRoot t . sol 1 0, t, 8 1, 2; droot 5, 1
k 1 Cos t
n 14, n , e t ^ 2 . sol . t oldroot 1; 2 1 t . sol . t oldroot 1; i NIntegrate 2 e k 1 Cos , , Abs 1, Abs 1; listI Append listI, oldroot, i; oldroot newroot; newroot FindRoot t . sol 1 0, t, oldroot droot 1, 2; droot newroot oldroot; listI
listI
newroot
0, 7.99004, 7.99731, 7.03508, 13.1254, 6.35404, 17.7911, 5.78937, 22.1846, 5.30303, 26.3893, 4.87566, 30.4521, 4.49537, 34.4032, 4.15399, 38.2633, 3.84546, 42.0477, 3.56521, 45.768, 3.30961, 49.4331, 3.0757, 53.0503, 2.86107, 56.6255, 2.66364 LPL
ListPlot listI, PlotStyle Hue 0
8
7
6
5
4
10
D Graphics D
20
30
40
50
Appendix01.nb
12
Comparison with the theoretical result for * 1 : Plot#4.495371795489376 Exp# 2 +t 30.452110072692125/', t, 0, 60, PlotStyle Hue#0.4'';
FPL
8 7 6 5 4
10
20
30
40
50
60
Show#LPL, FPL' 8
7
6
5
4
10
D Graphics D
20
30
40
50
60
1
Appendix02.nb
Appendix 2: Nonlinear Oscillations and chaotic motion Linear oscillator with periodic driving force k 0.1; * 0.2; O 1; sol NDSolve#M '#t' m Z#t', Z '#t' m k M#t' 2 * Z#t' O Cos#t', M#t', Z#t', t, 0, 20 S'
M#0' m 0, Z#0' m 0,
M#t' InterpolatingFunction#0., 62.8319, !'#t', Z#t' InterpolatingFunction#0., 62.8319, !'#t' ParametricPlot#Evaluate#M#t',
Z#t' ss. sol', t, 0, 20 S, PlotStyle Hue#0'' 1
0.5
-1
-0.5
0.5
-0.5
-1
h Graphics h
1
2
Appendix02.nb
ParametricPlot#Evaluate##t',
#t' ss. sol', t, 10 , 20 , PlotStyle Hue#0'' 1
0.5
-1
-0.5
0.5
1
-0.5
-1
D Graphics D
Pendulum with periodic driving force k 0.1; 1; 0.2; 1; EQ '#t' #t', '#t' k Sin##t'' 2 #t' Cos# t'; For#i 1;; poin ; IV #0' 0, #0' 0, i 3, i , sol NDSolve#Join#EQ, IV', #t', #t', t, 0, 16 s '; If#i 1, poin Join#poin, Table# Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t n 2 s ', n, 1, 8'''; iv Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t 16 s '; IV #0' iv##1'', #0' iv##2''; ParametricPlot#Evaluate#Mod ##t' , 2 ' , #t' ss. sol', t, 0, 16 s , PlotStyle Hue#0'''; ListPlot#poin, PlotRange 1, 1, 1, 1'
Appendix02.nb
3
1
0.5
-1
-0.5
0.5
1
-0.5
-1
1
0.5
-1
-0.5
0.5
1
0.5
1
-0.5
-1 1
0.5
-1
-0.5
-0.5
-1
Appendix02.nb
4
Poincaré section 1 0.75 0.5 0.25
-1
-0.75
-0.5
-0.25
0.25
0.5
0.75
1
-0.25 -0.5 -0.75 -1
D Graphics D
Pendulum with periodic driving force: Forced oscillation with large amplitude 0.9; 0.1; 1; EQ '#t' #t', '#t' Sin##t'' 2 #t' Cos# t'; For#i 1; poin ; IV #0' 0, #0' 0.242124, i 6, i , sol NDSolve#Join#EQ, IV', #t', #t', t, 0, 16 s '; If#i 3, poin Join#poin, Table# Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t n 2 s ', n, 1, 8'''; iv Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t 16 s '; IV #0' iv##1'', #0' iv##2''; ParametricPlot#Evaluate#Mod ##t' , 2 ' , #t' ss. sol', t, 0, 16 s , PlotStyle Hue#0'''; ListPlot#poin, PlotRange , , 4, 4'
Appendix02.nb
5
1
-3
-2
-1
1
2
3
1
2
3
-1
-2
2
1
-3
-2
-1
-1
-2
2
1
-2
-1
1
-1
-2
2
Appendix02.nb
6
2
1
-2
-1
1
2
-1
-2
Poincaré section 4 3 2 1
-3
-2
-1
1 -1 -2 -3 -4
D Graphics D
2
3
Appendix02.nb
7
Pendulum with periodic driving force: Forced oscillation with 2 loopings and triple period 0.9; 0.1; 1; EQ '#t' #t', '#t' Sin##t'' 2 #t' Cos# t'; For#i 1; poin ; IV #0' 0, #0' 0.242125, i 6, i , sol NDSolve#Join#EQ, IV', #t', #t', t, 0, 16 s '; If#i 3, poin Join#poin, Table# Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t n 2 s ', n, 1, 8'''; iv Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t 16 s '; IV #0' iv##1'', #0' iv##2''; ParametricPlot#Evaluate#Mod ##t' , 2 ' , #t' ss. sol', t, 0, 16 s , PlotStyle Hue#0'''; ListPlot#poin, PlotRange , , 4, 4'
1
-3
-2
-1
1
2
3
1
2
3
-1
-2
2
1
-3
-2
-1
-1
-2
Appendix02.nb
8
2
1
-3
-2
-1
1
2
3
1
2
3
1
2
3
-1
-2
2
1
-3
-2
-1
-1
-2
2
1
-3
-2
-1
-1
-2
9
Appendix02.nb
Poincaré section 4 3 2 1
-3
-2
-1
1
2
3
-1 -2 -3 -4
D Graphics D
Chaotic oscillation and strange attractor 0.5; 0.1; 1.3; EQ '#t' #t', '#t' Sin##t'' 2 #t' Cos# t'; Nperiod 6; For#i 1; poin ; IV #0' 0, #0' 0, i 10, i , sol NDSolve#Join#EQ, IV', #t', #t', t, 0, Nperiod 2 s '; If#i 4, poin Join#poin, Table#Evaluate# Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t n 2 s ', n, 1, Nperiod'''; iv Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t Nperiod 2 s '; IV #0' iv##1'', #0' iv##2''; ParametricPlot#Evaluate#Mod ##t' , 2 ' , #t' ss. sol', t, 0, Nperiod 2 s , PlotStyle Hue#0'''; ListPlot#poin, PlotRange , , 4, 4'
Appendix02.nb
10
3
2
1
-3
-2
-1
1
2
3
1
2
3
1
2
3
-1
-2
-3
3
2
1
-3
-2
-1 -1
-2
-3
3
2
1
-3
-2
-1 -1
-2
-3
Appendix02.nb
11
Poincaré section 4 3 2 1
-3
-2
-1
1
2
3
-1 -2 -3 -4
D Graphics D
Poincaré section with about 60,000 points: Strange attractor 0.5; 0.1; 1.3; EQ '#t' #t', '#t' Sin##t'' 2 #t' Cos# t'; Nperiod 3; For#i 1; poin ; IV #0' 0, #0' 0, i 20000, i , sol NDSolve#Join#EQ, IV', #t', #t', t, 0, Nperiod 2 s '; If#i 10, poin Join#poin, Table#Evaluate# Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t n 2 s ', n, 1, Nperiod'''; iv Evaluate#Mod ##t' , 2 ' , #t' ss. sol##1'' ss. t Nperiod 2 s '; IV #0' iv##1'', #0' iv##2'''
Appendix02.nb
Show#Graphics#Table#AbsolutePointSize#1', Point#poin##i''', i, Length#poin''''
D Graphics D Length#poin' 59970
Fractal dimension of the strange attractor dimlist ; For#n 0, n 10, n , Exp# n'; poinround Union# Round#poin s ''; Nround Length#poinround'; dimlist Append#dimlist, n, N#Log#Nround'''; Show#Graphics#Table#Rectangle#poinround##i, 1'' s 2, poinround##i, 2'' s 2, poinround##i, 1'' s 2, poinround##i, 2'' s 2', i, Length#poinround''', PlotRange 4, 4, 4, 4''
12
Appendix02.nb
13
Appendix02.nb
LP
14
ListPlot#dimlist'
10
8
6
2
4
6
8
10
Log of # of pixels versus negative Log of pixel size redlist
Table#dimlist##i'', i, 1, 5'
0, 3.17805, 1, 4.60517, 2, 5.98645, 3, 7.46851, 4, 8.77028 f#x_ '
Fit#redlist, 1, x, x'
3.19213 1.40478 x 3.1921340098412108` 1.4047803063009157` x
15
Appendix02.nb
Á Dimension of (Poincaré section of) strange attractor 1.4
Show#LP, Plot#f#x', x, 0, 6, PlotStyle Hue#0'''
10
8
6
1
2
3
4
5
6
10
8
6
2
D Graphics D
4
6
8
10
Appendix03.nb
1
Appendix 3 3.3.3.1: Bistable response of the Duffing oscillator Á We demonstrate two different forced periodic motions of the Duffing oscillator with two different initial conditions. All other parameters remain the same.
r #' #
s #' #' #' #' #' #' #' # # ' # ' # ' s ' # # ' # ' ss ## '' ss s ' # ' ## '' # ' ## '' # # # ' # ' ss ' s # '''
0 0.1 ; 1.785; 0.2; a 5 2; 0.2; EQ ' t v t , v ' t 02 t t ^ 3 2 v t 2 a Cos For i 1; IV 0 0, v 0 1 , i 3, i , sol1 NDSolve Join EQ, IV , t , v t , t, 0, 16
; iv Evaluate t , v t . sol1 1 . t 16
; IV 0 iv 1 , v 0 iv 2 ; PP1 ParametricPlot Evaluate t , v t . sol1 , t, 0, 16
, PlotStyle Hue 0 7.5 5 2.5 -4
-2
2
4
-2.5 -5 -7.5
7.5 5 2.5
-4
-2
2 -2.5 -5 -7.5
4
# t';
Appendix03.nb
2
6 4 2 -4
-2
2
4
-2 -4 -6
r #' #
s #' #' #' #' #' #' #' # # ' # ' # ' s ' # # ' # ' ss ## '' ss s ' # ' ## '' # ' ## '' # # # ' # ' ss ' s
0 0.1 ; 1.785; 0.2; a 5 2; 0.2; EQ ' t v t , v ' t 02 t t ^ 3 2 v t 2 a Cos t ; For i 1; IV 0 0, v 0 1 , i 3, i , sol NDSolve Join EQ, IV , t , v t , t, 0, 16
; iv Evaluate t , v t . sol 1 . t 16
; IV 0 iv 1 , v 0 iv 2 ; PP2 ParametricPlot Evaluate t , v t . sol , t, 0, 16
, PlotStyle Hue 0.7 4
2
-3
-2
-1
1
2
3
-2
-4
3 2 1
-1
1
2
-1 -2 -3
3 2 1
-1.5
-1
-0.5
0.5 -1 -2 -3
1
1.5
# '
# '''
Appendix03.nb
3
ShowPP1, PP2 6 4 2 -4
-2
2 -2 -4 -6
D Graphics D
4
Appendix03.nb
4
Á We see that one oscillation has a large amplitude, the other a small one. Á Next we vary the frequency Z of the driving force and choose random initial values. We plot the amplitude of the forced oscillation versus Z.
r s # #' #' #' #' #' #' + #' / # ' + # # ' # ' # ' # # ' # ' ss ## '' ss s ' # ' ## '' # ' ## ''' # # # ' ss '## '' ' # # # ' ss '## '' ss ' # '
#' # #
AList ; 0 0.1 ; 0.2; a 5 2; 0.2; For 0.9, 5, 0.05, EQ ' t v t , v ' t 02 t t ^ 3 2 v t 2 a Cos t ; Do For i 1; IV 0 2 Random 1 , v 0 10 2 Random 1 5 , i 16, i , sol NDSolve Join EQ, IV , t , v t , t, 0, 4
; iv Evaluate t , v t . sol 1 .t4
; IV 0 iv 1 , v 0 iv 2 ; solt FindRoot Evaluate v t . sol 1 0, t, 1 ; A Abs Evaluate t . sol 1 . solt ; AList Append AList, , A , 10 AP ListPlot AList, PlotRange 0, 6
# ' #' / s '
#
6
5
4
3
2
1
2
D Graphics D
3
4
5
' '';
Appendix03.nb
5
Á We see that around Z occurs.
2 there is a region where bi-stable response
Á There exists an approximate theory of bi-stable response by Duffing. According to this theory the resonance curve of a Duffing oscillator is 2 given by f + A, Z/ 4*2 A2 Z2 +,+Z0 2 Z2/ A cccc34c O A3 0 = const. We will compare our numerical results with Duffing's theory: Graphics`ImplicitPlot` Clear# , A'; IP ImplicitPlot#4 ^ 2 A ^ 2 ^ 2 ++ 0 ^ 2 ^ 2/ A 3 s 4 A ^ 3/ ^ 2 25, , 0, 5, A, 0, 6, PlotPoints 250, PlotStyle Hue#0'' 6
5
4
3
2
1
0 0
1
D ContourGraphics D
2
3
4
5
Appendix03.nb
6
ShowAP, IP 6
5
4
3
2
1
1
2
3
4
5
D Graphics D
Á We see that the oscillation with small amplitude is well represented by Duffing's resonance curve. The large oscillation deviates from Duffing's theory. The deviation increases with smaller Z. This seems reasonable since for small driving frequencies Z the Duffing oscillator describes a different motion: It tries to follow a slowly varying time-dependent potential. Nevertheless, Duffing's equation is qualitatively correct in the bistable regime.
Appendix04a.nb
1
Appendix 4a 3.3.3.2: Perturbation series solution of the Duffing oscillator up to O+O2/-terms .. x2J x D x O x3
A p e Ç Z t CC
Á nax is the maximal power of the nonlinear coefficient O to be considered in the perturbation series 2 n1 n ÇmZt x(t)=½nax n 0 ½m 2 n1 x#n, m' O e nax
2; X
Flatten#Array#x, nax 1, 4 nax 3, 0, 2 nax 1''
x#0, 5', x#0, 4', x#0, 3', x#0, 2', x#0, 1', x#0, 0', x#0, 1', x#0, 2', x#0, 3', x#0, 4', x#0, 5', x#1, 5', x#1, 4', x#1, 3', x#1, 2', x#1, 1', x#1, 0', x#1, 1', x#1, 2', x#1, 3', x#1, 4', x#1, 5', x#2, 5', x#2, 4', x#2, 3', x#2, 2', x#2, 1', x#2, 0', x#2, 1', x#2, 2', x#2, 3', x#2, 4', x#2, 5' Y
Select#X, +OddQ####2''' && Abs####2''' 2 ###1'' 1 / &'
x#0, 1', x#0, 1', x#1, 3', x#1, 1', x#1, 1', x#1, 3', x#2, 5', x#2, 3', x#2, 1', x#2, 1', x#2, 3', x#2, 5' z
Sum#x#n, m' w ^ m O ^ n, n, 0, nax, m,
+2 n 1/, 2 n 1, 2'
O x#1,cccccccc 3'cccc cccccccccccccccc O x#1,cccccccc 1c'ccc O x#0, 1' cccccccccccccccc cccccccc w x#0, 1' cccccccccccccccc w x#1, 1' w3 O x#1, 3' 3 w
w
w
O2 x#2,cccccccc 5cccccc O2 x#2,cccccccc 3cccc'cc cccccccccccccccc O2 x#2,cccccccc 1cccccc ' cccccccccccccccc ' w O2 x#2, 1' w3 O2 x#2, 3' w5 O2 x#2, 5' cccccccccccccccc 5 3 w
w
w
Appendix04a.nb
2
Á A is the amplitude and p the phase of the external periodic force EQ Flatten# Table#x#n, m' m h#m Z' Coefficient#Coefficient#A p w A n, 0, nax, m, +2 n 1/, 2 n 1, 2''
s +p w/ O z ^ 3, w ^ m ', O, n',
A h#Z' cccccccc cccccccccccc , x#0, 1'
h# 3 Z' x#0, 1'3 , A p h#Z', x#1, 3' p 3 h#Z' x#0, 1'2 x#0, 1', x#1, 1' 3 h#Z' x#0, 1' x#0, 1'2 , x#1, 1' h#3 Z' x#0, 1'3 , x#2, 5' 3 h# 5 Z' x#0, 1'2 x#1, 3', x#1, 3' x#2, 3' h# 3 Z' + 6 x#0, 1' x#0, 1' x#1, 3' 3 x#0, 1'2 x#1, 1'/, x#2, 1' h#Z' + 3 x#0, 1'2 x#1, 3' 6 x#0, 1' x#0, 1' x#1, 1' 3 x#0, 1'2 x#1, 1'/, x#2, 1' h#Z' + 3 x#0, 1'2 x#1, 1' 6 x#0, 1' x#0, 1' x#1, 1' 3 x#0, 1'2 x#1, 3'/, x#2, 3' h#3 Z' + 3 x#0, 1'2 x#1, 1' 6 x#0, 1' x#0, 1' x#1, 3'/, 3 h#5 Z' x#0, 1'2 x#1, 3' x#2, 5'
x#0, 1'
Á The first terms of the perturbation series are: sol
Solve#EQ, Y'
3 A5 h# 5 Z' h# 3 Z' h#Z'5 cccccccccccccccc ccccccccccccccccccccc , x#2, 5' cccccccccccccccccccccccccccccccc 5 p
x#2,
3 h# 3 Z' h#Z'4 +2 h# 3 Z' 3 h#Z'/ h#Z' 3' cccccccccccccccccccccccccccccccc cccccccccccccccccccccccccccccccc cccccccccccccccccccccccccccccccc cccccccccccccccccccc , 3 A5
p
3 A5 h#Z'4 h#Z'2 +h# 3 Z' 6 h#Z' 3 h#Z'/ cccccccccccccccccccccccccccccccc cccccccccccccccccccccccccccccccc cccccccccccccccccc , x#2, 1' cccccccccccccccccccccccccccccccc p 2 4 5 x#2, 1' 3 A p h#Z' h#Z' +3 h#Z' 6 h#Z' h#3 Z'/, x#2, 3' 3 A5 p3 h#Z' h#Z'4 h#3 Z' +3 h#Z' 2 h#3 Z'/, x#2, 5' 3 A5 p5 h#Z'5 h#3 Z' h#5 Z', x#1,
A3 h# 3 Z' h#Z'3 3' cccccccccccccccccccccccccccccccc ccccccccccccc , 3 p
3 A3 h#Z'3 h#Z' ccccccccc , x#1, 1' 3 A3 p h#Z' h#Z'3 , x#1, 1' cccccccccccccccccccccccccccccccc p x#1, 3' A3 p3 h#Z'3 h#3 Z', x#0, 1' A p h#Z', x#0, 1'
A h#Z' cccccccc cccccccccccc p
1 cccccccccccccccc cccccccc DZ2 cccccccc 2ÇJZ We insert some numerical values for +D, Z, J, O /and calculate the eÇ Z t -term of the nonlinear response
Á The spectral response function is h+Z/
f#A_'
Simplify#Sum#x#n, 1' O ^ n, n, 0, nax' s +A p/ ss. sol##1''' ss. 1 h#Z_ ' cccccccccccccccccccccccccccccccc cccccccccccccc , Z 1, O 0.1 0.1 Z ^ 2 0.2 Ç Z
+ 1.05882 0.235294 Ç/ +1 +0.373702 0.083045 Ç/ A2 +0.416908 0.125561 Ç/ A4 /
3
Appendix04a.nb
Á The nonlinear Schrödinger equation would contain the term f + « \ «2 / \ with f given by: ComplexExpand#2 Re#f#A''' 2.11765
0.75229 A2
0.823776 A4
Plot#Re#f#A'', A, 0, 1'
-1.2
-1.4
-1.6
0.2
Graphics
0.4
0.6
0.8
1
1
Appendix04b.nb
Appendix 4b 3.3.3.2: Perturbation series solution of the Duffing oscillator up to O+O5/-terms .. x 2J x D x O x3
A p e Ç Z t CC
Á nax is the maximal power of the nonlinear coefficient O to be considered in the perturbation series 2 n1 n ÇmZt x+t/ ½nax n 0 ½m 2 n1 x#n, m' O e We will choose nax 5 and suppress the output. nax
5; X
Flatten#Array#x, nax 1, 4 nax 3, 0, 2 nax 1''
Y
Select#X, +OddQ####2''' && Abs####2''' 2 ###1'' 1 / &'
z
Sum#x#n, m' w ^ m O ^ n, n, 0, nax, m,
+2 n 1/, 2 n 1, 2'
Á A is the amplitude and p the phase of the external periodic force Á The first terms of the perturbation series are: 1 cccccccccccccccc cccccccc 2 DZ cccccccc 2ÇJZ We insert some numerical values for D, Z, J, O and calculate the eÇ Z t term of the nonlinear response
Á The spectral response function is h#Z'
Á The nonlinear Schrödinger equation would contain the term f + « \ «/ \ with f given by: ComplexExpand#2 Re#f#A'''
2.11765 0.75229 A2 0.823776 A4 1.21375 A6 2.0587 A8 3.79189 A10
Appendix04b.nb
2
Plot#Re#f#A'', A, 0, 1'
-1.25 -1.5 -1.75
0.2 -2.25 -2.5 -2.75
D Graphics D
0.4
0.6
0.8
1
Appendix 5.nb
1
Appendix 5 4.5: Interaction of 2 solitons (analytical) Á We use exact results obtained by IST (see section 6) in order to illustrate the interaction of 2 solitons described by an analytical solution of the cubic Schrödinger equation. n
2;
N 1;
1, 1; 3, 3; 20, 20; I 0, 0; u v x0
g
O
Table#Exp# x03i7 I I3i7', i, 1, n'; Table#1 s 2 + I u3i7 v3i7/, i, 1, n';
J : Table#g3i7 Exp#I +O3i7 x O3i7 ^ 2 t/', i, 1, n'; M :
1 Conjugate#J3j7' J3k7 Table$ Conjugate$ cccccccccccccccccccccccccccccccc cccccccccccccccccccccccccccccccccccc Conjugate#O3j7 ' O3k7
zeileM1
(, j, 1, n, k, 1, n(;
Append#Table#1, i, 1, n', 0'
spalteM1
J
+ Hänge spalteM1 rechts an M an: / M1zwischen
Transpose# Transpose#M', spalteM1a Flatten a 1 '
+ Hänge zeileM1 unten an M1zwischen an: / M1 M1
M1zwischen, zeileM1a Flatten a 1 ss MatrixForm
2
Appendix 5.nb
soliton2x_, t_
I DetM1 DetM
-- 3
Ç Çc 0 x0 3 3Ç 3Ç 3 9 9Ç 20Ç ,,2 cccc 2c ccc 2 2cc 0 t, ccc ccccc 1 Æ 1 Æ20Ç ,,2 cccc2cc 0 t, ccc2c ccc2c 0 x0 - cccc3ccc cccc 10 10 10 Ç 9Ç 3Ç 3 ccccc 1 Æ ^ - 20 Ç -- 2 ccccccccc 1 t - cccc cccc 1 x1 - cccc3ccc cccc 10 10 2 2 2 Ç Ç 3 3Ç 3 3Ç Ç -- 2 ccccccccc 1 t - cccc cccc 1 x1 Ç Conjugate$- 2 ccccccccc 1 t - cccc cccc 1 x(1 2 2 2 2 2 2 Ç Ç 3 3Ç 3 3Ç 3 9Ç cccc 1 x1 - ccccccc ccccccccc 1 Æ ^ -20 Ç -- 2 ccccccccc 1 t - cccc cccc 1 x1 Ç -- 2 ccccccccc 1 t - cccc 2 2 2 2 2 2 10 10 Ç 3Ç 3 Ç Conjugate$- 2 ccccccccc 1 t - cccc cccc 1 x(11 u 2 2 2 Ç Ç 3 3Ç 3Ç 3 - cccc9ccc Æ40Ç ,,2 cccc2cc 0 t, ccc2c ccc2c 0 x0Ç Conjugate$,2 cccc2cc 0 t, ccc2c ccc2c 0 x( 10 Çc 0 x( Çc 0 x0Ç Conjugate$,2 cccc 3 3Ç 3 3Ç 1 Ç ,,2 cccc 2c ccc 2 2cc 0 t, ccc 2c ccc 2 2cc 0 t, ccc ccccccc Æ 10 Ç Ç Ç Ç 3 3 3 3 1 Ç ,,2 cccc2cc 0 t, ccc2c ccc2c 0 x0Ç Conjugate$,2 cccc2cc 0 t, ccc2c ccc2c 0 x( ccccccc Æ 10 Ç ccccccc ccccccccc
10
Çc 0 x( Çc 0 x0Ç Conjugate$,2 cccc 3 3Ç 3 3Ç 40Ç ,,2 cccc 2c ccc 2 2cc 0 t, ccc 2c ccc 2 2cc 0 t, ccc
Æ
9 ccccccc 10
Ç Ç 3Ç 3 3Ç 3 Æ ^ -Ç -- 2 ccccccccc 1 t - cccc cccc 1 x1 Ç -- 2 ccccccccc 1 t - cccc cccc 1 x1 2 2 2 2 2 2 Ç 3Ç 3 3Ç 3 Ç Conjugate$- 2 ccccccccc 1 t - cccc cccc 1 x( Ç Conjugate$- 2 ccccccccc 1 t - cccc 2 2 2 2 2
Ç cccc
2
1 x(11
Á This is the closed form solution without simplifications. Before we can plot it we need to simplify some terms. S11
soliton2x, t1, 1; S12
S13
soliton2x, t1, 3
s13
FullSimplifysoliton2x, t1, 3, t Reals && x Reals
Plot3DAbss13 S13,
x,
soliton2x, t1, 2;
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S14
soliton2x, t1, 4
s14
FullSimplifyS14, t Reals && x Reals
Plot3DAbss14 S14,
x,
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S1
soliton2x, t1
s1
FullSimplifyS11 S12 s13 s14, t Reals && x Reals
Plot3DAbss1 S1, S2
x,
50, 50,
t,
30, 0, PlotPoints 100, PlotRange 0, 3
soliton2x, t2, 1
S21
soliton2x, t2, 1, 1
S22
soliton2x, t2, 1, 2
s22
FullSimplifyS22, t Reals && x Reals
Plot3DAbss22 S22,
x,
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S23
soliton2x, t2, 1, 3
s23
FullSimplifyS23, t Reals && x Reals
3
Appendix 5.nb
Plot3DAbss23 S23,
x,
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S24
soliton2x, t2, 1, 4
s24
FullSimplifyS24, t Reals && x Reals
Plot3DAbss24 S24,
x,
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S25
soliton2x, t2, 1, 5
s25
FullSimplifyS25, t Reals && x Reals
Plot3DAbss25 S25,
x,
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S26
soliton2x, t2, 1, 6
s26
FullSimplifyS26, t Reals && x Reals
Plot3DAbss26 S26,
x,
50, 50, t, 30, 0, PlotPoints 100, PlotRange 0, 3
S2
soliton2x, t2, 1
s2
FullSimplifyS21 s22 s23 s24 s25 s26, t Reals && x Reals
TrigToExps2 1 FullSimplify 10
1
+13 Ç/ x +13 Ç/ x
10
9 2 x 1 9
403 tx 403 tx x Cos3 x . x 5, t 15 N, 10 10 S2 . x 5, t 15 N
s2
5
9 9 2 x 1 403 tx 403 tx x Cos3 x 10
10
Plot3DAbss2 S2,
x,
50, 50,
5
t,
30, 0, PlotPoints 100, PlotRange 0, 3
4
Appendix 5.nb
Á The following x-t-plot shows two solitons which approach with opposed velocities and fly apart after the interaction without schanging their shape. Plot3D#Abs#s1 s s2',
x, 50, 50, t, 30, 0, PlotRange 0, 1.8, PlotPoints 100'
1.5 0 1 0.5 -10 0 -40 -20
-20 0 20 40
D SurfaceGraphics D
-30
Appendix 5.nb
5
Á In the density plot of the same solution one discovers the interference pattern of the two solitons in the interaction region as well as the position shift, compared with a situation with two noninteracting solitons. DensityPlot#Abs#s1 s s2', x, 50, 50, t, 30, 0, PlotPoints 200, Mesh False, ColorFunctionScaling False' 0
-5
-10
-15
-20
-25
-30 -40
D DensityGraphics D
-20
0
20
40