非可积方程理论
物理工程中的非线性波动现象大多由非可积方程描述。对于非可积方程,反散射理论不再适用,孤立子摄动理论一般也不怎么有效。在此,我们讨论非可积方程的数学理论。
非可积方程的研究在最近20年来有了长足的发展。人们发现,在非可积方程中孤立波可以不稳定。稳定的孤立波可以有internal modes。这些modes引起孤立波形状的长时间的振动。孤立波的碰撞可以非常复杂(远非弹性碰撞)。孤立波还可以嵌入在波动方程的连续谱内
(embedded solitons)。在2+1位情形,孤立波可以在横向(transverse direction)出现不稳定性,并且可以出现critical collapse现象。最近兴起的光波在周期介质中的传播行为也由非可积方程刻画,并且其解(如孤立波稳定性等)也出现了很多新的有趣的现象。
下面我们用模型方程
2
() 0 (1)
zxx
iu u F u u++ =
来发展非可积方程理论(这里(0) 0F =)。此方程描述光孤立波在非Kerr介质里的传播行为。
在一般情形下,此方程不可积。它有三个守恒量:质量P,动量M,和Hamiltonian H,
2
**
22
(2)
()
() (4
xx
x
Pudx
Miuuuudx
HuGudx
≡
≡?
≡?
∫
∫
∫
(3)
)
这里。 () ()Gy Fy′ =
1,孤立波的解析表达式
对于一个非线性波动方程,我们常常从它的孤立波入手。对于方程(1),它的静止的孤立波形式为
(,) (; ) (5)
iz
uxz x e
β
β=Φ
这里(; )x βΦ为一实函数,0 as xΦ→ →∞,β为传播常数。注意方程(1)具有Galilean
(伽利略)不变形,即从它的静止的孤立波通过Galilean变换我们可以得到运动的孤立波,
2
11
vv
24
(,) ( v; ) (6)
ix i zi z
moving
uxz xze
β
β
+
=Φ?
在一些具体情形下,解(; )x βΦ有显式的解析表达式。比如,考虑函数
22
() (7Fu u u
σσ
αγ=+ )
在此情形下,当把方程(5)和(7)代入(1)中并积分一次,我们得到
1
2
222()
2
(8)
21
d
dx
σσ
αγ
β
σσ
++
Φ
=Φ? Φ? Φ
++
这里积分常数已由条件0
x
x
d
dx
=∞
=∞
Φ
Φ= =消掉。方程(8)可以由变量代换y
σ
=Φ求解。
其解为,
1
(; ) (9)
cosh
A
x
BDx
σ
β
Φ=
+
这里
(2 )B
A
σ β
α
+
=,D σ β=,
1
2
2
2
(2 )
sgn( ) 1
(1 )
B
σγ
α
σα
β
+
=+
+
,而β为自由参数。
当1α =,0γ =和2σ =时,解(9)退化为一般代数孤立波(algebraic solitons),
1
22 22
2(2 )(1 ) /
() (11)
(1 ) (2 ) /
al
ux
x
σ
σσα
σσ σγα
+ +
=
+++
此孤立波在x =∞处以power law衰减:
2
()
al
ux x
σ
~。
2,孤立波的线性稳定性和internal modes。
在可积方程里,孤立子一般是稳定的。实际上,它们不光稳定,连碰撞后也保持形状不变。但在非可积方程中,孤立波不见得稳定,更不用提弹性碰撞了。即使非可积方程中的孤立波是稳定的,其线性化算子的谱中往往也有离散的纯实数特征值(即所谓的internal modes)。
而这些internal modes,在可积方程是没有的。Internal modes 的存在对孤立波在扰动下的发展及孤立波的碰撞都有重大影响。这里我们讨论模型(1)中孤立波的线性稳定性及internal modes
的产生机制。
为讨论孤立波的线性稳定性,我们对孤立波(5)做微小扰动,
{ }
*
**
(,) ( ; ) [v( ) w( )] [v ( ) w ( )] (12)
iz i z iz
uxz x x xe x xe e
λλβ
β
=Φ +? + +
这里v(。当把此扰动解代入到方程(1)中并线性化,我们得到特征值问题 ),w( ) 1xxnull
(13)LY Yλ=
这里
0
1
2
2
0
2
2
222
1
2
v
(14)
w
0
(15)
0
( ) (16)
()2 () (17)
Y
L
L
L
d
LF
dx
d
LFF
dx
β
β
≡
=
=? +? Φ
′=? +? Φ? Φ Φ
算子L的特征值具有一个简单对称性:如果λ为一特征值,则
*
,,
*
λ λλ也都为特征值。因此L的特征值总是成对或者成四出现的。另外,0λ =总是L的离散特征值,并且此零特征值的几何重数为2,代数重数为4。其对应的两个特征函数为,
21
0
,,
0
dd
YY
x
Φ
==
Φ
(18)
两个广义特征函数为,
12
01
,(19)
102
aa
x
YY
β
Φ
=Φ =
并且
11 2 2
,(20)
ad ad
LY Y LY Y==
这些特征函数及广义特征函数与解(6)的位置,相位,振幅和速度的任意性有必然的关系。
算子L的连续谱很容易从x →∞的极限下得到。其连续谱为
{ }
,λ λβ∈≥null
L的离散谱一般包括如下三类特征值
物理工程中的非线性波动现象大多由非可积方程描述。对于非可积方程,反散射理论不再适用,孤立子摄动理论一般也不怎么有效。在此,我们讨论非可积方程的数学理论。
非可积方程的研究在最近20年来有了长足的发展。人们发现,在非可积方程中孤立波可以不稳定。稳定的孤立波可以有internal modes。这些modes引起孤立波形状的长时间的振动。孤立波的碰撞可以非常复杂(远非弹性碰撞)。孤立波还可以嵌入在波动方程的连续谱内
(embedded solitons)。在2+1位情形,孤立波可以在横向(transverse direction)出现不稳定性,并且可以出现critical collapse现象。最近兴起的光波在周期介质中的传播行为也由非可积方程刻画,并且其解(如孤立波稳定性等)也出现了很多新的有趣的现象。
下面我们用模型方程
2
() 0 (1)
zxx
iu u F u u++ =
来发展非可积方程理论(这里(0) 0F =)。此方程描述光孤立波在非Kerr介质里的传播行为。
在一般情形下,此方程不可积。它有三个守恒量:质量P,动量M,和Hamiltonian H,
2
**
22
(2)
()
() (4
xx
x
Pudx
Miuuuudx
HuGudx
≡
≡?
≡?
∫
∫
∫
(3)
)
这里。 () ()Gy Fy′ =
1,孤立波的解析表达式
对于一个非线性波动方程,我们常常从它的孤立波入手。对于方程(1),它的静止的孤立波形式为
(,) (; ) (5)
iz
uxz x e
β
β=Φ
这里(; )x βΦ为一实函数,0 as xΦ→ →∞,β为传播常数。注意方程(1)具有Galilean
(伽利略)不变形,即从它的静止的孤立波通过Galilean变换我们可以得到运动的孤立波,
2
11
vv
24
(,) ( v; ) (6)
ix i zi z
moving
uxz xze
β
β
+
=Φ?
在一些具体情形下,解(; )x βΦ有显式的解析表达式。比如,考虑函数
22
() (7Fu u u
σσ
αγ=+ )
在此情形下,当把方程(5)和(7)代入(1)中并积分一次,我们得到
1
2
222()
2
(8)
21
d
dx
σσ
αγ
β
σσ
++
Φ
=Φ? Φ? Φ
++
这里积分常数已由条件0
x
x
d
dx
=∞
=∞
Φ
Φ= =消掉。方程(8)可以由变量代换y
σ
=Φ求解。
其解为,
1
(; ) (9)
cosh
A
x
BDx
σ
β
Φ=
+
这里
(2 )B
A
σ β
α
+
=,D σ β=,
1
2
2
2
(2 )
sgn( ) 1
(1 )
B
σγ
α
σα
β
+
=+
+
,而β为自由参数。
当1α =,0γ =和2σ =时,解(9)退化为一般代数孤立波(algebraic solitons),
1
22 22
2(2 )(1 ) /
() (11)
(1 ) (2 ) /
al
ux
x
σ
σσα
σσ σγα
+ +
=
+++
此孤立波在x =∞处以power law衰减:
2
()
al
ux x
σ
~。
2,孤立波的线性稳定性和internal modes。
在可积方程里,孤立子一般是稳定的。实际上,它们不光稳定,连碰撞后也保持形状不变。但在非可积方程中,孤立波不见得稳定,更不用提弹性碰撞了。即使非可积方程中的孤立波是稳定的,其线性化算子的谱中往往也有离散的纯实数特征值(即所谓的internal modes)。
而这些internal modes,在可积方程是没有的。Internal modes 的存在对孤立波在扰动下的发展及孤立波的碰撞都有重大影响。这里我们讨论模型(1)中孤立波的线性稳定性及internal modes
的产生机制。
为讨论孤立波的线性稳定性,我们对孤立波(5)做微小扰动,
{ }
*
**
(,) ( ; ) [v( ) w( )] [v ( ) w ( )] (12)
iz i z iz
uxz x x xe x xe e
λλβ
β
=Φ +? + +
这里v(。当把此扰动解代入到方程(1)中并线性化,我们得到特征值问题 ),w( ) 1xxnull
(13)LY Yλ=
这里
0
1
2
2
0
2
2
222
1
2
v
(14)
w
0
(15)
0
( ) (16)
()2 () (17)
Y
L
L
L
d
LF
dx
d
LFF
dx
β
β
≡
=
=? +? Φ
′=? +? Φ? Φ Φ
算子L的特征值具有一个简单对称性:如果λ为一特征值,则
*
,,
*
λ λλ也都为特征值。因此L的特征值总是成对或者成四出现的。另外,0λ =总是L的离散特征值,并且此零特征值的几何重数为2,代数重数为4。其对应的两个特征函数为,
21
0
,,
0
dd
YY
x
Φ
==
Φ
(18)
两个广义特征函数为,
12
01
,(19)
102
aa
x
YY
β
Φ
=Φ =
并且
11 2 2
,(20)
ad ad
LY Y LY Y==
这些特征函数及广义特征函数与解(6)的位置,相位,振幅和速度的任意性有必然的关系。
算子L的连续谱很容易从x →∞的极限下得到。其连续谱为
{ }
,λ λβ∈≥null
L的离散谱一般包括如下三类特征值