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 un...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.展开更多
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 ...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.展开更多
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 ...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.展开更多
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 ex...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.展开更多
Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an ex...Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an examination of the fundamental solution. Furthermore,a necessary and sufficient boundary integral equation is given for the problem and compared with the conventional boundary integral equation. Numerical results show that great errors of the boundary shear stresses obtained by the conventional boundary integral equation appear with a small error of torsion stiffness. Meanwhile,the necessary and sufficient;boundary integral equation always gives accurate results.展开更多
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 mo...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.展开更多
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 ...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.展开更多
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 deduc...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.展开更多
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...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.展开更多
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 i...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.展开更多
It is difficult to judge whether a given point is a global maximizer of an unconstrained optimization problem. This paper deals with this problem by considering global information via integral and gives a necessary an...It is difficult to judge whether a given point is a global maximizer of an unconstrained optimization problem. This paper deals with this problem by considering global information via integral and gives a necessary and sufficient condition judging whether a given point is a global maximizer of an unconstrained optimization problem. An algorithm is offered under such a condition and finally two test problems are verified via the offered algorithm.展开更多
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...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.展开更多
In this paper, the concept of generalized ω-periodic solution is given for Riccati's equationy'=a(t)y^2+b(t)y+c(t)with perriodic coefficients, the relation between generalized ω-periodicsolutions and the cha...In this paper, the concept of generalized ω-periodic solution is given for Riccati's equationy'=a(t)y^2+b(t)y+c(t)with perriodic coefficients, the relation between generalized ω-periodicsolutions and the characteristic numbers of system x'_1=c(t)x_2, x'_2=-a(t)x_1-b(t)x_2 is indicated, andseveral necessary and sufficient conditions are given using the coefficients. Moreover, in the case of a(t)without zero, the relation between the number of continuous ω-periodic solutions of y'=a(t)y^2+b(t)y+c(t)+δand the parameter δ is given; thus the problem on the existence of continuous ω-periodic.solutions is basically solved.展开更多
In this paper, using Fourier series, we study the problem of the existence of periodic solutionsof a type of periodic neutral differential difference system. Some necessary and sufficient conditionsfor the existence o...In this paper, using Fourier series, we study the problem of the existence of periodic solutionsof a type of periodic neutral differential difference system. Some necessary and sufficient conditionsfor the existence of periodic solutions of a type of neutral functional equation system are obtained,and at the same time, we present a method with formula shows how to find the periodicsolutions.展开更多
In this paper, by making use of the integral method and some results of the functional differential equations, oscillatory properties of the solutions of certain parabolic partial differential equations with multi-del...In this paper, by making use of the integral method and some results of the functional differential equations, oscillatory properties of the solutions of certain parabolic partial differential equations with multi-delays are investigated and a series of necessary and sufficient conditions for oscillations of the equations are established. The results fully indicate that the oscillations are caused by the delay and hence reveal the varied difference between these equations and those without delay.展开更多
IN this letter we discuss the necessary and sufficient condition of C^0 flows on closed surfaces with isolated singular points having the pseudo-orbit tracing property. According to ref. [1], on a closed surface, ever...IN this letter we discuss the necessary and sufficient condition of C^0 flows on closed surfaces with isolated singular points having the pseudo-orbit tracing property. According to ref. [1], on a closed surface, every minimal set of a C^r(r≥2) flow is trivial, but it is possible for a C^0 flow to contain non-trivial minimal sets. Thus C^0 flows on closed surfaces are more complicated than C^r(r≥2) flows.展开更多
This paper is concerned with the problem of absolute stability for a control system with severalexecutive elements. Necessary and sufficient conditions are obtained for the existence of Liapunovfunction of Lur'e f...This paper is concerned with the problem of absolute stability for a control system with severalexecutive elements. Necessary and sufficient conditions are obtained for the existence of Liapunovfunction of Lur'e form with negative semi--definite derivative (i.e. V≤0).展开更多
In this paper the following result is obtained: Suppose f(x,u,v) is nonnegative, continuous in ( a, b)×R +×R +; f may be singular at x=a (and/or x=b ) and v=0; f is nondecreasing on u for each x,v,...In this paper the following result is obtained: Suppose f(x,u,v) is nonnegative, continuous in ( a, b)×R +×R +; f may be singular at x=a (and/or x=b ) and v=0; f is nondecreasing on u for each x,v, nonincreasing on v for each x,u; there exists a constant q∈(0,1) such that t qf(x,t -1 u,tu)f(x,u,u)λ qf(x,λ -1 u,λu),0<t<1<λ, u∈R +. Then a necessary and sufficient condition for the equation u″+f(x,u,u)=0 on the boundary condition αu(a)-βu′(a)=0, γ(b)+δu′(b)=0 to have C 1(I) nonzero solutions is that 0<∫ b af(x,e(x),e(x))dx<∞, where α,β,γ,δ are nonnegative real numbers, Δ=(b-a)αγ+αδ+βγ>0, e(x)=G(x,x), G(x,y) is Green's function of above mentioned boundary value problem (when f(x,u,v)≡0). Received September 9,1996. Revised March 31,1997. 1991 MR Subject Classification: 34B.展开更多
Yu et al. (2012) considered a certain dependent right censorship model. We show that this model is equivalent to the independent right censorship model, extending a result with continuity restriction in Williams and L...Yu et al. (2012) considered a certain dependent right censorship model. We show that this model is equivalent to the independent right censorship model, extending a result with continuity restriction in Williams and Lagakos (1977). Then the asymptotic normality of the product limit estimator under the dependent right censorship model follows from the existing results in the literature under the independent right censorship model, and thus partially solves an open problem in the literature.展开更多
文摘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.
基金Supported by the National Natural Science Foundation of China (No.29976035) and Zhejiang and Fujian Provincial Natural Science Foundation of China.
文摘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.
文摘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.
文摘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.
文摘Non-dimensionalized equations and boundary conditions are presented for the torsion problem of an anisotropic body. The error of the fundamental solution cited in some boundary element books Is pointed out after an examination of the fundamental solution. Furthermore,a necessary and sufficient boundary integral equation is given for the problem and compared with the conventional boundary integral equation. Numerical results show that great errors of the boundary shear stresses obtained by the conventional boundary integral equation appear with a small error of torsion stiffness. Meanwhile,the necessary and sufficient;boundary integral equation always gives accurate results.
文摘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.
文摘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.
基金supported by the Pre-Research Foundation of General Armament Department of China (Grant No. 6140551)
文摘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.
基金The authorwould like to thank the editor,the associate editor,and anonymous referees for their constructive corrections and valuable suggestions that improved the manuscript.The author was partially supported by Algerian PNR Project Grant 08/u07/857,ATRST-(ANDRU)2011-2013.
文摘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.
基金The work is supported by Natural Science Foundation of Heilongjiang Province of China, A0207.
文摘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.
文摘It is difficult to judge whether a given point is a global maximizer of an unconstrained optimization problem. This paper deals with this problem by considering global information via integral and gives a necessary and sufficient condition judging whether a given point is a global maximizer of an unconstrained optimization problem. An algorithm is offered under such a condition and finally two test problems are verified via the offered algorithm.
基金supported by the National Natural Science Foundation of China(61872316)the Natural Science Foundation of Zhejiang Province,China(LY19F020004)
文摘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.
文摘In this paper, the concept of generalized ω-periodic solution is given for Riccati's equationy'=a(t)y^2+b(t)y+c(t)with perriodic coefficients, the relation between generalized ω-periodicsolutions and the characteristic numbers of system x'_1=c(t)x_2, x'_2=-a(t)x_1-b(t)x_2 is indicated, andseveral necessary and sufficient conditions are given using the coefficients. Moreover, in the case of a(t)without zero, the relation between the number of continuous ω-periodic solutions of y'=a(t)y^2+b(t)y+c(t)+δand the parameter δ is given; thus the problem on the existence of continuous ω-periodic.solutions is basically solved.
文摘In this paper, using Fourier series, we study the problem of the existence of periodic solutionsof a type of periodic neutral differential difference system. Some necessary and sufficient conditionsfor the existence of periodic solutions of a type of neutral functional equation system are obtained,and at the same time, we present a method with formula shows how to find the periodicsolutions.
文摘In this paper, by making use of the integral method and some results of the functional differential equations, oscillatory properties of the solutions of certain parabolic partial differential equations with multi-delays are investigated and a series of necessary and sufficient conditions for oscillations of the equations are established. The results fully indicate that the oscillations are caused by the delay and hence reveal the varied difference between these equations and those without delay.
文摘IN this letter we discuss the necessary and sufficient condition of C^0 flows on closed surfaces with isolated singular points having the pseudo-orbit tracing property. According to ref. [1], on a closed surface, every minimal set of a C^r(r≥2) flow is trivial, but it is possible for a C^0 flow to contain non-trivial minimal sets. Thus C^0 flows on closed surfaces are more complicated than C^r(r≥2) flows.
文摘This paper is concerned with the problem of absolute stability for a control system with severalexecutive elements. Necessary and sufficient conditions are obtained for the existence of Liapunovfunction of Lur'e form with negative semi--definite derivative (i.e. V≤0).
文摘In this paper the following result is obtained: Suppose f(x,u,v) is nonnegative, continuous in ( a, b)×R +×R +; f may be singular at x=a (and/or x=b ) and v=0; f is nondecreasing on u for each x,v, nonincreasing on v for each x,u; there exists a constant q∈(0,1) such that t qf(x,t -1 u,tu)f(x,u,u)λ qf(x,λ -1 u,λu),0<t<1<λ, u∈R +. Then a necessary and sufficient condition for the equation u″+f(x,u,u)=0 on the boundary condition αu(a)-βu′(a)=0, γ(b)+δu′(b)=0 to have C 1(I) nonzero solutions is that 0<∫ b af(x,e(x),e(x))dx<∞, where α,β,γ,δ are nonnegative real numbers, Δ=(b-a)αγ+αδ+βγ>0, e(x)=G(x,x), G(x,y) is Green's function of above mentioned boundary value problem (when f(x,u,v)≡0). Received September 9,1996. Revised March 31,1997. 1991 MR Subject Classification: 34B.
文摘Yu et al. (2012) considered a certain dependent right censorship model. We show that this model is equivalent to the independent right censorship model, extending a result with continuity restriction in Williams and Lagakos (1977). Then the asymptotic normality of the product limit estimator under the dependent right censorship model follows from the existing results in the literature under the independent right censorship model, and thus partially solves an open problem in the literature.