arxiv: v1 [math.ca] 14 Nov 2018

Transcription

1 arxiv: v1 [math.ca] 14 Nov 218 Existence and multiplicity results for some generalized Hammerstein equations with a parameter Lucía López-Somoza 1 and Feliz Minhós 2,3 1 Instituto de Matemáticas, Facultade de Matemáticas, Universidade de Santiago de Compostela, Santiago de Compostela, Galicia, Spain. lucia.lopez.somoza@usc.es 2 Departamento de Matemática, Escola de Ciências e Tecnologia, 3 Centro de Investigação em Matemática e Aplicações (CIMA), Instituto de Investigação e Formação Avançada, Universidade de Évora, Évora, Portugal. fminhos@uevora.pt Keywords: Hammerstein equations, nonlinear boundary value problems, parameter dependence, degree theory, fixed points in cones. MSC: 34B8, 34B1, 34B15, 34B18, 34B27. Abstract This paper considers the existence and multiplicity of fixed points for the integral operator T u(t) = λ k(t,s)f(s,u(s),u (s),...,u (m) (s)) ds, t [,T] I, where λ > is a positive parameter, k : I I R is a kernel function such that k W m,1 (I I), m is a positive integer with m 1, and f : I R m+1 [,+ [ is a L 1 -Carathéodory function. The existence of solutions for these Hammerstein equations is obtained by fixed point index theory on new type of cones. Therefore some assumptions must hold only for, at least, one of the derivatives of the kernel or, even, for the kernel, on a subset of the domain. Assuming some asymptotic conditions on the nonlinearity f, we get sufficient conditions for multiplicity of solutions. Two examples will illustrate the potentialities of the main results, namely the fact that the kernel function and/or some derivatives may only be positive on some subintervals, which can degenerate to a point. Moreover, an application of our method to general Lidstone problems improves the existent results on the literature in this field. First author was partially supported by Xunta de Galicia (Spain), project EM214/32, AIE Spain and FEDER, grants MTM P, MTM P, and FPU scholarship, Ministerio de Educación, Cultura y Deporte, Spain. Corresponding author 1

2 1 Introduction In this work we will study the existence and multiplicity of fixed points of the integral operator T u(t) = λ k(t,s)f(s,u(s),u (s),...,u (m) (s))ds, t [,T] I, (1) where λ > is a positive parameter, k : I I R is a kernel function such that k W m,1 (I I), m is a positive integer with m 1, and f : I R m+1 [,+ [ is a L 1 - Carathéodory function. The solvability of these type of integral equations, known as Hammerstein equations (see [13]), has been considered by many authors. In fact they have become a generalization of differential equations and boundary value problems and a main field for applications of methods and techniques of nonlinear analysis, as it can be seen, for instance, in [3,8,12,15 18,22]. In [5], the authors consider a third order three-point boundary value problem, whose solutions are the fixed points of the integral operator Tu(t) = λ 1 G(t,s)f(s,u(s),u (s),u (s)) ds, t [,1], where G(t, s) is an explicit Green s function, verifying some adequate properties such that G(t,s) and G t (t,s) are bounded and non-negative in the square [,1] [,1], but 2 G t (t,s) 2 could change sign, being non-negative in a subset of the square. In [9], it is studied a generalized Hammerstein equation u(t) = 1 k(t,s) g(s) f(s,u(s),u (s),...,u (m) (s)) ds, (2) with k : [,1] 2 R a kernel function where, in short, k W m,1( [,1] 2), m 1 is integer, g : [,1] [, ) in almost everywhere t [,1] non-negative, and f : [,1] R m+1 [, ) is a L Carathéodory function. Moreover, the kernel k(t,s) and its derivatives i k(t,s), for t i i = 1,...,m, are bounded and non-negative on the square [,1] [,1]. Our work generalize the existing results in the literature introducing a new type of cone, u C m (I,R) : u (i) (t), t [m i,n i ], i J; K = min t [a j,b j ] u(j) (t) ξ j u (j) [cj,d j ],j J 1, where the non-negativeness of the functions may happen only on a subinterval, possibly degenerate, that is reduced to a point, and, as J 1 J, J 1, the second property can hold, locally, only for a restrict number of derivatives, including the function itself. In this way, it is not required, as it was usual, that k(t,s) and i k(t,s) have constant sign on the square. t i Another important novelty is given by (H 4 ), where the bounds must hold only for, at least, one of the derivatives of the kernel or, even, for the kernel, on a subset of the domain. Assuming some asymptotic conditions on the nonlinearity f and applying index theory, we obtain 2

3 sufficient conditions for multiplicity of solutions, more precisely, for the existence of two or more solutions. Moreover, the application in last section contains new sufficient conditions for the solvability of 2n-th order Lidstone problems. In fact, our method allows that the nonlinearities may depend on derivatives of even and odd order, which is new in the literature on this type of problems, as it can be seen, for instance, in [6,19,25,28]. In this way, our results fill some gaps and improve the study of Lidstone and complementary Lidstone problems. The paper is organized in the following way: Section 2 contains the main assumptions, the definition of the new cone and some properties on the integral operator. In section 3, the existence results are obtained with several asymptotic assumptions on f of the sublinear or superlinear type, near or +. Section 4 presents existence and multiplicity results applying fixed point index theory. Section 5 has two examples to illustrate our main results and, moreover, to emphasize the importance that (H 4 ) holds only for some derivatives and that the subsets could be reduced to a point. Last section contains an application to 2n-th order Lidstone problems, which allows the dependence of the nonlineariry on odd and even derivatives. 2 Hypothesis and auxiliary results Let s consider E = C m (I, R) equipped with the norm u = max u (i), i J}, where v = sup v(t) and J,1,...,m}. It is very well-known that (E, ) is a Banach t I space. Throughout the paper we will make the following assumptions: (H 1 ) The kernel function k: I I R is such that k W m,1 (I I), with m 1. Moreover, for i =,...,m 1, it holds that for every ε > and every fixed τ I, there exists some δ > such that t τ < δ implies that i k i k t i(t,s) t i(τ,s) < ε for a.e. s I. Finally, for the m-th derivative of the kernel, it holds that for every ε > and every fixed τ I, there exist a set Z τ I with measure equal to zero and some δ > such that t τ < δ implies that m k m k t m(t,s) t m(τ,s) < ε, s I \Z τ such that s < mint,τ} or s > maxt,τ}. (H 2 ) For each i J J, J, there exists a subinterval [m i,n i ] such that i k t i (t,s) for all t [m i,n i ], s I. It is possible that the interval is degenerated, that is, m i = n i. 3

4 (H 3 ) For i J, there are positive functions h i L 1 (I) such that i k t i (t,s) h i(s) for t I and a.e. s I. (H 4 ) For each j J 1 J, J 1, there exist subintervals [a j,b j ] and [c j,d j ], positive functions φ j : I [, ) and constants ξ j (,1) such that j k t j (t,s) φ j(s) for t [c j,d j ] and a.e. s I, and Moreover, φ j L 1 (I) satisfies j k t j (t,s) ξ jφ j (s) for t [a j,b j ] and a.e. s I. bj a j φ j (s) ds >. (H 5 ) There exists i J such that either [c i,d i ] I or [m i,n i ] I and, moreover,,1,...,i } J. (H 6 ) The nonlinearity f: I R m+1 [, ) satisfies L 1 -Carathéodory conditions, that is, f(,x,...,x m ) is measurable for each (x,...,x m ) fixed. f(t,,, ) is continuous for a.e. t I. For each r > there exists ϕ r L 1 (I) such that f(t,x,...,x m ) ϕ r (t), (x,...,x m ) ( r,r) m+1, a.e. t I. (H 7 ) Functions h i defined in (H 3 ) and ϕ r defined in (H 6 ) are such that h i ϕ r L 1 (I) for every i J and r >. We will look for fixed points of operator T on a suitable cone on the Banach space E. We recall that a cone K is a closed and convex subset of E satisfying the two following properties: If x K, then λx K for all λ. K ( K) = }. Now, taking into account the properties satisfied by the kernel k, we define u C m (I,R) : u (i) (t), t [m i,n i ], i J ; K = min t [a j,b j ] u(j) (t) ξ j u (j) [cj,d j ], j J 1, where u (j) [cj,d j ] : = max 4 t [c j,d j ] u (j) (t).

5 Lemma 1. Hypothesis (H 5 ) warrants that K is a cone in E. Proof. We need to verify that K satisfies the two properties which characterize cones in a Banach space. First of all, from the definition of K, it is trivial to check that if x K, then λx K for all λ. Now, to prove that K ( K) = }, we will distinguish between two different cases: (I) There exists i J such that [m i,n i ] I. Suppose that u, u K. Then u (i ) (t) and u (i ) (t) for all t I, which implies that u (i ) on I. If i 1, u (i 1) is constant on I. Now, we have that u (i 1) (t) and u (i 1) (t) for all t [c i 1,d i 1], that is u (i 1) on [c i 1,d i 1]. Then, since u (i 1) is constant on I, we deduce that u (i 1) on I. Using the same argument repeatedly we conclude that u on I. In this way, we have proved that K ( K) = }. (II) There exists i J such that [c i,d i ] I. Suppose again that u, u K. Then, from the fact that min t [a i,b i ] u(i ) (t) ξ i u (i) I and ( ) min u (i) (t) t [a i,b i ] ξ i u (i ) I, it is deduced that u (i ) I =, which implies that u (i ) on I. Now, following the same arguments than in Case (I), we deduce the result. In next section, considering some additional properties on the function f, we will ensure the existence of fixed points of operator T. However, before doing that, we obtain some previous technical results. Lemma 2. If (H 1 ) (H 7 ) hold, then T : K K is a completely continuous operator. Proof. We divide the proof into several steps. Step 1. T is well defined in K. Let u K. The proof that T u C m (I,R) follow standard techniques and so we omit it. We will prove that Tu K. It is obvious that, for i J, (T u) (i) (t) for all t [m i,n i ]. Moreover, for j J 1 and t [c j,d j ], we have that (T u) (j) (t) λ λ j k t j(t,s) f(s,u(s),...,u(m) (s)) ds φ j (s)f(s,u(s),...,u (m) (s)) ds, 5

6 and, taking the supremum for t [c j,d j ], we deduce that (T u) (j) [cj,d j ] λ On the other hand, for t [a j,b j ], we have (T u) (j) (t) = λ and we deduce that λ φ j (s)f(s,u(s),...,u (m) (s)) ds. j k t j(t,s)f(s,u(s),...,u(m) (s)) ds ξ j φ j (s)f(s,u(s),...,u (m) (T (s)) ds ξ j u) (j) (T min (T t [a j,b j ] u)(j) (t) ξ j u) (j) for j J 1. Therefore, we can conclude that Tu K. Step 2. T is continuous in C m (I,R). This part also follows standard techniques. Step 3. T is a compact operator. Let s consider B = u E; u r}. [cj,d j ] First, we will prove that T(B) is uniformly bounded in C m (I). We find the following bounds for u B and i J: (T u) (i) T = sup λ i k t i (t,s)f(s,u(s),...,u(m) (s)) ds λ t I with M i >. Therefore, h i (s)f(s,u(s),...,u (m) (s)) ds λ T u maxm i : i J}, u B. [cj,d j ] h i (s)ϕ r (s) ds := M i, Now, we will prove that T(B) is equicontinuous in C m (I). Let t 2 I be fixed. Then, for every ε >, take δ > given in (H 1 ) and for i =,...,m 1, it holds that t 1 t 2 < δ implies that (T u) (i) (t 1 ) (T u) (i) (t 2 ) λ λ i k t i (t 1,s) i k t i (t 2,s) f(s,u(s),...,u(m) (s)) ds i k t i (t 1,s) i k t i (t T 2,s) ϕ r(s) ds ελ ϕ r (s) ds, 6

7 and, since ϕ r L 1 (I), it is clear that there exists a positive constant κ 1 such that (T u) (i) (t 1 ) (T u) (i) (t 2 ) < κ 1 ε for all u B. On the other hand, for the m-th derivative, for every ε >, take δ > given in (H 1 ) and t 1 t 2 < δ, t 1 < t 2, implies that (T u) (m) (t 1 ) (T u) (m) (t 2 ) λ λ =λ t1 +λ +λ m k t m(t 1,s) m k t m(t 2,s) f(s,u(s),...,u(m) (s)) ds m k t m(t 1,s) m k t m(t 2,s) ϕ r(s) ds m k t m (t 1,s) m k t m(t 2,s) ϕ r(s) ds m k t 1 t m(t 1,s) m k t m(t 2,s) ϕ r(s) ds m k t m(t 1,s) m k t m(t 2,s) ϕ r(s) ds. t2 t 2 From (H 1 ), it is clear that first and third integrals in last term of previous expression can be arbitrarily small when t 1 t 2 < δ. Moreover, m k t (t m 1, ) m k t (t m 2, ) ϕr ( ) L 1 [t 1,t 2 ] and so there exists some δ > such that t2 λ m k t m(t 1,s) m k t m(t 2,s) ϕ r(s) ds < ε t 1 when t 1 t 2 < δ. Therefore it is clear that, for t 1 t 2 < minδ,δ }, t 1 < t 2, there exists a positive constant κ 2 such that (T u) (m) (t 1 ) (T u) (m) (t 2 ) < κ 2 ε for all u B. Analogously, when t 1 t 2 < δ, t 1 > t 2, there exists some some positive constant κ 3 such that (T u) (m) (t 1 ) (T u) (m) (t 2 ) < κ 3 ε for all u B. We have proved the pointwise equicontinuity on I. Moreover, since I is compact, pointwise equicontinuity is equivalent to uniform equicontinuity. This way, we conclude that T (B) is equicontinuous in C m (I). As a consequence, by Ascoli-Arzelà Theorem, we can affirm that T (B) is relatively compact in C m (I) and so T is a completely continuous operator. 7

8 3 Main results We introduce now the following notation and define and Λ i := h i (s) ds, Λ i := bi a i ξ i φ i (s) ds Λ := (m+1) maxλ i : i J} and Λ: = maxξ i Λ i : i J 1 }. On the other hand, we denote We will give now our existence result. f := liminf min f(t,x,...,x m ) x,..., x m t I x + + x m f f(t,x,...,x m ) := limsup max x,..., x m t I x + + x m. Theorem 3. Assume that hypotheses (H 1 ) (H 7 ) hold. If Λf < Λf, then for all ( ) 1 1 λ, Λf Λf operator T has a fixed point in the cone K, which is not a trivial solution. ( ) Proof. Let λ 1 1 Λf, and choose ε (,f Λf ) such that 1 Λ(f ε) λ 1 Λ(f +ε). Taking into account the definition of f, we know that there exists δ 1 > such that when u δ 1, ( ) f(t,u(t),...,u (m) (t)) > (f ε) u(t) + + u (m) (t), t I. Let Ω δ1 = u K; u < δ 1 } 8

9 and choose u Ω δ1. We will prove that Tu u. We have that for t [a i,b i ] and j J 1, (T u) (j) (t) =λ λ >λ bj j k bj j k t j(t,s)f(s,u(s),...,u(m) (s)) ds λ a j t j(t,s)f(s,u(s),...,u(m) (s)) ds a j ξ j φ j (s)f(s,u(s),...,u (m) (s)) ds bj a j ξ j φ j (s)(f ε) λ(f ε)ξ j u (j) [aj,b j ] ( ) u(s) + + u (m) (s) ds bj a j ξ j φ j (s) ds =λ(f ε)ξ j u (j) [aj,b j ]Λ j λ(f ε)λ j ξ j u (j) (t). As a consequence we have that for some j J 1, (T u) (j) (t) > u (j) (t) for all t [a j,b j ] and so it is proved that T u u. We deduce (see [11, Theorem 2.3.3]) that i K (T, Ω δ1 ) =. On the other hand, due to the definition of f, we know that there exists C > such that when min u (i) (t) : i J } C, f(t,u(t),...,u (m) (t)) (f +ε) Let C > δ 1, C} and define Ω C = ( ) u(t) + + u (m) (t) (m+1)(f +ε) u, t I. m i= } u K : min t I u(i) (t) < C. We note that Ω C is an unbounded subset of the cone K. Because of this, the fixed point index of operator T with respect to Ω C, i K (T, Ω C ), is only defined in the case that the set of fixed points of operator T in Ω C, that is, (I T ) 1 (}) Ω C, is compact (see [1] for the details). We will see that i K (T, Ω C ) can be defined in this case. First of all, since (I T ) is a continuous operator, it is obvious that (I T ) 1 (}) Ω C is closed. Moreover, we can assume that (I T ) 1 (}) Ω C is bounded. Indeed, on the contrary, we would have infinite fixed points of operator T on Ω C and it would be immediately deduced that T has an infinite number of fixed points in the cone K. Therefore we may assume that there exists a constant M > such that u < M for all u (I T ) 1 (}) Ω C. Finally, it is left to see that (I T) 1 (}) Ω C is equicontinuous. This property follows from the fact that (I T) 1 (}) Ω C is bounded. The proof is totally analogous to Step 3 in the proof of Lemma 2. 9

10 Now, we will calculate i K (T, Ω C ). In particular, we will prove that T u u for all u Ω C. Let u Ω C, that is, u K such that } min min t I u(i) (t) : i J = C. Then, for i J, (T u) (i) (t) λ We deduce that (m+1)λ i k t i(t,s) f(s,u(s),...,u(m) (s)) ds λ λ(f +ε) u Λ u. h i (s)(f +ε) u ds = (m+1)λ(f +ε) u Λ i T u u and as a consequence ([1, Corollary 7.4]) we have that i K (T, Ω C ) = 1. Therefore, we conclude that T has a fixed point in Ω C \Ω δ1. Consequently, we obtain the following Corollary 4. Assume that hypotheses (H 1 ) (H 7 ) hold. Then, h i (s)f(s,u(s),...,u (m) (s)) ds (i) If f = and f =, then for all λ (, ), T has a fixed point in the cone. ( (ii) If f = and < f 1 <, then for all λ, ), T has a fixed point in the cone. Λf ( ) (iii) If < f < and f =, then for all λ 1 Λf,, T has a fixed point in the cone. 4 Existence and multiplicity of solutions In this section we will use the fixed point index theory to study the existence of multiple fixed points of operator T. In [4] the authors apply similar arguments to functional equations that only depend on the values of u. First of all, we compile some classical results regarding to fixed point index (see [2,11] for the details). Lemma 5. Let D be an open bounded set with D K = D K and D K K. Assume that F: DK K is a compact map such that x F x for x D K. Then the fixed point index i K (F,D K ) has the following properties: (1) If there exists e K \} such that x F x+αe for all x D K and all α >, then i K (F,D K ) =. 1

11 (2) If µx F x for all x D K and for every µ 1, then i K (F,D K ) = 1. (3) Let D 1 be open in X with D 1 D K. If i K (F,D K ) = 1 and i K (F,DK 1 ) =, then F has a fixed point in D K \ D K 1. The same result holds if i K(F,D K ) = and i K (F,DK 1 ) = 1. We will define the following sets: K ρ = u K; u < ρ}, } V ρ = u K : min t [a i,b i ] u(i) (t) < ρ, i J 2, u (i) < ρ, i J \J 2, where J =,...,m} and J 2 = i J : [c i,d i ] I}. To ensure that the sets K ρ and V ρ are not the same, we need to change condition (H 5 ) into ( H 5 ) There exists i,...,m} such that [c i,d i ] I and, moreover,,1,...,i } J. where In this situation, it is clear that J 2 and therefore K ρ V ρ Kρ c c = minξ i : i J 2 }. (3) Now we will give sufficient conditions under which the index of the previous sets is either 1 or. Lemma 6. Let and If there exists ρ > such that then i K (T,K ρ ) = 1. 1 N = max sup t I i } k t i(t,s) ds : i J } f ρ f(t,x,...,x m ) = sup ; t I, x i [ ρ,ρ], i J. ρ λ fρ N < 1, (I1 ρ ) Proof. We will prove that T u µu for all u K ρ and for every µ 1. Suppose, on the contrary, that there exist some u K ρ and µ 1 such that µu (i) (t) = λ i k t i(t,s)f(s,u(s),...,u(m) (s)) ds. 11

12 Taking the supremum for t I, we obtain that µ u (i) λ sup i k t I t i(t,s) f(s,u(s),...,u(m) (s)) ds λρf ρ sup λρ fρ N < ρ. Consequently, we deduce that µρ = µ max u (i) : i J} < ρ, which contradicts the assumption that µ 1. Therefore, i K (T,K ρ ) = 1. Lemma 7. For i J 1, let and f i ρ = inf f(t,x,...,x m ) ρ 1 bi i k = inf M i t [a i,b i ] a i ti(t,s) ds, : t [a i,b i ], x j If there exists ρ > and i J 1 such that then i K (T,V ρ ) =. t I i k t i(t,s) ds [, ρξj ], j J 2, x k [,ρ], k J \J 2 }. λ fi ρ > 1, (I M ρ) i Proof. We will prove that there exists e K \} such that u Tu+αe for all u V ρ and all α >. Let us take e(t) = 1 and suppose that there exists some u V ρ and α > such that u = T u+α. Then, for t [a i,b i ], u (i ) (t) λ λρf i ρ i k t i (t,s)f(s,u(s),...,u(m) (s)) ds λ bi a i i k t i (t,s) ds > ρ. bi a i i k t i (t,s)f(s,u(s),...,u(m) (s)) ds Consequently, u (i ) (t) > ρ for t [a i,b i ], which is a contradiction. Thus, i K (T,V ρ ) =. Combining the previous lemmas, it is possible to obtain some conditions under which operator T has multiple fixed points. Theorem 8. Assume that conditions (H 1 ) (H 4 ), ( H 5 ) and (H 6 ) (H 7 ) hold and let c be defined in (3). The integral equation (1) has at least one non trivial solution in K if one of the following conditions hold 12

13 (C1) There exist ρ 1, ρ 2 (, ), ρ 1 c < ρ 2, such that (I ρ 1 ) and (I 1 ρ 2 ) are verified. (C2) There exist ρ 1, ρ 2 (, ), ρ 1 < ρ 2, such that (I 1 ρ 1 ) and (I ρ 2 ) are verified. The integral equation (1) has at least two non trivial solutions in K if one of the following conditions hold (C3) There exist ρ 1, ρ 2, ρ 3 (, ), ρ 1 c < ρ 2 < ρ 3, such that (I ρ 1 ), (I 1 ρ 2 ) and (I ρ 3 ) are verified. (C4) There exist ρ 1, ρ 2, ρ 3 (, ), with ρ 1 < ρ 2 and ρ 2 c < ρ 3, such that (I 1 ρ 1 ), (I ρ 2 ) and (I 1 ρ 3 ) are verified. The integral equation (1) has at least three non trivial solutions in K if one of the following conditions hold (C5) There exist ρ 1, ρ 2, ρ 3, ρ 4 (, ), with ρ 1 c < ρ 2 < ρ 3 and ρ 3 c < ρ 4, such that (Iρ 1 ), (Iρ 1 2 ), (Iρ 3 ) and (Iρ 1 4 ) are verified. (C6) There exist ρ 1, ρ 2, ρ 3, ρ 4 (, ), with ρ 1 < ρ 2 and ρ 2 c < ρ 3 < ρ 4, such that (I 1 ρ 1 ), (I ρ 2 ), (I 1 ρ 3 ) and (I ρ 4 ) are verified. The proof of the previous result is an immediate consequence of the properties of the fixed point index. Moreover, it must be point out that, despite of the fact that the previous theorem studies the existence of one, two or three solutions, similar results can be formulated to ensure the existence of four or more solutions. 5 Examples Example 9. Consider the following boundary value problem: u (3) (t) = λ et ( u(t) + u (t) + u (t) ) 1+(u(t)) 2, t [,1], u() = u(1), u () = 1 2 u (1), u () =. (4) The Green s function related to the homogeneous problem u (3) (t) =, t [,1], is the following one G(t,s) = u() = u(1), u () = 1 2 u (1), u () =, 1 4 (1 s)( 3+s+4t), t s, 1 4 ( 3+s(s+4)+2t(t+2) 8st), s < t. 13

14 Therefore, solutions of the boundary value problem (4) correspond with the fixed points of the following operator: Tu(t) = λ 1 G(t,s)f(s,u(s),u (s),u (s)) ds, t [,1], which is a particular case of the operator defined in (1) for T = 1, m = 2, k G and f(t,x,y,z) = et ( x + y + z ). Wewillcheck nowthatthekernelgsatisfiesconditions(h 1+x 2 1 ) (H 5 ). To do that, we need to calculate the explicit expression of the first and second partial derivatives of the Green s function, that is, G 1 s, t s, t (t,s) = 1 2s+t, s < t, and 2 G, t < s, t 2 (t,s) = 1, s < t. Using this expressions, we are able to check that the required conditions hold: (H 1 ) Let τ I be fixed. Both G and G t are uniformly continuous so the hypothesis is immediate for i =,1. Moreover, for the second derivative 2 G (that is, for the case t 2 i = m = 2), we can take Z τ = τ} and we have that 2 G t 2 (t,s) 2 G t 2 (τ,s) = 1 1 =, s < mint,τ} and so the hypothesis hold. 2 G t 2 (t,s) 2 G t 2 (τ,s) (H 2 ) Numerically, it can be seen that = =, s > maxt,τ}, G(t,s), for all t [t,1], s [,1], with t Therefore, in this case [m,n ] = [t,1]. Moreover, both G t and 2 G are nonnegative on the square [,1] [,1], which means t 2 that [m 1,n 1 ] = [m 2,n 2 ] = [,1]. (H 3 ) It can be checked that G(t,s) 1 4 (3 4s+s2 ), for all t [,1], s [,1], 14

15 and the equality holds for t = and t = 1 so the choice h (s) = 1 4 (3 4s + s2 ) is optimal. This inequality can be easily proved by taking into account that, since G t is nonnegative, then G(, s) is nondecreasing for every s [, 1] and, therefore, G(t,s) max G(,s), G(1,s) } = 1 4 (3 4s+s2 ). For the first derivative, it holds that G t (t,s) 2(1 s), for all t [,1], s [,1], and the equality holds for t = 1, so h 1 (s) = 2(1 s) is also optimal. Finally, 2 G t 2 (t,s) and h 2 (s) = 1 is trivially optimal. 1, for t [,1] and a.e. s [,1], (H 4 ) If we take φ (s) = h (s) = 1 4 (3 4s + s2 ), [c,d ] = [,1], and [a,b ] = [t 1,1] with t 1 > t (t given in (H 2 )), it holds that there exists a constant ξ (t 1 ) (,1) such that G(t,s) ξ (t 1 )φ (s), for all t [t 1,1], s [,1]. We note that the bigger t 1 is, the bigger the constant ξ (t 1 ) is. For instance, if we take t 1 =.62, we can choose ξ = With regard to the first derivative of G, it satisfies that G (t,s) 2(1 s), for all t [,1], s [,1], t that is, we could take φ 1 (s) = h 1 (s) = 2(1 s), [c 1,d 1 ] = [,1], ξ 1 = 1 2 and [a 1,b 1 ] = [,1]. Finally, for the second derivative of G, it does not exist a suitable function φ 2 and a constant ξ 2 for which the inequalities in (H 4 ) hold. As a consequence, we deduce that J 1 =, 1}. Moreover, it is obvious that b i a i φ i (s) ds > for i =,1. (H 5 ) It is immediately deduced from the proofs of the previous conditions. Moreover, the nonlinearity f satisfies condition (H 6 ). We will work in the cone u C 2 ([,1],R) : u(t), t [t,1], u (t),u (t), t [,1]; K = min u(t) ξ (t 1 ) u [,1], min t [t 1,1] t [,1] u (t) 1 2 u [,1]. 15

16 With the notation introduced in Section 3, we obtain the following values for the constants involved in Theorem 3: Λ = 1 3, Λ1 = 1, Λ 2 = 1, and therefore and so Λ = 3 max Λ, Λ 1, Λ 2} = 3, ( 1 Λ = ξ (t 1 ) t t2 1 1 ) 12 t3 1, Λ 1 = 1 2, ( 1 Λ = max ξ 2 (t 1) t t2 1 1 ) 12 t3 1, 1 }. 4 We note that, since ξ (t 1 ) (,1), ( 1 ξ(t 2 1 ) t t2 1 1 ) 12 t3 1 < t t t3 1 and it is easy to see that the right hand side of previous inequality decreases with t 1 and, in particular, it is always smaller than 1 4. Thus, Λ = 1 4 independently of the value of t 1. On the other hand, we obtain the following values for the limits over the nonlinearity f: f = liminf x, y, z min t [,1] f = limsup x, y, z max t [,1] e t ( x + y + z ) (1+x 2 )( x + y + z ) = e t ( x + y + z ) (1+x 2 )( x + y + z ) = lim x, y, z lim x, y, z 1 (1+x 2 ) = 1, e (1+x 2 ) =. Therefore, from Corollary 4, we deduce that for all λ (4, ), T has at least a fixed point in the cone K, with independence of the choice of t 1. This fixed point is a nontrivial solution of problem (4). On the other hand, we will prove that it is not possible to apply Theorem 8 to this example. With the notation introduced in Lemma 7, we have that and f ρ = inf e t ( x + y + z ) ρ(x 2 +1) f 1 ρ = inf e t ( x + y + z ) ρ(x 2 +1) : t [t 1,1], x : t [,1], x [, ρ ξ (t 1 ) ] }, y [,2ρ], z [,ρ] = [ ] } ρ,, y [,2ρ], z [,ρ] =, ξ (t 1 ) and therefore it does not exist any ρ such that condition (Iρ ) holds. Thus Theorem 8 is not applicable to this example. 16

17 Example 1. Consider now the following Lidstone fourth order problem: ( u (4) (t) = λt e u(t) +(u (t)) 2 +(u (t)) 2 +(u (t)) 2), t [,1], u() = u(1) = u () = u (1) =. (5) Notice that fourth order differential equations with this type of boundary conditions have been applied for the study of the bending of simply supported elastic beams (see [21,24]) or suspension bridges (see [7, 2]). The Green s function related to the homogeneous problem u (4) (t) =, t [,1], has the following expression: u() = u(1) = u () = u (1) =. t(1 s)(2s s 2 t 2 ), t s, G(t,s) = 1 6 s(1 t)(2t t 2 s 2 ), s < t, which implies that the solutions of problem (5) coincide with the fixed points of Tu(t) = λ 1 G(t,s)f(s,u(s),u (s),u (s),u (s)) ds, t [,1]. Previous operator is a particular case of (1) for T = 1, m = 3, k G and f(t,x,y,z,w) = t ( e x +y 2 +z 2 +w 2). Next, we will give the explicit expressions of the first, second and third derivatives of the Green s function: G t (t,s) = 1 (1 s)( 2s+s 2 +3t 2 ), t s, 6 s(2+s 2 +3t 2 6t), s < t, 2 G t 2 (t,s) = 3 G t 3 (t,s) = t(1 s), t s, s(1 t), s < t, (1 s), t < s, s, s < t, and now we will see that they satisfy the required hypotheses: (H 1 ) As in previous example, it is easy to verify that this condition holds. (H 2 ) The Green s function G is nonnegative on [,1] [,1] (in fact it is positive on (,1) (,1)). Therefore [m,n ] = [,1]. 17

18 For first derivative it holds that G t (t,s) for all t [,t 2], s [,1], with t 2 = Thus [m 1,n 1 ] = [,t 2 ]. With respect to the second derivative, it is immediate to see that it is nonpositive on its square of definition. However it is zero on the boundary of the square, so we could take [m 2,n 2 ] = } (it would also be possible to choose [m 2,n 2 ] = 1}). Finally, the third derivative is nonnegative on the triangle that is, [m 3,n 3 ] = 1}. (H 3 ) We have that (t,s) [,1] [,1] : s < t}, G(t,s) = G(t,s) h (s) for all t [,1], s [,1], where h (s) = 1 s(1 s 2 9 ) 3 2, s 1 2, 3 (1 s)(2s s 2 ) 3 1 2, 2 < s 1. Previous inequality has been proved in [26]. Previous inequality is optimal in the sense that for each s [,1] there exists at least one value of t [,1] for which the equality is satisfied. Analogously, it holds that G t (t,s) h 1(s) for all t [,1], s [,1], for h 1 (s) = 1 6 s(1 s) 2 s, s 1 2, 1+s, 1 2 < s 1, and the equality holds for s 1 2 at t = and for 1 2 < s 1 at t = 1, so this choice of h 1 is optimal. For the second derivative, we have that 2 G t 2 (t,s) s(1 s) h 2(s) for all t [,1], s [,1], and the inequality is optimal in the same way than for the Green s function G. With regard to the third derivative, it satisfies that 3 G t 3 (t,s) maxs,1 s} h 3(s) for t [,1] and a.e. s [,1], and the inequality is also optimal. 18

19 (H 4 ) If we choose φ (s) = h (s), given in (H 3 ), and [c,d ] = [,1], then for any closed interval [a,b ] (,1), it is possible to find a constant ξ (a,b ) (,1) such that G(t,s) ξ (a,b )φ (s), for all t [a,b ], s [,1]. This has been proved in [26] with an explicit function. Of course, it is satisfied that the bigger the interval [a,b ] is, the smaller ξ (a,b ) needs to be. Analogously, we can take φ 1 (s) = h 1 (s) and [c 1,d 1 ] = [,1] and it holds that for any interval [,b 1 ], with b 1 < 1 3 3, there exists ξ 1(b 1 ) (,1) such that G t (t,s) ξ 1(b 1 )φ 1 (s), for all t [,b 1 ], s [,1]. Finally, with respect to the second derivative of the Green s function G, it does not exist any pair of function φ 2 and constant ξ 2 such that the inequalities in (H 4 ) hold. The same occurs with the third derivative of G. Therefore J 1 =, 1}. (H 5 ) It is a direct consequence of (H 2 ). Clearly, f satisfies (H 6 ) and (H 7 ). As a consequence of the properties of the Green s function that we have just seen, we will work in the cone u C 3 ([,1],R) : u(t), t [,1], u (t), t [,t 2 ], K = u (t), t,1}, u (1), min u(t) ξ (a,b ) u [,1], t [a,b ] min t [,b 1 ] u (t) ξ 1 (b 1 ) u [,1] Moreover, we will make all the calculations with the values [a,b ] = [.1,.9], ξ = 1 4, [,b 1 ] = [, 1 3] and ξ1 = 1 6. In this case, with the notation introduced in Lemma 6, we have that 1 5 N = max 384, 1 24, 1 8, 1 } = and f ρ 2 = sup t ( e x +y 2 +z 2 +w 2) ρ 2 : t [,1], x, y, z, w [ ρ 2,ρ 2 ] } = eρ 2 +3ρ 2 2 ρ 2, and so ( Iρ 1 ) 2 holds for any λ < 2ρ 2. e ρ 2+3ρ

20 Analogously, with the notation used in Lemma 7, f ρ 1 = inf t ( e x +y 2 +z 2 +w 2) 1 M = 29 75, 1 M 1 = , ρ 1 : t [.1,.9], x [,4ρ 1 ], y [,6ρ 1 ], z, w [,ρ 1 ] } =.1 ρ 1 and f 1 ρ = inf t ( e x +y 2 +z 2 +w 2) ρ 1 : t [, 1 ] }, x [,4ρ 1 ], y [,6ρ 1 ], z, w [,ρ 1 ] =, 3 and thus ( I ρ 1 ) holds for λ > 75ρ Therefore, as a consequence of (C 1 ) in Theorem 8, for any pair of values ρ 1, ρ 2 > such that ρ 1 < cρ 2 = ρ 2 6 and 75ρ 1 29 < 2ρ 2 e ρ 2 +3ρ 2 2, problem (5) has at least a nontrivial solution for all ( ) 75ρ1 2ρ 2 λ, 29 e ρ 2 +3ρ 2. 2 In particular, there exists at least a nontrivial solution of (5) for all On the other hand, we obtain that: f = λ (,.4171). liminf min t ( e x +y 2 +z 2 +w 2) =, x, y, z, w t [,1] x + y + z + w and thus neither Theorem 3 nor Corollary 4 can be applied to this example. 6 Application to some 2n-th order problems In this section we contribute to fill some gaps on the study of general 2n-th order Lidstone boundary value problems, for n 1, usually the nonlinearities may depend only on the even derivatives (see, for example, [6, 19, 25, 28]), or general complementary Lidstone problems, (see [27] and the references therein). Therefore, we consider the following problem, with a full nonlinearity, ( ) u (2n) (t) = f t,u(t),...,u (2n 1) (t), t [,1], (6) u (2k) () = u (2k) (1) =, k =,...,n 1. 2

21 Let G(t, s) be the Green s function related to the homogeneous problem u (2n) (t) =, t [,1], u (2k) () = u (2k) (1) =, k =,...,n 1. It can be checked that, for n 2, g(t,s) = 2n 4 G t 2n 4 (t,s) is the Green s function related to the problem u (4) (t) =, t [,1], u() = u(1) = u () = u (1) =, whose explicit expression has been calculated in Example 1. As a consequence of the calculations made in that example we know that the following facts hold, for n 2: 2n 4 G (t,s) = g(t,s) on [,1] [,1] and 2n 4 G(t,s) = on the boundary of the t 2n 4 t 2n 4 square. 2n 3 G t (t,s) = g 2n 3 t (t,s) on [,t 2] [,1], with t 2 = n 2 G (t,s) = 2 g (t,s) on [,1] [,1], and 2n 2 G(t,s) = on the boundary of the t 2n 2 t 2 t 2n 2 square. 2n 1 G t 2n 1 (t,s) = 3 g t 3 (1,s) for s [,1]. With this information, we can obtain some results about the constant sign both of the derivatives of smaller order of G and of the Green s function itself. 1. Since 2n 4 G(t,s), for n 3, it holds that for each fixed s [,1], 2n 5 G(,s) is t 2n 4 t 2n 5 increasing. Assume that it is nonnegative. Then it would occur that 2n 6 G(,s) is also increasing t 2n 6 and, sincefromtheboundaryvalueconditions itholdsthat 2n 6 G t (,s) = 2n 6 G 2n 6 t (1,s) = 2n 6, we would conclude that 2n 6 G(t,s) = on [,1] [,1], which is not possible. t 2n 6 The same argument holds if we assume that 2n 5 G t 2n 5 (,s) is nonpositive. Therefore, necessarily 2n 5 G t (,s) is sign-changing and, since it is increasing, we know 2n 5 for sure that 2n 5 G(,s) < and 2n 5 G(1,s) > for all s [,1]. t 2n 5 t 2n 5 2. Now, since 2n 5 G t 2n 5 (,s) is sign-changing and increasing, 2n 6 G t 2n 6 (,s) will be first decreasingandthenincreasing. Thistogether withtheboundaryvalueconditions 2n 6 G t 2n 6 (,s) = 2n 6 G t 2n 6 (1,s) = implies that 2n 6 G t 2n 6 is nonpositive. 3. Since 2n 6 G t 2n 6 is nonpositive, we can follow an analogous argument to the one made in 1. to deduce that 2n 7 G t 2n 7 is sign-changing and decreasing. In particular this implies that 2n 7 G(,s) > and 2n 7 G(1,s) < for all s [,1] and n 4. t 2n 7 t 2n 7 21

22 4. Finally, arguing analogously to 2., we can deduce that 2n 8 G t 2n 8 is nonnegative on [,1] [,1], for n 4. We note that we could repeat all the previous arguments iteratively and this way we could deduce the following sign-criteria for the derivatives of G. So, for n k 2 : If k ( mod 4), then 2n k G t 2n k (t,s) on [,1] [,1]. If k 1( mod 4), then 2n k G(,s) is sign-changing and increasing for every s [,1]. t 2n k In particular, 2n k G(,s) < and 2n k G(1,s) > for every s [,1]. t 2n k t 2n k If k 2( mod 4), then 2n k G t 2n k (t,s) on [,1] [,1]. If k 3( mod 4), then 2n k G(,s) is sign-changing and decreasing for every s [,1]. t 2n k In particular, 2n k G(,s) > and 2n k G(1,s) < for every s [,1]. t 2n k t 2n k In particular, if n is even, we could deduce that G(t,s) on [,1] [,1] and, for n odd, G(t,s) on [,1] [,1]. Therefore, the Green s function and its derivatives satisfy the required hypotheses: (H 1 ) As in Example 1, this condition holds as a direct consequence of the general properties of the Green s function. (H 2 ) As we have just proved, we could take [m 2n i,n 2n i ] = [,1] for i ( mod 4), [m 2n i,n 2n i ] = 1} for i 1( mod 4), [m 2n i,n 2n i ] = } for i 2( mod 4) and [m 2n i,n 2n i ] = } for i 3( mod 4). } (H 3 ) It is enough to take h i (s) = max i G (t,s) t : t [,1], for i J. i (H 4 ) For n 2, we could take J 1 = 2n 4,2n 3}. As a consequence of Example 1, we know that 2n 4 G (t,s) t2n 4 = 2n 4 G t 2n 4 (t,s) = g(t,s) φ 2n 4(s), with φ 2n 4 (s) = 1 s(1 s 2 9 ) 2, 3 s 1 2, 3 (1 s)(2s s 2 ) 2, < s 1. Moreover, it holds that for any closed interval [a 2n 4,b 2n 4 ] [,1], there exists a constant ξ 2n 4 (a 2n 4,b 2n 4 ) (,1) such that 2n 4 G t 2n 4 (t,s) ξ 2n 4(a 2n 4,b 2n 4 )φ 2n 4 (s), for all t [a 2n 4,b 2n 4 ], s [,1]. 22

23 Analogously, from Example 1 we know that 2n 3 G (t,s) t2n 3 = g t (t,s) φ 2n 3(s) = 1 6 s(1 s) 2 s, s 1 2, 1+s, 1 2 < s 1, for all t [,1], s [,1] and for any interval [,b 2n 3 ], with b 2n 3 < ξ 2n 3 (b 2n3 ) (,1) such that there exists 2n 3 G t 2n 3 (t,s) ξ 2n 3(b 2n3 )φ 2n 3 (s), for all t [,b 2n 3 ], s [,1]. (H 5 ) As we have already seen, it holds that [m 2n 4,n 2n 4 ] = [,1]. Then, we could work in the cone, for n N such that n max 2, i 2}, u C 2n 1 ([,1],R) : u (2n i) (t), t [,1], i mod 4, K = u (2n i) (1), i 1 mod 4, u (2n i) (), i 2 mod 4, u (2n i) (), i 3 mod 4. min t [a 2n 4,b 2n 4 ] u(2n 4) (t) ξ 2n 4 (a 2n 4,b 2n 4 ) u (2n 4) [,1], min t [,b 2n 3 ] u(2n 3) (t) ξ 2n 3 (b 2n 3 ) u (2n 3) [,1] Thus, for any nonlinearity f satisfying (H 6 ) and either conditions of Theorem 3 or of Theorem 8, it is possible to find nontrivial solution of problem (6). Acknowledgement This paper was mostly written during a stay of Lucía López-Somoza in Évora. Lucía López- Somoza would like to acknowledge her gratitude towards the Department of Mathematics of the University of Évora, and specially towards Professor Feliz Minhós for his kindness and hospitality. References [1] Agarwal, R. P., O Regan, D., Wong, P. J. Y., Eigenvalues of a System of Fredholm Integral Equations, Math. Comput. Modelling, 39 (24), [2] Amann, H., Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM. Rev., 18 (1976),

24 [3] A. Benmezai, J. R. Graef, and L. Kong, Positive solutions for abstract Hammerstein equations and applications, Commun. Math. Anal. 16 (214), [4] Cabada, A., Infante, G., Tojo, F. A. F., Nontrivial solutions of Hammerstein integral equations with reflections, Bound. Value Probl., 213:86, 22pp (213) 57. [5] A. Cabada, L. López-Somoza, F. Minhós, Existence, non-existence and multiplicity results for a third order eigenvalue three-point boundary value problem, J. Nonlinear Sci. Appl., 1 (217), [6] Davis, J., Henderson, J. and Wong, P., General Lidstone Problems: Multiplicity and Symmetry of Solutions, J. Math. Anal. Appl., 251, (2) [7] P. Drábek, G. Holubová, A. Matas, P. Nečesal, Nonlinear models of suspension bridges: Discussion of results, Appl. Math. 48 (23) [8] D. Franco, G. Infante, and D. O Regan, Nontrivial solutions in abstract cones for Hammerstein integral systems, Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal. 14 (27), [9] J. Graef, L. Kong, F. Minhós, Generalized Hammerstein equations and applications, Results in Mathematics 72 (217), [1] Granas, A., Dugundji, J., Fixed Point Theory. Springer, 23. [11] Guo, D., Lakshmikantham, V., Nonlinear problems in abstract cones. Academic Press, [12] Guo, L., Sun, J., Zhao, Y., Existence of positive solutions for nonlinear third-order threepoint boundary value problems. Nonlinear Anal. 68, (28). [13] A. Hammerstein, Nichtlineare Integralgleichungen nebst Anwendungen, Acta Math. 54 (193), [14] Infante, G., Minhós, F., Nontrivial solutions of systems of Hammerstein integral equations with first derivative dependence. Mediterr. J. Math., 14, (217), 18pp. [15] Infante, G., Pietramala, P., Tojo, F. A. F., Nontrivial solutions of local and nonlocal Neumann boundary-value problems. Proc. Roy. Soc. Edinburgh, 146A, , 216. [16] Infante, G., Webb, J. R. L., Three point boundary value problems with solutions that change sign. J. Integral Equations Appl., 15, (23), [17] G. Infante and J. R. L. Webb, Nonzero solutions of Hammerstein integral equations with discontinuous kernels, J. Math. Anal. Appl. 272 (22), [18] Jiang, C., Zhai, C., Existence of nontrivial solutions for a nonlinear fourth-order boundary value problem via iterative method. J. Nonlinear Sci. Appl. 9 (216),

25 [19] M. Jurkiewicz, Existence result for the Lidstone boundary value problem at resonance, J. Math. Anal. Appl. 394 (212) [2] A. C. Lazer, P. J. McKenna, Large-amplitude periodic oscillations in suspension bridges: some new connections with nonlinear analysis, SIAM Review, 32 (199), [21] Minhós, F., Gyulov, T., Santos, A. I., Lower and upper solutions for a fully nonlinear beam equations, Nonlinear Anal., 71 (29) [22] Minhós, F., Sousa, R., On the solvability of third-order three point systems of differential equations with dependence on the first derivative. Bull. Braz. Math. Soc., New Series, 48(3), (216) [23] Reed, M., Simon, B., Methods of modern mathematical physics I. Academic Press, 198. [24] S. P. Timoshenko, Theory of elastic stability, McGraw-Hill, New York, [25] Wang, Y., On 2nth-order Lidstone boundary value problems, J. Math. Anal. Appl. 312 (25) [26] J. R. L. Webb, G. Infante, D. Franco, Positive solutions of nonlinear fourth-order boundary-value problems with local and non-local boundary conditions, Proc. Roy. Soc. Edinburgh Sect. A 138 (28), no. 2, [27] P. Wong, Triple solutions of complementary Lidstone boundary value problems via fixed point theorems, Boundary Value Problems 214, 214:125. [28] Zhang, B. and Liu, X., Existence of multiple symmetric positive solutions of higher order Lidstone problems, J. Math. Anal. Appl. 284 (23)