in this work, by employing the krasnosel'skii fixed point theorem, we study the existence of positive solutions of a three-point boundary value problem for the following fourth-order differential equation begin{eqnarray*} left { begin{array}{ll} u^{(4)}(t) -f(t,u(t),u^{prime prime }(t))=0 hspace{1cm} 0 leq t leq 1, & u(0) = u(1)=0, hspace{1cm} alpha u^{prime prime }(0) - beta u^{prime prim...

this paper presents some results concerning the existence of solutions for a functional integral equation of volterra type in two variables, via measure of noncompactness. two examples are included to illustrate the main result.

Di erent options for block oating point lter implementation are introduced and their e ciency determined. The e ciency is quanti ed by the additional number of operations over those required for xed point operation. Some of the implementations are new. It is shown that they are more e cient than the existing ones. Examples are given in which the processing time per recursion of a block oating p...

this paper studies a fractional boundary value problem of nonlineardifferential equations of arbitrary orders. new existence and uniquenessresults are established using banach contraction principle. other existenceresults are obtained using schaefer and krasnoselskii fixed point theorems.in order to clarify our results, some illustrative examples are alsopresented.

This paper presents an algorithm for solving Boolean xed-point equations containing one level of nesting of minimum and maximum xed points. The algorithm assumes that the equations of the inner xed point is of a certain restricted kind and has a worst-case time-and space-complexity that is linear in the size of the equation system. By observing that a range of behavioral relations { in particul...

In this paper, we discuss the existence and uniqueness of fixed points for $G$-asymptotic contractions in metric spaces endowed with a graph. The result given here is a new version of Kirk's fixed point theorem for asymptotic contractions in metric spaces endowed with a graph. The given result here is a generalization of fixed point theorem for asymptotic contraction from metric s paces to metr...

We deene a value-based modal-calculus, built from rst-order formulas, modalities, and xed point operators parameterized by data variables, which allows to express temporal properties involving data. We interpret this logic over Crl terms deened by linear process equations. The satisfaction of a temporal formula by a Crl term is translated to the satisfaction of a rst-order formula containing pa...

We consider a perturbed nonlinear system with a xed point that is invariant under all perturbations. Under the assumption that this xed point is locally exponentially stable for the unperturbed system we propose a method for the approximation of the robust domain of attraction, that is, the set of points that are attracted to the xed point under all time-varying perturbations taking values in a...

For m < n, any real analytic m-submanifold of complex n-space with a non-degenerate CR singularity is shown to be locally equivalent, under a formal holomorphic coordinate change, to a xed real algebraic variety de ned by linear and quadratic polynomials. The situation is analogous to Whitney's stability theorem for cross-cap singularities of smooth maps. The formal coordinate change is obtaine...