This paper investigates the existence and properties of invariant manifolds in certain semi-linear differential equations, including ill-posed cases, under exponential dichotomy conditions, extending previous invariant manifold theory.
Contribution
It extends invariant manifold theory to semi-linear differential equations with exponential dichotomy, covering both well-posed and ill-posed cases, and discusses their persistence and regularity.
Findings
01
Invariant manifolds exist under exponential dichotomy.
02
Persistence and regularity of invariant manifolds are established.
03
Applicable to both well-posed and ill-posed differential equations.
Abstract
We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles). Under exponential dichotomy condition with other mild assumptions, we investigate the existence, persistence and regularity of different types of invariant manifolds for these differential equations based on our previous works about invariant manifold theory for abstract `generalized dynamical systems': invariant graphs (global version) and normally hyperbolic invariant manifolds (local version); brief summaries of those works are also given.
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsStability and Controllability of Differential Equations · Nonlinear Differential Equations Analysis · Advanced Differential Equations and Dynamical Systems
We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles).
Under exponential dichotomy condition with other mild assumptions, we investigate the existence, persistence and regularity of different types of invariant manifolds for these differential equations based on our previous works about invariant manifold theory for abstract ‘generalized dynamical systems’: invariant graphs (global version) and normally hyperbolic invariant manifolds (local version); brief summaries of those works are also given.
Key words and phrases:
invariant manifold, partial hyperbolicity, normal hyperbolicity, cocycle, ill-posed differential equation, C0 bi-semigroup, Hille-Yosida operator, infinite-dimensional dynamical system
The author is very indebted to Prof. Shigui Ruan and Prof. Dongmei Xiao for their useful discussions. The author would also like to thank Lianwang Deng for his useful discussions and particularly drawing the author’s attention to the references [MY90, vdMee08].
In this paper, a sequel to our previous papers [Che18a, Che18b], we try to apply our new developed invariant manifold theory to some classes of differential equations; that is the existence and regularity of invariant graphs for cocycle correspondences with (relatively) partial hyperbolicity [Che18a] and approximately normal hyperbolicity theory [Che18b], see Section 4.1 and Section 4.2 for brief summaries. This is a partial program of giving a general procedure to deal with invariant manifold theory for both well-posed and ill-posed differential equations in Banach spaces.
Invariant manifold theory provides an extremely useful tool to understand the dynamics of the nonlinear differential equations. As an illustration, we list some applications of this theory.
(i)
It gives a finite-dimensional reduction for differential equations. This is a way to address one of the central topics in the theory of dissipative dynamical systems generated by PDEs, namely, whether or not the underlying dynamics can be described by finite-dimensional systems (i.e. ODEs). The notion of inertial manifold (or equivalently pseudo-unstable manifold) gives a perfect description of finite-dimensionality of dissipative differential equations; see [MS88, Zel14, Tem97] for more details. Similarly, the center manifold provides a local reduction principle, namely, the differential equation can be restricted in a ‘low’ dimensional space, i.e. a center manifold, such that it may be simpler than the original one but also can reflect some properties of itself in the whole space.
2. (ii)
The (center-) (un)stable manifolds with strong (un)stable foliations characterize very clearly the asymptotic behaviors of a dynamic around its invariant manifold and so the stability of the invariant manifold; see [BLZ00, BLZ08, KNS15, NS12, NS11]. Furthermore, through using different types of invariant foliations and invariant manifolds, one could decouple the system into a simple form (see e.g. [Che18a, Corollary 4.19] and [Lu91, PS70]).
3. (iii)
As is well known, invariant manifold theory with other tools is powerful for finding special interesting orbits such as periodic orbit, homoclinic orbit and heteroclinic orbit. For example, if a periodic orbit of a dynamic is normally hyperbolic, then the small C1 perturbed dynamic persists a periodic orbit; if a center manifold of an equilibrium for a differential equation, no matter if it is well-posed or ill-posed, is finite-dimensional, then the classical Hopf bifurcation theorem can be applied under some other conditions to obtain periodic orbits. See also [SS99, MR09a, LMSW96, Zen00].
4. (iv)
Invariant manifold provides some true solutions of ill-posed differential equations. In general, an ill-posed differential equation might not exist a solution for given an initial value. However, such equation will be well-posed in the so called center manifold, meaning that there always exist a solution in this manifold for all time t∈R if initial value belongs to this manifold. The so named center-(un)stable manifolds play similar roles. See [EW91, Gal93, dlLla09, ElB12].
Invariant manifold theory has being extensively developed in infinite-dimensional dynamical systems. (I) In [Rue82, Man83, LL10], the authors investigated the invariant manifolds in the non-uniform hyperbolicity case which can be applied to random dynamical systems in Banach spaces. Also, in [CL97], Chicone and Latushkin studied existence of the Lipschitz center manifold for a semi-linear cocycle (i.e. skew-product flow).
(II) There are many authors devoted to develop the theory of invariant manifold around an equilibrium for different types of well-posed differential equations such as the semi-linear and quasi-linear parabolic or hyperbolic PDEs, see e.g. [Hen81, CL88, MS88, BJ89, DPL88, Tem97, MR09a, Zel14] in abstract settings, where those papers also contained some examples with detailed analysis, too numerous to list here. In [CL88], Chow and Lu considered the case when the linear operator is densely-defined sectorial operator with an unbounded nonlinear perturbation (see also [Hen81]). The restriction ‘densely-defined’ of the linear operator was removed in Da Prato and Lunardi’s work [DPL88] (but with an additional unnecessary ‘compact’ assumption for the linear operator). In [BJ89], Bates and Jones studied the case when the linear operator is a generator of C0 group with additional restriction that the stable and unstable subspaces are finite dimensional. Note that this restriction can also be satisfied by many Hamiltonian PDEs (see e.g. [LZ17]). More recently, by introducing more general operators in [MR07] than Hille-Yosida operators, Magal and Ruan in [MR09a] investigated the smooth center manifolds of more general semi-linear differential equations (see also Section 3.2) under an unnecessary ‘compact’ assumption for the linear operator which can be replaced by the uniform trichotomy condition (see Section 3.1.2 and \autopagerefdef:ut) which was characterized detailedly in [CL99]. The list we give is by no means exhaustive, and we refer to the introduction of [BLZ98] for more details.
Among previous results on invariant manifolds, the existence of exponential dichotomy or sometimes the exponential trichotomy, is important for it provides a framework to analyze the local nonlinear dynamics, is technically assumed to be hold. To verify this, one usually hopes that the spectral mapping theorem holds: exp(σ(A))=σ(expA)\{0} for the linear operator A; or the weak form exp(σ(A))=σ(expA).
So some additional compactness condition on the semigroup was assumed to be hold; see e.g. [DPL88, MR09a]. For more details about this issue see [EN00, Chapter IV] and [NP00]. See also [LZ17] for a beautiful characterization of the exponential trichotomy for some particular operators which does not induce from spectral mapping theorem. However, beyond the spectral gap condition, invariant manifolds might also exist by using other conditions. This was done in [MS88] where the authors introduced a condition which we call (A) (B) condition in the non-linear version (see Section 2.4); for relevant results by using (A) (B) condition to obtain the invariant manifolds, see also [Zel14, LYZ13] and our work about invariant manifold theory. In the present paper, we only focus on the uniform dichotomy condition plus a ‘small’ Lipschitz perturbation to verify the (A) (B) condition, but referring the reader to see [MS88, Zel14] where the perturbation can be more general than ‘small’ Lipschitz (namely spatial averaging) which makes (A) (B) condition also hold.
(III) The invariant manifolds also exist around an equilibrium for some ill-posed differential equations which even can not generate semiflows such as the good Boussinesq equation, the elliptic problem on the cylinder, the spatial dynamics induced by the reaction-diffusion equations, etc; see e.g. the works of Eckmann and Wayne [EW91], Gally [Gal93], de la Llave [dlLla09], and ElBialy [ElB12] but the results are further less. Such equations have a common feature: for most initial conditions, there does not exist a local solution. The setting for establishing the (stable, center-stable, pseudo-stable, center, etc) invariant manifolds in [EW91, Gal93, ElB12] are essentially the same which we now use the notion of a generator of a bi-semigroup under uniform dichotomy condition based on the work of Latushkin and Pogan [LP08] (or uniform trichotomy condition for establishing the center manifolds). See the very interesting proof in [ElB12] beyond the Lyapunov-Perron method or Hadamard graph transform method. In [SS99], Sandstede and Scheel also obtained invariant manifolds both for equilibrium and periodic orbit of the spatial dynamic generated by Appendix C.
In [Che18a], we gave a unified study on the global version of invariant manifolds, i.e. the invariant graphs for bundles or bundle correspondences with generating bundle maps (see Section 2.2) in non-trivial bundles, which can be applied to different settings; see also Section 4.1 and Section 4.3.
(IV) Beside the previous results on invariant manifolds of an equilibrium, the existence and persistence of invariant manifolds around an invariant manifold are also evidently important where the invariant manifold are usually taken as equilibriums, (a-)periodic orbit, several orbits with their closure (including e.g. homoclinic orbits, heteroclinic orbits, etc), or the global compact attractor. The notion of normal hyperbolicity plays a crucial role as the hyperbolicity of equilibrium which is the right condition for persistence. For a normally hyperbolic invariant manifold, loosely speaking, it means the linearized dynamic along this manifold contracts or expands along the normal direction and does so to a greater degree than it does along the tangential direction. The theory of normal hyperbolicity was investigated at length by Hirsch, Pugh and Shub [HPS77] and Fenichel [Fen72, Fen74, Fen77]. Further developments were given by Li and Wiggins [LW97] and Pliss and Sell [PS01] with an aim to make it applicable to partial differential equations in Banach spaces. A more significant generalization was made by Bates, Lu and Zeng [BLZ98, BLZ99, BLZ00, BLZ08] where the authors extended the classical theory to the abstract infinite-dimensional dynamical systems with allowing the invariant manifold to be immersed and non-compact. In [Che18b], we expanded the scope of normal hyperbolicity theory to more general settings (than [BLZ08]) in order to deal with non-smooth and non-Lipschitz dynamical systems and ill-posed (as well as well-posed) differential equations; see also Section 4.2.
(V) In some cases, the invariant manifold might be not normally hyperbolic but there may exist center-(un)stable manifolds around this manifold which also give some detailed characterizations of the dynamical behaviors; for example for a periodic orbit with period T, if the associated time-T solution map of its linearized dynamic along this orbit has a non-simple spectrum 1, then this periodic orbit is not normally hyperbolic. A notion of partially normal hyperbolicity which we used in [Che18] can give a way to deal with this situation. In finite-dimensional dynamical systems, this was also settled in [CLY00, CLY00a, BC16]. The corresponding results for abstract dynamical systems in infinite-dimension was addressed in [Che18]. See also [NS12, KNS15, JLZ17] as well as [HVL08, SS99] where the results were obtained for some concrete PDEs. In the present paper, we do not consider this situation, referring to see [Che18].
1.2. nontechnical overviews of main results
We only focus on some classes of abstract differential equations. Roughly, the differential equations are written as two parts: the linear part with a ‘small Lipschitz’ non-linear perturbation; the linear part usually is written as a closed linear operator plus a linear perturbation in a ‘cocycle’ form. To be more precisely, consider
[TABLE]
where C(ω):D(C(ω))⊂Z→Z, ω∈M, are closed linear operators, M is a topology space, Z is a Banach space, t:M→M is a C0 semiflow, and f:M×Z→Z is a nonlinear operator.
We discuss the following three situations about {C(ω)} and f.
(type I)
C(ω)=C+L(ω),L:M→L(Z,Z),f:M×Z→Z,
where C is a generator of a C0 bi-semigroup (see e.g. [vdMee08, LP08] and Section 3.1.1) or a C0 semigroup (see e.g. [EN00, Paz83]) in Z.
2. (type II)
C(ω)=C+L(ω),L:M→L(D(A),Z),f:M×D(A)→Z,
where A:D(A)⊂Z→Z is a Hille-Yosida operator (see [DPS87, EN00, ABHN11] and Appendix A), or more generally an MR operator (see the assumption (MR) in \autopagerefMR which was studied in [MR07, MR09, MR09a]). This class of A includes many concrete different equations (see e.g. Appendix C and the references we list before).
3. (type II1)
C(ω)=C+L(ω),L:M→L(D(A),D(A−α)),f:M×D(A)→D(A−α),
where A:D(A)⊂Z→Z is a Hille-Yosida operator (or MR operator) with additional assumption that AD(A), the part of A in D(A) (see Appendix A for a definition), is a densely-defined sectorial operator for some suitable α>0. For example A is a sectorial operator, i.e. a generator of a holomorphic semigroup (see e.g. [Ama95, Hen81]) and 0<α<1. Here we assume without loss of generality spectral bound s(A)<0. This case is very similar as (type II), so the details are omitted.
4. (type III)
Equation (♣) generates a C0 cocycle or a C0 cocycle correspondence (see Section 3.3) in Z and f:M×Z→Z; in fact, in this case, we consider the integral equation (3.31). This case is essentially the same as (type I).
Note that (type I) and (type II) (or (type II1)) are the most important cases to study the following autonomous different equation around some invariant set M,
[TABLE]
where g∈C1(Z0,Z−1), and A:D(A)⊂Z→Z and Z0,Z−1 are one of the following cases.
(type ∙a)
A is a generator of a C0 semigroup ([EN00]) or a C0 bi-semigroup ([vdMee08, LP08]); Z0=Z−1=Z.
2. (type ∙b)
A is a sectorial operator ([ABHN11]) or more generally A is a MR operator (see the assumption (MR) in \autopagerefMR) with additional assumption that AD(A) is a densely-defined sectorial operator; Z0=D(A) and Z−1=D(A−α) for some suitable α>0. Here we assume without loss of generality the spectral bound s(A)<0.
3. (type ∙c)
A is a Hille-Yosida operator ([ABHN11]) or more generally an MR operator (see the assumption (MR) in \autopagerefMR); Z0=D(A) and Z−1=Z. Note that sectorial operators are Hille-Yosida operators.
For some concrete examples of (♠), see Appendix C.
dichotomy and (A) (B) condition.
In order to deal with the ill-posed differential equations like (type I) and (type III), in Section 2.2, a class of ‘generalized hyperbolic dynamical systems’ are introduced, named cocycle correspondence over a semiflow and continuous correspondence by using the notion of correspondence originally due to [Cha08]. This is necessary since the ill-posed differential equations in general can not generate semiflows or cocycles but induce cocycle correspondences (see Section 3). In addition, by using the notion of dual correspondence (see Section 2.3), one can give a unified approach to obtain the ‘stable results’ and ‘unstable results’ for cocycles, which is different with classical methods e.g. [BLZ98]. Unlike the classical way, we adopt the notion of (A) (B) condition to describe the hyperbolicity motivated by [MS88, LYZ13, Zel14] which is close to invariant cone condition but in the non-linearity version; see Section 2.4. There is another purpose we introduce these conceptions, that is, by doing so, our results can be applied to non-smooth and non-Lipschitz dynamical systems. We refer the readers to see [Che18a, Che18d, Che18b, Che18] for more results about this ‘generalized dynamical system’ with some hyperbolicity described by (A) (B) condition.
To apply our existence and regularity results in Section 4.1 and Section 4.2 (or see [Che18a, Che18b] in detail) to semi-linear abstract differential equations (♣) or (♠), from the abstract view, one needs to show the differential equations can generate cocycles (for the well-posed case) or cocycle correspondences with generating cocycles (for the ill-posed case) satisfying (A) (B) condition. In Section 3, we will deal with with relationship between the dichotomy (or more precisely the exponential dichotomy of (linear) differential equations) and (A) (B) condition. See the main results Theorem 3.1, Theorem 3.3 and Theorem 3.2 in Section 3. For a comprehensive study of uniform dichotomy for C0 linear cocycles, see [CL99] and the references therein.
A first goal in Section 3 is to rewrite some equations satisfied by the (mild) solutions of the different equations in different forms, i.e. the different ‘variant of constant formulas’ satisfied by the solutions. And then in some appropriate forms, one can verify the (A) (B) condition under uniform dichotomy condition (see Section 3.1.2). As an illustration, see Section 3.1.1 (particularly Section 3.1.1); for a more special case, see also [LYZ13, Lemma 4]. For other conditions verifying the (A) (B) condition which are far away with ‘small Lipschitz’ perturbations, see [MS88] and [Zel14, Section 2.8].
In Section 3.2, we consider the well-posed case for (type II). Due to the difficulty that the linear part of the differential equations does not generate C0 cocycle in the whole space but the ranges of the non-linear perturbations are taken in the whole space, the link of the different ‘variant of constant formulas’ is not so clear. There are some classical ways e.g. Yosida approximations, extrapolation spaces to deal with this difficulty under some special contexts. In the present paper, we use a very effective tool, namely the integrated semigroup theory (see [ABHN11]), to handle the general case; see Section 3.2.3 (and Section 3.2.2 (2)).
A very analogous argument which we do not give details in this paper, can be applied to settle equations (type II1), i.e. the linear operator is a Hille-Yosida operator (or MR operator) with some analytic properties of its ‘C0 semigroup’ in the closure of its domain, and the linear and non-linear perturbations are allowed to be in some sense ‘unbounded’ (see also [Ama95]).
In Section 3.1, we study the ill-posed case (type I). The closed linear operator is assumed to be a generator of a C0 bi-semigroup (or an exponentially dichotomous operator ‘in some particular situation’ which was studied comprehensively in [vdMee08]) and the perturbations are required to be bounded. The uniform dichotomy condition for this case is taken from [LP08] where the authors first studied this exponential dichotomy for the ill-posed differential equations in an abstract way (but in a special setting); see also [SS01]. We mention that the spectral theory for the ill-posed differential equation is not well developed yet. In Section 3.3, we also give a sketch discussion about a light general case that the linear part of the differential equation generates a C0 cocycle or C0 cocycle correspondence on the whole space.
There is an interesting thing that by our argument we also obtain the sharpness of the spectral gap for the C0 bi-semigroup case (but not the Hille-Yosida operators or general MR operators) case (and also in the ‘cocycle’ case) in the spirit of [Mcc91, Rom93] (see also [Zel14]); see Section 3.1.1 (Section 3.1.1) and Theorem 3.3.
invariant manifold.
In [Che18a] and [Che18b], we investigated extensively about the existence and regularity of the invariant graphs (for bundles or bundle correspondences) and normally hyperbolic manifolds (for maps or correspondences) in the discrete context, respectively; see Section 4.1 and Section 4.2 for brief summaries in the corresponding continuous circumstance. A number of applications of the main results in the [Che18a] like decoupling theorem, different types of invariant foliations (laminations) including strong stable laminations and fake invariant foliations, and holonomies for cocycles, which can be used to derive more properties of (♣), were also given in that paper but not included in this paper. As a simple application of the results in Section 4.1, we give a global invariant manifold result concerning equation (♣), which, heuristically, can be summarized as follows.
Theorem A**.**
Assume for all ω∈M, (∘1) f(ω)(0)=0, or (∘2) supt≥0supz∣f(tω)(z)∣<∞.
Under uniform dichotomy condition (so there are two bundles X,Y over M such that M×Z=X×Y), Lipschitz continuity of f(ω)(⋅) with ‘suitable’ Lipschitz constant, and certain spectral gap condition according to case (∘1) or (∘2), there is a set M=⋃ω∈M(ω,Mω)⊂M×Z such that
(1)
Mω=GraphΨω, a Lipschitz graph of Ψω:Xω→Yω;
2. (2)
if (∘1) holds, then 0∈Mω; if (∘2) holds, then supt≥0∣Ψtω(0)∣<∞;
3. (3)
M* is positively invariant under equation (♣), meaning for each (ω,z)∈M, there is a (mild) solution u(t) (t≥0) of equation (♣) with u(0)=z such that u(t)∈Mtω for all t≥0.*
4. (4)
If z↦f(ω)z is C1 for each ω∈M, so is x↦Ψω(x).
See Theorem 4.8 and Theorem 4.9 for detailed statements. This theorem gives different types of invariant foliations of autonomous different equation (♠) around an equilibrium, different types of invariant manifolds of equation (♠) around an equilibrium (when M reduces as a one point set), or the strong (un)stable lamination of equation (♠) around the invariant set M. So Theorem A as well as the results in Section 4.1 recover many classical results about the existence and regularity of invariant manifolds and invariant foliations obtained in e.g. [CL88, MS88, DPL88, BJ89, CY94, CHT97, MR09a, LYZ13] (for the well-posed case), [EW91, Gal93, SS99, ElB12] (for the ill-posed case), [CL97] (for the C0 cocycle case), and [CLL91]; and in some cases they are even new, for instance, (i) the invariant foliations of equation (♠) for the case that A is a Hille-Yosida operator (or MR operator) which can be seen as a supplement of [MR09a], (ii) the invariant manifolds of equation (♣) in (type II), and (iii) the more precise spectral gap condition when A is a Hille-Yosida operator or for the equation (♣) in (type III), etc. Also, there are many other results in [Che18a] can be applied to equation (♣) or (♠) with the help of Theorem 3.1, Theorem 3.3 and Theorem 3.2 in Section 3.
Turn to consider the normal hyperbolicity case.
Theorem B**.**
Let M be a uniformly Lipschitz immersed submanifold of Z0 (assumption (B1) in Section 4.2). Assume M is invariant and normally hyperbolic with respect to equation (♠) and the amplitude of g∣Bϵ(M) is small as ϵ→0, then the following hold for some r>0.
(1)
(Center-(un)stable manifolds) There are center-stable and center-unstable manifolds Wloccs(M), Wloccu(M) of M in Br(M), which are C1 immersed submanifolds of Z0 and Wloccs(M)∩Wloccu(M)=M. There is a positive constant r′<r such that for any z0∈Wloccs(M)∩Br′(M) (resp. z0∈Wloccu(M)∩Br′(M)), there is a mild solution {u(t)}t≥0⊂Wloccs(M) (resp. {u(t)}t≤0⊂Wloccu(M)) of equation (♠) with u(0)=z0.
2. (2)
(Exponential tracking) If a mild solution {u(t)}t≥0 (resp. {u(t)}t≤0) of equation (♠) always ‘stays’ in Br(M), then it must belong to Wloccs(M) (resp. Wloccu(M)), and there is certain ω∈M such that ∣u(t)−tω∣→0 (resp. ∣u(−t)−(−t)(ω)∣→0) exponentially as t→∞.
3. (3)
(Strong (un)stable foliations) Wloccκ(M) is foliated by Wκκ with leaves Wκκ(ω), ω∈M, κ=s,u. Each leaf Wκκ(ω) is a Lipschitz immersed submanifold of X. In fact, Wss, Wuu are Hölder bundles over M.
The foliations Wκκ are invariant with respect to equation (♠), i.e. if z∈Wss(ω)∩Br′(M), then there is a mild solution {u(t)}t≥0 (resp. {u(t)}t≤0) of equation (♠) with z(0)=z satisfying u(t)∈Wss(tω) for all t≥0 (resp. t≤0).
4. (4)
(Smoothness) (i) Under the smooth condition (assumption (B4)), Wloccs(M), Wloccu(M), M, and Wss(ω), Wuu(ω), ω∈Σ, are all C1 immersed submanifolds. So particularly, the two immersed submanifolds Wloccs(Σ), Wloccu(Σ) are transverse. Moreover, under higher smooth condition and spectral gap condition, these immersed submanifolds would be higher smooth.
(ii) Under more restrictive smooth conditions and center bunching conditions (see Section 4.2 (4vii)), Wss, Wuu are C1 (in some cases even C1,ζ) foliations.
5. (5)
(Persistence) The above results are persistent under small C1 perturbation of equation (♠). Moreover, there is a true center manifold M which is C1 immersed in Br(M), homeomorphic (in fact C1 diffeomorphic) to M and invariant with respect to the perturbed equation of equation (♠) (i.e. g is replaced by g in (♠) with ∣g−g∣C1(Br(M)) being small when r is small); also Wloccs(M)∩Wloccu(M)=M, and M→M, TM→TM as ∣g−g∣C1(Br(M)) and the amplitude of g∣Br(M) (with r) approach [math]. Here g can be some ‘large’ perturbations (see Section 4.4).
See Section 4.4 and Section 4.2 for precise statements and more general results.
In [LW97, PS01], the authors considered the above corresponding results for the special (type ∙b) of PDEs with M being C2 compact embedding submanifold. In a series of papers [BLZ98, BLZ99, BLZ00, BLZ08], the authors also obtained the theory of the normal hyperbolicity for abstract infinite-dimensional dynamical systems with M unnecessarily being compact or embedding. Our setting for the submanifold M (see Section 4.2) is essentially the same as [BLZ08] where the only difference is that M is not assumed to be C1. If we further assume g∈Lip(Br(M),Z−1) and equation (♠) is well-posed, then one can apply the results in [BLZ08] to obtain Theorem B as well. For this case, the almost uniform Lipschitz condition on the semiflow t:M→M (see Settings B (BII) in Section 4.4) can be removed which was implied by the Lipschitz continuity of g; but also note that t being C0 in the immersed topology of M is essential. The smoothness of strong (un-)stable foliations was not discussed in [BLZ08], which is almost the consequence of [Che18a]. However, it is obvious that the results in [BLZ08] can not be applied to the ill-posed differential equation (♠) when A is a generator of a C0 bi-semigroup since this equation in general does not generate a semiflow. Theorem B as well as the results in Section 4.4 and Section 4.2 are the first time to address the problem of the existence and persistence of the normally hyperbolic invariant manifolds for ill-posed differential equations. Also, our results in Section 4.2 can be applied to the non-Lipschitz and non-smooth dynamical systems. New ideas and techniques should be developed to tackle the difficulties arising in our general settings, although some basic methods are due to [HPS77, Fen72, BLZ08]; for detailed proofs of the results in Section 4.2, see [Che18b].
This is a paper that aims to give an application of our abstract results in [Che18a, Che18b] to both well-posed and ill-posed abstract differential equations like (♣) or (♠), but not to give a detailed analysis of some concrete differential equations. Also, it is not a purpose of this paper to develop a unified spectral theory for the well-posed and ill-posed linear differential equations.
1.3. structure of this paper
Section 2 contains some basic notions we will use throughout this paper. The relation between the dichotomy and (A) (B) condition for some classes of differential equation is given in Section 3. A quick review of the main results about invariant manifold theory in [Che18a, Che18b] with an application to different equations is contained in Section 4.
Guide to Notation:
∙
Lipf: the Lipschitz constant of f.
2. ∙
R+≜{x∈R:x≥0}.
3. ∙
X(r)≜Br={x∈X:∣x∣<r}, if X is a Banach space.
4. ∙
For a correspondence H:X→Y (defined in Section 2.2),
•
H(x)≜{y:∃(x,y)∈GraphH},
•
A⊂H−1(B), if ∀x∈A, ∃y∈B such that y∈H(x),
•
GraphH, the graph of the correspondence.
•
H−1:Y→X, the inversion of H defined by (y,x)∈GraphH−1⇔(x,y)∈GraphH.
5. ∙
f(A)≜{f(x):x∈A}, if f is a map.
6. ∙
Graphf≜{(x,f(x)):x∈X}, the graph of the map f:X→Y.
7. ∙
Dfm(x)=Dxfm(x): the derivative of fm(x) with respect to x; D1Fm(x,y)=DxFm(x,y), D2Fm(x,y)=DyFm(x,y): the derivatives of Fm(x,y) with respect to x, y, respectively.
8. ∙
d(A,z)≜supz~∈Ad(z~,z), if A is a subset of a metric space, defined in \autopagerefnotationDD.
9. ∙
an≲bn, n→∞ (an≥0,bn>0) means that supn≥0bn−1an<∞, defined in \autopagerefnotation1.
10. ∙
(T∗g)(t)≜∫0tT(t−s)g(s)ds: the convolution of T and g (see (3.13)).
11. ∙
(S◊f)(t)≜dtd∫0tS(t−s)f(s)ds defined in Section 3.2.1.
12. ∙
(S0◊f)(ω)(t)=dtd∫0tS0(t−s,sω)f(s)ds defined in Section 3.2.2.
13. ∙
∣f∣[0,t]≜sups∈[0,t]∣f(s)∣, if f∈C([0,t],X) defined in Section 3.2.1.
14. ∙
D(A): the domain of a linear operator A.
15. ∙
AY: the part of linear operator A in Y (see Appendix A).
16. ∙
E1(t): defined in \autopagerefeee.
2. Correspondence with generating map and (A) (B) condition
In this section, we list some notions in order to deal with the differential equations in Banach spaces for both ill-posed and well-posed case.
All the mathematical materials appeared in this section are taken from [Che18a], where the readers can find more details in that paper.
2.1. some notions about bundle
(X,M,π1) (or for short X) is called a (set) bundle over M if π1:M→X is a surjection. Call Xm=π1−1(m), m∈M, the fibers of X, M the base space of X and π1 the projection.
The elements of X are usually written as (m,x) where x∈Xm, m∈M.
If X and Y are bundles over M, the Whitney sum X×Y of X,Y is defined by
[TABLE]
Let (X,M1,π1),(Y,M2,π2) be two bundles and u:M1→M2 a map. We say a map f:X→Y is a bundle map over u if f(Xm)⊂Yu(m) for all m∈M1; in this case, we write f(m,x)=(u(m),fm(x)) and call fm:Xm→Yu(m) a fiber map of f.
2.2. correspondence with generating map
Let X,Y be sets. H:X→Y is said to be a correspondence (see [Cha08]), if there is a non-empty subset of X×Y called the graph of H and denoted by GraphH.
There are some standard operations between the correspondences.
∙
(inversion) For a correspondence H:X→Y, define its inversion H−1:Y→X by (y,x)∈GraphH−1 if only if (x,y)∈GraphH.
2. ∙
(composition) For two correspondences H1:X→Y, H2:Y→Z, define H2∘H1:X→Z by
[TABLE]
3. ∙
(linear operation) Let X,Y be vector spaces. For correspondences H1,H2:X→Y, H1−H2:X→Y is defined by
[TABLE]
In particular, if H:X→Y is a correspondence, then Hm≜H(m+⋅)−m:X→Y means GraphHm={(x,y−m):∃(x+m,y)∈GraphH}.
The following notations for a correspondence H:X→Y will be used frequently: for x∈X, A⊂X,
[TABLE]
allow H(x)=∅; if H(x)={y}, write H(x)=y.
So by A⊂H−1(B) we mean ∀x∈A, ∃y∈B such that y∈H(x) (i.e. x∈H−1(y)). If X=Y, we say A⊂X is invariant under H if A⊂H−1(A).
Evidently, x↦H(x) can be regarded as a ‘multiple-valued map’, but it is useless from our purpose as we only concern the description of GraphH.
We say a correspondence H:X1×Y1→X2×Y2 has a generating map(F,G), denoted by H∼(F,G), if there are maps F:X1×Y2→X2, G:X1×Y2→Y1, such that
[TABLE]
Let X,Y be sets. H:R+×X→X is called a continuous (semi-)correspondence, if
(a)
∀t∈R+, H(t):X→X is a correspondence;
2. (b)
H(0)=id, H(t+s)=H(t)∘H(s), ∀t,s∈R+.
Furthermore, a continuous semi-correspondence H:R+×X×Y→X×Y is said has a generating map (F,G), if every H(t)∼(Ft,Gt). If X,Y are topology spaces, and (t,x,y)↦Ft(x,y),(t,x,y)↦Gt(x,y) are continuous, we say H has a continuous generating map. In analogy, if X,Y are Banach spaces, or more generally, Banach manifolds, and (t,x,y)↦DiFt(x,y), (t,x,y)↦DiGt(x,y), i=0,1,…,k, are continuous, we say H has a Ck smooth generating map.
Let (X,M,π1),(Y,M,π2) be bundles, and t:M→M,ω↦tω a semiflow. H:R+×X→X is called a (semi-)cocycle correspondence overt, if
(a)
∀t∈R+, H(t):X→X is a bundle correspondence over t;
2. (b)
H(0,ω)=id, H(t+s,ω)=H(t,sω)∘H(s,ω), ∀t,s∈R+, where H(t,ω)≜H(t)(ω,⋅):Xω→Xtω is a correspondence.
In this case, H−1, the inversion of H, means H−1(t,ω)≜H(t,ω)−1:Xtω→Xω.
Furthermore, a cocycle correspondence H:R+×X×Y→X×Y is said has a generating cocycle(F,G), if every H(t,ω)∼(Ft,ω,Gt,ω), where Ft,ω:Xω×Ytω→Xtω,Gt,ω:Xω×Ytω→Yω are maps.
See examples in Section 3 (abstract differential equations) and Appendix C (concrete differential equations).
Let u:M→N be a map. Suppose Hm:Xm×Ym→Xu(m)×Yu(m) is a correspondence for every m∈M. Using Hm, one can determine a correspondence H:X×Y→X×Y, by GraphH≜⋃m∈M(m,GraphHm), i.e. (u(m),xu(m),yu(m))∈H(m,xm,ym)⇔(xu(m),yu(m))∈Hm(xm,ym). We call H a bundle correspondence over a map u.
If Hm has a generating map (Fm,Gm) for every m∈M, where Fm:Xm×Yu(m)→Xu(m),Gm:Xm×Yu(m)→Ym are maps, then we say H has a generating bundle map(F,G) over u, which is denoted by H∼(F,G).
2.3. dual correspondence
Let H:X1×Y1→X2×Y2 be a correspondence with a generating map (F,G). The dual correspondenceH of H is defined by the following. Set X1=Y2, X2=Y1, Y1=X2, Y2=X1 and
[TABLE]
Now H∼(F,G):X1×Y1→X2×Y2, i.e.
[TABLE]
One can similarly define the dual bundle correspondenceH of bundle correspondence H over u if u is invertible; H now is over u−1. Also, the dual cocycle correspondence of cocycle correspondence over t can be defined analogously if t is a flow.
H and H have some duality in the sense that H can reflect some properties of ‘H−1’. For instance, if H satisfies (A)(α;α′,λu) condition (see Section 2.4 below), then H satisfies (B)(α;α′,λu) condition. So one can get the ‘unstable results’ of H through the ‘stable results’ of H. This approach, which we learned from [Cha08], is important when we deal with invariant manifold theory for non-invertible dynamics.
2.4. (A) (B) condition
Let Xi,Yi,i=1,2 be metric spaces. For the convenience of writing, we write the metrics d(x,y)≜∣x−y∣.
Definition \thedefinition.
We say a correspondence H:X1×Y1→X2×Y2 satisfies (A) (B) condition, or (A)(α;α′,λu) (B)(β;β′,λs) condition, if the following conditions hold.
∀(x1,y1)×(x2,y2),(x1′,y1′)×(x2′,y2′)∈GraphH,
(A)
(A1) if ∣x1−x1′∣≤α∣y1−y1′∣, then ∣x2−x2′∣≤α′∣y2−y2′∣;
(A2) if ∣x1−x1′∣≤α∣y1−y1′∣, then ∣y1−y1′∣≤λu∣y2−y2′∣;
2. (B)
(B1) if ∣y2−y2′∣≤β∣x2−x2′∣, then ∣y1−y1′∣≤β′∣x1−x1′∣;
(B2) if ∣y2−y2′∣≤β∣x2−x2′∣, then ∣x2−x2′∣≤λs∣x1−x1′∣.
If α=α′,β=β′, we also use notation (A)(α,λu) (B)(β,λs) condition.
In particular, if H∼(F,G), then the maps F,G satisfy the following Lipschitz conditions.
If F,G satisfy the above Lipschitz conditions, then we say H satisfies (A′)(α′,λu) (B*′)(β′,λs) condition**, or (A′) (B′) condition**. Similarly, we can define (A′) (B) condition, or (A) (B′) condition; or (A) condition, (A′) condition, etc, if H only satisfies (A), (A′*), etc, respectively.
Our definition of (A)(B) condition is associated with the hyperbolicity. Roughly, the numbers λs,λu are related with the Lyapunov numbers, the spaces Xi,Yi, i=1,2, play a similar role of spectral spaces, and the numbers α,α′, β,β′ describe how the spaces Xi,Yi (i=1,2) are approximately invariant.
It might be intuitive to see this in Theorem 3.1 or Theorem 3.3, a relation between the (exponential) dichotomy and (A) (B) condition, which is a main issue of this paper addressed in Section 3. We refer the readers to see [Che18a, Section 3.2 and 3.3] as well as [MS88, Zel14] for more results about the verification of (A) (B) condition.
3. Relation between dichotomy and (A) (B) condition
In this section, we will give some classes of abstract differential equations that generate cocycle correspondences with generating cocycles, including both well-posed and ill-posed case. For some concrete examples, see Appendix C. We focus on the relationship between the dichotomy and (A) (B) condition, which is important for us to apply our results in Section 4.1 and Section 4.2 (as well as [Che18a, Che18]) to some differential equations.
The dichotomy or more precisely the exponential dichotomy of differential equations is related with spectral theory, which is well developed for C0 cocycle (especially the well-posed linear differential equations); see e.g. [CL99] and the literatures therein for a comprehensive study, as well as [LZ17, LL10] for further developments.
It is worth pointing out that the existing spectral theory for the ill-posed differential equations is not so well developed even in ‘equilibrium’ case, not mention that in general ‘cocycle’ case. No attempt has been made here to develop such theory. We refer to [LP08] (and also [SS01]) and the references therein for some general results in this direction and detailed spectral analysis of some particular concrete differential equations.
Throughout this section, we make the following settings.
∙
M is a Hausdorff topology space. t:M→M is a continuous semiflow, i.e. R+×M→M, (t,ω)↦tω is continuous and 0ω=ω, (t+s)ω=t(sω) for all t,s∈R+, ω∈M.
2. ∙
Let Z be a Banach space. Assume C(ω):D(C(ω))⊂Z→Z, ω∈M, are closed linear operators.
In the following, we will consider the following two differential equations in different settings:
[TABLE]
and
[TABLE]
where f:M×Z→Z is continuous and for every ω∈M, supt≥0Lipf(tω)(⋅)=ε(ω)<∞.
In Section 3.1 and 3.2, we concentrate on the following the special form of {C(ω)}:
[TABLE]
where A:D(A)⊂Z→Z is a closed linear operator and L:M→L(D(A),Z) satisfies the following assumption. Note that D(C(ω))=D(A).
(D1)
Suppose L is strongly continuous, i.e. (ω,z)↦L(ω)z is continuous. Moreover, assume that (i) for every ω∈M, supt≥0∣L(tω)∣=τ(ω)<∞; and (ii) ω↦τ(ω) is locally bounded.
Definition \thedefinition(mild solution).
Let {C(ω)} be as (3).
A function u∈C([a,b],Z) is called a (mild) solution of (3.2) if it satisfies (i) ∫atu(s)ds∈D(A) for all t∈[a,b] and (ii) the following
[TABLE]
Similarly, a function u∈C([a,b),Z) (resp. u∈C((a,b],Z)) is called a (mild) solution of (3.2) if for any r∈(a,b), u∣[a,r] (resp. u∣[r,b]) is a mild solution of (3.2).
Definition \thedefinition.
Let {C(ω)} be as (3). We say equation (3.2) is well-posed, if for every ω∈M and every x∈D(C(ω))=D(A), equation (3.2) has a mild solution u∈C([0,χ(ω,x)],Z) with u(0)=x, where χ(ω,x)>0 depending on choice of ω,x; otherwise, we say equation (3.2) is ill-posed.
That the differential equation is well-posed or ill-posed depends on how we define the solution of the equation. In this paper, we only focus on the mild solutions.
We will consider the three types of equations (3.2), i.e. (type I) ∼ (type III) listed in Section 1.2, which are important for applications.
We will show that equation (3.2) gives a cocycle correspondence H with generating cocycle through the mild solutions under additional mild conditions. The cocycle correspondence H will satisfy (A) (B) condition, roughly speaking, if some uniform dichotomy of (3.1) is assumed and the Lipschitz constants of f(ω)(⋅) (i.e. ε(⋅)) are ‘small’; see Theorem 3.1, Theorem 3.3 and Theorem 3.2. So our results in Section 4.1 and Section 4.2 can be applied to give some dynamical results of the equation (3.2), as well as the results in [Che18a, Che18].
See [EN00, ABHN11, vdMee08] for some basic backgrounds from operator semigroup theory. In Appendix A, we give some basic definitions and notations taken from operator semigroup theory for readers’ convenience. We deal with (type I) in Section 3.1 and (type II) in Section 3.2. A light more general case (type III) is also discussed in Section 3.3.
3.1. C0 (bi-)semigroup case
3.1.1. an illustration: autonomous system case
Let X,Y be two Banach spaces. Assume T(t):X→X, S(−t):Y→Y, t≥0, are C0 semigroups, and
[TABLE]
Remark \theremark.
In general, for a C0 semigroup T, it must have ∣T(t)∣≤Ceμt for some C≥1, μ. The constant C might not equal 1. But we can always choose an equivalent norm ∥⋅∥ such that ∥T(t)∥≤eμt; see [EN00]. That C=1 is a key in our argument.
Consider
[TABLE]
where B1:X×Y→X, B2:X×Y→Y are Lipschitz with LipBi≤ε.
Denote by A,−B the generators of T,S, respectively. Then (3.3) can be considered as the mild solutions of the following differential equation,
[TABLE]
i.e. z(⋅)=(x(⋅),y(⋅)) satisfies ∫t1tx(s)ds∈D(A), ∫t1ty(s)ds∈D(B), and
[TABLE]
for all t1≤t≤t2, where (x1,y1)∈X×Y, y1=y(t1). As usual, (3.3) is called a variant of constant formula of (3.4) (or (3.5)).
Set
[TABLE]
C is called a generator of a C0** bi-semigroup**. See [vdMee08] for more characterizations and Appendix A.
Note that the existence of the solutions of (3.3) is a standard application of Banach Fixed Point Theorem; the detail is omitted here (see also [ElB12]). Any solution of (3.3) satisfies (3.5), and if (3.5) exists a solution with (x(t1),y(t1))=(x1,y1), then it must satisfy (3.3) with y(t2)=y2; this is a standard consequence of linear C0 semigroup theory (see e.g. [EN00, ABHN11] for details) by setting fi(s)=Bi(x(s),y(s)), i=1,2. Using the parameter-dependent fixed point theorem (see e.g. [Che18a, Appendix D.1]), one can easily show the continuous and smooth dependence of the solution of (3.3) about (x1,y2) when Bi, i=1,2, have higher regularity. We emphasis that (3.5), unlike the classical case, might not have a solution for (x(t1),y(t1))=(x1,y1), i.e. (3.4) is ill-posed. In contrast, (3.3) always has a (unique) solution for (x(t1),y(t2))=(x1,y2).
Define a correspondence H(s):X×Y→X×Y as follows. Let t1=0,t2=s. (x2,y2)∈H(s)(x1,y1) if and only if there is a continuous (x(t),y(t)), 0≤t≤s, satisfying (3.3) with (x(ti),y(ti))=(xi,yi), i=1,2. H(s) has a natural generating map (Fs,Gs), which is defined by Fs(x1,y2)=x(s), Gs(x1,y2)=y(0), where (x(t),y(t)) satisfies (3.3) with x(0)=x1,y(s)=y2.
By verifying directly, we have H(t+s)=H(t)∘H(s), i.e. H(⋅) is a continuous correspondence defined in Section 2.2. Note that in general, H is not a flow or semiflow. In [ElB12], H was also called the dichotomous flow induced by (3.3) (or (3.4) (3.5)).
Lemma \thelemma.
Let T(⋅),S(−⋅) be two C0 semigroups satisfying (3.2). Assume LipBi≤ε, where X×Y equips with the max norm defined by ∣(x,y)∣=max{∣x∣,∣y∣}, (x,y)∈X×Y. Let H be the continuous correspondence induced by (3.3). Assume μu−μs−2ε>0. Take α,β such that μu−μs−εε≤α,β<1, and λu=e−μu+ε, λs=eμs+ε. Then H(t) satisfies (A)(α,λut)(B)(β,λst) condition.
In fact, if α,β∈(μu−μs−εε,1) and t≥ϵ1>0, then H(t) satisfies (A)(α;kαα,λut) (B)(β;kββ,λst), where
[TABLE]
Remark \theremark.
(a)
The condition μu−μs−2ε>0 in some sense is sharp, which has been obtained independently in [Mcc91] and [Rom93]. See also [Zel14] and the references therein more details. The proof given here is quite different from previous literatures we list.
2. (b)
Note that the Lipschitz constants of Bi are computed with respect to the max norm of X×Y.
If we employ the p-norm in X×Y (1≤p<∞), i.e. ∣(x,y)∣p={∣x∣p+∣y∣p}1/p, we have another estimate (which in some cases is useful). Assume μu−μs−4ε>0. Take α,β such that Δ1≤α,β<1, where Δ1≜μu−μs−2ε+Δ2ε, Δ=(2ε−(μu−μs))2−4ε2>0. Then H(t) also satisfies (A)(α,λut) (B)(β,λst) condition and αβ<1, λsλu<1. The proof is essentially the same as using the max norm, so we leave it to readers.
3. (c)
There is a special case for T,S. Let T:X×Y→X×Y be a C0 semigroup. Suppose T(t)X⊂X, T(t)Y⊂Y, for t≥0, and T∣Y is a C0 group. Now take T(t)=T(t)∣X, S(−t)=(T(t)∣Y)−1. For this case, the result is more or less classical. See also [LYZ13, Lamma 4] for essentially the same result where the estimate thereof is not optimal.
Remark \theremark.
If we distinguish different Lipschitz constants of LipB1, LipB2, then the result can be a little bit more detailed. Let LipB1≤εs, LipB2≤εu. Assume μu−μs−εs−εu>0. Then we can take α∈[μu−μs−εuεs,1), β∈[μu−μs−εsεu,1), and λu=e−μu+εu, λs=eμs+εs; particularly if εs→0, then we can take α→0. If α∈(μu−μs−εuεs,1), β∈(μu−μs−εsεu,1) and t≥ϵ1>0, then we can take
Let (x(t),y(t)), (x′(t),y′(t)), t1≤t≤t2, satisfy (3.3) with (x1,y2) being equal to (x(t1),y(t2)), (x′(t1),y′(t2)), respectively. Set x^(t)=x(t)−x′(t), y^(t)=y(t)−y′(t). It suffices to show if ∣x^(t1)∣≤α∣y^(t1)∣, then ∣x^(t2)∣≤α∣y^(t2)∣ and ∣y^(t1)∣≤λut2−t1∣y^(t2)∣. (B) condition can be proved similarly.
For any α∈(μu−μs−εε,1), if ∣x^(t)∣≤α∣y^(t)∣ for t∈[t1,t2′], t1<t2′≤t2, then ∣x^(t2′)∣<α∣y^(t2′)∣ and ∣y^(t1)∣≤λut2′−t1∣y^(t2′)∣.
Proof.
Since ∣x^(t)∣≤α∣y^(t)∣ for t∈[t1,t2′], and α<1, we have
[TABLE]
By Gronwall inequality, ∣y^(t)∣≤e(−μu+ε)(t2′−t)∣y^(t2′)∣=λut2′−t∣y^(t2′)∣. So
[TABLE]
Since μu−μs−ε>μu−μs−2ε>μu−μs−ε−αε>0 and μu−μs−εε<α, we have
[TABLE]
completing the proof.
∎
Sublemma \thesublemma.
Let α∈[μu−μs−εε,1). If ∣x^(t1)∣≤α∣y^(t1)∣, then ∣x^(t)∣≤α∣y^(t)∣ for all t>t1.
Proof.
Take any α′ such that α<α′<1. We show ∣x^(t)∣<α′∣y^(t)∣ for all t>t1. Consider
[TABLE]
Let t0=supD. Note that t0∈D and t0>t1 (since ∣x^(t1)∣≤α∣y^(t1)∣<α′∣y^(t1)∣).
If t0<t2, then ∣x^(t0)∣=α′∣y^(t0)∣ and ∣x^(t)∣≤α′∣y^(t)∣ for all t1≤t≤t0. By the above sublemma, we know ∣x^(t0)∣<α′∣y^(t0)∣, which yields a contradiction. So t0=t2, i.e. ∣x^(t)∣≤α′∣y^(t)∣ for all t1≤t≤t2. Finally, let α′→α, then ∣x^(t)∣≤α∣y^(t)∣.
∎
Now, combine the above two sublemmas to complete the proof of the first conclusion. For the second conclusion, this in fact has been proved in Section 3.1.1.
∎
3.1.2. uniform dichotomy on R+
Definition \thedefinition(uniform dichotomy).
We say a C0 cocycle correspondence H1 (or {H1(t,ω)}, i.e. H1(t,ω)∼(T1(t,ω),S1(−t,tω)):Xω⊕Yω→Xtω⊕Ytω) on M×Z satisfies uniform dichotomy on R+ if the following hold.
(a)
Assume Z=Xω⊕Yω, ω∈M, associated with projections Pω, Pωc=I−Pω such that R(Pω)=Xω, R(Pωc)=Yω. (ω,z)↦Pωz is continuous.
Usually, we call Xω,Yω, ω∈M, the spectral spaces, Pω,Pωc, ω∈M, the spectral projections, and also ⨆ω∈MXω,⨆ω∈MYω , the spectral subbundles.
2. (b)
There are two C0 linear cocycles T1, S1 such that T1(t,ω):Xω→Xtω, S1(−t,tω):Ytω→Yω, for all (t,ω)∈R+×M.
3. (c)
There is a constant C1>0 such that supω∣Pω∣≤C1, supω∣Pωc∣≤C1.
4. (d)
There are functions μs,μu of M→R, such that
[TABLE]
for all t,r≥0 and ω∈M. See also Section 3.2.4 for a reason why we only consider the such estimates about T1,S1.
Remark \theremark(C0 cocycle).
We say U or {U(t,ω)} is a C0 cocycle over t on a bundle X which is a topology space and over M, if the following properties hold.
(i)
U(t,ω):Xω→Xtω for each t≥0, ω∈M, i.e. U(t,⋅)(⋅) can be considered as a bundle map over a fixed map t;
2. (ii)
(C0 property) (t,ω,x)↦U(t,ω)x:R+×X→X is continuous;
3. (iii)
(cocycle property) U(0,ω)=id, U(t+s,ω)=U(t,sω)U(s,ω) for all t,s≥0, ω∈M.
When each fiber Xω of X is a normed space, we say U is a C0 linear cocycle if U(t,ω)∈L(Xω,Xtω) for each t≥0, ω∈M; in this case, sometimes we also say U is a strongly continuous (linear) cocycle. In Section 3.1.2 (b), T1 being C0 is in this sense when ⨆ω∈MXω is endowed with sub-topology of M×Z; note that ⨆ω∈MXω in general is not a C0 vector bundle unless ω↦Pω∈L(Z,Z) is continuous (not just strongly continuous).
However, as t might not be a flow, we need to explain more about S1 (in Section 3.1.2 (b)). First, we mention that S1(−t,tω) should be written as S1′(−t,ω):Ytω→Yω in a more strict sense; that is the second variable tω in S1(−t,tω) only means ω, and so S1(t−s,sω)(=S1(t−s,(s−t)(tω))) (t≤s) means S1′(t−s,tω). We write it in this form only for an intuitive sense when t indeed is a flow. Second, except we can not say S1 (or S1′) is over −t, properties (ii) (iii) can make sense when U(t,ω)=S1(−t,tω)=S1′(−t,ω); this is what we mean for S1 being a C0 linear cocycle.
The continuity of T1,S1 is to give the continuity of z(⋅) (in Section 3.1.2 (b)) and to make sense of the following ‘variant of constant formulas’.
Set Z≜X×Y, PX:(x,y)↦x, PY:(x,y)↦y. Consider the following differential equation
[TABLE]
or its variant of constant formula
[TABLE]
where C is a generator of a C0 bi-semigroup and L:M→L(Z,Z) satisfies assumption (D1) in \autopagerefd1L.
(UD+)
Let (3.6) satisfy uniform dichotomy on R+ (see [LP08] in a special setting). That is, there is a C0 cocycle correspondence H1 (i.e. H1(t,ω)∼(T1(t,ω),S1(−t,tω)):Xω⊕Yω→Xtω⊕Ytω) on M×Z satisfies satisfies uniform dichotomy on R+ (see Section 3.1.2); moreover, if z(t)≜(T1(t−t1,t1ω)x1,S1(t−t2,t2ω)y2)∈Xtω⊕Ytω, t1≤t≤t2, then z(⋅) is the mild solution of (3.1) with Pt1ωz(t1)=x1 and Pt2ωcz(t2)=y2.
Remark \theremark.
The existing literatures on the characterization of uniform dichotomy on R+ (or R) in the case of C0 bi-semigroup are far less. For a theoretical result see [LP08] (for the case when Z is a Hilbert space, M=R, and t(s)=t+s), where the notion of the uniform dichotomy on R+ is taken from that paper. Others are about special differential equations, see the references in [LP08] and [SS01]. A more systematical theory should be established, which is not included in this paper.
Consider the following nonlinear differential equation,
[TABLE]
where f:M×Z→Z satisfies the following assumption.
(D2)
f is continuous. For every ω∈M, supt≥0Lipf(tω)(⋅)=ε(ω)<∞, and ω→ε(ω) is locally bounded.
The following result is important for it tells us how (3.8) gives the cocycle correspondence under the uniform dichotomy condition (UD+).
Lemma \thelemma.
A continuous function z(t)=(x0(t),y0(t))∈X×Y, t1≤t≤t2, is a mild solution of (3.8), i.e. it satisfies the following with x0(t1)=x1′, y0(t2)=y2′,
[TABLE]
if and only if z(t)=(x(t),y(t))∈Xtω⊕Ytω satisfies
[TABLE]
where x(t)=Ptωz(t), y(t)=Ptωcz(t).
Proof.
What we need here are the uniform dichotomy condition (UD+) in (b), i.e. T1,S1 satisfy the following:
[TABLE]
and
[TABLE]
where T∗g means the convolution of T and g, i.e.
[TABLE]
The ‘if part’ and the ‘only if part’ are dual, so we only consider the ‘if part’. Fix ω. Let z(t), t1≤t≤t2, satisfy (3.10) and be fixed. Set
[TABLE]
Now the equations become ‘non-homogeneous linear equations’. By the condition on T1,S1, the solutions of ‘homogeneous parts’ of (3.9) and (3.10) are equal. So it suffices to consider the ‘non-homogeneous parts’, i.e. let (x(t1),y(t2))=(0,0). Set
[TABLE]
t1≤t≤t2. We need to show under the projection PX, they satisfy
[TABLE]
and
[TABLE]
t1≤t≤t2, where we use the notation ft(s)=f(t+s). In particular, x0(t)≜PXz(t)=PX(ut1(t,ω)+vt2(t,ω)) satisfies the first equation in (3.9) with x1′=PXvt2(t1,ω). Using the similar equations satisfied by PYut1, PYvt2, one can show y0(t)≜PYz(t) satisfies the second equation in (3.9), which yields z(⋅) satisfies (3.9).
That PXut1(t,ω) satisfies (3.14) is an easy consequence of the fact that T1 satisfies (3.11). More especially, take convolution on both sides of (3.11) by P(⋅+t1)ωgt1(⋅).
Next we will show (3.15) holds. Multiply (right) on both sides of (3.12) by Psωcg(s), and then integrate them from t to t2 with respect to s, yielding
[TABLE]
where y(t,s)=S1(t−s,sω)Psωcg(s).
Also, multiplying (right) on both sides of (3.12) by Psωcg(s) and letting t=s, we get
[TABLE]
Multiply (left) on both sides of the above equality by T(t−s) and then integrate them with respect to s, yielding
[TABLE]
By virtue of (3.16) (3.17), we have shown that (3.15) holds for t1=0, i.e.
The existence and uniqueness of the solution z(t)=(x(t),y(t))∈Xtω⊕Ytω (t1≤t≤t2) of (3.10) with x(t1)=x1,y(t2)=y2 are a standard application of Banach Fixed Point Theorem, as well as the continuous and smooth dependence of the ‘initial values’, i.e. the following Section 3.1.2 holds (by using the parameter-dependent fixed point theorem (see e.g. [Che18a, Appendix D.1])).
Using (3.10), we can define a unique cocycle correspondenceH(s,ω):Xω⊕Yω→Xsω⊕Ysω satisfying the following. Let t1=0, t2=s in (3.10). Let z(t)=(x(t),y(t))∈Xtω⊕Ytω, 0≤t≤s, be the unique solution of (3.10) with x(0)=x1,y(s)=y2. Define
[TABLE]
Now we have a unique correspondence H(s,ω):Xω⊕Yω→Xsω⊕Ysω with generating map (Fs,ω,Gs,ω). By the cocycle property of T1,S1 and the uniqueness of the solutions of (3.10), one can easily verify that H(t+s,ω)=H(t,sω)∘H(s,ω) for all t,s≥0, ω∈M.
Lemma \thelemma.
Under (D1) (D2) (UD+), (s,ω,z1,z2)↦Fs,ω(Pωz1,Psωcz2),Gs,ω(Pωz1,Psωcz2) are continuous. Moreover, if f(ω)(⋅)∈Cr for all ω∈M and (ω,z)↦Dzrf(ω)z is continuous, so are (s,ω,z1,z2)↦D(z1,z2)rFs,ω(Pωz1,Psωcz2),D(z1,z2)rGs,ω(Pωz1,Psωcz2).
Theorem 3.1**.**
Let C be a generator of C0 bi-semigroup, and (D1) (D2) (UD+) hold. Let {H(t,ω)} be the cocycle correspondence induced by (3.10).
Assume μu(ω)−μs(ω)−2ε′(ω)>0, where ε′(ω)=2C1ε(ω). Take α,β,λu,λs such that
[TABLE]
Then H(t,sω) satisfies (A)(α(ω),λut(ω))(B)(β(ω),λst(ω)) condition for all t,s≥0 and ω∈M.
In fact, if α(ω),β(ω)∈(μu(ω)−μs(ω)−ε′(ω)ε′(ω),1) and t≥ϵ1>0, then H(t,sω) satisfies (A)(α(ω); kα(ω)α(ω), λut(ω)) (B)(β(ω); kβ(ω)β(ω), λst(ω)) condition, where
[TABLE]
In particular, if there is a constant c>1 such that
[TABLE]
then α,β,kα,kβ can be taken constants less than 1 and supωλs(ω)λu(ω)<1. In fact, supω{α(ω)}, supω{β(ω)}→0 if supωε′(ω)→0.
Proof.
The proof is essentially the same as proving Section 3.1.1. What we need is the equation (3.10). We give a sketch. Let any given t1<t2 and ω be fixed. Let (x(t),y(t)), (x′(t),y′(t)), t1≤t≤t2, satisfy (3.10); x^(t)=x(t)−x′(t), y^(t)=y(t)−y′(t). We need to show if ∣x^(t1)∣≤α(ω)∣y^(t1)∣, then ∣x^(t2)∣≤α(ω)∣y^(t2)∣ and ∣y^(t1)∣≤λut2−t1(ω)∣y^(t2)∣.
Let
α(ω)∈[μu(ω)−μs(ω)−ε′(ω)ε′(ω),1). Take any α′(⋅) such that α(ω)<α′(ω)<1 and α′(tω)≤α′(ω) for all t≥0.
The first step is to show if ∣x^(t)∣≤α′(ω)∣y^(t)∣ for t∈[t1,t2′], t1<t2′≤t2, then ∣x^(t2′)∣<α′(ω)∣y^(t2′)∣ and ∣y^(t1)∣≤λut2′−t1(ω)∣y^(t2′)∣. Only the Gronwall inequality is used.
The next step is to show if ∣x^(t1)∣≤α′(ω)∣y^(t1)∣, then ∣x^(t)∣<α′(ω)∣y^(t)∣ for all t>t1 by using the first step with the same argument in the proof of Section 3.1.1. Now the result follows.
∎
3.2. Hille-Yosida (or MR) case
3.2.1. preliminaries
Let us introduce a more general class of operators than Hille-Yosida operators (see Appendix A for a definition). Through this subsection, we assume the following (MR) holds.
(MR)
Let the operator A:D(A)⊂Z→Z (with ρ(A)=∅) satisfy the following properties, which we call an MR operator.
(a)
A0≜AD(A) (see Appendix A) generates a C0 semigroup T0(⋅) in D(A) such that
[TABLE]
2. (b)
Then A generates a once integrated semigroup (see Appendix A for a definition) S in X. Suppose
[TABLE]
for all f∈C1([0,t],X), and δ(⋅) is increase satisfying δ(t)→0 as t→0, where
[TABLE]
Here ∣⋅∣[0,t] is defined by ∣f∣[0,t]≜sups∈[0,t]∣f(s)∣, if f∈C([0,t],Z). Note that in this case, (3.18) also holds for all f∈C([0,t],Z) by standard density argument. Also, note that (S◊f)(t)∈D(A) for all t≥0.
This class of operators was studied extensively in [MR07, MR09] where the authors introduced them in order to deal with some class of non-linear differential equations, for instance the age structured models in Lp (p>1) (see Appendix C (a)). However, see also Appendix C (a) for the case X=C0,γ(Ω) and Appendix C (b).
We are more interested in the case when A is a Hille-Yosida operator, which is a special case of MR operators. The Hille-Yosida operators were investigated comprehensively in [DPS87]; see also [EN00, ABHN11]. Since with a little more efforts, our argument also works for general case, so we also give the corresponding results for MR operators. We refer the reader to see [ABHN11] for more details about integrated semigroup theory; we use this tool in order to give a representation of ‘variant of constant formula’ under this general context.
What we really need is that if A is a Hille-Yosida operator, then it satisfies (a) (b). In fact, in this case, (3.18) also holds for f∈L1([0,t],X) and δ(t)/t→1 as t→0+ (note that we have assumed ∣T0(t)∣≤eμt); this follows from the fact that in this case the integrated semigroup S is locally Lipschitz; for details, see [ABHN11, Section 3.5].
Particularly, when A is a generator of a C0 semigroup T0, we have δ(t)/t→1 as t→0+ and (S◊f)(t)=(T0∗f)(t).
A key lemma: an illustration
Lemma \thelemma(A pre-lemma).
Let n∈N. If x(⋅)∈C([0,nε1],Z) satisfies ∣x(t)∣≤eμ^tb for all t∈[0,nε1], then
[TABLE]
Proof.
Set Km=(S◊x)(mε1). First note that Km, 1≤m≤n, satisfy
[TABLE]
which follows directly from the definition of S◊x (see also [MR07]). Since
[TABLE]
by induction, we know ∣Kn∣=∣(S◊x)(nε1)∣ satisfies the conclusion.
∎
Lemma \thelemma(A key lemma).
If x(⋅),y(⋅)∈C([0,N],Z) (N might be ∞) satisfy
[TABLE]
for all t∈[0,N], then ∣y(t)∣≤e(μ+λ)tka. The constants λ>0, k≥1 are chosen according to the following.
(a)
If δ(ϵ)/ϵ→1 as ϵ→0+, then we can choose λ=β and k=1, e.g. when A is a Hille-Yosida operator or a generator of a C0 semigroup.
2. (b)
In general, let σ be any but fixed such that 0<σ≤1/2. Since δ(t)→0 as t→0+, we can take ϵ^>0 small satisfying for all ϵ∈[ϵ^,2ϵ^],
[TABLE]
Take λ=supϵ∈[ϵ^,2ϵ^]{K(ϵ^)/ϵ^}, k=(1−βδ(ϵ^))−1max{1,e−μϵ^}. (Only need that (3.20) holds for ϵ=2ϵ^.)
Remark \theremark.
This lemma given here is to overcome the failure of the Gronwall inequality in our general setting.
There is also a well known and similar result in the analytic semigroup setting, i.e. the singular Gronwall inequality (see e.g. [Ama95, Chapter II section 3.3] and [Hen81]). In this case, δ(ϵ)=ϵ1/p, p>1.
In their paper [MR09], Magal and Ruan indeed had already known in the spirit of this type result (see [MR09, Proposition 2.14]), in order to prove the existence and some stability results of some class of semi-linear differential equations (see [MR09]) and the existence of the center manifolds in ‘equilibrium’ case (see [MR09a]).
for ϵ∈[ϵ0,2ϵ0], and βδ(ϵ0)<1, then ∣y(t)∣≤e(μ+λ)tka for all t∈[0,N], where
k=(1−βδ(ϵ0))−1max{1,e−μϵ0}.
The same strategy in the proof of Section 3.1.1 will be used here.
Sublemma \thesublemma.
Let t0≥ϵ0, a′≥a. If ∣y(t)∣≤e(μ+λ)ta′ for all t∈[0,t0], then ∣y(t0)∣<e(μ+λ)t0a′.
Proof.
Let t0=nε1, where n∈N and ε1∈[ϵ0,2ϵ0]. Note that n≥1. Now by (3.19) and (3.21),
[TABLE]
giving the proof.
∎
Sublemma \thesublemma.
Let a′≥a. If ∣y(t)∣≤e(μ+λ)ta′ for all t∈[0,ϵ0], then ∣y(t)∣≤e(μ+λ)ta′ for all t∈[0,N].
Proof.
Only need proof when ϵ0<N. First by above sublemma, ∣y(ϵ0)∣<e(μ+λ)ϵ0a′. Set
[TABLE]
and t0=supD1. If t0<N, then t0∈D1, t0>ϵ0 and ∣y(t0)∣=e(μ+λ)t0a′. Again by above sublemma, this is a contradiction. So t0=N.
∎
yielding ∣y(t)∣≤e(μ+λ)tka. Now using the above sublemma, we prove the claim.
Let ϵ=2ϵ^ satisfy (3.20), then (3.20) holds for all ϵ∈[ϵ^,2ϵ^]. Take λ(ϵ)=K(ϵ)/ϵ. Then it satisfies
[TABLE]
for all ϵ∈[ϵ^,2ϵ^].
Let λ=supϵ∈[ϵ^,2ϵ^]{K(ϵ)/ϵ} and ϵ∈[ϵ^,2ϵ^]. Then λϵ≤1 since σ≤1/2, which yields λ>eλϵ(δ(ϵ)/ϵ)β. (Note that λe−λϵ≥λ(ϵ)e−λ(ϵ)ϵ.)
That is λ satisfies (3.21) for ϵ∈[ϵ^,2ϵ^]. Therefore, by applying the above claim, we finish the proof of the general case (b).
Let us consider the case (a), i.e. δ(t)/t→1 as t→0+. Let λ>β be fixed. Then there is an ϵ^>0 such that if 0<ϵ0<ϵ^, then (3.21) holds for ϵ=ϵ0 and βδ(ϵ^)<1. So by the claim, we see
[TABLE]
Let ϵ0→0+ and then λ→β+, which yields the result. The proof is complete.
∎
3.2.2. the study of z˙(t)=Az(t)+L(tω)z(t)
Notation
For the convenience of writing, if a function μ:M→R satisfying μ(tω)≤μ(ω) for all t≥0, ω∈M, we will write μ∈E1(t). For example, τ∈E1(t) (in assumption (D1) in \autopagerefd1L).
Consider the following differential equation
[TABLE]
where L:M→L(D(A),Z) satisfies assumption (D1) in \autopagerefd1L.
z(⋅) is called a classical solution of (3.22), if z(⋅)∈C1([0,∞),X) and it point-wisely satisfies (3.22).
Now by the perturbation results from [MR07], we know A(ω)≜A+L(ω) is also an MR operator (if A is Hille-Yosida so is A(ω)). In fact, we have the following.
Lemma \thelemma.
Let (MR) (D1) hold. Then we have the following about A(ω)≜A+L(ω).
(1)
A0(ω)≜A(ω)∣D(A):D(A0(ω))⊂D(A)→D(A), ω∈M, generate a C0 linear cocycle {T0(t,ω)} satisfying the following.
(a)
T0(t,ω)=T0(t)+[S◊(L(⋅ω)T0(⋅,ω))](t).
2. (b)
T0(t+s,ω)=T0(t,sω)T0(s,ω)* for all t,s∈R+, ω∈M.*
3. (c)
D(A0(ω))=D(A). If dtd∣t=0T0(t,ω)x exists, then dtd∣t=0T0(t,ω)x=A0(ω)x.
Moreover, under δ(t)=O(t) as t→0+, e.g. A is a Hille-Yosida operator or a generator of a C0 semigroup, then dtd∣t=0T0(t,ω)x exists if and only if x∈D(A0(ω)).
2. (2)
There is a strongly continuous function S0(⋅,⋅):R+×M→L(Z,Z) satisfying the following.
(a)
S0(t,ω)=S(t)+[S◊(L(⋅ω)S0(⋅,ω))](t).
2. (b)
For any f∈C([0,t],X), any t>0, set
[TABLE]
which exists and is continuous. Moreover, it satisfies
[TABLE]
and δ1(t,ω)/δ(t)→1 as t→0+. In fact, δ1(t,ω)=1−τ(ω)δ(t)δ(t) when τ(ω)δ(t)<1, δ1(t,⋅)∈E1(t) and δ1(⋅,ω) is increased.
3. (c)
(key) S0◊f satisfies the following equality:
[TABLE]
where fs(t)≜f(s+t).
3. (3)
z(⋅)* is a mild solution of (3.22) if and only if z(0)∈D(A) and z(t)=T0(t,ω)z(0).
If δ(t)=O(t) as t→0+, then z(⋅) is a classical solution of (3.22) if and only if z(0)∈D(A0(ω)) and z(t)=T(t,ω)z(0).*
Remark \theremark.
We can not give any result like dtd∣t=0T0(t,ω)x exists if and only if x∈D(A0(ω)) when δ(t)=O(t) as t→0+ does not satisfy, unless more regularity of L(⋅ω) is supposed; see Appendix B for such a result.
In many situations, that A is a Hille-Yosida operator is sufficient for us. See [Are04, Ama95] and the references therein for more details about the maximal regularity with respect to time variable.
(I). The proof of the following sublemma is standard by applying Banach Fixed Point Theorem. Here we give a sketch for the convenience of readers.
Sublemma \thesublemma.
For any strongly continuous V:R+×M→L(Z,Z), there is a unique strongly continuous W:R+×M→L(Z,Z) satisfying
[TABLE]
Moreover, if V(t,ω)∈D(A) for all ω∈M,t>0, then so is W(t,ω).
Proof.
Fix ω. Since δ(t)→0 as t→0+, we can choose ϑ(ω)>0 such that δ(ϑ(ω))<1. Now we can uniquely define W(t,ω) for t∈[0,ϑ(ω)] satisfying above equation by using Banach Fixed Point Theorem. Then observing the following elementary fact about S◊f that
[TABLE]
one can give W(t,ω) for t∈[ϑ(ω),2ϑ(ω)]. Or more specifically, there is a unique W(t,ω) satisfying
[TABLE]
for t∈[0,ϑ(ω)]. (Note that τ(ϑ(ω)ω)≤τ(ω).) Set W(t,ω)=W(t−ϑ(ω),ω) for t∈[ϑ(ω),2ϑ(ω)]. Then it also satisfies (⊙) in [ϑ(ω),2ϑ(ω)]. Continue this way to construct W. The strong continuity of W is obvious since ω↦τ(ω) is locally bounded.
∎
Using above sublemma by setting V(t,ω)=T0(t), we have T0(t,ω) satisfying (1) (a). Let us show (1) (b). Observe that
[TABLE]
Let g1(t)=T0(t,sω)T0(s,ω), g2(t)=T0(t+s,ω). We see that they all satisfy
[TABLE]
By the uniqueness result in Section 3.2.2, we know g1=g2.
(II). By letting V(t,ω)=S(t) in Section 3.2.2, we have S0(t,ω) satisfying (2) (a). For any f∈C1([0,t],Z), since (by exchanging the order of integration)
[TABLE]
which exists and is continuous, we conclude that
[TABLE]
provided τ(ω)δ(t)<1. By the standard density argument, we know that the above also holds for f∈C([0,t],Z). We have proven (2) (a) (b). Let us consider (2) (c).
Sublemma \thesublemma.
Let
[TABLE]
Then it satisfies
[TABLE]
and vice versa.
Proof.
This follows from
[TABLE]
which gives the proof.
∎
Let u(t)=(S0◊f)(ω)(t), then it follows that u(t) satisfies
[TABLE]
In particular, us(t)≜u(t+s) satisfies
[TABLE]
So by above sublemma,
[TABLE]
i.e. (2) (c) holds.
(III). The first part of (3) is a consequence of Section 3.2.2 for f≡0.
For the proof of (1) (c), and the second part of (3),
we need the following.
Sublemma \thesublemma.
Consider the mild solution of the following equation.
[TABLE]
where h is continuous. (1) If u˙(0) exists, then x∈D(A), Ax+h(0)∈D(A) and u˙(0)=Ax+h(0); (2) vice versa if δ(t)=O(t) as t→0+.
Proof.
(1) If u˙(0) exists, which yields At1∫0tu(s)ds=−t1∫0th(s)ds+tu(t)−x exists as t→0+, then by the closeness of A, x=limt→0t1∫0tu(s)ds∈D(A) and Ax=−h(0)+u˙(0)∈D(A). As u(t)∈D(A), we see u˙(0)∈D(A).
Let us consider the part of ‘vice versa’. Since x∈D(A), we have (S(t)x)′=x+S(t)Ax. Thus, by [ABHN11, Lemma 3.2.9], we see
[TABLE]
Therefore,
[TABLE]
Since Ax+h(0)∈D(A), we have
[TABLE]
Furthermore, by δ(t)=O(t) as t→0+, we get
[TABLE]
which yields that u˙(0)=Ax+h(0).
∎
Now, using above sublemma by letting h(t)=L(tω)z(t) which is continuous, we know that (1) (c) holds. (Note that x∈D(A0(ω)) means that, by definition, x∈D(A) and Ax+L(ω)x∈D(A)). The second part of (3) is a consequence of (1) (c). The proof is complete.
∎
3.2.3. the study of z˙(t)=Az(t)+L(tω)z(t)+f(tω)z(t)
Consider the following nonlinear differential equation,
[TABLE]
where f:M×D(A)→Z satisfies assumption (D2) in \autopagerefd2fff.
Lemma \thelemma.
Let (MR) (D1) (D2) hold. Then there is a unique C0 (non-linear) cocycle U:R+×M×Z→Z over t such that the following hold.
(1)
U(⋅,ω)x, x∈X, are the mild solutions of (3.25), and U satisfies the following variant of constant formula (through T0(⋅)),
[TABLE]
and another variant of constant formula (through T0(⋅,⋅)),
[TABLE]
2. (2)
If f(ω)(⋅)∈Cr, then U(t,ω)(⋅)∈Cr. Moreover, if (ω,x)↦Dxrf(ω)(x) is continuous, so is (t,ω,x)↦DxrU(t,ω)(x).
The results might be well known at least in the case when M=R, t is the translation dynamic system in R, i.e. t(s)=t+s, and A is a Hille-Yosida operator (or more particularly a sectorial operator). See also [Hen81, Ama95].
We can define a unique U by using (3.26) (see also Section 3.2.2 and [MR09]). Moreover, a continuous function z(⋅) is a mild solution of (3.25) if and only if z(t)=U(t,ω)x satisfying (3.26).
The strong continuity of U and (2) are obvious by noting that ω↦ε(ω) is locally bounded.
The cocycle property of U can be proved the same as that of T0(⋅,⋅) in Section 3.2.2 (1) (b). That U also satisfies (3.27) follows from Section 3.2.2 by setting f(t)=f(tω)U(t,ω)x. The proof is complete.
∎
3.2.4. uniform dichotomy on R+: C0 cocycle case
(UD)
Assume that the C0 cocycle T0(⋅,⋅)(⋅):R+×M×D(A)→D(A) (obtained in Section 3.2.2 (1)) satisfies the following property, which is called the uniform dichotomy on R+; see [CL99] for details and characterizations.
(a)
(spectral spaces) The space D(A) can be decomposed as D(A)=Xω⊕Yω, ω∈M, with associated projections Pω, ω∈M such that R(Pω)=Xω, kerPω=Yω and ω→Pω are strongly continuous. Pωc=I−Pω. Moreover,
[TABLE]
and T0(t,ω):Yω→Ytω is invertible. Set
[TABLE]
2. (b)
(angle condition) There is a constant C1>0 such that supω∣Pω∣≤C1, supω∣Pωc∣≤C1.
3. (c)
(spectra) There are functions μs,μu of M→R, such that
[TABLE]
for all t,r≥0 and ω∈M.
Here S(−t,tω) should be written as S′(−t,ω) in a more rigid sense; we write this form only for giving an intuitive sense when t indeed is a flow; see also Section 3.1.2.
Remark \theremark(about the asymptotic behavior of T0(⋅,⋅)).
The general results about the estimates (3.28) are
[TABLE]
where M0:M→R+.
Consider a new equivalent norm ∣⋅∣ω on Xω defined by
[TABLE]
Then ∣x∣≤∣x∣ω≤M0(ω)∣x∣ if x∈Xω. Now if x∈Xω, s0ω0=ω, where s0≥0, then
[TABLE]
That is T(t,ω):(Xω,∣⋅∣ω)→(Xtω,∣⋅∣tω), ω∈M, satisfy (3.28). Similar norm ∣⋅∣c,ω can be defined on Yω. Let ∣x∣ω∼=max{∣Pωx∣ω,∣Pωcx∣c,ω}, then ∣x∣≤2∣x∣ω∼≤2C1M0(ω)∣x∣, which shows that ∣⋅∣ω∼ is an equivalent norm on D(A) for each ω∈M. Consider M×D(A) as a bundle over M with metric fibers (Xω⊕Yω,∣⋅∣ω∼), ω∈M. Now T0(⋅,⋅) also satisfies (b) (c) in the bundle M×D(A). That M0=1 is important in our argument. Also, note that in the new norm ∣⋅∣ω∼, ∣Pω∣=1 and ∣Pωc∣=1.
Remark \theremark.
The notion of uniform dichotomy on R+ about a C0 cocycle is essentially taken from [CL99, Definition 6.14] which states that T(t,rω)≤M0(ω)eμs(ω)t for all t,r≥0, similar for S.
In Multiplicative Ergodic Theorem, the functions μs, μu are usually characterized through the Lyapunov numbers, so in general they are invariant under t (usually for the case that t is invertible). We refer the readers to see [CL99, Section 7.1] and the references therein for more characterizations about μs,μu, i.e. the point-wise version of uniform dichotomy. Note that Sacker-Sell spectral theory (see e.g. [SS94, CL99]) only characterizes the absolutely uniform dichotomy, which has a little restriction for us to apply.
The readers should notice that there is no any information about the decomposition of Z, nor the extensions of T,S.
By acting Pω,Pωc on both side of (3.27), we know that z(t)=(x(t),y(t))∈Xtω⊕Ytω=D(A) (t1≤t≤t2) is a mild solution of (3.25), if and only if it satisfies
[TABLE]
for all t1≤t≤t2, where ft(sω)=f((t+s)ω).
Through (3.29), one can define a cocycle correspondence H(s,ω):Xω⊕Yω→Xsω⊕Ysω as follows. Let t1=0,t2=s. Given (x1,y2)∈Xω×Ysω, then there is a continuous z(t)=(x(t),y(t))∈Xtω⊕Ytω (0≤t≤s) satisfying (3.29) with x(0)=x1, y(s)=y2. Define Fs,ω(x1,y2)=x(s) and Gs,ω(x1,y2)=y(0). Let H(s,ω)∼(Fs,ω,Gs,ω). Here note that GraphH(t,ω)=GraphU(t,ω), i.e. H can be regarded as a C0 cocycle over t. We also say the cocycle correspondence {H(s,ω)} (or H) is induced by (3.29).
Theorem 3.2**.**
Let (MR) (D1) (D2) and (UD) hold.
Let {H(t,ω)} be the cocycle correspondence induced by (3.29).
(1)
Assume δ(t)/t→1 as t→0+ and μu(ω)−μs(ω)−2ε′(ω)>0, where ε′(ω)=2C1ε(ω). Take α,β,λu,λs such that
[TABLE]
Then H(t,sω) satisfies (A)(α(ω),λut(ω))(B)(β(ω),λst(ω)) condition for all t,s≥0 and ω∈M.
In fact, if α(ω),β(ω)∈(σ(ω)ε′(ω),1) and t≥ϵ1>0, then H(t,sω) satisfies (A)(α(ω);kα(ω,ϵ1)α(ω),λut(ω)) (B)(β(ω);kβ(ω,ϵ1)β(ω),λst(ω)) condition, where kh(ω,ϵ1)<1, h=α,β, and σ(ω)=μu(ω)−μs(ω)−ε′(ω).
In particular, if there is a constant c>1 such that
[TABLE]
then α,β,kα,kβ can be taken constants less than 1 and supωλs(ω)λu(ω)<1. In fact, supω{α(ω)}, supω{β(ω)}→0 if supωε′(ω)→0.
2. (2)
In general, assume there is a function η(⋅):M→R+ (η(ω)>0) such that μu(ω)−μs(ω)−2η(ω)>0 and η(⋅)∈E1(t).
For any given functions ε1(⋅):M→R+ (ε1(ω)>0), there are functions ϑ(⋅), α(⋅), β(⋅), k(⋅), α1(⋅), β1(⋅) of M→R+, and functions
λ~s(⋅), λ~u(⋅) of M→R, depending only on δ1(⋅,⋅), μs(⋅), μu(⋅),C1, ε1(⋅), satisfying
ϑ(⋅),λ~s(⋅),λ~u(⋅)∈E1(t), and supω{α1(ω)−α(ω)}>0, supω{β1(ω)−β(ω)}>0, supω{α1(ω),β1(ω)}<1,
[TABLE]
such that if ε(ω)<ϑ(ω), then the following hold.
(a)
H(t,sω)* (or U(t,sω)) satisfies (A)(α(ω); α1(ω), k(ω)λ~ut(ω))(B)(β(ω); β1(ω), k(ω)λ~st(ω)) condition for all t,s≥0 and ω∈M.*
2. (b)
And for any ω∈M, if t≥ε1(ω) then H(t,sω) (or U(t,sω)) satisfies (A)(α1(ω); α(ω), k(ω)λ~ut(ω))(B)(β1(ω); β(ω), k(ω)λ~st(ω)) condition for all s≥0.
3. (c)
α(⋅), α1(⋅), β(⋅), β1(⋅), k(⋅) can also be chosen as constants less than 1 under some appropriate choice of ϑ(⋅) (and so ε(⋅)). In fact, supω{α1(ω),β1(ω)}→0 as supωε(ω)→0.
4. (d)
Let M be a locally metrizable space (see Section 3.2.4 below) and M1⊂M. If μs(⋅),μu(⋅),η(⋅) are bounded and ξ-almost uniformly continuous around M1 (see Section 3.2.4 below), then λ~s(⋅), λ~u(⋅) can be chosen to be bounded and Cξ-almost uniformly continuous around M1 for some constant C>0.
5. (e)
If infω{μu(ω)−μs(ω)}>0,
then supωλ~s(ω)λ~u(ω)<1; if supωμs(ω)<0 (resp. infωμu(ω)>0), then supωλ~s(ω)<1 (resp. supωλ~u(ω)<1).
6. (f)
If ±τ(⋅),±ε(⋅)∈E1(t), then ±α(⋅), ±α1(⋅), ±β(⋅), ±β1(⋅), ±k(⋅), ±λ~s(⋅), ±λ~u(⋅) can be chosen such that they all belong to E1(t).
Proof.
For any given t1<t2, let z(t)=(x(t),y(t)), z′(t)=(x′(t),y′(t)), t1≤t≤t2, satisfy (3.29). Set z^(t)≜(x^(t),y^(t))≜z(t)−z′(t).
Let t2−t1=nε1. Consider
[TABLE]
0≤m≤n, where z~(t,ω)=f(tω)z(t)−f(tω)z′(t). Note that ε(tω)≤ε(ω), t≥0, so ∣z~(t,sω)∣≤ε(ω)∣z^(t)∣ for t,s≥0.
Sublemma \thesublemma.
(1)
If ∣z~(t,ω)∣≤e−μ^(ω)(t2−t)b for t1≤t≤t2, then
[TABLE]
2. (2)
If ∣z~(t,ω)∣≤eμ^1(ω)(t−t1)a for t1≤t≤t2, then
[TABLE]
Proof.
The proof is the same as Section 3.2. We only give the proof of (1). By (3.24), we see that
Proof of (1). For this case, all the main steps are the same as in the proof of Section 3.1.1.
Sublemma \thesublemma.
Take any α′(⋅) such that α(ω)<α′(ω)<1.
Let ω be fixed and t1<t2′≤t2. If ∣x^(t)∣≤α′(ω)∣y^(t)∣ for all t∈[t1,t2′], then ∣x^(t2′)∣<α′(ω)∣y^(t2′)∣ and ∣y^(t1)∣≤λut2′−t1(ω)∣y^(t2′)∣. Moreover, if t2′−t1≥ϵ1, then ∣x^(t2′)∣≤kα(ω,ϵ1)α′(ω)∣y^(t2′)∣ for some kα(ω,ϵ1)<1.
Proof.
By the same argument in the proof of Section 3.2 (using the above sublemma (1) instead of Section 3.2), we have if t∈[t1,t2′], then
[TABLE]
Also, noting that in this case,
[TABLE]
by the above sublemma, when t2′−t1=nε1, n≥1, we see that
[TABLE]
where δ^=δ1(ε1,ω)ε′(ω)max{1,e(μu(ω)−ε′(ω))ε1} and σ(ω)=μu(ω)−μs(ω)−ε′(ω)>0. Then ∣x^(t2′)∣<α′(ω)∣y^(t2′)∣, if
[TABLE]
Since δ(t)/t→1 as t→0+ and σ(ω)ε′(ω)<α′(ω)<1, the above inequality can be satisfied if ε1 is taken sufficiently small (depending on ω and t2′), i.e. n is sufficiently large.
Let any ϵ1>0 and t2′−t1≥ϵ1. In fact, choose k0(ω)<1 such that σ(ω)ε′(ω)<k0(ω)α′(ω), then for some small ε1>0 such that δ^e−μs(ω)ε1≤k0(ω)α′(ω)σ(ω)ε1 and t2′−t1=nε1≥ϵ1, we see that ∣x^(t2′)∣≤{(1−k0(ω))e−σ(ω)nε1+k0(ω)}α′(ω)∣y^(t2′)∣ and so ∣x^(t2′)∣≤kα(ω,ϵ1)α′(ω)∣y^(t2′)∣ where kα(ω,ϵ1)=(1−k0(ω))e−σ(ω)ϵ1+k0(ω)<1.
∎
Now with the help of above sublemma, we can use the argument in the proof of Section 3.1.1 to conclude the proof of (1).
Proof of (2).
Let ε1(⋅):M→R+ be any given function such that ε1(ω)>0. Let ω be fixed and t1≤t1′<t2.
Choose ϵ^=ϵ^(ω)>0 such that
[TABLE]
and
[TABLE]
Let
[TABLE]
Let ε(ω) satisfy 2C1ε(ω)δ1(ϵ^,ω)<1, and set
[TABLE]
Also, we can assume λ(ω)<η(ω) by taking ε(ω) further smaller. Set λ~s(ω)=eμs(ω)+λ(ω).
Sublemma \thesublemma.
If ∣y^(t)∣≤∣x^(t)∣ for all t∈[t1′,t2], then
[TABLE]
Proof.
The same argument in the proof of Section 3.2 can be applied, so we omit the proof.
∎
Sublemma \thesublemma.
Let ε1=ε1(ω)>0. Then there are β(ω),β1(ω)≥0, ϑ(ω)>0 satisfying β(ω)<β1(ω)<1 such that if ε(ω)<ϑ(ω), then the following hold.
(1)
If t2−t1′≤ε1 and ∣y^(t2)∣≤β(ω)∣x^(t2)∣, then ∣y^(t1′)∣≤β1(ω)∣x^(t1′)∣.
2. (2)
If t2−t1′≥ε1 and ∣y^(t)∣≤β1(ω)∣x^(t)∣ for all t∈[t1′,t2], then ∣y^(t1′)∣<β(ω)∣x^(t1′)∣ and ∣x^(t2)∣≤λ~st2−t1′(ω)k(ω)∣x^(t1′)∣.
Proof.
Set c^1≜max{1,eμs(ω)ε1,e−μu(ω)ε1}, δ^1≜2C1δ1(ε1,ω)ε(ω).
Assume
[TABLE]
by taking ε(ω) further smaller.
First assume t2−t1′≤ε1, then by (3.29) (3.28) (3.23), we have
[TABLE]
where ∣z^∣[t1′,t2]∼≜max{∣x^∣[t1′,t2],∣y^∣[t1′,t2]}.
Thus,
[TABLE]
Assume ∣y^(t2)∣≤β(ω)∣x^(t2)∣, β(ω)≤1.
Then
[TABLE]
where
[TABLE]
In the above computation we use the fact that μu(ω)−μs(ω)>0 and ρδ^1<1.
Suppose t2−t1′=nε0, n≥1, ε0∈[ε1,2ε1], and ∣y^(t)∣≤β1(ω)∣x^(t)∣≤∣x^(t)∣ for all t∈[t1′,t2]. Then by above sublemma and Section 3.2.4 (1) with
[TABLE]
we have
[TABLE]
where σ1(ω)≜μu(ω)−μs(ω)−λ(ω)>0 (since λ(ω)<η(ω)) and c^2≜max{1,e−2(μs(ω)+λ(ω))ε1}.
The last inequality can be satisfied if
[TABLE]
Since e2σ1(ω)ε1>1 and (3.30), ε(ω) can be made small enough such that the following two inequalities hold; first
[TABLE]
and then
[TABLE]
for some fixed constant ς sufficiently close to 1.
Now take β(ω) such that
[TABLE]
So β1(ω)<1. The proof is complete.
∎
By the above sublemmas and using the argument in the proof of Section 3.1.1, we obtain that H(t2−t1,t1ω) satisfies (a) and (b). (B) condition can be proved similarly. The other conclusions are obvious by our construction. So we complete the proof.
∎
Let M be a Hausdorff topology space with an open cover {Um:m∈M}. Assume (a) Um is open and m∈Um, m∈M; (b) every Um is a metric space with metric dm (might be incomplete) and in Um the metric topology is the same as the subspace topology induced from M.
Then we say M is a locally metrizable space. Let Um(ϵ)≜{m′∈Um:dm(m′,m)<ϵ}.
Let g:M→R, M1⊂M. Define the amplitude of g around M1 as
[TABLE]
We say g is ξ-almost uniformly continuous around M1 if AM1(σ)≤ξ as σ→0. The notions are taken from [Che18a].
Now Theorem 3.2 (2d) is obvious since we can choose λ~s(ω)=eμs(ω)+η(ω), λ~u(ω)=e−μu(ω)+η(ω).
Remark \theremark.
Similar as Theorem 3.3 (2), the Lipschitz constant of f(ω)(⋅) can be computed in Xω⊕Yω with max norm ∣(x,y)∣=max{∣x∣,∣y∣}, i.e.
[TABLE]
in this case, the result can be applied to the general case in Section 3.2.4 (by using the norm ∣⋅∣ω∼).
Also, we can take ε′(ω)=C1εm(ω) in Theorem 3.2 (1). The ‘spectral gap condition’ μu(ω)−μs(ω)−2ε′(ω)>0 in Theorem 3.2 (1) now seems new in the cocycle setting even for the case that A is a generator of a C0 semigroup (so for the general C0 cocycle case; note that what we really need is (3.29)). The result might be also new even for the special case M={ω0} and A is a Hille-Yosida operator.
By some clever argument, one can give a very optimal estimate on ‘spectral gap condition’ for the case when AD(A), the part of A in D(A) (see Appendix A for a definition), is a densely-defined sectorial operator and L:M→L(D(A),D(A−α)) for some suitable α>0, which we do not give here; see also [Zel14, Theorem 2.15]. For the general case of Theorem 3.2 (2), there is no optimal estimate.
Remark \theremark.
Assume that there is a semigroup T:R+×Z→Z such that S◊f=T∗f for all f∈C(R,Z). For example, A is a generator of a C0 semigroup or an analytic semigroup. For the latter case, T might not be a C0 semigroup. Assume X=Xω⊕Yω with associated projections Pω, Pωc, which are continuous extensions of Pω, Pωc and invariant about A(ω).
At this time, (3.29) can be written in a more symmetry form as
[TABLE]
where T1(t,ω):Xω→Xtω, S1(−t,tω):Ytω→Yω are continuous extensions of T(t,ω),S(−t,tω) respectively. See also [DPL88]. However, this form might fail when X can not be decomposed as two closed invariant subspaces about A(ω).
If S◊f can not be written as T∗f, then the continuous extensions of T,S might also fail. There are some authors who tried to give an extension of T0(⋅,⋅) in some particular form, see e.g. [MR09a]. The idea in that paper is that if D(A)=Xω⊕Yω, X=X^ω⊕Yω, and Xω⊂X^ω with X^ω invariant under A(ω), then use some method (see [MR09a], where the authors owned this method to H. R. Thieme) to give an extension of ∫0tT0(s,ω)∣Xωds to X^ω under some context, which is denoted by S1(t,ω). For this case, one has
where Pω, Pωc are projections associated with X=X^ω⊕Yω, which are continuous extensions of Pω, Pωc. See [MR09a] for details when M is a fixed point {ω0} and Yω0 is finite dimensional. The existence of Yω0 sometimes can be guaranteed under some ‘compact’ assumption on T0(⋅,ω0), e.g. the essential growth bound of T0(⋅,ω0) is strict less than the exponential growth bound of T0(⋅,ω0), or especially T0(t0,ω0) is compact for some t0>0; see e.g. [EN00, Section IV.1.20] for details.
The readers should notice that the uniform dichotomy assumption on (3.1) for our results in Section 3.2 is only in D(A) and there is no information in Z.
3.3. general C0 case
Consider the following integral equation (i.e. equation (3.10)),
[TABLE]
where {(T1(t,ω),S1(−t,tω))} is a C0 cocycle correspondence satisfying uniform dichotomy on R+ (see Section 3.1.2) and f satisfies assumption (D2) (in \autopagerefd2fff).
Using the solutions of above integral equation (i.e. (3.10)), one can define a unique cocycle correspondence H(s,ω)∼(Fs,ω,Gs,ω):Xω⊕Yω→Xsω⊕Ysω, i.e. (x2,y2)∈H(s,ω)(x1,y1) if and only if there is a continuous z(t)=(x(t),y(t))∈Xtω×Ytω (0≤t≤s) satisfying (3.10) with (x(0),y(0))=(x1,y1) and (x(s),y(s))=(x2,y2), where t1=0,t2=s. We say the cocycle correspondence H is induced by (3.31).
Theorem 3.3**.**
Let the cocycle correspondence H be induced by (3.31), where {(T1(t,ω),S1(−t,tω))} is a C0 cocycle correspondence satisfying uniform dichotomy on R+ (see Section 3.1.2) and f satisfies assumption (D2) (in \autopagerefd2fff)
(1)
The same results in Section 3.1.2 hold for H.
2. (2)
Moreover, suppose μu(ω)−μs(ω)−2εm(ω)>0 where
[TABLE]
i.e. the Lipschitz constant of f(ω)(⋅) is computed in Xω⊕Yω with max norm ∣(x,y)∣=max{∣x∣,∣y∣}, (x,y)∈Xω⊕Yω. Take α,β,λu,λs such that
[TABLE]
Then H(t,sω) satisfies (A)(α(ω),λut(ω))(B)(β(ω),λst(ω)) condition for all t,s≥0 and ω∈M.
In fact, if α(ω),β(ω)∈(σ(m)εm(ω),1) and t≥ϵ1>0, then H(t,sω) satisfies (A)(α(ω);kα(ω)α(ω),λut(ω)) (B)(β(ω);kβ(ω)β(ω),λst(ω)) condition, where
[TABLE]
In particular, if there is a constant c>1 such that
[TABLE]
then α,β,kα,kβ can be taken constants less than 1 (for example α=β=1/c and kα=kβ=(1−1/c)r+1/c where r=e−δ0ϵ1<1 and σ(ω)>δ0>0) and supωλs(ω)λu(ω)<1. In fact, supωα(ω), supωβ(ω)→0 if supωεm(ω)→0.
Proof.
The proof of (1) is quite standard.
The proof of (2) is essentially the same as Section 3.1.1; see also Theorem 3.1.
∎
Here, kh(ω)h(ω)∈(σ(m)εm(ω),1), h=α,β. Note that Theorem 3.1, as well as Section 3.1.1, are consequences of Theorem 3.3 and εm(ω)≤2C1ε(ω)=ε′(ω).
What’s the relation between the solutions of (3.31) and (3.2)? We have dealt with this in Section 3.1 and Section 3.2 for two special cases. However, in general, it’s very complicated to talk about the solutions of (3.2); see also [Sch02] for a survey. Here, we continue to consider other case which the solutions of (3.2) can be described as mild solutions like Section 3. For brevity (in order to let our idea be presented clearly), let
[TABLE]
where A:D(A)⊂Z→Z is a closed linear operator, B:M→L(Z,Z) and L:M→L(Z,Z); here L satisfies (D1) (in \autopagerefd1L) and similar for B. In this case, A function u∈C([a,b],Z) is called a (mild) solution of (3.2) if it satisfies (i) ∫atB(sω)u(s)ds∈D(A) for all t∈[a,b] and (ii) the following
[TABLE]
(In fact, we can take B(ω) only as closed linear operators but in this situation we need s↦B(sω)u(s) is also continuous.) For a concrete example of {C(ω)} like (3.3), see Section 4.3.
We say a C0 cocycle {U(t,ω)} (or U) on M×Z (or Z) is generated by (3.2) if for every x∈Z, z(t)=U(t,ω)x, t≥0, is the unique mild solution of (3.2) with z(0)=x.
We say a C0 (linear) cocycle {T0(t,ω)} (or T0) on M×Z (or Z) is generated by {C(ω)} or (3.1) if (3.1) generates a C0 cocycle {T0(t,ω)}.
2. (b)
A C0 cocycle correspondence H1 (or {H1(t,ω)}) on M×Z is generated (or induced) by (3.2) or {C(ω)} if the assumptions (a) (b) in Section 3.1.2 hold (i.e. H1(t,ω)∼(T1(t,ω),S1(−t,tω)):Xω⊕Yω→Xtω⊕Ytω); in addition for z(t)≜(T1(t−t1,t1ω)x1,S1(t−t2,t2ω)y2)∈Xtω⊕Ytω (t1≤t≤t2), z(⋅) is the unique mild solution of (3.2) with Pt1ωz(t1)=x1 and Pt2ωcz(t2)=y2.
Assume (3.1) generates a C0 cocycle {T0(t,ω)}. Then for any continuous g∈C(R,Z), the mild solution z∈C([0,a],X) of the following
[TABLE]
has the form
[TABLE]
2. (2)
Similarly, if (3.1) generates a C0 cocycle correspondence {H1(t,ω)∼(T1(t,ω),S1(−t,tω))} (see Section 3.3), then the mild solution z∈C([0,a],Z) of (§ ‣ 1) has the form
[TABLE]
where x(t)=Ptωz(t), y(t)=Ptωcz(t).
Proof.
(1) By the uniqueness of the solution of (3.1), we only need to show (1) indeed is a solution of (§ ‣ 1). Let
[TABLE]
Then A∫0tB(sω)z1(s)ds=z1(t)−z(0)−∫0tL(sω)z1(s)ds and
[TABLE]
where we exchange the order of integration and use the closeness of A (see e.g. [ABHN11, Proposition 1.1.7]), which yields z=z1+z2 is the mild solution of (§ ‣ 1).
The proof of (2) is almost identical with Section 3.1.2.
∎
Note that if (3.1) generates a C0 cocycle T0, then that (3.1) satisfies uniform dichotomy on R+ means that T0 satisfies uniform dichotomy on R+ in the classical sense of [CL99] (i.e. assumption (UD) in \autopagerefUD).
Consider nonlinear differential equation (3.2) with f satisfying (D2) in \autopagerefd2fff, i.e.
[TABLE]
Lemma \thelemma.
Let {C(ω)} be as (3.3) and assumption (D2) (in \autopagerefd2fff) hold.
(1)
If {C(ω)} generates a C0 linear cocycle T0 over t, then (3.2) also generates a C0 (nonlinear) cocycle U over t, i.e. for x∈X, U(⋅,ω)x is the mild solution of (3.2).
In this case, if f(ω)(⋅)∈Cr, then U(t,ω)(⋅)∈Cr, and in addition if (ω,x)↦Dxrf(ω)(x) is continuous, so is (t,ω,x)↦DxrU(t,ω)(x).
Moreover, U satisfies the following,
[TABLE]
2. (2)
Assume (3.1) generates a C0 cocycle correspondence {H1(t,ω)∼(T1(t,ω),S1(−t,tω))} (see Section 3.3).
Then a continuous function z∈C([t1,t2],Z) is a mild solution of (3.2) if and only if z(t)=(x(t),y(t))∈Xtω⊕Ytω (t1≤t≤t2) satisfies (3.31), where x(t)=Ptωz(t), y(t)=Ptωcz(t).
Proof.
To prove (1), one can use (3.31) to define the unique U by applying standard argument using Banach Fixed Point Theorem. (Also the other statements follow the same way.) That U(⋅,ω)x is a mild solution of (3.2) follows from Section 3.3 (1).
To prove (2), first note that the solutions of (3.10) are unique and then the conclusion follows from Section 3.3 (2).
∎
Remark \theremark(parabolic type).
Instead of using mild solutions to characterize the solutions of (3.2), one can use the so-called classical solutions especially for the parabolic type (in the sense of Tanabe). We say a function u∈C([a,b],Z)∩C1((a,b],Z) is a (singular) classical solution of (3.2) if u point-wisely satisfies (3.2) for all t∈(a,b]. In analogy with Section 3.3, a C0 cocycle {U(t,ω)} (resp. a C0 cocycle correspondence {H1(t,ω)∼(T1(t,ω),S1(−t,tω))}) on M×Z (or Z) is generated by (3.2) if in the Section 3.3, ‘mild solution’ is replaced by ‘(singular) classical solution’. In order to obtain the similar results like Section 3.3 where ‘mild solution’ is replaced by ‘(singular) classical solution’, additional regularity assumptions on {T0(t,ω)} (resp. T1(t,ω),S1(−t,tω)) and g(⋅) are needed; see e.g. [Paz83, Section 5.6 and 5.7] for the non-autonomous case in [0,T] or [EN00, Section VI.9.6]. These regularity assumptions with other regularity assumption on (t,z)↦f(tω)z will make Section 3.3 hold; in particular, the solutions of (3.31) or (3.31) are the (singular) classical solutions of (3.2). The details will be given elsewhere.
Remark \theremark(hyperbolic type).
The description of the solutions of (3.2) for the hyperbolic type (in sense of Kato (see [Paz83, Section 5.3-5.5])) is intricate. The following is a natural but restricted way. We say a function u∈C1([a,b],Z) is a classical solution of (3.2) if u point-wisely satisfies (3.2) for all t∈[a,b] (so particularly z(t)∈D(C(tω))). A C0 (Lipschitz) cocycle {U(t,ω)} on M×Z (or Z) is generated by (3.2) (i) if for every ω∈M there is a dense linear space Y(ω)⊂D(C(ω)) such that for every x∈Y(ω), z(t)=U(t,ω)x, t≥0, is the classical solution of (3.2) with z(0)=x, and in addition, (ii) x↦U(t,ω)x is Lipschitz. Note that by (ii), U(t,ω)(⋅) is well defined in all Z. Now assume the C0 linear cocycle {U(t,ω)} on M×Z is generated by (3.1) (see also [Paz83, Section 5.3] and [EN00, Section VI.9]). In [Paz83], Pazy called the equation (1) as mild solutions of (§ ‣ 1). But this is not clear with the classical solutions of (§ ‣ 1). So one needs to give more regularity of (1); there exist at least two ways: higher range-regularity or time-regularity of g (see e.g. [Paz83, Section 5.5]), which make equation (1) be the classical solutions of (§ ‣ 1). Using this way, Section 3.3 also holds. Similar remark can be made for the C0 cocycle correspondence. More precise statements will appear in our future work.
Remark \theremark(Problem I: well-posed case).
We have no result about (3.2) in the general context when (3.1) generates a C0 cocycle only on X0, a closed subspace of X. This will happen when we consider the delay equations or the age structured models in L1 with nonlinear discrete delay term which can be rewritten as an abstract equation (3.2) with C(ω)=A+L(ω), L:M→L(D(A),Z−1), f:M×D(A)→Z−1, where D(A)↪Z−1 and A:D(A)⊂Z→Z is a Hille-Yosida operator (but AD(A) is not a sectorial operator); usually Z−1⊂D(A−1) with graph norm.
What we can deal with for this situation is only the (type II) listed in Section 1.2 (see Section 3.2).
Remark \theremark(Problem II: ill-posed case).
In [dlLla09], the author considered the case that C(ω)=A, M={ω}, where A is densely-defined bi-sectorial operator (see [vdMee08, dlLla09]) under the exponential trichotomy condition and the nonlinear map f is also allowed to be unbounded. One needs to explain more about the unbounded perturbation f in [dlLla09]. f is a C1 map of Z→Z−1 where Z↪Z−1 (for instance Z−1=D(A−α), 0<α<1), Z=Xs⊕Xc⊕Xu and Z−1=Ys⊕Yc⊕Yu. Let Ah=AXh, h=s,c,u. A technical restriction is that etAh:Yh→Xh(⊂Yh), h=s,c,u. Although for some applications the additional restriction can be satisfied (see e.g. the examples in [dlLla09]), in abstract setting this is not always true. See the operator on a Hilbert space H given in [MY90, Theorem 9] which will be denoted by A. If we choose Z=D(A), Z−1=H, A=AX, due to that A is not decomposable, the assumption on Z−1 in the previous paper can not be satisfied. The readers might consider further about Appendix C (a) for the case X=C01(Ω)×C(Ω) and Appendix C (c). However, if all the settings in [dlLla09] are satisfied, the same argument in the proof of Theorem 3.1 can be applied to show the cocycle correspondence generated by (3.2) satisfies (A) (B) condition, so our results about invariant manifolds (see Section 4.1 and Section 4.2) can be applied to this situation.
In general, we have no idea how to study (3.2) when (3.1) satisfies uniform dichotomy on R+ only in a closed subspace of Z, unlike the case (type III) listed in Section 1.2 (see Section 3.3).
4. Invariant manifolds and Applications
In this section, we give some applications of our abstract results about (discrete) ‘dynamical systems’ in [Che18a, Che18b], i.e. the existence and regularity of invariant graphs for cocycle correspondences with (relatively) uniform hyperbolicity and approximately normal hyperbolicity theory, to differential equations with the help of the results obtained in Section 3. The restatements of the main results in [Che18a, Che18b] are given in Section 4.1 and Section 4.2 but in a version of continuous ‘dynamical systems’, included for the reader’s convenience. The detailed application to (abstract) differential equations is contained in Section 4.3 and Section 4.4 from an abstract viewpoint.
4.1. existence and regularity of invariant graphs: the continuous case
In [Che18a], we gave a detailed study of existence and regularity of invariant graphs for bundle correspondences. A number of applications were given to illustrate the power of this theory. In the following, we restate the corresponding results for cocycle correspondences which can be applied to some classes of differential equations introduced in Section 3 (see also Appendix C for some concrete examples). Verification of the following hyperbolicity condition (or (A1′) (B1) condition) has been already given in Section 3.
For the convenience of writing, we write the metrics d(x,y)≜∣x−y∣. A bundle with metric fibers means each fiber is a complete metric space.
∙
In Theorem 4.1 and Theorem 4.2, we take functions η:R+×M→R+ and ε1(⋅),ε(⋅):M→R+, such that they satisfy η(t,rω)≤εr(ω)η(t,ω), and 0≤ε(ω)≤ε1(ω), for all ω∈M and t,r≥0.
For a cocycle correspondence H over t, we say H satisfies (A1′)(α,λu;c) (B1)(β;β′,λs;c) condition, if every H(t,ω)∼(Ft,ω,Gt,ω) satisfies (i) (A*′*)(α(ω),c(ω)λut(ω)) (B)(β′(ω);β(ω),c(ω)λst(ω)) condition (see Section 2.4), and (ii) if t≥ε^1>0, (B)(β(ω);β′(ω),c(ω)λst(ω)) condition (see Section 2.4). This class of hyperbolic condition is motivated by Theorem 3.2 (2). But this is also satisfied by the (A) (B) condition studied in Theorem 3.1, Theorem 3.3 and Theorem 3.2 (1); for this case c(ω)≡1 and β≡β′.
Theorem 4.1**.**
Let (X,M,π1),(Y,M,π2) be two bundles with metric fibers and t:M→M a semiflow.
Let H:R+×X×Y→X×Y be a cocycle correspondence over t with a generating cocycle (F,G).
Assume that the following hold.
(i)
(ε-pseudo-stable section) i=(iX,iY):M→X×Y is an ε-pseudo-stable section of H, i.e.
[TABLE]
2. (ii)
H* satisfies (\mathrm{A^{\prime}_{1}})$$(\alpha,\lambda_{u};c)(\mathrm{B_{1}})$$(\beta;\beta^{\prime},\lambda_{s};c) condition, where α, β, β′, λs, λu, c are functions of M→R+. In addition,*
(a)
(angle condition) supωα(ω)β′(ω)<1, supω{α(ω),β(ω)}<∞, β′(tω)≤β(ω), ∀ω∈M and t≥0,
2. (b)
Then there is a unique bundle map f:X→Y over id satisfying the following (1) (2).
(1)
Lipfω≤β′(ω), ∣fω(iX(ω))−iY(ω)∣≤Kinfr≥t0η(r,ω), where K≥0 is a constant and t0>0 is large.
2. (2)
Graphf⊂H−1Graphf. More precisely, (xt,ω(x),ftω(xt,ω(x)))∈H(t,ω)(x,fω(x)),∀x∈Xω, where xt,ω(⋅):Xω→Xtω such that Lipxt,ω(⋅)≤c(ω)λst(ω), ∣xt,ω(iX(ω))−iX(tω)∣≤K0(η(t,tω)+infr≥t0η(r,tω)), for all ω∈M, t≥0 and some constant K0.
Before we prove the result, the following elementary fact will be needed; the proof is easy, see also [Che18a, Section 4.2].
We use the symbols: ∑λ(X,Y)≜{φ:X→Y:Lipφ≤λ}, if X,Y are metric spaces, and
Graphf≜{(x,f(x)):x∈X}, if f:X→Y is a map.
Lemma \thelemma.
Assume that Xi,Yi, i=1,2, are complete metric spaces, and H:X1×Y1→X2×Y2 is a correspondence with a generating map (F,G) satisfying (A′)(α,λu) (B)(β;β′,λs) condition. Take positive β^ such that αβ^<1 and β^≤β.
(1)
Let f2∈∑β^(X2,Y2). Then there exist unique f1∈∑β′(X1,Y1) and x1(⋅)∈∑λs(X1,X2), such that (x1(x),f2(x1(x)))∈H(x,f1(x)), x∈X1, i.e.
[TABLE]
2. (2)
Under (1), take (x^i,y^i)∈Xi×Yi, i=1,2, such that
[TABLE]
Then we have the following estimates:
[TABLE]
Particularly, if (x2,y2)∈H(x1,y1), and y2=f2(x2), then y1=f1(x1),x2=x1(x1).
We use a standard method by reducing it to the discrete case which was obtained in [Che18a].
By condition (ii) (a)(b), there is a sufficiently large t0>max{1,ε^1} such that
[TABLE]
Set
[TABLE]
Then H is a bundle correspondence over u^ satisfying (A*′*)(α,λ^u) (B)(β;β′,λ^s) condition and i now is an εt0-pseudo-stable section of H (by letting η(ω)=η(t0,ω)), i.e.
[TABLE]
with η(u^(ω))≤εt0(ω)η(ω).
By the first existence results in [Che18a, Section 4.1], there is a unique bundle map f:X→Y over id such that
(a)
Lipfω≤β′(ω), ∣fω(iX(ω))−iY(ω)∣≤Kη(ω);
2. (b)
Graphfω⊂H(ω)−1Graphft0ω for all ω∈M, where K≥0 is a constant independent of for large t0; in fact, K can be taken as K=1−λ1λ1supωβ(ω)+1, where λ1=supω1−α(ω)β′(ω)c(ω)λut∗(ω)ε1t∗(ω)<1, if t0≥t∗.
3. (c)
f does not depend on the choice of η0(⋅)=η(⋅) as long as it satisfies η0(u^(ω))≤ε1t0(ω)η0(ω), η(ω)≤η0(ω), for all ω∈M.
Next, we need to show
[TABLE]
Fix t. Since supωα(ω)β′(ω)<1, by Section 4.1 (1), there is a unique bundle map f′:X→Y over id such that Graphfω′⊂H(t,ω)−1Graphftω, Lipfω′≤β(ω). Also, by Section 4.1 (2), it holds that ∣fω′(iX(ω))−iY(ω)∣≤K′(η(t,ω)+η(t0,ω)) for some fixed constant K′ independent of t. If we show
[TABLE]
then by (B1) condition, it also holds Lipfω′≤β′(ω); and so by the uniqueness of f, we get (⋆) holds. Observe that, by the cocycle property of H,
[TABLE]
So Graphfω′⊂H(ω)−1H(t,t0ω)−1Graphft(t0ω), which yields that (⋆⋆) holds; i.e. if for any x∈Xω, there are (x1,y1)∈H(t,t0ω)−1Graphft(t0ω) and x2∈Xt(t0ω) such that (x1,y1)∈H(ω)(x,fω′(x)) and (x2,ft(t0ω)(x2))∈H(t,t0ω)(x1,y1), so by Section 4.1 (2), y1=ft0ω′(x1), and thus (x,fω′(x))∈H(ω)−1Graphft0ω′.
It follows from (B1) condition that Lipxt,ω(⋅)≤c(ω)λst(ω). By Section 4.1 (2), one gets ∣xt,ω(iX(ω))−iX(tω)∣≤K0(η(t,tω)+infr≥t0η(r,tω)), where K0=1−α(ω)β′(ω)max{K,K′}supωα(ω)+1. The proof is complete.
∎
The following theorem can be proved as the same way as proving Theorem 4.1 by using the second existence theorem in [Che18a, Section 4.1]. We use the notationd(A,z)≜supz~∈Ad(z~,z), if A is a subset of a metric space.
Theorem 4.2**.**
Let (X,M,π1),(Y,M,π2) be two bundles with metric fibers and t:M→M a semiflow.
Let H:R+×X×Y→X×Y be a cocycle correspondence over t with a generating cocycle (F,G).
Assume that the following hold.
(i)
(ε-Y-bounded-section) i=(iX,iY):M→X×Y is an ε-Y-bounded-section of H, i.e.
[TABLE]
2. (ii)
H* satisfies (\mathrm{A^{\prime}_{1}})$$(\alpha,\lambda_{u};c)(\mathrm{B_{1}})$$(\beta;\beta^{\prime},\lambda_{s};c) condition, where α,β,β′,λu,λs,c are functions of M→R+. In addition,*
(a)
(angle condition) supωα(ω)β′(ω)<1, supω{α(ω),β(ω)}<∞, β′(tω)≤β(ω), for all ω∈M, t≥0.
2. (b)
Then there is a unique bundle map f:X→Y over id satisfying the following (1) (2).
(1)
Lipfω≤β′(ω), d(fω(Xω),iY(ω))≤Kη(0,ω), where K≥0 is a constant.
2. (2)
Graphf⊂H−1Graphf. More precisely, (xt,ω(x),ftω(xt,ω(x)))∈H(t,ω)(x,fω(x)), ∀x∈Xω, where xt,ω(⋅):Xω→Xtω such that Lipxt,ω(⋅)≤c(ω)λst(ω), for all ω∈M, t≥0. Moreover, if
[TABLE]
then d(xt,ω(Xω),iX(tω))≤K0η(t,tω) for some constant K0.
We state a local version of the existence result for the strong stable case. The thresholds in angle condition and spectral condition are a little different from Theorem 4.1 and Theorem 4.2.
Theorem 4.3**.**
Let (X,M,π1),(Y,M,π2) be two bundles with fibers being Banach spaces and t:M→M a semiflow. Take functions ε1(⋅),ε(⋅):M→R+. Let H:R+×X×Y→X×Y be a cocycle correspondence over t.
For every (t,ω)∈R+×M, suppose that
[TABLE]
satisfies (A′)(α(ω), c(ω)λut(ω)) (B)(β′(ω); β(ω), c(ω)λst(ω)) condition, and if t≥ε^1>0, (B)(β(ω); β′(ω), c(ω)λst(ω)) condition,
where sup{rt,i,rt,i′:i=1,2,t∈[0,b]}>0 for any b>0.
(i)
Assume for a fixed t0>0,
[TABLE]
where η:M→R+, with η(t0ω)≤εt0(ω)η(ω) and 0≤ε(ω)≤ε1(ω), ∀ω∈M.
2. (ii)
(spectral condition) supωλu(ω)λs(ω)<1, supωλu(ω)ε1(ω)<1, supωλs(ω)<1, and supωc(ω)<∞.
If η0>0 is small and supωη(ω)≤η0, then there is a small σ0>0 such that there are maps fω:Xω(σ0)→Yω, ω∈M, uniquely satisfying the following (1) (2).
(1)
Lipfω≤β′(ω), ∣fω(0)∣≤Kη(ω), for some constant K≥0.
2. (2)
Graphfω⊂H(t,ω)−1Graphftω. More precisely, (xt,ω(x),ftω(xt,ω(x)))∈H(t,ω)(x,fω(x)), ∀x∈Xω(σ0), where xt,ω(⋅):Xω(σ0)→Xtω(σ0) such that Lipxt,ω(⋅)≤c(ω)λst(ω). Moreover, supt∈[0,t0]∣xt,ω(0)∣≤K0η(ω), ∀ω∈M, where K0>0.
Proof.
First note that we can assume, without loss of generality, supωε(ω)≤1. This can be argued as follows. Take η1(ω)=supt≥0η(tω)<∞, then η1(t0ω)≤min{1,εt0(ω)}η1(ω); so by using η1(ω),min{1,ε(ω)} instead of η(ω),ε(ω) respectively, all the assumptions also hold.
In the following, we will use an argument in the proof of existence results in [Che18a]. Set
[TABLE]
Choose a large n0∈N (independent of ω∈M) such that nt0>ε^1 and
[TABLE]
Set u=t0:M→M.
Fix any ω0∈M. Let Mω0={(nt0)(ω0):n∈N}. H(kt0,⋅)(⋅) can be regarded as a bundle correspondence X∣Mω0×Y∣Mω0→X∣Mω0×Y∣Mω0 over uk, denoted by Hkt0∣Mω0. Define a function ε^1(⋅) over u as
[TABLE]
and let
[TABLE]
Sublemma \thesublemma.
The section i now is an ε^2(k)-pseudo-stable section of Hkt0∣Mm0, i.e.
[TABLE]
ω∈Mω0, where ηk(ω0)(ui(ω0))=ckε^2(i)(ω0)η(ω0), i≥0, and ck≥1 is a constant independent of ω0.
Proof.
This is a direct consequence of Section 4.1 (2). We only consider the case k=2. Let y^∈Yt0ω be the unique point satisfying y^=Gt0,t0ω(Ft0,ω(0,y^),0). Then (noting that β′(tω)≤β(ω))
[TABLE]
and
[TABLE]
If ω=uj(ω0), then η(ω)≤ε^2(j)(ω0)η(ω0).
So we can choose
[TABLE]
where λ1≜supωε(ω)λu(ω) and c^=supωc(ω)<∞, completing the proof.
∎
We have shown Hn0t0∣Mω0 satisfies the third existence theorem in [Che18a, Section 4.1], so when η0>0 is small such that supωη(ω)≤η0, there are a small constant σ0>0 (independent of ω0∈M since ηn0(ω0)(ui(ω0))≤cn0η0) and a unique bundle map fn0,(ω0):X∣Mω0(σ0)→Y∣Mω0 such that
(a0)
Lipfωn0,(ω0)≤β′(ω), ∣fωn0,(ω0)(0)∣≤K1′ηn0(ω0)(ω)≤K1′cn0η0, where K1′≥0 (independent of ω0),
2. (b0)
Also, fn0,(ω0) does not depend on the choice of η0(⋅)=ηn0(ω0)(⋅) as long as it satisfies η0(un0(ω))≤ε^2(n0)(ω)η0(ω), ηn0(ω0)(ω)≤η0(ω)≤η0, for all ω∈Mω0.
Using above property (c0), we find that fun0(ω)n0,(ω0)=fun0(ω0)n0,(un0(ω0)). Indeed, {fω′n0,(ω0):ω′∈Mun0(ω0)} also fulfills (a0) (b0) for the case that ω0 is replaced by un0(ω0), with η0(⋅)=ηn0(ω0)(⋅)∣Mun0(ω) instead of ηn0(un0(ω0))(⋅). Set fω0=fω0n0,(ω0):Xω0(σ0)→Yω0. Then the above argument shows that f is the unique bundle map of X(σ0)→Y satisfies
The uniqueness of f also shows that Graphfω⊂H(t,ω)−1Graphftω for all t≥0, if we choose further smaller η0 and σ0; see the proof of Theorem 4.1. Other conclusions are obvious and this gives the proof.
∎
Remark \theremark.
In Theorem 4.1, Theorem 4.2 and Theorem 4.3, there are two special cases which are useful for application: (i) ε1≡0 (specially η≡0) and ε1≡1. Theorem 4.3 is a basic tool to construct strong (un)stable foliations (laminations) for differential equations; for this case η≡0. Similar as Theorem 4.3, in Theorem 4.1 and Theorem 4.2, the condition (i) can be stated only for 0≤t≤t0; we give the information for all t≥0 only for giving the estimate ∣xt,ω(iX(ω))−iX(tω)∣≤K0(η(t,tω)+infr≥t0η(r,tω)) for all t≥0.
See more characterizations and corollaries in [Che18a].
We are going to discuss the regularity of the bundle map f given in Theorem 4.1. Since this map is constructed through the bundle correspondence H (see (4.1)), so the regularity results in [Che18a] all hold.
The assumptions on X×Y, i, and the (almost) continuity of the functions in (A1′) (B1) condition are the same as the discrete case. (The function c does not need any condition; just take c^≥supωc(ω) instead of c.)
The regularity properties of maps u,F,G in that paper [Che18a] now become for the maps u^=t0, Fω=Ft0,ω, Gω=Gt0,ω. Finally, the spectral gap conditions are the same as the discrete case but the abbreviation of them (see [Che18a, Remark 6.6]) needs to be little modified, i.e. ϑ≡1.
In order to more easily verify the conditions on u^, F,G, one can give a more restriction on t, F,G; that is, some conditions do not depend on the choice of t0. Let b>a≥0. The idea is given in the following: the C1 and Ck,1 smoothness of gt0(⋅) can be replaced by the C1 and Ck,1 smoothness of gt(⋅) for ∀t∈[a,b], where gt(⋅) can be taken as t(⋅), Ft,ω(⋅),Gt,ω(⋅), and Ft,⋅(⋅),Gt,⋅(⋅); the Ck,1 constants of gt(⋅) can depend on t; however, for Ck,α (0<α<1) case, we need the Ck,α information of Ft,ω(⋅),Gt,ω(⋅) or Ft,⋅(⋅),Gt,⋅(⋅) for all sufficiently large t.
Here are simple facts about the fiber-regularity of f (i.e. x↦fω(x)), which are direct consequences of [Che18a, Lemma 6.7 and Lemma 6.12].
Theorem 4.4** (Ck leaves).**
Let f be obtained in Theorem 4.1.
Assume (i) α,β,β′, λs,λu, c are all bounded functions; (ii) the fibers of the bundles X,Y are Banach spaces; (iii) for every (t,ω)∈[a,b]×M (b>a≥0), Ft,ω(⋅),Gt,ω(⋅) are C1. Then for every ω∈M, fω(⋅)∈C1.
In addition, suppose (i) for (t,ω)∈[a,b]×M (b>a≥0), Ft,ω(⋅),Gt,ω(⋅) are Ck, (ii)
[TABLE]
and (iii) supωλsk(ω)λu(ω)<1, then for every ω∈M, fω(⋅)∈Ck and supω∣fω(⋅)∣k−1,1<∞. Here ∣u∣k,1=max{supx∣Diu(x)∣,LipDku(⋅):i=1,2,…,k}.
Similar results for f obtained in Theorem 4.2 and Theorem 4.3 hold.
If H is induced by equation (3.2) (see Section 3), then the Ck,α assumptions on Ft,ω(⋅),Gt,ω(⋅) can change to on the tangent field (i.e. z↦f(ω)z), which are the consequences of parameter-dependent fixed point theorem (cf e.g. [Che18a, Appendix D.1]), see e.g. Section 3.1.2 and Section 3.2.3 in Ck case as well.
The statement of the base-regularity of f (i.e. ω↦fω(⋅)) is more complicated. There is an issue of how we describe the uniform properties of the bundle map f respecting the base points in approximate bundles, such as the uniformly Ck,α (k=0,1, 0≤α≤1) continuity. In [Che18a], this was done by a natural way based on the works e.g. [HPS77, PSW12, BLZ99, BLZ08, Cha04, Eld13, Ama15]; that is, the bundle map is represented in local bundle charts belonging to preferred bundle atlases, called the local representations, and the uniform property of this bundle map means the uniform property of local representations. Some prerequisites are needed making it impossible for us to fully present the whole regularity results in [Che18a].
Let’s take a quick glimpse of the regularity results about f in a not very sharp and general setting.
For the precise meaning of uniformly (locally) Ck,α regularity of f with respect to the bundle charts M,A,B given in the following assumptions, see [Che18a].
(E1)
(about M) Let M be a C1 Finsler manifold and M10⊂M. Let M1 be the ε-neighborhood of M10 (ε>0). Take a C1 atlas N of M. Let M be the canonical bundle atlas of TM induced by N. Assume M is C1,1-uniform around M1 with respect M (see [Che18a]).
2. (E2)
(about X×Y) (X,M,π1), (Y,M,π2) are C1 vector bundles endowed with C0connectionsCX,CY which are uniformly (locally) Lipschitz around M1 (see [Che18a]). Take C1normal (vector) bundle atlases A, B of X,Y respectively. Assume for sufficiently small ξ>0, (X,M,π1), (Y,M,π2) both have (ξ-almost) C1,1-uniform trivializations at M1 with respect to A,B (and M), respectively (see [Che18a]).
3. (E3)
(about i) Take the section i as the [math]-section of X×Y.
4. (E4)
(about t) t:M→M is a C1 semiflow. Denote the linear cocycle U on TM by U(t,ω)=Dt(ω):TωM→TtωM. Assume U satisfies the following. Let ζ>0 be small (depending on the spectral gap condition).
(i)
There are t0′>0 and a positive function μ such that ∣U(nt0′,ω)∣≤μnt0′(ω) for all large integral n and ω∈M;
2. (ii)
ω↦∣U(t0′,ω)∣ is ζ-almost uniformly continuous around M1 (see Section 3.2.4);
3. (iii)
supω∈M1μ(ω)<∞.
Assume there is a t1>0 such that t(M)⊂M10 for all t≥t1.
5. (E5)
The functions in (A1′) (B1) condition are ζ-almost uniformly continuous around M1 and ζ-almost continuous; see Section 3.2.4.
(E1) will be satisfied, for example, (i) M is a uniformly regular Riemannian manifold on M1 (see [Ama15]), (ii) M has bounded geometry with M1 far away from the boundary of M, including the class of smooth compact Riemannian manifolds (see [Ama15, Eld13]), (iii) M is the class of immersed manifolds in Banach spaces discussed [BLZ99, BLZ08] (or see the hypothesis (H1) ∼ (H4) in Section 4.2), or (iv) see the class of immersed manifolds introduced in [HPS77, Chapter 6]; see [Che18a] for details.
(E2) will be fulfilled, for example, X,Y have 2-th order bounded geometry (see [Eld13, Page 45] and [Shu92, Page 65]) or X,Y are the C2-uniform Banach bundles discussed in [HPS77, Chapter 6]; see also [Che18a] for more examples.
The following abbreviation of spectral gap condition will be used.
Let λ,θ:M→R+.
λθ, max{λ,θ} are defined by
[TABLE]
The notation λ<1 means that supωλ(ω)<1.
If θ<1, then the meaning of the notation λ∗αθ<1 is different in different settings in [Che18a]; for simplicity, here it means
(i)
supωλα(ω)θ(ω)<1 if α=1,
2. (ii)
supωsupt≥0λ(tω)supt≥0θ(tω)<1 otherwise. Particularly if λ(tω)≤λ(ω) and θ(tω)≤θ(ω) for all (t,ω)∈R+×M, then this also means case (i); the functions in (A) (B) condition of H induced by differential equations usually are characterized in this case, see Section 3.
Theorem 4.5**.**
Assume (E1) ∼ (E5) hold with ξ,ζ small (depending on the spectral gap condition). Let H:R+×X×Y→X×Y be a cocycle correspondence over t with a generating cocycle (F,G). Let f be given in Theorem 4.1 when i is an invariant section of H (i.e. η(⋅,⋅)≡0) and assume α,β,β′, λs,λu, c are all bounded functions. Then we have the following results about the regularity of f. (In the following, 0<α,β≤1 and for allt∈[a,b].)
(1)
fω(0)=0. If Ft,(⋅)(⋅),Gt,(⋅)(⋅) are continuous, so is f. If (ω,z)↦DzFt,ω(z),DzGt,ω(z) are continuous, so is (ω,x)↦Dxfω(x). Moreover, if DFt,ω(⋅),DGt,ω(⋅) are C0,γ uniform for ω, and λs∗γαλsλu<1,
then Dfω(⋅) is C0,γα uniform for ω.
2. (2)
Suppose
(i) Ft,(⋅)(⋅),Gt,(⋅)(⋅) are uniformly (locally) C0,1 around M1,
(ii) (max{λs−1,1}μ)∗αλsλu<1.
Or suppose
(i*′) Ft,(⋅)(⋅),Gt,(⋅)(⋅) are uniformly (locally) C1,1 around M1,
(ii′**) (λsμ)∗αλsλu<1.
Then ω↦fω(⋅) is uniformly (locally) α-Hölder around M1.*
3. (3)
Suppose
(i) ω↦DFt,ω(0,0),DGt,ω(0,0) are uniformly (locally) C0,γ around M1,
(ii) μ∗γαλsλu<1.
Then ω↦Dfω(0) is uniformly (locally) C0,γα around M1.
4. (4)
Suppose
(i) DzFt,(⋅)(⋅),DzGt,(⋅)(⋅) are uniformly (locally) C0,1 around M1,
(ii) λs2λuμα<1, λs∗βλsλu<1, μ∗αλsλu<1.
Then ω↦Dfω(⋅) is locally αβ-Hölder around M1.
5. (5)
Suppose
(i) Ft,(⋅)(⋅),Gt,(⋅)(⋅) are C1,1 around M1 (see [Che18a, Remark 6.6]) and C1 in X×Y,
(ii) λsλuμ<1.
Then f is C1, ∇ωfω(0)=0 for all ω∈M1 and there is a constant C such that ∣∇ωfω(x)∣≤C∣x∣ for all x∈Xω, ω∈M1. Here ∇f means the covariant derivative of f with respect to CX,CY; see e.g. [Che18a].
Moreover, if an additional spectral gap condition holds: λs∗βλsλu<1 and max{1,λs}∗αλsλuμ<1, then ∇ωfω(⋅) is locally αβ-Hölder uniform for ω∈M.
6. (6)
Under (5), assume for every t∈[a,b], U(t,⋅) is uniformly (locally) C1,1 around M1. Suppose
λs2λu<1, λs2λuμ<1, max{λsμ,μ}∗αλsλuμ<1.
Then ω↦∇ωfω(⋅) is uniformly (locally) α-Hölder around M1; this gives (ω,x)↦fω(x) is uniformly locally C1,α around M1.
Proof.
Here we mention a fact, i.e. from (E1) and (E4), for any given ς>0 and any sufficiently large t0=nt0′>t1 (depending on ς,t0′), there is an ϵ1>0 such that if ω′∈Uω(ϵ1)={ω′∈M:d(ω′,ω0)<ϵ1}, ω∈M1, where d is the Finsler metric in each component of M, then
[TABLE]
Also, the above conditions on Ft,(⋅)(⋅), Gt,(⋅)(⋅), t∈[a,b], will imply the same conditions on Ft0,(⋅)(⋅), Gt0,(⋅)(⋅). So apply the regularity results in [Che18a] (see also [Che18a, Theorem 6.2]) to u^=t0, Fω=Ft0,ω, Gω=Gt0,ω to give desired results.
∎
If H is induced by the class of differential equations studied in Section 3 (i.e. (3.2)), then the uniformly (locally) C0,1 or C1,1 properties of Ft,(⋅)(⋅),Gt,(⋅)(⋅) can be satisfied if we give the uniformly (locally) C0,1 or C1,1 smoothness assumptions on the tangent field (i.e. (ω,z)↦f(ω)(z) in (3.2)), the semiflow t(⋅), and also the spectral projections and T1,S1 in the uniform dichotomy condition (i.e. Section 3.1.2) satisfied by (3.2).
See [Che18a] for general regularity results about f.
4.2. approximately normal hyperbolicity theory
Normally hyperbolic invariant manifold theory was studied comprehensively in [Fen72, HPS77] with further development in [BLZ98, BLZ99, BLZ08] for abstract infinite-dimensional dynamical systems in Banach spaces and in [LW97, PS01] for partial differential equations in Banach spaces. Roughly, this theory gives results of (i) persistence and existence of center and center-(un)stable manifolds which maintain some smoothness, (ii) decoupling and linearization of the system along the normally hyperbolic invariant manifold, and (iii) asymptotic behaviors of the orbits around this invariant manifold. The result (iii) can be characterized by the so called strong (un)stable foliations in center-(un)stable manifolds.
This theory was expanded and extended to more general settings in our paper [Che18b] which we will state briefly below in a version of continuous dynamical systems towards making it applicable to both well-posed and ill-posed differential equations. The reader can find more illustrations and remarks about this theory in [Che18b] and see Section 4.4 for a more intuitive application to some classes of autonomous different equations in Banach spaces.
(I). The setting for a C0,1 (immersed) submanifold Σ of a Banach space Z is the following.
Take a representation (Σ,ϕ) of Σ.
Let Σ be a C0 manifold and ϕ:Σ→Z with ϕ(Σ)=Σ. For any m∈Σ, let Um(ϵ) be the component of ϕ−1(Σ∩Bϕ(m)(ϵ)) containing m, where Bϕ(m)(ϵ)={m′:∣m′−m∣<ϵ}. Let ϕ(Um(ϵ))=Um,γ(ϵ), Um=⋃ϵ>0Um(ϵ), Um,γ=ϕ(Um), where m=ϕ(m), γ∈Λ(m)≜ϕ−1(ϕ(m)). ϕm,γ≜ϕ:Um→Um,γ is homeomorphic with Um open.
There are a family of projections {Πmκ:m∈Σ}, κ=s,c,u, such that Πms+Πmc+Πmu=id. Set Πmh=id−Πmc, and Xmκ=R(Πmκ), κ=s,c,u,h; also Xmκ1κ2=Xmκ1⊕Xmκ1, where κ1=κ2∈{s,c,u}. For K⊂Σ, K′⊂Σ and κ=s,c,u, set
[TABLE]
We make the following assumption which is essentially due to [BLZ99, BLZ08]; see also [Che18a, Appendix C] and [Che18b, Section 4.3] for more explanations about this class of (uniformly) immersed submanifolds.
(H1)
(C0,1 immersed submanifold). For any m∈Σ, ∃ϵm>0, ∃δ0(m)>0 such that
[TABLE]
where γ∈Λ(m), 0<ϵ≤ϵm and χm(⋅)>0 is increased, and
[TABLE]
that is, Σ is a C0,1 immersed submanifold of Z. Let K⊂Σ. We further assume Σ has some local uniform properties around K. Suppose infm∈Kϵm>ϵ1>0.
2. (H2)
(about {Πmκ}). There are constants L>0,L0>0, such that (i) supm∈K∣Πmκ∣≤L0 and (ii)
[TABLE]
where m1,m2∈Um,γ(ϵ1), γ∈Λ(m),m∈K, κ=s,c,u.
3. (H3)
(almost uniformly differentiable at K). supm∈Kχm(ϵ)≤χ(ϵ)<1/4 if 0<ϵ≤ϵ1, where χ(⋅) is an increased function.
4. (H4)
(uniform size neighborhood at K). There is a constant δ0>0 such that infm∈Kδ0(m)>δ0.
Some examples are the following.
∙
Σ is an open set of a complemented closed subspace of Z and d(K,∂Σ)>0.
2. ∙
Any C1 compact embedding submanifold Σ of Z with d(K,∂Σ)>0 and K⊂Σ, where ∂Σ is the boundary of Σ.
3. ∙
If ϕ:Σ→Z is a C1leaf immersion (see [HPS77, Section 6]) with Σ boundaryless, then ϕ(Σ)=Σ with itself satisfies (H1) ∼ (H4) (by smooth approximation on TΣ); in this case Σ is finite-dimensional. A special case is a leaf of a compact foliation.
4. ∙
The finite-dimensional cylinders (or Tn,Sn) in Z. See also [BLZ99] for an example.
For the smooth result of invariant manifolds, we need, in some sense, the C0 continuity of m↦Πmκ in all Σ in the immersed topology.
(H0)
For small ξ0>0 and every m∈Σ, assume limsupm′→m∣Πϕ(m′)κ−Πϕ(m)κ∣≤ξ0, κ=s,c,u. That is, Π(⋅)κ is ξ0-almost continuous in the following sense.
We say a function g:Σ→M is ξ-almost uniformly continuous around K (in the immersed topology), if the amplitude of g around K⊂Σ, defined by
[TABLE]
where d is the metric in M, satisfies AK(ϵ)≤ξ as ϵ→0. We say g is ξ-almost continuous (in the immersed topology) if for each m∈Σ, one has A{m}(ϵ)≤ξ as ϵ→0. A family of functions gλ:Σ→M, λ∈Θ, are said to be ξ-almost equicontinuous around K (in the immersed topology), if supλ∈ΘAK,gλ(ϵ)≤ξ as ϵ→0.
(II). Let t:m↦tm≜t(m) be a C0 semiflow on Σ in the immersed topology; this means that there is a C0 semiflow t on Σ such that ϕ∘t=t∘ϕ.
(III). Let Πmκ, κ=s,c,u, be projections such that Πms+Πmc+Πmu=id, m∈Σ. Set Xmκ=R(Πmκ) and
Xmκ1κ2=Xmκ1⊕Xmκ2, m∈Σ, κ1,κ2∈{s,c,u}, κ1=κ2. Xmκ(r)={x∈Xmκ:∣x∣<r}.
(IV). Let H:R+×Z→Z be a continuous correspondence.
Let H(t,m)=H(t)(⋅+m)−t(m), i.e. GraphH(t,m)=GraphH(t)−(m,t(m))⊂Z×Z; so H is a continuous cocycle correspondence over t.
For brevity, we adopt the following notions. Suppose for all t,s≥0 and m∈Σ,
[TABLE]
where κ1=csu−κ, and where rt,i,rt,i′>0, i=1,2, are constants independent of m but might depend on t and inf{ri,t,ri,t′:t∈[a,b]}>0 for any b>a≥0.
∙
If (Ft,s(m)κ,Gt,s(m)κ) satisfies (A*′*)(α1(m), c(m)λ1t(m)) (see Section 2.4), then we say H≈(Fκ,Gκ) satisfies (A1′) (α1,λ1;c) condition in κ-direction;
2. ∙
if (Ft,s(m)κ,Gt,s(m)κ) satisfies (A*′*)(α(m), c(m)λ1t(m)) condition (see Section 2.4) and if t≥ε^1, (A)(α(m); α1(m), c(m)λ1t(m)) condition (see Section 2.4), where ε^1>0 is a constant, then we say H≈(Fκ,Gκ) satisfies (A0) (α;α1,λ1;c) condition in κ-direction;
3. ∙
similarly, (B1′) (β1,λ2;c) condition in κ-direction and (B0) (β;β1,λ2;c) condition in κ-direction.
(A1)
(submanifold condition) Let Σ with K⊂Σ satisfy (H1) ∼ (H4).
2. (A2)
((strictly) inflowing condition) Let t0>0 be fixed and ξ>0 small. The semiflow in (II) satisfies the following. (i)t0(Σ)⊂K;
(ii) there are functions vt:Σ→Z, t∈[0,t0], which are ξ-almost equicontinuous around K (in the immersed topology), and a (small) ξ1>0 such that supt∈[0,t0]supm∈Σ∣vt(m)−t(m)∣≤ξ1.
3. (A3)
(approximately normal hyperbolicity condition) Σ satisfies the following ‘approximately cs-normal hyperbolicity’ condition with respect to H.
Assume there is a small ξ2>0 such that supm∈K∣Πmκ−Πmκ∣≤ξ2, κ=s,c,u.
(iii) the functions α(⋅),β(⋅),β′(⋅), λu(⋅),λcs(⋅) are bounded, ξ-almost continuous and ξ-almost uniform continuous around K (in the immersed topology) and also c(⋅) is bounded.
2. (b)
(approximation) There is a small η>0 such that
[TABLE]
3. (c)
(s-contraction)
If (0,x^is,x^iu)×(x~ic,x~is,x~iu)∈GraphH(t0,m)∩{Xmcs(rt0,1)⊕Xmu(rt0,2)×Xt0(m)cs(rt0,1′)⊕Xt0(m)u(rt0,2′)}, i=1,2, m∈Σ, and ∣x~1u−x~2u∣≤B∣x^1s−x^2s∣, then
[TABLE]
where B>supm∈Mc(ω)λcst0(m)β(m) is some constant and λs∗<1.
4. (A4)
(smooth condition) (i) Assume for every m∈Σ, Ft0,mcs(⋅), Gt0,mcs(⋅) are C1, and (H0) holds with ξ0 sufficiently small.
(ii) (spectral gap condition) supmλcs(m)λu(m)<1.
We say a submanifold Σ of X satisfying assumption (A1) is approximately (strictly) inflowing and approximately cs-normally hyperbolic with respect to H if the assumptions (A2) (A3) hold; sometimes we also say Σ is (strictly) inflowing with respect to the semiflow t.
∙
Under (A1) (A2) (i), we say {zt}t≥0 in XΣs(σ)⊕XΣu(ϱ) is a (σ,ϱ,ε)-forward orbit (or forward orbit for short) of H,
if zt=(mt,xts,xtu)∈XΣs(σ)⊕XΣu(ϱ), ϕ(mt)+xts+xtu∈H(t−s)(ϕ(ms)+xss+xsu) (t≥s), mt0∈Ut0(m0)(ε) and mt∈U(t−t1)(mt1)(ε) where 0≤t−t1≤t0,t≥t0,t1≥0.
2. ∙
Similarly, under (A1) (A2) (i), we say {zn}n∈N in XΣs(σ)⊕XΣu(ϱ) is a (σ,ϱ,ε)-forward orbit (or forward orbit for short) of H(t0),
if zn=(mn,xns,xnu)∈XΣs(σ)⊕XΣu(ϱ), ϕ(mn)+xns+xnu∈H(t0)(ϕ(mn−1)+xn−1s+xn−1u) and mn∈Ut0(mn−1)(ε), n=1,2,….
3. ∙
Similar notion of (σ,ϱ,ε)-backward orbit of H(t0) (resp. H) can be defined, if t0:Σ1(⊂Σ)→Σ is invertible where Σ1⊂K (resp. t is a flow).
For instance, {z−t}t≥0 in XΣs(σ)⊕XΣu(ϱ) is a (σ,ϱ,ε)-backward orbit (or backward orbit for short) of H,
if z−t=(m−t,x−ts,x−tu)∈XΣs(σ)⊕XΣu(ϱ), ϕ(m−t)+x−ts+x−tu∈H(s−t)(ϕ(m−s)+x−ss+x−su) (0≤t≤s), m−t0∈U−t0(m0)(ε) and mt∈U(t−t1)(mt1)(ε) where −t0≤t−t1≤0,t≤−t0,t1≤0.
{zt}t∈F is a (σ,ϱ,ε)-orbit if {zt}t∈F+ is a (σ,ϱ,ε)-forward orbit and {z−t}t∈F+ is a (σ,ϱ,ε)-backward orbit, where F=R or Z.
Theorem 4.6** (center-stable manifold).**
Let (A1) (A2) (A3) hold. If ξ,ξ1,ξ2,η are small, and χ(ϵ) is small when ϵ is small, (or more precisely, there are ζ1,ζ2>0 and a function η(⋅,⋅)>0, if ξ,ξ1,ξ2,χ(ϵ)<ζ1 and η≤η(ϵ,χ(ϵ))<ζ1, provided ϵ<ζ2,) then there are positive small ε,σ,ϱ (depending on χ(ϵ),ϵ) such that the following hold.
(1)
In XΣs(σ)⊕XΣu(ϱ), there is a set Wloccs(Σ) called the local center-stable manifold of Σ, which is defined by
[TABLE]
Moreover, it has the following properties.
(i)
Wloccs(Σ)* can be represented as a graph of a map. That is there is a map h0 such that h0(m,⋅):Xϕ(m)s(σ)→Xϕ(m)u(ϱ), m∈Σ, and*
[TABLE]
Moreover, h0 in some sense is (uniformly) Lipschitz around K, that is, there is a function μ(⋅), such that μ(m)=(1+χ∗)β′(m)+χ∗ with χ∗→0 as ϵ,χ(ϵ),η→0,
and for every m∈K, it holds
[TABLE]
where mi∈Um(ε), xis∈Xϕ(mi)s(σ), m∈ϕ−1(m).
2. (ii)
Furthermore, the map h0 is unique in the sense that if h0′ satisfies (i) and Graphh0′⊂H(t0)−1Graphh0′, then h0′=h0.
3. (iii)
We use the following notations: for any K′⊂Σ and 0<σ′<σ, set
[TABLE]
Then (a) Wloccs(Σ)⊂H(t)−1Wloccs(Kε) if t≥t0; (b) Wσ1cs(Kε)⊂H(t)−1Wloccs(Σ) for some σ1<σ if t≥0; (c) Σ⊂Wloccs(Σ), if η=0.
2. (2)
H(t0)* in Wloccs(Σ) induces a map meaning that for any z0=(m0,x0s,x0u)∈Wloccs(Σ), there is only one z1=(m1,x1s,x1u)≜ϕ(m1)+x1s+x1u∈Wloccs(Σ) such that z1∈H(t0)(z0), where m1∈Uu(m0)(ε), xiκ∈Xϕ(mi)κ, mi∈Σ, i=0,1, κ=s,u. Denote the map by H:z0↦z1. Similarly, H in Wσ1cs(Kε) induces a semiflow φ, i.e. for every z=(m0,x0s,x0u)∈Wσ1cs(Kε), there is a unique (σ,ϱ,ε)-forward orbit {zt}t≥0⊂Wloccs(Σ) of H such that z0=z; define φt(z0)=zt.*
3. (3)
In addition, let (A4) hold with ξ0 (in (H0)) sufficiently small, then Wloccs(Σ) is a C1 immersed submanifold of X.
Furthermore, suppose η=0 and DxcsGt0,mcs(0,0,0)=0 for all m∈Σ. Then TmWloccs(Σ)=Xmcs for all m∈Σ.
Proof.
The results associated with H(t0), in fact, had been proved in our paper [Che18b]; so we refer the reader to see that paper for details. What we need to prove is the center-stable manifold is also invariant under H(t) (i.e. (1) (iii)) and H in Wloccs(Kε) induces a semiflow (i.e. (2)).
Fix t such that 0<t<t0. First note that the constant ε is chosen such that (H2) ∼ (H4) also hold and so the (uniformly) Lipschitz continuity of h0 in (1) (i) when K is replaced by K2ε; see [Che18b] for details. Take any m∈Kε and set m=ϕ(m) (∈Kε), mt=t(m) and mt=t(m). By assumption (A2) (ii), we can assume mt∈K2ε, i.e. mt∈K2ε, if ξ,ξ1 are small. The local representation fmt of Wloccs(K2ε) at mt is given by
[TABLE]
where xκ∈Xmtκ(c1σ∗), κ=s,c, (c1 is smaller than 1 but sufficiently close to 1), m′∈Umt(ε), xs∈Xϕ(m′)s(σ∗); here σ∗ can be taken in [χ∗ε,σ] for some small χ∗>0 depending on ε,χ(ε),η and χ∗→ as ε,χ(ε),η→0 (see [Che18b]). Also, note that Lipfmt(⋅)≈β′(mt). By Section 4.1, for any x0s∈Xms(σ1),
there are unique x0u∈Xmu and xκ∈Xmtκ(c1σ), κ=s,u, such that
[TABLE]
where σ1=O(χ∗ε)∈(χ∗ε,σ); also we have x0u∈Xmu(ϱ1), where ϱ1=O(χ∗ε)<ϱ; write
mt+xs+xc+fmt(xs,xc) as (⧫).
Next, if we show there is (m1,x1s,x1u)∈XKεs(σ1)⊕XKεu(ϱ1), where m1∈Ut0(m)(ε), such that
[TABLE]
where H(t)−1(Graphh0) is constructed as the above way (i.e. (⧫⧫)), then from the characterization of Wloccs(Σ) (i.e. conclusion (1)), we see x0u=h0(m,x0s), which yields Wσ1cs(Kε)⊂H(t)−1Wloccs(Σ). By the cocycle property of H and Graphh0⊂H(t0)−1Graphh0, there is a unique (m2,x2s,x2u)∈Graphh0, where m2∈Ut0(m′)(ε), such that ϕ(m2)+x2s+x2u∈H(t0)(ϕ(m′)+xs+h0(m′,xs)); that is
[TABLE]
and so there are xκ∈Xt0(m)κ, κ=s,c,u, such that
[TABLE]
By assumption (A3) (c) about H(t0) and x0s∈Xms(σ1), we have xκ∈Xt0(m)κ(c1σ1), κ=s,c, and xu∈Xt0(m)u(c1ϱ1). From the detailed construction of tubular neighborhoods around K of Σ in X (see [Che18b]), we can write
[TABLE]
where x1s∈Xϕ(m1)s(σ1), x1u∈Xϕ(m1)u(ϱ1), and m1∈Ut0(m)(ε). Note that from assumption (A2) (ii) and
[TABLE]
we know ∣t(ϕ(m1))−ϕ(m2)∣ can be made small if ε and ξ,ξ1 are small, and so
[TABLE]
Since ∣xiκ∣≤O(χ∗ε), i=1,2, κ=s,u, we can further get m2∈Ut(m1)(ε) when ε,χ(ε),η is small (in order to make χ∗ small). Therefore, ϕ(m2)+x2s+x2u∈H(t)−1(Graphh0) is constructed as (⧫⧫). This completes the proof of Wσ1cs(Kε)⊂H(t)−1Wloccs(K2ε)⊂H(t)−1Wloccs(Σ) for 0<t<t0.
As Wloccs(Σ)⊂H(t0)−1Wloccs(Kε), one has (a) Wσ1cs(Σ)⊂H(t)−1Wloccs(Kε) for all t≥t0 and (b) Wσ1cs(Kε)⊂H(t)−1Wloccs(Σ) for all t≥0.
Now for any z0=(m0,x0s,x0u)∈Wσ1cs(Kε), there are unique znt0=(mnt0,xnt0s,xnt0u)≜ϕ(mnt0)+xnt0s+xnt0u∈Wσ1cs(Kε) such that znt0∈H(t0)(z(n−1)t0), n=1,2,…, where mnt0∈Ut0(m(n−1)t0)(ε), xnt0κ∈Xϕ(mnt0)κ, mnt0∈Kε, κ=s,u; moreover, for (n−1)t0<t<nt0, there are unique zt=(mt,xts,xtu)≜ϕ(mt)+xts+xtu∈Wloccs(K2ε) such that zt∈H(t−(n−1)t0)(z(n−1)t0), where mt∈Us(m(n−1)t0)(ε) and s=t−(n−1)t0. So {zt}t≥0 is a (σ,ϱ,ε)-forward orbit of H; we can let φt(z0)=zt. The proof is complete.
∎
For the existence of strong stable foliation, we need the following assumption.
(A5)
(strong stable foliation condition) (a)
Suppose H≈(Fs,Gs) satisfies (A1′)(αcu, λcu; c) (B0)(βs; βs′, λs; c) condition in s-direction.
Moreover,
(ii) (spectral gap condition) supmλs(m)<1, supmλs(m)λcu(m)<1;
(iii)αcu(⋅), βs(⋅), βs′(⋅), λs(⋅), λcu(⋅) are bounded, ξ-almost continuous and ξ-almost uniform continuous around K (in the immersed topology).
(b) (smooth condition) Assume for every m∈Σ, Ft0,ms(⋅), Gt0,ms(⋅) are C1, and (A4) holds.
In the following, we use the notation: an≲bn, n→∞ (an≥0, bn>0), meaning that supn≥0bn−1an<∞.
The following theorem is a corresponding result of [Che18b, Theorem II] for the discrete version. The invariance of the strong stable foliation about H(t) (i.e. the following conclusion (ii) (d) (e)) can be proved as the same way as Theorem 4.6, so the details are omitted.
For possibly further smaller η,ϵ,χ(ϵ), there are σ0,σ1>0 (σ0<σ1<σ), an open V⊂Wloccs(Σ) (in the immersed topology) and a foliation Wss of V (called the strong stable foliation) such that Wσ1cs(Σ)⊂V, and each leaf Wss(z0) and each small plaque Wσz0ss(z0) of Wss (with diameter σz0) through z0∈V have the following properties:
(i)
(Lipschitz representation)
Wσz0ss(z0) can be represented as a Lipschitz graph of Xϕ(m)s(σ0)→Xϕ(m)cu with a Lipschitz constant less than ≈βs(ϕ(m)) and σz0=σ0, where z0=(m,xs,xu)∈Wσ1cs(Kε).
2. (ii)
(characterization) if z∈Wss(z0), then ∣Hn(z)−Hn(z0)∣≲εs(n)(z0), n→∞;
if z∈V and ∣Hn(z)−Hn(z0)∣≲εs(n)(z0), n→∞, then z∈Wss(z0), where z0=(m,xs,xu)∈V, the function εs(⋅) satisfies λs(ϕ(m))+ς<εs(z0)<λcu−1(ϕ(m))−ς for small ς>0 depending on ϵ,χ(ϵ),η such that ς→0 as ϵ,χ(ϵ),η→0 and supεs(⋅)<1,
[TABLE]
In fact, if z,z0∈Wσ1cs(Kε), then z∈Wss(z0) if and only if ∣φt(z)−φt(z0)∣≲εst−r(φr(z0)) as t→∞ for a large r>0.
4. (iv)
Wss* is a C0 foliation; in fact, Wσ1cs(Kε)∋z0↦Wσ0ss(z0) is uniformly (locally) Hölder.*
5. (v)
In addition, let (A5) (b) hold. Then each small plaque Wσz0ss(z0) is C1.
6. (vi)
Under (v) with additional assumption that DFt0,mκ(⋅), DGt0,mκ(⋅), m∈Σ, κ=cs,s, are equicontinuous, it holds that Wσ1cs(Kε)∋z0↦Wσ0ss(z0) is uniformly C0 in C1-topology in bounded subsets (in the immersed topology).
2. (2)
(invariant case) Assume η=0.
(i)
Then for z0∈Wloccs(Σ), Hn(z0)→Σ. In fact, the convergence is uniform for z0; that is Hn(Wloccs(Σ))→Σ as n→∞. Also, φt(Wσ1cs(Kε))→Σ as t→∞.
2. (ii)
Let (A5) (b) hold. Further, assume for all m∈Σ,
[TABLE]
then TmWσmss(m)=Xms, where m=ϕ(m)∈Σ.
3. (iii)
In addition, assume that (a) z↦Ft0,ms(z),Gt0,ms(z) are C1,1 uniform for m∈Σ, that (b) Σ∈C1, and m↦Πmκ, κ=s,c,u are C1 in the immersed topology, and that (c) supmλcs(m)λs(m)λcu(m)<1. Then Wss is a C1 foliation (or more precisely, a C1 bundle over Σ).
See [Che18b] for more results about the regularity of the strong stable foliation.
Next we consider the manifold being both approximately (strictly) inflowing and overflowing and approximately (full) normal hyperbolicity. We need the following assumptions.
(B1)
Let (A1) hold but K=Σ.
2. (B2)
(i) Assume t:Σ→Σ is a C0 flow (in the immersed topology) and let ξ>0 be small and t0>0.
(ii) There are functions vt:Σ→X, t∈[−t0,t0], which are ξ-almost equicontinuous (in the immersed topology), and a (small) ξ1>0 such that supt∈[−t0,t0]supm∈Σ∣vt(m)−t(m)∣≤ξ1.
3. (B3)
Σ satisfies the following ‘approximately (full) normal hyperbolicity’ condition with respect to H.
Assume there is a small ξ2>0 such that supm∈Σ∣Πmκ−Πmκ∣≤ξ2, κ=s,c,u.
(a)
((A) (B) condition)
Let κ1=cs, κ2=u, κ=cs, or κ1=s, κ2=cu, κ=cu.
Suppose H≈(Fκ,Gκ) satisfies (A0) (ακ2; ακ2′, λκ2; c) (B0) (βκ1; βκ1′, λκ1; c) condition in κ1-direction.
Moreover,
(ii) (spectral condition) supmλs(m)<1, supmλu(m)<1, supmλκ1(m)λκ2(m)<1;
(iii)ακ2(⋅), ακ2′(⋅), βκ1(⋅), βκ1′(⋅), λκ2(⋅), λκ1(⋅) are bounded and ξ-almost uniform continuous (in the immersed topology).
2. (b)
(approximation) There is a small η>0 such that for κ=cs,cu,
[TABLE]
3. (c)
(s-contraction and u-expansion)
For some small r0>0 and any (x^is,x^ic,x^iu)×(x~is,x~ic,x~iu)∈GraphH(t0,m)∩{Xms(r0)⊕Xmc(r0)⊕Xmu(r0)×Xt0(m)s(r0)⊕Xt0(m)c(r0)⊕Xt0(m)u(r0)}, i=1,2, m∈Σ,
(i)
if x~1s=x~2s=0 and ∣x~1u−x~2u∣≤B∣x^1s−x^2s∣, then ∣x~1s−x~2s∣≤λs∗∣x^1s−x^2s∣;
2. (ii)
if x~1u=x~2u=0 and ∣x^1s−x^2s∣≤B∣x~1u−x~2u∣, then ∣x^1u−x^2u∣≤λu∗∣x~1u−x~2u∣,
where B>max{supm∈Mc(ω)λcst0(m)βcs(m),supm∈Mc(ω)λcut0(m)αcu(m)} is some (large) constant and λs∗<1,λu∗<1.
4. (B4)
(smooth condition) Assume for every m∈Σ, κ=cs,cu, Ft0,mκ(⋅), Gt0,mκ(⋅) are C1.
We say a submanifold Σ of X satisfying assumption (B1) is approximately invariant and approximately (full) normally hyperbolic with respect to H if the assumptions (B2) (B3) hold. The following result is a corollary of Theorem 4.6 and Theorem 4.7 by using the notion of dual correspondence (see Section 2.3); see also [Che18b, Corollary III]
Corollary \thecorollary(trichotomy case).
Let (B1) (B2) (B3) hold. If ξ,ξ1,ξ2,η are small, and χ(ϵ) is small when ϵ is small, then there are positive ε, σ, ϱ small such that the following hold.
(1)
In XΣs⊕XΣu, there are three sets Wloccs(Σ), Wloccu(Σ), Σc, called the local center-stable, local center-unstable, local center manifold of Σ, respectively, which are defined and characterized by
[TABLE]
Moreover, they have the following properties.
(i)
Wloccs(Σ)⊂H(t0)−1Wloccs(Σ), Wloccu(Σ)⊂H(t0)Wloccu(Σ), Σc⊂H(t0)±1Σc.
2. (ii)
Wloccs(Σ), Wloccu(Σ), Σc can be represented as graphs of maps respectively. That is there are maps h0κ, κ=cs,cu,c, such that for m∈Σ,
[TABLE]
and Wloccs(Σ)=Graphh0cs, Wloccu(Σ)=Graphh0cu, Σc=Graphh0c.
h0κ, κ=cs,cu,c, are Lipschitz in the following sense. There are functions μκ(⋅), κ=cs,cu,c,
such that μcs(m)=(1+χ∗)βcs′(m)+χ∗, μcu(m)=(1+χ∗)αcu′(m)+χ∗ and μc=max{μcs,μcu}, with χ∗→0+ as ϵ,χ(ϵ),η→0, and for every m∈Σ, it holds for κ=s,u,
[TABLE]
where mi∈Um(ε), xiκ∈Xϕ(mi)κ(σ), m∈ϕ−1(m).
3. (iii)
Moreover, the maps h0κ, κ=cs,cu,c, satisfying (i) (ii), are unique. Also, if η=0, then Σc=Σ=Wloccs(Σ)∩Wloccu(Σ).
4. (iv)
There is a positive constant σ1 less than σ such that Wσ1cs(Σ)⊂H(t)−1Wloccs(Σ), Wσ1cu(Σ)⊂H(t)Wloccu(Σ), Σc⊂H(t)±1Σc for all t∈R+.
2. (2)
H:Wσ1cs(Σ)→Wloccs(Σ), H−1:Wσ1cu(Σ)→Wloccu(Σ), and H:Σc→Σc induce semiflows φcst,φcut,φct respectively, with φct being a flow; that is, for any zcs,zcu,zc belonging to Wσ1cs(Σ), Wσ1cu(Σ), Σc, respectively, there are a forward orbit {ztcs}t≥0⊂Wloccs(Σ), a backward orbit {ztcu}t≤0⊂Wloccu(Σ), an orbit {ztc}t∈R⊂Σc of H, respectively, such that z0κ=zκ, κ=cs,cu,c; now let φκt=ztκ, κ=cs,cu,c.
Furthermore, φcst(Wσ1cs(Σ))→Σc, φcut(Wσ1cu(Σ))→Σc, as t→∞. Set φcst0=H0cs, φcut0=H0−cu, φct0=H0c.
3. (3)
In addition, let (B4) hold. Then Wloccs(Σ), Wloccu(Σ), Σc are C1 immersed submanifolds of X. Let Xmcκ≜TmcWlocκ(Σ), κ=cs,cu, Xmcc≜TmcΣc, mc∈Σc, then Xmccs∩Xmccu=Xmcc. Moreover, Dφcst(mc)Xmccs⊂Xφcst(mc)cs, Dφcut(mc)Xmccu⊂Xφcut(mc)cu, Dφct(mc)Xmcc=Xφct(mc)c, mc∈Σc.
4. (4)
There is a C0 foliation Wss (resp. Wuu) of Wloccs(Σ) (resp. Wloccu(Σ)), with leaves Wss(mc) (resp. Wuu(mc)), mc∈Σc, called strong stable foliation (resp. strong unstable foliation) such that the following properties hold. Set mc=(m,xs,xu)∈Σc.
(i)
Wss* (resp. Wuu) is invariant under φcst (resp. φcut), meaning that φcst(Wss(mc)∩Wσ1cs(Σ))⊂Wss(φct(mc)), t≥0 (resp. φcut(Wuu(mc)∩Wσ1cu(Σ))⊂Wuu(φct(mc)), t≤0).*
2. (ii)
The leaves are characterized by the following. z∈Wss(mc) (resp. z∈Wuu(mc)) if and only if z∈Wloccs(Σ) (resp. z∈Wloccu(Σ)) and ∣(H0cs)n(z)−(H0cs)n(mc)∣≲εs(n)(mc) (resp. ∣(H0−cu)n(z)−(H0−cu)n(mc)∣≲εu(n)(mc)), n→∞, where λs(ϕ(m))+ς<εs(mc)<λcu−1(ϕ(m))−ς (resp. λu(ϕ(m))+ς<εu(mc)<λcs−1(ϕ(m))−ς) for small ς>0 depending on ϵ,χ(ϵ),η such that ς→0 as ϵ,χ(ϵ),η→0. Here sup{εs(⋅),εu(⋅)}<1,
[TABLE]
In fact, for κ=s,u, if z,z0∈Wσ1cκ(Σ), then z∈Wκκ(z0) if and only if ∣φcκt(z)−φcκt(z0)∣≲εκt−r(φcκr(z0)) as t→∞ for a large r>0.
3. (iii)
There is a small σ0>0 such that each small plaque Wσ0ss(mc) (resp. Wσ0uu(mc)) of Wss (resp. Wuu) (with diameter σ0) through mc∈Σc is a Lipschitz graph of Xϕ(m)s(σ0)→Xϕ(m)cu (resp. Xϕ(m)u(σ0)→Xϕ(m)cs) with Lipschitz constant less than approximately βs′(ϕ(m)) (resp. αu′(ϕ(m))).
4. (iv)
The holonomy maps for Wss and Wuu are uniformly (locally) Hölder, or equivalently Wss and Wuu are uniformly (locally) Hölder foliations in the immersed topology.
5. (v)
In addition, let (B4) hold. Then each leaf of Wss and Wuu is a C1 immersed submanifold of X. Let TmcWss(mc)=Xmcs and TmcWuu(mc)=Xmcu. Then Xmcκ1κ2=Xmcκ1⊕Xmcκ2, κ1=c, κ2=s,u, X=Xmcs⊕Xmcc⊕Xmcu and, mc↦Xmcκ is continuous (in the immersed topology), κ=s,c,u. Moreover, under additional assumption that DFt0,mκ(⋅), DGt0,mκ(⋅), m∈Σ, κ=cs,cu, are equicontinuous, it holds that Σc∋mc↦Wσ0cκ(mc) is uniformly C0 in C1-topology in bounded sets (in the immersed topology), κ=s,u.
6. (vi)
In fact, Wloccκ(Σ) is a C0 bundle over Σc with fibers Wκκ(mc), mc∈Σc, κ=s,u.
7. (vii)
Assume that (a) z↦Ft0,mκ(z),Gt0,mκ(z) are C1,1 uniform for m∈Σ, κ=cs,cu, that (b) Σ∈C1, and m↦Πmκ, κ=s,c,u, are C1 in the immersed topology, and that (c) supmλcs(m)λs(m)λcu(m)<1, supmλcu(m)λu(m)λcs(m)<1. Then Wss and Wuu are C1 foliations (or more precisely, C1 bundles over Σc).
5. (5)
The following exponential tracking property of Wloccs(Σ) and Wloccu(Σ) holds. If {z−t}t≥0 is a (σ,ϱ,ε)-backward orbit of H, then there is a unique (σ,ϱ,ε)-orbit {zt}t∈R⊂Σc of H such that ∣z−t−z−t∣≲εut−r(φcr(z0)) as t→∞ for a large r>0; similarly, if {zt′}t≥0 is a (σ,ϱ,ε)-forward orbit of H, then there is a unique (σ,ϱ,ε)-orbit {zt′}t∈R⊂Σc of H, such that ∣zt′−zt′∣≲εst−r(φcr(z0′)) as t→∞ for a large r>0.
4.3. application I: general C0 cocycle case
∙
Let M be a topology space. t:M→M is a C0 semiflow, i.e. R+×M→M,(t,ω)↦tω is continuous and 0ω=ω, (t+s)ω=t(sω) for all t,s∈R+, ω∈M.
Many concrete well-posed and ill-posed differential equations can be reformulated as the abstract differential equation (3.2), i.e.
[TABLE]
where C(ω):D(C(ω))⊂Z→Z, ω∈M, are a family of closed linear operators, Z is a Banach space and f is a nonlinear map.
Example \theexample.
We first give two classical results to show how our results can be applied to differential equations.
(a)
In [Yi93, CY94], the authors studied the (global) invariant manifolds of (3.2) in the setting that C(ω)∈L(Z,Z), Z=Rn, M is a smooth compact manifold, t:M→M is a smooth flow and f∈Cbk(M×Z,Z) with sufficient smallness of supωsupx∥Dxf(ω)(x)∥ by using the Lyapunov-Perron method. The uniform dichotomy on R of the smooth cocycle {T0(t,ω)} generated by {A(ω)} is described simply in the absolute sense, i.e. λs, λu are constant in the assumption (UD) in \autopagerefUD. The existence of the invariant manifolds of (3.2) for this case is the direct consequence of Theorem 4.2 or Theorem 4.1 (for the case ε1(⋅)≡1), and the C1,1 smoothness of those invariant manifolds follows from the corresponding regularity results for the bounded section case, i.e. supωη(t,ω)<∞ (see [Che18a, Section 6.10] for details). Here note that under C1,1 smoothness of ω↦C(ω) with corresponding spectral gap condition, the (spectral) projections appeared in uniform dichotomy condition (i.e. Section 3.1.2) also depend on ω∈M in a C1,1 fashion and so are T1,S1; this fact combining with C1,1 smoothness of f gives the desired regularity condition (needed in [Che18a, Section 6.10]) on the cocycle generated by the nonlinear equation (3.2). (Higher regularity can be proved in the same way.) The existence of the invariant foliations for the cocycle given in [CY94] is the corollary of [Che18a, Theorem 7.6] or Theorem 4.1 for the case η(⋅,⋅)≡0, and the C1 smoothness of those invariant foliations now follows from Theorem 4.5; see also [Che18a, Theorem 7.6].
2. (b)
In [CL97], the authors also developed the theory of invariant manifolds for cocycles in Banach spaces. In the first part of their paper, the authors studied the (global) center manifolds of the non-autonomous differential equation (3.2) in the setting that M=R, t(s)=t+s, Z is a Banach space, {A(t)} generates a C0 evolution family {T0(t,s)}t≥s in Z, and f∈Ck,1=Ck,1(R×Z,Z) with sufficient smallness of supt∈Rsupx∥Dxf(t,x)∥. In [CL97], the uniform dichotomy on R of {T0(t,s)} is also described simply in the absolute sense, i.e. λs, λu are constant in the assumption (UD) in \autopagerefUD.
f∈Ck,1 here means that (t,x)↦Dxif(t,x), i=0,1,…,k, are continuous and
[TABLE]
It seems that in their definition of Ck,1 (see [CL97, Page 363]), sup(t,x)∣f(t,x)∣<∞ is missing. If this additional assumption removes, Ck,1 is no longer a Banach space. In fact, the authors also technically assumed sup(t,x)∣f(t,x)∣<∞ in their proof (see e.g. [CL97, Theorem 2.7]).
Moreover, the assumption sup(t,x)∣f(t,x)∣<∞ can be replaced by f(t,0)=0 for all t∈R. No matter in what situation, the existence of the center manifold is a consequence of Theorem 4.1 (if sup(t,x)∣f(t,x)∣<∞ using the case ε1(⋅)≡1 and if f(t,0)=0 for t∈R the case ε1(⋅)≡0). The Ck−1,1∩Ck regularity of this center manifold follows from Theorem 4.4.
In the second part of their paper, the authors further studied the existence of center manifolds for cocycles (or skew-product flows) generated by (3.31) (see Section 3.3). The authors reduced this case to the non-autonomous differential equation by a ‘lifting’ method; for details consult their paper. However, no smoothness result about center manifolds was given. This can be done from our general results; see Section 4.1 and [Che18a]. However, unlike case (a), the regularity condition on spectral projections as well as T1,S1 in uniform dichotomy condition (i.e. Section 3.1.2) should be assumed directly. Using Theorem 3.3, our results in Section 4.1 as well as [Che18a, Section 7.2] can be applied to (3.2) for this case.
Let us consider the existence and regularity of the invariant manifolds of (3.2) in more general settings where C, L, f are given by one of (type I) ∼ (type III) listed in Section 1.2; for (type III), in fact we study the integral equation (3.31), and as a matter of convenience, we identify integral equation (3.31) and differential equation (3.2). We focus on two situations below:
(∘1)
f(ω)(0)=0, ω∈M;
2. (∘2)
supt≥0supz∣f(tω)(z)∣<∞, ω∈M.
Theorem 4.8**.**
(Case I). Let (∘1) and the conditions in one of the following cases hold with c>1: (i) Theorem 3.3 (2) with infω{μu(ω)−μs(ω)−(1+c)εm(ω)}>0; (ii) Theorem 3.1 or Theorem 3.2 (1) with infω{μu(ω)−μs(ω)−(1+c)ε′(ω)}>0; (iii) Theorem 3.2 (2) with infω{μu(ω)−μs(ω)−(1+c)η(ω)}>0. Then there is a unique set M=⋃ω∈M(ω,Mω)⊂M×Z such that the following (1) ∼ (3) hold.
(1)
0∈Mω;
2. (2)
Mω=GraphΨω, a Lipschitz graph of Ψω:Xω→Yω with LipΨω≤β(ω);
3. (3)
M* is positively invariant under (3.2), meaning for each (ω,z)∈M, there is a (mild) solution u(t) (t≥0) of (3.2) with u(0)=z such that u(t)∈Mtω for all t≥0.*
4. (4)
If z↦f(ω)z is C1 for each ω∈M, so is x↦Ψω(x).
(Case II). Let (∘2) hold. Assume one of the above cases (i) ∼ (iii) holds with an additional spectral condition in each corresponding case: (i) infω{μu(ω)−εm(ω)}>0; (ii) infω{μu(ω)−ε′(ω)}>0; (iii) infω{μu(ω)−η(ω)}>0.
Then there is a unique set M=⋃ω∈M(ω,Mω)⊂M×Z such that (2) (3) hold with supt≥0∣Ψtω(0)∣<∞ for each ω∈M; moreover this set also satisfies (4). In addition, if all the functions μs,μu and εm(⋅) (or ε′(⋅), η(⋅)) are bounded and supωsupz∣f(ω)(z)∣<∞, then supω∣Ψω(0)∣<∞.
Note that for the case of Theorem 3.2, Mω⊂D(A). If t is a flow and (3.1) satisfies uniform trichotomy condition (see e.g. \autopagerefdef:ut below) and similar spectral gap condition as Theorem 4.8, then from Theorem 4.8, we see there are three sets which are invariant, positively invariant and negatively invariant about (3.2) under case (∘1), and there is an invariant set of (3.2) if supt∈Rsupz∣f(tω)(z)∣<∞, ω∈M; the precise statement is left to the reader (see also Theorem 4.12).
Proof.
(Case I). The unique existence of M such that (1) ∼ (3) hold directly follows from Theorem 4.1 with the section i=0 and the function η(⋅,⋅) thereof satisfying η(⋅,⋅)≡0 (i.e. ε1(⋅)≡0) as (∘1) holds. The C1 smoothness of Ψω(⋅) is a consequence of Theorem 4.4.
(Case II). Note that under (∘2), the cocycle correspondence induced by (3.2) fulfills Theorem 4.1 with the function η(⋅,⋅) thereof satisfying sups≥0η(t,sω)<∞ for each (t,ω)∈R+×M and the section i=0. Indeed, for any 0≤t1<t2, let z(t)=(x(t),y(t))∈Xtω⊕Ytω (t1≤t≤t2) satisfy (3.29) or (3.10) with x(t1)=0, y(t2)=0, and then ∣x(t2)∣≤Cr(ω) and ∣y(t1)∣≤Cr(ω), where t2−t1=r; so we can take sups≥0η(r,sω)≤Cr(ω). This can be seen as follows. If z(⋅) satisfies (3.10), then obviously there are λ(ω)>0 and K(ω)>0 such that ∣x(t2)∣≤K(ω)eλ(ω)(t2−t1) and ∣y(t1)∣≤K(ω)eλ(ω)(t2−t1). If z(⋅) satisfies (3.29), then from Section 3.2, we also have λ(ω)>0 and K(ω)>0 such that ∣x(t2)∣≤K(ω)eλ(ω)(t2−t1) and ∣y(t1)∣≤K(ω)eλ(ω)(t2−t1). Moreover, if all the functions μs,μu and εm(⋅) (or ε′(⋅), η(⋅)) are bounded and supωsupz∣f(ω)(z)∣<∞, then we can choose Cr(ω) independent of ω∈M. The proof is complete.
∎
Recall Section 3.1.2, where we have assumed (3.1) satisfies uniform dichotomy on R+. So we have Z0=Xω⊕Yω associated with projections Pω,Pωc=id−Pω, and functions μs,μu:M→R. Here Z0=D(A) if Theorem 3.2 holds and Z0=Z otherwise. Let ε^(⋅) be equal to εm(⋅), ε′(⋅), or η(⋅) according to case (i) ∼ (iii) in Theorem 4.8.
Theorem 4.9**.**
Assume μs,μu,ε^ are bounded and ξ-almost continuous; the latter means that
[TABLE]
where κ=s,u.
Then for small ξ>0, the set M obtained in Theorem 4.8 further satisfies the following:
(1) (ω,x)↦Ψω(Pωx) is C0;
(2) if, in addition, (ω,z)↦Dzf(ω)z is C0, so is (ω,x)↦DxΨω(Pωx).
Proof.
We mention that, the C0 continuity of Ψ(⋅)(⋅) and DxΨ(⋅)(⋅), which is not the case considered in Theorem 4.5 or even [Che18a] as maybe the spectral subbundles ⨆ωXω,⨆ωYω (in Section 3.1.2) don’t have C0 topology compatible with the bundle structure, should prove directly, but the strategy is almost the same as [Che18a]. Let H∼(F,G) be the cocycle correspondence induced by (3.2). Note that under the spectral condition given in Theorem 4.8, the functions α,β in (A1′)(α,λu;k) (B1)(β;β′,λs;c) condition can be chosen as constants; also, the functions λs,λu can be chosen as Cξ-almost continuous for certain constant C>0.
Take
c^=supωk(ω) if case (iii) holds and c^=1 otherwise, and λκ′′(ω)=λκ′′(ω)+Cξ where κ=s,u, β′′(ω)=β, α′′(ω)=α. Then we can let t0>0 be large and ξ small such that
[TABLE]
The map Ψω is constructed through the following equation
[TABLE]
Consider for fixed x∈Z0,
[TABLE]
where x^=xt0,ω(Pωx), and similarly,
[TABLE]
which yields
[TABLE]
Therefore,
[TABLE]
and so,
[TABLE]
Note that
[TABLE]
and this shows that limsupω′→ω∣Ψω′(Pω′x)−Ψω(Pωx)∣=0. And because of supωLipΨω(⋅)<∞, we see (ω,x)↦Ψω(Pωx) is C0.
For the proof of C0 continuity of DxΨ(⋅)(⋅), first observe that Kω1(x)=DxΨω(x) satisfies the following ‘variant’ equations:
[TABLE]
Now the same argument in the proof of C0 continuity of Ψ(⋅)(⋅) can be applied, which is omitted here.
∎
Here, we do not give more results about the regularity of Ψω with respect to ω∈M; this can be done, for example, if the regularity condition respecting base points on spectral projections and T1,S1 in the uniform dichotomy condition (i.e. Section 3.1.2) satisfied by (3.2) is assumed directly, which could be induced from the regularity of ω↦L(ω) if {C(ω)} has the special form C(ω)=A+L(ω), ω∈M.
Finally, let’s introduce the following class of non-autonomous differential equations which can be reformulated as (3.2) and so our results in Section 4.1 can be applied; see also [CL99].
Example \theexample.
Consider the following non-autonomous linear differential equation:
[TABLE]
where A is a generator of a C0 semigroup T and a∈L∞(R,R+\{0}) (the all measurable bounded functions such that infa(⋅)≥r>0). Let M be the closure of {at=a(t+⋅):t∈R+} in L∞(R,R).
Set
[TABLE]
Then (4.1) generates the cocycle {T0(t,ω)} on Z over t:M→M, where (tω)(s)≜ω(t+s). Let A(ω)=ω(0)A and f:Z→Z. One can study the invariant manifolds of (3.2) for this type of differential equations.
If A is a generator of C0 bi-semigroup, then similarly (4.1) generates cocycle correspondence; see also Section 3.3. Here, note that since we do not assume a∈C(R,R+), in general, dtd∣t=0T0(t,ω)x may not exist except for x=0.
Example \theexample.
Consider the following non-autonomous linear differential equation:
[TABLE]
where (i) A:D(A)⊂Z→Z is one class of (type ∙a) ∼ (type ∙c) listed in Section 1.2, and Z0,Z−1 as well, (ii) Li∈L(Z0,Z−1), and (iii) ai∈L∞(R,R), i=1,2,…,n. Let M be the closure of
[TABLE]
in L∞(R,Rn). Define
[TABLE]
The semiflow t on M is defined by (tω)(s)=ω(t+s). Let C(ω)=A+L(ω) and f:M×Z0→Z−1. Then one can study the invariant manifolds of (3.2) for this type of differential equations. Some concrete examples are the following.
(i)
∂tz=∂ssz−a(t)z+f(z), s∈(0,1). Take X=L2(0,1), Ax=x¨, x∈D(A)=H2(0,1)∩H01(0,1).
2. (ii)
∂tz=∂sz+a(t)z+f(z), s∈(0,1). Take X=C[0,1], Ax=x˙, x∈D(A)=C01[0,1]. (Note that D(A)=X.)
3. (iii)
Let fi∈Lip(Z,Z), i=1,2.
[TABLE]
In this case f(ω,z)=ω1(0)f1(z)+ω2(0)f2(z), A(ω)=0, where ω=(ω1,ω2)=(ω1,1−ω1)∈M. n=2. a1(t)=1 if 2k−1≤t<2k, a1(t)=0 otherwise. a2=1−a1.
4.4. application II: autonomous different equations around some invariant sets
In applications, equation (3.2) will arise naturally when we study the following autonomous differential equation around some invariant set. (∙I) Consider
[TABLE]
where g∈C1(Z0,Z−1), and A:D(A)⊂Z→Z, Z0,Z−1 are one of (type ∙a) ∼ (type ∙c) listed in Section 1.2. Note that Z0↪D(A−α). For some concrete examples of (4.3), see Appendix C.
We say a set M is positively invariant under (4.3) (resp. for time t>t0), if for every z0∈M, there is a mild solution u(t) (t≥0) of (4.3) with u(0)=z0 satisfying u(t)∈M for all t≥0 (resp. t>t0). Similar notion of negatively invariant (or invariant) set can be defined as well.
(∙II) Assume there is a set M positively invariant under (4.3) such that it induces a natural semiflow t in M by tω=u(t) where u(t) (t≥0) is the unique mild solution of (4.3) in M with u(0)=ω.
The invariant M usually can be taken as equilibriums, (a-)periodic orbit, several orbits or with their closure (including e.g. homoclinic orbits, heteroclinic orbits), or the global compact attractor, etc.
(∙III) The linearized equation (4.3) along M is given by
[TABLE]
where L(ω)=Dg(ω):Z0→Z−1, ω∈M; in addition, assume that for every ω∈M, supt≥0∣L(tω)∣=τ(ω)<∞, and ω↦τ(ω) is locally bounded (i.e. (D1) in \autopagerefd1L holds) if Z0=Z, and supω∈M∣L(ω)∣<∞ otherwise.
Now by studying equation (3.2) with
[TABLE]
i.e.
[TABLE]
one can give some dynamical results about (4.3) around M, e.g. stability, persistence or bifurcation; see [Hen81, DPL88, Wig94, Tem97, BLZ98, BLZ99, BLZ08, MR09a, ElB12, Zel14].
The results about abstract dynamical systems in Section 4.1 (or see [Che18a] in detail) with Theorem 3.2 and Theorem 3.3 can be applied to (4.5) directly to obtain different types of invariant manifolds and foliations such as the (un)stable, center-(un)stable and pseudo-(un)unstable manifolds for an equilibrium and strong (un)stable foliations; see Section 4.3. The reader can find more results about invariant foliations in [Che18a] for the discrete case. In the following, let us apply the results in Section 4.2 to (4.3) under (∙I) ∼ (∙III) and the normal hyperbolicity of M.
Lemma \thelemma.
u(t)* is a mild solution of (4.3) if and only if z(t)=u(t)−tω is a mild solution of (4.5).*
Set
[TABLE]
For a map h:Br(M)→M, where M is a metric space with metric d, the amplitude of h in Br(M), as usual, is defined by
[TABLE]
For example, if h∣Br(M) is uniformly continuous if and only if Ah∣Br(M)=0; if M is precompact in Z0, then Ah∣Br(M) can be sufficiently small when r is small. For a C0 (resp. C1) map h:Br(M)→B where B is a Banach space, we use the notation ∣h∣C0(Br(M))=supz∈Br(M)∣h(z)∣ (resp. ∣h∣C1(Br(M))=max{∣h∣C0(Br(M)),∣Dh(⋅)∣C0(Br(M))}).
Settings A.
(AI) (submanifold). Let Σ=M⊂Z0 with K⊂Σ satisfy assumption (A1) in Section 4.2 with χ(ϵ) sufficiently small as ϵ→0; so we have projections Πωκ, ω∈M, κ=s,c,u.
(AII) (semiflow). Assume the semiflow t is C0 in the immersed topology and satisfies the following. (i)∃t0>0 such that t0(M)⊂K;
(ii)t:M→M, 0≤t≤t0, considered as maps of M→Z0, are ξ-almost equicontinuous around K (in the immersed topology); see \autopagerefalmost.
Condition (i), roughly, means the semiflow t (uniformly) crosses the ‘boundary’ of M transversally;
condition (ii) is redundant if K is precompact in Z0; if t0 is small and supt∈[0,t0]supm∈Σ∣t(m)−m∣≤ξ, then condition (ii) is also satisfied (see [BLZ99, BLZ08] in this case as well).
(AIII)
Suppose the linear equation (4.4) satisfies uniform dichotomy on R+ (see Section 3.1.2 or \autopagerefUD+); so we have Z0=Xω⊕Yω associated with projections Pω,Pωc=id−Pω, and functions μu,μs:M→R. Take C1>1 such that ∣Pω∣,∣Pωc∣≤C1. We assume μu,μs are bounded, ξ-almost continuous and ξ-almost uniformly continuous around K (in the immersed topology).
(AIV) (a) Suppose ADg∣Br(M)≤χ when r is small. (b) Let Πωs=0, Πωc=Pω, Πωu=Pωc, ω∈M. Assume there is a small ξ2>0 such that supω∈K∣Πωκ−Πωκ∣≤ξ2, κ=s,c,u.
By Theorem 4.6, we can give a persistence result about M.
Theorem 4.10**.**
Under above Settings A, let g∈C1(Br(M),Z0) such that supz∈Br(M){∣g(z)−g(z)∣}≤η.
(1)
If A is a generator of a C0 semigroup or a C0 bi-semigroup, or a Hille-Yosida operator, assume ADg∣Br(M)≤χ,
[TABLE]
and ω↦ε(ω) is bounded, ξ-almost continuous and ξ-almost uniformly continuous around K (in the immersed topology).
If ξ,ξ2,χ,η,r>0 are small, and there is a constant c>2 such that
[TABLE]
then for the following perturbed equation about (4.3),
[TABLE]
there is a C1 immersed submanifold M in Br(M) such that it is homeomorphic to M and positively invariant under above equation for time t>t0. Also, M is a C1 immersed submanifold. For more properties of M, see Theorem 4.6.
2. (2)
If A is an MR operator (see the assumption (MR) in \autopagerefMR), assume supz∈Br(M){∣Dg(z)−Dg(z)∣}≤ε1. If ξ,ξ2,χ,η,r,ε1>0 are small and
[TABLE]
then (⋇) also has a C1 immersed submanifold M in Br(M) such that it is homeomorphic to M and positively invariant under above equation for time t>t0; furthermore M is a C1 immersed submanifold, and M→M, TM→TM as χ,η,ε1→0.
Proof.
We will apply Theorem 4.6.
First consider (2). Let ∣g−g∣C1(Br(M))≤η+ε1≜ε0. Since ADg∣Br(M)≤χ, we have ADg∣Br(M)≤χ+2ε0. In particular, there is a small ϵ>0 (ϵ<r) such that for f(ω)(z)=g(z+ω)−L(ω)z−g(ω), it holds Lipf(ω)∣Bϵ<2(χ+2ε0)≜δϵ, where Bϵ={x∈Z0:∣x∣<ϵ}. So by using the radial retraction, i.e.
[TABLE]
we assume there is a map f such that Lipf(ω)<2δϵ and f(ω)∣Bϵ=f(ω). Applying Theorem 3.2 (2) to the following equation if δϵ is small:
[TABLE]
we see that the cocycle correspondence H∼(F,G) induced by this equation satisfies (A0)(α;α1,λcs;k) (B0)(α;α1,λu;k) condition (see \autopagerefdefi:ABk), where α,α1,k are constant functions such that 0<α1<α<1/2, k>1, and λcs(⋅),λu(⋅) are bounded and Cξ-almost continuous and Cξ-almost uniformly continuous around K (in the immersed topology) for some constant C>0 such that supωλcs(ω)λu(ω)<1, supωλu(ω)<1; also note that we can take α→0 as δϵ→0. Note that when η is sufficiently smaller than ϵ, it holds
[TABLE]
where C2>0 only depends on small t0>0, as ∣g−g∣C0(Br(M))≤η.
Thus, for the semiflow H generated by equation (⋇), we have
[TABLE]
where rt,i,rt,i′, i=1,2, are taken such that they satisfy
[TABLE]
and λ^cs=max{supωλcs(ω),1}; for instance, if t∈[0,b], then rt,1≤(cλ^csb)−1ϵ/8, rt,2′≤ϵ/8, and η is assumed to be small such that C2η≤ϵ/8. As g∈C1(Br(M),Z0) and f(ω)∣Bϵ=f(ω), we know Ft,ω(⋅,⋅),Gt,ω(⋅,⋅) are C1 in Xω(rt,1)×Yt(ω)(rt,2′). Therefore, all the assumptions in Theorem 4.6 are fulfilled if ξ,ξ2,χ,η,r,ε1 are small, and then the conclusion (2) follows. (Here note that M is constructed by the graph of h0, where h0(m)∈Xu(ϱ), m∈M; in addition, TmM=GraphDfm0(0,0), where h0(m′)+m′=m+fm0(xc)+xc, xc∈Xmc(σ), fm0(xc)∈Xmu and m′ belongs to a component of M∩Bϵm(m) for small ϵm>0; ∣Dfm0(xc)∣<α; ϱ→0 as η→0. This induces M→M, TM→TM as η,ε1→0.)
Proof of (1). This is essentially the same as (2), where the difference is g might be a ‘large’ perturbation. Define f as in (1). Since ADg∣Br(M)≤χ (for this case, in fact ADg∣Br(M)≤χ being useless), there is a small ϵ>0 (ϵ<r) such that Lipf(ω)∣Bϵ≤2χ+ε(ω) and Lipf(ω)∣Bϵ≤χ. In the proof of (2), the radial retraction is used to truncate f, but this is unnecessary, for we can consider the following equation directly:
[TABLE]
or (3.29) (if A is a Hille-Yosida operator), or (3.10) (if A is a generator of a C0 semigroup or a C0 bi-semigroup), where f(ω)(⋅) thereof is replaced by f(ω)(⋅). Note that f(ω)(⋅)=f(ω)(⋅)+g(⋅+ω)−g(⋅+ω) and f(ω)(0)=0. Let z(t)=(x(t),y(t))∈Xtω(ϵ/2)⊕Ytω(ϵ/2) satisfy (3.29) or (3.10) with x(t1)=0, y(t2)=0. Then ∣x(t)∣≤C2η and ∣y(t)∣≤C2η for t∈[t1,t2] where t2−t1=t0 is small and C2 depends on t0 but not η. Indeed, from (3.29) or (3.10), we see
[TABLE]
where ∣x∣t1,t2=supt∈[t1,t2]∣x(t)∣ (similar for ∣y∣[t1,t2],∣z∣[t1,t2]) and δ1(t0)→0 as t0→0; here if A is a generator of a C0 semigroup or a C0 bi-semigroup, then δ1(t0)=t0; for the case Z0=Z, we need supω∣L(ω)∣<∞ (in (∙III)) to give a uniform estimate on δ1(t0) (see Section 3.2.2 (2)). In the proof of Theorem 3.1 or Theorem 3.2, we certainly prove the fact that for any given t1<t2 and ω∈M, if (x(t),y(t)),(x′(t),y′(t))∈Xtω(ϵ/2)⊕Ytω(ϵ/2), t1≤t≤t2, satisfy (3.29) or (3.10), and ∣x^(t1)∣≤α(ω)∣y^(t1)∣, then ∣x^(t2)∣≤α(ω)∣y^(t2)∣ (or ∣x^(t2)∣≤kα(ω,ϵ1)α(ω)∣y^(t2)∣) and ∣y^(t1)∣≤λut2−t1(ω)∣y^(t2)∣, where x^(t)=x(t)−x′(t) and y^(t)=y(t)−y′(t).
Combining with two facts above, we obtain (i) the correspondence H induced by (⋇) satisfies (4.7) with 0<sup{tt,i,tt,i′:i=1,2,t∈[0,b]}<ϵ/2, where {H(t,ω)} is the cocycle correspondence induced by equation (⊚); (ii) (4.6) holds; (iii) moreover, (4.7) satisfies (A)(α1,λcst(ω)) (B)(α1,λut(ω)) condition and if t≥ϵ1>0, (A)(α;α1,λcst(ω)) (B)(α;α1,λut(ω)) condition, where 0<α1<α<1/c, and λcs(ω)=eμs(ω)+2C1ε(ω), λu(ω)=e−μu(ω)+2C1ε(ω), supωλcs(ω)λu(ω)<1, supωλu(ω)<1. So all the assumptions in Theorem 4.6 are fulfilled if ξ,ξ2,χ,η,r are small, then the conclusion (1) follows. The proof is complete.
∎
Instead of assuming Πωs=0, we consider the following.
(⋆)
Let Xω=Xωs⊕Xωc associated with projections Πωs,Πωc such hat R(Πωs)=Xωs, R(Πωc)=Xωc. In addition, suppose for T1(t,ω) in Section 3.1.2 (b) (in \autopagerefdef:ud+), it further has
[TABLE]
with ∣T1(t,rω)∣≤eμss(ω)t for all t,r≥0 and ω∈Σ, where T1,s(t,ω):Xωs→Xtωs and T1,1(t,ω):Xωs⊕Xωc→Xtωc. Also, μss(⋅) is bounded, ξ-almost continuous and ξ-almost uniformly continuous around K (in the immersed topology) and supωμss(ω)<0.
Theorem 4.11**.**
Under above Settings A and (⋆), if ξ,ξ2,χ,r are small and (⊛) holds, then there is a local center-stable invariant manifold Wloccs(M)⊂Br(M) of M. Wloccs(M) is a C1 immersed submanifold of Z0 and is positively invariant under (4.3) for time t>t0. Moreover, if a mild solution u(t) (t≥0) of (4.3) always ‘stays’ in Br(M), then it must belong to Wloccs(M) (i.e. u(t)∈Wloccs(M)). For more properties of Wloccs(M), see Theorem 4.6 and Theorem 4.7. The above results are persistent under small C1 perturbation of (4.3).
A mild solution u(t) (t≥0) of (4.3) always ‘stays’ in Br(M) meaning {u(t)}t≥0 is a (σ,ϱ,ε)-forward orbit of the correspondence H induced by (4.3); see \autopagerefdefi:orbit.
Proof.
Since Πωs=0, we need to verify the assumption (A3) (c) in Theorem 4.6 (s-contraction). This is simple as shown in the following. For any given t1<t2 and ω∈M, let (x(t),y(t)),(x′(t),y′(t))∈Xtω(ϵ/2)⊕Ytω(ϵ/2), t1≤t≤t2, satisfy (3.29) or (3.10) with x(t1)=(xs,0),x′(t1)=(xs′,0), y(t2)=xu,y′(t2)=xu′, and x^(t)=x(t)−x′(t) and y^(t)=y(t)−y′(t). Then
[TABLE]
where t0=t2−t1 and σ^1(t0)→1+ as t0→0; see e.g. the proof of Section 3.2.4 (1). So for x^s(t)=Πtωsx^(t), when ∣xu−xu′∣≤B∣xs−xs′∣, we see
[TABLE]
where C>0 and δ1(t0)→0 as t0→0. Now the conclusion follows from above.
∎
Settings B. (BI) Under (AI), let M be an invariant set of (4.3) and K=M.
(BII) Let t:M→M be a C0 flow in the immersed topology and ∃t0>0 such that t:M→M, −t0≤t≤t0, considered as maps of M→Z0, are ξ-almost equicontinuous (in the immersed topology); see \autopagerefalmost.
(BIII) Suppose the linear equation (4.4) satisfies the following uniform trichotomy condition.
(a)
Assume Z0=Xωs⊕Xωc⊕Xωu, ω∈M associated with projections Pωs, Pωc, Pωu=id−Pωs−Pωc such that R(Pωκ)=Xωκ, κ=s,c,u. (ω,z)↦Pωκz is continuous.
2. (b)
There are three C0 linear cocycles Ts, Tc, Tu such that Tκ(t,ω):Xωκ→Xtωκ for all (t,ω)∈R×M if κ=c, (t,ω)∈R+×M if κ=s, and (t,ω)∈−R+×M if κ=u. Write Tκ1κ2=Tκ1⊕Tκ2, κ1=κ2.
Let z1(t)=(Ts(t−t1,t1ω)xs,Tc(t−t1,t1ω)xc,Tu(t−t2,t2ω)xu)∈Xtωs⊕Xtωc⊕Xtωu (t1≤t≤t2), then it is the unique mild solution of (4.4) with
Pωcsz1(t1)=xs+xc and Pωuz1(t2)=xu. Also let z2(t)=(Ts(t−t1,t1ω)xs,Tc(t−t2,t2ω)xc,Tu(t−t2,t2ω)xu)∈Xtωs⊕Xtωc⊕Xtωu (t1≤t≤t2), then it is the unique mild solution of (4.4) with
Pωsz2(t1)=xs and Pωcuz2(t2)=xc+xu.
3. (c)
There is a constant C1>0 such that supω∣Pωκ∣≤C1, κ=s,c,u.
4. (d)
There are functions μs,μu,μcs,μcu of M→R, such that
[TABLE]
for all t,r≥0 and ω∈M.
Assume μκ, κ=s,cs,cu,u, are bounded and ξ-almost uniformly continuous (in the immersed topology). Moreover,
[TABLE]
(BIV)ADg∣Br(M)≤χ when r is small. Assume there is a small ξ2>0 such that supω∈Σ∣Pωκ−Πωκ∣≤ξ2, κ=s,c,u.
Under above Settings B, if ξ,ξ2,χ,r are small, then there are local center-stable and local center-unstable manifolds Wloccs(M),Wloccu(M)⊂Br(M) of M, which are C1 immersed submanifolds of Z0. There is a positive constant r′<r such that for any z0∈Wloccs(M)∩Br′(M), there is a mild solution {u(t)}t≥0⊂Wloccs(M) (resp. {u(t)}t≤0⊂Wloccu(M)) of (4.3) with u(0)=z0.
Moreover, if a mild solution {u(t)}t≥0 (resp. {u(t)}t≤0) of (4.3) always ‘stays’ in Br(M), then it must belong to Wloccs(M) (resp. Wloccu(M)), and there is certain ω∈M such that ∣u(t)−tω∣→0 (resp. ∣u(−t)−(−t)ω∣→0) exponentially as t→∞. For more properties of Wloccs(M),Wloccu(M), see Section 4.2.
The above results are persistent under small C1 perturbation of (4.3); i.e. if ∣g−g∣C1(Br(M)) is small when r is small, then corresponding results also hold for the equation (⋇). Moreover, there is a local center manifold M which is C1 immersed in Br(M), homeomorphic (in fact C1 diffeomorphic) to M and invariant under equation (⋇); also Wloccs(M)∩Wloccu(M)=M, and M→M, TM→TM as ∣g−g∣C1(Br(M))→0 and χ→0.
Here, a mild solution {u(t)}t≥0 (resp. {u(t)}t≤0) of (4.3) always ‘stays’ in Br(M) meaning {u(t)}t≥0 (resp. {u(t)}t≤0) is a (σ,ϱ,ε)-forward orbit (resp. (σ,ϱ,ε)-backward orbit) of the correspondence H induced by (4.3); see \autopagerefdefi:orbit.
Note that by Section 4.2, if z0∈Wloccs(M), then (4.3) has a (mild) solution u∈C([0,∞),Z0) (in Wloccs(M)) such that u(0)=z0, and this gives a semiflow in Wloccs(M). In other words, equation (4.3) is well-posed in Wloccs(M) which shows that this equation describes well the physical situation in Wloccs(M) although it might be ill-posed when A is a generator of a C0 bi-semigroup. A similar result holds for Wloccu(M).
Remark \theremark(periodic orbit case).
When M consists of an isolated periodic orbit of (4.3) with period L>0, intuitively, this shows if M is a normally hyperbolic (with respect to (4.3)), then this orbit is persistent under small C1 perturbation of (4.3); i.e. if ∣g−g∣C1(Br(M)) is small when r is small, then equation (⋇) also exists a periodic orbit in Br(M). In the well-posed case, M is normally hyperbolic if the time-L solution map P of (4.4) is compact (or quasi-compact meaning σess(P)<1) and σ(P)∩S1 consists of only a simple point spectrum 1. For some characterizations about the hyperbolicity of M in the ill-posed case, see e.g. [LP08, SS99, HVL08].
Remark \theremark(’large’ perturbation).
In some cases, we may not require ∣g−g∣C1(Br(M)) is small as we do in Theorem 4.10. For example, (i) when A is a generator of a C0 semigroup or a C0 bi-semigroup (and so Z0=Z−1), assume supz∈Br(M){∣g(z)−g(z)∣}≤η and ADg∣Br(M)≤χ,
[TABLE]
and ω↦εmν(ω) is bounded and ξ-almost uniformly continuous (in the immersed topology), ν=s,c,u. Set
εm(ω)=max{εms(ω),εmc(ω),εmu(ω)}.
There is a constant c>2 such that
[TABLE]
If ξ,ξ2,χ,η,r>0 are small, then the results in Theorem 4.12 also hold; see also Section 3.1.1. Also, M→M, TM→TM as η,χ,supω{εm(ω)}→0.
(ii) If A is a Hille-Yosida operator, let
[TABLE]
and use C1ε′(ω) instead of εm(ω) and εmν(ω); the same result also holds for this case.
Furthermore, if one only focuses on the existence result, g can be non-smooth but satisfies
[TABLE]
Appendix A Appendix. a little background from operator semigroup theory
For readers’ convenience, in this appendix, we collect some basic definitions and notations taken from operator semigroup theory. For more details, see [EN00, ABHN11, vdMee08].
Let X be a Banach space. A linear operator A:D(A)⊂X→X with domain D(A) is densely-defined if D(A)=X. A is closed if GraphA is closed in X×X. Set R(λ,A)=(λ−A)−1 the resolvent of A at λ∈ρ(A). Let Y↪X, i.e. Y⊂X is a Banach space such that it continuously embeds in X. For example D(A)↪X if A is closed where D(A) is equipped with graph norm ∥⋅∥A, i.e. ∥x∥A=∥x∥+∥Ax∥. The part of A in Y denoted by AY, is defined by
[TABLE]
(a)
A is a generator of a C0 semigroup T if T:R+→L(X,X) is strongly continuous and there is a constant ω∈R such that (ω,∞)⊂ρ(A) and
[TABLE]
Note that is this case T(0)=id, T(t+s)=T(t)T(s), t,s≥0 and D(A)=X. And we also say A generates a C0 semigroup T. For a more classical definition and the basic properties, see [EN00].
2. (b)
A is a generator of a once (exponentially bounded) integrated semigroup S if S:R+→L(X,X) is strongly continuous and exponentially bounded, and there is a constant ω∈R such that (ω,∞)⊂ρ(A) and
[TABLE]
In this case, we also say A generates the (once) integrated semigroup S. See [ABHN11, Chapter 3] for basic properties and some characterizations.
3. (c)
A is a Hille-Yosida (HY) operator if A generates the (once) integrated semigroup S with S being locally Lipschitz. An equivalent definition is the following (see [DPS87]). There are ω>0 and M1≥1 such that (ω,∞)⊂ρ(A) and
[TABLE]
See [ABHN11, Section 3.5] for a proof of this equivalence.
4. (d)
See [ABHN11, Section 3.7] for the different equivalent definitions of sectorial operators, and [ABHN11, Section 3.7] for the definition of fractional powers: A−α.
5. (e)
A is called a generator of a C0 bi-semigroup E if A=A1⊕(−A2) in the decomposition X=X1⊕X2 with Xi closed, where Ai:D(Ai)⊂Xi→Xi is the generator of the C0 semigroup Ti, i=1,2. Let T1(t)=0, T2(t)=0 if t<0. For this case E(t)=T1(t)⊕T2(−t) is called a C0bi-semigroup. Note that for this case D(A)=X. See [vdMee08] and references therein for some characterizations of A such that Ti, i=1,2 are all exponentially stable, i.e. ∥Ti(t)∥≤C0e−μt, ∀t≥0 for some constant μ>0, C0≥1, where the author called A an exponentially dichotomous operator. See [LP08] (or Appendix C) for some concrete examples about A.
6. (f)
See [vdMee08, Section 1.4.1] for a definition of a bi-sectorial (and densely-defined) operator which is also a generator of a C0 bi-semigroup.
Appendix B Appendix. a fixed point equation and a smooth result
Follow the notations in Section 3.2. Particularly, let (MR) (D1) hold.
Let L:[0,a]→L(Z,Z) be strongly continuous. Set ∣L∣=supt∈[0,a]∣L(t)∣(<∞).
Define B as follows,
[TABLE]
Note that (Bu)(t)∈D(A)⊂Z.
If δ(a)∣L∣<1, then B:C([0,a],Z)→C([0,a],Z) is a contraction mapping with LipB≤δ(a)∣L∣.
Consider the following fixed point equation which is frequently used in Section 3.2,
[TABLE]
Lemma \thelemma.
Suppose L(⋅) is strongly C1, i.e. for every x∈Z, t↦L(t)x:[0,a]→Z is C1.
(1)
If v∈C1([0,a],Z) and L(0)v(0)∈D(A), then Bkv∈C1, k=1,2,3,⋯.
2. (2)
Let v satisfy the condition in (1), then the unique point u of (B.1) also belongs to C1([0,a],Z).
Proof.
In the following, we will frequently use the fact that on any bounded subsets of L(Z,Z), the strong operator topology coincides with the topology of uniform convergence on any relatively compact subsets of Z (see e.g. [EN00, Proposition A.3]).
Since v∈C1([0,a],Z) and L(0)v(0)∈D(A), we see that t↦L(t)v(t) is C1,
[TABLE]
is C1, and dtd(Bv)(t)=T(t)L(0)v(0)+(S◊(Lv)′)(t). Since (Bv)(0)=0, we get B(Bv)∈C1. By induction, complete the proof of (1).
We will use the notation L(t)′x≜dtd(L(t)x).
For (2),
note that u=k=0∑∞Bkv; let v^=v′+T(⋅)L(0)v(0)+S◊(L′(⋅)u(⋅)). Then we get
[TABLE]
where we use L′(t)u(t)=∑k=0∞L′(t)(Bkv)(t). Due to all the convergences are uniform we conclude (2).
∎
Lemma \thelemma.
Let Section 3.2.2 hold with additional assumption that for every ω∈M, t↦L(tω) is strongly C1. Then dtd∣t=0T0(t,ω)x exists if and only if x∈D(A0(ω)).
Proof.
The ‘only if’ part is easy. Consider the ‘if’ part.
Let x∈D(A0(ω)), i.e. x∈D(A) and Ax+L(ω)x∈D(A). Set w(t)=T0(t,ω)x−x. Then w(0)=0 and it satisfies
[TABLE]
see (3.24) in the proof of Section 3.2.2. Now by Appendix B we have w(⋅) is C1 in [0,a] for small a>0 (and hence for all a>0).
∎
Appendix C Appendix. some concrete examples
We give some classical concrete examples of equation (4.3). The ill-posed differential equations are Appendix C (a) and (b) (ii), Appendix C (a), Appendix C, and Appendix C (c).
Example \theexample.
Assume f is smooth in all cases. Consider the following nonlinear dissipative parabolic PDEs taken from [Tem97], where the readers can find more details thereof.
(a)
Consider the following reaction-diffusion equation:
[TABLE]
endowed by e.g. the Dirichlet boundary condition, where α>0.
(i) Take X=L2(Ω), D(A)=H2(Ω)∩H01(Ω), Au=Δxu−αu, (g(u))(x)=f(x,u(x)). (ii) Take X=C(Ω), D(A)=C02(Ω), A and g the same as in (i). For the two cases, it is well known that A is a sectorial operator but in (i) D(A)=X and in (ii) D(A)=X. The readers might consider the third case: X=C0,γ(Ω), D(A)=C02,γ(Ω), A and g the same as in (i). For this case A is not a sectorial operator even not a Hille-Yosida operator but is an MR operator (see \autopagerefMR) with AC0γ(Ω) a sectorial operator. (The general Ω can be taken as a bounded open set of Rn with smooth boundary or smooth compact Riemannian manifold without boundary.)
2. (b)
Consider the following Cahn-Hilliard equation endowed by the periodic boundary condition, e.g. Ω=S1:
[TABLE]
f is taken as e.g. f(x,u)=−αu+βu3 with α,β>0. Take X=L2(Ω), D(A)=H4(Ω), A=−Δx2, (then D(A−1/2)=H−2(Ω)), (g(u))(x)=Δxf(x,u(x)):L2(Ω)→H−2(Ω). A is a densely-defined sectorial operator.
3. (c)
Consider the following Kuramoto-Sivashinksy equation in one dimension:
[TABLE]
Take H=L2(Ω), D(A)=H4(Ω), A=−∂x4−2a∂x2, (then D(A−1/4)=H−1(Ω)), (g(u))(x)=∂x(u2)(x):L2(Ω)→H−1(Ω). A is a densely-defined sectorial operator.
Example \theexample.
(a)
Consider the following elliptic problem on the cylinder R×Ω, for brevity assuming Ω=[0,1]:
[TABLE]
endowed by e.g. the Dirichlet boundary condition, where f is smooth. Take A0=−Δx, X=H01(Ω)×L2(Ω), D(A)=(H2(Ω)∩H01(Ω))×H01(Ω),
[TABLE]
A is a bi-sectorial operator (i.e. A generates an analytic bi-semigroup) as A0 is self-adjoint and σ(A0)⊂R+. See also [CMS93, ElB12] for more details, where the dynamical method was applied to study the elliptic problem in the cylindrical domains.
One can consider another case: X=C01(Ω)×C(Ω) and D(A)=C02(Ω)×C01(Ω). For this case, A is also a bi-sectorial operator but D(A)=X, which makes our general results in Section 3 can not apply. One needs to show directly that this equation generates continuous correspondence which satisfies (A) (B) condition. We believe this is true but until now we have no proof.
2. (b)
Consider the following semi-linear wave equation in one dimension:
[TABLE]
endowed by the Dirichlet boundary condition or periodic boundary condition (e.g. Ω=S1), where a=0 or 1, b∈R. Rewrite it as an abstract differential equation. Take A0=∂x2+b∂x, X=H^1×L2(Ω), D(A)=H^2×H^1,
[TABLE]
where for Dirichlet boundary condition, take H^1=H01(Ω), H^2=H2(Ω)∩H01(Ω), and for periodic boundary condition, take H^1=H1(Ω), H^2=H2(Ω). In most cases, g is taken as g(u)=−γu+λ∣u∣γu (Klein-Gordon equation), or g(u)=csinu (sin-Gordon equation), where γ,c>0, λ∈R. See [NS11, Tem97].
(i)
If b=0, then A generates a C0 group as A0 is self-adjoint and σ(A0)⊂R−. Note that the Decoupling Theorem in [Che18a] can be applied to this model nearby the equilibrium.
2. (ii)
If b=0, then A generates a non-analytic bi-semigroup (but not a semigroup); see e.g. [LP08]. So in this case the wave equation is not well-posed in general.
Example \theexample.
(a)
Consider the following (good) Boussinesq equation in one dimension:
[TABLE]
endowed by the periodic boundary condition i.e. Ω=S1, where α>0. Take A0=∂x2+α∂x4, X=H2(Ω)×L2(Ω), D(A)=H4(Ω)×H2(Ω),
[TABLE]
A is a bi-sectorial operator (i.e. A generates an analytic bi-semigroup), and hence (gBou) in general is not well-posed; see e.g. [LP08, dlLla09] and the references therein for more details.
2. (b)
Consider another situation. A periodic traveling wave of (gBou) is of the form u(x,t)=uc,a(x−ct)=0 satisfying
[TABLE]
for some (real) constant a, where c2<1. Consider the Boussinesq equation in the traveling frame (x−ct,t), i.e.
[TABLE]
Linearizing the above equation at the equilibrium uc,a, one gets
[TABLE]
Rewrite it as an abstract equation (let vx=(∂t−c∂x)u). Take X=H1(Ω)×L2(Ω), L0=α∂x2+1−c2−2uc,a,
[TABLE]
D(A)=H3(Ω)×H2(Ω), A=JL. Then the above linear equation is equivalent to ∂tz=Az, where z=(u,v)⊤, which is a Hamiltonian system with J unbounded and dimkerJ=2 (due to the periodic boundary condition). Moreover, JL generates a C0 group in X with finite dimensional stable and unstable subspaces, and infinite dimensional center subspace, and (tBou) is well-posed around uc,a. We refer the readers to see [LZ17] for more details, where the readers can find very unified analysis of the instability, index theorem, and (exponential) trichotomy of A and other classes of more general wave equations admitting Hamiltonian structures with finite Morse index.
Example \theexample.
Consider the following reaction-diffusion equation in one dimension:
[TABLE]
where d>0. q:R×R→R is called a modulated wave if it satisfies above equation and q(x,t)=q(x,t+T) for some T>0 (see [SS01]). Let us consider the dynamic generated by the above equation in the spatial variable x, called the spatial dynamic (which might be first introduced by K. Kirchgässner). Take X=H1/2(Ω)×L2(Ω), D(A)=H1(Ω)×H1/2(Ω),
[TABLE]
A is a bi-sectorial operator; see e.g. [LP08]. So the spatial dynamic is not well-posed. This dynamic is interesting since the study of the stability of the traveling wave uc (or the modulated wave q) relies on the uniform dichotomy on R+ and R− of linearized (4.3) along uc (see e.g. [SS01]), and to find modulated wave q, one can study the Hopf bifurcation of this system when restricting t∈S1 (see e.g. [SS99]). (Note that the spectral theory for this class of the dynamic does not contain in [LZ17].)
For this A, it has infinite dimensional stable and unstable subspaces, and finite dimensional center subspace. By our existence results (or see [dlLla09]), equation (4.3) in this case has a finite-dimensional Ck center manifold in the neighborhood of [math] if f∈Ck. Furthermore, if f depends smoothly on a extra parameter, then our regularity results also say that the center manifold also depends smoothly on the extra parameter. One can apply Hopf bifurcation theorem in the finite-dimensional setting to get the existence of the non-trivial periodic orbits depending on parameter for the restricted dynamic on the center manifold. Now returning to the original system, one also obtains the non-trivial periodic orbits. See [SS99] for more details. This idea was also used in [MR09a] to deduce their Hopf bifurcation theorem in the age structured models in L1. Note that this argument will fail if the center manifold is infinite-dimensional (see e.g. Appendix C (b)).
The reader can consider more spatial dynamics generated by equations in Appendix C and Swift-Hohenberg equation, Korteweg-de Vries equation, etc, which are all ill-posed in general.
Example \theexample.
(a)
Consider the following age structured model:
[TABLE]
where d≥0, M:R+×R+→R+ is smooth, G:Lp(R+)→R+ is smooth and ϕ(⋅)∈Lp(R+). 1≤p<∞. Rewrite it as an abstract equation. Take A0=d∂x2−∂x, X=R×Lp(R+), D(A)={0}×Wp,
[TABLE]
where Wp=W1,p(R+) if d=0, and Wp=W2,p(R+) if d>0. The Dirac measure δ0:Wp→R is defined by v↦v(0). M(⋅,v(⋅))(x)=M(x,v(x)). The property of A is the following: (i) A is a Hille-Yosida operator if and only if p=1; (ii) For p>1, A is an MR operator (see \autopagerefMR); (iii) AD(A) is a sectorial operator if and only if d>0. See e.g. [MR07, MR09a] and the references therein for more details. Note that D(A)=X.
2. (b)
Consider the following (abstract) delay equation:
[TABLE]
The settings are (i) A:D(A)→X is an operator of the class (a) ∼ (c) listed in Section 4.3 (for instance A can be any operator in Appendix C);
(ii) f:CA→X is smooth;
(iii) 0<r<∞,
where X is a Banach space, C=C([−r,0],X), and CA={ϕ∈C:ϕ(0)∈D(A)}. ut(θ)≜u(t+θ), θ∈[−r,0], t≥0. Let us rewrite it as an abstract equation. Take X=X×C,
[TABLE]
[TABLE]
where Aδ0−δ0′:ϕ↦Aϕ(0)−ϕ˙(0), (0,ϕ)∈D(A). Note that D(A)=CA (see e.g. [Che18f, Section 3.4] for details). The property of A is the following: (i) If A is a Hille-Yosida operator, then so is A (even A=0); (ii) If A is an MR operator (see \autopagerefMR), so is A. The case (i) is well known, see e.g. [EA06]. For the case (ii), we can not find the proof in the published papers, however case (ii) can be proved in the same way as case (i). The relation between (4.3) for this case and (ADE) is not so obvious as the previous examples, which we state in the following.
∙
A continuous function u with u0=ϕ∈CA is a mild solution of (ADE) if and only if z(t)=(0,ut)⊤ is a mild solution of (4.3) for this case; all the mild solution z(t)=(0,z1(t))⊤ of (4.3) for this case has the form z1(t)=ut, t∈[0,b], b>0, where u:[−r,b]→D(A) is continuous.
For a proof, see e.g. [EA06]. So (ADE) is well-posed and one only needs to study the dynamic generated by (4.3) which can reflect the property of (ADE).
3. (c)
Consider the following mixed delay equation:
[TABLE]
Take X=C([−1,1],C),
[TABLE]
It is known that (MDE) is not well-posed in general, and A:D(A)⊂X→X generates a C0 bi-semigroup on X which is induced by mild solutions of (MDE) (for f=0). That is, there is a decomposition of X as X=X+⊕X− with projections P± such that R(P±)=X± and P++P−=id, and ±A±≜±AX± generate C0 semigroups T± respectively. For any mild solution u of (MDE) (for f=0) has the form ut=(T+(t−t1)P+ut1,T−(t2−t)P−ut2), for t1≤t≤t2. See [Mal99, vdMee08] for a proof. However, even the nonlinear (MDE) can rewrite as (4.3), it is not the case we study in Section 3.1, so we can not apply Theorem 3.1. The dynamical results obtained in Section 4.1 and Section 4.2 can be applied to this model and a direct proof of the (A) (B) condition satisfied by this model is needed which we will give elsewhere.