Loading [MathJax]/jax/output/SVG/jax.js
Research article

Strong convergence to fixed points of an evolution subfamily

  • Received: 06 February 2023 Revised: 27 April 2023 Accepted: 03 May 2023 Published: 21 June 2023
  • MSC : 34A08, 47H10, 54H25

  • In this manuscript, we give strong convergence results for a fixed point of a subfamily of an evolution family on a convex and closed subset D of a Banach space B. An example is also provided which shows the applications of evolution families and our main results. At the end, an open problem is given.

    Citation: Gul Rahmat, Tariq Shah, Muhammad Sarwar, Saber Mansour, Hassen Aydi. Strong convergence to fixed points of an evolution subfamily[J]. AIMS Mathematics, 2023, 8(9): 20380-20394. doi: 10.3934/math.20231039

    Related Papers:

    [1] Buthinah A. Bin Dehaish, Rawan K. Alharbi . On fixed point results for some generalized nonexpansive mappings. AIMS Mathematics, 2023, 8(3): 5763-5778. doi: 10.3934/math.2023290
    [2] Sani Salisu, Vasile Berinde, Songpon Sriwongsa, Poom Kumam . Approximating fixed points of demicontractive mappings in metric spaces by geodesic averaged perturbation techniques. AIMS Mathematics, 2023, 8(12): 28582-28600. doi: 10.3934/math.20231463
    [3] Mohd Jubair, Faizan Ahmad Khan, Javid Ali, Yeşim Saraç . Estimating fixed points of non-expansive mappings with an application. AIMS Mathematics, 2021, 6(9): 9590-9601. doi: 10.3934/math.2021558
    [4] Noor Muhammad, Ali Asghar, Samina Irum, Ali Akgül, E. M. Khalil, Mustafa Inc . Approximation of fixed point of generalized non-expansive mapping via new faster iterative scheme in metric domain. AIMS Mathematics, 2023, 8(2): 2856-2870. doi: 10.3934/math.2023149
    [5] Lu-Chuan Ceng, Yeong-Cheng Liou, Tzu-Chien Yin . On Mann-type accelerated projection methods for pseudomonotone variational inequalities and common fixed points in Banach spaces. AIMS Mathematics, 2023, 8(9): 21138-21160. doi: 10.3934/math.20231077
    [6] Yasir Arfat, Supak Phiangsungnoen, Poom Kumam, Muhammad Aqeel Ahmad Khan, Jamshad Ahmad . Some variant of Tseng splitting method with accelerated Visco-Cesaro means for monotone inclusion problems. AIMS Mathematics, 2023, 8(10): 24590-24608. doi: 10.3934/math.20231254
    [7] Godwin Amechi Okeke, Akanimo Victor Udo, Rubayyi T. Alqahtani, Nadiyah Hussain Alharthi . A faster iterative scheme for solving nonlinear fractional differential equations of the Caputo type. AIMS Mathematics, 2023, 8(12): 28488-28516. doi: 10.3934/math.20231458
    [8] Junaid Ahmad, Kifayat Ullah, Reny George . Numerical algorithms for solutions of nonlinear problems in some distance spaces. AIMS Mathematics, 2023, 8(4): 8460-8477. doi: 10.3934/math.2023426
    [9] Junaid Ahmad, Imen Ali Kallel, Ahmad Aloqaily, Nabil Mlaiki . On multi-valued generalized $ \alpha $-nonexpansive mappings and an application to two-point BVPs. AIMS Mathematics, 2025, 10(1): 403-419. doi: 10.3934/math.2025019
    [10] Shahram Rezapour, Maryam Iqbal, Afshan Batool, Sina Etemad, Thongchai Botmart . A new modified iterative scheme for finding common fixed points in Banach spaces: application in variational inequality problems. AIMS Mathematics, 2023, 8(3): 5980-5997. doi: 10.3934/math.2023301
  • In this manuscript, we give strong convergence results for a fixed point of a subfamily of an evolution family on a convex and closed subset D of a Banach space B. An example is also provided which shows the applications of evolution families and our main results. At the end, an open problem is given.



    In this manuscript we discuss the existence of multiple non-negative solutions of the boundary value problem (BVP)

    {(p(t)u(t))+f(t,u(t))=0, t0,αu(0)βu(0)=H[u], u(+)=0, (1.1)

    where p,f are continuous functions on their domains with p>0, α>0, β0 and R>0 exists such that f(t,v)0 for (t,v)[0,R]×[0,). Further, H is a suitable functional on the space C[0,R]. No sign condition is assumed on f for t>R.

    The functional formulation of the boundary conditions (BCs) in (1.1) covers, as special cases, the interesting setting of (not necessarily linear) multi-point and integral BCs. A wide literature has been devoted on this topic; for the case of the bounded intervals we refer the reader to the recent paper [11] and references therein. Nonlocal BCs have also received attention in the case of unbounded intervals, one example is the paper [22] where the case β=0 and H[u]=u(ξ) (ξ(0,R]) has been investigated by means of a fixed point theorem of Leggett–Williams type. The case β=0 and H[u]=m2i=1ηiu(ξi) (ξi(0,R]) has been studied, for instance, in [16] for a differential equation with a different linear part in (1.1), by means of the well-known Krasnosel'skiĭ-Guo theorem on cone-compressions and cone-expansions. The approach in [16,22] is to rewrite the BVP into an integral equation of Hammerstein type on the half-line, and this approach is possible due to the linearity of the BCs considered. Our methodology to solve the BVP (1.1) is different, and fits within the line of the papers [7,8,10,20,21]. It consists in considering two auxiliary BVPs separately, the first one on the compact interval [0,R], where the functional BC acts and f is nonnegative, and the second one on the half-line [R,), where f is allowed to change its sign. Unlike the above cited articles, in which the problem of gluing the solutions is solved with some continuity arguments and an analysis in the phase space, here both the auxiliary problems have the same slope condition in the junction point (namely the condition u(R)=0), which simplifies the arguments. This kind of decomposition is some sort of an analogue of one employed by Boucherif and Precup [2] utilized for equations with nonlocal initial conditions, where the associated nonlinear integral operator is decomposed into two parts, one of Fredholm-type (that takes into account the functional conditions) and another one of Volterra-type.

    We make the following assumptions on the terms that occur in (1.1).

    p:[0,+)(0,+) is continuous, with

    P=+R1p(t)dt<+. (1.2)

    f:[0,+)×[0,+)R is continuous, with f(t,v)0 for (t,v)[0,R]×[0,+), f(t,0)=0 for t0.

    ● There exist two continuous functions b1,b2:[R,+)R, with b20, and two nondecreasing C1-functions F1,F2:[0,+)[0,+), with Fj(0)=0, Fj(v)>0 for v>0, j=1,2, such that

    b1(t)F1(v)f(t,v)b2(t)F2(v),for all (t,v)[R,+)×[0,+). (1.3)

    ● For j=1,2

    lim supv0+Fj(v)v<+. (1.4)

    ● Let b1,b+1 be the negative and the positive part of b1, i.e. b1(t)=max{0,b1(t)}, b+1(t)=max{0,b1(t)}. Then

    B1=+Rb1(t)dt<+, (1.5)
    +R1p(t)tRb+1(s)dsdt=+. (1.6)

    Notice that (1.2), (1.6) imply

    Rb+1(t)dt=+,

    and, in particular, the function b1 cannot be negative in a neighbourhood of infinity.

    If (1.6) is not satisfied, then (1.1) may have no solution, since it may happen that no positive solution of the equation in (1.1), satisfying the functional boundary conditions, tends to zero as t tends to infinity. This happens, for instance, if f(t,u)0 for all (t,u)[R,+)×R (i.e., b+1=b2=0) and u(R)0, in which case all positive solutions are nondecreasing. However, as we will show in Section 3 (see also Theorem 4.1), when the condition (1.6) is not satisfied, then our approach leads to sufficient conditions for the existence of a bounded non-negative solution of the differential equation in (1.1), namely a solution of the problem

    {(p(t)u(t))+f(t,u(t))=0, t0,αu(0)βu(0)=H[u], u0 and bounded on [0,+). (1.7)

    The problem of the existence and multiplicity of the solutions for the equation in (1.1), which are non-negative in the interval [0,R] and satisfy the functional BCs and the additional assumptions at u(R)=0, is considered in Section 2 and is solved by means of the classical fixed point index for compact maps. A BVP on [R,+) is examined in Section 3, where we deal with the existence of positive global solutions which have zero initial slope and are bounded or tend to zero at infinity. This second problem is solved by using a fixed point theorem for operators defined in a Frechét space, by a Schauder's linearization device, see [5,Theorem 1.3], and does not require the explicit form of the fixed point operator, but only some a-priori bounds. These estimates are obtained using some properties of principal and nonprincipal solutions of auxiliary second-order linear equations, see [15,Chapter 11] and [9]. Finally, the existence and multiplicity of solutions for the BVP (1.1) and (1.7) is obtained in Section 4, thanks to the fact that the problem in [R,+) has at least a solution for every initial value u(R) sufficiently small. A couple of examples completes the paper, illustrating our two main results.

    In this Section we investigate the existence of multiple positive solutions of the BVP

    {(p(t)u(t))+f(t,u(t))=0, t[0,R],αu(0)βu(0)=H[u], u(R)=0. (2.1)

    First of all we recall some results regarding the linear BVP

    {(p(t)u(t))=0,t[0,R],αu(0)βu(0)=0, u(R)=0. (2.2)

    It is known, see for example [19], that the Green's function k for the BVP (2.2) is given by

    k(t,s):=1α{βp(0)+αs01p(μ)dμ,st,βp(0)+αt01p(μ)dμ, st.

    and satisfies the inequality (see [19,Lemma 2.1])

    c(t)Φ(s)k(t,s)Φ(s), (t,s)[0,R]2,

    where

    Φ(s):=βαp(0)+s01p(μ)dμ, and c(t):=βp(0)+αt01p(μ)dμβp(0)+αR01p(μ)dμ. (2.3)

    Note that the constant function 1α solves the BVP

    {(p(t)u(t))=0,t[0,R],αu(0)βu(0)=1, u(R)=0.

    We associate to the BVP (2.1) the perturbed Hammerstein integral equation

    u(t)=Fu(t)+H[u]α:=Tu(t), (2.4)

    where

    Fu(t):=R0k(t,s)f(s,u(s))ds.

    We seek fixed points of the operator T in a suitable cone of the space of continuous functions C[0,R], endowed with the usual norm w:=max{|w(t)|,t[0,R]}.

    We recall that a cone K in a Banach space X is a closed convex set such that λxK for xK and λ0 and K(K)={0}. In the following Proposition we recall the main properties of the classical fixed point index for compact maps, for more details see [1,12]. In what follows the closure and the boundary of subsets of a cone K are understood to be relative to K.

    Proposition 2.1. Let X be a real Banach space and let KX be a cone. Let D be an open bounded set of X with 0DK and ¯DKK, where DK=DK. Assume that T:¯DKK is a compact operator such that xTx for xDK. Then the fixed point index iK(T,DK) has the following properties:

    (i) If there exists eK{0} such that xTx+λe for all xDK and all λ>0, then iK(T,DK)=0.

    (iii) If Txλx for all xDK and all λ>1, then iK(T,DK)=1.

    (iv) Let D1 be open bounded in X such that ¯D1KDK. If iK(T,DK)=1 and iK(T,D1K)=0, then T has a fixed point in DK¯D1K. The same holds if iK(T,DK)=0 and iK(T,D1K)=1.

    The assumptions above allow us to work in the cone

    K:={uC[0,R]:u0,mint[a,b]u(t)cu}, (2.5)

    a type of cone firstly used by Krasnosel'skiĭ, see [17], and D. Guo, see e.g. [12]. In (2.5) [a,b] is a suitable subinterval of [0,R] and c:=mint[a,b]c(t), with c(t) given by (2.3). We have freedom of choice of [a,b], with the restriction a>0 when β=0. Note also that the constant function equal to r0 (that we denote, with abuse of notation r) belongs to K, so K{0}.

    Regarding the functional H we assume that

    H:K[0,+) is continuous and maps bounded sets in bounded sets.

    With these ingredients it is routine to show that T leaves K invariant and is compact. We make use of the following open bounded set (relative to K)

    Kρ:={uK:u<ρ}.

    We now employ some local upper and lower estimates for the functional H, in the spirit of [13,14]. We begin with a condition which implies that the index is 1.

    Lemma 2.2. Assume that

    (I1ρ) there exists ρ>0, such that the following algebraic inequality holds:

    1m¯fρ+1α¯Hρ<ρ, (2.6)

    where

    ¯fρ:=max(t,u)[0,R]×[0,ρ]f(t,u), ¯Hρ:=supuKρH[u]  and 1m:=supt[0,R]R0k(t,s)ds.

    Then iK(T,Kρ) is 1.

    Proof. Note that if uKρ then we have 0u(t)ρ for every t[0,R]. We prove that μuTu for every μ1 and uKρ. In fact, if this does not happen, there exist μ1 and uKρ such that, for every t[0,R], we have

    μu(t)=Tu(t)=Fu(t)+1αH[u].

    Then we obtain, for t[0,R],

    μu(t)R0k(t,s)¯fρds+1α¯Hρ1m¯fρ+1α¯Hρ. (2.7)

    Taking the supremum for t[0,R] in (2.7) and using the inequality (2.6) we obtain μρ<ρ, a contradiction that proves the result.

    Now we give a condition which implies that the index is 0 on the set Kρ.

    Lemma 2.3. Assume that

    (I0ρ) there exists ρ>0 such that the following algebraic inequality holds:

    1Mf_ρ+1αH_ρ[u]>ρ, (2.8)

    where

    f_ρ:=min(t,u)[a,b]×[cρ,ρ]f(t,u), H_ρ:=infuKρH[u]  and 1M:=inft[a,b]bak(t,s)ds.

    Then iK(T,Kρ) is 0.

    Proof. Note that the constant function 1 belongs to K. We prove that uTu+λ1 for every uKρ and for every λ0. If this is false, there exist uKρ and λ0 such that u=Tu+λ1. Then we have, for t[a,b],

    ρu(t)=Fu(t)+1αH[u]+λ1Fu(t)+1αH[u]bak(t,s)f(s,u(s))ds+1αH[u]bak(t,s)f_ρds+1αH_ρ[u]1Mf_ρ+1αH_ρ[u]. (2.9)

    Using the inequality (2.8) in (2.9) we obtain ρ>ρ, a contradiction that proves the result.

    In view of the Lemmas above, we may state our result regarding the existence of one or more nontrivial solutions. Here, for brevity, we provide sufficient conditions for the existence of one, two or three solutions. It is possible to obtain more solutions, by adding more conditions of the same type, see for example [18].

    Theorem 2.4. The BVP (2.1) has at least one non-negative solution u1, with ρ1<u1(R)<ρ2 if either of the following conditions holds.

    (S1) There exist ρ1,ρ2(0,+) with ρ1<ρ2 such that (I0ρ1) and (I1ρ2) hold.

    (S2) There exist ρ1,ρ2(0,+) with ρ1<ρ2 such that (I1ρ1) and (I0ρ2) hold.

    The BVP (2.1) has at least two non-negative solutions u1 and u2, with ρ1<u1(R)<ρ2<u2(R)<ρ3, if either of the following conditions holds.

    (S3) There exist ρ1,ρ2,ρ3(0,+) with ρ1<ρ2<ρ3 such that (I0ρ1),(I1ρ2)and(I0ρ3) hold.

    (S4) There exist ρ1,ρ2,ρ3(0,+) with ρ1<ρ2<ρ3 such that (I1ρ1),(I0ρ2)and(I1ρ3) hold.

    The BVP (2.1) has at least three non-negative solutions u1, u2 and u3, with ρ1<u1(R)<ρ2<u2(R)<ρ3<u3(R)<ρ4 if either of the following conditions holds.

    (S5) There exist ρ1,ρ2,ρ3,ρ4(0,+) with ρ1<ρ2<ρ3<ρ4 such that (I0ρ1),(I1ρ2),(I0ρ3) and (I1ρ4) hold.

    (S6) There exist ρ1,ρ2,ρ3,ρ4(0,+) with ρ1<ρ2<ρ3<ρ4 such that (I1ρ1),(I0ρ2),(I1ρ3) and (I0ρ4) hold.

    Proof. Assume condition (S1) holds, then, by Lemma 2.3, we have iK(T,Kρ1)=0 and, by Lemma 2.2, iK(T,Kρ2)=1. By Proposition 2.1 we obtain a solution u1 for the integral equation (2.4) in Kρ2¯Kρ1. Furthermore note that

    tk(t,s):=1α{0, s<t,1p(t), s>t,

    and therefore u10 in [0,R], which, in turn, implies u1(R)=u1.

    Assume now that condition (S3) holds, then we obtain in addition that iK(T,Kρ3)=0. By Proposition 2.1 we obtain the existence of a second solution u2 of the integral equation (2.4) in Kρ3¯Kρ2. A similar argument as above holds for the monotonicity of u2.

    The remaining cases are dealt with in a similar way.

    In this section we state sufficient conditions for the existence of solutions of the following BVP

    (p(t)u(t))+f(t,u(t))=0, tR, (3.1)
    u(R)=0,u(R)=u0,u(t)>0,limtu(t)=0, (3.2)

    where u0>0 is a given constant. The BVP (3.1), (3.2) involves both initial and asymptotic conditions, and a global condition (i.e., the positivity on the whole half-line). The continuability at infinity of solutions of (3.1) is not a simple problem, see for example [4]. For instance, the Emden–Fowler equation

    (p(t)u(t))+g(t)|u(t)|βsgn(u(t))=0, (3.3)

    if β>1 and g is allowed to take negative values, has solutions which tend to infinity in finite time, see [3,4]. Moreover, again in the superlinear case β>1, if g is non-negative with isolated zeros, then (3.3) may have solutions which change sign infinitely many times in the left neighborhood of some ˉt>R, and so these solutions are not continuable to infinity, see [6]. Further, even if global solutions exist (that is, solutions which are defined in the whole half-line [R,+)), their positivity is not guaranteed in general. Indeed, (3.1) may exhibit the coexistence of nonoscillatory and oscillatory solutions; further, nonoscillatory solutions may have an arbitrary large number of zeros.

    The problem (3.1), (3.2) has been consider in [9] for nonlinear equations with p-laplacian operator and nonlinear term f(t,u(t))=b(t)F(u(t)). We address the reader to such a paper for a complete discussion on the issues related to the BVP (3.1), (3.2) and for a review of the existing literature on related problems. The approach used in [9] to solve the BVP was based on a combination of the Schauder's (half)-linearization device, a fixed point result in the Fréchet space of continuous functions on [R,+), and comparison results for principal and nonprincipal solutions of suitable auxiliary half-linear equations, which allow to find good upper and lower bounds for the solutions of the (half)-linearized problem. The same approach, with minor modifications, allow us to treat also the present case with a general nonlinearity f(t,u(t)), under the assumptions (1.3), (1.4). In the following Proposition we recall the fixed-point result [9,Theorem 1], based on [5,Theorem 1.3], in the form suitable for the present problem.

    Proposition 3.1. Let J=[t0,). Consider the BVP

    {(p(t)u)+f(t,u)=0,tJ,uS, (3.4)

    where f is a continuous function on J×R and S is a subset of C1(J,R). Let g be a continuous function on J×R2 such that

    g(t,c,c)=f(t,c)for all(t,c)J×R,

    and assume that there exist a closed convex subset Ω of C1(J,R) and a bounded closed subset S1 of SΩ which make the problem

    {(p(t)y)+g(t,y,q)=0,tJ,yS1 (3.5)

    uniquely solvable for all qΩ. Then the BVP (3.4) has at least one solution in Ω.

    In view of this result, no topological properties of the fixed-point operator are needed to be checked, since they are a direct consequence of a-priori bounds for the solutions of the "linearized" problem (3.5).

    We state here the existence results in the form which will be used in the next section, addressing to [9,Theorem 2] for the general result, in case of a factored nonlinearity. For reader's convenience we provide a short proof, focusing only on those points which require some adjustments due to the more general nonlinearity. We point out that the present results are obtained by using the Euler equation

    t2y+nty+(n12)2y=0,n>1, (3.6)

    as a Sturm majorant of the linearized auxiliary equation (see also [9,Corollary 3]), but any other linear equation having a positive decreasing solution can be used as a majorant equation, obtaining different conditions. The first result states sufficient conditions for the existence of a global positive solution of (3.1), bounded on [R,+).

    Theorem 3.2. Assume that (1.2)–(1.5) hold, and let

    Mj(d)=supv(0,d]Fj(v)v,j=1,2

    where d>0 is a fixed constant. If

    B1log2M1(d)P, (3.7)

    and

    p(t)tn,b2(t)(n1)24M2(d)tn2,for alltR, (3.8)

    for some n>1, then for every u0(0,d/2] the equation (3.1) has a solution u, satisfying u(R)=u0,u(R)=0,0<u(t)2u0 for tR.

    Proof. The result follows from [9,Theorem 2 and Corollary 3], with some technical adjustments due to the actual general form of the nonlinearity. Indeed, it is sufficient to observe that, for every continuous function q:[R,)(0,d] fixed, the equations

    (p(t)w(t))M1(d)b1(t)w(t)=0 (3.9)

    is a Sturm minorant of the linearized equation

    (p(t)u(t))+f(t,q(t))q(t)u(t)=0, (3.10)

    and (3.6) is a Sturm majorant, due to (3.8) (see for instance [15]). Since (3.6) is nonoscillatory, and has the solution y(t)=t(n1)/2, which is positive decreasing on [R,+), from [9,Lemma 3] the solution of (3.10) satisfying the initial conditions u(R)=u0, u(R)=0 exists and is positive on [R,+), since it satisfies u(t)w0(t) for all tR, where w0 is the principal solution of (3.9). Further, double integration of (3.10) on [R,t], t>R, gives

    U(t)u0+M1(d)B1tRU(s)p(s)ds, where U(t)=maxs[R,t]u(s),

    and the Gronwall lemma, together with (3.7), gives the upper bound u(t)U(t)2u0. Thus, put

    S={qC1[t0,):q(R)=u0, q(R)=0, q(t)>0 for tR},Ω={qC1[1,):q(R)=u0,q(R)=0,w0(t)q(t)2u0}.

    We have SΩ=Ω and the set S1=¯T(Ω), where T is the operator which maps every qΩ into the unique solution of (3.10) satisfying the initial conditions u(R)=u0, u(R)=0, satisfies S1SΩ=Ω and is bounded in C1[R,+) (for the detailed proof see [9,Theorem 2]). Then Proposition 3.1 can be applied, and the existence of a solution of (3.1) in the set SΩ is proved.

    Remark 3.3. Clearly, the result in Theorem 3.2 holds also if we allow a different upper bound for the solution. More precisely, if we look for a solution satisfying 0<u(t)ku0 with k>1, then it is sufficient to put logk instead of log2 in (3.7), and we get the existence of global positive solutions of the Cauchy problem associated with (3.1), for every u0 such that 0<ku0d.

    Remark 3.4. Since M2(d) is nondecreasing, condition (3.7) can be seen as an upper bound for the values of u0 for which (3.1) has a global bounded solution. For instance, if F1(v)=vβ, β>1, then M1(d)=dβ1 and (3.7) can be read as

    2u0(log2PB1)1β1ifB10,

    while, if F1(v)=v, then M1(d)=1 for all d>0, and (3.1), (3.2) has solution for all u0>0, provided (3.8) is satisfied.

    If in the statement of Theorem 3.2 we assume in addition the condition (1.6), we get the existence of a solution of the BVP (3.1), (3.2).

    Theorem 3.5. Assume that (1.2)–(1.6) hold, and that d>0 exists such that (3.7) and (3.8) are satisfied for some n>1. Then, for every u0(0,d/2], the BVP (3.1), (3.2) has at least a solution u, satisfying

    0<u(t)2u0fort[R,), u(t)<0for larget.

    Proof. The proof is analogous to the second part of the proof of [9,Theorem 2], with obvious modifications due to the more general form of the nonlinear term here considered. In particular notice that (3.1) with conditions (1.3) gives the inequality

    (p(t)u(t))F1(u(t))+b1(t)0

    for every positive solution u of (3.1) and all tR. Thus the arguments in the proof of [9,Theorem 2] apply also to the present case.

    We conclude this Section pointing out that the case b1(t)0 for tR is included in the previous results, and in this case Theorems 3.2, 3.5 have a more simple statement. Indeed, B1=0, and therefore (1.5) and (3.7) are trivially satisfied. Further, every solution of (3.1) is nonincreasing on the whole half-line.

    Combining Theorems 2.4 and 3.2 or 2.4 and 3.5, we obtain an existence result for one or more solutions of the BVP (3.1) and (3.2), respectively. We limit ourself to state results for the existence of one or two solutions, for sake of simplicity. Clearly, as pointed out in Section 2, adding more conditions, with similar arguments it is possible to obtain sufficient conditions for the existence of three solutions (see Theorem 2.4) or more solutions.

    Theorem 4.1. Suppose that (1.2)–(1.5) are satisfied, and that there exist ρ1,ρ2(0,+), with ρ1<ρ2, such that either (S1) or (S2) holds. If n>1 exists, such that (3.7), (3.8) are satisfied with d=2ρ2, then the BVP (1.7) has at least one solution u1, with u1(t)2ρ2 for all t0.

    If, in addition, there exists ρ3(0,+), with ρ2<ρ3, such that either (S3) or (S4) holds, and (3.7), (3.8) are satisfied with d=2ρ3, then the BVP (1.7) has an additional solution u2, with u2(t)2ρ3.

    Notice that, from Theorem 2.4, the solutions u1,u2 satisfy ρ1<u1(R)<ρ2<u2(R)<ρ3 and therefore they are distinct solutions. Further, since solutions on [0,R] are increasing, then u1(t)<ρ2,u2(t)<ρ3, for all t[0,R].

    In case also assumption (1.6) is satisfied, from the above Theorem we obtain sufficient conditions for the existence of solutions of the BVP (1.1).

    Theorem 4.2. Suppose that (1.2)–(1.6) are satisfied, and that there exist ρ1,ρ2(0,+), with ρ1<ρ2, such that either (S1) or (S2) holds. If n>1 exists, such that (3.7), (3.8) are satisfied with d=2ρ2, then the BVP (1.1) has at least one solution u1, with u1(t)2ρ2 for all t0.

    If, in addition, there exists ρ3(0,+), with ρ2<ρ3, such that either (S3) or (S4) holds, and (3.7), (3.8) are satisfied with d=2ρ3, then the BVP (1.1) has an additional solution u2, with u2(t)2ρ3.

    Remark 4.3. If we have that f(t,v)0 for (t,v)[0,+)×[0,+), then every solution of (3.1) satisfying u(R)=0 is nonincreasing for tR. Thus our method provides one (or more) solutions having a global maximum at t=R, as solutions on [0,R] are nondecreasing. Clearly, if f changes sign in some t1>R, f0 for t[R,t1], then t=R is only a point of local maximum (not necessarily global) for the solutions.

    We conclude this section with the following examples that illustrate our results.

    Example 4.4. Let us consider the BVP

    {(p(t)u(t))+b(t)u2(t)=0, t0,u(0)=H[u], u(+)=0, (4.1)

    where

    p(t)={1,0t1,tn,t>1,b(t)={1,0t1,sin+(π2t)μt2sin(π2t),t>1,

    for some n>1 and μ>0, and

    H[u]=1210u(t)dt.

    The definition of H leads to the natural choice [0,R]=[0,1]. By direct computation one has m=2. The choice of [a,b]=[1/2,1] leads to c=1/2 and M=4. Furthermore note that f_ρ=14ρ2, ¯fρ=ρ2 and

    12ρH[u]1211/2u(t)dt14ρ,foreveryuKρ.

    Observe that the inequalities

    14f_ρ1+H_ρ1[u]14(14ρ12+ρ1)>ρ1,12¯fρ2+¯Hρ212(ρ22+ρ2)<ρ2,14f_ρ3+H_ρ3[u]14(14ρ32+ρ3)>ρ3.

    are satisfied for ρ1=1/20, ρ2=3/4 and ρ3=15. Thus (S3) holds for ρ1=1/20, ρ2=3/4 and ρ3=15. Note that (1.2)–(1.5) are satisfied, with P=1/(n1), F1(v)=F2(v)=v2, b1(t)=b(t),b2(t)=1, and B1<μ holds. Straightforward calculations show that also (1.6) is satisfied. Since M1(d)=M2(d)=d, applying Theorem 4.2 we get the following result:

    If (n1)26 then (4.1) has at least a positive solution u1, with 0u1(t)3/2, for every μ2(n1)log2/3.

    If (n1)2120 then (4.1) has at least two distinct positive solutions u1,u2, with 0u1(t)3/2, 0u2(t)30, for every μ(n1)log2/30.

    Example 4.5. Let us consider the BVP

    {(p(t)u(t))+b(t)u2(t)=0, t0,u(0)=H[u], u(1)=0,u(t)0andboundedon[0,+), (4.2)

    where this time we take

    p(t)={1,0t1,t5,t>1,b(t)={1,0t1,2t,1<t3,e(t3),t>3,

    and we keep H[u]=1210u(t)dt, as in Example 4.3. With the natural choice [0,R]=[0,1], following the same computations as in Example 4.3, we get that (S1) holds for ρ1=1/20, ρ2=3/4. Furthermore (1.2)–(1.5) are satisfied, with P=1/4, F1(v)=F2(v)=v2, b1(t)=b(t),b2(t)=1, and B1=3/2, while (1.6) does not hold. Since M1(d)=M2(d)=d, and (3.7), (3.8) are satisfied for all dmin{83ln2,4}=83ln2>32=2ρ2, applying Theorem 4.1 we get that (4.2) has at least a solution u1, with 0u1(t)3/2 for all t0.

    Note that u1 does not tend to zero as t+. Indeed, as u1(1)=0 and b(t)>0 in [1,2), then u1 is decreasing on [1,2]. Thus, for all t[1,2] it holds

    t5u1(t)=t1(2s)u21(s)dsu21(1)21(2s)ds=u21(1)/2.

    Integration of the above inequality on [1,t],t2 gives

    u1(t)u1(1)u21(1)2t11s5dsu1(1)(1u1(1)8).

    Thus we have u1(2)u21(1)/64 and u1(2)u1(1)(1u1(1)/8)>0 if u1(1)<8. Now, for t2, it holds (t5u1(t))=b(t)u21(t)0, thus t5u1(t)32u1(2)u21(1)/2, and integrating this inequality on [2,t],t2 we obtain

    u1(t)u1(2)u21(1)2t21s5dsu1(1)(1u1(1)8u1(1)221s5ds)=u1(1)(117128u1(1)).

    Thus, since 1/20<u1(1)<3/4, from the above inequality we have

    u1(t)120(151512),t2,

    and therefore u1 has no zero limit as t+.

    The authors wish to thank the Referee for the careful reading of the paper and the constructive comments. G. Infante and S. Matucci were partially supported by G.N.A.M.P.A. - INdAM (Italy).

    The authors declare no conflict of interest in this paper.



    [1] R. B. Kellogg, Uniqueness in the Schauder fixed point theorem, Proc. Am. Math. Soc., 60 (1976), 207–210.
    [2] F. Echenique, A short and constructive proof of Tarski fixed-point theorem, Int. J. Game Theory, 33 (2005), 215–218. https://doi.org/10.1007/s001820400192 doi: 10.1007/s001820400192
    [3] S. Park, Ninety years of the Brouwer fixed point theorem, Vietnam J. Math., 27 (1999), 187–222.
    [4] M. A. Khamsi, W. M. Kozlowski, On asymptotic pointwise contractions in modular function spaces, Nonlinear Anal., 73 (2010), 2957–2967. https://doi.org/10.1016/j.na.2010.06.061 doi: 10.1016/j.na.2010.06.061
    [5] M. A. Khamsi, W. M. Kozlowski, On asymptotic pointwise nonexpansive mappings in modular function spaces, J. Math. Anal. Appl., 380 (2011), 697–708. https://doi.org/10.1016/j.jmaa.2011.03.031 doi: 10.1016/j.jmaa.2011.03.031
    [6] Y. Zhang, D. V. Lukyanenko, A. G. Yagola, Using Lagrange principle for solving two-dimensional integral equation with a positive kernel, Inverse Probl. Sci. Eng., 24 (2016), 811–831. https://doi.org/10.1080/17415977.2015.1077445 doi: 10.1080/17415977.2015.1077445
    [7] Y. Zhang, D. V. Lukyanenko, A. G. Yagola, An optimal regularization method for convolution equations on the sourcewise represented set, J. Inverse Ill-Posed Probl., 23 (2016), 465–475. https://doi.org/10.1515/jiip-2014-0047 doi: 10.1515/jiip-2014-0047
    [8] M. Shoaib, M. Sarwar, K. Shah, P. Kumum, Fixed point results and its applications to the systems of non-linear integral and differential equations of arbitrary order, J. Nonlinear Sci. Appl., 9 (2016), 4949–4962. https://doi.org/10.22436/jnsa.009.06.128 doi: 10.22436/jnsa.009.06.128
    [9] M. B. Zada, M. Sarwar, C. Tunc, Fixed point theorems in b-metric spaces and their applications to non-linear fractional differential and integral equations, J. Fixed Point Theory Appl., 20 (2018), 25. https://doi.org/10.1007/s11784-018-0510-0 doi: 10.1007/s11784-018-0510-0
    [10] S. Atsushiba, W. Takahashi, Strong convergence theorems for one-parameter nonexpansive semigroups with compact domains, Fixed Point Theory Appl., 3 (2002), 15–31.
    [11] W. Sintunavarat, M. B. Zada, M. Sarwar, Common solution of Urysohn integral equations with the help of common fixed point results in complex valued metric spaces, Rev. R. Acad. Cienc. Exactas Fis. Nat., 111 (2017), 531–545. https://doi.org/10.1007/s13398-016-0309-z doi: 10.1007/s13398-016-0309-z
    [12] J. P. Gossez, E. J. L. Dozo, Some geometric properties related to the fixed point theory for nonexpansive mappings, Pac. J. Math., 40 (1972), 565–573. https://doi.org/10.2140/pjm.1972.40.565 doi: 10.2140/pjm.1972.40.565
    [13] A. Baklouti, M. Mabrouk, Essential numerical ranges of operators in semi-Hilbertian spaces, Ann. Funct. Anal., 13 (2022), 16. https://doi.org/10.1007/s43034-021-00161-6 doi: 10.1007/s43034-021-00161-6
    [14] A. Baklouti, J. Schutz, S. Dellagi, A. Chelbi, Selling or leasing used vehicles considering their energetic type, the potential demand for leasing, and the expected maintenance costs, Energy Rep., 8 (2022), 1125–1135. https://doi.org/10.1016/j.egyr.2022.07.074 doi: 10.1016/j.egyr.2022.07.074
    [15] T. Shimizu, W. Takahashi, Strong convergence theorems for asymptotically nonexpansive semigroups in Hilbert space, Nonlinear Anal., 34 (1998), 87–99.
    [16] N. Shioji, W. Takahashi, Strong convergence theorems for continuous semigroups in Banach spaces, Math. Jpn., 50 (1999), 57–66.
    [17] G. Rahmat, M. Khan, M. Sarwar, H. Aydi, E. Ameer, A strong convergence to a common fixed point of a subfamily of a nonexpansive evolution family of bounded linear operators on a Hilbert space, J. Math., 2021 (2021), 2392088. https://doi.org/10.1155/2021/2392088 doi: 10.1155/2021/2392088
    [18] M. A. Khamsi, W. M. Kozlowski, S. Reich, Fixed point theory in modular function spaces, Nonlinear Anal., 14 (1990), 935–953. https://doi.org/10.1016/0362-546X(90)90111-S doi: 10.1016/0362-546X(90)90111-S
    [19] K. Goebel, S. Reich, Uniform convexity, hyperbolic geometry and nonexpansive mappings, Marcel Dekker, 1984.
    [20] S. Reich, D. Shoikhet, Nonlinear semigroups, fixed points, and geometry of domains in Banach spaces, Imperial College Press, 2005.
    [21] F. E. Browder, Fixed-point theorems for noncompact mappings in Hilbert space, Proc. Nat. Acad. Sci., 53 (1965), 1272–1276. https://doi.org/10.1073/pnas.53.6.1272 doi: 10.1073/pnas.53.6.1272
    [22] S. Reich, The fixed point property for nonexpansive mappings, Am. Math. Mon., 83 (1976), 266–268. https://doi.org/10.1080/00029890.1976.11994096 doi: 10.1080/00029890.1976.11994096
    [23] K. J. Engel, R. Nagel, One-parameter semi-groups for linear evolution equations, Springer Verlag, 2000.
    [24] F. E. Browder, Nonexpansive non-linear operators in a Banach space, Proc. Nat. Acad. Sci., 54 (1965), 1041–1044. https://doi.org/10.1073/pnas.54.4.1041 doi: 10.1073/pnas.54.4.1041
    [25] T. Suzuki, On strong convergence to common fixed points of nonexpensive simegroup in Hilbert spaces, Proc. Am. Math. Soc., 131 (2002), 2133–2136.
    [26] S. Reich, Weak convergence theorems for nonexpansive mappings in Banach space, J. Math. Anal. Appl., 67 (1979), 274–276. https://doi.org/10.1016/0022-247X(79)90024-6 doi: 10.1016/0022-247X(79)90024-6
    [27] S. Ishikawa, Fixed points and iteration of a nonexpansive mapping in a Banach space, Proc. Am. Math. Soc., 59 (1976), 65–71.
    [28] O. Nevanlinna, S. Reich, Strong convergence of contraction semigroups and of iterative methods for accretive operators in Banach spaces, Isr. J. Math., 32 (1979), 44–58. https://doi.org/10.1007/BF02761184 doi: 10.1007/BF02761184
    [29] T. Suzuki, W. Takahashi, Strong convergence of Manns type sequences for one-parameter nonexpansive semigroups in general Banach spaces, J. Nonlinear Convex Anal., 5 (2004), 209–216.
    [30] G. Rahmat, T. Shah, M. Sarwar, H. Aydi, H. Alsamir, Common fixed points of a subfamily of nonexpansive periodic evolution family in strictly convex Banach space, J. Math., 2021 (2021), 6668305. https://doi.org/10.1155/2021/6668305 doi: 10.1155/2021/6668305
    [31] M. Shah, G. Rahmat, S. I. A. Shah, E. Bonyah, Z. Shah, M. Shutaywi, Convergence for a fixed point of evolution families in Banach space via iterative process, J. Math., 2022 (2022), 4907226. https://doi.org/10.1155/2022/4907226 doi: 10.1155/2022/4907226
    [32] S. Fuan, R. Ullah, G. Rahmat, M. Numan, S. I. Butt, X. Ge, Approximate fixed point sequences of an evolution family on a metric space, J. Math., 2021 (2021), 6764280. https://doi.org/10.1155/2020/1647193 doi: 10.1155/2020/1647193
    [33] D. V. Thong, An implicit iteration process for nonexpansive semigroups, Nonlinear Anal., 74 (2011), 6116–6120. https://doi.org/10.1016/j.na.2011.05.090 doi: 10.1016/j.na.2011.05.090
    [34] S. Saejung, Strong convergence theorem for nonexpansive semigroups without Bochner integrals, Fixed Point Theory Appl., 2008 (2008), 745010. https://doi.org/10.1155/2008/745010 doi: 10.1155/2008/745010
    [35] D. Daners, P. K. Medina, Abstract evolution equations, periodic problems and applications, CRC Press, 1992.
    [36] C. Buse, A. Khan, G. Rahmat, A. Tabassum, A new estimation of the growth bound of a periodic evolution family on Banach spaces, J. Funct. Spaces, 2013 (2013), 260920. https://doi.org/10.1155/2013/260920 doi: 10.1155/2013/260920
  • 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(1341) PDF downloads(94) Cited by(0)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog