Processing math: 100%
Research article Special Issues

Generalized Ξ-metric-like space and new fixed point results with an application

  • This paper is devoted to generalizing Ξ-metric spaces and b- metric-like spaces to present the structure of generalized Ξ -metric-like spaces. The topological properties of this space and examples to support it are being investigated. Moreover, as demonstrated in the previous literature, the concept of Lipschitz mappings is presented more generally and some results of fixed points are derived in the aforementioned space. Finally, some theoretical results have been implicated in the discussion of the existence and uniqueness of the solution to the Fredholm integral equation.

    Citation: Hasanen A. Hammad, Maryam G. Alshehri. Generalized Ξ-metric-like space and new fixed point results with an application[J]. AIMS Mathematics, 2023, 8(2): 2453-2472. doi: 10.3934/math.2023127

    Related Papers:

    [1] Changdev P. Jadhav, Tanisha B. Dale, Vaijanath L. Chinchane, Asha B. Nale, Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez . On solutions of fractional differential equations for the mechanical oscillations by using the Laplace transform. AIMS Mathematics, 2024, 9(11): 32629-32645. doi: 10.3934/math.20241562
    [2] Duoduo Zhao, Kai Zhou, Fengming Ye, Xin Xu . A class of time-varying differential equations for vibration research and application. AIMS Mathematics, 2024, 9(10): 28778-28791. doi: 10.3934/math.20241396
    [3] Takumi Washio, Akihiro Fujii, Toshiaki Hisada . On random force correction for large time steps in semi-implicitly discretized overdamped Langevin equations. AIMS Mathematics, 2024, 9(8): 20793-20810. doi: 10.3934/math.20241011
    [4] Omar Bazighifan, Areej A. Al-moneef, Ali Hasan Ali, Thangaraj Raja, Kamsing Nonlaopon, Taher A. Nofal . New oscillation solutions of impulsive conformable partial differential equations. AIMS Mathematics, 2022, 7(9): 16328-16348. doi: 10.3934/math.2022892
    [5] Amjid Ali, Teruya Minamoto, Rasool Shah, Kamsing Nonlaopon . A novel numerical method for solution of fractional partial differential equations involving the ψ-Caputo fractional derivative. AIMS Mathematics, 2023, 8(1): 2137-2153. doi: 10.3934/math.2023110
    [6] Ahmad Qazza, Rania Saadeh, Emad Salah . Solving fractional partial differential equations via a new scheme. AIMS Mathematics, 2023, 8(3): 5318-5337. doi: 10.3934/math.2023267
    [7] Aslı Alkan, Halil Anaç . The novel numerical solutions for time-fractional Fornberg-Whitham equation by using fractional natural transform decomposition method. AIMS Mathematics, 2024, 9(9): 25333-25359. doi: 10.3934/math.20241237
    [8] Shaomin Wang, Cunji Yang, Guozhi Cha . On the variational principle and applications for a class of damped vibration systems with a small forcing term. AIMS Mathematics, 2023, 8(9): 22162-22177. doi: 10.3934/math.20231129
    [9] Armin Hadjian, Juan J. Nieto . Existence of solutions of Dirichlet problems for one dimensional fractional equations. AIMS Mathematics, 2022, 7(4): 6034-6049. doi: 10.3934/math.2022336
    [10] Paul Bosch, José M. Rodríguez, José M. Sigarreta . Oscillation results for a nonlinear fractional differential equation. AIMS Mathematics, 2023, 8(5): 12486-12505. doi: 10.3934/math.2023627
  • This paper is devoted to generalizing Ξ-metric spaces and b- metric-like spaces to present the structure of generalized Ξ -metric-like spaces. The topological properties of this space and examples to support it are being investigated. Moreover, as demonstrated in the previous literature, the concept of Lipschitz mappings is presented more generally and some results of fixed points are derived in the aforementioned space. Finally, some theoretical results have been implicated in the discussion of the existence and uniqueness of the solution to the Fredholm integral equation.



    The theory of fractional calculus has played an important role in engineering and natural sciences. Currently, the concept of fractional calculus has been effectively used in many social, physical, signal, image processing, biological and engineering problems. Further, it has been realized that a fractional system provides a more accurate interpretation than the integer-order system in many real modeling problems. For more details, one can refer to [1,2,3,4,5,6,7,8,9,10].

    Oscillation phenomena take part in different models of real world applications; see for instance the papers [11,12,13,14,15,16,17] and the papers cited therein. More precisely, we refer the reader to the papers [18,19] on bio-mathematical models where oscillation and/or delay actions may be formulated by means of cross-diffusion terms. Recently and although it is rare, the study on the oscillation of fractional partial differential equations has attracted many researchers. In [20,21,22,23], the researchers have established the requirements of the oscillation for certain kinds of fractional partial differential equations.

    In [24], Luo et al. studied the oscillatory behavior of the fractional partial differential equation of the form

    D1+α+,tu(y,t)+p(t)Dα+,tu(y,t)+q(y,t)t0(t)αu(y,)d=a(t)Δu(y,t)+mi=1ai(t)Δu(y,tτi),(y,t)Q×R+=H

    subject to either of the following boundary conditions

    u(y,t)ν+β(y,t)u(y,t)=0,(y,t)Q×R+,u(y,t)=0,(y,t)Q×R+.

    They have obtained some sufficient conditions for the oscillation of all solutions of this kind of fractional partial differential equations by using the integral averaging technique and Riccati transformations.

    On other hand in [25], Xu and Meng considered a fractional partial differential equation of the form

    Dα+,t(r(t)Dα+,tu(y,t))+p(t)Dα+,tu(y,t)+q(y,t)f(u(y,t))=a(t)Δu(y,t)+mi=1bi(t)Δu(y,tτi),(y,t)Q×R+=H

    with the Robin boundary condition

    u(y,t)N+g(y,t)u(y,t)=0,(y,t)Q×R+,

    they obtained some oscillation criteria using the integral averaging technique and Riccati transformations.

    Prakash et al. [26] considered the oscillation of the fractional differential equation

    t(r(t)Dα+,tu(y,t))+q(y,t)f(t0(tv)αu(y,v)dv)=a(t)Δu(y,t),(y,t)Q×R+

    with the Neumann boundary condition

    u(y,t)N=0,(y,t)Q×R+,

    they obtained some oscillation criteria by using the integral averaging technique and Riccati transformations.

    Furthermore in [27], Ma et al. considered the forced oscillation of the fractional partial differential equation with damping term of the form

    t(r(t)Dα+,tu(y,t))+p(t)Dα+,tu(y,t)+q(y,t)f(u(y,t))=a(t)Δu(y,t)+˜g(y,t),(y,t)Q×R+

    with the boundary condition

    u(y,t)N+β(y,t)u(y,t)=0,(y,t)Q×R+,

    they obtained some oscillation criteria by using the integral averaging technique.

    From the above mentioned literature, one can notice that the Riccati transformation method has been incorporated into the proof of the oscillation results. Unlike previous results, however, we study in this paper the forced oscillation of the fractional partial differential equation with the damping term of the form

    t(a(t)t(r(t)g(Dα+,tu(y,t))))+p(t)t(r(t)g(Dα+,tu(y,t)))=b(t)Δu(y,t)+mi=1ai(t)Δu(y,tτi)q(y,t)t0(t)αu(y,)d+f(y,t),(y,t)Q×R+=H (1.1)

    via the application of the integral averaging technique only. Equation (1.1) is presented under a high degree of generality providing a general platform for many particular cases. Here, Dα+,tu(y,t) is the Riemann-Liouville fractional partial derivative of order α of u,α(0,1), Δ is the Laplacian in Rn, i.e.,

    Δu(y,t)=nr=12u(y,t)y2r,

    Q is a bounded domain of Rn with the piecewise smooth boundary Q and R+:=(0,).

    Further, we assume the Robin and Dirichlet boundary conditions

    u(y,t)N+γ(y,t)u(y,t)=0,(y,t)Q×R+ (1.2)

    and

    u(y,t)=0,(y,t)Q×R+, (1.3)

    where N is the unit outward normal to Q and γ(y,t)>0 is a continuous function on Q×R+. The following conditions are assumed throughout:

    (H1) a(t)C1([t0,);R+) and r(t)C2([t0,);R+);

    (H2) g(t)C2(R;R) is an increasing function and there exists a positive constant k such that yg(y)=k>0, yg(y)0 for y0;

    (H3) p(t)C([t0,);R) and A(t)=tt0p(ζ)a(ζ)dζ;

    (H4) b(t),ai(t)C(R+;R+) and τi are non-negative constants, iIm={1,2,,m};

    (H5) q(y,t)C(H;R+) and q(t)=minyQq(y,t);

    (H6) f(y,t)C(ˉH;R).

    By a solution of the problems (1.1) and (1.2) (or (1.1)–(1.3)), we mean a function u(y,t)C2+α(ˉQ×[0,)), which satisfies (1.1) on H and the boundary condition (1.2) (or (1.3)).

    A solution u(y,t) of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is non-oscillatory.

    The rest of the paper is organized as follows. Some basic definitions and known lemmas are included in Section 2. In Sections 3 and 4, we study the oscillations of (1.1) and (1.2), and (1.1) and (1.3), respectively. Section 5 deals with some applications for the sake of showing the feasibility and effectiveness of our results. Lastly, we add a conclusion in Section 6.

    Before we start the main work, we present some basic lemmas and definitions which are applied in what follows.

    Definition 1. [4] The Riemann-Liouville fractional integral of order α>0 of a function y:R+R on the half-axis R+ is defined by

    (Iα+y)(t):=1Γ(α)t0(tϑ)α1y(ϑ)dϑ,t>0

    provided the right-hand side is pointwise defined on R+, where Γ is the gamma function.

    Definition 2. [4] The Riemann-Liouville fractional derivative of order α>0 of a function y:R+R on the half-axis R+ is defined by

    (Dα+y)(t):=dαdtα(Iαα+y)(t),t>0

    provided the right-hand side is pointwise defined on R+, where α is the ceiling function of α.

    Definition 3. [4] The Riemann-Liouville fractional partial derivative of order 0<α<1 with respect to t of a function u(y,t) is defined by

    (Dα+,tu)(y,t):=1Γ(1α)tt0(tϑ)αu(y,ϑ)dϑ

    provided the right-hand side is pointwise defined on R+.

    Lemma 1. [4] Let y be a solution of (1.1) and

    L(t):=t0(tϑ)αy(ϑ)dϑ

    for α(0,1) and t>0. Then

    L(t)=Γ(1α)(Dα+y)(t).

    Lemma 2. [4] Let α0,mN and D=ddt. If the fractional derivatives (Dαa+y)(t) and (Dα+ma+y)(t) exist, then

    (DmDαa+y)(t)=(Dα+ma+y)(t).

    Lemma 3. [4] If α(0,1), then

    (Iαa+Dαa+y)(t)=y(t)y1α(a)Γ(α)(ta)α1,

    where y1α(t)=(I1αa+y)(t).

    Lemma 4. [5] The smallest eigenvalue β0 of the Dirichlet problem

    Δω(y)+βω(y)=0 in Qω(y)=0 on Q

    is positive and the corresponding eigenfunction ϕ(y) is positive in Q.

    In this section, we establish the oscillation criteria for (1.1) and (1.2).

    Theorem 1. If (H1)(H6) are valid, limtI1α+U(0)=C0 and if

    lim inftt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d<0 (3.1)

    and

    lim suptt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d>0 (3.2)

    for some constants C0,C1 and C2 with F(t)=Qf(y,t)dy, then all solutions of (1.1) and (1.2) are oscillatory.

    Proof. If u(y,t) is a non-oscillatory solution of (1.1) and (1.2) then there exists a t00 such that u(y,t)>0 (or u(y,t)<0),tt0.

    Case 1. Let u(y,t)>0 for tt0. Integrating (1.1) over Q, we get

    ddt(a(t)ddt(r(t)g(Dα+U(t))))+p(t)ddt(r(t)g(Dα+U(t)))=b(t)QΔu(y,t)dy+mi=1ai(t)QΔu(y,tτi)dyQ(q(y,t)t0(t)αu(y,)d)dy+Qf(y,t)dy, (3.3)

    where U(t)=Qu(y,t)dy with U(t)>0. By (1.2) and Green's formula, we have

    QΔu(y,t)dy=QuNdζ=Qγ(y,t)u(y,t)dζ<0 (3.4)

    and

    QΔu(y,tτi)dy<0. (3.5)

    Also, by (H5), one can get

    Q(q(y,t)t0(t)αu(y,)d)dyq(t)t0(t)α(Qu(y,)dy)d=q(t)L(t), (3.6)

    where L(t)=t0(t)αU()d. Because of the inequalities (3.4)–(3.6), (3.3) becomes

    ddt(a(t)ddt(r(t)g(Dα+U(t))))+p(t)ddt(r(t)g(Dα+U(t)))q(t)L(t)+F(t)F(t).

    Thus, we get

    (eA(t)a(t)(r(t)g(Dα+U(t))))=eA(t)((a(t)(r(t)g(Dα+U(t))))+p(t)(r(t)g(Dα+U(t))))eA(t)F(t).

    Integrating the above inequality over [t0,t], one can get

    eA(t)a(t)(r(t)g(Dα+U(t)))tt0eA(ζ)F(ζ)dζ+C1,

    where

    C1=eA(t0)a(t0)(r(t0)g(Dα+U(t0))).

    Again integrating the above inequality over [t0,t], we get

    r(t)g(Dα+U(t))C2+tt0C1eA(τ)a(τ)dτ+tt01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ,

    where C2=r(t0)g(Dα+U(t0)). Then using (H5), we obtain

    Dα+U(t)kC2r(t)+1r(t)tt0C1eA(τ)a(τ)dτ+1r(t)tt01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ.

    Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain

    U(t)I1α0U(0)Γ(α)tα1kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d.

    Then

    lim inftU(t)lim inftC0Γ(α)tα1+lim inft{kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d}.

    Therefore, by our hypothesis, as given by (3.1), we get lim inftU(t)0. This leads to a contradiction to U(t)>0.

    Case 2. Let u(y,t)<0 for tt0. Just as in Case 1, we can obtain that (3.3) holds and U(t)<0. By (1.2) and Green's formula, we get

    QΔu(y,t)dy=QuNdζ=Qγ(y,t)u(y,t)dζ>0 (3.7)

    and

    QΔu(y,tτi)dy>0. (3.8)

    Also, by (H5), we have

    Q(q(y,t)t0(t)αu(y,)d)dyq(t)t0(t)α(Qu(y,)dy)d=q(t)L(t). (3.9)

    Because of the inequalities (3.7)–(3.9), (3.3) becomes

    ddt(a(t)ddt(r(t)g(Dα+U(t))))+p(t)ddt(r(t)g(Dα+U(t)))q(t)L(t)+F(t)F(t), (3.10)

    that is,

    (eA(t)a(t)(r(t)g(Dα+U(t))))=eA(t)((a(t)(r(t)g(Dα+U(t))))+p(t)(r(t)g(Dα+U(t))))eA(t)F(t).

    Integrating the above inequality over [t0,t], we have

    eA(t)a(t)(r(t)g(Dα+U(t)))tt0eA(ζ)F(ζ)dζ+C1,

    where

    C1=eA(t0)a(t0)(r(t0)g(Dα+U(t0))).

    Again integrating the above inequality over [t0,t], we obtain

    r(t)g(Dα+U(t))C2+tt0C1eA(τ)a(τ)dτ+tt01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ,

    where C2=r(t0)g(Dα+U(t0)). Then using (H5), we obtain

    Dα+U(t)kC2r(t)+1r(t)tt0C1eA(τ)a(τ)dτ+1r(t)tt01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ.

    Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain

    U(t)I1α0U(0)Γ(α)tα1kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d.

    Then

    lim suptU(t)lim suptC0Γ(α)tα1+lim supt{kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d}.

    Therefore, by our hypothesis given by (3.2), we get lim suptU(t)0. This leads to a contradiction to U(t)<0.

    In this section, we establish the oscillation criteria for (1.1) and (1.3).

    Theorem 2. If (H1)(H5) are valid, limtI1α+U1(0)=A1 and if

    lim inftt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ]d<0 (4.1)

    and

    lim suptt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ]d>0 (4.2)

    for some constants A1,C1 and C2 with

    F1(t)=Qf(y,t)ϕ(y)dyandU1(t)=Qu(y,t)ϕ(y)dy,

    then all solutions of (1.1) and (1.3) are oscillatory.

    Proof. If u(y,t) is a non-oscillatory solution of (1.1) and (1.3) then there exists a t00 such that u(y,t)>0 (or u(y,t)<0) for tt0.

    Case 1. Let u(y,t)>0 for tt0. Multiplying (1.1) by ϕ(y) and then integrating over Q, we get

    Qt(a(t)t(r(t)g(Dα+,tu(y,t))))ϕ(y)dy+Qp(t)t(r(t)g(Dα+,tu(y,t)))ϕ(y)dy=Qb(t)Δu(y,t)ϕ(y)dy+Qmi=1ai(t)Δu(y,tτi)ϕ(y)dyQ(q(y,t)t0(t)αu(y,)d)ϕ(y)dy+Qf(y,t)ϕ(y)dy. (4.3)

    By Lemma 4 and Green's formula, we have

    QΔu(y,t)ϕ(y)dy=Qu(y,t)Δϕ(y)dy=β0Qu(y,t)ϕ(y)dy<0 (4.4)

    and

    QΔu(y,tτi)ϕ(y)dy<0. (4.5)

    Also, by (H5), we get

    Q(q(y,t)t0(t)αu(y,)ϕ(y)d)dyq(t)t0(t)α(Qu(y,)ϕ(y)dy)d=q(t)L1(t), (4.6)

    where

    L1(t)=t0(t)αU1()d>0.

    Because of the inequalities (4.4)–(4.6), (4.3) becomes

    ddt(a(t)ddt(r(t)g(Dα+U1(t))))+p(t)ddt(r(t)g(Dα+U1(t)))q(t)L1(t)+F1(t)F1(t),

    that is,

    (eA(t)a(t)(r(t)g(Dα+U1(t))))=eA(t)[(a(t)(r(t)g(Dα+U1(t))))+p(t)(r(t)g(Dα+U1(t)))]eA(t)F1(t).

    Integrating the above inequality over [t0,t], we have

    eA(t)a(t)(r(t)g(Dα+U1(t)))tt0eA(ζ)F1(ζ)dζ+C1,

    where

    C1=eA(t0)a(t0)(r(t0)g(Dα+U1(t0))).

    Again integrating the above inequality over [t0,t], we have

    r(t)g(Dα+U1(t))C2+tt0C1eA(τ)a(τ)dτ+tt01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ,

    where C2=r(t0)g(Dα+U1(t0)). Then using (H5), we obtain

    Dα+U1(t)kC2r(t)+1r(t)tt0C1eA(τ)a(τ)dτ+1r(t)tt01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ.

    Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain

    U1(t)I1α0U1(0)Γ(α)tα1kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ]d.

    Then

    lim inftU1(t)lim inftA1Γ(α)tα1+lim inft{kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ]d}.

    Therefore, by our hypothesis given by (4.1), we get lim inftU1(t)0. This leads to a contradiction to U1(t)>0.

    Case 2. Let u(y,t)<0 for tt0. Multiplying (1.1) by ϕ(y) and then integrating over Q, one can get (4.3). Using Green's formula, we have

    QΔu(y,t)ϕ(y)dy=Qu(y,t)Δϕ(y)dy=β0Qu(y,t)ϕ(y)dy>0 (4.7)

    and

    QΔu(y,tτi)ϕ(y)dy>0. (4.8)

    Also, by (H5), we have

    Q(q(y,t)t0(t)αu(y,)d)ϕ(y)dyq(t)t0(t)α(Qu(y,)ϕ(y)dy)d=q(t)L1(t), (4.9)

    where

    L1(t)=t0(t)αU1()d<0.

    Because of the inequalities (4.7)–(4.9), (4.3) becomes

    ddt(a(t)ddt(r(t)g(Dα+U1(t))))+p(t)ddt(r(t)g(Dα+U1(t)))q(t)L1(t)+F1(t)F1(t), (4.10)

    that is,

    (eA(t)a(t)(r(t)g(Dα+U1(t))))=eA(t)((a(t)(r(t)g(Dα+U1(t))))+p(t)(r(t)g(Dα+U1(t))))eA(t)F1(t).

    Integrating the above inequality over [t0,t], we get

    eA(t)a(t)(r(t)g(Dα+U1(t)))tt0eA(ζ)F1(ζ)dζ+C1,

    where

    C1=eA(t0)a(t0)(r(t0)g(Dα+U1(t0))).

    Again integrating the above inequality over [t0,t], we get

    r(t)g(Dα+U1(t))C2+tt0C1eA(τ)a(τ)dτ+tt01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ,

    where C2=r(t0)g(Dα+U1(t0)). Then using (H5), we obtain

    Dα+U1(t)kC2r(t)+1r(t)tt0C1eA(τ)a(τ)dτ+1r(t)tt01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ.

    Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain

    U1(t)I1α0U1(0)Γ(α)tα1kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ]d.

    Then

    lim suptU1(t)lim suptA1Γ(α)tα1+lim supt{kΓ(α)t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F1(ζ)dζ)dτ]d}.

    Therefore, by our hypothesis given by (4.2), we get lim suptU1(t)0. This leads to a contradiction to U1(t)<0.

    In this section, we give two examples to illustrate our main results.

    Example 1. Let us consider the fractional partial differential system

    D52+,tu(y,t)=1πΔu(y,t)+2tΔu(y,t1)(y2+1t2)t0(t)12u(y,)d+e2tcos(t)sin(y),(y,t)(0,π)×R+ (5.1)

    with the condition

    uy(0,t)=uy(π,t)=0. (5.2)

    In the above, a(t)=1,r(t)=1,g(t)=t,α=1/2,p(t)=0,b(t)=1/π,m=1,a1(t)=2t,τ1=1, q(y,t)=(y2+1t2),f(y,t)=e2tcos(t)sin(y),Q=(0,π),q(t)=miny(0,π)q(y,t)=1/t2 and t0=0.

    Since F(t)=π0e2tcos(t)sin(y)dy=2e2tcos(t) and A(t)=0, we have

    t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=C2t0(t)1/2d+C1t0(t)1/2(0dτ)d+25t0(t)1/2(20e2τcos(τ)dτ+0e2τsin(τ)dτ20dτ)d=(C26/25)t0(t)1/2d+(C14/5)t0(t)1/2d+6/25t0e2(t)1/2cos()d+8/25t0e2(t)1/2sin()d.

    Fixing y2=t, then

    t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=2(C26/25)t+4/3(C14/5)t3/2+4/25e2t(3cos(t)t0e2y2cos(y2)dy+3sin(t)t0e2y2sin(y2)dy+4sin(t)t0e2y2cos(y2)dy4cos(t)t0e2y2sin(y2)dy). (5.3)

    Pointing out that

    |e2y2cos(y2)|e2y2,|e2y2sin(y2)|e2y2 and limtt0e2y2dy=2π4,

    we can conclude that

    limtt0e2y2cos(y2)dy and limtt0e2y2sin(y2)dy

    are convergent. Thus, we have that

    limt[cos(t)(3t0e2y2cos(y2)dy4t0e2y2sin(y2)dy)+sint(3t0e2y2sin(y2)dy+4t0e2y2cos(y2)dy)]

    is convergent. Fixing

    limtt0e2y2cos(y2)dy=P,limtt0e2y2sin(y2)dy=Q

    and considering the sequence

    tn=3π2+2nπarctan(3P4Q3Q+4P),

    we get

    limn{cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)}=(3P4Q)2+(3Q+4P)2sin(3π2+2nπarctan(3P4Q3Q+4P)+arctan(3P4Q3Q+4P))=5P2+Q2sin(3π2+2nπ)=5P2+Q2.

    Since limntn=, from (5.3), we have

    lim inftt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=lim infn{2(C26/25)tn+4/3(e1C14/5)t3/2n+4/25e2tn[cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)]}=<0.

    Similarly, fixing

    tn=π2+2nπarctan(3P4Q3Q+4P),

    we get

    limn[cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)]=5P2+Q2.

    Thus, from (5.3), we can get

    lim suptt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=lim supn{2(C26/25)tn+4/3(e1C14/5)t3/2n+4/25e2tn[cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)]}=>0.

    Therefore, by referring to Theorem 1, the solutions of (5.1) and (5.2) are oscillatory.

    Example 2. Let us consider the fractional partial differential system

    11875πD52+,tu(y,t)=1105t52Δu(y,t)+(1675×102πt316e2tcos(t)5πt3)t0(t)12u(y,)d+e2tcos(t)cos(10y),(y,t)(0,π)×(0,1.5) (5.4)

    with the condition

    u(0,t)=u(π,t)=0. (5.5)

    In the above, a(t)=1, r(t)=11875π, g(t)=t, α=1/2, p(t)=0, b(t)=12×105t52, m=1, a1(t)=12×105t52, τ1=0, q(y,t)= 1675×102πt3+16e2tcos(t)5πt3,f(y,t)= e2tcos(t)sin(y),Q=(0,π),q(t)=miny(0,π)q(y,t)= 1675×102πt3+16e2tcos(t)5πt3 and t0=0. It is obvious that β0=1 and ϕ(y)=sin(y). Since F1(t)=π0e2tcos(t)cos(10y)sin(y)dy= 299e2tcos(t) and A(t)=0, we have

    t0(t)α1r()(C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ)d=3750π99t0(t)α1(t0(τt0e2ζcos(ζ)dζ)dτ)d=50π11t0(t)1/2d+500π33t0(t)1/2d50π33[3t0e2(t)1/2cos()d+4t0e2(t)1/2sin()d].

    Fixing y2=t, then

    t0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=102πt11+2×10399t3/2102π33e2t{3cos(t)t0e2y2cos(y2)dy+3sin(t)t0e2y2sin(y2)dy+4sin(t)t0e2y2cos(y2)dy4cos(t)t0e2y2sin(y2)dy}. (5.6)

    Pointing out that

    |e2y2cos(y2)|e2y2,|e2y2sin(y2)|e2y2 and limtt0e2y2dy=2π4,

    we can conclude that

    limtt0e2y2cos(y2)dy and limtt0e2y2sin(y2)dy

    are convergent. Thus, we have that

    limt[cos(t)(3t0e2y2cos(y2)dy4t0e2y2sin(y2)dy)+sint(3t0e2y2sin(y2)dy+4t0e2y2cos(y2)dy)]

    is convergent. Fixing

    limtt0e2y2cos(y2)dy=P and limtt0e2y2sin(y2)dy=Q

    and considering the sequence

    tn=3π2+2nπarctan(3P4Q3Q+4P),

    we get

    limn{cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)}=(3P4Q)2+(3Q+4P)2sin(3π2+2nπarctan(3P4Q3Q+4P)+arctan(3P4Q3Q+4P))=5P2+Q2sin(3π2+2nπ)=5P2+Q2.

    Since limntn=, from (5.6), we have

    lim suptt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=lim supn{102πtn11tn+2×10399t3/2n102π33e2tn[cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)]}=>0.

    Similarly, fixing

    tn=π2+2nπarctan(3P4Q3Q+4P),

    we get

    limn{cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)}=5P2+Q2.

    Thus, from (5.6), we get

    lim inftt0(t)α1r()[C2+t0C1eA(τ)a(τ)dτ+t01eA(τ)a(τ)(τt0eA(ζ)F(ζ)dζ)dτ]d=lim infn{102πtn11tn+2×10399t3/2n102π33e2tn[cos(tn)(3tn0e2y2cos(y2)dy4tn0e2y2sin(y2)dy)+sin(tn)(3tn0e2y2sin(y2)dy+4tn0e2y2cos(y2)dy)]}=<0.

    Therefore, by referring to Theorem 2, the solutions of (5.4) and (5.5) are oscillatory. In fact, u(y,t)=t5/2cos(10y) is a solution of (5.4) and (5.5) and its oscillatory behavior is demonstrated in Figure 1.

    Figure 1.  Oscillatory behavior of u(y,t)=t5/2cos(10y).

    In this paper, we have obtained some new oscillation results for the fractional partial differential equation with damping and forcing terms under Robin and Dirichlet boundary conditions. The main results are proved by using only the integral averaging technique and without implementing the Riccati approach. Further, the obtained results are justified by some examples which can not be commented upon by using the previous results. Our results have been obtained for the general equation which may cover other particular cases.

    A. Palanisamy was supported by the University Grants Commission (UGC-Ref. No.: 958/(CSIR-UGC NET JUNE 2018)), New Delhi, India and the third author was partially supported by the DST-FIST Scheme (Grant No. SR/FST/MST-115/2016), New Delhi, India. J. Alzabut is thankful to Prince Sultan University and Ostim Technical University for their endless support. The authors are grateful to the reviewers for their precious help in improving this manuscript.

    The authors declare that they have no conflicts of interest.



    [1] S. Banach, Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales, Fund. Math., 3 (1922), 133–181.
    [2] L. Huang, X. Zhang, Cone metric spaces and fixed point theorems of contractive mappings, J. Math. Anal. Appl., 332 (2007), 1468–1476. https://doi.org/10.1016/j.jmaa.2005.03.087 doi: 10.1016/j.jmaa.2005.03.087
    [3] L. Cirić, H. Lakzian, V. Rakočević, Fixed point theorems for w-cone distance contraction mappings in tvs-cone metric spaces, Fixed Point Theory Appl., 2012 (2012), 3. https://doi.org/10.1186/1687-1812-2012-3 doi: 10.1186/1687-1812-2012-3
    [4] W. S. Du, A note on cone metric fixed point theory and its equivalence, Nonlinear Anal., 72 (2010), 2259–2261. https://doi.org/10.1016/j.na.2009.10.026 doi: 10.1016/j.na.2009.10.026
    [5] S. Janković, Z. Kadelburg, S. Radenović, On cone metric spaces: a survey, Nonlinear Anal., 74 (2011), 2591–2601. https://doi.org/10.1016/j.na.2010.12.014 doi: 10.1016/j.na.2010.12.014
    [6] H. A. Hammad, H. Aydi, C. Park, Fixed point approach for solving a system of Volterra integral equations and Lebesgue integral concept in FCM-spaces, AIMS Math., 7 (2021), 9003–9022. https://doi.org/10.3934/math.2022501 doi: 10.3934/math.2022501
    [7] H. A. Hammad, M. De la Sen, Application to Lipschitzian and integral systems via a quadruple coincidence point in fuzzy metric spaces, Mathematics, 10 (2022), 1905. https://doi.org/10.21203/rs.3.rs-976766/v1 doi: 10.21203/rs.3.rs-976766/v1
    [8] A. A. Rawashdeh, W. Shatanawi, M. Khandaqji, N. Shahzad, Normed ordered and Ξ-metric spaces, Int. J. Math. Math. Sci., 2012 (2012), 272137. https://doi.org/10.1155/2012/272137 doi: 10.1155/2012/272137
    [9] C. Cevik, I. Altun, Vector metric spaces and some properties, Topol. Meth. Nonlinear Anal., 34 (2009), 375–382.
    [10] R. Cristescu, Order structures in normed vector spaces, Editura Ştiinţifică Enciclopedică, 1983.
    [11] J. Matkowski, Integrable solutions of functional equations, Warszawa: Instytut Matematyczny Polskiej Akademi Nauk, 1975.
    [12] R. Wegrzyk, Fixed point theorems for multifunctions and their applications to functional equations, Diss. Math., 201 (1982), 1–28.
    [13] Z. Pales, I. R. Petre, Iterative fixed point theorems in Ξ-metric spaces, Acta. Math. Hungarica, 140 (2013), 134–144.
    [14] R. Wang, B. Jiang, H. Huang, Fixed point theorem for Hardy-Rogers type contraction mapping in Ξ-metric spaces, Acta. Anal. Funct. Appl., 21 (2019), 362–368.
    [15] L. Cirić, A generalization of Banach's contraction principle, Proc. Amer. Math. Soc., 45 (1974), 267–273. https://doi.org/10.2307/2040075 doi: 10.2307/2040075
    [16] A. Basile, M. Graziano, M. Papadaki, I. Polyrakis, Cones with semi-interior points and equilibrium, J. Math. Econ., 71 (2017), 36–48. https://doi.org/10.1016/j.jmateco.2017.03.002 doi: 10.1016/j.jmateco.2017.03.002
    [17] N. Mehmood, A. A. Rawashdeh, S. Radenović, New fixed point results for Ξ-metric spaces, Positivity, 23 (2019), 1101–1111.
    [18] H. Huang, Topological properties of Ξ-metric spaces withapplications to fixed point theory, Mathematics, 7 (2019), 1222. https://doi.org/10.3390/math7121222 doi: 10.3390/math7121222
    [19] R. A. Rashwan, H. A. Hammad, M. G. Mahmoud, Common fixed point results for weakly compatible mappings under implicit relations in complex valued g-metric spaces, Inf. Sci. Lett., 8 (2019), 111–119. http://dx.doi.org/10.18576/isl/080305 doi: 10.18576/isl/080305
    [20] B. Vetro, P. Vetro, Fixed point theorems for η- contractive type mappings, Nonlinear Anal., 75 (2011), 2154–2165.
    [21] H. A. Hammad, H. Aydi, M. De la Sen, Analytical solution for differential and nonlinear integral equations via Fϖe-Suzuki contractions in modified ϖe-metric-like spaces, J. Func. Spaces, 2021 (2021), 6128586. https://doi.org/10.1155/2021/6128586 doi: 10.1155/2021/6128586
    [22] M. A. Alghmandi, N. Hussain, P. Salimi, Fixed point and coupled fixed point theorems on b-metric-like spaces, J. Inequal. Appl., 2013 (2013), 402. https://doi.org/10.1186/1029-242X-2013-402 doi: 10.1186/1029-242X-2013-402
    [23] N. Hussain, J. R. Roshan, V. Parvaneh, Z. Kadelburg, Fixed points of contractive mappings in b-metric-like spaces, Sci. World J., 2014 (2014), 471827. https://doi.org/10.1155/2014/471827 doi: 10.1155/2014/471827
    [24] H. Aydi, A. Felhi, S. Sahmim, Common fixed points via implicit contractions on b-metric-like spaces, J. Nonlinear Sci. Appl., 10 (2017), 1524–1537. https://doi.org/10.22436/jnsa.010.04.20 doi: 10.22436/jnsa.010.04.20
    [25] H. K. Nashine, Z. Kadelburg, Existence of solutions of cantilever beam problem via α-β-FG-contractions in b-metric-like spaces, Filomat, 31 (2017), 3057–3074. https://doi.org/10.2298/FIL1711057N doi: 10.2298/FIL1711057N
    [26] H. A. Hammad, M. De la Sen, Generalized contractive mappings and related results in b-metric-like spaces with an application, Symmetry, 11 (2019), 667. https://doi.org/10.3390/sym11050667 doi: 10.3390/sym11050667
    [27] H. A. Hammad, M. D. la Sen, Fixed-point results for a generalized almost (s,q)-Jaggi F-contraction-type on b-metric-like spaces, Mathematics, 8 (2020), 63. https://doi.org/10.3390/math8010063 doi: 10.3390/math8010063
    [28] M. Aslantaş, H. Sahin, U. Sadullah, Some generalizations for mixed multivalued mappings, Appl. General Topol., 23 (2022), 169–178. https://doi.org/10.4995/agt.2022.15214 doi: 10.4995/agt.2022.15214
    [29] M. Aslantas, H. Sahin, D. Turkoglu, Some Caristi type fixed point theorems, J. Anal., 29 (2021), 89–103. https://doi.org/10.1007/s41478-020-00248-8 doi: 10.1007/s41478-020-00248-8
    [30] J. R. Roshan, V. Parvaneh, S. Sedghi, N. Shobkolaei, W. Shatanawi, Common fixed points of almost generalized (ψ,φ)s- contractive mappings in ordered b-metric spaces, Fixed Point Theory Appl., 2013 (2013), 159. https://doi.org/10.1186/1687-1812-2013-159 doi: 10.1186/1687-1812-2013-159
  • This article has been cited by:

    1. Jehad Alzabut, Said R. Grace, Jagan Mohan Jonnalagadda, Shyam Sundar Santra, Bahaaeldin Abdalla, Higher-Order Nabla Difference Equations of Arbitrary Order with Forcing, Positive and Negative Terms: Non-Oscillatory Solutions, 2023, 12, 2075-1680, 325, 10.3390/axioms12040325
    2. Abdullah Özbekler, Kübra Uslu İşler, Jehad Alzabut, Sturmian comparison theorem for hyperbolic equations on a rectangular prism, 2024, 9, 2473-6988, 4805, 10.3934/math.2024232
    3. Hasib Khan, Jehad Alzabut, J.F. Gómez-Aguilar, Praveen Agarwal, Piecewise mABC fractional derivative with an application, 2023, 8, 2473-6988, 24345, 10.3934/math.20231241
    4. Jehad Alzabut, Said R. Grace, Shyam Sundar Santra, Mohammad Esmael Samei, Oscillation Criteria for Even-Order Nonlinear Dynamic Equations with Sublinear and Superlinear Neutral Terms on Time Scales, 2024, 23, 1575-5460, 10.1007/s12346-024-00961-w
    5. Osama Moaaz, Asma Al-Jaser, Functional differential equations of the neutral type: Oscillatory features of solutions, 2024, 9, 2473-6988, 16544, 10.3934/math.2024802
    6. S. Sangeetha, S. K. Thamilvanan, S. S. Santra, S. Noeiaghdam, M. Abdollahzadeh, Property ˉA of third-order noncanonical functional differential equations with positive and negative terms, 2023, 8, 2473-6988, 14167, 10.3934/math.2023724
  • 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(2023) PDF downloads(202) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog