Related papers: Non-external Proofs of Lagrange Inversion Formula
For absolutely convergent series we state explicitly a one-sided summation estimate that can be viewed as the discrete analogue of the change of variable formula on the half line. This estimate is implicit in Pascal Lef\`evre's recent…
The construction of effective Lagrangians commonly involves the application of the `classical equation of motion' to eliminate redundant structures and thus generate the minimal number of independent terms. We investigate this procedure in…
This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The…
For formal multivariate power series $\varphi(x)$ an inversion formula of the form $$ \varphi^{-1}(x)=x +\sum_{m=1}^{\infty}\sum_{k=0}^m (-1)^k(m k)\varphi^{\circ k}(x) is offered$$.
This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…
We present a formalism to compute Lagrangian displacement fields for a wide range of cosmologies in the context of perturbation theory up to third order. We emphasize the case of theories with scale dependent gravitational strengths, such…
We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…
The Legendre transform is an important tool in theoretical physics, playing a critical role in classical mechanics, statistical mechanics, and thermodynamics. Yet, in typical undergraduate or graduate courses, the power of motivation and…
Many invariants of finitely generated positive cancelative commutative semigroups can be studied from their Poincar\'e series. We offer and present several closed formulas for them. Moreover, those formulas have elementary proofs and are…
In two recent papers necessary and sufficient conditions for a given system of second-order ordinary differential equations to be of Lagrangian form with additional dissipative forces were derived. We point out that these conditions are not…
This work builds on the Volterra series formalism presented in [D. W. Dreisigmeyer and P. M. Young, J. Phys. A \textbf{36}, 8297, (2003)] to model nonconservative systems. Here we treat Lagrangians and actions as `time dependent' Volterra…
We discuss certain aspects of the formal calculus used to describe vertex algebras. In the standard literature on formal calculus, the expression $(x+y)^{n}$, where $n$ is not necessarily a nonnegative integer, is defined as the formal…
In the framework of Lagrangian formulation, some q-deformed physical systems are considered. The q-deformed Legendre transformation is obtained for the free motion of a non-relativistic particle on a quantum line. This is subsequently…
Our paper introduces a novel method for calculating the inverse $\mathcal{Z}$-transform of rational functions. Unlike some existing approaches that rely on partial fraction expansion and involve dividing by $z$, our method allows for the…
We generalise a non-classicality test described by Kot et al. [Phys. Rev. Lett. 108, 233601 (2010)], which can be used to rule out any classical description of a physical system. The test is based on measurements of quadrature operators and…
We study formal power series which can be interpreted as interpolations of Fibonacci and Lucas polynomials with even (or odd) indices.
Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a {\it Mathematica} implementation of algorithms developed by the author for converting between certain classes of functions and their…
The main purpose of the paper is to demonstrate that condition of invariance with respect to the Legendre transformations allows effectively isolate the class of integrable difference equations on the triangular lattice, which can be…
In this paper a new method for inverting the Laplace transform from the real axis is formulated. This method is based on a quadrature formula. We assume that the unknown function $f(t)$ is continuous with (known) compact support. An…
We propose a quadrature-based formula for computing the exponential function of matrices with a non-oscillatory integral on an infinite interval and an oscillatory integral on a finite interval. In the literature, existing quadrature-based…