关于d-跟踪性质的一些注记

d-和d-跟踪性质是Dastjerdi和Hosseini为推广伪轨跟踪性质于2010年提出的.本文考察该动力性质在迭代系统和逆极限系统下的性质.首先证明对动力系统(X,f),以下三命题等价:(1)f具有d-跟踪性质(d-跟踪性质);(2)对任意k∈N,f~k也具有d-跟踪性质(d-跟踪性质);(3)存在k∈N,使得f~k具有d-跟踪性质(d-跟踪性质).进而证明具有d-跟踪性质的系统是链混合的.最后得到对于由{X_i,φ_i,f_i)_(i=1)~∞生成的逆极限系统(X_∞,f_∞),若每个f_i均具有d-跟踪性质(或者,d-跟踪性质,遍历跟踪性),则诱导映射f_∞也具有d-跟踪性质(相应地,d-跟踪性质,遍历跟踪性).     

测度中心的Mα-跟踪性质

本文证明如果动力系统具有周期M_α-跟踪性质或者周期M_α-跟踪性质,则其测度中心的限制系统也具有相同的跟踪性质.反之,如果动力系统在其测度中心的限制系统具有周期M_α-跟踪性质(或者,周期M_α-跟踪性质),则该动力系统具有周期M_β-跟踪性质(相应地,周期M_β-跟踪性质),对任意β∈[0,α).同时得到对等度连续系统,众多跟踪性质都等价于动力系统具有平凡的测度中心.     

逐点伪轨跟踪性质及其应用

本文给出紧致度量空间逐点伪轨跟踪性质的定义,该定义是伪轨跟踪性质定义的推广.作为应用,证明如下结论:(i)若f具有逐点伪轨跟踪性质,且对任意k∈Z ,fk为链转换的,那么对任意k∈Z ,fk为开集转换;(ii)若f具有逐点伪轨跟踪性质,且对任意n∈Z ,fn为链转换的,则f具有初始敏感依赖性质;(iii)若f为开集混合的,且具有逐点伪轨跟踪性质,那么f具有性质P;(iv)设f:(X,d)→(X,d)是同胚映射,那么f具有逐点伪轨跟踪性质当且仅当移位映射σf具有逐点伪轨跟踪性质.     

迭代函数系统的强跟踪性质

给出了迭代函数系统(IFS(F))的强跟踪性质的概念并且研究了它的相关性质.结合经典动力系统的相关方法,首先证明了一致压缩的迭代函数系统都有强跟踪性质,从而给出了具有强跟踪性质的相关例子;另外也证明了两个IFS(F)的强跟踪性质在拓扑共轭的条件下是保持不变的;最后我们得到了:如果IFS(F)有小距离扩张性,则它是开的当且仅当它具有强跟踪性质.     

具有跟踪性质的连续半流

在这篇论文中，我们给出了连续半流的跟踪性质与其逆极限的跟踪性质之间的一些等价条件，并且做为应用，我们证明了具有强跟踪性质的连续半流在其游荡集上的限制也具有强跟踪性质以及连续半流的谱分解定理。     

平均跟踪性质的一个注记

Blank在1988年为了更好地刻画Anosov微分同胚性质引入了平均跟踪性质的概念.文中主要给出了平均跟踪性质的一个等价定义并且证明了:(1)如果存在一个正整数k≥2,使得f^k有平均跟踪性质,则f也有平均跟踪性质.(2)设(X, f)是一个拓扑动力系统,如果f有遍历跟踪性质,则f有平均跟踪性质.     

一类圆周自映射的伪轨跟踪性质

本研究圈周上的连续自映射，我们得到一类非满映射具有伪轨跟踪性质的充分必要条件。     

非一致扩张映射上的d 跟踪性质

本文主要证明了具有$d(\underline {d}$或$\bar{d}$-跟踪性质的非一致扩张系统是拓扑传递的.     

伪轨跟踪与完全正熵

本文主要给出了紧致度量空间上的连续满射f具有完全正熵的一个必要条件及当f具有伪轨跟踪性质时,f有完全正熵的一些等价条件．     

平均跟踪性与双曲线性同胚

本文研究了双曲线性自同胚的平均跟踪性,利用双曲线性映射的性质和压缩映射定理,得到了在有界的Banach空间上的双曲线性自同胚具有平均跟踪性.另外,证明了在一般的度量空间上的压缩映射也具有平均跟踪性.     

Diffeomorphisms with <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-shadowing property

We give a characterization of structurally stable diffeomorphisms by making use of the notion of L ^p -shadowing property. More precisely, we prove that the set of structurally stable diffeomorphisms coincides with the C ¹-interior of the set of diffeomorphisms having L ^p -shadowing property.     

On the Shadowing Property and Shadowable Point of Set-valued Dynamical Systems

In this article, the authors introduce the concept of shadowable points for set-valued dynamical systems, the pointwise version of the shadowing property, and prove that a set-valued dynamical system has the shadowing property iff every point in the phase space is shadowable; every chain transitive set-valued dynamical system has either the shadowing property or no shadowable points; and for a set-valued dynamical system there exists a shadowable point iff there exists a minimal shadowable point. In the end, it is proved that a set-valued dynamical system with the shadowing property is totally transitive iff it is mixing and iff it has the specification property.     

SHADOWING,EXPANSIVENESS AND SPECIFICATION FOR C~1-CONSERVATIVE SYSTEMS

We prove that a C~1-generic volume-preserving dynamical system(diffeomorphism or flow) has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov.Finally,as in[10,27],we prove that the C~1-robustness,within the volume-preserving context,of the expansiveness property and the weak specification property,imply that the dynamical system(diffeomorphism or flow) is Anosov.     

A unified approach to theories of shadowing

This paper introduces the notion of a general approximation property, which encompasses many existing types of shadowing. It is proven that there exists a metric space X such that the sets of maps with many types of general approximation properties (including the classic shadowing, the L _p -shadowing, limit shadowing, and the s-limit shadowing) are not dense in C(X), S(X), and H(X) (the space of continuous self-maps of X, continuous surjections of X onto itself, and self-homeomorphisms of X) and that there exists a manifold M such that the sets of maps with general approximation properties of nonlocal type (including the average shadowing property and the asymptotic average shadowing property) are not dense in C(M), S(M), and H(M). Furthermore, it is proven that the sets of maps with a wide range of general approximation properties (including the classic shadowing, the L _p -shadowing, and the s-limit shadowing) are dense in the space of continuous self-maps of the Cantor set. A condition is given that guarantees transfer of general approximation property from a map on X to the map induced by it on the hyperspace of X. It is also proven that the transfer in the opposite direction always takes place.     

Dynamical Locality and Covariance: What Makes a Physical Theory the Same in all Spacetimes?

The question of what it means for a theory to describe the same physics on all spacetimes (SPASs) is discussed. As there may be many answers to this question, we isolate a necessary condition, the SPASs property, that should be satisfied by any reasonable notion of SPASs. This requires that if two theories conform to a common notion of SPASs, with one a subtheory of the other, and are isomorphic in some particular spacetime, then they should be isomorphic in all globally hyperbolic spacetimes (of given dimension). The SPASs property is formulated in a functorial setting broad enough to describe general physical theories describing processes in spacetime, subject to very minimal assumptions. By explicit constructions, the full class of locally covariant theories is shown not to satisfy the SPASs property, establishing that there is no notion of SPASs encompassing all such theories. It is also shown that all locally covariant theories obeying the time-slice property possess two local substructures, one kinematical (obtained directly from the functorial structure) and the other dynamical (obtained from a natural form of dynamics, termed relative Cauchy evolution). The covariance properties of relative Cauchy evolution and the kinematic and dynamical substructures are analyzed in detail. Calling local covariant theories dynamically local if their kinematical and dynamical local substructures coincide, it is shown that the class of dynamically local theories fulfills the SPASs property. As an application in quantum field theory, we give a model independent proof of the impossibility of making a covariant choice of preferred state in all spacetimes, for theories obeying dynamical locality together with typical assumptions.     

L(d1, d2,..., dt)-Number λ(Cn; d1, d2,...,dt) of Cycles

An L(d1,d2,...,dt)-labeling of a graph G is a function f from its vertex set V(G) to the set {0, 1,..., k} for some positive integer k such that {f(x) - f(y)| ≥ di, if the distance between vertices x and y in G is equal to i for i = 1,2,...,t. The L(d1,d2,...,dt)-number λ(G;d1,d2,... ,dt) of G is the smallest integer number k such that G has an L(d1,d2,... ,dt)labeling with max{f(x)|x ∈ V(G)} = k. In this paper, we obtain the exact values for λ(Cn; 2, 2,1) and λ(Cn; 3, 2, 1), and present lower and upper bounds for λ(Cn; 2,..., 2,1,..., 1)     

Numerical Integration of Differential Algebraic Systems and Invariant Manifolds

The dynamics of a differential algebraic equation takes place on a lower dimensional manifold in phase space. Applying a numerical integration scheme, it is natural to ask if and how this geometric property is preserved by the discrete dynamical system. In the index-1 case answers to this question are obtained from the singularly perturbed case treated by Nipp and Stoffer, Numer. Math. 70 (1995), 245–257, for Runge-Kutta methods and in K. Nipp and D. Stoffer, Numer. Math. 74 (1996), 305–323, for linear multistep methods. As main result of this paper it is shown that also for Runge-Kutta methods and linear multistep methods applied to a index-2 problem of Hessenberg form there is a (attractive) invariant manifold for the discrete dynamical system and this manifold is close to the manifold of the differential algebraic equation.     

$(m,d)$-内射盖与Gorenstein $(m,d)$-平坦模

研究了$(m,d)$-内射$R$-模作成的类是(预)盖类的条件,证明了$(m,d)$-凝聚环上的每一个左$R$-模都具有$(m,d)$-内射盖.在此基础上,又引入研究了Gorenstein $(m,d)$-平坦模和Gorenstein $(m,d)$-内射模,证明了$(m,d)$-凝聚环上的左$R$-模$M$是Gorenstein$(m,d)$-平坦模的充分必要条件是它的特征模$M^{+}$是Gorenstein $(m,d)$-内射模.推广了Goresntein平坦模和Goresntein $n$-平坦模上的一些结果.     

Diffeomorphisms with the ℳ0-shadowing Property

This paper studies the M₀-shadowing property for the dynamics of diffeomorphisms defined on closed manifolds. The C¹ interior of the set of all two dimensional diffeomorphisms with the M₀-shadowing property is described by the set of all Anosov diffeomorphisms. The C¹-stably M₀-shadowing property on a non-trivial transitive set implies the diffeomorphism has a dominated splitting.     

Approximability of nonlinear affine control systems

This paper focuses on a strong approximability property for nonlinear affine control systems. We consider control processes governed by ordinary differential equations (ODEs) and study an initial system and the associated generalized system. Our theoretical approach makes it possible to prove a strong approximability result for the above dynamical systems. The latter can be effectively applied to some classes of variable structure and hybrid control systems. In particular, this paper deals with applications of the strong approximability property obtained to the conventional sliding mode processes and to hybrid control systems with autonomous location transitions. We also take into consideration some optimal control problems for the above class of hybrid systems.