Necessary and Sufficient Conditions in Smooth Programming with Generalized Convexity

Hanson and Mond have grven sets of necessary and sufficient conditions for optimality in constrained optimization by introducing classes of generalized functions, called type Ⅰ functions. Recently, Bector definded univex functions, a new class of functions that unifies several concepts of generalized convexity. In this paper, additional conditions are attached to the Kuhn Tucker conditions giving a set of conditions which are both necessary and sufficient for optimality in constrained optimization, under appropriate constraint qualifications.

New sufficient conditions for general linear SISO Takagi-Sugeno fuzzy systems as universal approximators

By the best approximation theory, it is first proved that the SISO （single-input single-output） linear Takagi-Sugeno （TS） fuzzy systems can approximate an arbitrary polynomial which, according to Weierstrass approximation theorem, can uniformly approximate any continuous functions on the compact domain. Then new sufficient conditions for general linear SISO TS fuzzy systems as universal approximators are obtained. Formulae are derived to calculate the number of input fuzzy sets to satisfy the given approximation accuracy. Then the presented result is compared with the existing literature＇s results. The comparison shows that the presented result needs less input fuzzy sets, which can simplify the design of the fuzzy system, and examples are given to show its effectiveness.

Sufficient conditions of Rayleigh-Taylor stability and instability in equatorial ionosphere

Rayleigh-Taylor （R-T） instability is known as the fundamental mechanism of equatorial plasma bubbles （EPBs）. However, the sufficient conditions of R-T instability and stability have not yet been derived. In the present paper, the sufficient conditions of R-T stability and instability are preliminarily^derived. Linear equations for small perturbation are first obtained from the electron/ion continuity equations, momentum equations, and the current continuity equation in the equatorial ionosphere. The linear equations can be casted as an eigenvalue equation using a normal mode method. The eigenvalue equation is a variable coefficient linear equation that can be solved using a variational approach. With this approach, the sufficient conditions can be obtained as follows： if the minimum systematic eigenvalue is greater than one, the ionosphere is R-T unstable; while if the maximum systematic eigenvalue is less than one, the ionosphere is R-T stable. An approximate numerical method for obtaining the systematic eigenvalues is introduced, and the R-T stable/unstable areas are calculated. Numerical experiments axe designed to validate the sufficient conditions. The results agree with the derived suf- ficient conditions.

Necessary and Sufficient Conditions for Reactive Azeotropes in Multi-reaction Mixtures in Terms of Elemental Composition

Necessary and sufficient conditions for azeotropy in reactive mixtures are derived in terms of elemental composition, which shows that in the space of elemental compositions, they take the same functional form as the conditions for azeotropy in non-reactive mixtures. The production of methyl tert-butyl ether (MTBE) is taken as an example. It is found that there are a 'pseudo' intermediate-boiling ternary reactive azeotrope at p = 101.325kPa and two 'real' ternary reactive azeotropes at p = 101.325 Pa. The introduced elemental compositions also reduce the dimensionality of the phase diagrams and provide a natural set of variables for visualization of phase behavior.

SIMPLE SUFFICIENT CONDITIONS OF NONSINGULAR H-MATRICES

1 IntroductionH-matrices have important role in numerical analysis and matrix theory,etc.In thispaper,several practical criteria for H-matrices are obtained,to which the matrix is notnecessary be a diagonally dominant matrix,and the numbers of rows which are not diago-nal dominant can be n-1.We introduce the concept of α-diagonally dominant matrix,andby using the concept to investigate H-matrices.

NECESSARY AND SUFFICIENT CONDITIONS OF EXISTENCE AND UNIQUENESS OF LIMIT CYCLES FOR A CLASS OF POLYNOMIAL SYSTEM

In this paper, we discuss the limit cycles of the systemdx/dt=y·[1+(A(x)]oy/dt=(-x+δy+α_1x^2+α_2xy+α_5x^2y)[1+B(x)] (1)where A(x)=sum form i=1 to n(a_ix~), B(x)=sum form j=1 to m(β_jx^j) and 1+B(x)>0. We prove that (1) possesses at most one limit cycle and give out the necessary and sufficient conditions of existence and uniqueness of limit cycles.

A SUFFICIENT CONDITION OF CONVERGENCE FOR CLIFFORD CONTINUED FRACTIONS

In this article, a sufficient condition for a Clifford continued fraction to be convergent is established, and some applications are given.

The convergence rate and necessary-and-sufficient condition for the consistency of isogeometric collocation method

Although the isogeometric collocation(IGA-C)method has been successfully utilized in practical applications due to its simplicity and efficiency,only a little theoretical results have been established on the numerical analysis of the IGA-C method.In this paper,we deduce the convergence rate of the consistency of the IGA-C method.Moreover,based on the formula of the convergence rate,the necessary and sufficient condition for the consistency of the IGA-C method is developed.These results advance the numerical analysis of the IGA-C method.

A NEW SUFFICIENT CONDITION FOR SPARSE RECOVERY WITH MULTIPLE ORTHOGONAL LEAST SQUARES

A greedy algorithm used for the recovery of sparse signals,multiple orthogonal least squares(MOLS)have recently attracted quite a big of attention.In this paper,we consider the number of iterations required for the MOLS algorithm for recovery of a K-sparse signal x∈R^(n).We show that MOLS provides stable reconstruction of all K-sparse signals x from y=Ax+w in|6K/ M|iterations when the matrix A satisfies the restricted isometry property(RIP)with isometry constantδ_(7K)≤0.094.Compared with the existing results,our sufficient condition is not related to the sparsity level K.

Sufficient conditions of the various stabilities of the linear time-varying delayed differential equations

Due to the appearance and the study of the ornithopter and flexible-wing micro air vehicles, etc., the time-varying systems become more and more important and ubiquitous in the study of the mechanics. In this letter, the sufficient conditions of the uniform asymptotic stability are first presented for the delayed time-varying linear differential equations with any time delay by employing the Dini derivative, Lozinskii measure and the generalized scalar Halanay delayed differential inequality. They are especially based on the estimation of the arbitrary solutions but not the fundamental solution matrix since their solutions＇ space is infinite-dimensional. Then some sufficient conditions of the stability, asymptotic stability and uniform asymptotic stability of the delayed time-varying linear system with a sufficiently small time delay are reported by employing Taylor expansion and Dini derivative. It implies that these stabilities can be guaranteed by the Lozinskii measure of the matrix composing of the time delay and the coefficient matrices of the system.

A NECESSARY AND SUFFICIENT CONDITION FOR THEOSCILLATION OF SOLUTIONS OF LIENARD TYPE SYSTEM WITH MULTIPLE SINGULAR POINTS

In this paper, a necessary and sufficient condition for teh solution of Lienard typesystem with muliiple singular points to oscillation under the more general assumptionis given.Results of the papers [1-4] are also extended and improved in this paper.

SUFFICIENT CONDITIONS FOR THE SOLUBILITY OF ADDITIVE INVERSE EIGENVALUE PROBLEMS

1 IntroductionLet Rn×n be the set of all n×n real matrices.Rn=Rn×1.Cn×ndenotes the set of all n×n complex matrices.We are interested in solving the following inverse eigenvalue prob-lems:Problem A （Additive inverse eigenvalue problem） Given an n×n real matrix A=(aij),and n distinct real numbers λ1,λ2,…,λn,find a real n×n diagonal matrix

A necessary and sufficient condition for positive solutions of singular fourth order boundary value problems

This paper deals with the existence of positive solutions for the singular fourth order boundary value problem.A necessary and sufficient condition for the existence of C3 positive solution is given by means of the monotone iterative technique.Furthermore,the uniqueness of the C3 positive solution,and the iterative sequence of the C3 positive solution are also obtained.

ON THE NECESSARY AND SUFFICIENT CONDITIONS TO SOLVE A HEAT EQUATION WITH GENERAL ADDITIVE GAUSSIAN NOISE

In this note, we consider stochastic heat equation with general additive Gaussian noise. Our aim is to derive some necessary and sufficient conditions on the Gaussian noise in order to solve the corresponding heat equation. We investigate this problem invoking two differen t met hods, respectively, based on variance compu tations and on pat h-wise considerations in Besov spaces. We are going to see that, as anticipated, both approaches lead to the same necessary and sufficient condition on the noise. In addition, the path-wise approach brings out regularity results for the solution.

Some Necessary and Sufficient Condition of Multivariate Random Variable Satisfy Normal Distribution

In this paper,we extended some results of article[1],obtain some sufficient and necessary condition which multivariate random variable satisfy normal distribution.

Necessary and sufficient condition for the comparison theorem of multidimensional anticipated backward stochastic differential equations

Anticipated backward stochastic differential equations, studied the first time in 2007, are equations of the following type:{-dY t = f(t1, Y t1 , Z t1 , Y t+δ(t) , Z t+ζ(t) )dt Z t dB t1 , t ∈ [0, T ], Y t = ξ t1 , t ∈ [T, T + K], Z t = η t1 , t ∈ [T, T + K].In this paper, we give a necessary and sufficient condition under which the comparison theorem holds for multidimensional anticipated backward stochastic differential equations with generators independent of the anticipated term of Z.

Necessary and sufficient conditions of the rendezvous between a single spacecraft and three non-coplanar Walker constellation satellites

The probability of the rendezvous between a single spacecraft and three non-coplanar constellation satellites is studied,and the necessary and sufficient conditions of the rendezvous without orbital maneuver are deduced.The rendezvous orbit design can be transformed into the patching of two spacecraft orbits,either of which can achieve the rendezvous with two satellites.Firstly,due to the precious quality of spherical geometry,the unique existence of the rendezvous orbit for two constellation satellites is proved.Then,according to the difference between equispaced and non-equispaced orbital planes of three satellites,the necessary and sufficient conditions are given respectively,and the calculating method of the spacecraft orbit is proposed.At last,the constraint conditions between two different rendezvous orbits is derived,while the relative position of two groups of objects are under specific distribution.The results can be applied to the rendezvous between a single spacecraft and multiple constellation satellites without orbital maneuver.

Analogues of Hadwiger's Theorem in Space IR^n—Sufficient Conditions for a Convex Domain to Enclose Another

We estimate the kinematic measure of one convex domain moving to another under the group G of rigid motions in IR~n.We first estimate the kinematic formula for the total scalar curvature ∫Rdv of the n-2 dimensional intersection submanifold D∩g D.Then we use Chern and Yen’s kinematic fundamental formula and our integral inequality to obtain a sufficient condition for one convex domain to contain another in IR~n(≥4).For n=4,we directly obtain another sufficient condition in IR~4.

A Mean-Field Necessary and Sufficient Conditions for Optimal Singular Stochastic Control

This paper studies singular optimal control problems for systems described by nonlinear-controlled stochastic differential equations of mean-field type(MFSDEs in short),in which the coefficients depend on the state of the solution process as well as of its expected value.Moreover,the cost functional is also of mean-field type.The control variable has two components,the first being absolutely continuous and the second singular.We establish necessary as well as sufficient conditions for optimal singular stochastic control where the system evolves according to MFSDEs.These conditions of optimality differs from the classical one in the sense that here the adjoint equation turns out to be a linear mean-field backward stochastic differential equation.The proof of our result is based on convex perturbation method of a given optimal control.The control domain is assumed to be convex.A linear quadratic stochastic optimal control problem of mean-field type is discussed as an illustrated example.

A NECESSARY AND SUFFICIENT CONDITION FOR ASYMPTOTIC STABILITY OF A FIRST ORDER DELAY EQUATION WITH TWO DELAYS

Consider the following equationwhere 6, c and τ are constants, and τ > 0, bc ≠ 0. In this paper, we establish a necessary and sufficient condition for zero solution of Eq.(*) to be asymptotically stable, which is easy to verify and apply.