测度链上非线性微分方程的特征值问题

讨论了非线性特征值问题 u△△(t) λa(t)f(u(δ(t) ) ) =0 ,t∈ [0 ,1]u(0 ) =0 =u(δ(1) ) 正解的存在性 .这里 [0 ,1]是一可测链 ,a与f取正值 ,且limx→ 0 f(x)x 与limx→∞f(x)x 不一定存在     

导函数连续性的条件分析——导数极限定理的随想

一般情况下 ,从定义出发判断函数的连续性 ,需要判断函数f(x)在点x0 的极限值limx→x0f(x)是否等于函数值f(x0 ) ,而判断导函数f′(x)在点x0 的连续性只需讨论limx→x0f′(x)的存在性。     

"帐篷函数"在构造反例中的运用

本文先列举了一些帐篷函数在数学分析构造反例的应用,接着为说明命题:设f(x)在?上可微,记F(x)=f(x).f′(x),且对任意x∈?,有F(x)≠0,则有limx→ ∞F(x)=0或limx→-∞F(x)=0.是不成立的,我们利用篷函数"的性质及特点构造了此命题的反例。     

复合函数求导数法则的证明的改进

设y=f(u),u=φ(x),u在x_0可微分;u_0=φ(x_0),y在u_0可微分,则复合函数y=f(φ(x))在x_0可微分,而且(1) dy/dx|_(x=x_0)=f′(u_0)·φ′(x_0)。这个复合函数求导数法则的证明,在通常的数学分析教科书上,有如下两种: 〔证法一〕给x从x_0起取增量△x(≠0),则相应地函数u从u_0起得增量△u,y从f(φ(x_0))起得增量△y。因为f′(u_0)存在,所以当△u≠0时,令α=△y/△u-f′(u_0),就有limα=0,而且 △u→0     

奇异方程x″＋p（t）f（x）＋q（t）g（x′）=0的可解性

设p(t),q(t)∈C((0,1),(0,+∞)),f(x),g(y)∈((0,+∞),(0,+∞)),并且满足下列条件(1)f(x)是x的减函数,存在正数b＞0,使得f(rx)≤r-bf(x),对任意(r,x)∈(0,1)×(0,+∞),limx→0+xbf(x)＞0;(2)g(y)是y的减函数,limy→0+g(y)=+∞.则下列奇异边值问题x″+p(t)f(x)+q(t)g(x′)=0,0＜t＜1,x(0)=x′(1)＝0.有唯一C1[0,1]正解的充分必要条件是t-bp(t)∈L1[0,1],q(t)∈L1[0,1].     

极限运算中变量替换的等价条件

关于函数的极限limxsF(x),若F(x)=f。φ(x),而且limxsφ(x)=t,那么,作变量替换y=φ(x),得limxsF(x)=limytf(y)在各种分析教科书上,这样的做法经常出现,而且都没作什么说明,似乎这是“天然合理”的了。但事实并非如此,本文给出limxsF(x)=limytf(y)成立的充分必要条件(文中的F,f,φ都是从拓扑空间到拓扑空间的映射);并举出作该式的替换因不满足必要条件而导致错误的例子。     

障碍带条件下p-Laplace方程两点边值问题的可解性

运用Leray-Schauder原理获得了障碍带条件下p-Laplace方程两点边值问题{(φp(u′))′=f(t,u,u′),t∈(0,1)u(0)=A,u′(1)=B的可解性.其中f:[0,1]×R2→R连续,且在障碍带上满足符号条件,φp(s)=|s|p-2s,p>1.     

一类半线性椭圆型方程的爆破解

讨论半线性椭圆型方程Δu=p(x)f(u),其中f(s)是(0,+∞)中非负连续可微的单调递增函数,且lims→0f(s)=0,lims→∞(f(s))/(s)=k(k＜∞),p(x)是RN(N≥3)中局部Hlder连续的非负函数.当p(x)=p(x)时,方程存在整体爆破解的充要条件是∫∞0tp(t)dt=∞;而当p(x)满足∫∞0tφ(t)dt＜∞,其中φ(t)=maxx=tp(x)时,方程存在整体有界解.     

一类拟线性常微分方程爆破解的存在性

本文得到了两点边值问题-(Фp(u′))′=λ(u(x));0＜x＜1lim u(x)=∞=lim u(x),x→0+ x→1-非负解存在的必要条件和充分条件,这里λ＞0是参数,f是一个光滑函数.     

第二类Feigenbaum函数方程的一些推广

研究了第二类Feigenbaum函数方程的推广形式:{f(φ(x))=φ(φ(f(x))),φ(0)=1,0≤φ(x)≤1,x∈[0,1],其中f(x)为[0,1]上的单调递增连续函数,且满足f(0)=0,f(x)x,(x∈(0,1]),改进了已有的结果。     

一类Kolmogorov捕食系统的定性分析

研究一类Kolmogorov捕食系统:ddxt=x(a0-a1x+a2xn-1-a3xn+a4xφ(y)),ddyt=y(b1xn-b2),其中φ(0)=0,φ′(y)ε0,(y0).首先运用等式gf((uu))′=Δlui→m0f(u+Δu)g(u+Δu)-gf((uu))Δu将张芷芬唯一性定理和微分不等式定理中需要的两个不等式联系起来,再配合运用环域定理、ΦИЛИППОВ变换及Dulac函数法得到了该系统存在唯一极限环和不存在极限环的充要条件,从而对其参数范围就其极限环存在性与不存在性讨论完全,推广了前人相关的结果.     

一类半线性微分方程组第三边值问题的差分方法

本文旨在证明形如 u_t(x,t)=Auxx(x,t) f(u)微分方程组的第三边值问题近似解的存在唯一性问题。其中: (z,t)∈(0,L)×(0,T)=G_T u(x,t)=(u_1(x,t),u_2(x,t),…,u_m(x,t)) f(u)=(f_1(u),f_2(u),…,f_m(u))其边值条件为“u_x(0,t)=σ_1u(0,t),u_x(L,t)=-σ_2u(L,t) u(x,0)=φ(x),σ_1>0,σ_2>0,φ(x)满足边界条件: φ′(0)=σ_1φ(0),φ′(L)=-σ_2φ(L) [1]的作者解决了上述方程组的第一、二边值问题,本文用与[1]类似的方法解决了第三边值问题。实际上,对A,σ_1,σ_2和f含t变量的同类边值问题也有类似的结论。本文为简明计,仅对条件与[1]相同的情况进行论证。     

视一元函数为二元函数时的极限与连续

本文讨论了视一元函数u=φ(x)为二元函数u=f(x,y)=φ(x)时的极限与连续。     

Hammerstein型非线性积分方程正解的存在性

在lim inf↓u→0^ f(x,u)/u≠lim sup↓u→0^ f(x,u)/u≠lim sup↓u→ ∞f(x,u)/u）的条件下，给出Hammerstein型非线性积分方程：ψ(x)=∫Gk(x,y)f(y，ψ（y））dy的一个正解的存在性定理。     

视一元函数为二元函数时的极限与连续

本文讨论了视一元函数u=φ(x)为二元函数u=f(x,y)=φ(x)时的极限与连续.     

滞后型泛函微分方程可反向延拓的充要条件

本文使用文[1]的有关符号和概念.考虑滞后型泛函微分方程x=f(t,x_t) (1)x∈R~n,x_t∈C=C([-r,0],R~n),r>0,f(t,φ):Ω→R~n”连续,Ω是 R×C 中的开子集,且设 f_φ~″和 f_φ~′在Ω中连续定义(?):[-r-α,0]→R~n,0<α相似文献   

一元复合函数求导法则的一种证法

在证明由函数y=f(u)与u=φ(x)构成的复合函数y=f[φ(x)]的求导公式dy/dx=dy/du·du/dx时,在数学分析教材的证明中都用到当△u趋于零时的无穷小量a,并需要补充义当△u=0时,a=0,这对初学者来说是不容易理解的。本文给出的证法避免了补充定义a这一做法。本证明的特点是按△u是否为零分为三种情况,其中第二种情况的证明是本证法的关键。     

一类p(x)-Laplace方程正解的存在性

考虑方程{-△p(x)u=f(u),u-0 x∈Ω,x∈aΩ正解的存在性,这里-△p(x)u=-div(|△u|p(x)-2△u),p(x)∈C1(RN)是径向对称的,Ω=B(0,R)∩ RN是有界径向对称区域,其中R是充分大的正数.当u→ ∞lim f(u)up--1=0时,证明了方程正解的存在性,而且未对f(0)的符号做任何限制.     

由一类双曲型偏微分方程决定的控制系统的控制函数表达式

§1.引言考虑系统的可控性问题。其中,u(x,t)为状态函数,f(t)为待求控制函数,1为弦长,a,b均为任意给定的常数。φ(x)∈Φ:{φ(x)|φ(x)∈c~2[0,1];φ(0)=φ(1)=0) ψ(x)∈Ψ:{ψ(x)|ψ(x)∈c~1[0,1];ψ(0)=ψ(1)=0) [定义1.1] 类似控制系统(Ⅰ)那样,若(1.1)的右端(俗称弦振动的外力)可以写成h(x)·f(t)的形式,则称该系统为外力可分离型控制系统(如下文的系统(Ⅳ)亦是) [定义1.2] 如果(1.1)的右端为零,而控制函数出现在边界条件中(如下文的(Ⅱ)(Ⅲ)),则称该控制系统为边界控制系统。     

一类四阶具阻尼非线性波动方程的初边值问题

研究一类具阻尼非线性波动方程的初边值问题{utt-αuxxtt-uxx＋βut＋γuxxt=φ（ux）x＋f（u）xx-g（u）,x∈（0,1）,t〉0,u（0,t）=u（1,t）=0,t≥0,u（x,0）=u0（x）,ut（x,0）=u1（x）,x∈[0,1]}局部古典解和整体古典解的存在性和唯一性,其中,α,β〉0,γ〈0均为常数,u（x,t）为未知函数,φ（s）,f（s）和g（s）为给定的非线性函数,u0（x）和u1（x）是给定的初值函数.