Holder连续函数空间的插值空间的不等式

考虑空间C~(m,λ)(Ω__)的完备性和所嵌入的空间的问题,对Jensen不等式给出了直接的证明方法,利用Jensen不等式给出了Holder连续函数的例子。指出当Ω是非凸集时空间C1(Ω__)不能嵌入空间C~(0,λ)(Ω__)。给出C(Ω__)和C~(0,λ)(Ω__)是Banach空间证明的具体表述过程,通过建立Holder连续函数空间的插值空间的不等式,给出了空间C~(0,μ)(Ω__)嵌入的空间的证明;在Ω是Rn中的有界开集条件下,应用Arzela-Ascoli定理给出了空间C~(0,μ)(Ω__)紧嵌入的空间的证明,对相关经典知识给予了新的改造表述。     

函数列一致收敛的奥斯古德定理

研究函数列的一致收敛性的理论方法问题,在有限闭区间上,给出了判断函数列一致收敛的奥斯古德定理和狄尼定理的两种形式,对奥斯古德定理给出了两种证明方法,给出了奥斯古德定理的几个推论,沟通了相关知识的联系,并通过实例说明奥斯古德定理的应用及其理论价值。在开区间或无限区间上,给出了函数列一致收敛的判别定理,并应用于研究含参变量广义积分的一致收敛性,从理论上沟通了函数列一致收敛与参变量广义积分的一致收敛的内在联系,构成一套理论方法体系。     

工科概率统计教材中引入Matlab工具的探讨

探讨将Matlab软件引入到工科概率统计教材,实现Matlab与概率统计教学的融合,利用Matlab工具提高教学效果.具体分析适合引入Matlab的情景,引入的Matlab与原教材内容的关系以及引入Matlab应该注意的事项.     

菲涅尔积分的几种计算方法

考虑菲涅尔积分的多种计算方法的来源问题,介绍了通过引入收敛因子转化为二重广义积分计算的方法,并指出这种方法发现的思想来源。对菲涅尔积分和广义菲涅尔积分给出了利用广义积分交换次序定理的计算方法,没有通过引入收敛因子就解决了问题,方法自然且具有一般性。对一类欧拉积分公式,给出了对参变量求导的简便计算方法,指出了一类欧拉积分公式对广义菲涅尔积分计算的应用,发现菲涅尔积分、广义菲涅尔积分、狄利克雷积分都可以是一类欧拉积分公式的特例,沟通了这些积分之间的关系。     

二重级数收敛性研究

研究了二重级数和累次级数收敛问题,提出了二重级数与累次级数收敛的判别法并给出了证明,在此基础上研究了二者之间的关系,丰富了级数基本理论.     

正态模型下单边假设检验问题中频率与贝叶斯证据的一致性

假设检验问题中的频率与贝叶斯证据的一致性或和谐性是频率学派和贝叶斯学派所共同关心的问题.研究正态模型下单边假设检验问题中广义p-值以及Jeffreys无信息先验下的贝叶斯证据,证明了各种检验问题中两类证据的一致性.     

Kuramoto - Sivashinsky型方程的广义Hermite谱方法

对广义KS方程建立全离散的广义Hermite谱逼近格式,对离散格式进行先验估计,并证明离散格式关于初值的稳定性.利用广义Hermite函数的某些逼近结果,证明离散格式的收敛性,并得到近似解的误差阶.     

线性时滞多智能体系统的最优一致性研究

将一致性问题与代价函数相结合,研究了带有时滞的线性多智能体系统最优一致性问题。首先,采用模型变换将一致性问题转换成稳定性问题。进而,利用控制理论和线性矩阵不等式方法推导出控制器存在的一般性条件和代价函数性能指标上界。然后,将问题转换成凸优化问题,得到最优性能指标的一致性控制器。最后,通过仿真实例,验证了算法和判据的正确性。     

曲面论高斯方程公式的几种形式的推导方法

考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程.     

高斯曲率绝妙定理的几种公式的推导方法

考虑高斯曲率绝妙定理的公式表示问题,运用曲面上基本方程的矩阵表示法,推导出高斯曲率绝妙定理的直接显式公式,指出了高斯曲率隐式公式的验证过程,给出了高斯曲率计算公式Liouville形式的推导过程。