Upload
others
View
4
Download
0
Embed Size (px)
Citation preview
第!!
卷!
第"
期 陕西师范大学学报!自然科学版"
#$%&!!
!
'$&"
!
()*+
年,
月-$./01%$23411056'$/71%8069:/;6<
=
!
'1<./1%3>6:0>:?@6<6$0
"
3:
A
&
#
()*+
!
文章编号!
*+B(C!(,*
"
()*+
#
)"C))*EC)D !"#
!
*)&*",DE
"
F
&>0G6&
F
;0.&()*+&)"&*"E
!!
收稿日期!
()*"C)"C)D
!!
基金项目!国家自然科学基金#
**EB*(,E
%'陕西省自然科学基础研究计划#
()*!-P(C*)),
%'西安市科技计划创新基金
.文理专项/#
LN[*"E*JY!*
%
!!
作者简介!夏亚荣$女$讲师$博士研究生&
?C716%
!
=
60
T=
6*))
!
*(+&>$7
反应扩散方程组的条件H#&DIJ-K*1(!
对称和不变子空间
夏亚荣*
!
(
#
*
西安文理学院 信息工程学院$陕西 西安B*))+"
'
(
西北大学 数学学院$陕西 西安B*)*(B
%
摘!
要!利用条件Y6:CWd>G%.0@
对称研究非线性反应扩散方程组%首先对方程组进行分类#得到
了方程组允许的不变子空间等价于方程的高阶Y6:CWd>G%.0@
对称#并通过例子构造方程组定义在
多项式$三角函数及指数函数类型的不变子空间上的广义分离变量解%
关键词!反应扩散方程组&不变子空间&条件Y6:CWd>G%.0@
对称&广义分离变量解
中图分类号!
H*B"&*!
!
文献标志码!
I
L(M)+#)(.,1/,
N
)-&,)(!-"(!#.#"()*H#&DIJ-K*1(!
,
4
''&.+#&,9"+.%&+&)-.#"(D!#991,#"(,
4
,.&'
NQI[1/$0
T
*
$
(
#
*3>4$$%$2Q02$/71<6$010@?0
T
60::/60
T
$
N6O108069:/;6<
=
$
N6O10B*))+"
$
3411056
$
L4601
'
(3>4$$%$2P1<4:71<6>;
$
'$/<4\:;<8069:/;6<
=
$
N6O10B*)*(B
$
3411056
$
L4601
%
2/,.+)-.
!
R4:>$0@6<6$01%Y6:CWd>G%.0@;
=
77:</
=
#
LYW3
%
1
AA
/$1>46;1
AA
%6:@<$;<.@
=
<4:
/:1><6$0C@622.;6$0;
=
;<:7&Q<6;;4$\0<41<<4:;
=
;<:7 $2:
U
.1<6$01@76<1>%1;;$26091/610<
;.S;
A
1>:;
$
\46>46;:
U
.691%:0<<$1G60@$246
T
4:/C$/@:/>$0@6<6$01%Y6:CWd>G%.0@;
=
77:</6:;$2
<4:;
=
;<:7&I;1/:;.%<
$
T
:0:/1%6a:@;:
A
1/1S%:91/61S%:;$%.<6$0;@:260:@$0<4:
A
$%
=
0$761%
$
</6
T
$0$7:</6>10@:5
A
$0:0<61%6091/610<;.S;
A
1>:1/:>$0;</.><:@2$/;$7:/:;.%<60
T
:
U
.1<6$0&
3&
4
5"+!,
!
/:1><6$0C@622.;6$0;
=
;<:7
'
6091/610<;.S;
A
1>:
'
>$0@6<6$01%Y6:CWd>G%.0@;
=
77:</
=
'
T
:0:/1%6a:@;:
A
1/1S%:91/61S%:;$%.<6$0
67,1/
8
&-.-*),,#9#-).#"(
!
E"_""
'
EB_)"
!!
Y6:CWd>G%.0@
对称作为经典Y6:
对称的一个推
广是由'$<4:/
提出的(
*
)
$文献(
(CE
)对该方法进行
了详细的讨论&条件对称作为经典Y6:
对称的另一
个推广是由V.;4>4
=
>4
提出的(
!
)
$文献(
"
)首次把条
件对称称为非经典对称&文献(
+CB
)分别将Y6:C
Wd>G%.0@
对称和条件对称结合在一起$是对条件对
称的一个自然推广$二者的结合为研究非线性演化
方程的对称约化及构造精确解提供了一个新的有效
方法(
DC,
)
$并且为分离变量(
*)
)和不变子空间(
**C*(
)方
法给出对称群的说明&计算条件Y6:CWd>G%.0@
对
称本质上与计算条件对称是一样的$关键是先给定
条件Y6:CWd>G%.0@
对称的形式&
本文将利用具有如下特征形式的条件Y6:C
Wd>G%.0@
对称
$
*
#
(
5*
#
B
%)
"
*
?
%
=
*
(
5*
#
B
%)
#
"
*
-
*
%
?
%
-
%
! !
=
"
*
(
5*
#
B
%)$
$
(
#
(
5(
#
+
%)
"
(
?
%
<
*
(
5(
#
+
%)
#
"
(
-
*
%
?
%
-
%
!!
<
"
(
(
5(
#
+
<
7
8
%)$
#
*
%
*!
!!!
陕西师范大学学报!自然科学版" 第!!
卷
对反应扩散方程组
B
;
#
(
'
#
B
$
+
%
B
?
)
?
%
C
#
B
$
+
%
+
?
%
!!!
:
#
B
$
+
%$
+
;
#
(
D
#
B
$
+
%
+
?
)
?
%
$
#
B
$
+
%
B
?
%
!!!
*
#
B
$
+
<
7
8
%
#
(
%
进行 分 类$并 寻 找 其 对 应 的 对 称 约 化$其 中
(
5!
#
2
%)
(
?
#>
(
5!
#
2
%"
>
?
(
&方程组#
(
%包含许多描述
物理(
*E
)
*化学(
*!
)及生物(
*"
)现象的著名二阶模型&
:
!
条件H#&DIJ-K*1(!
对称和不变子空间
下面给出不变子空间方法的相关定义$设子空
间/
!
"
!
#
E
+
5
!
*
#
?
%$
5
!
(
#
?
%$-$
5
!
"
!
#
?
%,是由线性常
微分方程组
E
!
(
F!
)
#
F
#
"
%
!
%
=
!
*
#
?
%
F
#
"
!
-
*
%
!
%
-
%
=
!
"
#
?
%
F!
#
)
的解空间定义的$其中F
#
(
%
#
@
(
F
@
?
(
$
(
#
*
$
(
$-$
"
&
定义:
!
如果向量微分算子G
满足条件
G
!
/
*
"
*
.
/
(
"
(
.
-
.
/
3
"
3
=
!!
/
*
"
*
.
/
(
"
(
.
-
.
/
3
"
3
$
即
G
!
!
/
*
"
*
.
/
(
"
(
.
-
.
/
3
"
3
=
/
!
"
!
$
!!
!
#
*
$
(
$-$
3
$
则称向量微分算子G
允许不变子空间/
*
"
*
.
/
(
"
(
.
-
.
/
3
"
3
$或称线性子空间/
*
"
*
.
/
(
"
(
.
-
.
/
3
"
3
在
微分算子G
下不变&
命题:
!
向量微分算子G
允许不变子空间/
的
不变条件为
E
!
(
G
!
(
H
))
)
(
$
*
)
?
(
$
(
)
?
-
?
(
$
3
)
#
)
$ #
E
%
其中(
$
!
)表示E
!
(
H
!
)
#
)
及其关于?
的微分序列&
由不变条件#
E
%知$不变子空间与条件Y6:CWd>G%.0@
对称有关(
*+0*B
)
&
设
+
#
$
3
,
#
)
&
,
?
$
!
>
>
H
!
,
#
!
%
是一演化向量场$
H
!
;
#
G
!
#
?
$
;
$
H
*
$
H
*
*
$-$
H
*
,
*
$-$
H
3
$
H
3
*
$
H
3
,
3
%
#
!
#
*
$
(
$-$
3
% #
"
%
是一非线性演化方程组$其中!
&
?
#
>
>
?
%
$
!
3
H
,
%
*
>
>
H
,
$
&
(
%
*
?
#
&
?
#
&
(
?
%$
&
)
?
#
*
$
H
,
#
>
,
H
>
?
,
&
定义;
!
演化向量场#
!
%称作方程 #
"
%的
Y6:CWd>G%.0@
对称当且仅当
+
#
H
!
;
-
G
!
%
)
@
?
E
?
#
)
$ #
+
%
其中@
表示方程组#
"
%关于?
*
;
的所有微分序列$
E
?
表示$
!
#
)
关于?
的所有微分序列&实际上#
+
%式
可以被约化为
+
#
H
!
;
-
G
!
%
)
@
?
E
?
#
&
;
$
#
!
%
-
$
3
7
#
*
$
,
*
(
#
*
G
#
!
%
H
#
7
%
( )
(
)
@
?
E
?
#
!!!!!!
&
;
$
#
!
%
)
@
?
E
?
#
)
& #
B
%
由文献(
*D
)知$若方程组 #
!
%允许具有特征$
!
的条件Y6:CWd>G%.0@
对称当且仅当#
B
%式成立&经
过直接计算可知#
B
%式就是不变条件#
E
%$因此$条
件Y6:CWd>G%.0@
对称为微分约束法提供了对称的说
明&
若向量微分算子G
允许不变子空间/
*
"
*
.
/
(
"
(
.
-
.
/
3
"
3
$则可构造方程组#
"
%的广义分离变量解
H
!
#
?
$
;
%
#
$
*
4(4
"
!
I
!
(
#
;
%
5
!
(
#
?
%$
其中I
!
(
#
;
%#
!
#
*
$
(
$-$
3
%满足有限维动力系统&
若方程组#
(
%允许特征为方程组#
*
%的条件
Y6:CWd>G%.0@
对称$则
H
;
#
1
*
#
H
$
J
%
H
??
%
2
*
#
H
$
J
%
H
(
?
%
K
*
#
H
$
J
%
H
?
J
?
%
! !
'
*
#
H
$
J
%
J
?
%
L
*
#
H
$
J
%$
J
;
#
1
(
#
H
$
J
%
J
??
%
2
(
#
H
$
J
%
J
(
?
%
K
(
#
H
$
J
%
H
?
J
?
%
! !
'
(
#
H
$
J
%
H
?
%
L
(
#
H
$
J
<
7
8
%
#
D
%
允许条件Y6:CWd>G%.0@
对称
$
*
#
(
H
)
"
*
?
%
=
*
(
H
)
#
"
*
-
*
%
?
%
-
%
=
"
*
(
H
)$
$
(
#
(
J
)
"
(
?
%
<
*
(
J
)
#
"
(
-
*
%
?
%
-
%
<
"
(
(
J
<
7
8
)$
#
,
%
其中
1
*
#
H
$
J
%
#
'
#
A*
#
H
%$
A(
#
J
%%$
2
*
#
H
$
J
%
#
A
M
*
#
H
%
(
1M
*H
%
1
*
#
H
$
J
%
A
N
*
#
H
%
A
M
*
#
H
%
$
K
*
#
H
$
J
%
#
'M
A
(
#
J
%
A
M
(
#
J
%$
'
*
#
H
$
J
%
#
C
#
A*
#
H
%$
A(
#
J
%%
A
M
(
#
J
%
A
M
*
#
H
%
$
L
*
#
H
$
J
%
#
:
#
A*
#
H
%$
A(
#
J
%%
A
M
*
#
H
%
$
1
(
#
H
$
J
%
#
D
#
A*
#
H
%$
A(
#
J
%%$
2
(
#
H
$
J
%
#
A
M
(
#
J
%
(
1M
(J
%
1
(
#
H
$
J
%
A
N
(
#
J
%
A
M
(
#
J
%
$
K
(
#
H
$
J
%
#
DM
A
*
#
H
%
A
M
*
#
H
%$
L
(
#
H
$
J
%
#
*
#
A*
#
H
%$
A(
#
J
%%
A
N
(
$
!!
第!
期!!
夏亚荣'反应扩散方程组的条件Y6:CWd>G%.0@
对称和不变子空间*"
!!!
'
(
#
H
$
J
%
#
$
#
A*
#
H
%$
A(
#
J
%%
A
M
*
#
H
%
A
M
(
#
J
%
&
B
#
A*
#
H
%和+
#
A(
#
J
%分别表示的是H
#
5*
#
B
%
和J
#
5(
#
+
%的反函数&
;
!
主要结果
本文假设方程组允许的不变子空间由(
个二维
子空间构成$即/
(
.
(
#
/
*
(
.
/
(
(
&研究方程组#
(
%
允许的条件Y6:CWd>G%.0@
对称 #
*
%等价于研究方程
组#
D
%允许的条件Y6:CWd>G%.0@
对称#
,
%&由不变条
件#
B
%经过直接计算可得方程#
D
%允许具有特征#
,
%
的条件Y6:CWd>G%.0@
对称的充分条件为
&
;
$
#
*
%
)
@
?
E
?
#
O
*
H
!
?
%
#
O
(
%
O
E
J
?
%
H
E
?
%
#
O
!
J
(
?
%
O
"
J
?
%
O
+
%
H
(
?
%
#
O
B
J
(
?
%
O
D
J
?
%
O
,
J
E
?
%
O
*)
%
H
?
%
O
**
J
(
?
%
O
*(
J
?
%
O
*E
J
E
?
%
O
*!
#
)
$
&
;
$
#
(
%
)
@
?
E
?
#
A*
J
!
?
%
#
A(
%
AE
H
?
%
J
E
?
%
#
A!
H
(
?
%
A"
H
?
%
A+
%
J
(
?
%
#
AB
H
(
?
%
AD
H
E
?
%
A,
H
?
%
A*)
%
J
?
%
A**
H
(
?
%
A*(
H
?
%
A*E
H
E
?
%
A*!
#
)
$
其中O
!
*
A!
满足下面的方程组!
O
*
#
2
*HH
#
)
$
O
(
#-
!=
*
2
*H
-
1
*HH
=
*
#
)
$
O
E
#
K
*HH
%
(2
*HJ
#
)
$
O
!
#
(K
*HJ
%
2
*JJ
#
)
$
O
"
#-
2
*J
<
*
%
=
*
K
*H
%
2
*J
-
!2
*J
=
*
-
(K
*H
<
*
-
(1
*HJ
=
*
-
EK
*H
=
*
%
'
*HH
#
)
$
O
+
#
=
*
#
-
1
*H
=
*
-
(2
*
=
*
%
-
"2
*H
=
(
H
-
1
*HH
=
(
H
-
=
(
2
*
%
L
*
HH
-
(K
*H
<
(
J
-
2
*J
<
(
J
%
!2
*
=
(
*
%
E1
*H
=
(
*
-
(1
*H
=
(
#
)
$
O
B
#
('
*HJ
-
=
*
K
*J
-
EK
*J
<
*
-
1
*JJ
=
*
#
)
$
O
D
#
1
*J
=
*
<
*
%
=
*
#
-
K
*
=
*
-
1
*J
=
*
%
'
*H
-
K
*
<
*
%
-
EK
*H
=
(
H
%
K
*
=
(
*
%
K
*
<
(
*
-
!2
*J
=
(
H
-
('
*H
<
*
%
(1
*J
=
(
*
-
'
*H
=
*
%
(L
*HJ
%
(K
*
=
*
<
*
-
EK
*J
<
(
J
-
K
*
<
(
-
(1
*HJ
=
(
H
-
(1
*J
=
(
#
)
$
O
,
#
K
*JJ
#
)
$
O
*)
#
=
(
1
*
=
*
%
1
*J
=
*
<
(
J
%
=
*
#
1
*
=
(
*
-
K
*
<
(
J
%
L
*H
-
1
*H
=
(
H
-
1
*
=
(
-
(2
*
#
H
$
J
%
=
(
H
%
%
K
*
<
*
<
(
J
%
(K
*
=
*
<
(
J
%
+2
*
=
*
=
(
H
%
!1
*H
=
*
=
(
H
-
1
*
=
E
*
-
('
*
<
(
J
-
L
*H
=
*
#
)
$
O
**
#
L
*JJ
-
(K
*J
=
(
H
%
=
*
'
*J
-
E'
*J
<
*
-
1
*JJ
=
(
H
#
)
$
O
*(
#
=
*
#
-
'
*
<
*
-
1
*J
=
(
H
-
K
*
=
(
H
%
L
*J
%
%
K
*
=
*
=
(
H
%
(K
*
=
(
H<
*
%
=
(
'
*
-
L
*J
<
*
-
'
*H
=
(
H
%
'
*
<
(
*
%
1
*J
=
(
H<
*
-
E'
*J
<
(
J
-
'
*
<
(
%
(1
*J
=
*
=
(
H
#
)
$
O
*E
#
'
*JJ
#
)
$
O
*!
#
'
*
<
*
<
(
J
-
L
*J
<
(
J
%
=
*
#
1
*
=
*
=
(
H
-
'
*
<
(
J
%
-
1
*
=
(
*
=
(
H
%
1
*H
=
(
(
H
(
%
=
(
#
-
1
*
=
(
H
%
L
*
%
%
1
*
=
(
(
H
%
(2
*
=
(
(
H
(
-
L
*H
=
(
H
%
(K
*
=
(
H<
(
J
%
1
*J
=
(
H<
(
J
#
)
$
A*
#
2
(JJ
#
)
$
A(
#-
!<
*
2
(J
-
1
(JJ
<
*
#
)
$
AE
#
K
(JJ
%
(2
(HJ
#
)
$
A!
#
(K
(HJ
%
2
(HH
#
)
$
A"
#-
EK
(J
<
*
-
(K
(J
=
*
-
(1
(HJ
<
*
%
<
*
#
K
(J
%
2
(H
%
-
!2
(H
<
*
-
2
(H
=
*
%
'
(JJ
#
)
$
A+
#-
(1
(J
<
(
-
(K
(J
=
(
H
-
<
(
2
(
%
<
*
#
-
(2
(
<
*
-
1
(J
<
*
%
-
2
(H
=
(
H
%
E1
(J
<
(
*
-
1
(JJ
<
(
J
-
"2
(J
<
(
J
%
!2
(
<
(
*
%
L
(JJ
#
)
$
AB
#-
<
*
K
(H
-
1
(HH
<
*
-
EK
(H
=
*
%
('
(HJ
#
)
$
AD
#
K
(HH
#
)
$
A,
#
1
(H
=
*
<
*
%
(L
(HJ
-
K
(
=
(
-
'
(J
<
*
-
EK
(H
=
(
H
-
(1
(H
<
(
-
EK
(J
<
(
J
-
(1
(HJ
<
(
J
%
K
(
=
(
*
%
<
*
#
1
(H
<
*
-
K
(
<
*
-
K
(
=
*
%
'
(J
%
%
K
(
<
(
*
-
('
(J
=
*
%
(K
(
=
*
<
*
%
(1
(H
<
(
*
-
!2
(H
<
(
J
#
)
$
A*)
#
1
(H
=
(
H<
*
%
(K
(
=
(
H<
*
-
('
(J
=
(
H
%
<
(
1
(
<
*
-
L
(J
<
*
-
1
(
<
E
*
%
!1
(J
<
*
<
(
J
%
K
(
=
*
=
(
H
%
<
#
1
(
<
(
*
-
1
(
<
(
-
K
(
=
(
H
%
L
(J
-
1
(J
<
(
J
-
(2
(
<
(
J
%
%
+2
(
<
*
<
(
J
#
)
$
A**
#-
E'
(J
=
*
-
1
(HH
<
(
J
%
L
(HH
-
(K
(H
<
(
J
%
<
*
'
(H
#
)
$
A*(
#
'
(
=
(
*
%
K
(
<
*
<
(
J
%
(K
(
=
*
<
(
J
%
<
*
#
-
'
(
=
*
-
K
(
<
(
J
%
L
(H
-
1
(H
<
(
J
%
-
'
(J
<
(
J
%
<
(
'
(
-
'
(
=
(
%
1
(H
=
*
<
(
J
-
L
(H
=
*
-
E'
(H
=
(
H
%
(1
(H
<
*
<
(
J
#
)
$
A*E
#
'
(HH
#
)
$
A*!
#
1
(J
<
(
(
J
(
%
1
(
<
(
(
J
-
L
(H
=
(
H
%
<
*
#
1
(
<
*
<
(
J
-
'
(
=
(
H
%
%
(2
(
<
(
(
J
(
%
(K
(
=
(
H<
(
J
-
L
(J
<
(
J
-
1
(
<
(
*
<
(
J
%
'
(
=
*
=
(
H
%
<
(
#
-
1
(
<
(
J
%
L
(
%
%
1
(H
=
(
H<
(
J
#
)
&
*+
!!!
陕西师范大学学报!自然科学版" 第!!
卷
借助符号计算软件P1
A
%:
解上面的方程组$可
以得到以下结果!
#
*
%
H
;
#
1
*
#
H
$
J
%
H
??
#
%
&
*
(
HJ
(
%
5*
HJ
%
5E
H
%
&
(
(
J
(
%
5(
J
%
3
%
!
H
?
J
?
%
#
6*
J
%
6(
H
%
6E
%
J
?
%
4
*
H
%
4
(
J
%
4
E
的条件Y6:CWd>G%.0@
对称为$
*
#
H
??
$不变
子空间为/
+
*
$
?
,'
J
;
#
1
(
#
H
$
J
%
J
??
%
##
-
J
(
&
E
H
-
&
!
(
HJ
%
,
(
J
%
,
E
%
J
?
%
P
*
H
%
P
(
J
%
P
E
,
*
H
-
8*
J
(
%
&
E
(
JH
# %
(
H
?
%
8*
JH
%
8E
J
%
&
!
(
H
(
%
8(
H
%
8!
%
J
(
?
%
;
*
H
%
;
(
J
%
;
E
的条
件Y6:CWd>G%.0@
对称为$
(
#
J
??
$不变子空间为
/
+
*
$
?
,&
#
(
%
H
;
#
=
(5*
H
E
%
5*
HH
(
?
%
4
*
JH
%
1
*
#
H
$
J
%
=
(
H
%
6*
HJ
?
%
3
*
H
?
J
?
%
4
(
H
%
1
*
#
H
$
J
%
H
??
的 条 件
Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
(
H
$不变子空间为
/
+
;60
#
=槡(
?
%$
>$;
#
=槡(
?
%,'
J
;
#
1
(
#
H
$
J
%
J
??
%
#
8*
H
%
8(
J
%
8E
%
J
(
?
%
*
(
8*
=
(
HJ
(
%
4
*
J
%
4
(
的条件Y6:CWd>G%.0@
对称为
$
(
#
J
??
$不变子空间为/
+
*
$
?
,&
#
E
%
H
;
#
1
*
#
H
$
J
%
H
??
%
#
5*
H
%
5(
J
%
5E
%
H
(
?
%
*
(
5(
<
(
JH
(
%
4
*
H
%
4
(
的条件Y6:CWd>G%.0@
对称为
$
*
#
H
??
$不变子空间为/
+
*
$
?
,'
J
;
#
1
(
#
H
$
J
%
J
??
%
##
-&
+
HJ
(
-
8*
J
(
%
,
*
H
%
,
(
J
%
,
E
%
J
?
%
P
*
J
%
H
?
%
&
+
(
H
(
J
%
<
(8*
HJ
E
%
<
(8(
J
E
%
4
*
J
的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
<
(
J
$不变
子空间为/
+
;60 <槡(
?
%$
>$;
#
<槡(
?
%,&
#
!
%
H
;
#
1
*
#
H
$
J
%
H
??
%
5*
HH
(
?
%
=
(
1
*
#
H
$
J
%
H
%
=
(5*
H
E
%
4
*
H
%
4
(
的条件Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
(
H
$ 不 变 子 空 间 为/
+
;60
#
=槡(
?
%$
>$;
#
=槡(
?
%,'
J
;
#
1
(
#
H
$
J
%
J
??
%
#
P
*
H
%
P
(
J
%
P
E
%
H
?
%
#
8*
HJ
%
8(
J
%
J
(
?
%
<
(
1
(
#
H
$
J
%
J
%
<
(8*
HJ
E
%
<
(8(
J
E
%
8E
J
的条
件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
<
(
J
$不变子空间
为/
+
;60
#
<槡(
?
%$
>$;
#
<槡(
?
%,&
#
"
%
H
;
#
1
*
#
H
$
J
%
H
??
%
5*
HH
(
?
%
=
(
1
*
#
H
$
J
%
H
%
=
(5*
H
E 的条件Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
(
H
$
不变子空间为/
+
;60
#
=槡(
?
%$
>$;
#
=槡(
?
%,'
J
;
#
#
&
B
(
H
(
J
(
%
;
"
%
J
??
-&
B
H
(
JJ
(
?
%
&
B
(
J
(
HH
?
J
?
%
&
B
D
<
(
H
(
J
E
%
;
D
J
的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
<
*
J
?
%
<
(
J
$不变子空间为/
+
:
-
<
*
% "槡*
(
?
$
:
-
<
*
- "槡*
(
?
,&
#
+
%
H
;
#
1
*
#
H
$
J
%
H
??
%
#
5*
H
%
5(
J
%
5E
%
H
(
?
%
6*
J
%
*
(
<
*5(
H
(
%
E
(
<
*6*
J
(
%
<
*6(
JH
%
4
*
J
%
4
(
H
%
4
E
的条件Y6:CWd>G%.0@
对称为$
*
#
H
??
$不变子空间为
/
+
*
$
?
,'
J
;
#
Q
*
J
??
%
#
P
*
J
%
,
*
J
?
%
P
(
%
H
?
%
4
*
J
%
4
(
的条
件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
<
*
J
?
$不变子空间
为/
+
;60
#
<槡*
?
%$
>$;
#
<槡*
?
%,&
#
B
%
H
;
#
#
-
(
5*
H
(
J
-
(
5E
H
(
%
Q
*
H
%
Q
(
%
H
??
%
#
&
D
(
HJ
(
%
5*
HJ
%
5E
H
%
&
(
J
(
%
5(
J
%
5!
%
H
(
?
-
&
,
(
JH
%
3
*
J
-
H
(
&
D
J
-
5*
H
(
%
3
(
H
%
3
!
%
H
?
J
?
%
#
6*
J
%
6(
H
%
6E
%
J
?
-
*
(
=
*6*
J
(
%
E
(
<
*6*
J
(
%
=
(
*5E
H
E
-
=
(
*5!
H
(
-
=
(
*
Q
*
H
(
%
4
*
H
%
4
(
的条件Y6:CWd>G%.0@
对称为$
*
#
H
??
$
不变子空间为/
+
*
$
?
,'
J
;
#
Q
*
J
??
%
;
*
J
的条件Y6:CWd>G%.0@
对称为
$
(
#
J
??
%
<
*
J
?
%
<
(
J
$ 不 变 子 空 间 为
/
+
:
-
<
*
% "槡*
(
?
$
:
-
<
*
- "槡*
(
?
,&
#
D
%
H
;
#
#
-
(Q
*
H
(
%
Q
(
H
%
Q
E
%
H
??
%
#
Q
*
H
-
(
E
5*
J
%
5E
%
H
(
?
%
#
5*
H
%
3
*
%
H
?
J
?
%
#
6*
H
%
6(
%
J
?
%
L
*
#
H
$
J
%的条
件Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
*
H
?
$不变子空间为
/
+
*
$
:
-
=
*
?
,'
J
;
#
1
(
#
H
$
J
%
J
??
%
##
,
*
J
%
&
*)
J
(
+=
*
%
J
?
%
=
(
*8(
J
(
%
(;
(
(=
*
%
=
*
,
*
J
(
%
P
*
J
%
H
?
%
#
8*
J
%
8(
H
%
8E
%
&
*)
HJ
+=
*
%
J
(
?
%
=
(
*8(
HJ
(
%
=
*
P
*
HJ
%
E=
(
*
,
*
HJ
(
(
%
;
*
J
%
;
(
H
%
;
E
的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
$不变
子空间为/
+
*
$
?
,&
#
,
%
H
;
#
Q
*
H
??
%
3
*
H
?
J
?
%
6*
HJ
?
的 条 件
Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
*
H
?
%
=
(
H
$不变子
空间为/
+
:
-
=
*
% "槡(
(
?
$
:
-
=
*
- "槡(
(
?
,'
J
;
#
1
(
#
H
$
J
%
J
??
%
#
8*
J
%
8(
%
J
(
?
%
;
*
J
%
;
(
的条
!!
第!
期!!
夏亚荣'反应扩散方程组的条件Y6:CWd>G%.0@
对称和不变子空间*B
!!!
件Y6:CWd>G%.0@
对称为$
(
#
J
??
$不变子空间为
/
+
*
$
?
,&
#
*)
%
H
;
#
#
-
(H
(
5*
-
*
(
3
*
HJ
(
%
Q
*
H
-
*
(
3
(
J
(
%
Q
(
%
H
??
%
#
-
Q
*
J
(
%
5*
H
%
5(
J
%
5E
%
H
(
?
%
#
3
*
HJ
%
3
(
J
%
J
?
H
?
%
H
E
=
(
*5*
%
*
(
H
(
J=
(
*5(
%
*
(
5(
<
(
JH
(
-
=
(
*5E
H
(
-
=
(
*
Q
*
H
(
%
4
*
H
%
4
*
的条件Y6:CWd>G%.0@
对称
为$
*
#
H
??
%
=
*
H
?
$不变子空间为/
+
*
$
:
-
=
*
?
,'
J
;
#
1
(
#
H
$
J
%
J
??
%
P
*
JH
?
%
<
(
1
(
#
H
$
J
%
J
%
=
*
P
*
JH
的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
<
(
J
$
不变子空间为/
+
*
$
:
-
<
(
?
,&
#
**
%
H
;
#
#
Q
*
J
%
Q
(
%
H
??
%
#
&
**
D
=
(
J
(
-
&
**
(
=
(
*
J
%
&
*(
(
=
(
J
%
&
*(
!
<
(
J
%
=
(
*5*
-
=
(5*
%
H
E
%
#
-
=
(
*5(
J
%
*
(
=
(5(
J
%
*
(
<
(5(
J
-
=
(
*5E
%
*
(
=
(5E
%
H
(
%
#
-
E
*)
=
(
*
Q
*
J
%
4
*
%
H
-
Q
*
H
?
J
?
的条件Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
*
H
?
%
=
(
H
$不变子空间为/
+
:
-
=
*
% "槡(
(
?
$
:
-
=
*
- "槡(
(
?
,'
J
;
#
#
-
+<
(
=
*8*
J
E
%
"
*
J
%
L
(
#
H
$
J
%
<
(
J
%
J
??
%
8*
JJ
(
?
%
L
(
#
H
$
J
%的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
<
(
J
$ 不 变 子 空 间 为/
+
;60
#
<槡(
?
%$
>$;
#
<槡(
?
%,&
#
*(
%
H
;
#
##
&
*E
J
-
(
5*
%
H
(
%
#
&
*!
(
J
(
%
Q
*
J
%
Q
(
%
H
%
Q
!
%
H
??
%
##
-&
*E
(
J
%
5*
%
H
-
J
(
3
*
%
5(
J
%
5E
%
H
(
?
%
#
&
*E
(
H
(
%
#
3
*
J
%
3
E
%
H
%
3
(
J
%
3
!
%
J
?
H
?
%
#
<
*
&
*E
H
E
%
##
*
!
=
*
3
*
%
&
*!
!
=
*
-
,
!
<
*
3
*
%
E
&
*!
!
<
*
%
J
%
(<
*5(
%
<
*
Q
*
%
(<
*
3
E
%
H
(
%
##
*
(
=
*
3
(
%
&
*"
(
=
*
%
E
(
<
*
3
(
%
J
%
6(
%
H
%
6*
J
%
6E
%
J
?
%
#
<
(
*5*
-
&
*E
(
J<
(
*
%
H
E
%
##
,
D
<
(
*
3
*
-
E
&
*!
!
<
(
*
-
*
D
=
(
*
3
*
-
&
*!
D
=
(
*
%
E
&
*!
D
<
*
=
*
%
J
(
%
#
-
<
(
*5(
-
<
(
*
Q
*
%
J
-
<
(
*
Q
(
-
<
(
*5E
%
H
(
%
#
-
E
&
*"
(
<
(
*
-
*
!
=
(
*
3
(
-
&
*"
!
=
(
*
-
E
!
<
(
*
3
(
%
E
&
*"
!
<
*
=
*
%
J
(
%
##
-
<
(
*
Q
E
-
<
(
*
3
!
%
%
<
*6(
%
J
%
4
(
H
-
*
(
=
*6*
4
(
H
%
#
-
*
(
=
*6*
%
E
(
<
*6*
%
J
(
%
4
*
J
%
4
E
的条件
Y6:CWd>G%.0@
对称为$
*
#
H
??
%
=
*
H
?
$不变子空间为
/
+
*
$
:
-
=
*
?
,'
J
;
#
##
&
*D
(
%
&
*B
(
J
%
H
(
%
#
&
*+
J
(
%
"
*
J
%
"
E
%
H
-
(J
(
%
"
!
%
"
(
J
%
J
??
%
###
,
*
J
%
,
(
%
H
%
,
!
%
&
*+
(
J
(
%
,
E
J
%
J
?
%
#
-
(<
*
,
*
J
(
%
<
*
&
*B
J
(
%
(<
*
,
(
J
%
P
*
%
&
*D
(
J<
*
%
H
%
P
E
J
%&
*+
<
*
J
E
%
<
*
"
*
J
(
%
(<
*
,
E
J
(
%
(<
*8(
%
P
E
%
J
(
H
?
%
#
-
,
*
H
(
%
#
-&
*+
(
J
%
8(
%
H
%
J
%
8E
%
J
(
?
%
#
-
B
&
*D
!
<
(
*
J
-
B
&
*B
D
<
(
*
J
(
-
!<
(
*
,
(
J
-
*
(
<
(
*
,
*
J
(
%
E
(
=
*
P
*
-
*
(
<
*
P
*
%
E
(
=
*
<
*
,
*
J
(
%
E=
*
<
*
,
(
J
%
E
&
*B
D
J
(
=
*
<
*
%
E
&
*D
!
=
*
<
*
J
%
H
(
%
#
-&
*+
(
<
(
*
J
E
%
<
*
P
E
J
-
<
(
*
,
!
J
-
<
(
*8(
J
(
-
<
(
*
"
E
J
-
<
(
*
"
*
J
(
%
;
*
%
H
%
;
E
-
<
(
*8E
J
(
-
<
(
*
"
(
J
(
%
;
(
J
%
<
(
*
J
E的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
=
*
J
?
$不变
子空间为/
+
*
$
:
-
=
*
?
,&
#
*E
%
H
;
#
#
-
(
5*
H
(
-
(3
*
HJ
%
Q
(
H
%
H
??
%
#
5*
H
%
5E
%
H
(
?
%
3
*
HH
?
J
?
%
#
<
(
*5*
H
%
(<
(
*
3
*
J
%
<
(
3
*
J
-
<
(
*5E
-
<
(
*
Q
(
%
H
(
%
4
*
H
%
4
(
的条件Y6:CWd>G%.0@
对称
为$
*
#
H
??
%
=
*
H
?
$不变子空间为/
+
*
$
:
-
=
*
?
,'
J
;
#
#
-
!
E
"
*
J
%
"
(
H
%
"
E
%
J
??
%
"
*
J
(
?
-
#
*
E
<
(
*
,
*
H
(
%
*
E
<
(
*
"
!
H
%
(
E
<
(
*
"
*
%
"
+
<
(
,
*
H
(
-
"
+
<
(
"
!
H
-
B
E
"
*
<
(
%
J
(
%
;
*
J
的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
=
*
J
?
-
(=
(
*
J
$
不变子空间为/
+
:
=
*
?
$
:
-
(=
*
?
,&
#
*!
%
H
;
#
#
-
!
E
5(
J
-
!
E
5E
%
H
%
Q
*
%
H
??
%
#
5(
J
%
5E
%
H
(
?
%
#
-
(
E
5(
H
%
3
!
%
H
?
J
?
%
#
*
E
<
*5(
H
(
#
%
6*
%
J
?
-
&
*,
E
=
(
J
(
-
&
()
+
=
(
J
%
*
E
=
(5*
%
H
E
%
#
-
(
E
=
(
3
*
J
(
%
(
E
=
(5(
J
%
(
E
=
(5E
%
H
(
%
4
*
H
的条件Y6:CWd>G%.0@
对
称为$
*
#
H
??
%
=
*
H
?
%
(
,
=
(
*
H
$不变子空间为
/
+
:
-
(=
*
?
E
$
:
-
=
*
?
E
,'
J
;
#
#
-
(
8*
J
(
-
#
B
!
,
E
H
%
3
,
%
J
-
(,
(
H
(
-
B
!
,
!
H
%
"
!
%
J
??
%
#
8*
J
%
8(
H
%
8E
%
J
(
?
%
#
,
(
H
%
,
E
J
%
,
!
%
H
?
J
?
%
#
=
(
*8*
J
-
=
(
*8(
H
%
B
!
=
(
*
,
E
H
%
=
(
,
E
H
%
*
(
=
(8(
H
-
=
(
*8E
-
*D
!!!
陕西师范大学学报!自然科学版" 第!!
卷
=
(
*
3
,
%
J
(
%
;
*
J
%
;
(
的条件Y6:CWd>G%.0@
对称为$
(
#
J
??
%
=
*
J
?
$不变子空间为/
+
*
$
:
-
=
*
?
,&
其中$
&
!
*
=
!
*
<
!
*
3
!
*
Q
!
*
5!
*
,
!
*
;
!
*
4
!
*
"
!
*
8!
*
P
!
*
6!
均
代表任意常数$
"
*
#
<
(
*
-
!<
(
$
"
(
#
=
(
*
-
!=
(
&
<
!
方程组"
A
#的广义变量分离解
变换B
#
A*
#
H
%$
+
#
A(
#
J
%不仅将方程组#
(
%
允许的条件Y6:CWd>G%.0@
对称#
*
%变换为方程组
#
D
%允许的条件Y6:CWd>G%.0@
对称#
,
%$而且经过
变换
!!
A*
#
H
%
#
@
:5
A
#
@
2
*
#
H
$
J
%
1
*
#
H
$
J
%
@H
%
@
:5
A
#
@
2
*
#
H
$
J
%
1
*
#
H
$
J
%
@H
%
1
*H
1
*
#
H
$
J
%
%
I
*
@H
%
I
(
$
!!
A(
#
J
%
#
@
:5
A
#
@
2
(
#
H
$
J
%
1
(
#
H
$
J
%
@H
%
@
:5
A
#
@
2
(
#
H
$
J
%
1
(
#
H
$
J
%
@H
%
1
(J
1
(
#
H
$
J
%
%
I
E
@H
%
I
!
$
还可将方程定义在不变子空间/
!
(
#
E
+
5
!
*
#
?
%$
5
!
(
#
?
%,
上的广义分离变量解
H
#
?
$
;
%
#
K
*
*
#
;
%
5
*
*
#
?
%
%
K
*
(
#
;
%
5
*
(
#
?
%$
J
#
?
$
;
%
#
K
(
*
#
;
%
5
(
*
#
?
%
%
K
(
(
#
;
%
5
(
(
#
?
%$
变换为方程#
*
%的广义泛涵分离变量解A!
#
H
!
%
#
K
!
*
#
;
%
5
!
*
#
?
%
%
K
!
(
#
;
%
5
!
(
#
?
%&这两个解中的未知函数
K
!
#
;
%满足有限维动力系统$该动力系统是将广义分
离变量解H
#
?
$
;
%*
J
#
?
$
;
%代入方程组#
D
%后取5
!
!
#
?
%
左右两边的系数相等而得&下面构造几个例子解释
这个过程&
例:
!
方程组
H
;
#
1
*
#
H
$
J
%
H
??
#
%
&
*
(
HJ
(
%
5*
HJ
%
5E
H
%
&
(
(
J
(
%
5(
J
%
3
%
!
H
?
J
?
%
#
6*
J
%
6(
H
%
6E
%
J
?
%
4
*
H
%
4
(
J
%
4
E
$
J
;
#
1
(
#
H
$
J
%
J
??
##
% -
J
(
&
E
H
-
&
!
(
HJ
%
,
(
J
%
,
%
E
J
?
%
P
*
H
%
P
(
J
%
P
%
E
H
?
%
,
*
H
-
8*
J
(
#
%
&
E
(
JH
(
%
8*
JH
%
8E
J
%
&
!
(
H
(
%
8(
H
%
8
%
!
J
(
?
%
;
*
H
%
;
(
J
%
;
<
7
8
E
允许条件Y6:CWd>G%.0@
对称$
*
#
H
??
$
$
(
#
J
??
$对应
的广义分离变量解是
H
#
?
$
;
%
#
K
*
#
;
%
?
%
K
(
#
;
%$
J
#
?
$
;
%
#
K
E
#
;
%
?
%
K
!
#
;
%$
其中$
K
*
#
;
%*
K
(
#
;
%*
K
E
#
;
%*
K
!
#
;
%满足以下四维动力
系统
KM
*
#
;
%
#
K
*
#
;
%
E
5E
%
K
E
#
;
%
(
6*
%
K
*
#
;
%
4
*
%
K
E
#
;
%
4
(
-
K
*
#
;
%
K
E
#
;
%
(
K
(
#
;
%
(
&
*
-
K
*
#
;
%
(
K
E
#
;
%
K
(
#
;
%
5**
%
*
(
K
*
#
;
%
(
K
E
#
;
%
K
!
#
;
%
&
(
-
*
(
K
*
#
;
%
K
E
#
;
%
(
K
(
#
;
%
&
(
%
*
(
K
*
#
;
%
E
K
!
#
;
%
(
&
*
%
K
*
#
;
%
E
K
!
#
;
%
5**
%
K
*
#
;
%
(
K
E
#
;
%
5(
%
K
*
#
;
%
K
E
#
;
%
(
3
*
%
K
*
#
;
%
(
K
E
#
;
%
3
(
%
K
E
#
;
%
K
*
#
;
%
6(
-
K
*
#
;
%
(
K
E
#
;
%
K
(
#
;
%
&
*
$
KM
(
#
;
%
#
4
E
%
K
*
#
;
%
(
K
(
#
;
%
5E
%
*
(
K
*
#
;
%
(
K
!
#
;
%
(
&
(
%
K
*
#
;
%
(
K
!
#
;
%
5(
%
K
*
#
;
%
K
E
#
;
%
3
!
%
K
E
#
;
%
K
!
#
;
%
6*
%
K
E
#
;
%
K
(
#
;
%
6(
%
K
*
#
;
%
(
5!
%
K
E
#
;
%
6E
%
K
(
#
;
%
4
*
%
K
!
#
;
%
4
(
-
K
*
#
;
%
K
E
#
;
%
K
!
#
;
%
K
(
#
;
%
(
&
*
-
*
(
K
*
#
;
%
K
E
#
;
%
K
!
#
;
%
K
(
#
;
%
&
(
%
*
(
K
*
#
;
%
(
K
!
#
;
%
(
K
(
#
;
%
&
*
%
K
*
#
;
%
(
K
!
#
;
%
K
(
#
;
%
5**
%
K
*
#
;
%
K
E
#
;
%
K
!
#
;
%
3
*
-
K
*
#
;
%
K
E
#
;
%
K
(
#
;
%
(
5**
%
K
*
#
;
%
K
E
#
;
%
K
(
#
;
%
3
(
$
KM
E
#
;
%
#
K
E
#
;
%
E
8E
%
K
*
#
;
%
;
*
%
K
E
#
;
%
;
(
%
K
*
#
;
%
(
P
*
-
K
*
#
;
%
K
E
#
;
%
(
K
!
#
;
%
8*
-
K
E
#
;
%
K
*
#
;
%
(
K
!
#
;
%
(
&
E
-
*
(
K
E
#
;
%
K
*
#
;
%
(
K
!
#
;
%
&
!
%
*
(
K
*
#
;
%
K
(
#
;
%
K
E
#
;
%
(
&
!
-
K
*
#
;
%
K
(
#
;
%
K
E
#
;
%
(
K
!
#
;
%
&
E
%
K
E
#
;
%
K
*
#
;
%
(
,
*
%
K
*
#
;
%
K
E
#
;
%
(
,
(
%
K
*
#
;
%
K
E
#
;
%
P
(
%
*
(
K
E
#
;
%
E
K
(
#
;
%
(
&
E
%
K
E
#
;
%
E
K
(
#
;
%
8*
%
K
E
#
;
%
(
K
*
#
;
%
8(
$
KM
!
#
;
%
#
;
E
%
K
E
#
;
%
(
K
!
#
;
%
8E
%
*
(
K
E
#
;
%
(
K
(
#
;
%
(
&
!
%
K
E
#
;
%
(
K
(
#
;
%
8(
%
K
*
#
;
%
K
E
#
;
%
,
E
%
!!
第!
期!!
夏亚荣'反应扩散方程组的条件Y6:CWd>G%.0@
对称和不变子空间*,
!!!
K
*
#
;
%
K
(
#
;
%
P
*
%
K
*
#
;
%
K
!
#
;
%
P
(
%
K
*
#
;
%
P
E
%
K
E
#
;
%
(
8!
%
K
(
#
;
%
;
*
%
K
!
#
;
%
;
(
-
*
(
K
*
#
;
%
K
E
#
;
%
K
(
#
;
%
K
!
#
;
%
&
!
-
K
*
#
;
%
K
E
#
;
%
K
(
#
;
%
K
!
#
;
%
(
&
E
%
K
*
#
;
%
K
E
#
;
%
K
(
#
;
%
,
*
-
K
*
#
;
%
K
E
#
;
%
K
!
#
;
%
(
8*
%
K
*
#
;
%
K
E
#
;
%
K
!
#
;
%
,
(
%
*
(
K
E
#
;
%
(
K
(
#
;
%
(
K
!
#
;
%
&
E
%
K
E
#
;
%
(
K
(
#
;
%
K
!
#
;
%
8*
&
例;
!
方程组
H
;
#
=
(5*
H
E
%
5*
HH
(
?
%
4
*
JH
%
1
*
#
H
$
J
%
=
(
H
%
6*
HJ
?
%
3
*
H
?
J
?
%
4
(
H
%
1
*
#
H
$
J
%
H
??
$
J
;
#
1
(
#
H
$
J
%
J
??
%
#
8*
H
%
8(
J
%
8E
%
J
(
?
%
*
(
8*
=
(
HJ
(
%
4
*
J
%
4
<
7
8
(
允许的二阶条件Y6:CWd>G%.0@
对称是$
*
#
H
??
%
=
(
H
$
$
(
#
J
??
&此方程在不变子空间/
*
+
;60
#
=槡(
?
%$
>$;
#
=槡(
?
%,$
/
(
+
?
$
*
,上有广义分离变量解
H
#
?
$
;
%
#
K
*
#
;
%
;60
#
=槡(
?
%
%
K
(
#
;
%
>$;
#
=槡(
?
%$
J
#
?
$
;
%
#
K
E
#
;
%
?
%
K
!
#
;
%&
其中$
K
*
#
;
%*
K
(
#
;
%*
K
E
#
;
%*
K
!
#
;
%满足以下四维动力系统
KM
*
#
;
%
#
=
(
K
*
#
;
%
K
(
#
;
%
(
5*
%
=
(
K
*
#
;
%
E
5*
-
K
E
#
;
%
=槡(
K
(
#
;
%
3
*
%
K
E
#
;
%
K
*
#
;
%
4
*
?
%
K
E
#
;
%
K
*
#
;
%
6*
%
K
!
#
;
%
K
*
#
;
%
4
*
%
K
*
#
;
%
4
(
$
KM
(
#
;
%
#
=
(
K
(
#
;
%
E
5*
%
=
(5*
K
(
#
;
%
K
*
#
;
%
(
%
K
E
#
;
%
K
(
#
;
%
4
*
?
%
K
E
#
;
%
=槡(
K
*
#
;
%
3
*
%
K
E
#
;
%
K
(
#
;
%
6*
%
K
!
#
;
%
K
(
#
;
%
4
*
%
4
(
K
(
#
;
%$
KM
E
#
;
%
#
K
(
#
;
%
K
E
#
;
%
K
!
#
;
%
>$;
#
=槡(
?
%
=
(8*
%
K
*
#
;
%
K
E
#
;
%
K
!
#
;
%
;60
#
=槡(
?
%
=
(8*
%
K
E
#
;
%
E
8(
%
K
E
#
;
%
4
*
$
KM
!
#
;
%
#
K
(
#
;
%
K
E
#
;
%
(
>$;
#
=槡(
?
%
8*
%
K
*
#
;
%
K
E
#
;
%
(
;60
#
=槡(
?
%
8*
%
K
E
#
;
%
(
K
!
#
;
%
8(
%
K
E
#
;
%
(
8E
%
*
(
K
(
#
;
%
K
!
#
;
%
(
>$;
#
=槡(
?
%
=
(8*
%
*
(
K
*
#
;
%
K
!
#
;
%
(
;60
#
=槡(
?
%
=
(8*
%
K
!
#
;
%
4
*
%
4
(
&
例<
!
方程组
H
;
#
#
-
(
5*
H
(
-
(3
*
HJ
%
Q
(
H
%
H
??
%
#
5*
H
%
5E
%
H
(
?
%
3
*
HH
?
J
?
%
#
<
(
*5*
H
%
(<
(
*
3
*
J
%
<
(
3
*
J
-
<
(
*5E
-
<
(
*
Q
(
%
H
(
%
4
*
H
%
4
(
$
J
;
#
-
!
E
"
*
J
%
"
(
H
%
"
# %
E
J
??
%
"
*
J
(
?
#
-
*
E
<
(
*
,
*
H
(
%
*
E
<
(
*
"
!
H
%
(
E
<
(
*
"
*
%
"
+
<
(
,
*
H
(
-
"
+
<
(
"
!
H
-
B
E
"
*
<
%
(
J
(
%
;
*
<
7
8
J
允许的二阶条件Y6:CWd>G%.0@
对称是$
*
#
H
??
%
=
*
H
?
$
$
(
#
J
??
%
=
*
J
?
-
(=
(
*
J
$此方程在不变子空间
/
*
+
*
$
:
-
=
*
?
,$
/
(
+
:
=
*
?
$
:
-
(=
*
?
,上有广义分离变量解
H
#
?
$
;
%
#
K
*
#
;
%
%
K
(
#
;
%
:
-
=
*
?
$
J
#
?
$
;
%
#
K
E
#
;
%
:
=
*
?
%
K
!
#
;
%
:
-
(=
*
?
$
其中$
K
*
#
;
%*
K
(
#
;
%*
K
E
#
;
%*
K
!
#
;
%满足以下四维动力
系统
KM
*
#
;
%
#
K
*
#
;
%
E
<
(
*5*
-
K
*
#
;
%
(
<
(
*5E
-
K
*
#
;
%
(
<
(
*
Q
(
%
K
*
#
;
%
4
*
%
4
(
$
KM
(
#
;
%
#-
(K
*
#
;
%
(
K
(
#
;
%
=
(
*5*
%
EK
(
*
#
;
%
K
(
#
;
%
<
(
*5*
K
*
#
;
%
K
(
#
;
%
=
(
*
Q
(
-
(K
*
#
;
%
K
(
#
;
%
<
(
*5E
-
(K
*
#
;
%
K
(
#
;
%
<
(
*
Q
(
%
K
(
#
;
%
4
*
$
KM
E
#
;
%
#
K
*
#
;
%
K
E
#
;
%
=
(
*
"
(
%
K
E
#
;
%
=
(
*
"
E
%
K
E
#
;
%
;
*
$
KM
!
#
;
%
#
!K
*
#
;
%
K
!
#
;
%
=
(
*
"
(
%
!K
!
#
;
%
=
(
*
"
E
%
K
!
#
;
%
;
*
&
=
!
结论
本文用条件Y6:CWd>G%.0@
对称方法对非线性反
应扩散方程组进行了分类&研究方程组的非线性条
件Y6:CWd>G%.0@
对称#
*
%等价于研究该方程组由变
换B
#
A*
#
H
%$
+
#
A(
#
J
%而得的新方程的线性条件
Y6:CWd>G%.0@
对称#
,
%&由$
!
#
)
和相应方程的相容
性构造了分类所得方程组定义在多项式类型*三角
函数类型*指数类型的不变子空间上的广义分离变
量解&这些结果可以由变换H
#
5*
#
B
%和J
#
5(
#
+
%
转化为非线性扩散方程#
(
%允许的非线性条件
Y6:CWd>G%.0@
对称$
及其广义泛函分离变量解&这些
解可用来刻画方程的长时行为等性态&
参考文献!
(
*
)
'Q?RM?Z?&Q091/610<:91/61<6$0;
A
/$S%:7
(
-
)
&P1<4:C
71<6>1%X4
=
;6>1%
$
*,*D
$
(+
#
E
%!
(E"C("B&
()
!!!
陕西师范大学学报!自然科学版" 第!!
卷
(
(
)
HY#?ZX-&I
AA
%6>1<6$0$2%6:
T
/$.
A
;<$@622:/:0<61%:C
U
.1<6$0
(
P
)
&':\[$/G
!
3
A
/60
T
:/
$
*,D+&
(
E
)
QWZIKQPH# ' M&R/10;2$/71<6$0
T
/$.
A
;1
AA
%6:@<$
71<4:71<6>1%
A
4
=
;6>;
(
P
)
&W$;<$0
!
Z:6@:%
$
*,D"&
(
!
)
V83MLM[LM J Q
$
M̀̂ I'H# Z &̀L$0@6<6$01%
;
=
77:</
=
10@/:@.><6$0$2
A
1/<61%@622:/:0<61%:
U
.1<6$0;
(
-
)
&8G/160610 P1<4:71<6>1%-$./01%
$
*,,(
$
!!
#
B
%!
,B)C,D(&
(
"
)
WY8PI'K J
$
LHY?-^&R4:
T
:0:/1%;676%1/6<
=
;$C
%.<6$0$2<4:4:1<:
U
.1<6$0
(
-
)
&-$./01%$2P1<4:71<6>1%
10@P:>4106>;
$
*,+D
$
*D
#
+,
%!
*)("C*)!(&
(
+
)
VH_I3I3
$
YQ8] P&'$0%60:1/60<:/1><6$0$2</19:C
%60
T
\19:;$20$060<:
T
/1S%::
U
.1<6$0;
(
-
)
&X4
=
;6>1%Z:C
96:\Y:<<:/;
$
*,,!
$
B(
#
(*
%!
E(,ECE(,+&
(
B
)
M̀̂ I'H# Z &̀L$0@6<6$01%Y6:CWd>G%.0@;
=
77:</
=
10@/:@.><6$0;$2:9$%.<6$0:
U
.1<6$0;
(
-
)
&-$./01%$2
X4
=
;6>; ICP1<4:71<6>1%10@ R4:$/:<6>1%
$
*,,"
$
(D
#
*E
%!
ED!*CED")&
(
D
)
]8L &̀K/$.
A
>%1;;626>1<6$010@
T
:0:/1%6a:@>$0@6<6$01%
;
=
77:</
=
/:@.><6$0$2<4:0$0%60:1/@622.;6$0C>$09:><6$0
:
U
.1<6$0\6<410$0%60:1/;$./>:
(
-
)
&3<.@6:;60I
AA
%6:@
P1<4:71<6>;
$
*,,B
$
,,
#
(
%!
*)BC*E+&
(
,
)
]8L`
$
M̀I'K3Y
$
YQ8ZL&3:
A
1/1<6$0$291/61C
S%:;10@:51><;$%.<6$0;<$
U
.1;6%60:1/@622.;6$0:
U
.1<6$0;
\6<40$0%60:1/;$./>:
(
-
)
&X4
=
;6>1^
!
'$0%60:1/X4:C
0$7:01
$
()))
$
*!!
#
*
"
(
%!
,BC*(E&
(
*)
)
KI_I-R8QWQ##I&H00:\:51><S%$\C.
A
;$%.<6$0;
2$/0$0%60:1/4:1<>$0@.><6$0:
U
.1<6$0;
(
-
)
&̂622:/:0<61%
10@Q0<:
T
/1%?
U
.1<6$0;
$
*,,)
$
E
#
"
%!
D+ECDB!&
(
**
)
KIYI_RQH'H# # I&Q091/610<;.S;
A
1>:;10@0:\
:5
A
%6>6<;$%.<6$0;<$:9$%.<6$0:
U
.1<6$0;\6<4
U
.1@/1<6>
0$0%60:1/6<6:;
(
-
)
&X/$>::@60
T
;$2<4:Z$
=
1%3$>6:<
=
$2
?@60S./
T
4 3:><6$0 I P1<4:71<6>;
$
*,,"
$
*("
!
(("C(!+&
(
*(
)
_Q'K-Z&?51><
A
$%
=
0$761%;$%.<6$0;<$;$7:0$0%60C
:1/@622.;6$0:
U
.1<6$0;
(
-
)
&X4
=
;6>1^
!
'$0%60:1/X4:C
0$7:01
$
*,,E
$
+!
#
*
"
(
"
E
%!
E"C+"&
(
*E
)
IP?3J V&'$0%60:1/
A
1/<61%:
U
.1<6$060:0
T
60::/60
T
(
P
)
&':\[$/G
!
I>1@:76>X/:;;
$
*,B(&
(
*!
)
IZQ3Z&R4:71<4:71<6>1%<4:$/
=
$2@622.;6$010@/:C
1><6$060
A
:/7:1S%:>1<1%
=
;<;
(
P
)
&H52$/@
!
L%1/:0@$0
X/:;;
$
*,B"&
(
*"
)
P8ZZI[- ^&P1<4:71<6>1%S6$%$
T=
(
P
)
&W:/%60
!
3
A
/60
T
:/
$
*,D,&
(
*+
)
-QY'&L$0@6<6$01%Y6:CWd>G%.0@;
=
77:</6:;[email protected]>C
<6$01%%
=T
:0:/1%6a:@;:
A
1/1S%:;$%.<6$0;<$<4:
T
:0:/1%C
6a:@
A
$/$.;7:@6.7:
U
.1<6$0;\6<4;$./>:
(
-
)
&-$./01%$2
P1<4:71<6>1%I01%
=
;6;10@ I
AA
%6>1<6$0;
$
()*(
$
ED,
#
(
%!
,B,C,DD&
(
*B
)
-QY'
$
]8L &̀L$0@6<6$01%Y6:CWd>G%.0@;
=
77:</6:;
10@6091/610<;.S;
A
1>:<$0$0%60:1/@622.;6$0:
U
.1<6$0
(
-
)
&QPI-$./01%$2I
AA
%6:@ P1<4:71<6>;
$
()**
$
B+
#
!
%!
+*)C+E(&
(
*D
)
I'̂ Z??##_
$
_IXR3H#H#
$
X8_M'ILMH#
##
$
:<1%&I
AA
%6>1<6$0$2
T
/$.
A
<4:$/:<6>7:<4$@;60
4
=
@/$@
=
0176>;
(
P
)
&_%.:/
!
$̂/@/:>4<
$
*,,D&
(责任编辑!
宋轶文)