نتایج جستجو برای: commonfi xed point

تعداد نتایج: 528963  

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

Journal: :Theor. Comput. Sci. 1997
Damian Niwinski

Innnite behavior of nondeterministic nite state automata running over innnite trees or more generally over elements of an arbitrary algebraic structure is characterized by a calculus of xed point terms interpreted in powerset algebras. These terms involve the least and greatest xed point operators and disjunction as the only logical operation. A tight correspondence is established between a hie...

1997
Michael van Hartskamp

We present two examples of nice normal spaces X having the property that for some xed-point free homeomorphism on X its Cech-Stone extension has a xed point. One of the spaces presented here is locally countable, locally compact, separable , normal, countably paracompact and weakly zero-dimensional. The other one is hereditarily normal and strongly zero-dimensional. Our construction of this exa...

1998
Alex K. Simpson

Fixed points play a central role in domain theory, where, traditionally, the least-xed-point operator for continuous endofunctions on complete partial orders (cpos) is used. Recently, there has been considerable interest in developing a more general axiomatic (and order-free) account of the constructions of domain theory. Peter Freyd made an essential contribution to this programme by emphasisi...

1996
Filippo De Mari

We show that the Weyl group W = M 0 =M of a noncompact semisimple Lie group is obtained by taking xed point sets of smooth involutions in K=M. More precisely, one considers rst the xed point set X of the involutions deened on K=M by the elements of order 2 in exp ia. The Weyl group is either X , or the xed point set of the involutions deened on X by special elements of order 4 in exp ia.

1998
SAEED ZAKERI

Let f be a quadratic polynomial which has an irrationally indi erent xed point Let z be a biaccessible point in the Julia set of f Then In the Siegel case the orbit of z must eventually hit the critical point of f In the Cremer case the orbit of z must eventually hit the xed point Siegel polynomials with biaccessible critical point certainly exist but in the Cremer case it is possible that biac...

1992
Yunping Jiang Takehiko Morita

We prove that the period doubling operator has an expanding di rection at the xed point We use the induced operator a Perron Frobenius type operator to study the linearization of the period dou bling operator at its xed point We then use a sequence of linear operators with nite ranks to study this induced operator The proof is constructive One can calculate the expanding direction and the rate ...

1997
Kamen R. Ralev Peter H. Bauer

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...

1995
Henrik Reif Andersen Bart Vergauwen

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید