Grbner基在一类成元问题中的应用

Ｆ是ｎ元多项式环Ｋ［ｘ＿１，…，ｘ＿ｎ］上以｛ｅ＿１，…，ｅ＿ｎ｝为基的自由模，ｆ＿１，…，ｆ＿ｔ∈Ｅ［ｘ＿１，…，ｘ＿ｎ］，Ｋ［ｆ＿１，…，ｆ＿ｔ］是ｆ＿１，…，ｆ＿ｔ生成的子代数，利用Ｇｒｏｂｎｅｒ基给出了一个简单算法决定Ｆ的给定元素ｇ是否属于Ｍ；如果是属于Ｍ，该算法同时给出ｇ的表示，即求得ｔ元多项式ｈ＿１，…，ｈ＿ｔ使．特别当ｇ∈Ｋ［ｘ＿１，…，ｘ＿ｎ］时，该算法能决定ｇ是否属于子代数Ｋ［ｆ＿１，…，ｆ＿ｔ］及相应的表示．     

离散型随机变量分布函数注记

离散型随机变量分布函数注记戈定康（天津轻工业学院基础科学系）定义：设ｆ（ｘ），ｘ∈［ａ，ｂ］为通常的函数，若存在［ａ，ｂ］的有限分割ａ＝ｘ０＜ｘ１＜…＜ｘｎ＝ｂ，使（１）ｆ（ｘ）＝Ｃｉ，当ｘｉ＜ｘ＜ｘｉ＋１，Ｃｉ为依赖ｉ的常数，ｉ＝０，１，２，…，ｎ...     

关于亚纯函数的唯一性定理

本文结合导数、亏量对仪洪勋发表于中国科学（Ａ辑，１９９４．５，Ｐ．４５７－４６６）的一个结果进行研究，得到了定理：“设Ｓ１＝｛１，ω，…，ω＾ＴＲ－｝，Ｓ２＝｛∞｝，其中ω＝ｃｘｐ（２π／ｍ，ｆ和ｇ是非常数亚纯函数。如果ｍ≥４且δ（０，ｆ）＋δ（∞，ｆ）〉２，Ｅｆ（π）（Ｓｉ）＝Ｅｇ（π）（Ｓｉ）（ｉ＝１，２），其中ｎ是非负整数，那么ｆ＾ｎ≡ｇ＾ｎ或［ｆ＾（ｎ）ｇ＾（ｎ）＾１Ｒ］≡１。”例子表明此     

用球面Jackson多项式刻划Besov空间

记Ｓｎ－ １ 为ｎ（ｎ ≥３） 维欧氏空间Ｒｎ 中的ｎ － １ 维单位球面,Ｘｐ （Ｓｎ－ １） 为Ｓｎ－ １ 上的ｐ（１ ≤ｐ ≤∞） 幂可积函数空间,或连续函数空间,并记Δ＝ ｛ｇ（ｘ）｜ｇ,Δｇ ∈Ｘｐ （Ｓｎ－ １）｝,Δｆ ＝ ｎｉ＝ １２ｇ（ｘ）ｘｉ２ ｜｜ｘ｜＝ １,ｇ（ｘ） ＝ ｆ（ ｘ｜ｘ｜）．作Ｋ 泛函Ｋ（ｆ,δ）ｐ ＝ ｉｎｆｇ∈Δ｛‖ｆ － ｇ‖ｐ ＋ δ‖ｇ‖Δ｝以及Ｂｅｓｏｖ 空间（Ｘｐ ,Δ）θ,ｑ（０ ＜ θ＜ ２,１ ≤ｑ ≤∞）,则有下面的（ｉ）,（ｉｉ） 为等价的：（ｉ）　ｆ ∈（Ｘｐ ,Δ）θ,ｑ;　（ｉｉ）　［∞ｖ＝ １（ｖθ‖Ｊｖ,ｓ（ｆ） － ｆ‖ｐ）ｑ １ｎ ］１ｑ ＜ ＋ ∞当ｑ＝ ∞时,ｆ ∈（Ｘｐ ,Δ）θ,∞‖Ｊｖ,ｓ（ｆ）－ ｆ‖ｐ ＝ Ｏ（ｖ－ θ）,其中Ｊｖ,ｓ（ｆ）为球面Ｊａｃｋｓｏｎ 平均。     

五次(0,3)类缺插值样条的局部渐近性质

本文讨论［１］中所定义的五次（０，3）类缺插值样条Ｓｎ（ｘ），当ｆ∈ｃθ［０，１］时，的局部渐近性质。得到： 定理 设ｆ（ｘ）∈Cθ［０，１］，Sｎ（ｘ）是ｆ（ｘ）的五次（0，3）类（ｉ）型缺插值样条，＝Ⅰ，Ⅱ，Ⅲ，Ⅳ，那么对于任意固定的ｘ∈（０，１），当 n→时有 Ｓｎ（ｘ）＝ｆ（ｘ）－［Ｂθ（ｕ）－１／４２］·ｆ（６）（ｘ）·ｈ６／６！＋ｏ（ｈ６）和 Ｓｎ（ｒ）（ｘ）＝＝ｆ（ｒ）（ｘ）－Ｂ６－ｒ（ｕ）ｆ（６）（ｘ）·ｈ６－ｒ／（６－ｒ）！＋ｏ（ｈ６－ｒ），ｒ＝１，２，３，４，5。其中Ｂ１（ｕ）是首项系数为１的ｊ次Ｂｅｒｎｏｕｌｌｉ多项式；u＝（ｘ－γｈ）ｉ　γ＝［ｎｘ］。     

Banach空间中常微分方程Cauchy问题的近似解与解的关系

讨论Ｂａｎａｃｈ空间中常微分方程Ｃａｕｃｈｙ问题的近似解与解的关系，得到一个Ｃａｕｃｈｙ问题的近似解与解的关系的定理：定理设ｆ＿ｎ∈Ｃ［Ｒ＿０，Ｅ］（ｎ≥１），ｆ∈Ｃ［Ｒ＿０，Ｅ］，序列｛ｆ＿ｎ｝在Ｒ＿０上一致收敛于ｆ；又设０＜α≤ａ，ｘ＿ｎ∈Ｃ￣１［［ｔ＿０，ｔ＿０＋α］，Ｂ（ｘ＿０，ｂ）］，且满足Ｃａｕｃｈｙ问题ｘ＇＿ｎ（ｔ）＝ｆ＿ｎ（ｔ，ｘ＿ｎ（ｔ））ｘ＿ｎ（ｔ＿０）＝ｚ＿ｎ其中ｔ∈［ｔ＿０，ｔ＿０，ｔ＿０＋α］，ｎ＝１，２，…，ｚ＿ｎ∈Ｅ，ｚ＿ｎ→ｘ＿０（ｎ→∞），如果ｘ＿ｎ（ｔ）在［ｔ＿０，ｔ＿０＋α］上一致收敛于ｘ（ｔ），则ｘ∈Ｃ￣１［［ｔ＿０，ｔ＿０＋α］，Ｂ（ｘ＿０，ｂ）］，且对ｔ∈［ｔ＿０，ｔ＿０＋α］，有ｘ＇（ｔ）＝ｆ（ｔ，ｘ＿ｎ（ｔ））ｘ（ｔ＿０）＝ｘ＿０     

中立型线性微分—差分方程的稳定性

应用Ｌｉａｐｕｎｏｖ泛函法研究了［ｘ（ｔ）－Σｋｉ＝１Ａｉｘ（ｔ－τｉ）］′＝－Ｂ０ｘ（ｔ）－Σｋｉ＝１Ｂｉｘ（ｔ－τｉ）中立型微分－差分方程的稳定性，其中ｘ∈Ｒｎ，Ｂ０，Ａｉ，Ｂｉ（ｉ＝１，２，…，ｋ）皆为ｎ×ｎ阶实常阵，τｉ∈（０，＋∞）（ｉ＝１，２，…，ｋ）．得到了该方程平衡态稳定性的几个充分判据     

概率的完全可加性与连续性的等价性

从有限到无限是贯穿高等数学的基本思想，而连续性在其中占有相当重要的地位，概率论这门学科已遍及各个领域、是解决大多数问题的基本工具，应用广泛，十分重要。本文就概率的连续性与可加性作一点讨论。１　概率为有限可加加连续等价于可列可加定义１　若Ａｉ∈Ｆ，ＡｉＡｉ＋１，（ｉ∈Ｎ＼｛０｝），令Ａ＝∩∞ｉ＝１Ａｉ且Ｐ（Ａ）＝Ｐ（ｌｉｍｎ∞Ａｎ）＝ｌｉｍｎ∞Ｐ（Ａｎ），则说概率是上连续的。定义２　若Ａｉ∈Ｆ，ＡｉＡｉ＋１，（ｉ∈Ｎ＼｛０｝），令Ａ＝∪∞ｉ＝１Ａｉ且Ｐ（Ａ）＝Ｐ（ｌｉｍｎ∞Ａｎ）＝ｌｉｍ…     

一类奇异Hamilton系统的周期解

本文研究方程Ａｘ＝Ｖ（ｘ）＋ｆ（ｔ）（ＨＳ）在无界奇点集下的周期与广义周期解存在性问题,其中ｘ＝（ｘ１,…,ｘｎ）,ｘｉ∈Ｒ２（１≤ｉ≤ｎ）,Ａ是Ｒ２×…×Ｒ２上的正定矩形,Ｃ∈Ｃ１,ｆ是以Ｔ为周期的可积函数。     

关于矩阵方程∑(from i=1 to n) A_iX_iB_i=F的可解性

本文考虑含有ｎ个未知矩阵Ｘ１,Ｘ２,Ｘ３,…,Ｘｎ的非齐次矩阵方程：Ａ１Ｘ１Ｂ１＋Ａ２Ｘ２Ｂ２＋…＋ＡｎＸｎＢｎ＝Ｆ,（１）其中Ａｉ∈Ｃｍ×ｌｉ,Ｂｉ∈Ｃｐｉ×ｑ,Ｘｉ∈Ｃｌｉ×ｐｉ,Ｆｉ∈Ｃｍ×ｑ．我们先给出一个求解的方法;然后利用矩阵的拉直运算和...     

矩阵乘积的广义迹函数不等式

设Ｇ是Ｓｎ的子群,广义迹函数Ｔｆ：Ｃｎ×ｎ→Ｃ定义为Ｔｆ（Ａ）＝Σσ∈Ｇｆ（σ）Σｎｉ＝１ａｉσ（ｉ）。本文给出了若干矩阵乘积的广义迹函数不等式     

分担两个值的亚纯函数

该文主要证明如下的定理１ 　设ｆ 和ｇ 为非常数亚纯函数,ａ１ , …,ａｎ 为互异复数,若（ｉ） ｆ 和ｇ ＣＭ 分担ａ１ ,ａ１ ,（ｉｉ） δ（ ∞,ｆ）＝ δ（ ∞,ｇ） ＝１ ,（ｉｉｉ） ａ３ ,…,ａｎ 为ｆ 的亏值,满足ｎｊ＝３δ（ａｊ ,ｆ） ＞ ｎ － ２ｎ ,则（ａ） 当ｎ ＝ ３ 时,有ｆ ≡ｇ 或（ｆ － ａ３）（ｇ ＋ ａ３ － ａ１ － ａ２） ≡（ａ３ － ａ１）（ａ２ － ａ３）且有δ（ ａ３ , ｆ） ＝ １, δ（ａ１ ＋ ａ２ － ａ３ , ｇ） ＝ １,（ｂ） 当ｎ ＞ ３ 时,有ｆ ≡ｇ 。     

环Z／mZ上的多元多项式正交组

设整数ｍ＞１,１≤ｋ≤ｎ以及ｆｊ（ｘ１,…,ｘｎ）∈Ｚ［ｘ１,…,ｘｎ］,ｊ＝１,…,ｋ．本文得到了ｎ元多项式组ｆ１（ｘ１,…,ｘｎ）,…,ｆｋ（ｘ１,…,ｘｎ）构成剩余类环Ｚ／ｍＺ上的正交组的一个充分必要条件：对于环Ｚ／ｍＺ上的任意ｋ元置换多项式ｇ（ｙ１,…,ｙｋ）,均有ｇ（ｆ１（ｘ１,…,ｘｎ）,ｆｋ（ｘ１,…,ｘｎ））为环Ｚ／ｍＺ上的ｎ元置换多项式．     

Baskakov—Kantorovich算子的Lp饱和等价定理

引入双线性泛函，利用积分方程技巧得出了Ｂａｓｋａｋｏｖ－Ｋａｎｔｏｒｏｖｉｃｈ算子在Ｌｐ［０，∞］关于阶１／ｎ和平凡类Ｔ＝｛ｆ│ｆ＝ｃｏｎｓｔ｝是Ｌｐ饱和的，饱和类的为Ｓｐ＝｛ｆ│ｆ∈Ｌｐ［０，∞），φ＾２（ｘ）ｆ″（ｘ）∈Ｌｐ［０，∞）（１〈ｐ〈∞｝。     

向量值函数的极限

本文引入了向量值可测函数等价类［ｆ］极限的定义，并给出了如下结果：如果［ｆ］在［ａ，ｂ］＾∪→－Ｒ上处处极限存在，则必存在函数ｇ∈［ｆ］，使ｇ在［ａ，ｂ］上处处极限存在。     

Gn的一种完全因子

设ｎ＝２＾λ－１＋ｔ，λ〉２，０≤ｔ〈２＾λ－１。反馈函数ｘｎ＝ｆ（ｘ０，ｘ１，…，ｘｎ－１）＝１＋ｘ０＋Σｉ∈Ｉｔ（ｘｉ＋ｘｎ－ｉ）产生ｎ阶ｄｅ Ｂｒｕｉｊｎ－Ｇｏｏｄ图Ｇｎ的一个完全因子ＰＦλ（２＾λ－１＋ｔ）其中Ｉｔ＝｛ｔ；（ｔｉ）是奇整数，１≤ｉ≤ｔ｝。     

一类迭代函数方程的解析解

设ｒ是个给定的正数,用Ｄ＝ Ｄｒ表示复平面Ｃ内以原点为心ｒ为半径的闭圆盘．令Ａ（Ｄ,Ｄ）＝ ｛ｆ：ｆ 为从Ｄ到Ｄ的连续映射,并且ｆ｜Ｄ０ 解析｝．设Ｇ：Ｄｎ＋ １ →Ｃ连续（ｎ≥２）,并且Ｇ｜（Ｄｎ＋ １）０ 解析,ｇ１,…,ｇｎ ∈Ａ（Ｄ,Ｄ）,本文讨论了迭代函数方程Ｇ（ｚ,ｆ（ｇ１ （ｚ））,…,ｆｎ（ｇｎ（ｚ））） ＝ ０,给出该方程在Ａ（Ｄ,Ｄ） 中有解和有唯一解的条件．     

Bazilevich函数及其导数的一类α阶组合

设Ｆ（ｚ）＝ｚ＋Ａｎ＋１ｚ＾ｎ＋１．．．，是单位圆内的一种Ｂａｚｉｌｅｖｉｃｈ函数。考察由组合式（ｆ（ｚ＿／ｚ）＾ａ＝（Ｆ（ｚ）／ｚ）＾ａ＋λｚ／（１－λ）［（Ｆ（ｚ）／ｚ＾ａ］＇定义的ｆ（ｚ）的性质，其中ａ＞０，０＜λ≤１／１＋ａ证明了１／ｎ√Ｒ０ｆ仍然在Ｆ（ｚ）所在的族中，其中Ｒ０＜１是一个二次方程的正根。     

数论函数中的R—空间的性质（Ⅱ）

本文证明了如果Ｔ是一个Ｒ－空间，ｆ是一个积性函数，ｆＴ，ｆ（ｎ＋Ｂ）－ｃｆ（ｎ）∈Ｔ［ｎ］，其中Ｂ为正整数，ｃ为复常数，那么必有ｃ＝±１，而且对于任何素数ｐ皆有非负整数αｐ使ｆ（ｐαｐ＋ｒ）（ｆ（ｐαｐ））ｒ－１＝（ｆ（ｐαｐ＋１））ｒ，ｒ＝２，３，…．进一步，如果ｃ＝１或ｐ≠２，则有ｐαｐ｜Ｂ，而当ｃ＝－１时２α２｜２Ｂ，推广了以前的结果     

关于亚纯函数族的两个正规定则

本文证明了两个正规定则：（ｉ）设Ｍ为区域Ｄ内的亚纯函数族，ａ０（ｚ），…，ａｋ－１（ｚ）为Ｄ内ｋ个全纯函数。若，ｆ的每个零点之级≥ｍ，而ｇ（ｚ）－ｂｊ（ｊ＝１，２；ｂ１，ｂ２∈Ｃ＼｛０｝，ｂ１≠ｂ２）的每个零点之级分别≥ｎｊ，这里ｇ（ｚ）…＋ａ０（ｚ）ｆ（ｚ），并且（ｋ＋１），则Ｍ在Ｄ内正规。（ｉｉ）设Ｆ为区域Ｄ内的全纯函数族，为给定的常系数多项式，ｎ≥１。若有ｆ＇Ｐ（ｆ）在Ｄ内不取１，则Ｆ在Ｄ内正规。