Related papers: Second-order sufficient optimality conditions in t…
The inverse problem of the calculus of variations consists in determining if the solutions of a given system of second order differential equations correspond with the solutions of the Euler-Lagrange equations for some regular Lagrangian.…
This paper addresses an investigation on a factorization method for difference equations. It is proved that some classes of second order linear difference operators, acting in Hilbert spaces, can be factorized using a pair of mutually…
We prove optimality conditions for different variational functionals containing left and right Caputo fractional derivatives. A sufficient condition of minimization under an appropriate convexity assumption is given. An Euler-Lagrange…
The equivalence problem for linear differential operators of the second order, acting in vector bundles, is discussed. The field of rational invariants of symbols is described and connections, naturally accosiated with differential…
We investigate second order additive invariants in elementary cellular automata rules. Fundamental diagrams of rules which possess additive invariants are either linear or exhibit singularities similar to singularities of rules with…
We introduce a discrete-time fractional calculus of variations on the time scales $\mathbb{Z}$ and $(h\mathbb{Z})_a$. First and second order necessary optimality conditions are established. Some numerical examples illustrating the use of…
New form of sufficient optimality condition is obtained in comparison with the Mangasarian sufficiency theorem. Both finite and infinite values of objective functional are allowed since concepts of overtaking and weakly overtaking…
The work considers a system of fractional order partial differential equations. The existence and uniqueness theorems for the classical solution of initial-boundary value problems are proved in two cases: 1) the right-hand side of the…
We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures. We show that the problem is undecidable in the case of…
This tutorial describes recently developed general optimality conditions for Markov Decision Processes that have significant applications to inventory control. In particular, these conditions imply the validity of optimality equations and…
We consider a class of finite element approximations for fourth-order parabolic equations that can be written as a system of second-order equations by introducing an auxiliary variable. In our approach, we first solve a variational problem…
This book intends to deepen the study of the fractional calculus, giving special emphasis to variable-order operators. It is organized in two parts, as follows. In the first part, we review the basic concepts of fractional calculus (Chapter…
We establish necessary optimality conditions for variational problems with a Lagrangian depending on a combined Caputo derivative of variable fractional order. The endpoint of the integral is free, and thus transversality conditions are…
We introduce a discrete-time fractional calculus of variations on the time scale $h\mathbb{Z}$, $h > 0$. First and second order necessary optimality conditions are established. Examples illustrating the use of the new Euler-Lagrange and…
Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
Local superlinear convergence of the semismooth Newton method usually necessitates assumptions on the uniform invertibility of the utilized, generalized Jacobian matrices, such as, e.g., BD- or CD-regularity. For certain composite-type…
In this paper we study the complexity of solving a problem when a solution of a similar instance is known. This problem is relevant whenever instances may change from time to time, and known solutions may not remain valid after the change.…
We explore singular second-order boundary value problems with mixed boundary conditions on a general time scale. Using the lower and upper solutions method combined with the Brouwer fixed point theorem we demonstrate the existence of a…
In this paper, we introduce some analytical techniques to solve some classes of second order differential equations. Such classes of differential equations arise in describing some mathematical problems in Physics and Engineering.