Searcharxiv⌕ Search

arXiv subjects

Ricardo Almeida

Publications and source records attributed to Ricardo Almeida.

At least 55 records · Page 3Linked to original sources

Fractional Variational Principle of Herglotz

The aim of this paper is to bring together two approaches to non-conservative systems -- the generalized variational principle of Herglotz and the fractional calculus of variations. Namely, we consider functionals whose extrema are sought, by differential equations that involve Caputo fractional derivatives. The Euler--Lagrange equations are obtained for the fractional variational problems of Herglotz-type and the transversality conditions are derived. The fractional Noether-type theorem for conservative and non-conservative physical systems is proved.

math.OC↗

A Discretization Method to Solve Fractional Variational Problems with Dependence on Hadamard Derivatives

We provide a fast and simple method to solve fractional variational problems with dependence on Hadamard fractional derivatives. Using a relation between the Hadamard fractional operator and a sum involving integer-order derivatives, we rewrite the fractional problem into a classical optimal control problem. The latter problem is then solved by application of standard numerical techniques. We illustrate the procedure with an example.

math.OC↗

Numerical Approximations to Fractional Problems of the Calculus of Variations and Optimal Control

This chapter presents some numerical methods to solve problems in the fractional calculus of variations and fractional optimal control. Although there are plenty of methods available in the literature, we concentrate mainly on approximating the fractional problem either by discretizing the fractional term or expanding the fractional derivatives as a series involving integer order derivatives. The former method, as a subclass of direct methods in the theory of calculus of variations, uses finite differences, Grunwald-Letnikov definition in this case, to discretize the fractional term. Any quadrature rule for integration, regarding the desired accuracy, is then used to discretize the whole problem including constraints. The final task in this method is to solve a static optimization problem to reach approximated values of the unknown functions on some mesh points. The latter method, however, approximates fractional problems by classical ones in which only derivatives of integer order are present. Precisely, two continuous approximations for fractional derivatives by series involving ordinary derivatives are introduced. Local upper bounds for truncation errors are provided and, through some test functions, the accuracy of the approximations are justified. Then we substitute the fractional term in the original problem with these series and transform the fractional problem to an ordinary one. Hereafter, we use indirect methods of classical theory, e.g. Euler-Lagrange equations, to solve the approximated problem. The methods are mainly developed through some concrete examples which either have obvious solutions or the solution is computed using the fractional Euler-Lagrange equation.

math.OC↗

An expansion formula with higher-order derivatives for fractional operators of variable order

We obtain approximation formulas for fractional integrals and derivatives of Riemann-Liouville and Marchaud types with a variable fractional order. The approximations involve integer-order derivatives only. An estimation for the error is given. The efficiency of the approximation method is illustrated with examples. As applications, we show how the obtained results are useful to solve differential equations and problems of the calculus of variations that depend on fractional derivatives of Marchaud type.

math.CA↗

A numerical scheme to solve fractional optimal control problems

We review recent results obtained to solve fractional order optimal control problems with free terminal time and a dynamic constraint involving integer and fractional order derivatives. Some particular cases are studied in detail. A numerical scheme is given, based on expansion formulas for the fractional derivative. The efficiency of the method is illustrated through examples.

math.OC↗

A discrete time method to the first variation of fractional order variational functionals

The fact that the first variation of a variational functional must vanish along an extremizer is the base of most effective solution schemes to solve problems of the calculus of variations. We generalize the method to variational problems involving fractional order derivatives. First order splines are used as variations, for which fractional derivatives are known. The Grunwald-Letnikov definition of fractional derivative is used, because of its intrinsic discrete nature that leads to straightforward approximations.

math.OC↗

Fractional Order Optimal Control Problems with Free Terminal Time

We consider fractional order optimal control problems in which the dynamic control system involves integer and fractional order derivatives and the terminal time is free. Necessary conditions for a state/control/terminal-time triplet to be optimal are obtained. Situations with constraints present at the end time are also considered. Under appropriate assumptions, it is shown that the obtained necessary optimality conditions become sufficient. Numerical methods to solve the problems are presented, and some computational simulations are discussed in detail.

math.OC↗

Discrete Direct Methods in the Fractional Calculus of Variations

Finite differences, as a subclass of direct methods in the calculus of variations, consist in discretizing the objective functional using appropriate approximations for derivatives that appear in the problem. This article generalizes the same idea for fractional variational problems. We consider a minimization problem with a Lagrangian that depends on the left Riemann-Liouville fractional derivative. Using the Grunwald-Letnikov definition, we approximate the objective functional in an equispaced grid as a multi-variable function of the values of the unknown function on mesh points. The problem is then transformed to an ordinary static optimization problem. The solution to the latter problem gives an approximation to the original fractional problem on mesh points.

math.OC↗

Deciding KAT and Hoare Logic with Derivatives

Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of Hoare logic (PHL) which is a formal system for the specification and verification of programs, and that is currently the base of most tools for checking program correctness. Both the equational theory of KAT and the encoding of PHL in KAT are known to be decidable. In this paper we present a new decision procedure for the equivalence of two KAT expressions based on the notion of partial derivatives. We also introduce the notion of derivative modulo particular sets of equations. With this we extend the previous procedure for deciding PHL. Some experimental results are also presented.

cs.FL↗

Numerical Approximations of Fractional Derivatives with Applications

Two approximations, derived from continuous expansions of Riemann-Liouville fractional derivatives into series involving integer order derivatives, are studied. Using those series, one can formally transform any problem that contains fractional derivatives into a classical problem in which only derivatives of integer order are present. Corresponding approximations provide useful numerical tools to compute fractional derivatives of functions. Application of such approximations to fractional differential equations and fractional problems of the calculus of variations are discussed. Illustrative examples show the advantages and disadvantages of each approximation.

math.OC↗

Generalized Transversality Conditions in Fractional Calculus of Variations

Problems of calculus of variations with variable endpoints cannot be solved without transversality conditions. Here, we establish such type of conditions for fractional variational problems with the Caputo derivative. We consider: the Bolza-type fractional variational problem, the fractional variational problem with a Lagrangian that may also depend on the unspecified end-point $φ(b)$, where $x=φ(t)$ is a given curve, and the infinite horizon fractional variational problem.

math.OC↗

Approximation of fractional integrals by means of derivatives

We obtain a new decomposition of the Riemann-Liouville operators of fractional integration as a series involving derivatives (of integer order). The new formulas are valid for functions of class $C^n$, $n \in \mathbb{N}$, and allow us to develop suitable numerical approximations with known estimations for the error. The usefulness of the obtained results, in solving fractional integral equations and fractional problems of the calculus of variations, is illustrated.

math.CA↗

Fractional Euler-Lagrange differential equations via Caputo derivatives

We review some recent results of the fractional variational calculus. Necessary optimality conditions of Euler-Lagrange type for functionals with a Lagrangian containing left and right Caputo derivatives are given. Several problems are considered: with fixed or free boundary conditions, and in presence of integral constraints that also depend on Caputo derivatives.

math.OC↗

Fractional variational calculus for nondifferentiable functions

We prove necessary optimality conditions, in the class of continuous functions, for variational problems defined with Jumarie's modified Riemann-Liouville derivative. The fractional basic problem of the calculus of variations with free boundary conditions is considered, as well as problems with isoperimetric and holonomic constraints.

math.OC↗

Fractional variational problems depending on indefinite integrals

We obtain necessary optimality conditions for variational problems with a Lagrangian depending on a Caputo fractional derivative, a fractional and an indefinite integral. Main results give fractional Euler-Lagrange type equations and natural boundary conditions, which provide a generalization of previous results found in the literature. Isoperimetric problems, problems with holonomic constraints and depending on higher-order Caputo derivatives, as well as fractional Lagrange problems, are considered.

math.OC↗