The spread of rumors has a great impact on social order, people’s psychology, and life. In recent years, the application of rumor-spreading models in complex networks has received extensive attention. Taking the management and control of rumors by relevant departments in real life into account, the SIDRQ rumor-spreading model that combines forgetting mechanism, immune mechanism, and suspicion mechanism and guides on a uniform network is established in this paper. Then, the basic reproductive number of the system and the unique existence of the solution are discussed, and the stability of the system is analyzed using the basic reproductive number, Lyapunov function, and Lienard and Chipart theorem; furthermore, the basic reproductive number may not be able to deduce the stability of the system and a counterexample is given. Finally, the influence of different parameters on the spread of rumors is studied, and the validity of the theoretical results is verified.

1. Introduction

Rumors refer to unconfirmed information and are spread in certain ways. The rumor-spreading model can be traced back to the 1960s. Daley and Kendall’s [1] “Stochastic Rumors” paper borrowed the infectious disease model and proposed the rumor propagation model for the first time.

Later researchers called the rumor-spreading model in the name of the author for the D-K model. The D-K model analyzes the problem of rumors based on a random process and divides people in the process of spreading rumors into three categories: people who have never heard of rumors, people who spread rumors, and people who have heard rumors but did not spread them. Mak [2] later modified the D-K model and proposed the M-K model, in which rumors spread directly with other people through the communicator. It is found that the D-K model and the M-K model are only applicable to rumor propagation models in small-scale social networks, but social networks in daily life are large in scale and have the characteristics of small world and scale-free. Zanette studied the spread of rumors on the WS small world network considering the topology [3, 4]. Moreno et al. [5] studied the M-K model on scale-free networks and recorded the interaction between the network topology and the rules of the M-K model.

By combining the M-K model with the SIR model, Nekovee et al. [6] further studied the rumor propagation state of complex networks in general and took the forgetting mechanism into account and proposed a rumor propagation model with immune mechanism and forgetting mechanism. Wei [7] introduced the forgetting and memory mechanism in the SI model and analyzed the influence of information dissemination on the BA scale-free network by means of numerical simulation, and the results showed that the forgetting memory mechanism may lead to the termination of dissemination. According to the characteristics that people will forget and then remember for a short time, they become communicators when they are remembered. Zhao et al. [8, 9] call this kind of people who temporarily forgot to spread rumors when they encounter a communicator and start spreading rumors as a hibernator, call this mechanism a memory mechanism, and propose a hibernator, immune mechanism, and forgetting mechanism. The SIHR rumor dissemination model based on the memory mechanism uses the mean field theory to analyze the dissemination behavior of SIHR on uniform and nonuniform networks. In real life, a person is likely to forget the current possession of information and also recall the features of the forgotten information.

Then, Zhao et al. [10] proposed a SIRaRu model with the speed of forgetting based on people’s characteristics. The verification results show that the network topology has a significant impact on the rumor propagation, and the final size of the rumor is greatly affected by the forgetting rate. From the analysis of the research work on the rumor-spreading model, it can be seen that compared with infectious diseases, rumor spreading has specific complex network characteristics. The dissemination of information usually follows social relations. The rapid development of the Internet and the network society has made this phenomenon even more prominent. Due to the diversity and complexity of network information dissemination models, people are constantly applying infectious disease models to rumors dissemination.

Mathematical models play an important role in the study of the spread of rumors, and the spread of rumors in society can be seen as a network communication behavior that obeys a certain law. Therefore, studying the influence of network structure on communication behavior has naturally become a very important topic.

In addition, most previous works assume that rumors spread in a closed system and the population size in OSNs (Open Systems Network Support) is constant. Consequently, these models can only simulate the rumor-spreading process in a closed system for which rumors spread over a relatively short period of time. In order to simulate the rumor-spreading process over a relatively long period of time, demographic dynamics, such as immigration and emigration rates, should be considered.

In this paper, an SIDRQ rumor propagation model is proposed to describe the dynamic model with suspicion mechanism, immune mechanism, forgetting mechanism, and guiding mechanism. Different from the existing models in a close system, our proposed model assumes that a rumor spreads in a system with constant population immigration and emigration rates and then investigates the influence of population dynamics on the rumor-spreading process.

The rest of this paper is organized as follows. An SIDRQ rumor-spreading model is established in Section 2. Section 3 deduces and calculates the basic generation number of the model. Section 4 mainly analyzes the stability of the model. Section 5 judges whether the system has controllability. In Section 6, numerical simulations are conducted followed by further discussion on the implications of these simulation results. Finally, conclusions are given in Section 7.

2. SIDRQ Rumor-Spreading Model

Rumors are a common form of social interaction, and the spread of rumors has an important impact on people’s lives and psychology. In order to maintain people’s normal life and social order, government departments will guide and control the spread of rumors to suppress the spread of rumors. In this rumor model, we divide a uniformly mixed population into five categories: I (ignorants) means people who have never heard of the rumor, S (spreaders) means people who know the rumors and actively spread the dazzling people, D (doubters or skeptics) means they have heard rumors, but people who are skeptical of rumors and temporarily stop spreading rumors, R (removed or stilfers) means people who hear the rumors but do not spread the rumors, and Q (quarantine or control) refers to people who are unable to spread rumors because of measures taken by the government. According to Maki et al. [1], in this model, we assume that rumor spreaders only spread rumors to their own neighbors. Furthermore, we hypothesize that when the communicator is in contact with the communicator, only the initial communicator becomes immunized. The schematic diagram of the propagation process of SIDRQ rumor considering the mechanism of spreaders, ignorants, doubters, removed, and quarantine is shown in Figure 1, and its propagation rules are as follows.(1)When ignorants contact with rumor spreaders, the ignorants become rumor-spreaders with the probability of , a direct immunizer with the probability of , a skeptic with the probability of , is the transmission rate, is the rejection rate, and is the suspicion rate(2)When rumor spreaders come into contact with rumorspreaders, or a suspect, or an immunized person, the initial rumor spreaders become an immunized person with a probability of , which is called the immunization rate(3)When government departments take such guiding and controlling measures as title ban, speech ban, and education, rumor spreaders become leading and controlling persons with a probability of and leading and controlling persons spontaneously become immune persons with a probability of , calling the guidance rate and the conversion rate(4)Rumor spreaders become immune spontaneously with the probability of because they forget the rumors, and skeptics spontaneously become rumor spreaders with the probability of , and is called the forgetting rate

Due to the openness and dynamicity of OSNs, we consider the variable population size of system and assume that rumors spread in the system which has the constant population immigration and emigration rates. All newly registered users enter into the ignorant class with a constant (i.e., immigration rate), and all existing users exit from the five classes with a constant (i.e., emigration rate).

A uniform network refers to a network in which the node degree values are concentrated near a certain characteristic value, such as ER random network [11, 12] and WS small world network [13].

Due to the introduction of the director, combined with the spreading law of SIDRQ rumors, the mean field equation of the spreading dynamics of SIDRQ rumors on a uniform network can be described as

Let denote the total population of the rumor-spreading system at time . The number of ignorants, rumor spreaders, doubters, quarantine, and stiflers at time is denoted as, , , , , and . Then, we have

From system (1) and equation (2), we have

When the initial value in the formula, the solution is

In order to consider the nonnegativity and feasible region of the solution of SIDRQ system (1), the following conclusions can be obtained.

Theorem 1. Suppose () is the solution of system (1) under initial condition equation (4). Then,(i) always keep positive when .(ii)The feasible region is a positively invariant set of system (1), which is defined as

Proof. (i) Suppose () is the solution of system (1), when , where . So, letHere, we will prove that the solution of system (1) is positive, which implies that we only need to prove , for all . Assume that there exists such thatAccording to the initial condition equation (4), we can further assume for all . Next, we discuss the above function in five cases.
If , then, from the first equation of system (1) and , we can obtainIntegrating both sides of equation (8) from 0 to , one haswhich leads to a contradiction. Furthermore, the other four cases can be discussed in a similar way. This shows that () is positive on the existence interval (i.e., for ).
Then, we prove that the interval of existence of () is . In fact, if the interval of existence is a finite interval , we know that () is unbounded on .
From system (1) and equation (2), one hasIntegrating the above equation from 0 to , we obtainHence, is bounded on , which implies that are bounded on . This leads to a contraction. Therefore, we finally have that () is positive, for all .
(ii) According to the initial condition equation (4) and the result of (i), we havewhich implies that the feasible region is positively invariant with respect to system (1). The proof of Theorem 1 is completed.

3. Unique Existence of Solution and the Basic Reproduction Number

The basic regeneration number is “the expected number of secondary cases arising from a typical infected individual in a fully susceptible population.” In general, the basic regeneration number can be defined as the number of new infections produced by a typical infected individual in a DFE population.

According to the methodology of infectious diseases, our aim is to explore the rumor-free equilibrium and the basic reproduction number of system (1). One can check that system (1) has the rumor-free equilibrium:

Theorem 2. Suppose () is the solution of system (1) under initial condition (4), and this explanation is unique when .

Proof. LetWe can obtain the following model:where ,We write for the value of .
Consider the rumor spread of equation (15), when , then , and when , then . So, if , we have and the nonnegative cone is forward invariant. By Theorems 1.1.8 and 1.1.9 of [14], for each nonnegative initial condition there is a unique, nonnegative solution. The proof of Theorem 2 is completed.
The Jacobian matrices of and at equation (13) are written aswhereObviously, is a nonsingular matrix and is a nonnegative matrix. According to the basic reproduction number concept of given in [15],where is the spectral radius of the matrix .
Then, the number of equilibriums can be determined by :(a)If , is the unique equilibrium in .(b)If , the rumor-demise equilibrium of system (1) is unstable.

Remark 1. Decomposition of leads to alternative thresholds. Therefore, we choose different to calculate the basic number . In the same way, whenFrom this,Consequently,where is the spectral radius of the matrix .

4. Stability Analysis of SIDRQ Rumor-Spreading Model

A detailed stability analysis of the SIDRQ rumor-spreading model is conducted in this section.

Theorem 3. If , the rumor-demise equilibrium of system (1) is locally asymptotically stable. When , the rumor-demise equilibrium of system (1) is unstable.

Proof. The Jacobian matrix of system (1) at isComputing the eigenvalues of equation (24) and applying the formula to , we haveReplacing equation (25) by equation (26),We can rewrite equation (26) asFor this reason, eigenvalues of equation (24) are , , , and are the solutions ofWe conclude from equation (28) that the solution ishence thatAccording to the assumption that , we haveApplying equation (32),Thus,and finally, We conclude from equations (31) and (35) that and ; hence, based on the Routh–Hurwitz criterion [16], the rumor-demise equilibrium of system (1) is locally asymptotically stable if , and finally, it is unstable when . From this, we complete the proof of Theorem 3.

Theorem 4. If , the rumor-demise equilibrium of system (1) is globally asymptotically stable. When , the rumor-demise equilibrium of system (1) is unstable.

Proof. Via the constructive Lyapunov function,and taking derivative to the both sides of the equality givesCombining with , we can rewrite (37) asApplying equations (12) and (13), we obtain , and we can rewrite equation (38) asIn the same way, there existsSuppose, for the moment , we see that . Set ; let us compute ; hence, the rumor-demise equilibrium of system (1) is globally asymptotically stable.
Next, we will prove the uniqueness of the rumor-prevailing equilibrium .

Theorem 5. If , system (41) has a unique positive solution of .

Proof. Assuming that is an equilibrium of system (1), we can obtainOn the basis of systems, from the 1st, 2nd, 4th, and 5th equations in the system (41), we obtainIt follows from the 2nd equation of (41) thatAccording to the 3rd equation of (41),So, let us substitute equations (42)–(44) into the 1st equation of (41), and we haveSimplifying equation (45),Replacing (46) by (47),When , it can be concluded thatThen,Consequently, equation (47) has a unique positive solution. In conclusion, when , system (41) have a unique positive solution.

Theorem 6. If , the rumor-demise equilibrium of system (1) is locally asymptotically stable.

Proof. The Jacobian at isWe will use the symbols to denoteIt follows from thatSimplifying givesWe write for the value ofCombining equation (41),so we haveSubstituting equation (59) into equation (56) givesand we haveFrom this, we conclude from equation (61) that and , and , , and are solutions of equation (62):It follows thatSetAccording to Lienard and Chipart theorem, order for equation (63) has three negative real roots which are , , and . Equation (63) must satisfy , , , , and .
Obviously, and . The proof will be divided into three steps: , , and .
(i) Let us firstly prove that byEquation (65) then can be transformed intoSubstituting equation (66) into gives(ii) In order to make , in the same way,It follows that(iii) According to equation (64), we haveIt is easy to show thatAs mentioned, according to equations (67), (69), and (71), equation (63) has three negative real roots and contented Lienard and Chipart theorem. Therefore, when , the rumor-demise equilibrium of system (1) is locally asymptotically stable.

Remark 2. In the foregoing, when , it can be concluded that the system is locally asymptotically stable. However, our research shows that not all rumor-spreading models are stable at , and we will give you a practical example. Add a nonlinear term to system (1), i.e., when a doubter contacts a rumor spreader, the doubter becomes a rumor spreader with probability . Propagation process is as shown in Figure 2.

The system can be described as

Although system (72) is locally asymptotically stable at , when , it is not necessarily asymptotically stable at .

In the same way, the proof of Theorem 3 is similar to that of Theorem 6.

Proof. When ,We can say that equation (73) has a unique solution of .
It is obvious that computing the Jacobian matrix of equation (73) hasWe will use the letters to denoteWe calculate from that the eigenvalue is as follows:and it is apparent thatHence, we have thus proved and , and , , and are eigenvalues of . Therein,According to our condition , we cannot get and . So, the system is not necessarily asymptotically stable.

5. Controllability Analysis of the SIDRQ Rumor-Spreading Model

Controllability is an important concept in modern control theory. Controllability research helps us to understand complex systems more deeply. The rumor propagation system is a typical complex nonlinear system, and the controllability analysis of the nonlinear system can be understood as the feasibility study of changing rumor propagation from one dynamic behavior state to another dynamic behavior through appropriate control strategy, which provides the certain reference value for rumor control.

The dynamic system of SIDRQ spreading of rumors iswhere is the control variable.

Theorem 7. System (79) is completely controllable.

Proof. We can write SIDRQ spreading of rumors system (79) aswhereHence,