群零模正则化问题的等价Lipschitz优化模型

针对群零模正则化问题, 从零模函数的变分刻画入手, 将其等价地表示为带有 互补约束的数学规划问题(简称MPCC问题), 然后证明将互补约束直接罚到MPCC的目标函数而得到的罚问题是MPCC问题的全局精确罚. 此精确罚问题的目标函数不仅在可行集上全局Lipschitz连续而且还具有满意的双线性结构, 为设计群零模正则化问题的序列凸松弛算法提供了满意的等价Lipschitz优化模型.     

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

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

非参数模型均值函数结构变点的Bootstrap检测

本文检测非参数回归模型均值函数结构变点,针对均值函数跃度的长期均值为零时,基于残量的CUSUM统计量对均值函数结构变点检验无效的问题,本文提出了一种基于均值函数的核估计的检验统计量,得到统计量在原假设和备择假设下的极限分布,并构造Bootstrap方法对非参数回归模型均值函数结构变点进行检验,证明了检验和估计的一致性;模拟结果表明本文方法明显优于已有方法。     

关于Volterra型积分微分方程的稳定性

的零解的稳定性。这里A(t)是n×n阶函数矩阵,在[0,∞)上连续,C(t,s)是一个n×n阶函数矩阵,当0≤s≤t<∞时连续,且连续。文献[1]中利用对(1.1)构造泛函的方法,研究了以下问题:(Ⅰ)对(1.1)是一个纯量方程的情形,给出了在一定条件下,系统(1.1)的零解为稳定的充分必要条件;     

关于向量场旋度的一个附注

若在某单连通区域V∈R3上,向量函数A是某个数量函数u的梯度,则其旋度rotA在所定义的区域上为零.本文证明了其旋度的任意两个分量在所定义的区域V上为零,另一个分量满足在区域V的边界S上为零与其三个分量在所定义的区域V上为零是等价的,解惑教学中学生的问题.     

关于狄里克莱级数确定的解析函数的P(R)级和P(R)型

σ<0内的解析函数。1978年余家荣对这种解析函数引入(R)级的概念,研究其增长性;1979年他还研究了解析函数的(R)零级[3],得到了一些有趣的结果(他所使用的工具和方法比许多数学家所使用的要简单明瞭得多)。对(R)零级[4]中以“对数级”为工具也作过研究。而对于(R)无穷级则是本文试图讨论的问题。为此,我们先引入 P(R)级的     

关于部分变元Lyapunov矩阵方程几个问题的讨论

关于Lyapunov矩阵方程A^TB+BA=-C的解与线性定常系统x=Ax之零解的部分变元渐近稳定性的关系,本文就最近发表的一些结果讨论了如下几个问题。一、由于全变元正定函数也满足部分正定性的条件,有必要引进严格部分正定函数的定义。严格部分正定函数与全变元正定函数是互不相包的;二、求解矩阵方程即意味着对于给定的矩连A(它使系统x=Ax之零解对部分变元渐近稳定),矩阵C应满足什么条件使矩阵方程有解B,此即Lyapunov函数的存在与构造问题;本文还指出C的秩不必为m,当rank C>m时     

零平衡超几何函数的不等式

将反双曲正切函数的一个恒等式推广到了零平衡超几何函数F(a,b;a+b;x),a,b0的情形,得到了零平衡超几何函数的一些不等式.     

切触有理插值新方法

针对传统连分式插值,计算复杂度高,计算过程中分母为零的不可预知性及插值函数不满足某些给定条件,应用不方便等问题,利用已知节点、函数值、导数值,构造两个多项式,分别作为有理插值函数的分子和分母,得出各阶导数条件下切触有理插值的新公式,并给出特殊情形的表达式.若添加适当的参数,可任意降低插值函数次数.该方法计算简洁,应用方便,插值函数的分母在节点处不为零且满足全部插值条件.数值例子验证了新方法的可行性、有效性和实用性.     

速解一类双零点求参数范围问题

<正>一、问题的提出函数是高中数学的重要组成部分,零点作为函数的基本要素之一,与函数、方程、函数的图象等知识点联系紧密,所以函数的零点和导数相结合的综合性问题一直是高考的热点之一,与函数零点个数有关的试题更是层出不穷.下面的试题是2013年高考江苏卷第20题的改编题,我们先来考虑这道经典的双零点求参数范围问题.     

光滑函数有限阶零点的一个性质

一个函数在实数集上无限阶可导,这样的函数为实数集上的光滑函数.如果一个光滑函数f在x=a处函数值为零称x=a是函数f的零点,如果该光滑函数在此点处还满足:直到n-1阶导数都为零,但n阶导数不为零,这个零点称为是n阶零点,本文中证明f与x-a的n次幂之比还是光滑函数.     

关于二次分式函数迭代的一个定理

考虑任意给定的二次分式函数 f(x)=(Ax~2+Bx+C)/(Mx~2+Nx+P) (1)其中分子与分母互质,且A与M不都是零,M与N也不都是零,作为函数迭代的定义,这个函数的零次迭代为,f_0=x;对于任何正整数n,这个函数的n次迭代为f_n=f(f_(n-1)),即     

基于递归型神经网络动力学求解时变凸二次规划

为了在线求解时变凸二次规划问题,实现误差精度更高、求解时间更短和收敛速度更快的目标。本文采用了求解问题更快的时变网络设计参数,选择了有限时间可以收敛的Sign-bi-power激活函数,构造了一种改进的归零神经网络动力学模型。其后,分析了模型的稳定性和收敛性,得到其解能够在有限时间内收敛。最后,在仿真算例中,与传统的梯度神经网络和归零神经网络模型相比,所提模型具有更高的误差精度、更短的求解时间和更快的收敛速度,优于前两种网络模型。     

二次系统的零曲率曲线

本文引入零曲率曲线的概念,研究了二次系统零曲率曲线的基本性质;为构造Dulac 函数提供了一种新手段,并导出了判定二次系统“闭轨集中分布”的一种方法;本文结果对绘制二次系统全局结构图也有参考价值.     

单位圆内零级代数体函数的强Borel点

主要讨论了单位圆内零级代数体函数在满足某条件下的强Borel点存在性问题,通过建立单位圆内零级代数体函数满足此条件的型函数的关系式,证明得到了单位圆内零级代数体函数在此条件下必存在强Borel点,且其强Borel点必是其Borel点.     

用样条函数求解复合载荷下圆平板的大挠度问题

本文利用样条函数方法求解了圆平板的非线性方程,给出了在均布压力和中心集中力联合作用下圆平板大挠度问题的渐近解及其变形和应力分析,讨论了中心挠度为零的问题。     

活用零点定理,巧解不等关系——“零点定位法”解不等式

<正>高一阶段学习的函数主要包括一元二次函数、指数函数、对数函数、幂函数、三角函数等.涉及这些函数的不等关系解法灵活,其中利用函数零点定理及其推论解不等关系(这里我们称此法为"零点定位法")的方法巧妙,对我们高中阶段学习过的函数都适用,下面以几种常见函数不等关系为例,介绍"零点定位法"的妙用.     

水平集方法与距离函数

讨论了有关水平集方法的基本问题,如保持为距离函数的方法,水平集方程解的存在性和唯一性。主要贡献是证明了,在距离函数约束下,水平集方程在初始零水平集附近有唯一解,它是关于演化界面的有向距离函数。并且用到了一些处理技巧:如注意到原始方程的任意解都是距离函数,将原始方程变化为另一简单形式。由于新的方程组不是一个经典方程组,则它被变换为一个普通形式,其中隐函数方法被采用。     

关于一类扰动系统的极限环上界问题

本文讨论了一类扰动系统在其一阶Ｍｅｌｎｉｋｏｖ函数恒为零,而二阶Ｍｅｌｎｉｋｏｖ函数不恒为零时的Ｐｏｉｎｃａｒｅ分支及Ｈｏｐｆ分支的有关问题,得到了该系统的极限环个数的上界估计,本文推广并深化了文「４」的结论,也弥补了该文的某些不足。     

含空隙的各向同性介质Helmholtz方程扰动问题的传输特征值

传输特征值在反散射唯一性理论中具有十分重要的意义.在含空隙的各向同性非均匀介质折射率扰动下,研究了Helmholtz方程传输特征值的存在性问题.首先,通过构造Neumann-Dirichlet算子,建立传输特征值问题的等价形式.然后,进一步构造特征值函数,将扰动的传输特征值问题转化为算子为零特征值的扰动问题.最后,利用隐函数定理的扰动方法证明传输特征值的存在性.