Dynamics of nonautonomous tridiagonal. competitive-cooperative systems of differential equations
|
|
- Rafe Lambert
- 5 years ago
- Views:
Transcription
1 Dynamics of nonautonomous tridiagonal competitive-cooperative systems of differential equations Yi Wang 1 Department of Mathematics University of Science and Technology of China Hefei, Anhui, , P. R. China July 13, supported by FANEDD of China and NSF of China.
2 Abstract. Skew-product flow which is generated by a nonautonomous recurrent tridiagonal competitive-cooperative system of differential equations is considered. It is shown that any minimal set is an almost 1-1 extension of the base flow and any ω-limit set contains at most two minimal sets, which generalizes the results of J. Smillie [SIAM J. Math. Anal., 15(1984), pp ] in autonomous cases and H. L. Smith [SIAM J. Math. Anal., 22(1991), pp ] in timeperiodic cases. Further results are also obtained in the case that the base flow is almost automorphic or almost periodic. Key words: Nonautonomous tridiagonal systems, Competitive-cooperative; Skew-product flows Mathematics subject classification: 34C12, 34C27, 37B55, 37N25, 92D25 1 Introduction The current paper is devoted to the study of the nonautonomous tridiagonal system ẋ 1 = f 1 (t, x 1, x 2 ), ẋ i = f i (t, x i 1, x i, x i+1 ), 2 i n 1; (1.1) ẋ n = f n (t, x n 1, x n ), where f = (f 1, f 2,, f n ) is defined on R R n and satisfies the following condition: (F1) f is C 1 -admissible; i.e., f(t, x) = (f 1 (t, x 1, x 2 ),, f i (t, x i 1, x i, x i+1 ),, f n (t, x n 1, x n )), together with its first derivatives with respect to x = (x 1, x 2,, x n ), is bounded and uniformly continuous on R K for any compact set K R n. We also assume that there are ε 0 > 0 and δ i { 1, +1}, such that δ i f i f i+1 (t, x) ε 0, δ i (t, x) ε 0, 1 i n 1, (1.2) x i+1 x i for all (t, x) R R n. This assumption implies that the Jacobian matrix f/ x, corresponding to (1.1), is tridiagonal and sign symmetric in the sense that f i / x i+1 and f i+1 / x i have the same 1
3 sign δ i. If δ i = 1 for all i, then (1.1) is called competitive. If δ i = 1 for all i, then (1.1) is called cooperative. We introduce new variables, following Smith [23]. We let ˆx i = µ i x i, µ i {+1, 1}, 1 i n, with µ 1 = 1, µ i = δ i 1 µ i 1. Then the system (1.1) transforms into a new system of the same type with new ˆδ i = µ i µ i+1 δ i = µ 2 i δi 2 = 1. Therefore we can always assume, without loss of generality, that the competitive-cooperative system (1.1) is in fact cooperative and (F2) f i x i+1 (t, x) ε 0, f i+1 x i (t, x) ε 0, 1 i n 1, (t, x) R R n. The system of equations (1.1) with assumption (F1)-(F2) generates a monotone dynamical system. There is an extensive literature on monotone dynamical systems, starting with the work of Hirsch [8] for monotone semiflows. The results of Hirsch and later improvements by Matano [10], Smith and Thieme [24, 25], and Poláčik [13] established that most orbits of a strongly monotone semiflow converge to equilibria. For strongly monotone smooth mapings, Poláčik and Tereščák [14], and Tereščák [26] proved that the forward orbits are generically convergent to cycles. Shen and Yi [17] further developed the theory to strongly monotone skew-product semiflows and proved the almost automorphy of the linearly stable minimal sets of such skew-product semiflows with an almost periodic minimal base flow. However, the generic convergence property for continuous- and discrete-time in strongly monotone dynamical systems failed in almost periodic systems even within the category of almost automorphy (see [17]). For system (1.1), if f is independent of t, the well-known result by Smillie [22] showed that all bounded trajectories converge to equilibria. Smith [23] studied the time-periodic system (1.1) and proved that every bounded solution is asymptotic to a T -periodic solution if f is time periodic with period T > 0. Zhao [28] has generalized their results to asymptotic periodic differential equations. They both used an integer-valued Lyapunov function to prove their results. Later on, Fiedler and Gedeon [2] introduced another real valued Lyapunov function in autonomous systems and prove the same convergent results and applied them to tridiagonal cooperative-competitive Kolmogorov 2
4 systems. See also Freedman and Smith [4], Gyllenberg and Wang [5] for extensions of this work. In nature, populations evolve influenced by external effects which are roughly, but not exactly periodic, or under environmental forcing which exhibits different, noncommensurate periods. This sort of time dependence can arise from the interplay of short-term weather cycles and seasonal climate variations, or from the superposition of daily and annually periodic phenomena, and so on. Models with such time dependence are characterized more appropriately by quasi-periodic or almost periodic equations or even by certain nonautonomous equations rather than by periodic ones. Time nonperiodic equations are therefore worth studying. The current paper is devoted to study the dynamics of the nonautonomous equations (1.1)- (1.2). We shall employ the notions of skew-product semiflows and the abstract theory of monotone dynamical systems to carry out our study. To be more specific, consider (1.1) and embed it into the skew-product flow Π t : R n H(f) R n H(f), Π t (x, g) (π(t; x, g), g t), (1.3) where π(t; x, g) is the solution of ẋ 1 = g 1 (t, x 1, x 2 ), ẋ i = g i (t, x i 1, x i, x i+1 ), 2 i n 1; (1.4) ẋ n = g n (t, x n 1, x n ), with π(0; x, g) = x, x R n, and g = (g 1,, g n ) H(f), (g t)(, ) = g(t +, ). H(f) := cl{f τ τ R, f τ(t, u) = f(t + τ, u)}, where the closure is taken in the compact open topology (see section 2 for more detail on H(f)). Obviously, π satisfies the cocycle property, i.e, π(t + s; x, g) = π(s; π(t; x, g), g t) for all s, t R and g H(f). Furthermore, it is also easy to check that (F1) and (F2) holds for any g H(f), namely, (G1) g is C 1 -admissible; (G2) g i x i+1 (t, x) ε 0, g i+1 x i (t, x) ε 0, 1 i n 1, (t, x) R R n, 3
5 are satisfied for all g H(f). Throughout this paper we will always assume that H(f) is recurrent or minimal. This is satisfied, for instance, when f is a uniformly almost periodic, or, more generally, a uniformly almost automorphic function; i.e., when it is admissible and almost periodic or almost automorphic (see section 2 for more detail). In the terminology of the skew-product flow (1.3), the study of asymptotic behavior for a bounded solution π(t; x, f) of (1.1) with (F1)-(F2) then gives rise to the problem of understanding the ω-limit set ω(x, f) of the bounded orbit Π t (x, f) in R n H(f). In particular, in the case that f is time periodic with period T > 0, it is well known that each ω-limit set ω(x, g)(g H(f) S 1 ) is a periodic minimal set in R n H(f) with period T (see [23]) (in the autonomous case, each ω-limit set is an euqilibrium, see [22]). Nevertheless, similar results are false in general for time nonperiodic equations (1.1)-(1.2), namely, one can not always expect an ω-limit set ω(x, g) to be a 1-cover (see definition in section 2) of the base flow on H(f). There are examples even in almost periodic scalar ODEs (n = 1 in (1.1)) which suggest that the ω-limit set ω(x, g) may not be minimal (see [15]), the ω-limit sets ω(x, g) may contain two minimal sets (see [9]), and the ω-limit set ω(x, g) may not be 1-cover of the base even if ω(x, g) is minimal (see [3, 9]). Our focus in this paper is on the structure of the ω-limit sets and the minimal sets for the skew-product flow (1.3) generated by (1.1)-(1.2). We shall prove that any minimal invariant set of (1.3) is an almost automorphic extension of H(f) (i.e., an almost 1-cover of H(f), see definition in section 2), and every ω-limit set ω(x, g) of (1.3) contains at most two minimal sets. Therefore, for time almost automorphic (periodic) equations (1.1)-(1.2), the existence of the almost automorphic solutions is obtained and the frequency module of any almost automorphic solution is contained in that of f. We also discuss cases in which (1.3) admits almost periodic minimal ω-limit sets. Our results here are natural generalization of the results of Smillie [22] and Smith [23]. Moreover, in a certain sense, our results also generalize the results in spatially homogeneous cases by Hetzer and Shen [6], who investigated the dynamics of two-dimensional competitive or cooperative almost periodic systems. See also [7] and [21] for extensions of this work. 4
6 As in [22, 23, 28], the integer-valued Lyapunov function developed in [22] play important roles in our current investigation. The idea of using integer-valued Lyapunov function seems to go back to the work of Nickel [12] and later to that of Matano [11] (called lap-number) and Angenent [1] (called zero number). The zero number has been used by Shen and Yi ([17]-[20]) to establish the dynamics for almost periodic scalar parabolic equations. This paper is organized as follows. In Section 2 we agree on some notations, give relevant definitions and preliminaries which will be important to our proofs. We investigate the lifting properties of the minimal sets of (1.3) in Section 3. Section 4 is devoted to the study of the structure of ω-limit sets. In this section, we also discuss some cases in which (1.3) admits almost periodic minimal ω-limit sets. 2 Notations and preliminary results In this section, we summarize some preliminary materials to be used in later sections. First, we give a brief review about almost periodic and almost automorphic functions. We then summarize some lifting properties of compact dynamical systems. Finally, we give some basic properties of solutions of (1.4) for later use. Definition 2.1. (1) A function f C(R, R n ) is almost periodic if, for any ε > 0, the set T (ε) := {τ : f(t + τ) f(t) < ε, t R} is relatively dense in R. f is almost automorphic if for any {t n} R there is a subsequence {t n } and a function g : R R n such that f(t + t n ) g(t) and g(t t n ) f(t) hold pointwise. (2) A function f C(R D, R n )(D R m ) is uniformly almost periodic or uniformly almost automorphic in t if f(t, u) is bounded and uniformly continuous on R K for any compact subset K D, (i.e., f is admissible), and is almost periodic or almost automorphic in t R. (3) Let f C(R R n, R n ) be uniformly almost periodic (almost automorphic). Then H(f) = cl{f τ : τ R} is called the hull of f, where f τ(t, x) = f(t + τ, x) and the closure is 5
7 taken under the compact open topology. Moreover, H(f) is compact and metrizable under the compact open topology (see [16, 17]). (4) Let f C(R R n, R n ) be uniformly almost periodic (almost automorphic), and f(t, x) λ R a λ (x)e iλt (2.1) be a Fourier series of F (see [27, 17] for the definition and the existence of Fourier series). Then S = {λ : a λ (x) 0} is called the Fourier specturm of f associated to the Fourier series (2.1), and M(f) = the smallest additive subgroup of R containing S(f) is called the frequency module of f. Moreover, M(f) is a countable subset of R (see [17]). Lemma 2.1. Let f(t, x) C(R R m, R n ), g(t, x) C(R R l, R k ) be two uniformly almost automorphic functions. Then M(g) M(f) if and only if for any sequence {α n } R, if lim n f(t + α n, x) = f(t, x) uniformly for t and x in bounded sets, then lim n g(t + α n, x) = g(t, x) uniformly for t and x in bounded sets. Proof. See [17]. Let Y be a compact metric space with metric d Y, and σ : Y R Y, (y, t) y t be a continuous flow on Y, denoted by (Y, σ) or (Y, R). If (Z, R) is another continuous flow, a flow isomorphism from (Y, σ) to (Z, R) is a continuous bijective mapping π from Y to Z such that π(y t) = π(y) t for all y Y and t R. A subset S Y is invariant if σ t (S) = S for every t R. A subset S Y is called minimal if it is compact, invariant and the only non-empty compact invariant subset of it is itself. We say that the continuous flow (Y, σ) is recurrent or minimal if Y is minimal. For a given net α = {t n } R and y Y, define T α y = lim n y t n provided that the limit exists. Definition 2.2. (1) A point y 0 Y is called an almost periodic point if for any nets α, β in R, there are subnets α, β such that T α T β y 0 t = T α+β y 0 t uniformly in t R. 6
8 (2) A point y 0 Y is called an almost automorphic point if for any nets α in R, there is a subnet α such that T α T α y 0 t = y 0 t pointwise in t R. (3) (Y, σ) is almost periodic (almost automorphic) minimal if it is minimal and contains an almost periodic (almost automorphic) point. Remark 2.1. An almost periodic minimal flow is clearly almost automorphic minimal. If (Y, σ) is almost periodic minimal, then any y Y is an almost periodic point. If (Y, σ) is almost automorphic minimal, then the set of almost automorphic points of Y is residual. Lemma 2.2. (1) If f C(R R n, R n ) is uniformly almost periodic (almost automorphic), then the time translation flow (H(f), R), (g, t) g t for g H(f) and t R, is almost periodic (almost automorphic) minimal. (2) If f C(R R n, R n ) is uniformly almost automorphic, then for any uniformly almost automorphic function g H(f) (there are residually many by Remark 2.1), M(g) = M(f). Proof. See [16, 17]. Definition 2.3. Let (Y, R), (Z, R) be two continuous compact flow. Z is called a 1-cover (almost 1-cover, or almost automorphic extension) of Y if there is a flow homomorphism P : X Y such that P 1 (y) is a singleton for any y Y (for at least one y Y ). Definition 2.4. Let E be an invariant set of (1.3). For any g H(f), a pair (x, g), (y, g) E P 1 (g) is said to be (positive, negatively) distal if inf (t R +,t R )t R 1 π(t; x, g) π(t; y, g) > 0. The pair (x, g), (y, g) is called (positive, negatively) proximal if it is not (positive, negatively) distal. E is said to be distal if any (x, g), (y, g) E(x y) forms a distal pair. 7
9 Now we focus on the competitive-cooperative system (1.4) (g H(f)) with (G1) and (G2). Following [23], we define a unique continuous function σ : Λ {0, 1, 2,, n 1} on Λ = {v R n : v 1 0, v n 0 and if v i = 0 for some i, 2 i n 1, then v i 1 v i+1 < 0} by σ(v) = #{i : v i v i+1 < 0}. Here # denotes the cardinality of the set. Note that Λ is open and dense in R n and Λ is the maximal domain on which σ is continuous. Consider the linear system dx 1 = a 11 (t)x 1 + a 12 (t)x 2 dt dx j dt = a jj 1(t)x j 1 + a jj (t)x j + a jj+1 (t)x j+1, 2 j n 1, dx n dt = a nn 1 (t)x n 1 + a nn (t)x n, where the functions a ij ( ) are continuous and defined on a nontrivial interval J and (2.2) a jj+1 (t) > 0 on J, 1 j n 1, a jj 1 (t) > 0 on J, 2 j n. (2.3) Lemma 2.3. If x(t) is a nontrivial solution of (2.2)-(2.3) on J then (i) x(t) Λ except for isolated values of t. (ii) If x(s) / Λ for some s IntJ then σ(x(s+)) < σ(x(s )). Proof. See [23]. Lemma 2.4. For any g H(f), Let π(t; x, g) and π(t; ˆx, g) be distinct solutions of (1.4) on an interval I. Then (1) π(t; x, g) π(t; ˆx, g) Λ except for finitely many values of t I. 8
10 (2) σ(π(t; x, g) π(t; ˆx, g)) is locally constant and strictly decreases as t increases through a value s at which it is not defined. (3) If I (0, + ), then there exists some T > 0 such that σ(π(t; x, g) π(t; ˆx, g)) constant for all t T. (4) If I (, 0), then there exists some T 1 > 0 such that σ(π(t; x, g) π(t; ˆx, g)) constant for all t T 1. Proof. x(t) = π(t; x, g) π(t; ˆx, g) satisfies the linear system (2.2)-(2.3), where a ij (t) = 1 0 g i x j (t, u i 1 (s, t), u i (s, t), u i+1 (s, t))ds with u j (s, t) = s(π(t; x, g)) j + (1 s)(π(t; ˆx, g)) j, j = i 1, i, i + 1. Then the results follows from (G2), Lemma 2.3 and the definition of the function σ. 3 Lifting properties of minimal sets Recall that we always assume that H(f) is minimal (or recurrent). By Lemma 2.1, this is satisfied when f is a uniformly almost periodic or a uniformly almost automorphic function. In this section, we shall prove that any minimal invariant set of the skew-product flow (1.3) is an almost automorphic extension of H(f). Motivated by [17, 18, 19], in order to do this, we first introduce a new ordering on fibres of the minimal sets. Definition 3.1. Let K R n H(f) be an invariant compact set. Then, for each g H(f), we define a partial ordering on P 1 (g) K as follows: (x, g), (y, g) P 1 (g) K and (x, g) g (y, g) if and only if there is a T > 0 such that (π(t; x, g) π(t; y, g)) 1 0 for all t T. Here ( ) 1 means the first coordinate in R n. 9
11 As usual, we say Then we have the following (x, g) > g (y, g) (x, g) g (y, g) and x y. Lemma 3.1. Let K R n H(f) be an invariant compact set. Then, for each g H(f) and (x, g), (y, g) P 1 (g) K, (1) (x, g) > g (y, g) if and only if there exists a T > 0 such that (π(t; x, g) π(t; y, g)) 1 > 0 for all t T. (2) g is a total ordering on P 1 (g) K. Proof. First observe that t π(t; x, g) can be defined on R for any (x, g) K, since K is compact and invariant. If (x, g) > g (y, g) then, by definition 3.1, (π(t; x, g) π(t; y, g)) 1 0 for all t sufficiently large. Suppose that there exists a sequence {t n }, t n, such that (π(t n ; x, g) π(t n ; y, g)) 1 = 0 for all n. Then π(t n ; x, g) π(t n ; y, g) / Λ for all n N, which contracts Lemma 2.4. The sufficiency of (1) is obvious from the uniqueness of the solutions. For any (x, g), (y, g) P 1 (g) K, Lemma 2.4(3) implies that (π(t; x, g) π(t; y, g)) 1 0 for all t T. Then (π(t; x, g) π(t; y, g)) 1 > 0 for all t T, or (π(t; y, g) π(t; x, g)) 1 > 0 for all t T. Hence, by Lemma 3.1(1), one has (x, g) > g (y, g) or (y, g) > g (x, g). Definition 3.2. Let K R n H(f) be an invariant compact set. Then, for each g H(f), a fiberwise strong ordering g on P 1 (g) K is defined as follows: (x 1, g) g (x 2, g) if and only if there are neighborhoods N 1, N 2 P 1 (g) K of (x 1, g), (x 2, g) respectively such that (x 1, g) > g (x 2, g) for all (x i, g) N i (i = 1, 2). Definition 3.3. (x 1, g), (x 2, g) K form a strongly order preserving pair if (x 1, g), (x 2, g) are fiberwise strongly ordered, say (x 1, g) g (x 2, g), and there are neighborhoods U 1, U 2 of (x 1, g), (x 2, g) in K respectively such that whenever (y 1, g), (y 2, g) K P 1 (g), (y 1, g) (y 2, g), and Π T (y i, g) U i (i = 1, 2) for some T > 0, then (y 1, g) > g (y 2, g). 10
12 The following Porposition is due to Shen and Yi [17, Theorem 2.3.1]. Proposition 3.1 (Shen and Yi). Let E R n H(f) be a minimal set of Π. Then there exists a residual and invariant set H (f) H(f) such that, for any g H (f), E P 1 (g) admits no strongly order preserving pair. Theorem 3.1. Let E R n H(f) be a minimal set of Π. Then the following holds: (a) E is an almost automorphic extension (or almost 1-cover) of H(f); (b) E is almost automorphic if and only if H(f) is almost automorphic. (c) Let f in (1.1) with (F2) be uniformly almost automorphic and let (x, g) E be an automorphic point (there are residually many), then π(t; x, g) is a (uniform) almost automorphic solution of (1.4), and moreover M(π( ; x, g)) M(f). Proof. For (a), let H (f) be the residual set in Proposition 3.1. Suppose there exists some g 0 H (f) such that card(e P 1 (g 0 )) > 1. Then we define σ(g 0 ) := min (x 1, g 0), (x 2, g 0) E P 1 (g 0) { } inf σ(π(t; t>0 x1, g 0 ) π(t; x 2, g 0 )). (3.1) (x 1, g 0) (x 2, g 0) By virtue of the definition σ and Lemma 2.4(3), there exist (ˆx 1, g 0 ), (ˆx 2, g 0 ) E P 1 (g 0 ) and some T > 0 such that σ(g 0 ) = σ(π(t; ˆx 1, g 0 ) π(t; ˆx 2, g 0 )) for all t T. (3.2) By Lemma 3.1, we can assume without loss of generality that (ˆx 1, g 0 ) > g0 (ˆx 2, g 0 ) and (π(t; ˆx 1, g 0 ) π(t; ˆx 2, g 0 )) 1 > 0 for all t T. Now we first claim that (ˆx 1, g 0 ) g0 (ˆx 2, g 0 ). Indeed, fix the T > 0 in (3.2), it then follows from the continuity of σ in Λ that there are neighborhoods Ñ1, Ñ2 of (ˆx 1, g 0 ), (ˆx 2, g 0 ) in E respectively such that (i). σ(π(t ; x 1, g) π(t ; x 2, g)) σ(g 0 ); (ii). (π(t ; x 1, g) π(t ; x 2, g)) 1 > 0 (3.3) 11
13 for all (x i, g) Ñi(i = 1, 2). Let N i = Ñi P 1 (g 0 ), (i = 1, 2). Then one has (i). σ(π(t ; x 1, g 0 ) π(t ; x 2, g 0 )) σ(g 0 ); (ii). (π(t ; x 1, g 0 ) π(t ; x 2, g 0 )) 1 > 0 (3.4) for all (x i, g 0 ) N i (i = 1, 2). Suppose that there are some (x i, g 0 ) N i (i = 1, 2) with (π(t 1 ; x 1, g 0 ) π(t 1 ; x 2, g 0 )) 1 0 for some T 1 > T. Then, from (3.4)(ii), one can find some T 2 (T, T 1 ] such that (π(t 2 ; x 1, g 0 ) π(t 2 ; x 2, g 0 )) 1 = 0. Hence, π(t 2 ; x 1, g 0 ) π(t 2 ; x 2, g 0 ) / Λ. By Lemma 2.4(2) and (3.4)(i), σ(g 0 ) = σ(π(t ; x 1, g 0 ) π(t ; x 2, g 0 )) > σ(π(t 1 ; x 1, g 0 ) π(t 1 ; x 2, g 0 )), which contracts the minimum definition of σ(g 0 ) in (3.1). As a consequence, (π(t; x 1, g 0 ) π(t; x 2, g 0 )) 1 > 0 for all t T and (x i, g 0 ) N i (i = 1, 2). This imples, by Lemma 3.1(1), that (x 1, g 0 ) > g (x 2, g 0 ) for all (x i, g 0 ) N i (i = 1, 2). Thus we have proved the claim, i.e., (ˆx 1, g 0 ) g0 (ˆx 2, g 0 ). Moreover, we will prove that (ˆx 1, g 0 ), (ˆx 2, g 0 ) forms a strongly ordered pair. To end this, we recall the neighborhoods Ñ1, Ñ2 obtained above. Let (x i, g 0 ) E P 1 (g 0 ) with Π t0 (x i, g 0 ) Ñi(i = 1, 2) for some T < t 0 < 0. Then it follows from (3.3) and the cocycle property of π that (i). σ(π(t + t 0 ; x 1, g 0 ) π(t + t 0 ; x 2, g 0 )) σ(g 0 ); (ii). (π(t + t 0 ; x 1, g 0 ) π(t + t 0 ; x 2, g 0 )) 1 > 0. (3.5) By the same arguments as above, one can obtain that (π(t; x 1, g 0 ) π(t; x 2, g 0 )) 1 > 0 for all t t 0 + T, which implies that (x 1, g 0 ) > g (x 2, g 0 ). Thus, (ˆx 1, g 0 ), (ˆx 2, g 0 ) forms a strongly ordered pair, contracting Proposition 3.1. We have proved (a). The proofs of (b) and (c) are very similar with those in [17, P.61]. For the reader s convenience we supply the proofs. For (b), the almost automorphy of E of course implies that of H(f). On the other hand, if H(f) is almost automophic, then by remark 2.1, the set Y 0 of almost automorphic points of H(f) is residual. Then Y 0 H (f) is residual and each singleton in P 1 (g) E(g Y 0 H (f) is an almost automorphic point of Π, which completes the proof of (b). For (c), if (x, g) E is an almost automorphic point, then g H(f) is an almost automorphic point in H(f) and hence P 1 (g) E = (x, g). It follows that for any net α R, T α g = g, then T α π( ; x, g) = π( ; x, g). 12
14 By Lemma 2.1 and Lemma 2.2(2), one has M(π( ; x, g)) M(g) = M(f), which completes the proof. 4 Structure of ω-limt sets In this section, we focus on the structure of the limit sets. We will prove that every ω-limit set ω(x, g) of (1.3) contains at most two minimal sets, also we will consider the case in which (1.3) admits almost periodic minimal limit sets. Again motivated by [18, 19], we proceed as the following lemma. Lemma 4.1. Fix g, g H(f). Let (x i, g) P 1 (g), (x i, g ) P 1 (g ) (i = 1, 2, x 1 x 2, x 1 x 2 ) be such that Π t (x i, g) is defined on R + (resp. R ) and Π t (x i, g ) is defined on R. If there exists a sequence {t n }, t n + (resp. t n ) as n, such that Π tn (x i, g) (x i, g ) as n (i = 1, 2), then σ(π(t; x 1, g ) π(t; x 2, g )) constant for all t R. Proof. Case (i): t n. It follows from Lemma 2.4(3) that there exists a T > 0 and an integer N 1 > 0 such that σ(π(t; x 1, g) π(t; x 2, g)) = N 1 (4.1) for all t T. Let t 0 R be such that π(t 0 ; x 1, g ) π(t 0 ; x 2, g ) Λ. Note that Π tn (x i, g) (x i, g )(i = 1, 2) and the continuity of σ, one has σ(π(t n +t 0 ; x 1, g) π(t n +t 0 ; x 2, g)) = σ(π(t 0 ; x 1, g ) π(t 0 ; x 2, g )) for all n sufficiently large. Consequently, σ(π(t 0 ; x 1, g ) π(t 0 ; x 2, g )) = N 1 from (4.1). By Lemma 2.4 (a),(b) and the arbitrariness of t 0, we have σ(π(t; x 1, g ) π(t; x 2, g )) = N 1 for all t R. Case (ii): t n. It follows from Lemma 2.4(4) that there exists a T > 0 and an integer N 2 > 0 such that σ(π(t; x 1, g) π(t; x 2, g)) = N 2 13
15 for all t T. The remainings are the same as above. Lemma 4.2. Let E 1, E 2 R n H(f) be two minimal sets of Π. Then there exists an integer N N such that for any g H(f) and any (x i, g) E i P 1 (g) (i = 1, 2), one has σ(π( ; x 1, g) π( ; x 2, g)) = N. Proof. Fix any g H(f) and any (x i, g) E i P 1 (g) (i = 1, 2), we first claim that there is an integer N > 0 such that σ(π(t; x 1, g) π(t; x 2, g)) = N for all t R. Indeed, it follows from Lemma 2.4 that there is a T > 0 and N 1, N 2 N such that σ(π(t; x 1, g) π(t; x 2, g)) = N 1, for all t T. (4.2) and σ(π(t; x 1, g) π(t; x 2, g)) = N 2, for all t T. (4.3) Now choose (ˆx 2, g) E 2 P 1 (g). By the minimality of E 1, there is a sequence {t n }, t n as n, such that Π tn (x 1, g) (x 1, g) as t n. Without loss of generality, we assume that Π tn (ˆx 2, g) ( x 2, g) as t n. By virtue of Lemma 4.1, there is an integer N > 0 such that σ(π(t; x 1, g) π(t; x 2, g)) = N, for all t R. (4.4) Note that (x 2, g), ( x 2, g) E 2 P 1 (g). then Theorem 3.1(a) implies that (x 2, g), ( x 2, g) forms a two sided proximal pair. Therefore, by (4.2)-(4.4) and the continuity of σ, one has N 1 = N = N 2. That is, σ(π(t; x 1, g) π(t; x 2, g)) = N, for all t T. So it follows from Lemma 2.4(2) that our claim is proved. Next we shall prove that the integer N is actually independent of g H(f) and (x i, g) E i P 1 (g)(i = 1, 2). To end this, for given g H(f), take any (x i, g), (ˆx i, g) E i P 1 (g) (i = 1, 2). By the claim above, there are N 1, N 2 N such that σ(π(t; x 1, g) π(t; x 2, g)) = N 1, for all t R, 14
16 and σ(π(t; ˆx 1, g) π(t; ˆx 2, g)) = N 2, for all t R. By virtue of Theorem 3.1(a), (x i, g), (ˆx i, g) forms a two sided proximal pair (i = 1, 2). It then follows from the continuity of σ that N 1 = σ(π(t; x 1, g) π(t; x 2, g)) = σ(π(t; x 1, g) π(t; ˆx 2, g)) = σ(π(t; ˆx 1, g) π(t; ˆx 2, g)) = N 2. Finally, take any g, ĝ H(f), and (x i, g) E i P 1 (g), (ˆx i, ĝ) E i P 1 (ĝ) (i = 1, 2). By the minimality of E i (i = 1, 2), there exist ( x i, g) E i P 1 (g) and a sequence {t n } with t n such that Π tn ( x i, g) (ˆx i, ĝ), (i = 1, 2) as n. By the arguments in the previous paragraph and in the proof of Lemma 4.1, we have N = σ(π(t; x 1, g) π(t; x 2, g)) = σ(π(t; x 1, g) π(t; x 2, g)) = σ(π(t; ˆx 1, ĝ) π(t; ˆx 2, ĝ)), for all t R. Thus we have proved that N is independent of g H(f) and (x i, g) E i P 1 (g)(i = 1, 2), which completes the proof of the Lemma. Lemma 4.3. Let E 1, E 2 R n H(f) be two minimal sets of Π. For each g H(f), define m i (g) := min { (x) 1 : (x, g) E i P 1 (g) }, M i (g) := max { (x) 1 : (x, g) E i P 1 (g) }. (4.5) Then E 1, E 2 are separated in the following sense: (a) [m 1 (g), M 1 (g)] [m 2 (g), M 2 (g)] = for all g H(f); (b) Without loss of generality, assume that m 1 (g 0 ) > M 2 (g 0 ) for some g 0 H(f), then there exists δ > 0 such that m 1 (g) > M 2 (g) + δ for all g H(f). Proof. We first claim that (a) holds for some g 0 H(f). Otherwise, one has m 2 (g) M 1 (g) and m 1 (g) M 2 (g) for all g H(f). Given g, g H(f), let (x 1, g) E 1 P 1 (g) be such that (x 1 ) 1 = m 1 (g) and (x 2, g) E 2 P 1 (g) be such that (x 2 ) 1 = M 2 (g). It follows from Lemma 15
17 4.2 that σ(π(t; x 1, g) π(t; x 2, g)) = constant, for all t R. By the definition of σ, we have (π(t; x 1, g)) 1 (π(t; x 2, g)) 1 0 for all t R. Note that (x 1 ) 1 = m 1 (g) M 2 (g) = (x 2 ) 1. Then (π(t; x 1, g)) 1 < (π(t; x 2, g)) 1, for all t R. (4.6) By the minimality of E 1, there is a sequence {t n }, t n, such that Π tn (x 1, g) (x 1, g ) as n, where (x 1, g ) E 1 with (x 1 ) 1 = M 1 (g ). Without loss of generality, we can aslo assume that Π tn (x 2, g) (x 2, g ) as n. By (4.6), M 1 (g ) = (x 1 ) 1 (x 2 ) 1 M 2 (g ). Moverover, it again follows from Lemma 4.2 that M 1 (g ) M 2 (g ), which implies that M 1 (g ) < M 2 (g ). However, similarly as above, one can also obtain that M 2 (g ) < M 1 (g ), a contradiction. Thus we have proved the claim. Now we can assume without loss of generality that there is a g 0 H(f) such that [m 1 (g 0 ), M 1 (g 0 )] < [m 2 (g 0 ), M 2 (g 0 )] (4.7) Suppose that there exists some g H(f) such that m 2 (g ) M 1 (g ). Then choose (x, g ) E 2 P 1 (g ) with (x ) 1 = m 2 (g ), and choose (y, g ) E 1 P 1 (g ) with (y ) 1 = M 1 (g ). By the minimality of E 2, we can find a sequence {t n }, t n, such that Π tn (x, g ) (x, g 0 ) as n, and (x ) 1 = m 2 (g 0 ). Without loss of generality, we assume that Π tn (y, g ) (y, g 0 ) as n. By the same arguments in the previous paragraph, one has m 2 (g 0 ) = (x ) 1 (y ) 1 M 1 (g 0 ), which contradicts (4.7). Therefore, m 2 (g) > M 1 (g) for all g H(f). We have proved (a). (b) can be easily obtained by the compactness of E 1, E 2. Theorem 4.1. Let (x 0, g 0 ) R n H(f) be such that its orbit Π t (x 0, g 0 )(t 0) is bounded. Then its ω-limit set ω(x 0, g 0 ) contains at most two minimal sets. Proof. Suppose that ω(x 0, g 0 ) contains three minimal sets E i, i = 1, 2, 3. Define A i (g) = { (x) 1 : (x, g) E i P 1 (g) } 16
18 and m i (g) = min A i (g), M i (g) = max A i (g). for all g H(f) and i = 1, 2, 3. By virtue of Lemma 4.3, we can assume without loss of generality that there is a δ > 0 such that M 1 (g) + δ m 2 (g) M 2 (g) < M 2 (g) + δ m 3 (g), (4.8) for all g H(f). Now choose (x i, g 0 ) E i P 1 (g 0 ), i = 1, 2, 3, and we consider (x 0, g 0 ) and (x 2, g 0 ). It follows from Lemma 2.4(3) that there is a T > 0 such that σ(π(t; x 0, g 0 ) π(t; x 2, g 0 )) = constant, for all t T. Then, by the continuity of σ, we can assume without loss of generality that (π(t; x 0, g 0 )) 1 < (π(t; x 2, g 0 )) 1 for all t T. Note that E 3 ω(x 0, g 0 ), so there is a sequence {t n }, t n, such that (π(t n ; x 0, g 0 )) 1 m 3 (g ) as n. Let (π(t n ; x 2, g 0 )) 1 β(g ) with β(g ) [m 2 (g ), M 2 (g )]. Consequently, m 3 (g ) β(g ) M 2 (g ), contradicting (4.8). This completes the proof. As mentioned in the introduction, even if f in (1.1) with (F2) is uniformly almost periodic, one can not always expect an ω-limit set ω(x 0, f) to be minimal, or contains only one minimal set, or a 1-cover of H(f) (if it is minimal). We now discuss some situation in which ω(x 0, f) can be a 1-cover of H(f). Now we assume that f in (1.1) with (F2) is uniformly almost periodic. We recall that the forward orbit Π t (x 0, f) of (1.3) is said to be uniformly stable if for any ε > 0, there is a δ > 0 such that if π(τ; x 0, f) π(τ; x, f) < δ(ε) for some (x, f) R n H(f), and some τ R, then π(t + τ; x 0, f) π(t + τ; x, f) < ε for all t 0. We have Corollary 4.1. (1) If the ω-limit set ω(x 0, f) is distal, then ω(x 0, f) is a 1-cover of H(f). (2) If the orbit Π t (x 0, f)(t 0) is bounded and uniformly stable. Then ω(x 0, f) is a 1-cover of H(f). 17
19 Proof. (1) It follows from Theorem 4.1 that ω(x 0, f) can be written as ω(x 0, f) = E 1 E 2 E 12, where E i (i = 1, 2) are minimal sets. Suppose that E 1 E 2, since ω(x 0, f) is connected, then E 12. So, for any (y, g) E 12, ω(y, g) (E 1 E 2 ) (otherwise, there will be at least three minimal set in ω(x 0, f), a contradiction). Note that ω(x 0, f) is distal, this is impossible. Hence E 1 = E 2, which implies that ω(x 0, f) = E 1 E 12. Similarly as above, one can prove that E 12 =. Consequently, ω(x 0, f) = E 1, which now is a distal and minimal set. Then, by Theorem 3.1, we have ω(x 0, f) is a 1-cover of H(f). (2) By [16], ω(x 0, f) is minimal and distal. Then ω(x 0, f) is a 1-cover of H(f). References [1] S. B. Angenent, The zero set of a solution of a parabolic equation, J. Reine Angew. Math. 390(1988), [2] B. Fiedler and T. Gedeon, A Lyapunov function for tridiagonal competitive-cooperative systems, SIAM J. Math. Anal. 30(1999), [3] A. M. Fink, Almost Periodic Differential Equations, Lecture Notes in Math., Vol. 840, Springer-Verlag, Berlin, [4] H. I. Freedman and H. L. Smith, Tridiagonal competitive-cooperative Kolmogorov systems, Differential Equations Dynam. Systems 3(1995), [5] M. Gyllenberg and Y. Wang, Periodic tridiagonal systems modeling competitive-cooperative ecological interactions, Discrete Contin. Dyn. Syst. B, 5(2005), [6] G. Hetzer and W. Shen, Convergence in almost periodic competition diffusion systems, J. Math. Anal. Appl., 262(2001), [7] G. Hetzer and W. Shen, Uniform persistence, coexistence, and extinction in almost periodic/nonautonomous competition diffusion systems, SIAM J. Math. Anal. 34(2002),
20 [8] M. W. Hirsch, Stability and convergence in strongly monotone dynamical systems. J. reine angew. Math. 383 (1988), [9] R. A. Johnson, A linear almost periodic equations with an almost automorphic solution, Proc. Amer. Math. Soc. 82(1981). [10] H. Matano, Strongly comparison principle in nonlinear parabolic equations : in Nonlinear parabolic equations: qualitative properties of solutions (L. Boccardo and A. Tesei. eds.), Pitman Res. Notes in Math. 149 (Longman Scientific and Technical, 1987.), [11] H. Matano, Nonincrease of the lap-number of a solution for a one-dimensional semilinear parabolic equation., J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29(1982), [12] K. Nickel, Gestattaussagen über Lösungen parabolischer Differentialgleichungern, J. Reine Angew. Math., 211(1962), [13] P. Poláčik, Convergence in smooth strongly monotone flows defined by semilinear parabolic equations, J. Diff. Eqns. 79 (1989), [14] P. Poláčik and I. Tereščák, Convergence to cycles as a typical asymptotic behavior in smoothly monotone discrete-time dynamical systems, Arch. Rat. Mech. Anal. 116 (1991), [15] R. J. Sacker and G. Sell, Lifting properties in skew-product flows with applications to differential equations, Mem. Amer. Math. Soc. 11 (1977). [16] G. Sell, Topological Dynamics and Ordinary Differential Equations, Vn Norstand Reinhold Company, [17] W. Shen and Y. Yi, Almost automorphic and almost periodic dynamics in skew-product semiflows, Memoirs Amer. Math. Soc. 136 (1998). [18] W. Shen and Y. Yi, Dynamics of almost periodic scalar parabolic equations, J. Diff. Eqns. 122(1995),
21 [19] W. Shen and Y. Yi, Asymptitic almost periodicity of scalar parabolic equations with almost periodic time dependence, J. Diff. Eqns. 122(1995), [20] W. Shen and Y. Yi, On minimal sets of scalar parabolic equations with skew-product structures, Trans. Amer. Math. Soc. 347 (1995), [21] W. Shen and Y. Wang, Carrying Simplices in Nonautonomous and Random Competitive Kolmogorov Systems, preprint, [22] J. Smillie, Competitive and cooperative tridiagonal systems of differential equations, SIAM J. Math. Anal. 15(1984), [23] H. L. Smith, Periodic tridiagonal competitive and cooperative systems of differential equations. SIAM J. Math. Anal. 22(1991), [24] H. L. Smith and H. R. Theime, Quasiconvergence and stability for strongly order-preserving semiflows, SIAM, J. Math. Anal. 21 (1990), [25] H. L. Smith and H. R. Theime, Convergence for strongly order-preserving semiflows, SIAM, J. Math. Anal. 22 (1991), [26] I. Tereščák, Dynamics of C 1 smooth strongly monotone discrete-time dynamical systems, preprint, [27] W. A. Veech, Almost automorphic functions on groups, Amer. J. Math. 87 (1965), [28] X.-Q. Zhao, Convergence in asymptotically periodic tridiagonal competitive-cooperative systems, Canad. Appl. Math. Quart. 6(1998),
On the dynamics of strongly tridiagonal competitive-cooperative system
On the dynamics of strongly tridiagonal competitive-cooperative system Chun Fang University of Helsinki International Conference on Advances on Fractals and Related Topics, Hong Kong December 14, 2012
More informationALMOST AUTOMORPHIC AND ALMOST PERIODIC DYNAMICS IN SKEW-PRODUCT SEMIFLOWS. Dedicated to Professor R. Ellis on the Occasion of His 70th Birthday
ALMOST AUTOMORPHIC AND ALMOST PERIODIC DYNAMICS IN SKEW-PRODUCT SEMIFLOWS Dedicated to Professor R. Ellis on the Occasion of His 70th Birthday Part I. Almost Automorphy and Almost Periodicity by Yingfei
More informationConvergence in Almost Periodic Fisher and Kolmogorov Models
Convergence in Almost Periodic Fisher and Kolmogorov Models Wenxian Shen Department of Mathematics Auburn University Auburn, AL 36849 and Yingfei Yi School of Mathematics Georgia Institute of Technology
More informationSENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS
SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS SONG SHAO, XIANGDONG YE AND RUIFENG ZHANG Abstract. A topological dynamical system is n-sensitive, if there is a positive constant such that
More informationASYMPTOTICALLY STABLE EQUILIBRIA FOR MONOTONE SEMIFLOWS. M.W. Hirsch. (Communicated by Aim Sciences)
Manuscript submitted to AIMS Journals Volume X, Number 0X, XX 200X Website: http://aimsciences.org pp. X XX ASYMPTOTICALLY STABLE EQUILIBRIA FOR MONOTONE SEMIFLOWS M.W. Hirsch Department of Mathematics
More informationSYNCHRONIZATION OF NONAUTONOMOUS DYNAMICAL SYSTEMS
Electronic Journal of Differential Equations, Vol. 003003, No. 39, pp. 1 10. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu login: ftp SYNCHRONIZATION OF
More informationA REMARK ON THE GLOBAL DYNAMICS OF COMPETITIVE SYSTEMS ON ORDERED BANACH SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A REMARK ON THE GLOBAL DYNAMICS OF COMPETITIVE SYSTEMS ON ORDERED BANACH SPACES KING-YEUNG LAM
More informationDYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS
DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS Issam Naghmouchi To cite this version: Issam Naghmouchi. DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS. 2010. HAL Id: hal-00593321 https://hal.archives-ouvertes.fr/hal-00593321v2
More informationNonautonomous difference equations: Open problems and conjectures
Trinity University Digital Commons @ Trinity Mathematics Faculty Research Mathematics Department 7-2003 Nonautonomous difference equations: Open problems and conjectures Saber Elaydi Trinity University,
More informationON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS. Hyungsoo Song
Kangweon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 161 167 ON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS Hyungsoo Song Abstract. The purpose of this paper is to study and characterize the notions
More informationASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT
ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
More informationSIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM
Electronic Journal of Differential Euations, Vol. 22 (22), No. 26, pp. 9. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SIMULTANEOUS AND NON-SIMULTANEOUS
More informationA note on the monotonicity of matrix Riccati equations
DIMACS Technical Report 2004-36 July 2004 A note on the monotonicity of matrix Riccati equations by Patrick De Leenheer 1,2 Eduardo D. Sontag 3,4 1 DIMACS Postdoctoral Fellow, email: leenheer@math.rutgers.edu
More informationDYNAMICAL CUBES AND A CRITERIA FOR SYSTEMS HAVING PRODUCT EXTENSIONS
DYNAMICAL CUBES AND A CRITERIA FOR SYSTEMS HAVING PRODUCT EXTENSIONS SEBASTIÁN DONOSO AND WENBO SUN Abstract. For minimal Z 2 -topological dynamical systems, we introduce a cube structure and a variation
More informationPrevalent Behavior of Strongly Order Preserving Semiflows
Prevalent Behavior of Strongly Order Preserving Semiflows Germán A. Enciso Morris W. Hirsch Hal L. Smith June 15, 2007 Abstract Classical results in the theory of monotone semiflows give sufficient conditions
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationarxiv: v1 [math.ds] 6 Oct 2016
A NON-PI MINIMAL SYSTEM IS LI-YORKE SENSITIVE SONG SHAO AND XIANGDONG YE arxiv:1610.01793v1 [math.ds] 6 Oct 2016 ABSTRACT. It is shown that any non-pi minimal system is Li-Yorke sensitive. Consequently,
More informationTopologies, ring norms and algebra norms on some algebras of continuous functions.
Topologies, ring norms and algebra norms on some algebras of continuous functions. Javier Gómez-Pérez Javier Gómez-Pérez, Departamento de Matemáticas, Universidad de León, 24071 León, Spain. Corresponding
More informationCompetitive Exclusion in a Discrete-time, Size-structured Chemostat Model
Competitive Exclusion in a Discrete-time, Size-structured Chemostat Model Hal L. Smith Department of Mathematics Arizona State University Tempe, AZ 85287 1804, USA E-mail: halsmith@asu.edu Xiao-Qiang Zhao
More informationGlobal compact attractors and their tripartition under persistence
Global compact attractors and their tripartition under persistence Horst R. Thieme (joint work with Hal L. Smith) School of Mathematical and Statistical Science Arizona State University GCOE, September
More informationA BOREL SOLUTION TO THE HORN-TARSKI PROBLEM. MSC 2000: 03E05, 03E20, 06A10 Keywords: Chain Conditions, Boolean Algebras.
A BOREL SOLUTION TO THE HORN-TARSKI PROBLEM STEVO TODORCEVIC Abstract. We describe a Borel poset satisfying the σ-finite chain condition but failing to satisfy the σ-bounded chain condition. MSC 2000:
More informationALMOST PERIODIC SOLUTIONS OF NONLINEAR DISCRETE VOLTERRA EQUATIONS WITH UNBOUNDED DELAY. 1. Almost periodic sequences and difference equations
Trends in Mathematics - New Series Information Center for Mathematical Sciences Volume 10, Number 2, 2008, pages 27 32 2008 International Workshop on Dynamical Systems and Related Topics c 2008 ICMS in
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationGeneralized metric properties of spheres and renorming of Banach spaces
arxiv:1605.08175v2 [math.fa] 5 Nov 2018 Generalized metric properties of spheres and renorming of Banach spaces 1 Introduction S. Ferrari, J. Orihuela, M. Raja November 6, 2018 Throughout this paper X
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More information(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);
STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the
More informationTHE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE. In memory of A. Pe lczyński
THE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE T. FIGIEL AND W. B. JOHNSON Abstract. Given a Banach space X and a subspace Y, the pair (X, Y ) is said to have the approximation
More informationSOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO /4
SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO. 2 2003/4 1 SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationChapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations
Chapter 3 Pullback and Forward Attractors of Nonautonomous Difference Equations Peter Kloeden and Thomas Lorenz Abstract In 1998 at the ICDEA Poznan the first author talked about pullback attractors of
More informationGlobal unbounded solutions of the Fujita equation in the intermediate range
Global unbounded solutions of the Fujita equation in the intermediate range Peter Poláčik School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA Eiji Yanagida Department of Mathematics,
More informationON CONTINUITY OF MEASURABLE COCYCLES
Journal of Applied Analysis Vol. 6, No. 2 (2000), pp. 295 302 ON CONTINUITY OF MEASURABLE COCYCLES G. GUZIK Received January 18, 2000 and, in revised form, July 27, 2000 Abstract. It is proved that every
More informationČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan
GLASNIK MATEMATIČKI Vol. 43(63)(2008), 219 229 ČECH-COMPLETE MAPS Yun-Feng Bai and Takuo Miwa Shimane University, Japan Abstract. We introduce a new notion of Čech-complete map, and investigate some its
More informationDisconjugate operators and related differential equations
Disconjugate operators and related differential equations Mariella Cecchi, Zuzana Došlá and Mauro Marini Dedicated to J. Vosmanský on occasion of his 65 th birthday Abstract: There are studied asymptotic
More informationA Note on Some Properties of Local Random Attractors
Northeast. Math. J. 24(2)(2008), 163 172 A Note on Some Properties of Local Random Attractors LIU Zhen-xin ( ) (School of Mathematics, Jilin University, Changchun, 130012) SU Meng-long ( ) (Mathematics
More informationTHE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS
J. Appl. Math. & Computing Vol. 4(2004), No. - 2, pp. 277-288 THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS LIDONG WANG, GONGFU LIAO, ZHENYAN CHU AND XIAODONG DUAN
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationPermanence Implies the Existence of Interior Periodic Solutions for FDEs
International Journal of Qualitative Theory of Differential Equations and Applications Vol. 2, No. 1 (2008), pp. 125 137 Permanence Implies the Existence of Interior Periodic Solutions for FDEs Xiao-Qiang
More informationLi- Yorke Chaos in Product Dynamical Systems
Advances in Dynamical Systems and Applications. ISSN 0973-5321, Volume 12, Number 1, (2017) pp. 81-88 Research India Publications http://www.ripublication.com Li- Yorke Chaos in Product Dynamical Systems
More information(Non-)Existence of periodic orbits in dynamical systems
(Non-)Existence of periodic orbits in dynamical systems Konstantin Athanassopoulos Department of Mathematics and Applied Mathematics University of Crete June 3, 2014 onstantin Athanassopoulos (Univ. of
More informationPropagating terraces and the dynamics of front-like solutions of reaction-diffusion equations on R
Propagating terraces and the dynamics of front-like solutions of reaction-diffusion equations on R P. Poláčik School of Mathematics, University of Minnesota Minneapolis, MN 55455 Abstract We consider semilinear
More informationMathematische Annalen
Math. Ann. 334, 457 464 (2006) Mathematische Annalen DOI: 10.1007/s00208-005-0743-2 The Julia Set of Hénon Maps John Erik Fornæss Received:6 July 2005 / Published online: 9 January 2006 Springer-Verlag
More informationWeak-Star Convergence of Convex Sets
Journal of Convex Analysis Volume 13 (2006), No. 3+4, 711 719 Weak-Star Convergence of Convex Sets S. Fitzpatrick A. S. Lewis ORIE, Cornell University, Ithaca, NY 14853, USA aslewis@orie.cornell.edu www.orie.cornell.edu/
More informationWhitney topology and spaces of preference relations. Abstract
Whitney topology and spaces of preference relations Oleksandra Hubal Lviv National University Michael Zarichnyi University of Rzeszow, Lviv National University Abstract The strong Whitney topology on the
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationA LaSalle version of Matrosov theorem
5th IEEE Conference on Decision Control European Control Conference (CDC-ECC) Orlo, FL, USA, December -5, A LaSalle version of Matrosov theorem Alessro Astolfi Laurent Praly Abstract A weak version of
More informationSHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS
Dynamic Systems and Applications 19 (2010) 405-414 SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS YUHU WU 1,2 AND XIAOPING XUE 1 1 Department of Mathematics, Harbin
More informationCOUNTEREXAMPLES IN ROTUND AND LOCALLY UNIFORMLY ROTUND NORM
Journal of Mathematical Analysis ISSN: 2217-3412, URL: http://www.ilirias.com Volume 5 Issue 1(2014), Pages 11-15. COUNTEREXAMPLES IN ROTUND AND LOCALLY UNIFORMLY ROTUND NORM F. HEYDARI, D. BEHMARDI 1
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationHAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
Georgian Mathematical Journal Volume 9 (2002), Number 3, 591 600 NONEXPANSIVE MAPPINGS AND ITERATIVE METHODS IN UNIFORMLY CONVEX BANACH SPACES HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
More informationON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS
ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition
More informationExtremal Solutions of Differential Inclusions via Baire Category: a Dual Approach
Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach Alberto Bressan Department of Mathematics, Penn State University University Park, Pa 1682, USA e-mail: bressan@mathpsuedu
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationOn Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q)
On Semicontinuity of Convex-valued Multifunctions and Cesari s Property (Q) Andreas Löhne May 2, 2005 (last update: November 22, 2005) Abstract We investigate two types of semicontinuity for set-valued
More informationThreshold behavior and non-quasiconvergent solutions with localized initial data for bistable reaction-diffusion equations
Threshold behavior and non-quasiconvergent solutions with localized initial data for bistable reaction-diffusion equations P. Poláčik School of Mathematics, University of Minnesota Minneapolis, MN 55455
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationFIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS. Tomonari Suzuki Wataru Takahashi. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 371 382 FIXED POINT THEOREMS AND CHARACTERIZATIONS OF METRIC COMPLETENESS Tomonari Suzuki Wataru Takahashi
More informationSHADOWING AND ω-limit SETS OF CIRCULAR JULIA SETS
SHADOWING AND ω-limit SETS OF CIRCULAR JULIA SETS ANDREW D. BARWELL, JONATHAN MEDDAUGH, AND BRIAN E. RAINES Abstract. In this paper we consider quadratic polynomials on the complex plane f c(z) = z 2 +
More informationNotes on nets and convergence in topology
Topology I Humboldt-Universität zu Berlin C. Wendl / F. Schmäschke Summer Semester 2017 Notes on nets and convergence in topology Nets generalize the notion of sequences so that certain familiar results
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationJordan Journal of Mathematics and Statistics (JJMS) 11(1), 2018, pp I-CONVERGENCE CLASSES OF SEQUENCES AND NETS IN TOPOLOGICAL SPACES
Jordan Journal of Mathematics and Statistics (JJMS) 11(1), 2018, pp 13-31 I-CONVERGENCE CLASSES OF SEQUENCES AND NETS IN TOPOLOGICAL SPACES AMAR KUMAR BANERJEE (1) AND APURBA BANERJEE (2) Abstract. In
More informationCompetitive and Cooperative Differential Equations
Chapter 3 Competitive and Cooperative Differential Equations 0. Introduction This chapter and the next one focus on ordinary differential equations in IR n. A natural partial ordering on IR n is generated
More informationITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999
Scientiae Mathematicae Vol. 3, No. 1(2000), 107 115 107 ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI Received December 14, 1999
More informationCzechoslovak Mathematical Journal
Czechoslovak Mathematical Journal Oktay Duman; Cihan Orhan µ-statistically convergent function sequences Czechoslovak Mathematical Journal, Vol. 54 (2004), No. 2, 413 422 Persistent URL: http://dml.cz/dmlcz/127899
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationSimple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute
M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick
More informationOn reduction of differential inclusions and Lyapunov stability
1 On reduction of differential inclusions and Lyapunov stability Rushikesh Kamalapurkar, Warren E. Dixon, and Andrew R. Teel arxiv:1703.07071v5 [cs.sy] 25 Oct 2018 Abstract In this paper, locally Lipschitz
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationALMOST PERIODIC GROSS-SUBSTITUTE DYNAMICAL SYSTEMS. Dedicated to Professor Taro Yoshizawa on his sixtieth birthday GEORGE R. SELL* AND FUMIO NAKAJIMA
Tohoku Math. Journ. 32 (1980), 255-263. ALMOST PERIODIC GROSS-SUBSTITUTE DYNAMICAL SYSTEMS Dedicated to Professor Taro Yoshizawa on his sixtieth birthday GEORGE R. SELL* AND FUMIO NAKAJIMA (Received June
More informationEndomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006
Endomorphism rings generated using small numbers of elements arxiv:math/0508637v2 [mathra] 10 Jun 2006 Zachary Mesyan February 2, 2008 Abstract Let R be a ring, M a nonzero left R-module, and Ω an infinite
More informationarxiv: v3 [math.ds] 9 Nov 2012
Positive expansive flows Alfonso Artigue November 13, 2018 arxiv:1210.3202v3 [math.ds] 9 Nov 2012 Abstract We show that every positive expansive flow on a compact metric space consists of a finite number
More informationSELECTION THEOREMS FOR MULTIFUNCTIONS IN PARTIALLY ORDERED SETS
SELECTION THEOREMS FOR MULTIFUNCTIONS IN PARTIALLY ORDERED SETS M. A. KHAMSI Abstract. It is shown that an order preserving multivalued mapping T of a complete lattice X which takes values in the space
More informationAN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES
AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES MASSIMO FURI AND ALFONSO VIGNOLI Abstract. We introduce the class of hyper-solvable equations whose concept may be regarded
More informationBERNOULLI ACTIONS AND INFINITE ENTROPY
BERNOULLI ACTIONS AND INFINITE ENTROPY DAVID KERR AND HANFENG LI Abstract. We show that, for countable sofic groups, a Bernoulli action with infinite entropy base has infinite entropy with respect to every
More informationFUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationPrime Properties of the Smallest Ideal of β N
This paper was published in Semigroup Forum 52 (1996), 357-364. To the best of my knowledge, this is the final version as it was submitted to the publisher. NH Prime Properties of the Smallest Ideal of
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS
ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 046-424
More informationarxiv: v2 [math.gn] 27 Sep 2010
THE GROUP OF ISOMETRIES OF A LOCALLY COMPACT METRIC SPACE WITH ONE END arxiv:0911.0154v2 [math.gn] 27 Sep 2010 ANTONIOS MANOUSSOS Abstract. In this note we study the dynamics of the natural evaluation
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More informationUNIQUENESS OF SELF-SIMILAR VERY SINGULAR SOLUTION FOR NON-NEWTONIAN POLYTROPIC FILTRATION EQUATIONS WITH GRADIENT ABSORPTION
Electronic Journal of Differential Equations, Vol. 2015 2015), No. 83, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu UNIQUENESS OF SELF-SIMILAR
More informationOn (h, k) trichotomy for skew-evolution semiflows in Banach spaces
Stud. Univ. Babeş-Bolyai Math. 56(2011), No. 4, 147 156 On (h, k) trichotomy for skew-evolution semiflows in Banach spaces Codruţa Stoica and Mihail Megan Abstract. In this paper we define the notion of
More informationON ALMOST AUTOMORPHIC OSCILLATIONS
ON ALMOST AUTOMORPHIC OSCILLATIONS YINGFEI YI Abstract. Almost automorphic dynamics have been given a notable amount of attention in recent years with respect to the study of almost periodically forced
More informationTHREE ZUTOT ELI GLASNER AND BENJAMIN WEISS
THREE ZUTOT ELI GLASNER AND BENJAMIN WEISS Abstract. Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy
More informationA note on Monotone Systems with Positive Translation Invariance
A note on Monotone Systems with Positive Translation Invariance David Angeli Dip. di Sistemi e Informatica Università di Firenze email: angeli@dsi.unifi.it Eduardo D. Sontag Department of Mathematics Rutgers
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationON THE ASYMPTOTIC STABILITY IN TERMS OF TWO MEASURES FOR FUNCTIONAL DIFFERENTIAL EQUATIONS. G. Makay
ON THE ASYMPTOTIC STABILITY IN TERMS OF TWO MEASURES FOR FUNCTIONAL DIFFERENTIAL EQUATIONS G. Makay Student in Mathematics, University of Szeged, Szeged, H-6726, Hungary Key words and phrases: Lyapunov
More informationEquilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains
Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains J. Földes Department of Mathematics, Univerité Libre de Bruxelles 1050 Brussels, Belgium P. Poláčik School
More information