关于线性丢番图方程组和线性同余式组

来源 :南京大学学报:数学半年刊 | 被引量 : 0次 | 上传用户:CNHTC01
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在本文中我们证明了整系数线性方程组a11x1+…+a1lx1b1,a21x2+'…+a2lx1= b2,ak1x1+…+sk1x1,有整数解当且仅当对任何1≤i1<…<ih≤k及1≤ji<…<jh.≤l诸行列式(j= 1, …,l )的最大公因数整除我们还证明了,k>l时含未知数x1,…,x1的k个线性同余式有公解当且仅当其中任何l+1个同余式有公解.
其他文献
将张闻鹏等关于Fibonacci序列等式推广到了一般n阶线性递归序列{un(a1,a2,…,an)}n>-m,利用序列{(un(a1,a2,…,am)}的生成函数和偏导数得到了更一般的结果.
本文给出了新的27和52个顶点的广播网,进上步给出了广播函数B(27),B(52)的界:44≥B(27)≤48,B(52)≤98。
本文应用整体反函数理论和Schauder不动点定理证明了Lienard方程周期解的存在性,以及Duffing方程周期解的存在唯一性。
本文确定了有理数域Q上的多项式环Q[x]的一个子环R={f(x)∈Q[x]|f(0)∈Z}的极大谱、素谱及同调维数.
证明了Banach空间中一些凸性和光滑性的充分必要条件,从而完全搞清了这些凸性与光滑性之间的对偶关系,推广了以前的有关结论.
A.M.W.Glass给出了有理数集Q上两个l-群的l-自由积的2-可迁表示。本文在作者已经得到两个l-群的l-自由积的高O-可迁表示的基础上给自然数集N上l-群的自由积的非2可迁表示。
Tiao and Tsay的论文表明线性ARMA模型能为长记忆序列提供较好的逼近预测.本文给出求逼近预测的方法,并予以证明.
设p为奇素数,a为正整数且P|a,本文证明了q^a-1(q^16a;q^16a)(p-1)/2/(q^16;q^16)(p-1)/2=(a/p)(mod[p]q),其中(x;q)n=(1-x)(1-xq)…(1-xq^n-1),[p]q=1+q+…+q^p-1,(a/p)为Legendre符号。
本文证明了:设f(z)和g(z)是两个超越整函数,n≥6是一个正整数,a(z)(≠0)是f(z)和g(z)的公共小函数。若f^n(z)f'(z)和g^n(z)g'(z)分担a(z),则或者f^n(z)f'(z)g^n(z)g
本文利用全局反函数理论及非齐次一阶线性周期边值同题解的存在唯一性定理,建立了半线性系统的周期边值同题解的存在唯一性定理。