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

设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相似文献   

关于以素数幂为模的一次同余方程组的转换定理

设p为任一素数,l、s、t为任意自然数,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记x=max(1,|x|)、p_1[p_(l-1)/2],p_2=[p~l/],(a)_(p~l)表示(a)_p~l≡a(modp~l)且—p_l≤(a)_p~l≤p_2的整数。考虑对偶一次同余方程组     

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

设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的任一实数。     

关于改进以素数幂为模的一次同余方程组转换定理的一个注记

设P~l伪任一素数幂,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记X=max(1,|x|),定义(a)p~l为满足(a)_(P~l)=a(mod_(p~l)),—P/2<(a)_(P~l)≤P/2的整数。考察两组对偶的一次同余方程组sum from j=1 to s a_(ij)x_j+X_(1+i)≡0 (modp') (1≤i≤t)(1)与sum from i=1 to t e_(ij)y_i +y(j+t)≡0 (modp') (1≤j≤s)(2)及其适合条件—p~l/2相似文献   

关于以自然数为模的一次同余方程组的转换定理

设m为大于1的任意自然数,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记(?)=max(1,|x|),定义(a)_m是满足(a)_m≡a(modm), -(m/2)<(a)_m≤m/2的整数。考察两组对偶的一次同余方程组     

一类mini max问题的单纯形解法和凸二次规划解法 (摘要)

在长江南水北调水量调节的最优化计算中提出了(p_1)和(p_2)两个有约束的非线性规划问题。(p_1)minf_1(x)和(p_2)minf_2(x),其中 x∈X_1 x∈X_2f_1(x)=max(c_i x_i),f_2(x)=max(c_i-x_i) 1≤i≤n 1≤i≤nXi={x=(x_l…x_n)~T|sum from j=1 to n xi=b_i xi≥0, j=1,…n},i=1,2,cj…c_n是实数,b_1,b_2>0。不失讨论一般性,假设C_1≤C_2≤…≤C_n,于是     

有穷齐次MAPKOB链具有遍历性的一个充分必要条件

§1 前言记p_(ij)=p_(ij)(1)。设P=(p_(ij)是一个k×k矩阵,如果p_(ij)≥0 (i,j=1,…,k)且[sum from j=1 to n p_(ij)=1] (i=1,…,k), (0)则称P为随机矩阵。显然,若P_1,P_2是随机矩阵,则P_1P_2也是随机矩阵。特别地,若P是随机矩阵,则P~n=P(n)=[p_(ij)(n)]也是随机矩阵(n=1,2,…)。如果对一切i,j而言,存在着不依赖于i的极限lim P_(ij)(n)=P_j,则称P具有遍历性。有穷齐次     

确定双曲型方程未知系数的反问题

本文在有界区域上讨论了一雏线性双曲型方程的初边值问题. {p(x)ux)x q(x)u(x,t) r(x)s(t), (x,t) ∈Ωu(x,0) =f1(x), u1(x,0) =f2(x), 0≤ x ≤ lαtu(0,t) β1ux(0,t)= g1 (t), α2u(l,t) β2ux(l,t)= g2(t), 0≤ x ≤ T 其中αi2 βi2≠0,i=1,2,由给定的平行附加条件u(x,t)=f3(x),确定未知函数r(x)的反问题,得到了反问题解的存在性和唯一性.     

线性抛物型时滞微分方程组解的振动性定理

本文研究线性抛物型时滞微分方程组(δU_i)/(δt)+∑sum from j=1 to m P_(ij)(x,t)U_i(x,t-τ(t))=a_i(t)ΔU_i+∑sum from j=1 to m_1 a_(ij)(t)ΔU_i(x,t-δ_j),i=1,2,…,m (1)解的振动性,其中(x,t)∈Ω×(0,∞),ΩR~n 是具有逐片光滑的边界的有界区域,U_i=U_i(x,t),ΔU_i=∑sum from j=1 to n (δ~2U_i(x,t))/(δ)x_j~2),获得了方程组(1)的所有解振动的充分条件,同时给出了应用这些充分条件的例子。     

关于半线性双曲方程解的爆破问题

本文讨论半线性双曲方程u_(tt)-sum from n=(i,j=1) to n(a_(ij)(x,t)u_(x_i))_(x_j)=f(x,u)的爆破问题,并给出其初边值问题的解在有限时间内爆破的充分条件,这个结果不同于文献[1]、[2]的结果.     

关于变系数线性方程组零解的稳定性的某些反例的构造方法

考察线性常微分方程组 X=a_(11)(t)x+a_(12)(t)y,y=a_(21)(t)X+a_(22)(t)y。设a_(11)+a_(22)=p=常数,a_(11)a_(22)-a_(12)a_(21)=q=常数,本文首先在上述方程的一个特解x=ψ_1(t),y=ψ_2(t)的条件下,给出了系数a_(ij)(i,j=1,2)的公式和求通解的公式。其次,利用这些结果,给出了构造某些方程组的简便方法,这些方程组可以说明具有变系数的线性组的零解的稳定性质不依赖于方程组的特征方程的根,文内特别讨论了构造具有有界系数的方程组的方法.     

矩阵非异性判定

本文利用矩阵块对角占优的性质,给出矩阵非奇异的几个判定条件。下面用 R~(n×n)表示 n 阶实方阵的全体,用 C~(n×n)表示 n 阶复方阵的全体,并令,Z~(n×n)={A=(a_(ij))∈R~(n×n)|a_(ij)|≤0,i≠j,1≤i,j≤n}若 A 是非奇异 M 一矩阵。则记 A∈M.引理1 设 A=(a_(ij))∈Z~(n×n),且 A_(ij)>0,1≤i≤n,令 A =,则 A∈M     

一类三阶拟线方程的最大值原理

本文建立了三阶拟线性方程: (g(q~2)u,i u,ij),j) f(q~2)=0 (g(q~2)u,i u,ij),j) ρ(x)f(q~2)=0 解所确定的泛函数的最大值原理;并在一定条件下,得到解的梯度估计。     

有穷齐次MAPKOB链具有遍历性的一个充分必要条件

则称P为随机矩阵。显然,若P_1,P_2是随机矩阵,则P_1P_2也是随机矩阵。特别地,若P 是随机矩阵,则P~n=P(n)=[p_(ij)(n)]也是随机矩阵(n=1,2,…)。如果对一切i,j 而言,存在着不依赖于i 的极限lim p_(ij)(n)=P_(ij),则称P 具有追历性。有穷齐次     

一类三次系统的定性研究

文本在[1]的基础上研究如下的平面三次系统 dx/dt=sum from 1≤i+j≤3 to(a_(ij)x~iy~i) dy/dt=sum from 1≤i+j≤2 to(b_(ij)x~iy~i) 其中a_(ij)、b_(ij)∈R。假定(1)有一条二次代数闭轨和一条直轨线,定性地研究了(1)的全局结构,证明了极限环的唯一性,给出了(1)的全局相图,指出三次系统具有一些二次系统不具备的性质,并试图给出一种新的确定高阶奇点邻域中轨线性态的方法。     

非线性椭圆型方程的非局部边值问题

考虑下面非线性椭圆型方程非局部边值问题。(1)Lu=- / x_2(a_(ij)(x)( u/ x_2)=f(x,u(x),Du(x),x∈Ω),u|_( Ω)=C(待定常数),- integral from n=( Ω) a_(ij)(x)( u/ x)cos(n,x_i)ds=0,在 f 的某些假设下,本文证明了解的存在性.     

一类变分问题的欧拉方程和自然边界条件

设x=(x_1,x_2,…,x_n)为R~n中有界区域G内的点,G的边界(?)G:x_i=x_i(S_1,…,S_(n-1)),i=1,…,n为光滑闭曲面,其外法线方向为(?),我们考虑泛函 J_n=integral from t_1 to t_2 integral from G(F(x,t,u,u_x,u_t)dxdt+integral from t_1 to t_2 integral from (?)G(f(s,t,u,u_s)dsdt (1)的局部极值问题,这里u=u(x,t),而u_x=(u_(x_1)…,u_(x_n)),u_s=(u_(s_1),…,u_(s_(n-1))),u~(s_j)=sum from i=1 to n ((?)u/(?)x_i(?)x_i/(?)s_j,j=1,…,n-1,又记区域V=(?)×[t_1,t_2],并设函数u(x,t)∈c~2(V),F和f分别在V和(?)G×[t_1,t_2]上二次连续可微。     

有限域上由两个广义对角多项式所确定的簇中的有理点

设Fq为有限域,f_l=a_(l1)x(~d~(l)_(11))_(11)…x~(d~((l))_(1_(k1)))_(1_(k1))+a_(l2)x~(d~((l))_(21))_(21)…x~(d~((l))_(2k_2)_(2k_2))+…+a_(ln)x~(d~((l))_(n1))_(n1)…x~(d~((l))_(nk_n)_(nk_n)+c_l(l=1,2)为F_q上的一组广义对角多项式,用N_q(V)表示由f_l(l=1,2)确定的族中的F_q有理点的个数.作者利用Adolphson和Sperber的牛顿多面体理论与指数和工具,证明了ord_qN_q(V)≥max{「∑~n_(i=1)1/d_i」-2,0,其中d_i=max{d~(1)_(ij),d~(2)_(ij)|1≤j≤k_i},1≤i≤n.     

完全图上的锥的D(2)-点可区别正常边染色

设G是顶点集合为V(G)={v_(0i)|i=1,2,…,p}的简单图,n是正整数,称M_n(G)为G上的锥(或广义Mycielski图),如果V(M_n(G)={v_(01),v_(02),…,v_(0p);v_(11),v_(12),…,v_(1p);…v_(n1),v_(n2),…,v_(np),w}) E(M_n(G))=E(G)∪{v_(ij)v_((i 1)k)|v_(0j)v_(0k)∈E(G),1≤j,k≤p,i=0,1,…,n-1}∪{v_(nj)w|1≤j≤p}.在这篇文章里,我们讨论了完全图上的锥的$D(2)$-点可区别的正常边染色,并给出了相应色数.     

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