Towards the Formalization of Fractional Calculus in Higher-Order Logic

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

Fractional Hamilton formalism within Caputo's derivative

In this paper we develop a fractional Hamiltonian formulation for dynamic systems defined in terms of fractional Caputo derivatives. Expressions for fractional canonical momenta and fractional canonical Hamiltonian are given, and a set of fractional Hamiltonian equations are obtained. Using an example, it is shown that the canonical fractional Hamiltonian and the fractional Euler-Lagrange formulations lead to the same set of equations.Comment: 8 page

A formulation of Noether's theorem for fractional classical fields

This paper presents a formulation of Noether's theorem for fractional classical fields. We extend the variational formulations for fractional discrete systems to fractional field systems. By applying the variational principle to a fractional action $S$, we obtain the fractional Euler-Lagrange equations of motion. Considerations of the Noether's variational problem for discrete systems whose action is invariant under gauge transformations will be extended to fractional variational problems for classical fields. The conservation laws associated with fractional classical fields are derived. As an example we present the conservation laws for the fractional Dirac fields.Comment: We will revised it and then up dating the date of submissio