Nonlinear Analysis: Theory, Methods & Applications
Existence results for the problem (φ(u′))′=f(t,u,u′) with nonlinear boundary conditions1
Introduction
In this paper we study existence results for the following problem, which we will refer by (P):
The three following conditions hold:
(H1) f is a Carathéodory function, that is: f(t,·,·) is a continuous function for a.e. is measurable for all ; and for every M>0 there exists a real-valued function ψ≡ψM∈L1(I) such thatfor a.e. t∈I and for every with |u|≤M and |v|≤M.
is continuous, increasing and .
is a continuous function, nondecreasing in the second variable and nonincreasing in the third one; is a continuous and nondecreasing function.
Problem (1.1) with different boundary conditions has been studied by different authors (see 2, 6 and references therein). Recently, Gao, Wang and Lin, following some ideas developed in [6], proved in [10] the existence of solution for the problem (1.1) with f a continuous function and considering Dirichlet and mixed boundary conditions, in the presence of lower and upper solutions. These results have been generalized in [9] to the case in which f is a Carathéodory function. On the other hand, existence results for linear boundary data were also presented by O’Regan in [7].
In [1], existence results for the Periodic and Neumann problems were proved. There we used the results given in [9]. However, the method of lower and upper solutions was indirectly applied.
In this paper we give results, in the spirit of [10], that generalize all of these existence theorems for linear boundary conditions by considering the conditions studied in [3] for the second-order problem u′′=f(t,u,u′), together with equations of the form (1.1). Here, the method of lower and upper solutions and the Nagumo condition, to obtain a priori bounds for the derivatives of the solutions, are applied, improving the results of 1, 9.
Now, let W1,1(I) be the Banach space of absolutely continuous functions on I. We say that y∈C1(I) is a lower solution for problem (P) if φ∘y′∈W1,1(I) and satisfies and h(y(a))=y(b).
y is an upper solution of (P) if the reversed inequalities hold. If equalities hold, we say that y is a solution of (P).
Next, we define the Nagumo condition we are going to use. Note that the condition does not depend on the boundary data of the problem.
Definition 1.1. We say that , a Carathéodory function, satisfies a Nagumo condition relative to the pair α and β, with in I, if there exist functions , and θ:[0,∞)→(0,∞) continuous, such thatwhere , and also thatbeingandwhere (p−1)/p≡1 for p=∞.
Section snippets
Main result
Following the ideas of [3], before introducing the main result of existence of solutions of problem (P), suppose that hypotheses (H1)–(H3) and the Nagumo condition relative to a lower solution α and an upper solution β,α≤β are satisfied. Now, we start with the construction of the modified problem.
Firstly, we define p(t,x)=max{α(t),min{x,β(t)}} for all .
One can find the next result, with its proof, in [8].
Lemma 2.1. For each u∈C1(I) the next two properties hold:
- 1.
(d/dt)p(t,u(t)) exists for a.e. t∈I.
- 2.
If u
Final remarks
A more general result is obtained if we change the hypothesis (H2) by
- •
There exist K−<0<K+ such that is a continuous and increasing function in [K−,K+].
Note that the solutions (and also the lower and upper solutions) must be elements of the setso, in their definitions, this condition cannot be disregarded.
Instead of Definition 1.1 we must assume thatand there exist and θ:[0,∞)→(0,∞) continuous, such that
References (10)
- et al.
Existence result for the problem(φ(u′))′=f(t,u,u′) with periodic and Neumann boundary conditions
Nonlinear Anal. T.M.A.
(1997) Pairs of positive solutions for the one-dimensionalp-Laplacian
Nonlinear Anal. T.M.A.
(1994)- et al.
Upper and lower solutions for second-order boundary value problems with nonlinear boundary conditions
Nonlinear Anal. T.M.A.
(1986) Degree Theory
(1978)Integration
(1967)
Cited by (0)
- 1
Research partially supported by DGICYT, project PB94-0610.
- 2
Research partially supported by the EEC project grant ERB CHRX-CT94-0555.