θ-方法的非线性渐近稳定性

１引言 数值求解延迟微分方程时,方法的稳定性具有无容置疑的重要性．自１９７５年Ｂａｒｗｅｌｌ引入Ｐ－稳定性与ＧＰ－稳定性概念以来,该领域研究已获许多重要成果（如［７］［８］）．它们大多是基于下面标量线性模型方程：其中λ,μ为复数且满足延迟量τ（＞０）为常数,函数θ（ｔ）连续． 我们首先回忆Ｂａｒｗｅｌｌ［１］的定义． 定义１．１一个数值方法称为是Ｐ－稳定的,如果对任意正整数ｒ用该方法按步长ｈ＝τ／ｒ求解（１．１）时在节点ｔｎ＝ｎｈ的数值解ｙｎ满足 定义１．２一个数值方法称为是ＧＰ－稳定的,如果用该方…     

延迟动力系统线性θ-方法的散逸性

１．引言 科学与工程中的许多问题具有散逸性,即系统具有一有界吸引集,从任意初始条件出发的解经过有限时间后进入该吸引集并随后保持在里面．如 ２维的 Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程、Ｌｏｒｅｎｚ方程等许多重要系统都是散逸的．散逸性研究一直是动力系统研究中的重要课题（参见Ｔｅｍａｍ［７］）．当数值求解这些系统时,自然希望数值方法能保持系统的该重要特性．１９９４年, Ｈｕｍｐｈｒｉｅｓ和 Ｓｔｕａｒｔ［６］首次研究了 Ｒｕｎｇｅ－Ｋｕｔｔａ方法对有限维系统的散逸性．１９９７年Ｈｉｌｌ［２］研究了其无穷维散逸性…     

一般线性方法的正则性

１．引言数值方法的动力特征近年引起了人们的广泛关注。其中之一就是系统的平衡态和数值方法的平衡态相一致的问题,即用一个数值方法沿定步长求解系统时,是否会出现伪平衡。不可能出现伪平衡的方法称为是正则的。ＲＫ方法和线性多步法的正则性已被众多的文献研究［２,３,４］,其它方法的正则性显然是一亟待研究的问题。本文讨论较ＲＫ方法和线性多步法远为广泛的一般线性方法的正则性。设ｆ：Ｒ~（Ｎ）→Ｒ~（Ｎ）是一充分光滑的映射,考虑求解初值问题：的一般线性方法［１］：其中步长逼近于逼近于关于微分方程真解ｙ（ｔ）在第ｎ层…     

HILBERT空间中散逸动力系统一般线性方法的散逸稳定性

１．引言 １９９４年,Ｓｔｕａｒｔ与 Ｈｕｍｐｈｒｉｅｓ［４,５］首先考察了用 Ｒｕｎｇｅ－Ｋｕｔｔａ方法求解 Ｒｍ中的散逸动力系统（２．１）－（２．２）时数值解是否继承真解具有的散逸稳定性,并表明代数稳定且不可约的 Ｒｕｎｇｅ－Ｋｕｔｔａ方法是散逸稳定的且有一有界吸引集．１９９６年,本文作者［１］把这一工作推广到了两类特殊的一般线性方法．１９９７年,Ｈｉｌｌ在［３］中证明了Ａ－稳定是单支方法散逸稳定的充要条件,在［２］中又把文［４,５］的工作推广到了 Ｈｉｌｂｅｒｔ空间中的散逸动力系统（２．１）－（…     

一类二阶时滞微分方程的振动性判据

本文从不同的角度研究一类二阶时滞微分方程的振动性，得到了一切解振动性的充分条件。改善了文［１］、［２］的工作．     

Lyapunov不等式的最佳解与一般线性方法的可行性

１引言在刚性常微分方程初值问题数值解法理论中,常要求数值方法中的某个系数矩阵Ｂ具有性质：使Ｌｙａｐｕｎｏｖ不等式有对角正定解Ｄ存在,即存在对角正定矩阵Ｄ,使ＤＢ＋ＢＴＤ为正定矩阵·在许多情形,这种解Ｄ是存在的,例如Ｇ－Ｌ-、ＩＡ-和ⅡＡ－ＲＫ方法［３］．然而也存在一些方法,它是Ａ－稳定、Ｌ－稳定,甚至是代数稳定的,但这种Ｄ却不存在．例如ⅢＣ（ｓ≥３）ＲＫ方法［３］和当θ＝１时的块θ－方法［５］（至少对ｒ＝２,３,４是如此）．前者是Ｌ－稳定的,也是代数稳定的,后者也是Ｌ－稳定的．这意味着,可能有不少…     

W_2~m空间中样条插值算子与最佳逼近算子的一致性

由线性微分算子确定的样条是连接多项式样条与希氏空间中抽象算子样条的重要环节,对微分算子样条的研究,既可从更高的观点揭示和概括多项式样条,又可启示我们去发现抽象算子样条的一些新的理论和应用． Ｇｒｅｅｎ函数是研究微分算子样条的重要工具 ［１］,但在微分算子插值样条的计算及将样条用于数值分析中,再生核方法起着更重要的作用．文献［２］［３］给出了与二阶线性微分算子插值样条有关的再生核解析表达式;由此得到了二阶微分算子插值样条与空间Ｗ_２～１［ａ,ｂ］中最佳插值逼近算子的一致性;而且还利用再生核给出了Ｈｉ…     

再论求导数零点的二次收敛迭代法

一维搜索是最优化理论数值计算的一个基本问题,它可归结为求定义在开凸区域Ｄ上的可微函数 ｆ的导数零点．若用 Ｎｅｗｔｏｎ法求导数零点,则涉及到二阶导数的计算．若用带导数的三次插值法则需要开平方的计算［１］．为了克服上述问题,本文作者之一在 １９７９年［２］首次提出了下述具有二阶收敛速度的迭代法：通常,我们称迭代法（０．１）为基于信息集（ｆ（ｘｎ）,ｆ’（ｘｎ）,ｆ（ｘｎ－１）,ｆ’（ｘｎ－１）｝的迭代法,而δ（ｆｘｙ）是基于信息集｛ｆ（ｘ）,ｆ＇（ｘ）,ｆ（ｙ）,Ｆ＇（ｙ））｝的三次插值多项式在ｘ处…     

两类求解刚性常微分方程的指数拟合法

本文提出了两类不需计算高阶全导数的３价和４价指数拟合的单步法，这些方法分别改进或推广了［１］－［４］中的某些方法，初步数值试验表明，这些方法用于求解某些ｓｔｉｆｆ问题，优于［１］－［４］中同阶方法。     

一般线性或非线性约束下的共轭投影变尺度方法

梯度投影法是一类有效的约束最优化算法，在最优化领域中占有重要的地位．但是，梯度投影法所采用的投影是正交投影，不包含目标函数和约束函数的二阶导数信息·因而；收敛速度不太令人满意．本文介绍一种共轭投影概念，利用共轭投影构造了一般线性或非线性约束下的共轭投影变尺度算法，并证明了算法在一定条件下具有全局收敛性．由于算法中的共轭投影恰当地包含了目标函数和约束函数的二阶导数信息，因而收敛速度有希望加快．数值试验的结果表明算法是有效的．     

Ergodic decomposition

Ergodic systems, being indecomposable are important part of the study of dynamical systems but if a system is not ergodic, it is natural to ask the following question:

Is it possible to split it into ergodic systems in such a way that the study of the former reduces to the study of latter ones?

Also, it will be interesting to see if the latter ones inherit some properties of the former one. This document answers this question for measurable maps defined on complete separable metric spaces with Borel probability measure, using the Rokhlin Disintegration Theorem.     

正态总体均值置信区间长度的比较

当单个正态总体方差分别为已知和未知时,总体均值置信区间的长度比较问题仍待探讨.利用样本标准差数学期望的性质,通过积分变换的方法证明了前者小于后者的期望.     

Atomic Decompositions for Two-Parameter Vector-Valued Martingales and Two-parameter Vector-valued Martingale Spaces

In this paper atomic decompositions for two-parameter vector-valued martingales are given. With the help of the atomic decompositions the relations between the mutual embedding of two-parameter vector-valued martingale spaces and geometric properties of Banach spaces are investigated. Our study shows that geometric properties of Banach spaces determine the embedding of martingale spaces and conversely the latter can characterize the former. This revised version was published online in June 2006 with corrections to the Cover Date.     

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。     

二阶线性系统稳定性判定的数值方法

A为N阶方阵,N=2n,设A的特征值为ξ_1,ξ_2,…,ξ_N,根据[3]有如下定义: 定义1.若所有的 Reξ_i<0,则称系统(1.1)是渐近稳定的,相应的A阵叫渐近稳定阵;若所有的Reξ_i≤0且对所有的Reξ_k=0的ξ_k对应的初级因子均是线性的,则称系     

The Owen and Banzhaf–Owen values revisited

In this work, we consider games with coalitional structure. We afford two new parallel axiomatic characterizations for the well-known Owen and Banzhaf–Owen coalitional values. Two properties are common to both characterizations: a property of balanced contributions and a property of neutrality. The results prove that the main difference between these two coalitional values is that the former is efficient, while the latter verifies a property of 2-efficiency.     

On Positive and Weakly Positive Implicative BCI-Algebras

Prove that the notion of positive implicative BCI-algebras coincides with that of weakly positive implicative BCI-algebras, thus the whole results in the latter are still true in the former, in particular, one of these results answers definitely the first half of J. Meng and X.L. Xin’s open problem: Does the class of positive implicative BCI-algebras form a variety? The second half of the same problem is: What properties will the ideals of such an algebra have? Here, some further properties are obtained.     

椭圆-抛物系统的近似能控性

设计了两类控制器同时作用于椭圆-抛物系统:一类是传统的内部控制(分布控制器);另一类是以一个时变系数形式描述的内部控制(块控制器,κ(t)只是和时间有关,而与空间位置x没有关系,所以称块控制器,是相对于分布控制而言的).由于这里讨论的系统是非线性的,也只能得到全局近似能控性,不能得到精确零能控性.设计这样的控制器的目的...     

Conic systems and sublinear mappings: equivalent approaches

It is known that linear conic systems are a special case of set-valued sublinear mappings. Hence the latter subsumes the former. In this note we observe that linear conic systems also contain set-valued sublinear mappings as a special case. Consequently, the former also subsumes the latter.     

On (⊥,?)-generalized fuzzy rough sets

In the present paper, we mainly discuss the (??,?)-generalized fuzzy rough sets introduced by B.Q. Hu and Z.H. Huang with both constructive approach and axiomatic approach considered. In the former, we started from the investigation of the properties of the ??-upper and ?-lower approximation operators generated by binary fuzzy relations. In the latter, by defining a pair of fuzzy set-theoretic operators, we show (??,?)-fuzzy rough approximation operators can be characterized by different sets of axioms.