Related papers: Lie-algebraic discretization of differential equat…
We extend the classical characterization of a finite-dimensional Lie algebra g in terms of its Maurer-Cartan algebra-the familiar differential graded algebra of alternating forms on g with values in the ground field, endowed with the…
We propose a novel discretization procedure for the classical Euler equation based on the theory of Galois differential algebras and the finite operator calculus developed by G.C. Rota and collaborators. This procedure allows us to define…
The purpose of this article is to develop an algebraic approach to the problem of integrable classification of differential-difference equations with one continuous and two discrete variables. As a classification criterion, we put forward…
The Lie-algebraic method approximates differential operators that are formal polynomials of {1,x,d/dx} by linear operators acting on a finite dimensional space of polynomials. In this paper we prove that the rank of the n-dimensional…
We consider difference operators in $L^2$ on $\R$ of the form $$ L f(s)=p(s)f(s+i)+q(s) f(s)+r(s) f(s-i) ,$$ where $i$ is the imaginary unit. The domain of definiteness are functions holomorphic in a strip with some conditions of decreasing…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
We prove that $t$-dependent Schr\"odinger equations on finite-dimensional Hilbert spaces determined by $t$-dependent Hermitian Hamiltonian operators can be described through Lie systems admitting a Vessiot--Guldberg Lie algebra of K\"ahler…
The nature of so-called differential-algebraic operators and their approximations is constitutive for the direct treatment of higher-index differential-algebraic equations. We treat first-order differential-algebraic operators in detail and…
We associate to a semisimple complex Lie algebra $\mathfrak{g}$ a sequence of polynomials $P_{\ell,\mathfrak{g}}(x)\in\mathbb{Q}[x]$ in $r$ variables, where $r$ is the rank of $\mathfrak{g}$ and $\ell=0,1,2,\ldots $. The polynomials…
Zeilberger's algorithm provides a method to compute recurrence and differential equations from given hypergeometric series representations, and an adaption of Almquist and Zeilberger computes recurrence and differential equations for…
In this paper, first we construct a Lie 2-algebra associated to every Leibniz algebra via the skew-symmetrization. Furthermore, we introduce the notion of the naive representation for a Leibniz algebra in order to realize the abstract…
We investigate the problem of recovering coefficients in scalar nonlinear ordinary differential equations that can be exactly linearized. This contribution builds upon prior work by Lyakhov, Gerdt, and Michels, which focused on obtaining a…
The Liouville equation is well known to be linearizable by a point transformation. It has an infinite dimensional Lie point symmetry algebra isomorphic to a direct sum of two Virasoro algebras. We show that it is not possible to discretize…
Linear operators preserving the direct sum of polynomial rings P(m)\oplus P(n) are constructed. In the case |m-n|=1 they correspond to atypical representations of the superalgebra osp(2,2). For |m-n|=2 the generic, finite dimensional…
In recent years, sparse spectral methods for solving partial differential equations have been derived using hierarchies of classical orthogonal polynomials on intervals, disks, disk-slices and triangles. In this work we extend the…
The generating function of the Betti numbers of the Heisenberg Lie algebra over a field of characteristic 2 is calculated using discrete Morse theory.
Singular perturbation theory plays a central role in the approximate solution of nonlinear differential equations. However, applying these methods is a subtle art owing to the lack of globally applicable algorithms. Inspired by the fact…
In 1999, Grunbaum, Haine and Horozov defined a large family of commutative algebras of ordinary differential operators which have orthogonal polynomials as eigenfunctions. These polynomials are mutually orthogonal with respect to a…
We extend two of the methods previously introduced to find discrete symmetries of differential equations to the case of difference and differential-difference equations. As an example of the application of the methods, we construct the…
We classify up to isomorphism all finite-dimensional Lie algebras that can be realised as Lie subalgebras of the complex Weyl algebra $A_1$. The list we obtain turns out to be discrete and for example, the only non-solvable Lie algebras…