Related papers: Lie systems: theory, generalisations, and applicat…
Group theoretical methods are used to study some properties of the Riccati equation, which is the only differential equation admitting a nonlinear superposition principle. The Wei-Norman method is applied to obtain the associated…
Component systems - ensembles of realizations built from a shared repertoire of modular parts - are ubiquitous in biological, ecological, technological, and socio-cultural domains. From genomes to texts, cities, and software, these systems…
We provide a general theoretical framework allowing us to extend the classical Lie theory for partial differential equations to the case of equations of fractional order. We propose a general prolongation formula for the study of Lie…
The principal objective of this paper is to determine the structure of $n$-Lie derivations ($n\geq 3$) on generalized matrix algebras.It is shown that under certain mild assumptions, every $n$-Lie derivation can be decomposed into the sum…
The superposition principle is a very basic ingredient of quantum theory. What may come as a surprise to many students, and even to many practitioners of the quantum craft, is tha superposition has limitations imposed by certain…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
We study automorphic Lie algebras and their applications to integrable systems. Automorphic Lie algebras are a natural generalisation of celebrated Kac-Moody algebras to the case when the group of automorphisms is not cyclic. They are…
A quasi-Lie scheme is a geometric structure that provides t-dependent changes of variables transforming members of an associated family of systems of first-order differential equations into members of the same family. In this note we…
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. It includes a versatile formula macro system and supports the creation of documents that intersperse macro definitions, reasoner invocations and…
The set of points of a one-dimensional cut-and-project quasicrystal or model set, while not additive, is shown to be multiplicative for appropriate choices of acceptance windows. This leads to the definition of an associative additive…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
A 'state property system' is the mathematical structure which models an arbitrary physical system by means of its set of states, its set of properties, and a relation of 'actuality of a certain property for a certain state'. We work out a…
This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the…
A generalisation of the Lie symmetry method is applied to classify a coupled system of reaction-diffusion equations wherein the nonlinearities involve arbitrary functions in the limit case in which one equation of the pair is quasi-steady…
The aim of this work is to generalize a very important type of Lie algebras and superalgebras, i.e. filiform Lie (super)algebras, into the theory of Lie algebras of order F$. Thus, the concept of filiform Lie algebras of order F is…
Conventional finite-difference schemes for solving partial differential equations are based on approximating derivatives by finite-differences. In this work, an alternative theory is proposed which view finite-difference schemes as…
There are numerous physical situations in which a hole or leak is introduced in an otherwise closed chaotic system. The leak can have a natural origin, it can mimic measurement devices, and it can also be used to reveal dynamical properties…
The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first-order theories, but they also play an important role in propositional proof complexity. In this…
A new general and unified method of summation, which is both regular and consistent, is invented. It is based on the idea concerning a way of integers reordering. The resulting theory includes a number of explicit and closed form summation…
An ordinary differential equation is said to have a superposition formula if its general solution can be expressed as a function of a finite number of particular solution. Nonlinear ODE's with superposition formulas include matrix Riccati…