关于Lax-Milgram定理和Cea定理的一个注记

本文研究抽象变分问题（不必要求具有强制性）的Galerhin方法，利用泛函分析理论证明了：若变分问题的Galerkin逼近问题存在唯一解，那么它本身的解存在唯一且可由Galerhin逼近解无限逼近的充要条件是其Galerkin逼近格式具有某种稳定性．此结果是对Lax-Milgram定理和Cea定理的补充，可以应用于不必具有强制性的变分问题．     

关于完备随机内积模中的Lax-Milgram定理的注记

设(S,X)为数域K上以σ-有限测度空间(Ω,A,μ)为基的完备的RIP-模,而且α:S×S→L(μ,K)满足如下条件:(A)存在ξ∈L (μ),使得a(p,q)ξ·X~p·X~q,p,q∈S;(B)a是coercive(即,存在η∈L (μ),使得a(p,p)η·X~p2,p∈S且μ({ωη(ω)=0})=0);(C)对每个q∈S,a(·,q):S→L(μ,K)是模同态,且对每个p∈S,a(p,ξq1 ηq2)=ξ-a(p,q1) η-a(p,q2),q1,q2∈S及ξ,η∈L(μ,K).则存在唯一的连续模同态A:S→S使A-1存在且μ-a.s.有界,还满足:(1)a(p,q)=XA(p),q,p,q∈S;(2)X~A-1(p)1ηX~p,p∈S.     

存在唯一性定理的一个注记

一阶微分方程解的存在唯一性定理及其证明中 ,以常量函数作为初始逼近函数的情形可推广至以任一连续函数作为初始逼近函数的情形     

关于一个第二类变分不等式的有限元逼近

A new type of finite element scheme including the numerical integration modi-fication is presented for the second type variational inequality. Our methods really simplify the finite element analysis and practical calculation. The unique existence and stability of finite element solution are proved , and particularly the optimal order error estimates are derived under H^1 and L2 norms.     

关于Timan定理的一点注记

本文研究了连续函数的最佳逼近多项式的点态逼近性质.通过一个具体函数的连续模估计,得到最佳逼近多项式的点态逼近阶估计,并且存在连续函数使得最佳逼近多项式能够满足Timan定理.     

关于Poincaré定理的注记

§1.引言命p,q,n是三个正整数,p+q=n,通常,从考虑n维定向组合同调流形K及其对偶复形K~＊的定向元素之相交指数出发,可以证明(见[2],467-483页).定理1.复形K的p维上同调群~PH~G(K)与复形K~＊的q维同调群~qH_G(K~＊)彼此同构.由于K和K~＊具有同一的重心重分K′,而同调群是重心重分的不变量,所以,从定理     

变分不等式问题的一个新的存在性定理

对于具有一般非空闭凸集约束的变分不等式问题 ,本文给出了一个新的例外族的定义 .通过倩同伦不变定理 ,我们证明了一个择一定理 ,这给出了所考虑问题解的一个充分性条件 .特别 ,我们建立了变分不等式问题的一个新的存在性定理 ,推广了Zhao的一个最近的存在性结果 ,进而也推广了著名Mor啨关于非线性互补问题的存在性定理 .     

关于生存定理的一个注记

研究多值映象F取无界值时微分包含生存轨道的存在性，证明了相应的生存定理．     

关于李国平一个定理的注记

对于李国平教授在“推广的Привлов定理”一文中提出的三个条件进行了分析,研究了其内在关系,最终去掉两个条件,从而大幅改进原结果。     

关于Erdos-Szekeres定理的一个注记

Let g(n) denote the least integer such that among any g(n) points in general position in the plane there are always n points in convex position. In this paper we show that g(n)≤(2n-5 , n-2)+2 by a new method.     

关于Kahan定理的一个注记

设A∈C~(n×n),B∈C~(k×k)均为Hermite矩阵,它们的特征值分别为{λ_j}_(j=1)~n和{μ_j}_(j=1)~k(k≤n);Q∈~(n×k)为列满秩矩阵.令 (1) 则存在A的k个特征值λ_(j_2),λ_(j_2),…,λ_(j_k),使得 (2) 其中σ_k为Q的最小奇异值,||·||_2表示矩阵的谱范数.这是著名的Kahan定理·1996年曹志浩等在[2]中将(2)加强为 (3) 这是Kahan的猜想.在本文中,我们讨论将Kahan定理中“B为k阶Hermite矩阵”改为B为k阶(任意)方阵后,特征值的扰动估计,有以下结果. 定理 设A∈C~(n×n)为Hermite矩阵,其特征值为{λ_j}_(j=1)~n,B∈C~(k×k)的特征值为{μ_j}_(j=1)~k,而Q∈C~(n×k)为列满秩矩阵.则存在A的k个特征值λ_(j_1),λ_(j_2),…,λ_(j_k),使得     

A NOTE ON FULLER'S THEOREM

In 1972, Fuller proved that a complete additive subeategory _RC of R-Mod isequivalent to amodule category ⊿-Mod if and only if _RC=Gen(_RU)for some quasiprogenerator _RU and ⊿≌End _RU canonically. In this note the author gives a characterization of _RC which makes _RU a projective R-module in the case when R is a right perfect ring with identity, and shows that R-Mod is the unique complete additive subcategory of R-Mod which is equivalent to R-Mod for a left Artinian ring R.     

关于(f,g)-因子定理的注记

关于（ｆ，ｇ）－因子定理的注记蔡茂诚（中国科学院系统科学研究所，北京１０００８０）国家自然科学基金资助项目．１９９３年２月５日收到．我们只考虑有限的一般图，允许多重边和自环．一般图记作Ｇ＝（Ｖ，Ｅ），其中Ｖ（Ｇ）是点集合，而Ｅ（Ｇ）是边集合．对于任意...     

关于3－正则子图问题的一个注记

这篇注记证明判断一个图是否有３－正则子图的问题，即使对于节点次不超过４的平面图，仍然是ＮＰ－完全的。而且，此结果是最好的可能。     

A NOTE ON A TRANSFERENCE THEOREM OF THE SYSTEMS OF LINEAR CONGRUENCES

<正> Let p be a prime number. Let a_(ij)(1≤i≤t,1≤j≤s) be a set of st integers.Weuse the notations x=max(1, |x|), p_1=[(p-1)/2], p_2=[p/2], and (a)_p to denote the integer satisfying (a)_p=a(mod p),-p_1≤(a)_p≤p_2. Consider the dual of linear congruences     

求解变分不等式问题的一个递推算法的一个注

本文改进了[3]中的一个基本不等式和原算法，从而提高了数值计算的效率,而且在新算法的收敛性分析中去掉了变分不等式问题的单调性条件．     

关于非负对称矩阵的近似逆矩阵

本文研究了非负对称矩阵的近似逆矩阵问.利用矩阵S=(s_i,j)去近似它的逆矩阵方法,获得了近似误差的一个显式上界,并且证明了近似逆的误差对于很大的n一致地具有阶1/（n-1）².