关于映射稳定性的次弱猜测

在文献[1]中给出了若干关于微分流形的可微映射稳定性的猜测,并证明了其中某一些是错误的,但对于弱猜测和次弱猜测则未能得到确定的结果。我们已在文献[2]中证明了弱猜测是错误的。本文将证明次弱猜测也是错误的,同时又一次证明了弱猜测是错误的。从此文献[1]中关于映射稳定性的猜测全部都被否定。次弱猜测对于任二拟紧C~∞微分流形     

伴随于可积系Lax表示的Lax算子代数

最近许多著名的1+1维可积系的Lax算子代数被直接提出,本文旨在给出可积系Lax算子代数的一般描述。引用文献[4]中的符号。设B表示所有复(或实)的C~∞可微函数P[u]=P(x,t,u),B~r={(P_1,…,P_r)~T|P_i∈B),V~r表示所有C~∞可微的线性算子Φ=Φ(x,t,u):B~r→B~r,而     

关于映射稳定性的弱猜测

关于微分流形的可微映射的稳定性问题,文献[1]中给出过如下的猜测: γ-稳定性猜测。对于任二拟紧C~∞微分流形V和M,L(V,M,∞)中几乎所有的映射都是γ-稳定的(∞≥γ≥0)。其中“几乎所有”卽除去可数个无內点的闭集之和的意思。γ=∞时称为強猜测,γ=0,1时分別称为弱猜测和次弱猜测。文献[1]中证明了当∞≥γ≥2时上述γ-稳定性猜测都是错误的。于是仅留下     

A∞与C∞的表示的关系

文献[1～3]中讨论了完备无限秩仿射Lie代数A_∞的水平为1的不可约最高权表示的具体实现。由于C_∞可看作A_∞的子代数,所以A_∞的任一表示都诱导出C_∞的表示。本文讨论了A_∞与C_∞可积表示之间的关系,并由此得到C_∞的一类水平为1的不可约最高权表示的具体实现。 设C为复数域,记且除有限个c_i外全为零,Z为整数集合}。设v_i∈C~∞满足第i个元素为1而其余全为零。     

环面上Anosov自映射的π_1性质

一、引言 一个微分动力系统的π_1性质是与其结构稳定性和拓扑共轭类密切相关的(见文献[1—3])。本文利用文献[4,5]中关于结构稳定性的工作,研究了环面上Anosov自映射的π_1性质,得出了以下结论。 定理1 设a:T~m→T~m是m维环面T~m上的双曲自同态,且设a既不是双曲自同构又不是扩张自同态。则对充分C~1邻近a的Anosov自映射f,f不是π_1映射。     

遗传及全遗传JB-子代数的刻画

如所周知,遗传及全遗传C~*-子代数在C~*-代数的Morita等价理论及相关课题研究中起着很重要的作用。Edwards在文献[3]中把遗传C~*-子代数概念推广到了非结合代数——JB代数中,并获得了 命题A(文献[3],定理2.3)设A是JB-代数,则A的遗传JB-子代数与A的二次理想(即内理想)一致。 最近Edwards与Rttimann在文献[4]中证明了 命题B(文献[4],推论2.2) 设A是JB-代数,B为其JB-子代数,则B是A的二次理想(内理想)的充要条件是:B~(*+)中的任意正线性泛函到A~(*+)中的保范扩张唯一。 本文从此出发,给出了JB-子代数成为遗传JB-子代数的若干充要条件。进而又给出了全遗传JB-子代数的一个刻画。     

关于调和同态的某些注记

Riemann流形之间将调和函数芽拉回到调和函数芽的映射称为调和同态,它等价于水平弱共形调和映射。特殊流形之间调和同态的分类、构造是主要问题,已有很多调和同态的有趣的例子(参见文献[3～7]和Gudmundsson的文章)。 研究调和同态的整体性质必涉及临界点集的性质。本文首先利用调和同态的符号(sym     

C~n中全纯映射的一种Schwarz引理

庄圻泰教授给出了C~2中全纯映射的一种形式的Schwarz引理,得到一系列结果,本文试图对文献[1]的结果予以改进。§1.主要定理 以z=(z_1,…,2_n),wz=(wz_1,…,wz_n)(w∈C等表C~n的点。设Q为C~n中含原点o的开集。设函数W=φ(w),Ψ(w)及域△其意义如文献[1]§3所     

关于一类缺插值样条函数

关于缺插值样条函数,有不少文章散见在国内外文献中。但多限于讨论具体的样条函数。本文讨论一类C~3[0,1]中的一般m次缺插值样条函数,引入一种估计收敛速度的新方法。     

关于两参数Markov过程的强芽Markov性

本文把文献[1]所定义的关于单参数Markov过程强芽Markov性的概念移植到两参数Markov过程(即文献[2]中的~*-Markov过程)中,并得到了~*-Markov过程关于停线的两种强芽Markov性.同时,也证明了~*-Markov过程具有文献[3]意义下的强Markov性,且更具普遍性。此外,在文献[4]的基础上,证明了两参数Markov过程关于平面上任何开集具有芽Markov性,从而得到了文献[2]所希望的结果。     

关于拓扑熵的一点注记

Adler,Konheim和McAndrew于1965年在文献[1]中首次引进了拓扑熵的概念。稍后Bowen在文献[2]中证明了一个相当重要的结果,他指出,紧致度量空间自映射的拓扑熵等于这一映射在它的非游荡集上的限制映射的拓扑熵。在文献[3]中也可找到另一个证明。关于这一结果的所有已知的证明均强烈地依赖于所考虑的映射的定义域的可度量性。本文推广Bowen的上述结果,证明了下述定理。     

鲁棒H∞性能问题的分析和降阶输出反馈控制器设计

随着H~∞理论的研究进展鲁棒H~∞问题也逐渐成为研究热点.最近,文献[4]中提出了强鲁棒H~∞性能的概念,并在文献[3]的基础上,研究了在状态反馈下使闭环系统满足强鲁棒H~∞性能判据的分析和综合问题.本文考虑输出反馈情形:对一类不确定系统,设计输出反馈控制器,使闭环系统具有强鲁棒H~∞性能.考虑下述不确定系统:这里A_Δ,B_Δ,C_Δ与D_Δ是Δ(t)的连续函数,而时变不确定矩阵Δ(t)∈Δ为t∈[0,∞)的可测     

关于可交换的轨道压缩映射的公共不动点

本文讨论了可交换的轨道压缩映射的公共不动点问题,关于轨道压缩映射的某些结果,可参见文献[1—3]。     

扩张不变集的Песин熵公式

设M为C~∞紧致Riemann流形,f:M→M为C~2映射,m为M上的Riemann测度。μ为M上的f不变Borel概率测度。以λ(x)表示点x处f的所有正指数之和(计算重数),h_μ(f)表示f关于μ的测度熵。     

L-不分明完备映射

完备映射是拓扑学重要概念之一,如何定义一种合适的L-不分明完备映射自然是一个值得关注的课题。文献[1]与[2]就L=[0,1]之情形曾分别引入过不分明完备映射的概念,但都不太理想。受连续格理论的影响,文献[3]和[4]彼此独立地就值域为完全分配格情形建立了较为理想的良紧理论,它为我们建立一种理想的L-不分明完备映射理论提供了基础。本     

与间隙现象相关的一个极小问题

设Ω是R~3中的一个有界区域,B~3和S~2分别是R~3中的单位球和单位球面.由文献[1]知,对f∈H~1(Ω,S~2),如果div(D~（?）(f))≠0,这里D~（?）(f)=(（f×f_(x_2）)(?)f_（x_3）,(f×f_(x_3))(?)f_(x_1),(f·f_(x_1))(?)f_(x_2)),则f不能被C~1((?),S~2)中的映射逼近,即有下面的间隙现象:对不能被C~1((?),S~2)中的映射逼近的f∈H~1(Ω,S~2),一个自然的问题是:下面的极小问题是否可达:关于这方面的结果,Bethuel和Brezis对Ω=B~2,f=x/|x|,证明了(2)式不可达.本文在f满足下面的条件(f_1)和(f_2)时,考虑极小问题(2).我们将用一种与文献[2]完全不同的方法,证明对于(2)式的Euler方程的任一弱解u,有Sing(f)(?)Sing(u),这里,Sing(u)是u的奇点集.作为该结果的一个直接推论,知(2)式不可达.设f∈H~1(Ω,S~2)满足下面的条件:(f_1)存在a_1,…,a_k∈Ω,使得f∈C~1((?)\{a_1,…,a_k});(f_2)对于每个a_i,存在一个非常数的光滑映射φ_i:S~2→S~2,使得当σ→0时,于H_1(B~3)强收敛.显然,对于非常数的光滑映射φ:S~2→S~2,f(x)=φ(x/|x|)满足(f_1)和(f_2).在叙述本文的结果之前,先计算     

具有双幂型临界点的单峰映射的光滑共轭分类

对不具有临界点的离散动力系统研究光滑共轭问题的历史已经比较久长,见文献[1—4]。Sullivan在研究Feigenbum现象时提出的核心问题之一是要对单峰映射族给出光滑共轭分类,Jiang在这方面取得了较大的进展。本文拟在文献[7]的基础上,采用奇异的坐标变换,对一类具有双幂型临界点的单峰映射给出光滑共轭分类。值得指出的是:文献[7]中对特殊系统引进的反称量(asymmetry)是局部共轭不变量,而本文中对一般系统引进的双反称量(biasymmetry)却是整体共轭不变量。     

逆极限与σ-积的Lindelf度

1 重要结果本文的主要结果是下面三个定理。定理1与文献[1]的结果相关,定理2与3分别推广了文献[2]和作者的一些结果。下面Hausdorff拓扑空间简称空间,映射是连续的。给定集A,以|A|表A的基数。     

不可定向紧致C~∞ Riemann流形上的Laplace算子△的特征值

设(M,g)=(M,<,>)为可定向紧致C~∞Riemann流形,∧~kM为M上所有C~∞k形式的集合,令     

多值绝对连续映射的单值表示

文献[1—3]等中讨论了可测多值映射、连续多值映射的单值表示。本文采用折线逼近的方法讨论绝对连续的多值映射的单值表示。 设(X,d)是一个完备距离空间。对于X中点x和集合A,定义它们之间的距离为