一类非线性反应扩散方程解的Blow-up问题

利用极值原理研究一类具有混合边界条件的反应扩散方程ut= (a(u) u) +f (u) g(x) ,　　在 D× (0 ,T)内 ,u =0 ,在Γ1 × (0 ,T)上 , u n=0 ,　在Γ2 × (0 ,T)上 ;Γ1 ∪Γ2 = D,u(x,0 ) =u0 (x)≥ 0 , 0 ,　　　　在 D 内 .解的 Blow- up问题 ,给出了整体解不存在的一个定理 ,并得到了 Blow- up时间 T* 的上界 .     

解一类垂直非线性互补问题的区间方法

本文提出了一种新的区间max运算,结合非线性方程的Krawczyk算子,给出了垂直非线性互补问题解的存在唯一性检验定理,并建立了求解垂直非线性互补问题的一类最佳Krawczyk算子,给出了具体算法实例.     

一类线性互补问题的区间解法

在L(x,A,X)算子的基础上,利用对称区间迭代算子,结合max-算子运算下一类线性互补问题的投影映射不动点原理及迭代初始区间的选择方法,对线性互补问题即Lcp(M,q)中M是具有正对角元的H-矩阵的一类问题提出了一新的算法,并以数值例子说明了该算法的有效性。     

无穷区间上含有p-Laplacian算子的n阶积分边值问题正解的存在性

运用Leray-Schauder非线性抉择定理研究了一类无穷区间上含有p Laplacian算子的n阶微分方程积分边值问题:﹛(φp(x(n-1)))′(t)+a(t)f(t,x(t),x′(t))=0,0t+∞,x(0)=α∫+∞ηg(τ)x(τ)dτ,x′(0)=x″(0)=…=xn-2(0)=0,t→+∞lim x(n-1)(t)=0解的存在性,其中η∈[0,+∞),α∈[0,+∞)且f∈C([0,+∞)×R×R,[0,+∞))。     

非线性Klein-Gordon方程解的Blow-up

本文讨论非线性Klein-Gordon 方程的混合问题{u(■)—△u u=F(u,Du,D_xDu) (t,x)∈(0,T)×Ωu(0,x)=h(x) u_t(0,x)=g(x),x∈Ω■u/■v=0■在F(u,Du,D_xDu)≥p sum from i=1 to n u_(X_i)~2 qu_t~2 u 这里(p>0,q>0) 及■_■■~(ph)(x)×g(x)dx>0时,得到该问题的解在有限时间内爆破.     

一种互补问题解的存在性区间检验方法

对互补问题解的存在性提出了一种区间检验．把解互补问题转化为求非线性映照的不动点．介绍了n维区间向量和区间max运算及互补问题的Krawczyk类算子,提出了区间max运算下互补问题的最佳Krawczyk算子检验方法,并给出了检验实例.     

中点测试在全局优化区间算法中的一种实现

通过引入标志矢量R构造一个含全局最优值的区间列,对中点测试给出一种算法的具体实现,提高了区间算法的效用和通用性.同时可以推广到求出在闭区间X上只存在严凸或严凹子区间非线性函数f(x)所有全局最优解,较好地解决了区间算法易求最优值而难求最优解的问题,具有一定的实用性.     

二阶不稳定中立型非线性差分方程有界解的振动性

研究了二阶不稳定中立型非线性差分方程△^2(x(n)-p(n)x(n-τ））＝f(n,x(g(n))),n≥n0有界解的振动性。其中△为前差分算子，即△x(n)＝x(n 1)-x(n);p(n)为实数序列；τ为一非负整数；g(n）为非减整数序列，满足limn→∞g(n)=∞，且当n＞N0时，g(n）≤n成立。f:S^ R→r,并对任意u≠0，有f(n,u）／u≥q(n)≥0,且q(n) 0成立。给出了该差分方程有界解振动的一些充分条件，并给出了示例。     

非线性二阶微分方程的振动判据

研究方程 x″+r(t)x′+p(t,x,x′)g(x′)f(x)=0,我们证明了:如果r(t)≥0,■r(t)dt=q<+∞,p_2≥p(t,x,x′)≥p_1>0,则该方程振动的充分必要条件是■f(x)dx=+∞,其中,p_1、p_2是常数。且 g(x′)>0对一切 x′成立,xf(x)>0对 x≠0成立.     

含有非局部项抛物型方程整体解的不存在性

本文研究一类含有非线性局部顶的抛物型m-Laplacian方程的柯西初值问题{ut=div(|▽u|m-2▽u) ∫RNK(x,y)up(y,t)dy x ∈RN,t》0/u(x,0)=u0(x),x∈RN,u(x,t)≥0(x,t)∈RN×R (0.1)的非负整体解的不存在性问题.从两个角度出发,研究参数p,β,m和初始条件u0(x)在无穷远处的渐近行为对问题(0.1)解的不存在性的影响.采用的方法是"试验函数法".该方法是由Mitidieri和Pohozaev在研究一类椭圆型不等式时首先提出.为了使该方法能够用于问题(0.1),需要作些修正.主要结果的证明是通过对解的先验估计,然后应用反证法提出.通过选择适当的试验函数以及变量伸缩,得到解的一个渐近估计和一个上界估计.这些估计依赖于参数T和ρ.最后让ρ→∞和对上界极小化,得出问题(0.1)的非负解的不存在性.作如下假设:(H1)存在 a0∈(0,1/2),使得当α∈(-α0,0),成立u0(x)≥0,u0 ∈L1 a loc(RN); (H2)存在K0》0,0《β《N使得K(x,y)=K(y,x)≥K0|x-y|β-N,x,y∈RN;(H3)存在K0》0,γ≥0 使得 K(x)≥K0(1 |x|2)-γ,x∈RN.主要结果是:定理1 假设2≤m《N,p》m-1和条件(H1),(H2)成立.进一步,如果下列条件之一满足:(H4)P《m-2 N m/N-β;(H5)存在依赖参数m,p,β的β0》0,使得lim inf|x|→∞(u0(x)|x|m β/p 1-m-α)≥β0;那么初值问题(0.1)不存在整体的非负解.当K(x,y)只是一个变量y的函数时,有定理2 假设2≤m《N,p》m-1和条件(H1),(H3)成立.进一步,如果下列条件之一满足:(H6)0≤γ《(N m)/2;(H7)存在依赖参数的m,p,γ的β2》0,使得lim inf|x|→∞(u0(x)|x|m N-2γ/P 1-m-a)≥β2;那么问题{ut=div(|▽u|m-2▽u) ∫RN K(y)up(y,t)dy x∈RN,t》0/u(x,0)=u0(x),x∈RN不存在整体有界的非负解.     

用区间 Gauss-Seidel方法解非线性互补问题

在本文中,我们使用了Krawczyk-like区间算子和Gauss-Seidel区间算子方法解非线性互补问题．这是Krawczyk区间算子的又一次应用．     

对偶线性规划问题的一类解法

通过线性互补问题(LCP)的一个等价系统——Pang函数的区间斜率的构造，得到了LCP问题的Krawczyk区间算子的迭代算法，证明了该算法是可以在计算机上得以确认的一种检验方法；同时阐述了如何将对偶线性规划问题转化为LCP问题的方法，由此获得计算对偶线性规划问题的区间迭代算法，由算例可知，其数值结果是很好的。     

关于椭圆型方程的一类解法

阐述了一类椭圆型方程边值问题的解法，利用变分不等方程将其化为线性互补问题作为算法基础，并构造了改进的Krawczyk区间算子的迭代公式，这一算法是可以在计算机上得到确认的检验方法。最后给出了算例，数值结果是好的。     

解线性互补问题的一类区间方法

本文从Krawczyk算子及区间max运算入手,利用解非线性方程组的最佳Krawczyk算子方法,提出了解线性互补问题的一类最佳Krawczyk算子算法,给出了具体算法实例．     

线性互补问题与一类算子不动点问题的等价性

互补问题是数学规划中的一个重要研究专题.本文引进一类控制函数,证明了该函数生成的一类算子的不动点与线性互补问题的解是等价的.     

一种求解非线性互补问题的新算法

利用信赖域SQP滤子算法来求解非线性互补问题,在适当的条件下证明了该算法的全局收敛性,并给出了数值实验证明算法的可行性。     

求解非线性互补问题的信赖域SQP滤子算法

利用信赖域SQP滤子算法来求解非线性互补问题,在适当的条件下建立了该算法的全局收敛性.     

非线性互补问题的熵函数法

提出了求解非线性互补问题的熵函数法 .证明了熵函数逼近问题解的存在性和唯一性及算法的全局收敛性 .数值算例表明了算法的有效性     

序补问题解的存在性

利用耦合不动点的方法得到了混合单调型算子的序补问题解的存在性．同时利用序补问题与隐变分不等式的关系给出了隐变分不等式解的存在性的新条件．