Multi-Cuspon Solutions of the Wadati-Konno-Ichikawa Equation by Riemann-Hilbert Problem Method

Abstract

In this paper, we consider the initial value problem for a complete integrable equation introduced by Wadati-Konno-Ichikawa (WKI). The solution  is reconstructed in terms of the solution of a  matrix Riemann-Hilbert problem via the asymptotic behavior of the spectral variable at one non-singularity point, i.e., . Then, the one-cuspon solution, two-cuspon solutions and three-cuspon solution are discussed in detail. Further, the numerical simulations are given to show the dynamic behaviors of these soliton solutions.

Share and Cite:

Tu, Y. (2020) Multi-Cuspon Solutions of the Wadati-Konno-Ichikawa Equation by Riemann-Hilbert Problem Method. Open Journal of Applied Sciences, 10, 100-109. doi: 10.4236/ojapps.2020.103008.

1. Introduction

The initial value problem for the nonlinear integrable equation

q t + [ q x ( 1 + q 2 ) 3 / 2 ] x x = 0 , t > 0 , < x < + , q ( x , 0 ) = q 0 ( x ) , < x < + , (1)

where we assume q 0 ( x ) decays to 0 sufficiently fast, was derived Wadati, Konno and Ichikawa (WKI) in [1] [2]. This equation can be used to describe nonlinear transverse oscillations of elastic beams under tension [3] [4] and the motion of curves in E3 [5]. If beam is flexible enough, it could be deformed into a shape of loop, of which upper half portion takes the negative curvature. One can easily realize such a situation on a stretched rope. Compared with the already known systems such as the nonlinear Schrödinger (NLS) equation and the derivative nonlinear Schrödinger (DNLS) equation, Equation (1) is highly nonlinear and even has the saturation effects [1]. Therefore its analysis is quite interesting mathematically and physically.

For the WKI Equation (1), many researchers have done a lot of studies and obtained many classical conclusions. There are so many interesting works on this equation in these years. Wadati, Konno and Ichikawa presented two types of nonlinear equations, and showed the equations have an infinite number of conservation laws and can be expressed in the Hamiltonian form in [1]. The authors of [6] studied the WKI equation by the inverse scattering transform (IST) method [7], obtained a one-soliton solution and a two-soliton solution, and analyzed some properties. In [8], the authors showed that two inverse scattering formalisms by Ablowitz, Kaup, Newell and Segur and by Wadati, Konno and Ichikawa are connected through a gauge transformation, and one-soliton solutions of equations associated with the W-K-I scheme are also examined. The authors derived the WKI equation from motion of curves in E3 and gave the corresponding group-invariant solutions [5]. However, the three-soliton solution of the WKI equation hasn’t been discussed via the Riemann-Hilbert problem and given relevant numerical simulations.

In this paper, the one-cuspon solution, two-cuspon solutions and three-cuspon solution of the WKI equation were discussed via the Riemann-Hilbert problem. And the numerical simulations were given to show the dynamic behaviors of these cuspon solutions. Besides, the novelty of this paper is twofold. First, the solution of the WKI Equation (1) is reconstructed via a 2 × 2 matrix Riemann-Hilbert problem at λ 0 instead of λ , although λ = 0 is not the singularity point of the Lax pair (2). Second, we obtain multi-cuspon solutions, which were not discussed before.

This paper is organized as follows. In Section 2, we perform the spectral analysis at λ = and λ = 0 , respectively. Then reconstruct the solution q ( x , t ) in terms of the solution of the associated Riemann-Hilbert problem for the WKI equation in variable ( y , t ) instead of ( x , t ) via λ 0 . In Section 3, assuming a ( λ ) only has simple zeros, we obtain the algebraic system of N-soliton solutions. We give the details for N = 1 , 2 , 3 and the numerical simulations of these cuspon solutions.

2. Spectral Analysis and Riemann-Hilbert Problem

2.1. Lax Pair

The Lax pair of the WKI equation is

ψ x = U ψ , ψ t = V ψ , (2)

where

U = λ U 0 , V = 4 Φ λ 3 U 0 + 2 i q x Φ 3 λ 2 σ 1 + ( q x Φ 3 ) x λ V 0 , (3)

with

U 0 = ( i q q i ) , V 0 = ( 0 1 1 0 ) , σ 1 = ( 0 1 1 0 ) , Φ = 1 + q 2 . (4)

2.2. For λ =

Firstly, we define a matrix-value function G ( x , t ) and a scalar function p ( x , t , λ ) as

G ( x , t ) = 1 + Φ 2 Φ ( 1 i ( 1 Φ ) q i ( 1 Φ ) q 1 ) , p ( x , t , λ ) = x x ( Φ 1 ) d x + 4 λ 2 t . (5)

Similarly to [9], we introduce a transformation

ψ ( x , t , λ ) = G ( x , t ) μ ( x , t , λ ) e i λ p ( x , t , λ ) σ 3 , (6)

where σ 3 = ( 1 0 0 1 ) . Then defining two Jost solutions μ j ( x , t , λ ) ( j = 1 , 2 ) via

μ 1 ( x , t , λ ) = Ι + x e i λ [ p ( x , t , λ ) p ( y , t , λ ) ] σ ^ 3 V 1 ( y , t , λ ) μ 1 ( y , t , λ ) d y , μ 2 ( x , t , λ ) = Ι x e i λ [ p ( x , t , λ ) p ( y , t , λ ) ] σ ^ 3 V 1 ( y , t , λ ) μ 2 ( y , t , λ ) d y , (7)

where V 1 = i q x 2 Φ 2 σ 1 . Therefore, similarly to [9], we can obtain some properties

of μ j ( x , t , λ ) ( j = 1 , 2 ) , which are useful in the following analysis, such as, the first column of μ 1 ( x , t , λ ) and μ 2 ( x , t , λ ) (denote by [ μ 1 ] 1 and [ μ 2 ] 1 ) is bounded and analytic in upper and lower half-plane (denote by D 1 and D 2 ) of λ , respectively; the symmetry condition

μ j ( x , t , λ ¯ ) ¯ = σ 2 μ j ( x , t , λ ) σ 2 , μ j ( x , t , λ ) = σ 1 μ j ( x , t , λ ) σ 1 ; and the asymptotic behavior as λ , μ j = Ι + 1 λ D ( 1 ) ( x , t ) + O ( 1 λ 2 ) , where the off-diagonal entries of D ( 1 ) are D 12 ( 1 ) = q x 4 Φ 3 and D 21 ( 1 ) = q x 4 Φ 3 .

Next, we define the scattering matrix by

μ 1 ( x , t , λ ) = μ 2 ( x , t , λ ) e i λ p ( x , t , λ ) σ 3 ^ S ( λ ) , (8)

here, S ( λ ) = ( a ( λ ) b ( λ ¯ ) ¯ b ( λ ) a ( λ ¯ ) ¯ ) , with a ( λ ¯ ) ¯ = a ( λ ) and b ( λ ¯ ) ¯ = b ( λ ) .

Then, we obtain a ( λ ) = d e t ( [ μ 1 ] 1 , [ μ 2 ] 2 ) (where d e t ( A ) means the determinate of a matrix A), and a ( λ ) is analysis in D 1 .

2.3. For λ = 0

Introducing another transformation

ψ ( x , t , λ ) = μ 0 ( x , t , λ ) e i λ ( x + 4 λ 2 t ) σ 3 . (9)

Similarly, we define two Jost solutions μ j 0 ( x , t , λ ) ( j = 1 , 2 )

μ 1 0 ( x , t , λ ) = Ι + x e i λ ( x y ) σ ^ 3 V 1 0 ( y , t , λ ) μ 1 0 ( y , t , λ ) d y , μ 2 0 ( x , t , λ ) = Ι x e i λ ( x y ) σ ^ 3 V 1 0 ( y , t , λ ) μ 2 0 ( y , t , λ ) d y , (10)

where V 1 0 = λ q V 0 . Then, [ μ 1 0 ] 1 and [ μ 2 0 ] 1 are bounded and analytic in D 1 and D 2 , respectively. And as λ 0 , μ j 0 ( x , t , λ ) = Ι + ( 0 x q d x x q d x 0 ) λ + O ( λ 2 ) .

2.4. The Relation between μ j ( x , t , λ ) and μ j 0 ( x , t , λ )

The function μ j ( x , t , λ ) and μ j 0 ( x , t , λ ) related by

μ 1 ( x , t , λ ) = G 1 μ 1 0 ( x , t , λ ) e i λ c σ 3 , μ 2 ( x , t , λ ) = G 1 μ 2 0 ( x , t , λ ) e i λ c + σ 3 , (11)

where c = x ( Φ 1 ) d x , c + = x + ( Φ 1 ) d x .

Then, we have a ( λ ) = 1 + i λ c + O ( λ 2 ) , λ 0 , where c = c + c + = + ( Φ 1 ) d x is a conserved quantity.

2.5. The Riemann-Hilbert Problem in Variable (y, t)

Defining

M ( x , t , λ ) = { ( [ μ 1 ] 1 a ( λ ) , [ μ 2 ] 2 ) , λ D 1 , ( [ μ 2 ] 1 , [ μ 1 ] 2 a ( λ ¯ ) ¯ ) , λ D 2 . (12)

As λ , M ( x , t , λ ) = G 1 ( Ι + ( i c + x q d x x q d x i c + ) λ + O ( λ 2 ) ) . Then introducing the new scale y ( x , t ) = x x ( Φ 1 ) d x = x c + ( x , t ) and defining M ˜ ( y , t , λ ) = M ( x ( y , t ) , t , λ ) .

We assume that the initial value q 0 ( x ) satisfies that it can make a ( λ ) has the finite simple zeros λ j . Therefore M ˜ ( y , t , λ ) satisfies the following the Riemann-Hilbert problem:

• Analytic property: M ˜ ( y , t , λ ) is analytic in D 1 and D 2 , and continuous up to the boundary, λ R ;

• Jump condition: M ˜ + ( y , t , λ ) = M ˜ ( y , t , λ ) e i λ ( y + 4 λ 2 t ) σ 3 ^ J 0 ( λ ) , where J 0 ( λ ) = ( 1 + | r ( λ ) | 2 r ( λ ¯ ) ¯ r ( λ ) 1 ) , r ( λ ) = b ( λ ) a ( λ ) ;

• Normalization: M ˜ ( y , t , λ ) Ι , λ ;

• Residue conditions: for some constant C j ,

R e s λ = λ j [ M ˜ ] 1 ( y , t , λ ) = C j e 2 i λ j ( y + 4 λ j 2 t ) [ M ˜ ] 2 ( y , t , λ j ) . (13)

Letting M ˜ ( y , t , λ ) satisfies the above conditions, then this Riemann-Hilbert problem has a unique solution. Assume that the WKI equation satisfies the initial value conditions. We obtain the solution q ( x , t ) for the initial value problem as follows:

x ( y , t ) q ( x , t ) d x = lim λ 0 ( M ˜ ( y , t , 0 ) 1 M ˜ ( y , t , λ ) ) 12 λ , (14)

x ( y , t ) = y lim λ 0 ( M ˜ ( y , t , 0 ) 1 M ˜ ( y , t , λ ) ) 11 1 i λ , (15)

then calculating derivative of Equation (14) with respect to y, we can obtain the solution q ( x ( y , t ) , t ) .

3. Cuspon Solutions

3.1. Algebraic System of N-Solitons

From residue conditions (13), we have

( M ˜ 11 ( y , t , λ ) M ˜ 21 ( y , t , λ ) ) = ( 1 0 ) + j = 1 N C j e 2 i λ j ( y + 4 λ j 2 t ) λ λ j ( M ˜ 12 ( y , t , λ j ) M ˜ 22 ( y , t , λ j ) ) . (16)

Combining the symmetry conditions and taking λ = λ j ¯ , then, by solving the algebraic system for M ˜ 12 ( y , t , λ j ) and M ˜ 22 ( y , t , λ j ) , and recall the symmetry conditions, we can obtain M ˜ ( y , t , λ ) .

3.2. One-Cuspon Solution

When N = 1 , assuming λ = i d ( d > 0 ) , and letting C 1 = 2 d e 2 y 0 , where d and y 0 are real constants. Denoting by δ = 2 d ( y 4 d 2 t ) + 2 y 0 , we can obtain one-cuspon solution

q ( x ( y , t ) , t ) = 2 sinh ( δ ) 2 cosh 2 ( δ ) , x ( y , t ) = y 1 d ( tanh ( δ ) 1 ) . (17)

For convenience to obverse solution figure, a numerical simulation example of such a one-cuspon solution q ( x , t ) is given via Equation (17) in Figure 1.

3.3. Two-Cuspon Solutions

3.3.1. Two-Cuspon Solution

When N = 2 , assuming λ 1 = i a and λ 2 = i b ( a > 0 , b > 0 ) , then letting C 1 = a e 2 θ 1 and C 2 = b e 2 θ 2 , taking ϕ = 2 a ( y 4 a 2 t ) + 2 θ 1 and ψ = 2 b ( y 4 b 2 t ) + 2 θ 2 , here a , b , θ 1 and θ 2 are real constants. We obtain two-cuspon solution as follows:

Figure 1. One-cuspon solution (17) with parameters d = 0.5 and y 0 = 0 . (a) The perspective view of the wave; (b) The corresponding contour pattern; (c) The pattern at t = 0 .

q ( x ( y , t ) , t ) = 4 ( ( a b ) 2 4 ( a + b ) 2 e ϕ ψ 1 ) ( e ϕ 2 + e ψ 2 ) [ ( ( a b ) 2 4 ( a + b ) 2 e ϕ ψ 1 ) 2 ( e ϕ 2 + e ψ 2 ) 2 ] [ ( ( a b ) 2 4 ( a + b ) 2 e ϕ ψ 1 ) 2 + ( e ϕ 2 + e ψ 2 ) 2 ] 2 8 ( ( a b ) 2 4 ( a + b ) 2 e ϕ ψ 1 ) 2 ( e ϕ 2 + e ψ 2 ) 2 , x ( y , t ) = y + b e 2 ϕ + a e 2 ψ 2 + 2 a b a + b e ϕ ψ + ( a b ) 4 8 ( a + b ) 3 e 2 ϕ 2 ψ a b [ ( ( a b ) 2 4 ( a + b ) 2 e ϕ ψ 1 ) 2 + ( e ϕ 2 + e ψ 2 ) 2 ] . (18)

For convenience to obverse solution figure, a numerical simulation example of such a two-cuspon solution q ( x , t ) is given via Equation (18) at Figure 2.

Figure 2. Two-cuspon solution (18) with parameters a = 0.4 , b = 1.2 , θ 1 = 0 and θ 2 = 0 . (a) The perspective view of the wave; (b) The corresponding contour pattern; (c) The pattern at t = 1.5 .

3.3.2. Breather Solution

Assuming that λ 1 = m + i n and λ 2 = m + i n , ( m > 0 , n > 0 ) , taking C 1 = 2 ( m + i n ) n m e 2 θ 0 , ϕ 1 = 2 m ( y + 4 ( m 2 3 n 2 ) t ) and ϕ 2 = 2 n ( y + 4 ( 3 m 2 n 2 ) t ) + 2 θ 0 , here m , n and θ 0 are real constants, we can obtain the breather cuspon as follows:

q ( x ( y , t ) , t ) = 4 m n sin ( ϕ 1 ) cosh ( ϕ 2 ) ( n 2 sin 2 ( ϕ 1 ) m 2 cosh 2 ( ϕ 2 ) ) ( n 2 sin 2 ( ϕ 1 ) + m 2 cosh 2 ( ϕ 2 ) ) 2 8 m 2 n 2 sin 2 ( ϕ 1 ) cosh 2 ( ϕ 2 ) , x ( y , t ) = y + m n m 2 + n 2 ( n sin ( 2 ϕ 1 ) m sinh ( 2 ϕ 2 ) n 2 sin 2 ( ϕ 1 ) + m 2 cosh 2 ( ϕ 2 ) + 2 m ) . (19)

For convenience to obverse solution figure, a numerical simulation example of such a breather solution q ( x , t ) is given via Equation (19) at Figure 3.

Figure 3. Breather solution (19) with parameters m = 0.2 , n = 1.2 and θ 0 = 0 . (a) The perspective view of the wave; (b) The corresponding contour pattern; (c) The pattern at t = 1 .

3.4. Three-Cuspon Solution

When N = 3 , assuming λ 1 = i a , λ 2 = i b and λ 3 = i c ( a > 0 , b > 0 , c > 0 ) , mean while taking C 1 = a e 2 θ 1 , C 2 = b e 2 θ 2 , C 3 = c e 2 θ 3 , and ϕ = 2 a ( y 4 a 2 t ) + 2 θ 1 , ψ = 2 b ( y 4 b 2 t ) + 2 θ 2 , φ = 2 c ( y 4 c 2 t ) + 2 θ 3 , here a , b , c , θ 1 , θ 2 and θ 3 are real constants. The expression of three-soliton solution is very complicated, we don’t write it in detail for space reason.

For convenience to obverse solution figure, a numerical simulation example of such a three-cuspon solution q ( x , t ) is given in Figure 4.

4. Conclusion

In this paper, the solutions of the WKI equation are recovered in terms of the solution of the matrix Riemann-Hilbert problem from the order O ( λ ) at λ 0 , like the case of the SP equation [9]. However, the novelty of our paper

Figure 4. Three-cuspon solution with parameters a = 1 , b = 2 , c = 3 , θ 1 = 0 , θ 2 = 0 and θ 3 = 0 . (a) The perspective view of the wave; (b) The corresponding contour pattern; (c) The pattern at t = 0.2 .

is that λ = 0 is non-singularity of the WKI equation. Then, one-cuspon solution, two types of two-cuspon solutions and three-cuspon solution are given via Riemann-Hilbert approach; one type of two-cuspon solutions is the breather, a novel solution of the WKI equation, which was not shown before. The numerical simulations of these solutions are given by choosing suitable parameters. Compared with the inverse scattering transform method, the calculation processes of the Riemann-Hilbert problem are more concise and efficient, and the most important advantage of the Riemann-Hilbert problem is analyzing the long-time asymptotic behavior of the solutions. The work of the analyzing long-time asymptotic behavior is beyond our aim in this paper, but we plan to complete this question in the future.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Wadati, M., Konno, K. and Ichikawa, Y. (1979) New Integrable Nonlinear Evolution Equations. Journal of the Physical Society of Japan, 47, 1689-1700.
https://doi.org/10.1143/JPSJ.47.1698
[2] Wadati, M., Konno, K. and Ichikawa, Y. (1979) A Generalization of Inverse Scattering Method. Journal of the Physical Society of Japan, 46, 1965-1966.
https://doi.org/10.1143/JPSJ.46.1965
[3] Ichikawa, Y., Konno, K. and Wadati, M. (1981) Nonlinear Transverse Oscillation of Elastic Beams under Tension. Journal of the Physical Society of Japan, 50, 1799-1802.
https://doi.org/10.1143/JPSJ.50.1799
[4] Konno, K., Ichikawa, Y. and Wadati, M. (1981) A Loop Soliton Propagation along a Stretched Rope. Journal of the Physical Society of Japan, 50, 1025-1026.
https://doi.org/10.1143/JPSJ.50.1025
[5] Qu, C.Z. and Zhang, D.B. (2005) The WKI Model of Type II Arises From Motion of Curves in E3. Journal of the Physical Society of Japan, 74, 2941-2944.
https://doi.org/10.1143/JPSJ.74.2941
[6] Debnath, L. (1984) Advances in Nonlinear Waves: The Loop Soliton. Konno, K and Jeffrey, A., Eds., Pitman Advanced Publishing Program.
[7] Zakharov, V.E. and Shabat, A. (1972) Exact Theory of Two-Dimensional Self-Focusing and One-Dimensional Self-Modulation of Waves in Nonlinear Media. Soviet Physics, 34, 12-69.
[8] Ichikawa, Y. (1982) A Relationship between the Ablowitz-Kaup-Newell-Segur and Wadati-Konno-Ichkawa Schemes of the Inverse Scattering Method. Journal of the Physical Society of Japan, 51, 3036-3041.
https://doi.org/10.1143/JPSJ.51.3036
[9] Xu, J. (2018) Long-Time Asymptotics for the Short Pulse Equation. Journal of Differential Equations, 265, 3494-3532.
https://doi.org/10.1016/j.jde.2018.05.009

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.