关于非线性方程组解的一点讨论

通常在讨论多变量非线性方程组 F(X)=Y (1)的解时,其中F:DR~n→R~,X∈R~n,Y∈R~m,要求映象F具有强F—导数,且F′(X)是非奇异的。本文在较弱的条件下,即在不假设F为F—可导的前提下,证明了非局部的隐函数定理,进而讨论了(1)的解。     

关于非线性方程组非局部隐函数解的讨论

本文讨论方程组 F(x,y)=0的非局部解的存在性.用经典的分析方法,在较弱的条件下,得到两个非局部隐函数存在定理.     

微分方程组的解的有界性

本文应用微分不等式,讨论了微分方程组{X’=F(t,X,Y) Y’=G(t,X,Y)}的解的有界性和毕竞有界性,推广了文[1]§10的部分定理以及文[2]的定理3.1。     

保一秩投影算子定理的一个简单证明及其推广

设 X 为复的 Banach 空间,L(X)为 X 上的有界线性算子构成的 Banach 代数,F为L(X)到L(X)的线性算子.Matj(?)z Omladi(?)在[1]中证明了下面的定理.定理设 F:L(X)→L(X)是线性、双射且在弱算子拓扑下连续的映射,F 和 F~(-1)均保持一秩投影,则或者(1)存在一个有界的双射线性算子 U:X→X,使 F(A)=UAU~(-1),或者(2)存在一个有界的双射线性算子 U:X′→X,使 F(A)=UA′U~(-1),在此情形下 X 是自反的.下面给出此定理的一个简单证明,并对其条件进行改善,推广该定理.本文中 X、Y 表示 Banach 空间,X′、Y′分别表示它们的对偶空间,任意 x∈X,f∈X′,x(?)f 表示如下定义的 X 上的一秩算子,任意 y∈x,(x(?)f)(3y)=f(y)x.以下两个引理均设 F 为 L(X)到 L(Y)的保持一秩投影的线性映射,且 F 限制在 L(X)中的一秩算子组成的集合上为单射.引理1 若 x、y∈X 为线性无关向量,f∈X′为非零函数且 f(x)=f(y)=1,则存在 u、     

Newton—Leibniz公式的推广

<正>在一般的高等数学或数学分析教科书中,著名的Newton-Leibniz公式由下述形式给出:定理设f(x)在[a,b]上连续,若在[a,b]上存在一可微函数F(x),使得F＇(x)=f(x).则本文的目的是给出该定理的一种推广形式,即将上述定理中的F＇(x)=f(x)换成f(x)是关于单调增加函数g(x)的导数,得到了与Riemann—Stieltjes积分有关的更一般的结论,并以上述定理为其特例.     

非线性方程的极限环问题

本文首先研究非线性方程x=φ(y)-F(x),y=-g(x)的极限环存在问题,放弃了φ(±∞)=±∞的条件,包含了[3—7]的有关定理。然后对形如x F(x,x) g(x)h(x)=0的二阶非线性方程,利用[8]及本文§1的结果,给出了若干存在极限环的条件,包含了[9]的定理2及[10]p.374的Reissig定理。     

回归函数的幂估计

给出定义在概率空间(Ω,Z,P)上取位于R~d×R空间的随机向量(X,Y),通过i.i.d.样本(X_1,Y_1),…,(X_n,Y_n)估计回归函数Q(X)=E(Y1X)的非参数方法大体可分类成三种:直方图估计、核估计和近邻估计.本文提出一种叫做幂估计的新方法,并给出幂估计对回归函数依概率收敛的一条定理.     

用区域收缩算法构造证明大范围隐函数定理

本文用区域收缩算法给出了大范围隐函数定理的构造证明,其结果包含了文[1]的结论,从而肯定回答了区域分析方法可以著名的隐函数存在定理给出构造性证明.     

关于线性函数方程连续解的存在性和近似解

本文给出了线性函数方程φ(x)=g(x)Ψ[f(x)]+F(x)连续解的两个存在性定理,给出了该方程的近似解及其误差估计.     

方程+f(X,)+g(X)=0的极限环

书[1]对84年以前国内外有关极限环理论的重要成果作了总结和介绍,文[2]和文[3]是纳入[1]的两个定理,分别给出了方程+f(x,)+g(x)=0和方程+F()+G(x)=0存在稳定极限环的充分条件。本文给出更加广泛的二阶非线性方程+f(x,)+g(x)=0存在稳定极限环的一组充分条件。文[2]对f(x,)所加条件主要是针对x给出,本文则主要针对给出,且估值方法有所不同。而文[3]可认为是本文定理的特例或推论,文[3]的方法较繁。     

偏序下区间迭代法的几个定理

有很多类型的非线性方程组可以使用单调收敛的算法求解,但是它们对初始值都有一些苛刻的要求,本文将这类方程组统一为一种形式,并对任意初始条件给出了算法以及解的存在性、唯一性和算法的收敛性定理。本文考虑非线性方程组(?)(x)=x x∈R~n (1)设存在f_i:R~r(?)×s(?)→R,使得     

正定二阶周期边值问题的正解存在性

主要研究了具有正定条件下周期边值问题正解的存在性问题,利用锥不动点定理给出正定周期边值问题的{-(p(t)x')' q(t)x=f(t,x),t∈I [0,1]x(0)=x(1),x[1](0)=x[1](1).(1.1) 正解的存在性证明,其中非线性存在项f(t, x)在X=∞点处超线性,在x=0处具有奇性.     

用区域收缩算法构造证明大范围隐函数定理

本文用区域收缩算法给出了大范围隐函数定理的构造证明，其结果包含 了文[1]的结论，从而肯定回答了区域分析方法可以对著名的隐函数存在定理给出构造性证明。     

BANACH空间微分方程一个弱解存在定理

对于Banach空间微分方程{x(t)=f(t,x(t)) tεJ=[0,a]x(0)=x。(1)的弱解存在性,Deimlng在自反Banach空间和X~*一致凸情况下,给出了两个存在定理[1],Lakshmikantham借助于弱耗散型条件也给出了一个存在定理[2],本文是从弱非紧测度考虑,在较弱的条件下得出了另外一个弱解存在定理     

一个四阶微分方程解的全局稳定性

本文在一般情形下给出了一方程x+α(x)x+b(x,x)x+c(x)+d(x)=0(1)的零解为全局渐近稳定的一个充分条件.[1～5]所讨论的四阶非线性方程都是方程(1)的特殊情形,本文定理所得结果都包含了[1～5]的结果,且当b(x,x)=b(常数)、d(x)=dx(d为常数)时和当α(x)=α(常数)、b(x,x)=b(常数)时,该文所得相应结果分别比[1～3]的结果好. 为了方便起见,将(1)写成下面的等价方程组:     

关于一类二阶非线性微分方程组周期解存在定理的一点注记

继“一类二阶非线性微分方程组周期解的存在性”一文后,对方程组(1)做了进一步的讨论.利用重合度(coincidence degree)在同伦下的不变性,发现文[1]定理中的条件G(-x)=-G(x)是多余的,其余的条件也可进一步减弱.修改后的条件,对G(x)的要求更少,从而完善了所得的结论.     

三维不定常Navier-Stokes方程组第一边值问题的L_P型理论

本文目的在于运用王柔怀在文[1]中所指出的Lp-伏氏变换方法建立线性化的三维不定常 Navier-Stokes 方程租第一边值问题的 Lp-型理论(定理1-7)并据此得到非线性的三维不定常 Nayier-Stokes 方程组第一边值问题的Lp-型局部存在与唯—性定理,如果p>5/2(定理8)。对于线性问题,我们的论证较B.A.的[5]直接、简单.H.Fujita.T.Kato[7]和[6]曾分别预告和征明了与我们的定理8类似的结果,但是它们互不包含。     

Kthe半单环,Bear半单环的交换性条件

本文首先给出Kothe半单环的一个交换性定理:设R是Kother半单环,如果对任意的x,y∈R,存在依赖于x和y的两个字w(X,Y),c(X,Y)使w(x,y)-c(x,y)∈C(R),其中|w|_x>1,|c|_x=1,|w|_y≥|c|_y,则R是交换环.该定理大大改进了文[7][8]结果,然后给出Bear半单环的几个交换性定理,改进了文[9][10]的几个结果.     

非凸性条件下二阶微分包含三点边值问题的解

多值微分方程是非线性分析理论的一个重要分支,它在工程、经济、最优控制及最优化理论等领域有着广泛的应用。因此,对多值微分方程的研究具有重要意义。在有限维空间R上,借助于Bressan-Colombo连续选择定理和Schauder不动点定理,在多值函数取非凸值的情形下建立了二阶多值微分方程三点边值问题{x"∈F(t,x,x'),a.e.t∈[0,1] x'(0)=0,x(1)=ax(η)(1)解的存在性,其中F是一个满足Caratheodory条件的多值函数。     

解非线性方程组的全局收敛方法(Ⅰ)

1 引言考虑非线性方程组F(X)=0其中 F:D?R~?→R~?在开集D上连续可微.通常人们用Newton方法或拟Newton类方法来解方程组(1).尽管Newton方法有许多优点,但是它对F的要求却是很严的,一个突出的缺陷是它要求初始值非常靠近解.因此,经典的Newton方法只有局部收敛性.为此,许多作者分别研究了不精确的Newton方法.