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

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

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

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

阐述模式函数法的基本原理,对非线性微分方程组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)是状态变量,给出用模式函数法进行参数估计的具体方法。     

关于两种群Volterra模型扇形稳定性的研究

Lotka-volterra模型是指: x=x_1(a_(10) a_(11)x_1 a_(12)x_2) x_2=x_2(a_(20) a_(21)x_1 a_(22)x_2) (Ⅰ)根据生态系统的意义,总是假定: x_i≥0,a_(10)>0,a_(ii)<0(i=1,2)设E(x_(10),x_(20))是(Ⅰ)和平衡点,若x_(10)>0,x_(20)>0称E为(Ⅰ)的第一类平衡点;若x_(10)~2 x_(20)~2≠0,x_(10)·x_(20)=0称E为(Ⅰ)的第二类平衡点。 一个时期以来,由于生态学等学科的需要,许多学者对Lotka-volterra模型的第一类     

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

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的一个算法。     

解线性方程组的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”方法,并证明了解法的收敛性及唯一性。     

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

在平面上,任给二次曲线Γ: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 的方向,-∞相似文献   

整数线性规划问题的截去法

一、引言 整数线性规划的基本问题是,给定实数a_(ij),b_i,c_j,i∈I=,j∈J,在满足限制的向量(x_1,x_2,……,x_n)的集合上,把线性函数极大化。如J′=J,称为完全整数规划问题,否则称为部分整数规划问题。     

关于一次同余方程组解的下界估计

设p为任一素数,L,s,t为任意自然数,a_(ij)(1≤t,1≤j≤s)为st个整数,对于每个i(1≤i≤t),a_(ij),…,a_(is)不全为P~L的倍数。又记X=max(1,1×1)。考察一次同余方程组a_(il)x_1… a_(is)x_x x_(s i)≡0(modp~L)(1) (1≤i≤St)适合条件-p~L/2相似文献   

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

关于正整系数线性型的最大不可表数—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的情形,分别较尹支霖和李培基的方法略简一些。     

关于若干平均值不等式的推广

<正> 张苍厚等人先后提出过如下结果:(1)若0≤a_1≤a_2≤a_3≤a_4,且a_2+a_3=a_1+a_4,则(2)若0≤a_1相似文献   

常系数线性微分方程组的李雅普诺夫函数公式

§1引言 给定实常系数线性微分方程组 dxi/dt=sum from j=1 to n(a_(ij)x_j (i=1.2.……n) (1) 李雅普诺夫早已证明:如果(1)的特征方程的根皆具有负实部,则 (2)对于任意给定的u次齐次负定(正定)多项式(x_1,……,x_n),恒存在唯一m次齐正定(负定)多项式V(x_1,……,x_n),满足方程。 (3) 另一方面,根据路斯——霍维茨(Routh-Hurwitz)定理,(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)的精确结果分别给出一个十分简洁的新证明.     

M_4的一个算法

设a_1,a_2,a_3,a_4是正整数,(a_1,a_2,a_3,a_4)=1,线性型a_1x_1+a_2x_2+a_3x_3+a_4x_4 ,x_i≥0,i=1,2,3,4.不能表出的最大整数记为M_4.而线性型ax+by+cz+dw,x≥1,y≥1,z≥1,w≥1,不能表出的最大整数记为N_4~′.其中,a_1=a·(r_1r_3r_4),a_2=b·(r_1r_2r_4),a_3=c·(r_1r_2r_3),a_4=d·(r_2r_3r_4);r_1=(a_1,a_2,a_3),r_2=(a_2,a_3,a_4),r_3=(a_3,a_4,a_1),r_4=(a_4,a_1,a_2).通过范式组:ak_a=bx_a+cy_a+dz_a,x_a≥0,y_a≥0,z_a≥0,bk_b=cx_b+dy_b+az_b,x_b≥0,y_b≥0,z_b≥0,ck_c=dx_c+ay_c+bz_c,x_c≥0,y_c≥0,z_c≥0,dk_d=ax_d+by_d+cz_d,x_d≥0,y_d≥0,z_d≥0.算出N_4~′,则M_4=(r_1r_2r_3r_4)N_4~′-a_1-a_2-a_3-a_4.     

多项式根的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)的新方法。     

关于一类非驻定系统的稳定性

本文在常值矩阵 A=(a_(ij))以零为 r 重特征根,其余根均有负实部条件下讨论了非驻定系统 dx/dt=sum.from to j=1(a_(ij)x_j+f_i(t,x_1,…,x_n))零解的稳定问题,得到了判断该系零解为稳定或不稳定的充分条件。     

Research on a Class of Equations over Finite Fields

Let F_q stand for the finite field of odd characteristic p with q elements(q=p~n,n∈N)and F_q~* denote the set of all the nonzero elements of F_q.In this paper,by using the augmented degree matrix and the result given by Cao,we obtain a formula for the number of rational points of the following equation over F_q:f(x _1,x _2,...,x _n)=(a_1 x_1 x_2~d+a_2 x_2 x_3~d...+a_(n-1)x_(n-1)x_n~d+a_n x_n x_1~d)~λ-bx_1~(d1)x_2~d2...x_n~(dn),with a_i,b∈F_q~*,n≥2,λ0 being positive integers,and d,d_i being nonnegative integers for 1≤i n.This technique can be applied to the polynomials of the form h_1~λ=h_2 with λ being positive integer and h_1,h_2∈F_q[x _1,x _2,...,x _n].It extends the results of the Markoff-Hurwitz-type equations.