R~n空间中初值问题的广义拟线性化方法

本文用广义拟线性化方法在Rn 空间中研究了初值问题x′=f(t ,x) ,x(0 ) =x0 的解 ,首先建立了一个比较定理 ,本文的主要结论是定理 2 ,该定理推广了文〔1〕的结果     

拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。     

一类二维样条插值函数的最佳误差估计

本文主要结果为下述定理。 定理:设x(uw)是矩形域上关于该矩形上均匀分割的二维双三次样条插值函数,且x(uw)满足条件(5),则x(uw)在矩形域R边界上的节点处的四阶混合偏导数有估计式: |S_(i,0)|≦|A[i,n—1]||ε_(n,0)| |B[i,n—2]||ε_(0,0)|=[0,-4,(-1)~2 4,…(-1)~i 4]/[0,-4,(-1)~2…(-1)~n 4]|ε_(n,0)| sum from h=i to n-2 (-1)~(k(k-2)-(i 1)(i-2))[0,-4,(-j)~2 4…(-1)~i 4]/[0,-4,(-1)~2 4,…(-1)~(k 1) 4][0,-4,(-1)~2 4,…,(-1)~(k 2)4] (-1)~(i(i 1)/2)/[0,-4,(-1)~2 4,…(-1)~n 4]|ε_(0,0)|其中等号成立的条件分别为: A[i,n—1] B[i,n—2] ε_(n0),ε_(00)>0 A[i,n—1] B[i,n—2] ε_(nm),ε_(0m)>0 其中 i=1,2,…,n—1. j=1,2 …,m—1.     

一类非线性双曲型方程的Galerkin方法

主要讨论了平面有界凸多角形区域上的一类非线性双曲型方程utt- .( a( x,u) u) =f ( x,u)u( x,0 ) =u0 ( x)ut( x,0 ) =φ( x)u( x,t) =0　　( x,t)∈Ω× [0 ,T]x∈Ωx∈Ω( x,t)∈ Ω× [0 ,T]的 Galerkin有限元方法 ,首先给出了所讨论问题的 Galerkin有限元方法的离散格式 ,其次对所讨论问题的解与其离散问题的解之间的误差进行了分析研究 ,最后利用椭圆投影算子的性质 ,得到了 L2 模和能量模方面的一些误差估计。     

象征型拟微分算子的L~2－有界性

证明了象征型拟微分算子的一个Ｌ２有界性定理，其中象征ａ（ｘ，ξ）关于ｘ的正则性条件被进一步减弱了。在某种意义下，该结果给出了定理Ａ与定理Ｂ之间的联系。     

关于Caristi不动点定理的一点注记

本文利用半序方法给出了一个新的Caristi型不动点定理，与原有结果不同的是：在我们的定理中，不动点可以用迭代方法求出。     

概率方法在不等式证明中的应用

本文利用概率论的性质，定理以及由性质，定理推导出的有关结论证明了一些不等式，阐述了概率方法在不等式证明中的应用，显示不概率应用巧妙性和优越性。     

常p-Laplace系统在次p-次条件下周期解的存在性

运用临界点理论中P. H. Rabinowitz的鞍点定理证明了常p-Laplace系统在(▽F(t,x),Vx)≤μF(t,x),|x|≥M下周期解的存在性.     

FC-空间内的截口定理及其应用

本文主要在FC-空间内讨论一类截口定理,得到一些存在性定理,这些结果推广和改进了最近一些成果.     

无穷区间二阶微分方程三点边值问题的可解性

运用非线性抉择原理讨论了无穷区间上二阶微分方程三点边值问题((1+t2)x′(t))′+f(t,x(t),x′(t))=0,t∈I=[0,+∞)x(0)-βx′(0)=αx(η),x(+∞)=0正解的存在性,其中α≥0,β≥0,0η+∞,f:I×I×R→I是一个L1-Carathēdory函数。