Consider the second order nonlinear neutral differential equation with delays: Ε½ . w . E d rdt y t y py t y q q t f y t y s 0, for t g 0, Ο± , where Ε½ . Ε½ . Ε½ . Ε½ . q t , f x are continuous functions, q t G 0, yf y ) 0 if y / 0, and 0p -1, Ε½ . ) 0, ) 0. When f y satisfies either the superlinear or
Necessary and Sufficient Conditions for the Order- Completeness of Partially Ordered Vector Spaces
β Scribed by Karl-Heinz Elster; Reinhard Nehse
- Publisher
- John Wiley and Sons
- Year
- 1978
- Tongue
- English
- Weight
- 448 KB
- Volume
- 81
- Category
- Article
- ISSN
- 0025-584X
No coin nor oath required. For personal study only.
β¦ Synopsis
The HAHN-BANACH-theorem is known to have fundamental importance for several fields of mathematics. This theorem is not used concerning functionals, but operators which map into a real partially ordered vector space.
In this paper is shown that the validity of this theorem is equivalent t o the validity of various well known propositions of mathematical programming and of partially ordered vector spaces and of operator-inequalities. Among these propositions, for instance, we find the F ~~~a s -M ~~~o w s ~~-t h e o r e m , a KUHN-TUCKER-theorem and a FENCHEL-theorem of duality. Previously HOANG T u Y [5] researched in such equivalences for functionals.
If we proved these equivalences, we could give sufficient conditions for the validity of theorems of mathematical programming. On the other hand, by including To's result [S], we reach statements which characterize the order completeness of partially ordered vector spaces.
With this paper, we have continued and completed our paper [3] using the same notations.
π SIMILAR VOLUMES
I n this study we reformulate GODEL'S completeness theorem such that any firstorder calculus can be tested for completeness. The theorem in this form gives simple sufficient and necessary algebraic conditions for the calculus to be complete.
## Abstract Necessary and sufficient conditions for a fourth order functional differential equation of the form (1) [r(t)yβ³(t)]β³+f(t,y(h~1~(t)), y(h~2~(t)), β¦, y(h~n~(t)))=0 to be oscillatory are given when f is strongly superlinear or strongly sublinear.