Asymptotic analysis of the solution of schnakenberg equation

Mathematical Computation June 2014, Volume 3, Issue 2, PP.68-75

Asymptotic Analysis of the Solution of Schnakenberg Equation Xianghu Lu, Yandan Zhang, Xinhua Jiang # College of Science, Beijing University of chemical technology, Beijing100029 #Email: jiangxh@mail.buct.edu.cn

Abstract This paper studied the initial value problem of the Schnakenberg equations. The first-order approximate solution was obtained by using two-timing scales method, and then error estimate was obtained with the use of a nonlinear Gronwall inequality to show that the obtained approximate solution is uniformly valid for 0     0 、 0   t  T .

Keywords: Schnakenberg Equations; Initial Value Problem; The Multiple Scales Method; Error Estimate

Schnakenberg 方程解的渐近分析 卢祥虎，张艳丹 ，江新华 北京化工大学理学院，北京 100029 摘

要：本文主要讨论了 Schnakenberg 方程组的初值问题,首先用多重尺度方法求得 Schnakenberg 方程组的一阶近似解，

然后利用非线性的 Gronwall 不等式对所求结果进行误差估计。 关键词：Schnakenberg 方程；初值问题；多重尺度方法；误差估计

引言 1979 年 Schnakenberg[1] 研究了化学反应中一类带极限环行为的反应扩散模型并提出了多种形式的 Schnakenberg 型方程组。Youfang Cao[2]等人研究了包含两种不同浓度的分子所组成的三个可逆反应的简单 的 Schnakenberg 模型，其研究表明分子之间的非线性耦合效应的影响不能忽略。 我国力学界对奇异摄动理论的发展，有着突出的重要贡献。钱伟长 [3]在 1948 年解圆板大挠度问题时， 开创了现在称为合成展开法的重要方法。 多重尺度法[3, 4]是一种求解方程近似解的非常有效的方法，它是上个世纪五十年代后期逐渐发展起来的。 也正是由于它的有效性，该方法在微分方程、飞行力学、轨道力学、流体力学、固体力学、大气力学、等 离子物理学和统计力学等诸多方面取得了非常成功的应用。多重尺度法一般分为多变量形式（或导数展开 法）、双变量展开法、一般法（或非线性尺度法）三种不同的类型。应用多重尺度法的关键是对研究的问 题中出现的变量采用不同的适当的尺度。 近年来，用摄动方法[3,4]处理带微小扰动的微分方程问题越来越受到国际学术界的重视,这是因为用摄动 方法求出的结果简单而有效。 文献[5]中研究了一个简单的 Schnakenberg 型方程组，并讨论了平衡解的稳定性及相 关的 Hope 分歧。文献[6]中研究了 Neumann 边界条件下双分子耦合的 Schnakenberg 模型，并给出了该模 型相应的稳态系统解的先验估计。 在化学和其他领域许多模型通过适当的变换都可以转化为 Schnakenberg 型方程，因此研究这类方程就 

基金资助：本文部分得到国家自然科学基金资助（项目编号 236551）。 - 68 www.ivypub.org/mc

显得十分必要。Schnakenberg 型方程有很多种不同的的形式，本文研究的 Schnakenberg 型方程组形式如下：

u '  u  v   u (2u  2v   uv), t  0  ' v  4u  v   u (2u  2v   uv), t  0 u (0)  a  0, v(0)  b  0 

（1）

其中 u 和 v 分别代表 A 和 B 两种反应物的浓度， u ' ， v ' 代表 A 和 B 两种反应物的化学反应速率，t 为反 应时间，   0 为一个正的小参数。对于此模型，我们需要研究的是：对于小参数   0 方程组（1）的解具 有怎样的渐近表达式或性质？渐近解是否一致有效？

1

构造近似解 在本节中，我们用多重尺度法求上述方程组解的渐近表达式。令 Ti   i t , i  0,1 ,于是

d     dt T0 T1

（2）

  n u    un (T0 , T1 )  n0   v   n v (T , T )  n 0 1  n0

（3）

设

将（3）代入（1）中，并在每个方程中令  的同次幂系数在方程两边相等得  u0  T  u0  v0  0  v0  4u0  v0   T0 u (0)  a, v (0)  b 0  0 

（4）

u0  u1  T  u1  v1  u0 (2u0  2v0 )  T 1  0  v1 v  4u1  v1  u0 (2u0  2v0 )  0  T1  T0 u (0)  0, v (0)  0 1  1 

（5）

u0  u2  T  u2  v2  u0 (2u1  2v1  u0 v0 )  u1 (2u0  2v0 )  T 1  0  v2 v  4u2  v2  u0 (2u1  2v1  u0 v0 )  u1 (2u0  2v0 )  0  T1  T0 u (0)  0, v (0)  0 2  2 

（6）

先求解（4）。令  u0   u1  1 1 U0    ， A    ， U1     4 1  v1   v0 

易求其解为

U 0  e AT0 C0 (T1 ) ， - 69 www.ivypub.org/mc

 c0 (T1 )  其中 C0 (T1 )   为满足初值的函数向量。  c (T )   0 1 

下面求解

U 0  AU 0 T0 的一个基解矩阵 (T0 ) 。很容易求出 A 的属于特征值 1  3i, 2   3i 的特征向量分别为

1  3i  1  3i   ， 2     4   4 

1   于是基解矩阵 (T0 ) 为：

 (1  3i)e 3iT0 (T0 )    4e 3iT0   i  2 3  1 (0)    i   2 3

(1  3i)e 4e

3iT0

3iT0

 ，  

3i  8 3   3i   8 3 



故

e AT0

 sin( 3T0 )  cos( 3T0 )  3  (T0 ) 1 (0)    4sin( 3T0 )   3 

  3  sin( 3T0 )   cos( 3T0 )  3  sin( 3T0 )

于是

 sin( 3T0 )  cos( 3T0 )   u0  3 U 0     e AT0 C0 (T1 )    4sin( 3T0 )  v0    3 

  3   c0 (T1 )    sin( 3T0 )   c0 (T1 )   cos( 3T0 )  3  sin( 3T0 )

7）

将（7）代入（5）中得

 u1 sin(2 3T0 ) 2  u1  v1  2(cos(2 3T0 )  )c0 (T1 )  2(cos(2 3T0 )  3  T0  sin(2 3T ) sin(2 3T0 ) 2 0  )c0 (T1 )c0 (T1 )  c0 (T1 )  A1 cos( 3T0 )  B1 sin( 3T0 )  3 3  sin(2 3T0 ) 2  v1 )c0 (T1 )  2(cos(2 3T0 )  T  4u1  v1  2(cos(2 3T0 )  3  0  sin(2 3T0 ) sin(2 3T0 ) 2 )c0 (T1 )c0 (T1 )  c0 (T1 )  A2 cos( 3T0 )  B2 sin( 3T0 )  3 3  其中

A1  

c0 (T1 ) 1 c0 (T1 ) c0 (T1 ) (  )， ， B1   T1 T1 3 T1

A2  

c0 (T1 ) c (T ) c (T ) 1 (4 0 1  0 1 ) ， B2  T1 T1 T1 3 - 70 www.ivypub.org/mc

（8）

为避免 u1 , v1 产生长期项，通过对（8）中的非齐次项进行积分，发现 A1 ， B1 ， A2 ， B2 需满足如下关系：

 B1  B2  3 A1  4 B1  B2   3 A2

（9）

分别将 A1 ， B1 , A2 ， B2 代入（9）即得

 c0 (T1 )  T  0 1     c0 (T1 )  0  T1 于是可知 c0 (T1 ) 和 c0 (T1 ) 均为常数，又由初始条件知

c0 (T1 )  a  c0 (T1 )  b 即  sin( 3T0 )  cos( 3T0 )  u  0 3 U 0     e A T0 C0 (T1 )    v 4sin( 3T0 )  0   3 

  3  a    sin( 3T0 )   b   cos( 3T0 )   3  sin( 3T0 )

（10）

则（8）的解为  sin( 3T0 )  cos( 3T0 )   u1   3 U1      v 4sin( 3T0 )  1    3 

  3    c1 (T1 )    f1 (T0 )      sin( 3T0 )   c1 (T1 )   f 2 (T0 )   cos( 3T0 )   3  sin( 3T0 )

（11）

其中

4 2 4 2 3 2 2 3 f1 (T0 )  ( a 2  b 2  ab) cos( 3T0 )  ( a  ab)sin( 3T0 ) 9 9 9 9 9 (

4a 2 2b2 4ab 4 3 2   ) cos(2 3T0 )  (a  ab)sin(2 3T0 ) 9 9 9 9

2 2 10 2 3a 2 2 3b 2 2 3ab f 2 (T0 )  ( a 2  b 2  ab) cos( 3T0 )  (   )sin( 3T0 ) 9 9 9 3 9 9 2 2 10 2 3a 2 3 2 2 3  ( a 2  b2  ab) cos(2 3T0 )  (  b  ab)sin(2 3T0 ) 9 9 9 3 9 9 将（11）代入（6）中得到  u2  T  u2  v2  A1 cos( 3T0 )  B1 sin( 3T0 )  NST1  0   v2  4u  v  A cos( 3T )  B sin( 3T )  NST 2 2 2 0 2 0 2   T0

（12）

其中

A1  

c1 (T1 ) 10 3 1 3 2 2 1 2 1 c1 (T1 ) 1 c1 (T1 ) 2 3 3 3 3 4 3 2 2 3 2   a  b  a b ab  a  b  a b  ab B1   T1 9 36 3 3 9 12 9 9 3 T1 3 T1 A2  

c1 (T1 ) 10 3 1 3 2 2 1  a  b  a b  ab2 T1 9 36 3 3 - 71 www.ivypub.org/mc

B1 

4 c1 (T1 ) 1 c1 (T1 ) 2 3 3 3 3 4 3 2 2 3 2   a  b  a b ab 9 12 9 9 3 T1 3 T1

NST1 和 NST2 是不会产生长期项的项。由类似于对（8）的讨论知，为避免产生长期项，则 A1 , B1 , A2 ,

B2 满足如下关系：

 B1  B2  3 A1  4 B1  B2   3 A2

（13）

分别将 A1 , B1 , A2 , B2 的表达式代入（13）得

 c1 (T1 ) c (T ) 10 1 2 1  3( 1 1  a3  b3  a 2b  ab 2 )  3  T  T 9 36 3 3 1 1    c1 (T1 ) 2 3 3 3 3 4 3 2 2 3 2  a  b  a b ab  3 T1 3 4 3 3    c (T ) 10 1 2 1    3( 1 1  a3  b3  a 2 b  ab 2 ) T1 9 36 3 3  即

5 3 1 3 1 2 1 2  c1 (T1 )  T   9 a  72 b  3 a b  6 ab 1    c1 (T1 )  2 a3  1 b3  1 a 2b  1 ab 2  T1 9 9 3 6 又由（5）的初值条件知 c1 (0)  c1 (0)  0 ，于是有

5 3 1 3 1 2 1 2  c1 (T1 )  ( 9 a  72 b  3 a b  6 ab )T1  c (T )  ( 2 a3  1 b3  1 a 2b  1 ab 2 )T 1  1 1 9 9 3 6 从而 U1 完全确定。原方程组的一阶近似解为：  u1   u   u0  U        v   v0   v1 

2

（14）

近似解的误差估计 由（10）知 2a  b ab u0  a 2     3  3  2

2 2a  b  4a  b  v0  b2     3  3  同 样 地 ， 设 T 为 有 限 数 ， 则 当 0  T1  T 时 ， 存 在 c  0 ， d  0 ， 使 得 u1  c ， v1  d ， 取 2

 2 2a  b    A  max  , c, d  ，则 3    

ui  A ， vi  A ， i  0,1 令

- 72 www.ivypub.org/mc

（15）

u  u0   u1  R1  v  v0   v1  R2

代入（1）中得到  R1'  R1  R2  F ( , t , R1 , R2 )   '   R2  4 R1  R2  F ( , t , R1 , R2 )

（16）

其中 F ( , t , R1 , R2 )   u0 [2 (u1  v1 )  2( R1  R2 )   (u0   u1  R1 )(v0   v1  R2 )]   ( u1  R1 )[2(u0  v0 )  2 (u1  v1 )  2( R1  R2 )   (u0   u1  R1 )(v0   v1  R2 )]

令  R (t )  R(t )   1   R2 (t ) 

则 t

R(t )  e At  R(0)   e(t  s ) A F ( , s, R1 , R2 )ds 0

（17）

因为  R (0)   0  R(0)   1     ，  R2 (0)   0 

所以 t 1 R(t )   e(t  s ) A     F ( , s)ds 0  1

从而可知 R(t ) =

t

e 0

(t  s ) A

1     F ( , s, R1 , R2 )ds  1

其中

 sin( 3(t  s))  cos( 3(t  s))  1 3 e( t  s ) A       4sin( 3(t  s))  1   3 

  3  1    sin( 3(t  s))   1  cos( 3(t  s ))   3  sin( 3(t  s))

  cos( 3(t  s))     cos( 3(t  s ))  3 sin( 3(t  s))    令  R (t )  R(t )   R(t )    1  ,  R (t )   2  F ( , t , R1 , R2 )  F0 ( , t )  F1 ( , t , R1 , R2 )

其中 F0 ( , t )   u0 [2 (u1  v1 )   (u0   u1 )(v0   v1 )]  2u1[2(u0  v0 )  2 (u1  v1 )   (u0   u1 )(v0   v1 )]

- 73 www.ivypub.org/mc

（18）

F1 ( , t , R1 , R2 )   (u0   u1 )[2( R1  R2 )   R2 (u0   u1 )   R1 (v0   v1 )   R1 R2 ]  R1[2(u0  v0 )  2 (u1  v1 )  2( R1  R2 )   (u0   u1  R1 )(v0   v1  R2 )]  R (t )  将 R(t )   R(t )    1  代入上式得  R (t )   2 

F1 ( , t , R1 , R2 )   2 (u0   u1 )[2( R1  R2 )   R2 (u0   u1 )   R1 (v0   v1 )   2 R1 R2 ]  2 R1[2(u0  v0 )  2 (u1  v1 )  2 ( R1  R2 )   (u0   u1   R1 )(v0   v1   R2 )]

再由(18)知 t



t

0



  F0 ( , s)ds 3(t  s))  3 sin( 3(t  s))  cos( 3(t  s))

   cos(

 R(t ) 

0



  cos( 3(t  s))    F1 ( , t , R1 , R2 ) ds   cos( 3(t  s))  3 sin( 3(t  s))   

（19）

通过用 Maple 软件计算可知，存在常数  0 和 T ，当 0     0 ， 0   t  T 时 t

 cos( 0

t

 [ cos(

3(t  s)) F0 ( , t )ds   2  M 0 ( 0 , T ) ,

3(t  s))  3 sin( 3(t  s))] F0 ( , t )ds   2  M1 ( 0 , T ) ，

0

其中 M 0 ( 0 , T ) 和 M1 ( 0 , T ) 是与  0 和 T 有关的常数。所以 t



   cos( 0



  F0 ( , t )ds   2  M 2 ( 0 , T ) 3(t  s))  3 sin( 3(t  s))  cos( 3(t  s))

（20）

其中

M 2 ( 0 , T )  M 0 ( 0 , T )2  M1 ( 0 , T )2 。 下面我们估计（19）式右端第二项。因为 1 e(t  s ) A     cos 2 ( 3(t  s))  [ cos( 3(t  s))  3 sin( 3(t  s))]2  1 5 1   3 sin(2 3(t  s))  cos(2 3(t  s)) 2 2 2 5 1 5  13   3  ( ) 2  2 2 2

（21）

F1 ( , t , R1 , R2 )   2 ( u0   u1 )[2( R1  R2 )   R2 ( u0   u1 )   R1 ( v0   v1 )   2 R1 R2 ]   2 R1 [2( u0  v0 )  2 ( u1  v1 )  2 ( R1  R2 )   ( u0   u1   R1 )( v0   v1   R2 )] 再由（15）知 2

F1 ( , t , R1 , R2 )   2  M 3 ( )  R   2  M 4 ( )  R   5  R

3

（22）

其中 M 3 ( )  8 A(1   )  3 A  (1   ) , M 4 ( )  4  3 A (1   ) 。所以当 0     0 ， 0   t  T 时 2



t

0

2

2

  cos( 3(t  s))    F1 ( , s) ds   cos( 3(t  s))  3 sin( 3(t  s))    t

2

3

  2  M 5 ( 0 )   [ R  R  R ]ds 0

- 74 www.ivypub.org/mc

（23）

其中

M 5 ( 0 )  max{

5  13 5  13 5  13 5 M 3 ( 0 ), M 4 ( 0 ), 0 } 。 2 2 2

联合（19）（20）（23）可知，当 0   t  T 时，（18）式变为 t

2

3

R(t )    M 2 ( 0 , T )  M 5 ( 0 )   [ R  R  R ]ds

{

0

}

（24）

这是一个非线性 Gronwall 不等式. 由此可知[7][8]：当 0     0 、 0   t  T 时，存在 M ( 0，T ) ， 使得 R(t )    M ( 0，T )

（24）

从而

U (t;  )  U0 (t;  )  U1 (t;  )  R(t )   2 M ( 0，T ) 这说明求得的一阶近似解是一致有效的。

3

结论 本文通过用多重尺度法对 Schnakenberg 方程组进行求解，构造出了该方程组的一阶近似解，并利用非

线性 Gronwall 不等式对解的误差进行估计，证明了所求得的一阶近似解在 0   t  T 时解的一致有效性。在 一般情况下，一阶近似解就能够很好地满足应用需要。 如果想得到更好的近似解，我们还可以进一步求二阶、三阶近似解，并进行相应的误差估计。不过随 着对解的精度要求变高时，所要用到的尺度重数也要相应增加，每增加一个尺度，计算量就增大很多。

REFERENCES [1]

Schnakenberg, J. Simple chemical reaction systems with limit cycle behavior [J]. J. Theor. Biol. 1979, 81:389—400

[2]

Cao Youfang, Liang Jie. .Nonlinear Coupling for Improved Stochastic Network Model: A Study of Schnakenberg Model[C].//The 3rd International Symposium on Optimization and System Biology(The 3rd international conference on optimization and system biology OSB'09), vol.2009:379-386

[3]

Qian wei-chang. The singular perturbation theory and its application in mechanics [M]. Beijing: Science press, 1981

[4]

R.E.O'malley. An introduction to singular perturbation [M].Beijing: Science press,1983

[5]

Feng Xiugong, Liu ping, Shi Junping, Wang Yuwen. Qualitative analysis of Schnakenberg type chemical reaction equations [J]. Harbin normal university journal of natural science, 2009, 25(5)

[6]

Yang Yansi, Liu Ping. Two coupled Schnakenberg prior estimate of the solution of the steady-state system model [J]. Harbin normal university journal of natural science, 2012,28(4)

[7]

SMITH, D. Singular-Perturbation Theory [M]. Cambridge University Press, Cambridge, 1985

[8]

Jiang X.H., Wong R., Justification of a Perturbation Approximation of the Klein-Gordon Equation [J]. Stud. Appl. Math. 1999, Vol. 102: 375–41

【作者简介】 1

卢祥虎，男，汉族，硕士，学生，微分方程解的渐近分析，

2

张艳丹，女，汉族，硕士，学生，微分方程解的渐近分析。

2008-2012 年就读于北京化工大学。

Email: 289239652@qq.com

Email: 2012200905@grad.buct.edu.cn

3

江新华，男，汉族，副教授，偏微分方程摄动理论。

Email: jiangxh@mail.buct.edu.cn

- 75 www.ivypub.org/mc