Rumor spreading dynamics with an online reservoir and its asymptotic stability

Sun-Ho Choi; Hyowon Seo; Sun-Ho Choi; Hyowon Seo

doi:10.3934/nhm.2021016

Networks and Heterogeneous Media

2021, Volume 16, Issue 4: 535-552. doi: 10.3934/nhm.2021016

Previous Article Next Article

Rumor spreading dynamics with an online reservoir and its asymptotic stability

Sun-Ho Choi ,
Hyowon Seo ^,

Department of Applied Mathematics and the Institute of Natural Sciences, Kyung Hee University, Yongin, 17104, Republic of Korea

Received: 01 November 2020 Revised: 01 May 2021 Published: 01 July 2021
Primary: 34A34, 34D23; Secondary: 92D30

The spread of rumors is a phenomenon that has heavily impacted society for a long time. Recently, there has been a huge change in rumor dynamics, through the advent of the Internet. Today, online communication has become as common as using a phone. At present, getting information from the Internet does not require much effort or time. In this paper, the impact of the Internet on rumor spreading will be considered through a simple SIR type ordinary differential equation. Rumors spreading through the Internet are similar to the spread of infectious diseases through water and air. From these observations, we study a model with the additional principle that spreaders lose interest and stop spreading, based on the SIWR model. We derive the basic reproduction number for this model and demonstrate the existence and global stability of rumor-free and endemic equilibriums.

Keywords:

Citation: Sun-Ho Choi, Hyowon Seo. Rumor spreading dynamics with an online reservoir and its asymptotic stability[J]. Networks and Heterogeneous Media, 2021, 16(4): 535-552. doi: 10.3934/nhm.2021016

Related Papers:

[1]	Xiaodie Luo, Kaimin Cheng . Counting solutions to a system of quadratic form equations over finite fields. AIMS Mathematics, 2025, 10(6): 13741-13754. doi: 10.3934/math.2025619
[2]	Yan Ma, Di Han . On the high-th mean of one special character sums modulo a prime. AIMS Mathematics, 2023, 8(11): 25804-25814. doi: 10.3934/math.20231316
[3]	Robert Reynolds, Allan Stauffer . Extended Prudnikov sum. AIMS Mathematics, 2022, 7(10): 18576-18586. doi: 10.3934/math.20221021
[4]	Junyong Zhao, Yang Zhao, Yujun Niu . On the number of solutions of two-variable diagonal quartic equations over finite fields. AIMS Mathematics, 2020, 5(4): 2979-2991. doi: 10.3934/math.2020192
[5]	Shuangnian Hu, Rongquan Feng . On the number of solutions of two-variable diagonal sextic equations over finite fields. AIMS Mathematics, 2022, 7(6): 10554-10563. doi: 10.3934/math.2022588
[6]	Mohra Zayed, Maged G. Bin-Saad, Waleed K. Mohammed . On Mittag-Leffler-Gegenbauer polynomials arising by the convolution of Mittag-Leffler function and Hermite polynomials. AIMS Mathematics, 2025, 10(7): 16642-16663. doi: 10.3934/math.2025746
[7]	Jinmin Yu, Renjie Yuan, Tingting Wang . The fourth power mean value of one kind two-term exponential sums. AIMS Mathematics, 2022, 7(9): 17045-17060. doi: 10.3934/math.2022937
[8]	Zhuoyu Chen, Wenpeng Zhang . A new reciprocity formula of Dedekind sums and its applications. AIMS Mathematics, 2024, 9(5): 12814-12824. doi: 10.3934/math.2024626
[9]	Wenpeng Zhang, Jiafan Zhang . The hybrid power mean of some special character sums of polynomials and two-term exponential sums modulo $ p $. AIMS Mathematics, 2021, 6(10): 10989-11004. doi: 10.3934/math.2021638
[10]	Shuangnian Hu, Rongquan Feng . The number of solutions of cubic diagonal equations over finite fields. AIMS Mathematics, 2023, 8(3): 6375-6388. doi: 10.3934/math.2023322

Abstract

1. Introduction

Let $p$ be a prime, $f$ be a polynomial with k variable and $\mathbf{F}_p = \mathbf{Z}/(p)$ be the finite field, where $\mathbf{Z}$ is the integer ring, and let

$N(f;p) = \#\{(x_1, x_2, \cdots, x_k)\in\mathbf{F}_p^k|f(x_1, x_2, \cdots, x_k) = 0\}.$

Many scholars studied the exact formula (including upper bound and lower bound) for $N(f; p)$ for many years, it is one of the main topics in the finite field theory, the most elementary upper bounds was given as follows (see ^[14])

$N(f;p)\leq p^{k-1}deg f.$

Let $ord_p$ denote the p-adic additive valuation normalized such that $ord_pp = 1$ . The famous Chevalley-Warning theorem shows that $ord_pN(f; p) > 0$ if $n > deg f$ . Let [x] denote the least integer $\geq x$ and $e$ denote the extension degree of $\mathbf{F}_q /\mathbf{F}_p$ . Ax (see ^[2]) showed that

$ord_pN(f;q)\geq e\left[\frac{n-deg f}{deg f}\right].$

In 1977, S. Chowla et al. (see ^[7]) investigated a problem about the number of solutions of a equation in finite field $\mathbf{F}_p$ as follow,

$x_1^3+x_2^3+\cdot\cdot\cdot+x_k^3\equiv0,$

where $p$ is a prime with $p\equiv1\bmod\ 3$ and $x_i\in \mathbf{F}_p$ , $1\leq i\leq k$ .

Let $M_k$ denotes the number of solutions of the above equation. They proved that

$\begin{eqnarray} M_3 = p^2+d(p-1), M_4 = p^2+6(p^2-p), \\ \sum\limits_{s = 1}^{\infty}M_sx^s = \frac{x}{1-px}+\frac{x^2(p-1)(2+dx)}{1-3px^2-pdx^3}, \\ \end{eqnarray}$

where $d$ is uniquely determined by $4p = d^2+27y^2$ and $d\equiv1\ mod\ 3$ .

Myerson ^[12] extended the result in ^[2] to the field $\mathbf{F}_q$ and first studied the following equation over $\mathbf{F}_q$ ,

$x_1^3+x_2^3+\cdot\cdot\cdot+x_k^3\equiv0.$

Recently J. Zhao et al. (see ^[17]) investigated the following equations over field $\mathbf{F}_p$ ,

$\begin{eqnarray} &&\ \ \ f_1 = x_1^4+x_2^4+x_3^4, \\ &&f_2 = x_1^4+x_2^4+x_3^4+x_4^4. \end{eqnarray}$

And they give exact value of $N(f_1;p)$ and $N(f_2;p)$ . For more general problem about this issue interested reader can see ^[6,9,10,11].

In this paper, let $A(k, p)$ denotes the number of solutions of the following equation in $\mathbf{F}_p$ ,

$x_1^6+x_2^6+\cdot\cdot\cdot+x_k^6\equiv0,$

where $p$ is a prime with $p\equiv1\bmod\ 3$ and $x_i\in \mathbf{F}_p$ , $1\leq i\leq k$ , and for simplicity, in the rest of this paper, we assume there exists an integer $z$ such that $z^3\equiv2\bmod\ p$ , we use analytic methods to give a recurrence formula for the number of solutions of the above equation. And our method is based on the properties of Gauss sum. It is worth noting that we used a novel method to simplify the steps and avoid a lot of complicated calculations. We proved the following:

Theorem 1. For any positive integer $k\geq1$ , we have the recurrence formula

$\begin{eqnarray} A(k+6, p)& = &5pA(k+4, p)+10dpA(k+3, p)\\&&+(46p^2+5d^2p+dp)A(k+2, p)\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)A(k+1, p)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\ &&+(129d^2+11d+6)p^2+d^4p)A(k, p)\\ &&+p^{k+5}-p^{k+4}-(10dp+2d^2)p^{k+3}-64p^{k+5/2}\\&&-(429+121d+5d^2)p^{k+2}\\ &&-2d^2p^{k+3/2}-(3d^3+130d^2+12d+6)p^{k+1}-d^4p^k, \end{eqnarray}$

with the initial condition

$\begin{eqnarray} &&A(1, p) = 1, A(2, p) = 4(p-1)+p, A(3, p) = 10d(p-1)+p^2, \\ &&A(4, p) = 56p(p-1)+10d^2(p-1)+p^3, \\ &&A(5, p) = 188dp(p-1)+5d^3(p-1)+16dC(p)(p-1)+p^4, \\ &&A(6, p) = p^5+1400p^2(p-1)+(388d^2+8d-576)p(p-1)+d^2p-d^2, \end{eqnarray}$

where $d$ is uniquely determined by $4p = d^2+27y^2$ and $d\equiv1\ mod\ 3$ , and $C(p) = \sum\limits_{a = 1}^{p}e_p(a^3)$ .

Remark. Our method is suitable to calculus the number of solutions of the following equation in $\mathbf{F}_p$ ,

$x_1^t+x_2^t+\cdot\cdot\cdot+x_k^t\equiv0,$

where $p$ satisfied a certain congruence conditions, and $t$ is any nature number.

Our Theorem 2 can be deduced from Theorem 1 and the theory of the Difference equations.

Theorem 2. Let $t_i$ ( $1\leq i\leq k$ ) be the real root of the below equation with multiplicity $s_i$ ( $1\leq i\leq k$ ) respectively, and $\rho_je^{\pm iw_j}$ ( $1\leq j\leq h$ ) be the complex root of the below equation with multiplicity $r_j$ ( $1\leq j\leq h$ ) respectively,

$\begin{eqnarray} x^6& = &5px^4+10dpx^3+(46p^2+5d^2p+dp)x^2\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)x\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\ &&+(129d^2+11d+6)p^2+d^4p). \end{eqnarray}$

We have

$\begin{eqnarray*} A(n, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}n^{s_i-a}t_i^n+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}n^{r_j-b}\rho_j^n\cos nw_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}n^{r_j-b}\rho_j^n\sin nw_j, \end{eqnarray*}$

where $C_{ia}, D_{jb}, E_{jb}$ , are determined by

$\begin{eqnarray} A(6, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}6^{s_i-a}t_i^6+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}6^{r_j-b}\rho_j^6\cos 6w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}6^{r_j-b}\rho_j^6\sin 6w_j, \\ A(5, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}5^{s_i-a}t_i^5+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}5^{r_j-b}\rho_j^5\cos 5w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}5^{r_j-b}\rho_j^5\sin 5w_j, \\ A(4, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}4^{s_i-a}t_i^4+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}4^{r_j-b}\rho_j^4\cos 4w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}4^{r_j-b}\rho_j^4\sin 4w_j, \\ A(3, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}3^{s_i-a}t_i^3+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}3^{r_j-b}\rho_j^3\cos 3w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}3^{r_j-b}\rho_j^3\sin 3w_j, \\ A(2, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}2^{s_i-a}t_i^2+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}2^{r_j-b}\rho_j^2\cos 2w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}2^{r_j-b}\rho_j^2\sin 2w_j, \\ A(1, p)& = &\sum\limits_{i = 1}^k\sum\limits_{a = 1}^{s_i}C_{ia}t_i+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}D_{jb}\rho_j\cos w_j+\sum\limits_{j = 1}^{h}\sum\limits_{b = 1}^{r_j}E_{jb}\rho_j\sin w_j.\\ \end{eqnarray}$

(1.1)

2. Some Lemmas

Before we prove these lemmas, we give some notations, $\chi_2$ denotes the second-order character of $\mathbf{F}_p$ , $\chi$ denotes the third-order character of $\mathbf{F}_p$ , $\psi$ denotes the sixth order character of $\mathbf{F}_p$ .

$\begin{eqnarray} e_p(x) = e^{\frac{2\pi ix}{p}}, \tau(\chi) = \sum\limits_{m = 1}^{p}\chi(m)e_p(m), G(\chi, m) = \sum\limits_{a = 1}^{p}\chi(a)e_p(am). \end{eqnarray}$

We call $G(\chi, m)$ the Gauss sum, and we have the following:

$\begin{eqnarray} G(\chi, m) = \tau(\chi)\overline{\chi}(m), (m, p) = 1. \end{eqnarray}$

(2.1)

And also we have

$\begin{eqnarray} |\tau(\chi)| = \sqrt{p}, \end{eqnarray}$

(2.2)

where $\chi$ is a primitive character of $\mathbf{F}_p$ . And let $G(m, 6;p) = \sum\limits_{a = 0}^{p-1}e_p(ma^6)$ . For the property of the exponential sum and the general Gauss sum, interested readers can see ^{[1,4,5,8,13,15]}.

Lemma 1. Let $p$ be a prime with $p\equiv1\bmod\ 3$ . Then for any third-order character $\chi$ of $\mathbf{F}_p$ , we have the identity

$\tau^3(\chi)+\tau^3(\overline{\chi}) = dp,$

where $d$ is uniquely determined by $4p = d^2+27y^2$ and $d\equiv1\bmod\ 3$ .

Proof. For the proof of this lemma see ^[3].

Lemma 2. Let $\chi$ be a third-order character of $\mathbf{F}_p$ with $p\equiv1\bmod\ 3$ , and $C(p) = \tau(\chi)+\tau(\overline{\chi})$ , then $C(p) = \sum\limits_{a = 1}^{p}e_p(a^3)$ .

Proof.

$A = \tau(\chi)+\tau(\overline{\chi}) = \sum\limits_{a = 1}^p(1+\chi(a)+\overline{\chi}(a))e(\frac{a}{p}) = \sum\limits_{a = 1}^pe(\frac{a^3}{p}).$

Lemma 3. Let $p\equiv1\bmod\ 6$ , $2\equiv z^3\bmod\ p$ for some $z$ , and let $\chi$ be a third-order character of $\mathbf{F}_p$ , $\psi$ be a sixth-order character of $\mathbf{F}_p$ , then we have the identity

$\tau(\psi) = \frac{\tau^2(\chi)}{\sqrt{p}}.\\$

Proof. This is Lemma 3 in ^[16].

Lemma 4. As the definition above, we have the identity

$G(m, 6;p) = \sqrt{p}\chi_2(m)+\frac{\overline{x^2}}{\sqrt{p}}\psi(m)+\frac{x^2}{\sqrt{p}}\overline{\psi}(m)+\overline{x}\chi(m)+x\overline{\chi}(m),$

where $(m, p) = 1$ and $x = \tau(\chi)$ .

Proof. Firstly we have the identity

$\begin{eqnarray} 1+\chi_2\left(m\right)+\chi\left(m\right)+\overline{\chi}\left(m\right)+\psi\left(m\right)+\overline{\psi}\left(m\right) = \left\{ \begin{array}{ll} 6, & \text{ if }\ m\equiv a^6\ \text{mod}\ p; \\ 0, & \text{otherwise.}\end{array}\right. \end{eqnarray}$

So we have

$\begin{eqnarray} G(m, 6;p)& = &\sum\limits_{a = 0}^{p-1}(1+\chi_2\left(a\right)+\chi\left(a\right)+\overline{\chi}\left(a\right)+\psi\left(a\right)+\overline{\psi}\left(a\right))e_p(ma)\\ & = &G(\chi_2, m)+G(\psi, m)+G(\overline{\psi}, m)+G(\chi, m)+G(\overline{\chi}, m) \end{eqnarray}$

By (2.1) and Lemma 3, we have

$\begin{eqnarray} G(m, 6;p)& = &\tau(\chi_2)\chi_2(m)+\tau(\overline{\psi})\psi(m)+\tau(\psi)\overline{\psi}(m)+\tau(\overline{\chi})\chi(m)+\tau(\chi)\overline{\chi}(m)\\ & = &\sqrt{p}\chi_2(m)+\frac{\overline{x^2}}{\sqrt{p}}\psi(m)+\frac{x^2}{\sqrt{p}}\overline{\psi}(m)+\overline{x}\chi(m)+x\overline{\chi}(m).\\ \end{eqnarray}$

(2.3)

By (2.3), we complete the proof of our lemma.

Next we let,

$\begin{eqnarray} G^n(m, 6;p) = a_n+b_n\chi_2(m)+c_n\psi(m)+d_n\overline{\psi}(m)+e_n\chi(m)+f_n\overline{\chi}(m). \end{eqnarray}$

(2.4)

Then we have following Lemma 5.

Lemma 5. Let $a_n, b_n, c_n, d_n, e_n, f_n$ are defined as above, then we have that $a_n, b_n, c_n, d_n, e_n, f_n$ are uniquely determined by $n$ , where $n\geq1$ .

Proof. By the orthogonality of characters of $\mathbf{F}_p$ , we have

$\begin{eqnarray} \sum\limits_{a = 1}^{p-1}\chi\left(a\right) = \left\{ \begin{array}{ll} p-1, & \text{ if}\ χ = χ_0; \\ 0, & \text{otherwise.}\end{array}\right. \end{eqnarray}$

(2.5)

By (2.4) and (2.5) we have

$\begin{eqnarray} \sum\limits_{m = 1}^{p-1}G^n(m, 6;p)& = &(p-1)a_n+b_n\sum\limits_{m = 1}^{p-1}\chi_2\left(m\right)+c_n\sum\limits_{m = 1}^{p-1}\psi\left(m\right)+d_n\sum\limits_{m = 1}^{p-1}\overline{\psi}\left(m\right)\\ &&+e_n\sum\limits_{m = 1}^{p-1}\chi\left(m\right)+f_n\sum\limits_{m = 1}^{p-1}\overline{\chi}\left(m\right)\\ & = &(p-1)a_n. \end{eqnarray}$

So we have

$\begin{eqnarray} &&a_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}G^n(m, 6;p). \end{eqnarray}$

(2.6)

By the same method, we have

$\begin{eqnarray} &&b_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\chi_2(m)G^n(m, 6;p), \\ &&c_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\overline{\psi}(m)G^n(m, 6;p), \\ &&d_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\psi(m)G^n(m, 6;p), \\ &&e_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\overline{\chi}(m)G^n(m, 6;p), \\ &&f_n = \frac{1}{p-1}\sum\limits_{m = 1}^{p-1}\chi(m)G^n(m, 6;p). \end{eqnarray}$

So now it is easy to see the conclusion of the lemma.

Lemma 6. The sequences $\{a_n\}$ , $\{b_n\}$ , $\{c_n\}$ , $\{d_n\}$ , $\{e_n\}$ , $\{f_n\}$ are defined above, then they satisfied the following recurrence formulae ( $n\geq0$ ):

$\begin{eqnarray} &&a_{n+1} = \sqrt{p}b_n+\frac{\overline{x^2}}{\sqrt{p}}d_n+\frac{x^2}{\sqrt{p}}c_n+xe_n+\overline{x}f_n, \end{eqnarray}$

(2.7)

$\begin{eqnarray} &&b_{n+1} = \sqrt{p}a_n+\frac{\overline{x^2}}{\sqrt{p}}e_n+\frac{x^2}{\sqrt{p}}f_n+xd_n+\overline{x}c_n, \end{eqnarray}$

(2.8)

$\begin{eqnarray} &&c_{n+1} = \sqrt{p}f_n+\frac{\overline{x^2}}{\sqrt{p}}a_n+\frac{x^2}{\sqrt{p}}e_n+xb_n+\overline{x}d_n, \end{eqnarray}$

(2.9)

$\begin{eqnarray} &&d_{n+1} = \sqrt{p}e_n+\frac{\overline{x^2}}{\sqrt{p}}f_n+\frac{x^2}{\sqrt{p}}a_n+xc_n+\overline{x}b_n, \end{eqnarray}$

(2.10)

$\begin{eqnarray} &&e_{n+1} = \sqrt{p}d_n+\frac{\overline{x^2}}{\sqrt{p}}c_n+\frac{x^2}{\sqrt{p}}b_n+xf_n+\overline{x}a_n, \end{eqnarray}$

(2.11)

$\begin{eqnarray} &&f_{n+1} = \sqrt{p}c_n+\frac{\overline{x^2}}{\sqrt{p}}b_n+\frac{x^2}{\sqrt{p}}d_n+xa_n+\overline{x}e_n, \end{eqnarray}$

(2.12)

with the initial condition

$a_0 = 1, b_0 = c_0 = d_0 = e_0 = f_0 = 0.$

Proof. We only prove (2.7), the rest can be proved in the same way. By Lemma 5, we know $a_n$ is unique determined by $n$ . We can compare the coefficient of the equation

$G^{n+1}(m, 6;p) = G^{n}(m, 6;p)G(m, 6;p).$

We have

$a_{n+1} = \sqrt{p}b_n+\frac{\overline{x^2}}{\sqrt{p}}d_n+\frac{x^2}{\sqrt{p}}c_n+xe_n+\overline{x}f_n.$

So we complete the proof of the lemma.

Lemma 7. Let $a_n$ is defined as above, then we have

$\begin{eqnarray} &&a_0 = 1, a_1 = 0, a_2 = 5p, a_3 = 10dp, a_4 = 56p^2+10d^2p, \\&&a_5 = 188dp^2+5d^3p+16dpC(p). \end{eqnarray}$

Proof. By Lemma 4 and after some elementary calculations we have

$\begin{eqnarray} G^2(m, 6;p)& = &5p+2dp^{1/2}\chi_2(m)+4p^{1/2}x\psi(m)+4p^{1/2}\overline{x}\overline{\psi}(m)\\ &&+(p^{-1}\overline{x^4}+3x^2)\chi(m)+(p^{-1}x^4+3\overline{x^2})\overline{\chi}(m), \\ G^3(m, 6;p)& = &10dp+(16p^{3/2}+dp^{1/2})\chi_2(m)+(15p\overline{x}+2dx^2+p^{-1}x^5)\chi(m)\\ &&+(15px+2d\overline{x^2}+p^{-1}\overline{x^5})\overline{\chi}(m)\\ &&+(4p^{-1/2}x^4+12p^{1/2}\overline{x^2}+2dp^{1/2}x)\psi(m)\\ &&+(4p^{-1/2}\overline{x^4}+12p^{1/2}x^2+2dp^{1/2}\overline{x})\overline{\psi}(m), \\ G^4(m, 6;p)& = &60p^2+9d^2p+dp+48dp^{3/2}\chi_2(m)\\ &&+(p^{-2}x^8+17\overline{x^4}+46px^2+16dp)\chi(m)\\ &&+(p^{-2}\overline{x^8}+17x^4+46p\overline{x^2}+16dp)\overline{\chi}(m)\\ &&+(56p^{3/2}x+4dp^{-1/2}x^4+12dp^{1/2}\overline{x^2}+8p^{-1/2}\overline{x^5})\psi(m)\\ &&+(56p^{3/2}\overline{x}+4dp^{-1/2}\overline{x^4}+12dp^{1/2}x^2+8p^{-1/2}x^5)\overline{\psi}(m), \\ G^5(m, 6;p)& = &188dp^2+5d^3p+16dpC(p)\\ &&+(52d^2p^{3/2}+208p^{5/2}+16dp^{1/2}(x^2+\overline{x^2}))\chi_2(m)\\ &&+(p^{-2/5}x^{10}+p^{-3/2}\overline{x^8}+4dp^{-1/2}\overline{x^5}+71p^{1/2}x^4\\&&+(46p^{3/2}+16p^{1/2})x^2\\ &&+(129p^{3/2}+10d^2p^{1/2})\overline{x^2}+60dp^{3/2}x+16dp^{3/2})\psi(m)\\ &&+(p^{-2/5}\overline{x^{10}}+p^{-3/2}x^8+4dp^{-1/2}x^5+71p^{1/2}\overline{x^4}\\&&+(46p^{3/2}+16p^{1/2})\overline{x^2}\\ &&+(129p^{3/2}+10d^2p^{1/2})x^2+60dp^{3/2}\overline{x}+16dp^{3/2})\overline{\psi}(m)\\ &&+(8p^{-1}\overline{x^7}+p^{-1}x^7+25x^5+52dpx^2\\&&+(28dp+46p^2)x+16d\overline{x^4}+112p^2\overline{x})\chi(m)\\ &&+(8p^{-1}x^7+p^{-1}\overline{x^7}+25\overline{x^5}+52dp\overline{x^2}\\&&+(28dp+46p^2)\overline{x}+16dx^4+112p^2x)\overline{\chi}(m), \end{eqnarray}$

and comparing the above formulae with (2.6), we have

$a_0 = 1, a_1 = 0, a_2 = 5p, a_3 = 10dp, a_4 = 60p^2+9d^2p+dp, a_5 = 188dp^2+5d^3p+16dpC(p).\\$

Lemma 8. Let $a_n$ , $b_n$ , $c_n$ , $d_n$ , $e_n$ , $f_n$ are defined as above, then we have

$\begin{eqnarray} a_6& = &5pa_4+10dpa_3+(46p^2+5d^2p+dp)a_2+(2p^2+120dp^2+3d^3p+d^2p+dp)a_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)a_0\\ b_6& = &5pb_4+10dpb_3+(46p^2+5d^2p+dp)b_2+(2p^2+120dp^2+3d^3p+d^2p+dp)b_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)b_0\\ c_6& = &5pc_4+10dpc_3+(46p^2+5d^2p+dp)c_2+(2p^2+120dp^2+3d^3p+d^2p+dp)c_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)c_0\\ d_6& = &5pd_4+10dpd_3+(46p^2+5d^2p+dp)d_2+(2p^2+120dp^2+3d^3p+d^2p+dp)d_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)d_0\\ e_6& = &5pe_4+10dpe_3+(46p^2+5d^2p+dp)e_2+(2p^2+120dp^2+3d^3p+d^2p+dp)e_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)e_0\\ f_6& = &5pf_4+10dpf_3+(46p^2+5d^2p+dp)f_2+(2p^2+120dp^2+3d^3p+d^2p+dp)f_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}+(129d^2+11d+6)p^2+d^4p)f_0 \end{eqnarray}$

Proof. We only proof the first formula, the rest can be proof in the same way. By Lemma 6, we have

$\begin{eqnarray} a_6& = &\sqrt{p}b_5+\frac{\overline{x^2}}{\sqrt{p}}d_5+\frac{x^2}{\sqrt{p}}c_5+xe_5+\overline{x}f_5\\ & = &5pa_4+2dp^{1/2}b_4+4p^{1/2}\overline{x}c_4+4p^{1/2}xd_4\\&&+(3\overline{x^2}+p^{-1}x^4)e_4+(3x^2+p^{-1}\overline{x^4})f_4\\ & = &5pa_4+10dpa_3+(d^2p^{1/2}+12p^{3/2})b_3+(2dp^{1/2}\overline{x}\\&&+8p^{1/2}x^2+p^{-1/2}\overline{x^4})c_3\\ &&+(2dp^{1/2}x+8p^{1/2}\overline{x^2}+p^{-1/2}x^4)d_3+(11px+\overline{x^2}+p^{-1}\overline{x^5})e_3\\ &&+(11p\overline{x}+x^2+p^{-1}x^5)f_3\\ & = &5pa_4+10dpa_3+(46p^2+5d^2p+dp)a_2+(25dp^{3/2}+2p^{3/2})b_2\\ &&+(p^{-3/2}\overline{x^7}+2p^{-1/2}x^5+p^{-1/2}\overline{x^4}+42p^{3/2}\overline{x}+2dp^{1/2}x^2\\&&+(d^2+1)p^{1/2}\overline{x})c_2\\ &&+(p^{-3/2}x^7+2p^{-1/2}\overline{x^5}+p^{-1/2}x^4+42p^{3/2}x+2dp^{1/2}\overline{x^2}\\&&+(d^2+1)p^{1/2}x)d_2\\ &&+(10x^4+(32p+d^2)\overline{x^2}+(4dp+p)x)e_2\\&&+(10\overline{x^4}+(32p+d^2)x^2+(4dp+p)\overline{x})f_2\\ & = &5pa_4+10dpa_3+(46p^2+5d^2p+dp)a_2\\&&+(2p^2+120dp^2+3d^3p+d^2p+dp)a_1\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p)a_0. \end{eqnarray}$

So we complete the proof of this lemma.

Lemma 9. Let $a_n$ is defined as above, then for any integer $n\geq0$ , we have

$\begin{eqnarray} a_{n+6}& = &5pa_{n+4}+10dpa_{n+3}+(46p^2+5d^2p+dp)a_{n+2}\\&&+(2p^2+120dp^2+3d^3p+d^2p+dp)a_{n+1}\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p)a_n. \end{eqnarray}$

Proof. By (2.4) and Lemma 8, we have

$\begin{eqnarray} G^{6}(m, 6;p)& = &5pG^{4}(m, 6;p)+10dpG^{3}(m, 6;p)+(46p^2+5d^2p+dp)G^{2}(m, 6;p)\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)G(m, 6;p)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p). \end{eqnarray}$

We multiple $G^{n}(m, 6;p)$ to the both side of the above formula, we have

$\begin{eqnarray} G^{n+6}(m, 6;p)& = &5pG^{n+4}(m, 6;p)+10dpG^{n+3}(m, 6;p)\\&&+(46p^2+5d^2p+dp)G^{n+2}(m, 6;p)\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)G^{n+1}(m, 6;p)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\&&+(129d^2+11d+6)p^2+d^4p)G^n(m, 6;p). \end{eqnarray}$

By Lemma 5, we can compare the coefficient of the above equation, we have

3. Proof of the theorem 1

In the formula below, we always let $k\geq1$ . By the following formula,

$\begin{eqnarray} \sum\limits_{a = 0}^{p-1}e_p\left(ma\right) = \left\{ \begin{array}{ll} p, & \text{ if }\ p\mid m; \\ 0, & \text{ otherwise, }\end{array}\right. \end{eqnarray}$

we have

$\begin{eqnarray} A(k, p)& = &\frac{1}{p}\sum\limits_{m = 0}^{p-1}\sum\limits_{x_1 = 0, x_2 = 0, \cdot\cdot\cdot, x_k = 0}^{p-1}e_p(m(x_1^6+x_2^6+\cdot\cdot\cdot+x_k^6))\\& = &\frac{1}{p}\sum\limits_{m = 0}^{p-1}G^k(m, 6;p). \end{eqnarray}$

(3.1)

By (8), we have

$\begin{eqnarray} A(k, p)& = &\frac{1}{p}\sum\limits_{m = 0}^{p-1}G^k(m, 6;p)\\ & = &\frac{1}{p}(\sum\limits_{m = 1}^{p-1}G^k(m, 6;p)+p^k)\\ & = &\frac{1}{p}((p-1)a_k+p^k) = \frac{p-1}{p}a_k+p^{k-1}. \end{eqnarray}$

(3.2)

So by Lemma 9, we have

$\begin{eqnarray} A(k+6, p)-p^{k+5}& = &5p(A(k+4, p)-p^{k+3})+10dp(A(k+3, p)-p^{k+2})\\ &&+(46p^2+5d^2p+dp)(A(k+2, p)-p^{k+1})\\ &&+(2p^2+120dp^2+3d^3p+d^2p+dp)(A(k+1, p)-p^k)\\ &&+(-4p^5+2d^2p^4+64p^{7/2}+381p^3+2d^2p^{5/2}\\ &&+(129d^2+11d+6)p^2+d^4p)(A(k, p)-p^{k-1}). \end{eqnarray}$

So we have

And by Lemma 7 and (3.2), we have the initial conditions

$\begin{eqnarray} &&A(1, p) = 1, A(2, p) = 4(p-1)+p, A(3, p) = 10d(p-1)+p^2, \\ &&A(4, p) = 56p(p-1)+10d^2(p-1)+p^3, \\ &&A(5, p) = 188dp(p-1)+5d^3(p-1)+16dC(p)(p-1)+p^4.\\ &&A(6, p) = p^5+1400p^2(p-1)+(388d^2+8d-576)p(p-1)+d^2p-d^2. \end{eqnarray}$

So we complete the proof of the theorem.

4. Conclusion

The main purpose of this paper is using analytic methods to give a recurrence formula of the number of solutions of an equation over finite field. And we give an expression of the number of solutions of the above equation by the root of sixth degree polynomial. We use analytic methods to give a recurrence formula for the number of solutions of the above equation. And our method is based on the properties of the Gauss sum. It is worth noting that we used a novel method to simplify the steps and avoid complicated calculations.

Acknowledgements

The author thanks to referees for very important recommendations and warnings which improved the paper.

Conflict of interest

The author declares that there is no competing interest.

References

[1]	Rumor rest stops on the information highway transmission patterns in a computer-mediated rumor chain. Human Communication Research (1998) 25: 163-179.
[2]	Emergence of influential spreaders in modified rumor models. Journal of Statistical Physics (2013) 151: 383-393.
[3]	D. J. Daley and D. G. Kendall, Epidemics and rumours, Nature, 204 (1964), 1118. doi: 10.1038/2041118a0
[4]	J. Dhar, A. Jain and V. K. Gupta, A mathematical model of news propagation on online social network and a control strategy for rumor spreading, Social Network Analysis and Mining, 6 (2016), 57. doi: 10.1007/s13278-016-0366-5
[5]	On the definition and the computation of the basic reproduction ratio $\mathcal{R}_0$ in models for infectious diseases in heterogeneous populations. Journal of Mathematical Biology (1990) 28: 365-382.
[6]	Studies on the population dynamics of a rumor-spreading model in online social networks. Physica A: Statistical Mechanics and its Applications (2018) 492: 10-20.
[7]	K. Kenney, A. Gorelik and S. Mwangi, Interactive features of online newspapers, First Monday, 5 (2000). doi: 10.5210/fm.v5i1.720
[8]	Lyapunov functions and global properties for SEIR and SEIS epidemic models. Mathematical Medicine and Biology: A Journal of the IMA (2004) 21: 75-83.
[9]	S. Kwon, M. Cha, K. Jung, W. Chen and Y. Wang, Prominent features of rumor propagation in online social media, 2013 IEEE 13th International Conference on Data Mining, (2013) 1103–1108. doi: 10.1109/ICDM.2013.61
[10]	J. Ma and D. Li, Rumor Spreading in Online-Offline Social Networks, PACIS 2016 Proceedings, 173 (2016).
[11]	Rumor spreading in online social networks by considering the bipolar social reinforcement. Physica A: Statistical Mechanics and its Applications (2016) 447: 108-115.
[12]	Y. Moreno, M. Nekovee and A. F. Pacheco, Dynamics of rumor spreading in complex networks, Physical Review E, 69 (2004), 066130. doi: 10.1103/PhysRevE.69.066130
[13]	An Exploration of Social Media in Extreme Events: Rumor Theory and Twitter during the Haiti Earthquake 2010. Icis (2010) 231: 7332-7336.
[14]	R. Pastor-Satorras, C. Castellano, P. Van Mieghem and A. Vespignani, Epidemic processes in complex networks, Reviews of Modern Physics, 87 (2015), 925. doi: 10.1103/RevModPhys.87.925
[15]	Multiple transmission pathways and disease dynamics in a waterborne pathogen model. Bulletin of Mathematical Biology (2010) 72: 1506-1533.
[16]	Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Mathematical Biosciences (2002) 180: 29-48.
[17]	Rumor spreading model with consideration of forgetting mechanism: A case of online blogging LiveJournal. Physica A: Statistical Mechanics and its Applications (2011) 390: 2619-2625.
[18]	The dynamics analysis of a rumor propagation model in online social networks. Physica A: Statistical Mechanics and its Applications (2019) 520: 118-137.
[19]	L. Zhu, X. Zhou and Y. Li, Global dynamics analysis and control of a rumor spreading model in online social networks, Physica A: Statistical Mechanics and its Applications, 526 (2019), 120903, 15 pp. doi: 10.1016/j.physa.2019.04.139

Reader Comments

Your name:*

Email:*
© 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Networks and Heterogeneous Media

1.3 1.9

Metrics

Article views(2475) PDF downloads(298) Cited by(4)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Networks and Heterogeneous Media

Rumor spreading dynamics with an online reservoir and its asymptotic stability

Related Papers:

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Catalog

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References

Networks and Heterogeneous Media

Rumor spreading dynamics with an online reservoir and its asymptotic stability

Related Papers:

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Figures and Tables

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Abstract

1. Introduction

2. Some Lemmas

3. Proof of the theorem 1

4. Conclusion

Acknowledgements

Conflict of interest

References