Showing 1–50 of 70 results for author: Almeida, R

A Coalgebraic Semantics for Intuitionistic Modal Logic

Authors: Rodrigo Nicolau Almeida, Nick Bezhanishvili

Abstract: We give a new coalgebraic semantics for intuitionistic modal logic with $\Box$. In particular, we provide a colagebraic representation of intuitionistic descriptive modal frames and of intuitonistic modal Kripke frames based on image-finite posets. This gives a solution to a problem in the area of coalgebaic logic for these classes of frames, raised explicitly by Litak (2014) and de Groot and Patt… ▽ More We give a new coalgebraic semantics for intuitionistic modal logic with $\Box$. In particular, we provide a colagebraic representation of intuitionistic descriptive modal frames and of intuitonistic modal Kripke frames based on image-finite posets. This gives a solution to a problem in the area of coalgebaic logic for these classes of frames, raised explicitly by Litak (2014) and de Groot and Pattinson (2020). Our key technical tool is a recent generalization of a construction by Ghilardi, in the form of a right adjoint to the inclusion of the category of Esakia spaces in the category of Priestley spaces. As an application of these results, we study bisimulations of intuitionistic modal frames, describe dual spaces of free modal Heyting algebras, and provide a path towards a theory of coalgebraic intuitionistic logics. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: 19 pages, Accepted at AIML 2024

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules

Authors: Rodrigo Nicolau Almeida, Silvio Ghilardi

Abstract: We develop a method to recognize admissibility of $Π_{2}$-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here "unification with simple variable restriction". It is shown that for logical systems enjoying an appropriate algebraic semantics and a finite approximation of left uniform interpolation, this unification with simple… ▽ More We develop a method to recognize admissibility of $Π_{2}$-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here "unification with simple variable restriction". It is shown that for logical systems enjoying an appropriate algebraic semantics and a finite approximation of left uniform interpolation, this unification with simple variable restriction can be reduced to standard unification. As a corollary, we obtain the decidability of admissibility of $Π_{2}$-rules for many logical systems. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 22 pages, Accepted at AIML 2024

Colimits of Heyting Algebras through Esakia Duality

Authors: Rodrigo Nicolau Almeida

Abstract: In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjoint to the inclusion of Heyting algebras in the category of distributive lattices This is shown to have several applications, both old and new, in the… ▽ More In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjoint to the inclusion of Heyting algebras in the category of distributive lattices This is shown to have several applications, both old and new, in the study of Heyting algebras: (1) it allows a more concrete description of colimits of Heyting algebras, as well as, via duality theory, limits of Esakia spaces, by knowing their description over distributive lattices and Priestley spaces; (2) It allows a direct proof of the amalgamation property for Heyting algebras, and of related facts; (3) it allows a proof of the fact that the category of Heyting algebras is co-distributive. We also study some generalizations and variations of this construction to different settings. First, we analyse some subvarieties of Heyting algebras -- such as Boolean algebras, $\mathsf{KC}$ and $\mathsf{LC}$ algebras, and show how the construction can be adapted to this setting. Second, we study the relationship between the category of image-finite posets with p-morphisms and the category of posets with monotone maps, showing that a variation of the above ideas provides us with an appropriate general idea. △ Less

Submitted 26 February, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: 27 pages

MSC Class: 08B20; 03B20; 06D20

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras

Authors: Rodrigo Nicolau Almeida

Abstract: In this paper we present a general theory of $Π_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $Π_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness theorems, which serve as our basic tools. As an illustration of the general theory, we analyse the structure of inductive classes of Gödel algebras, from a structur… ▽ More In this paper we present a general theory of $Π_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $Π_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness theorems, which serve as our basic tools. As an illustration of the general theory, we analyse the structure of inductive classes of Gödel algebras, from a structure theoretic and logical point of view. We show that unlike other well-studied settings (such as logics, or single-conclusion rule systems), there are continuum many $Π_{2}$-rule systems extending $\mathsf{LC}=\mathsf{IPC}+(p\rightarrow q)\vee (q\rightarrow p)$, and show how our methods allow easy proofs of the admissibility of the well-known Takeuti-Titani rule. Our final results concern general questions admissibility in $\mathsf{LC}$: (1) we present a full classification of those inductive classes which are inductively complete, i.e., where all $Π_{2}$-rules which are admissible are derivable, and (2) show that the problem of admissibility of $Π_{2}$-rules over $\mathsf{LC}$ is decidable. △ Less

Submitted 1 August, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 29 pages

Polyatomic Logics and Generalised Blok-Esakia Theory

Authors: Rodrigo Nicolau Almeida

Abstract: This paper presents a novel concept of a Polyatomic Logic and initiates its systematic study. This approach, inspired by Inquisitive semantics, is obtained by taking a variant of a given logic, obtained by looking at the fragment covered by a selector term. We introduce an algebraic semantics for these logics and prove algebraic completeness. These logics are then related to translations, through… ▽ More This paper presents a novel concept of a Polyatomic Logic and initiates its systematic study. This approach, inspired by Inquisitive semantics, is obtained by taking a variant of a given logic, obtained by looking at the fragment covered by a selector term. We introduce an algebraic semantics for these logics and prove algebraic completeness. These logics are then related to translations, through the introduction of a number of classes of translations involving selector terms, which are noted to be ubiquitous in algebraic logic. In this setting, we also introduce a generalised Blok-Esakia theory which can be developed for special classes of translations. We conclude by showing some systematic connections between the theory of Polyatomic Logics and the general Blok-Esakia theory for a wide class of interesting translations. △ Less

Submitted 26 March, 2023; v1 submitted 30 December, 2022; originally announced December 2022.

Comments: 48 pages, 2 figures

On bisectors in quaternionic hyperbolic space

Authors: Igor A. R. Almeida, Jaime L. O. Chamorro, Nikolay Gusevskii

Abstract: In this paper, we study a problem related to geometry of bisectors in quaternionic hyperbolic geometry. We develop some of the basic theory of bisectors in quaternionic hyperbolic space $H^n_Q$. In particular, we show that quaternionic bisectors enjoy various decompositions by totally geodesic submanifolds of $H^n_Q$. In contrast to complex hyperbolic geometry, where bisectors admit only two types… ▽ More In this paper, we study a problem related to geometry of bisectors in quaternionic hyperbolic geometry. We develop some of the basic theory of bisectors in quaternionic hyperbolic space $H^n_Q$. In particular, we show that quaternionic bisectors enjoy various decompositions by totally geodesic submanifolds of $H^n_Q$. In contrast to complex hyperbolic geometry, where bisectors admit only two types of decomposition (described by Mostow and Goldman), we show that in the quaternionic case geometry of bisectors is more rich. The main purpose of the paper is to describe an infinite family of different decompositions of bisectors in $H^n_Q$ by totally geodesic submanifolds of $H^n_Q$ isometric to complex hyperbolic space $H^n_C$ which we call the fan decompositions. Also, we derive a formula for the orthogonal projection onto totally geodesic submanifolds in $H^n_Q$ isometric to $H^n_C$. Using this, we introduce a new class of hypersurfaces in $H^n_Q$, which we call complex hyperbolic packs in $H^n_Q$. We hope that the complex hyperbolic packs will be useful for constructing fundamental polyhedra for discrete groups of isometries of quaternionic hyperbolic space. △ Less

Submitted 13 September, 2023; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: 24 pages

MSC Class: 20H10; 22E40; 32G07; 57S30

Numerical Solution for a Class of Evolution Differential Equations with $p$-Laplacian and Memory

Authors: Rui M. P. Almeida, José C. M. Duque, Belchior C. X. Mário

Abstract: In this paper we make a study of a partial integral differential equation with $p$-Laplacian using a mixed finite element method. Two stable and convergent fixed point schemes are proposed to solve the nonlinear algebraic system. Using the implementation of the method in Matlab environment, we numerically analyse the convergence with an example. Some other examples are presented in order to illust… ▽ More In this paper we make a study of a partial integral differential equation with $p$-Laplacian using a mixed finite element method. Two stable and convergent fixed point schemes are proposed to solve the nonlinear algebraic system. Using the implementation of the method in Matlab environment, we numerically analyse the convergence with an example. Some other examples are presented in order to illustrate several asymptotic behaviours and some localization effects of the solutions. △ Less

Submitted 18 March, 2022; originally announced March 2022.

A Mixed Finite Element Method for a Class of Evolution Differential Equations with $p$-Laplacian and Memory

Authors: Rui M. P. Almeida, José C. M. Duque, Belchior C. X. Mário

Abstract: We present a new mixed finite element method for a class of parabolic equations with $p$-Laplacian and nonlinear memory. The applicability, stability and convergence of the method are studied. First, the problem is written in a mixed formulation as a system of one parabolic equation and a Volterra equation. Then, the system is discretized in the space variable using the finite element method with… ▽ More We present a new mixed finite element method for a class of parabolic equations with $p$-Laplacian and nonlinear memory. The applicability, stability and convergence of the method are studied. First, the problem is written in a mixed formulation as a system of one parabolic equation and a Volterra equation. Then, the system is discretized in the space variable using the finite element method with Lagrangian basis of degree $r\geq1$. Finally, the Cranck-Nicolson method with the trapezoidal quadrature is applied to discretize the time variable. For each method, we establish existence, uniqueness and regularity of the solutions. The convergence order is found to be dependent on the parameter $p$ on the $p$-Laplacian in the sense that it decreases as $p$ increases. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Mixed finite element method for a beam equation with the p-biharmonic operator

Authors: Rui M. P. Almeida, José C. M. Duque, Jorge Ferreira, Willian S. Panni

Abstract: In this paper, we consider a nonlinear beam equation with the p-biharmonic operator, where $1 < p < \infty$. Using a change of variable, we transform the problem into a system of differential equations and prove the existence, uniqueness and regularity of the weak solution by applying the Lax-Milgram theorem and classical results of functional analysis. We investigate the discrete formulation for… ▽ More In this paper, we consider a nonlinear beam equation with the p-biharmonic operator, where $1 < p < \infty$. Using a change of variable, we transform the problem into a system of differential equations and prove the existence, uniqueness and regularity of the weak solution by applying the Lax-Milgram theorem and classical results of functional analysis. We investigate the discrete formulation for that system and, with the aid of the Brouwer theorem, we show that the problem has a discrete solution. The uniqueness and stability of the discrete solution are obtained through classical methods. After establishing the order of convergence, we apply the mixed finite element method to obtain an algebraic system of equations. Finally, we implement the computational codes in Matlab software and perform the comparison between theory and simulations. △ Less

Submitted 21 February, 2022; originally announced February 2022.

MSC Class: 35A01; 35D30; 35J40; 65N30

Viscosity solution of a Delta Greek nonlinear Black-Scholes equation

Authors: Rui M. P. Almeida, Teófilo D. Chihaluca, José C. M. Duque

Abstract: In this paper, a class of nonlinear option pricing models involving transaction costs is considered. The diffusion coefficient of the nonlinear parabolic equation for the price $V$ is assumed to be a linear function of the option's underlying asset price and the Gamma Greek $V_{xx}$. The main aim of this work is to study the governing PDE of the Delta Greek. The existence of viscosity solutions is… ▽ More In this paper, a class of nonlinear option pricing models involving transaction costs is considered. The diffusion coefficient of the nonlinear parabolic equation for the price $V$ is assumed to be a linear function of the option's underlying asset price and the Gamma Greek $V_{xx}$. The main aim of this work is to study the governing PDE of the Delta Greek. The existence of viscosity solutions is proved using the vanishing viscosity method. Regularizing the equation by adding a small perturbation to the initial problem, a sequence of approximate solutions $u^{\varepsilon}$ is constructed and then the method of weak limits is applied to prove the convergence of the sequence to the viscosity solution of the Delta equation. The approximate problems constructed are shown to have good regularity, which allows the use of efficient and robust numerical methods. △ Less

Submitted 4 May, 2020; originally announced May 2020.

Comments: 22 pages, 1 figure

A survey on fractional variational calculus

Authors: Ricardo Almeida, Delfim F. M. Torres

Abstract: Main results and techniques of the fractional calculus of variations are surveyed. We consider variational problems containing Caputo derivatives and study them using both indirect and direct methods. In particular, we provide necessary optimality conditions of Euler-Lagrange type for the fundamental, higher-order, and isoperimetric problems, and compute approximated solutions based on truncated G… ▽ More Main results and techniques of the fractional calculus of variations are surveyed. We consider variational problems containing Caputo derivatives and study them using both indirect and direct methods. In particular, we provide necessary optimality conditions of Euler-Lagrange type for the fundamental, higher-order, and isoperimetric problems, and compute approximated solutions based on truncated Grünwald--Letnikov approximations of Caputo derivatives. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: This is a preprint of a paper whose final and definite form is in 'Handbook of Fractional Calculus with Applications. Vol 1: Basic Theory', De Gruyter. Submitted 29-March-2018; accepted, after a revision, 13-June-2018

MSC Class: 26A33; 34A08; 49K05; 49M05; 49M25

The Variable-Order Fractional Calculus of Variations

Authors: Ricardo Almeida, Dina Tavares, Delfim F. M. Torres

Abstract: 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 1) and of the fractional calculus of variations (Chapter 2). In Chapter 1, we start with a brief overview about fractional calculus and an introduction to the… ▽ More 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 1) and of the fractional calculus of variations (Chapter 2). In Chapter 1, we start with a brief overview about fractional calculus and an introduction to the theory of some special functions in fractional calculus. Then, we recall several fractional operators (integrals and derivatives) definitions and some properties of the considered fractional derivatives and integrals are introduced. In the end of this chapter, we review integration by parts formulas for different operators. Chapter 2 presents a short introduction to the classical calculus of variations and review different variational problems, like the isoperimetric problems or problems with variable endpoints. In the end of this chapter, we introduce the theory of the fractional calculus of variations and some fractional variational problems with variable-order. In the second part, we systematize some new recent results on variable-order fractional calculus of (Tavares, Almeida and Torres, 2015, 2016, 2017, 2018). In Chapter 3, considering three types of fractional Caputo derivatives of variable-order, we present new approximation formulas for those fractional derivatives and prove upper bound formulas for the errors. In Chapter 4, we introduce the combined Caputo fractional derivative of variable-order and corresponding higher-order operators. Some properties are also given. Then, we prove fractional Euler-Lagrange equations for several types of fractional problems of the calculus of variations, with or without constraints. △ Less

Submitted 17 June, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: The final authenticated version of this preprint is available online as a SpringerBrief in Applied Sciences and Technology at [https://doi.org/10.1007/978-3-319-94006-9]. In this version some typos, detected by the authors while reading the galley proofs, were corrected, SpringerBriefs in Applied Sciences and Technology, Springer, Cham, 2019

MSC Class: 26A33; 34A08; 49K05

Fractional differential equations with mixed boundary conditions

Authors: Ricardo Almeida

Abstract: In this paper, we discuss the existence and uniqueness of solutions of a boundary value problem for a fractional differential equation of order $α\in(2,3)$, involving a general form of fractional derivative. First, we prove an equivalence between the Cauchy problem and the Volterra equation. Then, two results on the existence of solutions are proven, and we end with some illustrative examples. In this paper, we discuss the existence and uniqueness of solutions of a boundary value problem for a fractional differential equation of order $α\in(2,3)$, involving a general form of fractional derivative. First, we prove an equivalence between the Cauchy problem and the Volterra equation. Then, two results on the existence of solutions are proven, and we end with some illustrative examples. △ Less

Submitted 25 October, 2017; originally announced November 2017.

Comments: This is a preprint of a paper whose final and definite form is with "Bull. Malays. Math. Sci. Soc."

A formulation of Noether's theorem for fuzzy problems of the calculus of variations

Authors: J. Soolaki, O. S. Fard, R. Almeida, A. H. Borzabadi

Abstract: The theory of the calculus of variations for fuzzy systems was recently initiated in [7], with the proof of the fuzzy Euler-Lagrange equation. Using fuzzy Euler-Lagrange equation, we obtain here a Noether-like theorem for fuzzy variational problems. The theory of the calculus of variations for fuzzy systems was recently initiated in [7], with the proof of the fuzzy Euler-Lagrange equation. Using fuzzy Euler-Lagrange equation, we obtain here a Noether-like theorem for fuzzy variational problems. △ Less

Submitted 18 August, 2017; originally announced August 2017.

Comments: This is a preprint of a paper whose final and definite form is in Afrika Matematika. arXiv admin note: text overlap with arXiv:math/0701187 by other authors

Non-invasive control of the fractional Hegselmann-Krause type model

Authors: Ricardo Almeida, Agnieszka B. Malinowska, Tatiana Odzijewicz

Abstract: In this paper, the fractional order Hegselmann-Krause type model with leadership is studied.We seek an optimal control strategy for the system to reach a consensus in such a way that the control mechanism is included in the leader dynamics. Necessary optimality conditions are obtained by the use of a fractional counterpart of Pontryagin Maximum Principle. The effectiveness of the proposed control… ▽ More In this paper, the fractional order Hegselmann-Krause type model with leadership is studied.We seek an optimal control strategy for the system to reach a consensus in such a way that the control mechanism is included in the leader dynamics. Necessary optimality conditions are obtained by the use of a fractional counterpart of Pontryagin Maximum Principle. The effectiveness of the proposed control strategy is illustrated by numerical examples. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: This is a preprint of a paper whose final and definite form is in Theory and Applications of Non-integer Order Systems, Lecture Notes in Electrical Engineering, Springer Verlag

A Gronwall inequality for a general Caputo fractional operator

Authors: Ricardo Almeida

Abstract: In this paper we present a new type of fractional operator, which is a generalization of the Caputo and Caputo--Hadamard fractional derivative operators. We study some properties of the operator, namely we prove that it is the inverse operation of a generalized fractional integral. A relation between this operator and a Riemann--Liouville type is established. We end with a fractional Gronwall ineq… ▽ More In this paper we present a new type of fractional operator, which is a generalization of the Caputo and Caputo--Hadamard fractional derivative operators. We study some properties of the operator, namely we prove that it is the inverse operation of a generalized fractional integral. A relation between this operator and a Riemann--Liouville type is established. We end with a fractional Gronwall inequality type, which is useful to compare solutions of fractional differential equations. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: This is a preprint of a paper whose final and definite form is with "Mathematical Inequalities & Applications"

Combined Fractional Variational Problems of Variable Order and Some Computational Aspects

Authors: Dina Tavares, Ricardo Almeida, Delfim F. M. Torres

Abstract: We study two generalizations of fractional variational problems by considering higher-order derivatives and a state time delay. We prove a higher-order integration by parts formula involving a Caputo fractional derivative of variable order and we establish several necessary optimality conditions for functionals containing a combined Caputo derivative of variable fractional order. Because the endpo… ▽ More We study two generalizations of fractional variational problems by considering higher-order derivatives and a state time delay. We prove a higher-order integration by parts formula involving a Caputo fractional derivative of variable order and we establish several necessary optimality conditions for functionals containing a combined Caputo derivative of variable fractional order. Because the endpoint is considered to be free, we also deduce associated transversality conditions. In the end, we consider functionals with a time delay and deduce corresponding optimality conditions. Some examples are given to illustrate the new results. Computational aspects are discussed using the open source software package Chebfun. △ Less

Submitted 21 April, 2017; originally announced April 2017.

Comments: This is a preprint of a paper whose final and definite form is with 'Journal of Computational and Applied Mathematics', ISSN: 0377-0427. Submitted 15-Feb-2017; Revised 17-Apr-2017; Accepted 21-Apr-2017

MSC Class: 26A33; 34A08; 49K05

Journal ref: J. Comput. Appl. Math. 339 (2018), 374--388

Fractional Herglotz variational problems of variable order

Authors: Dina Tavares, Ricardo Almeida, Delfim F. M. Torres

Abstract: We study fractional variational problems of Herglotz type of variable order. Necessary optimality conditions, described by fractional differential equations depending on a combined Caputo fractional derivative of variable order, are proved. Two different cases are considered: the fundamental problem, with one independent variable, and the general case, with several independent variables. We end wi… ▽ More We study fractional variational problems of Herglotz type of variable order. Necessary optimality conditions, described by fractional differential equations depending on a combined Caputo fractional derivative of variable order, are proved. Two different cases are considered: the fundamental problem, with one independent variable, and the general case, with several independent variables. We end with some illustrative examples of the results of the paper. △ Less

Submitted 27 March, 2017; originally announced March 2017.

Comments: This is a preprint of a paper whose final and definite form is with 'Discrete and Continuous Dynamical Systems -- Series S' (DCDS-S), ISSN 1937-1632 (print), ISSN 1937-1179 (online), available at [https://www.aimsciences.org/journals/home.jsp?journalID=15]. Paper Submitted 30-July-2016; Revised 03-Feb-2017; Accepted 27-March-2017

MSC Class: 26A33; 34A08; 49K05; 49K10

Journal ref: Discrete Contin. Dyn. Syst. Ser. S 11 (2018), no. 1, 143--154

Optimality conditions for fractional variational problems with free terminal time

Authors: Ricardo Almeida

Abstract: This paper provides necessary and sufficient conditions of optimality for variational problems that deal with a fractional derivative with respect to another function. Fractional Euler--Lagrange equations are established for the fundamental problem and when in presence of an integral constraint. A Legendre condition, which is a second-order necessary condition, is also obtained. Other cases, such… ▽ More This paper provides necessary and sufficient conditions of optimality for variational problems that deal with a fractional derivative with respect to another function. Fractional Euler--Lagrange equations are established for the fundamental problem and when in presence of an integral constraint. A Legendre condition, which is a second-order necessary condition, is also obtained. Other cases, such as the infinite horizon problem, the problem with delays in the Lagrangian, and the problem with high-order derivatives, are considered. Finally, a necessary condition for the optimal fractional order to satisfy is proved. △ Less

Submitted 3 February, 2017; originally announced February 2017.

Comments: This is a preprint of a paper whose final and definite form is with "Discrete & Continuous Dynamical Systems - Series S "

Generalized Fuzzy Euler-Lagrange equations and transversality conditions

Authors: O. S. Fard, R. Almeida, J. Soolaki, A. H. Borzabadi

Abstract: The study of fuzzy fractional variational problems in terms of a fractional Liouville-Caputo derivative is introduced. Necessary optimality conditions for problems of the fuzzy fractional calculus of variations with free end-points are proved, as well as transversality conditions. The study of fuzzy fractional variational problems in terms of a fractional Liouville-Caputo derivative is introduced. Necessary optimality conditions for problems of the fuzzy fractional calculus of variations with free end-points are proved, as well as transversality conditions. △ Less

Submitted 23 December, 2016; originally announced December 2016.

Comments: This is a preprint of a paper whose final and definite form is with Tbilisi Mathematical Journal

A remark on local fractional calculus and ordinary derivatives

Authors: Ricardo Almeida, Malgorzata Guzowska, Tatiana Odzijewicz

Abstract: In this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new concept and ordinary differentiation. Using such formula, most of the fundamental properties of the fractional derivative can be derived directly. In this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new concept and ordinary differentiation. Using such formula, most of the fundamental properties of the fractional derivative can be derived directly. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: This is a preprint of a paper whose final and definite form is published in 'Open Mathematics'

A Caputo fractional derivative of a function with respect to another function

Authors: Ricardo Almeida

Abstract: In this paper we consider a Caputo type fractional derivative with respect to another function. Some properties, like the semigroup law, a relationship between the fractional derivative and the fractional integral, Taylor's Theorem, Fermat's Theorem, etc, are studied. Also, a numerical method to deal with such operators, consisting in approximating the fractional derivative by a sum that depends o… ▽ More In this paper we consider a Caputo type fractional derivative with respect to another function. Some properties, like the semigroup law, a relationship between the fractional derivative and the fractional integral, Taylor's Theorem, Fermat's Theorem, etc, are studied. Also, a numerical method to deal with such operators, consisting in approximating the fractional derivative by a sum that depends on the first-order derivative, is presented. Relying on examples, we show the efficiency and applicability of the method. Finally, an application of the fractional derivative, by considering a Population Growth Model, and showing that we can model more accurately the process using different kernels for the fractional operator is provided. △ Less

Submitted 12 September, 2016; originally announced September 2016.

Comments: This is a preprint of a paper whose final and definite form will be published in the journal Communications in Nonlinear Science and Numerical Simulation

Caputo-Hadamard fractional derivatives of variable order

Authors: Ricardo Almeida

Abstract: In this paper we present three types of Caputo-Hadamard derivatives of variable fractional order, and study the relations between them. An approximation formula for each fractional operator, using integer-order derivatives only, is obtained, and an estimation for the error is given. At the end we compare the exact fractional derivative of a concrete example with some numerical approximations. In this paper we present three types of Caputo-Hadamard derivatives of variable fractional order, and study the relations between them. An approximation formula for each fractional operator, using integer-order derivatives only, is obtained, and an estimation for the error is given. At the end we compare the exact fractional derivative of a concrete example with some numerical approximations. △ Less

Submitted 26 July, 2016; originally announced July 2016.

Comments: This is a preprint of a paper whose final and definite form will appear in Numerical Functional Analysis and Optimization

Fractional differential equations with dependence on the Caputo-Katugampola derivative

Authors: Ricardo Almeida, Agnieszka B. Malinowska, Tatiana Odzijewicz

Abstract: In this paper we present a new type of fractional operator, the Caputo-Katugampola derivative. The Caputo and the Caputo-Hadamard fractional derivatives are special cases of this new operator. An existence and uniqueness theorem for a fractional Cauchy type problem, with dependence on the Caputo--Katugampola derivative, is proven. A decomposition formula for the Caputo-Katugampola derivative is ob… ▽ More In this paper we present a new type of fractional operator, the Caputo-Katugampola derivative. The Caputo and the Caputo-Hadamard fractional derivatives are special cases of this new operator. An existence and uniqueness theorem for a fractional Cauchy type problem, with dependence on the Caputo--Katugampola derivative, is proven. A decomposition formula for the Caputo-Katugampola derivative is obtained. This formula allows us to provide a simple numerical procedure to solve the fractional differential equation. △ Less

Submitted 23 July, 2016; originally announced July 2016.

Comments: This is a preprint of a paper whose final and definite form is published in Journal of Computational and Nonlinear Dynamics

Constrained fractional variational problems of variable order

Authors: Dina Tavares, Ricardo Almeida, Delfim F. M. Torres

Abstract: Isoperimetric problems consist in minimizing or maximizing a cost functional subject to an integral constraint. In this work, we present two fractional isoperimetric problems where the Lagrangian depends on a combined Caputo derivative of variable fractional order and we present a new variational problem subject to a holonomic constraint. We establish necessary optimality conditions in order to de… ▽ More Isoperimetric problems consist in minimizing or maximizing a cost functional subject to an integral constraint. In this work, we present two fractional isoperimetric problems where the Lagrangian depends on a combined Caputo derivative of variable fractional order and we present a new variational problem subject to a holonomic constraint. We establish necessary optimality conditions in order to determine the minimizers of the fractional problems. The terminal point in the cost integral, as well the terminal state, are considered to be free, and we obtain corresponding natural boundary conditions. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: This is a preprint of a paper whose final and definite form will appear in the IEEE/CAA Journal of Automatica Sinica, ISSN 2329-9266. Submitted 05-Sept-2015; Revised 19-April-2016; Accepted 22-June-2016

MSC Class: 26A33; 34A08; 49K05

Journal ref: IEEE/CAA Journal of Automatica Sinica 4 (2017), no. 1, 80--88

The Standard Complex and the 3-dimensional Poincaré Conjecture

Authors: Rui Almeida

Abstract: We develop a method for constructing standard complexes which turns easy the calculation of their algebraic invariants and, as well, the precise evaluation of whether these complexes are embeddable or not in a 3-manifold. This method applies to all familiar spines of 3-manifolds and, in particular, to the Bing house with two rooms and the classical standard spine of the Poincaré sphere. Finally, w… ▽ More We develop a method for constructing standard complexes which turns easy the calculation of their algebraic invariants and, as well, the precise evaluation of whether these complexes are embeddable or not in a 3-manifold. This method applies to all familiar spines of 3-manifolds and, in particular, to the Bing house with two rooms and the classical standard spine of the Poincaré sphere. Finally, we exhibit a compact, connected standard complex which is embeddable into an orientable 3-manifold, its fundamental group is $Z_{2}$ and it contains a Klein bottle. This standard complex is the spine of a reducible 3-manifold $M^3$, sum of a Seifert fiber space with a fake solid torus, whose universal covering space $W^3$ is a closed and simply connected 3-manifold that cannot be homeomorphic to $S^{3}$. △ Less

Submitted 2 June, 2016; originally announced June 2016.

Comments: 25 pages, 6 figures

MSC Class: 57Q40

A Scale Variational Principle of Herglotz

Authors: Ricardo Almeida

Abstract: The Herglotz problem is a generalization of the fundamental problem of the calculus of variations. In this paper, we consider a class of non-differentiable functions, where the dynamics is described by a scale derivative. Necessary conditions are derived to determine the optimal solution for the problem. Some other problems are considered, like transversality conditions, the multi-dimensional case… ▽ More The Herglotz problem is a generalization of the fundamental problem of the calculus of variations. In this paper, we consider a class of non-differentiable functions, where the dynamics is described by a scale derivative. Necessary conditions are derived to determine the optimal solution for the problem. Some other problems are considered, like transversality conditions, the multi-dimensional case, higher-order derivatives and for several independent variables. △ Less

Submitted 9 April, 2016; originally announced April 2016.

Comments: This is a preprint of a paper whose final and definite form is in "Publ. Math. Debrecen"

A discretization of the Hadamard fractional derivative

Authors: Ricardo Almeida, Nuno R. O. Bastos

Abstract: We present a new discretization for the Hadamard fractional derivative, that simplifies the computations. We then apply the method to solve a fractional differential equation and a fractional variational problem with dependence on the Hadamard fractional derivative. We present a new discretization for the Hadamard fractional derivative, that simplifies the computations. We then apply the method to solve a fractional differential equation and a fractional variational problem with dependence on the Hadamard fractional derivative. △ Less

Submitted 9 April, 2016; originally announced April 2016.

Comments: This is a preprint of a paper whose final and definite form is in "J. Math. Sci. Appl. E-Notes"

Variational methods for the solution of fractional discrete/continuous Sturm-Liouville problems

Authors: Ricardo Almeida, Agnieszka B. Malinowska, M. Luísa Morgado, Tatiana Odzijewicz

Abstract: The fractional Sturm-Liouville eigenvalue problem appears in many situations, e.g., while solving anomalous diffusion equations coming from physical and engineering applications. Therefore to obtain solutions or approximation of solutions to this problem is of great importance. Here, we describe how the fractional Sturm-Liouville eigenvalue problem can be formulated as a constrained fractional var… ▽ More The fractional Sturm-Liouville eigenvalue problem appears in many situations, e.g., while solving anomalous diffusion equations coming from physical and engineering applications. Therefore to obtain solutions or approximation of solutions to this problem is of great importance. Here, we describe how the fractional Sturm-Liouville eigenvalue problem can be formulated as a constrained fractional variational principle and show how such formulation can be used in order to approximate the solutions. Numerical examples are given, to illustrate the method. △ Less

Submitted 9 April, 2016; originally announced April 2016.

Comments: This is a preprint of a paper whose final and definite form is in "J. Mech. Mater. & Structures"

Variational Problems Involving a Caputo-Type Fractional Derivative

Authors: Ricardo Almeida

Abstract: The aim of this paper is to study certain problems of calculus of variations, that are dependent upon a Lagrange function on a Caputo-type fractional derivative. This type of fractional operator is a generalization of the Caputo and the Caputo--Hadamard fractional derivatives, that are dependent on a real parameter ro. Sufficient and necessary conditions of the first and second order are presented… ▽ More The aim of this paper is to study certain problems of calculus of variations, that are dependent upon a Lagrange function on a Caputo-type fractional derivative. This type of fractional operator is a generalization of the Caputo and the Caputo--Hadamard fractional derivatives, that are dependent on a real parameter ro. Sufficient and necessary conditions of the first and second order are presented. The cases of integral and holonomic constraints are also considered. △ Less

Submitted 23 February, 2016; v1 submitted 24 January, 2016; originally announced January 2016.

Comments: This is a preprint of a paper whose final and definite form will be published in Journal of Optimization Theory and Applications

Fractional variational problems depending on indefinite integrals and with delay

Authors: Ricardo Almeida

Abstract: The aim of this paper is to exhibit a necessary and sufficient condition of optimality for functionals depending on fractional integrals and derivatives, on indefinite integrals and on presence of time delay. We exemplify with one example, where we find analytically the minimizer. The aim of this paper is to exhibit a necessary and sufficient condition of optimality for functionals depending on fractional integrals and derivatives, on indefinite integrals and on presence of time delay. We exemplify with one example, where we find analytically the minimizer. △ Less

Submitted 8 December, 2015; originally announced December 2015.

Comments: This is a preprint of a paper whose final and definite form will be published in Bull. Malays. Math. Sci. Soc

A numerical method to solve higher-order fractional differential equations

Authors: Ricardo Almeida, Nuno R. O. Bastos

Abstract: In this paper, we present a new numerical method to solve fractional differential equations. Given a fractional derivative of arbitrary real order, we present an approximation formula for the fractional operator that involves integer-order derivatives only. With this, we can rewrite FDEs in terms of a classical one and then apply any known technique. With some examples, we show the accuracy of the… ▽ More In this paper, we present a new numerical method to solve fractional differential equations. Given a fractional derivative of arbitrary real order, we present an approximation formula for the fractional operator that involves integer-order derivatives only. With this, we can rewrite FDEs in terms of a classical one and then apply any known technique. With some examples, we show the accuracy of the method. △ Less

Submitted 8 December, 2015; originally announced December 2015.

Comments: This is a preprint of a paper whose final and definite form will be published in Mediterr. J. Math

An approximation formula for the Katugampola integral

Authors: Ricardo Almeida, Nuno R. O. Bastos

Abstract: The objective of this paper is to present an approximation formula for the Katugampola fractional integral, that allows us to solve fractional problems with dependence on this type of fractional operator. The formula only depends on first-order derivatives, and thus we convert the fractional problem into a standard one. With some examples we show the accuracy of the method, and then we present the… ▽ More The objective of this paper is to present an approximation formula for the Katugampola fractional integral, that allows us to solve fractional problems with dependence on this type of fractional operator. The formula only depends on first-order derivatives, and thus we convert the fractional problem into a standard one. With some examples we show the accuracy of the method, and then we present the utility of the method by solving a fractional integral equation. △ Less

Submitted 24 November, 2015; originally announced December 2015.

Comments: This is a preprint of a paper whose final and definite form will be published in Journal of Mathematical Analysis

Numerical solution for fractional variational problems using the Jacobi polynomials

Authors: Hassan Khosravian-Arab, Ricardo Almeida

Abstract: We exhibit a numerical method to solve fractional variational problems, applying a decomposition formula based on Jacobi polynomials. Formulas for the fractional derivative and fractional integral of the Jacobi polynomials are proven. By some examples, we show the convergence of such procedure, comparing the exact solution with numerical approximations. We exhibit a numerical method to solve fractional variational problems, applying a decomposition formula based on Jacobi polynomials. Formulas for the fractional derivative and fractional integral of the Jacobi polynomials are proven. By some examples, we show the convergence of such procedure, comparing the exact solution with numerical approximations. △ Less

Submitted 5 December, 2015; originally announced December 2015.

Comments: This is a preprint of a paper whose final and definite form will be published in Appl. Math. Model

Modelling some real phenomena by fractional differential equations

Authors: Ricardo Almeida, Nuno R. O. Bastos, M. Teresa T. Monteiro

Abstract: This paper deals with fractional differential equations, with dependence on a Caputo fractional derivative of real order. The goal is to show, based on concrete examples and experimental data from several experiments, that fractional differential equations may model more efficiently certain problems than ordinary differential equations. A numerical optimization approach based on least squares appr… ▽ More This paper deals with fractional differential equations, with dependence on a Caputo fractional derivative of real order. The goal is to show, based on concrete examples and experimental data from several experiments, that fractional differential equations may model more efficiently certain problems than ordinary differential equations. A numerical optimization approach based on least squares approximation is used to determine the order of the fractional operator that better describes real data, as well as other related parameters. △ Less

Submitted 13 November, 2015; originally announced November 2015.

Comments: This is a preprint. The final form will appear in Mathematical Methods in the Applied Sciences

Caputo derivatives of fractional variable order: numerical approximations

Authors: Dina Tavares, Ricardo Almeida, Delfim F. M. Torres

Abstract: We present a new numerical tool to solve partial differential equations involving Caputo derivatives of fractional variable order. Three Caputo-type fractional operators are considered, and for each one of them an approximation formula is obtained in terms of standard (integer-order) derivatives only. Estimations for the error of the approximations are also provided. We then compare the numerical… ▽ More We present a new numerical tool to solve partial differential equations involving Caputo derivatives of fractional variable order. Three Caputo-type fractional operators are considered, and for each one of them an approximation formula is obtained in terms of standard (integer-order) derivatives only. Estimations for the error of the approximations are also provided. We then compare the numerical approximation of some test function with its exact fractional derivative. We end with an exemplification of how the presented methods can be used to solve partial fractional differential equations of variable order. △ Less

Submitted 6 November, 2015; originally announced November 2015.

Comments: This is a preprint of a paper whose final and definite form is in Communications in Nonlinear Science and Numerical Simulation, ISSN: 1007-5704. Paper submitted 27/May/2015; revised 06/Oct/2015; accepted 30/Oct/2015

MSC Class: 33F05; 35R11

Journal ref: Commun. Nonlinear Sci. Numer. Simul. 35 (2016), 69--87

Finite element schemes for a class of nonlocal parabolic systems with moving boundaries

Authors: Rui M. P. Almeida, José C. M. Duque, Jorge Ferreira, Rui J. Robalo

Abstract: The aim of this paper is to establish convergence, properties and error bounds for the fully discrete solutions of a class of nonlinear systems of reaction-diffusion nonlocal type with moving boundaries, using the finite element method with polynomial approximations of any degree. A coordinate transformation which fixes the boundaries is used. Some numerical tests to compare our Matlab code with a… ▽ More The aim of this paper is to establish convergence, properties and error bounds for the fully discrete solutions of a class of nonlinear systems of reaction-diffusion nonlocal type with moving boundaries, using the finite element method with polynomial approximations of any degree. A coordinate transformation which fixes the boundaries is used. Some numerical tests to compare our Matlab code with a moving finite element method are investigated. △ Less

Submitted 12 October, 2015; originally announced October 2015.

Comments: arXiv admin note: text overlap with arXiv:1401.8220

Variational problems for Holderian functions with free terminal point

Authors: Ricardo Almeida, Natália Martins

Abstract: We develop the new variational calculus introduced in 2011 by J. Cresson and I. Greff, where the classical derivative is substituted by a new complex operator called the scale derivative. In this paper we consider several nondifferentiable variational problems with free terminal point: with and without constraints, of first and higher-order type. We develop the new variational calculus introduced in 2011 by J. Cresson and I. Greff, where the classical derivative is substituted by a new complex operator called the scale derivative. In this paper we consider several nondifferentiable variational problems with free terminal point: with and without constraints, of first and higher-order type. △ Less

Submitted 7 May, 2015; originally announced May 2015.

Comments: This is a preprint of a paper whose final and definite form will be published in Math. Meth. Appl. Sci

Optimality Conditions for Fractional Variational Problems with Dependence on a Combined Caputo Derivative of Variable Order

Authors: Dina Tavares, Ricardo Almeida, Delfim F. M. Torres

Abstract: 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 proved. Several particular cases are considered illustrating the new results. 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 proved. Several particular cases are considered illustrating the new results. △ Less

Submitted 9 January, 2015; originally announced January 2015.

Comments: This is a preprint of a paper whose final and definite form will be published in Optimization, ISSN 0233-1934 (Print), 1029-4945 (Online). Submitted 05-Feb-2014; revised 16-May, 14-July and 16-Dec-2014; accepted 08-Jan-2015

MSC Class: 26A33; 34A08; 49K05

Journal ref: Optimization 64 (2015), no. 6, 1381--1391

Computing Hadamard type operators of variable fractional order

Authors: Ricardo Almeida, Delfim F. M. Torres

Abstract: We consider Hadamard fractional derivatives and integrals of variable fractional order. A new type of fractional operator, which we call the Hadamard-Marchaud fractional derivative, is also considered. The objective is to represent these operators as series of terms involving integer-order derivatives only, and then approximate the fractional operators by a finite sum. An upper bound formula for t… ▽ More We consider Hadamard fractional derivatives and integrals of variable fractional order. A new type of fractional operator, which we call the Hadamard-Marchaud fractional derivative, is also considered. The objective is to represent these operators as series of terms involving integer-order derivatives only, and then approximate the fractional operators by a finite sum. An upper bound formula for the error is provided. We exemplify our method by applying the proposed numerical procedure to the solution of a fractional differential equation and a fractional variational problem with dependence on the Hadamard-Marchaud fractional derivative. △ Less

Submitted 16 December, 2014; originally announced December 2014.

Comments: This is a preprint of a paper whose final and definite form will be published in Applied Mathematics and Computation, ISSN: 0096-3003. Submitted 10/June/2014; revised 03/Dec/2014; accepted 16/Dec/2014

MSC Class: 26A33; 33F05; 34A08; 49M99

Journal ref: Appl. Math. Comput. 257 (2015) 74--88

On the finite element method for a nonlocal degenerate parabolic problem

Authors: Rui M. P. Almeida, Stanislav N. Antontsev, José C. M. Duque

Abstract: The aim of this paper is the numerical study of a class of nonlinear nonlocal degenerate parabolic equations. The convergence and error bounds of the solutions are proved for a linearized Crank-Nicolson-Galerkin finite element method with polynomial approximations of degree $k\geq 1$. Some explicit solutions are obtained and used to test the implementation of the method in Matlab environment. The aim of this paper is the numerical study of a class of nonlinear nonlocal degenerate parabolic equations. The convergence and error bounds of the solutions are proved for a linearized Crank-Nicolson-Galerkin finite element method with polynomial approximations of degree $k\geq 1$. Some explicit solutions are obtained and used to test the implementation of the method in Matlab environment. △ Less

Submitted 30 September, 2014; originally announced September 2014.

On a nonlocal degenerate parabolic problem

Authors: Rui M. P. Almeida, Stanislav N. Antontsev, José C. M. Duque

Abstract: Conditions for the existence and uniqueness of weak solutions for a class of nonlinear nonlocal degenerate parabolic equations are established. The asymptotic behaviour of the solutions as time tends to infinity are also studied. In particular, the finite time extinction and polynomial decay properties are proved. Conditions for the existence and uniqueness of weak solutions for a class of nonlinear nonlocal degenerate parabolic equations are established. The asymptotic behaviour of the solutions as time tends to infinity are also studied. In particular, the finite time extinction and polynomial decay properties are proved. △ Less

Submitted 25 July, 2014; originally announced July 2014.

Fractional Variational Principle of Herglotz

Authors: Ricardo Almeida, Agnieszka B. Malinowska

Abstract: 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 Herg… ▽ More 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. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: This is a preprint of a paper whose final and definite form will appear in the Discrete and Continuous Dynamical System-B, accepted for publication

A Discrete Method to Solve Fractional Optimal Control Problems

Authors: Ricardo Almeida, Delfim F. M. Torres

Abstract: We present a method to solve fractional optimal control problems, where the dynamic depends on integer and Caputo fractional derivatives. Our approach consists to approximate the initial fractional order problem with a new one that involves integer derivatives only. The latter problem is then discretized, by application of finite differences, and solved numerically. We illustrate the effectiveness… ▽ More We present a method to solve fractional optimal control problems, where the dynamic depends on integer and Caputo fractional derivatives. Our approach consists to approximate the initial fractional order problem with a new one that involves integer derivatives only. The latter problem is then discretized, by application of finite differences, and solved numerically. We illustrate the effectiveness of the procedure with an example. △ Less

Submitted 23 October, 2016; v1 submitted 20 March, 2014; originally announced March 2014.

Comments: This is a preprint of a paper whose final and definite form is published in [Nonlinear Dynam. 80 (2015), no. 4, 1811--1816]. A corrigendum, written 19-Sept-2016, after publication of the paper, is given at the end

MSC Class: 26A33; 49M25

Journal ref: Nonlinear Dynam. 80 (2015), no. 4, 1811--1816

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

Authors: Ricardo Almeida, Nuno R. O. Bastos, Delfim F. M. Torres

Abstract: 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 illu… ▽ More 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. △ Less

Submitted 15 February, 2014; originally announced February 2014.

Comments: This is a preprint of a paper whose final and definite form will appear in International Journal of Difference Equations, ISSN 0973-6069 (See http://campus.mst.edu/ijde). Submitted Nov 23, 2013; Revised Jan 27, 2014; Accepted Feb 15, 2014

MSC Class: 26A33; 49M25

Journal ref: Int. J. Difference Equ. 9 (2014), no. 1, 3--10

Convergence of the Crank-Nicolson-Galerkin finite element method for a class of nonlocal parabolic systems with moving boundaries

Authors: Rui M. P. Almeida, José C. M. Duque, Jorge Ferreira, Rui J. Robalo

Abstract: The aim of this paper is to establish the convergence and error bounds to the fully discrete solution for a class of nonlinear systems of reaction-diffusion nonlocal type with moving boundaries, using a linearized Crank-Nicolson-Galerkin finite element method with polynomial approximations of any degree. A coordinate transformation which fixes the boundaries is used. Some numerical tests to compar… ▽ More The aim of this paper is to establish the convergence and error bounds to the fully discrete solution for a class of nonlinear systems of reaction-diffusion nonlocal type with moving boundaries, using a linearized Crank-Nicolson-Galerkin finite element method with polynomial approximations of any degree. A coordinate transformation which fixes the boundaries is used. Some numerical tests to compare our Matlab code with some existing moving finite elements methods are investigated. △ Less

Submitted 31 January, 2014; originally announced January 2014.

MSC Class: 35K55 65M15 65M60

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

Authors: Shakoor Pooseh, Ricardo Almeida, Delfim F. M. Torres

Abstract: 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… ▽ More 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. △ Less

Submitted 31 October, 2013; v1 submitted 20 October, 2013; originally announced October 2013.

Comments: This is a preprint of a paper whose final and definite form appeared in: Chapter V, Fractional Calculus in Analysis, Dynamics and Optimal Control (Editor: Jacky Cresson), Series: Mathematics Research Developments, Nova Science Publishers, New York, 2014. (See http://www.novapublishers.com/catalog/product_info.php?products_id=46851). Consists of 39 pages

MSC Class: 49K05; 49M25; 26A33

Journal ref: Fractional Calculus in Analysis, Dynamics and Optimal Control, Nova Science Publishers, New York, 2014, 201--239

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

Authors: Ricardo Almeida, Delfim F. M. Torres

Abstract: 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… ▽ More 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. △ Less

Submitted 19 September, 2013; originally announced September 2013.

Comments: This is a preprint of a paper whose final and definite form will be published in The Scientific World Journal (http://www.hindawi.com/journals/tswj). Submitted 27-Aug-2013; accepted 19-Sept-2013

MSC Class: 26A33; 33F05; 34A08; 49M99

Journal ref: The Scientific World Journal 2013 (2013), Art. ID 915437, 11 pp

A numerical scheme to solve fractional optimal control problems

Authors: Shakoor Pooseh, Ricardo Almeida, Delfim F. M. Torres

Abstract: 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. 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. △ Less

Submitted 2 June, 2013; originally announced June 2013.

Comments: Submitted 13-Apr-2013; accepted after minor revision 22-May-2013

MSC Class: 26A33; 33F05; 49K15

Journal ref: Conference Papers in Mathematics, Volume 2013, Article ID 165298, 10 pages

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

Authors: Shakoor Pooseh, Ricardo Almeida, Delfim F. M. Torres

Abstract: 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… ▽ More 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. △ Less

Submitted 8 May, 2013; originally announced May 2013.

Comments: This is a preprint of a paper whose final and definite form will appear in Central European Journal of Physics. Paper submitted 31-Jan-2013; revised 6-May-2013; accepted for publication 7-May-2013

MSC Class: 26A33; 33F05; 49M25

Journal ref: Cent. Eur. J. Phys. 11 (2013), no. 10, 1262--1267