关于整系数线性型的两个问题

设a_1,a_2,…,a_k是正整数,(a_1,a_2,…,a_k)=1。线性型f_k=a_1x_1+a_2x_2+…+a_kx_k(x_1,x_2,…,x_k取非负整数)所不能表出的最大整数及f_k不能表出的正整数的个数分别以M_k及N_k表示。关于如何求出M_k是一个尚未完全解决的问题,柯召教授首先讨论了k=3的一个情形。在柯召教授的指导下,陆文端又讨论了k=3的另外一些情形。J.B.Roberts对a_1,a_2,…,a_k成算术级数的情形得出了M_k的公式。除重穆推广柯召教授的结果证明了下面的一个定理:命D_i=(a_1,a_2,…,a_i),     

关于Frobenius问题

设n≥2,a_1,a_2,…,a_n都是正整数,且(a_1,a_2,…,a_n)=l,记a_1x_1+a_2x_2+…+a_nx_n 当X_i≥0(i=1,2,…,n)时不可表出的最大整数为g(a_1,a_2…,a_n).本文首先用构造性方法简单地证明了g(a_1,a_2,…a_n)的存在性,并运用这种方法给出了某些应用;其次对n=3的重要情形用不同的方法讨论,提出了求g(a_1,a_2,a_3)的一种简便而实用的方法。     

求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。     

范式dk=a_1x_1+a_2x_2+…+a_nx_n的解法

令d,a_1,…,a_n为非负整数,K是使(1)dk=a_1X_1+a_2X_2+…+a_nX_n,X_i≥0,i=1,…,n成立的最小正整数.(1)式叫做d关于a_1,a_2,…,a_n的范式,简称n元范式.在文[1]、文[2]中,对n=2的情形,给出了范式的解法.本文在此基础上,解决n(>2)元范式的解法.     

解线性方程组的0.618方法

线性方程组 a_(11)x_1+a_(12)x_2…a_(1n)x_n=b_1 …………………………………………… a_(n1)x_1+a_(n2)x_2+…+a_(nn)x_n=b_n 的解法有多种,本文给出一个新的解法——“0.618”方法,并证明了解法的收敛性及唯一性。     

关于不定方程a_1X_1+a_2X_2+…+a_nX_n=N的非负解个数的讨论

设不定方程(1)a_1x_1+a_2x_2+…+a_nx_n=N,其中,n≥2,(a_1,…a_n)=1,N和a_i(i=1,2,…,n)均为正整数(且不妨假设a_1≤a_2≤…≤a_n)。 (1) (1)的非负整数解的个数是有限的,设为T_n(N)。记0相似文献   

化二次型为标准形的一个注记

<正> 一般的《高等代数》书都是采用若干步的线性替换化为标准形的.(当然可通过合同的初等变换求出上式中的n阶可逆矩阵C来)先将f(x_1x_2,…,x_n)化为d_1y_1~2+g(y_2,…,yn)(g(y_2y_3,…yn)是P上的n-1元二次型)再对g(y_2,…,yn)进行变换等等.而当a_(11)=a_(22)=…=a_(nn)=0时,往往需要两步线性替换才能将n元的情形化为n-1元的情形.本文介绍一种简单易记的方法.只需经过一次线性替换就可将f(x_1,x_2…,x_n)化为d_1y_1~2+d_2y_2~2+g(y_3,…,yn)的形式,即有     

交换环上的线性方程组可解的一个充分条件

<正> 本文R始终表示有单位元的交换环。我们考虑系数在R中的线性方程组AX=B (1)在R上可解的条件,这里A=(a_(ij))是一个m×n矩阵,X=(x_1,…,x_n)~t,B=(b_1,…,b_m)~t。如果m>n,可以引入变量x_(n+1),…,x_m及a_(ij)=0(1≤i≤m,n+1≤j≤m)。因此,不失一般性,我们总可以假定m≤n。关于线性方程组AX=B有解的充分条件,文献[1]、[2]、[3]中针对一些     

多项式根的k次方之和的新解法

若xj(j=1 ,2 ,… ,n)是n次方程a_nx~n+a_(n -1) x~(n -1) +… +a_1 x +a_0 =0的n个根 ,将给出一种求这n个根x_1 ,x_2 ,… ,x_n 的k次方之和sum from i=1 to n(x_i~k)的新方法。     

关于线性微分方程稳定性的两点注记

在这个注记中,建立了线性微分方程组零解为不稳定的条件,它特别简便,其次还建立了线性微分方程组零解为渐近稳定的一个必要条件,由此条件就可断言文[1]中有两个推论是错误的.设给定线性微分方程组(dx_s)/(dt)=a_(s1)(t)x_1+…+a_(sn)(t)x_n,s=1,…,n, (1)或表为矩阵形式(dx)/(dt0=A(t)x, (1′)其中 a_(sj)(t)(s·j=1,…,n)对一切 t≥t_0≥0为连续函数;又设     

不定方程 a_1x_1 a_2x_2 … a_sx_s=n 的Frobenius问题

对于 n 和 a_1,a_2均是正整数,且(a_1,a_2)=1的二元一次不定方程 a_1x1 a_2x_2=n,能够找到仅与 a_1,a_2有关的整数 g(a_1,a_2)=a_1a_2-a_1-a_2,使得当 n>g(a_1,a_2)时,不定方程有非负整数解,而当 n=g(a_1,a_2)时,不定方程没有非负整数解。求 g(a_1,a_2)的问题就是二元一次不定方程的 Frobenius 问题。本文解决如何求仅与不定方程 a_1x_1 a_2x_2 … a_2x_2     

具有公共原象的亚纯函数(Ⅱ)

讨论了亚纯函数的唯一性问题,证明了下述定理:设f(z)与g(z)是开平面内非常数亚纯函数,S_j={b+a_j,b+a_jω,…,b+a_jω~(n-1)}(j=1,2,3),这里n≥3,ω=cos(2π/n)+isin(2π/n),a_1~(2n)≠a_2~(2n),a_1~n≠a_3~n,a_2~n≠a_3~n.如果E_f(S_j)=E_g(S_j)(j=1,2,3),则f-b(?)c{g-b},其中c~n=1.     

关于f-P~n[f']的值分布

讨论了f-P~n[f']的值分布问题,得到关于Hayman问题的一个推广:定理1 设f为超越亚纯函数,a_j(j=1,2,…,m-1)为f的小函数,m,n,为自然数.记P[f']=(f')~m+a_1(f')~(m-1)+...+a_(m-1)f'则当n≥3时,,f-P~n[f']取任意有穷复数无穷多次.     

关于Gauss-Seidel迭代法的收敛准则

在文[1]的定理2中,给出了当 a=sum from(i=1)to n a(i)<1时,有 Gauss—Seidel 迭代法收敛.本文是在当 a=sum from(j=1)to n a(j)≥1的情形下,给出新的判别准则。它放宽了文[1]中定理2的判别条件。设线性方程组X=AX+b (1)存在唯一解 x~*=(x_1~*,x_2~*,…,x_n~*)~T,则(1)的 Gauss—Seided 迭代程序为:(2)本文的主要结果:     

格序群上矩阵方程A。X=B的解

在[1]、[2]、[3]中分别给出了完备的Browwer格上、每个元都有有限的并既约分解的格上以及一般分配格上的矩阵方程AX=B(即:(a_(ji)∧x_i)=b_j,j=1,2,…,m)的全部解的求法,和有解的条件.本文对格序群(G, ,∨,∧)上的矩阵方程A·X=B(即a_(ji)∧x_i a_(jz)∧x_2 … a_(jn)∧x_n=b_j,j=1,2,…,m)以及A*X=B.(即:a_(j1)∨x-1 a_j2∨x_2 … a_(jn)∨x_n=b_j,j=1,2,…,m)分别给出了其有解的条件、解集的构造,以及求解的一个常规方法.     

图的色多项式与匹配多项式

本文的主要结果是: 设f(G,t)=[t]_n+a_1[t]_(a-2)+a_2[t]_(a-2)+……是图G的色多项式,这里[t]_k=t(t-1)(t一2)…(t-k+1)。如果G的独立数小于3。那么,系数1,a_1,a_2……作成一个单峰序列。     

求不相容线性方程组最好近似点的逆矩阵法

§1.前言设有不相容线性方程组sum from j=1 to n=a_(ij)x_j+b_i=o,i=1,2,…,m,m>n.(1) 若点X~*=(x_1~*,x_2~*,…,x_n~*)使得量     

关于数列极限的一个例题

设x_1=C/2,x_(+1)=C/2+x~2/2,n=1,2,…,G∈R本文拍出[1,2]中“C<-3时{x_1}不收敛”的结论是错误的,并进一步讨论了在C∈R的各种情况下{x_a}的敛散性。     

差分方程xn+1=(α+B1xn-1+B3xn-3+…+B2k+1xn-2k-1)/(A+B0xn+B2xn-2+…+B2kxn-2k)的动力学

考察差分方程x_(n 1)=(α B_1x_(n-1) B_3x_(n-3) … B_(2k 1)x_(n-2k-1))/(A B_0x_n B_2x_(n-2) … B_(2k)x_(n-2k)),n=0,1,…的动力学行为,在4种情形下分别讨论方程解的性质.     

不动点集为■RP_i(2~λ)的具有对合T的光滑流形

设(M~(2λ+k),T)是具有对合T的2~λ+k维光滑流形。本文要证明(M,T)协边于0,由[2,P319,命题]易知当k≥2~λ时,(M,T)协边于0,故只讨论k<2~λ情形。由[2]设f(x_1,,x_2,…,x_n)是Z_2上对称多项式且次数≤n.则有: