多自由度Hamilton系统的Birkhoff低维环面

考察平面上原点O的某邻域U上保面积的C~l(l≥3)微分同胚f:U→R~2,满足f(O)=O,且f在原点处的导映射Df(O)有一对纯虚根e~(±iω_0),ω_0≠2πm/n,即原点是f的椭圆型不动点,在通常情况下可将f写成f=B C,其中B限制在每个圆周p~2 q~2=2τ上等干旋转一个角度ω(τ)=ω_0 ω_1 …,C代表高阶项.显然每个圆周p~2 q~2=2τ都是B的不变圆周.通常f不能把每个圆周都保留下来,但是根据著名的KAM定理,大量使得ω(τ)满足Diophantine条件的不变圆周并不破裂,它们经过高阶项C的摄动后只是稍微变形.然而在通常情况下,使得ω(τ)为有理数的圆周经过提动后一般会破裂,从而产生f的有限多对周期点,其中一半是双曲的,一半是椭圆的,如Birkhoff不动点定理所示.对于那些椭圆型周期点附近的情况可以重复上面的论述而得到一个无限嵌套的自相似结构,从而形成一个复杂的图象.     

双周期解析函数的Poincaré问题

设双周期为2ω_1,2ω_2,Im(ω_2/ω_1)>0,基本胞腔取成以±ω_1±ω_2为顶点的平行四边形,记为S_0,设L_0为S_0内部的一条光滑闭曲线,已取定反时针方向为正向,L_0的内部区域记为S_0~+且O∈S_0~+,记S_0~-=S_0—S_0~+(?),把     

引力理论的准定域能量和动量

本文研究动力学几何的一般理论,使用的几何量为共动坐标O~α、联络1形式ω_β~α和度规系数g_(υν).对应场强为挠率2形式(?)~α:=DO~α ω_β~α∧O~β、曲率2形Ω_β~α:=dω_β~α ω_Γ~α(?)_β~Γ及非度规性1形式G_(υν):=Dg_(υν)=dg_(υν)-ω_υ~αg_(αυ)-ω_ν~αg_(υα).引入协变的正则动量后,可得一阶拉格朗日量4形式:     

亚纯函数的奇异方向与局部特征的等价

关于亚纯函数的Borel 方向的存在性,首先由G.Yaliron 得到定理A 设f(z)为开平面上ρ(O<ρ<+∞)级亚纯函数,则存在一条从原点出发的半直线B:arg z=θ_0(0≤θ_0<2π),使得至多除去两个例外的复数,对于每个复数a 和任意正数s,有sum from r→∞to —logn(r,θ_0,ε,f=a)/logr=ρM.Biernacki 建立了定理B 设f(z)为开平面上ρ(0<ρ<+∞)级亚纯函数,则存在一条从原点出发的半直线B:argz=θ_0(0≤θ_0<2π),使得至多     

余代数的有限性之间的关系

我们先给出Beckenbach不等式的进一步推广。 定理1 设α,A,B,β_1,β_2,…,β_λ(λ≥2),k_j,1≤j≤n,均为正实数,又已知0相似文献   

随机康托集和从属过程产生的分形的测度性质

设μ是直线上的Lebesgue测度,(Ω,g,P)=([0,1],B([0,1]),μ)~N,N={1,2,…},{X_n,n∈N}是(Ω、g,P)上的独立随机变量列,(?)_ω=(ω_1,ω_2,…)∈Ω,X_n(ω)=ω_n,(n∈N),对a.s.的ω∈Ω,存在一个随机半序<,使     

一般因子问题

设α_1≤α_2≤…≤α_k(k≥2)为任意给定的正整数,d(α_1,…,α_k;n)为n分解成形如表示式n=m_1~(α_1)…m_k~(αk)的个数(m_i为正整数)。△(α_1,…,α_k;x)表示和式     

主成分分析、神经网络及矩阵特征值

主成分分析(PCA)是数据压缩及待征提取的一个基本方法. 近年来,主成分分析的神经网络算法引起众多学者的兴趣.设x是一个均值为0的n维输入随机向量,PCA的目的是找出p(p<< n)个向量ω_1,…,ω_p使(1)E[(ω_i~Tx)~2]为极大;(2)ω_i~Tω_i=δ_(i,j~i),j-1,…p.记A=E(xx~T)为相关矩阵,则上述ω_1,ω_2,…,ω_p即为A的最大的p个特征值所对应的特征向量.因此,PCA问题的求解与求正定矩阵A的最大特征值及相应的特证向量有关.在众多的算法中,收敛性的讨论都归结成相应微分方程的稳定性和渐近稳定性,但对全局稳定性讨论甚少. 正如Oja在文献[2]中指出,对于任意初始条件下的整体收敛的讨论是一个挑战性的问题,另一方面,几乎所有文章都假设A的特征值满足λ_1>λ_2>…>λ_n. 很自然地要问,当某些λ_i为重根时结果又如何. 本文的目的就是回答上述两个问题.     

布朗运动的几何叠对数律

设{ω(t),t∈[0,1]}为d维布朗运动,令C_t(ω)=co{ω(s);0≤s≤t}((?)t∈[0,1]),称{C_t(ω),t∈[0,1]}为布朗凸包.Levy早在1956年就证明了其中V(·)表示凸集的体积泛函,m_d为非零常数.近来,关于布朗凸包的研究重新引起了人们的极大兴趣,因为布朗凸包描述了布朗运动的几何性态.Khoshnevisan在文献[3]中研究了C_t(ω)的局部渐近性态,他在引言中指出,由于{C_t,t∈[0,1]}实际上是一个“紧凸集值过程”,因此以前的研究(也包括文献[3])均将问题转化到关于C_t(ω)的某些“单调泛函”的研究上.     

用富里埃和逼近可微函数

设f(x)是周期2π的周期连续函数,‖f‖=max|f(x)|是它在空间C中的范数,ω(f,δ)是它的连续模。对于给定的连续模函数ω(δ)0,记H_ω为适合条件ω(f,δ)≤ω(δ) (0≤δ≤π)的函数f的全体。如果函数f(x)有r(r≥0)阶Weyl意义下的导数f~((r))∈H_ω,则说f∈W~((r))H_ω。     

一步合成针状Fe_(3-ω)O_4

尖晶石型Fe_(3-ω)O_4(0<ω<1/3)是磁粉和制备磁粉的中间体,也是钢铁腐蚀后常见的腐蚀产物。在已有一步合成的Fe_3O_4和自然腐蚀产物中,所得Fe_(3-ω)O_4晶体都呈块状,球状或棱锥状,但用作磁记录材料的Fe_(3-ω)O_4,必须具有针状晶体。为此,工业上至今仍不得不采取多步合成来制造磁粉。Formaron曾在脱氧的(NH_3OH)_2SO_4+Fe(NH_4)_2(SO_4)_2溶液中企图通过施加外磁场来获得针状Fe_3O_4晶体,但没有成功。最近作者等采取了新的合成路线,在外加磁场等作用下,首次一步合成Fe_(3-ω)O_4针状晶体,并弄清影响形成针状Fe_(3-ω)O_4晶体的一些主要因素。     

平稳随机变量序列的经验过程的弱收敛性

设{ξ_π)是强平稳随机变量序列,ξ_π服从[0,1]中均匀分布,F_π(t,ω)是ξ_1(ω),…,ξ_π(∞)的经验分布,序列{ξ_π}的经验过程{y_π}由下式定义:     

典型相关与广义相关系数

设x和y分别为p×1、q×1随机向量,协方差矩阵为记ρ_i(x,y)为x与y的第i个典型相关系数,即且ρ_1(x,y)≥…≥ρ_t(x,y)>0,t=R(Σ_(xy))。这里A~-和R(A)分别表示A的广义逆和秩。本文证明了如下三个定理。定理1 设q≤r=R(Σ_(xx)),则q×1随机向量y满足cov(y)=l_q,且使达到最     

关于代数函数的唯一和确定问题

本文给出代数函数的唯一性定理: 定理1 假定w(z)和(z)分别是v值和u值代数函数,并且u≤v,如果存在α_0,α_1,…,α_v,c_1,…,C_v∈,两两不同,以及z_1,(l=1,…,v):D(z_1,…,z_v)≠0,使得E_j=E(α_j,w)=E(α_j,)(j=0,1,…,v)和w_(pl)(z_1)=(?)_(ql)(z_1)=‘c_l(l=1,     

GCD整环与UFD分式理想的刻划

设R是整环,其商城为K.设I≤K是R的分式理想,令I~(-1)=|X∈K|XI≤R|,I_υ=(I~1)~(-1)及 _t=|B_υ|B是I的有限生成子分式理想|.当I=I_υ时,I称为υ-分式理想,当I=I_t时,I称为t-分式理想.在许多情形下,可用υ-理想与t-理想成功地刻划某些整环 也可以定义ω分式理想并用ω理想成功地刻划GCD整环与UFD.称R的一个分式理想I为ω-分式理想,指的是若J_x≤I,其中x∈K,J是有限生成的理想且J~(-1)=R,则必有X∈I.对任何分式理想I,Iω=|X∈R|存在一个有限生成理想J,使得J_(-1)=R,J_X≤I|,这是包含I的最小的ω分式理想.称I是有限型分式理想,如果存在一个有限生成子分式理想B≤I,使得B_ω=I_ω,这是有限生成概念的一个自然推广、我们有定理1 对整环R,以下各条等价:     

权为半整数的Eisenstein空间的提升

设N为无平方因子的正奇数,k为正整数,且k≥2,ω是模4N的偶特征。我们以_M_(k+(1/2))(4N,ω),S_(k+(1/2))(4N,ω)及E_(k+(1/2))(4N,ω)分别表示权为k+(1/2),群Γ_0(4N)上具有特征ω的模形式空间,歧点模形式子空间及其正交补子空间——Eisenstein空间。类似地定     

等谱黎曼流形的注记

设(M,g)是紧致连通的黎曼流形。M上拉普拉斯算子△有离散谱spec(M,g)={0=λ_0<λ_1≤2≤…}。如果黎曼流形(M,g)和(M,g)有相同的谱,即spec(M,g)=spec(M,g),则说(M,g)和(M,g)是等谱的。谱理论的一个基本问题是等谱的黎曼流形是否等距。一般情况下这个问题是没有肯定答案的。第一个例子是Milnor给出的两个等谱但不等距的16维平环。本文证明下面两个定理: 定理1 设(M,g)和(M,g)是两个紧致连通的局部对称的共形平坦黎曼流形,若它们是等谱的,则它们等距。     

Favard-Kанторович多项式在L~p空间

本文推广多项式P_n(f)。设给出分划△:0=α_(n0)<α_(n1)…<α_(nn)=1,(?)=max 0≤v≤n-1(α_n,_(v+1)-α_(nv)),△_n=min 0≤v≤n-1 (α_n,_(v+1)-α_(nv))。设     

无穷维Teichmller空间中测地线的唯一性问题

设[μ]是Teichm(?)ller空间T(Γ)中的一点,且[μ]≠[0].当T(Γ)是有限维时,[μ]中的极值Beltrami微分唯一,并且测地线段α:[tμ_0](0≤t≤1)是连接[0]与[μ]的唯一测地线段,这里的μo是[μ]中唯一的极值Beltrami微分.但是,当T(Γ)是无限维时,[μ]中的极值Beltrami微分不一定唯一.第一个反例由Strebel给出,该反例被称为Strebel烟囱.由此,Gardiner于1988年提出下面的基本问题:Gardiner问题 设[μ]是无穷维Teichm(?)ller空间 T(Γ)中的一点,且[μ]中有两个极值Beltrami微分μ_1和μ_2.那么连接[O]与[μ]的测地线段α_1:[tμ_1](0≤t≤1)与测地线段α_2:[tμ_2](0≤t≤1)是否相同?对于Gardiner问题,Li Zhong首先给出万有Teichm(?)ller空间中α_1与α_2不同的例子.之后,Tanigawa与Li Zhong分别给出了一般的无穷维Teichm(?)ller空间中α_1与α_2不同的例子,从而给予Gardiner问题否定的回答.进一步,人们自然会问:Gardiner问题中的α_1与α_2在什么条件下相同?在什么条件下不同?Tanigawa,Li Zhong以及沈玉良分别给出一些无穷维(或万有)Teichm(?)ller空间中α_1与α_2不同的充分必要条件.本文找出了无究维Teichm(?)ller空间中α_1与α_2相同的充分必要条件.     

一个求强连通自动机的自同构群的多项式算法

在本文中,所谓自动机是指一个体系(?)=(S,∑),其中S为一个集合,其元素称为状态,∑为一个集合,其元素称为字母,并且对任何s∈S和σ∈∑,都有一个状态与之对应,并记作s~σ。∑的字母的有限序列称为字。称(?)是强连通的,如果对任何两个状态s,s′∈S都有∑上的字ω=σ_1σ_2…σ_i,使s~ω=s′,其中s~ω=(((s~(σ_1)~σ_2)…)~σ_t。称S到自身的一个1-1映