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

<正>在数学分析中,关于无穷小量有下述定理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.     

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

本文引入带权的 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)}     

布尔函数运算在计算机上的实现

用计算机自动求取一个电路的故障的测试码时,常常要遇到布尔函数表达式的运算。例如用布尔差分法求测试码时,有时要求扇出线的布尔差分,就需要从定义求,即 df/dx_i=f_i(1)f_1(0)=f_1(1)f_i(0)+f_i(1)f_i(0)其中 f_i(1)=f(x_1,x_2,…,x_(i-1),1,x_(i+1),…x_n) f_i(0)=f(x_1,x_2,…,x_(i-1),0,x_(i+1),…x_n)这时就涉及到布尔函数的“非”“逻辑乘”“和”“逻辑加”等运算。此外,在求测试码的过     

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

预备知识定义设函数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:(,)(。)一}澳{…     

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

给出反函数的导数定理的改进形式:若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处连续这一条件不可去掉。     

导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限，则该点必连续，若无极限则该点两侧或单侧必振荡；（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导，我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时，则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0），或至少有一个单侧极限为无穷时，函数在该点不可导，（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时，函数在该点可能可导。     

关于值分布论中一个著名猜测的推广

运用Nevanlinna的亚纯函数理论方法,研究了超越亚纯函数的值分布理论,获得了如下的结论:设f为超越亚纯函数,c为f的不恒等于0的的小函数,则当n≥3时,fnf′-c有无穷多个零点;若附加条件f只有有限多个级≤2的零点,则对一切正整数n,fnf′-c都有无穷多个零点.因而对Chiang Y M的问题作出了部分回答.     

具有正交(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相似文献   

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

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

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)的某些函数值所组成     

奇型偏微分方程的柯西问题

定解条件给在奇线上的偏微分方程的各种定解问题早已有研究^[1～4],多数作者使用了特殊函数作工具。本文用能量不等式组来解决一类奇型双曲型方程的柯西问题。 本文主要讨论如下问题解尚存在唯一性： Lu≡[(t^a/2?_t-λ₁(x,t)?_x)(t^a/2?_t-λ₂(x,t) ?_x)+a(x,t)?_t+b(x,t)?_x+c(x,t)]u(x,t)=f(x,t) (x,t)∈R×(0,T] u∣_t=0=φ(x),limt^a/2u_t=ψ(x) 这是一个二阶偏微分方程,当 α>0时,?_t²的系数当t=O 时变为零,因而这是一个初始值给在奇线上的柯西问题。我们假定： (A) α为常数,0<α<1;所涉及的都是实函数; (B) α(x,t),b(x,t),c(x,t),λ_j(x,t)(j=1,2)∈C¹([0,T],C²(R)),且上述函数的所有可能的导数都有界; (C) φ(x),ψ(x)∈C₀⁴(R)); （D）f(x,t)∈C((0,T],C₀²(R)),且sup{t^a/2(∣f∣+∣f_x∣+∣f_xx∣}＜+∞（Ⅱ） (E)存在常数δ＞0,使当（x,t)∈R×[0,T]时,有：∣λ₁(x,t)-λ₂(x,t)∣≥δ条件（Ⅱ）中关于实函数的假设不是必要的,作此假设仅为方便。本文主要得到：定理1：在（Ⅱ）的假设下,（Ⅰ）存在唯一弱解u,并 u∈C([0,T),H¹(R))∩C¹((0,T),L₂(R)).为证明该定理作了一系列准备,关键是证得引理1,引理2和引理6。     

GF(q)上多元多项式与钟控序列

本文讨论了有限域GF(q)(q=p~α,p≥2为素数,α≥1为正整数)上多元多项式与钟控序列的周期和线性复杂度的关系。当前馈函数g(x_1,x_2,…,x_n)∈GF(q)[x_1,x_2,…x_n]为一次多项式时,我们给出了钟控序列到达最大周期与线性复杂度的充要条件。     

利用函数的性质证明不等式

<正>本文利用函数的极值、单调性和凸性,证明了几个重要不等式.一、利用函数的极值证明不等式引理1:设m≤x≤M,则成立不等式-x~2-mx+(m+M)x≥0证明:当m=M时,(1)中等式显然成立.下设m相似文献   

一类m-点边值问题的正解

研究一类二阶m-点边值问题u″ f(t,u,u)′=0,00,i=1,…,m-2,ζi满足0=ζ0<ζ1<ζ2<…<ζm-2<ζm-1=1和i∑=1aiζi<1。应用推广的Krasnosel-skii′s不动点定理,给出了上述边值问题至少存在一个正解的充分条件。     

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

引入带权的Sobolev空间 ,讨论了奇型非线性抛物问题的有限元方法 ,在a(u) ,f(u)均满足Lips chitz条件下 ,证明了相应椭圆投影算子Rhu与u之间误差估计式 ,并在一定的假设下 ,给出了奇型非线性抛物问题的广义解u及半离散问题的有限元解uh 误差估计式 .     

一类差分方程的三点边值问题的正解

研究了一类离散型三点边值问题:Δ2y(k-1) a(k)f(k,y(k))=0,k∈N={1,2,…,T},Δy(0)=0,y(T 1)=βy(l),式中:f是变号的,l∈N1={2,3,…,T-1},T∈{3,4,…}。应用双锥上的不动点定理,得到了至少存在两个正解的充分条件,并给出了上述边值问题的Green函数。     

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

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

一类具变号非线性项和p-Laplacian算子的仇点·边值问题的多个正解

研究一类具Laplacian算子的m点边值问题（Ф（u＇））＇＋q（t）f（t,u）=0,0〈t〈1,u（0）=^m-2∑i=1aiu（ζi）,u＇（1）=βu＇（0）.利用锥上的不动点指数定理,对上述具有变号的非线性项的边值问题进行研究,得到多个正解存在的充分条件．     

浅议复合函数的“三性”

利用反例研究了一元及二元复合函数连续性 ,极限存在性 ,可微 (导 )性可积性的各种情形 ,总结出复合函数“三性”规律及成立条件。     

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的构造可解性。