Abstract

A reaction-diffusion cancer network regulated by microRNA is considered in this paper. We study the asymptotic behavior of solution and show the existence of global uniformly bounded solution to the system in a bounded domain . Some estimates and asymptotic compactness of the solutions are proved. As a result, we establish the existence of the global attractor in and prove that the solution converges to stable steady states. These results can help to understand the dynamical character of cancer network and propose a new insight to study the mechanism of cancer. In the end, the numerical simulation shows that the analytical results agree with numerical simulation.

1. Introduction

In this paper, we discuss the asymptoti cbehavior of solutions for reaction-diffusition equations which studied by Aguda et al. [1] and Shen et al. [2]. The system describes cancer network regulated by microRNA (miRNA). MicroRNAs are an abundant class of small noncoding RNA that function to regulate the activity and stability of specific mRNA targets through posttranscriptional regulatory mechanism and play a role of repressing translation of mRNA or degrading mRNAs. Recent studies show that miRNAs play a central role in many biological (cellular) processes, including developmental timing, cell proliferation, apoptosis, metabolism, cell differentiation, somitogenesis, and tumour-genesis. In addition, there is diffusion when molecules interact (see, e.g., [26]), so we should consider the diffusion process and its dynamical behavior.

In order to understand further the miR-17-92 involved in the network with Myc and E2F, we would investigate the cancer network [1, 2] with diffusion term and consider the attractor system of cancer network with diffusion as follows: and here is an open bounded subset of with the boundary of class . are two real smooth nonlinear functions for satisfying the following conditions: (i)there exists such that as , ;(ii)there exists such that , for all .

To our knowledge, the long time behavior of solution for reaction-diffusion system has been studied by several authors (see [715]). But for different nonlinear reaction function, there are some different extra difficulties. We will study the existence of global attractor for the system (1) in . The key point to our method relies on the regularity and estimates on solutions which show that the solutions are uniformly bounded in .

We construct a local solution of system (1) by the semigroup method and fixed-point theorem and then discuss its regularity by priori estimate method. We study the asymptotic behavior of solution and show the existence of global uniformly bounded solution to the system in a bounded domain . Some estimates and asymptotic compactness of the solutions are proved. As a result, we establish the existence of global attractor in and prove that the solution converges to stable steady states. In the end, we apply these results to the cancer network model and give the numerical test. The numerical simulation shows that the analytical results agree with numerical simulation. This paper is more motivated from the mathematical point of view than from the biological one, but it will help to get more insights in the understanding of the behavior of the problem.

For readers’ convenience, the following standard result on attractor is first presented here (see, e.g., [8, 9, 13, 14]).

Proposition 1. Suppose that is a metric space and is a semigroup of continuous operators in . If has a bounded absorbing set and is asymptotically compact, then possesses a global attractor which is a compact invariant set and attracts every bounded set in .

Definition 2. The semigroup is asymptotically compact; that is, if is bounded in and , then is precompact in .

2. Preliminary

Some well-known inequalities and embedding results that will be used in the sequel are presented.

Lemma 3 (see [9]). If and , then, for , where .

Lemma 4 (see [9]). Let and . Then where , , and is a positive constant depending only on . and is the Green function of the heat equation , , with the homogeneous Neumann boundary condition.

Lemma 5 (see [10]). Let and ; then

Lemma 6 (see [12]). Suppose is an interpolation space of and , where , , and , then and here , , denotes the fractional Sobolev space in .

In this paper, we denote the standard Sobolev spaces by and . For any , we denote the norm of by . In general, denotes the norm of any Banach space .

3. Local Existence and Uniqueness

The local existence of a solution to system (1) is discussed in this section.

Theorem 7. Suppose , ; then there is a (depending on initial data) such that there exists a unique nonnegative solution to (1) in and

Proof. Choose and to be fixed. In Banach space , we define a bounded closed set Let
Next, we prove is a contractive mapping from into itself for small enough and sufficiently large. By Lemma 4, then where . For , , and . Hence By Lemma 5, for any , Equations (10) and (11) imply that for any fixed positive large enough and small enough. Now we show that is a contractive operator from to . For any , and for all ,
Equation (12) implies that is a contractive mapping if is sufficiently small. By Banach’s fixed point theorem, there exists a unique fixed point which is just a local solution to (1) in .
Note that, for any given smooth function , is the subsolution of the following problem: and for any given smooth function , is the subsolution of the following problem: By the comparison principle, for any and , ; .
Now, we discuss the regularity of the solution to (1). From the above analysis, , is bounded in for any . From the semigroup representation of the solution to (1) and Lemmas 3 and 4, for any and , there exists such that which implies that is bounded for any .
If , repeating the above process, we choose for any small enough and , then there exists such that From the above analysis, for any , is uniformly bounded for any . On the other hand, since , for any , we deduce that where , , and is the Gamma function. It can be proved that There exist , , satisfying , such that, for any small enough constant and , where , which implies that . By semigroup techniques and Schauder estimates, we see that It easy to know that and here we denote that .

4. Global Solution and Some A Priori Estimates

In this section, the global-in-time existence of a solution to system (1) is proved. The following a priori estimates will play a crucial role in the proof of our result.

Lemma 8. Suppose that , , and is a local solution to (1) in satisfying then, for any , where depends only on , , , and .

Proof. In the process of the proof, we denote any positive constant by which may change from line to line and let be a small enough constant.

Step 1. Taking the inner product of the first equation of (1) with in , by Young’s inequality, for any , there is a constant such that

Taking the inner product of the second equation of (1) with in , for any , If these parameters meet the conditions, , then there are , such that . From (24) and (25), By the Poincaré inequality, Gronwall’s lemma implies that

Step 2. From the analysis in Step 1, , is uniformly bounded in .

Taking the inner product on both sides of the second equation with , for any , Taking the inner product of the first equation of (1) with in , then By Lemma 6, there exist , , and such that Since is bounded, for any , there is a constant such that With the same analysis, it easy to know that there exist , such that

From the above analysis and (29) and (30), we choose , small enough; then there exists positive constant , such that By Gronwall’s lemma,

In this section, we denote any positive constant by whose value may change from line to line. Equations (30), (35) and the choice of (in Theorem 7) depending on , then ; it is clear by a standard argument that the solution to (1) can be extended up to some . With the same method as in the proof of Lemma 8, for any finite , which implies that . The global existence of the solution to (1) is obtained as the following theorem.

Theorem 9. Suppose that nonnegative functions , ; then there is a unique nonnegative global solution to (1) satisfying where depends only on , , , and .

5. Global Attractor

The existence of a global attractor to system (1) is given in this section.

From the estimates in Lemma 8, there exists fixed constant and such that Denote the set where is the constant in (38). The results of Theorem 9 imply that the existence of a dynamical system which maps into itself and satisfying . Since is bounded, by Lemma 8, there exists depending only on and such that which implies that is a bounded absorbing set of the semigroup .

Next, by the Sobolev embedding theorem, the asymptotical compactness of the semigroup is shown and then the existence of a global attractor to system (1) is given.

Theorem 10. Assume that satisfying hypothesis. Then the problem (1) has a global attractor which is a compact invariant set and attracts every bounded set in .

Proof. If is bounded in , assume that there exists such that . Then by Lemma 8, there is a constant (depending on ) such that where is the absorbing set given in (39) and . For any sequence ( as ), there is such that, for any , , and
Since the two embedding are compact, from the estimates in Theorem 9, it is clear that lies in a compact set in and lies in a compact set in . Hence, is precompact in , which implies that is asymptotically compact. We have obtained the bounded absorbing set of . Then by Proposition 1, we obtain the existence of the global attractor to (1).
From the estimates in Theorem 9, it is easy to know that the solution of system (1) is exponential decay in space if the forcing term is zero. So the global attractor reduces to the single point (0,0).

6. Conclusions and Discussion

In this paper, by the semigroup method and fixed-point theorem, we construct a local solution of system (1) and then discuss its regularity by a priori estimate method. We also study the asymptotic behavior of solution and show the existence of global uniformly bounded solution to the system in a bounded domain . Some estimates and asymptotic compactness of the solutions are proved. To prove the compactness of the semigroup, we used the fact that Sobolev embedding is compact in bounded domains. As a result, we establish the existence of the global attractor in and prove that the solution converges to stable steady states if the forcing term is zero.

The hypothesis of the nonlinear function can be more general. For the case of unbounded domains or partly dissipative system, the dynamical system (1) is not compact. Then, using the similar idea in [11], we should decompose the semigroup into two parts such that one part asymptotically tends to zero and the other part is compact. But the lack of compactness of Sobolev embedding introduces some extra difficulties. In general, the space domain should be bounded in a biological process.

The arguments in the previous sections can be applied to more general reaction diffusion systems. As we discussed in the introduction, in order to understand further the miR-17-92 involving in the network with Myc and E2F, scientists plan to model this network with mathematical model. By using the mathematical model, the researchers can detect the key points regulating main properties of biological system and find the methods to solve the different diseases. In order to explain the cancer mechanism induced by miR-17-94, Aguda et al. [1] gave the ODE model and investigated different possible designs of the silencing mechanism exerted by miR-17-94; the network is described by the following equations: Shen et al. [2] modified the system and added the diffusion to the system and obtained the reaction-diffusing system as follows: where represents the density of the protein module (Myc and the E2Fs) and denotes the miRNA cluster. , , , , , and are nonnegative parameters. Let , by the translation transformation , , the cancer network system (43) is changed into a special case of system (1).

From the estimates in Theorem 9, it is easy to know that the solution of system (1) is exponential decay in space if the forcing term is zero. So the global attractor reduces to the single point (0,0). Since the translation transformation , , which means that the solutions of the cancer network converges to stable steady states as . From the analysis of the local solution in Section 3, the solution of the system (43) is nonnegative for any nonnegative initial value. Then, for condition, we have . Let Then there are a supersolution and a subsolution to the first equation of the system (43) which read as follows: where and are the solutions of the two following equations, respectively: By comparison principle, we see the solution of the system (43) satisfying for any . So which implies that there exists a sufficiently large such that for . With the same analysis, we know that there exist a supersolution and a subsolution to the second equation of the system (43) which read as follows: where and . Then we have that The above analysis means that the attractor of the system (43) is a stable steady states or limit cycle.

Next, we will give the numerical test to the gene network model. The gene network model is simulated numerically in two spatial dimensions. Our numerical simulations employ the zero-flux boundary conditions. We set time step and space step as 0.02 and 1 and select coefficients of diffusion ; we choose parameters , .

The numerical simulation shows that the behavior of the solution to system (43) is a stable steady states or limit cycle (see Figures 1(c) and 1(d)). The numerical simulations agree with analytical results.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by National Natural Science Foundation of China (11272277 and 11301455), Foundation of Henan Educational Committee (13A110737 and 13A110756), Program for New Century Excellent Talents in University (NCET-10-0238), the Key Project of Chinese Ministry of Education (211105), Innovation Scientists and Technicians Troop Construction Projects of Henan Province (134100510013), and Innovative Research Team in University of Henan Province (13IRTSTHN019).