线性锥系统的相容性定理

为了将线性规划中的Tucker定理推广到一般线性锥系统上,应用对偶锥的概念和线性锥系统的Farkas引理给出了一般线性锥系统的Tucker定理.所得结果表明,含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker定理,且Tucker定理结论的表达式基本相同.     

具p-Laplace算子型边值问题解的存在性

将具p-Laplace算子的边值问题转化成算子方程,对于p的不同取值给出适当的条件.利用Mawhin连续引理的推广形式,证明了一类具p-Laplace算子的微分方程边值问题解的存在性,得到了一系列解存在的充分条件.     

C∞函数芽k完备的计算

在C∞函数芽的有限决定性理论中,如果芽f是k完备:Mk(∈)MJ(f),则f必有限k-决定.然而,给定一个芽f,去验证f是k完备的并找出满足条件Mk(∈)MJ(f)的最小正整数k是实际计算中的一个困难.我们将应用C∞函数芽环中的有限余维理想的某些性质和Nakayama引理去得出这一抽象的代数条件的计算方法.实例表明:在通常情况下,我们提出的方法是有效的.     

关于似然比函数的一个应用

通过介绍Neyman-Pearson基本引理得到似然比函数,利用似然比函数推导U检验,T检验和χ2检验.     

基于广义界实定理的窗口H_∞性能分析

为研究连续时间控制系统局部频段的H∞性能,基于传统H∞范数提出了窗口H∞范数的新概念,指出传统H∞范数是窗口H∞范数的特例.利用广义Kalman-Yakubovich-Popov引理证明了弱形式广义界实定理,针对低频段、中频段、高频段3种情况得出了相应的研究结果.低频段的推论能应用于控制系统的带宽设计问题,中频段的推论能用于控制系统的稳定裕度指标设计问题,高频段的推论能用于控制系统抗干扰的设计问题.例子表明窗口H∞性能分析方法比传统H∞性能分析方法更适于局部频段.     

R~N中一类临界非局部问题的正解和无穷多对解

研究如下一类带临界指数的非局部问题:{-(a+b∫_(R~N)(|▽u|)~2dxΔu=μ(|u|)~(2~*-2)u+λf(x)|u|~(q-2)u x∈R~N u∈D~(1,2)(R~N)烅烄烆)其中a≥0,b,μ0,N≥4,1≤q≤2,2*=(2N)/(N-2),系数函数f∈2*/L~(2*-q)(R~N)满足一定的条件.当1≤q2,N≥4时,利用变分方法和临界点理论获得了该问题的无穷多对解;当q=2,N=4时,利用山路引理获得了该问题的1个正解.     

一类区域分数阶Schrdinger方程的基态解

用变分方法研究了区域分数阶Schrdinger方程(-Δ)_ρ~αu+V(x)u=f(x,u)x∈R~N,u∈H~α(R~N)获得了该方程基态解的存在性.     

一类带线性项非局部问题解的存在性与非存在性

研究了一类非局部问题,利用山路引理和变分方法,获得该类问题的一个正解和一个负解,充实了非局部问题解的存在性理论,补充了已有的研究内容.同时,利用变分法获得了该问题非平凡解不存在的结果.     

一类含Robin边界条件对流扩散方程的LDG方法的收敛性

针对一维常系数对流扩散模型方程,利用有限元基本理论分析,讨论了当含有Robin边界条件时,局部间断有限元方法(LDG方法)的收敛性.证明了当边界条件为Robin边界条件时,LDG方法的误差能量模收敛阶仍可达到k阶.