p—函数的最大值问题

以■记全体标准p-函数,设固定p_0∈■且0相似文献   

递归集的k-1-度上半格的不可补性与不可分配性

我们在[11]中证明了多项式时间强图灵归约≤_(sn)T 与多项式时间多一归≤_(pm)有表现在完全集上的本质差别,在本文中我们证明了递归集的≤_(sn)T-归约约度上半格〈(?)_k~1;≤〉不可分配,籍此得〈(?)_k~1;≤〉与〈(?)_m~p;≤〉不同构.这表明此二种归约有表现在其度结构上的差别.此外,使用对角线技术我们还证明了〈(?)_k~1;≤〉的某些初始片段不可补.     

k—full整数的分布（Ⅱ）

设k≥2是固定整数。自然数n称为k-full,如果对n的任一素因子p,均有p~k|n。以A_k(x)表示不超过x的k-full整数的个数,则可将A_k(x)写成如下形式: 这里γ_(i,k)(0≤i≤k-1)是非零常数,△_k(x)A_k(x)之误差项,本文在Riemann猜想成立的假设下证明了下结面论: 定理设。若Riemann猜想成立,则有:对k≥10成立。对2≤k≤9则得到了关于△_k(t)dt之渐近估计,其误差项为O(x_k~(a′+2))(ε>0)。     

6—桥图的色唯一性

由连接两个顶点的S条内部不交的路组成的图叫S-桥图。本文讨论了6-桥图F（a,b,c,d,e,f)(a≤6≤c≤d≤e≤f)的色性，给出了此类图色唯一的一个充分条件；并证明6-桥图F(2,2,2,a,b)（a≥b≥3)是色唯一的。     

一个数学问题的推广

设ａ ,ｂ ,ｃ,ｄ ,∈Ｒ ,求证ａｂｃ ｂｃｄ ｃｄａ ｄａｂ≤ 11 6(ａ ｂ ｃ ｄ) 3(1 )这是《数学教学》1 999年第 2期问题与解答栏目第 475号题 ,原证法较复杂 ,文 [1 ]给出一简单证明 ,文 [2 ]曾用高等数学的拉格朗日乘数法证明了 (1 )式的推广形式ｘ1 ｘ2 …ｘｎ- 1 ｘ2 ｘ3… ｘｎ ｘｎｘ1 ｘ2 …ｘｎ- 2 ≤1ｎｎ- 2 (ｘ1 … ｘｎ) ｎ- 1 (2 )若采用初等对称函数的记号Ｅｋ(ｘ) =Ｅｋ(ｘ1 ,… ,ｘｎ) =∑1≤ｉ1 <… <ｉｋ≤ｎ∏ｋｊ=1ｘｉｊ,ｋ=1 ,… ,ｎ ,则 (2 )式可写作Ｅｎ- 1 (ｘ) ≤ 1ｎｎ- 2 Ｅｎ- 1 1 (ｘ)本文将利用逐步…     

（mg＋k,mf—k）—图中正交于r个不相交子图的边不变的（g,f）—因子

设m,k和r为正整数,且使l≤k＜m.设G是一个具有顶点集合V(G)和边集合E(G)的图,并设g和f是定义在V(G)上的使对每个x∈V(G)有r≤g(x)≤f(x)的整数值函数.设H1,H2,…,Hr是G的r个顶点不相交的子图且|E(Hi)|=k,1≤i≤r.本文证明了每个(mg+k,mf-k)-图有k个边不相交的(g,f)-因子正交于Hi,1≤i≤r.     

重要不等式的一个证明

下面的不等式称为算术平均———几何平均不等式 :Gn =na1 a2 …an ≤An=1n∑ni=1ai　 (ai>0 ,i=1 ,2 ,… ,n)本文通过添加一个零项ln Gnna1 a2 …an =0给出证明可设a1 ≤a2 ≤… ≤an,显然a1 ≤Gn ≤an　存在k,使得　ak ≤Gn ≤ak+1 .AnGn - 1 =1n ∑ni=1aiGn-n=1n ln Gnna1 a2 …an + ∑ni=1aiGn-n=1n ∑ni=1lnGnai + ∑ni=1aiGn-n=1n∑ki=1lnGnai - 1Gn(Gn-ai) +1n∑ni=k+ 1lnGnai - 1Gn(Gn-ai)=1n ∑ki=1 ∫Gnai1t -1Gn dt +1n ∑ni=k+ 1 ∫Gnai1t -1Gn dt=1n ∑ki=1 ∫Gnai1t -1Gn dt +1n ∑ni=k+ 1 ∫aiGn1Gn-1t dt以上每…     

关于B_3-序列

设α_1<α_2<… <α_r是一个整数序列,若它的所有3项的和α_i+α_j+α_k,1≤i≤j≤k≤r都互不相同,我们称它为B_3-序列。设Φ_3(n)是包含在[0,n]中的B_3-序列所含项数的最大者。Bose和Chowta曾得到Φ_3(n)的一个下界。在此,我们将给出Φ_3(n)的一个上界估计。     

r－不可分矩阵的本原指数（Ⅱ）

本文给出了 n阶 r-不可分矩阵的本原指数的上界 ,即任 n阶 r—不可分矩阵 A的本原指数 (A)≤n+(r- ) 2r (1≤ r相似文献   

Fuzzy BCK—代数

在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之间的包含“(?)”关系,“0”表示空集,“=”表示两个集合相等.在命题演算中,“*”表示两个命题之间的     

一个分数阶微分方程四点边值问题正解的存在性

本文研究下面的分数阶微分方程四点边值问题Dα0+u(t)+f(t,u(t))=0,0相似文献   

抽象空间中非时齐马氏过程的分析理论(Ⅱ)——非时齐马氏过程与双参数半群

本文是[1]的续篇,一切符号及定义均沿袭[1].为省篇幅,不再重述.     

变系数Euler-Bernoulli梁振动发展系统的存在性

讨论变系数Euler-Bernoulli梁振动系统{uu(x,t) η(t)uxxxx(x,t)=0,0＜x＜1,0≤t≤T u(0,t)=ux(0,t)=0,0≤t≤t -uxxx(1,t) muu(1,t)=-αu1(1,t) βuxxx(1,t),0≤t≤T uxt(1,t) =-γuxx(1,t),0≤t≤t u(x,0)=u1(x),u1(x,0),0≤x≤1证明了该系统产生一个发展系统．     

关于数值数学的一个典型问题

<正> Collatz L.在综述性文章[1]和[2]中就数值数学的典型问题归纳为五类,第一类是方程Tu=φ或Tu=u的解.关于这类问题主要是寻找解的存在性定理和解的存在区间以及唯一性定理等等. 如所周知,由初始元u_o出发,经过迭代     

半群O_n(k)的秩

设O_n是有限链[n]上的保序变换半群.对任意1≤k≤n-1,研究半群O_n(k)={α∈O_n:(x∈[n]x≤k→xα≤k}的秩和幂等元秩,证明了半群O_n(k)的秩为2n-3.进一步,得到了半群O_n(k)(2≤k≤n-1)的幂等元秩为n和半群O_n(1)的幂等元秩为n-1.     

关于多项式系数的整除性

设 n是正整数 ,k1 ,k2 ,… ,ks 是适合 k1 +k2 +… +ks=n的非负整数 ,正整数 nk1 k2 … ks=n!k1 !k2 !… ks!称为多项式系数 .本文讨论了当n=a0 +a1 p+a2 p2 +… +arpr ,其中 p为素数且 p≤ n,0≤ ai相似文献   

单位上三角矩阵群的注记

记Tr_1(n,Z)是整数环Z上对角线元素全是1的全体上三角矩阵组成的群,k_(ij)(1≤i相似文献   

OI_n的理想K(n,r)的极大逆子半群

Xn为n元有限集,OIn为Xn上的一切保序严格部分一一变换半群.记K(n,r)={α∈OIn∶|Tmα|≤r}(0≤r≤n-1)则K(n,r)(0≤r≤n-1)是OIn的理想.我们刻划了K(n,r)(1≤r≤n-1)的极大逆子半群.     

ND阵列加权乘积和的完全收敛性

设（Xni：1≤i≤n,n≥1）为行间ND阵列,g（x）是R^＋上指数为α的正则变化函数,{αni：1≤i≤n,n≥1}为满足条件max1≤i≤n｜ani｜=0（（g（n））^-1）的实数阵列．本文采用截尾的方法,得到了使ND随机变量阵列加权乘积和完全收敛的条件,并推广了以前学者的结论．     

本刊英文版Vol.33(2017),No.1论文摘要（英文）

<正>Real Submanifolds in Complex Spaces Valentin BURCEA Abstract Let(z_(11),...,z_(1N),…,z_(m1),…,z_(mN),w_(11),…,w_(mm))be the coordinates in C~(mN+m~2).In this note we prove the analogue of the Theorem of Moser in the case of the real-analytic submanifold M defined as follows W=ZZ~t+O(3),where W={w_(ij)}_(1≤i,j≤m)and Z={z_(ij)}_(1≤i≤m,1≤j≤N).We prove that M is biholomorphically equivalent to the model W=ZZ~t if and only if is formally equivalent to it.