非自治动力系统的原像熵

本文对紧致度量空间上的连续自映射序列应用生成集和分离集引入了点原像熵、原像分枝熵以及原像关系熵等几类原像熵的定义并进行了研究.主要结果是:(1) 证明了这些熵都是等度拓扑共轭不变量.(2)讨论了这些原像熵之间及它们与拓扑熵之间的关系,得到了联系这些熵的不等式.(3)证明了对正向可扩的连续自映射序列而言, 两类点原像熵相等,原像分枝熵与原像关系熵也相等.(4)证明了对(a).由闭Riemann 流形上的一个扩张映射经充分小的C1-扰动生成的自映射序列,以及(b).有限图上等度连续的自映射序列,有零原像分枝熵.     

完备度量空间中的混沌判定

本文研究完备度量空间上的离散动力系统的混沌标准,证明了如果完备度量空间X上的连续映射f具有正则非退化返回排斥子或连接不动点的正则非退化异宿环,则存在f的不变闭子集A,使得f限制在此不变闭子集上的子系统与两个符号的符号动力系统拓扑共轭,从而获得具有这类结构的连续映射f具有Devaney混沌、分布混沌、正拓扑熵及ω-混沌,...     

环面上自映射的点态原像熵的可加性

与拓扑熵一样,紧度量空间上连续自映射的点态原像熵(pointwise preimage entropy),是动力系统的不变量,但它的性质并不与其完全一致,例如映射笛卡尔积的点态原像熵的可加性等.本文给出环面上连续自映射满足笛卡尔积的点态原像熵的可加性的条件,并借此计算环面上一类连续自映射的点态原像熵.     

幂零流形上自映射的点态原像熵的可加性

类似于拓扑熵,点态原像熵作为动力系统的不变量,也度量了紧度量空间上系统的复杂性.但至今不知其性质与拓扑熵是否完全一致,例如映射笛卡尔积的点态原像熵的可加性等.本文将把环面自映射笛卡尔积的点态原像熵的可加性,推广到紧幂零流形自映射的情形.     

半群的混沌作用

引进了半群混沌作用的概念,证明了若半群5在紧致度量空间X上的连续作用满足拓扑可迁和周期点稠两个条件,则此作用满足对初值的敏感依赖性,另外也讨论了半群S在X的逆极限空间上诱导作用的混沌性问题。     

动力系统中拓扑熵的研究

自从1965年R.L.Adler,A.G.Konheim和M.H.McAndrew对于紧致拓扑空间上的连续自映射,引进拓扑熵,1971年R.Bowen对度量空间上的一致连续自映射又重新定义以来,拓扑熵的概念逐渐深入到动力系统的研究工作中,并带来了值得注意的影响.有关的文章,据笔者所知已达数十篇之多.它之所以受到不少研究者的重视,正如廖山涛教授指出的,“在微分动力体系的探讨中一个有意义的一般问题是,寻找M~n上的结构稳定系统在拓扑等价意义下的数值不变量”.目下知道的数值不变量甚少,而拓扑熵就是这样一个数值不变量(见§2定理1).     

平均熵

设Ｔ为紧度量空间Ｘ上的连续自映射,ｍ为Ｘ上的Ｂｏｒｅｌ概率测度,通过把测度（拓扑）摘局部化,引入了Ｔ关于ｍ的平均测度（拓扑）熵的概念,它们分别为相应ｍ－测度（拓扑）混沌吸引子熵的加权平均,从而Ｔ关于ｍ的平均测度（拓扑）熵大于零当且仅当Ｔ有ｍ－测度（拓扑）混沌吸引子．证明了线段Ｉ上关于Ｌｅｂｅｓｇｕｅ测度平均拓扑熵大于Ｃ与等于零的连续自映射都在Ｃ０（Ｉ,Ｉ）中稠密．     

Bowen估计熵的变分原理

设(X, f)是一个拓扑动力系统,其中X是紧致度量空间, f是X上的连续自映射.本文对(X, f)引入Bowen估计熵,给出了Bowen估计熵的Billingsley定理和变分原理.     

半流的原像熵

本文对紧致度量空间上的连续半流引入了几类原像熵的定义,并对它们的性质进行了研究,证明了对于无不动点的连续半流而言,这些熵具有一定程度的拓扑共轭不变性,对这些熵的关系进行了研究并得到了联系这些熵的不等式,还证明了连续半流与其时刻1映射具有相同的拓扑熵和原像熵。     

树映射的分布混沌

设T是个有限树,f是T上的连续映射.证明了f是分布混沌的当且仅当它的拓扑熵是正数.一些已知结论得到了改进.     

Topological entropy for discontinuous semiflows

We study two variations of Bowen's definitions of topological entropy based on separated and spanning sets which can be applied to the study of discontinuous semiflows on compact metric spaces. We prove that these definitions reduce to Bowen's ones in the case of continuous semiflows. As a second result, we prove that our entropies give a lower bound for the τ-entropy defined by Alves, Carvalho and Vásquez (2015). Finally, we prove that for impulsive semiflows satisfying certain regularity condition, there exists a continuous semiflow defined on another compact metric space which is related to the first one by a semiconjugation, and whose topological entropy equals our extended notion of topological entropy by using separated sets for the original semiflow.     

On the topological entropy of the free semigroup action generated by proper maps

In this paper, we introduce the topological entropy of a free semigroup action generated by proper maps, which extends the notions of the topological entropy of the free semigroup actions defined by Bufetov in 1999 and topological entropy of the proper maps defined by Patrão in 2010. We then give some properties of these notions and discuss the relations between them. We also give a partial variational principle for locally compact separable metric spaces. Moreover, the relationship between topological entropy of the free semigroup generated by proper maps and topological entropy of a skew-product transformation is given. These results extend the results obtained by Patrão, Bufetov and Lin, Ma and Wang in 2018.     

Definition of Measure-theoretic Pressure Using Spanning Sets

We introduce a new definition of measure–theoretic pressure for ergodic measures of continuous maps on a compact metric space. This definition is similar to those of topological pressure involving spanning sets. As an application, for C ^{1+ α} (α > 0) diffeomorphisms of a compact manifold, we study the relationship between the measure–theoretic pressure and the periodic points. Project Supported by National Natural Science Foundation of China     

A universal complex structure on complete metrizable topological spaces

Let X be a topological space whose topology may be defined by a complete metric d. Taking all such metrics d we define a universal complex structure on X. For this complex structure the sheaf of germs of holomorphic functions on X coincides with the sheaf of germs of continuous functions on X, and hence the theories of topological and holomorphic vector bundles on X are the same.     

Kolmogorov Entropy for Classes of Convex Functions

Kolmogorov ε-entropy of a compact set in a metric space measures its metric massivity and thus replaces its dimension which is usually infinite. The notion quantifies the compactness property of sets in metric spaces, and it is widely applied in pure and applied mathematics. The ε-entropy of a compact set is the most economic quantity of information that permits a recovery of elements of this set with accuracy ε. In the present article we study the problem of asymptotic behavior of the ε-entropy for uniformly bounded classes of convex functions in L _p -metric proposed by A.I.   Shnirelman. The asymptotic of the Kolmogorov ε-entropy for the compact metric space of convex and uniformly bounded functions equipped with L _p -metric is ε ^−1/2, ε→0₊.      

On the Relation between Stability of Continuous- and Discrete-Time Evolution Equations via the Cayley Transform

In this paper we investigate and compare the properties of the semigroup generated by A, and the sequence where A_d = (I + A) (I − A)⁻¹. We show that if A and A⁻¹ generate a uniformly bounded, strongly continuous semigroup on a Hilbert space, then A_d is power bounded. For analytic semigroups we can prove stronger results. If A is the infinitesimal generator of an analytic semigroup, then power boundedness of A_d is equivalent to the uniform boundedness of the semigroup generated by A.     

On metrizable enveloping semigroups

When a topological group G acts on a compact space X, its enveloping semigroup E(X) is the closure of the set of g-translations, g ∈ G, in the compact space X ^X . Assume that X is metrizable. It has recently been shown by the first two authors that the following conditions are equivalent: (1) X is hereditarily almost equicontinuous; (2) X is hereditarily nonsensitive; (3) for any compatible metric d on X the metric d _G (x, y) ≔ sup{d(gx, gy): g ∈ G} defines a separable topology on X; (4) the dynamical system (G, X) admits a proper representation on an Asplund Banach space. We prove that these conditions are also equivalent to the following: the enveloping semigroup E(X) is metrizable.     

Characterization of Geodesic Flows on T 2 with and without Positive Topological Entropy

In the present work we consider the behavior of the geodesic flow on the unit tangent bundle of the 2-torus T ² for an arbitrary Riemannian metric. A natural non-negative quantity which measures the complexity of the geodesic flow is the topological entropy. In particular, positive topological entropy implies chaotic behavior on an invariant set in the phase space of positive Hausdorff-dimension (horseshoe). We show that in the case of zero topological entropy the flow has properties similar to integrable systems. In particular, there exists a non-trivial continuous constant of motion which measures the direction of geodesics lifted onto the universal covering \mathbbR²{\mathbb{R}^{2}} . Furthermore, those geodesics travel in strips bounded by Euclidean lines. Moreover, we derive necessary and sufficient conditions for vanishing topological entropy involving intersection properties of single geodesics on T ².     

Hyperbolic rank and subexponential corank of metric spaces

We introduce a new quasi-isometry invariant corank X of a metric space X called subexponential corank. A metric space X has subexponential corank k if roughly speaking there exists a continuous map , T is a topological space, such that for each the set g ^-1(t) has subexponential growth rate in X and the topological dimension dimT = k is minimal among all such maps. Our main result is the inequality for a large class of metric spaces X including all locally compact Hadamard spaces, where rank _h X is the maximal topological dimension of among all CAT(—1) spaces Y quasi-isometrically embedded into X (the notion introduced by M. Gromov in a slightly stronger form). This proves several properties of rank _h conjectured by Gromov, in particular, that any Riemannian symmetric space X of noncompact type possesses no quasi-isometric embedding of the standard hyperbolic space H ⁿ with . Submitted: February 2001, Revised: October 2001.     

The space of maps from a locally compact space to a Banach space

The space of continuous maps from a topological spaceX to topological spaceY is denoted byC(X,Y) with the compact-open topology. In this paper we prove thatC(X,Y) is an absolute retract ifX is a locally compact separable metric space andY a convex set in a Banach space. From the above fact we know thatC(X,Y) is homomorphic to Hilbert spacel ₂ ifX is a locally compact separable metric space andY a separable Banach space; in particular,C(R ⁿ,R^m) is homomorphic to Hilbert spacel ₂. This research is supported by the Science Foundation of Shanxi Province's Scientific Committee