全局渐近稳定性的Jacobi猜想的证明

设f∈C~1(R~2,R~2),f(o)=0.考虑平面微分方程x=f(x) (1)很久以来人们猜测:如果(?)x∈R~2,f的Jacobi矩阵Df(x)的特征值都具有负实部,则微分方程(1)的零解全局渐近稳定.在文献中,此猜想被称为Jacobi猜想或平面Markus-Yamabe猜想.1963年,Olech证明此猜想等价于f的全局单射性.1988年,Meisters和Olech证明,当f是多项式映射时,Jacobi猜想成立.1991年Gassull,Llibre和Sotomayor证明,当f是Khovansky函数(一类解析函数)时,Jacobi猜想成立.本文对一般情况证明了Jacobi猜想成立.1 预备知识设S~k(R~2,R~2)={f∈C~k(R~2,R~2)|(?)_x∈R~2,Df(x)是稳定矩阵},k=1,2,…, ∞ .设f∈S~∞(R~2,R~2),则(?)_x∈R~2,Lyapunov矩阵方程Df(x)G(x)十G(x)(Df(x))~T=-I_2 (2)有唯一正定解G(x),其中I_2为2×2单位阵.显然G∈C~∞(R~2,R~(2×2)).定义微分方程(?)y=G(y)ν,ν∈R~2, (3)y(0)=x,     

关于单调函数Borel的一个定理的推广

在过去的工作中,我证明了下列定理:定理1 设f(x),γ(t)及δ(x)为三函数满足下列条件:f(x)于x≥x_0为非减并且f(x)≥T_0.γ(t)于t≥T_0为正、连续并且非增;∫_T0~∞γ(t)dt收敛.δ(x)于x≥x_0为正、连续并且非增;∫_x0~∞δ(x)dx发散.     

Garsia不等式的函数论证明

那么称f(x)为f(x)的非增重排函数,简称f的重排函数.(1.1)式的记号表示使函数之值大于λ的点集的测度.不难验证,满足上述条件的f(x)是存在且唯一的。事实上     

逐点周期映射

设(X,d)为紧致度量空间,f:X→X连续。设f是逐点周期的,如果对每一点x∈X,都存在整数n(x)>0,使f~(n(x))(x)=x,即P(f)=x。设f是周期的,如果存在整数m>0,使f~n=id,即f~n是恒同映射。Montgomery(Amer.J.Math.,59(1937),pp.     

关于Siddiqi的一个定理

设,f(x)是周期2π的周期连续函数,如果有常数K使 ‖f(x+t)+f(x-t)-2f(x)‖≤|t|对一切t都成立,则说f∈Z,上式中‖f‖=sup|f(x)|。     

半线性热方程的blow-up问题的一点注记

R. O. Ayeni(SIAM. J. Math. Anal, 14(1983),1),考虑如下问题:u_t=△u=f(x,t,u),t>0、掌∈经R~n (1)u(x,0)=u_0(x),u_0(x)≥0,x∈R~n (2)u(x,t)=0,当|x|→∞时,(3)在有限时间内blow-up。他对函数f的假定为     

一个由线性微分算子确定的函数类的最佳逼近问题

1.设p_1(x),p_1(x),…,p_r(x)∈C[0,1],r≥2.p_0(x)≠0,,P(D)=p_0(x)D … p_(r-1)(x)D p_r(x)1是一r阶线性微分式,其中1表示恒等算子。W~r表示[0,1]区间上的函数类,其中任一f(x)的r—1阶导数f~((r-1))(x)在[0,1]上绝对连续者。记(?)={f(x)∈W~r:||P(D)f(·)||L_p≤1},     

H_p函数的性质

设,f(x)在内正则,若0相似文献   

环Z/(2e)上本原序列最高权位的0,1分布(Ⅱ)

设f(x)=x~n c_(n-1)x~(n-1) … C_0是Z/(2~e)上首一多项式,适合关系式a_(i n)=-(c_0a_i c_1a_(i 1) … c_(n-1)a_(i n-1)),i=0,1,2,…(1)的Z/(2~e)上序列a=(a_0,a_1,…)称由f(x)生成的线性递归序列,由f(x)生成的Z/(2~e)上的所有序列的集合记为G(f(x))_e,并记G’(f(x))_e={a∈G(f(x))_e│a≠0 mod 2}.递归式(1)等价于关系式f(x)a=0=(0,0,…),其中x表示移位算子,即xa=(a_1,a_2,a_3,…).Z/(2~e)上序列a有唯一权位分解a=a_0 a_12 … a_(e-1)2~(e-1),其中a_i=(a_(i0),a_(i1),…)是0,1序列,并称a_i是a的第i权位序列,称a_(e-1)为a的最高权位序列.对Z/(2~e)上首一n次多项式f(x),若f(0)(即c_0)是可逆元,则由文献[1],f(x)的周期per(f(x))_e≤2~(e-1)(2~n-1).当per(f(x))=2~(e-1)(2~n-1)时,称f(x)是Z/(2~e)上n次本原多项式,并称G’(f(x))_e中序列为f(x)生成的本原序列.文献[2]给出了本原多项式的系数     

关于Turán一个问题在L~p尺度下的解答

涉及到代数多项式的Markov不等式的改进和推广,P.Turán曾问:若有n次代数多项式f(x)满足条件|f(x)|≤1-x~2~(1/2),则对可说些什么?Q.I.Rahman证明对此类多项式f(x)成立本文考虑在L~p尺度下建立相应的结果。     

不连续系统的实用稳定性

本文研究F-不连续系统(d_x)/(d_t)=f(t,x)的实用稳定性,这时f在n 1维区域G=E_4~1×H上可测,对任意有界闭域DG,存在L可积函数m(t)使得|f(t,x)|≤m(t),a.e.(t,x)∈D成立,称x(t)为(1)式的解,若x(t)在J的每个列紧子集I上绝对连续,使得对a.e.t∈J满足关系式     

多项式实零点个数的新判据

众所周知,对一般的n次实系数多项式f(x),如何判定它的实零点个数,这一问题是多项式理论中的一个重要组成部分,在数学、力学、物理学等许多方面都有重要应用.Sturm(参见文献[1]第六章)虽然指出了用Euclid辗转相除法解决上述问题的途径,但未能直接给出f(x)的系数与其实零点个数之间的关系,故不便于直接应用,更不便于对上述问题作进一步的理论分析.类似于Hurwitz(参见文献[2]附录5)用一些行列式的正、负符号成功地给出f(x)的零点都有负实部的充要条件,本文在f(x)与f(x))的结式中取n个子行列式作为判别式,通过这些判别式的正、负符号给出判定f(x)的实零点个数的公式,从而解决了上述问题.设     

Канторович多项式L~P逼近的阶

1.设f(x)∈L~1[0,1],首先引入了多项式■其中■。Bojanic和Shisha指出:对于f(x)∈L~1[0,1]有     

一类具有n+1个参数的变测度算法

在优化技术中,变测度算法是近年来常用的一种方法.设x∈E~n,f(x)是要求最小点的目标函数,g(x)=▽f(x)是f(x)在点x上的梯度向量,r_0为一初始点,而H_0是一给定的方阵,则变测度算法的第k步迭代可以描述如下:假定x_k是f(x)的最小点x~*的k次近似,H_k为一方阵,x_k与H_k都由前一次迭代确定(当k=0时它们是给定的).今取—H_(kgk)~T为搜索方向,这里gk=g(x_k).用x_k 1表示f(x)     

关于L. Leindler问题的若干註记

设f(x)∈C_(2x),以s_n(f,x)表示其Fourier级数的第n部分和。1974年L.Leindler在Oberwo-lfach国际逼近论会议上提出问题:设0相似文献   

关于凸函数的一个不等式

一、引言 设M(x)是[0, ∞)上的凸单调增函数,f(x)是[0,a]上的非负有界变差函数,且M(0)=f(0)=0。 本文给出不等式V_0~a[M(f(x))]≤M(V_0~a[f(x)]),(1) 其中V_0~a[f(x)]表示函数f(x)在[0,a]内的全变差。作为一个应用,我们还将由此导出Opial-华氏不等式的一个推广。     

多重共轭富里埃积分的(C,1)求和

设E_K为K维欧氏空间,f(x)∈L(E_K),f(x)为其共轭函数(即calderón-zygmund变换),(f;x)为f(x)的临界阶共轭富里埃积分的球形Riesz平均,本文证明了关系式     

关于丢番图方程x~3±1=Dy~2

定义1设f(x)是定义在闭区间〔a,月上的有限实函数,‘厂z(x)一艺(一1)·C氛r〔二 (。一,)‘],△表示〔二,月的任一分法:△:a~x。<二:<……<二,一b(。)2),恒成立,则称f(x)为【。,月上定义的二级凸函数. 定理i若函数f(x)〔V, ,[a。b」(、=3,呼,,,6,7,s,10),则f(x)在[a,b]上连续. 定理z函数f(x)〔V, ,[a,b](。二3,4,,,6,7,s,一。)的充分必要条件是f(二)可以表示为一个m级有界变差函数的不定积分:作和: _.}式.__X,(x‘、 屯二名{.一二二二一止~、- ’一’】t一j l\那, △X,一x‘一:f(二‘一,) /x‘一x:.、,对于所有可能的分法盛, j(x):其中g(二…     

I. Pivovarov的定理的反例及更正

在文献[1]中作者考察方程(?) f(x,(?)) g(x)=0,(1)其中f(x,(?)),g(x)对一切x,(?)连续且满足     

一个数值微分公式的余项

微分插值公式f(x)=H_n(x)+R_n(x) (1)导出数值微分公式f(k)(x)=H_n~(k)(x)+R_n~(k)(x) (o≤k≤n),(2)这里H_n(x)为函数f(x)的n次插值多项式。设其节点为a_0,a_1,…a_n,则(1)式的余项可