Loading [MathJax]/jax/output/SVG/jax.js
Research article

A numerical model applied to the simulation of cardiovascular hemodynamics and operating condition of continuous-flow left ventricular assist device

  • The mathematical modeling of the cardiovascular system is a simple and noninvasive method to comprehend hemodynamics and the operating mechanism of the mechanical circulatory assist device. In this study, a numerical model was developed to simulate hemodynamics under different conditions and to evaluate the operating condition of continuous-flow left ventricular assist device (LVAD). The numerical model consisted of a cardiovascular lumped parameter (CLP) model, a baroreflex model, and an LVAD model. The CLP model was established to simulate the human cardiovascular system including the left heart, right heart, systemic circulation, and pulmonary circulation. The baroreflex model was used to regulate left and right ventricular end-systolic elastances, systemic vascular resistance, and heart rate. The centrifugal pump HeartMate Ⅲ used as an example to simulate the rotary pump dynamics at different operating speeds. Simulation results show that hemodynamics under normal, left ventricular failure and different levels of pump support conditions can be reproduced by the numerical model. Based on simulation results, HeartMate Ⅲ operating speed can be maintained between 3600 rpm and 4400 rpm to avoid pump regurgitation and ventricular suction. Additionally, in the simulation system, the HeartMate Ⅲ operating speed should be between 3600 rpm and 3800 rpm to provide optimal physiological perfusion. Thus, the developed numerical model is a feasible solution to simulate hemodynamics and evaluate the operating condition of continuous-flow LVAD.

    Citation: Hongtao Liu, Shuqin Liu, Xiaoxu Ma, Yunpeng Zhang. A numerical model applied to the simulation of cardiovascular hemodynamics and operating condition of continuous-flow left ventricular assist device[J]. Mathematical Biosciences and Engineering, 2020, 17(6): 7519-7543. doi: 10.3934/mbe.2020384

    Related Papers:

    [1] Weihua Li, Chengcheng Fang, Wei Cao . On the number of irreducible polynomials of special kinds in finite fields. AIMS Mathematics, 2020, 5(4): 2877-2887. doi: 10.3934/math.2020185
    [2] Shakir Ali, Amal S. Alali, Atif Ahmad Khan, Indah Emilia Wijayanti, Kok Bin Wong . XOR count and block circulant MDS matrices over finite commutative rings. AIMS Mathematics, 2024, 9(11): 30529-30547. doi: 10.3934/math.20241474
    [3] Phitthayathon Phetnun, Narakorn R. Kanasri . Further irreducibility criteria for polynomials associated with the complete residue systems in any imaginary quadratic field. AIMS Mathematics, 2022, 7(10): 18925-18947. doi: 10.3934/math.20221042
    [4] Qian Liu, Jianrui Xie, Ximeng Liu, Jian Zou . Further results on permutation polynomials and complete permutation polynomials over finite fields. AIMS Mathematics, 2021, 6(12): 13503-13514. doi: 10.3934/math.2021783
    [5] Kaimin Cheng . Permutational behavior of reversed Dickson polynomials over finite fields. AIMS Mathematics, 2017, 2(2): 244-259. doi: 10.3934/Math.2017.2.244
    [6] Jovanny Ibarguen, Daniel S. Moran, Carlos E. Valencia, Rafael H. Villarreal . The signature of a monomial ideal. AIMS Mathematics, 2024, 9(10): 27955-27978. doi: 10.3934/math.20241357
    [7] Xiaofan Xu, Yongchao Xu, Shaofang Hong . Some results on ordinary words of standard Reed-Solomon codes. AIMS Mathematics, 2019, 4(5): 1336-1347. doi: 10.3934/math.2019.5.1336
    [8] Varsha Jarali, Prasanna Poojary, G. R. Vadiraja Bhatta . A recent survey of permutation trinomials over finite fields. AIMS Mathematics, 2023, 8(12): 29182-29220. doi: 10.3934/math.20231495
    [9] Shitian Liu . Finite groups for which all proper subgroups have consecutive character degrees. AIMS Mathematics, 2023, 8(3): 5745-5762. doi: 10.3934/math.2023289
    [10] Xiaoer Qin, Li Yan . Some specific classes of permutation polynomials over Fq3. AIMS Mathematics, 2022, 7(10): 17815-17828. doi: 10.3934/math.2022981
  • The mathematical modeling of the cardiovascular system is a simple and noninvasive method to comprehend hemodynamics and the operating mechanism of the mechanical circulatory assist device. In this study, a numerical model was developed to simulate hemodynamics under different conditions and to evaluate the operating condition of continuous-flow left ventricular assist device (LVAD). The numerical model consisted of a cardiovascular lumped parameter (CLP) model, a baroreflex model, and an LVAD model. The CLP model was established to simulate the human cardiovascular system including the left heart, right heart, systemic circulation, and pulmonary circulation. The baroreflex model was used to regulate left and right ventricular end-systolic elastances, systemic vascular resistance, and heart rate. The centrifugal pump HeartMate Ⅲ used as an example to simulate the rotary pump dynamics at different operating speeds. Simulation results show that hemodynamics under normal, left ventricular failure and different levels of pump support conditions can be reproduced by the numerical model. Based on simulation results, HeartMate Ⅲ operating speed can be maintained between 3600 rpm and 4400 rpm to avoid pump regurgitation and ventricular suction. Additionally, in the simulation system, the HeartMate Ⅲ operating speed should be between 3600 rpm and 3800 rpm to provide optimal physiological perfusion. Thus, the developed numerical model is a feasible solution to simulate hemodynamics and evaluate the operating condition of continuous-flow LVAD.


    The study of Diophantine equations plays a very important role in number theory, and the integer solutions of Diophantine equations are widely used in cryptography and coding theory. Silverman [1] studied the parametric solution of equation

    X3+Y3=A,

    Li and Yuan [2] proved that the simultaneous Pell equations possess at most one positive integer solution under certain conditions.

    A Diophantine equation of the form

    a1x1+a2x2++atxt=s (1.1)

    is called a multivariate linear Diophantine equation, where s,a1,a2,,at are nonzero integers and t2. It is well known that for any given nonzero integers a and b, there are two integers u and v such that

    ua+vb=(a,b),

    where (a,b) represents the greatest common divisor of a and b. Now we introduce some symbols associated with Eq (1.1) as follows:

    (a1,a2)=d2,(d2,a3)=d3,,(dt1,at)=dt.

    That is, there exist integers u1,u2,,ut and v2,v3,,vt1 such that

    {a1u1+a2u2=d2,d2v2+a3u3=d3,dt1vt1+atut=dt. (1.2)

    Li [3] gave the structure of the general solution of the multivariate linear Diophantine equation.

    Theorem 1.1. ([3]) The multivariate linear Diophantine Eq (1.1) has solutions if and only if dt|s. Furthermore, if dt|s and t4, then the general solutions of Diophantine Eq (1.1) are

    {x1=u1(δ2it1vi+4jtˉaj2ij2visj1+ˉa3s2)+ˉa2s1,x2=u2(δ2it1vi+4jtˉaj2ij2visj1+ˉa3s2)a1d12s1,x3=u3(δ3it1vi+5jtˉaj3ij2visj1+ˉa4s3)d2d13s2,xt1=ut1(δvt1+ˉatst1)dt2d1t1st2,xt=utδdt1d1tst1, (1.3)

    where si(1it1) are arbitrary integers and δ=sd1t,ˉaj=ajd1j for 2jt.

    Let Fq be a finite field of q elements with characteristic p, and Fqn be its extension of degree n, where p is a prime number and n 2 is an integer. Zhu et al. [4] obtained an explicit formula for the number of solutions to the equation

    f(x1)++f(xn)=a

    over Fq. Zhao et al. [5] found an explicit formula for the number of solutions of the two-variable diagonal quartic equation

    x41+x42=c

    over Fq.

    A basis of Fqn over Fq of the form {α,αq,,αqn1} is called a normal basis of Fqn over Fq, and α is called a normal element of Fqn over Fq. An irreducible polynomial f(x) Fq[x] is called a normal polynomial if all the roots of f(x) are normal elements of Fqn over Fq. The trace of α is defined as

    Tr(α)=α+αq++αqn1

    and the trace of f(x) is defined to be the coefficient of xn1. Theorems 1.1 and 1.2 below give a simple criterion to check when an irreducible polynomial is a normal polynomial.

    Theorem 1.2. ([6]) Let n=pe with e1. Then an irreducible polynomial

    f(x)=xn+a1xn1++anFq[x]

    is a normal polynomial if and only if a10.

    Theorem 1.3. ([7]) Let n be a prime different from p, and let q be a primitive root modulo n. Then an irreducible polynomial

    f(x)=xn+a1xn1++anFq[x]

    is a normal polynomial if and only if a10.

    In 2001, Chang([8]) et al. furthermore proved that the conditions in Theorems 1.1 and 1.2 are also necessary.

    Theorem 1.4. ([8]) If every irreducible polynomial

    f(x)=xn+a1xn1++anFq[x]

    with a10 is a normal polynomial, then n is either a power of p or a prime different from p, and q is a primitive root modulo n.

    In 2018, Huang et al. [9] presented a unified proof of Theorems 1.1–1.3 by comparing the number of normal polynomials and that of irreducible polynomials over Fq.

    The factorization of xn1 and its irreducible factors are closely related to the normal elements in Fqn over Fq (see [10, Section 2]). Denote by F(xn1) the set of all distinct monic irreducible factors of xn1 in a given finite field, Φr(x) a r-th cyclotomic polynomial, and φ() the Euler function. Write

    n=mpe,

    where e0 is an integer, p is the characteristic of Fq, and pm. Below are the known results for

    |F(xn1)|=1,2.

    Theorem 1.5. ([11]) The following statements are equivalent:

    (a) |F(xn1)|=1.

    (b) F(xn1) = {x1}.

    (c) n=pe.

    Theorem 1.6. ([11]) The following statements are equivalent:

    (a) |F(xn1)|=2.

    (b) F(xn1) = {x1,1+x++xm1}.

    (c) m is a prime different from p, and q is a primitive root modulo m.

    We summarize the five theorems above into the theorem below:

    Theorem 1.7. The following statements are equivalent:

    (a) Every irreducible polynomial of degree n over Fq with a nonzero trace is a normal polynomial.

    (b) F(xn1){x1,1+x++xn1}.

    (c) (c1) n=pe, or

    (c2) n is a prime different from p, with q being a primitive root modulo n.

    Cao [11] presented a new and unified proof of Theorem 1.6 and also extended Theorem 1.6. In this paper, we give the necessary and sufficient condition for the polynomial xn1 to have s different irreducible factors for a given positive integer s.

    Lemma 2.1 indicates that factorization of xn1 in finite fields is closely related to the cyclotomic polynomials.

    Lemma 2.1. ([12]) Let Fq be a finite field of characteristic p, and let n be a positive integer not divisible by p. Then

    xn1=d|nΦd(x).

    Lemma 2.2. ([13]) Let l be the order of a modulo m, an1 (mod m), then ln.

    Lemma 2.3. ([12]) Let Fq be a finite field and n a positive integer with (q,n)=1. Then the cyclotomic polynomial Φn(x) factors into φ(n)d distinct monic irreducible polynomials in Fq[x] of the same degree d, where d is the order of q modulo n.

    Lemma 2.4 is the well-known theorem about the existence of primitive roots.

    Lemma 2.4. ([14]) Let n be a positive integer. Then n possesses primitive roots if and only if n is of the form 2, 4, pα, or 2pα, where p is an odd prime and α is a positive integer.

    By Lemmas 2.3 and 2.4, we have the following lemma:

    Lemma 2.5. The cyclotomic polynomial Φn(x) is irreducible over Fq if and only if n=2,4,pα,2pα, and q is a primitive root modulo n.

    We define vp(x) to be the greatest power in which a prime p divides x, that is, if vp(x)=α, then pα|x but pα+1x. The following lemma is called the lifting the exponent lemma (LTE):

    Lemma 2.6. ([15]) Let x and y be (not necessarily positive) integers, n be a positive integer, and p be an odd prime such that p|xy and none of x and y is divisible by p. We have

    vp(xnyn)=vp(xy)+vp(n).

    Lemma 2.7. Let p be an odd prime and g be a primitive root modulo p2, with (g,p)=1. Then g is a primitive root modulo pl(l1).

    Proof. We first prove that g is a primitive root modulo pl(l2) by induction on l. Let g be a primitive root modulo pl. The order of g modulo pl+1 is d. We have

    φ(pl)|d,d|φ(pl+1),

    which shows that

    d=pl1(p1)

    or

    d=pl(p1).

    We next prove that

    dpl1(p1).

    According to Euler's theorem, we have

    gpl2(p1)1(mod pl1),

    there exists an integer k such that

    gpl2(p1)=1+kpl1,

    since g is a primitive root modulo pl, we have

    gpl2(p1)1(mod pl),plkpl1,(k,p)=1.

    Obviously, for l2, we have

    2l1l+1

    and

    3(l1)l+1,

    which shows that

    gpl1(p1)=(1+kpl1)p=1+kpl+k2p(p1)2p2(l1)+tp3(l1)+1+kpl(modpl+1),

    where t is an integer and (k,p)=1. It follows that

    gpl1(p1)1+kpl1(mod pl+1).

    Therefore

    dpl1(p1),d=pl(p1),

    and g is a primitive root modulo pl+1.

    We next use the LTE to prove that g is a primitive root modulo p. The Euler's theorem shows that

    gφ(p)1(modp),

    since g is a primitive root modulo p2, we have

    vp(gφ(p)1)=1.

    Let h be the order of g modulo p, then h|φ(p). Similarly, we can obtain

    vp(gh1)=1.

    Let x=gh, y=1, then (p,gh)=1, p|gh1. By the LTE, we have

    vp(gph1)=vp(gh1)+vp(p)=1+1=2,

    which shows that

    p2|gph1,gph1(mod p2),

    if h<φ(p), then ph<φ(p2), a contradiction. Thus h=φ(p), g is a primitive root modulo p.

    Lemma 2.8. Let g be a primitive root modulo pl. Then g is a primitive root modulo 2pl, where g is odd and p and l are the same as mentioned above.

    Proof. Let s be the order of g modulo 2pl. Then

    gs1(mod 2pl),s|φ(2pl).

    So we have

    gs1(mod pl).

    Since g is a primitive root modulo pl, we have φ(pl)|s and hence φ(2pl)|s. So

    s=φ(2pl)

    and g is a primitive root modulo 2pl.

    Combining Lemmas 2.1 and 2.3, we can calculate the number of different irreducible factors for xn1 over Fq. Let m be a positive integer,

    m=pα11pα22pαll

    be its prime decomposition. If

    n=mpe,

    where e0 is an integer, and p is the characteristic of Fq with pm. Then we can calculate that

    |F(xn1)|=mmφ(m)dm,

    where dm denotes the order of q modulo m. Note that there are lk=1(αk+1) items in the summation, where lk=1(αk+1) is the number of factors of m.

    Now assume that s and m are given positive integers, m1,,mt are the t factors of m. Thus, we have

    xn1=ti=1Φmi(x)pe.

    If xn1 factors into s distinct irreducible polynomials in Fq[x], then

    |F(xn1)|=ti=1φ(mi)dmi=s, (3.1)

    there are t items in the summation, the necessary and sufficient condition for

    |F(xn1)|=s

    is determined as follows:

    Observe φ(mi)dmi (i=1,2,,t), and φ(mi) are known; with the difference of q, the values of dmi will also change, that is, the values of φ(mi)dmi will change in the different Fq. Therefore, the t items in (3.1) can be regarded as t variables, and (3.1) can be regarded as the Diophantine equation with t variables

    x1+x2++xt=s. (3.2)

    Remark 3.1. Combining Lemma 2.2 and Euler's theorem, we know that φ(mi)dmi (i=1,2,,t) are positive integers. So we only need to consider the positive integer solutions of (3.2).

    Remark 3.2. The positive integers s and t satisfy ts. Otherwise, if t>s, then it follows from Lemmas 2.1 and 2.3 that

    |F(xn1)|>s.

    Remark 3.3. As we all know

    Φ1(x)=x1

    is a factor of xn1, and x1 is irreducible over Fq; the order of q modulo 1 is d1=1. Thus, at least one positive integer solution of (3.2) whose value is 1.

    We can find the positive integer solutions of (3.2). Without loss of generality, we suppose that

    xi=φ(mi)dmi=ki (i=1,2,,t) (3.3)

    is the positive integer solution of (3.2), thus we have

    dmi=φ(mi)ki (i=1,2,,t). (3.4)

    If there exists q such that the order of q modulo mi is

    dmi=φ(mi)ki  (i=1,2,,t),

    then it follows from Lemma 2.3 that Φmi(x) factors into

    φ(mi)φ(mi)ki=ki

    distinct monic irreducible polynomials over Fq of the same degree

    dmi=φ(mi)ki.

    Therefore, we have

    |F(xn1)|=k1+k2++kt=s,

    that is, xn1 factors into s distinct irreducible polynomials over Fq.

    In conclusion, we have the following result:

    Theorem 3.4. (Main result) Let Fq denote the finite field of q elements with characteristic p. Let p be a prime. Let

    n=mpe

    with e0, pm. Let s be a positive integer. The t factors of m are m1,m2,,mt and dmi denotes the order of q modulo mi. Then

    |F(xn1)|=s,

    if and only if

    xi=φ(mi)dmi  (i=1,2,,t)

    is a solution to the Diophantine equation

    x1+x2++xt=s.

    Proof. We first assume that

    xi=φ(mi)dmi=ki  (i=1,2,,t)

    is the solution of the Diophantine equation

    x1+x2++xt=s.

    By Lemmas 2.1 and 2.3, we have

    xn1=ti=1Φmi(x)pe

    and Φmi(x) factors into

    φ(mi)φ(mi)ki=ki

    distinct monic irreducible polynomials in Fq[x] of the same degree

    dmi=φ(mi)ki  (i=1,2,,t).

    Hence, we obtain

    |F(xn1)|=ti=1ki=s.

    Suppose

    |F(xn1)|=s.

    According to Lemma 2.3, we have

    |F(xn1)|=ti=1φ(mi)dmi=s.

    So

    xi=φ(mi)dmi  (i=1,2,,t)

    is the solution of the Diophantine equation

    x1+x2++xt=s.

    We apply Theorem 3.4 to deduce Theorem 1.6. Note that Theorem 1.5 is trivial. Recall that

    n=mpe,

    where e0 is an integer and p is the characteristic of Fq with pm.

    For Theorem 1.6

    |F(xn1)|=2,

    we know that m has two factors; thus, m is a prime different from p,

    xn1=(Φ1(x)Φm(x))pe.

    The unique positive integer solution of the Diophantine equation

    x1+x2=2

    is

    x1=x2=1.

    Since

    φ(1)d1=1,

    and by Theorem 3.4, we have

    φ(m)dm=1,

    that is, dm=φ(m), q is a primitive root modulo m. It follows from Lemma 2.5 that the cyclotomic polynomial Φm(x) is irreducible over Fq. Thus

    |F(xn1)|=2.

    The necessary and sufficient conditions for

    |F(xn1)|=3,4,5

    are given, respectively, below: for

    |F(xn1)|=3,

    we know that t3, where t is the number of factors of m.

    Case 1. If m has three factors, then m=r2, where r is a prime different from p.

    xn1=(Φ1(x)Φr(x)Φr2(x))pe.

    The unique positive integer solution of the Diophantine equation

    x1+x2+x3=3

    is

    x1=x2=x3=1.

    By Theorem 3.4, we have

    φ(r)dr=1,  φ(r2)dr2=1,

    that is,

    dr=φ(r),  dr2=φ(r2),

    q is a primitive root modulo r and r2. Recall Lemma 2.7: If q is a primitive root modulo r2, then q is a primitive root modulo r. Cyclotomic polynomials Φr(x) and Φr2(x) are irreducible over Fq. Thus

    |F(xn1)|=3.

    Case 2. If m has two factors, then m=r,

    xn1=(Φ1(x)Φr(x))pe.

    The positive integer solution of the Diophantine equation

    x1+x2=3

    is x1=1, x2=2. Hence, we obtain

    φ(r)dr=2,

    that is,

    dr=φ(r)2,

    the order of q modulo r is φ(r)2. According to Lemma 2.3, the cyclotomic polynomial Φr(x) factors into

    φ(r)φ(r)2=2

    distinct monic irreducible polynomials in Fq[x] of the same degree

    dr=φ(r)2.

    Thus

    |F(xn1)|=3.

    In conclusion, we have the following result:

    Theorem 4.1. The following statements are equivalent:

    (a) |F(xn1)|=3.

    (b) (b1) F(xn1) = {x1,f1(x),f2(x)}, where m=r,

    f1(x)f2(x)=Φr(x),degf1=degf2=φ(r)2.

    (b2) F(xn1) = {x1,Φr(x),Φr2(x)}, where m=r2.

    (c) (c1) m=r, and the order of q modulo r is φ(r)2.

    (c2) m=r2, and q is a primitive root modulo r2.

    For

    |F(xn1)|=4,

    we know that t4, where t is the number of factors of m. In the remaining part of this paper, we always assume that r is an odd prime different from p.

    If m has four factors, then the possible values of m are r3, 2r, p1p2 or 8, where p1 and p2 are odd primes different from p. The unique positive integer solution of the Diophantine equation

    x1+x2+x3+x4=4

    is

    x1=x2=x3=x4=1.

    Case 1. If m=r3, then

    xn1=(Φ1(x)Φr(x)Φr2(x)Φr3(x))pe,

    and we have

    φ(r)dr=φ(r2)dr2=φ(r3)dr3=1,

    that is, q is a primitive root modulo rl,l=1,2,3, which requires that q is a primitive root modulo r2. The cyclotomic polynomials Φr(x), Φr2(x), and Φr3(x) are irreducible over Fq. Thus

    |F(xn1)|=4.

    Case 2. If m=2r, then

    xn1=(Φ1(x)Φ2(x)Φr(x)Φ2r(x))pe,

    and we have

    φ(2)d2=φ(r)dr=φ(2r)d2r=1,

    that is, q is a primitive root modulo r and 2r. Recall Lemma 2.8: If q is a primitive root modulo r, then q is a primitive root modulo 2r. The cyclotomic polynomials Φr(x) and Φ2r(x) are irreducible over Fq. Obviously, the order of q modulo 2 is d2=1, and

    Φ2(x)=x+1

    is irreducible over Fq. Thus

    |F(xn1)|=4.

    Case 3. If m=p1p2, then

    xn1=(Φ1(x)Φp1(x)Φp2(x)Φp1p2(x))pe,

    and we have

    φ(p1)dp1=φ(p2)dp2=φ(p1p2)dp1p2=1.

    It follows from Lemma 2.4 that p1p2 has no primitive root, which contradicts

    dp1p2=φ(p1p2).

    The cyclotomic polynomial Φp1p2(x) is reducible over Fq. Thus

    |F(xn1)|>4.

    Case 4. If m=8, then

    xn1=(Φ1(x)Φ2(x)Φ4(x)Φ8(x))pe.

    Since 8 has no primitive root, Φ8(x) is reducible over Fq. Thus

    |F(xn1)|>4.

    If m has three factors, then the possible values of m are r2 or 4. The positive integer solution of the equation

    x1+x2+x3=4

    is

    x1=x2=1,x3=2.

    Case 1. If m=r2, then

    xn1=(Φ1(x)Φr(x)Φr2(x))pe,

    and we have

    φ(r)dr=2,  φ(r2)dr2=1

    or

    φ(r)dr=1,  φ(r2)dr2=2.

    For the former, the order of q modulo r is

    dr=φ(r)2,

    and q is a primitive root modulo r2, which is impossible by Lemma 2.7. For the latter, q is a primitive root modulo r, and the order of q modulo r2 is φ(r2)2. It follows that

    qφ(r)1(mod r),  qφ(r2)2=qrφ(r)21(mod r2),  qrφ(r)21(mod r).

    Thus φ(r)|rφ(r)2. Since r is an odd prime, r2 is not an integer, and the divisibility is not valid.

    Case 2. If m=4, then

    xn1=(Φ1(x)Φ2(x)Φ4(x))pe,

    and we have

    φ(4)d4=2,

    that is, the order of q modulo 4 is

    d4=φ(4)2=1.

    The cyclotomic polynomial

    Φ4(x)=1+x2

    factors into

    φ(4)φ(4)2=2

    distinct monic irreducible polynomials in Fq[x] of the same degree, d4=1. Thus

    |F(xn1)|=4.

    If m has two factors, then m=r,

    xn1=(Φ1(x)Φr(x))pe.

    The positive integer solution of the Diophantine equation

    x1+x2=4

    is x1=1, x2=3. Hence, we have

    φ(r)dr=3,

    that is, the order of q modulo r is φ(r)3. The cyclotomic polynomial Φr(x) factors into three distinct monic irreducible polynomials in Fq[x] of the same degree φ(r)3. Thus

    |F(xn1)|=4.

    In conclusion, we have the following result:

    Theorem 4.2. The following statements are equivalent:

    (a) |F(xn1)|=4.

    (b) (b1) F(xn1) = {x1,f1(x),f2(x),f3(x)}, where m=r,

    f1(x)f2(x)f3(x)=Φr(x),degf1=degf2=degf3=φ(r)3.

    (b2) F(xn1) = {x1,Φr(x),Φr2(x),Φr3(x)}, where m=r3.

    (b3) F(xn1) = {x1,x+1,Φr(x),Φ2r(x)}, where m=2r.

    (b4) F(xn1) = {x1,x+1,x+e1,x+e2}, where m=4, e1 and e2 are integers.

    (c) (c1) m=r, and the order of q modulo r is φ(r)3.

    (c2) m=r3, and q is a primitive root modulo r2.

    (c3) m=2r, and q is a primitive root modulo r.

    (c4) m=4, and the order of q modulo 4 is 1.

    For

    |F(xn1)|=5,

    we know that t5, where t is the number of factors of m.

    If m has five factors, then the possible values of m are r4 or 16. The unique positive integer solution of the equation

    x1+x2+x3+x4+x5=5

    is

    x1=x2=x3=x4=x5=1.

    Case 1. If m=r4, then

    xn1=(Φ1(x)Φr(x)Φr2(x)Φr3(x)Φr4(x))pe,

    and we have

    φ(r)dr=φ(r2)dr2=φ(r3)dr3=φ(r4)dr4=1,

    that is, q is a primitive root modulo rl,l=1,2,3,4, which requires that q is a primitive root modulo r2. The cyclotomic polynomials Φr(x),Φr2(x),Φr3(x), and Φr4(x) are irreducible over Fq. Thus

    |F(xn1)|=5.

    Case 2. If m=16, then

    xn1=(Φ1(x)Φ2(x)Φ4(x)Φ8(x)Φ16(x))pe.

    Since 8 and 16 have no primitive root, we know that Φ8(x) and Φ16(x) are reducible over Fq. Thus

    |F(xn1)|>5.

    If m has four factors, then the possible values of m are r3,8,2r or p1p2. The positive integer solution of the equation

    x1+x2+x3+x4=5

    is

    x1=x2=x3=1,x4=2.

    Case 1. If m=r3, then

    xn1=(Φ1(x)Φr(x)Φr2(x)Φr3(x))pe.

    It follows from Lemma 2.7 that

    φ(r2)dr2=2

    and

    φ(r)dr=φ(r3)dr3=1,

    that is, q is a primitive root modulo r3, the order of q modulo r2 is φ(r2)2. It follows that

    qφ(r3)1(mod r3),  qφ(r2)21(mod r2),  qφ(r2)21(mod r).

    Since q is a primitive root modulo r3, we have

    vr(qφ(r2)21)=2.

    By Lemma 2.6, we have

    vr(qrφ(r2)21)=vr(qφ(r2)21)+vr(r)=2+1=3,
    qφ(r3)21(modr3),

    which is a contradiction. Thus, if m=r3, then

    |F(xn1)|5.

    Case 2. If m=8, then

    xn1=(Φ1(x)Φ2(x)Φ4(x)Φ8(x))pe,

    and we have

    φ(4)d4=1,  φ(8)d8=2,

    that is, q is a primitive root modulo 4, which means q is congruent to 3 modulo 4, therefore the order of q modulo 8 is

    φ(8)2=2.

    Φ4(x) is irreducible over Fq, and Φ8(x) factors into

    φ(8)φ(8)2=2

    distinct monic irreducible polynomials in Fq[x] of the same degree 2. Thus

    |F(xn1)|=5.

    Case 3. If m=2r, then

    xn1=(Φ1(x)Φ2(x)Φr(x)Φ2r(x))pe.

    It follows from Lemma 2.8 that

    φ(r)dr=2,  φ(2r)d2r=1,

    that is, q is a primitive root modulo 2r, and the order of q modulo r is φ(r)2, Φ2r(x) is irreducible over Fq and Φr(x) factors into

    φ(r)φ(r)2=2

    distinct monic irreducible polynomials in Fq[x] of the same degree φ(r)2. Thus

    |F(xn1)|=5.

    Case 4. If m=p1p2, then

    xn1=(Φ1(x)Φp1(x)Φp2(x)Φp1p2(x))pe.

    Since p1p2 has no primitive root, we have

    φ(p1)dp1=φ(p2)dp2=1,  φ(p1p2)dp1p2=2,

    that is, q is a primitive root modulo p1 and p2, and the order of q modulo p1p2 is φ(p1p2)2, Φp1(x) and Φp2(x) are irreducible over Fq, and Φp1p2(x) factors into

    φ(p1p2)φ(p1p2)2=2

    distinct monic irreducible polynomials in Fq[x] of the same degree φ(p1p2)2. Thus

    |F(xn1)|=5.

    If m has three factors, then the possible values of m are 4 or r2. If m=4, there are at most four distinct irreducible factors for xn1. Thus

    |F(xn1)|<5.

    If m=r2, then

    xn1=(Φ1(x)Φr(x)Φr2(x))pe.

    The positive integer solutions of the equation

    x1+x2+x3=5

    are

    x1=1,  x2=x3=2,orx1=x2=1,  x3=3.

    For the former, we have

    φ(r)dr=φ(r2)dr2=2,

    that is, the order of q modulo r is φ(r)2 and the order of q modulo r2 is φ(r2)2, Φr(x), and Φr2(x) factor into 2 distinct monic irreducible polynomials in Fq[x]. Thus

    |F(xn1)|=5.

    For the latter, it follows from Lemma 2.7 that

    φ(r)dr=1andφ(r2)dr2=3,

    that is, q is a primitive root modulo r, and the order of q modulo r2 is φ(r2)3, Φr(x) is irreducible over Fq and Φr2(x) factors into 3 distinct monic irreducible polynomials in Fq[x]. Thus

    |F(xn1)|=5.

    If m has two factors, then

    m=r,  xn1=(Φ1(x)Φr(x))pe.

    The positive integer solution of the equation x1+x2=5 is x1=1,x2=4. Hence, we have

    φ(r)dr=4,

    that is, the order of q modulo r is φ(r)4. The cyclotomic polynomial Φr(x) factors into four distinct monic irreducible polynomials in Fq[x]. Thus

    |F(xn1)|=5.

    In conclusion, we obtain the following result:

    Theorem 4.3. The following statements are equivalent:

    (a) |F(xn1)|=5.

    (b) (b1) F(xn1) = {x1,Φr(x),Φr2(x),Φr3(x),Φr4(x)}, where m=r4.

    (b2) F(xn1) = {x1,x+1,Φ4(x),f1(x),f2(x)}, where m=8,

    f1(x)f2(x)=Φ8(x),degf1=degf2=2.

    (b3) F(xn1) = {x1,x+1,g1(x),g2(x),Φ2r(x)}, where m=2r,

    g1(x)g2(x)=Φr(x),degg1=degg2=φ(r)2.

    (b4) F(xn1) = {x1,Φp1(x),Φp2(x),h1(x),h2(x)}, where m=p1p2,

    h1(x)h2(x)=Φp1p2(x),degh1=degh2=φ(p1p2)2.

    (b5) F(xn1) = {x1,k1(x),k2(x),r1(x),r2(x)}, where m=r2,

    k1(x)k2(x)=Φr(x),degk1=degk2=φ(r)2andr1(x)r2(x)=Φr2(x),degr1=degr2=φ(r2)2.

    Or F(xn1) = {x1,Φr(x),u1(x),u2(x),u3(x)}, where m=r2,

    u1(x)u2(x)u3(x)=Φr2(x),degu1=degu2=degu3=φ(r2)3.

    (b6) F(xn1) = {x1,v1(x),v2(x),v3(x),v4(x)}, where m=r,

    v1(x)v2(x)v3(x)v4(x)=Φr(x),degv1=degv2=degv3=degv4=φ(r)4.

    (c) (c1) m=r4, and q is a primitive root modulo r2.

    (c2) m=8, q is a primitive root modulo 4, and the order of q modulo 8 is 2.

    (c3) m=2r, the order of q modulo r is φ(r)2 and q is a primitive root modulo 2r.

    (c4) m=p1p2, the order of q modulo p1p2 is φ(p1p2)2, and q is a primitive root modulo p1 and p2.

    (c5) m=r2, the order of q modulo r is φ(r)2 and the order of q modulo r2 is φ(r2)2; or q is a primitive root modulo r and the order of q modulo r2 is φ(r2)3.

    (c6) m=r, and the order of q modulo r is φ(r)4.

    In this final section, we provide two examples.

    Example 5.1. Let Fq denote the finite field of q elements with characteristic p. Let p be a prime, let r be a prime different from p, and let n=rlpe, with l1, e0. Denote by F(xn1) the set of all distinct monic irreducible factors of xn1 in a given finite field. Given a positive integer s, we consider the special case for

    |F(xn1)|=s=l+1.

    Since n=rlpe,

    xn1=(Φ1(x)Φr(x)Φr2(x)Φrl(x))pe.

    The unique positive integer solution of the equation

    x0+x1+x2++xl=l+1

    is

    xi=φ(ri)dri=1  (i=0,1,,l),

    where dri denotes the order of q modulo ri (i=0,1,,l). That is, q is a primitive root modulo rj (j=1,2,,l). Recall Lemma 2.7 that if q is a primitive root modulo r2, then q is a primitive root modulo rj (j=1,2,,l). Cyclotomic polynomials Φrj(x) (j=1,2,,l) are irreducible over Fq.

    In conclusion, if q is a primitive root modulo r2, then

    |F(xrlpe1)|=l+1.

    Example 5.2. We factor polynomial x251 into distinct monic irreducible polynomials over F7. Since 25=52,

    x251=x521=Φ1(x)Φ5(x)Φ25(x).

    We first calculate

    72(mod5),  7241(mod5),  741(mod5),

    where 7 is a primitive root modulo 5, thus

    Φ5(x)=1+x+x2+x3+x4

    is irreducible over F7.

    We next calculate

    77(mod25),  72241(mod25),  741(mod25),

    the order of  7 modulo 25 is 4, thus

    Φ25(x)=1+x5+x10+x15+x20

    factors into

    φ(25)4=5

    distinct monic irreducible polynomials over F7 of the same degree 4,

    f1(x)=1+2x+4x2+2x3+x4,f2(x)=1+4x+4x3+x4,f3(x)=1+4x+3x2+4x3+x4,f4(x)=1+5x+5x2+5x3+x4,f5(x)=1+6x+5x2+6x3+x4,

    respectively.

    Thus

    x251=((x1)(1+x+x2+x3+x4)(1+2x+4x2+2x3+x4)(1+4x+4x3+x4)(1+4x+3x2+4x3+x4)(1+5x+5x2+5x3+x4)(1+6x+5x2+6x3+x4))

    and

    |F(x251)|=7.

    {Let Fq be the finite field of q elements, and Fqn be its extension of degree n. Denote by F(xn1) the set of all distinct monic irreducible factors of the polynomial xn1 in the finite field Fq. Given a positive integer s, we use the properties of cyclotomic polynomials in finite fields and results from the Diophantine equations to provide the sufficient and necessary condition for

    |F(xn1)|=s.

    As an application, we also obtain the sufficient and necessary conditions for

    |F(xn1)|=3,4,5.

    Weitao Xie: the first draft of the manuscript; Jiayu Zhang: preliminaries collection and analysis; Wei Cao: originally raised the problem and commented on previous versions of the manuscript. All authors contributed to the study conception and design. All authors read and approved the final manuscript.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors thank the anonymous referees for their helpful comments that improved the quality of the manuscript. This work was jointly supported by the Fujian Provincial Natural Science Foundation of China (Grant No. 2022J02046), and Fujian Key Laboratory of Granular Computing and Applications (Minnan Normal University).

    All authors declare no conflicts of interest in this paper.



    [1] E. Lim, S. Dokos, S. L. Cloherty, R. F. Salamonsen, D. G. Mason, J. A. Reizes, et al., Parameter-Optimized Model of Cardiovascular-Rotary Blood Pump Interactions, Ieee Trans. Biomed. Eng., 57 (2010), 254-266. doi: 10.1109/TBME.2009.2031629
    [2] A. S. Karavaev, Y. M. Ishbulatov, V. I. Ponomarenko, M. D. Prokhorov, V. I. Gridnev, B. P. Bezruchko, et al., Model of human cardiovascular system with a loop of autonomic regulation of the mean arterial pressure, J. Am. Soc. Hypertens., 10 (2016), 235-243. doi: 10.1016/j.jash.2015.12.014
    [3] S. Kosta, J. Negroni, E. Lascano, P. C. Dauby, Multiscale model of the human cardiovascular system: Description of heart failure and comparison of contractility indices, Math. Biosci., 284 (2017), 71-79. doi: 10.1016/j.mbs.2016.05.007
    [4] Y. B. Shi, T. Korakianitis, Impeller-pump model derived from conservation laws applied to the simulation of the cardiovascular system coupled to heart-assist pumps, Comput. Biol. Med., 93 (2018), 127-138. doi: 10.1016/j.compbiomed.2017.12.012
    [5] R. S. Figliola, A. Giardini, T. Conover, T. A. Camp, G. Biglino, J. Chiulli, et al., In Vitro Simulation and Validation of the Circulation with Congenital Heart Defects, Prog. Pediatr. Cardiol, 30 (2010), 71-80. doi: 10.1016/j.ppedcard.2010.09.009
    [6] S. Ribaric, M. Kordas, Simulation of the Frank-Starling Law of the Heart, Comput. Math. Methods Med., 2012 (2012), 1-12.
    [7] M. A. Simaan, A. Ferreira, S. H. Chen, J. F. Antaki, D. G. Galati, A Dynamical State Space Representation and Performance Analysis of a Feedback-Controlled Rotary Left Ventricular Assist Device, Ieee Trans. Control Syst. Technol., 17 (2009), 15-28. doi: 10.1109/TCST.2008.912123
    [8] L. M. Itu, P. Sharma, C. Suciu, Patient-specific Hemodynamic Computations: Application to Personalized Diagnosis of Cardiovascular Pathologies, Springer International publishing, 2017.
    [9] K. Gu, Y. Chang, B. Gao, Y. Liu, Z. Zhang, F. Wan, Lumped parameter model for heart failure with novel regulating mechanisms of peripheral resistance and vascular compliance, ASAIO J., 58 (2012), 223-231. doi: 10.1097/MAT.0b013e31824ab695
    [10] M. Abdi, A. Karimi, M. Navidbakhsh, G. P. Jahromi, K. Hassani, A lumped parameter mathematical model to analyze the effects of tachycardia and bradycardia on the cardiovascular system, Int. J. Numer. Model. EL, 28 (2015), 346-357. doi: 10.1002/jnm.2010
    [11] D. S. Petukhov, D. V. Telyshev, A Mathematical Model of the Cardiovascular System of Pediatric Patients with Congenital Heart Defect, Biomed. Eng., 50 (2016), 229-232. doi: 10.1007/s10527-016-9626-y
    [12] S. Pant, C. Corsini, C. Baker, T. Y. Hsia, G. Pennati, I. E. Vignon-Clementel, A Lumped Parameter Model to Study Atrioventricular Valve Regurgitation in Stage 1 and Changes Across Stage 2 Surgery in Single Ventricle Patients, IEEE Trans. Biomed. Eng., 65 (2018), 2450-2458. doi: 10.1109/TBME.2018.2797999
    [13] T. G. Myers, V. R. Ripoll, A. S. de Tejada Cuenca, S. L. Mitchell, M. J. McGuinness, Modelling the cardiovascular system for assessing the blood pressure curve, Math. Ind. Case Stud., 8 (2017), 1-16.
    [14] Y. B. Shi, T. Korakianitis, Numerical simulation of cardiovascular dynamics with left heart failure and in-series pulsatile ventricular assist device, Artif. Organs, 30 (2006), 929-948. doi: 10.1111/j.1525-1594.2006.00326.x
    [15] M. Capoccia, S. Marconi, S. A. Singh, D. M. Pisanelli, C. De Lazzari, Simulation as a preoperative planning approach in advanced heart failure patients. A retrospective clinical analysis, Biomed. Eng. Online, 17 (2018).
    [16] C. De Lazzari, M. Darowski, G. Ferrari, D. M. Pisanelli, G. Tosti, The impact of rotary blood pump in conjunction with mechanical ventilation on ventricular energetic parameters - Numerical simulation, Methods Inf. Med., 45 (2006), 574-583. doi: 10.1055/s-0038-1634120
    [17] C. De Lazzari, I. Genuini, B. Quatember, F. Fedele, Mechanical ventilation and thoracic artificial lung assistance during mechanical circulatory support with PUCA pump: In silico study, Comput. Methods Programs Biomed., 113 (2014), 642-654. doi: 10.1016/j.cmpb.2013.11.011
    [18] CARDIOSIM© Cardiovascular Software Simulator developed at the Institute of Clinical Physiology.(2018), https://cardiosim.dsb.cnr.it/.2018.
    [19] C. De Lazzari, I. Genuini, D. M. Pisanelli, A. D'Ambrosi, F. Fedele, Interactive simulator for e-Learning environments: a teaching software for health care professionals, Biomed. Eng. Online, 13 (2014).
    [20] A. Di Molfetta, A. Amodeo, M. G. Gagliardi, M. G. Trivella, L. Fresiello, S. Filippelli, et al., Hemodynamic Effects of Ventricular Assist Device Implantation on Norwood, Glenn, and Fontan Circulation: A Simulation Study, Artif. Organs, 40 (2016), 34-42. doi: 10.1111/aor.12591
    [21] A. Di Molfetta, G. Ferrari, R. Iacobelli, S. Filippelli, A. Amodeo, Concurrent Use of Continuous and Pulsatile Flow Ventricular Assist Device on a Fontan Patient: A Simulation Study, Artif. Organs, 41 (2017), 32-39. doi: 10.1111/aor.12859
    [22] A. Di Molfetta, G. Ferrari, R. Iacobelli, S. Filippelli, L. Fresiello, P. Guccione, et al., Application of a Lumped Parameter Model to Study the Feasibility of Simultaneous Implantation of a Continuous Flow Ventricular Assist Device (VAD) and a Pulsatile Flow VAD in BIVAD Patients, Artif. Organs, 41 (2017), 242-252. doi: 10.1111/aor.12911
    [23] J. T. Ottesen, M. S. Olufsen, J. K. Larsen, Applied Numerical models in Human Physiology. Denmark, Roskilde: Roskilde University. 2003.
    [24] M. Ursino, Interaction between carotid baroregulation and the pulsating heart: a mathematical model, Am. J. Physiol.-Heart Circ. Physiol., 275 (1998), H1733-H1747. doi: 10.1152/ajpheart.1998.275.5.H1733
    [25] J. T. Ottesen, Modelling the dynamical baroreflex-feedback control, Math. Comput. Model., 31 (2000), 167-173.
    [26] S. Bozkurt, Effect of Cerebral Flow Autoregulation Function on Cerebral Flow Rate Under Continuous Flow Left Ventricular Assist Device Support, Artif. Organs, 42 (2018), 800-813. doi: 10.1111/aor.13148
    [27] S. Bozkurt, K. K. Safak, Evaluating the Hemodynamical Response of a Cardiovascular System under Support of a Continuous Flow Left Ventricular Assist Device via Numerical Modeling and Simulations, Comput. Math. Methods Med., 2013 (2013).
    [28] L. G. E. Cox, S. Loerakker, M. C. M. Rutten, B. A. J. M. de Mol, F. N. van de Vosse, A Mathematical Model to Evaluate Control Strategies for Mechanical Circulatory Support, Artif. Organs, 33 (2009), 593-603.
    [29] L. Fresiello, F. Rademakers, P. Claus, G. Ferrari, A. Di Molfetta, B. Meyns, Exercise physiology with a left ventricular assist device: Analysis of heart-pump interaction with a computational simulator, Plos One, 12 (2017).
    [30] C. Gross, F. Moscato, T. Schloglhofer, LVAD speed increase during exercise, which patients would benefit the most? A simulation study, Artif. Organs, 44 (2019), 239-247.
    [31] S. Bozkurt, F. N. van de Vosse, M. C. M. Rutten, Improving arterial pulsatility by feedback control of a continuous flow left ventricular assist device via in silico modeling, Int. J. Artif. Organs, 37 (2014), 773-785. doi: 10.5301/ijao.5000328
    [32] K. M. Lim, I. S. Kim, S. W. Choi, B. G. Min, Y. S. Won, H. Y. Kim, et al., Computational analysis of the effect of the type of LVAD flow on coronary perfusion and ventricular afterload, J. Physiol. Sci., 59 (2009), 307-316. doi: 10.1007/s12576-009-0037-7
    [33] H. Suga, K. Sagawa, Instantaneous pressure-volume relationships and their ratio in the excised, supported canine left ventricle, Circ. Res., 35 (1974), 117-126. doi: 10.1161/01.RES.35.1.117
    [34] I. Kokalari, Review on lumped parameter method for modeling the blood flow in systemic arteries, J. Biomed. Sci. Eng., 06 (2013), 92-99. doi: 10.4236/jbise.2013.61012
    [35] S. Choi, Modeling and control of left ventricular assist system[Ph. D. Dissertation]. Pittsburgh: University of Pittsburgh. 1998.
    [36] S. M. Sopher, M. L. Smith, D. L. Eckberg, J. M. Fritsch, M. E. Dibnerdunlap, Autonomic Pathophysiology in Heart-Failure-Carotid Baroreceptor-Cardiac Reflexes, Am. J. Physiol., 259 (1990), H689-H696.
    [37] P. B. Persson, Modulation of cardiovascular control mechanisms and their interaction, Physiol. Rev., 76 (1996), 193-244. doi: 10.1152/physrev.1996.76.1.193
    [38] J. E. Hall, M. E. Hall, Guyton and Hall Textbook of Medical Physiology. Philadelphia, PA: Elsevier Inc. 2011.
    [39] A. C. Guyton, Textbook of Medical Physiology. Philadelphia, W.B: Elsevier Inc. 1986.
    [40] K. M. Swetz, M. R. Freeman, P. S. Mueller, S. J. Park, Clinical management of continuous-flow left ventricular assist devices in advanced heart failure, J. Heart Lung Transplant., 29 (2010), S1-S38. doi: 10.1016/j.healun.2010.01.011
    [41] S. Undar, O. T. H. Frazier, C. D. Fraser, Defining pulsatile perfusion: Quantification in terms of energy equivalent pressure, Artif. Organs, 23 (1999), 712-716. doi: 10.1046/j.1525-1594.1999.06409.x
    [42] T. Pirbodaghi, S. Axiak, A. Weber, T. Gempp, S. Vandenberghe, Pulsatile control of rotary blood pumps: Does the modulation waveform matter?, J. Thorac. Cardiovasc. Surg., 144 (2012), 970-977. doi: 10.1016/j.jtcvs.2012.02.015
    [43] F. Castagna, E. J. Stohr, A. Pinsino, J. R. Cockcroft, J. Willey, A. R. Garan, et al., The Unique Blood Pressures and Pulsatility of LVAD Patients: Current Challenges and Future Opportunities, Curr. Hypertens. Rep., 19 (2017).
    [44] D. Ambrosi, A. Quarteroni, G. Rozza, Modeling of physiological flows: Springer Science & Business Media. 2012.
    [45] T. Koeppl, G. Santin, B. Haasdonk, R. Helmig, Numerical modelling of a peripheral arterial stenosis using dimensionally reduced models and kernel methods, Int. J. Numer. Methods Biomed. Eng., 34 (2018), 1-24.
    [46] F. Y. Liang, S. Takagi, R. Himeno, H. Liu, Multi-scale modeling of the human cardiovascular system with applications to aortic valvular and arterial stenoses, Medi. Biol. Eng. Comput., 47 (2009), 743-755. doi: 10.1007/s11517-009-0449-9
  • This article has been cited by:

    1. Jinle Liu, Hongfeng Wu, A Note on Factorization and the Number of Irreducible Factors of xn − λ over Finite Fields, 2025, 13, 2227-7390, 473, 10.3390/math13030473
  • Reader Comments
  • © 2020 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

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(6324) PDF downloads(408) Cited by(11)

Figures and Tables

Figures(8)  /  Tables(4)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog