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.     

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

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

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.     

A new necessary condition for optimality of systems with time delay

A new necessary condition for optimality of nonsingular control problems with time delay is developed. This condition accounts for the interaction of the different delays in the control vector. A necessary condition for optimality of singular control problems with time delay is also obtained as a corollary of the new condition.     

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%.     

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.     

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.     

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.     

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

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

Optimal control with delays and mixed initial condition

This paper studies optimal control problems with unfixed initial instant for systems described by differential equations with variables delays and mixed initial condition. The mixed initial condition means that at the initial instant of time, some coordinates of the trajectory do not coincide with the corresponding coordinates of the initial function (a discontinuous part of the initial condition), whereas the others coincide (a continuous part of the initial condition). The authors prove necessary optimality conditions for the control and the initial function for the initial and final instants of time. From these conditions should be isolated the condition for the initial instant containing the effect of mixed initial condition. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 58, Optimal Control, 2008.     

On the Existence Of Consistent Price Systems

We formulate a sufficient condition for the existence of a consistent price system (CPS), which is weaker than the conditional full support condition (CFS). We use the new condition to show the existence of CPSs for certain processes that fail to have the CFS property. In particular this condition gives sufficient conditions, under which a continuous function of a process with CFS admits a CPS, while the CFS property might be lost.     

A linear perturbed Palais-Smale condition for lower semicontinuous functions on Banach spaces

This paper introduces a notion of linear perturbed Palais-Smale condition for real-valued functions on Banach spaces. In terms of strongly exposed points, it presents a characterization which guarantees linear perturbed Palais-Smale condition holds for lower semicontinuous functions with bounded effective domains defined on a Banach space with the Radon-Nikody＇m property; and gives an example showing that linear perturbed P-S condition is strictly weaker than the P-S condition.     

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.     

A Class of Potentials for Which Exact Semiclassical Quantization Can Be Achieved

We consider a class of potentials for which the exact semiclassical quantization is achieved by a certain modification of the quantization condition. A list of potentials for which the new quantization condition is exact coincides with the list of potentials for which the spectrum is determined by the factorization method. We construct a one-parameter family of quantization conditions including the supersymmetric WKB condition as a special case. The new condition allows considering the interrelations between different modifications of the leading approximation and their validity ranges and also allows developing new approximate methods for calculating spectra.     

Oscillation and attractivity of discrete nonlinear delay population model

In this paper, we consider the discrete nonlinear delay model which describe the control of a single population of cells. We establish a sufficient condition for oscillation of all positive solutions about the positive equilibrium point and give a sufficient condition for the global attractivity of the equilibrium point. The oscillation condition guarantees the prevalence of the population about the positive steady sate and the global attractivity condition guarantees the nonexistence of dynamical diseases on the population.     

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.     

Mixed,componentwise condition numbers and small sample statistical condition estimation of Sylvester equations

We present a componentwise perturbation analysis for the continuous‐time Sylvester equations. Componentwise, mixed condition numbers and new perturbation bounds are derived for the matrix equations. The small sample statistical method can also be applied for the condition estimation. These condition numbers and perturbation bounds are tested on numerical examples and compared with the normwise condition number. The numerical examples illustrate that the mixed condition number gives sharper bounds than the normwise one. Copyright © 2011 John Wiley & Sons, Ltd.     

The nonlinear boundary layer to the Boltzmann equation with mixed boundary conditions for hard potentials

In this paper, the existence of boundary layer solutions to the Boltzmann equation for hard potential with mixed boundary condition, i.e., a linear combination of Dirichlet boundary condition and diffuse reflection boundary condition at the wall, is considered. The boundary condition is imposed on the incoming particles, and the solution is supposed to approach to a global Maxwellian in the far field. As for the problem with Dirichlet boundary condition (Chen et al., 2004 [5]), the existence of a solution highly depends on the Mach number of the far field Maxwellian. Furthermore, an implicit solvability condition on the boundary data which shows the codimension of the boundary data is related to the number of the positive characteristic speeds is also given.