In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we...

in this paper, stochastic generalizations of some fixed point for operators satisfying random contractively generalized hybrid and some other contractive condition have been proved. we discuss also the existence of a solution to a nonlinear random integral equation in banah spaces.

Introduction: Orlicz and Birnbaum considered spaces of functions with growth properties different from the power type growth control, provided by the p L -norm. This generalization found many applications in differential and integral equations with kernels of non-power types. A more abstract approach was given by Nakano in connection with the theory of order spaces. His point of view was genera...

For a class of operator inclusions with multivalued terms fulllling mixed semicontinuity hypotheses, the existence of solutions is established by chieey using Bressan and Colombo's directionally continuous selection theorem as well as Ky Fan's xed point principle. An application to the Cauchy problem is then performed.

We describe an encoding of major parts of domain theory and xed-point theory in the Pvs extension of the simply-typed-calculus; these formaliza-tions comprise the encoding of mathematical structures like complete partial orders (domains), domain constructions, the Knaster-Tarski xed-point theorem for mono-tonic functions, and variations of xed-point induction. Altogether, these encodings form a...

Convergence of a family of Markov jump processes evolving according to coagulation-fragmentation dynamics to the corresponding determin-istic equations is proved on every nite interval of existence. After obtaining local existence by the Banach xed-point theorem, we can prove global existence using the positivity of the limit function on the local existence interval.

An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which has been introduced by Baeten and Bergstra 4], enables us to specify a restricted form of unbounded non-determinism. For example, the execution of an action at an arbitrary moment in a time interval can be speciied using...

In this paper, a box approximation scheme is proposed using the lumped mass numerical integration technique on piecewise linear nite element spaces for a coupled nonlinear thermistor system. Existence and uniqueness of the proposed box approximation scheme are proved via a xed point theorem, and H 1-error analysis is presented.

An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which has been introduced by Baeten and Bergstra 4], enables us to specify a restricted form of unbounded non-determinism. For example, the execution of an action at an arbitrary moment in a time interval can be speciied using...

We provide suucient conditions for the convergence of Steeensen's method to a locally unique solution of a nonlinear operator equation on a Banach space. We use a xed point theorem and a special choice of divided diierences. Some applications of our results are also provided.