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

Multiple solutions of a Sturm-Liouville boundary value problem of nonlinear differential inclusion with nonlocal integral conditions

  • Received: 29 December 2021 Revised: 27 March 2022 Accepted: 01 April 2022 Published: 11 April 2022
  • MSC : 34B07, 34B09

  • The existence of solutions for a Sturm-Liouville boundary value problem of a nonlinear differential inclusion with nonlocal integral condition is studied. The maximal and minimal solutions will be studied. The existence of multiple solutions of the nonhomogeneous Sturm-Liouville boundary value problem of differential equation with nonlocal integral condition is considered. The eigenvalues and eigenfunctions are investigated.

    Citation: Ahmed M.A. El-Sayed, Eman M.A. Hamdallah, Hameda M. A. Alama. Multiple solutions of a Sturm-Liouville boundary value problem of nonlinear differential inclusion with nonlocal integral conditions[J]. AIMS Mathematics, 2022, 7(6): 11150-11164. doi: 10.3934/math.2022624

    Related Papers:

    [1] Mukhamed Aleroev, Hedi Aleroeva, Temirkhan Aleroev . Proof of the completeness of the system of eigenfunctions for one boundary-value problem for the fractional differential equation. AIMS Mathematics, 2019, 4(3): 714-720. doi: 10.3934/math.2019.3.714
    [2] Tuba Gulsen, Sertac Goktas, Thabet Abdeljawad, Yusuf Gurefe . Sturm-Liouville problem in multiplicative fractional calculus. AIMS Mathematics, 2024, 9(8): 22794-22812. doi: 10.3934/math.20241109
    [3] William O. Bray, Ellen Hunter . Wave equations & energy. AIMS Mathematics, 2019, 4(3): 463-481. doi: 10.3934/math.2019.3.463
    [4] Bashir Ahmad, Manal Alnahdi, Sotiris K. Ntouyas, Ahmed Alsaedi . On a mixed nonlinear boundary value problem with the right Caputo fractional derivative and multipoint closed boundary conditions. AIMS Mathematics, 2023, 8(5): 11709-11726. doi: 10.3934/math.2023593
    [5] A. M. A. El-Sayed, W. G. El-Sayed, Somyya S. Amrajaa . On a boundary value problem of arbitrary orders differential inclusion with nonlocal, integral and infinite points boundary conditions. AIMS Mathematics, 2022, 7(3): 3896-3911. doi: 10.3934/math.2022215
    [6] Md. Asaduzzaman, Md. Zulfikar Ali . Existence of positive solution to the boundary value problems for coupled system of nonlinear fractional differential equations. AIMS Mathematics, 2019, 4(3): 880-895. doi: 10.3934/math.2019.3.880
    [7] Ahmed Alsaedi, Fawziah M. Alotaibi, Bashir Ahmad . Analysis of nonlinear coupled Caputo fractional differential equations with boundary conditions in terms of sum and difference of the governing functions. AIMS Mathematics, 2022, 7(5): 8314-8329. doi: 10.3934/math.2022463
    [8] Jinming Cai, Shuang Li, Kun Li . Matrix representations of Atkinson-type Sturm-Liouville problems with coupled eigenparameter-dependent conditions. AIMS Mathematics, 2024, 9(9): 25297-25318. doi: 10.3934/math.20241235
    [9] Erdal Bas, Ramazan Ozarslan . Theory of discrete fractional Sturm–Liouville equations and visual results. AIMS Mathematics, 2019, 4(3): 593-612. doi: 10.3934/math.2019.3.593
    [10] Youyu Wang, Xianfei Li, Yue Huang . The Green's function for Caputo fractional boundary value problem with a convection term. AIMS Mathematics, 2022, 7(4): 4887-4897. doi: 10.3934/math.2022272
  • The existence of solutions for a Sturm-Liouville boundary value problem of a nonlinear differential inclusion with nonlocal integral condition is studied. The maximal and minimal solutions will be studied. The existence of multiple solutions of the nonhomogeneous Sturm-Liouville boundary value problem of differential equation with nonlocal integral condition is considered. The eigenvalues and eigenfunctions are investigated.



    The Sturm-Liouville problem arises within many areas of science, engineering and applied mathematics. It has been studied for more than two decades. Many physical, biological and chemical processes are described using models based on it (see [1,2,3], [8], [9] and [11]).

    For the homogeneous Sturm-Liouville problem with nonlocal conditions you can see [2], [9] and [11,12,13,14,15]. For the nonhomogeneous equation see [7]. In [7] the authors studied the nonhomogeneous Sturm-Liouville boundary value problem of the differential equation

    x(t)+m(t)=λ2x(t),t(0,π),

    with the conditions

    x(0)=0,x(ξ)+λx(ξ)=0,ξ(0,π].

    Here, we are concerned, firstly, with the nonlocal problem of the nonlinear differential inclusion

    x(t)F(t,λx(t)),a.e.t(0,π), (1.1)

    with the nonlocal conditions (η>ξ)

    x(0)λx(0)=0andηξx(τ)dτ=0,ξ[0,π),η(0,π]. (1.2)

    For

    h(t,λ)+λ2x(t)=f(t,λx(t))F(t,λx(t)),

    we study the existence of multiple solutions (eignevalues and eignefunctions) of the nonhomogeneous Sturm-Liouville problem of the differential equation

    x(t)+h(t,λ)=λ2x(t),t(0,π), (1.3)

    with the conditions (1.2).

    The special case of the nonlocal condition (1.2)

    x(0)λx(0)=0andπ0x(τ)dτ=0, (1.4)

    will be considered.

    Consider the nonlocal boundary value problem of the nonlinear differential inclusion (1.1)-(1.2) under the following assumptions.

    (ⅰ) The set F(t,x) is nonempty, closed and convex for all (t,x)[0,1]×R×R.

    (ⅱ) F(t,x) is measurable in t[0,1] for every x,yR.

    (ⅲ) F(t,x) is upper semicontinuous in x and y for every t[0,1].

    (ⅳ) There exist a bounded measurable function m:[0,1]R and a constant λ, such that

    F(t,x)=sup{|f|:fF(t,x)}|m(t)|+λ2|x|.

    Remark 1. From the assumptions (i)-(iv) we can deduce that (see [1], [5] and [6]) there exists fF(t,x), such that

    (v) f:I×RR is measurable in t for every x,yR and continuous in x for t[0,1] and there exist a bounded measurable function m:[0,π]R and a constant λ2 such that

    |f(t,x)||m(t)|+λ2|x|,

    and f satisfies the nonlinear differential equation

    x(t)=f(t,λx(t)),a.e.t(0,π). (2.1)

    So, any solution of (2.1) is a solution of (1.1).

    (ⅵ) λ(ηξ)2,λR.

    (ⅶ)

    2(1+|λ|π)π2+π|A|λ2π<1.

    For the integral representation of the solution of (2.1) and (1.2) we have the following lemma.

    Lemma 2.1. If the solution of the problem (2.1) and (1.2) exists, then it can be represented by the integral equation

    x(t)=2(1+λt)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t0(ts)f(s,λx(s))ds, (2.2)

    where A=(ηξ)[2+λ(ηξ)]0.

    Proof. Integrating both sides of Eq (2.1) twice, we obtain

    x(t)x(0)tx(0)=t0(ts)f(s,λx(s))ds (2.3)

    and using the assumption x(0)λx(0)=0, we obtain

    x(0)=1λx(0). (2.4)

    The assumption ηξx(τ)dτ=0 implies that

    x(0)ηξdτ+x(0)ηξτdτ=ηξτ0(τs)f(s,λx(s))dsdτ,(ηξ)x(0)+(ηξ)22λx(0)=ξ0ηξ(τs)dτf(s,λx(s))ds+ηξηs(τs)dτf(s,λx(s))ds,(ηξ)[2+λ(ηξ)]2x(0)=ξ0[(ηs)22(ξs)22]f(s,λx(s))ds+ηξ(ηs)22f(s,λx(s))ds=η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds

    and we can get

    x(0)=2(ηξ)[2+λ(ηξ)][η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]=2A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]. (2.5)

    Substituting (2.5) into (2.4), we obtain

    x(0)=2λA[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]. (2.6)

    Now from (2.3), (2.5) and (2.6), we obtain

    x(t)=2(1+λt)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t0(ts)f(s,λx(s))ds.

    To complete the proof, differentiate equation (2.2) twice, we obtain

    x(t)=2λA[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t0f(s,λx(s))ds,

    and

    x(t)=f(t,λx(t)),a.e.t(0,T).

    Now

    x(0)=2λA[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds],

    and

    λx(0)=2λA[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds].

    From that, we get x(0)λx(0)=0.

    Now, to ensure that ηξx(τ)dτ=0,

    we have

    ηξ2(1+λt)A=2(ηξ)+λ(η2ξ2)A=(ηξ)[2+λ(ηξ)]A=1,

    from that, we obtain as before

    ηξx(τ)dτ=ηξ2(1+λτ)Adτ[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]ηξτ0(τs)f(s,λx(s))dsdτ,=η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))dsη0(ηs)22f(s,λx(s))ds+ξ0(ξs)22f(s,λx(s))ds=0.

    This proves the equivalence between the integral equation (2.2) and the nonlocal boundary value problem (1.1)-(1.2).

    Now, for the existence of at least one continuous solution for the problem of the integral equation (2.2), we have the following theorem.

    Theorem 2.1. Let the assumptions (v)-(vii) be satisfied, then there exists at least one solution xC[0,π] of the nonlocal boundary value problem (2.1) and (1.2). Moreover, from Remark 1, then there exists at least one solution xC[0,π] of the nonlocal boundary value problem (1.1)-(1.2).

    Proof. Define the set QrC[0,π] by

    Qr={xC:∥x∥≤r},r2(1+|λ|π)π2+πmL1|A|[2(1+|λ|π)π2+π]λ2π.

    It is clear that the set Qr is nonempty, closed and convex.

    Define the operator T associated with (2.2) by

    Tx(t)=2(1+λt)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t0(ts)f(s,λx(s))ds.

    Let xQr, we have

    |Tx(t)|2(1+|λ|t)|A|[η0(ηs)22|f(s,λx(s))|ds+ξ0(ξs)22|f(s,λx(s))ds|]+t0(ts)|f(s,λx(s))|ds,2(1+|λ|π)π2|A|π0{|m(s)|+λ2|x(s)|}ds+ππ0{|m(s)|+λ2|x(s)|}ds,[2(1+|λ|π)π2|A|+π]{mL1+λ2πx},2(1+|λ|π)π2+π|A|{mL1+λ2πr}r,

    and we have

    2(1+|λ|π)π2+π|A|mL1r(12(1+|λ|π)π2+π|A|λ2π).

    Then T:QrQr and the class {Tx}Qr is uniformly bounded in Qr.

    In what follows we show that the class {Tx}, xQr is equicontinuous. For t1,t2[0,π],t1<t2 such that |t2t1|<δ, we have

    Tx(t2)Tx(t1)=2(1+λt2)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t20(t2s)f(s,λx(s))ds2(1+λt1)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t10(t2s)f(s,λx(s))ds,|Tx(t2)Tx(t1)|=|2(1+λt2)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t20(t2s)f(s,λx(s))ds2(1+λt1)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]+t10(t1s)f(s,λx(s))ds|,2|λ|(t2t1)A[η0(ηs)22|f(s,λx(s))|ds+ξ0(ξs)22|f(s,λx(s))|ds]+(t2t1)t10|f(s,λx(s))|ds+πt2t1|f(s,λx(s))|ds,2|λ|(t2t1)π2Aπ0|f(s,λx(s))|ds+(t2t1)π0|f(s,λx(s))|ds+πt2t1|f(s,λx(s))|ds,2|λ|(t2t1)π2A{mL1+λ2x}+(t2t1){mL1+λ2x}+πt2t1{|m(s)|+λ2|x(s)|}ds.

    Hence the class of function {Tx}, xQr is equicontinuous. By Arzela-Ascolis [4] Theorem, we found that the class {Tx} is relatively compact.

    Now we prove that T:QrQr is continuous.

    Let {xn}Qr, such that xnx0Qr, then

    Txn(t)=2(1+λt)A[η0(ηs)22f(s,λxn(s))dsξ0(ξs)22f(s,λxn(s))ds]t0(ts)f(s,λxn(s))ds,

    and

    limnTxn(t)=limn{2(1+λt)A[η0(ηs)22f(s,λxn(s))dsξ0(ξs)22f(s,λxn(s))ds]t0(ts)f(s,λxn(s))ds}.

    Now, we have

    f(s,xn(s))f(s,x0(s))asn,

    and

    |f(s,λxn(s))|m(s)+λ2|xn|L1[0,π],

    then applying Lebesgue Dominated convergence theorem [4], we obtain

    limnTxn(t)=2(1+λt)A[η0(ηs)22limnf(s,λxn(s))dsξ0(ξs)22limnf(s,λxn(s))ds]t0(ts)limnf(s,λxn(s))ds,=2(1+λt)A[η0(ηs)22f(s,λx0(s))dsξ0(ξs)22f(s,λx0(s))ds]t0(ts)f(s,λx0(s))ds=F(x0).

    Then Txn(t)Tx0(t). Which means that the operator T is continuous.

    Since all conditions of Schauder theorem [4] are hold, then T has a fixed point in Qr, then the integral equation (2.2) has at least one solution xC[0,π].

    Consequently the nonlocal boundary value problem (2.1)-(1.2) has at least one solution xC[0,π]. Moreover, from Remark 1, then there exists at least one solution xC[0,π] of the nonlocal boundary value problem (1.1)-(1.2).

    Now, we have the following corollaries

    Corollary 1. Let λ2x(t)=f(t,λx(t))F(t,λx(t)). Let the assumptions of Theorem 2.1 be satisfied. Then there exists at lease one solution xC[0,π] of

    x(t)=λ2x(t),t(0,T).

    with the nonlocal condition (1.2). Moreover, from Remark 1, there exists at lease one solution xC[0,π] of the problem (1.1)-(1.2).

    Corollary 2. Let the assumptions of Theorem 2.1 be satisfied. Then there exists a solution xC[0,π] of the problem (2.1) and (1.4).

    Proof. Putting ξ=0 and η=π and applying Theorem 2.1 we get the result.

    Taking J=(0,π). Here, we study the existence of maximal and minimal solutions of the problem (2.1) and (1.2) which is equivalent to the integral equation (2.2).

    Definition 3.1. [10] Let q(t) be a solution x(t) of (2.2) Then q(t) is said to be a maximal solution of (2.2) if every solution of (2.2) on J satisfies the inequality x(t)q(t),tJ. A minimal solution s(t) can be defined in a similar way by reversing the above inequality i.e. x(t)s(t),tJ.

    We need the following lemma to prove the existence of maximal and minimal solutions of (2.2).

    Lemma 3.2. Let f(t,x) satisfies the assumptionsin Theorem 2.1 and let x(t),y(t) be continuous functions on J satisfying

    x(t)2(1+λt)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t0(ts)f(s,λx(s))ds,y(t)2(1+λt)A[η0(ηs)22f(s,λy(s))dsξ0(ξs)22f(s,λy(s))ds]t0(ts)f(s,λy(s))ds

    where one of them is strict.

    Suppose f(t,x) is nondecreasing function inx. Then

    x(t)<y(t),tJ. (3.1)

    Proof. Let the conclusion (3.1) be false; then there exists t1 such that

    x(t1)=y(t1),t1>0

    and

    x(t)<y(t),0<t<t1.

    From the monotonicity of the function f in x, we get

    x(t1)2(1+λt1)A[η0(ηs)22f(s,λx(s))dsξ0(ξs)22f(s,λx(s))ds]t10(ts)f(s,λx(s))ds,<2(1+λt1)A[η0(ηs)22f(s,λy(s))dsξ0(ξs)22f(s,λy(s))ds]t10(ts)f(s,λy(s))ds<y(t1).

    This contradicts the fact that x(t1)=y(t1);then

    x(t)<y(t),tJ.

    Theorem 3.2. Let the assumptions of Theorem 2.1 besatisfied. Furthermore, if f(t,x) is nondecreasing function inx, then there exist maximal and minimal solutions of (2.2).

    Proof. Firstly, we shall prove the existence of maximal solution of (2.2). Let ϵ>0 be given. Now consider the integral equation

    xϵ(t)=2(1+λt)A[η0(ηs)22fϵ(s,λxϵ(s))dsξ0(ξs)22fϵ(s,λxϵ(s))ds]t0(ts)fϵ(s,λxϵ(s))ds, (3.2)

    where

    fϵ(t,xϵ(t))=f(t,xϵ(t))+ϵ.

    Clearly the function fϵ(t,xϵ) satisfies assumption (v) and

    |fϵ(t,xϵ)||m(t)|+λ2|x|+ϵ|m1(t)|+λ2|x|,|m1(t)|=|m(t)|+ϵ.

    Therefore, Equation (3.2) has a continuous solution xϵ(t) according to Theorem 2.1.

    Let ϵ1 and ϵ2 be such that 0<ϵ2<ϵ1<ϵ. Then

    xϵ1(t)=2(1+λt)A[η0(ηs)22fϵ1(s,λxϵ1(s))dsξ0(ξs)22fϵ1(s,λxϵ1(s))ds]t0(ts)fϵ1(s,λxϵ1(s))ds,=2(1+λt)A[η0(ηs)22(f(s,λxϵ1(s))+ϵ1)dsξ0(ξs)22(f(s,λxϵ1(s))+ϵ1)ds]t0(ts)(f(s,λxϵ1(s))+ϵ1)ds,>2(1+λt)A[η0(ηs)22(f(s,λxϵ1(s))+ϵ2)dsξ0(ξs)22(f(s,λxϵ1(s))+ϵ2)ds]t0(ts)(f(s,λxϵ1(s))+ϵ2)ds, (3.3)
    xϵ2(t)=2(1+λt)A[η0(ηs)22(f(s,λxϵ2(s))+ϵ2)dsξ0(ξs)22(f(s,λxϵ2(s))+ϵ2)ds]t0(ts)(f(s,λxϵ2(s))+ϵ2)ds. (3.4)

    Applying Lemma 3.2, then (3.3) and (3.4) imply that

    xϵ2(t)<xϵ1(t)fortJ.

    As shown before in the proof of Theorem 2.1, the family of functions xϵ(t) defined by Eq (3.2) is uniformly bounded and of equi-continuous functions. Hence by the Arzela-Ascoli Theorem, there exists a decreasing sequence ϵn such that ϵn0 as n, and limnxϵn(t) exists uniformly in I. We denote this limit by q(t). From the continuity of the function fϵn in the second argument, we get

    x(t)=limnxϵn(t)=2(1+λt)A[η0(ηs)22f(s,λq(s))dsξ0(ξs)22f(s,λq(s))ds]t0(ts)f(s,λq(s))ds,

    which proves that q(t) is a solution of (2.2).

    Finally, we shall show that q(t) is maximal solution of (2.2). To do this, let x(t) be any solution of (2.2). Then

    xϵ(t)=2(1+λt)A[η0(ηs)22fϵ(s,λxϵ(s))dsξ0(ξs)22fϵ(s,λxϵ(s))ds]t0(ts)fϵ(s,λxϵ(s))ds,=2(1+λt)A[η0(ηs)22(f(s,λxϵ(s))+ϵ)dsξ0(ξs)22(f(s,λxϵ(s))+ϵ)ds]t0(ts)(f(s,λxϵ(s))+ϵ)ds,>2(1+λt)A[η0(ηs)22f(s,λxϵ(s))dsξ0(ξs)22f(s,λxϵ(s))ds]t0(ts)f(s,λxϵ(s))ds. (3.5)

    Applying Lemma 3.2, then (2.2) and (3.5 imply that

    xϵ(t)>x(t)fortJ.

    From the uniqueness of the maximal solution (see [10]), it is clear that xϵ(t) tends to q(t) uniformly in tJasϵ0.

    In a similar way we can prove that there exists a minimal solution of (2.2).

    Here, we study the existence and some general properties of the eigenvalues and eigenfunctions of the problem of the homogeneous equation

    x(t)=λ2x(t),t(0,π), (4.1)

    with the nonlocal condition (1.2).

    Lemma 4.3. The eigenfunctions of the nonlocal boundary value problem (4.1) and (1.2) are in the form of

    xn(t)=cn(sin(π+4πn)t2(η+ξ)+cos(π+4πn)t2(η+ξ)),n=1,2,. (4.2)

    Proof. Firstly, we prove that the eigenvalues are

    λn=π+4πn2(η+ξ),n=1,2,. (4.3)

    The general solution of the problem (4.1) and (1.2) is given by

    x(t)=c1sinλt+c2cosλt. (4.4)

    Differentiating equation (4.4), we obtain

    x(t)=λc1cosλtλc2sinλt.

    Using the first condition, when t=0, we obtain

    c1=c2. (4.5)

    Integrating both sides of (4.4) from ξ to η, we obtain

    c1λcosλξc1λcosλη+c2λsinληc2λsinλξ=0.

    Substituting c1=c2, we obtain

    c1λcosλξc1λcosλη+c1λsinληc1λsinλξ=0. (4.6)

    Multiplying (4.6) by λc1, we obtain

    cosλξcosλη+sinληsinλξ=0,2sinλ(ξ+η)2sinλ(ηξ)2+2sinλ(ηξ)2cosλ(η+ξ)2=0,sinλ(ξ+η)2+cosλ(η+ξ)2=0,tanλ(ξ+η)2=1,λ(ξ+η)2=π4+nπ. (4.7)

    From (4.7), we deduce that

    λn=π+4πn2(η+ξ),n=1,2,.....

    Therefore, from (4.4) we can get

    xn(t)=cn(sin(π+4πn)t2(η+ξ)+cos(π+4πn)t2(η+ξ)),n=1,2,....

    Corollary 3. The eigenfunctions of the nonlocal boundary value problem (4.1) and (1.4) are in the form of

    xn(t)=cn(sin(1+4n)t2+cos(1+4n)t2),n=1,2,..... (4.8)

    Proof. Putting ξ=0 and η=π and applying Lemma 4.3 we obtain the result.

    Now, we study the existence of multiple solutions of the nonhomogeneous problem (1.3) and (1.2). Let x1,x2 be two solutions of the problem (1.3) and (1.2). Let u(t)=x1(t)x2(t), then the function u satisfy the Sturm-Liouville problem

    u(t)=λ2u(t)

    with the nonlocal conditions

    u(0)λu(0)=0andηξu(τ)dτ=0,ξ[0,π),η(0,π].

    So, the values of (eigenvalues) λn for the non zero solution of (4.1) and (1.2) is the same values (eigenvalues) of λn for the multiple solutions (eigenfunctions) of (1.3) and (1.2), i.e.

    λn=π+4πn2(η+ξ),n=1,2,.....

    Theorem 5.3. The multiple solutions (eigenfunctions) xn(t) of the problem (1.3) and (1.2) are given by

    xn(t)=An(sin(π+4πn)t2(η+ξ)+cos(π+4πn)t2(η+ξ))t0sin(π+4πn)(ts)2(η+ξ)π+4πn2(η+ξ)h(s,λ)ds. (5.1)

    Proof. Here we use the variation of parameter method to get the solution of (1.3) and (1.2). Assume that the solutions of (1.3) and (1.2) are given by

    xn(t)=A1cosλt+A2sinλt+xp(t). (5.2)

    So, we have

    x1(t)=cosλt,x2(t)=sinλt.

    Now, we can get W(x1,x2)=λ. Hence

    xp(t)=cosλtt0sinλsλh(s,λ)ds+sinλtt0cosλsλh(s,λ)ds,

    thus

    xp(t)=t0sinλ(ts)λh(s,λ)ds. (5.3)

    From (5.3) and (5.2), we obtain

    xn(t)=A1sin(π+4πn)t2(η+ξ)+A2cos(π+4πn)t2(η+ξ)t0sin(π+4πn)(ts)2(η+ξ)π+4πn2(η+ξ)h(s,λ)ds. (5.4)

    By using the first condition x(0)λx(0)=0, we get

    A1=A2,

    therefore the multiple solutions of the nonlocal problem (1.3) and (1.2) are given by

    xn(t)=An(sin(π+4πn)t2(η+ξ)+cos(π+4πn)t2(η+ξ))t0sin(π+4πn)(ts)2(η+ξ)(π+4πn)2(η+ξ)h(s,λ)ds,n=1,2,.....

    To complete the proof and to ensure that xn(t) is the solution of (1.3) and (1.2), we firstly prove that

    xn(t)+h(t,λ)=λ2xn(t).

    Differentiating (5.4) twice, we get

    xn(t)=Anπ+4πn2(η+ξ)(cos(π+4πn)t2(η+ξ)sin(π+4πn)t2(η+ξ))t0cos(π+4πn)(ts)2(η+ξ)h(s,λ)ds

    and

    xn(t)=An(π+4πn2(η+ξ))2(sin(π+4πn)t2(η+ξ)cos(π+4πn)t2(η+ξ))g(t)+π+4πn2(η+ξ)t0sin(π+4πn)(ts)2(η+ξ)h(s,λ)ds

    and

    xn(t)+h(t,λ)=An(π+4πn2(η+ξ))2(sin(π+4πn)t2(η+ξ)cos(π+4πn)t2(η+ξ))h(t,λ)+π+4πn2(η+ξ)t0sin(π+4πn)(ts)2(η+ξ)h(s,λ)ds+h(t,λ)=λ2xn(t).

    Also we have x(0)λx(0)=0.

    Example 1. Let h(t,λ)=λ2. Then we find that

    xp(t)=t0sinλ(ts)λλ2ds=cosλt1

    and the multiple solutions of the nonlocal problem (1.3) and (1.2) are given by

    xn(t)=A1sin(π+4πn)t2(η+ξ)+A2cos(π+4πn)t2(η+ξ)+cosλt1.

    Now consider the Riemann integral boundary condition (1.4).

    Corollary 4. The multiple solutions (eigenfunctions) xn(t) of the problem (1.3)-(1.4) are given by

    xn(t)=An(sin(1+4n)t2+cos(1+4n)t2)t0sin(1+4n)(ts)21+4n2h(s,λ)ds.

    Proof. In this special case, we put ξ=0 and η=π and applying Theorem 5.3 we get the result.

    Example 2. Let h(t,λ)=λ2. Then we find that

    xp(t)=t0sinλ(ts)λλ2ds=cosλt1,

    and the solution xn(t) of the problem (1.3)-(1.4) are given by

    xn(t)=An(sin(1+4n)t2+cos(1+4n)t2)+cosλt1.

    Here, we proved the existence of solutions xC[0,π] of the nonlocal boundary value problem of the differential inclusion (1.1) with the nonlocal condition (1.2).

    The maximal and minimal solutions of the problem (1.1)-(1.2) have been proved. The eigenvalues and eigenfunctions of the homogeneous and nonhomogeneous equations (4.1) and (1.3) with the nonlocal condition (1.2) have been obtained. Two examples have been studied to illustrate our results.

    We thank the referees for their constructive remarks and comments on our work which reasonably improved the presentation and the structure of the manuscript.

    The authors declare no conflict of interest.



    [1] J. P. Aubin, A. Cellina, Differential Inclusions: Set-Valued Maps and Viability Theory, vol. 264, Springer, Berlin, 2012.
    [2] A. V. Bitsadze, A. A. Samarskii, Some elementary generalizations of linear elliptic boundary value problems, Dokl. Akad. Nauk, 185 (1969), 739–740.
    [3] K. Bingele, A. Bankauskiene, A. Štikonas, Investigation of Spectrum Curves for a Sturm–Liouville problem with Two-Point Nonlocal Boundary Conditions, Math. Model. Anal., 25 (2020), 53–70. https://doi.org/10.3846/mma.2020.10787 doi: 10.3846/mma.2020.10787
    [4] R. F. Curtain, A. J. Pritchard, Functional analysis in modern appliedmathematics, Academic press, 1977.
    [5] A. M. A. El-Sayed, A. G. Ibrahim, Multivalued fractional differential equations, Appl. Math. Comput., 68 (1995), 15–50. https://doi.org/10.1016/0096-3003(94)00080-N doi: 10.1016/0096-3003(94)00080-N
    [6] A. M. A. El-Sayed, A. G. Ibrahim, Set-valued integral equation of fractional orders, Appl. Math. Comput. 118 (2001), 113–121. https://doi.org/10.1016/S0096-3003(99)00087-9
    [7] A. M. A. El-Sayed, M. Sh. Mohamed, R. E. M Embia, On the multiple solutions of a nonhomogeneous Sturm-Liouville equation with nonlocal boundary conditions, International Journal of Applied Mathematics, 32 (2019), 35–43. https://doi.org/10.12732/ijam.v32i1.3 doi: 10.12732/ijam.v32i1.3
    [8] A. M. A. El-Sayed, H. H. G. Hashem, Sh. M. Al-Issa, Qualitative properties of solutions of fractional order boundary value problems, Int. J. Nonlinear Anal. Appl., 13 (2022), 3427–3440.
    [9] N. S. Imanbaev, Y. Kurmysh, On computation of eigenfunctions of composite type equation with regular boundary conditions, International Journal of Applied Mathematics, 34 (2021), 681–692. https://doi.org/10.12732/ijam.v34i4.7 doi: 10.12732/ijam.v34i4.7
    [10] V. Lakshmikantham, S. Leela, Differential and Integral Inequalities, vol. 1, Academic press, New York-London, 1969.
    [11] A. Skucaite, A. Stikonas, Spectrum curves for SturmLiouville problem with integral boundary condition, Math. Model. Anal., 20 (2015), 802818. https://doi.org/10.3846/13926292.2015.1116470 doi: 10.3846/13926292.2015.1116470
    [12] A. Skucaite, K. Skucaite-Bingele, S. Peciulyte, A. Stikonas, Investigation of the spectrum for the SturmLiouville problem with one integral boundary Condition, Nonlinear Anal. Model. Control, 15 (2010), 501512. https://doi.org/10.15388/NA.15.4.14321 doi: 10.15388/NA.15.4.14321
    [13] A. Skucaite, A. Stikonas, Zeroes and poles of a characteristic function for SturmLiouville problem with nonlocal integral condition, Liet. matem. rink. Proc. LMS, Ser. A, 56 (2015), 95100. https://doi.org/10.15388/LMR.A.2015.17 doi: 10.15388/LMR.A.2015.17
    [14] A. Skucaite, A. Stikonas, Investigation of the spectrum of the Sturm Liouville problem with a nonlocal integral condition, Liet. matem. rink. Proc. LMS, Ser. A, 54 (2013), 67–72. https://doi.org/10.15388/LMR.A.2013.15 doi: 10.15388/LMR.A.2013.15
    [15] A. Skucaite, A. Stikonas, Investigation of the Sturm Liouville problems with integral boundary condition, Liet. matem. rink. Proc. LMS, Ser. A, 52 (2011), 297–302. https://doi.org/10.15388/LMR.2011.sm03 doi: 10.15388/LMR.2011.sm03
  • This article has been cited by:

    1. Hameda Mohamed Alama, On some spectral properties of nonlocal boundary-value problems for nonlinear differential inclusion, 2024, 76, 1027-3190, 1427, 10.3842/umzh.v76i10.7772
    2. Gabriela Mihaylova, Petio Kelevedjiev, Existence of solutions to Sturm–Liouville boundary value problems , 2025, 14173875, 1, 10.14232/ejqtde.2025.1.1
  • Reader Comments
  • © 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1737) PDF downloads(63) Cited by(2)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog