Research article Special Issues

On generalized fractional integral operator associated with generalized Bessel-Maitland function

  • Received: 23 September 2021 Accepted: 07 November 2021 Published: 23 November 2021
  • MSC : 26A33, 44A10

  • In this paper, we describe generalized fractional integral operator and its inverse with generalized Bessel-Maitland function (BMF-Ⅴ) as its kernel. We discuss its convergence, boundedness, its relation with other well known fractional operators (Saigo fractional integral operator, Riemann-Liouville fractional operator), and establish its integral transform. Moreover, we have given the relationship of BMF-Ⅴ with Mittag-Leffler functions.

    Citation: Rana Safdar Ali, Saba Batool, Shahid Mubeen, Asad Ali, Gauhar Rahman, Muhammad Samraiz, Kottakkaran Sooppy Nisar, Roshan Noor Mohamed. On generalized fractional integral operator associated with generalized Bessel-Maitland function[J]. AIMS Mathematics, 2022, 7(2): 3027-3046. doi: 10.3934/math.2022167

    Related Papers:

    [1] Chenxu Yang, Meng Ji, Kinkar Chandra Das, Yaping Mao . Extreme graphs on the Sombor indices. AIMS Mathematics, 2022, 7(10): 19126-19146. doi: 10.3934/math.20221050
    [2] Jianwei Du, Xiaoling Sun . On the graph connectivity and the variable sum exdeg index. AIMS Mathematics, 2021, 6(1): 607-622. doi: 10.3934/math.2021037
    [3] Edil D. Molina, José M. Rodríguez-García, José M. Sigarreta, Sergio J. Torralbas Fitz . On the Gutman-Milovanović index and chemical applications. AIMS Mathematics, 2025, 10(2): 1998-2020. doi: 10.3934/math.2025094
    [4] Ali N. A. Koam, Ali Ahmad, Azeem Haider, Moin A. Ansari . Computation of eccentric topological indices of zero-divisor graphs based on their edges. AIMS Mathematics, 2022, 7(7): 11509-11518. doi: 10.3934/math.2022641
    [5] Shabana Anwar, Muhammad Kamran Jamil, Amal S. Alali, Mehwish Zegham, Aisha Javed . Extremal values of the first reformulated Zagreb index for molecular trees with application to octane isomers. AIMS Mathematics, 2024, 9(1): 289-301. doi: 10.3934/math.2024017
    [6] Sumaira Hafeez, Rashid Farooq . On generalized inverse sum indeg index and energy of graphs. AIMS Mathematics, 2020, 5(3): 2388-2411. doi: 10.3934/math.2020158
    [7] Zhenhua Su, Zikai Tang . Extremal unicyclic and bicyclic graphs of the Euler Sombor index. AIMS Mathematics, 2025, 10(3): 6338-6354. doi: 10.3934/math.2025289
    [8] Ali Al Khabyah . Mathematical aspects and topological properties of two chemical networks. AIMS Mathematics, 2023, 8(2): 4666-4681. doi: 10.3934/math.2023230
    [9] Shama Liaqat, Zeeshan Saleem Mufti, Yilun Shang . Newly defined fuzzy Misbalance Prodeg Index with application in multi-criteria decision-making. AIMS Mathematics, 2024, 9(8): 20193-20220. doi: 10.3934/math.2024984
    [10] Hongzhuan Wang, Xianhao Shi, Ber-Lin Yu . On the eccentric connectivity coindex in graphs. AIMS Mathematics, 2022, 7(1): 651-666. doi: 10.3934/math.2022041
  • In this paper, we describe generalized fractional integral operator and its inverse with generalized Bessel-Maitland function (BMF-Ⅴ) as its kernel. We discuss its convergence, boundedness, its relation with other well known fractional operators (Saigo fractional integral operator, Riemann-Liouville fractional operator), and establish its integral transform. Moreover, we have given the relationship of BMF-Ⅴ with Mittag-Leffler functions.



    The Laplacian matrix of a graph G, denoted by L(G), is given by L(G)=D(G)A(G), where D(G) is the diagonal matrix of its vertex degrees and A(G) is the adjacency matrix. The Laplacian characteristic polynomial of G, is equal to det(xInL(G)), denoted by ϕ(L(G)). We denote λi=λi(G) the i-th smallest eigenvalue of L(G). In particular, λ2(G) and λn(G) are called the algebraic connectivity [8] and the Laplacian spectral radius of G, respectively. The Laplacian spectral ratio of a connected graph G with n vertices is defined as rL(G)=λnλ2. Barahona et al. [4] showed that a graph G exhibits better synchronizability if the ratio rL(G) is small.

    The topological indices have fundamental applications in chemical disciplines [5,7,31], computational linguistics [29], computational biology [28] and etc. Let d(u,v) be the distance between vertices u and v of G. The Wiener index W(G) of a connected graph G, introduced by Wiener [35] in 1947, is defined as W(G)=u,vV(G)d(u,v), which is used to predict the boiling points of paraffins by their molecular structure. The Wiener index found numerous applications in pure mathematics and other sciences [13,21]. In 1972, Gutman and Trinajstić [18] proposed the first Zagreb index M1(G) of a graph G, and defined it as the sum of the squares of vertex degrees of G. There is a wealth of literature relating to the first Zagreb index, the readers are referred to [3,10,34] and the references therein. Recently, Furtula and Gutman [9] defined the forgotten topological index of a graph G as the sum of the cubes of vertex degrees of G, denoted by F(G). In particular, the forgotten topological index of several important chemical structures which have high frequency in drug structures is obtained [1,17]. The Kirchhoff index of a graph G is defined as the sum of resistance distances [20] between all pairs of vertices of G, denoted by Kf(G). Gutman and Mohar [15] gave an important calculation formula on Kirchhoff index, that is Kf(G)=ni=21λi. The Kirchhoff index is often used to measure how well connected a network is [12,20].

    In 2010, Lipman, Rustamov and Funkhouser [25] proposed the biharmonic distance dB(u,v) between two vertices u and v in a graph G as follows:

    d2B(u,v)=L2+uu+L2+vv2L2+uv,

    where L2+uv is the (u,v)-entry of the matrix obtained from the square of Moore Penrose inverse of L(G). They showed that the biharmonic distance has some advantages over resistance distance and geodesic distance in computer graphics, geometric processing, shape analysis and etc. Meanwhile, They used biharmonic distance to measure the distances between pairs of points on a 3D surface, which is a fundamental problem in computer graphics and geometric processing. Moreover, the biharmonic distance as a tool is used to analyze second-order consensus dynamics with external perturbations in [37,38]. Inspired by Wiener index, Yi et al. [37] and Wei et al. [36] proposed the concept of biharmonic index of a graph G as follows:

    BH(G)=12uV(G)vV(G)d2B(u,v)=nni=21λ2i(G).

    Wei et al. [36] obtained a relationship between biharmonic index and Kirchhoff index and determined the unique graph having the minimum biharmonic index among the connected graphs with n vertices.

    In this paper, we study the biharmonic index of connected graphs from the perspective of Mathematics. Firstly, we establish the mathematical relationships between the biharmonic index and some classic topological indices: the first Zagreb index, the forgotten topological index and the Kirchhoff index. Secondly, we study the extremal value on the biharmonic index for all graphs with diameter two, trees and firefly graphs of fixed order, around Problem 6.3 in [36]. Finally, some graph operations on the biharmonic index are presented.

    Let K1,n1, Pn and Kn denote the star, the path and the complete graph with n vertices, respectively. Let τ(G) be the number of spanning trees of a connected graph. The double star S(a,b) is the tree obtained from K2 by attaching a pendant edges to a vertex and b pendant edges to the other. A firefly graph Fs,t,n2s2t1 (s0,t0,n2s2t10) is a graph of order n that consists of s triangles, t pendent paths of length 2 and n2s2t1 pendent edges, sharing a common vertex. For vV(G), let Lv(G) be the principal submatrix of L(G) formed by deleting the row and column corresponding to vertex v.

    Lemma 2.1. ([32]) Let X=(a1,,an) and Y=(b1,,bn) be two positive n-tuples. Then

    (ni=1a2i)(ni=1b2i)(ni=1aibi)2(a+A)24aA,

    where a=min{aibi} and A=max{aibi} for 1in.

    Lemma 2.2. ([32]) Let X=(a1,,an) and Y=(b1,,bn) be two positive n-tuples. Then

    (ni=1a2i)(ni=1b2i)(ni=1aibi)2(Aa)24aA(ni=1aibi)2,

    where a=min{aibi} and A=max{aibi} for 1in.

    Lemma 2.3. ([33]) If ai>0, bi>0, p>0, i=1,2,,n, then the following inequality holds:

    ni=1ap+1ibpi(ni=1ai)p+1(ni=1bi)p

    with equality if and only if a1b1=a2b2==anbn.

    Lemma 2.4. ([30]) Let n1 be an integer and a1a2an be some non-negative real numbers. Then

    (a1+an)(a1+a2++an)a21+a22++a2n+na1an

    Moreover, the equality holds if and only if for some r{1,2,,n}, a1==ar and ar+1==an.

    Lemma 2.5. ([22]) Let a1,,an0. Then

    n[1nni=1ai(ni=1ai)1n]Φn(n1)[ni=1ain(ni=1ai)1n],

    where Φ=nni=1ai(ni=1ai)2.

    Lemma 2.6. ([23]) Let a1,a2,,an and b1,b2,,bn be real numbers such that aaiA and bbiB for i=1,2,,n. Then there holds

    |1nni=1aibi(1nni=1ai)(1nni=1bi)|1nn2(11nn2)(Aa)(Bb),

    where x denotes the integer part of x.

    Lemma 2.7. ([16]) If T is a tree with diameter d(T), then λ2(T)2(1cos(πd+1)).

    Lemma 2.8. ([19]) The number of Laplacian eigenvalues less than the average degree 22n of a tree with n vertices is at least n2.

    Lemma 2.9. ([6]) Let G be a connected graph of diameter 2. Then λ2(G)1.

    Lemma 2.10. ([11]) Let uv be a cut edge of a graph G. Let Guv=G1+G2, where G1 and G2 are the components of Guv, G1+G2 is the sum of G1 and G2, uV(G1) and vV(G2). Then

    ϕ(L(G))=ϕ(L(G1))ϕ(L(G2))ϕ(L(G1))ϕ(Lv(G2))ϕ(Lu(G1))ϕ(L(G2)).

    In the following theorems, mathematical relations between the biharmonic index and other classic topological indices are established.

    Theorem 3.1. Let G be a connected graph with n vertices and m edges. Then

    BH(G)n(n1)24(2m+M1(G))(rL(G)+1rL(G))2.

    Proof. In this proof we use Lemma 2.1 with ai=λi and bi=1λi for 2in. Then a=λ22 and A=λ2n. Thus

    (ni=2λ2i)(ni=21λ2i)(n1)2(λ22+λ2n)24λ22λ2n,

    Since ni=2λ2i=2m+M1(G), we have

    (2m+M1(G))BH(G)n(n1)2(λ22+λ2n)24λ22λ2n,

    that is,

    BH(G)n(n1)24(2m+M1(G))(λ2λn+λnλ2)2.

    This completes the proof.

    Theorem 3.2. Let G be a connected graph with n vertices and m edges. Then

    BH(G)n(n1)24(2m+M1(G))(4+(rL(G)1rL(G))2).

    Proof. In this proof we use Lemma 2.2 with ai=λi and bi=1λi for 2in. Then a=λ22 and A=λ2n. Thus

    (ni=2λ2i)(ni=21λ2i)(n1)2(λ2nλ22)24λ22λ2n(n1)2.

    Since ni=2λ2i=2m+M1(G), we have

    2m+M1(G)nBH(G)(n1)2(λ2nλ22)24λ22λ2n(n1)2,

    that is,

    BH(G)n(n1)24(2m+M1(G))(4+(λnλ2λ2λn)2).

    This completes the proof.

    Theorem 3.3. Let p be a positive real number and G be a connected graph with n vertices and m edges. Then

    BH(G)n((2m)p+1ni=2λ3p+1i)1p

    with equality if and only if GKn.

    Proof. In this proof we use Lemma 2.3 with ai=λi and bi=1λ2i for 2in. Then we have

    ni=2λ3p+1i(ni=2λi)p+1(ni=21λ2i)p.

    Since ni=2λi=2m, we have

    BH(G)n((2m)p+1ni=2λ3p+1i)1p

    with equality if and only if λ32==λ3n, that is GKn. This completes the proof.

    Corollary 3.4. Let G be a connected graph with n vertices and m edges. Then

    BH(G)16nm4[2m+M1(G)]3

    with equality if and only if GKn.

    Proof. Let p=13. Since ni=2λ2i=2m+M1(G), by Theorem 3.3, we have

    BH(G)n((2m)4/3ni=2λ2i)3=16nm4[2m+M1(G)]3

    with equality if and only if GKn. This completes the proof.

    Corollary 3.5. Let G be a connected graph with n vertices, m edges and t(G) triangles. Then

    BH(G)32n2m5[3M1(G)+F(G)+6t(G)]3

    with equality if and only if GKn.

    Proof. Let p=23. Since ni=2λ3i=3M1(G)+F(G)+6t(G), by Theorem 3.3, we have

    BH(G)n((2m)5/3ni=2λ3i)3/2=32n2m5[3M1(G)+F(G)+6t(G)]3

    with equality if and only if GKn. This completes the proof.

    In this section, we establish relationship between biharmonic index and Kirchhoff index based on the algebraic connectivity, the Laplacian spectral radius and the number of spanning trees.

    Theorem 4.1. Let G be a connected graph with n vertices. Then

    BH(G)(1λ2+1λn)Kf(G)n(n1)1λ2λn

    with equality if and only if for some r{2,,n}, λ2==λr and λr+1==λn.

    Proof. By Lemma 2.4, we have

    (1λ2+1λn)(1λ2++1λn)1λ22++1λ2n+(n1)1λ2λn,

    that is,

    n(1λ2+1λn)(1λ2++1λn)n(1λ22++1λ2n)+n(n1)1λ2λn,

    that is,

    (1λ2+1λn)Kf(G)nBH(G)+n(n1)1λ2λn,

    that is,

    BH(G)(1λ2+1λn)Kf(G)n(n1)1λ2λn

    with equality if and only if for some r{2,,n}, λ2==λr and λr+1==λn. This completes the proof.

    Theorem 4.2. Let G be a connected graph with n3 vertices. Then

    Kf2(G)n(n2)n(n1)n2(1nτ(G))2n1BH(G)Kf2(G)nn(n1)(n2)(1nτ(G))2n1.

    Proof. In this proof we use Lemma 2.5 with ai=1λ2i for 2in. Then we have

    (n1)[1n1ni=21λ2i(ni=21λ2i)1n1]Φ(n1)(n2)[ni=21λ2in1(ni=21λ2i)1n1],

    where Φ=(n1)ni=21λ2i(ni=21λ2i)2=n1nBH(G)1n2Kf2(G). Since ni=2λi=nτ(G), we have

    1nBH(G)(n1)(1nτ(G))2n1Φn2nBH(G)(n1)(n2)(1nτ(G))2n1,

    where Φ=n1nBH(G)1n2Kf2(G). Thus we have

    Kf2(G)n(n2)n(n1)n2(1nτ(G))2n1BH(G)Kf2(G)nn(n1)(n2)(1nτ(G))2n1.

    This completes the proof.

    Theorem 4.3. Let G be a connected graph with n vertices. Then

    |n(n1)BH(G)Kf2(G)|n2(n1)24(11+(1)n+12n2)(1λ21λn)2.

    Proof. In this proof we use Lemma 2.6 with ai=bi=1λi for 2in. Then we have

    |1n1ni=21λ2i1(n1)2ni=21λi|1nn2(11nn2)(1λ21λn)2,

    that is,

    |n(n1)BH(G)Kf2(G)|n(n1)2n2(11nn2)(1λ21λn)2.

    Note that n2(11nn2)=n4(11+(1)n+12n2). We have

    |n(n1)BH(G)Kf2(G)|n2(n1)24(11+(1)n+12n2)(1λ21λn)2.

    This completes the proof.

    In this section, we study the extremal value on the biharmonic index for trees and firefly graphs of fixed order. Moreover, we show that the star is the unique graph with maximum biharmonic index among all graphs on diameter two.

    Theorem 5.1. Let S(a,b) be a double star tree on n vertices and a+b=n2. Then

    n2+3n+4n16BH(S(a,b))n22n+4n22n22+(n22n22+1)2n,

    the left (right) equality holds if and only if S(1,n3) (S(n22,n22).

    Proof. By direct calculation, we have

    ϕ(L(S(a,b)))=x(x1)n4[x3(n+2)x2+(2n+ab+1)xn].

    Let x1, x2 and x3 be the roots of the following polynomial

    f(x):=x3(n+2)x2+(2n+ab+1)xn.

    By the Vieta Theorem, we have

    {x1+x2+x3=n+2,1x1+1x2+1x3=2n+ab+1n,x1x2x3=n.

    Thus

    1x21+1x22+1x23=(1x1+1x2+1x3)22(1x1x2+1x2x3+1x1x3)=(1x1+1x2+1x3)22n(x1+x2+x3)=(2n+ab+1n)22n(n+2)=(2n+ab+1n)24n2.

    Further, we have

    BH(S(a,b))=nni=21λ2i=n(n4)+2n+4ab+(ab+1)2n=n22n+4ab+(ab+1)2n.

    Since n3abn22n22, we have

    n2+3n+4n16BH(S(a,b))n22n+4n22n22+(n22n22+1)2n,

    the left (right) equality holds if and only if S(1,n3) (S(n22,n22). This completes the proof.

    Theorem 5.2. Let Tn be a tree on n8 vertices. If the diameter d(Tn)π47n81, then

    BH(Tn)>BH(K1,n1).

    Proof. Since 1cosx<x22, by Lemma 2.7, we have

    λ2(Tn)2(1cos(πd(Tn)+1))<(πd(Tn)+1)2.

    By Lemma 2.8, we have

    BH(Tn)=n(1λ22++1λ2n)>n((d(Tn)+1)4π4+(n22)1(22n)2+2n1n2)>n((d(Tn)+1)4π4+(n22)1(22n)2+(2n1)1n2)=n((d(Tn)+1)4π4+n2(n4)8(n1)2+(2n1)1n2)n(7n8+n2(n4)8(n1)2+(2n1)1n2)>n(n1)>n(n2+1n2)=BH(K1,n1)

    for n8. This completes the proof.

    The following conjecture is concretization of Problem 6.3 in [36].

    Conjecture 5.3. Let Tn be a tree on n5 vertices. Then

    BH(K1,n1)BH(Tn)BH(Pn),

    the left (right) equality holds if and only if Tn=K1,n1 (Tn=Pn).

    Theorem 5.4. Let G be a connected graph with n vertices and diameter d(G)=2. Then

    BH(G)BH(K1,n1)

    with equality if and only if G=K1,n1.

    Proof. It is well known that λnΔ+1 and λn1Δ2 (see [14,24]), where Δ and Δ2 are the maximum degree and the second largest degree of G, respectively. If 2Δ2Δ, by Lemma 2.9, we have

    BH(G)=n(1λ22++1λ2n)n(n3+1Δ22+1(Δ+1)2)<n(n3+122+1(2+1)2)<n(n2+1n2)=BH(K1,n1).

    Thus Δ2=1, that is, G=K1,n1, then BH(G)=BH(K1,n1).

    Combining the above arguments, we have BH(G)BH(K1,n1) with equality if and only if G=K1,n1. This completes the proof.

    Theorem 5.5. Let Fs,t,n2s2t1 (s0,t0,n2s2t10) be a firefly graph with n7 vertices.

    (1) If s=t=0, then BH(F0,0,n1)=n22n+1n.

    (2) If s=0 and t=1, then BH(F0,1,n3)=n2+3n16+4n.

    (3) If s=0, t2 and n is odd, then

    n2+8n+25n32BH(F0,t,n2t1)7n2241n4+254n+12,

    the left (right) equality holds if and only if F0,t,n2t1=F0,2,n5 (F0,t,n2t1=F0,n12,0).

    If s=0, t2 and n is even, then

    n2+8n+25n32BH(F0,t,n2t1)7n2251n4+16n+4,

    the left (right) equality holds if and only if F0,t,n2t1=F0,2,n5 (F0,t,n2t1=F0,n22,1).

    (4) If s1, t=0 and n is odd, then

    5n2914n9+1nBH(F0,t,n2t1)n2269n+1n,

    the left (right) equality holds if and only if Fs,0,n2s1=F1,0,n3 (Fs,0,n2s1=Fn12,0,0).

    If s1, t=0 and n is even, then

    5n2910n9+1nBH(F0,t,n2t1)n2269n+1n,

    the left (right) equality holds if and only if Fs,0,n2s1=F1,0,n3 (Fs,0,n2s1=Fn22,0,1).

    (5) If s1, t1 and n is odd, then

    5n29+13n3+4n16BH(Fs,t,n2s2t1)7n22581n36+1214n+152,

    the left (right) equality holds if and only if Fs,t,n2s2t1=Fn32,1,0 (Fs,t,n2s2t1=F1,n32,0).

    If s1, t1 and n is even, then

    5n29+43n9+4n16BH(Fs,t,n2s2t1)7n22671n36+49n+11,

    the left (right) equality holds if and only if Fs,t,n2s2t1=Fn42,1,1 (Fs,t,n2s2t1=F1,n42,1).

    Proof. (1) If s=t=0, then F0,0,n1K1,n1. Thus BH(F0,0,n1)=n22n+1n.

    (2) If s=0 and t=1, by Lemma 2.10, we have

    ϕ(L(F0,1,n3))=ϕ(L(K1,n3))ϕ(L(P2))(x1)n3ϕ(L(P2))(x1)ϕ(L(K1,n3))=x2(x2)(xn+2)(x1)n4x(x2)(x1)n3x(xn+2)(x1)n3=x(x1)n4[x3(n+2)x2+(3n2)xn].

    By a similar reasoning as the proof of Theorem 5.1, we have

    BH(F0,1,n3)=n2+3n16+4n.

    (3) If s=0 and t2, then we have

    ϕ(L(F0,t,n2t1))=x(x1)n2t2(x23x+1)t1[x3(nt+3)x2+(3n3t+1)xn].

    By a similar reasoning as the proof of Theorem 5.1, we have

    BH(F0,t,n2t1)=n2+5tn11n+2t+(3n3t+1)2n6=n22n+9t2+(5n216n6)t+1n.

    If 2tn12 for odd n, we have

    n2+8n+25n32BH(F0,t,n2t1)7n2241n4+254n+12,

    the left (right) equality holds if and only if F0,t,n2t1=F0,2,n5 (F0,t,n2t1=F0,n12,0). If 2tn22 for even n, we have

    n2+8n+25n32BH(F0,t,n2t1)7n2251n4+16n+4,

    the left (right) equality holds if and only if F0,t,n2t1=F0,2,n5 (F0,t,n2t1=F0,n22,1).

    (4) If s1 and t=0, by Lemma 2.10, we have

    ϕ(L(Fs,0,n2s1))=x(xn)(x3)s(x1)ns2.

    Thus

    BH(Fs,0,n2s1)=n289sn2n+1n.

    If 1sn12 for odd n, we have

    5n2914n9+1nBH(F0,t,n2t1)n2269n+1n,

    the left (right) equality holds if and only if Fs,0,n2s1=F1,0,n3 (Fs,0,n2s1=Fn12,0,0). If 1sn22 for even n, we have

    5n2910n9+1nBH(F0,t,n2t1)n2269n+1n,

    the left (right) equality holds if and only if Fs,0,n2s1=F1,0,n3 (Fs,0,n2s1=Fn22,0,1).

    (5) If s1 and t1, by Lemma 2.10, we have

    ϕ(L(Fs,t,n2s2t1))=x(x3)s(x1)ns2t2(x23x+1)t1[x3(nt+3)x2+(3n3t+1)xn].

    By a similar reasoning as the proof of Theorem 5.1, we have

    BH(L(Fs,t,n2s2t1))=n289sn2n+9t2+(5n216n6)t+1n.

    If s=1 and t=n32 for odd n, we have

    BH(Fs,t,n2s2t1)max=7n22581n36+1214n+152,

    the equality holds if and only if Fs,t,n2s2t1=F1,n32,0.

    If s=1 and t=n42 for even n, we have

    BH(Fs,t,n2s2t1)max=7n22671n36+49n+11,

    the equality holds if and only if Fs,t,n2s2t1=F1,n42,1.

    If s=n32 and t=1 for odd n, we have

    BH(Fs,t,n2s2t1)min=5n29+13n3+4n16,

    the equality holds if and only if Fs,t,n2s2t1=Fn32,1,0.

    If s=n42 and t=1 for even n, we have

    BH(Fs,t,n2s2t1)min=5n29+43n9+4n16,

    the equality holds if and only if Fs,t,n2s2t1=Fn42,1,1.

    Combining the above arguments, we have the proof.

    Lemma 6.1. ([26]) Let G be a connected graph with n vertices. Then λi(¯G)=nλn+2i(G) for i=2,,n.

    Theorem 6.2. Let G be a connected graph with n vertices. If ¯G is a connected graph, then

    BH(¯G)=nni=21(nλn+2i(G))2.

    Proof. By Lemma 6.1, we have the proof.

    The union of two graphs G1 and G2 is the graph G1G2 with vertex set V1(G)V2(G) and edge set E(G1)E(G2). The join G1G2 is obtained from G1G2 by adding to it all edges between vertices from V(G1) and V(G2).

    Lemma 6.3. ([27]) Let G1 and G2 be graphs on n1 and n2 vertices, respectively. Then the Laplacian eigenvalues of G1G2 are n1+n2, λi(G1)+n2 (2in1) and λj(G2)+n1 (2jn1).

    Theorem 6.4. Let G be a connected graph with n vertices. Then

    BH(G1G2)=(n1+n2)(1(n1+n2)2+n1i=21(λi(G1)+n2)2+n2j=21(λj(G2)+n1)2).

    Proof. By Lemma 6.3, we have the proof.

    The Cartesian product of G1 and G2 is the graph G1G2, whose vertex set is V=V1×V2 and where two vertices (ui,vs) and (uj,vt) are adjacent if and only if either ui=uj and vsvtE(G2) or vs=vt and uiujE(G1).

    Lemma 6.5. ([8,26]) Let G1 and G2 be graphs on n1 and n2 vertices, respectively. Then the Laplacian eigenvalues of G1G2 are all possible sums λi(G1)+λj(G2), 1in1 and 1jn2.

    Theorem 6.6. Let G1 and G2 be two connected graphs. Then

    BH(G1G2)=n1n2(n1i=21λ2i(G1)+n2j=21λ2j(G2)+n1i=2n2j=21(λi(G1)+λj(G2))2).

    Proof. By Lemma 6.5, we have the proof.

    The lexicographic product G1[G2], in which vertices (ui,vs) and (uj,vt) are adjacent if either uiujE(G1) or ui=uj and vsvtE(G2) (see [2]).

    Lemma 6.7. ([2]) Let G1 and G2 be graphs on n1 and n2 vertices, respectively. Then the Laplacian eigenvalues of G1[G2] are n2λi(G1) and λj(G2)+d(ui)n2, where d(ui) is vertex degree of G1, 1in1 and 2jn2.

    Theorem 6.8. Let G1 and G2 be connected graphs on n1 and n2 vertices, respectively.

    BH(G1[G2])=n1n2(n1i=21n22λ2i(G1)+n2j=2n1i=11(λj(G2)+dG1(ui)n2)2).

    Proof. By Lemma 6.7, we have the proof.

    We study the biharmonic index from three aspects: the mathematical relationships between the biharmonic index and some classic topological indices, the extremal value on the biharmonic index for some special graph classes, and some graph operations on the biharmonic index. On the basis of the biharmonic distance, the biharmonic eccentricity εb(u) of vertex u in a connected graph G is defined as εb(u)=max{dB(u,v)vV(G)}. Let d(u) be the degree of the corresponding vertex u. The following four topological indices will be the problems that need further exploration.

    (1) The Schultz biharmonic index:

    SBI(G)=12uV(G)vV(G)(d(u)+d(v))d2B(u,v).

    (2) The Gutman biharmonic index:

    GBI(G)=12uV(G)vV(G)(d(u)d(v))d2B(u,v).

    (3) The eccentric biharmonic distance sum:

    ξB(G)=12uV(G)vV(G)(ε2b(u)+ε2b(v))d2B(u,v).

    (4) The multiplicative eccentricity biharmonic distance:

    ξB(G)=12uV(G)vV(G)(ε2b(u)ε2b(v))d2B(u,v).

    The author is grateful to the anonymous referee for careful reading and valuable comments which result in an improvement of the original manuscript. This work was supported by the National Natural Science Foundation of China (No. 12071411) and Qinghai Provincial Natural Science Foundation (No. 2021-ZJ-703).

    The authors declare no conflict of interest.



    [1] P. Agarwal, Pathway fractional integral formulas involving Bessel function of the first kind, Adv. Stud. Contemp. Math., 25 (2015), 221–231.
    [2] P. Agarwal, S. Jain, M. Chand, S. K. Dwivedi, S. Kumar, Bessel functions associated with Saigo-Maeda fractional derivative operators, J. Fract. Calc. Aappl., 5 (2014), 102–112.
    [3] Y. A. Brychkov, Handbook of special functions: derivatives, integrals, series and other formulas, CRC press, 2008.
    [4] W. A. Khan, K. S. Nisar, Unified integral operator involving generalized Bessel-Maitland function, 2017, arXiv: 1704.09000.
    [5] M. S. Abouzaid, A. H. Abusufian, K. S. Nisar, Some unified integrals associated with generalized Bessel-Maitland function, 2016, arXiv: 1605.09200.
    [6] W. A. Khan, K. S. Nisar, J. Choi, An integral formula of the Mellin transform type involving the extended Wright-Bessel function, FJMS, 102 (2017), 2903–2912.
    [7] M. Ali, W. A. Khan, I. A. Khan, On certain integral transform involving generalized Bessel-Maitland function and applications, J. Fract. Calc. Appl., 11 (2020), 82–90.
    [8] M. Ali, W. A. Khan, I. A. Khan, Study on double integral operator associated with generalized Bessel-Maitland function, Palest. J. Math. 9 (2020), 991–998.
    [9] H. Srivastava, H. L. Manocha, Treatise on generating functions, New York: John Wiley and Sons, 1984,500.
    [10] E. D. Rainville, Special functions, New York: Macmillan Company, 1971.
    [11] O. A. Arqub, Numerical solutions of systems of first-order, two-point BVPs based on the reproducing kernel algorithm, Calcolo, 55 (2018), 31. doi: 10.1007/s10092-018-0274-3. doi: 10.1007/s10092-018-0274-3
    [12] O. A. Arqub, Numerical simulation of time-fractional partial differential equations arising in fluid flows via reproducing Kernel method, Int. J. Numer. Method. H., 30 (2020), 4711–4733. doi: 10.1108/HFF-10-2017-0394. doi: 10.1108/HFF-10-2017-0394
    [13] O. A. Arqub, Numerical solutions for the Robin time-fractional partial differential equations of heat and fluid flows based on the reproducing kernel algorithm, Int. J. Numer. Method. H., 28 (2018), 828–856. doi: 10.1108/HFF-07-2016-0278. doi: 10.1108/HFF-07-2016-0278
    [14] O. A. Arqub, Computational algorithm for solving singular Fredholm time-fractional partial integrodifferential equations with error estimates, J. Appl. Math. Comput., 59 (2019), 227–243. doi: 10.1007/s12190-018-1176-x. doi: 10.1007/s12190-018-1176-x
    [15] N. U. Khan, T. Usman, M. Ghayasuddin, A new class of unified integral formulas associated with whittaker functions, NTMSCI, 4 (2016), 160–167. doi: 10.20852/ntmsci.2016115851. doi: 10.20852/ntmsci.2016115851
    [16] O. Khan, M. Kamarujjama, N. U. Khan, Certain integral transforms involving the product of Galue type struve function and Jacobi polynomial, Palest. J. Math., 6 (2017), 1–9.
    [17] G. Dattoli, S. Lorenzutta, G. Maino, Generalized Bessel functions and exact solutions of partial differential equations, Rend. Mat., 7 (1992), 12.
    [18] V. S. Kiryakova, Multiple (multiindex) Mittag-Leffler functions and relations to generalized fractional calculus, J. Comput. Appl. Math., 118 (2000), 241–259. doi: 10.1016/S0377-0427(00)00292-2. doi: 10.1016/S0377-0427(00)00292-2
    [19] M. Kamarujjama, Owais khan, Computation of new class of integrals involving generalized Galue type Struve function, J. Comput. Appl. Math., 351 (2019), 228–236. doi: 10.1016/j.cam.2018.11.014. doi: 10.1016/j.cam.2018.11.014
    [20] J. Choi, P. Agarwal, S. Mathur, S. D. Purohit, Certain new integral formulas involving the generalized Bessel functions, B. Korean Math. Soc., 51 (2014), 995–1003. doi: 10.4134/BKMS.2014.51.4.995. doi: 10.4134/BKMS.2014.51.4.995
    [21] N. U. Khan, M. Ghayasuddin, W. A. Khan, S. Zia, Certain unified integral involving generalized Bessel-Maitland function, South East Asian J. Math. Math. Sci., 11 (2015), 27–36.
    [22] D. L. Suthar, H. Amsalu, Certain integrals associated with the generalized Bessel-Maitland function, Appl. Appl. Math., 12 (2017), 1002–1016.
    [23] Y. L. Luke, Integrals of Bessel functions, Courier Corporation, 2014.
    [24] D. L. Suthar, A. M. Khan, A. Alaria, S. D. Purohit, J. Singh, Extended Bessel-Maitland function and its properties pertaining to integral transforms and fractional calculus, AIMS Mathematics, 5 (2020), 1400–1410. doi: 10.3934/math.2020096. doi: 10.3934/math.2020096
    [25] G. N. Watson, A treatise on the theory of Bessel functions, Cambridge university press, 1995.
    [26] O. I. Merichev, Handbook of integral transforms and higher transcendental functions, 1983.
    [27] M. Singh, M. A. Khan, A. H. Khan, A. H. Khan, On some properties of a generalization of Bessel-Maitland function, Int. J. Math. Trends Technol., 14 (2014), 46–54.
    [28] M. Ghayasuddin, W. A. Khan, A new extension of Bessel-Maitland function and its properties, Mat. Vestn., 70 (2018), 292–302.
    [29] R. S. Ali, S. Mubeen, I. Nayab, S. Araci, G. Rahman, K. S. Nisar, Some fractional operators with the generalized Bessel-Maitland function, Discrete Dyn. Nat. Soc., 2020 (2020), 1378457. doi: 10.1155/2020/1378457. doi: 10.1155/2020/1378457
    [30] W. A. Khan, I. A. Khan, M. Ahmad, On certain integral transforms involving generalized Bessel-Maitland function, J. Appl. Pure Math., 2 (2020), 63–78.
    [31] M. Saigo, A remark on integral operators involving the Gauss hypergeometric functions, Kyushu Univ., 11 (1978), 135–143.
    [32] A. A. Kilbas, I. Oleg, Marichev, S. G. Samko, Fractional integrals and derivatives (theory and application), Yverdon, Switzerland: Gordon and Breach Science publishers, 1993.
    [33] A. Petojevic, A note about the Pochhammer symbol, Math. Moravica, 12 (2008), 37–42.
    [34] S. Mubeen, R. S. Ali, Fractional operators with generalized Mittag-Leffler k-function, Adv. Differ. Equ., 2019 (2019), 520. doi: 10.1186/s13662-019-2458-9. doi: 10.1186/s13662-019-2458-9
    [35] E. D. Rainville, The Laplace transform: an introduction, New York: Macmillan, 1963.
    [36] S. Ahmed, On the generalized fractional integrals of the generalized Mittag-Leffler function, SpringerPlus, 3 (2014), 198. doi: 10.1186/2193-1801-3-198. doi: 10.1186/2193-1801-3-198
    [37] D. V. Widder, Laplace transform (PMS-6), Princeton university press, 2015.
    [38] T. R. Prabhakar, A singular integral equation with a generalized Mittag Leffler function in the kernel, Yokohama City University, 1971.
    [39] M. A. Khan, S. Ahmed, On some properties of the generalized Mittag-Leffler function, SpringerPlus, 2 (2013), 337. doi: 10.1186/2193-1801-2-337. doi: 10.1186/2193-1801-2-337
    [40] T. O. Salim, A. W. Faraj, A generalization of Mittag-Leffler function and integral operator associated with fractional calculus, J. Fract. Calc. Appl., 3 (2012), 1–13.
    [41] A. K. Shukla, J. C. Prajapati, On a generalization of Mittag-Leffler function and its properties, J. Math. Anal. Appl., 336 (2007), 797–811. doi: 10.1016/j.jmaa.2007.03.018. doi: 10.1016/j.jmaa.2007.03.018
    [42] A. Wiman, Uber den fundamentalsatz in der teorie der funktionen Ea (x), Acta Math., 29 (1905), 191–201. doi: 10.1007/BF02403202. doi: 10.1007/BF02403202
    [43] G. M. Mittag-Leffler, Sur la nouvelle fonction Ea (x), Paris: C. R. Acad. Sci., 137 (1903), 554–558.
    [44] T. N. Srivastava, Y. P. Singh, On Maitland's generalised Bessel function, Can. Math. Bull., 11 (1968), 739–741. doi: 10.4153/CMB-1968-091-5. doi: 10.4153/CMB-1968-091-5
    [45] G. Rahman, D. Baleanu, M. A. Qurashi, S. D. Purohit, S. Mubeen, M. Arshad, The extended Mittag-Leffler function via fractional calculus, J. Nonlinear Sci. Appl., 10 (2017), 4244–4253. doi: 10.22436/jnsa.010.08.19. doi: 10.22436/jnsa.010.08.19
    [46] A. A. Kilbas, N. Sebastian, Generalized fractional integration of Bessel function of the first kind, Integr. Transf. Spec. F., 19 (2008), 869–883. doi: 10.1080/10652460802295978. doi: 10.1080/10652460802295978
  • Reader Comments
  • © 2022 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(2433) PDF downloads(121) Cited by(1)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog