Search results for "34M15"

showing 2 items of 2 documents

Algebraic groups as difference Galois groups of linear differential equations

2019

We study the inverse problem in the difference Galois theory of linear differential equations over the difference-differential field $\mathbb{C}(x)$ with derivation $\frac{d}{dx}$ and endomorphism $f(x)\mapsto f(x+1)$. Our main result is that every linear algebraic group, considered as a difference algebraic group, occurs as the difference Galois group of some linear differential equation over $\mathbb{C}(x)$.

Linear algebraic groupPure mathematicsAlgebra and Number TheoryEndomorphism010102 general mathematicsGalois theoryGalois groupField (mathematics)Commutative Algebra (math.AC)Mathematics - Commutative Algebra01 natural sciencesMathematics - Algebraic GeometryLinear differential equationAlgebraic group0103 physical sciencesFOS: Mathematics010307 mathematical physics0101 mathematicsAlgebraic numberAlgebraic Geometry (math.AG)12H10 12H05 34M15 34M50 14L15MathematicsJournal of Pure and Applied Algebra
researchProduct

A Symplectic Kovacic's Algorithm in Dimension 4

2018

Let $L$ be a $4$th order differential operator with coefficients in $\mathbb{K}(z)$, with $\mathbb{K}$ a computable algebraically closed field. The operator $L$ is called symplectic when up to rational gauge transformation, the fundamental matrix of solutions $X$ satisfies $X^t J X=J$ where $J$ is the standard symplectic matrix. It is called projectively symplectic when it is projectively equivalent to a symplectic operator. We design an algorithm to test if $L$ is projectively symplectic. Furthermore, based on Kovacic's algorithm, we design an algorithm that computes Liouvillian solutions of projectively symplectic operators of order $4$. Moreover, using Klein's Theorem, algebraic solution…

[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]010102 general mathematicsDynamical Systems (math.DS)Differential operator01 natural sciencesSymplectic matrixDifferential Galois theory34M15Operator (computer programming)Fundamental matrix (linear differential equation)Mathematics - Symplectic Geometry0103 physical sciencesFOS: MathematicsSymplectic Geometry (math.SG)010307 mathematical physicsMathematics - Dynamical Systems0101 mathematicsAlgebraically closed fieldAlgebraic numberMathematics::Symplectic GeometryAlgorithmMathematicsSymplectic geometryProceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
researchProduct