## On continuity and compactness of some nonlinear operators associated with differential equations in noncompact intervals.(English)Zbl 0563.34018

The authors consider boundary value problems: (1.1) $$\dot x=f(t,x(t))$$, $$t\in J$$, (1.2) $$x\in S$$, where J is a given real interval, possibly unbounded, $$f: J\times R^ n\to R^ n$$, continuous, S a given (nonempty) subset of the Fréchet space $$C(J,R^ n)$$. It is assumed that f is the ”restriction to the diagonal” of a continuous function $$g: J\times R^ n\to R^ n$$, i.e. $$g(t,c,c)=f(t,c)$$, and that there exists a subset Q of $$C(J,R^ n)$$ such that for any $$q\in Q$$ the boundary value problem (2.1) $$\dot x(t)=g(t,x(t),q(t))$$ $$t\in J$$, (2.2) $$x\in S$$, admits a unique solution (a nonempty set of solutions). To deduce the existence of a solution for (1.1), (1.2) it is sufficient to prove the existence of a fixed point for the operator $$T: Q\to S\subset C(J,R^ n)$$, which associates to any $$q\in Q$$ the unique solution (the set of solutions) $$x=T(q)$$ of (2.1), (2.2). Continuity and compactness results for the operator T are given when T is single valued and when T is multivalued. The main existence result is the following: Theorem: ”Consider the boundary value problems (1.1), (1.2) and (2.1), (2.2) with the previous assumptions. Assume there exists a closed convex subset Q of $$C(J,R^ n)$$ and a bounded closed subset $$S_ 1$$ of $$S\cap Q$$ which make the problem (2.1) $$\dot x=g(t,x(t),q(t))$$, $$t\in J$$, (2.3) $$x\in S_ 1$$ uniquely solvable (solvable with a convex set of solutions) for each $$q\in Q$$. Then (1.1), (1.2) admits a solution”. Some examples are given to illustrate how such method can be used.

### MSC:

 34B15 Nonlinear boundary value problems for ordinary differential equations
Full Text:

### References:

 [1] Avramescu, C., Sur l’existence des solutions convergentes des systèmes d’équations différentielles non linéaires, Annali Mat. pura appl., LXXXI, IV, 147-168 (1969) · Zbl 0196.10701 [2] Cecchi, M.; Marini, M.; Zezza, P., Linear boundary value problems for systems of ordinary differential equations on non-compact intervals, Part I-II, Annali Mat. pura appl., CXXIV, IV, 367-379 (1980) · Zbl 0479.34004 [3] Cecchi, M.; Marini, M.; Zezza, P., Asymptotic properties of the solutions of non-linear equations with dichotomies and applications, Boll. Un. mat. ital., 1-C, Serie VI, 209-234 (1982) · Zbl 0511.34039 [4] Conti, R., Recent trends in the theory of boundary value problems for ordinary differential equations, Boll. Un. mat. ital., 22, 135-178 (1967) · Zbl 0154.09101 [5] Dunford, N.; Schwartz, J. T., Linear Operators—Part I (1957), Interscience Publishers: Interscience Publishers New York [6] Kartsatos, A. G., A boundary value problem on an infinite interval, Proc. Edinb. Math. Soc., 19, 245-252 (1975) · Zbl 0315.34022 [7] Kartsatos, A. G., Locally invertible operators and existence problems in differential systems, Tôhoku Math. J., 28, 167-176 (1976) · Zbl 0356.34019 [8] Ky, Fan, Fixed point and minimax theorems in locally convex topological linear spaces, Proc. Math. Acad. Sci. U.S.A., 38, 121-126 (1952) · Zbl 0047.35103 [9] Sansone, G., Equazioni Differenziali nel Campo Reale (1963), Zanichelli: Zanichelli Bologna, parte seconda [10] Šeda, V., On a generalization of the Thomas-Fermi equation, Acta Math. Univ. Comen., XXXIX, 97-114 (1980) · Zbl 0513.34016 [11] Swanson, C. A., Comparison and Oscillation Theory of Linear Differential Equations (1968), Academic Press: Academic Press New York · Zbl 0191.09904 [12] Schuur, J. D., A class of nonlinear ordinary differential equations which inherit linear-like asymptotic behavior, Nonlinear Analysis, 3, 81-86 (1979) · Zbl 0408.34054
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.