Review Special Issues

The inverse Frobenius-Perron problem: A survey of solutions to the original problem formulation

  • The inverse Frobenius-Perron problem (IFPP) is a collective term for a family of problems that requires the construction of an ergodic dynamical system model with prescribed statistical characteristics. Solutions to this problem draw upon concepts from ergodic theory and are scattered throughout the literature across domains such as physics, engineering, biology and economics. This paper presents a survey of the original formulation of the IFPP, wherein the invariant probability density function of the system state is prescribed. The paper also reviews different strategies for solving this problem and demonstrates several of the techniques using examples. The purpose of this survey is to provide a unified source of information on the original formulation of the IFPP and its solutions, thereby improving accessibility to the associated modeling techniques and promoting their practical application. The paper is concluded by discussing possible avenues for future work.

    Citation: André M. McDonald, Michaël A. van Wyk, Guanrong Chen. The inverse Frobenius-Perron problem: A survey of solutions to the original problem formulation[J]. AIMS Mathematics, 2021, 6(10): 11200-11232. doi: 10.3934/math.2021650

    Related Papers:

    [1] Alina Alb Lupaş, Georgia Irina Oros . Differential sandwich theorems involving Riemann-Liouville fractional integral of $ q $-hypergeometric function. AIMS Mathematics, 2023, 8(2): 4930-4943. doi: 10.3934/math.2023246
    [2] Alina Alb Lupaş, Shujaat Ali Shah, Loredana Florentina Iambor . Fuzzy differential subordination and superordination results for $ q $ -analogue of multiplier transformation. AIMS Mathematics, 2023, 8(7): 15569-15584. doi: 10.3934/math.2023794
    [3] Ekram E. Ali, Nicoleta Breaz, Rabha M. El-Ashwah . Subordinations and superordinations studies using $ q $-difference operator. AIMS Mathematics, 2024, 9(7): 18143-18162. doi: 10.3934/math.2024886
    [4] Ekram E. Ali, Georgia Irina Oros, Abeer M. Albalahi . Differential subordination and superordination studies involving symmetric functions using a $ q $-analogue multiplier operator. AIMS Mathematics, 2023, 8(11): 27924-27946. doi: 10.3934/math.20231428
    [5] Ekram E. Ali, Miguel Vivas-Cortez, Rabha M. El-Ashwah . New results about fuzzy $ \mathbf{\gamma } $-convex functions connected with the $ \mathfrak{q} $-analogue multiplier-Noor integral operator. AIMS Mathematics, 2024, 9(3): 5451-5465. doi: 10.3934/math.2024263
    [6] Madan Mohan Soren, Luminiţa-Ioana Cotîrlǎ . Fuzzy differential subordination and superordination results for the Mittag-Leffler type Pascal distribution. AIMS Mathematics, 2024, 9(8): 21053-21078. doi: 10.3934/math.20241023
    [7] Ekram E. Ali, Rabha M. El-Ashwah, Abeer M. Albalahi, R. Sidaoui, Abdelkader Moumen . Inclusion properties for analytic functions of $ q $-analogue multiplier-Ruscheweyh operator. AIMS Mathematics, 2024, 9(3): 6772-6783. doi: 10.3934/math.2024330
    [8] K. Saritha, K. Thilagavathi . Differential subordination, superordination results associated with Pascal distribution. AIMS Mathematics, 2023, 8(4): 7856-7864. doi: 10.3934/math.2023395
    [9] Shujaat Ali Shah, Ekram Elsayed Ali, Adriana Cătaș, Abeer M. Albalahi . On fuzzy differential subordination associated with $ q $-difference operator. AIMS Mathematics, 2023, 8(3): 6642-6650. doi: 10.3934/math.2023336
    [10] Ekram E. Ali, Rabha M. El-Ashwah, R. Sidaoui . Application of subordination and superordination for multivalent analytic functions associated with differintegral operator. AIMS Mathematics, 2023, 8(5): 11440-11459. doi: 10.3934/math.2023579
  • The inverse Frobenius-Perron problem (IFPP) is a collective term for a family of problems that requires the construction of an ergodic dynamical system model with prescribed statistical characteristics. Solutions to this problem draw upon concepts from ergodic theory and are scattered throughout the literature across domains such as physics, engineering, biology and economics. This paper presents a survey of the original formulation of the IFPP, wherein the invariant probability density function of the system state is prescribed. The paper also reviews different strategies for solving this problem and demonstrates several of the techniques using examples. The purpose of this survey is to provide a unified source of information on the original formulation of the IFPP and its solutions, thereby improving accessibility to the associated modeling techniques and promoting their practical application. The paper is concluded by discussing possible avenues for future work.



    More and more fields of research have used fractional calculus to develop and find new applications. Similarly, q-calculus is involved in several engineering domains, physics, and in mathematics. The combination of fractional and q-calculus in geometric functions theory and some interesting applications were obtained by Srivastava [1].

    Jackson [2,3] established the q-derivative and the q-integral in the field of mathematical analysis via quantum calculus. The foundations of quantum calculus in the theory of geometric functions were laid by Srivastava [4]. Continued research in this field has led to the obtaining of numerous q-analogue operators, such as the q-analogue of the Sălăgean differential operator [5], giving new applications in [6,7,8]; the q-analogue of the Ruscheweyh differential operator introduced by Răducanu and Kanas [9] and studied by Mohammed and Darus [10] and Mahmood and Sokół [11]; and the q -analogue of the multiplier transformation [12,13].

    This study involves an operator defined by applying the Riemann-Liouville fractional integral to the q-analogue of the multiplier transformation. Many operators have been defined and studied in recent years by using the Riemann-Liouville or Atagana-Baleanu fractional integrals.

    First, we recall the classically used notations and notions from geometric functions theory.

    Working on the open unit disc U={zC:|z|<1}, we establish here the class of analytic functions denoted by H(U) and its subclasses H[a,n] containing the functions fH(U) defined by f(z)=a+anzn+an+1zn+1+, with zU, aC, nN, as well as An, containing the functions fH(U) of the form f(z)=z+an+1zn+1+, zU. When n=1, the notation A1=A is used.

    We also recall the Riemann-Liouville fractional integral definition introduced in [13,15]:

    Definition 1. ([13,15]) The fractional integral of order λ applied to the analytic function f in a simply-connected region of the z -plane which contains the origin is defined by

    Dλzf(z)=1Γ(λ)z0f(t)(zt)1λdt,

    where λ>0 and the multiplicity of (zt)λ1 is removed by the condition that log(zt) is real when (zt)>0.

    The q-analogue of the multiplier transformation is defined below.

    Definition 2 ([13]) The q-analogue of the multiplier transformation, denoted by Im,lq, has the following form:

    Im,lqf(z)=z+j=2([l+j]q[l+1]q)majzj,

    where q(0,1), m,lR, l>1, and f(z)=z+j=2ajzjA, zU.

    Remark 1. We notice that limq1Im,lqf(z)=limq1(z+j=2([l+j]q[l+1]q)majzj)=z+j=2(l+jl+1)majzj =I(m,1,l). The operator I(m,1,l) was studied by Cho and Srivastava [16] and Cho and Kim [17]. The operator I(m,1,1) was studied by Uralegaddi and Somanatha [18], and the operator I(α,λ,0) was introduced by Acu and Owa [19]. Cătaş [20] studied the operator Ip(m,λ,l) which generalizes the operator I(m,λ,l). Alb Lupaş studied the operator I(m,λ,l) in [21,22,23].

    Now, we introduce definitions from the differential subordination and differential superordination theories.

    Definition 3. ([24]) Between the analytic functions f and g there is a differential subordination, denoted f(z)g(z), if there exists ω, a Schwarz analytic function with the properties |ω(z)|<1, zU and ω(0)=0, such that f(z)=g(ω(z)), zU. In the special case where g is an univalent function in U, the above differential subordination is equivalent to f(U)g(U) and f(0)=g(0).

    Definition 4. ([24]) Considering a univalent function h in U and ψ:C3×UC, when the analytic function p satisfies the differential subordination

    ψ(p(z),zp(z),z2p(z);z)h(z),  zU, (1.1)

    then p is a solution of the differential subordination. When pg for all solutions p, the univalent function g is a dominant of the solutions. A dominant ˜g with the property ˜gg for every dominant g is called the best dominant of the differential subordination.

    Definition 5. ([25]) Considering an analytic function h in U and φ:C3ׯUC, when p and φ(p(z),zp(z),z2p(z);z) are univalent functions in U fulfilling the differential superordination

    h(z)φ(p(z),zp(z),z2p(z);z),    (1.2)

    then p is a solution of the differential superordination. When gp for all solutions p, the analytic function g is a subordinant of the solutions. A subordinant ˜g with the property g˜g for every subordinant g is called the best subordinant of the differential superordination.

    Definition 6. ([24]) Q denotes the class of injective functions f analytic on ¯UE(f), with the property f(ζ)0 for ζUE(f), when E(f)={ζU:limzζf(z)=}.

    The obtained results from this paper are constructed based on the following lemmas.

    Lemma 1. ([24]) Considering the univalent function g in U and the analytic functions θ, η in a domain Dg(U), such that η(w)0, wg(U), define the functions G(z)=zg(z)η(g(z)) and h(z)=θ(g(z))+G(z). Assuming that G is starlike univalent in U and Re(zh(z)G(z))>0, zU, when the analytic function p having the properties p(U)D and p(0)=g(0), satisfies the differential subordination θ(p(z))+zp(z)η(p(z))θ(g(z))+zg(z)η(g(z)), for zU, then pg and g is the best dominant.

    Lemma 2. ([26]) Considering the convex univalent function g in U and the analytic functions θ, η in a domain Dg(U), define the function G(z)=zg(z)η(g(z)). Assuming that G is starlike univalent in U and Re(θ(g(z))η(g(z)))>0, zU, when pH[g(0),1]Q, with p(U)D, the function θ(p(z))+zp(z)η(p(z)) is univalent in U, and the differential superordination θ(g(z))+zg(z)η(g(z))θ(p(z))+zp(z)η(p(z)) is satisfied, then gp and g is the best subordinant.

    The operator obtained by applying the the Riemann-Liouville fractional integral to the q-analogue of the multiplier transformation is written as follows:

    Definition 7. Let q,m,l be real numbers, q(0,1), l>1, and λN. The fractional integral applied to the q-analogue of the multiplier transformation is defined by

    DλzIm,lqf(z)=1Γ(λ)z0Im,lqf(t)(zt)1λdt= (2.1)
    1Γ(λ)z0t(zt)1λdt+j=2([l+j]q[l+1]q)majz0tj(zt)1λdt.

    After a laborious computation, we discover that the fractional integral applied to the q-analogue of the multiplier transformation takes the following form:

    DλzIm,lqf(z)=1Γ(λ+2)zλ+1+j=2([l+j]q[l+1]q)mΓ(j+1)Γ(j+λ+1)ajzj+λ, (2.2)

    when f(z)=z+j=2ajzjA. We note that DλzIm,lqf(z)H[0,λ+1].

    Remark 2. When q1, we obtain the classical case, and the fractional integral applied to the multiplier transformation is defined by

    DλzI(m,1,l)f(z)=1Γ(λ)z0I(m,1,l)f(t)(zt)1λdt= (2.3)
    1Γ(λ)z0t(zt)1λdt+j=2(l+jl+1)majz0tj(zt)1λdt,

    which, after several calculus can be written in the form

    DλzI(m,1,l)f(z)=1Γ(λ+2)zλ+1+j=2(l+jl+1)mΓ(j+1)Γ(j+λ+1)ajzj+λ, (2.4)

    when f(z)=z+j=2ajzjA. We note that DλzI(m,1,l)f(z)H[0,λ+1].

    The main subordination result product regarding the operator introduced in Definition 7 is exposed in the following theorem:

    Theorem 1. Consider fA and g an analytic function univalent in U with the property that g(z)0, zU, with real numbers q,m,l, q(0,1), l>1, and λ,nN. Assuming that zg(z)g(z) is a starlike function univalent in U and

    Re(1+bdg(z)+2cd(g(z))2zg(z)g(z)+zg(z)g(z))>0, (2.5)

    for a,b,c,dC, d0, zU, denote

    ψm,l,qλ(n,a,b,c,d;z):=a+b[DλzIm,lqf(z)z]n+ (2.6)
    c[DλzIm,lqf(z)z]2n+dn[z(DλzIm,lqf(z))DλzIm,lqf(z)1].

    If the differential subordination

    ψm,l,qλ(n,a,b,c,d;z)a+bg(z)+c(g(z))2+dzg(z)g(z), (2.7)

    is satisfied by the function g, for a,b,c,dC, d0, then the differential subordination

    (DλzIm,lqf(z)z)ng(z), (2.8)

    holds and g is the best dominant for it.

    Proof. Setting p(z):=(DλzIm,lqf(z)z)n, zU, z0, and differentiating with respect to z, we get

    p(z)=n(DλzIm,lqf(z)z)n1[(DλzIm,lqf(z))zDλzIm,lqf(z)z2]=
    n(DλzIm,lqf(z)z)n1(DλzIm,lqf(z))znzp(z)

    and

    zp(z)p(z)=n[z(DλzIm,lqf(z))DλzIm,lqf(z)1].

    Defining the functions θ and η by θ(w):=a+bw+cw2 and η(w):=dw, it can be easily certified that θ is analytic in C, η is analytic in C{0}, and that η(w)0, wC{0}.

    Considering the functions G(z)=zg(z)η(g(z))=dzg(z)g(z) and

    h(z)=θ(g(z))+G(z)=a+bg(z)+c(g(z))2+dzg(z)g(z),

    we deduce that G(z) is starlike univalent in U.

    Differentiating the function h with respect to z we get

    h(z)=bg(z)+2cg(z)g(z)+d(g(z)+zg(z))g(z)z(g(z))2(g(z))2

    and

    zh(z)G(z)=zh(z)dzg(z)g(z)=1+bdg(z)+2cd(g(z))2zg(z)g(z)+zg(z)g(z).

    The condition

    Re(zh(z)G(z))=Re(1+bdg(z)+2cd(g(z))2zg(z)g(z)+zg(z)g(z))>0

    is satisfied by relation (2.5), and we deduce that

    a+bp(z)+c(p(z))2+dzp(z)p(z)=a+b[DλzIm,lqf(z)z]n+
    c[DλzIm,lqf(z)z]2n+dγ[z(DλzIm,lqf(z))DλzIm,lqf(z)1]=ψm,l,qλ(n,a,b,c,d;z),

    which is the function from relation (2.6).

    Rewriting the differential subordination (2.7), we obtain

    a+bp(z)+c(p(z))2+dzp(z)p(z)a+bg(z)+c(g(z))2+dzg(z)g(z).

    The hypothesis of Lemma 1 being fulfilled, we get the conclusion p(z)g(z), written as

    (DλzIm,lqf(z)z)ng(z)

    and g is the best dominant.

    Corollary 1. Suppose that the relation (2.5) is fulfilled for real numbers q,m,l, q(0,1), l>1, and λ,nN. If the differential subordination

    ψm,l,qλ(n,a,b,c,d;z)a+bαz+1βz+1+c(αz+1βz+1)2+d(αβ)z(αz+1)(βz+1)

    is verified for a,b,c,dC, d0, 1β<α1, and the function ψm,l,qλ is given by relation (2.6), then the differential subordination

    (DλzIm,lqf(z)z)nαz+1βz+1

    is satisfied with the function g(z)=αz+1βz+1 as the best dominant.

    Proof. Considering in Theorem 1 the function g(z)=αz+1βz+1, with 1β<α1, the corollary is verified.

    Corollary 2. Assume that relation (2.5) is satisfied for real numbers q,m,l, q(0,1), l>1, and λ,nN. If the differential subordination

    ψm,l,qλ(n,a,b,c,d;z)a+b(z+11z)s+c(z+11z)2s+2sdz1z2

    holds for a,b,c,dC, 0<s1, d0, and the function ψm,l,qλ is defined by relation (2.6), then the differential subordination

    (DλzIm,lqf(z)z)n(z+11z)s

    is satisfied with the function g(z)=(z+11z)s as the best dominant.{}

    Proof. Considering in Theorem 1 the function g(z)=(z+11z)s, with 0<s1, the corollary is obtained.

    When q1 in Theorem 1, we get the classical case:

    Theorem 2. Consider fA and g an analytic function univalent in U with the property that g(z)0, zU, with real numbers m,l, l>1, and λ,nN. Assuming that zg(z)g(z) is a starlike function univalent in U and

    Re(1+bdg(z)+2cd(g(z))2zg(z)g(z)+zg(z)g(z))>0, (2.9)

    for a,b,c,dC, d0, zU, denote

    ψm,l,λ(n,a,b,c,d;z):=a+b[DλzI(m,1,l)f(z)z]n+ (2.10)
    c[DλzI(m,1,l)f(z)z]2n+dn[z(DλzI(m,1,l)f(z))DλzI(m,1,l)f(z)1].

    If the differential subordination

    ψm,l,λ(n,a,b,c,d;z)a+bg(z)+c(g(z))2+dzg(z)g(z), (2.11)

    is satisfied by the function g, for a,b,c,dC, d0, then the differential subordination

    (DλzI(m,1,l)f(z)z)ng(z) (2.12)

    holds and g is the best dominant for it.

    Proof. The proof of the theorem follows the same steps as the proof of Theorem 1 and it is omitted.

    The corresponding superordination results regarding the operator introduced in Definition 7 are exposed in the following:

    Theorem 3. Consider fA and g an analytic function univalent in U with the properties g(z)0 and zg(z)g(z) is starlike univalent in U, with real numbers q,m,l, q(0,1), l>1, and λ,nN. Assuming that

    Re(2cd(g(z))2+bdg(z))>0,forb,c,dC,d0 (2.13)

    and the function ψm,l,qλ(n,a,b,c,d;z) is defined in relation (2.6), if the differential superordination

    a+bg(z)+c(g(z))2+dzg(z)g(z)ψm,l,qλ(n,a,b,c,d;z) (2.14)

    is fulfilled for the function g, for a,b,c,dC, d0, then the differential superordination

    g(z)(DλzIm,lqf(z)z)n (2.15)

    holds and g is the best subordinant for it.

    Proof. Set p(z):=(DλzIm,lqf(z)z)n, zU, z0.

    Defining the functions θ and η by θ(w):=a+bw+cw2 and η(w):=dw, it is evident that η(w)0, wC{0} and we can certify that θ is analytic in C and η is analytic in C{0}.

    With easy computation, we get that

    θ(g(z))η(g(z))=g(z)[b+2cg(z)]g(z)d

    and relation (2.13) can be written as

    Re(θ(g(z))η(g(z)))=Re(2cd(g(z))2+bdg(z))>0,

    for b,c,dC, d0.

    Following the same computations as in the proof of Theorem 1, the differential superordination (2.14) can be written as

    a+bg(z)+c(g(z))2+dzg(z)g(z)a+bp(z)+c(p(z))2+dzp(z)p(z).

    The hypothesis of Lemma 2 being fulfilled, we obtain the conclusion

    g(z)p(z)=(DλzIm,lqf(z)z)n

    and g is the best subordinant.

    Corollary 3. Assume that relation (2.13) is verified for real numbers q,m,l, q(0,1), l>1, and λ,nN. If the differential superordination

    a+bαz+1βz+1+c(αz+1βz+1)2+d(αβ)z(αz+1)(βz+1)ψm,l,qλ(n,a,b,c,d;z)

    is satisfied for a,b,c,dC, d0, 1β<α1, and the function ψm,l,qλ is defined by the relation (2.6), then the differential superordination

    αz+1βz+1(DλzIm,lqf(z)z)n

    holds with the function g(z)=αz+1βz+1 as the best subordinant.

    Proof. Considering in Theorem 3 the function g(z)=αz+1βz+1, with 1β<α1, the corollary is proved.

    Corollary 4. Suppose that relation (2.13) is fulfilled for real numbers q,m,l, q(0,1), l>1, and λ,nN. If the differential superordination

    a+b(z+11z)s+c(z+11z)2s+2sdz1z2ψm,l,qλ(n,a,b,c,d;z)

    is satisfied for a,b,c,dC, 0<s1, d0, and the function ψm,l,qλ is given by the relation (2.6), then the differential superordination

    (z+11z)s(DλzIm,lqf(z)z)n

    is satisfied with the function g(z)=(z+11z)s as the best subordinant.

    Proof. Considering in Theorem 3 the function g(z)=(z+11z)s, with 0<s1, the corollary is obtained.

    When q1 in Theorem 3, we get the classical case:

    Theorem 4. Consider fA and g an analytic function univalent in U with the properties g(z)0 and zg(z)g(z) is starlike univalent in U, with real numbers m,l, l>1, and λ,nN. Assuming that

    Re(2cd(g(z))2+bdg(z))>0,forb,c,dC,d0, (2.16)

    and the function ψm,l,λ(n,a,b,c,d;z) is defined in relation (2.10), if the differential superordination

    a+bg(z)+c(g(z))2+dzg(z)g(z)ψm,l,λ(n,a,b,c,d;z) (2.17)

    is fulfilled for the function g, for a,b,c,dC, d0, then the differential superordination

    g(z)(DλzI(m,1,l)f(z)z)n (2.18)

    holds and g is the best subordinant for it.

    Proof. The proof of the theorem follows the same steps as the proof of Theorem 3 and it is omitted.

    The sandwich-type result is obtained by combining Theorems 1 and 3.

    Theorem 5. Consider fA and g1, g2 analytic functions univalent in U with the properties that g1(z)0, g2(z)0, zU, and, respectively, zg1(z)g1(z), zg2(z)g2(z) are starlike univalent, with real numbers q,m,l, q(0,1), l>1, and λ,nN. Assuming that relation (2.5) is verified by the function g1 and the relation (2.13) is verified by the function g2, and the function ψm,l,qλ(n,a,b,c,d;z) defined by relation (2.6) is univalent in U, if the sandwich-type relation

    a+bg1(z)+c(g1(z))2+dzg1(z)g1(z)ψm,l,qλ(n,a,b,c,d;z)a+bg2(z)+c(g2(z))2+dzg2(z)g2(z)

    is satisfied for a,b,c,dC, d0, then the below sandwich-type relation

    g1(z)(DλzIm,lqf(z)z)ng2(z)

    holds for g1 as the best subordinant and g2 the best dominant.

    Considering in Theorem 5 the functions g1(z)=α1z+1β1z+1, g2(z)=α2z+1β2z+1, with 1β2<β1<α1<α21, the following corollary holds.

    Corollary 5. Suppose that relations (2.5) and (2.13) are fulfilled for real numbers q,m,l, q(0,1), l>1, and λ,nN. If the sandwich-type relation

    a+bα1z+1β1z+1+c(α1z+1β1z+1)2+d(α1β1)z(α1z+1)(β1z+1)ψm,l,qλ(n,a,b,c,d;z)
    a+bα2z+1β2z+1+cχ(α2z+1β2z+1)2+d(α2β2)z(α2z+1)(β2z+1)

    is satisfied for a,b,c,dC, d0, 1β2β1<α1α21, and the function ψm,l,qλ is defined by the relation (2.6), then the following sandwich-type relation

    α1z+1β1z+1(DλzIm,lqf(z)z)nα2z+1β2z+1

    holds for g1(z)=α1z+1β1z+1 as the best subordinant and g2(z)=α2z+1β2z+1 the best dominant.

    Considering in Theorem 5 the functions g1(z)=(z+11z)s1, g2(z)=(z+11z)s2, with 0<s1,s21, the following corollary holds.

    Corollary 6. Assume that the relations (2.5) and (2.13) are satisfied for real numbers q,m,l, q(0,1), l>1, and λ,nN. If the sandwich-type relation

    a+b(z+11z)s1+c(z+11z)2s1+2s1dz1z2ψm,l,qλ(n,a,b,c,d;z)
    a+b(z+11z)s2+v(z+11z)2s2+2s2dz1z2

    holds for a,b,c,dC, d0, 1β2β1<α1α21, and the function ψm,l,qλ is defined by the relation (2.6), then the following sandwich-type relation

    (z+11z)s1(DλzIm,lqf(z)z)n(z+11z)s2

    is satisfied for g1(z)=(z+11z)s1 as the best subordinant and g2(z)=(z+11z)s2 the best dominant.

    The sandwich-type result is obtained by combining Theorems 2 and 4 for the classical case when q1.

    Theorem 6. Consider fA and g1, g2 analytic functions univalent in U with the properties that g1(z)0, g2(z)0, zU, and, respectively, zg1(z)g1(z), zg2(z)g2(z) are starlike univalent, with real numbers m,l, l>1, and λ,nN. Assuming that relation (2.9) is verified by the function g1 and relation (2.16) is verified by the function g2, and the function ψm,l,λ(n,a,b,c,d;z) from relation (2.10) is univalent in U, if the sandwich-type relation

    a+bg1(z)+c(g1(z))2+dzg1(z)g1(z)ψm,l,λ(n,a,b,c,d;z)a+bg2(z)+c(g2(z))2+dzg2(z)g2(z),

    is satified for a,b,c,dC, d0, then the below sandwich-type relation

    g1(z)(DλzI(m,1,l)f(z)z)ng2(z)

    holds for g1 as the best subordinant and g2 the best dominant.

    The results presented in this paper are determined as applications of fractional calculus combined with q-calculus in geometric functions theory. We obtain a new operator described in Definition 7 by applying a fractional integral to the q-analogue of the multiplier transformation. The new fractional q-analogue of the multiplier transformation operator introduced in this paper yields new subordination and superordination results.

    The subordination theory used in Theorem 1 gives the best dominant of the differential subordination and, considering well-known functions in geometric functions theory as the best dominant, some illustrative corollaries are obtained. Using the duality, the superordination theory used in Theorem 3 gives the best subordinant of the differential superordination, and illustrative corollaries are established taking the same well-known functions. Combining Theorem 1 and Theorem 3, we present a sandwich-type theorem involving the two dual theories of differential subordination and superordination. Considering the functions studied in the previous corollaries, we establish the other sandwich-type results. The classical case when q1 is also presented.

    For future studies, using the fractional integral of the q-analogue of the multiplier transformation introduced in this paper, and following [27] and [28], we can define q- subclasses of univalent functions and study some properties, such as coefficient estimates, closure theorems, distortion theorems, neighborhoods, radii of starlikeness, convexity, and close-to-convexity of functions belonging to the defined subclass.

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

    The publication of this research was supported by the University of Oradea, Romania and Mustansiriyah University (www.uomustansiriyah.edu.iq) in Baghdad, Iraq. All thanks to their support.

    The authors declare that they have no conflicts of interest.



    [1] M. E. Borel, Les probabilités dénombrables et leurs applications arithmétiques, (French) [Countable probabilities and their arithmetic applications], Rendiconti del Circolo Matematico di Palermo, 27 (1909), 247-271. doi: 10.1007/BF03019651
    [2] A. Rényi, Representations for real numbers and their ergodic properties, Acta Mathematica Academiae Scientiarum Hungarica, 8 (1957), 477-493. doi: 10.1007/BF02020331
    [3] S. M. Ulam, J. von Neumann, On combination of stochastic and deterministic processes, Bull. Amer. Math. Soc., 53 (1947), 1120.
    [4] A. Lasota, M. C. Mackey, Chaos, Fractals and Noise: Stochastic Aspects of Dynamics, 2nd edition, Springer-Verlag, New York, 1994.
    [5] A. Boyarsky, P. Góra, Laws of Chaos: Invariant Measures and Dynamical Systems in One Dimension, 1st edition, Birkhäuser, Boston, 1997.
    [6] O. W. Rechard, Invariant measures for many-one transformations, Duke Math. J., 23 (1956), 477-488.
    [7] A. Lasota, J. A. Yorke, On the existence of invariant measures for piecewise monotonic transformations, T. Am. Math. Soc., 186 (1973), 481-488. doi: 10.1090/S0002-9947-1973-0335758-1
    [8] A. Boyarsky, M. Scarowsky, On a class of transformations which have unique absolutely continuous invariant measures, T. Am. Math. Soc., 255 (1979), 243-262. doi: 10.1090/S0002-9947-1979-0542879-2
    [9] M. Jablonski, P. Góra, A. Boyarsky, A general existence theorem for absolutely continuous invariant measures on bounded and unbounded intervals, Nonlinear World, 3 (1996), 183-200.
    [10] G. D. Birkhoff, Proof of a recurrence theorem for strongly transitive systems, P. Natl Acad. Sci. USA, 17 (1931), 650. doi: 10.1073/pnas.17.12.650
    [11] G. D. Birkhoff, Proof of the ergodic theorem, P. Natl Acad. Sci. USA, 17 (1931), 656-660.
    [12] S. M. Ulam, Problems in Modern Mathematics, 1st edition, John Wiley & Sons, New York, 1964.
    [13] T-Y. Li, Finite approximation for the Frobenius-Perron operator. A solution to Ulam's conjecture, J. Approx. theory, 17 (1976), 177-186. doi: 10.1016/0021-9045(76)90037-X
    [14] J. Ding, A. Zhou, Finite approximations of Frobenius-Perron operators. A solution of Ulam's conjecture to multi-dimensional transformations, Physica D, 92 (1996), 61-68. doi: 10.1016/0167-2789(95)00292-8
    [15] S. Großman, S. Thomae, Invariant distributions and stationary correlation functions of one-dimensional discrete processes, Z. Naturforsch. A, 32 (1977), 1353-1363. doi: 10.1515/zna-1977-1204
    [16] S. V. Ershov, G. G. Malinetskii, The solution of the inverse problem for the Perron-Frobenius equation, USSR Computational Mathematics and Mathematical Physics, 28 (1988), 136-141.
    [17] N. Friedman, A. Boyarsky, Construction of ergodic transformations, Adv. Math., 45 (1982), 213-254. doi: 10.1016/S0001-8708(82)80004-2
    [18] P. Góra, A. Boyarsky, A matrix solution to the inverse Perron-Frobenius problem, P. Am. Math. Soc., 118 (1993), 409-414. doi: 10.1090/S0002-9939-1993-1129877-8
    [19] A. Baranovsky, D. Daems, Design of one-dimensional chaotic maps with prescribed statistical properties, Int. J. Bifurcat. Chaos, 5 (1995), 1585-1598. doi: 10.1142/S0218127495001198
    [20] F. K. Diakonos, D. Pingel, P. Schmelcher, A stochastic approach to the construction of one-dimensional chaotic maps with prescribed statistical properties, Phys. Lett. A, 264 (1999), 162-170. doi: 10.1016/S0375-9601(99)00775-6
    [21] A. McDonald, M. van Wyk, Solution of the inverse Frobenius-Perron problem for semi-Markov chaotic maps via recursive Markov state disaggregation, In: Proceedings of the 25th IEEE European Signal Processing Conference (EUSIPCO), (2017), 1604-1608.
    [22] A. McDonald, A. van Wyk, Construction of semi-Markov ergodic maps with selectable spectral characteristics via the solution of the inverse eigenvalue problem, In: Proceedings of the 2017 Asia Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA ASC), (2017), 987-993.
    [23] A. M. McDonald, M. A. van Wyk, A novel approach to solving the generalized inverse Frobenius-Perron problem, In: Proceedings of the 2020 IEEE International Symposium on Circuits and Systems (ISCAS), (2020), 1-5.
    [24] X. Nie, D. Coca, A new approach to solving the inverse Frobenius-Perron problem, In: Proceedings of the 2013 IEEE European Control Conference (ECC), (2013), 2916-2920.
    [25] X. Nie, D. Coca, Reconstruction of one-dimensional chaotic maps from sequences of probability density functions, Nonlinear Dynam., 80 (2015), 1373-1390. doi: 10.1007/s11071-015-1949-9
    [26] X. Nie, D. Coca, A matrix-based approach to solving the inverse Frobenius-Perron problem using sequences of density functions of stochastically perturbed dynamical systems, Commun. Nonlinear Sci., 54 (2018), 248-266. doi: 10.1016/j.cnsns.2017.05.011
    [27] X. Nie, J. Luo, D. Coca, M. Birkin, J. Chen, Identification of stochastically perturbed autonomous systems from temporal sequences of probability density functions, J. Nonlinear Sci., 28 (2018), 1467-1487. doi: 10.1007/s00332-018-9455-0
    [28] X. Nie, D. Coca, J. Luo, M. Birkin, Solving the inverse Frobenius-Perron problem using stationary densities of dynamical systems with input perturbations, Commun. Nonlinear Sci., 90 (2020), 105302. doi: 10.1016/j.cnsns.2020.105302
    [29] F. K. Diakonos, P. Schmelcher, On the construction of one-dimensional iterative maps from the invariant density: The dynamical route to the beta distribution, Phys. Lett. A, 211 (1996), 199-203. doi: 10.1016/0375-9601(95)00971-X
    [30] D. Pingel, P. Schmelcher, F. K. Diakonos, Theory and examples of the inverse Frobenius-Perron problem for complete chaotic maps, Chaos: An Interdisciplinary Journal of Nonlinear Science, 9 (1999), 357-366. doi: 10.1063/1.166413
    [31] N. Santitissadeekorn, Transport analysis and motion estimation of dynamical systems of time-series data [dissertation], Clarkson University, New York, 2008.
    [32] A. G. Lozowski, M. Lysetskiy, J. M. Zurada, Signal processing with temporal sequences in olfactory systems, IEEE T. Neural Networks, 15 (2004), 1268-1275. doi: 10.1109/TNN.2004.832730
    [33] A. Lasota, P. Rusek, An application of ergodic theory to the determination of the efficiency of cogged drilling bits, Archiwum Górnictwa, 3 (1974), 281-295.
    [34] A. M. McDonald, M. A. van Wyk, Efficient generation of random signals with prescribed probability distribution and spectral bandwidth via ergodic transformations, In: Proceedings of the 26th IEEE European Signal Processing Conference (EUSIPCO), (2018), 331-335.
    [35] H. G. Guzman, Wideband chaotic signal analysis and processing [dissertation], University of Texas, El Paso, 2007.
    [36] X. Nie, J. Wang, O. Kiselychnyk, J. Chen, Modelling of one-dimensional noisy dynamical systems with a Frobenius-Perron solution, In: Proceedings of the 22nd IEEE International Conference on Automation and Computing (ICAC), (2016), 219-224.
    [37] R. M. Lueptow, A. Akonur, T. Shinbrot, PIV for granular flows, Exp. Fluids, 28 (2000), 183-186.
    [38] J. Wu, E. S. Tzanakakis, Deconstructing stem cell population heterogeneity: Single-cell analysis and modeling approaches, Biotechnol. Adv., 31 (2013), 1047-1062. doi: 10.1016/j.biotechadv.2013.09.001
    [39] E. Kreyszig, Introductory Functional Analysis with Applications, 1st edition, Wiley, New York, 1978.
    [40] A. Villani, On Lusin's condition for the inverse function, Rendiconti del Circolo Matematico di Palermo, 33 (1984), 331-335. doi: 10.1007/BF02844496
    [41] A. Boyarsky, G. Haddad, All invariant densities of piecewise linear Markov maps are piecewise constant, Adv. Appl. Math., 2 (1981), 284-289. doi: 10.1016/0196-8858(81)90008-7
    [42] O. Perron, Zur theorie der matrices, Math. Ann., 64 (1907), 248-263.
    [43] G. Frobenius, Über matrizen aus nicht negativen elementen, Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften, 26 (1912), 456-477.
    [44] M. Marcus, H. Minc, A Survey of Matrix Theory and Matrix Inequalities, 1st edition, Allyn and Bacon, Boston, 1964.
    [45] P. R. Halmos, Lectures on Ergodic Theory, 1st edition, Chelsea Publishing Company, New York, 1956.
    [46] S. M. Ulam, A Collection of Mathematical Problems, 1st edition, Interscience Publishers, New York, 1960.
    [47] M. A. van Wyk, W-H. Steeb, Chaos in Electronics, 1st edition, Springer Science and Business Media, Dordrecht, 1997.
    [48] L. O. Chua, Y. Yao, Q. Yang, Generating randomness from chaos and constructing chaos with desired randomness, Int. J. Circ. Theor. Appl., 18 (1990), 215-240. doi: 10.1002/cta.4490180302
    [49] A. Berlinet, G. Biau, A chaotic non-uniform random variate generator, University Montpellier II, (1999), 1-22, Report No.: 99-06.
    [50] N. Wei, Solutions of the inverse Frobenius-Perron problem [thesis], Concordia University, Montréal, 2015.
    [51] G. Györgyi, P. Szépfalusy, Fully developed chaotic 1-d maps, Zeitschrift für Physik B: Condensed Matter, 55 (1984), 179-186.
    [52] S. Koga, The inverse problem of Flobenius-Perron equations in 1D difference systems: 1D map idealization, Prog. Theor. Phys., 86 (1991), 991-1002. doi: 10.1143/ptp/86.5.991
    [53] W. Huang, Constructing complete chaotic maps with reciprocal structures, Discrete Dyn. Nat. Soc., 2005 (2005), 357-372. doi: 10.1155/DDNS.2005.357
    [54] W. Huang, Constructing chaotic transformations with closed functional forms, Discrete Dyn. Nat. Soc., 2006 (2006), 1-16.
    [55] W. Huang, On the complete chaotic maps that preserve prescribed absolutely continuous invariant densities, In: Topics on Chaotic Systems: Selected Papers from CHAOS 2008 International Conference, (2008), 166-173.
    [56] W. Huang, Constructing multi-branches complete chaotic maps that preserve specified invariant density, Discrete Dyn. Nat. Soc., 2009 (2009), 1-14.
    [57] R. Venegeroles, Exact invariant measures: How the strength of measure settles the intensity of chaos, Phys. Rev. E, 91 (2015), 062914. doi: 10.1103/PhysRevE.91.062914
    [58] A. Boyarsky, P. Góra, Z. Li, Optimal chaotic selectors, Dynamical Systems, 30 (2015), 253-269.
    [59] L. Ciampolini, S. Meignen, O. Menut, T. David, Direct solution of the inverse stochastic problem through elementary Markov state disaggregation, HAL Archives-Ouvertes, (2014), 1-12, Report No.: hal-01016804.
    [60] A. Rogers, R. Shorten, D. M. Heffernan, Synthesizing chaotic maps with prescribed invariant densities, Phys. Lett. A, 330 (2004), 435-441. doi: 10.1016/j.physleta.2004.08.022
    [61] A. Rogers, Synthesis and applications of chaotic maps [thesis], National University of Ireland, Maynooth, 2005.
    [62] A. Rogers, R. Shorten, D. M. Heffernan, D. Naughton, Synthesis of piecewise-linear chaotic maps: Invariant densities, autocorrelations, and switching, Int. J. Bifurcat. Chaos, 18 (2008), 2169-2189. doi: 10.1142/S0218127408021646
    [63] A. Rogers, R. Shorten, D. M. Heffernan, A novel matrix approach for controlling the invariant densities of chaotic maps, Chaos, Solitons & Fractals, 35 (2008), 161-175.
    [64] S. H. Isabelle, G. W. Wornell, Statistical analysis and spectral estimation techniques for one-dimensional chaotic signals, IEEE T. Signal Proces., 45 (1997), 1495-1506. doi: 10.1109/78.599984
    [65] M. A. van Wyk, The inverse Frobenius-Perron problem: Past, present, applications and new directions, Keynote presentation at: 11th International Workshop on Chaos, Fractals, Theories and Applications, (2018), Chongqing, China.
  • Reader Comments
  • © 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

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

Metrics

Article views(3452) PDF downloads(162) Cited by(6)

Figures and Tables

Figures(10)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog