不确定二维多项式族的稳定性检验集合

不确定二维多项式族,包括多胞形二维多项式族,区间二维多项式族,钻石形二维多项式族,其鲁棒稳定性可由其棱边多项式的稳定性确定.如果二维多项式族的不确定参数较多,被检验棱边多项式的数目可能出现所谓组合爆炸问题.为解决这一问题,提出一检验集合,该集合根据棱边二维多项式的凸方向来构造,仅对属于该检验集合棱边二维多项式进行稳定性检验,从而大大地减少被检验的棱边二维多项式数目.给出一例来说明这种新方法的可行性.     

分块平方和分解

本文定义了分块平方和可分解多项式的概念.粗略地说,它是这样一类多项式,只考虑其支撑集(不考虑系数)就可以把它的平方和分解问题等价地转换为较小规模的同类问题(换句话说,相应的半正定规划问题的矩阵可以分块对角化).本文证明了近年文献中提出的两类方法—分离多项式(split polynomial)和最小坐标投影(minimal coordinate projection)—都可以用分块平方和可分解多项式来描述,证明了分块平方和可分解多项式集在平方和多项式集中为零测集.     

有理单变元表示在优化问题上的应用

利用零维多项式系统的有理单变元表示,给出了求多项式在有限点集上的正性判定算法.同时,结合不等式证明,呈现了目标函数在零维系统约束下最优化的一个纯代数算法,从而将多元函数约束优化问题转化为单变元函数在单变元多项式约束下的优化问题.新算法不仅能处理目标函数为多项式的最优化问题,而且还能处理目标函数为有理分式函数和根式函数的的最优化问题,并且给出了目标函数最优值的精确区间表示,使得能任意精度地逼近最优值.     

亚纯函数差分多项式的值分布

本文讨论了差分多项式的特征函数和零点. 特别地, 本文将Valiron-Mohon''ko 定理部分地推广到了差分多项式, 并且对微分多项式零点的一些经典结果建立了差分模拟.     

关于Sturm定理的一点注记

经典的S turm定理用于判定多项式在给定区间上不同的实根个数,但是并不能刻画重根的情况.在这里定义了推广的S turm序列,将S turm定理进行一定地延拓,给出区间上多项式的所有实根均是偶重根或奇重根的充要条件.作为应用,讨论了多项式正(负)半定的判定问题.     

不同基底的正交多项式回归

提出了把Legendre多项式转换为定义在{1,2,…,n}上的正交多项式的Gram-Schmidt正交化方法.模拟比较了不同基底的正交多项式回归效果的差异.实证发现在AIC准则下,正交多项式回归在保证拟合效果的同时可最大限度地降低多项式次数.开发了正交多项式回归全过程和模型评价的MATLAB软件工程.     

基于嵌入式多项式混沌展开法的随机边界下流动与传热问题不确定性量化

提出了一种嵌入式多项式混沌展开(polynomial chaos expansion, PCE)的随机边界条件下流动与传热问题不确定性量化方法及有限元程序框架.该方法利用Karhunen-Loeve展开表达随机输入边界条件,以及嵌入式多项式混沌展开法表达输出随机场;同时利用谱分解技术将控制方程转化为一组确定性控制方程,并对每个多项式混沌进行求解得到其统计特征.与Monte-Carlo法相比,该方法能够准确高效地预测随机边界条件下流动与传热问题的不确定性特征,同时可以节省大量计算资源.     

n元对称多项式的对称核及应用

研究了具有n个变元的对称多项式的相关问题.这里n是整变量,泛指一切正整数.此类问题已经超出了Tarski判定算法所能处理的初等问题的范围.研究的主要方法是将n变元对称多项式表示为一种特殊多项式的和,即对称核的和.给出了计算对称核的方法.作为应用,得到了几类n变元对称多项式不等式成立的充要条件.     

关于Jones多项式的状态描述

自从V.F.R.Jones于1984年用Von Neumann代数的方法得到一个新的纽结不变量—Jones多项式(见[3])一以来,纽结理论专家们一方面用经典的拓扑方法加以推广,得到了更有效的新二元多项式(见[2],[5]),一方面对Jones多项式的性质进行了细致的研究并在此基础上用它解决了一些历史遗留下来的问题。其中吴英青、Kauffman、Murasugi、Thistlethwaite分别独立地用Jones多项式解决了交     

渐近于Hermite多项式的双正交系统

本文利用渐近于Gauss函数的函数类?,给出渐近于Hermite正交多项式的一类Appell多项式的构造方法,使得该序列与?的n阶导数之间构成了一组双正交系统.利用此结果,本文得到多种正交多项式和组合多项式的渐近性质.特别地,由N阶B样条所生成的Appell多项式序列恰为N阶Bernoulli多项式.从而,Bernoulli多项式与B样条的导函数之间构成了一组双正交系统,且标准化之后的Bernoulli多项式的渐近形式为Hermite多项式.由二项分布所生成的Appell序列为Euler多项式,从而,Euler多项式与二项分布的导函数之间构成一组双正交系统,且标准化之后的Euler多项式渐近于Hermite多项式.本文给出Appell序列的生成函数满足的尺度方程的充要条件,给出渐近于Hermite多项式的函数列的判定定理.应用该定理,验证广义Buchholz多项式、广义Laguerre多项式和广义Ultraspherical(Gegenbauer)多项式渐近于Hermite多项式的性质,从而验证超几何多项式的Askey格式的成立.