周期轨间蕴含关系的判定算法（Ⅱ）

近年来,Sarkovskii定理及其有关研究引起很大兴趣.按Sarkovskii定理,若闭区间上连续自映射f有3-周期点,则对任意正整数n有n周期点.但f不可能有所有类型的n-周期轨.例如:则f仅有两种类型的3-周期轨中的一类.这表明Sarkovskii定理远远没有给出周期轨之间的关系的全部信息.本文(Ⅰ)中将给出周期轨的型的概念,并证明可以建立机械方法来判断一种周期轨是否蕴含另一类型的周期轨.本文(Ⅱ)中将给出这个判断方法的计算机程序,并列出一些计算结果.     

关于一类具有n周期点映射的构造方法

Li-Yorkc 指出:区间连续自映射 f(x)若有一个3周期点,则对于任意 n,f(x)有 n 周期点.本文给出了具有 n 周期点一类映射的构造方法.     

一类高阶中立型泛函微分方程周期解的存在性

研究了一类高阶非线性中立型泛函微分方程x~((2n))(t)+cx~((2n))(t-τ)+f(x)x′+bx(t)+g(x(t-σ))=p(t)周期解的存在性,利用分析技巧结合重合度理论给出了该方程存在周期解的充分性定理.     

一类余维3的鞍-焦点异宿环分支

对余维3系统X_μ(x)具有包含一个双曲鞍-焦点O_1和一个非双曲鞍-焦点O_2的异宿环f进行了研究.证明了在f的邻域内有可数无穷条周期轨线和异宿轨线,当非粗糙异宿轨线Γ~0破裂时X_μ(x)会产生同宿轨分支,并给出了相应的分支曲线和两种同宿环共存的参数值.在3参数扰动下Γ~0破裂和O_2点产生Hopf分支的情况下,在f的邻域内有一条含O_1点同宿环,可数无效多条的轨线同宿于O_2点分支出的闭轨H_0,一条或无穷多条(可数或连续统的)异宿轨线等.     

有非2方幂周期轨道的连续函数的特征

本文给出了区间I上的连续函数f的广义CR型异状点的定义。此定义是一些文献中已考虑过的几种类型的异状点概念的推广.通过对f或f~n上的RL~∞型单峰(或反单峰)轨道的存在性的探讨,本文证明了,f含有周期不等于2的(整数)方幂的周期轨道,其充要条件是f含有广义CR型异状点.对于满足这样的条件的连续函数f,通过对各种RL-序列的组合性质的分析,我们发现了在f~n(n等于2的某一方幂)的一个单峰(或反单峰)子系统f~n|Y上即存在着不可数个广义CR型异状点及不可数个具有某些其它性质的点.     

关于一类自映射轨道的研究

1 概念及已有结果 设X为拓扑空间,f∈C0（X,X）,f0表示恒等映射,对任意自然数n,定义fn=fοfn-1. 称O（x,f）={fn（x）│n=0,1,2,… ;x∈X}为x的f轨道. 关于周期点、周期点集、周期、周期轨道,Sarkovskii序如通常定义,可参见[1].     

泰勒公式的一个简便证明

本文给出泰勒公式一个较简便的证明.定理 设函数f(x)在a点的某个邻域∪(a)内具有(n l)阶导数,则对于任何x∈∪(a),x≠a,有     

相对映射的周期点

相对Nielsen周期点理论是讨论形如f(X,A)→(X,A)映射的周期点个数估计问题,本文对已知的估计量给予统一的处理.利用这种方法,定义了两个新的Nielsen型数,NPn(f;X-A)和Nφn(f;X-A),它们分别是映射f在Cl(X-A)中的n周期点和最小周期为n的周期点个数的下界.     

相对映射的周期点

相对Nielsen周期点理论是讨论形如f:(X,A)→(X,A)映射的周期点个数估计问题,本文对已知的估计量给予统一的处理.利用这种方法,定义了两个新的Nielsen型数, NPn(f;X-A)和NΦn(f;X-A),它们分别是映射f在cl(X-A)中的n周期点和最小周期为n的周期点个数的下界.     

线段自映射拓扑熵为零的一个充分条件

本文讨论线段I=[0,1]上连续映射产生的动力系统性质,名词,符号和基本定义均从[1].在文[1]中我们提到至今尚未解决的一个问题,即 猜测 设f∈C~0(I,I).若f无素周期点,则f的拓扑熵ent(f)=0.这个猜测的一个较弱形式是 弱猜测 设f∈C~0(I,I).若f的周期点的周期有上界,则ent(f)=0. 据arkovskiǐ的一个定理(参见[4]),f的周期点的周期有上界,则f的周期点的周期都具有2~l的形式,l≥0,因而f无素周期点.所以上述弱猜测是上述猜测的特款.在周期点集P(f)有限的条件下,文[2]和[3]已证明上述猜测是正确的.本文的目的是证明     

完备稠序线性序拓扑空间上的奇周期轨序关系

研究完备稠序线性序拓扑空间上连续自映射的周期轨,指出当连续自映射有（2n＋1）-周期轨而没有（2n-1）-周期轨时,该（2n＋1）-周期轨上各点的序关系.利用这个关系将Sharkovskii定理从实直线推广到完备稠序线性序拓扑空间上。     

拟-*-A(n)算子的谱性质

我们证明了以下结论:(1)若T是拟-*-A(n)算子,则T是似正规算子.(2)若E是拟-*-A(n)算子T的非零孤立谱点λ的Riesz幂等算子,则E是自共轭的且满足R(E)=N(T-λ)=N(T-λ)*.(3)若T或T^*是代数拟-*-A(n)算子,则f(T)满足Weyl定理.(4)若T*是代数拟-*-A(n)算子,则f(T)满足Weyl定理.(4)若T^*是代数拟-*-A(n)算子,则f(T)满足α-Weyl定理,其中f∈H(σ(T)).     

Fourier级数在区间端点处收敛性的判定

<正> Dirichlet定理给出了f(x)的Fourier级数收敛的充分条件:设f(x)的周期为2π,在[-π,π]内至多只有有限个第一类间断点和有限个极值点,则f(x)的Fourier级数收敛,且     

一类非线性多重调和方程△mu=f(|x|,u,| u|)的正整解

本文建立了一类Rn(n≥3)中非线性多重调和方程△mu=f(|x|,u,| u|)(m≥2)正的径向对称整体解的存在性定理,并给出了解的有关性质,推广了文[1]-[4]的有关结果.     

Grace定理的推广

Grace 定理的内容如下[1,P.164.例12].定理1 设 f(z)至多是 n+1(n>0)次多项式。若存在 a,b 两点,使得 f(a)=f(b),连接 a,b 得到一直线,以这直线的中点为园心,以仅与 a,b 和 n 有关的 R(n,a,b)为半径作一园,则在这个园内或其境界上至少有一点 z,使得 f′(z)=0.本文证明,多项式的限制条件可以去掉,而代之以正则函数即可.我们有下面的定理.定理2 设函数 f(z)在区域 E 内正则,a 为 E 内任意一点,则在点 a 的某个邻域 G(?)E 内,对于任意点 b∈G/{a},必存在点 z∈G,使得     

关于Dirichlet定理的一个值得注意之点

本刊1999年第2期刊有《傅里叶与傅里叶分析》一文,其中谈到狄利克雷在历史上第一个给出了函数f(x)的傅里叶级数收敛于它自身的一个充分条件:Dirichlet收敛定理:设f(x)是以2π为周期的周期函数,如果它在一个周期内满足:1°f(x)连续或只有有限个第一类间断点;2°f(x)至多有有限个极值点,则f(x)的傅里叶级数收敛,并且12a0 ∑∞n=1(ancosnπlx bnsinnπlx)=f(x),当x为f(x)之连续点,f(x-0) f(x 0)2,当x为f(x)之间断点.　　这个定理的证明,除三角级数之专著(如Zygmand.TrigonometricSeries)一般不易见到,以致引用者往往对其条件不太考究.其实条…     

一道2001年CMO试题的推广

题目 A　将周长为 2 4的圆周等分为 2 4段 ,从 2 4个分点中选取 8个分点 ,使其中任何两点间所夹的弧长不等于 3和 8.问满足要求的 8点组的不同取法共有多少种 ?说明理由 .( 2 0 0 1年 CMO试题第 5题 )本文给出下列更一般的结论 .定理 B　设 n >1为正整数 ,将周长为 3n的圆周等分成 3n段 ,从 3n个分点中选取 n个点 ,使其中任何两点所夹的弧长不等于 3和n.记满足要求的 n点组的不同取法总数为A( 3,n) ,则A( 3,n) =2 n ( - 1 ) n .2 ,　当 3| n时 ,[2 n3 ( - 1 ) n3 .2 ]3,当 3| n时 .为了证明上述定理 ,我们需要下列引理 .引理　设 n >…     

R~n 空间一类广义 MAXMIN 问题的最优性条件

本文拟应用凸锥分离定理给出 R~n 空间一类广义maxmin问题的最优性条件.第2节首先给出了有关的预备性定义及引理.第3节研究了3种GMM(D,f)模型,给出了相应的最优性条件.第4节讨论了 GMM(D,f)最优解与 R~(?) 空间广义向量极值问题GVP(D,f)(见定义2.1)的弱有效解的一个关系.     

二阶离散周期边值问题的多重正解

考虑如下边界值问题:-Δ[p(n-1)Δy(n-1)]+q(n)y(n)=f(n,y(n)),n∈[1,N](1.1)y(0)=y(N),p(0)Δy(0)=p(N)Δy(N)(1.2)其中{y(n)}nN=+01是一个期望解.运用锥不动点定理,给出了一种二阶离散周期边值问题多重正解的新的存在性定理.     

用素数判定多项式不可约

本文介绍两个用素数列来判定多项式不可约的定理 ,从而把素数与不可约多项式紧密联系起来了 .定理 1　对于整系数多项式f ( x) =∑ni=0aixi　 ( n∈ N,an ≠ 0 ) ( 1 )若存在一个正整数 p >1 max0≤ i≤ n{| ai| },使| f ( p) |不是合数 ,则 f ( x)在 Q上不可约 .为证明定理 1 ,先给出两个引理 .引理 1　多项式 ( 1 )的根的模必小于u =1 max0≤ i≤ n{| ai| }.证明　当 f ( z) =0时 ,假设 | z|≥ u(因为 an ≠ 0 ,所以 u≥ 2 ) ,得| f ( z) |≥ | an| .| z| n - ( u - 1 ) ∑n- 1i=0| z| i≥ 1 . | z| n - ( u - 1 ) .| z| n - 1| z| -…