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

设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),     

Ms—的一个算法

设a_1,a_2,…,a_s均为正整数,(a_l,a_2, …,a_s)=1,线性型f_i=a_1x_1 a_2x_2 … a_ix_i,x_i≥0,i=1,2,…,s,所不能表出的最大整数记为M_i。本文证明了,M_s可以表示为 sum from i=2 to s(a_ik_i)-sum from j=1 to s(h_ja_j), h_j≥1.其中k_i(i=1,2,…,s)是使等式 a_ik_i=a_1x_(1i) …a_(i-1)x_((i-1),i)i a_(i 1)x_((i 1),i) … a_sx_(si),x_(1i)≥0,…,x_((i-1),i)≥0,x_((i 1),i)≥0,…,x_(si)≥0成立的最小正整数。并通过h_i的确定,给出M_s的一个算法。     

关于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)的一种简便而实用的方法。     

扰动对天敌有多食性模型稳定性的影响

本文主要讨论了扰动对天敌具有多食性模型 x_1=x_1(r_1-a_1y), x_2=x_2(r_2-a_2y), y=y(-r_3+b_1x_1+b_2x_2)稳定性的影响。利用Liapunov函数得到了昆虫种类内部的密度制约,将促使昆虫与天敌系统进一步稳定化,进而得出同一食饵水平上的竞争是不稳定化的结论。其中后一种情况与J.M,Smith的结论完全一致。     

续论方程ax+by+cz=n

设a,b,c为正整数,(a,b,c)=1,x,y,z为非负整数,(a,b)=d,a=a_1d,b=b_1d,u,v为非负整数,当a_1u+b_1v能够表出c时,(1) ax+by+cz所不能表出的最大整数为M=(ab)/(a,b)+c(a,b)-a-b-c. [1]在a_1u+b_1v不能表出c时,c可以表成c=a_1r-b_1s或c=b_1s-a_1r,其中 a_1r+b_1s相似文献   

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

关于线性型Frobenius问题的注记

以g(a_1,a_2,…,a_n)表n元整系数线性型a_1x_1+…+a_nx_n,a_i>0,(a_1,…,a_n)=1,不可非负整表出之最大整数,D_(n-1)=(a_1,…,a_(n-1)).注记中将证明g(a_1,…,a_n)=D_(n-1)·g(a_1/D_(n-1),…,a_(n-1)/D_(n-1),a_n)+(D_(n-1)-1)a_n。并由此对Brayer关于g(a_1,…,a_n)之上确界的著名结果和Roberts关于g(a,a+d,…,a+sd)的精确结果分别给出一个十分简洁的新证明.     

三元Frobenius问题

对S元(S≥2)线性型a_1x_1 … a_sx_s,a_i>0(i=1,…,S),(a_1,…,a_s)=1,存在一个仅与a_1,…,a_s有关的整数g(a_1,…,a_s),凡大于g(a_1…,a_s)之数必可表为sum from i=1 to s (a_ix_i)(x_i≥O,i=1,…,s)的形状,而g(a_1,…,a_s)不能表为     

二次曲线的奇点及过奇点的切线

在平面上,任给二次曲线Γ:F(x,y)≡a_(11)x~2+2a_(12)xy+a_(22)y~2+2a_(12)x+2a_(23)y+a_(33)=0 (1)和一点 M_0(x_0,y_0),则过 M_0的直线 l 的方程可写为x=x_0+Xt,y=y_0+Yt.X:Y 是 l 的方向,-∞相似文献   

二阶非线性变系数微分方程组的全局稳定性

考虑系统 x=-a_1(t)f(x)+a_2(t)ф(y) y=a_3(t)x-a_4(t)y,f(0)=0,ф(0)=0 (1)定理1 假设成立条件(假定本文所考虑的函数均连续可微): 1)x·f(x)>0,(x≠0),且|f(x)|≥|x|; 2)对于一切t≥t_0,有a_1(t)≥a_1(>0);a_2(t)≤a_2(>0),a_3(t)≤a_3(0),a_4(t)≥a_4(0),(a_2+a_3)/(a_1~(1/2)·a_4~(1/4))<2 3)|φ(y)|≤|y|; 4)lim |x|→integral from n=0 to x (f(x)dx=+∞)则非线性系统(1)的零解是全局渐近稳定的。     

关于正整系数线性型的最大不可表数—Frobenius问题

n个变量的正整系数线性型f_n=a_1x_1+a_2x_2+…+a_nx_n(其中a_i为正整数,x_i取非负整数),当(a_1,…,a_n)=1时,可表一切充分大的自然数。自然提出一个问题:如何求此型的最大不可表数M_n?这问题在堆垒数论和概率论中有其运用(参看[9]p.211和[7]P.261)。对于n=2的情形,问题方化解决。对n≥3,柯召等很多人讨论过;特别是n=3时,有比较完整的结果。本文用初等方法改进了一般n的结果,特别讨论了n=3,4的情形,分别较尹支霖和李培基的方法略简一些。     

关于不定方程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相似文献   

求解一次不定方程的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元线性型最大不可表数的两个算法。     

M_3的一个求法

令α,β,γ为非负整数.κ是使 κα=lβ+mγ,l≥0,m≥0成立的最小正整数.上式叫做α关于β,γ的范式 本文主要结论为下述定理 定理 设a,b,c为三个正整数(a,b,c)=1.令 (a,b)=d_3, (b,c)=d_1, (c,a)=d_2 c=αd_2d_3,b=βd_1d_3,c=γd_1d_2又α关于β,γ;β关于α,γ的范式分别为 κα=lβ+mγ uβ=να+wγ如果m,w不全为o,则不能由线性式 αx+by+ca,X≥0,y≥0,z≥0 表出的最大整数M_3为 M_3=max(λα+wγ,uβ+mγ)d_1d_2d_3-a-b-c 根据本定理,本文设计出一种较简明的求M_3的算法.     

关于多元加权全最小一乘法的最优解

对给定n+1维欧氏空间R~(n+1)中的m个点x_1=(x_(11),x_(12),…,x_(1n+1)), x_2=(x_(21),x_(22),…,x_(2,n+1)),…,x_m=(x_(m1),x_(m2),…,x_(mn+1)),证明了存在最优超平面β_0+β_1x_1+…+β_(n+1)x_(n+1)=0,使这组点到此超平面的加权垂直距离和Q(β)=(∑~(n+1)_(j=1)β~2_j)~(-1/2)∑~m_(i=1)w_i|β_0+∑~(n+1)_(j=1)β_jx_(ij)|=min (w_i>0,i=1,2,…,m);提出并证明了最优超平面β_0+β_1x_1+…+β_(n+1)x_(n+1)=0应满足的3个必要条件,从而给出了求最优超平面的方法.     

关于一次同余方程组转换定理的推广

设p为任一素数,l、s、t为任意自然数,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记x=max(1,|x|),p_1=[(p~1-1)/2],p_2=[p~1/2],(a)p~1表示(a)p~1量a(modp~1)且-p_1≤(a)p~1≤p_2的整数。考虑对偶一次同余方程组及其满足条件-p_1≤x_v≤p_2,-p1≤y_v≤p_2,1≤v≤s+t的非平凡解x=(x_1,…,x_s,…,x_(s+t))和y=(y_1,…,y_t,…,y_(s+t)),记q=q(a_(11),…,a_(ts))为所有乘积x_1…x_s…x_(s+t)中的最小值,Q=Q(a_(11),…,a_(ts))为所有乘积y_1…y_t…y_(s+t)中的最小值。本文将证明: q与Q满足不等式(Q~(β-1))/q≤(s+t+1)~βp~(β[l(s+t-1)-t]),其中β是适合0≤β≤s+t的任一实数。     

非线性微分方程组参数估计的模式函数法

阐述模式函数法的基本原理,对非线性微分方程组x_1=a_1x_2x_3x_2=a_2x_1x_2~2x_3 a_3x_3x_3=(a_ix_2)/(x_i t)其中,a_i(i=1,2,3,4)是参数,x_i(i=1,2,3)是状态变量,给出用模式函数法进行参数估计的具体方法。     

关于线性型的一个结果

J.B.Roberts在[1]中证明了下面一个定理:a_0,a_1,…,a_s是互素的正整数a_0≥2d>0且a_j=a_0+jd(j=1,2,…,s)则,线性型     

关于矩阵乘积的奇异值的一个不等式及其应用

约定 A(≥0)>0为(半)正定 Hermite 矩阵。如果复矩阵 A=(a_(ij))(∈C~(n×n))的特征值都是实数,规定其特征值满足λ_1(A)≥…≥λ_n(A),用σ_1(A)≥…≥σ_n(A)表示 A 的n 个奇异值,规定{δ_1(A),…,δ_n(A)}与{a_(11),……,a_(nn)}为同一集合且|δ_1(A)≥…≥|δ_n(A)|。当实向量 x=(x_1,…,x_n)与 y=(y_1,…,y_n)的分量按递减顺序排列为 x_[1]≥…≥X_[n]与 y_[1]≥…≥y_[n]时,若(?)X_(i)≤(?)y_[i],k=1,2,…,n,则称 y 弱控制 x,记为 x相似文献   

关于Zalcman猜想

设f(z)=z+a_2z~2+a_3z~3+…∈S。Zalcman猜想|a_n~2-a_(2n-1)|≤(n-1)~2当n≥2时对函数类S成立,本文证明了当n=3时,Zalcman猜想是成立的。