在稳定性理论中多滞后NDDE与ODE的等价性问题

早在50年代,我国以秦元勋教授为首的数学工作者们就提出了在稳定性理论中微分方程与微分差分方程的等价性问题(参见文献[1]),并将系统的研究成果总结在文献[2]中。本文利用文献[1,2]中的思想方法,建立了在稳定性理论中多滞后中立型微分差     

关于映射稳定性的弱猜测

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

一类非线性波动方程组差分格式的理论分析

的初边值问题和周期初值问题的差分计算中的理论问题。其中向量φ=(ψ_1,ψ_2,…,ψ_L)~T为复值函数向量,未知函数X(x,t)为实值函数;μ,δ,ν均为实常数;在文献[1,2]中研究了该类三维非线性波动方程组的三维孤立子问题。在文献[3]中证明了这类非线性波动方程组光滑解的存在唯一性。本文对一维非线性波动方程组的初边值问题给出隐式差分格式,证明了该格式依C~1模的收敛性和稳定性,并由差分解的高阶差商的一致性估计得到了微分方程组广义解的存在性。对多维非线性波动方程组的周期     

几类直接控制系统绝对稳定的充分及必要条件

直接控制系统的绝对稳定性已有许多的研究。由于控制函数的任意性,处理比较困难。通常直接用V函数法,得到绝对稳定的充分条件,如文献[1—4]等。当n=1时,系统为绝对稳定的充分及必要(简称充要)条件容易得到,但n≥3时,绝对稳定的充要条件还未见到。最近有人对A=-ρE,ρ>0,E为n阶单位矩阵,这一特殊系统得到绝对稳定的充要条件,本文得到几类直接控制系统绝对稳定的充要条件。     

一类三次系统的奇点量公式和可积性条件,M(3)≥7

为了统一地处理实平面微分自治系统的焦点量和鞍点量,文献[1]中引进并讨论了复自治微分系统的奇点量。一个至今尚未解决的问题是:右端为三次多项式的二阶微分自治系统,实域中的细焦点、细鞍点以及复域中的细临界型奇点其最高精细度为多少(M(3)=?)。由文献[2]与[3]中的结果可得M(3)≥5。本文讨论系统     

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

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

反向时滞微分不等式及其应用

Gronwall-Bellman基本不等式,在研究微分方程的理论中起到了极其重要的作用。而Halanay的标量时滞微分不等式,在研究时滞微分方程的稳定性理论中亦起到了相应的作用。在文献[4]中,我们曾建立了一个高维的时滞微分不等式。     

关于Powell方法理论基础的探讨

Powell直接方法是求解无约束最优化问题的一个重要方法。它是从研究正定二次目标函数■(其中G是n×n阶正定对称矩阵,b是常向量,c是常数)导出的。Powell先后在文献[1]、[3]中两次证明了下列定理:n个非零向量D:d_1,…,d_n的函数     

部分线性模型中M型回归样条估计的一些新结果

考虑下列部分线性模型Y_1-X′_1β_0+g_0(T_1)+e_i,1≤i≤n,其中(T_1,X_1,Y_1),…,(T_n,X′_n,Y_n)是随机向量(T,X′,Y)的 i.i.d.样本,X∈R~d,T∈[0,1],β_0为未知参数向量,g_0是一光滑未知函数.这个模型在文献[1]中首次被提出,文献中研究过β_0和 g_0(t)的估计,例如,基于惩罚函数法的平滑样条估计;基于核方法的估计;用分段多项式来逼近 g_0,基于最小二乘法的估计.由于上述估计不稳健,文献[8]用分段多     

Liapunov方法在概周期系统研究中的应用

本文考虑下列一致概周期系统 (?)=f(t,x),(t,x)∈R×R~n(H),H>0。 (1)对(1)式的概周期解的存在性,利用渐近概周期函数和Liapunov函数,已有许多结果(参见文献[1]及其参考文献)。然而,这些结果通常要求所构造的V函数关于x-y定正、有无限小上界且对伴随系统     

耗散对量子系统分布函数的影响

在文献[1]中我们计算了一个一维量子耗散系统的准几率分布函数,发现半经典近似下的准几率分布函数和相应经典系统的分布函数有着比较显著的差别。分析文献[1]中(4)式及(5)式可知,量子力学效应通过系统的耗散     

关于Bent函数与其变元的非线性组合之间的相关性

近年来,Bent函数在密码系统的设计中获得了广泛的应用.Bent函数的一个重要性质是,Bent函数与其变元的线性组合之间具有比较小的相关性.基于这一性质,文献[3]用Bent函数构造流密码中非线性组合生成器的组合函数,有效地解决了非线性组合生成器系统受到线性相关攻击的问题.但是,文献[4]已经注意到,Bent函数不是相关免疫函数(相关免疫函数     

有效Hahn-Banach定理

Hahn-Banach定理在非光滑分析方面有着重要的应用,如文献[1～3]。 本文在拓扑向量空间中,用给定的尖闭凸锥K来确定空间的序,并引进了集值函数的K次线性的概念。利用有效性的概念,对于集值函数得到了Hahn-Banach定理有效性的表示形式,并将这个结论称为有效Hahn-Banach定理。     

环面上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映射。     

微分算子代数的导子Lie代数

文献[1]研究了微分算子Lie代数的2-上循环,下面我们来确定微分算子Lie代数和微分算子(结合)代数的导子Lie代数。 1 微分算子代数的外导子设=C[t,t~(-1)]是复数域上的Laurent多项式代数,d/dt是作用在上的微分算子,记td/dt为D(与文献[1]中符号不同)。易证     

多值逻辑函数相关免疫的谱特征

相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对     

超越函数Det(a_(ij)+b_(ij)e~(-λτ)—δ_(ij)λ)_(n×n)的零点全分布在复平面左半部的代数判定

在时滞动力系统的运动稳定性研究中,超越函数起着重要作用。虽然在文献[2]中已给出了关于λ和e~λ的多项式H(λ,e~λ)零点分布的超越判定准则,但是,理论的解决与实际的计算还有很大距离。因此,秦元勋教授在文献[3]中给出了函数f_n(λ,τ)对一切τ≥0其零点全部分布在复平面左半部的充要条件。最近,文献[4]也给出了一组较易验证的充分条件。     

关于C_n~(1)的水平1标准模的构造

本文利用代数具体给出了在主图画中C_n~((1))(4≤n≤7)的水平1标准模的结构,修正了文献[1]. 设V_0是仿射型Kac-Moody Lie代数C_n~((1))的标准模V的最高权向量,Ω(V)或Ω是V     

Smale马蹄的一个简单模型

在微分动力体系的研究中,“Smale马蹄”是一个著名的重要的例子。这个例子提供了一个这样的微分同胚:它有无穷多个周期点,并且其非游荡集是一个“康托集”。但在文献[1]中对这个例子的表述很复杂。这里,我们给出“马蹄”的一个较简单的模型。关于Ω稳定性的证明略去,因为它可从文献[1]中的一般结果推出。首先,给出R~2中的矩形域Q、Q_1、Q_2、P_1、P_2的定义如下:     

单一奇点外围的极限环的解析理论

本文在文献[1—4]的基础上对含单参数α的实平面微分自治系统E(α):讨论了极限环的若干解析理论问题。 条件Ⅱ E(a)的右端是三个变元的实解析函数,X(0,0,a)=y(0,0,a)=0,且当|a|<<1时E(a)在原点邻域的线性近似系统为