ABSTRACT

Equations of the reaction-diffusion type are very well known and have been extensively studied in many research areas. In this paper, the prolongation structures for the system of the reaction-diffusion type are investigated from theory of coverings. The realizations and the classifications of the one-dimen- sional coverings of the system are researched. And the corresponding conservation law of the one-dimensional Abelian coverings is concluded, which is closely connected with the symmetry of the system by Noether theorem.

Keywords:

Prolongation Structure, Reaction-Diffusion, Realization, Abelian Covering

1. Introduction

Equations of the reaction-diffusion type have been widely studied in many research areas [1] [2] . One of the reaction-diffusion types has received consider- able attention,

$\{\begin{array}{l}{u}_t-u_{xx}+2u^{2}v-2ku=0\\ v_t+v_{xx}-2v^{2}u+2kv=0\end{array}$ (1)

which has been applied in biological systems, chemical autocatalysis, and also in the gauge formulation of the (1 + 1)-dimensional gravity [3] . Moreover, the geometrical equivalent counterpart of the system (1) is the modified Heisenberg Ferromagnetic (HF) equation [4] [5] .

About the prolongation structure of the system (1), some results have been obtained. Alfinito et al. [1] used Wahlquist-Estabrook (WE) prolongation structure theory proposed by Wahlquist and Estabrook [6] [7] and carried out the detailed integrable analysis. They showed that (1) allowed an incomplete prolongation algebra admitting an infinite-dimensional realization of the Kac- Moody type. Later following my advisor Zhao W Z’s suggestion, we investigated the inhomogeneous extension of the system (1) by the covariant prolongation structures theory [2] . We constructed $sl\left(2,R\right)\times R\left(\rho \left(t\right)\right)$ prolongation structure and gave the corresponding Ablowitz-Kaup-Newell-Segur (AKNS-) type equations and Bäcklund transformation. In 2012 Krasil’shchik and Verbovetsky [8] gave an overview of the recent results on the geometry of partial differential equations (PDEs) in application to integrable systems. These results are essentially based on the geometrical approach to partial differential equations developed since 1970s by A.M. Vinogradov and his school [9] [10] [11] [12] [13] . The approach is called the theory of coverings, which treats a PDE as an (infinite-dimensional) submanifold in the space $J^{\infty }\left(\pi \right)$ of infinite jets for a bundle $\pi :E\to M$ whose sections play the role of unknown functions (fields). This attitude allows applying to PDEs powerful techniques of differential geometry and homological algebra. Readers can refer [8] for more information. It is noticed that the WE prolongation structures are an essentially special type of coverings [13] [15] . Cheng and He successfully gave the realizations and classifications of one-dimensional coverings of the MB (modified Boussinesq) system by using the theory. Moreover, they also gave the sufficient and necessary conditions for a vector to be a nonlocal symmetry of the MB system. Hence we want to apply the theory of coverings to the system (1) to give some new integrable information.

The paper is organized as follows. In Section 2, we review some basic notations and theorems due to [13] [14] [15] . In Section 3, we apply the theory to the system (1) and obtain the realization and classifications of one-dimensional coverings of the system. Also we give the corresponding conservation law for one- dimensional Abelian coverings. In Section 4, we give a conclusion.

2. Basic Definitions and Statements

In this section, we mainly recall some definitions and theorems in [14] [15] . For an equation $\epsilon$ in n independent variables $x_i$ and m unknown dependent functions $u^j$ , we consider the jet space $J^{\infty }\left(n,m\right)$ with the coordinates $x_i,u_{\sigma }^j$ , where $\left(x_1,\cdots ,x_n,j=1,\cdots ,m\right)$ , and $\sigma =\left(i_1,i_2,\cdots ,\left|i_{\sigma }\right|\right),0\le i_k\le n$ is a multi-index of finite, but unlimited length $\left|i_{\sigma }\right|$ . Denote by $\pi :J^{\infty }\left(n,m\right)\to {ℝ}^n$ the projection to the space of space of independent variables $\left(x_1,\cdots ,x_n\right).$

The vector fields

$D_i=\frac{\partial }{\partial x_i}+{\displaystyle \underset{j,\sigma }{\sum }}{u}_{\sigma +1}^j\frac{\partial }{\partial u_{\sigma }^j}$ (2)

are called total derivatives. They commute each other, i.e., $\left[D_i,D_j\right]=0$ on $J^{\infty }\left(m,n\right)$ everywhere. $D_i,i=1,\cdots ,n$ span a distribution on $J^{\infty }\left(m,n\right)$ which is called Cartan distribution and is denoted by $\mathcal{C}$ .

Let a system of PDEs be given by

$F_{\alpha }\left(x_i,\cdots ,u_{\sigma }^j,\cdots ,\right)=0,1\le \alpha \le s,1\le i\le n,1\le j\le m.$ (3)

Then we consider all its differential consequences, or prolongation of (3)

$D_{\sigma }{F}_{\alpha }=0,1\le \alpha \le s,\left|\sigma \right|\ge 0,$ (4)

where $D_{\sigma }=D_{\left(i_1,i_2,\cdots ,i_k\right)}$ for $\sigma =\left(i_1,i_2,\cdots ,i_k\right)$ . The hyper surface defined by (4) is denoted by $\epsilon \subset J^{\infty }\left(n,m\right)$ . The vector fields $D_i$ are tangent to $\epsilon$ , and their restriction to $\epsilon$ will be denoted by the same symbol $D_i$ . They span a distribution on $\epsilon$ which is called Cartan distribution of $\epsilon$ and is denoted by ${\mathcal{C}}_{\epsilon }$ .

Consider another submanifold $\tilde{\epsilon }\subset J^{\infty }\left(n,m\right)$ with the same independent variables $\left(x_1,\cdots ,x_n\right)$ . And $\tilde{\epsilon }$ has an integrable distribution $\tilde{\mathcal{C}}$ , i.e., $\left[\tilde{\mathcal{C}},\tilde{\mathcal{C}}\right]=0$ . A smooth surjection $\tau :\tilde{\epsilon }\to \epsilon$ is called a differential covering (or simply a covering) of $\epsilon$ by $\tilde{\epsilon }$ if its differential takes the Cartan distribution on $\tilde{\epsilon }$ to that on $\tilde{\epsilon }$ , i.e., ${\tau }_{\ast }\left({\tilde{C}}_{\theta }\right)={\epsilon }_{\tau \left(\theta \right)}$ for any $\theta \in \tilde{\epsilon }$ . Coordinates in the fiber of $\tau$ are called nonlocal variables.

In this paper we consider equations possessing two independent variables $x\mathrm{,}t$ and two dependent variables $u\mathrm{,}v$ , i.e., $m=n=2$ in (3). The WE prolongation structures correspond to the cases when $\tau$ is a trivial bundle, i.e.,

$\tau :\epsilon \times W\to \epsilon ,$ (5)

where W is a finite dimensional manifold. Set $\dim W=l,$ then the local coordinates $w^1,\cdots ,w^l$ in W correspond to pseudopotentials in the WE prolongations approach [6] [7] .

In coordinates, the above definition means that the total derivatives on $\tilde{\epsilon }\subset J^{\infty }\left(2,2\right)$ are of the form

${\tilde{D}}_x=D_x+X,{\tilde{D}}_t=D_t+T,$ (6)

where X and T are $\tau -$ vertical vector fields:

$X={\displaystyle \underset{i=1}{\overset{l}{\sum }}}{X}_i\frac{\partial }{\partial w^i},T={\displaystyle \underset{i=1}{\overset{l}{\sum }}}{T}_i\frac{\partial }{\partial w^i}$ (7)

Since the distribution on $\tilde{\epsilon }$ is integrable, we have

$\left[{\tilde{D}}_x,{\tilde{D}}_t\right]=D_x\left(T\right)-D_t\left(X\right)+\left[X,T\right]=0$ (8)

If the coefficients $X^i,T^j$ in the vertical vector fields X and T are independent of nonlocal variables $w^i,i=1,\cdots ,l$ , then the condition (8) reduces to

$D_x\left(T\right)-D_t\left(X\right)=0,$ (9)

the corresponding covering is called Abelian.

3. The Prolongation Structures of the Reaction-Diffusion System

We have introduced the covering theory for prolongation structure of nonlinear evolution equation in the previous section. Based upon this theory, we will discuss the corresponding prolongation structure for the system (1) in this section. The system have two independent variables $x\mathrm{,}t$ and two dependent variables $u\mathrm{,}v$ , i.e., $m=n=2$ in (3). For convenience we rewrite the system as follows:

$\{\begin{array}{l}{u}_t=u_{xx}-2u^{2}v+2ku\\ v_t=-v_{xx}+2u{v}^2+2kv\end{array}$ (10)

Then the corresponding jet space is $J^{\infty }\left(2,2\right)$ with the coordinates

$x,t,u_k,v_j,k\ge 0,j\ge 0$ (11)

and the total derivative operators are given by

$D_x=\frac{\partial }{\partial x}+{\displaystyle \underset{i\ge 0}{\sum }}{u}_{i+1}\frac{\partial }{\partial u_i}+{\displaystyle \underset{i\ge 0}{\sum }}{v}_{i+1}\frac{\partial }{\partial v_i},$ (12)

$D_t=\frac{\partial }{\partial t}+{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(u_2-2u^{2}v+2ku\right)\frac{\partial }{\partial u_i}+{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(-v_2+2u{v}^2-2kv\right)\frac{\partial }{\partial v_i},$ (13)

where $u_k=\frac{{\partial }^{k}u}{\partial x^k},v_j=\frac{{\partial }^{j}v}{\partial x^j}$ .

Set the covering for (1) is given by (6). By the integrability condition (8), we have

$\begin{array}{l}0=\left[{\tilde{D}}_x,{\tilde{D}}_t\right]=D_x\left(T\right)-D_t\left(X\right)+\left[X,T\right]=\frac{\partial T^j}{\partial x}\frac{\partial }{\partial w^j}+{\displaystyle \underset{i\ge 0}{\sum }}{u}_{i+1}\frac{\partial T^j}{\partial u_i}\frac{\partial }{\partial w^j}\hfill \\ +{\displaystyle \sum }{v}_{i+1}\frac{\partial T^j}{\partial v_i}\frac{\partial }{\partial w^j}-\frac{\partial X^j}{\partial t}\frac{\partial }{\partial w^j}-{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(u_2-2u^{2}v+2ku\right)\frac{\partial X^j}{\partial u_i}\frac{\partial }{\partial w^j}\hfill \\ -{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(-v_2+2u{v}^2-2kv\right)\frac{\partial X^j}{\partial v_i}\frac{\partial }{\partial w^j}+\left[X,T\right]\hfill \end{array}$ (14)

Now we consider the WE type coverings for (1) and suppose that both X and T are independent of $x\mathrm{,}t$ , i.e.,

$X=X\left(w^1,\cdots ,w^l,u,v,u_x,v_x\right),T=T\left(w^1,\cdots ,w^l,u,v,u_x,v_x\right).$ (15)

Then the equation (6) becomes

$\begin{array}{l}0=u_1\frac{\partial T^i}{\partial u}\frac{\partial }{\partial w^i}+u_2\frac{\partial T^i}{\partial u_1}\frac{\partial }{\partial w^i}+v_1\frac{\partial T^i}{\partial v}\frac{\partial }{\partial w^i}+v_2\frac{\partial T^i}{\partial v}\frac{\partial }{\partial w^i}\\ -\left(u_2-2u^{2}v+2ku\right)\frac{\partial X^i}{\partial u}\frac{\partial }{\partial w^i}-\left(u_3-4u{u}_{1}v-2u^2{v}_1+2k{u}_1\right)\frac{\partial X^i}{\partial u_1}\frac{\partial }{\partial w^i}\\ -\left(-v_2+2u{v}^2-2kv\right)\frac{\partial X^i}{\partial v}\frac{\partial }{\partial w^i}-\left(-v_3+2u_1{v}^2+4uv{v}_1-2k{v}_1\right)\frac{\partial X^i}{\partial v_1}\frac{\partial }{\partial w^i}+\left[X,T\right]\end{array}$

Notice that the right hand side of the above equation is a polynomial in $u_3,v_3,u_2,v_2$ . Therefore the coefficients at $u_3,v_3,u_2,v_2$ must vanish. Consequently we get

$-\frac{\partial X^i}{\partial u_1}=0,\frac{\partial X^i}{\partial v_1}=0$ (16)

$\frac{\partial T^i}{\partial u_1}-\frac{\partial X^i}{\partial u}=0,\frac{\partial T^i}{\partial v_1}+\frac{\partial X^i}{\partial v}=0$ (17)

$\begin{array}{l}{u}_1\frac{\partial T^i}{\partial u}\frac{\partial }{\partial w^i}+v_1\frac{\partial T^i}{\partial v}\frac{\partial }{\partial w^i}+\left(2u^{2}v-2ku\right)\frac{\partial X^i}{\partial u}\frac{\partial }{\partial w^i}\\ -\left(2u{v}^2-2kv\right)\frac{\partial X^i}{\partial v}\frac{\partial }{\partial w^i}+\left[X,T\right]=0\end{array}$ (18)

By (16), X is independent of $u_1,v_1$ , hence $X=X\left(w^1,\cdots ,w^l,u,v\right)$ . By (17), T can be expressed in the following form:

$T=u_1\frac{\partial X}{\partial u}-v_1\frac{\partial X}{\partial v}+R\left(w^1,\cdots ,w^l,u,v\right)$ (19)

Substituting (19) into (18), we get

$\begin{array}{l}0=u_1^2\frac{{\partial }^{2}X}{\partial u^2}+u_1\frac{\partial R}{\partial u}-v_1^2\frac{{\partial }^{2}X}{\partial v^2}+v_1\frac{\partial R}{\partial v}+\left(2u^2-2ku\right)\frac{\partial X}{\partial u}\\ -\left(2u{v}^2-2kv\right)\frac{\partial X}{\partial v}+u_1\left[X,\frac{\partial X}{\partial u}\right]-v_1\left[X,\frac{\partial X}{\partial v}\right]+\left[X,R\right]\mathrm{.}\end{array}$ (20)

Similarly we can regard the left hand side of the above equation as a polynomial in $u_1\mathrm{,}{v}_1$ . Hence the coefficients at $u_1\mathrm{,}{v}_1$ must vanish. Accordingly we get

$\frac{{\partial }^{2}X}{\partial u^2}=0,\frac{{\partial }^{2}X}{\partial v^2}=0,$ (21)

$\frac{\partial R}{\partial u}+\left[X,\frac{\partial X}{\partial u}\right]=0,\frac{\partial R}{\partial v}-\left[X,\frac{\partial X}{\partial u}\right]=0$ (22)

$\left(2u^{2}v-2ku\right)\frac{\partial X}{\partial u}-\left(2u{v}^2-2kv\right)\frac{\partial X}{\partial v}+\left[X,R\right]=0$ (23)

Since $\frac{{\partial }^{2}X}{\partial u^2}=0,\frac{{\partial }^{2}X}{\partial v^2}=0.$

From (21) X can be written as follows:

$X=Auv+Bu+Cv+D,$ (24)

where A, B, C, D are only dependent on nonlocal variables $w_1,\cdots ,w_l$ . Substituting (24) into (22), we get:

$\begin{array}{l}\frac{\partial R}{\partial u}=\left[A,C\right]v^2+\left[A,D\right]v+\left[B,C\right]v+\left[B,D\right]\\ \frac{\partial R}{\partial v}=\left[B,A\right]u^2+\left[D,A\right]u+\left[B,C\right]u+\left[D,C\right]\end{array}$ (25)

By (25) we have

$\begin{array}{l}\frac{{\partial }^{2}R}{\partial u\partial v}=2\left[A,C\right]v+\left[A,D\right]+\left[B,C\right]\\ \frac{{\partial }^{2}R}{\partial v\partial u}=2\left[B,A\right]u+\left[D,A\right]+\left[B,C\right]\mathrm{.}\end{array}$ (26)

Since $\frac{{\partial }^{2}R}{\partial u\partial v}=\frac{\partial R}{\partial v\partial u},$ we have

$\left[A,D\right]=0,\left[A,C\right]=0,\left[B,A\right]=0$ (27)

Putting the above condition into (25), we have

$\frac{\partial R}{\partial u}=\left[B,C\right]v+\left[B,D\right],\frac{\partial R}{\partial v}=\left[B,C\right]u+\left[D,C\right]$ (28)

Hence

$R=\left[B,C\right]uv+\left[B,D\right]u+\left[D,C\right]v+E,$ (29)

where E is only dependent on nonlocal variables, i.e., $E=E\left(w_1,\cdots ,w_l\right).$

Substituting (29) and (24) into (19), we have

$T=A{u}_{1}v-A{v}_{1}u+B{u}_1-C{v}_1+\left[B,C\right]uv+\left[B,D\right]u+\left[D,C\right]v+E$ (30)

Substituting (30) and (24) into (23), we have

$\begin{array}{l}2B{u}^{2}v-2Cu{v}^2-2kBu+2kCv+\left[A,E\right]uv+\left[B,\left[B,C\right]\right]u^{2}v\\ +\left[B,\left[B,D\right]\right]u^2+\left[B,\left[D,C\right]\right]uv+\left[B,E\right]u+\left[C,\left[B,C\right]\right]u{v}^2\\ +\left[C,\left[B,D\right]\right]uv+\left[C,\left[D,C\right]\right]v^2+\left[C,E\right]v+\left[D,\left[B,C\right]\right]uv\\ +\left[D,\left[B,D\right]\right]u+\left[D,\left[D,C\right]\right]v+\left[D,E\right]=0\end{array}$ (31)

The right hand side of the above equality is a polynomial in u, v. Thus we have

$2B+\left[B,\left[B,C\right]\right]=0,\left[B,\left[B,D\right]\right]=0,\left[C,\left[D,C\right]\right]=0,\left[C,\left[B,C\right]\right]-2C=0$ (32)

$\left[B,E\right]-2kB+\left[D,\left[B,D\right]\right]=0,2kC+\left[C,E\right]+\left[D,\left[D,C\right]\right]=0,\left[D,E\right]=0$ (33)

$\left[A,E\right]+\left[B,\left[D,C\right]\right]+\left[C,\left[B,D\right]\right]+\left[D,\left[B,C\right]\right]=\left[A,E\right]+2\left[D,\left[B,C\right]\right]=0.$ (34)

Hence we have proved the following statement:

Theorem 3.1. For the reaction-diffusion system (1), any WE prolongation type coverings

$D_x\left(T\right)-D_t\left(X\right)+\left[X,T\right]=0,$

$X=X\left(w^1,\cdots ,w^l,u,v,u_x,v_x\right),T=T\left(w^1,\cdots ,w^l,u,v,u_x,v_x\right)$

are given by

$X=Auv+Bu+Cv+D,$ (35)

$T=A{u}_{1}v-A{v}_{1}u+B{u}_1-C{v}_1+\left[B,C\right]uv+\left[B,D\right]u+\left[D,C\right]v+E$

where the vector fields A, B, C, C, E are all depend on nonlocal variables $w^1,\cdots ,w^l$ only and satisfy the following brackets

$2B+\left[B,\left[B,C\right]\right]=0,\left[B,\left[B,D\right]\right]=0,\left[C,\left[D,C\right]\right]=0,\left[C,\left[B,C\right]\right]-2C=0$ (36)

$\left[B,E\right]-2kB+\left[D,\left[B,D\right]\right]=0,2kC+\left[C,E\right]+\left[D,\left[D,C\right]\right]=0,\left[D,E\right]=0$ (37)

$\left[A,E\right]+2\left[D,\left[B,C\right]\right]=0,\left[A,D\right]=0,\left[A,C\right]=0,\left[B,A\right]=0.$ (38)

Next we will discuss about the realizations and classifications of one dimensional WE coverings of (1).

Assume $A\ne 0$ , then a suitable nonlocal variable $w$ can be chosen such that $A=\frac{\partial }{\partial w}$ . Let $B=\beta \frac{\partial }{\partial w},C=\gamma \frac{\partial }{\partial w},D=\delta \frac{\partial }{\partial w},E=ϵ\frac{\partial }{\partial w}$ , where $\beta ,\gamma ,\delta ,ϵ$ are de- pendent on $w$ only. By Theorem (3.1), we can get

$B=0,C=0,D=\delta \frac{\partial }{\partial w},E=ϵ\frac{\partial }{\partial w}$

where $\delta ,ϵ$ are constants. Meanwhile, when this happens, all the brackets in Theorem (3.1) are satisfied automatically.

Hence the above covering is equivalent to

$X=\left(uv+\delta \right)\frac{\partial }{\partial w},T=\left(u_{1}v-u{v}_1+ϵ\right)\frac{\partial }{\partial w},$ (39)

where $\delta ,ϵ$ are constants.

Secondly let $A=0.$ Then we will consider $B\ne 0$ and $B=0$ respectively.

1. Assume that $B\ne 0$ then we can choose a suitable variable $w$ in such a way that $B=\frac{\partial }{\partial w}$ . By (36), we have

$C=\left(-w^2+\alpha w+\beta \right)\frac{\partial }{\partial w},D=\left(pw+q\right)\frac{\partial }{\partial w},$ (40)

where $\alpha ,\beta ,p,q$ satisfying that

${\alpha }^2+4\beta =0,2q+\alpha p=0.$ (41)

Substituting (40) into (37) and (38), we have

$E=r\left(pw+q\right)\frac{\partial }{\partial w},$ (42)

where $r>0$ satisfying that

$\{\begin{array}{l}{p}^2-pr+2k=0\hfill \\ k\alpha +q\left(r-p\right)=0\hfill \\ 2k\beta +\beta rp-\alpha qr-2q^2-pq\alpha +p^2\beta =0\hfill \end{array}$ (43)

Notice that the latter two constraints of the above formula can be deduced from the first one and (41). Hence, when $A=0,B=\frac{\partial }{\partial w},$ we have:

$C=\left(-w^2+\alpha w+\beta \right)\frac{\partial }{\partial w},D=\left(pw+q\right)\frac{\partial }{\partial w},E=r\left(pw+q\right)\frac{\partial }{\partial w}$ (44)

where $\alpha ,\beta ,p,q,r$ satisfying

$\{\begin{array}{l}{\alpha }^2=-4\beta \hfill \\ 2q+\alpha p=0\hfill \\ p^2-p\gamma +2k=0\hfill \end{array}$ (45)

Furthermore, the above covering is equivalent to

$X=\left(u-v{w}^2+2wv+\beta v+pw+q\right)\frac{\partial }{\partial w}$ (46)

$\begin{array}{l}T=[u_1-v_1\left(-w^2+\alpha w+\beta \right)+\left(-2w+\alpha \right)uv\\ +pu+\left(-p{w}^2-2qw+p\beta \right)v+r\left(pw+q\right)]\frac{\partial }{\partial w},\end{array}$

where $\alpha ,\beta ,p,q,r$ satisfying (45).

2. If $A=0,B=0$ , then from Theorem (3.1), we know that $C=0$ . Hence the covering is trivial.

In summary, we have proved the following result from the above discussion:

Theorem 3.2. For the reaction-diffusion system (1), any WE prolongation type coverings are locally equivalent to one of the followings:

${\tau }^1:{\tilde{D}}_x=\frac{\partial }{\partial x}+{\displaystyle \underset{i\ge 0}{\sum }}{u}_{i+1}\frac{\partial }{\partial u_i}+{\displaystyle \underset{i\ge 0}{\sum }}{v}_{i+1}\frac{\partial }{\partial v_i}+\left(uv+\delta \right)\frac{\partial }{\partial w},$

$\begin{array}{l}{\tilde{D}}_t=\frac{\partial }{\partial t}+{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(u_2-2u^{2}v+2ku\right)\frac{\partial }{\partial u_i}\\ +{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(-v_2+2u{v}^2-2kv\right)\frac{\partial }{\partial v_i}+\left(u_{1}v-u{v}_1+ϵ\right)\frac{\partial }{\partial w},\end{array}$

where $\delta ,ϵ$ are constants.

${\tau }^2:{\tilde{D}}_x=\frac{\partial }{\partial x}+{\displaystyle \underset{i\ge 0}{\sum }}{u}_{i+1}\frac{\partial }{\partial u_i}+{\displaystyle \underset{i\ge 0}{\sum }}{v}_{i+1}\frac{\partial }{\partial v_i}+\left(u-v{w}^2+2wv+\beta v+pw+q\right)\frac{\partial }{\partial w},$

$\begin{array}{l}{\tilde{D}}_t=\frac{\partial }{\partial t}+{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(u_2-2u^{2}v+2ku\right)\frac{\partial }{\partial u_i}+{\displaystyle \underset{i\ge 0}{\sum }}{D}_x^i\left(-v_2+2u{v}^2-2kv\right)\frac{\partial }{\partial v_i}\\ +[u_1-v_1\left(-w^2+\alpha w+\beta \right)+\left(-2w+\alpha \right)uv+pu\\ +\left(-p{w}^2-2qw+p\beta \right)v+r\left(pw+q\right)]\frac{\partial }{\partial w},\end{array}$

where $\alpha ,\beta ,p,q,r$ satisfying (45).

Remark 3.1. Obviously ${\tau }^1$ is not dependent on nonlocal variable $w$ , hence it is Abelian covering for the system (1). By Theorem (2.1), we can obtain a conservation law for the reaction-diffusion system (1):

$\omega =\left(uv+\delta \right)\text{d}x+\left(u_{1}v-u{v}_1+ϵ\right)\text{d}t$ (47)

4. Concluding Remarks

We have investigated prolongation structure for the system (1) by using the covering theory. For this prolongation structure theory, the realizations and the classifications of the one-dimensional coverings of the system can be obtained. By comparison with the result by Alfinito et al. [1] , we find they are actually the same. Here we are from the point view of tangent bundle theory, but WE prolongation theory is based on the cotangent bundle theory. Other than that, we can easily get the corresponding conservation law from the one-dimensional Abelian coverings.

It should be mentioned that a lot of questions remain to be understood. Firstly, it should be important to try to extend the prolongation technique to the study of higher dimension nonlinear field equations. For example, the more general (2 + 1)-dimensional reaction C diffusion equations can be written as

$\{\begin{array}{l}{u}_t=D_1\Delta u+b_1{u}^{2}v+b_{2}u{v}^2+b_{3}u+b_{4}v+b_5\\ v_t=D_2\Delta v+c_1{u}^{2}v+c_{2}u{v}^2+c_{3}u+c_{4}v+c_5\end{array}$ (48)

where $u=u\left(x,y,t\right),v=v\left(x,y,t\right),\Delta$ is the Laplace operator in two-dimensional orthonormal coordinates; $D_1$ and $D_2$ are the diffusion constants; $b_i$ and $c_i,i=1,2,\cdots ,5$ , are the coefficients. How to give the corresponding prolongation structure? Secondly, another important aspect which deserves to be explored is the comparison between the covering theory and covariant theory [2] . Thirdly, how to obtain the realizations and the classifications of higher dimensional coverings of the system? Some of them will be in the forthcoming publication.

Acknowledgements

The author is partially supported by the natural science foundation of Fujian Province (2013J01027) and is very thankful for everything.

Cite this paper

Duan, X.J. (2017) The Prolongation Structures for the System of the Reaction-Diffusion Type. Journal of Applied Mathematics and Physics, 5, 92- 100. http://dx.doi.org/10.4236/jamp.2017.51010

References