LC^1最优化问题的最优性条件

1 引言 LC~1最优化问题是一类非光滑最优化问题,它们广泛存在于运筹学的各种情形中.对于这些问题,其目标函数和约束函数一般不具有二阶可微性,但是它们是可微的,其导数是局部Lipschitz的.LC~1最优化问题的一般形式是 rminf(x) s.t.h_i(x)=0,i∈E,(1.1) g_i(x)≤0,j∈I, 其中,f:R~n→R,h:R~n→R~m,g:R~n→R~l是LC~1函数,即它们有局部Lipschitz导数,E={1,…,m},I={1,…,l}.从非线性互补问题、变分不等式和非线性规划中产生的不少问题可以形成 为非光滑方程,其中C~1条件(即连续可微条件)不成立,但LC条件(即局部Lipscchitz条件)成立,这些问题对应于LC~1最优化问题.[4],[6],[7]给出LC~1最优化问题的例子. 最优性条件对研究非光滑最优化是重要的.若干作者研究了非光滑优化的最优性条件问题,例如[1]、[2]、[4].在本文中我们将讨论LC~1最优化的最优性条件,它们包括:无约束LC~1最优化问题的二阶最优性条件和一般约束LC~1最优化问题的二阶最优性条件. 2 基本概念     

无约束非光滑优化问题的信赖域算法及收敛性

1．引言考虑下列无约束非光滑优化问题：其中f为R”上的局部LIPSChitZ函数．本文将11·112简记为11·l．信赖域算法是通过求解一系列子问题3＊B（二，凸）：来求解问题（1）的，其中拉x，·）为j在x点的一阶近似，B为nxn阶对称阵．下面给出信赖域的基本算法TRA：步1·给定...     

基于简单二次函数模型的带线搜索的新信赖域算法

基于简单二次函数模型,结合非精确大步长Armijo线搜索技术,建立了一个新的求解无约束最优化问题的组合信赖域与线搜索算法,在目标函数梯度▽f(x)在R~n上一致连续条件下证明了算法的全局收敛性.数值例子表明算法是有效的,适合求解大规模问题.     

一类离散Minimax问题的最优性充分条件

研究下面的离散Minimax问题:(P) min maxf_i(x), x∈S 1≤i≤p其中,S={x∈R~n|g_j(x)≤0,j=1,…,l;h_k(x)=0,k=1,…,m},f_i,g_j,h_k都是R~n上的局部Lipschitz函数.在函数光滑的假设下,[1,2]分别以次梯度与方向导数为工具给出了问题(P)的一些最优性必要条件与充分条件.本文利用广义梯度,在引入Lipschitz函数的广义凸性基础上给出问题(P)的若干Fritz-John与Kuhn-Tucker充分条件,p=1也就给出了一般非光滑     

求解Lipschitz型规划全局极小点的改进的填充函数法

1 引言 考虑问题 (P)min(x), x∈Ω其中F:ΩR~n→R是局部Lipschitz函数,Ω为紧集,且F(x)在Ω内有极小点。文[1,2,3]在一定条件下给出了求解一般非光滑规划全局极小点的填充函数法,并给出了求解的全过程。本文根据文[1,2,3]的思想,为求解(P),结合函数的特点,给出了一种改进     

一种解无约束优化问题的新的非单调自适应信赖域方法

本文提出了一种解无约束优化问题的新的非单调自适应信赖域方法.这种方法借助于目标函数的海赛矩阵的近似数量矩阵来确定信赖域半径.在通常的条件下,给出了新算法的全局收敛性以及局部超线性收敛的结果,数值试验验证了新的非单调方法的有效性.     

非光滑优化的二阶必要条件

1 引言 对无约束最优化问题,其必要条件要求在局部极小点x处沿任何方向的梯度为零,曲率为正。而对约束最优化问题,首先它的局部极小点必须是可行点,其次不仅要求验证局部 极小点的某个邻域内的二阶项(曲率),而且也要认识到约束曲率也起相当重要的作用。现实中存在这样的问题,在x点处G正定,而它不是局部极小点。因此必须考虑约束最优化问题的二阶必要性条件。 本文研究了非线性规划的二阶必要性条件,其约束函数的一阶导数为方向Lipschitz连续。 2 方向Lipschitz连续函数的性质 定义2.1 设f是R~n上的一个广义实值函数,f在x∈R~n处有限,称f在x处是方向Lipschitz连续的,如果至少存在一点y∈R~n使得 其中( 定义2.2 设f如定义2.1,定义f在R~n处的次导数集如下 其中 本文多次引用f↑(x;y),因此我们首先介绍f↑(x;y)的3个基本性质:     

DFP算法收敛性的一个结果

变尺度算法作用于非凸函数,是否具有全局收敛性,有关这方面的研究是十分重要的。[1]在▽f满足Lipschitz条件且算法产生的点列收敛的假设下证明了DFP算法的全局收敛件。本文给出一个与Lipschitz条件互不包含的新的条件,在此条件下,我们证明了若算法产生的点列收敛于某点,则此点必为函数的稳定点。一、引言对于非线性最优化问题:_(x∈R~n)~min f(x),其中f:R~n→R~1连续可微,用变尺度算法来求解通常是有效的。而在众多的变尺算法中,DFP算法(Davidon、Fletcher and     

无约束优化的自适应信赖域方法

本文对无约束优化问题提出一个自适应信赖域方法,每次迭代都充分利用前迭代点的信息自动产生一个恰当的信赖域半径,在此区域内,二次模型与原目标函数尽可能一致,避免盲目的尝试,提高了计算效率。文中在通常条件下证明了全局收敛性及局部超线性收敛结果,给出了新算法与传统信赖域方法的数值结果,证实了新方法的有效性。     

一类高阶椭圆型偏微分方程的奇摄动

今考虑如下奇摄动问题:其中ε为正的小参数,Ω为R~n中的有界域,Ω为Ω的边界,a,b均为正常数,φi(x),i=1,2,3,为充分光滑的函数,Δ为Laplace算子. 本文主要是利用微分不等式理论来研究上述问题解的渐近性态.近年来,利用微分不等式来解决一类常微分方程奇摄动问题已有较深入的研究(例如参见[1]-[5],[9]-     

关于CARATH(E)ODORY函数的充分条件和应用

本文研究了Carathéodory函数.利用微分从属的方法,得到了单位圆盘内Carathéodory函数的某些充分条件.结果改进了文献[1,2,4,5]的结论.     

FIXED POINT INDEX THEORY FOR WEAKLY INWARD MAPPINGS

1IntroductionLetEbeaBanachspace,PcEaclosedconvexsetandletA:finP~Ebecompletelycontinuous,wherefiCEisanopenboundedset.ItiswelLknownthataAsedpointindexi(A,nnP,P)callbedefinedwheneverA(flnP)cpalldAx/xonoffnP,whichresultsinmanyfixedpointtheoremstodealwithvariousproblems.AsimpleanalysisofthemethodofdefiningtheindexrevealsthattherestrictionthatAmapsfinPtoPitselfisessential.FOrdetailswereferto[1,pp.286--291]andtheintroductionsectionof[2].Hereafter,wewillsaythatsllchmappingsareconemappings.On…     

代数函数域的一些Artin-Schreier型扩张相伴的Riemann-Roch空间

阐明给定代数函数域上一些除子的Riemann-Roch空间是代数几何码构造的基础.给出代数函数域的一些Artin-Schreier型扩张的Riemann-Roch空间的一组基,并应用于编码理论,得到F_(16)上参数分别是[54,43,5],[54,41,7],[54,40,8]的代数几何码.     

尾年金分布的存在性和结构

本文主要是在年金分布的基础上, 推广、定义并研究了一类$r$尾年金分布的存在性和结构, 给出了这类分布的存在性条件, 证明了在一定条件下, $r$尾年金分布是年金分布与某一特殊$r$尾年金分布的混合.     

多维平稳时间序列积分谱图的不变原理

用积分周期图估计平稳时间序列的谱函数，不论是高斯序列还是非高斯序列，其误差过程的不变原理都已被证明，许重光采用自迥归谱估计的积分估计谱函数也证明了误差过程的不变原理成立。本文讨论多维平稳时间序列，引进积分谱图来估计谱函数，证明了误差过程的不变原理在较弱的条件下成立。积分周期图是积分谱图的特例，因而［１］［３］［６］的一些结果是本文有关定理的特例。     

矩阵乘积之Schur补的奇异值估计

0引言矩阵特征值和奇异值的估计,在数值代数、线性系统及控制论、力学等学科中有着十分重要的应用.中外学者获得了许多著名结果,但对Schur补的特征值及奇异值的估计则较困难.我国学者王伯英等得到了矩阵Hadamard之积的Schur补不等式及广义Schur余不等式,刘建州等给出了矩阵乘积的Schur补的奇异值估计.本文改进和推广了文献[2]、[4]和[5]中的一些不等式.     

BMO空间中f与f_N的范数比较

ＢＭＯ空间中ｆ与ｆ_Ｎ的范数比较刘为铨（安徽芜湖师专）设ｆ（ｘ）为定义于Ｒ上的局部可积函数，Ｑ为Ｒ中的任一立方体。｜Ｑ｜为Ｑ的Ｌｅｂｅｓｅｕｅ测度，ｆ（Ｘ）在Ｑ上的平均值记作若ｆ（Ｘ）满足条件则称人工）为有界平均振动函数，一切有界平均振动函数所构成的?..     

Composition operators on μ-Bloch type spaces

We characterize boundedness, closedness of the range and compactness for composition operators acting on μ-Bloch spaces, where μ is a positive continuous function defined on the interval 0 < t ≤ 1, that satisfy certain holomorphic extension properties. This extends results that appear in [15],[17],[8],[3].     

RELAXATION SOLVERS FOR IDEAL MHD EQUATIONS-A REVIEW

We have developed approximate Riemann solvers for ideal MHD equations based on a relaxation approach in [4], [5]. These lead to entropy consistent solutions with good properties like guaranteed positive density. We describe the extension to higher order and multiple space dimensions. Finally we show our implementation of all this into the astrophysics code FLASH.     

WEAK CONVERGENCE OF SOME DIRICHLET SERIES

1 Besicovitch Inner ProductIll this paper, we consider Dirichlet serie8where an, tL = 1, 2,' ', are complex nunlbers. They are Besicovitch almost periodic functionsWe see the 8ystenl {e.(t); e.(t) = e--it Iog 1l, 71 = l, 2,' .} fOrnis a1l orthollor11la1 systelll witl1respect to tI1e BesicovitcI1 iIl1ler productThell we call fOrm the gelleralized trigouolnetrical polynolIlialsAccording to tl1e idea developed il1 [l],[2], auy Dirichlet seriesis weakly convergent over K witll respect to …