scholarly journals The optimality principle for second-order discrete and discrete-approximate inclusions

2021 ◽  
Vol 11 (2) ◽  
pp. 206-215
Author(s):  
Sevilay Demir Sağlam
Keyword(s):  
Differential Inclusions ◽  
Sufficient Conditions ◽  
Approximation Problem ◽  
Second Order ◽  
Equivalence Relations ◽  
Transversality Conditions ◽  
Mayer Problem ◽  
Set Valued Mapping ◽  
Nonlinear Inequality ◽  
Equivalence Theorems

This paper deals with the necessary and sufficient conditions of optimality for the Mayer problem of second-order discrete and discrete-approximate inclusions. The main problem is to establish the approximation of second-order viability problems for differential inclusions with endpoint constraints. Thus, as a supplementary problem, we study the discrete approximation problem and give the optimality conditions incorporating the Euler-Lagrange inclusions and distinctive transversality conditions. Locally adjoint mappings (LAM) and equivalence theorems are the fundamental principles of achieving these optimal conditions, one of the most characteristic properties of such approaches with second-order differential inclusions that are specific to the existence of LAMs equivalence relations. Also, a discrete linear model and an example of second-order discrete inclusions in which a set-valued mapping is described by a nonlinear inequality show the applications of these results.

scholarly journals Optimality conditions for higher order polyhedral discrete and differential inclusions

Filomat ◽  
2020 ◽  
Vol 34 (13) ◽  
pp. 4533-4553
Author(s):  
Sevilay Demir Sağlam ◽  
Elimhan Mahmudov
Keyword(s):  
Differential Inclusions ◽  
Sufficient Conditions ◽  
Inequality Constraints ◽  
Approximation Problem ◽  
Numerical Approach ◽  
Higher Order ◽  
Necessary And Sufficient Conditions ◽  
Transversality Conditions ◽  
Linear Inequality Constraints ◽  
Necessary And Sufficient

The problems considered in this paper are described in polyhedral multi-valued mappings for higher order(s-th) discrete (PDSIs) and differential inclusions (PDFIs). The present paper focuses on the necessary and sufficient conditions of optimality for optimization of these problems. By converting the PDSIs problem into a geometric constraint problem, we formulate the necessary and sufficient conditions of optimality for a convex minimization problem with linear inequality constraints. Then, in terms of the Euler-Lagrange type PDSIs and the specially formulated transversality conditions, we are able to obtain conditions of optimality for the PDSIs. In order to obtain the necessary and sufficient conditions of optimality for the discrete-approximation problem PDSIs, we reduce this problem to the form of a problem with higher order discrete inclusions. Finally, by formally passing to the limit, we establish the sufficient conditions of optimality for the problem with higher order PDFIs. Numerical approach is developed to solve a polyhedral problem with second order polyhedral discrete inclusions.

scholarly journals Existence Results for Second Order Nonconvex Sweeping Processes in q-Uniformly Convex and 2-Uniformly Smooth Separable Banach Spaces

Symmetry ◽  
2018 ◽  
Vol 11 (1) ◽  
pp. 28
Author(s):  
Djalel Bounekhel ◽  
Messaoud Bounkhel ◽  
Mostafa Bachar
Keyword(s):  
Banach Spaces ◽  
Differential Inclusions ◽  
Existence Result ◽  
Lipschitz Continuity ◽  
Second Order ◽  
Uniformly Convex ◽  
Set Valued Mapping ◽  
Uniformly Smooth ◽  
Sweeping Processes ◽  
Regular Sets

We prove an existence result, in the separable Banach spaces setting, for second order differential inclusions of type sweeping process. This type of differential inclusion is defined in terms of normal cones and it covers many dynamic quasi-variational inequalities. In the present paper, we prove in the nonconvex case an existence result of this type of differential inclusions when the separable Banach space is assumed to be q-uniformly convex and 2-uniformly smooth. In our proofs we use recent results on uniformly generalized prox-regular sets. Part of the novelty of the paper is the use of the usual Lipschitz continuity of the set-valued mapping which is very easy to verify contrarily to the ones used in the previous works. An example is stated at the end of the paper, showing the application of our existence result.

scholarly journals Second-order efficient optimality conditions for set-valued vector optimization in terms of asymptotic contingent epiderivatives

2021 ◽  
Author(s):  
Tung Nguyen
Keyword(s):  
Optimization Problems ◽  
Sufficient Conditions ◽  
Inequality Constraints ◽  
Second Order ◽  
Set Valued Mapping ◽  
Contingent Epiderivative ◽  
Wolfe Duality ◽  
Order Constraint ◽  
Sufficient Conditions For Optimality ◽  
Second Order Necessary Conditions

We propose a generalized second-order asymptotic contingent epiderivative of a set-valued mapping, study its properties, as well as relations to some second-order contingent epiderivatives, and sufficient conditions for its existence. Then, using these epiderivatives, we investigate set-valued optimization problems with generalized inequality constraints. Both second-order necessary conditions and sufficient  conditions for optimality of the Karush-Kuhn-Tucker type are established under the second-order constraint qualification. An application to Mond-Weir and Wolfe duality schemes is also presented. Some remarks and examples are provided to illustrate our results.

scholarly journals On controllability for Sturm-Liouville type differential inclusions

Filomat ◽  
2013 ◽  
Vol 27 (7) ◽  
pp. 1321-1327
Author(s):  
Aurelian Cernea
Keyword(s):  
Differential Inclusion ◽  
Differential Inclusions ◽  
Sufficient Conditions ◽  
Second Order ◽  
Local Controllability ◽  
Reference Trajectory ◽  
Liouville Type ◽  
Sturm Liouville

We consider a second-order differential inclusion and we obtain sufficient conditions for h-local controllability along a reference trajectory.

Optimal control of higher order differential inclusions with functional constraints

2020 ◽  
Vol 26 ◽  
pp. 37 ◽  
Author(s):  
Elimhan N. Mahmudov
Keyword(s):  
Optimal Control ◽  
Optimality Conditions ◽  
Differential Inclusion ◽  
Differential Inclusions ◽  
Higher Order ◽  
Second Order ◽  
Sufficient Optimality Conditions ◽  
Functional Constraints ◽  
Complementary Slackness ◽  
Complementary Slackness Conditions

The present paper studies the Mayer problem with higher order evolution differential inclusions and functional constraints of optimal control theory (PFC); to this end first we use an interesting auxiliary problem with second order discrete-time and discrete approximate inclusions (PFD). Are proved necessary and sufficient conditions incorporating the Euler–Lagrange inclusion, the Hamiltonian inclusion, the transversality and complementary slackness conditions. The basic concept of obtaining optimal conditions is locally adjoint mappings and equivalence results. Then combining these results and passing to the limit in the discrete approximations we establish new sufficient optimality conditions for second order continuous-time evolution inclusions. This approach and results make a bridge between optimal control problem with higher order differential inclusion (PFC) and constrained mathematical programming problems in finite-dimensional spaces. Formulation of the transversality and complementary slackness conditions for second order differential inclusions play a substantial role in the next investigations without which it is hardly ever possible to get any optimality conditions; consequently, these results are generalized to the problem with an arbitrary higher order differential inclusion. Furthermore, application of these results is demonstrated by solving some semilinear problem with second and third order differential inclusions.

scholarly journals Second-Order Non-Canonical Neutral Differential Equations with Mixed Type: Oscillatory Behavior

Symmetry ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 318
Author(s):  
Osama Moaaz ◽  
Amany Nabih ◽  
Hammad Alotaibi ◽  
Y. S. Hamed
Keyword(s):  
Differential Equations ◽  
Delay Differential Equations ◽  
Mixed Type ◽  
Relevant Literature ◽  
Sufficient Conditions ◽  
Oscillatory Behavior ◽  
Second Order ◽  
Neutral Differential Equations ◽  
Delay Differential ◽  
Oscillation Of Solutions

In this paper, we establish new sufficient conditions for the oscillation of solutions of a class of second-order delay differential equations with a mixed neutral term, which are under the non-canonical condition. The results obtained complement and simplify some known results in the relevant literature. Example illustrating the results is included.

scholarly journals Second-order impulsive differential systems with mixed and several delays

2021 ◽  
Vol 2021 (1) ◽  
Author(s):  
Shyam Sundar Santra ◽  
Apurba Ghosh ◽  
Omar Bazighifan ◽  
Khaled Mohamed Khedher ◽  
Taher A. Nofal
Keyword(s):  
Differential Equations ◽  
Sufficient Conditions ◽  
Impulsive Differential Equations ◽  
Oscillation Theory ◽  
Second Order ◽  
Neutral Delay ◽  
Differential Systems ◽  
Impulsive Differential Systems ◽  
Several Delays ◽  
Necessary And Sufficient

AbstractIn this work, we present new necessary and sufficient conditions for the oscillation of a class of second-order neutral delay impulsive differential equations. Our oscillation results complement, simplify and improve recent results on oscillation theory of this type of nonlinear neutral impulsive differential equations that appear in the literature. An example is provided to illustrate the value of the main results.

scholarly journals Conceptual Analysis and Empirical Observations of Animal Minds

Philosophia ◽  
2021 ◽  
Author(s):  
Ricardo Parellada
Keyword(s):  
Conceptual Analysis ◽  
Animal Cognition ◽  
Sufficient Conditions ◽  
Second Order ◽  
Alarm Calls ◽  
Vervet Monkeys ◽  
Animal Minds ◽  
First Order

AbstractThe relation between conceptual analysis and empirical observations when ascribing or denying concepts and beliefs to non-human animals is not straightforward. In order to reflect on this relation, I focus on two theoretical proposals (Davidson’s and Allen’s) and one empirical case (vervet monkeys’ alarm calls), the three of which are permanently discussed and considered in the literature on animal cognition. First, I review briefly Davidson’s arguments for denying thought to non-linguistic animals. Second, I review Allen’s criteria for ascribing concepts to creatures capable of correcting their discriminatory powers by taking into account their previous errors. Allen affirms that this is an empirical proposal which offers good reasons, but not necessary or sufficient conditions, for concept attribution. Against Allen, I argue that his important proposal is not an empirical, but a conceptual one. Third, I resort to vervet monkeys to show that Allen’s criteria, and not Davidson’s, are very relevant for ascribing first-order and denying second-order beliefs to this species and thus make sense of the idea of animal cognition.

scholarly journals New Conditions for the Oscillation of Second-Order Differential Equations with Sublinear Neutral Terms

Mathematics ◽  
2021 ◽  
Vol 9 (11) ◽  
pp. 1159
Author(s):  
Shyam Sundar Santra ◽  
Omar Bazighifan ◽  
Mihai Postolache
Keyword(s):  
Fluid Dynamics ◽  
Neural Networks ◽  
Differential Equations ◽  
Delay Differential Equations ◽  
Sufficient Conditions ◽  
Second Order ◽  
Qualitative Behavior ◽  
Neutral Differential Equations ◽  
Second Order Differential Equations ◽  
Delay Differential

In continuous applications in electrodynamics, neural networks, quantum mechanics, electromagnetism, and the field of time symmetric, fluid dynamics, neutral differential equations appear when modeling many problems and phenomena. Therefore, it is interesting to study the qualitative behavior of solutions of such equations. In this study, we obtained some new sufficient conditions for oscillations to the solutions of a second-order delay differential equations with sub-linear neutral terms. The results obtained improve and complement the relevant results in the literature. Finally, we show an example to validate the main results, and an open problem is included.

Sign in / Sign up

Export Citation Format

Share Document