Abstract

We propose an algae-fish semicontinuous system for the Zeya Reservoir to study the control of algae, including biological and chemical controls. The bifurcation and periodic solutions of the system were studied using a Poincaré map and a geometric method. The existence of order-1 periodic solution of the system is discussed. Based on previous analysis, we investigated the change in the location of the order-1 periodic solution with variable parameters and we described the transcritical bifurcation of the system. Finally, we provided a series of numerical results to illustrate the feasibility of the theoretical results. These results may help to facilitate a better understanding of algal control in the Zeya Reservoir.

1. Introduction

The economic development of human society means that the waters of lakes, marshes, and reservoirs are experiencing increasingly serious eutrophication, which can cause sustained algal growth. With a high level of eutrophication, algae with rapid growth characteristics may form algal blooms, which can lead to ecological failure and even cause harm to humans. For example, algal blooms due to eutrophication appear frequently in the Zeya Reservoir in Wenzhou, which is located in a subtropical region, and this may cause deterioration in the water quality that could deprive millions of people of drinking water.

Therefore, it is necessary to control algal growth. Indeed, many researchers have studied these ecological systems, including the use of biological and chemical controls, and these systems have been described using impulsive differential equations. The theory of impulsive differential equations has experienced a period of intensive development [13]. These studies are concerned mainly with the properties of their solutions, such as existence, uniqueness, stability, boundedness, and periodicity, as well as the potential applications of these theories in ecosystems. In applied studies, most investigations using impulsive differential equations have focused on systems where the impulses have fixed times [48].

In many practical cases, however, such as algal blooms and pest control, the impulses often depend on the state rather than fixed time periods. Thus, semicontinuous dynamic systems have been introduced for these purposes. In this study, the so-called semicontinuous dynamic system is defined using a set of impulsive state-dependent differential equations [9, 10], where the solutions are piecewise continuous functions [11]. The application of semicontinuous dynamic systems to ecosystems has been studied in the last decade [1215]. In particular, in the literature [14], the authors find chaos because of impulsive effect. It is well known that chaos is very important for dynamical studies. A lot of scientific workers are attracted by chaotic investigation. For example, in the literature [16], Bianca and Rondoni studied a chaotic model with flat obstacles. In their work, analytical and numerical investigations support the idea that this model of transport of matter has both chaotic and nonchaotic steady states with a quite peculiar sensitive dependence on the field and on the geometry, not observed before [16]. These results which they got are very important for studies of chaos.

In this paper, we consider a semicontinuous ecological system. The main difference between our results and those described in [1215] is that we discuss the change in location of the order-1 periodic solution with variable parameters. The system is described as follows: where denotes the algae population density, denotes the fish population density, is the intrinsic per capita algae population growth rate, is the grazing rate of fish on algae, is the prey assimilation efficiency of fish, is the carrying capacity, is the handling time, and is the mortality and respiration rate of fish. The parameters , , , and represent fishes being harvested when and released when , , .

This paper is organized as follows. Section 2 provides some background information. Section 3 discusses the existence of an order-1 periodic solution, the change in the location of the order-1 periodic solution with variable parameters, and the transcritical bifurcation. Section 4 provides numerical results for the theory we present while the conclusions are stated in the final section.

2. Preliminaries

We consider an autonomous system with an impulse effect as where , , and , are the set of impulses. It is assumed that , , , and are all continuous with respect to in so the points in lie on a line. For each point , is defined as

Let be the phase set of , where . System (2) is generally known as a semicontinuous dynamic system.

Definition 1 (see [11]). Let be a first-order periodic solution of system (2), and we say that is(1)orbitally stable if for all , , , and such that for all , when ;(2)orbitally semistable if for all , , , and such that for all (or ), when ;(3)orbitally attractive if for all and for all , such that when ;(4)orbitally asymptotically stable if it is orbitally stable and orbitally attractive.

In this discussion, denotes a -neighborhood of the point , is the distance from to , and is the solution of system (2) that satisfies the initial condition .

Definition 2. The phase plane is divided into two parts by the trajectory of the differential equations that constitute the order-1 cycle. The section containing the impulse line and the trajectory is known as the inside of the order-1 cycle.

Definition 3 (see [9]). We assume that and are both straight lines and define a new number axis on . Suppose that intersects with -axis at point . Take the origin at point and define positive direction and unit length to be consistent with the coordinate -axis, and then we obtain a number axis . For any point , let be coordinate of point . Assume further that the trajectory through point via th impulsive intersects with at point , and then set , point is called the order- successor point of point , and is known as the order- successor function of point , where , .

Lemma 4 (see [9]). The successor function is continuous.

Lemma 5 (see [11]). The -periodic solution of the system is orbitally asymptotically stable if the Floquet multiplier satisfies the condition , where with and , , , , , , , , which are calculated for the points , , and , where is a sufficiently smooth function so grad , and    is the time of the kth jump.

Lemma 6 (see [17]). Let be a one-parameter family of the map that satisfies(i), (ii), (iii), (iv). has two branches of fixed points for near zero. The first branch is for all . The second bifurcating branch changes its value from negative to positive as increases through with . The fixed points of the first branch are stable if and unstable if , whereas those of the bifurcating branch have the opposite stability.

Lemma 7 (see [10]). In system (1), if an order-1 periodic solution where there is no singular point is orbitally attractive, the order-1 periodic solution is orbitally asymptotically stable.

Lemma 8. In system (1), one supposes that there exists an order-1 periodic solution where the crossover points of the order-1 periodic solution for the impulsive set and phase set are points and , respectively, and . If a trajectory is attracted by the order-1 periodic solution, the order-1 periodic solution is orbitally stable.

Proof. For all , , point does not belong to the set of periodic solutions. Therefore, the combination of the order-1 and order-2 successor function of point is one of the following:
Set .(i) and
If and , then where . If , it is obvious that (i) holds. Suppose that (i) holds when . Now set . For the trajectory with the initial point order- successor point, its order-1 successor point is the order- successor point of point , its order-2 successor point is the order- successor point of point , and its order-3 successor point is the order- successor point of point . It is obvious that , , , and . Therefore, (i) holds.
Similar to (i), we have
(ii) and
(iii) and .
If and , then
If , it is obvious that (iii) holds. Suppose that (iii) holds when . Now set . For the trajectory with the initial point order- successor point, its order-1 successor point is the order- successor point of point , its order-2 successor point is the order- successor point of point , and its order-3 successor point is the order- successor point of point . It is obvious that , , , and . Therefore, (iii) holds. Moreover, based on , , it is known that because , so .
Similar to (iii), we have
(iv) and
Therefore, the trajectory with the initial point is attracted by an order-1 periodic solution if case (iii) or case (iv) holds.
According to (iv), the trajectory with the initial point is attracted by an order-1 periodic solution. Let be the order- successor point of point . It is easy to show that the trajectory with the initial point is attracted by the order-1 periodic solution. Therefore, if we take a point between point and point , and , while according to (iv), the trajectory with the initial point is attracted by the order-1 periodic solution. Similarly, any trajectory with an initial point that belongs to a phase set between and is attracted by the order-1 periodic solution, where is a crossover point of the vertical line and the phase set (see Section 3). Obviously, the order-1 periodic solution is orbitally attractive. According to Lemma 7, the order-1 periodic solution is also orbitally stable.

Similar to Lemma 8, we have Lemma 9 as follows.

Lemma 9. In system (1), one supposes that there exists an order-1 periodic solution where the crossover points of the order-1 periodic solution for the impulsive set and phase set are points and , respectively, and . If a trajectory is attracted by the order-1 periodic solution, the order-1 periodic solution is orbitally semistable at least.

3. Main Results

First, we consider the case of system (1) without an impulsive effect. Obviously, is a vertical line and is a horizontal isocline. A direct calculation shows that is a saddle while is a stable positive focus in the condition , ,,, where , , and . The vector graph of system (1) is shown in Figure 1. Throughout this paper, we suppose that the condition always holds based on ecological practice, where and are the impulsive set and phase set, respectively, and . Next, we discuss the order-1 periodic solution of system (1).

3.1. Existence of Order-1 Periodic Solution for System (1)
3.1.1. The Case Where

In this subsection, we will derive some basic properties for the following subsystem of system (1), where fish, , is absent:

Setting produces the following solution of system (12): . If we let , then and . This means that system (1) has the following semitrivial periodic solution: where , , which is implied by .

Thus, the following theorem is obtained.

Theorem 10. There exists a semitrivial order-1 periodic solution (13) in system (1), which is orbitally asymptotically stable if

Proof. It is known that , , , , , , and . Using Lemma 5 and a straightforward calculation, it is possible to obtain
Furthermore,
Therefore, it is possible to obtain the Floquet multiplier by direct calculation as follows:
Thus, if (14) holds. This completes the proof.

Remark 11. If , a bifurcation may occur if for , whereas a positive periodic solution may emerge if .

Theorem 12. There exists a positive order-1 periodic solution in system (1) if where the semitrivial periodic solution is orbitally unstable.

Proof. Because , and are both in the left . The trajectory that passes through point tangents to at point and intersects with at point . Thus, there may be three cases of phase point () for point as follows (see Figure 2(a)).
Case I . In this case, it is obvious that is an order-1 periodic solution.
Case II . Point is the order-1 successor point of point , so the order-1 successor function of point is greater than zero; that is, . In addition, the trajectory with the initial point intersects with the set of impulses at point and reaches via the impulsive effect. Due to the disjointedness of the different trajectories, it is easy to see that point is located below point . Therefore, the successor function . According to Lemma 4, a point is known to exist such that , so there exists an order-1 periodic solution for system (1).
Case III . According to , the order-1 successor point of point is located below point , so . If we suppose that is a crossover point of the semitrivial periodic solution and impulsive set, because the semitrivial periodic solution is orbitally unstable, then there exists a point such that . If , the trajectory with the initial point is attracted by the semitrivial periodic solution and, according to Lemma 9, the semi-periodic solution is orbitally stable. Obviously, this is a contradiction, so . Thus, there exists a order-1 positive periodic solution when . According to Lemma 4, a point is known to exist such that when . Therefore, there exists an order-1 periodic solution for system (1).
The proof is completed.

3.1.2. The Case Where

In this case, we suppose that and the following theorem is described.

Theorem 13. There exists a positive order-1 periodic solution for system (1) if and .

Proof (see Figure 2(b)). The method for this proof is similar to the method for Theorem 12. The main difference is the proof for the case . Suppose that is a crossover point for a semitrivial periodic solution and an impulsive set. The trajectory with initial point intersects the impulsive set at . Obviously, . Because , . Thus, there exists a positive order-1 periodic solution for system (1), which completes the proof.

In summary, system (1) has a stable semitrivial periodic solution or a positive order-1 periodic solution when . Furthermore, using the analogue of the Poincaré criterion, the stability of positive order-1 periodic solution is obtained.

Theorem 14. For any , , or , , the order-1 periodic solution of system (1) is orbitally stable if the following condition holds: where .

Proof. We suppose that the period of the order-1 periodic solution is , so the order-1 periodic solution intersects the impulsive set at and phase set at . Let be the expression of the order-1 periodic solution. The difference between this case and the case in Theorem 10 is that , , whereas the others are the same. Thus, we have According to condition (18), , so the order-1 periodic solution is orbitally stable using the analogue of the Poincaré criterion. The proof is complete.

3.2. Bifurcation and the Movement of the Order-1 Periodic Solution
3.2.1. Transcritical Bifurcation

In this subsection, we will discuss the bifurcation near the semitrivial periodic solution. The following Poincaré map is used: where we choose section as a Poincaré section. If we set at a sufficiently small value, the map can be written as follows:

Using Lemma 6, the following theorem can be obtained.

Theorem 15. A transcritical bifurcation occurs when , . Therefore, a stable positive fixed point appears when the parameter changes through from left to right. Correspondingly, system (1) has a stable positive periodic solution if with .

Proof. The values of and must be calculated at where . Here, . Thus, system (1) can be transformed as follows: where , .
Let be an orbit of system (22) and , , . Then,
Using (23), and it can clearly be deduced that , and
Furthermore, where , . Because is sufficiently small, this yields . It can be determined that , . Therefore,
The next step is to check whether the following conditions are satisfied.(a)It is easy to see that , .(b)Using (25), , which yields . This means that is a fixed point with an eigenvalue of 1 in map (20).(c)Because (25) holds, .(d)Finally, inequality (27) implies that .
These conditions satisfy the conditions of Lemma 6. This completes the proof.

3.2.2. Movement of the Order-1 Periodic Solution

In this subsection, we will discuss the movement of the order-1 periodic solution with variable parameters. The following theorem is required.

Theorem 16. The rotation direction of the pulse line is clockwise if changes from to .

Proof. Let be the angle of the pulse line and the -axis. Then, , so . Furthermore, . Therefore, is a monotonically decreasing function of . This completes the proof.

The existence of an order-1 periodic solution was proved in the previous analysis, so we assume that there exists an order-1 periodic solution when and , where the crossover points of the order-1 periodic solution for the impulsive set and the phase set are points and , respectively. The following theorem is then described.

Theorem 17. In system (1), one supposes that there exists a stable and positive order-1 periodic solution if , , and . The order-1 periodic solution moves toward the inside of the order-1 periodic solution along the pulse set and it is orbitally stable when changes appropriately from to .

Proof (see Figure 3(a)). The order-1 periodic solution breaks when changes. According to Theorem 16, point , which is the phase point of point , is located below point when decreases. Because (here ) is a monotonically increasing and continuing function of , there exists such that . Figure 3(a) shows that point is the order-1 successor point of point , while point is the order-1 successor point of point , so , . Therefore, there exists a point between point and such that . According to the disjointedness of the different trajectories, the order-1 periodic solution is inside the order-1 periodic solution .
Next, the orbital stability can be established based on the following proof (see Figure 3(b)).
The order-1 periodic solution is orbitally stable, so according to Lemma 8 and the disjointedness of the pulse line, there exists a point between points and (see Figure 3(a)) such that , . We suppose that the reduction in is .
If , point is the order-1 successor point of and point is the order-2 successor point of point . Because of , , so , .
While , the order-1 and order-2 successor points of point are points and , respectively, where , . Therefore, , , where set and distinguish the successor function between and . Therefore, we have the following: , Because , so when .
In addition,
Obviously, when , where from Figure 3(b). If we set , and when . From case (iv) in Lemma 8, the trajectory with an initial point is attracted by the periodic solution . According to Lemma 8, the order-1 periodic solution is orbitally stable. This completes the proof.

Similar to the method used for the proof of Theorem 17, the following theorem exists.

Theorem 18. In system (1), one supposes that there exists a stable and positive order-1 periodic solution if *, , and . Therefore, the order-1 periodic solution moves toward the outside of the order-1 periodic solution along the pulse set and it is orbitally stable when changes appropriately from to .

4. Numerical Results

The following numerical results are provided to illustrate the feasibility of the theoretical results. In this section, the parameters are fixed as follows: , , , , , and . The stable positive focus is , so .

4.1. Stability of the Semitrivial Solution

Based on the previous analysis, there exists a semitrivial solution when in system (1). If we set and , the semitrivial solution is and with , where , . Based on Remark 11, . According to Theorem 10, the semitrivial periodic solution is orbitally stable when , as shown in Figure 4(a) where . While , the semitrivial periodic solution is unstable, as shown in Figure 4(b) where .

4.2. The Existence and Stability of the Order-1 Periodic Solution

According to Theorems 12 and 13, there exists a positive order-1 periodic solution for system (1). In addition, the order-1 periodic solution is orbitally asymptotically stable when the conditions of Theorem 14 or Lemma 8 hold. If we set , , , and in system (1), an order-1 periodic solution exists for Figure 5(a). Furthermore, the trajectory is attracted by the order-1 periodic solution in Figure 5(b). Figures 5(c) and 5(d) prove that the order-1 periodic solution is orbitally asymptotically stable; that is, Lemma 8 is correct.

Figure 6 is provided to further consider the existence of an order-1 periodic solution of system (1). Figure 6 shows the existing regions of an order-1 periodic solution, which is the part of the bifurcation of the positive stable order-1 periodic solution of system (1), where and are parameters.

4.3. Movement of the Order-1 Periodic Solution

From Theorems 17 and 18, the order-1 periodic solution moves toward the inside or outside of the order-1 periodic solution along the pulse set and phase set if changes appropriately from to . In Section 4.2, there exists an order-1 periodic solution when . Next, we reduce to and . It is then easy to see that the order-1 periodic solution moves toward the inside along the impulsive set and the phase set from Figure 7(a), while Figure 7(b) proves that an order-1 periodic solution moves toward the outside along the impulsive set and phase set under the conditions stated in Theorem 18.

4.4. Bifurcation Analysis

To study the dynamics of system (1), a bifurcation is obtained that provides a summary of the essential dynamical behavior of system (1). The bifurcation diagrams of system (1) are plotted as a function of the bifurcation parameter and shown in Figure 8. Due to the similarity between Figures 8(a) and 8(b), which is a flip bifurcation of Figure 8(a), only Figure 8(a) is analyzed in detail, where , , and in Figure 8(a) and in Figure 8(b). It is obvious that the semitrivial periodic solution is stable for and unstable for .

According to Theorem 15, a transcritical bifurcation occurs when , which leads to a positive order-1 periodic solution from a semitrivial periodic solution. As increases, order-1 periodic solutionorder-2 periodic solutionorder-4 periodic solution, and a cascade of period-halving bifurcations leads to chaos.

5. Conclusion and Discussion

In this paper, we developed an algae-fish semicontinuous model, which we studied analytically and numerically. Theoretical mathematical studies have investigated the existence and stability of a semi-trival periodic solution and an order-1 periodic solution of system (1), proving that the positive periodic solution emerges from the semitrivial periodic solution via a transcritical bifurcation using bifurcation theory.

In the semicontinuous system, the movement of the order-1 periodic solution was first studied theoretically, which will be useful for studying the control of algae. In system (1), the impulsive effect demonstrated the biological and chemical control of algae. Using this theory, we can study the effects of biological control on system (1). Furthermore, it will be helpful for studying the effect of increased biological and decreased chemical controls on system (1), because it is harmful to use chemical controls in this environment.

In addition, our results are useful for others systems. For example, some applications refer to the mathematical model proposed in the literature [18]. In the literature [18], Bianca and Pennisi develop a model, which is the first mathematical model that reproduces the SimTriplex results on the triplex vaccine. The model is more valuable, which takes into account both the humoral and cellular branches of the immune response and includes many realistic factors. From their work, we think that it is feasible to investigate vaccine models using our results.

Acknowledgments

This work was supported by the National Key Basic Research Program of China (973 Program, Grant no. 2012CB426510), by the National Natural Science Foundation of China (Grant nos. 31170338 and 31370381), and by the Key Program of Zhejiang Provincial Natural Science Foundation of China (Grant no. LZ12C03001).