两类二阶差分方程解的性态

根据初值x_(-1),x_0的不同情况,讨论两类二阶差分方程x_(n+1)=x_nf(x_(n-1)),x_(n+1)=x_(n-1)g(x_n)解的性态。     

二阶中立型非线性时滞差分方程的振动性判据

本文主要采用Riccati变换,研究二阶中立型非线性时滞差分方程△（an（△xn＋Pnxn-τ））γ）qf（n,xσ^α（n）＋τnf（n,xσ^β（n））=0的振动性问题,给出新的判据,推广和改进了已有的结果。     

一类非线性差分方程平衡解的稳定性和吸引性

研究了非线性差分方程Xn＋1=[xn＋xn-1]/[xn·xn-1＋β]=,n=1,2,…的正平衡解存在性及渐近稳定性,以及正平衡点X=（β-2）~（1/2）在适当的参数条件下是所有正解的全局吸引子,其中β∈[2,＋∞],初值x-1,x0∈（0,∞）.     

一类含Hardy项的三维Kirchhoff型问题的两个正解

研究如下的三维Kirchhoff型问题{-(a+b∫Ω|u|2d)xΔu=|u|q-1u+λ|u|p-2u|x|s,x∈Ω,u=0,x∈Ω,其中,Ω是R3中具有光滑边界的有界区域,0∈Ω,0q1,0≤s1,4p2*(s)=2(3-s),a,b,λ0.运用变分方法,证明当λ0足够小时,这一方程至少有2个正解.     

一类中立型非线性差分方程的正解不存在定理

本文根据一个正序列{y_n}满足差分不等式 y_(n+1)≤Q_ny_n-F_n所得的结论,对一类中立型非线性差分方程推导了正解不存在定理。     

关于自然坐标系中符号规则的讨论

理论力学中研究曲线运动时,常以轨道的切线与法线为坐标轴建立坐标系,这种坐标系称自然坐标系。在自然坐标系中,质点的运动微分方程为 mdv/dt=sum from i=1 to n(F_(li)) (1) mv~2/p=sum from i=1 to n(F_(ni)) (2) 式中为曲线的曲率半径。应用上述方程解题时,需要确定切线τ与法线n的正方向。一般教材中只规定法线n的正方向,对切线τ的正方向没有统一的规定。如《理论力学简明教程》(肖士珣编)中规定:顺着质点运动的方向为切线τ的正方向;《理论力学教程》(周衍柏编)中对切线τ的方向没有明确说明。这样就给学习者造成混乱,无规则可循。     

关于某些三角函数和函数的单调性

L·Fejer在[1]文中证明了下面的论断:二、如果面△~4an≥(n=1,2,…),b_n→O u b _1≠O_1则S(x)=sum from n=1 to ∞(b_n)SinnX在区间(π/2,π)上单减.2、如果△_4an≥O(n=1,2,…)且a_n→O,则C(x)=sum from n=1 to ∝(a_n)cosnx在区间(0,π)上单减.     

带有变时滞的细胞神经网络模型概周期解的存在性和全局指数稳定性

应用不动点理论研究了如下的具有变时滞的细胞神经网络模型dxi（t）/dt=-ai（t）xi（t）＋sum from j=1 to n[bij（t）fj（xj（t））＋cij（t）fj（xj（xj（t-τj（t）））]＋Ii（t） t≥0,i=1,2,…,n,其中xi（t）（i=1,2,…,n）是神经细胞的状态;n是细胞的数量;B（t）=（bij（t））n×n和C=（cij（t））n×n连续的矩阵函数,I（t）=（I1（t）,I2（t）,…,In（t））T是连续的概周期函数,f（x）=（f1（x1）,f2（x2）,…,fn（xn））T是细胞活动函数,A（t）=diag（a1（t）,a2（t）,…,an（t））,并且ai（t）〉0,（i=1,2,…,n）,时滞0≤τi（t）≤τ（i=1,2,…,n）是有界函数,得出了其概周期解得存在性和全局指数稳定性的充分条件。     

关于高阶非线性微分方程的正解

在这篇论文中,通过使用Krasnosel'skii不动点理论和在适当的条件下,给出下面方程的一个和多个正解的存在:(-1)pu(2p)=λa(t)f(u(t),v(t)),t∈眼0,1演(-1)qv(2q)=μa(t)g(u(t),v(t)),t∈眼0,1演u(2i)(0)=u(2i 1)(1)=0,0≤i≤p-1,v(2j)(0)=v(2j 1)(1)=0,0≤j≤q-1,其中λ>0,μ>0,p,q∈N.     

一类二阶泛函边值问题正解的存在性

讨论方程u″ h(t)f(u)=0在边界条件u'(0)=1乙0b(t)u'(t)dt,u(1)=t0乙0a(t)u(t)dt-1乙t0a(t)u(t)dt下正解的存在性,给出了该问题至少存在一个正解的存在性定理。     

一类p维扩散方程有限差分格式的稳定性问题

构造p维扩散方程一类有限差分格式,利用Taylor级数展开定理求出有限差分格式的截断误差并判断了有限差分格式是收敛性,利用Fourier积分法和Von Neumann条件得到当aλ≤1/2p时(其中λ=τ/h2,τ和h分别为时间步长和空间步长),p维扩散方程的一类有限差分格式是稳定的.     

用同余理论证明数的整除

在数的整除理论中,经常要判断一个数能否被另一个数整除.虽然用初等方法也能证明判断的正确性,但用同余理论解决这类问题,更是简捷明了,而且有一定的高度.在这里,我们将不加证明也反复用到如下事实:1.设b_i(i=1,2,……,n)C都是整数,若对于i的每一个可能值都有c|b_i,则c|sum from i=1(b_(?))2.设a、b、c、m>0,n>0都是整数,若a≡b(modm),则有a~n≡b~n(modm)及ac≡bc(modm).3.设a_1 b_1及m>0均为整数,若a_i≡b_i(modm),i=1,2,…n则有sum from i=1(a_i)≡sum from i=1(b_i)(modm)及multiply from i=1(a_i)(modm)例1,任何一个整数a=a_na_(n-1)…a_1a_1(a_0、 a_1、…依次是这个n+1位整数的个位、十位、…上的数字,0≤a_i<10,a≠0.下同)都可以用科学计数法写成如下形式.a=a_n×10~n十a_(n-1)×10~(n-1)十…a_1×10十a_0.上式右边的 n十1项中,前n项都能被2或5整除,那么,a能否被2或5整除就取决于最后一项 a_0了.因此,只要a的个位数字是0,2,4,6,8中的一个,a就能使2整除,只要a的个位数字是0或5,a就能被5整除.用同余理论,这一事实可证明如下:     

一类具时滞同源Nicholson微分方程的Hopf分支的数值逼近

研究一类具时滞同源的Nicholson微分方程模型的Hopf分支的数值逼近问题.以滞量为参数,应用Cooke和J.Hale的方法,得到Hopf分支存在的条件;利用欧拉方法将得到的差分方程表示为映射,给出差分方程Hopf分支存在的条件及连续模型与其数值逼近间的关系.证明该模型在τ=τ0产生Hopf分支时,其数值逼近也在相应的参数τh处具有Hopf分支,并且τh=τ0 o(h).     

一类非线性奇异三阶三点边值问题正解的存在性

文章考虑了下述非线性奇异三阶常微分方程三点边值问题u″′(t)+a(t)(u(t))=0,t∈(0,1),u(0)=u″(0)=0,u’(1)=αu(η)=00,正解的存在性,通过运用迭代技巧,不仅得到其正解的存在性,还给出两个迭代序列,并且迭代序列的初值是简单的零函数或一次函数,这从计算的角度来说是非常有用和可行的。     

半线性椭圆型偏微分方程反问题解的整体惟一性

研究了半线性椭圆型偏微分方程-Δu+B.gradu+a(x,u)=0u|Ω=g∈W2-1/p,p(Ω)的反问题的解的整体惟一性.证明过程中应用了线性化方法和Dirichlet——Neumann映射.     

差分方程的全局吸引性

研究差分方程 ，n = 0, 1, …, α＜1，所有负解的全局稳定性，初始条件x -1，x0是任意实数，得到方程唯一的负平衡点是一个全局吸引子，其吸引域依赖于参数的限制条件。     

一个定理的另一证明

关于Cramer法则,很多教材里的证明方法都是反复用行列式按一行(列)展开的公式及利用Sum from s=1 to n (a_(is)A_(js))=D 当i=j;0 当i≠j。得出证明,本文再给出一种比较简单的证明方法在教学中以供参考。 定理:(Cramer法则),若线性方程组     

概率密度函数核估计的r阶平均一致强相合性

对于多维随机变量的密度函数f(X)核密度估计∫K(X?Y1nX?Xj)hnphn)dFn(Y)=nhnp∑K(在supK(X)j=1hn<∞和对于1≤r≤∞,nhnp(1+1/r)→∞(当n→∞时)等适当条件下,证明了估计量f?n(X)r阶平均收敛意义下的一致强相合性。并给出sup|f?n(X)?f(X)|阶的界为O[(loglogn)1/2n?1/2(p+1)]及其偏差的极限分布。X     

关于二阶微分方程周期解的研究

证明了Duffing方程x″ g(x)=p(t)的调和解及无穷多的次调和解的存在性,其中g(x)是奇函数,满足g′(x)＞0且lim(x→∞) g(x)=a＞0,周期为2π的连续函数p(t)满足| p(t)|＜Vt∈R.     

一类高阶非线性时滞差分方程素二正周期解的存在性

对高阶非线性时滞差分方程x_(n+1)=(a+bx_n)/(A-x_(n-k))=0,1,…,其中k∈{1,2,…}且a>0,A>b>0,给出了当k为奇数时方程存在素二正周期解的一个充分条件,并求得两组素二正周期解的具体形式.