Abundant Lumps and Their Interaction Solutions of (3+1)
Total Page:16
File Type:pdf, Size:1020Kb
Journal of Geometry and Physics 133 (2018) 10–16 Contents lists available at ScienceDirect Journal of Geometry and Physics journal homepage: www.elsevier.com/locate/geomphys Abundant lumps and their interaction solutions of (3+1)-dimensional linear PDEs Wen-Xiu Ma * Department of Mathematics, Zhejiang Normal University, Jinhua 321004, Zhejiang, China Department of Mathematics and Statistics, University of South Florida, Tampa, FL 33620, USA College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, Shandong, China College of Mathematics and Physics, Shanghai University of Electric Power, Shanghai 200090, China International Institute for Symmetry Analysis and Mathematical Modelling, Department of Mathematical Sciences, North-West University, Mafikeng Campus, Private Bag X2046, Mmabatho 2735, South Africa article info a b s t r a c t Article history: The paper aims to explore the existence of diverse lump and interaction solutions to Received 23 February 2018 linear partial differential equations in (3+1)-dimensions. The remarkable richness of exact Accepted 5 July 2018 solutions to a class of linear partial differential equations in (3+1)-dimensions will be exhibited through Maple symbolic computations, which yields exact lump, lump-periodic and lump–soliton solutions. The results expand the understanding of lump, freak wave and MSC: breather solutions and their interaction solutions in soliton theory. 35Q51 35Q53 ' 2018 Elsevier B.V. All rights reserved. 37K40 Keywords: Symbolic computation Lump solution Interaction solution 1. Introduction Lump solutions are a particular kind of exact solutions, which describe various important nonlinear phenomena in nature [1,2]. More specifically, such solutions can be generated from solitons by taking long wave limits [3]. There are also positons and complexitons to integrable equations, enriching the diversity of solitons [4,5]. Interaction solutions between two different kinds of exact solutions exhibit more diverse nonlinear phenomena [6]. Soliton solutions are exponentially localized in all directions in space and time, and lump solutions, rationally localized in all directions in space. Through a Hirota bilinear form: P(Dx; Dt )f · f D 0; (1.1) where P is a polynomial and Dx and Dt are Hirota's bilinear derivatives, an N-soliton solution in (1+1)-dimensions can be defined by N X X X f D exp( µiξi C µiµjaij); (1.2) µD0;1 iD1 i<j * Correspondence to: Department of Mathematics and Statistics, University of South Florida, Tampa, FL 33620, USA. E-mail address: [email protected]. https://doi.org/10.1016/j.geomphys.2018.07.003 0393-0440/' 2018 Elsevier B.V. All rights reserved. W.X. Ma / Journal of Geometry and Physics 133 (2018) 10–16 11 where 8 D − C ≤ ≤ <ξi kix !it ξi;0; 1 i N; P(ki − kj;!j − !i) (1.3) eaij D − ; 1 ≤ i < j ≤ N; : P(ki C kj;!j C !i) with ki and !i satisfying the dispersion relation and ξi;0 being arbitrary shifts. The KPI equation (ut C 6uux C uxxx)x − uyy D 0 (1.4) has a lump solution [7]: ( )2 ( )2 u D 2(ln f )xx; f D a1x C a2y C a3t C a4 C a5x C a6y C a7t C a8 C a9; (1.5) where 2 2 2 2 2 2 3 a1a2 − a1a6 C 2 a2a5a6 2a1a2a6 − a2 a5 C a5a6 3(a1 C a5 ) a D ; a D ; a D ; (1.6) 3 2 2 7 2 2 9 2 a1 C a5 a1 C a5 (a1a6 − a2a5) and the other parameters ai's are arbitrary but need to satisfy a1a6 − a2a5 6D 0; which guarantees rational localization in all directions in the (x; y)-plane. Other integrable equations, possessing lump solutions, include the three-dimensional three- wave resonant interaction [8], the BKP equation [9,10], the Davey–Stewartson equation II [3], the Ishimori-I equation [11] and many others [12,13]. It is recognized by making symbolic computations that many nonintegrable equations possess lump solutions as well, including (2+1)-dimensional generalized KP, BKP and Sawada–Kotera equations [14–16]. Moreover, various studies show the existence of interaction solutions between lumps and another kind of exact solutions to nonlinear integrable equation in (2+1)-dimensions, which contain lump–soliton interaction solutions (see, e.g., [17–20]) and lump–kink interaction solutions (see, e.g., [21–24]). Nevertheless, in the (3+1)-dimensional case, only lump-type solutions are presented for the integrable Jimbo–Miwa equations, which are rationally localized in almost all but not all directions in space. All presented analytical rational solutions to the (3+1)-dimensional Jimbo–Miwa equation in [25–27] and the (3+1)-dimensional Jimbo–Miwa like equation in [28] are not rationally localized in all directions in space. It is absolutely very interesting and important to explore lump and interaction solutions to partial differential equations in (3+1)-dimensions. This paper aims at showing that there do exist abundant lump solutions and their interaction solutions to linear partial differential equations in (3+1)-dimensions. A class of particular examples in (3+1)-dimensions will be considered to exhibit such solution phenomena. We will explicitly generate lump solutions and mixed lump-periodic and lump–soliton solutions for a specially chosen class of (3+1)-dimensional linear partial differential equations. Based on Maple symbolic computations, sufficient conditions and examples of lump and interaction solutions will be provided, together with three-dimensional plots and contour plots of special examples of the presented solutions. Some concluding remarks will be given in the final section. 2. Abundant lump and interaction solutions Let u D u(x; y; z; t) be a real function of x; y; z; t 2 R. We consider a class of linear partial differential equations (PDEs) in (3+1)-dimensions: α1uxy C α2uxz C α3uxt C α4uyz C α5uyt C α6uzt C α7uxx C α8uyy C α9uzz C α10utt D 0; (2.1) where αi; 1 ≤ i ≤ 10; are real constants, and the subscripts denote partial differentiation. We search for a kind of exact solutions u D v(ξ1; ξ2; ξ3; ξ4) (2.2) where v is an arbitrary real function, and ξi; 1 ≤ i ≤ 4; are four wave variables: ξi D aix C biy C ciz C dit C ei; 1 ≤ i ≤ 4; (2.3) in which ai; bi; ci; di and ei, 1 ≤ i ≤ 4, are real constants to be determined. Then, the linear PDE (2.1) becomes 4 4 X X D wijvξiξj 0; (2.4) iD1 jDi where wij, 1 ≤ i ≤ j ≤ 4, are quadratic functions of the parameters ai; bi; ci and di, 1 ≤ i ≤ 4. Upon setting all coefficients of the ten second partial derivatives of v to be zero, we obtain a system of equations on the parameters: 8α a b C α a c C α a d C α b c C α b d > 1 i i 2 i i 3 i i 4 i i 5 i i < C α c d C α a2 C α b2 C α c2 C α d2 D 0; 1 ≤ i ≤ 4; 6 i i 7 i 8 i 9 i 10 i (2.5) α1(aibj C ajbi) C α2(aicj C ajci) C α3(aidj C ajdi) C α4(bicj C bjci) C α5(bidj C bjdi) :> C α6(cidj C cjdi) C 2α7aiaj C 2α8bibj C 2α9cicj C 2α10didj D 0; 1 ≤ i < j ≤ 4: 12 W.X. Ma / Journal of Geometry and Physics 133 (2018) 10–16 Direct symbolic computations with Maple can determine a bunch of solutions to this system of quadratic equations. The interesting two ones are stated as follows: { a2 a3 a3c4 a2d4 a3d4 b2 D γ1; b3 D γ1; b4 D γ1; c3 D ; d2 D ; d3 D ; a a a a a 4 4 4 4 4 } (2.6) b1α4 C d1α6 α4(α4α10 − α5α6) D D − D D − D 0 α1 γ2; α2 ; α7 γ3; α8 2 ; α9 ; a1 α6 where 8 a b α C (a d − a d )α > D 4 1 4 4 1 1 4 6 >γ1 ; > a1α4 <> a1α3α4α6 C b1α4(2α4α10 − α5α6) C d1α6(2α4α10 − α5α6) γ2 D ; a α2 > 1 6 > a α α (b α C d α ) C α (b α C d α )2 >γ D − 1 3 6 1 4 1 6 10 1 4 1 6 I :> 3 2 2 a1α6 and { a2b4 a3b4 d1 a4d1 − a1d4 b2 D ; b3 D ; c1 D 0; d2 D γ1; d3 D γ2; α1 D − α5; α4 D α5; a a a a c 4 4 1 } 1 4 (2.7) d1(b1α5 − a1α3) a1α3 C b1α5 D D D 0 D D − α6 γ3; α7 2 ; α8 ; α9 γ4; α10 ; 2a1 2d1 where 8 a1c2d4 C a2c4d1 − a4c2d1 >γ1 D ; > a1c4 > C − − − 2 < a1c3d4 a3c4d1 a4c3d1 b1(a1d4 a4d1)α5 a1c4α2 γ2 D ; γ3 D ; > a1c4 a1c4d1 > (a d C a d )2(a α − b α ) C 2a2c (a d − a d )α − 4a a d d (a α − b α ) > D 1 4 4 1 1 3 1 5 1 4 1 4 4 1 2 1 4 1 4 1 3 1 5 :γ4 2 2 : 2a1c4 d1 In each set of the two solutions listed above, the parameters not determined in the set are arbitrary provided that all expressions in the set are meaningful. Though those two choices engender lumps and their interaction solutions, we remark that all the resulting solutions satisfy a determinant identity ⏐ ⏐ ⏐a1 b1 c1 d1⏐ ⏐ ⏐ ⏐a2 b2 c2 d2⏐ D ⏐ ⏐ 0: (2.8) ⏐a3 b3 c3 d3⏐ ⏐a4 b4 c4 d4⏐ From those two solutions, we can derive the corresponding two following results.