A Fréchet derivative-free cubically convergent method for set-valued maps

We introduce a new iterative method in order to approximate a locally unique solution of variational inclusions in Banach spaces. The method uses only divided differences operators of order one. An existence–convergence theorem and a radius of convergence are given under some conditions on divided difference operator and Lipschitz-like continuity property of set-valued mappings. Our method extends the recent work related to the resolution of nonlinear equation in Argyros (J Math Anal Appl 332:97–108, 2007) and has the following advantages: faster convergence to the solution than all the previous known ones in Argyros and Hilout (Appl Math Comput, 2008 in press), Hilout (J Math Anal Appl 339:53–761, 2008, Positivity 10:673–700, 2006), and we do not need to evaluate any Fréchet derivative. We provide also an improvement of the ratio of our algorithm under some center-conditions and less computational cost. Numerical examples are also provided.      

Further reduction of normal forms of formal maps

Further reduction for classical normal forms of formal maps is considered in this note. Based on a recursive formula for computing the transformed map of a formal map under a near identity formal transformation, we develop the concepts of Nth order normal forms and infinite order normal forms for formal maps, and give some sufficient conditions for uniqueness of normal forms of formal maps. To cite this article: D. Wang et al., C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

Fixed point iteration for pseudocontractive maps

Let be a compact convex subset of a real Hilbert space, ; a continuous pseudocontractive map. Let and be real sequences in [0,1] satisfying appropriate conditions. For arbitrary define the sequence iteratively by where are arbitrary sequences in . Then, converges strongly to a fixed point of . A related result deals with the convergence of to a fixed point of when is Lipschitz and pseudocontractive. Our theorems also hold for the slightly more general class of continuous hemicontractive nonlinear maps.

     

A rapidly convergent iteration method and Gâteaux differentiable operators

Let {F_r}_0?r?p be a family of Banach spaces satisfying, if 0?r₁?r₂?p, (i)F_r1 ? F_r2; (ii)$\text{¦f¦}{}_{\mathrm{r1}}\text{? ¦f¦}{}_{\mathrm{r2}}\text{(f ? F}{}_{\mathrm{r1}}\text{)}$; and (iii)$\text{?(r) = ln(¦f¦}{}_{\mathrm{r}}\text{)}$ is a convex function. Let G₀ be a Banach space and. $\text{F}$ be a Gâteaux differentiate mapping, and suppose that $\text{F}$′(x)(F_p) is dense in G₀. Under appropriate assumptions, the equation $\text{F}$(x)=0 has a solution in F_r for 0?r?p. The results extend the Inverse Function Theorem of J. Moser to the class of Gâteaux differentiable operators.     

Implementation of a continuation method for normal maps

This paper presents an implementation of a nonsmooth continuation method of which the idea was originally put forward by Alexander et al. We show how the method can be computationally implemented and present numerical results for variational inequality problems in up to 96 variables. The research reported here was sponsored by the Air Force Office of Scientific Research, Air Force Materiel Command, USAF, under grant numbers F49620-93-1-0068 and F49620-95-1-0222, by the U.S. Army Research Office under grant number DAAH04-95-1-0149, and by the National Science Foundation under grant number CCR-9109345. The U.S. Government has certain rights in this material, and is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the sponsoring agencies or the U.S. Government.     

Global iteration schemes for strongly pseudo-contractive maps

Suppose is a real uniformly smooth Banach space, is a nonempty closed convex and bounded subset of , and is a strong pseudo-contraction. It is proved that if has a fixed point in then both the Mann and the Ishikawa iteration processes, for an arbitrary initial vector in , converge strongly to the unique fixed . No continuity assumption is necessary for this convergence. Moreover, our iteration parameters are independent of the geometry of the underlying Banach space and of any property of the operator.

     

On topological entropy of commuting tree maps

Let T$T$ be a tree with s$s$ ends and f,g$f,g$ be continuous maps from T$T$ to T$T$ with f°g=g°f$f°g=g°f$. In this note we show that if there exists a positive integer m≥2$m\ge 2$ such that gcd(m,l)=1$gcd(m,l)=1$ for any 2≤l≤s$2\le l\le s$ and f,g$f,g$ share a periodic point which is a km$km$-periodic point of f$f$ for some positive integer k$k$, then the topological entropy of f°g$f°g$ is positive.     

Computation of normal forms of Hamiltonian systems in the presence of Poisson commuting integrals

The aim of this paper is to show the role of first integrals in further reducing the normal form unfolding of Hamiltonian systems. Based on a work by Cicogna and Gaeta, the joint normal form approach for Hamiltonian vector fields is considered. This normal form procedure, couched in a Lie-Poincaré scheme, allows us to see that we can reduce simultaneously the Hamiltonian together with its Poisson commuting integrals to a simplified normal form - a joint normal form - which is given a simple characterization. In this algorithmic procedure, approximate first integrals can be constructed (and used to simplify the normal form) at the same time that we bring the Hamiltonian to normal form. Further, following Walcher, we show that we can derive the joint normal form via a structure preserving transformation (in a sense to be specified). The approach is discussed from an implementational standpoint and illustrated by a Liouville-integrable Hénon-Heiles system. This revised version was published online in June 2006 with corrections to the Cover Date.     

Continuation method for nonlinear complementarity problems via normal maps

In a recent paper by Chen and Mangasarian (C. Chen, O.L. Mangasarian, A class of smoothing functions for nonlinear and mixed complementarity problems, Computational Optimization and Applications 2 (1996), 97–138) a class of parametric smoothing functions has been proposed to approximate the plus function present in many optimization and complementarity related problems. This paper uses these smoothing functions to approximate the normal map formulation of nonlinear complementarity problems (NCP). Properties of the smoothing function are investigated based on the density functions that defines the smooth approximations. A continuation method is then proposed to solve the NCPs arising from the approximations. Sufficient conditions are provided to guarantee the boundedness of the solution trajectory. Furthermore, the structure of the subproblems arising in the proposed continuation method is analyzed for different choices of smoothing functions. Computational results of the continuation method are reported.     

Foundations for an iteration theory of entire quasiregular maps

The Fatou-Julia iteration theory of rational functions has been extended to uniformly quasiregular mappings in higher dimension by various authors, and recently some results of Fatou-Julia type have also been obtained for non-uniformly quasiregular maps. The purpose of this paper is to extend the iteration theory of transcendental entire functions to the quasiregular setting. As no examples of uniformly quasiregular maps of transcendental type are known, we work without the assumption of uniform quasiregularity. Here the Julia set is defined as the set of all points such that the complement of the forward orbit of any neighbourhood has capacity zero. It is shown that for maps which are not of polynomial type, the Julia set is non-empty and has many properties of the classical Julia set of transcendental entire functions.     

Linear maps that preserve commuting pairs of matrices

Let L be a linear map on the space of n by n matrices with entries in an algebraically closed field of characteristic 0. In this article we characterize all non-singular L with the property that AB = BA implies L(A)L(B) = L(B)L(A).     

Nevanlinna theory and iteration of rational maps

In 1993, J. Silverman [7] studied finiteness questions for integer points in the orbits of rational functions on the projective line. This paper proves the complex hyperbolicity analogs of Silvermans results.The first author is supported in part by NSA under grant number MSPF-02G-175. The United State Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation hereon.Acknowledgments. The authors wish to thank the referee for many helpful comments and suggestions.     

Unique normal forms for area preserving maps near a fixed point with neutral multipliers

We study normal forms for families of area-preserving maps which have a fixed point with neutral multipliers ±1 at ? = 0. Our study covers both the orientation-preserving and orientation-reversing cases. In these cases Birkhoff normal forms do not provide a substantial simplification of the system. In the paper we prove that the Takens normal form vector field can be substantially simplified. We also show that if certain non-degeneracy conditions are satisfied no further simplification is generically possible since the constructed normal forms are unique. In particular, we provide a full system of formal invariants with respect to formal coordinate changes.     

On the dynamics of composition of commuting interval maps

Let be two commuting continuous maps. We establish some results on the topological dynamic shared by both maps and state some conditions to get that the topological entropy of the composition f○g will be positive.     

Stability of iteration methods for maps with a linear contracting majorant

We study the computational stability for the iteration process of finding a fixed point of a mapping that has a linear contracting majorant, assuming that the errors that appear at every step of the iteration process are uniformly bounded. Bibliography: 4 titles. Translated fromObchyslyuval'na ta Prykladna Matematyka, No. 81, 1997, pp. 23–24.