Continuous and discrete Noether's fractional conserved quantities for restricted calculus of variations

<p style='text-indent:20px;'>We prove a Noether's theorem of the first kind for the so-called <i>restricted fractional Euler-Lagrange equations</i> and their discrete counterpart, introduced in [<xref ref-type="bibr" rid="b26">26</xref>,<xref ref-type="bibr" rid="b27">27</xref>], based in previous results [<xref ref-type="bibr" rid="b11">11</xref>,<xref ref-type="bibr" rid="b35">35</xref>]. Prior, we compare the restricted fractional calculus of variations to the <i>asymmetric fractional calculus of variations</i>, introduced in [<xref ref-type="bibr" rid="b14">14</xref>], and formulate the restricted calculus of variations using the <i>discrete embedding</i> approach [<xref ref-type="bibr" rid="b12">12</xref>,<xref ref-type="bibr" rid="b18">18</xref>]. The two theories are designed to provide a variational formulation of dissipative systems, and are based on modeling irreversbility by means of fractional derivatives. We explicit the role of time-reversed solutions and causality in the restricted fractional calculus of variations and we propose an alternative formulation. Finally, we implement our results for a particular example and provide simulations, actually showing the constant behaviour in time of the discrete conserved quantities outcoming the Noether's theorems.</p>

On computational Poisson geometry I: Symbolic foundations

<p style='text-indent:20px;'>We present a computational toolkit for (local) Poisson-Nijenhuis calculus on manifolds. Our Python module $\textsf{PoissonGeometry}$ implements our algorithms and accompanies this paper. Examples of how our methods can be used are explained, including gauge transformations of Poisson bivector in dimension 3, parametric Poisson bivector fields in dimension 4, and Hamiltonian vector fields of parametric families of Poisson bivectors in dimension 6.</p>