Morse decompositions of nonautonomous dynamical systems

The global asymptotic behavior of dynamical systems on compact metric spaces can be described via Morse decompositions. Their components, the so-called Morse sets, are obtained as intersections of attractors and repellers of the system. In this paper, new notions of attractor and repeller for nonautonomous dynamical systems are introduced which are designed to establish nonautonomous generalizations of the Morse decomposition. The dynamical properties of these decompositions are discussed, and nonautonomous Lyapunov functions which are constant on the Morse sets are constructed explicitly. Moreover, Morse decompositions of one-dimensional and linear systems are studied.

     

Dichotomy spectra and Morse decompositions of linear nonautonomous differential equations

Recently, the existence of Morse decompositions for nonautonomous dynamical systems was shown for three different time domains: the past, the future and—in the linear case—the entire time. In this article, notions of exponential dichotomy are discussed with respect to the three time domains. It is shown that an exponential dichotomy gives rise to an attractor-repeller pair in the projective space, which is a building block of a Morse decomposition. Moreover, based on the notions of exponential dichotomy, dichotomy spectra are introduced, and it is proved that the corresponding spectral manifolds lead to Morse decompositions in the projective space.     

Morse Decompositions for Periodic General Dynamical Systems and Differential Inclusions

We first establish the Morse decomposition theory of periodic invariant sets for non-autonomous periodic general dynamical systems (set-valued dynamical systems). Then we discuss the stability of Morse decompositions of periodic uniform forward attractors. We also apply the abstract results to non-autonomous periodic differential inclusions with only upper semi-continuous right-hand side. We show that Morse decompositions are robust with respect to both internal and external perturbations (upper semi-continuity of Morse sets). Finally as an application we study the effect of small time delays to asymptotic behavior of control systems from the point of view of Morse decompositions.     

Morse Decompositions for Nonautonomous General Dynamical Systems

The Morse decomposition theory for nonautonomous general dynamical systems (set-valued dynamical systems) and differential inclusions is established. The stability of Morse decompositions of pullback attractors is also addressed.     

The Morse–Witten complex via dynamical systems

Given a smooth closed manifold M, the Morse–Witten complex associated to a Morse function f and a Riemannian metric g on M consists of chain groups generated by the critical points of f and a boundary operator counting isolated flow lines of the negative gradient flow. Its homology reproduces singular homology of M. The geometric approach presented here was developed in Weber [Der Morse–Witten Komplex, Diploma Thesis, TU Berlin, 1993] and is based on tools from hyperbolic dynamical systems. For instance, we apply the Grobman–Hartman theorem and the λ-lemma (Inclination Lemma) to analyze compactness and define gluing for the moduli space of flow lines.     

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.      

Computation of Morse decompositions for semilinear elliptic PDEs

A numerical method for computing all solutions of an elliptic boundary value problem Au + g[u, λ] = 0 and their Morse indices as steady‐states of the parabolic problem u_t + Au + g[u, λ] = 0 is presented. Morse decompositions are also determined. The method uses a finite element approach that is based on the method of alternative problems. Error estimates for the finite element approximations are verified and examples are given. © John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 17: 290–312, 2001     

Conley–Morse–Forman Theory for Combinatorial Multivector Fields on Lefschetz Complexes

We introduce combinatorial multivector fields, associate with them multivalued dynamics and study their topological features. Our combinatorial multivector fields generalize combinatorial vector fields of Forman. We define isolated invariant sets, Conley index, attractors, repellers and Morse decompositions. We provide a topological characterization of attractors and repellers and prove Morse inequalities. The generalization aims at algorithmic analysis of dynamical systems through combinatorialization of flows given by differential equations and through sampling dynamics in physical and numerical experiments. We provide a prototype algorithm for such applications.     

Multiplicity of solutions for resonant elliptic systems

We establish the existence and multiplicity of solutions for some resonant elliptic systems. The results are proved by applying minimax arguments and Morse theory.     

Topological conjugacy of constant length substitution dynamical systems

Primitive constant length substitutions generate minimal symbolic dynamical systems. In this article we present an algorithm which can produce the list of injective substitutions of the same length that generate topologically conjugate systems. We show that each conjugacy class contains infinitely many substitutions which are not injective. As examples, the Toeplitz conjugacy class contains three injective substitutions (two on two symbols and one on three symbols), and the length two Thue–Morse conjugacy class contains twelve substitutions, among which are two on six symbols. Together, they constitute a list of all primitive substitutions of length two with infinite minimal systems which are factors of the Thue–Morse system.     

Poincaré-Hopf inequalities

In this article the main theorem establishes the necessity and sufficiency of the Poincaré-Hopf inequalities in order for the Morse inequalities to hold. The convex hull of the collection of all Betti number vectors which satisfy the Morse inequalities for a pre-assigned index data determines a Morse polytope defined on the nonnegative orthant. Using results from network flow theory, a scheme is provided for constructing all possible Betti number vectors which satisfy the Morse inequalities for a pre-assigned index data. Geometrical properties of this polytope are described.

     

Unstable manifold,Conley index and fixed points of flows

We study dynamical and topological properties of the unstable manifold of isolated invariant compacta of flows. We show that some parts of the unstable manifold admit sections carrying a considerable amount of information. These sections enable the construction of parallelizable structures which facilitate the study of the flow. From this fact, many nice consequences are derived, specially in the case of plane continua. For instance, we give an easy method of calculation of the Conley index provided we have some knowledge of the unstable manifold and, as a consequence, a relation between the Brouwer degree and the unstable manifold is established for smooth vector fields. We study the dynamics of non-saddle sets, properties of existence or non-existence of fixed points of flows and conditions under which attractors are fixed points, Morse decompositions, preservation of topological properties by continuation and classify the bifurcations taking place at a critical point.     

Shift equivalence and the Conley index

In this paper we introduce filtration pairs for an isolated invariant set of continuous maps. We prove the existence of filtration pairs and show that, up to shift equivalence, the induced map on the corresponding pointed space is an invariant of the isolated invariant set. Moreover, the maps defining the shift equivalence can be chosen canonically. Last, we define partially ordered Morse decompositions and prove the existence of Morse set filtrations for such decompositions.

     

Nontrivial Solutions for p-Laplace Equations with Right-Hand Side Having p-Linear Growth at Infinity

ABSTRACT

The existence of a nontrivial solution for quasi-linear elliptic equations involving the p-Laplace operator and a nonlinearity with p-linear growth at infinity is proved. Techniques of Morse theory are employed.     

Regularity and Morse Index of the Solutions to Critical Quasilinear Elliptic Systems

Regularity results and critical group estimates are studied for critical (p, r)-systems. Multiplicity results of solutions for a critical potential quasilinear system are also proved using Morse theory.     

On the reducibility of characteristic varieties

We show that some monodromies in the Morse local systems of a conically stratified perverse sheaf imply that other Morse local systems for smaller strata do not vanish. This result is then used to explain the examples of reducible characteristic varieties of Schubert varieties given by Kashiwara and Saito in type and by Boe and Fu for the Lagrangian Grassmannian.

     

The triangular matrices of Gaussian elimination and related decompositions

It has become commonplace that triangular systems are solvedto higher accuracy than their condition would warrant. Thisobservation is not true in general, and counterexamples areeasy to construct. However, it is often true of the triangularmatrices from pivoted LU or QR decompositions. It is shown thatthis fact is closely connected with the rank-revealing characterof these decompositions. ^* This report is available by anonymous ftp from thales.cs.umd.eduin the directory pub/reports.     

Multi-valued characteristics and Morse decompositions

A rapid growth of molecular and systems biology in recent years challenges mathematicians to develop robust modeling and analytical tools for this area.We combine a theory of monotone input-output systems with a classical theory of Morse decompositions in the context of ordinary differential equations models of biochemical reactions. We show that a multi-valued input-output characteristic can be used to define non-trivial Morse decompositions which provide information about a global structure of the attractor. The previous work on input-output characteristics is shown to apply locally to individual Morse sets and is seamlessly incorporated into our global theory.We apply our tools to a model of cell cycle maintenance. We show that changing the strength of the negative feedback loop can lead to cessation of cell cycle in two different ways: it can either lead to globally attracting equilibrium or to a pair of equilibria that attract almost all solutions.     

Multiparameter Polynomial Adaptive Stabilizers

In 1983 Morse proved, for unknown scalar one-dimensional linearsystems, the nonexistence of rational or polynomial universalstabilizers (UAS). In 1983, Nussbaum gave an example of an analyticUAS. In our paper, it is shown that there exist time-invariantpolynomial UAS's with multidimensional gain adaptation. Thedesign procedure is developed for linear, minimum-phase systemsof relative degree one. Convergence of the closed-loop systemis proved. Some numerical simulations are provided.     

Strongly invertible links and divides

To a proper generic immersion of a finite number of copies of the unit interval in a 2-disc, called a divide, A’Campo associates a link in S³. From the more general notion of ordered Morse signed divides, one obtains a braid presentation of links of divides. In this paper, we prove that every strongly invertible link is isotopic to the link of an ordered Morse signed divide. We give fundamental moves for ordered Morse signed divides and show that strongly invertible links are equivalent if and only if we can pass from one ordered Morse signed divide to the other by a sequence of such moves. Then we associate a polynomial to an ordered Morse signed divide, invariant for these moves. So this polynomial is invariant for the equivalence of strongly invertible links.