关于丢番图方程x~4-pqy~2=1

关于丢番图方程x~4-Dy~2=1,D>0,且不是平方数,(1)有过许多工作,例如Nagell、Ljunggren、Cohn和作者,都分别得到过若干结果(见文献[1])。我们在文献[1]中证明了D(?)3(mod 8),且当x~2-Dy~2=1的基本解ε=x_0+y_0D~(1/2)满足2     

Sine-Gordon方程的渐近惯性流形

Sine-Gordon方程的数值结果表明该方程的动力学行为在一般情况下由低维决定,利用这种性质已做了一些理论分析工作(见文献[1]),但低维决定这一关键问题并没有合理的数学根据。文献[2]证明了Sine-Gordon方程存在有限维Hausdorff维数和fractal维数的紧吸引子,但一般情况下惯性流形存在性至今没有回答,文献[3]证明了弱阻尼Sine-Gordon方程不存在惯性流形。本文证明了Sine-Gordon方程     

关于方程|Aut(G)|=p~2q~2的解

1 结果我们关心如下问题:给定有限群G,确定有限群X,使得Aut(X)=G,而Aut(X)表示X的全自同构群.Iyer证明了上述方程的解至多有有限个.对于任意固定的正整数n,同样的结论对方程|Aut(X)|=n成立.n的某些特殊情形已被研究,Machale和Curran证明了,对任一奇素数 P,|Aut(X)|=P~m(1≤m≤5)无解; Flym给出|Aut(X)|=2~5的全部解; n=p~2q(p和q是不同的素数)在文献[5]和[6]中被研究,本文利用文献[7]的结果,完整地解决了n=p~2q~2的情形.我们用r_1,r_2和r_3分别表示形如4q~2+1,2q~2+1和2q+1的素数,而q为奇素数.本文的     

丢番图方程及其推广方程的超限序数解(Ⅱ)

作者在文献[1]中研究了丢番图方程x~4=1 Dy~2(D为自然数)及其七种变形方程和两类推广方程的超限序数解问题。本文在超限序数的范围内研究更一般的方程 x~α=Dy~β q, (1)其中α、β为任意的序数,而D、q为自然数。本文是在文献[1]的工作基础上进一步的工作,     

一类广义Fisher方程的波前解

当反应函数F(u)有多个零点时,文献[1—3]都讨论过反应扩散方程u_t=u_(xx) F(u)的行波解问题.本文讨论一类广义Fisher方程对我们的问题,文献的方法都不适用,我们采用一种较简单的方法来处理.此方法可用于更一般的方程 u_i=(u~m)_(xx) u~nf(u)(m>0)和f(u)有更多个零点的情形.在u>O的地方令u’=P,易证明(2)式等价于     

量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*     

关于Diophantus方程Ax~2 B=y~n

设Ｎ,Ｑ分别是全体正整数、有理数的集合,Ａ,Ｂ∈Ｎ.方程Ａｘ2 Ｂ=ｙｎ,2ｎ>1,2ｙ,ｘ,ｙ,ｎ∈Ｎ(1)是一类基本而又重要的高次或指数型Ｄｉｏｐｈａｎｔｕｓ方程.当Ａ=1,Ｂ=2时Ｌｊｕｎｇｇｒｅｎ[1]证明了方程(1)仅有解ｘ=5,ｙ=3,ｎ=3.当Ａ=1,Ｂ=4时,本文作者之一给出了方程(1)的解答.本文将用虚二次域的基本性质与推广的Ｐｅｌｌ方程的结果研究方程(1)的一些新的情形.设ｈ(-Ｄ)表虚二次域Ｑ(-Ｄ)的类数,本文证明了定理1　设Ａ无平方因子,2Ａ,(ｎ,ｈ(-2Ａ))=1,则Ｄｉｏｐｈａｎｔｕｓ方程Ａｘ2 2=ｙｎ,ｘ,ｙ,ｎ∈Ｎ,2ｎ>1(2)仅有解Ａ=1,ｘ=5…     

Diophantus方程x2+2m=yn

设Z,N,Q分别是全体整数,正整数以及有理数的集合.数论和组合论中的很多问题都与指数型Diophantus方程x~2 2~m=y~n,x,y,m,n∈N,2(?)y,n>2的解(x,y,m,n)有关.近五十年来,Ljunggren,Nagell,Brown,Toyoizumi和Cohn等人都曾对此有过很多工作.1986年,文献[1]宣布已经找出了方程(1)的全部解,但是迄今没有见到该结果的证明.因此方程(1)的求解仍是个尚未解决的问题本文运用Baker方法证明了:定理 方程(1)没有适合2|m以及m>2的解(x,y m,n).由于文献[2]运用代数数论方法证明了:方程(1)仅有解(x,y,m,n)=(5,3,1,3)和(7,3,5,4)适合2(?)m;文献[3]用初等数论方法证明了:方程(1)仅有解(x,y,m,n)=(11,5,2,3)适合m=2.因此综合上述结果即可确定方程(1)的全部解.推论 方程(1)仅有解(x,y,m,n)=(5,3,1,3),(7,3,5,4)和(11,5,2,3).     

关于丢番图方程x~(2n)—Dy~2=1

关于丢番图方程x~(2n)—Dy~2=1,D>0且不是平方数,n>2,(1)本文证明了定理1 设Pell方程u~2—Dv~2=—1有整数解,则丢番图方程(1)除开n=5,D=122有解x=3,y=22外,无其他正整数解。     

含R_2dtc配体的Fe_4S_4类立方烷原子簇Fe_4S_4(C_5H_(10)dtc)_4·(1/2)CH_2Cl_2的合成与结构

对Fe—S蛋白的4Fe—4S活性中心的化学模拟推动了Fe_4S_4类立方烷原子簇化合物的合成与结构研究,这些模型化合物具有[Fe_4S_4L_4]~(2-)(L=RS,RO,Cl)通式。近年来,Coucouvanis等报道了一系列含混合配体的Fe_4S_4簇合物,如[Fe_4S_4(SPh)_2Cl_2]~(2-)和[Fe_4S_4Xn     

关于算子方程A=A~*C

H是复Hilbert空间,B(H)是H上有界线性算子全体,C是复数域。对任何A,A~(-1)∈B(H),文献[1]中称算子C=A~(*-1)A为A的极·积算子,文献[1]对C作了较多研究,文献[2]中以极·积算子为工具,给出H上算子方程λA~2+μA~(*2)=αA~*A+βAA~*(λ,μ,α,β∈C)可解性的研究,并写出了它的全部解。文献[2]中主要用到当C为正常算子时,方程C=A~(*-1)A可解的充要条件以及它的全部解的表达式(见文献[1]定理5)。这就很自然地促使人们研究     

模态模型论中Bowen若干定理的反例和内插定理的失败

Kit Fine在文献[1]中证明了对于包含S_5的一些模态谓词演算而言,内插定理不成立,这与Bowen的结论相矛盾,并说,由于文献[2]“关于Robinson的联合无矛盾性定理(此定理为内插定理的主要依据——作者按)未给出详细证明,我们难于了解其错误所在。”事实上,Bowen的错误不在于其联合无矛盾性定理(文献[3]定理11.1,文献[2]定理10.1)、内插定理     

包含S_2流面变量的旋转叶轮三维流动变分原理及界限定理

把文献[1]的流场定义域改为(符号按文献[1])在两个周期的S_2流面之间并内含一个叶栅,并把S_2取为变量.在文献[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]     

一类演化方程u_t=αu~qu_1+au_p的差分格式

对这样一类很重要的方程,如何建立相应的差分格式是一件很有意义的事,我们知道方程(1)在某种意义上讲是下列二个方程:的迭加.文献[2]曾对方程(3)在p=3情况下讨论了各种格式的建立,本文是将文献[2]中结果推广到一般方程(即p是大于零的任何正整数),分二种情况来讨论,即P是偶数或奇数     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

一个谱可变演化方程的对称

一、引言在文献[1]中,考虑了C-Kdv方程的对称和可积性。作者给出了C-Kdv方程的Lax算子对,前三个传统对称和前三个新对称,并指出这些对称适合于一个李代数。本文考虑一个更一般的方程     

实二次域关联的丢番图方程的解

设m为无平方因子有理正整数,c为整数,方程x~2-my~2=c (1)的整数解问题,与实二次域Q(m~(1/2))及分圓域Q(ζ_m)的实子域的类数密切相关,文献[1—7]均由研究此方程得出了有关类数结果,且对特别的m和较小的c值,得出了方程(1)可解的     

方程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     

高阶椭圓型方程一般边值问题的奇摄动

本文应用“两变量展开”构造边界层的方法,研究2(m+l)阶椭圆型方程的一般边值问题,求出它们的渐近解,拓广了文献[1—3]的工作,并为研究薄板、薄壳的小挠度弯曲问题,提供一种新的数学方法。