Processing math: 65%
Research article

An analysis of the isoparametric bilinear finite volume element method by applying the Simpson rule to quadrilateral meshes

  • Received: 27 May 2023 Revised: 02 July 2023 Accepted: 05 July 2023 Published: 14 July 2023
  • MSC : 65N08, 65N12

  • In this work, we construct and study a special isoparametric bilinear finite volume element scheme for solving anisotropic diffusion problems on general convex quadrilateral meshes. The new scheme is obtained by employing the Simpson rule to approximate the line integrals in the classical isoparametric bilinear finite volume element method. By using the cell analysis approach, we suggest a sufficient condition to ensure the coercivity of the new scheme. The sufficient condition has an analytic expression, which only involves the anisotropic diffusion tensor and the geometry of quadrilateral mesh. This yields that for any diffusion tensor and quadrilateral mesh, we can directly judge whether this sufficient condition is satisfied. Specifically, this condition covers the traditional h1+γ-parallelogram and some trapezoidal meshes with any full anisotropic diffusion tensor. An optimal H1 error estimate of the proposed scheme is also obtained for a quasi-parallelogram mesh. The theoretical results are verified by some numerical experiments.

    Citation: Shengying Mu, Yanhui Zhou. An analysis of the isoparametric bilinear finite volume element method by applying the Simpson rule to quadrilateral meshes[J]. AIMS Mathematics, 2023, 8(10): 22507-22537. doi: 10.3934/math.20231147

    Related Papers:

    [1] Lakhlifa Sadek, Ali Akgül, Ahmad Sami Bataineh, Ishak Hashim . A cotangent fractional Gronwall inequality with applications. AIMS Mathematics, 2024, 9(4): 7819-7833. doi: 10.3934/math.2024380
    [2] Lakhlifa Sadek, Ali Algefary . Extended Hermite–Hadamard inequalities. AIMS Mathematics, 2024, 9(12): 36031-36046. doi: 10.3934/math.20241709
    [3] Adel Lachouri, Mohammed S. Abdo, Abdelouaheb Ardjouni, Bahaaeldin Abdalla, Thabet Abdeljawad . On a class of differential inclusions in the frame of generalized Hilfer fractional derivative. AIMS Mathematics, 2022, 7(3): 3477-3493. doi: 10.3934/math.2022193
    [4] Saima Rashid, Abdulaziz Garba Ahmad, Fahd Jarad, Ateq Alsaadi . Nonlinear fractional differential equations and their existence via fixed point theory concerning to Hilfer generalized proportional fractional derivative. AIMS Mathematics, 2023, 8(1): 382-403. doi: 10.3934/math.2023018
    [5] Ishfaq Mallah, Idris Ahmed, Ali Akgul, Fahd Jarad, Subhash Alha . On ψ-Hilfer generalized proportional fractional operators. AIMS Mathematics, 2022, 7(1): 82-103. doi: 10.3934/math.2022005
    [6] Abdelkrim Salim, Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez . On the nonlocal hybrid (k,φ)-Hilfer inverse problem with delay and anticipation. AIMS Mathematics, 2024, 9(8): 22859-22882. doi: 10.3934/math.20241112
    [7] Saima Rashid, Fahd Jarad, Khadijah M. Abualnaja . On fuzzy Volterra-Fredholm integrodifferential equation associated with Hilfer-generalized proportional fractional derivative. AIMS Mathematics, 2021, 6(10): 10920-10946. doi: 10.3934/math.2021635
    [8] Saleh S. Redhwan, Sadikali L. Shaikh, Mohammed S. Abdo, Wasfi Shatanawi, Kamaleldin Abodayeh, Mohammed A. Almalahi, Tariq Aljaaidi . Investigating a generalized Hilfer-type fractional differential equation with two-point and integral boundary conditions. AIMS Mathematics, 2022, 7(2): 1856-1872. doi: 10.3934/math.2022107
    [9] Donny Passary, Sotiris K. Ntouyas, Jessada Tariboon . Hilfer fractional quantum system with Riemann-Liouville fractional derivatives and integrals in boundary conditions. AIMS Mathematics, 2024, 9(1): 218-239. doi: 10.3934/math.2024013
    [10] Thabet Abdeljawad, Pshtiwan Othman Mohammed, Hari Mohan Srivastava, Eman Al-Sarairah, Artion Kashuri, Kamsing Nonlaopon . Some novel existence and uniqueness results for the Hilfer fractional integro-differential equations with non-instantaneous impulsive multi-point boundary conditions and their application. AIMS Mathematics, 2023, 8(2): 3469-3483. doi: 10.3934/math.2023177
  • In this work, we construct and study a special isoparametric bilinear finite volume element scheme for solving anisotropic diffusion problems on general convex quadrilateral meshes. The new scheme is obtained by employing the Simpson rule to approximate the line integrals in the classical isoparametric bilinear finite volume element method. By using the cell analysis approach, we suggest a sufficient condition to ensure the coercivity of the new scheme. The sufficient condition has an analytic expression, which only involves the anisotropic diffusion tensor and the geometry of quadrilateral mesh. This yields that for any diffusion tensor and quadrilateral mesh, we can directly judge whether this sufficient condition is satisfied. Specifically, this condition covers the traditional h1+γ-parallelogram and some trapezoidal meshes with any full anisotropic diffusion tensor. An optimal H1 error estimate of the proposed scheme is also obtained for a quasi-parallelogram mesh. The theoretical results are verified by some numerical experiments.



    Fractional calculus (FC) has long been devoted to studying integrals and derivatives of non-integer order. In recent years, researchers have been growing interest in finding the most suitable fractional derivative (FD) for modeling real-world problems. While classical calculus equations are sometimes inadequate for capturing complex systems, fractional calculus methods have proven to be highly effective in modeling phenomena observed in various disciplines such as physics, chemistry, electricity, and mechanics, thanks to their ability to handle long-memory processes [1,2,3,4,5,6,7,8].

    Traditionally, the focus of FC was primarily on Riemann-Liouville (RL) and Caputo fractional derivatives. However, as we entered the new millennium, researchers began introducing new types of fractional operators (FO), expanding the field of fractional calculus [9,10,11,12,13,14,15]. It is noteworthy that the FOs proposed in this work are distinct instances of fractional derivatives/integrals compared to those described in [16,17,18]. Nevertheless, they share one crucial characteristic with other FOs, which is nonlocality.

    In [19], the authors introduced a local FD, known as the conformable derivative (CD). The conceptualization of these local FD eventually led to the rediscovery of nonlocal FD previously described in [14]. We provide an overview of the fundamental principles behind the CD and propose a derivative consistent with both the left and right versions. Furthermore, we find that the nonlocal FD version proposed in [20,21] can be derived from [13].

    In any form of FC or calculus with derivatives, it is essential for a function's order zero to be equal to the function itself. However, the CD lacks this crucial property, which can be seen as a deficiency. To address this, the authors in [22,23] redefined the CD to ensure that it yields the function itself when the local FD has an order of zero. Subsequently, Sadek [24] introduced the FD version of this redefined CD called cotangent fractional derivative which features the that they achieve a semi-group property, the kernel operator is the exponential of the cotangent function, and is a generalization of the Riemann-Liouville FD and Caputo FD.

    The existence and uniqueness of solutions represent significant qualitative properties of fractional differential problems. Several mathematicians have addressed the existence and uniqueness of solutions for fractional differential problems involving various types of FD and boundary/initial conditions (see [25,26,27,28,29,30,31,32,33,34,35]).

    From the works of [36,37], we introduce an innovative FD called the Hilfer cotangent fractional derivative. Building upon this newly defined derivative, we investigate the solutions' existence and uniqueness for a distinct class of nonlinear fractional differential problems that feature nonlocal initial conditions. The Hilfer cotangent fractional differential equation is formulated as follows:

    {DG,q,rc+x()=f(,x()),L=[c,d],d>c0,r(0,1],0q1,I1σ,rc+x(c)=mi=1cix(τi),Gσ=G+qGq,τi(c,d). (1.1)

    In this equation, DG,q,rc+() represents the Hilfer cotangent fractional derivative (HCFD), and I1σ,rc+() denotes the cotangent fractional integral (CFI) with an order of 1σ>0. Here, ci belongs to the set of real numbers, f:L×RR is a continuous function, and τi are elements of the interval L satisfying c<τ1<<τm<d, i=1,,m. The Hilfer fractional model, along with other fractional calculus models, provides a powerful mathematical framework for describing and understanding complex systems and processes that do not conform to traditional integer-order calculus. Its applications are diverse and span various scientific and engineering disciplines. Notably, the existence and uniqueness of solutions for Eq (1.1) have not been previously discussed using this new fractional definition.

    The Hilfer fractional model, named after the mathematician Rudolf Gorenflo Hilfer, is a mathematical framework used to describe systems and processes that exhibit non-integer order fractional behavior. Unlike traditional integer-order calculus, fractional calculus, including the Hilfer fractional model, deals with derivatives and integrals of non-integer orders, which allows it to capture more complex dynamics in various domains. Here are some applications of the Hilfer fractional model:

    ● Anomalous diffusion: The Hilfer fractional model is often used to describe anomalous diffusion, where particles or information spread in a non-standard way. This can be applied to fields like physics (e.g., diffusion in porous media), biology (e.g., cell migration), and finance (e.g., modeling price movements in financial markets).

    ● Viscoelasticity: The Hilfer fractional model is used to describe the behavior of viscoelastic materials, which exhibit both viscous (liquid-like) and elastic (solid-like) properties. This is relevant in materials science and engineering, especially for modeling polymers and complex fluids.

    ● Fractional differential equations (FDEs): FDEs based on the Hilfer fractional model are used to describe a wide range of dynamic systems, such as electrical circuits, mechanical systems, and chemical reactions. These equations can capture non-standard responses and memory effects in these systems.

    ● Control systems: The Hilfer fractional model has applications in control theory for describing and controlling complex systems with fractional dynamics. It's used in areas like robotics, automation, and mechatronics to design controllers for systems with non-integer order behavior.

    ● Signal processing: Fractional calculus, including the Hilfer fractional model, is applied to signal processing for tasks like noise reduction, image processing, and data compression, where it can capture long-range dependencies in signals.

    ● Biomedical engineering: The Hilfer fractional model is used in modeling biological and physiological systems, such as modeling drug delivery in the human body or describing the dynamics of neurons in the brain.

    ● Geophysics: In geophysics, the Hilfer fractional model can be applied to model seismic phenomena, groundwater flow, and other geological processes that exhibit complex, non-integer order behavior.

    ● Environmental science: Environmental processes that exhibit anomalous behavior, such as pollutant transport in groundwater, can be described using the Hilfer fractional model.

    ● Economics: Fractional calculus models, including the Hilfer fractional model, have been applied to financial time series analysis and modeling to capture long-term dependencies and improve predictions in financial markets.

    ● Renewable energy: The modeling of energy storage systems, battery behavior, and renewable energy generation can benefit from the Hilfer fractional model to account for the complex and non-standard behavior of these systems.

    The remainder of the manuscript is structured as follows. In Section 2, we provide a review of essential definitions and theoretical results necessary for our subsequent analysis. In Section 3, we introduce our proposed derivatives, namely the Hilfer cotangent fractional derivatives, along with their preliminary properties. Additionally, we explore the connection between an initial value problem and a cotangent Volterra integral equation, establishing uniqueness and the existence of the solution using Banach's fixed point theorem and Kransnoselskii's fixed point theorem. Furthermore, we present two examples to illustrate our findings. Finally, we conclude the paper in Section 4.

    In this section, we present preliminary information, definitions, and results related to cotangent fractional derivative, which is fundamental for the rest of the paper. Let us consider finite and infinite intervals <c<d< within the real numbers R+. We denote the space of continuous functions x defined on [c,d] as C[c,d]. The norm for this space is defined as in [4]:

    xC[c,d]=max[c,d]|x()|.

    Additionally, we define ACn[c,d], the space of functions x that are n times absolutely continuous differentiable, as:

    ACn[c,d]={x:(c,d]R;xn1AC([c,d])}.

    The weighted space Cσ[c,d] for functions f on (c,d] is defined as:

    Cσ[c,d]={x:(c,d]R;(c)σx()C([c,d])},0σ<1,

    where the corresponding norm:

    xCσ[c,d]=(c)σx()C[c,d]=max[c,d]|(c)σx()|.

    Similarly, the weighted space Cnσ[c,d] for functions x on (c,d] is defined as:

    Cnσ[c,d]={x:(c,d]R;x()Cn1([c,d]);xn()Cσ([c,d])},0σ<1,

    where the corresponding norm:

    xCnσ[c,d]=n1k=0xkC[c,d]+xnCσ[c,d].

    It is worth noting that C0σ[c,d]=Cσ[c,d] when n=0.

    Definition 2.1. [4] Suppose that xL1([c,d],R). Then the RL integral of order G>0 of the function x is defined by

    IGc+x()=1Γ(G)c(μ)G1x(μ)dμ,>c,

    with Γ() is the gamma function.

    Definition 2.2. [4] Let xC([c,d]). The RL fractional derivative of order G such that n1<G<n,nN of the function x is defined by

    LDGc+x()=1Γ(nG)dndnc(μ)nG1x(μ)dμ,>c.

    Definition 2.3. [4] Let xCn([c,d]) and p>0 such that n1<G<n,nN. Then the Caputo fractional derivative of order G of the function x is defined by

    CDGc+x()=1Γ(nG)c(μ)nG1xn(μ)dμ,

    where xn(μ)=dnx(μ)dμn.

    Definition 2.4. [24] Let GC,Re(G)>0 and r(0,1]. The CFI of order G of the function x is defined by

    IG,rc+x()=1sin(rπ2)GΓ(G)cecot(rπ2)(μ)(μ)G1x(μ)dμ,>c. (2.1)

    Remark 2.5. [24] Let

    Drx()=cos(rπ2)x()+sin(rπ2)x(),

    and

    (Dn,rx)()=(Dr  DrDrntimesx)().

    Definition 2.6. [24] The left cotangent fractional derivative of order GC (Re(G)>0) and r(0,1] of a function x is defined by

    DG,rc+x()=Dn,rsin(rπ2)nGΓ(nG)cecot(rπ2)(μ)(μ)nG1x(μ)dμ, (2.2)

    where n=[G]+1.

    Definition 2.7. [24] Let r(0,1]. Then the left-sided cotangent fractional derivative in the sense of Caputo of order G of the function x is defined by

    CDG,rc+x()=1sin(rπ2)npΓ(nG)×cecot(rπ2)(μ)(μ)nG1(Dn,rx)(μ)dμ,GC,Re(G)>0, (2.3)

    where n=[G]+1.

    Remark 2.8. For r=1, Definitions 2.4–2.7 coincide the Definitions 2.1–2.3, respectively.

    The cotangent fractional derivative and integral exhibit the following significant properties:

    Proposition 2.9. [24] Let r(0,1] and δ,GC such that Re(δ)>0 and Re(G)0. Then we have

    (IG,rc+ecot(rπ2)(sc)(sc)δ1)()=Γ(δ)sin(rπ2)GΓ(δ+G)ecot(rπ2)(c)(c)δ+G1,(DG,rc+ecot(rπ2)(sc)(sc)δ1)()=sin(rπ2)GΓ(δ)Γ(δG)ecot(rπ2)(c)(c)δG1,(IG,rdecot(rπ2)(ds)(ds)δ1)()=Γ(δ)sin(rπ2)GΓ(δ+G)ecot(rπ2)(d)(d)δ+G1,(DG,rdecot(rπ2)(ds)(ds)q1)()=sin(rπ2)GΓ(δ)Γ(δG)ecot(rπ2)(d)(d)δG1. (2.4)

    Theorem 2.10. [24] Let r(0,1],Re(G)>0, Re(q)>0 and xC([c,d],R), then we have

    IG,rc+(Iq,rc+x)()=Iq,rc+(IG,rc+x)()=(IG+q,rc+x)(),c. (2.5)

    Theorem 2.11. [24] Let xL1([c,d]). Suppose that r(0,1] and 0m<[Re(G)]+1. Then

    Dm,rc+(IG,rc+x)()=(IGm,rc+x)(),>c. (2.6)

    Corollary 2.12. [24] Let 0<Re(q)<Re(G) and m1<Re(q)m. Then we get

    Dq,rc+IG,rc+x()=IGq,rc+x().

    Theorem 2.13. [24] Let xL1([c,d]),Re(G)>0, n=[Re(G)]+1 and r(0,1]. Then

    DG,rc+IG,rc+x()=x(),c.

    Lemma 2.14. [24] Let mZ+, G>0 and r(0,1]. Then

    (IG,rc+Dm,rc+x)()=(Dm,rc+IG,rc+x)()m1k=0ecot(rπ2)(c)(c)Gm+ksin(rπ2)Gm+kΓ(G+km+1)(Dk,rc+x)(c). (2.7)

    In particular, if m=1, we get

    (IG,rc+Drc+x)()=(Drc+IG,rc+x)()ecot(rπ2)(c)(c)G1sin(rπ2)G1Γ(G)x(c). (2.8)

    Theorem 2.15. [24] Let xL1(c,d) and (IG,rc+x)()ACn[c,d], Re(G)>0,n=[Re(G)]. Then

    (IG,rc+DG,rc+x)()=x()ecot(rπ2)(c)nj=1(c)Gjsin(rπ2)GjΓ(Gj+1)(IccjG,rx)(c+). (2.9)

    In this section, we present the HCFD and explore its properties. Furthermore, we establish the equivalence between the given problem (1.1) and a cotangent fractional integral equation of Volterra type. By utilizing fixed point theorems, we then demonstrate the existence and uniqueness of solutions for Eq (1.1).

    Definition 3.1. Let nN such that n1<G<n,r(0,1] and 0q1. The left/right HCFD of order G and type q of a function x is defined by

    (DG,q,rc±x)()=Iq(nG),rc±[Dr(I(1q)(nG),rc±x)](), (3.1)

    where I is the CFI defined in Eq (2.1).

    In particular, if n=1, Eq (3.1) is equivalent with

    (DG,q,rc±x)()=Iq(1G),rc±[Dr(I(1q)(1G),rc±x)](). (3.2)

    Thus, throughout this work, we discuss the case where 0<G<1,n=1,0q1 and σ=G+qGq.

    This definition can be used in many ways, including: A robust scheme for variable-order time-fractional diffusion-type equations [38], a fractal-fractional-order modified predator-prey mathematical model with immigrations [39], a pseudo-operational collocation method for variable-order time-space fractional KdV-Burgers-Kuramoto equation [40], Leffler-Galerkin method to solve Riccati differential equation of fractional order [41], stability of fractional linear systems [42], and controllability, observability of fractional linear systems [43].

    Remark 3.2. It is important to mention that:

    (1) If q=0, we get Definition 2.6.

    (2) If q=1, we get Definition 2.7.

    (3) The parameter σ satisfies

    0<σ1,σG,σ>q,1σ<1q(1G).

    Proposition 3.3. We have

    DG,q,rc+x=Iq(1G),rc+DrI(1σ),rc+x=Iq(1G),rc+Dσ,rc+x,σ=G+qGq.

    Proof. From Eq (3.2) and Definition 2.6, we get

    (DG,q,rc+x)()=Iq(1G),rc+[Dr(I(1q)(1G),rc+x)]()=Iq(1G),rc+{Drsin(rπ2)(1σ)Γ((1σ))cecot(rπ2)(τ)(τ)(1σ)1x(τ)dτ}=(Iq(1G),rc+Dσ,rx)().

    Let us examine the weighted function spaces defined on (c,d] as follows:

    CG,q1σ[c,d]={xC1σ[c,d],DG,q,rc+xC1σ[c,d]},

    and

    Cσ1σ[c,d]={xC1σ[c,d],Dσ,rc+xC1σ[c,d]},

    since

    DG,q,rc+=Iq(1G),rc+Dσ,rc+,Cσ1σ[c,d]CG,q1σ[c,d].

    Lemma 3.4. Suppose r(0,1],0<G<1, 0σ<1 and xCσ[c,d], then

    IG,rc+x(c)=limc+IG,rc+x()=0,0σ<G.

    Proof. If we consider xC[c,d], it indicates that x belongs to Cσ[c,d] and (c)σ belongs to C[c,d]. Consequently, there exists a positive constant M such that

    (c)σx()<M, for all [c,d],

    and

    |IG,rc+ecot(rπ2)x()|<M[IG,rc+ecot(rπ2)(c)σ]().

    It follows from Proposition 2.9, that

    |IG,rc+ecot(rπ2)x()|<M[Γ(1σ)Γ(G+1σ)ecot(rπ2)(c)Gσ],

    this implies that as approaches to a from the right, the right-hand side tends to zero.

    Lemma 3.5. Let 0<G<1,0q1,r(0,1], σ=G+qGq and xCσ1σ[c,d], then

    Iσ,rc+Dσ,rc+x=IG,rc+Dμ,q,rc+x,

    and

    Dσ,rc+IG,rc+x=Dq(1G),rc+x.

    Proof. By utilizing Theorem 2.10 and Proposition 3.3, we can proceed to

    Iσ,rc+Dσ,rc+x=Iσ,rc+(Iq(1G),rc+DG,q,rc+x)=IG+qGq,rc+Iq(1G),rc+DG,q,rc+x=IG,rc+DG,q,rc+x.

    Moreover, considering Theorem 2.10 and Eq (3.2), it is evident that

    Dσ,rc+IG,rc+x=Drc+I1σ,rc+IG,rc+x=Drc+I1q+Gq,rc+x=Dq(1G),rc+x.

    Lemma 3.6. Suppose xL1(c,d) such that Dq(1G),pc+x exists in L1(c,d). Then

    DG,q,rc+IG,rc+x=Iq(1G),rc+Dq(1G),rc+x.

    Proof. By utilizing Definition 2.6 and Eq (3.2), we can deduce that

    DG,q,rc+IG,rc+x=Iq(1G),rc+Drc+I(1q)(1G),rc+x=Iq(1G),rc+Drc+I1q(1G),rc+x=Iq(1G),rc+Dq(1G),rc+x.

    Lemma 3.7. Let 0<G<1 and 0σ<1, r(0,1]. Let xCσ[c,d] and I1p,rc+xC1σ[c,d], then

    IG,rc+DG,rc+x()=x()ecot(rπ2)(c)(c)G1sin(rπ2)G1Γ(G)(I1G,rcx)(c+),

    for all (c,d].

    Proof. The proof follows a similar approach to the ones presented in [24].

    Lemma 3.8. Let 0<G<1,r(0,1],0q1 and σ=G+qGq. Let xC1σ[c,d] and DG,q,rc+x then DG,q,rc+IG,rc+x exists in (c,d) and

    DG,q,rc+IG,rc+x()=x(),(c,d].

    Proof. By employing Lemmas 3.4, 3.6, and 3.7, we obtain the following result

    (DG,q,rc+IG,rc+x)()=(Iq(1G),rc+Dq(1G),rc+x)()=x()ecot(rπ2)(c)(c)q(1G)1sin(rπ2)q(1G)1Γ(q(1G))(I1q(1G),rax)(c+)=x().

    Lemma 3.9. Let r(0,1],0<G<1,0q1, 0<σ<1, xC1σ[c,d] and I1σ,rc+x, then

    IG,rc+DG,q,rc+x()=x()ecot(rπ2)(c)(c)σ1sin(rπ2)σ1Γ(σ)(I1σ,rcx)(c+),(c,d].

    Proof. From Definition 3.1 and Lemma 3.7 we have

    (IG,rc+DG,q,rc+x)()=IG,rc+(IσG,rc+Dσ,rc+x)()=Iσ,rc+Dσ,rc+x()=x()ecot(rπ2)(c)(c)σ1sin(rπ2)σ1Γ(σ)(I1σ,rcx)(c+).

    The subsequent lemma establishes the equivalence between the proposed Eq (1.1) and a CVIE.

    Lemma 3.10. Consider 0<G<1, 0q1, and σ=G+qGq. Let f:L×RR such that fC1σ[L,R] for any xC1σ[L,R]. If xCσ1σ[L,R], then x satisfies Eq (1.1) if and only if it satisfies the CVIE given by:

    x()=Λsin(rπ2)GΓ(G)ecot(rπ2)(c)(c)σ1mi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds+1sin(rπ2)GΓ(G)c+ecot(rπ2)(s)(s)G1f(s,x(s))ds, (3.3)

    where

    Λ=1sin(rπ2)σ1Γ(σ)mi=1ciecot(rπ2)(τic)(τic)σ1. (3.4)

    Proof. Let xCσ1σ[L,R] be a solution of (1.1). We aim to demonstrate that x is also a solution of (3.3). Based on Lemma 3.9, we can conclude that

    x()=(c)σ1sin(rπ2)σ1Γ(σ)ecot(rπ2)(c)I1σ,rc+x(c+)+1sin(rπ2)GΓ(G)c+ecot(rπ2)(s)(s)G1f(s,x(s))ds. (3.5)

    By substituting =τi and multiplying both sides of Eq (3.5) by ci, we obtain

    cix(τi)=(τic)σ1sin(rπ2)σ1Γ(σ)ecot(rπ2)(τic)ciI1σ,rc+x(c+)+ciIG,rc+f(τi)

    which implies that

    mi=1cix(τi)=1sin(rπ2)σ1Γ(σ)mi=1ciecot(rπ2)(τic)(τic)σ1I1σ,rc+x(c+)+1sin(rπ2)GΓ(G)mi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds. (3.6)

    From the initial condition I1σ,rc+x(c)=mi=1cix(τi), we get

    I1σ,rc+x(c+)=sin(rπ2)σ1Γ(σ)sin(rπ2)GΓ(G)Λmi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds. (3.7)

    Hence, by substituting Eq (3.7) into Eq (3.5), we can conclude that x() satisfies Eq (3.3).

    Conversely, let us assume that xCσ1σ satisfies Eq (3.3). Our goal is to show that x also satisfies Eq (1.1).

    By applying Dσ,rc+ of Eq (3.3), and considering Proposition 2.9, Theorem 2.11, and Definition 3.1, we obtain

    Dσ,rc+x()=Dσ,rc+(Λsin(rπ2)GΓ(G)ecot(rπ2)(c)(c)σ1mi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds)+Dσ,rc+(1sin(rπ2)GΓ(G)c+ecot(rπ2)(s)(s)G1f(s,x(s))ds)=(Dq(1G),rc+f(,x()))(). (3.8)

    Since DG,q,rc+xC1σ[L,R], by the definition of Cσ1σ[L,R] Eq (3.8) implies that

    Dq(1G),rc+f=DrI1q(1r),rc+fC1σ,r[L,R].

    Considering fC1σ[L,R] and using Theorem 2.13, we observe that I1q(1G),rc+fC1σ,r[L,R]. Consequently, we can conclude that I1q(1G),rc+fC11σ[L,R] based on the definition of Cnσ[L,R].

    By applying Iq(1G),rc+ to both sides of Eq (3.8), considering Proposition 2.9, Lemma 3.7, and Definition 3.1, we obtain

    Iq(1G),rc+Dσ,rc+x()=Iq(1G),rc+Dq(1G),rc+f(,x()).=f(,x())(I1q(1G),rc+f)(c)Γ(q(1G))(c)q(G1)1=f(,x()). (3.9)

    Hence, its remains to show that if xCσ1σ[L,R] satisfies (3.3), it also satisfies the initial condition. So, by applying I1σ,rc+ to both sides of Eq (3.3) and using Proposition 2.9, Theorem 2.10 and Corollary 2.12, we obtain

    I1σ,rc+x()=I1σ,rc+(Λsin(rπ2)GΓ(G)ecot(rπ2)(c)(c)σ1mi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s)ds)+I1σ;φc+(1sin(rπ2)GΓ(G)c+ecot(rπ2)(s)(s)G1f(s)ds)=sin(rπ2)σ1Γ(σ)sin(rπ2)GΓ(G)Λecot(rπ2)(c)mi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s)ds+I1q(1G),rc+f(). (3.10)

    Taking the limit as c+in Eq (3.10) and the fact that 1q<1G(1r) get

    I1σ,rc+x(c+)=sin(rπ2)σ1Γ(σ)sin(rπ2)GΣ(G)Λmi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds. (3.11)

    Substituting t=τi and multiplying through by ci in Eq (3.3),

    cix(τi)=Λsin(rπ2)GΓ(G)ecot(rπ2)(τic)(τic)σ1mi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s)ds+cisin(rπ2)GΓ(G)τic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds, (3.12)

    which implies that

    mi=1cix(τi)=Λmi=1ciIG,rc+f(τi)mi=1ciecot(rπ2)(τic)(τic)σ1+mi=1ciIG,rc+f(τi)=mi=1ciIG,rc+f(τi)(1+Λmi=1ciecot(rπ2)(τic)(τic)σ1). (3.13)

    Thus

    mi=1cix(τi)=sin(rπ2)σ1Γ(σ)sin(rπ2)GΓ(G)Λmi=1ciτic+ecot(rπ2)(τis)(τis)G1f(s,x(s))ds. (3.14)

    So, in view of (3.11) and (3.14), we have

    \begin{equation} \mathcal{I}_{c^{+}}^{1-\sigma, r} x\left(c^{+}\right) = \sum\limits_{i = 1}^m c_i x\left(\tau_i\right) . \end{equation} (3.15)

    Remark 3.11. The introduced Hilfer cotangent fractional derivative (as defined in Definition 3.1) consolidates the previously existing Riemann-Liouville, cotangent, and Hilfer fractional derivatives.

    In this subsection, we will present a comprehensive proof of the uniqueness of solutions for the given Eq (1.1) by employing the principles of the Banach contraction. To accomplish this, we rely on the following assumptions:

    \left(H_1\right) Let f: L \times \mathbb{R} \rightarrow \mathbb{R} such that f\in \mathcal{C}_{1-\sigma}^{q(1-G)}[L, \mathbb{R}] for any x \in \mathcal{C}_{1-\sigma}^\sigma[L, \mathbb{R}] .

    \left(H_2\right) There exists a constant K > 0 such that

    |f(\ell, z)-f(\ell, \bar{z})| \leq K|z-\bar{z}|,

    for any z, \bar{z} \in \mathbb{R} and \ell\in L .

    \left(H_3\right) Suppose that K \psi < 1, where

    \begin{equation} \psi = \frac{\mathcal{B}(\sigma, G)}{\sin(r\frac{\pi}{2})^G \Gamma(G)}\left(|\Lambda| \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1}+(d-c)^G\right), \end{equation} (3.16)

    and \mathcal{B}(\sigma, G) is the Beta function [4]

    \mathcal{B}(\sigma, G) = \int_0^1 \ell^{\sigma-1}(1-\ell)^{G-1} d\ell.

    Theorem 3.12. Let 0 < G < 1 , 0 \leq q \leq 1 , and \sigma = G+q-G q . Assuming that the conditions \left(H_1\right) \left(H_3\right) hold. Then the Eq (1.1) possesses a unique solution within the space \mathcal{C}_{1-\sigma}^\sigma[L, \mathbb{R}] .

    Proof. Let the operator T: \mathcal{C}_{1-\sigma}[L, \mathbb{R}] \rightarrow \mathcal{C}_{1-\sigma}[L, \mathbb{R}] by

    \begin{equation} \begin{aligned} (T x)(\ell) = & \frac{\Lambda}{\sin(r\frac{\pi}{2})^G \Gamma(G)} e^{-\cot(r\frac{\pi}{2})(\ell-c)}(\ell-c)^{\sigma-1} \sum\limits_{i = 1}^m c_i \int_c^{\tau_i} e^{-\cot(r\frac{\pi}{2})\left(\tau_i-s\right)}\left(\tau_i-s\right)^{G-1} f(s, x(s)) d s \\ & +\frac{1}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^\ell e^{-\cot(r\frac{\pi}{2})(\ell-s)}(\ell-s)^{G-1} f(s, x(s)) d s . \end{aligned} \end{equation} (3.17)

    Consequently, the operator T is unambiguously defined. For arbitrary x_1, x_2 \in \mathcal{C}_{1-\sigma}[L, \mathbb{R}] and \ell\in L , the following expression holds:

    \begin{equation} \begin{aligned} &\left|\left(\left(T x_1\right)(\ell)-\left(T x_2\right)(\ell)\right)(\ell-c)^{1-\sigma}\right| \\ &\leq \frac{|\Lambda|}{\sin(r\frac{\pi}{2})^G \Gamma(G)}\left|e^{-\cot(r\frac{\pi}{2})(\ell-c)}\right| \sum\limits_{i = 1}^m b_i\int_c^{\tau_i}\left|e^{-\cot(r\frac{\pi}{2})\left(\tau_i-s\right)}\right|\left(\tau_i-s\right)^{G-1}\left|f\left(s, x_1(s)\right)-f\left(s, x_2(s)\right)\right| d s \\ &+\frac{1}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^\ell\left|e^{-\cot(r\frac{\pi}{2})(\ell-s)}\right|(\ell-s)^{G-1}\left|f\left(s, x_1(s)\right)-f\left(s, x_2(s)\right)\right| d s. \end{aligned} \end{equation} (3.18)

    Since \left|e^{-\cot(r\frac{\pi}{2})\ell}\right| < 1 , we get

    \begin{equation} \begin{aligned} &\left|\left(\left(T x_1\right)(\ell)-\left(T x_2\right)(\ell)\right)(\ell-c)^{1-\sigma}\right| \\ &\leq \frac{K|\Lambda|}{\sin(r\frac{\pi}{2})^G \Gamma(G)}\left(\sum\limits_{i = 1}^m b_i \int_{c^{+}}^{\tau_i}\left(\tau_i-s\right)^{G-1}(s-c)^{\sigma-1} d s\right)\|x_1-x_2\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} \\ &+\frac{K}{\sin(r\frac{\pi}{2})^G \Gamma(G)}(\ell-c)^{1-\sigma}\left(\int_{c^{+}}^\ell(\ell-s)^{G-1}(s-c)^{\sigma-1} d s\right)\left\|x_1-x_2\right\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} \\ &\leq \frac{K|\Lambda|}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \mathcal{B}(\sigma, G) \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1}\left\|x_1-x_2\right\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} \\ &+\frac{K}{\sin(r\frac{\pi}{2})^G \Gamma(G)}(d-c)^G \mathcal{B}(\sigma, G)\left\|x_1-x_2\right\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]}. \end{aligned} \end{equation} (3.19)

    Therefore,

    \begin{equation} \begin{aligned} &\left\|\left(T x_1\right)-\left(T x_2\right)\right\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} \\ &\leq \frac{K}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \mathcal{B}(\sigma, G)\left(|\Lambda| \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1}+(d-c)^G\right)\left\|x_1-x_2\right\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]}\\ & \leq K \psi\left\|x_1-x_2\right\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]}. \end{aligned} \end{equation} (3.20)

    Therefore, by considering (3.16), it can be deduced that T behaves as a contraction map. As a result of the Banach contraction principle, it can be firmly stated that Eq (1.1) possesses a unique solution.

    We utilize the Kransnoselskii's fixed point theorem [44] to establish the existence of solutions for the given Eq (1.1).

    \left(H_4\right) Suppose that K \Delta < 1, where

    \begin{equation} \Delta = \frac{\mathcal{B}(\sigma, G)}{\sin(r\frac{\pi}{2})^G \Gamma(G)}|\Lambda| \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1} . \end{equation} (3.21)

    Theorem 3.13. Assume that the conditions \left(H_1\right), \left(H_2\right) , and \left(H_4\right) are fulfilled, let 0 < G < 1, 0 \leq q \leq 1 , and \sigma = G+q-Gq . Then problem (1.1) possesses at least one solution within the space \mathcal{C}_{1-\sigma}^\sigma[L, \mathbb{R}] .

    Proof. In Step 1, we have \|\eta\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} = \sup_{\ell \in L}\left|(\ell-c)^{1-\sigma} \eta(\ell)\right| and choose \kappa \geq M\|\eta\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} , where

    \begin{equation} M = \frac{\mathcal{B}(\sigma, G)}{\sin(r\frac{\pi}{2})^G \Gamma(G)}\left(|\Lambda| \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1}+(d-c)^G\right). \end{equation} (3.22)

    Let us \mathbf{B}_\kappa = \left\{x \in \mathbb{C}[L, \mathbb{R}]:\|x\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} \leq \kappa\right\} and the operators \mathbb{T}_1 and \mathbb{T}_2 on \mathbf{B}_k by

    \begin{aligned} &\mathbb{T}_1 x(\ell) = \frac{1}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^\ell e^{-\cot(r\frac{\pi}{2})(\ell-s)}(\ell-s)^{G-1} f(s, x(s)) d s, \\ &\mathbb{T}_2 x(\ell) = \frac{\Lambda}{\sin(r\frac{\pi}{2})^G \Gamma(G)} e^{-\cot(r\frac{\pi}{2})(\ell-c)}(\ell-c)^{\sigma-1} \sum\limits_{i = 1}^m c_i \int_c^{\tau_i} e^{-\cot(r\frac{\pi}{2})\left(\tau_i-s\right)}\left(\tau_i-s\right)^{G-1} f(s, x(s)) d s, \end{aligned}

    for each \ell\in[c, d] , the following inequality holds true. Now, considering any x and y belonging to the set \mathbf{B}_k , we have the following:

    \begin{equation} \begin{aligned} &\left|\left(\mathbb{T}_1 x(\ell)+\mathbb{T}_2 y(\ell)\right)(\ell-c)^{1-\sigma}\right| \\ &\leq \frac{(\ell-c)^{1-\sigma}}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^\ell(\ell-s)^{G-1}(s-c)^{\sigma-1}\left|f(s, x(s))(s-c)^{1-\sigma}\right| d s \\ &+\frac{|\Lambda|}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \sum\limits_{i = 1}^m c_i \int_c^{\tau_i}\left(\tau_i-s\right)^{G-1}\left(\tau_i-c\right)^{\sigma-1}\left|f(s, y(s))\left(\tau_i-c\right)^{1-\sigma}\right| d s \\ &\leq\|\eta\|\left[\frac{\mathcal{B}(\sigma, G)}{\sin(r\frac{\pi}{2})^G \Gamma(G)}|\Lambda| \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1}+\frac{\mathcal{B}(\sigma, G)}{\sin(r\frac{\pi}{2})^G \Gamma(G)}(d-c)^G\right] \\ &\leq\|\eta\| M \\ &\leq \kappa < \infty. \end{aligned} \end{equation} (3.23)

    This implies that \mathbb{T}_1 x+\mathbb{T}_2 y \in \mathbf{B}_\kappa .

    In Step 2, we demonstrate that the operator \mathbb{T}_2 is a contraction.

    Now, let x, y \in \mathcal{C}_{1-\sigma}[L, \mathbb{R}] and \ell\in L , then

    \begin{equation} \begin{aligned} &\left|\left(\mathbb{T}_2 x(\ell)-\mathbb{T}_2 y(\ell)\right)(\ell-c)^{1-\sigma}\right| \\ & = \left|\Lambda e^{-\cot(r\frac{\pi}{2})(\ell-c)} \sum\limits_{i = 1}^m c_i \mathcal{I}_{c^{+}}^{G, r}(f(s, x(s))-f(s, y(s)))\left(\tau_i\right)\right| \\ &\leq \frac{K|\Lambda|}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \sum\limits_{i = 1}^m c_i \int_c^{\tau_i}\left(\tau_i-s\right)^{G-1}\left(\tau_i-s\right)^{\sigma-1}|x(s)-y(s)| d s \\ &\leq\left[\frac{K|\Lambda|}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \mathcal{B}(\sigma, G) \sum\limits_{i = 1}^m c_i\left(\tau_i-c\right)^{G+\sigma-1}\right]\|x-y\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]} \\ &\leq K \Delta\|x-y\|_{\mathcal{C}_{1-\sigma}[L, \mathbb{R}]}. \end{aligned} \end{equation} (3.24)

    Consequently, it can be deduced from \left(H_4\right) that \mathbb{T}_2 is a contraction.

    In Step 3, we establish the continuity and compactness of the operator \mathbb{T}_1 .

    Evidently, the operator \mathbb{T}_1 is continuous since the function f is continuous. Therefore, for any x \in \mathcal{C}_{1-\sigma}[L, \mathbb{R}] , we obtain:

    \left\|\mathbb{T}_1 x\right\| \leq\|\eta\| \frac{\mathcal{B}(\sigma, G)}{\sin(r\frac{\pi}{2})^G \Gamma(G)}(d-c)^G < \infty .

    This shows that the operator \mathbb{T}_1 is uniformly bounded on \mathbf{B}_k . Thus, it remains to show that \mathbb{T}_1 is compact. Let \sup_{(\ell, x) \in L \times \mathbf{B}_{\mathbb{R}}}|f(\ell, x(\ell))| = \delta < \infty and for any c < \tau_1 < \tau_2 < d ,

    \begin{align} &\left|\left(\tau_2-c\right)^{1-\sigma}\left(\mathbb{T}_1 x\left(\tau_2\right)\right)+\left(\tau_1-c\right)^{1-\sigma}\left(\mathbb{T}_1 x\left(\tau_1\right)\right)\right| \\ & = \mid \frac{\left(\tau_2-c\right)^{1-\sigma}}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^{\tau_2} e^{-\cot(r\frac{\pi}{2})\left(\tau_2-s\right)}\left(\tau_2-s\right)^{G-1} f(s, x(s)) d s \\ &-\frac{\left(\tau_1-c\right)^{1-\sigma}}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^{\tau_1} e^{-\cot(r\frac{\pi}{2})\left(\tau_1-s\right)}\left(\tau_1-s\right)^{G-1} f(s, x(s)) d s \mid \\ &\leq \frac{1}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_c^{\tau_2}\left[\left(\tau_2-c\right)^{1-\sigma}\left(\tau_2-s\right)^{G-1}-\left(\tau_1-c\right)^{1-\sigma}\left(\tau_1-s\right)^{G-1}\right]|f(s, x(s))| d s \\ &+\frac{1}{\sin(r\frac{\pi}{2})^G \Gamma(G)} \int_{\tau_1}^{\tau_2}\left(\tau_2-c\right)^{1-\sigma}\left(\tau_2-s\right)^{G-1}|f(s, x(s))| d s \longrightarrow 0, \quad \text { as } \tau_2 \rightarrow \tau_1. \end{align} (3.25)

    By applying the Arzelà-Ascoli theorem [45], we can conclude that the operator \mathbb{T}_1 is compact on \mathbf{B}\kappa . Consequently, Eq (1.1) possesses at least one solution.

    Example 3.14. Let us consider a fractional differential equation that incorporates the Hilfer cotangent fractional derivative in the following manner:

    \begin{equation} \left\{\begin{array}{l} \mathcal{D}_{0^{+}}^{\frac{2}{3}, \frac{1}{2}, 1} x(\ell) = \frac{1}{25 e^{2 \ell}}\left(\frac{ {\sin} 2 \ell}{1+|x(\ell)|}\right)+\frac{3}{2}, \quad \ell\in L = [0,2], \\ \mathcal{I}_{0^{+}}^{1-\sigma, 1} x(0) = 2 x\left(\frac{2}{5}\right). \end{array}\right. \end{equation} (3.26)

    By comparing (1.1) with (3.26), we get G = \frac{2}{3}, q = \frac{1}{2}, r = 1, \sigma = \frac{5}{6}, c = 0, d = 2, c_1 = 2 since m = 1, \tau_1 = \frac{2}{5} \in L and

    f(\ell, u) = \frac{1}{25 e^{2 \ell}}\left(\frac{ {\sin} 2 \ell}{1+|u|}\right)+\frac{3}{2}, \quad \ell\in L, u \in \mathbb{R}_{+} .

    Consequently, the function f is continuous, and for any u, v \in \mathbb{R}_{+} and \ell\in L , the inequality |f(\ell, u)-f(\ell, v)| \leq \frac{1}{25}|u-v| holds. Hence, we can affirm that both conditions \left(H_1\right) and \left(H_3\right) are satisfied with K = \frac{1}{25} . Through straightforward calculations, we obtain

    |\Lambda| = 0.8325014764,

    and

    \psi = 3.363129576.

    These values imply that K \psi = 0.1345251830 < 1 . As a result, all the requirements of Theorem 3.12 are fulfilled, leading to the conclusion that problem (1.1) possesses a unique solution on L .

    Similarly, we determine that

    \Delta = 1.341257222 > 0,

    and

    K \Delta = 0.05365028888 < 1.

    Since all the conditions of Theorem 3.13 are met, we can infer that problem (1.1) has at least one solution on L .

    Example 3.15. Let's examine the Hilfer cotangent fractional differential equation given by the following expression:

    \begin{equation} \left\{\begin{array}{l} \mathcal{D}_{0^{+}}^{\frac{2}{3}, \frac{1}{2},\frac{1}{5}} x(\ell) = \frac{1}{25 e^{2 \ell}}\left(\frac{ {\sin} 2 \ell}{1+|x(\ell)|}\right)+\frac{3}{2}, \quad \ell\in L = [0,2], \\ \mathcal{I}_{0^{+}}^{1-\sigma,\frac{1}{5}} x(0) = 2 x\left(\frac{2}{5}\right) . \end{array}\right. \end{equation} (3.27)

    By following the same procedure as demonstrated in Example 3.14, we obtain the values

    |\Lambda| = 1.444007299,
    \psi = 9.513382270,

    and

    \Delta = 5.089887776.

    Consequently, we have

    K \psi = 0.3805352908 < 1.

    Based on Theorem 3.12, it can be concluded that problem (1.1) possesses a unique solution on L . Moreover, we have

    K \Delta = 0.2035955110 < 1,

    which implies, according to Theorem 3.13, that problem (1.1) has at least one solution on L .

    In the present study, we introduced the Hilfer cotangent fractional derivatives within the framework of fractional calculus. Leveraging well-established theorems from fixed point theory, we were able to establish the existence and uniqueness of solutions for a particular class of fractional initial value problems incorporating the Hilfer cotangent fractional derivative. To illustrate the efficacy of our findings, we provided illustrative examples. Notably, the Hilfer cotangent fractional derivative encompasses three parameters, offering greater flexibility. This expanded parameter space becomes particularly valuable when considering stability and other qualitative characteristics of differential equations involving fractional derivatives.

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

    The authors declare that they have no conflicts of interest.



    [1] P. Zhu, R. Li, Generalized difference methods for second order elliptic partial differential equations. Ⅱ. Quadrilateral subdivision, Numer. Math. J. Chin. Univ., 4 (1982), 360–375.
    [2] R. E. Bank, D. J. Rose, Some error estimates for the box method, SIAM J. Numer. Anal., 24 (1987), 777–787. https://doi.org/10.1137/0724050 doi: 10.1137/0724050
    [3] S. Chou, Q. Li, Error estimates in L^2, H^1 and L^{\infty} in covolume methods for elliptic and parabolic problems: A unified approach, Math. Comput., 69 (2000), 103–120. https://doi.org/10.1090/S0025-5718-99-01192-8 doi: 10.1090/S0025-5718-99-01192-8
    [4] Z. Cai, On the finite volume element method, Numer. Math., 58 (1990), 713–735. https://doi.org/10.1007/BF01385651 doi: 10.1007/BF01385651
    [5] I. Mishev, Finite volume element methods for non-definite problems, Numer. Math., 83 (1999), 161–175. https://doi.org/10.1007/s002110050443 doi: 10.1007/s002110050443
    [6] P. Chatzipantelidis, R. Lazarov, Error estimates for a finite volume element method for elliptic PDEs in nonconvex polygonal domains, SIAM J. Numer. Anal., 42 (2005), 1932–1958. https://doi.org/10.1137/S0036142903427639 doi: 10.1137/S0036142903427639
    [7] S. Chou, X. Ye, Unified analysis of finite volume methods for second order elliptic problems, SIAM J. Numer. Anal., 45 (2007), 1639–1653. https://doi.org/10.1137/050643994 doi: 10.1137/050643994
    [8] R. Li, Z. Chen, W. Wu, Generalized difference methods for differential equations: Numerical analysis of finite volume methods, New York: Marcel Dekker, 2000.
    [9] Y. Lin, J. Liu, M. Yang, Finite volume element methods: An overview on recent developments, Int. J. Numer. Anal. Mod. B, 4 (2013), 14–34.
    [10] Z. Zhang, Q. Zou, Some recent advances on vertex centered finite volume element methods for elliptic equations, Sci. China Math., 56 (2013), 2507–2522. https://doi.org/10.1007/s11425-013-4740-8 doi: 10.1007/s11425-013-4740-8
    [11] J. Xu, Q. Zou, Analysis of linear and quadratic simplicial finite volume methods for elliptic equations, Numer. Math., 111 (2009), 469–492. https://doi.org/10.1007/s00211-008-0189-z doi: 10.1007/s00211-008-0189-z
    [12] Z. Chen, R. Li, A. Zhou, A note on the optimal L^{2}-estimate of the finite volume element method, Adv. Comput. Math., 16 (2002), 291–303. https://doi.org/10.1023/A:1014577215948 doi: 10.1023/A:1014577215948
    [13] R. E. Ewing, T. Lin, Y. Lin, On the accuracy of the finite volume element method based on piecewise linear polynomials, SIAM J. Numer. Anal., 39 (2002), 1865–1888. https://doi.org/10.1137/S0036142900368873 doi: 10.1137/S0036142900368873
    [14] C. Erath, D. Praetorius, Adaptive vertex-centered finite volume methods for general second-order linear elliptic partial differential equations, IMA J. Numer. Anal., 39 (2019), 983–1008. https://doi.org/10.1093/imanum/dry006 doi: 10.1093/imanum/dry006
    [15] Y. Li, R. Li, Generalized difference methods on arbitrary quadrilateral networks, J. Comput. Math., 17 (1999), 653–672.
    [16] Z. Zhang, Q. Zou, Vertex-centered finite volume schemes of any order over quadrilateral meshes for elliptic boundary value problems, Numer. Math., 130 (2015), 363–393. https://doi.org/10.1007/s00211-014-0664-7 doi: 10.1007/s00211-014-0664-7
    [17] T. Schmidt, Box schemes on quadrilateral meshes, Computing, 51 (1993), 271–292. https://doi.org/10.1007/BF02238536 doi: 10.1007/BF02238536
    [18] Q. Hong, J. Wu, A Q_1-finite volume element scheme for anisotropic diffusion problems on general convex quadrilateral mesh, J. Comput. Appl. Math., 372 (2020), 112732. https://doi.org/10.1016/j.cam.2020.112732 doi: 10.1016/j.cam.2020.112732
    [19] J. Lv, Y. Li, L^2 error estimates and superconvergence of the finite volume element methods on quadrilateral meshes, Adv. Comput. Math., 37 (2012), 393–416. https://doi.org/10.1007/s10444-011-9215-2 doi: 10.1007/s10444-011-9215-2
    [20] Y. Lin, M. Yang, Q. Zou, L^2 error estimates for a class of any order finite volume schemes over quadrilateral meshes, SIAM J. Numer. Anal., 53 (2015), 2030–2050. https://doi.org/10.1137/140963121 doi: 10.1137/140963121
    [21] C. Nie, S. Shu, H. Yu, W. Xia, Superconvergence and asymptotic expansions for bilinear finite volume element approximation on non-uniform grids, J. Comput. Appl. Math., 321 (2017), 323–335. https://doi.org/10.1016/j.cam.2016.12.024 doi: 10.1016/j.cam.2016.12.024
    [22] W. He, Z. Zhang, Q. Zou, Maximum-norms error estimates for high-order finite volume schemes over quadrilateral meshes, Numer. Math., 138 (2018), 473–500. https://doi.org/10.1007/s00211-017-0912-8 doi: 10.1007/s00211-017-0912-8
    [23] Z. Chen, J. Wu, Y. Xu, Higher-order finite volume methods for elliptic boundary value problems, Adv. Comput. Math., 37 (2012), 191–253. https://doi.org/10.1007/s10444-011-9201-8 doi: 10.1007/s10444-011-9201-8
    [24] X. Wang, Y. Li, L^2 error estimates for high order finite volume methods on triangular meshes, SIAM J. Numer. Anal., 54 (2016), 2729–2749. https://doi.org/10.1137/140988486 doi: 10.1137/140988486
    [25] Y. Zhou, J. Wu, A unified analysis of a class of quadratic finite volume element schemes on triangular meshes, Adv. Comput. Math., 46 (2020), 71. https://doi.org/10.1007/s10444-020-09809-8 doi: 10.1007/s10444-020-09809-8
    [26] X. Wen, Y. Zhou, A coercivity result of quadratic finite volume element schemes over triangular meshes, Adv. Appl. Math. Mech., 15 (2023), 901–931. https://doi.org/10.4208/aamm.OA-2021-0311 doi: 10.4208/aamm.OA-2021-0311
    [27] M. Yang, A second-order finite volume element method on quadrilateral meshes for elliptic equations, ESAIM: M2AN, 40 (2006), 1053–1067. https://doi.org/10.1051/m2an:2007002 doi: 10.1051/m2an:2007002
    [28] J. Lv, Y. Li, Optimal biquadratic finite volume element methods on quadrilateral meshes, SIAM J. Numer. Anal., 50 (2012), 2379–2399. https://doi.org/10.1137/100805881 doi: 10.1137/100805881
    [29] Y. Zhou, Y. Zhang, J. Wu, A polygonal finite volume element method for anisotropic diffusion problems, Comput. Math. Appl., 140 (2023), 225–236. https://doi.org/10.1016/j.camwa.2023.04.025 doi: 10.1016/j.camwa.2023.04.025
    [30] Y. Zhang, X. Wang, Unified construction and L^2 analysis for the finite volume element method over tensorial meshes, Adv. Comput. Math., 49 (2023), 2. https://doi.org/10.1007/s10444-022-10004-0 doi: 10.1007/s10444-022-10004-0
    [31] Y. Zhou, Y. Jiang, Q. Zou, Three dimensional high order finite volume element schemes for elliptic equations, Numer. Methods Partial Differ. Eq., 39 (2023), 1672–1705. https://doi.org/10.1002/num.22950 doi: 10.1002/num.22950
    [32] Y. Zhou, J. Wu, A new high order finite volume element solution on arbitrary triangular and quadrilateral meshes, Appl. Math. Lett., 134 (2022), 108354. https://doi.org/10.1016/j.aml.2022.108354 doi: 10.1016/j.aml.2022.108354
    [33] S. Shu, H. Yu, Y. Huang, C. Nie, A symmetric finite volume element scheme on quadrilateral grids and superconvergence, Int. J. Numer. Anal. Mod., 3 (2006), 348–360.
    [34] Q. Hong, J. Wu, Coercivity results of a modified Q_{1}-finite volume element scheme for anisotropic diffusion problems, Adv. Comput. Math., 44 (2018), 897–922. https://doi.org/10.1007/s10444-017-9567-3 doi: 10.1007/s10444-017-9567-3
    [35] F. Fang, Q. Hong, J. Wu, Analysis of a special Q_{1}-finite volume element scheme for anisotropic diffusion problems, Numer. Math. Theor. Meth. Appl., 12 (2019), 1141–1167. https://doi.org/10.4208/nmtma.OA-2018-0080 doi: 10.4208/nmtma.OA-2018-0080
    [36] S. Chou, S. He, On the regularity and uniformness conditions on quadrilateral grids, Comput. Methods Appl. Mech. Eng., 191 (2002), 5149–5158. https://doi.org/10.1016/S0045-7825(02)00357-2 doi: 10.1016/S0045-7825(02)00357-2
    [37] P. Ciarlet, The finite element method for elliptic problems, Amsterdam: North-Holland, 1978.
    [38] D. Kershaw, Differencing of the diffusion equation in Lagrangian hydrodynamic codes, J. Comput. Phys., 39 (1981), 375–395. https://doi.org/10.1016/0021-9991(81)90158-3 doi: 10.1016/0021-9991(81)90158-3
    [39] G. Yuan, Z. Sheng, Monotone finite volume schemes for diffusion equations on polygonal meshes, J. Comput. Phys., 227 (2008), 6288–6312. https://doi.org/10.1016/j.jcp.2008.03.007 doi: 10.1016/j.jcp.2008.03.007
  • This article has been cited by:

    1. Lakhlifa Sadek, Ali Akgül, Ahmad Sami Bataineh, Ishak Hashim, A cotangent fractional Gronwall inequality with applications, 2024, 9, 2473-6988, 7819, 10.3934/math.2024380
    2. P. Karthiga, S. M. Sivalingam, V. Govindaraj, Controllability of time‐varying fractional dynamical systems with prescribed control, 2024, 0170-4214, 10.1002/mma.10552
    3. Lakhlifa Sadek, Control theory for fractional differential Sylvester matrix equations with Caputo fractional derivative, 2024, 1077-5463, 10.1177/10775463241246430
    4. Lakhlifa Sadek, Controllability, observability, and stability of φ‐conformable fractional linear dynamical systems, 2024, 26, 1561-8625, 2476, 10.1002/asjc.3348
    5. Lakhlifa Sadek, Said Ounamane, Bouchra Abouzaid, El Mostafa Sadek, The Galerkin Bell method to solve the fractional optimal control problems with inequality constraints, 2024, 77, 18777503, 102244, 10.1016/j.jocs.2024.102244
    6. Majeed A. Yousif, Juan L. G. Guirao, Pshtiwan Othman Mohammed, Nejmeddine Chorfi, Dumitru Baleanu, A computational study of time-fractional gas dynamics models by means of conformable finite difference method, 2024, 9, 2473-6988, 19843, 10.3934/math.2024969
    7. Weerawat Sudsutad, Jutarat Kongson, Chatthai Thaiprayoon, On generalized (k,\psi )-Hilfer proportional fractional operator and its applications to the higher-order Cauchy problem, 2024, 2024, 1687-2770, 10.1186/s13661-024-01891-x
    8. Lakhlifa Sadek, Dumitru Baleanu, Mohammed S. Abdo, Wasfi Shatanawi, Introducing novel Θ-fractional operators: Advances in fractional calculus, 2024, 36, 10183647, 103352, 10.1016/j.jksus.2024.103352
    9. Lakhlifa Sadek, Ali Algefary, Extended Hermite–Hadamard inequalities, 2024, 9, 2473-6988, 36031, 10.3934/math.20241709
    10. Said Ounamane, Lakhlifa Sadek, Bouchra Abouzaid, El Mostafa Sadek, Fractional truncated exponential method for linear fractional optimal control problems, 2025, 03784754, 10.1016/j.matcom.2025.01.009
    11. Lakhlifa Sadek, Ali Algefary, On quantum trigonometric fractional calculus, 2025, 120, 11100168, 371, 10.1016/j.aej.2025.02.005
    12. Hassen Arfaoui, Mohamed Kharrat, Hacene Mecheri, Dumitru Baleanu, 2025, Chapter 2, 978-981-97-8714-2, 39, 10.1007/978-981-97-8715-9_2
    13. Lakhlifa Sadek, Sahar Ahmed ldris, Fahd Jarad, The general Caputo–Katugampola fractional derivative and numerical approach for solving the fractional differential equations, 2025, 121, 11100168, 539, 10.1016/j.aej.2025.02.065
  • Reader Comments
  • © 2023 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(1347) PDF downloads(116) Cited by(1)

Figures and Tables

Figures(5)  /  Tables(12)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog