关于丢番图方程1+5~x+2~y11~z=2~u·5~v·11~w的研究

讨论了丢番图方程1+X+Y=Z的一个特殊情形.借助计算机,用初等方法给出了指数丢番图方程1+5x+2y11z=2u·5v·11w的全部非负整数解.     

微分方程“分离变量法”可靠性的证明

在用初等积分法解古典微分方程时,“分离变量法”是最基本的一种方法,而在一般的教本上只介绍方法,对此方法求解的可靠性并没有给出证明,下边给出“分离变量法”可靠性的一个证明: 在方程(dy)/(dx)=f(x,y)中,若f(x、y)可以表示成两个单变量函数之积,则方程是可分离变量的方程:     

π(x)的一个简单性质的初等证明

文[1]中以π(x)表示不大于x的素数个数,即素数函数.素数定理指出(?)π(x)/xlnx=1.反映了素数函数的性态.本文将就“π(X)不能表示为两个实系数多项式的商”给出这一简单性质的初等证明.性质:不存在两个实系数多项式P(x)与Q(x)使得π(x)=P(x)/Q(x)(x=1,2,…)     

耦合边界下反应扩散方程的熄灭问题

本文研究了一类反应扩散方程在非线性流量边界条件下解的情况,证明熄灭对任意初值总是会发生的,并且熄灭时间是关于初值连续的;而且证明x=0是方程的唯一熄灭点。     

解线性矩阵方程组的初等方法

本文通过矩阵初等运算的技巧,建立线性矩阵方程组Σnj=1AijXjBij=Ci(i=1,2,…,m)与线性方程组Σnj=1(BTij(x)Aij)yi=Ci(i=1,2,…,m)的联系,进而给出线性矩阵方程组Σnj=1AijXjBij=Ci(i=1,2,…,m)有解的条件、实用解法及通解形式     

关于指数丢番图方程P~m=q~n+2~h

本文考虑丢番图方程P~m=q~n+2~h, (p.q是不同素数)的非负整数解问题,给出了方程无解的若干充分条件,所得结果不同于文〔3〕.〔4〕.〔5〕.〔6〕.〔7〕的有关结论。     

关于常系数线性非齐次递推关系的求解

本文利用构造生成函数的方法给出常系数线性非齐次递推关系:h(n)=a1h(n-1) … akh(n-k) f(n)解的-般公式及其应用,其中f(x)为一般函数.本文的方法是对文献[1][2]中特殊形式f(x)=βnP1(n)求解的一种推广,此方法更具有一般性.     

一类椭圆型方程广义解的Hoelder连续性

本文证明了下面方程∫{△x，u，△u） vB（x，u，△u}dx=0,倒A∈Wa^-1(a,G)∩L∞（G）的广义解u∈W^-1(a,G)∈∩L∞（G）在G的Hoelder连续性。关于A^→和B，要求满足如下的结构不等式。{△u.A^→(x,u,△u）≥a(x)｜△u｜^a-fo(x) ｜A^→（x，u，△u｜≤ka(x)｜△u｜^a-1 f1(x) ｜B（x，u，△u）≤a(x)c(x)｜△u｜v f2(x)},a-1≤v≤a。     

一类半线性椭圆型方程的整体解

本文研究一类二阶半线性椭圆型方程正的整体解，所得的结果优于文[1]、[2]。     

[x]_补求[x]_原的证明

在北京大学计算机科学技术系编著的《电子数字计算机原理》一书中 我们看到: 当0>x>-1时,已知[x]补,可以通过对[x]补,除符号位外“求反加1”得[x]原。(见书65页倒12行)。提供两个证明如下 [法1]:设0>x>1时,     

二次多项式的一个性质讨论

本文对利用一个函数方程判断一个函数为二次多项式的条件进行了减弱,并给出了一个初等证明。     

具有无界位势奇点集的非齐次Hamilton系统

本研究方程Ax=△↓V（x) f(t)(HS)的周期解存在性问题,在一般条件下得到了无究多个互不相同的周期与广义周期解,其中x=(x1,...,xn),xi∈R^2(1≤i≤n),A是R^2×...×R^2上的正定矩阵,V∈C^1(R^2/{0}×...×R^2/{0},R),f是以T为周期的可积函数。     

黎曼积分的一个等价定义

众所周知,黎曼积分的定义有两个“任意性”,本文将其中的区间任意分改为等分,证明了由此定义的较弱积分与黎曼积分等价。从而使我们对黎曼积分有了进一步的认识。设函数f(x)在[a,b]上有定义,在[a,b]内插入n-1个等分点x_1=a (b-a)/ni,i=1,2,……,n-1。使 a=x_o相似文献   

奇解及其求法

在教学过程中,发现同学们对于一阶方程的奇解总是搞不太清楚。为此,本文试图把这方面的东西加以整理,目的使同学们对此问题有个慨括的了解,由水平有限,缺点错误难免,望同志们指正。 奇 解 的 定 义 一般地说,各本书上所讲的奇解,由于定义不同,它们之间是有些差别的。下面,我们给出比较常见的奇解的定义: 定义1:设φ(x,y)=0是方程F(x,y,y′)=0的一个解,如果在此解的每一点附近,至少有一异于此解的解存在,而且它们在此点相切,则φ(x,y)=0称     

第二种VOLTERRA积分方程特殊类之解

本文将给出第二种Volterra积分方程: x(s)=y(s) N itegral from a to s K(s,t)x(t)dt……(A)(其中,y(s)∈L_2〔a,b〕,K(s,t)是Δ:a≤s,t≤b上的L_2—核,y(s)为已知,x(s)待求)的一特殊类,即还满足条件K(s,u)·K(u,t)=K(s,t)的第二种Volterra积分方程(本文简记这种方程为(B))的一简单公式解,并应用此结果来解一特殊类型的线性常微分方程。     

Riccati方程法构造非线性差分-微分方程的精确解

本文将Riccati方程法应用于非线性差分-微分方程,并在符号计算机系统Maple的帮助下,构造了非线性离散的mKdV lattice方程和(2+1)-维的Tode lattice方程的双曲函数精确解和三角函数精确解。     

柯西积分概念及其与黎曼积分的比较

本文首先介绍黎曼(Riemann)积分的概念,再由阶梯函数的积分定义和性质,引出柯西(Cauchy)积分,并与黎曼积分进行了比较.一、黎曼积分概念设函数f(x)在区间[a,b]上有定义,给区间[a,b]一个分割法a=x_0相似文献   

算术平均值与几何平均值不等式的各种证法

本文仅就能够查阅到的有关资料[1],[2]等,比较详尽系统地阐述了平均值的十六种构思不同的证明方法。这些证法可供讲授关于不等式教学内容时参考。由于参考文献上提供的许多证法,一般都写得过于简略,为使其通俗易懂起见,这里尽量作了一些注释和补充。不妥之处有望读者指正。[定理]任意个非负数的算术平均值不小于这些数的几何平均值。证法一:这一重要定理的第一个初等证明方法,是法国著名数学家 Cauchy     

关于矩阵方程AXB+CYD=F的解

本文用分块矩阵的方法给出了矩阵方程AXB CYD=F有解的判别方法及求解方法。     

隐函数存在定理的推广

定理一:若(1)成数;、.、)在(x。,;。)f,:域里连续,且F(x。, (2)在在(x。,y。) (l)在巧八,乒阵在一个连续函数”(X,y,今0使“‘X, 3厂。)=Oy)F(x,y)域里关于变元y递增(或递减)则有:,y。)的某一个邹域里存在一个单值函数y=y(x),且y。一y(x。) J廿目舀,Z‘、月.t曰﹃ 1 21、满足F(x,y(x))二o (2)y=y(x)是连续的 证明:令H(x,}一)=h(x,J)F(x,y),则H(x,y)满足一般隐函数存在条件 1,,H(x,,)在(、。,,一。)价;;域中连续。(因为h(、,一,)、F(x,。!)连续 2 oH(x。,y。)=h(x。,y。)F(x。,y。)=o 3“.H(x,y)关于变元y单调故在(X。,y。’)价};域…