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.

Partial Higher-Order Specifications1

1992 ◽  
Vol 16 (2) ◽  
pp. 101-126
Author(s):  
Egidio Astesiano ◽  
Maura Cerioli
Keyword(s):  
Sufficient Conditions ◽  
Higher Order ◽  
Necessary And Sufficient Conditions ◽  
Important Case ◽  
Deduction System ◽  
Closure Properties ◽  
Inference System ◽  
Conditional Specification ◽  
Necessary And Sufficient

In this paper the classes of extensional models of higher-order partial conditional specifications are studied, with the emphasis on the closure properties of these classes. Further it is shown that any equationally complete inference system for partial conditional specifications may be extended to an inference system for partial higher-order conditional specifications, which is equationally complete w.r.t. the class of all extensional models. Then, applying some previous results, a deduction system is proposed, equationally complete for the class of extensional models of a partial conditional specification. Finally, turning the attention to the special important case of termextensional models, it is first shown a sound and equationally complete inference system and then necessary and sufficient conditions are given for the existence of free models, which are also free in the class of term-generated extensional models.

scholarly journals Convex sequences of higher order

Filomat ◽  
2018 ◽  
Vol 32 (13) ◽  
pp. 4655-4663
Author(s):  
Daniel Sofonea ◽  
Ioan Ţincu ◽  
Ana Acu
Keyword(s):  
Real Number ◽  
Sufficient Conditions ◽  
Higher Order ◽  
Necessary And Sufficient Conditions ◽  
Difference Operators ◽  
Real Sequence ◽  
Convex Sequence ◽  
Different Types ◽  
The Difference ◽  
Necessary And Sufficient

In this paper we study the class of convex sequences of higher order defined using the difference operators and investigate their properties. The notion of the convex sequence of order r ? N will be extended for r a real number. Some necessary and sufficient conditions such that a real sequence belongs to the class of convex sequences of higher order r ? R are introduced. Using different types of means we will investigate the convexity of higher order for real sequences.

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 Characterizations of weighted dynamic Hardy-type inequalities with higher-order derivatives

2021 ◽  
Vol 2021 (1) ◽  
Author(s):  
S. H. Saker ◽  
R. R. Mahmoud ◽  
K. R. Abdo
Keyword(s):  
Time Scales ◽  
Sufficient Conditions ◽  
Type Inequality ◽  
Higher Order ◽  
Necessary And Sufficient Conditions ◽  
Hardy Type Inequality ◽  
Hardy Type Inequalities ◽  
Hardy Type ◽  
Weighted Functions ◽  
Necessary And Sufficient

AbstractIn this paper, we establish some necessary and sufficient conditions for the validity of a generalized dynamic Hardy-type inequality with higher-order derivatives with two different weighted functions on time scales. The corresponding continuous and discrete cases are captured when $\mathbb{T=R}$ T = R and $\mathbb{T=N}$ T = N , respectively. Finally, some applications to our main result are added to conclude some continuous results known in the literature and some other discrete results which are essentially new.

Necessary and sufficient conditions for existence of solutions for initial value problem of fuzzy Bagley-Torvik equation and solution representation

2021 ◽  
pp. 1-16
Author(s):  
Sunae Pak ◽  
Huichol Choe ◽  
Kinam Sin ◽  
Sunghyok Kwon
Keyword(s):  
Initial Value Problem ◽  
Existence Of Solutions ◽  
Sufficient Conditions ◽  
Inequality Constraints ◽  
Necessary And Sufficient Conditions ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Initial Value ◽  
Solution Representation ◽  
Necessary And Sufficient

In this paper, we investigate the necessary and sufficient conditions for existence of solutions for initial value problem of fuzzy Bagley-Torvik equation and the solution representation by using the multivariate Mittag-Leffler function. First we convert fuzzy initial value problem into the cut problem (system of fractional differential equations with inequality constraints) and obtain existence results for the solution of the cut problem under (1,1)- differentiability. Next we study the conditions for the solutions of the cut problem to constitute the solution of a fuzzy initial value problem and suggest a necessary and sufficient condition for the (1,1)-solution. Also, some examples are given to verify the effectiveness of our proposed method. The necessary and sufficient condition, solution representation for (1,2)-solution of initial value problem of fuzzy fractional Bagley-Torvik equation are shown in Appendix.

Sign in / Sign up

Export Citation Format

Share Document