Necessary Conditions and Sufficient Conditions for Optimality

Author(s):  
Dean A. Carlson ◽  
Alain B. Haurie ◽  
Arie Leizarowitz
Complexity ◽  
2020 ◽  
Vol 2020 ◽  
pp. 1-5
Author(s):  
Ruimin Xu ◽  
Rongwei Guo

In this paper, we study the necessary conditions as well as sufficient conditions for optimality of stochastic SEIR model. The most distinguishing feature, compared with the well-studied SEIR model, is that the model system follows stochastic differential equations (SDEs) driven by Brownian motions. Hamiltonian function is introduced to derive the necessary conditions. Using the explicit formulation of adjoint variables, desired necessary conditions for optimal control results are obtained. We also establish a sufficient condition which is called verification theorem for the stochastic SEIR model.


1968 ◽  
Vol 8 (1) ◽  
pp. 114-118 ◽  
Author(s):  
A. W. J. Stoddart

In [4], Hanson has obtained necessary conditions and sufficient conditions for optimality of a program in stochastic systems. However, in many cases, especially in a general treatment, a program satisfying these conditions cannot be determined explicitly, so that the question of existence of an optimal program in such systems is significant. In this paper, we obtain conditions sufficient for existence of an optimal program by applying the direct methods of the calculus of variations [9], [6] and the theory of optimal control [7], [5].


2020 ◽  
Vol 18 (1) ◽  
pp. 1540-1551
Author(s):  
Jung Wook Lim ◽  
Dong Yeol Oh

Abstract Let ({\mathrm{\Gamma}},\le ) be a strictly ordered monoid, and let {{\mathrm{\Gamma}}}^{\ast }\left={\mathrm{\Gamma}}\backslash \{0\} . Let D\subseteq E be an extension of commutative rings with identity, and let I be a nonzero proper ideal of D. Set \begin{array}{l}D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] := \left\{f\in [\kern-2pt[ {E}^{{\mathrm{\Gamma}},\le }]\kern-2pt] \hspace{0.15em}|\hspace{0.2em}f(0)\in D\right\}\hspace{.5em}\text{and}\\ \hspace{0.2em}D+[\kern-2pt[ {I}^{{\Gamma }^{\ast },\le }]\kern-2pt] := \left\{f\in [\kern-2pt[ {D}^{{\mathrm{\Gamma}},\le }]\kern-2pt] \hspace{0.15em}|\hspace{0.2em}f(\alpha )\in I,\hspace{.5em}\text{for}\hspace{.25em}\text{all}\hspace{.5em}\alpha \in {{\mathrm{\Gamma}}}^{\ast }\right\}.\end{array} In this paper, we give necessary conditions for the rings D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively ordered, and sufficient conditions for the rings D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively totally ordered. Moreover, we give a necessary and sufficient condition for the ring D+[\kern-2pt[ {I}^{{\Gamma }^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively totally ordered. As corollaries, we give equivalent conditions for the rings D+({X}_{1},\ldots ,{X}_{n})E{[}{X}_{1},\ldots ,{X}_{n}] and D+({X}_{1},\ldots ,{X}_{n})I{[}{X}_{1},\ldots ,{X}_{n}] to be Noetherian.


2020 ◽  
Vol 18 (1) ◽  
pp. 1164-1172
Author(s):  
Jian Zhou ◽  
Shiyin Zhao

Abstract In this paper, firstly, we study the structural form of reflective integral for a given system. Then the sufficient conditions are obtained to ensure there exists the reflective integral with these structured form for such system. Secondly, we discuss the necessary conditions for the equivalence of such systems and a general three-dimensional differential system. And then, we apply the obtained results to the study of the behavior of their periodic solutions when such systems are periodic systems in t.


10.37236/3414 ◽  
2013 ◽  
Vol 20 (4) ◽  
Author(s):  
Sarah Behrens ◽  
Catherine Erbes ◽  
Michael Ferrara ◽  
Stephen G. Hartke ◽  
Benjamin Reiniger ◽  
...  

A sequence of nonnegative integers is $k$-graphic if it is the degree sequence of a $k$-uniform hypergraph. The only known characterization of $k$-graphic sequences is due to Dewdney in 1975. As this characterization does not yield an efficient algorithm, it is a fundamental open question to determine a more practical characterization. While several necessary conditions appear in the literature, there are few conditions that imply a sequence is $k$-graphic. In light of this, we present sharp sufficient conditions for $k$-graphicality based on a sequence's length and degree sum.Kocay and Li gave a family of edge exchanges (an extension of 2-switches) that could be used to transform one realization of a 3-graphic sequence into any other realization. We extend their result to $k$-graphic sequences for all $k \geq 3$. Finally we give several applications of edge exchanges in hypergraphs, including generalizing a result of Busch et al. on packing graphic sequences.


Author(s):  
Jing Fu ◽  
Qixing Han ◽  
Daqing Jiang ◽  
Yanyan Yang

This paper discusses the dynamics of a Gilpin–Ayala competition model of two interacting species perturbed by white noise. We obtain the existence of a unique global positive solution of the system and the solution is bounded in [Formula: see text]th moment. Then, we establish sufficient and necessary conditions for persistence and the existence of an ergodic stationary distribution of the model. We also establish sufficient conditions for extinction of the model. Moreover, numerical simulations are carried out for further support of present research.


Sign in / Sign up

Export Citation Format

Share Document