A NOTE ON THE SECOND ORDER BOUNDARY VALUE PROBLEM ON A HALF-LINE

We consider the existence of a solution to the second order nonlinear differential equation (p(t)u ′ (t)) ′ = f(t, u(t), u ′ (t)), a. e. in (0, ∞),

In Section 1, we discuss several recent results in the theory of boundary value problems on unbounded domains.In Section 2, we provide the definitions and techniques that will be used in the proof of the main result.In particular, we use the Leray-Schauder continuation principle based on a priori estimates which we also derive in Section 2. In Section 3 we state and prove the existence theorem.
The topological degree approach and the method of upper and lower solutions were used in [2] to obtain multiplicity results under the assumption of the boundedness of a solution.The Leray-Schauder continuation principle was applied to boundary value problems on unbounded domains in several recent papers [3,4].In [5], the authors studied the boundary value problem where α = 1 and η > 0. The authors showed the existence of at least one solution where In this work we introduce new a priori estimates on the positive half-line pertinent to the case of L r -Carathéodory inhomogeneous term with r > 1.In [6], the boundary value problem (1) (2) is considered in the case of an L 1 -Carathéodory inhomogeneous term.The existence result in our paper is complementary to that in [6].

Technical Results
The following definition gives Carathéodory's conditions imposed on a map with respect to the Lebesgue space L r [0, ∞), r > 1.

Definition 2.1 We say that the map
The assumptions on p(t) are the following: Let AC[0, ∞) denote the space of absolutely continuous functions on the interval [0, ∞).Define the Sobolev space The underlying Banach space is We also need the Lebesgue space Z = L r [0, ∞) with the usual norm denoted by • r .
The Nemetski operator N: X → Z is defined by We state the Leray-Schauder continuation principle (see, e. g., [7]).
Theorem 2.1 Let X be a Banach Space and T : X → X be a compact map.Suppose that there exists an R > 0 such that if u = λT u for λ ∈ (0, 1), then u ≤ R. Then T has a fixed point.
In applying Theorem 2.1 we establish the compactness of a certain integral operator associated with (1), ( 2).This is done by means of the following compactness criterion [1].Theorem 2.2 Let X be the space of all bounded continuous vector-valued functions on [0, ∞) and S ⊂ X.Then S is relatively compact in X if the following conditions hold: (i) S is bounded in X; (ii) the functions from S are equicontinuous on any compact interval of [0, ∞); (iii) the functions from S are equiconvergent, that is, given ǫ > 0, there exists a Define the function and set q = p p − 1 .Note that by assumptions (P 1 ) and (P 2 ) the expressions are positive constants.
The first technical lemma provides the solution to the linear analogue of (1) satisfying (2).
The following are the a priori estimates for the solution (4) in terms of the constants (3).
The last technical result of this section establishes the desired properties of the operator (5).

Lemma 2.3
The mapping T : X → X is compact.
Proof: Employing the estimates identical to those in the proof of Lemma 2.2 one can easily show that T is well-defined.It is also clear that T : X → X.The continuity of T follows readily from the dominated convergence theorem in view of f satisfying the Carathéodory conditions.It remains to show that the image under T of a bounded set in X is relatively compact in X.
Let S ⊂ X be bounded, that is, there exists an R > 0 such that R = sup{ u : Then for u ∈ S we obtain In addition, for some ξ ∈ (t 1 , t 2 ), The last two inequalities show that the set T (S) is equicontinuous on every compact subinterval of [0, ∞).
To show that T (S) is an equiconvergent set, note that In view of (P 2 ) and φα R ∈ L 1 [0, ∞), the expressions in the right sides of the above inequalities can be made arbitrarily small independently on u ∈ S. Hence the set T (S) is equiconvergent.The set T (S) is relatively compact in X by Theorem 2.2.
3 Existence of a Solution and where the constants A and B are given by (3).Then the boundary value problem ( 1), ( 2) has at least one solution for every γ ∈ L r [0, ∞).
Using Lemma 2.2 and (3), we obtain from the condition (6), for u ∈ W [0, ∞), Hence, by (7), that is, the solution set of (8), ( 2) is a priori bounded on L r [0, ∞) by a constant independent of λ ∈ (0, 1).By Lemma 2.2 and the above inequality, the solution set is bounded in X by a constant independent of λ ∈ (0, 1) since It can be easily shown that the boundary value problem (1), ( 2) has a solution if and only if it is a fixed point of the mapping (5).In view of (2.2), the mapping T is compact.By the above inequality, the a priori estimate condition for Theorem 2.1 is satisfied, the assertion follows from Theorem 2.1.