Related papers: Formalization of Lerch's Theorem using HOL Light
The Lorentz integral transform method is briefly reviewed. The issue of the inversion of the transform, and in particular its ill-posedness, is addressed. It is pointed out that the mathematical term ill-posed is misleading and merely due…
The line Laplace transforms is applied to the Morse potential. The wavefunctions and the energy levels through suitable path of integration are derived.
It is difficult to analyze the stability of systems with time-varying delays. One approach is to construct a time-transformation that converts the system into a form with a constant delay but with a time-varying scalar appearing in the…
Neural Ordinary Differential Equations model dynamical systems with ODEs learned by neural networks. However, ODEs are fundamentally inadequate to model systems with long-range dependencies or discontinuities, which are common in…
Lattice models are crucial for studying thermodynamic properties in many physical, biological and chemical systems. We investigate Lattice Restricted Primitive Model (LRPM) of electrolytes with different discretization parameters in order…
A discrete Laplace transform and its inversion formula are obtained by using a quadrature of the continuous Fourier transform which is given in terms of Hermite polynomials and its zeros. This approach yields a convergent discrete formula…
Borel summable divergent series usually appear when studying solutions of analytic ODE near a multiple singular point. Their sum, uniquely defined in certain sectors of the complex plane, is obtained via the Borel--Laplace transformation.…
The formalisation of mathematics is continuing rapidly, however combinatorics continues to present challenges to formalisation efforts, such as its reliance on techniques from a wide range of other fields in mathematics. This paper presents…
This chapter consists of three parts. In the first part we recall the elastodynamic equations under coordinate transformations. The idea is to use coordinate transformations to manipulate waves propagating in an elastic material. Then we…
The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features from the Automath-related lambda calculi and some from the…
The Legendre transform expresses dynamics of a classical system through first-order Hamiltonian equations. We consider coherent state transforms with a similar effect in quantum mechanics: they reduce certain quantum Hamiltonians to…
Lagrangian modelling can be used to derive mathematical models for complex power electronic converters. This approach uses scalar quantities (kinetic and potential energy) to derive models, which is simpler than using (vector-based) force…
Classical Bianchi-Lie, Backlund and Darboux transformations are considered. Their generalizations for the dynamical systems are discussed. For the transformation being the generalization of the normal shift the special class of dynamical…
In this article, we present a new approach to averaging in non-Hamiltonian systems with periodic forcing. The results here do not depend on the existence of a small parameter. In fact, we show that our averaging method fits into an…
In many stochastic models, the observables of interest are naturally encoded in double transforms (e.g., Laplace transforms) that couple spatial and temporal variables. Notably, the double transform often provides the only analytically…
Far as we know there are not exact solutions to the equation of motion for a relativistic harmonic oscillator. In this paper, the relativistic harmonic oscillator equation which is a nonlinear ordinary differential equation is studied by…
In this paper, q-Laplace transforms related to the non-extensive thermodynamics are investigated by using the algebraic operation of the non-extensive calculus. The deformed simple harmonic problem is discussed by using the q-Laplace…
The Lagrangian formalism is used to derive covariant equations that are suitable for use in continuously distributed matter in curved spacetime. Special attention is given to theoretical representation, in which the Lagrangian and its…
The "theoretical limit of time-frequency resolution in Fourier analysis" is thought to originate in certain mathematical and/or physical limitations. This, however, is not true. The actual origin arises from the numerical (technical) method…
This paper is about a method for solving infinite series in closed form by using inverse and forward Laplace transforms. The resulting integral is to be solved instead. The method is extended by parametrizing the series. A further Laplace…