关于线性递推序列模素数的周期的研究

来源 :南京师范大学 | 被引量 : 0次 | 上传用户:dd1246
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在广义Fibonacci数列模素数的周期的基础上,主要研究了更加一般的线性递推数列En模素数的周期k(p),具体来说:  第一章分为两个部分,第一部分介绍了本文需要用到的基础知识及其背景,第二部分介绍了目前的研究概况,并给出本文的主要结果.  在第二章里,我们通过研究线性递推数列对应的特征矩阵U模素数的周期T(p),来刻画线性递推数列En模素数的周期k(p)的特性,并得到以下主要结论(以下记Δ=A2+4B):  当En+1=AEn+BEn-1+C0+C1n+C2n2+…+Ctnt时得到  定理2.4.1设p是素数(p为不小于t+2的素数),  (1)若(Δ/p)=0,则T(p)=p·ord(A/2),特别地,(Δ/p)=0且A≡2(mod p)时,T(p)=p;  (2)若(Δ/p)=1,则A+B≡1(modp)时,T(p)=p· ord(-B);A+B(≠)1(mod p)时,p·ord(-B)| T(p)| p(p-1);  (3)若(Δ/p)=-1,则T(p)|2p(p+1)ord(B2).  定理2.5.1设p是奇素数,  第一类,当对应的特征多项式g(x)无重根时,有  (1)三个根均属于Fp时,T(p)|(p-1).  (2)三个根中只有一个根属于Fp时,T(p)|(p2-1).  (3)三个根都不属于Fp时,T(p)|(p3-1).  第二类,当对应的特征多项式g(x)有重根时,有  (1)存在三重根时,三重根a必属于Fp,且T(p)=p·ord(a).  (2)存在二重根时,二重根必属于Fp,且T(p)| p(p-1).  推论2.5.2设p是奇素数,对于形如:En+2=En+1+BEn-BEn-1,的递推数列,有  (1)若B=1,则T(p)=2p;  (2)若B≠1,则(B/p)=1时,T(p)=20rd(√B);(B/p)=-1时,ord(-B)| T(p)|(p2-1);(B/p)=0时,T(p)=1.
其他文献
数学解题是学生数学学习的一项重要活动,而审题是贯穿于整个解题过程的一种探索行为。因此,了解高中生数学审题的基本情况和审题过程中存在的问题,以便更好地发展学生的数学审题
随着科技的不断进步,各种图像处理技术也一直在发展。小波分析由于其具有多尺度特性和良好的时频局部化能力,被广泛应用于图像处理中,偏微分方差是一个有着悠久历史的数学理论,近
芬斯勒几何包括其重要特例黎曼几何是现代数学中的重要前沿学科,由Finsler几何发展起来的几何方法对于探究理论物理,生物数学和信息几何等都是相当有用的.本文主要研究了光滑流
亚纯函数的值分布理论和正规族理论是复分析当中的十分重要的研究分支,国内外的很多专家对此作出了许多杰出且富有成效的科研成果.本文主要研究了亚纯函数的值分布和正规族两
本文主要研究带有多个临界指数和Hardy位势的椭圆方程组的问题.前期文献已经证明了该类方程正解,变号解以及无穷多个解的存在性,已经有了大量的研究成果.因此,本文主要研究该
微分代数方程(DAEs)有着广泛的应用背景,如电力系统、互联系统等可以用微分代数系统来刻画.本文对于长方阵,基于投影我们研究了一种新的广义逆.在特殊情况下,它包含了已知的广义
本文通过运用差分运算,生成函数和部分分式分解等方法,证明了有限三角和的若干恒等式,并推广了前人的一些结果,特别是Chu和Marini的结果。例如,设n和s是非负整数,并且有0≤r≤n,Chu
广义纳什均衡问题,简称GNEP,是非合作博弈论中一类重要问题.与经典的纳什均衡问题相比,最大的不同在于每一个参与者的策略集都依赖于其他参与者的决策.广义纳什均衡问题之所以备
这篇文章主要研究如下这类2k阶奇异偏微分方程组{(-△)ku(x)=|x|σvq(x)(-△)kv(x)=|x|σup(x)以及Hardy-Sobolev型积分方程组{u(x)=∫Rnvq(y)/|y|-σ|x-y|n-αdyv(x)=∫Rnup/|y|-