算法复杂性函数等价类A[F]中的分解性定理

证明了算法复杂性函数渐近优超等价类数学结构Ａ［Ｆ］中的分解性定理。对任意非免费算法复杂性函数类［ｆ］∈Ａ［Ｆ］及正整数ｎ,存在类［ｇ１］,［ｇ２］,…,［ｇｎ］∈Ａ［Ｆ］满足［ｇｉ］〈［ｆ］（ｉ＝１,２,…,ｎ）且［ｆ］＝Ｖｉ＝１＾ｎ［ｇｉ］。     

关于亚纯函数及其导数的特征函数

关于亚纯函数及其导数的特征函数刘玉常，何乐亮１引言及主要结果设ｆ（ｚ）于开平面上超越亚纯，ｋ为任意一个正整数，关于Ｔ（ｒ，ｆ）与Ｔ（ｒ，ｆ￣（ｋ））之间系曾为许多人研究，如１９８９年杨连中￣［２］改进并推广了Ｓ。Ｋ，Ｓｉｎｇｈ的结果得出。定理Ａ￣［２...     

关于Directly－Riemann积分的进一步性质

在文献［１］、［２］的基础上进一步研究了Ｄｉｒｅｃｔｌｙ－Ｒｉｅｍａｎｎ积分的性质，得到了如下结果：（１）函数ｆ（ｘ）（Ｄ－Ｒ）积分值唯一的条件。（２）截断函数ｆ＿ｎ（ｘ）（Ｄ－Ｒ）可积的条件。（３）非负函数ｆ（ｘ）（Ｄ－Ｒ）可积的充要条件。     

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

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

论Opial—Beesack不等式

设ｆ（ｘ）∈ＡＣ［０，Ｈ］，产Ｆ（０）＝ｆ（ｈ）＝０，则有∫＾ｈ０｜ｆｆ＇｜ｄｘ≤１／２（ｈ／２）＾２／Ｑ（∫＾ｈ０｜ｆ＇｜＾ｐｄｘ）＾２／ｐ－２／ｑ｛｜ｆ＇｜＾ｐｄｘ）＾２－１／４（∫＾ｈ０｜ｆ；｜＾ｐｃｏｓ（２πｘ／ｈ）ｄｘ）＾２｝＾４／ｑ其中１＜ｐ≤２，Ｑ＝Ｐ／（Ｐ－１）．（２）显著比（１）优秀，实际上我国已证得更一般的结果。     

二次递代函数的周期性

给出了一类较广泛的非周期整函数ｆ（ｚ），使ｆ（ｆ（ｚ））不是周期函数。得到定理设ｆ（ｚ）＝Ｑ＿１（ｚ）ｅｘｐｇ（ｚ）＋Ｑ＿２（ｚ），其中Ｑ＿１（ｚ）（０），Ｑ＿２（ｚ）为多项式且不同时为常数，ｇ（ｚ）为非常数整函数，则ｆ（ｆ（ｚ））不是周期函数。     

二元函数的微积分基本定理

从二元函数的面导数出发定义原函数和不定积分，研究了它们的性质．证明了：（１）若ｆ（ｘ，ｆｙ）有原函数，则有一族原函数且任意两个原函数相差ｋ（ｘ，ｙ）＝Ｃ（Ｘ）＋Ｄ（ｙ）＋Ｅ，其中Ｃ（ｘ），Ｄ（ｙ）为一元函数，Ｅ为常数；（２）若ｆ（ｘ，ｙ）在闭区间［Ａ，Ｂ］Ｒ２上连续，Ｚ＝（ｘ，ｙ）∈［Ａ，Ｂ］，则Φ（ｘ，ｙ）＝ｆ（ｓ，ｔ）ｄｓｄｔ在（ｘ，ｙ）可导且Φ’ｘｙ＝ｆ（ｘ，ｙ）；（３）若ｆ（ｘ，ｙ）在［Ａ，Ｂ］上连续，Ｆ（ｘ，ｙ）为其一个原函数，则ｆ（ｘ，ｙ）ｄｘｄｙ＝Ｆ（［Ａ，Ｂ］）．     

有理样条函数R111的对称插值问题

讨论了有理样条函数的两种插值问题，它在两边界点处的插值条件是对称的。文中给出了存在唯一性定理，逼近度估计及一些保形性质。，为满足（５°）－（７°）的有理插值样条，则这里Ｃ为绝对常数。证明利用定理３的证明方法，不难证得。因此，当定理１，２中关于系数α，β，γ的条件满足时，下面的保单调性及保凸性定理亦成立：定理５若ｆ∈Ｃ＿２［ａ，ｂ］为严格单调增加函数，则相应的有理插值函数Ｒ（ｘ；ｆ），Ｒ￣＊（ｘ；ｆ）也是严格单调增加的。定理６若ｍ＿ｉ＞ｍ＿（ｉ－１），则Ｒ￣＊＂（ｘ；Ｆ）≥０（ｘ∈［ａ，ｂ］）．参考文献     

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

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

一阶电路的2种分析法探讨

在分析线性一阶电路输入任意激励时的零状态响应时，可用卷积积分法，拉氏变换法，本文结合这２种方法举例探讨如下：１主要内容１１卷积积分法已知电路的冲激响应为ｈ（ｔ），则任意激励ｆ（ｔ）的零状响应ｆ０（ｔ）可由下述积分式求得［１］：ｆ０（ｔ）＝∫１０ｆ（...     

广义Bezier曲线的收敛性

本文研究了广义Ｂｅｚｉｅｒ曲线Ｑｎ（ｆ；ｘ）关于ｆ（ｘ）的收敛性，及Ｑ（ｌ）ｎ（ｆ；ｘ）关于ｆ（１）（ｘ）的收敛性，证明了相应的收敛定理     

尖点形式L函数的零点密度估计(Ⅱ)

设k为一正偶数,T是充分大的正数,s=σ+it,3≤Q=T,q为一正整数,χ是模q的特征,f(z)=∞∑n=1a(n)e2πinz为Γ=SL2(z)的权为k的全纯尖点形式.设Nf(σ0,T,χ)表示函数Lf(s,χ)=∞∑n=1χ(n)a(n)n-s在带形区域k/2+(l/(log(Q2T))≤σ0≤σ≤((k+1)/2),|t|≤T内的零点个数.当k/2+1/3≤σ0≤((k+1)/2)时,由Dirichlet多项式理论得出了∑q≤Q∑χmodqNf(σ0,T,χ)的一个上界.     

一类固定系数解析函数的极值点与支撑点

摘要 设Q={f(z):f(z)=z-an+1zn+1-(∞∑k=n+2)akzk},这里an+1=c(n+2)/(n+1)(n+3),ak≥0,∞∑k=n+2k(k+2)/k+1ak≤1-c,0≤c≤1,n∈N,并且f(z)在单位圆盘△={z:| z |＜1}内解析,得到函数族Q的极值点与支撑点.     

复区域上线性微分方程解的振荡结果

考虑二阶微分方程f ″+[exp(P1)+exp(P 2)+Q(z)]f=0,这里P1=p1zn+…,P2=p2zn+…是非常数多项式,Q(z)是阶小于 n的整函数, 该文研究当-1＜p2/p1＜0时,方程解的振荡结果.     

默森尼质数的判别法及其构造

得到默森尼 (Mersenne)数为质数的判别法和构造 ,当Mp=2 p- 1为合数时其因数的特征及其因数个数的估计。(1)Mp=2 p- 1为质数的充要条件是 Mp2kp + 1≡ 0　 (mod p)(2 )如果Mp=2 p- 1且Qi|Mp　i=1,2 ,……T那么 12     

关于广义超立方体网络的容错性和通信延迟

直径是度量并行计算系统网络的容错性和信息延迟的重要参数。广义超立方体网络Q（m1,m2,…,mn)是并行计算系统网络中的一个重要拓扑结构。令k=m1 m2 … mn-n。论文证明：Q（m1,m2,…,mn)的k直径等于n 1。     

关于图C_m∪P_(n-1)~+的优美性

图Ｃｍ ∪Ｐ＋ｎ－ １ 是圈Ｃｍ 与Ｐ＋ｎ－ １ 的不交并。本文证明了当①ｍ ＝ ４ｋ,ｎ ≥ｋ ＋ ２;②ｍ ＝ ４ｋ ＋ １,４ｋ － １ ≤ｎ ≤１０ｋ－ ７;③ｍ ＝ ４ｋ＋ ２,ｎ ≥４ｋ ＋ １;④ｍ ＝ ４ｋ ＋ ３,４ｋ＋ ２≤ｎ ≤１０ｋ－ ２ 时,图Ｃｍ ∪Ｐ＋ｎ－ １ 是优美的。     

具临界指数的Baouendi-Grushin方程显式整解及Sobolev嵌入常数

给出了具临界指数的Baouendi-Grushin方程Pu=-uQQ+-22的显式解为u=c[(2|z|2)2+4|t|2]-Q4-2,其中P=Δz+|z|2Δt为α=1时的广义Baouendi-Grushin算子,z∈Rn,t∈Rm,Q=n+2m为齐次维数,c=[(Q-2)n2]Q4-2,>0.本文还由此导出算子P的精确Sobolev不等式中的嵌入常数为S=2Qmπ-2(nn++2mm){n[n+2(m-1)]}21×Γ(n+m)Γ(n+2m)1n+2m,极值函数为[(1+|z|2)2+4|t|2]-41.当n=m=1时,本文的结论与Beckner[4]的结果一致.     

一类特殊排列的计数

计算集合S={1,2,…,2m}中不同时出现i和i+1,j和j+3（其中 m∈{1,2,3,…},i∈{1,2,…,2m－1},j∈{1,3,5,…,2m－3}）的k元组合数f(2m,k)=f(2(m－1),k)+f(2(m－1),k－1)+f(2(m－2),k－1).利用容斥原理求出集合N={1,2,3,…,n}的元素i和i+1不相邻的n排列数为p(n)=n!+∑〖DD(〗n－1〖〗i=1〖DD)〗((－1)if(2(n－1),i)(n－i)!)(其中n∈{4,5,6,…},i∈{1,2,…,n－1}).     

某些二元线性递归方程的闭型解

本文首先证明了一般二元线性递归方程初值问题的解的存在唯一性和迭加性定理,然后,对初值为常数或f(m,0)=a~mg,f(0,n)=b~ng的二元线性递归方程f(m,n)=af(m-1,n) bf(m,n-1) cf(m-1,n-1) e推导并证明了闭型解。为简便计,文中省略了解的推导过程。