广义复椭球上∂-方程的Lp估计 *

给出了Cⁿ 上一类耦合型弱拟凸域———广义复椭球的全纯支撑函数及其估计 .使用此估计 ,证明了 方程的最佳L^p 估计 ,同时给出广义复椭球上函数论的一些结果 .     

广义涡度方程初边值问题的整体光滑解及其应用

本文考察了紧Riemann流形上广义涡度方程的初边值问题。文中利用该方程的复合型特点,作了精细的先验估计,得到了该问题整体光滑解的存在唯一性定理。作为其主要应用,证明了大气动力学中的基本模式——斜压准地转-准无辐散模式初边值问题整体光滑解的存在唯一性。     

locale范畴中的逆极限

给出locale范畴中逆极限结构的明确描述 .借助于引入的一种新的极限形式———集体拉回 ,详细讨论了逆极限的性质 ,特别地 ,不用选择公理证明了locale形式的Steenrod定理 ,并且证明了紧空间式locale的逆极限一般不是空间式的 .作为在拓扑空间范畴中的应用 ,改进了经典拓扑学中的Steenrod定理     

关于遍历拟不变测度

本文主要运用文献[1]的想法,讨论了遍历拟不变测度相应的0—1律,和遍历测度乘积的遍历性,证明了拟线性泛函序列必定以概率1收敛或以概率1发散.文中所得结果特别适用于抽象Wiener过程情形.作为应用,我们推广了Gaussian测度的Landau-Shepp定理和L.Schwartz关于Gaussian柱概率σ-可加性准则.     

三次循环域的定义方程及迹型

本文中我们利用迹型作为工具,定出了三次方程x³—ax—b=0定义一个三次循环域的条件。     

有限级Fourier积分算子及其应用Ⅱ

本文继续讨论有限级Fourier 积分算子。在建立了这类算子的基本运算规则以后,我们证明了一般拟线性方程(包括非主型的方程)的解的奇性传播定理。并将这个结果应用于讨论一个非线性混合型方程与一个无旋定常流方程的解的奇性分析,得到了相应的奇性传播的结论。     

MO序列分析与ME序列分析

本文从复合顺序滤波出发,建立一类非线性随机数学模型——顺序模型,导出MO序列与ME序列。这不仅在理论上为时间序列提供了新方法,而且为应用开辟了极为广阔的前景。本文致力于考察MO序列与ME序列的统计特性。通过一系列的递归方程,证明其分布定理并确定其数值算法。分析MO序列的相关性质,研究ME序列的三类极限分布,给出高维ME序列的分布定理。同时还简介这些序列及其相应的滤波模型在图片处理等方面的应用。     

四元Heisenberg群上的一个半线性问题

本文研究了四元Heisenberg群上的一个半线性方程问题,通过把对应的方程问题化为积分进行估计,证明了其对应的半线性方程的非负双椭圆解只有唯一的零解,推广了相应Heisenberg群上的定理.     

一类非线性拟双曲型方程组

本文研究一类新的有别于文献[1—3]中所研究的非线性拟双曲型方程组,它可以包含模拟动物神经系中生物传播过程的神经轴方程作为最简单的特例。讨论了周期边界问题、初值问题和初边值问题,分别证明了整体古典解和整体广义解的存在唯一性。     

串行运算向量化的下标追踪法

本文为电子计算机向量运算识别器研制了一种识别与构造算法,这种算法自成体系,被命名为“下标追踪法”。跟坐标方法和时性关系矩阵方法相比较,它不仅增强了对于赋值语句循环的识别能力,而且把识别范围扩张到IF与GOTO语句,正在诸如151-3/4大型序列机一类的系统上加以实施。 文中介绍下标追踪法的基本思想、基本理论和基本方法,主要提出构造时序层次的公理系统——繁衍规则,证明了年长顺序定理与判别准则。     

界面波的二维调制

本文研究两层流中界面波的二维调制问题。导出了包络波的发展方程,它是由含有两强制项的非线性schrdinger方程和两个椭圆型线性方程组成。找到了发展方程的平面周期波解,研究了这类解的稳定性。在两层流的深度为无限的条件下,得到了Stokes波不稳定判据和平面周期波不稳定性图。然后将调制理论应用于计算二阶低频波——水位下降波,指出了调制理论用于海洋工程中二阶低频力计算的可能性。     

关于含有极小单侧理想的本原环结构

本文用双侧模方法代替通常有限拓扑方法来描述具有极小单侧理想本原环结构,结果包含深化和扩展了本原环的熟知基本定理——结构定理及同构定理(参见文献[1])。     

鲁棒稳定性分析的值映射与参数化方法

本文运用值映射与参数化的方法研究了鲁棒D稳定性问题。文中给出了主要结果——参数空间鲁棒分析的边界定理,作为该结果的应用,一些现代鲁棒分析的知名结果,例如多项式族的稜边定理,Kharitonov定理和菱形定理都被简洁地证明出来;给出了一种判定双参数多项式族D稳定的新方法。用该方法可以方便地确定H稳定多项式按一定摄动模式(区间方式和菱形方形)的最大摄动界。     

森林文法(Ⅰ)

本文提出了一种高维文法——森林文法,森林文法中产生式的左部和右部都是树结构的并置,本文研究了森林文法的分类,特别研究了它的子类——上下文有关森林文法,并定义了上下文有关森林文法的一个子类——弱优先森林文法。     

自由电子脉塞的一种统一理论——回旋动力学

本文详细地研究了回旋管、回旋Peniotron管、回旋自谐振脉塞不稳定性及其内在关系。文中从Vlasov方程出发,通过引入回旋动力变量及相应的交换,建立了上述自由电子脉塞的一种统一理论——回旋动力学。     

某些时滞微分方程解的渐近性质

本文证明了Bernfeld和Haddock在1976年一次非线性系统及其应用的国际会议上提出的一个猜想:时滞方程 x’(t)=-x^1/3(t)+x^1/3(t-r)(时滞r>0)的每个解当t→∞时趋于一常数是正确的,而且得到了更为广泛的结果,即文中定理1—3。     

计算几何中的仿射不变量理论及应用

作者最早把代数曲线论的仿射不变量理论引入计算几何领域,提出了m维仿射空间一般具有m(n—m)—2个内在仿射不变量——这一基本定理,并且进一步完备了对应用有重要意义的理论。其中证明了:平面n次Bézier曲线处处为凸的充分条件;平面三次Bézier曲线的分类问题。继而讨论了平面四次Bézier曲线的一些拐点分布情况以及一类平面五次参数曲线的拐点和奇点的分布。上述部分结果已经在造船、航空和汽车等工业部门中获得实际应用。     

具各向异性散射和裂变的中子迁移算子的谱

动态中子迁移Boltzmann积分-微分方程解的时间渐近行为,取决于方程所确定的迁移算子的占优本征值(Dominante eigenvalue).占优本征值问题是迁移理论中尚未解决的一个基本理论问题.本文借L₂空间的算子理论,对极为一般的迁移模型——含空穴的任何非均匀凸介质中,具各向异性散射和裂变的连续能量中子迁移——论证了相应的迁移算子的占优本征值的存在性.     

Ch空间与具无限时滞的泛函微分方程解的有界性及周期解

本文主要讨论具无限时滞的泛函微分方程的周期解的存在性.为此,我们首先研究了解的C_h—Rⁿ一致有界性及C_h—Rⁿ一致最终有界性,并将Yoshizawa关于有限时滞方程的周期解存在定理推广到无限时滞方程上来.对于具无限时滞的Volterra积分微分方程,我们得到了保证周期解存在的具体的条件.     

彩色图象边缘检测的新算法——广义模糊算子法

给出了广义模糊集合的定义,并提出用一个广义模糊算子将广义模糊集合变换成普通模糊集合,从而为二维图象边缘检测的最新算法——广义模糊算子法奠定了充分的理论依据.实践表明,这是一个简单、快速且定位精度很高的算法;此外,文中还就彩色图象的边缘检测问题,提出了具体的实施步骤.