
In this work, we study a posteriori error analysis of a general class of fractional initial value problems and fractional boundary value problems. A Petrov-Galerkin spectral method is adopted as the discretization technique in which the generalized Jacobi functions are utilized as basis functions for constructing efficient spectral approximations. The unique solvability of the weak problems is established by verifying the Babuška-Brezzi inf-sup condition. Then, we introduce some residual-type a posteriori error estimators, and deduce their efficiency and reliability in properly weighted Sobolev space. Numerical examples are given to illustrate the performance of the obtained error estimators.
Citation: Bo Tang, Huasheng Wang. The a posteriori error estimate in fractional differential equations using generalized Jacobi functions[J]. AIMS Mathematics, 2023, 8(12): 29017-29041. doi: 10.3934/math.20231486
[1] | Ali N. A. Koam, Adnan Khalil, Ali Ahmad, Muhammad Azeem . Cardinality bounds on subsets in the partition resolving set for complex convex polytope-like graph. AIMS Mathematics, 2024, 9(4): 10078-10094. doi: 10.3934/math.2024493 |
[2] | Ali N. A. Koam . Metric based resolvability of cycle related graphs. AIMS Mathematics, 2024, 9(4): 9911-9925. doi: 10.3934/math.2024485 |
[3] | Naila Mehreen, Rashid Farooq, Shehnaz Akhter . On partition dimension of fullerene graphs. AIMS Mathematics, 2018, 3(3): 343-352. doi: 10.3934/Math.2018.3.343 |
[4] | Suliman Khan, Sakander Hayat, Asad Khan, Muhammad Yasir Hayat Malik, Jinde Cao . Hamilton-connectedness and Hamilton-laceability of planar geometric graphs with applications. AIMS Mathematics, 2021, 6(4): 3947-3973. doi: 10.3934/math.2021235 |
[5] | Moussa Benoumhani . Restricted partitions and convex topologies. AIMS Mathematics, 2025, 10(4): 10187-10203. doi: 10.3934/math.2025464 |
[6] | Li Liu, Long Zhang, Huaxiang Zhang, Shuang Gao, Dongmei Liu, Tianshi Wang . A data partition strategy for dimension reduction. AIMS Mathematics, 2020, 5(5): 4702-4721. doi: 10.3934/math.2020301 |
[7] | Sakander Hayat, Bagus Imanda, Asad Khan, Mohammed J. F. Alenazi . Three infinite families of Hamilton-connected convex polytopes and their detour index. AIMS Mathematics, 2025, 10(5): 12343-12387. doi: 10.3934/math.2025559 |
[8] | Dalal Awadh Alrowaili, Uzma Ahmad, Saira Hameeed, Muhammad Javaid . Graphs with mixed metric dimension three and related algorithms. AIMS Mathematics, 2023, 8(7): 16708-16723. doi: 10.3934/math.2023854 |
[9] | Ahmed Alamer, Hassan Zafar, Muhammad Javaid . Study of modified prism networks via fractional metric dimension. AIMS Mathematics, 2023, 8(5): 10864-10886. doi: 10.3934/math.2023551 |
[10] | Jesús Gómez-Gardeñes, Ernesto Estrada . Network bipartitioning in the anti-communicability Euclidean space. AIMS Mathematics, 2021, 6(2): 1153-1174. doi: 10.3934/math.2021070 |
In this work, we study a posteriori error analysis of a general class of fractional initial value problems and fractional boundary value problems. A Petrov-Galerkin spectral method is adopted as the discretization technique in which the generalized Jacobi functions are utilized as basis functions for constructing efficient spectral approximations. The unique solvability of the weak problems is established by verifying the Babuška-Brezzi inf-sup condition. Then, we introduce some residual-type a posteriori error estimators, and deduce their efficiency and reliability in properly weighted Sobolev space. Numerical examples are given to illustrate the performance of the obtained error estimators.
Let ψ be a simple, connected graph with vertex set V(ψ) and edge set E(ψ). The distance d(ρ1,ρ2), ρ1,ρ2∈V(ψ) is the length of shortest path between ρ1 and ρ2. Let Q={v1,v2,…,vj} be an ordered set of vertices of ψ. Let ρ1∈V(ψ), the representations denoted by r(ρ1|Q) is the j-tuple distances as (d(ρ1|v1),d(ρ1|v2),…,d(ρ1|vj)). If distinct vertices of ψ have distinct representation w.r.t. Q then Q is called the resolving set. The minimum number of j in the resolving set is known as the metric dimension of ψ and written as dim(ψ). Motivated by the problem of determining an intruder's location in a network in a unique way, Slater introduced the definition of metric dimension in [27] and later independently by Harary and Melter in [11]. The concept of resolving set, metric basis and metric dimension appeared in the literature [4,6,8,9,10,12,15,19,28,30,31].
A partition of a set is collection of its subsets, no pair of which overlap, such that the union of all the subsets is the whole set and partition dimension is related to the partitioning of the vertex set V(Ω) and resolvability. The partition dimension is a generalized variant of matric dimension. Another type of dimension of a graph, is called partition dimension. Let Γ={Γ1,Γ2…,Γj} and r(ρ1|Γ)={d(ρ1,Γ1),d(ρ1,Γ2),…,d(ρ1,Γj)} are named as j-ordered partition of vertices and j-tuple representations respectively. If the representations of every ρ1 in V(ψ) w.r.t. Γ is different, then Γ is the resolving partition of the vertex set and the minimum count of the resolving partition set of V(ψ) is named as the partition dimension of ψ and it is represented by pd(ψ) [7]. The problem of determining the resolving set of a graph is NP-hard [20]. As, the problem of finding the partition dimension is a generalize version of metric dimension, therefore partition dimension is also a NP-complete problem. It is natural to think that there is a relation between metric and partition dimension, [7] proved for any non-trivial connected graph ψ,
pd(ψ)≤dim(ψ)+1. | (1.1) |
In [22], fullerene graph of chemical structure is discussed and proved that the graph has constant and bounded partition dimension. For more and interesting results on constant partition dimension can see [16,21,24]. To find the exact value of partition dimension of a graph is not easy therefore, various results on the bounds of the partition dimension are discussed in literature, such as the partition dimension of Cartesian product operation on different graphs are studies and provided extensive bounds on partition dimension [29]. In [1] different bounds of partition dimension of subdivision of different graphs are discussed. In [25,26] provide bounds of partition dimension of tree and uni-cyclic graphs in the form of subgraphs.
The applications of partition resolving sets can be found in different fields such as robot navigation [19], Djokovic-Winkler relation [9], strategies for the mastermind game [10], network discovery and verification [5], in chemistry for representing chemical compounds [17,18] and in problems of pattern recognition and image processing, some of which involve the use of hierarchical data structures [23] for more applications see [6,11]. Following theorems are very helpful in finding the partition dimension of a graph.
Theorem 1.1. [7] Let Γ be a resolving partition of V(ψ) and ρ1,ρ2∈V(ψ). If d(ρ1,z)=d(ρ2,z) for all vertices z∈V(ψ)∖(ρ1,ρ2), then ρ1,ρ2 belong to different classes of Γ.
Theorem 1.2. [7] Let ψ be a simple and connected graph, then
● pd(ψ) is 2 iff ψ is a path graph
● pd(ψ) is n iff ψ is a complete graph,
Let R be a family of connected graphs Gn:R=(Gn)n≥1, where |V(ψ)|=λ(n) and limn→∞λ(n)=∞. If there exists a constant α≥1 such that pd(ψ)≤α,n≥1, then R has bounded partition dimension otherwise unbounded. Imran et al. [14] studied the metric dimension of Rpn, Dpn, and Qpn, convex polytopes which motivates us to find the partition dimension of same families of convex polytopes. In this paper, the partition dimension of same families of convex polytopes are studied. We determine the partition dimension of Rpn, in second section. In the third section, the partition dimension of the graph Dpn of a convex polytope with pendent edges is presented. The fourth section remains for the partition dimension of the graph Qpn.
The convex polytope Rpn (p for pendant edges) is a planar graph and obtained from the convex polytope Rn defined in [13]. If we attach a pendant edge at each vertex of outer layer of Rn then we obtained a new planer graph Rpn as shown in Figure 1. The vertex set of Rpn, V(RPn)={V(Rn)}∪{xα:1≤α≤n} and edge set of Rpn, E(RPn)={E(Rn)}∪{wαxα:1≤α≤n}.
For calculation, {uα:1≤α≤n} represents the inner cycle, the cycle induced by {vα:1≤α≤n} is interior cycle, exterior cycle containing {wα:1≤α≤n} set of vertices and pendant vertices named {xα:1≤α≤n}.
Theorem 2.1. Let Rpn be a polytopes with n≥6. Then pd(Rpn)≤4.
Proof. We splits the proof into following two cases.
Case 1: When n=2β,β≥3,β∈N. We partition the vertices of Rpn into four partition resolving sets Θ={Γ1,Γ2,Γ3,Γ4} where Γ1={u1}, Γ2={u2}, Γ3={uβ+1} and Γ4={∀V(Rpn)|∉{Γ1,Γ2,Γ3}}. It suffice to show that if every vertex of Rpn have different representation w.r.t. resolving set Γ, then pd(Rpn)≤4. We give the representations of all vertices w.r.t. resolving partition set Γ are following.
The vertices on inner cycle having the representations w.r.t. Γ which are:
If 3≤α≤β, then r(uβ|Γ)=(α−1,α−2,β−α+1,0). If β+2≤α≤2β, then r(uβ|Γ)=(2β−α+1,2β−α+2,α−β−1,0). There are no two vertices have same representation in inner cycle of Rpn.
The vertices on interior cycle having the representations w.r.t. Γ which are:
If α=1, then r(vβ|Γ)=(1,1,β,0). If 2≤α≤β, then r(vβ|Γ)=(α,α−1,β−α+1,0). If α=β+1, then r(vβ|Γ)=(β,β,1,0). If β+2≤α≤2β, then r(vβ|Γ)=(2β−α+1,2β−α+2,α−β,0). There are also no two vertices have same representation in interior cycle of Rpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If α=1, then r(wβ|Γ)=(2,2,β+1,0). If 2≤α≤β+1, then r(wβ|Γ)=(α+1,α,β−α+2,0). If α=β+2, then r(wβ|Γ)=(β+1,β+1,2,0). If β+3≤α≤2β, then r(wβ|Γ)=(2β−α+2,2β−α+3,α−β+1,0). Again there are no two vertices have same representation also in exterior cycle of Rpn. The representations of pendant vertices w.r.t. Γ are shown in Table 1. Again we can see that there are no two vertices have same representation of pendant vertices of Rpn.
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β | 2β−α+3 | 2β−α+4 | α−β+2 | 0 |
It is easy to verify that all the vertices of Rpn have unique representation w.r.t. resolving partition Γ. Its means we can resolve the vertices of Rpn into four partition resolving sets, when n is even.
Case 2: When n=2β+1,β≥3,β∈N. Again we resolve the vertices of Rpn into four partition resolving sets Γ={Γ1,Γ2,Γ3,Γ4} where Γ1={u1}, Γ2={u2}, Γ3={uβ+1} and Γ4={∀V(Rpn)|∉{Γ1,Γ2,Γ3}}. It suffice to show that if every vertices of Rpn have different representation w.r.t. resolving set Γ, then pd(Rpn)≤4. {We give the representations of all vertices Γ4 w.r.t. resolving set Γ are following.
The vertices on inner cycle having the representations w.r.t. Γ which are:
If 3≤α≤β, then r(uβ|Γ)=(α−1,α−2,β−α+1,0). If α=β+2, then r(uβ|Γ)=(β,β,1,0). If β+3≤α≤2β+1, then r(uβ|Γ)=(2β−α+2,2β−α+3,α−β−1,0). There are no two vertices have same representation in inner cycle of Rpn.
The vertices on interior cycle having the representations w.r.t. Γ which are:
If α=1, then r(vβ|Γ)=(1,1,β,0). If 2≤α≤β, then r(vβ|Γ)=(α,α−1,β−α+1,0). If α=β+1, then r(vβ|Γ)=(β+1,β,1,0). If β+2≤α≤2β+1, then r(vβ|Γ)=(2β−α+2,2β−α+3,α−β,0). There are also no two vertices have same representation in interior cycle of Rpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are: If α=1, then r(wβ|Γ)=(2,2,β+1,0). If 2≤α≤β, then r(wβ|Γ)=(α+1,α,β−α+2,0). If α=β+1, then r(wβ|Γ)=(β+2,β+1,2,0). If β+2≤α≤2β+1, then r(wβ|Γ)=(2β−α+3,2β−α+4,α−β+1,0). Again there are no two vertices have same representation also in exterior cycle of Rpn.
The pendant vertices having the representations w.r.t. Γ shown in Table 2. Again we can see that there are no two vertices have same representation of pendant vertices of Rpn.
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+3 | β+2 | 3 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+4 | 2β−α+5 | α−β+2 | 0 |
It is easy to verify that all the vertices of Rpn have unique representation w.r.t. resolving partition Γ. Its means we can also resolve the vertices of Rpn into four partition resolving sets, when n is odd.
We note that from Case 1 and 2, there are no two vertices having the same representations implying that pd(Rpn)≤4.
The convex polytope DPn is a planar graph and if we attach a pendant edge at each vertex of outer cycle of Dn [2] then we obtained a new plane graph DPn as shown in Figure 2. The vertex and edge set V(DPn)={V(Dn)}∪{yα:1≤α≤n}, E(DPn)={E(Dn)}∪{xαyα:1≤α≤n} are respectively. For calculation, {uα:1≤α≤n} represents the inner cycle, the cycle induced by {vα:1≤α≤n} is interior cycle, exterior cycle containing {wα:1≤α≤n} set of vertices, {xα:1≤α≤n} labeled as outer cycle and pendant vertices named for {yα:1≤α≤n}.
Theorem 3.1. Let DPn be a polytopes with n≥6. Then pd(DPn)≤4.
Proof. We split the proof of above theorem into following two cases.
Case 1: When n=2β,β≥3,β∈N. We partition the vertices of Dpn into four partition sets Γ={Γ1,Γ2,Γ3,Γ4} where Γ1={u1}, Γ2={u2}, Γ3={uβ+1} and Γ4={∀V(Dpn)|∉{Γ1,Γ2,Γ3}}. It suffice to show that if every vertices of Dpn have different representation w.r.t. resolving set Γ, then pd(Dpn)≤4. We give the representations of all vertices Γ4 w.r.t. resolving set Γ are following.
The vertices on inner cycle having the representations w.r.t. Γ which are:
If 3≤α≤β, then r(uβ|Γ)=(α−1,α−2,β−α+1,0). If β+2≤α≤2β, then r(uβ|Γ)=(2β−α+1,2β−α+2,α−β−1,0). There are no two vertices have same representation in inner cycle of Dpn.
The vertices on interior cycle having the representations w.r.t. Γ which are:
If α=1, then r(vβ|Γ)=(1,2,β+1,0). If 2≤α≤β, then r(vβ|Γ)=(α,α−1,β−α+2,0). If α=β+1, then r(vβ|Γ)=(β,β,1,0). If β+2≤α≤2β, then r(vβ|Γ)=(2β−α+2,2β−α+3,α−β,0). There are also no two vertices have same representation in interior cycle of Dpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If α=1, then r(wβ|Γ)=(2,2,β+1,0). If 2≤α≤β, then r(wβ|Γ)=(α+1,α,β−α+2,0). If α=β+1, then r(wβ|Γ)=(β+1,β+1,2,0). If β+2≤α≤2β, then r(wβ|Γ)=(2β−α+2,2β−α+3,α−β+1,0). Again there are no two vertices have same representation also in exterior cycle of Dpn.
The vertices on outer cycle and pendant vertices having the representations w.r.t. Γ as shown in Tables 3 and 4. Again we can see that there are no two vertices have same representation in outer cycle and pendant vertices of Dpn.
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β | 2β−α+3 | 2β−α+4 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+3 | β+3 | 4 | 0 |
yα: β+2≤α≤2β−1 | 2β−α+4 | 2β−α+5 | α−β+3 | 0 |
It is easy to verify that all the vertices of Dpn have unique representation w.r.t. resolving partition Γ. Its means we can resolve the vertices of Dpn into four partition resolving sets, when n is even.
Case 2: When n=2β+1,β≥3,β∈N. Again we resolve the vertices of Dpn into four partition resolving sets Γ={Γ1,Γ2,Γ3,Γ4} where Γ1={u1}, Γ2={u2}, Γ3={uβ+1} and Γ4={∀V(Dpn)|∉{Γ1,Γ2,Γ3}}. It suffice to show that if every vertices of Dpn have different representation w.r.t. resolving set Γ, then pd(Dpn)≤4. We give the representations of all vertices Γ4 w.r.t. resolving set Γ are following.
The vertices on inner cycle having the representations w.r.t. Γ which are:
If 3≤α≤β, then r(uβ|Γ)=(α−1,α−2,β−α+1,0). If α=β+2, then r(uβ|Γ)=(β,β,1,0). If β+3≤α≤2β+1, then r(uβ|Γ)=(2β−α+1,2β−α+2,α−β−1,0). There are no two vertices have same representation in inner cycle of Dpn.
The vertices on interior cycle having the representations w.r.t. Γ which are:
If α=1, then r(vβ|Γ)=(1,2,β+1,0). If 2≤α≤β+1, then r(vβ|Γ)=(α,α−1,β−α+2,0). If α=β+2, then r(vβ|Γ)=(β+1,β+1,2,0). If β+3≤α≤2β+1, then r(vβ|Γ)=(2β−α+2,2β−α+3,α−β,0). There are also no two vertices have same representation in interior cycle of Dpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If α=1, then r(wβ|Γ)=(2,2,β+1,0). If 2≤α≤β, then r(wβ|Γ)=(α+1,α,β−α+2,0). If α=β+1, then r(wβ|Γ)=(β+2,β+1,2,0). If β+2≤α≤2β+1, then r(wβ|Γ)=(2β−α+3,2β−α+4,α−β+1,0). Again there are no two vertices have same representation also in exterior cycle of Dpn.
The vertices on outer cycle and pendant vertices having the representations w.r.t. Γ as shown in Tables 5 and 6. Again we can see that there are no two vertices have same representation in outer cycle and pendant vertices of Dpn.
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+4 | 2β−α+5 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 4 | 4 | β+3 | 0 |
xα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
xα: α=β+1 | β+3 | β+3 | 4 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+5 | 2β−α+6 | α−β+3 | 0 |
It is easy to verify that all the vertices of Dpn have unique representation w.r.t. resolving partition Γ. Its means we can also resolve the vertices of Dpn into four partition resolving sets, when n is odd.
We note that from Case 1 and 2, there are no two vertices having the same representations implying that pd(Tpn)≤4.
The convex polytope QPn is a planar graph and If we attach a pendant edge at each vertex of outer cycle of Qn [3] then we obtained a new plane graph QPn as shown in Figure 3. The vertex and edge set V(QPn)={V(αn)}∪{yα:1≤α≤n}, E(QPn)={E(Qn)}∪{xαyα:1≤α≤n} are respectively.
For convenience, {uα:1≤α≤n} represents the inner cycle, the cycle induced by {vα:1≤α≤n} is interior cycle, exterior cycle containing {wα:1≤α≤n} set of vertices, {xα:1≤α≤n} are exterior vertices, and pendant vertices named for {yα:1≤α≤n}.
Theorem 4.1. Let QPn be a polytopes with n≥6. Then pd(QPn)≤4.
Proof. Case 1: When n=2β,β≥3,β∈N. We partition the vertices of Qpn into four partition resolving sets Γ={Γ1,Γ2,Γ3,Γ4} where Γ1={u1}, Γ2={u2}, Γ3={uβ+1} and Γ4={∀V(Qpn)|∉{Γ1,Γ2,Γ3}}. It suffice to show that if every vertices of Qpn have different representation w.r.t. resolving set Γ, then pd(Qpn)≤4. We give the representations of all vertices Γ4 w.r.t. resolving set Γ are following.
The vertices on inner cycle having the representations w.r.t. Γ which are:
If 3≤α≤β, then r(uβ|Γ)=(α−1,α−2,β−α+1,0). If β+2≤α≤2β, then r(uβ|Γ)=(2β−α+1,2β−α+2,α−β−1,0). There are no two vertices have same representation in inner cycle of Qpn.
The vertices on interior cycle having the representations w.r.t. Γ which are:
If β=1, then r(vβ|Γ)=(1,2,α+1,0). If 2≤α≤β, then r(vβ|Γ)=(α,α−1,β−α+2,0). If β+2≤α≤2β, then r(vβ|Γ)=(2β−α+2,2β−α+3,α−β,0). There are also no two vertices have same representation in interior cycle of Qpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If β=1, then r(vβ|Γ)=(2,2,α+1,0). If 2≤α≤β, then r(wβ|Γ)=(α+1,α,β−α+2,0). If α=β+1, then r(vβ|Γ)=(α+1,α+1,2,0). If β+2≤α≤2β, then r(wβ|Γ)=(2β−α+2,2β−α+3,α−β+1,0). Again there are no two vertices have same representation also in exterior cycle of Qpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If β=1, then r(vβ|Γ)=(3,3,α+2,0). If 2≤α≤β, then r(wβ|Γ)=(α+2,α+1,β−α+3,0). If α=β+1, then r(vβ|Γ)=(α+2,α+2,3,0). If β+2≤α≤2β, then r(wβ|Γ)=(2β−α+3,2β−α+4,α−β+2,0). Again there are no two vertices have same representation also in exterior cycle of Qpn.
The pendant vertices having the representations w.r.t. Γ as shown in Table 7. Again we can see that there are no two vertices have same representation in pendant vertices of Qpn.
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+3 | β+3 | 4 | 0 |
yα: β+2≤α≤2β | 2β−α+4 | 2β−α+5 | α−β+3 | 0 |
It is easy to verify that all the vertices of Qpn have unique representation w.r.t. resolving partition Γ. Its means we can resolve the vertices of Qpn into four partition resolving sets, when n is even.
Case 2: When n=2β+1,β≥3,β∈N. Again we resolve the vertices of Qpn into four partition resolving sets Γ={Γ1,Γ2,Γ3,Γ4} where Γ1={u1}, Γ2={u2}, Γ3={uβ+1} and Γ4={∀V(Qpn)|∉{Γ1,Γ2,Γ3}}. It suffice to show that if every vertices of Qpn have different representation w.r.t. resolving set Γ, then pd(Qpn)≤4. We give the representations of all vertices Γ4 w.r.t. resolving set Γ are following.
The vertices on inner cycle having the representations w.r.t. Γ which are:
If 3≤α≤β, then r(uβ|Γ)=(α−1,α−2,β−α+1,0). If α=β+2, then r(uβ|Γ)=(β,β,1,0). If β+3≤α≤2β+1, then r(uβ|Γ)=(2β−α+1,2β−α+2,α−β−1,0). There are no two vertices have same representation in inner cycle of Qpn.
The vertices on interior cycle having the representations w.r.t. Γ which are:
If β=1, then r(vβ|Γ)=(1,2,α+1,0). If 2≤α≤β, then r(vβ|Γ)=(α,α−1,β−α+2,0). If α=β+2, then r(vβ|Γ)=(β+1,β+1,2,0). If β+3≤α≤2β+1, then r(vβ|Γ)=(2β−α+2,2β−α+3,α−β,0). There are also no two vertices have same representation in interior cycle of Qpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If β=1, then r(vβ|Γ)=(2,2,α+1,0). If 2≤α≤β, then r(wβ|Γ)=(α+1,α,β−α+2,0). If α=β+1, then r(wβ|Γ)=(β+2,β+1,2,0). If β+2≤α≤2β+1, then r(wβ|Γ)=(2β−α+3,2β−α+4,α−β+1,0). Again there are no two vertices have same representation also in exterior cycle of Qpn.
The vertices on exterior cycle having the representations w.r.t. Γ which are:
If β=1, then r(vβ|Γ)=(3,3,α+2,0). If 2≤α≤β, then r(wβ|Γ)=(α+2,α+1,β−α+3,0). If α=β+1, then r(wβ|Γ)=(β+2,β+2,3,0). If β+2≤α≤2β+1, then r(wβ|Γ)=(2β−α+4,2β−α+5,α−β+2,0). Again there are no two vertices have same representation also in exterior cycle of Qpn.
The pendant vertices having the representations w.r.t. Γ as shown in Table 8. Again we can see that there are no two vertices have same representation in pendant vertices of Qpn.
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+4 | β+3 | 4 | 0 |
yα: β+2≤α≤2β+1 | 2β−α+5 | 2β−α+6 | α−β+3 | 0 |
It is easy to verify that all the vertices of Qpn have unique representation w.r.t. resolving partition Γ. Its means we can also resolve the vertices of Qpn into four partition resolving sets, when n is odd.
We note that from Case 1 and 2, there are no two vertices having the same representations implying that pd(Upn)≤4.
The core of the problem of the partition dimension is deciding the resolving partition set for a graph. In this paper, we have studies the partition dimension of some families of convex polytopes graph such as Rpn, Dpn and Qpn, which are obtained from the convex polytopes by adding a pendant edge at each vertex of outer cycle. In this research work, we have proved that partition dimension of these convex polytopes are bounded. Consequently, we propose the following open problems.
Conjecture 5.1. The following equalities hold:
pd(Rpn)=pd(Dpn)=pd(Qpn)=4 |
The authors declare there is no conflict of interest.
[1] |
I. Babuška, W. C. Rheinboldt, A-posteriori error estimates for the finite element method, Int. J. Numer. Meth. Eng., 12 (1978), 1597–1615. https://doi.org/10.1002/nme.1620121010 doi: 10.1002/nme.1620121010
![]() |
[2] |
M. Benchohra, S. Hamani, S. K. Ntouyas, Boundary value problems for differential equations with fractional order and nonlocal conditions, Nonlinear Anal.-Theor., 71 (2009), 2391–2396. https://doi.org/10.1016/j.na.2009.01.073 doi: 10.1016/j.na.2009.01.073
![]() |
[3] |
D. A. Benson, S. W. Wheatcraft, M. M. Meerschaert, The fractional-order governing equation of Lévy motion, Water Resour. Res., 36 (2000), 1413–1423. https://doi.org/10.1029/2000WR900032 doi: 10.1029/2000WR900032
![]() |
[4] | C. Bernardi, Y. Maday, Spectral methods, In: Handbook numerical analysis, 5 (1997), 209–485. https://doi.org/10.1016/S1570-8659(97)80003-8 |
[5] |
Y. Chen, X. Lin, Y. Huang, Error analysis of spectral approximation for space-time fractional optimal control problems with control and state constraints, J. Comput. Appl. Math., 413 (2022), 114293. https://doi.org/10.1016/j.cam.2022.114293 doi: 10.1016/j.cam.2022.114293
![]() |
[6] |
S. Chen, J. Shen, L. Wang, Generalized Jacobi functions and their applications to fractional differential equations, Math. Comput., 85 (2016), 1603–1638. http://doi.org/10.1090/mcom3035 doi: 10.1090/mcom3035
![]() |
[7] |
R. W. Ibrahim, Global controllability of a set of fractional differential equations, Miskolc Math. Notes, 12 (2011), 51–60. https://doi.org/10.18514/MMN.2011.259 doi: 10.18514/MMN.2011.259
![]() |
[8] | R. Klages, G. Radons, I. M. Sokolov, Anomalous transport: Foundations and applications, Wiley, 2008. |
[9] |
D. Kusnezov, A. Bulgac, G. D. Dang, Quantum Lévy processes and fractional kinetics, Phys. Rev. Lett., 82 (1999), 1136–1139. https://doi.org/10.1103/PhysRevLett.82.1136 doi: 10.1103/PhysRevLett.82.1136
![]() |
[10] |
E. Lutz, Fractional transport equations for Lévy stable processes, Phys. Rev. Lett., 86 (2001), 2208–2211. https://doi.org/10.1103/PhysRevLett.86.2208 doi: 10.1103/PhysRevLett.86.2208
![]() |
[11] |
X. Li, C. Xu, A space-time spectral method for the time fractional diffusion equation, SIAM. J. Numer. Anal., 47 (2009), 2108–2131. https://doi.org/10.1137/080718942 doi: 10.1137/080718942
![]() |
[12] | F. Mainardi, Y. Luchko, G. Pagnini, The fundamental solution of the space-time fractional diffusion equation, 2007, arXiv: cond-mat/0702419v1. https://doi.org/10.48550/arXiv.cond-mat/0702419 |
[13] |
B. B. Mandelbrot, J. W. Van Ness, Fractional Brownian motions, fractional noises and applications, SIAM Rev., 10 (1968), 422–437. https://doi.org/10.1137/1010093 doi: 10.1137/1010093
![]() |
[14] |
Z. Mao, S. Chen, J. Shen, Efficient and accurate spectral method using generalized Jacobi functions for solving Riesz fractional differential equations, Appl. Numer. Math., 106 (2016), 165–181. https://doi.org/10.1016/j.apnum.2016.04.002 doi: 10.1016/j.apnum.2016.04.002
![]() |
[15] |
W. Mao, Y. Chen, H. Wang, A-posteriori error estimations of the GJF-Petrov-CGalerkin methods for fractional differential equations, Comput. Math. Appl., 90 (2021), 159–170. https://doi.org/10.1016/j.camwa.2021.03.021 doi: 10.1016/j.camwa.2021.03.021
![]() |
[16] |
W. Mao, Y. Chen, H. Wang, A posteriori error estimations of the Petrov-Galerkin methods for fractional Helmholtz equations, Numer. Algor., 89 (2022), 1095–1127. https://doi.org/10.1007/s11075-021-01147-0 doi: 10.1007/s11075-021-01147-0
![]() |
[17] |
Z. Mao, G. E. Karniadakis, A spectral method (of exponential convergence) for singular solutions of the diffusion equation with general two-sided fractional derivative, SIAM J. Numer. Anal., 56 (2018), 24–49. https://doi.org/10.1137/16M1103622 doi: 10.1137/16M1103622
![]() |
[18] |
Z. Mao, J. Shen, Efficient spectral-Galerkin methods for fractional partial differential equations with variable coefficients, J. Comput. Phys., 307 (2016), 243–261. https://doi.org/10.1016/j.jcp.2015.11.047 doi: 10.1016/j.jcp.2015.11.047
![]() |
[19] |
R. Metzler, J. Klafter, The random walk's guide to anomalous diffusion: A fractional dynamics approach, Phys. Rep., 339 (2000), 1–77. https://doi.org/10.1016/S0370-1573(00)00070-3 doi: 10.1016/S0370-1573(00)00070-3
![]() |
[20] | S. G. Samko, A. A. Kilbas, O. I. Marichev, Fractional integrals and derivatives: Theory and applications, New York: Gordon and Breach Sciences Publishers, 1993. |
[21] |
L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator, Commun. Pur. Appl. Math., 60 (2007), 67–112. https://doi.org/10.1002/cpa.20153 doi: 10.1002/cpa.20153
![]() |
[22] |
G. Su, L. Lu, B. Tang, Z. Liu, Quasilinearization technique for solving nonlinear Riemann-Liouville fractional-order problems, Appl. Math. Comput., 378 (2020), 125199. https://doi.org/10.1016/j.amc.2020.125199 doi: 10.1016/j.amc.2020.125199
![]() |
[23] | G. Szegö, Orthogonal polynomials, American Mathematical Society, Providence, 1975. |
[24] |
B. Tang, J. Zhao, Z. Liu, Monotone iterative method for two-point fractional boundary value problems, Adv. Differ. Equ., 2018 (2018), 182. https://doi.org/10.1186/s13662-018-1632-9 doi: 10.1186/s13662-018-1632-9
![]() |
[25] |
B. Tang, Y, Chen, X. Lin, A posteriori error estimates of spectral Galerkin methods for multi-term time fractional diffusion equations, Appl. Math. Lett., 120 (2021), 107259. https://doi.org/10.1016/j.aml.2021.107259 doi: 10.1016/j.aml.2021.107259
![]() |
[26] |
H. Wang, Y. Chen, Y. Huang, W. Mao, A posteriori error estimates of the Galerkin spectral methods for space-time fractional diffusion equations, Adv. Appl. Math. Mech., 12 (2020), 87–100. https://doi.org/10.4208/aamm.OA-2019-0137 doi: 10.4208/aamm.OA-2019-0137
![]() |
[27] |
X. Ye, C. Xu, A posteriori error estimates of spectral method for the fractional optimal control problems with non-homogeneous initial conditions, AIMS Mathematics, 6 (2021), 12028–12050. https://doi.org/10.3934/math.2021697 doi: 10.3934/math.2021697
![]() |
[28] |
X. Ye, C. Xu, A posteriori error estimates for the fractional optimal control problems, J. Inequal. Appl., 2015 (2015), 141. https://doi.org/10.1186/s13660-015-0662-z doi: 10.1186/s13660-015-0662-z
![]() |
[29] |
M. Zayernouri, G. E. Karniadakis, Fractional Sturm-Liouville eigen-problems: Theory and numerical approximation, J. Comput. Phys., 252 (2013), 495–517. https://doi.org/10.1016/j.jcp.2013.06.031 doi: 10.1016/j.jcp.2013.06.031
![]() |
[30] | G. M. Zaslavsky, Chaos, fractional kinetics, and anomalous transport, Phys. Rep., 371 (2002), 461–580. https://doi.org/10.1016/S0370-1573(02)00331-9 |
[31] |
F. Zeng, F. Liu, C. Li, K. Burrage, I. Turner, V. Anh, A Crank-Nicolson ADI spectral method for a two-dimensional Riesz space fractional nonlinear reaction-diffusion equation, SIAM J. Numer. Anal., 52 (2014), 2599–2622. https://doi.org/10.1137/130934192 doi: 10.1137/130934192
![]() |
[32] |
X. Zhao, L. Wang, Z. Xie, Sharp error bounds for Jacobi expansions and Gegenbauer-Gauss quadrature of analytic functions, SIAM J. Numer. Anal., 51 (2013), 1443–1469. https://doi.org/10.1137/12089421X doi: 10.1137/12089421X
![]() |
[33] |
M. Zheng, F. Liu, V. Anh, I. Turner, A high-order spectral method for the multi-term time-fractional diffusion equations, Appl. Math. Model., 40 (2016), 4970–4985. https://doi.org/10.1016/j.apm.2015.12.011 doi: 10.1016/j.apm.2015.12.011
![]() |
[34] |
M. Zheng, F. Liu, I. Turner, V. Anh, A novel high order space-time spectral method for the time fractional Fokker-Planck equation, SIAM J. Sci. Comput., 37 (2015), A701–A724. https://doi.org/10.1137/140980545 doi: 10.1137/140980545
![]() |
1. | Xiujun Zhang, Muhammad Salman, Anam Rani, Rashna Tanveer, Usman Ali, Zehui Shao, Metric Identification of Vertices in Polygonal Cacti, 2023, 136, 1526-1506, 883, 10.32604/cmes.2023.025162 | |
2. | Kamran Azhar, Sohail Zafar, Agha Kashif, Amer Aljaedi, Umar Albalawi, The Application of Fault-Tolerant Partition Resolvability in Cycle-Related Graphs, 2022, 12, 2076-3417, 9558, 10.3390/app12199558 | |
3. | Wajdi Alghamdi, Muhammad Ahsan Asim, Akbar Ali, On the Bounded Partition Dimension of Some Generalised Graph Structures, 2022, 2022, 2314-4785, 1, 10.1155/2022/9531182 | |
4. | Ali Al Khabyah, Ali N. A. Koam, Ali Ahmad, Niansheng Tang, Partition Resolvability of Nanosheet and Nanotube Derived from Octagonal Grid, 2024, 2024, 2314-4785, 1, 10.1155/2024/6222086 | |
5. | Syed Waqas Shah, Muhammad Yasin Khan, Gohar Ali, Irfan Nurhidayat, Soubhagya Kumar Sahoo, Homan Emadifar, Ram Jiwari, On Partition Dimension of Generalized Convex Polytopes, 2023, 2023, 2314-4785, 1, 10.1155/2023/4412591 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β | 2β−α+3 | 2β−α+4 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+3 | β+2 | 3 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+4 | 2β−α+5 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β | 2β−α+3 | 2β−α+4 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+3 | β+3 | 4 | 0 |
yα: β+2≤α≤2β−1 | 2β−α+4 | 2β−α+5 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+4 | 2β−α+5 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 4 | 4 | β+3 | 0 |
xα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
xα: α=β+1 | β+3 | β+3 | 4 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+5 | 2β−α+6 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+3 | β+3 | 4 | 0 |
yα: β+2≤α≤2β | 2β−α+4 | 2β−α+5 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+4 | β+3 | 4 | 0 |
yα: β+2≤α≤2β+1 | 2β−α+5 | 2β−α+6 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β | 2β−α+3 | 2β−α+4 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+3 | β+2 | 3 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+4 | 2β−α+5 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β | 2β−α+3 | 2β−α+4 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+3 | β+3 | 4 | 0 |
yα: β+2≤α≤2β−1 | 2β−α+4 | 2β−α+5 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 3 | 3 | β+2 | 0 |
xα: 2≤α≤β | α+2 | α+1 | β−α+3 | 0 |
xα: α=β+1 | β+2 | β+2 | 3 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+4 | 2β−α+5 | α−β+2 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
xα: α=1 | 4 | 4 | β+3 | 0 |
xα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
xα: α=β+1 | β+3 | β+3 | 4 | 0 |
xα: β+2≤α≤2β+1 | 2β−α+5 | 2β−α+6 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+3 | β+3 | 4 | 0 |
yα: β+2≤α≤2β | 2β−α+4 | 2β−α+5 | α−β+3 | 0 |
Representation | Γ1 | Γ2 | Γ3 | Γ4 |
yα: α=1 | 4 | 4 | β+3 | 0 |
yα: 2≤α≤β | α+3 | α+2 | β−α+4 | 0 |
yα: α=β+1 | β+4 | β+3 | 4 | 0 |
yα: β+2≤α≤2β+1 | 2β−α+5 | 2β−α+6 | α−β+3 | 0 |