k-full整数的分布

设k≥2是一固定整数。自然数n称为k-full整数,如果对n的所有素因子p,都有p~k|n。我们用A_k(x)表示不超过x的kfull整数的个数。在Lindelf猜想假设下,A. Ivi证明了:     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

P_v紧算子方程x∈Ax在锥中的近似可解性

设X是一实Banach空间,F(?)X是一楔形,Q,D是X的两个有界开集,0∈Q,Q(?)D。(?)_F(D_F)和(?)_F分别表示D_F=D∩F关于F的边界和闭包,CK(F)表F的全体非空紧凸子集族。令     

不定方程ax~2+by~2+cz~2=n解的个数

1.设a,b,c,n为正整数,a,b,c的最大公因子为1.令N(a,b,c,n)表示不定方程ax~2 by~2 cz~2=n的解(x,y,z)的个数,这里x,y,z都是整数。令     

Dixmier代数与轨道数据的归纳诱导法及其应用

为研究Dixmier映射,Vogan定义了Dixmier代数与轨道数据,并给出了抛物子群诱导法.本文将证明这些诱导法是可归纳导出的,并在此基础上对SO(2n 1,C),SP(2n,C)及F_4,G_2类Lie群部分地证明了文献[1]中Vogan的一个猜想,即上述Lie群的完全素可交换轨道数据的抛物诱导与抛物子群选取无关.1 归纳抛物诱导本文恒假定G为复约化Lie群,P(?)P_1为G的两个抛物子群,P=LU,P_1=L_1U_1分别为它们的Levi分解,且L(?)L_1,而(?),(?),(?),(?),(?),(?),(?)分别为它们的Lie代数.记Q=L_1∩P,(?)=(?)∩(?),显然Q为L_1的抛物子群(有Levi因子L),其Lie代数为(?).     

关于最小正原根的条件结果

设p是一个素数,g(p)表示模p的最小正原根。又以v_1(n)记n的不同素因子的个数,且m=v_1(p—1)。     

由一类图的着色导出的素数子集的分类

设P表示全体素数的集合,D(?)P。令G(Z,D)表示这样一个图:它的顶点集是全体整数的集合,两个顶点x和y之间有边连结当且仅当|x—y}∈D。Eggleton,Erds和Skilton等在文献中证明了:不论对任何素数子集D(?)P,图G(Z,D)的色数至     

关于乘法分拆的数目

设n为大于1的自然数。令f(n)表示分解n为大于1的整数因子乘积的所有方式的数目,此处不计因子的顺序。并且令f(1)=1。例如f(18)=4,因为18=9.2=6.3=3.3.2。 1983年,Hughes和shallit证明了f(n)≤2n~(2~(1/2)),一并且提出了两个猜想:     

与一类超过程相关的Dirichlet问题

设ξ=(∈_ι,Π_x)是R~d中的右过程,令 (?)(x,z)=a(x)z b(x)z~2 integral from n =1 to ∞(e~(-uz)-1 uz)n_x (du), x∈R~d,z∈R~ ,(1)考虑下面Dirichlet问题 Av(x)-(?)(x,u(x))=0,x ∈　 D,(2) (?) u(x)=f(a),a∈(?)D~r,(3)这里D是R~d中有界区域,(?)D~r表示(?)D中正规点全体,且A是ξ关于D的特征算子. 我们用M表示(?)(R~d)上的有限测度全体,用(?)表示M上由fB(μ)=μ(B),B∈(?)产生的σ-代数.本文中τ都表示开集D的首出时.根据Dynkin存在取值于(M,(?))的具有参数(ξ,(?))的超过程 X={X_t,X_τ,P_μ,μ∈ M}.Dynkin在文献[1]中证明了如果ξ是光滑一致椭圆算子,关于x局部Lipshitz连续,公式 v(x)=- log Pδexp(-(f, X_τ))(4)是方程(2)Dirichlet问题的唯一解.本文将上面结果推广到一些一般型条件(底过程不一定连续).     

三维除数问题误差项估计的改进

用d_3(n)记将n表成三个因子乘积的表法个数,则有渐近公式sum form n≤x to d_3(n)=xP_3(logx)+△_3(x),此处P_3(log x)为log x的一个二次多项式.又用α_3表示使     

关于广义Ramanujan-Nagell方程(Ⅱ)

设D是非平方整数,p是奇素数,p D对于给定的D和p,以N(D,p)表示方程x~2—D=p~n,x>8,n>0 (1)的整数解x、n的个数。对此,Apéry (C. R. Acad.Sci. Paris, 251(1960), 1451—1452)证明了:当D<0,D≡1(mod4)且D无平方因子时,N(D,p)≤2。Bender和Herzberg(Studies in Algerbra and     

关于乘法分拆数的上界

设f(n)是自然数n(>1)的乘法分拆数,且令f(1)=1。其上界的估值是一个引起人们重视的课题。1983年,Hughes与Shallit证明了并提出两个猜想:1.f(n)≤n;2.f(n)≤n/logn,n≠144。当年,Canfield、Erds与Pomerance证明了f(n)的最大阶为n·L(n)~(-1+0(1),其中L(n)=exp{logn·log_3n/log_2n}(log_kn表示n的k重对数),实际上证明了当n充分大时猜想2~*成立。1986年,Mattics与Dodd以相当简洁的     

一类数论函数的均值估计(Ⅱ)

设P(n)表自然数n的最大素因子,我们考虑它的均值估计。在文献[1]中,我们改进了Erds等人的结果,证明了     

关于乘法分拆数的一个猜想

设f(n)表示自然数,n(n>1)分解成大于1的因子之积的不同分解式的个数(不计因子的顺序)。每个这样的分解式称为n的     

关于 Brun-Titchmarsh 定理

设a和q是互素的正整数.π(x;q,a)表示满足p≤x 且p≡a(modq)的素数p的个数.1965年van Lind 和Richert 证明了:对于q相似文献   

关于连通图幂中边不交1-因子

我们总假设G=(V,E)为p阶连通简单图,n为自然数.G的n次幂图G~n定义如下:V(G~n)=V(G),E(G~n)={uv:d_G(u,v)≤n,u,v∈V(G)},式中d_G(u,v)是u和v在G中的距离. 1984年,Nebesk(?)证明了:当P为偶数     

L(p~(1,1))和w-E则语言

1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈∑~*,N∈∑~w,有时也把u、v分别记为u(0)u(1)…u(n)(若(u)=n 1)和刚v(0)v(1)v(2)….用w(m,n)记字w的从第m个位置起到第n个位置止的那一串符号构成的字.根据McNaughton的定理,w-E则语言可以通过非决定性的B(?)chi自动机来定义,也可以通过决定性的Muller自动机来定义.     

论本质下确界与条件期望运算的可交换性

§1。主要结果 令(Q,F,P)为一概率空间,H为随机变量的一个非空族。我们用ess。inf H或(?)表示H的本质下确界(它恒存在)。本文只讨论ess。inf情形,因为将结果改述为ess。sup情形是不足道的。     

(2,2,…,2)型数域的判别式密度

型数域即是n个二次域合成的Q的2~n次扩域。问题是计算绝对判别式等于d(以及小于X)的这种域的个数J~n(d)(以及N_n(X))。Baily[Baily, A., J. reine angew. Math., 315(1980),190—210;328(1981),33—38]分别对n=2和3解决了此问题。本文在对这种域的结构研究的基     

关于短区间内有限Abel群个数的一点注记

记不同构的”阶Abel群个数为a(。),对固定整数左)1,A,(:,h)表示区间(二,二+h)内满足。(n)一无的整数。的个数.Ivi亡山证明了:当x~co时,若,1 1240h李x,,44(logx),,44 01;3一,一、:州~x’一、109 xJ则有A、(x,h)~(d,+o(l))人,(1)这里沙。一象众{二一“’‘,(·,‘,’0·::(,)一习二(母)·‘,一这里产(的为M肠iu:函数.稍后,.Iv记和shiu在文献〔2]中将这一结果改进后,若 h》:肠,,(109:)c~扩·溯’一(fogx)‘时,(l)式仍成立,这里c为一可计算常数. 基于已有的三角和估计结果,本文以初等的讨论得到了 定理对任意8>0,若 h》二争一砂30“”+s,则有…