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
[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={z∈C:|z|<1}, we establish here the class of analytic functions denoted by H(U) and its subclasses H[a,n] containing the functions f∈H(U) defined by f(z)=a+anzn+an+1zn+1+…, with z∈U, a∈C, n∈N, as well as An, containing the functions f∈H(U) of the form f(z)=z+an+1zn+1+…, z∈U. 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)(z−t)1−λdt, |
where λ>0 and the multiplicity of (z−t)λ−1 is removed by the condition that log(z−t) is real when (z−t)>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,l∈R, l>−1, and f(z)=z+∑∞j=2ajzj∈A, z∈U.
Remark 1. We notice that limq→1Im,lqf(z)=limq→1(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, z∈U and ω(0)=0, such that f(z)=g(ω(z)), ∀ z∈U. 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×U→C, when the analytic function p satisfies the differential subordination
ψ(p(z),zp′(z),z2p′′(z);z)≺h(z), z∈U, | (1.1) |
then p is a solution of the differential subordination. When p≺g for all solutions p, the univalent function g is a dominant of the solutions. A dominant ˜g with the property ˜g≺g 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ׯU→C, 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 g≺p 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 ¯U∖E(f), with the property f′(ζ)≠0 for ζ∈∂U∖E(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 D⊃g(U), such that η(w)≠0, ∀ w∈g(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, ∀ z∈U, 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 z∈U, then p≺g and g is the best dominant.
Lemma 2. ([26]) Considering the convex univalent function g in U and the analytic functions θ, η in a domain D⊃g(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, ∀ z∈U, when p∈H[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 g≺p 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)(z−t)1−λdt= | (2.1) |
1Γ(λ)∫z0t(z−t)1−λdt+∞∑j=2([l+j]q[l+1]q)maj∫z0tj(z−t)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=2ajzj∈A. We note that D−λzIm,lqf(z)∈H[0,λ+1].
Remark 2. When q→1, 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)(z−t)1−λdt= | (2.3) |
1Γ(λ)∫z0t(z−t)1−λdt+∞∑j=2(l+jl+1)maj∫z0tj(z−t)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=2ajzj∈A. 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 f∈A and g an analytic function univalent in U with the property that g(z)≠0, ∀ z∈U, with real numbers q,m,l, q∈(0,1), l>−1, and λ,n∈N. Assuming that zg′(z)g(z) is a starlike function univalent in U and
Re(1+bdg(z)+2cd(g(z))2−zg′(z)g(z)+zg′′(z)g′(z))>0, | (2.5) |
for a,b,c,d∈C, d≠0, z∈U, 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,d∈C, d≠0, then the differential subordination
(D−λzIm,lqf(z)z)n≺g(z), | (2.8) |
holds and g is the best dominant for it.
Proof. Setting p(z):=(D−λzIm,lqf(z)z)n, z∈U, z≠0, and differentiating with respect to z, we get
p′(z)=n(D−λzIm,lqf(z)z)n−1[(D−λzIm,lqf(z))′z−D−λzIm,lqf(z)z2]= |
n(D−λzIm,lqf(z)z)n−1(D−λzIm,lqf(z))′z−nzp(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, w∈C∖{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))2−zg′(z)g(z)+zg′′(z)g′(z). |
The condition
Re(zh′(z)G(z))=Re(1+bdg(z)+2cd(g(z))2−zg′(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)n≺g(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 λ,n∈N. 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,d∈C, d≠0, −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 λ,n∈N. If the differential subordination
ψm,l,qλ(n,a,b,c,d;z)≺a+b(z+11−z)s+c(z+11−z)2s+2sdz1−z2 |
holds for a,b,c,d∈C, 0<s≤1, d≠0, and the function ψm,l,qλ is defined by relation (2.6), then the differential subordination
(D−λzIm,lqf(z)z)n≺(z+11−z)s |
is satisfied with the function g(z)=(z+11−z)s as the best dominant.{}
Proof. Considering in Theorem 1 the function g(z)=(z+11−z)s, with 0<s≤1, the corollary is obtained.
When q→1 in Theorem 1, we get the classical case:
Theorem 2. Consider f∈A and g an analytic function univalent in U with the property that g(z)≠0, ∀ z∈U, with real numbers m,l, l>−1, and λ,n∈N. Assuming that zg′(z)g(z) is a starlike function univalent in U and
Re(1+bdg(z)+2cd(g(z))2−zg′(z)g(z)+zg′′(z)g′(z))>0, | (2.9) |
for a,b,c,d∈C, d≠0, z∈U, 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,d∈C, d≠0, then the differential subordination
(D−λzI(m,1,l)f(z)z)n≺g(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 f∈A 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 λ,n∈N. Assuming that
Re(2cd(g(z))2+bdg(z))>0,forb,c,d∈C,d≠0 | (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,d∈C, d≠0, 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, z∈U, z≠0.
Defining the functions θ and η by θ(w):=a+bw+cw2 and η(w):=dw, it is evident that η(w)≠0, w∈C∖{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,d∈C, d≠0.
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 λ,n∈N. 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,d∈C, d≠0, −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 λ,n∈N. If the differential superordination
a+b(z+11−z)s+c(z+11−z)2s+2sdz1−z2≺ψm,l,qλ(n,a,b,c,d;z) |
is satisfied for a,b,c,d∈C, 0<s≤1, d≠0, and the function ψm,l,qλ is given by the relation (2.6), then the differential superordination
(z+11−z)s≺(D−λzIm,lqf(z)z)n |
is satisfied with the function g(z)=(z+11−z)s as the best subordinant.
Proof. Considering in Theorem 3 the function g(z)=(z+11−z)s, with 0<s≤1, the corollary is obtained.
When q→1 in Theorem 3, we get the classical case:
Theorem 4. Consider f∈A 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 λ,n∈N. Assuming that
Re(2cd(g(z))2+bdg(z))>0,forb,c,d∈C,d≠0, | (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,d∈C, d≠0, 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 f∈A and g1, g2 analytic functions univalent in U with the properties that g1(z)≠0, g2(z)≠0, ∀ z∈U, and, respectively, zg′1(z)g1(z), zg′2(z)g2(z) are starlike univalent, with real numbers q,m,l, q∈(0,1), l>−1, and λ,n∈N. 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+dzg′1(z)g1(z)≺ψm,l,qλ(n,a,b,c,d;z)≺a+bg2(z)+c(g2(z))2+dzg′2(z)g2(z) |
is satisfied for a,b,c,d∈C, d≠0, then the below sandwich-type relation
g1(z)≺(D−λzIm,lqf(z)z)n≺g2(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<α2≤1, 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 λ,n∈N. 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,d∈C, d≠0, −1≤β2≤β1<α1≤α2≤1, 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+11−z)s1, g2(z)=(z+11−z)s2, with 0<s1,s2≤1, 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 λ,n∈N. If the sandwich-type relation
a+b(z+11−z)s1+c(z+11−z)2s1+2s1dz1−z2≺ψm,l,qλ(n,a,b,c,d;z) |
≺a+b(z+11−z)s2+v(z+11−z)2s2+2s2dz1−z2 |
holds for a,b,c,d∈C, d≠0, −1≤β2≤β1<α1≤α2≤1, and the function ψm,l,qλ is defined by the relation (2.6), then the following sandwich-type relation
(z+11−z)s1≺(D−λzIm,lqf(z)z)n≺(z+11−z)s2 |
is satisfied for g1(z)=(z+11−z)s1 as the best subordinant and g2(z)=(z+11−z)s2 the best dominant.
The sandwich-type result is obtained by combining Theorems 2 and 4 for the classical case when q→1.
Theorem 6. Consider f∈A and g1, g2 analytic functions univalent in U with the properties that g1(z)≠0, g2(z)≠0, ∀ z∈U, and, respectively, zg′1(z)g1(z), zg′2(z)g2(z) are starlike univalent, with real numbers m,l, l>−1, and λ,n∈N. 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+dzg′1(z)g1(z)≺ψm,l,λ(n,a,b,c,d;z)≺a+bg2(z)+c(g2(z))2+dzg′2(z)g2(z), |
is satified for a,b,c,d∈C, d≠0, then the below sandwich-type relation
g1(z)≺(D−λzI(m,1,l)f(z)z)n≺g2(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 q→1 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. |