实数序列的通项公式问题

讨论实数序列的通项公式,证明了任意实数序列可以通过[0,+∞)上任意次连续可微函数给出其通项公式,任意单调有界实数序列可以通过(-∞,+∞)上的解析函数给出其通项公式.     

关于有限维向量值函数一些注记

首先给出取值于有限维向量空间上的向量值函数的表示形式和有限维向量空间的一种范数.然后利用有限维向量空间上任意两种范数都是等价的性质,讨论了取值于有限维赋范线性空间上的向量值函数的连续、可微、积分及解析的等价关系和表示形式.最后证明了柯西定理、柯西积分公式、高阶导数公式及其表示形式和解析的向量值函数的无穷可微性.     

论完全泛函的变分问题

研究变分法中依赖于任意个自变量、任意个多元函数和任意阶多元函数偏导数的完全泛函的变分问题;提出并证明了完全泛函的变分问题的定理,采用偏微分算子,给出了完全欧拉方程组. 该方程组涵盖了变分问题的各种欧拉方程. 通过两个算例验证了完全欧拉方程组的正确性.     

一类三次微分系统的极限环问题的研究

本文讨论了一类三次微分系统的极限环问题,主要用Dulac函数证明了系统(1)对任意参数值在全平面上无极限环.     

关于函数一致可微性的几个定理

函数的可微性是高等数学中的基本概念之一,以它作为工具能较好地研究函数的性态.本文从已有的函数一致可微的定义出发总结并证明了函数一致可微的充要条件及充分条件.     

Min-Max-Min问题的区间极大熵算法

讨论了目标函数和约束函数都是一阶连续可微的离散Min-Max-Min问题.利用罚函数法和极大熵函数思想将问题转化为无约束可微优化问题,构造了极大熵函数的区间扩张并证明了它的收敛性,给出了无解区域删除原则,建立了区间极大熵算法,理论证明和实例计算表明算法是可靠和有效的.     

固定权值的可分布尔函数的计数

证明了任意可分布尔函数的阈值都可取为1或－1，任意可分布尔函数的权值和阈值都可取为整数，解决了固定权值的可分布尔函数的计数问题。     

无穷维3-李代数的可列结构

研究了实数域上一类可微的三元函数构成的无限维单3-李代数L? 的可列结构.证明了3-李代数L? 的可列Cartan子代数是彼此同构的2维交换子代数,给出了L? 关于任意一个可列Cartan子代数的根系 Λ、根空间分解及根子空间,并对根系及根空间的结构进行了研究.     

对称性关系导出阿贝尔规范理论中的完全费米子-玻色子顶角函数

应用Dyson-Schwinger方程研究夸克禁闭、动力学手征对称性破缺等非微扰问题,必须要知道非微扰的顶角函数.提供了基于对称性关系来确定四维阿贝尔规范理论中的完全费米子-玻色子顶角函数的途径：用一组纵向和横向的费米子-玻色子（矢量）和轴矢量顶角的Ward-Takahashi关系导出完全的费米子-玻色子顶角函数,推导在动量空间和无费米子质量情况完成.这样导出的费米子-玻色子顶角函数应是微扰和非微扰都成立的.证明了该费米子-玻色子顶角在单圈阶确实是成立的,并简要讨论了该顶角的非微扰形式。     

r-预不变凸函数的一个性质

首先建立了一类 r-预不变凸函数的一个等价条件,利用该等价条件给出了二次连续可微的r-预不变凸函数的一个性质;在适当的假设下,证明了如下结果:设X(U-)_Rn是关于向量值函数的开不变凸集,η满足条件C,f:X→R→R是二次连续可微的函数且满足条件D.则f是关于η的r-预不变凸函数当且仅当对任意的(A)x,y∈X,r[...     

A note on Whitney''''s critical sets

Abstract The critical arc is an arc which is the critical set for some differentiable function not constant along the arc. In literatureon the topic, the differentiable functions are always increasing along the arc, but in this paper we provide a critical arc such that the corre-sponding differentiable function could not be increasing along the arc. It is also proved that any self-similar Cantor set of dimension greaterthan 1 is a generalized Whitney's critical set.     

驻点集与实数集等势的严格单调可微函数的构造

构造了一个在闭区间上连续,开区间内可导的严格单调可微函数,其驻点集与实数集等势。该函数说明在闭区间上连续,开区间内可导的严格单调可微函数,其驻点的个数可以相当"多"。     

非光滑伪不变凸性的一个注记

文献[5]在前人的基础上证明了半严格预拟不变凸函数的一个充分条件,即在一定条件下可微的伪不变凸函数关于相同的向量值函数η为半严格预拟不变凸函数.本文将此结论推广到了非光滑的情形,利用Clarke次微分理论和条件C,证明了在关于向量值函数η的开不变凸集上,满足局部Lipschitz条件的伪不变凸函数关于相同的向量值函数η...     

一种无记忆拟牛顿法的收敛性

在f(x)为二阶连续可微凸函数的条件下，证明了一种无记忆拟牛顿法的收敛性。     

半-r-预不变凸规划的混合对偶问题(运筹学与控制论)

半r-预不变凸函数是一类新的广义凸函数,它是r-预不变凸函数和半预不变凸函数的推广。本文对半r-预不变凸多目标规划问题的混合型对偶进行了研究。首先,给出了在可微的半r-预不变凸函数的一个性质;然后,利用半r-预不变凸函数建立了目标函数和约束函数均可微的多目标规划问题的混合型对偶,证明了目标函数和约束函数在半r-预不变凸函数条件下的弱对偶,强对偶和严格逆对偶定理;结论具有一般性,推广了涉及预不变凸函数、r-预不变凸函数和半预不变凸函数的文献的结论。     

在闭凸集上随机连续型场址的最优选择

考虑带约束的随机连续型场址的最优选择问题，证明了随机目标函数的每个样本函数是连续可微的凸函数，给出了选择随机最优场址的算法，并证明了其收敛性，最后，指出随机最优场址及随机最优值的期望值都是有限的。     

黎曼函数的性质及其证明

从黎曼函数的简单特征入手讨论它的连续性、可积性、可导性,特别是证明了黎曼函数在区间[0,1]上处处不可导,并结合狄利克雷函数加以引申和推广.     

非精确线性搜索下的共轭梯度法

在wolfe步长搜索下,对解无约束最优化问题的共轭梯度法的迭代参数做出改进,扩大了它的选取范围,并在目标函数可微的条件下,证明了算法的全局收敛性.     

Banach空间上的几乎周期性与混沌性

设（x,‖·‖）是Banach空间,f：x→x是连续Frechet可微的映射。对（x,f）的混沌性进行了探讨,证明存在紧致子集ACA（f）使得fA是Xiong-混沌的和Kato混沌的。     

处处连续处处不可微多元函数集合的性质

证明了C([0,1]n)中处处不可微函数集合的补集是第一纲集.证明思路沿用n=1时的情形,但通过构造一系列疏集,使证明中不等式的得出更为自然.通过对证明的详细分析,可以得到向量值连续函数空间也有类似的性质.最后讨论了协变导数代替偏导数的情形.