The boundary map and the connecting orbits

The purpose of this article is to show that the image of the homological boundary map attached to a filtration for an attractor-repeller pair of a smooth flow on a compact manifold is a submodule of the Alexander cohomology of certain order of the connecting set (some restrictions have to be imposed in order to have a valid argument). In particular, this gives an affirmative answer to a conjecture in Conley index theory which states that if the boundary map is not zero in two dimensions, the connecting set cannot be contractible.     

The classification of special Cohen–Macaulay modules

In this paper we completely classify all the special Cohen–Macaulay (=CM) modules corresponding to the exceptional curves in the dual graph of the minimal resolutions of all two dimensional quotient singularities. In every case we exhibit the specials explicitly in a combinatorial way. Our result relies on realizing the specials as those CM modules whose first Ext group vanishes against the ring R, thus reducing the problem to combinatorics on the AR quiver; such possible AR quivers were classified by Auslander and Reiten. We also give some general homological properties of the special CM modules and their corresponding reconstruction algebras.     

Isolating blocks for Morse flows

We present a constructive general procedure to build Morse flows on n-dimensional isolating blocks respecting given dynamical and homological boundary data recorded in abstract Lyapunov semi-graphs. Moreover, we prove a decomposition theorem for handles which, together with a special class of gluings, insures that this construction not only preserves the given ranks of the homology Conley indices, but it is also optimal in the sense that no other Morse flow can preserve this index with fewer singularities.      

Variation homological diagrams,¶and corner singularities

We describe the general homological framework (the variation arrays and variation homological diagrams) in which can be studied hypersurface isolated singularities as well as boundary singularities and corner singularities from the point of view of duality. We then show that any corner singularity is extension, in a sense which is defined, of the corner singularities of less dimension on which it is built. This framework is also used to rewrite Thom–Sebastiani type properties for isolated singularities and to establish them for boundary singularities. Received: 27 June 2000 / Revised version: 18 October 2000     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

On action minimizing measures for the Monge-Kantorovich problem

In recent years different authors ([4, 16, 17]) have noticed and investigated some analogy between Mather’s theory of minimal measures in Lagrangian dynamic and the mass transportation (or Monge-Kantorovich) problem. We replace the closure and homological constraints of Mather’s problem by boundary terms and we investigate the equivalence with the mass transportation problem. An Hamiltonian duality formula for the mass transportation and the equivalence with Brenier’s formulation are also established.     

The homological singularities of maps in trace spaces between manifolds

We deal with mappings defined between Riemannian manifolds that belong to a trace space of Sobolev functions. The homological singularities of any such map are represented by a current defined in terms of the boundary of its graph. Under suitable topological assumptions on the domain and target manifolds, we show that the non triviality of the singular current is the only obstruction to the strong density of smooth maps. Moreover, we obtain an upper bound for the minimal integral connection of the singular current that depends on the fractional norm of the mapping.     

Lagrange transformations and duality for corner and flag singularities

Singularities on a space with a fixed collection of subspaces are studied. Homological objects for the singularities are constructed. A Lagrange transformation of the singularities is defined. It is shown that on the set of the isolated singularities, the Lagrange, transformation is an involution realizing the duality of corresponding homological objects. Supported by grant No. 6836-2-96 of the Israel Science Ministry.     

Sharkovsky’s program for the classification of triangular maps is almost completed

For a continuous map of the interval, there are more than 50 conditions characterizing zero topological entropy. Some are applicable to the class of triangular maps (x,y)?(f(x),g_x(y)) of the square, but only a few of them are equivalent in this more general setting. In 1989, A.N. Sharkovsky posed the problem of proving or disproving all possible implications between them. During last 20 years, 32 conditions were considered, and most of the work was done. Only 45 relations out of 992 remained not clear. In this paper we give a survey of known results, provide two new examples disproving another 26 possible implications, and spell out the remaining 19 open problems; all but one concern distributional chaos.     

On negative limit sets for one-dimensional dynamics

In this paper we study the structure of negative limit sets of maps on the unit interval. We prove that every α-limit set is an ω-limit set, while the converse is not true in general. Surprisingly, it may happen that the space of all α-limit sets of interval maps is not closed in the Hausdorff metric (and thus some ω-limit sets are never obtained as α-limit sets). Moreover, we prove that the set of all recurrent points is closed if and only if the space of all α-limit sets is closed.     

Polygonal approximation of flows

The analysis of the qualitative behavior of flows generated by ordinary differential equations often requires quantitative information beyond numerical simulation which can be difficult to obtain analytically. In this paper we present a computational scheme designed to capture qualitative information using ideas from the Conley index theory. Specifically we design an combinatorial multivalued approximation from a simplicial decomposition of the phase space, which can be used to extract isolating blocks for isolated invariant sets. These isolating blocks can be computed rigorously to provide computer-assisted proofs. We also obtain local conditions on the underlying simplicial approximation that guarantees that the chain recurrent set can be well-approximated.     

Almost periodic points and minimal sets in ω-regular spaces

In this paper a notion of ω-regular space is raised, which is an extension of that of regular space, and several known results concerning almost periodic points and minimal sets of maps are generalized from regular spaces to ω-regular spaces.     

Unstable invariant manifolds for stochastic PDEs driven by a fractional Brownian motion

In this paper, we consider a class of stochastic partial differential equations (SPDEs) driven by a fractional Brownian motion (fBm) with the Hurst parameter bigger than 1/2. The existence of local random unstable manifolds is shown if the linear parts of these SPDEs are hyperbolic. For this purpose we introduce a modified Lyapunov-Perron transform, which contains stochastic integrals. By the singularities inside these integrals we obtain a special Lyapunov-Perron's approach by treating a segment of the solution over time interval [0,1] as a starting point and setting up an infinite series equation involving these segments as time evolves. Using this approach, we establish the existence of local random unstable manifolds in a tempered neighborhood of an equilibrium.     

Structural stability of vector fields with shadowing

Let X be a C¹ vector field without singularities. In this paper, we show that X is in the C¹ interior of the set of vector fields with the shadowing property if and only if X satisfies both Axiom A and the strong transversality condition; that is, X is structurally stable.     

Shift spaces, ω-chaos and specification property

The main aim of the present paper is to describe some relations between specification property and ω-chaos. In particular, we study how properties of factor maps can be used to transfer this kind of chaos by a semiconjugacy with a shift space.     

On topological entropy of transitive triangular maps

In the paper of Alsedà, Kolyada, Llibre and Snoha [L. Alsedà, S.F. Kolyada, J. Llibre, L'. Snoha, Entropy and periodic points for transitive maps, Trans. Amer. Math. Soc. 351 (1999) 1551-1573] there was—among others—proved that a nonminimal continuous transitive map f of a compact metric space (X,ρ) can be extended to a triangular map F on X×I (i.e., f is the base for F) in such a way that F is transitive and has the same entropy as f. The presented paper shows that under certain conditions the extension of minimal maps is guaranteed, too: Let (X,f) be a solenoidal dynamical system. Then there exist a transitive triangular map F such that h(F)=h(f).     

Configurations of limit cycles in Liénard equations

We show that every finite configuration of disjoint simple closed curves in the plane is topologically realizable as the set of limit cycles of a polynomial Liénard equation. The related vector field X is Morse–Smale. Moreover it has the minimum number of singularities required for realizing the configuration in a Liénard equation. We provide an explicit upper bound on the degree of X, which is lower than the results obtained before, obtained in the context of general polynomial vector fields.     

Periodic boundary value problems for second-order impulsive integro-differential equations

By developing a new comparison result and using the monotone iterative technique, we are able to obtain existence of minimal and maximal solutions of periodic boundary value problems for second-order nonlinear impulsive integro-differential equations of mixed type.     

Semicocycle extensions and the stroboscopic property

We indicate a large class of almost 1-1 extensions over minimal systems, which do not possess the stroboscopic property, as defined by Misiurewicz and studied by Jimenez and Snoha [Topology Appl. 129 (2003) 301-316]. Sturmian flows and all Toeplitz flows belong to this class. This generalizes a theorem of [Topology Appl. 129 (2003) 301-316] for Sturmian flows. Our result allows to easily construct minimal weakly mixing systems without the stroboscopic property, which answers in the negative a question posed in [Topology Appl. 129 (2003) 301-316]. Finally we prove that even the strong stroboscopic property does not imply the stroboscopic property for induced (first return time) systems.     

Characterization of domains of self-adjoint ordinary differential operators

The GKN (Glazman, Krein, Naimark) Theorem characterizes all self-adjoint realizations of linear symmetric (formally self-adjoint) ordinary differential equations in terms of maximal domain functions. These functions depend on the coefficients and this dependence is implicit and complicated. In the regular case an explicit characterization in terms of two-point boundary conditions can be given. In the singular case when the deficiency index d is maximal the GKN characterization can be made more explicit by replacing the maximal domain functions by a solution basis for any real or complex value of the spectral parameter λ. In the much more difficult intermediate cases, not all solutions contribute to the singular self-adjoint conditions. In 1986 Sun found a representation of the self-adjoint singular conditions in terms of certain solutions for nonreal values of λ. In this paper we give a representation in terms of certain solutions for real λ. This leads to a classification of solutions as limit-point (LP) or limit-circle (LC) in analogy with the celebrated Weyl classification in the second-order case. The LC solutions contribute to the singular boundary conditions, the LP solutions do not. The advantage of using real λ is not only because it is, in general, easier to find explicit solutions but, more importantly, it yields information about the spectrum.