关于Diophantus方程Cx~2+2~mD=y~p

设C>0,D>0且D无>1的平方因子。本文在虚二次域中考虑Diophantus方程(C,2D)=1,ρ奇素数(1)的解.设h(—CD)是的理想类数,我们有 定理1 设CD(?)3(mod8),(?)     

关于一般的D.H.Lehmer问题

q)3为奇数,对任意整数。,(。,的~1,我们以云记。在modq下的乘法逆,即同余方程ax二l(mod妇在区间1簇:(q一l内的整数解.定义集合 L(宁)~{a!a〔Z,z毛。(宁一z,(a,宁)~1,a+云二l(modz)}.(z)关于L(宁)中元素的分布是D.H.Lehmer问题的一般形式t1,习.最近,张文鹏在文献【3〕中提出如下猜测:}乙(;)卜冬,(,)+o(,全+·). Z(2)本文的目的是在更一般情况下证明(2)式.我们有 定理q)3为奇数,L(刃由(l)定义,N是任意正整数,1攫N《宁一1,则艺艺轰召l~土N. 2中(宁),一‘+o(,全‘(,)109,,),(3)其中武妇为q的正因子的个数,大0常数是绝对的. 在定理中令N一q…     

Einstein-Maxwell方程的新解

广义相对论的发展在很大程度上取决于引力场方程的严格解和它们的物理解释。学者们一方面在寻求引力场方程的新的严格解,另一方面,自70年代以来人们开始寻求一些变换,从一个已知的严格解生成一个新解。这一领域(生成技术)主要是对于具有辐射对称性的引力场进行工作的。其主要原因有二:第一,辐射对称的引力场在天体物理领域具有十分重要的     

关于—类丢番图方程x~3±(3~k)~3=Dy~2

关于丢番图方程x~3 1=Dy~2,D>2,D无平方因子且不能被3或6l 1型素数整除(1)x~3-1=Dy~2,D同(1)式,(1’)Liunggren证明了最多只有一组正整数解.柯召与孙椅证明了(1)与(1’)均无非平凡整数解.笔者得到了一类丢番图方程x~3 (3~k)~3=Dy~2,D≥1,D无平方因子且不能被6l 1型素数整除,k≥1(2)x~3-(3~k)~3=Dy~2,D,k同(2)式(2’)     

无限维中Hamilton-Jacobi方程的平均化及应用

本文研究无限维中带有快速变量的Hamilton-Jacobi方程在粘性解意义下的平均化。考虑某个Hilbert空间X上的Hamilton-Jacobi方程: 其中为连续映射;是周期为1的周期函数。从文献[1,2]知,在适当条件下(见第1节),方程(1)有唯一的粘性解V_ε(t,x)。本文用到粘性解的定义见文献[1～3]。满足 本文证明了,如果L_ε不依赖于ε(可依赖于R),则当ε→0~ 时,V_ε(t,x)的极限存在,且其极限V(t,x)是如下HJB方程的唯一粘性解:     

以滞量为参数的向日葵方程的Hopf分支

文献[1]在谈到向日葵方程(?)+(a/r)(?)+(b/r)sinα(t-r)=0的Hopf分支问题时写到:“我们可以把(1)式写为(?)=F(a,b,r,z).若我们选取r为参数,则由于r进入了z_t的定义,故F对r的依赖性是复杂的,所以我们取a为参数.”众所周知,滞量是引起时滞微分方程和常微分方程差异的关键所在,所以用滞量作参数讨论时滞方程分支问题是很有意义的.本文就是以时滞r为参数,给出(1)式的Hopf分支存在的条件,同时还明确地给出其Hopf分支方向,分支周期解的渐近表达式及其稳定性.关于(1)式的导出及意义可参阅文献[1～3].     

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).     

关于具有限时滞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)化成等价系统     

连续函数空间中具零边界的非稳态迁移方程解的存在唯一性

在某些情况下有必要将中子迁移方程置于连续函数空间中进行研究(例如研究离散纵标法的合理性).用于研究非稳态的迁移方程的传统数学工具是算子半群理论.然而,在连续函数空间中,对于具零边界的非稳态方程,迁移算子A的正则集为空集(文中引理1显示这一点),因此A不生成C_O-半群或积分半群.针对这种情况,本文引进了一种新的方法,证明了具零边界的非稳态迁移方程连续解的存在唯一性,并给出了解的表示.     

非线性不适定问题的最大熵方法

很多数学物理问题可化为求非线性算子方程 F(f)=g (1)的满足f≥0的解,其中为非线性算子,定义域在Ω上},并且Ω为R~n中可测集。例如,在问题中,考虑由u的观察值u(x),x∈(0,1)来确认参数a,其中h∈L~2([0,1])并且g_1,g_2为实数。众所周知,当在[0,1]上},问题(2),(3)有唯一解。定义非线性算子F为     

经典杨-Baxter方程和gl(p,q)Gaudin模型

经典杨-Baxter方程和量子杨-Baxter方程对于经典和量子可积系统理论的研究具有极为重要的作用。1973年,Gaudin引入了一类现在以其命名的完全可积模型。此后,Faddeev敏锐地注意到,这些可积模型与经典杨-Baxter方程的解之间存在着极为密切的联系。事实     

关于Duphantus方程(ax~m-1)/(abx-1)=by~2

设a,b均是任给的正整数，本文用Pell方程的初等方法给出丢番图方程(ax~m-1)/(abx-1)=by~2,2|m>1的一个完全自给的解答。所得结果是对Ljunggren(a=b=1)和孙琦等(b=1)的结果的推广。值得注意,Ljunggren和孙琦等的结果的证明,均不是自给的。     

空间曲线的演化与孤立子方程

利用so(3)与su(2)代数及群的关系,建立空间曲线演化与孤立子方程的联系,从而得到空间曲线演化的解的解析表达式。 1 问题的提出 在初等微分几何中,当给定空间曲线的曲率x(s),挠率τ(s)后(s是自然参数),曲线由Serret-Frenet方程描述,     

关于丢番图方程x~3±1=Dy~2

对于丢番图方程x~3±1=Dy~2,x~3±1=3Dy~2,D>2,D无平方因子且不能被3或6k 1形的素数整除,设上式中四个方程的正整数解(x,y)的总个数为T,Ljunggren(Skr.Norske Vid.Ak ad.Oslo.I.9(1942),53)证明了T≤1,他的证明方法不是初等的。     

Duffing方程周期解存在的构造性证明

考虑下列Duffing方程周期边值问题x″(t)+Cx′(t)+g(t,x)=e(t),(1)x(0)-x(2π)=x′(0)-x′(2π)=0.(2)其中g:R×R→R是关于x连续可微,关于t连续且以2π为周期的连续函数,C为常数.e:R→R是连续的且以2π为周期.若存在两个几乎处处连续的实函数a(t),b(t)使得n~2≤a(t)≤g′_x(t,x)≤b(t)≤(n+1)~2,(3)且在[0,2π]的一个正则集上a(t)>n~2,b(t)<(n+1)~2,方程(1)存在唯一的2π-周期解.这种存在唯一性证明一般分作两类:一类是纯粹理论性证明,一类是构造性证明.前一类理论深刻,一般涉及较多的非线性分析的工具,参见文献[1～6].后一种的最大优点是可形成算法,求得数值解,但技巧性较强,一般较为少见.本文受文献[7]的启发,从易于数值计算的角度出发,从初值问题和矩阵特征值入手,采用连续法构造性地证明了(1),(2)式在条件(3)下解的存在唯一性.此方法不仅简单,而且提供了一种可数值求解周期解的方法.     

复杂目标电磁散射问题的预修正快速傅里叶变换方法

使用矩量法把电磁散射问题的体-面结合积分方程(VSIE)、面积分方程(SIE)和体积分方程(VIE)转换成线性方程组, 并利用预修正快速傅里叶变换(P-FFT)方法来进行快速求解. 针对传统模板拓扑存在的不足, 提出两种模板拓扑改进方案即模板拓扑B和模板拓扑C, 并比较三种模板拓扑的构造方法和实际性能. 数值仿真表明, 结合三种模板的P-FFT算法结果与标准解吻合得很好, 所提出模板拓扑B可以显著减小近区预修正操作的次数, 而模板拓扑C由于各模板之间没有重叠网格, 具有适用于并行分层P-FFT算法的潜力.     

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

本文将利用半单(广义)连分数理论研究丢番图方程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]     

关于具有限时滞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)存在非平凡周期解的充分条件.     

含有高阶导数项的Einstein方程的一个旋转度规解

最近几年许多作者研究了含有高阶导数项(即各阶Gauss-Bonnet项)的Einstein方程,高阶导数项来自超弦理论在低能极限下的有效拉氏量。所有的作者只求得球对称解和宇宙解。本文用Newman的复坐标变换方法导出了旋转度规解。 含有Gauss-Bonnet项L_2的广义Einstein-Maxwell方程为     

中立型方程振动性的若干问题

是否是方程(1)一切解振动的必要条件? 问题B 设-1≤P<0,试求方程(1)一切解振动的充分条件而不要求条件(2)。 猜想 设P=1且条件(2)成立。令