Sufficiency for Optimal Control Problems Involving Parameters

The optimal control problem is extended to the case where the performance index, the differential constraints, and the prescribed final conditions contain parameters. The sufficient condition for a minimum is derived for nonsingular problems using the sweep method. As expected, it involves the finiteness of a matrix or the location of the conjugate point. The minimum-time navigation problem is solved as a fixed final time problem to illustrate the application of the theory.     

Necessary Optimality Conditions for Some Control Problems of Elliptic Equations with Venttsel Boundary Conditions

In this paper we derive a necessary optimality condition for a local optimal solution of some control problems. These optimal control problems are governed by a semi-linear Vettsel boundary value problem of a linear elliptic equation. The control is applied to the state equation via the boundary and a functional of the control together with the solution of the state equation under such a control will be minimized. A constraint on the solution of the state equation is also considered.     

一类具有转移条件的向量Sturm-Liouville问题的特征值

考虑了一类具有转移条件的向量Sturm-Liouville问题的特征值及其重数问题.首先构造了与问题相关的新内积和基本解,得到特征值的充要条件.在此基础上证明了二维情况下,问题特征值的代数重数与几何重数相等.     

非凸多目标优化模型的一类鲁棒逼近最优性条件

通过引入一类非凸多目标不确定优化问题，借助鲁棒优化方法，先建立了该不确定多目标优化问题的鲁棒对应模型；再借助标量化方法和广义次微分性质，刻画了该不确定多目标优化问题的鲁棒拟逼近有效解的最优性条件，推广和改进了相关文献的结论.     

强预不变凸函数的充要条件

本文讨论了强预不变凸函数与预不变凸函数、严格预不变凸函数及半严格预不变凸函数之间的关系,得到它的三个充要条件：(i)在一定条件下,f是强预不变凸函数的充分必要条件是f是预不变凸函数且f满足中间点强预不变凸性；(ii)在一定条件下,f是强预不变凸函数的充分必要条件是f是严格预不变凸函数且f满足中间点强预不变凸性；(iii)在一定条件下,f是强预不变凸函数的充分必要条件是f是半严格预不变凸函数且f满足中间点强预不变凸性．     

强预拟不变凸函数的充要条件

本文引入了一类新的广义凸函数—强预拟不变凸函数.讨论了强预拟不变凸函数与预拟不变凸函数、严格预拟不变凸函数及半严格预拟不变凸函数之间的关系,得到它的三个充要条件:(i)当条件P_1满足时,f是强预拟不变凸函数的充分必要条件是f是预拟不变凸函数且f满足中间点强预拟不变凸性;(ii)当条件P_2满足时,f是强预拟不变凸函数的充分必要条件是f是严格预拟不变凸函数且f满足中间点强顶拟不变凸性;(iii)当条件P_2满足时,f是强预拟不变凸函数的充分必要条件是f是半严格预拟不变凸函数且f满足中间点强预拟不变凸性.     

Generating Hard Test Instances with Known Optimal Solution for the Rectilinear Quadratic Assignment Problem

In this paper we consider the rectilinear version of the quadratic assignment problem (QAP). We define a class of edge-weighted graphs with nonnegatively valued bisections. For one important type of such graphs we provide a characterization of point sets on the plane for which the optimal value of the related QAP is zero. These graphs are used in the algorithms for generating rectilinear QAP instances with known provably optimal solutions. The basic algorithm of such type uses only triangles. Making a reduction from 3-dimensional matching, it is shown that the set of instances which can be generated by this algorithm is hard. The basic algorithm is extended to process graphs larger than triangles. We give implementation details of this extension and of four other variations of the basic algorithm. We compare these five and also two existing generators experimentally employing multi-start descent heuristic for the QAP as an examiner. The graphs with nonnegatively valued bisections can also be used in the construction of lower bounds on the optimal value for the rectilinear QAP.     

奇异黎曼度量之下的分支问题的d-充分性

本文利用奇异黎曼度给出了分支问题是d-充分性的特征,推广了文献[2],[4]中的有关结果.     

Second-Order Necessary Optimality Conditions for Some State-Constrained Control Problems of Semilinear Elliptic Equations

In this paper we are concerned with some optimal control problems governed by semilinear elliptic equations. The case of a boundary control is studied. We consider pointwise constraints on the control and a finite number of equality and inequality constraints on the state. The goal is to derive first- and second-order optimality conditions satisfied by locally optimal solutions of the problem. Accepted 6 May 1997     

Existence and Uniqueness for Some 3rd Order Dissipative Problems with Various Boundary Conditions

We briefly present new results on the existence and uniqueness of solutions u of a large class of initial-boundary-value problems characterized by a quasi-linear third order equation on a finite space interval with Dirichlet, Neumann or pseudoperiodic boundary conditions. The class includes equations arising in Superconductor Theory and in the Theory of Viscoelastic Materials.     

Coercivity Conditions for Equilibrium Problems

The study of the existence of solutions of equilibrium problems on unbounded domains involves usually the same sufficient assumptions as for bounded domains together with a coercivity condition. We focus on two different conditions: the first is obtained assuming the existence of a bounded set such that no elements outside is a candidate for a solution; the second allows the solution set to be unbounded. Our results exploit the generalized monotonicity properties of the function f defining the equilibrium problem. It turns out that, in both the pseudomonotone and the quasimonotone setting, an equivalence can be stated between the nonemptyness and boundedness of the solution set and these coercivity conditions. In the pseudomonotone case, we compare our coercivity conditions with various coercivity conditions that appeared in the literature.We thank an anonymous referee for valuable comments and suggestions.     

The Volterra Property of Some Problems with the Bitsadze-Samarskii-Type Conditions for a Mixed Parabolic-Hyperbolic Equation

We consider problems with the Bitsadze-Samarskii-type conditions for a mixed parabolic-hyperbolic equation with noncharacteristic type change curve. We prove theorems on the unique existence of regular and strong solutions and the Volterra property for the problems under consideration.Original Russian Text Copyright © 2005 Berdyshev A. S.__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 500–510, May–June, 2005.     

Jacobson猜想成立的某些充分条件

Jacobson在文献[1]给出了一个猜想:若(L,[p])为限制李代数,且x^[p]n(x)=x,?x∈L,n(x)>0,则L是交换李代数.至今为止,人们还不知此猜想是否正确.本文分别证明这个猜想在p映射为p半线性映射或者域F为代数闭域条件下的正确性.     

解析函数的p叶性条件

本文指出 Ｍ．Ｊａｈａｎｇｉｒｉ的评论［Ｍａｔｈｅｍａｔｉｃａｌ Ｒｅｖｉｅｗｓ　９８ｅ：３００２０］错误，并且导出解析函数ｐ叶星形性与ｐ叶凸性的某些充分条件．     

H-矩阵的一组新判定

非奇H矩阵在众多领域有着重要的应用,但其判别却很困难.本文给出了非奇异H-矩阵若干个新的判据.推广了近期的相应结果.     

广义H-矩阵的一组充分条件

利用矩阵的连续过渡、子矩阵的谱半径估计等方法,研究了正定条件下的广义H-矩阵的判别法．给出了判定正定条件下广义H-矩阵的几个充分条件,当块矩阵退化为点矩阵时,这些条件即为非奇异H-矩阵的充分条件．