关于OPIAL不等式的推广

<正> 假设y(x)在[0,a]上绝对连续,且y(0)=0,则integral from n=0 to a(|y(x)·y′(x)|dx)≤a/2 integral from n=0 to a(|y′(x)|~2dx) (1)当且仅当y′(x)=b(常数)时,等号成立 (1)式叫Opial不等式 华罗庚把(1)式进行了推广,得到     

奇型抛物问题的有限元误差估计

本文引入带权的 Sobolev 空间,讨论了奇型线性问题:(?)((?)u)/((?)t)-1/x~(?)(x~aa(x)u′)′=f(t,x) (x,t)∈1×J(?)/((?)x)u(t,0)=u(t,1)=0 t∈Ju(0,x)=φ(x) x∈I式中 I=(0,1),J=[0,T],0<α<3的有限元方法,并在适当条件下,给出了最佳估计:‖u_(?)-u‖_(0,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}‖u_(?)-u‖_(1,2,a)≤ch~2{‖φ‖_(2,2,a)+[integral 0 to t (‖u‖~2_(2,2,a)+‖u_(?)‖~2_(2,2,a)dt]~(1/2)}     

一类三次系统的中心—焦点判定

预备知识定义设函数g(x)任C“,张算子29:C-一C‘,定义为 Z。(‘’‘·,一(毙)‘这样,““,(·,一(病(毙{,其余类推。关于张算子有如下三个结论:命题一若f(x)任C一,且f(x)=ah(x)(a为常数),则有Z盆(f)(x)=aZ菩(h)(x)(Vn任N)。命题2设f(x)、g(x)任C一,且f(o)=g(0)~o,f‘(0)=g‘(0)一1,那么,(1)Z‘(f)(o)=一Zf(g)(0);(2)若Z尝(f)(o)~o,1簇k成n一z,则Z盆(f)(o)-一ZP(g)(o)。命题3 Li色nard型方程!爷一y一万(于’几y-一g叹Xj其中;(二)一芡f(?)d?,f(。)一。,g(X)一 h一t,并设v3,vs,一vZn·;表示各阶焦J点量。,;么,(1)v3一z:(,)(。)一}澳{…     

高维无穷时滞NFDE概周期解的存在性和稳定性

讨论高维的中立型泛函微分方程ddtx(t)-∫0-∞q(s)x(t+s)ds=A(t,x)x(t)+f(t,xt)的概周期解问题。利用Ch空间,矩阵测度和Krasnoselski不动点定理获得了其概周期解的存在性与惟一性定理。特别地,当q=0时给出了存在惟一且一致稳定概周期解的条件,推广了文献[1～5]的结果。     

和形式无穷小量等价的一个充分条件

<正>在数学分析中,关于无穷小量有下述定理1 设x→x_0时,f(x)~g(x)(i)若(?)f(x)h(x)=A,则(?)g(x)h(x)=A;(ii)若(?)h(x)/f(x)=A,则(?)h(x)/g(x)＝A.     

关于泛函微分方程 x''(t)=A(t)f(x(t)，x(x(t)))

本文研究方程:x'(t)=A(t)f(x(t),x(x(t)))强解的渐近性态,对Eder,Wang (王克) 等的结果作了部分推广。     

加速电子的E及B的推导

波动方程(见参考文献4)求一个给定源的亘和百的关系,出发点是麦克斯韦方程。麦氏方程是(BI)甲X亘(f,t)=一口百(f,t) 口t(BZ)甲x百(f,t)=拼,J(f,t) 拼,￡,d豆(f,t) 口t(B3)二.亘(f,。)=事。。(f,t), 肠v(B4)甲·豆(f,t)=0-式中变量是第111章中标出的。从现在起,要假定电流源周围媒介导电率是零。(B4)总是真的,因此可以说(BS)百=甲xA,式中A现在还是一个任意向量。将(BS)代入(Bl),并假定A具有旋度算子与时间导数算子可以交换的性质,就得出 0︶ 一一、.、‘J(B6)二X{:‘,,t, 口A(f,t) Jt对任何数量V,甲x甲V=0总是真的,因而不失去一般…     

用正则化方法对频谱有限信号进行外推的新算法

本文给出了频谱有限信号外推的一个新算法,首先考虑了问题的不适定性,然后用正则化方法构造一个稳定算法,因本文把噪音η(t)看成是L~2〔-T,T〕(T > 0)中的函数,且当integral from n=-T to T (|η(t)|~2dt→0时,外推在(-∞, ∞)上一致逼近准确信号,所以有较强的应用价值.最后还给出了外推的误差估计.     

广义Liénard方程Poincaré分岔极限环的唯一性和不存在性

讨论了一类广义Linard方程x¨+f1(x)x.2+εf2(x)x.+g(x)=0的Poincar分岔极限环的唯一性和不存在性。将不对Abel积分进行分项,而是利用一阶Mel′nikov函数直接从整体上进行分析讨论,得出了若干判别准则和充分条件。     

关于亚纯函数微分多项式的值分布

运用Nevanlinna的亚纯函数理论方法,研究了亚纯函数微分多项式的值的分布理论,获得了若f(z)是超越亚纯函数,ψ是关于f的微分多项式,满足条件N(r,f) N(r,1/f)=S(r,f),关于ψ零点的几个结果,改进并推广了Yang C C和仪洪勋等人的有关结果.     

二阶中立型含逐段常滞量微分方程的伪概周期解的存在性

讨论下列中立型含逐段常滞量微分方程的伪概周期解d2dt2(x(t)+p(t)x(t-1))=qx(2[t+12])+g(t,x(t),x[t])采用不动点定理和构造伪概周期序列的方法,得到了此方程的伪概周期解的存在性,并推广了文献[5～8]中的有关结果。     

具有正交(g,f)-因子分解的子图

设G是一个图 ,g (x)和f (x)是定义在V (G)上的整数值函数 ,且对任意的x∈V (G) ,设g (x)≤f (x) ,H是G的一个子图 ,F ={F1,F2 ,… ,Ft}是G的一个因子分解 ,如果对任意的 1≤i≤t,|E (H)∩E (Fi) |=1 ,则称F与H正交。闫桂英和潘教峰在文 [3]中提出如下猜想 :设G是一个 (mg+k,mf-k) -图 ,1≤k相似文献   

Carlitz 定理的一个注记

置换多项式一直是一个热门的研究课题,事实上,研究有限域上的置换多项式相当于研究有限域上的一一映射.所以它在编码密码、组合设计、代数曲线等许多领域有重要的应用.Carlitz曾经对一些置换多项式有一个刻画,证明了如果f(x)是一个系数在F0的多项式满足f(0)=0,f(1)=l,并且对任意a,b ∈Fq有η(f(a)-f(b))=η(a-b),这里η是Fq的乘法群Fq*的二次特征,则存在某个非负整数j使得对任意χ ∈F0,有f(x)=xpj.本文给出了这个结果的推广.     

保形的Hermite插值样条函数

本文讨论一种满足Hermite 插值条件的保形样条函数,文中构造了一个保单调的样条函数q(x),且q(x)满足下列条件:1)q(x_i)=y_i,i=0,1,2,…,n,n+1;2)q'(x_i)=y'_ii=0,1,2,…,n,n+1.该方法对凸数组及相应的导数也适合。     

Heine定理教学的一个附记

<正>函数极限的性质中,Heine定理(或称归结原则)颇为常用．该定理叙述为:设f(x)在X_0的某空心领域u~0(X_0)有定义,则极限lim f(x)=A存在的充分必要条件是:对于任何以X_0为极限且含于U~0(X_0)的数列{Xn},都有lim f(x)=A,其中数列{f(xn)}由f(x)的某些函数值所组成     

系统=h(y) =-f(x)h(y)-g(x)的极限环的唯一性

<正>本文应用文[1]的方法给出一个系统 x=h(y) y=-f(x)h(y)—g(x)的极限环唯一性定理,并对h(y)=e~a l~y-e_(a_2_y)h(y)＝e~(ay)Sina_(2)y h(y)=—ye~(ay)的情形给出了唯一性条件,所得结果包含了著名的张芷芬定理[2]为特例:     

线性定常系统的可逆性

一、问题的提出用∑(A、B、C、D)表示如下方程描述的线性定常连续系统: X(t)=AX(t) BU(t) X(0)=0 (1a) Y(t)=CX(t) DU(t)(1b) 而如下方程描述的线性定常离散系统: X(K 1)=AX(K) BU(K) X(0)=0 (2a) Y(K)=CX(K) DU(K) (2b) 则用∑(A、B、C、D)表示。其中:X为n维状态矢量,Y为P维输出矢量或观测矢量,U为m维输入矢量或控制矢量。因而常系数阵A、B、C、D的阶数分别为:n×n,n×m,     

一类二阶微分方程Poincaré分岔极限环的不存在性

讨论一类二阶微分方程x¨+εf(x,x.)x.+g(x)=0的Poincar分岔极限环的不存在性,利用一阶Mel’nikov函数直接从整体上进行分析讨论,得出了若干充分条件和判别准则。     

反函数的导数定理的一个注记

给出反函数的导数定理的改进形式:若f(x),x∈(a,b)与φ(y),y(A,B)互为反函数,x0∈(a,b),y0=f(x0),φ(y)在点y0处可导且φ′(y)≠0,f(x)在点x0处连续,则f(x)在点x0处可导,且f′(x0)=1/φ′(y0).并说明,f(x)在点x0处连续这一条件不可去掉。     

Banach空间中含Lipschitz强增生 算子的算子方程之构造可解性

设X为实一致光滑Banach空间 ,A :X→X为Lipschitz强增生算子 ,设L≥ 1和k∈( 0 ,1)分别为A的Lipschitz常数与强增生常数。设 {tn}n≥ 0 为 ( 0 ,1]中的实数列满足条件 :(i)tn→ 0 (n→∞ ) ;(ii)∑∞n =0 tn=∞ , f∈X , x0 ∈X ,迭代地定义序列 {xn}n≥ 0如下 :( )　　xn 1 =xn-tn(Axn- f) ,n≥ 0 .则 {xn}n≥ 0 强收敛于方程Ax =f的唯一解 ,而且对充分大的n≥n0 ,‖Axn- f‖ ≤ exp{-k∑n- 1j=n0tj}‖Axn0 - f‖　　一个相关的结果研究含强伪压缩映象的方程Tx =x的构造可解性。