孤子理论是非线性科学中的重要分支,在数学、物理学和生物学等自然科学领域中广泛应用。寻找孤子方程精确解的方法一直是众多学者研究的热点问题之一,如Hirota双线性方法
[1 ] 、齐次平衡法
[2 ] 、Bäcklund 变换法
[3 ] 、有理函数变换法
[4 ] 、Bell多项式法
[5 ] 。文献[
6 ]应用Bell多项式方法分析了Hirota⁃Bilinear方程(1)的孤子解和怪波解,文献[
7 ]应用广田双线性法获得(3+1)维Hirota⁃Bilinear方程(1)的块解。
u y t - u x x x y - 3 ( u x u y ) x - 3 u x x + u z z = 0 。(1)
文献[
8 ]应用Bell多项式研究了(3+1)维Jimbo⁃Miwa方程(2)的Lax对,Bäcklund变换和
N ⁃孤子解。
2 u y t + u x x x y - 3 ( u x u y ) x - 3 u z z = 0 。(2)
文献[
9 ]应用线性叠加原理研究了拓展(3+1)维Jimbo⁃Miwa方程(3)的孤子解。文献[
10 ]给出了拓展 (3+1)维Jimbo⁃Miwa方程(3)的精确解。
u x x x y + 3 ( u x u y ) x + 2 u y t - 3 ( u x z + u z z + u y z ) = 0 。(3)
文献[
11 ]给出了包含方程(1)、方程(2)和方程(3)的(3+1)Jimbo⁃Miwa⁃Like方程(4)的孤子解和三角函数与指数函数复合的精确解。
α u x x x y + β ( u x u y ) x + γ u y t + μ u z z + δ u x x + λ u x z + θ u y z = 0 ,(4)
其中α , β , γ , μ , δ , λ , θ 为任意常数。
文献[
6 ⁃
11 ]没有研究方程(4)的无穷守恒律,本文利用试探函数法求解方程的精确解,当选取适当参数可包含文献[
11 ]中的精确解。首先基于Bell多项式方法,给出方程(4)的双线性形式、Lax对、Bäcklund变换和无穷守恒律,其次利用小参数展开法计算方程(4)的单孤子解、双孤子解和
N ⁃孤子解,同时利用符号计算软件Mathematica画出对应图像,最后运用试探函数法求解其它类型的精确解。
1 双线性导数的定义与性质
关于
D ⁃算子在文献[
12 ⁃
13 ]中有如下定义和性质。
1.1 D ⁃算子定义
设f ( t , x ) 与g ( t , x ) 是变量t 与x 的可微函数,引进微分算子D t 与D x 使得对任意的非负整数m 和n 都有
D t m D x n f ⋅ g = ( ∂ t - ∂ ' t ) m ( ∂ x - ∂ ' x ) n f ( t , x ) ⋅ g ( t ' , x ' ) | t = t ' , x = x ' 。(5)
那么式(5) 称为函数f 与g 对t 施行m 次双线性导数D t ,对x 施行n 次双线性导数D x 。
1.2 D ⁃算子性质
性质1 函数f ( t , x ) 与常数1的双线性导数是通常的导数,即
性质2 当m + n 为奇数时
性质3 当m + n 是偶数时其值不变,当m + n 是奇数时要改变符号
D t m D x n f ⋅ g = ( - 1 ) m + n D t m D x n g ⋅ f 。(8)
2 Bell多项式相关结论
定义1 设f = f ( x 1 , x 2 , ⋯ , x n ) 是C ∞ 上多变量函数,称
Y n 1 x 1 , n 2 x 2 , … , n l x l ( f ) = Y n 1 , n 2 , … , n l ( f r 1 x 1 , r 2 x 2 , … , r l x l ) = e - f ∂ x 1 n 1 ∂ x 2 n 2 ⋯ ∂ x l n l e f (9)
为Bell多项式,简记为Y ⁃多项式。
定义2 多维Bell多项式定义为
𝒴 n 1 x 1 , n 2 x 2 , … , n l x l ( v , w ) = Y n 1 , n 2 , … , n l ( f r 1 x 1 , r 2 x 2 , … , r l x l ) , (10)
其中函数f 和它的导数分别被函数w 和v 的相应项按照如下规则替换
f r 1 x 1 , r 2 x 2 , … , r l x l = v r 1 x 1 , r 2 x 2 , … , r l x l , r 1 + r 2 + ⋯ + r l = 奇数 , w r 1 x 1 , r 2 x 2 , … , r l x l , r 1 + r 2 + ⋯ + r l = 偶数 。 (11)
前几个低阶的双Bell多项式分别为
𝒴 x ( v ) = v x , 𝒴 2 x ( v , w ) = w 2 x + v x 2 , 𝒴 x , t ( v , w ) = w x , t + v x v t ,
𝒴 3 x ( v , w ) = v 3 x + 3 v x w 2 x + v x 3 , 𝒴 4 x ( v , w ) = w 4 x + 3 w 2 x 2 + 4 v x v 3 x + 6 v x 2 w 2 x + v x 4 。(12)
定理1 阶数为n 1 + n 2 + ⋯ + n l 的双Bell多项式和标准的Hirota线性项D x 1 n 1 D x 2 n 2 ⋯ D x l n l F ⋅ G 之间的关系为
𝒴 n 1 x 1 , n 2 x 2 , … , n l x l ( v = l n F / G , w = l n F G ) = ( F G ) - 1 D x 1 n 1 D x 2 n 2 ⋯ D x l n l F ⋅ G , (13)
其中n 1 + n 2 + ⋯ + n l ≥ 1 。
特别地,当G = F 时,式(13) 化为
F - 2 D x 1 n 1 D x 2 n 2 ⋯ D x l n l F ⋅ F = y n 1 x 1 , n 2 x 2 , … , n l x l ( 0 , q = 2 l n F ) = 0 , n 1 + n 2 + ⋯ + n l = 奇数 , P n 1 x 1 , n 2 x 2 , … , n l x l , n 1 + n 2 + ⋯ + n l = 偶数 。 (14)
则称
P n 1 x 1 , n 2 x 2 , … , n l x l ( q ) = 𝒴 n 1 x 1 , n 2 x 2 , … , n l x l ( 0 , q = 2 l n F ) (15)
为P ⁃多项式,当且仅当n 1 + n 2 + ⋯ + n l 为偶数时。
3 Jimbo⁃Miwa⁃Like方程的双线性形式、Bäcklund变换、Lax对和无穷守恒律
3.1 Jimbo⁃Miwa⁃Like方程的双线性形式
引进势场q = q ( x , y , z , t ) ,并令
其中c 是一个可选择的常数。当选取适当的常数c 时,将方程(4)化为P ⁃多项式形式。
将式(16) 代入方程(4)得
c α q 4 x , y + β ( c q 2 x c q x , y ) x + c γ q x , y , t + c μ q x , 2 z + c δ q 3 x + c λ q 2 x , z + c θ q x , y , z = 0 。 (17)
式(17) 中取c = 1 ,并经对x 积分一次,取积分常数为0,得
E ( q ) = α q 3 x , y + β q 2 x q x , y + γ q y , t + μ q 2 z + δ q 2 x + λ q x , z + θ q y , z = 0 。(18)
当约束条件为β = 3 α 时,根据式(15) 有
P 2 x ( q ) = q 2 x , P x t ( q ) = q x t , P 3 x , y ( q ) = q 3 x , y + 3 q x , y q 2 x , (19)
将式(19) 化为
α P 3 x , y + γ P y , t + μ P 2 z + δ P 2 x + λ P x , z + θ P y , z = 0 。(20)
根据Hirota算子和Bell多项式之间的关系,从方程(20)得到(3+1)维Jimbo⁃Miwa⁃Like方程的双线性形式
( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) F ⋅ F = 0 。(21)
其中D x 3 D y , D y D t , D z 2 , D x 2 , D x D z , D y D z 满足式(5) 。
3.2 Jimbo⁃Miwa⁃Like方程的Bäcklund变换和Lax对
为得到Jimbo⁃Miwa⁃Like方程的双线性Bäcklund变换和Lax对。首先令q = 2 l n G 和q ' = 2 l n F 分别为方程(18)的两个不同解。将两解代入方程(18)并作代数运算得到
E ( q ' ) - E ( q ) = α ( q ' - q ) x x x y + 3 α ( q ' 2 x q ' x y - q 2 x q x y ) + γ ( q ' - q ) y t + μ ( q ' - q ) z z + δ ( q ' - q ) x x + λ ( q ' - q ) x z + θ ( q ' - q ) y z = 0 。 (22)
引入新变量v , w
v = q ' - q 2 = l n F / G , w = q ' + q 2 = l n F G , (23)
并代入方程(22)整理后得到
E ( w + v ) - E ( w - v ) = 2 [ α v x x x y + 3 α w x x y v 2 x + 3 α v x x y w x x + γ v y t + μ v z z + δ v x x + λ v x z + θ v y z ] = 2 α ∂ y [ 𝒴 3 x ( v , w ) ] + 2 { γ ∂ y [ 𝒴 t ( v , w ) ] + μ ∂ z [ 𝒴 z ( v , w ) ] + δ ∂ x [ 𝒴 x ( v , w ) ] + λ ∂ x [ 𝒴 z ( v , w ) ] + θ ∂ z [ 𝒴 y ( v , w ) ] } + 6 α W [ 𝒴 x , y ( v , w ) , 𝒴 x ( v ) ] = 0 , (24)
其中W 是一个Wronski行列式。
如果取一个特定的约束
τ 是任意常数。
在约束(25)下,式(24) 可以表示为
∂ y [ α 𝒴 3 x ( v , w ) + γ 𝒴 t ( v ) ] + ∂ z [ μ 𝒴 z ( v ) + θ 𝒴 y ( v ) ] + ∂ x [ δ 𝒴 x ( v ) + λ 𝒴 z ( v ) ] = 0 。(26)
为使式(26) 恒等于0,结合相关法则,得到Jimbo⁃Miwa⁃Like方程的双Bell多项式Bäcklund变换
α 𝒴 3 x + r 𝒴 t = c 1 , μ 𝒴 z + θ 𝒴 y = c 2 , δ 𝒴 x + λ 𝒴 z = c 3 , 𝒴 x , y = τ 𝒴 x 。 (27)
其中c 1 , c 2 , c 3 为积分常数。
由𝒴 ⁃多项式与双线性算子之间的关系,得到(3+1)维Jimbo⁃Miwa⁃Like方程的双线性Bäcklund变换
( α D x 3 + γ D t - c 1 ) F ⋅ G = 0 , ( μ D z + θ D y - c 2 ) F ⋅ G = 0 , ( δ D x + λ D z - c 3 ) F ⋅ G = 0 , ( D x D y - τ D x ) F ⋅ G = 0 。 (28)
计算(3+1)维Jimbo⁃Miwa⁃Like方程的Lax对。由Hopf⁃Cole变换,令v = l n ψ 并结合𝒴 ⁃多项式的相关性质得出
𝒴 x ( v ) = ψ x ψ , 𝒴 t ( v ) = ψ t ψ , 𝒴 y ( v ) = ψ y ψ , 𝒴 z ( v ) = ψ z ψ , 𝒴 2 x ( v , w ) = q 2 x + ψ 2 x ψ , 𝒴 3 x ( v , w ) = ψ 3 x ψ + 3 q 2 x ψ x ψ , 𝒴 x , y ( v , w ) = ψ x , y ψ + q x y 。 (29)
将式(29) 代入式(27) 中,化简得到
α ψ 3 x + 3 α q 2 x ψ x + γ ψ t = c 1 ψ , μ ψ z + θ ψ y = c 2 ψ , δ ψ x + λ ψ z = c 3 ψ , ψ x = ψ x y + q x y ψ τ 。 (30)
将式(30) 中第四个方程代入第一个方程中,第二个方程与第三个方程相加,整理得
( L 1 - c 2 - c 3 ) ψ = ( μ ∂ z + θ ∂ y + δ ∂ x + λ ∂ z - c 2 - c 3 ) ψ = 0 , ( ∂ t + L 2 ) = ∂ t + α ∂ x 3 γ + 3 α q 2 x ∂ x y γ τ + 3 α q 2 x q x y γ τ - c 1 γ ψ = 0 。 (31)
即为(3+1)维Jimbo⁃Miwa⁃Like方程的Lax对,满足条件[ L 1 - C , ∂ t + L 2 ] = 0 。其中L 1 = μ ∂ z + θ ∂ y + δ ∂ x + λ ∂ z ,C = c 2 + c 3 L 2 = α ∂ x 3 γ + 3 α q 2 x ∂ x y γ τ + 3 α q 2 x q x y γ τ - c 1 γ 。在双线性表示的变换(16)中,q x 用u 代替恰好为(3+1)维Jimbo⁃Miwa⁃Like方程,即Lax可积的。
3.3 Jimbo⁃Miwa⁃Like方程的无穷守恒律
由关系式∂ x 𝒴 y = ∂ y 𝒴 x = v x y ,式(27) 可重新写为
w x y + v x v y - τ v x = 0 , ∂ x ( α v 3 x + 3 α v x w 2 x + α v x 3 + μ v z + θ v y + δ v x + λ v z ) = 0 。 (32)
为了推导方程的无穷守恒律,引入势函数η = q x ' - q x 2 ,由式(23) 知
将式(33) 代入式(32) 得到一个Riccati方程
和一个离散型方程
∂ x [ α ( η x x + 3 η q x x + 3 η η x + η 3 ) ] + γ η t + μ η z + θ η y + δ η x + λ η z = 0 。(35)
进一步,将级数展开式
η = ε + ∑ n = 1 ∞ I n ( q , q x , ⋯ , q x n ) ε - n (36)
代入式(34) ,比较ε 的同次幂系数,得到守恒密度I n 的递推关系
I 1 = - u x , I 2 = - I 1 , x + τ ∂ y - 1 I 1 , x , ⋯ , I n = - I n - 1 , x - τ ∂ y - 1 I n - 1 , x - ∑ i = 1 n - 2 ∂ y - 1 ∂ x ( I i ∂ y - 1 I n - i - 1 , x ) , n = 3,4 ⋯ 。 (37)
再将级数(36)代入式(35) ,得
∂ x α ∑ n = 1 ∞ I n , 2 x ε - n + 3 ε + ∑ n = 1 ∞ I n ε - n ∑ n = 1 ∞ I n , x ε - n + 3 ε + ∑ n = 1 ∞ I n ε - n ∑ n = 1 ∞ I n , x ε - n + ε + ∑ n = 1 ∞ I n ε - n 2 + γ ∑ n = 1 ∞ I n , t ε - n + η ∑ n = 1 ∞ I n , z ε - n + δ ∑ n = 1 ∞ I n , x ε - n + λ ∑ n = 1 ∞ I n , z ε - n + θ ∑ n = 1 ∞ I n , y ε - n = 0 。 (38)
比较ε 的同次幂,得到了无穷守恒律
G n , t + L n , y + K n , z + F n , x = 0 。(39)
连带流F n 满足递推关系
F 1 = α ( I 1 , x x - I 1 2 + 3 I 2 , x + 6 I 3 ) + δ I 1 ,
F 2 = α [ I 2 , x x + 6 I 1 I 2 - 6 I 4 + 3 ( I 3 , x + I 1 I 1 , x - I 1 I 2 ) ] + δ I 2 , ⋯ ,
F n = α [ I n , x x + 3 ( 2 I n + 2 + ∑ i + j = n + 1 I i I j ) + ∑ i + j + k = n I i I j I k + 3 ( I n + 1 , x + ∑ i + j = n I i I j , x - I 1 I n ) ] + δ I n ,
n = 3,4 , ⋯ (40)
4 Jimbo⁃Miwa⁃Like方程的单孤子解及双孤子解
4.1 单孤子解
设
F ( x , y , z , t ) = 1 + f 1 ε + f 2 ε 2 + ⋯ + f j ε j + ⋯ (41)
代入式(25) ,同时比较ε 的同次幂系数得
ε : ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) f 1 ⋅ f 1 = 0 , (42)
ε 2 : ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) ( 1 ⋅ f 2 + f 1 ⋅ f 1 + f 2 ⋅ 1 ) = 0 , (43)
ε 3 : ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) ( 1 ⋅ f 3 + f 1 ⋅ f 2 + f 2 ⋅ f 1 + f 3 ⋅ 1 ) = 0 。(44)
将式(42 )-(44 )化简为
α f 3 x , y 1 + γ f y , t 1 + μ f 2 z 1 + δ f 2 x 1 + λ f x , 1 z + θ f y , z 1 = 0 , (45)
- ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) f 1 ⋅ f 1 = 2 ( α f 3 x , y 2 + γ f y , t 2 + μ f 2 z 2 + δ f 2 x 2 + λ f x , 2 z + θ f y , z 2 ) = 0 , (46)
- ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) f 1 ⋅ f 2 = α f 3 x , y 3 + γ f y , t 3 + μ f 2 z 3 + δ f 2 x 3 + λ f x , 3 z + θ f y , z 3 = 0 。 (47)
设f 1 有指数函数形式解
f 1 = e ξ , ξ 1 = a 1 t + b 1 x + c 1 y + d 1 z ,(48)
且满足约束条件α b 1 3 c 1 + γ c 1 a 1 + μ d 1 2 + δ b 1 2 + λ b 1 d 1 + θ c 1 d 1 = 0 ,其中a 1 , b 1 , c 1 , d 1 为任意常数。
代入式(42) 得到
- ( α b 1 3 c 1 + γ c 1 a 1 + μ d 1 2 + δ b 1 2 + λ b 1 d 1 + θ c 1 d 1 ) e ξ 1 = 0 , (49)
代入式(43) 得到
( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) e ξ 1 ⋅ e ξ 2 = 2 ( α f 3 x , y 2 + γ f y , t 2 + μ f 2 z 2 + δ f 2 x 2 + λ f x , 2 z + θ f y , z 2 ) = 0 。 (50)
若取f 2 = 0 ,则式(47) 化简为α f 3 x , y 3 + γ f y , t 3 + μ f 2 z 3 + δ f 2 x 3 + λ f x , 3 z + θ f y , z 3 = 0 。依次令f 3 = f 4 = ⋯ = f n = 0 ,级数被截断为有限形式。
当ε = 1 时,F ( t , x , y , z ) = 1 + e ξ ,得到方程的单孤子解
u = 2 [ l n ( 1 + e ξ ) ] x = 2 b e a 1 t + b 1 x + c 1 y + d 1 z 1 + e a 1 t + b 1 x + c 1 y + d 1 z 。 (51)
选取参数
b 1 = λ = - 1 , c 1 = a 1 = γ = μ = α = d 1 = 1 并绘制图像(
图1 )。
4.2 双孤子解
为得到方程的双孤子解,设f 1 有指数形式解,取
f 1 = e ξ 1 + e ξ 2 , ξ j = a j t + b j x + c j y + d j z ,(52)
并满足约束条件α b j 3 c j + γ c j a j + μ d j 2 + δ b j 2 + λ b j d j + θ c j d j = 0 。令h = h ( ξ 1 ) = e ξ 1 , g = g ( ξ 2 ) = e ξ 2 ,得到
2 ( α f 3 x , y 2 + γ f y , t 2 + μ f 2 z 2 + δ f 2 x 2 + λ f x , 2 z + θ f y , z 2 ) = - ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) f 1 ⋅ f 1 = - ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) ( e ξ 1 ⋅ e ξ 1 + e ξ 1 ⋅ e ξ 2 + e ξ 2 ⋅ e ξ 1 + e ξ 2 ⋅ e ξ 2 ) = - 2 ( α D x 3 D y + γ D y D t + μ D z 2 + δ D x 2 + λ D x D z + θ D y D z ) e ξ 1 ⋅ e ξ 2 = - 2 [ - ( 2 α ( h x x x y g - 3 h x x y g x + 3 h x y g x x - h x x x g y ) + γ ( h y t g + h y g t + h t g y + h g y t ) + μ ( h z z g - 2 h z g z + h g z z ) + δ ( h x x g - 2 h x g x + h g x x ) + λ ( h x z g + h x g z + h z g x + h g x z ) + θ ( h y z g + h y g z + h z g y + h g y z ) ] = - 2 [ α b 1 3 ( c 1 - c 2 ) + 6 α b 1 c 1 b 2 ( b 2 - b 1 ) + λ ( b 1 - b 2 ) ( d 1 - d 2 ) + γ ( a 1 - a 2 ) ( d 1 - d 2 ) + θ ( c 1 - c 2 ) ( d 1 - d 2 ) + μ ( d 1 - d 2 ) 2 + δ ( a 1 - a 2 ) 2 ] 。 (53)
令f 2 = m e ξ 1 + ξ 2 ,记e A 12 = m ,代入式(53)
m [ α ( b 1 + b 2 ) 3 ( c 1 + c 2 ) + λ ( b 1 + b 2 ) ( d 1 + d 2 ) + γ ( a 1 + a 2 ) ( c 1 + c 2 ) + θ ( c 1 + c 2 ) ( d 1 + d 2 ) + μ ( d 1 + d 2 ) 2 + δ ( a 1 + a 2 ) 2 ] = - [ α b 1 3 ( c 1 - c 2 ) + 6 α b 1 c 1 b 2 ( b 2 - b 1 ) + λ ( b 1 - b 2 ) ( d 1 - d 2 ) + γ ( a 1 - a 2 ) ( d 1 - d 2 ) + θ ( c 1 - c 2 ) ( d 1 - d 2 ) + μ ( d 1 - d 2 ) 2 + δ ( a 1 - a 2 ) 2 ] , (54)
得到
m = - α b 1 3 ( c 1 - c 2 ) + 6 α b 1 c 1 b 2 ( b 2 - b 1 ) + λ ( b 1 - b 2 ) ( d 1 - d 2 ) + γ ( a 1 - a 2 ) ( c 1 - c 2 ) + θ ( c 1 - c 2 ) ( d 1 - d 2 ) + μ ( d 1 - d 2 ) 2 + δ ( a 1 - a 2 ) 2 [ α ( b 1 + b 2 ) 3 ( c 1 + c 2 ) + λ ( b 1 + b 2 ) ( d 1 + d 2 ) + γ ( a 1 + a 2 ) ( c 1 + c 2 ) + θ ( c 1 + c 2 ) ( d 1 + d 2 ) + μ ( d 1 + d 2 ) 2 + δ ( a 1 + a 2 ) 2 ] , (55)
则f 2 = e ξ 1 + ξ 2 e A 12 = e ξ 1 + ξ 2 + A 12 ,令f 3 = 0 ,得到f 4 = f 5 ⋯ = 0 。
当ε = 1 时,f ( t , x , y , z ) = 1 + e ξ 1 + e ξ 2 + e ξ 1 + ξ 2 + A 12 , 则方程的双孤子解为
u = 2 [ l n ( 1 + e ξ 1 + e ξ 2 + e ξ 1 + ξ 2 + A 12 ) ] x = 2 h b 1 + g b 2 + h g e A 12 b 1 + b 2 1 + h b 1 + g b 2 + h g e A 12 。(56)
选取参数
a 2 = d 1 = b 1 = b 2 = δ = c 2 = 2 , a 1 = d 2 = γ = μ = λ = θ = c 1 = α = 1 , 并绘制图像(
图2 )。
5 试探函数法与精确解
引入测试函数
F = ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 3 c o s h ϕ 3 + ε 4 c o s ϕ 4 + ε 5 s i n h ϕ 5 + ε 6 s i n ϕ 6 + ε 7 t a n ϕ 7 + ε 8 s e c ϕ 8 , (57)
其中ϕ i = a i x + b i y + c i z + d i t ,ε i 为待定的常数。
将式(57) 代入方程双线性形式中,并令e - ϕ 1 , e ϕ 2 , c o s h ϕ 3 , c o s ϕ 4 , s i n h ϕ 5 , s i n ϕ 6 , t a n ϕ 7 , s e c ϕ 8 的系数为零,得到一组非线性代数方程组,利用符号计算软件Mathematica,求出方程组的如下几种解。
情况1
ε 4 = ε 5 = ε 6 = ε 7 = ε 8 = 0 , λ = - 3 α ( a 3 A 1 + a 1 A 2 ) ( a 2 A 3 + a 2 A 4 + a 1 A 5 + A 6 + A 7 ) ( - A 3 - A 4 - A 5 ) 2 , (58)
A 1 = - a 3 ( b 1 + b 2 ) b 3 + a 2 ( b 1 b 2 + b 3 2 ) , A 2 = - a 2 ( b 1 + b 2 ) b 3 + a 3 ( b 1 b 2 + b 3 2 ) , A 3 = a 3 ( b 1 c 2 - b 2 c 1 ) , A 4 = a 2 ( b 1 c 3 - b 3 c 1 ) , A 5 = a 1 ( b 2 c 3 - b 3 c 2 ) , A 6 = 2 a 3 2 [ ( b 3 c 1 + b 3 c 1 ) - ( b 1 c 3 + b 2 c 3 ) , A 7 = a 1 [ a 3 ( b 2 c 1 - b 1 c 2 ) - a 2 ( b 3 c 2 + b 3 c 1 ) + c 3 ( b 1 + b 2 ) ] 。
情况2
ε 3 = 0 , ε 4 = 0 , ε 5 = 0 , ε 7 = 0 , ε 8 = 0 ,
γ = δ a 6 2 c 2 2 - a 2 2 c 6 2 + α A 8 + b 2 c 6 2 d 2 - b 6 c 2 2 d 6 - λ a 6 c 2 2 c 6 - λ a 2 c 2 c 6 2 - b 2 c 6 2 d 2 + b 6 c 2 2 d 6 - θ b 6 c 2 2 c 6 - b 2 c 2 c 6 2 - b 2 c 6 2 d 2 + b 6 c 2 2 d 6 , μ = δ a 6 2 b 2 d 2 - a 2 2 b 6 d 6 + α b 6 A 8 - b 2 c 6 2 d 2 + b 6 c 2 2 d 6 - λ a 6 b 2 c 6 d 2 - λ a 2 b 6 c 2 d 6 b 2 c 6 2 d 2 - b 6 c 2 2 d 6 + θ b 6 b 2 c 6 d 2 - b 2 c 2 d 6 - b 2 c 6 2 d 2 + b 6 c 2 2 d 6 。 (59)
其中A 8 = 4 a 6 3 b 6 c 2 2 - a 2 3 b 2 c 6 2 - 3 a 2 a 6 2 b 2 c 6 2 - 3 a 2 2 a 6 b 6 c 6 2 + 3 a 6 3 b 6 c 6 2 。
情况3
ε 3 = ε 4 = ε 6 = ε 7 = ε 8 = 0 , γ = - C 2 - C 3 - C 4 - α C 5 - C 6 C 1 , μ = - C 8 - α C 9 - C 10 - λ C 11 C 7 , (60)
C 1 = - c 2 2 + c 5 2 b 5 d 2 + b 2 d 5 + 2 c 2 c 5 b 2 d 2 + b 5 d 5 , C 2 = 2 c 2 c 5 λ a 2 c 2 + λ a 5 c 5 - λ a 5 c 2 + λ a 2 c 5 c 2 2 + c 5 2 , C 3 = θ 2 c 2 c 5 b 2 c 2 + b 5 c 5 - b 5 c 2 + b 2 c 5 c 2 2 + c 5 2 , C 4 = δ 2 a 2 2 + a 5 2 c 2 c 5 - 2 a 2 a 5 c 2 2 + c 5 2 , C 5 = 2 a 2 3 b 2 + 3 a 2 a 5 2 b 2 + 3 a 2 2 a 5 b 5 + a 5 3 b 5 c 2 c 5 - 3 a 2 2 a 5 b 2 + a 5 3 b 2 + a 2 3 b 5 + 3 a 2 a 5 2 b 5 c 2 2 + c 5 2 , C 6 = θ 2 c 2 c 5 b 2 c 2 + b 5 c 5 - b 5 c 2 + b 2 c 5 c 2 2 + c 5 2 , C 7 = b 5 c 2 2 d 2 - 2 b 2 c 2 c 5 d 2 + b 5 c 5 2 d 2 + b 2 c 2 2 d 5 - 2 b 5 c 2 c 5 d 5 + b 2 c 5 2 d 5 , C 8 = δ - 2 a 2 a 5 b 2 d 2 + a 2 2 b 5 d 2 + a 5 2 b 5 d 2 + a 2 2 b 2 d 5 + a 5 2 b 2 d 5 - 2 a 2 a 5 b 5 d 5 , C 9 = - 3 a 2 2 a 5 b 2 2 d 2 - a 5 3 b 2 2 d 2 + 3 a 2 2 a 5 b 5 2 d 2 + a 5 3 b 5 2 d 2 + a 2 3 b 2 2 d 5 + 3 a 2 a 5 2 b 2 2 d 5 - a 2 3 b 5 2 d 5 - 3 a 2 a 5 2 b 5 2 d 5 , C 10 = θ - b 2 2 c 5 d 2 + b 5 2 c 5 d 2 + b 2 2 c 2 d 5 - b 5 2 c 2 d 5 , C 11 = a 2 b 5 c 2 d 2 - a 2 b 2 c 5 d 2 + a 5 b 5 c 5 d 2 + a 2 b 2 c 2 d 5 - a 5 b 5 c 2 d 5 + a 5 b 2 c 5 d 5 - a 2 b 5 c 5 d 5 - a 5 b 2 c 2 d 2 。
情况4
ε 1 = ε 2 = ε 4 = ε 5 = ε 6 = ε 8 = 0 , δ = - γ ( b 7 c 3 - b 3 c 7 ) ( d 7 c 3 - c 7 d 3 ) ( a 7 c 3 - c 7 a 3 ) 2 。 (61)
情况5
ε 3 = ε 5 = ε 6 = ε 7 = ε 8 = 0 , γ = - B 3 - α B 4 - B 5 - B 6 B 1 , μ = - B 7 - α B 8 - B 9 - B 10 B 2 , (62)
B 1 = - c 2 2 + c 5 2 b 5 d 2 + b 2 d 5 + 2 c 2 c 5 b 2 d 2 + b 5 d 5 , B 2 = b 5 c 2 2 d 2 - 2 b 2 c 2 c 5 d 2 + b 5 c 5 2 d 2 + b 2 c 2 2 d 5 - 2 b 5 c 2 c 5 d 5 + b 2 c 5 2 d 5 , B 3 = δ 2 a 2 2 + a 5 2 c 2 c 5 - 2 a 2 a 5 c 2 2 + c 5 2 , B 4 = 2 a 2 3 b 2 + 3 a 2 a 5 2 b 2 + 3 a 2 2 a 5 b 5 + a 5 3 b 5 c 2 c 5 - 3 a 2 2 a 5 b 2 + a 5 3 b 2 + a 2 3 b 5 + 3 a 2 a 5 2 b 5 c 2 2 + c 5 2 , B 5 = 2 c 2 c 5 λ a 2 c 2 + λ a 5 c 5 - λ a 5 c 2 + λ a 2 c 5 c 2 2 + c 5 2 , B 6 = θ 2 c 2 c 5 b 2 c 2 + b 5 c 5 - b 5 c 2 + b 2 c 5 c 2 2 + c 5 2 , B 7 = δ - 2 a 2 a 5 b 2 d 2 + a 2 2 b 5 d 2 + a 5 2 b 5 d 2 + a 2 2 b 2 d 5 + a 5 2 b 2 d 5 - 2 a 2 a 5 b 5 d 5 , B 8 = - 3 a 2 2 a 5 b 2 2 d 2 - a 5 3 b 2 2 d 2 + 3 a 2 2 a 5 b 5 2 d 2 + a 5 3 b 5 2 d 2 + a 2 3 b 2 2 d 5 + 3 a 2 a 5 2 b 2 2 d 5 - a 2 3 b 5 2 d 5 - 3 a 2 a 5 2 b 5 2 d 5 , B 9 = θ - b 2 2 c 5 d 2 + b 5 2 c 5 d 2 + b 2 2 c 2 d 5 - b 5 2 c 2 d 5 , B 10 = λ ( a 2 b 5 c 2 d 2 - a 5 b 2 c 2 d 2 - a 2 b 2 c 5 d 2 + a 5 b 5 c 5 d 2 + a 2 b 2 c 2 d 5 - a 5 b 5 c 2 d 5 + a 5 b 2 c 5 d 5 - a 2 b 5 c 5 d 5 ) 。
情况6
ε 3 = ε 4 = ε 5 = ε 6 = ε 8 = 0 ,
λ = - θ b 1 + b 2 a 1 + a 2 - δ a 1 + a 2 c 1 + c 2 - α A 9 c 1 + c 2 - η c 1 + c 2 a 1 + a 2 - γ b 1 d 1 + b 2 d 1 + b 1 d 2 + b 2 d 2 a 1 + a 2 c 1 + c 2 。 (63)
其中A 9 = a 1 2 b 1 + 2 a 1 a 2 b 1 + a 2 2 b 1 + a 1 2 b 2 + 2 a 1 a 2 b 2 + a 2 2 b 2 。
情况7
ε 2 = ε 3 = ε 4 = ε 5 = ε 6 = ε 7 = α = δ = γ = 0 , μ = θ ( a 8 b 1 - a 1 b 8 ) - a 8 c 1 + a 1 c 8 , λ = θ ( b 8 c 1 - b 1 c 8 ) - a 8 c 1 + a 1 c 8 。 (64)
情况8
ε 1 = 0 , ε 2 = 0 , ε 4 = 0 , ε 5 = 0 , ε 6 = 0 , ε 7 = 0 , δ = γ ( b 3 c 8 - b 8 c 3 ) ( d 8 c 3 - d 3 c 8 ) ( a 8 c 3 - a 3 c 8 ) 2 。 (65)
将式(58 )—(65 )代入式(16) 中,令c = 1 ,得到如下8组精确解:
u 1 = 2 l n [ ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 3 c o s h ϕ 3 ] x , u 2 = 2 l n [ ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 6 s i n ϕ 6 ] x , u 3 = 2 l n [ ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 5 s i n h ϕ 5 ] x , u 4 = 2 l n [ ε 3 c o s h ϕ 3 + ε 7 t a n ϕ 7 ] x , u 5 = 2 l n [ ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 4 c o s ϕ 4 ] x , u 6 = 2 l n [ ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 7 t a n ϕ 7 ] x , u 7 = 2 l n [ ε 1 e - ϕ 1 + ε 8 s e c ϕ 8 ] x , u 8 = 2 l n [ ε 3 c o s h ϕ 3 + ε 8 s e c ϕ 8 ] x 。 (66)
当选取参数
ε 1 = ε 2 = ε 3 = a 1 = a 2 = c 3 = b 1 = b 2 = d 3 = d 2 = c 2 = 1 , z = t = b 3 = 2 , c 1 = c 3 = 0 时, 方程的精确解
u 1 可化为(
图3 )
u 1 = 2 - e - 2 - x - y + e 4 + x + y + s i n h ( 2 + x + 2 y ) e - 2 - x - y + e 4 + x + y + c o s h ( 2 + x + 2 y ) 。 (67)
当选取参数
ε 1 = ε 2 = ε 6 = a 1 = a 2 = a 6 = z = t = c 1 = b 1 = b 2 = b 6 = d 2 = c 2 = d 1 = d 6 = 1 , c 6 = 0 时,方程的精确解
u 2 可化为(
图3 )
u 2 = 2 - e - 2 - x - y + e 2 + x + y + c o s ( 1 + x + y ) e - 2 - x - y + e 2 + x + y + s i n ( 1 + 1 + y ) 。 (68)
当选取参
ε 1 = ε 2 = a 1 = a 2 = t = c 5 = b 1 = b 2 = d 5 = d 2 = c 2 = d 1 = 1 , ε 5 = z = c 1 = 2 , a 5 = b 5 = 3 时,方程的精确解
u 3 可化为(
图3 )
u 3 = 2 - e - 5 - x - y + e 3 + x + y + 6 c o s h ( 3 + 3 x + 3 y ) e - 5 - x - y + e 3 + x + y + 2 s i n h ( 3 + 3 + 3 y ) 。 (69)
当选取参数
c 3 = d 3 = d 7 = ε 7 = z = b 7 = b 3 = c 7 = 1 , t = a 3 = 2 , a 7 = 3 , 方程的精确解
u 4 可化为(
图3 )
u 4 = 2 4 s i n h ( 3 + 2 x + y ) + 3 s e c h ( 3 + 3 x + y ) 2 2 c o s h [ 3 + 2 x + y ] + t a n h ( 3 + 3 x + y ) 。 (70)
当选取参数
ε 1 = ε 2 = a 1 = a 2 = c 4 = b 1 = b 2 = d 4 = d 2 = c 2 = d 1 = b 4 = 1 , ε 4 = z = t = b 4 = c 2 = 2 时,方程的精确解
u 5 可化为(
图4 )
u 5 = 2 - e - 6 - x - y + e 4 + x + y - 4 s i n ( 4 + 2 x + 2 y ) e - 6 - x - y + e 4 + x + y + 2 c o s ( 4 + 2 + 2 y ) 。 (71)
当选取参数
ε 3 = d 3 = d 7 = ε 7 = z = b 7 = b 3 = c 7 = 1 , a 3 = t = ε 3 = 2 时,方程的精确解
u 6 可化为(
图4 )
u 6 = 2 - 4 e - 5 - 2 x - y + 2 e 5 + 2 x + 2 y + s e c h ( 4 + x + 2 y ) 2 2 e - 5 - 2 x - y + e 5 + 2 x + 2 y + t a n h ( 4 + x + 2 y ) 。 (72)
当选取参数
ε 8 = a 1 = c 1 = d 1 = b 8 = c 8 = z = 1 , ε 1 = a 8 = a 1 = t = d 8 = 2 时,方程的精确解
u 7 可化为(
图4 )
u 7 = 2 - 4 e - 3 - 2 x - 2 y + s e c ( 5 + 2 x + y ) t a n ( 5 + 2 x + y ) 2 e - 3 - 2 x - 2 y + s e c ( 5 + 2 x + y ) 。 (73)
当选取参数
d 3 = b 8 = z = t = d 8 = b 3 = c 8 = 1 , ε 8 = a 3 = a 8 = ε 3 = c 3 = 2 , 方程的精确解
u 8 可化为(
图4 )
u 8 = 2 4 s i n h ( 3 + 2 x + y ) + 1.125 s e c ( 2 + 2 x + y ) 2 2 c o s h [ 3 + 2 x + y ] + 0.5625 t a n ( 3 + 3 x + y ) 。 (74)
6 结论
本文基于Bell多项式相关性质得到Jimbo⁃Miwa⁃Like方程的双线性形式,其次通过变量替换得到方程的双线性Bäcklund变换和Lax对,从而验证方程的可积性,最后通过截断法得到方程的单孤子解及双孤子解的表达式并绘制图像观察性质。同时基于广田双线性方法和试探函数法研究方程的精确解问题,并获得了双指数函数和三角函数或双曲函数组成的复合解、双曲函数和三角函数组成的新复合解。
文献[
8 ]给出了方程(2)的Lax对和Bäcklund变换,本文进一步给出了的(3+1)维Jimbo⁃Miwa⁃Like方程(4)的Lax对、Bäcklund变换和无穷守恒律。
F = ε 1 e ϕ 1 + ε 2 c o s h ϕ 2 + ε 3 c o s ϕ 3 + ε 4 s i n h ϕ 4 , (75)
其中ϕ i = a i x + b i y + c i z + d i t ,ε i 为任意常数,得到方程的孤子解、三角函数和指数函数的复合解。本文利用小参数展开法得到方程的单孤子解和双孤子解,在式(75) 基础上增加了正弦函数、正切函数、负幂指数、正割函数等,选取如下测试函数
F = ε 1 e - ϕ 1 + ε 2 e ϕ 2 + ε 3 c o s h ϕ 3 + ε 4 c o s ϕ 4 + ε 5 s i n h ϕ 5 + ε 6 s i n ϕ 6 + ε 7 t a n ϕ 7 + ε 8 s e c ϕ 8 ,
得到方程(4)的更多精确解(66),通过画图得到方程的更多性质。该方程从Lax对构造达布变换和逆散射变化等问题还有待进一步研究。
内蒙古自治区自然科学基金资助项目“非线性发展方程的求解与可积性问题研究”(2020LH01008)
内蒙古师范大学基本科研业务费专项资金资助项目“非线性发展方程的Bäcklund变换与无穷守恒律问题研究”(2022JBZD011)
内蒙古师范大学研究生科研创新基金资助项目“非线性发展方程的可积性与相关问题研究”(CXJJB23009)