Related papers: Splitting differential equations using Galois theo…
This is an introduction to linear algebra and group theory. We first review the linear algebra basics, namely the determinant, the diagonalization procedure and more, and with the determinant being constructed as it should, as a signed…
It is well known that, under certain conditions, it is possible to split logic programs under stable model semantics, i.e. to divide such a program into a number of different "levels", such that the models of the entire program can be…
Born from years of teaching undergraduate and graduate algebra courses at Chongqing University, this text is designed to introduce Galois theory while minimizing prerequisites. It seeks to reconnect the abstract machinery of modern algeba:…
Lie group method provides an efficient tool to solve nonlinear partial differential equations. This paper suggests a fractional Lie group method for fractional partial differential equations. A time-fractional Burgers equation is used as an…
We solve the inverse differential Galois problem over the fraction field of $k[[t,x]]$ and use this to solve split differential embedding problems over $k((t))(x)$ that are induced from $k(x)$. The proofs use patching as well as prior…
Consider a third order linear differential equation $L(f)=0$, where $L\in\mathbb{Q}(z)[\partial_z]$. We design an algorithm computing the Liouvillian solutions of $L(f)=0$. The reducible cases devolve to the classical case of second order…
Differential central simple algebras are the main object of study in this survey article. We recall some crucial notions such as differential subfields, differential splitting fields, tensor products etc. Our main focus is on differential…
Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial is a very old problem. Currently, the best algorithmic solution is Stauduhar's method. Computationally, one of the key challenges in…
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…
In distribution theory the pullback of a general distribution by a $C^{\infty}$-function is well-defined whenever the normal bundle of the $C^{\infty}$-function does not intersect the wavefront set of the distribution. However, the…
A characteristic feature of differential-algebraic equations is that one needs to find derivatives of some of their equations with respect to time, as part of so called index reduction or regularisation, to prepare them for numerical…
Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…
It is a classical result from universal algebra that the notions of polymorphisms and invariants provide a Galois connection between suitably closed classes (clones) of finitary operations $f\colon B^n\to B$, and classes (coclones) of…
The paper concerns the solvability by quadratures of linear differential systems, which is one of the questions of differential Galois theory. We consider systems with regular singular points as well as those with (non-resonant) irregular…
We use Galois descent to construct central extensions of twisted forms of split simple Lie algebras over rings. These types of algebras arise naturally in the construction of Extended Affine Lie Algebras. The construction also gives…
We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains…
The aim of the inverse Galois problem is to find extensions of a given field whose Galois group is isomorphic to a given group. In this article, we are interested in subgroups of GL(2,Z/nZ) where n is an integer. We know that, in general,…
The linearization of complex ordinary differential equations is studied by extending Lie's criteria for linearizability to complex functions of complex variables. It is shown that the linearization of complex ordinary differential equations…
Our purpose in this paper is to study when a planar differential system polynomial in one variable linearizes in the sense that it has an inverse integrating factor which can be constructed by means of the solutions of linear differential…
The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.