一种新的逼近精确罚函数的罚函数及性质

针对可微非线性规划问题提出了一个新的逼近精确罚函数的罚函数形式,给出了近似逼近算法与渐进算法,并证明了近似算法所得序列若有聚点,则必为原问题最优解. 在较弱的假设条件下,证明了算法所得的极小点列有界,且其聚点均为原问题的最优解,并得到在Mangasarian-Fromovitz约束条件下,经过有限次迭代所得的极小点为可行点.     

一维单个守恒律的一类二阶、几乎熵耗散的格式

本文考虑一维单个守恒律方程，对其设计了一个基于熵耗散的非线性守恒型差分格式．本格式的数值流函数是Lax-Freidrichs格式和Lax-Wendroff格式数值流函数的凸组合，凸组合中的系数是由考虑耗散熵来决定的．这样在解的光滑区域内，格式几乎、甚至完全是Lax-Wendroff格式，而在解的间断处，格式几乎、甚至完全是Lax—Freidrichs格式．从而消除了间断附近的非物理振荡，实现了计算的非线性稳定性．理论分析表明本格式在解的非极值点处是二阶精度的，而在解的极值点处至少有一阶精度．数值试验表明格式是有效的．     

累积两点信息的有理逼近RALND的改进

文献[1l提出了分子分母皆为线性函数的多元有理逼近(Rational Approximation with Linear Numerator and Denominator,RALND),满意地求了非线性方程组的解和数学规划最优解,为了克服RALND的不足,使之更好地发挥作用,本文试图改进该逼近:(1)提出了更合理地筛选有理逼近解的方法;(2)证明了该逼近的单调性;(3)对于原函数在当前点与前次迭代点连线方向上方向导数符号相反的情况,分别提出了迭代求有理逼近和构造在当前点与估算点连线方向上相应的方向导数符号相同的近似有理逼近的方法;(4)提出了一个非单调的有理逼近函数;(5)通过数值计算验证了本文提出的有理逼近是有效和可行的.     

二阶非线性微分方程边值问题的同伦分析解

研究了结合变量替换应用同伦分析方法,去求解二阶非线性微分方程的两点边值问题,并得到了逼近解析解的函数级数形式.给出了应用同伦分析方法求解二阶非线性问题的三个实例,显示了同伦分析方法可以比较有效地求解非线性问题.     

一类逼近l1精确罚函数的罚函数

本文对可微非线性规划问题提出了一个渐近算法,它是基于一类逼近l1精确罚函数的罚函数而提出的,我们证明了算法所得的极小点列的聚点均为原问题的最优解,并在Mangasarian-Fromovitz约束条件下,证明了有限次迭代之后,所有迭代均为可行的,即迭代所得的极小点为可行点.     

自反严格凸Banach空间中约束极值解问题的扰动分析

借助于代数度量广义逆方面的扰动结论,同时利用一般的约束极值解问题和无约束极值问题的一个等价转化,该文在自反严格凸Banach空间中获得了具有等式约束的极值解问题的扰动估计.最后,作为主要结论的推论,该文分别考虑了不适定算子方程的极值解、最佳逼近解和点投影到线性流形等问题的扰动分析.     

与A-调和方程有关的两个结果

给出两个与A 调和方程有关的结果 .第一个结果是一类A 调和方程的很弱解可由调和函数逼近 .另一个是变分积分弱极值的充分必要条件     

非线性不等式系统带折线步的信赖域方法及其收敛性

针对一类非线性不等式系统求解的问题,利用一系列目标函数二次可微的带参数优化问题来逐次逼近非线性不等式系统的解,从而提出了针对参数最优化问题带折线步的信赖域算法．在较弱的条件下,算法的全局收敛性得到了保证．数值试验显示算法有效．     

初值函数符号对一类非线性偏微分方程解的影响

研究了一类非线性偏微分方程的极值原理,发现不含有线性项的方程的极值原理总是成立的,与初值函数的符号无关,而含有线性项的方程的极值原理受初值函数符号的影响,在初值函数非负时可以证明,而初值函数非正的时候则不成立,并利用数值解进行了验证.     

可达到和可逼近总极小点的存在性和最优性

针对积分总极值，讨论并拓展了丰满集和丰满函数的概念，研究了拟上丰满和伪上丰满函数的总极值问题. 在总极值的变差积分最优性条件下，证明了拟上丰满函数的可达到极小点和伪上丰满函数的可逼近极小点的存在性.     

非线性系统周期解不动点迭代法

本文提出一种求解非线性系统周期解的数值方法。首先对非线性自治系统和非自治系统给出不同的点映射定义。其次指出用线性映射逼近原非线性映射,而线性映射是由非线性映射插值获得的。继而求取线性映射的不动点,作为原系统不动点的近似解。如不满足精度则作为下次映射的初始点。本文还提出了研究周期解稳定性的相应方法。     

巧用极值点的化简功能解题

<正>一般说来,函数极值点是函数单调性的分界点,利用它与端点值比较可求函数的最大值、最小值,但是我们在解一些高考题及模拟题中发现,若它的作用仅限于此的话,解题会陷入僵局.其实,极值点的化简作用还没有充分挖掘出来,即极值点不仅是单调性的分界点还是导函数的零点,利用这一等式关系可以降次、化简、证明不等式等,下面采撷几例高考题及模拟题阐述之.     

非线性抛物组非均匀网格差分解的唯一性和稳定性

１．引言 １．对一维非线性抛物组,在文献山中已构造一般非均匀网格差分格式,其中差分逼近的组合系数对不同的网格点和不同的网格层可以不同,并且运用不动点原理证明了差分解的存在性和收敛性．在非均匀网格差分格式中差分逼近的组合系数为常数的情形,文献［２］证明了具有有界二阶差商的离散向量解的存在性、唯一性和稳定性．本文将对文献［１］中构造的一般非均匀网格差分格式,证明所得到的差分解的唯一性和稳定性． 考虑如下非线性抛物组其中是未知的ｍ－维向量函数是给定的矩阵函数,ｊ（ｘ,ｔ,ｕ,ｐ）。是给定的ｍ－维向量函数…     

例析设而不求解答奇数问题

<正>我们知道,超越方程中学阶段学生难以求出具体的实根,但在导数问题中,经常会遇到两类问题.第一类,解题过程中需用到函数的零点,当我们把函数的零点转化为方程的根的时候,面对超越方程,难以求出其实根.第二类,在可导函数极值问题中,首先求导,令导数为零,求出可疑极值点.但有些函数的导函数为超越函数,其零点(可疑极值点)难以求出.     

非线性互补约束均衡问题的一个SQP算法

提出了一个求解非线性互补约束均衡问题(MPCC)的逐步逼近光滑SQP算法.通过一系列光滑优化来逼近MPCC.引入l<,1>精确罚函数,线搜索保证算法具有全局收敛性.进而,在严格互补及二阶充分条件下,算法是超线性收敛的.此外,当算法有限步终止,当前迭代点即为MPEC的一个精确稳定点.     

广义超解析函数论的非线性Haseman边值问题

在平面E内考虑一阶偏微分方程 Dω Aω B(?)=0,(*) 其中D是Douglis微分算子,A,B和ω都是E内的超复函数,称方程(*)的正规解为广义超解析函数。本文对于广义超解析函数研究其非线性Haseman边值问题的可解性。在线性Haseman边值问题的已有结果的基础上,利用逐次逼近法和连续性方法相结合,证明了所提的非线性Haseman边值问题有唯一解。     

近似逼近l_1精确罚函数的罚函数

本文对可微非线性规划问题提出了一类新的近似渐近算法与一类渐近算法,它们都是基于一类逼近l1精确罚函数的罚函数而提出的.并证明了近似算法所得序列若有聚点则其为原问题的最优解;若所得序列为无界的,则给出了序列值收敛到最优值的一个充分条件.对渐近算法,在弱的假设条件下,证明了算法所得的极小点列有界,且其聚点均为原问题的最优解.并在Mangasarian-Fromovitz约束条件下,证明了有限次迭代之后,所有迭代均为可行的,即迭代所得的极小点为可行点.     

Banach空间中非线性Volterra积分方程解的存在性和比较定理

本文以非紧致测度为工具,进一步研究了Banaeh空间中非线性Volterra积分方程解的存在性和比较结果,在解的存在性准则中我们取消了核函数的一致连续性这一实质性的条件,在极值解的存在性和比较结果中我们也对以往的结果做了许多改进(参见文[1-4]).     

非线性电报方程组的3个双周期正解问题

主要考虑了带有双周期边值条件的耦合的非线性电报方程组的至少有3个双周期正解的存在性.首先利用线性电报方程的Green函数和极值原理,将非线性电报方程组解的存在性转化为算子的不动点.其次赋予非线性项一定的增长条件,然后利用有序Bamach空间锥上的Leggett-Williams不动点定理来证明算子在锥中至少存在3个不动点,即非线性电报方程组至少3个非负双周期解的存在性.     

输油管线的最优设计方案

以输油管线铺设费用最省为目标,通过建立非线性规划数学模型,得到了不同情形下管线铺设的最优设计方案.综合运用多元函数极值和三角函数相关知识得出了模型的精确解.