关于Diophantus方程a~x+b~z=c~z(Ⅱ)

Diophantus方程a~x+b~y=c~z(a,b,c是不同素数)可化为如下的两个Diophantus方程 p~x-q~y=2~z,p,q是不同的奇素数,(1) p~x+q~y=2~z,P,q是不同的奇素数。(2)在文献[1]中,我们给出了(2)式在max(p,q)<100时的全部非负整数解。本文将给     

不定方程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都是整数。令     

方程a~x—b~y=(2p~s)~x和Hugh Edgar问题

1969年,Perisastri(Math. Student, 37(1969),211—212)证明了Diophantus方程a~x—b~y=10~x在a=13(mod20),b=3(mod20)和z(?)1时无非负整数解x,y,z。1982年,Toymzumi(Math. Student,43(1978), no. 2—4,113—115(1982),MR 84h:10025)证明了Diophantus方程a~x—b~y=(2p)~x,p为奇素数,在a≡p≡5(mod8),b≡3(mod8),p(?)ab     

关于丢番图方程a~x+b~y=c~z

对于丢番图方程2~x+p~y=q~z,p、q为给定的奇素数,(1)已有许多研究。最近Alex和Foster在文[2]中猜测对于(1)可以通过取有限模的方法求出全部非负整数解。事实上,孙琦、周小明在文[3]中已证实当max{p,q}=19时上述猜测成立。本文对p、q作定性分析,在一定条件下求出了(1)的全部非负整数解,所用的方法     

关于不定方程x~(1/n)+y~(1/n)=z~(1/n),x~(m/n)+y~(m/n)=z~(m/n)的整数解以及代数数域Q(p_1~(1/n),p_2~(1/n),…,p_r~(1/n))的次数

本文研究不定方程 x~(m/n) y~(m/n)=z~(m/n),m,n是正整数,(m,n)=1,n>1 (1)的非零整数解(本文所说“整数”都是指有理整数)。我们约定,对于整数a,记号a~(1/n)当2|n时表示方程x~n—a=0的唯一的实根,当2|n时表示该方程的非负实根;记号a~(m/n)表示实数(a~(1/n))~m。于是当2|n时,a~(1/n)和a~(m/n)仅对a≥0才有意义,我们自然只研究(1)式的正整数     

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

关于对角型不定方程sum from i=1 to n(a_ix_i~u)=0

文献[1]有一个猜想:m是正偶数,整数a,b,c满足(a±b±c)(a±b)(a±c)(b±c)≠0,u充分大且使q=um+1素,则不定方程ax~u+by~u= cz~u仅有平凡解.Granville证明了此猜想.本文在较少的条件下,对更一般的问题得到了更好的结论.定义 a_1,…,a_n是整数,ε_i∈{0,1,-1},若sum from i=1 to nε_ia_i=0当且仅当ε_i全为零,则称整数 a_1,…,a_n简单无关.定理 设m>1是整数,a_1,…,a_n简单无关,且     

严格单纯Mendelsohn三元系的嵌入

一个v阶Mendelsohn三元系MTS(v)是这样一个序对(X,v),其中的X是一个v元集,A是由X的循环有序3-子集(称为三元组)组成的集合,使得由X中不同元素作成的任一序对恰好包含在唯一的一个三元组中,我们指出三元组(a,b,c)包含序对(a,b),(b,c)与(c,a)而不包含(b,a),(c,b)或(a,c)。 设(X,A)为一个MTS(v),如果(a,     

关于一组同余式的解

的整数解。显然,(1)式的解x_1,…,x_n中x_i,(?)x_j(i(?)j),不失一般,可设x_1相似文献   

不定方程x~3+y~3+z~3+w~3=0的全部整数解

早在16世纪就已提出了不定方程L.Euler(1756年)给出了(1)的全部有理数解,并由J.P.M.Binet(1841年)予以简化(参见文[1])。S.Baba(1830年)、G.Kroneck(1873年)、G.Osborn(1913年)等人曾分别找到了(1)的一些部分整数解(参见文[1])。G.H.Hardy和E.M.Wright在文[2]中认为要找出(1)的全部整数解是很困难的。华罗     

核反应动力学中的一个半线性抛物型方程组

本文讨论核反应动力学数学模型的半线性抛物型方程组的初边值问题正平衡解的存在性与门槛结果,其中u_1是中于通量,u_2是反应堆温度.a,b,α>0,Ω(?)R~N有界,(?)Ω∈C~β,u_(10)(x),u_(20)(x)∈C~β(Ω),0 <β<1,n是(?)Ω上的单位外法向.(1)式的边界条件表示系统与外界有热交换.当α=0,即系统绝热时,许多作者都讨论过(1)式的解的整体存在性、渐近性和爆破问题,见文献[1,2]及其参考文献.由抛物型方程组的经典结论容易知道(1)存在局部解且非负.同时容易证明,当B≤0时(1)式的解整体存在且一致趋于零(t→ ∞).下面我们只讨论B>0,作变换可认为B=1.先讨论(1)式的正平衡解的存在性.     

实二次域的方程与半单和最小连分数

本文将利用半单(广义)连分数理论研究丢番图方程x~2-dy~2=c (1)给出简洁的可解判则及解集合.由这些结果可推出一系列实二次域类群的结构及改进著名的Cohen-Lenstra预测.最后讨论最小连分数.我们总设d为无平方因子正整数,c为整数.方程(1)的整数解问题与实二次域K=Q(d~(1/2)) 和d次分圆域的最大实子域的类数有很密切的关系,自Gauss始有不少人研究.但以往的结果多是对给定的c值,给出计算步骤判断是否有解及解出;对使方程有解的c值集合少有刻画.Ankeny,Chowla,Hasse,S.D.Lang,Takeuchi,Yokoi和Mollin等从1965年直到最近,对一些ERD型的d,给出可解的小范围的c值集(如当|C|≤2d~(1/2)等,并利用结果得出实二次域K和分圆域类数结果(见文献[1]中文献).文献[1]     

方程x~2+2~m=y~n和Hugh Edgar问题

作者(科学通报,30(1985),14:1116—1117)曾经讨论了Diophantus方程。a~x-b~y=(2p~s)~z的解,其中p是奇素数,s为非负整数。得到的结果部分地解决了Hugh Edgar问题。所谓Hugh Edgar问题是指:求方程 p~m-q~n=2~n,p,q是素数,h是正整数(1)的解。前文给出了,在(p,q)≡(5,3),(3,5),(±3,7),(7,±3)(mod 8)时,方程(1)除5~2-3~2=2~4和3~4-7~2=2~5外,无其他h≥4的解。在这篇文章中,我们完全解决了Diophantus方程     

一阶泛函微分方程振动性的一些结果

从而定理1证明了Hunt和Yorke(J.Diff.Equ.,53(1984),139—145)对于超前型方程的猜想。 定理2 若(R_1)g(t,ζ)≤t,ζ∈[a,b],R~*=[t_0,+∞)g(t,ζ) 是从 R~*×[a,b]到R~+的连续函数,关于ζ不减     

关于Aurifeuillian分解的一个问题

设b>1是一个整数.对于某些b~n±1形式的数,Aurifeuille发现了特别的分解方法,称为Aurifeuillian分解.设p是奇素数,ξ=ξ_p表示p次本原单位根exp(2πi/p),(/)表示Jacobi符号.当p≡1(mod 4),N=(p~p-1)/(p-1)=p~(p-1)+p~(p-2)+…+p+1时,文献[2]给出了同余方程X~2≡p(mod N)的4个不同解±p~(p+1)/2,±sum from c=1to(p-1)(c/p)p~c.     

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

为适应不确定推理之需要,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.(?)).     

Λ有界变差函数之富里埃级数的|N,P_n|求和

设f(x)是定义在[a,b]上的实函数,{I_n}是任一列互不重叠的区间:I_n=[a_n,b_n](?)[a,b],写f(I_n)=f(b_n)-f(a_n),用∧表示非降的正数列:∧={λ_n},且级数(?)发散,如果(?),则称f是[a,b]上的∧有界变差函数,记为f∈∧BV。令{p_n}是非负数列,(?),给定级     

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

对我国云南宇宙线观测站发现的一个高能粒子事例的分析

1972年现高能物理研究所云南站利用大型磁云室获得了一个超高能作用的事例。图1是从照片描下的三条径迹。根据在磁场中曲率的测量,定出粒子a,b,C的动量分别为p_a=6.6_(-0.8)~( 1.0) GeV/c,P_b=62GeV/c,P_c=110GeV/c。P_b和A因超出云室的最大可测动量48GeV/c,所以未能给出误差范围,粒子a带负电,b,c都带正电。在测量时假定这些粒子电荷的绝对     

自由格的若干定理

格的一个等式类K上由一个弱偏格生成的自由格的定义可以按自由代数的理论或仿照K上由偏格生成的自由格的定义来给出。 定理1(存在定理) 设u=相似文献