Necessary Condition for a Strong Relative Minimum for Singular Optimal Control

A necessary condition is developed for a strong relative minimum for a first-order singular optimal control. It is shown that the strong condition is identical with the existing weak condition, namely, the generalized Legendre-Clebsch condition. It is conjectured that the strong condition for a second-order singular control will be the same as the corresponding weak condition.     

A sufficient condition and a necessary condition for the diffusion approximations of multiclass queueing networks under priority service disciplines

We establish a sufficient condition for the existence of the (conventional) diffusion approximation for multiclass queueing networks under priority service disciplines. The sufficient condition relates to a sufficient condition for the weak stability of the fluid networks that correspond to the queueing networks under consideration. In addition, we establish a necessary condition for the network to have a continuous diffusion limit; the necessary condition is to require a reflection matrix (of dimension equal to the number of stations) to be completely-S. When applied to some examples, including generalized Jackson networks, single station multiclass queues, first-buffer-first-served re-entrant lines, a two-station Dai–Wang network and a three-station Dumas network, the sufficient condition coincides with the necessary condition.     

A criterion for checking if a convex set belongs to the union of a finite number of convex sets

A necessary and sufficient condition for the inclusion of a convex compact set in the union of a finite number of convex sets is proved. This condition obtained using the convex analysis techniques is a condition on the maximin of a given function. Using the dynamic programming, checking this condition is reduced to evaluating a set of functions and checking a condition for their values. The reduced form of the criterion is more convenient from the computational point of view.     

KKT系统结构条件数与条件数的比较

本文讨论Karush-Kuhn_Tucker(KKT)系统的条件数．首先利用单参数展开方法建立了Byers型不等式,然后讨论结构条件数与条件数的定性比较,结果表明,在极端情形,条件数与结构条件数之比可以任意大．     

On the Palais–Smale condition

We present a new sufficient assumption weaker than the classical Ambrosetti–Rabinowitz condition which guarantees the boundedness of (PS) sequences. Moreover, we relax the standard subcritical polynomial growth condition ensuring the compactness of a bounded (PS) sequences. We also revise the Costa–Magalhaes condition [8] to obtain Cerami condition. As a consequence, some existence results derived by minimax methods were proved. Finally, we establish the existence of positive solution under the subcritical polynomial growth condition, while the strong superlinear condition is only required along an unbounded sequence. In other words, a certain degraded oscillation is allowed.     

A Note on the Type of Local von Neumann Algebras in Quantum Field Theory over Curved Space-time

It is shown that there are relations between the Connes invariant for local v. Neumann algebras belonging to different curved space-times provided these local algebras are connected by a certain asymptotic condition. This asymptotic condition is implied by a scaling limit condition as well as by a condition of connectedness by large translations.     

Characterizations by Automorphism Groups of Some Rank 3 Buildings, III. Moufang-Like Conditions

In this paper, we introduce the root-Moufang condition and the p-adic Moufang condition. We show that affine buildings of type Ã2 satisfying the root-Moufang condition are Bruhat–Tits buildings. Also, every rank 3 affine building satisfying the p-adic Moufang condition is a Bruhat-Tits building. We motivate the introduction of the new conditions by showing that all Bruhat– Tits Ã2-buildings satisfy the root-Moufang condition, and that the Ã2-buildings over a p-adic field also satisfy the p-adic Moufang condition. Another application of the p-adic Moufang condition is given in Part IV of this paper.     

On Gårding's inequality

In this paper we prove Gårding's inequality for linear differential operators in generalized divergence form which satisfy a generalized Ehrling inequality, an ellipticity condition and a condition on the coefficients. Using a compact imbedding between certain anisotropic Sobolev spaces we substitute the first condition (Ehrling's inequality) by a simple condition on a set of multi-indices.     

A new constraint qualification condition

We introduce a new constraint qualification condition in mathematical programming which encompasses the Mangasarian-Fromovitz's condition and the constant rank condition of Janin. Contrarily to the Mangasarian-Fromovitz's condition, our condition is still satisfied when one translates equalities as double inequalities. It relies on the fact that linearization stability is easier to check with equalities than with inequalities.     

参数曲线的全局凸性判别条件

基于平面曲线的二次微商,导出了二重点的判别条件,结合参数曲线的局部凸性条件,得到了参数闭曲线的充要条件。给出了参数曲线的拐点判别条件,从而得到了参数曲线局部凸的充要条件。     

A condition for diagonalization modulo arbitrary norm ideals

We give a spectral condition which is sufficient for the simultaneous diagonalization of a commuting tuple of self-adjoint operators modulo a given norm ideal. For diagonalization modulo certain norm ideals this condition is also necessary, while for other norm ideals this condition seems to be close to being necessary. Moreover, this condition is easy to verify in applications.     

关于条件极值充分条件的重新推导和证明

李文学用拉格朗日函数提出求条件极值的充分条件,但他的证明却是错误的.本文不用拉格朗日函数,而是直接通过消去一个变量将条件极值转化成无条件极值,重新推导出充分性条件.推导的过程也是条件极值充分条件的证明过程.     

The strong open set condition in the random case

To describe some fractal properties of a self-similar set or measure, such as the Hausdorff dimension and the multifractal spectrum, it is useful that it satisfy the strong open set condition, which means there is an open set satisfying the open set condition and, additionally, a part of the self-similar set must meet the open set. It is known that in the non-random case the strong open set condition and the open set condition are equivalent. This paper treats the random case. If the open set condition is assumed, we show that there is a random open set satisfying the strong open set condition. Further, we give an application to multifractal analysis of the random self-similar fractal.

     

Discrete Maximum Principle and a Delaunay-Type Mesh Condition for Linear Finite Element Approximations of Two-Dimensional Anisotropic Diffusion Problems

A Delaunay-type mesh condition is developed for a linear finite element approximation of two-dimensional anisotropic diffusion problems to satisfy a discrete maximum principle.The condition is weaker than the existing anisotropic non-obtuse angle condition and reduces to the well known Delaunay condition for the special case with the identity diffusion matrix.Numerical results are presented to verify the theoretical findings.     

An approximate strong KKT condition for multiobjective optimization

In this paper, we introduce a sequential approximate strong Karush–Kuhn–Tucker (ASKKT) condition for a multiobjective optimization problem with inequality constraints. We show that each local efficient solution satisfies the ASKKT condition, but weakly efficient solutions may not satisfy it. Subsequently, we use a so-called cone-continuity regularity (CCR) condition to guarantee that the limit of an ASKKT sequence converges to an SKKT point. Finally, under the appropriate assumptions, we show that the ASKKT condition is also a sufficient condition of properly efficient points for convex multiobjective optimization problems.     

Comparison between exact thermal boundary condition and harmonic mean conductivity condition at the solid–fluid interface for finite thickness shrouded non-isothermal fin array

A numerical study is made comparing the exact thermal boundary condition and a harmonic mean conductivity condition at the solid–fluid interface for a finite thickness shrouded non-isothermal fin array. Results highlight that there exists a significant deviation of pressure drop across the length of the fin for the exact thermal boundary condition, which is as high as 20% as compared to that obtained using the harmonic mean conductivity condition. The exact thermal boundary condition forecasts relatively more non-isothermal fin as compared to a harmonic mean conductivity condition. The greater the fin spacing the larger the non-isothermal behavior of the fin and it also depends upon Grashof number as well as inlet fluid velocity. The larger the Grashof number the greater is the non-isothermal behavior of fin. The greater the inlet velocity, the larger is the non-isothermal behavior of fin. Bulk fluid temperature is over predicted by as much as 13% by the harmonic mean conductivity condition for larger fin spacing with highest Grashof number coupled with larger velocity. This deviation is only 6% for smaller fin spacing. Overall Nusselt number is over predicted for the harmonic mean conductivity condition as compared to exact thermal boundary condition. This over prediction is limited to about 8%.     

A sufficient condition for a graph to contain three disjoint 1-factors

Ore derived a sufficient condition for a graph to contain a Hamiltonian cycle. We obtain a sufficient condition, similar to Ore's condition, for a graph to contain a Hamiltonian cycle and a 1-factor which are edge disjoint.     

Exchange properties in closure spaces

Four exchange properties, including the usual one, are discussed. Assuming the finiteness condition or a weaker condition (called minimal condition), all four are equivalent. But examples show that in general no two of the four properties are equivalent. Furthermore it is shown that all four properties and the minimal condition follow from the Existence Theorem for a basis.     

Topological and metrical conditions for Collet-Eckmann unimodal maps

1. IntroductionColletEchazann maps (i.e. every ColletEckmann maP has positive lower LyaPunovexponent at the critical value) play a very important role in the study of one dimensionaldynamical systems. They have very good metricaI and ergodic properties[ll2], for example,every COllet-Eckmann map admits an absolutely cootinuous invariani m.asur.[1].In I3,4] Benedicks and Carleson proved that Collet-Eckmann maps are abundant in theso-caJled quadratic family which is a typical family of one …     

Enhanced Karush–Kuhn–Tucker condition and weaker constraint qualifications

In this paper we study necessary optimality conditions for nonsmooth optimization problems with equality, inequality and abstract set constraints. We derive the enhanced Fritz John condition which contains some new information even in the smooth case than the classical enhanced Fritz John condition. From this enhanced Fritz John condition we derive the enhanced Karush–Kuhn–Tucker condition and introduce the associated pseudonormality and quasinormality condition. We prove that either pseudonormality or quasinormality with regularity on the constraint functions and the set constraint implies the existence of a local error bound. Finally we give a tighter upper estimate for the Fréchet subdifferential and the limiting subdifferential of the value function in terms of quasinormal multipliers which is usually a smaller set than the set of classical normal multipliers. In particular we show that the value function of a perturbed problem is Lipschitz continuous under the perturbed quasinormality condition which is much weaker than the classical normality condition.