f.f.p.维数

本文对每个环R定义了同调维数l.f.f.p.D(R),并讨论了该维数与环的弱维数及整体维数之间的关系。同时刻画了l.f.f.p.D(R)为有限的环。此外还计算了可换凝聚局部环的维数f.f.p.D(R)。H.Bass的一个早期结果是本文一主要结果之推论。     

CALCULATIONS OF BIVARIATE SPLINES——Ⅱ. BM-Splines in S_k~p. △_2, S_3~1, (?)_2 and S_4~2,(?)_2

Examining the B-coefficient relations between two adjacent s-simplicies with given smoothness requirements, we find a compromise technique between btp-coefficients and B-coefficients to calculate a bivariate locally supported spline, give another proof of the BM-splines in S_(100)(4d, 3d-1, △_2) and establish the BM-splines in S_2~1, and S_4,     

+(α_1+3α_3X~2)-β_1X+β_1X+β_3X~3=0的大范围分析

本文对方程(1)的等价系统(2)之全局分枝问题给出了完整的结果如图1所示.     

随机微分方程高阶分裂步(θ_1,θ_2,θ_3)方法的强收敛性

本文首先提出一类高阶分裂步(θ_1,θ_2,θ_3)方法求解由非交换噪声驱动的非自治随机微分方程.其次在漂移项系数满足多项式增长和单边Lipschitz条件下,证明了当1/2≤θ_2≤1时该方法是1阶强收敛的.此类方法包含很多经典的方法:如随机θ-Milstein方法,向后分裂步Milstein方法等.最后数值实验验证了所得结论.     

M.K.d.V.方程的数值方法

自从Zabusky和Kruskal用数值方法发现Soliton以来,Korteweg-de Vries(K.d.V.)方程的数值解法引起了广泛的兴趣,出现了大量的实际计算和某些理论分析结果。例如[1—8],郭本瑜最近的报告回顾了这方面的工作。比较起来,另一类具有Soliton解的广义K.d.V.方程的数值解法研究得还不多,严格的理论分析结果尚未     

p.n.p.矩阵的一些性质

一个n阶实方阵若其各阶主子式皆非正,则称为部分非正阵,简写作p.n.p.矩阵.特别地,各阶主子式皆负的p.n.p.矩阵称为部分负矩阵,简写为p.n.矩阵。文[1]、[5]讨论了p.n.p.矩阵的谱性质。本文在[5]的基础上讨论了p.n.p.矩阵的若干性质,并给出p.n.p.矩阵特征值的某些估计式。 引理1 设A=(A_(ij)_n×n为一p.n.p.矩阵,则A的特征值之实部不全为负(n≥2)。 证 设λ_1,λ_2,…,λ_n为A的全部特征值。假定A的每一特征值之实部皆为负。分两种情     

L-Factor of Irreducible χ_1×χ_2■σ

The L-factor of irreducible χ_1 ×χ_2■σ defined by Piatetski-Shapiro is computed by using non-split Bessel functional.     

低R.E度上D.R.E.度的非稠密性

本文用 O′′′优先损害方法证明了在 d.r e.度中任何低的递归可枚举度 l 之上存在一个非稠密区间,即存在 d.r.e.度 d,l相似文献   

低R.E度上D.R.E.度的非稠密性

本文用O(?)优先损害方法证明了d.r e.度中任何低的递归可枚举度ι之上存在一个非稠密区间,即存在d.r.e.度d,ι相似文献   

关于一类新型权函数A_r~(λ_3)(λ_1,λ_2;E)的性质

A_r~(λ_3)(λ_1,λ_2;E)一权函数是一类广义的权函数,可视为许多经典权函数的推广.文中给出了关于A_r~(λ_3)(λ_1,λ_2;E)-权的和与积的运算性质,并进而证明了A_r~(λ_3)(λ_1,λ_2;E)-权函数的两个充要条件.     

(l~(β_1))_(β_2)~*的次表示定理与l~(β_1)的非局部β_2-凸性(0＜β_1＜β_2≤1)(英文)

对0<β_1<β_2≤1,本文得到l~(β_1)的β_2-共轭锥的次表示定理(l~(β_1))_(β_2)~*■m~+×m~+,证明l~(β_1)不是局部β_2-凸空间.     

任何非递归r.e.度之下存在孤立d-r.e.度

证明了在任何非递归r.e.度之下都存在孤立d-r.s.度。     

关于p.n.p.矩阵的谱性质

§1 引言 定义1 设∈R~n×n),若A的每一k阶主子式是非正的,1≤k≤n,则称A是一偏非正矩阵,简称p.n.p.矩阵。 特别地,若一p.n.p.矩阵的每一k阶主子式是负的,1≤k≤n,则称此矩阵为偏负矩阵,简称为p.n.矩阵。 1974年J.J.Johnson给出了p.n.p.矩阵具有一负特征值的充分条件以及p.n.矩阵的两个谱性质。     

关于R.M.Stephenson.Jr.定理的一个注记

在文献[1]中,R.M.Stepheson.Jr.提出问题:是否每一个局部弱紧的,第一可数的正则的空间都存在一个第一可数的正则的一闭扩充?在此文中,我们给出了一个非弱紧而局部弱紧空间 X 具有形状为 X ∪{∞}的,第一可数的正则一闭扩充的充分必要条件,同时得到了两个有趣的推论。     

广义K.d.V.方程的数值方法

本文研究一般的广义K.d.V.方程的数值方法,给出了广义K.d.V.方程的一类半离散差分格式,证明了它们的守恒性。作者还严格证明了这类格式的广义稳定性,并由此推出收敛性。文章的最后考虑了全离散情形和两步格式。     

ON THE CONJECTURE OF A.LINS, W.DE MELO AND C.C.PUGH

We have proved that Lienard equation with F(x) = -F(-x) has at most n limit cycles. Under the condition, an affirmative answer to A.Lins, W.de Melo and C.C.Pugh's conjecture is given.     

在d-r.e.度结构中真d-r.e.分支度的弱稠密性 *

证明了对任意r.e .度v相似文献   

一类二阶微分算子属于L.S.或L.S.∩L.C.的判定

本文在半直线a≤t<∞上研究二阶微分算子L=d/dt(p(t)d/dt)-q(t),建立了三个定理,利用这些定理,可以判定算子 L属于 L.S.或 L.S.∩L.C.即 定理1 假设 i)p(t)>0,q(t)?0 当 t∈[a,∞)、ii)∫_a~∞|q(t)|dt<∞ 则算子L属于L.S.的充要条件是 ∫_a~∞ dt/p(t)t<∞。 定理2 假设 i) p(t)>0,当t∈[a,∞)时;ii)?a,1≤a≤∞使∫_a~∞|b(t)|~a dt<∞(当a=∞时,应设|b(t)}=O(1));(iii)算子 L属于 L.C.∩L.S.,则算子 L~*=d/dt(p(t)d/dt)-[q(t)+b(t)]也属于L.C.∩L.S.。 定理3 假设 i)p(t)>0,q(t)?0;ii)算子L属于L.C.∩L.S.,则当1≤a≤∞时, ‖|q(t)|-q(t)‖_(L~2[a,∞)=∞。     

Solution to a Problem of J.P.Hutchinson and P.B.Trow

Use of the Pigeonhole Principle to solve the following problem was discussed in several books, for example [1,2]. Suppose a player (e. g., tennis or chess) practices on d consecutive days, playing at least one game a day and a total of no more than b games where d相似文献   

固定时间梯度流在?_1-?_2范数中的稀疏重构

压缩感知(compressed sensing,CS)是一种全新的信号采样技术,对于稀疏信号,它能够以远小于传统的Nyquist采样定理的采样点来重构信号.在压缩感知中,采用动态连续系统,对?_1-?_2范数的稀疏信号重构问题进行了研究.提出了一种基于固定时间梯度流的稀疏信号重构算法,证明了该算法在Lyapunov意义上的稳定性并且收敛于问题的最优解.最后通过与现有的投影神经网络算法的对比,体现了该算法的可行性以及在收敛速度上的优势.