Abstract
In this papier, a homotopy index (Conley index) which can be applied to non-autonomous differential equations is defined. It is proved that the index is well defined, and several theorems concerning its basic properties are established. The second part of this paper is concerned with the application of this index to (non-autonomous) ordinary differential equations as well as (non-autonomous) semilinear parabolic equations. Finally, several existence results for bounded solutions of asymptotically linear non-autonomous equations are proved. We also consider the existence of recurrent or Poisson stable solutions.
Similar content being viewed by others
Notes
It is tacitly assumed that \(X\subset \mathfrak {U}\) as well as \(\mathbb {R}\times X\subset \mathfrak {U}\).
If an evolution operator (or process) is defined as the “solution operator” of, e.g., a differential equation, a mapping u is a solution of the evolution operator if and only if it is a solution of the differential equation. From that point of view, this is a generalized notion of a solution. If the evolution operator is in fact a semiflow, this definition coincides with the one in [12]. In [12], entire solutions of a process are defined analogously.
However, often, the evolution operator itself is considered to be “the” solution. One could thus be tempted to replace the term “solution” by “motion”, but at least in [11] or [1], this notion is only used for (two-sided) flows. Another possible term would be “continuation”, which has a completely different meaning in this context. It should also noted that, at least concerning partial differential equations, it is not uncommon that the term solution requires disambiguation.
Defined for all \(t\in \mathbb {R}^+\)
There are several variants of Conley indices, and consequently the exact meaning of the term index pair varies. To disambiguate between different kinds of index pairs, Rybakowski introduced the notion FM-index pair in [2].
The semiflow is continuous.
i.e., the only compact invariant subset is the empty set.
By Zorn’s lemma, there is a positively invariant minimal subset, which is then shown to be invariant.
The index as constructed here depends on the behavior of the evolution operator for large initial times. The restriction to positive initial times is not an artificial one but reflects this property.
As weak as possible, as strong as necessary.
Perhaps, the term isolating superset would be more appropriate.
Otherwise, there is nothing to prove.
In contrast to Lemma 3.9, H is obviously well defined.
A rather strong assumption but presumably necessary.
\((y,x)\pi \mathbb {R}^+\subset N\cup \{\Diamond \}\) implies \((y,x)\pi \mathbb {R}^+\subset N\) for all \((y,x)\in N\).
By an abuse of notation, we write \(d(y,\Sigma (y_0)) := \inf _{{\tilde{y}}\in \Sigma (y_0)} d(y,{\tilde{y}})\).
Of our omnipresent semiflow \(\pi \).
Addition and scalar multiplication in Y are assumed to be continuous.
Here, it is used that \(y_0\) and thus r are independent of n.
The definition of an isolating neighborhood depends on a skew-product semiflow, which is usually fixed. Here, this skew-product semiflow \(\tilde{\pi }_{h,\lambda }\) is considered to be variable and thus mentioned explicitly.
The proofs here are original, but they probably do not contain new ideas.
Or strongly admissible, which is equivalent in this case.
As defined in [12, Section 3.6].
In contrast to the previous section, it is required that \(\delta \) can be chosen uniformly in t, which is a slightly stronger assumption.
The embedding is defined as usual: \(X^\alpha \ni \left[ x\right] \mapsto x\in C^1({\bar{\Omega }})\).
The situation in the literature is difficult. There are proofs of this claim which appear to be wrong. Lemma 37.8 in [12] is useful, but the details are given only for the Sobolev case (which is similar).
With respect to inclusion.
References
Bhatia, N.P., Szegö, G.P.: Dynamical systems: stability theory and applications. Springer, New York (1967)
Carbinatto, M.C., Rybakowski, K.P.: Homology index braids in infinite-dimensional conley index theory. Topol. Methods Nonlinear Anal. 26, 35–74 (2005)
Evans, L.C.: Partial differential equations, Graduate studies in mathematics. American Mathematical Society, Providence (R.I.) (1998) (reprint with corrections: 1999, 2002)
Franzosa, R.D., Mischaikow, K.: The connection matrix theory for semiflows on (not necessarily locally compact) metric spaces. J. Differ. Equations 71, 270–287 (1988)
Friedman, A.: Partial differential equations of parabolic type. Prentice-Hall, Englewood Cliffs, NJ (1964)
Kloeden, P.E., Rasmussen, M.: Nonautonomous dynamical systems. American Mathematical Society, Mathematical surveys and monographs (2011)
Pazy, A.: Semigroups of linear operators and applications to partial differential equations. Springer, New York (1983)
Prizzi, M.: Averaging, conley index continuation and recurrent dynamics in almost-periodic parabolic equations. J. Differ. Equations 210, 429–451 (2005)
Rybakowski, K.P.: The homotopy index and partial differential equations. Springer, New York (1987)
Sacker, R.J., Sell, G.R.: Dichotomies for linear evolutionary equations in banach spaces. J. Differ. Equations 113, 17–67 (1994)
Sell, G.R.: Topological dynamics and ordinary differential equations. Van Nostrand Reinhold Mathematical Studies, vol. 33, Van Nostrand Reinhold Company (1971)
Sell, G.R., You, Y.: Dynamics of evolutionary equations. Applied Mathematical Sciences, vol. 143, p. 670. Springer. New York (2002)
Shen, W., Yi, Y.: Almost automorphic and almost periodic dynamics in skew-product semiflows. Memoirs of the American Mathematical Society, vol. 647, American Mathematical Society, USA (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jänig, A. A non-autonomous Conley index. J. Fixed Point Theory Appl. 19, 1825–1870 (2017). https://doi.org/10.1007/s11784-016-0307-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11784-016-0307-y
Keywords
- Non-autonomous Conley index
- Semilinear parabolic equations
- Recurrent solutions
- Poisson stable solutions